Goodman and Kruskal's lambda

In mathematics, Neumann–Neumann methods are domain decomposition preconditioners named so because they solve a Neumann problem on each subdomain on both sides of the interface between the subdomains. Just like all domain decomposition methods, so that the number of iterations does not grow with the number of subdomains, Neumann–Neumann methods require the solution of a coarse problem to provide global communication. The balancing domain decomposition is a Neumann–Neumann method with a special kind of coarse problem.

More specifically, consider a domain Ω, on which we wish to solve the Poisson equation

$-\mathrm{\Delta }u=f,u{|}_{\partial \mathrm{\Omega }}=0$

for some function f. Split the domain into two non-overlapping subdomains Ω₁ and Ω₂ with common boundary Γ and let u₁ and u₂ be the values of u in each subdomain. At the interface between the two subdomains, the two solutions must satisfy the matching conditions

$u_1=u_2,{\partial }_n{u}_1={\partial }_n{u}_2$

where n is the unit normal vector to Γ.

An iterative method for approximating each u_i satisfying the matching conditions is to first solve the decoupled problems (i=1,2)

$-\mathrm{\Delta }{u}_i^{(k)}=f_i,u_i^{(k)}{|}_{\partial \mathrm{\Omega }}=0,u_i^{(k)}{|}_{\mathrm{\Gamma }}={\lambda }^{(k)}$

for some function λ^(k) on Γ. We then solve the two Neumann problems

$-\mathrm{\Delta }{\psi }_i^{(k)}=0,{\psi }_i^{(k)}{|}_{\partial \mathrm{\Omega }}=0,{\partial }_n{\psi }_i^{(k)}={\partial }_n{u}_1^{(k)}-{\partial }_n{u}_2^{(k)}.$

We then obtain the next iterate by setting

${\lambda }^{(k+1)}={\lambda }^{(k)}-\omega ({\theta }_1{\psi }_1^{(k)}{|}_{\mathrm{\Gamma }}-{\theta }_2{\psi }_2^{(k)}{|}_{\mathrm{\Gamma }})$

for some parameters ω, θ₁ and θ₂.

This procedure can be viewed as a Richardson extrapolation for the iterative solution of the equations arising from the Schur complement method.

This continuous iteration can be discretized by the finite element method and then solved—in parallel—on a computer. The extension to more subdomains is straightforward, but using this method as stated as a preconditioner for the Schur complement system is not scalable with the number of subdomains; hence the need for a global coarse solve.

See also

• Neumann–Dirichlet method