Convergence of the fractional Yamabe flow for arbitrary initial energy

Resumo Técnico: Convergência do Fluxo de Yamabe Fracionário para Energia Inicial Arbitrária

Enunciado do Problema
O artigo aborda a convergência do fluxo de Yamabe fracionário, uma equação de evolução geométrica definida em uma variedade fechada $M$ que é a infinidade conformal de uma variedade de Poincaré-Einstein $(X, g_+)$. O fluxo busca evoluir uma métrica $g(t)$ dentro de uma dada classe conformal para uma com curvatura escalar fracionária constante $R^g_\gamma$. Enquanto o fluxo de Yamabe clássico (correspondente a $\gamma=1$) teve sua convergência provada para energia inicial arbitrária por Brendle (2005), o caso fracionário ($\gamma \in (0,1)$) havia sido estabelecido anteriormente apenas sob uma restritiva suposição de "pequena energia inicial" (Chan, Sire, e Sun, 2021). O objetivo primário deste trabalho é remover essa restrição de energia e provar a convergência forte para energia inicial arbitrária, desde que a Conjectura da Massa Positiva fracionária seja válida.

Metodologia
Os autores adaptam a estratégia pioneira de Brendle para o caso local ao cenário fracionário não local. A dificuldade central reside na não localidade do Laplaciano fracionário conformal $P^g_\gamma$, que impede a aplicação direta de regras de produto pontuais utilizadas na análise de EDPs locais. Para superar isso, os autores empregam as seguintes técnicas:

1. Problema de Extensão: Eles utilizam o problema de extensão do tipo Caffarelli-Silvestre, elevando o problema para uma variedade de dimensão superior $(X, g_+)$ onde o operador fracionário é realizado como um mapa de Dirichlet-para-Neumann.
2. Análise de Blow-up: A prova baseia-se em uma análise detalhada de blow-up da sequência de soluções $u_\nu$ conforme $t \to \infty$. Os autores decompõem a solução em uma parte "regular" $u_\infty$ e uma soma de "bolhas" (soluções concentrantes) centradas em pontos $x_{k,\nu}$ com escalas $\epsilon_{k,\nu}$.
3. Tratamento de Interações Não Locais: Uma parte significativa do trabalho técnico envolve a derivação de estimativas precisas para a interação entre essas bolhas e a geometria de fundo. Especificamente, os autores comparam as versões "colar-e-estender" (glue-and-extend) e "estender-e-colar" (extend-and-glue) da bolha de Schoen (construída anexando funções de Green a bolhas fracionárias padrão). Eles derivam novas estimativas de gradiente pontual e assintóticas para o núcleo de Poisson de Laplacianos conformais fracionários, baseando-se no trabalho recente de Mayer e Ndiaye.
4. Ortogonalidade e Projeção: No caso em que a função limite $u_\infty$ é não nula, os autores constroem perturbações de dimensão finita $\bar{u}_z$ de $u_\infty$ que satisfazem condições de ortogonalidade específicas em relação ao núcleo do operador linearizado. Isso permite controlar o funcional de energia via um operador de projeção $\Pi$.

Principais Contribuições e Resultados
O artigo estabelece o seguinte teorema principal:

• Teorema 1.2: Seja $n \ge 2$ e $\gamma \in (0,1)$. Assumindo que a energia de Yamabe fracionária $Y_\gamma(M, [g_0]) > 0$, a condição do primeiro autovalor $\lambda_1(g_+) \ge n^2/2 - \gamma^2$, o desaparecimento da curvatura média $H=0$ (se $\gamma \in (1/2, 1)$), e a validade da Conjectura da Massa Positiva (com $A_0 > 0$), o fluxo de Yamabe fracionário converge fortemente para arbitrária energia inicial.

A prova prossegue estabelecendo uma estimativa fundamental (Proposição 2.1) que limita a diferença entre a atual curvatura média $s_\gamma(t_\nu)$ e o limite $s_\infty$ por um termo de ordem superior da norma $L^p$ do desvio de curvatura. Esta estimativa é derivada pela análise de dois casos distintos:

1. Limite Nulo ($u_\infty \equiv 0$): A solução se concentra inteiramente em bolhas. Os autores mostram que a energia da solução é limitada pela soma das energias das bolhas, levando a uma contradição, a menos que o número de bolhas seja zero ou o fluxo converja.
2. Limite Não Nulo ($u_\infty > 0$): A solução converge para uma solução não trivial mais bolhas. Os autores utilizam as propriedades espectrais do operador linearizado em torno de $u_\infty$ e as perturbações construídas $\bar{u}_z$ para derivar estimativas de decaimento de energia.

Uma contribuição técnica crucial é a derivação de uma nova estimativa de gradiente pontual (Equação 3.10) e o tratamento rigoroso dos termos de interação entre as bolhas no cenário não local, que eram obstáculos anteriores à extensão do argumento de Brendle.

Significância e Alegações
Os autores afirmam que este trabalho resolve a teoria de convergência esperada para o fluxo de Yamabe fracionário, espelhando o resultado clássico de Brendle, mas adaptado ao cenário fracionário não local. O artigo afirma explicitamente que a remoção da suposição de pequena energia é o principal avanço.

A significância do resultado é condicional: a convergência é provada "sempre que a conjectura da massa positiva (fracionária) for válida". Os autores reconhecem que a Conjectura da Massa Positiva para operadores fracionários permanece um problema em aberto devido à não localidade e à falta de ferramentas, mas procedem assumindo sua validade para demonstrar o mecanismo de convergência.

O artigo não pretende provar a Conjectura da Massa Positiva em si, nem propõe novas aplicações experimentais. Em vez disso, fornece um arcabouço analítico rigoroso mostrando que, se a condição de massa geométrica for válida, o fluxo se comporta bem independentemente do nível de energia inicial. Os autores observam que, embora a convergência seja declarada em um sentido de Hölder no teorema principal, a teoria de regularidade parabólica padrão sugere que a convergência é, na verdade, suave ($C^\infty$).