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