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

Technische Samenvatting: Overal geen continuïteit van de flow-afbeelding van een integreerbaar afgeleide nietlineair Schrödinger-systeem op de torus

Probleemstelling
Dit artikel onderzoekt de welgesteldheid van het Cauchy-probleem voor een volledig integreerbaar afgeleid nietlineair Schrödinger-systeem (DNLS) van het Chen-Lee-Liu-type op de torus $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$. Het systeem wordt gegeven door:
$$\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}$$
met initiële data $(u_0, v_0) \in H^s(\mathbb{T}) \times H^s(\mathbb{T})$ voor $s > 3/2$. Hoewel het systeem bekend staat als volledig integreerbaar met oneindig veel behouden grootheden (bijv. massa $M(u,v) = \int_{\mathbb{T}} uv \, dx$), blijft de regulariteit van de flow-afbeelding (de afbeelding van initiële data naar oplossingen) in Sobolev-ruimten de centrale vraag. De auteur onderzoekt of de flow-afbeelding continu is in $H^s(\mathbb{T})$ en identificeert voorwaarden waaronder welgesteldheid geldt.

Methodologie
De analyse steunt op gauge-transformaties en het benutten van de smoothing-effecten geassocieerd met Cauchy-Riemann-type elliptische operatoren.

1. Gauge-transformatie: Om het verlies aan afgeleide in de nietlineaire term $uv\partial_x u$ te behandelen, past de auteur een gauge-transformatie toe:
   $$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.$$
   Deze transformatie zet het oorspronkelijke systeem om in een nieuw systeem voor $(U, V)$ dat een term bevat die proportioneel is aan $\partial_x U$ (en $\partial_x V$) met een coëfficiënt die bepaald wordt door de behouden massa $M(u,v)$. Specifiek bevat de getransformeerde vergelijking een term $i M(u,v) \partial_x U$.

2. Analyse van het getransformeerde systeem: Het getransformeerde systeem onthult dat als het imaginaire deel van de behouden massa, $\text{Im } M(u,v)$, niet nul is, het systeem formeel een Cauchy-Riemann-type operator $i\partial_t + a\partial_x$ bevat (waarbij $a \in \mathbb{R}$). De auteur maakt gebruik van de smoothing-eigenschappen van deze operator om noodzakelijke voorwaarden op de initiële data af te leiden voor het bestaan van een oplossing.

3. Constructie van tegenvoorbeelden: Om discontinuïteit te bewijzen, construeert de auteur sequenties van initiële data die convergeren naar een gegeven punt in $H^s(\mathbb{T})$, maar eigenschappen bezitten (specifiek met betrekking tot de Fourier-ondersteuning van de data ten opzichte van het teken van $\text{Im } M$) die de noodzakelijke voorwaarden afgeleid uit het smoothing-effect schenden. Dit leidt tot het niet-bestaan van oplossingen voor deze sequenties.

4. Contractie-afbeelding: Voor het resultaat van de welgesteldheid beperkt de auteur de initiële data tot de subruimte waar $\text{Im } M(u_0, v_0) = 0$. In deze subruimte verdwijnt de problematische lineaire term in het gauge-getransformeerde systeem, waardoor de toepassing van een standaard contractie-afbeelding argument in een geschikte Banach-ruimte mogelijk wordt.

Belangrijkste bijdragen en resultaten

• Stelling 1.2 (Overal geen continuïteit): De flow-afbeelding van het systeem (1.1) is discontinu in elk punt in $H^s(\mathbb{T})$ voor $s > 3/2$. Specifiek, voor elke initiële data $(u_0, v_0) \in H^s(\mathbb{T})$, bestaat er een sequentie $\{(u_{0,n}, v_{0,n})\}$ die convergeert naar $(u_0, v_0)$ waarvoor geen overeenkomstige oplossing bestaat in $H^s(\mathbb{T})$ op enig tijdsinterval $[0, T]$ of $[-T, 0]$. Dit resultaat houdt stand, ongeacht de integreerbaarheid van het systeem.

  • Mechanisme: Het bewijs (Stelling 2.1) stelt vast dat als een oplossing bestaat en $\text{Im } M(u_0, v_0) > 0$ (of $<0$), de initiële data aan specifieke regulariteitsvoorwaarden moet voldoen op zijn negatieve (of positieve) frequentiecomponenten (d.w.z. $(P_- u_0, P_- v_0) \in H^{s+\delta}$). Door sequenties te construeren die in $H^s$ convergeren maar deze hogere regulariteitsvoorwaarden schenden, demonstreert de auteur het niet-bestaan.

• Stelling 1.3 (Conditionele welgesteldheid): Het Cauchy-probleem is welgesteld in de subruimte $H^s_0(\mathbb{T}) := \{(f, g) \in H^s(\mathbb{T}) \mid \text{Im } M(f, g) = 0\}$.

  • Resultaat: Voor initiële data in deze subruimte bestaat er een unieke lokale oplossing, en de flow-afbeelding is continu.
  • Betekenis: Deze voorwaarde $\text{Im } M = 0$ wordt getoond als de precieze vereiste om de ill-posedness veroorzaakt door de Cauchy-Riemann-type term in de gauge-getransformeerde vergelijking te elimineren.

• Toepassingen op specifieke modellen:

  • Het resultaat impliceert dat de standaard DNLS-vergelijking (verkregen door $v=u$ te stellen) welgesteld is in $H^s(\mathbb{T})$ omdat voor $v=u$, $M(u,u) = \int |u|^2 dx$ reëel is, wat aan de voorwaarde voldoet.
  • De niet-lokale DNLS-vergelijking (afgeleid via $v = u^*$ waar $u^*(t,x) = u(t, -x)$) is welgesteld in de ruimte van functies met Fourier-ondersteuning in de positieve helftlijn ($H^s_+(\mathbb{T})$), aangezien dit ook $\text{Im } M = 0$ waarborgt.

Betekenis en claims
Het artikel claimt de welgesteldheid van dit specifieke integreerbare systeem in Sobolev-ruimten op te lossen door aan te tonen dat integrabiliteit alleen niet garandeert dat de flow-afbeelding continu is. De auteur benadrukt dat hoewel het systeem oneindig veel behouden grootheden bezit, de aanwezigheid van de term $\text{Im } M(u,v) \partial_x$ in de gauge-getransformeerde variabelen een mechanisme voor ill-posedness creëert (specifiek het falen van de continuïteit van de flow-afbeelding) telkens wanneer $\text{Im } M \neq 0$.

Het werk benadrukt een scherpe dichotomie: het systeem is ill-posed in de volledige ruimte $H^s(\mathbb{T})$, maar wordt welgesteld wanneer het wordt beperkt tot de subruimte gedefinieerd door het verdwijnen van het imaginaire deel van de massa. De auteur merkt op dat de regulariteitsvoorwaarde $s > 3/2$ niet wordt geclaimd optimaal te zijn, maar voldoende is voor de gepresenteerde argumenten. De bevindingen suggereren dat voor periodieke afgeleide nietlineaire Schrödinger-systemen, de "integreerbare" structuur een zorgvuldige behandeling van gauge-transformaties en behouden grootheden vereist om welgesteldheid vast te stellen, aangezien de standaard gauge-transformatie gebruikt in de setting van de reële lijn in het periodieke geval de constante term niet volledig verwijdert zonder de $\text{Im } M = 0$ voorwaarde op te leggen.