拉克斯-米爾格拉姆定理（Lax-Milgram theorem）
/ laks MILL-gram /
假設你已把一個邊界值問題改寫成弱形式，使它讀作「找 u，使得對每個試驗函數 v 有 a(u, v) = L(v)」，其中 a 是雙線性形式。你怎麼知道這樣的 u 存在、且只有一個？拉克斯-米爾格拉姆定理就是那個一次回答兩個問題的單一結果。它是變分框架中線性橢圓偏微分方程的存在與唯一性引擎——餵它兩個容易檢查的性質，它就回傳一個有保證、唯一的解。
陳述活在希爾伯特空間 H 中（想想 H^1_0）。假設 a(u, v) 是有界（|a(u, v)| 至多 M ||u|| ||v||）且強制（a(u, u) 至少 alpha ||u||^2 且 alpha > 0）的雙線性形式，L 是 H 上的有界線性泛函。那麼存在恰好一個 H 中的 u 解 a(u, v) = L(v) 對所有 v，而且 ||u|| 至多是 ||L|| / alpha，這是一個穩定性界。當形式對稱時，這不過就是黎茲表示定理（a 此時是內積，u 是 L 的黎茲向量）；拉克斯-米爾格拉姆的成就在於它丟掉了對稱性要求，所以它涵蓋了帶漂移或對流項、底下沒有能量的方程。證明的精神：強制性透過確保 a 背後的算子有下界而使它可逆，有界性使它連續——兩者合起來使它成為希爾伯特空間的同構。
這為何是拱心石：它把關於偏微分方程的每個可檢查的結構事實，轉換成一個乾淨的存在唯一性陳述，無須親手構造解。配方是機械式的——把偏微分方程化為弱形式，辨識出 a 與 L，驗證有界性（通常是柯西-施瓦茲）與強制性（通常是龐加萊不等式），然後下結論。它是狄利克雷問題、以及一大類橢圓問題為何適定的抽象原因。你無法略過的那一個必要假設是強制性：沒有它，存在性或唯一性可能真的失效，你就被推進更微妙的弗雷德霍姆二擇一，那裡可解性變成有條件的、而非有保證的。
在 H^1_0 中解 負拉普拉斯 u + u = f（加上一個反應項）。這裡 a(u, v) = (grad u . grad v + u v) 的積分、L(v) = f v 的積分。有界性：|a(u, v)| 至多 ||u||_{H^1} ||v||_{H^1}。強制性甚至不需要龐加萊就直接成立：a(u, u) = (|grad u|^2 + u^2) 的積分 = ||u||_{H^1}^2，所以 alpha = 1。拉克斯-米爾格拉姆對任意 L^2 中的 f（事實上任意 H^{-1} 中的 f）給出唯一弱解 u。
兩項檢查——有界性與強制性——存在性與唯一性便自動隨之而來。
拉克斯-米爾格拉姆不要求形式對稱（這正是它勝過單純黎茲表示之處），但它確實要求強制性，而強制性正是對不定問題（如在共振頻率處的亥姆霍茲方程）失效的那個假設——那裡存在性與唯一性都可能崩潰，你需要改用弗雷德霍姆二擇一。它是線性定理；非線性問題需要自己的機制（單調算子、不動點、直接方法）。