Robust interpolation inequalities via Chebyshev-type integral inequalities

Resumo Técnico: Desigualdades de Interpolação Robustas via Desigualdades Integrais do Tipo Chebyshev

Enunciado do Problema
O artigo aborda a falta de robustez nas desigualdades clássicas de interpolação log-côncava na escala das semínorms de Gagliardo. Estimativas de interpolação padrão, tais como $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$, falham em permanecer consistentes conforme a ordem fracionária $\eta$ se aproxima dos extremos $0$ ou $1$. Especificamente, as semínorms $|u|_{W^{\eta,p}}$ exibem um comportamento de explosão singular conforme $\eta \to 0^+$ e $\eta \to 1^-$ para funções não constantes. Embora trabalhos anteriores (Brezis–Bourgain–Mironescu [BBM01] e Maz'ya–Shaposhnikova [MS02]) tenham estabelecido limites assintóticos envolvendo fatores como $\eta(1-\eta)$ para anular essas singularidades, uma desigualdade de interpolação unificada e robusta que evitasse essas anomalias em toda a escala $s \in [0,1]$ não havia sido totalmente estabelecida com constantes independentes da dimensão.

A motivação primária deste trabalho é o estudo da estabilidade assintótica de soluções fracas para o problema de Dirichlet regional associado ao $p$-Laplaciano fracionário regional $(-\Delta)^s_{p,\Omega}$ conforme a ordem fracionária $s$ se aproxima de $1$. Os autores visam estabelecer resultados de convergência que sejam uniformes em relação a $s$.

Metodologia
A metodologia central baseia-se em uma decomposição da semínorma de Gagliardo em interações de curto alcance (local) e longo alcance (não local), definidas via o módulo de continuidade $L^p$ médio $U(t)$.

1. Decomposição: A semínorma de Gagliardo é dividida em integrais sobre curtas distâncias ($0 < |x-y| \leq r$) e longas distâncias ($|x-y| > r$). Estas correspondem à interação de curto alcance $L_p(s, u, r)$ e à interação de longo alcance (cauda fracionária) $T_p(s, u, r)$.
2. Desigualdades do Tipo Chebyshev: Uma parte significativa do artigo (Seção 2) é dedicada ao estabelecimento de novas desigualdades integrais para funções gerais não síncronas (e não assíncronas). Os autores generalizam a desigualdade de Chebyshev clássica para casos de $(b,c)$-sincronicidade e monotonicidade fraca. Estas desigualdades são aplicadas a integrais singulares da forma $\int g(t) t^{z-1} dt$ para provar propriedades de monotonicidade dos termos de interação em relação à ordem fracionária $s$.
3. Análise de Monotonicidade: Os autores provam que o mapa $s \mapsto L_p(s, u, r)$ é crescente, enquanto $s \mapsto T_p(s, u, r)$ é essencialmente decrescente (especificamente, "2-quase decrescente" para $d \geq 2$). Esta monotonicidade é a pedra angular para derivar as estimativas de interpolação robustas.
4. Renormalização: O artigo utiliza semínormas renormalizadas específicas $[u]_{W^{s,p}}$ e $[u]^*_{W^{s,p}}$, incorporando constantes de normalização (ex: $s(1-s)$ e constantes relacionadas ao Laplaciano fracionário) para garantir limites consistentes quando $s \to 0$ e $s \to 1$.

Principais Contribuições e Resultados

• Desigualdades de Interpolação Robustas (Teorema 1.1): O artigo estabelece desigualdades de interpolação log-côncavas robustas para semínormas renormalizadas $[u]_{W^{\eta,p}}$ e semínormas de Gagliardo $|u|_{W^{\eta,p}}$. Estas desigualdades são válidas para todo $0 \leq \sigma < \eta < s \leq 1$ com constantes que permanecem limitadas e bem definidas conforme $\eta \to 0$ ou $\eta \to 1$.

  • Para a semínorma renormalizada, a desigualdade assume a forma $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$, onde a constante $N_p$ é independente da dimensão e limitada.
  • No caso específico $p=2$, os autores derivam uma estimativa mais aguda com uma constante igual a $1$ para as semínormas de Sobolev renormalizadas, utilizando a transformada de Fourier.

• Monotonicidade das Interações (Teorema 1.3): Os autores provam que a interação de curto alcance $L_p(s, u, r)$ é contínua e crescente em $s$, enquanto a interação de longo alcance $T_p(s, u, r)$ é contínua e essencialmente decrescente (até um fator de 2 para $d \geq 2$). Isso confirma que $L_p$ captura a regularidade local (convergindo para a norma do gradiente quando $s \to 1$) e $T_p$ captura o comportamento não local (convergindo para a norma $L^p$ quando $s \to 0$).

• Análise Assintótica (Seção 4): O artigo fornece uma abordagem relativamente simples para os limites assintóticos das semínormas fracionárias quando $s \to 0^+$ e $s \to 1^-$, recuperando os resultados de Maz'ya–Shaposhnikova e Brezis–Bourgain–Mironescu. Também generaliza a fórmula de Maz'ya–Shaposhnikova para conjuntos abertos arbitrários $\Omega$, caracterizando o limite via um "setor de escape" $S_\Omega(x)$.

• Convergência de Problemas de Dirichlet Regionais (Teorema 1.4): Como principal aplicação, o artigo prova a convergência forte de soluções fracas $u_s$ do problema de Dirichlet do $p$-Laplaciano fracionário regional para a solução fraca $u_1$ do problema do $p$-Laplaciano local. Especificamente, se os dados convergirem apropriadamente, então $\|u_s - u_1\|_{W^{\eta,p}(\Omega)} \to 0$ para todo $0 \leq \eta < 1$ conforme $s \to 1^-$. Este resultado baseia-se nas desigualdades de interpolação robustas e em uma nova desigualdade de Poincaré–Friedrichs regional robusta.

• Resolução de Problema Aberto: A desigualdade de interpolação robusta estabelecida aqui fornece uma resposta positiva a uma questão levantada em [BSY23, Questão 1.10] sobre a robustez da interpolação em um cenário geral.

Significância e Alegações
O artigo alega que sua principal contribuição é o estabelecimento de desigualdades de interpolação robustas que evitam as singularidades nos extremos da escala fracionária. Ao decompor a semínorma e utilizar desigualdades do tipo Chebyshev generalizadas, os autores alcançam estimativas onde as constantes são independentes da proximidade do parâmetro fracionário com $0$ ou $1$.

A significância deste trabalho reside em sua aplicação ao estudo da estabilidade de limites não local-para-local. Os autores demonstram que estas desigualdades são suficientes para provar a convergência forte das soluções do $p$-Laplaciano fracionário regional para o $p$-Laplaciano local, um resultado que requer controle uniforme sobre as semínormas conforme $s \to 1$. O artigo também destaca uma lacuna na dimensão $d=1$ quanto à monotonicidade da interação de longo alcance, formulando uma conjectura para uma constante $C_p$ neste caso, enquanto observa que os resultados estabelecidos são válidos para $d \geq 2$.

O trabalho é apresentado como um avanço técnico na análise de espaços de Sobolev fracionários, fornecendo ferramentas (operadores de extensão robustos, monotonicidade de integrais singulares) que facilitam o estudo de comportamentos assintóticos em problemas não locais.