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

Aquí presento un resumen técnico detallado del artículo "MAZ'YA-TYPE BOUNDS FOR SHARP CONSTANTS IN FRACTIONAL POINCARÉ-SOBOLEV INEQUALITIES" de Francesco Bozzola y Matteo Talluri.

1. El Problema y el Contexto

El objetivo central del trabajo es caracterizar la positividad de las constantes óptimas (o "frecuencias principales") en las desigualdades de Poincaré-Sobolev fraccionarias para un conjunto abierto arbitrario $\Omega \subseteq \mathbb{R}^N$.

Se define la cantidad variacional $\lambda^s_{p,q}(\Omega)$ como el ínfimo del cociente de Rayleigh fraccionario:
$$\lambda^s_{p,q}(\Omega) := \inf_{u \in C^\infty_0(\Omega), \|u\|_{L^q}=1} [u]^p_{W^{s,p}(\mathbb{R}^N)}$$
donde $[u]_{W^{s,p}}$ es la seminorma de Gagliardo-Slobodeckii.

El desafío principal:
En el caso local ($s=1$), Maz'ya y Shubin demostraron que la positividad de la constante de Poincaré $\lambda_p(\Omega)$ está íntimamente ligada a la finitud de un radio de capacidad interior (una versión "capacitaria" del radio de inercia). Sin embargo, en el caso no local ($0 < s < 1$), la frecuencia $\lambda^s_{p,q}(\Omega)$ no es sensible a perturbaciones del conjunto $\Omega$ por conjuntos compactos de capacidad relativa nula. Esto impide obtener cotas inferiores simples basadas únicamente en el radio de inercia geométrico $r_\Omega$, ya que un conjunto puede tener un radio de inercia finito pero una "capacidad" interna que permita que la constante sea cero si hay "agujeros" de capacidad nula.

El artículo busca establecer cotas de tipo Maz'ya (inferior y superior) para $\lambda^s_{p,q}(\Omega)$ en términos de un nuevo objeto geométrico-capacitario: el radio de inercia capacitario fraccionario.

2. Metodología y Estrategia de Prueba

Los autores transponen la estrategia utilizada por Maz'ya y Shubin (y posteriormente por Brasco y el primer autor en el caso local) al marco no local, enfrentando dificultades técnicas significativas debido a la naturaleza no local de los operadores.

A. Definición del Radio de Inercia Capacitario Fraccionario

Introducen el concepto de conjunto $(s, p, \gamma)$-negligible. Un conjunto compacto $\Sigma \subset B_r(x_0)$ es negligible si su capacidad fraccionaria relativa es pequeña comparada con la capacidad de la bola completa:
$$\widehat{\text{cap}}_{s,p}(\Sigma; B_{2r}(x_0)) \leq \gamma \widehat{\text{cap}}_{s,p}(B_r(x_0); B_{2r}(x_0))$$
Con esto, definen el radio de inercia capacitario fraccionario $R^s_{p,\gamma}(\Omega)$ como el supremo de los radios $r$ tales que existe una bola $B_r(x_0)$ donde la parte de la bola fuera de $\Omega$ es $(s, p, \gamma)$-negligible.

B. Nuevas Desigualdades de Poincaré-Maz'ya

La contribución técnica más profunda reside en la derivación de nuevas desigualdades de Poincaré-Maz'ya fraccionarias que preservan el comportamiento asintótico óptimo cuando $s \to 0$ y $s \to 1$.

1. Problema con desigualdades existentes: Las versiones fraccionarias de la desigualdad de Maz'ya-Poincaré ya existentes en la literatura (ej. [6]) fallan en proporcionar cotas afiladas cuando $s \to 0$. La razón es que la seminorma en una bola no controla adecuadamente la seminorma global en el límite $s \to 0$.
2. Solución: Seminormas Asimétricas en "Cintas" (Strips): Los autores introducen una seminorma asimétrica definida sobre una bola y todo el espacio:
   $$u \mapsto \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 seminorma hereda las propiedades de interpolación correctas:
   • Cuando $s \searrow 0$, se comporta como $s^{-1/p} \|u\|_{L^p}$.
   • Cuando $s \nearrow 1$, se comporta como $(1-s)^{-1/p} \|\nabla u\|_{L^p}$.
