xref: /petsc/src/snes/linesearch/impls/basic/linesearchbasic.c (revision a99ef635ef3fb31080710bc8e0dbbde292199c98)
1af0996ceSBarry Smith #include <petsc/private/linesearchimpl.h>
2af0996ceSBarry Smith #include <petsc/private/snesimpl.h>
3bf7f4e0aSPeter Brune 
4d71ae5a4SJacob Faibussowitsch static PetscErrorCode SNESLineSearchApply_Basic(SNESLineSearch linesearch)
5d71ae5a4SJacob Faibussowitsch {
6bf7f4e0aSPeter Brune   PetscBool changed_y, changed_w;
76a388c36SPeter Brune   Vec       X, F, Y, W;
86a388c36SPeter Brune   SNES      snes;
96a388c36SPeter Brune   PetscReal gnorm, xnorm, ynorm, lambda;
106a388c36SPeter Brune   PetscBool domainerror;
11bf7f4e0aSPeter Brune 
12bf7f4e0aSPeter Brune   PetscFunctionBegin;
139566063dSJacob Faibussowitsch   PetscCall(SNESLineSearchGetVecs(linesearch, &X, &F, &Y, &W, NULL));
149566063dSJacob Faibussowitsch   PetscCall(SNESLineSearchGetNorms(linesearch, &xnorm, &gnorm, &ynorm));
159566063dSJacob Faibussowitsch   PetscCall(SNESLineSearchGetLambda(linesearch, &lambda));
169566063dSJacob Faibussowitsch   PetscCall(SNESLineSearchGetSNES(linesearch, &snes));
179566063dSJacob Faibussowitsch   PetscCall(SNESLineSearchSetReason(linesearch, SNES_LINESEARCH_SUCCEEDED));
18bf7f4e0aSPeter Brune 
19bf7f4e0aSPeter Brune   /* precheck */
209566063dSJacob Faibussowitsch   PetscCall(SNESLineSearchPreCheck(linesearch, X, Y, &changed_y));
21bf7f4e0aSPeter Brune 
22bf7f4e0aSPeter Brune   /* update */
239566063dSJacob Faibussowitsch   PetscCall(VecWAXPY(W, -lambda, Y, X));
241baa6e33SBarry Smith   if (linesearch->ops->viproject) PetscCall((*linesearch->ops->viproject)(snes, W));
25bf7f4e0aSPeter Brune 
26bf7f4e0aSPeter Brune   /* postcheck */
279566063dSJacob Faibussowitsch   PetscCall(SNESLineSearchPostCheck(linesearch, X, Y, W, &changed_y, &changed_w));
286b095a85SStefano Zampini   if (changed_y) {
296b095a85SStefano Zampini     if (!changed_w) PetscCall(VecWAXPY(W, -lambda, Y, X));
301baa6e33SBarry Smith     if (linesearch->ops->viproject) PetscCall((*linesearch->ops->viproject)(snes, W));
31bf7f4e0aSPeter Brune   }
325fc09b23SPeter Brune   if (linesearch->norms || snes->iter < snes->max_its - 1) {
339566063dSJacob Faibussowitsch     PetscCall((*linesearch->ops->snesfunc)(snes, W, F));
349566063dSJacob Faibussowitsch     PetscCall(SNESGetFunctionDomainError(snes, &domainerror));
356a388c36SPeter Brune     if (domainerror) {
369566063dSJacob Faibussowitsch       PetscCall(SNESLineSearchSetReason(linesearch, SNES_LINESEARCH_FAILED_DOMAIN));
373ba16761SJacob Faibussowitsch       PetscFunctionReturn(PETSC_SUCCESS);
38bf7f4e0aSPeter Brune     }
395fc09b23SPeter Brune   }
405fc09b23SPeter Brune   if (linesearch->norms) {
419566063dSJacob Faibussowitsch     if (!linesearch->ops->vinorm) PetscCall(VecNormBegin(F, NORM_2, &linesearch->fnorm));
429566063dSJacob Faibussowitsch     PetscCall(VecNormBegin(Y, NORM_2, &linesearch->ynorm));
439566063dSJacob Faibussowitsch     PetscCall(VecNormBegin(W, NORM_2, &linesearch->xnorm));
449566063dSJacob Faibussowitsch     if (!linesearch->ops->vinorm) PetscCall(VecNormEnd(F, NORM_2, &linesearch->fnorm));
459566063dSJacob Faibussowitsch     PetscCall(VecNormEnd(Y, NORM_2, &linesearch->ynorm));
469566063dSJacob Faibussowitsch     PetscCall(VecNormEnd(W, NORM_2, &linesearch->xnorm));
475fc09b23SPeter Brune 
489bd66eb0SPeter Brune     if (linesearch->ops->vinorm) {
499bd66eb0SPeter Brune       linesearch->fnorm = gnorm;
50f5af7f23SKarl Rupp 
519566063dSJacob Faibussowitsch       PetscCall((*linesearch->ops->vinorm)(snes, F, W, &linesearch->fnorm));
529bd66eb0SPeter Brune     } else {
539566063dSJacob Faibussowitsch       PetscCall(VecNorm(F, NORM_2, &linesearch->fnorm));
549bd66eb0SPeter Brune     }
555fc09b23SPeter Brune   }
566a388c36SPeter Brune 
57bf7f4e0aSPeter Brune   /* copy the solution over */
589566063dSJacob Faibussowitsch   PetscCall(VecCopy(W, X));
593ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
60bf7f4e0aSPeter Brune }
61bf7f4e0aSPeter Brune 
62954494b2SJed Brown /*MC
631a4f838cSPeter Brune    SNESLINESEARCHBASIC - This line search implementation is not a line
64*a99ef635SJonas Heinzmann    search at all; it simply uses the full step $x_{k+1} = x_k - \lambda Y_k$ with $\lambda=1$.
65*a99ef635SJonas Heinzmann    Alternatively, $\lambda$ can be configured to be a constant damping factor by setting `snes_linesearch_damping`.
66*a99ef635SJonas Heinzmann    Thus, this routine is intended for methods with well-scaled updates; i.e. Newton's method (`SNESNEWTONLS`), on
67*a99ef635SJonas Heinzmann    well-behaved problems. Also named `SNESLINESEARCHNONE`.
68cd7522eaSPeter Brune 
69cd7522eaSPeter Brune    Options Database Keys:
70*a99ef635SJonas Heinzmann +  -snes_linesearch_damping <1.0>     - step length is scaled by this factor
71*a99ef635SJonas Heinzmann -  -snes_linesearch_norms <true>      - whether to compute norms or not (`SNESLineSearchSetComputeNorms()`)
72cd7522eaSPeter Brune 
73f6dfbefdSBarry Smith    Note:
74f6dfbefdSBarry Smith    For methods with ill-scaled updates (`SNESNRICHARDSON`, `SNESNCG`), a small
7589dfbbd5SBarry Smith    damping parameter may yield satisfactory, but slow convergence, despite
76f6dfbefdSBarry Smith    the lack of the line search.
77954494b2SJed Brown 
78954494b2SJed Brown    Level: advanced
79954494b2SJed Brown 
80420bcc1bSBarry Smith .seealso: [](ch_snes), `SNES`, `SNESLineSearch`, `SNESLineSearchType`, `SNESGetLineSearch()`, `SNESLineSearchCreate()`, `SNESLineSearchSetType()`, `SNESLineSearchSetDamping()`, `SNESLineSearchSetComputeNorms()`
81954494b2SJed Brown M*/
82d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode SNESLineSearchCreate_Basic(SNESLineSearch linesearch)
83d71ae5a4SJacob Faibussowitsch {
84bf7f4e0aSPeter Brune   PetscFunctionBegin;
85f1c6b773SPeter Brune   linesearch->ops->apply          = SNESLineSearchApply_Basic;
860298fd71SBarry Smith   linesearch->ops->destroy        = NULL;
870298fd71SBarry Smith   linesearch->ops->setfromoptions = NULL;
880298fd71SBarry Smith   linesearch->ops->reset          = NULL;
890298fd71SBarry Smith   linesearch->ops->view           = NULL;
900298fd71SBarry Smith   linesearch->ops->setup          = NULL;
913ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
92bf7f4e0aSPeter Brune }
93