xref: /petsc/src/snes/impls/fas/fasgalerkin.c (revision 9566063d113dddea24716c546802770db7481bc0)
1a7b5fb5fSBarry Smith #include <../src/snes/impls/fas/fasimpls.h> /*I  "petscsnes.h"  I*/
2ab8d36c9SPeter Brune 
3ab8d36c9SPeter Brune /*@
4ab8d36c9SPeter Brune    SNESFASGetGalerkin - Gets if the coarse problems are formed by projection to the fine problem
5ab8d36c9SPeter Brune 
6ab8d36c9SPeter Brune    Input Parameter:
7ab8d36c9SPeter Brune .  snes - the nonlinear solver context
8ab8d36c9SPeter Brune 
9ab8d36c9SPeter Brune    Output parameter:
10ab8d36c9SPeter Brune .  flg - the status of the galerkin problem
11ab8d36c9SPeter Brune 
12ab8d36c9SPeter Brune    Level: advanced
13ab8d36c9SPeter Brune 
14ab8d36c9SPeter Brune .seealso: SNESFASSetLevels(), SNESFASSetGalerkin()
15ab8d36c9SPeter Brune @*/
160adebc6cSBarry Smith PetscErrorCode SNESFASGetGalerkin(SNES snes, PetscBool *flg)
170adebc6cSBarry Smith {
18f833ba53SLisandro Dalcin   SNES_FAS *fas;
195fd66863SKarl Rupp 
20ab8d36c9SPeter Brune   PetscFunctionBegin;
21f833ba53SLisandro Dalcin   PetscValidHeaderSpecificType(snes,SNES_CLASSID,1,SNESFAS);
22f833ba53SLisandro Dalcin   fas = (SNES_FAS*)snes->data;
23ab8d36c9SPeter Brune   *flg = fas->galerkin;
24ab8d36c9SPeter Brune   PetscFunctionReturn(0);
25ab8d36c9SPeter Brune }
26ab8d36c9SPeter Brune 
27ab8d36c9SPeter Brune /*@
28ab8d36c9SPeter Brune    SNESFASSetGalerkin - Sets coarse problems as formed by projection to the fine problem
29ab8d36c9SPeter Brune 
30d8d19677SJose E. Roman    Input Parameters:
31a2b725a8SWilliam Gropp +  snes - the nonlinear solver context
32a2b725a8SWilliam Gropp -  flg - the status of the galerkin problem
33ab8d36c9SPeter Brune 
34ab8d36c9SPeter Brune    Level: advanced
35ab8d36c9SPeter Brune 
36ab8d36c9SPeter Brune .seealso: SNESFASSetLevels(), SNESFASGetGalerkin()
37ab8d36c9SPeter Brune @*/
380adebc6cSBarry Smith PetscErrorCode SNESFASSetGalerkin(SNES snes, PetscBool flg)
390adebc6cSBarry Smith {
40f833ba53SLisandro Dalcin   SNES_FAS       *fas;
415fd66863SKarl Rupp 
42ab8d36c9SPeter Brune   PetscFunctionBegin;
43f833ba53SLisandro Dalcin   PetscValidHeaderSpecificType(snes,SNES_CLASSID,1,SNESFAS);
44f833ba53SLisandro Dalcin   fas = (SNES_FAS*)snes->data;
45ab8d36c9SPeter Brune   fas->galerkin = flg;
46*9566063dSJacob Faibussowitsch   if (fas->next) PetscCall(SNESFASSetGalerkin(fas->next, flg));
47ab8d36c9SPeter Brune   PetscFunctionReturn(0);
48ab8d36c9SPeter Brune }
496273346dSPeter Brune 
5025acbd8eSLisandro Dalcin /*@C
5125acbd8eSLisandro Dalcin    SNESFASGalerkinFunctionDefault - Computes the Galerkin FAS function
526273346dSPeter Brune 
5325acbd8eSLisandro Dalcin    Input Parameters:
54a2b725a8SWilliam Gropp +  snes - the nonlinear solver context
5525acbd8eSLisandro Dalcin .  X - input vector
56a2b725a8SWilliam Gropp -  ctx - the FAS context
5725acbd8eSLisandro Dalcin 
5825acbd8eSLisandro Dalcin    Output Parameter:
5925acbd8eSLisandro Dalcin .  F - output vector
6025acbd8eSLisandro Dalcin 
6125acbd8eSLisandro Dalcin    Notes:
6225acbd8eSLisandro Dalcin    The Galerkin FAS function evalutation is defined as
6325acbd8eSLisandro Dalcin $  F^l(x^l) = I^l_0 F^0(P^0_l x^l)
6425acbd8eSLisandro Dalcin 
6525acbd8eSLisandro Dalcin    Level: developer
6625acbd8eSLisandro Dalcin 
6725acbd8eSLisandro Dalcin .seealso: SNESFASGetGalerkin(), SNESFASSetGalerkin()
6825acbd8eSLisandro Dalcin @*/
6925acbd8eSLisandro Dalcin PetscErrorCode SNESFASGalerkinFunctionDefault(SNES snes, Vec X, Vec F, void *ctx)
700adebc6cSBarry Smith {
716273346dSPeter Brune   SNES           fassnes;
726273346dSPeter Brune   SNES_FAS       *fas;
736273346dSPeter Brune   SNES_FAS       *prevfas;
746273346dSPeter Brune   SNES           prevsnes;
7575d4ebe3SPeter Brune   Vec            b_temp;
760adebc6cSBarry Smith 
776273346dSPeter Brune   PetscFunctionBegin;
786273346dSPeter Brune   /* prolong to the fine level and evaluate there. */
796273346dSPeter Brune   fassnes  = (SNES)ctx;
806273346dSPeter Brune   fas      = (SNES_FAS*)fassnes->data;
816273346dSPeter Brune   prevsnes = fas->previous;
826273346dSPeter Brune   prevfas  = (SNES_FAS*)prevsnes->data;
836273346dSPeter Brune   /* interpolate down the solution */
84*9566063dSJacob Faibussowitsch   PetscCall(MatInterpolate(prevfas->interpolate, X, prevfas->Xg));
8575d4ebe3SPeter Brune   /* the RHS we care about is at the coarsest level */
8675d4ebe3SPeter Brune   b_temp            = prevsnes->vec_rhs;
870298fd71SBarry Smith   prevsnes->vec_rhs = NULL;
88*9566063dSJacob Faibussowitsch   PetscCall(SNESComputeFunction(prevsnes, prevfas->Xg, prevfas->Fg));
8975d4ebe3SPeter Brune   prevsnes->vec_rhs = b_temp;
906273346dSPeter Brune   /* restrict up the function */
91*9566063dSJacob Faibussowitsch   PetscCall(MatRestrict(prevfas->restrct, prevfas->Fg, F));
926273346dSPeter Brune   PetscFunctionReturn(0);
936273346dSPeter Brune }
94