[論文レビュー] Momentum Maps and Measure-valued Solutions (Peakons, Filaments and Sheets) for the EPDiff Equation

Darryl D. Holm, Jerrold E. Marsden|ArXiv.org|Dec 19, 2003

Nonlinear Waves and Solitons被引用数 10

ひとこと要約

この論文は、EPDiff方程式の測度値解（ピークオン、フィラメント、シートなど）が、H¹計量を備えた微分同相群上の測地線運動の文脈において、自然にモーメントマップとして生じることを確立している。主な貢献は、これらの特異解がモーメントマップによって生成されることを示したことであり、これにより幾何的構造が与えられ、それらのソリトン様の振る舞いや衝突における可逆性が説明される。

ABSTRACT

We study the dynamics of measure-valued solutions of what we call the EPDiff equations, standing for the {\it Euler-Poincaré equations associated with the diffeomorphism group (of $\mathbb{R}^n$ or an $n$-dimensional manifold $M$)}. Our main focus will be on the case of quadratic Lagrangians; that is, on geodesic motion on the diffeomorphism group with respect to the right invariant Sobolev $H^1$ metric. The corresponding Euler-Poincaré (EP) equations are the EPDiff equations, which coincide with the averaged template matching equations (ATME) from computer vision and agree with the Camassa-Holm (CH) equations in one dimension. The corresponding equations for the volume preserving diffeomorphism group are the well-known LAE (Lagrangian averaged Euler) equations for incompressible fluids. We first show that the EPDiff equations are generated by a smooth vector field on the diffeomorphism group for sufficiently smooth solutions. This is analogous to known results for incompressible fluids--both the Euler equations and the LAE equations--and it shows that for sufficiently smooth solutions, the equations are well-posed for short time. In fact, numerical evidence suggests that, as time progresses, these smooth solutions break up into singular solutions which, at least in one dimension, exhibit soliton behavior. With regard to these non-smooth solutions, we study measure-valued solutions that generalize to higher dimensions the peakon solutions of the (CH) equation in one dimension. One of the main purposes of this paper is to show that many of the properties of these measure-valued solutions may be understood through the fact that their solution ansatz is a momentum map. Some additional geometry is also pointed out, for example, that this momentum map is one leg of a natural dual pair.

研究の動機と目的

• EPDiff方程式における特異解の幾何学的および力学的構造、特に高次元における理解を図ること。
• 測度値解（例：ピークオン、フィラメント、シート）が、微分同相群上の測地線流れの文脈でモーメントマップとして生じることを確立すること。
• モーメントマップ構造が、特異EPDiff解におけるソリトン様の振る舞いや衝突の可逆性を説明することを示すこと。
• 滑らかな解（H^sにおける適切な定義）についての既知の結果を、モーメントマップ形式を用いて特異的・測度値解へと拡張すること。
• EPDiff特異解と画像処理への応用、特にテンプレートマッチングおよび形状ダイナミクスとの関係を探索すること。

提案手法

• 右不変H¹計量を備えた微分同相群上の測地線運動としてEPDiff方程式を定式化すること。
• Euler-Poincaré理論を用いて、ベクトル場のリー代数上のラグランジアンからEPDiff方程式を導出すること。
• 微分同相群が測度に作用する際に関連するモーメントマップを特定し、特異解を生成すること。
• モーメントマップが自然な双対対の一端であることを示し、解の構造に対する幾何的洞察を提供すること。
• 数値シミュレーション（例：ミメティック有限差分法）を用いて、特異解の衝突の可逆性や再結合を観測すること。
• テンプレートマッチングにおいて、特異解が画像の輪郭を表すことを踏まえ、モーメントマップ形式と画像処理を結びつけること。

実験結果

リサーチクエスチョン

• RQ1 ピークオン、フィラメント、シートなどのEPDiff方程式の特異解は、どのように幾何的原則から体系的に導出可能か？
• RQ2 モーメントマップは、EPDiff方程式の測度値解の生成と組織化において果たす役割は何か？
• RQ3 なぜEPDiffの特異解は衝突において可逆的であり、これは散乱流体ショックとはどのように異なるか？
• RQ4 モーメントマップ形式は、リーマン多様体や他の対称性群へとどの程度拡張可能か？
• RQ5 EPDiffフローを用いたテンプレートマッチング応用において、モーメントマップ構造はどのように画像の忠実性を保っているか？

主な発見

• EPDiff方程式は、H^s位相において微分同相群上の滑らかなベクトル場によって生成され、滑らかな解について短時間の適切な定義が保証される。
• ピークオン、フィラメント、シートなどの測度値解は、モーメントマップとして生じ、それらの特異的構造に幾何的起源を与える。
• モーメントマップ構造は、特異解のソリトン様の振る舞いや衝突の可逆性を説明しており、散乱流体ショックとは明確に区別される。
• 数値シミュレーションにより、特異解の衝突が可逆的であることが確認された。特に追い越し配置では明確な可逆性が観察されたが、正面衝突では近似的な可逆性が見られた。
• モーメントマップ形式により、画像の輪郭のNソリトン近似がEPDiffフロー下でも有効に保たれ、画像処理における忠実性が維持される。
• モーメントマップは自然な双対対の一端であり、EPDiffの解空間におけるより深い幾何的およびシンプレクティック構造を明らかにする。