Bounded Representatives in Critical Sobolev-Hodge Spaces

Resumen Técnico: Representantes Acotados en Espacios Críticos de Sobolev–Hodge

Planteamiento del Problema
El artículo aborda una cuestión fundamental en el análisis de los espacios de Sobolev críticos: si todo elemento en un espacio de Sobolev crítico admite un representante acotado. Específicamente, para dimensiones $n \ge 2$, grados de forma $1 \le \ell \le n-1$ y exponentes $1 < p < \infty$, la incrustión de Sobolev $\dot{W}^{n/p, p}(\mathbb{R}^n) \hookrightarrow L^\infty$ falla. Los autores investigan el "principio de selección" para formas diferenciales en el espacio homogéneo de Sobolev–Hodge crítico $\dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)$.

La cuestión central es si la clase afín de formas que comparten la misma derivada exterior, $\{u : du = dv\}$, contiene siempre un representante $u$ que sea acotado ($u \in L^\infty$) con control cuantitativo, incluso si el representante original $v$ es no acotado. Esto extiende el trabajo seminal de Bourgain y Brezis, quienes establecieron este fenómeno para restricciones de primer orden, hacia los contextos de orden superior, fraccionario y de descomposición de Hodge.

Metodología
La estrategia de la prueba reduce el problema de selección a una estimación de gráfico en el extremo para un potencial de Riesz acoplado con la proyección exacta de Hodge. La metodología procede a través de tres pasos analíticos sustantivos:

1. Desigualdad de Maz'ya–$\Phi$ de Entrada de Operador–Input:
   Los autores generalizan la desigualdad de Maz'ya–$\Phi$ de entrada escalar de Stolyarov a un entorno de valores de operador de dimensión finita. Establecen una estimación para operadores de núcleo homogéneo que actúan sobre entradas de valores vectoriales $f$. La innovación clave es el manejo de la naturaleza "multiescala" del problema: las masas vectoriales $\int_Q f$ entran en la cancelación atómica exacta, mientras que los términos de error se organizan mediante la medida escalar positiva $|f|dx$. Esto implica:

   • Descomponer el núcleo en piezas anulares agudas.
   • Probar cotas de operador anulares y cancelación exacta para átomos anulares.
   • Utilizar la localización espacial mediante cubos diedricos y el "Teorema de los Tres Retículos" para gestionar las estimaciones integrales no lineales.
   • Distinguir entre los regímenes $1 < r \le 2$ y $r > 2$ (donde $r = p'$) para manejar sumatorias de escalas mixtas utilizando propiedades de convexidad específicas de la función $\Gamma_r$.

2. Perfil Atómico Proyectado y Coercitividad:
   El teorema general se especializa al par Riesz/Hodge. Los autores construyen un perfil esférico no lineal $A(a)$ derivado del núcleo proyectado.

   • Demuestran que este perfil posee "cancelación atómica exacta" debido a las propiedades de la proyección de Hodge $P$.
   • Crucialmente, establecen la coercitividad de este perfil utilizando la identidad $\int_{S^{n-1}} P(\theta) d\bar{\sigma} = (\ell/n) \text{Id}$. Esto asegura que el término proyectado controla el potencial completo en la norma $L^r$.

3. Cierre de Gráfico y Dualidad:
   La estimación se prueba inicialmente para datos suaves, de soporte compacto y de media cero. Para extender esto al espacio crítico completo:

   • Los autores evitan la falsa cota fuerte $I_\alpha: L^1 \to L^r$ (que falla en el extremo) trabajando en el "dominio de gráfico del extremo".
   • Utilizan el cierre de gráfico localizado en frecuencia y la dualidad de Hahn–Banach. Al demostrar que la norma de gráfico en el espacio suma $X + L^1_0$ (donde $X$ es el dual del espacio de Sobolev) controla el potencial completo, construyen un funcional lineal acotado que produce el representante acotado deseado mediante dualidad.

Resultados Clave
El resultado principal es el Teorema 1.1 (Selección de Sobolev–Hodge Crítico), que establece:
Sea $n \ge 2$, $1 \le \ell \le n-1$, y $1 < p < \infty$. Entonces la imagen de la derivada exterior en el espacio de Sobolev crítico coincide con la imagen en la intersección del espacio de Sobolev y $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)]$$
Además, las normas de cociente inducidas son equivalentes. Específicamente, existe una constante $C$ tal que para cada $v \in \dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)$, existe un representante $u \in (\dot{W}^{n/p, p} \cap L^\infty)(\mathbb{R}^n; \Lambda^\ell)$ que satisface:
$$du = dv, \quad \max\{\|u\|_{\dot{W}^{n/p, p}}, \|u\|_{L^\infty}\} \le C \|v\|_{\dot{W}^{n/p, p}}$$

El artículo señala explícitamente que el operador de selección es inherentemente no lineal; no se afirma la existencia de un operador de selección lineal acotado, lo cual es consistente con el fenómeno original de Bourgain–Brezis.

Como consecuencia, el Corolario 8.1 proporciona una descomposición de Hodge de potencial acotado para grados de forma intermedios ($2 \le \ell \le n-2$), mostrando que el espacio $\dot{W}^{n/p-1, p}(\Lambda^\ell)$ puede descomponerse en términos exactos y coexactos, ambos admitiendo representantes acotados.

Significado y Reivindicaciones
El artículo afirma resolver un problema abierto respecto al principio de selección en toda la escala crítica, extendiendo resultados parciales previos en casos de orden superior y fraccionarios. La significancia reside en:

• Restauración de la Acotación: Demostrar que las restricciones diferenciales (específicamente la estructura de Hodge) permiten la recuperación de la acotación en espacios de Sobolev críticos donde las incrustiones estándar fallan.
• Innovación Analítica: Introducir una forma de entrada de dimensión finita de la desigualdad de Maz'ya–$\Phi$ para núcleos de valor de operador, la cual gestiona la naturaleza de valores vectoriales de las formas diferenciales y la geometría específica de la proyección de Hodge.
• Control Cuantitativo: Proporcionar estimaciones de norma explícitas que vinculan el tamaño del representante acotado con la norma de Sobolev original, asegurando que la selección no es solo existencial sino cuantitativamente controlada.

Los autores enfatizan que su prueba depende de una interacción delicada entre la cancelación exacta de la proyección de Hodge y la coercitividad del núcleo proyectado, evitando la necesidad de la inexistente cota fuerte $L^1 \to L^r$ para los potenciales de Riesz en el extremo.