Robust interpolation inequalities via Chebyshev-type integral inequalities

Resumen Técnico: Desigualdades de Interpolación Robustas mediante Desigualdades Integrales de Tipo Chebyshev

Planteamiento del Problema
El artículo aborda la falta de robustez en las desigualdades clásicas de interpolación log-cóncava dentro de la escala de seminormas de Gagliardo. Las estimaciones de interpolación estándar, tales como $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$, no logran mantenerse consistentes a medida que el orden fraccionario $\eta$ se aproxima a los extremos $0$o$1$. Específicamente, las seminormas $|u|_{W^{\eta,p}}$ exhiben un comportamiento de explosión singular conforme $\eta \to 0^+$ y $\eta \to 1^-$ para funciones no constantes. Si bien trabajos previos (Brezis–Bourgain–Mironescu [BBM01] y Maz'ya–Shaposhnikova [MS02]) establecieron límites asintóticos involucrando factores como $\eta(1-\eta)$ para anular estas singularidades, no se había establecido plenamente una desigualdad de interpolación unificada y robusta que evitara estas anomalías en toda la escala $s \in [0,1]$ con constantes independientes de la dimensión.

La motivación principal de este trabajo es el estudio de la estabilidad asintótica de las soluciones débiles del problema de Dirichlet regional asociado al $p$-laplaciano regional fraccionario $(-\Delta)^s_{p,\Omega}$ cuando el orden fraccionario $s$ se aproxima a $1$. Los autores pretenden establecer resultados de convergencia que sean uniformes con respecto a $s$.

Metodología
La metodología central se basa en una descomposición de la seminorma de Gagliardo en interacciones de corto alcance (locales) y de largo alcance (no locales), definidas mediante el módulo de continuidad $L^p$ promediado $U(t)$.

1. Descomposición: La seminorma de Gagliado se divide en integrales sobre distancias cortas ($0 < |x-y| \leq r$) y distancias largas ($|x-y| > r$). Estas corresponden a la interacción de corto alcance $L_p(s, u, r)$ y a la interacción de largo alcance (cola fraccionaria) $T_p(s, u, r)$.
2. Desigualdades de Tipo Chebyshev: Una parte significativa del artículo (Sección 2) se dedica al establecimiento de nuevas desigualdades integrales para funciones generales no sincrónicas (y no asincrónicas). Los autores generalizan la desigualdad de Chebyshev clásica para casos de sincronicidad $(b,c)$ y monotonicidad débil. Estas desigualdades se aplican a integrales singulares de la forma $\int g(t) t^{z-1} dt$ para probar propiedades de monotonicidad de los términos de interacción con respecto al orden fraccionario $s$.
3. Análisis de Monotonicidad: Los autores demuestran que el mapa $s \mapsto L_p(s, u, r)$ es creciente, mientras que $s \mapsto T_p(s, u, r)$ es esencialmente decreciente (específicamente, "2-casi decreciente" para $d \geq 2$). Esta monotonicidad es la piedra angular para derivar las estimaciones de interpolación robustas.
4. Renormalización: El artículo utiliza seminormas renormalizadas específicas $[u]_{W^{s,p}}$ y $[u]^*_{W^{s,p}}$, incorporando constantes de normalización (por ejemplo, $s(1-s)$ y constantes relacionadas con el laplaciano fraccionario) para asegurar límites consistentes cuando $s \to 0$ y $s \to 1$.

Contribuciones Clave y Resultados

• Desigualdades de Interpolación Robustas (Teorema 1.1): El artículo establece desigualdades de interpolación log-cóncavas robustas para seminormas renormalizadas $[u]_{W^{\eta,p}}$ y seminormas de Gagliardo $|u|_{W^{\eta,p}}$. Estas desigualdades se cumplen para todo $0 \leq \sigma < \eta < s \leq 1$ con constantes que permanecen acotadas y bien definidas cuando $\eta \to 0$ o $\eta \to 1$.

  • Para la seminorma renormalizada, la desigualdad toma la forma $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$, donde la constante $N_p$ es independiente de la dimensión y está acotada.
  • En el caso específico $p=2$, los autores derivan una estimación más aguda con una constante de 1 para las seminormas de Sobolev renormalizadas, utilizando la transformada de Fourier.

• Monotonicidad de las Interacciones (Teorema 1.3): Los autores demuestran que la interacción de corto alcance $L_p(s, u, r)$ es continua y creciente en $s$, mientras que la interacción de largo alcance $T_p(s, u, r)$ es continua y esencialmente decreciente (hasta un factor de 2 para $d \geq 2$). Esto confirma que $L_p$ captura la regularidad local (convergiendo a la norma del gradiente cuando $s \to 1$) y $T_p$ captura el comportamiento no local (convergiendo a la norma $L^p$ cuando $s \to 0$).

• Análisis Asintótico (Sección 4): El artículo proporciona un enfoque relativamente simple para los límites asintóticos de las seminormas fraccionarias cuando $s \to 0^+$ y $s \to 1^-$, recuperando los resultados de Maz'ya–Shaposhnikova y Brezis–Bourgain–Mironescu. También generaliza la fórmula de Maz'ya–Shaposhnikova a conjuntos abiertos arbitrarios $\Omega$, caracterizando el límite a través de un "sector de escape" $S_\Omega(x)$.

• Convergencia de Problemas de Dirichlet Regionales (Teorema 1.4): Como aplicación principal, el artículo demuestra la convergencia fuerte de las soluciones débiles $u_s$ del problema de Dirichlet del $p$-laplaciano regional fraccionario hacia la solución débil $u_1$ del problema del $p$-laplaciano local. Específicamente, si los datos convergen apropiadamente, entonces \|u_s - u_1\|_{W^{\eta,p}(\Omega) \to 0 para todo $0 \leq \eta < 1$ cuando $s \to 1^-$. Este resultado se basa en las desigualdades de interpolación robustas y en una nueva desigualdad de Poincaré–Friedrichs regional robusta.

• Resolución de Problema Abierto: La desigualdad de interpolación robusta establecida aquí proporciona una respuesta positiva a una pregunta planteada en [BSY23, Pregunta 1.10] sobre la robustez de la interpolación en un entorno general.

Significancia y Reivindicaciones
El artículo sostiene que su contribución principal es el establecimiento de desigualdades de interpolación robustas que evitan las singularidades en los extremos de la escala fraccionaria. Al descomponer la seminorma y utilizar desigualdades de tipo Chebyshev generalizadas, los autores logran estimaciones donde las constantes son independientes de la proximidad del parámetro fraccionario a 0 o 1.

La importancia de este trabajo radica en su aplicación a la estabilidad de los límites no local-a-local. Los autores demuestran que estas desigualdades son suficientes para probar la convergencia fuerte de las soluciones del $p$-laplaciano regional fraccionario al $p$-laplaciano local, un resultado que requiere un control uniforme sobre las seminormas cuando $s \to 1$. El artículo también destaca un vacío en la dimensión $d=1$ respecto a la monotonicidad de la interacción de largo alcance, formulando una conjetura para una constante $C_p$ en este caso, mientras señala que los resultados establecidos se cumplen para $d \geq 2$.

El trabajo se presenta como un avance técnico en el análisis de los espacios de Sobolev fraccionarios, proporcionando herramientas (operadores de extensión robustos, monotonicidad de integrales singulares) que facilitan el estudio de los comportamientos asintóticos en problemas no locales.