Asymptotic behavior of solutions to a planar Hartree equation with isolated singularities

Resumo Técnico: Comportamento Assintótico de Soluções de uma Equação de Hartree Planar com Singularidades Isoladas

Enunciado do Problema
Este artigo investiga o comportamento assintótico de soluções singulares para uma equação do tipo Hartree planar com uma singularidade isolada na origem. A equação principal sob estudo é:
$$-\Delta u(x) = \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) \quad \text{em } B_1 \setminus \{0\} \subset \mathbb{R}^2,$$
onde $\alpha > 0$ e o termo de convolução é definido como $\frac{1}{|x|^\alpha} * e^u = \int_{B_1 \setminus \{0\}} \frac{e^{u(y)}}{|x-y|^\alpha} dy$. Os autores focam em soluções $u \in C^2(B_1 \setminus \{0\})$ que satisfazem a condição de curvatura total finita:
$$\int_{B_1 \setminus \{0\}} \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) dx < +\infty.$$
O estudo é motivado pela necessidade de compreender soluções singulares em problemas geométricos (como curvatura Gaussiana prescrita) e modelos físicos envolvendo interações não locais. Embora existam resultados significativos para equações locais (ex: $-\Delta u = e^u$) e equações de Yamabe de ordem superior, a natureza não local do termo de Hartree em duas dimensões apresenta desafios únicos, particularmente quanto à aplicabilidade de técnicas baseadas em EDOs.

Metodologia
Os autores empregam uma abordagem de Equações Diferenciais Parciais (EDPs), especificamente adaptando métodos usados para equações conformes de ordem superior com singularidades isoladas. A metodologia central envolve:

1. Derivação da Fórmula de Representação: Em vez de depender de técnicas de EDO (que falham devido ao termo de convolução) ou do princípio do máximo (que é comprometido pela não localidade), os autores estabelecem uma fórmula de representação integral para as soluções singulares. Isso é alcançado através da caracterização das singularidades isoladas da equação de Poisson e utilizando a condição de curvatura total finita para controlar o crescimento da solução.
2. Decomposição de Soluções: A solução $u$ é decomposta em três partes: um termo logarítmico singular ($b \ln |x|$), uma parte harmônica (ou poli harmônica) regular ($h$) e um termo de potencial ($v$) gerado pela fonte não local.
3. Análise de Regularidade: Os autores analisam a regularidade do termo de potencial $v$. Ao estabelecer que o termo de fonte pertence a $L^{p_0}_{loc}$ para algum $p_0 > 1$ sob restrições específicas no expoente $b$ e $\alpha$, eles aplicam a teoria de regularidade elíptica padrão (imersão de Sobolev e estimativas $W^{k,p}$) para provar que $v$ é localmente Hölder contínuo.
4. Extensão para Dimensões e Ordens Superiores: A análise é estendida para equações do tipo Hartree de ordem superior em dimensões $n \ge 3$:
   • Dimensões Pares ($n \ge 4$): Para a equação $(-\Delta)^{n/2} u = (\frac{1}{|x|^\alpha} * e^u) e^u$.
   • Dimensões Ímpares ($n \ge 3$): Para a mesma equação interpretada no sentido de distribuição, visto que $(-\Delta)^{n/2}$ torna-se um operador integral não local.
   • Em dimensões superiores, uma condição de decaimento adicional perto da origem, $\int_{B_r \setminus \{0\}} |u(x)| dx = o(r^{n-2})$, é necessária para eliminar termos de derivada de ordem superior na fórmula de representação.
5. Generalização: Os resultados são generalizados para incluir um coeficiente não negativo geral $K(x) \in L^\infty(B_1)$.

Principais Contribuições e Resultados

• Representação Assintótica (Teorema 1.1): Para o caso planar ($n=2$), os autores provam que qualquer solução $u$ que satisfaça a condição de curvatura total finita admite a representação:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  onde $h$ é uma função harmônica suave, $v$ é um potencial integral específico, e $b > -2$ é uma constante. Além disso, se $\alpha \in (0, 2)$ e $b > \frac{\alpha-4}{2}$, a solução comporta-se como $u(x) = \phi(x) + b \ln |x|$ próximo à origem, onde $\phi$ é uma função Hölder contínua.

• Dimensões Pares de Ordem Superior (Teorema 1.2): Para $n \ge 4$ par, sob a condição de curvatura total finita e a condição de decaimento adicional, uma representação semelhante ocorre:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  com $h$ sendo poli harmônica ($(-\Delta)^{n/2} h = 0$) e $b > -n$. A continuidade de Hölder do termo de resto é estabelecida sob a condição $b > \frac{\alpha-2n}{2}$.

• Dimensões Ímpares de Ordem Superior (Teorema 1.4): Para $n \ge 3$ ímpar, tratando a equação no sentido de distribuição, a mesma estrutura assintótica é derivada. Os autores definem soluções no espaço $L^{n/2}(\mathbb{R}^n) \cap C^n(B_1 \setminus \{0\})$ e provam a existência da singularidade logarítmica e do resto Hölder contínuo sob as mesmas restrições de $b$.

• Intervalo de Validade do Coeficiente de Singularidade: O artigo estabelece rigorosamente que a condição $b > \frac{\alpha-2n}{2}$ é necessária para que a condição de curvatura total finita seja satisfeita. Se $b \le \frac{\alpha-2n}{2}$, a integral do termo não local diverge, contradizendo a suposição inicial.

• Extensão para Coeficiente Geral (Observação 1.7): Os autores demonstram que estes resultados se estendem a equações com um coeficiente não negativo limitado $K(x)$, modificando a representação integral de $v$ adequadamente.

Significância e Alegações
O artigo afirma preencher uma lacuna na literatura sobre equações do tipo Hartree com singularidades isoladas em duas dimensões. Enquanto resultados de classificação e assintóticos existem para equações locais (como a equação de curvatura escalar prescrita) e equações de Yamabe locais de ordem superior, a natureza não local do termo de Hartree em $\mathbb{R}^2$ não havia sido suficientemente abordada.

Os autores destacam que sua abordagem baseada em EDPs contorna com sucesso as limitações dos métodos de EDO (que não podem lidar com o termo de convolução) e a quebra do princípio do máximo devido à não localidade. Ao estabelecer uma fórmula de representação e provar a continuidade de Hölder do potencial não local, eles fornecem uma descrição completa do comportamento assintótico das soluções singulares perto da origem. O trabalho também unifica o tratamento de dimensões pares e ímpares para equações de Hartree de ordem superior, estendendo resultados conhecidos da geometria conformal local para configurações não locais.