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 . locF - Local output vector 105 106 Level: developer 107 108 .seealso: DMPlexComputeJacobianActionFEM() 109 @*/ 110 PetscErrorCode DMPlexTSComputeRHSFunctionFVM(DM dm, PetscReal time, Vec locX, Vec locF, void *user) 111 { 112 PetscErrorCode ierr; 113 114 PetscFunctionBegin; 115 ierr = DMPlexComputeResidual_Internal(dm, time, locX, NULL, locF, user);CHKERRQ(ierr); 116 PetscFunctionReturn(0); 117 } 118 119 #undef __FUNCT__ 120 #define __FUNCT__ "DMPlexTSComputeIFunctionFEM" 121 /*@ 122 DMPlexTSComputeIFunctionFEM - Form the local residual F from the local input X using pointwise functions specified by the user 123 124 Input Parameters: 125 + dm - The mesh 126 . t - The time 127 . locX - Local solution 128 . locX_t - Local solution time derivative, or NULL 129 - user - The user context 130 131 Output Parameter: 132 . locF - Local output vector 133 134 Level: developer 135 136 .seealso: DMPlexComputeJacobianActionFEM() 137 @*/ 138 PetscErrorCode DMPlexTSComputeIFunctionFEM(DM dm, PetscReal time, Vec locX, Vec locX_t, Vec locF, void *user) 139 { 140 PetscErrorCode ierr; 141 142 PetscFunctionBegin; 143 ierr = DMPlexComputeResidual_Internal(dm, time, locX, locX_t, locF, user);CHKERRQ(ierr); 144 PetscFunctionReturn(0); 145 } 146 147 #undef __FUNCT__ 148 #define __FUNCT__ "DMTSCheckFromOptions" 149 PetscErrorCode DMTSCheckFromOptions(TS ts, Vec u, void (**exactFuncs)(const PetscReal x[], PetscScalar *u, void *ctx), void *ctx) 150 { 151 DM dm; 152 SNES snes; 153 Mat J, M; 154 Vec sol, r, b; 155 MatNullSpace nullSpace; 156 PetscReal *error, res = 0.0; 157 PetscInt numFields; 158 PetscBool check; 159 PetscErrorCode ierr; 160 161 PetscFunctionBegin; 162 ierr = PetscOptionsHasName(ts->hdr.prefix, "-dmts_check", &check);CHKERRQ(ierr); 163 if (!check) PetscFunctionReturn(0); 164 ierr = TSGetDM(ts, &dm);CHKERRQ(ierr); 165 ierr = VecDuplicate(u, &sol);CHKERRQ(ierr); 166 ierr = VecDuplicate(u, &r);CHKERRQ(ierr); 167 ierr = TSSetSolution(ts, sol);CHKERRQ(ierr); 168 ierr = TSSetUp(ts);CHKERRQ(ierr); 169 ierr = TSGetSNES(ts, &snes);CHKERRQ(ierr); 170 ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr); 171 ierr = DMCreateMatrix(dm, &J);CHKERRQ(ierr); 172 M = J; 173 #if 0 174 { 175 ierr = CreatePressureNullSpace(dm, user, &nullSpace);CHKERRQ(ierr); 176 ierr = MatSetNullSpace(J, nullSpace);CHKERRQ(ierr); 177 if (M != J) {ierr = MatSetNullSpace(M, nullSpace);CHKERRQ(ierr);} 178 } 179 #endif 180 /* Check discretization error */ 181 ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr); 182 ierr = PetscMalloc1(PetscMax(1, numFields), &error);CHKERRQ(ierr); 183 if (numFields > 1) { 184 PetscInt f; 185 186 ierr = DMPlexComputeL2FieldDiff(dm, exactFuncs, ctx, u, error);CHKERRQ(ierr); 187 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: [");CHKERRQ(ierr); 188 for (f = 0; f < numFields; ++f) { 189 if (f) {ierr = PetscPrintf(PETSC_COMM_WORLD, ", ");CHKERRQ(ierr);} 190 if (error[f] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "%g", error[f]);CHKERRQ(ierr);} 191 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "< 1.0e-11");CHKERRQ(ierr);} 192 } 193 ierr = PetscPrintf(PETSC_COMM_WORLD, "]\n");CHKERRQ(ierr); 194 } else { 195 ierr = DMPlexComputeL2Diff(dm, exactFuncs, ctx, u, &error[0]);CHKERRQ(ierr); 196 if (error[0] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", error[0]);CHKERRQ(ierr);} 197 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n");CHKERRQ(ierr);} 198 } 199 ierr = PetscFree(error);CHKERRQ(ierr); 200 /* Check residual */ 201 ierr = SNESComputeFunction(snes, u, r);CHKERRQ(ierr); 202 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 203 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Residual: %g\n", res);CHKERRQ(ierr); 204 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 205 ierr = PetscObjectSetName((PetscObject) r, "Initial Residual");CHKERRQ(ierr); 206 ierr = VecViewFromOptions(r, "res_", "-vec_view");CHKERRQ(ierr); 207 /* Check Jacobian */ 208 ierr = SNESComputeJacobian(snes, u, M, M);CHKERRQ(ierr); 209 ierr = MatGetNullSpace(J, &nullSpace);CHKERRQ(ierr); 210 if (nullSpace) { 211 PetscBool isNull; 212 ierr = MatNullSpaceTest(nullSpace, J, &isNull);CHKERRQ(ierr); 213 if (!isNull) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_PLIB, "The null space calculated for the system operator is invalid."); 214 } 215 ierr = VecDuplicate(u, &b);CHKERRQ(ierr); 216 ierr = VecSet(r, 0.0);CHKERRQ(ierr); 217 ierr = SNESComputeFunction(snes, r, b);CHKERRQ(ierr); 218 ierr = MatMult(M, u, r);CHKERRQ(ierr); 219 ierr = VecAXPY(r, 1.0, b);CHKERRQ(ierr); 220 ierr = VecDestroy(&b);CHKERRQ(ierr); 221 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 222 ierr = PetscPrintf(PETSC_COMM_WORLD, "Linear L_2 Residual: %g\n", res);CHKERRQ(ierr); 223 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 224 ierr = PetscObjectSetName((PetscObject) r, "Au - b = Au + F(0)");CHKERRQ(ierr); 225 ierr = VecViewFromOptions(r, "linear_res_", "-vec_view");CHKERRQ(ierr); 226 ierr = VecDestroy(&sol);CHKERRQ(ierr); 227 ierr = VecDestroy(&r);CHKERRQ(ierr); 228 ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr); 229 ierr = MatDestroy(&J);CHKERRQ(ierr); 230 PetscFunctionReturn(0); 231 } 232