[論文レビュー] Lipschitz metric for the two-component Camassa--Holm system

Katrin Grunert, Helge Holden+1 more|arXiv (Cornell University)|Jun 28, 2013

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

ひとこと要約

本稿では、実数直線上の2成分Camassa-Holm系の保存的解に対して、漸近的消滅を伴う境界条件のもとで、ラグランジュ座標と累積測度によるエネルギー追跡を用いてリプシッツ距離を構築する。主な結果は、リプシッツ安定性の評価であり、解間の距離は時間に対して線形にしか増大しない。定数は初期エネルギーの上限と時間区間にのみ依存し、初期データに対する連続的依存性が、エネルギー保存型の枠組みで強く保証される。

ABSTRACT

We construct a Lipschitz metric for conservative solutions of the Cauchy problem on the line for the two-component Camassa--Holm system $u_t-u_{txx}+3uu_x-2u_xu_{xx}-uu_{xxx}+ρρ_x=0$, and $ρ_t+(uρ)_x=0$ with given initial data $(u_0, ρ_0)$. The Lipschitz metric $d_{\D^M}$ has the property that for two solutions $z(t)=(u(t),ρ(t),μ_t)$ and $ ilde z(t)=( ilde u(t), ilde ρ(t), ilde μ_t)$ of the system we have $d_{\D^M}(z(t), ilde z(t))\le C_{M,T} d_{\D^M}(z_0, ilde z_0)$ for $t\in[0,T]$. Here the measure $μ_t$ is such that its absolutely continuous part equals the energy $(u^2+u_x^2+ρ^2)(t)dx$, and the solutions are restricted to a ball of radius $M$.

研究の動機と目的

• 実数直線上の2成分Camassa-Holm系の保存的解に対して、漸近的消滅を伴う境界条件のもとで、リプシッツ連続な距離を確立すること。
• 距離が解の時間発展を制御でき、エネルギー保存を保ち、安定性解析を可能にすること。
• ラグランジュ座標とエネルギーに基づく測度を組み合わせることで、周期的解から減衰する解へのリプシッツ距離の枠組みの拡張を図ること。
• 長時間挙動の解析、数値スキーム、初期データの摂動に対する感度の解析に耐えうる強固な解析的ツールを提供すること。

提案手法

• 特徴曲線を用いてEuler形式の系をラグランジュ座標に変換し、正則性を向上させ、粒子の軌道を追跡する。
• エネルギー分布を符号化し、波の崩壊時における全エネルギー保存を保つために、累積エネルギー測度 $ H(t,\xi) $ を導入する。
• エネルギーが有界な初期データの空間 $ \mathcal{D}^M $ に対して、ラグランジュ変数における上昇表現を用いて距離 $ d_{\mathcal{D}^M} $ を定義する。
• 解の空間上で半群 $ T_t $ を構成し、近似の連鎖と再ラベル化不変性を用いてそのリプシッツ連続性を証明する。
• 近似列 $ X_n $、再ラベル化写像 $ f_n $、中間状態の有限鎖を用いて、発展した解間の距離を評価する。
• 再ラベル化不変性と半群の等変性を活用し、定数 $ C_{M,T} $ を持つ最終的なリプシッツ評価を導出する。

実験結果

リサーチクエスチョン

• RQ1 実数直線上の2成分Camassa-Holm系の保存的解に対して、漸近的消滅を伴う境界条件のもとで、リプシッツ距離を構築できるか？
• RQ2 エネルギー保存と波の崩壊を、初期データに対する連続的依存性を保証する距離にどのように組み込むことができるか？
• RQ3 エネルギー集中と粒子の再ラベル化を考慮した距離のもとで、解の半群が時間に関してリプシッツ連続であるか？
• RQ4 周期的解に対して用いられたアプローチを、ラグランジュ座標と累積エネルギー測度を用いて、減衰する場合に適応可能か？

主な発見

• 漸近的消滅を伴う $ \mathbb{R} $ 上の2成分Camassa-Holm系の保存的解に対して、リプシッツ距離 $ d_{\mathcal{D}^M} $ が構築された。
• この距離により、2つの解間の距離が時間に対して線形にしか増大しないことが保証される：$ d_{\mathcal{D}^M}(T_t z_0, T_t \tilde{z}_0) \leq C_{M,T} d_{\mathcal{D}^M}(z_0, \tilde{z}_0) $（$ t \in [0,T] $ に対して）。
• 定数 $ C_{M,T} $ は初期エネルギーの上限 $ M $ と時間区間 $ T $ のみに依存し、それ以上の初期データの性質には依存しない。
• この構成は、ラグランジュ座標とエネルギー集中の追跡に用いられる累積エネルギー測度 $ H(t,\xi) $ に依存している。
• 距離は適切に定義されており、再ラベル化に対して不変であるため、粒子軌道の再パrameterizationに対して頑健である。
• 本結果は、エネルギー保存と波の崩壊を伴う系における数値スキームの解析や感度の評価の基盤を提供する。