petsc-3.14.6 2021-03-30
Report Typos and Errors

PCBDDC

Balancing Domain Decomposition by Constraints. An implementation of the BDDC preconditioner based on the bibliography found below.

The matrix to be preconditioned (Pmat) must be of type MATIS.

Currently works with MATIS matrices with local matrices of type MATSEQAIJ, MATSEQBAIJ or MATSEQSBAIJ, either with real or complex numbers.

It also works with unsymmetric and indefinite problems.

Unlike 'conventional' interface preconditioners, PCBDDC iterates over all degrees of freedom, not just those on the interface. This allows the use of approximate solvers on the subdomains.

Approximate local solvers are automatically adapted (see [1]) if the user has attached a nullspace object to the subdomain matrices, and informed BDDC of using approximate solvers (via the command line).

Boundary nodes are split in vertices, edges and faces classes using information from the local to global mapping of dofs and the local connectivity graph of nodes. The latter can be customized by using PCBDDCSetLocalAdjacencyGraph() Additional information on dofs can be provided by using PCBDDCSetDofsSplitting(), PCBDDCSetDirichletBoundaries(), PCBDDCSetNeumannBoundaries(), and PCBDDCSetPrimalVerticesIS() and their local counterparts.

Constraints can be customized by attaching a MatNullSpace object to the MATIS matrix via MatSetNearNullSpace(). Non-singular modes are retained via SVD.

Change of basis is performed similarly to [2] when requested. When more than one constraint is present on a single connected component (i.e. an edge or a face), a robust method based on local QR factorizations is used. User defined change of basis can be passed to PCBDDC by using PCBDDCSetChangeOfBasisMat()

The PETSc implementation also supports multilevel BDDC [3]. Coarse grids are partitioned using a MatPartitioning object.

Adaptive selection of primal constraints [4] is supported for SPD systems with high-contrast in the coefficients if MUMPS or MKL_PARDISO are present. Future versions of the code will also consider using PASTIX.

An experimental interface to the FETI-DP method is available. FETI-DP operators could be created using PCBDDCCreateFETIDPOperators(). A stand-alone class for the FETI-DP method will be provided in the next releases.

Options Database Keys (some of them, run with -help for a complete list)

-pc_bddc_use_vertices <true> - use or not vertices in primal space
-pc_bddc_use_edges <true> - use or not edges in primal space
-pc_bddc_use_faces <false> - use or not faces in primal space
-pc_bddc_symmetric <true> - symmetric computation of primal basis functions. Specify false for unsymmetric problems
-pc_bddc_use_change_of_basis <false> - use change of basis approach (on edges only)
-pc_bddc_use_change_on_faces <false> - use change of basis approach on faces if change of basis has been requested
-pc_bddc_switch_static <false> - switches from M_2 (default) to M_3 operator (see reference article [1])
-pc_bddc_levels <0> - maximum number of levels for multilevel
-pc_bddc_coarsening_ratio <8> - number of subdomains which will be aggregated together at the coarser level (e.g. H/h ratio at the coarser level, significative only in the multilevel case)
-pc_bddc_coarse_redistribute <0> - size of a subset of processors where the coarse problem will be remapped (the value is ignored if not at the coarsest level)
-pc_bddc_use_deluxe_scaling <false> - use deluxe scaling
-pc_bddc_schur_layers <-1> - select the economic version of deluxe scaling by specifying the number of layers (-1 corresponds to the original deluxe scaling)
-pc_bddc_adaptive_threshold <0.0> - when a value different than zero is specified, adaptive selection of constraints is performed on edges and faces (requires deluxe scaling and MUMPS or MKL_PARDISO installed)
-pc_bddc_check_level <0> - set verbosity level of debugging output

Options for Dirichlet, Neumann or coarse solver can be set with

      -pc_bddc_dirichlet_
      -pc_bddc_neumann_
      -pc_bddc_coarse_
e.g. -pc_bddc_dirichlet_ksp_type richardson -pc_bddc_dirichlet_pc_type gamg. PCBDDC uses by default KSPPREONLY and PCLU.

When using a multilevel approach, solvers' options at the N-th level (N > 1) can be specified as

      -pc_bddc_dirichlet_lN_
      -pc_bddc_neumann_lN_
      -pc_bddc_coarse_lN_
Note that level number ranges from the finest (0) to the coarsest (N). In order to specify options for the BDDC operators at the coarser levels (and not for the solvers), prepend -pc_bddc_coarse_ or -pc_bddc_coarse_l to the option, e.g.
     -pc_bddc_coarse_pc_bddc_adaptive_threshold 5 -pc_bddc_coarse_l1_pc_bddc_redistribute 3
will use a threshold of 5 for constraints' selection at the first coarse level and will redistribute the coarse problem of the first coarse level on 3 processors

References

[1] - C. R. Dohrmann. "An approximate BDDC preconditioner", Numerical Linear Algebra with Applications Volume 14, Issue 2, pages 149--168, March 2007
[2] - A. Klawonn and O. B. Widlund. "Dual-Primal FETI Methods for Linear Elasticity", Communications on Pure and Applied Mathematics Volume 59, Issue 11, pages 1523--1572, November 2006
[3] - J. Mandel, B. Sousedik, C. R. Dohrmann. "Multispace and Multilevel BDDC", Computing Volume 83, Issue 2--3, pages 55--85, November 2008
[4] - C. Pechstein and C. R. Dohrmann. "Modern domain decomposition methods BDDC, deluxe scaling, and an algebraic approach", Seminar talk, Linz, December 2013, http://people.ricam.oeaw.ac.at/c.pechstein/pechstein-bddc2013.pdf

Developer Notes

Contributed by Stefano Zampini

See Also

PCCreate(), PCSetType(), PCType (for list of available types), PC, MATIS

Level

intermediate

Location

src/ksp/pc/impls/bddc/bddc.c

Examples

src/ksp/ksp/tutorials/ex42.c.html
src/ksp/ksp/tutorials/ex43.c.html
src/ksp/ksp/tutorials/ex59.c.html
src/ksp/ksp/tutorials/ex70.c.html
src/ksp/ksp/tutorials/ex71.c.html
src/ksp/ksp/tutorials/ex72.c.html
src/snes/tutorials/ex12.c.html

Index of all PC routines
Table of Contents for all manual pages
Index of all manual pages