……
但找泛函，本身也是一個極其痛苦的過程。
對於高度非線性的MHD方程組，尋找李雅普諾夫泛函，就像是在一千個一模一樣的黑匣子裡，找出一把能開啟特定鎖的鑰匙。
數學史上，從來沒有一種尋找泛函的系統性通用解法。
數學界最常用的辦法，叫“猜測法”。
說白了，就是憑首覺硬猜。
猜一個能量函式的表示式，然後求導，看看它是不是負定的。如果不是，就修修補補；如果修不好，就推翻重猜。
這聽起來很不科學，甚至有點像老中醫摸脈。可它偏偏是控制理論裡最現實的日常。
李雅普諾夫本人在十九世紀末提出穩定性理論時，給出的並不是一臺能自動吐出泛函的機器，而是一套判據：如果你找到了某個函式，它在平衡點附近是正的，並且沿著系統演化方向持續下降，那麼這個系統就是穩定的。
問題就出在“如果你找到了”。
這幾個字，幾乎濃縮了無數控制理論研究者的眼淚。
就像老師告訴你，考試只要答對就能得分。
聽著很有道理，實際等於沒說。
在低維繫統裡，人們還能憑經驗構造二次型、西次型能量函式；在一些具有明確耗散機制的偏微分方程中，也能從物理總能量出發，修補出可用的泛函。
可MHD不同。
磁場、速度場、壓強、電流密度彼此糾纏，任何一個看似無害的交叉項，都可能在高頻尺度被放大成一頭咬人的怪物。
而磁重聯更是專門負責掀桌子的。
你以為自己構造了一隻平滑的碗，它冷不丁就在碗底撕開一道口子，讓原本該下降的量突然失去連續性。
這也是徐辰之前不得不升維、不得不碰到霍奇猜想的原因。
不是他喜歡給自己加難度，而是三維實空間己經把簡單路線堵得差不多了。
……
至於著名的洛倫茲系統，後來人們為了嚴格刻畫其吸引子與穩定區域，同樣花費了大量精力，去構造合適的能量估計與陷入區域。
那還只是一個包含三個變數的常微分方程組，卻己經足以讓無數研究者反覆調整係數、邊界與不等式。
當然也有一些更高階的套路，比如克拉索夫斯基方法、變數梯度法，或者利用系統的耗散結構去構造。
但在MHD方程這種無窮維的流體與電磁強耦合系統面前，這些傳統套路基本都不夠用了。
徐辰在白板上列出了幾個核心的物理守恆量：磁螺旋度、交叉螺旋度、總能量。
他決定用自己的頂級數學首覺，先把泛函的“形式”收窄到一個相對確定的引數空間。
比如，泛函必須包含某些特定的交叉項，指數範圍必須落在某個區間內。
。”1M“IA學數給扔，間空尋搜的小幅大被個這把，後然
。證驗架框和選篩輯邏的一第行進去IA讓
。住得穩能不能底到，下數引子離等的實真在它看看，解求值數度高做去上機算計級超的統傳到送，函泛選候的證驗IA過經把再，後最
”……了舉窮力暴似類點有經己這“
。下一了笑苦辰徐
。人驚得大量算計，來下走程流套這
。額配力算請申，心中算超的級頂國絡聯得計估，好搭架框等。了用夠不是定肯集叢力算的院究研等高國華
。程工大的力耗時耗個一是會定注這
……
