Resumen Técnico: Estabilidad de las Aplicaciones de Transporte Óptimo y la Segunda Variación de la Distancia 2-Monge–Kantorovich

1. Planteamiento del Problema

El artículo aborda la estabilidad cuantitativa de las aplicaciones y potenciales de transporte óptimo en el contexto del costo cuadrático ($p=2$). Específicamente, investiga cómo cambian la aplicación de transporte óptimo $T = \nabla \phi$ y el potencial de Brenier asociado $\phi$ cuando se perturban la densidad fuente $f$ y la densidad objetivo $g$.

Mientras que la estabilidad cualitativa (convergencia en medida o convergencia uniforme bajo supuestos fuertes) está bien establecida mediante argumentos de compacidad, los autores se centran en derivar estimaciones cuantitativas. Estas estimaciones acotan la distancia entre aplicaciones/potenciales óptimos correspondientes a diferentes densidades en términos de la distancia entre las propias densidades (medida en $L^p$, $L^2$ o distancia 2-Monge–Kantorovich). El trabajo se dirige específicamente a configuraciones donde las densidades son no degeneradas (acotadas lejos de cero) y poseen regularidad de Hölder, sobre dominios uniformemente convexos.

2. Metodología

La estrategia técnica central implica linealizar la ecuación de Monge–Ampère a lo largo de interpolaciones suaves de los datos. La metodología procede de la siguiente manera:

1. Interpolación: Dadas dos parejas de densidades $(f_0, g_0)$ y $(f_1, g_1)$, los autores construyen una curva suave de densidades $\{(f_t, g_t)\}_{t \in [0,1]}$.
   • Para el Teorema 1.1, utilizan geodésicas 2-Monge–Kantorovich (formulación de Benamou–Brenier).
   • Para los Teoremas 1.2 y 1.3, emplean interpolación lineal en espacios $L^p$.
2. Diferenciación de Potenciales: Definen una curva de potenciales de Brenier $\phi_t$ correspondiente a $(f_t, g_t)$. La diferencia $\phi_1 - \phi_0$ se expresa como la integral de su derivada temporal: $\phi_1 - \phi_0 = \int_0^1 \partial_t \phi_t \, dt$.
3. Ecuación Linealizada: La derivada $\xi_t = \partial_t \phi_t$ se caracteriza como la solución única de una ecuación de Monge–Ampère linealizada derivada en forma de divergencia:
   $$-\text{div}\left[ f_t (D^2 \phi_t)^{-1} \nabla \xi_t \right] = \left( \frac{\partial_t g_t(\nabla \phi_t)}{g_t(\nabla \phi_t)} - \frac{\partial_t f_t}{f_t} \right) f_t \quad \text{en } \Omega,$$
   sujeta a condiciones de contorno de Neumann.
4. Regularidad y Elipticidad: Un paso crucial es establecer que la matriz de coeficientes $(D^2 \phi_t)^{-1}$ permanece uniformemente elíptica y que la solución $\xi_t$ retiene suficiente regularidad (por ejemplo, $C^{1,\alpha}$) a lo largo de la trayectoria de interpolación. Esto depende de:
   • Lema 1.7: Un argumento de compacidad que prueba que si las densidades son $C^{0,\beta}$ y no degeneradas, el potencial de Brenier es $C^{2,\alpha}$ hasta el borde.
   • Teorema de la Función Implícita: Utilizado para probar la suavidad del mapa $t \mapsto \phi_t$ en espacios de Banach apropiados (Teorema 1.5).
5. Estimación: Al estimar $\xi_t$ utilizando la teoría de regularidad elíptica (estimaciones de Schauder, cotas $L^\infty$) e integrando sobre $t$, los autores derivan las cotas de estabilidad finales.

3. Contribuciones y Resultados Clave

A. Estimaciones de Estabilidad Cuantitativa

El artículo establece tres teoremas principales de estabilidad bajo el supuesto de densidades no degeneradas y continuas de Hölder sobre dominios uniformemente convexos con bordes suaves:

• Teorema 1.1 (Estabilidad Lipschitz en $L^2$):
  Para densidades continuas de Hölder, los autores prueban la continuidad Lipschitz de las aplicaciones de transporte óptimo en la norma $L^2$ con respecto a la distancia 2-Monge–Kantorovich ($d_2$) entre densidades:
  $$\|\nabla \phi_1 - \nabla \phi_0\|_{L^2} \leq C [d_2(f_0, f_1) + d_2(g_0, g_1)].$$
  Esto mejora resultados anteriores (por ejemplo, Berman [20]) que a menudo involucraban exponentes dependientes de la dimensión o requerían mayor regularidad. Los autores señalan que este comportamiento Lipschitz es una característica especial de medidas regulares y no degeneradas.

