[論文レビュー] On the extension of the frequency maps of the KdV and the KdV2 equations

Thomas Kappeler, Jan-Cornelius Molnar|arXiv (Cornell University)|May 21, 2016

Advanced Mathematical Physics Problems参考文献 26被引用数 5

ひとこと要約

本稿は、KdVおよびKdV2方程式の周波数マップを低正則性関数空間へ拡張するための新しい解析的枠組みを導入し、それらの漸近挙動およびハミルトニアンの凸性を厳密に研究可能にする。主な結果として、KdV2方程式が $ s \geq 0 $ に対して $ \mathscr{H}^s $ で $ C^0 $-適切に定義されるが、$ s < 0 $ に対しては適切でないことが示され、非線形PDE理論における長年の未解決問題が解決された。

ABSTRACT

In form of a case study for the KdV and the KdV2 equations, we present a novel approach of representing the frequencies of integrable PDEs which allows to extend them analytically to spaces of low regularity and to study their asymptotics. Applications include convexity properties of the Hamiltonians and wellposedness results in spaces of low regularity. In particular, it is proved that on $H^{s}$ the KdV2 equation is $C^{0}$-wellposed if $s\ge 0$ and illposed (in a strong sense) if $s &lt; 0$.

研究の動機と目的

• 可積分PDE（KdVおよびKdV2方程式を含む）の周波数マップを低正則性関数空間へ解析的に拡張するための新手法を開発すること。
• 拡張された周波数の漸近挙動と、それらがハミルトニアン構造および解のダイナミクスに与える影響を調査すること。
• Sobolev空間 $ \mathscr{H}^s $ におけるKdV2方程式の適切性および不適切性に関する結果を確立すること、特に低正則性における性質に焦点を当てる。
• 周波数マップの正則性および連続性の性質を分析することで、可積分PDEにおける摂動論の厳密な基礎を提供すること。

提案手法

• 著者らは、Sobolev空間 $ \mathscr{H}_0^s $ から重み付き $ \ell^2 $ 数列空間 $ h_0^{s+1/2} $ への正準変換 $ \Phi $ を導入し、Birkhoff座標において方程式を線形化する。
• 周波数マップ $ \omega_n^{(j)} $ は、作用変数 $ I_n = z_n z_{-n} $ に対するハミルトニアン $ H_j $ の微分として定義され、系のスペクトル解析を可能にする。
• 本手法は $ \Phi $ 及びその逆写像の解析性に依拠しており、これにより周波数マップを分布空間（例：$ \mathscr{H}^{-1} $）へ拡張可能となる。
• 著者らは、定数項、多項式項、減衰項を含む和として表される周波数 $ \omega_n^{(j)} $ の新しい公式を導出し、漸近解析を容易にする。
• 周波数マップの正則性を用いて、解写像 $ \mathcal{S} $ の連続性および解析性を確立し、Birkhoff座標における流れ $ \varphi^t(z) = \mathrm{e}^{i\omega_n^\circ t} \mathrm{e}^{i\omega_n^\star t} z_n $ を用いる。
• 解析はシンプレクティック葉 $ \mathscr{H}_c^s $ 上で行われ、特に $ c = 0 $ に注目し、正則性および減衰を制御するための重み付き $ \ell^{\sigma,p} $ 数列空間が用いられる。

実験結果

リサーチクエスチョン

• RQ1 KdVおよびKdV2方程式の周波数マップは、$ s < 0 $ のような低正則性関数空間 $ \mathscr{H}^s $ へ解析的に拡張可能か？
• RQ2 拡張された周波数マップの漸近的性質は何か？ そして、それらはハミルトニアンの凸性にどのように影響するか？
• RQ3 KdV2方程式の解写像は $ \mathscr{H}^s $ で連続的または解析的か？ その性質は正則性指数 $ s $ にどのように依存するか？
• RQ4 KdV2方程式が $ C^0 $-意味で適切から不適切に遷移する正則性の正確な閾値 $ s $ は何か？
• RQ5 周波数マップが定数項、多項式項、減衰項に分解される構造は、解の長期的ダイナミクスおよび安定性にどのように影響するか？

主な発見

• KdV2方程式の周波数マップ $ \omega_n^{(j)} $ は、空間 $ \mathscr{H}^{-1} $ へ解析的に拡張可能であり、低正則性領域における挙動の厳密な研究が可能になる。
• ハミルトニアン $ H_2 $ は作用変数 $ I_n $ に関して実解析的であり、周波数マップの解析的拡張のもとでもその凸性は保たれる。
• KdV2方程式の解写像 $ \mathcal{S} $ は $ s \geq 0 $ に対して $ \mathscr{H}^s $ 上で連続的であり、周波数マップが有界集合上で解析的であれば解析的である。
• KdV2方程式は $ s \geq 0 $ に対して $ \mathscr{H}^s $ で $ C^0 $-適切に定義され、解写像 $ \mathcal{S} $ が連続的かつ群性を満たすためである。
• $ s < 0 $ の場合、KdV2方程式は解写像が連続ですらなく、時間的に局所的にも連続でないという強い意味で不適切である。
• 周波数マップ $ \omega_n^{(j)} $ は、$ \alpha_n $（定数項）、$ \beta_n(z) $（$ n $ に関する多項式項）、$ \rho_n(z) $（減衰項）に分解可能であり、これにより漸近的および正則性解析が可能になる。