Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

Resumo Técnico: Fechando a Lacuna: Maz'ya-Shaposhnikova e Assintóticas de Perímetros Fracionários

Enunciado do Problema
O estudo das assintóticas dos seminormas de Gagliardo é central para a análise não local, fazendo a ponte entre os espaços de Sobolev fracionários $W^{s,p}$ e os espaços clássicos à medida que o parâmetro $s$ se aproxima de 0 ou 1. A fórmula clássica de Maz'ya-Shaposhnikova (MS) [36] descreve o limite quando $s \to 0^+$ para funções $u \in L^p(\mathbb{R}^d)$, afirmando que $s [u]_{W^{s,p}}^p$ converge para um múltiplo da norma $L^p$. No entanto, esta fórmula depende da suposição estrutural de que $u$ se anula no infinito (isto é, $u \in L^p(\mathbb{R}^d)$). Esta restrição suprime artificialmente o "comportamento de cauda" das funções, que é precisamente o regime onde a natureza não local do núcleo fracionário é mais pronunciada à medida que $s \to 0^+$.

Por outro lado, trabalhos recentes sobre as assintóticas de perímetros fracionários [20] para funções características de conjuntos $E$ revelaram que, se um conjunto possui massa não nula no infinito, o limite envolve um termo $\alpha_1(E)$ representando a "cauda não local". Isso sugere que, para funções gerais que não pertencem a $L^p(\mathbb{R}^d)$, o limite não deve ser um simples múltiplo da norma local $L^p$, mas sim uma energia de interação entre os valores da função dentro de um domínio limitado $\Omega$ e seu comportamento "no infinito".

Metodologia
Os autores focam no caso hilbertiano $p=2$ e introduzem um seminorma de Gagliardo localizado em um domínio Lipschitz limitado $\Omega$:
$$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$$
onde $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$. Este funcional contabiliza interações envolvendo pelo menos um ponto em $\Omega$, isolando a energia das interações interior-interior, interior-exterior e exterior-interior, enquanto ignora contribuições exterior-exterior.

A inovação metodológica central é a definição da massa $p$ no infinito para uma função mensurável $u$:
$$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$$
Os autores estabelecem que esta quantidade é invariante por translação e bem definida para funções que podem não ser globalmente integráveis. Eles decompõem o seminorma localizado em quatro termos:

1. Interior-Interior: Mostrado como tendendo a zero quando $s \to 0^+$ (Lema 2.5).
2. Interior-Exterior (Quadrado): Converte-se para um termo envolvendo a massa da função constante 1 e a integral de $u^2$ sobre $\Omega$.
3. Termo Cruzado: Envolve o produto $u(x)u(y)$, que é expandido usando as partes positiva e negativa de $u$ ($u_+, u_-$) e analisado via a massa no infinito.
4. Exterior-Interior (Quadrado): Converte-se para um termo envolvendo a massa de $u^2$ e o volume de $\Omega$.

As provas dependem de uma combinação de estimativas diretas, da desigualdade de Hardy fracionária e de uma versão generalizada da fórmula MS em espaços de medida métrica (Proposição 2.3 de [28]), adaptada para lidar com medidas ponderadas pelos próprios valores da função.

Principais Contribuições e Resultados

1. Fórmula Generalizada de Maz'ya-Shaposhnikova (Teorema 1.3):
   O artigo prova que, para $u \in L^2_{\text{loc}}(\mathbb{R}^d)$ com massa finita no infinito (especificamente, $\alpha(u_+), \alpha(u_-), \alpha(u^2)$ existem), o limite do seminorma localizado é:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$$
   Esta fórmula unifica a fórmula MS clássica (recuperada quando $u \in L^2(\mathbb{R}^d)$, de modo que $\alpha(u^k)=0$ para $k \ge 1$) e as assintóticas de perímetros fracionários.

2. Interpretação Geométrica (Teorema 2.11):
   Para funções $u$ que admitem um limite radial $u_\infty(\theta)$ quando $|x| \to \infty$, o funcional limite é caracterizado explicitamente como uma energia de interação entre os valores de $u$ dentro de $\Omega$ e seu limite no infinito:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$$
   Isso esclarece que o limite não é uma norma, mas uma energia que mede o desvio da função em relação ao seu comportamento no infinito.

3. Convergência Gamma (Teorema 3.4):
   Os autores estabelecem que a sequência de funcionais $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$ converge Gamma em relação à topologia fraca-$L^2(\Omega)$ para o funcional identificado no Teorema 1.3. Este resultado implica que o funcional limite é o envelope semicontínuo inferior do funcional conjunto-descrevendo o perímetro fracionário assintótico (Equação 1.6).

4. Extensão para Espaços de Medida Métrica (Teorema 4.5):
   Os resultados são estendidos para espaços de medida métrica gerais $(M, d, m)$ sob suposições específicas sobre os núcleos de convolução $\rho_n$ e a existência de massa no infinito. Isso inclui aplicações a Grupos de Carnot.

5. Distinção em Relação aos Perímetros Gaussianos (Observação 4.9):
   O artigo observa que as assintóticas derivadas não se aplicam ao perímetro fracionário gaussiano. No cenário gaussiano, a medida é finita e os núcleos não concentram massa no infinito da mesma maneira; consequentemente, o limite depende da medida total dos conjuntos em vez de interações de fronteira locais.

Significado e Alegações
O artigo alega "fechar a lacuna" entre a fórmula clássica de Maz'ya-Shaposhnikova e as assintóticas de perímetros não locais, fornecendo um quadro unificado que acomoda funções com massa não nula no infinito.

• Unificação: O funcional limite identificado reduz-se à norma $L^2$ clássica para funções globalmente integráveis e recupera o limite pontual de perímetros fracionários $s$ para funções características de conjuntos.
• Insight Estrutural: Ao introduzir a noção de "massa no infinito", os autores caracterizam rigorosamente as interações de longo alcance que dominam a energia à medida que $s \to 0^+$. Eles demonstram que o limite é uma energia de interação entre o interior do domínio e o "horizonte" (infinito), em vez de uma norma local.
• Robustez: Os resultados são mostrados como válidos no sentido de convergência Gamma, garantindo estabilidade sob convergência fraca, e são generalizados para o cenário de medida métrica, cobrindo espaços como Grupos de Carnot.

Os autores afirmam explicitamente que o caso para $p \neq 2$ geral requer uma abordagem diferente e é objeto de um artigo complementar [13], observando que, para $p$ ímpar, uma fórmula fechada análoga à expansão binomial usada aqui pode não ser alcançável.