xref: /petsc/src/snes/impls/nasm/aspin.c (revision a3e8c5ccf93cc81f4cf2f7ff1027f5e098b72fde)
1 #include <petsc/private/snesimpl.h>             /*I   "petscsnes.h"   I*/
2 #include <petscdm.h>
3 
4 #undef __FUNCT__
5 #define __FUNCT__ "MatMultASPIN"
6 PetscErrorCode MatMultASPIN(Mat m,Vec X,Vec Y)
7 {
8   PetscErrorCode ierr;
9   void           *ctx;
10   SNES           snes;
11   PetscInt       n,i;
12   VecScatter     *oscatter;
13   SNES           *subsnes;
14   PetscBool      match;
15   MPI_Comm       comm;
16   KSP            ksp;
17   Vec            *x,*b;
18   Vec            W;
19   SNES           npc;
20   Mat            subJ,subpJ;
21 
22   PetscFunctionBegin;
23   ierr = MatShellGetContext(m,&ctx);CHKERRQ(ierr);
24   snes = (SNES)ctx;
25   ierr = SNESGetNPC(snes,&npc);CHKERRQ(ierr);
26   ierr = SNESGetFunction(npc,&W,NULL,NULL);CHKERRQ(ierr);
27   ierr = PetscObjectTypeCompare((PetscObject)npc,SNESNASM,&match);CHKERRQ(ierr);
28   if (!match) {
29     ierr = PetscObjectGetComm((PetscObject)snes,&comm);CHKERRQ(ierr);
30     SETERRQ(comm,PETSC_ERR_ARG_WRONGSTATE,"MatMultASPIN requires that the nonlinear preconditioner be Nonlinear additive Schwarz");
31   }
32   ierr = SNESNASMGetSubdomains(npc,&n,&subsnes,NULL,&oscatter,NULL);CHKERRQ(ierr);
33   ierr = SNESNASMGetSubdomainVecs(npc,&n,&x,&b,NULL,NULL);CHKERRQ(ierr);
34 
35   ierr = VecSet(Y,0);CHKERRQ(ierr);
36   ierr = MatMult(npc->jacobian_pre,X,W);CHKERRQ(ierr);
37 
38   for (i=0;i<n;i++) {
39     ierr = VecScatterBegin(oscatter[i],W,b[i],INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
40   }
41   for (i=0;i<n;i++) {
42     ierr = VecScatterEnd(oscatter[i],W,b[i],INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
43     ierr = VecSet(x[i],0.);CHKERRQ(ierr);
44     ierr = SNESGetJacobian(subsnes[i],&subJ,&subpJ,NULL,NULL);CHKERRQ(ierr);
45     ierr = SNESGetKSP(subsnes[i],&ksp);CHKERRQ(ierr);
46     ierr = KSPSetOperators(ksp,subJ,subpJ);CHKERRQ(ierr);
47     ierr = KSPSolve(ksp,b[i],x[i]);CHKERRQ(ierr);
48     ierr = VecScatterBegin(oscatter[i],x[i],Y,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
49   }
50   for (i=0;i<n;i++) {
51     ierr = VecScatterEnd(oscatter[i],x[i],Y,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
52   }
53   PetscFunctionReturn(0);
54 }
55 
56 #undef __FUNCT__
57 #define __FUNCT__ "SNESCreate_ASPIN"
58 /* -------------------------------------------------------------------------- */
59 /*MC
60       SNESASPIN - Helper SNES type for Additive-Schwarz Preconditioned Inexact Newton
61 
62    Options Database:
63 +  -npc_snes_ - options prefix of the nonlinear subdomain solver (must be of type NASM)
64 .  -npc_sub_snes_ - options prefix of the subdomain nonlinear solves
65 .  -npc_sub_ksp_ - options prefix of the subdomain Krylov solver
66 -  -npc_sub_pc_ - options prefix of the subdomain preconditioner
67 
68     Notes: This routine sets up an instance of NETWONLS with nonlinear left preconditioning.  It differs from other
69     similar functionality in SNES as it creates a linear shell matrix that corresponds to the product:
70 
71     \sum_{i=0}^{N_b}J_b({X^b_{converged}})^{-1}J(X + \sum_{i=0}^{N_b}(X^b_{converged} - X^b))
72 
73     which is the ASPIN preconditioned matrix. Similar solvers may be constructed by having matrix-free differencing of
74     nonlinear solves per linear iteration, but this is far more efficient when subdomain sparse-direct preconditioner
75     factorizations are reused on each application of J_b^{-1}.
76 
77    Level: intermediate
78 
79 .seealso:  SNESCreate(), SNES, SNESSetType(), SNESNEWTONLS, SNESNASM, SNESGetNPC(), SNESGetNPCSide()
80 
81 M*/
82 PETSC_EXTERN PetscErrorCode SNESCreate_ASPIN(SNES snes)
83 {
84   PetscErrorCode ierr;
85   SNES           npc;
86   KSP            ksp;
87   PC             pc;
88   Mat            aspinmat;
89   MPI_Comm       comm;
90   Vec            F;
91   PetscInt       n;
92   SNESLineSearch linesearch;
93 
94   PetscFunctionBegin;
95   /* set up the solver */
96   ierr = SNESSetType(snes,SNESNEWTONLS);CHKERRQ(ierr);
97   ierr = SNESSetNPCSide(snes,PC_LEFT);CHKERRQ(ierr);
98   ierr = SNESSetFunctionType(snes,SNES_FUNCTION_PRECONDITIONED);CHKERRQ(ierr);
99   ierr = SNESGetNPC(snes,&npc);CHKERRQ(ierr);
100   ierr = SNESSetType(npc,SNESNASM);CHKERRQ(ierr);
101   ierr = SNESNASMSetType(npc,PC_ASM_BASIC);CHKERRQ(ierr);
102   ierr = SNESNASMSetComputeFinalJacobian(npc,PETSC_TRUE);CHKERRQ(ierr);
103   ierr = SNESGetKSP(snes,&ksp);CHKERRQ(ierr);
104   ierr = KSPGetPC(ksp,&pc);CHKERRQ(ierr);
105   ierr = PCSetType(pc,PCNONE);CHKERRQ(ierr);
106   ierr = PetscObjectGetComm((PetscObject)snes,&comm);CHKERRQ(ierr);
107   ierr = SNESGetLineSearch(snes,&linesearch);CHKERRQ(ierr);
108   ierr = SNESLineSearchSetType(linesearch,SNESLINESEARCHBT);CHKERRQ(ierr);
109 
110   /* set up the shell matrix */
111   ierr = SNESGetFunction(snes,&F,NULL,NULL);CHKERRQ(ierr);
112   ierr = VecGetLocalSize(F,&n);CHKERRQ(ierr);
113   ierr = MatCreateShell(comm,n,n,PETSC_DECIDE,PETSC_DECIDE,snes,&aspinmat);CHKERRQ(ierr);
114   ierr = MatSetType(aspinmat,MATSHELL);CHKERRQ(ierr);
115   ierr = MatShellSetOperation(aspinmat,MATOP_MULT,(void(*)(void))MatMultASPIN);CHKERRQ(ierr);
116 
117   ierr = SNESSetJacobian(snes,aspinmat,NULL,NULL,NULL);CHKERRQ(ierr);
118   ierr = MatDestroy(&aspinmat);CHKERRQ(ierr);
119 
120   PetscFunctionReturn(0);
121 }
122