Namespaces
Variants
Actions

Difference between revisions of "Rayleigh-Faber-Krahn inequality"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(latex details)
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
An inequality concerning the lowest eigenvalue of the [[Laplace operator|Laplace operator]], with Dirichlet boundary condition, on a bounded domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r1300401.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r1300402.png" />).
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r1300403.png" /> be the Dirichlet eigenvalues of the Laplacian in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r1300404.png" />, i.e.,
+
Out of 79 formulas, 77 were replaced by TEX code.-->
  
<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/r/r130/r130040/r1300405.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
{{TEX|semi-auto}}{{TEX|part}}
 +
An inequality concerning the lowest eigenvalue of the [[Laplace operator|Laplace operator]], with Dirichlet boundary condition, on a bounded domain in ${\bf R} ^ { n }$ ($n \geq 2$).
  
<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/r/r130/r130040/r1300406.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
Let $0< \lambda _ { 1 } ( \Omega ) < \lambda _ { 2 } ( \Omega ) \leq \lambda _ { 3 } ( \Omega ) \leq \dots$ be the Dirichlet eigenvalues of the Laplacian in $\Omega \subset \mathbf{R} ^ { n }$, i.e.,
  
(Cf. also [[Dirichlet boundary conditions|Dirichlet boundary conditions]]; [[Dirichlet eigenvalue|Dirichlet eigenvalue]].) Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r1300407.png" /> is the Laplace operator and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r1300408.png" /> is an open bounded subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r1300409.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004010.png" />). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004011.png" />, the Dirichlet eigenvalues are proportional to the square of the eigenfrequencies of an elastic, homogeneous, vibrating membrane with fixed boundary (cf. also [[Natural frequencies|Natural frequencies]]).
+
\begin{equation} \tag{a1} - \Delta u = \lambda u \text { in } \Omega, \end{equation}
  
