A Local Linking Theorem for Relativistic Action Functionals

Resumo Técnico: Um Teorema de Ligação Local para Funcionais de Ação Relativística

Enunciado do Problema
O artigo aborda a multiplicidade de soluções não constantes para problemas variacionais decorrentes de princípios de ação relativística. Especificamente, ele visa uma classe de funcionais não suaves do tipo Szulkin, definidos em um espaço de Hilbert $H$, mas que possuem um domínio efetivo $K \subset H$ onde o funcional é finito. Um exemplo prototípico é o funcional de ação relativística:
$$I(q) = \int_{\Omega} \left( 1 - \sqrt{1 - |\nabla q|^2} + F(x, q, \nabla q) \right) dx,$$
onde o domínio $K$ é restrito por $|\nabla q| \leq 1$.

O desafio central é que esses funcionais não são $C^1$ (são não suaves) e, crucialmente, não satisfazem a clássica condição forte de Palais–Smale (PS) na topologia de $H$. Em vez disso, a compacidade para sequências de Palais–Smale está disponível apenas com relação a uma topologia mais fraca $\tau$ induzida pelo domínio efetivo $K$. Os autores buscam estender o clássico teorema de ligação local de Brezis–Nirenberg — que garante pelo menos dois pontos críticos não nulos sob uma condição geométrica específica e a condição PS forte — para este cenário não suave e $\tau$-compacto.

Metodologia
Os autores desenvolvem um teorema de multiplicidade abstrato (Teorema 2.1) para funcionais $I = \Psi + F$ na classe $X(K)$, onde $\Psi$ é um funcional próprio, convexo e semicontínuo inferiormente com domínio $K$, e $F$ é uma perturbação $C^1$. A metodologia envolve várias inovações técnicas fundamentais:

1. Topologia e Compacidade: O framework utiliza uma topologia $\tau$ em $K$ tal que conjuntos limitados em um espaço de Banach auxiliar $E$ (onde $H$ está continuamente imerso) são $\tau$-compactos. A suposição de compacidade é substituída por uma condição $(PS)^*_\tau$: toda sequência de Palais–Smale em um nível não nulo admite uma subsequência convergindo em $\tau$ para um ponto crítico.
2. Regularização de Ekeland–Lasry: Para lidar com a falta de suavidade e a ausência de uma condição PS forte, os autores empregam a técnica de regularização de Ekeland–Lasry. Eles definem um funcional regularizado $I_\varepsilon$ que é $C^1$ e compartilha os mesmos pontos críticos de $I$.
3. Construção Perturbativa da Geometria de Min-Max: Uma dificuldade maior surge porque o fluxo de gradiente negativo para $I_\varepsilon$ está naturalmente associado à topologia forte de $H$, enquanto a compacidade do funcional original $I$ é garantida apenas em $\tau$. Os autores superam isso construindo um mapa contínuo $\gamma^*$ usando uma perturbação específica $\omega_\varepsilon$ da trajetória do fluxo de gradiente. Este mapa explora a regularidade de $I_\varepsilon$ ao mesmo tempo em que garante que a imagem permaneça dentro do domínio efetivo $K$ e respeite as propriedades de $\tau$-compacidade de $I$.
4. Condição de Ligação Local: O teorema assume uma geometria de ligação local onde o funcional é não positivo em um subespaço de dimensão finita $H_1$ e estritamente positivo (limitado inferiormente por uma função da norma) no subespaço complementar $H_2$ próximo à origem. Uma suposição de convexidade adicional ($I + \mu\|\cdot\|_H^2$ é convexo) é necessária para facilitar a regularização.

Principais Contribuições e Resultados
A principal contribuição é o Teorema 2.1, que estabelece que, se um funcional $I \in X(K)$ é limitado inferiormente com um mínimo global negativo, satisfaz a condição $(PS)^*_\tau$ e exibe uma geometria de ligação local, então $I$ possui pelo menos dois pontos críticos não nulos.

O artigo aplica este resultado abstrato a dois modelos relativísticos específicos:

1. A Equação da Força de Lorentz:
   • Contexto: A dinâmica de uma partícula carregada em um campo eletromagnético com potencial escalar nulo, descrita pela equação $\frac{d}{dt}\left(\frac{\dot{q}}{\sqrt{1-|\dot{q}|^2}}\right) = E(t,q) + \dot{q} \times B(t,q)$.
   • Resultado: Sob suposições de equilíbrios isolados para o campo eletromagnético e condições específicas de decaimento/limitação no potencial vetorial, os autores provam a existência de pelo menos duas soluções $T$-periódicas não constantes. Isso estende resultados anteriores (ex: [24, Teorema 2.1]) que estabeleceram a existência de apenas um minimizador global.
2. A Equação da Curvatura Média Prescrita no Espaço de Minkowski:
   • Contexto: O problema de Dirichlet $\text{div}\left(\frac{\nabla q}{\sqrt{1-|\nabla q|^2}}\right) = f(x, q)$, onde o operador corresponde à curvatura média no espaço de Minkowski.
   • Resultado: Para não linearidades da forma $f(x, s) = a(x)s - g(s)$, onde $a(x)$ gera autovalores negativos para o operador linear associado e $g$ satisfaz condições de crescimento em zero, o artigo prova a existência de pelo menos duas soluções não triviais. Nota-se que esta é a primeira aplicação de um teorema de ligação local a este operador específico.

Significância e Alegações
O artigo afirma fornecer a primeira extensão do teorema de ligação local de Brezis–Nirenberg para o framework de funcionais do tipo Szulkin decorrentes da mecânica relativística, onde a condição de Palais–Smale forte falha.

• Avanço Teórico: O trabalho resolve a incompatibilidade entre a topologia forte exigida pela regularização de Ekeland–Lasry e a topologia fraca ($\tau$) onde a compacidade é válida para funcionais relativísticos. Os autores afirmam explicitamente que extensões anteriores do teorema de ligação local (ex: [34]) dependiam de suposições de positividade próximas à fronteira do domínio efetivo ou de compacidade forte, as quais são incompatíveis com os modelos relativísticos estudados aqui.
• Novidade Metodológica: A construção do mapa $\gamma^*$ via a perturbação $\omega_\varepsilon$ é apresentada como a principal conquista técnica, permitindo a recuperação da necessária geometria de min-max sem exigir que o fluxo permaneça no interior do domínio ou satisfaça compacidade forte.
• Escopo de Aplicação: Os resultados demonstram que a multiplicidade de soluções pode ser garantida para sistemas relativísticos sob suposições físicas naturais (como equilíbrios isolados ou propriedades espectrais específicas da parte linear), mesmo quando o funcional de ação é não suave e carece de compacidade forte.

Os autores mantêm um tom modesto quanto ao escopo, observando que seus resultados se aplicam a subclasses específicas de funcionais e que a suposição de convexidade (15) é necessária para o procedimento de regularização. Eles não pretendem resolver o problema geral da multiplicidade para todos os problemas variacionais relativísticos, mas sim fornecer um framework robusto para uma classe significativa deles.