xref: /petsc/src/ts/tutorials/ex7.c (revision 4e8208cbcbc709572b8abe32f33c78b69c819375)
1c4762a1bSJed Brown static char help[] = "Nonlinear, time-dependent PDE in 2d.\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown /*
4c4762a1bSJed Brown    Include "petscdmda.h" so that we can use distributed arrays (DMDAs).
5c4762a1bSJed Brown    Include "petscts.h" so that we can use SNES solvers.  Note that this
6c4762a1bSJed Brown    file automatically includes:
7c4762a1bSJed Brown      petscsys.h       - base PETSc routines   petscvec.h - vectors
8c4762a1bSJed Brown      petscmat.h - matrices
9c4762a1bSJed Brown      petscis.h     - index sets            petscksp.h - Krylov subspace methods
10c4762a1bSJed Brown      petscviewer.h - viewers               petscpc.h  - preconditioners
11c4762a1bSJed Brown      petscksp.h   - linear solvers
12c4762a1bSJed Brown */
13c4762a1bSJed Brown #include <petscdm.h>
14c4762a1bSJed Brown #include <petscdmda.h>
15c4762a1bSJed Brown #include <petscts.h>
16c4762a1bSJed Brown 
17c4762a1bSJed Brown /*
18c4762a1bSJed Brown    User-defined routines
19c4762a1bSJed Brown */
20c4762a1bSJed Brown extern PetscErrorCode FormFunction(TS, PetscReal, Vec, Vec, void *), FormInitialSolution(DM, Vec);
21c4762a1bSJed Brown extern PetscErrorCode MyTSMonitor(TS, PetscInt, PetscReal, Vec, void *);
22c4762a1bSJed Brown extern PetscErrorCode MySNESMonitor(SNES, PetscInt, PetscReal, PetscViewerAndFormat *);
23c4762a1bSJed Brown 
main(int argc,char ** argv)24d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv)
25d71ae5a4SJacob Faibussowitsch {
26c4762a1bSJed Brown   TS                    ts; /* time integrator */
27c4762a1bSJed Brown   SNES                  snes;
28c4762a1bSJed Brown   Vec                   x, r; /* solution, residual vectors */
29c4762a1bSJed Brown   DM                    da;
30c4762a1bSJed Brown   PetscViewerAndFormat *vf;
31c4762a1bSJed Brown 
32c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
33c4762a1bSJed Brown      Initialize program
34c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
35327415f7SBarry Smith   PetscFunctionBeginUser;
36c8025a54SPierre Jolivet   PetscCall(PetscInitialize(&argc, &argv, NULL, help));
37c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
38c4762a1bSJed Brown      Create distributed array (DMDA) to manage parallel grid and vectors
39c4762a1bSJed Brown   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
409566063dSJacob Faibussowitsch   PetscCall(DMDACreate2d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE, DMDA_STENCIL_STAR, 8, 8, PETSC_DECIDE, PETSC_DECIDE, 1, 1, NULL, NULL, &da));
419566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(da));
429566063dSJacob Faibussowitsch   PetscCall(DMSetUp(da));
43c4762a1bSJed Brown 
44c4762a1bSJed Brown   /*  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
45c4762a1bSJed Brown      Extract global vectors from DMDA; then duplicate for remaining
46c4762a1bSJed Brown      vectors that are the same types
47c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
489566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(da, &x));
499566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(x, &r));
50c4762a1bSJed Brown 
51c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
52c4762a1bSJed Brown      Create timestepping solver context
53c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
549566063dSJacob Faibussowitsch   PetscCall(TSCreate(PETSC_COMM_WORLD, &ts));
559566063dSJacob Faibussowitsch   PetscCall(TSSetProblemType(ts, TS_NONLINEAR));
569566063dSJacob Faibussowitsch   PetscCall(TSSetRHSFunction(ts, NULL, FormFunction, da));
57c4762a1bSJed Brown 
58c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
59c4762a1bSJed Brown      Create matrix data structure; set Jacobian evaluation routine
60c4762a1bSJed Brown 
61c4762a1bSJed Brown      Set Jacobian matrix data structure and default Jacobian evaluation
62c4762a1bSJed Brown      routine. User can override with:
63c4762a1bSJed Brown      -snes_mf : matrix-free Newton-Krylov method with no preconditioning
64c4762a1bSJed Brown                 (unless user explicitly sets preconditioner)
657addb90fSBarry Smith      -snes_mf_operator : form matrix used to construct the preconditioner as set by the user,
66c4762a1bSJed Brown                          but use matrix-free approx for Jacobian-vector
67c4762a1bSJed Brown                          products within Newton-Krylov method
68c4762a1bSJed Brown 
69c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
70c4762a1bSJed Brown 
719566063dSJacob Faibussowitsch   PetscCall(TSSetMaxTime(ts, 1.0));
729566063dSJacob Faibussowitsch   PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_STEPOVER));
739566063dSJacob Faibussowitsch   PetscCall(TSMonitorSet(ts, MyTSMonitor, PETSC_VIEWER_STDOUT_WORLD, NULL));
749566063dSJacob Faibussowitsch   PetscCall(TSSetDM(ts, da));
75c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
76c4762a1bSJed Brown      Customize nonlinear solver
77c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
789566063dSJacob Faibussowitsch   PetscCall(TSSetType(ts, TSBEULER));
799566063dSJacob Faibussowitsch   PetscCall(TSGetSNES(ts, &snes));
809566063dSJacob Faibussowitsch   PetscCall(PetscViewerAndFormatCreate(PETSC_VIEWER_STDOUT_WORLD, PETSC_VIEWER_DEFAULT, &vf));
8149abdd8aSBarry Smith   PetscCall(SNESMonitorSet(snes, (PetscErrorCode (*)(SNES, PetscInt, PetscReal, void *))MySNESMonitor, vf, (PetscCtxDestroyFn *)PetscViewerAndFormatDestroy));
82c4762a1bSJed Brown 
83c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
84c4762a1bSJed Brown      Set initial conditions
85c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
869566063dSJacob Faibussowitsch   PetscCall(FormInitialSolution(da, x));
879566063dSJacob Faibussowitsch   PetscCall(TSSetTimeStep(ts, .0001));
889566063dSJacob Faibussowitsch   PetscCall(TSSetSolution(ts, x));
89c4762a1bSJed Brown 
90c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
91c4762a1bSJed Brown      Set runtime options
92c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
939566063dSJacob Faibussowitsch   PetscCall(TSSetFromOptions(ts));
94c4762a1bSJed Brown 
95c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
96c4762a1bSJed Brown      Solve nonlinear system
97c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
989566063dSJacob Faibussowitsch   PetscCall(TSSolve(ts, x));
99c4762a1bSJed Brown 
100c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
101c4762a1bSJed Brown      Free work space.  All PETSc objects should be destroyed when they
102c4762a1bSJed Brown      are no longer needed.
103c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1049566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
1059566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&r));
1069566063dSJacob Faibussowitsch   PetscCall(TSDestroy(&ts));
1079566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&da));
108c4762a1bSJed Brown 
1099566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
110b122ec5aSJacob Faibussowitsch   return 0;
111c4762a1bSJed Brown }
112c4762a1bSJed Brown /* ------------------------------------------------------------------- */
113c4762a1bSJed Brown /*
114c4762a1bSJed Brown    FormFunction - Evaluates nonlinear function, F(x).
115c4762a1bSJed Brown 
116c4762a1bSJed Brown    Input Parameters:
117c4762a1bSJed Brown .  ts - the TS context
118c4762a1bSJed Brown .  X - input vector
119c4762a1bSJed Brown .  ptr - optional user-defined context, as set by SNESSetFunction()
120c4762a1bSJed Brown 
121c4762a1bSJed Brown    Output Parameter:
122c4762a1bSJed Brown .  F - function vector
123c4762a1bSJed Brown  */
FormFunction(TS ts,PetscReal ftime,Vec X,Vec F,void * ptr)124d71ae5a4SJacob Faibussowitsch PetscErrorCode FormFunction(TS ts, PetscReal ftime, Vec X, Vec F, void *ptr)
125d71ae5a4SJacob Faibussowitsch {
126c4762a1bSJed Brown   DM          da;
127c4762a1bSJed Brown   PetscInt    i, j, Mx, My, xs, ys, xm, ym;
128c4762a1bSJed Brown   PetscReal   two = 2.0, hx, hy, sx, sy;
129c4762a1bSJed Brown   PetscScalar u, uxx, uyy, **x, **f;
130c4762a1bSJed Brown   Vec         localX;
131c4762a1bSJed Brown 
132c4762a1bSJed Brown   PetscFunctionBeginUser;
1339566063dSJacob Faibussowitsch   PetscCall(TSGetDM(ts, &da));
1349566063dSJacob Faibussowitsch   PetscCall(DMGetLocalVector(da, &localX));
1359566063dSJacob 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));
136c4762a1bSJed Brown 
1379371c9d4SSatish Balay   hx = 1.0 / (PetscReal)(Mx - 1);
1389371c9d4SSatish Balay   sx = 1.0 / (hx * hx);
1399371c9d4SSatish Balay   hy = 1.0 / (PetscReal)(My - 1);
1409371c9d4SSatish Balay   sy = 1.0 / (hy * hy);
141c4762a1bSJed Brown 
142c4762a1bSJed Brown   /*
143c4762a1bSJed Brown      Scatter ghost points to local vector,using the 2-step process
144c4762a1bSJed Brown         DMGlobalToLocalBegin(),DMGlobalToLocalEnd().
145c4762a1bSJed Brown      By placing code between these two statements, computations can be
146c4762a1bSJed Brown      done while messages are in transition.
147c4762a1bSJed Brown   */
1489566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da, X, INSERT_VALUES, localX));
1499566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da, X, INSERT_VALUES, localX));
150c4762a1bSJed Brown 
151c4762a1bSJed Brown   /*
152c4762a1bSJed Brown      Get pointers to vector data
153c4762a1bSJed Brown   */
1549566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(da, localX, &x));
1559566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da, F, &f));
156c4762a1bSJed Brown 
157c4762a1bSJed Brown   /*
158c4762a1bSJed Brown      Get local grid boundaries
159c4762a1bSJed Brown   */
1609566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da, &xs, &ys, NULL, &xm, &ym, NULL));
161c4762a1bSJed Brown 
162c4762a1bSJed Brown   /*
163c4762a1bSJed Brown      Compute function over the locally owned part of the grid
164c4762a1bSJed Brown   */
165c4762a1bSJed Brown   for (j = ys; j < ys + ym; j++) {
166c4762a1bSJed Brown     for (i = xs; i < xs + xm; i++) {
167c4762a1bSJed Brown       if (i == 0 || j == 0 || i == Mx - 1 || j == My - 1) {
168c4762a1bSJed Brown         f[j][i] = x[j][i];
169c4762a1bSJed Brown         continue;
170c4762a1bSJed Brown       }
171c4762a1bSJed Brown       u   = x[j][i];
172c4762a1bSJed Brown       uxx = (two * u - x[j][i - 1] - x[j][i + 1]) * sx;
173c4762a1bSJed Brown       uyy = (two * u - x[j - 1][i] - x[j + 1][i]) * sy;
174c4762a1bSJed Brown       /*      f[j][i] = -(uxx + uyy); */
1759371c9d4SSatish Balay       f[j][i] = -u * (uxx + uyy) - (4.0 - 1.0) * ((x[j][i + 1] - x[j][i - 1]) * (x[j][i + 1] - x[j][i - 1]) * .25 * sx + (x[j + 1][i] - x[j - 1][i]) * (x[j + 1][i] - x[j - 1][i]) * .25 * sy);
176c4762a1bSJed Brown     }
177c4762a1bSJed Brown   }
178c4762a1bSJed Brown 
179c4762a1bSJed Brown   /*
180c4762a1bSJed Brown      Restore vectors
181c4762a1bSJed Brown   */
1829566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(da, localX, &x));
1839566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da, F, &f));
1849566063dSJacob Faibussowitsch   PetscCall(DMRestoreLocalVector(da, &localX));
1859566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(11.0 * ym * xm));
1863ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
187c4762a1bSJed Brown }
188c4762a1bSJed Brown 
189c4762a1bSJed Brown /* ------------------------------------------------------------------- */
FormInitialSolution(DM da,Vec U)190d71ae5a4SJacob Faibussowitsch PetscErrorCode FormInitialSolution(DM da, Vec U)
191d71ae5a4SJacob Faibussowitsch {
192c4762a1bSJed Brown   PetscInt      i, j, xs, ys, xm, ym, Mx, My;
193c4762a1bSJed Brown   PetscScalar **u;
194c4762a1bSJed Brown   PetscReal     hx, hy, x, y, r;
195c4762a1bSJed Brown 
196c4762a1bSJed Brown   PetscFunctionBeginUser;
1979566063dSJacob 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));
198c4762a1bSJed Brown 
199c4762a1bSJed Brown   hx = 1.0 / (PetscReal)(Mx - 1);
200c4762a1bSJed Brown   hy = 1.0 / (PetscReal)(My - 1);
201c4762a1bSJed Brown 
202c4762a1bSJed Brown   /*
203c4762a1bSJed Brown      Get pointers to vector data
204c4762a1bSJed Brown   */
2059566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da, U, &u));
206c4762a1bSJed Brown 
207c4762a1bSJed Brown   /*
208c4762a1bSJed Brown      Get local grid boundaries
209c4762a1bSJed Brown   */
2109566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da, &xs, &ys, NULL, &xm, &ym, NULL));
211c4762a1bSJed Brown 
212c4762a1bSJed Brown   /*
213c4762a1bSJed Brown      Compute function over the locally owned part of the grid
214c4762a1bSJed Brown   */
215c4762a1bSJed Brown   for (j = ys; j < ys + ym; j++) {
216c4762a1bSJed Brown     y = j * hy;
217c4762a1bSJed Brown     for (i = xs; i < xs + xm; i++) {
218c4762a1bSJed Brown       x = i * hx;
219c4762a1bSJed Brown       r = PetscSqrtReal((x - .5) * (x - .5) + (y - .5) * (y - .5));
220c4762a1bSJed Brown       if (r < .125) u[j][i] = PetscExpReal(-30.0 * r * r * r);
221c4762a1bSJed Brown       else u[j][i] = 0.0;
222c4762a1bSJed Brown     }
223c4762a1bSJed Brown   }
224c4762a1bSJed Brown 
225c4762a1bSJed Brown   /*
226c4762a1bSJed Brown      Restore vectors
227c4762a1bSJed Brown   */
2289566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da, U, &u));
2293ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
230c4762a1bSJed Brown }
231c4762a1bSJed Brown 
MyTSMonitor(TS ts,PetscInt step,PetscReal ptime,Vec v,PetscCtx ctx)232*2a8381b2SBarry Smith PetscErrorCode MyTSMonitor(TS ts, PetscInt step, PetscReal ptime, Vec v, PetscCtx ctx)
233d71ae5a4SJacob Faibussowitsch {
234c4762a1bSJed Brown   PetscReal norm;
235c4762a1bSJed Brown   MPI_Comm  comm;
236c4762a1bSJed Brown 
237c4762a1bSJed Brown   PetscFunctionBeginUser;
2383ba16761SJacob Faibussowitsch   if (step < 0) PetscFunctionReturn(PETSC_SUCCESS); /* step of -1 indicates an interpolated solution */
2399566063dSJacob Faibussowitsch   PetscCall(VecNorm(v, NORM_2, &norm));
2409566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)ts, &comm));
24163a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(comm, "timestep %" PetscInt_FMT " time %g norm %g\n", step, (double)ptime, (double)norm));
2423ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
243c4762a1bSJed Brown }
244c4762a1bSJed Brown 
245c4762a1bSJed Brown /*
246c4762a1bSJed Brown    MySNESMonitor - illustrate how to set user-defined monitoring routine for SNES.
247c4762a1bSJed Brown    Input Parameters:
248c4762a1bSJed Brown      snes - the SNES context
249c4762a1bSJed Brown      its - iteration number
250c4762a1bSJed Brown      fnorm - 2-norm function value (may be estimated)
251c4762a1bSJed Brown      ctx - optional user-defined context for private data for the
252c4762a1bSJed Brown          monitor routine, as set by SNESMonitorSet()
253c4762a1bSJed Brown  */
MySNESMonitor(SNES snes,PetscInt its,PetscReal fnorm,PetscViewerAndFormat * vf)254d71ae5a4SJacob Faibussowitsch PetscErrorCode MySNESMonitor(SNES snes, PetscInt its, PetscReal fnorm, PetscViewerAndFormat *vf)
255d71ae5a4SJacob Faibussowitsch {
256c4762a1bSJed Brown   PetscFunctionBeginUser;
2579566063dSJacob Faibussowitsch   PetscCall(SNESMonitorDefaultShort(snes, its, fnorm, vf));
2583ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
259c4762a1bSJed Brown }
260c4762a1bSJed Brown 
261c4762a1bSJed Brown /*TEST
262c4762a1bSJed Brown 
263c4762a1bSJed Brown     test:
264c4762a1bSJed Brown       args: -ts_max_steps 5
265c4762a1bSJed Brown 
266c4762a1bSJed Brown     test:
267c4762a1bSJed Brown       suffix: 2
268c4762a1bSJed Brown       args: -ts_max_steps 5 -snes_mf_operator
269c4762a1bSJed Brown 
270c4762a1bSJed Brown     test:
271c4762a1bSJed Brown       suffix: 3
272c4762a1bSJed Brown       args: -ts_max_steps 5 -snes_mf -pc_type none
273c4762a1bSJed Brown 
274c4762a1bSJed Brown TEST*/
275