第78章 窄定理
第三十五年七月十三日，清晨。
江臨端著一杯熱氣騰騰的白開水，在滿是劃痕的工作檯前坐下。
打開那個他再熟悉不過的文件夾：【Narrow_Theorem_Draft】。
引理0.2的草稿，整整二十四頁的數學公式，正安靜地躺在屏幕中央。
最後一頁，也就是第二十四頁，大面積地空著。
那是七月一日，他決定背上行囊把自己流放到西北荒原之前，留下的最後一片空白。
當時他就是卡在這裡，差點把腦子裡的理智都燒乾了。
不是因為某個偏微分不等式找不到放縮的技巧。
這種純粹的數學體操，他在過去十年裡已經練得滾瓜爛熟。
也不是因為在套用某個Sobolev嵌入定理時忘了驗證邊界條件。
真正像一根鋼釘一樣卡進他大腦皮層的，是物理圖像。
為了讓引理0.2在邏輯上閉環，他之前在第十二頁強行構造了一個先驗估計。
從純粹的符號推導來看，那玩意兒勉強能寫下去，公式左邊能小於等於公式右邊。
但江臨每次看到那一頁，胃裡都會泛起一陣生理性的噁心。
太醜了。
那寫出來的東西，就像是為了在一片沼澤地上強行蓋樓，而胡亂搭起來的腳手架。
如果物理圖像是扭曲的，那建立在這之上的數學證明，不過是一場自欺欺人的文字遊戲。
但現在不一樣了。
他在那片死寂的荒原上，他帶回了一座巨大的金屬屍骸。
GIANT-NW-01。
本書首發 海量好書在 TW 看書網，𝘴𝘩𝘶.𝘵𝘸等你讀 ,提供給你無錯章節，無亂序章節的閱讀體驗
帶回了那座巨物頂部，十六根金屬輻條在空間中形成的非完美對稱的指向雲。
那座遺蹟並沒有開口說話，也沒有直接告訴他MHD方程該怎麼解。
但它給了江臨一個或許正確或許荒謬，但至少能夠被放上手術台去嚴厲審訊的新幾何直覺。
江臨滑動滾輪，把草稿翻回了第十二頁。
那個生硬的先驗估計正明晃晃地掛在那裡。
他拿起鉛筆，在草稿邊緣，用力寫下五個字。
【主方向場分解？】
然後把頁面拉回了第一頁，帶著那十六根金屬輻條給他的全新幾何視野，開始一頁頁重讀。
每讀完一頁，他都會在腦子裡停下來問自己三個尖銳的問題。
這一步，如果不用常規的各向同性估計去硬套，會怎麼樣？
這一步，如果把那個劇烈形變的活動層，不再視作一個均勻的坨狀物，而是視作一個具有強烈主出流方向的幾何對象，會怎麼樣？
這一步那些噁心的常數依賴，是不是終於可以從每次遇到不同形狀的初始電流片都要重新算，轉移到只需要一個統一的宏觀幾何上界就能鎖住？
第八頁有一個非常核心的能量估計。
舊版的寫法簡單粗暴，把磁流體能量中的對流分量和耗散分量強行拆開，分別用標準的泛函不等式去放縮估計，然後再把結果機械地加在一起。
結果就是，常數根本洗不乾淨。
那個放縮常數，就像是個甩不掉的幽靈，總會從某個不起眼的積分邊界項里，偷偷帶上初始條件的具體形狀信息。
這意味著如果電流片在演化中稍微扭曲一點，活動層稍微傾斜個幾度，這個常數就全變了。
常數一變，最後算出來的不穩定閾值就會跟著滿天飛。
這肯定不行。
窄定理之所以叫窄定理，是因為它的適用邊界窄。
但邊界再窄，定理的內在邏輯也必須是鐵板一塊。
不能搞成一案一議的狗皮膏藥。
江臨閉上眼。
那座矗立在灰藍色天空下的西北巨物，頂部的環形結構，在黑暗的視野里清晰地浮現出來。
十六根巨大的金屬輻條。
它們並不是為了平均受力而設計的嚴格等角分布。
也不是在爆炸中被炸飛的隨機發散。
每一根輻條都有自己獨特的微小偏角，但把它們作為一個整體時，它們卻義無反顧地指向了天空中的同一個主方向。
那個圖像依然沒有直接給他偏微分方程的解。
但它像一道劈開混沌的閃電，提醒了江臨一件極其本質的物理事實。
能量，憑什麼一定要被粗暴地拆成幾個無方向的標量再相加？
流體是有方向的，磁場也是有方向的。
為什麼不能順著系統的主方向場去進行投影分解？
在電流片的劇烈重聯中，那個等離子體高速噴射的主出流方向，就像是巨物輻條雲的那根核心主軸。
而橫向的，相對緩慢的磁擴散方向，就像是圍繞著主軸展開的那些細微偏角分量。
不同方向上的能量傳遞和耗散機制，簡直是天壤之別。
它們憑什麼要被同一個各向同性的 Sobolev常數強行壓在同一個模子裡？
江臨猛地睜開眼睛。
眼底布滿血絲，但亮得驚人。
他扯過一張嶄新的A4草稿紙。
【各向異性能量分解（Anisotropic Energy Decomposition）】
接著飛快地往下寫。
【長向（噴流）/薄向（層裂壓縮）/出流方向/擴散方向。拋棄全局各向同性，全部拆開，分別獨立估計。】
……
這一寫，就是整整四個小時。
中午，他煮了一鍋黃豆土豆，撒了一點鹽。
吃飯的時候，他的眼睛盯著牆壁，腦子裡算力全開，那條新構建的各向異性估計鏈像瀑布一樣在他眼前瘋狂沖刷。
下午，繼續。
推翻，重算，遇到奇異積分，查資料，找新的權重函數，再算。
一直到傍晚六點，外面的天色重新暗淡下來，新版的第八頁才終於寫完。
舊版，只有短短的一頁。
新版，洋洋灑灑七頁。
推導過程變得更長，甚至在某些步驟上，顯得繁瑣和笨拙。
但是，江臨看著那七頁密密麻麻的推導，嘴角終於露出了笑意。
因為每一個常數，現在都乾淨得像蒸餾過。
每一個嵌入定理的使用，都在旁邊清清楚楚地寫明了對區域形狀的具體要求。
每一次不等式放縮，都像給零件打鋼印一樣，精準地標註了依賴項。
只依賴於固定的外部域。
只依賴於活動層長寬比的宏觀上界。
只依賴於統一的初值能量上限。
只依賴於系統本身的Lundquist數等參數。
只依賴於宏觀的邊界條件。
那個具體樣本細節形狀的幽靈，終於被他徹底斬斷，從這七頁紙里被永遠地驅逐了出去。
他從頭到尾，逐字逐句地讀了一遍這七頁新稿。
非常克制地寫下一句：
【第八頁局部修復驗證，可行。】
數學證明是一台極其嚴密的齒輪組，前面第八頁的常數體系一變，後面所有依賴這條估計鏈的步驟，就像多米諾骨牌一樣，全部都要推倒重寫。
第三十五年七月十四日，江臨開始攻堅第九頁。
七月十五日，死磕第十頁。
七月十六日，強推第十一頁。
……
每一頁都要打碎了重新寫，每走一步，他都要停下來，像個神經質一樣反覆質問自己。
這個所謂的主方向場，在當前的非線性對流項里，具體對應的代數結構到底是什麼？
那個橫向擴散的偏角，在Sobolev空間裡應該怎麼用數學語言嚴密定義？
權重函數該怎麼選，才能既壓住奇異性，又不破壞邊界的正則性？
這套各向異性範數，在算到最高階導數的時候，到底能不能閉合？
那些討厭的邊界項，會不會從那個越來越薄的薄向里鑽出來，反咬一口把常數搞炸？
……
江臨每天雷打不動地坐在書桌前，高強度工作六到八個小時。
剩下的時間，他必須強迫自己停下來，去維護設備，去喝水，去睡覺。
五十三歲的身體，如果一天敢坐十個小時，第二天頸椎和腰椎就會當場罷工。
整個八月，石屋外偶爾會颳起恐怖的沙塵暴，天空被染成暗紅色。
但石屋內的江臨，仿佛與世隔絕，只有紙筆摩擦的聲音在對抗著外界的狂暴。
第三十五年八月底。
引理0.2全部重寫完成。
新版草稿，一共三十八頁。
比舊版的二十四頁，足足多出了十四頁。
但江臨把這三十八頁拿在手裡，感覺到的不是冗長，而是順暢。
舊版的證明，像是一個為了糊弄審查而硬搭起來的醜陋腳手架。
新版的證明，雖然繁複，但當你透過那些密密麻麻的各向異性指標看進去時，你能清晰地看見一條強有力的物理主梁貫穿始終。
江臨快速通讀第一遍，在最後一頁的底部，寫下——
【可信度：中高。】
【需進行脫離上下文的獨立審閱。】
寫完，他把這疊厚厚的草稿用夾子夾好，直接塞進了抽屜的最底端。
然後，整整一周時間，他不看，不改。不碰。
連腦子裡都不去想那些公式。
每天只是去外面敲敲打打，甚至坐在台階上看著遠處的沙丘發呆。
第三十五年九月初。
江臨拉開抽屜，重新拿起了那三十八頁引理0.2。
這一次，他不再是作者，而是一個抱著挑刺心態的審稿人，逐行逐句地審。
如果推導邏輯嚴絲合縫，就在旁邊打一個極小的 ✓。
如果覺得某一步跨度太大，或者隱式用了一個沒有聲明的條件，就打一個 ？。
如果發現實質性錯誤，就打一個 ×。
五天之後，三十八頁草稿全部審完。
滿篇的紅痕。
統計結果：四十九個✓。
三個？。
零個×。
看到零個× 的時候，江臨長長地呼出了一口濁氣。
大框架沒有崩塌，這條路走通了。
剩下的三個問號，分別出現在第十九頁、第二十六頁和第三十三頁。
第十九頁的那個問號，是因為在處理耗散項時，有一個常數的來源追蹤寫得不夠清晰，有混淆的嫌疑。
江臨拿出一張白紙，從頭把那個不等式重新算了一遍，補上了兩行關鍵的過渡說明。
邏輯閉環，成立。
第二十六頁的問號，是因為他在連續寫了四個小時後腦子發昏，一個二階 Sobolev 嵌入的指數寫得太快，少考慮了一個維度的折損。
他打開工作站，點開Brezis的泛函分析教材，查對對應章節，把條件補齊。
修改通過。
第三十三頁的問號，最棘手。
那是一個涉及到邊界流出條件的積分項，處理方式雖然沒錯，但在各向異性的框架下顯得極度不自然，像是在強行湊結果。
江臨盯著那一頁看了一下午。
最後，他放棄了直接放縮，換成了一種更底層的外部固定域延拓的寫法。
結果出奇的乾淨，那些討厭的邊界尾巴全被切掉了。
三個紅色的問號，全都被他用黑筆重重地劃掉，改成了三個對勾。
第三十五年九月十六日。
引理0.2正式版，在工作站里敲制完成並生成PDF。
四十一頁。
【引理0.2：局部強解提升與各向異性能量分解】
【狀態：完成。】
【日期：第三十五年九月十六日。】
江臨打開【Narrow_Theorem_Draft】根目錄下的 README 文件，更新進度。
【引理0.1：有限時間弱解存在性與條件唯一性。狀態：完成。】
【引理0.2：弱解到局部強解的提升；各向異性能量分解。狀態：完成。】
【備註：引理0.2 中所使用的關鍵的各向異性估計技巧，其物理直覺極有可能直接來源於現場勘察GIANT-NW-01（疑似潮波監測裝置）時，其頂部輻條指向雲所展現的宏觀幾何結構。】
【這種跨領域的直覺啟發來源，在現代數學體系中無法被嚴密證明。】
【但作為歷史事實，特此記錄。】
敲完最後一行，他點擊保存，關掉代碼編輯器。
然後給自己倒了一杯溫水，慢慢喝下。
因為他心裡比誰都清楚，引理 0.1 和引理 0.2，加在一起足足六十多頁的推導，說到底，都只不過是跨過這道門檻的門票。
它們證明了在這個窄模型下，解是存在且不亂跑的。
門檻跨過去了。
後面要寫的，才是能決定生死存亡的窄定理核心。
第三十五年九月底，廢土的氣溫開始斷崖式下跌。
江臨開始提筆撰寫引理 0.3。
在最初的草案里，這個引理的舊標題雄心勃勃，叫做【有限時間奇異性（Finite Time Singularity）】
江臨在屏幕前盯著這幾個字，按下退格鍵。
刪掉。
這個標題太大，也太傲慢了。
更重要的是，它極度危險。
在二維不可壓電阻MHD方程組裡，電阻擴散項本身就帶著極其強大的正則化作用。
就像是一個天然的緩衝墊，隨時準備抹平那些尖銳的梯度。
在這種系統里，貿然在標題里寫下強解有限時間奇異性這種字眼，等於直接把自己光著膀子推到了千禧年七大數學難題那個級別的開放性難題的懸崖邊上。
他要證明的，不是整個宏大的MHD系統會在有限時間內爆炸崩潰。
他也不打算去證明真實的電流片在物理世界中，到底會完完整整地碎裂成幾段，幾十段小磁島。
真實的非線性演化太複雜了，算力都不夠，人力更不可能解析出來。
他要證明的，僅僅是屬於他這個窄模型中極其克制的一件事。
一個經典的Sweet-Parker型長薄電流片（這是一種理想化的背景穩態），在滿足了某個特定的門控條件後，會失去穩定性。
在它的內部，必然會存在一族被稱為 Tearing或Plasmoid的擾動模態。
只要這些擾動模態的線性增長率，在某個有限的時間窗口內，能夠跑贏背景電阻帶來的耗散平滑率，這就足夠了。
只要跑贏了，就意味著單一的長而平滑的電流片，在這個窄模型中不再是一個穩定主導結構。
它會給plasmoid胚胎留下增長窗口。
至於這個窗口在真實等離子體裡能不能演化成完整快重聯，還要看後續非線性過程、邊界條件和更小尺度物理是否接管。
但作為G-index的Plasmoid門，這已經足夠。
江臨重新敲下更加嚴謹的標題。
【引理0.3】
【長薄電流片背景態的 plasmoid / tearing 模態失穩】
這個標題很窄，限制條件多得像裹腳布。
但它能在嚴苛的數學和物理審查下，牢牢地站住腳。
為了方便推導，他把這個龐大的引理 0.3，再次大卸八塊，拆成了三個子引理。
【子引理0.3.1：在特定門控條件下，存在增長率超過背景耗散率的微擾動模態。】
【子引理0.3.2：系統能量泛函在磁島鏈擾動方向上失去正定性，且最不穩定模態可給出初始 plasmoid 胚胎的特徵波數。】
【子引理0.3.3：在純電阻MHD的理論框架內，給出二級薄片厚度演化的尺度下界估計，並嘗試將其與外部系統的Hall特徵尺度d_i建立比較關係。】
三個子引理。
每一個，單獨拿出來，都比那種動輒號稱統一磁重聯終極理論的宏大敘事要小得多。
小到甚至讓某些理論物理同行覺得有些寒酸。
但江臨認為，也正是因為它們足夠小，邊界足夠清晰，它們才在這個充滿了不確定性的廢土世界裡，真正有可能被人類的大腦嚴格證明。
第三十五年十月。
手裡的數學工具箱已經準備完畢的江臨，以那個二維不可壓電阻MHD的長薄電流片作為絕對背景態，小心翼翼地寫出了系統的線性化擾動方程。
在這裡，擾動絕對不是隨便在紙上畫兩條波浪線那麼簡單。
引入的微小擾動，必須極其嚴格地滿足系統的宏觀邊界條件。
必須完好無損地落在引理0.2千辛萬苦給出的強解控制框架裡面，不能產生數學上的越界。
更關鍵的是，這個擾動，必須能夠被他剛剛發明的那套各向異性能量範數給穩穩地接住，而不會讓積分結果發散。
江臨像個極其精細的鐘表匠，把擾動模態沿著活動層的主方向場進行一層一層的剝離和分解。
長向上的特徵波數。
薄向上的邊界層內部結構。
磁擴散層的局部厚度演化。
作為宏觀參數的無量綱Lundquist數。
電流片的宏觀長寬比。
至於最讓人頭疼的湍流，在這裡被江臨極其克制地限制住了。
湍流強度僅僅被允許作為一個微弱的弱擾動參數進入系統，絕對不允許它跨過閾值，進入那種直接把模型撕得粉碎的強湍流提前接管區。
這是窄定理的紅線。
整個推導過程沒有任何戲劇性可言，只有草稿紙上一天比一天厚重的墨跡。
六周之後。
外面的初雪已經覆蓋了前哨站的台基。
江臨終於從那一堆令人眼花繚亂的算子譜分析中，拔出了第一條結論。
結果顯示，當那個經過極其複雜組合的簡化門控量超過了某個臨界閾值時，系統的線性算子譜中，必然會存在一族特徵值實部為正的擾動模態。
而且，這族模態的增長率，實打實地超過了背景電阻的擴散耗散率。
雖然這在數學上絕不等於系統此時已經發生了宏觀的碎裂。
但這已經無可辯駁地說明了一個物理事實。
那個教科書里單一的Sweet-Parker型長片態，已經病入膏肓，不再穩定了。
子引理0.3.1，完成。
正式稿，二十九頁。
這二十九頁沒有解決磁重聯，甚至沒有真正寫出一顆plasmoid。
但它把一件過去只能用物理直覺描述的事，第一次釘進了線性算子的譜里。
在這之前，長電流片會撐不住只是圖像，是數值模擬里的圖，是綜述論文裡的箭頭。
是教科書上那句輕飄飄的在高 Lundquist數下可能發生plasmoid instability。
而現在，在他自己的窄模型里，這句話變成了一個可以被審查的數學判斷。
存在一族擾動模，增長率超過耗散率，Sweet-Parker型單片態失去線性穩定性。
這就是第一枚楔子。
它還不能撬開整座山，但它已經楔進去了。
第三十五年十二月。
江臨迎來了整座窄定理長城中最難啃的一塊硬骨頭。
子引理0.3.2。
之所以說它最難，是因為它要求江臨把對系統的判斷，從之前子引理0.3.1那種純粹的特徵值增長率的代數判斷，向前推進一大步，推進到一個在物理圖像上，必須非常接近真實plasmoid的三維拓撲結構的東西。
但他又必須極度克制。
絕對不能在證明里寫下由此嚴格證明電流片必然碎成N個具體的短片段這種蠢話。
因為只要懂點等離子體物理的人都知道，真實的拓撲變化，涉及到極其慘烈的非線性演化，複雜的邊界反射反饋，網格計算帶來的數值耗散，甚至是到了微觀尺度後 Hall效應或全動理學效應的強制接管。
江臨現在手裡的這個被閹割過無數次的窄模型，根本沒有資格，也沒有肚子去吃下這麼龐大的物理過程。
他要證明的，是隱藏在更深處也更窄的東西。
在那個臨界的門控條件下，系統整體的能量泛函的二階變分，會在某一族特定的磁島鏈擾動方向上，徹底失去它的正定性。
泛函失去正定性，出現負方向。
在物理上就意味著只要系統沿著這些特定的負方向去擾動，系統的總能量不僅不會增加阻力，反而會順勢下降。
這些負方向，就是那些即將誕生的 plasmoid的初始胚胎。
而這群胚胎中，那個能量下降最快最不穩定的模態，就能反向給出初始磁島鏈的典型特徵波數。
第一遍嘗試，江臨天真地選擇了直接構造法。
他試圖在紙上，硬生生地把一個長電流片的解，分段拼接成多個短片段的解，然後去證明這種拼接狀態的能量更低。
結果成就了一場數學上的災難。
他日以繼夜地寫了五十多頁的草稿，試圖用各種光滑截斷函數去縫合那些斷點。
不料那些拼接處根本無法同時滿足苛刻的物理邊界條件。
如果強行用數學技巧把它們弄連續了，系統能量在拼接點處就會出現非物理的巨大跳變，直接把誤差帶爆。
如果不弄連續，那這就不是偏微分方程的弱解，之前引理0.1和0.2的前提全盤作廢。
五十多頁，接近一個月的心血，全部報廢。
江臨沒有感到可惜，更沒有沮喪。
在廢土上活了一百多年，他早就明白了一個道理，在未知的荒野里，一條走不通的路被死死封上，是一件大好事。
因為它至少用鐵一樣的邏輯告訴你，別在這條路上浪費生命了。
時間來到第三十六年一月，廢土進入最嚴酷的深冬。
江臨開始了第二遍衝鋒。
既然直接構造走不通，那就換思路，改用反證法加上能量泛函臨界點分析。
如果那個單一的長片態仍然是穩定的，那麼系統的能量泛函，在所有被物理允許的微小擾動方向上，它的二階變分都應該老老實實地保持大於零的正定性。
這就像是一個小球安穩地停在碗底，不管往哪個方向推，都會遇到向上的阻力。
但是，根據之前子引理0.3.1的結論，在觸發了門控條件後，系統的線性化擾動譜中，實打實地出現了一族增長模態。
而這族增長模態對應的擾動方向場，必然會使得能量泛函的二階變分計算出現負值。
如此一來，反證成立。
單片態絕對不再是局部的能量極小結構。它就像是一個停在馬鞍面上的球，只要沿著某些特定的擾動方向稍微一推，它就不再擁有局部穩定結構。
至於後續會滑向哪一種非線性形態，不屬於這個引理能夠回答的問題。
二月。
江臨忍著嚴寒，用凍得有些僵硬的手，一層層剝開二階變分的複雜積分項。
三月。
春風還沒吹到廢土，他已經一頭扎進了極其晦澀的局部譜估計中。
四月初。
第二遍的草稿終於宣告完成。
整整六十七頁。
比之前失敗的嘗試還要厚。
就在他以為終於可以鬆一口氣，開始交叉審稿的時候，冷汗突然順著他的脊背流了下來。
在第五十二頁，他發現了一個隱患。
為了控制某個高頻振盪項，他在放縮時順手借用了一個全局譜半徑估計的定理。
在無界全空間裡，這個估計當然沒問題。
但是，在這個狹窄的電流片模型里，在某些特定的宏觀邊界條件下，這個全局估計根本就不成立。
算子在邊界附近會產生強烈的回波反射，直接把譜半徑給撐爆。
改。
不能要求全局成立。
那是自尋死路。
改成局部譜估計。
這套證明不需要在整個相空間裡都無懈可擊。
只要要求它在那個發生失穩的臨界態鄰域內部，在有限的時間窗口內成立，就足夠了。
對於他那極度克制的窄定理來說，這種局部成立，已經足夠完成邏輯閉環。
第五十二頁被他無情拋棄。
局部的加權範數被引入，錯誤的源頭被死死摁住。
剩下的六個帶有疑問的放縮點，也在接下來的一周內，被他用各種數學技巧逐一澄清擊破。
第三十六年四月中旬，子引理0.3.2，艱難完成。
江臨點開那個仿佛有千斤重的 README 文檔，極其鄭重地敲下。
【子引理0.3.2：能量泛函在磁島鏈擾動方向上的非正定性，以及最不穩定模態的確定。狀態：完成。】
【高度注意：該引理在數學上絕對沒有證明完整的非線性拓撲重構過程。它僅僅只是證明了，系統在初始plasmoid胚胎方向上發生了不可逆的失穩。】
江臨特意把高度注意這幾個字加粗，甚至恨不得把它們標紅。
但在這行警告下面，他又單獨寫了一行。
【這是窄定理的脊樑。】
因為他自己知道，這一步到底有多重。
子引理0.3.1隻告訴他，有東西在長。
可有東西在長，並不等於它會長成 plasmoid。
可能是邊界振盪，可能是數值偽影，可能是一個漂亮但沒有物理指向的譜不穩定。
子引理0.3.2不同。
它把那個增長模態，壓進了能量泛函的幾何結構里。
負方向不是隨便一個方向，是磁島鏈擾動方向。
最不穩定模態不是一個抽象特徵值，它對應初始 plasmoid 胚胎的特徵波數。
這意味著，江臨第一次在自己的推導里，看見了那條從慢模型失穩通往快重聯入口的具體幾何通道。
很窄，很苛刻。
但它不是幻覺。
第三十六年四月底。
江臨沒有停歇，立刻轉入了最後一個戰役。
子引理0.3.3。
目標：對系統層裂後產生的二級薄片的尺度，進行下界估計。
這一步的定位非常微妙。
它不是去證明什麼高大上的Hall物理效應。
因為在純粹的單流體電阻MHD框架下，系統里根本就沒有包含正負電荷分離的機制，物理上絕對推導不出 Hall 效應。那個大名鼎鼎的d_i，是一個實打實的外部尺度。
它屬於更底層的Hall-MHD模型，或者是全動理學框架才能處理的東西。
江臨的窄定理，只能在這個被閹割的純電阻MHD世界裡，利用能量守恆和幾何約束，去估算一下那個不斷被擠壓層裂的二級薄片，它最薄最薄，到底可能會落到哪個微觀尺度區間？
估算出來之後，再把這個純數學推導出來的尺度下界，同那個代表真實物理世界的外部特徵尺度d_i進行簡單的比較。
如果估算出來的二級薄片厚度下界，仍然遠遠大於d_i，那對不起，系統仍然只能乖乖停留在由碰撞主導的電阻MHD通道里。
但如果，這個被不斷擠壓的厚度下界，開始逼近了d_i的量級，那就意味著，在真實的等離子體世界裡，更底層的Hall通道那扇隱藏的門，可能即將被撞開，迎來無碰撞快重聯的全面接管。
這一步，其實已經脫離了窄定理純數學自洽的範疇。
它是窄定理這個孤島，試圖向外部更宏大的G-index體系的Hall門，艱難地拋出的一根接口數據線。
江臨用了整個第三十六年的春末和漫長的夏天，在這個極其繁瑣的標度推導泥潭裡跋涉。
思路被他嚴格分成了四步。
第一，在子引理 0.3.2 給出的臨界態附近，提取出那個最不穩定模態對應的特徵波數。
第二，利用傅立葉分析，將這個特徵波數反演，對應到物理空間中，就是初始磁島鏈的典型空間間距。
第三，結合磁流體能量守恆定律，以及他發明的各向異性範數對形變的控制，死死咬住不放，最終榨出二級薄片厚度的理論下界估計算式。
第四，把這個包含了一堆宏觀參數的算式，拿去和外部尺度d_i作數量級比較，圈定出Hall效應可能接管的嫌疑區間。
推導出來的公式醜陋無比。
長長的一大串，包含了各種根號、對數項和經驗常數。
這種缺乏數學對稱美的怪物公式，絕對不適合堂而皇之地寫在正文裡去噁心人。
江臨極其務實地把它塞進了附錄里。
而在主文的結論部分，他只寫下了乾淨純粹的物理標度關係。
【定理推論：二級薄片厚度的理論下界，並非由單一參數決定。它由系統的Lundquist數S、初始電流片的宏觀長寬比、初始湍流的微弱擾動強度，以及宏觀邊界的幾何約束，共同控制。】
【當該厚度下界在數量級上逼近離子慣性尺度d_i時，Hall通道存在接管可能；若仍遠大於d_i，系統大概率仍停留在單流體MHD通道內。】
第三十六年九月十七日，子引理 0.3.3，宣告完成。
在這枯燥的證明結束後，江臨做了一件本不屬於嚴格數學推導範疇，但作為物理學家，他絕對無法抗拒的事。
他打開了之前那個名為【G_Index_Attack】的文件夾，調出他在處理一千八百個複雜分層樣本時，利用機器學習和統計學暴力擬合出來的G-index V0.1的現象學拐點。
那是一個沒有任何先驗理論支撐的統計數字。
經驗門控拐點：G_c=1.93 pm0.07。
然後，他調出了他剛剛在子引理 0.3.3 中，用純粹的數學演繹法，用一套套複雜的不等式和各向異性範數推導出來的窄模型理論門控區間。
為了能在同一個度量衡下比較，他小心翼翼地把理論推導的宏觀參數，折算到了與現象學樣本相同的標度口徑下。
幾行簡單的代碼跑完，屏幕上跳出了一個區間中心值：
理論推導區間中心：約1.89pm0.09。
1.93。
1.89。
它們如此接近。
誤差棒在中間產生了極其明顯的交疊。
江臨盯著屏幕，整整三分鐘沒有動。
那不是兩個漂亮數字那麼簡單。
1.93，是他從一千八百個分層樣本里，一點一點篩出來的經驗拐點。
裡面有太陽耀斑，有磁層亞暴，有托卡馬克撕裂模，有實驗室重聯，有數值模擬。
有髒數據，有缺參數，有被他反覆剔除的垃圾樣本，也有他熬了五年才勉強整理乾淨的A級樣本。
1.89，則來自另一條完全不同的路。
來自二維電阻 MHD，來自局部強解，來自各向異性能量分解，來自能量泛函二階變分，來自局部譜估計，來自那一百多頁讓他在寒冬里寫到手指僵硬的推導。
一邊是觀測，模擬，實驗堆出來的渾濁世界。
一邊是被他削到只剩骨架的窄模型。
兩個數字，在同一個區間裡相遇了。
這一刻，G-index V0.1不再只是一片有方向的雲。
至少它的Plasmoid門，不再只是雲。
它下面有骨頭。
江臨忍著激動與興奮，在工作日誌里，用一種近乎刻板的嚴謹寫道。
【比較結果：值得高度重視。】
因為在現代科學的嚴酷標準下，這絕對不能算作嚴格的獨立驗證。
G-indexV0.1的經驗公式形式，在最初構建的時候，本來就是受到了經典磁重聯標度率的啟發而拼湊的。
而他這個窄定理里定義的門控量，也不是從絕對的真空中無中生有蹦出來的。
這兩條攀登路線，雖然一條是從海量樣本里硬挖出來的歸納法，另一條是從PDE底部硬推出來的演繹法。
但它們在深層，其實共享了一些基礎的物理變量，共享了關於重聯層的物理圖像假設，甚至共享了部分對極端樣本的分類排除邏輯。
它們沒有互相餵數，沒有聯合造假。
一個來自於渾濁但龐大的分層樣本海中的現象學統計拐點。
一個來自於極其狹窄，極度純粹的模型中的嚴密標度推導。
它們能夠極其幸運地落在同一個區間裡，或許不能宣告終極真理的降臨。
但它至少說明了一件事。
這條窄路沒有在第一輪數學審訊里當場死亡。
他走的這條艱難的窄路，沒有在第一輪冰冷的數學邏輯審訊中，當場暴斃。
【第三十六年九月十七日。】
【子引理 0.3.3 完成。】
【窄模型理論門控區間中心約1.89± 0.09。】
【現象學經驗統計拐點1.93±0.07。】
【二者誤差區間發生明顯重疊。】
【科學說明：由於底層邏輯的相關性，此結果絕對不能被視為完全獨立的雙盲驗證。】
【但該結果可謹慎視為：G-indexV0.1 體系中那個龐大的Plasmoid門，在極簡的窄模型假設下，終於獲得了堅實的數學物理推導支撐。】
【限制聲明：本模型完全不包含Hall動力學本身的過程演化，完全排除強湍流的提前接管效應，不涉及三維空間破缺，沒有處理複雜的多迴路集體響應機制，更無法解釋北方極光紅帶的成因。】
【這一次，窮盡三十六年所學，我沒有證明整座山。】
【我只證明了一扇門。】
【但這扇門能承重。】
【它能把現象學的雲，廢土現場的幾何直覺，二維電阻MHD的窄模型，壓到同一塊地基上。】
【這不是終點，是第一根鋼樁。】
【未來，說不定它還能被放進核聚變這種龐大的工程體系里，起到一點作用。】
第三十六年九月底。
隨著最後幾個積分號的驗證結束，極其龐大的引理0.3，宣告全部完成。
江臨點開了包含所有定理證明的子文件夾README，做最後的匯總。
【引理0.1：有限時間弱解存在性與條件唯一性。狀態：完成。頁數：23頁。】
【引理0.2：局部強解提升與極其關鍵的各向異性能量分解。狀態：完成。頁數：41頁。】
【引理0.3：長薄電流片背景態的 plasmoid/tearing 模態失穩，及二級薄片特徵尺度估計。狀態：完成。頁數：142頁。】
【總體性質定位：極端窄模型下的純數學物理推導結果。】
【模型硬性不含：Hall效應全演化、強湍流干擾、三維拓撲破缺、宏觀多迴路集體響應。】
【剩餘終極工作：進行形式化整理，將草稿轉化為可接受同行審查的主定理與正式論文預稿。】
第三十六年十月，直到第三十七年的三月。
江臨迎來了一場另一種形式的苦役。
形式化整理。
把堆積如山的草稿和證明，整理成符合現代學術規範的正式Paper，其痛苦程度，甚至比在荒野里摸黑證明引理本身還要折磨人。
每一個從之前草稿里提煉出來的主定理，都必須在開頭用極度枯燥的數學語言，清清楚楚地寫明前提假設。
每一個看似常識的前提，都要在後面加上括號，寫出它在物理世界裡對應的適用邊界。
引理中推導出來的每一個中間結論，在搬到主定理中時，絕對不能為了句子的通順而有絲毫的偷換概念。
每一個在前文被引用過的公式不等式，都要像法庭舉證一樣，嚴密地對應到附錄里的引理編號。
每一個曾經讓他頭疼無比的積分常數 C，在最終成稿時，都要附帶一個長長的角標，標明它到底死死依賴於哪些系統參數。
更折磨人的是用詞。
一旦他想在主文的摘要或結論里，使用諸如臨界、閾值、極其不穩定這種在物理學界極其抓人眼球的詞彙時，他的手腕就像是被戴上了沉重的鐐銬。
他必須立刻在腳註或者後面的段落里，像個喋喋不休的老媽子一樣補充說明，這些宏大的詞彙，僅僅，而且只能屬於這個條件苛刻的窄模型範疇。
任何試圖將結論無限外推，試圖用這篇論文去一統物理學江湖的衝動，都會被他自己毫不留情地掐死在鍵盤上。
第三十七年三月底。
這一篇純粹的數學物理論文內部預稿，終於完成了排版。
【二維電阻MHD長薄電流片的Plasmoid門控閾值估計】
（英文題名：Threshold Estimate for Plasmoid-Gated Instability of Long Current Sheets in 2D Resistive MHD）
第一節：引言與背景。
第二節：簡化模型方程與嚴苛的適用邊界聲明。
第三節：核心主要結果綜述。
第四節：基礎框架——弱解的有限時間存在性。
第五節：技術核心——強解提升與各向異性能量分解（在此特別感謝某種未具名的幾何直覺啟發）。
第六節：失穩機制——擾動模態選取與能量泛函二階變分分析。
第七節：標度推導——二級薄片尺度極小下界估計。
第八節：交叉對比——與經驗體系G-indexV0.1中Plasmoid門的對應數值關係探討。
第九節：研究限制與未來極其龐大的未解決問題列表。
參考文獻：一份跨越了半個世紀。多達數百篇的龐大索引。
附錄 A：複雜的各向異性Sobolev空間嵌入估計過程。
附錄 B：邊界條件下的局部譜分析與算子估計細節。
附錄 C：經驗現象學拐點與純理論推導數值的口徑換算過程。
正文內容：精煉到了八十七頁。
高度複雜的技術附錄：三十五頁。
為了保證邏輯絕對嚴密，不允許任何易證同理可得字眼出現的完整補充證明材料，足足二百零六頁。
總計：三百二十八頁。
江臨端著一杯熱氣騰騰的白開水，在滿是劃痕的工作檯前坐下。
打開那個他再熟悉不過的文件夾：【Narrow_Theorem_Draft】。
引理0.2的草稿，整整二十四頁的數學公式，正安靜地躺在屏幕中央。
最後一頁，也就是第二十四頁，大面積地空著。
那是七月一日，他決定背上行囊把自己流放到西北荒原之前，留下的最後一片空白。
當時他就是卡在這裡，差點把腦子裡的理智都燒乾了。
不是因為某個偏微分不等式找不到放縮的技巧。
這種純粹的數學體操，他在過去十年裡已經練得滾瓜爛熟。
也不是因為在套用某個Sobolev嵌入定理時忘了驗證邊界條件。
真正像一根鋼釘一樣卡進他大腦皮層的，是物理圖像。
為了讓引理0.2在邏輯上閉環，他之前在第十二頁強行構造了一個先驗估計。
從純粹的符號推導來看，那玩意兒勉強能寫下去，公式左邊能小於等於公式右邊。
但江臨每次看到那一頁，胃裡都會泛起一陣生理性的噁心。
太醜了。
那寫出來的東西，就像是為了在一片沼澤地上強行蓋樓，而胡亂搭起來的腳手架。
如果物理圖像是扭曲的，那建立在這之上的數學證明，不過是一場自欺欺人的文字遊戲。
但現在不一樣了。
他在那片死寂的荒原上，他帶回了一座巨大的金屬屍骸。
GIANT-NW-01。
本書首發 海量好書在 TW 看書網，𝘴𝘩𝘶.𝘵𝘸等你讀 ,提供給你無錯章節，無亂序章節的閱讀體驗
帶回了那座巨物頂部，十六根金屬輻條在空間中形成的非完美對稱的指向雲。
那座遺蹟並沒有開口說話，也沒有直接告訴他MHD方程該怎麼解。
但它給了江臨一個或許正確或許荒謬，但至少能夠被放上手術台去嚴厲審訊的新幾何直覺。
江臨滑動滾輪，把草稿翻回了第十二頁。
那個生硬的先驗估計正明晃晃地掛在那裡。
他拿起鉛筆，在草稿邊緣，用力寫下五個字。
【主方向場分解？】
然後把頁面拉回了第一頁，帶著那十六根金屬輻條給他的全新幾何視野，開始一頁頁重讀。
每讀完一頁，他都會在腦子裡停下來問自己三個尖銳的問題。
這一步，如果不用常規的各向同性估計去硬套，會怎麼樣？
這一步，如果把那個劇烈形變的活動層，不再視作一個均勻的坨狀物，而是視作一個具有強烈主出流方向的幾何對象，會怎麼樣？
這一步那些噁心的常數依賴，是不是終於可以從每次遇到不同形狀的初始電流片都要重新算，轉移到只需要一個統一的宏觀幾何上界就能鎖住？
第八頁有一個非常核心的能量估計。
舊版的寫法簡單粗暴，把磁流體能量中的對流分量和耗散分量強行拆開，分別用標準的泛函不等式去放縮估計，然後再把結果機械地加在一起。
結果就是，常數根本洗不乾淨。
那個放縮常數，就像是個甩不掉的幽靈，總會從某個不起眼的積分邊界項里，偷偷帶上初始條件的具體形狀信息。
這意味著如果電流片在演化中稍微扭曲一點，活動層稍微傾斜個幾度，這個常數就全變了。
常數一變，最後算出來的不穩定閾值就會跟著滿天飛。
這肯定不行。
窄定理之所以叫窄定理，是因為它的適用邊界窄。
但邊界再窄，定理的內在邏輯也必須是鐵板一塊。
不能搞成一案一議的狗皮膏藥。
江臨閉上眼。
那座矗立在灰藍色天空下的西北巨物，頂部的環形結構，在黑暗的視野里清晰地浮現出來。
十六根巨大的金屬輻條。
它們並不是為了平均受力而設計的嚴格等角分布。
也不是在爆炸中被炸飛的隨機發散。
每一根輻條都有自己獨特的微小偏角，但把它們作為一個整體時，它們卻義無反顧地指向了天空中的同一個主方向。
那個圖像依然沒有直接給他偏微分方程的解。
但它像一道劈開混沌的閃電，提醒了江臨一件極其本質的物理事實。
能量，憑什麼一定要被粗暴地拆成幾個無方向的標量再相加？
流體是有方向的，磁場也是有方向的。
為什麼不能順著系統的主方向場去進行投影分解？
在電流片的劇烈重聯中，那個等離子體高速噴射的主出流方向，就像是巨物輻條雲的那根核心主軸。
而橫向的，相對緩慢的磁擴散方向，就像是圍繞著主軸展開的那些細微偏角分量。
不同方向上的能量傳遞和耗散機制，簡直是天壤之別。
它們憑什麼要被同一個各向同性的 Sobolev常數強行壓在同一個模子裡？
江臨猛地睜開眼睛。
眼底布滿血絲，但亮得驚人。
他扯過一張嶄新的A4草稿紙。
【各向異性能量分解（Anisotropic Energy Decomposition）】
接著飛快地往下寫。
【長向（噴流）/薄向（層裂壓縮）/出流方向/擴散方向。拋棄全局各向同性，全部拆開，分別獨立估計。】
……
這一寫，就是整整四個小時。
中午，他煮了一鍋黃豆土豆，撒了一點鹽。
吃飯的時候，他的眼睛盯著牆壁，腦子裡算力全開，那條新構建的各向異性估計鏈像瀑布一樣在他眼前瘋狂沖刷。
下午，繼續。
推翻，重算，遇到奇異積分，查資料，找新的權重函數，再算。
一直到傍晚六點，外面的天色重新暗淡下來，新版的第八頁才終於寫完。
舊版，只有短短的一頁。
新版，洋洋灑灑七頁。
推導過程變得更長，甚至在某些步驟上，顯得繁瑣和笨拙。
但是，江臨看著那七頁密密麻麻的推導，嘴角終於露出了笑意。
因為每一個常數，現在都乾淨得像蒸餾過。
每一個嵌入定理的使用，都在旁邊清清楚楚地寫明了對區域形狀的具體要求。
每一次不等式放縮，都像給零件打鋼印一樣，精準地標註了依賴項。
只依賴於固定的外部域。
只依賴於活動層長寬比的宏觀上界。
只依賴於統一的初值能量上限。
只依賴於系統本身的Lundquist數等參數。
只依賴於宏觀的邊界條件。
那個具體樣本細節形狀的幽靈，終於被他徹底斬斷，從這七頁紙里被永遠地驅逐了出去。
他從頭到尾，逐字逐句地讀了一遍這七頁新稿。
非常克制地寫下一句：
【第八頁局部修復驗證，可行。】
數學證明是一台極其嚴密的齒輪組，前面第八頁的常數體系一變，後面所有依賴這條估計鏈的步驟，就像多米諾骨牌一樣，全部都要推倒重寫。
第三十五年七月十四日，江臨開始攻堅第九頁。
七月十五日，死磕第十頁。
七月十六日，強推第十一頁。
……
每一頁都要打碎了重新寫，每走一步，他都要停下來，像個神經質一樣反覆質問自己。
這個所謂的主方向場，在當前的非線性對流項里，具體對應的代數結構到底是什麼？
那個橫向擴散的偏角，在Sobolev空間裡應該怎麼用數學語言嚴密定義？
權重函數該怎麼選，才能既壓住奇異性，又不破壞邊界的正則性？
這套各向異性範數，在算到最高階導數的時候，到底能不能閉合？
那些討厭的邊界項，會不會從那個越來越薄的薄向里鑽出來，反咬一口把常數搞炸？
……
江臨每天雷打不動地坐在書桌前，高強度工作六到八個小時。
剩下的時間，他必須強迫自己停下來，去維護設備，去喝水，去睡覺。
五十三歲的身體，如果一天敢坐十個小時，第二天頸椎和腰椎就會當場罷工。
整個八月，石屋外偶爾會颳起恐怖的沙塵暴，天空被染成暗紅色。
但石屋內的江臨，仿佛與世隔絕，只有紙筆摩擦的聲音在對抗著外界的狂暴。
第三十五年八月底。
引理0.2全部重寫完成。
新版草稿，一共三十八頁。
比舊版的二十四頁，足足多出了十四頁。
但江臨把這三十八頁拿在手裡，感覺到的不是冗長，而是順暢。
舊版的證明，像是一個為了糊弄審查而硬搭起來的醜陋腳手架。
新版的證明，雖然繁複，但當你透過那些密密麻麻的各向異性指標看進去時，你能清晰地看見一條強有力的物理主梁貫穿始終。
江臨快速通讀第一遍，在最後一頁的底部，寫下——
【可信度：中高。】
【需進行脫離上下文的獨立審閱。】
寫完，他把這疊厚厚的草稿用夾子夾好，直接塞進了抽屜的最底端。
然後，整整一周時間，他不看，不改。不碰。
連腦子裡都不去想那些公式。
每天只是去外面敲敲打打，甚至坐在台階上看著遠處的沙丘發呆。
第三十五年九月初。
江臨拉開抽屜，重新拿起了那三十八頁引理0.2。
這一次，他不再是作者，而是一個抱著挑刺心態的審稿人，逐行逐句地審。
如果推導邏輯嚴絲合縫，就在旁邊打一個極小的 ✓。
如果覺得某一步跨度太大，或者隱式用了一個沒有聲明的條件，就打一個 ？。
如果發現實質性錯誤，就打一個 ×。
五天之後，三十八頁草稿全部審完。
滿篇的紅痕。
統計結果：四十九個✓。
三個？。
零個×。
看到零個× 的時候，江臨長長地呼出了一口濁氣。
大框架沒有崩塌，這條路走通了。
剩下的三個問號，分別出現在第十九頁、第二十六頁和第三十三頁。
第十九頁的那個問號，是因為在處理耗散項時，有一個常數的來源追蹤寫得不夠清晰，有混淆的嫌疑。
江臨拿出一張白紙，從頭把那個不等式重新算了一遍，補上了兩行關鍵的過渡說明。
邏輯閉環，成立。
第二十六頁的問號，是因為他在連續寫了四個小時後腦子發昏，一個二階 Sobolev 嵌入的指數寫得太快，少考慮了一個維度的折損。
他打開工作站，點開Brezis的泛函分析教材，查對對應章節，把條件補齊。
修改通過。
第三十三頁的問號，最棘手。
那是一個涉及到邊界流出條件的積分項，處理方式雖然沒錯，但在各向異性的框架下顯得極度不自然，像是在強行湊結果。
江臨盯著那一頁看了一下午。
最後，他放棄了直接放縮，換成了一種更底層的外部固定域延拓的寫法。
結果出奇的乾淨，那些討厭的邊界尾巴全被切掉了。
三個紅色的問號，全都被他用黑筆重重地劃掉，改成了三個對勾。
第三十五年九月十六日。
引理0.2正式版，在工作站里敲制完成並生成PDF。
四十一頁。
【引理0.2：局部強解提升與各向異性能量分解】
【狀態：完成。】
【日期：第三十五年九月十六日。】
江臨打開【Narrow_Theorem_Draft】根目錄下的 README 文件，更新進度。
【引理0.1：有限時間弱解存在性與條件唯一性。狀態：完成。】
【引理0.2：弱解到局部強解的提升；各向異性能量分解。狀態：完成。】
【備註：引理0.2 中所使用的關鍵的各向異性估計技巧，其物理直覺極有可能直接來源於現場勘察GIANT-NW-01（疑似潮波監測裝置）時，其頂部輻條指向雲所展現的宏觀幾何結構。】
【這種跨領域的直覺啟發來源，在現代數學體系中無法被嚴密證明。】
【但作為歷史事實，特此記錄。】
敲完最後一行，他點擊保存，關掉代碼編輯器。
然後給自己倒了一杯溫水，慢慢喝下。
因為他心裡比誰都清楚，引理 0.1 和引理 0.2，加在一起足足六十多頁的推導，說到底，都只不過是跨過這道門檻的門票。
它們證明了在這個窄模型下，解是存在且不亂跑的。
門檻跨過去了。
後面要寫的，才是能決定生死存亡的窄定理核心。
第三十五年九月底，廢土的氣溫開始斷崖式下跌。
江臨開始提筆撰寫引理 0.3。
在最初的草案里，這個引理的舊標題雄心勃勃，叫做【有限時間奇異性（Finite Time Singularity）】
江臨在屏幕前盯著這幾個字，按下退格鍵。
刪掉。
這個標題太大，也太傲慢了。
更重要的是，它極度危險。
在二維不可壓電阻MHD方程組裡，電阻擴散項本身就帶著極其強大的正則化作用。
就像是一個天然的緩衝墊，隨時準備抹平那些尖銳的梯度。
在這種系統里，貿然在標題里寫下強解有限時間奇異性這種字眼，等於直接把自己光著膀子推到了千禧年七大數學難題那個級別的開放性難題的懸崖邊上。
他要證明的，不是整個宏大的MHD系統會在有限時間內爆炸崩潰。
他也不打算去證明真實的電流片在物理世界中，到底會完完整整地碎裂成幾段，幾十段小磁島。
真實的非線性演化太複雜了，算力都不夠，人力更不可能解析出來。
他要證明的，僅僅是屬於他這個窄模型中極其克制的一件事。
一個經典的Sweet-Parker型長薄電流片（這是一種理想化的背景穩態），在滿足了某個特定的門控條件後，會失去穩定性。
在它的內部，必然會存在一族被稱為 Tearing或Plasmoid的擾動模態。
只要這些擾動模態的線性增長率，在某個有限的時間窗口內，能夠跑贏背景電阻帶來的耗散平滑率，這就足夠了。
只要跑贏了，就意味著單一的長而平滑的電流片，在這個窄模型中不再是一個穩定主導結構。
它會給plasmoid胚胎留下增長窗口。
至於這個窗口在真實等離子體裡能不能演化成完整快重聯，還要看後續非線性過程、邊界條件和更小尺度物理是否接管。
但作為G-index的Plasmoid門，這已經足夠。
江臨重新敲下更加嚴謹的標題。
【引理0.3】
【長薄電流片背景態的 plasmoid / tearing 模態失穩】
這個標題很窄，限制條件多得像裹腳布。
但它能在嚴苛的數學和物理審查下，牢牢地站住腳。
為了方便推導，他把這個龐大的引理 0.3，再次大卸八塊，拆成了三個子引理。
【子引理0.3.1：在特定門控條件下，存在增長率超過背景耗散率的微擾動模態。】
【子引理0.3.2：系統能量泛函在磁島鏈擾動方向上失去正定性，且最不穩定模態可給出初始 plasmoid 胚胎的特徵波數。】
【子引理0.3.3：在純電阻MHD的理論框架內，給出二級薄片厚度演化的尺度下界估計，並嘗試將其與外部系統的Hall特徵尺度d_i建立比較關係。】
三個子引理。
每一個，單獨拿出來，都比那種動輒號稱統一磁重聯終極理論的宏大敘事要小得多。
小到甚至讓某些理論物理同行覺得有些寒酸。
但江臨認為，也正是因為它們足夠小，邊界足夠清晰，它們才在這個充滿了不確定性的廢土世界裡，真正有可能被人類的大腦嚴格證明。
第三十五年十月。
手裡的數學工具箱已經準備完畢的江臨，以那個二維不可壓電阻MHD的長薄電流片作為絕對背景態，小心翼翼地寫出了系統的線性化擾動方程。
在這裡，擾動絕對不是隨便在紙上畫兩條波浪線那麼簡單。
引入的微小擾動，必須極其嚴格地滿足系統的宏觀邊界條件。
必須完好無損地落在引理0.2千辛萬苦給出的強解控制框架裡面，不能產生數學上的越界。
更關鍵的是，這個擾動，必須能夠被他剛剛發明的那套各向異性能量範數給穩穩地接住，而不會讓積分結果發散。
江臨像個極其精細的鐘表匠，把擾動模態沿著活動層的主方向場進行一層一層的剝離和分解。
長向上的特徵波數。
薄向上的邊界層內部結構。
磁擴散層的局部厚度演化。
作為宏觀參數的無量綱Lundquist數。
電流片的宏觀長寬比。
至於最讓人頭疼的湍流，在這裡被江臨極其克制地限制住了。
湍流強度僅僅被允許作為一個微弱的弱擾動參數進入系統，絕對不允許它跨過閾值，進入那種直接把模型撕得粉碎的強湍流提前接管區。
這是窄定理的紅線。
整個推導過程沒有任何戲劇性可言，只有草稿紙上一天比一天厚重的墨跡。
六周之後。
外面的初雪已經覆蓋了前哨站的台基。
江臨終於從那一堆令人眼花繚亂的算子譜分析中，拔出了第一條結論。
結果顯示，當那個經過極其複雜組合的簡化門控量超過了某個臨界閾值時，系統的線性算子譜中，必然會存在一族特徵值實部為正的擾動模態。
而且，這族模態的增長率，實打實地超過了背景電阻的擴散耗散率。
雖然這在數學上絕不等於系統此時已經發生了宏觀的碎裂。
但這已經無可辯駁地說明了一個物理事實。
那個教科書里單一的Sweet-Parker型長片態，已經病入膏肓，不再穩定了。
子引理0.3.1，完成。
正式稿，二十九頁。
這二十九頁沒有解決磁重聯，甚至沒有真正寫出一顆plasmoid。
但它把一件過去只能用物理直覺描述的事，第一次釘進了線性算子的譜里。
在這之前，長電流片會撐不住只是圖像，是數值模擬里的圖，是綜述論文裡的箭頭。
是教科書上那句輕飄飄的在高 Lundquist數下可能發生plasmoid instability。
而現在，在他自己的窄模型里，這句話變成了一個可以被審查的數學判斷。
存在一族擾動模，增長率超過耗散率，Sweet-Parker型單片態失去線性穩定性。
這就是第一枚楔子。
它還不能撬開整座山，但它已經楔進去了。
第三十五年十二月。
江臨迎來了整座窄定理長城中最難啃的一塊硬骨頭。
子引理0.3.2。
之所以說它最難，是因為它要求江臨把對系統的判斷，從之前子引理0.3.1那種純粹的特徵值增長率的代數判斷，向前推進一大步，推進到一個在物理圖像上，必須非常接近真實plasmoid的三維拓撲結構的東西。
但他又必須極度克制。
絕對不能在證明里寫下由此嚴格證明電流片必然碎成N個具體的短片段這種蠢話。
因為只要懂點等離子體物理的人都知道，真實的拓撲變化，涉及到極其慘烈的非線性演化，複雜的邊界反射反饋，網格計算帶來的數值耗散，甚至是到了微觀尺度後 Hall效應或全動理學效應的強制接管。
江臨現在手裡的這個被閹割過無數次的窄模型，根本沒有資格，也沒有肚子去吃下這麼龐大的物理過程。
他要證明的，是隱藏在更深處也更窄的東西。
在那個臨界的門控條件下，系統整體的能量泛函的二階變分，會在某一族特定的磁島鏈擾動方向上，徹底失去它的正定性。
泛函失去正定性，出現負方向。
在物理上就意味著只要系統沿著這些特定的負方向去擾動，系統的總能量不僅不會增加阻力，反而會順勢下降。
這些負方向，就是那些即將誕生的 plasmoid的初始胚胎。
而這群胚胎中，那個能量下降最快最不穩定的模態，就能反向給出初始磁島鏈的典型特徵波數。
第一遍嘗試，江臨天真地選擇了直接構造法。
他試圖在紙上，硬生生地把一個長電流片的解，分段拼接成多個短片段的解，然後去證明這種拼接狀態的能量更低。
結果成就了一場數學上的災難。
他日以繼夜地寫了五十多頁的草稿，試圖用各種光滑截斷函數去縫合那些斷點。
不料那些拼接處根本無法同時滿足苛刻的物理邊界條件。
如果強行用數學技巧把它們弄連續了，系統能量在拼接點處就會出現非物理的巨大跳變，直接把誤差帶爆。
如果不弄連續，那這就不是偏微分方程的弱解，之前引理0.1和0.2的前提全盤作廢。
五十多頁，接近一個月的心血，全部報廢。
江臨沒有感到可惜，更沒有沮喪。
在廢土上活了一百多年，他早就明白了一個道理，在未知的荒野里，一條走不通的路被死死封上，是一件大好事。
因為它至少用鐵一樣的邏輯告訴你，別在這條路上浪費生命了。
時間來到第三十六年一月，廢土進入最嚴酷的深冬。
江臨開始了第二遍衝鋒。
既然直接構造走不通，那就換思路，改用反證法加上能量泛函臨界點分析。
如果那個單一的長片態仍然是穩定的，那麼系統的能量泛函，在所有被物理允許的微小擾動方向上，它的二階變分都應該老老實實地保持大於零的正定性。
這就像是一個小球安穩地停在碗底，不管往哪個方向推，都會遇到向上的阻力。
但是，根據之前子引理0.3.1的結論，在觸發了門控條件後，系統的線性化擾動譜中，實打實地出現了一族增長模態。
而這族增長模態對應的擾動方向場，必然會使得能量泛函的二階變分計算出現負值。
如此一來，反證成立。
單片態絕對不再是局部的能量極小結構。它就像是一個停在馬鞍面上的球，只要沿著某些特定的擾動方向稍微一推，它就不再擁有局部穩定結構。
至於後續會滑向哪一種非線性形態，不屬於這個引理能夠回答的問題。
二月。
江臨忍著嚴寒，用凍得有些僵硬的手，一層層剝開二階變分的複雜積分項。
三月。
春風還沒吹到廢土，他已經一頭扎進了極其晦澀的局部譜估計中。
四月初。
第二遍的草稿終於宣告完成。
整整六十七頁。
比之前失敗的嘗試還要厚。
就在他以為終於可以鬆一口氣，開始交叉審稿的時候，冷汗突然順著他的脊背流了下來。
在第五十二頁，他發現了一個隱患。
為了控制某個高頻振盪項，他在放縮時順手借用了一個全局譜半徑估計的定理。
在無界全空間裡，這個估計當然沒問題。
但是，在這個狹窄的電流片模型里，在某些特定的宏觀邊界條件下，這個全局估計根本就不成立。
算子在邊界附近會產生強烈的回波反射，直接把譜半徑給撐爆。
改。
不能要求全局成立。
那是自尋死路。
改成局部譜估計。
這套證明不需要在整個相空間裡都無懈可擊。
只要要求它在那個發生失穩的臨界態鄰域內部，在有限的時間窗口內成立，就足夠了。
對於他那極度克制的窄定理來說，這種局部成立，已經足夠完成邏輯閉環。
第五十二頁被他無情拋棄。
局部的加權範數被引入，錯誤的源頭被死死摁住。
剩下的六個帶有疑問的放縮點，也在接下來的一周內，被他用各種數學技巧逐一澄清擊破。
第三十六年四月中旬，子引理0.3.2，艱難完成。
江臨點開那個仿佛有千斤重的 README 文檔，極其鄭重地敲下。
【子引理0.3.2：能量泛函在磁島鏈擾動方向上的非正定性，以及最不穩定模態的確定。狀態：完成。】
【高度注意：該引理在數學上絕對沒有證明完整的非線性拓撲重構過程。它僅僅只是證明了，系統在初始plasmoid胚胎方向上發生了不可逆的失穩。】
江臨特意把高度注意這幾個字加粗，甚至恨不得把它們標紅。
但在這行警告下面，他又單獨寫了一行。
【這是窄定理的脊樑。】
因為他自己知道，這一步到底有多重。
子引理0.3.1隻告訴他，有東西在長。
可有東西在長，並不等於它會長成 plasmoid。
可能是邊界振盪，可能是數值偽影，可能是一個漂亮但沒有物理指向的譜不穩定。
子引理0.3.2不同。
它把那個增長模態，壓進了能量泛函的幾何結構里。
負方向不是隨便一個方向，是磁島鏈擾動方向。
最不穩定模態不是一個抽象特徵值，它對應初始 plasmoid 胚胎的特徵波數。
這意味著，江臨第一次在自己的推導里，看見了那條從慢模型失穩通往快重聯入口的具體幾何通道。
很窄，很苛刻。
但它不是幻覺。
第三十六年四月底。
江臨沒有停歇，立刻轉入了最後一個戰役。
子引理0.3.3。
目標：對系統層裂後產生的二級薄片的尺度，進行下界估計。
這一步的定位非常微妙。
它不是去證明什麼高大上的Hall物理效應。
因為在純粹的單流體電阻MHD框架下，系統里根本就沒有包含正負電荷分離的機制，物理上絕對推導不出 Hall 效應。那個大名鼎鼎的d_i，是一個實打實的外部尺度。
它屬於更底層的Hall-MHD模型，或者是全動理學框架才能處理的東西。
江臨的窄定理，只能在這個被閹割的純電阻MHD世界裡，利用能量守恆和幾何約束，去估算一下那個不斷被擠壓層裂的二級薄片，它最薄最薄，到底可能會落到哪個微觀尺度區間？
估算出來之後，再把這個純數學推導出來的尺度下界，同那個代表真實物理世界的外部特徵尺度d_i進行簡單的比較。
如果估算出來的二級薄片厚度下界，仍然遠遠大於d_i，那對不起，系統仍然只能乖乖停留在由碰撞主導的電阻MHD通道里。
但如果，這個被不斷擠壓的厚度下界，開始逼近了d_i的量級，那就意味著，在真實的等離子體世界裡，更底層的Hall通道那扇隱藏的門，可能即將被撞開，迎來無碰撞快重聯的全面接管。
這一步，其實已經脫離了窄定理純數學自洽的範疇。
它是窄定理這個孤島，試圖向外部更宏大的G-index體系的Hall門，艱難地拋出的一根接口數據線。
江臨用了整個第三十六年的春末和漫長的夏天，在這個極其繁瑣的標度推導泥潭裡跋涉。
思路被他嚴格分成了四步。
第一，在子引理 0.3.2 給出的臨界態附近，提取出那個最不穩定模態對應的特徵波數。
第二，利用傅立葉分析，將這個特徵波數反演，對應到物理空間中，就是初始磁島鏈的典型空間間距。
第三，結合磁流體能量守恆定律，以及他發明的各向異性範數對形變的控制，死死咬住不放，最終榨出二級薄片厚度的理論下界估計算式。
第四，把這個包含了一堆宏觀參數的算式，拿去和外部尺度d_i作數量級比較，圈定出Hall效應可能接管的嫌疑區間。
推導出來的公式醜陋無比。
長長的一大串，包含了各種根號、對數項和經驗常數。
這種缺乏數學對稱美的怪物公式，絕對不適合堂而皇之地寫在正文裡去噁心人。
江臨極其務實地把它塞進了附錄里。
而在主文的結論部分，他只寫下了乾淨純粹的物理標度關係。
【定理推論：二級薄片厚度的理論下界，並非由單一參數決定。它由系統的Lundquist數S、初始電流片的宏觀長寬比、初始湍流的微弱擾動強度，以及宏觀邊界的幾何約束，共同控制。】
【當該厚度下界在數量級上逼近離子慣性尺度d_i時，Hall通道存在接管可能；若仍遠大於d_i，系統大概率仍停留在單流體MHD通道內。】
第三十六年九月十七日，子引理 0.3.3，宣告完成。
在這枯燥的證明結束後，江臨做了一件本不屬於嚴格數學推導範疇，但作為物理學家，他絕對無法抗拒的事。
他打開了之前那個名為【G_Index_Attack】的文件夾，調出他在處理一千八百個複雜分層樣本時，利用機器學習和統計學暴力擬合出來的G-index V0.1的現象學拐點。
那是一個沒有任何先驗理論支撐的統計數字。
經驗門控拐點：G_c=1.93 pm0.07。
然後，他調出了他剛剛在子引理 0.3.3 中，用純粹的數學演繹法，用一套套複雜的不等式和各向異性範數推導出來的窄模型理論門控區間。
為了能在同一個度量衡下比較，他小心翼翼地把理論推導的宏觀參數，折算到了與現象學樣本相同的標度口徑下。
幾行簡單的代碼跑完，屏幕上跳出了一個區間中心值：
理論推導區間中心：約1.89pm0.09。
1.93。
1.89。
它們如此接近。
誤差棒在中間產生了極其明顯的交疊。
江臨盯著屏幕，整整三分鐘沒有動。
那不是兩個漂亮數字那麼簡單。
1.93，是他從一千八百個分層樣本里，一點一點篩出來的經驗拐點。
裡面有太陽耀斑，有磁層亞暴，有托卡馬克撕裂模，有實驗室重聯，有數值模擬。
有髒數據，有缺參數，有被他反覆剔除的垃圾樣本，也有他熬了五年才勉強整理乾淨的A級樣本。
1.89，則來自另一條完全不同的路。
來自二維電阻 MHD，來自局部強解，來自各向異性能量分解，來自能量泛函二階變分，來自局部譜估計，來自那一百多頁讓他在寒冬里寫到手指僵硬的推導。
一邊是觀測，模擬，實驗堆出來的渾濁世界。
一邊是被他削到只剩骨架的窄模型。
兩個數字，在同一個區間裡相遇了。
這一刻，G-index V0.1不再只是一片有方向的雲。
至少它的Plasmoid門，不再只是雲。
它下面有骨頭。
江臨忍著激動與興奮，在工作日誌里，用一種近乎刻板的嚴謹寫道。
【比較結果：值得高度重視。】
因為在現代科學的嚴酷標準下，這絕對不能算作嚴格的獨立驗證。
G-indexV0.1的經驗公式形式，在最初構建的時候，本來就是受到了經典磁重聯標度率的啟發而拼湊的。
而他這個窄定理里定義的門控量，也不是從絕對的真空中無中生有蹦出來的。
這兩條攀登路線，雖然一條是從海量樣本里硬挖出來的歸納法，另一條是從PDE底部硬推出來的演繹法。
但它們在深層，其實共享了一些基礎的物理變量，共享了關於重聯層的物理圖像假設，甚至共享了部分對極端樣本的分類排除邏輯。
它們沒有互相餵數，沒有聯合造假。
一個來自於渾濁但龐大的分層樣本海中的現象學統計拐點。
一個來自於極其狹窄，極度純粹的模型中的嚴密標度推導。
它們能夠極其幸運地落在同一個區間裡，或許不能宣告終極真理的降臨。
但它至少說明了一件事。
這條窄路沒有在第一輪數學審訊里當場死亡。
他走的這條艱難的窄路，沒有在第一輪冰冷的數學邏輯審訊中，當場暴斃。
【第三十六年九月十七日。】
【子引理 0.3.3 完成。】
【窄模型理論門控區間中心約1.89± 0.09。】
【現象學經驗統計拐點1.93±0.07。】
【二者誤差區間發生明顯重疊。】
【科學說明：由於底層邏輯的相關性，此結果絕對不能被視為完全獨立的雙盲驗證。】
【但該結果可謹慎視為：G-indexV0.1 體系中那個龐大的Plasmoid門，在極簡的窄模型假設下，終於獲得了堅實的數學物理推導支撐。】
【限制聲明：本模型完全不包含Hall動力學本身的過程演化，完全排除強湍流的提前接管效應，不涉及三維空間破缺，沒有處理複雜的多迴路集體響應機制，更無法解釋北方極光紅帶的成因。】
【這一次，窮盡三十六年所學，我沒有證明整座山。】
【我只證明了一扇門。】
【但這扇門能承重。】
【它能把現象學的雲，廢土現場的幾何直覺，二維電阻MHD的窄模型，壓到同一塊地基上。】
【這不是終點，是第一根鋼樁。】
【未來，說不定它還能被放進核聚變這種龐大的工程體系里，起到一點作用。】
第三十六年九月底。
隨著最後幾個積分號的驗證結束，極其龐大的引理0.3，宣告全部完成。
江臨點開了包含所有定理證明的子文件夾README，做最後的匯總。
【引理0.1：有限時間弱解存在性與條件唯一性。狀態：完成。頁數：23頁。】
【引理0.2：局部強解提升與極其關鍵的各向異性能量分解。狀態：完成。頁數：41頁。】
【引理0.3：長薄電流片背景態的 plasmoid/tearing 模態失穩，及二級薄片特徵尺度估計。狀態：完成。頁數：142頁。】
【總體性質定位：極端窄模型下的純數學物理推導結果。】
【模型硬性不含：Hall效應全演化、強湍流干擾、三維拓撲破缺、宏觀多迴路集體響應。】
【剩餘終極工作：進行形式化整理，將草稿轉化為可接受同行審查的主定理與正式論文預稿。】
第三十六年十月，直到第三十七年的三月。
江臨迎來了一場另一種形式的苦役。
形式化整理。
把堆積如山的草稿和證明，整理成符合現代學術規範的正式Paper，其痛苦程度，甚至比在荒野里摸黑證明引理本身還要折磨人。
每一個從之前草稿里提煉出來的主定理，都必須在開頭用極度枯燥的數學語言，清清楚楚地寫明前提假設。
每一個看似常識的前提，都要在後面加上括號，寫出它在物理世界裡對應的適用邊界。
引理中推導出來的每一個中間結論，在搬到主定理中時，絕對不能為了句子的通順而有絲毫的偷換概念。
每一個在前文被引用過的公式不等式，都要像法庭舉證一樣，嚴密地對應到附錄里的引理編號。
每一個曾經讓他頭疼無比的積分常數 C，在最終成稿時，都要附帶一個長長的角標，標明它到底死死依賴於哪些系統參數。
更折磨人的是用詞。
一旦他想在主文的摘要或結論里，使用諸如臨界、閾值、極其不穩定這種在物理學界極其抓人眼球的詞彙時，他的手腕就像是被戴上了沉重的鐐銬。
他必須立刻在腳註或者後面的段落里，像個喋喋不休的老媽子一樣補充說明，這些宏大的詞彙，僅僅，而且只能屬於這個條件苛刻的窄模型範疇。
任何試圖將結論無限外推，試圖用這篇論文去一統物理學江湖的衝動，都會被他自己毫不留情地掐死在鍵盤上。
第三十七年三月底。
這一篇純粹的數學物理論文內部預稿，終於完成了排版。
【二維電阻MHD長薄電流片的Plasmoid門控閾值估計】
（英文題名：Threshold Estimate for Plasmoid-Gated Instability of Long Current Sheets in 2D Resistive MHD）
第一節：引言與背景。
第二節：簡化模型方程與嚴苛的適用邊界聲明。
第三節：核心主要結果綜述。
第四節：基礎框架——弱解的有限時間存在性。
第五節：技術核心——強解提升與各向異性能量分解（在此特別感謝某種未具名的幾何直覺啟發）。
第六節：失穩機制——擾動模態選取與能量泛函二階變分分析。
第七節：標度推導——二級薄片尺度極小下界估計。
第八節：交叉對比——與經驗體系G-indexV0.1中Plasmoid門的對應數值關係探討。
第九節：研究限制與未來極其龐大的未解決問題列表。
參考文獻：一份跨越了半個世紀。多達數百篇的龐大索引。
附錄 A：複雜的各向異性Sobolev空間嵌入估計過程。
附錄 B：邊界條件下的局部譜分析與算子估計細節。
附錄 C：經驗現象學拐點與純理論推導數值的口徑換算過程。
正文內容：精煉到了八十七頁。
高度複雜的技術附錄：三十五頁。
為了保證邏輯絕對嚴密，不允許任何易證同理可得字眼出現的完整補充證明材料，足足二百零六頁。
總計：三百二十八頁。