A dimension-free interpolation of Caffarelli's contraction theorem

Resumen Técnico: Una Interpolación Libre de Dimensión del Teorema de Contracción de Caffarelli

Enunciado del Problema
El artículo aborda la regularidad del mapa de Brenier (el mapa de transporte óptimo para el costo cuadrático) entre dos medidas de probabilidad en $\mathbb{R}^n$. Específicamente, busca estimaciones globales de Lipschitz para el gradiente del potencial de transporte $\nabla \phi$ cuando las densidades de la fuente y el objetivo pertenecen a una familia específica de medidas que interpolan entre densidades de tipo polinómico y densidades log-cóncavas.

Las densidades se definen como:
$$\rho_{U,p} = Z_{U,p}^{-1} \exp(-\Theta_p(U)), \quad \Theta_p(t) = p \log\left(1 + \frac{t}{p}\right)$$
donde $p \in [n, +\infty]$. El caso $p = +\infty$ corresponde a las densidades log-cóncavas ($\Theta_\infty(t) = t$) estudiadas en el célebre teorema de contracción de Caffarelli. Los autores consideran un mapa de transporte que empuja una medida fuente $\rho_{V,d}$ hacia una medida objetivo $\rho_{W,D}$, donde los parámetros $d$ y $D$ satisfacen $n \le d \le D \le +\infty$.

El desafío central es establecer cotas libres de dimensión para el hessiano del potencial de transporte ($\|D^2\phi\|_{L^\infty}$) que se mantengan uniformemente a través de la dimensión $n$ y los parámetros de interpolación $d$ y $D$. Trabajos anteriores de los autores y otros (específicamente [5]) proporcionaron estimaciones para el caso polinomio-a-polinomio ($d=D < \infty$), pero sufrían de una dependencia exponencial con la dimensión. El teorema de Caffarelli ($d=D=\infty$) proporcionó una cota aguda y libre de dimensión, pero extender esta agudeza al régimen polinómico intermedio con constantes uniformes permaneció como un problema abierto.

Metodología
Los autores combinan dos enfoques analíticos distintos encontrados en la literatura:

1. Argumento del Principio del Máximo: Siguiendo el enfoque en [5], los autores utilizan la ecuación de Monge-Ampère y un principio del máximo aplicado a las segundas derivadas del potencial. Esto implica analizar la ecuación en un punto donde la segunda derivada direccional alcanza su máximo.
2. Estimaciones de Monotonía y Crecimiento: Siguiendo el enfoque en [9] (inspirado por Fathi), los autores emplean propiedades de monotonía del mapa de transporte óptimo e desigualdades de concentración para derivar cotas cuantitativas de crecimiento sobre el propio mapa de transporte (es decir, cotas sobre $|\nabla \phi|$).

La innovación técnica central es la integración de estas dos perspectivas. Los autores primero derivan un "principio del máximo de dos parámetros" (Lema 2.1) que relaciona el hessiano del potencial con los hessianos de los potenciales $V$ y $W$ y los gradientes del mapa. Luego insertan estimaciones de crecimiento explícitas y de parámetros finitos para $|\nabla \phi|$ (derivadas mediante el argumento de Fathi en las Proposiciones 2.2 y 2.3) en esta desigualdad del principio del máximo.

Un aspecto crítico de la metodología es el manejo cuidadoso de los límites. Para recuperar la cota aguda de Caffarelli en el límite $d, D \to \infty$, los autores demuestran que el orden de los límites es crucial: primero se debe fijar un radio $R$, hacer que $D \to \infty$ y $d \to \infty$, y luego hacer que $R \to \infty$. Este ordenamiento asegura que las constantes permanezcan estables y converjan a los valores agudos.

Contribuciones y Resultados Clave

1. Estimación Global del Hessiano Libre de Dimensión (Teorema 1.2):
   El artículo establece una cota global de Lipschitz para el mapa de Brenier entre $\rho_{V,d}$ y $\rho_{W,D}$ donde $d \le D$. La cota es uniforme en la dimensión $n$ y en los parámetros $d, D$.

   • Mejora sobre [5]: En el caso $d=D < \infty$, este resultado mejora las cotas en [5] al eliminar la dependencia exponencial de la dimensión $d$.
   • Estructura: La constante $C_{glob}$ depende de cantidades estructurales de los potenciales $V$ y $W$ (específicamente sus cotas de hessiano $C_V^{(2)}, c_W^{(2)}$ y cotas de gradiente) pero es independiente de $n$.

2. Estimación Localizada del Hessiano (Teorema 1.3):
   Los autores prueban una estimación refinada para el hessiano del potencial dentro de una bola fija $B_R(0)$. Esta cota localizada involucra constantes ($R_{d,D}(R)$ y $G_{d,D}(R)$) que controlan el crecimiento del mapa de transporte dentro de esa bola.

   • Estabilidad: Estas constantes localizadas son estables bajo los límites $d, D \to +\infty$.
   • Mecanismo: La prueba se basa en definir un "radio de Fathi" $R_{d,D}(R)$ que acota la imagen de la bola $B_R(0)$ bajo el mapa de transporte, asegurando que el principio del máximo pueda aplicarse efectivamente dentro de un dominio controlado.

3. Recuperación del Teorema de Caffarelli (Corolarios 1.4 y 1.5):
   Tomando el límite $D \to +\infty$ (caso polinomio-a-log-cóncavo) y posteriormente $d \to +\infty$, los autores recuperan el teorema de contracción de Caffarelli con constantes agudas.

   • Corolario 1.4: Proporciona una cota para el caso $D=+\infty$ y $d$ finito, mostrando que el factor de crecimiento desaparece.
   • Corolario 1.5: Tomando los límites en el orden específico ($D \to \infty$, luego $d \to \infty$, luego $R \to \infty$), los autores recuperan rigurosamente el resultado clásico: si $f=e^{-V}$ y $g=e^{-W}$ con $D^2V \le C_V^{(2)}I$ y $D^2W \ge c_W^{(2)}I$, entonces $\|DT\|_{L^\infty} \le \sqrt{C_V^{(2)}/c_W^{(2)}}$.

Significado y Afirmaciones
El artículo afirma proporcionar un marco unificado que interpola entre densidades de tipo polinómico y densidades log-cóncavas mientras mantiene un control libre de dimensión.

• Uniformidad: El significado principal es la uniformidad de las estimaciones. Las cotas no se deterioran a medida que aumenta la dimensión $n$, ni dependen exponencialmente de los parámetros de interpolación.
• Agudeza: La metodología permite recuperar las constantes agudas en el teorema de Caffarelli, algo que las estimaciones anteriores de polinomio-a-polinomio no podían lograr debido a su dependencia dimensional.
• Robustez: El enfoque se describe como "extremadamente robusto", manejando diferentes parámetros de fuente y objetivo ($d \le D$) y recuperando resultados conocidos como casos especiales (por ejemplo, el caso polinomio-a-polinomio de [5] y el caso log-cóncavo de Caffarelli).

Los autores señalan que la restricción $d \le D$ es natural; si $d > D$, el mapa de transporte puede exhibir crecimiento superlineal en el infinito, lo que impide una cota global de Lipschitz. El artículo concluye mediante argumentos de regularización estándar para extender los resultados del principio del máximo suave al entorno general $C^{1,1}_{loc}$ requerido por las hipótesis.