xref: /petsc/src/snes/impls/fas/fasgalerkin.c (revision d8d19677bbccf95218448bee62e6b87f4513e133)
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 
30*d8d19677SJose 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;
41ab8d36c9SPeter Brune   PetscErrorCode ierr;
425fd66863SKarl Rupp 
43ab8d36c9SPeter Brune   PetscFunctionBegin;
44f833ba53SLisandro Dalcin   PetscValidHeaderSpecificType(snes,SNES_CLASSID,1,SNESFAS);
45f833ba53SLisandro Dalcin   fas = (SNES_FAS*)snes->data;
46ab8d36c9SPeter Brune   fas->galerkin = flg;
47ab8d36c9SPeter Brune   if (fas->next) {ierr = SNESFASSetGalerkin(fas->next, flg);CHKERRQ(ierr);}
48ab8d36c9SPeter Brune   PetscFunctionReturn(0);
49ab8d36c9SPeter Brune }
506273346dSPeter Brune 
5125acbd8eSLisandro Dalcin /*@C
5225acbd8eSLisandro Dalcin    SNESFASGalerkinFunctionDefault - Computes the Galerkin FAS function
536273346dSPeter Brune 
5425acbd8eSLisandro Dalcin    Input Parameters:
55a2b725a8SWilliam Gropp +  snes - the nonlinear solver context
5625acbd8eSLisandro Dalcin .  X - input vector
57a2b725a8SWilliam Gropp -  ctx - the FAS context
5825acbd8eSLisandro Dalcin 
5925acbd8eSLisandro Dalcin    Output Parameter:
6025acbd8eSLisandro Dalcin .  F - output vector
6125acbd8eSLisandro Dalcin 
6225acbd8eSLisandro Dalcin    Notes:
6325acbd8eSLisandro Dalcin    The Galerkin FAS function evalutation is defined as
6425acbd8eSLisandro Dalcin $  F^l(x^l) = I^l_0 F^0(P^0_l x^l)
6525acbd8eSLisandro Dalcin 
6625acbd8eSLisandro Dalcin    Level: developer
6725acbd8eSLisandro Dalcin 
6825acbd8eSLisandro Dalcin .seealso: SNESFASGetGalerkin(), SNESFASSetGalerkin()
6925acbd8eSLisandro Dalcin @*/
7025acbd8eSLisandro Dalcin PetscErrorCode SNESFASGalerkinFunctionDefault(SNES snes, Vec X, Vec F, void *ctx)
710adebc6cSBarry Smith {
726273346dSPeter Brune   SNES           fassnes;
736273346dSPeter Brune   SNES_FAS       *fas;
746273346dSPeter Brune   SNES_FAS       *prevfas;
756273346dSPeter Brune   SNES           prevsnes;
7675d4ebe3SPeter Brune   Vec            b_temp;
776273346dSPeter Brune   PetscErrorCode ierr;
780adebc6cSBarry Smith 
796273346dSPeter Brune   PetscFunctionBegin;
806273346dSPeter Brune   /* prolong to the fine level and evaluate there. */
816273346dSPeter Brune   fassnes  = (SNES)ctx;
826273346dSPeter Brune   fas      = (SNES_FAS*)fassnes->data;
836273346dSPeter Brune   prevsnes = fas->previous;
846273346dSPeter Brune   prevfas  = (SNES_FAS*)prevsnes->data;
856273346dSPeter Brune   /* interpolate down the solution */
866273346dSPeter Brune   ierr = MatInterpolate(prevfas->interpolate, X, prevfas->Xg);CHKERRQ(ierr);
8775d4ebe3SPeter Brune   /* the RHS we care about is at the coarsest level */
8875d4ebe3SPeter Brune   b_temp            = prevsnes->vec_rhs;
890298fd71SBarry Smith   prevsnes->vec_rhs = NULL;
906273346dSPeter Brune   ierr              = SNESComputeFunction(prevsnes, prevfas->Xg, prevfas->Fg);CHKERRQ(ierr);
9175d4ebe3SPeter Brune   prevsnes->vec_rhs = b_temp;
926273346dSPeter Brune   /* restrict up the function */
936273346dSPeter Brune   ierr = MatRestrict(prevfas->restrct, prevfas->Fg, F);CHKERRQ(ierr);
946273346dSPeter Brune   PetscFunctionReturn(0);
956273346dSPeter Brune }
96