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

Sintesi Tecnica: Non-continuità ovunque della mappa di flusso di un sistema di Schrödinger non lineare derivativa integrabile sul toro

Enunciato del Problema
Questo articolo investiga la ben-posedness (ben-posta) del problema di Cauchy per un sistema di Schrödinger non lineare derivativa (DNLS) di tipo Chen-Lee-Liu, completamente integrabile, sul toro $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$. Il sistema è dato da:
$$\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 dati iniziali $(u_0, v_0) \in H^s(\mathbb{T}) \times H^s(\mathbb{T})$ per $s > 3/2$. Sebbene il sistema sia noto per essere completamente integrabile con infinite quantità conservate (ad esempio, la massa $M(u,v) = \int_{\mathbb{T}} uv \, dx$), la regolarità della mappa di flusso (la mappatura dai dati iniziali alle soluzioni) negli spazi di Sobolev rimane la questione centrale. L'autore affronta se la mappa di flusso sia continua in $H^s(\mathbb{T})$ e identifica le condizioni sotto le quali la ben-posedness è valida.

Metodologia
L'analisi si basa su trasformazioni di gauge e sullo sfruttamento degli effetti di smoothing associati a operatori ellittici di tipo Cauchy-Riemann.

1. Trasformazione di Gauge: Per gestire la perdita di derivata nel termine non lineare $uv\partial_x u$, l'autore applica una trasformazione di 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.$$
   Questa trasformazione converte il sistema originale in un nuovo sistema per $(U, V)$ contenente un termine proporzionale a $\partial_x U$ (e $\partial_x V$) con un coefficiente determinato dalla massa conservata $M(u,v)$. Nello specifico, l'equazione trasformata include un termine $i M(u,v) \partial_x U$.

2. Analisi del Sistema Trasformato: Il sistema trasformato rivela che, se la parte immaginaria della massa conservata, $\text{Im } M(u,v)$, è non nulla, il sistema contiene formalmente un operatore di tipo Cauchy-Riemann $i\partial_t + a\partial_x$ (dove $a \in \mathbb{R}$). L'autore utilizza le proprietà di smoothing di questo operatore per derivare le condizioni necessarie sui dati iniziali affinché esista una soluzione.

3. Costruzione di Controesempi: Per dimostrare la discontinuità, l'autore costruisce sequenze di dati iniziali che convergono a un dato punto in $H^s(\mathbb{T})$ ma che possiedono proprietà (specificamente riguardo al supporto di Fourier dei dati rispetto al segno di $\text{Im } M$) che violano le condizioni necessarie derivate dall'effetto di smoothing. Ciò porta alla non-esistenza di soluzioni per queste sequenze.

4. Contrazione (Contraction Mapping): Per il risultato di ben-posedness, l'autore restringe i dati iniziali al sottospazio in cui $\text{Im } M(u_0, v_0) = 0$. In questo sottospazio, il problematico termine lineare nel sistema trasformato di gauge svanisce, permettendo l'applicazione di un classico argomento di contrazione in un opportuno spazio di Banach.

Contributi Chiave e Risultati

• Teorema 1.2 (Non-continuità Ovunque): La mappa di flusso del sistema (1.1) è discontinua in ogni punto di $H^s(\mathbb{T})$ per $s > 3/2$. Nello specifico, per ogni dato iniziale $(u_0, v_0) \in H^s(\mathbb{T})$, esiste una sequenza $\{(u_{0,n}, v_{0,n})\}$ convergente a $(u_0, v_0)$ tale che non esiste alcuna corrispondente soluzione in $H^s(\mathbb{T})$ su alcun intervallo di tempo $[0, T]$ o $[-T, 0]$. Questo risultato è indipendente dall'integrabilità del sistema.

  • Meccanismo: La prova (Teorema 2.1) stabilisce che se una soluzione esiste e $\text{Im } M(u_0, v_0) > 0$ (o $<0$), i dati iniziali devono soddisfare specifiche condizioni di regolarità sulle loro componenti di frequenza negativa (ovvero, $(P_- u_0, P_- v_0) \in H^{s+\delta}$). Costruendo sequenze che convergono in $H^s$ ma violano queste condizioni di regolarità superiore, l'autore dimostra la non-esistenza.

• Teorema 1.3 (Ben-posedness Condizionata): Il problema di Cauchy è ben-posto nel sottospazio $H^s_0(\mathbb{T}) := \{(f, g) \in H^s(\mathbb{T}) \mid \text{Im } M(f, g) = 0\}$.

  • Risultato: Per i dati iniziali in questo sottospazio, esiste una soluzione locale unica e la mappa di flusso è continua.
  • Significato: Questa condizione $\text{Im } M = 0$ è mostrata essere il requisito preciso per eliminare l'ill-posedness causata dal termine di tipo Cauchy-Riemann nell'equazione trasformata di gauge.

• Applicazioni a Modelli Specifici:

  • Il risultato implica che l'equazione DNLS standard (ottenuta ponendo $v=u$) è ben-posta in $H^s(\mathbb{T})$ perché per $v=u$, $M(u,u) = \int |u|^2 dx$ è reale, soddisfacendo la condizione.
  • L'equazione DNLS non locale (derivata tramite $v = u^*$ dove $u^*(t,x) = u(t, -x)$) è ben-posta nello spazio delle funzioni con supporto di Fourier nella semiretta positiva ($H^s_+(\mathbb{T})$), poiché anche questo assicura $\text{Im } M = 0$.

Significatività e Rivendicazioni
Il saggio sostiene di risolvere la ben-posedness di questo specifico sistema integrabile negli spazi di Sobolev dimostrando che l'integrabilità da sola non garantisce la continuità della mappa di flusso. L'autore sottolinea che, sebbene il sistema possieda infinite quantità conservate, la presenza del termine $\text{Im } M(u,v) \partial_x$ nelle variabili trasformate di gauge crea un meccanismo per l'ill-posedness (specificamente, il fallimento della continuità della mappa di flusso) ogni volta che $\text{Im } M \neq 0$.

Il lavoro evidenzia una netta dicotomia: il sistema è mal posto nello spazio completo $H^s(\mathbb{T})$, ma diventa ben posto quando limitato al sottospazio definito dalla scomparsa della parte immaginaria della massa. L'autore osserva che la condizione di regolarità $s > 3/2$ non è rivendicata come ottimale, ma è sufficiente per gli argomenti presentati. Le conclusioni suggeriscono che per i sistemi di Schrödinger non lineare derivativa periodici, la struttura "integrabile" richiede una gestione attenta delle trasformazioni di gauge e delle leggi di conservazione, poiché la standard trasformazione di gauge utilizzata nell'ambito della retta reale non rimuove completamente il termine costante nel caso periodico senza imporre la condizione $\text{Im } M = 0$.