Perron method
In the mathematical study of harmonic functions, the Perron method, also known as the method of subharmonic functions, is a technique introduced by Oskar Perron for the solution of the Dirichlet problem for Laplace's equation. The Perron method works by finding the largest subharmonic function with boundary values below the desired values; the "Perron solution" coincides with the actual solution of the Dirichlet problem if the problem is soluble. The Dirichlet problem is to find a harmonic function in a domain, with boundary conditions given by a continuous function [math]\displaystyle{ \varphi(x) }[/math]. The Perron solution is defined by taking the pointwise supremum over a family of functions [math]\displaystyle{ S_\varphi }[/math],
- [math]\displaystyle{ u(x) = \sup_{v \in S_\varphi} v(x) }[/math]
where [math]\displaystyle{ S_\varphi }[/math] is the set of all subharmonic functions such that [math]\displaystyle{ v(x) \leq \varphi(x) }[/math] on the boundary of the domain.
The Perron solution u(x) is always harmonic; however, the values it takes on the boundary may not be the same as the desired boundary values [math]\displaystyle{ \varphi(x) }[/math]. A point y of the boundary satisfies a barrier condition if there exists a superharmonic function [math]\displaystyle{ w_y(x) }[/math], defined on the entire domain, such that [math]\displaystyle{ w_y(y)=0 }[/math] and [math]\displaystyle{ w_y(x) \gt 0 }[/math] for all [math]\displaystyle{ x \ne y }[/math]. Points satisfying the barrier condition are called regular points of the boundary for the Laplacian. These are precisely the points at which one is guaranteed to obtain the desired boundary values: as [math]\displaystyle{ x\rightarrow y, u(x) \rightarrow \varphi(y) }[/math].
The characterization of regular points on surfaces is part of potential theory. Regular points on the boundary of a domain [math]\displaystyle{ \Omega }[/math] are those points that satisfy the Wiener criterion: for any [math]\displaystyle{ \lambda \in (0,1) }[/math], let [math]\displaystyle{ C_j }[/math] be the capacity of the set [math]\displaystyle{ B_{\lambda^j}(x_0) \cap \Omega^c }[/math]; then [math]\displaystyle{ x_0 }[/math] is a regular point if and only if
- [math]\displaystyle{ \sum_{j=0}^\infty C_j / \lambda^{j(n-2)} }[/math]
diverges.
The Wiener criterion was first devised by Norbert Wiener; it was extended by Werner Püschel to uniformly elliptic divergence-form equations with smooth coefficients, and thence to uniformly elliptic divergence form equations with bounded measureable coefficients by Walter Littman, Guido Stampacchia, and Hans Weinberger.
References
- Gilbarg, David; Trudinger, Neil S. (2001), Elliptic partial differential equations of second order (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-41160-4
- Littman, W.; Stampacchia, G.; Weinberger, H. (1963), "Regular points for elliptic equations with discontinuous coefficients", Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 3 (Pisa, Italy: Scuola Normale Superiore di Pisa) 17 (1–2): 43–77, http://www.numdam.org/item?id=ASNSP_1963_3_17_1-2_43_0 MR161019
Further reading
- Conway, John B. (1996-06-13), Functions of One Complex Variable II, Graduate Texts in Mathematics, 159, Springer-Verlag, pp. 376–383, ISBN 978-0-387-94460-9
- Kellogg, O. D. (1953), Foundations of potential theory, New York: Dover Publications, ISBN 978-0-486-60144-1
- Landkof, N. S. (1972), Foundations of modern potential theory, Berlin, New York: Springer-Verlag
- Perron, O. (December 1923), "Eine neue Behandlung der ersten Randwertaufgabe für Δu=0", Mathematische Zeitschrift 18 (1): 42–54, doi:10.1007/BF01192395, ISSN 0025-5874
- Püschel, Werner (1932), "Die erste Randwertaufgabe der allgemeinen selbstadjungierten elliptischen Differentialgleichung zweiter Ordnung im Raum für beliebige Gebiete", Mathematische Zeitschrift 34 (1): 535–553, doi:10.1007/BF01180608, ISSN 0025-5874
- Hazewinkel, Michiel, ed. (2001), "Perron method", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/p072370
 |  |
