Lipschitz regularity of harmonic map heat flows into $CAT(0)$ spaces

Resumen Técnico: Regularidad Lipschitz de los Flujos de Calor de Mapas Armónicos hacia Espacios CAT(0)

Planteamiento del Problema
El artículo aborda la cuestión abierta de larga data sobre la regularidad de las soluciones débiles para el flujo de calor de mapas armónicos hacia espacios CAT(0). Mientras que la existencia, unicidad y convergencia a largo plazo de tales soluciones débiles fueron establecidas por Mayer y Jost en la década de 1990 mediante la teoría del flujo de gradiente en espacios métricos, la cuestión de si estas soluciones poseen regularidad Lipschitz tanto en el espacio como en el tiempo permaneció sin resolver. El trabajo previo de Lin, Segatti, Sire y Wang (2026) proporcionó una respuesta parcial, estableciendo la continuidad Lipschitz en la variable espacial para una clase específica de espacios CAT(0) (aquellos embebibles en el espacio euclídeo con propiedades asintóticas específicas) y continuidad Hölder de orden 1/2 en el tiempo. Los autores pretenden proporcionar una respuesta completa para espacios CAT(0) arbitrarios, demostrando la regularidad Lipschitz en ambas variables y estableciendo una desigualdad de tipo Bochner parabólica.

Metodología
Los autores emplean una combinación de análisis geométrico intrínseco, teoría de soluciones viscosas y técnicas de flujo no lineal adaptadas de su trabajo previo sobre mapas armónicos. La estrategia de prueba se divide en tres etapas principales:

1. Continuidad Hölder Local:
   Los autores establecen primero la continuidad Hölder local para las soluciones débiles. Adaptan la teoría de De Giorgi-Nash-Moser al entorno parabólico. Una dificultad clave es que la desigualdad de Poincaré parabólica estándar falla para funciones generales en $W^{1,2}$ debido a la falta de derivadas temporales en el lado derecho. Sin embargo, utilizando la regularidad del flujo de gradiente (específicamente la continuidad Lipschitz del flujo en la métrica $L^2$ para $t > 0$), demuestran una desigualdad de Poincaré local modificada. Esto permite derivar una propiedad de subsolución para la función de distancia $d_Y(P, u(x,t))$, lo que conduce a la continuidad Hölder local mediante argumentos de iteración.

2. Continuidad Lipschitz en el Tiempo:
   Para demostrar la continuidad Lipschitz en la variable temporal, los autores establecen una "propiedad de subsolución" crucial para la distancia al cuadrado entre dos soluciones débiles, $w(x,t) = d_Y^2(u(x,t), v(x,t))$. Demuestran que $(\Delta - \partial_t)w \geq 2R_{u,v}$ en el sentido de distribuciones, donde $R_{u,v}$ es un término no negativo relacionado con la diferencia en las densidades de energía. Al elegir $v(x,t) = u(x, t+s)$ y aplicar el principio del máximo a esta subsolución, derivan una cota uniforme sobre la diferencia temporal, demostando que $t \mapsto u(x, \cdot)$ es localmente Lipschitz continua.

3. Continuidad Lipschitz en el Espacio:
   La regularidad espacial se establece mediante la construcción de un flujo no lineal de tipo "Hamilton-Jacobi". A diferencia del caso elíptico donde el flujo involucra dos variables espaciales, el caso parabólico sugería inicialmente una dependencia de dos variables temporales ($t$ y $s$), lo que complicaba la derivación de una EDP parabólica. Aprovechando la continuidad Lipschitz temporal establecida previamente, los autores definen un flujo "revisado" que depende de una sola variable temporal:
   $$f_\epsilon(x, t) := \inf_{y \in \Omega} \left( \frac{e^{-2Kt} d^2(x, y)}{2\epsilon} - d_Y(u(x, t), u(y, t)) \right)$$
   Demuestran que esta función es una supersolución viscosa de la ecuación del calor. Al conectar este flujo con la norma del gradiente espacial (mediante una desigualdad de valor medio asintótica y propiedades de la función máxima de Hardy-Littlewood), acotan la constante Lipschitz espacial, estableciendo así la continuidad Lipschitz local en el espacio.

4. Desigualdad de Bochner:
   Finalmente, los autores refinan el enfoque de Hamilton-Jacobi elevando la potencia de la función de distancia de índice 2 a un entero superior $p$. Al analizar el límite cuando $p \to \infty$, derivan una desigualdad de Bochner de tipo Eells-Sampson para la constante Lipschitz espacial.

Resultados Clave
El artículo establece los siguientes teoremas principales:

• Teorema 1.3 (Resultado Principal de Regularidad): Sea $M$ una variedad de Riemann completa con curvatura de Ricci acotada inferiormente por $K$, y sea $(Y, d_Y)$ un espacio CAT(0) arbitrario. Para cualquier solución débil $u(x,t)$ del flujo de calor de mapas armónicos con datos iniciales acotados, $u$ es localmente Lipschitz continua en $\Omega \times (0, +\infty)$ tanto en el espacio como en el tiempo.
• Teorema 1.3 (ii) (Desigualdad de Bochner): La constante Lipschitz espacial puntual, definida como $\text{lip}_x u(x,t) := \limsup_{y \to x} \frac{d_Y(u(x,t), u(y,t))}{d(y,x)}$, pertenece a $V_{2,loc} \cap L^\infty_{loc}$ y satisface la desigualdad distributiva:
  $$(\Delta - \partial_t)(\text{lip}_x u)^2 \geq 2|\nabla \text{lip}_x u|^2 + 2K(\text{lip}_x u)^2$$
  Esta es una analogía parabólica de la desigualdad de Bochner para mapas armónicos.

Significancia y Reivindicaciones
Los autores afirman proporcionar una "respuesta completa" a la cuestión de la regularidad Lipschitz para los flujos de calor de mapas armónicos hacia espacios métricos singulares, eliminando las restricciones de supuestos de embebimiento requeridos en los resultados parciales previos (Lin et al.). Los resultados se aplican a cualquier espacio CAT(0), independientemente de la compacidad local.

El artículo enfatiza que la desigualdad de Bochner derivada (Teorema 1.3(ii)) es una herramienta significativa, análoga a la clásica desigualdad de Eells-Sampson, la cual es central en los teoremas de rigidez en la teoría de grupos geométricos. Los autores señalan que sus argumentos en las Secciones 3, 4 y 5 pueden adaptarse a mapas desde espacios RCD hacia espacios CAT(0), aunque la prueba de Lipschitz espacial (Sección 7) depende actualmente de la teoría de soluciones viscosas, la cual aún no está plenamente desarrollada para ecuaciones parabólicas en espacios RCD.

Este trabajo se construye directamente sobre la teoría fundamental del flujo de gradiente de Mayer y Jost y los recientes métodos de aproximación elíptica de Lin, Segatti, Sire y Wang, extendiendo estos marcos para lograr la plena regularidad espacio-temporal.