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

技術要約：トーラス上の可積分微分非線形シュレディンガー系におけるフローマップの至る所での不連続性

問題設定
本論文は、トーラス $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$ 上のチェン・リー・リウ（Chen-Lee-Liu）型の完全可積分微分非線形シュレディンガー（DNLS）系のコーシー問題のウェルポーズドネス（適正設定）を調査している。系は以下のように与えられる：
$$\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}$$
ここで、初期データは $(u_0, v_0) \in H^s(\mathbb{T}) \times H^s(\mathbb{T})$ ($s > 3/2$) である。この系は無限個の保存量（例：質量 $M(u,v) = \int_{\mathbb{T}} uv \, dx$）を持つ完全可積分系として知られているが、ソボレフ空間におけるフローマップ（初期データから解への写像）の正則性が中心的な問いとなる。著者は、フローマップが $H^s(\mathbb{T})$ において連続であるかどうかを検討し、ウェルポーズドネスが成立するための条件を特定している。

手法
解析は、ゲージ変換と、コーシー・リーマン型の楕円作用素に関連する平滑化効果の活用に基づいている。

1. ゲージ変換: 微分項 $uv\partial_x u$ による微分の損失を扱うために、著者は以下のゲージ変換を適用する：
   $$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.$$
   この変換により、元の系は $(U, V)$ に関する新しい系へと変換される。この新系には、保存された質量 $M(u,v)$ によって決定される係数を持つ $\partial_x U$（および $\partial_x V$）に比例する項が含まれる。具体的には、変換された方程式には $i M(u,v) \partial_x U$ という項が含まれる。

2. 変換された系の解析: 変換された系は、もし保存された質量の虚部 $\text{Im } M(u,v)$ が非ゼロであれば、形式的にコーシー・リーマン型の作用素 $i\partial_t + a\partial_x$ （ここで $a \in \mathbb{R}$）を含むことを明らかにしている。著者は、この作用素の平滑化特性を利用して、解が存在するための初期データに関する必要条件を導出している。

3. 反例の構成: 不連続性を証明するために、与えられた点に収束する初期データの列を構成するが、それらは（特に、質量 $\text{Im } M$ の符号に対するフーリエ支持に関する）性質において、平滑化効果から導かれた必要条件に違反している。これにより、これらの列に対する解の非存在が導かれる。

4. 縮小写像: ウェルポーズドネスの結果については、初期データを部分空間 $\text{Im } M(u_0, v_0) = 0$ に制限する。この部分空間において、ゲージ変換された系における問題となる線形項は消失し、適切なバナッハ空間における標準的な縮小写像の議論の適用が可能となる。

主要な貢献と結果

• 定理 1.2（至る所での不連続性）: 系 (1.1) のフローマップは、$s > 3/2$ において $H^s(\mathbb{T})$ のあらゆる点において不連続である。具体的には、任意の初期データ $(u_0, v_0) \in H^s(\mathbb{T})$ に対して、$(u_0, v_0)$ に収束する数列 $\{(u_{0,n}, v_{0,n})\}$ が存在し、対応する解が、いかなる時間区間 $[0, T]$ または $[-T, 0]$ においても $H^s(\mathbb{T})$ 内に存在しない。この結果は、系の可積分性に関わらず成立する。

  • メカニズム: 証明（定理 2.1）は、もし解が存在し、かつ $\text{Im } M(u_0, v_0) > 0$（または $< 0$）であるならば、初期データは特定の正則性条件（すなわち、$(P_- u_0, P_- v_0) \in H^{s+\delta}$）を満たさなければならないことを確立している。これに対し、これらより高い正則性条件に違反する収束列を構成することで、著者は非存在を実証している。

• 定理 1.3（条件付きウェルポーズドネス）: コーシー問題は、部分空間 $H^s_0(\mathbb{T}) := \{(f, g) \in H^s(\mathbb{T}) \mid \text{Im } M(f, g) = 0\}$ においてウェルポーズドである。

  • 結果: この部分空間内の初期データに対しては、一意の局所解が存在し、フローマップは連続である。
  • 意義: この条件 $\text{Im } M = 0$ は、ゲージ変換された方程式におけるコーシー・リーマン型項によって引き起こされる不良設定性を排除するための正確な要件であることが示されている。

• 特定のモデルへの応用:

  • この結果は、標準的な DNLS 方程式（$v=u$ と設定することで得られる）が、$v=u$ のとき $M(u,u) = \int |u|^2 dx$ が実数となり、条件を満たすため、$H^s(\mathbb{T})$ においてウェルポーズドであることを意味する。
  • 非局所 DNLS 方程式（$v = u^*$、ここで $u^*(t,x) = u(t, -x)$ を用いて導出される）は、正の半直線におけるフーリエ支持を持つ関数の空間（$H^s_+(\mathbb{T})$）においてウェルポーズドである。これは、これもまた $\text{Im } M = 0$ を保証するためである。

意義と主張
本論文は、この特定の可積分系が、可積分性自体がフローマップの連続性を保証しないことを示すことで、ソボレフ空間におけるウェルポーズドネスの問題を解決したと主張している。著者は、系が無限個の保存量を持っている一方で、ゲージ変換された変数における $\text{Im } M(u,v) \partial_x$ 項の存在が、$\text{Im } M \neq 0$ の場合にウェルポーズドネスを損なう（具体的には、フローマップが連続にならない）メカニズムを生み出すことを強調している。

本研究は、鋭い二分法を浮き彫りにしている。すなわち、系は全空間 $H^s(\mathbb{T})$ では不良設定であるが、質量の虚部が消滅するという定義によって定められた部分空間に制限されるとウェルポーズドとなる。著者は、正則性条件 $s > 3/2$ は最適であると主張しているわけではなく、提示された議論には十分であると述べている。これらの知見は、周期的な微分非線形シュレディンガー系において、「可積分」な構造を扱う際には、ゲージ変換と保存量を慎重に取り扱う必要があることを示唆している。なぜなら、実数直線上の設定で使用される標準的なゲージ変換は、$\text{Im } M = 0$ の条件を課さない限り、周期的なケースでは定数項を完全に取り除くことができないからである。