這些定理究竟為何存在
在上一篇導讀裡，你建起了索伯列夫空間 H^1：那些自身與其弱導數都平方可積的函數，並以加總 u 與其梯度 L^2 大小的索伯列夫範數來度量。那個定義刻意地寬鬆——它放進了有角點與折點、會被古典導數拒於門外的函數。但寬鬆是有代價的：H^1 的一個成員其實是一個等價類，只在「差一個零測度集」的意義下被釘住。把 u 在單一一點、或沿著一條線上改動，它仍是 H^1 中「同一個」元素。於是一個合理的擔憂是：這樣一個滑不溜手的對象，究竟能不能像個普通函數一樣行事。
本篇的三條定理就是那些令人安心的答案。索伯列夫嵌入定理說：只要你相對於維度要求足夠多的導數，你那個等價類裡其實偷偷藏著一個貨真價實連續的代表元——那份狂野原是一場錯覺。跡定理說：儘管把一個 H^1 函數限制到零測度的邊界上理應毫無意義，卻仍存在一個良定義的邊界值。而龐加萊不等式說：一旦你把邊界固定為零，u 的大小就完全被其梯度的大小所掌控。每一條都把一樁擔憂換成一條乾淨的不等式，三者合起來，就是後續幾篇導讀拿來真正求解邊界值問題的工具包。
嵌入：多出來的導數替你買到光滑
索伯列夫嵌入定理是一筆交易：花掉導數，換來逐點的正則性。它的口號是：在 n 維區域上擁有 k 個 L^p 中的弱導數，只要 k 勝過 n/p，就足以保證得到一個貨真價實連續（甚至古典可微）的函數。最該記住的乾淨情形是：在一維裡，H^1 函數自動連續——句點。這正是為何在一維區間上你可以毫不遲疑地談 u(0) 與 u(1)。到了更高維，門檻會升高，因為函數有更多空間可以胡鬧，卻仍保有有限的梯度積分。
還有一個更鋒利、更好用的近親，是存在性證明所倚靠的：雷利希-孔德拉紹夫定理。素樸的嵌入只告訴你 H^1 落在某個 L^p 裡頭；雷利希-孔德拉紹夫則把它升級為有界區域上的「緊」嵌入。用大白話說：任何在 H^1 範數下保持有界的序列，都有一個子序列在 L^2 中收斂。一筆有界的梯度預算，加上一個有界的盒子，就讓函數無處可逃，於是你總能抽出某個會安定下來的東西。這份緊性正是日後讓我們能從極小化或逼近序列中「揪出」一個真正的解的引擎——少了它，下一階梯的直接方法就會卡住。
跡：替一個「處處無定義」的函數賦予邊界值
現在來看跡定理所化解的謎題。一個邊界值問題要求我們沿著區域的邊緣令 u 等於某個指定的 g——也就是狄利克雷資料。但 n 維區域的邊界是 (n-1) 維的，因而測度為零，而一個 H^1 函數只在「差一個零測度集」的意義下有定義。所以字面上把 u 限制到邊界上，理應和「只知平均值的流體中、某一個數學點的溫度」一樣毫無意義。跡定理把局面救了回來：存在一個有界線性的跡算子，它賦予每個 H^1 函數一個貨真價實的邊界值，而且只要 u 恰好連續，它就與普通的限制一致。
它行得通的緣由是算子的連續性，而非逐點賦值。跡先在好函數（比如光滑函數）上以普通限制來定義，然後證明那條估計：邊界值的 L^2 大小被 u 在內部的 H^1 大小所界住。因為光滑函數在 H^1 中稠密、而這個映射有界，它就唯一地延拓到整個 H^1。代價是對「你保住多少正則性」的誠實：一個 H^1 函數的邊界值並不住在完整的「邊界上的 H^1」裡，它落到分數階空間 H^(1/2)——你在越過到邊緣時掉了「半個導數」。這筆半個導數的帳，在你日後試圖「指定」邊界資料、並追問哪些 g 是可達的時候，是要緊的。
這正是賦予你上一篇所遇的空間 H^1_0意義的東西。H^1_0 是緊支光滑函數在 H^1 中的閉包，而手握跡算子之後，我們終於能說清它「是什麼」：恰好就是那些跡為零的 H^1 函數。「在邊界上消失」先前只是個口號；如今它是關於某個特定有界算子之核的嚴格陳述。H^1_0 是每一個帶齊次狄利克雷條件之問題的家，也正是下一條不等式所棲身之處。
龐加萊：梯度掌控函數
這是三者中最不張揚卻最有威力的一條。龐加萊不等式說：在有界區域上，對每個 H^1_0 中的 u，u 自身的 L^2 大小不超過某個常數乘以其梯度的 L^2 大小。用符號寫，u^2 的積分至多是 C 乘以 |grad u|^2 的積分，其中 C 只依賴於區域。把它讀成一句關於「禁閉」的陳述：若一個函數沿著整圈邊緣都被釘為零，它就不可能在中間長得很大、而不在陡峭的梯度上付出代價。在一面被夾緊的鼓膜內，你沒辦法既平坦又高聳。
Poincare (on H^1_0, bounded domain):
integral of u^2 <= C * integral of |grad u|^2
Consequence: the gradient norm alone,
||u||_grad = sqrt( integral of |grad u|^2 ),
is a genuine norm on H^1_0, equivalent to the full H^1 norm.邊界條件並非可有可無——而這正是最常見的誤解。沒有它，龐加萊就「不成立」：取 u 等於一個非零常數，則 grad u 處處為零、u 自身卻不為零，於是沒有任何常數 C 行得通。常數恰好就是那種「沒有梯度卻有的是大小」的函數，而零邊界的要求正是用來禁止它們的。（有一個表親，龐加萊-維廷格不等式，改以減去 u 的平均值來容許非零邊界——同一種精神，只是換個方式把常數幹掉。）所以那條乾淨的陳述屬於 H^1_0，這也正是為何上一節的跡定理必須先登場。
三者如何契合——以及它們接下來去往何處
退一步看這座建築。嵌入告訴你一個索伯列夫函數其實比它的定義所暗示的更好，所以理論並非空談。跡告訴你它有貨真價實的邊界值，所以邊界條件是有意義的。龐加萊告訴你在 H^1_0 上單憑梯度能量就量得出函數，所以一個問題的自然能量是一個真正、完備的範數。注意這層依賴的次序：跡定義了 H^1_0，而龐加萊棲身於 H^1_0——這些定理是疊起來的，一個倚著前一個。
於是這篇導讀悄悄組裝好了發射台。有嵌入擔保解不至於太狂野、有跡讓邊界條件名正言順、有龐加萊把梯度能量提拔為一個掌控全局的範數，把一個邊界值問題寫成希爾伯特空間中單一條對不等式友善的方程，每一樣材料都已就位。下一篇導讀做的正是這件事：它把一條橢圓型偏微分方程改寫成建立在上述雙線性形式之上的弱形式，再下一篇則把那個形式交到拉克斯-米爾格拉姆手上。你在這裡證出的那幾樁近乎奇蹟，即將開始幹真正的活。