xref: /petsc/src/dm/impls/plex/plexfvm.c (revision 5d16530e43b2a4ddc0eea191a45725a412235d14)
1*5d16530eSToby Isaac #include <petsc/private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
2*5d16530eSToby Isaac #include <petscsf.h>
3*5d16530eSToby Isaac 
4*5d16530eSToby Isaac #include <petsc/private/petscfeimpl.h>
5*5d16530eSToby Isaac #include <petsc/private/petscfvimpl.h>
6*5d16530eSToby Isaac 
7*5d16530eSToby Isaac #undef __FUNCT__
8*5d16530eSToby Isaac #define __FUNCT__ "DMPlexApplyLimiter_Internal"
9*5d16530eSToby Isaac static PetscErrorCode DMPlexApplyLimiter_Internal (DM dm, DM dmCell, PetscLimiter lim, PetscInt dim, PetscInt totDim, PetscInt cell, PetscInt face, PetscInt fStart, PetscInt fEnd, PetscReal *cellPhi, const PetscScalar *x,
10*5d16530eSToby Isaac                                                    const PetscScalar *cellgeom, const PetscFVCellGeom *cg, const PetscScalar *cx, const PetscScalar *cgrad)
11*5d16530eSToby Isaac {
12*5d16530eSToby Isaac   const PetscInt        *children;
13*5d16530eSToby Isaac   PetscInt               numChildren;
14*5d16530eSToby Isaac   PetscErrorCode         ierr;
15*5d16530eSToby Isaac 
16*5d16530eSToby Isaac   PetscFunctionBegin;
17*5d16530eSToby Isaac   ierr = DMPlexGetTreeChildren(dm,face,&numChildren,&children);CHKERRQ(ierr);
18*5d16530eSToby Isaac   if (numChildren) {
19*5d16530eSToby Isaac     PetscInt c;
20*5d16530eSToby Isaac 
21*5d16530eSToby Isaac     for (c = 0; c < numChildren; c++) {
22*5d16530eSToby Isaac       PetscInt childFace = children[c];
23*5d16530eSToby Isaac 
24*5d16530eSToby Isaac       if (childFace >= fStart && childFace < fEnd) {
25*5d16530eSToby Isaac         ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,totDim,cell,childFace,fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr);
26*5d16530eSToby Isaac       }
27*5d16530eSToby Isaac     }
28*5d16530eSToby Isaac   }
29*5d16530eSToby Isaac   else {
30*5d16530eSToby Isaac     PetscScalar           *ncx;
31*5d16530eSToby Isaac     PetscFVCellGeom       *ncg;
32*5d16530eSToby Isaac     const PetscInt        *fcells;
33*5d16530eSToby Isaac     PetscInt               ncell, d;
34*5d16530eSToby Isaac     PetscReal              v[3];
35*5d16530eSToby Isaac 
36*5d16530eSToby Isaac     ierr  = DMPlexGetSupport(dm, face, &fcells);CHKERRQ(ierr);
37*5d16530eSToby Isaac     ncell = cell == fcells[0] ? fcells[1] : fcells[0];
38*5d16530eSToby Isaac     ierr  = DMPlexPointLocalRead(dm, ncell, x, &ncx);CHKERRQ(ierr);
39*5d16530eSToby Isaac     ierr  = DMPlexPointLocalRead(dmCell, ncell, cellgeom, &ncg);CHKERRQ(ierr);
40*5d16530eSToby Isaac     DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, ncg->centroid, v);
41*5d16530eSToby Isaac     for (d = 0; d < totDim; ++d) {
42*5d16530eSToby Isaac       /* We use the symmetric slope limited form of Berger, Aftosmis, and Murman 2005 */
43*5d16530eSToby Isaac       PetscReal phi, flim = 0.5 * PetscRealPart(ncx[d] - cx[d]) / DMPlex_DotD_Internal(dim, &cgrad[d*dim], v);
44*5d16530eSToby Isaac 
45*5d16530eSToby Isaac       ierr = PetscLimiterLimit(lim, flim, &phi);CHKERRQ(ierr);
46*5d16530eSToby Isaac       cellPhi[d] = PetscMin(cellPhi[d], phi);
47*5d16530eSToby Isaac     }
48*5d16530eSToby Isaac   }
49*5d16530eSToby Isaac   PetscFunctionReturn(0);
50*5d16530eSToby Isaac }
51*5d16530eSToby Isaac 
52*5d16530eSToby Isaac #undef __FUNCT__
53*5d16530eSToby Isaac #define __FUNCT__ "DMPlexReconstructGradients_Internal"
54*5d16530eSToby Isaac PetscErrorCode DMPlexReconstructGradients_Internal(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, Vec locX, Vec grad)
55*5d16530eSToby Isaac {
56*5d16530eSToby Isaac   DM                 dmFace, dmCell, dmGrad;
57*5d16530eSToby Isaac   DMLabel            ghostLabel;
58*5d16530eSToby Isaac   PetscDS            prob;
59*5d16530eSToby Isaac   PetscFV            fvm;
60*5d16530eSToby Isaac   PetscLimiter       lim;
61*5d16530eSToby Isaac   const PetscScalar *facegeom, *cellgeom, *x;
62*5d16530eSToby Isaac   PetscScalar       *gr;
63*5d16530eSToby Isaac   PetscReal         *cellPhi;
64*5d16530eSToby Isaac   PetscInt           dim, face, cell, totDim, cStart, cEnd, cEndInterior;
65*5d16530eSToby Isaac   PetscErrorCode     ierr;
66*5d16530eSToby Isaac 
67*5d16530eSToby Isaac   PetscFunctionBegin;
68*5d16530eSToby Isaac   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
69*5d16530eSToby Isaac   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
70*5d16530eSToby Isaac   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
71*5d16530eSToby Isaac   ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr);
72*5d16530eSToby Isaac   ierr = PetscDSGetDiscretization(prob, 0, (PetscObject *) &fvm);CHKERRQ(ierr);
73*5d16530eSToby Isaac   ierr = PetscFVGetLimiter(fvm, &lim);CHKERRQ(ierr);
74*5d16530eSToby Isaac   ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr);
75*5d16530eSToby Isaac   ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
76*5d16530eSToby Isaac   ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr);
77*5d16530eSToby Isaac   ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
78*5d16530eSToby Isaac   ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr);
79*5d16530eSToby Isaac   ierr = VecGetDM(grad, &dmGrad);CHKERRQ(ierr);
80*5d16530eSToby Isaac   ierr = VecZeroEntries(grad);CHKERRQ(ierr);
81*5d16530eSToby Isaac   ierr = VecGetArray(grad, &gr);CHKERRQ(ierr);
82*5d16530eSToby Isaac   /* Reconstruct gradients */
83*5d16530eSToby Isaac   for (face = fStart; face < fEnd; ++face) {
84*5d16530eSToby Isaac     const PetscInt        *cells;
85*5d16530eSToby Isaac     PetscFVFaceGeom       *fg;
86*5d16530eSToby Isaac     PetscScalar           *cx[2];
87*5d16530eSToby Isaac     PetscScalar           *cgrad[2];
88*5d16530eSToby Isaac     PetscBool              boundary;
89*5d16530eSToby Isaac     PetscInt               ghost, c, pd, d, numChildren, numCells;
90*5d16530eSToby Isaac 
91*5d16530eSToby Isaac     ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr);
92*5d16530eSToby Isaac     ierr = DMIsBoundaryPoint(dm, face, &boundary);CHKERRQ(ierr);
93*5d16530eSToby Isaac     ierr = DMPlexGetTreeChildren(dm, face, &numChildren, NULL);CHKERRQ(ierr);
94*5d16530eSToby Isaac     if (ghost >= 0 || boundary || numChildren) continue;
95*5d16530eSToby Isaac     ierr = DMPlexGetSupportSize(dm, face, &numCells);CHKERRQ(ierr);
96*5d16530eSToby Isaac     if (numCells != 2) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "facet %d has %d support points: expected 2",face,numCells);
97*5d16530eSToby Isaac     ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr);
98*5d16530eSToby Isaac     ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr);
99*5d16530eSToby Isaac     for (c = 0; c < 2; ++c) {
100*5d16530eSToby Isaac       ierr = DMPlexPointLocalRead(dm, cells[c], x, &cx[c]);CHKERRQ(ierr);
101*5d16530eSToby Isaac       ierr = DMPlexPointGlobalRef(dmGrad, cells[c], gr, &cgrad[c]);CHKERRQ(ierr);
102*5d16530eSToby Isaac     }
103*5d16530eSToby Isaac     for (pd = 0; pd < totDim; ++pd) {
104*5d16530eSToby Isaac       PetscScalar delta = cx[1][pd] - cx[0][pd];
105*5d16530eSToby Isaac 
106*5d16530eSToby Isaac       for (d = 0; d < dim; ++d) {
107*5d16530eSToby Isaac         if (cgrad[0]) cgrad[0][pd*dim+d] += fg->grad[0][d] * delta;
108*5d16530eSToby Isaac         if (cgrad[1]) cgrad[1][pd*dim+d] -= fg->grad[1][d] * delta;
109*5d16530eSToby Isaac       }
110*5d16530eSToby Isaac     }
111*5d16530eSToby Isaac   }
112*5d16530eSToby Isaac   /* Limit interior gradients (using cell-based loop because it generalizes better to vector limiters) */
113*5d16530eSToby Isaac   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
114*5d16530eSToby Isaac   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
115*5d16530eSToby Isaac   cEndInterior = cEndInterior < 0 ? cEnd : cEndInterior;
116*5d16530eSToby Isaac   ierr = DMGetWorkArray(dm, totDim, PETSC_REAL, &cellPhi);CHKERRQ(ierr);
117*5d16530eSToby Isaac   for (cell = dmGrad && lim ? cStart : cEnd; cell < cEndInterior; ++cell) {
118*5d16530eSToby Isaac     const PetscInt        *faces;
119*5d16530eSToby Isaac     PetscScalar           *cx;
120*5d16530eSToby Isaac     PetscFVCellGeom       *cg;
121*5d16530eSToby Isaac     PetscScalar           *cgrad;
122*5d16530eSToby Isaac     PetscInt               coneSize, f, pd, d;
123*5d16530eSToby Isaac 
124*5d16530eSToby Isaac     ierr = DMPlexGetConeSize(dm, cell, &coneSize);CHKERRQ(ierr);
125*5d16530eSToby Isaac     ierr = DMPlexGetCone(dm, cell, &faces);CHKERRQ(ierr);
126*5d16530eSToby Isaac     ierr = DMPlexPointLocalRead(dm, cell, x, &cx);CHKERRQ(ierr);
127*5d16530eSToby Isaac     ierr = DMPlexPointLocalRead(dmCell, cell, cellgeom, &cg);CHKERRQ(ierr);
128*5d16530eSToby Isaac     ierr = DMPlexPointGlobalRef(dmGrad, cell, gr, &cgrad);CHKERRQ(ierr);
129*5d16530eSToby Isaac     if (!cgrad) continue; /* Unowned overlap cell, we do not compute */
130*5d16530eSToby Isaac     /* Limiter will be minimum value over all neighbors */
131*5d16530eSToby Isaac     for (d = 0; d < totDim; ++d) cellPhi[d] = PETSC_MAX_REAL;
132*5d16530eSToby Isaac     for (f = 0; f < coneSize; ++f) {
133*5d16530eSToby Isaac       ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,totDim,cell,faces[f],fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr);
134*5d16530eSToby Isaac     }
135*5d16530eSToby Isaac     /* Apply limiter to gradient */
136*5d16530eSToby Isaac     for (pd = 0; pd < totDim; ++pd)
137*5d16530eSToby Isaac       /* Scalar limiter applied to each component separately */
138*5d16530eSToby Isaac       for (d = 0; d < dim; ++d) cgrad[pd*dim+d] *= cellPhi[pd];
139*5d16530eSToby Isaac   }
140*5d16530eSToby Isaac   ierr = DMRestoreWorkArray(dm, totDim, PETSC_REAL, &cellPhi);CHKERRQ(ierr);
141*5d16530eSToby Isaac   ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
142*5d16530eSToby Isaac   ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
143*5d16530eSToby Isaac   ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr);
144*5d16530eSToby Isaac   ierr = VecRestoreArray(grad, &gr);CHKERRQ(ierr);
145*5d16530eSToby Isaac   PetscFunctionReturn(0);
146*5d16530eSToby Isaac }
147*5d16530eSToby Isaac 
148*5d16530eSToby Isaac #undef __FUNCT__
149*5d16530eSToby Isaac #define __FUNCT__ "DMPlexReconstructGradientsFVM"
150*5d16530eSToby Isaac /*@
151*5d16530eSToby Isaac   DMPlexReconstructGradientsFVM - reconstruct the gradient of a vector using a finite volume method.
152*5d16530eSToby Isaac 
153*5d16530eSToby Isaac   Input Parameters:
154*5d16530eSToby Isaac + dm - the mesh
155*5d16530eSToby Isaac - locX - the local representation of the vector
156*5d16530eSToby Isaac 
157*5d16530eSToby Isaac   Output Parameter:
158*5d16530eSToby Isaac . grad - the global representation of the gradient
159*5d16530eSToby Isaac 
160*5d16530eSToby Isaac   Level: developer
161*5d16530eSToby Isaac 
162*5d16530eSToby Isaac .seealso: DMPlexSNESGetGradientDM()
163*5d16530eSToby Isaac @*/
164*5d16530eSToby Isaac PetscErrorCode DMPlexReconstructGradientsFVM(DM dm, Vec locX, Vec grad)
165*5d16530eSToby Isaac {
166*5d16530eSToby Isaac   PetscDS          prob;
167*5d16530eSToby Isaac   PetscInt         Nf, f, fStart, fEnd;
168*5d16530eSToby Isaac   PetscBool        useFVM = PETSC_FALSE;
169*5d16530eSToby Isaac   PetscFV          fvm = NULL;
170*5d16530eSToby Isaac   Vec              faceGeometryFVM, cellGeometryFVM;
171*5d16530eSToby Isaac   PetscFVCellGeom  *cgeomFVM   = NULL;
172*5d16530eSToby Isaac   PetscFVFaceGeom  *fgeomFVM   = NULL;
173*5d16530eSToby Isaac   DM               dmGrad = NULL;
174*5d16530eSToby Isaac   PetscErrorCode   ierr;
175*5d16530eSToby Isaac 
176*5d16530eSToby Isaac   PetscFunctionBegin;
177*5d16530eSToby Isaac   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
178*5d16530eSToby Isaac   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
179*5d16530eSToby Isaac   for (f = 0; f < Nf; ++f) {
180*5d16530eSToby Isaac     PetscObject  obj;
181*5d16530eSToby Isaac     PetscClassId id;
182*5d16530eSToby Isaac 
183*5d16530eSToby Isaac     ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
184*5d16530eSToby Isaac     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
185*5d16530eSToby Isaac     if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;}
186*5d16530eSToby Isaac   }
187*5d16530eSToby Isaac   if (!useFVM) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm does not have a finite volume discretization");
188*5d16530eSToby Isaac   ierr = DMPlexGetDataFVM(dm, fvm, &cellGeometryFVM, &faceGeometryFVM, &dmGrad);CHKERRQ(ierr);
189*5d16530eSToby Isaac   if (!dmGrad) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm's finite volume discretization does not reconstruct gradients");
190*5d16530eSToby Isaac   ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr);
191*5d16530eSToby Isaac   ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr);
192*5d16530eSToby Isaac   ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
193*5d16530eSToby Isaac   ierr = DMPlexReconstructGradients_Internal(dm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr);
194*5d16530eSToby Isaac   PetscFunctionReturn(0);
195*5d16530eSToby Isaac }
196*5d16530eSToby Isaac 
197