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

Resumo Técnico: Comportamento Assintótico da Equação do Calor no Espaço Hiperbólico

Autores: J. A. Cañizo, A. Gárriz & D. A. Marín
Data: 16 de abril de 2026 (Nota: Data futura no manuscrito, indicando um trabalho teórico prospectivo ou erro de digitação no original fornecido).

1. O Problema

O artigo investiga o comportamento de longo prazo (tempo grande, $t \to \infty$) das soluções positivas da equação do calor no espaço hiperbólico $\mathbb{H}^d$ (com dimensão $d \ge 2$):
$$\begin{cases} u_t = \Delta_{\mathbb{H}^d} u, & x \in \mathbb{H}^d, \, t > 0, \\ u(0, \cdot) = u_0, & x \in \mathbb{H}^d. \end{cases}$$
O foco principal é determinar a velocidade precisa de convergência das soluções para seus perfis assintóticos em normas $L^1$ e $L^\infty$.

Diferentemente do espaço euclidiano, onde soluções genéricas convergem para a solução fundamental centrada no centro de massa, no espaço hiperbólico o comportamento é mais complexo devido à curvatura negativa e ao crescimento exponencial do volume. Resultados anteriores (Vázquez, Papageorgiou) estabeleceram a convergência, mas muitas vezes sem taxas de convergência explícitas ou sem identificar perfis assintóticos precisos para dados iniciais não simétricos.

O artigo aborda três famílias de dados iniciais:

1. Radialmente simétricos: Dependem apenas da distância geodésica a um polo $O$.
2. Horoesféricos: Dependem apenas da distância (assinada) a uma horoesfera $H$.
3. Gerais ($L^1$): Dados iniciais integráveis sem simetria específica.

2. Metodologia

A estratégia central do trabalho é a adaptação de estimativas de entropia (métodos de entropia relativa) para variedades Riemannianas não compactas com curvatura não trivial.

• Mudança de Variáveis e Coordenadas:

  • Utilizam-se coordenadas polares (elípticas) para soluções radiais e gerais, e coordenadas parabólicas (horosféricas) para soluções horoesféricas.
  • Introduz-se uma mudança de variáveis temporal e espacial para "seguir" a massa da solução, que se desloca para longe do polo a uma velocidade aproximada de $(d-1)t$. As variáveis transformadas são:
    $$t(\tau) = e^\tau - 1, \quad r(\tau, \rho) = (d-1)e^\tau + e^{\tau/2}\rho.$$
  • Define-se uma função auxiliar $v(\tau, \rho, \theta)$ que incorpora o fator do volume da métrica hiperbólica ($\sinh^{d-1}(r)$ ou $e^{(d-1)r}$), permitindo trabalhar em domínios que se assemelham ao espaço euclidiano.

• Funcionais de Entropia:

  • Define-se o funcional de entropia relativa de Kullback-Leibler:
    $$H(\tau) = \int v \ln\left(\frac{v}{F}\right) d\mu,$$
    onde $F$ é um "perfil de equilíbrio transitório" (transient equilibrium) que depende do tempo e da geometria.
  • O perfil $F$ é escolhido como minimizador da entropia, incorporando a informação geométrica da variedade.

• Desigualdades Funcionais:

  • A prova da taxa de decaimento da entropia baseia-se em Desigualdades de Sobolev Logarítmicas (Log-Sobolev) adaptadas ao contexto hiperbólico e a perfis gaussianos modificados.
  • Utiliza-se o Lema de Gronwall para obter o decaimento exponencial da entropia em tempo $\tau$, que se traduz em decaimento polinomial em tempo $t$.
  • Aplica-se a Desigualdade de Csiszár-Kullback para converter o controle da entropia em controle da norma $L^1$.

• Tratamento de Soluções Não Simétricas:

  • Para dados gerais, introduz-se uma função de "memória" $\Phi(\theta_x)$, que captura a distribuição direcional da massa inicial ponderada pela geometria hiperbólica.
  • Estuda-se a distribuição de massa direcional $N(\tau, \theta)$ e prova-se sua convergência para um limite assintótico sob condições de crescimento controlado do dado inicial.

