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

Resumo Técnico: Regularidade Lipschitz de Fluxos de Calor de Mapas Harmônicos para Espaços CAT(0)

Enunciado do Problema
O artigo aborda a questão aberta de longa data sobre a regularidade de soluções fracas para o fluxo de calor de mapas harmônicos em espaços CAT(0). Embora a existência, unicidade e convergência de longo prazo de tais soluções fracas tenham sido estabelecidas por Mayer e Jost na década de 1990 via teoria de fluxo de gradiente em espaços métricos, a questão de se essas soluções possuem regularidade Lipschitz tanto no espaço quanto no tempo permaneceu sem solução. Trabalhos anteriores de Lin, Segatti, Sire e Wang (2026) forneceram uma resposta parcial, estabelecendo continuidade Lipschitz na variável espacial para uma classe específica de espaços CAT(0) (aqueles imergíveis em espaços euclidianos com propriedades assintóticas específicas) e continuidade Hölder de ordem 1/2 no tempo. Os autores visam fornecer uma resposta completa para espaços CAT(0) arbitrários, provando regularidade Lipschitz em ambas as variáveis e estabelecendo uma desigualdade do tipo Bochner parabólica.

Metodologia
Os autores empregam uma combinação de análise geométrica intrínseca, teoria de soluções viscosas e técnicas de fluxo não linear adaptadas de seu trabalho anterior sobre mapas harmônicos. A estratégia de prova é dividida em três etapas principais:

1. Continuidade Hölder Local:
   Os autores primeiro estabelecem a continuidade Hölder local para as soluções fracas. Eles adaptam a teoria De Giorgi-Nash-Moser para o cenário parabólico. Uma dificuldade fundamental é que a desigualdade de Poincaré parabólica padrão falha para funções gerais em $W^{1,2}$ devido à ausência de derivadas temporais no lado direito. No entanto, utilizando a regularidade do fluxo de gradiente (especificamente a continuidade Lipschitz do fluxo na métrica $L^2$ para $t > 0$), eles provam uma desigualdade de Poincaré local modificada. Isso permite derivar uma propriedade de subsolução para a função distância $d_Y(P, u(x,t))$, levando à continuidade Hölder local via argumentos de iteração.

2. Continuidade Lipschitz no Tempo:
   Para provar a continuidade Lipschitz na variável temporal, os autores estabelecem uma "propriedade de subsolução" crucial para a distância ao quadrado entre duas soluções fracas, $w(x,t) = d_Y^2(u(x,t), v(x,t))$. Eles provam que $(\Delta - \partial_t)w \geq 2R_{u,v}$ no sentido das distribuições, onde $R_{u,v}$ é um termo não negativo relacionado à diferença nas densidades de energia. Ao escolher $v(x,t) = u(x, t+s)$ e aplicar o princípio do máximo a esta subsolução, eles derivam um limite uniforme sobre a diferença temporal, provando que $t \mapsto u(x, \cdot)$ é localmente contínua Lipschitz.

3. Continuidade Lipschitz no Espaço:
   A regularidade espacial é estabelecida pela construção de um fluxo "Hamilton-Jacobi" não linear. Diferente do caso elíptico onde o fluxo envolve duas variáveis espaciais, o caso parabólico inicialmente sugeria uma dependência de duas variáveis temporais ($t$ e $s$), o que complicava a derivação de uma PDE parabólica. Aproveitando a continuidade temporal Lipschitz previamente estabelecida, os autores definem um fluxo "revisado" dependente de apenas uma variável 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)$$
   Eles provam que esta função é uma supersolução viscosa da equação do calor. Ao conectar este fluxo ao norm do gradiente espacial (via uma desigualdade de valor médio assintótica e propriedades da função maximal de Hardy-Littlewood), eles limitam a constante Lipschitz espacial, estabelecendo assim a continuidade Lipschitz local no espaço.

4. Desigualdade de Bochner:
   Finalmente, os autores refinam a abordagem Hamilton-Jacobi elevando a potência da função distância do índice 2 para um inteiro superior $p$. Ao analisar o limite quando $p \to \infty$, eles derivam uma desigualdade de Bochner do tipo Eells-Sampson para a constante Lipschitz espacial.

Resultados Principais
O artigo estabelece os seguintes teoremas principais:

• Teorema 1.3 (Resultado Principal de Regularidade): Seja $M$ uma variedade Riemanniana completa com curvatura de Ricci limitada inferiormente por $K$, e seja $(Y, d_Y)$ um espaço CAT(0) arbitrário. Para qualquer solução fraca $u(x,t)$ do fluxo de calor de mapas harmônicos com dados iniciais limitados, $u$ é localmente contínua Lipschitz em $\Omega \times (0, +\infty)$ tanto no espaço quanto no tempo.
• Teorema 1.3 (ii) (Desigualdade de Bochner): A constante Lipschitz espacial pontual, definida como $\text{lip}_x u(x,t) := \limsup_{y \to x} \frac{d_Y(u(x,t), u(y,t))}{d(y,x)}$, pertence a $V_{2,loc} \cap L^\infty_{loc}$ e satisfaz a desigualdade distributiva:
  $$(\Delta - \partial_t)(\text{lip}_x u)^2 \geq 2|\nabla \text{lip}_x u|^2 + 2K(\text{lip}_x u)^2$$
  Esta é uma analogia parabólica da desigualdade de Bochner para mapas harmônicos.

Significância e Alegações
Os autores alegam fornecer uma "resposta completa" à questão da regularidade Lipschitz para fluxos de calor de mapas harmônicos em espaços métricos singulares, removendo as restritivas suposições de imersão exigidas pelos resultados parciais anteriores (Lin et al.). Os resultados valem para qualquer espaço CAT(0), independentemente da compacidade local.

O artigo enfatiza que a desigualdade de Bochner derivada (Teorema 1.3(ii)) é uma ferramenta significativa, análoga à desigualdade clássica de Eells-Sampson, que é central para teoremas de rigidez na teoria de grupos geométricos. Os autores observam que seus argumentos nas Seções 3, 4 e 5 podem ser adaptados para mapas de espaços RCD para espaços CAT(0), embora a prova de Lipschitz espacial (Seção 7) dependa atualmente da teoria de soluções viscosas, que ainda não está totalmente desenvolvida para equações parabólicas em espaços RCD.

O trabalho baseia-se diretamente na teoria de fluxo de gradiente fundamental de Mayer e Jost e nos métodos recentes de aproximação elíptica de Lin, Segatti, Sire e Wang, estendendo esses frameworks para alcançar regularidade total no espaço-tempo.