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, <ol, &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