Some Plancherel identities for unbounded subsets of $\mathbb R$ in duality

Cet article établit des identités de type Plancherel et démontre la surjectivité de la transformée de Fourier entre certains ensembles de pavage non bornés de $\mathbb{R}$ en dualité, confirmant ainsi qu'un ouvert pavant $\mathbb{R}$ par l'ensemble fini $\{0,1,\dots,p-1\}$ admet un spectre donné par la mesure de Lebesgue sur $\left[-\tfrac{1}{2p}, \tfrac{1}{2p}\right] + \mathbb{Z}$.

L'essentiel

🎵 Le Puzzle Infini : Quand les Formes et les Sons S'entendent

Imaginez que vous êtes un architecte dans un monde infini (la droite des nombres réels, notée R). Vous avez deux missions apparemment très différentes :

1. Le Puzzle (Tiling) : Vous devez recouvrir tout le sol infini avec des pièces de puzzle (votre forme $\Omega$) sans aucun trou et sans qu'elles ne se chevauchent.
2. La Musique (Spectral) : Vous devez trouver une "partition musicale" (un ensemble de fréquences) qui permet de décrire parfaitement votre forme, comme si chaque note de musique correspondait à une partie de votre puzzle.

La grande question de Fuglede (1974) :
Il y a longtemps, un mathématicien nommé Fuglede a posé une question fascinante : Est-ce que toute forme capable de recouvrir le sol (puzzle) peut aussi être décrite par une partition musicale parfaite ? Et l'inverse est-il vrai ?

En dimensions supérieures (3D et plus), la réponse est "Non". Mais en 1D (sur une ligne), c'est un mystère qui résiste depuis des décennies.

🧩 La Nouvelle Découverte de Chakraborty et Dutkay

