[論文レビュー] K"ahler Geometry and the Navier-Stokes Equations

Ian Roulstone, Bertrand Banos+2 more|arXiv (Cornell University)|Sep 9, 2005

Geometry and complex manifolds参考文献 13被引用数 3

ひとこと要約

本稿は、非圧縮性ナビエ＝ストークス流れが、圧縮性制約が圧力ポアソン方程式をマングェ＝アンペール方程式に還元することを示すことによって、ケーラーおよび一般化されたカラビ–ヤウ幾何学とを幾何学的枠組みで結びつける。2次元および2.5次元では、位相空間上にケーラー構造が得られ、3次元ではラプラシアンが負である場合、カラビ–ヤウ構造が出現する。これは、乱流渦動力学が複素幾何的原理によって支配されている可能性を示唆する。

ABSTRACT

We study the Navier-Stokes and Euler equations of incompressible hydrodynamics in two and three spatial dimensions and show how the constraint of incompressiblility leads to equations of Monge--Ampère type for the stream function, when the Laplacian of the pressure is known. In two dimensions a Kähler geometry is described, which is associated with the Monge--Ampère problem. This Kähler structure is then generalised to `two-and-a-half dimensional' flows, of which Burgers' vortex is one example. In three dimensions, we show how a generalized Calabi--Yau structure emerges in a special case.

研究の動機と目的

• 非圧縮性ナビエ＝ストークス乱流において細い渦構造（フィラメントおよびシート）が支配的になる理由を解明すること。
• 非圧縮性制約が流体力学に与える幾何的意味を調査すること。
• ナビエ＝ストークス方程式とケーラーおよびカラビ–ヤウ多様体などの複素幾何学的構造との対応関係を確立すること。
• 非圧縮性のもとで、圧力–ポアソン方程式から自然にマングェ＝アンペール方程式が導かれるのを示すこと。
• ∇²P < 0 のとき、3次元流れにおいて一般化されたカラビ–ヤウ構造が出現することを示すこと。

提案手法

• 非圧縮性ナビエ＝ストークス方程式から、発散がゼロである条件 ∇·u = 0 を用いて圧力ポアソン方程式を導出する。
• 2次元および2.5次元において、ストリーム関数 ψ を導入することで、△ω = 0 の形のマングェ＝アンペール方程式に系を簡略化する。
• ストリーム関数のヘッシアンと標準的シンプレクティック形式 Ω を用いて、T*ℝⁿ の余接 bundle 上にシンプレクティック構造および計量構造を構成する。
• 幾何的不変量（Lychagin–Roubtsov計量 Q、Hitchinテンソル K、Pfaffian λ）を抽出するために、有効形式 ω₀ = ω − ½(⊥ω) ∧ Ω を定義する。
• λ = 128∇²P の符号を用いて、ほぼ複素構造 J = K/√|λ| が存在するかどうかを決定し、∇²P < 0 のときカラビ–ヤウ構造が得られることを示す。
• 複素構造 J の可積分性条件を解析し、∇²P が定数であるとき、J が可積分であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非圧縮性ナビエ＝ストークス流れにおける非圧縮性制約が、ストリーム関数に対してマングェ＝アンペール方程式をどのように導くか。
• RQ2 2次元および2.5次元非圧縮流れにおいて、どのようなケーラー型幾何的構造が生じるか。
• RQ3 特定の条件下で、3次元ナビエ＝ストークス方程式は一般化されたカラビ–ヤウ幾何学と関連づけられるか。
• RQ4 圧力ラプラシアンから導かれる幾何的構造が、可積分なほぼ複素構造を許容する条件は何か。
• RQ5 Lychagin–Roubtsov計量およびHitchin不変量は、流れの幾何的性質を特徴付けるために果たす役割は何か。

主な発見

• 非圧縮性条件 ∇·u = 0 は、圧力ポアソン方程式 −∇²P = uᵢ,ⱼuⱼ,ᵢ を導く。この方程式とストリーム関数を組み合わせることで、実型のマングェ＝アンペール方程式が得られる。
• 2次元および2.5次元では、マングェ＝アンペール方程式は、位相空間上にポテンシャル Φ と ψ のヘッシアンから導かれるシンプレクティック構造を持つケーラー幾何に対応する。
• ベクトルポテンシャルを A = (−ψ, −ψ, −ψ) と特定の選択をした3次元流れでは、圧力ラプラシアン ∇²P がHitchin Pfaffian λ の符号を決定し、λ = 128∇²P となる。
• ∇²P < 0 のとき、テンソル J = K/√|λ| は可積分なほぼ複素構造を定義し、(Q, J) のペアは一般化されたカラビ–ヤウ幾何を実現する。
• Lychagin–Roubtsov計量 Q およびHitchinテンソル K は明示的に計算され、幾何は圧力ヘッシアンとその符号によって完全に決定されることを示している。
• ほぼ複素構造 J は、∇²P が定数である場合に限り可積分であり、これは最大の幾何的対称性を持つ特別なクラスの流れを示している。