跳轉到

4.1 疊加原理與 Wronskian#

本章導言#

二階線性齊次方程

\[ y'' + p(x)\, y' + q(x)\, y = 0 \]

的理論是全書結構最優雅的部分：兩個線性無關的解生成全部解，而「線性無關」的判準是一個行列式——Wronskian。這套理論誕生於 1760–1810 年間，由 Lagrange 與波蘭—斯洛伐克裔哲學家—數學家 Józef Maria Hoëne-Wroński（朗斯基，1776–1853） 的工作定型。本節建立疊加原理的完整版本、解空間的維數定理，並講述 Wronskian 的恆等式（Abel 定理）與它驚人的實用後果：不用知道解，就能判斷解的行為。

解空間：一個二維向量空間#

疊加原理（完整版）：設 \(p, q\) 在區間 \(J\) 上連續， \(y_1, y_2\) 是齊次方程的解。則 \(C_1 y_1 + C_2 y_2\) （任意常數）也是解。更強的：

定理（解空間結構）：齊次二階線性方程在 \(J\) 上的解全體 \(S\) 構成二維向量空間。

證明骨架：疊加與純量倍顯然（直接展開），故 \(S\) 是向量空間。取初值基底：定義 \(u\) 為滿足 \(u(x_0) = 1, u'(x_0) = 0\) 的解、 \(v\) 為 \(v(x_0) = 0, v'(x_0) = 1\) 的解（存在唯一，由 3.2 節）。則任意解 \(y\) （初值 \(y(x_0) = a, y'(x_0) = b\) ）滿足

\[ y = a\, u + b\, v, \]

（兩邊初值一致，由唯一性相等。）故 \(\{u, v\}\) 張成 \(S\) ，且線性無關（若 \(Au + Bv = 0\) ，取 \(x = x_0\) 得 \(A = 0\) 、 \(B = 0\) ）。 \(\dim S = 2\) 。∎

「階數 = 維數」 在此獲得嚴格證明（1.1 節的經驗法則兌現）。這個證明的聰明處在用初值條件直接製造基底——先造出 \(\delta\) 函數式的兩個解，再讓它們當積分基。

Wronskian：線性無關的偵測器#

定義：對兩個可微函數 \(y_1, y_2\) ，

\[ W(y_1, y_2)(x) = \begin{vmatrix} y_1 & y_2 \\ y_1' & y_2' \end{vmatrix} = y_1 y_2' - y_2 y_1'. \]

定理： \(y_1, y_2\) 是齊次方程在 \(J\) 上的解，則下列等價：

  1. \(\{y_1, y_2\}\) 線性無關（於是構成解空間的基底，通解 \(y = C_1 y_1 + C_2 y_2\) ）；
  2. \(W(y_1, y_2)(x) \neq 0\) 在某一點 \(x_0 \in J\) 成立（則在全部 \(J\) 上成立）；
  3. \(W\) 在 \(J\) 上處處非零。

「一點非零 ⇒ 處處非零」的奇蹟來自：

Abel 定理：Wronskian 的宿命方程#

Abel 恆等式： \(y_1, y_2\) 為 \(y'' + p y' + q y = 0\) 的解，則

\[ W'(x) = -p(x)\, W(x) \qquad\Longrightarrow\qquad W(x) = W(x_0)\, e^{-\int_{x_0}^{x} p(t)\, dt}. \]

證明：對 \(W = y_1 y_2' - y_2 y_1'\) 求導：

\[ W' = y_1' y_2' + y_1 y_2'' - y_2' y_1' - y_2 y_1'' = y_1 y_2'' - y_2 y_1''. \]

（二階項交叉相消——這是 Wronskian 的魔法時刻。）用方程把二階導換掉： \(y_i'' = -p y_i' - q y_i\) ，代入：

\[ W' = y_1(-p y_2' - q y_2) - y_2(-p y_1' - q y_1) = -p\,(y_1 y_2' - y_2 y_1') = -p\, W. \]

這是 \(W\) 的一階線性方程，解得指數式。∎

三個直接推論：

  1. ** \(W\) 要麼恆零、要麼永非零**——沒有中間狀態。判線性無關只需查一點。
  2. 指數函數的壟斷： \(W\) 永遠是 \(e^{-\int p}\) 型，符號不變、零點不生不滅。
  3. 獲取第二個解的公式：若已知一解 \(y_1\) （且 \(W \neq 0\) ），由 \(W = y_1 y_2' - y_1' y_2 = W_0 e^{-\int p}\) 解 \(y_2\) ：
\[ y_2 = y_1 \int \frac{e^{-\int p\, dx}}{y_1^2}\, dx. \qquad \text{（降階法 / reduction of order）} \]

「知道一個解，就買一送一」——2.3 節 Riccati 特解法的親戚。

歷史注記：恆等式由 Niels Henrik Abel（阿貝爾，1802–1829） 在 1827 年的積分方程論文中導出（他二十六歲死於肺結核，留下群論、橢圓函數與這條恆等式）；Wronskian 的概念由 Wroński 1812 年提出，系統應用歸功於其後的德國學派。Wroński 一生多爭議（他自視為哲學革命家，晚年窮困），但行列式判準以他命名不朽——數學史記住名字的方式，常與傳記的榮辱無關。

Wronskian 的陷阱：非解函數的 Wronskian 可以搗亂#

\(W \neq 0 \Rightarrow\) 線性無關（一般可微函數也對，因 \(W = 0\) 是線性相關的結果之一……精確地說： \(W \equiv 0\) 且 \(y_1, y_2\) 可微不保證相關，除非兩者同為某二階線性 ODE 的解）。經典反例：

\[ y_1 = x^2, \qquad y_2 = x\, |x| \quad (\mathbb{R} \text{ 上}). \]

\(y_2 = x^2\) （ \(x \ge 0\) ）、 \(-x^2\) （ \(x < 0\) ），處處可微。可算 \(W \equiv 0\) ，但 \(y_1, y_2\) 線性無關（ \(y_2/y_1 = \pm 1\) 不是常數）。教訓：Wronskian 判準的適用範圍是「同方程的解」——理論工具都有護照，出國就失效。

一個具體例題#

例題 4.1.1：已知 \(y_1 = \sin x\) 是 \(y'' + y = 0\) 的解，用降階法求第二個解；再用 Abel 恆等式獨立驗證；最後確認 \(\{\sin x, \cos x\}\) 是解空間基底。

解：

降階法： \(p = 0\) ， \(q = 1\) 。公式給

\[ y_2 = \sin x \int \frac{e^{0}}{\sin^2 x}\, dx = \sin x \int \csc^2 x\, dx = \sin x \cdot (-\cot x) = -\cos x. \]

故 \(y_2 = \cos x\) （丟掉負號，純量倍仍是解）。

Abel 驗證： \(W(\sin, \cos) = \sin x (\cos x)' - \cos x (\sin x)' = \sin x (-\sin x) - \cos x (\cos x) = -(\sin^2 + \cos^2) = -1 \neq 0\) 恆成立；且 \(W' = 0 = -p W\) （ \(p = 0\) ）✓。非零 Wronskian ⇒ 基底 ⇒ 通解

\[ y = C_1 \sin x + C_2 \cos x. \]

初值視角覆核（解空間定理）： \(u\) （ \(u(0) = 0, u'(0) = 1\) ） \(= \sin x\) ； \(v\) （ \(v(0) = 1, v'(0) = 0\) ） \(= \cos x\) 。任意解 \(y = y(0) v + y'(0) u\) ——每一條弦的振動，都是「初始位置 \(\cos\) 」與「初始速度 \(\sin\) 」的線性調酒。

歷史評註：這正是 1753 年 Daniel Bernoulli 疊加爭論的核心案例：他主張弦振動是無窮多簡正模式的疊加（每個模式即一個 \(\sin\) 型解），d'Alembert 與 Euler 質疑疊加能否覆蓋「一般」函數。二維解空間的現代理論給出最終裁決：對固定的二階方程，疊加不折不扣地窮盡所有解；爭論的真正難點在偏微分方程（無窮多模式）——那要到 Fourier（1807）才解決（9.1 節）。

歷史啟示#

  • 結構先於計算：先證「解空間是二維向量空間」，具體解法（4.2、5.1 節）才有的放矢——找兩個線性無關解就完工。
  • 一點定全域：Abel 恆等式把「全域線性無關」壓縮為「一點非零」，指數形式 \(e^{-\int p}\) 再次顯示指數函數是線性理論的母語。
  • 工具的護照制度：Wronskian 判準在「同方程的解」內有效，出界即失效。記住每個定理的適用域，比記住定理本身更重要。

與其他章節及領域的關聯#

  • 2.3 節：降階法是「一個特解開萬鎖」的線性版本。
  • 4.2 節：常係數情形用特徵方程直接產生線性無關解對。
  • 4.3 節：參數變異法需要 Wronskian（其公式中 \(W\) 出現於分母，Abel 恆等式使它顯式可算）。
  • 5.1 節：變係數方程的冪級數解，以 Wronskian 驗證兩解無關。
  • 5.2、5.3 節：Legendre 與 Bessel 函數的 Wronskian 是特殊函數論的標準恆等式。
  • 6.1 節：一階系統的解矩陣行列式滿足 Liouville 公式（Abel 恆等式的系統版）。
  • 線性代數：解空間的維數定理是「線性映射核的維數」觀點的具體化； \(L[y] = 0\) 的核是二維。
  • 物理：量子力學中兩個線性無關解的 Wronskian 守恆性（ \(p = 0\) 時 \(W\) = 常數）用於檢驗數值波函數的正確性。

練習#

  1. 驗證 \(y_1 = e^{x}\) 、 \(y_2 = e^{-x}\) 是 \(y'' - y = 0\) 的解，算其 Wronskian，並寫出通解。
  2. 已知 \(y_1 = x\) 是 \(x^2 y'' - 2x y' + 2 y = 0\) （ \(x > 0\) ）的解，用降階法求 \(y_2\) ，並用 Abel 恆等式（注意先化標準型）核對。
  3. 證明：若 \(W(y_1, y_2)(x_0) \neq 0\) ，則 \(y_1, y_2\) 在含 \(x_0\) 的區間上線性無關（用「假設 \(A y_1 + B y_2 = 0\) ，求導後聯立，係數矩陣即 Wronskian」）。
  4. 對 \(y_1 = x^2\) 、 \(y_2 = x|x|\) ，計算 \(W \equiv 0\) 但兩函數線性無關；解釋為何這不違反 Abel 定理（檢查它們是否為某連續係數二階方程的解）。
  5. 思考題：疊加原理說齊次解的組合仍是解。請用解空間定理解釋：為什麼二階方程「需要且只需要」兩個初始條件（ \(y(x_0), y'(x_0)\) ）就能唯一確定解？（連接 1.1、3.2 節。）

進階研讀：解空間理論的五個深化場景#

場景一：Liouville 公式（系統版 Abel）。一階系統 \(\mathbf{y}' = A(x) \mathbf{y}\) 的基本矩陣 \(X(x)\) 滿足

\[ \det X(x) = \det X(x_0)\, \exp\!\left(\int_{x_0}^{x} \operatorname{tr} A(t)\, dt\right). \]

\(n\) 階方程化為系統後（6.1 節）， \(p(x)\) 正是伴隨矩陣的跡——Abel 恆等式是它的 \(n = 2\) 特例。矩陣的跡控制行列式——這個線性代數事實在微分方程中化身為「阻尼控制解體積」的物理圖像（6.2 節相空間收縮）。

場景二：自伴形式與 Sturm–Liouville 理論。把方程乘積分因子 \(\mu = e^{\int p}\) ：

\[ \big(\mu\, y'\big)' + \mu\, q\, y = 0. \]

這是自伴形式——1836–1837 年 Jacques Sturm（1803–1855）與 Joseph Liouville 聯袂建立的理論由此出發：特徵值實數、特徵函數正交、零點交錯（Sturm 分離定理：兩個線性無關解的零點互相交錯）。這套理論是量子力學的數學骨架，9.1 節的分離變數是它的應用開端。

場景三：Sturm 比較定理。若 \(q_1(x) \le q_2(x)\) ，則 \(y'' + q_2 y = 0\) 的解振盪不慢於 \(y'' + q_1 y\) 的解。直觀：勁度越大，振得越快。由此可證 \(y'' + x^{-1} y = 0\) （ \(x \to \infty\) ）振盪而 \(y'' - x^{-1} y = 0\) 不振盪。不解方程，就能數出零點——Sturm 1836 年的這一思想是定性理論（第 6、7 章）的先聲。

場景四：非齊次方程的 Green 函數。非齊次 \(L[y] = g\) 的解可寫成

\[ y(x) = \int G(x, \xi)\, g(\xi)\, d\xi, \]

其中 \(G\) 是以 Wronskian 表出的Green 函數（1828 年 George Green 的位勢論文）。 \(G(x, \xi) = \frac{y_1(\xi) y_2(x) - y_1(x) y_2(\xi)}{W(\xi)}\) （帶邊界條件修正）——Wronskian 是「點源響應」的核算單位，量子力學的傳播子（propagator）即其量子版。

場景五：離散版本——Casoratian。差分方程 \(y_{n+2} + p_n y_{n+1} + q_n y_n = 0\) 的解也有疊加與線性無關理論，判準是 Casoratian（1870s）。數值方法（10.1 節）產生的遞推式正是離散 ODE，其穩定性分析（如 Bessel 函數的向前/向後遞推選擇）直接用到解空間理論——連續與離散的解空間理論是雙胞胎。

補充：Abel 的短暫一生與多重遺產#

Niels Henrik Abel，挪威牧師之子，貧困中完成橢圓函數論與五次方程不可解性證明（1824，自費印行，幾乎無人讀到），1829 年死於肺結核，年二十六；兩天後柏林大學的聘書寄到。他留下的遺產：阿貝爾群、阿貝爾積分、阿貝爾收斂判準、本節的 Wronskian 恆等式。微積分與微分方程的很多「常識」，是天才在生命最後一年倉促留下的——後由 Crelle 主辦的期刊（1826 創刊）整理傳播。

補充：Wroński 的傳記荒原#

Józef Hoëne-Wroński 的職業經歷橫跨軍官、哲學家、經濟顧問（在波蘭建國計畫中破產）、鐘錶匠。他宣稱自己發明了「宇宙的絕對哲學」，批評者（包括 Arago）視其為偏執狂；但他的行列式與級數展開技巧是真材實料。今日數學文獻中「Wronskian」的拼法（不帶口音的 H）來自德國學派的轉寫。名字進入定理的人，未必是定理的完成者——判準的實際威力是 Lagrange 與德國學派在其框架內開發的。

名詞速查表（本節出現的核心術語）#

  • 疊加原理：齊次解的線性組合仍是解。
  • 解空間：齊次方程全部解構成的向量空間，維數 = 階數。
  • Wronskian： \(W = y_1 y_2' - y_2 y_1'\) ，線性無關判準。
  • Abel 恆等式： \(W' = -p W\) ， \(W = W_0 e^{-\int p}\) 。
  • 降階法：已知一解求第二解的公式。
  • 線性無關： \(C_1 y_1 + C_2 y_2 = 0 \Rightarrow C_1 = C_2 = 0\) 。
  • 自伴形式： \((\mu y')' + \mu q y = 0\) ，Sturm–Liouville 理論的起點。
  • Sturm 分離定理：兩線性無關解的零點交錯。
  • Sturm 比較定理：勁度大者振盪快。
  • Green 函數：點源響應函數，用 Wronskian 表出。

年表速查（本節涉及的關鍵年份）#

  • 1753：Daniel Bernoulli 疊加原理爭論。
  • 1760s：Lagrange 建立線性方程解的結構理論。
  • 1812：Wroński 提出行列式判準。
  • 1827：Abel 導出 Wronskian 恆等式。
  • 1828：Green 函數。
  • 1836–37：Sturm–Liouville 理論。
  • 1873：Casoratian（離散版）。
  • 1920s：量子力學中 Wronskian 與傳播子的標準化。

深化問答三則#

問：為什麼「 \(W\) 在一點非零」就推出「處處非零」？ 答：因為 Abel 恆等式說 \(W\) 是一個從不為零的指數函數的倍數： \(W(x) = W(x_0) e^{-\int p}\) ，而指數函數恆正。換言之， \(W\) 的零點集合要麼空、要麼全直線——它連「在單點碰零」的自由都沒有。這是「解的性質由一階宿命方程決定」的又一例（呼應 1.3 節「宿命方程」精神）。

問：疊加原理對非線性方程「徹底失效」嗎？ 答：一般失效，但有精緻的例外：可積系統（KdV 方程 1895，Zabusky–Kruskal 1965 的孤立子）中，解的「相互作用後恢復原形」被戲稱為非線性疊加——實際機制是 Bäcklund/Darboux 變換（2.3 節場景五）。非線性世界的「準疊加」是二十世紀數學物理最迷人的發現之一，但它是結構性的，不是原理性的。

問：通解 \(C_1 y_1 + C_2 y_2\) 中兩個常數，與「二階需要兩個初始條件」是同一件事嗎？ 答：正是，且是精確的同一件事：解空間二維 \(\Leftrightarrow\) 初值 \((y_0, y_0')\) 與解一一對應（映射 \((a, b) \mapsto a u + b v\) 是線性同構）。1.1 節的經驗法則、3.2 節的存在唯一、本節的維數定理，是同一結構的三種語言（力學、分析、代數）。好的數學，一個事實穿三件衣服。

（本節完）