Modified wave operators for the defocusing cubic nonlinear Schrödinger equation in one space dimension with large scattering data

1. O Problema Investigado

O artigo aborda a teoria de espalhamento (scattering theory) para a Equação de Schrödinger Não Linear (NLS) cúbica em uma dimensão espacial, especificamente no caso defocado ($\lambda_1 > 0$). A equação estudada é:

$$i\partial_t u - H_0 u = \lambda_1 |u|^2 u + \lambda_2 |u|^{2\sigma} u, \quad x \in \mathbb{R}, t \in \mathbb{R}$$

onde $H_0 = -\frac{1}{2}\frac{d^2}{dx^2}$, $\lambda_1, \lambda_2 \in \mathbb{R}$ e $1 < \sigma < 2$.

O Desafio Central:
Na dimensão 1, a não linearidade cúbica ($|u|^2u$) é crítica. Isso significa que, mesmo para dados iniciais pequenos, as soluções não espalham para a solução da equação de Schrödinger livre ($e^{-itH_0}u_+$). Em vez disso, o perfil assintótico deve ser modificado por um termo de fase logarítmico dependente do tempo.

O objetivo principal do trabalho é a construção de operadores de onda modificados para o problema de estado final (Final State Problem - FSP) com dados de espalhamento arbitrariamente grandes. Até então, a literatura sobre espalhamento modificado com grandes dados limitava-se a casos integráveis (usando teoria de espalhamento inverso) ou a espaços de funções analíticas. Este trabalho busca resolver o problema em espaços de funções padrão (não analíticos) sem depender da integrabilidade completa da equação.

2. Metodologia e Abordagem Técnica

Os autores introduzem uma nova formulação baseada na linearização da equação NLS em torno de um perfil assintótico prescrito. A estratégia envolve os seguintes passos técnicos:

A. Transformação Pseudo-Conforme

Para lidar com o comportamento assintótico, os autores utilizam a transformação pseudo-conforme para converter o problema de tempo longo ($t \to \infty$) em um problema de tempo curto ($t \to 0^+$).
Definem variáveis transformadas $v$ e $v_p$ (perfil) via:
$$v(t, x) := T[M(t)D(t)]^{-1}u(t, x)$$
onde $M(t)$ e $D(t)$ são operadores de fase e dilatação, e $T$ é a inversão temporal. Isso transforma a NLS original em uma equação com potenciais dependentes do tempo que decaem como $t^{-1}$.

B. Novos Perfis Assintóticos

Introduzem um perfil assintótico modificado $e_{up}$ que inclui correções tanto para o termo de longo alcance ($\lambda_1 |u|^2 u$) quanto para o termo de curto alcance ($\lambda_2 |u|^{2\sigma} u$). O perfil é dado por:
$$e_{up}(t, x) = M(t)D(t) \left( e^{-i\lambda_1 |\phi(x)|^2 \log |t| - i \frac{\lambda_2 |\phi(x)|^{2\sigma}}{1-\sigma} t^{1-\sigma}} \phi(x) \right)$$
onde $\phi$ é o dado de espalhamento (estado final).

C. Linearização e Sistema de Equações

Em vez de tratar a diferença $v - v_p$ diretamente como uma equação integral padrão (que falha para grandes dados devido a termos lineares não integráveis), os autores extraem o termo de primeira ordem da não linearidade e o tratam como um potencial linear dependente do tempo.
Isso leva a um sistema de equações de Schrödinger linearizado:
$$(i\partial_t - H(t)) \Psi = 0$$
onde $H(t) = H_0 + V(t, x)$ é um operador matricial com um potencial $V(t, x)$ não simétrico e de longo alcance ($O(t^{-1})$).

D. Identidade de Energia Modificada (Contribuição Chave)

