Maz'ya-type bounds for sharp constants in fractional Poincaré-Sobolev inequalities

Resumo Técnico: Limites do Tipo Maz'ya para Constantes Ótimas em Desigualdades de Poincaré-Sobolev Fracionárias

1. Problema e Contexto

O artigo aborda a caracterização das constantes ótimas (ou "sharp constants") em desigualdades de Poincaré-Sobolev fracionárias associadas a um conjunto aberto $\Omega \subseteq \mathbb{R}^N$. O objetivo central é estabelecer estimativas de duas vias (limites inferior e superior) para a quantidade variacional $\lambda^s_{p,q}(\Omega)$, definida como:

$$\lambda^s_{p,q}(\Omega) := \inf_{u \in C^\infty_0(\Omega), \|u\|_{L^q}=1} [u]^p_{W^{s,p}(\mathbb{R}^N)},$$

onde $[u]_{W^{s,p}}$ é a seminorma de Gagliardo-Slobodeckii.

O Desafio Principal:
Em contraste com o caso local ($s=1$), onde a positividade da constante de Poincaré está intimamente ligada ao raio de inércia (inradius) do domínio, no caso fracionário ($0 < s < 1$), a mera finitude do raio de inércia $r_\Omega$ não é suficiente para garantir que $\lambda^s_{p,q}(\Omega) > 0$. Isso ocorre porque as frequências fracionárias são insensíveis a perturbações de capacidade nula (conjuntos compactos de capacidade relativa $(s,p)$ nula).

Portanto, o problema é encontrar um análogo não-local do raio de inércia de capacidade (introduzido por Maz'ya e Shubin no caso local) que caracterize corretamente a positividade e forneça limites precisos para as constantes ótimas, mantendo o comportamento assintótico correto quando $s \to 0$ e $s \to 1$.

2. Metodologia

Os autores desenvolvem uma abordagem que transpõe as técnicas clássicas de Maz'ya para o contexto não-local, enfrentando dificuldades técnicas significativas devido à natureza não-local dos operadores fracionários.

• Definição de Novos Objetos Geométricos: Introduzem o raio de inércia de capacidade fracionária $R^s_{p,\gamma}(\Omega)$. Um conjunto compacto $\Sigma \subset B_r(x_0)$ é considerado $(s,p,\gamma)$-negligível se a sua capacidade relativa for pequena em comparação com a capacidade da bola inteira. O raio $R^s_{p,\gamma}(\Omega)$ é o supremo dos raios $r$ tais que existe uma bola onde a parte fora de $\Omega$ é negligível.
• Novas Desigualdades de Poincaré-Maz'ya: O cerne da prova reside na derivação de novas desigualdades de Poincaré-Maz'ya fracionárias. Diferentemente de tentativas anteriores que usavam versões diretas das desigualdades locais, os autores introduzem uma seminorma assimétrica definida em "faixas" (strips):
  $$\left( \iint_{B_r(x_0) \times \mathbb{R}^N} \frac{|u(x) - u(y)|^p}{|x-y|^{N+sp}} dx dy \right)^{1/p}.$$
  Esta escolha é crucial, pois esta seminorma exibe o comportamento assintótico correto (convergindo para a norma $L^p$ quando $s \to 0$ e para a norma do gradiente quando $s \to 1$), evitando a perda de precisão nas estimativas de limites.
• Tiling (Ladrilhamento) e Cobertura: Utilizam uma cobertura do espaço $\mathbb{R}^N$ por bolas com centros equidistantes para somar as contribuições locais e obter estimativas globais.
• Análise Assintótica: Uma parte fundamental do trabalho é a análise detalhada das constantes nas desigualdades, garantindo que elas se comportem corretamente nos regimes limites $s \searrow 0$ e $s \nearrow 1$, utilizando teoremas de convergência de Bourgain-Brezis-Mironescu e propriedades de interpolação real.

3. Principais Contribuições e Resultados

A. Limites de Duas Vias (Teoremas 1.4 e 1.5)
Os autores provam que, para $1 \le p < \infty$ e $p \le q < p^*_s$ (regime subcrítico), existem constantes positivas $\sigma$ e $C$ tais que:

$$\gamma \sigma \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}} \le \lambda^s_{p,q}(\Omega) \le C \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}}.$$

• Otimidade Assintótica: As constantes $\sigma$ e $C$ são construídas para ter limites finitos e não triviais quando $s \to 0$ e $s \to 1$, corrigindo falhas de trabalhos anteriores que resultavam em constantes triviais (zero ou infinito) nesses limites.
• Caso $p=1$: Para $p=1$, o resultado é ótimo para todo o espectro admissível de $\gamma \in (0,1)$. Para $p > 1$, existe uma restrição técnica em $\gamma$ (devido à dificuldade em obter constantes ótimas em desigualdades de Poincaré $L^1-W^{s,p}$ para $p \neq 1$), levantando uma questão em aberto sobre a otimalidade dessa restrição.

B. Caracterização da Positividade (Corolário 1.7)
Estabelecem uma equivalência fundamental:
$$D^{s,p}_0(\Omega) \hookrightarrow L^q(\Omega) \iff R^s_{p,\gamma}(\Omega) < \infty.$$
Isso significa que a imersão do espaço de Sobolev homogêneo fracionário em $L^q$ ocorre se e somente se o raio de inércia de capacidade fracionária for finito.

C. Constante de Cheeger Fracionária (Corolário 1.8)
Aplicam os resultados ao caso $p=q=1$, fornecendo uma caracterização ótima da constante de Cheeger fracionária $h_s(\Omega)$:
$$h_s(\Omega) > 0 \iff R^s_{1,\gamma}(\Omega) < \infty.$$
Esta é a primeira caracterização completa e ótima desse tipo para o caso não-local.

D. Limites para a Função de Torção (Corolário 1.9)
Derivam um limite superior para a norma $L^\infty$ da função de torção $(s,p)$, $w_{p,s,\Omega}$, em termos do raio de inércia de capacidade, o que tem implicações diretas na regularidade e propriedades espectrais.

4. Significado e Impacto

• Generalização Não-Local: O trabalho preenche uma lacuna significativa na literatura, estendendo os profundos resultados de Maz'ya e Shubin (1980s) e Brasco (2010s) para o cenário fracionário, onde a não-localidade introduz complexidades adicionais.
• Precisão Assintótica: A maior inovação técnica é a construção de desigualdades que preservam a informação física e geométrica nos limites $s \to 0$ e $s \to 1$. Isso permite conectar consistentemente a teoria fracionária com a teoria local clássica e com o limite de ordem zero (que se relaciona com a teoria de funções de variação limitada e medidas).
• Novas Ferramentas: A introdução da seminorma assimétrica em faixas e as novas desigualdades de Poincaré-Wirtinger fracionárias são resultados independentes de interesse, que podem ser aplicados em outros problemas de análise não-local.
• Aplicações: Os resultados têm implicações diretas na geometria espectral (autovalores do Laplaciano fracionário), na teoria de capacidade e na análise de equações diferenciais parciais não-locais.

Em suma, o artigo fornece a caracterização geométrica definitiva para a validade de desigualdades de Poincaré-Sobolev fracionárias, unificando a análise de capacidades, geometria do domínio e comportamento assintótico da ordem de diferenciabilidade.