xref: /petsc/src/dm/impls/plex/plexfvm.c (revision 024f0e92ab6613a094fa90f355582f7f2fc11cf3)
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 
75d16530eSToby Isaac #undef __FUNCT__
85d16530eSToby Isaac #define __FUNCT__ "DMPlexApplyLimiter_Internal"
9*024f0e92SToby Isaac static PetscErrorCode DMPlexApplyLimiter_Internal(DM dm, DM dmCell, PetscLimiter lim, PetscInt dim, PetscInt dof, PetscInt cell, PetscInt field, PetscInt face, PetscInt fStart, PetscInt fEnd,
10df1f6d97SMatthew G. Knepley                                                   PetscReal *cellPhi, const PetscScalar *x, const PetscScalar *cellgeom, const PetscFVCellGeom *cg, const PetscScalar *cx, const PetscScalar *cgrad)
115d16530eSToby Isaac {
125d16530eSToby Isaac   const PetscInt *children;
135d16530eSToby Isaac   PetscInt        numChildren;
145d16530eSToby Isaac   PetscErrorCode  ierr;
155d16530eSToby Isaac 
165d16530eSToby Isaac   PetscFunctionBegin;
175d16530eSToby Isaac   ierr = DMPlexGetTreeChildren(dm,face,&numChildren,&children);CHKERRQ(ierr);
185d16530eSToby Isaac   if (numChildren) {
195d16530eSToby Isaac     PetscInt c;
205d16530eSToby Isaac 
215d16530eSToby Isaac     for (c = 0; c < numChildren; c++) {
225d16530eSToby Isaac       PetscInt childFace = children[c];
235d16530eSToby Isaac 
245d16530eSToby Isaac       if (childFace >= fStart && childFace < fEnd) {
25*024f0e92SToby Isaac         ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,dof,cell,field,childFace,fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr);
265d16530eSToby Isaac       }
275d16530eSToby Isaac     }
28df1f6d97SMatthew G. Knepley   } else {
295d16530eSToby Isaac     PetscScalar     *ncx;
305d16530eSToby Isaac     PetscFVCellGeom *ncg;
315d16530eSToby Isaac     const PetscInt  *fcells;
325d16530eSToby Isaac     PetscInt         ncell, d;
335d16530eSToby Isaac     PetscReal        v[3];
345d16530eSToby Isaac 
355d16530eSToby Isaac     ierr  = DMPlexGetSupport(dm, face, &fcells);CHKERRQ(ierr);
365d16530eSToby Isaac     ncell = cell == fcells[0] ? fcells[1] : fcells[0];
37*024f0e92SToby Isaac     if (field >= 0) {
38*024f0e92SToby Isaac       ierr  = DMPlexPointLocalFieldRead(dm, ncell, field, x, &ncx);CHKERRQ(ierr);
39*024f0e92SToby Isaac     } else {
405d16530eSToby Isaac       ierr  = DMPlexPointLocalRead(dm, ncell, x, &ncx);CHKERRQ(ierr);
41*024f0e92SToby Isaac     }
425d16530eSToby Isaac     ierr  = DMPlexPointLocalRead(dmCell, ncell, cellgeom, &ncg);CHKERRQ(ierr);
435d16530eSToby Isaac     DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, ncg->centroid, v);
44df1f6d97SMatthew G. Knepley     for (d = 0; d < dof; ++d) {
455d16530eSToby Isaac       /* We use the symmetric slope limited form of Berger, Aftosmis, and Murman 2005 */
46*024f0e92SToby Isaac       PetscReal denom = DMPlex_DotD_Internal(dim, &cgrad[d * dim], v);
47*024f0e92SToby Isaac       PetscReal phi, flim = 0.5 * PetscRealPart(ncx[d] - cx[d]) / denom;
485d16530eSToby Isaac 
495d16530eSToby Isaac       ierr = PetscLimiterLimit(lim, flim, &phi);CHKERRQ(ierr);
505d16530eSToby Isaac       cellPhi[d] = PetscMin(cellPhi[d], phi);
515d16530eSToby Isaac     }
525d16530eSToby Isaac   }
535d16530eSToby Isaac   PetscFunctionReturn(0);
545d16530eSToby Isaac }
555d16530eSToby Isaac 
565d16530eSToby Isaac #undef __FUNCT__
575d16530eSToby Isaac #define __FUNCT__ "DMPlexReconstructGradients_Internal"
58df1f6d97SMatthew G. Knepley PetscErrorCode DMPlexReconstructGradients_Internal(DM dm, PetscFV fvm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, Vec locX, Vec grad)
595d16530eSToby Isaac {
605d16530eSToby Isaac   DM                 dmFace, dmCell, dmGrad;
615d16530eSToby Isaac   DMLabel            ghostLabel;
625d16530eSToby Isaac   PetscDS            prob;
635d16530eSToby Isaac   PetscLimiter       lim;
645d16530eSToby Isaac   const PetscScalar *facegeom, *cellgeom, *x;
655d16530eSToby Isaac   PetscScalar       *gr;
665d16530eSToby Isaac   PetscReal         *cellPhi;
67af30148fSToby Isaac   PetscInt           dim, face, cell, field, dof, cStart, cEnd, cEndInterior, nFields;
685d16530eSToby Isaac   PetscErrorCode     ierr;
695d16530eSToby Isaac 
705d16530eSToby Isaac   PetscFunctionBegin;
715d16530eSToby Isaac   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
725d16530eSToby Isaac   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
73af30148fSToby Isaac   ierr = PetscDSGetNumFields(prob, &nFields);CHKERRQ(ierr);
74df1f6d97SMatthew G. Knepley   ierr = PetscDSGetFieldIndex(prob, (PetscObject) fvm, &field);CHKERRQ(ierr);
75df1f6d97SMatthew G. Knepley   ierr = PetscDSGetFieldSize(prob, field, &dof);CHKERRQ(ierr);
765d16530eSToby Isaac   ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr);
775d16530eSToby Isaac   ierr = PetscFVGetLimiter(fvm, &lim);CHKERRQ(ierr);
785d16530eSToby Isaac   ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr);
795d16530eSToby Isaac   ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
805d16530eSToby Isaac   ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr);
815d16530eSToby Isaac   ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
825d16530eSToby Isaac   ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr);
835d16530eSToby Isaac   ierr = VecGetDM(grad, &dmGrad);CHKERRQ(ierr);
845d16530eSToby Isaac   ierr = VecZeroEntries(grad);CHKERRQ(ierr);
855d16530eSToby Isaac   ierr = VecGetArray(grad, &gr);CHKERRQ(ierr);
865d16530eSToby Isaac   /* Reconstruct gradients */
875d16530eSToby Isaac   for (face = fStart; face < fEnd; ++face) {
885d16530eSToby Isaac     const PetscInt        *cells;
895d16530eSToby Isaac     PetscFVFaceGeom       *fg;
905d16530eSToby Isaac     PetscScalar           *cx[2];
915d16530eSToby Isaac     PetscScalar           *cgrad[2];
925d16530eSToby Isaac     PetscBool              boundary;
935d16530eSToby Isaac     PetscInt               ghost, c, pd, d, numChildren, numCells;
945d16530eSToby Isaac 
955d16530eSToby Isaac     ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr);
965d16530eSToby Isaac     ierr = DMIsBoundaryPoint(dm, face, &boundary);CHKERRQ(ierr);
975d16530eSToby Isaac     ierr = DMPlexGetTreeChildren(dm, face, &numChildren, NULL);CHKERRQ(ierr);
985d16530eSToby Isaac     if (ghost >= 0 || boundary || numChildren) continue;
995d16530eSToby Isaac     ierr = DMPlexGetSupportSize(dm, face, &numCells);CHKERRQ(ierr);
1005d16530eSToby Isaac     if (numCells != 2) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "facet %d has %d support points: expected 2",face,numCells);
1015d16530eSToby Isaac     ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr);
1025d16530eSToby Isaac     ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr);
1035d16530eSToby Isaac     for (c = 0; c < 2; ++c) {
104af30148fSToby Isaac       if (nFields > 1) {
105af30148fSToby Isaac         ierr = DMPlexPointLocalFieldRead(dm, cells[c], field, x, &cx[c]);CHKERRQ(ierr);
106af30148fSToby Isaac       } else {
1075d16530eSToby Isaac         ierr = DMPlexPointLocalRead(dm, cells[c], x, &cx[c]);CHKERRQ(ierr);
108af30148fSToby Isaac       }
1095d16530eSToby Isaac       ierr = DMPlexPointGlobalRef(dmGrad, cells[c], gr, &cgrad[c]);CHKERRQ(ierr);
1105d16530eSToby Isaac     }
111df1f6d97SMatthew G. Knepley     for (pd = 0; pd < dof; ++pd) {
112af30148fSToby Isaac       PetscScalar delta = cx[1][pd] - cx[0][pd];
1135d16530eSToby Isaac 
1145d16530eSToby Isaac       for (d = 0; d < dim; ++d) {
1155d16530eSToby Isaac         if (cgrad[0]) cgrad[0][pd*dim+d] += fg->grad[0][d] * delta;
1165d16530eSToby Isaac         if (cgrad[1]) cgrad[1][pd*dim+d] -= fg->grad[1][d] * delta;
1175d16530eSToby Isaac       }
1185d16530eSToby Isaac     }
1195d16530eSToby Isaac   }
1205d16530eSToby Isaac   /* Limit interior gradients (using cell-based loop because it generalizes better to vector limiters) */
1215d16530eSToby Isaac   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
1225d16530eSToby Isaac   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
1235d16530eSToby Isaac   cEndInterior = cEndInterior < 0 ? cEnd : cEndInterior;
124df1f6d97SMatthew G. Knepley   ierr = DMGetWorkArray(dm, dof, PETSC_REAL, &cellPhi);CHKERRQ(ierr);
1255d16530eSToby Isaac   for (cell = dmGrad && lim ? cStart : cEnd; cell < cEndInterior; ++cell) {
1265d16530eSToby Isaac     const PetscInt        *faces;
1275d16530eSToby Isaac     PetscScalar           *cx;
1285d16530eSToby Isaac     PetscFVCellGeom       *cg;
1295d16530eSToby Isaac     PetscScalar           *cgrad;
1305d16530eSToby Isaac     PetscInt               coneSize, f, pd, d;
1315d16530eSToby Isaac 
1325d16530eSToby Isaac     ierr = DMPlexGetConeSize(dm, cell, &coneSize);CHKERRQ(ierr);
1335d16530eSToby Isaac     ierr = DMPlexGetCone(dm, cell, &faces);CHKERRQ(ierr);
134*024f0e92SToby Isaac     if (nFields > 1) {
135*024f0e92SToby Isaac       ierr = DMPlexPointLocalFieldRead(dm, cell, field, x, &cx);CHKERRQ(ierr);
136*024f0e92SToby Isaac     }
137*024f0e92SToby Isaac     else {
1385d16530eSToby Isaac       ierr = DMPlexPointLocalRead(dm, cell, x, &cx);CHKERRQ(ierr);
139*024f0e92SToby Isaac     }
1405d16530eSToby Isaac     ierr = DMPlexPointLocalRead(dmCell, cell, cellgeom, &cg);CHKERRQ(ierr);
1415d16530eSToby Isaac     ierr = DMPlexPointGlobalRef(dmGrad, cell, gr, &cgrad);CHKERRQ(ierr);
1425d16530eSToby Isaac     if (!cgrad) continue; /* Unowned overlap cell, we do not compute */
1435d16530eSToby Isaac     /* Limiter will be minimum value over all neighbors */
144df1f6d97SMatthew G. Knepley     for (d = 0; d < dof; ++d) cellPhi[d] = PETSC_MAX_REAL;
1455d16530eSToby Isaac     for (f = 0; f < coneSize; ++f) {
146*024f0e92SToby Isaac       ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,dof,cell,nFields > 1 ? field : -1,faces[f],fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr);
1475d16530eSToby Isaac     }
1485d16530eSToby Isaac     /* Apply limiter to gradient */
149df1f6d97SMatthew G. Knepley     for (pd = 0; pd < dof; ++pd)
1505d16530eSToby Isaac       /* Scalar limiter applied to each component separately */
1515d16530eSToby Isaac       for (d = 0; d < dim; ++d) cgrad[pd*dim+d] *= cellPhi[pd];
1525d16530eSToby Isaac   }
153df1f6d97SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, dof, PETSC_REAL, &cellPhi);CHKERRQ(ierr);
1545d16530eSToby Isaac   ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
1555d16530eSToby Isaac   ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
1565d16530eSToby Isaac   ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr);
1575d16530eSToby Isaac   ierr = VecRestoreArray(grad, &gr);CHKERRQ(ierr);
1585d16530eSToby Isaac   PetscFunctionReturn(0);
1595d16530eSToby Isaac }
1605d16530eSToby Isaac 
1615d16530eSToby Isaac #undef __FUNCT__
1625d16530eSToby Isaac #define __FUNCT__ "DMPlexReconstructGradientsFVM"
1635d16530eSToby Isaac /*@
1645d16530eSToby Isaac   DMPlexReconstructGradientsFVM - reconstruct the gradient of a vector using a finite volume method.
1655d16530eSToby Isaac 
1665d16530eSToby Isaac   Input Parameters:
1675d16530eSToby Isaac + dm - the mesh
1685d16530eSToby Isaac - locX - the local representation of the vector
1695d16530eSToby Isaac 
1705d16530eSToby Isaac   Output Parameter:
1715d16530eSToby Isaac . grad - the global representation of the gradient
1725d16530eSToby Isaac 
1735d16530eSToby Isaac   Level: developer
1745d16530eSToby Isaac 
1755d16530eSToby Isaac .seealso: DMPlexSNESGetGradientDM()
1765d16530eSToby Isaac @*/
1775d16530eSToby Isaac PetscErrorCode DMPlexReconstructGradientsFVM(DM dm, Vec locX, Vec grad)
1785d16530eSToby Isaac {
1795d16530eSToby Isaac   PetscDS          prob;
1805d16530eSToby Isaac   PetscInt         Nf, f, fStart, fEnd;
1815d16530eSToby Isaac   PetscBool        useFVM = PETSC_FALSE;
1825d16530eSToby Isaac   PetscFV          fvm = NULL;
1835d16530eSToby Isaac   Vec              faceGeometryFVM, cellGeometryFVM;
1845d16530eSToby Isaac   PetscFVCellGeom  *cgeomFVM   = NULL;
1855d16530eSToby Isaac   PetscFVFaceGeom  *fgeomFVM   = NULL;
1865d16530eSToby Isaac   DM               dmGrad = NULL;
1875d16530eSToby Isaac   PetscErrorCode   ierr;
1885d16530eSToby Isaac 
1895d16530eSToby Isaac   PetscFunctionBegin;
1905d16530eSToby Isaac   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
1915d16530eSToby Isaac   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
1925d16530eSToby Isaac   for (f = 0; f < Nf; ++f) {
1935d16530eSToby Isaac     PetscObject  obj;
1945d16530eSToby Isaac     PetscClassId id;
1955d16530eSToby Isaac 
1965d16530eSToby Isaac     ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
1975d16530eSToby Isaac     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
1985d16530eSToby Isaac     if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;}
1995d16530eSToby Isaac   }
2005d16530eSToby Isaac   if (!useFVM) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm does not have a finite volume discretization");
2015d16530eSToby Isaac   ierr = DMPlexGetDataFVM(dm, fvm, &cellGeometryFVM, &faceGeometryFVM, &dmGrad);CHKERRQ(ierr);
2025d16530eSToby Isaac   if (!dmGrad) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm's finite volume discretization does not reconstruct gradients");
2035d16530eSToby Isaac   ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr);
2045d16530eSToby Isaac   ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr);
2055d16530eSToby Isaac   ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
206df1f6d97SMatthew G. Knepley   ierr = DMPlexReconstructGradients_Internal(dm, fvm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr);
2075d16530eSToby Isaac   PetscFunctionReturn(0);
2085d16530eSToby Isaac }
2095d16530eSToby Isaac 
210