[论文解读] 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

一句话总结

本文利用Lyapunov–Schmidt约化方法，对二维湍流中的低能相图发展出一个完整的解析理论，研究能量–Casimir变分问题中的分岔。结果表明，Casimir泛函泰勒展开中四次项系数 $ a_4 $ 的符号决定了相变成连续（二级）或不连续（一级）；当 $ a_4 $ 改变符号时出现三临界点，揭示了先前基于二次Casimir近似的非典型行为。

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).

研究动机与目标

• 发展二维湍流稳态及统计平衡在低能极限下的完整解析相图理论。
• 理解描述稳定稳态和统计平衡的能量–Casimir变分问题中分岔的性质。
• 确定域几何和模型参数（尤其是四次项系数 $ a_4 $）如何影响相变类型（连续与不连续）。
• 证明基于二次Casimir泛函的先前结果在小扰动下非典型且不稳定。
• 确定三临界点出现的条件，该点标志着连续与不连续相变之间的转变。

提出的方法

• 应用Lyapunov–Schmidt约化方法分析低能极限附近能量–Casimir变分问题中的分岔。
• 将Casimir泛函在其最小值处展开为泰勒级数，重点关注控制非线性的四次项系数 $ a_4 $。
• 利用线性化算子 $ J $ 的核与值域的对称性与正交性，将无限维分岔问题约化为标量方程。
• 推导出分岔函数 $ h(A, eta) $ 的显式表达式，表明由 $ a_4 $ 驱动的 $ A $ 的三次非线性项决定了分岔类型。
• 应用经典分岔定理，建立临界点附近解分支的存在性与结构。
• 分析分岔对能量与环流等约束，以及通过本征函数与本征值体现的域几何的依赖性。

实验结果

研究问题

• RQ1 二维湍流平衡态中的相变如何依赖于 $ q $–$ ψ $ 关系的非线性性，特别是通过系数 $ a_4 $？
• RQ2 什么决定了二维湍流中相变为连续（二级）或不连续（一级）？
• RQ3 在何种条件下会出现三临界点，即相变类型从连续转变为不连续？
• RQ4 为何基于二次Casimir泛函的先前分析结果是非典型且在小扰动下不稳定的？
• RQ5 Lyapunov–Schmidt约化方法如何实现对二维湍流中低能相图的完整分类？

主要发现

• Casimir泛函泰勒展开中四次项系数 $ a_4 $ 的符号决定了相变类型：当 $ a_4 < 0 $ 时，出现超临界Pitchfork分岔，导致二级（连续）相变。
• 当 $ a_4 > 0 $ 时，分岔为次临界，导致一级（不连续）相变，且非平凡解分支存在于临界点以下。
• 当 $ a_4 $ 改变符号时出现三临界点，标志着连续与不连续行为之间的转变，是分岔图中的典型特征。
• 分岔结构由约化标量方程 $ h(A, eta) $ 中的三次非线性项主导，且满足 $ ext{sgn}(rac{ ext{d}^3 h}{ ext{d}A^3}(0, eta_c)) = - ext{sgn}(a_4) $，证实了其对 $ a_4 $ 的依赖性。
• 相图对 $ a_4 $ 极其敏感，先前假设二次Casimir泛函的结果是非典型的，因为它们在系统参数的小扰动下无法保持不变。
• 该理论适用于任意域几何及类似于二维Euler方程或斜压准地转方程的模型，因此在地球物理和实验室二维湍流中具有广泛适用性。