Sharp asymptotic behaviour of symmetric and non-symmetric solutions of the Heat Equation in the Hyperbolic Space

Aquí presento un resumen técnico detallado del artículo "Sharp asymptotic behaviour of symmetric and non-symmetric solutions of the Heat Equation in the Hyperbolic Space", escrito por J. A. Cañizo, A. Gárriz y D. A. Marín.

1. Planteamiento del Problema

El objetivo central del trabajo es estudiar el comportamiento asintótico a tiempos grandes ($t \to \infty$) de las soluciones positivas de la Ecuación del Calor en el espacio hiperbólico $\mathbb{H}^d$ ($d \ge 2$):
$$\begin{cases} \partial_t u = \Delta_{\mathbb{H}^d} u, & x \in \mathbb{H}^d, \, t > 0, \\ u(0, \cdot) = u_0, & x \in \mathbb{H}^d. \end{cases}$$

El artículo aborda este problema para tres familias de datos iniciales $u_0$:

1. Datos radiales: $u_0$ depende solo de la distancia geodésica a un polo $O$.
2. Datos horoesféricos: $u_0$ depende solo de la distancia (con signo) a una horoesfera $H$.
3. Datos generales integrables: $u_0 \in L^1(\mathbb{H}^d)$, sin simetrías específicas.

El desafío principal: A diferencia del caso euclidiano, donde las soluciones convergen a un perfil gaussiano centrado en el centro de masa, en el espacio hiperbólico la geometría introduce comportamientos distintos. La masa de la solución se desplaza hacia el infinito a una velocidad lineal $(d-1)t$. Además, para datos no radiales, la solución no converge al núcleo de calor fundamental centrado en el origen, sino que mantiene una "memoria" de la distribución angular inicial.

Anteriores trabajos (como los de Vázquez y Papageorgiou) habían establecido la convergencia en $L^p$ hacia perfiles asintóticos, pero sin tasas de convergencia precisas (es decir, sabían que convergía, pero no a qué velocidad). Este artículo busca llenar esa brecha.

2. Metodología

La estrategia principal del artículo es la adaptación de estimaciones de entropía (técnicas clásicas en el estudio de ecuaciones de difusión en espacios no compactos) al contexto de variedades riemannianas con curvatura no trivial.

A. Cambio de Variables y Coordenadas

Para capturar el movimiento de la masa hacia el infinito, los autores introducen un cambio de variables dependiente del tiempo que "acompaña" al perfil de la solución:

• Tiempo: $t(\tau) = e^\tau - 1$.
• Distancia radial: $r(\tau, \rho) = (d-1)e^\tau + e^{\tau/2}\rho$.
• Función auxiliar: Se define una función $v(\tau, \rho, \theta)$ que incluye un factor de volumen $\sinh^{d-1}(r)$ para trabajar en espacios de medida estándar ($L^1$ en $\mathbb{R}$) en lugar de la medida hiperbólica.

B. Funcionales de Entropía Relativa

Se define un funcional de entropía relativa (basado en la divergencia de Kullback-Leibler) entre la solución transformada $v$ y un perfil de equilibrio transitorio $F$ (o $V$):
$$H(\tau) = \int v \ln\left(\frac{v}{F}\right) d\mu.$$
El perfil de equilibrio $F$ no es estático; depende del tiempo y encapsula la información geométrica del manifold (la métrica y el volumen).

C. Descomposición del Problema

1. Casos Simétricos (Radiales y Horoesféricos): Se reduce la ecuación a una dimensión efectiva. Se demuestra que la entropía decae exponencialmente en la variable $\tau$, lo que implica una tasa de convergencia algebraica en tiempo $t$.
2. Caso General (No Simétrico):
   • Se introduce una función de memoria $\Phi(\theta_x)$ que depende de la distribución angular inicial $u_0$.
   • Se define una distribución de masa direccional $N(\tau, \theta)$ que evoluciona con el tiempo.
   • Se demuestra que $N(\tau, \theta)$ converge a un límite $N_\infty(\theta)$ bajo ciertas condiciones de momento (crecimiento controlado de $u_0$).
   • Se utiliza una desigualdad de Sobolev logarítmica (Log-Sobolev) adaptada al contexto hiperbólico para controlar la tasa de decaimiento de la entropía.

3. Contribuciones Clave

