1c4762a1bSJed Brown 2c4762a1bSJed Brown static char help[] ="Model Equations for Advection \n"; 3c4762a1bSJed Brown 4c4762a1bSJed Brown /* 5c4762a1bSJed Brown Modified from ex3.c 6c4762a1bSJed Brown Page 9, Section 1.2 Model Equations for Advection-Diffusion 7c4762a1bSJed Brown 8c4762a1bSJed Brown u_t + a u_x = 0, 0<= x <= 1.0 9c4762a1bSJed Brown 10c4762a1bSJed Brown The initial conditions used here different from the book. 11c4762a1bSJed Brown 12c4762a1bSJed Brown Example: 13c4762a1bSJed Brown ./ex6 -ts_monitor -ts_view_solution -ts_max_steps 100 -ts_monitor_solution draw -draw_pause .1 14c4762a1bSJed Brown ./ex6 -ts_monitor -ts_max_steps 100 -ts_monitor_lg_error -draw_pause .1 15c4762a1bSJed Brown */ 16c4762a1bSJed Brown 17c4762a1bSJed Brown #include <petscts.h> 18c4762a1bSJed Brown #include <petscdm.h> 19c4762a1bSJed Brown #include <petscdmda.h> 20c4762a1bSJed Brown 21c4762a1bSJed Brown /* 22c4762a1bSJed Brown User-defined application context - contains data needed by the 23c4762a1bSJed Brown application-provided call-back routines. 24c4762a1bSJed Brown */ 25c4762a1bSJed Brown typedef struct { 26c4762a1bSJed Brown PetscReal a; /* advection strength */ 27c4762a1bSJed Brown } AppCtx; 28c4762a1bSJed Brown 29c4762a1bSJed Brown /* User-defined routines */ 30c4762a1bSJed Brown extern PetscErrorCode InitialConditions(TS,Vec,AppCtx*); 31c4762a1bSJed Brown extern PetscErrorCode Solution(TS,PetscReal,Vec,AppCtx*); 32c4762a1bSJed Brown extern PetscErrorCode IFunction_LaxFriedrichs(TS,PetscReal,Vec,Vec,Vec,void*); 33c4762a1bSJed Brown extern PetscErrorCode IFunction_LaxWendroff(TS,PetscReal,Vec,Vec,Vec,void*); 34c4762a1bSJed Brown 35c4762a1bSJed Brown int main(int argc,char **argv) 36c4762a1bSJed Brown { 37c4762a1bSJed Brown AppCtx appctx; /* user-defined application context */ 38c4762a1bSJed Brown TS ts; /* timestepping context */ 39c4762a1bSJed Brown Vec U; /* approximate solution vector */ 40c4762a1bSJed Brown PetscReal dt; 41c4762a1bSJed Brown DM da; 42c4762a1bSJed Brown PetscInt M; 43c4762a1bSJed Brown PetscMPIInt rank; 44c4762a1bSJed Brown PetscBool useLaxWendroff = PETSC_TRUE; 45c4762a1bSJed Brown 46c4762a1bSJed Brown /* Initialize program and set problem parameters */ 47*327415f7SBarry Smith PetscFunctionBeginUser; 489566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc,&argv,(char*)0,help)); 499566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank)); 50c4762a1bSJed Brown 51c4762a1bSJed Brown appctx.a = -1.0; 529566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetReal(NULL,NULL,"-a",&appctx.a,NULL)); 53c4762a1bSJed Brown 549566063dSJacob Faibussowitsch PetscCall(DMDACreate1d(PETSC_COMM_WORLD,DM_BOUNDARY_PERIODIC, 60, 1, 1,NULL,&da)); 559566063dSJacob Faibussowitsch PetscCall(DMSetFromOptions(da)); 569566063dSJacob Faibussowitsch PetscCall(DMSetUp(da)); 57c4762a1bSJed Brown 58c4762a1bSJed Brown /* Create vector data structures for approximate and exact solutions */ 599566063dSJacob Faibussowitsch PetscCall(DMCreateGlobalVector(da,&U)); 60c4762a1bSJed Brown 61c4762a1bSJed Brown /* Create timestepping solver context */ 629566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD,&ts)); 639566063dSJacob Faibussowitsch PetscCall(TSSetDM(ts,da)); 64c4762a1bSJed Brown 65c4762a1bSJed Brown /* Function evaluation */ 669566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL,NULL,"-useLaxWendroff",&useLaxWendroff,NULL)); 67c4762a1bSJed Brown if (useLaxWendroff) { 68dd400576SPatrick Sanan if (rank == 0) { 699566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_SELF,"... Use Lax-Wendroff finite volume\n")); 70c4762a1bSJed Brown } 719566063dSJacob Faibussowitsch PetscCall(TSSetIFunction(ts,NULL,IFunction_LaxWendroff,&appctx)); 72c4762a1bSJed Brown } else { 73dd400576SPatrick Sanan if (rank == 0) { 749566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_SELF,"... Use Lax-LaxFriedrichs finite difference\n")); 75c4762a1bSJed Brown } 769566063dSJacob Faibussowitsch PetscCall(TSSetIFunction(ts,NULL,IFunction_LaxFriedrichs,&appctx)); 77c4762a1bSJed Brown } 78c4762a1bSJed Brown 79c4762a1bSJed Brown /* Customize timestepping solver */ 809566063dSJacob Faibussowitsch PetscCall(DMDAGetInfo(da,PETSC_IGNORE,&M,0,0,0,0,0,0,0,0,0,0,0)); 81c4762a1bSJed Brown dt = 1.0/(PetscAbsReal(appctx.a)*M); 829566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts,dt)); 839566063dSJacob Faibussowitsch PetscCall(TSSetMaxSteps(ts,100)); 849566063dSJacob Faibussowitsch PetscCall(TSSetMaxTime(ts,100.0)); 859566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts,TS_EXACTFINALTIME_STEPOVER)); 869566063dSJacob Faibussowitsch PetscCall(TSSetType(ts,TSBEULER)); 879566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 88c4762a1bSJed Brown 89c4762a1bSJed Brown /* Evaluate initial conditions */ 909566063dSJacob Faibussowitsch PetscCall(InitialConditions(ts,U,&appctx)); 91c4762a1bSJed Brown 92c4762a1bSJed Brown /* For testing accuracy of TS with already known solution, e.g., '-ts_monitor_lg_error' */ 939566063dSJacob Faibussowitsch PetscCall(TSSetSolutionFunction(ts,(PetscErrorCode (*)(TS,PetscReal,Vec,void*))Solution,&appctx)); 94c4762a1bSJed Brown 95c4762a1bSJed Brown /* Run the timestepping solver */ 969566063dSJacob Faibussowitsch PetscCall(TSSolve(ts,U)); 97c4762a1bSJed Brown 98c4762a1bSJed Brown /* Free work space */ 999566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 1009566063dSJacob Faibussowitsch PetscCall(VecDestroy(&U)); 1019566063dSJacob Faibussowitsch PetscCall(DMDestroy(&da)); 102c4762a1bSJed Brown 1039566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 104b122ec5aSJacob Faibussowitsch return 0; 105c4762a1bSJed Brown } 106c4762a1bSJed Brown /* --------------------------------------------------------------------- */ 107c4762a1bSJed Brown /* 108c4762a1bSJed Brown InitialConditions - Computes the solution at the initial time. 109c4762a1bSJed Brown 110c4762a1bSJed Brown Input Parameter: 111c4762a1bSJed Brown u - uninitialized solution vector (global) 112c4762a1bSJed Brown appctx - user-defined application context 113c4762a1bSJed Brown 114c4762a1bSJed Brown Output Parameter: 115c4762a1bSJed Brown u - vector with solution at initial time (global) 116c4762a1bSJed Brown */ 117c4762a1bSJed Brown PetscErrorCode InitialConditions(TS ts,Vec U,AppCtx *appctx) 118c4762a1bSJed Brown { 119c4762a1bSJed Brown PetscScalar *u; 120c4762a1bSJed Brown PetscInt i,mstart,mend,um,M; 121c4762a1bSJed Brown DM da; 122c4762a1bSJed Brown PetscReal h; 123c4762a1bSJed Brown 1249566063dSJacob Faibussowitsch PetscCall(TSGetDM(ts,&da)); 1259566063dSJacob Faibussowitsch PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0)); 1269566063dSJacob Faibussowitsch PetscCall(DMDAGetInfo(da,PETSC_IGNORE,&M,0,0,0,0,0,0,0,0,0,0,0)); 127c4762a1bSJed Brown h = 1.0/M; 128c4762a1bSJed Brown mend = mstart + um; 129c4762a1bSJed Brown /* 130c4762a1bSJed Brown Get a pointer to vector data. 131c4762a1bSJed Brown - For default PETSc vectors, VecGetArray() returns a pointer to 132c4762a1bSJed Brown the data array. Otherwise, the routine is implementation dependent. 133c4762a1bSJed Brown - You MUST call VecRestoreArray() when you no longer need access to 134c4762a1bSJed Brown the array. 135c4762a1bSJed Brown - Note that the Fortran interface to VecGetArray() differs from the 136c4762a1bSJed Brown C version. See the users manual for details. 137c4762a1bSJed Brown */ 1389566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArray(da,U,&u)); 139c4762a1bSJed Brown 140c4762a1bSJed Brown /* 141c4762a1bSJed Brown We initialize the solution array by simply writing the solution 142c4762a1bSJed Brown directly into the array locations. Alternatively, we could use 143c4762a1bSJed Brown VecSetValues() or VecSetValuesLocal(). 144c4762a1bSJed Brown */ 145c4762a1bSJed Brown for (i=mstart; i<mend; i++) u[i] = PetscSinReal(PETSC_PI*i*6.*h) + 3.*PetscSinReal(PETSC_PI*i*2.*h); 146c4762a1bSJed Brown 147c4762a1bSJed Brown /* Restore vector */ 1489566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArray(da,U,&u)); 149c4762a1bSJed Brown return 0; 150c4762a1bSJed Brown } 151c4762a1bSJed Brown /* --------------------------------------------------------------------- */ 152c4762a1bSJed Brown /* 153c4762a1bSJed Brown Solution - Computes the exact solution at a given time 154c4762a1bSJed Brown 155c4762a1bSJed Brown Input Parameters: 156c4762a1bSJed Brown t - current time 157c4762a1bSJed Brown solution - vector in which exact solution will be computed 158c4762a1bSJed Brown appctx - user-defined application context 159c4762a1bSJed Brown 160c4762a1bSJed Brown Output Parameter: 161c4762a1bSJed Brown solution - vector with the newly computed exact solution 162c4762a1bSJed Brown u(x,t) = sin(6*PI*(x - a*t)) + 3 * sin(2*PI*(x - a*t)) 163c4762a1bSJed Brown */ 164c4762a1bSJed Brown PetscErrorCode Solution(TS ts,PetscReal t,Vec U,AppCtx *appctx) 165c4762a1bSJed Brown { 166c4762a1bSJed Brown PetscScalar *u; 167c4762a1bSJed Brown PetscReal a=appctx->a,h,PI6,PI2; 168c4762a1bSJed Brown PetscInt i,mstart,mend,um,M; 169c4762a1bSJed Brown DM da; 170c4762a1bSJed Brown 1719566063dSJacob Faibussowitsch PetscCall(TSGetDM(ts,&da)); 1729566063dSJacob Faibussowitsch PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0)); 1739566063dSJacob Faibussowitsch PetscCall(DMDAGetInfo(da,PETSC_IGNORE,&M,0,0,0,0,0,0,0,0,0,0,0)); 174c4762a1bSJed Brown h = 1.0/M; 175c4762a1bSJed Brown mend = mstart + um; 176c4762a1bSJed Brown 177c4762a1bSJed Brown /* Get a pointer to vector data. */ 1789566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArray(da,U,&u)); 179c4762a1bSJed Brown 180c4762a1bSJed Brown /* u[i] = sin(6*PI*(x[i] - a*t)) + 3 * sin(2*PI*(x[i] - a*t)) */ 181c4762a1bSJed Brown PI6 = PETSC_PI*6.; 182c4762a1bSJed Brown PI2 = PETSC_PI*2.; 183c4762a1bSJed Brown for (i=mstart; i<mend; i++) { 184c4762a1bSJed Brown u[i] = PetscSinReal(PI6*(i*h - a*t)) + 3.*PetscSinReal(PI2*(i*h - a*t)); 185c4762a1bSJed Brown } 186c4762a1bSJed Brown 187c4762a1bSJed Brown /* Restore vector */ 1889566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArray(da,U,&u)); 189c4762a1bSJed Brown return 0; 190c4762a1bSJed Brown } 191c4762a1bSJed Brown 192c4762a1bSJed Brown /* --------------------------------------------------------------------- */ 193c4762a1bSJed Brown /* 194c4762a1bSJed Brown Use Lax-Friedrichs method to evaluate F(u,t) = du/dt + a * du/dx 195c4762a1bSJed Brown 196c4762a1bSJed Brown See https://en.wikipedia.org/wiki/Lax%E2%80%93Friedrichs_method 197c4762a1bSJed Brown */ 198c4762a1bSJed Brown PetscErrorCode IFunction_LaxFriedrichs(TS ts,PetscReal t,Vec U,Vec Udot,Vec F,void* ctx) 199c4762a1bSJed Brown { 200c4762a1bSJed Brown AppCtx *appctx=(AppCtx*)ctx; 201c4762a1bSJed Brown PetscInt mstart,mend,M,i,um; 202c4762a1bSJed Brown DM da; 203c4762a1bSJed Brown Vec Uold,localUold; 204c4762a1bSJed Brown PetscScalar *uarray,*f,*uoldarray,h,uave,c; 205c4762a1bSJed Brown PetscReal dt; 206c4762a1bSJed Brown 207c4762a1bSJed Brown PetscFunctionBegin; 2089566063dSJacob Faibussowitsch PetscCall(TSGetTimeStep(ts,&dt)); 2099566063dSJacob Faibussowitsch PetscCall(TSGetSolution(ts,&Uold)); 210c4762a1bSJed Brown 2119566063dSJacob Faibussowitsch PetscCall(TSGetDM(ts,&da)); 2129566063dSJacob Faibussowitsch PetscCall(DMDAGetInfo(da,0,&M,0,0,0,0,0,0,0,0,0,0,0)); 2139566063dSJacob Faibussowitsch PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0)); 214c4762a1bSJed Brown h = 1.0/M; 215c4762a1bSJed Brown mend = mstart + um; 216c4762a1bSJed Brown /* printf(" mstart %d, um %d\n",mstart,um); */ 217c4762a1bSJed Brown 2189566063dSJacob Faibussowitsch PetscCall(DMGetLocalVector(da,&localUold)); 2199566063dSJacob Faibussowitsch PetscCall(DMGlobalToLocalBegin(da,Uold,INSERT_VALUES,localUold)); 2209566063dSJacob Faibussowitsch PetscCall(DMGlobalToLocalEnd(da,Uold,INSERT_VALUES,localUold)); 221c4762a1bSJed Brown 222c4762a1bSJed Brown /* Get pointers to vector data */ 2239566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayRead(da,U,&uarray)); 2249566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayRead(da,localUold,&uoldarray)); 2259566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArray(da,F,&f)); 226c4762a1bSJed Brown 227c4762a1bSJed Brown /* advection */ 228c4762a1bSJed Brown c = appctx->a*dt/h; /* Courant-Friedrichs-Lewy number (CFL number) */ 229c4762a1bSJed Brown 230c4762a1bSJed Brown for (i=mstart; i<mend; i++) { 231c4762a1bSJed Brown uave = 0.5*(uoldarray[i-1] + uoldarray[i+1]); 232c4762a1bSJed Brown f[i] = uarray[i] - uave + c*0.5*(uoldarray[i+1] - uoldarray[i-1]); 233c4762a1bSJed Brown } 234c4762a1bSJed Brown 235c4762a1bSJed Brown /* Restore vectors */ 2369566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayRead(da,U,&uarray)); 2379566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayRead(da,localUold,&uoldarray)); 2389566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArray(da,F,&f)); 2399566063dSJacob Faibussowitsch PetscCall(DMRestoreLocalVector(da,&localUold)); 240c4762a1bSJed Brown PetscFunctionReturn(0); 241c4762a1bSJed Brown } 242c4762a1bSJed Brown 243c4762a1bSJed Brown /* 244c4762a1bSJed Brown Use Lax-Wendroff method to evaluate F(u,t) = du/dt + a * du/dx 245c4762a1bSJed Brown */ 246c4762a1bSJed Brown PetscErrorCode IFunction_LaxWendroff(TS ts,PetscReal t,Vec U,Vec Udot,Vec F,void* ctx) 247c4762a1bSJed Brown { 248c4762a1bSJed Brown AppCtx *appctx=(AppCtx*)ctx; 249c4762a1bSJed Brown PetscInt mstart,mend,M,i,um; 250c4762a1bSJed Brown DM da; 251c4762a1bSJed Brown Vec Uold,localUold; 252c4762a1bSJed Brown PetscScalar *uarray,*f,*uoldarray,h,RFlux,LFlux,lambda; 253c4762a1bSJed Brown PetscReal dt,a; 254c4762a1bSJed Brown 255c4762a1bSJed Brown PetscFunctionBegin; 2569566063dSJacob Faibussowitsch PetscCall(TSGetTimeStep(ts,&dt)); 2579566063dSJacob Faibussowitsch PetscCall(TSGetSolution(ts,&Uold)); 258c4762a1bSJed Brown 2599566063dSJacob Faibussowitsch PetscCall(TSGetDM(ts,&da)); 2609566063dSJacob Faibussowitsch PetscCall(DMDAGetInfo(da,0,&M,0,0,0,0,0,0,0,0,0,0,0)); 2619566063dSJacob Faibussowitsch PetscCall(DMDAGetCorners(da,&mstart,0,0,&um,0,0)); 262c4762a1bSJed Brown h = 1.0/M; 263c4762a1bSJed Brown mend = mstart + um; 264c4762a1bSJed Brown /* printf(" mstart %d, um %d\n",mstart,um); */ 265c4762a1bSJed Brown 2669566063dSJacob Faibussowitsch PetscCall(DMGetLocalVector(da,&localUold)); 2679566063dSJacob Faibussowitsch PetscCall(DMGlobalToLocalBegin(da,Uold,INSERT_VALUES,localUold)); 2689566063dSJacob Faibussowitsch PetscCall(DMGlobalToLocalEnd(da,Uold,INSERT_VALUES,localUold)); 269c4762a1bSJed Brown 270c4762a1bSJed Brown /* Get pointers to vector data */ 2719566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayRead(da,U,&uarray)); 2729566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArrayRead(da,localUold,&uoldarray)); 2739566063dSJacob Faibussowitsch PetscCall(DMDAVecGetArray(da,F,&f)); 274c4762a1bSJed Brown 275c4762a1bSJed Brown /* advection -- finite volume (appctx->a < 0 -- can be relaxed?) */ 276c4762a1bSJed Brown lambda = dt/h; 277c4762a1bSJed Brown a = appctx->a; 278c4762a1bSJed Brown 279c4762a1bSJed Brown for (i=mstart; i<mend; i++) { 280c4762a1bSJed Brown RFlux = 0.5 * a * (uoldarray[i+1] + uoldarray[i]) - a*a*0.5*lambda * (uoldarray[i+1] - uoldarray[i]); 281c4762a1bSJed Brown LFlux = 0.5 * a * (uoldarray[i-1] + uoldarray[i]) - a*a*0.5*lambda * (uoldarray[i] - uoldarray[i-1]); 282c4762a1bSJed Brown f[i] = uarray[i] - uoldarray[i] + lambda * (RFlux - LFlux); 283c4762a1bSJed Brown } 284c4762a1bSJed Brown 285c4762a1bSJed Brown /* Restore vectors */ 2869566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayRead(da,U,&uarray)); 2879566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArrayRead(da,localUold,&uoldarray)); 2889566063dSJacob Faibussowitsch PetscCall(DMDAVecRestoreArray(da,F,&f)); 2899566063dSJacob Faibussowitsch PetscCall(DMRestoreLocalVector(da,&localUold)); 290c4762a1bSJed Brown PetscFunctionReturn(0); 291c4762a1bSJed Brown } 292c4762a1bSJed Brown 293c4762a1bSJed Brown /*TEST 294c4762a1bSJed Brown 295c4762a1bSJed Brown test: 296c4762a1bSJed Brown args: -ts_max_steps 10 -ts_monitor 297c4762a1bSJed Brown 298c4762a1bSJed Brown test: 299c4762a1bSJed Brown suffix: 2 300c4762a1bSJed Brown nsize: 3 301c4762a1bSJed Brown args: -ts_max_steps 10 -ts_monitor 302c4762a1bSJed Brown output_file: output/ex6_1.out 303c4762a1bSJed Brown 304c4762a1bSJed Brown test: 305c4762a1bSJed Brown suffix: 3 306c4762a1bSJed Brown args: -ts_max_steps 10 -ts_monitor -useLaxWendroff false 307c4762a1bSJed Brown 308c4762a1bSJed Brown test: 309c4762a1bSJed Brown suffix: 4 310c4762a1bSJed Brown nsize: 3 311c4762a1bSJed Brown args: -ts_max_steps 10 -ts_monitor -useLaxWendroff false 312c4762a1bSJed Brown output_file: output/ex6_3.out 313c4762a1bSJed Brown 314c4762a1bSJed Brown TEST*/ 315