1c4762a1bSJed Brown 2c4762a1bSJed Brown static char help[] = "Chemo-taxis Problems from Mathematical Biology.\n"; 3c4762a1bSJed Brown 4c4762a1bSJed Brown /* 5c4762a1bSJed Brown Page 18, Chemo-taxis Problems from Mathematical Biology 6c4762a1bSJed Brown 7c4762a1bSJed Brown rho_t = 8c4762a1bSJed Brown c_t = 9c4762a1bSJed Brown 10*da81f932SPierre Jolivet Further discussion on Page 134 and in 2d on Page 409 11c4762a1bSJed Brown */ 12c4762a1bSJed Brown 13c4762a1bSJed Brown /* 14c4762a1bSJed Brown 15c4762a1bSJed Brown Include "petscdmda.h" so that we can use distributed arrays (DMDAs). 16c4762a1bSJed Brown Include "petscts.h" so that we can use SNES solvers. Note that this 17c4762a1bSJed Brown file automatically includes: 18c4762a1bSJed Brown petscsys.h - base PETSc routines petscvec.h - vectors 19c4762a1bSJed Brown petscmat.h - matrices 20c4762a1bSJed Brown petscis.h - index sets petscksp.h - Krylov subspace methods 21c4762a1bSJed Brown petscviewer.h - viewers petscpc.h - preconditioners 22c4762a1bSJed Brown petscksp.h - linear solvers 23c4762a1bSJed Brown */ 24c4762a1bSJed Brown 25c4762a1bSJed Brown #include <petscdm.h> 26c4762a1bSJed Brown #include <petscdmda.h> 27c4762a1bSJed Brown #include <petscts.h> 28c4762a1bSJed Brown 29c4762a1bSJed Brown typedef struct { 30c4762a1bSJed Brown PetscScalar rho, c; 31c4762a1bSJed Brown } Field; 32c4762a1bSJed Brown 33c4762a1bSJed Brown typedef struct { 34c4762a1bSJed Brown PetscScalar epsilon, delta, alpha, beta, gamma, kappa, lambda, mu, cstar; 35c4762a1bSJed Brown PetscBool upwind; 36c4762a1bSJed Brown } AppCtx; 37c4762a1bSJed Brown 38c4762a1bSJed Brown /* 39c4762a1bSJed Brown User-defined routines 40c4762a1bSJed Brown */ 41c4762a1bSJed Brown extern PetscErrorCode IFunction(TS, PetscReal, Vec, Vec, Vec, void *), InitialConditions(DM, Vec); 42c4762a1bSJed Brown 43d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv) 44d71ae5a4SJacob Faibussowitsch { 45c4762a1bSJed Brown TS ts; /* nonlinear solver */ 46c4762a1bSJed Brown Vec U; /* solution, residual vectors */ 47c4762a1bSJed Brown DM da; 48c4762a1bSJed Brown AppCtx appctx; 49c4762a1bSJed Brown 50c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 51c4762a1bSJed Brown Initialize program 52c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 53327415f7SBarry Smith PetscFunctionBeginUser; 549566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &argv, (char *)0, help)); 55c4762a1bSJed Brown 56c4762a1bSJed Brown appctx.epsilon = 1.0e-3; 57c4762a1bSJed Brown appctx.delta = 1.0; 58c4762a1bSJed Brown appctx.alpha = 10.0; 59c4762a1bSJed Brown appctx.beta = 4.0; 60c4762a1bSJed Brown appctx.gamma = 1.0; 61c4762a1bSJed Brown appctx.kappa = .75; 62c4762a1bSJed Brown appctx.lambda = 1.0; 63c4762a1bSJed Brown appctx.mu = 100.; 64c4762a1bSJed Brown appctx.cstar = .2; 65c4762a1bSJed Brown appctx.upwind = PETSC_TRUE; 66c4762a1bSJed Brown 679566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetScalar(NULL, NULL, "-delta", &appctx.delta, NULL)); 689566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL, NULL, "-upwind", &appctx.upwind, NULL)); 69c4762a1bSJed Brown 70c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 71c4762a1bSJed Brown Create distributed array (DMDA) to manage parallel grid and vectors 72c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 739566063dSJacob Faibussowitsch PetscCall(DMDACreate1d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, 8, 2, 1, NULL, &da)); 749566063dSJacob Faibussowitsch PetscCall(DMSetFromOptions(da)); 759566063dSJacob Faibussowitsch PetscCall(DMSetUp(da)); 769566063dSJacob Faibussowitsch PetscCall(DMDASetFieldName(da, 0, "rho")); 779566063dSJacob Faibussowitsch PetscCall(DMDASetFieldName(da, 1, "c")); 78c4762a1bSJed Brown 79c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 80c4762a1bSJed Brown Extract global vectors from DMDA; then duplicate for remaining 81c4762a1bSJed Brown vectors that are the same types 82c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 839566063dSJacob Faibussowitsch PetscCall(DMCreateGlobalVector(da, &U)); 84c4762a1bSJed Brown 85c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 86c4762a1bSJed Brown Create timestepping solver context 87c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 889566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD, &ts)); 899566063dSJacob Faibussowitsch PetscCall(TSSetType(ts, TSROSW)); 909566063dSJacob Faibussowitsch PetscCall(TSSetDM(ts, da)); 919566063dSJacob Faibussowitsch PetscCall(TSSetProblemType(ts, TS_NONLINEAR)); 929566063dSJacob Faibussowitsch PetscCall(TSSetIFunction(ts, NULL, IFunction, &appctx)); 93c4762a1bSJed Brown 94c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 95c4762a1bSJed Brown Set initial conditions 96c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 979566063dSJacob Faibussowitsch PetscCall(InitialConditions(da, U)); 989566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts, U)); 99c4762a1bSJed Brown 100c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 101c4762a1bSJed Brown Set solver options 102c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1039566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts, .0001)); 1049566063dSJacob Faibussowitsch PetscCall(TSSetMaxTime(ts, 1.0)); 1059566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_STEPOVER)); 1069566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 107c4762a1bSJed Brown 108c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 109c4762a1bSJed Brown Solve nonlinear system 110c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1119566063dSJacob Faibussowitsch PetscCall(TSSolve(ts, U)); 112c4762a1bSJed Brown 113c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 114c4762a1bSJed Brown Free work space. All PETSc objects should be destroyed when they 115c4762a1bSJed Brown are no longer needed. 116c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1179566063dSJacob Faibussowitsch PetscCall(VecDestroy(&U)); 1189566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 1199566063dSJacob Faibussowitsch PetscCall(DMDestroy(&da)); 120c4762a1bSJed Brown 1219566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 122b122ec5aSJacob Faibussowitsch return 0; 123c4762a1bSJed Brown } 124c4762a1bSJed Brown /* ------------------------------------------------------------------- */ 125c4762a1bSJed Brown /* 126c4762a1bSJed Brown IFunction - Evaluates nonlinear function, F(U). 127c4762a1bSJed Brown 128c4762a1bSJed Brown Input Parameters: 129c4762a1bSJed Brown . ts - the TS context 130c4762a1bSJed Brown . U - input vector 131c4762a1bSJed Brown . ptr - optional user-defined context, as set by SNESSetFunction() 132c4762a1bSJed Brown 133c4762a1bSJed Brown Output Parameter: 134c4762a1bSJed Brown . F - function vector 135c4762a1bSJed Brown */ 136d71ae5a4SJacob Faibussowitsch PetscErrorCode IFunction(TS ts, PetscReal ftime, Vec U, Vec Udot, Vec F, void *ptr) 137d71ae5a4SJacob Faibussowitsch { 138c4762a1bSJed Brown AppCtx *appctx = (AppCtx *)ptr; 139c4762a1bSJed Brown DM da; 140c4762a1bSJed Brown PetscInt i, Mx, xs, xm; 141c4762a1bSJed Brown PetscReal hx, sx; 142c4762a1bSJed Brown PetscScalar rho, c, rhoxx, cxx, cx, rhox, kcxrhox; 143c4762a1bSJed Brown Field *u, *f, *udot; 144c4762a1bSJed Brown Vec localU; 145c4762a1bSJed Brown 146c4762a1bSJed Brown PetscFunctionBegin; 1479566063dSJacob Faibussowitsch PetscCall(TSGetDM(ts, &da)); 1489566063dSJacob Faibussowitsch PetscCall(DMGetLocalVector(da, &localU)); 1499566063dSJacob Faibussowitsch PetscCall(DMDAGetInfo(da, PETSC_IGNORE, &Mx, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE)); 150c4762a1bSJed Brown 1519371c9d4SSatish Balay hx = 1.0 / (PetscReal)(Mx - 1); 1529371c9d4SSatish Balay sx = 1.0 / (hx * hx); 153c4762a1bSJed Brown 154c4762a1bSJed Brown /* 155c4762a1bSJed Brown Scatter ghost points to local vector,using the 2-step process 156c4762a1bSJed Brown DMGlobalToLocalBegin(),DMGlobalToLocalEnd(). 157c4762a1bSJed Brown By placing code between these two statements, computations can be 158c4762a1bSJed Brown done while messages are in transition. 159c4762a1bSJed Brown */ 1609566063dSJacob Faibussowitsch PetscCall(DMGlobalToLocalBegin(da, U, INSERT_VALUES, localU)); 1619566063dSJacob Faibussowitsch PetscCall(DMGlobalToLocalEnd(da, U, INSERT_VALUES, localU)); 162c4762a1bSJed Brown 163c4762a1bSJed Brown /* 164c4762a1bSJed Brown Get pointers to vector data 165c4762a1bSJed Brown */ 1669566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayRead(da, localU, &u)); 1679566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayRead(da, Udot, &udot)); 1689566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayWrite(da, F, &f)); 169c4762a1bSJed Brown 170c4762a1bSJed Brown /* 171c4762a1bSJed Brown Get local grid boundaries 172c4762a1bSJed Brown */ 1739566063dSJacob Faibussowitsch PetscCall(DMDAGetCorners(da, &xs, NULL, NULL, &xm, NULL, NULL)); 174c4762a1bSJed Brown 175c4762a1bSJed Brown if (!xs) { 176c4762a1bSJed Brown f[0].rho = udot[0].rho; /* u[0].rho - 0.0; */ 177c4762a1bSJed Brown f[0].c = udot[0].c; /* u[0].c - 1.0; */ 178c4762a1bSJed Brown xs++; 179c4762a1bSJed Brown xm--; 180c4762a1bSJed Brown } 181c4762a1bSJed Brown if (xs + xm == Mx) { 182c4762a1bSJed Brown f[Mx - 1].rho = udot[Mx - 1].rho; /* u[Mx-1].rho - 1.0; */ 183c4762a1bSJed Brown f[Mx - 1].c = udot[Mx - 1].c; /* u[Mx-1].c - 0.0; */ 184c4762a1bSJed Brown xm--; 185c4762a1bSJed Brown } 186c4762a1bSJed Brown 187c4762a1bSJed Brown /* 188c4762a1bSJed Brown Compute function over the locally owned part of the grid 189c4762a1bSJed Brown */ 190c4762a1bSJed Brown for (i = xs; i < xs + xm; i++) { 191c4762a1bSJed Brown rho = u[i].rho; 192c4762a1bSJed Brown rhoxx = (-2.0 * rho + u[i - 1].rho + u[i + 1].rho) * sx; 193c4762a1bSJed Brown c = u[i].c; 194c4762a1bSJed Brown cxx = (-2.0 * c + u[i - 1].c + u[i + 1].c) * sx; 195c4762a1bSJed Brown 196c4762a1bSJed Brown if (!appctx->upwind) { 197c4762a1bSJed Brown rhox = .5 * (u[i + 1].rho - u[i - 1].rho) / hx; 198c4762a1bSJed Brown cx = .5 * (u[i + 1].c - u[i - 1].c) / hx; 199c4762a1bSJed Brown kcxrhox = appctx->kappa * (cxx * rho + cx * rhox); 200c4762a1bSJed Brown } else { 201c4762a1bSJed Brown kcxrhox = appctx->kappa * ((u[i + 1].c - u[i].c) * u[i + 1].rho - (u[i].c - u[i - 1].c) * u[i].rho) * sx; 202c4762a1bSJed Brown } 203c4762a1bSJed Brown 204c4762a1bSJed Brown f[i].rho = udot[i].rho - appctx->epsilon * rhoxx + kcxrhox - appctx->mu * PetscAbsScalar(rho) * (1.0 - rho) * PetscMax(0, PetscRealPart(c - appctx->cstar)) + appctx->beta * rho; 205c4762a1bSJed Brown f[i].c = udot[i].c - appctx->delta * cxx + appctx->lambda * c + appctx->alpha * rho * c / (appctx->gamma + c); 206c4762a1bSJed Brown } 207c4762a1bSJed Brown 208c4762a1bSJed Brown /* 209c4762a1bSJed Brown Restore vectors 210c4762a1bSJed Brown */ 2119566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayRead(da, localU, &u)); 2129566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayRead(da, Udot, &udot)); 2139566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayWrite(da, F, &f)); 2149566063dSJacob Faibussowitsch PetscCall(DMRestoreLocalVector(da, &localU)); 215c4762a1bSJed Brown PetscFunctionReturn(0); 216c4762a1bSJed Brown } 217c4762a1bSJed Brown 218c4762a1bSJed Brown /* ------------------------------------------------------------------- */ 219d71ae5a4SJacob Faibussowitsch PetscErrorCode InitialConditions(DM da, Vec U) 220d71ae5a4SJacob Faibussowitsch { 221c4762a1bSJed Brown PetscInt i, xs, xm, Mx; 222c4762a1bSJed Brown Field *u; 223c4762a1bSJed Brown PetscReal hx, x; 224c4762a1bSJed Brown 225c4762a1bSJed Brown PetscFunctionBegin; 2269566063dSJacob Faibussowitsch PetscCall(DMDAGetInfo(da, PETSC_IGNORE, &Mx, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE)); 227c4762a1bSJed Brown 228c4762a1bSJed Brown hx = 1.0 / (PetscReal)(Mx - 1); 229c4762a1bSJed Brown 230c4762a1bSJed Brown /* 231c4762a1bSJed Brown Get pointers to vector data 232c4762a1bSJed Brown */ 2339566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayWrite(da, U, &u)); 234c4762a1bSJed Brown 235c4762a1bSJed Brown /* 236c4762a1bSJed Brown Get local grid boundaries 237c4762a1bSJed Brown */ 2389566063dSJacob Faibussowitsch PetscCall(DMDAGetCorners(da, &xs, NULL, NULL, &xm, NULL, NULL)); 239c4762a1bSJed Brown 240c4762a1bSJed Brown /* 241c4762a1bSJed Brown Compute function over the locally owned part of the grid 242c4762a1bSJed Brown */ 243c4762a1bSJed Brown for (i = xs; i < xs + xm; i++) { 244c4762a1bSJed Brown x = i * hx; 245af7a0b9fSSatish Balay if (i < Mx - 1) u[i].rho = 0.0; 246c4762a1bSJed Brown else u[i].rho = 1.0; 247c4762a1bSJed Brown u[i].c = PetscCosReal(.5 * PETSC_PI * x); 248c4762a1bSJed Brown } 249c4762a1bSJed Brown 250c4762a1bSJed Brown /* 251c4762a1bSJed Brown Restore vectors 252c4762a1bSJed Brown */ 2539566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayWrite(da, U, &u)); 254c4762a1bSJed Brown PetscFunctionReturn(0); 255c4762a1bSJed Brown } 256c4762a1bSJed Brown 257c4762a1bSJed Brown /*TEST 258c4762a1bSJed Brown 259c4762a1bSJed Brown test: 260c4762a1bSJed Brown args: -pc_type lu -da_refine 2 -ts_view -ts_monitor -ts_max_time 1 261c4762a1bSJed Brown requires: double 262c4762a1bSJed Brown 263c4762a1bSJed Brown test: 264c4762a1bSJed Brown suffix: 2 265c4762a1bSJed Brown args: -pc_type lu -da_refine 2 -ts_view -ts_monitor_draw_solution -ts_monitor -ts_max_time 1 266c4762a1bSJed Brown requires: x double 267c4762a1bSJed Brown output_file: output/ex4_1.out 268c4762a1bSJed Brown 269c4762a1bSJed Brown TEST*/ 270