[論文レビュー] A complete theory of low-energy phase diagrams for two-dimensional turbulence steady states and equilibria

Marianne Corvellec, Freddy Bouchet|arXiv (Cornell University)|Jul 9, 2012

Fluid Dynamics and Turbulent Flows参考文献 12被引用数 3

ひとこと要約

本稿は、エネルギー–カシミール変分問題における分岐を研究するために、リャプノフ–シュミット還元を用いて、2次元乱流における低エネルギー位相図の完全な解析的理論を構築する。この理論により、カシミール関数のテイラー展開における四次係数 $ a_4 $ の符号が、位相転移が連続的（第二種）か不連続的（第一種）かを決定することが示され、$ a_4 $ が符号を変えると三重点が発生し、従来の二次的カシミール近似では非一般的な振るまいが明らかになる。

ABSTRACT

For the 2D Euler equations and related models of geophysical flows, minima of energy--Casimir variational problems are stable steady states of the equations (Arnol'd theorems). The same variational problems also describe sets of statistical equilibria of the equations. In this paper, we make use of Lyapunov--Schmidt reduction in order to study the bifurcation diagrams for these variational problems, in the limit of small energy or, equivalently, of small departure from quadratic Casimir functionals. We show a generic occurrence of phase transitions, either continuous or discontinuous. We derive the type of phase transitions for any domain geometry and any model analogous to the 2D Euler equations. The bifurcations depend crucially on a_4, the quartic coefficient in the Taylor expansion of the Casimir functional around its minima. Note that a_4 can be related to the fourth moment of the vorticity in the statistical mechanics framework. A tricritical point (bifurcation from a continuous to a discontinuous phase transition) often occurs when a_4 changes sign. The bifurcations depend also on possible constraints on the variational problems (circulation, energy). These results show that the analytical results obtained with quadratic Casimir functionals by several authors are non-generic (not robust to a small change in the parameters).

研究の動機と目的

• 2次元乱流の定常状態および低エネルギー極限における統計的平衡状態の位相図の完全な解析的理論を構築すること。
• エネルギー–カシミール変分問題における分岐の性質を理解すること。この問題は、安定な定常状態および統計的平衡状態を記述する。
• 特に四次係数 $ a_4 $ などのモデルパラメータと領域の幾何構造が、位相転移の種類（連続的対不連続的）に与える影響を特定すること。
• 従来の二次的カシミール関数に基づく結果が、微小な摂動に対して非一様的かつ不安定であることを示すこと。
• 連続的と不連続的位相転移の間を分かつ三重点が発生する条件を同定すること。

提案手法

• エネルギー–カシミール変分問題における分岐を、低エネルギー極限近くで解析するためにリャプノフ–シュミット還元を適用する。
• カシミール関数をその最小値の周りでテイラー展開し、非線形性を支配する主要パラメータとして四次係数 $ a_4 $ に注目する。
• 線形化作用素 $ J $ の核と値域の対称性および直交性の性質を用いて、無限次元の分岐問題をスカラー方程式に還元する。
• 分岐関数 $ h(A, eta) $ の明示的表現を導出し、$ A $ における三次非線形性（$ a_4 $ に起因）が分岐の種類を決定することを示す。
• 古典的分岐定理を適用して、臨界点の近くにおける解分岐の存在と構造を確立する。
• エネルギーと循環の制約、および固有関数と固有値を通じた領域幾何構造の分岐への依存性を分析する。

実験結果

リサーチクエスチョン

• RQ1 2次元乱流平衡状態における位相転移は、$ q $–$ ψ $ 関係の非線形性、特に係数 $ a_4 $ を通じてどのように依存するか？
• RQ2 2次元乱流における位相転移が連続的（第二種）か不連続的（第一種）かを決定するのは何か？
• RQ3 連続的から不連続的へと転移する三重点が発生する条件は何か？
• RQ4 なぜ従来の二次的カシミール関数に基づく解析的結果は、微小な摂動に対して非一様的かつ不安定なのか？
• RQ5 リャプノフ–シュミット還元法は、2次元乱流における低エネルギー位相図の完全分類をどのように可能にするか？

主な発見

• カシミール関数のテイラー展開における四次係数 $ a_4 $ の符号が、位相転移の種類を決定する。$ a_4 < 0 $ の場合、上側分岐型ピッチfork分岐となり、第二種（連続的）位相転移が生じる。
• $ a_4 > 0 $ の場合、分岐は下位分岐型となり、第一種（不連続的）位相転移が生じ、臨界点より低いエネルギー領域でも非自明な解分岐が存在する。
• $ a_4 $ が符号を変えると三重点が発生し、連続的と不連続的挙動の間の遷移を示し、分岐図において一般的な特徴である。
• 分岐構造は、還元されたスカラー方程式 $ h(A, eta) $ における三次非線形性によって支配され、$ \text{sgn}\left(\frac{\text{d}^3 h}{\text{d}A^3}(0, \beta_c)\right) = -\text{sgn}(a_4) $ が成り立ち、$ a_4 $ 依存性が裏付けられる。
• 位相図は $ a_4 $ に極めて敏感であり、従来の二次的カシミール関数を仮定した結果は非一様的である。これは、システムパラメータの微小な摂動に対しても成立しない。
• 理論は任意の領域幾何構造および2次元エーラー方程式や斜圧準地軸的流体方程式に類似したモデルに一般に適用可能であり、地球物理学的および実験的2次元乱流において広く関連性を持つ。