Namespaces
Variants
Actions

Difference between revisions of "Dirichlet eigenvalue"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (convert png to latex)
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
Consider a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d1301701.png" /> with a piecewise smooth boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d1301702.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d1301703.png" /> is a Dirichlet eigenvalue of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d1301704.png" /> if there exists a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d1301705.png" /> (a Dirichlet eigenfunction) satisfying the following Dirichlet boundary value problem (cf. also [[Dirichlet boundary conditions|Dirichlet boundary conditions]]):
+
<!--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.
  
<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/d/d130/d130170/d1301706.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
Out of 78 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/d/d130/d130170/d1301707.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
{{TEX|semi-auto}}{{TEX|done}}
 +
Consider a bounded domain $\Omega \subset \mathbf{R} ^ { n }$ with a piecewise smooth boundary $\partial \Omega$. $\lambda$ is a Dirichlet eigenvalue of $\Omega$ if there exists a function $u \in C ^ { 2 } ( \Omega ) \cap C ^ { 0 } ( \overline { \Omega } )$ (a Dirichlet eigenfunction) satisfying the following Dirichlet boundary value problem (cf. also [[Dirichlet boundary conditions|Dirichlet boundary conditions]]):
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d1301708.png" /> is the [[Laplace operator|Laplace operator]] (i.e., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d1301709.png" />). Dirichlet eigenvalues (with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017010.png" />) were introduced in the study of the vibrations of the clamped membrane in the nineteenth century. In fact, they are proportional to the square of the eigenfrequencies of the membrane with fixed boundary. See [[#References|[a9]]] for a review and historical remarks. Provided <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017011.png" /> is bounded and the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017012.png" /> is sufficiently regular, the Dirichlet Laplacian has a discrete spectrum of infinitely many positive eigenvalues with no finite accumulation point [[#References|[a15]]]:
+
\begin{equation} \tag{a1} - \Delta u = \lambda 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/d/d130/d130170/d13017013.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>
+
\begin{equation} \tag{a2} u = 0 \text { in } \partial \Omega, \end{equation}
  
(<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017014.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017015.png" />).
+
where $\Delta$ is the [[Laplace operator|Laplace operator]] (i.e., $\Delta = \sum _ { i = 1 } ^ { n } \partial ^ { 2 } / \partial x _ { i } ^ { 2 }$). Dirichlet eigenvalues (with $n = 2$) were introduced in the study of the vibrations of the clamped membrane in the nineteenth century. In fact, they are proportional to the square of the eigenfrequencies of the membrane with fixed boundary. See [[#References|[a9]]] for a review and historical remarks. Provided $\Omega$ is bounded and the boundary $\partial \Omega$ is sufficiently regular, the Dirichlet Laplacian has a discrete spectrum of infinitely many positive eigenvalues with no finite accumulation point [[#References|[a15]]]:
 +
 
 +
\begin{equation} \tag{a3} 0 &lt; \lambda _ { 1 } ( \Omega ) \leq \lambda _ { 2 } ( \Omega ) \leq \dots \end{equation}
 +
 
 +
($\lambda _ { k } \rightarrow \infty$ as $ k  \rightarrow \infty$).
  
 
The Dirichlet eigenvalues are characterized by the max-min principle [[#References|[a4]]]:
 
The Dirichlet eigenvalues are characterized by the max-min principle [[#References|[a4]]]:
  
<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/d/d130/d130170/d13017016.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a4)</td></tr></table>
+
\begin{equation} \tag{a4} \lambda _ { k } = \operatorname { sup } \operatorname { inf } \frac { \int _ { \Omega } ( \nabla u ) ^ { 2 } d x } { \int _ { \Omega } u ^ { 2 } d x }, \end{equation}
  
where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017017.png" /> is taken over all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017018.png" /> orthogonal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017019.png" />, and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017020.png" /> is taken over all choices of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017021.png" />. For simply-connected domains it follows from the max-min principle (a4) that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017022.png" /> is non-degenerate and the corresponding eigenfunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017023.png" /> is positive in the interior of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017024.png" />. For higher values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017025.png" /> the nodal lines of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017026.png" />th eigenfunction divide <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017027.png" /> into no more than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017028.png" /> subregions (nodal domains; this is Courant's nodal line theorem [[#References|[a4]]]). Along this subject, notice the proof of A.D. Melas [[#References|[a11]]] of the nodal line conjecture for plane domains (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017029.png" /> is a bounded, smooth, convex domain, the nodal line of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017030.png" /> always meets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017031.png" />).
+
where the $\operatorname{inf}$ is taken over all $u \in H _ { 0 } ^ { 1 } ( \Omega )$ orthogonal to $\varphi _ { 1 } , \dots , \varphi _ { k - 1 } \in H _ { 0 } ^ { 1 } ( \Omega )$, and the $\operatorname {sup}$ is taken over all choices of $\{ \varphi _ { i } \} _ { i = 1 } ^ { k - 1 }$. For simply-connected domains it follows from the max-min principle (a4) that $\lambda _ { 1 } ( \Omega )$ is non-degenerate and the corresponding eigenfunction $u_1$ is positive in the interior of $\Omega$. For higher values of $k$ the nodal lines of the $k$th eigenfunction divide $\Omega$ into no more than $k - 1$ subregions (nodal domains; this is Courant's nodal line theorem [[#References|[a4]]]). Along this subject, notice the proof of A.D. Melas [[#References|[a11]]] of the nodal line conjecture for plane domains (if $\Omega$ is a bounded, smooth, convex domain, the nodal line of $u_2$ always meets $\partial \Omega$).
  
 
==Weyl asymptotics.==
 
==Weyl asymptotics.==
For large values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017032.png" />, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017033.png" />, H. Weyl [[#References|[a17]]], [[#References|[a18]]] proved
+
For large values of $k$, if $\Omega \subset \mathbf{R} ^ { n }$, H. Weyl [[#References|[a17]]], [[#References|[a18]]] 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/d/d130/d130170/d13017034.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
+
\begin{equation} \tag{a5} \lambda _ { k } \approx \frac { 4 \pi ^ { 2 } k ^ { 2 / n } } { ( C _ { n } | \Omega | ) ^ { 2 / n } }, \end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017036.png" /> are, respectively, the volumes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017037.png" /> and of the unit ball in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017038.png" />.
+
where $| \Omega |$ and $C _ { n } = \pi ^ { n / 2 } / \Gamma ( n / 2 + 1 )$ are, respectively, the volumes of $\Omega$ and of the unit ball in ${\bf R} ^ { n }$.
  
 
==Pólya conjecture.==
 
==Pólya conjecture.==
 
For any plane-covering domain (i.e., a domain that can be used to tile the plane without gaps, nor overlaps, allowing rotations, translations and reflections of itself), G. Pólya [[#References|[a13]]] proved that
 
For any plane-covering domain (i.e., a domain that can be used to tile the plane without gaps, nor overlaps, allowing rotations, translations and reflections of itself), G. Pólya [[#References|[a13]]] proved 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/d/d130/d130170/d13017039.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a6)</td></tr></table>
+
\begin{equation} \tag{a6} \lambda _ { k } \geq \frac { 4 \pi k } { A }\; \text { for } k = 1,2 , \ldots, \end{equation}
  
and conjectured the same bound for any bounded domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017040.png" /> (here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017041.png" /> is the area of the domain). Pólya's conjecture in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017042.png" /> dimensions is equivalent to saying that the Weyl asymptotics of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017043.png" />, (a5), is a lower bound for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017044.png" />, i.e.,
+
and conjectured the same bound for any bounded domain in $\mathbf{R} ^ { 2 }$ (here $A$ is the area of the domain). Pólya's conjecture in $n$ dimensions is equivalent to saying that the Weyl asymptotics of $\lambda _ { k }$, (a5), is a lower bound for $\lambda _ { k }$, 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/d/d130/d130170/d13017045.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a7)</td></tr></table>
+
\begin{equation} \tag{a7} \lambda _ { k } \geq \frac { 4 \pi ^ { 2 } k ^ { 2 / n } } { ( C _ { n } | \Omega | ) ^ { 2 / n } } \text { for } k = 1,2, \dots .  \end{equation}
  
 
A result analogous to (a6) for the Neumann eigenvalues of tiling domains, with the sign of the equalities reversed, also holds (cf. also [[Neumann eigenvalue|Neumann eigenvalue]]). The best result to date (2000) towards the proof of the Pólya conjecture is the bound [[#References|[a10]]]
 
A result analogous to (a6) for the Neumann eigenvalues of tiling domains, with the sign of the equalities reversed, also holds (cf. also [[Neumann eigenvalue|Neumann eigenvalue]]). The best result to date (2000) towards the proof of the Pólya conjecture is the bound [[#References|[a10]]]
  
<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/d/d130/d130170/d13017046.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a8)</td></tr></table>
+
\begin{equation} \tag{a8} \sum _ { i = 1 } ^ { k } \lambda _ { i } \geq \frac { n } { n + 2 } \frac { 4 \pi ^ { 2 } k ^ { 1 + 2 / n } } { ( C _ { n } | \Omega | ) ^ { 2 / n } } k = 1,2 , \ldots , \end{equation}
  
proven using the asymptotic behaviour of the heat kernel of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017047.png" /> (cf. also [[Heat equation|Heat equation]]) and the connection between the heat kernel and the Dirichlet eigenvalues of a domain (see, e.g., [[#References|[a6]]] for a review and related results).
+
proven using the asymptotic behaviour of the heat kernel of $\Omega$ (cf. also [[Heat equation|Heat equation]]) and the connection between the heat kernel and the Dirichlet eigenvalues of a domain (see, e.g., [[#References|[a6]]] for a review and related results).
  
 
==Kac problem.==
 
==Kac problem.==
Dirichlet eigenvalues are completely characterized by the geometry of the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017048.png" />. The inverse problem, i.e., up to what extent the geometry of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017049.png" /> can be recovered from the knowledge of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017050.png" />, was posed by M. Kac in [[#References|[a8]]]. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017051.png" />, for example, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017052.png" /> is smooth (in particular <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017053.png" /> does not have corners), then the distribution function behaves as
+
Dirichlet eigenvalues are completely characterized by the geometry of the domain $\Omega$. The inverse problem, i.e., up to what extent the geometry of $\Omega$ can be recovered from the knowledge of $\{ \lambda _ { n } \} _ { n = 1 } ^ { \infty }$, was posed by M. Kac in [[#References|[a8]]]. If $n = 2$, for example, and $\partial \Omega$ is smooth (in particular $\partial \Omega$ does not have corners), then the distribution function behaves as
  
<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/d/d130/d130170/d13017054.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a9)</td></tr></table>
+
\begin{equation} \tag{a9} \sum _ { k = 1 } ^ { \infty } e ^ { - \lambda _ { k } t } \approx \frac { A } { 4 \pi t } + \frac { L } { 8 \sqrt { \pi  } t } + \frac { 1 } { 6 } ( 1 - r ) + O ( t ), \end{equation}
  
as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017055.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017056.png" /> is the area, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017057.png" /> the perimeter and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017058.png" /> the number of holes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017059.png" />, so at least these features of the domain can be recovered from knowledge of all the eigenvalues (the first term in (a9) is just a consequence of Weyl's asymptotics). However, complete recovery of the geometry is impossible, as was later shown by C. Gordon, D. Web and S. Wolpert, who constructed two isospectral domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017060.png" /> with different geometries [[#References|[a7]]].
+
as $t \rightarrow 0$, where $A$ is the area, $L$ the perimeter and $r$ the number of holes of $\Omega$, so at least these features of the domain can be recovered from knowledge of all the eigenvalues (the first term in (a9) is just a consequence of Weyl's asymptotics). However, complete recovery of the geometry is impossible, as was later shown by C. Gordon, D. Web and S. Wolpert, who constructed two isospectral domains in $\mathbf{R} ^ { 2 }$ with different geometries [[#References|[a7]]].
  
 
==Eigenvalues and geometry.==
 
==Eigenvalues and geometry.==
The inverse of the square root of a Dirichlet eigenvalue is a length that may be compared with other characteristic lengths of the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017061.png" />. A typical such comparison is the [[Rayleigh–Faber–Krahn inequality|Rayleigh–Faber–Krahn inequality]]. Another inequality along these lines is the following: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017062.png" /> is a simply connected domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017063.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017064.png" /> is the radius of the largest disc contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017065.png" />, then there is a universal constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017066.png" /> such that
+
The inverse of the square root of a Dirichlet eigenvalue is a length that may be compared with other characteristic lengths of the domain $\Omega$. A typical such comparison is the [[Rayleigh–Faber–Krahn inequality|Rayleigh–Faber–Krahn inequality]]. Another inequality along these lines is the following: If $\Omega$ is a simply connected domain in $\mathbf{R} ^ { 2 }$ and $r _ { \Omega }$ is the radius of the largest disc contained in $\Omega$, then there is a universal constant $a$ 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/d/d130/d130170/d13017067.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a10)</td></tr></table>
+
\begin{equation} \tag{a10} \lambda _ { 1 } ( \Omega ) \geq \frac { a } { r _ { \Omega } ^ { 2 } } \end{equation}
  
(as of 2000, the best, not yet optimal, constant in (a10) is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017068.png" />; see [[#References|[a2]]] for details and historical facts). For other isoperimetric inequalities, see, e.g., [[#References|[a1]]], [[#References|[a12]]], [[#References|[a14]]]. In the same vein, one can also compare Dirichlet and Neumann eigenvalues (see [[Neumann eigenvalue|Neumann eigenvalue]]).
+
(as of 2000, the best, not yet optimal, constant in (a10) is $a = 0.6197$; see [[#References|[a2]]] for details and historical facts). For other isoperimetric inequalities, see, e.g., [[#References|[a1]]], [[#References|[a12]]], [[#References|[a14]]]. In the same vein, one can also compare Dirichlet and Neumann eigenvalues (see [[Neumann eigenvalue|Neumann eigenvalue]]).
  
Because of the connection between [[Potential theory|potential theory]] and [[Brownian motion|Brownian motion]], it is possible to use probabilistic methods to find properties of Dirichlet eigenvalues. One such property was found by H. Brascamp and E.H. Lieb [[#References|[a3]]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017069.png" />: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017070.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017071.png" /> are domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017072.png" />, and one sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017073.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017074.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017075.png" />. Another example of the use of probabilistic methods is the proof of (a10) by R. Bañuelos and T. Carroll [[#References|[a2]]].
+
Because of the connection between [[Potential theory|potential theory]] and [[Brownian motion|Brownian motion]], it is possible to use probabilistic methods to find properties of Dirichlet eigenvalues. One such property was found by H. Brascamp and E.H. Lieb [[#References|[a3]]] for $\lambda _ { 1 }$: If $\Omega _ { 1 }$ and $\Omega _ { 2 }$ are domains in ${\bf R} ^ { n }$, and one sets $\Omega _ { t } = t \Omega _ { 1 } + ( 1 - t ) \Omega _ { 2 }$, then $\lambda _ { 1 } ( \Omega _ { t } ) \leq t \lambda _ { 1 } ( \Omega _ { 1 } ) + ( 1 - t ) \lambda _ { 2 } ( \Omega _ { 2 } )$ for all $t \in ( 0,1 )$. Another example of the use of probabilistic methods is the proof of (a10) by R. Bañuelos and T. Carroll [[#References|[a2]]].
  
To conclude, note that it is possible to define Dirichlet eigenvalues for much more general domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017076.png" /> (see, e.g., [[#References|[a16]]], p. 263), and also for the Laplace–Beltrami operator defined on domains in Riemannian manifolds (see, e.g., [[#References|[a5]]]).
+
To conclude, note that it is possible to define Dirichlet eigenvalues for much more general domains in ${\bf R} ^ { n }$ (see, e.g., [[#References|[a16]]], p. 263), and also for the Laplace–Beltrami operator defined on domains in Riemannian manifolds (see, e.g., [[#References|[a5]]]).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.S. Ashbaugh,  R.D. Benguria,  "Isoperimetric inequalities for eigenvalue ratios" , ''Symp. Math.'' , '''35''' , Cambridge Univ. Press  (1994)  pp. 1–36</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  R. Bañuelos,  T. Carroll,  "Brownian motion and the fundamental frequency of a drum"  ''Duke Math. J.'' , '''75'''  (1994)  pp. 575–602</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H. Brascamp,  E.H. Lieb,  "On extensions of the Brunn–Minkowski and Prékopa–Leindler theorem, including inequalities for log-concave functions, and with an application to the diffusion equation"  ''J. Funct. Anal.'' , '''22'''  (1976)  pp. 366–389</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R. Courant,  D. Hilbert,  "Methoden der mathematischen Physik" , '''I''' , Springer  (1931)  (English transl.: Methods of mathematical physics, vol. I., Interscience, 1953)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  I. Chavel,  "Eigenvalues in Riemannian geometry" , ''Pure Appl. Math.'' , '''115''' , Acad. Press  (1984)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  E.B. Davies,  "Heat kernels and spectral theory" , ''Tracts in Math.'' , '''92''' , Cambridge Univ. Press  (1989)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  C. Gordon,  D. Webb,  S. Wolpert,  "Isospectral plane domains and surfaces via Riemannian orbifolds"  ''Invent. Math.'' , '''110'''  (1992)  pp. 1–22</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  M. Kac,  "Can one hear the shape of a drum?"  ''Amer. Math. Monthly'' , '''73''' :  4  (1966)  pp. 1–23</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  J.R. Kuttler,  V.G. Sigillito,  "Eigenvalues of the Laplacian in two dimensions"  ''SIAM Review'' , '''26'''  (1984)  pp. 163–193</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  P. Li,  S.T. Yau,  "On the Schrödinger equation and the eigenvalue problem"  ''Commun. Math. Phys.'' , '''88'''  (1983)  pp. 309–318</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  A.D. Melas,  "On the nodal line of the second eigenfunction of the Laplacian in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017077.png" />"  ''J. Diff. Geom.'' , '''35'''  (1992)  pp. 255–263</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  R. Osserman,  "Isoperimetric inequalities and eigenvalues of the Laplacian" , ''Proc. Internat. Congress of Math. Helsinki'' , Acad. Sci. Fennica  (1978)  pp. 435–441</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  G. Polya,  "On the eigenvalues of vibrating membranes"  ''Proc. London Math. Soc.'' , '''11''' :  3  (1961)  pp. 419–433</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  G. Polya,  G. Szegö,  "Isoperimetric inequalities in mathematical physics" , ''Ann. of Math. Stud.'' , '''27''' , Princeton Univ. Press  (1951)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  F. Pockels,  "Über die partielle Differentialgleichung <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d130/d130170/d13017078.png" /> und deren Auftreten in die mathematischen Physik"  ''Z. Math. Physik'' , '''37'''  (1892)  pp. 100–105</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  M. Reed,  B. Simon,  "Methods of modern mathematical physics IV: Analysis of operators" , Acad. Press  (1978)</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  H. Weyl,  "Ramifications, old and new, of the eigenvalue problem"  ''Bull. Amer. Math. Soc.'' , '''56'''  (1950)  pp. 115–139</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  H. Weyl,  "Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen"  ''Math. Ann.'' , '''71'''  (1911)  pp. 441–479</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  M.S. Ashbaugh,  R.D. Benguria,  "Isoperimetric inequalities for eigenvalue ratios" , ''Symp. Math.'' , '''35''' , Cambridge Univ. Press  (1994)  pp. 1–36</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  R. Bañuelos,  T. Carroll,  "Brownian motion and the fundamental frequency of a drum"  ''Duke Math. J.'' , '''75'''  (1994)  pp. 575–602</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  H. Brascamp,  E.H. Lieb,  "On extensions of the Brunn–Minkowski and Prékopa–Leindler theorem, including inequalities for log-concave functions, and with an application to the diffusion equation"  ''J. Funct. Anal.'' , '''22'''  (1976)  pp. 366–389</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  R. Courant,  D. Hilbert,  "Methoden der mathematischen Physik" , '''I''' , Springer  (1931)  (English transl.: Methods of mathematical physics, vol. I., Interscience, 1953)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  I. Chavel,  "Eigenvalues in Riemannian geometry" , ''Pure Appl. Math.'' , '''115''' , Acad. Press  (1984)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  E.B. Davies,  "Heat kernels and spectral theory" , ''Tracts in Math.'' , '''92''' , Cambridge Univ. Press  (1989)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  C. Gordon,  D. Webb,  S. Wolpert,  "Isospectral plane domains and surfaces via Riemannian orbifolds"  ''Invent. Math.'' , '''110'''  (1992)  pp. 1–22</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  M. Kac,  "Can one hear the shape of a drum?"  ''Amer. Math. Monthly'' , '''73''' :  4  (1966)  pp. 1–23</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  J.R. Kuttler,  V.G. Sigillito,  "Eigenvalues of the Laplacian in two dimensions"  ''SIAM Review'' , '''26'''  (1984)  pp. 163–193</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  P. Li,  S.T. Yau,  "On the Schrödinger equation and the eigenvalue problem"  ''Commun. Math. Phys.'' , '''88'''  (1983)  pp. 309–318</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  A.D. Melas,  "On the nodal line of the second eigenfunction of the Laplacian in $\mathbf{R} ^ { 2 }$"  ''J. Diff. Geom.'' , '''35'''  (1992)  pp. 255–263</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  R. Osserman,  "Isoperimetric inequalities and eigenvalues of the Laplacian" , ''Proc. Internat. Congress of Math. Helsinki'' , Acad. Sci. Fennica  (1978)  pp. 435–441</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  G. Polya,  "On the eigenvalues of vibrating membranes"  ''Proc. London Math. Soc.'' , '''11''' :  3  (1961)  pp. 419–433</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  G. Polya,  G. Szegö,  "Isoperimetric inequalities in mathematical physics" , ''Ann. of Math. Stud.'' , '''27''' , Princeton Univ. Press  (1951)</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  F. Pockels,  "Über die partielle Differentialgleichung $\Delta u + k ^ { 2 } u = 0$ und deren Auftreten in die mathematischen Physik"  ''Z. Math. Physik'' , '''37'''  (1892)  pp. 100–105</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  M. Reed,  B. Simon,  "Methods of modern mathematical physics IV: Analysis of operators" , Acad. Press  (1978)</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  H. Weyl,  "Ramifications, old and new, of the eigenvalue problem"  ''Bull. Amer. Math. Soc.'' , '''56'''  (1950)  pp. 115–139</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  H. Weyl,  "Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen"  ''Math. Ann.'' , '''71'''  (1911)  pp. 441–479</td></tr></table>

Latest revision as of 10:12, 16 March 2023

Consider a bounded domain $\Omega \subset \mathbf{R} ^ { n }$ with a piecewise smooth boundary $\partial \Omega$. $\lambda$ is a Dirichlet eigenvalue of $\Omega$ if there exists a function $u \in C ^ { 2 } ( \Omega ) \cap C ^ { 0 } ( \overline { \Omega } )$ (a Dirichlet eigenfunction) satisfying the following Dirichlet boundary value problem (cf. also Dirichlet boundary conditions):

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

\begin{equation} \tag{a2} u = 0 \text { in } \partial \Omega, \end{equation}

where $\Delta$ is the Laplace operator (i.e., $\Delta = \sum _ { i = 1 } ^ { n } \partial ^ { 2 } / \partial x _ { i } ^ { 2 }$). Dirichlet eigenvalues (with $n = 2$) were introduced in the study of the vibrations of the clamped membrane in the nineteenth century. In fact, they are proportional to the square of the eigenfrequencies of the membrane with fixed boundary. See [a9] for a review and historical remarks. Provided $\Omega$ is bounded and the boundary $\partial \Omega$ is sufficiently regular, the Dirichlet Laplacian has a discrete spectrum of infinitely many positive eigenvalues with no finite accumulation point [a15]:

\begin{equation} \tag{a3} 0 < \lambda _ { 1 } ( \Omega ) \leq \lambda _ { 2 } ( \Omega ) \leq \dots \end{equation}

($\lambda _ { k } \rightarrow \infty$ as $ k \rightarrow \infty$).

The Dirichlet eigenvalues are characterized by the max-min principle [a4]:

\begin{equation} \tag{a4} \lambda _ { k } = \operatorname { sup } \operatorname { inf } \frac { \int _ { \Omega } ( \nabla u ) ^ { 2 } d x } { \int _ { \Omega } u ^ { 2 } d x }, \end{equation}

where the $\operatorname{inf}$ is taken over all $u \in H _ { 0 } ^ { 1 } ( \Omega )$ orthogonal to $\varphi _ { 1 } , \dots , \varphi _ { k - 1 } \in H _ { 0 } ^ { 1 } ( \Omega )$, and the $\operatorname {sup}$ is taken over all choices of $\{ \varphi _ { i } \} _ { i = 1 } ^ { k - 1 }$. For simply-connected domains it follows from the max-min principle (a4) that $\lambda _ { 1 } ( \Omega )$ is non-degenerate and the corresponding eigenfunction $u_1$ is positive in the interior of $\Omega$. For higher values of $k$ the nodal lines of the $k$th eigenfunction divide $\Omega$ into no more than $k - 1$ subregions (nodal domains; this is Courant's nodal line theorem [a4]). Along this subject, notice the proof of A.D. Melas [a11] of the nodal line conjecture for plane domains (if $\Omega$ is a bounded, smooth, convex domain, the nodal line of $u_2$ always meets $\partial \Omega$).

Weyl asymptotics.

For large values of $k$, if $\Omega \subset \mathbf{R} ^ { n }$, H. Weyl [a17], [a18] proved

\begin{equation} \tag{a5} \lambda _ { k } \approx \frac { 4 \pi ^ { 2 } k ^ { 2 / n } } { ( C _ { n } | \Omega | ) ^ { 2 / n } }, \end{equation}

where $| \Omega |$ and $C _ { n } = \pi ^ { n / 2 } / \Gamma ( n / 2 + 1 )$ are, respectively, the volumes of $\Omega$ and of the unit ball in ${\bf R} ^ { n }$.

Pólya conjecture.

For any plane-covering domain (i.e., a domain that can be used to tile the plane without gaps, nor overlaps, allowing rotations, translations and reflections of itself), G. Pólya [a13] proved that

\begin{equation} \tag{a6} \lambda _ { k } \geq \frac { 4 \pi k } { A }\; \text { for } k = 1,2 , \ldots, \end{equation}

and conjectured the same bound for any bounded domain in $\mathbf{R} ^ { 2 }$ (here $A$ is the area of the domain). Pólya's conjecture in $n$ dimensions is equivalent to saying that the Weyl asymptotics of $\lambda _ { k }$, (a5), is a lower bound for $\lambda _ { k }$, i.e.,

\begin{equation} \tag{a7} \lambda _ { k } \geq \frac { 4 \pi ^ { 2 } k ^ { 2 / n } } { ( C _ { n } | \Omega | ) ^ { 2 / n } } \text { for } k = 1,2, \dots . \end{equation}

A result analogous to (a6) for the Neumann eigenvalues of tiling domains, with the sign of the equalities reversed, also holds (cf. also Neumann eigenvalue). The best result to date (2000) towards the proof of the Pólya conjecture is the bound [a10]

\begin{equation} \tag{a8} \sum _ { i = 1 } ^ { k } \lambda _ { i } \geq \frac { n } { n + 2 } \frac { 4 \pi ^ { 2 } k ^ { 1 + 2 / n } } { ( C _ { n } | \Omega | ) ^ { 2 / n } } k = 1,2 , \ldots , \end{equation}

proven using the asymptotic behaviour of the heat kernel of $\Omega$ (cf. also Heat equation) and the connection between the heat kernel and the Dirichlet eigenvalues of a domain (see, e.g., [a6] for a review and related results).

Kac problem.

Dirichlet eigenvalues are completely characterized by the geometry of the domain $\Omega$. The inverse problem, i.e., up to what extent the geometry of $\Omega$ can be recovered from the knowledge of $\{ \lambda _ { n } \} _ { n = 1 } ^ { \infty }$, was posed by M. Kac in [a8]. If $n = 2$, for example, and $\partial \Omega$ is smooth (in particular $\partial \Omega$ does not have corners), then the distribution function behaves as

\begin{equation} \tag{a9} \sum _ { k = 1 } ^ { \infty } e ^ { - \lambda _ { k } t } \approx \frac { A } { 4 \pi t } + \frac { L } { 8 \sqrt { \pi } t } + \frac { 1 } { 6 } ( 1 - r ) + O ( t ), \end{equation}

as $t \rightarrow 0$, where $A$ is the area, $L$ the perimeter and $r$ the number of holes of $\Omega$, so at least these features of the domain can be recovered from knowledge of all the eigenvalues (the first term in (a9) is just a consequence of Weyl's asymptotics). However, complete recovery of the geometry is impossible, as was later shown by C. Gordon, D. Web and S. Wolpert, who constructed two isospectral domains in $\mathbf{R} ^ { 2 }$ with different geometries [a7].

Eigenvalues and geometry.

The inverse of the square root of a Dirichlet eigenvalue is a length that may be compared with other characteristic lengths of the domain $\Omega$. A typical such comparison is the Rayleigh–Faber–Krahn inequality. Another inequality along these lines is the following: If $\Omega$ is a simply connected domain in $\mathbf{R} ^ { 2 }$ and $r _ { \Omega }$ is the radius of the largest disc contained in $\Omega$, then there is a universal constant $a$ such that

\begin{equation} \tag{a10} \lambda _ { 1 } ( \Omega ) \geq \frac { a } { r _ { \Omega } ^ { 2 } } \end{equation}

(as of 2000, the best, not yet optimal, constant in (a10) is $a = 0.6197$; see [a2] for details and historical facts). For other isoperimetric inequalities, see, e.g., [a1], [a12], [a14]. In the same vein, one can also compare Dirichlet and Neumann eigenvalues (see Neumann eigenvalue).

Because of the connection between potential theory and Brownian motion, it is possible to use probabilistic methods to find properties of Dirichlet eigenvalues. One such property was found by H. Brascamp and E.H. Lieb [a3] for $\lambda _ { 1 }$: If $\Omega _ { 1 }$ and $\Omega _ { 2 }$ are domains in ${\bf R} ^ { n }$, and one sets $\Omega _ { t } = t \Omega _ { 1 } + ( 1 - t ) \Omega _ { 2 }$, then $\lambda _ { 1 } ( \Omega _ { t } ) \leq t \lambda _ { 1 } ( \Omega _ { 1 } ) + ( 1 - t ) \lambda _ { 2 } ( \Omega _ { 2 } )$ for all $t \in ( 0,1 )$. Another example of the use of probabilistic methods is the proof of (a10) by R. Bañuelos and T. Carroll [a2].

To conclude, note that it is possible to define Dirichlet eigenvalues for much more general domains in ${\bf R} ^ { n }$ (see, e.g., [a16], p. 263), and also for the Laplace–Beltrami operator defined on domains in Riemannian manifolds (see, e.g., [a5]).

References

[a1] M.S. Ashbaugh, R.D. Benguria, "Isoperimetric inequalities for eigenvalue ratios" , Symp. Math. , 35 , Cambridge Univ. Press (1994) pp. 1–36
[a2] R. Bañuelos, T. Carroll, "Brownian motion and the fundamental frequency of a drum" Duke Math. J. , 75 (1994) pp. 575–602
[a3] H. Brascamp, E.H. Lieb, "On extensions of the Brunn–Minkowski and Prékopa–Leindler theorem, including inequalities for log-concave functions, and with an application to the diffusion equation" J. Funct. Anal. , 22 (1976) pp. 366–389
[a4] R. Courant, D. Hilbert, "Methoden der mathematischen Physik" , I , Springer (1931) (English transl.: Methods of mathematical physics, vol. I., Interscience, 1953)
[a5] I. Chavel, "Eigenvalues in Riemannian geometry" , Pure Appl. Math. , 115 , Acad. Press (1984)
[a6] E.B. Davies, "Heat kernels and spectral theory" , Tracts in Math. , 92 , Cambridge Univ. Press (1989)
[a7] C. Gordon, D. Webb, S. Wolpert, "Isospectral plane domains and surfaces via Riemannian orbifolds" Invent. Math. , 110 (1992) pp. 1–22
[a8] M. Kac, "Can one hear the shape of a drum?" Amer. Math. Monthly , 73 : 4 (1966) pp. 1–23
[a9] J.R. Kuttler, V.G. Sigillito, "Eigenvalues of the Laplacian in two dimensions" SIAM Review , 26 (1984) pp. 163–193
[a10] P. Li, S.T. Yau, "On the Schrödinger equation and the eigenvalue problem" Commun. Math. Phys. , 88 (1983) pp. 309–318
[a11] A.D. Melas, "On the nodal line of the second eigenfunction of the Laplacian in $\mathbf{R} ^ { 2 }$" J. Diff. Geom. , 35 (1992) pp. 255–263
[a12] R. Osserman, "Isoperimetric inequalities and eigenvalues of the Laplacian" , Proc. Internat. Congress of Math. Helsinki , Acad. Sci. Fennica (1978) pp. 435–441
[a13] G. Polya, "On the eigenvalues of vibrating membranes" Proc. London Math. Soc. , 11 : 3 (1961) pp. 419–433
[a14] G. Polya, G. Szegö, "Isoperimetric inequalities in mathematical physics" , Ann. of Math. Stud. , 27 , Princeton Univ. Press (1951)
[a15] F. Pockels, "Über die partielle Differentialgleichung $\Delta u + k ^ { 2 } u = 0$ und deren Auftreten in die mathematischen Physik" Z. Math. Physik , 37 (1892) pp. 100–105
[a16] M. Reed, B. Simon, "Methods of modern mathematical physics IV: Analysis of operators" , Acad. Press (1978)
[a17] H. Weyl, "Ramifications, old and new, of the eigenvalue problem" Bull. Amer. Math. Soc. , 56 (1950) pp. 115–139
[a18] H. Weyl, "Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen" Math. Ann. , 71 (1911) pp. 441–479
How to Cite This Entry:
Dirichlet eigenvalue. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dirichlet_eigenvalue&oldid=14188
This article was adapted from an original article by Rafael D. Benguria (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article