線性微分算子（linear differential operator）

到目前為止你把微分方程讀成一個有待理清的關係。算子觀點提供一個更乾淨的思維轉換：把「微分」當成一台機器、一個你能命名的動詞，於是方程整個左邊就變成一台施加於 y 的機器。送一個函數進去，得一個函數出來。這個小小的框架轉換，竟解鎖了一套強大的代數。

從基本機器 D 開始，定義為 D y = y'——D 就是「取導數」。施加兩次得 D^2 y = y''；一般地 D^k y = y^(k)。現在打包：線性微分算子 L = a_n D^n + a_(n-1) D^(n-1) + ... + a_1 D + a_0 是一次做完整個左邊的那台機器，於是方程 a_n y^(n) + ... + a_0 y = g 就變成簡單的 L[y] = g。「線性」一詞抓住了讓 L 馴服的兩條規則：L[y1 + y2] = L[y1] + L[y2] 與 L[c y] = c L[y]。這正是驅動疊加原理、並讓你把受迫問題拆成齊次加特解的規則。

為什麼這樣改名值得？因為一旦 L 成了一個物件，你就能對它做代數：當係數為常數時，你幾乎能像對 D 的多項式那樣去乘、加、甚至因式分解這些算子，這正是算子因式分解與消去算子法（annihilator method）的基礎。誠實的提醒關於運算次序：對常係數算子，這套代數完全像多項式且彼此可交換；但對變係數，算子一般不可交換——D 與「乘以 x」這個算子滿足 D x - x D = 1，而非零——所以你在那裡不能隨意調換因子的次序。