xref: /petsc/src/snes/linesearch/impls/cp/linesearchcp.c (revision 62893cf23023251229009ba022bac1364958f8cc)
1b45d2f2cSJed Brown #include <petsc-private/linesearchimpl.h>
26a388c36SPeter Brune #include <petscsnes.h>
3bbd5d0b3SPeter Brune 
4bbd5d0b3SPeter Brune #undef __FUNCT__
5f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchApply_CP"
6f1c6b773SPeter Brune static PetscErrorCode SNESLineSearchApply_CP(SNESLineSearch linesearch)
7bbd5d0b3SPeter Brune {
86a388c36SPeter Brune   PetscBool      changed_y, changed_w, domainerror;
9bbd5d0b3SPeter Brune   PetscErrorCode ierr;
106a388c36SPeter Brune   Vec            X, Y, F, W;
116a388c36SPeter Brune   SNES           snes;
12516fe3c3SPeter Brune   PetscReal      xnorm, ynorm, gnorm, steptol, atol, rtol, ltol, maxstep;
13bbd5d0b3SPeter Brune 
14bbd5d0b3SPeter Brune   PetscReal   lambda, lambda_old, lambda_update, delLambda;
15b8ac21a2SPeter Brune   PetscScalar fty, fty_init, fty_old, fty_mid1, fty_mid2, s;
166a388c36SPeter Brune   PetscInt    i, max_its;
176a388c36SPeter Brune 
186a388c36SPeter Brune   PetscViewer monitor;
19bbd5d0b3SPeter Brune 
20bbd5d0b3SPeter Brune   PetscFunctionBegin;
210298fd71SBarry Smith   ierr = SNESLineSearchGetVecs(linesearch, &X, &F, &Y, &W, NULL);CHKERRQ(ierr);
22f1c6b773SPeter Brune   ierr = SNESLineSearchGetNorms(linesearch, &xnorm, &gnorm, &ynorm);CHKERRQ(ierr);
23f1c6b773SPeter Brune   ierr = SNESLineSearchGetSNES(linesearch, &snes);CHKERRQ(ierr);
24f1c6b773SPeter Brune   ierr = SNESLineSearchGetLambda(linesearch, &lambda);CHKERRQ(ierr);
25f1c6b773SPeter Brune   ierr = SNESLineSearchGetTolerances(linesearch, &steptol, &maxstep, &rtol, &atol, &ltol, &max_its);CHKERRQ(ierr);
26f1c6b773SPeter Brune   ierr = SNESLineSearchSetSuccess(linesearch, PETSC_TRUE);CHKERRQ(ierr);
27f1c6b773SPeter Brune   ierr = SNESLineSearchGetMonitor(linesearch, &monitor);CHKERRQ(ierr);
286a388c36SPeter Brune 
29bbd5d0b3SPeter Brune   /* precheck */
307b1df9c1SPeter Brune   ierr       = SNESLineSearchPreCheck(linesearch,X,Y,&changed_y);CHKERRQ(ierr);
31bbd5d0b3SPeter Brune   lambda_old = 0.0;
32*62893cf2SPeter Brune 
33b8ac21a2SPeter Brune 
346a388c36SPeter Brune   for (i = 0; i < max_its; i++) {
35*62893cf2SPeter Brune     if (i == 0) {
36*62893cf2SPeter Brune       ierr = VecDotBegin(F,Y,&fty_old);CHKERRQ(ierr);
37*62893cf2SPeter Brune       fty_init = fty_old;
38*62893cf2SPeter Brune     }
39bbd5d0b3SPeter Brune     /* compute the norm at lambda */
40bbd5d0b3SPeter Brune     ierr = VecCopy(X, W);CHKERRQ(ierr);
41bbd5d0b3SPeter Brune     ierr = VecAXPY(W, -lambda, Y);CHKERRQ(ierr);
429bd66eb0SPeter Brune     if (linesearch->ops->viproject) {
439bd66eb0SPeter Brune       ierr = (*linesearch->ops->viproject)(snes, W);CHKERRQ(ierr);
449bd66eb0SPeter Brune     }
45fb8e56e0SPeter Brune     ierr = (*linesearch->ops->snesfunc)(snes,W,F);CHKERRQ(ierr);
46*62893cf2SPeter Brune     ierr = VecDotBegin(F,Y,&fty);CHKERRQ(ierr);
47*62893cf2SPeter Brune     if (i == 0) {
48*62893cf2SPeter Brune       ierr = VecDotEnd(F,Y,&fty_old);CHKERRQ(ierr);
49*62893cf2SPeter Brune     }
50*62893cf2SPeter Brune     ierr = VecDotEnd(F,Y,&fty);CHKERRQ(ierr);
51bbd5d0b3SPeter Brune 
52bbd5d0b3SPeter Brune     delLambda = lambda - lambda_old;
53b8ac21a2SPeter Brune 
54b8ac21a2SPeter Brune     /* check for convergence */
55b8ac21a2SPeter Brune     if (PetscAbsReal(delLambda) < steptol*lambda) break;
56b8ac21a2SPeter Brune     if (PetscAbsScalar(fty) / PetscAbsScalar(fty_init) < rtol) break;
57a7370c10SPeter Brune     if (PetscAbsScalar(fty) < atol && i > 0) break;
586a388c36SPeter Brune     if (monitor) {
596a388c36SPeter Brune       ierr = PetscViewerASCIIAddTab(monitor,((PetscObject)linesearch)->tablevel);CHKERRQ(ierr);
60c69d1a72SBarry Smith       ierr = PetscViewerASCIIPrintf(monitor,"    Line search: lambdas = [%g, %g], ftys = [%g, %g]\n",(double)lambda, (double)lambda_old, (double)PetscRealPart(fty), (double)PetscRealPart(fty_old));CHKERRQ(ierr);
616a388c36SPeter Brune       ierr = PetscViewerASCIISubtractTab(monitor,((PetscObject)linesearch)->tablevel);CHKERRQ(ierr);
62bbd5d0b3SPeter Brune     }
63bbd5d0b3SPeter Brune 
64bbd5d0b3SPeter Brune     /* compute the search direction */
65b000cd8dSPeter Brune     if (linesearch->order == SNES_LINESEARCH_ORDER_LINEAR) {
66b8ac21a2SPeter Brune       s = (fty - fty_old) / delLambda;
67b000cd8dSPeter Brune     } else if (linesearch->order == SNES_LINESEARCH_ORDER_QUADRATIC) {
68b8ac21a2SPeter Brune       ierr = VecCopy(X, W);CHKERRQ(ierr);
69b8ac21a2SPeter Brune       ierr = VecAXPY(W, -0.5*(lambda + lambda_old), Y);CHKERRQ(ierr);
70b8ac21a2SPeter Brune       if (linesearch->ops->viproject) {
71b8ac21a2SPeter Brune         ierr = (*linesearch->ops->viproject)(snes, W);CHKERRQ(ierr);
72b8ac21a2SPeter Brune       }
73fb8e56e0SPeter Brune       ierr = (*linesearch->ops->snesfunc)(snes,W,F);CHKERRQ(ierr);
74b8ac21a2SPeter Brune       ierr = VecDot(F, Y, &fty_mid1);CHKERRQ(ierr);
75b8ac21a2SPeter Brune       s    = (3.*fty - 4.*fty_mid1 + fty_old) / delLambda;
76b8ac21a2SPeter Brune     } else {
77b8ac21a2SPeter Brune       ierr = VecCopy(X, W);CHKERRQ(ierr);
78b8ac21a2SPeter Brune       ierr = VecAXPY(W, -0.5*(lambda + lambda_old), Y);CHKERRQ(ierr);
79b8ac21a2SPeter Brune       if (linesearch->ops->viproject) {
80b8ac21a2SPeter Brune         ierr = (*linesearch->ops->viproject)(snes, W);CHKERRQ(ierr);
81b8ac21a2SPeter Brune       }
82fb8e56e0SPeter Brune       ierr = (*linesearch->ops->snesfunc)(snes,W,F);CHKERRQ(ierr);
83*62893cf2SPeter Brune       ierr = VecDotBegin(F, Y, &fty_mid1);CHKERRQ(ierr);
84b8ac21a2SPeter Brune       ierr = VecCopy(X, W);CHKERRQ(ierr);
85b8ac21a2SPeter Brune       ierr = VecAXPY(W, -(lambda + 0.5*(lambda - lambda_old)), Y);CHKERRQ(ierr);
86b8ac21a2SPeter Brune       if (linesearch->ops->viproject) {
87b8ac21a2SPeter Brune         ierr = (*linesearch->ops->viproject)(snes, W);CHKERRQ(ierr);
88b8ac21a2SPeter Brune       }
89fb8e56e0SPeter Brune       ierr = (*linesearch->ops->snesfunc)(snes, W, F);CHKERRQ(ierr);
90*62893cf2SPeter Brune       ierr = VecDotBegin(F, Y, &fty_mid2);CHKERRQ(ierr);
91*62893cf2SPeter Brune       ierr = VecDotEnd(F, Y, &fty_mid1);CHKERRQ(ierr);
92*62893cf2SPeter Brune       ierr = VecDotEnd(F, Y, &fty_mid2);CHKERRQ(ierr);
93b8ac21a2SPeter Brune       s    = (2.*fty_mid2 + 3.*fty - 6.*fty_mid1 + fty_old) / (3.*delLambda);
94b8ac21a2SPeter Brune     }
95b8ac21a2SPeter Brune     /* if the solve is going in the wrong direction, fix it */
96b8ac21a2SPeter Brune     if (PetscRealPart(s) > 0.) s = -s;
97b8ac21a2SPeter Brune     lambda_update =  lambda - PetscRealPart(fty / s);
98b8ac21a2SPeter Brune 
99b8ac21a2SPeter Brune     /* switch directions if we stepped out of bounds */
100f5af7f23SKarl Rupp     if (lambda_update < steptol) lambda_update = lambda + PetscRealPart(fty / s);
101b8ac21a2SPeter Brune 
102bbd5d0b3SPeter Brune     if (PetscIsInfOrNanScalar(lambda_update)) break;
103f5af7f23SKarl Rupp     if (lambda_update > maxstep) break;
104bbd5d0b3SPeter Brune 
105bbd5d0b3SPeter Brune     /* compute the new state of the line search */
106bbd5d0b3SPeter Brune     lambda_old = lambda;
107bbd5d0b3SPeter Brune     lambda     = lambda_update;
108bbd5d0b3SPeter Brune     fty_old    = fty;
109bbd5d0b3SPeter Brune   }
110bbd5d0b3SPeter Brune   /* construct the solution */
111bbd5d0b3SPeter Brune   ierr = VecCopy(X, W);CHKERRQ(ierr);
112bbd5d0b3SPeter Brune   ierr = VecAXPY(W, -lambda, Y);CHKERRQ(ierr);
1139bd66eb0SPeter Brune   if (linesearch->ops->viproject) {
1149bd66eb0SPeter Brune     ierr = (*linesearch->ops->viproject)(snes, W);CHKERRQ(ierr);
1159bd66eb0SPeter Brune   }
116bbd5d0b3SPeter Brune   /* postcheck */
1177b1df9c1SPeter Brune   ierr = SNESLineSearchPostCheck(linesearch,X,Y,W,&changed_y,&changed_w);CHKERRQ(ierr);
118bbd5d0b3SPeter Brune   if (changed_y) {
119bbd5d0b3SPeter Brune     ierr = VecAXPY(X, -lambda, Y);CHKERRQ(ierr);
1209bd66eb0SPeter Brune     if (linesearch->ops->viproject) {
1219bd66eb0SPeter Brune       ierr = (*linesearch->ops->viproject)(snes, X);CHKERRQ(ierr);
1229bd66eb0SPeter Brune     }
123bbd5d0b3SPeter Brune   } else {
124bbd5d0b3SPeter Brune     ierr = VecCopy(W, X);CHKERRQ(ierr);
125bbd5d0b3SPeter Brune   }
126fb8e56e0SPeter Brune   ierr = (*linesearch->ops->snesfunc)(snes,X,F);CHKERRQ(ierr);
1276a388c36SPeter Brune   ierr = SNESGetFunctionDomainError(snes, &domainerror);CHKERRQ(ierr);
1286a388c36SPeter Brune   if (domainerror) {
129f1c6b773SPeter Brune     ierr = SNESLineSearchSetSuccess(linesearch, PETSC_FALSE);CHKERRQ(ierr);
130bbd5d0b3SPeter Brune     PetscFunctionReturn(0);
131bbd5d0b3SPeter Brune   }
132bbd5d0b3SPeter Brune 
133f1c6b773SPeter Brune   ierr = SNESLineSearchComputeNorms(linesearch);CHKERRQ(ierr);
134f1c6b773SPeter Brune   ierr = SNESLineSearchGetNorms(linesearch, &xnorm, &gnorm, &ynorm);CHKERRQ(ierr);
135bbd5d0b3SPeter Brune 
136f1c6b773SPeter Brune   ierr = SNESLineSearchSetLambda(linesearch, lambda);CHKERRQ(ierr);
1376a388c36SPeter Brune 
1386a388c36SPeter Brune   if (monitor) {
1396a388c36SPeter Brune     ierr = PetscViewerASCIIAddTab(monitor,((PetscObject)linesearch)->tablevel);CHKERRQ(ierr);
140c69d1a72SBarry Smith     ierr = PetscViewerASCIIPrintf(monitor,"    Line search terminated: lambda = %g, fnorms = %g\n", (double)lambda, (double)gnorm);CHKERRQ(ierr);
1416a388c36SPeter Brune     ierr = PetscViewerASCIISubtractTab(monitor,((PetscObject)linesearch)->tablevel);CHKERRQ(ierr);
142bbd5d0b3SPeter Brune   }
1436a388c36SPeter Brune   if (lambda <= steptol) {
144f1c6b773SPeter Brune     ierr = SNESLineSearchSetSuccess(linesearch, PETSC_FALSE);CHKERRQ(ierr);
145bbd5d0b3SPeter Brune   }
146bbd5d0b3SPeter Brune   PetscFunctionReturn(0);
147bbd5d0b3SPeter Brune }
148bbd5d0b3SPeter Brune 
149bbd5d0b3SPeter Brune #undef __FUNCT__
150f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchCreate_CP"
151954494b2SJed Brown /*MC
1521a4f838cSPeter Brune    SNESLINESEARCHCP - Critical point line search. This line search assumes that there exists some
153cd7522eaSPeter Brune    artificial G(x) for which the SNESFunction F(x) = grad G(x).  Therefore, this line search seeks
154db609ea7SPeter Brune    to find roots of dot(F, Y) via a secant method.
155cd7522eaSPeter Brune 
156cd7522eaSPeter Brune    Options Database Keys:
157db609ea7SPeter Brune +  -snes_linesearch_minlambda - the minimum acceptable lambda
158cd7522eaSPeter Brune .  -snes_linesearch_damping - initial trial step length
159db609ea7SPeter Brune -  -snes_linesearch_max_it  - the maximum number of secant steps performed.
160cd7522eaSPeter Brune 
161cd7522eaSPeter Brune    Notes:
162cd7522eaSPeter Brune    This method is the preferred line search for SNESQN and SNESNCG.
163954494b2SJed Brown 
164954494b2SJed Brown    Level: advanced
165954494b2SJed Brown 
166f1c6b773SPeter Brune .keywords: SNES, SNESLineSearch, damping
167954494b2SJed Brown 
168f1c6b773SPeter Brune .seealso: SNESLineSearchCreate(), SNESLineSearchSetType()
169954494b2SJed Brown M*/
1708cc058d9SJed Brown PETSC_EXTERN PetscErrorCode SNESLineSearchCreate_CP(SNESLineSearch linesearch)
171bbd5d0b3SPeter Brune {
172bbd5d0b3SPeter Brune   PetscFunctionBegin;
173f1c6b773SPeter Brune   linesearch->ops->apply          = SNESLineSearchApply_CP;
1740298fd71SBarry Smith   linesearch->ops->destroy        = NULL;
1750298fd71SBarry Smith   linesearch->ops->setfromoptions = NULL;
1760298fd71SBarry Smith   linesearch->ops->reset          = NULL;
1770298fd71SBarry Smith   linesearch->ops->view           = NULL;
1780298fd71SBarry Smith   linesearch->ops->setup          = NULL;
179b000cd8dSPeter Brune   linesearch->order               = SNES_LINESEARCH_ORDER_LINEAR;
180a491bab8SPeter Brune 
181a491bab8SPeter Brune   linesearch->max_its = 1;
182bbd5d0b3SPeter Brune   PetscFunctionReturn(0);
183bbd5d0b3SPeter Brune }
184