xref: /petsc/include/petscsnes.h (revision 8e58c17d92fd182847eda150482aa81aa9e1fb44)
1 /* $Id: petscsnes.h,v 1.111 2001/08/06 21:17:05 bsmith Exp $ */
2 /*
3     User interface for the nonlinear solvers and unconstrained minimization package.
4 */
5 #if !defined(__PETSCSNES_H)
6 #define __PETSCSNES_H
7 #include "petscsles.h"
8 
9 /*S
10      SNES - Abstract PETSc object that manages all nonlinear solves
11 
12    Level: beginner
13 
14   Concepts: nonlinear solvers
15 
16 .seealso:  SNESCreate(), SNESSetType(), SNESType, TS, SLES, KSP, PC, SNESProblemType
17 S*/
18 typedef struct _p_SNES* SNES;
19 
20 /*E
21     SNESType - String with the name of a PETSc SNES method or the creation function
22        with an optional dynamic library name, for example
23        http://www.mcs.anl.gov/petsc/lib.a:mysnescreate()
24 
25    Level: beginner
26 
27 .seealso: SNESSetType(), SNES
28 E*/
29 #define SNESEQLS          "ls"
30 #define SNESEQTR          "tr"
31 #define SNESEQTEST        "test"
32 #define SNESUMLS          "umls"
33 #define SNESUMTR          "umtr"
34 typedef char *SNESType;
35 
36 /* Logging support */
37 extern int SNES_COOKIE;
38 extern int MATSNESMFCTX_COOKIE;
39 enum {SNES_Solve, SNES_LineSearch, SNES_FunctionEval, SNES_JacobianEval, SNES_MinimizationFunctionEval, SNES_GradientEval,
40       SNES_HessianEval, SNES_MAX_EVENTS};
41 extern int SNESEvents[SNES_MAX_EVENTS];
42 #define SNESLogEventBegin(e,o1,o2,o3,o4) PetscLogEventBegin(SNESEvents[e],o1,o2,o3,o4)
43 #define SNESLogEventEnd(e,o1,o2,o3,o4)   PetscLogEventEnd(SNESEvents[e],o1,o2,o3,o4)
44 
45 EXTERN int SNESInitializePackage(char *);
46 
47 /*E
48     SNESProblemType - Determines the type of problem this SNES object is to be used to solve
49 
50    Level: beginner
51 
52 .seealso: SNESCreate(), SNESGetProblemType()
53 E*/
54 typedef enum {SNES_NONLINEAR_EQUATIONS,SNES_UNCONSTRAINED_MINIMIZATION,SNES_LEAST_SQUARES} SNESProblemType;
55 
56 EXTERN int SNESCreate(MPI_Comm,SNESProblemType,SNES*);
57 EXTERN int SNESGetProblemType(SNES,SNESProblemType*);
58 EXTERN int SNESDestroy(SNES);
59 EXTERN int SNESSetType(SNES,SNESType);
60 EXTERN int SNESSetMonitor(SNES,int(*)(SNES,int,PetscReal,void*),void *,int (*)(void *));
61 EXTERN int SNESClearMonitor(SNES);
62 EXTERN int SNESSetConvergenceHistory(SNES,PetscReal*,int *,int,PetscTruth);
63 EXTERN int SNESGetConvergenceHistory(SNES,PetscReal**,int **,int *);
64 EXTERN int SNESSetUp(SNES,Vec);
65 EXTERN int SNESSolve(SNES,Vec,int*);
66 
67 EXTERN int SNESAddOptionsChecker(int (*)(SNES));
68 
69 EXTERN int SNESSetRhsBC(SNES, int (*)(SNES, Vec, void *));
70 EXTERN int SNESDefaultRhsBC(SNES, Vec, void *);
71 EXTERN int SNESSetSolutionBC(SNES, int (*)(SNES, Vec, void *));
72 EXTERN int SNESDefaultSolutionBC(SNES, Vec, void *);
73 EXTERN int SNESSetUpdate(SNES, int (*)(SNES, int));
74 EXTERN int SNESDefaultUpdate(SNES, int);
75 
76 extern PetscFList SNESList;
77 EXTERN int SNESRegisterDestroy(void);
78 EXTERN int SNESRegisterAll(char *);
79 
80 EXTERN int SNESRegister(char*,char*,char*,int(*)(SNES));
81 #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
82 #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,0)
83 #else
84 #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,d)
85 #endif
86 
87 EXTERN int SNESGetSLES(SNES,SLES*);
88 EXTERN int SNESGetSolution(SNES,Vec*);
89 EXTERN int SNESGetSolutionUpdate(SNES,Vec*);
90 EXTERN int SNESGetFunction(SNES,Vec*,void**,int(**)(SNES,Vec,Vec,void*));
91 EXTERN int SNESView(SNES,PetscViewer);
92 
93 EXTERN int SNESSetOptionsPrefix(SNES,char*);
94 EXTERN int SNESAppendOptionsPrefix(SNES,char*);
95 EXTERN int SNESGetOptionsPrefix(SNES,char**);
96 EXTERN int SNESSetFromOptions(SNES);
97 
98 EXTERN int MatCreateSNESMF(SNES,Vec,Mat*);
99 EXTERN int MatCreateMF(Vec,Mat*);
100 EXTERN int MatSNESMFSetBase(Mat,Vec);
101 EXTERN int MatSNESMFComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
102 EXTERN int MatSNESMFSetFunction(Mat,Vec,int(*)(SNES,Vec,Vec,void*),void*);
103 EXTERN int MatSNESMFSetFunctioni(Mat,int (*)(int,Vec,PetscScalar*,void*));
104 EXTERN int MatSNESMFSetFunctioniBase(Mat,int (*)(Vec,void*));
105 EXTERN int MatSNESMFAddNullSpace(Mat,MatNullSpace);
106 EXTERN int MatSNESMFSetHHistory(Mat,PetscScalar *,int);
107 EXTERN int MatSNESMFResetHHistory(Mat);
108 EXTERN int MatSNESMFSetFunctionError(Mat,PetscReal);
109 EXTERN int MatSNESMFSetPeriod(Mat,int);
110 EXTERN int MatSNESMFGetH(Mat,PetscScalar *);
111 EXTERN int MatSNESMFKSPMonitor(KSP,int,PetscReal,void *);
112 EXTERN int MatSNESMFSetFromOptions(Mat);
113 typedef struct _p_MatSNESMFCtx   *MatSNESMFCtx;
114 
115 #define MATSNESMF_DEFAULT "default"
116 #define MATSNESMF_WP      "wp"
117 typedef char* MatSNESMFType;
118 EXTERN int MatSNESMFSetType(Mat,MatSNESMFType);
119 EXTERN int MatSNESMFRegister(char *,char *,char *,int (*)(MatSNESMFCtx));
120 #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
121 #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,0)
122 #else
123 #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,d)
124 #endif
125 EXTERN int MatSNESMFRegisterAll(char *);
126 EXTERN int MatSNESMFRegisterDestroy(void);
127 EXTERN int MatSNESMFDefaultSetUmin(Mat,PetscReal);
128 EXTERN int MatSNESMFWPSetComputeNormA(Mat,PetscTruth);
129 EXTERN int MatSNESMFWPSetComputeNormU(Mat,PetscTruth);
130 
131 EXTERN int MatDAADSetSNES(Mat,SNES);
132 
133 EXTERN int SNESGetType(SNES,SNESType*);
134 EXTERN int SNESDefaultMonitor(SNES,int,PetscReal,void *);
135 EXTERN int SNESRatioMonitor(SNES,int,PetscReal,void *);
136 EXTERN int SNESSetRatioMonitor(SNES);
137 EXTERN int SNESVecViewMonitor(SNES,int,PetscReal,void *);
138 EXTERN int SNESVecViewUpdateMonitor(SNES,int,PetscReal,void *);
139 EXTERN int SNESDefaultSMonitor(SNES,int,PetscReal,void *);
140 EXTERN int SNESSetTolerances(SNES,PetscReal,PetscReal,PetscReal,int,int);
141 EXTERN int SNESGetTolerances(SNES,PetscReal*,PetscReal*,PetscReal*,int*,int*);
142 EXTERN int SNESSetTrustRegionTolerance(SNES,PetscReal);
143 EXTERN int SNESGetIterationNumber(SNES,int*);
144 EXTERN int SNESGetFunctionNorm(SNES,PetscScalar*);
145 EXTERN int SNESGetNumberUnsuccessfulSteps(SNES,int*);
146 EXTERN int SNESGetNumberLinearIterations(SNES,int*);
147 EXTERN int SNES_KSP_SetParametersEW(SNES,int,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal);
148 EXTERN int SNES_KSP_SetConvergenceTestEW(SNES);
149 
150 /*
151      Reuse the default KSP monitor routines for SNES
152 */
153 EXTERN int SNESLGMonitorCreate(char*,char*,int,int,int,int,PetscDrawLG*);
154 EXTERN int SNESLGMonitor(SNES,int,PetscReal,void*);
155 EXTERN int SNESLGMonitorDestroy(PetscDrawLG);
156 
157 EXTERN int SNESSetApplicationContext(SNES,void *);
158 EXTERN int SNESGetApplicationContext(SNES,void **);
159 
160 /*E
161     SNESConvergedReason - reason a SNES method was said to
162          have converged or diverged
163 
164    Level: beginner
165 
166    Notes: this must match finclude/petscsnes.h
167 
168 .seealso: SNESSolve(), SNESGetConvergedReason(), KSPConvergedReason, SNESSetConvergenceTest()
169 E*/
170 typedef enum {/* converged */
171               SNES_CONVERGED_FNORM_ABS         =  2, /* F < F_minabs */
172               SNES_CONVERGED_FNORM_RELATIVE    =  3, /* F < F_mintol*F_initial */
173               SNES_CONVERGED_PNORM_RELATIVE    =  4, /* step size small */
174               SNES_CONVERGED_GNORM_ABS         =  5, /* grad F < grad F_min */
175               SNES_CONVERGED_TR_REDUCTION      =  6,
176               SNES_CONVERGED_TR_DELTA          =  7,
177               /* diverged */
178               SNES_DIVERGED_FUNCTION_COUNT     = -2,
179               SNES_DIVERGED_FNORM_NAN          = -4,
180               SNES_DIVERGED_MAX_IT             = -5,
181               SNES_DIVERGED_LS_FAILURE         = -6,
182               SNES_DIVERGED_TR_REDUCTION       = -7,
183               SNES_DIVERGED_LOCAL_MIN          = -8,  /* || J^T b || is small, implies converged to local minimum of F() */
184               SNES_CONVERGED_ITERATING         =  0} SNESConvergedReason;
185 
186 EXTERN int SNESSetConvergenceTest(SNES,int (*)(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*),void*);
187 EXTERN int SNESConverged_UM_LS(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
188 EXTERN int SNESConverged_UM_TR(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
189 EXTERN int SNESConverged_EQ_LS(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
190 EXTERN int SNESConverged_EQ_TR(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
191 EXTERN int SNESGetConvergedReason(SNES,SNESConvergedReason*);
192 
193 EXTERN int SNESDAFormFunction(SNES,Vec,Vec,void*);
194 EXTERN int SNESDAComputeJacobianWithAdic(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
195 EXTERN int SNESDAComputeJacobianWithAdifor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
196 EXTERN int SNESDAComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
197 
198 /* --------- Solving systems of nonlinear equations --------------- */
199 EXTERN int SNESSetFunction(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void *);
200 EXTERN int SNESComputeFunction(SNES,Vec,Vec);
201 EXTERN int SNESSetJacobian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
202 EXTERN int SNESGetJacobian(SNES,Mat*,Mat*,void **,int(**)(SNES,Vec,Mat*,Mat*,MatStructure*,void*));
203 EXTERN int SNESDefaultComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
204 EXTERN int SNESDefaultComputeJacobianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
205 EXTERN int SNESSetLineSearch(SNES,int(*)(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*),void*);
206 EXTERN int SNESNoLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
207 EXTERN int SNESNoLineSearchNoNorms(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
208 EXTERN int SNESCubicLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
209 EXTERN int SNESQuadraticLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
210 EXTERN int SNESSetLineSearchCheck(SNES,int(*)(SNES,void*,Vec,PetscTruth*),void*);
211 EXTERN int SNESSetLineSearchParams(SNES,PetscReal,PetscReal,PetscReal);
212 EXTERN int SNESGetLineSearchParams(SNES,PetscReal*,PetscReal*,PetscReal*);
213 
214 /* --------- Unconstrained minimization routines --------------------------------*/
215 EXTERN int SNESSetHessian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
216 EXTERN int SNESGetHessian(SNES,Mat*,Mat*,void **);
217 EXTERN int SNESDefaultComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
218 EXTERN int SNESDefaultComputeHessianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
219 EXTERN int SNESSetGradient(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void*);
220 EXTERN int SNESGetGradient(SNES,Vec*,void**);
221 EXTERN int SNESGetGradientNorm(SNES,PetscScalar*);
222 EXTERN int SNESComputeGradient(SNES,Vec,Vec);
223 EXTERN int SNESSetMinimizationFunction(SNES,int(*)(SNES,Vec,PetscReal*,void*),void*);
224 EXTERN int SNESComputeMinimizationFunction(SNES,Vec,PetscReal*);
225 EXTERN int SNESGetMinimizationFunction(SNES,PetscReal*,void**);
226 EXTERN int SNESSetMinimizationFunctionTolerance(SNES,PetscReal);
227 EXTERN int SNESLineSearchSetDampingParameter(SNES,PetscScalar*);
228 
229 
230 /* Should these 2 routines be private? */
231 EXTERN int SNESComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*);
232 EXTERN int SNESComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*);
233 
234 #endif
235 
236