The weighted $L^2$-Caffarelli-Kohn-Nirenberg inequalities for the curl-free vector fields and second order derivatives: The sharp constants and stability estimates

Resumen Técnico: Desigualdades de Caffarelli-Kohn-Nirenberg $L^2$ ponderadas para campos vectoriales libres de rotacional y derivadas de segundo orden

Planteamiento del problema
Este artículo investiga las desigualdades de Caffarelli-Kohn-Nirenberg (CKN) $L^2$ ponderadas, centrándose específicamente en dos contextos distintos pero relacionados:

1. Campos vectoriales libres de rotacional: Establecimiento de constantes exactas y estimaciones de estabilidad para desigualdades que involucran el gradiente de un campo vectorial $U$ (donde $U = \nabla u$) y normas ponderadas.
2. Derivadas de segundo orden: Demostración de desigualdades exactas y estimaciones de estabilidad que involucran el Laplaciano $\Delta u$ y el gradiente $\nabla u$ con parámetros de peso generales $a$ y $b$.

Si bien autores como Cazacu, Flynn, Lam y otros ya habían establecido constantes exactas para las desigualdades CKN de primer orden y casos específicos de desigualdades de segundo orden (por ejemplo, el principio de incertidumbre de Heisenberg-Pauli-Weyl), este trabajo aborda la brecha en la demostración de estas desigualdades para parámetros generales $a$ y $b$ en el entorno de segundo orden y proporciona las primeras estimaciones de estabilidad para las desigualdades CKN ponderadas de campos vectoriales libres de rotacional.

Metodología
Los autores emplean un enfoque analítico riguroso centrado en tres herramientas principales:

1. Descomposición en armónicos esféricos: El método principal consiste en descomponer las funciones $u$ y los campos vectoriales $U$ en componentes radiales y no radiales utilizando armónicos esféricos. Esto reduce las desigualdades multidimensionales a una familia de desigualdades integrales unidimensionales indexadas por el grado $k$ de los armónicos esféricos.
2. Desigualdades integrales unidimensionales: El núcleo de la prueba consiste en establecer desigualdades ponderadas exactas para funciones de una sola variable. Los autores utilizan un lema específico (Lema 2.2) que proporciona constantes exactas para desigualdades de la forma:
   $$\left( \int_0^\infty (f')^2 r^{A-1} dr + C \int_0^\infty f^2 r^{A-3} dr \right) \int_0^\infty f^2 r^{B-1} dr \geq K \left( \int_0^\infty f^2 r^{\frac{A+B}{2}-2} dr \right)^2$$
   Ellos determinan la constante óptima $K$ y las funciones extremales de forma explícita.
3. Análisis de estabilidad mediante descomposición ortogonal: Para probar la estabilidad (cuantificando qué tan cerca está una función del conjunto de extremales cuando la desigualdad se satisface casi al límite), los autores descomponen la función en una parte radial ($u_r$) y una parte ortogonal a las funciones radiales ($u_o$). Demuestran que la constante exacta puede mejorarse estrictamente para la parte no radial (Lema 4.1 y Lema 5.1). Este "margen" permite acotar la distancia de la función respecto al conjunto de extremales en términos del déficit de la desigualdad.

Contribuciones clave y resultados

1. Desigualdades CKN de segundo orden ponderadas exactas (Teorema 1.1)
Los autores demuestran una nueva familia de desigualdades CKN $L^2$ ponderadas exactas para derivadas de segundo orden. Para $n \geq 2$ y parámetros $a, b$ que satisfacen condiciones específicas (incluyendo $(n-2a-2)^2 \geq 8(1+a)(1+2a)$), establecen:
$$\int_{\mathbb{R}^n} \frac{|\Delta u|^2}{|x|^{2a}} dx \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{2b}} dx \geq C_2(n, a, b)^2 \left( \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{a+b+1}} dx \right)^2$$

