[論文レビュー] On the bi-Hamiltonian structures of the Camassa-Holm and Harry Dym equations

Paolo Lorenzoni, Marco Pedroni|ArXiv.org|Jul 26, 2004

Advanced Topics in Algebra被引用数 4

ひとこと要約

この論文は、$\mathfrak{sl}(2,\mathbb{R})$ のループ代数上の普遍的なポアソン対から、カマッサ＝ホルム（CH）方程式およびハリー＝ダイム（HD）方程式の双ハミルトニアン構造が生じることを示している。定数行列 $A$ の異なる共役類を選択することで、還元により三つの異なる還元構造が得られ、それぞれCHに対応するもの、HDに対応するもの、および座標変換の下でHDと同値な第三の構造が得られ、これらが一様な幾何的枠組みの中で統一的に起源をもつことを明らかにしている。

ABSTRACT

We show that the bi-Hamiltonian structures of the Camassa-Holm and Harry Dym hierarchies can be obtained by applying a reduction process to a simple Poisson pair defined on the loop algebra of $\mathfrak{sl}(2,\mathbb{R})$. The reduction process is a bi-Hamiltonian reduction, that can be canonically performed on every bi-Hamiltonian manifold.

研究の動機と目的

• カマッサ＝ホルム方程式およびハリー＝ダイム方程式の双ハミルトニアン構造の統一的な幾何的起源を確立すること。
• これらの構造が、$C^\infty(S^1, \mathfrak{sl}(2,\mathbb{R}))$ 上に定義された普遍的なポアソン対に対する標準的な双ハミルトニアン還元プロセスを通じて生じることを示すこと。
• 還元機構とそれらのヴァイラソロ共随伴軌道への共通の関係を通じて、CH、HD、およびハナーター＝サクストン方程式の関係を明確にすること。
• 還元プロセスにおける行列 $A$ の異なる選択に対応する、還元されたポアソンテンソルの体系的構成を提供すること。
• 同じ還元枠組みを用いてCHおよびHD階層の2場変数拡張を構成する可能性を示唆すること。

提案手法

• 著者たちは、円周から $\mathfrak{sl}(2,\mathbb{R})$ への滑らかな写像の空間上に定義されたポアソン対 $P_{(\lambda)} = P_2 + \lambda P_1 = \partial_x + [\cdot, A] + \lambda[\cdot, S]$ に対して、マーライン＝ラティウの双ハミルトニアン還元手順を適用する。
• 第一のポアソンテンソル $P_1$ のシンプレクティック葉 $\mathcal{S}$ を特定し、その上に分布 $D = P_2(\ker P_1)$ が不変であることを確認することで、商多様体 $\mathcal{N} = \mathcal{S}/E$（$E = D \cap T\mathcal{S}$）への還元が可能となる。
• 局所的に商 $\mathcal{N}$ を実現するための横断的多様体 $\mathcal{Q} \subset \mathcal{S}$ を構成し、余微分および押し出し操作を用いて還元されたポアソンテンソルの明示的計算を可能にする。
• 三つの場合について還元されたポアソン構造を明示的に計算する：$\operatorname{rank}(A) = 2$（CH を得る）、$\operatorname{rank}(A) = 1$（HD を得る）、$A = 0$（座標変換の下でHDと同値な構造をもたらす）。
• 変数変換における微分作用素の変換則を用いて、$A=0$ の場合が $u = p_x$ の変数で標準的なHDの双ハミルトニアン構造をもたらすことを確認する。
• この手法は、初期のポアソン対の整合性と分布 $D$ の可積分性に依存しており、これにより還元構造が双ハミルトニアン形式を保つことが保証される。

実験結果

リサーチクエスチョン

• RQ1 カマッサ＝ホルム方程式およびハリー＝ダイム方程式の双ハミルトニアン構造は、ループ代数上の普遍的なポアソン対から導出可能か？
• RQ2 ポアソン対 $P_{(\lambda)} = \partial_x + [\cdot, A] + \lambda[\cdot, S]$ の行列 $A$ の選択が、得られる還元された双ハミルトニアン構造にどのように影響するか？
• RQ3 CH、HD、HS方程式を双ハミルトニアン還元の枠組みの中で統一する幾何的・代数的メカニズムは何か？
• RQ4 $A=0$ からの還元で得られるHD構造は、変数変換の下で標準的なHD双ハミルトニアン構造と同値か？
• RQ5 この還元手順を、CHおよびHD階層の2場変数一般化を構成するために拡張可能か？

主な発見

• 行列 $A$ のランクが 2 のとき、カマッサ＝ホルムの双ハミルトニアン構造が得られ、ポアソン対は $P_1^{\text{rd}} = 2(2q\partial_x + q_x)$ および $P_2^{\text{rd}} = 2(-\partial_x^3 + \partial_x)$ となり、$q = m = u - u_{xx}$ である。方程式 $m_t = -2mu_x - m_x u$ はハミルトニアン流れとして回復される。
• 行列 $A$ のランクが 1 のとき、特に $A = \begin{pmatrix}0&0\\1&0\end{pmatrix}$ の場合、ハリー＝ダイムの双ハミルトニアン構造が得られ、$P_1^{\text{rd}} = 2q\partial_x + q_x$ および $P_2^{\text{rd}} = -\frac{1}{2}\partial_x^3$ となる。ここで $q = u$ であり、方程式 $u_t = (u^{-1/2})_{xxx}$ がハミルトニアン発展として実現される。
• $A = 0$ のとき、還元によりポアソン対 $P_1^{\text{rd}} = -2(\partial_x^{-1}p_x + p_x\partial_x^{-1})$ および $P_2^{\text{rd}} = \partial_x$ が得られ、変数変換 $u = p_x$ の下で標準的なHD双ハミルトニアン構造と同値である。
• 三つの場合すべてにおいて還元プロセスが一貫しており、還元されたポアソンテンソルの構造が $A$ の共役類にのみ依存することから、CHおよびHD構造の統一的起源が明確に示された。
• 結果は、CH、HD、およびハナーター＝サクストン方程式の間のより深い関係を確認しており、$A$ の異なる選択に対して同じ還元機構を適用することで三つすべてが得られ、ヴァイラソロ軌道分類およびケシン＝ミシオレックの幾何的解釈と整合している。
• この枠組みは、元のポアソン対の高次元シンプレクティック葉に還元を上げることで、CHおよびHD階層の2場変数拡張を自然に構成する道筋を示唆している。