Skip to main content
1 of 12
Emilio Pisanty
  • 2.4k
  • 23
  • 36

Can one hear the sound of a drum by choosing where to drum it?

I find the problem of hearing the shape of a drum fascinating. Specifically, given two connected subsets of $\mathbb R^2$ with piecewise-smooth boundaries (or a suitable generalization to a riemannian manifold) it is in general impossible to use the spectrum of the laplacian to uniquely identify the shape of the domain.

As a simple example, reported in the Wikipedia link above, these two shapes

enter image description here

have identical laplacian spectra, as explained more at length by Gordon and Webb in Scientific American 84, 46. This can be shown by taking any eigenfunction $\varphi$ on $D_1$, cutting it up into the marked triangle regions, and taking the specified linear combinations on $D_2$ to make a laplacian eigenfunction with the same boundary conditions, correct matching at the internal boundaries, and the same eigenvalue.

What bugs me about this problem is that the spectrum is not really what you hear on a real-world drum. More specifically, the spectrum gives you the frequencies of the fundamentals and overtones that the drum is allowed to produce, but it does not tell you in what proportions it will do so. If you hit a circular drum in the centre, you will excite a large amplitude of the fundamental, resulting in a deeper sound, but if you drum it near the edge you will produce a rapping sound with a stronger proportion of higher overtones.

The set of sounds that a drum can produce is therefore better modelled by the pair of

  • its Laplace-Beltrami spectrum, together with
  • the set of functions $x\mapsto(|\varphi_n(x)|)_{n=1}^\infty$, with $x$ ranging over the drum $D$ and with $\varphi_n$ the Laplace-Beltrami eigenfunctions. (A global normalization factor on each $(|\varphi_n(x)|)_{n=1}^\infty$ is obviously ignorable.)

In this paradigm, two isospectral surfaces $D_1$ and $D_2$ would still be 'acoustically distinguishable' if, say, $D_1$ contains a point $x^*$ such that the set of eigenfunction weights $(|\varphi_n^{(1)}(x^*)|)_{n=1}^\infty$ at $x^*$ is not matched by the eigenfunction weights $(|\varphi_n^{(2)}(y)|)_{n=1}^\infty$ of any $y\in D_2$. In other words, you can't see the drum, and you can't see where the drummer is hitting it, but if drummer 1 can produce a sound that drummer 2 cannot, then the drums must be different.

So, to come to my question: has this paradigm been explored in the literature? For the known isospectral-but-not-isomorphic regions (or more complex manifolds), are any pairs known to be "acoustically (in)distinguishable"? Does this concept have an established name in the literature? If it has been explored, are there good introductory surveys (say, pitched at a level where a physicist might understand them)? If it hasn't, are there fundamental reasons why this is a much harder problem overall?

Emilio Pisanty
  • 2.4k
  • 23
  • 36