Optimal stability of complement value problems for p-Lévy operators

Resumo Técnico: Estabilidade Ótima de Problemas de Valor Complementar para Operadores p-Lévy

Enunciado do Problema
Este trabalho investiga o comportamento assintótico de soluções fracas de equações integro-diferenciais não locais (IDEs) governadas por operadores p-Lévy simétricos à medida que o alcance da interação não local desaparece. Especificamente, o artigo estuda a convergência das soluções do problema de valor complementar não local $(P_{\nu_\varepsilon, \tau})$ para as soluções do correspondente problema de valor de fronteira local p-Laplaciano $(P_\tau)$ à medida que o parâmetro $\varepsilon \to 0$.

O problema não local é definido em um conjunto aberto $\Omega \subset \mathbb{R}^d$ com seu complementar $\Omega^c$, governado pelo operador:
$$\mathcal{L}_\varepsilon u(x) = 2 \text{ p.v.} \int_{\mathbb{R}^d} |u(x) - u(y)|^{p-2}(u(x) - u(y)) \nu_\varepsilon(x-y) \, dy$$
sujeito a condições de complementaridade de Dirichlet não local ($\tau=0$) ou Neumann ($\tau=1$) em $\Omega^c$. A sequência de kernels $(\nu_\varepsilon)_\varepsilon$ é uma família de kernels p-Lévy radiais aproximando a identidade, satisfazendo condições específicas de normalização (e.g., $\int_{\mathbb{R}^d} (1 \wedge |h|^p)\nu_\varepsilon(h) dh = 1$). O objetivo é estabelecer convergência ótima, significando convergência forte nos espaços de energia não local naturais $W^p_{\nu_\varepsilon}(\Omega)$ e $W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)$, em vez de meramente em $L^p(\Omega)$.

Metodologia
A análise baseia-se em uma combinação de métodos variacionais, análise assintótica de formas não locais e a teoria de espaços de traço.

1. Análise da Forma de Energia: Os autores analisam a convergência das formas bilineares não locais $E_\varepsilon(\cdot, \cdot)$ (e suas variantes $E_\varepsilon^\Omega$, $E_\varepsilon^+$, e a forma de fronteira cruzada $E_\varepsilon^{cr}$) para a forma de Dirichlet local $E_0(u, v) = \int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla v \, dx$. Um passo crucial é estabelecer a semi-convergência assintótica dessas formas, que caracteriza a convergência das soluções mesmo quando a sequência de funções depende de $\varepsilon$.
2. Linearização Uniforme: Para lidar com a não linearidade dos operadores p-Lévy (para $1 < p < \infty$), o artigo emprega estimativas de linearização uniforme (Teorema 2.4, 2.6) que relacionam a diferença de formas à energia da diferença de funções. Isso permite aos autores controlar a convergência dos termos não lineares.
3. Robustez dos Espaços de Traço: Uma parte significativa do trabalho é dedicada a provar a robustez dos espaços de traço não local $T^p_{\nu_\varepsilon}(\Omega^c)$ à medida que $\varepsilon \to 0$. Os autores demonstram que esses espaços convergem para o espaço de traço local $W^{1-1/p, p}(\partial\Omega)$ em um sentido forte, incluindo a convergência de operadores de levantamento. Isso é essencial para lidar com condições de fronteira de Dirichlet onde dados são prescritos em $\Omega^c$.
4. $\Gamma$-Convergência e Compacidade: A convergência das soluções é enquadrada através da $\Gamma$-convergência dos funcionais de energia associados $J_\varepsilon$ para o funcional local $J$. Devido à incompatibilidade de domínio (funções não locais são definidas em $\mathbb{R}^d$, locais em $\Omega$), os autores utilizam resultados de compacidade assintótica (Teorema 2.18) e desigualdades de Poincaré uniformes para garantir a existência de subsequências convergentes e a identificação do limite.

Principais Contribuições e Resultados

• Convergência Ótima das Soluções: O resultado primário (Seção 5) estabelece que, sob suposições adequadas de convergência fraca/forte assintótica dos dados ($f_\varepsilon, g_\varepsilon$), a sequência de soluções fracas $(u_\varepsilon)_\varepsilon$ converge fortemente para a solução local $u$ nas normas não locais ótimas:
  $$\lim_{\varepsilon \to 0} \|u_\varepsilon - u\|_{W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)} = 0$$
  Isso implica o colapso do termo de energia de fronteira cruzada: $\lim_{\varepsilon \to 0} E_\varepsilon^{cr}(u_\varepsilon, u_\varepsilon) = 0$.
• Robustez dos Espaços de Traço Não Locais: O artigo prova que os espaços de traço não local $T^p_{\nu_\varepsilon}(\Omega^c)$ convergem para o espaço de traço local $W^{1-1/p, p}(\partial\Omega)$. Especificamente, se uma sequência de dados de fronteira converge na norma de traço não local, o limite das normas coincide com a norma de traço local (Teorema 3.5). Além disso, existem operadores de levantamento direito robustos que convergem fortemente para o operador de levantamento local.
• Semi-Convergência Assintótica: Os autores estabelecem uma forma generalizada de semi-convergência para as formas de energia $E_\varepsilon$ para $E_0$ (Teorema 2.16, 2.17). Este resultado vale sob suposições de regularidade moderada no domínio (e.g., domínios de extensão $W^{1,p}$) ou quando uma das funções se anula na fronteira, estendendo resultados anteriores sobre convergência de formas.
• Caso do p-Laplaciano Fracionário: A teoria geral é aplicada ao p-Laplaciano fracionário $(-\Delta)^s_p$ à medida que $s \to 1^-$. O artigo mostra que as soluções dos problemas de valor complementar fracionário convergem fortemente para as soluções locais do p-Laplaciano (Seção 6). Este resultado é notado como novo mesmo para o p-Laplaciano fracionário.
• Convergência de Espaços Duais: Os espaços duais dos espaços de Sobolev não locais são mostrados como convergindo para seus equivalentes locais (Teorema 3.9), garantindo a estabilidade das formulações variacionais.

Significado e Alegações
O artigo afirma fornecer o resultado de convergência ótimo para limites de não local para local de operadores p-Lévy. Trabalhos anteriores (incluindo a pesquisa anterior do autor [24]) estabeleceram convergência forte apenas em $L^p(\Omega)$ sob suposições relaxadas. Este trabalho fortalece o resultado para a norma de energia, que é a topologia natural para estes problemas variacionais.

Os autores enfatizam que a escolha da sequência de kernels $(\nu_\varepsilon)_\varepsilon$ satisfazendo a condição (1.1) é "essencialmente ótima" porque é intrínseca à caracterização da norma do gradiente local via diferenças não locais (Eq. 1.3), estendendo trabalho seminal de Brezis, Bourgain e Mironescu.

A robustez dos espaços de traço é destacada como um componente crucial da abordagem, permitindo um tratamento rigoroso de condições de fronteira não locais que convergem para condições de fronteira locais. O artigo afirma explicitamente que nenhuma convergência mais forte pode ser esperada em geral, pois as soluções não locais $u_\varepsilon$ pertencem a $W^p_{\nu_\varepsilon}(\Omega)$ enquanto o limite $u$ pertence a $W^{1,p}(\Omega)$, e as normas são distintas.

Os resultados unificam o tratamento de problemas de complementaridade de Dirichlet e Neumann e aplicam-se tanto ao operador não local completo quanto a operadores regionais (onde as interações são restritas a $\Omega$). As descobertas são apresentadas como uma generalização da literatura existente para $p=2$ e casos fracionários, fornecendo um quadro abrangente para $1 < p < \infty$.