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 λHere Δ is the Laplacian, which is given in xy-coordinates by
\Deltau=
\partial2u | |
\partialx2 |
+
\partial2u | |
\partialy2 |
.
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<λ1\leλ2\le … , λn\toinfty,
2 | |
H | |
0(\Omega) |
L2(\Omega)
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,
λ1=infu\not=0
\int\Omega|\nablau|2 | |
\int\Omega|u|2 |
,
u\in
1(\Omega) | |
H | |
0 |
1(\Omega) | |
H | |
0 |
λk=\supinf
\int\Omega|\nablau|2 | |
\int\Omega|u|2 |
\phi1,...,\phik-1\in
1 | |
H | |
0(\Omega) |
\phii
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 theboundary 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 theangular momentum. Similarly, all the modes of the Dirichlet Laplacian have non-zero values in vicinity of the chunk. The normal component of the derivativeof the mode at the boundary can be interpreted as pressure; the pressure integrated over the surface gives the force. As the mode is steady-statesolution 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]