[論文レビュー] Local ill-posedness of the 1D Zakharov system

Justin Holmer|ArXiv.org|Feb 8, 2006

Advanced Mathematical Physics Problems参考文献 9被引用数 38

ひとこと要約

本稿は、Ginibre-Tsutsumi-Velo が特定した適切な解の存在範囲の外で、1次元 Zakharov 系の局所的非適切性を、Sobolev 空間 $H^k \times H^s$ において確立する。周波数局所化初期データを用い、解写像の2階微分を解析することで、$s > 2k - \frac{1}{2}$ のとき波成分 $n$ においてノルムの吹き上がりが生じ、$s < -\frac{1}{2}$ のときシュレディンガー成分 $u$ において位相の分解が生じることを示し、適切な解の存在境界の鋭さを示している。

ABSTRACT

Ginibre-Tsutsumi-Velo (1997) proved local well-posedness for the Zakharov system for any dimension $d$, in the inhomogeneous Sobolev spaces $(u,n)\in H^k(\mathbb{R}^d) imes H^s(\mathbb{R}^d)$ for a range of exponents $k$, $s$ depending on $d$. Here we restrict to dimension $d=1$ and present a few results establishing local ill-posedness for exponent pairs $(k,s)$ outside of the well-posedness regime. The techniques employed are rooted in the work of Bourgain (1993), Birnir-Kenig-Ponce-Svanstedt-Vega (1996), and Christ-Colliander-Tao (2003) applied to the nonlinear Schroedinger equation.

研究の動機と目的

• Ginibre-Tsutsumi-Velo が確立した適切な解の存在範囲の外で、1次元 Zakharov 系の $H^k \times H^s$ 空間における局所的非適切性を確立すること。
• 適切な解の存在帯における境界線 $s = 2k - \frac{1}{2}$ および $s = -\frac{1}{2}$ が鋭いかどうかを示すこと。
• $H^k \times H^s \times H^{s-1}$ トポロジーにおいて、適切な解の領域外の指数ペアに対して、初期データから解への写像の均一連続性の失敗を分析すること。
• ノルムの吹き上がり（$s > 2k - \frac{1}{2}$ のとき $n$ で発生）と位相の分解（$s < -\frac{1}{2}$ のとき $u$ で発生）という2つの異なるメカニズムを用いて、非適切性を定量的に特定すること。

提案手法

• 周波数局所化初期データ列 $\phi_N$ を用い、$H^k \times H^s$ トポロジーにおける非適切性を調べる。
• 解写像 $F$ のゼロにおける2階微分 $D^2F(0)$ を解析し、有界性の欠如を検出することで、均一連続性の失敗を示す。
• 解写像を $\gamma \mapsto \gamma (u_0, n_0, n_1)$ という方向にテストすることで、$\partial_\gamma^2 u|_{\gamma=0}$ および $\partial_\gamma^2 n|_{\gamma=0}$ を用いて $D^2F(0)$ を抽出する。
• 特定の初期データを構成する：$s < -\frac{1}{2}$ の場合、$\hat{u}_0$ と $\hat{n}_0$ はそれぞれ $-N$ および $\pm(2N-1)$ の近傍に台を持つ；$s > 2k - \frac{1}{2}$ の場合、$\hat{u}_0$ は $\pm N$ の近傍に台を持つ。
• 定常位相法と畳み込み推定を用いて、非線形相互作用における2階摂動項のフーリエ変換を評価する。
• 非線形シュレディンガー方程式の非適切性に関する、Bourgain (1993)、Birnir-Kenig-Ponce-Svanstedt-Vega (1996)、Christ-Colliander-Tao (2003) の技術を応用する。

実験結果

リサーチクエスチョン

• RQ1 1次元 Zakharov 系の $H^k \times H^s$ における適切な解の存在境界 $s = 2k - \frac{1}{2}$ は鋭いか？
• RQ2 波動データ $n_0, n_1$ がシュレディンガーデータ $u_0$ より滑らかである、すなわち $s > 2k - \frac{1}{2}$ のとき、非適切性は生じるか？
• RQ3 波動データが滑らかでない、すなわち $s < -\frac{1}{2}$ のとき、シュレディンガー成分 $u$ における位相の分解を定量的に特定できるか？
• RQ4 $H^k \times H^s \times H^{s-1}$ において、適切な解の領域外の指数ペアに対して、初期データから解への写像は均一連続か？
• RQ5 $k < 0$ の場合、$n$ におけるノルムの吹き上がりまたは $u$ における正則性の喪失によって、適切でない解の存在が示せるか？

主な発見

• $0 < k < 1$ かつ $s > 2k - \frac{1}{2}$、または $k \leq 0$ かつ $s > -\frac{1}{2}$ のとき、$\|\phi_N\|_{H^k} \leq 1$ を満たす初期データ列 $\phi_N$ が存在し、$0 < t \leq T$ および $N \geq c t^{-1}$ に対して $\|n_N(t)\|_{H^s} \geq c t N^{\alpha}$ が成り立つ。これは $n$ におけるノルムの吹き上がりを示している。
• $s < -\frac{1}{2}$ のとき、2階微分 $\partial_\gamma^2 u|_{\gamma=0}(t)$ は $\|\partial_\gamma^2 u|_{\gamma=0}(t)\|_{H^k} \geq c(t) N^{-s - \frac{1}{2}}$ を満たし、初期データから解への写像が均一連続でないことを示し、$u$ における位相の分解を示している。
• $s > 2k - \frac{1}{2}$ のとき、2階微分 $\partial_\gamma^2 n|_{\gamma=0}(t)$ は $\|\partial_\gamma^2 n|_{\gamma=0}(t)\|_{H^s} \geq c(t) N^{s - (2k - \frac{1}{2})}$ を満たし、波動データがシュレディンガーデータよりも滑らかである場合に $n$ におけるノルムの吹き上がりが確認されている。
• 非適切性の結果は鋭い：境界 $s = 2k - \frac{1}{2}$ および $s = -\frac{1}{2}$ は最適であり、適切な解の存在範囲は正確にこれらの直線上で終わる。
• 解析により、$H^k \times H^s \times H^{s-1}$ 初期データから解への写像が $s > 2k - \frac{1}{2}$ および $s < -\frac{1}{2}$ の領域で均一連続でないことが確認され、適切な解の存在帯の鋭さが示された。
• 結果は負の $k$ 値に対しても拡張可能であり、非適切性に複数のメカニズムが寄与しうることを示しているが、正則性の喪失の定量的評価には依然として本手法が有効である。