A Local Linking Theorem for Relativistic Action Functionals

Résumé Technique : Un théorème de liaison locale pour les fonctionnelles d'action relativistes

Énoncé du Problème
L'article traite de la multiplicité des solutions non constantes pour les problèmes variationnels issus des principes d'action relativistes. Il cible une classe de fonctionnelles de type Szulkin non lisses, définies sur un espace de Hilbert $H$, mais possédant un domaine effectif $K \subset H$ où la fonctionnelle est finie. Un exemple prototypique est la fonctionnelle d'action relativiste :
$$I(q) = \int_{\Omega} \left( 1 - \sqrt{1 - |\nabla q|^2} + F(x, q, \nabla q) \right) dx,$$
où le domaine $K$ est contraint par $|\nabla q| \leq 1$.

Le défi central est que ces fonctionnelles ne sont pas de classe $C^1$ (elles sont non lisses) et, de manière cruciale, ne satisfont pas la condition classique de Palais–Smale (PS) forte dans la topologie de $H$. De plus, la compacité pour les séquences de Palais–Smale n'est disponible que par rapport à une topologie $\tau$ plus faible induite par le domaine effectif $K$. Les auteurs cherchent à étendre le théorème classique de liaison locale de Brezis–Nirenberg — qui garantit au moins deux points critiques non nuls sous une condition géométrique spécifique et la condition de PS forte — à ce cadre non lisse et $\tau$-compact.

Méthodologie
Les auteurs développent un théorème de multiplicité abstrait (Théorème 2.1) pour les fonctionnelles $I = \Psi + F$ appartenant à la classe $X(K)$, où $\Psi$ est une fonctionnelle propre, convexe et semi-continue inférieure avec un domaine $K$, et $F$ est une perturbation de classe $C^1$. La méthodologie comprend plusieurs innovations techniques clés :

1. Topologie et Compacité : Le cadre utilise une topologie $\tau$ sur $K$ telle que les ensembles bornés dans un espace de Banach auxiliaire $E$ (où $H$ est continûment plongé) sont $\tau$-compacts. L'hypothèse de compacité est remplacée par une condition $(PS)^*_\tau$ : toute séquence de Palais–Smale à un niveau non nul admet une sous-suite convergeant en $\tau$ vers un point critique.
2. Régularisation d'Ekeland–Lasry : Pour gérer le manque de lissité et l'absence de condition de PS forte, les auteurs emploient la technique de régularisation d'Ekeland–Lasry. Ils définissent une fonctionnelle régularisée $I_\varepsilon$ qui est de classe $C^1$ et partage les mêmes points critiques que $I$.
3. Construction Perturbative de la Géométrie Min-Max : Une difficulté majeure réside dans le fait que le flot de gradient négatif pour $I_\varepsilon$ est naturellement associé à la topologie forte de $H$, alors que la compacité de la fonctionnelle originale $I$ n'est garantie que dans $\tau$. Les auteurs surmontent cela en construisant une application continue $\gamma^*$ à l'aide d'une perturbation spécifique $\omega_\varepsilon$ de la trajectoire du flot de gradient. Cette application exploite la régularité de $I_\varepsilon$ tout en garantissant que l'image reste dans le domaine effectif $K$ et respecte les propriétés de $\tau$-compacité de $I$.
4. Condition de Liaison Locale : Le théorème suppose une géométrie de liaison locale où la fonctionnelle est non positive sur un sous-espace de dimension finie $H_1$ et strictement positive (minorée par une fonction de la norme) sur le sous-espace complémentaire $H_2$ au voisinage de l'origine. Une hypothèse de convexité supplémentaire ($I + \mu\|\cdot\|_H^2$ est convexe) est requise pour faciliter la régularisation.

Contributions Clés et Résultats
La contribution principale est le Théorème 2.1, qui établit que si une fonctionnelle $I \in X(K)$ est bornée inférieurement avec un minimum global négatif, satisfait la condition $(PS)^*_\tau$ et présente une géométrie de liaison locale, alors $I$ possède au moins deux points critiques non nuls.

L'article applique ce résultat abstrait à deux modèles relativistes spécifiques :

1. L'Équation de la Force de Lorentz :

   • Contexte : La dynamique d'une particule chargée dans un champ électromagnétique avec potentiel scalaire nul, décrite par l'équation $\frac{d}{dt}\left(\frac{\dot{q}}{\sqrt{1-|\dot{q}|^2}}\right) = E(t,q) + \dot{q} \times B(t,q)$.
   • Résultat : Sous les hypothèses d'équilibres isolés pour le champ électromagnétique et de conditions spécifiques de décroissance/bornitude sur le potentiel vecteur, les auteurs prouvent l'existence d'au moins deux solutions $T$-périodiques non constantes. Cela étend les résultats précédents (par exemple, [24, Théorème 2.1]) qui établissaient l'existence d'un seul minimiseur global.

2. L'Équation de Courbure Moyenne Prescrite dans l'Espace de Minkowski :

   • Contexte : Le problème de Dirichlet $\text{div}\left(\frac{\nabla q}{\sqrt{1-|\nabla q|^2}}\right) = f(x, q)$, où l'opérateur correspond à la courbure moyenne dans l'espace de Minkowski.
   • Résultat : Pour des non-linéarités de la forme $f(x, s) = a(x)s - g(s)$, où $a(x)$ génère des valeurs propres négatives pour l'opérateur linéaire associé et où $g$ satisfait des conditions de croissance spécifiques à zéro, l'article prouve l'existence d'au moins deux solutions non triviales. Il est noté que c'est la première application d'un théorème de liaison locale à cet opérateur spécifique.

Signification et Revendications
L'article affirme fournir la première extension du théorème de liaison locale de Brezis–Nirenberg au cadre des fonctionnelles de type Szulkin issues de la mécanique relativiste, où la condition de Palais–Smale forte échoue.

• Avancement Théorique : Ce travail résout l'incompatibilité entre la topologie forte requise par la régularisation d'Ekeland–Lasry et la topologie faible ($\tau$) où la compacité est vérifiée pour les fonctionnelles relativistes. Les auteurs précisent explicitement que les extensions précédentes du théorème de liaison locale (par exemple, [34]) reposaient sur des hypothèses de positivité près de la frontière du domaine effectif ou sur une compacité forte, lesquelles sont incompatibles avec les modèles relativistes étudiés ici.
• Nouveauté Méthodologique : La construction de l'application $\gamma^*$ via la perturbation $\omega_\varepsilon$ est présentée comme le cœur de l'accomplissement technique, permettant de récupérer la géométrie min-max nécessaire sans exiger que le flot reste dans l'intérieur du domaine ou satisfasse une compacité forte.
• Étendue de l'Application : Les résultats démontrent que la multiplicité de solutions peut être garantie pour des systèmes relativistes sous des hypothèses physiques naturelles (telles que des équilibres isolés ou des propriétés spectrales spécifiques de la partie linéaire), même lorsque la fonctionnelle d'action est non lisse et manque de compacité forte.

Les auteurs maintiennent un ton modeste quant à la portée de leurs travaux, notant que leurs résultats s'appliquent à des sous-classes spécifiques de fonctionnelles et que l'hypothèse de convexité (15) est nécessaire pour la procédure de régularisation. Ils ne prétendent pas résoudre le problème général de la multiplicité pour tous les problèmes variationnels relativistes, mais proposent plutôt un cadre robuste pour une classe importante d'entre eux.