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; 3808401ef6SPierre 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 */ 51*dbbe0bcdSBarry Smith static PetscErrorCode SNESSetFromOptions_NRichardson(SNES snes,PetscOptionItems *PetscOptionsObject) 52028b6e76SBarry Smith { 53028b6e76SBarry Smith PetscFunctionBegin; 54d0609cedSBarry Smith PetscOptionsHeadBegin(PetscOptionsObject,"SNES Richardson options"); 55d0609cedSBarry Smith PetscOptionsHeadEnd(); 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; 990b121fc5SBarry 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); 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 */ 147*dbbe0bcdSBarry Smith PetscUseTypeMethod(snes,converged ,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 */ 151*dbbe0bcdSBarry Smith PetscTryTypeMethod(snes,update, snes->iter); 152b7281c8aSPeter Brune 153b7281c8aSPeter Brune /* set parameter for default relative tolerance convergence test */ 154b7281c8aSPeter Brune snes->ttol = fnorm*snes->rtol; 155b7281c8aSPeter Brune /* test convergence */ 156*dbbe0bcdSBarry Smith PetscUseTypeMethod(snes,converged ,0,0.0,0.0,fnorm,&snes->reason,snes->cnvP); 157b7281c8aSPeter Brune if (snes->reason) PetscFunctionReturn(0); 158b7281c8aSPeter Brune 159b7281c8aSPeter Brune for (i = 1; i < maxits+1; i++) { 1609566063dSJacob Faibussowitsch PetscCall(SNESLineSearchApply(snes->linesearch, X, F, &fnorm, Y)); 1619566063dSJacob Faibussowitsch PetscCall(SNESLineSearchGetReason(snes->linesearch, &lsresult)); 1629566063dSJacob Faibussowitsch PetscCall(SNESLineSearchGetNorms(snes->linesearch, &xnorm, &fnorm, &ynorm)); 163422a814eSBarry Smith if (lsresult) { 164028b6e76SBarry Smith if (++snes->numFailures >= snes->maxFailures) { 165028b6e76SBarry Smith snes->reason = SNES_DIVERGED_LINE_SEARCH; 166028b6e76SBarry Smith break; 167028b6e76SBarry Smith } 168028b6e76SBarry Smith } 169e71169deSBarry Smith if (snes->nfuncs >= snes->max_funcs && snes->max_funcs >= 0) { 170028b6e76SBarry Smith snes->reason = SNES_DIVERGED_FUNCTION_COUNT; 171028b6e76SBarry Smith break; 172028b6e76SBarry Smith } 173b7281c8aSPeter Brune 174028b6e76SBarry Smith /* Monitor convergence */ 1759566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsTakeAccess((PetscObject)snes)); 176b7281c8aSPeter Brune snes->iter = i; 177028b6e76SBarry Smith snes->norm = fnorm; 178c1e67a49SFande Kong snes->xnorm = xnorm; 179c1e67a49SFande Kong snes->ynorm = ynorm; 1809566063dSJacob Faibussowitsch PetscCall(PetscObjectSAWsGrantAccess((PetscObject)snes)); 1819566063dSJacob Faibussowitsch PetscCall(SNESLogConvergenceHistory(snes,snes->norm,0)); 1829566063dSJacob Faibussowitsch PetscCall(SNESMonitor(snes,snes->iter,snes->norm)); 183028b6e76SBarry Smith /* Test for convergence */ 184*dbbe0bcdSBarry Smith PetscUseTypeMethod(snes,converged ,snes->iter,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP); 185028b6e76SBarry Smith if (snes->reason) break; 186b7281c8aSPeter Brune 187b7281c8aSPeter Brune /* Call general purpose update function */ 188*dbbe0bcdSBarry Smith PetscTryTypeMethod(snes,update, snes->iter); 189b7281c8aSPeter Brune 190efd4aadfSBarry Smith if (snes->npc) { 191b7281c8aSPeter Brune if (snes->functype == SNES_FUNCTION_PRECONDITIONED) { 1929566063dSJacob Faibussowitsch PetscCall(SNESApplyNPC(snes,X,NULL,Y)); 1939566063dSJacob Faibussowitsch PetscCall(VecNorm(F,NORM_2,&fnorm)); 1949566063dSJacob Faibussowitsch PetscCall(VecCopy(Y,F)); 195b7281c8aSPeter Brune } else { 1969566063dSJacob Faibussowitsch PetscCall(SNESApplyNPC(snes,X,F,Y)); 197b7281c8aSPeter Brune } 1989566063dSJacob Faibussowitsch PetscCall(SNESGetConvergedReason(snes->npc,&reason)); 199b7281c8aSPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 200b7281c8aSPeter Brune snes->reason = SNES_DIVERGED_INNER; 201b7281c8aSPeter Brune PetscFunctionReturn(0); 202b7281c8aSPeter Brune } 203b7281c8aSPeter Brune } else { 2049566063dSJacob Faibussowitsch PetscCall(VecCopy(F,Y)); 205b7281c8aSPeter Brune } 206b7281c8aSPeter Brune } 207b7281c8aSPeter Brune if (i == maxits+1) { 20863a3b9bcSJacob Faibussowitsch PetscCall(PetscInfo(snes, "Maximum number of iterations has been reached: %" PetscInt_FMT "\n", maxits)); 209028b6e76SBarry Smith if (!snes->reason) snes->reason = SNES_DIVERGED_MAX_IT; 210028b6e76SBarry Smith } 211028b6e76SBarry Smith PetscFunctionReturn(0); 212028b6e76SBarry Smith } 213028b6e76SBarry Smith 214028b6e76SBarry Smith /*MC 215d5c3842bSBarry Smith SNESNRICHARDSON - Richardson nonlinear solver that uses successive substitutions, also sometimes known as Picard iteration. 216028b6e76SBarry Smith 217028b6e76SBarry Smith Level: beginner 218028b6e76SBarry Smith 219028b6e76SBarry Smith Options Database: 22067b8a455SSatish Balay + -snes_linesearch_type <l2,cp,basic> - Line search type. 22167b8a455SSatish Balay - -snes_linesearch_damping<1.0> - Damping for the line search. 222028b6e76SBarry Smith 22395452b02SPatrick Sanan Notes: 22495452b02SPatrick Sanan If no inner nonlinear preconditioner is provided then solves F(x) - b = 0 using x^{n+1} = x^{n} - lambda 225af60355fSPeter Brune (F(x^n) - b) where lambda is obtained either SNESLineSearchSetDamping(), -snes_damping or a line search. If 226be95d8f1SBarry Smith an inner nonlinear preconditioner is provided (either with -npc_snes_type or SNESSetNPC()) then the inner 227af60355fSPeter Brune solver is called an initial solution x^n and the nonlinear Richardson uses x^{n+1} = x^{n} + lambda d^{n} 228af60355fSPeter Brune where d^{n} = \hat{x}^{n} - x^{n} where \hat{x}^{n} is the solution returned from the inner solver. 229028b6e76SBarry Smith 23072835e02SPeter Brune The update, especially without inner nonlinear preconditioner, may be ill-scaled. If using the basic 23172835e02SPeter Brune linesearch, one may have to scale the update with -snes_linesearch_damping 23272835e02SPeter Brune 233028b6e76SBarry Smith This uses no derivative information thus will be much slower then Newton's method obtained with -snes_type ls 234028b6e76SBarry Smith 2352d547940SBarry Smith Only supports left non-linear preconditioning. 2362d547940SBarry Smith 237db781477SPatrick Sanan .seealso: `SNESCreate()`, `SNES`, `SNESSetType()`, `SNESNEWTONLS`, `SNESNEWTONTR`, `SNESNGMRES`, `SNESQN`, `SNESNCG` 238028b6e76SBarry Smith M*/ 2398cc058d9SJed Brown PETSC_EXTERN PetscErrorCode SNESCreate_NRichardson(SNES snes) 240028b6e76SBarry Smith { 241bf7f4e0aSPeter Brune SNES_NRichardson *neP; 242d8d34be6SBarry Smith SNESLineSearch linesearch; 2435fd66863SKarl Rupp 244028b6e76SBarry Smith PetscFunctionBegin; 245d5c3842bSBarry Smith snes->ops->destroy = SNESDestroy_NRichardson; 246d5c3842bSBarry Smith snes->ops->setup = SNESSetUp_NRichardson; 247d5c3842bSBarry Smith snes->ops->setfromoptions = SNESSetFromOptions_NRichardson; 248d5c3842bSBarry Smith snes->ops->view = SNESView_NRichardson; 249d5c3842bSBarry Smith snes->ops->solve = SNESSolve_NRichardson; 250d5c3842bSBarry Smith snes->ops->reset = SNESReset_NRichardson; 251028b6e76SBarry Smith 252028b6e76SBarry Smith snes->usesksp = PETSC_FALSE; 253efd4aadfSBarry Smith snes->usesnpc = PETSC_TRUE; 254028b6e76SBarry Smith 255efd4aadfSBarry Smith snes->npcside= PC_LEFT; 256c6b63b32SPeter Brune 2579566063dSJacob Faibussowitsch PetscCall(SNESGetLineSearch(snes, &linesearch)); 258ec786807SJed Brown if (!((PetscObject)linesearch)->type_name) { 2599566063dSJacob Faibussowitsch PetscCall(SNESLineSearchSetType(linesearch, SNESLINESEARCHL2)); 260ec786807SJed Brown } 261d8d34be6SBarry Smith 2624fc747eaSLawrence Mitchell snes->alwayscomputesfinalresidual = PETSC_TRUE; 2634fc747eaSLawrence Mitchell 2649566063dSJacob Faibussowitsch PetscCall(PetscNewLog(snes,&neP)); 265bf7f4e0aSPeter Brune snes->data = (void*) neP; 266bf7f4e0aSPeter Brune 26788976e71SPeter Brune if (!snes->tolerancesset) { 2680e444f03SPeter Brune snes->max_funcs = 30000; 2690e444f03SPeter Brune snes->max_its = 10000; 270c522fa08SPeter Brune snes->stol = 1e-20; 27188976e71SPeter Brune } 272028b6e76SBarry Smith PetscFunctionReturn(0); 273028b6e76SBarry Smith } 274