O núcleo da prova é a construção de uma energia modificada $Q_\alpha[\psi]$ para o sistema linearizado. Diferente das energias padrão, esta inclui termos que compensam a não simetria do operador e o crescimento logarítmico:
$$Q_\alpha[\psi](t) = \frac{1}{4}\|\partial_x \psi\|^2 + t^{-\alpha}\|\psi\|^2 + \lambda_1 t^{-1} \||\phi|^{\sigma-1} \text{Re}[v_p \psi]\|^2$$
Os autores provam uma identidade de energia modificada (derivada temporal de $Q_\alpha$) que, sob a condição de defocagem ($\lambda_1 > 0$), permite controlar os termos problemáticos. Isso resulta em uma estimativa de energia crucial:
$$Q_\alpha[U(t, s)\Psi_0](t) \lesssim Q_\alpha[\Psi_0](s)$$
onde $U(t, s)$ é o propagador do sistema linearizado.

E. Método de Energia Simples

Com a estimativa de energia estabelecida, os autores aplicam um método de energia simples (em vez de métodos de contração em espaços de Banach complexos ou espaços analíticos) para resolver a equação integral não linear associada ao problema de estado final.

3. Resultados Principais

Teorema 1.2 (Caso Defocado, Grandes Dados)

Para $\lambda_1 > 0$, $\lambda_2 \in \mathbb{R}$ e $1 < \sigma < 2$, se o dado de espalhamento $\phi$ pertence a $H^{1+\varepsilon}(\mathbb{R})$, então:

1. Existe uma solução global única $u$ para a NLS (1.1) que espalha para o perfil modificado $e_{up}$ conforme $t \to \infty$.
2. A convergência ocorre em espaços de funções ponderados com taxas de decaimento específicas.
3. O operador de onda modificado $W_+: \phi \mapsto u(0)$ está bem definido para dados arbitrariamente grandes (sem restrição de tamanho na norma $L^\infty$ do perfil de Fourier), desde que o perfil esteja em $H^{1+\varepsilon}$.
4. A unicidade é garantida dentro de uma classe de soluções com decaimento assintótico específico.

Teorema 1.4 (Caso Focado, Limite de Tamanho)

Para o caso focado ($\lambda_1 < 0$), os autores não conseguem garantir a existência para dados arbitrariamente grandes devido à perda de positividade na energia. No entanto, eles obtêm uma limitação superior explícita para o tamanho dos dados que garante a existência:
$$|\lambda_1| \|\phi\|_{L^\infty}^2 < 1$$
Este resultado melhora limites anteriores encontrados na literatura (como em [3]), relaxando as condições de regularidade e permitindo dados maiores do que o limite anterior de $1/2$.

4. Contribuições e Significância

1. Superação da Restrição de Pequenos Dados: O trabalho resolve o problema de espalhamento modificado para dados grandes na dimensão 1 sem depender da integrabilidade completa da equação (que só vale para $\lambda_2=0$) ou de espaços de funções analíticas.
2. Novo Método de Linearização: A abordagem de tratar o termo de primeira ordem da não linearidade como um potencial linear no sistema de equações acopladas é uma inovação metodológica. Isso permite o uso de estimativas de energia diretas.
3. Independência de Estruturas Especiais: O método não depende da estrutura de integrabilidade (teoria de espalhamento inverso) nem da suavidade analítica da não linearidade, tornando-o potencialmente aplicável a outras equações dispersivas não integráveis.
4. Melhoria no Caso Focado: Fornece um limite explícito e melhorado para a existência de operadores de onda no caso focado, superando resultados anteriores que exigiam dados menores ou regularidade mais alta.
5. Robustez: O argumento funciona para perturbações de curto alcance da não linearidade cúbica, sugerindo aplicabilidade a uma classe mais ampla de equações.

5. Conclusão

O artigo de Kawamoto e Mizutani representa um avanço significativo na teoria de espalhamento para equações de Schrödinger não lineares em dimensão 1. Ao introduzir uma formulação baseada na linearização em torno de perfis assintóticos e desenvolver uma identidade de energia modificada robusta, os autores conseguem construir operadores de onda modificados para dados grandes no caso defocado. Isso preenche uma lacuna importante na literatura, onde resultados anteriores para grandes dados dependiam fortemente de técnicas de integrabilidade ou espaços analíticos, e abre caminho para a análise de espalhamento em equações dispersivas mais gerais.