[论文解读] Spatial symmetry invariance of solution of Kolmogorov flow

Shijun Liao|arXiv (Cornell University)|Feb 25, 2026

Navier-Stokes equation solutions被引用 0

一句话总结

该论文证明在具有周期边界的二维 Kolmogorov 流中，解在所有 t>0 时保持与初始条件相同的空间对称性，并在附录中将结果推广到三维 Navier–Stokes 方程。

ABSTRACT

We prove a mathematical theorem that solution for all $t > 0$ of the two-dimensional (2D) Kolmogorov flow governed by Navier-Stokes (NS) equations with periodic boundary condition keeps the same spatial symmetry as its smooth initial condition. This mathematical theorem can be used to check the correctness and reliability of numerical simulations of NS turbulence. For example, it supports the corresponding CNS (clean numerical simulation) results of the 2D turbulent Kolmogorov flow [1,2] that remain the same spatial symmetry in the whole time interval of simulation, but does not support the corresponding DNS (direct numerical simulation) results that lose the spatial symmetry quickly. In other words, these DNS results violate this mathematical theorem. Thus, this mathematical theorem rigorously confirms that the spatiotemporal trajectories of NS turbulence given by DNS are indeed quickly polluted by numerical noises badly. It also illustrates that CNS can provide helpful enlightenments to deepen our understanding about turbulence and besides approach some mathematical truths about NS equations.

研究动机与目标

• 提出并建立一个数学定理：二维 Kolmogorov 流的解在所有 t>0 时保持初始的空间对称性。
• 演示该定理如何用于评估 NS 湍流数值模拟的可靠性。
• 给出附录，将结果推广到三维不可压 Navier–Stokes 方程。

提出的方法

• 在一个正方形区域内，给出带 Kolmogorov 力的二维不可压 Kolmogorov 流并施加周期边界条件。
• 对具有旋转和/或平移对称性的光滑初始条件进行假设，并将解在时间上展开成泰勒级数。
• 推导并比较在对称变换下泰勒系数的演化方程。
• 通过对泰勒阶数的归纳证明，所有时间导数继承与初始数据相同的空间对称性（引理 2）。
• 证明对在泰勒级数收敛的任意 t0 的邻域内对称性仍然成立（引理 3），并推广到所有 t>0（主定理）。
• 附录将该思路推广至三维不可压 Navier–Stokes 方程。

实验结果

研究问题

• RQ1 在周期边界条件下，二维 Kolmogorov 流是否能在所有时刻保持初始的空间对称性？
• RQ2 是否可以通过形式化的泰勒级数论证将对称性保持性推广至三维不可压 Navier–Stokes 方程？
• RQ3 对称性保持性如何作为 CNS 与 DNS 湍流模拟可靠性检查的依据？

主要发现

• 一个数学定理表明二维 Kolmogorov 流的精确解在所有 t>0 时保持与初始条件相同的空间对称性。
• 证明使用时间泰勒级数展开，并通过所有导数的递归对称性保持（引理 1–3）。
• 符合对称性要求的数值模拟（CNS）与定理一致，而引入破坏对称性的噪声（DNS）可能偏离精确解。
• 附录给出三维不可压 Navier–Stokes 方程的类似定理，将结果从二维推广到三维。