1868 - Maxwell 論調速器#

案件摘要#

1868 年，James Clerk Maxwell（馬克士威）發表論文〈On Governors〉（論調速器），首次以微分方程分析回饋系統的穩定性。他針對 Watt 飛球調速器 80 年來無人能解的「hunting 振盪」謎題，把調速器 + 蒸汽機寫成線性微分方程組，證明：穩定性取決於特徵方程根的實部符號——實部皆負則穩定，有正實部則不穩。 控制理論正式誕生：回饋從手藝變成數學。

前因#

Watt 飛球調速器（1788）：工業級回饋普及，但某些機組出現 hunting 振盪，無人能解（見 1788-Watt飛球調速器.md）。
微分方程理論成熟：Cauchy、Jacobi 的線性系統理論、特徵值問題——數學工具齊備。
Faraday–Maxwell 的電磁學：Maxwell 本人在寫電磁方程（1865），他習慣把物理寫成微分方程——同樣的手法被搬到調速器上。
英國科學促進會（BAAS）：1864 年設立委員會調查調速器理論，Maxwell 受邀參與——官方需求導火線。

線索與推理#

第 1 步：把調速器寫成微分方程#

Maxwell 的偵探手法：不畫機械圖，而是直接寫方程組。以三階簡化模型為例（飛球角 \(\theta\) 、蒸汽機轉速 \(\omega\) 、節流閥位移 \(u\) ）：

\[ J\dot\omega = a\,u - b\,\omega, \qquad M\ddot\theta = -k\theta - c\dot\theta + d(\omega - \omega_0), \qquad u = -g\,\theta \]

其中 \(g\) 是調速器增益。消去變數，得閉環特徵方程：

\[ a_n \lambda^3 + a_{n-1}\lambda^2 + a_{n-1}\lambda + a_0 = 0 \]

第 2 步：穩定性 = 根的實部符號#

線性系統的解是 \(\lambda_i\) 的指數組合：

\[ x(t) = \sum_i c_i e^{\lambda_i t} \]

\(\mathrm{Re}(\lambda_i) < 0\) ： \(e^{\lambda_i t} \to 0\) ，擾動衰減——穩定。
\(\mathrm{Re}(\lambda_i) > 0\) ： \(e^{\lambda_i t} \to \infty\) ，擾動放大——不穩定。
\(\mathrm{Re}(\lambda_i) = 0\) （純虛數）：持續振盪——hunting！

謎題解開：hunting 就是特徵根跑到虛軸上。蒸汽機 + 調速器的某些參數組合，讓系統恰好落在「穩定邊界」。

第 3 步：不用解方程的判斷法#

三階多項式求解困難（Cardano 公式太繁）。Maxwell 觀察到：判斷穩定性不需要求根，只需要判斷「根是否都在左半平面」。他對二階與三階情形給出了係數條件—— 這條線索被 Routh（1877）與 Hurwitz（1893）發展成完整的代數判據（見 1877-Routh穩定性判據.md、1893-Hurwitz判據.md）。

第 4 步：參數如何影響穩定#

以二階系統 \(\ddot x + 2\zeta\omega_n\dot x + \omega_n^2 x = 0\) 為例：

參數	穩定條件	物理意義
\(\omega_n^2 > 0\)	剛度為正	回復力指向平衡點
\(\zeta > 0\)	阻尼為正	能量耗散

調速器增益太大 ⇒ 有效阻尼下降 ⇒ \(\zeta\) 接近 0 ⇒ hunting。這就是為何某些蒸汽機振盪：不是調速器不好，是增益調得太高—— 「增益與穩定的 trade-off」從此成為控制設計的核心矛盾。

後果#

控制理論誕生：「寫微分方程 → 分析特徵根 → 調參數」成為控制工程的標準流程。
Routh（1877）與 Hurwitz（1893）把代數判據系統化（見 1877-Routh穩定性判據.md）。
Lyapunov（1892）把穩定性推廣到非線性系統（見 1892-Lyapunov穩定性.md）。
頻域方法（Nyquist, 1932；Bode, 1945）接手處理高階系統與實驗資料（見 1932-Nyquist判據.md）。

結案陳詞#

Maxwell 的〈論調速器〉是控制理論的第一現場：他用 8 頁紙解開了 80 年的謎題，證明「穩定」不是玄學，而是特徵根實部的符號。從此回饋控制有了數學語言—— 工程師第一次可以「在紙上預測機器會不會振盪」。