第73章 文獻的戰場
第十六年的夏天,江臨終於覺得,自己有資格回去面對那片泥地了。
於是打開了塵封已久的【Replicate_Biskamp_1986】項目。
帶著牆上那份嚴苛的【數值健康檢查清單V1】,以及從Bender&Orszag那裡學來的對物理多尺度的敬畏,他把C++代碼全部推翻重寫。
這一次,他不再盲目地調大參數。
特意把電流片的長寬比,精準地拉到了Loureiro理論推導出的那個不穩定性臨界閾值之上。
同時,利用高階數值格式壓制了數值耗散,保證網格解析度能夠完美解析內層擴散區。
程序跑了整整二十三天。
江臨沒有像上次那樣焦慮,他甚至有心情去檢修風機。
第二十三天的傍晚,結果出來了。
江臨調出動畫。
屏幕上,那條原本像麵條一樣的Sweet-Parker電流片,在演化的中期,中央突然鼓出了一個小小的黑點。
反平行磁場的零點,磁島的雛形。
江臨屏住呼吸,沒有動。
緊接著,第二個小黑點出現,第三個, 第五個。
短短十幾個時間步之後,整條繃緊的電流片就像一根承受了極限壓力的玻璃絲,內部的應力網絡全面崩潰。
從內部砰地碎裂開來,變成了一長串大小不一、相吞噬的磁島結構。
完美的非線性Plasmoid不穩定性再現!
江臨終於親眼在自己的代碼里看到了原來Sweet-Parker的長麵條,並不是永遠只能絕望地慢下去。
當它慢到極致,被拉伸到物理極限的時候,它會選擇玉石俱焚式的碎裂。
整個龐大的僵死結構,在演化中不斷細分為無數個微觀的快重聯區,再不斷重組,最終爆發出驚人的能量釋放率。
絕境之中,物理規律自己找到了出口。
江臨沒有被勝利沖昏頭腦,立刻轉過身,看著牆上的十二項【健康檢查清單】。
開始嚴格執行全套擾動測試。
把網格解析度整體提高一倍,磁島鏈依然出現,位置微調,但拓撲不變。
證明收斂。
TW 看書網伴你閒,𝙨𝙝𝙪.𝙩𝙬超方便
把Lundquist數再提高一個量級,磁島變得更密集,碎裂更劇烈,符合理論預測。
改變初始擾動的頻譜分布,雖然早期的演化路徑有差異,但最終的非線性狀態殊途同歸。
每一項嚴苛的拷問之後,磁島串作為一個整體的物理現象,宛如一塊經過千錘百鍊的鋼鐵,穩穩地立在那裡。
江臨打開項目日誌,用嚴謹的語調寫下結案陳詞。
【此數值結果在網格加密及參數擾動後仍穩定存在,通過健康清單十二項檢驗。】
【但請注意:結論僅限於當前的二維MHD參數區間,不可輕易外推至廢土天空的高維真實尺度。】
【歸檔名:MR-PLM-04(Magnetic Reconnection - Plasmoid - 04)。】
然後,他走到石屋的北牆。
這面牆是他用來繪製研究史地圖的地方。
拿起筆,在Plasmoid理論的區塊下方,畫了一個重重的勾,並打上了一個標記。
【有限可信】
江臨看著它,長長地吐出了一口濁氣。
第十七年和第十八年,江臨的探索觸角繼續向微觀層面延伸,開始啃無碰撞重聯和Hall效應。
這是單流體MHD理論開始全面崩潰的地帶。
當等離子體變得極其稀薄,比如在地球磁層或是廢土的高層大氣,粒子之間的碰撞幾乎消失。
這時候,把等離子體看作一種均勻導電流體的假設就不成立了。
電子和離子因為質量相差懸殊,開始分道揚鑣。
GEM magnetic reconnection challenge的論文是繞不過去的一座豐碑。
這是一次罕見的學術界集體大閱兵。
九個頂尖的國際研究組,帶著各自引以為傲的九種截然不同的數值代碼,去算同一個設定好的重聯問題。
論文的結論極其刺眼,就像是在單流體MHD的臉上狠狠扇了一巴掌。
不管你用什麼天花亂墜的數值方法,只要你的物理方程里包含了Hall效應,所有代碼算出的重聯速率,最終都會驚人地收斂到一個相近的快重聯值。
反之,只要你固執地只用單流體MHD,哪怕你的代碼寫出花來,結果毫無例外都會悲慘地滑回Sweet-Parker那條絕望的慢路上。
如果是以前看教材,江臨只會看到教科書上總結的一句乾巴巴的話。
【研究表明,Hall效應在小尺度擴散區上變得異常重要,是觸發快重聯的關鍵機制。】
但現在的江臨,已經是對這種教科書體產生免疫抗體的老兵。
他根本不看正文的讚美,直接翻到附錄。
像個苛刻的檢察官,拿著放大鏡去對比那九個研究組設定的網格參數,邊界條件,初始擾動類型和數值耗散格式。
看了一周後,他明白了。
GEM挑戰賽的結果當然極其偉大,它是歷史的轉折點。
但它不是終極真理。
它真正證明的是,在那一組被九個組共同約定的特殊的初始擾動和邊界條件的籠子裡,Hall效應是統治者。
如果你換一種邊界,或者換一種三維的湍流環境,Hall效應還能不能這麼立竿見影?
沒人敢打包票。
江臨走到北牆的研究史地圖前,給GEM挑戰賽畫了一個圈。
【強證據,但限定條件非常明確,不可隨意泛化外推。】
這已經是江臨能給出的極高評價了。
真正讓江臨陷入長時間沉默的,是另一篇論文。
Burch,J.L.,et al.(2016). Electron-scale measurements of magnetic reconnection in space.
發表在《Science》上。
這是人類觀測史上的奇蹟。
MMS衛星編隊。
四顆造價高昂的衛星,排成一個緊密的四面體陣列,衛星之間的間距只有區區幾公里。
這在廣袤的太空中簡直就是貼臉。
它們像四根精細的銀針,一頭扎進了地球的磁層頂。
然後,它們直接在太空中,抓到了那個傳說中只存在於紙面和超算里的電子擴散區。
那是一個只有幾十公里尺度的微觀物理結構。
為了在這轉瞬即逝的太空中看它一眼,人類燃燒了價值十億美元級別的經費,動用了最頂尖的宇航工程技術,才換來這張數據圖。
夜裡。
江臨坐在石屋的桌前,盯住論文裡那張帶有四面體坐標的相空間分布圖。
看了很久,很久。
他的觀測點A和B,加上一條移動觀測線,組成的最大觀測基線不過是可憐的兩點五公里。
低照度相機,民用磁力計,風速計,自製時間基準……
這些東西能記錄廢土天空,能告訴他紅帶不是錯覺,卻永遠不可能把他送進高空幾十公里處那個精微的電子擴散區。
他想在廢土上用觀測去驗證Hall電場?
根本不可能。
他想捕捉像MMS那樣快速重聯的實時微觀粒子分布?
痴人說夢。
他想像四顆探針那樣扎進磁層頂?
這輩子都別想了。
航天工程、探測器陣列和原位觀測的技術壁壘,橫亘在他和那一層真相之間。
不過江臨倒沒有像熱血漫畫男主那樣感到屈辱或不甘。
畢竟不是第一次認識邊界的殘酷性了。
他起身開門,走出石屋。
已經是冬天的深處。廢土的天空呈現出病態的灰藍色。
北方低空那條常年隱隱綽綽的淡紅色亮帶,今晚並沒有出現,似乎被厚重的輻射雲層遮擋了。
風機二號在塔尖上緩慢而執著地轉動著。
江臨雙手插在衝鋒衣的口袋裡,在塔下站了足足半個小時,直到睫毛上結出了白霜。
回到石屋後,他翻開筆記本,在最新的一頁寫下。
【MMS衛星編隊,花了我幾輩子也拿不到的錢,去看到了一個我用肉眼凡胎永遠也看不到的微觀世界。】
【我能做的,是從他們已經在山頂確認存在的那個結構出發,往回推。如果那麼強烈的電子擴散區真的在頭頂的高空發生,它向下輻射的過程中,會不會在我舊相機里,在這2.5公里長的基線上,在這條夜空的紅帶里,留下某種山腳下的宏觀投影?】
【我看不清山頂的雪。】
【但如果山腳下發生了雪崩,我在泥地里測繪雪崩的殘骸分布,也是一種測繪。用宏觀推演微觀,這是我唯一能走的路。】
寫完這幾段話,他走到北牆前,在Burch 2016那篇閃耀的論文旁邊,打了一個前所未有的特殊標記。
然後在旁邊寫下。
【不可觸及的高點】
並在下方標註了一行小字。
【這是我用來在黑夜裡定向的星,雖然我知道,那絕不是我這具軀殼能到達的地。】
心如止水。
第十九年的春天,廢土迎來了一個罕見的平靜期,沒有沙塵暴,也沒有酸雨。
但江臨迎來了他研究生涯中的第三次大停頓。
這一次的停頓,比前兩次都要絕望。
前兩次,無論是C++代碼崩潰,還是漸近匹配的代數推導看不穿,好歹都在物理和工程的範疇內。
只要花時間,總能找到抓手。
但這次,他卡在了一篇關於Plasmoid不穩定性數學嚴格性證明的理論文獻前。
論文試圖從純數學的偏微分方程分析角度,證明在某些極限定理下,磁島的破裂是不可避免的。
然後江臨發現自己成了一個文盲。
這篇論文裡的每一行不等式變形,拆開看他似乎都認識。
但他完全讀不懂。
完全無法理解那些符號背後真正承擔的,屬於現代數學體系的恐怖重量。
文章里充斥著這樣的詞彙。
Sobolev範數估計, 弱解的全局存在性,先驗能量不等式,空間正則性的提升……
這些詞,江臨在自學高等數學和泛函分析時隱約看過。
只勉強能在草稿紙上默寫出內積空間或完備性的定義。
可當這些乾癟的定義,被硬生生地塞進一個極其複雜的非線性MHD方程組裡,用來作為磚塊,推動一條長達三十頁的證明鏈往前走時,江臨第一次清楚地感覺到,他站在一堵高聳入雲的光滑鐵牆門外。
他能憑藉強大的代數功底,去機械驗算論文裡的某一個積分不等式是否放縮正確。
但他完全不能判斷,作者為什麼必須從左邊這個空間跳到右邊那個空間?
為什麼這裡要用一個弱收斂,那裡又要用一個緊性定理?
機械驗算,只能證明他這步算術題沒算錯。
它完全不能證明他理解了這套龐大而精密的高階數學工具。
那天晚上,江臨坐在屏幕前,看著那篇滿是積分號的論文,自嘲地搖了搖頭。
果斷關掉了文獻閱讀器。
在工作站的根目錄下,新建文件夾。
【Sobolev_Energy_Methods】
然後熟練地調出三本在純數學界大名鼎鼎,足以讓無數研究生熬禿頭的神書。
Evans的《Partial Differential Equations》。
Brezis的《Functional Analysis, Sobolev Spaces and Partial Differential Equations》。
Temam的《Navier-Stokes Equations: Theory and Numerical Analysis》。
三本電子書的圖標在桌面上排開,像三塊表面長滿青苔的攔路石,壓在了他通往真理的門檻上。
江臨在紙筆記本上,翻開新的一頁,重重寫下。
【這是我離獨立在數學上嚴格證明一個磁重聯領域定理,距離最近的一次。】
【但我可悲地發現,我缺少了一整套用來修橋的現代數學工具。】
【別廢話了,先去學怎麼造工具。】
接下來的整整一年多時間裡,廢土石屋裡的節奏,變得單調到了近乎自虐的地步。
像一個孤獨的數學信徒,一頭扎進Evans和Brezis構建的那個抽象的拓撲世界裡。
Evans把他按進偏微分方程的泥地里反覆摩擦。
在那裡,江臨的世界觀被重塑了。
以前,方程有解就是算出一個帶著x和t的表達式,比如u(x,t)=sin(x−ct)。
物理直覺告訴他,波就是這麼傳的。
但在Evans的世界裡,對於非線性方程,有沒有解根本不是顯式寫出一個公式。
那是一條由無數個極其脆弱的邏輯拼湊起來的窄橋。
第一步,先構造一系列平滑的近似解。
第二步,利用極度精妙的先驗估計,比如讓某項乘以方程本身,然後分部積分,證明這些近似解的某種能量是被控制住的。
第三步,利用這種能量的有界性,引出弱收斂。
第四步,再利用緊性定理,在弱收斂的序列中抽出一個強收斂的子列。
最後一步,讓極限量取極限,證明這個影子般的極限,竟然真的滿足原方程。
這橋上的每一步,只要有一個不等式放縮漏掉了一丁點誤差,整座橋就會轟然坍塌。
沒有任何糊弄過去的空間。
江臨第一次真正地理解了,為什麼一個看似毫無物理意義的數學能量不等式,竟然能擁有如此巨大的權力。
能決定一整族近似解,到底有沒有資格活到極限那個彼岸里去。
而卡他卡得最久的,是Brezis里的Sobolev嵌入定理。
以前,它只是課本上幾條排版難看的定理。
現在,它在江臨眼裡,變成了一整張等級森嚴的廢土邊界地圖。
「在這個世界裡,你想擁有某種特權,就必須用另一種資源來交換。」
江臨在手寫板上畫著圖,喃喃自語。
空間維度不同,可微性指數k不同,可積指數p不同,你所能嵌入的空間性質就截然不同。
哪怕你只差了一丁點指標,越過那條線,數學就會毫不留情地甩給你一個發散的反例,告訴你此路不通。
江臨是個極其固執的人。
他用了整整兩個月的時間,把所有高維低維情況下的常用嵌入定理,全部推導一遍,並列成了一張巨大的表格。
在這個表格里,每一種嵌入定理的後面,他都硬生生地附上了一個自己構造的,或是書上找來的反例。
那張寫滿反例的巨大表格,後來被他用膠帶貼在了石屋的北牆上。
不是為了展示學問。
是為了每天抬頭提醒自己一句話。
在非線性方程面前,正則性從來不是你想要就能有的願望。
它是你必須拿命去換的條件。
Brezis補齊了他泛函的底盤。
弱收斂、緊性、對偶空間、自反空間……
這些名詞,以前在他腦子裡就像是一堆毫無生氣的標本名字。
讀完Brezis後,它們活了過來,變成了他手裡鋒利的解剖刀。
江臨終於能看懂,前人證明文章里那些抽象的詞,在整條邏輯鏈里到底在承受哪一段重量。
強收斂,那是真金白銀的極限。
但強收斂太難拿到了。
所以退而求其次,弱收斂只給你一個模糊的影子。
而緊性定理,則是那個變魔術的手,負責在某些特定的低階空間裡,把那些模糊的影子,重新凝聚成可以觸摸的實體。
能不能把這種重新凝聚的實體帶回原非線性方程里?
那就得看你一開始第一步的先驗能量估計有沒有做對,有沒有漏水。
一環扣一環,美不勝收。
到了Temam的納維-斯托克斯方程。
這已經是流體力學的聖經了。
納維-斯托克斯方程雖然不是包含了磁場的MHD,但它們擁有極其相似的數學骨架。
不可壓條件。
討厭的非線性對流項。
負責平滑一切的擴散項。
以及那套從先驗估計到伽遼金近似,再到緊性引理,最終獲得弱解的極其嚴密的Leray-Hopf弱解構造法。
江臨讀到Leray-Hopf弱解存在性證明的那天深夜,外面的風機正發出平穩的低嘯。
他閉上眼睛,腦海里不再是代碼跑出來的彩色圖像,而是一個個抽象的空間在相互交織。
他第一次感覺到,面對一個無法得到解析解的非線性偏微分方程組,人類並不是只有數值模擬這一條路可以走。
純數學提供了一條更孤高更冷酷的路。
你雖然算不出它的精確樣子,但你可以用一套能量不等式的鎖鏈,一點一點地把它逼近死角。
這種逼近不是完全的馴服,因為解依然可能在局部發生奇點爆破(Blow-up,千禧年大獎難題)。
但這套鎖鏈,至少能保證它在某個特定的空間範疇內,不能隨意發瘋亂跑。
第二十年的冬天,第一場大雪封門的時候。
江臨翻過Temam的最後一頁。
三本神書,終於讀完。
【Sobolev_Energy_Methods】那個文件夾里,已經塞滿了他用手機掃進去的,幾千頁自己做的習題演算,推翻過的反例,以及像戰略地圖一樣畫出的泛函空間關係圖。
他沒有立刻回到那篇將他攔在門外的Plasmoid嚴格證明論文。
而是站起身,走到北牆邊。
在左側那張占據了大半面牆的研究史地圖旁邊,用筆新開闢了一塊專門的矩形區域。
【Mathematical_Toolbox(數學兵器庫)】
然後,他在下面一行一行地列出了自己這十年裡,為了跨越障礙而前後打造的三套重武器。
【1. 數值PDE高階理論與驗證——用於審問機器。】
【2. 漸近匹配與奇異攝動——用於跨越尺度。】
【3. Sobolev空間與非線性泛函能量方法——用於鑄造鎖鏈。】
寫完這三行字,他走回工作檯,翻開已經用到第三本的筆記本。
在倒數第二頁,他寫下了和五年前極其相似,但底氣有天壤之別的一段話。
【Plasmoid類及MHD非線性破裂問題,底層數學工具已全部儲備完畢。】
第一次寫類似的話,是他讀完Bender&Orszag之後。
那時他只是模模糊糊地覺得,也許可以依葫蘆畫瓢去推點東西。
但這一次,不再是也許。
他清晰地看見了一條極窄,但完全行得通的路。
那是一條從最宏觀的電流片斷裂,穿過漸近匹配的邊界層,最終通向用泛函能量方法給出嚴格弱解約束的路。
他沒有立刻在這條路上起跑。
因為目前觀測數據的缺失,還不值得他動用這套重火力去進行理論空轉。
但他知道,這兩條線,廢土天空的紅帶觀測,與牆上這套終極數學兵器,已經在他的心裡各自亮起。
如果時機成熟,它們必定會在同一個極其危險的奇點處,轟然匯合。
第二十一年和第二十二年,江臨把視線投向了磁重聯領域中極其龐大,且與工業界緊密相連的兩個分支。
湍流重聯和聚變裝置撕裂模。
他先讀了湍流重聯的奠基之作: Lazarian,A.,&Vishniac,E.T.(1999). Reconnection in a weakly stochastic field.
在此之前,江臨讀的所有模型,都在努力尋找一種特殊的微觀幾何機制來加速重聯。
但Lazarian-Vishniac(LV99)理論直接掀了桌子。
因為LV99理論的核心思想極其狂野。
如果等離子體中的磁場本身就處於高度混亂的湍流狀態,那麼在巨大的宏觀尺度下,會同時發生無數個微小的,隨生隨滅的小尺度重聯事件。
因為磁力線在三維空間裡像一團亂麻一樣遊走,它們交匯的觸點成倍增加。
整體的重聯速率,自然而然就變快了。
這個理論最迷人也最恐怖的地方在於。它根本不在乎那個底層的單一微觀機制到底是什麼。
隨便你是Sweet-Parker還是Hall效應,在宏觀的統計平均下,那些微觀細節全被湍流效應抹平了。
它把磁重聯從一個需要被精確解剖的單一幾何事件,直接重新定義為一個由海量隨機事件構成的統計現象。
教材上寫到湍流重聯的時候,總是一筆帶過,給出一個與湍流強度成正比的重聯率公式就算完事。
但當江臨硬著頭皮去啃LV99及後續發展的原稿時,他感到了一陣深深的違和感。
湍流重聯這條研究路線,是所有重聯理論里,最不像傳統理論物理,反而最像工程統計學的一支。
它不在乎局部的細節,只在乎整體的功率譜和統計系綜。
這其實和江臨在廢土上做了二十多年的事非常像。
他的觀測設備極其簡陋,單張照片的信噪比很低。
他就是靠著大量低質量數據的堆疊,通過時間序列的統計平均,才勉強擠出了一點點可信的極光紅帶信號。
思路是一模一樣的。
按理說,他應該對這種理論感到親切。
但他讀不下去了。
因為為了給出LV99理論的嚴格數學證明,後來者動用了兩套比Sobolev空間更讓他陌生的工具。
要繼續深入這條線,他繞不開湍流統計、隨機場、尺度級聯,甚至某些借自統計場論和重整化群的語言。
這是直接從凝聚態物理和量子場論里借來的終極殺器。
江臨靠在椅背上,看著屏幕上的重整化群流方程。
他的工具箱裡,對這兩樣東西沒有任何儲備。
統計場論需要極高的配分函數積分技巧。
重整化群需要理解尺度變換下的固定點和臨界指數。
要在沒有導師指引的廢土上,把這兩套工具補齊,並且達到能自己獨立推導演算的水平,江臨在心裡默默盤算了一下。
至少需要三本《量子場論》級別的磚頭書。 至少需要三到五年的純補課時間。
但這還不是最麻煩的。
退一萬步講,就算他花了五年時間成了重整化群的高手,那又怎樣?
LV99理論里,想要預測重聯速率,需要輸入幾個關鍵的微觀參數。
局地湍流注入尺度,各向異性的湍流功率譜指數,以及小尺度的阿爾芬馬赫數。
江臨轉頭看了看外面。
他能獲取的數據是什麼?
是地面上那台民用磁力計,它只能讀出一個經過幾十公里大氣層衰減後的總磁場矢量。
他根本不可能獲取那片紅帶所在區域的高空原位湍流功率譜。
這是一條死胡同。
江臨在工作站前整整權衡了一下午。
補,花五年時間,得到一套屠龍術。
不補,對於湍流重聯這個龐大的分支,他只能停留在看懂綜述里別人總結的公式這一淺薄的層面,永遠無法親自下場驗證。
最後,他站起身,走到北牆的【Mathematical_Toolbox】區域。
拿起筆,在之前的三條工具下方,非常用力地寫下了第四條。
【4. 統計場論與重整化群方法——主動選擇不補。】
然後在下面加上了一行紅色的批註。
【理由:獲取此工具的時間代價過高。且即便補完,也絕對無法用它來獨立驗證我的任何地面廢土觀測數據。】
【這不是退縮或放棄,這是對現實物理邊界的承認,知止不殆。】
寫完這段話,江臨心裡沒有一絲遺憾。
這是一種只有跨越了無數高山後,才能擁有的屬於成熟者的從容。
他知道自己能改變什麼,更知道自己不能改變什麼。
緊接著,在第二十二年的下半年,江臨快速掃讀了大量關於托卡馬克裝置中撕裂模的論文。
撕裂模。
這是那些致力於可控核聚變的物理學家們最頭疼的不穩定性之一。
它會在極高溫度的等離子體環里撕開磁面,導致約束崩潰。
當江臨把撕裂模的方程和空間磁重聯的方程放在一起對比時,忍不住笑了。
本質上,它們就是同一種物理。
它們不是同一個問題,卻共享同一類物理核心,磁拓撲改變、磁能釋放、流體/電磁耦合,以及邊界條件對演化路徑的強約束。
唯一的區別是什麼?
邊界條件。
太陽耀斑和地球磁層頂的磁重聯,發生在一個廣闊的近乎自由邊界的開放空間裡。
而托卡馬克里的撕裂模,被死死地鎖在一個有著強環向磁場,有著導電金屬器壁,有著複雜的幾何曲率的封閉甜甜圈裡。
邊界完全不同,但核心的物理引擎,是同一個。
不遠處,風機二號正在風中平穩地轉動。
這台買來的入門級商品風機,被他改造,維修,調試過無數次。
旁邊的地基上,是已經被拆掉的舊風機的殘骸。
舊風機是他第五次廢土時手搓的,零件很多來自廢土世界的殘骸
兩颱風機。
一台是高工業標準產物,一台是廢土手工極客殘次品。
外形完全不同,工藝天差地別,來源毫無瓜葛。
但它們,都在做同一件事,把風的動能,轉化為電能。
它們遵循的核心物理規律,是完全同一個祖宗。
風的流體動力學入射計算,葉片攻角與升阻力分解,發電機內部的法拉第電磁感應定律,交流轉直流的整流橋,以及最後的蓄電池儲能。
這一整套物理流程,對兩颱風機都絕對成立。
它們之所以看起來不一樣,表現不一樣,僅僅是因為它們被具體實現的邊界條件不同。
太陽耀斑與托卡馬克裝置的關係。
空間等離子體與實驗室等離子體的關係。
就像風機一號與風機二號的關係一樣。
江臨轉過身,在工作站里建立了一個全新的、也是最後一個總結性的文件夾。
命名為:【Same_Physics_Different_Boundaries(同源物理與異構邊界)】
他沒有往裡面放任何論文。
只是在裡面建了一個名為README.md的文本文檔,寫了一句話。
【核心引擎永遠只有一個,世間萬物的千姿百態,皆是邊界條件的不同所化。】
第二十二年的最後一天,十二月三十一日。
廢土迎來了極其罕見的極寒之夜。
氣溫驟降,天空卻異常晴朗,沒有一絲雲彩。
石屋裡,江臨關掉了所有的屏幕。唯一的照明,是頭頂的露營燈。
他站在北牆前。
整面巨大的北牆,已經被他的研究史地圖密密麻麻地爬滿了。
那是他用整整十年的時間,一寸一寸打下來的江山。
A類核心論文精讀,附帶手推公式和復現驗證,八十二篇。
B類重點論文脈絡梳理,四百二十一篇。
C類泛讀與索引庫歸檔,四千零三十六篇。
每一篇稍微重要點的文章,都被江臨在牆上用引線和標籤標註過。
標註的不是論文的結論有多偉大。
標註的是它們最脆弱的假設是什麼,是它們與他在廢土上能觀測的現象之間,隔著多少個無可逾越的數量級壁壘,是它們屬於哪一種核心相同但邊界相異的家族樹。
這面牆上的標記五花八門,完全不像是一個學者的知識樹。
更像是一個身經百戰的老兵畫出來的戰區地圖。
綠色標記:【有限可信】。
那些他自己用嚴苛的PDE代碼復現過的非線性結構如Plasmoid。
黃色標記:【部分可驗證】。
邏輯閉環,但實驗條件苛刻如GEM挑戰賽。
紅色標記:【完全不可驗證】。
數學上自嗨,物理上毫無抓手的空中樓閣。
藍色標記:【已被反例否定】。
已經被更高維度的模擬或觀測實錘推翻的舊理論。
黑色標記:【數學自洽但物理孤立】。
紫色標記:【後人的曲解】。
完全是後世教材強行補上去的註解,原作者當年根本不持此觀點比如Parker的初衷。
還有那顆黑色的星星:【不可觸及的高點】。
每一條引線,每一個色塊,每一行批註,都瀰漫著這個極其艱深的領域裡,幾代頂級物理學家廝殺,妥協,自我推翻的硝煙味。
在這片戰區地圖的右側,是那塊寫滿了他心血的【Mathematical_Toolbox】。
裡面安靜地躺著數值分析,漸近匹配,Sobolev空間三大兵器,以及那行觸目的紅字。
暫時主動放棄的重整化群。
江臨在工作檯前,背靠著椅子,靜靜地看完了整面牆。
看了足足半個小時。
然後打開工作站的日記本程序,鄭重地敲下了第二十二年的年度,也是這十年的終極總結。
【第二十二年總結】
【過去十年數據通報:A類核心論文精讀完畢八十二篇。B類重點理清四百二十一篇。C類索引歸檔四千零三十六篇。】
【底層數學兵器補課完成三項。基於現實邊界,主動放棄一項。】
【研究史的脈絡圖,已爬滿整面北牆。】
回車,換行。
【十年前,也就是我剛把那些二手教材全刪了的時候,我以為我在學磁重聯是什麼。】
【現在,經過了這十年,我看著這滿牆的顏色標籤,我終於知道,我這十年真正學到的,是這個領域為什麼至今沒有被完全解決。】
【我知道了什麼假設是脆弱的,什麼機制是強加的,什麼數學是勉強的,什麼觀測是遙不可及的。】
【在這個試圖揭示宇宙最核心能量釋放規律的課題里,要想真正走向答案,你必須先知道前人都死在了哪些坑裡。知道為什麼沒被解決,是任何一個試圖接近真理的人,在看到答案之前,必須先一步步蹚過去的一道鬼門關。】
【我已經在這道鬼門關里,走了整整十年。】
【如果你現在問我,我離最終的答案近了多少?我誠實地回答,也許還有十萬八千里。】
【但是,我知道另一件事。】
【我離知道自己到底不知道什麼的這個境界,近了很多很多。】
【在這個荒蕪的廢土世界裡,這就足夠了。這給了我面對滿天繁星時,不至於發瘋的錨點。】
【這段長達十年的紙面推演與歷史測繪,可以正式收尾了。】
保存,關閉程序。
江臨關掉工作站主機的電源,走到石屋門口,推開木門。
極寒的冷空氣瞬間湧入,江臨不由自主地打了個寒顫。
他把防寒服的拉鏈拉到最頂端,走進了夜色中。
外面,風機二號在夜風中平穩地轉動,像一個忠誠的哨兵。
他順著線路望去,遠處的觀測點A和觀測點B,各自在黑暗中亮著一盞猶如螢火蟲般極其微弱的綠色電源指示燈。
他抬起頭,看向北方的低空。
今晚,天空極其澄澈。
但那條他魂牽夢繞的淡紅色亮帶,並沒有出現。
江臨沒有失望。
因為它就在那裡,從他第六次重返廢土的第七十天起,從他第一次在鏡頭裡捕捉到它的異常輪廓起,它就一直在那裡。
在他在石屋裡啃噬那八十二篇A類核心論文的整整十年日日夜夜裡,那條紅帶,那場高空的大撕裂,從來沒有真正離開過這片滿目瘡痍的天空。
它只是有它自己的脾氣,有時候不出來而已。
江臨在凜冽的夜風中站得筆直,深深地吸了一口冷空氣。
然後轉身回到了石屋裡。
他知道明天自己要做什麼了。
理論的圖紙已經畫完,數學的刀已經磨快。教材給出了Sweet的長條麵條,Petschek給出了華麗的X型,Plasmoid給出了碎裂的磁島串,Hall給出了電子離子的背離,湍流給出了統計的迷霧。
但這些,終究都是在超級計算機和草稿紙上被妥協,被抽象過的模型圖像。
江臨想看的,不是模型。
他想看的,是這片遭受了真實災難的廢土上,在每一次紅帶閃耀時,大自然這台無窮算力的主機,所遺留下來的真實磁場宏觀殘骸。
明天,重新布置觀測基線網。
去捕捉屬於廢土本身的真相。
於是打開了塵封已久的【Replicate_Biskamp_1986】項目。
帶著牆上那份嚴苛的【數值健康檢查清單V1】,以及從Bender&Orszag那裡學來的對物理多尺度的敬畏,他把C++代碼全部推翻重寫。
這一次,他不再盲目地調大參數。
特意把電流片的長寬比,精準地拉到了Loureiro理論推導出的那個不穩定性臨界閾值之上。
同時,利用高階數值格式壓制了數值耗散,保證網格解析度能夠完美解析內層擴散區。
程序跑了整整二十三天。
江臨沒有像上次那樣焦慮,他甚至有心情去檢修風機。
第二十三天的傍晚,結果出來了。
江臨調出動畫。
屏幕上,那條原本像麵條一樣的Sweet-Parker電流片,在演化的中期,中央突然鼓出了一個小小的黑點。
反平行磁場的零點,磁島的雛形。
江臨屏住呼吸,沒有動。
緊接著,第二個小黑點出現,第三個, 第五個。
短短十幾個時間步之後,整條繃緊的電流片就像一根承受了極限壓力的玻璃絲,內部的應力網絡全面崩潰。
從內部砰地碎裂開來,變成了一長串大小不一、相吞噬的磁島結構。
完美的非線性Plasmoid不穩定性再現!
江臨終於親眼在自己的代碼里看到了原來Sweet-Parker的長麵條,並不是永遠只能絕望地慢下去。
當它慢到極致,被拉伸到物理極限的時候,它會選擇玉石俱焚式的碎裂。
整個龐大的僵死結構,在演化中不斷細分為無數個微觀的快重聯區,再不斷重組,最終爆發出驚人的能量釋放率。
絕境之中,物理規律自己找到了出口。
江臨沒有被勝利沖昏頭腦,立刻轉過身,看著牆上的十二項【健康檢查清單】。
開始嚴格執行全套擾動測試。
把網格解析度整體提高一倍,磁島鏈依然出現,位置微調,但拓撲不變。
證明收斂。
TW 看書網伴你閒,𝙨𝙝𝙪.𝙩𝙬超方便
把Lundquist數再提高一個量級,磁島變得更密集,碎裂更劇烈,符合理論預測。
改變初始擾動的頻譜分布,雖然早期的演化路徑有差異,但最終的非線性狀態殊途同歸。
每一項嚴苛的拷問之後,磁島串作為一個整體的物理現象,宛如一塊經過千錘百鍊的鋼鐵,穩穩地立在那裡。
江臨打開項目日誌,用嚴謹的語調寫下結案陳詞。
【此數值結果在網格加密及參數擾動後仍穩定存在,通過健康清單十二項檢驗。】
【但請注意:結論僅限於當前的二維MHD參數區間,不可輕易外推至廢土天空的高維真實尺度。】
【歸檔名:MR-PLM-04(Magnetic Reconnection - Plasmoid - 04)。】
然後,他走到石屋的北牆。
這面牆是他用來繪製研究史地圖的地方。
拿起筆,在Plasmoid理論的區塊下方,畫了一個重重的勾,並打上了一個標記。
【有限可信】
江臨看著它,長長地吐出了一口濁氣。
第十七年和第十八年,江臨的探索觸角繼續向微觀層面延伸,開始啃無碰撞重聯和Hall效應。
這是單流體MHD理論開始全面崩潰的地帶。
當等離子體變得極其稀薄,比如在地球磁層或是廢土的高層大氣,粒子之間的碰撞幾乎消失。
這時候,把等離子體看作一種均勻導電流體的假設就不成立了。
電子和離子因為質量相差懸殊,開始分道揚鑣。
GEM magnetic reconnection challenge的論文是繞不過去的一座豐碑。
這是一次罕見的學術界集體大閱兵。
九個頂尖的國際研究組,帶著各自引以為傲的九種截然不同的數值代碼,去算同一個設定好的重聯問題。
論文的結論極其刺眼,就像是在單流體MHD的臉上狠狠扇了一巴掌。
不管你用什麼天花亂墜的數值方法,只要你的物理方程里包含了Hall效應,所有代碼算出的重聯速率,最終都會驚人地收斂到一個相近的快重聯值。
反之,只要你固執地只用單流體MHD,哪怕你的代碼寫出花來,結果毫無例外都會悲慘地滑回Sweet-Parker那條絕望的慢路上。
如果是以前看教材,江臨只會看到教科書上總結的一句乾巴巴的話。
【研究表明,Hall效應在小尺度擴散區上變得異常重要,是觸發快重聯的關鍵機制。】
但現在的江臨,已經是對這種教科書體產生免疫抗體的老兵。
他根本不看正文的讚美,直接翻到附錄。
像個苛刻的檢察官,拿著放大鏡去對比那九個研究組設定的網格參數,邊界條件,初始擾動類型和數值耗散格式。
看了一周後,他明白了。
GEM挑戰賽的結果當然極其偉大,它是歷史的轉折點。
但它不是終極真理。
它真正證明的是,在那一組被九個組共同約定的特殊的初始擾動和邊界條件的籠子裡,Hall效應是統治者。
如果你換一種邊界,或者換一種三維的湍流環境,Hall效應還能不能這麼立竿見影?
沒人敢打包票。
江臨走到北牆的研究史地圖前,給GEM挑戰賽畫了一個圈。
【強證據,但限定條件非常明確,不可隨意泛化外推。】
這已經是江臨能給出的極高評價了。
真正讓江臨陷入長時間沉默的,是另一篇論文。
Burch,J.L.,et al.(2016). Electron-scale measurements of magnetic reconnection in space.
發表在《Science》上。
這是人類觀測史上的奇蹟。
MMS衛星編隊。
四顆造價高昂的衛星,排成一個緊密的四面體陣列,衛星之間的間距只有區區幾公里。
這在廣袤的太空中簡直就是貼臉。
它們像四根精細的銀針,一頭扎進了地球的磁層頂。
然後,它們直接在太空中,抓到了那個傳說中只存在於紙面和超算里的電子擴散區。
那是一個只有幾十公里尺度的微觀物理結構。
為了在這轉瞬即逝的太空中看它一眼,人類燃燒了價值十億美元級別的經費,動用了最頂尖的宇航工程技術,才換來這張數據圖。
夜裡。
江臨坐在石屋的桌前,盯住論文裡那張帶有四面體坐標的相空間分布圖。
看了很久,很久。
他的觀測點A和B,加上一條移動觀測線,組成的最大觀測基線不過是可憐的兩點五公里。
低照度相機,民用磁力計,風速計,自製時間基準……
這些東西能記錄廢土天空,能告訴他紅帶不是錯覺,卻永遠不可能把他送進高空幾十公里處那個精微的電子擴散區。
他想在廢土上用觀測去驗證Hall電場?
根本不可能。
他想捕捉像MMS那樣快速重聯的實時微觀粒子分布?
痴人說夢。
他想像四顆探針那樣扎進磁層頂?
這輩子都別想了。
航天工程、探測器陣列和原位觀測的技術壁壘,橫亘在他和那一層真相之間。
不過江臨倒沒有像熱血漫畫男主那樣感到屈辱或不甘。
畢竟不是第一次認識邊界的殘酷性了。
他起身開門,走出石屋。
已經是冬天的深處。廢土的天空呈現出病態的灰藍色。
北方低空那條常年隱隱綽綽的淡紅色亮帶,今晚並沒有出現,似乎被厚重的輻射雲層遮擋了。
風機二號在塔尖上緩慢而執著地轉動著。
江臨雙手插在衝鋒衣的口袋裡,在塔下站了足足半個小時,直到睫毛上結出了白霜。
回到石屋後,他翻開筆記本,在最新的一頁寫下。
【MMS衛星編隊,花了我幾輩子也拿不到的錢,去看到了一個我用肉眼凡胎永遠也看不到的微觀世界。】
【我能做的,是從他們已經在山頂確認存在的那個結構出發,往回推。如果那麼強烈的電子擴散區真的在頭頂的高空發生,它向下輻射的過程中,會不會在我舊相機里,在這2.5公里長的基線上,在這條夜空的紅帶里,留下某種山腳下的宏觀投影?】
【我看不清山頂的雪。】
【但如果山腳下發生了雪崩,我在泥地里測繪雪崩的殘骸分布,也是一種測繪。用宏觀推演微觀,這是我唯一能走的路。】
寫完這幾段話,他走到北牆前,在Burch 2016那篇閃耀的論文旁邊,打了一個前所未有的特殊標記。
然後在旁邊寫下。
【不可觸及的高點】
並在下方標註了一行小字。
【這是我用來在黑夜裡定向的星,雖然我知道,那絕不是我這具軀殼能到達的地。】
心如止水。
第十九年的春天,廢土迎來了一個罕見的平靜期,沒有沙塵暴,也沒有酸雨。
但江臨迎來了他研究生涯中的第三次大停頓。
這一次的停頓,比前兩次都要絕望。
前兩次,無論是C++代碼崩潰,還是漸近匹配的代數推導看不穿,好歹都在物理和工程的範疇內。
只要花時間,總能找到抓手。
但這次,他卡在了一篇關於Plasmoid不穩定性數學嚴格性證明的理論文獻前。
論文試圖從純數學的偏微分方程分析角度,證明在某些極限定理下,磁島的破裂是不可避免的。
然後江臨發現自己成了一個文盲。
這篇論文裡的每一行不等式變形,拆開看他似乎都認識。
但他完全讀不懂。
完全無法理解那些符號背後真正承擔的,屬於現代數學體系的恐怖重量。
文章里充斥著這樣的詞彙。
Sobolev範數估計, 弱解的全局存在性,先驗能量不等式,空間正則性的提升……
這些詞,江臨在自學高等數學和泛函分析時隱約看過。
只勉強能在草稿紙上默寫出內積空間或完備性的定義。
可當這些乾癟的定義,被硬生生地塞進一個極其複雜的非線性MHD方程組裡,用來作為磚塊,推動一條長達三十頁的證明鏈往前走時,江臨第一次清楚地感覺到,他站在一堵高聳入雲的光滑鐵牆門外。
他能憑藉強大的代數功底,去機械驗算論文裡的某一個積分不等式是否放縮正確。
但他完全不能判斷,作者為什麼必須從左邊這個空間跳到右邊那個空間?
為什麼這裡要用一個弱收斂,那裡又要用一個緊性定理?
機械驗算,只能證明他這步算術題沒算錯。
它完全不能證明他理解了這套龐大而精密的高階數學工具。
那天晚上,江臨坐在屏幕前,看著那篇滿是積分號的論文,自嘲地搖了搖頭。
果斷關掉了文獻閱讀器。
在工作站的根目錄下,新建文件夾。
【Sobolev_Energy_Methods】
然後熟練地調出三本在純數學界大名鼎鼎,足以讓無數研究生熬禿頭的神書。
Evans的《Partial Differential Equations》。
Brezis的《Functional Analysis, Sobolev Spaces and Partial Differential Equations》。
Temam的《Navier-Stokes Equations: Theory and Numerical Analysis》。
三本電子書的圖標在桌面上排開,像三塊表面長滿青苔的攔路石,壓在了他通往真理的門檻上。
江臨在紙筆記本上,翻開新的一頁,重重寫下。
【這是我離獨立在數學上嚴格證明一個磁重聯領域定理,距離最近的一次。】
【但我可悲地發現,我缺少了一整套用來修橋的現代數學工具。】
【別廢話了,先去學怎麼造工具。】
接下來的整整一年多時間裡,廢土石屋裡的節奏,變得單調到了近乎自虐的地步。
像一個孤獨的數學信徒,一頭扎進Evans和Brezis構建的那個抽象的拓撲世界裡。
Evans把他按進偏微分方程的泥地里反覆摩擦。
在那裡,江臨的世界觀被重塑了。
以前,方程有解就是算出一個帶著x和t的表達式,比如u(x,t)=sin(x−ct)。
物理直覺告訴他,波就是這麼傳的。
但在Evans的世界裡,對於非線性方程,有沒有解根本不是顯式寫出一個公式。
那是一條由無數個極其脆弱的邏輯拼湊起來的窄橋。
第一步,先構造一系列平滑的近似解。
第二步,利用極度精妙的先驗估計,比如讓某項乘以方程本身,然後分部積分,證明這些近似解的某種能量是被控制住的。
第三步,利用這種能量的有界性,引出弱收斂。
第四步,再利用緊性定理,在弱收斂的序列中抽出一個強收斂的子列。
最後一步,讓極限量取極限,證明這個影子般的極限,竟然真的滿足原方程。
這橋上的每一步,只要有一個不等式放縮漏掉了一丁點誤差,整座橋就會轟然坍塌。
沒有任何糊弄過去的空間。
江臨第一次真正地理解了,為什麼一個看似毫無物理意義的數學能量不等式,竟然能擁有如此巨大的權力。
能決定一整族近似解,到底有沒有資格活到極限那個彼岸里去。
而卡他卡得最久的,是Brezis里的Sobolev嵌入定理。
以前,它只是課本上幾條排版難看的定理。
現在,它在江臨眼裡,變成了一整張等級森嚴的廢土邊界地圖。
「在這個世界裡,你想擁有某種特權,就必須用另一種資源來交換。」
江臨在手寫板上畫著圖,喃喃自語。
空間維度不同,可微性指數k不同,可積指數p不同,你所能嵌入的空間性質就截然不同。
哪怕你只差了一丁點指標,越過那條線,數學就會毫不留情地甩給你一個發散的反例,告訴你此路不通。
江臨是個極其固執的人。
他用了整整兩個月的時間,把所有高維低維情況下的常用嵌入定理,全部推導一遍,並列成了一張巨大的表格。
在這個表格里,每一種嵌入定理的後面,他都硬生生地附上了一個自己構造的,或是書上找來的反例。
那張寫滿反例的巨大表格,後來被他用膠帶貼在了石屋的北牆上。
不是為了展示學問。
是為了每天抬頭提醒自己一句話。
在非線性方程面前,正則性從來不是你想要就能有的願望。
它是你必須拿命去換的條件。
Brezis補齊了他泛函的底盤。
弱收斂、緊性、對偶空間、自反空間……
這些名詞,以前在他腦子裡就像是一堆毫無生氣的標本名字。
讀完Brezis後,它們活了過來,變成了他手裡鋒利的解剖刀。
江臨終於能看懂,前人證明文章里那些抽象的詞,在整條邏輯鏈里到底在承受哪一段重量。
強收斂,那是真金白銀的極限。
但強收斂太難拿到了。
所以退而求其次,弱收斂只給你一個模糊的影子。
而緊性定理,則是那個變魔術的手,負責在某些特定的低階空間裡,把那些模糊的影子,重新凝聚成可以觸摸的實體。
能不能把這種重新凝聚的實體帶回原非線性方程里?
那就得看你一開始第一步的先驗能量估計有沒有做對,有沒有漏水。
一環扣一環,美不勝收。
到了Temam的納維-斯托克斯方程。
這已經是流體力學的聖經了。
納維-斯托克斯方程雖然不是包含了磁場的MHD,但它們擁有極其相似的數學骨架。
不可壓條件。
討厭的非線性對流項。
負責平滑一切的擴散項。
以及那套從先驗估計到伽遼金近似,再到緊性引理,最終獲得弱解的極其嚴密的Leray-Hopf弱解構造法。
江臨讀到Leray-Hopf弱解存在性證明的那天深夜,外面的風機正發出平穩的低嘯。
他閉上眼睛,腦海里不再是代碼跑出來的彩色圖像,而是一個個抽象的空間在相互交織。
他第一次感覺到,面對一個無法得到解析解的非線性偏微分方程組,人類並不是只有數值模擬這一條路可以走。
純數學提供了一條更孤高更冷酷的路。
你雖然算不出它的精確樣子,但你可以用一套能量不等式的鎖鏈,一點一點地把它逼近死角。
這種逼近不是完全的馴服,因為解依然可能在局部發生奇點爆破(Blow-up,千禧年大獎難題)。
但這套鎖鏈,至少能保證它在某個特定的空間範疇內,不能隨意發瘋亂跑。
第二十年的冬天,第一場大雪封門的時候。
江臨翻過Temam的最後一頁。
三本神書,終於讀完。
【Sobolev_Energy_Methods】那個文件夾里,已經塞滿了他用手機掃進去的,幾千頁自己做的習題演算,推翻過的反例,以及像戰略地圖一樣畫出的泛函空間關係圖。
他沒有立刻回到那篇將他攔在門外的Plasmoid嚴格證明論文。
而是站起身,走到北牆邊。
在左側那張占據了大半面牆的研究史地圖旁邊,用筆新開闢了一塊專門的矩形區域。
【Mathematical_Toolbox(數學兵器庫)】
然後,他在下面一行一行地列出了自己這十年裡,為了跨越障礙而前後打造的三套重武器。
【1. 數值PDE高階理論與驗證——用於審問機器。】
【2. 漸近匹配與奇異攝動——用於跨越尺度。】
【3. Sobolev空間與非線性泛函能量方法——用於鑄造鎖鏈。】
寫完這三行字,他走回工作檯,翻開已經用到第三本的筆記本。
在倒數第二頁,他寫下了和五年前極其相似,但底氣有天壤之別的一段話。
【Plasmoid類及MHD非線性破裂問題,底層數學工具已全部儲備完畢。】
第一次寫類似的話,是他讀完Bender&Orszag之後。
那時他只是模模糊糊地覺得,也許可以依葫蘆畫瓢去推點東西。
但這一次,不再是也許。
他清晰地看見了一條極窄,但完全行得通的路。
那是一條從最宏觀的電流片斷裂,穿過漸近匹配的邊界層,最終通向用泛函能量方法給出嚴格弱解約束的路。
他沒有立刻在這條路上起跑。
因為目前觀測數據的缺失,還不值得他動用這套重火力去進行理論空轉。
但他知道,這兩條線,廢土天空的紅帶觀測,與牆上這套終極數學兵器,已經在他的心裡各自亮起。
如果時機成熟,它們必定會在同一個極其危險的奇點處,轟然匯合。
第二十一年和第二十二年,江臨把視線投向了磁重聯領域中極其龐大,且與工業界緊密相連的兩個分支。
湍流重聯和聚變裝置撕裂模。
他先讀了湍流重聯的奠基之作: Lazarian,A.,&Vishniac,E.T.(1999). Reconnection in a weakly stochastic field.
在此之前,江臨讀的所有模型,都在努力尋找一種特殊的微觀幾何機制來加速重聯。
但Lazarian-Vishniac(LV99)理論直接掀了桌子。
因為LV99理論的核心思想極其狂野。
如果等離子體中的磁場本身就處於高度混亂的湍流狀態,那麼在巨大的宏觀尺度下,會同時發生無數個微小的,隨生隨滅的小尺度重聯事件。
因為磁力線在三維空間裡像一團亂麻一樣遊走,它們交匯的觸點成倍增加。
整體的重聯速率,自然而然就變快了。
這個理論最迷人也最恐怖的地方在於。它根本不在乎那個底層的單一微觀機制到底是什麼。
隨便你是Sweet-Parker還是Hall效應,在宏觀的統計平均下,那些微觀細節全被湍流效應抹平了。
它把磁重聯從一個需要被精確解剖的單一幾何事件,直接重新定義為一個由海量隨機事件構成的統計現象。
教材上寫到湍流重聯的時候,總是一筆帶過,給出一個與湍流強度成正比的重聯率公式就算完事。
但當江臨硬著頭皮去啃LV99及後續發展的原稿時,他感到了一陣深深的違和感。
湍流重聯這條研究路線,是所有重聯理論里,最不像傳統理論物理,反而最像工程統計學的一支。
它不在乎局部的細節,只在乎整體的功率譜和統計系綜。
這其實和江臨在廢土上做了二十多年的事非常像。
他的觀測設備極其簡陋,單張照片的信噪比很低。
他就是靠著大量低質量數據的堆疊,通過時間序列的統計平均,才勉強擠出了一點點可信的極光紅帶信號。
思路是一模一樣的。
按理說,他應該對這種理論感到親切。
但他讀不下去了。
因為為了給出LV99理論的嚴格數學證明,後來者動用了兩套比Sobolev空間更讓他陌生的工具。
要繼續深入這條線,他繞不開湍流統計、隨機場、尺度級聯,甚至某些借自統計場論和重整化群的語言。
這是直接從凝聚態物理和量子場論里借來的終極殺器。
江臨靠在椅背上,看著屏幕上的重整化群流方程。
他的工具箱裡,對這兩樣東西沒有任何儲備。
統計場論需要極高的配分函數積分技巧。
重整化群需要理解尺度變換下的固定點和臨界指數。
要在沒有導師指引的廢土上,把這兩套工具補齊,並且達到能自己獨立推導演算的水平,江臨在心裡默默盤算了一下。
至少需要三本《量子場論》級別的磚頭書。 至少需要三到五年的純補課時間。
但這還不是最麻煩的。
退一萬步講,就算他花了五年時間成了重整化群的高手,那又怎樣?
LV99理論里,想要預測重聯速率,需要輸入幾個關鍵的微觀參數。
局地湍流注入尺度,各向異性的湍流功率譜指數,以及小尺度的阿爾芬馬赫數。
江臨轉頭看了看外面。
他能獲取的數據是什麼?
是地面上那台民用磁力計,它只能讀出一個經過幾十公里大氣層衰減後的總磁場矢量。
他根本不可能獲取那片紅帶所在區域的高空原位湍流功率譜。
這是一條死胡同。
江臨在工作站前整整權衡了一下午。
補,花五年時間,得到一套屠龍術。
不補,對於湍流重聯這個龐大的分支,他只能停留在看懂綜述里別人總結的公式這一淺薄的層面,永遠無法親自下場驗證。
最後,他站起身,走到北牆的【Mathematical_Toolbox】區域。
拿起筆,在之前的三條工具下方,非常用力地寫下了第四條。
【4. 統計場論與重整化群方法——主動選擇不補。】
然後在下面加上了一行紅色的批註。
【理由:獲取此工具的時間代價過高。且即便補完,也絕對無法用它來獨立驗證我的任何地面廢土觀測數據。】
【這不是退縮或放棄,這是對現實物理邊界的承認,知止不殆。】
寫完這段話,江臨心裡沒有一絲遺憾。
這是一種只有跨越了無數高山後,才能擁有的屬於成熟者的從容。
他知道自己能改變什麼,更知道自己不能改變什麼。
緊接著,在第二十二年的下半年,江臨快速掃讀了大量關於托卡馬克裝置中撕裂模的論文。
撕裂模。
這是那些致力於可控核聚變的物理學家們最頭疼的不穩定性之一。
它會在極高溫度的等離子體環里撕開磁面,導致約束崩潰。
當江臨把撕裂模的方程和空間磁重聯的方程放在一起對比時,忍不住笑了。
本質上,它們就是同一種物理。
它們不是同一個問題,卻共享同一類物理核心,磁拓撲改變、磁能釋放、流體/電磁耦合,以及邊界條件對演化路徑的強約束。
唯一的區別是什麼?
邊界條件。
太陽耀斑和地球磁層頂的磁重聯,發生在一個廣闊的近乎自由邊界的開放空間裡。
而托卡馬克里的撕裂模,被死死地鎖在一個有著強環向磁場,有著導電金屬器壁,有著複雜的幾何曲率的封閉甜甜圈裡。
邊界完全不同,但核心的物理引擎,是同一個。
不遠處,風機二號正在風中平穩地轉動。
這台買來的入門級商品風機,被他改造,維修,調試過無數次。
旁邊的地基上,是已經被拆掉的舊風機的殘骸。
舊風機是他第五次廢土時手搓的,零件很多來自廢土世界的殘骸
兩颱風機。
一台是高工業標準產物,一台是廢土手工極客殘次品。
外形完全不同,工藝天差地別,來源毫無瓜葛。
但它們,都在做同一件事,把風的動能,轉化為電能。
它們遵循的核心物理規律,是完全同一個祖宗。
風的流體動力學入射計算,葉片攻角與升阻力分解,發電機內部的法拉第電磁感應定律,交流轉直流的整流橋,以及最後的蓄電池儲能。
這一整套物理流程,對兩颱風機都絕對成立。
它們之所以看起來不一樣,表現不一樣,僅僅是因為它們被具體實現的邊界條件不同。
太陽耀斑與托卡馬克裝置的關係。
空間等離子體與實驗室等離子體的關係。
就像風機一號與風機二號的關係一樣。
江臨轉過身,在工作站里建立了一個全新的、也是最後一個總結性的文件夾。
命名為:【Same_Physics_Different_Boundaries(同源物理與異構邊界)】
他沒有往裡面放任何論文。
只是在裡面建了一個名為README.md的文本文檔,寫了一句話。
【核心引擎永遠只有一個,世間萬物的千姿百態,皆是邊界條件的不同所化。】
第二十二年的最後一天,十二月三十一日。
廢土迎來了極其罕見的極寒之夜。
氣溫驟降,天空卻異常晴朗,沒有一絲雲彩。
石屋裡,江臨關掉了所有的屏幕。唯一的照明,是頭頂的露營燈。
他站在北牆前。
整面巨大的北牆,已經被他的研究史地圖密密麻麻地爬滿了。
那是他用整整十年的時間,一寸一寸打下來的江山。
A類核心論文精讀,附帶手推公式和復現驗證,八十二篇。
B類重點論文脈絡梳理,四百二十一篇。
C類泛讀與索引庫歸檔,四千零三十六篇。
每一篇稍微重要點的文章,都被江臨在牆上用引線和標籤標註過。
標註的不是論文的結論有多偉大。
標註的是它們最脆弱的假設是什麼,是它們與他在廢土上能觀測的現象之間,隔著多少個無可逾越的數量級壁壘,是它們屬於哪一種核心相同但邊界相異的家族樹。
這面牆上的標記五花八門,完全不像是一個學者的知識樹。
更像是一個身經百戰的老兵畫出來的戰區地圖。
綠色標記:【有限可信】。
那些他自己用嚴苛的PDE代碼復現過的非線性結構如Plasmoid。
黃色標記:【部分可驗證】。
邏輯閉環,但實驗條件苛刻如GEM挑戰賽。
紅色標記:【完全不可驗證】。
數學上自嗨,物理上毫無抓手的空中樓閣。
藍色標記:【已被反例否定】。
已經被更高維度的模擬或觀測實錘推翻的舊理論。
黑色標記:【數學自洽但物理孤立】。
紫色標記:【後人的曲解】。
完全是後世教材強行補上去的註解,原作者當年根本不持此觀點比如Parker的初衷。
還有那顆黑色的星星:【不可觸及的高點】。
每一條引線,每一個色塊,每一行批註,都瀰漫著這個極其艱深的領域裡,幾代頂級物理學家廝殺,妥協,自我推翻的硝煙味。
在這片戰區地圖的右側,是那塊寫滿了他心血的【Mathematical_Toolbox】。
裡面安靜地躺著數值分析,漸近匹配,Sobolev空間三大兵器,以及那行觸目的紅字。
暫時主動放棄的重整化群。
江臨在工作檯前,背靠著椅子,靜靜地看完了整面牆。
看了足足半個小時。
然後打開工作站的日記本程序,鄭重地敲下了第二十二年的年度,也是這十年的終極總結。
【第二十二年總結】
【過去十年數據通報:A類核心論文精讀完畢八十二篇。B類重點理清四百二十一篇。C類索引歸檔四千零三十六篇。】
【底層數學兵器補課完成三項。基於現實邊界,主動放棄一項。】
【研究史的脈絡圖,已爬滿整面北牆。】
回車,換行。
【十年前,也就是我剛把那些二手教材全刪了的時候,我以為我在學磁重聯是什麼。】
【現在,經過了這十年,我看著這滿牆的顏色標籤,我終於知道,我這十年真正學到的,是這個領域為什麼至今沒有被完全解決。】
【我知道了什麼假設是脆弱的,什麼機制是強加的,什麼數學是勉強的,什麼觀測是遙不可及的。】
【在這個試圖揭示宇宙最核心能量釋放規律的課題里,要想真正走向答案,你必須先知道前人都死在了哪些坑裡。知道為什麼沒被解決,是任何一個試圖接近真理的人,在看到答案之前,必須先一步步蹚過去的一道鬼門關。】
【我已經在這道鬼門關里,走了整整十年。】
【如果你現在問我,我離最終的答案近了多少?我誠實地回答,也許還有十萬八千里。】
【但是,我知道另一件事。】
【我離知道自己到底不知道什麼的這個境界,近了很多很多。】
【在這個荒蕪的廢土世界裡,這就足夠了。這給了我面對滿天繁星時,不至於發瘋的錨點。】
【這段長達十年的紙面推演與歷史測繪,可以正式收尾了。】
保存,關閉程序。
江臨關掉工作站主機的電源,走到石屋門口,推開木門。
極寒的冷空氣瞬間湧入,江臨不由自主地打了個寒顫。
他把防寒服的拉鏈拉到最頂端,走進了夜色中。
外面,風機二號在夜風中平穩地轉動,像一個忠誠的哨兵。
他順著線路望去,遠處的觀測點A和觀測點B,各自在黑暗中亮著一盞猶如螢火蟲般極其微弱的綠色電源指示燈。
他抬起頭,看向北方的低空。
今晚,天空極其澄澈。
但那條他魂牽夢繞的淡紅色亮帶,並沒有出現。
江臨沒有失望。
因為它就在那裡,從他第六次重返廢土的第七十天起,從他第一次在鏡頭裡捕捉到它的異常輪廓起,它就一直在那裡。
在他在石屋裡啃噬那八十二篇A類核心論文的整整十年日日夜夜裡,那條紅帶,那場高空的大撕裂,從來沒有真正離開過這片滿目瘡痍的天空。
它只是有它自己的脾氣,有時候不出來而已。
江臨在凜冽的夜風中站得筆直,深深地吸了一口冷空氣。
然後轉身回到了石屋裡。
他知道明天自己要做什麼了。
理論的圖紙已經畫完,數學的刀已經磨快。教材給出了Sweet的長條麵條,Petschek給出了華麗的X型,Plasmoid給出了碎裂的磁島串,Hall給出了電子離子的背離,湍流給出了統計的迷霧。
但這些,終究都是在超級計算機和草稿紙上被妥協,被抽象過的模型圖像。
江臨想看的,不是模型。
他想看的,是這片遭受了真實災難的廢土上,在每一次紅帶閃耀時,大自然這台無窮算力的主機,所遺留下來的真實磁場宏觀殘骸。
明天,重新布置觀測基線網。
去捕捉屬於廢土本身的真相。