1 #include <petsc-private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2 #include <petsc-private/tsimpl.h> /*I "petscts.h" I*/ 3 #include <petscds.h> 4 #include <petscfv.h> 5 6 #undef __FUNCT__ 7 #define __FUNCT__ "DMPlexTSGetGeometryFVM" 8 /*@ 9 DMPlexTSGetGeometryFVM - Return precomputed geometric data 10 11 Input Parameter: 12 . dm - The DM 13 14 Output Parameters: 15 + facegeom - The values precomputed from face geometry 16 . cellgeom - The values precomputed from cell geometry 17 - minRadius - The minimum radius over the mesh of an inscribed sphere in a cell 18 19 Level: developer 20 21 .seealso: DMPlexTSSetRHSFunctionLocal() 22 @*/ 23 PetscErrorCode DMPlexTSGetGeometryFVM(DM dm, Vec *facegeom, Vec *cellgeom, PetscReal *minRadius) 24 { 25 DMTS dmts; 26 PetscObject obj; 27 PetscErrorCode ierr; 28 29 PetscFunctionBegin; 30 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 31 ierr = DMGetDMTS(dm, &dmts);CHKERRQ(ierr); 32 ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_facegeom_fvm", &obj);CHKERRQ(ierr); 33 if (!obj) { 34 Vec cellgeom, facegeom; 35 36 ierr = DMPlexComputeGeometryFVM(dm, &cellgeom, &facegeom);CHKERRQ(ierr); 37 ierr = PetscObjectCompose((PetscObject) dmts, "DMPlexTS_facegeom_fvm", (PetscObject) facegeom);CHKERRQ(ierr); 38 ierr = PetscObjectCompose((PetscObject) dmts, "DMPlexTS_cellgeom_fvm", (PetscObject) cellgeom);CHKERRQ(ierr); 39 ierr = VecDestroy(&facegeom);CHKERRQ(ierr); 40 ierr = VecDestroy(&cellgeom);CHKERRQ(ierr); 41 } 42 if (facegeom) {PetscValidPointer(facegeom, 2); ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_facegeom_fvm", (PetscObject *) facegeom);CHKERRQ(ierr);} 43 if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_cellgeom_fvm", (PetscObject *) cellgeom);CHKERRQ(ierr);} 44 if (minRadius) {ierr = DMPlexGetMinRadius(dm, minRadius);CHKERRQ(ierr);} 45 PetscFunctionReturn(0); 46 } 47 48 #undef __FUNCT__ 49 #define __FUNCT__ "DMPlexTSGetGradientDM" 50 /*@C 51 DMPlexTSGetGradientDM - Return gradient data layout 52 53 Input Parameters: 54 + dm - The DM 55 - fv - The PetscFV 56 57 Output Parameter: 58 . dmGrad - The layout for gradient values 59 60 Level: developer 61 62 .seealso: DMPlexTSGetGeometryFVM(), DMPlexTSSetRHSFunctionLocal() 63 @*/ 64 PetscErrorCode DMPlexTSGetGradientDM(DM dm, PetscFV fv, DM *dmGrad) 65 { 66 DMTS dmts; 67 PetscObject obj; 68 PetscBool computeGradients; 69 PetscErrorCode ierr; 70 71 PetscFunctionBegin; 72 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 73 PetscValidHeaderSpecific(fv,PETSCFV_CLASSID,2); 74 PetscValidPointer(dmGrad,3); 75 ierr = PetscFVGetComputeGradients(fv, &computeGradients);CHKERRQ(ierr); 76 if (!computeGradients) {*dmGrad = NULL; PetscFunctionReturn(0);} 77 ierr = DMGetDMTS(dm, &dmts);CHKERRQ(ierr); 78 ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_dmgrad_fvm", &obj);CHKERRQ(ierr); 79 if (!obj) { 80 DM dmGrad; 81 Vec faceGeometry, cellGeometry; 82 83 ierr = DMPlexTSGetGeometryFVM(dm, &faceGeometry, &cellGeometry, NULL);CHKERRQ(ierr); 84 ierr = DMPlexComputeGradientFVM(dm, fv, faceGeometry, cellGeometry, &dmGrad);CHKERRQ(ierr); 85 ierr = PetscObjectCompose((PetscObject) dmts, "DMPlexTS_dmgrad_fvm", (PetscObject) dmGrad);CHKERRQ(ierr); 86 ierr = DMDestroy(&dmGrad);CHKERRQ(ierr); 87 } 88 ierr = PetscObjectQuery((PetscObject) dmts, "DMPlexTS_dmgrad_fvm", (PetscObject *) dmGrad);CHKERRQ(ierr); 89 PetscFunctionReturn(0); 90 } 91 92 #undef __FUNCT__ 93 #define __FUNCT__ "DMPlexTSComputeRHSFunctionFVM" 94 /*@ 95 DMPlexTSComputeRHSFunctionFVM - Form the local forcing F from the local input X using pointwise functions specified by the user 96 97 Input Parameters: 98 + dm - The mesh 99 . t - The time 100 . locX - Local solution 101 - user - The user context 102 103 Output Parameter: 104 . F - Global output vector 105 106 Level: developer 107 108 .seealso: DMPlexComputeJacobianActionFEM() 109 @*/ 110 PetscErrorCode DMPlexTSComputeRHSFunctionFVM(DM dm, PetscReal time, Vec locX, Vec F, void *user) 111 { 112 Vec locF; 113 PetscErrorCode ierr; 114 115 PetscFunctionBegin; 116 ierr = DMGetLocalVector(dm, &locF);CHKERRQ(ierr); 117 ierr = VecZeroEntries(locF);CHKERRQ(ierr); 118 ierr = DMPlexComputeResidual_Internal(dm, time, locX, NULL, locF, user);CHKERRQ(ierr); 119 ierr = DMLocalToGlobalBegin(dm, locF, INSERT_VALUES, F);CHKERRQ(ierr); 120 ierr = DMLocalToGlobalEnd(dm, locF, INSERT_VALUES, F);CHKERRQ(ierr); 121 ierr = DMRestoreLocalVector(dm, &locF);CHKERRQ(ierr); 122 PetscFunctionReturn(0); 123 } 124 125 #undef __FUNCT__ 126 #define __FUNCT__ "DMPlexTSComputeIFunctionFEM" 127 /*@ 128 DMPlexTSComputeIFunctionFEM - Form the local residual F from the local input X using pointwise functions specified by the user 129 130 Input Parameters: 131 + dm - The mesh 132 . t - The time 133 . locX - Local solution 134 . locX_t - Local solution time derivative, or NULL 135 - user - The user context 136 137 Output Parameter: 138 . locF - Local output vector 139 140 Level: developer 141 142 .seealso: DMPlexComputeJacobianActionFEM() 143 @*/ 144 PetscErrorCode DMPlexTSComputeIFunctionFEM(DM dm, PetscReal time, Vec locX, Vec locX_t, Vec locF, void *user) 145 { 146 PetscErrorCode ierr; 147 148 PetscFunctionBegin; 149 ierr = DMPlexComputeResidual_Internal(dm, time, locX, locX_t, locF, user);CHKERRQ(ierr); 150 PetscFunctionReturn(0); 151 } 152 153 #undef __FUNCT__ 154 #define __FUNCT__ "DMTSCheckFromOptions" 155 PetscErrorCode DMTSCheckFromOptions(TS ts, Vec u, void (**exactFuncs)(const PetscReal x[], PetscScalar *u, void *ctx), void **ctxs) 156 { 157 DM dm; 158 SNES snes; 159 Mat J, M; 160 Vec sol, r, b; 161 MatNullSpace nullSpace; 162 PetscReal *error, res = 0.0; 163 PetscInt numFields; 164 PetscBool check; 165 PetscErrorCode ierr; 166 167 PetscFunctionBegin; 168 ierr = PetscOptionsHasName(ts->hdr.prefix, "-dmts_check", &check);CHKERRQ(ierr); 169 if (!check) PetscFunctionReturn(0); 170 ierr = TSGetDM(ts, &dm);CHKERRQ(ierr); 171 ierr = VecDuplicate(u, &sol);CHKERRQ(ierr); 172 ierr = VecDuplicate(u, &r);CHKERRQ(ierr); 173 ierr = TSSetSolution(ts, sol);CHKERRQ(ierr); 174 ierr = TSSetUp(ts);CHKERRQ(ierr); 175 ierr = TSGetSNES(ts, &snes);CHKERRQ(ierr); 176 ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr); 177 ierr = DMCreateMatrix(dm, &J);CHKERRQ(ierr); 178 M = J; 179 #if 0 180 { 181 ierr = CreatePressureNullSpace(dm, user, &nullSpace);CHKERRQ(ierr); 182 ierr = MatSetNullSpace(J, nullSpace);CHKERRQ(ierr); 183 if (M != J) {ierr = MatSetNullSpace(M, nullSpace);CHKERRQ(ierr);} 184 } 185 #endif 186 /* Check discretization error */ 187 ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr); 188 ierr = PetscMalloc1(PetscMax(1, numFields), &error);CHKERRQ(ierr); 189 if (numFields > 1) { 190 PetscInt f; 191 192 ierr = DMPlexComputeL2FieldDiff(dm, exactFuncs, ctxs, u, error);CHKERRQ(ierr); 193 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: [");CHKERRQ(ierr); 194 for (f = 0; f < numFields; ++f) { 195 if (f) {ierr = PetscPrintf(PETSC_COMM_WORLD, ", ");CHKERRQ(ierr);} 196 if (error[f] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "%g", error[f]);CHKERRQ(ierr);} 197 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "< 1.0e-11");CHKERRQ(ierr);} 198 } 199 ierr = PetscPrintf(PETSC_COMM_WORLD, "]\n");CHKERRQ(ierr); 200 } else { 201 ierr = DMPlexComputeL2Diff(dm, exactFuncs, ctxs, u, &error[0]);CHKERRQ(ierr); 202 if (error[0] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", error[0]);CHKERRQ(ierr);} 203 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n");CHKERRQ(ierr);} 204 } 205 ierr = PetscFree(error);CHKERRQ(ierr); 206 /* Check residual */ 207 ierr = SNESComputeFunction(snes, u, r);CHKERRQ(ierr); 208 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 209 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Residual: %g\n", res);CHKERRQ(ierr); 210 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 211 ierr = PetscObjectSetName((PetscObject) r, "Initial Residual");CHKERRQ(ierr); 212 ierr = VecViewFromOptions(r, "res_", "-vec_view");CHKERRQ(ierr); 213 /* Check Jacobian */ 214 ierr = SNESComputeJacobian(snes, u, M, M);CHKERRQ(ierr); 215 ierr = MatGetNullSpace(J, &nullSpace);CHKERRQ(ierr); 216 if (nullSpace) { 217 PetscBool isNull; 218 ierr = MatNullSpaceTest(nullSpace, J, &isNull);CHKERRQ(ierr); 219 if (!isNull) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_PLIB, "The null space calculated for the system operator is invalid."); 220 } 221 ierr = VecDuplicate(u, &b);CHKERRQ(ierr); 222 ierr = VecSet(r, 0.0);CHKERRQ(ierr); 223 ierr = SNESComputeFunction(snes, r, b);CHKERRQ(ierr); 224 ierr = MatMult(M, u, r);CHKERRQ(ierr); 225 ierr = VecAXPY(r, 1.0, b);CHKERRQ(ierr); 226 ierr = VecDestroy(&b);CHKERRQ(ierr); 227 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 228 ierr = PetscPrintf(PETSC_COMM_WORLD, "Linear L_2 Residual: %g\n", res);CHKERRQ(ierr); 229 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 230 ierr = PetscObjectSetName((PetscObject) r, "Au - b = Au + F(0)");CHKERRQ(ierr); 231 ierr = VecViewFromOptions(r, "linear_res_", "-vec_view");CHKERRQ(ierr); 232 ierr = VecDestroy(&sol);CHKERRQ(ierr); 233 ierr = VecDestroy(&r);CHKERRQ(ierr); 234 ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr); 235 ierr = MatDestroy(&J);CHKERRQ(ierr); 236 PetscFunctionReturn(0); 237 } 238