In mathematics, the Schwarz alternating method or alternating process is an iterative method introduced in 1869–1870 by Hermann Schwarz in the theory of conformal mapping. Given two overlapping regions in the complex plane in each of which the Dirichlet problem could be solved, Schwarz described an iterative method 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é 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 also contributed to this theory. In the 1950s Schwarz's method was generalized in the theory of partial differential equations 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. It is used in numerical analysis, under the name multiplicative Schwarz method (in opposition to additive Schwarz method) as a domain decomposition method.
History
It was first formulated by H. A. Schwarz and served as a theoretical tool: its convergence for general second order elliptic partial differential equations was first proved much later, in 1951, by Solomon Mikhlin.
The algorithm The original problem considered by Schwarz was a Dirichlet problem (with the Laplace's equation) 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.
See also Uniformization theorem Schwarzian derivative Schwarz triangle map Schwarz reflection principle Additive Schwarz method
Notes
References Original papers
Schwarz, H.A. (1869), "Über einige Abbildungsaufgaben", J. Reine Angew. Math., 1869 (70): 105–120, doi:10.1515/crll.1869.70.105, S2CID 121291546 Schwarz, H.A. (1870a), "Über die Integration der partiellen Differentialgleichung ∂2u/∂x2 + ∂2u/∂y2 = 0 unter vorgeschriebenen Grenz- und Unstetigkeitbedingungen", Monatsberichte der Königlichen Akademie der Wissenschaft zu Berlin: 767–795 Schwarz, H. A. (1870b), "Über einen Grenzübergang durch alternierendes Verfahren", Vierteljahrsschrift der Naturforschenden Gesellschaft in Zürich, 15: 272–286, JFM 02.0214.02 Neumann, Carl (1870), "Zur Theorie des Potentiales", Math. Ann., 2 (3): 514, doi:10.1007/bf01448242, S2CID 122015888 Neumann, Carl (1877), Untersuchungen über das logarithmische und Newton'sche Potential, Teubner Neumann, Carl (1884), Vorlesungen über Riemann's Theorie der abelschen Integrale (2nd ed.), Teubner Conformal mapping and harmonic functions
Nevanlinna, Rolf (1939), "Über das alternierende Verfahren von Schwarz", J. Reine Angew. Math., 1939 (180): 121–128, doi:10.1515/crll.1939.180.121, S2CID 199546268 Nevanlinna, Rolf (1939), "Bemerkungen zum alternierenden Verfahren", Monatshefte für Mathematik und Physik, 48: 500–508, doi:10.1007/bf01696203, S2CID 123260734 Nevanlinna, Rolf (1953), Uniformisierung, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, vol. 64, Springer Sario, Leo (1953), "Alternating method on arbitrary Riemann surfaces", Pacific J. Math., 3 (3): 631–645, doi:10.2140/pjm.1953.3.631 Morgenstern, Dietrich (1956), "Begründung des alternierenden Verfahrens durch Orthogonalprojektion", Z. Angew. Math. Mech., 36 (7–8): 255–256, Bibcode:1956ZaMM...36..255M, doi:10.1002/zamm.19560360711, hdl:10338.dmlcz/100409 Cohn, Harvey (1980), Conformal mapping on Riemann surfaces, Dover, pp. 242–262, ISBN 0-486-64025-6, Chapter 12, Alternating Procedures Garnett, John B.; Marshall, Donald E. (2005), Harmonic Measure, Cambridge University Press, ISBN 1139443097 Freitag, Eberhard (2011), Complex analysis. 2. Riemann surfaces, several complex variables, abelian functions, higher modular functions, Springer, ISBN 978-3-642-20553-8 de Saint-Gervais, Henri Paul (2016), Uniformization of Riemann Surfaces: revisiting a hundred-year-old theorem, Heritage of European Mathematics, vol. 11, translated by Robert G. Burns, European Mathematical Society, doi:10.4171/145, ISBN 978-3-03719-145-3, translation of French text Chorlay, Renaud (2007), L'émergence du couple local-global dans les théories géométriques, de Bernhard Riemann à la théorie des faisceaux (PDF), pp. 123–134 (cited in de Saint-Gervais) Bottazzini, Umberto; Gray, Jeremy (2013), Hidden Harmony—Geometric Fantasies: The Rise of Complex Function Theory, Sources and Studies in the History of Mathematics and Physical Sciences, Springer, ISBN 978-1461457251 PDEs and numerical analysis
Mikhlin, S.G. (1951), "On the Schwarz algorithm", Doklady Akademii Nauk SSSR, n. Ser. (in Russian), 77: 569–571, MR 0041329, Zbl 0054.04204
External links Solomentsev, E.D. (2001) [1994], "Schwarz alternating method", Encyclopedia of Mathematics, EMS Press
