Total positivity and spectral properties of linearized operators

Résumé Technique : Totalité Positive et Propriétés Spectrales des Opérateurs Linéarisés

1. Problématique et Contexte

L'article s'attaque à un problème fondamental dans l'analyse de la stabilité des ondes solitaires (solitons) et des ondes progressives pour une classe d'équations aux dérivées partielles non linéaires de type dispersif. Ces équations sont généralement de la forme :
$$u_t - (Mu)_x + (f(u))_x = 0$$
où $M$ est un opérateur linéaire (souvent non local ou d'ordre supérieur) et $f$ une non-linéarité.

L'analyse de stabilité repose sur l'étude de l'opérateur linéarisé $H$ associé à une solution d'onde progressive $\phi$ (profil de l'onde). Cet opérateur est défini par :
$$Hv = L v - f'(\phi)v$$
où $L = M + c$ ($c$ étant la vitesse de l'onde).

Pour établir la stabilité non linéaire (via le cadre théorique de Grillakis, Shatah et Strauss), il est crucial de vérifier trois hypothèses spectrales sur $H$ :

• (H1) $H$ possède exactement une valeur propre négative, simple.
• (H2) Le noyau de $H$ est engendré uniquement par la dérivée spatiale de la solution ($\ker H = \text{span}\{\phi'\}$).
• (H3) Le reste du spectre de $H$ est strictement positif et borné inférieurement.

Le défi : Bien que (H3) soit souvent vérifiable par des arguments spectraux standards, la vérification de (H1) et (H2) est souvent difficile, en particulier lorsque la solution $\phi$ n'est pas connue explicitement (ce qui est le cas pour de nombreuses équations d'ordre supérieur comme l'équation de Kawahara ou des versions d'ordre 5 et 7 de KdV). La littérature manque d'une théorie générale permettant de vérifier ces hypothèses sans formule explicite pour $\phi$.

2. Méthodologie

Les auteurs développent une approche basée sur la théorie de la totalité positive (Total Positivity), spécifiquement les fonctions de fréquence de Polya (Polya frequency functions).

• Approche par dualité : Le papier introduit deux théorèmes principaux. Le premier (Théorème 1.7) repose sur des conditions de positivité sur la transformée de Fourier de $f'(\phi)$. Le second (Théorème 1.9, le résultat principal) est la version duale : il impose des conditions sur le noyau de l'opérateur inverse de $L$.
• Condition clé (Théorème 1.9) : Si le noyau $K(x) = \mathcal{F}^{-1}(1/\alpha(\xi))$ (où $\alpha$ est le symbole de $L$) est une fonction de fréquence de Polya d'ordre 2 forte (Strongly PF(2)), alors les hypothèses (H1) et (H2) sont satisfaites.
  • Une fonction $K$ est Strongly PF(2) si elle est positive, paire, et si son déterminant $2 \times 2$ (défini par $K(x_1)K(y_2) - K(x_2)K(y_1)$) est strictement positif pour $x_1 < x_2$ et $y_1 < y_2$.
• Outils d'analyse :
  • Utilisation de l'opérateur équivalent $H_0 = L^{-1}H = I - L^{-1}f'(\phi)$.
  • Application du théorème de Krein-Rutman et des propriétés des opérateurs compacts auto-adjoints à noyaux positifs (Proposition 2.2).
  • Démonstration que la propriété PF(2) du noyau $K$ impose une structure spécifique aux fonctions propres de l'opérateur, garantissant l'unicité de la valeur propre négative et la nature du noyau.
• Existence et symétrie : Le papier utilise également des méthodes de symétrisation (théorème de Chen-Li-Ou) pour prouver l'existence de solutions positives et paires sans formule explicite, sous certaines conditions de factorisation du symbole $\alpha$.

3. Contributions Clés

1. Critères vérifiables sans solution explicite : C'est la contribution majeure. Les auteurs fournissent des conditions suffisantes pour (H1) et (H2) qui ne dépendent que du symbole $\alpha(\xi)$ de l'opérateur linéaire et de la positivité/symétrie de la solution, sans nécessiter la connaissance de la forme exacte de $\phi$.
2. Caractérisation des noyaux PF(2) : Ils identifient une classe large de symboles $\alpha(\xi)$ dont l'inverse de Fourier est Strongly PF(2). En particulier, ils montrent que si $\alpha(\xi)$ se factorise en produits de termes du type $(\xi^2 + a_i^2)$ avec $a_i \in \mathbb{R} \setminus \{0\}$, alors le noyau $K$ est Strongly PF(2).
3. Extension aux équations d'ordre supérieur : La méthode s'applique aux équations d'ordre 4, 5, 6 et 7, là où les méthodes classiques (basées sur des solutions explicites comme le sech pour KdV) échouent.

4. Résultats Principaux

• Théorème 1.9 : Si $\alpha$ est pair, $\phi$ et $f'(\phi)$ sont positifs et pairs, et le noyau $K = \mathcal{F}^{-1}(1/\alpha)$ est Strongly PF(2), alors $H$ satisfait (H1) et (H2).
• Corollaire 3.5 : Pour un opérateur $L$ dont le symbole est $\alpha(\xi) = \prod_{i=1}^m (\xi^2 + a_i^2)$, les hypothèses spectrales sont garanties. Cela couvre les équations d'ordre pair où les racines du polynôme caractéristique sont purement imaginaires.
• Contre-exemple (Lemme 3.6) : Si le symbole $\alpha$ ne se factorise pas de cette manière (par exemple, si les racines ne sont pas sur l'axe imaginaire pur), le noyau $K$ peut devenir oscillatoire et ne plus être PF(2), ce qui rend la vérification de (H1)/(H2) beaucoup plus difficile.
• Applications Numériques :
  • Équation KdV d'ordre 5 : Les auteurs analysent la stabilité en fonction des paramètres $b$ et $c$. Ils montrent que pour certaines régions de paramètres (où $b \ge 2\sqrt{c}$), le noyau est PF(2) et les hypothèses spectrales sont valides.
  • Équation KdV d'ordre 7 : Une analyse détaillée des régions de stabilité pour les paramètres $(a, b, c)$ est fournie. Des simulations numériques de la dérivée de la masse par rapport à la vitesse ($\frac{d}{dc}\|\phi\|_{L^2}^2$) permettent de conclure sur la stabilité ou l'instabilité des ondes pour différentes puissances de non-linéarité ($p=2, 4, 6, 8$).

5. Signification et Impact

Ce travail comble un vide important dans la théorie de la stabilité des ondes solitaires pour les équations dispersives non locales ou d'ordre élevé.

• Généralité : Il offre un cadre unifié pour traiter des équations pour lesquelles aucune solution analytique explicite n'existe.
• Praticité : En déplaçant la condition de positivité de la solution inconnue $\phi$ vers le noyau $K$ (qui dépend uniquement de l'opérateur linéaire $L$), les auteurs rendent la vérification des hypothèses de stabilité accessible par des calculs symboliques ou numériques directs sur les coefficients de l'équation.
• Applications futures : Les résultats ouvrent la voie à l'analyse de stabilité rigoureuse pour une large gamme de modèles physiques (ondes internes, vagues en eau peu profonde, optique non linéaire) régis par des équations d'ordre supérieur, là où la stabilité était auparavant une conjecture ou nécessitait des simulations numériques sans preuve théorique complète.

En résumé, Albert et Levandosky établissent un pont puissant entre la théorie des fonctions totalement positives et l'analyse spectrale des opérateurs linéarisés, fournissant des outils robustes pour valider la stabilité des ondes solitaires dans des contextes complexes.