| Hearing The Shape Of A Drum |
Article Index for Hearing |
Website Links For Hearing |
Information AboutHearing The Shape Of A Drum |
| CATEGORIES ABOUT HEARING THE SHAPE OF A DRUM | |
| partial differential equations | |
| spectral theory | |
|
Somewhat more formally, we are given a Domain ''D'', typically in the Plane but sometimes in higher Dimension , and the Eigenvalue s of a Dirichlet Problem for the Laplacian , which we will denote by λ''n''. The question is: what can be inferred on ''D'' if one knows only the values of λ''n''? THE ANSWER Almost immediately, Milnor produced a pair of 16-dimensional tori that have the same eigenvalues but different shapes. However, the problem in two dimensions remained open until 1992 , when Gordon, Webb, and Wolpert constructed a pair of regions in the plane that have different shapes but identical eigenvalues. The regions are non- Convex Polygon s (see picture). The proof that both regions have the same eigenvalues is rather elementary and uses the symmetries of the Laplacian. This idea has been generalized by Buser et al., who constructed numerous similar examples. So, the answer to Kac' question is: for many shapes, one cannot hear the shape of the drum ''completely''. However, some information can be inferred. On the other hand, Zelditch proved that the answer to Kac' question is positive if one restrict oneself to certain Convex planar regions with Analytic boundary. It is not known whether two nonconvex analytic domains can have the same eigenvalues. WEYL'S FORMULA Weyl's formula states that one can infer the area ''V'' of the drum by counting how many of the λ''n''s are quite small. We define ''N''(''R'') to be the number of eigenvalues smaller than ''R'' and we get : where ''d'' is the dimension. Weyl also conjectured that the next term in the approximation below would give the perimeter of ''D''. In other words, if ''A'' denotes the length of the perimeter (or the surface area in higher dimension), then one should have : where ''c'' is some constant that depends only on the dimension. For smooth boundary, this was proved by V. Ja. Ivrii in 1980. THE WEYL-BERRY CONJECTURE For non-smooth boundaries, Berry conjectured in 1979 that the correction should be of the order of : where ''D'' is the Hausdorff Dimension of the boundary. This was disproved by J. Brossard and R. A. Carmona, who then suggested one should replace the Hausdorff dimension with the Upper Box Dimension . In the plane, this was proved if the boundary has dimension 1 ( 1993 ), but mostly disproved for higher dimensions ( 1996 ). Both results are by Lapidus and Pomerance . REFERENCES
|
|
|