Bounded Representatives in Critical Sobolev-Hodge Spaces

Resumo Técnico: Representantes Limitados em Espaços de Sobolev–Hodge Críticos

Enunciado do Problema
O artigo aborda uma questão fundamental na análise de espaços de Sobolev críticos: se todo elemento em um espaço de Sobolev crítico admite um representante limitado. Especificamente, para dimensões $n \ge 2$, graus de forma $1 \le \ell \le n-1$ e expoentes $1 < p < \infty$, o embutimento de Sobolev $\dot{W}^{n/p, p}(\mathbb{R}^n) \hookrightarrow L^\infty$ falha. Os autores investigam o "princípio de seleção" para formas diferenciais no espaço homogêneo de Sobolev–Hodge crítico $\dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)$.

A questão central é se a classe afim de formas que compartilham o mesmo derivada exterior, $\{u : du = dv\}$, sempre contém um representante $u$ que seja limitado ($u \in L^\infty$) com controle quantitativo, mesmo que o representante original $v$ seja ilimitado. Isso estende o trabalho seminal de Bourgain e Brezis, que estabeleceu este fenômeno para restrições diferenciais de primeira ordem, para os contextos de ordem superior, fracionária e de decomposição de Hodge.

Metodologia
A estratégia de prova reduz o problema de seleção a uma estimativa de gráfico de extremidade (endpoint graph estimate) para um potencial de Riesz acoplado à projeção exata de Hodge. A metodologia procede através de três etapas analíticas substantivas:

1. Desigualdade de Maz'ya–$\Phi$ de Entrada de Operador–Input Operador:
   Os autores generalizam a desigualdade de Maz'ya–$\Phi$ de entrada escalar de Stolyarov para um cenário de dimensão finita com valores de operador. Eles estabelecem uma estimativa para operadores de núcleo homogêneo $K$ atuando sobre entradas de valores vetoriais $f$. A inovação principal reside no tratamento da natureza "multiescala" do problema: massas vetoriais $\int_Q f$ entram no cancelamento atômico exato, enquanto termos de erro são organizados pelo medida escalar positiva $|f|dx$. Isso envolve:

   • Decompor o núcleo em peças anulares agudas.
   • Provar limites de operador anulares e cancelamento exato para átomos anulares.
   • Utilizar localização espacial via cubos diedricos e o "Teorema das Três Malhas" (Three Lattice Theorem) para gerenciar as estimativas integrais não lineares.
   • Distinguir entre os regimes $1 < r \le 2$ e $r > 2$ (onde $r = p'$) para lidar com somas de múltiplas escalas usando propriedades de convexidade específicas da função $\Gamma_r$.

2. Perfil Atômico Projetado e Coercividade:
   O teorema geral é especializado para o par Riesz/Hodge. Os autores constroem um perfil esférico não linear $A(a)$ derivado do núcleo projetado.

   • Eles provam que este perfil possui "cancelamento atômico exato" devido às propriedades da projeção de Hodge $P$.
   • Crucialmente, eles estabelecem a coercividade deste perfil usando a identidade $\int_{S^{n-1}} P(\theta) d\bar{\sigma} = (\ell/n) \text{Id}$. Isso garante que o termo projetado controla o potencial total na norma $L^r$.

3. Fechamento de Gráfico e Dualidade:
   A estimativa é provada inicialmente para dados suaves, de suporte compacto e média zero. Para estender ao espaço crítico completo:

   • Os autores evitam o falso limite forte $I_\alpha: L^1 \to L^r$ (que falha no ponto de extremidade) trabalhando no "domínio de gráfico de extremidade" (endpoint graph domain).
   • Eles utilizam o fechamento de gráfico localizado em frequência e a dualidade de Hahn–Banach. Ao mostrar que a norma de gráfico no espaço soma $X + L^1_0$ (onde $X$ é o dual do espaço de Sobolev) controla o potencial total, eles constroem um funcional linear limitado que produz o representante limitado desejado via dualidade.

Principais Resultados
O resultado principal é o Teorema 1.1 (Seleção de Sobolev–Hodge Crítico), que afirma:
Seja $n \ge 2$, $1 \le \ell \le n-1$, e $1 < p < \infty$. Então a imagem da derivada exterior no espaço de Sobolev crítico coincide com a imagem no cruzamento do espaço de Sobolev com $L^\infty$:
$$d[\dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)] = d[(\dot{W}^{n/p, p} \cap L^\infty)(\mathbb{R}^n; \Lambda^\ell)]$$
Além disso, as normas quocientes induzidas são equivalentes. Especificamente, existe uma constante $C$ tal que, para cada $v \in \dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)$, existe um representante $u \in (\dot{W}^{n/p, p} \cap L^\infty)(\mathbb{R}^n; \Lambda^\ell)$ satisfazendo:
$$du = dv, \quad \max\{\|u\|_{\dot{W}^{n/p, p}}, \|u\|_{L^\infty}\} \le C \|v\|_{\dot{W}^{n/p, p}}$$

O artigo nota explicitamente que o operador de seleção é inerentemente não linear; não se afirma a existência de um operador de seleção linear limitado, sendo consistente com o fenômeno original de Bourgain–Brezis.

Como consequência, o Corolário 8.1 fornece uma decomposição de Hodge de potencial limitado para graus intermediários de forma ($2 \le \ell \le n-2$), mostrando que o espaço $\dot{W}^{n/p-1, p}(\Lambda^\ell)$ pode ser decomposto em termos exatos e coexatos, ambos admitindo representantes limitados.

Significância e Alegações
O artigo afirma resolver um problema aberto relativo ao princípio de seleção em toda a escala crítica, estendendo resultados parciais anteriores para casos de ordem superior e fracionários. A significância reside em:

• Restaurar a Limitação: Demonstrar que restrições diferenciais (especificamente a estrutura de Hodge) permitem a recuperação da limitação em espaços de Sobolev críticos onde os embutimentos padrão falham.
• Inovação Analítica: Introduzir uma forma de Maz'ya–$\Phi$ de entrada de dimensão finita para núcleos com valores de operador, que lida com a natureza de valores vetoriais das formas diferenciais e a geometria específica da projeção de Hodge.
• Controle Quantitativo: Fornecer estimativas de norma explícitas que ligam o tamanho do representante limitado à norma de Sobolev original, garantindo que a seleção não seja apenas existencial, mas quantitativamente controlada.

Os autores enfatizam que a prova depende de um delicado interjogo entre o cancelamento exato da projeção de Hodge e a coercividade do núcleo projetado, evitando a necessidade do limite forte inexistente $L^1 \to L^r$ para potenciais de Riesz no ponto de extremidade.