通往分離變數法的橋樑（bridge to separation of variables）
為何要花這麼多力氣在單一變數的抽象特徵值理論上，可能令人費解。回報在於：整套理論正是求解物理偉大偏微分方程的機制——熱方程、波動方程、拉普拉斯方程。通往分離變數法的橋樑，便是體認到在一個良好區域上求解偏微分方程，其核心是一個偽裝的斯圖姆－劉維爾問題。
方法是這樣運作的。要求解例如 0 <= x <= L 上、兩端維持為零的熱方程 u_t = u_xx，你猜測解能分解為乘積 u(x, t) = X(x) T(t)，一個因子只依賴空間，另一個只依賴時間。代入並除以 X T 便分離了變數：X''/X = T'/T。左端只依賴 x，右端只依賴 t，卻彼此相等，所以兩者都必須等於同一個常數，慣例寫作負 lambda。這把那一個偏微分方程拆成兩個常微分方程：帶邊界條件的 X'' + lambda X = 0（一個斯圖姆－劉維爾特徵值問題！）與 T' + lambda T = 0（一個簡單的衰減）。邊界條件選出特徵值 lambda_n 與特徵函數 X_n；每個時間因子各自演化；而你把這些乘積疊加，並用特徵函數展開去匹配初始資料。
所以這個領域的一切在此匯聚。特徵值問題供應被允許的空間模態；正交性讓你擬合初始條件；完備性保證擬合是精確的；而廣義傅立葉級數組裝出最終答案。這就是為什麼斯圖姆－劉維爾理論並非孤立的奇趣，而是數學物理的骨幹——同一個 X'' + lambda X = 0，帶著不同的 p、q、w 與幾何，反覆出現在熱流、振動膜、靜電學、以及原子的量子波函數之後。
對 [0, pi] 上附 u(0, t) = u(pi, t) = 0 與 u(x, 0) = f(x) 的 u_t = u_xx，分離給出 X'' + lambda X = 0（特徵值 n^2，特徵函數 sin(n x)）與 T' + n^2 T = 0（故 T = e^(-n^2 t)）。完整解為 u(x, t) = sum b_n e^(-n^2 t) sin(n x)，其中 b_n 是 f 的傅立葉正弦係數。
空間那一半是斯圖姆－劉維爾特徵值問題；時間那一半是簡單的衰減；特徵函數展開把它們黏合到初始資料上。
分離變數法強大但非萬能：它依賴可分離的幾何（區間、矩形、圓盤、球面）以及齊次、分離型的邊界條件。在形狀不規則的區域上、或帶混合邊界資料時，乘積猜測便失效，你必須轉向其他方法。