xref: /petsc/src/snes/linesearch/impls/basic/linesearchbasic.c (revision 6b095a85e4a7400e1f5005aabbce4fbe90ab3d26)
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));
28*6b095a85SStefano Zampini   if (changed_y) {
29*6b095a85SStefano 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
64cd7522eaSPeter Brune    search at all; it simply uses the full step.  Thus, this routine is intended
65f6dfbefdSBarry Smith    for methods with well-scaled updates; i.e. Newton's method (`SNESNEWTONLS`), on
66f6dfbefdSBarry Smith    well-behaved problems. Also named as `SNESLINESEARCHNONE`
67cd7522eaSPeter Brune 
68cd7522eaSPeter Brune    Options Database Keys:
697c720adbSBarry Smith +   -snes_linesearch_damping <damping> - search vector is scaled by this amount, default is 1.0
701fe24845SBarry Smith -   -snes_linesearch_norms <flag> - whether to compute norms or not, default is true (SNESLineSearchSetComputeNorms())
71cd7522eaSPeter Brune 
72f6dfbefdSBarry Smith    Note:
73f6dfbefdSBarry Smith    For methods with ill-scaled updates (`SNESNRICHARDSON`, `SNESNCG`), a small
74cd7522eaSPeter Brune    damping parameter may yield satisfactory but slow convergence despite
75f6dfbefdSBarry Smith    the lack of the line search.
76954494b2SJed Brown 
77954494b2SJed Brown    Level: advanced
78954494b2SJed Brown 
79f6dfbefdSBarry Smith .seealso: `SNES`, `SNESLineSearch`, `SNESLineSearchType`, `SNESLineSearchCreate()`, `SNESLineSearchSetType()`, `SNESLineSearchSetDamping()`, `SNESLineSearchSetComputeNorms()`
80954494b2SJed Brown M*/
81d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode SNESLineSearchCreate_Basic(SNESLineSearch linesearch)
82d71ae5a4SJacob Faibussowitsch {
83bf7f4e0aSPeter Brune   PetscFunctionBegin;
84f1c6b773SPeter Brune   linesearch->ops->apply          = SNESLineSearchApply_Basic;
850298fd71SBarry Smith   linesearch->ops->destroy        = NULL;
860298fd71SBarry Smith   linesearch->ops->setfromoptions = NULL;
870298fd71SBarry Smith   linesearch->ops->reset          = NULL;
880298fd71SBarry Smith   linesearch->ops->view           = NULL;
890298fd71SBarry Smith   linesearch->ops->setup          = NULL;
903ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
91bf7f4e0aSPeter Brune }
92