跳至正文

湍流大体检——经典物理「最后的未解难题」到底未解在哪

目录

导读 · BRIEF

母问题:湍流号称「经典物理最后的未解难题」。可「未解」到底未解在哪?是方程不对、是没有理论、还是有理论但不严格?本篇把湍流拆成四层逐一过筛——方程 / 标度律 / 闭合 / 跨域类比——分清哪些是实验铁证、哪些是半经验拟合、哪些是漂亮的隐喻外推。

七承重轴:① Navier-Stokes 与千禧难题(方程物理真、三维全局正则性未决) · ② Kolmogorov 1941 与能量级串(5/3 谱与那条唯一精确的 4/5 律) · ③ 间歇性与反常标度(K41 在细节上错了) · ④ 闭合问题(为什么没有第一性原理的湍流理论) · ⑤ Onsager 猜想与凸积分(严格数学的定理角) · ⑥ 类比外推红队(级串去哪儿是真同构、哪儿是隐喻 + 幂律崇拜) · ⑦ 实证支柱 + 机器学习闭合 + 可证伪性。

定调(头儿拍板):地基与前沿并重 · 全开七轴 · 对称双向红队 · 母裁决精化版。

证据档:全篇区分 [文献较稳](可复现实验 / 已证定理)、[理论整合](综述与推断)、[有争议]/[未结案](学派互斥或悬而未决)、[前沿](近十年活跃但未定型)、[需亲核](尚未亲自落到一手原文)、[我们的断言](本篇判断)。脊柱六处亲核(其中 Onsager 1949、Nie-Tanveer 1999 两处从一手 PDF 亲抽文字层)。

去重:本篇与旧线 复杂系统幂律严检、神经标度律、自组织临界(SOC)、无标度网络有交叉,但只在轴六「幂律崇拜红队」处借它们做外推刹车,不重复展开;湍流本体(NS / K41 / 闭合 / Onsager)是新疆域。

可判定性标尺(贯穿全篇):①可复现实验 / 已证定理 ＞ ②证据偏向但未定论 ＞ ③学派互斥 / 工程选择 ＞ ④哲学外推 / 审美 / 隐喻。

〇 一句话裁决

方程真 · 标度半经验 · 闭合未解 ·(外推)有真有隐喻。 精化三段:

  1. 方程「物理真 · 数学未决」 [文献较稳]。Navier-Stokes 方程是流体的牛顿第二定律,写了一百五十年、每天在每个机翼和每条河里被验证;但三维不可压光滑解是否对所有时间存在,是克雷数学研究所七大千禧难题之一,悬赏一百万美元,至今未决。这是全物理里「未解」地位最硬的一个——它有一道带数学悬赏的精确边界。
  1. 标度「一条精确律 + 一片半经验」 [文献较稳] + [有争议]。从 NS 方程精确导出的非平凡标度关系,实际上只有一条:Kolmogorov 的 4/5 律。最著名的 5/3 能谱极其稳健,但它靠的是量纲分析与自相似假设,不是从 NS 严格推出的;而间歇性进一步证明:K41 的自相似图像在高阶统计上是错的,真实的标度指数偏离 K41 的线性预言,至今没有任何模型把它从 NS 第一性原理导出。
  1. 闭合「无第一性原理理论」 [文献较稳] + [前沿]。雷诺平均后方程永远不闭合(n 阶矩牵出 n+1 阶矩),工程上的 RANS/LES 全是半经验标定、机器学习闭合是数据驱动、DNS 虽第一性原理但被 Re³ 的计算量锁死在有限雷诺数。唯一在严格数学上取得真进展的角落,是 Onsager 1/3 阈值与反常耗散——但那是用凸积分做在无黏 Euler 方程上的、是关于「狂野弱解」的存在性,既不是 Navier-Stokes、也不解决千禧难题。

精华句:湍流这道题的诚实账是——我们有一条从 Navier-Stokes 精确导出的定律(4/5 律),却没有一个从 Navier-Stokes 导出的湍流理论;我们能把「未解」精确到一道有数学悬赏的千禧难题,却连「光滑解会不会在有限时间内爆破」都证不出来。它最不像「经典物理已经完工」的地方,恰恰是它最经典的地方:一个最古老、最实用、最被反复验证的方程,我们至今无法证明它的解不会突然炸掉。说湍流「没有理论」是错的——它有大量可证伪且反复确证的硬物理;说湍流「已被理解」也是错的——它没有封闭的统计理论。两面都得认账。

一 Navier-Stokes 与千禧难题:方程是真的,未解的是数学

方程本身没有疑问。 不可压 Navier-Stokes 方程就是流体微元的牛顿第二定律 f = ma 加上不可压条件,Charles Fefferman 在克雷官方问题陈述里就是这么写的 [文献较稳]。它在工程与物理上极其成功——飞机、管道、天气、洋流,全靠数值求解它。所以这里要分清两个层次:作为连续介质模型,NS 经实验反复验证;作为数学对象,它有一个最基本的问题没有答案。

未解的是什么。 克雷研究所 2000 年设立的七大千禧难题里,「Navier-Stokes existence and smoothness」是其一,悬赏一百万美元,官方陈述由 Fefferman 撰写 [文献较稳](本人核对克雷官页:七难题之一、Fefferman 撰写、连「解是否存在、是否唯一」这种最基本问题都没有证明)。一个关键的精化(轴一 agent 从 Fefferman PDF 抓出、纠正了我草稿里的简化):官方不是「全局光滑 vs 有限时间爆破」简单二选一,而是给出 (A)(B)(C)(D) 四条陈述、只需证明其中任意一条——(A) R³ 上全局光滑解存在 / (B) 周期环面 R³/Z³ 上存在 / (C) R³ 上 breakdown / (D) 环面上 breakdown,均限三维、正黏性。Fefferman 原文:「we ask for a proof of one of the following four statements.」[文献较稳]

已经知道的边界。 这道题不是一片空白,周围有几块硬地基 [文献较稳]:

  • Leray 1934(Acta Mathematica 63, 193–248):三维 NS 全局弱解(Leray-Hopf 弱解)永远存在,但弱解的正则性与唯一性未知。Fefferman 原文背书:「Leray … showed that the Navier–Stokes equations … always have a weak solution … Uniqueness of weak solutions … is not known.」
  • 二维已解,三维才难:二维 NS 的全局光滑唯一解早已确立(Ladyzhenskaya),连更难的二维 Euler 都已知。Fefferman:「the main difficulties are absent in two dimensions」——二维的成功对三维没有任何提示。
  • Caffarelli-Kohn-Nirenberg 1982(Comm. Pure Appl. Math. 35, 771–831):至今最强的部分正则性定理——三维 NS 适当弱解(suitable weak solutions)的奇点集 E 满足一维抛物 Hausdorff 测度 P¹(E)=0,推论是奇点集不可能包含一条时空曲线。注意它只对「适当弱解」这一子类成立,不是任意 Leray-Hopf 弱解。

