從正交到完備：兩個截然不同的承諾
到這一步，這一級已經交給你一個漂亮的對象。一個正則的 史特姆–劉維問題 給出一道離散的實特徵值階梯 λ_1 < λ_2 < λ_3 < ...，一路奔向無窮，並對每一個配上一個實的特徵函數 φ_n(x)。上一篇證明了這些特徵函數對某個權函數 w(x) 是 帶權正交 的：把 φ_m φ_n w 沿區間積分，只要 m 不等於 n 就得零。這份正交性本身已經很有威力——它正是讓你能藉積分把一個係數讀出來的本領，與釘住普通傅立葉係數的把戲如出一轍。但只靠正交性，它許下的承諾比你想的要安靜。
問題就在這道縫隙。正交性說的是：假如一個函數能由你的特徵函數組裝出來，這裡正好告訴你怎麼找出配方。它對「是否每一個合理的函數都組得出來」卻隻字不提。想想向量：三維空間裡單獨一個向量 (1,0,0)，跟它該正交的東西全都正交得乾乾淨淨，可你光靠它的倍數，永遠搆不到 (0,1,5)。你缺了方向。完備性 是另一個、更深的承諾：什麼都不缺——那些特徵函數 φ_n 指向足夠多的方向，能搆到空間裡的每一個函數，不留下任何一個與它們全體都正交的殘餘。
把特徵函數當作函數的座標系
整個史特姆–劉維理論的構想，就是把函數當成向量來對待。在普通空間裡，像單位向量這樣的一組正交基，讓你能把任何向量寫成基方向的加權和，而每個權重，你靠投影——也就是內積——求得。在這裡，特徵函數 φ_n 扮演基方向的角色，而內積是一個把權重內建其中的積分：f 與 g 的重疊，是 f(x) g(x) w(x) 沿區間的積分。當這個積分為零，兩個函數就正交；f 的平方長度，是 f(x)^2 w(x) 的積分。這就是 權函數 w(x) 在真正出力——它是那把決定「何謂垂直」的尺。
有了這個內積，展開一個函數就成了機械操作。要把 f(x) 寫成 各個 c_n φ_n(x) 之和，你靠把 f 投影到 φ_n、再除以 φ_n 的平方長度，求出每個係數：c_n 等於 f φ_n w 的積分，除以 φ_n^2 w 的積分。每一個交叉項都因正交而消失，所以 c_n 的公式裡，除了它自己的 φ_n，看不見任何別的 φ_m。這就是一個 特徵函數展開；而因為它把正弦餘弦的配方推廣到任意一個自伴算子，它又叫作 廣義傅立葉級數。你早已熟悉的普通 傅立葉級數，不過是其中的特例：算子是平凡的二階導數，特徵函數是權重 w = 1 的正弦與餘弦。
inner product: <f, g> = integral of f(x) g(x) w(x) dx over [a, b]
expansion: f(x) = sum_n c_n phi_n(x)
coefficient: <f, phi_n> integral of f phi_n w
c_n = -------------- = ----------------------
<phi_n, phi_n> integral of phi_n^2 w
(every cross-term <phi_m, phi_n> = 0 for m != n --> only the n-th survives)「級數等於函數」到底是什麼意思
現在來到誠實的部分。當我們寫下 f(x) = 各個 c_n φ_n(x) 之和，這個等號究竟在什麼意義下成立？對史特姆–劉維理論而言，最穩妥也最自然的答案是 均方收斂，又叫 L^2 意義下的收斂。它說的是誤差的能量趨於零：取前 N 項的部分和 S_N，作差 f - S_N，那麼 (f - S_N)^2 w 的積分會隨 N 增大而縮到 0。級數平均而言越來越貼合 f，是在帶權面積的意義下——即便在少數頑固的點上，譬如一處跳躍，數值始終對不太上。
這確實是比逐點相等更弱的承諾，而且這個區別不是技術細節——它正是真實現象的源頭。最經典的警示是吉布斯過衝：展開一個方波，部分和總會在跳躍附近以一個固定的百分比過衝，無論你加多少項都消不掉。然而均方收斂卻完美成立，因為那道過衝被擠進一條越來越細的縫裡，它的面積縮向零。所以「級數等於 f」在能量的意義下為真，即便在某些點上它肉眼可見地對不上。在宣稱那個等號之前，先說清楚你指的是哪一種收斂。
完備性、貝塞爾不等式與帕塞瓦等式
完備性有一個鋒利、可量測的標誌。把 f 投影到前 N 個特徵函數上，殘餘 f - S_N 與它們全體正交；一個簡短的畢氏計算隨即表明：部分和的能量永遠不可能超過 f 的能量。寫出來，就是「各個 c_n^2 乘上 φ_n 平方長度」之和，至多等於 f^2 w 的積分。這是 貝塞爾不等式，它對任何正交族都成立，無論完備與否。而那一族恰好在以下條件下 完備：當這個不等式對每一個 f 都收緊成等式——當那些係數捕捉了全部的能量、殘餘一點不剩。
那個等式是 帕塞瓦等式，也是完備性最乾淨的一張臉：f 的總能量等於它係數的總能量，f^2 w 的積分等於「各個 c_n^2 乘 φ_n 平方長度」之和。沒有任何東西漏進特徵函數看不見的方向裡。而保證這件事真會發生的深層憑據，正是 史特姆–劉維定理 本身：對一個有限區間上的正則史特姆–劉維問題，特徵函數在帶權 L^2 空間中自動完備。你不必逐例去檢驗——自伴性加上對的邊界條件，就把完備性整批買了下來。
用展開去解一條偏微分方程
完備性，正是讓分離變數法能收尾的東西。回想上一級的套路：把偏微分方程分離，會生出一個空間特徵值問題，而匹配初始資料則要求你把初始輪廓在特徵函數上展開。完備性就是那道保證：這個展開永遠做得到——無論初始的溫度或位移長什麼樣，它都活在 φ_n 張成的空間裡、都搆得到。少了完備性，你或許能對一整架漂亮的輪廓解出方程，卻偏偏匹配不上你的問題實際交到手上的那一個輪廓。
- 建好基。從分離變數得到的史特姆–劉維特徵值問題解起，求出特徵值 λ_n 與正交的特徵函數 φ_n(x)，並帶上由算子繼承來的權函數 w(x)。
- 展開初始資料。把初始輪廓 f(x) 寫成 f = 各個 c_n φ_n 之和，藉投影公式求出每個 c_n——即 f φ_n w 的積分除以 φ_n^2 w 的積分。完備性保證這在均方意義下代表了 f。
- 讓每個模態演化。每個特徵函數搭乘自己的時間因子（熱方程是衰減指數，波動方程是振盪），由它的 λ_n 定下。把那個因子掛到每一項上。
- 疊加。把演化後的各模態加回去。所得就是完整的解 u(x,t)——而同一條級數凍結在 t = 0，重現了初始資料，閉合了整個迴圈。
對這個優雅的迴圈，得補一句誠實的提醒。這裡的區間是有限的、端點是正則的，這正是為何特徵值排成離散階梯、展開是一個求和。在無界區域上、或端點奇異時，那道階梯可能溶成連續譜——於是求和變成積分，特徵函數展開變成一個轉換，那正是緊接著下一級的故事。記帳的方式變了，精神卻一模一樣：投影到一個完備族上、讓每一塊演化、再疊加。
正弦之外：前方的各種特殊函數家族
把理論抽象地搭建起來，回報就是：同一台機器，跑的遠不只正弦。換了幾何，分離出來的空間算子也跟著換，但它依然是個史特姆–劉維算子——所以它依然有實特徵值、依然對某個權重有正交的特徵函數，在有限區域上也依然完備。變的只是特徵函數的卡司。在圓盤或圓柱上分離，交給你貝塞爾函數；在球面上分離，交給你勒壤得多項式，而在完整的角向問題裡，則是球諧函數。它們不是什麼奇異的新面孔——它們不過是新座標系所選出的特徵函數罷了。
而展開的邏輯，原封不動地搬了過去。一個徑向輪廓被寫成貝塞爾函數展開；一個球面上的輪廓被寫成球諧函數展開；每一種都帶著自己那份直接來自幾何的權重（徑向積分裡的一個 r、球面上的一個 sin θ），也各自受自己的完備性定理管轄。連活在無窮或半無窮區間上的厄米與拉蓋爾函數，也都是從奇異史特姆–劉維問題裡掉出來的。下一篇會與這些家族正面相見——但關於它們，你早已掌握了最要緊的那一件事：每一族都是一個完備的、帶權正交的基，所以每一族都讓你能展開、投影、疊加，與你剛剛用正弦做的，分毫不差。