HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Schwarz alternating method or alternating process is an
iterative method In computational mathematics, an iterative method is a Algorithm, mathematical procedure that uses an initial value to generate a sequence of improving approximate solutions for a class of problems, in which the ''i''-th approximation (called an " ...
introduced in 1869–1870 by
Hermann Schwarz Karl Hermann Amandus Schwarz (; 25 January 1843 – 30 November 1921) was a German mathematician, known for his work in complex analysis. Life Schwarz was born in Hermsdorf, Silesia (now Sobieszów, Poland). In 1868 he married Marie Kummer ...
in the theory of conformal mapping. Given two overlapping regions in the complex plane in each of which the
Dirichlet problem In mathematics, a Dirichlet problem asks for a function which solves a specified partial differential equation (PDE) in the interior of a given region that takes prescribed values on the boundary of the region. The Dirichlet problem can be solved ...
could be solved, Schwarz described an
iterative method In computational mathematics, an iterative method is a Algorithm, mathematical procedure that uses an initial value to generate a sequence of improving approximate solutions for a class of problems, in which the ''i''-th approximation (called an " ...
for solving the Dirichlet problem in their union, provided their intersection was suitably well behaved. This was one of several constructive techniques of conformal mapping developed by Schwarz as a contribution to the problem of uniformization, posed by Riemann in the 1850s and first resolved rigorously by Koebe and
Poincaré Poincaré is a French surname. Notable people with the surname include: * Henri Poincaré Jules Henri Poincaré (, ; ; 29 April 185417 July 1912) was a French mathematician, Theoretical physics, theoretical physicist, engineer, and philos ...
in 1907. It furnished a scheme for uniformizing the union of two regions knowing how to uniformize each of them separately, provided their intersection was topologically a disk or an annulus. From 1870 onwards
Carl Neumann Carl Gottfried Neumann (also Karl; 7 May 1832 – 27 March 1925) was a German Mathematical physics, mathematical physicist and professor at several German universities. His work focused on applications of potential theory to physics and mathemati ...
also contributed to this theory. In the 1950s Schwarz's method was generalized in the theory of
partial differential equation In mathematics, a partial differential equation (PDE) is an equation which involves a multivariable function and one or more of its partial derivatives. The function is often thought of as an "unknown" that solves the equation, similar to ho ...
s to an iterative method for finding the solution of an elliptic boundary value problem on a domain which is the union of two overlapping subdomains. It involves solving the boundary value problem on each of the two subdomains in turn, taking always the last values of the approximate solution as the next
boundary conditions In the study of differential equations, a boundary-value problem is a differential equation subjected to constraints called boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satis ...
. It is used in
numerical analysis Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic computation, symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of ...
, under the name multiplicative Schwarz method (in opposition to additive Schwarz method) as a
domain decomposition method In mathematics, numerical analysis, and numerical partial differential equations, domain decomposition methods solve a boundary value problem by splitting it into smaller boundary value problems on subdomains and iterating to coordinate the soluti ...
.


History

It was first formulated by H. A. SchwarzSee his paper and served as a theoretical tool: its convergence for general second order
elliptic partial differential equation In mathematics, an elliptic partial differential equation is a type of partial differential equation (PDE). In mathematical modeling, elliptic PDEs are frequently used to model steady states, unlike parabolic PDE and hyperbolic PDE which gene ...
s was first proved much later, in 1951, by Solomon Mikhlin.


The algorithm

The original problem considered by Schwarz was a
Dirichlet problem In mathematics, a Dirichlet problem asks for a function which solves a specified partial differential equation (PDE) in the interior of a given region that takes prescribed values on the boundary of the region. The Dirichlet problem can be solved ...
(with the
Laplace's equation In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties in 1786. This is often written as \nabla^2\! f = 0 or \Delta f = 0, where \Delt ...
) on a domain consisting of a circle and a partially overlapping square. To solve the Dirichlet problem on one of the two subdomains (the square or the circle), the value of the solution must be known on the border: since a part of the border is contained in the other subdomain, the Dirichlet problem must be solved jointly on the two subdomains. An iterative algorithm is introduced: # Make a first guess of the solution on the circle's boundary part that is contained in the square # Solve the Dirichlet problem on the circle # Use the solution in (2) to approximate the solution on the square's boundary # Solve the Dirichlet problem on the square # Use the solution in (4) to approximate the solution on the circle's boundary, then go to step (2). At convergence, the solution on the overlap is the same when computed on the square or on the circle.


Optimized Schwarz methods

The convergence speed depends on the size of the overlap between the subdomains, and on the transmission conditions (boundary conditions used in the interface between the subdomains). It is possible to increase the convergence speed of the Schwarz methods by choosing adapted transmission conditions: theses methods are then called Optimized Schwarz methods.
PDF


See also

*
Uniformization theorem In mathematics, the uniformization theorem states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generali ...
* Schwarzian derivative * Schwarz triangle map * Schwarz reflection principle * Additive Schwarz method


Notes


References

Original papers * * * * * * Conformal mapping and harmonic functions * * * * * *, Chapter 12, Alternating Procedures * * *, translation o
French text
* (cited in de Saint-Gervais) * PDEs and numerical analysis *


External links

* {{DEFAULTSORT:Schwarz Alternating Method Conformal mappings Harmonic functions Domain decomposition methods