142f4f86dSBarry Smith #include <../src/snes/impls/richardson/snesrichardsonimpl.h> 2028b6e76SBarry Smith 3bf7f4e0aSPeter Brune 4028b6e76SBarry Smith #undef __FUNCT__ 5d5c3842bSBarry Smith #define __FUNCT__ "SNESReset_NRichardson" 6d5c3842bSBarry Smith PetscErrorCode SNESReset_NRichardson(SNES snes) 7028b6e76SBarry Smith { 8028b6e76SBarry Smith PetscFunctionBegin; 9028b6e76SBarry Smith PetscFunctionReturn(0); 10028b6e76SBarry Smith } 11028b6e76SBarry Smith 12028b6e76SBarry Smith /* 13d5c3842bSBarry Smith SNESDestroy_NRichardson - Destroys the private SNES_NRichardson context that was created with SNESCreate_NRichardson(). 14028b6e76SBarry Smith 15028b6e76SBarry Smith Input Parameter: 16028b6e76SBarry Smith . snes - the SNES context 17028b6e76SBarry Smith 18028b6e76SBarry Smith Application Interface Routine: SNESDestroy() 19028b6e76SBarry Smith */ 20028b6e76SBarry Smith #undef __FUNCT__ 21d5c3842bSBarry Smith #define __FUNCT__ "SNESDestroy_NRichardson" 22d5c3842bSBarry Smith PetscErrorCode SNESDestroy_NRichardson(SNES snes) 23028b6e76SBarry Smith { 24028b6e76SBarry Smith PetscErrorCode ierr; 25028b6e76SBarry Smith 26028b6e76SBarry Smith PetscFunctionBegin; 27d5c3842bSBarry Smith ierr = SNESReset_NRichardson(snes);CHKERRQ(ierr); 28028b6e76SBarry Smith ierr = PetscFree(snes->data);CHKERRQ(ierr); 29028b6e76SBarry Smith PetscFunctionReturn(0); 30028b6e76SBarry Smith } 31028b6e76SBarry Smith 32028b6e76SBarry Smith /* 33d5c3842bSBarry Smith SNESSetUp_NRichardson - Sets up the internal data structures for the later use 34d5c3842bSBarry Smith of the SNESNRICHARDSON nonlinear solver. 35028b6e76SBarry Smith 36028b6e76SBarry Smith Input Parameters: 37028b6e76SBarry Smith + snes - the SNES context 38028b6e76SBarry Smith - x - the solution vector 39028b6e76SBarry Smith 40028b6e76SBarry Smith Application Interface Routine: SNESSetUp() 41028b6e76SBarry Smith */ 42028b6e76SBarry Smith #undef __FUNCT__ 43d5c3842bSBarry Smith #define __FUNCT__ "SNESSetUp_NRichardson" 44d5c3842bSBarry Smith PetscErrorCode SNESSetUp_NRichardson(SNES snes) 45028b6e76SBarry Smith { 46028b6e76SBarry Smith PetscFunctionBegin; 47c6b63b32SPeter Brune if (snes->pcside == PC_RIGHT) {SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"NRichardson only supports left preconditioning");} 486c67d002SPeter Brune if (snes->functype == SNES_FUNCTION_DEFAULT) snes->functype = SNES_FUNCTION_UNPRECONDITIONED; 49028b6e76SBarry Smith PetscFunctionReturn(0); 50028b6e76SBarry Smith } 51028b6e76SBarry Smith 52028b6e76SBarry Smith /* 5304d7464bSBarry Smith SNESSetFromOptions_NRichardson - Sets various parameters for the SNESNEWTONLS method. 54028b6e76SBarry Smith 55028b6e76SBarry Smith Input Parameter: 56028b6e76SBarry Smith . snes - the SNES context 57028b6e76SBarry Smith 58028b6e76SBarry Smith Application Interface Routine: SNESSetFromOptions() 59028b6e76SBarry Smith */ 60028b6e76SBarry Smith #undef __FUNCT__ 61d5c3842bSBarry Smith #define __FUNCT__ "SNESSetFromOptions_NRichardson" 62d5c3842bSBarry Smith static PetscErrorCode SNESSetFromOptions_NRichardson(SNES snes) 63028b6e76SBarry Smith { 64028b6e76SBarry Smith PetscErrorCode ierr; 65f1c6b773SPeter Brune SNESLineSearch linesearch; 665fd66863SKarl Rupp 67028b6e76SBarry Smith PetscFunctionBegin; 6842f4f86dSBarry Smith ierr = PetscOptionsHead("SNES Richardson options");CHKERRQ(ierr); 69028b6e76SBarry Smith ierr = PetscOptionsTail();CHKERRQ(ierr); 709e764e56SPeter Brune if (!snes->linesearch) { 717601faf0SJed Brown ierr = SNESGetLineSearch(snes, &linesearch);CHKERRQ(ierr); 721a4f838cSPeter Brune ierr = SNESLineSearchSetType(linesearch, SNESLINESEARCHL2);CHKERRQ(ierr); 739e764e56SPeter Brune } 74028b6e76SBarry Smith PetscFunctionReturn(0); 75028b6e76SBarry Smith } 76028b6e76SBarry Smith 77028b6e76SBarry Smith /* 78d5c3842bSBarry Smith SNESView_NRichardson - Prints info from the SNESRichardson data structure. 79028b6e76SBarry Smith 80028b6e76SBarry Smith Input Parameters: 81028b6e76SBarry Smith + SNES - the SNES context 82028b6e76SBarry Smith - viewer - visualization context 83028b6e76SBarry Smith 84028b6e76SBarry Smith Application Interface Routine: SNESView() 85028b6e76SBarry Smith */ 86028b6e76SBarry Smith #undef __FUNCT__ 87d5c3842bSBarry Smith #define __FUNCT__ "SNESView_NRichardson" 88d5c3842bSBarry Smith static PetscErrorCode SNESView_NRichardson(SNES snes, PetscViewer viewer) 89028b6e76SBarry Smith { 90028b6e76SBarry Smith PetscBool iascii; 91028b6e76SBarry Smith PetscErrorCode ierr; 92028b6e76SBarry Smith 93028b6e76SBarry Smith PetscFunctionBegin; 94251f4c67SDmitry Karpeev ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 95028b6e76SBarry Smith if (iascii) { 96028b6e76SBarry Smith } 97028b6e76SBarry Smith PetscFunctionReturn(0); 98028b6e76SBarry Smith } 99028b6e76SBarry Smith 100028b6e76SBarry Smith /* 101d5c3842bSBarry Smith SNESSolve_NRichardson - Solves a nonlinear system with the Richardson method. 102028b6e76SBarry Smith 103028b6e76SBarry Smith Input Parameters: 104028b6e76SBarry Smith . snes - the SNES context 105028b6e76SBarry Smith 106028b6e76SBarry Smith Output Parameter: 107028b6e76SBarry Smith . outits - number of iterations until termination 108028b6e76SBarry Smith 109028b6e76SBarry Smith Application Interface Routine: SNESSolve() 110028b6e76SBarry Smith */ 111028b6e76SBarry Smith #undef __FUNCT__ 112d5c3842bSBarry Smith #define __FUNCT__ "SNESSolve_NRichardson" 113d5c3842bSBarry Smith PetscErrorCode SNESSolve_NRichardson(SNES snes) 114028b6e76SBarry Smith { 115bf7f4e0aSPeter Brune Vec X, Y, F; 116e7058c64SPeter Brune PetscReal xnorm, fnorm, ynorm; 117028b6e76SBarry Smith PetscInt maxits, i; 118028b6e76SBarry Smith PetscErrorCode ierr; 119bf7f4e0aSPeter Brune PetscBool lsSuccess; 120028b6e76SBarry Smith SNESConvergedReason reason; 121028b6e76SBarry Smith 122028b6e76SBarry Smith PetscFunctionBegin; 123028b6e76SBarry Smith snes->reason = SNES_CONVERGED_ITERATING; 124028b6e76SBarry Smith 125028b6e76SBarry Smith maxits = snes->max_its; /* maximum number of iterations */ 126028b6e76SBarry Smith X = snes->vec_sol; /* X^n */ 127028b6e76SBarry Smith Y = snes->vec_sol_update; /* \tilde X */ 128028b6e76SBarry Smith F = snes->vec_func; /* residual vector */ 129028b6e76SBarry Smith 130e04113cfSBarry Smith ierr = PetscObjectSAWsTakeAccess((PetscObject)snes);CHKERRQ(ierr); 131028b6e76SBarry Smith snes->iter = 0; 132028b6e76SBarry Smith snes->norm = 0.; 133e04113cfSBarry Smith ierr = PetscObjectSAWsGrantAccess((PetscObject)snes);CHKERRQ(ierr); 134b7281c8aSPeter Brune 135b7281c8aSPeter Brune if (snes->pc && snes->functype == SNES_FUNCTION_PRECONDITIONED) { 136b7281c8aSPeter Brune ierr = SNESApplyPC(snes,X,NULL,NULL,F);CHKERRQ(ierr); 137b7281c8aSPeter Brune ierr = SNESGetConvergedReason(snes->pc,&reason);CHKERRQ(ierr); 138b7281c8aSPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 139b7281c8aSPeter Brune snes->reason = SNES_DIVERGED_INNER; 140b7281c8aSPeter Brune PetscFunctionReturn(0); 141b7281c8aSPeter Brune } 142b7281c8aSPeter Brune ierr = VecNorm(F,NORM_2,&fnorm);CHKERRQ(ierr); 143b7281c8aSPeter Brune } else { 144e4ed7901SPeter Brune if (!snes->vec_func_init_set) { 145028b6e76SBarry Smith ierr = SNESComputeFunction(snes,X,F);CHKERRQ(ierr); 146028b6e76SBarry Smith if (snes->domainerror) { 147028b6e76SBarry Smith snes->reason = SNES_DIVERGED_FUNCTION_DOMAIN; 148028b6e76SBarry Smith PetscFunctionReturn(0); 149028b6e76SBarry Smith } 1501aa26658SKarl Rupp } else snes->vec_func_init_set = PETSC_FALSE; 151c1c75074SPeter Brune 152b7281c8aSPeter Brune ierr = VecNorm(F,NORM_2,&fnorm);CHKERRQ(ierr); 153189a9710SBarry Smith if (PetscIsInfOrNanReal(fnorm)) { 154189a9710SBarry Smith snes->reason = SNES_DIVERGED_FNORM_NAN; 155189a9710SBarry Smith PetscFunctionReturn(0); 156189a9710SBarry Smith } 157b7281c8aSPeter Brune } 158b7281c8aSPeter Brune if (snes->pc && snes->functype == SNES_FUNCTION_UNPRECONDITIONED) { 159b7281c8aSPeter Brune ierr = SNESApplyPC(snes,X,F,&fnorm,Y);CHKERRQ(ierr); 160b7281c8aSPeter Brune ierr = SNESGetConvergedReason(snes->pc,&reason);CHKERRQ(ierr); 161b7281c8aSPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 162b7281c8aSPeter Brune snes->reason = SNES_DIVERGED_INNER; 163b7281c8aSPeter Brune PetscFunctionReturn(0); 164b7281c8aSPeter Brune } 165b7281c8aSPeter Brune } else { 166b7281c8aSPeter Brune ierr = VecCopy(F,Y);CHKERRQ(ierr); 167b7281c8aSPeter Brune } 168e4ed7901SPeter Brune 169e04113cfSBarry Smith ierr = PetscObjectSAWsTakeAccess((PetscObject)snes);CHKERRQ(ierr); 170028b6e76SBarry Smith snes->norm = fnorm; 171e04113cfSBarry Smith ierr = PetscObjectSAWsGrantAccess((PetscObject)snes);CHKERRQ(ierr); 172a71f0d7dSBarry Smith ierr = SNESLogConvergenceHistory(snes,fnorm,0);CHKERRQ(ierr); 173028b6e76SBarry Smith ierr = SNESMonitor(snes,0,fnorm);CHKERRQ(ierr); 174028b6e76SBarry Smith 175028b6e76SBarry Smith /* test convergence */ 176028b6e76SBarry Smith ierr = (*snes->ops->converged)(snes,0,0.0,0.0,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr); 177028b6e76SBarry Smith if (snes->reason) PetscFunctionReturn(0); 178028b6e76SBarry Smith 179028b6e76SBarry Smith /* Call general purpose update function */ 180028b6e76SBarry Smith if (snes->ops->update) { 181028b6e76SBarry Smith ierr = (*snes->ops->update)(snes, snes->iter);CHKERRQ(ierr); 182028b6e76SBarry Smith } 183b7281c8aSPeter Brune 184b7281c8aSPeter Brune /* set parameter for default relative tolerance convergence test */ 185b7281c8aSPeter Brune snes->ttol = fnorm*snes->rtol; 186b7281c8aSPeter Brune /* test convergence */ 187b7281c8aSPeter Brune ierr = (*snes->ops->converged)(snes,0,0.0,0.0,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr); 188b7281c8aSPeter Brune if (snes->reason) PetscFunctionReturn(0); 189b7281c8aSPeter Brune 190b7281c8aSPeter Brune for (i = 1; i < maxits+1; i++) { 191b7281c8aSPeter Brune lsSuccess = PETSC_TRUE; 192b7281c8aSPeter Brune 193f1c6b773SPeter Brune ierr = SNESLineSearchApply(snes->linesearch, X, F, &fnorm, Y);CHKERRQ(ierr); 194f1c6b773SPeter Brune ierr = SNESLineSearchGetNorms(snes->linesearch, &xnorm, &fnorm, &ynorm);CHKERRQ(ierr); 195f1c6b773SPeter Brune ierr = SNESLineSearchGetSuccess(snes->linesearch, &lsSuccess);CHKERRQ(ierr); 196028b6e76SBarry Smith if (!lsSuccess) { 197028b6e76SBarry Smith if (++snes->numFailures >= snes->maxFailures) { 198028b6e76SBarry Smith snes->reason = SNES_DIVERGED_LINE_SEARCH; 199028b6e76SBarry Smith break; 200028b6e76SBarry Smith } 201028b6e76SBarry Smith } 202028b6e76SBarry Smith if (snes->nfuncs >= snes->max_funcs) { 203028b6e76SBarry Smith snes->reason = SNES_DIVERGED_FUNCTION_COUNT; 204028b6e76SBarry Smith break; 205028b6e76SBarry Smith } 206028b6e76SBarry Smith if (snes->domainerror) { 207028b6e76SBarry Smith snes->reason = SNES_DIVERGED_FUNCTION_DOMAIN; 208028b6e76SBarry Smith PetscFunctionReturn(0); 209028b6e76SBarry Smith } 210b7281c8aSPeter Brune 211028b6e76SBarry Smith /* Monitor convergence */ 212e04113cfSBarry Smith ierr = PetscObjectSAWsTakeAccess((PetscObject)snes);CHKERRQ(ierr); 213b7281c8aSPeter Brune snes->iter = i; 214028b6e76SBarry Smith snes->norm = fnorm; 215e04113cfSBarry Smith ierr = PetscObjectSAWsGrantAccess((PetscObject)snes);CHKERRQ(ierr); 216a71f0d7dSBarry Smith ierr = SNESLogConvergenceHistory(snes,snes->norm,0);CHKERRQ(ierr); 217028b6e76SBarry Smith ierr = SNESMonitor(snes,snes->iter,snes->norm);CHKERRQ(ierr); 218028b6e76SBarry Smith /* Test for convergence */ 219e7058c64SPeter Brune ierr = (*snes->ops->converged)(snes,snes->iter,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr); 220028b6e76SBarry Smith if (snes->reason) break; 221b7281c8aSPeter Brune 222b7281c8aSPeter Brune /* Call general purpose update function */ 223b7281c8aSPeter Brune if (snes->ops->update) { 224b7281c8aSPeter Brune ierr = (*snes->ops->update)(snes, snes->iter);CHKERRQ(ierr); 225028b6e76SBarry Smith } 226b7281c8aSPeter Brune 227b7281c8aSPeter Brune if (snes->pc) { 228b7281c8aSPeter Brune if (snes->functype == SNES_FUNCTION_PRECONDITIONED) { 229b7281c8aSPeter Brune ierr = SNESApplyPC(snes,X,NULL,NULL,Y);CHKERRQ(ierr); 230b7281c8aSPeter Brune ierr = VecNorm(F,NORM_2,&fnorm);CHKERRQ(ierr); 231b7281c8aSPeter Brune ierr = VecCopy(Y,F);CHKERRQ(ierr); 232b7281c8aSPeter Brune } else { 233b7281c8aSPeter Brune ierr = SNESApplyPC(snes,X,F,&fnorm,Y);CHKERRQ(ierr); 234b7281c8aSPeter Brune } 235b7281c8aSPeter Brune ierr = SNESGetConvergedReason(snes->pc,&reason);CHKERRQ(ierr); 236b7281c8aSPeter Brune if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) { 237b7281c8aSPeter Brune snes->reason = SNES_DIVERGED_INNER; 238b7281c8aSPeter Brune PetscFunctionReturn(0); 239b7281c8aSPeter Brune } 240b7281c8aSPeter Brune } else { 241b7281c8aSPeter Brune ierr = VecCopy(F,Y);CHKERRQ(ierr); 242b7281c8aSPeter Brune } 243b7281c8aSPeter Brune } 244b7281c8aSPeter Brune if (i == maxits+1) { 245028b6e76SBarry Smith ierr = PetscInfo1(snes, "Maximum number of iterations has been reached: %D\n", maxits);CHKERRQ(ierr); 246028b6e76SBarry Smith if (!snes->reason) snes->reason = SNES_DIVERGED_MAX_IT; 247028b6e76SBarry Smith } 248028b6e76SBarry Smith PetscFunctionReturn(0); 249028b6e76SBarry Smith } 250028b6e76SBarry Smith 251028b6e76SBarry Smith /*MC 252d5c3842bSBarry Smith SNESNRICHARDSON - Richardson nonlinear solver that uses successive substitutions, also sometimes known as Picard iteration. 253028b6e76SBarry Smith 254028b6e76SBarry Smith Level: beginner 255028b6e76SBarry Smith 256028b6e76SBarry Smith Options Database: 25772835e02SPeter Brune + -snes_linesearch_type <l2,cp,basic> Line search type. 25872835e02SPeter Brune - -snes_linesearch_damping<1.0> Damping for the line search. 259028b6e76SBarry Smith 260af60355fSPeter Brune Notes: If no inner nonlinear preconditioner is provided then solves F(x) - b = 0 using x^{n+1} = x^{n} - lambda 261af60355fSPeter Brune (F(x^n) - b) where lambda is obtained either SNESLineSearchSetDamping(), -snes_damping or a line search. If 262af60355fSPeter Brune an inner nonlinear preconditioner is provided (either with -npc_snes_type or SNESSetPC()) then the inner 263af60355fSPeter Brune solver is called an initial solution x^n and the nonlinear Richardson uses x^{n+1} = x^{n} + lambda d^{n} 264af60355fSPeter Brune where d^{n} = \hat{x}^{n} - x^{n} where \hat{x}^{n} is the solution returned from the inner solver. 265028b6e76SBarry Smith 26672835e02SPeter Brune The update, especially without inner nonlinear preconditioner, may be ill-scaled. If using the basic 26772835e02SPeter Brune linesearch, one may have to scale the update with -snes_linesearch_damping 26872835e02SPeter Brune 269028b6e76SBarry Smith This uses no derivative information thus will be much slower then Newton's method obtained with -snes_type ls 270028b6e76SBarry Smith 27104d7464bSBarry Smith .seealso: SNESCreate(), SNES, SNESSetType(), SNESNEWTONLS, SNESNEWTONTR, SNESNGMRES, SNESQN, SNESNCG 272028b6e76SBarry Smith M*/ 273028b6e76SBarry Smith #undef __FUNCT__ 274d5c3842bSBarry Smith #define __FUNCT__ "SNESCreate_NRichardson" 2758cc058d9SJed Brown PETSC_EXTERN PetscErrorCode SNESCreate_NRichardson(SNES snes) 276028b6e76SBarry Smith { 27792c02d66SPeter Brune PetscErrorCode ierr; 278bf7f4e0aSPeter Brune SNES_NRichardson *neP; 2795fd66863SKarl Rupp 280028b6e76SBarry Smith PetscFunctionBegin; 281d5c3842bSBarry Smith snes->ops->destroy = SNESDestroy_NRichardson; 282d5c3842bSBarry Smith snes->ops->setup = SNESSetUp_NRichardson; 283d5c3842bSBarry Smith snes->ops->setfromoptions = SNESSetFromOptions_NRichardson; 284d5c3842bSBarry Smith snes->ops->view = SNESView_NRichardson; 285d5c3842bSBarry Smith snes->ops->solve = SNESSolve_NRichardson; 286d5c3842bSBarry Smith snes->ops->reset = SNESReset_NRichardson; 287028b6e76SBarry Smith 288028b6e76SBarry Smith snes->usesksp = PETSC_FALSE; 28942f4f86dSBarry Smith snes->usespc = PETSC_TRUE; 290028b6e76SBarry Smith 291c6b63b32SPeter Brune snes->pcside = PC_LEFT; 292c6b63b32SPeter Brune 293*b00a9115SJed Brown ierr = PetscNewLog(snes,&neP);CHKERRQ(ierr); 294bf7f4e0aSPeter Brune snes->data = (void*) neP; 295bf7f4e0aSPeter Brune 29688976e71SPeter Brune if (!snes->tolerancesset) { 2970e444f03SPeter Brune snes->max_funcs = 30000; 2980e444f03SPeter Brune snes->max_its = 10000; 299c522fa08SPeter Brune snes->stol = 1e-20; 30088976e71SPeter Brune } 301028b6e76SBarry Smith PetscFunctionReturn(0); 302028b6e76SBarry Smith } 303