xref: /petsc/src/ts/tutorials/advection-diffusion-reaction/ex4.c (revision da81f9329be15cc55f054c8a00978087195c9247)
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