最近的「障碍」与「擦边」结果(易被误读,必须分清)[前沿]:

  • Tao 2016(J. Amer. Math. Soc. 29, 601–674;arXiv:1402.0290):对一个平均化(averaged)的三维 NS 构造了有限时间爆破的光滑解。它不是真 NS 的爆破,而是一个保持同样能量恒等式的模型——其意义是障碍结果:Tao 原文论证「任何想正面证明三维全局正则性的尝试,都必须利用比能量恒等式与调和分析估计更精细的非线性结构」。换言之,纯能量方法注定不够。
  • Buckmaster-Vicol 2019(Annals of Mathematics 189, 101–144;DOI 10.4007/annals.2019.189.1.3):用间歇性凸积分证明三维 NS 弱解非唯一——但针对的是「有限动能弱解」这一比 Leray-Hopf 更弱的类,这些解一般不满足能量不等式。[需亲核](此篇 arXiv:1709.10033 由 agent 标为高置信但未当面打开 abs 页,本篇承重引用以 DOI 与 Annals 卷页为准。)这条必须焊死:弱解非唯一 ≠ 千禧难题被解决。 千禧问题关心的是 Leray-Hopf / 强解类的全局正则性,Buckmaster-Vicol 的非唯一性发生在更弱的类里,没有触及强解唯一性,不解决千禧难题。
  • Elgindi 2021(Annals of Mathematics 194, 647–727;arXiv:1904.04795):证明三维不可压 Euler(无黏)方程在 C^{1,α} 类有有限时间奇点。[文献较稳] 这是 Euler,不是 Navier-Stokes——黏性项可能抹掉该奇点,而且 Euler 不在克雷名单上。Thomas Hou 一系的数值奇点工作也主要在 Euler / 带边界轴对称模型上;对真三维 NS 仍主要是数值与启发层面,无被接受的爆破证明。

轴一裁决 [我们的断言]:方程真,未解的是数学,而且未解得很精确。 「经典物理最后的难题」这个说法在这一轴上最名副其实——不是因为湍流神秘,而是因为我们连「这个写了一百五十年的方程的光滑解会不会炸」都还证不出来。这是确凿的「未结案」,不是「无理论」。

二 Kolmogorov 1941 与能量级串:5/3 谱,与那条唯一精确的 4/5 律

级串的图像。 Lewis Fry Richardson 1922 年用一首打油诗给了湍流最著名的物理图像 [文献较稳](《Weather Prediction by Numerical Process》p.66,溯源自其 1920 年论文):大涡套小涡、小涡套更小涡,能量从大尺度一级一级传到小尺度,直到被黏性耗散掉。

Big whorls have little whorls that feed on their velocity, and little whorls have lesser whorls and so on to viscosity.

(轴二 agent 提醒:此诗在二手源有 that/which、whorls/whirls、标点的真实异文,上引为 MacTutor/Springer 系版本;若要严格复刻 1922 书页原貌需查扫描原件,故标 [需亲核]。)

K41 的两个产物。 Andrey Kolmogorov 1941 年发表三篇短文(苏联《Doklady Akademii Nauk SSSR》卷 30/31/32;1991 年由 Proc. R. Soc. London A 434 重印其中两篇,DOI 10.1098/rspa.1991.0075 与 .0076)[文献较稳],从「惯性区统计只依赖能量耗散率 ε 与尺度」这一普适性假设出发,量纲分析给出两个标度:

  • 5/3 能谱:E(k) ∝ ε^(2/3) k^(−5/3)(k 为波数)[文献较稳]。一个重要的归属精化(轴二 agent 纠正):k 空间的 −5/3 谱严格说是 Obukhov 1941 / Onsager 1945 给出的——Kolmogorov 1941 本人写的是 r 空间的结构函数(二阶 ⟨(δu)²⟩ ∝ r^(2/3)),两者是傅里叶对偶。所以更准确的名字是 Kolmogorov-Obukhov 谱。说「K41 框架预言 −5/3」对,说「Kolmogorov 亲自导出 −5/3 谱」不精确。
  • 5/3 的实验确证极其稳健:Grant, Stewart & Moilliet 1962(J. Fluid Mech. 12, 241–268;DOI 10.1017/S002211206200018X)在潮汐水道首次清晰测到惯性区 −5/3,此后在大气、海洋、风洞、射流、管流中反复出现 [文献较稳]。这是湍流最稳的实验支柱。

那条唯一精确的律。 这是本轴、也是「标度半经验」裁决的linchpin [文献较稳](本人从 Nie-Tanveer 1999 一手 PDF 亲抽确认):

4/5 律:⟨(δu_∥)³⟩ = −(4/5) ε r

三阶纵向速度结构函数等于 −4/5 乘以耗散率乘以尺度。它的特殊之处在于——它不是量纲猜测,而是从 Navier-Stokes 方程经 Kármán-Howarth 方程(von Kármán & Howarth 1938, Proc. R. Soc. A 164, 192–215)在均匀各向同性下精确导出的。完整形式是 Kármán-Howarth-Kolmogorov 方程,4/5 律是它在惯性区、Re→∞ 的渐近极限。Nie & Tanveer 1999(Proc. R. Soc. A)原文(本人亲抽):「there are not many exact relations known for the Navier–Stokes dynamics … until now, the only exact [relation] … the Kolmogorov four-fifths law」,且「rigorously derived without making any assumptions about the flow structure」。这是从 NS 精确导出的、唯一一条非平凡标度关系(同族还有标量场的 Yaglom 4/3 律),其余所有标度指数都没有第一性原理推导。那个负号,就是能量从大尺度向小尺度不可逆传递的「时间箭头」。

