自伴性暗地裡為我們買下的東西
上一篇指南做了一件謹慎的事：它把一個二階算子重寫成自伴形式 (p u')' + q u，旁邊還掛著一個正的權重 w(x)。那次重寫看起來像在記帳，其實是進入一條定理的入場費。一旦一個史特姆-劉維問題被寫成這個形式，再配上合理的邊界條件，三個橫掃一切的承諾就同時兌現——而那正是讓正弦與餘弦在熱方程與波動方程那幾階表現得如此聽話的那些承諾。本篇就把這三個承諾全部兌現。
史特姆-劉維定理把它們講得很白。第一，每個特徵值 lambda 都是實數。第二，屬於不同特徵值的特徵函數彼此正交——不是在普通意義下，而是對權重 w 而言。第三，特徵值構成一個遞增的數列 lambda_1 < lambda_2 < lambda_3 < ...，一路奔向無窮，而那些特徵函數是完備的：區間上任何合理的函數都能用它們展開。底下每一條都會各自有一節來掙得它的地位。
為什麼每個特徵值都是實數
實數性並不顯然。算子裡含有導數，而沒有任何法律禁止一條微分方程擁有複的特徵值——方程 u'' = lambda u 配上錯誤的邊界條件，照樣樂於接納它們。那麼自伴問題為什麼拒絕？這個論證很短，值得放在腦袋裡隨身帶著。把兩個函數的加權內積定義為：f 乘以 g 的共軛、再乘以權重函數 w(x)，在 [a, b] 上的積分。自伴性意味著算子 L 可以在這個內積的一個槽位與另一個槽位之間免費搬動：(L f, g) 等於 (f, L g)。
現在施展那個訣竅。對一個特徵函數 u，令 L u = -lambda u，再把 u 餵進兩個槽位。一邊，(L u, u) = (-lambda u, u) = lambda 的共軛乘以負號、再乘以 (u, u)。另一邊，(u, L u) = (u, -lambda u) = -lambda 乘以 (u, u)。自伴性逼使這兩者相等，於是 lambda 的共軛乘以 (u, u)，等於 lambda 乘以 (u, u)。而 (u, u) 是 |u|^2 乘以 w 的積分，它嚴格為正——因為 w > 0 且 u 不是零函數。把它約掉，你就剩下 lambda 的共軛等於 lambda——一個等於自身共軛的數就是實數。這就是整個證明。
為什麼不同的特徵函數彼此正交
第二個承諾甚至更有用，而它出自同一口井。取兩個特徵函數，u 帶特徵值 lambda、v 帶一個不同的特徵值 mu。把每一個放進加權內積的一個槽位。一邊給出 (L u, v) = -lambda (u, v)；另一邊給出 (u, L v) = -mu (u, v)——既然現在已知特徵值是實數，就不需要取共軛。自伴性令它們相等：lambda (u, v) = mu (u, v)，整理成 (lambda - mu)(u, v) = 0。因為當初假設 lambda 與 mu 不同，第一個因子非零，於是逼出 (u, v) = 0。
把這個結論看仔細：(u, v) = 0 意味著 u(x) v(x) w(x) dx 在 [a, b] 上的積分為零。這就是對權重的正交性，而那個權重 w(x) 正是初學者會忘掉的部分。在權重 w = 1 的尋常區間上，它退化成你兩篇之前見過的那個熟悉的正弦正交性；但在圓盤上，徑向模態帶著 w = r 的權重，而在球面上，勒壤得模態帶著另一個截然不同的因子。兩個特徵函數畫出來可能看起來糾纏不清，然而只要你記得用 w 去秤那個重疊，它們仍然正交。
self-adjoint problem: -(p u')' + q u = lambda w u on [a, b] real eigenvalues: lambda-bar = lambda (feed u into both slots) orthogonality: (lambda - mu)(u, v) = 0 (feed u, v into both slots) weighted inner prod: (u, v) = integral_a^b u(x) v(x) w(x) dx lambda != mu => (u, v) = 0
正交性的用途：把係數讀出來
正交性不是奇珍異玩；它是讓展開式可計算的引擎。假設你相信一個函數 f 能寫成特徵函數的和 c_1 u_1 + c_2 u_2 + c_3 u_3 + ...——一個特徵函數展開，也就是傅立葉級數的直接推廣。那些係數看起來毫無希望：無窮多個未知數糾纏在一條方程裡。正交性一筆就把它們解開。對兩邊與一個選定的模態 u_n 取加權內積。每一個 m 不等於 n 的交叉項 (u_m, u_n) 都崩塌成零，只剩下 c_n (u_n, u_n) 那一項存活。
於是第 n 個係數就是 c_n = (f, u_n) / (u_n, u_n)——兩個加權積分之比，可以一次一個模態地算出來，永遠不必去解一個巨大的方程組。這正是 f 的廣義傅立葉級數的搭建方式。分母 (u_n, u_n) 是該模態在加權意義下的長度平方；除以它就是歸一化的步驟。還有一個俐落的方法可以看出 c_n 是否已是你能做到的最好：雷利商衡量每個模態攜帶多少能量，把它極小化就挑出最低的特徵值與它的特徵函數。
- 把算子弄成自伴的。 把方程寫成 -(p u')' + q u = lambda w u，並讀出權重 w(x)——這就定下了該用哪個內積。
- 解特徵值問題。 找出滿足邊界條件的特徵值 lambda_n 與它們的特徵函數 u_n；定理保證它們是實的且正交的。
- 把 f 投影到每個模態上。 計算 c_n = (f, u_n) / (u_n, u_n)，兩個內積都帶著權重 w——其餘每個模態都會自動退場。
- 重新組裝並接上動力學。 把 c_n u_n 加總以重建 f，再讓每個模態帶著它自己的時間因子前進，以解出原本的偏微分方程。
超越正弦與餘弦：特殊函數
這裡有一場安靜的革命。正弦與餘弦從來就不特別——它們不過是最簡單的史特姆-劉維問題的特徵函數，也就是在一條筆直區間上 p = 1、q = 0、w = 1 的那一個。換掉幾何，同一套機械就交給你一個不同的正交家族。在圓盤上分離拉普拉斯算子，徑向那部分變成貝索方程，其特徵函數是貝索函數，帶權重 w = r 正交。在球面上分離它，極角那部分變成勒壤得方程，其特徵函數是勒壤得多項式，在 [-1, 1] 上正交。把極角與方位角那兩塊疊在一起，你就得到球諧函數。
這些家族是奇異史特姆-劉維問題的特徵函數——奇異是因為係數 p 在某個端點處消失（p = r 在圓盤中心歸零；p = 1 - x^2 在極點 x = 正負 1 歸零）。這是一個真正的微妙之處，不是腳註：在一個奇異端點上，沒有尋常的邊界條件可施加。正確的替代是要求解在那裡單純地保持有界。值得注意的是，有界性就足以讓算子維持自伴，所以同樣那兩行論證依舊交付實特徵值與加權正交性。貝索與勒壤得家族之所以正交，原因和那些正弦正交完全相同。
一個誠實的但書為本階的核心定理收尾。實數性與正交性，我們已乾淨地證明；而完備性——也就是這些特徵函數足以建構出每一個合理的函數——才是最深的一條，也是我們那段簡短的內積論證搆不到的一條。它需要更重的分析（逆算子的緊緻性），而那正是下一篇指南要認真承接的。在完備性被建立之前，你只知道這些模態不重疊；你還不知道它們不留缺口。沒有完備性的正交性，是一組可能缺了某些方向的基底——這是一個值得在繼續前進時牢記的提醒。