3. Principais Contribuições e Resultados

A. Soluções Radialmente Simétricas (Seção 2.1)

• Resultado: Estabelece-se que a solução $u(t, r)$ converge para a solução fundamental $P_d(t, r)$ (ou um perfil gaussiano deslocado) com uma taxa explícita.
• Taxa de Convergência:
  $$\|u(t, \cdot) - M_R P_d(t, \cdot)\|_{L^1(\mathbb{H}^d)} \lesssim t^{-1/2}.$$
• Efeito de Regularização: Devido ao efeito de regularização $L^1-L^\infty$, obtém-se também uma taxa em $L^\infty$:
  $$\|u(t, \cdot) - M_R P_d(t, \cdot)\|_{L^\infty(\mathbb{H}^d)} \lesssim e^{-\lambda_1 t} t^{-2},$$
  onde $\lambda_1 = (d-1)^2/4$ é o primeiro autovalor do Laplaciano.

B. Soluções Horoesféricas (Seção 2.2)

• Resultado: Para dados que dependem apenas da distância a uma horoesfera, a solução converge para um perfil gaussiano deslocado ao longo da direção normal à horoesfera.
• Taxa de Convergência:
  $$\|u(t, r) - M_H \Gamma(t, r + (d-1)t)\|_{L^1} \lesssim t^{-1/2}.$$
  Onde $\Gamma$ é o perfil gaussiano padrão.

C. Soluções Não Simétricas / Dados Gerais $L^1$ (Seções 3 e 4)

• Identificação do Perfil Assintótico: O artigo identifica que o perfil assintótico não é apenas a solução fundamental centrada na origem, mas sim:
  $$u(t, x) \approx \Phi(\theta_x) P_d(t, x),$$
  onde $\Phi(\theta_x)$ é uma função que depende da direção $\theta_x$ e da distribuição inicial de massa $u_0$:
  $$\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).$$
  Isso demonstra que a solução "lembra" da distribuição angular inicial, ao contrário do caso euclidiano onde a memória angular é perdida.

• Taxas de Convergência para Dados Gerais:
  Sob uma condição de crescimento (momento de ordem $\epsilon$) no dado inicial (condição 11 no texto), o artigo prova a primeira taxa de convergência explícita para dados não simétricos:
  $$\|u(t, x) - \Phi(\theta_x) P_d(t, x)\|_{L^1(\mathbb{H}^d)} \lesssim t^{-1/2}.$$
  Isso melhora significativamente resultados anteriores que não forneciam taxas.

4. Significado e Impacto

1. Unificação de Métodos: O trabalho oferece uma estrutura unificada baseada em EDPs (Equações Diferenciais Parciais) e estimativas de entropia para tratar casos radiais, horoesféricos e gerais, evitando a necessidade de técnicas complexas de análise harmônica geométrica utilizadas em trabalhos anteriores (como os de Anker, Papageorgiou e Zhang).
2. Precisão Assintótica: A obtenção de taxas de convergência explícitas ($t^{-1/2}$ em $L^1$) é um avanço crucial, permitindo quantificar a velocidade com que a solução "esquece" a condição inicial específica e assume o perfil geométrico dominante.
3. Memória Angular: A descoberta de que o perfil assintótico para dados gerais mantém uma dependência da direção inicial através da função $\Phi(\theta_x)$ esclarece uma diferença fundamental entre a difusão no espaço euclidiano e no hiperbólico. No espaço hiperbólico, a geometria impede a homogeneização completa da distribuição angular.
4. Aplicabilidade em Variedades Não Compactas: O artigo demonstra a viabilidade de adaptar técnicas de entropia (comumente usadas em espaços compactos ou euclidianos) para variedades Riemannianas não compactas com curvatura negativa, abrindo caminho para estudos similares em outros contextos geométricos.

Em resumo, o artigo fornece uma análise rigorosa e completa da dinâmica de longo prazo da equação do calor em $\mathbb{H}^d$, estabelecendo perfis assintóticos precisos e taxas de convergência ótimas para uma ampla classe de dados iniciais, preenchendo lacunas teóricas importantes na literatura de processos de difusão em espaços curvos.