一根针，一片湍流： 挂谷猜想与流体力学百年奇缘
想象两根针：一根是 1918 年日本数学家手里那根要在平面上掉头的细针；另一根，是浴缸里被你搅动时、肉眼几乎看不见的涡丝。前一根牵出一个困扰数学界百余年的几何谜题——挂谷猜想；后一根，藏在水与空气的深处，牵出价值百万美元的纳维-斯托克斯方程。它们看似天各一方，却被一条看不见的线紧紧系在一起。
2025 年，华人数学家王虹与扎尔（Joshua Zahl）攻克了三维挂谷猜想；2026 年，王虹与同门校友邓煜双双摘得菲尔兹奖——一个证明了"穿针引线"的几何极限，一个推进了流体方程从微观到宏观的严格推导。流体力学，正迎来它的黄金时代。而这一切，竟都和"一根针如何转身"有关。
一、一根针引发的"百年悬案"
1918 年，数学家挂谷宗一（Sōichi Kakeya）提出一个看似幼儿园级别的谜题：
平面上有一根单位长度的针，要原地旋转 180° 完成一个 U 形掉头，所需的最小面积是多少？
直觉告诉我们：总得给它留出直径那么大的空间吧？就像学车时练习的三点掉头，车再怎么灵活也得占一块地方。但数学最迷人的地方，就在于它常常背叛直觉。
1930 年代，数学家贝西科维奇（Abram Besicovitch）给出了一个石破天惊的答案：所需的面积可以任意小，趋近于零。 通过构造一种结构精巧的"贝西科维奇集"（Besicovitch set），一根针能在几乎不占面积的区域里完成掉头。换句话说，平面上存在这样的图形——它包含指向每一个方向的单位线段，却可以拥有任意小的面积，甚至在二维下面积为零。
图 1｜挂谷集的直觉：一个区域内藏着指向四面八方的细线
从平面到空间
当问题升维到三维，难度陡增。如果把那根针换成有厚度 δ（极细）的"太空望远镜"，要它转到所有方向、扫过整个天空，所需的最小体积是多少？核心猜想是：当 δ→0 时，这个体积下降得极慢（大致呈对数级别）。这，就是三维挂谷猜想。
2025 年 2 月 24 日，王虹与扎尔发表论文《Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions》，证明了三维挂谷集 合的豪斯多夫维数与闵可夫斯基维数都等于 3——彻底解决了这个百年难题。他们的诀窍，是把"包含所有方向细线"的几何问题，转化为"空间中 δ-细管并集的体积估计"，再用一套精细的多尺度归纳框架逐步逼近。
"调和分析中三个不朽的猜想组成的塔楼，都矗立在挂谷猜想之上。如果挂谷猜想被证伪，整座塔都会轰然倒塌。" —— 《Quanta Magazine》
二、为什么流体会"关心"一个几何谜题？
一个关于"针怎么转身"的问题，关流体什么事？答案藏在调和分析（研究波与振动的数学）的底层。
1971 年，数学家费弗曼（Charles Fefferman）在研究傅里叶变换的高维行为时，意外发现：借助贝西科维奇集，可以证明"圆盘乘子"在 Lᵖ（p≠2）上并不有界。这个结果震动了整个领域，也让人们意识到——挂谷集远不止是个几何奇闻，它是一整座猜想高塔的地基。
图 2｜挂谷猜想位于调和分析猜想高塔的地基，其上方包含与偏微分方程（含流体近亲）息息相关的命题
关键在：高塔的上层，正是关于偏微分方程的命题——比如支配光与量子波的薛定谔方程、支配声波的波动方程。而挂谷极大函数与著名的 Strichartz 估计（描述波在时空中的可积性）紧密相连；这些估计又决定了非线性波方程是否存在唯一、光滑的解。流体方程，正是这群"波与流"方程的近亲。
三、三座桥，连接猜想与流体
挂谷猜想与流体力学之间，横着三座可以通行的桥。
桥一 · 波包的聚焦与"爆破"
陶哲轩有一个绝妙的比喻：往池塘里扔一颗石子，涟漪向外扩散；但如果你把时间倒流，就能想象无数涟漪从四面八方汇聚到一点，然后"轰"地溅起巨大的水花，甚至形成一个能量无穷大的奇点。
挂谷猜想研究的，正是"把指向各个方向的细管（δ-tube）塞进极小体积"这件事。陶哲轩指出：如果挂谷猜想有一个否定答案——也就是存在一种极其高效的方式，把朝各个方向的管子都塞进极小的区域——那么我们就可能制造出一种特殊的波动结构：它们一开始分散，之后却在多个时空点集中能量，造成所谓的blowup（爆破型奇异性），波的振幅大到让原本的线性波动方程彻底失效。
图 3｜波包从四面八方聚焦于一点——能量集中的直观图景
"虽然挂谷猜想与纳维-斯托克斯问题没有直接关系，但理解它会帮助我们理解波动集中等现象，从而间接帮助我们更好地理解纳维-斯托克斯问题。" —— 陶哲轩
桥二 · 纳维-斯托克斯的"有限时间爆破"与"液体计算机"
纳维-斯托克斯方程，是描述水、空气等不可压缩流体运动的根本方程。克雷数学研究所设下的七个"千禧年大奖难题"中，唯一尚未完全解决的就是它：从一个光滑的初始速度场出发，流体的速度是否可能在某一刻变成无穷大（产生奇点）？
现实中浴缸里的水不会爆炸，但数学上这种"有限时间爆破"从未被排除。2016 年，陶哲轩发表论文《三维纳维-斯托克斯平均方程的有限时间爆破》。他坦承无法直接攻克原问题，于是"改写方程"——把流体间的相互作用做"平均化"处理，只保留他想要研究的部分，然后像工程师一样，人为制造出一台会自我复 制、不断把能量推向更小尺度的"液体计算机"（流体图灵机），从而在有限时间内引爆。
这叫"构造阻碍"：它不证明原问题会爆破，却清晰地揭示了——为什么想证明"永远不会爆破"会如此艰难。其核心机制，正是"自相似能量团"：能量被不断推向越来越小的尺度，快到来不及被黏性耗散，于是在有限时间内集中到一点。
桥三 · 涡管与 δ-细管：几何上的亲缘
在三维无黏欧拉方程中，涡量会沿着涡管被拉伸——"涡管拉伸"正是奇点形成头号嫌疑机制。而王虹与扎尔证明三维挂谷猜想时，用的恰恰是同一种几何语言：把问题转化为指向所有方向的细（δ）管的并集，它们在极小体积里如何重叠、如何排布。
图 4｜指向不同方向的细管——既是挂谷证明的主角，也是涡动力学中的涡管
一边是挂谷集中问题，一边是涡量集中问题；两者都在追问同一件事：细而具方向性的结构，究竟能如何紧密地聚拢？ 它们共享着多尺度分析的直觉与方法论。流体里的涡管，与几何里的 δ-细管，在数学的深处是"亲戚"。
小知识：就连研究挂谷的"热流法"（Bennett–Carbery–Tao, 2006）本身，也是把挂谷集"融化"成一团无定形流体的思想实验——用抛物型方程（热方程）的单调性来逼近结论。这，又是一道通往流体力学的暗门。
四、一个"流体的黄金时代"
把镜头拉到今天，会发现故事格外动人。在 2025–2026 这一个菲尔兹奖周期内，"流体的数学"在两个方向同时突破：
图 5｜挂谷问题与流体方程研究的时间线（两条线索在 2025–2026 交汇）
王虹解开了"穿针引线"的几何极限；邓煜则推进了希尔伯特第六问题——从牛顿硬球动力学，一步步严格推导出玻尔兹曼方程，再到纳维-斯托克斯方程，为流体力学自身建立起从微观到宏观的公理地基。一根针的转身，与一条河的流淌，从未如此靠近。
五、尾声：针与河的同一问
挂谷猜想本身并不"关于"流体。但它稳稳坐在研究流体所依赖的那套分析机器的地基上。理解"薄而具方向性的结构究竟能多紧密地集中"——无论是挂谷集，还是涡管——正是那道百万美元难题（流体能否爆破）的核心直觉之一。
一百年前，一根针的 U 形掉头让数学家困惑；一百年后，那个谜题仍在帮我们向浴缸里的水，提出更锋利的问题。
