上一篇導讀留下了什麼
上一篇導讀結束時，你已經施展了一個小小的煉金術。邊界值問題 -Laplacian u = f 配上邊緣 u = 0——一個關於二階導數、要求 u 二次可微的陳述——變成了一個弱形式：在空間 H^1_0 裡尋找一個 u，使得 (grad u) 與 (grad v) 的內積之積分，等於 f 乘 v 的積分，而這對 H^1_0 裡的每一個測試函數 v 都成立。你把它精簡地寫成：對所有 v，B(u,v) = L(v)。如今整個問題都住在一個希爾伯特空間裡，只要求 u 有一個（弱意義下的）導數。
然而改寫一個問題並不等於回答它。我們有了一條漂亮的方程 B(u,v) = L(v)；可是真有一個滿足它的 u 存在嗎？而就算有，它是唯一的嗎，還是可能有兩個不同的函數都通過了每一道測試？這些就是存在性與唯一性的問題，光靠巧妙的重排並不能定奪它們——一條看似生動的公式，仍可能什麼真實之物也沒描述。本篇導讀的勝利，是一條定理一次回答了這兩者，而入場費低得驚人：你只需檢驗關於雙線性形式 B 的兩條不等式。
定理只要兩條不等式
把整台機器一口氣說完。在一個希爾伯特空間 H 裡工作——對我們而言 H = H^1_0，配上索伯列夫內積。設 B(u,v) 是一個雙線性形式、L(v) 是 H 上一個有界線性泛函。若 B 滿足兩個條件，則恰好存在一個 u 屬於 H，使得對所有 v，B(u,v) = L(v)。第一個條件是有界性（也叫連續性）：存在常數 C，使得 |B(u,v)| 不超過 C 乘 u 的範數乘 v 的範數——B 不會炸開。第二個條件是強制性（又譯橢圓性）：存在常數 alpha 大於 0，使得 B(u,u) 至少有 alpha 乘 u 範數的平方那麼大——B 底下有一塊真實的地板。這就是全部的假設。
Lax-Milgram, in three lines: bounded : |B(u,v)| <= C * ||u|| * ||v|| (B never explodes) coercive : B(u,u) >= alpha * ||u||^2, alpha > 0 (B has a floor) ===> exactly one u in H solves B(u,v) = L(v) for every v.
去體會這兩者為何朝相反方向用力、又如何合力把一切釘死。有界性說 B 不會太大——它是一個連續、行為良好的物件，所以輸入的小變動只造成輸出的小變動。強制性說 B 不會太小——把一個函數餵給它自己，絕不會回傳一個相對於那函數大小而言渺小的東西，所以 B 永遠無法把一個非零的 u 壓垮成虛無。一個像這樣被夾在天花板與地板之間的形式，行為幾乎就跟一個正經的內積一模一樣，而內積，恰恰正是希爾伯特空間生來就要駕馭的結構。
強制性是關鍵——而供給它的是龐加萊
兩個條件之中，有界性通常是容易的那個——對我們的狄利克雷拉普拉斯算子而言，它一行之內就從柯西-施瓦茨不等式推出。強制性才是真功夫、也是真趣味所在。對於等於 |grad u|^2 之積分的 B(u,u)，強制性要求 |grad u|^2 的積分能掌控完整的 H^1 範數——既要管梯度部分，也要管 u 本身的大小。但乍看之下 B(u,u) 只看得見梯度；它對一個又大又平的函數視而不見。把我們救回來的，是你兩篇導讀之前見過的一條定理：龐加萊不等式。
龐加萊說：在 H^1_0 上——也就是在邊界上消失的那些函數——u 本身的範數被一個常數乘 grad u 的範數所界定。因為一個沿著邊框被釘為零的函數，要想跑遠，就非得在某處堆起一個陡峭的梯度不可，於是它的大小被它的斜率掌控住了。就這一條不等式，讓只看梯度的量 B(u,u) 得以壓制住整個 H^1_0 範數，連同一個具體的常數，把強制性交了出來。注意這一切有多麼仰賴邊界條件：正是那個烘焙進 H^1_0 的 u = 0 約束，使龐加萊成立、使整套論證跑得動。這就是齊次狄利克雷問題之所以是理論中最乾淨情形的深層原因。
它為何奏效：能量圖像與里斯
你不必盲目相信存在性；這裡有一幅圖像。當 B 是對稱的——B(u,v) = B(v,u)，對我們的拉普拉斯算子成立——強制性使 B(u,u) 成為一份正經的能量，而解 B(u,v) = L(v) 就完全等同於在整個 H^1_0 上極小化能量泛函 J(u) = (1/2) B(u,u) - L(u)。強制性意味著這只能量碗在每個方向都向上彎、在遠處衝向無窮，所以它有一個真實的碗底；那個唯一的最低點就是解。這就是事情的變分核心——狄利克雷那條古老原理「自然安頓於能量最低之態」的現代、嚴格版本。
就對稱情形而言，引擎蓋下的發動機是里斯表示定理：在一個希爾伯特空間裡，每個有界線性泛函都不過是「對某一個固定元素取內積」。強制性讓你能把 B(u,v) 本身當成 H 上一個新的內積（有界性與強制性恰恰保證了它是一個內積），於是 L(v)——既然有界——就必定是「對某個唯一的 u 取這個新內積」。那個 u 就是你的解，而里斯把它交出來時，唯一性已附帶證好。一般的、可能不對稱的情形需要一小段額外論證（一個壓縮映射的不動點），但上面這則對稱的故事，正是它的靈魂。
從存在性的證明到真正的逼近
拉克斯-米爾格拉姆證明了解存在，但它住在一個無窮維空間裡——還不是電腦能握在手裡的東西。架起橋梁的是伽遼金法，而它自然得令人卸下心防：不去對整個 H^1_0 做測試，而是挑一個有限維子空間 V_n（比方說 n 個精挑細選的基底函數），只要求對 V_n 裡的 v 有 B(u_n, v) = L(v)。這就把無窮的方程族塌縮成一個你真能解的 n 乘 n 線性系統。當初在整個空間上給出存在性的那同樣兩條不等式，在每個子空間上也照樣給出——強制性是被繼承的——所以每個有限問題都有唯一解 u_n，不需要任何額外假設。
接著便是讓整座建築值得蓋起來的回報。當你把子空間越填越滿——讓 n 增長，使 V_n 涵蓋越來越多的 H^1_0——逼近 u_n 就收斂到真正的弱解 u，而強制性甚至附贈一個誤差估計（這就是著名的 Cea 引理）：u_n 與 V_n 所能給出的最佳逼近，相差不超過一個固定常數倍。把那些基底函數選成網格上一頂頂小帳棚形狀的函數，伽遼金法就化身為有限元素法，現實世界裡模擬橋梁、機身與熱流的那匹主力馬。抽象的兩不等式定理，與工程師的網格，是同一個想法穿著不同的衣裳。
誠實的界限，以及接下來
把拉克斯-米爾格拉姆承諾與不承諾的事說清楚。它要求強制性，而許多真實的算子並不強制——加上一個夠大的零階項，讓 B(u,u) 有可能變負，那塊地板就沒了。當強制性失效時，定理沉默了，但理論並未沉默：弗雷德霍姆二擇一接手，把無條件的「永遠恰有一個解」換成一道銳利的非此即彼——要嘛問題有唯一解，要嘛齊次問題有非平凡解，那時存在性便需要資料與它們正交。拉克斯-米爾格拉姆是一片更廣闊地景中那個乾淨、強制的角落，而非地景的全部。
還有一樁關於你贏得的是哪一種解的誠實。拉克斯-米爾格拉姆交付的是一個住在 H^1_0 裡的弱解——一個僅有一個弱導數的函數，它未必二次可微，所以還不是原本意義下「-Laplacian u = f 在每一點都成立」的那種古典解。我們有了存在性與唯一性，但是在一個刻意擴大了的空間裡。那個自然而迫切的問題——當資料 f 與區域都光滑時，這個弱解會不會暗地裡終究也是光滑的，從而以古老的古典方式解出這條偏微分方程？——正是本學習階梯最後一篇導讀的主題，談正則性。拉克斯-米爾格拉姆推開了門；正則性則告訴我們門裡那個房間究竟有多麼齊整。