1.2 階數、線性與非線性#
本章導言#
面對一個微分方程，第一步不是求解，而是分類。就像生物學家先為標本命名與歸檔，數學家也要先問：這是幾階？線性嗎？係數是常數還是函數？分類決定了可用的武器庫——線性方程有一套系統理論（第 2、4 章），非線性方程則常常只能局部出擊（第 6、7 章）。本節建立這套分類語言，並沿著歷史看它如何成形。
階數：方程的「維度標籤」#
定義：微分方程中出現的最高階導數，稱為方程的階數（order）。
| 方程 | 階數 | 註記 |
|---|---|---|
| \(\dfrac{dy}{dt} = k y\) | 一階 | Malthus 人口模型（1798） |
| \(m \ddot{x} + k x = 0\) | 二階 | 彈簧振子 |
| \(L \dfrac{d^2 q}{dt^2} + R \dfrac{dq}{dt} + \dfrac{q}{C} = 0\) | 二階 | RLC 電路 |
| \(\dfrac{d^3 y}{dt^3} + y \dfrac{dy}{dt} = 0\) | 三階 | 出現 \(y\,\dfrac{dy}{dt}\) 乘積，非線性 |
| \(\ddot{\theta} + \dfrac{g}{L}\sin\theta = 0\) | 二階 | 精確單擺，非線性 |
歷史上，階數與「需要的初始資訊量」的等式（ \(n\) 階方程需要 \(n\) 個初始條件）在十八世紀被默認， nineteenth 世紀才由 Cauchy（1824 講義）與 Lipschitz（1876）等人證明為定理（見 3.2 節）。階數不是記號遊戲，而是「預測所需資訊量」的精確度量。
線性與非線性：一條改變世界的分界線#
定義： \(n\) 階方程
稱為線性（linear）方程，若 \(y\) 及其各階導數都只以一次冪出現，係數 \(a_i(t)\) 與右端 \(g(t)\) 至多是 \(t\) 的函數。否則稱為非線性。
判別要訣——下列情況一律非線性：
- \(y\) 的冪次超過一：如 \(y^2\) 、 \(\sqrt{y}\) 、 \(y^3\) ；
- \(y\) 與其導數相乘：如 \(y\,y'\) ；
- 導數的冪次超過一：如 \((y')^2\) ；
- \(y\) 進入超越函數：如 \(\sin y\) 、 \(e^y\) 、 \(\ln y\) 。
注意分界是「對 \(y\) 而言」： \(\cos t \cdot y'' + t^2 y' = e^t\) 中的 \(\cos t\) 、 \(t^2\) 、 \(e^t\) 都只是係數，方程仍是線性的。但 \(\cos y \cdot y'' = 0\) 就非線性。
為什麼線性如此珍貴：疊加原理#
線性方程的靈魂是疊加原理（superposition principle）：若 \(y_1, y_2\) 都是齊次線性方程 \(L[y] = 0\) 的解，則 \(C_1 y_1 + C_2 y_2\) 也是。證明只需一行（以二階為例）：
「兩個聲音同時播放互不干擾」「兩束光交叉互不散射」——物理世界的線性現象背後，都是這條數學原理。非線性世界則沒有這份恩賜：兩個解相加通常不是解。這就是為什麼湍流、天氣、心臟節律遠比彈簧振子難解。
歷史上，疊加思想可追溯至 Daniel Bernoulli（丹尼爾・伯努利，1700–1782） 1753 年對弦振動的研究——他主張弦的一般振動是無窮多個簡正模式的疊加，此說引發與 d'Alembert、Euler 的著名論戰（見 9.1 節），間接催生傅立葉級數。線性疊加的爭議，竟是偏微分方程與級數理論的共同起點。
線性方程的進一步細分#
線性方程內部再分：
| 類型 | 定義 | 例子 | 處理章節 |
|---|---|---|---|
| 齊次 | \(g(t) \equiv 0\) | \(y'' + 4y = 0\) | 4.1–4.2 |
| 非齊次 | \(g \not\equiv 0\) | \(y'' + 4y = \sin t\) | 4.3 |
| 常係數 | \(a_i(t)\) 皆常數 | \(y'' - 3y' + 2y = 0\) | 4.2 |
| 變係數 | 有係數依賴 \(t\) | \(t^2 y'' + t y' + y = 0\) | 5.1–5.3 |
齊次與非齊次的關係由疊加原理第二式給出：若 \(\tilde{y}\) 是非齊次方程的一個特解， \(y_h\) 是對應齊次方程的通解，則 \(\tilde{y} + y_h\) 是非齊次方程的通解。這「通解 = 特解 + 齊次通解」結構，是線性代數中「解空間 = 仿射空間」的微積分版本——Euler 在 1739 年研究聲學時已經熟練使用。
非線性的三副面孔#
非線性並非鐵板一塊，可按「可否化為線性」分類：
（一）可偽裝的：Bernoulli 方程 \(y' + p(t) y = q(t) y^n\) 可經代換 \(v = y^{1-n}\) 化為線性（1695 提出、1696 解出，見 2.3 節）。Riccati 方程 \(y' = a(t) + b(t) y + c(t) y^2\) 在已知一個特解時可化為線性（見 2.3 節）。
（二）可線性化的： \(\ddot{\theta} + \frac{g}{L}\sin\theta = 0\) 在 \(\theta\) 小時以 \(\theta\) 代 \(\sin\theta\) 。線性化是局部真理：擺角小於幾度時誤差可忽略；但對大幅運動（如遊樂場海盜船）線性化失效。
（三）本質非線性的：如 \(y' = y^2\) （其解 \(y = \frac{1}{C - t}\) 在有限時間爆破）、三體問題、Lorenz 系統。它們孕育線性理論中不存在的現象：有限時間爆破、多重平衡、混沌。
決定解的行為：線性 vs 非線性的對照表#
| 性質 | 線性方程 | 非線性方程 |
|---|---|---|
| 疊加原理 | 成立 | 不成立 |
| 通解的形態 | 全域、結構清晰 | 通常只有局部或隱式描述 |
| 存在唯一性 | 係數連續即可 | 需要額外條件（3.2 節） |
| 有限時間爆破 | 不可能（係數良好時） | 可能（ \(y' = y^2\) ） |
| 求解策略 | 系統方法（第 2、4 章） | 個案技巧 + 定性方法（第 6、7 章） |
| 物理對應 | 小振動、小擾動 | 大振動、強交互作用 |
爆破現象值得停留： \(y' = y^2\) 、 \(y(0) = 1\) 的解是 \(y = \frac{1}{1 - t}\) ，當 \(t \to 1^-\) 時 \(y \to \infty\) 。解不是「不存在」，而是存在但有限壽命。這個現象在人口模型（無限成長的荒謬 → 需要修正項）與反應動力學中有真實意義——非線性不僅難解，還會改寫「解」的定義邊界。
一個具體例題#
例題 1.2.1：對下列方程，逐一指出（i）階數，（ii）線性或非線性（若線性，再指出齊次與否、係數是否常數）：
(a) \(t^3 y^{(4)} + \sqrt{t}\, y' - y = \cos t\) ； (b) \(y'' + (\sin t)\, y' + t\, y^3 = 0\) ； (c) \(y'' + 9 y = 0\) ； (d) \(y' = 1 + y^2\) ； (e) \(\big(y''\big)^2 + y = 0\) 。
解：
(a) 最高導數是 \(y^{(4)}\) ，四階。 \(y\) 與 \(y'\) 都一次冪出現， \(t^3, \sqrt t, \cos t\) 都是係數或右端函數，故線性、非齊次、變係數。
(b) 二階。出現 \(y^3\) ，非線性（注意 \(y'\) 的係數 \(\sin t\) 不影響判別；問題出在 \(t\,y^3\) ）。
(c) 二階。線性、齊次、常係數——這是彈簧振子的標準型，解為 \(y = A\cos 3t + B\sin 3t\) （4.2 節方法）。
(d) 一階。 \(y^2\) 使其非線性；右端 \(1 + y^2\) 與 \(t\) 無關，此類稱為自治方程（autonomous，見 6.2 節）。其解 \(y = \tan(t + C)\) 顯示 \(\pm\frac{\pi}{2}\) 處爆破。
(e) 二階。但 \((y'')^2\) 是導數的平方，故非線性。此類「平方出現」的方程在物理中（如某些變分問題）會出現，處理起來需要特別技巧。
教訓：判別線性只需盯著「 \(y\) 及其導數是否都以一次冪、且不互乘」——與自變數 \(t\) 如何出現無關。
歷史啟示#
- 分類即力量：「線性」這個現代詞彙要到十九世紀（隨線性代數成形）才普及，但十八世紀的 Euler 已憑直覺把方程分成「可疊加」與「不可疊加」兩族來攻擊——好的分類先於好的名詞。
- 線性是特例，卻是可教的特例：教科書以線性為主軸，不是因為世界線性，而是因為線性理論形成了「可傳授的系統」；非線性理論（第 6、7 章）更接近真實世界，卻需要更多數學成熟度。
- 爆破改變哲學： \(y' = y^2\) 的有限時間爆破告訴我們，「解」未必終身存在。決定論說「初值決定未來」，卻沒保證「未來是永遠的」。
與其他章節及領域的關聯#
- 1.3 節：非線性但可分離的方程是入門者第一個能「徒手解」的類型。
- 第 2 章：一階線性方程的積分因子法，是線性理論的最小完整樣本。
- 2.3 節：Bernoulli、Riccati 方程展示「非線性如何偽裝成線性」。
- 3.2 節：存在唯一性定理對線性方程自動成立（係數連續即可），對非線性方程需要 Lipschitz 條件——線性與非線性在此有精確的理論分價。
- 4.1 節：疊加原理的完整表述與 Wronskian。
- 6.2 節：自治非線性方程的相平面分析——放棄「求解」、改求「理解」的轉折點。
- 7.3 節：本質非線性的極端後果——混沌。
- 物理與工程：線性理論對應「微擾／小訊號分析」（電子學的小訊號模型、光學的線性介質）；非線性對應「大訊號／強場」效應（非線性光學、飽和放大器）。
練習#
- 對下列方程分類（階數、線性與否；若線性，指出齊次與常係數與否）：(a) \(y''' + t y' - y^2 = 0\) ；(b) \(e^t y'' + y = 0\) ；(c) \(y' + y^2 = t\) ；(d) \(y'' + (y')^3 + y = 0\) 。
- 證明：若 \(y_1, y_2\) 是 \(y'' + p(t) y' + q(t) y = 0\) 的解，則 \(y_1 + y_2\) 與 \(C y_1\) 也是解（以係數函數 \(p, q\) 的一般性直接展開驗證）。
- 舉一個非線性方程與兩個解 \(y_1, y_2\) ，使 \(y_1 + y_2\) 不是解（提示： \(y' = y^2\) ）。
- 求 \(y' = y^2\) 滿足 \(y(0) = 2\) 的解，並求其最大存在區間；解釋「爆破時間」的意義。
- 思考題：單擺方程 \(\ddot\theta + \frac{g}{L}\sin\theta = 0\) 中，若改問「擺角多大時線性化誤差超過 \(1\%\) ？」你會如何設計實驗或計算來回答？（可估 \(\sin\theta\) 與 \(\theta\) 的相對差。）
進階研讀：分類觀點的五個深化場景#
場景一：線性映射的抽象。把 \(L[y] = a_2 y'' + a_1 y' + a_0 y\) 視為函數空間到函數空間的線性算子，「齊次解全體 = \(L\) 的核空間」。這個觀點（十九世紀末成形，二十世紀由 Banach、Sobolev 等發揚）使「維數 = 階數」成為線性代數定理的推論：二階齊次方程的解空間是二維向量空間。第 4 章的 Wronskian 正是檢驗「兩解線性無關」的工具。
場景二：擾動展開。對「接近線性」的非線性方程，如 \(y'' + y + \varepsilon y^3 = 0\) （ \(\varepsilon\) 小，Duffing 方程 1918），可設 \(y = y_0 + \varepsilon y_1 + \varepsilon^2 y_2 + \cdots\) 逐階求解。這是天體力學（月球理論）、量子力學（微擾論）的通用技術；但其級數常發散（Poincaré 1890 年已警告），只能作漸近近似使用——非線性的「接近線性」是一刀兩刃。
場景三：自治方程為何特殊。 \(y' = f(y)\) （不含 \(t\) ）的方程，其向量場在狀態空間中靜止不變：今天畫出的流場明天仍然一樣。時間平移對稱使相平面分析（6.2 節）成為可能，也對應物理的能量守恆或耗散結構。非自治方程則可用增廣變數 \((t, y)\) 化回自治——這一招將在第 6 章反覆使用。
場景四：爆破與補全。 \(y' = y^2\) 的解在 \(t = 1\) 爆破，但若允許解取值於黎曼球面（把 \(\infty\) 當一點），解可以「穿過無窮大」延拓。這個視角（複分析 + 射影幾何）把爆破從「災難」變成「拓撲事件」，是 Riccati 方程複動力系統研究的起點（二十世紀數學）。
場景五：分類的歷史教訓。D'Alembert 1747 年把波方程 \(\ddot{u} = c^2 \ddot{x}\) 與常微分方程區分開來——偏微分方程自此自立門戶（第 9 章）。可見「分類」不是一次完成的：新的方程類型（偏微分、積分微分、隨機微分、時滯微分）不斷從物理中湧現，每一次都催生新理論。你今天學的分類，是三百年叠代修訂的版本。
補充：Bernoulli 方程提出時的歷史語境#
1695 年 Jacob Bernoulli 在《教師學報》（Acta Eruditorum）提出 \(y' = p(t) y + q(t) y^n\) ，並說「這超出我的能力，挑戰諸君」。1696 年 Leibniz 密信告知 Johann Bernoulli 代換法，Johann 隨即公開解法——兄弟鬩牆的背景使這樁「學術挑戰」火上加油。此事件顯示十七世紀末的學術生態：期刊 = 競技場，方程 = 挑戰書。今日的開放問題（如 Millennium Problems）延續同一文化。
補充：Riccati 方程與「知道一個解就夠了」#
Riccati 方程 \(y' = a + b y + c y^2\) 一般無初等解法（Liouville 1841 證明一般情形不可初等積分——這是「積分法有極限」的第一個嚴格結果，見 2.3 節）。但若已知一個特解 \(y_1\) ，令 \(y = y_1 + \frac{1}{u}\) ，方程化為一階線性。這個「降維打擊」策略在二階線性方程中再現：知道一個齊次解就能降階（4.1 節）。非線性理論的反覆母題：一個已知的特殊解，就是一把萬能鑰匙。
名詞速查表（本節出現的核心術語）#
- 階數：最高階導數的階。
- 線性 / 非線性： \(y\) 及其導數是否皆一次冪且不互乘。
- 齊次 / 非齊次：右端項 \(g(t)\) 是否恆為零。
- 常係數 / 變係數：係數是否為常數。
- 自治方程：不含自變數 \(t\) 的方程 \(y' = f(y)\) 。
- 疊加原理：齊次線性方程的解的線性組合仍是解。
- 爆破（blow-up）：解在有限時間趨於無窮。
- 線性化：以線性項近似非線性項的局部近似法。
- 漸近級數：項數越多未必越準、但在極限意義下逼近原函數的級數。
- 奇解：不屬於通解族的解。
年表速查（本節涉及的關鍵年份）#
- 1695：Jacob Bernoulli 提出 Bernoulli 方程。
- 1696：Johann Bernoulli（經 Leibniz 提示）解之。
- 1724：Riccati 方程由 Jacopo Riccati 研究。
- 1739–1750：Euler 建立線性常微分方程的系統理論。
- 1753：Daniel Bernoulli 疊加原理爭論。
- 1824：Cauchy 講義中建立存在性理論的先驅工作。
- 1841：Liouville 證明 Riccati 方程一般不可初等積分。
- 1876：Lipschitz 加強存在唯一性條件。
- 1890：Poincaré 論三體，警告微擾級數發散。
- 1918：Duffing 方程問世，非線性振動研究開端。
深化問答三則#
問：為什麼「線性」的定義要求導數不互乘，而不只是「畫出來是直線」？ 答：這是名詞的歷史遷移。初等數學的「線性」指圖像為直線（ \(y = ax + b\) ）；方程理論的「線性」指算子滿足 \(L[\alpha u + \beta v] = \alpha L[u] + \beta L[v]\) 。後者才承載疊加原理。順帶一提， \(y = ax + b\) 反而不滿足嚴格的線性（因 \(b\) 使 \(L[0] \neq 0\) ），稱為「仿射」——術語必須跟著結構走。
問：非線性方程一定無法求解嗎？ 答：不一定。有些可分離（1.3 節）、有些可化為線性（2.3 節）、有些有隱式解。真正的轉變在 Poincaré：當「求解」不可得，「理解解」成為替代目標——平衡點在哪、軌道是否穩定、有無週期運動。這個「定性理論」的範式轉移，是十九世紀末微分方程史最重要的事件（見 6.2、7.2 節）。
問：線性化何時是安全的？ 答：三個條件同時滿足才可靠：（1）偏離量小（ \(\theta\) 小於幾度）；（2）關注時間尺度不太長（誤差會累積）；（3）線性化後的系統不處於「臨界」狀態（如無阻尼共振，7.1 節——臨界處微小的非線性反而決定行為）。工程師的口訣：「線性化給趨勢，非線性定生死。」
（本節完）