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 * This program solves the van der Pol equation 11c4762a1bSJed Brown * y' = z (1) 12c4762a1bSJed Brown * z' = (((1-y^2)*z-y)/eps (2) 13c4762a1bSJed Brown * on the domain 0<=x<=0.5, with the initial conditions 14c4762a1bSJed Brown * y(0) = 2, 15c4762a1bSJed Brown * z(0) = -2/3 + 10/81*eps - 292/2187*eps^2-1814/19683*eps^3 16c4762a1bSJed Brown * IMEX schemes are applied to the splitted equation 17c4762a1bSJed Brown * [y'] = [z] + [0 ] 18c4762a1bSJed Brown * [z'] [0] [(((1-y^2)*z-y)/eps] 19c4762a1bSJed Brown * 20c4762a1bSJed Brown * F(x)= [z] 21c4762a1bSJed Brown * [0] 22c4762a1bSJed Brown * 23c4762a1bSJed Brown * G(x)= [y'] - [0 ] 24c4762a1bSJed Brown * [z'] [(((1-y^2)*z-y)/eps] 25c4762a1bSJed Brown * 26c4762a1bSJed Brown * JG(x) = G_x + a G_xdot 27c4762a1bSJed Brown */ 28c4762a1bSJed Brown 29c4762a1bSJed Brown #include <petscdmda.h> 30c4762a1bSJed Brown #include <petscts.h> 31c4762a1bSJed Brown 32c4762a1bSJed Brown typedef struct _User *User; 33c4762a1bSJed Brown struct _User { 34c4762a1bSJed Brown PetscReal mu; /*stiffness control coefficient: epsilon*/ 35c4762a1bSJed Brown }; 36c4762a1bSJed Brown 37c4762a1bSJed Brown static PetscErrorCode RHSFunction(TS,PetscReal,Vec,Vec,void*); 38c4762a1bSJed Brown static PetscErrorCode IFunction(TS,PetscReal,Vec,Vec,Vec,void*); 39c4762a1bSJed Brown static PetscErrorCode IJacobian(TS,PetscReal,Vec,Vec,PetscReal,Mat,Mat,void*); 40c4762a1bSJed Brown 41c4762a1bSJed Brown int main(int argc, char **argv) 42c4762a1bSJed Brown { 43c4762a1bSJed Brown TS ts; 44c4762a1bSJed Brown Vec x; /*solution vector*/ 45c4762a1bSJed Brown Mat A; /*Jacobian*/ 46c4762a1bSJed Brown PetscInt steps,mx,eimex_rowcol[2],two; 47c4762a1bSJed Brown PetscScalar *x_ptr; 48c4762a1bSJed Brown PetscReal ftime,dt,norm; 49c4762a1bSJed Brown Vec ref; 50c4762a1bSJed Brown struct _User user; /* user-defined work context */ 51c4762a1bSJed Brown PetscViewer viewer; 52c4762a1bSJed Brown 539566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc,&argv,NULL,help)); 54c4762a1bSJed Brown /* Initialize user application context */ 55*d0609cedSBarry Smith PetscOptionsBegin(PETSC_COMM_WORLD,NULL,"van der Pol options",""); 56c4762a1bSJed Brown user.mu = 1e0; 579566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-eps","Stiffness controller","",user.mu,&user.mu,NULL)); 58*d0609cedSBarry Smith PetscOptionsEnd(); 59c4762a1bSJed Brown 60c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 61c4762a1bSJed Brown Set runtime options 62c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 63c4762a1bSJed Brown /* 649566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL,NULL,"-monitor",&monitor,NULL)); 65c4762a1bSJed Brown */ 66c4762a1bSJed Brown 67c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 68c4762a1bSJed Brown Create necessary matrix and vectors, solve same ODE on every process 69c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 709566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD,&A)); 719566063dSJacob Faibussowitsch PetscCall(MatSetSizes(A,PETSC_DECIDE,PETSC_DECIDE,2,2)); 729566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(A)); 739566063dSJacob Faibussowitsch PetscCall(MatSetUp(A)); 749566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(A,&x,NULL)); 75c4762a1bSJed Brown 769566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(A,&ref,NULL)); 779566063dSJacob Faibussowitsch PetscCall(VecGetArray(ref,&x_ptr)); 78c4762a1bSJed Brown /* 79c4762a1bSJed Brown * [0,1], mu=10^-3 80c4762a1bSJed Brown */ 81c4762a1bSJed Brown /* 82c4762a1bSJed Brown x_ptr[0] = -1.8881254106283; 83c4762a1bSJed Brown x_ptr[1] = 0.7359074233370;*/ 84c4762a1bSJed Brown 85c4762a1bSJed Brown /* 86c4762a1bSJed Brown * [0,0.5],mu=10^-3 87c4762a1bSJed Brown */ 88c4762a1bSJed Brown /* 89c4762a1bSJed Brown x_ptr[0] = 1.596980778659137; 90c4762a1bSJed Brown x_ptr[1] = -1.029103015879544; 91c4762a1bSJed Brown */ 92c4762a1bSJed Brown /* 93c4762a1bSJed Brown * [0,0.5],mu=1 94c4762a1bSJed Brown */ 95c4762a1bSJed Brown x_ptr[0] = 1.619084329683235; 96c4762a1bSJed Brown x_ptr[1] = -0.803530465176385; 97c4762a1bSJed Brown 98c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 99c4762a1bSJed Brown Create timestepping solver context 100c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1019566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD,&ts)); 1029566063dSJacob Faibussowitsch PetscCall(TSSetType(ts,TSEIMEX)); 1039566063dSJacob Faibussowitsch PetscCall(TSSetRHSFunction(ts,NULL,RHSFunction,&user)); 1049566063dSJacob Faibussowitsch PetscCall(TSSetIFunction(ts,NULL,IFunction,&user)); 1059566063dSJacob Faibussowitsch PetscCall(TSSetIJacobian(ts,A,A,IJacobian,&user)); 106c4762a1bSJed Brown 107c4762a1bSJed Brown dt = 0.00001; 108c4762a1bSJed Brown ftime = 1.1; 1099566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts,dt)); 1109566063dSJacob Faibussowitsch PetscCall(TSSetMaxTime(ts,ftime)); 1119566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts,TS_EXACTFINALTIME_STEPOVER)); 112c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 113c4762a1bSJed Brown Set initial conditions 114c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1159566063dSJacob Faibussowitsch PetscCall(VecGetArray(x,&x_ptr)); 116c4762a1bSJed Brown x_ptr[0] = 2.; 117c4762a1bSJed Brown x_ptr[1] = -2./3. + 10./81.*(user.mu) - 292./2187.* (user.mu) * (user.mu) 118c4762a1bSJed Brown -1814./19683.*(user.mu)*(user.mu)*(user.mu); 1199566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts,x)); 1209566063dSJacob Faibussowitsch PetscCall(VecGetSize(x,&mx)); 121c4762a1bSJed Brown 122c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 123c4762a1bSJed Brown Set runtime options 124c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1259566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 126c4762a1bSJed Brown 127c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 128c4762a1bSJed Brown Solve nonlinear system 129c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1309566063dSJacob Faibussowitsch PetscCall(TSSolve(ts,x)); 1319566063dSJacob Faibussowitsch PetscCall(TSGetTime(ts,&ftime)); 1329566063dSJacob Faibussowitsch PetscCall(TSGetStepNumber(ts,&steps)); 133c4762a1bSJed Brown 1349566063dSJacob Faibussowitsch PetscCall(VecAXPY(x,-1.0,ref)); 1359566063dSJacob Faibussowitsch PetscCall(VecNorm(x,NORM_2,&norm)); 1369566063dSJacob Faibussowitsch PetscCall(TSGetTimeStep(ts,&dt)); 137c4762a1bSJed Brown 138c4762a1bSJed Brown eimex_rowcol[0] = 0; eimex_rowcol[1] = 0; two = 2; 1399566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetIntArray(NULL,NULL,"-ts_eimex_row_col",eimex_rowcol,&two,NULL)); 1409566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD,"order %11s %18s %37s\n","dt","norm","final solution components 0 and 1")); 1419566063dSJacob Faibussowitsch PetscCall(VecGetArray(x,&x_ptr)); 1429566063dSJacob Faibussowitsch PetscCall(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]))); 1439566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(x,&x_ptr)); 144c4762a1bSJed Brown 145c4762a1bSJed Brown /* Write line in convergence log */ 1469566063dSJacob Faibussowitsch PetscCall(PetscViewerCreate(PETSC_COMM_WORLD,&viewer)); 1479566063dSJacob Faibussowitsch PetscCall(PetscViewerSetType(viewer,PETSCVIEWERASCII)); 1489566063dSJacob Faibussowitsch PetscCall(PetscViewerFileSetMode(viewer,FILE_MODE_APPEND)); 1499566063dSJacob Faibussowitsch PetscCall(PetscViewerFileSetName(viewer,"eimex_nonstiff_vdp.txt")); 1509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%D %D %10.8f %18.15f\n",eimex_rowcol[0],eimex_rowcol[1],(double)dt,(double)norm)); 1519566063dSJacob Faibussowitsch PetscCall(PetscViewerDestroy(&viewer)); 152c4762a1bSJed Brown 153c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 154c4762a1bSJed Brown Free work space. 155c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1569566063dSJacob Faibussowitsch PetscCall(MatDestroy(&A)); 1579566063dSJacob Faibussowitsch PetscCall(VecDestroy(&x)); 1589566063dSJacob Faibussowitsch PetscCall(VecDestroy(&ref)); 1599566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 1609566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 161b122ec5aSJacob Faibussowitsch return 0; 162c4762a1bSJed Brown } 163c4762a1bSJed Brown 164c4762a1bSJed Brown static PetscErrorCode RHSFunction(TS ts,PetscReal t,Vec X,Vec F,void *ptr) 165c4762a1bSJed Brown { 166c4762a1bSJed Brown PetscScalar *f; 167c4762a1bSJed Brown const PetscScalar *x; 168c4762a1bSJed Brown 169c4762a1bSJed Brown PetscFunctionBegin; 1709566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(X,&x)); 1719566063dSJacob Faibussowitsch PetscCall(VecGetArray(F,&f)); 172c4762a1bSJed Brown f[0] = x[1]; 173c4762a1bSJed Brown f[1] = 0.0; 1749566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(X,&x)); 1759566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(F,&f)); 176c4762a1bSJed Brown PetscFunctionReturn(0); 177c4762a1bSJed Brown } 178c4762a1bSJed Brown 179c4762a1bSJed Brown static PetscErrorCode IFunction(TS ts,PetscReal t,Vec X,Vec Xdot,Vec F,void *ptr) 180c4762a1bSJed Brown { 181c4762a1bSJed Brown User user = (User)ptr; 182c4762a1bSJed Brown PetscScalar *f; 183c4762a1bSJed Brown const PetscScalar *x,*xdot; 184c4762a1bSJed Brown 185c4762a1bSJed Brown PetscFunctionBegin; 1869566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(X,&x)); 1879566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(Xdot,&xdot)); 1889566063dSJacob Faibussowitsch PetscCall(VecGetArray(F,&f)); 189c4762a1bSJed Brown f[0] = xdot[0]; 190c4762a1bSJed Brown f[1] = xdot[1]-((1.-x[0]*x[0])*x[1]-x[0])/user->mu; 1919566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(X,&x)); 1929566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(Xdot,&xdot)); 1939566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(F,&f)); 194c4762a1bSJed Brown PetscFunctionReturn(0); 195c4762a1bSJed Brown } 196c4762a1bSJed Brown 197c4762a1bSJed Brown static PetscErrorCode IJacobian(TS ts,PetscReal t,Vec X,Vec Xdot,PetscReal a,Mat A,Mat B,void *ptr) 198c4762a1bSJed Brown { 199c4762a1bSJed Brown User user = (User)ptr; 200c4762a1bSJed Brown PetscReal mu = user->mu; 201c4762a1bSJed Brown PetscInt rowcol[] = {0,1}; 202c4762a1bSJed Brown PetscScalar J[2][2]; 203c4762a1bSJed Brown const PetscScalar *x; 204c4762a1bSJed Brown 205c4762a1bSJed Brown PetscFunctionBegin; 2069566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(X,&x)); 207c4762a1bSJed Brown J[0][0] = a; 208c4762a1bSJed Brown J[0][1] = 0; 209c4762a1bSJed Brown J[1][0] = (2.*x[0]*x[1]+1.)/mu; 210c4762a1bSJed Brown J[1][1] = a - (1. - x[0]*x[0])/mu; 2119566063dSJacob Faibussowitsch PetscCall(MatSetValues(B,2,rowcol,2,rowcol,&J[0][0],INSERT_VALUES)); 2129566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(X,&x)); 213c4762a1bSJed Brown 2149566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY)); 2159566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY)); 216c4762a1bSJed Brown if (A != B) { 2179566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY)); 2189566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY)); 219c4762a1bSJed Brown } 220c4762a1bSJed Brown PetscFunctionReturn(0); 221c4762a1bSJed Brown } 222c4762a1bSJed Brown 223c4762a1bSJed Brown /*TEST 224c4762a1bSJed Brown 225c4762a1bSJed Brown test: 226c4762a1bSJed 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 227c4762a1bSJed Brown requires: x 228c4762a1bSJed Brown 229c4762a1bSJed Brown test: 230c4762a1bSJed Brown suffix: adapt 231c4762a1bSJed 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 232c4762a1bSJed Brown requires: x 233c4762a1bSJed Brown 234c4762a1bSJed Brown test: 235c4762a1bSJed Brown suffix: loop 236c4762a1bSJed 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} 237c4762a1bSJed Brown requires: x 238c4762a1bSJed Brown 239c4762a1bSJed Brown TEST*/ 240