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

Resumo Técnico: Descontinuidade em Todo Lugar do Mapa de Fluxo de um Sistema de Schrödinger Não Linear de Derivada Integrável no Toro

Enunciado do Problema
Este artigo investiga a bem-postura do problema de Cauchy para um sistema de Schrödinger não linear de derivada (DNLS) do tipo Chen-Lee-Liu, completamente integrável, no toro $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$. O sistema é 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}$$
com dados iniciais $(u_0, v_0) \in H^s(\mathbb{T}) \times H^s(\mathbb{T})$ para $s > 3/2$. Embora o sistema seja conhecido por ser completamente integrável com quantidades infinitas conservadas (por exemplo, a massa $M(u,v) = \int_{\mathbb{T}} uv \, dx$), a regularidade do mapa de fluxo (o mapeamento dos dados iniciais para as soluções) em espaços de Sobolev permanece a questão central. O autor aborda se o mapa de fluxo é contínuo em $H^s(\mathbb{T})$ e identifica as condições sob as quais a bem-postura ocorre.

Metodologia
A análise baseia-se em transformações de gauge e na exploração de efeitos de suavização associados a operadores elípticos do tipo Cauchy-Riemann.

1. Transformação de Gauge: Para lidar com a perda de derivada no termo não linear $uv\partial_x u$, o autor aplica uma transformação 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 transformação converte o sistema original em um novo sistema para $(U, V)$ contendo um termo proporcional a $\partial_x U$ (e $\partial_x V$) com um coeficiente determinado pela massa conservada $M(u,v)$. Especificamente, o sistema transformado inclui um termo $i M(u,v) \partial_x U$.

2. Análise do Sistema Transformado: O sistema transformado revela que, se a parte imaginária da massa conservada, $\text{Im } M(u,v)$, for não nula, o sistema contém formalmente um operador do tipo Cauchy-Riemann $i\partial_t + a\partial_x$ (onde $a \in \mathbb{R}$). O autor utiliza as propriedades de suavização deste operador para derivar condições necessárias sobre os dados iniciais para que uma solução exista.

3. Construção de Contraexemplos: Para provar a descontinuidade, o autor constrói sequências de dados iniciais que convergem para um dado ponto em $H^s(\mathbb{T})$, mas que possuem propriedades (especificamente em relação ao suporte de Fourier dos dados em relação ao sinal de $\text{Im } M$) que violam as condições necessárias derivadas do efeito de suavização. Isso leva à não existência de soluções para essas sequências.

4. Mapeamento de Contração: Para o resultado de bem-postura, o autor restringe os dados iniciais ao subespaço onde $\text{Im } M(u_0, v_0) = 0$. Neste subespaço, o termo linear problemático no sistema transformado pelo gauge desaparece, permitindo a aplicação de um argumento padrão de mapeamento de contração em um espaço de Banach adequado.

Principais Contribuições e Resultados

• Teorema 1.2 (Descontinuidade em Todo Lugar): O mapa de fluxo do sistema (1.1) é descontínuo em cada ponto de $H^s(\mathbb{T})$ para $s > 3/2$. Especificamente, para quaisquer dados iniciais $(u_0, v_0) \in H^s(\mathbb{T})$, existe uma sequência $\{(u_{0,n}, v_{0,n})\}$ convergindo para $(u_0, v_0)$ tal que nenhuma solução correspondente existe em $H^s(\mathbb{T})$ em qualquer intervalo de tempo $[0, T]$ ou $[-T, 0]$. Este resultado mantém-se independentemente da integrabilidade do sistema.

  • Mecanismo: A prova (Teorema 2.1) estabelece que, se uma solução existe e $\text{Im } M(u_0, v_0) > 0$ (ou $<0$), os dados iniciais devem satisfazer condições de regularidade específicas em seus componentes de frequência negativa (ou seja, $(P_- u_0, P_- v_0) \in H^{s+\delta}$). Ao construir sequências que convergem em $H^s$, mas violam essas condições de maior regularidade, o autor demonstra a não existência.

• Teorema 1.3 (Bem-Postura Condicional): O problema de Cauchy é bem-posto no subespaço $H^s_0(\mathbb{T}) := \{(f, g) \in H^s(\mathbb{T}) \mid \text{Im } M(f, g) = 0\}$.

  • Resultado: Para dados iniciais neste subespaço, existe uma solução local única, e o mapa de fluxo é contínuo.
  • Significância: Esta condição $\text{Im } M = 0$ é mostrada como o requisito preciso para eliminar a mal-postura causada pelo termo do tipo Cauchy-Riemann na equação transformada pelo gauge.

• Aplicações a Modelos Específicos:

  • O resultado implica que a equação DNLS padrão (obtida definindo $v=u$) é bem-posta em $H^s(\mathbb{T})$ porque, para $v=u$, $M(u,u) = \int |u|^2 dx$ é real, satisfazendo a condição.
  • A equação DNLS não local (derivada via $v = u^*$ onde $u^*(t,x) = u(t, -x)$) é bem-posta no espaço de funções com suporte de Fourier na semirreta positiva ($H^s_+(\mathbb{T})$), pois isso também garante $\text{Im } M = 0$.

Significância e Alegações
O artigo afirma resolver a bem-postura deste sistema integrável específico em espaços de Sobolev ao demonstrar que a integrabilidade por si só não garante a continuidade do mapa de fluxo. O autor enfatiza que, embora o sistema possua quantidades conservadas infinitas, a presença do termo $\text{Im } M(u,v) \partial_x$ nas variáveis transformadas pelo gauge cria um mecanismo para a mal-postura (especificamente, a falha da continuidade do mapa de fluxo) sempre que $\text{Im } M \neq 0$.

O trabalho destaca uma dicotomia nítida: o sistema é mal-posto no espaço total $H^s(\mathbb{T})$, mas torna-se bem-posto quando restrito ao subespaço definido pelo desaparecimento da parte imaginária da massa. O autor observa que a condição de regularidade $s > 3/2$ não é alegada como ótima, mas é suficiente para os argumentos apresentados. Os achados sugerem que, para sistemas de Schrödinger de derivada periódicos, a estrutura "integrável" exige o tratamento cuidadoso das transformações de gauge e das leis de conservação para estabelecer a bem-postura, uma vez que a transformação de gauge padrão usada no caso da reta real não remove totalmente o termo constante no caso periódico sem impor a condição $\text{Im } M = 0$.