xref: /petsc/src/ts/tutorials/power_grid/ex9opt.c (revision b122ec5aa1bd4469eb4e0673542fb7de3f411254)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Basic equation for generator stability analysis.\n";
3c4762a1bSJed Brown 
4c4762a1bSJed Brown /*F
5c4762a1bSJed Brown 
6c4762a1bSJed Brown \begin{eqnarray}
7c4762a1bSJed Brown                  \frac{d \theta}{dt} = \omega_b (\omega - \omega_s)
8c4762a1bSJed Brown                  \frac{2 H}{\omega_s}\frac{d \omega}{dt} & = & P_m - P_max \sin(\theta) -D(\omega - \omega_s)\\
9c4762a1bSJed Brown \end{eqnarray}
10c4762a1bSJed Brown 
11c4762a1bSJed Brown   Ensemble of initial conditions
12c4762a1bSJed Brown    ./ex2 -ensemble -ts_monitor_draw_solution_phase -1,-3,3,3      -ts_adapt_dt_max .01  -ts_monitor -ts_type rosw -pc_type lu -ksp_type preonly
13c4762a1bSJed Brown 
14c4762a1bSJed Brown   Fault at .1 seconds
15c4762a1bSJed Brown    ./ex2           -ts_monitor_draw_solution_phase .42,.95,.6,1.05 -ts_adapt_dt_max .01  -ts_monitor -ts_type rosw -pc_type lu -ksp_type preonly
16c4762a1bSJed Brown 
17c4762a1bSJed Brown   Initial conditions same as when fault is ended
18c4762a1bSJed Brown    ./ex2 -u 0.496792,1.00932 -ts_monitor_draw_solution_phase .42,.95,.6,1.05  -ts_adapt_dt_max .01  -ts_monitor -ts_type rosw -pc_type lu -ksp_type preonly
19c4762a1bSJed Brown 
20c4762a1bSJed Brown F*/
21c4762a1bSJed Brown 
22c4762a1bSJed Brown /*
23c4762a1bSJed Brown    Include "petscts.h" so that we can use TS solvers.  Note that this
24c4762a1bSJed Brown    file automatically includes:
25c4762a1bSJed Brown      petscsys.h       - base PETSc routines   petscvec.h - vectors
26c4762a1bSJed Brown      petscmat.h - matrices
27c4762a1bSJed Brown      petscis.h     - index sets            petscksp.h - Krylov subspace methods
28c4762a1bSJed Brown      petscviewer.h - viewers               petscpc.h  - preconditioners
29c4762a1bSJed Brown      petscksp.h   - linear solvers
30c4762a1bSJed Brown */
31c4762a1bSJed Brown 
32c4762a1bSJed Brown #include <petsctao.h>
33c4762a1bSJed Brown #include <petscts.h>
34c4762a1bSJed Brown 
35c4762a1bSJed Brown typedef struct {
36c4762a1bSJed Brown   TS          ts;
37c4762a1bSJed Brown   PetscScalar H,D,omega_b,omega_s,Pmax,Pm,E,V,X,u_s,c;
38c4762a1bSJed Brown   PetscInt    beta;
39c4762a1bSJed Brown   PetscReal   tf,tcl,dt;
40c4762a1bSJed Brown } AppCtx;
41c4762a1bSJed Brown 
42c4762a1bSJed Brown PetscErrorCode FormFunction(Tao,Vec,PetscReal*,void*);
43c4762a1bSJed Brown PetscErrorCode FormGradient(Tao,Vec,Vec,void*);
44c4762a1bSJed Brown 
45c4762a1bSJed Brown /*
46c4762a1bSJed Brown      Defines the ODE passed to the ODE solver
47c4762a1bSJed Brown */
48c4762a1bSJed Brown static PetscErrorCode RHSFunction(TS ts,PetscReal t,Vec U,Vec F,AppCtx *ctx)
49c4762a1bSJed Brown {
50c4762a1bSJed Brown   PetscScalar       *f,Pmax;
51c4762a1bSJed Brown   const PetscScalar *u;
52c4762a1bSJed Brown 
53c4762a1bSJed Brown   PetscFunctionBegin;
54c4762a1bSJed Brown   /*  The next three lines allow us to access the entries of the vectors directly */
555f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(U,&u));
565f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(F,&f));
57c4762a1bSJed Brown   if ((t > ctx->tf) && (t < ctx->tcl)) Pmax = 0.0; /* A short-circuit on the generator terminal that drives the electrical power output (Pmax*sin(delta)) to 0 */
58c4762a1bSJed Brown   else Pmax = ctx->Pmax;
59c4762a1bSJed Brown 
60c4762a1bSJed Brown   f[0] = ctx->omega_b*(u[1] - ctx->omega_s);
61c4762a1bSJed Brown   f[1] = (-Pmax*PetscSinScalar(u[0]) - ctx->D*(u[1] - ctx->omega_s) + ctx->Pm)*ctx->omega_s/(2.0*ctx->H);
62c4762a1bSJed Brown 
635f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(U,&u));
645f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(F,&f));
65c4762a1bSJed Brown   PetscFunctionReturn(0);
66c4762a1bSJed Brown }
67c4762a1bSJed Brown 
68c4762a1bSJed Brown /*
69c4762a1bSJed Brown      Defines the Jacobian of the ODE passed to the ODE solver. See TSSetIJacobian() for the meaning of a and the Jacobian.
70c4762a1bSJed Brown */
71c4762a1bSJed Brown static PetscErrorCode RHSJacobian(TS ts,PetscReal t,Vec U,Mat A,Mat B,AppCtx *ctx)
72c4762a1bSJed Brown {
73c4762a1bSJed Brown   PetscInt          rowcol[] = {0,1};
74c4762a1bSJed Brown   PetscScalar       J[2][2],Pmax;
75c4762a1bSJed Brown   const PetscScalar *u;
76c4762a1bSJed Brown 
77c4762a1bSJed Brown   PetscFunctionBegin;
785f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(U,&u));
79c4762a1bSJed Brown   if ((t > ctx->tf) && (t < ctx->tcl)) Pmax = 0.0; /* A short-circuit on the generator terminal that drives the electrical power output (Pmax*sin(delta)) to 0 */
80c4762a1bSJed Brown   else Pmax = ctx->Pmax;
81c4762a1bSJed Brown 
82c4762a1bSJed Brown   J[0][0] = 0;                                  J[0][1] = ctx->omega_b;
83c4762a1bSJed Brown   J[1][1] = -ctx->D*ctx->omega_s/(2.0*ctx->H);  J[1][0] = -Pmax*PetscCosScalar(u[0])*ctx->omega_s/(2.0*ctx->H);
84c4762a1bSJed Brown 
855f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetValues(A,2,rowcol,2,rowcol,&J[0][0],INSERT_VALUES));
865f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(U,&u));
87c4762a1bSJed Brown 
885f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
895f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
90c4762a1bSJed Brown   if (A != B) {
915f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY));
925f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY));
93c4762a1bSJed Brown   }
94c4762a1bSJed Brown   PetscFunctionReturn(0);
95c4762a1bSJed Brown }
96c4762a1bSJed Brown 
97c4762a1bSJed Brown static PetscErrorCode RHSJacobianP(TS ts,PetscReal t,Vec X,Mat A,void *ctx0)
98c4762a1bSJed Brown {
99c4762a1bSJed Brown   PetscInt       row[] = {0,1},col[]={0};
100c4762a1bSJed Brown   PetscScalar    J[2][1];
101c4762a1bSJed Brown   AppCtx         *ctx=(AppCtx*)ctx0;
102c4762a1bSJed Brown 
103c4762a1bSJed Brown   PetscFunctionBeginUser;
104c4762a1bSJed Brown   J[0][0] = 0;
105c4762a1bSJed Brown   J[1][0] = ctx->omega_s/(2.0*ctx->H);
1065f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetValues(A,2,row,1,col,&J[0][0],INSERT_VALUES));
1075f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
1085f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
109c4762a1bSJed Brown   PetscFunctionReturn(0);
110c4762a1bSJed Brown }
111c4762a1bSJed Brown 
112c4762a1bSJed Brown static PetscErrorCode CostIntegrand(TS ts,PetscReal t,Vec U,Vec R,AppCtx *ctx)
113c4762a1bSJed Brown {
114c4762a1bSJed Brown   PetscScalar       *r;
115c4762a1bSJed Brown   const PetscScalar *u;
116c4762a1bSJed Brown 
117c4762a1bSJed Brown   PetscFunctionBegin;
1185f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(U,&u));
1195f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(R,&r));
1202f613bf5SBarry Smith   r[0] = ctx->c*PetscPowScalarInt(PetscMax(0., u[0]-ctx->u_s),ctx->beta);
1215f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(R,&r));
1225f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(U,&u));
123c4762a1bSJed Brown   PetscFunctionReturn(0);
124c4762a1bSJed Brown }
125c4762a1bSJed Brown 
126c4762a1bSJed Brown static PetscErrorCode DRDUJacobianTranspose(TS ts,PetscReal t,Vec U,Mat DRDU,Mat B,AppCtx *ctx)
127c4762a1bSJed Brown {
128c4762a1bSJed Brown   PetscScalar       ru[1];
129c4762a1bSJed Brown   const PetscScalar *u;
130c4762a1bSJed Brown   PetscInt          row[] = {0},col[] = {0};
131c4762a1bSJed Brown 
132c4762a1bSJed Brown   PetscFunctionBegin;
1335f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(U,&u));
1342f613bf5SBarry Smith   ru[0] = ctx->c*ctx->beta*PetscPowScalarInt(PetscMax(0., u[0]-ctx->u_s),ctx->beta-1);
1355f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(U,&u));
1365f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetValues(DRDU,1,row,1,col,ru,INSERT_VALUES));
1375f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(DRDU,MAT_FINAL_ASSEMBLY));
1385f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(DRDU,MAT_FINAL_ASSEMBLY));
139c4762a1bSJed Brown   PetscFunctionReturn(0);
140c4762a1bSJed Brown }
141c4762a1bSJed Brown 
142c4762a1bSJed Brown static PetscErrorCode DRDPJacobianTranspose(TS ts,PetscReal t,Vec U,Mat DRDP,AppCtx *ctx)
143c4762a1bSJed Brown {
144c4762a1bSJed Brown   PetscFunctionBegin;
1455f80ce2aSJacob Faibussowitsch   CHKERRQ(MatZeroEntries(DRDP));
1465f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(DRDP,MAT_FINAL_ASSEMBLY));
1475f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(DRDP,MAT_FINAL_ASSEMBLY));
148c4762a1bSJed Brown   PetscFunctionReturn(0);
149c4762a1bSJed Brown }
150c4762a1bSJed Brown 
151c4762a1bSJed Brown PetscErrorCode ComputeSensiP(Vec lambda,Vec mu,AppCtx *ctx)
152c4762a1bSJed Brown {
153c4762a1bSJed Brown   PetscScalar       *y,sensip;
154c4762a1bSJed Brown   const PetscScalar *x;
155c4762a1bSJed Brown 
156c4762a1bSJed Brown   PetscFunctionBegin;
1575f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(lambda,&x));
1585f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(mu,&y));
159c4762a1bSJed Brown   sensip = 1./PetscSqrtScalar(1.-(ctx->Pm/ctx->Pmax)*(ctx->Pm/ctx->Pmax))/ctx->Pmax*x[0]+y[0];
160c4762a1bSJed Brown   y[0] = sensip;
1615f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(mu,&y));
1625f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(lambda,&x));
163c4762a1bSJed Brown   PetscFunctionReturn(0);
164c4762a1bSJed Brown }
165c4762a1bSJed Brown 
166c4762a1bSJed Brown int main(int argc,char **argv)
167c4762a1bSJed Brown {
168c4762a1bSJed Brown   Vec            p;
169c4762a1bSJed Brown   PetscScalar    *x_ptr;
170c4762a1bSJed Brown   PetscErrorCode ierr;
171c4762a1bSJed Brown   PetscMPIInt    size;
172c4762a1bSJed Brown   AppCtx         ctx;
173c4762a1bSJed Brown   Vec            lowerb,upperb;
174c4762a1bSJed Brown   Tao            tao;
175c4762a1bSJed Brown   KSP            ksp;
176c4762a1bSJed Brown   PC             pc;
177c4762a1bSJed Brown   Vec            U,lambda[1],mu[1];
178c4762a1bSJed Brown   Mat            A;             /* Jacobian matrix */
179c4762a1bSJed Brown   Mat            Jacp;          /* Jacobian matrix */
180c4762a1bSJed Brown   Mat            DRDU,DRDP;
181c4762a1bSJed Brown   PetscInt       n = 2;
182c4762a1bSJed Brown   TS             quadts;
183c4762a1bSJed Brown 
184c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
185c4762a1bSJed Brown      Initialize program
186c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
187*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscInitialize(&argc,&argv,NULL,help));
188c4762a1bSJed Brown   PetscFunctionBeginUser;
1895f80ce2aSJacob Faibussowitsch   CHKERRMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
1903c633725SBarry Smith   PetscCheck(size == 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only!");
191c4762a1bSJed Brown 
192c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
193c4762a1bSJed Brown     Set runtime options
194c4762a1bSJed Brown     - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
195c4762a1bSJed Brown   ierr = PetscOptionsBegin(PETSC_COMM_WORLD,NULL,"Swing equation options","");CHKERRQ(ierr);
196c4762a1bSJed Brown   {
197c4762a1bSJed Brown     ctx.beta    = 2;
198c4762a1bSJed Brown     ctx.c       = PetscRealConstant(10000.0);
199c4762a1bSJed Brown     ctx.u_s     = PetscRealConstant(1.0);
200c4762a1bSJed Brown     ctx.omega_s = PetscRealConstant(1.0);
201c4762a1bSJed Brown     ctx.omega_b = PetscRealConstant(120.0)*PETSC_PI;
202c4762a1bSJed Brown     ctx.H       = PetscRealConstant(5.0);
2035f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsScalar("-Inertia","","",ctx.H,&ctx.H,NULL));
204c4762a1bSJed Brown     ctx.D       = PetscRealConstant(5.0);
2055f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsScalar("-D","","",ctx.D,&ctx.D,NULL));
206c4762a1bSJed Brown     ctx.E       = PetscRealConstant(1.1378);
207c4762a1bSJed Brown     ctx.V       = PetscRealConstant(1.0);
208c4762a1bSJed Brown     ctx.X       = PetscRealConstant(0.545);
209c4762a1bSJed Brown     ctx.Pmax    = ctx.E*ctx.V/ctx.X;
2105f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsScalar("-Pmax","","",ctx.Pmax,&ctx.Pmax,NULL));
211c4762a1bSJed Brown     ctx.Pm      = PetscRealConstant(1.0194);
2125f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsScalar("-Pm","","",ctx.Pm,&ctx.Pm,NULL));
213c4762a1bSJed Brown     ctx.tf      = PetscRealConstant(0.1);
214c4762a1bSJed Brown     ctx.tcl     = PetscRealConstant(0.2);
2155f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsReal("-tf","Time to start fault","",ctx.tf,&ctx.tf,NULL));
2165f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsReal("-tcl","Time to end fault","",ctx.tcl,&ctx.tcl,NULL));
217c4762a1bSJed Brown 
218c4762a1bSJed Brown   }
219c4762a1bSJed Brown   ierr = PetscOptionsEnd();CHKERRQ(ierr);
220c4762a1bSJed Brown 
221c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
222c4762a1bSJed Brown     Create necessary matrix and vectors
223c4762a1bSJed Brown     - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
2245f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A));
2255f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetSizes(A,n,n,PETSC_DETERMINE,PETSC_DETERMINE));
2265f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetType(A,MATDENSE));
2275f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(A));
2285f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(A));
229c4762a1bSJed Brown 
2305f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(A,&U,NULL));
231c4762a1bSJed Brown 
2325f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreate(PETSC_COMM_WORLD,&Jacp));
2335f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetSizes(Jacp,PETSC_DECIDE,PETSC_DECIDE,2,1));
2345f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(Jacp));
2355f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(Jacp));
2365f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateDense(PETSC_COMM_WORLD,PETSC_DECIDE,PETSC_DECIDE,1,1,NULL,&DRDP));
2375f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(DRDP));
2385f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateDense(PETSC_COMM_WORLD,PETSC_DECIDE,PETSC_DECIDE,1,2,NULL,&DRDU));
2395f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(DRDU));
240c4762a1bSJed Brown 
241c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
242c4762a1bSJed Brown      Create timestepping solver context
243c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
2445f80ce2aSJacob Faibussowitsch   CHKERRQ(TSCreate(PETSC_COMM_WORLD,&ctx.ts));
2455f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetProblemType(ctx.ts,TS_NONLINEAR));
2465f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetEquationType(ctx.ts,TS_EQ_ODE_EXPLICIT)); /* less Jacobian evaluations when adjoint BEuler is used, otherwise no effect */
2475f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetType(ctx.ts,TSRK));
2485f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSFunction(ctx.ts,NULL,(TSRHSFunction)RHSFunction,&ctx));
2495f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSJacobian(ctx.ts,A,A,(TSRHSJacobian)RHSJacobian,&ctx));
2505f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetExactFinalTime(ctx.ts,TS_EXACTFINALTIME_MATCHSTEP));
251c4762a1bSJed Brown 
2525f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(A,&lambda[0],NULL));
2535f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(Jacp,&mu[0],NULL));
2545f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetCostGradients(ctx.ts,1,lambda,mu));
2555f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSJacobianP(ctx.ts,Jacp,RHSJacobianP,&ctx));
256c4762a1bSJed Brown 
257c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
258c4762a1bSJed Brown      Set solver options
259c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
2605f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetMaxTime(ctx.ts,PetscRealConstant(1.0)));
2615f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetTimeStep(ctx.ts,PetscRealConstant(0.01)));
2625f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetFromOptions(ctx.ts));
263c4762a1bSJed Brown 
2645f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetTimeStep(ctx.ts,&ctx.dt)); /* save the stepsize */
265c4762a1bSJed Brown 
2665f80ce2aSJacob Faibussowitsch   CHKERRQ(TSCreateQuadratureTS(ctx.ts,PETSC_TRUE,&quadts));
2675f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSFunction(quadts,NULL,(TSRHSFunction)CostIntegrand,&ctx));
2685f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSJacobian(quadts,DRDU,DRDU,(TSRHSJacobian)DRDUJacobianTranspose,&ctx));
2695f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetRHSJacobianP(quadts,DRDP,(TSRHSJacobianP)DRDPJacobianTranspose,&ctx));
2705f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetSolution(ctx.ts,U));
271c4762a1bSJed Brown 
272c4762a1bSJed Brown   /* Create TAO solver and set desired solution method */
2735f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoCreate(PETSC_COMM_WORLD,&tao));
2745f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoSetType(tao,TAOBLMVM));
275c4762a1bSJed Brown 
276c4762a1bSJed Brown   /*
277c4762a1bSJed Brown      Optimization starts
278c4762a1bSJed Brown   */
279c4762a1bSJed Brown   /* Set initial solution guess */
2805f80ce2aSJacob Faibussowitsch   CHKERRQ(VecCreateSeq(PETSC_COMM_WORLD,1,&p));
2815f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(p,&x_ptr));
282c4762a1bSJed Brown   x_ptr[0]   = ctx.Pm;
2835f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(p,&x_ptr));
284c4762a1bSJed Brown 
2855f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoSetSolution(tao,p));
286c4762a1bSJed Brown   /* Set routine for function and gradient evaluation */
2875f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoSetObjective(tao,FormFunction,(void *)&ctx));
2885f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoSetGradient(tao,NULL,FormGradient,(void *)&ctx));
289c4762a1bSJed Brown 
290c4762a1bSJed Brown   /* Set bounds for the optimization */
2915f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(p,&lowerb));
2925f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(p,&upperb));
2935f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(lowerb,&x_ptr));
294c4762a1bSJed Brown   x_ptr[0] = 0.;
2955f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(lowerb,&x_ptr));
2965f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(upperb,&x_ptr));
297c4762a1bSJed Brown   x_ptr[0] = PetscRealConstant(1.1);
2985f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(upperb,&x_ptr));
2995f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoSetVariableBounds(tao,lowerb,upperb));
300c4762a1bSJed Brown 
301c4762a1bSJed Brown   /* Check for any TAO command line options */
3025f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoSetFromOptions(tao));
3035f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoGetKSP(tao,&ksp));
304c4762a1bSJed Brown   if (ksp) {
3055f80ce2aSJacob Faibussowitsch     CHKERRQ(KSPGetPC(ksp,&pc));
3065f80ce2aSJacob Faibussowitsch     CHKERRQ(PCSetType(pc,PCNONE));
307c4762a1bSJed Brown   }
308c4762a1bSJed Brown 
309c4762a1bSJed Brown   /* SOLVE THE APPLICATION */
3105f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoSolve(tao));
311c4762a1bSJed Brown 
3125f80ce2aSJacob Faibussowitsch   CHKERRQ(VecView(p,PETSC_VIEWER_STDOUT_WORLD));
313c4762a1bSJed Brown   /* Free TAO data structures */
3145f80ce2aSJacob Faibussowitsch   CHKERRQ(TaoDestroy(&tao));
3155f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&p));
3165f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&lowerb));
3175f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&upperb));
318c4762a1bSJed Brown 
3195f80ce2aSJacob Faibussowitsch   CHKERRQ(TSDestroy(&ctx.ts));
3205f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&U));
3215f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&A));
3225f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&Jacp));
3235f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&DRDU));
3245f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&DRDP));
3255f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&lambda[0]));
3265f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&mu[0]));
327*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscFinalize());
328*b122ec5aSJacob Faibussowitsch   return 0;
329c4762a1bSJed Brown }
330c4762a1bSJed Brown 
331c4762a1bSJed Brown /* ------------------------------------------------------------------ */
332c4762a1bSJed Brown /*
333c4762a1bSJed Brown    FormFunction - Evaluates the function
334c4762a1bSJed Brown 
335c4762a1bSJed Brown    Input Parameters:
336c4762a1bSJed Brown    tao - the Tao context
337c4762a1bSJed Brown    X   - the input vector
338a82e8c82SStefano Zampini    ptr - optional user-defined context, as set by TaoSetObjectiveAndGradient()
339c4762a1bSJed Brown 
340c4762a1bSJed Brown    Output Parameters:
341c4762a1bSJed Brown    f   - the newly evaluated function
342c4762a1bSJed Brown */
343c4762a1bSJed Brown PetscErrorCode FormFunction(Tao tao,Vec P,PetscReal *f,void *ctx0)
344c4762a1bSJed Brown {
345c4762a1bSJed Brown   AppCtx         *ctx = (AppCtx*)ctx0;
346c4762a1bSJed Brown   TS             ts = ctx->ts;
347c4762a1bSJed Brown   Vec            U;             /* solution will be stored here */
348c4762a1bSJed Brown   PetscScalar    *u;
349c4762a1bSJed Brown   PetscScalar    *x_ptr;
350c4762a1bSJed Brown   Vec            q;
351c4762a1bSJed Brown 
3525f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(P,(const PetscScalar**)&x_ptr));
353c4762a1bSJed Brown   ctx->Pm = x_ptr[0];
3545f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(P,(const PetscScalar**)&x_ptr));
355c4762a1bSJed Brown 
356c4762a1bSJed Brown   /* reset time */
3575f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetTime(ts,0.0));
358c4762a1bSJed Brown   /* reset step counter, this is critical for adjoint solver */
3595f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetStepNumber(ts,0));
360c4762a1bSJed Brown   /* reset step size, the step size becomes negative after TSAdjointSolve */
3615f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetTimeStep(ts,ctx->dt));
362c4762a1bSJed Brown   /* reinitialize the integral value */
3635f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetCostIntegral(ts,&q));
3645f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(q,0.0));
365c4762a1bSJed Brown 
366c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
367c4762a1bSJed Brown      Set initial conditions
368c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
3695f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetSolution(ts,&U));
3705f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(U,&u));
371c4762a1bSJed Brown   u[0] = PetscAsinScalar(ctx->Pm/ctx->Pmax);
372c4762a1bSJed Brown   u[1] = PetscRealConstant(1.0);
3735f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(U,&u));
374c4762a1bSJed Brown 
375c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
376c4762a1bSJed Brown      Solve nonlinear system
377c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
3785f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSolve(ts,U));
3795f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetCostIntegral(ts,&q));
3805f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(q,&x_ptr));
381c4762a1bSJed Brown   *f   = -ctx->Pm + x_ptr[0];
3825f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(q,&x_ptr));
383c4762a1bSJed Brown   return 0;
384c4762a1bSJed Brown }
385c4762a1bSJed Brown 
386c4762a1bSJed Brown PetscErrorCode FormGradient(Tao tao,Vec P,Vec G,void *ctx0)
387c4762a1bSJed Brown {
388c4762a1bSJed Brown   AppCtx         *ctx = (AppCtx*)ctx0;
389c4762a1bSJed Brown   TS             ts = ctx->ts;
390c4762a1bSJed Brown   Vec            U;             /* solution will be stored here */
391c4762a1bSJed Brown   PetscReal      ftime;
392c4762a1bSJed Brown   PetscInt       steps;
393c4762a1bSJed Brown   PetscScalar    *u;
394c4762a1bSJed Brown   PetscScalar    *x_ptr,*y_ptr;
395c4762a1bSJed Brown   Vec            *lambda,q,*mu;
396c4762a1bSJed Brown 
3975f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArrayRead(P,(const PetscScalar**)&x_ptr));
398c4762a1bSJed Brown   ctx->Pm = x_ptr[0];
3995f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArrayRead(P,(const PetscScalar**)&x_ptr));
400c4762a1bSJed Brown 
401c4762a1bSJed Brown   /* reset time */
4025f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetTime(ts,0.0));
403c4762a1bSJed Brown   /* reset step counter, this is critical for adjoint solver */
4045f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetStepNumber(ts,0));
405c4762a1bSJed Brown   /* reset step size, the step size becomes negative after TSAdjointSolve */
4065f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetTimeStep(ts,ctx->dt));
407c4762a1bSJed Brown   /* reinitialize the integral value */
4085f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetCostIntegral(ts,&q));
4095f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(q,0.0));
410c4762a1bSJed Brown 
411c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
412c4762a1bSJed Brown      Set initial conditions
413c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
4145f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetSolution(ts,&U));
4155f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(U,&u));
416c4762a1bSJed Brown   u[0] = PetscAsinScalar(ctx->Pm/ctx->Pmax);
417c4762a1bSJed Brown   u[1] = PetscRealConstant(1.0);
4185f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(U,&u));
419c4762a1bSJed Brown 
420f32d6360SSatish Balay   /* Set up to save trajectory before TSSetFromOptions() so that TSTrajectory options can be captured */
4215f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetSaveTrajectory(ts));
4225f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSetFromOptions(ts));
423c4762a1bSJed Brown 
424c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
425c4762a1bSJed Brown      Solve nonlinear system
426c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
4275f80ce2aSJacob Faibussowitsch   CHKERRQ(TSSolve(ts,U));
428c4762a1bSJed Brown 
4295f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetSolveTime(ts,&ftime));
4305f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetStepNumber(ts,&steps));
431c4762a1bSJed Brown 
432c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
433c4762a1bSJed Brown      Adjoint model starts here
434c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
4355f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetCostGradients(ts,NULL,&lambda,&mu));
436c4762a1bSJed Brown   /*   Set initial conditions for the adjoint integration */
4375f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(lambda[0],&y_ptr));
438c4762a1bSJed Brown   y_ptr[0] = 0.0; y_ptr[1] = 0.0;
4395f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(lambda[0],&y_ptr));
4405f80ce2aSJacob Faibussowitsch   CHKERRQ(VecGetArray(mu[0],&x_ptr));
441c4762a1bSJed Brown   x_ptr[0] = PetscRealConstant(-1.0);
4425f80ce2aSJacob Faibussowitsch   CHKERRQ(VecRestoreArray(mu[0],&x_ptr));
443c4762a1bSJed Brown 
4445f80ce2aSJacob Faibussowitsch   CHKERRQ(TSAdjointSolve(ts));
4455f80ce2aSJacob Faibussowitsch   CHKERRQ(TSGetCostIntegral(ts,&q));
4465f80ce2aSJacob Faibussowitsch   CHKERRQ(ComputeSensiP(lambda[0],mu[0],ctx));
4475f80ce2aSJacob Faibussowitsch   CHKERRQ(VecCopy(mu[0],G));
448c4762a1bSJed Brown   return 0;
449c4762a1bSJed Brown }
450c4762a1bSJed Brown 
451c4762a1bSJed Brown /*TEST
452c4762a1bSJed Brown 
453c4762a1bSJed Brown    build:
454c4762a1bSJed Brown       requires: !complex
455c4762a1bSJed Brown 
456c4762a1bSJed Brown    test:
457c4762a1bSJed Brown       args: -viewer_binary_skip_info -ts_adapt_type none -tao_monitor -tao_gatol 0.0 -tao_grtol 1.e-3 -tao_converged_reason
458c4762a1bSJed Brown 
459c4762a1bSJed Brown    test:
460c4762a1bSJed Brown       suffix: 2
461c4762a1bSJed Brown       args: -viewer_binary_skip_info -ts_adapt_type none -tao_monitor -tao_gatol 0.0 -tao_grtol 1.e-3 -tao_converged_reason -tao_test_gradient
462c4762a1bSJed Brown 
463c4762a1bSJed Brown TEST*/
464