Disquisitiones Mathematicae

Matheus' Weblog
Ažurirano: prije 29 tjedana 2 dana

Spectral rigidity of almost circular ellipses (after Hezari–Zelditch)

Pon, 2021-05-03 10:56

In 1966, M. Kac wrote a famous article asking whether Can one hear the shape of drum?: mathematically speaking, one wants to reconstruct (up to isometries) a domain from the knowledge of the spectrum of its Laplacian.

In his article, M. Kac showed that one can hear the shape of a disk because of the following two facts:

• the area and the perimeter of a smooth domain are determined by the eigenvalues of its Laplacian via the asymptotics of the trace of the heat operator:
• the isoperimetric inequality says that we can recognise the disk from its perimeter and area: indeed, any smooth domain satisfies , and the equality holds if and only if is isometric to a disk of radius .

(In particular, a smooth domain with the same Laplace eigenvalues of has area and perimeter , so that the isoperimetric inequality ensures that and are isometric.)

In a preprint from 2019, Hezari and Zelditch showed that one can also hear the shape of an ellipse of small eccentricity . As it is explained by Zelditch in this video here, a first-order approximation to their basic strategy to hear ellipses of small eccentricities is to replace “trace of the heat operator” and “isoperimetric inequality” in Kac’s argument by “trace of the wave operator” and “dynamical rigidity of ellipses”.

More concretely, Hezari and Zelditch considered a smooth domain which is isospectral to an ellipse (i.e., for all ) of small eccentricity , and they took the following steps:

• in Section 2 of their paper, it is shown that is necessarily close to ; in fact, after parametrising with an arc-length parameter , we can control the -norms of the derivatives of the curvature of from the asymptotics of the trace of the heat operator: indeed,whereand, in general, for a certain constant and an adequate “universal” polynomial (here, is the -th derivative of with respect to ); in particular, since and are isospectral, for all , and Melrose explored this fact to get a pre-compactness bound  for all (via a bootstrap argument where the Poincaré inequality and the Sobolev embedding theorem are employed to convert bounds on , , into bounds on , , ); in other terms, after Melrose, the shape of any isospectral to is bounded; by reworking Melrose’s argument, Hezari and Zelditch actually show that is almost circular in the sense that for all ;
• in view of a theorem of Avila, de Simoi and Kaloshin, an almost circular domain is isometric to an ellipse provided  is rationally integrable, i.e., for each , the periodic trajectories with rotation number  in the billiard table determined by are tangent to a smooth convex curve (usually called caustic);
• in Sections 3 to 6 of their paper, it is shown that the portion between and of the singular support of the trace of the wave operator  coincides with the set of lengths of periodic trajectories with rotation number , , in an almost circular billiard table ; in particular, if is isospectral to , one concludes (in Section 7 of their paper) that, for each , all periodic trajectories in with rotation number have the same length and they form a caustic, so that is rationally integrable (and, a fortiori, isometric to after Avila–de Simoi–Kaloshin).

A natural question raised by Hezari–Zelditch work is to determine the magnitude of the upper bound on the eccentricities of the ellipses which can be heard from their methods.

In this direction, I would like to conclude this short post by noticing that I asked a group of 6 undergraduate students (in their 2nd year) at \’Ecole Polytechnique to follow closely the articles by Avila–de Simoi–Kaloshin and Hezari–Zelditch (while trying to explicitly compute as many implied constants as possible), and, after 6 months of work, they produced this report here (in French) concluding that is not bigger than . (Of course, there is plenty of room for tiny improvements here, but one will probably need some new ideas before reaching a “normal size” [e.g., ].)

Kategorije: Matematički blogovi