Math 2.0

Numerical analysis Definition

Domain decomposition methods

Builds on Boundary value problemSystem of linear equationsPositive definite matrixIterative methodPreconditionerSchur complementFinite element method

Definition

Let Ax=bA x = b be a linear system with an invertible real n×nn \times n matrix AA, arising from a discretized boundary value problem on a domain Ω\Omega. Let Ω1,…,ΩN\Omega_1, \dots, \Omega_N be subdomains with Ω=Ω1∪⋯∪ΩN\Omega = \Omega_1 \cup \cdots \cup \Omega_N, and let Ii⊆{1,…,n}I_i \subseteq \set{1, \dots, n} be the set of unknowns that belong to Ωi\Omega_i. Let RiR_i be the ∣Ii∣×n\abs{I_i} \times n matrix that selects the entries in IiI_i, and let Ai=RiARiTA_i = R_i A R_i^T be the local matrix. A domain decomposition method is an iterative method or preconditioner for Ax=bA x = b in which:

  1. each step solves local systems with the matrices AiA_i, or with local matrices built from them;
  2. the local solutions are combined through the unknowns shared by, or lying on the interfaces between, the subdomains;
  3. optionally, a coarse problem of small size couples all subdomains globally.

The method is overlapping if the sets IiI_i overlap, and nonoverlapping if the subdomains meet only along interfaces.

Remarks

Example: the additive Schwarz preconditioner is M−1=∑i=1NRiTAi−1RiM^{-1} = \sum_{i=1}^{N} R_i^T A_i^{-1} R_i, for overlapping IiI_i that cover all unknowns. Each term solves a local problem, and the terms can be computed in parallel, so clauses 1 and 2 hold. If AA is symmetric positive definite, each AiA_i is too, and M−1M^{-1} is symmetric positive definite. Non-example: the finite element method with a direct solver for the whole of AA solves no local systems, so it fails clause 1. Nonoverlapping methods eliminate the interior unknowns of each subdomain and iterate on the Schur complement for the interface unknowns. Without a coarse problem, the number of iterations grows with the number of subdomains, because information travels only between neighbours at each step.

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Boundary value problem concept
  2. Finite element method concept
  3. Iterative method concept
  4. Positive definite matrix concept
  5. Preconditioner concept
  6. Schur complement concept
  7. System of linear equations concept
  8. Domain decomposition methods definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Domain_decomposition_methods
About this page
TagTM0AXHX3SG
URIm2://TM0AXHX3SG
Kinddefinition
WritingW0 stub
MSC65N55, 65F10, 65Y05
DefinesDomain decomposition methods
UsesBoundary value problem, System of linear equations, Positive definite matrix, Iterative method, Preconditioner, Schur complement, Finite element method

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.