Sharp quantitative stability for the fractional Sobolev trace inequality

Resumen Técnico: Estabilidad Cuantitativa Aguda para la Desigualdad de Traza de Sobolev Fraccionaria

Configuración del Problema
Este artículo investiga la estabilidad cuantitativa de la desigualdad de traza de Sobolev fraccionaria aguda, establecida originalmente por Einav y Loss. La desigualdad establece que para $0 \le m < n$ y $m/2 < \alpha < n/2$, existe una constante aguda $S(n, m, \alpha)$ tal que:
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
donde $q = \frac{2(n-m)}{n-2\alpha}$, $\tau_m$ denota la restricción al hiperplano $\mathbb{R}^{n-m}$, y $D^\alpha(\mathbb{R}^n)$ es el espacio de Sobolev fraccionario. Las funciones extremales forman una variedad $M_{n,m,\alpha}$.

Los autores analizan la estabilidad de esta desigualdad en dos entornos distintos:

1. Entorno Funcional: Cuantificación de la distancia de una función $f$ desde la variedad de extremales $M_{n,m,\alpha}$ basada en el déficit en la desigualdad.
2. Entorno de Puntos Críticos: Análisis de la estabilidad de las soluciones a la ecuación de Euler-Lagrange asociada (la ecuación de traza de Escobar) en el semiespacio $\mathbb{R}^n_+$, específicamente cuando la solución está cerca de una superposición de "burbujas de Escobar".

Metodología
El artículo emplea una combinación de principios de reducción, análisis espectral y técnicas de descomposición de perfiles.

• Principio de Reducción: En el entorno funcional, los autores utilizan un principio de reducción (Teorema 3.3) establecido por Einav y Loss. Este principio descompone la desigualdad de traza de Sobolev fraccionaria en una composición de un operador de reducción $\tau_m$ y una desigualdad de Sobolev fraccionaria estándar. Esto permite a los autores reducir el problema de estabilidad de la desigualdad de traza al conocido resultado de estabilidad para la desigualdad de Sobolev fraccionaria estándar (estabilidad de tipo Bianchi-Egnell).
• Esquema Dual: Para derivar estimaciones de estabilidad para el problema de Neumann (el dual de la desigualdad de traza), los autores aplican un esquema dual desarrollado por Carlen. Esto implica analizar las transformadas de Legendre de los funcionales relevantes y utilizar las propiedades de convexidad de los funcionales duales.
• Descomposición de Perfiles: En el entorno de puntos críticos, los autores extienden el principio de compacidad global de Struwe. Establecen tanto la descomposición de perfiles cualitativa como cuantitativa para secuencias de funciones que son "casi" soluciones de la ecuación crítica. Esto implica separar la solución en una suma de burbujas de Escobar que interactúan y un término residual.
• Brecha Espectral y Mapeo Conforme: Para obtener cotas superiores agudas para la constante de estabilidad en el caso de una sola burbuja, los autores emplean un mapeo conforme entre el semiespacio $\mathbb{R}^n_+$ y la bola unidad $B^n$. Esta transformación vincula el operador linealizado del problema con el problema de autovalores de Steklov en la bola. Mediante el análisis del espectro del problema de Steklov, derivan una desigualdad de brecha espectral refinada.
• Expansión de Tercer Orden: Para la cota superior de la constante de estabilidad en el caso de una sola burbuja, los autores realizan una expansión precisa de tercer orden de la norma dual, manejando cuidadosamente los términos de interacción y la geometría de la variedad.

Contribuciones Clave y Resultados

1. Estimación de Estabilidad Funcional Aguda:
   Los autores establecen una estimación de estabilidad cuantitativa aguda para la desigualdad de traza de Sobolev fraccionaria:
   $$C \inf_{v \in M_{n,m,\alpha}} \|f - v\|_{D^\alpha(\mathbb{R}^n)}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2 - S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2$$
   Prueban que el exponente 2 es agudo y proporcionan cotas superiores e inferiores explícitas para la constante de estabilidad óptima $C_{BE}(n, m, \alpha)$. Crucialmente, muestran que $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$, lo que efectivamente reduce el problema de traza al problema de Sobolev fraccionario estándar. También prueban la existencia de minimizadores para la constante de estabilidad cuando $n-m \ge 2$.

2. Desigualdades de Traza Mejoradas y Estabilidad de Neumann:
   Como corolario del resultado de estabilidad del gradiente, los autores derivan inserciones de Sobolev mejoradas para funciones soportadas en dominios generales (incluyendo bandas) con términos residuales que involucran normas $L^q$ débiles. Además, utilizando el esquema dual, establecen una estimación de estabilidad a priori aguda para el problema de Neumann en el semiespacio, vinculando el déficit en la desigualdad dual con la distancia desde la variedad de extremales del problema de Neumann.

3. Descomposición de Perfiles Cuantitativa:
   En el entorno de puntos críticos, los autores prueban un teorema de descomposición de perfiles cuantitativa. Muestran que si una función $u$ está cerca de una suma de $\nu$ burbujas de Escobar que interactúan débilmente (en la norma $H^1$), entonces la distancia a la variedad de tales burbujas está controlada linealmente por la norma $H^{-1}$ del residual $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$. Este resultado se sostiene para funciones no negativas y extiende los trabajos previos sobre la ecuación de Yamabe clásica al entorno de traza de Escobar.

4. Cota Superior Aguda para la Constante de Estabilidad:
   Para el caso de una sola burbuja ($\nu=1$), los autores derivan una cota superior estricta para la constante de estabilidad óptima $CCP(n, 1)$:
   $$CCP(n, 1) < \frac{2}{n+2}$$
   Este resultado se obtiene mediante la construcción de una función de prueba específica que involucra una perturbación de tercer orden de la burbuja extremal y utilizando la desigualdad de brecha espectral derivada del problema de autovalores de Steklov.

Significado
El artículo afirma extender los resultados de estabilidad previos sobre la desigualdad de traza de Escobar y la desigualdad de Sobolev fraccionaria. Al establecer un principio de reducción, los autores unifican el análisis de estabilidad de la desigualdad de traza con el de la desigualdad de Sobolev fraccionaria estándar. La derivación de cotas explícitas para las constantes de estabilidad y la prueba de la existencia de minimizadores (en el entorno funcional) abordan preguntas abiertas respecto a la naturaleza cuantitativa de estas desigualdades.

En el entorno de puntos críticos, el trabajo proporciona la primera descomposición de perfiles cuantitativa para la ecuación de traza de Escobar, generalizando los resultados conocidos para la ecuación de Yamabe clásica. La cota superior estricta $2/(n+2)$ para la constante de estabilidad en el caso de una sola burbuja es un refinamiento significativo, que mejora las estimaciones genéricas y resalta las propiedades espectrales específicas del operador linealizado en este contexto. Los autores señalan que la no degeneración de las soluciones, crucial para estos resultados cuantitativos, se establece mediante la conexión con el problema de autovalores de Steklov, un vínculo que puede ser de interés independiente.