Asymptotically sharp Hardy-Rellich inequalities on lattices

Résumé Technique : Inégalités de Hardy-Rellich asymptotiquement nettes sur les réseaux

Énoncé du Problème
L'article traite de la détermination du comportement asymptotique net de la constante optimale, notée $C_{m,d}$, des inégalités discrètes de Hardy-Rellich sur le réseau entier $\mathbb{Z}^d$ lorsque la dimension $d$ tend vers l'infini. Pour un entier fixé $m \ge 1$, l'inégalité est définie par :
$$\sum_{n \in \mathbb{Z}^d} |D_m u(n)|^2 \ge C_{m,d} \sum_{n \in \mathbb{Z}^d \setminus \{0\}} \frac{|u(n)|^2}{|n|^{2m}}, \quad \forall u \in E(\mathbb{Z}^d),$$
où $E(\mathbb{Z}^d)$ est l'espace des fonctions à support compact s'annulant à l'origine, et $D_m$ représente l'opérateur différentiel discret d'ordre $m$.

Bien que les constantes nettes pour ces inégalités soient bien comprises dans le cadre continu euclidien $\mathbb{R}^d$ (où elles croissent comme $d^{2m}$), le cas discret présente des défis significatifs en raison de l'absence d'arguments de mise à l'échelle (scaling) et d'intégration par parties. Des travaux antérieurs de Gupta ont établi que $C_{m,d}$ croît comme $d^m$ pour de grandes valeurs de $d$, mais la limite asymptotique exacte restait une question ouverte. Plus précisément, il était connu que $0 < \liminf_{d\to\infty} C_{m,d}/d^m \le \limsup_{d\to\infty} C_{m,d}/d^m < \infty$. Cet article vise à résoudre la valeur exacte de cette limite.

Méthodologie
Les auteurs emploient une approche multi-étapes combinant l'analyse de Fourier, des identités fonctionnelles et des estimations de concentration probabilistes :

1. Réduction de Fourier : Suivant l'approche de Gupta, le problème discret sur $\mathbb{Z}^d$ est transformé en une inégalité intégrale pondérée équivalente sur le tore plat $\mathbb{T}^d = [-\pi, \pi]^d$. Les sommes discrètes sont converties en intégrales impliquant une fonction de poids anisotrope spécifique :
   $$\omega(x) = \sum_{j=1}^d \left(\sin \frac{x_j}{2}\right)^2.$$
   Le problème se réduit à trouver la meilleure constante pour des inégalités pondérées de la forme :
   $$\int_{\mathbb{T}^d} |D_k \phi|^2 \omega^\gamma dx \ge C_{d,k,\ell,\gamma} \int_{\mathbb{T}^d} |D_\ell \phi|^2 \omega^{\gamma-k+\ell} dx.$$

2. Identités de Hardy-Rellich généralisées : Pour gérer les termes d'erreur provenant du poids anisotrope $\omega^\gamma$, les auteurs utilisent des identités de Hardy-Rellich de premier et second ordre généralisées. Une nouveauté clé est l'introduction d'une identité de type Rellich du second ordre (Lemme 2.1, Éq. 2.2) qui couple la matrice hessienne avec un champ vectoriel via des produits tensoriels. Cela permet de gérer précisément le couplage entre les différentes directions spatiales, là où les approches classiques par paires de Bessel échouent.

3. Estimations de concentration probabilistes : Le poids $\omega$ est interprété comme une moyenne empirique de variables aléatoires indépendantes. Les auteurs exploitent cette structure probabiliste pour contrôler les régions dégénérées du poids (où $\omega \to 0$) lorsque $d \to \infty$.

   • Inégalité de Hoeffding : Utilisée pour estimer la mesure de l'ensemble où le poids dévie significativement de sa moyenne, garantissant que les régions « mauvaises » deviennent négligeables dans les hautes dimensions.
   • Méthodes d'entropie : Les auteurs emploient l'inégalité de Sobolev logarithmique sur le tore, notant que la meilleure constante est indépendante de la dimension. Cela permet d'obtenir des estimations d'entropie uniformes à travers les dimensions, ce qui est crucial pour borner les intégrales pondérées.

Contributions Clés et Résultats
Le résultat principal de l'article est la détermination de la limite asymptotique exacte des constantes optimales :

Théorème 1.1 : Pour tout entier fixé $m \ge 1$, la constante nette $C_{m,d}$ satisfait :
$$\lim_{d \to \infty} \frac{C_{m,d}}{d^m} = 2^m.$$

Pour y parvenir, les auteurs établissent d'abord le Théorème 1.3, qui fournit le comportement asymptotique pour les inégalités pondérées générales sur le tore. Ils prouvent que pour des entiers non négatifs $\ell, k$ tels que $0 < k - \ell \le \gamma$ :
$$\lim_{d \to \infty} \frac{C_{d,k,\ell,\gamma}}{d^{k-\ell}} = 2^{\ell-k}.$$

La preuve repose sur la Proposition 1.4, qui établit des estimations nettes pour les normes pondérées impliquant le gradient et le laplacien. Plus précisément, ils montrent que pour de grandes valeurs de $d$ :

• $\int |\nabla \phi|^2 \omega^\gamma \approx \int \phi^2 \omega^\gamma$ (à des termes d'ordre inférieur près).
• $\int |\nabla \phi|^2 \omega^\gamma \approx \frac{d}{2} \int \phi^2 \omega^{\gamma-1}$.
• $\int |\Delta \phi|^2 \omega^\gamma \approx \int |\nabla \phi|^2 \omega^\gamma$.
• $\int |\Delta \phi|^2 \omega^\gamma \approx \frac{d}{2} \int |\nabla \phi|^2 \omega^{\gamma-1}$.

Ces estimations sont dérivées en combinant les nouvelles identités de Rellich avec les bornes de concentration probabilistes (Hoeffding et entropie) pour gérer l'anisotropie de $\omega$.

Signification
L'article affirme apporter une réponse complète à une question laissée ouverte par Gupta concernant le comportement asymptotique précis des constantes de Hardy-Rellich discrètes. Le résultat souligne une différence fondamentale entre les contextes continu et discret : alors que les constantes optimales dans $\mathbb{R}^d$ croissent comme $d^{2m}$, celles sur le réseau $\mathbb{Z}^d$ croissent comme $d^m$. Les auteurs notent que leur approche, particulièrement l'utilisation d'estimations de concentration probabilistes pour gérer les poids anisotropes de manière uniforme par rapport à la dimension, offre un nouvel outil pour analyser les inégalités discrètes de haute dimension.

L'article reconnaît également qu'après sa finalisation, Gupta a obtenu indépendamment le même résultat en utilisant une approche différente. La contribution des auteurs réside dans la combinaison spécifique de la réduction de Fourier, des nouvelles identités du second ordre et des méthodes probabilistes pour dériver ces estimations nettes.