Alexandrov-Fenchel type inequalities with convex weight in space forms

1. Problématique et Contexte

Les inégalités d'Alexandrov-Fenchel et de Minkowski sont des piliers fondamentaux de la géométrie différentielle, de l'analyse géométrique et de la géométrie convexe. Elles établissent des relations essentielles entre le volume, la surface et les intégrales de courbure des hypersurfaces fermées lisses délimitant des domaines bornés.

Bien que les résultats classiques (comme l'inégalité isopérimétrique) se concentrent sur des quantités géométriques spécifiques (souvent avec des poids constants ou des puissances simples de la distance), la littérature récente a cherché à généraliser ces résultats via des poids. L'objectif de cet article est d'étendre ces inégalités classiques en introduisant des poids arbitraires, mais structurés : des fonctions convexes et croissantes appliquées au potentiel géométrique associé à la métrique de l'espace ambiant.

Le problème central est de déterminer si, pour une large famille de fonctions de poids $g$, il existe des inégalités optimales reliant les intégrales de courbure pondérées aux quermassintegrals (ou volumes), et d'identifier les cas d'égalité (généralement des sphères géodésiques).

2. Méthodologie

Les auteurs utilisent une approche dynamique basée sur les écoulements de courbure inverse (inverse curvature flows) pour prouver leurs résultats. La stratégie générale consiste à :

1. Définir un flot géométrique : Ils considèrent des hypersurfaces qui évoluent selon une vitesse normale dépendant de la courbure et de la position (potentiel).
2. Établir des équations d'évolution : Ils dérivent des formules variationnelles pour les intégrales pondérées de courbure le long du flot.
3. Montrer la monotonie : Ils prouvent que la quantité d'intérêt (intégrale pondérée) est monotone (décroissante ou croissante) le long du flot, tandis que les quantités de référence (comme le volume ou les quermassintegrals) évoluent de manière contrôlée.
4. Utiliser la convergence : Les flots choisis convergent asymptotiquement vers des sphères géodésiques (ou des boules). En comparant la valeur initiale à la valeur limite (sphère), on obtient l'inégalité souhaitée.

Les flots spécifiques utilisés varient selon l'espace ambiant :

• Espace Euclidien ($\mathbb{R}^n$) : Flot de courbure inverse normalisé (Gerhardt-Urbas) pour les hypersurfaces $k$-convexes et étoilées.
• Espace Hyperbolique ($\mathbb{H}^n$) : Flot de type courbure moyenne inverse pour les hypersurfaces $h$-convexes (courbures principales $\ge 1$).
• Sphère ($\mathbb{S}^n$) : Un flot différent adapté à la courbature positive de l'espace ambiant pour les hypersurfaces strictement convexes.

3. Contributions Clés et Résultats Principaux

L'article établit une famille généralisée d'inégalités dans trois espaces de forme : $\mathbb{R}^n$ ($K=0$), $\mathbb{H}^n$ ($K=-1$) et $\mathbb{S}^n$ ($K=1$).

A. Définitions et Cadre Général

Soit $\Phi(r)$ le potentiel associé à la métrique warped product de l'espace de forme (par exemple $\Phi = r^2/2$ dans $\mathbb{R}^n$, $\Phi = \cosh r - 1$ dans $\mathbb{H}^n$, $\Phi = 1-\cos r$ dans $\mathbb{S}^n$).
Soit $g : [0, \infty) \to \mathbb{R}$ une fonction $C^2$, positive, convexe et non décroissante.

B. Inégalités d'Alexandrov-Fenchel pondérées dans $\mathbb{R}^n$ (Théorème 1.1)

Pour une hypersurface fermée $\Sigma$ lisse, étoilée et $k$-convexe délimitant un domaine $\Omega$, et pour tout entier $1 \le k \le n-1$ et $-1 \le \ell \le k-1$ :
$$\int_{\Sigma} g(\Phi) \sigma_k d\mu \ge \chi \circ \xi^{-1} (W_\ell(\Omega))$$
où :

• $\sigma_k$ est le $k$-ième polynôme symétrique élémentaire des courbures principales.
• $W_\ell$ sont les quermassintegrals classiques.
• $\chi$ et $\xi$ sont des fonctions strictement croissantes définies par les valeurs de ces intégrales sur une sphère de rayon $r$.
• Cas d'égalité : Si $g$ est strictement croissante ou strictement convexe, l'égalité hold si et seulement si $\Sigma$ est une sphère centrée à l'origine.

Ce résultat généralise des travaux antérieurs (Guan-Li, Wu, etc.) en permettant n'importe quelle fonction de poids convexe croissante, générant ainsi une infinité d'inégalités nouvelles.

C. Inégalités de Minkowski pondérées dans les Espaces de Forme (Théorèmes 1.3, 1.4, 1.6)

Les auteurs dérivent des inégalités de type Minkowski liant l'intégrale de courbure pondérée et le volume pondéré $A_g(\Omega)$.

• Cas 2D (Théorème 1.3) : Pour une courbe convexe fermée $\gamma$ dans $M^2(K)$ :
  $$\int_{\gamma} g(\Phi)\kappa ds + A_g(\Omega) \ge \text{Expression géométrique de la longueur } L$$
  L'article fournit plus d'une douzaine d'exemples explicites pour $\mathbb{R}^2$, $\mathbb{S}^2$ et $\mathbb{H}^2$ en choisissant différentes fonctions $g$ (ex: $g(x)=x, x^2, e^x, \sinh(x)$, etc.).

• Cas de dimension supérieure (Théorèmes 1.4 et 1.6) :

  • Dans $\mathbb{H}^n$ ($n \ge 3$) pour les hypersurfaces $h$-convexes :
    $$\int_{\Sigma} g(\Phi)H d\mu + (n-1)A_g(\Omega) \ge \chi \circ \xi^{-1}(|\Sigma|)$$
  • Dans $\mathbb{S}^n$ pour les hypersurfaces strictement convexes :
    $$\int_{\Sigma} g(\Phi)H d\mu + (n-1)A_g(\Omega) \ge \chi \circ \zeta^{-1}\left(\int_{\Omega} \phi' dv\right)$$
    Ces inégalités généralisent les résultats de Brendle-Guan-Li et des auteurs précédents.

D. Application aux Estimations de Valeurs Propres (Théorème 1.7 et 5.1)

Une application significative de ces inégalités pondérées est l'obtention d'une borne supérieure optimale pour la première valeur propre non nulle $\lambda_1$ d'opérateurs différentiels associés à la courbure.
Pour une courbe convexe fermée $\gamma$ dans $\mathbb{R}^2$, l'opérateur $-\frac{1}{\kappa}\Delta$ satisfait :
$$\lambda_1 \le \frac{\pi L}{L^2 - 2\pi A}$$
où $L$ est la longueur et $A$ l'aire. L'égalité est atteinte si et seulement si $\gamma$ est un cercle. Ce résultat généralise des estimations connues pour les valeurs propres de Steklov et de Laplace-Beltrami.

4. Signification et Impact

1. Flexibilité Unifiée : L'apport majeur est la démonstration qu'une seule méthode (flots de courbure inverse) peut générer une famille infinie d'inégalités géométriques, simplement en variant la fonction de poids $g$. Cela offre une flexibilité sans précédent pour modéliser des densités non uniformes ou des symétries radiales complexes.
2. Généralisation des Résultats Classiques : Les inégalités classiques (Alexandrov-Fenchel, Minkowski, Isopérimétrique) sont récupérées comme cas particuliers (lorsque $g$ est constante ou linéaire).
3. Nouveaux Outils pour l'Analyse : La capacité à choisir des poids convexes ouvre la voie à de nouvelles applications en analyse géométrique, notamment pour l'étude des problèmes isopérimétriques avec densités et les estimations spectrales d'opérateurs elliptiques sur des variétés.
4. Rigueur Technique : La preuve repose sur une analyse fine de la monotonie le long de flots géométriques complexes, en exploitant les inégalités de Newton-MacLaurin et les propriétés des tenseurs de Newton, validant ainsi la robustesse de la méthode dans des espaces à courbure constante positive, négative et nulle.

En résumé, cet article élargit considérablement le paysage des inégalités géométriques intégrales en introduisant une classe de poids convexes, fournissant à la fois des résultats théoriques profonds et des outils pratiques pour l'analyse spectrale et la géométrie convexe.