1. Tasas de Convergencia Precisas: Por primera vez, se establecen tasas explícitas de convergencia en normas $L^1$ y $L^\infty$ para la ecuación del calor en $\mathbb{H}^d$.
   • Para datos radiales: Convergencia en $L^1$ con tasa $O(t^{-1/2})$ y en $L^\infty$ con tasa $O(t^{-2}e^{-\lambda_1 t})$.
   • Para datos generales: Convergencia en $L^1$ con tasa $O(t^{-1/2})$.
2. Identificación del Perfil Asintótico No Universal: Se confirma y cuantifica que, para datos no radiales, el perfil asintótico no es el núcleo de calor fundamental $P_d(t, x)$, sino un producto:
   $$u(t, x) \approx \Phi(\theta_x) P_d(t, x),$$
   donde $\Phi(\theta_x)$ es una función que depende de la proyección angular de la masa inicial.
3. Adaptación de Entropía a Variedades No Compactas: Se presenta un marco unificado para aplicar estimaciones de entropía en variedades riemannianas no compactas con curvatura negativa, superando las dificultades técnicas que impiden la aplicación directa de la teoría euclidiana.
4. Análisis de la Distribución de Masa Direccional: Se demuestra rigurosamente que la distribución de masa angular converge a un límite bien definido bajo condiciones de momento finitas, resolviendo la incógnita sobre la estructura del perfil asintótico en el caso general.

4. Resultados Principales

Teorema 1.3 (Datos Radiales)

Para $u_0$ radial, la solución converge al núcleo de calor fundamental $P_d(t, x)$ multiplicado por la masa total $M_R$.

• Tasa $L^1$: $\|u(t) - M_R P_d(t)\|_{L^1} \lesssim t^{-1/2}$.
• Tasa $L^\infty$: $\|u(t) - M_R P_d(t)\|_{L^\infty} \lesssim t^{-2} e^{-\lambda_1 t}$, donde $\lambda_1 = (d-1)^2/4$ es el primer valor propio del Laplaciano.

Teorema 1.4 (Datos Horoesféricos)

Para $u_0$ dependiente de la distancia a una horoesfera, la solución converge a un perfil gaussiano desplazado.

• Tasa $L^1$: $\|u(t) - M_H \Gamma(t, r+(d-1)t)\|_{L^1} \lesssim t^{-1/2}$.

Teorema 1.5 (Datos Generales $L^1$)

Para $u_0 \in L^1(\mathbb{H}^d)$, bajo condiciones de momento (crecimiento controlado), la solución converge al perfil:
$$F(t, x) = C_d \Phi(\theta_x) \Gamma(t, r_x + (d-1)t),$$
donde $\Phi(\theta_x) = \int_{\mathbb{H}^d} u_0(y) [\cosh(r_y) - \sinh(r_y)\langle \theta_x, \theta_y \rangle]^{-(d-1)} d\mu(y)$.

• Tasa de convergencia: $\|u(t) - F(t)\|_{L^1} \lesssim t^{-1/2}$.
• Esto mejora resultados previos (como los de Papageorgiou) que no proporcionaban la velocidad de convergencia.

5. Significancia e Impacto

• Unificación de Enfoques: El trabajo conecta técnicas de análisis armónico geométrico (usadas en trabajos previos de Anker, Papageorgiou y Zhang) con herramientas puras de EDPs (estimaciones de entropía), ofreciendo un marco más accesible para analistas de ecuaciones diferenciales.
• Precisión Cuantitativa: La obtención de tasas de convergencia es crucial para aplicaciones numéricas y para entender la velocidad de mezcla y difusión en espacios de curvatura negativa.
• Generalidad: El método es lo suficientemente robusto para manejar simetrías (radiales, horoesféricas) y el caso completamente general sin simetría, demostrando que la "memoria" de la distribución inicial persiste en el límite asintótico de una manera específica y cuantificable.
• Aplicabilidad: Las técnicas desarrolladas (entropía relativa en variedades no compactas) pueden extenderse a otras ecuaciones de difusión no lineales (como la ecuación de medio poroso o difusión rápida) en espacios hiperbólicos.

En resumen, el artículo proporciona una descripción completa y cuantitativa de cómo se difunde el calor en el espacio hiperbólico a largo plazo, resolviendo la cuestión de la velocidad de convergencia y la forma exacta del perfil asintótico para datos generales.