3. Lemas Clave:
   • Lema 4.11 (Maz'ya-Poincaré-Sobolev): Establece una desigualdad que vincula la norma $L^q$ en una bola con la seminorma asimétrica y la capacidad del conjunto "agujero". Esta es la piedra angular para la cota inferior.
   • Lema 4.2 y 4.9: Nuevas estimaciones de tipo Poincaré-Wirtinger fraccionario con constantes que dependen óptimamente de $s$.

C. Estrategia de Prueba para las Cotás

• Cota Inferior (Teorema 1.4): Se utiliza un teselado de $\mathbb{R}^N$ con bolas de radio $r > R^s_{p,\gamma}(\Omega)$. En cada bola, se aplica el Lema 4.11. La definición de $R^s_{p,\gamma}$ garantiza que la capacidad del "agujero" ($B_r \setminus \Omega$) es suficientemente grande, lo que permite controlar la norma $L^q$ global mediante la suma de las contribuciones locales.
• Cota Superior (Teorema 1.5): Se construye una función de prueba admissible para $\lambda^s_{p,q}(\Omega)$ utilizando el potencial de capacidad de un conjunto negligible. Se utiliza una función de corte suave para modificar el potencial y asegurar que la función sea cero fuera de $\Omega$. El análisis cuidadoso de las constantes en las desigualdades de Poincaré en bolas (Lemas 3.2 y 3.4) es crucial para obtener la dependencia correcta de $\gamma$ y $s$.

3. Resultados Principales

Teorema 1.4 (Cota Inferior)

Existe una constante $\sigma > 0$ tal que:
$$\lambda^s_{p,q}(\Omega) \geq \sigma \gamma \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}}$$
Esta cota es válida para todo conjunto abierto $\Omega$. Además, la constante $\sigma$ tiene el comportamiento asintótico óptimo: $\sigma \sim 1/s$ cuando $s \to 0$ y $\sigma \sim 1/(1-s)$ cuando $s \to 1$.

Teorema 1.5 (Cota Superior)

Existe un umbral $\gamma_0 \in (0, 1]$ tal que para todo $0 < \gamma < \gamma_0$:
$$\lambda^s_{p,q}(\Omega) \leq C \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}}$$
Si $R^s_{p,\gamma}(\Omega) = +\infty$, entonces $\lambda^s_{p,q}(\Omega) = 0$. La constante $C$ también respeta los límites asintóticos óptimos.

Corolarios Importantes

1. Caracterización de la Positividad:
   $$D^{s,p}_0(\Omega) \hookrightarrow L^q(\Omega) \iff R^s_{p,\gamma}(\Omega) < \infty$$
   Esto generaliza el resultado clásico de Maz'ya al caso fraccionario. La positividad de la constante de Poincaré-Sobolev depende exclusivamente de la finitud del radio de inercia capacitario.
2. Constante de Cheeger Fraccionaria:
   Para $p=q=1$, se obtiene una caracterización óptima de la constante de Cheeger fraccionaria $h_s(\Omega)$:
   $$h_s(\Omega) > 0 \iff R^s_{1,\gamma}(\Omega) < \infty$$
   Esta equivalencia es válida para todo $\gamma \in (0, 1)$, lo cual es un resultado de optimalidad.
3. Función de Torsión: Se obtiene una cota superior para la norma $L^\infty$ de la función de torsión $(s,p)$-fraccionaria en términos de $R^s_{p,\gamma}(\Omega)$.

4. Contribuciones Clave

1. Generalización No Local: Extienden los resultados fundamentales de Maz'ya-Shubin y Brasco-Bozzola del caso local ($s=1$) al caso fraccionario ($0<s<1$) para todo $p \geq 1$.
2. Nuevas Desigualdades de Poincaré: Desarrollan desigualdades de Poincaré-Maz'ya y Poincaré-Wirtinger fraccionarias con constantes óptimas en los límites $s \to 0$ y $s \to 1$. Esto es crucial porque las desigualdades existentes en la literatura pierden precisión en estos regímenes.
3. Técnica de Seminormas Asimétricas: La introducción de la seminorma sobre "cintas" ($B_r \times \mathbb{R}^N$) es una innovación técnica que permite superar las dificultades de la no-localidad y obtener las cotas afiladas necesarias.
4. Optimalidad en el Caso Cheeger: Proporcionan la primera caracterización completa y óptima de la positividad de la constante de Cheeger fraccionaria en términos de un radio de inercia capacitario.

5. Significado e Impacto

Este trabajo es fundamental para la Geometría Espectral No Local y el análisis de ecuaciones diferenciales fraccionarias.

• Teoría Espectral: Permite determinar cuándo el espectro del operador $p$-Laplaciano fraccionario (con condiciones de Dirichlet no locales) es discreto o cuando el primer autovalor es positivo, basándose en propiedades geométricas y capacitarias del dominio, no solo en su medida o radio de inercia geométrico.
• Análisis de Límites: La atención meticulosa a las constantes cuando $s \to 0$ y $s \to 1$ conecta rigurosamente el comportamiento de los operadores fraccionarios con sus contrapartes locales y con los operadores de orden cero, validando la consistencia de la teoría.
• Aplicaciones: Los resultados son aplicables al estudio de la regularidad de extremales, desigualdades de Hardy no locales y problemas de optimización espectral en dominios irregulares o con singularidades.

En resumen, Bozzola y Talluri han logrado cerrar la brecha entre la teoría clásica de desigualdades de Poincaré y el mundo no local, proporcionando herramientas precisas y óptimas para analizar la geometría de los dominios en el contexto de espacios de Sobolev fraccionarios.