Nowhere continuity of the flow map of an integrable derivative nonlinear Schrödinger system on the torus

Resumen Técnico: No Continuidad del Mapa de Flujo de un Sistema de Derivada No Lineal de Schrödinger Integrable en el Toro

Planteamiento del Problema
Este artículo investiga la bien posedidad del problema de Cauchy para un sistema de derivada no lineal de Schrödinger (DNLS) completamente integrable de tipo Chen-Lee-Liu en el toro $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$. El sistema está dado por:
$$\begin{cases} i\partial_t u - \partial_x^2 u - iuv\partial_x u = 0, \\ i\partial_t v + \partial_x^2 v - iuv\partial_x v = 0, \end{cases}$$
con datos iniciales $(u_0, v_0) \in H^s(\mathbb{T}) \times H^s(\mathbb{T})$ para $s > 3/2$. Si bien se sabe que el sistema es completamente integrable con infinitas cantidades conservadas (por ejemplo, la masa $M(u,v) = \int_{\mathbb{T}} uv \, dx$), la regularidad del mapa de flujo (el mapeo de los datos iniciales a las soluciones) en espacios de Sobolev sigue siendo la cuestión central. El autor aborda si el mapa de flujo es continuo en $H^s(\mathbb{T})$ e identifica las condiciones bajo las cuales se cumple la bien posedidad.

Metodología
El análisis se basa en transformaciones de gauge y en la explotación de los efectos de suavizado asociados con operadores elípticos de tipo Cauchy-Riemann.

1. Transformación de Gauge: Para manejar la pérdida de derivada en el término no lineal $uv\partial_x u$, el autor aplica una transformación de gauge:
   $$U = \exp\left(-\frac{i}{2}\partial_x^{-1}(uv)\right)u, \quad V = \exp\left(\frac{i}{2}\partial_x^{-1}(uv)\right)v.$$
   Esta transformación convierte el sistema original en un nuevo sistema para $(U, V)$ que contiene un término proporcional a $\partial_x U$ (y $\partial_x V$) con un coeficiente determinado por la masa conservada $M(u,v)$. Específicamente, la ecuación transformada incluye un término $i M(u,v) \partial_x U$.

2. Análisis del Sistema Transformado: El sistema transformado revela que si la parte imaginaria de la masa conservada, $\text{Im } M(u,v)$, es distinta de cero, el sistema contiene formalmente un operador de tipo Cauchy-Riemann $i\partial_t + a\partial_x$ (donde $a \in \mathbb{R}$). El autor utiliza las propiedades de suavizado de este operador para derivar condiciones necesarias sobre los datos iniciales para que exista una solución.

3. Construcción de Contraejemplos: Para probar la discontinuidad, el autor construye secuencias de datos iniciales que convergen a un punto dado en $H^s(\mathbb{T})$ pero que poseen propiedades (específicamente respecto al soporte de Fourier de los datos en relación con el signo de $\text{Im } M$) que violan las condiciones necesarias derivadas del efecto de suavizado. Esto conduce a la no existencia de soluciones para estas secuencias.

4. Mapeo de Contracción: Para el resultado de bien posedidad, el autor restringe los datos iniciales al subespacio donde $\text{Im } M(u_0, v_0) = 0$. En este subespacio, el término lineal problemático en el sistema transformado por gauge desaparece, permitiendo la aplicación de un argumento de mapeo de contracción estándar en un espacio de Banach adecuado.

Contribuciones Clave y Resultados

• Teorema 1.2 (No Continuidad en Ningún Lugar): El mapa de flujo del sistema (1.1) es discontinuo en cada punto en $H^s(\mathbb{T})$ para $s > 3/2$. Específicamente, para cualquier dato inicial $(u_0, v_0) \in H^s(\mathbb{T})$, existe una secuencia $\{(u_{0,n}, v_{0,n})\}$ que converge a $(u_0, v_0)$ tal que no existe una solución correspondiente en $H^s(\mathbb{T})$ en ningún intervalo de tiempo $[0, T]$ o $[-T, 0]$. Este resultado se mantiene independientemente de la integrabilidad del sistema.

  • Mecanismo: La prueba (Teorema 2.1) establece que si una solución existe y $\text{Im } M(u_0, v_0) > 0$ (o $<0$), los datos iniciales deben satisfacer condiciones de regularidad específicas en sus componentes de frecuencia negativa (es decir, $(P_- u_0, P_- v_0) \in H^{s+\delta}$). Al construir secuencias que convergen en $H^s$ pero violan estas condiciones de mayor regularidad, el autor demuestra la no existencia.

• Teorema 1.3 (Bien Posedidad Condicional): El problema de Cauchy es bien puesto en el subespacio $H^s_0(\mathbb{T}) := \{(f, g) \in H^s(\mathbb{T}) \mid \text{Im } M(f, g) = 0\}$.

  • Resultado: Para datos iniciales en este subespacio, existe una solución local única, y el mapa de flujo es continuo.
  • Significado: Se demuestra que esta condición $\text{Im } M = 0$ es el requisito preciso para eliminar la mal posedidad causada por el término de tipo Cauchy-Riemann en la ecuación transformada por gauge.

• Aplicaciones a Modelos Específicos:

  • El resultado implica que la ecuación DNLS estándar (obtenida al establecer $v=u$) es bien puesta en $H^s(\mathbb{T})$ porque para $v=u$, $M(u,u) = \int |u|^2 dx$ es real, satisfaciendo la condición.
  • La ecuación DNLS no local (derivada mediante $v = u^*$ donde $u^*(t,x) = u(t, -x)$) es bien puesta en el espacio de funciones con soporte de Fourier en la semirrecta positiva ($H^s_+(\mathbb{T})$), ya que esto también asegura $\text{Im } M = 0$.

Significancia y Reivindicaciones
El artículo afirma resolver la bien posedidad de este sistema integrable específico en espacios de Sobolev demostrando que la integrabilidad por sí sola no garantiza la continuidad del mapa de flujo. El autor enfatiza que, aunque el sistema posee infinitas cantidades conservadas, la presencia del término $\text{Im } M(u,v) \partial_x$ en las variables transformadas por gauge crea un mecanismo para la mal posedidad (específicamente, el fallo de la continuidad del mapa de flujo) siempre que $\text{Im } M \neq 0$.

El trabajo destaca una dicotomía aguda: el sistema es mal puesto en el espacio completo $H^s(\mathbb{T})$, pero se vuelve bien puesto cuando se restringe al subespacio definido por la anulación de la parte imaginaria de la masa. El autor señala que la condición de regularidad $s > 3/2$ no se pretende que sea óptima, pero es suficiente para los argumentos presentados. Los hallazgos sugieren que, para los sistemas de la derivada de Schrödinger no lineales periódicos, la estructura "integrable" requiere un manejo cuidadoso de las transformaciones de gauge y las leyes de conservación para establecer la bien posedidad, ya que la transformación de gauge estándar utilizada en el caso de la recta real no elimina completamente el término constante en el caso periódico sin imponer la condición $\text{Im } M = 0$.