A Local Linking Theorem for Relativistic Action Functionals

Resumen Técnico: Un Teorema de Enlace Local para Funcionales de Acción Relativista

Planteamiento del Problema
El artículo aborda la multiplicidad de soluciones no constantes para problemas variacionales que surgen de principios de acción relativista. Específicamente, se dirige a una clase de funcionales no suaves de tipo Szulkin, definidos en un espacio de Hilbert $H$ pero que poseen un dominio efectivo $K \subset H$ donde el funcional es finito. Un ejemplo prototípico es el funcional de acción relativista:
$$I(q) = \int_{\Omega} \left( 1 - \sqrt{1 - |\nabla q|^2} + F(x, q, \nabla q) \right) dx,$$
donde el dominio $K$ está restringido por $|\nabla q| \leq 1$.

El desafío central es que estos funcionales no son $C^1$ (son no suaves) y, crucialmente, no satisfacen la clásica condición fuerte de Palais–Smale (PS) en la topología de $H$. De manera fundamental, la compacidad para las secuencias de Palais–Smale solo está disponible con respecto a una topología más débil $\tau$ inducida por el dominio efectivo $K$. Los autores buscan extender el clásico teorema de enlace local de Brezis–Nirenberg —que garantiza al menos dos puntos críticos no nulos bajo una condición geométrica específica y la condición fuerte de PS— a este entorno no suave y $\tau$-compacto.

Metodología
Los autores desarrollan un teorema de multiplicidad abstracto (Teorema 2.1) para funcionales $I = \Psi + F$ en la clase $X(K)$, donde $\Psi$ es un funcional propio, convexo y semic continuo con dominio $K$, y $F$ es una perturbación $C^1$. La metodología involucra varias innovaciones técnicas clave:

1. Topología y Compacidad: El marco utiliza una topología $\tau$ en $K$ tal que los conjuntos acotados en un espacio de Banach auxiliar $E$ (donde $H$ está embebido continuamente) son $\tau$-compactos. La suposición de compacidad se reemplaza por una condición $(PS)^*_\tau$: toda secuencia de Palais–Smale en un nivel distinto de cero admite una subsucesión que converge en $\tau$ hacia un punto crítico.
2. Regularización de Ekeland–Lasry: Para manejar la falta de suavidad y la ausencia de una condición fuerte de PS, los autores emplean la técnica de regularización de Ekeland–Lasry. Definen un funcional regularizado $I_\varepsilon$ que es $C^1$ y comparte los mismos puntos críticos que $I$.
3. Construcción Perturbativa de la Geometría de Mín-Máx: Una dificultad mayor surge porque el flujo de gradiente negativo para $I_\varepsilon$ está asociado naturalmente con la topología fuerte de $H$, mientras que la compacidad del funcional original $I$ solo está garantizada en $\tau$. Los autores superan esto mediante la construcción de un mapa continuo $\gamma^*$ utilizando una perturbación específica $\omega_\varepsilon$ de la trayectoria del flujo de gradiente. Este mapa explota la regularidad de $I_\varepsilon$ asegurando al mismo tiempo que la imagen permanezca dentro del dominio efectivo $K$ y respete las propiedades de $\tau$-compacidad de $I$.
4. Condición de Enlace Local: El teorema asume una geometría de enlace local donde el funcional es no positivo en un subespacio de dimensión finita $H_1$ y estrictamente positivo (acotado inferiormente por una función de la norma) en el subespacio complementario $H_2$ cerca del origen. Se requiere una suposición adicional de convexidad ($I + \mu\|\cdot\|_H^2$ es convexo) para facilitar la regularización.

Contribuciones Clave y Resultados
La contribución principal es el Teorema 2.1, el cual establece que si un funcional $I \in X(K)$ está acotado inferiormente con un mínimo global negativo, satisface la condición $(PS)^*_\tau$ y exhibe una geometría de enlace local, entonces $I$ posee al menos dos puntos críticos no nulos.

El artículo aplica este resultado abstracto a dos modelos relativistas específicos:

1. La Ecuación de la Fuerza de Lorentz:

   • Contexto: La dinámica de una partícula cargada en un campo electromagnético con potencial escalar nulo, descrita por la ecuación $\frac{d}{dt}\left(\frac{\dot{q}}{\sqrt{1-|\dot{q}|^2}}\right) = E(t,q) + \dot{q} \times B(t,q)$.
   • Resultado: Bajo supuestos de equilibrios aislados para el campo electromagnético y condiciones específicas de decaimiento/acotación sobre el potencial vectorial, los autores prueban la existencia de al menos dos soluciones $T$-periódicas no constantes. Esto extiende resultados previos (por ejemplo, [24, Teorema 2.1]) que establecían la existencia de solo un minimizador global.

2. La Ecuación de Curvatura Media Prescrita en el Espacio de Minkowski:

   • Contexto: El problema de Dirichlet $\text{div}\left(\frac{\nabla q}{\sqrt{1-|\nabla q|^2}}\right) = f(x, q)$, donde el operador corresponde a la curvatura media en el espacio de Minkowski.
   • Resultado: Para no linealidades de la forma $f(x, s) = a(x)s - g(s)$, donde $a(x)$ genera autovalores negativos para el operador lineal asociado y $g$ satisface condiciones de crecimiento en cero, el artículo prueba la existencia de al menos dos soluciones no triviales. Se señala que esta es la primera aplicación de un teorema de enlace local a este operador específico.

Significancia y Reivindicaciones
El artículo sostiene que proporciona la primera extensión del teorema de enlace local de Brezis–Nirenberg al marco de los funcionales de tipo Szulkin que surgen en la mecánica relativista, donde la condición fuerte de Palais–Smale falla.

• Avance Teórico: El trabajo resuelve la incompatibilidad entre la topología fuerte requerida para la regularización de Ekeland–Lasry y la topología débil ($\tau$) donde reside la compacidad para los funcionales relativistas. Los autores afirman explícitamente que las extensiones previas del teorema de enlace local (por ejemplo, [34]) dependían de supuestos de positividad cerca de la frontera del dominio efectivo o de compacidad fuerte, los cuales son incompatibles con los modelos relativistas estudiados aquí.
• Novedad Metodológica: La construcción del mapa $\gamma^*$ mediante la perturbación $\omega_\varepsilon$ se presenta como el núcleo del logro técnico, permitiendo la recuperación de la necesaria geometría de mín-máx sin requerir que el flujo permanezca en el interior del dominio o satisfaga una compacidad fuerte.
• Alcance de Aplicación: Los resultados demuestran que la multiplicidad de soluciones puede garantizarse para sistemas relativistas bajo supuestos físicos naturales (como equilibrios aislados o propiedades espectrales específicas de la parte lineal), incluso cuando el funcional de acción es no suave y carece de compacidad fuerte.

Los autores mantienen un tono modesto respecto al alcance, señalando que sus resultados se aplican a subclases específicas de funcionales y que la suposición de convexidad (15) es necesaria para el procedimiento de regularización. No pretenden resolver el problema general de multiplicidad para todos los problemas variacionales relativistas, sino proporcionar un marco robusto para una clase significativa de ellos.