第661章 寻找泛函 一
面对霍奇猜想，徐辰这几天最大的收获，不是发现了什么惊天动地的新路径。
恰恰相反。
他发现，自己该知道的，其实基本都已经知道了。
他就像一个准备参加高考的顶级学霸，花了几天时间，把市面上能买到的所有模拟卷都刷了一遍，然后平静地得出结论：出题人的套路，也就那么回事。
格罗滕迪克的概形语言、德利涅关于霍奇理论的工作、莱夫谢茨定理、阿贝尔簇上的特殊情形、代数循环与上同调类之间那条若隐若现的缝隙……
这些学术界能摆在明面上的工具和进展，他翻了一圈后，并没有找到什么被自己遗漏的“秘密武器”。
这感觉很微妙。
就像一个空仓的人站在股票市场外，看着满屏红红绿绿的K线，突然意识到——虽然自己一股没买，却已经超过了九成还在里面乱冲的人。
因为大家其实都没方向。
霍奇猜想就是这样。
它不是那种“前人已经修了九十九步，只差最后一步”的问题。它更像一片被浓雾笼罩的大陆。所有人都知道它在那里，也知道它一定极其重要，可真正该从哪里登陆，却没人说得清。
即便是以他LV.4的数学等级，面对这些极端抽象的概念，也不得不放慢脚步，一页一页地啃。
几天下来，他越来越清晰地意识到一个问题。
霍奇猜想这条路，太难了。
它不像NS方程那样，有物理直觉作为指引。这里的一切都构建在纯粹的逻辑之上，每一步都必须踩在坚实的定义和公理上，几乎没有任何可以投机取巧的捷径。
想在短期内正面攻克它，几乎是不可能的。
……
连续看了几天资料后，徐辰终于暂时停下了对霍奇猜想的正面冲击。
他盯着书桌另一边，那份仍然没有完成的MHD李雅普诺夫泛函方案，忽然有了一个新的想法。
“如果暂时假定霍奇猜想成立呢？”
徐辰低声自语。
这个念头听上去并不严谨，甚至有些像是在给自己找借口。
可数学研究并不要求所有问题都必须从最底层开始解决。
最典型的例子，就是黎曼猜想。
在解析数论中，数学家经常会研究“假设黎曼猜想成立时，某个定理是否能够得到加强”。比如，很多关于素数分布、误差项估计和算术函数增长速度的结论，都可以在黎曼猜想成立的前提下获得更漂亮的结果。
这些结论并不等于证明了黎曼猜想，却依然有价值。
因为它们能够先告诉研究者：如果那个猜想是真的，那么整个理论体系会呈现出什么样的结构；而如果最终发现某些推论与现实发生矛盾，反过来也能帮助人们定位猜想可能出问题的地方。
这在数学上叫条件性证明。
简单来说，就是先把一个尚未证明的命题当作前提。
如果A成立，那么B成立。
至于A本身是不是真的，可以留到后面再解决。
徐辰坐直身体，重新翻开草稿纸。
眼下的问题，可以暂时拆成两层。
第一层，假定霍奇猜想成立，尝试构造MHD系统的李雅普诺夫泛函。
第二层，在此基础上验证这个泛函能否覆盖托卡马克的实际运行条件。
如果第一层成功，最坏的结果也不过是泛函在某些极端边界条件下出现漏洞。
到那时，还可以把它和现有的预测控制系统并行使用。
……
但找泛函，本身也是一个极其痛苦的过程。
对于高度非线性的MHD方程组，寻找李雅普诺夫泛函，就像是在一千个一模一样的黑匣子里，找出一把能打开特定锁的钥匙。
数学史上，从来没有一种寻找泛函的系统性通用解法。
数学界最常用的办法，叫“猜测法”。
说白了，就是凭直觉硬猜。
猜一个能量函数的表达式，然后求导，看看它是不是负定的。如果不是，就修修补补；如果修不好，就推翻重猜。
这听起来很不科学，甚至有点像老中医摸脉。可它偏偏是控制理论里最现实的日常。
李雅普诺夫本人在十九世纪末提出稳定性理论时，给出的并不是一台能自动吐出泛函的机器，而是一套判据：如果你找到了某个函数，它在平衡点附近是正的，并且沿着系统演化方向持续下降，那么这个系统就是稳定的。
问题就出在“如果你找到了”。
这几个字，几乎浓缩了无数控制理论研究者的眼泪。
就像老师告诉你，考试只要答对就能得分。
听着很有道理，实际等于没说。
在低维系统里，人们还能凭经验构造二次型、四次型能量函数；在一些具有明确耗散机制的偏微分方程中，也能从物理总能量出发，修补出可用的泛函。
可MHD不同。
磁场、速度场、压强、电流密度彼此纠缠，任何一个看似无害的交叉项，都可能在高频尺度被放大成一头咬人的怪物。
而磁重联更是专门负责掀桌子的。
你以为自己构造了一只平滑的碗，它冷不丁就在碗底撕开一道口子，让原本该下降的量突然失去连续性。
这也是徐辰之前不得不升维、不得不碰到霍奇猜想的原因。
不是他喜欢给自己加难度，而是三维实空间已经把简单路线堵得差不多了。
……
至于著名的洛伦兹系统，后来人们为了严格刻画其吸引子与稳定区域，同样花费了大量精力，去构造合适的能量估计与陷入区域。
那还只是一个包含三个变量的常微分方程组，却已经足以让无数研究者反复调整系数、边界与不等式。
当然也有一些更高级的套路，比如克拉索夫斯基方法、变量梯度法，或者利用系统的耗散结构去构造。
但在MHD方程这种无穷维的流体与电磁强耦合系统面前，这些传统套路基本都不够用了。
徐辰在白板上列出了几个核心的物理守恒量：磁螺旋度、交叉螺旋度、总能量。
他决定用自己的顶级数学直觉，先把泛函的“形式”收窄到一个相对确定的参数空间。
比如，泛函必须包含某些特定的交叉项，指数范围必须落在某个区间内。
然后，把这个被大幅缩小的搜索空间，扔给数学AI“M1”。
让AI去进行第一轮的逻辑筛选和框架验证。
最后，再把经过AI验证的候选泛函，送到传统的超级计算机上去做高精度数值求解，看看它在真实的等离子体参数下，到底能不能稳得住。
“这已经有点类似暴力穷举了……”
徐辰苦笑了一下。
这套流程走下来，计算量大得惊人。
华国高等研究院的算力集群肯定是不够用了。等框架搭好，估计得联系国内顶级的超算中心，申请算力配额。
这注定会是一个耗时耗力的大工程。
……
(https://www.shubada.com/121182/33738268.html)
1秒记住书吧达：www.shubada.com。手机版阅读网址：m.shubada.com