Dans cet article, les auteurs se concentrent sur des formes infinies (qui ne s'arrêtent jamais) et découvrent une règle très précise pour un type de puzzle particulier.

L'Analogie du Train et des Voies

Imaginons que votre forme $\Omega$ est un train qui roule sur une voie infinie.

1. Le Puzzle (Le Tiling) :
   Les auteurs disent : "Si votre train peut recouvrir toute la ligne en utilisant uniquement des wagons placés aux positions 0, 1, 2, ..., p-1 (où $p$ est un nombre entier, disons 5), alors votre train a une propriété magique."

   • En langage simple : Si vous pouvez empiler des copies de votre forme en décalant de 0, 1, 2, 3 ou 4 unités pour remplir tout l'univers, alors vous êtes un "puzzle parfait".

2. La Musique (Le Spectre) :
   La magie, c'est que si votre train est un puzzle parfait avec ces décalages précis, alors il possède une "partition musicale" unique.

   • Cette partition n'est pas n'importe quoi. C'est une série de notes très spécifiques, regroupées dans de petits intervalles répétés à l'infini.
   • Imaginez une horloge qui ne sonne que toutes les $p$ heures, mais avec une précision incroyable. La "musique" de votre forme résonne exactement sur ces intervalles précis.

La Révélation : L'Équivalence Parfaite

Le théorème principal de l'article dit simplement :

Une forme infinie est un "puzzle parfait" (elle remplit l'espace avec des décalages 0 à p-1) SI ET SEULEMENT SI elle possède cette "partition musicale" spécifique.

C'est comme dire : "Si tu peux construire un mur infini avec des briques de taille 1 en les décalant de 0 à 4, alors ton mur résonne exactement comme un diapason accordé sur une fréquence très particulière."

🔍 Comment ont-ils prouvé cela ? (La Méthode des "Zooms")

Pour prouver ce lien, les auteurs ont utilisé une astuce ingénieuse, comme un zoom photographique :

1. Le Grand Zoom (L'Infini) : Ils regardent d'abord la forme infinie. C'est trop grand pour analyser directement.
2. Le Zoom Intermédiaire (Les Blocs) : Ils découpent l'infini en gros blocs finis (des segments de taille $p \times (2n+1)$). Ils montrent que pour ces blocs finis, la règle du puzzle et la règle de la musique fonctionnent déjà ensemble. C'est comme vérifier que les pièces d'un petit puzzle s'emboîtent bien.
3. Le Zoom Arrière (La Limite) : Ensuite, ils laissent ces blocs grandir pour redevenir infinis. Ils utilisent une formule mathématique célèbre (l'identité de Plancherel) qui est un peu comme une balance de précision.
   • Cette balance compare la "taille" de la forme dans l'espace réel (le puzzle) avec la "taille" de sa musique dans l'espace des fréquences.
   • Ils montrent que si le puzzle est parfait, la balance est toujours à l'équilibre, peu importe la taille du bloc.

🌟 Pourquoi est-ce important ?

Avant cet article, on connaissait bien les puzzles finis (des formes qui s'arrêtent). Mais les formes infinies étaient un terrain de jeu dangereux et mal compris.

Cet article dit : "Ne vous inquiétez pas, même pour les formes infinies, il existe des règles claires."
Ils ont trouvé une nouvelle classe de formes infinies qui obéissent parfaitement à la règle de Fuglede. C'est comme découvrir une nouvelle espèce d'oiseau dans une forêt qu'on pensait vide.

En Résumé (La Morale de l'Histoire)

Imaginez que l'univers est une immense toile de fond.

• Si vous pouvez y coller votre forme en utilisant un motif répétitif simple (des décalages 0, 1, 2...), alors votre forme "chante" une chanson très précise.
• Inversement, si votre forme "chante" cette chanson précise, alors elle est capable de recouvrir l'univers sans laisser de trous.

Les auteurs ont prouvé que pour les formes infinies sur une ligne, le puzzle et la musique sont deux faces d'une même pièce. C'est une belle harmonie entre la géométrie (la forme) et l'analyse (le son).

Résumé technique

Voici un résumé technique détaillé de l'article « Some Plancherel identities for unbounded subsets of R in duality » par Piyali Chakraborty et Dorin Ervin Dutkay, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la conjecture de Fuglede (1974), qui postule qu'un sous-ensemble mesurable $\Omega \subset \mathbb{R}^d$ de mesure finie est spectral (c'est-à-dire qu'il admet une base orthogonale d'exponentielles complexes dans $L^2(\Omega)$) si et seulement s'il tisse (ou pavé) $\mathbb{R}^d$ par translation.

Bien que cette conjecture ait été réfutée pour les dimensions $d \ge 3$ (Tao, 2004) et reste vraie pour certains domaines convexes, l'article se concentre sur le cas unidimensionnel ($d=1$) et sur des ensembles de mesure infinie.

Le problème central est d'établir une équivalence entre le pavage et la spectralité pour des sous-ensembles ouverts non bornés de $\mathbb{R}$, en utilisant la notion de paires spectrales introduite par Steen Pedersen (1987). Pour les ensembles de mesure infinie, la définition spectrale doit être adaptée : au lieu d'une mesure de comptage sur un spectre discret, on considère une mesure $\mu$ telle que la transformée de Fourier restreinte à $\text{supp}(\mu)$ soit un isomorphisme isométrique de $L^2(\Omega)$ vers $L^2(\mu)$.

L'objectif spécifique est de caractériser les ensembles $\Omega \subset \mathbb{R}$ qui pavent $\mathbb{R}$ par un ensemble fini de translations $\{0, 1, \dots, p-1\}$ (où $p \in \mathbb{N}, p \ge 2$) et de déterminer la mesure duale correspondante.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse harmonique, la théorie des opérateurs et des techniques de construction itérative. La méthodologie repose sur les étapes suivantes :

1. Décomposition par translation :
   Si $\Omega$ pave $\mathbb{R}$ par $\{0, \dots, p-1\}$, les auteurs définissent un ensemble fondamental $\Omega_0 = \Omega \cap [0, p)$. Ils démontrent que $\Omega$ est la réunion disjointe (à mesure près) des translates $\Omega_0 + pk$ pour $k \in \mathbb{Z}$. De plus, $\Omega_0$ pave $\mathbb{R}$ par $\mathbb{Z}$, ce qui implique que $\Omega_0$ est congru à $[0, 1)$ modulo $\mathbb{Z}$.

2. Approximation par des ensembles bornés :
   Pour traiter la mesure infinie, les auteurs construisent une suite croissante d'ensembles bornés $\Omega_n = \Omega_0 + p\{-n, \dots, n\}$. Chaque $\Omega_n$ pave un sous-ensemble de $\mathbb{R}$ par un réseau discret.

3. Utilisation du Lemme de Spectralité (Lemme 2.7) :
   Ils appliquent un critère de spectralité basé sur la somme des carrés des transformées de Fourier d'une mesure. Pour un ensemble $\Omega_n$, ils montrent que le spectre est donné par un réseau décalé et redimensionné :
   $$\Lambda_n = \frac{1}{p(2n+1)}\{-n, \dots, n\} + \mathbb{Z}$$

4. Passage à la limite et Identités de Plancherel :
   En faisant tendre $n \to \infty$, les réseaux $\Lambda_n$ convergent vers la structure continue $h - \frac{1}{2p}, \frac{1}{2p} i + \mathbb{Z}$. Les auteurs établissent que la transformée de Fourier définit un isomorphisme isométrique entre $L^2(\Omega)$ et $L^2(\mu)$, où $\mu$ est la mesure de Lebesgue restreinte à $h - \frac{1}{2p}, \frac{1}{2p} i + \mathbb{Z}$, multipliée par un facteur $p$.

5. Preuve de la réciproque (Surjectivité) :
   Pour la réciproque, ils supposent que $\Omega$ est spectral avec la mesure $\mu$ donnée. En utilisant l'isométrie de la transformée de Fourier et la périodicité de la fonction $Per(\hat{f}\hat{g})$, ils démontrent que les translates de $\Omega$ par les entiers non multiples de $p$ sont disjoints. Une argumentation par l'absurde (en comparant $L^2(\Omega)$ et un sur-ensemble pavant $\tilde{\Omega}$) permet de conclure que $\Omega$ doit coïncider avec un ensemble pavant.

3. Résultats Principaux

Le résultat central est énoncé dans le Théorème 1.8 :

Soit $\Omega$ un sous-ensemble ouvert de $\mathbb{R}$ et $p \in \mathbb{N}, p \ge 2$. Les assertions suivantes sont équivalentes :

1. $\Omega$ pave $\mathbb{R}$ par translation par l'ensemble fini $T = \{0, 1, \dots, p-1\}$.
2. $\Omega$ est un ensemble spectral avec une mesure duale $\mu$ donnée par la mesure de Lebesgue renormalisée sur l'ensemble périodique $h - \frac{1}{2p}, \frac{1}{2p} i + \mathbb{Z}$ :
   $$\mu = p \cdot \text{Leb}_{h - \frac{1}{2p}, \frac{1}{2p} i + \mathbb{Z}}$$

Cela signifie que la transformée de Fourier restreinte à cet ensemble périodique (qui est une union d'intervalles de longueur $1/p$répétés tous les 1) est un isomorphisme isométrique de$L^2(\Omega)$vers$L^2(\mu)$.

Points techniques clés :

• Dualité : Le pavage par un ensemble fini de taille $p$ correspond à une dualité avec un spectre continu périodique (une mesure absolument continue par rapport à la mesure de Lebesgue, contrairement aux cas finis où le spectre est une mesure de comptage).
• Identités de Plancherel : L'article établit des identités de Plancherel spécifiques pour ces ensembles non bornés, reliant l'énergie de la fonction dans le domaine temporel à l'énergie de sa transformée de Fourier sur le spectre dual.
• Surjectivité : Une contribution majeure est la preuve que la transformée de Fourier est non seulement isométrique, mais aussi surjective entre ces espaces $L^2$ spécifiques, ce qui valide la définition de paire spectrale pour ces ensembles infinis.

4. Contributions et Signification

• Nouvelle classe d'exemples : L'article fournit une nouvelle classe explicite d'ensembux spectraux non bornés en dimension 1. Contrairement au cas trivial de $\mathbb{R}$ entier, ces ensembles sont des unions d'intervalles décalés de manière complexe, mais structurée.
• Extension de la conjecture de Fuglede : Bien que la conjecture générale soit fausse en haute dimension, ce travail renforce la validité de l'équivalence "Pavage $\iff$ Spectral" dans le contexte unidimensionnel pour des ensembles de mesure infinie, en précisant la nature exacte de la mesure duale.
• Généralisation des résultats de Pedersen : L'article affine les résultats de Pedersen en éliminant l'hypothèse de connectivité (bien que le théorème principal traite d'ensembles ouverts, la méthode s'applique à des structures plus générales) et en donnant une description précise de la mesure duale pour des pavages par des ensembles finis.
• Outils pour l'analyse : Les identités de Plancherel dérivées et la preuve de surjectivité offrent des outils puissants pour l'analyse de Fourier sur des domaines non bornés et pour l'étude des opérateurs différentiels auto-adjoints commutatifs sur ces domaines.

En résumé, cet article résout un cas spécifique mais important de la dualité entre pavage et spectralité en dimension 1 pour des ensembles infinis, en établissant une correspondance précise entre un pavage par un ensemble fini et une mesure spectrale périodique continue.