[論文レビュー] Generalized Hunter-Saxton equation and the geometry of the group of circle diffeomorphisms

Boris Khesin, Jonatan Lenells+1 more|ArXiv.org|Mar 20, 2008

Nonlinear Waves and Solitons参考文献 21被引用数 9

ひとこと要約

本稿では、平均と微分項を組み合わせた右不変Sobolevノルムを備えた微分同相群の上での測地線流として、一般化されたハンター＝サクストン（μHS）方程式を導入する。この方程式のバイハミルトニアン構造を確立し、局所的良設定性と有限時間内での崩壊を証明し、滑らかでない波形を有する周期的移動波解を同定する。Virasoro代数および球体バンドル幾何学に根ざした独自の幾何学的・動的特徴により、KdV、CH、HS方程式とは区別される。

ABSTRACT

We study an equation lying `mid-way' between the periodic Hunter-Saxton and Camassa-Holm equations, and which describes evolution of rotators in liquid crystals with external magnetic field and self-interaction. We prove that it is an Euler equation on the diffeomorphism group of the circle corresponding to a natural right-invariant Sobolev metric. We show that the equation is bihamiltonian and admits both cusped, as well as smooth, traveling-wave solutions which are natural candidates for solitons. We also prove that it is locally well-posed and establish results on the lifespan of its solutions. Throughout the paper we argue that despite similarities to the KdV, CH and HS equations, the new equation manifests several distinctive features that set it apart from the other three.

研究の動機と目的

• 平均と微分項を含む右不変Sobolev計量を備えた円周の微分同相群上でのEuler方程式としてμHS方程式を確立すること。
• μHS方程式が液体結晶の自己相互作用および外部磁場をモデル化する変分原理から自然に導かれるようにすること。
• μHS方程式がバイハミルトニアンであり、無限個の保存則の階層を有することを証明し、可積分系理論と結びつけること。
• 周期的初期値問題の文脈において、古典解の存在、一意性、および崩壊の解析を行うこと。
• 移動波解を分類し、滑らかでない周期的波形と滑らかな周期的波形を自然なソリトン候補として同定すること。

提案手法

• 右不変計量 ⟨u,v⟩ = μ(u)μ(v) + ∫uₓvₓdx により定義される、向きを保つ円周の微分同相群上の測地線方程式としてμHS方程式を導出する。
• Virasoro代数の双対空間上に二つのポアソン括弧を用いて、方程式のバイハミルトニアン構造を確立する：一つはLie-Poisson括弧、もう一つは(0,1)における凍結ポアソン括弧。
• 周期的初期値問題の文脈において、エネルギー推定とSobolev埋め込み定理を用いて局所的良設定性と解の保存性を証明する。
• PDEを円周上での常微分方程式に還元することで移動波解を解析し、滑らかでない周期的波形と滑らかな周期的波形を同定する。
• Virasoro双対上の共役作用を用いてハミルトニアン形式を導出し、変分導関数とポアソン括弧を用いてバイハミルトニアン構造を検証する。
• μHS方程式の幾何的構造を無限次元のHopfファイブレーションに関連づけ、微分同相群をL²(S¹)上の単位球面上のS¹バンドルとして解釈する。

実験結果

リサーチクエスチョン

• RQ1 μHS方程式は、特定の右不変計量を備えた円周の微分同相群上での測地線流としてどのように導かれるか？
• RQ2 μHS方程式のバイハミルトニアン構造は何か？ そしてKdV、Camassa-Holm、Hunter-Saxton方程式とどのように関係するか？
• RQ3 移動波解の性質（滑らかさ、尖鋭的挙動）は何か？ 他の可積分系におけるソリトンと比較するとどうなるか？
• RQ4 古典解が有限時間内に崩壊するか、あるいは無限に続く条件は何か？
• RQ5 KdV、CH、HS方程式と類似したバイハミルトニアン構造を持つにもかかわらず、μHS方程式は幾何学的・動的側面でどのように異なるか？

主な発見

• μHS方程式は、平均とH¹半ノルムを含む右不変計量を備えた円周の微分同相群上での測地線方程式として、その幾何的起源を明確に確立する。
• 方程式は二つのポアソン構造（一つはLie-Poisson、もう一つは(0,1)における凍結ポアソン括弧）を持つバイハミルトニアンであり、可積分性と無限個の保存則の階層を確認する。
• Sobolev空間H^s（s > 3/2）において局所的良設定であり、角運動量密度が非負である解については大域的存続性が証明される。
• 勾配∇uが非有界に発散するため、滑らかな初期データに対しても、μ(u)を含む非線形結合の影響で古典解が有限時間内に崩壊する。
• 滑らかな周期的移動波解と尖鋭的周期的移動波解の両方が存在し、後者はμ(u)を含む非局所項に起因する。これはCHやHS方程式におけるピークオン解とは明確に区別される。
• KdVと同一のポアソンペアを持つが、Lenard-MagriスキームにおけるCasimir関数の選択が異なるため、μHS方程式はKdVと同値ではなく、独自の可積分構造を有することが確認される。