In mathematics, the Dirichlet eigenvalues are the fundamental modes of vibration of an idealized drum with a given shape. The problem of whether one can hear the shape of a drum is: given the Dirichlet eigenvalues, what features of the shape of the drum can one deduce. Here a "drum" is thought of as an elastic membrane Ω, which is represented as a planar domain whose boundary is fixed. The Dirichlet eigenvalues are found by solving the following problem for an unknown function u ≠ 0 and eigenvalue λ
\( {\begin{cases}\Delta u+\lambda u=0&{\rm {{in\ }\Omega }}\\u|_{{\partial \Omega }}=0.&\end{cases}} \) (1)
Here Δ is the Laplacian, which is given in xy-coordinates by
\( \Delta u={\frac {\partial ^{2}u}{\partial x^{2}}}+{\frac {\partial ^{2}u}{\partial y^{2}}}. \)
The boundary value problem (1) is the Dirichlet problem for the Helmholtz equation, and so λ is known as a Dirichlet eigenvalue for Ω. Dirichlet eigenvalues are contrasted with Neumann eigenvalues: eigenvalues for the corresponding Neumann problem. The Laplace operator Δ appearing in (1) is often known as the Dirichlet Laplacian when it is considered as accepting only functions u satisfying the Dirichlet boundary condition. More generally, in spectral geometry one considers (1) on a manifold with boundary Ω. Then Δ is taken to be the Laplace–Beltrami operator, also with Dirichlet boundary conditions.
It can be shown, using the spectral theorem for compact self-adjoint operators that the eigenspaces are finite-dimensional and that the Dirichlet eigenvalues λ are real, positive, and have no limit point. Thus they can be arranged in increasing order:
\( 0<\lambda _{1}\leq \lambda _{2}\leq \cdots ,\quad \lambda _{n}\to \infty , \)
where each eigenvalue is counted according to its geometric multiplicity. The eigenspaces are orthogonal in the space of square-integrable functions, and consist of smooth functions. In fact, the Dirichlet Laplacian has a continuous extension to an operator from the Sobolev space \( H_{0}^{2}(\Omega ) \) into \( L^2(\Omega) \). This operator is invertible, and its inverse is compact and self-adjoint so that the usual spectral theorem can be applied to obtain the eigenspaces of Δ and the reciprocals 1/λ of its eigenvalues.
One of the primary tools in the study of the Dirichlet eigenvalues is the max-min principle: the first eigenvalue λ1 minimizes the Dirichlet energy. To wit,
\( \lambda _{1}=\inf _{{u\not =0}}{\frac {\int _{\Omega }|\nabla u|^{2}}{\int _{\Omega }|u|^{2}}}, \)
the infimum is taken over all u of compact support that do not vanish identically in Ω. By a density argument, this infimum agrees with that taken over nonzero \( u\in H_{0}^{1}(\Omega ) \). Moreover, using results from the calculus of variations analogous to the Lax–Milgram theorem, one can show that a minimizer exists in \( H_0^1(\Omega) \). More generally, one has
\( \lambda _{k}=\sup \inf {\frac {\int _{\Omega }|\nabla u|^{2}}{\int _{\Omega }|u|^{2}}} \)
where the supremum is taken over all (k−1)-tuples \( \phi _{1},\dots ,\phi _{{k-1}}\in H_{0}^{1}(\Omega ) \) and the infimum over all u orthogonal to the \( \phi _{i}. \)
Applications
Fig.1. Spiral-shaped boundary of the domain (blue), its chunk (red), and 3 segments of a ray (green).
The Dirichlet Laplacian may arise from various problems of mathematical physics; it may refer to modes of at idealized drum, small waves at the surface of an idealized pool, as well as to a mode of an idealized optical fiber in the paraxial approximation. The last application is most practical in connection to the double-clad fibers; in such fibers, it is important, that most of modes of the fill the domain uniformly, or the most of rays cross the core. The poorest shape seems to be the circularly-symmetric domain[1][2] ,.[3] The modes of pump should not avoid the active core used in double-clad fiber amplifiers. The spiral-shaped domain happens to be especially efficient for such an application due to the boundary behavior of modes of Dirichlet laplacian.[4]
The theorem about boundary behavior of the Dirichlet Laplacian if analogy of the property of rays in geometrical optics (Fig.1); the angular momentum of a ray (green) increases at each reflection from the spiral part of the boundary (blue), until the ray hits the chunk (red); all rays (except those parallel to the optical axis) unavoidly visit the region in vicinity of the chunk to frop the excess of the angular momentum. Similarly, all the modes of the Dirichlet Laplacian have non-zero values in vicinity of the chunk. The normal component of the derivative of the mode at the boundary can be interpreted as pressure; the pressure integrated over the surface gives the force. As the mode is steady-state solution of the propagation equation (with trivial dependence of the longitudinal coordinate), the total force should be zero. Similarly, the angular momentum of the force of pressure should be also zero. However, there exists a formal proof, which does not refer to the analogy with the physical system.[4]
Notes
S. Bedo; W. Luthy; H. P. Weber (1993). "The effective absorption coefficient in double-clad fibers". Optics Communications. 99 (5–6): 331–335. Bibcode:1993OptCo..99..331B. doi:10.1016/0030-4018(93)90338-6.
Leproux, P.; S. Fevrier; V. Doya; P. Roy; D. Pagnoux (2003). "Modeling and optimization of double-clad fiber amplifiers using chaotic propagation of pump". Optical Fiber Technology. 7 (4): 324–339. Bibcode:2001OptFT...7..324L. doi:10.1006/ofte.2001.0361.
A. Liu; K. Ueda (1996). "The absorption characteristics of circular, offset, and rectangular double-clad fibers". Optics Communications. 132 (5–6): 511–518. Bibcode:1996OptCo.132..511A. doi:10.1016/0030-4018(96)00368-9.
Kouznetsov, D.; Moloney, J.V. (2004). "Boundary behavior of modes of Dirichlet laplacian". Journal of Modern Optics. 51 (13): 1955–1962. Bibcode:2004JMOp...51.1955K. doi:10.1080/09500340408232504.
References
Benguria, Rafael D. (2001) [1994], "Dirichlet eigenvalues", Encyclopedia of Mathematics, EMS Presss.
Chavel, Isaac (1984). Eigenvalues in Riemannian geometry. Pure Appl. Math. 115. Academic Press. ISBN 978-0-12-170640-1..
Courant, Richard; Hilbert, David (1962). Methods of Mathematical Physics, Volume I. Wiley-Interscience..
vte
Functional analysis (topics – glossary)
Spaces
Hilbert space Banach space Fréchet space topological vector space
Theorems
Hahn–Banach theorem closed graph theorem uniform boundedness principle Kakutani fixed-point theorem Krein–Milman theorem min-max theorem Gelfand–Naimark theorem Banach–Alaoglu theorem
Operators
bounded operator compact operator adjoint operator unitary operator Hilbert–Schmidt operator trace class unbounded operator
Algebras
Banach algebra C*-algebra spectrum of a C*-algebra operator algebra group algebra of a locally compact group von Neumann algebra
Open problems
invariant subspace problem Mahler's conjecture
Applications
Besov space Hardy space spectral theory of ordinary differential equations heat kernel index theorem calculus of variation functional calculus integral operator Jones polynomial topological quantum field theory noncommutative geometry Riemann hypothesis
Advanced topics
locally convex space approximation property balanced set Schwartz space weak topology barrelled space Banach–Mazur distance Tomita–Takesaki theory
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License