存在性證明留下的那筆未還之債
第四篇是一場凱旋，但它買下存在性所付的代價，應該讓你感到一絲不安。Lax-Milgram 定理 僅憑強制性與有界性，就從我們邊界值問題的 弱形式 中產出一個唯一的、落在 H^1_0 裡的 u。但那個 u 只被保證擁有 一次落在 L^2 裡的弱導數——原則上它可以有個角點，在二維或更高維裡甚至可以不連續。可是我們出發時的那條方程，比如 Laplacian u = f，含有 兩 個導數。所以我們手上有一個物件，它在求平均、積分的意義下解了方程，卻可能根本不具備方程所點名的那些導數。這究竟是物理所要的那個真正的解，還是我們降低標準才放進來的廉價冒牌貨？
正則性理論就是那個答案，而它正是整一階的高潮。它的主張大膽，乍聽幾乎令人起疑：一個僅僅 解了 一條良好橢圓型方程的函數，正因為這個事實，被迫變得遠比一般的 H^1 函數平滑。那份粗糙從來就不真的在那裡——解方程是一個強而有力的約束，它悄悄把折角給熨平了。於是整一階的策略豁然清晰。我們刻意降到那個寬敞、寬容的空間 H^1，是因為在那裡尋找一個 弱解 容易；如今正則性讓我們爬回去，把平滑性當作一筆免費的紅利領回來，把那個我們一度怕已失去的 古典解 收復過來。
拔靴法：拿方程換導數
最有直覺抓握感的機制是 拔靴法，而它正如其名所暗示的那個迴圈——靠著自己的鞋帶把自己一格一格地往上拉，每次升一級平滑度。關鍵的引擎是一條 橢圓估計：對一個良好的橢圓型算子，方程讓你能以資料 f 來控制 u 的兩個導數，形式是 u 的 H^(k+2) 大小被 f 的 H^k 大小（加上 u 自身的大小）所界住。送進兩個導數、取回兩個導數——方程交還的正則性 多於 你投入的。這正是橢圓性所給予、而雙曲型方程出了名地拒絕給的禮物。
- 從 Lax-Milgram 留你的地方開始：u 落在 H^1 裡，並假設資料 f 落在 L^2 = H^0 中。
- 套用橢圓估計一次：f 落在 H^0 逼使 u 進入 H^2。你剛剛替 u 賺到了一個導數。
- 若 f 更平滑些——比如 f 落在 H^1——把這件事餵回去：現在 u 落在 H^3 裡。資料每多一格，就替 u 買到兩格。
- 反覆迭代。若 f 對每個 k 都落在 H^k 裡（特別是若 f 平滑），則 u 對每個 k 都落在 H^k 裡——而由索伯列夫嵌入，這意味著 u 貨真價實地平滑。
現在看這兩塊如何咬合到一起。拔靴法往上爬索伯列夫的階梯；第二篇的 索伯列夫嵌入定理 把那個高度兌現成貨真價實的逐點平滑。回想它的口號：相對於維度，在 L^2 裡有足夠多的弱導數，就逼出一個連續——甚至古典可微——的代表元。所以一旦拔靴法把 u 抬進 H^k、而 k 大到足以勝過維度，嵌入就宣告 u 是 C^2 或更好。到那一步，u 兩次連續可微，並 逐點地、處處地 滿足 Laplacian u = f——它在舊的、字面的意義下，就是一個古典解。這筆債還清了。
兩種風味的估計，以及為何橢圓性不可或缺
拔靴法需要一條老實的估計才跑得起來，而那有兩大家族。在以 L^2 為底的世界裡，卡爾德隆-齊格蒙估計 說：在 L^p 裡控制住 Laplacian u，就在 L^p 裡控制住 u 的 每一個 二階導數——f 那兩個導數的正則性，乾淨地轉移成 u 兩個導數的正則性，以索伯列夫（W^{2,p}）的話來說。在逐點的世界裡，紹德爾估計 在 赫爾德空間 裡扮演同樣的角色：若 f 赫爾德連續，則 u 的二階導數也赫爾德連續。同一支旋律、不同的調——一個以積分量大小，另一個以連續性的模——兩者合起來，就是 橢圓正則性 的工具包。
為什麼這一切要繫於方程是 橢圓型？因為那條賺取正則性的估計是 一致橢圓性 的性質，而非一般偏微分方程的性質——而這個對比鮮明且富有啟發。熱方程 是拋物型，分享了那份熨平的天賦：它同樣把粗糙的資料瞬間化為平滑，這正是為何倒退的擴散是不適定的。但 波動方程 是雙曲型，做的是 相反 的事——它把奇異性沿著特徵線以有限速度搬運，永不熨平，所以初始資料裡的一個折角會永遠是個折角。對它並沒有橢圓式的估計，而波動方程的一個弱解可以貨真價實地始終不是古典的。正則性是類型賜予的禮物，而非一條放諸四海的定律。
內部的平滑是免費的；邊界則要你費力
拔靴法逼我們面對一份誠實：解究竟在 哪裡 平滑？最乾淨的結果是 內部正則性——遠離邊界、在任何你能舒舒服服塞進區域內部的子區域上，一條良好橢圓型方程、帶平滑資料的弱解，自動就是平滑的，沒什麼好問的。證明是局部的：你乘上一個截斷函數，它在內部為一、在邊緣附近為零，對它跑那條估計，於是邊界根本不曾登場。所以 內部 的平滑性本質上是免費的，並不依賴於區域形狀的任何細節。
一路抵達邊界則是另一個、也更艱難的故事，而在這裡正則性正好按你在 區域的幾何 上所付的代價來買單。要得到一路到邊緣的平滑，你需要邊界本身平滑——而手法是把它攤平。在一個邊界點附近，你做坐標變換，把彎曲的邊緣拉直成一個平坦的超平面，在半空間裡跑那條內部式的估計，再把結果拉回來。若邊界平滑，這就行得通，u 一路平滑到邊緣。但對幾何的依賴是真實而不留情的。
整一階究竟所為何來？
讓我們把這五篇導讀當作一個論證來讀，因為它們本來就是。我們蓋好房間（索伯列夫空間與 H^1_0）、度量它們（嵌入、跡、龐加萊）、把方程寫成建立在 雙線性形式 上的弱形式、用 Lax-Milgram 證了存在與唯一，如今再用正則性把古典的平滑性收復回來。整個論證的形狀是一次下降與一次返回：把門檻 降 到 H^1，好讓存在性成為強制性的一行推論，再把它 升 回去，好讓你找到的那個解，到頭來滿足那條原來的古典方程。兩半單獨都不奏效——對古典問題正面強攻太難，而一個毫無正則性的弱解又令人不滿足。威力就在那趟來回之中。
不過要誠實面對這份禮物的邊界，因為這是教育性的內容，而那些限制本身就是真相的一部分。這裡的一切都倚靠 線性、橢圓型 的問題，搭配 良好區域上的良好資料。少了其中任何一項，故事就變了。我們已看到邊界的角點，單憑幾何就破壞了平滑。對於非線性方程，拔靴法可能根本無法閉合——把 u 餵回一個非線性項裡未必賺到正則性——而解可以發展出貨真價實的奇異性。整個學科最著名的未解問題就活在這裡：三維納維-斯托克斯方程的平滑解是否對所有時間都保持平滑、抑或會爆破，至今 未知——這是一道千禧年大獎難題。正則性理論是一台深邃而美麗的機器，但它並非萬能。