Quantitative stability for the Trudinger-Moser inequality

Resumen Técnico: Estabilidad Cuantitativa para la Desigualdad de Trudinger–Moser

Enunciado del Problema
El artículo investiga la estabilidad cuantitativa de la desigualdad de Trudinger–Moser en dominios acotados y suaves $\Omega \subset \mathbb{R}^2$. Mientras que la inmersión de Sobolev clásica falla en el exponente crítico $q=n$, la desigualdad de Trudinger–Moser proporciona un sustituto, afirmando que las funciones en $W^{1,n}_0(\Omega)$ exhiben integrabilidad exponencial. Específicamente, para $n=2$, el funcional
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
está acotado para $\|\nabla u\|_{L^2(\Omega)} \leq 1$ si y solo si $0 \leq \alpha \leq 4\pi$. Se sabe que el conjunto de funciones extremales (optimizadores) $M_\alpha(\Omega)$ no es vacío, pero su forma analítica precisa permanece sin resolver incluso para el disco unitario.

El problema central abordado es si el "déficit" en la desigualdad —definido como la diferencia entre el supremo $TM(\alpha, \Omega)$ y el valor del funcional $E_{\alpha, \Omega}(u)$— controla la distancia de una función $u$ al conjunto de optimizadores $M_\alpha(\Omega)$. Los autores buscan establecer una estimación de estabilidad cuantitativa de la forma:
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
donde la distancia se mide en la norma $W^{1,2}_0$ (específicamente la norma $L^2$ del gradiente).

Metodología
Las demostraciones se basan en el análisis espectral de operadores linealizados alrededor de optimizadores y en un argumento por contradicción que involucra el comportamiento asintótico de secuencias que violan la desigualdad.

1. Análisis del Hueco Espectral: Los autores definen dos problemas de autovalores clave asociados a un optimizador $u^*$:

   • El problema linealizado $(P_{\alpha, \Omega})$: $-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$.
   • El problema no lineal de Trudinger–Moser $(TM_{\alpha, \Omega})$: $-\Delta v = \Lambda e^{\alpha (u^*)^2} v$.
     Sean $\lambda_1(\alpha, \Omega)$ y $\Lambda_1(\alpha, \Omega)$ sus respectivos primeros autovalores. Un paso crucial es establecer un hueco espectral donde $\Lambda_1(\alpha, \Omega)$ se sitúa estrictamente entre el primer y el segundo autovalor del problema linealizado, o estrictamente por debajo del primer autovalor no radial en casos simétricos.

2. Estrategia de Contradicción: Las demostraciones para los casos subcríticos proceden por contradicción. Asumiendo que falla la estimación de estabilidad, existe una secuencia de funciones que se aproximan al supremo pero permanecen lejos del conjunto de optimizadores. Mediante compacidad (vía el teorema de Vitali y concentración-compacidad), esta secuencia converge a un optimizador $u^*$. Las desviaciones normalizadas satisfacen una ecuación de Euler-Lagrange asintótica, convergiendo a una función límite que debe resolver el problema de autovalores linealizado. La existencia de un hueco espectral hace imposible este límite (ya que implicaría una autofunción definida en signo ortogonal al espacio tangente), demostrando así la estimación de estabilidad.

3. Extensión de la Esfera a la Bola: Dado que el funcional de Trudinger–Moser no es homogéneo (a diferencia del funcional de Sobolev), los autores primero establecen la estabilidad en la esfera unitaria $S^1$ (donde $\|\nabla u\|_{L^2}=1$) y luego la extienden a la bola unitaria cerrada $B_1$ utilizando la monotonía del funcional bajo reescalados radiales.

4. Genericidad mediante Transversalidad: Para abordar el caso no degenerado, los autores emplean un argumento de transversalidad de Sard–Smale. Parametrizando el dominio mediante difeomorfismos y analizando el mapa aumentado de la ecuación de Euler-Lagrange, muestran que la no degeneración (donde el hessiano es coercivo en el espacio tangente) se cumple para un conjunto genérico de parámetros $(\alpha, \Omega)$.

Contribuciones y Resultados Clave

El artículo establece tres teoremas principales sobre el control cuadrático de la distancia a los optimizadores mediante el déficit:

• Teorema 1 (Caso Subcrítico Pequeño): Para cualquier dominio acotado y suave $\Omega$, existe un umbral $\alpha_0 > 0$ tal que para todo $\alpha \in (0, \alpha_0)$, se cumple la estimación de estabilidad. Este resultado se basa en el hecho de que, cuando $\alpha \to 0$, los autovalores de los problemas linealizados convergen al primer autovalor de Dirichlet del laplaciano, creando un hueco espectral.
• Teorema 2 (Caso Subcrítico No Degenerado): Para cualquier $\alpha \in (0, 4\pi)$, si todo optimizador es no degenerado (es decir, la segunda variación es coerciva en el espacio tangente), se cumple la estimación de estabilidad. Los autores prueban además que dicha no degeneración es una propiedad genérica, válida para un conjunto abierto y denso de parámetros $(\alpha, \Omega)$.
• Teorema 3 (Caso Crítico Simétrico): Para el disco unitario $D$ y el rango crítico completo $\alpha \in (0, 4\pi]$, se cumple la estimación de estabilidad. Este resultado es significativo porque cubre el exponente crítico $\alpha = 4\pi$ sin requerir suposiciones de pequeñez. La demostración explota la simetría rotacional del disco, descomponiendo el operador linealizado en modos de Fourier angulares. Se muestra un hueco espectral estricto entre el autovalor radial y el primer autovalor no radial (introducido por un término centrífugo $r^{-2}$), asegurando coercividad en todas las direcciones.

Significado y Afirmaciones
El artículo afirma proporcionar las primeras estimaciones de estabilidad cuantitativa para la desigualdad de Trudinger–Moser en el escenario general donde la forma precisa de las extremales es desconocida. A diferencia de resultados previos de estabilidad para desigualdades como Sobolev o Yamabe, donde el conjunto de optimizadores es explícitamente conocido (a menudo involucrando transformaciones conformes), las extremales de Trudinger–Moser no están completamente caracterizadas. En consecuencia, los autores no pudieron depender de cálculos explícitos de la distancia a los optimizadores.

En su lugar, los autores introducen una nueva desigualdad de hueco espectral que sirve como mecanismo central para sus demostraciones. Este hueco les permite eludir la necesidad de conocimiento explícito de las extremales, confiando en cambio en las propiedades espectrales del operador linealizado. Los autores señalan que el resultado del hueco espectral en sí mismo puede ser de interés independiente. El trabajo extiende el programa de estabilidad cuantitativa (iniciado por Bianchi y Egnell para desigualdades de Sobolev) a un entorno crítico, no homogéneo y geométricamente complejo, demostrando que la estabilidad cuadrática se mantiene incluso en el exponente crítico en dominios simétricos.