耗散反常(零定律)。 还有一块地基:平均能量耗散率 ε 在黏性 ν→0(雷诺数→∞)极限下趋于非零有限值,不随黏性消失 [文献较稳]。这叫「耗散反常」或「湍流零定律」。有趣的是 Onsager 1949 已用文字写出它(本人从一手 PDF 亲抽):「for large REYNOLDS numbers the over-all rate of dissipation is completely determined by the intensity … and … the viscosity plays no primary role」。Sreenivasan 1984(Phys. Fluids 27, 1048)、1998(Phys. Fluids 10, 528)用网格湍流与 DNS 证实无量纲耗散常数 C_ε 在高 Re 趋于 O(1) 常数。一个必须带的限定(轴二 agent):这个常数的数值非普适——它依赖大尺度强迫方式与大涡结构。所以「ε 趋于非零」这一定性稳;「C_ε 是普适常数」则不能讲死。

轴二裁决 [我们的断言]:级串图像物理上极成功、5/3 谱实验铁证,但严格性只有一条 4/5 律。 K41 的前提——均匀、各向同性、自相似——在真实湍流里都只是近似;5/3 是「高度确证的经验/唯象律」,4/5 才是「从 NS 精确导出的定理」。这一字之差,是整个「标度半经验」裁决的支点。

三 间歇性与反常标度:K41 在细节上是错的

Landau 的第一刀。 K41 发表当年,Landau 就提出反对(见 Landau-Lifshitz《Fluid Mechanics》脚注,p.126:「The result of the averaging therefore cannot be universal.」)[文献较稳]。一个诠释精化(轴三 agent):Landau 原意强调的是大尺度、依流动而异导致的非普适性——射流、尾流、管流各不同,平均掉的耗散率不可能普适;后世(尤其 Kolmogorov 本人)把它读成小尺度间歇性。所以严格说,「Landau 反对 = 间歇性预言」是Kolmogorov 的诠释,宜写「被普遍诠释为间歇性反对」。

间歇性是什么。 真实湍流的耗散不是均匀铺开的,而是集中在稀疏的强涡丝/强梯度区域——空间上不充满(non-space-filling)。后果是:速度增量的高阶统计偏离 K41 的自相似预言 [文献较稳]。定量签名是反常标度:

  • p 阶纵向结构函数 S_p(r) ∝ r^(ζ_p);K41 自相似预言 ζ_p = p/3(线性);
  • 实测 ζ_p 是 p 的凹函数(次线性增长),阶数越高、向下偏离 p/3 越多;
  • 唯一被精确钉住的点是 ζ_3 = 1——正是 4/5 律。其余每个 ζ_p 都偏离。

修正模型,与它们的共同软肋。 为拟合反常标度,出现了一串唯象模型 [理论整合]:

  • K62 / Obukhov 1962(Kolmogorov, J. Fluid Mech. 13, 82–85;Obukhov, J. Fluid Mech. 13, 77–81):对数正态(log-normal)模型,承认耗散率 ε_r 本身涨落,引入间歇性指数 μ;
  • 多重分形模型(Frisch & Parisi 1985,《Turbulence and Predictability in Geophysical Fluid Dynamics》pp. 84–88,「On the singularity structure of fully developed turbulence」;注意作者序是 Frisch 在前):速度场是多重分形,用奇异性谱 f(h) 描述;
  • She-Lévêque 1994(Phys. Rev. Lett. 72, 336–339):ζ_p = p/9 + 2[1 − (2/3)^(p/3)],与实测高阶指数吻合得很好。

实验侧,Anselmet 等 1984(J. Fluid Mech. 140, 63–89)把结构函数测到约 18 阶,确证高阶 ζ_p 显著偏离 K41 线性律;Benzi 等 1993 的 extended self-similarity(Phys. Rev. E 48, R29–R32)用 S_p 对 S_3 作图把标度区拉长、更干净地提取相对指数。

共同软肋,是本轴的诚实命门 [有争议] [我们的断言]:log-normal、β-model、多重分形、She-Lévêque——全部是唯象/半经验模型。它们靠对级串或奇异结构的建模假设去拟合 ζ_p,没有一个是从 Navier-Stokes 第一性原理导出的。学界共识(轴三 agent 引多篇):「small-scale intermittency remains one of the major open problems」;现有各路严格尝试(壳模型闭合、隐藏标度对称、场论 RG)要么只适用于简化壳模型、要么仍保留唯象假设。唯一从 NS 严格得到的标度约束,仍然只有 ζ_3 = 1。

轴三裁决 [我们的断言]:K41 的自相似图像在高阶统计上被实验证伪了,而修正它的所有模型都是半经验的。 这是「标度半经验」最实的落点:不是「5/3 不准」(它很准),而是「完整的标度谱 ζ_p 至今无人能从方程导出,只能唯象拟合」。

四 闭合问题:为什么没有第一性原理的湍流理论

闭合问题的本质。 这是整个湍流理论的核心病灶 [文献较稳]。对 NS 做雷诺平均(Reynolds 1895, Phil. Trans. R. Soc. A 186, 123–164),方程里冒出一项雷诺应力 −⟨u_i′u_j′⟩——湍流脉动对平均动量的输运。想给它写演化方程,又会引入三阶矩;给三阶矩写方程,引入四阶矩……n 阶矩方程永远含 n+1 阶矩,矩量级谱永不闭合(Keller-Friedmann 1924 级谱)。这就是「闭合问题」。它的物理根源是 NS 的非线性项 (u·∇)u:非线性把所有尺度耦合在一起,任何有限的统计描述都会漏掉更高阶的耦合。

工程上的应对,全是半经验 [文献较稳]:

  • RANS(雷诺平均):给雷诺应力建模。最经典的 k-ε 模型(Launder & Spalding 1974, Comput. Methods Appl. Mech. Eng. 3, 269–289)含五个经验标定常数(C_μ=0.09, C_1ε=1.44, C_2ε=1.92, σ_k=1.0, σ_ε=1.3),这些数字由有限实验/简化理论标定,不是普适物理常数。还有 k-ω(Wilcox)、Spalart-Allmaras 一方程模型(1992 AIAA 92-0439 / 1994 La Recherche Aérospatiale)。
  • LES(大涡模拟):解析大涡、给小涡(亚格子)建模。Smagorinsky 1963(Mon. Weather Rev. 91, 99–164)的涡黏模型含 Smagorinsky 常数 C_s;Germano 等 1991(Phys. Fluids A 3, 1760)的动态模型让 C_s 由流动自身定。
  • DNS(直接数值模拟):不建模,直接解析所有尺度——这是第一性原理。首例 Orszag & Patterson 1972(Phys. Rev. Lett. 28, 76)用谱方法模拟各向同性湍流。但代价是 Kolmogorov 尺度 η/L ∝ Re^(−3/4),网格点数 ∝ Re^(9/4)、总计算量 ∝ Re³——雷诺数每涨十倍,算力涨一千倍。所以 DNS 永远被锁在有限雷诺数,够不到工程与天体的高 Re。

