xref: /petsc/src/tao/pde_constrained/tutorials/hyperbolic.c (revision 327415f76d85372a4417cf1aaa14db707d4d6c04)
1c4762a1bSJed Brown #include <petsctao.h>
2c4762a1bSJed Brown 
3c4762a1bSJed Brown typedef struct {
4c4762a1bSJed Brown   PetscInt n; /*  Number of variables */
5c4762a1bSJed Brown   PetscInt m; /*  Number of constraints */
6c4762a1bSJed Brown   PetscInt mx; /*  grid points in each direction */
7c4762a1bSJed Brown   PetscInt nt; /*  Number of time steps */
8c4762a1bSJed Brown   PetscInt ndata; /*  Number of data points per sample */
9c4762a1bSJed Brown   IS       s_is;
10c4762a1bSJed Brown   IS       d_is;
11c4762a1bSJed Brown   VecScatter state_scatter;
12c4762a1bSJed Brown   VecScatter design_scatter;
13c4762a1bSJed Brown   VecScatter *uxi_scatter,*uyi_scatter,*ux_scatter,*uy_scatter,*ui_scatter;
14c4762a1bSJed Brown   VecScatter *yi_scatter;
15c4762a1bSJed Brown 
16c4762a1bSJed Brown   Mat       Js,Jd,JsBlockPrec,JsInv,JsBlock;
17c4762a1bSJed Brown   PetscBool jformed,c_formed;
18c4762a1bSJed Brown 
19c4762a1bSJed Brown   PetscReal alpha; /*  Regularization parameter */
20c4762a1bSJed Brown   PetscReal gamma;
21c4762a1bSJed Brown   PetscReal ht; /*  Time step */
22c4762a1bSJed Brown   PetscReal T; /*  Final time */
23c4762a1bSJed Brown   Mat Q,QT;
24c4762a1bSJed Brown   Mat L,LT;
25c4762a1bSJed Brown   Mat Div,Divwork,Divxy[2];
26c4762a1bSJed Brown   Mat Grad,Gradxy[2];
27c4762a1bSJed Brown   Mat M;
28c4762a1bSJed Brown   Mat *C,*Cwork;
29c4762a1bSJed Brown   /* Mat Hs,Hd,Hsd; */
30c4762a1bSJed Brown   Vec q;
31c4762a1bSJed Brown   Vec ur; /*  reference */
32c4762a1bSJed Brown 
33c4762a1bSJed Brown   Vec d;
34c4762a1bSJed Brown   Vec dwork;
35c4762a1bSJed Brown 
36c4762a1bSJed Brown   Vec y; /*  state variables */
37c4762a1bSJed Brown   Vec ywork;
38c4762a1bSJed Brown   Vec ytrue;
39c4762a1bSJed Brown   Vec *yi,*yiwork,*ziwork;
40c4762a1bSJed Brown   Vec *uxi,*uyi,*uxiwork,*uyiwork,*ui,*uiwork;
41c4762a1bSJed Brown 
42c4762a1bSJed Brown   Vec u; /*  design variables */
43c4762a1bSJed Brown   Vec uwork,vwork;
44c4762a1bSJed Brown   Vec utrue;
45c4762a1bSJed Brown 
46c4762a1bSJed Brown   Vec js_diag;
47c4762a1bSJed Brown 
48c4762a1bSJed Brown   Vec c; /*  constraint vector */
49c4762a1bSJed Brown   Vec cwork;
50c4762a1bSJed Brown 
51c4762a1bSJed Brown   Vec lwork;
52c4762a1bSJed Brown 
53c4762a1bSJed Brown   KSP      solver;
54c4762a1bSJed Brown   PC       prec;
55c4762a1bSJed Brown   PetscInt block_index;
56c4762a1bSJed Brown 
57c4762a1bSJed Brown   PetscInt ksp_its;
58c4762a1bSJed Brown   PetscInt ksp_its_initial;
59c4762a1bSJed Brown } AppCtx;
60c4762a1bSJed Brown 
61c4762a1bSJed Brown PetscErrorCode FormFunction(Tao, Vec, PetscReal*, void*);
62c4762a1bSJed Brown PetscErrorCode FormGradient(Tao, Vec, Vec, void*);
63c4762a1bSJed Brown PetscErrorCode FormFunctionGradient(Tao, Vec, PetscReal*, Vec, void*);
64c4762a1bSJed Brown PetscErrorCode FormJacobianState(Tao, Vec, Mat, Mat, Mat, void*);
65c4762a1bSJed Brown PetscErrorCode FormJacobianDesign(Tao, Vec, Mat,void*);
66c4762a1bSJed Brown PetscErrorCode FormConstraints(Tao, Vec, Vec, void*);
67c4762a1bSJed Brown PetscErrorCode FormHessian(Tao, Vec, Mat, Mat, void*);
68c4762a1bSJed Brown PetscErrorCode Gather(Vec x, Vec state, VecScatter s_scat, Vec design, VecScatter d_scat);
69c4762a1bSJed Brown PetscErrorCode Scatter(Vec x, Vec state, VecScatter s_scat, Vec design, VecScatter d_scat);
70c4762a1bSJed Brown PetscErrorCode HyperbolicInitialize(AppCtx *user);
71c4762a1bSJed Brown PetscErrorCode HyperbolicDestroy(AppCtx *user);
72c4762a1bSJed Brown PetscErrorCode HyperbolicMonitor(Tao, void*);
73c4762a1bSJed Brown 
74c4762a1bSJed Brown PetscErrorCode StateMatMult(Mat,Vec,Vec);
75c4762a1bSJed Brown PetscErrorCode StateMatBlockMult(Mat,Vec,Vec);
76c4762a1bSJed Brown PetscErrorCode StateMatBlockMultTranspose(Mat,Vec,Vec);
77c4762a1bSJed Brown PetscErrorCode StateMatMultTranspose(Mat,Vec,Vec);
78c4762a1bSJed Brown PetscErrorCode StateMatGetDiagonal(Mat,Vec);
79c4762a1bSJed Brown PetscErrorCode StateMatDuplicate(Mat,MatDuplicateOption,Mat*);
80c4762a1bSJed Brown PetscErrorCode StateMatInvMult(Mat,Vec,Vec);
81c4762a1bSJed Brown PetscErrorCode StateMatInvTransposeMult(Mat,Vec,Vec);
82c4762a1bSJed Brown PetscErrorCode StateMatBlockPrecMult(PC,Vec,Vec);
83c4762a1bSJed Brown 
84c4762a1bSJed Brown PetscErrorCode DesignMatMult(Mat,Vec,Vec);
85c4762a1bSJed Brown PetscErrorCode DesignMatMultTranspose(Mat,Vec,Vec);
86c4762a1bSJed Brown 
87c4762a1bSJed Brown PetscErrorCode Scatter_yi(Vec,Vec*,VecScatter*,PetscInt); /*  y to y1,y2,...,y_nt */
88c4762a1bSJed Brown PetscErrorCode Gather_yi(Vec,Vec*,VecScatter*,PetscInt);
89c4762a1bSJed Brown PetscErrorCode Scatter_uxi_uyi(Vec,Vec*,VecScatter*,Vec*,VecScatter*,PetscInt); /*  u to ux_1,uy_1,ux_2,uy_2,...,u */
90c4762a1bSJed Brown PetscErrorCode Gather_uxi_uyi(Vec,Vec*,VecScatter*,Vec*,VecScatter*,PetscInt);
91c4762a1bSJed Brown 
92c4762a1bSJed Brown static  char help[]="";
93c4762a1bSJed Brown 
94c4762a1bSJed Brown int main(int argc, char **argv)
95c4762a1bSJed Brown {
96c4762a1bSJed Brown   Vec                x,x0;
97c4762a1bSJed Brown   Tao                tao;
98c4762a1bSJed Brown   AppCtx             user;
99c4762a1bSJed Brown   IS                 is_allstate,is_alldesign;
100c4762a1bSJed Brown   PetscInt           lo,hi,hi2,lo2,ksp_old;
101c4762a1bSJed Brown   PetscInt           ntests = 1;
102c4762a1bSJed Brown   PetscInt           i;
103c4762a1bSJed Brown #if defined(PETSC_USE_LOG)
104c4762a1bSJed Brown   PetscLogStage      stages[1];
105c4762a1bSJed Brown #endif
106c4762a1bSJed Brown 
107*327415f7SBarry Smith   PetscFunctionBeginUser;
1089566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &argv, (char*)0,help));
109c4762a1bSJed Brown   user.mx = 32;
110d0609cedSBarry Smith   PetscOptionsBegin(PETSC_COMM_WORLD,NULL,"hyperbolic example",NULL);
1119566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-mx","Number of grid points in each direction","",user.mx,&user.mx,NULL));
112c4762a1bSJed Brown   user.nt = 16;
1139566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-nt","Number of time steps","",user.nt,&user.nt,NULL));
114c4762a1bSJed Brown   user.ndata = 64;
1159566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-ndata","Numbers of data points per sample","",user.ndata,&user.ndata,NULL));
116c4762a1bSJed Brown   user.alpha = 10.0;
1179566063dSJacob Faibussowitsch   PetscCall(PetscOptionsReal("-alpha","Regularization parameter","",user.alpha,&user.alpha,NULL));
118c4762a1bSJed Brown   user.T = 1.0/32.0;
1199566063dSJacob Faibussowitsch   PetscCall(PetscOptionsReal("-Tfinal","Final time","",user.T,&user.T,NULL));
1209566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-ntests","Number of times to repeat TaoSolve","",ntests,&ntests,NULL));
121d0609cedSBarry Smith   PetscOptionsEnd();
122c4762a1bSJed Brown 
123c4762a1bSJed Brown   user.m = user.mx*user.mx*user.nt; /*  number of constraints */
124c4762a1bSJed Brown   user.n = user.mx*user.mx*3*user.nt; /*  number of variables */
125c4762a1bSJed Brown   user.ht = user.T/user.nt; /*  Time step */
126c4762a1bSJed Brown   user.gamma = user.T*user.ht / (user.mx*user.mx);
127c4762a1bSJed Brown 
1289566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&user.u));
1299566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&user.y));
1309566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&user.c));
1319566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(user.u,PETSC_DECIDE,user.n-user.m));
1329566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(user.y,PETSC_DECIDE,user.m));
1339566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(user.c,PETSC_DECIDE,user.m));
1349566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(user.u));
1359566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(user.y));
1369566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(user.c));
137c4762a1bSJed Brown 
138c4762a1bSJed Brown   /* Create scatters for reduced spaces.
139c4762a1bSJed Brown      If the state vector y and design vector u are partitioned as
140c4762a1bSJed Brown      [y_1; y_2; ...; y_np] and [u_1; u_2; ...; u_np] (with np = # of processors),
141c4762a1bSJed Brown      then the solution vector x is organized as
142c4762a1bSJed Brown      [y_1; u_1; y_2; u_2; ...; y_np; u_np].
143c4762a1bSJed Brown      The index sets user.s_is and user.d_is correspond to the indices of the
144c4762a1bSJed Brown      state and design variables owned by the current processor.
145c4762a1bSJed Brown   */
1469566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&x));
147c4762a1bSJed Brown 
1489566063dSJacob Faibussowitsch   PetscCall(VecGetOwnershipRange(user.y,&lo,&hi));
1499566063dSJacob Faibussowitsch   PetscCall(VecGetOwnershipRange(user.u,&lo2,&hi2));
150c4762a1bSJed Brown 
1519566063dSJacob Faibussowitsch   PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_allstate));
1529566063dSJacob Faibussowitsch   PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo+lo2,1,&user.s_is));
153c4762a1bSJed Brown 
1549566063dSJacob Faibussowitsch   PetscCall(ISCreateStride(PETSC_COMM_SELF,hi2-lo2,lo2,1,&is_alldesign));
1559566063dSJacob Faibussowitsch   PetscCall(ISCreateStride(PETSC_COMM_SELF,hi2-lo2,hi+lo2,1,&user.d_is));
156c4762a1bSJed Brown 
1579566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(x,hi-lo+hi2-lo2,user.n));
1589566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(x));
159c4762a1bSJed Brown 
1609566063dSJacob Faibussowitsch   PetscCall(VecScatterCreate(x,user.s_is,user.y,is_allstate,&user.state_scatter));
1619566063dSJacob Faibussowitsch   PetscCall(VecScatterCreate(x,user.d_is,user.u,is_alldesign,&user.design_scatter));
1629566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is_alldesign));
1639566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is_allstate));
164c4762a1bSJed Brown 
165c4762a1bSJed Brown   /* Create TAO solver and set desired solution method */
1669566063dSJacob Faibussowitsch   PetscCall(TaoCreate(PETSC_COMM_WORLD,&tao));
1679566063dSJacob Faibussowitsch   PetscCall(TaoSetType(tao,TAOLCL));
168c4762a1bSJed Brown 
169c4762a1bSJed Brown   /* Set up initial vectors and matrices */
1709566063dSJacob Faibussowitsch   PetscCall(HyperbolicInitialize(&user));
171c4762a1bSJed Brown 
1729566063dSJacob Faibussowitsch   PetscCall(Gather(x,user.y,user.state_scatter,user.u,user.design_scatter));
1739566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(x,&x0));
1749566063dSJacob Faibussowitsch   PetscCall(VecCopy(x,x0));
175c4762a1bSJed Brown 
176c4762a1bSJed Brown   /* Set solution vector with an initial guess */
1779566063dSJacob Faibussowitsch   PetscCall(TaoSetSolution(tao,x));
1789566063dSJacob Faibussowitsch   PetscCall(TaoSetObjective(tao, FormFunction, &user));
1799566063dSJacob Faibussowitsch   PetscCall(TaoSetGradient(tao, NULL, FormGradient, &user));
1809566063dSJacob Faibussowitsch   PetscCall(TaoSetConstraintsRoutine(tao, user.c, FormConstraints, &user));
1819566063dSJacob Faibussowitsch   PetscCall(TaoSetJacobianStateRoutine(tao, user.Js, user.Js, user.JsInv, FormJacobianState, &user));
1829566063dSJacob Faibussowitsch   PetscCall(TaoSetJacobianDesignRoutine(tao, user.Jd, FormJacobianDesign, &user));
1839566063dSJacob Faibussowitsch   PetscCall(TaoSetFromOptions(tao));
1849566063dSJacob Faibussowitsch   PetscCall(TaoSetStateDesignIS(tao,user.s_is,user.d_is));
185c4762a1bSJed Brown 
186c4762a1bSJed Brown   /* SOLVE THE APPLICATION */
1879566063dSJacob Faibussowitsch   PetscCall(PetscLogStageRegister("Trials",&stages[0]));
1889566063dSJacob Faibussowitsch   PetscCall(PetscLogStagePush(stages[0]));
189c4762a1bSJed Brown   user.ksp_its_initial = user.ksp_its;
190c4762a1bSJed Brown   ksp_old = user.ksp_its;
191c4762a1bSJed Brown   for (i=0; i<ntests; i++) {
1929566063dSJacob Faibussowitsch     PetscCall(TaoSolve(tao));
19363a3b9bcSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"KSP Iterations = %" PetscInt_FMT "\n",user.ksp_its-ksp_old));
1949566063dSJacob Faibussowitsch     PetscCall(VecCopy(x0,x));
1959566063dSJacob Faibussowitsch     PetscCall(TaoSetSolution(tao,x));
196c4762a1bSJed Brown   }
1979566063dSJacob Faibussowitsch   PetscCall(PetscLogStagePop());
1989566063dSJacob Faibussowitsch   PetscCall(PetscBarrier((PetscObject)x));
1999566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"KSP iterations within initialization: "));
20063a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"%" PetscInt_FMT "\n",user.ksp_its_initial));
20163a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Total KSP iterations over %" PetscInt_FMT " trial(s): ",ntests));
20263a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"%" PetscInt_FMT "\n",user.ksp_its));
2039566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"KSP iterations per trial: "));
20463a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"%" PetscInt_FMT "\n",(user.ksp_its-user.ksp_its_initial)/ntests));
205c4762a1bSJed Brown 
2069566063dSJacob Faibussowitsch   PetscCall(TaoDestroy(&tao));
2079566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
2089566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x0));
2099566063dSJacob Faibussowitsch   PetscCall(HyperbolicDestroy(&user));
2109566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
211b122ec5aSJacob Faibussowitsch   return 0;
212c4762a1bSJed Brown }
213c4762a1bSJed Brown /* ------------------------------------------------------------------- */
214c4762a1bSJed Brown /*
215c4762a1bSJed Brown    dwork = Qy - d
216c4762a1bSJed Brown    lwork = L*(u-ur).^2
217c4762a1bSJed Brown    f = 1/2 * (dwork.dork + alpha*y.lwork)
218c4762a1bSJed Brown */
219c4762a1bSJed Brown PetscErrorCode FormFunction(Tao tao,Vec X,PetscReal *f,void *ptr)
220c4762a1bSJed Brown {
221c4762a1bSJed Brown   PetscReal      d1=0,d2=0;
222c4762a1bSJed Brown   AppCtx         *user = (AppCtx*)ptr;
223c4762a1bSJed Brown 
224c4762a1bSJed Brown   PetscFunctionBegin;
2259566063dSJacob Faibussowitsch   PetscCall(Scatter(X,user->y,user->state_scatter,user->u,user->design_scatter));
2269566063dSJacob Faibussowitsch   PetscCall(MatMult(user->Q,user->y,user->dwork));
2279566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->dwork,-1.0,user->d));
2289566063dSJacob Faibussowitsch   PetscCall(VecDot(user->dwork,user->dwork,&d1));
229c4762a1bSJed Brown 
2309566063dSJacob Faibussowitsch   PetscCall(VecWAXPY(user->uwork,-1.0,user->ur,user->u));
2319566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->uwork,user->uwork,user->uwork));
2329566063dSJacob Faibussowitsch   PetscCall(MatMult(user->L,user->uwork,user->lwork));
2339566063dSJacob Faibussowitsch   PetscCall(VecDot(user->y,user->lwork,&d2));
234c4762a1bSJed Brown   *f = 0.5 * (d1 + user->alpha*d2);
235c4762a1bSJed Brown   PetscFunctionReturn(0);
236c4762a1bSJed Brown }
237c4762a1bSJed Brown 
238c4762a1bSJed Brown /* ------------------------------------------------------------------- */
239c4762a1bSJed Brown /*
240c4762a1bSJed Brown     state: g_s = Q' *(Qy - d) + 0.5*alpha*L*(u-ur).^2
241c4762a1bSJed Brown     design: g_d = alpha*(L'y).*(u-ur)
242c4762a1bSJed Brown */
243c4762a1bSJed Brown PetscErrorCode FormGradient(Tao tao,Vec X,Vec G,void *ptr)
244c4762a1bSJed Brown {
245c4762a1bSJed Brown   AppCtx         *user = (AppCtx*)ptr;
246c4762a1bSJed Brown 
247c4762a1bSJed Brown   PetscFunctionBegin;
2489566063dSJacob Faibussowitsch   PetscCall(Scatter(X,user->y,user->state_scatter,user->u,user->design_scatter));
2499566063dSJacob Faibussowitsch   PetscCall(MatMult(user->Q,user->y,user->dwork));
2509566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->dwork,-1.0,user->d));
251c4762a1bSJed Brown 
2529566063dSJacob Faibussowitsch   PetscCall(MatMult(user->QT,user->dwork,user->ywork));
253c4762a1bSJed Brown 
2549566063dSJacob Faibussowitsch   PetscCall(MatMult(user->LT,user->y,user->uwork));
2559566063dSJacob Faibussowitsch   PetscCall(VecWAXPY(user->vwork,-1.0,user->ur,user->u));
2569566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->uwork,user->vwork,user->uwork));
2579566063dSJacob Faibussowitsch   PetscCall(VecScale(user->uwork,user->alpha));
258c4762a1bSJed Brown 
2599566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->vwork,user->vwork,user->vwork));
2609566063dSJacob Faibussowitsch   PetscCall(MatMult(user->L,user->vwork,user->lwork));
2619566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->ywork,0.5*user->alpha,user->lwork));
262c4762a1bSJed Brown 
2639566063dSJacob Faibussowitsch   PetscCall(Gather(G,user->ywork,user->state_scatter,user->uwork,user->design_scatter));
264c4762a1bSJed Brown   PetscFunctionReturn(0);
265c4762a1bSJed Brown }
266c4762a1bSJed Brown 
267c4762a1bSJed Brown PetscErrorCode FormFunctionGradient(Tao tao, Vec X, PetscReal *f, Vec G, void *ptr)
268c4762a1bSJed Brown {
269c4762a1bSJed Brown   PetscReal      d1,d2;
270c4762a1bSJed Brown   AppCtx         *user = (AppCtx*)ptr;
271c4762a1bSJed Brown 
272c4762a1bSJed Brown   PetscFunctionBegin;
2739566063dSJacob Faibussowitsch   PetscCall(Scatter(X,user->y,user->state_scatter,user->u,user->design_scatter));
2749566063dSJacob Faibussowitsch   PetscCall(MatMult(user->Q,user->y,user->dwork));
2759566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->dwork,-1.0,user->d));
276c4762a1bSJed Brown 
2779566063dSJacob Faibussowitsch   PetscCall(MatMult(user->QT,user->dwork,user->ywork));
278c4762a1bSJed Brown 
2799566063dSJacob Faibussowitsch   PetscCall(VecDot(user->dwork,user->dwork,&d1));
280c4762a1bSJed Brown 
2819566063dSJacob Faibussowitsch   PetscCall(MatMult(user->LT,user->y,user->uwork));
2829566063dSJacob Faibussowitsch   PetscCall(VecWAXPY(user->vwork,-1.0,user->ur,user->u));
2839566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->uwork,user->vwork,user->uwork));
2849566063dSJacob Faibussowitsch   PetscCall(VecScale(user->uwork,user->alpha));
285c4762a1bSJed Brown 
2869566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->vwork,user->vwork,user->vwork));
2879566063dSJacob Faibussowitsch   PetscCall(MatMult(user->L,user->vwork,user->lwork));
2889566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->ywork,0.5*user->alpha,user->lwork));
289c4762a1bSJed Brown 
2909566063dSJacob Faibussowitsch   PetscCall(VecDot(user->y,user->lwork,&d2));
291c4762a1bSJed Brown 
292c4762a1bSJed Brown   *f = 0.5 * (d1 + user->alpha*d2);
2939566063dSJacob Faibussowitsch   PetscCall(Gather(G,user->ywork,user->state_scatter,user->uwork,user->design_scatter));
294c4762a1bSJed Brown   PetscFunctionReturn(0);
295c4762a1bSJed Brown }
296c4762a1bSJed Brown 
297c4762a1bSJed Brown /* ------------------------------------------------------------------- */
298c4762a1bSJed Brown /* A
299c4762a1bSJed Brown MatShell object
300c4762a1bSJed Brown */
301c4762a1bSJed Brown PetscErrorCode FormJacobianState(Tao tao, Vec X, Mat J, Mat JPre, Mat JInv, void *ptr)
302c4762a1bSJed Brown {
303c4762a1bSJed Brown   PetscInt       i;
304c4762a1bSJed Brown   AppCtx         *user = (AppCtx*)ptr;
305c4762a1bSJed Brown 
306c4762a1bSJed Brown   PetscFunctionBegin;
3079566063dSJacob Faibussowitsch   PetscCall(Scatter(X,user->y,user->state_scatter,user->u,user->design_scatter));
3089566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(user->u,user->ui,user->ui_scatter,user->nt));
3099566063dSJacob Faibussowitsch   PetscCall(Scatter_uxi_uyi(user->u,user->uxi,user->uxi_scatter,user->uyi,user->uyi_scatter,user->nt));
310c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
3119566063dSJacob Faibussowitsch     PetscCall(MatCopy(user->Divxy[0],user->C[i],SUBSET_NONZERO_PATTERN));
3129566063dSJacob Faibussowitsch     PetscCall(MatCopy(user->Divxy[1],user->Cwork[i],SAME_NONZERO_PATTERN));
313c4762a1bSJed Brown 
3149566063dSJacob Faibussowitsch     PetscCall(MatDiagonalScale(user->C[i],NULL,user->uxi[i]));
3159566063dSJacob Faibussowitsch     PetscCall(MatDiagonalScale(user->Cwork[i],NULL,user->uyi[i]));
3169566063dSJacob Faibussowitsch     PetscCall(MatAXPY(user->C[i],1.0,user->Cwork[i],SUBSET_NONZERO_PATTERN));
3179566063dSJacob Faibussowitsch     PetscCall(MatScale(user->C[i],user->ht));
3189566063dSJacob Faibussowitsch     PetscCall(MatShift(user->C[i],1.0));
319c4762a1bSJed Brown   }
320c4762a1bSJed Brown   PetscFunctionReturn(0);
321c4762a1bSJed Brown }
322c4762a1bSJed Brown 
323c4762a1bSJed Brown /* ------------------------------------------------------------------- */
324c4762a1bSJed Brown /* B */
325c4762a1bSJed Brown PetscErrorCode FormJacobianDesign(Tao tao, Vec X, Mat J, void *ptr)
326c4762a1bSJed Brown {
327c4762a1bSJed Brown   AppCtx         *user = (AppCtx*)ptr;
328c4762a1bSJed Brown 
329c4762a1bSJed Brown   PetscFunctionBegin;
3309566063dSJacob Faibussowitsch   PetscCall(Scatter(X,user->y,user->state_scatter,user->u,user->design_scatter));
331c4762a1bSJed Brown   PetscFunctionReturn(0);
332c4762a1bSJed Brown }
333c4762a1bSJed Brown 
334c4762a1bSJed Brown PetscErrorCode StateMatMult(Mat J_shell, Vec X, Vec Y)
335c4762a1bSJed Brown {
336c4762a1bSJed Brown   PetscInt       i;
337c4762a1bSJed Brown   AppCtx         *user;
338c4762a1bSJed Brown 
339c4762a1bSJed Brown   PetscFunctionBegin;
3409566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
3419566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(X,user->yi,user->yi_scatter,user->nt));
342c4762a1bSJed Brown   user->block_index = 0;
3439566063dSJacob Faibussowitsch   PetscCall(MatMult(user->JsBlock,user->yi[0],user->yiwork[0]));
344c4762a1bSJed Brown 
345c4762a1bSJed Brown   for (i=1; i<user->nt; i++) {
346c4762a1bSJed Brown     user->block_index = i;
3479566063dSJacob Faibussowitsch     PetscCall(MatMult(user->JsBlock,user->yi[i],user->yiwork[i]));
3489566063dSJacob Faibussowitsch     PetscCall(MatMult(user->M,user->yi[i-1],user->ziwork[i-1]));
3499566063dSJacob Faibussowitsch     PetscCall(VecAXPY(user->yiwork[i],-1.0,user->ziwork[i-1]));
350c4762a1bSJed Brown   }
3519566063dSJacob Faibussowitsch   PetscCall(Gather_yi(Y,user->yiwork,user->yi_scatter,user->nt));
352c4762a1bSJed Brown   PetscFunctionReturn(0);
353c4762a1bSJed Brown }
354c4762a1bSJed Brown 
355c4762a1bSJed Brown PetscErrorCode StateMatMultTranspose(Mat J_shell, Vec X, Vec Y)
356c4762a1bSJed Brown {
357c4762a1bSJed Brown   PetscInt       i;
358c4762a1bSJed Brown   AppCtx         *user;
359c4762a1bSJed Brown 
360c4762a1bSJed Brown   PetscFunctionBegin;
3619566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
3629566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(X,user->yi,user->yi_scatter,user->nt));
363c4762a1bSJed Brown 
364c4762a1bSJed Brown   for (i=0; i<user->nt-1; i++) {
365c4762a1bSJed Brown     user->block_index = i;
3669566063dSJacob Faibussowitsch     PetscCall(MatMultTranspose(user->JsBlock,user->yi[i],user->yiwork[i]));
3679566063dSJacob Faibussowitsch     PetscCall(MatMult(user->M,user->yi[i+1],user->ziwork[i+1]));
3689566063dSJacob Faibussowitsch     PetscCall(VecAXPY(user->yiwork[i],-1.0,user->ziwork[i+1]));
369c4762a1bSJed Brown   }
370c4762a1bSJed Brown 
371c4762a1bSJed Brown   i = user->nt-1;
372c4762a1bSJed Brown   user->block_index = i;
3739566063dSJacob Faibussowitsch   PetscCall(MatMultTranspose(user->JsBlock,user->yi[i],user->yiwork[i]));
3749566063dSJacob Faibussowitsch   PetscCall(Gather_yi(Y,user->yiwork,user->yi_scatter,user->nt));
375c4762a1bSJed Brown   PetscFunctionReturn(0);
376c4762a1bSJed Brown }
377c4762a1bSJed Brown 
378c4762a1bSJed Brown PetscErrorCode StateMatBlockMult(Mat J_shell, Vec X, Vec Y)
379c4762a1bSJed Brown {
380c4762a1bSJed Brown   PetscInt       i;
381c4762a1bSJed Brown   AppCtx         *user;
382c4762a1bSJed Brown 
383c4762a1bSJed Brown   PetscFunctionBegin;
3849566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
385c4762a1bSJed Brown   i = user->block_index;
3869566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->uxiwork[i],X,user->uxi[i]));
3879566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->uyiwork[i],X,user->uyi[i]));
3889566063dSJacob Faibussowitsch   PetscCall(Gather(user->uiwork[i],user->uxiwork[i],user->ux_scatter[i],user->uyiwork[i],user->uy_scatter[i]));
3899566063dSJacob Faibussowitsch   PetscCall(MatMult(user->Div,user->uiwork[i],Y));
3909566063dSJacob Faibussowitsch   PetscCall(VecAYPX(Y,user->ht,X));
391c4762a1bSJed Brown   PetscFunctionReturn(0);
392c4762a1bSJed Brown }
393c4762a1bSJed Brown 
394c4762a1bSJed Brown PetscErrorCode StateMatBlockMultTranspose(Mat J_shell, Vec X, Vec Y)
395c4762a1bSJed Brown {
396c4762a1bSJed Brown   PetscInt       i;
397c4762a1bSJed Brown   AppCtx         *user;
398c4762a1bSJed Brown 
399c4762a1bSJed Brown   PetscFunctionBegin;
4009566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
401c4762a1bSJed Brown   i = user->block_index;
4029566063dSJacob Faibussowitsch   PetscCall(MatMult(user->Grad,X,user->uiwork[i]));
4039566063dSJacob Faibussowitsch   PetscCall(Scatter(user->uiwork[i],user->uxiwork[i],user->ux_scatter[i],user->uyiwork[i],user->uy_scatter[i]));
4049566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->uxiwork[i],user->uxi[i],user->uxiwork[i]));
4059566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(user->uyiwork[i],user->uyi[i],user->uyiwork[i]));
4069566063dSJacob Faibussowitsch   PetscCall(VecWAXPY(Y,1.0,user->uxiwork[i],user->uyiwork[i]));
4079566063dSJacob Faibussowitsch   PetscCall(VecAYPX(Y,user->ht,X));
408c4762a1bSJed Brown   PetscFunctionReturn(0);
409c4762a1bSJed Brown }
410c4762a1bSJed Brown 
411c4762a1bSJed Brown PetscErrorCode DesignMatMult(Mat J_shell, Vec X, Vec Y)
412c4762a1bSJed Brown {
413c4762a1bSJed Brown   PetscInt       i;
414c4762a1bSJed Brown   AppCtx         *user;
415c4762a1bSJed Brown 
416c4762a1bSJed Brown   PetscFunctionBegin;
4179566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
4189566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(user->y,user->yi,user->yi_scatter,user->nt));
4199566063dSJacob Faibussowitsch   PetscCall(Scatter_uxi_uyi(X,user->uxiwork,user->uxi_scatter,user->uyiwork,user->uyi_scatter,user->nt));
420c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
4219566063dSJacob Faibussowitsch     PetscCall(VecPointwiseMult(user->uxiwork[i],user->yi[i],user->uxiwork[i]));
4229566063dSJacob Faibussowitsch     PetscCall(VecPointwiseMult(user->uyiwork[i],user->yi[i],user->uyiwork[i]));
4239566063dSJacob Faibussowitsch     PetscCall(Gather(user->uiwork[i],user->uxiwork[i],user->ux_scatter[i],user->uyiwork[i],user->uy_scatter[i]));
4249566063dSJacob Faibussowitsch     PetscCall(MatMult(user->Div,user->uiwork[i],user->ziwork[i]));
4259566063dSJacob Faibussowitsch     PetscCall(VecScale(user->ziwork[i],user->ht));
426c4762a1bSJed Brown   }
4279566063dSJacob Faibussowitsch   PetscCall(Gather_yi(Y,user->ziwork,user->yi_scatter,user->nt));
428c4762a1bSJed Brown   PetscFunctionReturn(0);
429c4762a1bSJed Brown }
430c4762a1bSJed Brown 
431c4762a1bSJed Brown PetscErrorCode DesignMatMultTranspose(Mat J_shell, Vec X, Vec Y)
432c4762a1bSJed Brown {
433c4762a1bSJed Brown   PetscInt       i;
434c4762a1bSJed Brown   AppCtx         *user;
435c4762a1bSJed Brown 
436c4762a1bSJed Brown   PetscFunctionBegin;
4379566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
4389566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(user->y,user->yi,user->yi_scatter,user->nt));
4399566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(X,user->yiwork,user->yi_scatter,user->nt));
440c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
4419566063dSJacob Faibussowitsch     PetscCall(MatMult(user->Grad,user->yiwork[i],user->uiwork[i]));
4429566063dSJacob Faibussowitsch     PetscCall(Scatter(user->uiwork[i],user->uxiwork[i],user->ux_scatter[i],user->uyiwork[i],user->uy_scatter[i]));
4439566063dSJacob Faibussowitsch     PetscCall(VecPointwiseMult(user->uxiwork[i],user->yi[i],user->uxiwork[i]));
4449566063dSJacob Faibussowitsch     PetscCall(VecPointwiseMult(user->uyiwork[i],user->yi[i],user->uyiwork[i]));
4459566063dSJacob Faibussowitsch     PetscCall(Gather(user->uiwork[i],user->uxiwork[i],user->ux_scatter[i],user->uyiwork[i],user->uy_scatter[i]));
4469566063dSJacob Faibussowitsch     PetscCall(VecScale(user->uiwork[i],user->ht));
447c4762a1bSJed Brown   }
4489566063dSJacob Faibussowitsch   PetscCall(Gather_yi(Y,user->uiwork,user->ui_scatter,user->nt));
449c4762a1bSJed Brown   PetscFunctionReturn(0);
450c4762a1bSJed Brown }
451c4762a1bSJed Brown 
452c4762a1bSJed Brown PetscErrorCode StateMatBlockPrecMult(PC PC_shell, Vec X, Vec Y)
453c4762a1bSJed Brown {
454c4762a1bSJed Brown   PetscInt       i;
455c4762a1bSJed Brown   AppCtx         *user;
456c4762a1bSJed Brown 
457c4762a1bSJed Brown   PetscFunctionBegin;
4589566063dSJacob Faibussowitsch   PetscCall(PCShellGetContext(PC_shell,&user));
459c4762a1bSJed Brown   i = user->block_index;
460c4762a1bSJed Brown   if (user->c_formed) {
4619566063dSJacob Faibussowitsch     PetscCall(MatSOR(user->C[i],X,1.0,(MatSORType)(SOR_ZERO_INITIAL_GUESS | SOR_LOCAL_SYMMETRIC_SWEEP),0.0,1,1,Y));
462c4762a1bSJed Brown   } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not formed");
463c4762a1bSJed Brown   PetscFunctionReturn(0);
464c4762a1bSJed Brown }
465c4762a1bSJed Brown 
466c4762a1bSJed Brown PetscErrorCode StateMatBlockPrecMultTranspose(PC PC_shell, Vec X, Vec Y)
467c4762a1bSJed Brown {
468c4762a1bSJed Brown   PetscInt       i;
469c4762a1bSJed Brown   AppCtx         *user;
470c4762a1bSJed Brown 
471c4762a1bSJed Brown   PetscFunctionBegin;
4729566063dSJacob Faibussowitsch   PetscCall(PCShellGetContext(PC_shell,&user));
473c4762a1bSJed Brown 
474c4762a1bSJed Brown   i = user->block_index;
475c4762a1bSJed Brown   if (user->c_formed) {
4769566063dSJacob Faibussowitsch     PetscCall(MatSOR(user->C[i],X,1.0,(MatSORType)(SOR_ZERO_INITIAL_GUESS | SOR_LOCAL_SYMMETRIC_SWEEP),0.0,1,1,Y));
477c4762a1bSJed Brown   } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not formed");
478c4762a1bSJed Brown   PetscFunctionReturn(0);
479c4762a1bSJed Brown }
480c4762a1bSJed Brown 
481c4762a1bSJed Brown PetscErrorCode StateMatInvMult(Mat J_shell, Vec X, Vec Y)
482c4762a1bSJed Brown {
483c4762a1bSJed Brown   AppCtx         *user;
484c4762a1bSJed Brown   PetscInt       its,i;
485c4762a1bSJed Brown 
486c4762a1bSJed Brown   PetscFunctionBegin;
4879566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
488c4762a1bSJed Brown 
489c4762a1bSJed Brown   if (Y == user->ytrue) {
490c4762a1bSJed Brown     /* First solve is done using true solution to set up problem */
4919566063dSJacob Faibussowitsch     PetscCall(KSPSetTolerances(user->solver,1e-4,1e-20,PETSC_DEFAULT,PETSC_DEFAULT));
492c4762a1bSJed Brown   } else {
4939566063dSJacob Faibussowitsch     PetscCall(KSPSetTolerances(user->solver,PETSC_DEFAULT,PETSC_DEFAULT,PETSC_DEFAULT,PETSC_DEFAULT));
494c4762a1bSJed Brown   }
4959566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(X,user->yi,user->yi_scatter,user->nt));
4969566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(Y,user->yiwork,user->yi_scatter,user->nt));
4979566063dSJacob Faibussowitsch   PetscCall(Scatter_uxi_uyi(user->u,user->uxi,user->uxi_scatter,user->uyi,user->uyi_scatter,user->nt));
498c4762a1bSJed Brown 
499c4762a1bSJed Brown   user->block_index = 0;
5009566063dSJacob Faibussowitsch   PetscCall(KSPSolve(user->solver,user->yi[0],user->yiwork[0]));
501c4762a1bSJed Brown 
5029566063dSJacob Faibussowitsch   PetscCall(KSPGetIterationNumber(user->solver,&its));
503c4762a1bSJed Brown   user->ksp_its = user->ksp_its + its;
504c4762a1bSJed Brown   for (i=1; i<user->nt; i++) {
5059566063dSJacob Faibussowitsch     PetscCall(MatMult(user->M,user->yiwork[i-1],user->ziwork[i-1]));
5069566063dSJacob Faibussowitsch     PetscCall(VecAXPY(user->yi[i],1.0,user->ziwork[i-1]));
507c4762a1bSJed Brown     user->block_index = i;
5089566063dSJacob Faibussowitsch     PetscCall(KSPSolve(user->solver,user->yi[i],user->yiwork[i]));
509c4762a1bSJed Brown 
5109566063dSJacob Faibussowitsch     PetscCall(KSPGetIterationNumber(user->solver,&its));
511c4762a1bSJed Brown     user->ksp_its = user->ksp_its + its;
512c4762a1bSJed Brown   }
5139566063dSJacob Faibussowitsch   PetscCall(Gather_yi(Y,user->yiwork,user->yi_scatter,user->nt));
514c4762a1bSJed Brown   PetscFunctionReturn(0);
515c4762a1bSJed Brown }
516c4762a1bSJed Brown 
517c4762a1bSJed Brown PetscErrorCode StateMatInvTransposeMult(Mat J_shell, Vec X, Vec Y)
518c4762a1bSJed Brown {
519c4762a1bSJed Brown   AppCtx         *user;
520c4762a1bSJed Brown   PetscInt       its,i;
521c4762a1bSJed Brown 
522c4762a1bSJed Brown   PetscFunctionBegin;
5239566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
524c4762a1bSJed Brown 
5259566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(X,user->yi,user->yi_scatter,user->nt));
5269566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(Y,user->yiwork,user->yi_scatter,user->nt));
5279566063dSJacob Faibussowitsch   PetscCall(Scatter_uxi_uyi(user->u,user->uxi,user->uxi_scatter,user->uyi,user->uyi_scatter,user->nt));
528c4762a1bSJed Brown 
529c4762a1bSJed Brown   i = user->nt - 1;
530c4762a1bSJed Brown   user->block_index = i;
5319566063dSJacob Faibussowitsch   PetscCall(KSPSolveTranspose(user->solver,user->yi[i],user->yiwork[i]));
532c4762a1bSJed Brown 
5339566063dSJacob Faibussowitsch   PetscCall(KSPGetIterationNumber(user->solver,&its));
534c4762a1bSJed Brown   user->ksp_its = user->ksp_its + its;
535c4762a1bSJed Brown 
536c4762a1bSJed Brown   for (i=user->nt-2; i>=0; i--) {
5379566063dSJacob Faibussowitsch     PetscCall(MatMult(user->M,user->yiwork[i+1],user->ziwork[i+1]));
5389566063dSJacob Faibussowitsch     PetscCall(VecAXPY(user->yi[i],1.0,user->ziwork[i+1]));
539c4762a1bSJed Brown     user->block_index = i;
5409566063dSJacob Faibussowitsch     PetscCall(KSPSolveTranspose(user->solver,user->yi[i],user->yiwork[i]));
541c4762a1bSJed Brown 
5429566063dSJacob Faibussowitsch     PetscCall(KSPGetIterationNumber(user->solver,&its));
543c4762a1bSJed Brown     user->ksp_its = user->ksp_its + its;
544c4762a1bSJed Brown   }
5459566063dSJacob Faibussowitsch   PetscCall(Gather_yi(Y,user->yiwork,user->yi_scatter,user->nt));
546c4762a1bSJed Brown   PetscFunctionReturn(0);
547c4762a1bSJed Brown }
548c4762a1bSJed Brown 
549c4762a1bSJed Brown PetscErrorCode StateMatDuplicate(Mat J_shell, MatDuplicateOption opt, Mat *new_shell)
550c4762a1bSJed Brown {
551c4762a1bSJed Brown   AppCtx         *user;
552c4762a1bSJed Brown 
553c4762a1bSJed Brown   PetscFunctionBegin;
5549566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
555c4762a1bSJed Brown 
5569566063dSJacob Faibussowitsch   PetscCall(MatCreateShell(PETSC_COMM_WORLD,PETSC_DETERMINE,PETSC_DETERMINE,user->m,user->m,user,new_shell));
5579566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(*new_shell,MATOP_MULT,(void(*)(void))StateMatMult));
5589566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(*new_shell,MATOP_DUPLICATE,(void(*)(void))StateMatDuplicate));
5599566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(*new_shell,MATOP_MULT_TRANSPOSE,(void(*)(void))StateMatMultTranspose));
5609566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(*new_shell,MATOP_GET_DIAGONAL,(void(*)(void))StateMatGetDiagonal));
561c4762a1bSJed Brown   PetscFunctionReturn(0);
562c4762a1bSJed Brown }
563c4762a1bSJed Brown 
564c4762a1bSJed Brown PetscErrorCode StateMatGetDiagonal(Mat J_shell, Vec X)
565c4762a1bSJed Brown {
566c4762a1bSJed Brown   AppCtx         *user;
567c4762a1bSJed Brown 
568c4762a1bSJed Brown   PetscFunctionBegin;
5699566063dSJacob Faibussowitsch   PetscCall(MatShellGetContext(J_shell,&user));
5709566063dSJacob Faibussowitsch   PetscCall(VecCopy(user->js_diag,X));
571c4762a1bSJed Brown   PetscFunctionReturn(0);
572c4762a1bSJed Brown }
573c4762a1bSJed Brown 
574c4762a1bSJed Brown PetscErrorCode FormConstraints(Tao tao, Vec X, Vec C, void *ptr)
575c4762a1bSJed Brown {
576c4762a1bSJed Brown   /* con = Ay - q, A = [C(u1)  0     0     ...   0;
577c4762a1bSJed Brown                          -M  C(u2)   0     ...   0;
578c4762a1bSJed Brown                           0   -M   C(u3)   ...   0;
579c4762a1bSJed Brown                                       ...         ;
580c4762a1bSJed Brown                           0    ...      -M C(u_nt)]
581c4762a1bSJed Brown      C(u) = eye + ht*Div*[diag(u1); diag(u2)]       */
582c4762a1bSJed Brown   PetscInt       i;
583c4762a1bSJed Brown   AppCtx         *user = (AppCtx*)ptr;
584c4762a1bSJed Brown 
585c4762a1bSJed Brown   PetscFunctionBegin;
5869566063dSJacob Faibussowitsch   PetscCall(Scatter(X,user->y,user->state_scatter,user->u,user->design_scatter));
5879566063dSJacob Faibussowitsch   PetscCall(Scatter_yi(user->y,user->yi,user->yi_scatter,user->nt));
5889566063dSJacob Faibussowitsch   PetscCall(Scatter_uxi_uyi(user->u,user->uxi,user->uxi_scatter,user->uyi,user->uyi_scatter,user->nt));
589c4762a1bSJed Brown 
590c4762a1bSJed Brown   user->block_index = 0;
5919566063dSJacob Faibussowitsch   PetscCall(MatMult(user->JsBlock,user->yi[0],user->yiwork[0]));
592c4762a1bSJed Brown 
593c4762a1bSJed Brown   for (i=1; i<user->nt; i++) {
594c4762a1bSJed Brown     user->block_index = i;
5959566063dSJacob Faibussowitsch     PetscCall(MatMult(user->JsBlock,user->yi[i],user->yiwork[i]));
5969566063dSJacob Faibussowitsch     PetscCall(MatMult(user->M,user->yi[i-1],user->ziwork[i-1]));
5979566063dSJacob Faibussowitsch     PetscCall(VecAXPY(user->yiwork[i],-1.0,user->ziwork[i-1]));
598c4762a1bSJed Brown   }
599c4762a1bSJed Brown 
6009566063dSJacob Faibussowitsch   PetscCall(Gather_yi(C,user->yiwork,user->yi_scatter,user->nt));
6019566063dSJacob Faibussowitsch   PetscCall(VecAXPY(C,-1.0,user->q));
602c4762a1bSJed Brown 
603c4762a1bSJed Brown   PetscFunctionReturn(0);
604c4762a1bSJed Brown }
605c4762a1bSJed Brown 
606c4762a1bSJed Brown PetscErrorCode Scatter(Vec x, Vec state, VecScatter s_scat, Vec design, VecScatter d_scat)
607c4762a1bSJed Brown {
608c4762a1bSJed Brown   PetscFunctionBegin;
6099566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(s_scat,x,state,INSERT_VALUES,SCATTER_FORWARD));
6109566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(s_scat,x,state,INSERT_VALUES,SCATTER_FORWARD));
6119566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(d_scat,x,design,INSERT_VALUES,SCATTER_FORWARD));
6129566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(d_scat,x,design,INSERT_VALUES,SCATTER_FORWARD));
613c4762a1bSJed Brown   PetscFunctionReturn(0);
614c4762a1bSJed Brown }
615c4762a1bSJed Brown 
616c4762a1bSJed Brown PetscErrorCode Scatter_uxi_uyi(Vec u, Vec *uxi, VecScatter *scatx, Vec *uyi, VecScatter *scaty, PetscInt nt)
617c4762a1bSJed Brown {
618c4762a1bSJed Brown   PetscInt       i;
619c4762a1bSJed Brown 
620c4762a1bSJed Brown   PetscFunctionBegin;
621c4762a1bSJed Brown   for (i=0; i<nt; i++) {
6229566063dSJacob Faibussowitsch     PetscCall(VecScatterBegin(scatx[i],u,uxi[i],INSERT_VALUES,SCATTER_FORWARD));
6239566063dSJacob Faibussowitsch     PetscCall(VecScatterEnd(scatx[i],u,uxi[i],INSERT_VALUES,SCATTER_FORWARD));
6249566063dSJacob Faibussowitsch     PetscCall(VecScatterBegin(scaty[i],u,uyi[i],INSERT_VALUES,SCATTER_FORWARD));
6259566063dSJacob Faibussowitsch     PetscCall(VecScatterEnd(scaty[i],u,uyi[i],INSERT_VALUES,SCATTER_FORWARD));
626c4762a1bSJed Brown   }
627c4762a1bSJed Brown   PetscFunctionReturn(0);
628c4762a1bSJed Brown }
629c4762a1bSJed Brown 
630c4762a1bSJed Brown PetscErrorCode Gather(Vec x, Vec state, VecScatter s_scat, Vec design, VecScatter d_scat)
631c4762a1bSJed Brown {
632c4762a1bSJed Brown   PetscFunctionBegin;
6339566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(s_scat,state,x,INSERT_VALUES,SCATTER_REVERSE));
6349566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(s_scat,state,x,INSERT_VALUES,SCATTER_REVERSE));
6359566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(d_scat,design,x,INSERT_VALUES,SCATTER_REVERSE));
6369566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(d_scat,design,x,INSERT_VALUES,SCATTER_REVERSE));
637c4762a1bSJed Brown   PetscFunctionReturn(0);
638c4762a1bSJed Brown }
639c4762a1bSJed Brown 
640c4762a1bSJed Brown PetscErrorCode Gather_uxi_uyi(Vec u, Vec *uxi, VecScatter *scatx, Vec *uyi, VecScatter *scaty, PetscInt nt)
641c4762a1bSJed Brown {
642c4762a1bSJed Brown   PetscInt       i;
643c4762a1bSJed Brown 
644c4762a1bSJed Brown   PetscFunctionBegin;
645c4762a1bSJed Brown   for (i=0; i<nt; i++) {
6469566063dSJacob Faibussowitsch     PetscCall(VecScatterBegin(scatx[i],uxi[i],u,INSERT_VALUES,SCATTER_REVERSE));
6479566063dSJacob Faibussowitsch     PetscCall(VecScatterEnd(scatx[i],uxi[i],u,INSERT_VALUES,SCATTER_REVERSE));
6489566063dSJacob Faibussowitsch     PetscCall(VecScatterBegin(scaty[i],uyi[i],u,INSERT_VALUES,SCATTER_REVERSE));
6499566063dSJacob Faibussowitsch     PetscCall(VecScatterEnd(scaty[i],uyi[i],u,INSERT_VALUES,SCATTER_REVERSE));
650c4762a1bSJed Brown   }
651c4762a1bSJed Brown   PetscFunctionReturn(0);
652c4762a1bSJed Brown }
653c4762a1bSJed Brown 
654c4762a1bSJed Brown PetscErrorCode Scatter_yi(Vec y, Vec *yi, VecScatter *scat, PetscInt nt)
655c4762a1bSJed Brown {
656c4762a1bSJed Brown   PetscInt       i;
657c4762a1bSJed Brown 
658c4762a1bSJed Brown   PetscFunctionBegin;
659c4762a1bSJed Brown   for (i=0; i<nt; i++) {
6609566063dSJacob Faibussowitsch     PetscCall(VecScatterBegin(scat[i],y,yi[i],INSERT_VALUES,SCATTER_FORWARD));
6619566063dSJacob Faibussowitsch     PetscCall(VecScatterEnd(scat[i],y,yi[i],INSERT_VALUES,SCATTER_FORWARD));
662c4762a1bSJed Brown   }
663c4762a1bSJed Brown   PetscFunctionReturn(0);
664c4762a1bSJed Brown }
665c4762a1bSJed Brown 
666c4762a1bSJed Brown PetscErrorCode Gather_yi(Vec y, Vec *yi, VecScatter *scat, PetscInt nt)
667c4762a1bSJed Brown {
668c4762a1bSJed Brown   PetscInt       i;
669c4762a1bSJed Brown 
670c4762a1bSJed Brown   PetscFunctionBegin;
671c4762a1bSJed Brown   for (i=0; i<nt; i++) {
6729566063dSJacob Faibussowitsch     PetscCall(VecScatterBegin(scat[i],yi[i],y,INSERT_VALUES,SCATTER_REVERSE));
6739566063dSJacob Faibussowitsch     PetscCall(VecScatterEnd(scat[i],yi[i],y,INSERT_VALUES,SCATTER_REVERSE));
674c4762a1bSJed Brown   }
675c4762a1bSJed Brown   PetscFunctionReturn(0);
676c4762a1bSJed Brown }
677c4762a1bSJed Brown 
678c4762a1bSJed Brown PetscErrorCode HyperbolicInitialize(AppCtx *user)
679c4762a1bSJed Brown {
680c4762a1bSJed Brown   PetscInt       n,i,j,linear_index,istart,iend,iblock,lo,hi;
681c4762a1bSJed Brown   Vec            XX,YY,XXwork,YYwork,yi,uxi,ui,bc;
682c4762a1bSJed Brown   PetscReal      h,sum;
683c4762a1bSJed Brown   PetscScalar    hinv,neg_hinv,quarter=0.25,one=1.0,half_hinv,neg_half_hinv;
684c4762a1bSJed Brown   PetscScalar    vx,vy,zero=0.0;
685c4762a1bSJed Brown   IS             is_from_y,is_to_yi,is_from_u,is_to_uxi,is_to_uyi;
686c4762a1bSJed Brown 
687c4762a1bSJed Brown   PetscFunctionBegin;
688c4762a1bSJed Brown   user->jformed = PETSC_FALSE;
689c4762a1bSJed Brown   user->c_formed = PETSC_FALSE;
690c4762a1bSJed Brown 
691c4762a1bSJed Brown   user->ksp_its = 0;
692c4762a1bSJed Brown   user->ksp_its_initial = 0;
693c4762a1bSJed Brown 
694c4762a1bSJed Brown   n = user->mx * user->mx;
695c4762a1bSJed Brown 
696c4762a1bSJed Brown   h = 1.0/user->mx;
697c4762a1bSJed Brown   hinv = user->mx;
698c4762a1bSJed Brown   neg_hinv = -hinv;
699c4762a1bSJed Brown   half_hinv = hinv / 2.0;
700c4762a1bSJed Brown   neg_half_hinv = neg_hinv / 2.0;
701c4762a1bSJed Brown 
702c4762a1bSJed Brown   /* Generate Grad matrix */
7039566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&user->Grad));
7049566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(user->Grad,PETSC_DECIDE,PETSC_DECIDE,2*n,n));
7059566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(user->Grad));
7069566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(user->Grad,3,NULL,3,NULL));
7079566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(user->Grad,3,NULL));
7089566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(user->Grad,&istart,&iend));
709c4762a1bSJed Brown 
710c4762a1bSJed Brown   for (i=istart; i<iend; i++) {
711c4762a1bSJed Brown     if (i<n) {
712c4762a1bSJed Brown       iblock = i / user->mx;
713c4762a1bSJed Brown       j = iblock*user->mx + ((i+user->mx-1) % user->mx);
7149566063dSJacob Faibussowitsch       PetscCall(MatSetValues(user->Grad,1,&i,1,&j,&half_hinv,INSERT_VALUES));
715c4762a1bSJed Brown       j = iblock*user->mx + ((i+1) % user->mx);
7169566063dSJacob Faibussowitsch       PetscCall(MatSetValues(user->Grad,1,&i,1,&j,&neg_half_hinv,INSERT_VALUES));
717c4762a1bSJed Brown     }
718c4762a1bSJed Brown     if (i>=n) {
719c4762a1bSJed Brown       j = (i - user->mx) % n;
7209566063dSJacob Faibussowitsch       PetscCall(MatSetValues(user->Grad,1,&i,1,&j,&half_hinv,INSERT_VALUES));
721c4762a1bSJed Brown       j = (j + 2*user->mx) % n;
7229566063dSJacob Faibussowitsch       PetscCall(MatSetValues(user->Grad,1,&i,1,&j,&neg_half_hinv,INSERT_VALUES));
723c4762a1bSJed Brown     }
724c4762a1bSJed Brown   }
725c4762a1bSJed Brown 
7269566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(user->Grad,MAT_FINAL_ASSEMBLY));
7279566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(user->Grad,MAT_FINAL_ASSEMBLY));
728c4762a1bSJed Brown 
7299566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&user->Gradxy[0]));
7309566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(user->Gradxy[0],PETSC_DECIDE,PETSC_DECIDE,n,n));
7319566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(user->Gradxy[0]));
7329566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(user->Gradxy[0],3,NULL,3,NULL));
7339566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(user->Gradxy[0],3,NULL));
7349566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(user->Gradxy[0],&istart,&iend));
735c4762a1bSJed Brown 
736c4762a1bSJed Brown   for (i=istart; i<iend; i++) {
737c4762a1bSJed Brown     iblock = i / user->mx;
738c4762a1bSJed Brown     j = iblock*user->mx + ((i+user->mx-1) % user->mx);
7399566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->Gradxy[0],1,&i,1,&j,&half_hinv,INSERT_VALUES));
740c4762a1bSJed Brown     j = iblock*user->mx + ((i+1) % user->mx);
7419566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->Gradxy[0],1,&i,1,&j,&neg_half_hinv,INSERT_VALUES));
7429566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->Gradxy[0],1,&i,1,&i,&zero,INSERT_VALUES));
743c4762a1bSJed Brown   }
7449566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(user->Gradxy[0],MAT_FINAL_ASSEMBLY));
7459566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(user->Gradxy[0],MAT_FINAL_ASSEMBLY));
746c4762a1bSJed Brown 
7479566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&user->Gradxy[1]));
7489566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(user->Gradxy[1],PETSC_DECIDE,PETSC_DECIDE,n,n));
7499566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(user->Gradxy[1]));
7509566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(user->Gradxy[1],3,NULL,3,NULL));
7519566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(user->Gradxy[1],3,NULL));
7529566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(user->Gradxy[1],&istart,&iend));
753c4762a1bSJed Brown 
754c4762a1bSJed Brown   for (i=istart; i<iend; i++) {
755c4762a1bSJed Brown     j = (i + n - user->mx) % n;
7569566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->Gradxy[1],1,&i,1,&j,&half_hinv,INSERT_VALUES));
757c4762a1bSJed Brown     j = (j + 2*user->mx) % n;
7589566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->Gradxy[1],1,&i,1,&j,&neg_half_hinv,INSERT_VALUES));
7599566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->Gradxy[1],1,&i,1,&i,&zero,INSERT_VALUES));
760c4762a1bSJed Brown   }
7619566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(user->Gradxy[1],MAT_FINAL_ASSEMBLY));
7629566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(user->Gradxy[1],MAT_FINAL_ASSEMBLY));
763c4762a1bSJed Brown 
764c4762a1bSJed Brown   /* Generate Div matrix */
7659566063dSJacob Faibussowitsch   PetscCall(MatTranspose(user->Grad,MAT_INITIAL_MATRIX,&user->Div));
7669566063dSJacob Faibussowitsch   PetscCall(MatTranspose(user->Gradxy[0],MAT_INITIAL_MATRIX,&user->Divxy[0]));
7679566063dSJacob Faibussowitsch   PetscCall(MatTranspose(user->Gradxy[1],MAT_INITIAL_MATRIX,&user->Divxy[1]));
768c4762a1bSJed Brown 
769c4762a1bSJed Brown   /* Off-diagonal averaging matrix */
7709566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&user->M));
7719566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(user->M,PETSC_DECIDE,PETSC_DECIDE,n,n));
7729566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(user->M));
7739566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(user->M,4,NULL,4,NULL));
7749566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(user->M,4,NULL));
7759566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(user->M,&istart,&iend));
776c4762a1bSJed Brown 
777c4762a1bSJed Brown   for (i=istart; i<iend; i++) {
778c4762a1bSJed Brown     /* kron(Id,Av) */
779c4762a1bSJed Brown     iblock = i / user->mx;
780c4762a1bSJed Brown     j = iblock*user->mx + ((i+user->mx-1) % user->mx);
7819566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->M,1,&i,1,&j,&quarter,INSERT_VALUES));
782c4762a1bSJed Brown     j = iblock*user->mx + ((i+1) % user->mx);
7839566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->M,1,&i,1,&j,&quarter,INSERT_VALUES));
784c4762a1bSJed Brown 
785c4762a1bSJed Brown     /* kron(Av,Id) */
786c4762a1bSJed Brown     j = (i + user->mx) % n;
7879566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->M,1,&i,1,&j,&quarter,INSERT_VALUES));
788c4762a1bSJed Brown     j = (i + n - user->mx) % n;
7899566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->M,1,&i,1,&j,&quarter,INSERT_VALUES));
790c4762a1bSJed Brown   }
7919566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(user->M,MAT_FINAL_ASSEMBLY));
7929566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(user->M,MAT_FINAL_ASSEMBLY));
793c4762a1bSJed Brown 
794c4762a1bSJed Brown   /* Generate 2D grid */
7959566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&XX));
7969566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&user->q));
7979566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(XX,PETSC_DECIDE,n));
7989566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(user->q,PETSC_DECIDE,n*user->nt));
7999566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(XX));
8009566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(user->q));
801c4762a1bSJed Brown 
8029566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(XX,&YY));
8039566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(XX,&XXwork));
8049566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(XX,&YYwork));
8059566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(XX,&user->d));
8069566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(XX,&user->dwork));
807c4762a1bSJed Brown 
8089566063dSJacob Faibussowitsch   PetscCall(VecGetOwnershipRange(XX,&istart,&iend));
809c4762a1bSJed Brown   for (linear_index=istart; linear_index<iend; linear_index++) {
810c4762a1bSJed Brown     i = linear_index % user->mx;
811c4762a1bSJed Brown     j = (linear_index-i)/user->mx;
812c4762a1bSJed Brown     vx = h*(i+0.5);
813c4762a1bSJed Brown     vy = h*(j+0.5);
8149566063dSJacob Faibussowitsch     PetscCall(VecSetValues(XX,1,&linear_index,&vx,INSERT_VALUES));
8159566063dSJacob Faibussowitsch     PetscCall(VecSetValues(YY,1,&linear_index,&vy,INSERT_VALUES));
816c4762a1bSJed Brown   }
817c4762a1bSJed Brown 
8189566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(XX));
8199566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(XX));
8209566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(YY));
8219566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(YY));
822c4762a1bSJed Brown 
823c4762a1bSJed Brown   /* Compute final density function yT
824c4762a1bSJed Brown      yT = 1.0 + exp(-30*((x-0.25)^2+(y-0.25)^2)) + exp(-30*((x-0.75)^2+(y-0.75)^2))
825c4762a1bSJed Brown      yT = yT / (h^2*sum(yT)) */
8269566063dSJacob Faibussowitsch   PetscCall(VecCopy(XX,XXwork));
8279566063dSJacob Faibussowitsch   PetscCall(VecCopy(YY,YYwork));
828c4762a1bSJed Brown 
8299566063dSJacob Faibussowitsch   PetscCall(VecShift(XXwork,-0.25));
8309566063dSJacob Faibussowitsch   PetscCall(VecShift(YYwork,-0.25));
831c4762a1bSJed Brown 
8329566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(XXwork,XXwork,XXwork));
8339566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(YYwork,YYwork,YYwork));
834c4762a1bSJed Brown 
8359566063dSJacob Faibussowitsch   PetscCall(VecCopy(XXwork,user->dwork));
8369566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->dwork,1.0,YYwork));
8379566063dSJacob Faibussowitsch   PetscCall(VecScale(user->dwork,-30.0));
8389566063dSJacob Faibussowitsch   PetscCall(VecExp(user->dwork));
8399566063dSJacob Faibussowitsch   PetscCall(VecCopy(user->dwork,user->d));
840c4762a1bSJed Brown 
8419566063dSJacob Faibussowitsch   PetscCall(VecCopy(XX,XXwork));
8429566063dSJacob Faibussowitsch   PetscCall(VecCopy(YY,YYwork));
843c4762a1bSJed Brown 
8449566063dSJacob Faibussowitsch   PetscCall(VecShift(XXwork,-0.75));
8459566063dSJacob Faibussowitsch   PetscCall(VecShift(YYwork,-0.75));
846c4762a1bSJed Brown 
8479566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(XXwork,XXwork,XXwork));
8489566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(YYwork,YYwork,YYwork));
849c4762a1bSJed Brown 
8509566063dSJacob Faibussowitsch   PetscCall(VecCopy(XXwork,user->dwork));
8519566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->dwork,1.0,YYwork));
8529566063dSJacob Faibussowitsch   PetscCall(VecScale(user->dwork,-30.0));
8539566063dSJacob Faibussowitsch   PetscCall(VecExp(user->dwork));
854c4762a1bSJed Brown 
8559566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->d,1.0,user->dwork));
8569566063dSJacob Faibussowitsch   PetscCall(VecShift(user->d,1.0));
8579566063dSJacob Faibussowitsch   PetscCall(VecSum(user->d,&sum));
8589566063dSJacob Faibussowitsch   PetscCall(VecScale(user->d,1.0/(h*h*sum)));
859c4762a1bSJed Brown 
860c4762a1bSJed Brown   /* Initial conditions of forward problem */
8619566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(XX,&bc));
8629566063dSJacob Faibussowitsch   PetscCall(VecCopy(XX,XXwork));
8639566063dSJacob Faibussowitsch   PetscCall(VecCopy(YY,YYwork));
864c4762a1bSJed Brown 
8659566063dSJacob Faibussowitsch   PetscCall(VecShift(XXwork,-0.5));
8669566063dSJacob Faibussowitsch   PetscCall(VecShift(YYwork,-0.5));
867c4762a1bSJed Brown 
8689566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(XXwork,XXwork,XXwork));
8699566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMult(YYwork,YYwork,YYwork));
870c4762a1bSJed Brown 
8719566063dSJacob Faibussowitsch   PetscCall(VecWAXPY(bc,1.0,XXwork,YYwork));
8729566063dSJacob Faibussowitsch   PetscCall(VecScale(bc,-50.0));
8739566063dSJacob Faibussowitsch   PetscCall(VecExp(bc));
8749566063dSJacob Faibussowitsch   PetscCall(VecShift(bc,1.0));
8759566063dSJacob Faibussowitsch   PetscCall(VecSum(bc,&sum));
8769566063dSJacob Faibussowitsch   PetscCall(VecScale(bc,1.0/(h*h*sum)));
877c4762a1bSJed Brown 
878c4762a1bSJed Brown   /* Create scatter from y to y_1,y_2,...,y_nt */
879c4762a1bSJed Brown   /*  TODO: Reorder for better parallelism. (This will require reordering Q and L as well.) */
8809566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(user->nt*user->mx*user->mx,&user->yi_scatter));
8819566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&yi));
8829566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(yi,PETSC_DECIDE,user->mx*user->mx));
8839566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(yi));
8849566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(yi,user->nt,&user->yi));
8859566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(yi,user->nt,&user->yiwork));
8869566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(yi,user->nt,&user->ziwork));
887c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
8889566063dSJacob Faibussowitsch     PetscCall(VecGetOwnershipRange(user->yi[i],&lo,&hi));
8899566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_to_yi));
8909566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo+i*user->mx*user->mx,1,&is_from_y));
8919566063dSJacob Faibussowitsch     PetscCall(VecScatterCreate(user->y,is_from_y,user->yi[i],is_to_yi,&user->yi_scatter[i]));
8929566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_to_yi));
8939566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_from_y));
894c4762a1bSJed Brown   }
895c4762a1bSJed Brown 
896c4762a1bSJed Brown   /* Create scatter from u to ux_1,uy_1,ux_2,uy_2,...,ux_nt,uy_nt */
897c4762a1bSJed Brown   /*  TODO: reorder for better parallelism */
8989566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(user->nt*user->mx*user->mx,&user->uxi_scatter));
8999566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(user->nt*user->mx*user->mx,&user->uyi_scatter));
9009566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(user->nt*user->mx*user->mx,&user->ux_scatter));
9019566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(user->nt*user->mx*user->mx,&user->uy_scatter));
9029566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(2*user->nt*user->mx*user->mx,&user->ui_scatter));
9039566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&uxi));
9049566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&ui));
9059566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(uxi,PETSC_DECIDE,user->mx*user->mx));
9069566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(ui,PETSC_DECIDE,2*user->mx*user->mx));
9079566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(uxi));
9089566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(ui));
9099566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(uxi,user->nt,&user->uxi));
9109566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(uxi,user->nt,&user->uyi));
9119566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(uxi,user->nt,&user->uxiwork));
9129566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(uxi,user->nt,&user->uyiwork));
9139566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(ui,user->nt,&user->ui));
9149566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(ui,user->nt,&user->uiwork));
915c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
9169566063dSJacob Faibussowitsch     PetscCall(VecGetOwnershipRange(user->uxi[i],&lo,&hi));
9179566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_to_uxi));
9189566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo+2*i*user->mx*user->mx,1,&is_from_u));
9199566063dSJacob Faibussowitsch     PetscCall(VecScatterCreate(user->u,is_from_u,user->uxi[i],is_to_uxi,&user->uxi_scatter[i]));
920c4762a1bSJed Brown 
9219566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_to_uxi));
9229566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_from_u));
923c4762a1bSJed Brown 
9249566063dSJacob Faibussowitsch     PetscCall(VecGetOwnershipRange(user->uyi[i],&lo,&hi));
9259566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_to_uyi));
9269566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo+(2*i+1)*user->mx*user->mx,1,&is_from_u));
9279566063dSJacob Faibussowitsch     PetscCall(VecScatterCreate(user->u,is_from_u,user->uyi[i],is_to_uyi,&user->uyi_scatter[i]));
928c4762a1bSJed Brown 
9299566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_to_uyi));
9309566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_from_u));
931c4762a1bSJed Brown 
9329566063dSJacob Faibussowitsch     PetscCall(VecGetOwnershipRange(user->uxi[i],&lo,&hi));
9339566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_to_uxi));
9349566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_from_u));
9359566063dSJacob Faibussowitsch     PetscCall(VecScatterCreate(user->ui[i],is_from_u,user->uxi[i],is_to_uxi,&user->ux_scatter[i]));
936c4762a1bSJed Brown 
9379566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_to_uxi));
9389566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_from_u));
939c4762a1bSJed Brown 
9409566063dSJacob Faibussowitsch     PetscCall(VecGetOwnershipRange(user->uyi[i],&lo,&hi));
9419566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_to_uyi));
9429566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo+user->mx*user->mx,1,&is_from_u));
9439566063dSJacob Faibussowitsch     PetscCall(VecScatterCreate(user->ui[i],is_from_u,user->uyi[i],is_to_uyi,&user->uy_scatter[i]));
944c4762a1bSJed Brown 
9459566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_to_uyi));
9469566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_from_u));
947c4762a1bSJed Brown 
9489566063dSJacob Faibussowitsch     PetscCall(VecGetOwnershipRange(user->ui[i],&lo,&hi));
9499566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo,1,&is_to_uxi));
9509566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_SELF,hi-lo,lo+2*i*user->mx*user->mx,1,&is_from_u));
9519566063dSJacob Faibussowitsch     PetscCall(VecScatterCreate(user->u,is_from_u,user->ui[i],is_to_uxi,&user->ui_scatter[i]));
952c4762a1bSJed Brown 
9539566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_to_uxi));
9549566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is_from_u));
955c4762a1bSJed Brown   }
956c4762a1bSJed Brown 
957c4762a1bSJed Brown   /* RHS of forward problem */
9589566063dSJacob Faibussowitsch   PetscCall(MatMult(user->M,bc,user->yiwork[0]));
959c4762a1bSJed Brown   for (i=1; i<user->nt; i++) {
9609566063dSJacob Faibussowitsch     PetscCall(VecSet(user->yiwork[i],0.0));
961c4762a1bSJed Brown   }
9629566063dSJacob Faibussowitsch   PetscCall(Gather_yi(user->q,user->yiwork,user->yi_scatter,user->nt));
963c4762a1bSJed Brown 
964c4762a1bSJed Brown   /* Compute true velocity field utrue */
9659566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(user->u,&user->utrue));
966c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
9679566063dSJacob Faibussowitsch     PetscCall(VecCopy(YY,user->uxi[i]));
9689566063dSJacob Faibussowitsch     PetscCall(VecScale(user->uxi[i],150.0*i*user->ht));
9699566063dSJacob Faibussowitsch     PetscCall(VecCopy(XX,user->uyi[i]));
9709566063dSJacob Faibussowitsch     PetscCall(VecShift(user->uyi[i],-10.0));
9719566063dSJacob Faibussowitsch     PetscCall(VecScale(user->uyi[i],15.0*i*user->ht));
972c4762a1bSJed Brown   }
9739566063dSJacob Faibussowitsch   PetscCall(Gather_uxi_uyi(user->utrue,user->uxi,user->uxi_scatter,user->uyi,user->uyi_scatter,user->nt));
974c4762a1bSJed Brown 
975c4762a1bSJed Brown   /* Initial guess and reference model */
9769566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(user->utrue,&user->ur));
977c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
9789566063dSJacob Faibussowitsch     PetscCall(VecCopy(XX,user->uxi[i]));
9799566063dSJacob Faibussowitsch     PetscCall(VecShift(user->uxi[i],i*user->ht));
9809566063dSJacob Faibussowitsch     PetscCall(VecCopy(YY,user->uyi[i]));
9819566063dSJacob Faibussowitsch     PetscCall(VecShift(user->uyi[i],-i*user->ht));
982c4762a1bSJed Brown   }
9839566063dSJacob Faibussowitsch   PetscCall(Gather_uxi_uyi(user->ur,user->uxi,user->uxi_scatter,user->uyi,user->uyi_scatter,user->nt));
984c4762a1bSJed Brown 
985c4762a1bSJed Brown   /* Generate regularization matrix L */
9869566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&user->LT));
9879566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(user->LT,PETSC_DECIDE,PETSC_DECIDE,2*n*user->nt,n*user->nt));
9889566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(user->LT));
9899566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(user->LT,1,NULL,1,NULL));
9909566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(user->LT,1,NULL));
9919566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(user->LT,&istart,&iend));
992c4762a1bSJed Brown 
993c4762a1bSJed Brown   for (i=istart; i<iend; i++) {
994c4762a1bSJed Brown     iblock = (i+n) / (2*n);
995c4762a1bSJed Brown     j = i - iblock*n;
9969566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->LT,1,&i,1,&j,&user->gamma,INSERT_VALUES));
997c4762a1bSJed Brown   }
998c4762a1bSJed Brown 
9999566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(user->LT,MAT_FINAL_ASSEMBLY));
10009566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(user->LT,MAT_FINAL_ASSEMBLY));
1001c4762a1bSJed Brown 
10029566063dSJacob Faibussowitsch   PetscCall(MatTranspose(user->LT,MAT_INITIAL_MATRIX,&user->L));
1003c4762a1bSJed Brown 
1004c4762a1bSJed Brown   /* Build work vectors and matrices */
10059566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&user->lwork));
10069566063dSJacob Faibussowitsch   PetscCall(VecSetType(user->lwork,VECMPI));
10079566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(user->lwork,PETSC_DECIDE,user->m));
10089566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(user->lwork));
1009c4762a1bSJed Brown 
10109566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(user->Div,MAT_SHARE_NONZERO_PATTERN,&user->Divwork));
1011c4762a1bSJed Brown 
10129566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(user->y,&user->ywork));
10139566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(user->u,&user->uwork));
10149566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(user->u,&user->vwork));
10159566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(user->u,&user->js_diag));
10169566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(user->c,&user->cwork));
1017c4762a1bSJed Brown 
1018c4762a1bSJed Brown   /* Create matrix-free shell user->Js for computing A*x */
10199566063dSJacob Faibussowitsch   PetscCall(MatCreateShell(PETSC_COMM_WORLD,PETSC_DETERMINE,PETSC_DETERMINE,user->m,user->m,user,&user->Js));
10209566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->Js,MATOP_MULT,(void(*)(void))StateMatMult));
10219566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->Js,MATOP_DUPLICATE,(void(*)(void))StateMatDuplicate));
10229566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->Js,MATOP_MULT_TRANSPOSE,(void(*)(void))StateMatMultTranspose));
10239566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->Js,MATOP_GET_DIAGONAL,(void(*)(void))StateMatGetDiagonal));
1024c4762a1bSJed Brown 
1025c4762a1bSJed Brown   /* Diagonal blocks of user->Js */
10269566063dSJacob Faibussowitsch   PetscCall(MatCreateShell(PETSC_COMM_WORLD,PETSC_DETERMINE,PETSC_DETERMINE,n,n,user,&user->JsBlock));
10279566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->JsBlock,MATOP_MULT,(void(*)(void))StateMatBlockMult));
10289566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->JsBlock,MATOP_MULT_TRANSPOSE,(void(*)(void))StateMatBlockMultTranspose));
1029c4762a1bSJed Brown 
1030c4762a1bSJed Brown   /* Create a matrix-free shell user->JsBlockPrec for computing (U+D)\D*(L+D)\x, where JsBlock = L+D+U,
1031c4762a1bSJed Brown      D is diagonal, L is strictly lower triangular, and U is strictly upper triangular.
1032c4762a1bSJed Brown      This is an SOR preconditioner for user->JsBlock. */
10339566063dSJacob Faibussowitsch   PetscCall(MatCreateShell(PETSC_COMM_WORLD,PETSC_DETERMINE,PETSC_DETERMINE,n,n,user,&user->JsBlockPrec));
10349566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->JsBlockPrec,MATOP_MULT,(void(*)(void))StateMatBlockPrecMult));
10359566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->JsBlockPrec,MATOP_MULT_TRANSPOSE,(void(*)(void))StateMatBlockPrecMultTranspose));
1036c4762a1bSJed Brown 
1037c4762a1bSJed Brown   /* Create a matrix-free shell user->Jd for computing B*x */
10389566063dSJacob Faibussowitsch   PetscCall(MatCreateShell(PETSC_COMM_WORLD,PETSC_DETERMINE,PETSC_DETERMINE,user->m,user->n-user->m,user,&user->Jd));
10399566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->Jd,MATOP_MULT,(void(*)(void))DesignMatMult));
10409566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->Jd,MATOP_MULT_TRANSPOSE,(void(*)(void))DesignMatMultTranspose));
1041c4762a1bSJed Brown 
1042c4762a1bSJed Brown   /* User-defined routines for computing user->Js\x and user->Js^T\x*/
10439566063dSJacob Faibussowitsch   PetscCall(MatCreateShell(PETSC_COMM_WORLD,PETSC_DETERMINE,PETSC_DETERMINE,user->m,user->m,user,&user->JsInv));
10449566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->JsInv,MATOP_MULT,(void(*)(void))StateMatInvMult));
10459566063dSJacob Faibussowitsch   PetscCall(MatShellSetOperation(user->JsInv,MATOP_MULT_TRANSPOSE,(void(*)(void))StateMatInvTransposeMult));
1046c4762a1bSJed Brown 
1047c4762a1bSJed Brown   /* Build matrices for SOR preconditioner */
10489566063dSJacob Faibussowitsch   PetscCall(Scatter_uxi_uyi(user->u,user->uxi,user->uxi_scatter,user->uyi,user->uyi_scatter,user->nt));
10499566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(5*n,&user->C));
10509566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(2*n,&user->Cwork));
1051c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
10529566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(user->Divxy[0],MAT_COPY_VALUES,&user->C[i]));
10539566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(user->Divxy[1],MAT_COPY_VALUES,&user->Cwork[i]));
1054c4762a1bSJed Brown 
10559566063dSJacob Faibussowitsch     PetscCall(MatDiagonalScale(user->C[i],NULL,user->uxi[i]));
10569566063dSJacob Faibussowitsch     PetscCall(MatDiagonalScale(user->Cwork[i],NULL,user->uyi[i]));
10579566063dSJacob Faibussowitsch     PetscCall(MatAXPY(user->C[i],1.0,user->Cwork[i],DIFFERENT_NONZERO_PATTERN));
10589566063dSJacob Faibussowitsch     PetscCall(MatScale(user->C[i],user->ht));
10599566063dSJacob Faibussowitsch     PetscCall(MatShift(user->C[i],1.0));
1060c4762a1bSJed Brown   }
1061c4762a1bSJed Brown 
1062c4762a1bSJed Brown   /* Solver options and tolerances */
10639566063dSJacob Faibussowitsch   PetscCall(KSPCreate(PETSC_COMM_WORLD,&user->solver));
10649566063dSJacob Faibussowitsch   PetscCall(KSPSetType(user->solver,KSPGMRES));
10659566063dSJacob Faibussowitsch   PetscCall(KSPSetOperators(user->solver,user->JsBlock,user->JsBlockPrec));
10669566063dSJacob Faibussowitsch   PetscCall(KSPSetTolerances(user->solver,1e-4,1e-20,1e3,500));
10679566063dSJacob Faibussowitsch   /* PetscCall(KSPSetTolerances(user->solver,1e-8,1e-16,1e3,500)); */
10689566063dSJacob Faibussowitsch   PetscCall(KSPGetPC(user->solver,&user->prec));
10699566063dSJacob Faibussowitsch   PetscCall(PCSetType(user->prec,PCSHELL));
1070c4762a1bSJed Brown 
10719566063dSJacob Faibussowitsch   PetscCall(PCShellSetApply(user->prec,StateMatBlockPrecMult));
10729566063dSJacob Faibussowitsch   PetscCall(PCShellSetApplyTranspose(user->prec,StateMatBlockPrecMultTranspose));
10739566063dSJacob Faibussowitsch   PetscCall(PCShellSetContext(user->prec,user));
1074c4762a1bSJed Brown 
1075c4762a1bSJed Brown   /* Compute true state function yt given ut */
10769566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD,&user->ytrue));
10779566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(user->ytrue,PETSC_DECIDE,n*user->nt));
10789566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(user->ytrue));
1079c4762a1bSJed Brown   user->c_formed = PETSC_TRUE;
10809566063dSJacob Faibussowitsch   PetscCall(VecCopy(user->utrue,user->u)); /*  Set u=utrue temporarily for StateMatInv */
10819566063dSJacob Faibussowitsch   PetscCall(VecSet(user->ytrue,0.0)); /*  Initial guess */
10829566063dSJacob Faibussowitsch   PetscCall(StateMatInvMult(user->Js,user->q,user->ytrue));
10839566063dSJacob Faibussowitsch   PetscCall(VecCopy(user->ur,user->u)); /*  Reset u=ur */
1084c4762a1bSJed Brown 
1085c4762a1bSJed Brown   /* Initial guess y0 for state given u0 */
10869566063dSJacob Faibussowitsch   PetscCall(StateMatInvMult(user->Js,user->q,user->y));
1087c4762a1bSJed Brown 
1088c4762a1bSJed Brown   /* Data discretization */
10899566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&user->Q));
10909566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(user->Q,PETSC_DECIDE,PETSC_DECIDE,user->mx*user->mx,user->m));
10919566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(user->Q));
10929566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(user->Q,0,NULL,1,NULL));
10939566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(user->Q,1,NULL));
1094c4762a1bSJed Brown 
10959566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(user->Q,&istart,&iend));
1096c4762a1bSJed Brown 
1097c4762a1bSJed Brown   for (i=istart; i<iend; i++) {
1098c4762a1bSJed Brown     j = i + user->m - user->mx*user->mx;
10999566063dSJacob Faibussowitsch     PetscCall(MatSetValues(user->Q,1,&i,1,&j,&one,INSERT_VALUES));
1100c4762a1bSJed Brown   }
1101c4762a1bSJed Brown 
11029566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(user->Q,MAT_FINAL_ASSEMBLY));
11039566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(user->Q,MAT_FINAL_ASSEMBLY));
1104c4762a1bSJed Brown 
11059566063dSJacob Faibussowitsch   PetscCall(MatTranspose(user->Q,MAT_INITIAL_MATRIX,&user->QT));
1106c4762a1bSJed Brown 
11079566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&XX));
11089566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&YY));
11099566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&XXwork));
11109566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&YYwork));
11119566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&yi));
11129566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&uxi));
11139566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&ui));
11149566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&bc));
1115c4762a1bSJed Brown 
1116c4762a1bSJed Brown   /* Now that initial conditions have been set, let the user pass tolerance options to the KSP solver */
11179566063dSJacob Faibussowitsch   PetscCall(KSPSetFromOptions(user->solver));
1118c4762a1bSJed Brown   PetscFunctionReturn(0);
1119c4762a1bSJed Brown }
1120c4762a1bSJed Brown 
1121c4762a1bSJed Brown PetscErrorCode HyperbolicDestroy(AppCtx *user)
1122c4762a1bSJed Brown {
1123c4762a1bSJed Brown   PetscInt       i;
1124c4762a1bSJed Brown 
1125c4762a1bSJed Brown   PetscFunctionBegin;
11269566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Q));
11279566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->QT));
11289566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Div));
11299566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Divwork));
11309566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Grad));
11319566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->L));
11329566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->LT));
11339566063dSJacob Faibussowitsch   PetscCall(KSPDestroy(&user->solver));
11349566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Js));
11359566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Jd));
11369566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->JsBlockPrec));
11379566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->JsInv));
11389566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->JsBlock));
11399566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Divxy[0]));
11409566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Divxy[1]));
11419566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Gradxy[0]));
11429566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->Gradxy[1]));
11439566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&user->M));
1144c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
11459566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&user->C[i]));
11469566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&user->Cwork[i]));
1147c4762a1bSJed Brown   }
11489566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->C));
11499566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->Cwork));
11509566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->u));
11519566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->uwork));
11529566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->vwork));
11539566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->utrue));
11549566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->y));
11559566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->ywork));
11569566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->ytrue));
11579566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->yi));
11589566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->yiwork));
11599566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->ziwork));
11609566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->uxi));
11619566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->uyi));
11629566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->uxiwork));
11639566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->uyiwork));
11649566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->ui));
11659566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(user->nt,&user->uiwork));
11669566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->c));
11679566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->cwork));
11689566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->ur));
11699566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->q));
11709566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->d));
11719566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->dwork));
11729566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->lwork));
11739566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&user->js_diag));
11749566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&user->s_is));
11759566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&user->d_is));
11769566063dSJacob Faibussowitsch   PetscCall(VecScatterDestroy(&user->state_scatter));
11779566063dSJacob Faibussowitsch   PetscCall(VecScatterDestroy(&user->design_scatter));
1178c4762a1bSJed Brown   for (i=0; i<user->nt; i++) {
11799566063dSJacob Faibussowitsch     PetscCall(VecScatterDestroy(&user->uxi_scatter[i]));
11809566063dSJacob Faibussowitsch     PetscCall(VecScatterDestroy(&user->uyi_scatter[i]));
11819566063dSJacob Faibussowitsch     PetscCall(VecScatterDestroy(&user->ux_scatter[i]));
11829566063dSJacob Faibussowitsch     PetscCall(VecScatterDestroy(&user->uy_scatter[i]));
11839566063dSJacob Faibussowitsch     PetscCall(VecScatterDestroy(&user->ui_scatter[i]));
11849566063dSJacob Faibussowitsch     PetscCall(VecScatterDestroy(&user->yi_scatter[i]));
1185c4762a1bSJed Brown   }
11869566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->uxi_scatter));
11879566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->uyi_scatter));
11889566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->ux_scatter));
11899566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->uy_scatter));
11909566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->ui_scatter));
11919566063dSJacob Faibussowitsch   PetscCall(PetscFree(user->yi_scatter));
1192c4762a1bSJed Brown   PetscFunctionReturn(0);
1193c4762a1bSJed Brown }
1194c4762a1bSJed Brown 
1195c4762a1bSJed Brown PetscErrorCode HyperbolicMonitor(Tao tao, void *ptr)
1196c4762a1bSJed Brown {
1197c4762a1bSJed Brown   Vec            X;
1198c4762a1bSJed Brown   PetscReal      unorm,ynorm;
1199c4762a1bSJed Brown   AppCtx         *user = (AppCtx*)ptr;
1200c4762a1bSJed Brown 
1201c4762a1bSJed Brown   PetscFunctionBegin;
12029566063dSJacob Faibussowitsch   PetscCall(TaoGetSolution(tao,&X));
12039566063dSJacob Faibussowitsch   PetscCall(Scatter(X,user->ywork,user->state_scatter,user->uwork,user->design_scatter));
12049566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->ywork,-1.0,user->ytrue));
12059566063dSJacob Faibussowitsch   PetscCall(VecAXPY(user->uwork,-1.0,user->utrue));
12069566063dSJacob Faibussowitsch   PetscCall(VecNorm(user->uwork,NORM_2,&unorm));
12079566063dSJacob Faibussowitsch   PetscCall(VecNorm(user->ywork,NORM_2,&ynorm));
12089566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(MPI_COMM_WORLD, "||u-ut||=%g ||y-yt||=%g\n",(double)unorm,(double)ynorm));
1209c4762a1bSJed Brown   PetscFunctionReturn(0);
1210c4762a1bSJed Brown }
1211c4762a1bSJed Brown 
1212c4762a1bSJed Brown /*TEST
1213c4762a1bSJed Brown 
1214c4762a1bSJed Brown    build:
1215c4762a1bSJed Brown       requires: !complex
1216c4762a1bSJed Brown 
1217c4762a1bSJed Brown    test:
1218c4762a1bSJed Brown       requires: !single
1219c4762a1bSJed Brown       args: -tao_cmonitor -tao_max_funcs 10 -tao_type lcl -tao_gatol 1.e-5
1220c4762a1bSJed Brown 
1221c4762a1bSJed Brown    test:
1222c4762a1bSJed Brown       suffix: guess_pod
1223c4762a1bSJed Brown       requires: !single
1224c4762a1bSJed Brown       args: -tao_cmonitor -tao_max_funcs 10 -tao_type lcl -ksp_guess_type pod -tao_gatol 1.e-5
1225c4762a1bSJed Brown 
1226c4762a1bSJed Brown TEST*/
1227