xref: /petsc/src/ts/utils/dmplexts.c (revision 0163fd505595452476b4ff73a22b3c9f1aee86ed)
1af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/
2af0996ceSBarry Smith #include <petsc/private/tsimpl.h>     /*I "petscts.h" I*/
337c2070cSMatthew G. Knepley #include <petsc/private/snesimpl.h>
4924a1b8fSMatthew G. Knepley #include <petscds.h>
56dbbd306SMatthew G. Knepley #include <petscfv.h>
66dbbd306SMatthew G. Knepley 
7254c1ad2SMatthew G. Knepley #undef __FUNCT__
8b6aca0f9SMatthew G. Knepley #define __FUNCT__ "DMPlexTSGetGeometryFVM"
9c510411aSMatthew G. Knepley /*@
10b6aca0f9SMatthew G. Knepley   DMPlexTSGetGeometryFVM - Return precomputed geometric data
11c510411aSMatthew G. Knepley 
12c510411aSMatthew G. Knepley   Input Parameter:
13c510411aSMatthew G. Knepley . dm - The DM
14c510411aSMatthew G. Knepley 
15c510411aSMatthew G. Knepley   Output Parameters:
16c510411aSMatthew G. Knepley + facegeom - The values precomputed from face geometry
17c510411aSMatthew G. Knepley . cellgeom - The values precomputed from cell geometry
18c510411aSMatthew G. Knepley - minRadius - The minimum radius over the mesh of an inscribed sphere in a cell
19c510411aSMatthew G. Knepley 
20c510411aSMatthew G. Knepley   Level: developer
21c510411aSMatthew G. Knepley 
22c510411aSMatthew G. Knepley .seealso: DMPlexTSSetRHSFunctionLocal()
23c510411aSMatthew G. Knepley @*/
24b6aca0f9SMatthew G. Knepley PetscErrorCode DMPlexTSGetGeometryFVM(DM dm, Vec *facegeom, Vec *cellgeom, PetscReal *minRadius)
25a0ac79e7SMatthew G. Knepley {
26a0ac79e7SMatthew G. Knepley   DMTS           dmts;
271faf85eaSMatthew G. Knepley   PetscObject    obj;
28a0ac79e7SMatthew G. Knepley   PetscErrorCode ierr;
29a0ac79e7SMatthew G. Knepley 
30a0ac79e7SMatthew G. Knepley   PetscFunctionBegin;
31924a1b8fSMatthew G. Knepley   PetscValidHeaderSpecific(dm,DM_CLASSID,1);
32a0ac79e7SMatthew G. Knepley   ierr = DMGetDMTS(dm, &dmts);CHKERRQ(ierr);
33b6aca0f9SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_facegeom_fvm", &obj);CHKERRQ(ierr);
341faf85eaSMatthew G. Knepley   if (!obj) {
351faf85eaSMatthew G. Knepley     Vec cellgeom, facegeom;
361faf85eaSMatthew G. Knepley 
371faf85eaSMatthew G. Knepley     ierr = DMPlexComputeGeometryFVM(dm, &cellgeom, &facegeom);CHKERRQ(ierr);
38b6aca0f9SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) dmts, "DMPlexTS_facegeom_fvm", (PetscObject) facegeom);CHKERRQ(ierr);
39b6aca0f9SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) dmts, "DMPlexTS_cellgeom_fvm", (PetscObject) cellgeom);CHKERRQ(ierr);
401faf85eaSMatthew G. Knepley     ierr = VecDestroy(&facegeom);CHKERRQ(ierr);
411faf85eaSMatthew G. Knepley     ierr = VecDestroy(&cellgeom);CHKERRQ(ierr);
421faf85eaSMatthew G. Knepley   }
43b6aca0f9SMatthew G. Knepley   if (facegeom) {PetscValidPointer(facegeom, 2); ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_facegeom_fvm", (PetscObject *) facegeom);CHKERRQ(ierr);}
44b6aca0f9SMatthew G. Knepley   if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_cellgeom_fvm", (PetscObject *) cellgeom);CHKERRQ(ierr);}
45113c68e6SMatthew G. Knepley   if (minRadius) {ierr = DMPlexGetMinRadius(dm, minRadius);CHKERRQ(ierr);}
46924a1b8fSMatthew G. Knepley   PetscFunctionReturn(0);
47924a1b8fSMatthew G. Knepley }
48924a1b8fSMatthew G. Knepley 
49924a1b8fSMatthew G. Knepley #undef __FUNCT__
50c49ccbb3SMatthew G. Knepley #define __FUNCT__ "DMPlexTSGetGradientDM"
51c49ccbb3SMatthew G. Knepley /*@C
52c49ccbb3SMatthew G. Knepley   DMPlexTSGetGradientDM - Return gradient data layout
53c49ccbb3SMatthew G. Knepley 
54c49ccbb3SMatthew G. Knepley   Input Parameters:
55c49ccbb3SMatthew G. Knepley + dm - The DM
56c49ccbb3SMatthew G. Knepley - fv - The PetscFV
57c49ccbb3SMatthew G. Knepley 
58c49ccbb3SMatthew G. Knepley   Output Parameter:
59c49ccbb3SMatthew G. Knepley . dmGrad - The layout for gradient values
60c49ccbb3SMatthew G. Knepley 
61c49ccbb3SMatthew G. Knepley   Level: developer
62c49ccbb3SMatthew G. Knepley 
63c49ccbb3SMatthew G. Knepley .seealso: DMPlexTSGetGeometryFVM(), DMPlexTSSetRHSFunctionLocal()
64c49ccbb3SMatthew G. Knepley @*/
65c49ccbb3SMatthew G. Knepley PetscErrorCode DMPlexTSGetGradientDM(DM dm, PetscFV fv, DM *dmGrad)
66c49ccbb3SMatthew G. Knepley {
67c49ccbb3SMatthew G. Knepley   DMTS           dmts;
68c49ccbb3SMatthew G. Knepley   PetscObject    obj;
69c49ccbb3SMatthew G. Knepley   PetscBool      computeGradients;
70c49ccbb3SMatthew G. Knepley   PetscErrorCode ierr;
71c49ccbb3SMatthew G. Knepley 
72c49ccbb3SMatthew G. Knepley   PetscFunctionBegin;
73c49ccbb3SMatthew G. Knepley   PetscValidHeaderSpecific(dm,DM_CLASSID,1);
74c49ccbb3SMatthew G. Knepley   PetscValidHeaderSpecific(fv,PETSCFV_CLASSID,2);
75c49ccbb3SMatthew G. Knepley   PetscValidPointer(dmGrad,3);
76c49ccbb3SMatthew G. Knepley   ierr = PetscFVGetComputeGradients(fv, &computeGradients);CHKERRQ(ierr);
77c49ccbb3SMatthew G. Knepley   if (!computeGradients) {*dmGrad = NULL; PetscFunctionReturn(0);}
78c49ccbb3SMatthew G. Knepley   ierr = DMGetDMTS(dm, &dmts);CHKERRQ(ierr);
79c49ccbb3SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_dmgrad_fvm", &obj);CHKERRQ(ierr);
80c49ccbb3SMatthew G. Knepley   if (!obj) {
81c49ccbb3SMatthew G. Knepley     DM  dmGrad;
8208449791SMatthew G. Knepley     Vec faceGeometry, cellGeometry;
83c49ccbb3SMatthew G. Knepley 
8408449791SMatthew G. Knepley     ierr = DMPlexTSGetGeometryFVM(dm, &faceGeometry, &cellGeometry, NULL);CHKERRQ(ierr);
8508449791SMatthew G. Knepley     ierr = DMPlexComputeGradientFVM(dm, fv, faceGeometry, cellGeometry, &dmGrad);CHKERRQ(ierr);
86c49ccbb3SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) dmts, "DMPlexTS_dmgrad_fvm", (PetscObject) dmGrad);CHKERRQ(ierr);
87924a1b8fSMatthew G. Knepley     ierr = DMDestroy(&dmGrad);CHKERRQ(ierr);
88c49ccbb3SMatthew G. Knepley   }
89c49ccbb3SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_dmgrad_fvm", (PetscObject *) dmGrad);CHKERRQ(ierr);
90254c1ad2SMatthew G. Knepley   PetscFunctionReturn(0);
91254c1ad2SMatthew G. Knepley }
92254c1ad2SMatthew G. Knepley 
93254c1ad2SMatthew G. Knepley #undef __FUNCT__
94924a1b8fSMatthew G. Knepley #define __FUNCT__ "DMPlexTSComputeRHSFunctionFVM"
9508449791SMatthew G. Knepley /*@
9608449791SMatthew G. Knepley   DMPlexTSComputeRHSFunctionFVM - Form the local forcing F from the local input X using pointwise functions specified by the user
9708449791SMatthew G. Knepley 
9808449791SMatthew G. Knepley   Input Parameters:
9908449791SMatthew G. Knepley + dm - The mesh
10008449791SMatthew G. Knepley . t - The time
10108449791SMatthew G. Knepley . locX  - Local solution
10208449791SMatthew G. Knepley - user - The user context
10308449791SMatthew G. Knepley 
10408449791SMatthew G. Knepley   Output Parameter:
1053b16df42SMatthew G. Knepley . F  - Global output vector
10608449791SMatthew G. Knepley 
10708449791SMatthew G. Knepley   Level: developer
10808449791SMatthew G. Knepley 
10908449791SMatthew G. Knepley .seealso: DMPlexComputeJacobianActionFEM()
11008449791SMatthew G. Knepley @*/
1113b16df42SMatthew G. Knepley PetscErrorCode DMPlexTSComputeRHSFunctionFVM(DM dm, PetscReal time, Vec locX, Vec F, void *user)
112254c1ad2SMatthew G. Knepley {
1133b16df42SMatthew G. Knepley   Vec            locF;
114c4d4a4f8SMatthew G. Knepley   PetscInt       cStart, cEnd, cEndInterior;
115254c1ad2SMatthew G. Knepley   PetscErrorCode ierr;
116254c1ad2SMatthew G. Knepley 
117254c1ad2SMatthew G. Knepley   PetscFunctionBegin;
118c4d4a4f8SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
119c4d4a4f8SMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
120c4d4a4f8SMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
1213b16df42SMatthew G. Knepley   ierr = DMGetLocalVector(dm, &locF);CHKERRQ(ierr);
1223b16df42SMatthew G. Knepley   ierr = VecZeroEntries(locF);CHKERRQ(ierr);
123c4d4a4f8SMatthew G. Knepley   ierr = DMPlexComputeResidual_Internal(dm, cStart, cEnd, time, locX, NULL, locF, user);CHKERRQ(ierr);
1243b16df42SMatthew G. Knepley   ierr = DMLocalToGlobalBegin(dm, locF, INSERT_VALUES, F);CHKERRQ(ierr);
1253b16df42SMatthew G. Knepley   ierr = DMLocalToGlobalEnd(dm, locF, INSERT_VALUES, F);CHKERRQ(ierr);
1263b16df42SMatthew G. Knepley   ierr = DMRestoreLocalVector(dm, &locF);CHKERRQ(ierr);
127254c1ad2SMatthew G. Knepley   PetscFunctionReturn(0);
128254c1ad2SMatthew G. Knepley }
129254c1ad2SMatthew G. Knepley 
130254c1ad2SMatthew G. Knepley #undef __FUNCT__
13124cdb843SMatthew G. Knepley #define __FUNCT__ "DMPlexTSComputeIFunctionFEM"
13224cdb843SMatthew G. Knepley /*@
13324cdb843SMatthew G. Knepley   DMPlexTSComputeIFunctionFEM - Form the local residual F from the local input X using pointwise functions specified by the user
13424cdb843SMatthew G. Knepley 
13524cdb843SMatthew G. Knepley   Input Parameters:
13624cdb843SMatthew G. Knepley + dm - The mesh
13724cdb843SMatthew G. Knepley . t - The time
13808449791SMatthew G. Knepley . locX  - Local solution
13908449791SMatthew G. Knepley . locX_t - Local solution time derivative, or NULL
14024cdb843SMatthew G. Knepley - user - The user context
14124cdb843SMatthew G. Knepley 
14224cdb843SMatthew G. Knepley   Output Parameter:
14308449791SMatthew G. Knepley . locF  - Local output vector
14424cdb843SMatthew G. Knepley 
14524cdb843SMatthew G. Knepley   Level: developer
14624cdb843SMatthew G. Knepley 
14724cdb843SMatthew G. Knepley .seealso: DMPlexComputeJacobianActionFEM()
14824cdb843SMatthew G. Knepley @*/
14908449791SMatthew G. Knepley PetscErrorCode DMPlexTSComputeIFunctionFEM(DM dm, PetscReal time, Vec locX, Vec locX_t, Vec locF, void *user)
15024cdb843SMatthew G. Knepley {
151c4d4a4f8SMatthew G. Knepley   PetscInt       cStart, cEnd, cEndInterior;
15224cdb843SMatthew G. Knepley   PetscErrorCode ierr;
15324cdb843SMatthew G. Knepley 
15424cdb843SMatthew G. Knepley   PetscFunctionBegin;
155c4d4a4f8SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
156c4d4a4f8SMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
157c4d4a4f8SMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
158c4d4a4f8SMatthew G. Knepley   ierr = DMPlexComputeResidual_Internal(dm, cStart, cEnd, time, locX, locX_t, locF, user);CHKERRQ(ierr);
15924cdb843SMatthew G. Knepley   PetscFunctionReturn(0);
16024cdb843SMatthew G. Knepley }
1617cdb2a12SMatthew G. Knepley 
1627cdb2a12SMatthew G. Knepley #undef __FUNCT__
1637cdb2a12SMatthew G. Knepley #define __FUNCT__ "DMTSCheckFromOptions"
164*0163fd50SMatthew G. Knepley PetscErrorCode DMTSCheckFromOptions(TS ts, Vec u, PetscErrorCode (**exactFuncs)(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx), void **ctxs)
1657cdb2a12SMatthew G. Knepley {
1667cdb2a12SMatthew G. Knepley   DM             dm;
1677cdb2a12SMatthew G. Knepley   SNES           snes;
1681878804aSMatthew G. Knepley   Vec            sol;
1697cdb2a12SMatthew G. Knepley   PetscBool      check;
1707cdb2a12SMatthew G. Knepley   PetscErrorCode ierr;
1717cdb2a12SMatthew G. Knepley 
1727cdb2a12SMatthew G. Knepley   PetscFunctionBegin;
1737cdb2a12SMatthew G. Knepley   ierr = PetscOptionsHasName(ts->hdr.prefix, "-dmts_check", &check);CHKERRQ(ierr);
1747cdb2a12SMatthew G. Knepley   if (!check) PetscFunctionReturn(0);
17572fd7fc8SMatthew G. Knepley   ierr = VecDuplicate(u, &sol);CHKERRQ(ierr);
17672fd7fc8SMatthew G. Knepley   ierr = TSSetSolution(ts, sol);CHKERRQ(ierr);
1777cdb2a12SMatthew G. Knepley   ierr = TSGetDM(ts, &dm);CHKERRQ(ierr);
1787cdb2a12SMatthew G. Knepley   ierr = TSSetUp(ts);CHKERRQ(ierr);
1797cdb2a12SMatthew G. Knepley   ierr = TSGetSNES(ts, &snes);CHKERRQ(ierr);
1807cdb2a12SMatthew G. Knepley   ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr);
1811878804aSMatthew G. Knepley   ierr = DMSNESCheckFromOptions_Internal(snes, dm, u, sol, exactFuncs, ctxs);CHKERRQ(ierr);
18272fd7fc8SMatthew G. Knepley   ierr = VecDestroy(&sol);CHKERRQ(ierr);
1837cdb2a12SMatthew G. Knepley   PetscFunctionReturn(0);
1847cdb2a12SMatthew G. Knepley }
185