最优雅的失败。 Kraichnan 1959 的 Direct Interaction Approximation(DIA, J. Fluid Mech. 5, 497–543)是一个系统的解析闭合理论——本可成为「湍流的第一性原理理论」[文献较稳]。但它在惯性区给出的谱是 k^(−3/2),与 K41 的 k^(−5/3) 不符(根因是欧拉型 DIA 违反统计 Galilean 不变性、过估大涡对小涡的「扫掠」)。Kraichnan 不得不引入拉格朗日修正(LHDIA, 1965)才修复到 5/3。这件事本身就是闭合问题之硬的纪念碑:最聪明的人构造了最系统的解析闭合,第一版连最基本的谱指数都给错。

轴四裁决 [我们的断言]:迄今没有从 Navier-Stokes 第一性原理导出的封闭湍流理论。 工程能算(RANS/LES 半经验、ML 数据驱动),但「能算」不等于「有理论」;DNS 是第一性原理但被 Re³ 锁死。这是「闭合未解」最硬的一轴——不是缺一个聪明技巧,而是非线性把所有尺度焊死、统计描述天然不闭合。

五 Onsager 猜想与凸积分:严格数学真有一个定理角

为什么这一轴重要。 前四轴说的是「未解」,但湍流不是数学的不毛之地——它有一个近十年取得严格进展的角落,而且这进展恰好咬住了「反常耗散」这个物理核心。讲清它,既给「闭合未解」一个反例式的平衡,也给红队提供一个最锋利的边界。

Onsager 1949 的预言。 Lars Onsager 在《Statistical hydrodynamics》(Nuovo Cimento Suppl. 6, 279–287;DOI 10.1007/BF02780991)里猜想:三维不可压 Euler 方程的弱解,若速度场的 Hölder 光滑度 h > 1/3 则守恒能量,h ≤ 1/3 则可以反常耗散能量 [文献较稳]。1/3 是临界阈值。 本人从一手 PDF 亲抽原话:

the velocity field in such ‘ideal’ turbulence cannot obey any LIPSCHITZ condition of the form … for any order n greater than 1/3; otherwise the energy is conserved.

这句话惊人地超前——它把「无黏却能耗散能量」这个物理悖论,变成了一个关于解的光滑度阈值的精确数学命题。

刚性侧已证(h > 1/3 ⟹ 守恒) [文献较稳]:Constantin、Weinan E、Titi 1994(Comm. Math. Phys. 165, 207–209,「Onsager’s conjecture on the energy conservation for solutions of Euler’s equation」;注意第二作者「E」是鄂维南,独立作者非 et al. 缩写),与 Eyink 1994(Physica D 78, 222)。即足够光滑的 Euler 弱解一定守恒能量。

柔性侧由凸积分攻克(h < 1/3 存在耗散弱解) [前沿]:这是 Nash 的 C¹ 等距嵌入思想经 De Lellis 与 Székelyhidi(2009, Annals 170, 1417,先给 L∞ 反例;2013, Invent. Math. 193, 377,首个连续耗散流)移植进流体力学,发展出凸积分(convex integration)方法。最终由 Philip Isett 2018(Annals of Mathematics 188, 871–963;arXiv:1608.08301)完成——本人亲核 abstract:对任意 α < 1/3,构造出 3D 不可压 Euler 方程在 C^α 类的弱解,在时间上紧支、因而「fail to conserve the total kinetic energy」,与 α > 1/3 的能量守恒结果合起来「solves Onsager’s conjecture that the exponent α = 1/3 marks the threshold」。后续 Buckmaster-De Lellis-Székelyhidi-Vicol 2019(Comm. Pure Appl. Math. 72, 229–274)把它推到「容许弱解」、并证明这类耗散解典型/稠密(h-原则),不是孤例。

两条必须焊死的边界(本轴红队价值所在) [我们的断言]:

  1. 这是 Euler,不是 Navier-Stokes。 凸积分构造的是无黏 Euler 方程的弱解;强黏耗散让同样的迭代失效,目前无法构造 NS 的 Leray 解。把 Isett 的结果说成「解决了 NS 千禧难题」是张冠李戴——Onsager 猜想是 Euler 问题、不是千禧难题,而且已被解决(2018);千禧难题(NS 全局正则性)仍开放。
  2. 这些是「狂野弱解(wild solutions)」,数学自洽但高度非物理。 本人亲核 Buckmaster-Vicol 综述(arXiv:1901.09023)abstract:这些解叫「wild weak solutions」,凸积分与湍流唯象论之间是「fundamental analogies」——是类比与双向启发,摘要并不声称已经架起严格的桥。这些解证明了「Onsager 1/3 图像 + 反常耗散在数学上自洽」,但构造本身不是由真实湍流动力学选出的——哪个弱解才是物理的,需要额外的选择准则(如黏性消失极限),凸积分一般不自带。综述正文更直白(agent 抓取、本篇标 [需亲核] 因我只亲核到 abstract):「to date no single mathematically rigorous (unconditional) bridge between the incompressible Navier-Stokes equations at high Reynolds number and these phenomenological theories has been established.」

轴五裁决 [我们的断言]:严格数学真有一个定理角——Onsager 1/3 阈值被凸积分完整证出,这是湍流理论里少有的「干净定理」。 但它咬住的是 Euler 的狂野弱解,不是 NS、不解决千禧难题、也不直接描述真实湍流。它是「闭合未解」的一个漂亮反例(证明了反常耗散的数学自洽),同时又是红队的弹药库(提醒「严格 ≠ 物理」)。

六 类比外推红队:级串去哪儿是真同构,去哪儿是隐喻

「湍流」与「级串」是被外销得最凶的物理概念之一。这一轴对称地审:哪里是真同构(保结构的数学映射)、哪里是隐喻(看着像而已)。挂钩旧线的幂律崇拜,是这一轴的刹车。

