xref: /petsc/src/snes/impls/ngmres/anderson.c (revision fa8c639a052448572ef4c09d337391668dacca91)
1f31c9d25SPeter Brune #include <../src/snes/impls/ngmres/snesngmres.h> /*I "petscsnes.h" I*/
2f31c9d25SPeter Brune 
3f31c9d25SPeter Brune PETSC_EXTERN PetscErrorCode SNESDestroy_NGMRES(SNES);
4f31c9d25SPeter Brune PETSC_EXTERN PetscErrorCode SNESReset_NGMRES(SNES);
5f31c9d25SPeter Brune PETSC_EXTERN PetscErrorCode SNESSetUp_NGMRES(SNES);
6f31c9d25SPeter Brune PETSC_EXTERN PetscErrorCode SNESView_NGMRES(SNES,PetscViewer);
7f31c9d25SPeter Brune 
8f31c9d25SPeter Brune 
9f31c9d25SPeter Brune #undef __FUNCT__
10f31c9d25SPeter Brune #define __FUNCT__ "SNESSetFromOptions_Anderson"
11f31c9d25SPeter Brune PetscErrorCode SNESSetFromOptions_Anderson(SNES snes)
12f31c9d25SPeter Brune {
13f31c9d25SPeter Brune   SNES_NGMRES   *ngmres = (SNES_NGMRES *) snes->data;
14f31c9d25SPeter Brune   PetscErrorCode ierr;
15f31c9d25SPeter Brune   PetscBool      debug;
16f31c9d25SPeter Brune   SNESLineSearch linesearch;
17f31c9d25SPeter Brune 
18f31c9d25SPeter Brune   PetscFunctionBegin;
19f31c9d25SPeter Brune   ierr = PetscOptionsHead("SNES NGMRES options");CHKERRQ(ierr);
20f31c9d25SPeter Brune   ierr = PetscOptionsInt("-snes_anderson_m","Number of directions","SNES",ngmres->msize,&ngmres->msize,PETSC_NULL);CHKERRQ(ierr);
21f31c9d25SPeter Brune   ierr = PetscOptionsReal("-snes_anderson_beta","Number of directions","SNES",ngmres->andersonBeta,&ngmres->andersonBeta,PETSC_NULL);CHKERRQ(ierr);
22f31c9d25SPeter Brune   ierr = PetscOptionsBool("-snes_anderson_monitor","Monitor actions of NGMRES","SNES",ngmres->monitor ? PETSC_TRUE: PETSC_FALSE,&debug,PETSC_NULL);CHKERRQ(ierr);
23f31c9d25SPeter Brune   if (debug) {
24f31c9d25SPeter Brune     ngmres->monitor = PETSC_VIEWER_STDOUT_(((PetscObject)snes)->comm);CHKERRQ(ierr);
25f31c9d25SPeter Brune   }
26f31c9d25SPeter Brune   ierr = PetscOptionsTail();CHKERRQ(ierr);
27f31c9d25SPeter Brune   /* set the default type of the line search if the user hasn't already. */
28f31c9d25SPeter Brune   if (!snes->linesearch) {
29f31c9d25SPeter Brune     ierr = SNESGetSNESLineSearch(snes,&linesearch);CHKERRQ(ierr);
30f31c9d25SPeter Brune     ierr = SNESLineSearchSetType(linesearch,SNESLINESEARCHBASIC);CHKERRQ(ierr);
31f31c9d25SPeter Brune   }
32f31c9d25SPeter Brune   PetscFunctionReturn(0);
33f31c9d25SPeter Brune }
34f31c9d25SPeter Brune 
35f31c9d25SPeter Brune #undef __FUNCT__
36f31c9d25SPeter Brune #define __FUNCT__ "SNESSolve_Anderson"
37f31c9d25SPeter Brune PetscErrorCode SNESSolve_Anderson(SNES snes)
38f31c9d25SPeter Brune {
39f31c9d25SPeter Brune   SNES_NGMRES        *ngmres = (SNES_NGMRES *) snes->data;
40f31c9d25SPeter Brune   /* present solution, residual, and preconditioned residual */
41f31c9d25SPeter Brune   Vec                 X,F,B;
42f31c9d25SPeter Brune 
43f31c9d25SPeter Brune   /* candidate linear combination answers */
44f31c9d25SPeter Brune   Vec                 XA,FA,XM,FM,FPC;
45f31c9d25SPeter Brune 
46f31c9d25SPeter Brune   /* coefficients and RHS to the minimization problem */
47f31c9d25SPeter Brune   PetscReal           fnorm,fMnorm;
48f31c9d25SPeter Brune   PetscInt            k,k_restart,l,ivec;
49f31c9d25SPeter Brune 
50f31c9d25SPeter Brune   SNESConvergedReason reason;
51f31c9d25SPeter Brune   PetscErrorCode      ierr;
52f31c9d25SPeter Brune 
53f31c9d25SPeter Brune   PetscFunctionBegin;
54f31c9d25SPeter Brune   /* variable initialization */
55f31c9d25SPeter Brune   snes->reason  = SNES_CONVERGED_ITERATING;
56f31c9d25SPeter Brune   X             = snes->vec_sol;
57f31c9d25SPeter Brune   F             = snes->vec_func;
58f31c9d25SPeter Brune   B             = snes->vec_rhs;
59f31c9d25SPeter Brune   XA            = snes->vec_sol_update;
60f31c9d25SPeter Brune   FA            = snes->work[0];
61f31c9d25SPeter Brune 
62f31c9d25SPeter Brune   /* work for the line search */
63f31c9d25SPeter Brune   XM            = snes->work[3];
64f31c9d25SPeter Brune   FM            = snes->work[4];
65f31c9d25SPeter Brune 
66f31c9d25SPeter Brune   ierr = PetscObjectTakeAccess(snes);CHKERRQ(ierr);
67f31c9d25SPeter Brune   snes->iter = 0;
68f31c9d25SPeter Brune   snes->norm = 0.;
69f31c9d25SPeter Brune   ierr = PetscObjectGrantAccess(snes);CHKERRQ(ierr);
70f31c9d25SPeter Brune 
71f31c9d25SPeter Brune   /* initialization */
72f31c9d25SPeter Brune 
73f31c9d25SPeter Brune   /* r = F(x) */
74f31c9d25SPeter Brune   if (!snes->vec_func_init_set) {
75f31c9d25SPeter Brune     ierr = SNESComputeFunction(snes,X,F);CHKERRQ(ierr);
76f31c9d25SPeter Brune     if (snes->domainerror) {
77f31c9d25SPeter Brune       snes->reason = SNES_DIVERGED_FUNCTION_DOMAIN;
78f31c9d25SPeter Brune       PetscFunctionReturn(0);
79f31c9d25SPeter Brune     }
80f31c9d25SPeter Brune   } else {
81f31c9d25SPeter Brune     snes->vec_func_init_set = PETSC_FALSE;
82f31c9d25SPeter Brune   }
83f31c9d25SPeter Brune 
84f31c9d25SPeter Brune   if (!snes->norm_init_set) {
85f31c9d25SPeter Brune     ierr = VecNorm(F,NORM_2,&fnorm);CHKERRQ(ierr);
86f31c9d25SPeter Brune     if (PetscIsInfOrNanReal(fnorm)) SETERRQ(((PetscObject)snes)->comm,PETSC_ERR_FP,"Infinite or not-a-number generated in function evaluation");
87f31c9d25SPeter Brune   } else {
88f31c9d25SPeter Brune     fnorm = snes->norm_init;
89f31c9d25SPeter Brune     snes->norm_init_set = PETSC_FALSE;
90f31c9d25SPeter Brune   }
91f31c9d25SPeter Brune   ierr = PetscObjectTakeAccess(snes);CHKERRQ(ierr);
92f31c9d25SPeter Brune   snes->norm = fnorm;
93f31c9d25SPeter Brune   ierr = PetscObjectGrantAccess(snes);CHKERRQ(ierr);
94f31c9d25SPeter Brune   SNESLogConvHistory(snes,fnorm,0);
95f31c9d25SPeter Brune   ierr = SNESMonitor(snes,0,fnorm);CHKERRQ(ierr);
96f31c9d25SPeter Brune   ierr = (*snes->ops->converged)(snes,0,0.0,0.0,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
97f31c9d25SPeter Brune   if (snes->reason) PetscFunctionReturn(0);
98f31c9d25SPeter Brune 
99f31c9d25SPeter Brune   k_restart = 0;
100f31c9d25SPeter Brune   l = 0;
101f31c9d25SPeter Brune   for (k=1; k < snes->max_its+1; k++) {
102f31c9d25SPeter Brune     /* select which vector of the stored subspace will be updated */
103f31c9d25SPeter Brune     ivec = k_restart % ngmres->msize;
104f31c9d25SPeter Brune     if (snes->pc && snes->pcside == PC_RIGHT) {
105f31c9d25SPeter Brune       ierr = VecCopy(X,XM);CHKERRQ(ierr);
106f31c9d25SPeter Brune       ierr = SNESSetInitialFunction(snes->pc,F);CHKERRQ(ierr);
107f31c9d25SPeter Brune       ierr = SNESSetInitialFunctionNorm(snes->pc,fnorm);CHKERRQ(ierr);
108f31c9d25SPeter Brune 
109f31c9d25SPeter Brune       ierr = PetscLogEventBegin(SNES_NPCSolve,snes->pc,XM,B,0);CHKERRQ(ierr);
110f31c9d25SPeter Brune       ierr = SNESSolve(snes->pc,B,XM);CHKERRQ(ierr);
111f31c9d25SPeter Brune       ierr = PetscLogEventEnd(SNES_NPCSolve,snes->pc,XM,B,0);CHKERRQ(ierr);
112f31c9d25SPeter Brune 
113f31c9d25SPeter Brune       ierr = SNESGetConvergedReason(snes->pc,&reason);CHKERRQ(ierr);
114f31c9d25SPeter Brune       if (reason < 0 && reason != SNES_DIVERGED_MAX_IT) {
115f31c9d25SPeter Brune         snes->reason = SNES_DIVERGED_INNER;
116f31c9d25SPeter Brune         PetscFunctionReturn(0);
117f31c9d25SPeter Brune       }
118f31c9d25SPeter Brune       ierr = SNESGetFunction(snes->pc,&FPC,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
119f31c9d25SPeter Brune       ierr = VecCopy(FPC,FM);CHKERRQ(ierr);
120f31c9d25SPeter Brune       ierr = SNESGetFunctionNorm(snes->pc,&fMnorm);CHKERRQ(ierr);
121f31c9d25SPeter Brune       if (ngmres->andersonBeta != 1.0) {
122f31c9d25SPeter Brune         VecAXPBY(XM,(1.0 - ngmres->andersonBeta),ngmres->andersonBeta,X);CHKERRQ(ierr);
123f31c9d25SPeter Brune       }
124f31c9d25SPeter Brune     } else {
125f31c9d25SPeter Brune       ierr = VecCopy(F,FM);CHKERRQ(ierr);
126f31c9d25SPeter Brune       ierr = VecCopy(X,XM);CHKERRQ(ierr);
127f31c9d25SPeter Brune       ierr = VecAXPY(XM,-ngmres->andersonBeta,FM);CHKERRQ(ierr);
128f31c9d25SPeter Brune       fMnorm = fnorm;
129f31c9d25SPeter Brune     }
130f31c9d25SPeter Brune 
131*fa8c639aSPeter Brune     ierr = SNESNGMRESFormCombinedSolution_Private(snes,l,XM,FM,fMnorm,X,XA,FA);CHKERRQ(ierr);
132f31c9d25SPeter Brune 
133f31c9d25SPeter Brune     if (l < ngmres->msize)l++;
134f31c9d25SPeter Brune     k_restart++;
135*fa8c639aSPeter Brune     ierr = SNESNGMRESUpdateSubspace_Private(snes,ivec,l,FM,fnorm,XM);CHKERRQ(ierr);
136f31c9d25SPeter Brune 
137f31c9d25SPeter Brune     ierr = VecNorm(FA,NORM_2,&fnorm);CHKERRQ(ierr);
138f31c9d25SPeter Brune     ierr = VecCopy(XA,X);CHKERRQ(ierr);
139f31c9d25SPeter Brune     ierr = VecCopy(FA,F);CHKERRQ(ierr);
140f31c9d25SPeter Brune 
141f31c9d25SPeter Brune     ierr = PetscObjectTakeAccess(snes);CHKERRQ(ierr);
142f31c9d25SPeter Brune     snes->iter = k;
143f31c9d25SPeter Brune     snes->norm = fnorm;
144f31c9d25SPeter Brune     ierr = PetscObjectGrantAccess(snes);CHKERRQ(ierr);
145f31c9d25SPeter Brune     SNESLogConvHistory(snes,snes->norm,snes->iter);
146f31c9d25SPeter Brune     ierr = SNESMonitor(snes,snes->iter,snes->norm);CHKERRQ(ierr);
147f31c9d25SPeter Brune     ierr = (*snes->ops->converged)(snes,snes->iter,0.0,0.0,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
148f31c9d25SPeter Brune     if (snes->reason) PetscFunctionReturn(0);
149f31c9d25SPeter Brune   }
150f31c9d25SPeter Brune   snes->reason = SNES_DIVERGED_MAX_IT;
151f31c9d25SPeter Brune   PetscFunctionReturn(0);
152f31c9d25SPeter Brune }
153f31c9d25SPeter Brune 
154f31c9d25SPeter Brune /*MC
155f31c9d25SPeter Brune   SNESAnderson - Anderson Mixing method.
156f31c9d25SPeter Brune 
157f31c9d25SPeter Brune    Level: beginner
158f31c9d25SPeter Brune 
159f31c9d25SPeter Brune    Options Database:
160f31c9d25SPeter Brune +  -snes_anderson_m                - Number of stored previous solutions and residuals
161f31c9d25SPeter Brune .  -snes_anderson_beta             - Relaxation parameter; X_{update} = X + \beta F
162f31c9d25SPeter Brune -  -snes_anderson_monitor          - Prints relevant information about the ngmres iteration
163f31c9d25SPeter Brune 
164f31c9d25SPeter Brune    Notes:
165f31c9d25SPeter Brune 
166f31c9d25SPeter Brune    The Anderson Mixing method combines m previous solutions into a minimum-residual solution by solving a small linearized
167f31c9d25SPeter Brune    optimization problem at each iteration.
168f31c9d25SPeter Brune 
169f31c9d25SPeter Brune    References:
170f31c9d25SPeter Brune 
171f31c9d25SPeter Brune     "D. G. Anderson. Iterative procedures for nonlinear integral equations.
172f31c9d25SPeter Brune     J. Assoc. Comput. Mach., 12:547–560, 1965."
173f31c9d25SPeter Brune 
174f31c9d25SPeter Brune .seealso: SNESCreate(), SNES, SNESSetType(), SNESType (for list of available types)
175f31c9d25SPeter Brune M*/
176f31c9d25SPeter Brune 
177f31c9d25SPeter Brune EXTERN_C_BEGIN
178f31c9d25SPeter Brune #undef __FUNCT__
179f31c9d25SPeter Brune #define __FUNCT__ "SNESCreate_Anderson"
180f31c9d25SPeter Brune PetscErrorCode SNESCreate_Anderson(SNES snes)
181f31c9d25SPeter Brune {
182f31c9d25SPeter Brune   SNES_NGMRES   *ngmres;
183f31c9d25SPeter Brune   PetscErrorCode ierr;
184f31c9d25SPeter Brune 
185f31c9d25SPeter Brune   PetscFunctionBegin;
186f31c9d25SPeter Brune   snes->ops->destroy        = SNESDestroy_NGMRES;
187f31c9d25SPeter Brune   snes->ops->setup          = SNESSetUp_NGMRES;
188f31c9d25SPeter Brune   snes->ops->setfromoptions = SNESSetFromOptions_Anderson;
189f31c9d25SPeter Brune   snes->ops->view           = SNESView_NGMRES;
190f31c9d25SPeter Brune   snes->ops->solve          = SNESSolve_Anderson;
191f31c9d25SPeter Brune   snes->ops->reset          = SNESReset_NGMRES;
192f31c9d25SPeter Brune 
193f31c9d25SPeter Brune   snes->usespc          = PETSC_TRUE;
194f31c9d25SPeter Brune   snes->usesksp         = PETSC_FALSE;
195f31c9d25SPeter Brune 
196f31c9d25SPeter Brune   ierr = PetscNewLog(snes,SNES_NGMRES,&ngmres);CHKERRQ(ierr);
197f31c9d25SPeter Brune   snes->data = (void*) ngmres;
198f31c9d25SPeter Brune   ngmres->msize = 30;
199f31c9d25SPeter Brune 
200f31c9d25SPeter Brune   if (!snes->tolerancesset) {
201f31c9d25SPeter Brune     snes->max_funcs = 30000;
202f31c9d25SPeter Brune     snes->max_its   = 10000;
203f31c9d25SPeter Brune   }
204f31c9d25SPeter Brune 
205f31c9d25SPeter Brune   ngmres->additive_linesearch = PETSC_NULL;
206f31c9d25SPeter Brune 
207f31c9d25SPeter Brune   ngmres->restart_it = 2;
208f31c9d25SPeter Brune   ngmres->restart_periodic = 30;
209f31c9d25SPeter Brune   ngmres->gammaA     = 2.0;
210f31c9d25SPeter Brune   ngmres->gammaC     = 2.0;
211f31c9d25SPeter Brune   ngmres->deltaB     = 0.9;
212f31c9d25SPeter Brune   ngmres->epsilonB   = 0.1;
213f31c9d25SPeter Brune 
214f31c9d25SPeter Brune   ngmres->andersonBeta = 1.0;
215f31c9d25SPeter Brune   PetscFunctionReturn(0);
216f31c9d25SPeter Brune }
217f31c9d25SPeter Brune EXTERN_C_END
218