xref: /petsc/src/dm/impls/plex/plexfvm.c (revision 1cc06b555e92f8ec64db10330b8bbd830e5bc876)
15d16530eSToby Isaac #include <petsc/private/dmpleximpl.h> /*I      "petscdmplex.h"   I*/
25d16530eSToby Isaac #include <petscsf.h>
35d16530eSToby Isaac 
45d16530eSToby Isaac #include <petsc/private/petscfeimpl.h>
55d16530eSToby Isaac #include <petsc/private/petscfvimpl.h>
65d16530eSToby Isaac 
7d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMPlexApplyLimiter_Internal(DM dm, DM dmCell, PetscLimiter lim, PetscInt dim, PetscInt dof, PetscInt cell, PetscInt field, PetscInt face, PetscInt fStart, PetscInt fEnd, PetscReal *cellPhi, const PetscScalar *x, const PetscScalar *cellgeom, const PetscFVCellGeom *cg, const PetscScalar *cx, const PetscScalar *cgrad)
8d71ae5a4SJacob Faibussowitsch {
95d16530eSToby Isaac   const PetscInt *children;
105d16530eSToby Isaac   PetscInt        numChildren;
115d16530eSToby Isaac 
125d16530eSToby Isaac   PetscFunctionBegin;
139566063dSJacob Faibussowitsch   PetscCall(DMPlexGetTreeChildren(dm, face, &numChildren, &children));
145d16530eSToby Isaac   if (numChildren) {
155d16530eSToby Isaac     PetscInt c;
165d16530eSToby Isaac 
175d16530eSToby Isaac     for (c = 0; c < numChildren; c++) {
185d16530eSToby Isaac       PetscInt childFace = children[c];
195d16530eSToby Isaac 
2048a46eb9SPierre Jolivet       if (childFace >= fStart && childFace < fEnd) PetscCall(DMPlexApplyLimiter_Internal(dm, dmCell, lim, dim, dof, cell, field, childFace, fStart, fEnd, cellPhi, x, cellgeom, cg, cx, cgrad));
215d16530eSToby Isaac     }
22df1f6d97SMatthew G. Knepley   } else {
235d16530eSToby Isaac     PetscScalar     *ncx;
245d16530eSToby Isaac     PetscFVCellGeom *ncg;
255d16530eSToby Isaac     const PetscInt  *fcells;
265d16530eSToby Isaac     PetscInt         ncell, d;
275d16530eSToby Isaac     PetscReal        v[3];
285d16530eSToby Isaac 
299566063dSJacob Faibussowitsch     PetscCall(DMPlexGetSupport(dm, face, &fcells));
305d16530eSToby Isaac     ncell = cell == fcells[0] ? fcells[1] : fcells[0];
31024f0e92SToby Isaac     if (field >= 0) {
329566063dSJacob Faibussowitsch       PetscCall(DMPlexPointLocalFieldRead(dm, ncell, field, x, &ncx));
33024f0e92SToby Isaac     } else {
349566063dSJacob Faibussowitsch       PetscCall(DMPlexPointLocalRead(dm, ncell, x, &ncx));
35024f0e92SToby Isaac     }
369566063dSJacob Faibussowitsch     PetscCall(DMPlexPointLocalRead(dmCell, ncell, cellgeom, &ncg));
375d16530eSToby Isaac     DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, ncg->centroid, v);
38df1f6d97SMatthew G. Knepley     for (d = 0; d < dof; ++d) {
395d16530eSToby Isaac       /* We use the symmetric slope limited form of Berger, Aftosmis, and Murman 2005 */
40024f0e92SToby Isaac       PetscReal denom = DMPlex_DotD_Internal(dim, &cgrad[d * dim], v);
412b6f951bSStefano Zampini       PetscReal fact  = denom == 0 ? 1.0e+30 : 1 / denom;
4261451c10SMatthew G. Knepley       PetscReal phi, flim = 0.5 * PetscRealPart(ncx[d] - cx[d]) * fact;
435d16530eSToby Isaac 
449566063dSJacob Faibussowitsch       PetscCall(PetscLimiterLimit(lim, flim, &phi));
455d16530eSToby Isaac       cellPhi[d] = PetscMin(cellPhi[d], phi);
465d16530eSToby Isaac     }
475d16530eSToby Isaac   }
483ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
495d16530eSToby Isaac }
505d16530eSToby Isaac 
51d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexReconstructGradients_Internal(DM dm, PetscFV fvm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, Vec locX, Vec grad)
52d71ae5a4SJacob Faibussowitsch {
535d16530eSToby Isaac   DM                 dmFace, dmCell, dmGrad;
545d16530eSToby Isaac   DMLabel            ghostLabel;
555d16530eSToby Isaac   PetscDS            prob;
565d16530eSToby Isaac   PetscLimiter       lim;
575d16530eSToby Isaac   const PetscScalar *facegeom, *cellgeom, *x;
585d16530eSToby Isaac   PetscScalar       *gr;
595d16530eSToby Isaac   PetscReal         *cellPhi;
60485ad865SMatthew G. Knepley   PetscInt           dim, face, cell, field, dof, cStart, cEnd, nFields;
615d16530eSToby Isaac 
625d16530eSToby Isaac   PetscFunctionBegin;
639566063dSJacob Faibussowitsch   PetscCall(DMGetDimension(dm, &dim));
649566063dSJacob Faibussowitsch   PetscCall(DMGetDS(dm, &prob));
659566063dSJacob Faibussowitsch   PetscCall(PetscDSGetNumFields(prob, &nFields));
669566063dSJacob Faibussowitsch   PetscCall(PetscDSGetFieldIndex(prob, (PetscObject)fvm, &field));
679566063dSJacob Faibussowitsch   PetscCall(PetscDSGetFieldSize(prob, field, &dof));
689566063dSJacob Faibussowitsch   PetscCall(DMGetLabel(dm, "ghost", &ghostLabel));
699566063dSJacob Faibussowitsch   PetscCall(PetscFVGetLimiter(fvm, &lim));
709566063dSJacob Faibussowitsch   PetscCall(VecGetDM(faceGeometry, &dmFace));
719566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(faceGeometry, &facegeom));
729566063dSJacob Faibussowitsch   PetscCall(VecGetDM(cellGeometry, &dmCell));
739566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(cellGeometry, &cellgeom));
749566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(locX, &x));
759566063dSJacob Faibussowitsch   PetscCall(VecGetDM(grad, &dmGrad));
769566063dSJacob Faibussowitsch   PetscCall(VecZeroEntries(grad));
779566063dSJacob Faibussowitsch   PetscCall(VecGetArray(grad, &gr));
785d16530eSToby Isaac   /* Reconstruct gradients */
795d16530eSToby Isaac   for (face = fStart; face < fEnd; ++face) {
805d16530eSToby Isaac     const PetscInt  *cells;
815d16530eSToby Isaac     PetscFVFaceGeom *fg;
825d16530eSToby Isaac     PetscScalar     *cx[2];
835d16530eSToby Isaac     PetscScalar     *cgrad[2];
845d16530eSToby Isaac     PetscBool        boundary;
855d16530eSToby Isaac     PetscInt         ghost, c, pd, d, numChildren, numCells;
865d16530eSToby Isaac 
879566063dSJacob Faibussowitsch     PetscCall(DMLabelGetValue(ghostLabel, face, &ghost));
889566063dSJacob Faibussowitsch     PetscCall(DMIsBoundaryPoint(dm, face, &boundary));
899566063dSJacob Faibussowitsch     PetscCall(DMPlexGetTreeChildren(dm, face, &numChildren, NULL));
905d16530eSToby Isaac     if (ghost >= 0 || boundary || numChildren) continue;
919566063dSJacob Faibussowitsch     PetscCall(DMPlexGetSupportSize(dm, face, &numCells));
9263a3b9bcSJacob Faibussowitsch     PetscCheck(numCells == 2, PETSC_COMM_SELF, PETSC_ERR_PLIB, "facet %" PetscInt_FMT " has %" PetscInt_FMT " support points: expected 2", face, numCells);
939566063dSJacob Faibussowitsch     PetscCall(DMPlexGetSupport(dm, face, &cells));
949566063dSJacob Faibussowitsch     PetscCall(DMPlexPointLocalRead(dmFace, face, facegeom, &fg));
955d16530eSToby Isaac     for (c = 0; c < 2; ++c) {
96af30148fSToby Isaac       if (nFields > 1) {
979566063dSJacob Faibussowitsch         PetscCall(DMPlexPointLocalFieldRead(dm, cells[c], field, x, &cx[c]));
98af30148fSToby Isaac       } else {
999566063dSJacob Faibussowitsch         PetscCall(DMPlexPointLocalRead(dm, cells[c], x, &cx[c]));
100af30148fSToby Isaac       }
1019566063dSJacob Faibussowitsch       PetscCall(DMPlexPointGlobalRef(dmGrad, cells[c], gr, &cgrad[c]));
1025d16530eSToby Isaac     }
103df1f6d97SMatthew G. Knepley     for (pd = 0; pd < dof; ++pd) {
104af30148fSToby Isaac       PetscScalar delta = cx[1][pd] - cx[0][pd];
1055d16530eSToby Isaac 
1065d16530eSToby Isaac       for (d = 0; d < dim; ++d) {
1075d16530eSToby Isaac         if (cgrad[0]) cgrad[0][pd * dim + d] += fg->grad[0][d] * delta;
1085d16530eSToby Isaac         if (cgrad[1]) cgrad[1][pd * dim + d] -= fg->grad[1][d] * delta;
1095d16530eSToby Isaac       }
1105d16530eSToby Isaac     }
1115d16530eSToby Isaac   }
1125d16530eSToby Isaac   /* Limit interior gradients (using cell-based loop because it generalizes better to vector limiters) */
1139566063dSJacob Faibussowitsch   PetscCall(DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd));
1149566063dSJacob Faibussowitsch   PetscCall(DMGetWorkArray(dm, dof, MPIU_REAL, &cellPhi));
115485ad865SMatthew G. Knepley   for (cell = (dmGrad && lim) ? cStart : cEnd; cell < cEnd; ++cell) {
1165d16530eSToby Isaac     const PetscInt  *faces;
1175d16530eSToby Isaac     PetscScalar     *cx;
1185d16530eSToby Isaac     PetscFVCellGeom *cg;
1195d16530eSToby Isaac     PetscScalar     *cgrad;
1205d16530eSToby Isaac     PetscInt         coneSize, f, pd, d;
1215d16530eSToby Isaac 
1229566063dSJacob Faibussowitsch     PetscCall(DMPlexGetConeSize(dm, cell, &coneSize));
1239566063dSJacob Faibussowitsch     PetscCall(DMPlexGetCone(dm, cell, &faces));
124024f0e92SToby Isaac     if (nFields > 1) {
1259566063dSJacob Faibussowitsch       PetscCall(DMPlexPointLocalFieldRead(dm, cell, field, x, &cx));
1269371c9d4SSatish Balay     } else {
1279566063dSJacob Faibussowitsch       PetscCall(DMPlexPointLocalRead(dm, cell, x, &cx));
128024f0e92SToby Isaac     }
1299566063dSJacob Faibussowitsch     PetscCall(DMPlexPointLocalRead(dmCell, cell, cellgeom, &cg));
1309566063dSJacob Faibussowitsch     PetscCall(DMPlexPointGlobalRef(dmGrad, cell, gr, &cgrad));
1315d16530eSToby Isaac     if (!cgrad) continue; /* Unowned overlap cell, we do not compute */
1325d16530eSToby Isaac     /* Limiter will be minimum value over all neighbors */
133df1f6d97SMatthew G. Knepley     for (d = 0; d < dof; ++d) cellPhi[d] = PETSC_MAX_REAL;
13448a46eb9SPierre Jolivet     for (f = 0; f < coneSize; ++f) PetscCall(DMPlexApplyLimiter_Internal(dm, dmCell, lim, dim, dof, cell, nFields > 1 ? field : -1, faces[f], fStart, fEnd, cellPhi, x, cellgeom, cg, cx, cgrad));
1355d16530eSToby Isaac     /* Apply limiter to gradient */
1369371c9d4SSatish Balay     for (pd = 0; pd < dof; ++pd) /* Scalar limiter applied to each component separately */
1375d16530eSToby Isaac       for (d = 0; d < dim; ++d) cgrad[pd * dim + d] *= cellPhi[pd];
1385d16530eSToby Isaac   }
1399566063dSJacob Faibussowitsch   PetscCall(DMRestoreWorkArray(dm, dof, MPIU_REAL, &cellPhi));
1409566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(faceGeometry, &facegeom));
1419566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(cellGeometry, &cellgeom));
1429566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(locX, &x));
1439566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(grad, &gr));
1443ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
1455d16530eSToby Isaac }
1465d16530eSToby Isaac 
1475d16530eSToby Isaac /*@
1485d16530eSToby Isaac   DMPlexReconstructGradientsFVM - reconstruct the gradient of a vector using a finite volume method.
1495d16530eSToby Isaac 
1505d16530eSToby Isaac   Input Parameters:
1515d16530eSToby Isaac + dm - the mesh
1525d16530eSToby Isaac - locX - the local representation of the vector
1535d16530eSToby Isaac 
1545d16530eSToby Isaac   Output Parameter:
1555d16530eSToby Isaac . grad - the global representation of the gradient
1565d16530eSToby Isaac 
1575d16530eSToby Isaac   Level: developer
1585d16530eSToby Isaac 
159*1cc06b55SBarry Smith .seealso: [](ch_unstructured), `DM`, `Vec`, `DMPlexGetGradientDM()`
1605d16530eSToby Isaac @*/
161d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexReconstructGradientsFVM(DM dm, Vec locX, Vec grad)
162d71ae5a4SJacob Faibussowitsch {
1635d16530eSToby Isaac   PetscDS          prob;
1645d16530eSToby Isaac   PetscInt         Nf, f, fStart, fEnd;
1655d16530eSToby Isaac   PetscBool        useFVM = PETSC_FALSE;
1665d16530eSToby Isaac   PetscFV          fvm    = NULL;
1675d16530eSToby Isaac   Vec              faceGeometryFVM, cellGeometryFVM;
1685d16530eSToby Isaac   PetscFVCellGeom *cgeomFVM = NULL;
1695d16530eSToby Isaac   PetscFVFaceGeom *fgeomFVM = NULL;
1705d16530eSToby Isaac   DM               dmGrad   = NULL;
1715d16530eSToby Isaac 
1725d16530eSToby Isaac   PetscFunctionBegin;
1739566063dSJacob Faibussowitsch   PetscCall(DMGetDS(dm, &prob));
1749566063dSJacob Faibussowitsch   PetscCall(PetscDSGetNumFields(prob, &Nf));
1755d16530eSToby Isaac   for (f = 0; f < Nf; ++f) {
1765d16530eSToby Isaac     PetscObject  obj;
1775d16530eSToby Isaac     PetscClassId id;
1785d16530eSToby Isaac 
1799566063dSJacob Faibussowitsch     PetscCall(PetscDSGetDiscretization(prob, f, &obj));
1809566063dSJacob Faibussowitsch     PetscCall(PetscObjectGetClassId(obj, &id));
1819371c9d4SSatish Balay     if (id == PETSCFV_CLASSID) {
1829371c9d4SSatish Balay       useFVM = PETSC_TRUE;
1839371c9d4SSatish Balay       fvm    = (PetscFV)obj;
1849371c9d4SSatish Balay     }
1855d16530eSToby Isaac   }
18628b400f6SJacob Faibussowitsch   PetscCheck(useFVM, PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "This dm does not have a finite volume discretization");
1879566063dSJacob Faibussowitsch   PetscCall(DMPlexGetDataFVM(dm, fvm, &cellGeometryFVM, &faceGeometryFVM, &dmGrad));
18828b400f6SJacob Faibussowitsch   PetscCheck(dmGrad, PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "This dm's finite volume discretization does not reconstruct gradients");
1899566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(faceGeometryFVM, (const PetscScalar **)&fgeomFVM));
1909566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(cellGeometryFVM, (const PetscScalar **)&cgeomFVM));
1919566063dSJacob Faibussowitsch   PetscCall(DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd));
1929566063dSJacob Faibussowitsch   PetscCall(DMPlexReconstructGradients_Internal(dm, fvm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad));
1933ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
1945d16530eSToby Isaac }
195