Stability and instability of the quasilinear Gross--Pitaevskii dark solitons

Résumé technique : Stabilité et instabilité des solitons sombres de Gross–Pitaevskii quasilineaires

Énoncé du problème
Ce travail étudie la stabilité orbitale des solutions en onde progressive (solitons sombres) d'une équation de Schrödinger quasilineaire unidimensionnelle avec des conditions non nulles à l'infini. L'équation considérée est :
$$i\partial_t\Psi + \partial_{xx}\Psi + \Psi(1 -|\Psi|^2) + \kappa\Psi\partial_{xx}(1 -|\Psi|^2) = 0,$$
où $\kappa \in \mathbb{R}$ est un paramètre gouvernant l'intensité du terme quasilineaire. Lorsque $\kappa = 0$, cette équation se réduit à l'équation de Gross–Pitaevskii (GP) standard, un modèle largement utilisé en optique non linéaire et en hydrodynamique quantique. Des études antérieures ont établi une branche continue de solutions de solitons sombres indexées par leur vitesse de propagation $c \in (0, \sqrt{2})$. Alors que la stabilité de ces solitons est bien comprise pour le cas semilinéaire ($\kappa=0$) via le critère de Vakhitov–Kolokolov (VK), l'impact du terme quasilineaire ($\kappa \neq 0$) sur la stabilité restait à analyser rigoureusement. Plus précisément, l'article examine si le critère de stabilité VK, qui relie la stabilité à la monotonie de l'impulsion par rapport à la vitesse de l'onde, s'étend à ce régime quasilineaire.

Méthodologie
L'analyse procède en transformant l'équation de Schrödinger à valeurs complexes en un système hydrodynamique à l'aide de la transformation de Madelung $\Psi = \sqrt{1-\eta}e^{i\theta}$, où $\eta$ représente la déviation de densité et $v = \partial_x \theta$ représente la vitesse. Cela conduit à un système d'équations formellement équivalent au système d'Euler-Korteweg.

La méthodologie centrale repose sur le cadre hamiltonien abstrait développé par Grillakis, Shatah et Strauss (GSS) et sa généralisation ultérieure par Z. Lin pour les équations avec conditions aux limites non nulles. L'approche implique :

1. Formulation hamiltonienne : La mise en forme du système hydrodynamique sous la forme $\partial_t(\eta, v) = J E'(\eta, v)$, où $E$ est le fonctionnel d'énergie et $P$ l'impulsion. Les solutions en onde progressive sont identifiées comme des points critiques du fonctionnel d'action $E - cP$.
2. Analyse spectrale : Réalisation d'une analyse spectrale détaillée de l'opérateur hessien $H_c = E'' - cP''$ linéarisé autour de la solution de soliton sombre. Les auteurs vérifient les trois hypothèses clés requises pour le théorème de stabilité GSS :
   • La bonne définition locale du problème de valeur initiale dans des espaces de Sobolev appropriés ($H^s \times H^{s-1}$ avec $s > 2.5$).
   • L'existence et la régularité de la branche d'états liés (solitons sombres).
   • La décomposition spectrale de l'hessien, identifiant spécifiquement le nombre de valeurs propres négatives et la structure du noyau.
3. Adaptation des arguments de Lin : Puisque l'opérateur symplectique $J$ dans ce cadre hydrodynamique n'est pas surjectif (un obstacle technique empêchant l'application directe de la réciproque d'instabilité dans le cadre GSS original), les auteurs adaptent la construction d'une direction décroissante de l'énergie utilisée par Lin. Cela permet une preuve rigoureuse de l'instabilité lorsque le critère VK est violé.
4. Équivalence des métriques : L'article établit l'équivalence entre la « distance hydrodynamique » ($d_{hy}$) et la « distance énergétique naturelle » ($d_X$) au voisinage du soliton, garantissant que les résultats de stabilité dérivés dans les variables hydrodynamiques se traduisent dans l'espace énergétique original.

Contributions et résultats clés
La contribution principale est la justification rigoureuse du critère de stabilité VK pour l'équation de Gross–Pitaevskii quasilineaire. Les résultats principaux sont :

• Généralisation du critère VK : L'article démontre que la stabilité orbitale du soliton sombre $u_{c,\kappa}$ est déterminée par le signe de la dérivée de l'impulsion $P$ par rapport à la vitesse $c$. Plus précisément :
  • Si $\frac{dP}{dc} < 0$, le soliton est orbitalement stable.
  • Si $\frac{dP}{dc} > 0$ (en supposant qu'aucune explosion en temps fini ne se produit), le soliton est orbitalement instable.
• Régimes de stabilité basés sur $\kappa$ : En analysant la dépendance explicite de l'impulsion par rapport à $c$ et $\kappa$, les auteurs dérivent deux régimes de stabilité distincts :
  1. Interactions quasilineaires faibles ($\kappa \geq \kappa_0$) : Pour $\kappa$ dans l'intervalle $[\kappa_0, 1/2)$, où $\kappa_0 \approx -3.636$, toute la branche de solitons sombres ($c \in (0, \sqrt{2})$) est orbitalement stable. Cela retrouve le comportement de stabilité de l'équation de Gross–Pitaevskii standard ($\kappa=0$).
  2. Interactions quasilineaires fortes ($\kappa < \kappa_0$) : Pour $\kappa$ suffisamment négatif, la courbe impulsion-vitesse développe une pointe. Dans ce régime, il existe une vitesse critique $\tilde{c}_\kappa$ telle que :
     • Les ondes lentes ($c < \tilde{c}_\kappa$) sont orbitalement instables.
     • Les ondes rapides ($c > \tilde{c}_\kappa$) sont orbitalement stables.
• Propriétés spectrales : Le travail fournit une analyse spectrale détaillée de l'opérateur linéarisé $L_c$, confirmant l'existence d'une seule valeur propre négative et caractérisant le spectre essentiel, ce qui est nécessaire pour appliquer les théorèmes de stabilité abstraits.

Signification et affirmations
L'article prétend étendre la compréhension théorique de la stabilité des solitons des équations dispersives semilinéaires aux équations dispersives quasilineaires avec des conditions aux limites non nulles. En généralisant les arguments de Lin, les auteurs démontrent que le critère VK reste un prédicteur robuste de la stabilité même en présence de termes quasilineaires, à condition que l'intensité de l'interaction ne soit pas trop grande.

La signification réside dans l'identification d'une transition dans le comportement de la stabilité pilotée par le paramètre $\kappa$. L'existence d'une « pointe » dans le diagramme énergie-impulsion pour les interactions quasilineaires fortes implique que, bien que les ondes rapides restent stables, l'introduction d'effets non locaux forts peut déstabiliser les solitons sombres se déplaçant lentement. Cela contraste avec le cas semilinéaire où toute la branche est stable. Les auteurs notent que leur analyse repose sur l'hypothèse d'existence globale (pas d'explosion) pour la preuve d'instabilité, une condition cohérente avec les résultats de bonne définition locale disponibles pour cette classe d'équations. Le travail ne propose pas de nouvelles applications expérimentales mais fournit plutôt une fondation mathématique rigoureuse pour comprendre les propriétés de stabilité de ces modèles hydrodynamiques spécifiques.