Namespaces
Variants
Actions

Difference between revisions of "Perron method"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 +
<!--
 +
p0723701.png
 +
$#A+1 = 82 n = 1
 +
$#C+1 = 82 : ~/encyclopedia/old_files/data/P072/P.0702370 Perron method
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A method for solving the [[Dirichlet problem|Dirichlet problem]] for the [[Laplace equation|Laplace equation]] based on the properties of subharmonic functions (and superharmonic functions, cf. [[Subharmonic function|Subharmonic function]]). O. Perron [[#References|[1]]] gave the initial presentation of the method, which was substantially developed by N. Wiener
 
A method for solving the [[Dirichlet problem|Dirichlet problem]] for the [[Laplace equation|Laplace equation]] based on the properties of subharmonic functions (and superharmonic functions, cf. [[Subharmonic function|Subharmonic function]]). O. Perron [[#References|[1]]] gave the initial presentation of the method, which was substantially developed by N. Wiener
  
 
and M.V. Keldysh [[#References|[4]]].
 
and M.V. Keldysh [[#References|[4]]].
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723701.png" /> be a bounded domain in a Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723702.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723703.png" />, with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723704.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723705.png" /> be a real-valued function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723706.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723707.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723708.png" /> be the non-empty family of all superharmonic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p0723709.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237010.png" />, in the wide sense (i.e. the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237011.png" /> belongs to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237012.png" />) that are bounded from below and are such that
+
Let $  \Omega $
 +
be a bounded domain in a Euclidean space $  \mathbf R  ^ {n} $,  
 +
$  n \geq  2 $,  
 +
with boundary $  \Gamma = \partial  \Omega $,  
 +
let $  f= f( y) $
 +
be a real-valued function on $  \Gamma $,  
 +
$  - \infty \leq  f( y) \leq  + \infty $.  
 +
Let $  \Phi $
 +
be the non-empty family of all superharmonic functions $  v( x) $,  
 +
$  x \in \Omega $,  
 +
in the wide sense (i.e. the function $  v( x) \equiv + \infty $
 +
belongs to $  \Phi $)  
 +
that are bounded from below and are such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237013.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {x \rightarrow y }  \inf  v( x)  \geq  f( y),\ \
 +
y \in \Gamma .
 +
$$
  
 
Let
 
Let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237014.png" /></td> </tr></table>
+
$$
 +
\overline{H}\; _ {f} ( x)  = \overline{H}\; _ {f} ( x; \Omega )  = \inf \{ {v( x) } : {v \in \Phi
 +
} \}
 +
,\ \
 +
x \in \Omega ,
 +
$$
  
be the lower envelope of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237015.png" />. Along with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237016.png" />, consider the non-empty family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237017.png" /> of all subharmonic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237019.png" />, in the wide sense (the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237020.png" />) that are bounded from above and are such that
+
be the lower envelope of $  \Phi $.  
 +
Along with $  \Phi $,  
 +
consider the non-empty family $  \Psi $
 +
of all subharmonic functions $  u( x) $,  
 +
$  x \in \Omega $,  
 +
in the wide sense (the function $  u( x) \equiv - \infty \in \Psi $)  
 +
that are bounded from above and are such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237021.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {x \rightarrow y }  \sup  u( x)  \leq  f( y) ,\ \
 +
y \in \Gamma .
 +
$$
  
 
Let
 
Let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237022.png" /></td> </tr></table>
+
$$
 +
\underline{H} {} _ {f} ( x)  = \underline{H} {} _ {f} ( x; \Omega )  = \sup \{ {u( x) } : {u \in
 +
\Psi } \}
 +
,\ \
 +
x \in \Omega ,
 +
$$
  
be the upper envelope of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237023.png" />.
+
be the upper envelope of $  \Psi $.
  
There are only three possibilities for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237024.png" /> (and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237025.png" />): <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237026.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237027.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237028.png" /> is a [[Harmonic function|harmonic function]]; and always
+
There are only three possibilities for $  \overline{H}\; _ {f} $(
 +
and $  \underline{H} {} _ {f} $):  
 +
$  \overline{H}\; _ {f} ( x) \equiv + \infty $,  
 +
$  \overline{H}\; _ {f} ( x) \equiv - \infty $
 +
or $  \overline{H}\; _ {f} ( x) $
 +
is a [[Harmonic function|harmonic function]]; and always
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237029.png" /></td> </tr></table>
+
$$
 +
\underline{H} {} _ {f} ( x)  \leq  \overline{H}\; _ {f} ( x) ,\ \
 +
x \in \Omega .
 +
$$
  
The function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237030.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237031.png" />, is called resolutive if the two envelopes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237032.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237033.png" /> are finite and coincide. In that case the harmonic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237034.png" /> is the generalized solution to the Dirichlet problem for the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237035.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237036.png" /> (in the sense of Wiener–Perron). For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237037.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237038.png" />, to be resolutive it is necessary and sufficient that it be integrable with respect to the [[Harmonic measure|harmonic measure]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237039.png" /> (Brelot's theorem). Any continuous finite function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237040.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237041.png" />, is resolutive (Wiener's theorem).
+
The function $  f( y) $,  
 +
$  y \in \Gamma $,  
 +
is called resolutive if the two envelopes $  \overline{H}\; _ {f} $
 +
and $  \underline{H} {} _ {f} $
 +
are finite and coincide. In that case the harmonic function $  H _ {f} = \overline{H}\; _ {f} = \underline{H} {} _ {f} $
 +
is the generalized solution to the Dirichlet problem for the function $  f( y) $,  
 +
$  y \in \Gamma $(
 +
in the sense of Wiener–Perron). For $  f( y) $,  
 +
$  y \in \Gamma $,  
 +
to be resolutive it is necessary and sufficient that it be integrable with respect to the [[Harmonic measure|harmonic measure]] on $  \Gamma $(
 +
Brelot's theorem). Any continuous finite function $  f( y) $,  
 +
$  y \in \Gamma $,  
 +
is resolutive (Wiener's theorem).
  
A point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237042.png" /> is called a regular boundary point if the following limit relation applies for any continuous finite function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237043.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237044.png" />:
+
A point $  y _ {0} \in \Gamma $
 +
is called a regular boundary point if the following limit relation applies for any continuous finite function $  f( y) $,  
 +
$  y \in \Gamma $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237045.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {x \rightarrow y _ {0} }  H _ {f} ( x)  = f( y _ {0} ).
 +
$$
  
Regularity at all points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237046.png" /> is equivalent to the existence of classical solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237047.png" /> to the Dirichlet problem for any continuous finite function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237049.png" />, and in that case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237050.png" />; a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237051.png" /> all boundary points of which are regular is sometimes also called regular. For a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237052.png" /> to be regular it is necessary and sufficient that there is a [[Barrier|barrier]] at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237053.png" />.
+
Regularity at all points $  y \in \Gamma $
 +
is equivalent to the existence of classical solutions $  w _ {f} ( x) $
 +
to the Dirichlet problem for any continuous finite function $  f( y) $,  
 +
$  y \in \Gamma $,  
 +
and in that case $  H _ {f} ( x) \equiv w _ {f} ( x) $;  
 +
a bounded domain $  \Omega $
 +
all boundary points of which are regular is sometimes also called regular. For a point $  y _ {0} \in \Gamma $
 +
to be regular it is necessary and sufficient that there is a [[Barrier|barrier]] at $  y _ {0} $.
  
Points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237054.png" /> that are not regular are called irregular boundary points. For example, isolated points are irregular boundary points, as are the vertices of sufficiently sharp wedges entering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237055.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237056.png" /> (Lebesgue spines). The set of all irregular points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237057.png" /> is a set of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237058.png" /> of capacity zero.
+
Points $  y _ {0} \in \Gamma $
 +
that are not regular are called irregular boundary points. For example, isolated points are irregular boundary points, as are the vertices of sufficiently sharp wedges entering $  \Omega $
 +
if $  n \geq  3 $(
 +
Lebesgue spines). The set of all irregular points of $  \Gamma $
 +
is a set of type $  F _  \sigma  $
 +
of capacity zero.
  
Let there be a sequence of domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237059.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237060.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237061.png" />, and let a continuous finite function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237062.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237063.png" />, be continuously extendible to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237064.png" />. Then
+
Let there be a sequence of domains $  \Omega _ {k} $,  
 +
$  \overline \Omega \; _ {k} \subset  \Omega _ {k+} 1 $,  
 +
such that $  \Omega = \cup _ {k=} 1  ^  \infty  \Omega _ {k} $,  
 +
and let a continuous finite function $  f( y) $,  
 +
$  y \in \Gamma $,  
 +
be continuously extendible to $  \Gamma $.  
 +
Then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237065.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {k \rightarrow \infty }  H _ {f} ( x; \Omega _ {k} )  = H _ {f} ( x; \Omega ),\ \
 +
x \in \Omega ,
 +
$$
  
uniformly on compact sets in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237066.png" />; in the case of regular domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237067.png" /> one obtains a construction à la Wiener for the generalized solution to the Dirichlet problem. Now consider an arbitrary sequence of domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237068.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237069.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237070.png" />, for a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237071.png" /> without an interior boundary. In that case, in general
+
uniformly on compact sets in $  \Omega $;  
 +
in the case of regular domains $  \Omega _ {k} $
 +
one obtains a construction à la Wiener for the generalized solution to the Dirichlet problem. Now consider an arbitrary sequence of domains $  G _ {k} $,  
 +
$  \partial  G _ {k} \rightarrow \Gamma $,  
 +
$  G _ {k} \supset \overline \Omega \; $,  
 +
for a domain $  \Omega $
 +
without an interior boundary. In that case, in general
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237072.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {k \rightarrow \infty }  H _ {f} ( x; G _ {k} )  \neq  H _ {f} ( x; \Omega ).
 +
$$
  
The Dirichlet problem is stable in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237073.png" /> or in a closed domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237074.png" /> if
+
The Dirichlet problem is stable in a domain $  \Omega $
 +
or in a closed domain $  \overline \Omega \; $
 +
if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237075.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {k \rightarrow \infty }  H _ {f} ( x; G _ {k} )  = H _ {f} ( x; \Omega )
 +
$$
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237076.png" /> or for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237077.png" />, respectively. For the Dirichlet problem to be stable in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237078.png" /> it is necessary and sufficient that the sets of all irregular points in the complements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237079.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237080.png" /> coincide; stability in a closed domain requires that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237081.png" /> does not have irregular points (Keldysh' theorems, cf. [[Keldysh theorem|Keldysh theorem]] and [[#References|[4]]], where an example is also constructed of a regular domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237082.png" /> within which the Dirichlet problem is unstable).
+
for all $  x \in \Omega $
 +
or for all $  x \in \overline \Omega \; $,  
 +
respectively. For the Dirichlet problem to be stable in a domain $  \Omega $
 +
it is necessary and sufficient that the sets of all irregular points in the complements $  C \Omega $
 +
and $  C \overline \Omega \; $
 +
coincide; stability in a closed domain requires that $  C \overline \Omega \; $
 +
does not have irregular points (Keldysh' theorems, cf. [[Keldysh theorem|Keldysh theorem]] and [[#References|[4]]], where an example is also constructed of a regular domain $  \Omega $
 +
within which the Dirichlet problem is unstable).
  
 
See also [[Upper-and-lower-functions method|Upper-and-lower-functions method]].
 
See also [[Upper-and-lower-functions method|Upper-and-lower-functions method]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  O. Perron,  "Eine neue Behandlung der ersten Randwertaufgabe für <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237083.png" />"  ''Math. Z.'' , '''18'''  (1923)  pp. 42–54</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  I.G. Petrovskii,  "Perron's method for the solution of the Dirichlet problem"  ''Uspekhi Mat. Nauk'' , '''8'''  (1941)  pp. 107–114  (In Russian)</TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top">  N. Wiener,  "Certain notions in potential theory"  ''J. Math. Phys.'' , '''3'''  (1924)  pp. 24–51</TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top">  N. Wiener,  "The Dirichlet problem"  ''J. Math. Phys.'' , '''3'''  (1924)  pp. 127–146</TD></TR><TR><TD valign="top">[3c]</TD> <TD valign="top">  N. Wiener,  "Note on paper of O. Perron"  ''J. Math. Phys.'' , '''4'''  (1925)  pp. 21–32</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  M.V. Keldysh,  "On the solvability and stability of the Dirichlet problem"  ''Uspekhi Mat. Nauk'' , '''8'''  (1941)  pp. 171–231  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Brélot,  "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris  (1959)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  O. Perron,  "Eine neue Behandlung der ersten Randwertaufgabe für <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072370/p07237083.png" />"  ''Math. Z.'' , '''18'''  (1923)  pp. 42–54 {{MR|1544619}}  {{ZBL|49.0340.01}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  I.G. Petrovskii,  "Perron's method for the solution of the Dirichlet problem"  ''Uspekhi Mat. Nauk'' , '''8'''  (1941)  pp. 107–114  (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top">  N. Wiener,  "Certain notions in potential theory"  ''J. Math. Phys.'' , '''3'''  (1924)  pp. 24–51 {{MR|}}  {{ZBL|50.0646.03}}  {{ZBL|51.0360.05}} </TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top">  N. Wiener,  "The Dirichlet problem"  ''J. Math. Phys.'' , '''3'''  (1924)  pp. 127–146 {{MR|1500496}}  {{ZBL|50.0646.02}}  {{ZBL|50.0335.04}}  {{ZBL|50.0335.02}}  {{ZBL|51.0361.01}} </TD></TR><TR><TD valign="top">[3c]</TD> <TD valign="top">  N. Wiener,  "Note on paper of O. Perron"  ''J. Math. Phys.'' , '''4'''  (1925)  pp. 21–32 {{MR|}}  {{ZBL|51.0365.06}}  {{ZBL|51.0361.02}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  M.V. Keldysh,  "On the solvability and stability of the Dirichlet problem"  ''Uspekhi Mat. Nauk'' , '''8'''  (1941)  pp. 171–231  (In Russian) {{MR|}} {{ZBL|0179.43901}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Brélot,  "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris  (1959) {{MR|0106366}} {{ZBL|0084.30903}} </TD></TR></table>
 
 
 
 
  
 
====Comments====
 
====Comments====
Line 60: Line 168:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Brelot,  "Familles de Perron et problème de Dirichlet"  ''Acta Sci. Math. (Szeged)'' , '''9'''  (1938–1940)  pp. 133–153</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Lebesgue,  "Sur des cas d'impossibilité du problème de Dirichlet ordinaire"  ''C.R. Séances Soc. Math. France'' , '''41'''  (1913)  pp. 17</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H. Lebesgue,  "Conditions de régularité, conditions d'irrégularité, conditions d'impossibilité dans le problème de Dirichlet"  ''C.R. Acad. Sci.'' , '''178'''  (1924)  pp. 349–354</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  I. Netuka,  "The Dirichlet problem for harmonic functions"  ''Amer. Math. Monthly'' , '''87'''  (1980)  pp. 621–628</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  S. Zaremba,  "Sur le principe de Dirichlet"  ''Acta Math.'' , '''34'''  (1911)  pp. 293–316</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Brelot,  "Familles de Perron et problème de Dirichlet"  ''Acta Sci. Math. (Szeged)'' , '''9'''  (1938–1940)  pp. 133–153 {{MR|0000734}} {{ZBL|0023.23302}} {{ZBL|0021.13102}}  {{ZBL|65.0419.01}}  {{ZBL|65.0418.03}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Lebesgue,  "Sur des cas d'impossibilité du problème de Dirichlet ordinaire"  ''C.R. Séances Soc. Math. France'' , '''41'''  (1913)  pp. 17 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H. Lebesgue,  "Conditions de régularité, conditions d'irrégularité, conditions d'impossibilité dans le problème de Dirichlet"  ''C.R. Acad. Sci.'' , '''178'''  (1924)  pp. 349–354 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  I. Netuka,  "The Dirichlet problem for harmonic functions"  ''Amer. Math. Monthly'' , '''87'''  (1980)  pp. 621–628 {{MR|0600920}} {{ZBL|0454.31002}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  S. Zaremba,  "Sur le principe de Dirichlet"  ''Acta Math.'' , '''34'''  (1911)  pp. 293–316 {{MR|1555069}}  {{ZBL|42.0393.01}} </TD></TR></table>

Latest revision as of 08:05, 6 June 2020


A method for solving the Dirichlet problem for the Laplace equation based on the properties of subharmonic functions (and superharmonic functions, cf. Subharmonic function). O. Perron [1] gave the initial presentation of the method, which was substantially developed by N. Wiener

and M.V. Keldysh [4].

Let $ \Omega $ be a bounded domain in a Euclidean space $ \mathbf R ^ {n} $, $ n \geq 2 $, with boundary $ \Gamma = \partial \Omega $, let $ f= f( y) $ be a real-valued function on $ \Gamma $, $ - \infty \leq f( y) \leq + \infty $. Let $ \Phi $ be the non-empty family of all superharmonic functions $ v( x) $, $ x \in \Omega $, in the wide sense (i.e. the function $ v( x) \equiv + \infty $ belongs to $ \Phi $) that are bounded from below and are such that

$$ \lim\limits _ {x \rightarrow y } \inf v( x) \geq f( y),\ \ y \in \Gamma . $$

Let

$$ \overline{H}\; _ {f} ( x) = \overline{H}\; _ {f} ( x; \Omega ) = \inf \{ {v( x) } : {v \in \Phi } \} ,\ \ x \in \Omega , $$

be the lower envelope of $ \Phi $. Along with $ \Phi $, consider the non-empty family $ \Psi $ of all subharmonic functions $ u( x) $, $ x \in \Omega $, in the wide sense (the function $ u( x) \equiv - \infty \in \Psi $) that are bounded from above and are such that

$$ \lim\limits _ {x \rightarrow y } \sup u( x) \leq f( y) ,\ \ y \in \Gamma . $$

Let

$$ \underline{H} {} _ {f} ( x) = \underline{H} {} _ {f} ( x; \Omega ) = \sup \{ {u( x) } : {u \in \Psi } \} ,\ \ x \in \Omega , $$

be the upper envelope of $ \Psi $.

There are only three possibilities for $ \overline{H}\; _ {f} $( and $ \underline{H} {} _ {f} $): $ \overline{H}\; _ {f} ( x) \equiv + \infty $, $ \overline{H}\; _ {f} ( x) \equiv - \infty $ or $ \overline{H}\; _ {f} ( x) $ is a harmonic function; and always

$$ \underline{H} {} _ {f} ( x) \leq \overline{H}\; _ {f} ( x) ,\ \ x \in \Omega . $$

The function $ f( y) $, $ y \in \Gamma $, is called resolutive if the two envelopes $ \overline{H}\; _ {f} $ and $ \underline{H} {} _ {f} $ are finite and coincide. In that case the harmonic function $ H _ {f} = \overline{H}\; _ {f} = \underline{H} {} _ {f} $ is the generalized solution to the Dirichlet problem for the function $ f( y) $, $ y \in \Gamma $( in the sense of Wiener–Perron). For $ f( y) $, $ y \in \Gamma $, to be resolutive it is necessary and sufficient that it be integrable with respect to the harmonic measure on $ \Gamma $( Brelot's theorem). Any continuous finite function $ f( y) $, $ y \in \Gamma $, is resolutive (Wiener's theorem).

A point $ y _ {0} \in \Gamma $ is called a regular boundary point if the following limit relation applies for any continuous finite function $ f( y) $, $ y \in \Gamma $:

$$ \lim\limits _ {x \rightarrow y _ {0} } H _ {f} ( x) = f( y _ {0} ). $$

Regularity at all points $ y \in \Gamma $ is equivalent to the existence of classical solutions $ w _ {f} ( x) $ to the Dirichlet problem for any continuous finite function $ f( y) $, $ y \in \Gamma $, and in that case $ H _ {f} ( x) \equiv w _ {f} ( x) $; a bounded domain $ \Omega $ all boundary points of which are regular is sometimes also called regular. For a point $ y _ {0} \in \Gamma $ to be regular it is necessary and sufficient that there is a barrier at $ y _ {0} $.

Points $ y _ {0} \in \Gamma $ that are not regular are called irregular boundary points. For example, isolated points are irregular boundary points, as are the vertices of sufficiently sharp wedges entering $ \Omega $ if $ n \geq 3 $( Lebesgue spines). The set of all irregular points of $ \Gamma $ is a set of type $ F _ \sigma $ of capacity zero.

Let there be a sequence of domains $ \Omega _ {k} $, $ \overline \Omega \; _ {k} \subset \Omega _ {k+} 1 $, such that $ \Omega = \cup _ {k=} 1 ^ \infty \Omega _ {k} $, and let a continuous finite function $ f( y) $, $ y \in \Gamma $, be continuously extendible to $ \Gamma $. Then

$$ \lim\limits _ {k \rightarrow \infty } H _ {f} ( x; \Omega _ {k} ) = H _ {f} ( x; \Omega ),\ \ x \in \Omega , $$

uniformly on compact sets in $ \Omega $; in the case of regular domains $ \Omega _ {k} $ one obtains a construction à la Wiener for the generalized solution to the Dirichlet problem. Now consider an arbitrary sequence of domains $ G _ {k} $, $ \partial G _ {k} \rightarrow \Gamma $, $ G _ {k} \supset \overline \Omega \; $, for a domain $ \Omega $ without an interior boundary. In that case, in general

$$ \lim\limits _ {k \rightarrow \infty } H _ {f} ( x; G _ {k} ) \neq H _ {f} ( x; \Omega ). $$

The Dirichlet problem is stable in a domain $ \Omega $ or in a closed domain $ \overline \Omega \; $ if

$$ \lim\limits _ {k \rightarrow \infty } H _ {f} ( x; G _ {k} ) = H _ {f} ( x; \Omega ) $$

for all $ x \in \Omega $ or for all $ x \in \overline \Omega \; $, respectively. For the Dirichlet problem to be stable in a domain $ \Omega $ it is necessary and sufficient that the sets of all irregular points in the complements $ C \Omega $ and $ C \overline \Omega \; $ coincide; stability in a closed domain requires that $ C \overline \Omega \; $ does not have irregular points (Keldysh' theorems, cf. Keldysh theorem and [4], where an example is also constructed of a regular domain $ \Omega $ within which the Dirichlet problem is unstable).

See also Upper-and-lower-functions method.

References

[1] O. Perron, "Eine neue Behandlung der ersten Randwertaufgabe für " Math. Z. , 18 (1923) pp. 42–54 MR1544619 Zbl 49.0340.01
[2] I.G. Petrovskii, "Perron's method for the solution of the Dirichlet problem" Uspekhi Mat. Nauk , 8 (1941) pp. 107–114 (In Russian)
[3a] N. Wiener, "Certain notions in potential theory" J. Math. Phys. , 3 (1924) pp. 24–51 Zbl 50.0646.03 Zbl 51.0360.05
[3b] N. Wiener, "The Dirichlet problem" J. Math. Phys. , 3 (1924) pp. 127–146 MR1500496 Zbl 50.0646.02 Zbl 50.0335.04 Zbl 50.0335.02 Zbl 51.0361.01
[3c] N. Wiener, "Note on paper of O. Perron" J. Math. Phys. , 4 (1925) pp. 21–32 Zbl 51.0365.06 Zbl 51.0361.02
[4] M.V. Keldysh, "On the solvability and stability of the Dirichlet problem" Uspekhi Mat. Nauk , 8 (1941) pp. 171–231 (In Russian) Zbl 0179.43901
[5] M. Brélot, "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris (1959) MR0106366 Zbl 0084.30903

Comments

Counterexamples from S. Zaremba [a5] and H. Lebesgue [a2] made it clear that the existence of a classical solution to the Dirichlet problem for the Laplace equation is not always guaranteed. Lebesgue [a3] therefore proposed to construct a solution operator from the space of boundary functions into the set of harmonic functions on the domain. This operator should be linear and isotone (cf. Isotone mapping), and produce the classical solution if one exists. N. Wiener [3c] showed that such a solution operator for continuous boundary functions is obtained from the Perron method. The method is extended to arbitrary boundary functions by M. Brelot, and, since then, is called the Perron–Wiener–Brelot method. The uniqueness of the solution operator is proved by M.V. Keldysh (cf. Keldysh theorem). All these results have their counterpart in the abstract theory of harmonic spaces (cf. Harmonic space), cf. [a4].

References

[a1] M. Brelot, "Familles de Perron et problème de Dirichlet" Acta Sci. Math. (Szeged) , 9 (1938–1940) pp. 133–153 MR0000734 Zbl 0023.23302 Zbl 0021.13102 Zbl 65.0419.01 Zbl 65.0418.03
[a2] H. Lebesgue, "Sur des cas d'impossibilité du problème de Dirichlet ordinaire" C.R. Séances Soc. Math. France , 41 (1913) pp. 17
[a3] H. Lebesgue, "Conditions de régularité, conditions d'irrégularité, conditions d'impossibilité dans le problème de Dirichlet" C.R. Acad. Sci. , 178 (1924) pp. 349–354
[a4] I. Netuka, "The Dirichlet problem for harmonic functions" Amer. Math. Monthly , 87 (1980) pp. 621–628 MR0600920 Zbl 0454.31002
[a5] S. Zaremba, "Sur le principe de Dirichlet" Acta Math. , 34 (1911) pp. 293–316 MR1555069 Zbl 42.0393.01
How to Cite This Entry:
Perron method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Perron_method&oldid=14033
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article