Gordon Carolyn

Imaginez deux tambours dont les contours ne se ressemblent pas. On peut pourtant leur associer la même liste de fréquences de vibration : leur spectre est alors identique. Cette surprise est au cœur des travaux de Carolyn Gordon sur la géométrie isospectrale. Elle montre que les sons produits par un objet ne suffisent pas toujours à retrouver sa forme.

La géométrie isospectrale étudie des objets géométriques qui ont le même spectre pour un opérateur donné, tout en pouvant avoir des formes différentes. Dans le problème du tambour, on considère, pour chaque région plane, le laplacien euclidien avec les mêmes conditions de Dirichlet au bord. Son spectre est la collection de ses valeurs propres, tandis que les fréquences de vibration qui en dérivent leur sont liées par une racine carrée, à un facteur physique près. Deux régions sont dites isospectrales lorsque leurs valeurs propres coïncident, avec leurs multiplicités, dans ce cadre fixé.

La question de Mark Kac, posée en 1966, demandait si ce spectre déterminait la forme d'un tambour. Carolyn Gordon, David Webb et Scott Wolpert ont construit en 1992, dans le plan euclidien, deux régions de formes différentes et de spectres identiques. Cette construction fournit donc une réponse négative à la question. Le phénomène ne signifie pas que toutes les formes ont le même spectre : il établit seulement que l'information spectrale ne permet pas toujours une reconstruction unique.

Pour lire le cas sans reconstruire la construction historique, retenons trois observations bornées de 1992 : les deux régions ont des contours différents ; elles sont comparées avec le même laplacien euclidien et les mêmes conditions de Dirichlet au bord ; leurs collections de valeurs propres, multiplicités comprises, sont identiques. Ce relevé permet de distinguer la différence de forme, le cadre commun et le résultat spectral, mais il ne constitue ni une description complète de la construction ni une preuve indépendante.

Voici la lecture conceptuelle du cas, et non un calcul refaisable à partir de données fournies ici :
1. On relève que les contours des deux régions ne coïncident pas.
2. On relève qu'elles sont associées au même problème spectral : le laplacien euclidien avec des conditions de Dirichlet au bord.
3. Dans une vérification complète, on comparerait les valeurs propres avec leurs multiplicités.
4. Le résultat attribué à la construction est que les deux collections coïncident. Aucune table de valeurs n'est fournie dans ce guide : ces étapes expliquent le raisonnement à suivre, sans permettre de refaire le contrôle.

Le résultat est une paire de régions isospectrales : la forme n'est pas la même, mais le spectre est identique. La lecture distingue séparément la différence des contours et l'égalité des collections spectrales ; une seule de ces observations ne suffit pas à établir la propriété.

En physique mathématique, on compare les fréquences propres d'un domaine ou d'une variété à celles d'un autre objet. Le geste consiste à comparer les spectres, puis à vérifier si les formes sont ou non déterminées par cette information.

En géométrie, les constructions isospectrales servent à tester ce que des invariants spectraux permettent réellement de reconnaître. Lorsque le spectre ne suffit pas, la forme complète doit être étudiée par d'autres invariants géométriques.

Il ne faut pas confondre des objets isospectraux avec des objets de même forme. Le critère qui tranche est la comparaison des contours : deux régions peuvent avoir le même spectre tout en présentant des formes différentes, comme dans la construction de Gordon, Webb et Wolpert.

Il ne faut pas non plus confondre spectre identique et fréquence isolée identique. L'isospectralité concerne la collection spectrale complète, avec ses multiplicités ; une seule fréquence commune ne suffit pas à établir la propriété.

Le piège principal est de transformer la réponse de Gordon en affirmation universelle. La construction de 1992 montre qu'il existe au moins une paire de régions de formes différentes et de spectres identiques ; elle ne dit pas que toute paire de tambours partage son spectre.

Un autre piège consiste à oublier le cadre de comparaison. Le spectre dépend de l'opérateur considéré, de la structure géométrique étudiée et, pour une région à bord, des conditions imposées sur ce bord. Il faut donc préciser qu'il s'agit ici du laplacien euclidien avec des conditions de Dirichlet au bord, puis conserver le même opérateur et les mêmes conditions pour les deux régions.

Enfin, des formes différentes ne constituent pas à elles seules une preuve d'isospectralité. Le symptôme d'une conclusion trop rapide est l'absence de comparaison de la collection complète des valeurs spectrales et de leurs multiplicités.

Le phénomène ne s'arrête pas aux régions planes. Dans d'autres travaux, Carolyn Gordon étudie des variétés riemanniennes isospectrales pour le laplacien, notamment dans des cadres euclidiens ou hyperboliques ; l'objet comparé est alors la collection des valeurs propres, avec ses multiplicités. D'autres questions portent sur les classes d'homologie ou sur les longueurs des géodésiques et le flot géodésique : ces données géométriques et dynamiques sont distinctes du spectre du laplacien et ne constituent pas une seule notion d'isospectralité.