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

Resumo Técnico: Espalhamento da Equação de Schrödinger Não Linear de Derivada Calogero–Moser Defocais

Enunciado do Problema
Este artigo investiga o comportamento assintótico de longo prazo de soluções para a equação de Schrödinger Não Linear de Derivada Calogero–Moser (CM-DNLS) defocal:
$$i\partial_t u + \partial_x^2 u - 2\Pi D(|u|^2)u = 0, \quad (t, x) \in \mathbb{R} \times \mathbb{R},$$
onde $\Pi$ é o projetor ortogonal de Riesz-Szegő sobre o espaço de Hardy $L^2_+(\mathbb{R})$ (funções com suporte de Fourier em $[0, \infty)$). Embora a bem-postura global para esta equação em $H^s_+(\mathbb{R})$ ($s \ge 0$) tenha sido estabelecida sob suposições de massa pequena ou condições específicas, o comportamento de espalhamento para uma ampla classe de dados iniciais permanece uma questão central. Especificamente, os autores abordam se as soluções se espalham para soluções de Schrödinger livres conforme $t \to \pm \infty$ para dados iniciais no espaço ponderado $H^{1,\alpha}_+(\mathbb{R}) := \{u \in H^1_+(\mathbb{R}) : |x|^\alpha u \in L^2(\mathbb{R})\}$ com $\alpha > 0$.

Metodologia
A análise baseia-se na estrutura integrável da equação, especificamente na formulação do par de Lax e na associada transformada de Fourier distorcida. O arcabouço metodológico central envolve três componentes principais:

1. Fórmula Explícita do tipo Gérard: Os autores utilizam uma fórmula explícita para a solução derivada por Killip–Laurens–Vişan, que expressa a solução $u(t, z)$ no semiplano superior via o resolvente do operador de Lax $L_{u_0}$ e o operador de multiplicação adjunto $X^*$:
   $$u(t, z) = \frac{1}{2i\pi} I_+ \left[ (X^* + 2tL_{u_0} - z\text{Id})^{-1} u_0 \right].$$
2. Transformada de Fourier Distorcida: Uma parte significativa do trabalho é dedicada à construção da transformada de Fourier distorcida $\mathcal{F}_{d, u_0}$ associada ao operador de Lax $L_{u_0}$. Isso envolve:
   • Provar a não existência de autovalores para $L_{u_0}$ quando $u \in H^{1,\alpha}_+$.
   • Construir autofunções generalizadas normalizadas $m_-(x, \lambda)$ e estabelecer seus limites $L^\infty$ uniformes em relação ao parâmetro espectral $\lambda$.
   • Demonstrar que $\mathcal{F}_{d, u_0}$ é um operador unitário de $L^2_+(\mathbb{R})$ para $L^2(0, \infty)$, diagonalizando efetivamente o operador de Lax.
3. Representação Espectral do Termo de Defeito: Os autores reescrevem a fórmula explícita em variáveis de Fourier distorcidas. Um passo crítico é caracterizar a ação do operador $X^*$ nessas variáveis. Eles derivam que $X^*$ atua como um operador diferencial $i\partial_\lambda$ mais um termo de potencial não local envolvendo a transformada de Hilbert de semi-reta $H$ e o potencial $u$. Isso permite que o "termo de defeito" (a diferença entre a solução não linear e a evolução linear livre) seja expresso como uma integral oscilatória envolvendo os dados espectrais distorcidos.

Principais Contribuições e Resultados
O resultado primário é a prova do espalhamento para a equação CM-DNLS defocal para dados iniciais em $H^{1,\alpha}_+(\mathbb{R})$ com $\alpha > 0$.

• Teorema 1.5: Para quaisquer dados iniciais $u_0 \in H^{1,\alpha}_+(\mathbb{R})$, existem estados de espalhamento $v^\pm_0 \in H^1_+(\mathbb{R})$ tais que:
  $$\lim_{t \to \pm \infty} \| u(t) - e^{it\partial_x^2} v^\pm_0 \|_{H^1(\mathbb{R})} = 0.$$
• Caracterização dos Estados de Espalhamento: Os estados de espalhamento são explicitamente caracterizados usando a transformada de Fourier distorcida. Especificamente, o estado de espalhamento de tempo negativo $v^-_0$ satisfaz $\widehat{v^-_0}(\xi) = \mathcal{F}_{d, u_0} u_0(\xi) \mathbf{1}_{\xi > 0}$. O estado de tempo positivo é derivado via um argumento de simetria envolvendo a reflexão dos dados iniciais.
• Extensão Além dos Casos Racionais: Os autores estendem a aplicação da fórmula explícita do tipo Gérard além dos casos de dados racionais previamente estudados (que frequentemente dependem da resolução de sólitons para potenciais de fenda finita específica) para uma ampla classe de dados iniciais de Sobolev ponderados mais grosseiros.
• Inovação Técnica: O artigo introduz uma abordagem inovadora para analisar o comportamento de longo prazo de equações integráveis. Em vez de analisar diretamente a fórmula explícita no espaço físico (como feito em trabalhos anteriores sobre a equação de Benjamin-Ono), os autores primeiro transformam a fórmula em variáveis de Fourier distorcidas. Eles então analisam a representação distorcida resultante do termo de defeito usando estimativas de integrais oscilatórias. Esta abordagem espectral permite lidar com dados iniciais de decaimento espacial limitado ($|x|^\alpha u \in L^2$ com $\alpha > 0$ em vez de $\alpha \ge 1$).

Significância e Alegações
O artigo afirma ser um dos primeiros trabalhos a aplicar com sucesso a fórmula explícita do tipo Gérard para estudar o comportamento de longo prazo de uma equação integrável para uma ampla classe de dados iniciais além dos casos racionais.

• Generalização dos Resultados de Espalhamento: Enquanto Kim–Kwon estabeleceu anteriormente o espalhamento para a CM-DNLS focal em $H^{1,1}(\mathbb{R})$ (exigindo $xu \in L^2$), este trabalho estende o resultado de espalhamento quiral para o espaço mais singular $H^{1,\alpha}_+(\mathbb{R})$ com $\alpha > 0$. Isso é significativo porque inclui soluções de estado fundamental da equação focal que não pertencem a $H^{1,1}$.
• Caracterização Espectral: O trabalho fornece uma caracterização espectral precisa do termo de espalhamento via a transformada de Fourier distorcida associada ao operador de Lax, oferecendo uma compreensão mais profunda da dinâmica assintótica em termos dos dados espectrais da condição inicial.
• Ponte Metodológica: Ao combinar a fórmula explícita com a transformada de Fourier distorcida e estimativas oscilatórias, o artigo estabelece um arcabouço que pode potencialmente ser adaptado para outros sistemas integráveis onde a análise direta no espaço físico da fórmula explícita é intratável.

Os autores observam que sua abordagem difere essencialmente da análise direta da fórmula explícita ao primeiro caracterizar o termo de defeito espectralmente. Eles também mencionam que seu método, combinado com resultados análogos para o caso focal, sugere a possibilidade de estabelecer o espalhamento para a CM-DNLS focal sob suposições de massa pequena nos mesmos espaços ponderados, embora o foco principal deste artigo permaneça o caso defocal.