自伴形式（self-adjoint form）
對稱的排列從任一側看都一樣——一座平衡的翹翹板、一支鏡像的舞。在微分算子之中，也有一個類似的「平衡」概念，而寫成自伴形式的算子，正是被刻意設計成恰好擁有那種對稱性的。它是書寫二階方程的特殊方式，使那套美麗的特徵值理論得以成立。
具體而言，一般的二階算子 P(x) y'' + Q(x) y' + R(x) y 幾乎總能被整理成整齊的形狀 (p(x) y')' + r(x) y，其中前兩項被收攏成一個乘積的單一導數。其訣竅是把整個方程乘以積分因子 mu(x) = (1/P) exp(積分 Q/P dx)，這樣選取正是為了使相乘之後，y'' 與 y' 兩項合併成 (p y')'，其中 p = mu P。這與用於一階線性方程的積分因子技巧相同，只是用在高一階上。結果 (p y')' + (q + lambda w) y = 0 就是自伴形式或斯圖姆－劉維爾形式。
何必費這個事？因為在這個形式下，算子服從一個稱為拉格朗日恆等式的對稱性，使你能兩次分部積分，而邊界項在標準邊界條件下相消。那個對稱性正是逼使特徵值為實數、特徵函數正交的東西。所以自伴形式並非裝飾性的記帳；它是解鎖斯圖姆－劉維爾理論每一個保證的結構性前提。一個無法化為這種形式的方程，便缺乏那些保證。
方程 y'' - 2x y' + 2 lambda y = 0 的 Q/P = -2x，故積分因子為 mu = exp(積分 -2x dx) = e^(-x^2)。整體相乘得 e^(-x^2) y'' - 2x e^(-x^2) y' + ... = (e^(-x^2) y')' + 2 lambda e^(-x^2) y = 0——自伴，其中 p = e^(-x^2)、w = e^(-x^2)。
乘以正確的積分因子，把 y'' 與 y' 收攏為單一的 (p y')' 包裹——並揭示出隱藏在 lambda 項中的權重 w。
每個首項係數連續且非零的線性二階方程都能化為自伴形式，所以這是改寫，而非限制。但隨之冒出的權重 w 是被強加給你的——你無法選擇它；它是積分因子乘以原本 lambda 項的係數。