Degenerate stability of critical points of the Caffarelli-Kohn-Nirenberg inequality along the Felli-Schneider curve

Planteamiento del Problema
Este artículo investiga la estabilidad cuantitativa de la ecuación crítica de Hardy-Hénon, la cual sirve como la ecuación de Euler-Lagrange para la clásica desigualdad de Caffarelli-Kohn-Nirenberg (CKN). Específicamente, los autores se centran en el régimen donde los parámetros $(a, b)$ se encuentran exactamente en la curva de Felli-Schneider ($b = b_{FS}(a)$ con $a < 0$).

En este escenario, se sabe que la ecuación es degenerada. A diferencia de los casos no degenerados (donde $a \ge 0$ o $b > b_{FS}(a)$), el operador linealizado alrededor de una burbuja de Talenti (la solución positiva) posee un núcleo no trivial más allá de las invarianzas estándar de escala y traslación. El trabajo previo de Wei y Wu estableció estimaciones de estabilidad cuantitativa óptimas para el caso no degenerado, apoyándose fuertemente en la condición de no degeneración. Sin embargo, estos resultados fallan en la curva de Felli-Schneider porque la degeneración impide que las estimaciones lineales estándar se mantengan. El problema central abordado es si existe una estimación de estabilidad cuantitativa adecuada en este entorno degenerado y, de ser así, cuál es la forma óptima de la función de estabilidad $F$.

Metodología
Los autores emplean un enfoque analítico de múltiples pasos:

1. Transformación de Emden-Fowler: El problema se reformula desde el espacio euclídeo $\mathbb{R}^n$ al cilindro $\mathcal{C} = \mathbb{R} \times S^{n-1}$. Esta transformación convierte la desigualdad CKN ponderada y la ecuación de Hardy-Hénon en una desigualdad de interpolación de Gagliardo-Nirenberg y una ecuación elíptica semilineal correspondiente con coeficientes constantes en el cilindro. Esto simplifica el análisis espectral y el manejo de las funciones de peso.
2. Estrategia de Local-a-Global: Siguiendo el principio de compacidad global, los autores reducen el problema de estabilidad global a uno local. Demuestran que si una función está suficientemente cerca de una suma de burbujas de Talenti, la estimación de estabilidad se cumple; el resultado global se obtiene entonces combinando esto con el principio de compacidad.
3. Técnicas de Expansión de Alto Orden: Para manejar la degeneración, los autores no pueden confiar en expansiones de segundo orden (suficientes en casos no degenerados). En su lugar, utilizan técnicas de expansión de alto orden (hasta el cuarto orden) para los términos no lineales. Esto implica dividir el dominio de integración y estimar cuidadosamente los términos de resto utilizando desigualdades específicas para la función $|x+y|^{p-2}(x+y)$.
4. Análisis Espectral y Proyecciones Ortogonales: El análisis implica la descomposición de la perturbación de la solución en componentes paralelas y ortogonales al núcleo del operador linealizado (denotado como $X$ o $Y$ en el entorno del cilindro). Los autores derivan estimaciones para la componente ortogonal y analizan la interacción entre las direcciones degeneradas y los términos no lineales.
5. Construcción de Contraejemplos/Optimidad: Para probar la nitidez de sus estimaciones, los autores construyen secuencias específicas de funciones. Esta construcción es técnica; implica perturbar candidatos naturales con soluciones de ecuaciones de Schrödinger especiales para lograr la escala cúbica deseada (o de orden superior), en lugar de la escala cuadrática que producirían perturbaciones más simples.

Contribuciones Clave y Resultados

• Estabilidad Óptima para Burbuja Única ($\nu=1$): Para el caso de una sola burbuja ($\nu=1$), los autores establecen una estimación de estabilidad cúbica nítida:
  $$\inf_{\lambda > 0} \|u - U_\lambda\|_{D^{1,2}_a}^3 \le C \|H(u)\|_{D^{-1,2}_a}$$
  Demuestran que esta estimación es óptima construyendo una secuencia donde la razón entre el error y la potencia cúbica de la distancia permanece acotada. Además, proporcionan una estimación refinada para la componente ortogonal de la solución, mostrando que si la solución "no es demasiado degenerada" (satisfaciendo una condición específica que relaciona las componentes ortogonal y degenerada), una estimación lineal se cumple para la parte ortogonal.

• Estabilidad para Múltiples Burbujas ($\nu \ge 2$): Para el caso de múltiples burbujas ($\nu \ge 2$), los autores derivan una estimación de estabilidad para la componente ortogonal de la solución, siempre que la solución no sea "demasiado degenerada". La estimación toma la forma:
  $$\|\Pi^\perp_X(u) - \sum U_{\lambda_i}\| \le C F_1(\|H(u)\|)$$
  donde $F_1$ depende de la dimensión y el exponente $p$. La condición "no demasiado degenerada" es necesaria, ya que los autores demuestran mediante un contraejemplo que, sin ella, la estimación de estabilidad falla.

• Nitidez y Optimidad: El artículo aborda explícitamente la optimidad de los exponentes derivados. Para $\nu=1$, la estimación cúbica se muestra como nítida. Para $\nu \ge 2$, los autores establecen la validez de la estimación bajo la restricción de no degeneración y muestran que esta restricción es óptima en ciertos regímenes ($p \ge 3$ o $\nu \ge 2, p > 3$).

Significado
Los autores afirman que este trabajo proporciona el primer caso de resultados de estabilidad degenerada en el entorno de puntos críticos para la desigualdad de Caffarelli-Kohn-Nirenberg. Previamente, los resultados de estabilidad cuantitativa dependían en gran medida de condiciones de no degeneración. Al navegar con éxito la degeneración en la curva de Felli-Schneider, el artículo extiende la teoría de la estabilidad cuantitativa a un caso límite crítico donde los métodos anteriores fallaron. Los autores sugieren que sus métodos, particularmente la expansión de alto orden y la construcción específica de funciones de prueba y secuencias de perturbación, pueden ser aplicables a otros problemas que involucren estabilidad degenerada.

El artículo concluye que, si bien la estabilidad en el entorno funcional (estabilidad de la desigualdad) ha sido estudiada extensamente, el entorno de puntos críticos en la curva de Felli-Schneider presenta desafíos únicos debido a la falta de no degeneración, lo cual este trabajo resuelve para el caso de la burbuja única y parcialmente para el caso de múltiples burbujas bajo condiciones específicas.