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
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)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;
26*2f86f8c5SMatthew G. Knepley PetscInt Ns, ncell, d;
275d16530eSToby Isaac PetscReal v[3];
285d16530eSToby Isaac
299566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupport(dm, face, &fcells));
30*2f86f8c5SMatthew G. Knepley PetscCall(DMPlexGetSupportSize(dm, face, &Ns));
31*2f86f8c5SMatthew G. Knepley if (Ns < 2) {
32*2f86f8c5SMatthew G. Knepley for (d = 0; d < dof; ++d) cellPhi[d] = 1.0;
33*2f86f8c5SMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS);
34*2f86f8c5SMatthew G. Knepley }
355d16530eSToby Isaac ncell = cell == fcells[0] ? fcells[1] : fcells[0];
36024f0e92SToby Isaac if (field >= 0) {
379566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalFieldRead(dm, ncell, field, x, &ncx));
38024f0e92SToby Isaac } else {
399566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalRead(dm, ncell, x, &ncx));
40024f0e92SToby Isaac }
419566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalRead(dmCell, ncell, cellgeom, &ncg));
425d16530eSToby Isaac DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, ncg->centroid, v);
43df1f6d97SMatthew G. Knepley for (d = 0; d < dof; ++d) {
445d16530eSToby Isaac /* We use the symmetric slope limited form of Berger, Aftosmis, and Murman 2005 */
45024f0e92SToby Isaac PetscReal denom = DMPlex_DotD_Internal(dim, &cgrad[d * dim], v);
462b6f951bSStefano Zampini PetscReal fact = denom == 0 ? 1.0e+30 : 1 / denom;
4761451c10SMatthew G. Knepley PetscReal phi, flim = 0.5 * PetscRealPart(ncx[d] - cx[d]) * fact;
485d16530eSToby Isaac
499566063dSJacob Faibussowitsch PetscCall(PetscLimiterLimit(lim, flim, &phi));
505d16530eSToby Isaac cellPhi[d] = PetscMin(cellPhi[d], phi);
515d16530eSToby Isaac }
525d16530eSToby Isaac }
533ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
545d16530eSToby Isaac }
555d16530eSToby Isaac
DMPlexReconstructGradients_Internal(DM dm,PetscFV fvm,PetscInt fStart,PetscInt fEnd,Vec faceGeometry,Vec cellGeometry,Vec locX,Vec grad)56d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexReconstructGradients_Internal(DM dm, PetscFV fvm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, Vec locX, Vec grad)
57d71ae5a4SJacob Faibussowitsch {
585d16530eSToby Isaac DM dmFace, dmCell, dmGrad;
595d16530eSToby Isaac DMLabel ghostLabel;
605d16530eSToby Isaac PetscDS prob;
615d16530eSToby Isaac PetscLimiter lim;
62*2f86f8c5SMatthew G. Knepley PetscLimiterType limType;
635d16530eSToby Isaac const PetscScalar *facegeom, *cellgeom, *x;
645d16530eSToby Isaac PetscScalar *gr;
655d16530eSToby Isaac PetscReal *cellPhi;
66485ad865SMatthew G. Knepley PetscInt dim, face, cell, field, dof, cStart, cEnd, nFields;
675d16530eSToby Isaac
685d16530eSToby Isaac PetscFunctionBegin;
699566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dim));
709566063dSJacob Faibussowitsch PetscCall(DMGetDS(dm, &prob));
719566063dSJacob Faibussowitsch PetscCall(PetscDSGetNumFields(prob, &nFields));
729566063dSJacob Faibussowitsch PetscCall(PetscDSGetFieldIndex(prob, (PetscObject)fvm, &field));
739566063dSJacob Faibussowitsch PetscCall(PetscDSGetFieldSize(prob, field, &dof));
749566063dSJacob Faibussowitsch PetscCall(DMGetLabel(dm, "ghost", &ghostLabel));
759566063dSJacob Faibussowitsch PetscCall(PetscFVGetLimiter(fvm, &lim));
769566063dSJacob Faibussowitsch PetscCall(VecGetDM(faceGeometry, &dmFace));
779566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(faceGeometry, &facegeom));
789566063dSJacob Faibussowitsch PetscCall(VecGetDM(cellGeometry, &dmCell));
799566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(cellGeometry, &cellgeom));
809566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(locX, &x));
819566063dSJacob Faibussowitsch PetscCall(VecGetDM(grad, &dmGrad));
829566063dSJacob Faibussowitsch PetscCall(VecZeroEntries(grad));
839566063dSJacob Faibussowitsch PetscCall(VecGetArray(grad, &gr));
845d16530eSToby Isaac /* Reconstruct gradients */
855d16530eSToby Isaac for (face = fStart; face < fEnd; ++face) {
865d16530eSToby Isaac const PetscInt *cells;
875d16530eSToby Isaac PetscFVFaceGeom *fg;
885d16530eSToby Isaac PetscScalar *cx[2];
895d16530eSToby Isaac PetscScalar *cgrad[2];
905d16530eSToby Isaac PetscBool boundary;
915d16530eSToby Isaac PetscInt ghost, c, pd, d, numChildren, numCells;
925d16530eSToby Isaac
939566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(ghostLabel, face, &ghost));
949566063dSJacob Faibussowitsch PetscCall(DMIsBoundaryPoint(dm, face, &boundary));
959566063dSJacob Faibussowitsch PetscCall(DMPlexGetTreeChildren(dm, face, &numChildren, NULL));
965d16530eSToby Isaac if (ghost >= 0 || boundary || numChildren) continue;
979566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupportSize(dm, face, &numCells));
9863a3b9bcSJacob Faibussowitsch PetscCheck(numCells == 2, PETSC_COMM_SELF, PETSC_ERR_PLIB, "facet %" PetscInt_FMT " has %" PetscInt_FMT " support points: expected 2", face, numCells);
999566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupport(dm, face, &cells));
1009566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalRead(dmFace, face, facegeom, &fg));
1015d16530eSToby Isaac for (c = 0; c < 2; ++c) {
102af30148fSToby Isaac if (nFields > 1) {
1039566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalFieldRead(dm, cells[c], field, x, &cx[c]));
104af30148fSToby Isaac } else {
1059566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalRead(dm, cells[c], x, &cx[c]));
106af30148fSToby Isaac }
1079566063dSJacob Faibussowitsch PetscCall(DMPlexPointGlobalRef(dmGrad, cells[c], gr, &cgrad[c]));
1085d16530eSToby Isaac }
109df1f6d97SMatthew G. Knepley for (pd = 0; pd < dof; ++pd) {
110af30148fSToby Isaac PetscScalar delta = cx[1][pd] - cx[0][pd];
1115d16530eSToby Isaac
1125d16530eSToby Isaac for (d = 0; d < dim; ++d) {
1135d16530eSToby Isaac if (cgrad[0]) cgrad[0][pd * dim + d] += fg->grad[0][d] * delta;
1145d16530eSToby Isaac if (cgrad[1]) cgrad[1][pd * dim + d] -= fg->grad[1][d] * delta;
1155d16530eSToby Isaac }
1165d16530eSToby Isaac }
1175d16530eSToby Isaac }
1185d16530eSToby Isaac /* Limit interior gradients (using cell-based loop because it generalizes better to vector limiters) */
119*2f86f8c5SMatthew G. Knepley PetscCall(PetscLimiterGetType(lim, &limType));
1209566063dSJacob Faibussowitsch PetscCall(DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd));
1219566063dSJacob Faibussowitsch PetscCall(DMGetWorkArray(dm, dof, MPIU_REAL, &cellPhi));
122485ad865SMatthew G. Knepley for (cell = (dmGrad && lim) ? cStart : cEnd; cell < cEnd; ++cell) {
1235d16530eSToby Isaac const PetscInt *faces;
1245d16530eSToby Isaac PetscScalar *cx;
1255d16530eSToby Isaac PetscFVCellGeom *cg;
1265d16530eSToby Isaac PetscScalar *cgrad;
1275d16530eSToby Isaac PetscInt coneSize, f, pd, d;
1285d16530eSToby Isaac
1299566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(dm, cell, &coneSize));
1309566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(dm, cell, &faces));
131024f0e92SToby Isaac if (nFields > 1) {
1329566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalFieldRead(dm, cell, field, x, &cx));
1339371c9d4SSatish Balay } else {
1349566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalRead(dm, cell, x, &cx));
135024f0e92SToby Isaac }
1369566063dSJacob Faibussowitsch PetscCall(DMPlexPointLocalRead(dmCell, cell, cellgeom, &cg));
1379566063dSJacob Faibussowitsch PetscCall(DMPlexPointGlobalRef(dmGrad, cell, gr, &cgrad));
1385d16530eSToby Isaac if (!cgrad) continue; /* Unowned overlap cell, we do not compute */
139*2f86f8c5SMatthew G. Knepley if (limType) {
1405d16530eSToby Isaac /* Limiter will be minimum value over all neighbors */
141df1f6d97SMatthew G. Knepley for (d = 0; d < dof; ++d) cellPhi[d] = PETSC_MAX_REAL;
14248a46eb9SPierre 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));
143*2f86f8c5SMatthew G. Knepley } else {
144*2f86f8c5SMatthew G. Knepley for (d = 0; d < dof; ++d) cellPhi[d] = 1.0;
145*2f86f8c5SMatthew G. Knepley }
1465d16530eSToby Isaac /* Apply limiter to gradient */
1479371c9d4SSatish Balay for (pd = 0; pd < dof; ++pd) /* Scalar limiter applied to each component separately */
1485d16530eSToby Isaac for (d = 0; d < dim; ++d) cgrad[pd * dim + d] *= cellPhi[pd];
1495d16530eSToby Isaac }
1509566063dSJacob Faibussowitsch PetscCall(DMRestoreWorkArray(dm, dof, MPIU_REAL, &cellPhi));
1519566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(faceGeometry, &facegeom));
1529566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(cellGeometry, &cellgeom));
1539566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(locX, &x));
1549566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(grad, &gr));
1553ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
1565d16530eSToby Isaac }
1575d16530eSToby Isaac
1585d16530eSToby Isaac /*@
1595d16530eSToby Isaac DMPlexReconstructGradientsFVM - reconstruct the gradient of a vector using a finite volume method.
1605d16530eSToby Isaac
1615d16530eSToby Isaac Input Parameters:
1625d16530eSToby Isaac + dm - the mesh
1635d16530eSToby Isaac - locX - the local representation of the vector
1645d16530eSToby Isaac
1655d16530eSToby Isaac Output Parameter:
1665d16530eSToby Isaac . grad - the global representation of the gradient
1675d16530eSToby Isaac
1685d16530eSToby Isaac Level: developer
1695d16530eSToby Isaac
1701cc06b55SBarry Smith .seealso: [](ch_unstructured), `DM`, `Vec`, `DMPlexGetGradientDM()`
1715d16530eSToby Isaac @*/
DMPlexReconstructGradientsFVM(DM dm,Vec locX,Vec grad)172d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexReconstructGradientsFVM(DM dm, Vec locX, Vec grad)
173d71ae5a4SJacob Faibussowitsch {
1745d16530eSToby Isaac PetscDS prob;
1755d16530eSToby Isaac PetscInt Nf, f, fStart, fEnd;
1765d16530eSToby Isaac PetscBool useFVM = PETSC_FALSE;
1775d16530eSToby Isaac PetscFV fvm = NULL;
1785d16530eSToby Isaac Vec faceGeometryFVM, cellGeometryFVM;
1795d16530eSToby Isaac PetscFVCellGeom *cgeomFVM = NULL;
1805d16530eSToby Isaac PetscFVFaceGeom *fgeomFVM = NULL;
1815d16530eSToby Isaac DM dmGrad = NULL;
1825d16530eSToby Isaac
1835d16530eSToby Isaac PetscFunctionBegin;
1849566063dSJacob Faibussowitsch PetscCall(DMGetDS(dm, &prob));
1859566063dSJacob Faibussowitsch PetscCall(PetscDSGetNumFields(prob, &Nf));
1865d16530eSToby Isaac for (f = 0; f < Nf; ++f) {
1875d16530eSToby Isaac PetscObject obj;
1885d16530eSToby Isaac PetscClassId id;
1895d16530eSToby Isaac
1909566063dSJacob Faibussowitsch PetscCall(PetscDSGetDiscretization(prob, f, &obj));
1919566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(obj, &id));
1929371c9d4SSatish Balay if (id == PETSCFV_CLASSID) {
1939371c9d4SSatish Balay useFVM = PETSC_TRUE;
1949371c9d4SSatish Balay fvm = (PetscFV)obj;
1959371c9d4SSatish Balay }
1965d16530eSToby Isaac }
19728b400f6SJacob Faibussowitsch PetscCheck(useFVM, PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "This dm does not have a finite volume discretization");
1989566063dSJacob Faibussowitsch PetscCall(DMPlexGetDataFVM(dm, fvm, &cellGeometryFVM, &faceGeometryFVM, &dmGrad));
19928b400f6SJacob Faibussowitsch PetscCheck(dmGrad, PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "This dm's finite volume discretization does not reconstruct gradients");
2009566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(faceGeometryFVM, (const PetscScalar **)&fgeomFVM));
2019566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(cellGeometryFVM, (const PetscScalar **)&cgeomFVM));
2029566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd));
2039566063dSJacob Faibussowitsch PetscCall(DMPlexReconstructGradients_Internal(dm, fvm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad));
2043ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
2055d16530eSToby Isaac }
206