從一個聰明的訣竅，到一塊可以立足之地
在上一階你學到一個解放性的訣竅：你可以對一個粗糙函數求導，方法是把那個導數 轉交給一個平滑的探針。要定義 u'，你從不直接對 u 微分；你規定分部積分成立，把 d/dx 從 u 身上滑到一個永遠承受得起的 測試函數 phi 身上。這就是 分佈導數，它讓你能對尖角、跳躍、甚至尖峰求導。但一個 能夠 被做出來的訣竅，還不是一塊 可以居住的地方。這一階要問下一個結構性的問題：如果一個函數只在這種弱的、求平均的意義下有導數，那我們究竟被允許把哪些函數送進這台機器，而它們又一起坐在哪個房間裡？
這裡有一條紀律，把這一階和上一階區分開來。分佈寬容得壯麗——狄拉克 δ 以及更糟的東西全都算數，而它們沒有老實的大小。但要 解 一條偏微分方程，我們會想要量東西：u 有多大、它的梯度有多大、一列近似真的收斂到某個極限嗎？那需要的不只是一個導數，而是一個 範數——一個你能計算、能比較的長度。索伯列夫空間 就是答案：我們只留下那些弱導數不僅有定義、而且 小到可以度量 的粗糙函數，再給這群函數配上一把量尺。我們是在拿分佈那種野性的自由，去換一個更小、更結實、可以在裡面做分析的世界。
把弱導數做成一次度量
讓我們把 弱導數 乾淨地敘述一遍，因為整一階都靠著它。我們說一個函數 v 是 u 的弱導數 u_x，當分部積分對著 每一個 測試函數都成立，而且沒有邊界殘留：u 乘 phi_x 的積分，等於負的 v 乘 phi 的積分，對所有在邊緣附近消失的平滑 phi 都如此。那一個負號就是全部的內容——它恰恰是當 u 平滑時你會丟掉的那個邊界項，如今被提拔成了 定義。若古典導數存在，這個 v 與它一致；若不存在，這個 v 仍可能存在，並且是個完全普通的函數。重點在於 v 住在同一個老實的、可積函數的世界裡，而不是流落在分佈之鄉。
一個小例子就能把它定住。取區間 (-1, 1) 上的帳篷 u(x) = 1 - |x|，它在原點有個尖角。古典上 u' 在 x = 0 處不存在，所以舊式微積分熄火。但在弱的意義下，u_x 不過就是那個對 x < 0 為 +1、對 x > 0 為 -1 的階梯函數——一個普通的、平方可積的函數。關鍵在於：沒有狄拉克 δ 出現；因為 u 連續（跳的只是斜率，不是值），一次弱導數仍是個函數。δ 只在你對那個階梯 再 微分一次時才到來。所以這頂帳篷有一次弱導數落在我們可度量的世界裡，卻沒有兩次——而這個區別，正是索伯列夫空間被造出來要記錄的東西。
蓋起房間：L^2、H^1 與 H^k
現在我們來布置這些空間。從底層 L^2 開始：所有平方有限積分的函數——用物理的話說，就是有限的 能量。它的大小是 L^2 範數，亦即 u^2 積分的平方根，它讓我們能說兩個函數很接近。第一個索伯列夫空間 H^1 是它上面那一層：那些本身落在 L^2 而且 一階弱導數也落在 L^2 裡的 u。所以加入 H^1 是一筆交易——你可以粗糙，但你和你那一個弱斜率都必須有有限能量。帳篷 u = 1 - |x| 通過了：u 有界，它的弱導數是那個有界的階梯，兩者都平方可積。
L^2 : integral of u^2 < infinity (finite energy)
H^1 : u in L^2 AND u_x in L^2
H^k : u and all weak derivatives up to order k are in L^2
norm: ||u||_{H^1}^2 = integral of ( u^2 + u_x^2 ) ( value AND slope counted )
||u||_{H^k}^2 = integral of ( u^2 + u_x^2 + ... + (k-th deriv)^2 )一般的空間 H^k 不過是把這筆交易反覆套用：u 以及它直到 k 階的 所有 弱導數，都必須坐在 L^2 裡。索伯列夫範數 於是把它們捆起來——你把 u 平方、把每個弱導數平方、相加、積分、開根號。深層的回報是 H^k 具有 完備性：任何在這個範數下彼此越靠越近的數列，都真的收斂到一個 仍在 H^k 裡 的極限。完備這個詞不是裝飾。它正是那個讓我們能把一個解當作一列近似的極限去獵捕、並保證那極限存在、而且正是我們想要的那種物件的性質。一個柯西數列會落地的空間——一個以 L^2 為底、因而帶有內積的 希爾伯特 空間——正是這一階正朝它行軍而去的那些存在定理最自然的競技場。
把邊界蓋進去的房間：H^1_0
還有一個房間，特別到值得單獨命名。許多邊值問題把解釘在 邊緣上為零——一面被夾在框上的鼓、一道被牆面固定的溫度。我們想要一個空間，把「在邊界上 = 0」直接烤進它的會員資格裡，這樣我們就永遠不必另外去施加它。那個空間就是 H^1_0。建造它最乾淨的方式是：從那些在邊界附近 完全關掉 的平滑函數出發，再取這群函數在 H^1 範數下的完備化。你得到的每一個函數，都在一種精確的極限意義下，繼承了在邊緣消失的性質。
為什麼要費這個勁，而不乾脆寫「u = 0 在邊界上」？因為一個典型的 H^1 函數太粗糙，以至於在天真的意義下根本 沒有 邊界上的值——邊緣是一條測度為零的薄片，在那裡更動 u 不會改變任何積分。要替一個粗糙的 H^1 函數理解「在邊界上的值」是一個貨真價實的定理，也就是 跡 定理，下一篇會證明它。眼下，H^1_0 繞過了這個微妙之處：它是那些 位於 區域內部的函數老實的家，是替一個被夾住、邊緣為零的問題尋找解時最自然的地方。它將是我們用來表述這類問題 弱形式 的試驗空間。
為什麼正是這些房間
退一步，一口氣看清整一階的策略。一個像 Laplacian u = f 的邊值問題，在古典上要求 u 處處二次可微——一筆陡峭的入場費，許多老實的物理解付不起。索伯列夫的構想把費用降下來。我們會把方程重寫成它的 弱形式，方法是乘上一個測試函數、再分部積分 一次，這把一個導數從 u 身上挪到探針身上。代價從「二次可微」掉到「一次弱導數落在 L^2 裡」——也就是只要屬於 H^1 即可。一個 弱解 就是任何落在恰當索伯列夫空間裡、滿足這個積分恆等式的 u，而本篇的這些空間，恰恰是這樣一個 u 被允許去尋找的那些房間。
為什麼這一筆特定的交易報酬如此豐厚？因為一旦問題住進像 H^1 或 H^1_0 這樣一個完備的、帶內積的空間，泛函分析那套重型機械就變得可用了。那個積分後的方程，化成一個關於 雙線性形式 與一個線性泛函配對的乾淨陳述，而單單一個抽象定理——第四篇的 Lax-Milgram——就一舉交付弱解的存在 與 唯一性。這一切在古典的二次可微函數空間裡都搆不著，因為那個空間太逼仄、又不完備。選擇這些房間的全部用意，就在於它們正是那些存在定理真正能運轉的地方。
而這裡有一個你此刻應該已經感覺到的、誠實的擔憂，特意提出來，好讓你看見這一階如何回應它。一個只住在 H^1 裡的弱解，可能是頭粗糙的野獸——它究竟是那個 真正的 解，那個物理所要的平滑的解，還是我們降低標準放進來的廉價冒牌貨？這個張力是真實的，而它正是這一階的高潮。化解之道是 正則性：一些定理表明，對於良好的資料與良好的區域，一個弱解暗地裡遠比它的會員證所承認的更為平滑，往往平滑到終究成為一個 古典解。所以我們降到 H^1 是為了輕鬆地 找到 一個解，再爬回去把它的平滑性收復回來。這一階的地圖如今排定了：本篇蓋好房間，第二篇度量它們（嵌入、跡、龐加萊），第三篇寫下弱形式，第四篇證明存在性，第五篇把古典解掙回來。