Scattering of the defocusing Calogero--Moser derivative nonlinear Schrödinger equation

Résumé technique : Diffusion de l'équation de Schrödinger non linéaire dérivée de type Calogero–Moser défocalisante

Énoncé du problème
Cet article étudie le comportement asymptotique à long terme des solutions de l'équation de Schrödinger non linéaire dérivée de type Calogero–Moser (CM-DNLS) défocalisante :
$$i\partial_t u + \partial_x^2 u - 2\Pi D(|u|^2)u = 0, \quad (t, x) \in \mathbb{R} \times \mathbb{R},$$
où $\Pi$ est le projecteur orthogonal de Riesz-Szegő sur l'espace de Hardy $L^2_+(\mathbb{R})$ (fonctions dont le support de Fourier est dans $[0, \infty)$). Bien que la bijectivité globale pour cette équation dans $H^s_+(\mathbb{R})$ ($s \ge 0$) ait été établie sous des hypothèses de petite masse ou des conditions spécifiques, le comportement de diffusion pour une large classe de données initiales reste une question centrale. Plus précisément, les auteurs examinent si les solutions diffusent vers des solutions de Schrödinger libres lorsque $t \to \pm \infty$ pour des données initiales dans l'espace pondéré $H^{1,\alpha}_+(\mathbb{R}) := \{u \in H^1_+(\mathbb{R}) : |x|^\alpha u \in L^2(\mathbb{R})\}$ avec $\alpha > 0$.

Méthodologie
L'analyse repose sur la structure intégrable de l'équation, spécifiquement la formulation de paire de Lax et la transformée de Fourier déformée associée. Le cadre méthodologique central comprend trois composantes :

1. Formule explicite de type Gérard : Les auteurs utilisent une formule explicite pour la solution dérivée par Killip–Laurens–Vişan, qui exprime la solution $u(t, z)$ dans le demi-plan supérieur via le résolvant de l'opérateur de Lax $L_{u_0}$ et l'opérateur de multiplication adjoint $X^*$ :
   $$u(t, z) = \frac{1}{2i\pi} I_+ \left[ (X^* + 2tL_{u_0} - z\text{Id})^{-1} u_0 \right].$$
2. Transformée de Fourier déformée : Une partie importante du travail est consacrée à la construction de la transformée de Fourier déformée $\mathcal{F}_{d, u_0}$ associée à l'opérateur de Lax $L_{u_0}$. Cela implique de :
   • Prouver la non-existence de valeurs propres pour $L_{u_0}$ lorsque $u \in H^{1,\alpha}_+$.
   • Construire des fonctions propres généralisées normalisées $m_-(x, \lambda)$ et établir leurs bornes $L^\infty$ uniformes par rapport au paramètre spectral $\lambda$.
   • Démontrer que $\mathcal{F}_{d, u_0}$ est un opérateur unitaire de $L^2_+(\mathbb{R})$ vers $L^2(0, \infty)$, diagonalisant ainsi l'opérateur de Lax.
3. Représentation spectrale du terme de défaut : Les auteurs réécrivent la formule explicite dans les variables de Fourier déformées. Une étape critique consiste à caractériser l'action de l'opérateur $X^*$ dans ces variables. Ils démontrent que $X^*$ agit comme un opérateur différentiel $i\partial_\lambda$ plus un terme de potentiel non local impliquant la transformée de Hilbert sur demi-droite $H$ et le potentiel $u$. Cela permet d'exprimer le « terme de défaut » (la différence entre la solution non linéaire et l'évolution linéaire libre) comme une intégrale oscillante impliquant les données spectrales déformées.

Contributions clés et résultats
Le résultat principal est la preuve de la diffusion pour l'équation CM-DNLS défocalisante pour des données initiales dans $H^{1,\alpha}_+(\mathbb{R})$ avec $\alpha > 0$.

• Théorème 1.5 : Pour toute donnée initiale $u_0 \in H^{1,\alpha}_+(\mathbb{R})$, il existe des états de diffusion $v^\pm_0 \in H^1_+(\mathbb{R})$ tels que :
  $$\lim_{t \to \pm \infty} \| u(t) - e^{it\partial_x^2} v^\pm_0 \|_{H^1(\mathbb{R})} = 0.$$
• Caractérisation des états de diffusion : Les états de diffusion sont explicitement caractérisés en utilisant la transformée de Fourier déformée. Spécifiquement, l'état de diffusion en temps négatif $v^-_0$ satisfait $\widehat{v^-_0}(\xi) = \mathcal{F}_{d, u_0} u_0(\xi) \mathbf{1}_{\xi > 0}$. L'état en temps positif est dérivé via un argument de symétrie impliquant la réflexion des données initiales.
• Extension au-delà des cas rationnels : Les auteurs étendent l'application de la formule explicite de type Gérard au-delà des cas de données initiales rationnelles précédemment étudiés (qui reposent souvent sur la résolution de solitons pour des potentiels à gap fini spécifiques) à une large classe de données de Sobolev pondérées plus grossières.
• Innovation technique : Le papier introduit une nouvelle approche pour analyser le comportement à long terme des équations intégrables. Au lieu d'analyser directement la formule explicite dans l'espace physique (comme dans les travaux précédents sur l'équation de Benjamin-Ono), les auteurs transforment d'abord la formule en variables de Fourier déformées. Ils analysent ensuite la représentation déformée résultante du terme de défaut en utilisant des estimations d'intégrales oscillantes. Cette approche spectrale permet de traiter des données initiales ayant une décroissance spatiale limitée ($|x|^\alpha u \in L^2$ avec $\alpha > 0$ plutôt que $\alpha \ge 1$).

Signification et revendications
L'article affirme être l'un des premiers travaux à appliquer avec succès la formule explicite de type Gérard pour étudier le comportement à long terme d'une équation intégrable pour une large classe de données initiales au-delà des cas rationnels.

• Généralisation des résultats de diffusion : Alors que Kim–Kwon a précédemment établi la diffusion pour la CM-DNLS focalisante dans $H^{1,1}(\mathbb{R})$ (nécessitant $xu \in L^2$), ce travail étend le résultat de diffusion chirale à l'espace plus singulier $H^{1,\alpha}_+(\mathbb{R})$ avec $\alpha > 0$. Ceci est significatif car cela inclut les solutions d'état fondamental de l'équation focalisante qui n'appartiennent pas à $H^{1,1}$.
• Caractérisation spectrale : Le travail fournit une caractérisation spectrale précise du terme de diffusion via la transformée de Fourier déformée associée à l'opérateur de Lax, offrant une compréhension plus profonde de la dynamique asymptotique en termes des données spectrales de la condition initiale.
• Pont méthodologique : En combinant la formule explicite avec la transformée de Fourier déformée et les estimations oscillantes, le papier établit un cadre qui pourrait potentiellement être adapté à d'autres systèmes intégrables où l'analyse directe dans l'espace physique de la formule explicite est intraitable.

Les auteurs notent que leur approche diffère essentiellement de l'analyse directe de la formule explicite en caractérisant d'abord le terme de défaut spectralement. Ils mentionnent également que leur méthode, combinée à des résultats analogues pour le cas focalisant, suggère la possibilité d'établir la diffusion pour la CM-DNLS focalisante sous des hypothèses de petite masse dans les mêmes espaces pondérés, bien que le focus principal de ce papier reste le cas défocalisant.