[論文レビュー] Geometric Hydrodynamics of Compressible Fluids

Boris Khesin, Gerard Misiołek+1 more|arXiv (Cornell University)|Jan 5, 2020

Geometric Analysis and Curvature Flows参考文献 33被引用数 7

ひとこと要約

この論文は、幾何学的力学を用いて、可縮性流体力学および関連する系を、微分同相群と確率密度の空間という無限次元多様体上のニュートン方程式として定式化する。ポテンシャルエネルギーをラグランジアン枠組みに組み込むことで、マデルング変換とハミルトニアン還元を用いて、可縮性流体、磁気流体力学、浅水域方程式、フィッシャー情報幾何学を統一し、多様な流体力学的系の間の深い構造的関係を明らかにする。

ABSTRACT

We develop a geometric framework for Newton's equations on infinite-dimensional configuration spaces to describe numerous fluid dynamical equations. According to V. Arnold, the Euler equations of an incompressible fluid define a geodesic flow on the group of volume-preserving diffeomorphisms of a compact manifold. It turns out that a much greater variety of hydrodynamical systems can be viewed as Newton's equations (adding a potential energy to the kinetic energy Lagrangian) on the group of all diffeomorphisms and the space of smooth probability densities. This framework encompasses compressible fluid dynamics, shallow water equations, Fisher information geometry, compressible and incompressible magnetohydrodynamics and can be adapted to include relativistic fluids and the infinite-dimensional Neumann problem. Relations between these diverse systems are described using the Madelung transform and the formalism of Hamiltonian and Poisson reduction.

研究の動機と目的

• 可縮性流体の流れのV. アーノルドによる幾何的定式化を、可縮性および関連する流体系へと拡張すること。
• 可縮性流体、浅水域、MHDといった多様な流体力学的方程式を、一つの幾何的枠組みで統一すること。
• マデルング変換とハミルトニアン／ポアソン還元技術を用いて、これらの系の間の関係を確立すること。
• 相対論的流体および無限次元ネウマン問題を含むように、この枠組みを一般化すること。

提案手法

• 微分同相群と滑らかな確率密度の空間という配置空間上で、流体力学をニュートン方程式として定式化すること。
• これらの配置空間上で運動エネルギーとポテンシャルエネルギーの項を含むラグランジアンを構築すること。
• マデルング変換を用いて、幾何的定式化と量子的類似系および情報幾何学的構造との関係を明らかにすること。
• ハミルトニアンおよびポアソン還元を用いて、異なる流体系間の運動方程式を導出し、関係づけること。
• 無限次元リーマン幾何学の形式的枠組みを用いて、微分同相群上の測地線流れを記述すること。
• 適切な幾何的制約を用いて、相対論的流体およびネウマン問題を含むように、この枠組みを拡張すること。

実験結果

リサーチクエスチョン

• RQ1 可縮性流体力学は、どのようないンフィニット次元多様体上の測地線流れとして記述できるか？
• RQ2 可縮性流体、浅水域、磁気流体力学の間の接続を裏付ける幾何的構造は何か？
• RQ3 マデルング変換は、幾何的定式化と情報幾何学、量子的類似系をどのように統一するか？
• RQ4 ハミルトニアンおよびポアソン還元技術は、多様な流体力学的方程式の間の構造的関係をどのように明らかにするか？
• RQ5 幾何的枠組みは、相対論的流体および境界値問題（例：ネウマン問題）を含むように拡張可能か？

主な発見

• 可縮性流体のオイラー方程式は、運動エネルギーラグランジアンから導かれる特定のリーマン計量を備えた微分同相群上の測地線流れとして生じる。
• この枠組みは、微分同相群と確率密度の上での共通の幾何的構造を通じて、可縮性および非可縮性流体、浅水域、磁気流体力学を統一する。
• マデルング変換は、幾何的定式化とフィッシャー情報幾何学の間の橋渡しをし、隠れた対称性と双対性を明らかにする。
• ハミルトニアンおよびポアソン還元技術は、異なる流体系間の運動方程式を体系的に関係づけ、それらの共通する幾何的起源を明確にする。
• この形式的枠組みは、相対論的流体および無限次元ネウマン問題へ自然に拡張可能であり、広範な適用可能性を示している。