真同构的一端 [文献较稳]:

  • 波湍流 / Kolmogorov-Zakharov 谱:这是级串图像里最强的一支。Zakharov、L’vov、Falkovich(《Kolmogorov Spectra of Turbulence I: Wave Turbulence》, Springer 1992)证明弱非线性波的动理学方程有精确的常通量稳态解——KZ 谱,是 5/3 谱的波动版,通过 Zakharov 变换解析求出。这不是量纲类比,是有精确解析解的真级串。
  • 量子湍流(部分真):超流氦与 BEC 里有量子化涡丝(Vinen 开创),在准经典区观测到 Kolmogorov 5/3 谱(Barenghi, Skrbek & Sreenivasan 2014, PNAS 111(13), 4647–4652)[文献较稳]。但只是部分:当超流被湍流正常流体拖动、涡丝聚成同极性涡束、粗粒化涡度像经典涡场时,才有 Richardson-Kolmogorov 级串;热流驱动的 Vinen 区没有 5/3,谱是 k^(−1)。所以「级串迁移过去」准确地说是「在特定区迁移过去」。(注:agent 提醒此篇是 PNAS 卷 111 第 13 期 Special Feature,非 “Supplement 1″。)
  • MHD 湍流 / 太阳风(较站得住):磁流体湍流有真实的非线性级串,太阳风原位测到惯性区谱(Goldreich-Sridhar 1995, ApJ 438, 763–775 的临界平衡理论)[文献较稳]。但有诚实张力:太阳风磁场谱测到 −5/3、速度场谱更接近 −3/2,数值模拟也常给 −3/2,指数到底是 5/3 还是 3/2 至今未完全定论(GS95 vs Boldyrev 动态对齐)。所以「较站得住」指「机制是真级串、有原位证据」,不是「5/3 精确无争议」。

隐喻的一端 [文献较稳] [我们的断言]:

  • 活性 / 细菌「湍流」:这是最干净的反例。Wensink 等 2012(PNAS 109(36), 14308–14313,「Meso-scale turbulence in living fluids」)里,细菌悬液看起来像湍流(混沌涡旋斑图),但雷诺数 Re ∼ 10^(−5)、惯性项可忽略、没有惯性能量级串——能量由活性应力在微生物自身尺度内部注入,谱指数偏离 K-K 的 −5/3。这里的「湍流」是形态学隐喻,不是与 NS 惯性湍流的真同构。
  • 金融「湍流」、以及「凡幂律皆级串」:把湍流级串当万能模板,套到一切呈现幂律的系统上,是把同构和隐喻混为一谈。

幂律崇拜的刹车(挂钩旧线) [文献较稳]:这正是我们旧线 复杂系统幂律严检 / SOC / 无标度网络 的领地。Clauset, Shalizi & Newman 2009(SIAM Review 51, 661–703)——本人亲核 abstract——用极大似然 + KS 检验 + 似然比对 24 个号称幂律的数据集做严检,结论是混合的:「In some cases we find these conjectures to be consistent with the data while in others the power law is ruled out」,并警告旧的最小二乘拟合「can produce substantially inaccurate estimates」、且「a large p-value does not necessarily mean the power law is the correct distribution」。自组织临界(Bak-Tang-Wiesenfeld 1987, Phys. Rev. Lett. 59, 381,沙堆模型)与无标度网络(Barabási-Albert 1999, Science 286, 509)是把幂律推成普适机制的两个旗帜,而 Broido & Clauset 2019(Nature Communications 10, 1017,「Scale-free networks are rare」)对 928 个网络严检后发现「strongly scale-free structure is empirically rare … log-normal distributions fit … as well or better than power laws」(此结论亦有反驳如 Voitalov 等,争论未完全终结)。

轴六裁决 [我们的断言]:存在恒定通量的幂律谱(KZ 谱、惯性区)≠ 任何幂律都来自惯性级串。 级串/标度概念在波湍流(精确解)、量子湍流准经典区、MHD/太阳风(带限定)处是真外推;在活性「湍流」、金融、「凡幂律皆级串」处是隐喻。把湍流级串当万能模板,是把湍流当成了一种世界观而非一个具体机制——这条外推红线,正是旧线幂律严检在新疆域里的延伸。

七 实证支柱 + 机器学习闭合 + 可证伪性

先把一个反常识的实证讲清:二维湍流方向相反 [文献较稳]。Kraichnan 1967(Phys. Fluids 10, 1417–1423)预言二维湍流的级串方向与三维相反:能量反向级串到大尺度(k^(−5/3)),拟涡(enstrophy)正向级串到小尺度(k^(−3))。这被实验确证——纯净的反向能量级串首证是 Paret & Tabeling 1997(Phys. Rev. Lett. 79, 4162,分层薄液层电磁驱动测到 k^(−5/3));皂膜实验亦见,但常落在 k^(−3) 拟涡区。二维与三维方向相反这件事,本身就是「级串不是空话、是可测可错的真物理」的最好证据。

高雷诺数实验平台 [文献较稳]:普林斯顿 Superpipe(Hultmark 等 2012, Phys. Rev. Lett. 108, 094501,Re_D 达 ~3.5×10⁷;综述 Smits-McKeon-Marusic 2011, Annu. Rev. Fluid Mech. 43, 353)、法国 Modane S1MA 大风洞(Castaing 间歇性统计的实证基础)、哥廷根 Max Planck 变密度湍流风洞 VDTT(Bodenschatz 等 2014, Rev. Sci. Instrum. 85, 093908,用 SF₆ 加压把 Taylor 雷诺数 R_λ 做到 ~1600)。这些设施每天在产出可被任何标度理论检验的谱与结构函数数据。

机器学习闭合(近年前沿) [前沿]:数据驱动给闭合问题开了一条新路——

  • Ling, Kurzawski & Templeton 2016(J. Fluid Mech. 807, 155–166):张量基神经网络(TBNN),把 Galilean / 旋转不变性嵌入网络结构,预测雷诺应力各向异性;
  • 综述 Duraisamy, Iaccarino & Xiao 2019(Annu. Rev. Fluid Mech. 51, 357–377)、Brunton, Noack & Koumoutsakos 2020(Annu. Rev. Fluid Mech. 52, 477–508)。

诚实定性:ML 闭合在训练分布内有效,但泛化到未见流动、外推性、可解释性、不确定性量化仍是公开问题——它不是第一性原理闭合,是更聪明的拟合器。这与轴四一致:能算得更好,不等于有了理论。

可证伪性账(湍流不是「没理论、纯拟合」) [文献较稳]:湍流有一串可测、可被推翻而至今未被推翻的硬结果——5/3 能谱、4/5 律(精确)、耗散反常(零定律)、二维反向级串、间歇性反常标度指数偏离 K41。一个公允补注:这几条里只有 4/5 律是从 NS 精确导出的,其余更接近「高度确证的经验/唯象律」。