• Constante exacta: $C_2(n, a, b) = \frac{|a-b+1| + |n+2a|}{2}$.
• Funciones extremales: La igualdad se alcanza mediante funciones radiales específicas definidas mediante integrales que involucran términos exponenciales y de potencia (Ecuación 1.11).
• Significado: Este resultado complementa el trabajo previo de Cazacu, Flynn y Lam (2023) y Duong y Nguyen (2025) al cubrir un rango más amplio de parámetros y manejar explícitamente el término del Laplaciano de segundo orden en lugar de solo el gradiente del campo vectorial.

2. Estabilidad para campos vectoriales libres de rotacional (Teorema 1.3)
El artículo establece una versión de estabilidad para la desigualdad CKN ponderada para campos vectoriales libres de rotacional $U = \nabla u$. Demuestra que si el "déficit" (la diferencia entre los lados izquierdo y derecho de la desigualdad) es pequeño, el campo vectorial $U$ está cerca del conjunto de campos vectoriales extremales $M_{a,b}$ en una norma $L^2$ ponderada.

• Resultado: $\delta(U) \geq C \inf_{V \in M_{a,b}} \frac{\|U-V\|_{L^2(|x|^{a+b+1})}^2}{\|U\|_{L^2(|x|^{a+b+1})}^2}$.
• Consecuencias: Esto produce versiones de estabilidad para el principio de incertidumbre de Heisenberg-Pauli-Weyl ponderado y el principio de incertidencia de Hidrógeno ponderado para campos vectoriales libres de rotacional (Corolarios 1.4 y 1.5).

3. Estabilidad para derivadas de segundo orden (Teorema 1.7)
Extendiendo el análisis de estabilidad a la desigualdad de segundo orden probada en el Teorema 1.1, los autores muestran una estimación de estabilidad similar para funciones $u \in Y_{a,b}(\mathbb{R}^n)$.

• Resultado: $\delta_{CKN}(u) \geq C \inf_{v \in N_{a,b}} \frac{\|\nabla u - \nabla v\|_{L^2(|x|^{a+b+1})}^2}{\|\nabla u\|_{L^2(|x|^{a+b+1})}^2}$.
• Consecuencias: Esto proporciona estimaciones de estabilidad para los principios de incertidumbre de Heisenberg-Pauli-Weyl y de Hidrógeno de segundo orden ponderados (Corolarios 1.8 y 1.9).

Significado y afirmaciones
Los autores posicionan este trabajo como un avance significativo en la teoría de las desigualdades funcionales:

• Generalización: A diferencia de los resultados previos que a menudo estaban restringidos a rangos de parámetros específicos (por ejemplo, $b = -a-1$) o dependían de métodos como "expandir el cuadrado" que son difíciles de generalizar, este artículo utiliza la descomposición en armónicos esféricos para manejar parámetros generales $a$ y $b$.
• Estabilidad: El artículo afirma proporcionar las primeras estimaciones de estabilidad para las desigualdades CKN ponderadas específicamente para campos vectoriales libres de rotacional y para el caso de la derivada de segundo orden con pesos generales. Los resultados de estabilidad previos se limitaban en gran medida a la desigualdad de Sobolev estándar o a principios de incertidumbre específicos sin pesos o con parámetros restringidos.
• Rigor metodológico: El trabajo demuestra el poder de combinar la descomposición en armónicos esféricos con problemas variacionales unidimensionales para derivar constantes exactas y estimaciones de estabilidad, una técnica que los autores señalan como efectiva para estudiar las formas exactas de las desigualdades funcionales.

El artículo concluye señalando que, si bien la constante $C$ en las estimaciones de estabilidad es computable explícitamente, no es necesariamente óptima, lo que deja espacio para futuras refinaciones. Los resultados recuperan casos conocidos (como los principios de incertidumbre estándar cuando $a=0$) como instancias especiales del marco más general presentado.