The semilinear heat inequality with Morrey initial data on Riemannian manifolds

Resumen Técnico: La desigualdad de calor semilineal con datos iniciales de Morrey en variedades de Riemann

Planteamiento del problema
El artículo aborda el comportamiento a largo plazo y la regularidad de las soluciones no negativas de la desigualdad diferencial de calor semilineal:
$$\left( \frac{\partial}{\partial t} - \Delta \right) u \leq A u^p + B u$$
en una variedad de Riemann conexa y completa $M$ de dimensión $n \geq 3$ con geometría acotada. Aquí, $A$ y $B$ son constantes no negativas, y $p > 1 + 2/n$. El enfoque principal es establecer estimaciones $L^\infty$ para soluciones donde los datos iniciales $u(0)$ son pequeños en normas de Morrey de "frontera" (borderline). Específicamente, el trabajo investiga casos donde los datos iniciales pertenecen al espacio de Morrey invariante por escala $M^{q, \lambda}$ con $\lambda = 2q/(p-1)$ y $1 < q \leq q_c := n(p-1)/2$, así como escenarios que involucran cotas adicionales en otros espacios de Morrey $M^{q', \lambda'}$.

La motivación surge de los flujos geométricos, como el flujo de mapas armónicos y el flujo de Yang-Mills, donde las funciones de densidad de energía satisfacen desigualdades de esta forma. Si bien la existencia global y la decaimiento están bien comprendidos para la ecuación de calor lineal y ciertas ecuaciones semilineales en espacios euclidianos con datos iniciales en $L^q$ (donde $q > q_c$), el comportamiento en el umbral crítico ($q = q_c$) y en espacios de Morrey en variedades requiere la adaptación de las técnicas euclidianas existentes.

Metodología
El autor adapta y extiende los métodos desarrollados por Souplet, Blatt y Struwe para dominios euclidianos al entorno de las variedades de Riemann. La metodología central involucra:

1. Estimaciones del núcleo de calor: Utilización de las propiedades del núcleo de calor $H(x,y,t)$ en variedades con geometría acotada. El artículo se basa en cotas superiores e inferiores gaussianas (Lema 3.1) y en la completitud estocástica de la variedad para controlar el término de difusión.
2. Estimaciones de espacios de Morrey para el semigrupo de calor: Una contribución técnica central es la Proposición 3.2, que establece que el semigrupo de calor $H_t$ mapea espacios de Morrey $M^{s_1, \lambda}$ a $M^{s_2, \lambda}$ con tasas de decaimiento temporal específicas. Esto generaliza los resultados euclidianos conocidos al entorno de las variedades, contabilizando los teoremas de comparación de volumen (Bishop-Gromov) y la geometría de coordenadas locales.
3. Argumentos de bootstrap iterativo: Las demostraciones de los teoremas principales emplean un argumento de continuidad. Al asumir que una solución existe en un intervalo $[0, T)$ y satisface ciertas condiciones de pequeñez, el autor deriva desigualdades integrales para las normas $L^\infty$ y de Morrey. Mediante la estimación cuidadosa del término no lineal $u^p$ utilizando las tasas de decaimiento del semigruforma, el autor muestra que si los datos iniciales son suficientemente pequeños (controlados por una constante $\delta_0$), las normas de la solución permanecen acotadas y decaen polinómicamente, evitando la explosión (blow-up).
4. Eliminación de términos lineales: El término lineal $Bu$ en la desigualdad se maneja mediante una transformación exponencial $v(t) = e^{-tB}u(t)$, reduciendo el problema a una desigualdad puramente superlineal.

Resultados Clave

• Teorema 1.2 (Estimaciones Globales $L^\infty$): El artículo demuestra que si los datos iniciales son suficientemente pequeños en la norma de Morrey $\| \cdot \|_{M^{q, \lambda}}$ (donde $1 < q \leq q_c$) y la solución satisface una cota local uniforme de $L^s$, entonces la solución existe globalmente en el tiempo ($T = \infty$). Además, la solución decae polinómicamente:
  $$\|u(t)\|_{L^\infty} \leq C \delta (t^{-\frac{1}{p-1}} + 1)$$
  para $t > 0$.
• Estimaciones de tiempo inicial mejoradas: Si los datos iniciales también satisfacen una cota en un espacio de Morrey diferente $M^{q', \lambda'}$ con $\lambda'/(2q') < 1/(p-1)$, el artículo establece una tasa de decaimiento mejorada cerca de $t=0$:
  $$\|u(t)\|_{L^\infty} \leq C t^{-\alpha} \wedge (C' \delta t^{-\frac{1}{p-1}} + C' \delta)$$
  donde $\alpha = \lambda'/(2q')$.
• Aplicación al Flujo de Mapas Armónicos (Teorema 1.3): El autor aplica estas estimaciones al flujo de mapas armónicos entre variedades de Riemann cerradas. Al demostrar que la densidad de energía $|\nabla w|$ de una solución con datos iniciales en $W^{1,n}$ satisface las condiciones de la Definición 1.1, el artículo prueba un resultado de regularidad de datos pequeños. Específicamente, si la densidad de energía inicial es pequeña en la norma $M^{2,2}$, el flujo existe para todo el tiempo y converge exponencialmente a un mapa constante.
• Aplicación Topológica (Corolario 1.4): Utilizando el resultado de regularidad, el artículo proporciona una caracterización de las clases de homotopía triviales. Una clase de homotopía $\gamma$ de mapas entre variedades cerradas es trivial si y solo si el ínfimo de la norma $M^{2,2}$ de la derivada sobre la clase es cero.

Significación y Reivindicaciones
El artículo afirma extender la teoría de las ecuaciones de calor semilineales de dominios euclidianos a variedades de Riemann con geometría acotada, abordando específicamente el caso crítico de los datos iniciales de Morrey. La significación radica en:

1. Aplicaciones a Flujos Geométricos: Proporcionar un marco robusto para analizar flujos geométricos (como el flujo de mapas armónicos) donde la densidad de energía satisface desigualdades diferenciales en lugar de ecuaciones exactas. Esto se señala particularmente como esencial para el flujo de Yang-Mills en variedades de holonomía especial donde las fórmulas de monotonicidad para componentes individuales de la curvatura pueden no cumplirse.
2. Generalización de Resultados Conocidos: Adaptar el trabajo de Souplet y Blatt-Struwe al entorno de las variedades, demostrando que los resultados de existencia global de datos pequeños y decaimiento polinómico se mantienen bajo las suposiciones más débiles sobre los datos iniciales (pequeñez en normas de Morrey de frontera).
3. Perspectiva Topológica: Ofrecer un nuevo criterio para la trivialidad de las clases de homotopía basado en el ínfimo de las normas de Morrey, vinculando la pequeñez analítica con la trivialidad topológica.

El autor establece explícitamente que estos resultados se derivan del marco de la desigualdad diferencial y no dependen de fórmulas de monotonicidad que podrían fallar en contextos geométicos específicos, llenando así un vacío en el análisis de flujos geométricos de mayor dimensión.