Dirichlet eigenvalue
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 λ

(1)
Here Δ is the Laplacian, which is given in xycoordinates by
The boundary value problem (1) is, of course, 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 LaplaceBeltrami operator, also with Dirichlet boundary conditions.
It can be shown, using the spectral theorem for compact selfadjoint operators that the eigenspaces are finitedimensional and that the Dirichlet eigenvalues λ are real, positive, and have no limit point. Thus they can be arranged in increasing order:
where each eigenvalue is counted according to its geometric multiplicity. The eigenspaces are orthogonal in the space of squareintegrable functions, and consist of smooth functions. In fact, the Dirichlet Laplacian has a continuous extension to an operator from the Sobolev space into . This operator is invertible, and its inverse is compact and selfadjoint 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 maxmin principle: the first eigenvalue λ_{1} minimizes the Dirichlet energy. To wit,
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 . Moreover, using results from the calculus of variations analogous to the Lax–Milgram theorem, one can show that a minimizer exists in . More generally, one has
where the supremum is taken over all (k−1)tuples and the infimum over all u orthogonal to the φ_{i}.
Applications
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 doubleclad 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 circularlysymmetric domain^{[1]}^{[2]} ,.^{[3]} The modes of pump should not avoid the active core used in doubleclad fiber amplifiers. The spiralshaped 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 nonzero 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 steadystate 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 doubleclad fibers". Optics Communications. 99 (56): 331–335. Bibcode:1993OptCo..99..331B. doi:10.1016/00304018(93)903386.
 ^ Leproux, P.; S. Fevrier; V. Doya; P. Roy; D. Pagnoux (2003). "Modeling and optimization of doubleclad 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 doubleclad fibers". Optics Communications. 132 (56): 511–518. Bibcode:1996OptCo.132..511A. doi:10.1016/00304018(96)003689.
 ^ ^{a} ^{b} 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", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 9781556080104.
 Chavel, Isaac (1984). Eigenvalues in Riemannian geometry. Pure Appl. Math. 115. Academic Press. ISBN 0121706400..
 Courant, Richard; Hilbert, David (1962). Methods of Mathematical Physics, Volume I. WileyInterscience..