第660章寻找泛函一
第660章寻找泛函一(第2/3页)
数论中，数学家经常会研究「假设黎曼猜想成立时，某个定理是否能够得到加强」。比如，很多关于素数分布丶误差项估计和算术函数增长速度的结论，都可以在黎曼猜想成立的前提下获得更漂亮的结果。
这些结论并不等于证明了黎曼猜想，却依然有价值。
因为它们能够先告诉研究者：如果那个猜想是真的，那么整个理论体系会呈现出什么样的结构；而如果最终发现某些推论与现实发生矛盾，反过来也能帮助人们定位猜想可能出问题的地方。
这在数学上叫条件性证明。
简单来说，就是先把一个尚未证明的命题当作前提。
如果a成立，那么b成立。
至于a本身是不是真的，可以留到后面再解决。
徐辰坐直身体，重新翻开草稿纸。
眼下的问题，可以暂时拆成两层。
第一层，假定霍奇猜想成立，尝试构造mhd系统的李雅普诺夫泛函。
第二层，在此基础上验证这个泛函能否覆盖托卡马克的实际运行条件。
如果第一层成功，最坏的结果也不过是泛函在某些极端边界条件下出现漏洞。
到那时，还可以把它和现有的预测控制系统并行使用。
……
但找泛函，本身也是一个极其痛苦的过程。
对于高度非线性的mhd方程组，寻找李雅普诺夫泛函，就像是在一千个一模一样的黑匣子里，找出一把能打开特定锁的钥匙。
数学史上，从来没有一种寻找泛函的系统性通用解法。
数学界最常用的办法，叫「猜测法」。
说白了，就是凭直觉硬猜。
猜一个能量函数的表达式，然后求导，看看它是不是负定的。如果不是，就修修补补；如果修不好，就推翻重猜。
这听起来很不科学，甚至有点像老中医摸脉。可它偏偏是控制理论里最现实的日常。
李雅普诺夫本人在十九世纪末提出稳定性理论时，给出的并不是一台能自动吐出泛函的机器，而是一套判据：如果你找到了某个函数，它在平衡点附近是正的，并且沿着系统演化方向持续下降，那么这个系统就是稳定的。
问题就出在「如果你找到了」。
这几个字，几乎浓缩了无数控制理论研究者的眼泪。
就像老师告诉你，考试只要答对就能得分。
听着很有道理，实际等于没说。
在低维系统里，人们还能凭经验构造二次型丶四次型能量函数；在一些具有明确耗散机制的偏微分方程中，也能从物理总能量出发，修补出可用的泛函。
可mhd不同。
磁场丶速度场丶压强丶电流密度彼此纠缠，任何一个看似无害的交叉项，都可能在高频尺度被放大成一头咬人的怪物。
而磁重联更是专门负责掀桌子的。
你
（本章未完，请点击下一页继续阅读）