xref: /petsc/src/snes/impls/ngmres/anderson.c (revision bd89dbf26d8a5efecb980364933175da61864cd7) !
1f31c9d25SPeter Brune #include <../src/snes/impls/ngmres/snesngmres.h> /*I "petscsnes.h" I*/
2f31c9d25SPeter Brune 
SNESSetFromOptions_Anderson(SNES snes,PetscOptionItems PetscOptionsObject)3ce78bad3SBarry Smith static PetscErrorCode SNESSetFromOptions_Anderson(SNES snes, PetscOptionItems PetscOptionsObject)
4d71ae5a4SJacob Faibussowitsch {
5f31c9d25SPeter Brune   SNES_NGMRES *ngmres  = (SNES_NGMRES *)snes->data;
653efadd4SBarry Smith   PetscBool    monitor = PETSC_FALSE;
7f31c9d25SPeter Brune 
8f31c9d25SPeter Brune   PetscFunctionBegin;
9d0609cedSBarry Smith   PetscOptionsHeadBegin(PetscOptionsObject, "SNES NGMRES options");
109566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-snes_anderson_m", "Number of directions", "SNES", ngmres->msize, &ngmres->msize, NULL));
119566063dSJacob Faibussowitsch   PetscCall(PetscOptionsReal("-snes_anderson_beta", "Mixing parameter", "SNES", ngmres->andersonBeta, &ngmres->andersonBeta, NULL));
129566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-snes_anderson_restart", "Iterations before forced restart", "SNES", ngmres->restart_periodic, &ngmres->restart_periodic, NULL));
139566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-snes_anderson_restart_it", "Tolerance iterations before restart", "SNES", ngmres->restart_it, &ngmres->restart_it, NULL));
149566063dSJacob Faibussowitsch   PetscCall(PetscOptionsEnum("-snes_anderson_restart_type", "Restart type", "SNESNGMRESSetRestartType", SNESNGMRESRestartTypes, (PetscEnum)ngmres->restart_type, (PetscEnum *)&ngmres->restart_type, NULL));
159566063dSJacob Faibussowitsch   PetscCall(PetscOptionsBool("-snes_anderson_monitor", "Monitor steps of Anderson Mixing", "SNES", ngmres->monitor ? PETSC_TRUE : PETSC_FALSE, &monitor, NULL));
16ad540459SPierre Jolivet   if (monitor) ngmres->monitor = PETSC_VIEWER_STDOUT_(PetscObjectComm((PetscObject)snes));
17d0609cedSBarry Smith   PetscOptionsHeadEnd();
183ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
19f31c9d25SPeter Brune }
20f31c9d25SPeter Brune 
SNESSolve_Anderson(SNES snes)21d71ae5a4SJacob Faibussowitsch static PetscErrorCode SNESSolve_Anderson(SNES snes)
22d71ae5a4SJacob Faibussowitsch {
23f31c9d25SPeter Brune   SNES_NGMRES *ngmres = (SNES_NGMRES *)snes->data;
24f31c9d25SPeter Brune   /* present solution, residual, and preconditioned residual */
2521687c63SPeter Brune   Vec X, F, B, D;
26f31c9d25SPeter Brune   /* candidate linear combination answers */
27ddd40ce5SPeter Brune   Vec XA, FA, XM, FM;
28f31c9d25SPeter Brune 
29f31c9d25SPeter Brune   /* coefficients and RHS to the minimization problem */
30b3c6a99cSPeter Brune   PetscReal           fnorm, fMnorm, fAnorm;
31b3c6a99cSPeter Brune   PetscReal           xnorm, ynorm;
3221687c63SPeter Brune   PetscReal           dnorm, dminnorm = 0.0, fminnorm;
3321687c63SPeter Brune   PetscInt            restart_count = 0;
34f31c9d25SPeter Brune   PetscInt            k, k_restart, l, ivec;
3521687c63SPeter Brune   PetscBool           selectRestart;
36f31c9d25SPeter Brune   SNESConvergedReason reason;
37f31c9d25SPeter Brune 
38f31c9d25SPeter Brune   PetscFunctionBegin;
390b121fc5SBarry Smith   PetscCheck(!snes->xl && !snes->xu && !snes->ops->computevariablebounds, PetscObjectComm((PetscObject)snes), PETSC_ERR_ARG_WRONGSTATE, "SNES solver %s does not support bounds", ((PetscObject)snes)->type_name);
40c579b300SPatrick Farrell 
419566063dSJacob Faibussowitsch   PetscCall(PetscCitationsRegister(SNESCitation, &SNEScite));
42f31c9d25SPeter Brune   /* variable initialization */
43f31c9d25SPeter Brune   snes->reason = SNES_CONVERGED_ITERATING;
44f31c9d25SPeter Brune   X            = snes->vec_sol;
45f31c9d25SPeter Brune   F            = snes->vec_func;
46f31c9d25SPeter Brune   B            = snes->vec_rhs;
475ef867c2SRené Chenard   XA           = snes->work[2];
48f31c9d25SPeter Brune   FA           = snes->work[0];
4921687c63SPeter Brune   D            = snes->work[1];
50f31c9d25SPeter Brune 
51f31c9d25SPeter Brune   /* work for the line search */
52f31c9d25SPeter Brune   XM = snes->work[3];
53f31c9d25SPeter Brune   FM = snes->work[4];
54f31c9d25SPeter Brune 
559566063dSJacob Faibussowitsch   PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes));
56f31c9d25SPeter Brune   snes->iter = 0;
57f31c9d25SPeter Brune   snes->norm = 0.;
589566063dSJacob Faibussowitsch   PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes));
59f31c9d25SPeter Brune 
60f31c9d25SPeter Brune   /* initialization */
61f31c9d25SPeter Brune 
62f31c9d25SPeter Brune   /* r = F(x) */
633a2ae377SPeter Brune 
64efd4aadfSBarry Smith   if (snes->npc && snes->npcside == PC_LEFT) {
659566063dSJacob Faibussowitsch     PetscCall(SNESApplyNPC(snes, X, NULL, F));
669566063dSJacob Faibussowitsch     PetscCall(SNESGetConvergedReason(snes->npc, &reason));
673a2ae377SPeter Brune     if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) {
683a2ae377SPeter Brune       snes->reason = SNES_DIVERGED_INNER;
693ba16761SJacob Faibussowitsch       PetscFunctionReturn(PETSC_SUCCESS);
703a2ae377SPeter Brune     }
719566063dSJacob Faibussowitsch     PetscCall(VecNorm(F, NORM_2, &fnorm));
723a2ae377SPeter Brune   } else {
73ac530a7eSPierre Jolivet     if (!snes->vec_func_init_set) PetscCall(SNESComputeFunction(snes, X, F));
74ac530a7eSPierre Jolivet     else snes->vec_func_init_set = PETSC_FALSE;
75c1c75074SPeter Brune 
769566063dSJacob Faibussowitsch     PetscCall(VecNorm(F, NORM_2, &fnorm));
77*76c63389SBarry Smith     SNESCheckFunctionDomainError(snes, fnorm);
783a2ae377SPeter Brune   }
7921687c63SPeter Brune   fminnorm = fnorm;
8021687c63SPeter Brune 
819566063dSJacob Faibussowitsch   PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes));
82f31c9d25SPeter Brune   snes->norm = fnorm;
839566063dSJacob Faibussowitsch   PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes));
849566063dSJacob Faibussowitsch   PetscCall(SNESLogConvergenceHistory(snes, fnorm, 0));
852d157150SStefano Zampini   PetscCall(SNESConverged(snes, 0, 0.0, 0.0, fnorm));
869566063dSJacob Faibussowitsch   PetscCall(SNESMonitor(snes, 0, fnorm));
873ba16761SJacob Faibussowitsch   if (snes->reason) PetscFunctionReturn(PETSC_SUCCESS);
88a1868d4eSStefano Zampini   PetscCall(SNESNGMRESUpdateSubspace_Private(snes, 0, 0, F, fnorm, X));
89f31c9d25SPeter Brune 
90f31c9d25SPeter Brune   k_restart = 0;
91f31c9d25SPeter Brune   l         = 0;
92b3c6a99cSPeter Brune   ivec      = 0;
93f31c9d25SPeter Brune   for (k = 1; k < snes->max_its + 1; k++) {
94d52c4f7dSRené Chenard     /* Call general purpose update function */
95d52c4f7dSRené Chenard     PetscTryTypeMethod(snes, update, snes->iter);
96d52c4f7dSRené Chenard 
97f31c9d25SPeter Brune     /* select which vector of the stored subspace will be updated */
98efd4aadfSBarry Smith     if (snes->npc && snes->npcside == PC_RIGHT) {
999566063dSJacob Faibussowitsch       PetscCall(VecCopy(X, XM));
1009566063dSJacob Faibussowitsch       PetscCall(SNESSetInitialFunction(snes->npc, F));
101f31c9d25SPeter Brune 
1029566063dSJacob Faibussowitsch       PetscCall(PetscLogEventBegin(SNES_NPCSolve, snes->npc, XM, B, 0));
1039566063dSJacob Faibussowitsch       PetscCall(SNESSolve(snes->npc, B, XM));
1049566063dSJacob Faibussowitsch       PetscCall(PetscLogEventEnd(SNES_NPCSolve, snes->npc, XM, B, 0));
105f31c9d25SPeter Brune 
1069566063dSJacob Faibussowitsch       PetscCall(SNESGetConvergedReason(snes->npc, &reason));
107f31c9d25SPeter Brune       if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) {
108f31c9d25SPeter Brune         snes->reason = SNES_DIVERGED_INNER;
1093ba16761SJacob Faibussowitsch         PetscFunctionReturn(PETSC_SUCCESS);
110f31c9d25SPeter Brune       }
1119566063dSJacob Faibussowitsch       PetscCall(SNESGetNPCFunction(snes, FM, &fMnorm));
1124936d809SStefano Zampini       PetscCall(VecAXPBY(XM, 1.0 - ngmres->andersonBeta, ngmres->andersonBeta, X));
113f31c9d25SPeter Brune     } else {
1149566063dSJacob Faibussowitsch       PetscCall(VecCopy(F, FM));
115647c55fdSStefano Zampini       PetscCall(VecWAXPY(XM, -ngmres->andersonBeta, FM, X));
116f31c9d25SPeter Brune       fMnorm = fnorm;
117f31c9d25SPeter Brune     }
118f31c9d25SPeter Brune 
1199566063dSJacob Faibussowitsch     PetscCall(SNESNGMRESFormCombinedSolution_Private(snes, ivec, l, XM, FM, fMnorm, X, XA, FA));
120b3c6a99cSPeter Brune     ivec = k_restart % ngmres->msize;
12121687c63SPeter Brune     if (ngmres->restart_type == SNES_NGMRES_RESTART_DIFFERENCE) {
1229566063dSJacob Faibussowitsch       PetscCall(SNESNGMRESNorms_Private(snes, l, X, F, XM, FM, XA, FA, D, &dnorm, &dminnorm, NULL, NULL, NULL, &xnorm, &fAnorm, &ynorm));
1234936d809SStefano Zampini       PetscCall(SNESNGMRESSelectRestart_Private(snes, l, snes->norm, fMnorm, fnorm, dnorm, fminnorm, dminnorm, &selectRestart));
12421687c63SPeter Brune       /* if the restart conditions persist for more than restart_it iterations, restart. */
1251aa26658SKarl Rupp       if (selectRestart) restart_count++;
1261aa26658SKarl Rupp       else restart_count = 0;
12721687c63SPeter Brune     } else if (ngmres->restart_type == SNES_NGMRES_RESTART_PERIODIC) {
1289566063dSJacob Faibussowitsch       PetscCall(SNESNGMRESNorms_Private(snes, l, X, F, XM, FM, XA, FA, D, NULL, NULL, NULL, NULL, NULL, &xnorm, &fAnorm, &ynorm));
12921687c63SPeter Brune       if (k_restart > ngmres->restart_periodic) {
13063a3b9bcSJacob Faibussowitsch         if (ngmres->monitor) PetscCall(PetscViewerASCIIPrintf(ngmres->monitor, "periodic restart after %" PetscInt_FMT " iterations\n", k_restart));
13121687c63SPeter Brune         restart_count = ngmres->restart_it;
13221687c63SPeter Brune       }
133b3c6a99cSPeter Brune     } else {
1349566063dSJacob Faibussowitsch       PetscCall(SNESNGMRESNorms_Private(snes, l, X, F, XM, FM, XA, FA, D, NULL, NULL, NULL, NULL, NULL, &xnorm, &fAnorm, &ynorm));
13521687c63SPeter Brune     }
13621687c63SPeter Brune     /* restart after restart conditions have persisted for a fixed number of iterations */
13721687c63SPeter Brune     if (restart_count >= ngmres->restart_it) {
13848a46eb9SPierre Jolivet       if (ngmres->monitor) PetscCall(PetscViewerASCIIPrintf(ngmres->monitor, "Restarted at iteration %" PetscInt_FMT "\n", k_restart));
13921687c63SPeter Brune       restart_count = 0;
14021687c63SPeter Brune       k_restart     = 0;
14121687c63SPeter Brune       l             = 0;
142b3c6a99cSPeter Brune       ivec          = 0;
14321687c63SPeter Brune     } else {
144f31c9d25SPeter Brune       if (l < ngmres->msize) l++;
145f31c9d25SPeter Brune       k_restart++;
1469566063dSJacob Faibussowitsch       PetscCall(SNESNGMRESUpdateSubspace_Private(snes, ivec, l, FM, fnorm, XM));
14721687c63SPeter Brune     }
148f31c9d25SPeter Brune 
149b3c6a99cSPeter Brune     fnorm = fAnorm;
15021687c63SPeter Brune     if (fminnorm > fnorm) fminnorm = fnorm;
15121687c63SPeter Brune 
1529566063dSJacob Faibussowitsch     PetscCall(VecCopy(XA, X));
1539566063dSJacob Faibussowitsch     PetscCall(VecCopy(FA, F));
154f31c9d25SPeter Brune 
1559566063dSJacob Faibussowitsch     PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes));
156f31c9d25SPeter Brune     snes->iter  = k;
157f31c9d25SPeter Brune     snes->norm  = fnorm;
158c1e67a49SFande Kong     snes->xnorm = xnorm;
159c1e67a49SFande Kong     snes->ynorm = ynorm;
1609566063dSJacob Faibussowitsch     PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes));
1619566063dSJacob Faibussowitsch     PetscCall(SNESLogConvergenceHistory(snes, snes->norm, snes->iter));
1622d157150SStefano Zampini     PetscCall(SNESConverged(snes, snes->iter, xnorm, ynorm, fnorm));
1639566063dSJacob Faibussowitsch     PetscCall(SNESMonitor(snes, snes->iter, snes->norm));
1643ba16761SJacob Faibussowitsch     if (snes->reason) PetscFunctionReturn(PETSC_SUCCESS);
165f31c9d25SPeter Brune   }
166f31c9d25SPeter Brune   snes->reason = SNES_DIVERGED_MAX_IT;
1673ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
168f31c9d25SPeter Brune }
169f31c9d25SPeter Brune 
170f31c9d25SPeter Brune /*MC
1710b4b7b1cSBarry Smith   SNESANDERSON - Implements the Anderson Mixing nonlinear solver {cite}`anderson1965`, {cite}`bruneknepleysmithtu15`
172f31c9d25SPeter Brune 
173f31c9d25SPeter Brune    Level: beginner
174f31c9d25SPeter Brune 
175f6dfbefdSBarry Smith    Options Database Keys:
176f31c9d25SPeter Brune +  -snes_anderson_m                - Number of stored previous solutions and residuals
17735f895b4SBarry Smith .  -snes_anderson_beta             - Anderson mixing parameter
1781d27aa22SBarry Smith .  -snes_anderson_restart_type     - Type of restart (see `SNESNGMRES`)
1795c3e6ab7SPeter Brune .  -snes_anderson_restart_it       - Number of iterations of restart conditions before restart
1805c3e6ab7SPeter Brune .  -snes_anderson_restart          - Number of iterations before periodic restart
1810b4b7b1cSBarry Smith -  -snes_anderson_monitor          - Prints relevant information about the Anderson mixing iteration
182f31c9d25SPeter Brune 
183f31c9d25SPeter Brune    Notes:
184f31c9d25SPeter Brune    The Anderson Mixing method combines m previous solutions into a minimum-residual solution by solving a small linearized
185f31c9d25SPeter Brune    optimization problem at each iteration.
186f31c9d25SPeter Brune 
187f6dfbefdSBarry Smith    Very similar to the `SNESNGMRES` algorithm.
1884f02bc6aSBarry Smith 
1890b4b7b1cSBarry Smith    This algorithm ignores any Jacobian provided with `SNESSetJacobian()`
1900b4b7b1cSBarry Smith 
19162842358SBarry Smith    Only supports left non-linear preconditioning.
19262842358SBarry Smith 
193420bcc1bSBarry Smith .seealso: [](ch_snes), `SNESNGMRES`, `SNESCreate()`, `SNES`, `SNESSetType()`, `SNESType`
194f31c9d25SPeter Brune M*/
195f31c9d25SPeter Brune 
SNESCreate_Anderson(SNES snes)196d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode SNESCreate_Anderson(SNES snes)
197d71ae5a4SJacob Faibussowitsch {
198f31c9d25SPeter Brune   SNES_NGMRES   *ngmres;
199d8d34be6SBarry Smith   SNESLineSearch linesearch;
200f31c9d25SPeter Brune 
201f31c9d25SPeter Brune   PetscFunctionBegin;
202f31c9d25SPeter Brune   snes->ops->destroy        = SNESDestroy_NGMRES;
203f31c9d25SPeter Brune   snes->ops->setup          = SNESSetUp_NGMRES;
204f31c9d25SPeter Brune   snes->ops->setfromoptions = SNESSetFromOptions_Anderson;
205f31c9d25SPeter Brune   snes->ops->view           = SNESView_NGMRES;
206f31c9d25SPeter Brune   snes->ops->solve          = SNESSolve_Anderson;
207f31c9d25SPeter Brune   snes->ops->reset          = SNESReset_NGMRES;
208f31c9d25SPeter Brune 
209efd4aadfSBarry Smith   snes->usesnpc = PETSC_TRUE;
210f31c9d25SPeter Brune   snes->usesksp = PETSC_FALSE;
211efd4aadfSBarry Smith   snes->npcside = PC_RIGHT;
212f31c9d25SPeter Brune 
2134fc747eaSLawrence Mitchell   snes->alwayscomputesfinalresidual = PETSC_TRUE;
2144fc747eaSLawrence Mitchell 
2154dfa11a4SJacob Faibussowitsch   PetscCall(PetscNew(&ngmres));
216f31c9d25SPeter Brune   snes->data    = (void *)ngmres;
217f31c9d25SPeter Brune   ngmres->msize = 30;
218f31c9d25SPeter Brune 
21977e5a1f9SBarry Smith   PetscCall(SNESParametersInitialize(snes));
22077e5a1f9SBarry Smith   PetscObjectParameterSetDefault(snes, max_funcs, 30000);
22177e5a1f9SBarry Smith   PetscObjectParameterSetDefault(snes, max_its, 10000);
222f31c9d25SPeter Brune 
2239566063dSJacob Faibussowitsch   PetscCall(SNESGetLineSearch(snes, &linesearch));
22448a46eb9SPierre Jolivet   if (!((PetscObject)linesearch)->type_name) PetscCall(SNESLineSearchSetType(linesearch, SNESLINESEARCHBASIC));
225d8d34be6SBarry Smith 
2260298fd71SBarry Smith   ngmres->additive_linesearch = NULL;
227077c4231SPeter Brune   ngmres->approxfunc          = PETSC_FALSE;
22821687c63SPeter Brune   ngmres->restart_type        = SNES_NGMRES_RESTART_NONE;
229f31c9d25SPeter Brune   ngmres->restart_it          = 2;
230f31c9d25SPeter Brune   ngmres->restart_periodic    = 30;
231f31c9d25SPeter Brune   ngmres->gammaA              = 2.0;
232f31c9d25SPeter Brune   ngmres->gammaC              = 2.0;
233f31c9d25SPeter Brune   ngmres->deltaB              = 0.9;
234f31c9d25SPeter Brune   ngmres->epsilonB            = 0.1;
235f31c9d25SPeter Brune 
236f31c9d25SPeter Brune   ngmres->andersonBeta = 1.0;
2373ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
238f31c9d25SPeter Brune }
239