142f4f86dSBarry Smith #include <../src/snes/impls/richardson/snesrichardsonimpl.h> 2028b6e76SBarry Smith 3d5c3842bSBarry Smith PetscErrorCode SNESReset_NRichardson(SNES snes) 4028b6e76SBarry Smith { 5028b6e76SBarry Smith PetscFunctionBegin; 6028b6e76SBarry Smith PetscFunctionReturn(0); 7028b6e76SBarry Smith } 8028b6e76SBarry Smith 9028b6e76SBarry Smith /* 10d5c3842bSBarry Smith SNESDestroy_NRichardson - Destroys the private SNES_NRichardson context that was created with SNESCreate_NRichardson(). 11028b6e76SBarry Smith 12028b6e76SBarry Smith Input Parameter: 13028b6e76SBarry Smith . snes - the SNES context 14028b6e76SBarry Smith 15028b6e76SBarry Smith Application Interface Routine: SNESDestroy() 16028b6e76SBarry Smith */ 17d5c3842bSBarry Smith PetscErrorCode SNESDestroy_NRichardson(SNES snes) 18028b6e76SBarry Smith { 19028b6e76SBarry Smith PetscFunctionBegin; 209566063dSJacob Faibussowitsch PetscCall(SNESReset_NRichardson(snes)); 219566063dSJacob Faibussowitsch PetscCall(PetscFree(snes->data)); 22028b6e76SBarry Smith PetscFunctionReturn(0); 23028b6e76SBarry Smith } 24028b6e76SBarry Smith 25028b6e76SBarry Smith /* 26d5c3842bSBarry Smith SNESSetUp_NRichardson - Sets up the internal data structures for the later use 27d5c3842bSBarry Smith of the SNESNRICHARDSON nonlinear solver. 28028b6e76SBarry Smith 29028b6e76SBarry Smith Input Parameters: 30028b6e76SBarry Smith + snes - the SNES context 31028b6e76SBarry Smith - x - the solution vector 32028b6e76SBarry Smith 33028b6e76SBarry Smith Application Interface Routine: SNESSetUp() 34028b6e76SBarry Smith */ 35d5c3842bSBarry Smith PetscErrorCode SNESSetUp_NRichardson(SNES snes) 36028b6e76SBarry Smith { 37028b6e76SBarry Smith PetscFunctionBegin; 38*08401ef6SPierre Jolivet PetscCheck(snes->npcside!= PC_RIGHT,PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"NRichardson only supports left preconditioning"); 396c67d002SPeter Brune if (snes->functype == SNES_FUNCTION_DEFAULT) snes->functype = SNES_FUNCTION_UNPRECONDITIONED; 40028b6e76SBarry Smith PetscFunctionReturn(0); 41028b6e76SBarry Smith } 42028b6e76SBarry Smith 43028b6e76SBarry Smith /* 4404d7464bSBarry Smith SNESSetFromOptions_NRichardson - Sets various parameters for the SNESNEWTONLS method. 45028b6e76SBarry Smith 46028b6e76SBarry Smith Input Parameter: 47028b6e76SBarry Smith . snes - the SNES context 48028b6e76SBarry Smith 49028b6e76SBarry Smith Application Interface Routine: SNESSetFromOptions() 50028b6e76SBarry Smith */ 514416b707SBarry Smith static PetscErrorCode SNESSetFromOptions_NRichardson(PetscOptionItems *PetscOptionsObject,SNES snes) 52028b6e76SBarry Smith { 53028b6e76SBarry Smith PetscFunctionBegin; 549566063dSJacob Faibussowitsch PetscCall(PetscOptionsHead(PetscOptionsObject,"SNES Richardson options")); 559566063dSJacob Faibussowitsch PetscCall(PetscOptionsTail()); 56028b6e76SBarry Smith PetscFunctionReturn(0); 57028b6e76SBarry Smith } 58028b6e76SBarry Smith 59028b6e76SBarry Smith /* 60d5c3842bSBarry Smith SNESView_NRichardson - Prints info from the SNESRichardson data structure. 61028b6e76SBarry Smith 62028b6e76SBarry Smith Input Parameters: 63028b6e76SBarry Smith + SNES - the SNES context 64028b6e76SBarry Smith - viewer - visualization context 65028b6e76SBarry Smith 66028b6e76SBarry Smith Application Interface Routine: SNESView() 67028b6e76SBarry Smith */ 68d5c3842bSBarry Smith static PetscErrorCode SNESView_NRichardson(SNES snes, PetscViewer viewer) 69028b6e76SBarry Smith { 70028b6e76SBarry Smith PetscBool iascii; 71028b6e76SBarry Smith 72028b6e76SBarry Smith PetscFunctionBegin; 739566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii)); 74028b6e76SBarry Smith if (iascii) { 75028b6e76SBarry Smith } 76028b6e76SBarry Smith PetscFunctionReturn(0); 77028b6e76SBarry Smith } 78028b6e76SBarry Smith 79028b6e76SBarry Smith /* 80d5c3842bSBarry Smith SNESSolve_NRichardson - Solves a nonlinear system with the Richardson method. 81028b6e76SBarry Smith 82028b6e76SBarry Smith Input Parameters: 83028b6e76SBarry Smith . snes - the SNES context 84028b6e76SBarry Smith 85028b6e76SBarry Smith Output Parameter: 86028b6e76SBarry Smith . outits - number of iterations until termination 87028b6e76SBarry Smith 88028b6e76SBarry Smith Application Interface Routine: SNESSolve() 89028b6e76SBarry Smith */ 90d5c3842bSBarry Smith PetscErrorCode SNESSolve_NRichardson(SNES snes) 91028b6e76SBarry Smith { 92bf7f4e0aSPeter Brune Vec X, Y, F; 93e7058c64SPeter Brune PetscReal xnorm, fnorm, ynorm; 94028b6e76SBarry Smith PetscInt maxits, i; 95422a814eSBarry Smith SNESLineSearchReason lsresult; 96028b6e76SBarry Smith SNESConvergedReason reason; 97028b6e76SBarry Smith 98028b6e76SBarry Smith PetscFunctionBegin; 992c71b3e2SJacob Faibussowitsch PetscCheckFalse(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); 100c579b300SPatrick Farrell 101028b6e76SBarry Smith snes->reason = SNES_CONVERGED_ITERATING; 102028b6e76SBarry Smith 103028b6e76SBarry Smith maxits = snes->max_its; /* maximum number of iterations */ 104028b6e76SBarry Smith X = snes->vec_sol; /* X^n */ 105028b6e76SBarry Smith Y = snes->vec_sol_update; /* \tilde X */ 106028b6e76SBarry Smith F = snes->vec_func; /* residual vector */ 107028b6e76SBarry Smith 1089566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes)); 109028b6e76SBarry Smith snes->iter = 0; 110028b6e76SBarry Smith snes->norm = 0.; 1119566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes)); 112b7281c8aSPeter Brune 113efd4aadfSBarry Smith if (snes->npc && snes->functype == SNES_FUNCTION_PRECONDITIONED) { 1149566063dSJacob Faibussowitsch PetscCall(SNESApplyNPC(snes,X,NULL,F)); 1159566063dSJacob Faibussowitsch PetscCall(SNESGetConvergedReason(snes->npc,&reason)); 116b7281c8aSPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 117b7281c8aSPeter Brune snes->reason = SNES_DIVERGED_INNER; 118b7281c8aSPeter Brune PetscFunctionReturn(0); 119b7281c8aSPeter Brune } 1209566063dSJacob Faibussowitsch PetscCall(VecNorm(F,NORM_2,&fnorm)); 121b7281c8aSPeter Brune } else { 122e4ed7901SPeter Brune if (!snes->vec_func_init_set) { 1239566063dSJacob Faibussowitsch PetscCall(SNESComputeFunction(snes,X,F)); 1241aa26658SKarl Rupp } else snes->vec_func_init_set = PETSC_FALSE; 125c1c75074SPeter Brune 1269566063dSJacob Faibussowitsch PetscCall(VecNorm(F,NORM_2,&fnorm)); 127422a814eSBarry Smith SNESCheckFunctionNorm(snes,fnorm); 128b7281c8aSPeter Brune } 129efd4aadfSBarry Smith if (snes->npc && snes->functype == SNES_FUNCTION_UNPRECONDITIONED) { 1309566063dSJacob Faibussowitsch PetscCall(SNESApplyNPC(snes,X,F,Y)); 1319566063dSJacob Faibussowitsch PetscCall(SNESGetConvergedReason(snes->npc,&reason)); 132b7281c8aSPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 133b7281c8aSPeter Brune snes->reason = SNES_DIVERGED_INNER; 134b7281c8aSPeter Brune PetscFunctionReturn(0); 135b7281c8aSPeter Brune } 136b7281c8aSPeter Brune } else { 1379566063dSJacob Faibussowitsch PetscCall(VecCopy(F,Y)); 138b7281c8aSPeter Brune } 139e4ed7901SPeter Brune 1409566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes)); 141028b6e76SBarry Smith snes->norm = fnorm; 1429566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes)); 1439566063dSJacob Faibussowitsch PetscCall(SNESLogConvergenceHistory(snes,fnorm,0)); 1449566063dSJacob Faibussowitsch PetscCall(SNESMonitor(snes,0,fnorm)); 145028b6e76SBarry Smith 146028b6e76SBarry Smith /* test convergence */ 1479566063dSJacob Faibussowitsch PetscCall((*snes->ops->converged)(snes,0,0.0,0.0,fnorm,&snes->reason,snes->cnvP)); 148028b6e76SBarry Smith if (snes->reason) PetscFunctionReturn(0); 149028b6e76SBarry Smith 150028b6e76SBarry Smith /* Call general purpose update function */ 151028b6e76SBarry Smith if (snes->ops->update) { 1529566063dSJacob Faibussowitsch PetscCall((*snes->ops->update)(snes, snes->iter)); 153028b6e76SBarry Smith } 154b7281c8aSPeter Brune 155b7281c8aSPeter Brune /* set parameter for default relative tolerance convergence test */ 156b7281c8aSPeter Brune snes->ttol = fnorm*snes->rtol; 157b7281c8aSPeter Brune /* test convergence */ 1589566063dSJacob Faibussowitsch PetscCall((*snes->ops->converged)(snes,0,0.0,0.0,fnorm,&snes->reason,snes->cnvP)); 159b7281c8aSPeter Brune if (snes->reason) PetscFunctionReturn(0); 160b7281c8aSPeter Brune 161b7281c8aSPeter Brune for (i = 1; i < maxits+1; i++) { 1629566063dSJacob Faibussowitsch PetscCall(SNESLineSearchApply(snes->linesearch, X, F, &fnorm, Y)); 1639566063dSJacob Faibussowitsch PetscCall(SNESLineSearchGetReason(snes->linesearch, &lsresult)); 1649566063dSJacob Faibussowitsch PetscCall(SNESLineSearchGetNorms(snes->linesearch, &xnorm, &fnorm, &ynorm)); 165422a814eSBarry Smith if (lsresult) { 166028b6e76SBarry Smith if (++snes->numFailures >= snes->maxFailures) { 167028b6e76SBarry Smith snes->reason = SNES_DIVERGED_LINE_SEARCH; 168028b6e76SBarry Smith break; 169028b6e76SBarry Smith } 170028b6e76SBarry Smith } 171e71169deSBarry Smith if (snes->nfuncs >= snes->max_funcs && snes->max_funcs >= 0) { 172028b6e76SBarry Smith snes->reason = SNES_DIVERGED_FUNCTION_COUNT; 173028b6e76SBarry Smith break; 174028b6e76SBarry Smith } 175b7281c8aSPeter Brune 176028b6e76SBarry Smith /* Monitor convergence */ 1779566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes)); 178b7281c8aSPeter Brune snes->iter = i; 179028b6e76SBarry Smith snes->norm = fnorm; 180c1e67a49SFande Kong snes->xnorm = xnorm; 181c1e67a49SFande Kong snes->ynorm = ynorm; 1829566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes)); 1839566063dSJacob Faibussowitsch PetscCall(SNESLogConvergenceHistory(snes,snes->norm,0)); 1849566063dSJacob Faibussowitsch PetscCall(SNESMonitor(snes,snes->iter,snes->norm)); 185028b6e76SBarry Smith /* Test for convergence */ 1869566063dSJacob Faibussowitsch PetscCall((*snes->ops->converged)(snes,snes->iter,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP)); 187028b6e76SBarry Smith if (snes->reason) break; 188b7281c8aSPeter Brune 189b7281c8aSPeter Brune /* Call general purpose update function */ 190b7281c8aSPeter Brune if (snes->ops->update) { 1919566063dSJacob Faibussowitsch PetscCall((*snes->ops->update)(snes, snes->iter)); 192028b6e76SBarry Smith } 193b7281c8aSPeter Brune 194efd4aadfSBarry Smith if (snes->npc) { 195b7281c8aSPeter Brune if (snes->functype == SNES_FUNCTION_PRECONDITIONED) { 1969566063dSJacob Faibussowitsch PetscCall(SNESApplyNPC(snes,X,NULL,Y)); 1979566063dSJacob Faibussowitsch PetscCall(VecNorm(F,NORM_2,&fnorm)); 1989566063dSJacob Faibussowitsch PetscCall(VecCopy(Y,F)); 199b7281c8aSPeter Brune } else { 2009566063dSJacob Faibussowitsch PetscCall(SNESApplyNPC(snes,X,F,Y)); 201b7281c8aSPeter Brune } 2029566063dSJacob Faibussowitsch PetscCall(SNESGetConvergedReason(snes->npc,&reason)); 203b7281c8aSPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 204b7281c8aSPeter Brune snes->reason = SNES_DIVERGED_INNER; 205b7281c8aSPeter Brune PetscFunctionReturn(0); 206b7281c8aSPeter Brune } 207b7281c8aSPeter Brune } else { 2089566063dSJacob Faibussowitsch PetscCall(VecCopy(F,Y)); 209b7281c8aSPeter Brune } 210b7281c8aSPeter Brune } 211b7281c8aSPeter Brune if (i == maxits+1) { 2129566063dSJacob Faibussowitsch PetscCall(PetscInfo(snes, "Maximum number of iterations has been reached: %D\n", maxits)); 213028b6e76SBarry Smith if (!snes->reason) snes->reason = SNES_DIVERGED_MAX_IT; 214028b6e76SBarry Smith } 215028b6e76SBarry Smith PetscFunctionReturn(0); 216028b6e76SBarry Smith } 217028b6e76SBarry Smith 218028b6e76SBarry Smith /*MC 219d5c3842bSBarry Smith SNESNRICHARDSON - Richardson nonlinear solver that uses successive substitutions, also sometimes known as Picard iteration. 220028b6e76SBarry Smith 221028b6e76SBarry Smith Level: beginner 222028b6e76SBarry Smith 223028b6e76SBarry Smith Options Database: 22467b8a455SSatish Balay + -snes_linesearch_type <l2,cp,basic> - Line search type. 22567b8a455SSatish Balay - -snes_linesearch_damping<1.0> - Damping for the line search. 226028b6e76SBarry Smith 22795452b02SPatrick Sanan Notes: 22895452b02SPatrick Sanan If no inner nonlinear preconditioner is provided then solves F(x) - b = 0 using x^{n+1} = x^{n} - lambda 229af60355fSPeter Brune (F(x^n) - b) where lambda is obtained either SNESLineSearchSetDamping(), -snes_damping or a line search. If 230be95d8f1SBarry Smith an inner nonlinear preconditioner is provided (either with -npc_snes_type or SNESSetNPC()) then the inner 231af60355fSPeter Brune solver is called an initial solution x^n and the nonlinear Richardson uses x^{n+1} = x^{n} + lambda d^{n} 232af60355fSPeter Brune where d^{n} = \hat{x}^{n} - x^{n} where \hat{x}^{n} is the solution returned from the inner solver. 233028b6e76SBarry Smith 23472835e02SPeter Brune The update, especially without inner nonlinear preconditioner, may be ill-scaled. If using the basic 23572835e02SPeter Brune linesearch, one may have to scale the update with -snes_linesearch_damping 23672835e02SPeter Brune 237028b6e76SBarry Smith This uses no derivative information thus will be much slower then Newton's method obtained with -snes_type ls 238028b6e76SBarry Smith 2392d547940SBarry Smith Only supports left non-linear preconditioning. 2402d547940SBarry Smith 24104d7464bSBarry Smith .seealso: SNESCreate(), SNES, SNESSetType(), SNESNEWTONLS, SNESNEWTONTR, SNESNGMRES, SNESQN, SNESNCG 242028b6e76SBarry Smith M*/ 2438cc058d9SJed Brown PETSC_EXTERN PetscErrorCode SNESCreate_NRichardson(SNES snes) 244028b6e76SBarry Smith { 245bf7f4e0aSPeter Brune SNES_NRichardson *neP; 246d8d34be6SBarry Smith SNESLineSearch linesearch; 2475fd66863SKarl Rupp 248028b6e76SBarry Smith PetscFunctionBegin; 249d5c3842bSBarry Smith snes->ops->destroy = SNESDestroy_NRichardson; 250d5c3842bSBarry Smith snes->ops->setup = SNESSetUp_NRichardson; 251d5c3842bSBarry Smith snes->ops->setfromoptions = SNESSetFromOptions_NRichardson; 252d5c3842bSBarry Smith snes->ops->view = SNESView_NRichardson; 253d5c3842bSBarry Smith snes->ops->solve = SNESSolve_NRichardson; 254d5c3842bSBarry Smith snes->ops->reset = SNESReset_NRichardson; 255028b6e76SBarry Smith 256028b6e76SBarry Smith snes->usesksp = PETSC_FALSE; 257efd4aadfSBarry Smith snes->usesnpc = PETSC_TRUE; 258028b6e76SBarry Smith 259efd4aadfSBarry Smith snes->npcside= PC_LEFT; 260c6b63b32SPeter Brune 2619566063dSJacob Faibussowitsch PetscCall(SNESGetLineSearch(snes, &linesearch)); 262ec786807SJed Brown if (!((PetscObject)linesearch)->type_name) { 2639566063dSJacob Faibussowitsch PetscCall(SNESLineSearchSetType(linesearch, SNESLINESEARCHL2)); 264ec786807SJed Brown } 265d8d34be6SBarry Smith 2664fc747eaSLawrence Mitchell snes->alwayscomputesfinalresidual = PETSC_TRUE; 2674fc747eaSLawrence Mitchell 2689566063dSJacob Faibussowitsch PetscCall(PetscNewLog(snes,&neP)); 269bf7f4e0aSPeter Brune snes->data = (void*) neP; 270bf7f4e0aSPeter Brune 27188976e71SPeter Brune if (!snes->tolerancesset) { 2720e444f03SPeter Brune snes->max_funcs = 30000; 2730e444f03SPeter Brune snes->max_its = 10000; 274c522fa08SPeter Brune snes->stol = 1e-20; 27588976e71SPeter Brune } 276028b6e76SBarry Smith PetscFunctionReturn(0); 277028b6e76SBarry Smith } 278