1f31c9d25SPeter Brune #include <../src/snes/impls/ngmres/snesngmres.h> /*I "petscsnes.h" I*/ 2f31c9d25SPeter Brune 3d71ae5a4SJacob Faibussowitsch 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 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; 47f31c9d25SPeter Brune XA = snes->vec_sol_update; 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 { 73f31c9d25SPeter Brune if (!snes->vec_func_init_set) { 749566063dSJacob Faibussowitsch PetscCall(SNESComputeFunction(snes, X, F)); 751aa26658SKarl Rupp } else snes->vec_func_init_set = PETSC_FALSE; 76c1c75074SPeter Brune 779566063dSJacob Faibussowitsch PetscCall(VecNorm(F, NORM_2, &fnorm)); 78422a814eSBarry Smith SNESCheckFunctionNorm(snes, fnorm); 793a2ae377SPeter Brune } 8021687c63SPeter Brune fminnorm = fnorm; 8121687c63SPeter Brune 829566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes)); 83f31c9d25SPeter Brune snes->norm = fnorm; 849566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes)); 859566063dSJacob Faibussowitsch PetscCall(SNESLogConvergenceHistory(snes, fnorm, 0)); 86*2d157150SStefano Zampini PetscCall(SNESConverged(snes, 0, 0.0, 0.0, fnorm)); 879566063dSJacob Faibussowitsch PetscCall(SNESMonitor(snes, 0, fnorm)); 883ba16761SJacob Faibussowitsch if (snes->reason) PetscFunctionReturn(PETSC_SUCCESS); 89a1868d4eSStefano Zampini PetscCall(SNESNGMRESUpdateSubspace_Private(snes, 0, 0, F, fnorm, X)); 90f31c9d25SPeter Brune 91f31c9d25SPeter Brune k_restart = 0; 92f31c9d25SPeter Brune l = 0; 93b3c6a99cSPeter Brune ivec = 0; 94f31c9d25SPeter Brune for (k = 1; k < snes->max_its + 1; k++) { 95f31c9d25SPeter Brune /* select which vector of the stored subspace will be updated */ 96efd4aadfSBarry Smith if (snes->npc && snes->npcside == PC_RIGHT) { 979566063dSJacob Faibussowitsch PetscCall(VecCopy(X, XM)); 989566063dSJacob Faibussowitsch PetscCall(SNESSetInitialFunction(snes->npc, F)); 99f31c9d25SPeter Brune 1009566063dSJacob Faibussowitsch PetscCall(PetscLogEventBegin(SNES_NPCSolve, snes->npc, XM, B, 0)); 1019566063dSJacob Faibussowitsch PetscCall(SNESSolve(snes->npc, B, XM)); 1029566063dSJacob Faibussowitsch PetscCall(PetscLogEventEnd(SNES_NPCSolve, snes->npc, XM, B, 0)); 103f31c9d25SPeter Brune 1049566063dSJacob Faibussowitsch PetscCall(SNESGetConvergedReason(snes->npc, &reason)); 105f31c9d25SPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 106f31c9d25SPeter Brune snes->reason = SNES_DIVERGED_INNER; 1073ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 108f31c9d25SPeter Brune } 1099566063dSJacob Faibussowitsch PetscCall(SNESGetNPCFunction(snes, FM, &fMnorm)); 11048a46eb9SPierre Jolivet if (ngmres->andersonBeta != 1.0) PetscCall(VecAXPBY(XM, (1.0 - ngmres->andersonBeta), ngmres->andersonBeta, X)); 111f31c9d25SPeter Brune } else { 1129566063dSJacob Faibussowitsch PetscCall(VecCopy(F, FM)); 1139566063dSJacob Faibussowitsch PetscCall(VecCopy(X, XM)); 1149566063dSJacob Faibussowitsch PetscCall(VecAXPY(XM, -ngmres->andersonBeta, FM)); 115f31c9d25SPeter Brune fMnorm = fnorm; 116f31c9d25SPeter Brune } 117f31c9d25SPeter Brune 1189566063dSJacob Faibussowitsch PetscCall(SNESNGMRESFormCombinedSolution_Private(snes, ivec, l, XM, FM, fMnorm, X, XA, FA)); 119b3c6a99cSPeter Brune ivec = k_restart % ngmres->msize; 12021687c63SPeter Brune if (ngmres->restart_type == SNES_NGMRES_RESTART_DIFFERENCE) { 1219566063dSJacob Faibussowitsch PetscCall(SNESNGMRESNorms_Private(snes, l, X, F, XM, FM, XA, FA, D, &dnorm, &dminnorm, NULL, NULL, NULL, &xnorm, &fAnorm, &ynorm)); 1229566063dSJacob Faibussowitsch PetscCall(SNESNGMRESSelectRestart_Private(snes, l, fMnorm, fnorm, dnorm, fminnorm, dminnorm, &selectRestart)); 12321687c63SPeter Brune /* if the restart conditions persist for more than restart_it iterations, restart. */ 1241aa26658SKarl Rupp if (selectRestart) restart_count++; 1251aa26658SKarl Rupp else restart_count = 0; 12621687c63SPeter Brune } else if (ngmres->restart_type == SNES_NGMRES_RESTART_PERIODIC) { 1279566063dSJacob Faibussowitsch PetscCall(SNESNGMRESNorms_Private(snes, l, X, F, XM, FM, XA, FA, D, NULL, NULL, NULL, NULL, NULL, &xnorm, &fAnorm, &ynorm)); 12821687c63SPeter Brune if (k_restart > ngmres->restart_periodic) { 12963a3b9bcSJacob Faibussowitsch if (ngmres->monitor) PetscCall(PetscViewerASCIIPrintf(ngmres->monitor, "periodic restart after %" PetscInt_FMT " iterations\n", k_restart)); 13021687c63SPeter Brune restart_count = ngmres->restart_it; 13121687c63SPeter Brune } 132b3c6a99cSPeter Brune } else { 1339566063dSJacob Faibussowitsch PetscCall(SNESNGMRESNorms_Private(snes, l, X, F, XM, FM, XA, FA, D, NULL, NULL, NULL, NULL, NULL, &xnorm, &fAnorm, &ynorm)); 13421687c63SPeter Brune } 13521687c63SPeter Brune /* restart after restart conditions have persisted for a fixed number of iterations */ 13621687c63SPeter Brune if (restart_count >= ngmres->restart_it) { 13748a46eb9SPierre Jolivet if (ngmres->monitor) PetscCall(PetscViewerASCIIPrintf(ngmres->monitor, "Restarted at iteration %" PetscInt_FMT "\n", k_restart)); 13821687c63SPeter Brune restart_count = 0; 13921687c63SPeter Brune k_restart = 0; 14021687c63SPeter Brune l = 0; 141b3c6a99cSPeter Brune ivec = 0; 14221687c63SPeter Brune } else { 143f31c9d25SPeter Brune if (l < ngmres->msize) l++; 144f31c9d25SPeter Brune k_restart++; 1459566063dSJacob Faibussowitsch PetscCall(SNESNGMRESUpdateSubspace_Private(snes, ivec, l, FM, fnorm, XM)); 14621687c63SPeter Brune } 147f31c9d25SPeter Brune 148b3c6a99cSPeter Brune fnorm = fAnorm; 14921687c63SPeter Brune if (fminnorm > fnorm) fminnorm = fnorm; 15021687c63SPeter Brune 1519566063dSJacob Faibussowitsch PetscCall(VecCopy(XA, X)); 1529566063dSJacob Faibussowitsch PetscCall(VecCopy(FA, F)); 153f31c9d25SPeter Brune 1549566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes)); 155f31c9d25SPeter Brune snes->iter = k; 156f31c9d25SPeter Brune snes->norm = fnorm; 157c1e67a49SFande Kong snes->xnorm = xnorm; 158c1e67a49SFande Kong snes->ynorm = ynorm; 1599566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes)); 1609566063dSJacob Faibussowitsch PetscCall(SNESLogConvergenceHistory(snes, snes->norm, snes->iter)); 161*2d157150SStefano Zampini PetscCall(SNESConverged(snes, snes->iter, xnorm, ynorm, fnorm)); 1629566063dSJacob Faibussowitsch PetscCall(SNESMonitor(snes, snes->iter, snes->norm)); 1633ba16761SJacob Faibussowitsch if (snes->reason) PetscFunctionReturn(PETSC_SUCCESS); 164f31c9d25SPeter Brune } 165f31c9d25SPeter Brune snes->reason = SNES_DIVERGED_MAX_IT; 1663ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 167f31c9d25SPeter Brune } 168f31c9d25SPeter Brune 169f31c9d25SPeter Brune /*MC 170f6dfbefdSBarry Smith SNESANDERSON - Anderson Mixing nonlinear solver 171f31c9d25SPeter Brune 172f31c9d25SPeter Brune Level: beginner 173f31c9d25SPeter Brune 174f6dfbefdSBarry Smith Options Database Keys: 175f31c9d25SPeter Brune + -snes_anderson_m - Number of stored previous solutions and residuals 17635f895b4SBarry Smith . -snes_anderson_beta - Anderson mixing parameter 1775c3e6ab7SPeter Brune . -snes_anderson_restart_type - Type of restart (see SNESNGMRES) 1785c3e6ab7SPeter Brune . -snes_anderson_restart_it - Number of iterations of restart conditions before restart 1795c3e6ab7SPeter Brune . -snes_anderson_restart - Number of iterations before periodic restart 180f31c9d25SPeter Brune - -snes_anderson_monitor - Prints relevant information about the ngmres iteration 181f31c9d25SPeter Brune 182f31c9d25SPeter Brune Notes: 183f31c9d25SPeter Brune The Anderson Mixing method combines m previous solutions into a minimum-residual solution by solving a small linearized 184f31c9d25SPeter Brune optimization problem at each iteration. 185f31c9d25SPeter Brune 186f6dfbefdSBarry Smith Very similar to the `SNESNGMRES` algorithm. 1874f02bc6aSBarry Smith 188f31c9d25SPeter Brune References: 189606c0280SSatish Balay + * - D. G. Anderson. Iterative procedures for nonlinear integral equations. 19096a0c994SBarry Smith J. Assoc. Comput. Mach., 12, 1965." 191606c0280SSatish Balay - * - Peter R. Brune, Matthew G. Knepley, Barry F. Smith, and Xuemin Tu,"Composing Scalable Nonlinear Algebraic Solvers", 1924f02bc6aSBarry Smith SIAM Review, 57(4), 2015 1934f02bc6aSBarry Smith 194db781477SPatrick Sanan .seealso: `SNESNGMRES`, `SNESCreate()`, `SNES`, `SNESSetType()`, `SNESType` 195f31c9d25SPeter Brune M*/ 196f31c9d25SPeter Brune 197d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode SNESCreate_Anderson(SNES snes) 198d71ae5a4SJacob Faibussowitsch { 199f31c9d25SPeter Brune SNES_NGMRES *ngmres; 200d8d34be6SBarry Smith SNESLineSearch linesearch; 201f31c9d25SPeter Brune 202f31c9d25SPeter Brune PetscFunctionBegin; 203f31c9d25SPeter Brune snes->ops->destroy = SNESDestroy_NGMRES; 204f31c9d25SPeter Brune snes->ops->setup = SNESSetUp_NGMRES; 205f31c9d25SPeter Brune snes->ops->setfromoptions = SNESSetFromOptions_Anderson; 206f31c9d25SPeter Brune snes->ops->view = SNESView_NGMRES; 207f31c9d25SPeter Brune snes->ops->solve = SNESSolve_Anderson; 208f31c9d25SPeter Brune snes->ops->reset = SNESReset_NGMRES; 209f31c9d25SPeter Brune 210efd4aadfSBarry Smith snes->usesnpc = PETSC_TRUE; 211f31c9d25SPeter Brune snes->usesksp = PETSC_FALSE; 212efd4aadfSBarry Smith snes->npcside = PC_RIGHT; 213f31c9d25SPeter Brune 2144fc747eaSLawrence Mitchell snes->alwayscomputesfinalresidual = PETSC_TRUE; 2154fc747eaSLawrence Mitchell 2164dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&ngmres)); 217f31c9d25SPeter Brune snes->data = (void *)ngmres; 218f31c9d25SPeter Brune ngmres->msize = 30; 219f31c9d25SPeter Brune 220f31c9d25SPeter Brune if (!snes->tolerancesset) { 221f31c9d25SPeter Brune snes->max_funcs = 30000; 222f31c9d25SPeter Brune snes->max_its = 10000; 223f31c9d25SPeter Brune } 224f31c9d25SPeter Brune 2259566063dSJacob Faibussowitsch PetscCall(SNESGetLineSearch(snes, &linesearch)); 22648a46eb9SPierre Jolivet if (!((PetscObject)linesearch)->type_name) PetscCall(SNESLineSearchSetType(linesearch, SNESLINESEARCHBASIC)); 227d8d34be6SBarry Smith 2280298fd71SBarry Smith ngmres->additive_linesearch = NULL; 229077c4231SPeter Brune ngmres->approxfunc = PETSC_FALSE; 23021687c63SPeter Brune ngmres->restart_type = SNES_NGMRES_RESTART_NONE; 231f31c9d25SPeter Brune ngmres->restart_it = 2; 232f31c9d25SPeter Brune ngmres->restart_periodic = 30; 233f31c9d25SPeter Brune ngmres->gammaA = 2.0; 234f31c9d25SPeter Brune ngmres->gammaC = 2.0; 235f31c9d25SPeter Brune ngmres->deltaB = 0.9; 236f31c9d25SPeter Brune ngmres->epsilonB = 0.1; 237f31c9d25SPeter Brune 238f31c9d25SPeter Brune ngmres->andersonBeta = 1.0; 2393ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 240f31c9d25SPeter Brune } 241