xref: /petsc/src/snes/tutorials/ex1f.F90 (revision 956f8c0d5cb1587c6a362cfd05295524c0618949)
1c4762a1bSJed Brown!
2c4762a1bSJed Brown!
3c4762a1bSJed Brown!  Description: Uses the Newton method to solve a two-variable system.
4c4762a1bSJed Brown!
5c4762a1bSJed Brown!!/*T
6c4762a1bSJed Brown!  Concepts: SNES^basic uniprocessor example
7c4762a1bSJed Brown!  Processors: 1
8c4762a1bSJed Brown!T*/
9c4762a1bSJed Brown
10c4762a1bSJed Brown      program main
11c4762a1bSJed Brown#include <petsc/finclude/petsc.h>
12c4762a1bSJed Brown      use petsc
13c4762a1bSJed Brown      implicit none
14c4762a1bSJed Brown
15c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
16c4762a1bSJed Brown!                   Variable declarations
17c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
18c4762a1bSJed Brown!
19c4762a1bSJed Brown!  Variables:
20c4762a1bSJed Brown!     snes        - nonlinear solver
21c4762a1bSJed Brown!     ksp        - linear solver
22c4762a1bSJed Brown!     pc          - preconditioner context
23c4762a1bSJed Brown!     ksp         - Krylov subspace method context
24c4762a1bSJed Brown!     x, r        - solution, residual vectors
25c4762a1bSJed Brown!     J           - Jacobian matrix
26c4762a1bSJed Brown!     its         - iterations for convergence
27c4762a1bSJed Brown!
28c4762a1bSJed Brown      SNES     snes
29c4762a1bSJed Brown      PC       pc
30c4762a1bSJed Brown      KSP      ksp
31c4762a1bSJed Brown      Vec      x,r
32c4762a1bSJed Brown      Mat      J
33c4762a1bSJed Brown      SNESLineSearch linesearch
34c4762a1bSJed Brown      PetscErrorCode  ierr
35c4762a1bSJed Brown      PetscInt its,i2,i20
36c4762a1bSJed Brown      PetscMPIInt size,rank
37c4762a1bSJed Brown      PetscScalar   pfive
38c4762a1bSJed Brown      PetscReal   tol
39c4762a1bSJed Brown      PetscBool   setls
40*956f8c0dSBarry Smith#if defined(PETSC_USE_LOG)
41c4762a1bSJed Brown      PetscViewer viewer
42*956f8c0dSBarry Smith#endif
43c4762a1bSJed Brown      double precision threshold,oldthreshold
44c4762a1bSJed Brown
45c4762a1bSJed Brown!  Note: Any user-defined Fortran routines (such as FormJacobian)
46c4762a1bSJed Brown!  MUST be declared as external.
47c4762a1bSJed Brown
48c4762a1bSJed Brown      external FormFunction, FormJacobian, MyLineSearch
49c4762a1bSJed Brown
50c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
51c4762a1bSJed Brown!                   Macro definitions
52c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
53c4762a1bSJed Brown!
54c4762a1bSJed Brown!  Macros to make clearer the process of setting values in vectors and
55c4762a1bSJed Brown!  getting values from vectors.  These vectors are used in the routines
56c4762a1bSJed Brown!  FormFunction() and FormJacobian().
57c4762a1bSJed Brown!   - The element lx_a(ib) is element ib in the vector x
58c4762a1bSJed Brown!
59c4762a1bSJed Brown#define lx_a(ib) lx_v(lx_i + (ib))
60c4762a1bSJed Brown#define lf_a(ib) lf_v(lf_i + (ib))
61c4762a1bSJed Brown!
62c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
63c4762a1bSJed Brown!                 Beginning of program
64c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
65c4762a1bSJed Brown
66c4762a1bSJed Brown      call PetscInitialize(PETSC_NULL_CHARACTER,ierr)
67c4762a1bSJed Brown      if (ierr .ne. 0) then
68c4762a1bSJed Brown        print*,'Unable to initialize PETSc'
69c4762a1bSJed Brown        stop
70c4762a1bSJed Brown      endif
71d21b9a37SPierre Jolivet      call PetscLogNestedBegin(ierr);CHKERRA(ierr)
72c4762a1bSJed Brown      threshold = 1.0
73c4762a1bSJed Brown      call PetscLogSetThreshold(threshold,oldthreshold,ierr)
74c4762a1bSJed Brown! dummy test of logging a reduction
75*956f8c0dSBarry Smith#if defined(PETSC_USE_LOG)
76c4762a1bSJed Brown      ierr = PetscAReduce()
77*956f8c0dSBarry Smith#endif
78c4762a1bSJed Brown      call MPI_Comm_size(PETSC_COMM_WORLD,size,ierr)
79c4762a1bSJed Brown      call MPI_Comm_rank(PETSC_COMM_WORLD,rank,ierr)
80c4762a1bSJed Brown      if (size .ne. 1) then; SETERRA(PETSC_COMM_SELF,PETSC_ERR_WRONG_MPI_SIZE,'Uniprocessor example'); endif
81c4762a1bSJed Brown
82c4762a1bSJed Brown      i2  = 2
83c4762a1bSJed Brown      i20 = 20
84c4762a1bSJed Brown! - - - - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - -
85c4762a1bSJed Brown!  Create nonlinear solver context
86c4762a1bSJed Brown! - - - - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - -
87c4762a1bSJed Brown
88c4762a1bSJed Brown      call SNESCreate(PETSC_COMM_WORLD,snes,ierr)
89c4762a1bSJed Brown
90c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
91c4762a1bSJed Brown!  Create matrix and vector data structures; set corresponding routines
92c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
93c4762a1bSJed Brown
94c4762a1bSJed Brown!  Create vectors for solution and nonlinear function
95c4762a1bSJed Brown
96c4762a1bSJed Brown      call VecCreateSeq(PETSC_COMM_SELF,i2,x,ierr)
97c4762a1bSJed Brown      call VecDuplicate(x,r,ierr)
98c4762a1bSJed Brown
99c4762a1bSJed Brown!  Create Jacobian matrix data structure
100c4762a1bSJed Brown
101c4762a1bSJed Brown      call MatCreate(PETSC_COMM_SELF,J,ierr)
102c4762a1bSJed Brown      call MatSetSizes(J,PETSC_DECIDE,PETSC_DECIDE,i2,i2,ierr)
103c4762a1bSJed Brown      call MatSetFromOptions(J,ierr)
104c4762a1bSJed Brown      call MatSetUp(J,ierr)
105c4762a1bSJed Brown
106c4762a1bSJed Brown!  Set function evaluation routine and vector
107c4762a1bSJed Brown
108c4762a1bSJed Brown      call SNESSetFunction(snes,r,FormFunction,0,ierr)
109c4762a1bSJed Brown
110c4762a1bSJed Brown!  Set Jacobian matrix data structure and Jacobian evaluation routine
111c4762a1bSJed Brown
112c4762a1bSJed Brown      call SNESSetJacobian(snes,J,J,FormJacobian,0,ierr)
113c4762a1bSJed Brown
114c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
115c4762a1bSJed Brown!  Customize nonlinear solver; set runtime options
116c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
117c4762a1bSJed Brown
118c4762a1bSJed Brown!  Set linear solver defaults for this problem. By extracting the
119c4762a1bSJed Brown!  KSP, KSP, and PC contexts from the SNES context, we can then
120c4762a1bSJed Brown!  directly call any KSP, KSP, and PC routines to set various options.
121c4762a1bSJed Brown
122c4762a1bSJed Brown      call SNESGetKSP(snes,ksp,ierr)
123c4762a1bSJed Brown      call KSPGetPC(ksp,pc,ierr)
124c4762a1bSJed Brown      call PCSetType(pc,PCNONE,ierr)
125c4762a1bSJed Brown      tol = 1.e-4
126c4762a1bSJed Brown      call KSPSetTolerances(ksp,tol,PETSC_DEFAULT_REAL,                  &
127c4762a1bSJed Brown     &                      PETSC_DEFAULT_REAL,i20,ierr)
128c4762a1bSJed Brown
129c4762a1bSJed Brown!  Set SNES/KSP/KSP/PC runtime options, e.g.,
130c4762a1bSJed Brown!      -snes_view -snes_monitor -ksp_type <ksp> -pc_type <pc>
131c4762a1bSJed Brown!  These options will override those specified above as long as
132c4762a1bSJed Brown!  SNESSetFromOptions() is called _after_ any other customization
133c4762a1bSJed Brown!  routines.
134c4762a1bSJed Brown
135c4762a1bSJed Brown
136c4762a1bSJed Brown      call SNESSetFromOptions(snes,ierr)
137c4762a1bSJed Brown
138c4762a1bSJed Brown      call PetscOptionsHasName(PETSC_NULL_OPTIONS,PETSC_NULL_CHARACTER,   &
139c4762a1bSJed Brown     &                         '-setls',setls,ierr)
140c4762a1bSJed Brown
141c4762a1bSJed Brown      if (setls) then
142c4762a1bSJed Brown        call SNESGetLineSearch(snes, linesearch, ierr)
143c4762a1bSJed Brown        call SNESLineSearchSetType(linesearch, 'shell', ierr)
144c4762a1bSJed Brown        call SNESLineSearchShellSetUserFunc(linesearch, MyLineSearch,   &
145c4762a1bSJed Brown     &                                      0, ierr)
146c4762a1bSJed Brown      endif
147c4762a1bSJed Brown
148c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
149c4762a1bSJed Brown!  Evaluate initial guess; then solve nonlinear system
150c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
151c4762a1bSJed Brown
152c4762a1bSJed Brown!  Note: The user should initialize the vector, x, with the initial guess
153c4762a1bSJed Brown!  for the nonlinear solver prior to calling SNESSolve().  In particular,
154c4762a1bSJed Brown!  to employ an initial guess of zero, the user should explicitly set
155c4762a1bSJed Brown!  this vector to zero by calling VecSet().
156c4762a1bSJed Brown
157c4762a1bSJed Brown      pfive = 0.5
158c4762a1bSJed Brown      call VecSet(x,pfive,ierr)
159c4762a1bSJed Brown      call SNESSolve(snes,PETSC_NULL_VEC,x,ierr)
16091f3e32bSBarry Smith
16191f3e32bSBarry Smith!  View solver converged reason; we could instead use the option -snes_converged_reason
16291f3e32bSBarry Smith      call SNESConvergedReasonView(snes,PETSC_VIEWER_STDOUT_WORLD,ierr)
16391f3e32bSBarry Smith
164c4762a1bSJed Brown      call SNESGetIterationNumber(snes,its,ierr);
165c4762a1bSJed Brown      if (rank .eq. 0) then
166c4762a1bSJed Brown         write(6,100) its
167c4762a1bSJed Brown      endif
168c4762a1bSJed Brown  100 format('Number of SNES iterations = ',i5)
169c4762a1bSJed Brown
170c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
171c4762a1bSJed Brown!  Free work space.  All PETSc objects should be destroyed when they
172c4762a1bSJed Brown!  are no longer needed.
173c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
174c4762a1bSJed Brown
175c4762a1bSJed Brown      call VecDestroy(x,ierr)
176c4762a1bSJed Brown      call VecDestroy(r,ierr)
177c4762a1bSJed Brown      call MatDestroy(J,ierr)
178c4762a1bSJed Brown      call SNESDestroy(snes,ierr)
179*956f8c0dSBarry Smith#if defined(PETSC_USE_LOG)
180c4762a1bSJed Brown      call PetscViewerASCIIOpen(PETSC_COMM_WORLD,'filename.xml',viewer,ierr)
181c4762a1bSJed Brown      call PetscViewerPushFormat(viewer,PETSC_VIEWER_ASCII_XML,ierr)
182c4762a1bSJed Brown      call PetscLogView(viewer,ierr)
183c4762a1bSJed Brown      call PetscViewerDestroy(viewer,ierr)
184*956f8c0dSBarry Smith#endif
185c4762a1bSJed Brown      call PetscFinalize(ierr)
186c4762a1bSJed Brown      end
187c4762a1bSJed Brown!
188c4762a1bSJed Brown! ------------------------------------------------------------------------
189c4762a1bSJed Brown!
190c4762a1bSJed Brown!  FormFunction - Evaluates nonlinear function, F(x).
191c4762a1bSJed Brown!
192c4762a1bSJed Brown!  Input Parameters:
193c4762a1bSJed Brown!  snes - the SNES context
194c4762a1bSJed Brown!  x - input vector
195c4762a1bSJed Brown!  dummy - optional user-defined context (not used here)
196c4762a1bSJed Brown!
197c4762a1bSJed Brown!  Output Parameter:
198c4762a1bSJed Brown!  f - function vector
199c4762a1bSJed Brown!
200c4762a1bSJed Brown      subroutine FormFunction(snes,x,f,dummy,ierr)
201c4762a1bSJed Brown      use petscsnes
202c4762a1bSJed Brown      implicit none
203c4762a1bSJed Brown
204c4762a1bSJed Brown      SNES     snes
205c4762a1bSJed Brown      Vec      x,f
206c4762a1bSJed Brown      PetscErrorCode ierr
207c4762a1bSJed Brown      integer dummy(*)
208c4762a1bSJed Brown
209c4762a1bSJed Brown!  Declarations for use with local arrays
210c4762a1bSJed Brown
211c4762a1bSJed Brown      PetscScalar  lx_v(2),lf_v(2)
212c4762a1bSJed Brown      PetscOffset  lx_i,lf_i
213c4762a1bSJed Brown
214c4762a1bSJed Brown!  Get pointers to vector data.
215c4762a1bSJed Brown!    - For default PETSc vectors, VecGetArray() returns a pointer to
216c4762a1bSJed Brown!      the data array.  Otherwise, the routine is implementation dependent.
217c4762a1bSJed Brown!    - You MUST call VecRestoreArray() when you no longer need access to
218c4762a1bSJed Brown!      the array.
219c4762a1bSJed Brown!    - Note that the Fortran interface to VecGetArray() differs from the
220c4762a1bSJed Brown!      C version.  See the Fortran chapter of the users manual for details.
221c4762a1bSJed Brown
222c4762a1bSJed Brown      call VecGetArrayRead(x,lx_v,lx_i,ierr)
223c4762a1bSJed Brown      call VecGetArray(f,lf_v,lf_i,ierr)
224c4762a1bSJed Brown
225c4762a1bSJed Brown!  Compute function
226c4762a1bSJed Brown
227c4762a1bSJed Brown      lf_a(1) = lx_a(1)*lx_a(1)                                         &
228c4762a1bSJed Brown     &          + lx_a(1)*lx_a(2) - 3.0
229c4762a1bSJed Brown      lf_a(2) = lx_a(1)*lx_a(2)                                         &
230c4762a1bSJed Brown     &          + lx_a(2)*lx_a(2) - 6.0
231c4762a1bSJed Brown
232c4762a1bSJed Brown!  Restore vectors
233c4762a1bSJed Brown
234c4762a1bSJed Brown      call VecRestoreArrayRead(x,lx_v,lx_i,ierr)
235c4762a1bSJed Brown      call VecRestoreArray(f,lf_v,lf_i,ierr)
236c4762a1bSJed Brown
237c4762a1bSJed Brown      return
238c4762a1bSJed Brown      end
239c4762a1bSJed Brown
240c4762a1bSJed Brown! ---------------------------------------------------------------------
241c4762a1bSJed Brown!
242c4762a1bSJed Brown!  FormJacobian - Evaluates Jacobian matrix.
243c4762a1bSJed Brown!
244c4762a1bSJed Brown!  Input Parameters:
245c4762a1bSJed Brown!  snes - the SNES context
246c4762a1bSJed Brown!  x - input vector
247c4762a1bSJed Brown!  dummy - optional user-defined context (not used here)
248c4762a1bSJed Brown!
249c4762a1bSJed Brown!  Output Parameters:
250c4762a1bSJed Brown!  A - Jacobian matrix
251c4762a1bSJed Brown!  B - optionally different preconditioning matrix
252c4762a1bSJed Brown!  flag - flag indicating matrix structure
253c4762a1bSJed Brown!
254c4762a1bSJed Brown      subroutine FormJacobian(snes,X,jac,B,dummy,ierr)
255c4762a1bSJed Brown      use petscsnes
256c4762a1bSJed Brown      implicit none
257c4762a1bSJed Brown
258c4762a1bSJed Brown      SNES         snes
259c4762a1bSJed Brown      Vec          X
260c4762a1bSJed Brown      Mat          jac,B
261c4762a1bSJed Brown      PetscScalar  A(4)
262c4762a1bSJed Brown      PetscErrorCode ierr
263c4762a1bSJed Brown      PetscInt idx(2),i2
264c4762a1bSJed Brown      integer dummy(*)
265c4762a1bSJed Brown
266c4762a1bSJed Brown!  Declarations for use with local arrays
267c4762a1bSJed Brown
268c4762a1bSJed Brown      PetscScalar lx_v(2)
269c4762a1bSJed Brown      PetscOffset lx_i
270c4762a1bSJed Brown
271c4762a1bSJed Brown!  Get pointer to vector data
272c4762a1bSJed Brown
273c4762a1bSJed Brown      i2 = 2
274c4762a1bSJed Brown      call VecGetArrayRead(x,lx_v,lx_i,ierr)
275c4762a1bSJed Brown
276c4762a1bSJed Brown!  Compute Jacobian entries and insert into matrix.
277c4762a1bSJed Brown!   - Since this is such a small problem, we set all entries for
278c4762a1bSJed Brown!     the matrix at once.
279c4762a1bSJed Brown!   - Note that MatSetValues() uses 0-based row and column numbers
280c4762a1bSJed Brown!     in Fortran as well as in C (as set here in the array idx).
281c4762a1bSJed Brown
282c4762a1bSJed Brown      idx(1) = 0
283c4762a1bSJed Brown      idx(2) = 1
284c4762a1bSJed Brown      A(1) = 2.0*lx_a(1) + lx_a(2)
285c4762a1bSJed Brown      A(2) = lx_a(1)
286c4762a1bSJed Brown      A(3) = lx_a(2)
287c4762a1bSJed Brown      A(4) = lx_a(1) + 2.0*lx_a(2)
288c4762a1bSJed Brown      call MatSetValues(B,i2,idx,i2,idx,A,INSERT_VALUES,ierr)
289c4762a1bSJed Brown
290c4762a1bSJed Brown!  Restore vector
291c4762a1bSJed Brown
292c4762a1bSJed Brown      call VecRestoreArrayRead(x,lx_v,lx_i,ierr)
293c4762a1bSJed Brown
294c4762a1bSJed Brown!  Assemble matrix
295c4762a1bSJed Brown
296c4762a1bSJed Brown      call MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY,ierr)
297c4762a1bSJed Brown      call MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY,ierr)
298c4762a1bSJed Brown      if (B .ne. jac) then
299c4762a1bSJed Brown        call MatAssemblyBegin(jac,MAT_FINAL_ASSEMBLY,ierr)
300c4762a1bSJed Brown        call MatAssemblyEnd(jac,MAT_FINAL_ASSEMBLY,ierr)
301c4762a1bSJed Brown      endif
302c4762a1bSJed Brown
303c4762a1bSJed Brown      return
304c4762a1bSJed Brown      end
305c4762a1bSJed Brown
306c4762a1bSJed Brown
307c4762a1bSJed Brown      subroutine MyLineSearch(linesearch, lctx, ierr)
308c4762a1bSJed Brown      use petscsnes
309c4762a1bSJed Brown      implicit none
310c4762a1bSJed Brown
311c4762a1bSJed Brown      SNESLineSearch    linesearch
312c4762a1bSJed Brown      SNES              snes
313c4762a1bSJed Brown      integer           lctx
314c4762a1bSJed Brown      Vec               x, f,g, y, w
315c4762a1bSJed Brown      PetscReal         ynorm,gnorm,xnorm
316c4762a1bSJed Brown      PetscBool         flag
317c4762a1bSJed Brown      PetscErrorCode    ierr
318c4762a1bSJed Brown
319c4762a1bSJed Brown      PetscScalar       mone
320c4762a1bSJed Brown
321c4762a1bSJed Brown      mone = -1.0
322c4762a1bSJed Brown      call SNESLineSearchGetSNES(linesearch, snes, ierr)
323c4762a1bSJed Brown      call SNESLineSearchGetVecs(linesearch, x, f, y, w, g, ierr)
324c4762a1bSJed Brown      call VecNorm(y,NORM_2,ynorm,ierr)
325c4762a1bSJed Brown      call VecAXPY(x,mone,y,ierr)
326c4762a1bSJed Brown      call SNESComputeFunction(snes,x,f,ierr)
327c4762a1bSJed Brown      call VecNorm(f,NORM_2,gnorm,ierr)
328c4762a1bSJed Brown      call VecNorm(x,NORM_2,xnorm,ierr)
329c4762a1bSJed Brown      call VecNorm(y,NORM_2,ynorm,ierr)
330c4762a1bSJed Brown      call SNESLineSearchSetNorms(linesearch, xnorm, gnorm, ynorm,      &
331c4762a1bSJed Brown     & ierr)
332c4762a1bSJed Brown      flag = PETSC_FALSE
333c4762a1bSJed Brown      return
334c4762a1bSJed Brown      end
335c4762a1bSJed Brown
336c4762a1bSJed Brown!/*TEST
337c4762a1bSJed Brown!
338c4762a1bSJed Brown!   test:
339c4762a1bSJed Brown!      args: -ksp_gmres_cgs_refinement_type refine_always -snes_monitor_short
340c4762a1bSJed Brown!      requires: !single
341c4762a1bSJed Brown!
342c4762a1bSJed Brown!TEST*/
343