xref: /petsc/src/ts/tutorials/advection-diffusion-reaction/ex6.c (revision 327415f76d85372a4417cf1aaa14db707d4d6c04)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] ="Model Equations for Advection \n";
3c4762a1bSJed Brown 
4c4762a1bSJed Brown /*
5c4762a1bSJed Brown     Modified from ex3.c
6c4762a1bSJed Brown     Page 9, Section 1.2 Model Equations for Advection-Diffusion
7c4762a1bSJed Brown 
8c4762a1bSJed Brown           u_t + a u_x = 0, 0<= x <= 1.0
9c4762a1bSJed Brown 
10c4762a1bSJed Brown    The initial conditions used here different from the book.
11c4762a1bSJed Brown 
12c4762a1bSJed Brown    Example:
13c4762a1bSJed Brown      ./ex6 -ts_monitor -ts_view_solution -ts_max_steps 100 -ts_monitor_solution draw -draw_pause .1
14c4762a1bSJed Brown      ./ex6 -ts_monitor -ts_max_steps 100 -ts_monitor_lg_error -draw_pause .1
15c4762a1bSJed Brown */
16c4762a1bSJed Brown 
17c4762a1bSJed Brown #include <petscts.h>
18c4762a1bSJed Brown #include <petscdm.h>
19c4762a1bSJed Brown #include <petscdmda.h>
20c4762a1bSJed Brown 
21c4762a1bSJed Brown /*
22c4762a1bSJed Brown    User-defined application context - contains data needed by the
23c4762a1bSJed Brown    application-provided call-back routines.
24c4762a1bSJed Brown */
25c4762a1bSJed Brown typedef struct {
26c4762a1bSJed Brown   PetscReal a;   /* advection strength */
27c4762a1bSJed Brown } AppCtx;
28c4762a1bSJed Brown 
29c4762a1bSJed Brown /* User-defined routines */
30c4762a1bSJed Brown extern PetscErrorCode InitialConditions(TS,Vec,AppCtx*);
31c4762a1bSJed Brown extern PetscErrorCode Solution(TS,PetscReal,Vec,AppCtx*);
32c4762a1bSJed Brown extern PetscErrorCode IFunction_LaxFriedrichs(TS,PetscReal,Vec,Vec,Vec,void*);
33c4762a1bSJed Brown extern PetscErrorCode IFunction_LaxWendroff(TS,PetscReal,Vec,Vec,Vec,void*);
34c4762a1bSJed Brown 
35c4762a1bSJed Brown int main(int argc,char **argv)
36c4762a1bSJed Brown {
37c4762a1bSJed Brown   AppCtx         appctx;                 /* user-defined application context */
38c4762a1bSJed Brown   TS             ts;                     /* timestepping context */
39c4762a1bSJed Brown   Vec            U;                      /* approximate solution vector */
40c4762a1bSJed Brown   PetscReal      dt;
41c4762a1bSJed Brown   DM             da;
42c4762a1bSJed Brown   PetscInt       M;
43c4762a1bSJed Brown   PetscMPIInt    rank;
44c4762a1bSJed Brown   PetscBool      useLaxWendroff = PETSC_TRUE;
45c4762a1bSJed Brown 
46c4762a1bSJed Brown   /* Initialize program and set problem parameters */
47*327415f7SBarry Smith   PetscFunctionBeginUser;
489566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&argv,(char*)0,help));
499566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
50c4762a1bSJed Brown 
51c4762a1bSJed Brown   appctx.a  = -1.0;
529566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetReal(NULL,NULL,"-a",&appctx.a,NULL));
53c4762a1bSJed Brown 
549566063dSJacob Faibussowitsch   PetscCall(DMDACreate1d(PETSC_COMM_WORLD,DM_BOUNDARY_PERIODIC, 60, 1, 1,NULL,&da));
559566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(da));
569566063dSJacob Faibussowitsch   PetscCall(DMSetUp(da));
57c4762a1bSJed Brown 
58c4762a1bSJed Brown   /* Create vector data structures for approximate and exact solutions */
599566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(da,&U));
60c4762a1bSJed Brown 
61c4762a1bSJed Brown   /* Create timestepping solver context */
629566063dSJacob Faibussowitsch   PetscCall(TSCreate(PETSC_COMM_WORLD,&ts));
639566063dSJacob Faibussowitsch   PetscCall(TSSetDM(ts,da));
64c4762a1bSJed Brown 
65c4762a1bSJed Brown   /* Function evaluation */
669566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-useLaxWendroff",&useLaxWendroff,NULL));
67c4762a1bSJed Brown   if (useLaxWendroff) {
68dd400576SPatrick Sanan     if (rank == 0) {
699566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF,"... Use Lax-Wendroff finite volume\n"));
70c4762a1bSJed Brown     }
719566063dSJacob Faibussowitsch     PetscCall(TSSetIFunction(ts,NULL,IFunction_LaxWendroff,&appctx));
72c4762a1bSJed Brown   } else {
73dd400576SPatrick Sanan     if (rank == 0) {
749566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF,"... Use Lax-LaxFriedrichs finite difference\n"));
75c4762a1bSJed Brown     }
769566063dSJacob Faibussowitsch     PetscCall(TSSetIFunction(ts,NULL,IFunction_LaxFriedrichs,&appctx));
77c4762a1bSJed Brown   }
78c4762a1bSJed Brown 
79c4762a1bSJed Brown   /* Customize timestepping solver */
809566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da,PETSC_IGNORE,&M,0,0,0,0,0,0,0,0,0,0,0));
81c4762a1bSJed Brown   dt = 1.0/(PetscAbsReal(appctx.a)*M);
829566063dSJacob Faibussowitsch   PetscCall(TSSetTimeStep(ts,dt));
839566063dSJacob Faibussowitsch   PetscCall(TSSetMaxSteps(ts,100));
849566063dSJacob Faibussowitsch   PetscCall(TSSetMaxTime(ts,100.0));
859566063dSJacob Faibussowitsch   PetscCall(TSSetExactFinalTime(ts,TS_EXACTFINALTIME_STEPOVER));
869566063dSJacob Faibussowitsch   PetscCall(TSSetType(ts,TSBEULER));
879566063dSJacob Faibussowitsch   PetscCall(TSSetFromOptions(ts));
88c4762a1bSJed Brown 
89c4762a1bSJed Brown   /* Evaluate initial conditions */
909566063dSJacob Faibussowitsch   PetscCall(InitialConditions(ts,U,&appctx));
91c4762a1bSJed Brown 
92c4762a1bSJed Brown   /* For testing accuracy of TS with already known solution, e.g., '-ts_monitor_lg_error' */
939566063dSJacob Faibussowitsch   PetscCall(TSSetSolutionFunction(ts,(PetscErrorCode (*)(TS,PetscReal,Vec,void*))Solution,&appctx));
94c4762a1bSJed Brown 
95c4762a1bSJed Brown   /* Run the timestepping solver */
969566063dSJacob Faibussowitsch   PetscCall(TSSolve(ts,U));
97c4762a1bSJed Brown 
98c4762a1bSJed Brown   /* Free work space */
999566063dSJacob Faibussowitsch   PetscCall(TSDestroy(&ts));
1009566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&U));
1019566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&da));
102c4762a1bSJed Brown 
1039566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
104b122ec5aSJacob Faibussowitsch   return 0;
105c4762a1bSJed Brown }
106c4762a1bSJed Brown /* --------------------------------------------------------------------- */
107c4762a1bSJed Brown /*
108c4762a1bSJed Brown    InitialConditions - Computes the solution at the initial time.
109c4762a1bSJed Brown 
110c4762a1bSJed Brown    Input Parameter:
111c4762a1bSJed Brown    u - uninitialized solution vector (global)
112c4762a1bSJed Brown    appctx - user-defined application context
113c4762a1bSJed Brown 
114c4762a1bSJed Brown    Output Parameter:
115c4762a1bSJed Brown    u - vector with solution at initial time (global)
116c4762a1bSJed Brown */
117c4762a1bSJed Brown PetscErrorCode InitialConditions(TS ts,Vec U,AppCtx *appctx)
118c4762a1bSJed Brown {
119c4762a1bSJed Brown   PetscScalar    *u;
120c4762a1bSJed Brown   PetscInt       i,mstart,mend,um,M;
121c4762a1bSJed Brown   DM             da;
122c4762a1bSJed Brown   PetscReal      h;
123c4762a1bSJed Brown 
1249566063dSJacob Faibussowitsch   PetscCall(TSGetDM(ts,&da));
1259566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0));
1269566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da,PETSC_IGNORE,&M,0,0,0,0,0,0,0,0,0,0,0));
127c4762a1bSJed Brown   h    = 1.0/M;
128c4762a1bSJed Brown   mend = mstart + um;
129c4762a1bSJed Brown   /*
130c4762a1bSJed Brown     Get a pointer to vector data.
131c4762a1bSJed Brown     - For default PETSc vectors, VecGetArray() returns a pointer to
132c4762a1bSJed Brown       the data array.  Otherwise, the routine is implementation dependent.
133c4762a1bSJed Brown     - You MUST call VecRestoreArray() when you no longer need access to
134c4762a1bSJed Brown       the array.
135c4762a1bSJed Brown     - Note that the Fortran interface to VecGetArray() differs from the
136c4762a1bSJed Brown       C version.  See the users manual for details.
137c4762a1bSJed Brown   */
1389566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da,U,&u));
139c4762a1bSJed Brown 
140c4762a1bSJed Brown   /*
141c4762a1bSJed Brown      We initialize the solution array by simply writing the solution
142c4762a1bSJed Brown      directly into the array locations.  Alternatively, we could use
143c4762a1bSJed Brown      VecSetValues() or VecSetValuesLocal().
144c4762a1bSJed Brown   */
145c4762a1bSJed Brown   for (i=mstart; i<mend; i++) u[i] = PetscSinReal(PETSC_PI*i*6.*h) + 3.*PetscSinReal(PETSC_PI*i*2.*h);
146c4762a1bSJed Brown 
147c4762a1bSJed Brown   /* Restore vector */
1489566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da,U,&u));
149c4762a1bSJed Brown   return 0;
150c4762a1bSJed Brown }
151c4762a1bSJed Brown /* --------------------------------------------------------------------- */
152c4762a1bSJed Brown /*
153c4762a1bSJed Brown    Solution - Computes the exact solution at a given time
154c4762a1bSJed Brown 
155c4762a1bSJed Brown    Input Parameters:
156c4762a1bSJed Brown    t - current time
157c4762a1bSJed Brown    solution - vector in which exact solution will be computed
158c4762a1bSJed Brown    appctx - user-defined application context
159c4762a1bSJed Brown 
160c4762a1bSJed Brown    Output Parameter:
161c4762a1bSJed Brown    solution - vector with the newly computed exact solution
162c4762a1bSJed Brown               u(x,t) = sin(6*PI*(x - a*t)) + 3 * sin(2*PI*(x - a*t))
163c4762a1bSJed Brown */
164c4762a1bSJed Brown PetscErrorCode Solution(TS ts,PetscReal t,Vec U,AppCtx *appctx)
165c4762a1bSJed Brown {
166c4762a1bSJed Brown   PetscScalar    *u;
167c4762a1bSJed Brown   PetscReal      a=appctx->a,h,PI6,PI2;
168c4762a1bSJed Brown   PetscInt       i,mstart,mend,um,M;
169c4762a1bSJed Brown   DM             da;
170c4762a1bSJed Brown 
1719566063dSJacob Faibussowitsch   PetscCall(TSGetDM(ts,&da));
1729566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0));
1739566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da,PETSC_IGNORE,&M,0,0,0,0,0,0,0,0,0,0,0));
174c4762a1bSJed Brown   h    = 1.0/M;
175c4762a1bSJed Brown   mend = mstart + um;
176c4762a1bSJed Brown 
177c4762a1bSJed Brown   /* Get a pointer to vector data. */
1789566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da,U,&u));
179c4762a1bSJed Brown 
180c4762a1bSJed Brown   /* u[i] = sin(6*PI*(x[i] - a*t)) + 3 * sin(2*PI*(x[i] - a*t)) */
181c4762a1bSJed Brown   PI6 = PETSC_PI*6.;
182c4762a1bSJed Brown   PI2 = PETSC_PI*2.;
183c4762a1bSJed Brown   for (i=mstart; i<mend; i++) {
184c4762a1bSJed Brown     u[i] = PetscSinReal(PI6*(i*h - a*t)) + 3.*PetscSinReal(PI2*(i*h - a*t));
185c4762a1bSJed Brown   }
186c4762a1bSJed Brown 
187c4762a1bSJed Brown   /* Restore vector */
1889566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da,U,&u));
189c4762a1bSJed Brown   return 0;
190c4762a1bSJed Brown }
191c4762a1bSJed Brown 
192c4762a1bSJed Brown /* --------------------------------------------------------------------- */
193c4762a1bSJed Brown /*
194c4762a1bSJed Brown  Use Lax-Friedrichs method to evaluate F(u,t) = du/dt + a *  du/dx
195c4762a1bSJed Brown 
196c4762a1bSJed Brown  See https://en.wikipedia.org/wiki/Lax%E2%80%93Friedrichs_method
197c4762a1bSJed Brown  */
198c4762a1bSJed Brown PetscErrorCode IFunction_LaxFriedrichs(TS ts,PetscReal t,Vec U,Vec Udot,Vec F,void* ctx)
199c4762a1bSJed Brown {
200c4762a1bSJed Brown   AppCtx         *appctx=(AppCtx*)ctx;
201c4762a1bSJed Brown   PetscInt       mstart,mend,M,i,um;
202c4762a1bSJed Brown   DM             da;
203c4762a1bSJed Brown   Vec            Uold,localUold;
204c4762a1bSJed Brown   PetscScalar    *uarray,*f,*uoldarray,h,uave,c;
205c4762a1bSJed Brown   PetscReal      dt;
206c4762a1bSJed Brown 
207c4762a1bSJed Brown   PetscFunctionBegin;
2089566063dSJacob Faibussowitsch   PetscCall(TSGetTimeStep(ts,&dt));
2099566063dSJacob Faibussowitsch   PetscCall(TSGetSolution(ts,&Uold));
210c4762a1bSJed Brown 
2119566063dSJacob Faibussowitsch   PetscCall(TSGetDM(ts,&da));
2129566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da,0,&M,0,0,0,0,0,0,0,0,0,0,0));
2139566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0));
214c4762a1bSJed Brown   h    = 1.0/M;
215c4762a1bSJed Brown   mend = mstart + um;
216c4762a1bSJed Brown   /* printf(" mstart %d, um %d\n",mstart,um); */
217c4762a1bSJed Brown 
2189566063dSJacob Faibussowitsch   PetscCall(DMGetLocalVector(da,&localUold));
2199566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da,Uold,INSERT_VALUES,localUold));
2209566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da,Uold,INSERT_VALUES,localUold));
221c4762a1bSJed Brown 
222c4762a1bSJed Brown   /* Get pointers to vector data */
2239566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(da,U,&uarray));
2249566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(da,localUold,&uoldarray));
2259566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da,F,&f));
226c4762a1bSJed Brown 
227c4762a1bSJed Brown   /* advection */
228c4762a1bSJed Brown   c = appctx->a*dt/h; /* Courant-Friedrichs-Lewy number (CFL number) */
229c4762a1bSJed Brown 
230c4762a1bSJed Brown   for (i=mstart; i<mend; i++) {
231c4762a1bSJed Brown     uave = 0.5*(uoldarray[i-1] + uoldarray[i+1]);
232c4762a1bSJed Brown     f[i] = uarray[i] - uave + c*0.5*(uoldarray[i+1] - uoldarray[i-1]);
233c4762a1bSJed Brown   }
234c4762a1bSJed Brown 
235c4762a1bSJed Brown   /* Restore vectors */
2369566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(da,U,&uarray));
2379566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(da,localUold,&uoldarray));
2389566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da,F,&f));
2399566063dSJacob Faibussowitsch   PetscCall(DMRestoreLocalVector(da,&localUold));
240c4762a1bSJed Brown   PetscFunctionReturn(0);
241c4762a1bSJed Brown }
242c4762a1bSJed Brown 
243c4762a1bSJed Brown /*
244c4762a1bSJed Brown  Use Lax-Wendroff method to evaluate F(u,t) = du/dt + a *  du/dx
245c4762a1bSJed Brown */
246c4762a1bSJed Brown PetscErrorCode IFunction_LaxWendroff(TS ts,PetscReal t,Vec U,Vec Udot,Vec F,void* ctx)
247c4762a1bSJed Brown {
248c4762a1bSJed Brown   AppCtx         *appctx=(AppCtx*)ctx;
249c4762a1bSJed Brown   PetscInt       mstart,mend,M,i,um;
250c4762a1bSJed Brown   DM             da;
251c4762a1bSJed Brown   Vec            Uold,localUold;
252c4762a1bSJed Brown   PetscScalar    *uarray,*f,*uoldarray,h,RFlux,LFlux,lambda;
253c4762a1bSJed Brown   PetscReal      dt,a;
254c4762a1bSJed Brown 
255c4762a1bSJed Brown   PetscFunctionBegin;
2569566063dSJacob Faibussowitsch   PetscCall(TSGetTimeStep(ts,&dt));
2579566063dSJacob Faibussowitsch   PetscCall(TSGetSolution(ts,&Uold));
258c4762a1bSJed Brown 
2599566063dSJacob Faibussowitsch   PetscCall(TSGetDM(ts,&da));
2609566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da,0,&M,0,0,0,0,0,0,0,0,0,0,0));
2619566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0));
262c4762a1bSJed Brown   h    = 1.0/M;
263c4762a1bSJed Brown   mend = mstart + um;
264c4762a1bSJed Brown   /* printf(" mstart %d, um %d\n",mstart,um); */
265c4762a1bSJed Brown 
2669566063dSJacob Faibussowitsch   PetscCall(DMGetLocalVector(da,&localUold));
2679566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(da,Uold,INSERT_VALUES,localUold));
2689566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(da,Uold,INSERT_VALUES,localUold));
269c4762a1bSJed Brown 
270c4762a1bSJed Brown   /* Get pointers to vector data */
2719566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(da,U,&uarray));
2729566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(da,localUold,&uoldarray));
2739566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(da,F,&f));
274c4762a1bSJed Brown 
275c4762a1bSJed Brown   /* advection -- finite volume (appctx->a < 0 -- can be relaxed?) */
276c4762a1bSJed Brown   lambda = dt/h;
277c4762a1bSJed Brown   a = appctx->a;
278c4762a1bSJed Brown 
279c4762a1bSJed Brown   for (i=mstart; i<mend; i++) {
280c4762a1bSJed Brown     RFlux = 0.5 * a * (uoldarray[i+1] + uoldarray[i]) - a*a*0.5*lambda * (uoldarray[i+1] - uoldarray[i]);
281c4762a1bSJed Brown     LFlux = 0.5 * a * (uoldarray[i-1] + uoldarray[i]) - a*a*0.5*lambda * (uoldarray[i] - uoldarray[i-1]);
282c4762a1bSJed Brown     f[i]  = uarray[i] - uoldarray[i] + lambda * (RFlux - LFlux);
283c4762a1bSJed Brown   }
284c4762a1bSJed Brown 
285c4762a1bSJed Brown   /* Restore vectors */
2869566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(da,U,&uarray));
2879566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(da,localUold,&uoldarray));
2889566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(da,F,&f));
2899566063dSJacob Faibussowitsch   PetscCall(DMRestoreLocalVector(da,&localUold));
290c4762a1bSJed Brown   PetscFunctionReturn(0);
291c4762a1bSJed Brown }
292c4762a1bSJed Brown 
293c4762a1bSJed Brown /*TEST
294c4762a1bSJed Brown 
295c4762a1bSJed Brown    test:
296c4762a1bSJed Brown       args: -ts_max_steps 10 -ts_monitor
297c4762a1bSJed Brown 
298c4762a1bSJed Brown    test:
299c4762a1bSJed Brown       suffix: 2
300c4762a1bSJed Brown       nsize: 3
301c4762a1bSJed Brown       args: -ts_max_steps 10 -ts_monitor
302c4762a1bSJed Brown       output_file: output/ex6_1.out
303c4762a1bSJed Brown 
304c4762a1bSJed Brown    test:
305c4762a1bSJed Brown       suffix: 3
306c4762a1bSJed Brown       args: -ts_max_steps 10 -ts_monitor -useLaxWendroff false
307c4762a1bSJed Brown 
308c4762a1bSJed Brown    test:
309c4762a1bSJed Brown       suffix: 4
310c4762a1bSJed Brown       nsize: 3
311c4762a1bSJed Brown       args: -ts_max_steps 10 -ts_monitor -useLaxWendroff false
312c4762a1bSJed Brown       output_file: output/ex6_3.out
313c4762a1bSJed Brown 
314c4762a1bSJed Brown TEST*/
315