Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

Resumo Técnico: Estabilidade Ótima do Problema de Dirichlet para o $p$-Laplaciano Fracionário Regional

Enunciado do Problema
Este artigo investiga o comportamento assintótico do problema de valor de contorno de Dirichlet associado ao $p$-laplaciano fracionário regional, denotado por $(-\Delta)^s_{p,\Omega}$, conforme $s$ se aproxima de 1 por baixo ($s \to 1^-$). O problema é definido em um domínio Lipschitz limitado $\Omega \subset \mathbb{R}^d$ com $1 < p < \infty$ e $sp > 1$. A equação é dada por:
$$\begin{cases} (-\Delta)^s_{p,\Omega} u_s = f_s & \text{em } \Omega, \\ \gamma^s_0(u_s) = g_s & \text{em } \partial\Omega, \end{cases}$$
onde $\gamma^s_0$ é o operador de traço que mapeia $W^{s,p}(\Omega)$ para o espaço de traço fracionário $W^{s-1/p,p}(\partial\Omega)$. O operador é normalizado por uma constante $C_{d,p,s}$ para garantir um comportamento assintótico consistente conforme $s \to 1^-$ (recuperando o $p$-laplaciano clássico $-\Delta_p$) e conforme $s \to 0^+$.

O objetivo primário é estabelecer a estabilidade ótima (convergência forte no espaço de energia natural) das soluções fracas $u_s$ para a solução limite $u_1$ quando $s \to 1^-$. Um objetivo secundário é analisar a estabilidade assintótica dos pares de autovalores e autofunções de Dirichlet $(\lambda_s, \phi_s)$ associados.

Metodologia e Estrutura
A análise baseia-se em vários componentes técnicos fundamentais:

1. Definições de Convergência Assintótica: Como os espaços subjacentes $W^{s,p}_0(\Omega)$ e os espaços de traço variam com $s$, a convergência fraca padrão é insuficiente. O autor introduz:

   • Convergência Fraca Assintótica: Uma sequência de funcionais $(f_s)$ converge fracamente de forma assintótica para $f_1$ se permanecer limitada e satisfizer uma propriedade de convergência fraco-forte contra sequências que convergem fortemente em $L^p$.
   • Convergência Forte Assintótica: Os dados de contorno $(g_s)$ convergem fortemente para $g_1$ nas normas de traço apropriadas.

2. Interpolação Robusta e Compacidade: A prova utiliza desigualdades de interpolação robustas (emprestadas de Foghem [19]) para estabelecer a compacidade da sequência de soluções $(u_s)$ em $W^{\eta,p}(\Omega)$ para $1/p < \eta < 1$. Esta compacidade é crucial para lidar com o comportamento na fronteira, que é notado como uma dificuldade significativa.

3. Assintótica dos Espaços de Traço: Uma parte substancial do trabalho é dedicada às propriedades assintóticas dos espaços de traço $W^{s-1/p,p}(\partial\Omega)$. O autor prova que esses espaços convergem para o espaço de traço clássico $W^{1-1/p,p}(\partial\Omega)$ conforme $s \to 1^-$. Isso inclui estabelecer a compacidade assintótica de famílias limitadas nesses espaços de traço e fornecer uma caracterização de $W^{1-1/p,p}(\partial\Omega)$ via o liminf das normas.

4. Desigualdades de Poincaré-Friedrichs Robustas: O artigo estabelece várias variantes de desigualdades do tipo Poincaré que são válidas uniformemente para $s$ próximo de 1. Estas desigualdades são essenciais para provar a coercividade dos funcionais de energia e a boa colocação (well-posedness) do problema.

5. $\Gamma$-Convergência: Os funcionais de energia associados ao problema de Dirichlet mostram-se $\Gamma$-convergentes na topologia forte de $W^{\eta,p}(\Omega)$. Isso fornece um arcabouço variacional para a convergência dos minimizadores.

Principais Contribuições e Resultados

• Teorema 1.1 (Estabilidade Ótima de Soluções): Sob as suposições de convergência fraca assintótica para o termo de fonte $f_s$ e convergência forte assintótica para os dados de contorno $g_s$, a sequência de soluções fracas $u_s$ converge fortemente para a solução fraca única $u_1$ do problema limite no sentido ótimo:
  $$\lim_{s \to 1^-} \|u_s - u_1\|_{W^{s,p}(\Omega)} = 0.$$
  Este resultado melhora descobertas anteriores (ex: Foghem [19]) que estabeleciam apenas a convergência em $W^{\eta,p}(\Omega)$ para $\eta < 1$.

• Teorema 1.2 (Estabilidade de Pares de Autovalores/Autofunções): Para os pares de autovalores e autofunções de Dirichlet $(\lambda_s, \phi_s)$ normalizados do $p$-laplaciano fracionário regional, existe uma subsequência $s_n \to 1^-$ tal que os autovalores convergem ($\lambda_{s_n} \to \lambda_1$) e as autofunções convergem fortemente na norma de energia:
  $$\lim_{n \to \infty} \|\phi_{s_n} - \phi_1\|_{W^{s_n,p}(\Omega)} = 0.$$

• Caracterização do Espaço de Traço (Teoremas 3.3 & 3.4): O artigo estabelece a compacidade assintótica dos espaços de traço $W^{s-1/p,p}(\partial\Omega)$ e caracteriza o espaço limite $W^{1-1/p,p}(\partial\Omega)$ através da limitação do liminf das normas fracionárias.

• Desigualdades Robustas (Seção 4): O autor deriva desigualdades de Poincaré e Friedrichs robustas que são válidas uniformemente para $s \in (s_0, 1)$, incluindo casos com condições de contorno parciais em um subconjunto $\Gamma_0 \subset \partial\Omega$ com medida de Hausdorff positiva.

Significância e Alegações
O artigo alega que a convergência das soluções fracas para o problema de Dirichlet associado ao $p$-laplaciano fracionário regional é um resultado novo. A significância reside em alcançar a convergência ótima (convergência forte na norma $W^{s,p}$) em vez da convergência mais fraca em $W^{\eta,p}$ para $\eta < 1$ estabelecida na literatura anterior.

O autor enfatiza que a principal dificuldade nesta análise provém do comportamento das soluções fracas próximo à fronteira $\partial\Omega$. Ao estabelecer a robustez do operador de traço e as propriedades assintóticas dos espaços de traço, o artigo supera este obstáculo. Os resultados servem como uma ponte entre problemas variacionais não locais e problemas locais clássicos, fornecendo uma base rigorosa para o limite $s \to 1^-$ no contexto de operadores regionais com condições de contorno não homogêneas. O trabalho também contribui para a literatura sobre assintóticas não local-para-local, estendendo os resultados do $p$-laplaciano fracionário total (definido em $\mathbb{R}^d$) para o caso regional (definido em um domínio limitado).