xref: /petsc/include/petscsnes.h (revision 4d8f6ca913a74072f4299bcf74725bd6e501edf0)
173f4d377SMatthew Knepley /* $Id: petscsnes.h,v 1.111 2001/08/06 21:17:05 bsmith Exp $ */
2f26ada1bSBarry Smith /*
384cb2905SBarry Smith     User interface for the nonlinear solvers and unconstrained minimization package.
4f26ada1bSBarry Smith */
50a835dfdSSatish Balay #if !defined(__PETSCSNES_H)
60a835dfdSSatish Balay #define __PETSCSNES_H
70a835dfdSSatish Balay #include "petscsles.h"
8b1f5cb9dSBarry Smith 
9435da068SBarry Smith /*S
10435da068SBarry Smith      SNES - Abstract PETSc object that manages all nonlinear solves
11435da068SBarry Smith 
12435da068SBarry Smith    Level: beginner
13435da068SBarry Smith 
14435da068SBarry Smith   Concepts: nonlinear solvers
15435da068SBarry Smith 
16435da068SBarry Smith .seealso:  SNESCreate(), SNESSetType(), SNESType, TS, SLES, KSP, PC, SNESProblemType
17435da068SBarry Smith S*/
18f09e8eb9SSatish Balay typedef struct _p_SNES* SNES;
19435da068SBarry Smith 
20ce3d82beSBarry Smith #define SNES_COOKIE         PETSC_COOKIE+13
216831982aSBarry Smith #define MATSNESMFCTX_COOKIE PETSC_COOKIE+29
22b1f5cb9dSBarry Smith 
23435da068SBarry Smith /*E
24435da068SBarry Smith     SNESType - String with the name of a PETSc SNES method or the creation function
25435da068SBarry Smith        with an optional dynamic library name, for example
26435da068SBarry Smith        http://www.mcs.anl.gov/petsc/lib.a:mysnescreate()
27435da068SBarry Smith 
28435da068SBarry Smith    Level: beginner
29435da068SBarry Smith 
30435da068SBarry Smith .seealso: SNESSetType(), SNES
31435da068SBarry Smith E*/
326831982aSBarry Smith #define SNESEQLS          "ls"
336831982aSBarry Smith #define SNESEQTR          "tr"
346831982aSBarry Smith #define SNESEQTEST        "test"
356831982aSBarry Smith #define SNESUMLS          "umls"
366831982aSBarry Smith #define SNESUMTR          "umtr"
3782bf6240SBarry Smith typedef char *SNESType;
38b1f5cb9dSBarry Smith 
39deeb6e72SMatthew Knepley #ifdef PETSC_USE_NEW_LOGGING
40deeb6e72SMatthew Knepley /* Logging support */
41deeb6e72SMatthew Knepley extern int SNES_COOKIE;
42deeb6e72SMatthew Knepley enum {SNES_Solve, SNES_LineSearch, SNES_FunctionEval, SNES_JacobianEval, SNES_MinimizationFunctionEval, SNES_GradientEval,
43deeb6e72SMatthew Knepley       SNES_HessianEval, SNES_KrylovOrthogonalization, SNES_MAX_EVENTS};
44deeb6e72SMatthew Knepley extern int SNESEvents[SNES_MAX_EVENTS];
45deeb6e72SMatthew Knepley #define SNESLogEventBegin(e,o1,o2,o3,o4) PetscLogEventBegin(SNESEvents[e],o1,o2,o3,o4)
46deeb6e72SMatthew Knepley #define SNESLogEventEnd(e,o1,o2,o3,o4)   PetscLogEventEnd(SNESEvents[e],o1,o2,o3,o4)
47deeb6e72SMatthew Knepley 
48deeb6e72SMatthew Knepley #else
49deeb6e72SMatthew Knepley 
50deeb6e72SMatthew Knepley #define SNESLogEventBegin(e,o1,o2,o3,o4) PetscLogEventBegin(e,o1,o2,o3,o4)
51deeb6e72SMatthew Knepley #define SNESLogEventEnd(e,o1,o2,o3,o4)   PetscLogEventEnd(e,o1,o2,o3,o4)
52deeb6e72SMatthew Knepley #endif
53deeb6e72SMatthew Knepley 
54435da068SBarry Smith /*E
55435da068SBarry Smith     SNESProblemType - Determines the type of problem this SNES object is to be used to solve
56435da068SBarry Smith 
57435da068SBarry Smith    Level: beginner
58435da068SBarry Smith 
598a124369SBarry Smith .seealso: SNESCreate(), SNESGetProblemType()
60435da068SBarry Smith E*/
612a03e22aSLois Curfman McInnes typedef enum {SNES_NONLINEAR_EQUATIONS,SNES_UNCONSTRAINED_MINIMIZATION,SNES_LEAST_SQUARES} SNESProblemType;
622a03e22aSLois Curfman McInnes 
63ca44d042SBarry Smith EXTERN int SNESCreate(MPI_Comm,SNESProblemType,SNES*);
648a124369SBarry Smith EXTERN int SNESGetProblemType(SNES,SNESProblemType*);
65ca44d042SBarry Smith EXTERN int SNESDestroy(SNES);
66ca44d042SBarry Smith EXTERN int SNESSetType(SNES,SNESType);
6787828ca2SBarry Smith EXTERN int SNESSetMonitor(SNES,int(*)(SNES,int,PetscReal,void*),void *,int (*)(void *));
68ca44d042SBarry Smith EXTERN int SNESClearMonitor(SNES);
6987828ca2SBarry Smith EXTERN int SNESSetConvergenceHistory(SNES,PetscReal*,int *,int,PetscTruth);
7087828ca2SBarry Smith EXTERN int SNESGetConvergenceHistory(SNES,PetscReal**,int **,int *);
71ca44d042SBarry Smith EXTERN int SNESSetUp(SNES,Vec);
72ca44d042SBarry Smith EXTERN int SNESSolve(SNES,Vec,int*);
7384cb2905SBarry Smith 
74*4d8f6ca9SMatthew Knepley EXTERN int SNESAddOptionsChecker(int (*)(SNES));
75*4d8f6ca9SMatthew Knepley 
76*4d8f6ca9SMatthew Knepley EXTERN int SNESSetRhsBC(SNES, int (*)(SNES, Vec, void *));
77*4d8f6ca9SMatthew Knepley EXTERN int SNESDefaultRhsBC(SNES, Vec, void *);
78*4d8f6ca9SMatthew Knepley EXTERN int SNESSetSolutionBC(SNES, int (*)(SNES, Vec, void *));
79*4d8f6ca9SMatthew Knepley EXTERN int SNESDefaultSolutionBC(SNES, Vec, void *);
80*4d8f6ca9SMatthew Knepley EXTERN int SNESSetUpdate(SNES, int (*)(SNES, int));
81*4d8f6ca9SMatthew Knepley EXTERN int SNESDefaultUpdate(SNES, int);
82*4d8f6ca9SMatthew Knepley 
83b0a32e0cSBarry Smith extern PetscFList SNESList;
84ca44d042SBarry Smith EXTERN int SNESRegisterDestroy(void);
85ca44d042SBarry Smith EXTERN int SNESRegisterAll(char *);
8684cb2905SBarry Smith 
87ca44d042SBarry Smith EXTERN int SNESRegister(char*,char*,char*,int(*)(SNES));
88aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
89f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,0)
90b2002411SLois Curfman McInnes #else
91f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,d)
92b2002411SLois Curfman McInnes #endif
93b2002411SLois Curfman McInnes 
94ca44d042SBarry Smith EXTERN int SNESGetSLES(SNES,SLES*);
95ca44d042SBarry Smith EXTERN int SNESGetSolution(SNES,Vec*);
96ca44d042SBarry Smith EXTERN int SNESGetSolutionUpdate(SNES,Vec*);
978439883dSBarry Smith EXTERN int SNESGetFunction(SNES,Vec*,void**,int(**)(SNES,Vec,Vec,void*));
98b0a32e0cSBarry Smith EXTERN int SNESView(SNES,PetscViewer);
997bc3d0afSSatish Balay 
100ca44d042SBarry Smith EXTERN int SNESSetOptionsPrefix(SNES,char*);
101ca44d042SBarry Smith EXTERN int SNESAppendOptionsPrefix(SNES,char*);
102ca44d042SBarry Smith EXTERN int SNESGetOptionsPrefix(SNES,char**);
103ca44d042SBarry Smith EXTERN int SNESSetFromOptions(SNES);
10440191667SLois Curfman McInnes 
105ca44d042SBarry Smith EXTERN int MatCreateSNESMF(SNES,Vec,Mat*);
1061d1367b7SBarry Smith EXTERN int MatCreateMF(Vec,Mat*);
1071d1367b7SBarry Smith EXTERN int MatSNESMFSetBase(Mat,Vec);
1083a7fca6bSBarry Smith EXTERN int MatSNESMFComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
109ca44d042SBarry Smith EXTERN int MatSNESMFSetFunction(Mat,Vec,int(*)(SNES,Vec,Vec,void*),void*);
11087828ca2SBarry Smith EXTERN int MatSNESMFSetFunctioni(Mat,int (*)(int,Vec,PetscScalar*,void*));
1118a124369SBarry Smith EXTERN int MatSNESMFSetFunctioniBase(Mat,int (*)(Vec,void*));
11274637425SBarry Smith EXTERN int MatSNESMFAddNullSpace(Mat,MatNullSpace);
11387828ca2SBarry Smith EXTERN int MatSNESMFSetHHistory(Mat,PetscScalar *,int);
114ca44d042SBarry Smith EXTERN int MatSNESMFResetHHistory(Mat);
11587828ca2SBarry Smith EXTERN int MatSNESMFSetFunctionError(Mat,PetscReal);
116ca44d042SBarry Smith EXTERN int MatSNESMFSetPeriod(Mat,int);
11787828ca2SBarry Smith EXTERN int MatSNESMFGetH(Mat,PetscScalar *);
11887828ca2SBarry Smith EXTERN int MatSNESMFKSPMonitor(KSP,int,PetscReal,void *);
119ca44d042SBarry Smith EXTERN int MatSNESMFSetFromOptions(Mat);
1205a655dc6SBarry Smith typedef struct _p_MatSNESMFCtx   *MatSNESMFCtx;
121435da068SBarry Smith 
122435da068SBarry Smith #define MATSNESMF_DEFAULT "default"
123435da068SBarry Smith #define MATSNESMF_WP      "wp"
124b7fd4e64SBarry Smith typedef char* MatSNESMFType;
125ca44d042SBarry Smith EXTERN int MatSNESMFSetType(Mat,MatSNESMFType);
126ca44d042SBarry Smith EXTERN int MatSNESMFRegister(char *,char *,char *,int (*)(MatSNESMFCtx));
127aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
128f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,0)
1299a6cb015SBarry Smith #else
130f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,d)
1319a6cb015SBarry Smith #endif
132ca44d042SBarry Smith EXTERN int MatSNESMFRegisterAll(char *);
133ca44d042SBarry Smith EXTERN int MatSNESMFRegisterDestroy(void);
1343a7fca6bSBarry Smith EXTERN int MatSNESMFDefaultSetUmin(Mat,PetscReal);
135ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormA(Mat,PetscTruth);
136ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormU(Mat,PetscTruth);
1378f6e3e37SBarry Smith 
1383a7fca6bSBarry Smith EXTERN int MatDAADSetSNES(Mat,SNES);
1393a7fca6bSBarry Smith 
140ca44d042SBarry Smith EXTERN int SNESGetType(SNES,SNESType*);
14187828ca2SBarry Smith EXTERN int SNESDefaultMonitor(SNES,int,PetscReal,void *);
14287828ca2SBarry Smith EXTERN int SNESRatioMonitor(SNES,int,PetscReal,void *);
1433a7fca6bSBarry Smith EXTERN int SNESSetRatioMonitor(SNES);
14487828ca2SBarry Smith EXTERN int SNESVecViewMonitor(SNES,int,PetscReal,void *);
14587828ca2SBarry Smith EXTERN int SNESVecViewUpdateMonitor(SNES,int,PetscReal,void *);
14687828ca2SBarry Smith EXTERN int SNESDefaultSMonitor(SNES,int,PetscReal,void *);
14787828ca2SBarry Smith EXTERN int SNESSetTolerances(SNES,PetscReal,PetscReal,PetscReal,int,int);
14887828ca2SBarry Smith EXTERN int SNESGetTolerances(SNES,PetscReal*,PetscReal*,PetscReal*,int*,int*);
14987828ca2SBarry Smith EXTERN int SNESSetTrustRegionTolerance(SNES,PetscReal);
150ca44d042SBarry Smith EXTERN int SNESGetIterationNumber(SNES,int*);
15187828ca2SBarry Smith EXTERN int SNESGetFunctionNorm(SNES,PetscScalar*);
152ca44d042SBarry Smith EXTERN int SNESGetNumberUnsuccessfulSteps(SNES,int*);
153ca44d042SBarry Smith EXTERN int SNESGetNumberLinearIterations(SNES,int*);
15487828ca2SBarry Smith EXTERN int SNES_KSP_SetParametersEW(SNES,int,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal);
155ca44d042SBarry Smith EXTERN int SNES_KSP_SetConvergenceTestEW(SNES);
156eafb4bcbSBarry Smith 
1573369ce9aSBarry Smith /*
1583369ce9aSBarry Smith      Reuse the default KSP monitor routines for SNES
1593369ce9aSBarry Smith */
160b0a32e0cSBarry Smith EXTERN int SNESLGMonitorCreate(char*,char*,int,int,int,int,PetscDrawLG*);
16187828ca2SBarry Smith EXTERN int SNESLGMonitor(SNES,int,PetscReal,void*);
162b0a32e0cSBarry Smith EXTERN int SNESLGMonitorDestroy(PetscDrawLG);
163eafb4bcbSBarry Smith 
164ca44d042SBarry Smith EXTERN int SNESSetApplicationContext(SNES,void *);
165ca44d042SBarry Smith EXTERN int SNESGetApplicationContext(SNES,void **);
166184914b5SBarry Smith 
167435da068SBarry Smith /*E
168435da068SBarry Smith     SNESConvergedReason - reason a SNES method was said to
169435da068SBarry Smith          have converged or diverged
170435da068SBarry Smith 
171435da068SBarry Smith    Level: beginner
172435da068SBarry Smith 
173435da068SBarry Smith    Notes: this must match finclude/petscsnes.h
174435da068SBarry Smith 
175435da068SBarry Smith .seealso: SNESSolve(), SNESGetConvergedReason(), KSPConvergedReason, SNESSetConvergenceTest()
176435da068SBarry Smith E*/
177184914b5SBarry Smith typedef enum {/* converged */
178184914b5SBarry Smith               SNES_CONVERGED_FNORM_ABS         =  2, /* F < F_minabs */
179184914b5SBarry Smith               SNES_CONVERGED_FNORM_RELATIVE    =  3, /* F < F_mintol*F_initial */
180184914b5SBarry Smith               SNES_CONVERGED_PNORM_RELATIVE    =  4, /* step size small */
181184914b5SBarry Smith               SNES_CONVERGED_GNORM_ABS         =  5, /* grad F < grad F_min */
182184914b5SBarry Smith               SNES_CONVERGED_TR_REDUCTION      =  6,
183184914b5SBarry Smith               SNES_CONVERGED_TR_DELTA          =  7,
184184914b5SBarry Smith               /* diverged */
185184914b5SBarry Smith               SNES_DIVERGED_FUNCTION_COUNT     = -2,
186184914b5SBarry Smith               SNES_DIVERGED_FNORM_NAN          = -4,
187184914b5SBarry Smith               SNES_DIVERGED_MAX_IT             = -5,
188184914b5SBarry Smith               SNES_DIVERGED_LS_FAILURE         = -6,
189184914b5SBarry Smith               SNES_DIVERGED_TR_REDUCTION       = -7,
19058c775ebSBarry Smith               SNES_DIVERGED_LOCAL_MIN          = -8,  /* || J^T b || is small, implies converged to local minimum of F() */
191184914b5SBarry Smith               SNES_CONVERGED_ITERATING         =  0} SNESConvergedReason;
192184914b5SBarry Smith 
19387828ca2SBarry Smith EXTERN int SNESSetConvergenceTest(SNES,int (*)(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*),void*);
19487828ca2SBarry Smith EXTERN int SNESConverged_UM_LS(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
19587828ca2SBarry Smith EXTERN int SNESConverged_UM_TR(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
19687828ca2SBarry Smith EXTERN int SNESConverged_EQ_LS(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
19787828ca2SBarry Smith EXTERN int SNESConverged_EQ_TR(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*);
198ca44d042SBarry Smith EXTERN int SNESGetConvergedReason(SNES,SNESConvergedReason*);
199ddbbdb52SLois Curfman McInnes 
2003a7fca6bSBarry Smith EXTERN int SNESDAFormFunction(SNES,Vec,Vec,void*);
2013a7fca6bSBarry Smith EXTERN int SNESDAComputeJacobianWithAdic(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
2023a7fca6bSBarry Smith EXTERN int SNESDAComputeJacobianWithAdifor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
2033a7fca6bSBarry Smith EXTERN int SNESDAComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
2043a7fca6bSBarry Smith 
205b67197daSBarry Smith /* --------- Solving systems of nonlinear equations --------------- */
206ca44d042SBarry Smith EXTERN int SNESSetFunction(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void *);
207ca44d042SBarry Smith EXTERN int SNESComputeFunction(SNES,Vec,Vec);
208ca44d042SBarry Smith EXTERN int SNESSetJacobian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
2098439883dSBarry Smith EXTERN int SNESGetJacobian(SNES,Mat*,Mat*,void **,int(**)(SNES,Vec,Mat*,Mat*,MatStructure*,void*));
210ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
211ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
21287828ca2SBarry Smith EXTERN int SNESSetLineSearch(SNES,int(*)(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*),void*);
21387828ca2SBarry Smith EXTERN int SNESNoLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
21487828ca2SBarry Smith EXTERN int SNESNoLineSearchNoNorms(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
21587828ca2SBarry Smith EXTERN int SNESCubicLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
21687828ca2SBarry Smith EXTERN int SNESQuadraticLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*);
217ca44d042SBarry Smith EXTERN int SNESSetLineSearchCheck(SNES,int(*)(SNES,void*,Vec,PetscTruth*),void*);
21887828ca2SBarry Smith EXTERN int SNESSetLineSearchParams(SNES,PetscReal,PetscReal,PetscReal);
21987828ca2SBarry Smith EXTERN int SNESGetLineSearchParams(SNES,PetscReal*,PetscReal*,PetscReal*);
22040191667SLois Curfman McInnes 
22184cb2905SBarry Smith /* --------- Unconstrained minimization routines --------------------------------*/
222ca44d042SBarry Smith EXTERN int SNESSetHessian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
223ca44d042SBarry Smith EXTERN int SNESGetHessian(SNES,Mat*,Mat*,void **);
224ca44d042SBarry Smith EXTERN int SNESDefaultComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
225ca44d042SBarry Smith EXTERN int SNESDefaultComputeHessianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
226ca44d042SBarry Smith EXTERN int SNESSetGradient(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void*);
227ca44d042SBarry Smith EXTERN int SNESGetGradient(SNES,Vec*,void**);
22887828ca2SBarry Smith EXTERN int SNESGetGradientNorm(SNES,PetscScalar*);
229ca44d042SBarry Smith EXTERN int SNESComputeGradient(SNES,Vec,Vec);
23087828ca2SBarry Smith EXTERN int SNESSetMinimizationFunction(SNES,int(*)(SNES,Vec,PetscReal*,void*),void*);
23187828ca2SBarry Smith EXTERN int SNESComputeMinimizationFunction(SNES,Vec,PetscReal*);
23287828ca2SBarry Smith EXTERN int SNESGetMinimizationFunction(SNES,PetscReal*,void**);
23387828ca2SBarry Smith EXTERN int SNESSetMinimizationFunctionTolerance(SNES,PetscReal);
23487828ca2SBarry Smith EXTERN int SNESLineSearchSetDampingParameter(SNES,PetscScalar*);
23552392280SLois Curfman McInnes 
2364b0e389bSBarry Smith 
23752392280SLois Curfman McInnes /* Should these 2 routines be private? */
238ca44d042SBarry Smith EXTERN int SNESComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*);
239ca44d042SBarry Smith EXTERN int SNESComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*);
240ddbbdb52SLois Curfman McInnes 
241ce3d82beSBarry Smith #endif
242b1f5cb9dSBarry Smith 
243