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

Sintesi Tecnica: Scattering dell'equazione di Calogero–Moser derivata di tipo Nonlinear Schrödinger defocusing

Enunciato del Problema
Questo articolo investiga il comportamento asintotico a lungo termine delle soluzioni dell'equazione di Calogero–Moser derivata di tipo Nonlinear Schrödinger (CM-DNLS) defocusing:
$$i\partial_t u + \partial_x^2 u - 2\Pi D(|u|^2)u = 0, \quad (t, x) \in \mathbb{R} \times \mathbb{R},$$
dove $\Pi$ è il proiettore ortogonale di Riesz-Szegő sullo spazio di Hardy $L^2_+(\mathbb{R})$ (funzioni con supporto di Fourier in $[0, \infty)$). Sebbene la ben determinata globalità (global well-posedness) per questa equazione in $H^s_+(\mathbb{R})$ ($s \ge 0$) sia stata stabilita sotto assunzioni di massa piccola o condizioni specifiche, lo scattering delle soluzioni per una vasta classe di dati iniziali rimane una questione centrale. Nello specifico, gli autori affrontano se le soluzioni si diffondano (scatter) verso soluzioni di Schrödinger libere per $t \to \pm \infty$ per dati iniziali nello spazio pesato $H^{1,\alpha}_+(\mathbb{R}) := \{u \in H^1_+(\mathbb{R}) : |x|^\alpha u \in L^2(\mathbb{R})\}$ con $\alpha > 0$.

Metodologia
L'analisi si basa sulla struttura integrabile dell'equazione, specificamente sulla formulazione della coppia di Lax e sulla associata trasformata di Fourier distorta. Il nucleo del quadro metodologico si compone di tre componenti principali:

1. Formula Esplicita di tipo Gérard: Gli autori utilizzano una formula esplicita per la soluzione derivata da Killip–Laurens–Vişan, che esprime la soluzione $u(t, z)$ nel semipiano superiore tramite il risolvente dell'operatore di Lax $L_{u_0}$ e l'operatore di moltiplicazione aggiunto $X^*$:
   $$u(t, z) = \frac{1}{2i\pi} I_+ \left[ (X^* + 2tL_{u_0} - z\text{Id})^{-1} u_0 \right].$$
2. Trasformata di Fourier Distorta: Una parte significativa del lavoro è dedicata alla costruzione della trasformata di Fourier distorta $\mathcal{F}_{d, u_0}$ associata all'operatore di Lax $L_{u_0}$. Ciò comporta:
   • Dimostrare la non esistenza di autovalori per $L_{u_0}$ quando $u \in H^{1,\alpha}_+$.
   • Costruire autofunzioni generalizzate normalizzate $m_-(x, \lambda)$ ed stabilire i loro limiti uniformi $L^\infty$ rispetto al parametro spettrale $\lambda$.
   • Dimostrare che $\mathcal{F}_{d, u_0}$ è un operatore unitario da $L^2_+(\mathbb{R})$ su $L^2(0, \infty)$, diagonalizzando efficacemente l'operatore di Lax.
