Absence of non-compactly supported minimisers for the Lieb-Oxford bound

Resumen Técnico: Ausencia de Minimizadores de Soporte No Compacto para la Cota de Lieb–Oxford

Planteamiento del Problema
El artículo aborda las propiedades matemáticas de los minimizadores de la cota de Lieb–Oxford (LO), una cota inferior fundamental para la parte indirecta de la energía de Coulomb o de Riesz en sistemas de partículas cargadas. La desigualdad de LO afirma la existencia de una constante universal $c_{LO}(s, d)$ tal que, para cualquier medida de probabilidad $P$ en $(\mathbb{R}^d)^N$ con densidad de un cuerpo $\rho_P$, la diferencia entre la energía de interacción de muchos cuerpos y la energía de Hartree está acotada inferiormente por $-c_{LO} \int \rho_P^{1+s/d}$.

Si bien la constante $c_{LO}(s, d)$ es universal (independiente del número de partículas $N$), los autores investigan el caso específico donde $N$ es fijo y finito. Consideran el problema de optimización de encontrar la constante más pequeña $c_{LO}(s, d, N)$ para la cual se cumple la desigualdad para todas las distribuciones de $N$ partículas. La cuestión central es la naturaleza estructural de la densidad $\rho$ que minimiza este funcional. Específicamente, el artículo busca determinar si tales minimizadores deben tener soporte compacto. Esta propiedad fue establecida previamente solo para el caso de una sola partícula ($N=1$) por Lieb y Oxford, mientras que argumentos heurísticos en la literatura de la química sugirieron que podría cumplirse para un $N$ general.

Metodología
La demostración se basa en un análisis variacional del funcional $F(\eta) = C(\eta) - \frac{1}{2}D(\eta) + c_{LO} \int \eta^{1+s/d}$, donde $C(\eta)$ representa el costo de transporte óptimo (transporte óptimo multimarginal con costo de Riesz) y $D(\eta)$ es la energía de Hartree.

1. Dualidad de Transporte Óptimo: Los autores utilizan la dualidad de Kantorovich para el problema de transporte óptimo multimarginal. Trabajan con una formulación "fuerte" de la dualidad (denotada como KD') donde el potencial de Kantorovich (KP) $\phi$ es un elemento de un espacio de Lebesgue en lugar de una función estrictamente continua definida en todo el dominio. Establecen la existencia de maximizadores para este problema dual y los caracterizan mediante desigualdades variacionales.
2. Caracterización Variacional: Al tratar la minimización de LO como un problema de optimización convexo, los autores derivan una condición necesaria para la optimalidad. Demuestran que la función $\phi_\rho = U_\rho - \beta_s c_{LO} \rho^{s/d}$ (donde $U_\rho$ es el potencial de Riesz de $\rho$ y $\beta_s = 1+s/d$) actúa como un potencial de Kantorovich para el problema dual.
3. Regularización por Retroalimentación (Bootstrapping): Un paso técnico crítico consiste en demostrar la regularidad de la densidad $\rho$. Utilizando la estimación interna derivada de la condición de optimalidad y la desigualdad de Hardy-Littlewood-Sobolev (HLS), los autores demuestran que si $\rho$ es un minimizador, debe poseer una mayor integrabilidad local. A través de un argumento iterativo, prueban que $\rho$ es continua y se anula en la frontera de su soporte.
4. Análisis Asintótico: Los autores aprovechan resultados recientes sobre el comportamiento asintótico de los potenciales de Kantorovich. Específicamente, utilizan el hecho de que un potencial asociado con una densidad de soporte no acotado se comporta asintóticamente como $N-1/|x|^s + C_\phi$ en el infinito.

Contribuciones Clave y Resultados
El resultado principal del artículo es el Teorema 1, que establece:

Sea $0 < s < d$ y sea $\rho \in L^1 \cap L^{1+s/d}(\mathbb{R}^d, \mathbb{R}^+)$ con $\int \rho = N \ge 1$ un minimizador para la cota de Lieb-Oxford para un número fijo de partículas $N$. Entonces, $\rho$ debe tener soporte compacto.

La demostración procede por contradicción:

• Los autores asumen que el soporte de $\rho$ es no acotado.
• Establecen que la constante $c$ que aparece en las condiciones de optimalidad es igual al límite del potencial de Kantorovich en el infinito ($C_\phi$).
• Analizan el comportamiento del potencial de Riesz $U_\rho$ y del potencial $\phi$ en el infinito.
• Al comparar la cota inferior asintótica del potencial de Riesz (que escala como $N/|x|^s$) con el comportamiento asintótico del potencial de Kantorovich (que escala como $(N-1)/|x|^s$), derivan una contradicción. La desigualdad requerida para la optimalidad no puede satisfacerse si el soporte se extiende hasta el infinito.

Además, el artículo proporciona el Teorema 2, que formaliza las propiedades de existencia y regularidad de los potenciales de Kantorovich para la formulación de dualidad fuerte (KD'), mostrando que pueden elegirse como $c$-conjugados, Lipschitz-continuos y uniformemente acotados.

Significancia y Reivindicaciones
El artículo afirma extender un resultado conocido del caso de una partícula a cualquier número finito de partículas $N \ge 1$. Los autores declaran explícitamente que no prueban la existencia de tales minimizadores, señalando que esto sigue siendo una cuestión abierta. En su lugar, su contribución es una caracterización estructural: si existe un minimizador para un $N$ fijo, este debe tener soporte compacto.

Este resultado descarta la posibilidad de minimizadores de soporte no compacto, reduciendo así el espacio de búsqueda para la densidad óptima en el problema de Lieb-Oxford. Los autores enfatizan que su prueba se apoya en el comportamiento asintótico de los potenciales de Kantorovich, una propiedad establecida recientemente en la literatura, y que el resultado se sostiene para interacciones de Riesz generales ($0 < s < d$) en cualquier dimensión $d$. El trabajo proporciona una base matemática rigurosa para las suposiciones frecuentemente adoptadas en la literatura de la física y la química respecto a la localización de las densidades óptimas en la teoría del funcional de la densidad.