[论文解读] An example elucidating the mathematical situation in the statistical non-uniqueness problem of turbulence

Michael Frewer|arXiv (Cornell University)|Aug 27, 2015

Fluid Dynamics and Turbulent Flows参考文献 26被引用 7

一句话总结

本文表明，纳维-斯托克斯湍流中的无限弗里德曼-凯勒多点相关方程层级由于其前向递归结构，即使在形式上考虑所有方程时，也缺乏唯一的一般解。通过使用低维常微分方程类比和李群不变性分析，本文证明该系统存在无穷多组与任意初始条件相容的函数上不同的等价变换，导致不变解在无额外建模假设下为任意且非唯一。

ABSTRACT

An instructive example is presented to elucidate the mathematical situation in the non-uniqueness problem of the infinite Friedmann-Keller hierarchy of equations for all multi-point moments within the theory of spatially unbounded Navier-Stokes turbulence. It is shown that the non-uniqueness problem of the Friedmann-Keller hierarchy emerges from the property that the system of equations is defined forward recursively. As a result, this system does not possess a unique general solution, even when the complete infinite system is formally considered. That is, even when imposing a sufficient number of initial conditions to this infinite system, it still does not provide a unique solution. This finding is supported by a Lie-group invariance analysis, in that the imposed example analogous to the Friedmann-Keller hierarchy admits an unclosed Lie algebra which allows for infinitely many functionally different equivalence transformations which all can be made compatible with any specifically chosen initial condition. Hence, if no prior modelling assumptions are made to close the Friedmann-Keller system of equations, the existence of an invariant solution within such a forward recursively defined system is then without value, since it just represents an arbitrary solution among infinitely many other, equally privileged invariant solutions.

研究动机与目标

• 探究湍流多点相关方程无限弗里德曼-凯勒层级中非唯一性的数学根源。
• 证明即使在形式上包含所有无穷多条方程及初始条件时，由于其前向递归结构，系统仍处于欠定状态。
• 表明李群不变性分析揭示了一个未闭合的代数，导致与任意初始条件相容的无穷多组等价变换。
• 阐明此类系统中不变解并非物理上优先，因为它们只是无穷多组同样有效的解中的一种。
• 确立非唯一性问题本质上源于层级的前向递归排序，而非截断或数值近似的结果。

提出的方法

• 构建弗里德曼-凯勒层级的低维常微分方程类比，以隔离并分析核心数学问题。
• 通过在x上对更高阶PDE（u_t = u_xx - λx²u）进行矩生成和积分，推导出耦合常微分方程的无限系统。
• 通过u_n(0) = ∫xⁿφ(x)dx定义柯西问题，其中φ(x)为归一化的初始函数，以施加初始条件。
• 对常微分方程系统应用李群不变性分析，识别出对称性作为等价变换，源于系统的未闭合性质。
• 证明系统的前向递归结构（每个方程依赖于更高阶矩）阻止了唯一解的确定。
• 利用横场表示法和极限过程（如x_{n+1} → x_k）定义低维矩和压强-速度相关性，同时保持层级结构的完整性。

实验结果

研究问题

• RQ1 为何即使形式上包含所有方程，湍流多点相关方程的无限弗里德曼-凯勒层级仍无法产生唯一解？
• RQ2 在矩层级框架下，湍流统计描述中非唯一性的数学根源是什么？
• RQ3 矩方程的前向递归排序（高阶矩仅在后续方程中出现）如何导致非唯一性？
• RQ4 李群不变性分析能否揭示弗里德曼-凯勒层级等未闭合系统中的结构性缺陷？
• RQ5 在存在无穷多组函数上不同的解的情况下，为何此类系统中的不变解并非具有物理意义？

主要发现

• 由于其前向递归结构，无限弗里德曼-凯勒层级本质上是非唯一的，即使在形式上考虑所有方程，也不存在唯一的一般解。
• 即使具备完整的初始条件集合，系统仍处于欠定状态，因为前向递归性质允许存在无穷多组函数上不同的解。
• 李群不变性分析揭示了一个未闭合的李代数，导致与任意给定初始条件相容的无穷多组等价变换。
• 因此，不变解的存在并无物理价值，因为它们只是无穷多组同样有效解中的一种。
• 非唯一性问题并非源于截断或数值近似，而是根本性地源于矩层级的前向递归排序。
• 若采用后向递归排序，将可消除非唯一性问题，从而确认问题仅存在于递归方向本身。