3. Rappresentazione Spettrale del Termine di Difetto: Gli autori riscrivono la formula esplicita in variabili di Fourier distorte. Un passaggio critico consiste nel caratterizzare l'azione dell'operatore $X^*$ in queste variabili. Essi derivano che $X^*$ agisce come un operatore differenziale $i\partial_\lambda$ più un termine di potenziale non locale che coinvolge la trasformata di Hilbert su semiretta $H$ e il potenziale $u$. Ciò permette di esprimere il "termine di difetto" (la differenza tra la soluzione non lineare e l'evoluzione lineare libera) come un integrale oscillatorio che coinvolge i dati spettrali distorti.

Contributi Chiave e Risultati
Il risultato primario è la dimostrazione dello scattering per l'equazione CM-DNLS defocusing per dati iniziali in $H^{1,\alpha}_+(\mathbb{R})$ con $\alpha > 0$.

• Teorema 1.5: Per ogni dato iniziale $u_0 \in H^{1,\alpha}_+(\mathbb{R})$, esistono stati di scattering $v^\pm_0 \in H^1_+(\mathbb{R})$ tali che:
  $$\lim_{t \to \pm \infty} \| u(t) - e^{it\partial_x^2} v^\pm_0 \|_{H^1(\mathbb{R})} = 0.$$
• Caratterizzazione degli Stati di Scattering: Gli stati di scattering sono caratterizzati esplicitamente tramite la trasformata di Fourier distorta. Nello specifico, lo stato di scattering per tempo negativo $v^-_0$ soddisfa $\widehat{v^-_0}(\xi) = \mathcal{F}_{d, u_0} u_0(\xi) \mathbf{1}_{\xi > 0}$. Lo stato per tempo positivo è derivato tramite un argomento di simmetria che coinvolge la riflessione dei dati iniziali.
• Estensione Oltre i Casi Razionali: Gli autori estendono l'applicazione della formula esplicita di tipo Gérard oltre i casi precedentemente studiati di dati iniziali razionali (che spesso si basano sulla risoluzione di solitoni per specifici potenziali a gap finito) a una vasta classe di dati iniziali di Sobolev pesati più irregolari.
• Innovazione Tecnica: Il articolo introduce un approccio originale per analizzare il comportamento a lungo termine delle equazioni integrabili. Invece di analizzare direttamente la formula esplicita nello spazio fisico (come fatto nei lavori precedenti sull'equazione di Benjamin-Ono), gli autori trasformano prima la formula in variabili di Fourier distorte. Successivamente, analizzano la rappresentazione distorta risultante del termine di difetto utilizzando stime di integrali oscillatori. Questo approccio spettrale permette di gestire dati iniziali con decadimento spaziale limitato ($|x|^\alpha u \in L^2$ con $\alpha > 0$ invece di $\alpha \ge 1$).

Significato e Rivendicazioni
L'articolo sostiene di essere uno dei primi lavori a applicare con successo la formula esplicita di tipo Gérard per studiare il comportamento a lungo termine di un'equazione integrabile per una vasta classe di dati iniziali oltre i casi razionali.

• Generalizzazione dei Risultati di Scattering: Mentre Kim–Kwon ha precedentemente stabilito lo scattering per la CM-DNLS focusing in $H^{1,1}(\mathbb{R})$ (richiedendo $xu \in L^2$), questo lavoro estende il risultato di scattering chirale allo spazio più singolare $H^{1,\alpha}_+(\mathbb{R})$ con $\alpha > 0$. Ciò è significativo perché include le soluzioni di stato fondamentale dell'equazione focusing che non appartengono a $H^{1,1}$.
• Caratterizzazione Spettrale: Il lavoro fornisce una precisa caratterizzazione spettrale del termine di scattering tramite la trasformata di Fourier distorta associata all'operatore di Lax, offrendo una comprensione più profonda della dinamica asintotica in termini dei dati spettrali della condizione iniziale.
• Ponte Metodologico: Combinando la formula esplicita con la trasformata di Fourier distorta e le stime oscillatorie, il lavoro stabilisce un quadro che potrebbe potenzialmente essere adattato ad altri sistemi integrabili dove l'analisi diretta nello spazio fisico della formula esplicita risulta intrattabile.

Gli autori osservano che il loro approccio differisce essenzialmente dall'analisi diretta della formula esplicita, caratterizzando prima spettralmente il termine di difetto. Menzionano inoltre che il loro metodo, combinato con risultati analoghi per il caso focusing, suggerisce la possibilità di stabilire lo scattering per la CM-DNLS focusing sotto assunzioni di massa piccola negli stessi spazi pesati, sebbene l'attenzione primaria di questo articolo rimanga il caso defocusing.