A dimension-free interpolation of Caffarelli's contraction theorem

Résumé Technique : Une Interpolation Indépendante de la Dimension du Théorème de Contraction de Caffarelli

Énoncé du Problème
L'article traite de la régularité de l'application de Brenier (l'application de transport optimal pour le coût quadratique) entre deux mesures de probabilité sur $\mathbb{R}^n$. Plus précisément, il vise à établir des estimations de Lipschitz globales pour le gradient du potentiel de transport $\nabla \phi$ lorsque les densités source et cible appartiennent à une famille spécifique de mesures interpolant entre des densités de type polynomial et des densités log-concaves.

Les densités sont définies par :
$$\rho_{U,p} = Z_{U,p}^{-1} \exp(-\Theta_p(U)), \quad \Theta_p(t) = p \log\left(1 + \frac{t}{p}\right)$$
où $p \in [n, +\infty]$. Le cas $p = +\infty$ correspond aux densités log-concaves ($\Theta_\infty(t) = t$) étudiées dans le célèbre théorème de contraction de Caffarelli. Les auteurs considèrent une application de transport poussant une mesure source $\rho_{V,d}$ vers une mesure cible $\rho_{W,D}$, où les paramètres $d$ et $D$ satisfont $n \le d \le D \le +\infty$.

Le défi central consiste à établir des bornes indépendantes de la dimension sur le Hessien du potentiel de transport ($\|D^2\phi\|_{L^\infty}$) qui soient valables uniformément pour la dimension $n$ et les paramètres d'interpolation $d$ et $D$. Les travaux antérieurs des auteurs et d'autres (spécifiquement [5]) ont fourni des estimations pour le cas polynomial-vers-polynomial ($d=D < \infty$) mais souffraient d'une dépendance exponentielle vis-à-vis de la dimension. Le théorème de Caffarelli ($d=D=\infty$) fournissait une borne précise et indépendante de la dimension, mais étendre cette précision au régime polynomial intermédiaire avec des constantes uniformes restait un problème ouvert.

Méthodologie
Les auteurs combinent deux approches analytiques distinctes trouvées dans la littérature :

1. Argument du Principe du Maximum : Suivant l'approche de [5], les auteurs utilisent l'équation de Monge-Ampère et un principe du maximum appliqué aux dérivées secondes du potentiel. Cela implique d'analyser l'équation en un point où la dérivée directionnelle seconde atteint son maximum.
2. Estimations de Monotonie et de Croissance : Suivant l'approche de [9] (inspirée par Fathi), les auteurs exploitent les propriétés de monotonie de l'application de transport optimale et les inégalités de concentration pour dériver des bornes quantitatives de croissance sur l'application de transport elle-même (c'est-à-dire des bornes sur $|\nabla \phi|$).

L'innovation technique centrale réside dans l'intégration de ces deux points de vue. Les auteurs déduisent d'abord un « principe du maximum à deux paramètres » (Lemme 2.1) qui relie le Hessien du potentiel aux Hessiens des potentiels $V$ et $W$ ainsi qu'aux gradients de l'application. Ils insèrent ensuite des estimations de croissance explicites et à paramètres finis pour $|\nabla \phi|$ (dérivées via l'argument de Fathi dans les Propositions 2.2 et 2.3) dans cette inégalité du principe du maximum.

Un aspect critique de la méthodologie est la gestion soigneuse des limites. Pour retrouver la borne précise de Caffarelli dans la limite $d, D \to \infty$, les auteurs démontrent que l'ordre des limites est crucial : il faut d'abord fixer un rayon $R$, laisser $D \to \infty$ et $d \to \infty$, et ensuite laisser $R \to \infty$. Cet ordre garantit que les constantes restent stables et convergent vers les valeurs optimales.

Contributions et Résultats Clés

1. Estimation Globale du Hessien Indépendante de la Dimension (Théorème 1.2) :
   L'article établit une borne de Lipschitz globale pour l'application de Brenier entre $\rho_{V,d}$ et $\rho_{W,D}$ où $d \le D$. La borne est uniforme en la dimension $n$ et les paramètres $d, D$.

   • Amélioration par rapport à [5] : Dans le cas $d=D < \infty$, ce résultat améliore les bornes de [5] en éliminant la dépendance exponentielle vis-à-vis de la dimension $d$.
   • Structure : La constante $C_{glob}$ dépend des grandeurs structurelles des potentiels $V$ et $W$ (spécifiquement leurs bornes de Hessien $C_V^{(2)}, c_W^{(2)}$ et leurs bornes de gradient) mais est indépendante de $n$.

2. Estimation Localisée du Hessien (Théorème 1.3) :
   Les auteurs prouvent une estimation affinée pour le Hessien du potentiel à l'intérieur d'une boule fixe $B_R(0)$. Cette borne localisée implique des constantes ($R_{d,D}(R)$ et $G_{d,D}(R)$) qui contrôlent la croissance de l'application de transport à l'intérieur de cette boule.

   • Stabilité : Ces constantes localisées sont stables sous les limites $d, D \to +\infty$.
   • Mécanisme : La preuve repose sur la définition d'un « rayon de Fathi » $R_{d,D}(R)$ qui borne l'image de la boule $B_R(0)$ sous l'application de transport, garantissant que le principe du maximum peut être appliqué efficacement dans un domaine contrôlé.

3. Récupération du Théorème de Caffarelli (Corollaires 1.4 et 1.5) :
   En prenant la limite $D \to +\infty$ (cas polynomial-vers-log-concave) et subséquemment $d \to +\infty$, les auteurs récupèrent le théorème de contraction de Caffarelli avec des constantes optimales.

   • Corollaire 1.4 : Fournit une borne pour le cas $D=+\infty$ et $d$ fini, montrant que le facteur de croissance disparaît.
   • Corollaire 1.5 : En prenant les limites dans l'ordre spécifique ($D \to \infty$, puis $d \to \infty$, puis $R \to \infty$), les auteurs récupèrent rigoureusement le résultat classique : si $f=e^{-V}$ et $g=e^{-W}$ avec $D^2V \le C_V^{(2)}I$ et $D^2W \ge c_W^{(2)}I$, alors $\|DT\|_{L^\infty} \le \sqrt{C_V^{(2)}/c_W^{(2)}}$.

Signification et Revendications
L'article prétend fournir un cadre unifié qui interpole entre les densités de type polynomial et les densités log-concaves tout en maintenant un contrôle indépendant de la dimension.

• Uniformité : La signification principale réside dans l'uniformité des estimations. Les bornes ne se dégradent pas lorsque la dimension $n$ augmente, ni ne dépendent exponentiellement des paramètres d'interpolation.
• Précision : La méthodologie permet de récupérer les constantes optimales du théorème de Caffarelli, ce que les estimations polynomial-vers-polynomial précédentes ne pouvaient pas atteindre en raison de leur dépendance dimensionnelle.
• Robustesse : L'approche est décrite comme « extrêmement robuste », gérant différents paramètres source et cible ($d \le D$) et récupérant des résultats connus comme cas particuliers (par exemple, le cas polynomial-vers-polynomial de [5] et le cas log-concave de Caffarelli).

Les auteurs notent que la restriction $d \le D$ est naturelle ; si $d > D$, l'application de transport peut présenter une croissance superlinéaire à l'infini, empêchant une borne de Lipschitz globale. L'article conclut par des arguments de régularisation standards pour étendre les résultats du principe du maximum lisse au cadre général $C^{1,1}_{loc}$ requis par les hypothèses.