1 2 static char help[] ="Solves a simple time-dependent linear PDE (the heat equation).\n\ 3 Input parameters include:\n\ 4 -m <points>, where <points> = number of grid points\n\ 5 -time_dependent_rhs : Treat the problem as having a time-dependent right-hand side\n\ 6 -debug : Activate debugging printouts\n\ 7 -nox : Deactivate x-window graphics\n\n"; 8 9 /* ------------------------------------------------------------------------ 10 11 This program solves the one-dimensional heat equation (also called the 12 diffusion equation), 13 u_t = u_xx, 14 on the domain 0 <= x <= 1, with the boundary conditions 15 u(t,0) = 0, u(t,1) = 0, 16 and the initial condition 17 u(0,x) = sin(6*pi*x) + 3*sin(2*pi*x). 18 This is a linear, second-order, parabolic equation. 19 20 We discretize the right-hand side using finite differences with 21 uniform grid spacing h: 22 u_xx = (u_{i+1} - 2u_{i} + u_{i-1})/(h^2) 23 We then demonstrate time evolution using the various TS methods by 24 running the program via 25 ex3 -ts_type <timestepping solver> 26 27 We compare the approximate solution with the exact solution, given by 28 u_exact(x,t) = exp(-36*pi*pi*t) * sin(6*pi*x) + 29 3*exp(-4*pi*pi*t) * sin(2*pi*x) 30 31 Notes: 32 This code demonstrates the TS solver interface to two variants of 33 linear problems, u_t = f(u,t), namely 34 - time-dependent f: f(u,t) is a function of t 35 - time-independent f: f(u,t) is simply f(u) 36 37 The parallel version of this code is ts/tutorials/ex4.c 38 39 ------------------------------------------------------------------------- */ 40 41 /* 42 Include "ts.h" so that we can use TS solvers. Note that this file 43 automatically includes: 44 petscsys.h - base PETSc routines vec.h - vectors 45 sys.h - system routines mat.h - matrices 46 is.h - index sets ksp.h - Krylov subspace methods 47 viewer.h - viewers pc.h - preconditioners 48 snes.h - nonlinear solvers 49 */ 50 51 #include <petscts.h> 52 #include <petscdraw.h> 53 54 /* 55 User-defined application context - contains data needed by the 56 application-provided call-back routines. 57 */ 58 typedef struct { 59 Vec solution; /* global exact solution vector */ 60 PetscInt m; /* total number of grid points */ 61 PetscReal h; /* mesh width h = 1/(m-1) */ 62 PetscBool debug; /* flag (1 indicates activation of debugging printouts) */ 63 PetscViewer viewer1, viewer2; /* viewers for the solution and error */ 64 PetscReal norm_2, norm_max; /* error norms */ 65 } AppCtx; 66 67 /* 68 User-defined routines 69 */ 70 extern PetscErrorCode InitialConditions(Vec,AppCtx*); 71 extern PetscErrorCode RHSMatrixHeat(TS,PetscReal,Vec,Mat,Mat,void*); 72 extern PetscErrorCode Monitor(TS,PetscInt,PetscReal,Vec,void*); 73 extern PetscErrorCode ExactSolution(PetscReal,Vec,AppCtx*); 74 extern PetscErrorCode MyBCRoutine(TS,PetscReal,Vec,void*); 75 76 int main(int argc,char **argv) 77 { 78 AppCtx appctx; /* user-defined application context */ 79 TS ts; /* timestepping context */ 80 Mat A; /* matrix data structure */ 81 Vec u; /* approximate solution vector */ 82 PetscReal time_total_max = 100.0; /* default max total time */ 83 PetscInt time_steps_max = 100; /* default max timesteps */ 84 PetscDraw draw; /* drawing context */ 85 PetscInt steps, m; 86 PetscMPIInt size; 87 PetscReal dt; 88 PetscReal ftime; 89 PetscBool flg; 90 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 91 Initialize program and set problem parameters 92 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 93 94 PetscCall(PetscInitialize(&argc,&argv,(char*)0,help)); 95 MPI_Comm_size(PETSC_COMM_WORLD,&size); 96 PetscCheck(size == 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only!"); 97 98 m = 60; 99 PetscCall(PetscOptionsGetInt(NULL,NULL,"-m",&m,NULL)); 100 PetscCall(PetscOptionsHasName(NULL,NULL,"-debug",&appctx.debug)); 101 102 appctx.m = m; 103 appctx.h = 1.0/(m-1.0); 104 appctx.norm_2 = 0.0; 105 appctx.norm_max = 0.0; 106 107 PetscCall(PetscPrintf(PETSC_COMM_SELF,"Solving a linear TS problem on 1 processor\n")); 108 109 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 110 Create vector data structures 111 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 112 113 /* 114 Create vector data structures for approximate and exact solutions 115 */ 116 PetscCall(VecCreateSeq(PETSC_COMM_SELF,m,&u)); 117 PetscCall(VecDuplicate(u,&appctx.solution)); 118 119 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 120 Set up displays to show graphs of the solution and error 121 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 122 123 PetscCall(PetscViewerDrawOpen(PETSC_COMM_SELF,0,"",80,380,400,160,&appctx.viewer1)); 124 PetscCall(PetscViewerDrawGetDraw(appctx.viewer1,0,&draw)); 125 PetscCall(PetscDrawSetDoubleBuffer(draw)); 126 PetscCall(PetscViewerDrawOpen(PETSC_COMM_SELF,0,"",80,0,400,160,&appctx.viewer2)); 127 PetscCall(PetscViewerDrawGetDraw(appctx.viewer2,0,&draw)); 128 PetscCall(PetscDrawSetDoubleBuffer(draw)); 129 130 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 131 Create timestepping solver context 132 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 133 134 PetscCall(TSCreate(PETSC_COMM_SELF,&ts)); 135 PetscCall(TSSetProblemType(ts,TS_LINEAR)); 136 137 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 138 Set optional user-defined monitoring routine 139 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 140 141 PetscCall(TSMonitorSet(ts,Monitor,&appctx,NULL)); 142 143 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 144 145 Create matrix data structure; set matrix evaluation routine. 146 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 147 148 PetscCall(MatCreate(PETSC_COMM_SELF,&A)); 149 PetscCall(MatSetSizes(A,PETSC_DECIDE,PETSC_DECIDE,m,m)); 150 PetscCall(MatSetFromOptions(A)); 151 PetscCall(MatSetUp(A)); 152 153 PetscCall(PetscOptionsHasName(NULL,NULL,"-time_dependent_rhs",&flg)); 154 if (flg) { 155 /* 156 For linear problems with a time-dependent f(u,t) in the equation 157 u_t = f(u,t), the user provides the discretized right-hand-side 158 as a time-dependent matrix. 159 */ 160 PetscCall(TSSetRHSFunction(ts,NULL,TSComputeRHSFunctionLinear,&appctx)); 161 PetscCall(TSSetRHSJacobian(ts,A,A,RHSMatrixHeat,&appctx)); 162 } else { 163 /* 164 For linear problems with a time-independent f(u) in the equation 165 u_t = f(u), the user provides the discretized right-hand-side 166 as a matrix only once, and then sets a null matrix evaluation 167 routine. 168 */ 169 PetscCall(RHSMatrixHeat(ts,0.0,u,A,A,&appctx)); 170 PetscCall(TSSetRHSFunction(ts,NULL,TSComputeRHSFunctionLinear,&appctx)); 171 PetscCall(TSSetRHSJacobian(ts,A,A,TSComputeRHSJacobianConstant,&appctx)); 172 } 173 174 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 175 Set solution vector and initial timestep 176 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 177 178 dt = appctx.h*appctx.h/2.0; 179 PetscCall(TSSetTimeStep(ts,dt)); 180 PetscCall(TSSetSolution(ts,u)); 181 182 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 183 Customize timestepping solver: 184 - Set the solution method to be the Backward Euler method. 185 - Set timestepping duration info 186 Then set runtime options, which can override these defaults. 187 For example, 188 -ts_max_steps <maxsteps> -ts_max_time <maxtime> 189 to override the defaults set by TSSetMaxSteps()/TSSetMaxTime(). 190 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 191 192 PetscCall(TSSetMaxSteps(ts,time_steps_max)); 193 PetscCall(TSSetMaxTime(ts,time_total_max)); 194 PetscCall(TSSetExactFinalTime(ts,TS_EXACTFINALTIME_STEPOVER)); 195 PetscCall(TSSetFromOptions(ts)); 196 197 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 198 Solve the problem 199 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 200 201 /* 202 Evaluate initial conditions 203 */ 204 PetscCall(InitialConditions(u,&appctx)); 205 206 /* 207 Run the timestepping solver 208 */ 209 PetscCall(TSSolve(ts,u)); 210 PetscCall(TSGetSolveTime(ts,&ftime)); 211 PetscCall(TSGetStepNumber(ts,&steps)); 212 213 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 214 View timestepping solver info 215 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 216 217 PetscCall(PetscPrintf(PETSC_COMM_SELF,"avg. error (2 norm) = %g, avg. error (max norm) = %g\n",(double)(appctx.norm_2/steps),(double)(appctx.norm_max/steps))); 218 PetscCall(TSView(ts,PETSC_VIEWER_STDOUT_SELF)); 219 220 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 221 Free work space. All PETSc objects should be destroyed when they 222 are no longer needed. 223 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 224 225 PetscCall(TSDestroy(&ts)); 226 PetscCall(MatDestroy(&A)); 227 PetscCall(VecDestroy(&u)); 228 PetscCall(PetscViewerDestroy(&appctx.viewer1)); 229 PetscCall(PetscViewerDestroy(&appctx.viewer2)); 230 PetscCall(VecDestroy(&appctx.solution)); 231 232 /* 233 Always call PetscFinalize() before exiting a program. This routine 234 - finalizes the PETSc libraries as well as MPI 235 - provides summary and diagnostic information if certain runtime 236 options are chosen (e.g., -log_view). 237 */ 238 PetscCall(PetscFinalize()); 239 return 0; 240 } 241 /* --------------------------------------------------------------------- */ 242 /* 243 InitialConditions - Computes the solution at the initial time. 244 245 Input Parameter: 246 u - uninitialized solution vector (global) 247 appctx - user-defined application context 248 249 Output Parameter: 250 u - vector with solution at initial time (global) 251 */ 252 PetscErrorCode InitialConditions(Vec u,AppCtx *appctx) 253 { 254 PetscScalar *u_localptr; 255 PetscInt i; 256 257 /* 258 Get a pointer to vector data. 259 - For default PETSc vectors, VecGetArray() returns a pointer to 260 the data array. Otherwise, the routine is implementation dependent. 261 - You MUST call VecRestoreArray() when you no longer need access to 262 the array. 263 - Note that the Fortran interface to VecGetArray() differs from the 264 C version. See the users manual for details. 265 */ 266 PetscCall(VecGetArray(u,&u_localptr)); 267 268 /* 269 We initialize the solution array by simply writing the solution 270 directly into the array locations. Alternatively, we could use 271 VecSetValues() or VecSetValuesLocal(). 272 */ 273 for (i=0; i<appctx->m; i++) u_localptr[i] = PetscSinReal(PETSC_PI*i*6.*appctx->h) + 3.*PetscSinReal(PETSC_PI*i*2.*appctx->h); 274 275 /* 276 Restore vector 277 */ 278 PetscCall(VecRestoreArray(u,&u_localptr)); 279 280 /* 281 Print debugging information if desired 282 */ 283 if (appctx->debug) { 284 PetscCall(VecView(u,PETSC_VIEWER_STDOUT_SELF)); 285 } 286 287 return 0; 288 } 289 /* --------------------------------------------------------------------- */ 290 /* 291 ExactSolution - Computes the exact solution at a given time. 292 293 Input Parameters: 294 t - current time 295 solution - vector in which exact solution will be computed 296 appctx - user-defined application context 297 298 Output Parameter: 299 solution - vector with the newly computed exact solution 300 */ 301 PetscErrorCode ExactSolution(PetscReal t,Vec solution,AppCtx *appctx) 302 { 303 PetscScalar *s_localptr, h = appctx->h, ex1, ex2, sc1, sc2; 304 PetscInt i; 305 306 /* 307 Get a pointer to vector data. 308 */ 309 PetscCall(VecGetArray(solution,&s_localptr)); 310 311 /* 312 Simply write the solution directly into the array locations. 313 Alternatively, we culd use VecSetValues() or VecSetValuesLocal(). 314 */ 315 ex1 = PetscExpReal(-36.*PETSC_PI*PETSC_PI*t); ex2 = PetscExpReal(-4.*PETSC_PI*PETSC_PI*t); 316 sc1 = PETSC_PI*6.*h; sc2 = PETSC_PI*2.*h; 317 for (i=0; i<appctx->m; i++) s_localptr[i] = PetscSinReal(PetscRealPart(sc1)*(PetscReal)i)*ex1 + 3.*PetscSinReal(PetscRealPart(sc2)*(PetscReal)i)*ex2; 318 319 /* 320 Restore vector 321 */ 322 PetscCall(VecRestoreArray(solution,&s_localptr)); 323 return 0; 324 } 325 /* --------------------------------------------------------------------- */ 326 /* 327 Monitor - User-provided routine to monitor the solution computed at 328 each timestep. This example plots the solution and computes the 329 error in two different norms. 330 331 This example also demonstrates changing the timestep via TSSetTimeStep(). 332 333 Input Parameters: 334 ts - the timestep context 335 step - the count of the current step (with 0 meaning the 336 initial condition) 337 crtime - the current time 338 u - the solution at this timestep 339 ctx - the user-provided context for this monitoring routine. 340 In this case we use the application context which contains 341 information about the problem size, workspace and the exact 342 solution. 343 */ 344 PetscErrorCode Monitor(TS ts,PetscInt step,PetscReal crtime,Vec u,void *ctx) 345 { 346 AppCtx *appctx = (AppCtx*) ctx; /* user-defined application context */ 347 PetscReal norm_2, norm_max, dt, dttol; 348 PetscBool flg; 349 350 /* 351 View a graph of the current iterate 352 */ 353 PetscCall(VecView(u,appctx->viewer2)); 354 355 /* 356 Compute the exact solution 357 */ 358 PetscCall(ExactSolution(crtime,appctx->solution,appctx)); 359 360 /* 361 Print debugging information if desired 362 */ 363 if (appctx->debug) { 364 PetscCall(PetscPrintf(PETSC_COMM_SELF,"Computed solution vector\n")); 365 PetscCall(VecView(u,PETSC_VIEWER_STDOUT_SELF)); 366 PetscCall(PetscPrintf(PETSC_COMM_SELF,"Exact solution vector\n")); 367 PetscCall(VecView(appctx->solution,PETSC_VIEWER_STDOUT_SELF)); 368 } 369 370 /* 371 Compute the 2-norm and max-norm of the error 372 */ 373 PetscCall(VecAXPY(appctx->solution,-1.0,u)); 374 PetscCall(VecNorm(appctx->solution,NORM_2,&norm_2)); 375 norm_2 = PetscSqrtReal(appctx->h)*norm_2; 376 PetscCall(VecNorm(appctx->solution,NORM_MAX,&norm_max)); 377 378 PetscCall(TSGetTimeStep(ts,&dt)); 379 if (norm_2 > 1.e-2) { 380 PetscCall(PetscPrintf(PETSC_COMM_SELF,"Timestep %" PetscInt_FMT ": step size = %g, time = %g, 2-norm error = %g, max norm error = %g\n",step,(double)dt,(double)crtime,(double)norm_2,(double)norm_max)); 381 } 382 appctx->norm_2 += norm_2; 383 appctx->norm_max += norm_max; 384 385 dttol = .0001; 386 PetscCall(PetscOptionsGetReal(NULL,NULL,"-dttol",&dttol,&flg)); 387 if (dt < dttol) { 388 dt *= .999; 389 PetscCall(TSSetTimeStep(ts,dt)); 390 } 391 392 /* 393 View a graph of the error 394 */ 395 PetscCall(VecView(appctx->solution,appctx->viewer1)); 396 397 /* 398 Print debugging information if desired 399 */ 400 if (appctx->debug) { 401 PetscCall(PetscPrintf(PETSC_COMM_SELF,"Error vector\n")); 402 PetscCall(VecView(appctx->solution,PETSC_VIEWER_STDOUT_SELF)); 403 } 404 405 return 0; 406 } 407 /* --------------------------------------------------------------------- */ 408 /* 409 RHSMatrixHeat - User-provided routine to compute the right-hand-side 410 matrix for the heat equation. 411 412 Input Parameters: 413 ts - the TS context 414 t - current time 415 global_in - global input vector 416 dummy - optional user-defined context, as set by TSetRHSJacobian() 417 418 Output Parameters: 419 AA - Jacobian matrix 420 BB - optionally different preconditioning matrix 421 str - flag indicating matrix structure 422 423 Notes: 424 Recall that MatSetValues() uses 0-based row and column numbers 425 in Fortran as well as in C. 426 */ 427 PetscErrorCode RHSMatrixHeat(TS ts,PetscReal t,Vec X,Mat AA,Mat BB,void *ctx) 428 { 429 Mat A = AA; /* Jacobian matrix */ 430 AppCtx *appctx = (AppCtx*) ctx; /* user-defined application context */ 431 PetscInt mstart = 0; 432 PetscInt mend = appctx->m; 433 PetscInt i, idx[3]; 434 PetscScalar v[3], stwo = -2./(appctx->h*appctx->h), sone = -.5*stwo; 435 436 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 437 Compute entries for the locally owned part of the matrix 438 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 439 /* 440 Set matrix rows corresponding to boundary data 441 */ 442 443 mstart = 0; 444 v[0] = 1.0; 445 PetscCall(MatSetValues(A,1,&mstart,1,&mstart,v,INSERT_VALUES)); 446 mstart++; 447 448 mend--; 449 v[0] = 1.0; 450 PetscCall(MatSetValues(A,1,&mend,1,&mend,v,INSERT_VALUES)); 451 452 /* 453 Set matrix rows corresponding to interior data. We construct the 454 matrix one row at a time. 455 */ 456 v[0] = sone; v[1] = stwo; v[2] = sone; 457 for (i=mstart; i<mend; i++) { 458 idx[0] = i-1; idx[1] = i; idx[2] = i+1; 459 PetscCall(MatSetValues(A,1,&i,3,idx,v,INSERT_VALUES)); 460 } 461 462 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 463 Complete the matrix assembly process and set some options 464 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 465 /* 466 Assemble matrix, using the 2-step process: 467 MatAssemblyBegin(), MatAssemblyEnd() 468 Computations can be done while messages are in transition 469 by placing code between these two statements. 470 */ 471 PetscCall(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY)); 472 PetscCall(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY)); 473 474 /* 475 Set and option to indicate that we will never add a new nonzero location 476 to the matrix. If we do, it will generate an error. 477 */ 478 PetscCall(MatSetOption(A,MAT_NEW_NONZERO_LOCATION_ERR,PETSC_TRUE)); 479 480 return 0; 481 } 482 /* --------------------------------------------------------------------- */ 483 /* 484 Input Parameters: 485 ts - the TS context 486 t - current time 487 f - function 488 ctx - optional user-defined context, as set by TSetBCFunction() 489 */ 490 PetscErrorCode MyBCRoutine(TS ts,PetscReal t,Vec f,void *ctx) 491 { 492 AppCtx *appctx = (AppCtx*) ctx; /* user-defined application context */ 493 PetscInt m = appctx->m; 494 PetscScalar *fa; 495 496 PetscCall(VecGetArray(f,&fa)); 497 fa[0] = 0.0; 498 fa[m-1] = 1.0; 499 PetscCall(VecRestoreArray(f,&fa)); 500 PetscCall(PetscPrintf(PETSC_COMM_SELF,"t=%g\n",(double)t)); 501 502 return 0; 503 } 504 505 /*TEST 506 507 test: 508 args: -nox -ts_max_steps 4 509 510 TEST*/ 511