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

Resumen Técnico: Dispersión de la ecuación de la derivada de Schrödinger no lineal de Calogero–Moser defocalizante

Planteamiento del problema
Este artículo investiga el comportamiento asintótico a largo plazo de las soluciones de la ecuación de la derivada de Schrödinger no lineal de Calogero–Moser (CM-DNLS) defocalizante:
$$i\partial_t u + \partial_x^2 u - 2\Pi D(|u|^2)u = 0, \quad (t, x) \in \mathbb{R} \times \mathbb{R},$$
donde $\Pi$ es el proyector ortogonal de Riesz-Szegő sobre el espacio de Hardy $L^2_+(\mathbb{R})$ (funciones con soporte de Fourier en $[0, \infty)$). Si bien se ha establecido la existencia global de soluciones para esta ecuación en $H^s_+(\mathbb{R})$ ($s \ge 0$) bajo supuestos de masa pequeña o condiciones específicas, el comportamiento de dispersión para una amplia clase de datos iniciales sigue siendo una cuestión central. Específicamente, los autores abordan si las soluciones dispersan hacia soluciones libres de Schrödinger cuando $t \to \pm \infty$ para datos iniciales en el espacio ponderado $H^{1,\alpha}_+(\mathbb{R}) := \{u \in H^1_+(\mathbb{R}) : |x|^\alpha u \in L^2(\mathbb{R})\}$ con $\alpha > 0$.

Metodología
El análisis se basa en la estructura integrable de la ecuación, específicamente en la formulación de par de Lax y la transformada de Fourier distorsionada asociada. El marco metodológico central consta de tres componentes principales:

1. Fórmula explícita de tipo Gérard: Los autores utilizan una fórmula explícita para la solución derivada por Killip–Laurens–Vişan, que expresa la solución $u(t, z)$ en el semiplano superior mediante el resolvente del operador de Lax $L_{u_0}$ y el operador de multiplicación 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 distorsionada: Una parte significativa del trabajo se dedica a la construcción de la transformada de Fourier distorsionada $\mathcal{F}_{d, u_0}$ asociada al operador de Lax $L_{u_0}$. Esto implica:
   • Probar la inexistencia de autovalores para $L_{u_0}$ cuando $u \in H^{1,\alpha}_+$.
   • Construir autofunciones generalizadas normalizadas $m_-(x, \lambda)$ y establecer sus cotas uniformes $L^\infty$ con respecto al parámetro espectral $\lambda$.
   • Demostrar que $\mathcal{F}_{d, u_0}$ es un operador unitario de $L^2_+(\mathbb{R})$ hacia $L^2(0, \infty)$, diagonalizando efectivamente el operador de Lax.
3. Representación espectral del término de defecto: Los autores reescriben la fórmula explícita en variables de Fourier distorsionadas. Un paso crítico es caracterizar la acción del operador $X^*$ en estas variables. Derivan que $X^*$ actúa como un operador diferencial $i\partial_\lambda$ más un término de potencial no local que involucra la transformada de Hilbert de semirrecta $H$ y el potencial $u$. Esto permite que el "término de defecto" (la diferencia entre la solución no lineal y la evolución lineal libre) se exprese como una integral oscilatoria que involucra los datos espectrales distorsionados.

Contribuciones clave y resultados
El resultado principal es la prueba de la dispersión para la ecuación CM-DNLS defocalizante para datos iniciales en $H^{1,\alpha}_+(\mathbb{R})$ con $\alpha > 0$.

• Teorema 1.5: Para cualquier dato inicial $u_0 \in H^{1,\alpha}_+(\mathbb{R})$, existen estados de dispersión $v^\pm_0 \in H^1_+(\mathbb{R})$ tales que:
  $$\lim_{t \to \pm \infty} \| u(t) - e^{it\partial_x^2} v^\pm_0 \|_{H^1(\mathbb{R})} = 0.$$
• Caracterización de los estados de dispersión: Los estados de dispersión se caracterizan explícitamente utilizando la transformada de Fourier distorsionada. Específicamente, el estado de dispersión de tiempo negativo $v^-_0$ satisface $\widehat{v^-_0}(\xi) = \mathcal{F}_{d, u_0} u_0(\xi) \mathbf{1}_{\xi > 0}$. El estado de tiempo positivo se deriva mediante un argumento de simetría que involucra la reflexión de los datos iniciales.
• Extensión más allá de los casos racionales: Los autores extienden la aplicación de la fórmula explícita de tipo Gérard más allá de los casos de datos racionales previamente estudiados (que a menudo dependen de la resolución de solitones para potenciales de brecha finita específicos) a una amplia clase de datos de Sobolev ponderados más rugosos.
• Innovación técnica: El artículo introduce un enfoque novedoso para analizar el comportamiento a largo plazo de las ecuaciones integrables. En lugar de analizar directamente la fórmula explícita en el espacio físico (como se hizo en trabajos previos sobre la ecuación de Benjamin-Ono), los autores primero transforman la fórmula en variables de Fourier distorsionadas. Luego analizan la representación distorsionada resultante del término de defecto utilizando estimaciones de integrales oscilatorias. Este enfoque espectral permite el manejo de datos iniciales con decaimiento espacial limitado ($|x|^\alpha u \in L^2$ con $\alpha > 0$ en lugar de $\alpha \ge 1$).

Significación y alegatos
El artículo afirma ser uno de los primeros trabajos en aplicar con éxito la fórmula explícita de tipo Gérard para estudiar el comportamiento a largo plazo de una ecuación integrable para una amplia clase de datos iniciales más allá de los casos racionales.

• Generalización de los resultados de dispersión: Mientras que Kim–Kwon estableció previamente la dispersión para la CM-DNLS focalizante en $H^{1,1}(\mathbb{R})$ (que requiere $xu \in L^2$), este trabajo extiende el resultado de dispersión quiral al espacio más singular $H^{1,\alpha}_+(\mathbb{R})$ con $\alpha > 0$. Esto es significativo porque incluye soluciones de estado fundamental de la ecuación focalizante que no pertenecen a $H^{1,1}$.
• Caracterización espectral: El trabajo proporciona una caracterización espectral precisa del término de dispersión mediante la transformada de Fourier distorsionada asociada al operador de Lax, ofreciendo una comprensión más profunda de la dinámica asintótica en términos de los datos espectrales de la condición inicial.
• Puente metodológico: Al combinar la fórmula explícita con la transformada de Fourier distorsionada y las estimaciones oscilatorias, el artículo establece un marco que podría adaptarse potencialmente a otros sistemas integrables donde el análisis directo en el espacio físico de la fórmula explícita es intratable.

Los autores señalan que su enfoque difiere esencialmente del análisis directo de la fórmula explícita al caracterizar primero el término de defecto espectralmente. También mencionan que su método, combinado con resultados análogos para el caso focalizante, sugiere la posibilidad de establecer la dispersión para la CM-DNLS focalizante bajo supuestos de masa pequeña en los mismos espacios ponderados, aunque el enfoque principal de este artículo sigue siendo el caso defocalizante.