我們欠下的債——以及為什麼橢圓方程償得起
在第一篇我們把一個邊值問題寫成 弱形式，在第二篇我們找到了一個住在索伯列夫空間 H^1 裡的 弱解——一個只有 一次 L^2 弱導數的函數。那是一筆刻意的交易：藉著要求較少的平滑性，我們讓解變得容易找。但有個擔憂懸而未決。物理想要的是一個 古典解，一個二次可微、逐點滿足 Laplacian u = f 的東西，而不只是一個求平均的恆等式。我們那個 H^1 弱解，究竟是這個老實物件的喬裝，還是我們降低門檻才放進來的粗糙冒牌貨？本篇正是我們償債之處。
頭條結論是 橢圓正則性，而它的內容在你初次相遇時幾乎令人震驚：一條橢圓方程的弱解 暗地裡遠比它的會員證所承認的更平滑。具體地說，若 u 弱解 Laplacian u = f 而 f 恰好住在 L^2 裡，那麼 u 不僅有一次弱導數——它有 兩次，而且這兩次也在 L^2 裡，於是 u 實際上坐在 H^2 中。我們廉價地買進了 H^1 的會員資格，方程本身卻白送我們多一次導數。這份白送的導數正是這一階高潮的整台引擎，而本篇其餘部分要講的，就是它從哪裡來，以及如何把這筆交易一遍又一遍地做下去。
一句話的構想：方程本身就是一個估計
這是它的核心，不帶機械地敘述。看 Laplacian u = f，在二維中讀作 u_xx + u_yy = f。右邊 f 是 給定的——我們已經知道它有多大。左邊是二階導數的一個特定組合。所以方程白白告訴我們：這 一個組合 的二階導數，恰好和 f 一樣循規蹈矩。橢圓性說的是這單一組合並不孱弱：控制住 u_xx + u_yy，實際上就 分別 控制住了 u_xx 與 u_yy，外加交叉項 u_xy。橢圓正則性背後那個深刻的定理把這份直覺嚴格化——它說 所有 二階導數的大小，都被 f 的大小加上 u 自身的大小所界住。
the equation: u_xx + u_yy = f ( one combination known to be size-of-f )
the estimate: || all second derivatives of u || <= C ( || f || + || u || )
----------------------------------- -----------------------
everything we did NOT directly control things we ALREADY control
so: f in L^2 ==> u in H^2 ( the gift: ONE notch of extra smoothness )既然 u 只是弱的、我們還不被允許對它微分兩次，這樣一個估計究竟是怎麼證出來的？經典的手法是 差商法：不取真正的導數，而是把 u 平移一個極小量 h、相減、再除以 h——這個操作 始終留在 H^1 之內，因為它不需要二階導數。我們把這個平移後的物件餵回弱形式，動用 雙線性形式 的強制性（就是第二篇給出存在性的那個強制性），然後發現這些差商 在 h 縮向零時仍然一致地有界。一族有界的差商，恰恰是一個貨真價實的額外弱導數的標記。讓 h 趨於零，那個導數就現形了，u 便從 H^1 升格到 H^2——全程只用我們手上早已有的工具。
自舉：把一格滾成全部
白送一次導數很美妙，但當資料平滑時，物理想要的是 無窮 平滑的解。帶我們抵達那裡的訣竅是 自舉，而這名字精準至極：就像揪著自己的鞋帶把自己提起來，你用剛剛獲得的平滑性去獲得更多。這一步是個迴圈。我們證明了 f 落在 L^2 會逼出 u 落在 H^2。但若 f 本身更平滑——譬如 f 在 H^1 裡、有自己落在 L^2 的弱導數——那麼 同一個 正則性定理，套在好了一格的 f 上，就逼著 u 也好一格：u 落在 H^3。把它再餵回去，你又往上爬一層。
- 從第二篇給你的東西出發：u 是 H^1 裡的弱解，而資料 f 坐在 L^2 中。
- 把內部正則性估計用一次：既然 f 在 L^2 裡，方程把 u 抬升到 H^2——第一次白送的導數。
- 現在假設 f 其實在 H^1 裡。把方程微分一次：u 的每個導數都解一條橢圓方程，其資料是 f 的一個導數，仍在 L^2 中。於是 u 爬到 H^3。
- 重複。你對 f 多假設一格平滑，就恰好替 u 換來兩格，而這個迴圈永不熄火，因為每一層上方程都是同一條。
- 若 f 屬於 C-無窮（平滑），就無限地迭代：u 落進每一個 H^k，而依 索伯列夫嵌入定理，夠多次的 L^2 弱導數意味著一個貨真價實的古典、無窮可微的解。
最後一步正是這一階兩半扣合之處。索伯列夫的會員資格是一個 求平均的、積分式的概念——「k 次有限能量的弱導數」——而古典解需要的是 逐點的 導數。索伯列夫嵌入定理 就是那座橋：在一個 n 維的區域裡，一旦你有夠多次的 L^2 弱導數（超過你想要的階再多 n/2 次以上），它們就自動升格為老實的連續、古典可微的導數。所以自舉把 H^k 之塔爬到資料所允許的高度，而嵌入把那份海拔兌現成真正的逐點平滑。那個 H^1 冒牌貨從頭到尾就是古典解——我們只是得把它證出來。
兩種估計、兩種語言：紹德與卡爾德隆–齊格蒙
上面的自舉跑在以 L^2 為底的索伯列夫尺度上，但還有一個平行的、更古老的世界，它以逐點的方式度量平滑性。一個 赫爾德空間 C^(k,alpha) 收集那些 k 階導數不僅連續、而且 赫爾德連續 的函數——它們的變化不快於距離的某個固定冪次。紹德估計 是那種語言裡的正則性引擎：若資料 f 是赫爾德連續的（在 C^alpha 裡），則解 u 增添兩次完整的導數，落進 C^(2,alpha)。它正是我們那「兩次白送的導數」逐點的孿生兄弟，而且以同樣的方式自舉——更好的赫爾德資料把 u 抬到 C^(3,alpha)、C^(4,alpha)，依此向上。
為什麼要保留兩套平行理論，而不是一套？因為有一個犀利的事實，初學者常在此絆倒：正則性的增益 並非 在所有度量下都白拿。卡爾德隆–齊格蒙估計 把兩次導數的增益推廣到任意 1 < p < 無窮 的 L^p 尺度上——f 在 L^p 裡會逼出 u 落進索伯列夫空間 W^(2,p)——但在 端點 p = 1 與 p = 無窮 處的類比陳述，乾脆就 失敗 了。你不能斷言只是有界（在 L^無窮 裡）的 f 會讓 u 有有界的二階導數。這個邊界上的失效，正是赫爾德尺度存在的緣由：紹德恰好踏進邊界內側一點，要求 f 在 C^alpha 裡而非僅僅有界，便收復了 L^無窮 交不出來的那份乾淨的兩次導數增益。
誠實的細則：內部對邊界，以及還有什麼可能出岔
目前為止一切在區域 內部、遠離邊緣處最為乾淨——這就是 內部正則性。差商論證需要空間把 u 往旁邊平移，這在內部有、在邊界正上方卻沒有，因為一次平移會把函數推出區域之外。把平滑性一路帶 到邊界 是一個獨立而更難的定理，而且附帶一個實在的條件：邊界本身必須平滑。若區域有一個尖銳的內凹角——想想一個 L 形房間的內角——解確實可能 在那裡 失去平滑性，在它的梯度上長出一個輕微的奇異性，即使 f 完美平滑也一樣。邊緣的幾何不是枝微末節；它是答案的一部分。
還有第二條細則，一旦機械開始低鳴運轉就容易忘記：正則性是從 算子自身的係數 繼承來的，不只是從資料。我們那些乾淨的陳述假設了一個 橢圓算子，其係數本身平滑。若那些係數只是有界且可測——粗糙、跳動的材料性質——結論就大幅減弱，連證明解的赫爾德連續性都成了深刻的 De Giorgi–Nash–Moser 定理，而非一個輕鬆的推論。而均勻橢圓性自始至終不容商量：若算子退化，使得對二階導數的控制被允許在某處消失，整份禮物就蒸發了。正則性是給一個老實橢圓、老實平滑的問題的獎賞。
退一步，感受這一階成就了什麼。我們之所以降進 H^1 那個弱的世界，只因為那裡存在性 容易——一個單一的抽象定理就能變出一個解。我們曾擔心，為這份容易付出的代價，是接受了一個粗糙、不合物理的物件。橢圓正則性與自舉揭示這份擔憂毫無根據：對一個貨真價實的橢圓問題，配上良好的資料與平滑的區域，那個廉價的弱解與那個昂貴的古典解，是 同一個函數。降進弱解之中從來不是妥協。那是一條巧路——往下走到解容易捕捉之處，再沿著自舉的階梯往上，走到它們平滑得足以表達物理所求之處。