xref: /petsc/src/ts/tutorials/power_grid/ex6.c (revision 4e8208cbcbc709572b8abe32f33c78b69c819375)
1c4762a1bSJed Brown static char help[] = "Time-dependent PDE in 2d for calculating joint PDF. \n";
2c4762a1bSJed Brown /*
3c4762a1bSJed Brown    p_t = -x_t*p_x -y_t*p_y + f(t)*p_yy
4c4762a1bSJed Brown    xmin < x < xmax, ymin < y < ymax;
5c4762a1bSJed Brown    x_t = (y - ws)  y_t = (ws/2H)*(Pm - Pmax*sin(x))
6c4762a1bSJed Brown 
7c4762a1bSJed Brown    Boundary conditions: -bc_type 0 => Zero dirichlet boundary
8c4762a1bSJed Brown                         -bc_type 1 => Steady state boundary condition
9c4762a1bSJed Brown    Steady state boundary condition found by setting p_t = 0
10c4762a1bSJed Brown */
11c4762a1bSJed Brown 
12c4762a1bSJed Brown #include <petscdm.h>
13c4762a1bSJed Brown #include <petscdmda.h>
14c4762a1bSJed Brown #include <petscts.h>
15c4762a1bSJed Brown 
16c4762a1bSJed Brown /*
17c4762a1bSJed Brown    User-defined data structures and routines
18c4762a1bSJed Brown */
19c4762a1bSJed Brown typedef struct {
20c4762a1bSJed Brown   PetscScalar ws;         /* Synchronous speed */
21c4762a1bSJed Brown   PetscScalar H;          /* Inertia constant */
22c4762a1bSJed Brown   PetscScalar D;          /* Damping constant */
23c4762a1bSJed Brown   PetscScalar Pmax;       /* Maximum power output of generator */
24c4762a1bSJed Brown   PetscScalar PM_min;     /* Mean mechanical power input */
25c4762a1bSJed Brown   PetscScalar lambda;     /* correlation time */
26c4762a1bSJed Brown   PetscScalar q;          /* noise strength */
27c4762a1bSJed Brown   PetscScalar mux;        /* Initial average angle */
28c4762a1bSJed Brown   PetscScalar sigmax;     /* Standard deviation of initial angle */
29c4762a1bSJed Brown   PetscScalar muy;        /* Average speed */
30c4762a1bSJed Brown   PetscScalar sigmay;     /* standard deviation of initial speed */
31c4762a1bSJed Brown   PetscScalar rho;        /* Cross-correlation coefficient */
32c4762a1bSJed Brown   PetscScalar t0;         /* Initial time */
33c4762a1bSJed Brown   PetscScalar tmax;       /* Final time */
34c4762a1bSJed Brown   PetscScalar xmin;       /* left boundary of angle */
35c4762a1bSJed Brown   PetscScalar xmax;       /* right boundary of angle */
36c4762a1bSJed Brown   PetscScalar ymin;       /* bottom boundary of speed */
37c4762a1bSJed Brown   PetscScalar ymax;       /* top boundary of speed */
38c4762a1bSJed Brown   PetscScalar dx;         /* x step size */
39c4762a1bSJed Brown   PetscScalar dy;         /* y step size */
40c4762a1bSJed Brown   PetscInt    bc;         /* Boundary conditions */
41c4762a1bSJed Brown   PetscScalar disper_coe; /* Dispersion coefficient */
42c4762a1bSJed Brown   DM          da;
43c4762a1bSJed Brown } AppCtx;
44c4762a1bSJed Brown 
45c4762a1bSJed Brown PetscErrorCode Parameter_settings(AppCtx *);
46c4762a1bSJed Brown PetscErrorCode ini_bou(Vec, AppCtx *);
47c4762a1bSJed Brown PetscErrorCode IFunction(TS, PetscReal, Vec, Vec, Vec, void *);
48c4762a1bSJed Brown PetscErrorCode IJacobian(TS, PetscReal, Vec, Vec, PetscReal, Mat, Mat, void *);
49c4762a1bSJed Brown PetscErrorCode PostStep(TS);
50c4762a1bSJed Brown 
main(int argc,char ** argv)51d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv)
52d71ae5a4SJacob Faibussowitsch {
53c4762a1bSJed Brown   Vec         x;    /* Solution vector */
54c4762a1bSJed Brown   TS          ts;   /* Time-stepping context */
55c4762a1bSJed Brown   AppCtx      user; /* Application context */
56c4762a1bSJed Brown   Mat         J;
57c4762a1bSJed Brown   PetscViewer viewer;
58c4762a1bSJed Brown 
59327415f7SBarry Smith   PetscFunctionBeginUser;
609566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &argv, "petscopt_ex6", help));
61c4762a1bSJed Brown   /* Get physics and time parameters */
629566063dSJacob Faibussowitsch   PetscCall(Parameter_settings(&user));
63c4762a1bSJed Brown   /* Create a 2D DA with dof = 1 */
649566063dSJacob Faibussowitsch   PetscCall(DMDACreate2d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE, DMDA_STENCIL_STAR, 4, 4, PETSC_DECIDE, PETSC_DECIDE, 1, 1, NULL, NULL, &user.da));
659566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(user.da));
669566063dSJacob Faibussowitsch   PetscCall(DMSetUp(user.da));
67c4762a1bSJed Brown   /* Set x and y coordinates */
689566063dSJacob Faibussowitsch   PetscCall(DMDASetUniformCoordinates(user.da, user.xmin, user.xmax, user.ymin, user.ymax, 0.0, 1.0));
69c4762a1bSJed Brown 
70c4762a1bSJed Brown   /* Get global vector x from DM  */
719566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(user.da, &x));
72c4762a1bSJed Brown 
739566063dSJacob Faibussowitsch   PetscCall(ini_bou(x, &user));
749566063dSJacob Faibussowitsch   PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, "ini_x", FILE_MODE_WRITE, &viewer));
759566063dSJacob Faibussowitsch   PetscCall(VecView(x, viewer));
769566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&viewer));
77c4762a1bSJed Brown 
780b4b7b1cSBarry Smith   /* Get Jacobian matrix nonzero structure from the da */
799566063dSJacob Faibussowitsch   PetscCall(DMSetMatType(user.da, MATAIJ));
809566063dSJacob Faibussowitsch   PetscCall(DMCreateMatrix(user.da, &J));
81c4762a1bSJed Brown 
829566063dSJacob Faibussowitsch   PetscCall(TSCreate(PETSC_COMM_WORLD, &ts));
839566063dSJacob Faibussowitsch   PetscCall(TSSetProblemType(ts, TS_NONLINEAR));
849566063dSJacob Faibussowitsch   PetscCall(TSSetIFunction(ts, NULL, IFunction, &user));
859566063dSJacob Faibussowitsch   PetscCall(TSSetIJacobian(ts, J, J, IJacobian, &user));
869566063dSJacob Faibussowitsch   PetscCall(TSSetApplicationContext(ts, &user));
879566063dSJacob Faibussowitsch   PetscCall(TSSetMaxTime(ts, user.tmax));
889566063dSJacob Faibussowitsch   PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_MATCHSTEP));
899566063dSJacob Faibussowitsch   PetscCall(TSSetTime(ts, user.t0));
909566063dSJacob Faibussowitsch   PetscCall(TSSetTimeStep(ts, .005));
919566063dSJacob Faibussowitsch   PetscCall(TSSetFromOptions(ts));
929566063dSJacob Faibussowitsch   PetscCall(TSSetPostStep(ts, PostStep));
939566063dSJacob Faibussowitsch   PetscCall(TSSolve(ts, x));
94c4762a1bSJed Brown 
959566063dSJacob Faibussowitsch   PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, "fin_x", FILE_MODE_WRITE, &viewer));
969566063dSJacob Faibussowitsch   PetscCall(VecView(x, viewer));
979566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&viewer));
98c4762a1bSJed Brown 
999566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
1009566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&J));
1019566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&user.da));
1029566063dSJacob Faibussowitsch   PetscCall(TSDestroy(&ts));
1039566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
104b122ec5aSJacob Faibussowitsch   return 0;
105c4762a1bSJed Brown }
106c4762a1bSJed Brown 
PostStep(TS ts)107d71ae5a4SJacob Faibussowitsch PetscErrorCode PostStep(TS ts)
108d71ae5a4SJacob Faibussowitsch {
109c4762a1bSJed Brown   Vec         X;
110c4762a1bSJed Brown   AppCtx     *user;
111c4762a1bSJed Brown   PetscScalar sum;
112c4762a1bSJed Brown   PetscReal   t;
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   PetscFunctionBegin;
1159566063dSJacob Faibussowitsch   PetscCall(TSGetApplicationContext(ts, &user));
1169566063dSJacob Faibussowitsch   PetscCall(TSGetTime(ts, &t));
1179566063dSJacob Faibussowitsch   PetscCall(TSGetSolution(ts, &X));
1189566063dSJacob Faibussowitsch   PetscCall(VecSum(X, &sum));
11963a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "sum(p)*dw*dtheta at t = %3.2f = %3.6f\n", (double)t, (double)(sum * user->dx * user->dy)));
1203ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
121c4762a1bSJed Brown }
122c4762a1bSJed Brown 
ini_bou(Vec X,AppCtx * user)123d71ae5a4SJacob Faibussowitsch PetscErrorCode ini_bou(Vec X, AppCtx *user)
124d71ae5a4SJacob Faibussowitsch {
125c4762a1bSJed Brown   DM            cda;
126c4762a1bSJed Brown   DMDACoor2d  **coors;
127c4762a1bSJed Brown   PetscScalar **p;
128c4762a1bSJed Brown   Vec           gc;
129c4762a1bSJed Brown   PetscInt      i, j;
130c4762a1bSJed Brown   PetscInt      xs, ys, xm, ym, M, N;
131c4762a1bSJed Brown   PetscScalar   xi, yi;
132c4762a1bSJed Brown   PetscScalar   sigmax = user->sigmax, sigmay = user->sigmay;
133c4762a1bSJed Brown   PetscScalar   rho = user->rho;
134c4762a1bSJed Brown   PetscScalar   mux = user->mux, muy = user->muy;
135c4762a1bSJed Brown   PetscMPIInt   rank;
136c4762a1bSJed Brown 
137c4762a1bSJed Brown   PetscFunctionBeginUser;
1389566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
1399566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(user->da, NULL, &M, &N, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL));
1409371c9d4SSatish Balay   user->dx = (user->xmax - user->xmin) / (M - 1);
1419371c9d4SSatish Balay   user->dy = (user->ymax - user->ymin) / (N - 1);
1429566063dSJacob Faibussowitsch   PetscCall(DMGetCoordinateDM(user->da, &cda));
1439566063dSJacob Faibussowitsch   PetscCall(DMGetCoordinates(user->da, &gc));
1449566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(cda, gc, &coors));
1459566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(user->da, X, &p));
1469566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(cda, &xs, &ys, 0, &xm, &ym, 0));
147c4762a1bSJed Brown   for (i = xs; i < xs + xm; i++) {
148c4762a1bSJed Brown     for (j = ys; j < ys + ym; j++) {
1499371c9d4SSatish Balay       xi = coors[j][i].x;
1509371c9d4SSatish Balay       yi = coors[j][i].y;
151c4762a1bSJed Brown       if (i == 0 || j == 0 || i == M - 1 || j == N - 1) p[j][i] = 0.0;
1529371c9d4SSatish Balay       else
1539371c9d4SSatish Balay         p[j][i] = (0.5 / (PETSC_PI * sigmax * sigmay * PetscSqrtScalar(1.0 - rho * rho))) * PetscExpScalar(-0.5 / (1 - rho * rho) * (PetscPowScalar((xi - mux) / sigmax, 2) + PetscPowScalar((yi - muy) / sigmay, 2) - 2 * rho * (xi - mux) * (yi - muy) / (sigmax * sigmay)));
154c4762a1bSJed Brown     }
155c4762a1bSJed Brown   }
156c4762a1bSJed Brown   /*  p[N/2+N%2][M/2+M%2] = 1/(user->dx*user->dy); */
157c4762a1bSJed Brown 
1589566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(cda, gc, &coors));
1599566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(user->da, X, &p));
1603ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
161c4762a1bSJed Brown }
162c4762a1bSJed Brown 
163c4762a1bSJed Brown /* First advection term */
adv1(PetscScalar ** p,PetscScalar y,PetscInt i,PetscInt j,PetscInt M,PetscScalar * p1,AppCtx * user)164d71ae5a4SJacob Faibussowitsch PetscErrorCode adv1(PetscScalar **p, PetscScalar y, PetscInt i, PetscInt j, PetscInt M, PetscScalar *p1, AppCtx *user)
165d71ae5a4SJacob Faibussowitsch {
1664d86920dSPierre Jolivet   PetscScalar f; /* v1,v2,v3,v4,v5,s1,s2,s3; */
1674d86920dSPierre Jolivet 
168c4762a1bSJed Brown   PetscFunctionBegin;
169c4762a1bSJed Brown   /*  if (i > 2 && i < M-2) {
170c4762a1bSJed Brown     v1 = (y-user->ws)*(p[j][i-2] - p[j][i-3])/user->dx;
171c4762a1bSJed Brown     v2 = (y-user->ws)*(p[j][i-1] - p[j][i-2])/user->dx;
172c4762a1bSJed Brown     v3 = (y-user->ws)*(p[j][i] - p[j][i-1])/user->dx;
173c4762a1bSJed Brown     v4 = (y-user->ws)*(p[j][i+1] - p[j][i])/user->dx;
174c4762a1bSJed Brown     v5 = (y-user->ws)*(p[j][i+1] - p[j][i+2])/user->dx;
175c4762a1bSJed Brown 
176c4762a1bSJed Brown     s1 = v1/3.0 - (7.0/6.0)*v2 + (11.0/6.0)*v3;
177c4762a1bSJed Brown     s2 =-v2/6.0 + (5.0/6.0)*v3 + (1.0/3.0)*v4;
178c4762a1bSJed Brown     s3 = v3/3.0 + (5.0/6.0)*v4 - (1.0/6.0)*v5;
179c4762a1bSJed Brown 
180c4762a1bSJed Brown     *p1 = 0.1*s1 + 0.6*s2 + 0.3*s3;
181c4762a1bSJed Brown     } else *p1 = 0.0; */
182c4762a1bSJed Brown   f   = (y - user->ws);
183c4762a1bSJed Brown   *p1 = f * (p[j][i + 1] - p[j][i - 1]) / (2 * user->dx);
1843ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
185c4762a1bSJed Brown }
186c4762a1bSJed Brown 
187c4762a1bSJed Brown /* Second advection term */
adv2(PetscScalar ** p,PetscScalar x,PetscInt i,PetscInt j,PetscInt N,PetscScalar * p2,AppCtx * user)188d71ae5a4SJacob Faibussowitsch PetscErrorCode adv2(PetscScalar **p, PetscScalar x, PetscInt i, PetscInt j, PetscInt N, PetscScalar *p2, AppCtx *user)
189d71ae5a4SJacob Faibussowitsch {
1904d86920dSPierre Jolivet   PetscScalar f; /* v1,v2,v3,v4,v5,s1,s2,s3; */
1914d86920dSPierre Jolivet 
192c4762a1bSJed Brown   PetscFunctionBegin;
193c4762a1bSJed Brown   /*  if (j > 2 && j < N-2) {
194c4762a1bSJed Brown     v1 = (user->ws/(2*user->H))*(user->PM_min - user->Pmax*sin(x))*(p[j-2][i] - p[j-3][i])/user->dy;
195c4762a1bSJed Brown     v2 = (user->ws/(2*user->H))*(user->PM_min - user->Pmax*sin(x))*(p[j-1][i] - p[j-2][i])/user->dy;
196c4762a1bSJed Brown     v3 = (user->ws/(2*user->H))*(user->PM_min - user->Pmax*sin(x))*(p[j][i] - p[j-1][i])/user->dy;
197c4762a1bSJed Brown     v4 = (user->ws/(2*user->H))*(user->PM_min - user->Pmax*sin(x))*(p[j+1][i] - p[j][i])/user->dy;
198c4762a1bSJed Brown     v5 = (user->ws/(2*user->H))*(user->PM_min - user->Pmax*sin(x))*(p[j+2][i] - p[j+1][i])/user->dy;
199c4762a1bSJed Brown 
200c4762a1bSJed Brown     s1 = v1/3.0 - (7.0/6.0)*v2 + (11.0/6.0)*v3;
201c4762a1bSJed Brown     s2 =-v2/6.0 + (5.0/6.0)*v3 + (1.0/3.0)*v4;
202c4762a1bSJed Brown     s3 = v3/3.0 + (5.0/6.0)*v4 - (1.0/6.0)*v5;
203c4762a1bSJed Brown 
204c4762a1bSJed Brown     *p2 = 0.1*s1 + 0.6*s2 + 0.3*s3;
205c4762a1bSJed Brown     } else *p2 = 0.0; */
206c4762a1bSJed Brown   f   = (user->ws / (2 * user->H)) * (user->PM_min - user->Pmax * PetscSinScalar(x));
207c4762a1bSJed Brown   *p2 = f * (p[j + 1][i] - p[j - 1][i]) / (2 * user->dy);
2083ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
209c4762a1bSJed Brown }
210c4762a1bSJed Brown 
211c4762a1bSJed Brown /* Diffusion term */
diffuse(PetscScalar ** p,PetscInt i,PetscInt j,PetscReal t,PetscScalar * p_diff,AppCtx * user)212d71ae5a4SJacob Faibussowitsch PetscErrorCode diffuse(PetscScalar **p, PetscInt i, PetscInt j, PetscReal t, PetscScalar *p_diff, AppCtx *user)
213d71ae5a4SJacob Faibussowitsch {
214c4762a1bSJed Brown   PetscFunctionBeginUser;
215c4762a1bSJed Brown   *p_diff = user->disper_coe * ((p[j - 1][i] - 2 * p[j][i] + p[j + 1][i]) / (user->dy * user->dy));
2163ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
217c4762a1bSJed Brown }
218c4762a1bSJed Brown 
BoundaryConditions(PetscScalar ** p,DMDACoor2d ** coors,PetscInt i,PetscInt j,PetscInt M,PetscInt N,PetscScalar ** f,AppCtx * user)219d71ae5a4SJacob Faibussowitsch PetscErrorCode BoundaryConditions(PetscScalar **p, DMDACoor2d **coors, PetscInt i, PetscInt j, PetscInt M, PetscInt N, PetscScalar **f, AppCtx *user)
220d71ae5a4SJacob Faibussowitsch {
221c4762a1bSJed Brown   PetscScalar fwc, fthetac;
222c4762a1bSJed Brown   PetscScalar w = coors[j][i].y, theta = coors[j][i].x;
223c4762a1bSJed Brown 
224c4762a1bSJed Brown   PetscFunctionBeginUser;
225c4762a1bSJed Brown   if (user->bc == 0) { /* Natural boundary condition */
226c4762a1bSJed Brown     f[j][i] = p[j][i];
227c4762a1bSJed Brown   } else { /* Steady state boundary condition */
228c4762a1bSJed Brown     fthetac = user->ws / (2 * user->H) * (user->PM_min - user->Pmax * PetscSinScalar(theta));
229c4762a1bSJed Brown     fwc     = (w * w / 2.0 - user->ws * w);
230c4762a1bSJed Brown     if (i == 0 && j == 0) { /* left bottom corner */
231c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i + 1] - p[j][i]) / user->dx + fthetac * p[j][i] - user->disper_coe * (p[j + 1][i] - p[j][i]) / user->dy;
232c4762a1bSJed Brown     } else if (i == 0 && j == N - 1) { /* right bottom corner */
233c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i + 1] - p[j][i]) / user->dx + fthetac * p[j][i] - user->disper_coe * (p[j][i] - p[j - 1][i]) / user->dy;
234c4762a1bSJed Brown     } else if (i == M - 1 && j == 0) { /* left top corner */
235c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i] - p[j][i - 1]) / user->dx + fthetac * p[j][i] - user->disper_coe * (p[j + 1][i] - p[j][i]) / user->dy;
236c4762a1bSJed Brown     } else if (i == M - 1 && j == N - 1) { /* right top corner */
237c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i] - p[j][i - 1]) / user->dx + fthetac * p[j][i] - user->disper_coe * (p[j][i] - p[j - 1][i]) / user->dy;
238c4762a1bSJed Brown     } else if (i == 0) { /* Bottom edge */
239c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i + 1] - p[j][i]) / (user->dx) + fthetac * p[j][i] - user->disper_coe * (p[j + 1][i] - p[j - 1][i]) / (2 * user->dy);
240c4762a1bSJed Brown     } else if (i == M - 1) { /* Top edge */
241c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i] - p[j][i - 1]) / (user->dx) + fthetac * p[j][i] - user->disper_coe * (p[j + 1][i] - p[j - 1][i]) / (2 * user->dy);
242c4762a1bSJed Brown     } else if (j == 0) { /* Left edge */
243c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i + 1] - p[j][i - 1]) / (2 * user->dx) + fthetac * p[j][i] - user->disper_coe * (p[j + 1][i] - p[j][i]) / (user->dy);
244c4762a1bSJed Brown     } else if (j == N - 1) { /* Right edge */
245c4762a1bSJed Brown       f[j][i] = fwc * (p[j][i + 1] - p[j][i - 1]) / (2 * user->dx) + fthetac * p[j][i] - user->disper_coe * (p[j][i] - p[j - 1][i]) / (user->dy);
246c4762a1bSJed Brown     }
247c4762a1bSJed Brown   }
2483ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
249c4762a1bSJed Brown }
250c4762a1bSJed Brown 
IFunction(TS ts,PetscReal t,Vec X,Vec Xdot,Vec F,PetscCtx ctx)251*2a8381b2SBarry Smith PetscErrorCode IFunction(TS ts, PetscReal t, Vec X, Vec Xdot, Vec F, PetscCtx ctx)
252d71ae5a4SJacob Faibussowitsch {
253c4762a1bSJed Brown   AppCtx       *user = (AppCtx *)ctx;
254c4762a1bSJed Brown   DM            cda;
255c4762a1bSJed Brown   DMDACoor2d  **coors;
256c4762a1bSJed Brown   PetscScalar **p, **f, **pdot;
257c4762a1bSJed Brown   PetscInt      i, j;
258c4762a1bSJed Brown   PetscInt      xs, ys, xm, ym, M, N;
259c4762a1bSJed Brown   Vec           localX, gc, localXdot;
260c4762a1bSJed Brown   PetscScalar   p_adv1, p_adv2, p_diff;
261c4762a1bSJed Brown 
262c4762a1bSJed Brown   PetscFunctionBeginUser;
2639566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(user->da, NULL, &M, &N, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL));
2649566063dSJacob Faibussowitsch   PetscCall(DMGetCoordinateDM(user->da, &cda));
2659566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(cda, &xs, &ys, 0, &xm, &ym, 0));
266c4762a1bSJed Brown 
2679566063dSJacob Faibussowitsch   PetscCall(DMGetLocalVector(user->da, &localX));
2689566063dSJacob Faibussowitsch   PetscCall(DMGetLocalVector(user->da, &localXdot));
269c4762a1bSJed Brown 
2709566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(user->da, X, INSERT_VALUES, localX));
2719566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(user->da, X, INSERT_VALUES, localX));
2729566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(user->da, Xdot, INSERT_VALUES, localXdot));
2739566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(user->da, Xdot, INSERT_VALUES, localXdot));
274c4762a1bSJed Brown 
2759566063dSJacob Faibussowitsch   PetscCall(DMGetCoordinatesLocal(user->da, &gc));
276c4762a1bSJed Brown 
2779566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(cda, gc, &coors));
2789566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(user->da, localX, &p));
2799566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(user->da, localXdot, &pdot));
2809566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArray(user->da, F, &f));
281c4762a1bSJed Brown 
282c4762a1bSJed Brown   user->disper_coe = PetscPowScalar((user->lambda * user->ws) / (2 * user->H), 2) * user->q * (1.0 - PetscExpScalar(-t / user->lambda));
283c4762a1bSJed Brown   for (i = xs; i < xs + xm; i++) {
284c4762a1bSJed Brown     for (j = ys; j < ys + ym; j++) {
285c4762a1bSJed Brown       if (i == 0 || j == 0 || i == M - 1 || j == N - 1) {
2869566063dSJacob Faibussowitsch         PetscCall(BoundaryConditions(p, coors, i, j, M, N, f, user));
287c4762a1bSJed Brown       } else {
2889566063dSJacob Faibussowitsch         PetscCall(adv1(p, coors[j][i].y, i, j, M, &p_adv1, user));
2899566063dSJacob Faibussowitsch         PetscCall(adv2(p, coors[j][i].x, i, j, N, &p_adv2, user));
2909566063dSJacob Faibussowitsch         PetscCall(diffuse(p, i, j, t, &p_diff, user));
291c4762a1bSJed Brown         f[j][i] = -p_adv1 - p_adv2 + p_diff - pdot[j][i];
292c4762a1bSJed Brown       }
293c4762a1bSJed Brown     }
294c4762a1bSJed Brown   }
2959566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(user->da, localX, &p));
2969566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(user->da, localX, &pdot));
2979566063dSJacob Faibussowitsch   PetscCall(DMRestoreLocalVector(user->da, &localX));
2989566063dSJacob Faibussowitsch   PetscCall(DMRestoreLocalVector(user->da, &localXdot));
2999566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArray(user->da, F, &f));
3009566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(cda, gc, &coors));
3013ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
302c4762a1bSJed Brown }
303c4762a1bSJed Brown 
IJacobian(TS ts,PetscReal t,Vec X,Vec Xdot,PetscReal a,Mat J,Mat Jpre,PetscCtx ctx)304*2a8381b2SBarry Smith PetscErrorCode IJacobian(TS ts, PetscReal t, Vec X, Vec Xdot, PetscReal a, Mat J, Mat Jpre, PetscCtx ctx)
305d71ae5a4SJacob Faibussowitsch {
306c4762a1bSJed Brown   AppCtx      *user = (AppCtx *)ctx;
307c4762a1bSJed Brown   DM           cda;
308c4762a1bSJed Brown   DMDACoor2d **coors;
309c4762a1bSJed Brown   PetscInt     i, j;
310c4762a1bSJed Brown   PetscInt     xs, ys, xm, ym, M, N;
311c4762a1bSJed Brown   Vec          gc;
312c4762a1bSJed Brown   PetscScalar  val[5], xi, yi;
313c4762a1bSJed Brown   MatStencil   row, col[5];
314c4762a1bSJed Brown   PetscScalar  c1, c3, c5;
315c4762a1bSJed Brown 
316c4762a1bSJed Brown   PetscFunctionBeginUser;
3179566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(user->da, NULL, &M, &N, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL));
3189566063dSJacob Faibussowitsch   PetscCall(DMGetCoordinateDM(user->da, &cda));
3199566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(cda, &xs, &ys, 0, &xm, &ym, 0));
320c4762a1bSJed Brown 
3219566063dSJacob Faibussowitsch   PetscCall(DMGetCoordinatesLocal(user->da, &gc));
3229566063dSJacob Faibussowitsch   PetscCall(DMDAVecGetArrayRead(cda, gc, &coors));
323c4762a1bSJed Brown   for (i = xs; i < xs + xm; i++) {
324c4762a1bSJed Brown     for (j = ys; j < ys + ym; j++) {
325c4762a1bSJed Brown       PetscInt nc = 0;
3269371c9d4SSatish Balay       xi          = coors[j][i].x;
3279371c9d4SSatish Balay       yi          = coors[j][i].y;
3289371c9d4SSatish Balay       row.i       = i;
3299371c9d4SSatish Balay       row.j       = j;
330c4762a1bSJed Brown       if (i == 0 || j == 0 || i == M - 1 || j == N - 1) {
331c4762a1bSJed Brown         if (user->bc == 0) {
3329371c9d4SSatish Balay           col[nc].i = i;
3339371c9d4SSatish Balay           col[nc].j = j;
3349371c9d4SSatish Balay           val[nc++] = 1.0;
335c4762a1bSJed Brown         } else {
336c4762a1bSJed Brown           PetscScalar fthetac, fwc;
337c4762a1bSJed Brown           fthetac = user->ws / (2 * user->H) * (user->PM_min - user->Pmax * PetscSinScalar(xi));
338c4762a1bSJed Brown           fwc     = (yi * yi / 2.0 - user->ws * yi);
339c4762a1bSJed Brown           if (i == 0 && j == 0) {
3409371c9d4SSatish Balay             col[nc].i = i + 1;
3419371c9d4SSatish Balay             col[nc].j = j;
3429371c9d4SSatish Balay             val[nc++] = fwc / user->dx;
3439371c9d4SSatish Balay             col[nc].i = i;
3449371c9d4SSatish Balay             col[nc].j = j + 1;
3459371c9d4SSatish Balay             val[nc++] = -user->disper_coe / user->dy;
3469371c9d4SSatish Balay             col[nc].i = i;
3479371c9d4SSatish Balay             col[nc].j = j;
3489371c9d4SSatish Balay             val[nc++] = -fwc / user->dx + fthetac + user->disper_coe / user->dy;
349c4762a1bSJed Brown           } else if (i == 0 && j == N - 1) {
3509371c9d4SSatish Balay             col[nc].i = i + 1;
3519371c9d4SSatish Balay             col[nc].j = j;
3529371c9d4SSatish Balay             val[nc++] = fwc / user->dx;
3539371c9d4SSatish Balay             col[nc].i = i;
3549371c9d4SSatish Balay             col[nc].j = j - 1;
3559371c9d4SSatish Balay             val[nc++] = user->disper_coe / user->dy;
3569371c9d4SSatish Balay             col[nc].i = i;
3579371c9d4SSatish Balay             col[nc].j = j;
3589371c9d4SSatish Balay             val[nc++] = -fwc / user->dx + fthetac - user->disper_coe / user->dy;
359c4762a1bSJed Brown           } else if (i == M - 1 && j == 0) {
3609371c9d4SSatish Balay             col[nc].i = i - 1;
3619371c9d4SSatish Balay             col[nc].j = j;
3629371c9d4SSatish Balay             val[nc++] = -fwc / user->dx;
3639371c9d4SSatish Balay             col[nc].i = i;
3649371c9d4SSatish Balay             col[nc].j = j + 1;
3659371c9d4SSatish Balay             val[nc++] = -user->disper_coe / user->dy;
3669371c9d4SSatish Balay             col[nc].i = i;
3679371c9d4SSatish Balay             col[nc].j = j;
3689371c9d4SSatish Balay             val[nc++] = fwc / user->dx + fthetac + user->disper_coe / user->dy;
369c4762a1bSJed Brown           } else if (i == M - 1 && j == N - 1) {
3709371c9d4SSatish Balay             col[nc].i = i - 1;
3719371c9d4SSatish Balay             col[nc].j = j;
3729371c9d4SSatish Balay             val[nc++] = -fwc / user->dx;
3739371c9d4SSatish Balay             col[nc].i = i;
3749371c9d4SSatish Balay             col[nc].j = j - 1;
3759371c9d4SSatish Balay             val[nc++] = user->disper_coe / user->dy;
3769371c9d4SSatish Balay             col[nc].i = i;
3779371c9d4SSatish Balay             col[nc].j = j;
3789371c9d4SSatish Balay             val[nc++] = fwc / user->dx + fthetac - user->disper_coe / user->dy;
379c4762a1bSJed Brown           } else if (i == 0) {
3809371c9d4SSatish Balay             col[nc].i = i + 1;
3819371c9d4SSatish Balay             col[nc].j = j;
3829371c9d4SSatish Balay             val[nc++] = fwc / user->dx;
3839371c9d4SSatish Balay             col[nc].i = i;
3849371c9d4SSatish Balay             col[nc].j = j + 1;
3859371c9d4SSatish Balay             val[nc++] = -user->disper_coe / (2 * user->dy);
3869371c9d4SSatish Balay             col[nc].i = i;
3879371c9d4SSatish Balay             col[nc].j = j - 1;
3889371c9d4SSatish Balay             val[nc++] = user->disper_coe / (2 * user->dy);
3899371c9d4SSatish Balay             col[nc].i = i;
3909371c9d4SSatish Balay             col[nc].j = j;
3919371c9d4SSatish Balay             val[nc++] = -fwc / user->dx + fthetac;
392c4762a1bSJed Brown           } else if (i == M - 1) {
3939371c9d4SSatish Balay             col[nc].i = i - 1;
3949371c9d4SSatish Balay             col[nc].j = j;
3959371c9d4SSatish Balay             val[nc++] = -fwc / user->dx;
3969371c9d4SSatish Balay             col[nc].i = i;
3979371c9d4SSatish Balay             col[nc].j = j + 1;
3989371c9d4SSatish Balay             val[nc++] = -user->disper_coe / (2 * user->dy);
3999371c9d4SSatish Balay             col[nc].i = i;
4009371c9d4SSatish Balay             col[nc].j = j - 1;
4019371c9d4SSatish Balay             val[nc++] = user->disper_coe / (2 * user->dy);
4029371c9d4SSatish Balay             col[nc].i = i;
4039371c9d4SSatish Balay             col[nc].j = j;
4049371c9d4SSatish Balay             val[nc++] = fwc / user->dx + fthetac;
405c4762a1bSJed Brown           } else if (j == 0) {
4069371c9d4SSatish Balay             col[nc].i = i + 1;
4079371c9d4SSatish Balay             col[nc].j = j;
4089371c9d4SSatish Balay             val[nc++] = fwc / (2 * user->dx);
4099371c9d4SSatish Balay             col[nc].i = i - 1;
4109371c9d4SSatish Balay             col[nc].j = j;
4119371c9d4SSatish Balay             val[nc++] = -fwc / (2 * user->dx);
4129371c9d4SSatish Balay             col[nc].i = i;
4139371c9d4SSatish Balay             col[nc].j = j + 1;
4149371c9d4SSatish Balay             val[nc++] = -user->disper_coe / user->dy;
4159371c9d4SSatish Balay             col[nc].i = i;
4169371c9d4SSatish Balay             col[nc].j = j;
4179371c9d4SSatish Balay             val[nc++] = user->disper_coe / user->dy + fthetac;
418c4762a1bSJed Brown           } else if (j == N - 1) {
4199371c9d4SSatish Balay             col[nc].i = i + 1;
4209371c9d4SSatish Balay             col[nc].j = j;
4219371c9d4SSatish Balay             val[nc++] = fwc / (2 * user->dx);
4229371c9d4SSatish Balay             col[nc].i = i - 1;
4239371c9d4SSatish Balay             col[nc].j = j;
4249371c9d4SSatish Balay             val[nc++] = -fwc / (2 * user->dx);
4259371c9d4SSatish Balay             col[nc].i = i;
4269371c9d4SSatish Balay             col[nc].j = j - 1;
4279371c9d4SSatish Balay             val[nc++] = user->disper_coe / user->dy;
4289371c9d4SSatish Balay             col[nc].i = i;
4299371c9d4SSatish Balay             col[nc].j = j;
4309371c9d4SSatish Balay             val[nc++] = -user->disper_coe / user->dy + fthetac;
431c4762a1bSJed Brown           }
432c4762a1bSJed Brown         }
433c4762a1bSJed Brown       } else {
434c4762a1bSJed Brown         c1        = (yi - user->ws) / (2 * user->dx);
435c4762a1bSJed Brown         c3        = (user->ws / (2.0 * user->H)) * (user->PM_min - user->Pmax * PetscSinScalar(xi)) / (2 * user->dy);
436c4762a1bSJed Brown         c5        = (PetscPowScalar((user->lambda * user->ws) / (2 * user->H), 2) * user->q * (1.0 - PetscExpScalar(-t / user->lambda))) / (user->dy * user->dy);
4379371c9d4SSatish Balay         col[nc].i = i - 1;
4389371c9d4SSatish Balay         col[nc].j = j;
4399371c9d4SSatish Balay         val[nc++] = c1;
4409371c9d4SSatish Balay         col[nc].i = i + 1;
4419371c9d4SSatish Balay         col[nc].j = j;
4429371c9d4SSatish Balay         val[nc++] = -c1;
4439371c9d4SSatish Balay         col[nc].i = i;
4449371c9d4SSatish Balay         col[nc].j = j - 1;
4459371c9d4SSatish Balay         val[nc++] = c3 + c5;
4469371c9d4SSatish Balay         col[nc].i = i;
4479371c9d4SSatish Balay         col[nc].j = j + 1;
4489371c9d4SSatish Balay         val[nc++] = -c3 + c5;
4499371c9d4SSatish Balay         col[nc].i = i;
4509371c9d4SSatish Balay         col[nc].j = j;
4519371c9d4SSatish Balay         val[nc++] = -2 * c5 - a;
452c4762a1bSJed Brown       }
4539566063dSJacob Faibussowitsch       PetscCall(MatSetValuesStencil(Jpre, 1, &row, nc, col, val, INSERT_VALUES));
454c4762a1bSJed Brown     }
455c4762a1bSJed Brown   }
4569566063dSJacob Faibussowitsch   PetscCall(DMDAVecRestoreArrayRead(cda, gc, &coors));
457c4762a1bSJed Brown 
4589566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(Jpre, MAT_FINAL_ASSEMBLY));
4599566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(Jpre, MAT_FINAL_ASSEMBLY));
460c4762a1bSJed Brown   if (J != Jpre) {
4619566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY));
4629566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY));
463c4762a1bSJed Brown   }
4643ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
465c4762a1bSJed Brown }
466c4762a1bSJed Brown 
Parameter_settings(AppCtx * user)467d71ae5a4SJacob Faibussowitsch PetscErrorCode Parameter_settings(AppCtx *user)
468d71ae5a4SJacob Faibussowitsch {
469c4762a1bSJed Brown   PetscBool flg;
470c4762a1bSJed Brown 
471c4762a1bSJed Brown   PetscFunctionBeginUser;
472c4762a1bSJed Brown   /* Set default parameters */
473c4762a1bSJed Brown   user->ws     = 1.0;
4749371c9d4SSatish Balay   user->H      = 5.0;
4759371c9d4SSatish Balay   user->Pmax   = 2.1;
4769371c9d4SSatish Balay   user->PM_min = 1.0;
4779371c9d4SSatish Balay   user->lambda = 0.1;
4789371c9d4SSatish Balay   user->q      = 1.0;
4799371c9d4SSatish Balay   user->mux    = PetscAsinScalar(user->PM_min / user->Pmax);
480c4762a1bSJed Brown   user->sigmax = 0.1;
4819371c9d4SSatish Balay   user->sigmay = 0.1;
4829371c9d4SSatish Balay   user->rho    = 0.0;
4839371c9d4SSatish Balay   user->t0     = 0.0;
4849371c9d4SSatish Balay   user->tmax   = 2.0;
4859371c9d4SSatish Balay   user->xmin   = -1.0;
4869371c9d4SSatish Balay   user->xmax   = 10.0;
4879371c9d4SSatish Balay   user->ymin   = -1.0;
4889371c9d4SSatish Balay   user->ymax   = 10.0;
489c4762a1bSJed Brown   user->bc     = 0;
490c4762a1bSJed Brown 
4919566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-ws", &user->ws, &flg));
4929566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-Inertia", &user->H, &flg));
4939566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-Pmax", &user->Pmax, &flg));
4949566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-PM_min", &user->PM_min, &flg));
4959566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-lambda", &user->lambda, &flg));
4969566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-q", &user->q, &flg));
4979566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-mux", &user->mux, &flg));
4989566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-sigmax", &user->sigmax, &flg));
4999566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-muy", &user->muy, &flg));
5009566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-sigmay", &user->sigmay, &flg));
5019566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-rho", &user->rho, &flg));
5029566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-t0", &user->t0, &flg));
5039566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-tmax", &user->tmax, &flg));
5049566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-xmin", &user->xmin, &flg));
5059566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-xmax", &user->xmax, &flg));
5069566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-ymin", &user->ymin, &flg));
5079566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetScalar(NULL, NULL, "-ymax", &user->ymax, &flg));
5089566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-bc_type", &user->bc, &flg));
509c4762a1bSJed Brown   user->muy = user->ws;
5103ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
511c4762a1bSJed Brown }
512c4762a1bSJed Brown 
513c4762a1bSJed Brown /*TEST
514c4762a1bSJed Brown 
515c4762a1bSJed Brown    build:
516c4762a1bSJed Brown       requires: !complex
517c4762a1bSJed Brown 
518c4762a1bSJed Brown    test:
519c4762a1bSJed Brown       args: -nox -ts_max_steps 2
520c4762a1bSJed Brown       localrunfiles: petscopt_ex6
521c4762a1bSJed Brown       timeoutfactor: 4
522c4762a1bSJed Brown 
523c4762a1bSJed Brown TEST*/
524