Pólya's conjecture up to $\epsilon$-loss and quantitative estimates for the remainder of Weyl's law

Ce papier établit une version à perte $\epsilon$ de la conjecture de Pólya pour les domaines lipschitziens bornés en fournissant des estimations quantitatives explicites pour le reste de la loi de Weyl sans recourir aux valeurs propres de Neumann, réduisant ainsi la conjecture à un problème de calcul et identifiant des classes plus larges de domaines, y compris des formes irrégulières et des domaines de pavage par bandes, qui satisfont la conjecture ou même exhibent des bornes sur les valeurs propres plus fortes.

L'essentiel

Imaginez que vous avez une pièce mystérieuse de forme irrégulière (appelons-la Ω). Vous voulez savoir combien de notes musicales distinctes (ou de « vibrations ») cette pièce peut produire si vous frappez ses murs. En mathématiques, ces notes sont appelées valeurs propres de Dirichlet, et elles sont numérotées $1, 2, 3, \dots$ de la note la plus grave à la plus aiguë.

Depuis plus d'un siècle, les mathématiciens tentent de prédire exactement combien de notes existent en dessous d'une certaine hauteur. C'est ce qu'on appelle la Loi de Weyl. C'est comme avoir une carte approximative qui vous dit : « Si vous montez jusqu'à la hauteur $X$, vous trouverez environ $Y$ notes. » La carte est basée sur le volume (la taille) de la pièce.

Cependant, la carte n'est pas parfaite. Il y a toujours un « reste » ou un terme d'erreur. La grande question, posée par le célèbre mathématicien George Pólya en 1954, était la suivante : Le nombre réel de notes est-il toujours inférieur ou égal au nombre prédit par la carte du volume ?

Pólya a prouvé que c'est vrai pour les pièces qui peuvent paver parfaitement un sol (comme des carrés ou des hexagones), mais pour les pièces étranges, dentelées ou irrégulières, cela restait un mystère non résolu.

La grande percée : « La perte $\epsilon$ »

Cet article de Renjin Jiang et Fanghua Lin ne résout pas le mystère pour chaque note individuelle dans toutes les pièces immédiatement. À la place, ils ont trouvé une astuce ingénieuse.

Pensez-y ainsi : la conjecture originale de Pólya était que la pièce peut contenir exactement $N$ notes. Les auteurs disent : « D'accord, soyons légèrement généreux. Disons que la pièce peut contenir $N \times (1 + \epsilon)$ notes, où $\epsilon$ est une toute petite, toute petite portion d'espace supplémentaire (comme 1 % ou 0,1 %). »

Ils ont prouvé que pour n'importe quelle pièce ayant une frontière raisonnablement bien comportée (un « domaine lipschitzien »), si vous regardez les notes aiguës (celles ayant une énergie très élevée), le nombre de notes est bien inférieur à cette prédiction légèrement gonflée.

La touche « computationnelle » :
L'article montre que pour prouver la conjecture stricte de Pólya pour une pièce spécifique, vous n'avez besoin de vérifier les notes que jusqu'à une certaine hauteur de « coupure ». Une fois que vous dépassez cette hauteur, les mathématiques garantissent que la règle s'applique. Cela transforme un problème théorique massif et impossible en un problème de calcul informatique gérable. Vous n'avez qu'à faire les calculs pour les notes plus graves, et les notes aiguës s'occupent d'elles-mêmes.

Le secret du « pavage en bandes »

Les auteurs ont découvert une classe spéciale de formes qu'ils appellent les « domaines de pavage en bandes ».

Imaginez un long couloir. Si vous pouvez prendre votre pièce de forme étrange, la faire pivoter et la faire glisser le long du couloir pour couvrir tout le sol sans espaces ni chevauchements, c'est un domaine de pavage en bandes.

• La surprise : Pour ces formes, la pièce est en fait plus efficace que ce que Pólya avait initialement conjecturé. Elle contient moins de notes que ne le prédit la carte du volume.
• L'exemple du triangle : C'est énorme pour les triangles ! Puisque n'importe quel triangle peut paver un plan (vous pouvez les assembler parfaitement), les auteurs prouvent que la conjecture de Pólya est vraie pour chaque triangle, et en fait, l'estimation est encore meilleure que prévu.

La stratégie du « fromage suisse »

Et si vous avez une forme parfaite (comme un grand carré) et que vous y percez des trous (en retirant des cubes) ? La règle tient-elle toujours ?

Les auteurs montrent que si vous commencez avec une forme qui respecte la règle (comme une forme de pavage ou un triangle) et que vous retirez un ensemble de petits cubes (comme prendre des bouchées dans un biscuit), la règle tient toujours, à condition que la « surface » de la forme originale soit suffisamment grande par rapport à la taille totale des trous.

Ils appellent cela la « classe admissible » de cubes. C'est comme dire : « Tant que le biscuit n'est pas trop rempli de trous, la règle concernant le nombre de notes reste valide. »

