xref: /petsc/src/ts/tutorials/eimex/ct_vdp_imex.c (revision b122ec5aa1bd4469eb4e0673542fb7de3f411254)
1c4762a1bSJed Brown /*
2c4762a1bSJed Brown  * ex_vdp.c
3c4762a1bSJed Brown  *
4c4762a1bSJed Brown  *  Created on: Jun 1, 2012
5c4762a1bSJed Brown  *      Author: Hong Zhang
6c4762a1bSJed Brown  */
7c4762a1bSJed Brown static char help[] = "Solves the van der Pol equation. \n Input parameters include:\n";
8c4762a1bSJed Brown 
9c4762a1bSJed Brown /*
10c4762a1bSJed Brown  * Processors:1
11c4762a1bSJed Brown  */
12c4762a1bSJed Brown 
13c4762a1bSJed Brown /*
14c4762a1bSJed Brown  * This program solves the van der Pol equation
15c4762a1bSJed Brown  * y' = z                               (1)
16c4762a1bSJed Brown  * z' = (((1-y^2)*z-y)/eps              (2)
17c4762a1bSJed Brown  * on the domain 0<=x<=0.5, with the initial conditions
18c4762a1bSJed Brown  * y(0) = 2,
19c4762a1bSJed Brown  * z(0) = -2/3 + 10/81*eps - 292/2187*eps^2-1814/19683*eps^3
20c4762a1bSJed Brown  * IMEX schemes are applied to the splitted equation
21c4762a1bSJed Brown  * [y'] = [z]  + [0                 ]
22c4762a1bSJed Brown  * [z']   [0]    [(((1-y^2)*z-y)/eps]
23c4762a1bSJed Brown  *
24c4762a1bSJed Brown  * F(x)= [z]
25c4762a1bSJed Brown  *       [0]
26c4762a1bSJed Brown  *
27c4762a1bSJed Brown  * G(x)= [y'] -   [0                 ]
28c4762a1bSJed Brown  *       [z']     [(((1-y^2)*z-y)/eps]
29c4762a1bSJed Brown  *
30c4762a1bSJed Brown  * JG(x) =  G_x + a G_xdot
31c4762a1bSJed Brown  */
32c4762a1bSJed Brown 
33c4762a1bSJed Brown #include <petscdmda.h>
34c4762a1bSJed Brown #include <petscts.h>
35c4762a1bSJed Brown 
36c4762a1bSJed Brown typedef struct _User *User;
37c4762a1bSJed Brown struct _User {
38c4762a1bSJed Brown   PetscReal mu;  /*stiffness control coefficient: epsilon*/
39c4762a1bSJed Brown };
40c4762a1bSJed Brown 
41c4762a1bSJed Brown static PetscErrorCode RHSFunction(TS,PetscReal,Vec,Vec,void*);
42c4762a1bSJed Brown static PetscErrorCode IFunction(TS,PetscReal,Vec,Vec,Vec,void*);
43c4762a1bSJed Brown static PetscErrorCode IJacobian(TS,PetscReal,Vec,Vec,PetscReal,Mat,Mat,void*);
44c4762a1bSJed Brown 
45c4762a1bSJed Brown int main(int argc, char **argv)
46c4762a1bSJed Brown {
47c4762a1bSJed Brown   TS                ts;
48c4762a1bSJed Brown   Vec               x; /*solution vector*/
49c4762a1bSJed Brown   Mat               A; /*Jacobian*/
50c4762a1bSJed Brown   PetscInt          steps,mx,eimex_rowcol[2],two;
51c4762a1bSJed Brown   PetscErrorCode    ierr;
52c4762a1bSJed Brown   PetscScalar       *x_ptr;
53c4762a1bSJed Brown   PetscReal         ftime,dt,norm;
54c4762a1bSJed Brown   Vec               ref;
55c4762a1bSJed Brown   struct _User      user;       /* user-defined work context */
56c4762a1bSJed Brown   PetscViewer       viewer;
57c4762a1bSJed Brown 
58*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscInitialize(&argc,&argv,NULL,help));
59c4762a1bSJed Brown   /* Initialize user application context */
601e1ea65dSPierre Jolivet   ierr = PetscOptionsBegin(PETSC_COMM_WORLD,NULL,"van der Pol options","");CHKERRQ(ierr);
61c4762a1bSJed Brown   user.mu      = 1e0;
625f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsReal("-eps","Stiffness controller","",user.mu,&user.mu,NULL));
63c4762a1bSJed Brown   ierr = PetscOptionsEnd();CHKERRQ(ierr);
64c4762a1bSJed Brown 
65c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
66c4762a1bSJed Brown    Set runtime options
67c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
68c4762a1bSJed Brown   /*
695f80ce2aSJacob Faibussowitsch    CHKERRQ(PetscOptionsGetBool(NULL,NULL,"-monitor",&monitor,NULL));
70c4762a1bSJed Brown    */
71c4762a1bSJed Brown 
72c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
73c4762a1bSJed Brown    Create necessary matrix and vectors, solve same ODE on every process
74c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
755f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A));
765f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetSizes(A,PETSC_DECIDE,PETSC_DECIDE,2,2));
775f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(A));
785f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(A));
795f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(A,&x,NULL));
80c4762a1bSJed Brown 
815f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(A,&ref,NULL));
825f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(ref,&x_ptr));
83c4762a1bSJed Brown   /*
84c4762a1bSJed Brown    * [0,1], mu=10^-3
85c4762a1bSJed Brown    */
86c4762a1bSJed Brown   /*
87c4762a1bSJed Brown    x_ptr[0] = -1.8881254106283;
88c4762a1bSJed Brown    x_ptr[1] =  0.7359074233370;*/
89c4762a1bSJed Brown 
90c4762a1bSJed Brown   /*
91c4762a1bSJed Brown    * [0,0.5],mu=10^-3
92c4762a1bSJed Brown    */
93c4762a1bSJed Brown   /*
94c4762a1bSJed Brown    x_ptr[0] = 1.596980778659137;
95c4762a1bSJed Brown    x_ptr[1] = -1.029103015879544;
96c4762a1bSJed Brown    */
97c4762a1bSJed Brown   /*
98c4762a1bSJed Brown    * [0,0.5],mu=1
99c4762a1bSJed Brown    */
100c4762a1bSJed Brown   x_ptr[0] = 1.619084329683235;
101c4762a1bSJed Brown   x_ptr[1] = -0.803530465176385;
102c4762a1bSJed Brown 
103c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
104c4762a1bSJed Brown    Create timestepping solver context
105c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1065f80ce2aSJacob Faibussowitsch   CHKERRQ(TSCreate(PETSC_COMM_WORLD,&ts));
1075f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetType(ts,TSEIMEX));
1085f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSFunction(ts,NULL,RHSFunction,&user));
1095f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetIFunction(ts,NULL,IFunction,&user));
1105f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetIJacobian(ts,A,A,IJacobian,&user));
111c4762a1bSJed Brown 
112c4762a1bSJed Brown   dt    = 0.00001;
113c4762a1bSJed Brown   ftime = 1.1;
1145f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetTimeStep(ts,dt));
1155f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetMaxTime(ts,ftime));
1165f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetExactFinalTime(ts,TS_EXACTFINALTIME_STEPOVER));
117c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
118c4762a1bSJed Brown    Set initial conditions
119c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1205f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(x,&x_ptr));
121c4762a1bSJed Brown   x_ptr[0] = 2.;
122c4762a1bSJed Brown   x_ptr[1] = -2./3. + 10./81.*(user.mu) - 292./2187.* (user.mu) * (user.mu)
123c4762a1bSJed Brown     -1814./19683.*(user.mu)*(user.mu)*(user.mu);
1245f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetSolution(ts,x));
1255f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetSize(x,&mx));
126c4762a1bSJed Brown 
127c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
128c4762a1bSJed Brown    Set runtime options
129c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1305f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetFromOptions(ts));
131c4762a1bSJed Brown 
132c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
133c4762a1bSJed Brown    Solve nonlinear system
134c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1355f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSolve(ts,x));
1365f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetTime(ts,&ftime));
1375f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetStepNumber(ts,&steps));
138c4762a1bSJed Brown 
1395f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(x,-1.0,ref));
1405f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(x,NORM_2,&norm));
1415f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetTimeStep(ts,&dt));
142c4762a1bSJed Brown 
143c4762a1bSJed Brown   eimex_rowcol[0] = 0; eimex_rowcol[1] = 0; two = 2;
1445f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetIntArray(NULL,NULL,"-ts_eimex_row_col",eimex_rowcol,&two,NULL));
1455f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"order %11s %18s %37s\n","dt","norm","final solution components 0 and 1"));
1465f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(x,&x_ptr));
1475f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"(%D,%D) %10.8f %18.15f %18.15f %18.15f\n",eimex_rowcol[0],eimex_rowcol[1],(double)dt,(double)norm,(double)PetscRealPart(x_ptr[0]),(double)PetscRealPart(x_ptr[1])));
1485f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(x,&x_ptr));
149c4762a1bSJed Brown 
150c4762a1bSJed Brown   /* Write line in convergence log */
1515f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerCreate(PETSC_COMM_WORLD,&viewer));
1525f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerSetType(viewer,PETSCVIEWERASCII));
1535f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerFileSetMode(viewer,FILE_MODE_APPEND));
1545f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerFileSetName(viewer,"eimex_nonstiff_vdp.txt"));
1555f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerASCIIPrintf(viewer,"%D %D %10.8f %18.15f\n",eimex_rowcol[0],eimex_rowcol[1],(double)dt,(double)norm));
1565f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerDestroy(&viewer));
157c4762a1bSJed Brown 
158c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
159c4762a1bSJed Brown    Free work space.
160c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1615f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&A));
1625f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&x));
1635f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&ref));
1645f80ce2aSJacob Faibussowitsch   CHKERRQ(TSDestroy(&ts));
165*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscFinalize());
166*b122ec5aSJacob Faibussowitsch   return 0;
167c4762a1bSJed Brown }
168c4762a1bSJed Brown 
169c4762a1bSJed Brown static PetscErrorCode RHSFunction(TS ts,PetscReal t,Vec X,Vec F,void *ptr)
170c4762a1bSJed Brown {
171c4762a1bSJed Brown   PetscScalar       *f;
172c4762a1bSJed Brown   const PetscScalar *x;
173c4762a1bSJed Brown 
174c4762a1bSJed Brown   PetscFunctionBegin;
1755f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(X,&x));
1765f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(F,&f));
177c4762a1bSJed Brown   f[0] = x[1];
178c4762a1bSJed Brown   f[1] = 0.0;
1795f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(X,&x));
1805f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(F,&f));
181c4762a1bSJed Brown   PetscFunctionReturn(0);
182c4762a1bSJed Brown }
183c4762a1bSJed Brown 
184c4762a1bSJed Brown static PetscErrorCode IFunction(TS ts,PetscReal t,Vec X,Vec Xdot,Vec F,void *ptr)
185c4762a1bSJed Brown {
186c4762a1bSJed Brown   User              user = (User)ptr;
187c4762a1bSJed Brown   PetscScalar       *f;
188c4762a1bSJed Brown   const PetscScalar *x,*xdot;
189c4762a1bSJed Brown 
190c4762a1bSJed Brown   PetscFunctionBegin;
1915f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(X,&x));
1925f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(Xdot,&xdot));
1935f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(F,&f));
194c4762a1bSJed Brown   f[0] = xdot[0];
195c4762a1bSJed Brown   f[1] = xdot[1]-((1.-x[0]*x[0])*x[1]-x[0])/user->mu;
1965f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(X,&x));
1975f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(Xdot,&xdot));
1985f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(F,&f));
199c4762a1bSJed Brown   PetscFunctionReturn(0);
200c4762a1bSJed Brown }
201c4762a1bSJed Brown 
202c4762a1bSJed Brown static PetscErrorCode IJacobian(TS  ts,PetscReal t,Vec X,Vec Xdot,PetscReal a,Mat A,Mat B,void *ptr)
203c4762a1bSJed Brown {
204c4762a1bSJed Brown   User              user = (User)ptr;
205c4762a1bSJed Brown   PetscReal         mu = user->mu;
206c4762a1bSJed Brown   PetscInt          rowcol[] = {0,1};
207c4762a1bSJed Brown   PetscScalar       J[2][2];
208c4762a1bSJed Brown   const PetscScalar *x;
209c4762a1bSJed Brown 
210c4762a1bSJed Brown   PetscFunctionBegin;
2115f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(X,&x));
212c4762a1bSJed Brown   J[0][0] = a;
213c4762a1bSJed Brown   J[0][1] = 0;
214c4762a1bSJed Brown   J[1][0] = (2.*x[0]*x[1]+1.)/mu;
215c4762a1bSJed Brown   J[1][1] = a - (1. - x[0]*x[0])/mu;
2165f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetValues(B,2,rowcol,2,rowcol,&J[0][0],INSERT_VALUES));
2175f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(X,&x));
218c4762a1bSJed Brown 
2195f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
2205f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
221c4762a1bSJed Brown   if (A != B) {
2225f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY));
2235f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY));
224c4762a1bSJed Brown   }
225c4762a1bSJed Brown   PetscFunctionReturn(0);
226c4762a1bSJed Brown }
227c4762a1bSJed Brown 
228c4762a1bSJed Brown /*TEST
229c4762a1bSJed Brown 
230c4762a1bSJed Brown    test:
231c4762a1bSJed Brown      args: -ts_type eimex -ts_adapt_type none  -pc_type lu -ts_dt 0.01 -ts_max_time 10 -ts_eimex_row_col 3,3 -ts_monitor_lg_solution
232c4762a1bSJed Brown      requires: x
233c4762a1bSJed Brown 
234c4762a1bSJed Brown    test:
235c4762a1bSJed Brown      suffix: adapt
236c4762a1bSJed Brown      args: -ts_type eimex -ts_adapt_type none  -pc_type lu -ts_dt 0.01 -ts_max_time 10 -ts_eimex_order_adapt -ts_eimex_max_rows 7 -ts_monitor_lg_solution
237c4762a1bSJed Brown      requires: x
238c4762a1bSJed Brown 
239c4762a1bSJed Brown    test:
240c4762a1bSJed Brown      suffix: loop
241c4762a1bSJed Brown      args: -ts_type eimex  -ts_adapt_type none  -pc_type lu -ts_dt {{0.005 0.001 0.0005}separate output} -ts_max_steps {{100 500 1000}separate output} -ts_eimex_row_col {{1,1 2,1 3,1 2,2 3,2 3,3}separate output}
242c4762a1bSJed Brown      requires: x
243c4762a1bSJed Brown 
244c4762a1bSJed Brown  TEST*/
245