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