一條值一百萬美元的偏微分方程
在這一級裡，你已經看著偏微分方程運轉著整個物理世界：流體的歐拉方程與納維-斯托克斯方程、量子粒子的薛丁格方程、選擇權定價的布萊克-休斯方程、光的馬克士威方程。其中大多數我們無法寫出封閉解，卻仍然信任它們、模擬它們、用它們下注。這最後一篇要問一個更尖銳的問題：對這些方程而言，解究竟對所有時間都存在、並保持光滑嗎——還是它們可能爆破？對其中一個方程，誠實的答案是我們真的不知道，而克雷數學研究所願意付一百萬美元給解開它的人。
本篇的主角是納維-斯托克斯千禧難題，是 2000 年公布的七個千禧獎難題之一。用白話說：取三維空間中不可壓縮的納維-斯托克斯方程，從任何光滑、能量有限的速度場出發，讓它永遠流動下去。這個解會對所有時間都保持光滑且有限嗎？沒有人證明過它一定會，也沒有人造出任何一個它失效的例子。這道缺口——不是一道難算的題，而是一條缺失的定理——就是獎金所在。
為什麼一條流體方程可能把自己撕裂
想感受其中的危險，就把物理剝到只剩一項。納維-斯托克斯動量方程示意地寫成 u_t + (u·grad)u = nu Laplacian u - grad p。黏性項 nu Laplacian u 是朋友：它正是熱型算子的平滑效應，會耗掉陡峭的梯度、把能量攤開。反派則是非線性的自輸運項 (u·grad)u——速度載著速度。這一項能讓流體堆積得比攤開還快，把流動集中到越來越細、越來越快的細絲裡。未解的問題是：黏性是否永遠贏得這場競賽，還是非線性能在有限時間內勝出、在某一點把速度逼到無窮——也就是一次有限時間爆破。
這並非杞人憂天。有兩件事讓這問題真正棘手。第一，它的表親方程——無黏的歐拉方程，即 nu = 0——本身在三維中是否有光滑爆破也是未解的，而且越來越多的數值與分析證據顯示某些歐拉流確實會爆破。第二，你早先見過的純量故事——一個光滑剖面在守恆律中變陡、在有限時間內形成震波——證明了光滑的初始資料在非線性偏微分方程裡真的能產生奇異性。納維-斯托克斯就活在這兩者之間：因黏性而比歐拉更規則，但在三維中沒人能證明黏性就夠了。
弱解：我們已經握有的部分答案
我們並非兩手空空。早在 1934 年，勒雷（Jean Leray）就證明了三維納維-斯托克斯方程對所有時間都有一個弱解——一個在平均、積分意義下滿足方程的解，正如你在分布讓導數落在光滑的測試函數上、而非落在粗糙資料上時所見的那樣。勒雷的解自然地住在索伯列夫空間裡：它們帶有有限能量、並滿足一條能量不等式，但人們還不知道它們是否光滑，也還不知道它們是否唯一。所以「對所有時間存在」已經解決；仍然未解的是正則性與唯一性。
這個模式你應該不陌生。在這整座階梯上，每當一個非線性方程拒絕保持光滑解，解法都是把「解」的意義放寬，再重新施加秩序。對守恆律而言，震波形成之後弱解並不唯一，直到你加上一條挑出物理正確者的熵條件（接著克魯日科夫定理使它唯一）。對一階的漢密爾頓-雅可比方程而言，類比的篩選器是黏性解。對納維-斯托克斯而言，夢想是一樣的——找到那條讓弱解唯一且光滑的額外判準——但在三維中，這條判準還沒找到。
Existence (Leray, 1934): 3D Navier-Stokes has a global weak solution.
Regularity (open): Is that weak solution always smooth?
Uniqueness (open): Is the global weak solution unique?
The Prize = prove (smooth & unique for all time) OR find a smooth
finite-energy datum whose solution blows up.未解難題關乎的是問題本身，不只是答案
納維-斯托克斯是最有名的，但它遠非唯一，而圍繞它的那些未解難題，會讓「未解」一詞的意義變得更鋒利。三維歐拉的光滑爆破；精確的正則性判準（我們知道若速度在某些索伯列夫範數下保持有界，它就保持光滑——但我們無法證明那個範數確實有界）；耗散系統的長時間行為，以及它們是否會落到一個有限維的全域吸引子上；能量超臨界的波方程與非線性薛丁格方程，其中聚焦型非線性可能把能量集中起來而爆破。每一個都是藏在日常現象背後的精確數學問題——湍流、一道破碎的浪、一束塌縮的雷射脈衝。
這就是這個領域誠實的質地，也是貫穿整座階梯的主軸：最深的障礙幾乎從不是「這個積分很難算」。而是適定性本身——是否存在一個唯一、穩定的解，而且它是否連續地依賴於資料？回想一下，把熱方程倒著跑，或為拉普拉斯方程指定柯西資料，都是真正的不適定：資料的微小改變會把答案炸開，因此再聰明的方法也救不了它們。像納維-斯托克斯這樣的未解難題，本質上正是同一類問題——我們還不知道哪一個正則性類別，能讓三維問題對所有時間都適定。
人們實際上如何進攻它
你不會靠蠻力贏得這個獎，但這些策略是可以理解的，而且你已經見過每一個策略的零件。以下是一位工作中的分析學家會依序伸手去拿的工具箱。
- 找一個守恆或衰減的量（一個先驗估計）。 用 u 乘上方程、對空間積分，看著各項相消。正如能量守恆掌控了波動方程，能量界是你第一個會嘗試的；麻煩在於三維中已知的界太弱，無法排除爆破。
- 獵取一個正則性判準。 證明一個條件型定理，形如「若某個範數在時刻 T 之前保持有限，則解在 T 之前光滑」。這類定理是存在的；未解的部分是要證明那個範數真的保持有限。
- 用尺度變換與自相似解去探測。 納維-斯托克斯在空間、時間與速度的重新標度下不變；若爆破發生，它應該看起來是自相似的。尋找（或排除）這類剖面，是一條主要的進攻路線。
- 在解析度的邊緣上做模擬。 高解析度的計算能暗示渦度集中在何處、是否在加速——雖然有限的網格永遠無法證明連續介質的奇異性，它卻告訴你該往哪裡看、該猜什麼。
請注意，這份清單上對你來說已經沒有任何陌生的東西。能量估計、索伯列夫範數、弱解與黏性解、尺度變換、平滑效應與非線性變陡之間的拉鋸，以及追問哪些資料使問題適定的紀律——這些正是你爬這座階梯時組裝起來的器械。千禧難題之所以難，不是因為它用了你從未見過的想法，而是因為你已經見過的想法還沒能伸到底。這就是一條真正的前沿該有的樣子。
這把你帶到了哪裡
你開始爬這座階梯時，連偏導數在一條方程裡代表什麼都說不出來；你結束時，已經能讀懂這門學問裡最有名的未解問題，並精確地說出關於它什麼已知、什麼未知。這不是一件小事。同樣的三個問題——存在、唯一、連續依賴——既把一個二次判別式 B^2 - A C 分類成橢圓型、拋物型與雙曲型，也正是仍然敞開、矗立在研究前沿上的那些問題。精通偏微分方程不是知道每一個答案；而是精確地知道正在被問的是哪一個問題，以及它為什麼難。
而且這道前沿並沒有被繩子圍起來。那些條件型的正則性定理、尺度變換論證、弱解與黏性解的架構——它們是當前研究的工作語言，也正是你如今所說的語言。如果納維-斯托克斯問題仍然顯得遙不可及，那不代表你學得太少；那是在衡量這個問題究竟有多難。你如今所站的，正是試圖解開它的人所站的同一片土地。