La « décomposition de Whitney » (l'outil mathématique)

Pour prouver ces résultats, les auteurs ont utilisé une technique appelée décomposition de Whitney.

• L'analogie : Imaginez que vous avez une forme dentelée et irrégulière. Pour la comprendre, vous ne regardez pas tout le désordre d'un coup. Au lieu de cela, vous la recouvrez d'une grille de petits carrés non chevauchants (comme une mosaïque).
• La magie : Ils ont utilisé cette grille pour compter les notes dans les petits carrés, puis les ont additionnées. En gérant soigneusement l'« erreur » aux bords de ces carrés, ils ont pu créer une « borne supérieure » précise (un plafond) pour le nombre de notes. Cela leur a permis de prouver que le nombre de notes ne dépasse jamais la limite, même avec des frontières désordonnées.

Résumé de ce qu'ils affirment

1. Version avec perte $\epsilon$ : Pour toute pièce bornée, si vous regardez des notes suffisamment aiguës, le décompte est strictement inférieur à $(1 + \epsilon)$ fois la prédiction du volume. Cela réduit le problème à une vérification informatique pour les notes plus graves.
2. Mieux que prévu : Pour les formes de « pavage en bandes » (y compris tous les triangles), le nombre de notes est en fait inférieur à la prédiction standard, et pas seulement inférieur à la prédiction lâche.
3. Les trous sont acceptables : Vous pouvez retirer un type spécifique de motif de « fromage suisse » (cubes) d'une forme valide, et la règle tient toujours, tant que la forme originale était suffisamment grande par rapport aux trous.
4. Pas de « trucs de Neumann » : Les méthodes précédentes reposaient souvent sur la comparaison de la pièce avec une version « Neumann » (une pièce avec des règles de frontière différentes). Les auteurs ont trouvé un nouveau moyen de prouver cela en utilisant uniquement les règles « Dirichlet » (les murs vibrants standards), rendant leur preuve plus propre et plus directe.

En résumé, l'article dit : « Nous ne pouvons pas encore prouver la règle pour chaque note individuelle dans chaque forme étrange, mais nous pouvons la prouver pour les notes aiguës, et nous avons montré que pour de nombreuses formes spécifiques (comme les triangles et les bandes pavées), la règle est en fait encore plus forte que nous ne le pensions. »

Résumé technique

Résumé technique : La conjecture de Pólya jusqu'à une perte $\epsilon$ et estimations quantitatives du reste de la loi de Weyl

Énoncé du problème
L'article aborde deux problèmes interconnectés en géométrie spectrale concernant le laplacien de Dirichlet sur des domaines bornés $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) :

1. Conjecture de Pólya : La conjecture énonce que pour tout domaine ouvert borné $\Omega$, la $k$-ième valeur propre de Dirichlet $\lambda_k(\Omega)$ satisfait l'inégalité $k \leq \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{n/2}$ pour tout $k \in \mathbb{N}$. Bien que démontrée pour les domaines pavants et des formes spécifiques (sphères, secteurs, couronnes), elle reste ouverte pour les domaines généraux.
2. Reste quantitatif de la loi de Weyl : La loi de Weyl fournit le comportement asymptotique de la fonction de comptage des valeurs propres $N_\Omega^D(\lambda) = \#\{k : \lambda_k(\Omega) < \lambda\}$. Le reste $R_\Omega(\lambda) = N_\Omega^D(\lambda) - \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda^{n/2}$ est connu pour être $o(\lambda^{n/2})$, mais les résultats précédents manquaient souvent de constantes explicites ou de bornes uniformes valables pour toutes les valeurs propres, en particulier sur des domaines irréguliers (lipschitziens).

Méthodologie
Les auteurs emploient une combinaison d'estimations affinées des valeurs propres, de décomposition géométrique et d'arguments de monotonie :

• Estimations affinées sur les domaines produits et les pavages en bandes : S'appuyant sur les travaux de Laptev concernant les domaines produits et la méthode de pavage de Pólya, les auteurs dérivent des bornes supérieures plus précises pour les fonctions de comptage des valeurs propres sur les domaines produits $\Omega_1 \times \Omega_2$ et les domaines « pavages en bandes » (domaines qui peuvent paver une bande $R^{n-1} \times (0, w)$ via des isométries dans les $n-1$ premières directions). Ces estimations incluent des termes d'ordre inférieur négatifs explicites, améliorant la borne standard de Pólya.
• Décomposition de Whitney : Pour traiter les domaines lipschitziens généraux, les auteurs utilisent une décomposition de Whitney du domaine et de son complémentaire. Cela leur permet de borner la fonction de comptage en sommant les contributions des cubes dyadiques, évitant ainsi l'utilisation des valeurs propres de Neumann qui sont centrales dans la méthode classique d'encadrement Dirichlet-Neumann de Courant.
• Bornes inférieures quantitatives sur les cubes : L'article établit des bornes inférieures explicites pour la fonction de comptage sur les cubes (et par extension, les parallélépipèdes rectangles) en analysant la géométrie des points du réseau intersectant des boules. Ces bornes sont cruciales pour estimer l'« erreur » introduite lors du retrait de sous-domaines (comme des cubes) d'un domaine plus large.
• Monotonie et perturbation du domaine : La stratégie consiste à enfermer un domaine général $\Omega$ dans un domaine « régulier » plus grand $T$ (tel qu'un domaine pavant en bandes) et à analyser le reste $T \setminus \Omega$. En démontrant que $T$ satisfait des estimations meilleures que celles de Pólya et que la partie retirée $T \setminus \Omega$ possède un nombre de valeurs propres contrôlé, les auteurs dérivent des bornes pour $\Omega$.

Contributions et résultats clés

1. Estimation quantitative uniforme du reste (Théorème 1.5) :
   L'article fournit une nouvelle preuve d'une estimation uniforme du reste de la loi de Weyl sur les domaines lipschitziens bornés avec des constantes explicites. Pour tout $k \in \mathbb{N}$ :
   $$k \leq \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{n/2} + C(n, \Omega, \lambda_k) \frac{\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{\frac{n-1}{2}}$$
   où la constante $C$ dépend explicitement de la constante de Lipschitz $C_{\text{Lip}}(\Omega)$, de l'aire de la frontière et de la géométrie du rectangle minimal admissible contenant $\Omega$. Une borne inférieure correspondante est également établie. Ce résultat est obtenu sans recourir aux valeurs propres de Neumann.

2. Version de la conjecture de Pólya avec perte $\epsilon$ (Théorème 1.3) :
   Les auteurs démontrent que pour tout $\epsilon \in (0, 1)$, il existe un seuil $\Lambda(\epsilon, \Omega)$ explicitement calculable tel que pour toutes les valeurs propres $\lambda_k(\Omega) \geq \Lambda(\epsilon, \Omega)$, la version avec perte $\epsilon$ de la conjecture de Pólya est vérifiée :
   $$k \leq (1 + \epsilon) \frac{|\Omega|\omega(n)}{(2\pi)^n} \lambda_k(\Omega)^{n/2}$$
   Pour les domaines convexes, le seuil $\Lambda$ peut être pris plus petit. L'article note que cela réduit la vérification de la conjecture pour les grandes valeurs propres à un problème de calcul pour l'ensemble fini des valeurs propres inférieures à $\Lambda$.

3. Nouvelles classes de domaines satisfaisant la conjecture de Pólya :
   L'article identifie de nouvelles classes de domaines dans toutes les dimensions $n \geq 2$ qui satisfont la conjecture complète de Pólya, même s'ils possèdent des formes ou des frontières irrégulières :

   • Domaines pavant en bandes : Les auteurs montrent que les domaines pavant en bandes satisfont une inégalité strictement meilleure que la conjecture de Pólya (Théorème 1.10).
   • Domaines avec cubes retirés : Si un domaine pavant en bandes (ou un produit d'un domaine satisfaisant Pólya et d'un intervalle) a un ensemble de cubes disjoints retirés, la conjecture est vérifiée pour le domaine restant, à condition que l'aire de la « face latérale » du domaine original soit suffisamment grande par rapport à l'aire totale de surface des cubes retirés (Théorème 1.15).
   • Exemples concrets : Cela inclut les triangles dans $\mathbb{R}^2$ (Corollaire 1.12) et divers domaines formés par le retrait de séquences spécifiques de cubes de domaines pavant en bandes (Figure 2).

4. Estimations améliorées pour les triangles :
   Pour tout triangle dans $\mathbb{R}^2$, l'article établit une borne plus précise que le résultat classique de Pólya :
   $$k \leq \frac{|\Omega|}{4\pi} \lambda_k(\Omega) - \frac{\max\{|ab|, |bc|, |ca|\}}{12\pi} \lambda_k(\Omega)^{1/2}$$

Portée et affirmations
L'article affirme que sa principale portée réside dans la fourniture d'une approche quantitative et explicite de la conjecture de Pólya. En établissant des estimations uniformes du reste avec des constantes explicites, les auteurs réduisent le problème de la vérification de la conjecture pour les grandes valeurs propres à un contrôle de calcul fini.

Les auteurs soulignent que leur méthode fournit une nouvelle preuve de l'estimation du reste de type Courant sans utiliser les valeurs propres de Neumann, ce qui constitue une rupture avec les techniques classiques. De plus, l'identification des domaines pavant en bandes et de leurs perturbations (retrait de cubes) comme des classes satisfaisant la conjecture de Pólya étend la validité connue de la conjecture au-delà des domaines pavants et des formes simples comme les sphères et les secteurs. L'article indique modestement que, bien qu'il réduise la version avec perte $\epsilon$ à un problème de calcul, la conjecture complète pour les domaines lipschitziens généraux reste ouverte, conditionnée à l'obtention de meilleures bornes inférieures pour la fonction de comptage du domaine complémentaire $T \setminus \Omega$.