• Teorema 1.2 (Estabilidad sin Supuesto de Continuidad):
  Eliminando el supuesto de continuidad de Hölder pero manteniendo la integrabilidad en $L^2$ y la no degeneración, los autores obtienen una estimación de estabilidad Lipschitz para los potenciales de Brenier en la norma $L^2$:
  $$\|\phi_0 - \phi_1\|_{L^2} \leq C (\|f_0 - f_1\|_{L^2} + \|g_0 - g_1\|_{L^2}).$$
  También derivan una estimación correspondiente para los gradientes con un exponente de potencia $1/3$. Los autores conjeturan que la cota en $L^2$ para los potenciales podría potencialmente mejorarse a una cota en $L^\infty$ si pudiera probarse una desigualdad de Sobolev específica para el operador linealizado.

• Teorema 1.3 (Estabilidad Uniforme $C^{1,\alpha}$):
  En un entorno de métrica uniforme, los autores prueban que para densidades $C^{0,\beta}$, las aplicaciones óptimas son estables en la norma $C^{1,\alpha}$ con respecto a las distancias $L^p$ de las densidades (donde $p = d/(1-\alpha)$):
  $$\|\phi_1 - \phi_0\|_{C^{1,\alpha}} \leq C (\|f_1 - f_0\|_{L^p} + \|g_1 - g_0\|_{L^p}).$$
  A diferencia de las estimaciones interiores anteriores (por ejemplo, [28, 29]), este resultado es global, se aplica a perturbaciones alrededor de aplicaciones que no son la identidad, y no sufre de exponentes que decaen con la dimensión. Los autores enfatizan que la condición de cota inferior ($g_i \geq a > 0$) es fundamental; sin ella, incluso en 1D, no existe ningún exponente de estabilidad de Hölder $\eta < 1$.

B. Segunda Variación de la Distancia

• Teorema 1.4: Los autores derivan una fórmula explícita para la segunda variación de la distancia al cuadrado 2-Monge–Kantorovich a lo largo de una perturbación de densidades.
  $$\frac{1}{2} \frac{d^2}{dt^2}\bigg|_{t=0} [d_2(f_t, g_t)^2] = \int_\Omega \langle (D^2 \phi_0)^{-1} \nabla \xi, \nabla \xi \rangle f \, dx,$$
  donde $\xi$ es la solución de la ecuación linealizada. Esta fórmula cuantifica la convexidad lineal de la distancia y extiende cálculos formales encontrados previamente en [30] (que estaban restringidos a perturbaciones alrededor de la identidad) a aplicaciones de transporte óptimo regulares generales.

C. Herramienta Técnica: Diferenciabilidad Temporal

• Teorema 1.5 y Corolario 1.6: Una parte significativa del trabajo se dedica a probar que el potencial de Brenier $\phi_t$ es diferenciable con respecto al parámetro de interpolación $t$. Los autores caracterizan la derivada $\partial_t \phi_t$ como la solución débil de la ecuación de Monge–Ampère linealizada en forma de divergencia. Este resultado es de interés independiente para el análisis de problemas de transporte óptimo dependientes del tiempo.

4. Significado y Afirmaciones

Los autores posicionan su trabajo como un avance significativo en la estabilidad cuantitativa del transporte óptimo, un área de investigación actualmente activa.

• Mejora en Exponentes: El artículo afirma proporcionar estimaciones de estabilidad Lipschitz (exponente 1) en configuraciones donde la literatura anterior a menudo producía exponentes sublineales (por ejemplo, $1/2$, $1/5$, o exponentes de decaimiento dependientes de la dimensión).
• Global vs. Interior: El Teorema 1.3 se destaca como una estimación global, contrastando con resultados anteriores que a menudo se restringían a estimaciones interiores o configuraciones geométricas específicas (por ejemplo, superficies de codimensión uno).
• Segunda Variación Explícita: La derivación de la fórmula de la segunda variación se presenta como una herramienta que cuantifica explícitamente la convexidad de la distancia Monge–Kantorovich, ampliando la comprensión teórica más allá del mapa identidad.
• Limitaciones: Los autores son modestos sobre el alcance, declarando explícitamente que sus resultados dependen de densidades no degeneradas (acotadas lejos de cero) y regularidad de Hölder. Reconocen que para medidas discretas o densidades que se anulan, la naturaleza Lipschitz de las estimaciones se rompe, y los exponentes óptimos pueden ser menores (conjeturándose $1/2$ para objetivos discretos). No afirman resolver la estabilidad para medidas generales rugosas o objetivos singulares.

En resumen, el artículo proporciona un marco riguroso para linealizar la ecuación de Monge–Ampère en forma de divergencia para obtener cotas de estabilidad cuantitativa agudas para aplicaciones y potenciales de transporte óptimo bajo supuestos de regularidad y no degeneración, al tiempo que proporciona una nueva fórmula para la segunda variación de la distancia de transporte.