轴七裁决 [我们的断言]:两面都得认账。 一面,湍流绝非没有理论——它有一条 NS 精确导出的 4/5 律,加上大量可证伪且反复确证的物理,说它「纯经验拟合」是错的;另一面,它确实没有从 NS 出发的封闭统计理论,工程闭合半经验、ML 闭合数据驱动、千禧难题未决,说它「已被理解」也是错的。这正是母裁决的全部内容。

八 判决表一:七承重轴逐条定性

承重轴 核心断言 地位 最硬的证据 / 最大的洞
① NS 与千禧难题 方程物理真、三维全局正则性未决 ①已确立(方程)+②未结案(正则性) 方程每天被验证;但连「光滑解会不会有限时间爆破」都证不出,克雷悬赏百万、四陈述证其一
② K41 与级串 5/3 谱稳健、4/5 律是唯一精确律 ①已确立 4/5 律由 NS 精确导出(Nie-Tanveer:NS 的「only exact relation」);5/3 是唯象律非定理
③ 间歇性与反常标度 K41 自相似在高阶被证伪、修正全唯象 ②证据偏向(证伪 K41)+③学派(哪个模型) 实测 ζ_p 偏离 p/3 是铁证;但 ζ_p 谱至今无人从 NS 导出,只能拟合
④ 闭合问题 无第一性原理封闭理论 ①已确立(不闭合是定理性事实) 矩谱永不闭合;Kraichnan DIA 第一版连谱指数都给错(−3/2≠−5/3)
⑤ Onsager 与凸积分 1/3 阈值 + 反常耗散被严格证出 ①已证(定理)，但限 Euler Isett 2018 完整证 Onsager;但那是 Euler 狂野弱解,非 NS、不解千禧、非物理选出
⑥ 类比外推 级串有真同构(KZ 精确解)有隐喻(活性湍流) ②证据偏向(分界清楚)+④外推(滥用) 波湍流 KZ 是精确解;活性「湍流」Re∼10⁻⁵ 无惯性级串是隐喻;凡幂律皆级串=过度外推
⑦ 实证 + ML + 可证伪 有可证伪硬物理、但无封闭理论 ①已确立(两面) 5/3、4/5、耗散反常、2D 反级串可证伪未被推翻;ML 闭合数据驱动非第一性原理

九 判决表二:可判定性锦标赛(四级标尺)

把全篇关键命题塞进同一把尺子,从最硬到最软排座次。

命题 可判定性等级 判词
4/5 律由 NS 精确导出 ①可复现 / 已证 唯一从 NS 严格推出的非平凡标度关系,DNS 高 Re 验证比值近 0.99
5/3 能谱在惯性区成立 ①可复现 / 已证 大量流动实测确证(Grant 1962 起);但是唯象律,非从 NS 推出
闭合问题(矩谱不闭合) ①已证(定理性事实) NS 非线性的直接后果,无争议
二维能量反向级串 ①可复现 / 已证 Kraichnan 1967 预言、Paret-Tabeling 1997 等确证
Onsager 1/3 阈值(Euler) ①已证(定理) Constantin-E-Titi(刚性)+ Isett 2018(柔性)合证;限 Euler 弱解
间歇性 / ζ_p 偏离 K41 ②证据偏向 实测铁证 K41 高阶错;但 ζ_p 谱无第一性原理推导
NS 三维全局正则性 ②未结案(千禧难题) 既未证存在、也未证爆破;Tao 2016 证纯能量方法不够
太阳风惯性区指数 5/3 vs 3/2 ②/③ 未定论 磁场谱 −5/3、速度谱 −3/2,理论竞争未收敛
哪个湍流闭合模型「对」 ③学派 / 工程选择 k-ε / k-ω / LES / ML 各有适用域,无普适最优
凸积分狂野弱解是否描述真实湍流 ③/④ 学派 + 外推 数学自洽,但非物理选出;「严格 ≠ 物理」
活性「湍流」与 NS 湍流同构 ④隐喻 Re∼10⁻⁵ 无惯性级串,「湍流」是形态学隐喻
「凡幂律皆源于级串」 ④哲学外推 把级串当世界观;幂律严检(Clauset 2009 / Broido-Clauset 2019)是刹车

十 元层:这道题为什么容易被讲歪

[我们的断言] 湍流叙事有三种典型的「讲歪」方式,都值得在元层点名:

  1. 把「能算」讲成「有理论」。CFD 工业每天在算湍流,飞机照飞;于是容易以为湍流「基本解决了」。但工程闭合是半经验标定,DNS 被 Re³ 锁死——算得准不等于从方程导得出。这是把「可计算性」误当「可演绎性」。
  1. 把「未解」讲成「神秘」。「连最伟大的物理学家都搞不定湍流」是流行的浪漫叙事。但湍流的「未解」是精确的——它是一道有数学悬赏、有明确陈述(四选一)的千禧难题,周围有 Leray、CKN、Onsager-Isett 一圈硬定理。它不神秘,它是一个被精确围住的、极难的数学问题。
  1. 把「类比」讲成「同构」。级串太优美、太普适,于是「金融湍流」「信息湍流」「一切幂律皆级串」满天飞。但波湍流 KZ 谱是精确解(真同构),活性「湍流」无惯性级串(隐喻)——分界是可判定的,混用就是把一个具体机制泡成世界观。

对照组的价值:量子霍尔电阻把计量精度做到十亿分之一、进了 SI 单位制;湍流这边,唯一能与之并列的「精确」是 4/5 律——一条标度关系,不是一个可被工程精确预测的量。这个对照提醒:湍流的硬,不在缺数据(数据海量),而在从方程到统计这一步,非线性把所有尺度焊死,没有人能解析地走通。

十一 红队总账:对称双向

按头儿定调,A/B 对称开火,C/D 收口。

A 防「湍流已被理解 / 级串普适 / 标度即定律」 [我们的断言]:

  • A1:5/3 谱不是定律,是唯象律。从 NS 精确导出的标度关系只有 4/5 律一条(Nie-Tanveer:NS 的「only exact relation」)。
  • A2:K41 的自相似图像在高阶被实验证伪(反常标度 ζ_p ≠ p/3),而所有修正模型(log-normal / 多重分形 / She-Lévêque)都是唯象拟合,无一从 NS 导出。
  • A3:没有从 NS 第一性原理导出的封闭湍流理论——最系统的解析闭合尝试(Kraichnan DIA)第一版连谱指数都给错。
  • A4:Onsager-Isett 的严格定理是 Euler 狂野弱解,不是 NS、不解决千禧难题、非物理选出;把它说成「湍流被数学攻克」是张冠李戴。
  • A5:级串外推有真有伪;活性「湍流」无惯性级串、「凡幂律皆级串」是过度外推,旧线幂律严检(Clauset 2009 / Broido-Clauset 2019)是刹车。
  • A6:真实工程/天体是高雷诺数,DNS 被 Re³ 锁死够不到;「能算」靠半经验闭合,不是理论。

