Ground states for strongly indefinite Schrödinger equations with competing nonlinearities

Résumé Technique : États Fondamentaux pour les Équations de Schrödinger Fortement Indéfinies avec Nonlinearités Compétitives

Énoncé du Problème
L'article traite de l'existence et de la multiplicité des solutions pour l'équation de Schrödinger non linéaire stationnaire avec un potentiel périodique et des nonlinearités compétitives :
$$-\Delta u + V(x)u = f(u) - \lambda g(u), \quad x \in \mathbb{R}^N,$$
où $N \geq 3$, $\lambda \geq 0$, et $V$ est un potentiel $\mathbb{Z}^N$-périodique. La nonlinearité se compose d'un terme focalisant $f(u)$ et d'un terme défocalisant $-\lambda g(u)$. L'accent principal est mis sur le cas « fortement indéfini », où l'opérateur linéaire $L = -\Delta + V$ possède un écart spectral contenant zéro, conduisant à un sous-espace spectral de dimension infinie positive $X_+$ et un sous-espace spectral de dimension infinie négative $X_-$.

Le défi spécifique provient du fait que la partie nonlinear de la fonctionnelle d'énergie, $I(u) = \int F(u) - \lambda \int G(u)$, change de signe. Dans le cas modèle des puissances pures ($f(u)=|u|^{p-2}u$, $g(u)=|u|^{q-2}u$ avec $2<q<p<2^*$), le terme $F(u) - \lambda G(u)$ est négatif pour de petites valeurs de $|u|$ et positif pour de grandes valeurs de $|u|$. Cette nature changeante de signe empêche l'application directe des outils variationnels classiques (tels que la méthode standard de Nehari-Pankov ou le théorème de liaison classique) qui reposent généralement sur la non-négativité de la partie non linéaire pour assurer la semi-continuité supérieure par rapport à certaines topologies faibles.

Méthodologie et Cadre
L'article passe en revue et étend les méthodes variationnelles récentes développées pour ces problèmes fortement indéfinis, en s'appuyant spécifiquement sur les travaux de Bernini, Bieganowski et Strzelecki ([2], [3]). La méthodologie repose sur les piliers suivants :

1. Théorème de Liaison Généralisé : Pour gérer l'absence de $\tau$-semi-continuité supérieure (où $\tau$ est la topologie produit de la convergence forte sur $X_+$ et de la convergence faible sur $X_-$), les auteurs utilisent un théorème de liaison généralisé. Ce théorème remplace la semi-continuité manquante par une condition géométrique qui garantit que les séquences de minimax ne s'effondrent pas vers zéro dans la topologie $\tau$. Cela produit une séquence de Cerami bornée loin de zéro.
2. Espaces de Dislocation et Décomposition de Profil : Pour traiter l'absence de compacité causée par l'invariance par translation du potentiel périodique, les auteurs emploient la théorie des espaces de dislocation. Cela implique une décomposition de profil pour les séquences bornées dans $H^1(\mathbb{R}^N)$ par rapport à l'action du groupe $\mathbb{Z}^N$. Cette décomposition sépare la séquence en « profils » asymptotiquement disjoints (points critiques) et un reste qui s'annule au sens $G$-faible.
3. Théorie de la Multiplicité : Un théorème de multiplicité abstrait est appliqué, utilisant la propriété de discrétion de l'espace des orbites et une construction de pseudo-indice. Cela permet de prouver l'existence d'une infinité de solutions géométriquement distinctes (paires $\pm u$) sous l'hypothèse que la fonctionnelle est paire et invariante sous l'action du groupe.
4. Stratégie d'État Fondamental (Nouvelle Contribution) : Pour le cas spécifique des puissances pures, l'article adapte la stratégie de minimisation sur les points critiques de Jeanjean et Tanaka. La preuve implique :
   • L'établissement d'une estimation de positivité pour les séquences de Palais-Smale bornées dont la norme reste éloignée de zéro.
   • L'utilisation d'un argument de concentration-compacité pour empêcher la disparition (vanishing).
   • L'application d'une procédure de type Brezis-Lieb pour la décomposition de la fonctionnelle d'énergie afin de comparer l'énergie d'une séquence minimisante avec sa limite faible.

Contributions Clés et Résultats

1. Existence de Solutions Non Triviales : L'article résume le résultat selon lequel, pour un $\lambda > 0$ suffisamment petit, l'équation admet au moins une solution faible non triviale. Ceci est obtenu en vérifiant les conditions géométriques du théorème de liaison généralisé et en prouvant le caractère borné de la séquence de Cerami résultante.
2. Multiplicité des Solutions : L'article confirme que, sous les mêmes conditions, l'équation possède une infinité de paires de solutions faibles géométriquement distinctes. Cela repose sur la théorie de la multiplicité abstraite pour les nonlinearités changeant de signe dans les espaces de dislocation.
3. Existence d'États Fondamentaux (Résultat Principal Nouveau) : La principale contribution nouvelle est la preuve de l'existence d'un état fondamental (un point critique de moindre énergie) pour le cas des puissances pures compétitives :
   $$-\Delta u + V(x)u = |u|^{p-2}u - \lambda |u|^{q-2}u, \quad 2 < q < p < 2^*.$$
   Les auteurs prouvent qu'il existe un seuil $\lambda^* > 0$ tel que pour tout $\lambda \in (0, \lambda^*)$, la fonctionnelle possède un état fondamental.
   • Nuance Technique : L'état fondamental obtenu via l'argument de liaison dans le travail précédent ([2]) n'est pas automatiquement identifié comme une solution d'énergie minimale. La nouvelle preuve surmonte cela en montrant qu'une séquence minimisante pour l'énergie sur l'ensemble des points critiques ne disparaît pas et converge fortement (modulo translations) vers un point critique non trivial. Ceci est accompli en combinant une borne inférieure sur l'énergie des séquences éloignées de zéro avec la décomposition de Brezis-Lieb, ce qui force le reste de la séquence à s'annuler fortement.

Signification et Revendications
L'article soutient que l'existence d'un état fondamental pour ce modèle spécifique n'est pas une conséquence immédiate du théorème d'existence général de [2]. La difficulté réside dans le fait que l'argument de liaison produit un point critique sans garantir qu'il est de moindre énergie, et la comparaison directe avec la variété de Nehari-Pankov n'est directe que dans le cas limite $\lambda = 0$.

La signification de ce travail réside dans :

• L'extension des méthodes variationnelles pour traiter les nonlinearités changeant de signe dans des contextes fortement indéfinis, un scénario techniquement délicat où la semi-continuité supérieure standard échoue.
• La fourniture d'une preuve rigoureuse pour la solution d'énergie minimale en présence de mécanismes de focalisation et de défocalisation compétitifs, ce qui correspond physiquement à la compétition de différents mécanismes de polarisation non linéaire dans les milieux optiques.
• La démonstration que la stratégie de « minimisation sur les points critiques » peut être adaptée avec succès à des fonctionnelles fortement indéfinies avec des nonlinearités changeant de signe, à condition que le paramètre $\lambda$ soit suffisamment petit.

L'article conclut que pour le modèle de puissance pure, la fonctionnelle fortement indéfinie possède un point critique non trivial d'énergie minimale parmi tous les points critiques non triviaux pour un $\lambda$ suffisamment petit.