xref: /petsc/src/ts/tutorials/ex12.c (revision b122ec5aa1bd4469eb4e0673542fb7de3f411254)
1c4762a1bSJed Brown static char help[] = "Nonlinear, time-dependent PDE in 2d.\n";
2c4762a1bSJed Brown /*
3c4762a1bSJed Brown   Solves the equation
4c4762a1bSJed Brown 
5c4762a1bSJed Brown     u_tt - \Delta u = 0
6c4762a1bSJed Brown 
7c4762a1bSJed Brown   which we split into two first-order systems
8c4762a1bSJed Brown 
9c4762a1bSJed Brown     u_t -     v    = 0    so that     F(u,v).u = v
10c4762a1bSJed Brown     v_t - \Delta u = 0    so that     F(u,v).v = Delta u
11c4762a1bSJed Brown 
12c4762a1bSJed Brown    Include "petscdmda.h" so that we can use distributed arrays (DMDAs).
13c4762a1bSJed Brown    Include "petscts.h" so that we can use SNES solvers.  Note that this
14c4762a1bSJed Brown    file automatically includes:
15c4762a1bSJed Brown      petscsys.h       - base PETSc routines   petscvec.h - vectors
16c4762a1bSJed Brown      petscmat.h - matrices
17c4762a1bSJed Brown      petscis.h     - index sets            petscksp.h - Krylov subspace methods
18c4762a1bSJed Brown      petscviewer.h - viewers               petscpc.h  - preconditioners
19c4762a1bSJed Brown      petscksp.h   - linear solvers
20c4762a1bSJed Brown */
21c4762a1bSJed Brown #include <petscdm.h>
22c4762a1bSJed Brown #include <petscdmda.h>
23c4762a1bSJed Brown #include <petscts.h>
24c4762a1bSJed Brown 
25c4762a1bSJed Brown /*
26c4762a1bSJed Brown    User-defined routines
27c4762a1bSJed Brown */
28c4762a1bSJed Brown extern PetscErrorCode FormFunction(TS,PetscReal,Vec,Vec,void*),FormInitialSolution(DM,Vec);
29c4762a1bSJed Brown extern PetscErrorCode MyTSMonitor(TS,PetscInt,PetscReal,Vec,void*);
30c4762a1bSJed Brown extern PetscErrorCode MySNESMonitor(SNES,PetscInt,PetscReal,PetscViewerAndFormat*);
31c4762a1bSJed Brown 
32c4762a1bSJed Brown int main(int argc,char **argv)
33c4762a1bSJed Brown {
34c4762a1bSJed Brown   TS                   ts;                         /* nonlinear solver */
35c4762a1bSJed Brown   Vec                  x,r;                        /* solution, residual vectors */
36c4762a1bSJed Brown   PetscInt             steps;                      /* iterations for convergence */
37c4762a1bSJed Brown   DM                   da;
38c4762a1bSJed Brown   PetscReal            ftime;
39c4762a1bSJed Brown   SNES                 ts_snes;
40c4762a1bSJed Brown   PetscBool            usemonitor = PETSC_TRUE;
41c4762a1bSJed Brown   PetscViewerAndFormat *vf;
42c4762a1bSJed Brown 
43c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
44c4762a1bSJed Brown      Initialize program
45c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
46*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscInitialize(&argc,&argv,(char*)0,help));
475f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetBool(NULL,NULL,"-usemonitor",&usemonitor,NULL));
48c4762a1bSJed Brown 
49c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
50c4762a1bSJed Brown      Create distributed array (DMDA) to manage parallel grid and vectors
51c4762a1bSJed Brown   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
525f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDACreate2d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE,DMDA_STENCIL_STAR,8,8,PETSC_DECIDE,PETSC_DECIDE,2,1,NULL,NULL,&da));
535f80ce2aSJacob Faibussowitsch   CHKERRQ(DMSetFromOptions(da));
545f80ce2aSJacob Faibussowitsch   CHKERRQ(DMSetUp(da));
555f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDASetFieldName(da,0,"u"));
565f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDASetFieldName(da,1,"v"));
57c4762a1bSJed Brown 
58c4762a1bSJed Brown   /*  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
59c4762a1bSJed Brown      Extract global vectors from DMDA; then duplicate for remaining
60c4762a1bSJed Brown      vectors that are the same types
61c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
625f80ce2aSJacob Faibussowitsch   CHKERRQ(DMCreateGlobalVector(da,&x));
635f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(x,&r));
64c4762a1bSJed Brown 
65c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
66c4762a1bSJed Brown      Create timestepping solver context
67c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
685f80ce2aSJacob Faibussowitsch   CHKERRQ(TSCreate(PETSC_COMM_WORLD,&ts));
695f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetDM(ts,da));
705f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetProblemType(ts,TS_NONLINEAR));
715f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSFunction(ts,NULL,FormFunction,da));
72c4762a1bSJed Brown 
735f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetMaxTime(ts,1.0));
74c4762a1bSJed Brown   if (usemonitor) {
755f80ce2aSJacob Faibussowitsch     CHKERRQ(TSMonitorSet(ts,MyTSMonitor,0,0));
76c4762a1bSJed Brown   }
77c4762a1bSJed Brown 
78c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
79c4762a1bSJed Brown      Customize nonlinear solver
80c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
815f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetType(ts,TSBEULER));
825f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetSNES(ts,&ts_snes));
83c4762a1bSJed Brown   if (usemonitor) {
845f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscViewerAndFormatCreate(PETSC_VIEWER_STDOUT_WORLD,PETSC_VIEWER_DEFAULT,&vf));
855f80ce2aSJacob Faibussowitsch     CHKERRQ(SNESMonitorSet(ts_snes,(PetscErrorCode (*)(SNES,PetscInt,PetscReal,void *))MySNESMonitor,vf,(PetscErrorCode (*)(void**))PetscViewerAndFormatDestroy));
86c4762a1bSJed Brown   }
87c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
88c4762a1bSJed Brown      Set initial conditions
89c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
905f80ce2aSJacob Faibussowitsch   CHKERRQ(FormInitialSolution(da,x));
915f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetTimeStep(ts,.0001));
925f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetExactFinalTime(ts,TS_EXACTFINALTIME_STEPOVER));
935f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetSolution(ts,x));
94c4762a1bSJed Brown 
95c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
96c4762a1bSJed Brown      Set runtime options
97c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
985f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetFromOptions(ts));
99c4762a1bSJed Brown 
100c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
101c4762a1bSJed Brown      Solve nonlinear system
102c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1035f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSolve(ts,x));
1045f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetSolveTime(ts,&ftime));
1055f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetStepNumber(ts,&steps));
1065f80ce2aSJacob Faibussowitsch   CHKERRQ(VecViewFromOptions(x,NULL,"-final_sol"));
107c4762a1bSJed Brown 
108c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
109c4762a1bSJed Brown      Free work space.  All PETSc objects should be destroyed when they
110c4762a1bSJed Brown      are no longer needed.
111c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1125f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&x));
1135f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&r));
1145f80ce2aSJacob Faibussowitsch   CHKERRQ(TSDestroy(&ts));
1155f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDestroy(&da));
116c4762a1bSJed Brown 
117*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscFinalize());
118*b122ec5aSJacob Faibussowitsch   return 0;
119c4762a1bSJed Brown }
120c4762a1bSJed Brown /* ------------------------------------------------------------------- */
121c4762a1bSJed Brown /*
122c4762a1bSJed Brown    FormFunction - Evaluates nonlinear function, F(x).
123c4762a1bSJed Brown 
124c4762a1bSJed Brown    Input Parameters:
125c4762a1bSJed Brown .  ts - the TS context
126c4762a1bSJed Brown .  X - input vector
127c4762a1bSJed Brown .  ptr - optional user-defined context, as set by SNESSetFunction()
128c4762a1bSJed Brown 
129c4762a1bSJed Brown    Output Parameter:
130c4762a1bSJed Brown .  F - function vector
131c4762a1bSJed Brown  */
132c4762a1bSJed Brown PetscErrorCode FormFunction(TS ts,PetscReal ftime,Vec X,Vec F,void *ptr)
133c4762a1bSJed Brown {
134c4762a1bSJed Brown   DM             da = (DM)ptr;
135c4762a1bSJed Brown   PetscInt       i,j,Mx,My,xs,ys,xm,ym;
136c4762a1bSJed Brown   PetscReal      hx,hy,/*hxdhy,hydhx,*/ sx,sy;
137c4762a1bSJed Brown   PetscScalar    u,uxx,uyy,v,***x,***f;
138c4762a1bSJed Brown   Vec            localX;
139c4762a1bSJed Brown 
140c4762a1bSJed Brown   PetscFunctionBeginUser;
1415f80ce2aSJacob Faibussowitsch   CHKERRQ(DMGetLocalVector(da,&localX));
1425f80ce2aSJacob Faibussowitsch   CHKERRQ(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));
143c4762a1bSJed Brown 
144c4762a1bSJed Brown   hx = 1.0/(PetscReal)(Mx-1); sx = 1.0/(hx*hx);
145c4762a1bSJed Brown   hy = 1.0/(PetscReal)(My-1); sy = 1.0/(hy*hy);
146c4762a1bSJed Brown   /*hxdhy  = hx/hy;*/
147c4762a1bSJed Brown   /*hydhx  = hy/hx;*/
148c4762a1bSJed Brown 
149c4762a1bSJed Brown   /*
150c4762a1bSJed Brown      Scatter ghost points to local vector,using the 2-step process
151c4762a1bSJed Brown         DMGlobalToLocalBegin(),DMGlobalToLocalEnd().
152c4762a1bSJed Brown      By placing code between these two statements, computations can be
153c4762a1bSJed Brown      done while messages are in transition.
154c4762a1bSJed Brown   */
1555f80ce2aSJacob Faibussowitsch   CHKERRQ(DMGlobalToLocalBegin(da,X,INSERT_VALUES,localX));
1565f80ce2aSJacob Faibussowitsch   CHKERRQ(DMGlobalToLocalEnd(da,X,INSERT_VALUES,localX));
157c4762a1bSJed Brown 
158c4762a1bSJed Brown   /*
159c4762a1bSJed Brown      Get pointers to vector data
160c4762a1bSJed Brown   */
1615f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAVecGetArrayDOF(da,localX,&x));
1625f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAVecGetArrayDOF(da,F,&f));
163c4762a1bSJed Brown 
164c4762a1bSJed Brown   /*
165c4762a1bSJed Brown      Get local grid boundaries
166c4762a1bSJed Brown   */
1675f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAGetCorners(da,&xs,&ys,NULL,&xm,&ym,NULL));
168c4762a1bSJed Brown 
169c4762a1bSJed Brown   /*
170c4762a1bSJed Brown      Compute function over the locally owned part of the grid
171c4762a1bSJed Brown   */
172c4762a1bSJed Brown   for (j=ys; j<ys+ym; j++) {
173c4762a1bSJed Brown     for (i=xs; i<xs+xm; i++) {
174c4762a1bSJed Brown       if (i == 0 || j == 0 || i == Mx-1 || j == My-1) {
175c4762a1bSJed Brown         f[j][i][0] = x[j][i][0];
176c4762a1bSJed Brown         f[j][i][1] = x[j][i][1];
177c4762a1bSJed Brown         continue;
178c4762a1bSJed Brown       }
179c4762a1bSJed Brown       u          = x[j][i][0];
180c4762a1bSJed Brown       v          = x[j][i][1];
181c4762a1bSJed Brown       uxx        = (-2.0*u + x[j][i-1][0] + x[j][i+1][0])*sx;
182c4762a1bSJed Brown       uyy        = (-2.0*u + x[j-1][i][0] + x[j+1][i][0])*sy;
183c4762a1bSJed Brown       f[j][i][0] = v;
184c4762a1bSJed Brown       f[j][i][1] = uxx + uyy;
185c4762a1bSJed Brown     }
186c4762a1bSJed Brown   }
187c4762a1bSJed Brown 
188c4762a1bSJed Brown   /*
189c4762a1bSJed Brown      Restore vectors
190c4762a1bSJed Brown   */
1915f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAVecRestoreArrayDOF(da,localX,&x));
1925f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAVecRestoreArrayDOF(da,F,&f));
1935f80ce2aSJacob Faibussowitsch   CHKERRQ(DMRestoreLocalVector(da,&localX));
1945f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscLogFlops(11.0*ym*xm));
195c4762a1bSJed Brown   PetscFunctionReturn(0);
196c4762a1bSJed Brown }
197c4762a1bSJed Brown 
198c4762a1bSJed Brown /* ------------------------------------------------------------------- */
199c4762a1bSJed Brown PetscErrorCode FormInitialSolution(DM da,Vec U)
200c4762a1bSJed Brown {
201c4762a1bSJed Brown   PetscInt       i,j,xs,ys,xm,ym,Mx,My;
202c4762a1bSJed Brown   PetscScalar    ***u;
203c4762a1bSJed Brown   PetscReal      hx,hy,x,y,r;
204c4762a1bSJed Brown 
205c4762a1bSJed Brown   PetscFunctionBeginUser;
2065f80ce2aSJacob Faibussowitsch   CHKERRQ(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));
207c4762a1bSJed Brown 
208c4762a1bSJed Brown   hx = 1.0/(PetscReal)(Mx-1);
209c4762a1bSJed Brown   hy = 1.0/(PetscReal)(My-1);
210c4762a1bSJed Brown 
211c4762a1bSJed Brown   /*
212c4762a1bSJed Brown      Get pointers to vector data
213c4762a1bSJed Brown   */
2145f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAVecGetArrayDOF(da,U,&u));
215c4762a1bSJed Brown 
216c4762a1bSJed Brown   /*
217c4762a1bSJed Brown      Get local grid boundaries
218c4762a1bSJed Brown   */
2195f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAGetCorners(da,&xs,&ys,NULL,&xm,&ym,NULL));
220c4762a1bSJed Brown 
221c4762a1bSJed Brown   /*
222c4762a1bSJed Brown      Compute function over the locally owned part of the grid
223c4762a1bSJed Brown   */
224c4762a1bSJed Brown   for (j=ys; j<ys+ym; j++) {
225c4762a1bSJed Brown     y = j*hy;
226c4762a1bSJed Brown     for (i=xs; i<xs+xm; i++) {
227c4762a1bSJed Brown       x = i*hx;
228c4762a1bSJed Brown       r = PetscSqrtReal((x-.5)*(x-.5) + (y-.5)*(y-.5));
229c4762a1bSJed Brown       if (r < .125) {
230c4762a1bSJed Brown         u[j][i][0] = PetscExpReal(-30.0*r*r*r);
231c4762a1bSJed Brown         u[j][i][1] = 0.0;
232c4762a1bSJed Brown       } else {
233c4762a1bSJed Brown         u[j][i][0] = 0.0;
234c4762a1bSJed Brown         u[j][i][1] = 0.0;
235c4762a1bSJed Brown       }
236c4762a1bSJed Brown     }
237c4762a1bSJed Brown   }
238c4762a1bSJed Brown 
239c4762a1bSJed Brown   /*
240c4762a1bSJed Brown      Restore vectors
241c4762a1bSJed Brown   */
2425f80ce2aSJacob Faibussowitsch   CHKERRQ(DMDAVecRestoreArrayDOF(da,U,&u));
243c4762a1bSJed Brown   PetscFunctionReturn(0);
244c4762a1bSJed Brown }
245c4762a1bSJed Brown 
246c4762a1bSJed Brown PetscErrorCode MyTSMonitor(TS ts,PetscInt step,PetscReal ptime,Vec v,void *ctx)
247c4762a1bSJed Brown {
248c4762a1bSJed Brown   PetscReal      norm;
249c4762a1bSJed Brown   MPI_Comm       comm;
250c4762a1bSJed Brown 
251c4762a1bSJed Brown   PetscFunctionBeginUser;
2525f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(v,NORM_2,&norm));
2535f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscObjectGetComm((PetscObject)ts,&comm));
254c4762a1bSJed Brown   if (step > -1) { /* -1 is used to indicate an interpolated value */
2555f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(comm,"timestep %D time %g norm %g\n",step,(double)ptime,(double)norm));
256c4762a1bSJed Brown   }
257c4762a1bSJed Brown   PetscFunctionReturn(0);
258c4762a1bSJed Brown }
259c4762a1bSJed Brown 
260c4762a1bSJed Brown /*
261c4762a1bSJed Brown    MySNESMonitor - illustrate how to set user-defined monitoring routine for SNES.
262c4762a1bSJed Brown    Input Parameters:
263c4762a1bSJed Brown      snes - the SNES context
264c4762a1bSJed Brown      its - iteration number
265c4762a1bSJed Brown      fnorm - 2-norm function value (may be estimated)
266c4762a1bSJed Brown      ctx - optional user-defined context for private data for the
267c4762a1bSJed Brown          monitor routine, as set by SNESMonitorSet()
268c4762a1bSJed Brown  */
269c4762a1bSJed Brown PetscErrorCode MySNESMonitor(SNES snes,PetscInt its,PetscReal fnorm,PetscViewerAndFormat *vf)
270c4762a1bSJed Brown {
271c4762a1bSJed Brown   PetscFunctionBeginUser;
2725f80ce2aSJacob Faibussowitsch   CHKERRQ(SNESMonitorDefaultShort(snes,its,fnorm,vf));
273c4762a1bSJed Brown   PetscFunctionReturn(0);
274c4762a1bSJed Brown }
275c4762a1bSJed Brown /*TEST
276c4762a1bSJed Brown 
277c4762a1bSJed Brown     test:
278c4762a1bSJed Brown       args: -da_grid_x 20 -ts_max_time 3 -ts_dt 1e-1 -ts_theta_initial_guess_extrapolate 0 -ts_monitor -ksp_monitor_short
279c4762a1bSJed Brown       requires: !single
280c4762a1bSJed Brown 
281c4762a1bSJed Brown     test:
282c4762a1bSJed Brown       suffix: 2
283c4762a1bSJed Brown       args: -da_grid_x 20 -ts_max_time 0.11 -ts_dt 1e-1 -ts_type glle -ts_monitor -ksp_monitor_short
284c4762a1bSJed Brown       requires: !single
285c4762a1bSJed Brown 
286c4762a1bSJed Brown     test:
287c4762a1bSJed Brown       suffix: glvis_da_2d_vect
288c4762a1bSJed Brown       args: -usemonitor 0 -da_grid_x 20 -ts_max_time 0.3 -ts_dt 1e-1 -ts_type glle -final_sol glvis: -viewer_glvis_dm_da_bs 2,0
289c4762a1bSJed Brown       requires: !single
290c4762a1bSJed Brown 
291c4762a1bSJed Brown     test:
292c4762a1bSJed Brown       suffix: glvis_da_2d_vect_ll
293c4762a1bSJed Brown       args: -usemonitor 0 -da_grid_x 20 -ts_max_time 0.3 -ts_dt 1e-1 -ts_type glle -final_sol glvis: -viewer_glvis_dm_da_bs 2,0 -viewer_glvis_dm_da_ll
294c4762a1bSJed Brown       requires: !single
295c4762a1bSJed Brown 
296c4762a1bSJed Brown TEST*/
297