Qualitative stability for a family of trace Sobolev inequalities

Resumen Técnico: Estabilidad Cualitativa para una Familia de Desigualdades de Sobolev con Traza

Enunciado del Problema
Este artículo aborda la estabilidad cualitativa de una familia uniparamétrica de desigualdades de Sobolev con traza en el semiespacio $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$, donde $n \ge 2$ y $p \in (1, n)$. Las desigualdades, establecidas por Maggi y Neumayer [MN17], relacionan la norma $L^p$ del gradiente de una función $u$ con su norma $L^{p^*}$ en el interior y su norma $L^{p^\sharp}$ en la frontera $\partial H$. Específicamente, para un parámetro de traza fijo $T \ge 0$, la constante óptima $\Phi_H(T)$ se define mediante el problema variacional:
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
donde $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$.
Los extremales (minimizadores) para este problema están completamente caracterizados como dilataciones y traslaciones específicas de un perfil explícito $U_T$. La pregunta central es la estabilidad: si una secuencia de funciones $\{u_k\} \subset \mathcal{A}_T$ tiene un déficit de energía nulo $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$, ¿converge la secuencia (en la norma del gradiente) al conjunto de extremales $\mathcal{M}_T$?

Aunque recientemente se estableció la estabilidad cuantitativa local para el caso $p=2$ por Fan, Li y Zhang [FLZ26], faltaba un resultado de estabilidad cualitativa global (es decir, demostrar que un déficit nulo implica una distancia nula a los extremales). Esta laguna impedía extender el resultado cuantitativo local a uno global.

Metodología
La prueba de la estabilidad cualitativa se basa en el principio de concentración-compactación combinado con una nueva desigualdad de unión estricta para el funcional de energía.

1. Análisis de Concentración-Compactación: El autor adapta los lemas estándar de concentración-compactación (Lions [Lio85]) al contexto de la traza. La prueba procede por contradicción: asumiendo que una secuencia con déficit nulo no converge a un extremal, la secuencia debe o bien desvanecerse (descartado por la normalización) o bien dividirse (dicotomía) en dos perfiles asintóticamente no interactuantes.
2. La Desigualdad de Unión Estricta (Teorema 1.3): El núcleo del argumento es descartar el escenario de "división". El autor demuestra que para cualquier descomposición de las normas de masa y traza en dos partes $(m_1, t_1)$ y $(m_2, t_2)$, la suma de las energías de los perfiles separados es estrictamente mayor que la energía del perfil combinado:
   $$\Phi_H(T)^p < m_1^p \Phi_H\left(\frac{t_1}{m_1}\right)^p + m_2^p \Phi_H\left(\frac{t_2}{m_2}\right)^p.$$
   Esta desigualdad es no trivial porque, a diferencia de la desigualdad de Sobolev clásica en $\mathbb{R}^n$, la constante $\Phi_H(T)$ depende de manera no lineal de $T$, lo que impide que argumentos de escalado simples descarten la división.
3. Argumento de Transporte de Masa: Para probar la desigualdad de unión estricta, el artículo utiliza la prueba de transporte de masa de la desigualdad con traza de [MN17]. El autor construye una función de prueba específica $w$ compuesta por dos copias de perfiles extremales ampliamente separadas. Al analizar el mapa de transporte óptimo (mapa de Brenier) asociado con $w$, el autor explota la monotonía cíclica del mapa de transporte. La separación geométrica de los perfiles fuerza al mapa de transporte a comportarse de una manera incompatible con la condición de monotonía cíclica a menos que el déficit de energía esté acotado inferiormente por cero. Esto produce una cota inferior definida para el déficit, estableciendo la desigualdad estricta.

Resultados Clave

• Teorema 1.1 (Estabilidad Cualitativa): Para cualquier $p \in (1, n)$ y $T > 0$, si una secuencia $\{u_k\} \subset \mathcal{A}_T$ satisface $\delta_T(u_k) \to 0$, entonces la distancia al conjunto de extremales $d_T(u_k) \to 0$. Esto confirma que la única manera de aproximarse a la constante óptima es acercándose a la familia de extremales.
• Teorema 1.3 (Desigualdad de Unión Estricta): Se demuestra la desigualdad estricta que relaciona la energía de una configuración dividida con la energía combinada para todo $T > 0$.
• Corolario 1.2 (Estabilidad Cuantitativa Global para $p=2$): Al combinar el nuevo resultado cualitativo (Teorema 1.1) con el análisis cuantitativo local existente de [FLZ26], el artículo establece la estabilidad cuantitativa global para el caso $p=2$. Específicamente, existe una constante $\alpha'_T > 0$ tal que $\delta_T(u) \ge \alpha'_T d_T(u)^2$ para todo $u \in \mathcal{A}_T$.

Significado y Afirmaciones
El artículo afirma resolver un problema abierto planteado en [FLZ26] respecto a la estabilidad cuantitativa global de las desigualdades de Sobolev con traza para $p=2$. El autor enfatiza que el principal obstáculo para este resultado fue la falta de un teorema de estabilidad cualitativa, que esta nota proporciona.

El trabajo se presenta como una "nota breve" que llena una laguna teórica específica. El autor nota modestamente que, aunque el enfoque de transporte de masa es poderoso, enfrenta dificultades para proporcionar estimaciones cuantitativas directas para la distancia a los extremales (como se ha hecho para la desigualdad isoperimétrica en otros trabajos) debido a la degeneración del control en regiones donde la función es pequeña. En consecuencia, el artículo se basa en la desigualdad estricta de unión cualitativa derivada mediante transporte de masa para habilitar el resultado cuantitativo global.

Los resultados amplían la comprensión de la estabilidad para desigualdades funcionales donde la constante óptima depende de manera no trivial de un parámetro, un escenario donde los argumentos estándar de homogeneidad fallan. El artículo no propone nuevas aplicaciones ni propuestas experimentales, sino que se centra estrictamente en el análisis riguroso de las propiedades de estabilidad de estas desigualdades específicas.