The semilinear heat inequality with Morrey initial data on Riemannian manifolds

Resumo Técnico: A Desigualdade de Calor Semilinear com Dados Iniciais de Morrey em Variedades Riemannianas

Enunciado do Problema
O artigo aborda o comportamento de longo prazo e a regularidade de soluções não negativas para a desigualdade diferencial de calor semilinear:
$$\left( \frac{\partial}{\partial t} - \Delta \right) u \leq A u^p + B u$$
em uma variedade Riemanniana conexa e completa $M$ de dimensão $n \geq 3$ com geometria limitada. Aqui, $A$ e $B$ são constantes não negativas, e $p > 1 + 2/n$. O foco principal é estabelecer estimativas $L^\infty$ para soluções onde os dados iniciais $u(0)$ são pequenos em normas de Morrey de "fronteira" (borderline). Especificamente, o trabalho investiga casos onde os dados iniciais residem no espaço de Morrey invariante de escala $M^{q, \lambda}$ com $\lambda = 2q/(p-1)$ e $1 < q \leq q_c := n(p-1)/2$, bem como cenários envolvendo limites adicionais em outros espaços de Morrey $M^{q', \lambda'}$.

A motivação decorre de fluxos geométricos, como o fluxo de mapas harmônicos e o fluxo de Yang-Mills, onde as funções de densidade de energia satisfazem desigualdades desta forma. Embora a existência global e o decaimento sejam bem compreendidos para a equação do calor linear e certas equações semilineares em espaços euclidianos com dados iniciais $L^q$ (onde $q > q_c$), o comportamento no limiar crítico ($q = q_c$) e em espaços de Morrey em variedades requer a adaptação de técnicas euclidianas existentes.

Metodologia
O autor adapta e estende métodos desenvolvidos por Souplet, Blatt e Struwe para domínios euclidianos para o cenário de variedades Riemannianas. A metodologia central envolve:

1. Estimativas do Núcleo de Calor: Utilização das propriedades do núcleo de calor $H(x,y,t)$ em variedades com geometria limitada. O artigo baseia-se em limites superiores e inferiores gaussianos (Lema 3.1) e na completude estocástica da variedade para controlar o termo de difusão.
2. Estimativas de Espaço de Morrey para o Semigrupo do Calor: Uma contribuição técnica central é a Proposição 3.2, que estabelece que o semigrupo do calor $H_t$ mapeia espaços de Morrey $M^{s_1, \lambda}$ para $M^{s_2, \lambda}$ com taxas de decaimento temporal específicas. Isso generaliza resultados euclidianos conhecidos para o cenário de variedades, contabilizando teoremas de comparação de volume (Bishop-Gromov) e a geometria de coordenadas locais.
3. Argumentos de Bootstrap Iterativo: As provas dos teoremas principais empregam um argumento de continuidade. Ao assumir que uma solução existe em um intervalo $[0, T)$ e satisfaz certas condições de pequena magnitude, o autor deriva desigualdades integrais para as normas $L^\infty$ e de Morrey. Através da estimativa cuidadosa do termo não linear $u^p$ usando as taxas de decaimento do semigrupo, o autor mostra que, se os dados iniciais forem suficientemente pequenos (controlados por uma constante $\delta_0$), as normas da solução permanecem limitadas e decaem polinomialmente, prevenindo a explosão (blow-up).
4. Remoção de Termos Lineares: O termo linear $Bu$ na desigualdade é tratado via uma transformação exponencial $v(t) = e^{-tB}u(t)$, reduzindo o problema a uma desigualdade puramente superlinear.

Resultados Principais

• Teorema 1.2 (Estimativas Globais $L^\infty$): O artigo prova que, se os dados iniciais forem suficientemente pequenos na norma de Morrey $\| \cdot \|_{M^{q, \lambda}}$ (onde $1 < q \leq q_c$) e a solução satisfizer um limite $L^s$ local uniforme, então a solução existe globalmente no tempo ($T = \infty$). Além disso, a solução decai polinomialmente:
  $$\|u(t)\|_{L^\infty} \leq C \delta (t^{-\frac{1}{p-1}} + 1)$$
  para $t > 0$.
• Estimativas de Tempo Inicial Melhoradas: Se os dados iniciais também satisfizerem um limite em um diferente espaço de Morrey $M^{q', \lambda'}$ com $\lambda'/(2q') < 1/(p-1)$, o artigo estabelece uma taxa de decaimento melhorada próximo a $t=0$:
  $$\|u(t)\|_{L^\infty} \leq C t^{-\alpha} \wedge (C' \delta t^{-\frac{1}{p-1}} + C' \delta)$$
  onde $\alpha = \lambda'/(2q')$.
• Aplicação ao Fluxo de Mapas Harmônicos (Teorema 1.3): O autor aplica estas estimativas ao fluxo de mapas harmônicos entre variedades Riemannianas fechadas. Ao mostrar que a densidade de energia $|\nabla w|$ de uma solução com dados iniciais em $W^{1,n}$ satisfaz as condições da Definição 1.1, o artigo prova um resultado de regularidade de dados pequenos. Especificamente, se a densidade de energia inicial for pequena na norma $M^{2,2}$, o fluxo existe para todo o tempo e converge exponencialmente para um mapa constante.
• Aplicação Topológica (Corolário 1.4): Usando o resultado de regularidade, o artigo fornece uma caracterização de classes de homotopia triviais. Uma classe de homotopia $\gamma$ de mapas entre variedades fechadas é trivial se, e somente se, o ínfimo da norma $M^{2,2}$ da derivada sobre a classe for zero.

Significância e Alegações
O artigo afirma estender a teoria de equações de calor semilineares de domínios euclidianos para variedades Riemannianas com geometria limitada, abordando especificamente o caso crítico de dados iniciais de Morrey. A significância reside em:

1. Aplicações em Fluxos Geométricos: Fornecer um arcabouço robusto para analisar fluxos geométricos (como o fluxo de mapas harmônicos) onde a densidade de energia satisfaz desigualdades diferenciais em vez de equações exatas. Isso é notadamente apontado como essencial para o fluxo de Yang-Mills em variedades de holonomia especial, onde fórmulas de monotonicidade para componentes individuais da curvatura podem não se sustentar.
2. Generalização de Resultados Conhecidos: Adaptar o trabalho de Souplet e Blatt-Struwe para o cenário de variedades, demonstrando que os resultados de existência global de dados pequenos e decaimento polinomial se mantêm sob as premissas mais fracas possíveis sobre os dados iniciais (pequenez em normas de Morrey de fronteira).
3. Insight Topológico: Oferecer um novo critério para a trivialidade de classes de homotopia baseado no ínfimo de normas de Morrey, ligando a pequenez analítica à trivialidade topológica.

O autor afirma explicitamente que estes resultados são derivados do arcabouço de desigualdade diferencial e não dependem de fórmulas de monotonicidade que podem falhar em contextos geométricos específicos, preenchendo assim uma lacuna na análise de fluxos geométricos de dimensões superiores.