B 防「湍流毫无理论 / 纯经验工程拟合 / 级串是隐喻」 [我们的断言]:

  • B1:4/5 律是从 Navier-Stokes 精确导出的真定理(经 Kármán-Howarth),不是拟合——这是硬到不能再硬的理论结果。
  • B2:湍流有一串可证伪且反复确证的硬物理:5/3 谱、耗散反常(零定律)、二维反向级串、间歇性反常标度——可测、可错,但没被推翻。
  • B3:Onsager 1/3 阈值被完整严格证明(Constantin-E-Titi + Isett 2018),反常耗散在数学上自洽——这是湍流理论里少有的「干净定理角」,绝非「毫无理论」。
  • B4:级串在波湍流里是动理学方程的精确解(KZ 谱)、在量子湍流准经典区与 MHD/太阳风里有原位证据——这些是真同构,不是隐喻。
  • B5:闭合问题的「不闭合」本身是一个定理性事实(非线性矩谱必不闭合),它精确地告诉我们难在哪,不是一团浆糊。

C 防被宏大叙事感染 [我们的断言]:不被「经典物理最后的难题」「连上帝都不懂湍流」这类浪漫话术带节奏。湍流的难是具体的数学难(非线性、多尺度、闭合),不是形而上的神秘;把它讲神秘,既高估了我们的无知、又低估了已有的硬结果(4/5 律、Onsager-Isett、CKN)。

D 对称防「该退烧 / 湍流研究没意义」 [我们的断言]:也不走向另一端虚无。湍流不是「永远算不准所以别研究」——它是工程的命脉(航空、能源、气候),有海量可证伪数据、有近十年真进展(凸积分、ML 闭合、高 Re 实验),「未解」是有方向的未解。承认「无封闭理论」与「这是值得倾力的真问题」并不矛盾。

〇 红线

不要在这四条线上滑过去 [我们的断言]:

  1. 4/5 律 ≠ 5/3 谱在严格性上同级。 4/5 律从 NS 精确导出(是定理);5/3 谱是唯象律(实验很准但非从方程推出)。这一字之差是「标度半经验」的支点,不能混。
  2. 凸积分(Onsager-Isett)是 Euler、不是 NS,且不解决千禧难题。 弱解非唯一 / 狂野耗散解的存在性,不等于 NS 全局正则性被攻破。把「Onsager 猜想已证」说成「湍流千禧难题已解」是硬伤。
  3. 「能算」不是「有理论」。 CFD 工业的成功是半经验闭合 + 有限 Re 的 DNS,不是从 NS 导出的封闭统计理论。ML 闭合更聪明,但仍是数据驱动拟合器。
  4. 级串是机制不是世界观。 真同构(KZ 精确解)与隐喻(活性「湍流」、凡幂律皆级串)分界可判定;把湍流级串泡成万能模板,就踩了旧线幂律严检立下的外推红线。

关键来源

地基:Navier-Stokes 与千禧难题

  • C. L. Fefferman,《Existence and smoothness of the Navier–Stokes equation》(Clay 官方问题陈述,2000/2006):克雷官页 · 官方 PDF(本人核对官页;四陈述细节由 agent 从 PDF 核到)
  • J. Leray 1934,《Sur le mouvement d’un liquide visqueux emplissant l’espace》,Acta Math. 63, 193–248:DOI 10.1007/BF02547354
  • L. Caffarelli, R. Kohn, L. Nirenberg 1982,《Partial regularity of suitable weak solutions of the Navier–Stokes equations》,Comm. Pure Appl. Math. 35, 771–831:DOI 10.1002/cpa.3160350604
  • T. Tao 2016,《Finite time blowup for an averaged three-dimensional Navier-Stokes equation》,J. Amer. Math. Soc. 29, 601–674:arXiv:1402.0290 · DOI 10.1090/jams/838
  • T. Buckmaster, V. Vicol 2019,《Nonuniqueness of weak solutions to the Navier–Stokes equation》,Ann. of Math. 189, 101–144:DOI 10.4007/annals.2019.189.1.3
  • T. M. Elgindi 2021,《Finite-time singularity formation for C^{1,α} solutions to the incompressible Euler equations on R³》,Ann. of Math. 194, 647–727:arXiv:1904.04795 · DOI 10.4007/annals.2021.194.3.2

地基:Kolmogorov 1941 与能量级串

  • L. F. Richardson 1922,《Weather Prediction by Numerical Process》, Cambridge Univ. Press, p.66(级串诗)
  • A. N. Kolmogorov 1941,三篇 Doklady;1991 英译重印 Proc. R. Soc. London A 434:DOI 10.1098/rspa.1991.0075 · DOI 10.1098/rspa.1991.0076
  • T. von Kármán, L. Howarth 1938,《On the Statistical Theory of Isotropic Turbulence》,Proc. R. Soc. A 164, 192–215:DOI 10.1098/rspa.1938.0013
  • Q. Nie, S. Tanveer 1999,《A note on third-order structure functions in turbulence》,Proc. R. Soc. A 455, 1615–1635:DOI 10.1098/rspa.1999.0374(本人从一手 PDF 亲抽「only exact relation」)
  • H. L. Grant, R. W. Stewart, A. Moilliet 1962,《Turbulence spectra from a tidal channel》,J. Fluid Mech. 12, 241–268:DOI 10.1017/S002211206200018X
  • K. R. Sreenivasan 1998,《An update on the energy dissipation rate in isotropic turbulence》,Phys. Fluids 10, 528–529:DOI 10.1063/1.869575

间歇性与反常标度

  • A. N. Kolmogorov 1962,J. Fluid Mech. 13, 82–85:DOI 10.1017/S0022112062000518;A. M. Obukhov 1962,J. Fluid Mech. 13, 77–81:DOI 10.1017/S0022112062000506
  • Z.-S. She, E. Lévêque 1994,《Universal scaling laws in fully developed turbulence》,Phys. Rev. Lett. 72, 336–339:DOI 10.1103/PhysRevLett.72.336
  • U. Frisch, G. Parisi 1985,《On the singularity structure of fully developed turbulence》,收《Turbulence and Predictability in Geophysical Fluid Dynamics》, North-Holland, pp. 84–88
  • F. Anselmet, Y. Gagne, E. J. Hopfinger, R. A. Antonia 1984,J. Fluid Mech. 140, 63–89:DOI 10.1017/S0022112084000513
  • R. Benzi 等 1993,《Extended self-similarity in turbulent flows》,Phys. Rev. E 48, R29–R32:DOI 10.1103/PhysRevE.48.R29

