$s$-harmonic functions in the small order limit

Resumo Técnico: FUNÇÕES s-HARMÔNICAS NO LIMITE DE ORDEM PEQUENA

Enunciado do Problema
Este artigo investiga o comportamento assintótico e as propriedades de diferenciabilidade de famílias de funções $u_s$ que satisfazem a equação de Laplace fracionária $(-\Delta)^s u_s = 0$ em um domínio limitado e suave $\Omega \subset \mathbb{R}^N$ à medida que o parâmetro de ordem $s$ tende a zero ($s \to 0^+$). Enquanto o limite $s \to 1^-$ corresponde à convergência para funções harmônicas clássicas, o limite $s \to 0^+$ é distinto porque o Laplaciano fracionário $(-\Delta)^s$ tende formalmente ao operador identidade. Os autores concentram-se no problema de Dirichlet não homogêneo onde $u_s = g$ em $\mathbb{R}^N \setminus \Omega$ para um dado exterior fixo $g \in L^\infty(\mathbb{R}^N \setminus \Omega)$. As questões centrais abordadas são:

1. Sob quais condições sobre $g$ a família $(u_s)_s$ converge quando $s \to 0^+$?
2. O mapa solução $s \mapsto u_s$ é diferenciável em $s=0$ e, se for, pode a derivada ser expressa via o Laplaciano logarítmico?
3. Quais são as propriedades de monotonicidade de $u_s$ em relação a $s$ para $s \in (0, 1)$ geral?

Metodologia
A análise baseia-se numa combinação de representações integrais explícitas, expansões assintóticas de núcleos e técnicas de análise funcional envolvendo espaços ponderados.

• Representação de Poisson: Os autores utilizam a representação explícita do núcleo de Poisson para funções $s$-harmônicas em bolas e domínios gerais. Isso permite a derivação de estimativas uniformes e a análise da "planicidade" das soluções à medida que $s \to 0$.
• Expansão Assintótica: A ferramenta analítica central é a expansão do Laplaciano fracionário próximo a $s=0$: $(-\Delta)^s u = u + s L_\Delta u + o(s)$, onde $L_\Delta$ é o Laplaciano logarítmico. Os autores justificam rigorosamente esta expansão para os problemas de valor de fronteira específicos considerados.
• Análise de Núcleos: Estimativas detalhadas são fornecidas para o núcleo de Poisson fracionário $P_s(x, y)$ e o núcleo de Poisson complementar $P^c_s$. Especificamente, o artigo estabelece o limite $\lim_{s \to 0} P_s(x, y)/s = c_N |x-y|^{-N}$ e analisa a convergência de integrais envolvendo estes núcleos contra o dado exterior $g$.
• Diferenciabilidade: Para estudar a diferenciabilidade do mapa $s \mapsto u_s$ para $s > 0$ fixo, os autores empregam o operador de Green $G_s$ e o operador de Riesz. Eles decompõem o dado exterior $g$ em componentes com suporte compacto e componentes que se anulam para tratar a regularidade e o decaimento separadamente, utilizando a propriedade de semigrupo dos Laplacianos fracionários localmente.

Principais Contribuições e Resultados

1. Planicidade de Soluções Limitadas (Teorema 1.1):
   Os autores provam que qualquer família uniformemente limitada de funções $s$-harmônicas $u_s$ em $\Omega$ torna-se assintoticamente plana à medida que $s \to 0^+$. Especificamente, $\inf_{c \in \mathbb{R}} \|u_s - c\|_{L^\infty(K)} \to 0$ para qualquer compacto $K \subset \Omega$. Isso é estabelecido via uma representação de Poisson local e um argumento de cadeia de bolas, estendendo desigualdades de Harnack conhecidas para o limite de ordem pequena.

2. Convergência e Expansão de Primeira Ordem (Teorema 1.3):
   Para o problema de Dirichlet com dado exterior $g$, o artigo estabelece condições para a convergência.

   • Se as médias esféricas de $g$ no infinito convergem para uma constante $c_g$, então $u_s \to c_g$ quase uniformemente em $\Omega$.
   • Se, adicionalmente, o decaimento de $g - c_g$ satisfaz uma condição de integrabilidade ($\int_1^\infty |\tilde{g}(r) - c_g|/r \, dr < \infty$), uma expansão de primeira ordem é derivada:
     $$u_s = c_g + s L_g + o(1) \quad \text{em } \Omega,$$
     onde $L_g$ é explicitamente dada por uma integral de valor principal envolvendo $g - c_g$. Este termo $L_g$ é identificado como a restrição de $-L_\Delta(g \mathbf{1}_{\mathbb{R}^N \setminus \Omega} - c_g)$ a $\Omega$.
   • O artigo também fornece uma desigualdade de Harnack limite para as soluções reescaladas $u_s/s$ quando $c_g = 0$.

3. Contraexemplo de Não Convergência (Teorema 1.6):
   Os autores constroem um contraexemplo mostrando que, se as médias esféricas de $g$ não convergem no infinito, a família $u_s$ pode falhar em convergir quando $s \to 0^+$. Especificamente, para a bola unitária, existe um $g$ limitado tal que $\limsup_{s \to 0^+} u_s(x) = 1$ e $\liminf_{s \to 0^+} u_s(x) = 0$ para algum $x \in \Omega$.

4. Diferenciabilidade do Mapa Solução (Teorema 1.7):
   Para $g \in L^\infty(\mathbb{R}^N) \cap C^\alpha(U)$, o mapa $s \mapsto u_s$ é mostrado ser de classe $C^1$ em $(0, \alpha/2)$. A derivada $\partial_s u_s$ é caracterizada como a solução única de um problema de Dirichlet fracionário envolvendo o Laplaciano logarítmico $L_\Delta$ e o operador fracionário-logarítmico $(-\Delta)^{s+\log}$. A fórmula explícita para a derivada é:
   $$(-\Delta)^s (\partial_s u_s) = P^c_s ((-\Delta)^s g|_\Omega) + L_\Delta(\mathbf{1}_\Omega (-\Delta)^s g) - (-\Delta)^{s+\log} g \quad \text{em } \Omega.$$

5. Monotonicidade (Corolário 1.9):
   Um critério suficiente para a monotonicidade pontual de $u_s(x)$ em relação a $s$ é derivado. Se $(-\Delta)^s g \geq 0$ (ou $\leq 0$) em $\mathbb{R}^N$ para todo $s$ num intervalo, então $s \mapsto u_s(x)$ é crescente (ou decrescente) para cada $x \in \Omega$. O artigo observa que isso se aplica a potenciais newtonianos de funções não negativas, onde o sinal de $(-\Delta)^s g$ é preservado devido à propriedade de semigrupo dos núcleos de Riesz.

Significado
O artigo fornece uma base matemática rigorosa para compreender o "limite de ordem zero" de problemas do Laplaciano fracionário. Seu significado principal reside na identificação do Laplaciano logarítmico como o operador natural que governa a correção de primeira ordem das funções $s$-harmônicas à medida que $s \to 0$. Isso preenche a lacuna entre o Laplaciano fracionário e o operador identidade, oferecendo uma descrição precisa do regime de transição. Além disso, os resultados sobre diferenciabilidade e monotonicidade fornecem novas ferramentas para analisar a dependência das soluções não locais em relação ao parâmetro de ordem, o que é crucial para problemas inversos e otimização envolvendo operadores fracionários. O trabalho estende estudos anteriores sobre problemas de Dirichlet homogêneos para o caso não homogêneo mais geral com dados exteriores, esclarecendo o papel do comportamento dos dados no infinito na convergência das soluções.