Isolated Singularities and Measure Data Problems for Semilinear Equations Driven by Stable Lévy Operators

Resumo Técnico: Singularidades Isoladas e Problemas de Dados de Medida para Equações Semilineares Impulsionadas por Operadores de Lévy Estáveis

Enunciado do Problema
O artigo investiga soluções positivas para equações semilineares impulsionadas por operadores de Lévy estritamente $2s$-estáveis e uniformemente elípticos ($s \in (0, 1)$) em um domínio limitado $D \subset \mathbb{R}^d$ ($d \ge 1$). O estudo foca em dois problemas interconectados:

1. O Problema da Singularidade Isolada: Analisar soluções distributivas positivas para $-Lu = u^p$ no domínio pontuado $D \setminus \{0\}$, onde $L$ é o gerador de um processo de Lévy estritamente $2s$-estável. O operador $L$ é definido via uma medida de Lévy $\nu$ que não é necessariamente simétrica e satisfaz uma condição de não-degenerescência uniforme.
2. O Problema de Dirichlet com Dados de Medida: Estudar o problema de Dirichlet exterior $-Lu = u^p + k\mu$ em $D$ com $u=0$ em $D^c$, onde $\mu$ é uma medida de Borel positiva limitada e $k > 0$ é um parâmetro.

O objetivo principal é estabelecer a existência, propriedades qualitativas e a removibilidade de singularidades, bem como a existência de um parâmetro crítico $k_\mu$ que governa a solvabilidade, sob suposições estruturais gerais que incluem geradores estáveis anisotrópicos e não simétricos.

Metodologia e Novidade
Os autores distinguem explicitamente sua abordagem da literatura existente sobre o Laplaciano fracionário $(-\Delta)^s$. As técnicas padrão para o Laplaciano fracionário dependem fortemente de:

• A extensão de Caffarelli–Silvestre (localizando o operador não local).
• Fórmulas explícitas e estimativas pontuais aguçadas para a função de Green (ex: $G_D(x,y) \asymp G(x,y)(\delta_D(x)/|x-y|)^s (\delta_D(y)/|x-y|)^s$).
• Suavidade da densidade da medida de salto e desigualdades de Harnack específicas.

O artigo observa que essas propriedades específicas não estão disponíveis para geradores de Lévy estáveis generalizados, anisotrópicos e não simétricos. Consequentemente, os autores desenvolvem uma metodologia baseada na teoria do potencial probabilística e em técnicas de teoria do operador, evitando o método de extensão e estimativas de função de Green pontuais.

Principais características metodológicas incluem:

• Espaços de Cauda ($T_\nu(V)$): Para lidar com a natureza não local de $L$, os autores introduzem um espaço de funções $T_\nu(V)$ que garante que $Lu$ seja bem definido como uma distribuição. Este espaço considera a integrabilidade da solução fora do suporte da função de teste.
• Decomposição de Riesz e Fórmula de Dynkin: A análise de singularidades isoladas baseia-se na fórmula de Dynkin e no teorema de decomposição de Riesz para funções excessivas, em vez de argumentos clássicos de regularidade de EDP.
• Compacidade via Teorema de Deny: Para construir soluções para o problema de dados de medida sem supersoluções explícitas (que não estão disponíveis devido à falta de limites pontuais de Green), os autores combinam o teorema de Deny com argumentos probabilísticos para estabelecer a compacidade do operador de Green não linear.
• Métodos de Ponto Fixo e Variacionais: A existência para parâmetros pequenos é derivada via o teorema do ponto fixo de Schauder. A multiplicidade e resultados de estabilidade no caso simétrico utilizam métodos variacionais, especificamente o teorema do Passo de Montanha e funcionais de energia envolvendo divergências de Bregman.

Principais Resultados

1. Removibilidade e Estrutura de Singularidade:

   • Toda solução distributiva positiva $u$ de $-Lu = u^p$ em $D \setminus \{0\}$ pertence ao espaço de cauda $T_\nu(D)$ e satisfaz $-Lu = u^p + k\delta_0$ em $D$ para algum $k \ge 0$.
   • Limiar de Removibilidade: Se $p \ge d/(d-2s)$, então necessariamente $k=0$. A singularidade é removível.
   • Comportamento Assintótico: Se $p < d/(d-2s)$ e $k > 0$, a solução comporta-se assintoticamente como a função de Green $G_D(x, 0)$ próximo à origem ($k G_D(x, 0) \le u(x) \le c k G_D(x, 0)$). Os autores observam que, diferentemente do caso do Laplaciano fracionário isotrópico, o perfil singular não é necessariamente isotrópico ($|x|^{2s-d}$), mas depende da medida espectral e da direção de aproximação.

2. Parâmetro Crítico e Solvabilidade:

   • Para o problema $-Lu = u^p + k\mu$, existe um parâmetro crítico $k_\mu \in (0, \infty)$.
   • Subcrítico ($k < k_\mu$): Uma solução mínima positiva $u_k$ existe.
   • Supercrítico ($k > k_\mu$): Nenhuma solução positiva existe.
   • Crítico ($k = k_\mu$): No máximo uma solução positiva existe.

3. Caso Simétrico (Multiplicidade e Estabilidade):

   • Assumindo que $L$ é simétrico, a solução mínima $u_k$ para $k < k_\mu$ é estável.
   • Multiplicidade: Para todo $k < k_\mu$, existe uma segunda solução positiva $v_k > u_k$.
   • Existência no Limiar: Uma solução existe em $k = k_\mu$, implicando unicidade no parâmetro crítico.

Significância e Alegações
O artigo alega que sua principal contribuição reside não apenas nos resultados em si, mas nos métodos desenvolvidos para estabelecê-los sob amplas suposições estruturais. Os autores afirmam que sua análise demonstra que os fenômenos principais de removibilidade e limiares críticos persistem mesmo quando o operador carece das propriedades analíticas específicas (funções de Green explícitas, suavidade de densidades) tipicamente exigidas na literatura do Laplaciano fracionário.

Ao utilizar o resolvente morto (killed resolvent) e a teoria do potencial probabilística, os autores fornecem um arcabouço sistemático para equações semilineares não locais impulsionadas por geradores de Lévy estáveis gerais. O trabalho estende a teoria clássica de singularidades isoladas (desenvolvida para o Laplaciano e o Laplaciano fracionário por autores como Lions, Brezis, Véron e Chen-Quaas) para o cenário anisotrópico e não simétrico, superando a falta de estimativas pontuais através de argumentos de compacidade funcional-analítica e probabilística.

O artigo conclui que os "principais fenômenos de removibilidade e limiar persistem sob estas amplas suposições estruturais", validando o uso de ferramentas probabilísticas como uma alternativa robusta aos métodos de extensão e estimativas pontuais na análise não local.