[論文レビュー] Optimal Control of Ideal Fluids by Metamorphosis

Darryl D. Holm|arXiv (Cornell University)|Apr 28, 2009

Elasticity and Material Modeling被引用数 1

ひとこと要約

本稿では、画像登録における変容フレームワークが、ラグランジュ粒子がエーラー流線に従わない場合でも、非圧縮性理想流体のオイラー方程式を誘導することを示している。主な洞察は、流体圧力のゲージ自由度と再ラベル化対称性であり、これらは最適制御と最適化の定式化を同じ流体力学に統合し、SO(N) 刚体運動に対しても類似の結果をもたらす。

ABSTRACT

An optimization method used in image-processing (metamorphosis) is found to imply Euler's equations for incompressible flow of an inviscid fluid, without requiring that the Lagrangian particle labels exactly follow the flow lines of the Eulerian velocity vector field. Thus, an optimal control problem and an optimization problem for incompressible ideal fluid flow both yield the \emph {same} Euler fluid equations, although their Lagrangian parcel dynamics are \emph{different}. This is a result of the \emph{gauge freedom} in the definition of the fluid pressure for an incompressible flow, in combination with the symmetry of fluid dynamics under relabeling of their Lagrangian coordinates. Similar ideas are also illustrated for SO(N) rigid body motion.

研究の動機と目的

• 画像登録における変容と流体力学の関係を調査すること。
• 流体の最適制御と変容による最適化が、同じ運動方程式をもたらすかどうかを検討すること。
• ゲージ自由度と再ラベル化対称性が、流体力学の異なる定式化を統合する役割を特定すること。
• 関連する系としての SO(N) 剛体運動への分析を拡張すること。

提案手法

• 画像処理における変容フレームワークを流体力学に適応し、流体パラセルを変形と速度を伴う時間発展的対象として扱う。
• 粒子の軌道がエーラー流速場と一致するように制約を課さずに、変容設定における変分原理からオイラー方程式を導出する。
• 流体圧力におけるゲージ自由度を活用して、異なる変分定式化の間の同等性を示す。
• ラグランジュ座標の再ラベル化に対する対称性原理を適用し、得られる流体方程式における不変性を示す。
• 形式的体系を SO(N) 剛体運動に拡張し、より広範な適用可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 画像登録における変容フレームワークは、非圧縮性理想流体のオイラー方程式を生成できるか？
• RQ2 最適制御と変容による最適化は、異なるラグランジュ力学を持つにもかかわらず、なぜ同じ流体方程式をもたらすのか？
• RQ3 流体圧力におけるゲージ自由度がこの同等性を可能にする役割は何か？
• RQ4 ラグランジュ座標の再ラベル化対称性が、得られる流体力学的挙動に与える影響は何か？
• RQ5 同じ統一的原理は、剛体運動などの他の力学系にも適用可能か？

主な発見

• ラグランジュ粒子がエーラー流線に従わない場合でも、変容フレームワークは非圧縮性理想流体のオイラー方程式を生成する。
• 最適制御と最適化の定式化の同等性は、流体圧力におけるゲージ自由度と再ラベル化対称性に起因する。
• 流体力学と SO(N) 剛体運動の両者に共通する数学的構造があり、より広範な原理を示唆している。
• 非圧縮性流体の流れにおいて、圧力は速度場によって一意に決定されないため、複数の整合的定式化が可能である。
• 結果として、変分原理と対称性を通じて、画像登録と流体力学の間に深い関係が明らかになった。