1c4762a1bSJed Brown static char help[] = "Small ODE to test TS accuracy.\n"; 2c4762a1bSJed Brown 3c4762a1bSJed Brown /* 4c4762a1bSJed Brown The ODE 5c4762a1bSJed Brown u1_t = cos(t), 6c4762a1bSJed Brown u2_t = sin(u2) 7c4762a1bSJed Brown with analytical solution 8c4762a1bSJed Brown u1(t) = sin(t), 9c4762a1bSJed Brown u2(t) = 2 * atan(exp(t) * tan(0.5)) 10c4762a1bSJed Brown is used to test the accuracy of TS schemes. 11c4762a1bSJed Brown */ 12c4762a1bSJed Brown 13c4762a1bSJed Brown #include <petscts.h> 14c4762a1bSJed Brown 15c4762a1bSJed Brown /* 16c4762a1bSJed Brown Defines the ODE passed to the ODE solver in explicit form: U_t = F(U) 17c4762a1bSJed Brown */ 18d71ae5a4SJacob Faibussowitsch static PetscErrorCode RHSFunction(TS ts, PetscReal t, Vec U, Vec F, void *s) 19d71ae5a4SJacob Faibussowitsch { 20c4762a1bSJed Brown PetscScalar *f; 21c4762a1bSJed Brown const PetscScalar *u; 22c4762a1bSJed Brown 237510d9b0SBarry Smith PetscFunctionBeginUser; 249566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(U, &u)); 259566063dSJacob Faibussowitsch PetscCall(VecGetArray(F, &f)); 26c4762a1bSJed Brown 27c4762a1bSJed Brown f[0] = PetscCosReal(t); 28*9fa27a79SStefano Zampini f[1] = PetscSinScalar(u[1]); 29c4762a1bSJed Brown 309566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(U, &u)); 319566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(F, &f)); 323ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 33c4762a1bSJed Brown } 34c4762a1bSJed Brown 35c4762a1bSJed Brown /* 36c4762a1bSJed Brown Defines the exact solution. 37c4762a1bSJed Brown */ 38d71ae5a4SJacob Faibussowitsch static PetscErrorCode ExactSolution(PetscReal t, Vec U) 39d71ae5a4SJacob Faibussowitsch { 40c4762a1bSJed Brown PetscScalar *u; 41c4762a1bSJed Brown 427510d9b0SBarry Smith PetscFunctionBeginUser; 439566063dSJacob Faibussowitsch PetscCall(VecGetArray(U, &u)); 44c4762a1bSJed Brown 45c4762a1bSJed Brown u[0] = PetscSinReal(t); 46c4762a1bSJed Brown u[1] = 2 * PetscAtanReal(PetscExpReal(t) * PetscTanReal(0.5)); 47c4762a1bSJed Brown 489566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(U, &u)); 493ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 50c4762a1bSJed Brown } 51c4762a1bSJed Brown 52d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv) 53d71ae5a4SJacob Faibussowitsch { 54c4762a1bSJed Brown TS ts; /* ODE integrator */ 55c4762a1bSJed Brown Vec U; /* numerical solution will be stored here */ 56c4762a1bSJed Brown Vec Uex; /* analytical (exact) solution will be stored here */ 57c4762a1bSJed Brown PetscMPIInt size; 58c4762a1bSJed Brown PetscInt n = 2; 59c4762a1bSJed Brown PetscScalar *u; 60c4762a1bSJed Brown PetscReal t, final_time = 1.0, dt = 0.25; 61c4762a1bSJed Brown PetscReal error; 62c4762a1bSJed Brown TSAdapt adapt; 63c4762a1bSJed Brown 64c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 65c4762a1bSJed Brown Initialize program 66c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 67327415f7SBarry Smith PetscFunctionBeginUser; 689566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &argv, (char *)0, help)); 699566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size)); 703c633725SBarry Smith PetscCheck(size == 1, PETSC_COMM_WORLD, PETSC_ERR_WRONG_MPI_SIZE, "Only for sequential runs"); 71c4762a1bSJed Brown 72c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 73c4762a1bSJed Brown Create timestepping solver context 74c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 759566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD, &ts)); 769566063dSJacob Faibussowitsch PetscCall(TSSetType(ts, TSROSW)); 77c4762a1bSJed Brown 78c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 79c4762a1bSJed Brown Set ODE routines 80c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 819566063dSJacob Faibussowitsch PetscCall(TSSetProblemType(ts, TS_NONLINEAR)); 829566063dSJacob Faibussowitsch PetscCall(TSSetRHSFunction(ts, NULL, RHSFunction, NULL)); 83c4762a1bSJed Brown 84c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 85c4762a1bSJed Brown Set initial conditions 86c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 879566063dSJacob Faibussowitsch PetscCall(VecCreate(PETSC_COMM_WORLD, &U)); 889566063dSJacob Faibussowitsch PetscCall(VecSetSizes(U, n, PETSC_DETERMINE)); 899566063dSJacob Faibussowitsch PetscCall(VecSetUp(U)); 909566063dSJacob Faibussowitsch PetscCall(VecGetArray(U, &u)); 91c4762a1bSJed Brown u[0] = 0.0; 92c4762a1bSJed Brown u[1] = 1.0; 939566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(U, &u)); 949566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts, U)); 95c4762a1bSJed Brown 96c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 97c4762a1bSJed Brown Set solver options 98c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 999566063dSJacob Faibussowitsch PetscCall(TSSetSaveTrajectory(ts)); 1009566063dSJacob Faibussowitsch PetscCall(TSSetMaxTime(ts, final_time)); 1019566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_STEPOVER)); 1029566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts, dt)); 103a5b23f4aSJose E. Roman /* The adaptive time step controller is forced to take constant time steps. */ 1049566063dSJacob Faibussowitsch PetscCall(TSGetAdapt(ts, &adapt)); 1059566063dSJacob Faibussowitsch PetscCall(TSAdaptSetType(adapt, TSADAPTNONE)); 106c4762a1bSJed Brown 1079566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 108c4762a1bSJed Brown 109c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 110c4762a1bSJed Brown Run timestepping solver and compute error 111c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1129566063dSJacob Faibussowitsch PetscCall(TSSolve(ts, U)); 1139566063dSJacob Faibussowitsch PetscCall(TSGetTime(ts, &t)); 114c4762a1bSJed Brown 115c4762a1bSJed Brown if (PetscAbsReal(t - final_time) > 100 * PETSC_MACHINE_EPSILON) { 1169566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Note: There is a difference of %g between the prescribed final time %g and the actual final time.\n", (double)(final_time - t), (double)final_time)); 117c4762a1bSJed Brown } 1189566063dSJacob Faibussowitsch PetscCall(VecDuplicate(U, &Uex)); 1199566063dSJacob Faibussowitsch PetscCall(ExactSolution(t, Uex)); 120c4762a1bSJed Brown 1219566063dSJacob Faibussowitsch PetscCall(VecAYPX(Uex, -1.0, U)); 1229566063dSJacob Faibussowitsch PetscCall(VecNorm(Uex, NORM_2, &error)); 1239566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Error at final time: %.2E\n", (double)error)); 124c4762a1bSJed Brown 125c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 126c4762a1bSJed Brown Free work space. All PETSc objects should be destroyed when they are no longer needed. 127c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1289566063dSJacob Faibussowitsch PetscCall(VecDestroy(&U)); 1299566063dSJacob Faibussowitsch PetscCall(VecDestroy(&Uex)); 1309566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 131c4762a1bSJed Brown 1329566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 133b122ec5aSJacob Faibussowitsch return 0; 134c4762a1bSJed Brown } 135c4762a1bSJed Brown 136c4762a1bSJed Brown /*TEST 137c4762a1bSJed Brown 138c4762a1bSJed Brown test: 139c4762a1bSJed Brown suffix: 3bs 140c4762a1bSJed Brown args: -ts_type rk -ts_rk_type 3bs 141c4762a1bSJed Brown requires: !single 142c4762a1bSJed Brown 143c4762a1bSJed Brown test: 144c4762a1bSJed Brown suffix: 5bs 145c4762a1bSJed Brown args: -ts_type rk -ts_rk_type 5bs 146c4762a1bSJed Brown requires: !single 147c4762a1bSJed Brown 148c4762a1bSJed Brown test: 149c4762a1bSJed Brown suffix: 5dp 150c4762a1bSJed Brown args: -ts_type rk -ts_rk_type 5dp 151c4762a1bSJed Brown requires: !single 152c4762a1bSJed Brown 153c4762a1bSJed Brown test: 154c4762a1bSJed Brown suffix: 6vr 155c4762a1bSJed Brown args: -ts_type rk -ts_rk_type 6vr 156c4762a1bSJed Brown requires: !single 157c4762a1bSJed Brown 158c4762a1bSJed Brown test: 159c4762a1bSJed Brown suffix: 7vr 160c4762a1bSJed Brown args: -ts_type rk -ts_rk_type 7vr 161c4762a1bSJed Brown requires: !single 162c4762a1bSJed Brown 163c4762a1bSJed Brown test: 164c4762a1bSJed Brown suffix: 8vr 165c4762a1bSJed Brown args: -ts_type rk -ts_rk_type 8vr 166c4762a1bSJed Brown requires: !single 167c4762a1bSJed Brown 168c4762a1bSJed Brown TEST*/ 169