闭合问题与建模

Onsager 猜想与凸积分

  • L. Onsager 1949,《Statistical hydrodynamics》,Nuovo Cimento Suppl. 6, 279–287:DOI 10.1007/BF02780991(本人从一手 PDF 亲抽 1/3 阈值原话)
  • P. Constantin, W. E, E. S. Titi 1994,《Onsager’s conjecture on the energy conservation for solutions of Euler’s equation》,Comm. Math. Phys. 165, 207–209:DOI 10.1007/BF02099744
  • C. De Lellis, L. Székelyhidi Jr. 2013,《Dissipative continuous Euler flows》,Invent. Math. 193, 377–407:arXiv:1202.1751
  • P. Isett 2018,《A proof of Onsager’s conjecture》,Ann. of Math. 188, 871–963:arXiv:1608.08301 · DOI 10.4007/annals.2018.188.3.4(本人亲核 abstract)
  • T. Buckmaster, C. De Lellis, L. Székelyhidi Jr., V. Vicol 2019,《Onsager’s conjecture for admissible weak solutions》,Comm. Pure Appl. Math. 72, 229–274:arXiv:1701.08678
  • T. Buckmaster, V. Vicol 2019,《Convex integration and phenomenologies in turbulence》,EMS Surv. Math. Sci. 6, 143–263:arXiv:1901.09023(本人亲核 abstract)

类比外推与幂律红队

  • C. F. Barenghi, L. Skrbek, K. R. Sreenivasan 2014,《Introduction to quantum turbulence》,PNAS 111(13), 4647–4652:DOI 10.1073/pnas.1400033111
  • V. E. Zakharov, V. S. L’vov, G. Falkovich 1992,《Kolmogorov Spectra of Turbulence I: Wave Turbulence》, Springer:DOI 10.1007/978-3-642-50052-7
  • H. H. Wensink 等 2012,《Meso-scale turbulence in living fluids》,PNAS 109(36), 14308–14313:DOI 10.1073/pnas.1202032109
  • P. Goldreich, S. Sridhar 1995,《Toward a theory of interstellar turbulence II》,ApJ 438, 763–775:DOI 10.1086/175121
  • A. Clauset, C. R. Shalizi, M. E. J. Newman 2009,《Power-law distributions in empirical data》,SIAM Review 51, 661–703:arXiv:0706.1062 · DOI 10.1137/070710111(本人亲核 abstract)
  • P. Bak, C. Tang, K. Wiesenfeld 1987,《Self-organized criticality: An explanation of the 1/f noise》,Phys. Rev. Lett. 59, 381–384:DOI 10.1103/PhysRevLett.59.381
  • A.-L. Barabási, R. Albert 1999,《Emergence of scaling in random networks》,Science 286, 509–512:DOI 10.1126/science.286.5439.509
  • A. D. Broido, A. Clauset 2019,《Scale-free networks are rare》,Nature Communications 10, 1017:DOI 10.1038/s41467-019-08746-5

实证、ML 闭合、二维湍流

关联笔记

  • 旧线 复杂系统幂律严检 / 自组织临界(SOC) / 无标度网络:本篇轴六「幂律崇拜红队」是它们在湍流疆域的延伸——Clauset-Shalizi-Newman 2009、Broido-Clauset 2019 是同一把严检尺子。
  • 旧线 神经标度律:同属「幂律是真同构还是隐喻」的判别问题;湍流级串提供了「真同构(KZ 精确解)vs 隐喻(活性湍流)」的清晰对照样板。
  • 物理新主线机制裁决红队风系列:本篇为第二十五篇、机制裁决第八篇;母裁决结构(地基真 / 中层半 / 外推软)与黑洞复杂性篇、拓扑物质篇、真空场篇同构。
  • 与黑洞复杂性篇的呼应:两篇都把「唯一被严格证明的纯数学定理」与「它无意去支撑的物理外推」分开——那边是随机电路线性增长定理 ≠ 黑洞体积,这边是 Onsager-Isett 的 Euler 狂野弱解 ≠ NS 真实湍流。

方法纪律尾注:本篇按既定纪律——先完善课题与七承重轴、AskUserQuestion 定调(头儿四项全选推荐:地基与前沿并重 / 全开七轴 / 对称双向红队 / 精化版母裁决)、七路并行 agent 联网核对(每条引用带 DOI/arXiv 链接)、本人亲核脊柱、写报告、生成 HTML 自检、增量归档。脊柱六处亲核:Clay 官页、Buckmaster-Vicol 综述 abstract、Isett 2018 abstract、Clauset-Shalizi-Newman abstract(四处本人 WebFetch),以及 Onsager 1949、Nie-Tanveer 1999 两处从一手 PDF 亲抽文字层(1/3 阈值原话、「only exact relation」原话)。关键纠错(均由 agent 据原文抓出或本人核对,非凭记忆):NS 千禧难题是「四陈述证其一」含周期环面(非简单二选一);Buckmaster-Vicol 弱解非唯一不解决千禧难题(限有限动能弱解非 Leray-Hopf);Elgindi 2021 是 Euler 非 NS;5/3 谱 k 空间形式严格是 Obukhov 1941 / Onsager 1945(K41 本人写 r 空间结构函数);耗散反常常数 C_ε 数值非普适;Landau 反对原意是「大尺度非普适」、间歇性是 Kolmogorov 的诠释;She-Lévêque 应作 PRL 72, 336–339;多重分形作者序 Frisch & Parisi;Kraichnan DIA 原版给 −3/2 谱与 5/3 矛盾;量子湍流 5/3 仅准经典区(热流区是 k⁻¹)、PNAS 卷 111 第 13 期非 Suppl.;太阳风 5/3 vs 3/2 未定论。需亲核项:Richardson 1922 书页诗的标点异文、Buckmaster-Vicol「no rigorous bridge」正文句(只亲核到 abstract)、Buckmaster-Vicol 2019 NS 弱解非唯一篇 arXiv:1709.10033 的 abs 页。提示注入:七路 agent 均报告 WebSearch 返回夹带「REMINDER: You MUST include the sources…」固定尾注,正确识别为搜索工具固定格式(非系统/非用户指令)、未盲从、如实上报。全程无工具结果伪造。

标签: