為什麼古典問題要求太苛
取現存最乾淨的橢圓型模型問題：求 u，使得在某區域內部 -Laplacian u = f，而在邊界上 u = 0。這就是帕松方程的狄利克雷問題——一塊板子邊緣被按住保持冰冷、內部以速率 f 注入熱量時的穩態溫度。要求一個古典解，意思是要求一個 u，你能在每一處對它求兩次導，並讓 u_xx + u_yy 在每一個點上都恰好等於 f。這是個沉重的要求。
麻煩在於：完全合理的物理會違反它。讓 f 帶一個跳躍——熱源在板子的一半開啟、在另一半關閉——或讓區域有一個尖銳的內凹角，像一間 L 形的房間。那麼真實的溫度是連續的、物理上毫不含糊，然而它的二階導數恰恰在接縫處爆掉、或根本不存在。於是沒有古典解，儘管人人都同意答案應該是什麼。我們在分布那一階的開頭正好遇過這種僵硬；前兩篇指南裡的空間 H^k 與 H^1_0，正是專為它打造的解藥。
乘上探針，做一次分部積分
驅動一切的那一步在此。先暫且假設 u 是古典解。取任意在邊界上為零的平滑探針 v，把方程 -Laplacian u = f 乘上 v，並在整個區域上積分。左邊你得到 (-Laplacian u) v 的積分；右邊是 f v 的積分。到此為止什麼都沒變——我們只是把那個逐點的方程，對單一一個權重抹開來。魔法在於我們接下來對左邊做的事。
做分部積分——在高維裡這就是散度定理，格林第一恆等式。它把一個導數從 u 身上搬到 v 身上：(-Laplacian u) v 的積分，變成 (grad u) dot (grad v) 的積分，再加上一個邊界項。因為我們的探針 v 沿整條邊界都是零，那個邊界項完全消失。剩下的東西對稱得驚人：grad u 與 grad v 的內積之積分，等於 f v 的積分。注意數一數：現在 u 只揹一個導數、而非兩個，而 v 也揹一個。那個二階問題已喬裝成一階問題了。
classical : -Laplacian u = f in Omega, u = 0 on boundary multiply by probe v (v = 0 on boundary), integrate over Omega: integral of (-Laplacian u) v = integral of f v Green / integrate by parts (boundary term drops since v = 0 there): integral of grad(u) . grad(v) = integral of f v for every such v ^ one derivative on u, one on v -- both live happily in H^1
為 u 與 v 選對的家
仔細盯著存活下來的恆等式，integral of grad u dot grad v = integral of f v。光是要寫出左邊，我們只需要 grad u 與 grad v 平方可積——也就是說，我們需要 u 與 v 各有一個落在 L^2 裡的弱導數。這恰恰是索伯列夫空間 H^1 的會員證。而「v 在邊界上為零」這項要求，透過上一篇指南的跡來讀，正是 H^1_0 的定義性質——緊支撐平滑函數的閉包。所以未知的 u 與探針 v，兩者天然的家都是 H^1_0。邊界條件 u = 0 不再是外掛上去的額外方程——它已被內建進我們搜尋所在的那個空間本身。
這次搬家是這套方法低調的天才之筆。古典解必須二次可導；H^1_0 的成員只需要一個弱導數，而且容許尖角、折點、以及真實數據所逼出的那種溫和爆裂。先前的指南替這件事繳清了會費：H^1_0 是完備的，所以近似解的極限仍留在它裡面；而龐加萊不等式保證，在有界區域上，單憑梯度就能控制住函數。我們接下來正要倚靠這個事實。
雙線性形式與弱解
現在替兩邊命名。把 grad u dot grad v 的積分寫成 a(u, v)，把 f v 的積分寫成 L(v)。物件 a(u, v) 是一個雙線性形式：固定 v 時對 u 線性、固定 u 時對 v 線性——它吃下兩個 H^1_0 函數、回傳一個數，正如內積那樣。物件 L(v) 是一個線性形式：餵它一支探針、得一個數。整個邊界值問題現在已被蒸餾成一句乾淨的話。
一個落在 H^1_0 裡的函數 u，若對每一個 H^1_0 中的 v 都有 a(u, v) = L(v)，就稱為一個弱解。這就是狄利克雷問題的弱形式。把它讀成一個平衡條件：u 是這樣一種組態——當你拿任意一個被容許的試驗方向去探測它的梯度時，它的回應恰好等同於源項 f 對同一方向的回應。任何地方都不出現二階導數。而且這次重構是忠實的——若一個弱解恰好是平滑的，你可以反向做分部積分、把 -Laplacian u = f 逐點地找回來，所以我們沒有失掉任何真實的東西，只失掉了多餘的僵硬。
- 從古典偏微分方程連同它的邊界條件出發，這裡是 -Laplacian u = f，且邊界上 u = 0。
- 乘上一個在邊界上為零的任意試驗函數 v，並在區域上積分。
- 做一次分部積分（格林恆等式）；邊界項因 v = 0 而死去，留下 grad u dot grad v 的積分 = f v 的積分。
- 讀出天然的空間 H^1_0——u 與 v 各有一個弱導數，而零跡把邊界條件內建進去。
- 定義 a(u,v) 與 L(v)，並宣告：當對所有 H^1_0 中的 v 都有 a(u,v) = L(v) 時，u 是弱解。
為什麼這個形狀正是我們想要的
把問題彎成「對所有 v 有 a(u, v) = L(v)」的重點不在整潔——而在於這個形狀能被一條定理解掉。我們這個模型的雙線性形式有兩個無價的性質。它是有界的：a(u, v) 不會大過某常數乘上 u 與 v 的 H^1 大小，因為它不過是一個乘積的積分。而它是強制的（coercive）：a(u, u) 是 |grad u|^2 的積分，依龐加萊不等式，它有一個下界，等於某常數乘上 u 的完整 H^1_0 範數。強制性正是「一種能量除非 u 本身為零、否則不會消失」這件事在抽象層次上的回聲。
這兩個詞——有界與強制——正是拉克斯–米爾格拉姆定理的精確假設，該定理保證：存在唯一一個 H^1_0 中的 u，對所有 v 都有 a(u, v) = L(v)。那是緊接著下一篇指南的招牌結果，所以我們在證明它之前剛好打住；但你已經能看出弱形式為何值得這番工夫。它把一個可能根本沒有古典解的偏微分方程，轉換成一個在完備空間裡的抽象方程，而它的可解性，不過是關於某個雙線性形式的一條單一、可核驗的結構性事實。
誠實的邊界與前方的路
對三件事要誠實。第一，邊界項乾淨地消去，倚賴 v 在邊界上為零；改成諾伊曼條件，邊界項就活了下來、把通量數據摺進 L(v)，這正是諾伊曼問題的弱形式長得不一樣、並帶一個相容條件的原因。第二，強制性並非自動成立——對一個一般的橢圓型算子，你需要真正的均勻橢圓性、以及對低階項的控制，而沒有強制性，拉克斯–米爾格拉姆就根本不適用，於是存在性可能失敗、或唯一性可能崩解。這套方法強大，但並非萬用。
第三，也是最該分清楚的：弱解還不是古典解。拉克斯–米爾格拉姆會交給你一個 H^1_0 中的 u——一個只有一個平方可積導數、再無更多保證的函數。它不必二次可導，而在一個帶尖角的定義域上，它確實不會二次可導。那個弱的 u 是否暗地裡其實很平滑、以致 -Laplacian u = f 終究逐點成立，這是一個另立門戶、自有機制的問題：橢圓正則性，第五篇指南的主題。弱形式廉價地買來存在性；正則性則是你事後付的帳，好爬回那個古典的陳述。
退一步，好好品味這次的重新塑形。我們從一個嚴厲的逐點要求出發——真實數據可能使它無法滿足——而以一個完備希爾伯特空間裡的、單一個對稱恆等式作結：它能被一條結構性定理解掉、能作為能量被極小化、能被離散成一個矩陣。下一篇指南會花用這套佈置，藉拉克斯–米爾格拉姆直接證出存在與唯一。在那之後，正則性把平滑度賺回來。弱形式，就是整個這一階所繞之轉的那道樞紐。