xref: /petsc/src/ts/tutorials/ex15.c (revision 4e8208cbcbc709572b8abe32f33c78b69c819375)
1c4762a1bSJed Brown static char help[] = "Time-dependent PDE in 2d. Modified from ex13.c for illustrating how to solve DAEs. \n";
2c4762a1bSJed Brown /*
3c4762a1bSJed Brown    u_t = uxx + uyy
4c4762a1bSJed Brown    0 < x < 1, 0 < y < 1;
5c4762a1bSJed Brown    At t=0: u(x,y) = exp(c*r*r*r), if r=PetscSqrtReal((x-.5)*(x-.5) + (y-.5)*(y-.5)) < .125
6c4762a1bSJed Brown            u(x,y) = 0.0           if r >= .125
7c4762a1bSJed Brown 
8c4762a1bSJed Brown    Boundary conditions:
9c4762a1bSJed Brown    Drichlet BC:
10c4762a1bSJed Brown    At x=0, x=1, y=0, y=1: u = 0.0
11c4762a1bSJed Brown 
12c4762a1bSJed Brown    Neumann BC:
13c4762a1bSJed Brown    At x=0, x=1: du(x,y,t)/dx = 0
14c4762a1bSJed Brown    At y=0, y=1: du(x,y,t)/dy = 0
15c4762a1bSJed Brown 
16c4762a1bSJed Brown    mpiexec -n 2 ./ex15 -da_grid_x 40 -da_grid_y 40 -ts_max_steps 2 -snes_monitor -ksp_monitor
17c4762a1bSJed Brown          ./ex15 -da_grid_x 40 -da_grid_y 40  -draw_pause .1 -boundary 1 -ts_monitor_draw_solution
18c4762a1bSJed Brown          ./ex15 -da_grid_x 40 -da_grid_y 40  -draw_pause .1 -boundary 1 -Jtype 2 -nstencilpts 9
19c4762a1bSJed Brown 
20c4762a1bSJed Brown */
21c4762a1bSJed Brown 
22c4762a1bSJed Brown #include <petscdm.h>
23c4762a1bSJed Brown #include <petscdmda.h>
24c4762a1bSJed Brown #include <petscts.h>
25c4762a1bSJed Brown 
26c4762a1bSJed Brown /*
27c4762a1bSJed Brown    User-defined data structures and routines
28c4762a1bSJed Brown */
29c4762a1bSJed Brown 
30c4762a1bSJed Brown /* AppCtx: used by FormIFunction() and FormIJacobian() */
31c4762a1bSJed Brown typedef struct {
32c4762a1bSJed Brown   DM        da;
33c4762a1bSJed Brown   PetscInt  nstencilpts; /* number of stencil points: 5 or 9 */
34c4762a1bSJed Brown   PetscReal c;
35c4762a1bSJed Brown   PetscInt  boundary; /* Type of boundary condition */
36c4762a1bSJed Brown   PetscBool viewJacobian;
37c4762a1bSJed Brown } AppCtx;
38c4762a1bSJed Brown 
39c4762a1bSJed Brown extern PetscErrorCode FormIFunction(TS, PetscReal, Vec, Vec, Vec, void *);
40c4762a1bSJed Brown extern PetscErrorCode FormIJacobian(TS, PetscReal, Vec, Vec, PetscReal, Mat, Mat, void *);
41c4762a1bSJed Brown extern PetscErrorCode FormInitialSolution(Vec, void *);
42c4762a1bSJed Brown 
main(int argc,char ** argv)43d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv)
44d71ae5a4SJacob Faibussowitsch {
45c4762a1bSJed Brown   TS        ts;            /* nonlinear solver */
46c4762a1bSJed Brown   Vec       u, r;          /* solution, residual vectors */
47c4762a1bSJed Brown   Mat       J, Jmf = NULL; /* Jacobian matrices */
48c4762a1bSJed Brown   DM        da;
49c4762a1bSJed Brown   PetscReal dt;
50c4762a1bSJed Brown   AppCtx    user; /* user-defined work context */
51c4762a1bSJed Brown   SNES      snes;
52c4762a1bSJed Brown   PetscInt  Jtype; /* Jacobian type
53c4762a1bSJed Brown                             0: user provide Jacobian;
54c4762a1bSJed Brown                             1: slow finite difference;
55c4762a1bSJed Brown                             2: fd with coloring; */
56c4762a1bSJed Brown 
57327415f7SBarry Smith   PetscFunctionBeginUser;
58c8025a54SPierre Jolivet   PetscCall(PetscInitialize(&argc, &argv, NULL, help));
59c4762a1bSJed Brown   /* Initialize user application context */
60c4762a1bSJed Brown   user.da           = NULL;
61c4762a1bSJed Brown   user.nstencilpts  = 5;
62c4762a1bSJed Brown   user.c            = -30.0;
63c4762a1bSJed Brown   user.boundary     = 0; /* 0: Drichlet BC; 1: Neumann BC */
64c4762a1bSJed Brown   user.viewJacobian = PETSC_FALSE;
65c4762a1bSJed Brown 
669566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-nstencilpts", &user.nstencilpts, NULL));
679566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-boundary", &user.boundary, NULL));
689566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL, NULL, "-viewJacobian", &user.viewJacobian));
69c4762a1bSJed Brown 
70c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
71c4762a1bSJed Brown      Create distributed array (DMDA) to manage parallel grid and vectors
72c4762a1bSJed Brown   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
73c4762a1bSJed Brown   if (user.nstencilpts == 5) {
749566063dSJacob Faibussowitsch     PetscCall(DMDACreate2d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE, DMDA_STENCIL_STAR, 11, 11, PETSC_DECIDE, PETSC_DECIDE, 1, 1, NULL, NULL, &da));
75c4762a1bSJed Brown   } else if (user.nstencilpts == 9) {
769566063dSJacob Faibussowitsch     PetscCall(DMDACreate2d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE, DMDA_STENCIL_BOX, 11, 11, PETSC_DECIDE, PETSC_DECIDE, 1, 1, NULL, NULL, &da));
7763a3b9bcSJacob Faibussowitsch   } else SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_SUP, "nstencilpts %" PetscInt_FMT " is not supported", user.nstencilpts);
789566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(da));
799566063dSJacob Faibussowitsch   PetscCall(DMSetUp(da));
80c4762a1bSJed Brown   user.da = da;
81c4762a1bSJed Brown 
82c4762a1bSJed Brown   /*  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
83c4762a1bSJed Brown      Extract global vectors from DMDA;
84c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
859566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(da, &u));
869566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(u, &r));
87c4762a1bSJed Brown 
88c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
89c4762a1bSJed Brown      Create timestepping solver context
90c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
919566063dSJacob Faibussowitsch   PetscCall(TSCreate(PETSC_COMM_WORLD, &ts));
929566063dSJacob Faibussowitsch   PetscCall(TSSetProblemType(ts, TS_NONLINEAR));
939566063dSJacob Faibussowitsch   PetscCall(TSSetType(ts, TSBEULER));
949566063dSJacob Faibussowitsch   PetscCall(TSSetDM(ts, da));
959566063dSJacob Faibussowitsch   PetscCall(TSSetIFunction(ts, r, FormIFunction, &user));
969566063dSJacob Faibussowitsch   PetscCall(TSSetMaxTime(ts, 1.0));
979566063dSJacob Faibussowitsch   PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_STEPOVER));
98c4762a1bSJed Brown 
99c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
100c4762a1bSJed Brown      Set initial conditions
101c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1029566063dSJacob Faibussowitsch   PetscCall(FormInitialSolution(u, &user));
1039566063dSJacob Faibussowitsch   PetscCall(TSSetSolution(ts, u));
104c4762a1bSJed Brown   dt = .01;
1059566063dSJacob Faibussowitsch   PetscCall(TSSetTimeStep(ts, dt));
106c4762a1bSJed Brown 
107c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
108c4762a1bSJed Brown    Set Jacobian evaluation routine
109c4762a1bSJed Brown   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1109566063dSJacob Faibussowitsch   PetscCall(DMSetMatType(da, MATAIJ));
1119566063dSJacob Faibussowitsch   PetscCall(DMCreateMatrix(da, &J));
112c4762a1bSJed Brown   Jtype = 0;
1139566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-Jtype", &Jtype, NULL));
114c4762a1bSJed Brown   if (Jtype == 0) { /* use user provided Jacobian evaluation routine */
11563a3b9bcSJacob Faibussowitsch     PetscCheck(user.nstencilpts == 5, PETSC_COMM_WORLD, PETSC_ERR_SUP, "user Jacobian routine FormIJacobian() does not support nstencilpts=%" PetscInt_FMT, user.nstencilpts);
1169566063dSJacob Faibussowitsch     PetscCall(TSSetIJacobian(ts, J, J, FormIJacobian, &user));
117c4762a1bSJed Brown   } else { /* use finite difference Jacobian J as preconditioner and '-snes_mf_operator' for Mat*vec */
1189566063dSJacob Faibussowitsch     PetscCall(TSGetSNES(ts, &snes));
1199566063dSJacob Faibussowitsch     PetscCall(MatCreateSNESMF(snes, &Jmf));
120c4762a1bSJed Brown     if (Jtype == 1) { /* slow finite difference J; */
1219566063dSJacob Faibussowitsch       PetscCall(SNESSetJacobian(snes, Jmf, J, SNESComputeJacobianDefault, NULL));
122c4762a1bSJed Brown     } else if (Jtype == 2) { /* Use coloring to compute  finite difference J efficiently */
1239566063dSJacob Faibussowitsch       PetscCall(SNESSetJacobian(snes, Jmf, J, SNESComputeJacobianDefaultColor, 0));
124c4762a1bSJed Brown     } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Jtype is not supported");
125c4762a1bSJed Brown   }
126c4762a1bSJed Brown 
127c4762a1bSJed Brown   /*  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
128c4762a1bSJed Brown    Sets various TS parameters from user options
129c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1309566063dSJacob Faibussowitsch   PetscCall(TSSetFromOptions(ts));
131c4762a1bSJed Brown 
132c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
133c4762a1bSJed Brown      Solve nonlinear system
134c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1359566063dSJacob Faibussowitsch   PetscCall(TSSolve(ts, u));
136c4762a1bSJed Brown 
137c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
138c4762a1bSJed Brown      Free work space.
139c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1409566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&J));
1419566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&Jmf));
1429566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&u));
1439566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&r));
1449566063dSJacob Faibussowitsch   PetscCall(TSDestroy(&ts));
1459566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&da));
146c4762a1bSJed Brown 
1479566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
148b122ec5aSJacob Faibussowitsch   return 0;
149c4762a1bSJed Brown }
150c4762a1bSJed Brown 
151c4762a1bSJed Brown /* --------------------------------------------------------------------- */
152c4762a1bSJed Brown /*
153c4762a1bSJed Brown   FormIFunction = Udot - RHSFunction
154c4762a1bSJed Brown */
FormIFunction(TS ts,PetscReal t,Vec U,Vec Udot,Vec F,PetscCtx ctx)155*2a8381b2SBarry Smith PetscErrorCode FormIFunction(TS ts, PetscReal t, Vec U, Vec Udot, Vec F, PetscCtx ctx)
156d71ae5a4SJacob Faibussowitsch {
157c4762a1bSJed Brown   AppCtx     *user = (AppCtx *)ctx;
158300f1712SStefano Zampini   DM          da   = user->da;
159c4762a1bSJed Brown   PetscInt    i, j, Mx, My, xs, ys, xm, ym;
160c4762a1bSJed Brown   PetscReal   hx, hy, sx, sy;
161c4762a1bSJed Brown   PetscScalar u, uxx, uyy, **uarray, **f, **udot;
162c4762a1bSJed Brown   Vec         localU;
163c4762a1bSJed Brown 
164c4762a1bSJed Brown   PetscFunctionBeginUser;
1659566063dSJacob Faibussowitsch   PetscCall(DMGetLocalVector(da, &localU));
1669566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da, PETSC_IGNORE, &Mx, &My, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE));
167c4762a1bSJed Brown 
1689371c9d4SSatish Balay   hx = 1.0 / (PetscReal)(Mx - 1);
1699371c9d4SSatish Balay   sx = 1.0 / (hx * hx);
1709371c9d4SSatish Balay   hy = 1.0 / (PetscReal)(My - 1);
1719371c9d4SSatish Balay   sy = 1.0 / (hy * hy);
1723c633725SBarry Smith   PetscCheck(user->nstencilpts != 9 || hx == hy, PETSC_COMM_WORLD, PETSC_ERR_SUP, "hx must equal hy when nstencilpts = 9 for this example");
173c4762a1bSJed Brown 
174c4762a1bSJed Brown   /*
175c4762a1bSJed Brown      Scatter ghost points to local vector,using the 2-step process
176c4762a1bSJed Brown         DMGlobalToLocalBegin(),DMGlobalToLocalEnd().
177c4762a1bSJed Brown      By placing code between these two statements, computations can be
178c4762a1bSJed Brown      done while messages are in transition.
179c4762a1bSJed Brown   */
1809566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da, U, INSERT_VALUES, localU));
1819566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da, U, INSERT_VALUES, localU));
182c4762a1bSJed Brown 
183c4762a1bSJed Brown   /* Get pointers to vector data */
1849566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(da, localU, &uarray));
1859566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da, F, &f));
1869566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da, Udot, &udot));
187c4762a1bSJed Brown 
188c4762a1bSJed Brown   /* Get local grid boundaries */
1899566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da, &xs, &ys, NULL, &xm, &ym, NULL));
190c4762a1bSJed Brown 
191c4762a1bSJed Brown   /* Compute function over the locally owned part of the grid */
192c4762a1bSJed Brown   for (j = ys; j < ys + ym; j++) {
193c4762a1bSJed Brown     for (i = xs; i < xs + xm; i++) {
194c4762a1bSJed Brown       /* Boundary conditions */
195c4762a1bSJed Brown       if (i == 0 || j == 0 || i == Mx - 1 || j == My - 1) {
196c4762a1bSJed Brown         if (user->boundary == 0) { /* Drichlet BC */
197c4762a1bSJed Brown           f[j][i] = uarray[j][i];  /* F = U */
198c4762a1bSJed Brown         } else {                   /* Neumann BC */
199c4762a1bSJed Brown           if (i == 0 && j == 0) {  /* SW corner */
200c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j + 1][i + 1];
201c4762a1bSJed Brown           } else if (i == Mx - 1 && j == 0) { /* SE corner */
202c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j + 1][i - 1];
203c4762a1bSJed Brown           } else if (i == 0 && j == My - 1) { /* NW corner */
204c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j - 1][i + 1];
205c4762a1bSJed Brown           } else if (i == Mx - 1 && j == My - 1) { /* NE corner */
206c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j - 1][i - 1];
207c4762a1bSJed Brown           } else if (i == 0) { /* Left */
208c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j][i + 1];
209c4762a1bSJed Brown           } else if (i == Mx - 1) { /* Right */
210c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j][i - 1];
211c4762a1bSJed Brown           } else if (j == 0) { /* Bottom */
212c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j + 1][i];
213c4762a1bSJed Brown           } else if (j == My - 1) { /* Top */
214c4762a1bSJed Brown             f[j][i] = uarray[j][i] - uarray[j - 1][i];
215c4762a1bSJed Brown           }
216c4762a1bSJed Brown         }
217c4762a1bSJed Brown       } else { /* Interior */
218c4762a1bSJed Brown         u = uarray[j][i];
219c4762a1bSJed Brown         /* 5-point stencil */
220c4762a1bSJed Brown         uxx = (-2.0 * u + uarray[j][i - 1] + uarray[j][i + 1]);
221c4762a1bSJed Brown         uyy = (-2.0 * u + uarray[j - 1][i] + uarray[j + 1][i]);
222c4762a1bSJed Brown         if (user->nstencilpts == 9) {
223c4762a1bSJed Brown           /* 9-point stencil: assume hx=hy */
224c4762a1bSJed Brown           uxx = 2.0 * uxx / 3.0 + (0.5 * (uarray[j - 1][i - 1] + uarray[j - 1][i + 1] + uarray[j + 1][i - 1] + uarray[j + 1][i + 1]) - 2.0 * u) / 6.0;
225c4762a1bSJed Brown           uyy = 2.0 * uyy / 3.0 + (0.5 * (uarray[j - 1][i - 1] + uarray[j - 1][i + 1] + uarray[j + 1][i - 1] + uarray[j + 1][i + 1]) - 2.0 * u) / 6.0;
226c4762a1bSJed Brown         }
227c4762a1bSJed Brown         f[j][i] = udot[j][i] - (uxx * sx + uyy * sy);
228c4762a1bSJed Brown       }
229c4762a1bSJed Brown     }
230c4762a1bSJed Brown   }
231c4762a1bSJed Brown 
232c4762a1bSJed Brown   /* Restore vectors */
2339566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(da, localU, &uarray));
2349566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da, F, &f));
2359566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da, Udot, &udot));
2369566063dSJacob Faibussowitsch   PetscCall(DMRestoreLocalVector(da, &localU));
2379566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(11.0 * ym * xm));
2383ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
239c4762a1bSJed Brown }
240c4762a1bSJed Brown 
241c4762a1bSJed Brown /* --------------------------------------------------------------------- */
242c4762a1bSJed Brown /*
243c4762a1bSJed Brown   FormIJacobian() - Compute IJacobian = dF/dU + a dF/dUdot
244c4762a1bSJed Brown   This routine is not used with option '-use_coloring'
245c4762a1bSJed Brown */
FormIJacobian(TS ts,PetscReal t,Vec U,Vec Udot,PetscReal a,Mat J,Mat Jpre,PetscCtx ctx)246*2a8381b2SBarry Smith PetscErrorCode FormIJacobian(TS ts, PetscReal t, Vec U, Vec Udot, PetscReal a, Mat J, Mat Jpre, PetscCtx ctx)
247d71ae5a4SJacob Faibussowitsch {
248c4762a1bSJed Brown   PetscInt    i, j, Mx, My, xs, ys, xm, ym, nc;
249c4762a1bSJed Brown   AppCtx     *user = (AppCtx *)ctx;
250300f1712SStefano Zampini   DM          da   = user->da;
251c4762a1bSJed Brown   MatStencil  col[5], row;
252c4762a1bSJed Brown   PetscScalar vals[5], hx, hy, sx, sy;
253c4762a1bSJed Brown 
254c4762a1bSJed Brown   PetscFunctionBeginUser;
2559566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da, PETSC_IGNORE, &Mx, &My, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE));
2569566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da, &xs, &ys, NULL, &xm, &ym, NULL));
257c4762a1bSJed Brown 
2589371c9d4SSatish Balay   hx = 1.0 / (PetscReal)(Mx - 1);
2599371c9d4SSatish Balay   sx = 1.0 / (hx * hx);
2609371c9d4SSatish Balay   hy = 1.0 / (PetscReal)(My - 1);
2619371c9d4SSatish Balay   sy = 1.0 / (hy * hy);
262c4762a1bSJed Brown 
263c4762a1bSJed Brown   for (j = ys; j < ys + ym; j++) {
264c4762a1bSJed Brown     for (i = xs; i < xs + xm; i++) {
265c4762a1bSJed Brown       nc    = 0;
2669371c9d4SSatish Balay       row.j = j;
2679371c9d4SSatish Balay       row.i = i;
268c4762a1bSJed Brown       if (user->boundary == 0 && (i == 0 || i == Mx - 1 || j == 0 || j == My - 1)) {
2699371c9d4SSatish Balay         col[nc].j  = j;
2709371c9d4SSatish Balay         col[nc].i  = i;
2719371c9d4SSatish Balay         vals[nc++] = 1.0;
272c4762a1bSJed Brown 
273c4762a1bSJed Brown       } else if (user->boundary > 0 && i == 0) { /* Left Neumann */
2749371c9d4SSatish Balay         col[nc].j  = j;
2759371c9d4SSatish Balay         col[nc].i  = i;
2769371c9d4SSatish Balay         vals[nc++] = 1.0;
2779371c9d4SSatish Balay         col[nc].j  = j;
2789371c9d4SSatish Balay         col[nc].i  = i + 1;
2799371c9d4SSatish Balay         vals[nc++] = -1.0;
280c4762a1bSJed Brown       } else if (user->boundary > 0 && i == Mx - 1) { /* Right Neumann */
2819371c9d4SSatish Balay         col[nc].j  = j;
2829371c9d4SSatish Balay         col[nc].i  = i;
2839371c9d4SSatish Balay         vals[nc++] = 1.0;
2849371c9d4SSatish Balay         col[nc].j  = j;
2859371c9d4SSatish Balay         col[nc].i  = i - 1;
2869371c9d4SSatish Balay         vals[nc++] = -1.0;
287c4762a1bSJed Brown       } else if (user->boundary > 0 && j == 0) { /* Bottom Neumann */
2889371c9d4SSatish Balay         col[nc].j  = j;
2899371c9d4SSatish Balay         col[nc].i  = i;
2909371c9d4SSatish Balay         vals[nc++] = 1.0;
2919371c9d4SSatish Balay         col[nc].j  = j + 1;
2929371c9d4SSatish Balay         col[nc].i  = i;
2939371c9d4SSatish Balay         vals[nc++] = -1.0;
294c4762a1bSJed Brown       } else if (user->boundary > 0 && j == My - 1) { /* Top Neumann */
2959371c9d4SSatish Balay         col[nc].j  = j;
2969371c9d4SSatish Balay         col[nc].i  = i;
2979371c9d4SSatish Balay         vals[nc++] = 1.0;
2989371c9d4SSatish Balay         col[nc].j  = j - 1;
2999371c9d4SSatish Balay         col[nc].i  = i;
3009371c9d4SSatish Balay         vals[nc++] = -1.0;
301c4762a1bSJed Brown       } else { /* Interior */
3029371c9d4SSatish Balay         col[nc].j  = j - 1;
3039371c9d4SSatish Balay         col[nc].i  = i;
3049371c9d4SSatish Balay         vals[nc++] = -sy;
3059371c9d4SSatish Balay         col[nc].j  = j;
3069371c9d4SSatish Balay         col[nc].i  = i - 1;
3079371c9d4SSatish Balay         vals[nc++] = -sx;
3089371c9d4SSatish Balay         col[nc].j  = j;
3099371c9d4SSatish Balay         col[nc].i  = i;
3109371c9d4SSatish Balay         vals[nc++] = 2.0 * (sx + sy) + a;
3119371c9d4SSatish Balay         col[nc].j  = j;
3129371c9d4SSatish Balay         col[nc].i  = i + 1;
3139371c9d4SSatish Balay         vals[nc++] = -sx;
3149371c9d4SSatish Balay         col[nc].j  = j + 1;
3159371c9d4SSatish Balay         col[nc].i  = i;
3169371c9d4SSatish Balay         vals[nc++] = -sy;
317c4762a1bSJed Brown       }
3189566063dSJacob Faibussowitsch       PetscCall(MatSetValuesStencil(Jpre, 1, &row, nc, col, vals, INSERT_VALUES));
319c4762a1bSJed Brown     }
320c4762a1bSJed Brown   }
3219566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(Jpre, MAT_FINAL_ASSEMBLY));
3229566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(Jpre, MAT_FINAL_ASSEMBLY));
323c4762a1bSJed Brown   if (J != Jpre) {
3249566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY));
3259566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY));
326c4762a1bSJed Brown   }
327c4762a1bSJed Brown 
328c4762a1bSJed Brown   if (user->viewJacobian) {
3299566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PetscObjectComm((PetscObject)Jpre), "Jpre:\n"));
3309566063dSJacob Faibussowitsch     PetscCall(MatView(Jpre, PETSC_VIEWER_STDOUT_WORLD));
331c4762a1bSJed Brown   }
3323ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
333c4762a1bSJed Brown }
334c4762a1bSJed Brown 
335c4762a1bSJed Brown /* ------------------------------------------------------------------- */
FormInitialSolution(Vec U,void * ptr)336d71ae5a4SJacob Faibussowitsch PetscErrorCode FormInitialSolution(Vec U, void *ptr)
337d71ae5a4SJacob Faibussowitsch {
338c4762a1bSJed Brown   AppCtx       *user = (AppCtx *)ptr;
339c4762a1bSJed Brown   DM            da   = user->da;
340c4762a1bSJed Brown   PetscReal     c    = user->c;
341c4762a1bSJed Brown   PetscInt      i, j, xs, ys, xm, ym, Mx, My;
342c4762a1bSJed Brown   PetscScalar **u;
343c4762a1bSJed Brown   PetscReal     hx, hy, x, y, r;
344c4762a1bSJed Brown 
345c4762a1bSJed Brown   PetscFunctionBeginUser;
3469566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da, PETSC_IGNORE, &Mx, &My, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE, PETSC_IGNORE));
347c4762a1bSJed Brown 
348c4762a1bSJed Brown   hx = 1.0 / (PetscReal)(Mx - 1);
349c4762a1bSJed Brown   hy = 1.0 / (PetscReal)(My - 1);
350c4762a1bSJed Brown 
351c4762a1bSJed Brown   /* Get pointers to vector data */
3529566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da, U, &u));
353c4762a1bSJed Brown 
354c4762a1bSJed Brown   /* Get local grid boundaries */
3559566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da, &xs, &ys, NULL, &xm, &ym, NULL));
356c4762a1bSJed Brown 
357c4762a1bSJed Brown   /* Compute function over the locally owned part of the grid */
358c4762a1bSJed Brown   for (j = ys; j < ys + ym; j++) {
359c4762a1bSJed Brown     y = j * hy;
360c4762a1bSJed Brown     for (i = xs; i < xs + xm; i++) {
361c4762a1bSJed Brown       x = i * hx;
362c4762a1bSJed Brown       r = PetscSqrtReal((x - .5) * (x - .5) + (y - .5) * (y - .5));
363c4762a1bSJed Brown       if (r < .125) u[j][i] = PetscExpReal(c * r * r * r);
364c4762a1bSJed Brown       else u[j][i] = 0.0;
365c4762a1bSJed Brown     }
366c4762a1bSJed Brown   }
367c4762a1bSJed Brown 
368c4762a1bSJed Brown   /* Restore vectors */
3699566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da, U, &u));
3703ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
371c4762a1bSJed Brown }
372c4762a1bSJed Brown 
373c4762a1bSJed Brown /*TEST
374c4762a1bSJed Brown 
375c4762a1bSJed Brown     test:
376c4762a1bSJed Brown       args: -da_grid_x 20 -da_grid_y 20 -boundary 0 -ts_max_steps 10 -ts_monitor
377c4762a1bSJed Brown 
378c4762a1bSJed Brown     test:
379c4762a1bSJed Brown       suffix: 2
380c4762a1bSJed Brown       args: -da_grid_x 20 -da_grid_y 20 -boundary 0 -ts_max_steps 10 -Jtype 2 -ts_monitor
381c4762a1bSJed Brown 
382c4762a1bSJed Brown     test:
383c4762a1bSJed Brown       suffix: 3
384c4762a1bSJed Brown       requires: !single
385c4762a1bSJed Brown       args: -da_grid_x 20 -da_grid_y 20 -boundary 1 -ts_max_steps 10 -ts_monitor
386c4762a1bSJed Brown 
387c4762a1bSJed Brown     test:
388c4762a1bSJed Brown       suffix: 4
389c4762a1bSJed Brown       requires: !single
390c4762a1bSJed Brown       nsize: 2
391c4762a1bSJed Brown       args: -da_grid_x 20 -da_grid_y 20 -boundary 1 -ts_max_steps 10 -ts_monitor
392c4762a1bSJed Brown 
393c4762a1bSJed Brown     test:
394c4762a1bSJed Brown       suffix: 5
395c4762a1bSJed Brown       nsize: 1
396c4762a1bSJed Brown       args: -da_grid_x 20 -da_grid_y 20 -boundary 0 -ts_max_steps 10 -Jtype 1 -ts_monitor
397c4762a1bSJed Brown 
398c4762a1bSJed Brown TEST*/
399