Continuity of critical points for 1-dimensional non-local energies

Resumen Técnico: Continuidad de los Puntos Críticos para Energías No Locales Unidimensionales

Planteamiento del Problema
Este artículo investiga la regularidad de los puntos críticos acotados para una clase de energías no locales definidas sobre medidas de probabilidad en una dimensión. La funcional de energía es de tipo atractivo-repulsivo, dada por:
$$E(\mu) = \iint g(x-y) d\mu(x) d\mu(y)$$
donde $g: \mathbb{R} \to [0, +\infty]$ es un núcleo simétrico. Los autores se centran en medidas $\mu = f \mathcal{L}^1$ (absolutamente continuas con respecto a la medida de Lebesgue) que satisfacen las condiciones de Euler-Lagrange para minimizadores locales, específicamente que el potencial inducido $\psi_f = g * f$ es constante casi en todas partes en el soporte de $f$. Si bien se conocen resultados de existencia y cotas $L^\infty$ para los minimizadores bajo ciertas condiciones, la regularidad interna (específicamente la continuidad) de estas densidades dentro de su soporte sigue siendo una cuestión central. El artículo aborda si los puntos críticos acotados son continuos dentro de su soporte, asumiendo que el núcleo $g$ satisface condiciones específicas de crecimiento y convexidad cerca del origen.

Metodología
Los autores emplean una prueba por contradicción centrada en el comportamiento de la segunda derivada del potencial. La estrategia central consiste en los siguientes pasos:

1. Regularización: La densidad $f$ se regulariza mediante la convolución con un mollificador suave $\rho_\delta$ para obtener una función suave $f_\delta$. Dado que el potencial $\psi_f$ es constante en el soporte, $\psi_{f_\delta}$ también es constante en un intervalo ligeramente menor.
2. Análisis de Puntos Críticos: Los autores asumen que $f$ es discontinua en un punto (específicamente, que los límites esenciales no coinciden). Esto implica que, para un $\delta$ suficientemente pequeño, la función regularizada $f_\delta$ debe exhibir oscilaciones (máximos y mínimos locales) cerca de ese punto.
3. Estimaciones de la Segunda Derivada: La prueba se basa en el análisis de la segunda derivada del potencial, $\psi''_{f_\delta}$, en los puntos críticos de $f_\delta$. Dado que $\psi_{f_\delta}$ es constante, $\psi''_{f_\delta}$ debe anularse en estos puntos.
4. Lemas de Cancelación: Una parte significativa del trabajo técnico consiste en derivar desigualdades integrales (Lemmas 2.2, 2.3 y 2.4) que estiman la contribución de las derivadas del núcleo a la segunda derivada del potencial. Estos lemas aprovechan la convexidad de $g$ y la concavidad de $g'$ en un vecindad del origen. Establecen que si $f_\delta$ oscila entre valores correspondientes a un salto en $f$, los términos integrales no pueden cancelarse para dar cero, siempre que el núcleo satisfaga una condición de crecimiento específica que involucra la razón de las derivadas en $x/2$ y $x$.
5. Selección de "Buenos" Puntos Críticos: Los autores construyen una secuencia de máximos y mínimos locales alternos para $f_\delta$ cerca de la discontinuidad. Seleccionan un "par bueno" de puntos críticos consecutivos donde la distancia entre ellos satisface restricciones geométricas específicas respecto a sus vecinos.
6. Reducción de Simetría: Para manejar discontinuidades generales, el problema se descompone en partes simétricas (pares) y antisimétricas (impares) de la densidad. Los autores demuestran que si los límites esenciales existen para ambas partes pares e impares, estos deben ser iguales, lo que implica la existencia de un límite esencial único para $f$.

Contribuciones Clave y Resultados
El resultado principal es el Teorema A, que establece:
Sea $g$ que satisface las hipótesis (i) y (ii) (simetría, $C^1$ lejos de 0, decreciente, convexa y una condición de crecimiento específica sobre $g'$ cerca de 0 que involucra una constante $\Lambda > 1$). Si $f \in L^\infty(\mathbb{R})$ es una medida finita con soporte $[a, b]$ y su potencial $\psi_f$ es constante casi en todas partes en $[a, b]$, entonces $f$ es continua en el intervalo abierto $(a, b)$.

• Hipótesis sobre el Núcleo: El núcleo debe ser convexo y tener una derivada cóncava cerca del origen. Crucialmente, la razón $\liminf_{x \to 0} |g'(x/2)|/|g'(x)|$ debe ser estrictamente mayor que 1. Esta condición es satisfecha por núcleos atractivos-repulsivos prototípicos de la forma $g(x) = \frac{|x|^\alpha}{\alpha} - \frac{|x|^\lambda}{\lambda}$ para valores apropiados de $\alpha, \lambda$.
• Suposición de Acotación: El teorema asume que la medida tiene una densidad acotada ($f \in L^\infty$). Los autores señalan que esta es una suposición leve, ya que se conocen cotas $L^\infty$ para los minimizadores bajo condiciones ligeramente más fuertes sobre el núcleo.
• Regularidad Interna: El resultado garantiza la continuidad estrictamente dentro del soporte. El artículo reconoce explícitamente que el comportamiento en la frontera (cerca de $a$ y $b$) no es abordado y puede diferir, ya que los minimizadores pueden ser no acotados o singulares en la frontera en ciertos casos.

Significado y Afirmaciones
El artículo afirma establecer la continuidad interna de los puntos críticos acotados para una amplia clase de energías no locales en 1D. El significado radica en cerrar la brecha entre la existencia conocida y las cotas $L^\infty$ de los minimizadores y su continuidad puntual.

Los autores enfatizan que su enfoque es distinto de trabajos previos que utilizan técnicas de EDP relacionadas con el Laplaciano fraccionario (por ejemplo, [8]). En cambio, este trabajo se basa en el análisis directo de la estructura de convolución y las propiedades de singularidad específicas del núcleo. El artículo no pretende resolver el problema de la regularidad para minimizadores no acotados o en dimensiones superiores, ni proporciona fórmulas explícitas para los minimizadores. Establece estrictamente que, bajo las suposiciones dadas sobre el núcleo y la acotación de la densidad, la densidad no puede tener discontinuidades de salto dentro de su soporte. La prueba demuestra que la singularidad específica del núcleo (gobernada por $\Lambda > 1$) es suficiente para forzar la cancelación de las oscilaciones del potencial, imponiendo así la continuidad.