The Rayleigh–Faber–Krahn inequality for the membrane (i.e., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004012.png" />) states that
+
\begin{equation} \tag{a2} u=0 \text{ on the boundary of } \Omega. \end{equation}
  
<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/r/r130/r130040/r13004013.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>
+
(Cf. also [[Dirichlet boundary conditions|Dirichlet boundary conditions]]; [[Dirichlet eigenvalue|Dirichlet eigenvalue]].) Here, $\Delta$ is the Laplace operator and $\Omega$ is an open bounded subset of ${\bf R} ^ { n }$ ($n \geq 2$). If $n = 2$, the Dirichlet eigenvalues are proportional to the square of the eigenfrequencies of an elastic, homogeneous, vibrating membrane with fixed boundary (cf. also [[Natural frequencies|Natural frequencies]]).
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004014.png" /> is the first zero of the Bessel function of order zero (cf. also [[Bessel functions|Bessel functions]]) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004015.png" /> is the area of the membrane. Equality is attained in (a3) if and only if the membrane is circular. In other words, among all membranes of given area, the circle has the lowest fundamental frequency. This inequality was conjectured by Lord Rayleigh [[#References|[a14]]], based on exact calculations for simple domains and a variational argument for near circular domains. In 1918, R. Courant [[#References|[a5]]] proved the weaker result that among all membranes of the same perimeter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004016.png" />, the circular one yields the least lowest eigenvalue, i.e.,
+
The Rayleigh–Faber–Krahn inequality for the membrane (i.e., $n = 2$) states 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/r/r130/r130040/r13004017.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a4)</td></tr></table>
+
\begin{equation} \tag{a3} \lambda _ { 1 } \geq \frac { \pi  { j } _ {0,1 } ^ { 2 } } { A }, \end{equation}
  
with equality if and only if the membrane is circular. Rayleigh's conjecture was proven independently by G. Faber [[#References|[a6]]] and E. Krahn [[#References|[a7]]]. The corresponding [[Isoperimetric inequality|isoperimetric inequality]] in dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004018.png" />,
+
where $j_{0,1} = 2.4048\dots$ is the first zero of the Bessel function of order zero (cf. also [[Bessel functions|Bessel functions]]) and $A$ is the area of the membrane. Equality is attained in (a3) if and only if the membrane is circular. In other words, among all membranes of given area, the circle has the lowest fundamental frequency. This inequality was conjectured by Lord Rayleigh [[#References|[a14]]], based on exact calculations for simple domains and a variational argument for near circular domains. In 1918, R. Courant [[#References|[a5]]] proved the weaker result that among all membranes of the same perimeter $L$, the circular one yields the least lowest eigenvalue, i.e.,
  
<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/r/r130/r130040/r13004019.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
+
\begin{equation} \tag{a4} \lambda _ { 1 } \geq \frac { 4 \pi ^ { 2 } j _ { 0,1 } ^ { 2 } } { L ^ { 2 } }, \end{equation}
  
was proven by Krahn [[#References|[a8]]]. In (a5), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004020.png" /> is the first positive zero of the Bessel function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004022.png" /> is the volume of the domain and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004023.png" /> is the volume of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004024.png" />-dimensional unit ball. Equality is attained in (a5) if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004025.png" /> is a ball.
+
with equality if and only if the membrane is circular. Rayleigh's conjecture was proven independently by G. Faber [[#References|[a6]]] and E. Krahn [[#References|[a7]]]. The corresponding [[Isoperimetric inequality|isoperimetric inequality]] in dimension $n$,
 +
 
 +
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004019.png"/></td> <td style="width:5%;text-align:right;" valign="top">(a5)</td></tr></table>
 +
 
 +
was proven by Krahn [[#References|[a8]]]. In (a5), $j_{m,1}$ is the first positive zero of the Bessel function $J _ { m }$, $| \Omega |$ is the volume of the domain and $C _ { n } = \pi ^ { n / 2 } / \Gamma ( n / 2 + 1 )$ is the volume of the $n$-dimensional unit ball. Equality is attained in (a5) if and only if $\Omega$ is a ball.
  
 
The proof of the Rayleigh–Faber–Krahn inequality rests upon two facts: a variational characterization for the lowest Dirichlet eigenvalue and the properties of symmetric decreasing rearrangements of functions. The variational characterization of the lowest eigenvalue is given by
 
The proof of the Rayleigh–Faber–Krahn inequality rests upon two facts: a variational characterization for the lowest Dirichlet eigenvalue and the properties of symmetric decreasing rearrangements of functions. The variational characterization of the lowest eigenvalue is given by
  
<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/r/r130/r130040/r13004026.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a6)</td></tr></table>
+
\begin{equation} \tag{a6} \lambda _ { 1 } ( \Omega ) = \operatorname { inf } _ { u \in H _ { 0 } ^ { 1 } ( \Omega ) } \frac { \int_{\Omega} ( \nabla u ) ^ { 2 } d x } { \int _ { \Omega } u ^ { 2 } d x }. \end{equation}
  
Concerning decreasing rearrangements, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004027.png" /> be a measurable subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004028.png" />, then the symmetrized domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004029.png" /> is a ball with the same measure as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004030.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004031.png" /> is a real-valued measurable function defined on a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004032.png" />, its spherical decreasing rearrangement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004033.png" /> is a function defined on the ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004034.png" /> centred at the origin and having the same measure as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004035.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004036.png" /> depends only on the distance from the origin, is decreasing away from the origin and is equi-measurable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004037.png" />. See [[#References|[a13]]], [[#References|[a18]]], [[#References|[a4]]] for properties of rearrangements of functions. Since the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004038.png" /> and its spherical decreasing rearrangement are equi-measurable, their <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004039.png" />-norms are the same. What Faber and Krahn actually proved is that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004040.png" />-norm of the gradient of a function decreases under rearrangements (see [[#References|[a18]]] for details, and also [[#References|[a9]]] for a different approach to this fact). The fact that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004041.png" />-norm of the gradient of a function decreases under rearrangements, combined with the variational characterization (a6), immediately gives the Rayleigh–Faber–Krahn inequality.
+
Concerning decreasing rearrangements, let $\Omega$ be a measurable subset of ${\bf R} ^ { n }$, then the symmetrized domain $\Omega ^ { * }$ is a ball with the same measure as $\Omega$. If $u$ is a real-valued measurable function defined on a bounded domain $\Omega \subset \mathbf{R} ^ { n }$, its spherical decreasing rearrangement $u^*$ is a function defined on the ball $\Omega ^ { * }$ centred at the origin and having the same measure as $\Omega$, such that $u^*$ depends only on the distance from the origin, is decreasing away from the origin and is equi-measurable with $u$. See [[#References|[a13]]], [[#References|[a18]]], [[#References|[a4]]] for properties of rearrangements of functions. Since the function $u$ and its spherical decreasing rearrangement are equi-measurable, their $L^{2}$-norms are the same. What Faber and Krahn actually proved is that the $L^{2}$-norm of the gradient of a function decreases under rearrangements (see [[#References|[a18]]] for details, and also [[#References|[a9]]] for a different approach to this fact). The fact that the $L^{2}$-norm of the gradient of a function decreases under rearrangements, combined with the variational characterization (a6), immediately gives the Rayleigh–Faber–Krahn inequality.
  
 
==Isoperimetric inequalities for the lowest eigenvalue.==
 
==Isoperimetric inequalities for the lowest eigenvalue.==
There are several isoperimetric inequalities for the lowest eigenvalue of boundary value problems, similar to the Rayleigh–Faber–Krahn inequality. The lowest non-trivial [[Neumann eigenvalue|Neumann eigenvalue]] also satisfies an isoperimetric inequality. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004042.png" /> be the Neumann eigenvalues of the Laplace operator in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004043.png" />, i.e.,
+
There are several isoperimetric inequalities for the lowest eigenvalue of boundary value problems, similar to the Rayleigh–Faber–Krahn inequality. The lowest non-trivial [[Neumann eigenvalue]] also satisfies an isoperimetric inequality. Let $0 = \mu _ { 1 } ( \Omega ) < \mu _ { 2 } ( \Omega ) \leq \mu _ { 3 } ( \Omega ) \leq \dots$ be the Neumann eigenvalues of the Laplace operator in $\Omega \subset \mathbf{R} ^ { n }$, i.e.,
  
<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/r/r130/r130040/r13004044.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a7)</td></tr></table>
+
\begin{equation} \tag{a7} - \Delta u = \mu u \text { in } \Omega, \end{equation}
  
<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/r/r130/r130040/r13004045.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a8)</td></tr></table>
+
\begin{equation} \tag{a8} \frac { \partial u } { \partial n } = 0 \text{ on the boundary of } \Omega. \end{equation}
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004046.png" />, G. Szegö [[#References|[a17]]] proved
+
If $n = 2$, G. Szegö [[#References|[a17]]] proved
  
<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/r/r130/r130040/r13004047.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a9)</td></tr></table>
+
\begin{equation} \tag{a9} \mu _ { 2 } ( \Omega ) \leq \frac { \pi p _ { 1 } ^ { 2 } } { A }, \end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004048.png" />, with equality if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004049.png" /> is a circle. The corresponding result for dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004050.png" />,
+
where $p _ { 1 } = 1.8412 \ldots$, with equality if and only if $\Omega$ is a circle. The corresponding result for dimension $n$,
  
<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/r/r130/r130040/r13004051.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a10)</td></tr></table>
+
\begin{equation} \tag{a10} \mu _ { 2 } ( \Omega ) \leq \left( \frac { 1 } { | \Omega | } \right) ^ { 2 / n } C _ { n } ^ { 2 / n } p _ { n / 2,1 } ^ { 2 }, \end{equation}
  
was proven by H.F. Weinberger [[#References|[a19]]], with equality if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004052.png" /> is a ball. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004053.png" /> is the volume of the unit ball in dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004054.png" />. In (a9) and (a10), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004055.png" /> denotes the first positive zero of the derivative of the Bessel function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004056.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004057.png" />, Weinberger [[#References|[a19]]] also proved
+
was proven by H.F. Weinberger [[#References|[a19]]], with equality if and only if $\Omega$ is a ball. Here, $C_n$ is the volume of the unit ball in dimension $n$. In (a9) and (a10), $p_{ m , 1}$ denotes the first positive zero of the derivative of the Bessel function $J _ { m }$. For $n = 2$, Weinberger [[#References|[a19]]] also proved
  
<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/r/r130/r130040/r13004058.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a11)</td></tr></table>
+
\begin{equation} \tag{a11} \frac { 1 } { \mu _ { 2 } ( \Omega ) } + \frac { 1 } { \mu _ { 3 } ( \Omega ) } \geq \frac { 2 A } { \pi p _ { 1 } ^ { 2 } }, \end{equation}
  
with equality if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004059.png" /> is a circle.
+
with equality if and only if $\Omega$ is a circle.
  
There is also an analogue of the Rayleigh–Faber–Krahn inequality for domains in spaces of constant curvature [[#References|[a15]]]. The optimal Rayleigh–Faber–Krahn inequalities for domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004060.png" /> was proven by E. Sperner [[#References|[a16]]].
+
There is also an analogue of the Rayleigh–Faber–Krahn inequality for domains in spaces of constant curvature [[#References|[a15]]]. The optimal Rayleigh–Faber–Krahn inequalities for domains in $S ^ { n }$ was proven by E. Sperner [[#References|[a16]]].
  
In [[#References|[a14]]], Lord Rayleigh also conjectured an isoperimetric inequality for the lowest eigenvalue, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004061.png" />, of the clamped plate. The eigenvalue problem for the clamped plate is given by
+
In [[#References|[a14]]], Lord Rayleigh also conjectured an isoperimetric inequality for the lowest eigenvalue, $\Lambda _ { 1 }$, of the clamped plate. The eigenvalue problem for the clamped plate is given by
  
<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/r/r130/r130040/r13004062.png" /></td> </tr></table>
+
\begin{equation*} \Delta ^ { 2 } u _ { 1 } = \Lambda _ { 1 } u _ { 1 } \text { in } \Omega \end{equation*}
  
 
with
 
with
  
<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/r/r130/r130040/r13004063.png" /></td> </tr></table>
+
\begin{equation*} u _ { 1 } = \left| \frac { \partial u } { \partial n } \right| = 0 \ \text{in the boundary of} \ \Omega. \end{equation*}
  
Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004064.png" /> is a bounded open subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004065.png" />. Rayleigh's conjecture for the clamped plate reads
+
Here, $\Omega$ is a bounded open subset of $\mathbf{R} ^ { 2 }$. Rayleigh's conjecture for the clamped plate reads
  
<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/r/r130/r130040/r13004066.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a12)</td></tr></table>
+
\begin{equation} \tag{a12} \Lambda _ { 1 } ( \Omega ) \geq \Lambda _ { 1 } ( \Omega ^ { * } ), \end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004067.png" /> is a ball of the same area as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004068.png" />. Rayleigh's conjecture was proven by N. Nadirashvili [[#References|[a12]]]. Equality is attained in (a12) if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004069.png" /> is a circle. For dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004070.png" />, the corresponding isoperimetric inequality was proven by M.S. Ashbaugh and R.D. Benguria [[#References|[a2]]]. To prove the analogous result for dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004071.png" /> and higher is still an open problem (as of 2000, see [[#References|[a3]]] however).
+
where $\Omega ^ { * }$ is a ball of the same area as $\Omega$. Rayleigh's conjecture was proven by N. Nadirashvili [[#References|[a12]]]. Equality is attained in (a12) if and only if $\Omega$ is a circle. For dimension $3$, the corresponding isoperimetric inequality was proven by M.S. Ashbaugh and R.D. Benguria [[#References|[a2]]]. To prove the analogous result for dimensions $4$ and higher is still an open problem (as of 2000, see [[#References|[a3]]] however).
  
Back in the membrane problem, if one goes beyond the lowest eigenvalue, there are several isoperimetric inequalities as well as a number of open problems. The simplest combination <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004072.png" /> satisfies the following inequality [[#References|[a1]]]:
+
Back in the membrane problem, if one goes beyond the lowest eigenvalue, there are several isoperimetric inequalities as well as a number of open problems. The simplest combination $\lambda _ { 2 } ( \Omega ) / \lambda _ { 1 } ( \Omega )$ satisfies the following inequality [[#References|[a1]]]:
  
<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/r/r130/r130040/r13004073.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a13)</td></tr></table>
+
\begin{equation} \tag{a13} \frac { \lambda _ { 2 } ( \Omega ) } { \lambda _ { 1 } ( \Omega ) } \leq \frac { j _ { n / 2,1 } ^ { 2 } } { j _ { n / 2 - 1,1 } ^ { 2 } }, \end{equation}
  
in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004074.png" /> dimensions, where equality is obtained if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004075.png" /> is a ball. Stability results for both the Rayleigh–Faber–Krahn inequality (a3), (a4) and inequality (a13) have been obtained by A.D. Melas [[#References|[a11]]] (in simple words,  "stability"  means that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004076.png" /> is convex and the appropriate left-hand side on either (a3), (a4) or (a13) is not too different from its corresponding isoperimetric value, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004077.png" /> is approximately a ball).
+
in $n$ dimensions, where equality is obtained if and only if $\Omega$ is a ball. Stability results for both the Rayleigh–Faber–Krahn inequality (a3), (a4) and inequality (a13) have been obtained by A.D. Melas [[#References|[a11]]] (in simple words,  "stability"  means that if $\Omega$ is convex and the appropriate left-hand side on either (a3), (a4) or (a13) is not too different from its corresponding isoperimetric value, then $\Omega$ is approximately a ball).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.S. Ashbaugh,  R.D. Benguria,  "A sharp bound for the ratio of the first two eigenvalues of Dirichlet Laplacians and extensions"  ''Ann. of Math.'' , '''135'''  (1992)  pp. 601–628</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M.S. Ashbaugh,  R.D. Benguria,  "On Rayleigh's conjecture for the clamped plate and its generalization to three dimensions"  ''Duke Math. J.'' , '''78'''  (1995)  pp. 1–17</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  M.S. Ashbaugh,  R.S. Laugesen,  "Fundamental tones and buckling loads of clamped plates"  ''Ann. Scuola Norm. Sup. Pisa Cl. Sci. (Ser. IV)'' , '''XXIII'''  (1996)  pp. 383–402</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  C. Bandle,  "Isoperimetric inequalities and applications" , ''Adv. Publ. Program'' , Pitman  (1980)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  R. Courant,  "Beweis des Satzes, dass von allen homogenen Membranen gegebenen Umfanges und gegebener Spannung die Kreisförmige den tiefsten Grundton besitzen"  ''Math. Z.'' , '''1'''  (1918)  pp. 321–328</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  G. Faber,  "Beweis, dass unter allen homogenen Membranen von gleicher Fläche und gleicher Spannung die kreisförmige den tiefsten Grundton gibt"  ''Sitzungsber. Bayer. Akad. Wiss. München, Math.-Phys. Kl.''  (1923)  pp. 169–172</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  E. Krahn,  "Über eine von Rayleigh formulierte Minimaleigenschaft des Kreises"  ''Math. Ann.'' , '''94'''  (1925)  pp. 97–100</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  E. Krahn,  "Über Minimaleigenschaft der Kugel in drei und mehr Dimensionen"  ''Acta Comm. Univ. Tartu (Dorpat)'' , '''A9'''  (1926)  pp. 1–44  (English transl.: Ü. Lumiste and J. Peetre (eds.), Edgar Krahn, 1894-1961, A Centenary Volume, IOS Press, 1994, Chap. 6, pp. 139-174)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  E.H. Lieb,  "Existence and uniqueness of the minimizing solution of Chocquard's nonlinear equation"  ''Stud. Appl. Math.'' , '''57'''  (1977)  pp. 93–105</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  Ü. Lumiste,  J. Peetre,  "Edgar Krahn, 1894-1961, A Centenary Volume" , IOS Press  (1994)  pp. Chap. 6</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  A.D. Melas,  "The stability of some eigenvalue estimates"  ''J. Diff. Geom.'' , '''36'''  (1992)  pp. 19–33</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  N.S. Nadirashvili,  "Rayleigh's conjecture on the principal frequency of the clamped plate"  ''Arch. Rational Mech. Anal.'' , '''129'''  (1995)  pp. 1–10</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  G. Pólya,  G. Szegö,  "Isoperimetric inequalities in mathematical physics" , ''Ann. of Math. Stud.'' , '''27''' , Princeton Univ. Press  (1951)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  J.W.S. Rayleigh,  "The theory of sound" , London  (1894/96)  pp. 339–340  (Edition: Second)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  E. Schmidt,  "Beweis der isoperimetrischen Eigenschaft der Kugel im hyperbolischen und sfärischen Raum jeder Dimensionzahl"  ''Math. Z.'' , '''49'''  (1943)  pp. 1–109</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  E. Sperner,  "Zur Symmetrisierung von Funktionen auf Sphären"  ''Math. Z.'' , '''134'''  (1973)  pp. 317–327</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  G. Szegö,  "Inequalities for certain eigenvalues of a membrane of given area"  ''J. Rat. Mech. Anal.'' , '''3'''  (1954)  pp. 343–356</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  G. Talenti,  "Elliptic Equations and Rearrangements"  ''Ann. Scuola Norm. Sup. Pisa'' , '''3''' :  4  (1976)  pp. 697–718</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  H.F. Weinberger,  "An isoperimetric inequality for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r130/r130040/r13004078.png" />-dimensional free membrane problem"  ''J. Rat. Mech. Anal.'' , '''5'''  (1956)  pp. 633–636</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  M.S. Ashbaugh,  R.D. Benguria,  "A sharp bound for the ratio of the first two eigenvalues of Dirichlet Laplacians and extensions"  ''Ann. of Math.'' , '''135'''  (1992)  pp. 601–628</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  M.S. Ashbaugh,  R.D. Benguria,  "On Rayleigh's conjecture for the clamped plate and its generalization to three dimensions"  ''Duke Math. J.'' , '''78'''  (1995)  pp. 1–17</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  M.S. Ashbaugh,  R.S. Laugesen,  "Fundamental tones and buckling loads of clamped plates"  ''Ann. Scuola Norm. Sup. Pisa Cl. Sci. (Ser. IV)'' , '''XXIII'''  (1996)  pp. 383–402</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  C. Bandle,  "Isoperimetric inequalities and applications" , ''Adv. Publ. Program'' , Pitman  (1980)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  R. Courant,  "Beweis des Satzes, dass von allen homogenen Membranen gegebenen Umfanges und gegebener Spannung die kreisförmige den tiefsten Grundton besitzt"  ''Math. Z.'' , '''1'''  (1918)  pp. 321–328</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  G. Faber,  "Beweis, dass unter allen homogenen Membranen von gleicher Fläche und gleicher Spannung die kreisförmige den tiefsten Grundton gibt"  ''Sitzungsber. Bayer. Akad. Wiss. München, Math.-Phys. Kl.''  (1923)  pp. 169–172</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  E. Krahn,  "Über eine von Rayleigh formulierte Minimaleigenschaft des Kreises"  ''Math. Ann.'' , '''94'''  (1925)  pp. 97–100</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  E. Krahn,  "Über Minimaleigenschaften der Kugel in drei und mehr Dimensionen"  ''Acta Comm. Univ. Tartu (Dorpat)'' , '''A9'''  (1926)  pp. 1–44  (English transl.: Ü. Lumiste and J. Peetre (eds.), Edgar Krahn, 1894-1961, A Centenary Volume, IOS Press, 1994, Chap. 6, pp. 139-174)</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  E.H. Lieb,  "Existence and uniqueness of the minimizing solution of Chocquard's nonlinear equation"  ''Stud. Appl. Math.'' , '''57'''  (1977)  pp. 93–105</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  Ü. Lumiste,  J. Peetre,  "Edgar Krahn, 1894-1961, A Centenary Volume" , IOS Press  (1994)  pp. Chap. 6</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  A.D. Melas,  "The stability of some eigenvalue estimates"  ''J. Diff. Geom.'' , '''36'''  (1992)  pp. 19–33</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  N.S. Nadirashvili,  "Rayleigh's conjecture on the principal frequency of the clamped plate"  ''Arch. Rational Mech. Anal.'' , '''129'''  (1995)  pp. 1–10</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  G. Pólya,  G. Szegö,  "Isoperimetric inequalities in mathematical physics" , ''Ann. of Math. Stud.'' , '''27''' , Princeton Univ. Press  (1951)</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  J.W.S. Rayleigh,  "The theory of sound" , London  (1894/96)  pp. 339–340  (Edition: Second)</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  E. Schmidt,  "Beweis der isoperimetrischen Eigenschaft der Kugel im hyperbolischen und sphärischen Raum jeder Dimensionenzahl"  ''Math. Z.'' , '''49'''  (1943)  pp. 1–109</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  E. Sperner,  "Zur Symmetrisierung von Funktionen auf Sphären"  ''Math. Z.'' , '''134'''  (1973)  pp. 317–327</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  G. Szegö,  "Inequalities for certain eigenvalues of a membrane of given area"  ''J. Rat. Mech. Anal.'' , '''3'''  (1954)  pp. 343–356</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  G. Talenti,  "Elliptic Equations and Rearrangements"  ''Ann. Scuola Norm. Sup. Pisa'' , '''3''' :  4  (1976)  pp. 697–718</td></tr><tr><td valign="top">[a19]</td> <td valign="top">  H.F. Weinberger,  "An isoperimetric inequality for the $N$-dimensional free membrane problem"  ''J. Rat. Mech. Anal.'' , '''5'''  (1956)  pp. 633–636</td></tr></table>

Latest revision as of 18:40, 19 February 2024

An inequality concerning the lowest eigenvalue of the Laplace operator, with Dirichlet boundary condition, on a bounded domain in ${\bf R} ^ { n }$ ($n \geq 2$).

Let $0< \lambda _ { 1 } ( \Omega ) < \lambda _ { 2 } ( \Omega ) \leq \lambda _ { 3 } ( \Omega ) \leq \dots$ be the Dirichlet eigenvalues of the Laplacian in $\Omega \subset \mathbf{R} ^ { n }$, i.e.,

\begin{equation} \tag{a1} - \Delta u = \lambda u \text { in } \Omega, \end{equation}

\begin{equation} \tag{a2} u=0 \text{ on the boundary of } \Omega. \end{equation}

(Cf. also Dirichlet boundary conditions; Dirichlet eigenvalue.) Here, $\Delta$ is the Laplace operator and $\Omega$ is an open bounded subset of ${\bf R} ^ { n }$ ($n \geq 2$). If $n = 2$, the Dirichlet eigenvalues are proportional to the square of the eigenfrequencies of an elastic, homogeneous, vibrating membrane with fixed boundary (cf. also Natural frequencies).

The Rayleigh–Faber–Krahn inequality for the membrane (i.e., $n = 2$) states that

\begin{equation} \tag{a3} \lambda _ { 1 } \geq \frac { \pi { j } _ {0,1 } ^ { 2 } } { A }, \end{equation}

where $j_{0,1} = 2.4048\dots$ is the first zero of the Bessel function of order zero (cf. also Bessel functions) and $A$ is the area of the membrane. Equality is attained in (a3) if and only if the membrane is circular. In other words, among all membranes of given area, the circle has the lowest fundamental frequency. This inequality was conjectured by Lord Rayleigh [a14], based on exact calculations for simple domains and a variational argument for near circular domains. In 1918, R. Courant [a5] proved the weaker result that among all membranes of the same perimeter $L$, the circular one yields the least lowest eigenvalue, i.e.,

\begin{equation} \tag{a4} \lambda _ { 1 } \geq \frac { 4 \pi ^ { 2 } j _ { 0,1 } ^ { 2 } } { L ^ { 2 } }, \end{equation}

with equality if and only if the membrane is circular. Rayleigh's conjecture was proven independently by G. Faber [a6] and E. Krahn [a7]. The corresponding isoperimetric inequality in dimension $n$,

(a5)

was proven by Krahn [a8]. In (a5), $j_{m,1}$ is the first positive zero of the Bessel function $J _ { m }$, $| \Omega |$ is the volume of the domain and $C _ { n } = \pi ^ { n / 2 } / \Gamma ( n / 2 + 1 )$ is the volume of the $n$-dimensional unit ball. Equality is attained in (a5) if and only if $\Omega$ is a ball.

The proof of the Rayleigh–Faber–Krahn inequality rests upon two facts: a variational characterization for the lowest Dirichlet eigenvalue and the properties of symmetric decreasing rearrangements of functions. The variational characterization of the lowest eigenvalue is given by

\begin{equation} \tag{a6} \lambda _ { 1 } ( \Omega ) = \operatorname { inf } _ { u \in H _ { 0 } ^ { 1 } ( \Omega ) } \frac { \int_{\Omega} ( \nabla u ) ^ { 2 } d x } { \int _ { \Omega } u ^ { 2 } d x }. \end{equation}

Concerning decreasing rearrangements, let $\Omega$ be a measurable subset of ${\bf R} ^ { n }$, then the symmetrized domain $\Omega ^ { * }$ is a ball with the same measure as $\Omega$. If $u$ is a real-valued measurable function defined on a bounded domain $\Omega \subset \mathbf{R} ^ { n }$, its spherical decreasing rearrangement $u^*$ is a function defined on the ball $\Omega ^ { * }$ centred at the origin and having the same measure as $\Omega$, such that $u^*$ depends only on the distance from the origin, is decreasing away from the origin and is equi-measurable with $u$. See [a13], [a18], [a4] for properties of rearrangements of functions. Since the function $u$ and its spherical decreasing rearrangement are equi-measurable, their $L^{2}$-norms are the same. What Faber and Krahn actually proved is that the $L^{2}$-norm of the gradient of a function decreases under rearrangements (see [a18] for details, and also [a9] for a different approach to this fact). The fact that the $L^{2}$-norm of the gradient of a function decreases under rearrangements, combined with the variational characterization (a6), immediately gives the Rayleigh–Faber–Krahn inequality.

Isoperimetric inequalities for the lowest eigenvalue.

There are several isoperimetric inequalities for the lowest eigenvalue of boundary value problems, similar to the Rayleigh–Faber–Krahn inequality. The lowest non-trivial Neumann eigenvalue also satisfies an isoperimetric inequality. Let $0 = \mu _ { 1 } ( \Omega ) < \mu _ { 2 } ( \Omega ) \leq \mu _ { 3 } ( \Omega ) \leq \dots$ be the Neumann eigenvalues of the Laplace operator in $\Omega \subset \mathbf{R} ^ { n }$, i.e.,

\begin{equation} \tag{a7} - \Delta u = \mu u \text { in } \Omega, \end{equation}

\begin{equation} \tag{a8} \frac { \partial u } { \partial n } = 0 \text{ on the boundary of } \Omega. \end{equation}

If $n = 2$, G. Szegö [a17] proved

\begin{equation} \tag{a9} \mu _ { 2 } ( \Omega ) \leq \frac { \pi p _ { 1 } ^ { 2 } } { A }, \end{equation}

where $p _ { 1 } = 1.8412 \ldots$, with equality if and only if $\Omega$ is a circle. The corresponding result for dimension $n$,

\begin{equation} \tag{a10} \mu _ { 2 } ( \Omega ) \leq \left( \frac { 1 } { | \Omega | } \right) ^ { 2 / n } C _ { n } ^ { 2 / n } p _ { n / 2,1 } ^ { 2 }, \end{equation}

was proven by H.F. Weinberger [a19], with equality if and only if $\Omega$ is a ball. Here, $C_n$ is the volume of the unit ball in dimension $n$. In (a9) and (a10), $p_{ m , 1}$ denotes the first positive zero of the derivative of the Bessel function $J _ { m }$. For $n = 2$, Weinberger [a19] also proved

\begin{equation} \tag{a11} \frac { 1 } { \mu _ { 2 } ( \Omega ) } + \frac { 1 } { \mu _ { 3 } ( \Omega ) } \geq \frac { 2 A } { \pi p _ { 1 } ^ { 2 } }, \end{equation}

with equality if and only if $\Omega$ is a circle.

There is also an analogue of the Rayleigh–Faber–Krahn inequality for domains in spaces of constant curvature [a15]. The optimal Rayleigh–Faber–Krahn inequalities for domains in $S ^ { n }$ was proven by E. Sperner [a16].

In [a14], Lord Rayleigh also conjectured an isoperimetric inequality for the lowest eigenvalue, $\Lambda _ { 1 }$, of the clamped plate. The eigenvalue problem for the clamped plate is given by

\begin{equation*} \Delta ^ { 2 } u _ { 1 } = \Lambda _ { 1 } u _ { 1 } \text { in } \Omega \end{equation*}

with

\begin{equation*} u _ { 1 } = \left| \frac { \partial u } { \partial n } \right| = 0 \ \text{in the boundary of} \ \Omega. \end{equation*}

Here, $\Omega$ is a bounded open subset of $\mathbf{R} ^ { 2 }$. Rayleigh's conjecture for the clamped plate reads

\begin{equation} \tag{a12} \Lambda _ { 1 } ( \Omega ) \geq \Lambda _ { 1 } ( \Omega ^ { * } ), \end{equation}

where $\Omega ^ { * }$ is a ball of the same area as $\Omega$. Rayleigh's conjecture was proven by N. Nadirashvili [a12]. Equality is attained in (a12) if and only if $\Omega$ is a circle. For dimension $3$, the corresponding isoperimetric inequality was proven by M.S. Ashbaugh and R.D. Benguria [a2]. To prove the analogous result for dimensions $4$ and higher is still an open problem (as of 2000, see [a3] however).

Back in the membrane problem, if one goes beyond the lowest eigenvalue, there are several isoperimetric inequalities as well as a number of open problems. The simplest combination $\lambda _ { 2 } ( \Omega ) / \lambda _ { 1 } ( \Omega )$ satisfies the following inequality [a1]:

\begin{equation} \tag{a13} \frac { \lambda _ { 2 } ( \Omega ) } { \lambda _ { 1 } ( \Omega ) } \leq \frac { j _ { n / 2,1 } ^ { 2 } } { j _ { n / 2 - 1,1 } ^ { 2 } }, \end{equation}

in $n$ dimensions, where equality is obtained if and only if $\Omega$ is a ball. Stability results for both the Rayleigh–Faber–Krahn inequality (a3), (a4) and inequality (a13) have been obtained by A.D. Melas [a11] (in simple words, "stability" means that if $\Omega$ is convex and the appropriate left-hand side on either (a3), (a4) or (a13) is not too different from its corresponding isoperimetric value, then $\Omega$ is approximately a ball).

References

[a1] M.S. Ashbaugh, R.D. Benguria, "A sharp bound for the ratio of the first two eigenvalues of Dirichlet Laplacians and extensions" Ann. of Math. , 135 (1992) pp. 601–628
[a2] M.S. Ashbaugh, R.D. Benguria, "On Rayleigh's conjecture for the clamped plate and its generalization to three dimensions" Duke Math. J. , 78 (1995) pp. 1–17
[a3] M.S. Ashbaugh, R.S. Laugesen, "Fundamental tones and buckling loads of clamped plates" Ann. Scuola Norm. Sup. Pisa Cl. Sci. (Ser. IV) , XXIII (1996) pp. 383–402
[a4] C. Bandle, "Isoperimetric inequalities and applications" , Adv. Publ. Program , Pitman (1980)
[a5] R. Courant, "Beweis des Satzes, dass von allen homogenen Membranen gegebenen Umfanges und gegebener Spannung die kreisförmige den tiefsten Grundton besitzt" Math. Z. , 1 (1918) pp. 321–328
[a6] G. Faber, "Beweis, dass unter allen homogenen Membranen von gleicher Fläche und gleicher Spannung die kreisförmige den tiefsten Grundton gibt" Sitzungsber. Bayer. Akad. Wiss. München, Math.-Phys. Kl. (1923) pp. 169–172
[a7] E. Krahn, "Über eine von Rayleigh formulierte Minimaleigenschaft des Kreises" Math. Ann. , 94 (1925) pp. 97–100
[a8] E. Krahn, "Über Minimaleigenschaften der Kugel in drei und mehr Dimensionen" Acta Comm. Univ. Tartu (Dorpat) , A9 (1926) pp. 1–44 (English transl.: Ü. Lumiste and J. Peetre (eds.), Edgar Krahn, 1894-1961, A Centenary Volume, IOS Press, 1994, Chap. 6, pp. 139-174)
[a9] E.H. Lieb, "Existence and uniqueness of the minimizing solution of Chocquard's nonlinear equation" Stud. Appl. Math. , 57 (1977) pp. 93–105
[a10] Ü. Lumiste, J. Peetre, "Edgar Krahn, 1894-1961, A Centenary Volume" , IOS Press (1994) pp. Chap. 6
[a11] A.D. Melas, "The stability of some eigenvalue estimates" J. Diff. Geom. , 36 (1992) pp. 19–33
[a12] N.S. Nadirashvili, "Rayleigh's conjecture on the principal frequency of the clamped plate" Arch. Rational Mech. Anal. , 129 (1995) pp. 1–10
[a13] G. Pólya, G. Szegö, "Isoperimetric inequalities in mathematical physics" , Ann. of Math. Stud. , 27 , Princeton Univ. Press (1951)
[a14] J.W.S. Rayleigh, "The theory of sound" , London (1894/96) pp. 339–340 (Edition: Second)
[a15] E. Schmidt, "Beweis der isoperimetrischen Eigenschaft der Kugel im hyperbolischen und sphärischen Raum jeder Dimensionenzahl" Math. Z. , 49 (1943) pp. 1–109
[a16] E. Sperner, "Zur Symmetrisierung von Funktionen auf Sphären" Math. Z. , 134 (1973) pp. 317–327
[a17] G. Szegö, "Inequalities for certain eigenvalues of a membrane of given area" J. Rat. Mech. Anal. , 3 (1954) pp. 343–356
[a18] G. Talenti, "Elliptic Equations and Rearrangements" Ann. Scuola Norm. Sup. Pisa , 3 : 4 (1976) pp. 697–718
[a19] H.F. Weinberger, "An isoperimetric inequality for the $N$-dimensional free membrane problem" J. Rat. Mech. Anal. , 5 (1956) pp. 633–636
How to Cite This Entry:
Rayleigh-Faber-Krahn inequality. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Rayleigh-Faber-Krahn_inequality&oldid=16882
This article was adapted from an original article by Rafael D. Benguria (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article