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 7024f0e92SToby 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, 8df1f6d97SMatthew G. Knepley PetscReal *cellPhi, const PetscScalar *x, const PetscScalar *cellgeom, const PetscFVCellGeom *cg, const PetscScalar *cx, const PetscScalar *cgrad) 95d16530eSToby Isaac { 105d16530eSToby Isaac const PetscInt *children; 115d16530eSToby Isaac PetscInt numChildren; 125d16530eSToby Isaac 135d16530eSToby Isaac PetscFunctionBegin; 145f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetTreeChildren(dm,face,&numChildren,&children)); 155d16530eSToby Isaac if (numChildren) { 165d16530eSToby Isaac PetscInt c; 175d16530eSToby Isaac 185d16530eSToby Isaac for (c = 0; c < numChildren; c++) { 195d16530eSToby Isaac PetscInt childFace = children[c]; 205d16530eSToby Isaac 215d16530eSToby Isaac if (childFace >= fStart && childFace < fEnd) { 225f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,dof,cell,field,childFace,fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad)); 235d16530eSToby Isaac } 245d16530eSToby Isaac } 25df1f6d97SMatthew G. Knepley } else { 265d16530eSToby Isaac PetscScalar *ncx; 275d16530eSToby Isaac PetscFVCellGeom *ncg; 285d16530eSToby Isaac const PetscInt *fcells; 295d16530eSToby Isaac PetscInt ncell, d; 305d16530eSToby Isaac PetscReal v[3]; 315d16530eSToby Isaac 325f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetSupport(dm, face, &fcells)); 335d16530eSToby Isaac ncell = cell == fcells[0] ? fcells[1] : fcells[0]; 34024f0e92SToby Isaac if (field >= 0) { 355f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalFieldRead(dm, ncell, field, x, &ncx)); 36024f0e92SToby Isaac } else { 375f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalRead(dm, ncell, x, &ncx)); 38024f0e92SToby Isaac } 395f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalRead(dmCell, ncell, cellgeom, &ncg)); 405d16530eSToby Isaac DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, ncg->centroid, v); 41df1f6d97SMatthew G. Knepley for (d = 0; d < dof; ++d) { 425d16530eSToby Isaac /* We use the symmetric slope limited form of Berger, Aftosmis, and Murman 2005 */ 43024f0e92SToby Isaac PetscReal denom = DMPlex_DotD_Internal(dim, &cgrad[d * dim], v); 44024f0e92SToby Isaac PetscReal phi, flim = 0.5 * PetscRealPart(ncx[d] - cx[d]) / denom; 455d16530eSToby Isaac 465f80ce2aSJacob Faibussowitsch CHKERRQ(PetscLimiterLimit(lim, flim, &phi)); 475d16530eSToby Isaac cellPhi[d] = PetscMin(cellPhi[d], phi); 485d16530eSToby Isaac } 495d16530eSToby Isaac } 505d16530eSToby Isaac PetscFunctionReturn(0); 515d16530eSToby Isaac } 525d16530eSToby Isaac 53df1f6d97SMatthew G. Knepley PetscErrorCode DMPlexReconstructGradients_Internal(DM dm, PetscFV fvm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, Vec locX, Vec grad) 545d16530eSToby Isaac { 555d16530eSToby Isaac DM dmFace, dmCell, dmGrad; 565d16530eSToby Isaac DMLabel ghostLabel; 575d16530eSToby Isaac PetscDS prob; 585d16530eSToby Isaac PetscLimiter lim; 595d16530eSToby Isaac const PetscScalar *facegeom, *cellgeom, *x; 605d16530eSToby Isaac PetscScalar *gr; 615d16530eSToby Isaac PetscReal *cellPhi; 62485ad865SMatthew G. Knepley PetscInt dim, face, cell, field, dof, cStart, cEnd, nFields; 635d16530eSToby Isaac 645d16530eSToby Isaac PetscFunctionBegin; 655f80ce2aSJacob Faibussowitsch CHKERRQ(DMGetDimension(dm, &dim)); 665f80ce2aSJacob Faibussowitsch CHKERRQ(DMGetDS(dm, &prob)); 675f80ce2aSJacob Faibussowitsch CHKERRQ(PetscDSGetNumFields(prob, &nFields)); 685f80ce2aSJacob Faibussowitsch CHKERRQ(PetscDSGetFieldIndex(prob, (PetscObject) fvm, &field)); 695f80ce2aSJacob Faibussowitsch CHKERRQ(PetscDSGetFieldSize(prob, field, &dof)); 705f80ce2aSJacob Faibussowitsch CHKERRQ(DMGetLabel(dm, "ghost", &ghostLabel)); 715f80ce2aSJacob Faibussowitsch CHKERRQ(PetscFVGetLimiter(fvm, &lim)); 725f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetDM(faceGeometry, &dmFace)); 735f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(faceGeometry, &facegeom)); 745f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetDM(cellGeometry, &dmCell)); 755f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(cellGeometry, &cellgeom)); 765f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(locX, &x)); 775f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetDM(grad, &dmGrad)); 785f80ce2aSJacob Faibussowitsch CHKERRQ(VecZeroEntries(grad)); 795f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(grad, &gr)); 805d16530eSToby Isaac /* Reconstruct gradients */ 815d16530eSToby Isaac for (face = fStart; face < fEnd; ++face) { 825d16530eSToby Isaac const PetscInt *cells; 835d16530eSToby Isaac PetscFVFaceGeom *fg; 845d16530eSToby Isaac PetscScalar *cx[2]; 855d16530eSToby Isaac PetscScalar *cgrad[2]; 865d16530eSToby Isaac PetscBool boundary; 875d16530eSToby Isaac PetscInt ghost, c, pd, d, numChildren, numCells; 885d16530eSToby Isaac 895f80ce2aSJacob Faibussowitsch CHKERRQ(DMLabelGetValue(ghostLabel, face, &ghost)); 905f80ce2aSJacob Faibussowitsch CHKERRQ(DMIsBoundaryPoint(dm, face, &boundary)); 915f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetTreeChildren(dm, face, &numChildren, NULL)); 925d16530eSToby Isaac if (ghost >= 0 || boundary || numChildren) continue; 935f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetSupportSize(dm, face, &numCells)); 942c71b3e2SJacob Faibussowitsch PetscCheckFalse(numCells != 2,PETSC_COMM_SELF, PETSC_ERR_PLIB, "facet %d has %d support points: expected 2",face,numCells); 955f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetSupport(dm, face, &cells)); 965f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalRead(dmFace, face, facegeom, &fg)); 975d16530eSToby Isaac for (c = 0; c < 2; ++c) { 98af30148fSToby Isaac if (nFields > 1) { 995f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalFieldRead(dm, cells[c], field, x, &cx[c])); 100af30148fSToby Isaac } else { 1015f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalRead(dm, cells[c], x, &cx[c])); 102af30148fSToby Isaac } 1035f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointGlobalRef(dmGrad, cells[c], gr, &cgrad[c])); 1045d16530eSToby Isaac } 105df1f6d97SMatthew G. Knepley for (pd = 0; pd < dof; ++pd) { 106af30148fSToby Isaac PetscScalar delta = cx[1][pd] - cx[0][pd]; 1075d16530eSToby Isaac 1085d16530eSToby Isaac for (d = 0; d < dim; ++d) { 1095d16530eSToby Isaac if (cgrad[0]) cgrad[0][pd*dim+d] += fg->grad[0][d] * delta; 1105d16530eSToby Isaac if (cgrad[1]) cgrad[1][pd*dim+d] -= fg->grad[1][d] * delta; 1115d16530eSToby Isaac } 1125d16530eSToby Isaac } 1135d16530eSToby Isaac } 1145d16530eSToby Isaac /* Limit interior gradients (using cell-based loop because it generalizes better to vector limiters) */ 1155f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd)); 1165f80ce2aSJacob Faibussowitsch CHKERRQ(DMGetWorkArray(dm, dof, MPIU_REAL, &cellPhi)); 117485ad865SMatthew G. Knepley for (cell = (dmGrad && lim) ? cStart : cEnd; cell < cEnd; ++cell) { 1185d16530eSToby Isaac const PetscInt *faces; 1195d16530eSToby Isaac PetscScalar *cx; 1205d16530eSToby Isaac PetscFVCellGeom *cg; 1215d16530eSToby Isaac PetscScalar *cgrad; 1225d16530eSToby Isaac PetscInt coneSize, f, pd, d; 1235d16530eSToby Isaac 1245f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetConeSize(dm, cell, &coneSize)); 1255f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetCone(dm, cell, &faces)); 126024f0e92SToby Isaac if (nFields > 1) { 1275f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalFieldRead(dm, cell, field, x, &cx)); 128024f0e92SToby Isaac } 129024f0e92SToby Isaac else { 1305f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalRead(dm, cell, x, &cx)); 131024f0e92SToby Isaac } 1325f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointLocalRead(dmCell, cell, cellgeom, &cg)); 1335f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexPointGlobalRef(dmGrad, cell, gr, &cgrad)); 1345d16530eSToby Isaac if (!cgrad) continue; /* Unowned overlap cell, we do not compute */ 1355d16530eSToby Isaac /* Limiter will be minimum value over all neighbors */ 136df1f6d97SMatthew G. Knepley for (d = 0; d < dof; ++d) cellPhi[d] = PETSC_MAX_REAL; 1375d16530eSToby Isaac for (f = 0; f < coneSize; ++f) { 1385f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,dof,cell,nFields > 1 ? field : -1,faces[f],fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad)); 1395d16530eSToby Isaac } 1405d16530eSToby Isaac /* Apply limiter to gradient */ 141df1f6d97SMatthew G. Knepley for (pd = 0; pd < dof; ++pd) 1425d16530eSToby Isaac /* Scalar limiter applied to each component separately */ 1435d16530eSToby Isaac for (d = 0; d < dim; ++d) cgrad[pd*dim+d] *= cellPhi[pd]; 1445d16530eSToby Isaac } 1455f80ce2aSJacob Faibussowitsch CHKERRQ(DMRestoreWorkArray(dm, dof, MPIU_REAL, &cellPhi)); 1465f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(faceGeometry, &facegeom)); 1475f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(cellGeometry, &cellgeom)); 1485f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(locX, &x)); 1495f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(grad, &gr)); 1505d16530eSToby Isaac PetscFunctionReturn(0); 1515d16530eSToby Isaac } 1525d16530eSToby Isaac 1535d16530eSToby Isaac /*@ 1545d16530eSToby Isaac DMPlexReconstructGradientsFVM - reconstruct the gradient of a vector using a finite volume method. 1555d16530eSToby Isaac 1565d16530eSToby Isaac Input Parameters: 1575d16530eSToby Isaac + dm - the mesh 1585d16530eSToby Isaac - locX - the local representation of the vector 1595d16530eSToby Isaac 1605d16530eSToby Isaac Output Parameter: 1615d16530eSToby Isaac . grad - the global representation of the gradient 1625d16530eSToby Isaac 1635d16530eSToby Isaac Level: developer 1645d16530eSToby Isaac 1653e9753d6SMatthew G. Knepley .seealso: DMPlexGetGradientDM() 1665d16530eSToby Isaac @*/ 1675d16530eSToby Isaac PetscErrorCode DMPlexReconstructGradientsFVM(DM dm, Vec locX, Vec grad) 1685d16530eSToby Isaac { 1695d16530eSToby Isaac PetscDS prob; 1705d16530eSToby Isaac PetscInt Nf, f, fStart, fEnd; 1715d16530eSToby Isaac PetscBool useFVM = PETSC_FALSE; 1725d16530eSToby Isaac PetscFV fvm = NULL; 1735d16530eSToby Isaac Vec faceGeometryFVM, cellGeometryFVM; 1745d16530eSToby Isaac PetscFVCellGeom *cgeomFVM = NULL; 1755d16530eSToby Isaac PetscFVFaceGeom *fgeomFVM = NULL; 1765d16530eSToby Isaac DM dmGrad = NULL; 1775d16530eSToby Isaac 1785d16530eSToby Isaac PetscFunctionBegin; 1795f80ce2aSJacob Faibussowitsch CHKERRQ(DMGetDS(dm, &prob)); 1805f80ce2aSJacob Faibussowitsch CHKERRQ(PetscDSGetNumFields(prob, &Nf)); 1815d16530eSToby Isaac for (f = 0; f < Nf; ++f) { 1825d16530eSToby Isaac PetscObject obj; 1835d16530eSToby Isaac PetscClassId id; 1845d16530eSToby Isaac 1855f80ce2aSJacob Faibussowitsch CHKERRQ(PetscDSGetDiscretization(prob, f, &obj)); 1865f80ce2aSJacob Faibussowitsch CHKERRQ(PetscObjectGetClassId(obj, &id)); 1875d16530eSToby Isaac if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;} 1885d16530eSToby Isaac } 189*28b400f6SJacob Faibussowitsch PetscCheck(useFVM,PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm does not have a finite volume discretization"); 1905f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetDataFVM(dm, fvm, &cellGeometryFVM, &faceGeometryFVM, &dmGrad)); 191*28b400f6SJacob Faibussowitsch PetscCheck(dmGrad,PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm's finite volume discretization does not reconstruct gradients"); 1925f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM)); 1935f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM)); 1945f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd)); 1955f80ce2aSJacob Faibussowitsch CHKERRQ(DMPlexReconstructGradients_Internal(dm, fvm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad)); 1965d16530eSToby Isaac PetscFunctionReturn(0); 1975d16530eSToby Isaac } 198