xref: /petsc/src/ts/tutorials/ex20.c (revision 327415f76d85372a4417cf1aaa14db707d4d6c04)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Solves the van der Pol equation.\n\
3c4762a1bSJed Brown Input parameters include:\n";
4c4762a1bSJed Brown 
5c4762a1bSJed Brown /* ------------------------------------------------------------------------
6c4762a1bSJed Brown 
7c4762a1bSJed Brown    This program solves the van der Pol DAE ODE equivalent
8c4762a1bSJed Brown        y' = z                 (1)
9c4762a1bSJed Brown        z' = \mu ((1-y^2)z-y)
10c4762a1bSJed Brown    on the domain 0 <= x <= 1, with the boundary conditions
11c4762a1bSJed Brown        y(0) = 2, y'(0) = - 2/3 +10/(81*\mu) - 292/(2187*\mu^2),
12c4762a1bSJed Brown    and
13c4762a1bSJed Brown        \mu = 10^6 ( y'(0) ~ -0.6666665432100101).
14c4762a1bSJed Brown    This is a nonlinear equation. The well prepared initial condition gives errors that are not dominated by the first few steps of the method when \mu is large.
15c4762a1bSJed Brown 
16c4762a1bSJed Brown    Notes:
17c4762a1bSJed Brown    This code demonstrates the TS solver interface to an ODE -- RHSFunction for explicit form and IFunction for implicit form.
18c4762a1bSJed Brown 
19c4762a1bSJed Brown   ------------------------------------------------------------------------- */
20c4762a1bSJed Brown 
21c4762a1bSJed Brown #include <petscts.h>
22c4762a1bSJed Brown 
23c4762a1bSJed Brown typedef struct _n_User *User;
24c4762a1bSJed Brown struct _n_User {
25c4762a1bSJed Brown   PetscReal mu;
26c4762a1bSJed Brown   PetscReal next_output;
27c4762a1bSJed Brown };
28c4762a1bSJed Brown 
29c4762a1bSJed Brown /*
300e3d61c9SBarry Smith    User-defined routines
31c4762a1bSJed Brown */
32c4762a1bSJed Brown static PetscErrorCode RHSFunction(TS ts,PetscReal t,Vec X,Vec F,void *ctx)
33c4762a1bSJed Brown {
34c4762a1bSJed Brown   User              user = (User)ctx;
35c4762a1bSJed Brown   PetscScalar       *f;
36c4762a1bSJed Brown   const PetscScalar *x;
37c4762a1bSJed Brown 
38c4762a1bSJed Brown   PetscFunctionBeginUser;
399566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(X,&x));
409566063dSJacob Faibussowitsch   PetscCall(VecGetArray(F,&f));
41c4762a1bSJed Brown   f[0] = x[1];
42c4762a1bSJed Brown   f[1] = user->mu*(1.-x[0]*x[0])*x[1]-x[0];
439566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(X,&x));
449566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(F,&f));
45c4762a1bSJed Brown   PetscFunctionReturn(0);
46c4762a1bSJed Brown }
47c4762a1bSJed Brown 
48c4762a1bSJed Brown static PetscErrorCode IFunction(TS ts,PetscReal t,Vec X,Vec Xdot,Vec F,void *ctx)
49c4762a1bSJed Brown {
50c4762a1bSJed Brown   User              user = (User)ctx;
51c4762a1bSJed Brown   const PetscScalar *x,*xdot;
52c4762a1bSJed Brown   PetscScalar       *f;
53c4762a1bSJed Brown 
54c4762a1bSJed Brown   PetscFunctionBeginUser;
559566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(X,&x));
569566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(Xdot,&xdot));
579566063dSJacob Faibussowitsch   PetscCall(VecGetArray(F,&f));
58c4762a1bSJed Brown   f[0] = xdot[0] - x[1];
59c4762a1bSJed Brown   f[1] = xdot[1] - user->mu*((1.0-x[0]*x[0])*x[1] - x[0]);
609566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(X,&x));
619566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(Xdot,&xdot));
629566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(F,&f));
63c4762a1bSJed Brown   PetscFunctionReturn(0);
64c4762a1bSJed Brown }
65c4762a1bSJed Brown 
66c4762a1bSJed Brown static PetscErrorCode IJacobian(TS ts,PetscReal t,Vec X,Vec Xdot,PetscReal a,Mat A,Mat B,void *ctx)
67c4762a1bSJed Brown {
68c4762a1bSJed Brown   User              user     = (User)ctx;
69c4762a1bSJed Brown   PetscInt          rowcol[] = {0,1};
70c4762a1bSJed Brown   const PetscScalar *x;
71c4762a1bSJed Brown   PetscScalar       J[2][2];
72c4762a1bSJed Brown 
73c4762a1bSJed Brown   PetscFunctionBeginUser;
749566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(X,&x));
75c4762a1bSJed Brown   J[0][0] = a;     J[0][1] = -1.0;
76c4762a1bSJed Brown   J[1][0] = user->mu*(2.0*x[0]*x[1] + 1.0);   J[1][1] = a - user->mu*(1.0-x[0]*x[0]);
779566063dSJacob Faibussowitsch   PetscCall(MatSetValues(B,2,rowcol,2,rowcol,&J[0][0],INSERT_VALUES));
789566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(X,&x));
79c4762a1bSJed Brown 
809566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
819566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
82c4762a1bSJed Brown   if (A != B) {
839566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY));
849566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY));
85c4762a1bSJed Brown   }
86c4762a1bSJed Brown   PetscFunctionReturn(0);
87c4762a1bSJed Brown }
88c4762a1bSJed Brown 
89c4762a1bSJed Brown /* Monitor timesteps and use interpolation to output at integer multiples of 0.1 */
90c4762a1bSJed Brown static PetscErrorCode Monitor(TS ts,PetscInt step,PetscReal t,Vec X,void *ctx)
91c4762a1bSJed Brown {
92c4762a1bSJed Brown   const PetscScalar *x;
93c4762a1bSJed Brown   PetscReal         tfinal, dt;
94c4762a1bSJed Brown   User              user = (User)ctx;
95c4762a1bSJed Brown   Vec               interpolatedX;
96c4762a1bSJed Brown 
97c4762a1bSJed Brown   PetscFunctionBeginUser;
989566063dSJacob Faibussowitsch   PetscCall(TSGetTimeStep(ts,&dt));
999566063dSJacob Faibussowitsch   PetscCall(TSGetMaxTime(ts,&tfinal));
100c4762a1bSJed Brown 
101c4762a1bSJed Brown   while (user->next_output <= t && user->next_output <= tfinal) {
1029566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(X,&interpolatedX));
1039566063dSJacob Faibussowitsch     PetscCall(TSInterpolate(ts,user->next_output,interpolatedX));
1049566063dSJacob Faibussowitsch     PetscCall(VecGetArrayRead(interpolatedX,&x));
10563a3b9bcSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"[%.1f] %" PetscInt_FMT " TS %.6f (dt = %.6f) X % 12.6e % 12.6e\n",
10663a3b9bcSJacob Faibussowitsch                           (double)user->next_output,step,(double)t,(double)dt,
10763a3b9bcSJacob Faibussowitsch                           (double)PetscRealPart(x[0]),(double)PetscRealPart(x[1])));
1089566063dSJacob Faibussowitsch     PetscCall(VecRestoreArrayRead(interpolatedX,&x));
1099566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&interpolatedX));
110c4762a1bSJed Brown     user->next_output += 0.1;
111c4762a1bSJed Brown   }
112c4762a1bSJed Brown   PetscFunctionReturn(0);
113c4762a1bSJed Brown }
114c4762a1bSJed Brown 
115c4762a1bSJed Brown int main(int argc,char **argv)
116c4762a1bSJed Brown {
117c4762a1bSJed Brown   TS             ts;            /* nonlinear solver */
118c4762a1bSJed Brown   Vec            x;             /* solution, residual vectors */
119c4762a1bSJed Brown   Mat            A;             /* Jacobian matrix */
120c4762a1bSJed Brown   PetscInt       steps;
121c4762a1bSJed Brown   PetscReal      ftime = 0.5;
122c4762a1bSJed Brown   PetscBool      monitor = PETSC_FALSE,implicitform = PETSC_TRUE;
123c4762a1bSJed Brown   PetscScalar    *x_ptr;
124c4762a1bSJed Brown   PetscMPIInt    size;
125c4762a1bSJed Brown   struct _n_User user;
126c4762a1bSJed Brown 
127c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
128c4762a1bSJed Brown      Initialize program
129c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
130*327415f7SBarry Smith   PetscFunctionBeginUser;
1319566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&argv,NULL,help));
1329566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
1333c633725SBarry Smith   PetscCheck(size == 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only!");
134c4762a1bSJed Brown 
135c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
136c4762a1bSJed Brown     Set runtime options
137c4762a1bSJed Brown     - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
138c4762a1bSJed Brown   user.next_output = 0.0;
139c4762a1bSJed Brown   user.mu          = 1.0e3;
1409566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-monitor",&monitor,NULL));
1419566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-implicitform",&implicitform,NULL));
142d0609cedSBarry Smith   PetscOptionsBegin(PETSC_COMM_WORLD,NULL,"Physical parameters",NULL);
1439566063dSJacob Faibussowitsch   PetscCall(PetscOptionsReal("-mu","Stiffness parameter","<1.0e6>",user.mu,&user.mu,NULL));
144d0609cedSBarry Smith   PetscOptionsEnd();
145c4762a1bSJed Brown 
146c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
147c4762a1bSJed Brown     Create necessary matrix and vectors, solve same ODE on every process
148c4762a1bSJed Brown     - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1499566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&A));
1509566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A,PETSC_DECIDE,PETSC_DECIDE,2,2));
1519566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A));
1529566063dSJacob Faibussowitsch   PetscCall(MatSetUp(A));
153c4762a1bSJed Brown 
1549566063dSJacob Faibussowitsch   PetscCall(MatCreateVecs(A,&x,NULL));
155c4762a1bSJed Brown 
156c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
157c4762a1bSJed Brown      Create timestepping solver context
158c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1599566063dSJacob Faibussowitsch   PetscCall(TSCreate(PETSC_COMM_WORLD,&ts));
160c4762a1bSJed Brown   if (implicitform) {
1619566063dSJacob Faibussowitsch     PetscCall(TSSetIFunction(ts,NULL,IFunction,&user));
1629566063dSJacob Faibussowitsch     PetscCall(TSSetIJacobian(ts,A,A,IJacobian,&user));
1639566063dSJacob Faibussowitsch     PetscCall(TSSetType(ts,TSBEULER));
164c4762a1bSJed Brown   } else {
1659566063dSJacob Faibussowitsch     PetscCall(TSSetRHSFunction(ts,NULL,RHSFunction,&user));
1669566063dSJacob Faibussowitsch     PetscCall(TSSetType(ts,TSRK));
167c4762a1bSJed Brown   }
1689566063dSJacob Faibussowitsch   PetscCall(TSSetMaxTime(ts,ftime));
1699566063dSJacob Faibussowitsch   PetscCall(TSSetTimeStep(ts,0.001));
1709566063dSJacob Faibussowitsch   PetscCall(TSSetExactFinalTime(ts,TS_EXACTFINALTIME_STEPOVER));
171c4762a1bSJed Brown   if (monitor) {
1729566063dSJacob Faibussowitsch     PetscCall(TSMonitorSet(ts,Monitor,&user,NULL));
173c4762a1bSJed Brown   }
174c4762a1bSJed Brown 
175c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
176c4762a1bSJed Brown      Set initial conditions
177c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1789566063dSJacob Faibussowitsch   PetscCall(VecGetArray(x,&x_ptr));
179c4762a1bSJed Brown   x_ptr[0] = 2.0;
180c4762a1bSJed Brown   x_ptr[1] = -2.0/3.0 + 10.0/(81.0*user.mu) - 292.0/(2187.0*user.mu*user.mu);
1819566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(x,&x_ptr));
182c4762a1bSJed Brown 
183c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
184c4762a1bSJed Brown      Set runtime options
185c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1869566063dSJacob Faibussowitsch   PetscCall(TSSetFromOptions(ts));
187c4762a1bSJed Brown 
188c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
189c4762a1bSJed Brown      Solve nonlinear system
190c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
1919566063dSJacob Faibussowitsch   PetscCall(TSSolve(ts,x));
1929566063dSJacob Faibussowitsch   PetscCall(TSGetSolveTime(ts,&ftime));
1939566063dSJacob Faibussowitsch   PetscCall(TSGetStepNumber(ts,&steps));
19463a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"steps %" PetscInt_FMT ", ftime %g\n",steps,(double)ftime));
1959566063dSJacob Faibussowitsch   PetscCall(VecView(x,PETSC_VIEWER_STDOUT_WORLD));
196c4762a1bSJed Brown 
197c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
198c4762a1bSJed Brown      Free work space.  All PETSc objects should be destroyed when they
199c4762a1bSJed Brown      are no longer needed.
200c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
2019566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
2029566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
2039566063dSJacob Faibussowitsch   PetscCall(TSDestroy(&ts));
204c4762a1bSJed Brown 
2059566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
206d0609cedSBarry Smith   return(0);
207c4762a1bSJed Brown }
208c4762a1bSJed Brown 
209c4762a1bSJed Brown /*TEST
210c4762a1bSJed Brown 
211c4762a1bSJed Brown     test:
212c4762a1bSJed Brown       requires: !single
213c4762a1bSJed Brown       args: -mu 1e6
214c4762a1bSJed Brown 
21510b8587eSHendrik Ranocha     test:
21610b8587eSHendrik Ranocha       requires: !single
21710b8587eSHendrik Ranocha       suffix: 2
21810b8587eSHendrik Ranocha       args: -implicitform false -ts_type rk -ts_rk_type 5dp -ts_adapt_type dsp
21910b8587eSHendrik Ranocha 
22010b8587eSHendrik Ranocha     test:
22110b8587eSHendrik Ranocha       requires: !single
22210b8587eSHendrik Ranocha       suffix: 3
22310b8587eSHendrik Ranocha       args: -implicitform false -ts_type rk -ts_rk_type 5dp -ts_adapt_type dsp -ts_adapt_dsp_filter H0312
22410b8587eSHendrik Ranocha 
225c4762a1bSJed Brown TEST*/
226