The Makai inequality in higher dimensions: qualitative and quantitative aspects

1. Problématique et Contexte

L'article s'intéresse à l'optimisation d'une fonctionnelle scalaire définie sur la classe $\mathcal{K}_n$ des sous-ensembles ouverts, bornés et convexes de $\mathbb{R}^n$ ($n \ge 2$). La fonctionnelle étudiée est :
$$F(\Omega) = \frac{T(\Omega) P^2(\Omega)}{|\Omega|^3}$$
où :

• $T(\Omega)$ est la rigidité de torsion du Laplacien sur $\Omega$, définie variationnellement par :
  $$T(\Omega) = \max_{\substack{\phi \in H^1_0(\Omega) \\ \phi \not\equiv 0}} \frac{\left(\int_\Omega \phi \, dx\right)^2}{\int_\Omega |\nabla \phi|^2 \, dx}$$
• $P(\Omega)$ est le périmètre (mesure de Hausdorff $H^{n-1}$ de la frontière).
• $|\Omega|$ est la mesure de Lebesgue (volume).

Cette fonctionnelle est invariante par homothétie. Le problème central est de déterminer la borne supérieure de $F(\Omega)$ sur $\mathcal{K}_n$.

Contexte historique :

• Minimisation : Pólya a prouvé que $F(\Omega) \ge 1/3$ en dimension 2, généralisé ensuite en dimension $n$. L'égalité asymptotique est atteinte par des cylindres aplatis.
• Maximisation (Plan) : Makai a établi en dimension 2 que $F(\Omega) \le 2/3$, avec l'égalité asymptotique atteinte par des triangles aplatis.
• Conjecture : Dans [7], il a été conjecturé que la borne supérieure en dimension $n$ est :
  $$\sup_{\Omega \in \mathcal{K}_n} F(\Omega) = \frac{2n^2}{(n+1)(n+2)}$$
  Cette borne serait atteinte asymptotiquement par des cônes aplatis.

L'objectif de cet article est de prouver rigoureusement cette conjecture en dimension arbitraire et d'établir des estimations quantitatives (stabilité) décrivant la géométrie des suites maximisantes.

2. Méthodologie

Les auteurs utilisent une combinaison d'outils d'analyse géométrique, de théorie des équations aux dérivées partielles et d'optimisation convexe :

1. Fonction de distance et ensembles parallèles internes :
   Ils exploitent la fonction de distance $d(x, \partial\Omega)$ et les ensembles parallèles internes $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$. La convexité de $\Omega$ implique la concavité de $d(\cdot, \partial\Omega)$.
   La formule de coaire permet d'exprimer le volume et le périmètre en fonction de la fonction $P(t) = P(\Omega_t)$ et de la fonction de distance.

2. Inégalités de Brunn-Minkowski et corps tangentiels :
   L'approche repose sur la concavité des fonctions $t \mapsto |\Omega_t|^{1/n}$ et $t \mapsto P(\Omega_t)^{1/(n-1)}$. Les auteurs introduisent la notion de corps tangentiel (tangential body), où les ensembles parallèles internes sont homothétiques à $\Omega$ lui-même ($\Omega_t = (1 - t/R_\Omega)\Omega$).

