1c4762a1bSJed Brown /* 2c4762a1bSJed Brown Formatted test for TS routines. 3c4762a1bSJed Brown 4c4762a1bSJed Brown Solves U_t=F(t,u) 5c4762a1bSJed Brown Where: 6c4762a1bSJed Brown 7c4762a1bSJed Brown [2*u1+u2 8c4762a1bSJed Brown F(t,u)= [u1+2*u2+u3 9c4762a1bSJed Brown [ u2+2*u3 10c4762a1bSJed Brown We can compare the solutions from euler, beuler and SUNDIALS to 11c4762a1bSJed Brown see what is the difference. 12c4762a1bSJed Brown 13c4762a1bSJed Brown */ 14c4762a1bSJed Brown 15c4762a1bSJed Brown static char help[] = "Solves a linear ODE. \n\n"; 16c4762a1bSJed Brown 17c4762a1bSJed Brown #include <petscts.h> 18c4762a1bSJed Brown #include <petscpc.h> 19c4762a1bSJed Brown 20c4762a1bSJed Brown extern PetscErrorCode RHSFunction(TS, PetscReal, Vec, Vec, void *); 21c4762a1bSJed Brown extern PetscErrorCode RHSJacobian(TS, PetscReal, Vec, Mat, Mat, void *); 22c4762a1bSJed Brown extern PetscErrorCode Monitor(TS, PetscInt, PetscReal, Vec, void *); 23c4762a1bSJed Brown extern PetscErrorCode Initial(Vec, void *); 24c4762a1bSJed Brown extern PetscErrorCode MyMatMult(Mat, Vec, Vec); 25c4762a1bSJed Brown 26c4762a1bSJed Brown extern PetscReal solx(PetscReal); 27c4762a1bSJed Brown extern PetscReal soly(PetscReal); 28c4762a1bSJed Brown extern PetscReal solz(PetscReal); 29c4762a1bSJed Brown 30*9371c9d4SSatish Balay int main(int argc, char **argv) { 31c4762a1bSJed Brown PetscInt time_steps = 100, steps; 32c4762a1bSJed Brown Vec global; 33c4762a1bSJed Brown PetscReal dt, ftime; 34c4762a1bSJed Brown TS ts; 35c4762a1bSJed Brown Mat A = 0, S; 36c4762a1bSJed Brown 37327415f7SBarry Smith PetscFunctionBeginUser; 389566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &argv, (char *)0, help)); 399566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetInt(NULL, NULL, "-time", &time_steps, NULL)); 40c4762a1bSJed Brown 41c4762a1bSJed Brown /* set initial conditions */ 429566063dSJacob Faibussowitsch PetscCall(VecCreate(PETSC_COMM_WORLD, &global)); 439566063dSJacob Faibussowitsch PetscCall(VecSetSizes(global, PETSC_DECIDE, 3)); 449566063dSJacob Faibussowitsch PetscCall(VecSetFromOptions(global)); 459566063dSJacob Faibussowitsch PetscCall(Initial(global, NULL)); 46c4762a1bSJed Brown 47c4762a1bSJed Brown /* make timestep context */ 489566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD, &ts)); 499566063dSJacob Faibussowitsch PetscCall(TSSetProblemType(ts, TS_NONLINEAR)); 509566063dSJacob Faibussowitsch PetscCall(TSMonitorSet(ts, Monitor, NULL, NULL)); 51c4762a1bSJed Brown dt = 0.001; 52c4762a1bSJed Brown 53c4762a1bSJed Brown /* 54c4762a1bSJed Brown The user provides the RHS and Jacobian 55c4762a1bSJed Brown */ 569566063dSJacob Faibussowitsch PetscCall(TSSetRHSFunction(ts, NULL, RHSFunction, NULL)); 579566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD, &A)); 589566063dSJacob Faibussowitsch PetscCall(MatSetSizes(A, PETSC_DECIDE, PETSC_DECIDE, 3, 3)); 599566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(A)); 609566063dSJacob Faibussowitsch PetscCall(MatSetUp(A)); 619566063dSJacob Faibussowitsch PetscCall(RHSJacobian(ts, 0.0, global, A, A, NULL)); 629566063dSJacob Faibussowitsch PetscCall(TSSetRHSJacobian(ts, A, A, RHSJacobian, NULL)); 63c4762a1bSJed Brown 649566063dSJacob Faibussowitsch PetscCall(MatCreateShell(PETSC_COMM_WORLD, 3, 3, 3, 3, NULL, &S)); 659566063dSJacob Faibussowitsch PetscCall(MatShellSetOperation(S, MATOP_MULT, (void (*)(void))MyMatMult)); 669566063dSJacob Faibussowitsch PetscCall(TSSetRHSJacobian(ts, S, A, RHSJacobian, NULL)); 67c4762a1bSJed Brown 689566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_MATCHSTEP)); 699566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 70c4762a1bSJed Brown 719566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts, dt)); 729566063dSJacob Faibussowitsch PetscCall(TSSetMaxSteps(ts, time_steps)); 739566063dSJacob Faibussowitsch PetscCall(TSSetMaxTime(ts, 1)); 749566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts, global)); 75c4762a1bSJed Brown 769566063dSJacob Faibussowitsch PetscCall(TSSolve(ts, global)); 779566063dSJacob Faibussowitsch PetscCall(TSGetSolveTime(ts, &ftime)); 789566063dSJacob Faibussowitsch PetscCall(TSGetStepNumber(ts, &steps)); 79c4762a1bSJed Brown 80c4762a1bSJed Brown /* free the memories */ 81c4762a1bSJed Brown 829566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 839566063dSJacob Faibussowitsch PetscCall(VecDestroy(&global)); 849566063dSJacob Faibussowitsch PetscCall(MatDestroy(&A)); 859566063dSJacob Faibussowitsch PetscCall(MatDestroy(&S)); 86c4762a1bSJed Brown 879566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 88b122ec5aSJacob Faibussowitsch return 0; 89c4762a1bSJed Brown } 90c4762a1bSJed Brown 91*9371c9d4SSatish Balay PetscErrorCode MyMatMult(Mat S, Vec x, Vec y) { 92c4762a1bSJed Brown const PetscScalar *inptr; 93c4762a1bSJed Brown PetscScalar *outptr; 94c4762a1bSJed Brown 957510d9b0SBarry Smith PetscFunctionBeginUser; 969566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(x, &inptr)); 979566063dSJacob Faibussowitsch PetscCall(VecGetArrayWrite(y, &outptr)); 98c4762a1bSJed Brown 99c4762a1bSJed Brown outptr[0] = 2.0 * inptr[0] + inptr[1]; 100c4762a1bSJed Brown outptr[1] = inptr[0] + 2.0 * inptr[1] + inptr[2]; 101c4762a1bSJed Brown outptr[2] = inptr[1] + 2.0 * inptr[2]; 102c4762a1bSJed Brown 1039566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(x, &inptr)); 1049566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayWrite(y, &outptr)); 105c4762a1bSJed Brown PetscFunctionReturn(0); 106c4762a1bSJed Brown } 107c4762a1bSJed Brown 108c4762a1bSJed Brown /* this test problem has initial values (1,1,1). */ 109*9371c9d4SSatish Balay PetscErrorCode Initial(Vec global, void *ctx) { 110c4762a1bSJed Brown PetscScalar *localptr; 111c4762a1bSJed Brown PetscInt i, mybase, myend, locsize; 112c4762a1bSJed Brown 113c4762a1bSJed Brown /* determine starting point of each processor */ 1149566063dSJacob Faibussowitsch PetscCall(VecGetOwnershipRange(global, &mybase, &myend)); 1159566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(global, &locsize)); 116c4762a1bSJed Brown 117c4762a1bSJed Brown /* Initialize the array */ 1189566063dSJacob Faibussowitsch PetscCall(VecGetArrayWrite(global, &localptr)); 119c4762a1bSJed Brown for (i = 0; i < locsize; i++) localptr[i] = 1.0; 120c4762a1bSJed Brown 121c4762a1bSJed Brown if (mybase == 0) localptr[0] = 1.0; 122c4762a1bSJed Brown 1239566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayWrite(global, &localptr)); 124c4762a1bSJed Brown return 0; 125c4762a1bSJed Brown } 126c4762a1bSJed Brown 127*9371c9d4SSatish Balay PetscErrorCode Monitor(TS ts, PetscInt step, PetscReal time, Vec global, void *ctx) { 128c4762a1bSJed Brown VecScatter scatter; 129c4762a1bSJed Brown IS from, to; 130c4762a1bSJed Brown PetscInt i, n, *idx; 131c4762a1bSJed Brown Vec tmp_vec; 132c4762a1bSJed Brown const PetscScalar *tmp; 133c4762a1bSJed Brown 134c4762a1bSJed Brown /* Get the size of the vector */ 1359566063dSJacob Faibussowitsch PetscCall(VecGetSize(global, &n)); 136c4762a1bSJed Brown 137c4762a1bSJed Brown /* Set the index sets */ 1389566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(n, &idx)); 139c4762a1bSJed Brown for (i = 0; i < n; i++) idx[i] = i; 140c4762a1bSJed Brown 141c4762a1bSJed Brown /* Create local sequential vectors */ 1429566063dSJacob Faibussowitsch PetscCall(VecCreateSeq(PETSC_COMM_SELF, n, &tmp_vec)); 143c4762a1bSJed Brown 144c4762a1bSJed Brown /* Create scatter context */ 1459566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF, n, idx, PETSC_COPY_VALUES, &from)); 1469566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF, n, idx, PETSC_COPY_VALUES, &to)); 1479566063dSJacob Faibussowitsch PetscCall(VecScatterCreate(global, from, tmp_vec, to, &scatter)); 1489566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(scatter, global, tmp_vec, INSERT_VALUES, SCATTER_FORWARD)); 1499566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(scatter, global, tmp_vec, INSERT_VALUES, SCATTER_FORWARD)); 150c4762a1bSJed Brown 1519566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(tmp_vec, &tmp)); 152*9371c9d4SSatish Balay PetscCall(PetscPrintf(PETSC_COMM_WORLD, "At t =%14.6e u = %14.6e %14.6e %14.6e \n", (double)time, (double)PetscRealPart(tmp[0]), (double)PetscRealPart(tmp[1]), (double)PetscRealPart(tmp[2]))); 153*9371c9d4SSatish Balay PetscCall(PetscPrintf(PETSC_COMM_WORLD, "At t =%14.6e errors = %14.6e %14.6e %14.6e \n", (double)time, (double)PetscRealPart(tmp[0] - solx(time)), (double)PetscRealPart(tmp[1] - soly(time)), (double)PetscRealPart(tmp[2] - solz(time)))); 1549566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(tmp_vec, &tmp)); 1559566063dSJacob Faibussowitsch PetscCall(VecScatterDestroy(&scatter)); 1569566063dSJacob Faibussowitsch PetscCall(ISDestroy(&from)); 1579566063dSJacob Faibussowitsch PetscCall(ISDestroy(&to)); 1589566063dSJacob Faibussowitsch PetscCall(PetscFree(idx)); 1599566063dSJacob Faibussowitsch PetscCall(VecDestroy(&tmp_vec)); 160c4762a1bSJed Brown return 0; 161c4762a1bSJed Brown } 162c4762a1bSJed Brown 163*9371c9d4SSatish Balay PetscErrorCode RHSFunction(TS ts, PetscReal t, Vec globalin, Vec globalout, void *ctx) { 164c4762a1bSJed Brown PetscScalar *outptr; 165c4762a1bSJed Brown const PetscScalar *inptr; 166c4762a1bSJed Brown PetscInt i, n, *idx; 167c4762a1bSJed Brown IS from, to; 168c4762a1bSJed Brown VecScatter scatter; 169c4762a1bSJed Brown Vec tmp_in, tmp_out; 170c4762a1bSJed Brown 171c4762a1bSJed Brown /* Get the length of parallel vector */ 1729566063dSJacob Faibussowitsch PetscCall(VecGetSize(globalin, &n)); 173c4762a1bSJed Brown 174c4762a1bSJed Brown /* Set the index sets */ 1759566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(n, &idx)); 176c4762a1bSJed Brown for (i = 0; i < n; i++) idx[i] = i; 177c4762a1bSJed Brown 178c4762a1bSJed Brown /* Create local sequential vectors */ 1799566063dSJacob Faibussowitsch PetscCall(VecCreateSeq(PETSC_COMM_SELF, n, &tmp_in)); 1809566063dSJacob Faibussowitsch PetscCall(VecDuplicate(tmp_in, &tmp_out)); 181c4762a1bSJed Brown 182c4762a1bSJed Brown /* Create scatter context */ 1839566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF, n, idx, PETSC_COPY_VALUES, &from)); 1849566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF, n, idx, PETSC_COPY_VALUES, &to)); 1859566063dSJacob Faibussowitsch PetscCall(VecScatterCreate(globalin, from, tmp_in, to, &scatter)); 1869566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(scatter, globalin, tmp_in, INSERT_VALUES, SCATTER_FORWARD)); 1879566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(scatter, globalin, tmp_in, INSERT_VALUES, SCATTER_FORWARD)); 1889566063dSJacob Faibussowitsch PetscCall(VecScatterDestroy(&scatter)); 189c4762a1bSJed Brown 190c4762a1bSJed Brown /*Extract income array */ 1919566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(tmp_in, &inptr)); 192c4762a1bSJed Brown 193c4762a1bSJed Brown /* Extract outcome array*/ 1949566063dSJacob Faibussowitsch PetscCall(VecGetArrayWrite(tmp_out, &outptr)); 195c4762a1bSJed Brown 196c4762a1bSJed Brown outptr[0] = 2.0 * inptr[0] + inptr[1]; 197c4762a1bSJed Brown outptr[1] = inptr[0] + 2.0 * inptr[1] + inptr[2]; 198c4762a1bSJed Brown outptr[2] = inptr[1] + 2.0 * inptr[2]; 199c4762a1bSJed Brown 2009566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(tmp_in, &inptr)); 2019566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayWrite(tmp_out, &outptr)); 202c4762a1bSJed Brown 2039566063dSJacob Faibussowitsch PetscCall(VecScatterCreate(tmp_out, from, globalout, to, &scatter)); 2049566063dSJacob Faibussowitsch PetscCall(VecScatterBegin(scatter, tmp_out, globalout, INSERT_VALUES, SCATTER_FORWARD)); 2059566063dSJacob Faibussowitsch PetscCall(VecScatterEnd(scatter, tmp_out, globalout, INSERT_VALUES, SCATTER_FORWARD)); 206c4762a1bSJed Brown 207c4762a1bSJed Brown /* Destroy idx aand scatter */ 2089566063dSJacob Faibussowitsch PetscCall(ISDestroy(&from)); 2099566063dSJacob Faibussowitsch PetscCall(ISDestroy(&to)); 2109566063dSJacob Faibussowitsch PetscCall(VecScatterDestroy(&scatter)); 2119566063dSJacob Faibussowitsch PetscCall(VecDestroy(&tmp_in)); 2129566063dSJacob Faibussowitsch PetscCall(VecDestroy(&tmp_out)); 2139566063dSJacob Faibussowitsch PetscCall(PetscFree(idx)); 214c4762a1bSJed Brown return 0; 215c4762a1bSJed Brown } 216c4762a1bSJed Brown 217*9371c9d4SSatish Balay PetscErrorCode RHSJacobian(TS ts, PetscReal t, Vec x, Mat A, Mat BB, void *ctx) { 218c4762a1bSJed Brown PetscScalar v[3]; 219c4762a1bSJed Brown const PetscScalar *tmp; 220c4762a1bSJed Brown PetscInt idx[3], i; 221c4762a1bSJed Brown 222*9371c9d4SSatish Balay idx[0] = 0; 223*9371c9d4SSatish Balay idx[1] = 1; 224*9371c9d4SSatish Balay idx[2] = 2; 2259566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(x, &tmp)); 226c4762a1bSJed Brown 227c4762a1bSJed Brown i = 0; 228*9371c9d4SSatish Balay v[0] = 2.0; 229*9371c9d4SSatish Balay v[1] = 1.0; 230*9371c9d4SSatish Balay v[2] = 0.0; 2319566063dSJacob Faibussowitsch PetscCall(MatSetValues(BB, 1, &i, 3, idx, v, INSERT_VALUES)); 232c4762a1bSJed Brown 233c4762a1bSJed Brown i = 1; 234*9371c9d4SSatish Balay v[0] = 1.0; 235*9371c9d4SSatish Balay v[1] = 2.0; 236*9371c9d4SSatish Balay v[2] = 1.0; 2379566063dSJacob Faibussowitsch PetscCall(MatSetValues(BB, 1, &i, 3, idx, v, INSERT_VALUES)); 238c4762a1bSJed Brown 239c4762a1bSJed Brown i = 2; 240*9371c9d4SSatish Balay v[0] = 0.0; 241*9371c9d4SSatish Balay v[1] = 1.0; 242*9371c9d4SSatish Balay v[2] = 2.0; 2439566063dSJacob Faibussowitsch PetscCall(MatSetValues(BB, 1, &i, 3, idx, v, INSERT_VALUES)); 244c4762a1bSJed Brown 2459566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(BB, MAT_FINAL_ASSEMBLY)); 2469566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(BB, MAT_FINAL_ASSEMBLY)); 247c4762a1bSJed Brown 248c4762a1bSJed Brown if (A != BB) { 2499566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY)); 2509566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY)); 251c4762a1bSJed Brown } 2529566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(x, &tmp)); 253c4762a1bSJed Brown 254c4762a1bSJed Brown return 0; 255c4762a1bSJed Brown } 256c4762a1bSJed Brown 257c4762a1bSJed Brown /* 258c4762a1bSJed Brown The exact solutions 259c4762a1bSJed Brown */ 260*9371c9d4SSatish Balay PetscReal solx(PetscReal t) { 261*9371c9d4SSatish Balay return PetscExpReal((2.0 - PetscSqrtReal(2.0)) * t) / 2.0 - PetscExpReal((2.0 - PetscSqrtReal(2.0)) * t) / (2.0 * PetscSqrtReal(2.0)) + PetscExpReal((2.0 + PetscSqrtReal(2.0)) * t) / 2.0 + PetscExpReal((2.0 + PetscSqrtReal(2.0)) * t) / (2.0 * PetscSqrtReal(2.0)); 262c4762a1bSJed Brown } 263c4762a1bSJed Brown 264*9371c9d4SSatish Balay PetscReal soly(PetscReal t) { 265*9371c9d4SSatish Balay return PetscExpReal((2.0 - PetscSqrtReal(2.0)) * t) / 2.0 - PetscExpReal((2.0 - PetscSqrtReal(2.0)) * t) / PetscSqrtReal(2.0) + PetscExpReal((2.0 + PetscSqrtReal(2.0)) * t) / 2.0 + PetscExpReal((2.0 + PetscSqrtReal(2.0)) * t) / PetscSqrtReal(2.0); 266c4762a1bSJed Brown } 267c4762a1bSJed Brown 268*9371c9d4SSatish Balay PetscReal solz(PetscReal t) { 269*9371c9d4SSatish Balay return PetscExpReal((2.0 - PetscSqrtReal(2.0)) * t) / 2.0 - PetscExpReal((2.0 - PetscSqrtReal(2.0)) * t) / (2.0 * PetscSqrtReal(2.0)) + PetscExpReal((2.0 + PetscSqrtReal(2.0)) * t) / 2.0 + PetscExpReal((2.0 + PetscSqrtReal(2.0)) * t) / (2.0 * PetscSqrtReal(2.0)); 270c4762a1bSJed Brown } 271c4762a1bSJed Brown 272c4762a1bSJed Brown /*TEST 273c4762a1bSJed Brown 274c4762a1bSJed Brown test: 275c4762a1bSJed Brown suffix: euler 276c4762a1bSJed Brown args: -ts_type euler 277c4762a1bSJed Brown requires: !single 278c4762a1bSJed Brown 279c4762a1bSJed Brown test: 280c4762a1bSJed Brown suffix: beuler 281c4762a1bSJed Brown args: -ts_type beuler 282c4762a1bSJed Brown requires: !single 283c4762a1bSJed Brown 284c4762a1bSJed Brown TEST*/ 285