突然被重视的感觉是什么样的?
今天问题费利克斯·韦伯觉得他最有资格回答。
事情是这样的。
费利克斯·韦伯是波恩大学数学系的博士。
众所周知波恩大学是德国顶尖的大学,尤其是数...
乔源坐在燕北大学数学系三楼那间朝南的办公室里,窗外是初夏的梧桐,叶片正由嫩绿转为浓翠,阳光透过玻璃斜切进来,在堆满演算纸的桌角投下一道锐利的光带。他没开空调,只把衬衫袖子挽到小臂中间,左手边放着一杯早已凉透的普洱,杯沿上还沾着一点褐色茶渍;右手握着一支黑色中性笔,笔尖悬在一张A4纸的空白处,迟迟没有落下。
纸上已经密密麻麻写满了符号:Γ-函数的变体、非线性项的临界嵌入估计、一个被反复圈出又划掉的“H^{1/2}→L^3”箭头,以及右下角用红笔写的三个字:“差半步”。
不是技术上的差半步——而是逻辑闭环的最后半步。
他昨晚又熬到了凌晨四点十七分。不是因为卡壳,而是因为太顺了。整套构造像一条被雨水冲刷多年、终于裸露出完整岩层的山脊,每一处转折都严丝合缝,每一段推导都自带呼吸感。但正因如此,才更让人警觉:当一切看起来太过自然时,往往意味着最隐蔽的漏洞就藏在“自然”本身里。
手机震了一下。
不是微信,不是邮件提示音,而是燕北大学教务系统发来的内部通知弹窗:
【关于2024年秋季学期《高等偏微分方程专题研讨》课程调整的说明】
> 因授课教师乔源教授需赴国际数学联盟(IMU)参与千禧年难题专项评估委员会筹备工作,原定于9月2日开课的本课程,将延期至9月16日,并同步增设“中文数学术语与思想史”模块(2学时),由乔源教授主讲。
> 注:该模块内容已纳入教育部“新文科教材建设试点”名录,配套讲义将于8月10日前完成校内审核。
乔源盯着屏幕看了三秒,手指无意识地摩挲着笔杆尾部一道细微的划痕——那是去年冬天他第一次在黑板上写出“螺旋态密度”定义时,粉笔灰蹭上去的。当时教室后排有个大二学生举手问:“老师,这个‘螺旋态’……是不是有点像量子霍尔效应里的手性边缘态?”
他答:“不,它比手性更基础。手性是几何的,而螺旋态是动力学的——它不依赖于背景度量,只依赖于流形上的一阶微分结构。”
那孩子后来成了他课题组第一个本科生助研。
手机又震。
这次是加密通讯软件Signal,发信人ID为“D.Schulz_Prin”。消息只有两行:
> 乔,德利涅刚从普林斯顿打来电话,说皮埃尔在昨天的闭门会议上提出,如果N-S解的稳定构造能在三个月内完成数值验证,IMU愿意提前启动千禧年难题官方认证流程。
> ——顺便,他让我转告你:别再用“乔·舒尔茨螺旋密度”这个命名了。彼得说,他刚在康奈尔做完一场报告,全场提问环节有七个人都在问他是否参与了你的证明。他现在连咖啡馆都不敢进了。
乔源扯了下嘴角,没笑出声,只是把笔放下,从抽屉里取出一叠硬壳笔记本。封皮是深蓝色布纹,左上角用银色钢笔写着“2023.11.07—”。翻开第一页,是他在爱荷华州立大学访问时随手记下的一个想法:
> “稳定性不是解的性质,而是求解过程的性质。
> 就像我们不会问‘光是什么’,而问‘光如何传播’。
> N-S方程的真正障碍不在存在性,而在可控演化性。”
下面一行小字是铅笔补的:“所以答案不在PDE本身,而在控制论与泛函分析的交界处。”
他翻到最新一页,上面贴着一张打印纸,标题是《基于动态标度不变性的自适应网格重构算法V3.2》,右下角印着一行小字:燕北大学高性能计算中心|GPU集群编号:YB-HPC-07。
算法本身他早写完了。真正难的是验证——不是数学意义上的验证,而是工程意义上的验证。他需要让这个算法在不同雷诺数、不同初始扰动、不同边界条件下,连续运行七十二小时不发散,且误差累积率低于10^{-6}。这要求每一步迭代都必须同时满足三重约束:物理守恒律、数值稳定性、以及他新引入的“螺旋态保真度”。
而就在昨天下午,他拿到了第一组通过全部测试的数据。
不是模拟数据,是实测。燕北大学流体力学实验室联合中科院力学所,用他们提供的算法驱动风洞实验,实时反馈湍流结构演化。当屏幕上那个三维涡核在0.3秒内完成三次自旋-反旋-再耦合的瞬态过程,且所有特征频率与理论预测误差小于0.8%时,实验室主任老张拍着桌子吼了一嗓子:“这玩意儿……它真能看见涡!”
乔源当时站在监控屏前没说话,只把手里那杯枸杞菊花茶喝完了。茶水微苦,回甘极淡。
他重新打开电脑,点开一个命名为“NS_Stable_Solver_Verify”的文件夹。里面是十六个子目录,每个目录名都是一个数字:1e3、3e3、1e4……直到1e7。这是雷诺数的跨度。他点开最后一个文件夹,双击打开“Report_Final.pdf”。
第一页是摘要:
> 【结论】
> 在Re=1×10?的高雷诺数湍流场中,本算法对Navier-Stokes方程三维不可压缩解的长期演化预测,其L2范数误差保持在[9.3×10??, 1.1×10??]区间内,时间步长自适应调节成功率达99.998%,未出现任何数值爆破或虚假混沌现象。
> 所有测试案例均满足:
> (1)质量守恒残差 ≤ 10?12;
> (2)能量级联谱符合Kolmogorov -5/3律,偏差≤1.2%;
> (3)螺旋态密度分布与实验PIV图像相关系数 r ≥ 0.994。
后面跟着三张图。第一张是误差随时间演化的折线图,平直得像尺子量出来的;第二张是涡量等值面渲染图,那些青蓝色的螺旋结构层层嵌套,宛如DNA双链在流体中延展;第三张最安静——只有一行MATLAB代码截图:
>> [u,v,w,p] = NS_Stable_Solver(Re, IC, BC, T, dt_min);
下面注释写着:“输入:雷诺数,初值,边界,总时长,最小时间步长;输出:速度场三分量+压力场——全程无需人工干预。”
乔源盯着这行代码看了很久,久到窗外梧桐叶影挪动了半寸。
然后他关掉PDF,新建一个Word文档,标题栏敲下七个字:
**《三维不可压缩Navier-Stokes方程的稳定构造性求解》**
光标在标题后闪烁。
他没急着写摘要,也没列参考文献。而是先点开页眉,在左侧输入一行小五号字:
*献给所有曾因英语不够好,而错过一次灵光乍现的人。*
接着,他删掉这行字。
又敲了一遍,这次加了个括号:
*献给所有曾因英语不够好,而错过一次灵光乍现的人。(包括我高中时那个总被英语老师点名翻译课文、却在课桌下偷偷推导黎曼猜想零点分布的自己。)*
这次他没删。
光标跳到正文第一行。
他敲下:
**1. 引言**
> 千禧年难题的表述本身即是一种历史的偏见。它预设了一个前提:数学真理必须以某种特定语言、某种特定形式、经由某种特定路径抵达人类认知。然而,当我们把“解的存在性”与“解的可构造性”强行割裂时,实际上已在问题尚未提出之前,就为解答划下了不可逾越的疆界。
>
> 本文不试图“证明N-S方程有解”,因为这一命题早已被部分学者以非构造方式确立。本文旨在给出一种稳定、可重复、可工程化实现的解的生成机制——它不依赖于理想化假设,不回避物理真实中的奇异性,亦不将数值误差视为需被掩盖的缺陷,而将其转化为理解流体本质的新维度。
>
> 换言之,这不是一份关于“是否存在”的判决书,而是一份关于“如何生长”的培育手册。
敲完这段,他停顿片刻,端起冷茶喝了一口。茶叶沉底,涩味比刚才更重。
手机再次震动。
这次是视频通话请求。头像是一张泛黄的老照片:一位穿中山装的老人站在燕北大学老理学院门前,身后匾额写着“格物致知”四个大字。备注名:“陈伯远|燕北数学系退休教授|1952级”。
乔源接通。
画面亮起,老人坐在一张红木书桌后,桌上摊着一本翻开的《数学进展》,纸页边缘已微微卷曲。他戴着老花镜,镜片后的眼睛很亮,声音却带着点沙哑的笑意:“小乔啊,听说你昨天又让风洞实验室的小伙子们集体失眠了?”
“陈老师,您听谁说的?”乔源笑了笑。
“老张打电话骂我,说我当年怎么没拦着你进数学系——说你要是去搞流体力学,现在全世界的飞机设计院都得排队请你吃饭。”陈伯远摆摆手,“不过嘛……我倒觉得他说得对一半。你这解法,不是给工程师用的,是给数学家看的。”
乔源没接话,只是看着老人。
陈伯远把眼镜往上推了推,忽然压低声音:“我翻了你去年发在《燕北学报》上的那篇光滑性证明。第三章第三节,你用了个新引理,叫‘动态紧支分解’。我没猜错的话,这个引理的灵感,来自你十五岁那年在星城一中校刊上发表的那篇《论多尺度信号的局部振荡能量守恒》?”
乔源怔住。
那篇校刊文章他早忘了。只记得当时物理老师把他叫到办公室,指着其中一段说:“你这公式写得挺漂亮,但现实里没人这么干。湍流哪有什么局部能量守恒?全是耗散!”
他当时没反驳,只默默把稿纸折成纸飞机,从二楼窗户扔了出去。
纸飞机飞过操场,落在篮球架阴影里,被风吹着打了三个旋,最后卡在铁网缝隙中。
“您怎么知道?”乔源声音轻了些。
“因为我就是当年校刊的审稿老师啊。”陈伯远笑出皱纹,“你那篇文章我留着呢,夹在《调和分析导论》里,当书签用。”
他侧身从书架上抽出一本厚书,轻轻抖了抖,一张泛黄的薄纸飘落出来。乔源一眼就认出那熟悉的方格稿纸——右下角还画着个歪歪扭扭的火箭,旁边标注着:“燃料耗尽时刻:t=3.14s”。
“你看,”陈伯远把纸片对着镜头,“你十五岁就在想怎么让不稳定的东西稳定下来。只不过那时候你管它叫‘火箭’,现在你管它叫‘N-S解’。”
乔源喉结动了动。
老人没再说话,只是把那张纸轻轻按回书页,合上书,然后直视镜头:“所以小乔,别急着发论文。先去趟西山。你师爷墓前那棵松树,今年又长高了半尺。他临终前跟我说过一句话,我一直没告诉你——”
画面忽然晃动了一下,像是老人起身时碰到了摄像头。
“他说:‘真正的解,不在纸上,在人心里。写得再密的证明,也得有人看得懂;算得再准的解,也得有人信得过。’”
视频挂断。
办公室里只剩下键盘风扇低微的嗡鸣。
乔源坐了很久,久到夕阳把整张桌子染成琥珀色。他打开邮箱,收件箱里躺着一封未读邮件,发件人是“<a href="mailto:
IMU_Publications@imu.math">IMU_Publications@imu.math</a>”。主题栏写着:
【正式邀请|《International Mathematics Review》特刊征稿:千禧年难题突破性进展】
他点开邮件。
正文很短:
> 尊敬的乔源教授:
>
> 鉴于您近期在Navier-Stokes方程研究中取得的突破性成果,国际数学联盟出版委员会诚挚邀请您为本刊2024年冬季特刊撰写综述性论文。稿件将采用双语同步出版(中文优先),全文开放获取。
>
> 特别说明:本次征稿接受未经同行评议的预印本投稿,编辑部承诺于收到稿件后72小时内完成格式审查并在线发布DOI。
>
> 期待您的来稿。
>
> 此致
> 敬礼
>
> IMU Publications Office
> 2024年7月8日
乔源盯着“中文优先”四个字,看了足足一分钟。
然后他新建一个文本文件,命名为“NS_Solution_Chinese_First.txt”,保存在桌面。
光标在空白页上闪烁。
他没写公式,没写定理,没写任何技术细节。
只敲下第一行字:
**我找到了。**
第二行:
**不是“它存在”,而是“它正在发生”。**
第三行:
**就像呼吸——不需要证明肺在动,只需要感受气流穿过声带时的震颤。**
他按下Ctrl+S,保存。
窗外,梧桐叶影已悄然移至桌沿,正缓缓覆盖那道清晨留下的锐利光带。