3. Approximation linéaire et majoration de la torsion :

   • Ils utilisent l'inégalité $T(\Omega) \le \int_\Omega d(x, \partial\Omega)^2 dx$ (Proposition 2.2).
   • Pour majorer l'intégrale de la distance au carré, ils construisent une fonction linéaire $\lambda(t)$ qui majore la fonction concave $L(t) = P(t)^{1/(n-1)}$ tout en conservant la contrainte de volume.
   • L'intégrale de $\lambda(t)^{n-1} t^2$ est calculée explicitement, conduisant à une expression dépendant d'un paramètre $y$ (lié au rapport entre le rayon d'inclusion et la géométrie du domaine).

4. Analyse asymptotique et stabilité :
   Pour les résultats quantitatifs, ils analysent le "défaut" (le gap) entre la valeur de $F(\Omega)$ et la borne optimale. Ils introduisent des paramètres géométriques de "minceur" pour caractériser la convergence des suites maximisantes.

3. Résultats Principaux

A. Preuve de la Conjecture (Théorème 1.1)

Les auteurs prouvent que pour tout $\Omega \in \mathcal{K}_n$ :
$$F(\Omega) \le \frac{2n^2}{(n+1)(n+2)}$$

• Optimalité : La constante est optimale. L'égalité est atteinte asymptotiquement par une suite de cônes aplatis (flattening cones).
• Non-existence de maximum : Le supremum n'est pas atteint par un ensemble $\Omega \in \mathcal{K}_n$ (car cela impliquerait une largeur nulle, ce qui contredit la définition d'un ouvert non vide).

B. Caractérisation Qualitative des Suites Maximisantes (Théorème 1.2)

Si $\{\Omega_k\}$ est une suite maximisante (c'est-à-dire $F(\Omega_k) \to \frac{2n^2}{(n+1)(n+2)}$), alors :
$$\lim_{k \to \infty} \alpha(\Omega_k) = 0$$
où $\alpha(\Omega) = \frac{w_\Omega}{\text{diam}(\Omega)}$ est le rapport entre la largeur minimale et le diamètre.

• Interprétation : Toute suite optimisante doit être une suite de domaines "minces" (thinning domains). Cela confirme que les domaines doivent s'effondrer dans une direction.

C. Estimations Quantitatives (Théorème 1.3 et Corollaire 1.4)

L'article établit une inégalité quantitative reliant le défaut de la fonctionnelle à un paramètre géométrique $\gamma(\Omega)$ :
$$\frac{2n^2}{(n+1)(n+2)} - F(\Omega) \ge C_1(n) \, \gamma(\Omega)^n$$
où $\gamma(\Omega) = n - \frac{P(\Omega)R_\Omega}{|\Omega|}$.

• Signification de $\gamma(\Omega)$ : Ce paramètre mesure l'écart par rapport à la propriété d'être un "corps tangentiel". $\gamma(\Omega) = 0$ si et seulement si $\Omega$ est un corps tangentiel.
• Corollaire 1.4 : Une suite maximisante est nécessairement une suite de corps tangentiels aplatis (sequences of flattening tangential bodies). Cela affine la caractérisation géométrique : ce ne sont pas seulement des domaines minces, mais des domaines minces qui possèdent une structure géométrique spécifique (homothétie des sections internes).

4. Signification et Contributions

1. Résolution d'une conjecture ouverte : L'article confirme la conjecture de [7] sur la borne supérieure de la rigidité de torsion pour les domaines convexes en toute dimension $n \ge 2$.
2. Généralisation du résultat de Makai : Il étend le résultat classique de Makai (valable uniquement en dimension 2) à des dimensions arbitraires, un défi technique majeur dû à la complexité de la géométrie des cônes et des ensembles convexes en haute dimension.
3. Approche Quantitative (Stabilité) : Au-delà de la simple inégalité, l'article fournit des estimations de stabilité précises. Il montre que pour s'approcher de la borne optimale, le domaine doit simultanément :
   • Devenir géométriquement mince ($\alpha \to 0$).
   • Se rapprocher structurellement d'un corps tangentiel ($\gamma \to 0$).
4. Outils nouveaux : L'introduction et l'analyse du paramètre $\gamma(\Omega)$ offrent un nouvel outil pour étudier la géométrie des suites optimisantes, complétant les travaux antérieurs sur les paramètres $\alpha$ et $\beta$ utilisés pour les problèmes de minimisation.

En résumé, cet article fournit une compréhension complète (qualitative et quantitative) du comportement extrémal de la rigidité de torsion sur les convexes, reliant l'analyse fonctionnelle à la géométrie convexe fine.