跳轉到

1.2 FREDHOLM方程與行列式1903#

本章導言#

如果說 Volterra 把積分上限「移動」了，那麼 Erik Ivar Fredholm（1866–1927） 在 1903 年把它「釘死」：積分範圍取整個區間 \([a,b]\) ，方程變為

\[ \varphi(x) = f(x) + \lambda \int_a^b K(x,t)\,\varphi(t)\,dt. \]

這個看似微小的改動徹底改變了理論的面貌——譜現象出現了。Fredholm 並以驚人的洞察力，把無窮維積分方程完全比擬為有限維線性代數：他構造了一個「無窮維行列式」（Fredholm 行列式），使得解的存在性、唯一性、特徵值的角色，全部平行於 Cramer 法則的世界。本節追溯這一歷史上最成功的「有限維→無窮維」類比。

從 ODE 邊值問題到積分方程#

Fredholm 的動力來自 Sturm–Liouville 邊值問題。對二階 ODE

\[ -y'' + q(x)y = \lambda y, \qquad y(a) = y(b) = 0, \]

若取 \(G\) 為對應 Green 函數（1894 年 Green 思想的嚴格化），則邊值問題等價於積分方程

\[ \varphi(x) = \lambda \int_a^b G(x,t)\,\varphi(t)\,dt, \]

其中 \(G\) 對稱（ \(G(x,t) = G(t,x)\) ）且連續。這樣，「微分算子的特徵值問題」化為「積分算子的特徵值問題」，而後者中核是有界的具體函數——技術上容易得多。Green 函數把微分算子變成積分算子，是整個譜理論得以誕生的技術通道。

FREDHOLM 行列式#

Fredholm 的做法直接仿效有限維。把區間離散化為 \(n\) 個點，積分方程化為線性方程組 \((I - \lambda K_n)\varphi_n = f_n\) ；其解由 Cramer 法則給出，分母是 \(1\times1,\ 2\times2,\ldots\) 的行列式之和。Fredholm 讓 \(n \to \infty\) ，發現分母極限可以寫成積分級數：

\[ D(\lambda) = 1 + \sum_{n=1}^\infty \frac{(-\lambda)^n}{n!} \int_a^b \cdots \int_a^b \det\big[K(x_i, x_j)\big]_{i,j=1}^n\, dx_1\cdots dx_n. \]

這個 \(D(\lambda)\) 是 \(\lambda\) 的整函數（對一切複數 \(\lambda\) 收斂）。分子同樣有積分級數表達式 \(D(x,t;\lambda)\) （「第一子式」）。Fredholm 於 1903 年在 Acta Mathematica 發表三大定理：

定理（Fredholm 擇一，第一版）：設 \(K\) 連續， \(\lambda \neq 0\) 。 1. 若 \(D(\lambda) \neq 0\) ，則對每個 \(f\) 有唯一連續解，由 \(\varphi(x) = f(x) + \dfrac{\lambda}{D(\lambda)}\int_a^b D(x,t;\lambda) f(t)\,dt\) 給出（Fredholm 公式，即 Cramer 法則的無窮維版）。 2. 若 \(D(\lambda) = 0\) ，則齊次方程 \(\varphi = \lambda T\varphi\) 有非零解（特徵函數），且非齊次方程有解當且僅當 \(f\) 與所有伴隨齊次解正交。

\(D(\lambda)\) 的零點就是特徵值 \(\lambda\) 的倒數位置——行列式的零點=特徵值這個線性代數事實，在無窮維完整重現。

例題#

例題 1.2.1：對核 \(K(x,t) = xt\) 在 \([0,1]\) 上，直接解 Fredholm 方程 \(\varphi(x) = f(x) + \lambda\int_0^1 xt\,\varphi(t)\,dt\) ，並找出 \(D(\lambda)\) 的零點。

解：退化核！令 \(c = \int_0^1 t\varphi(t)\,dt\) ，則 \(\varphi(x) = f(x) + \lambda x c\) 。兩邊乘 \(x\) 積分：

\[ c = \int_0^1 x f(x)\,dx + \lambda c \int_0^1 x^2\,dx = F + \frac{\lambda c}{3}, \]

其中 \(F = \int_0^1 x f(x)\,dx\) 。故 \(c\,(1 - \lambda/3) = F\) 。

  • 若 \(\lambda \neq 3\) ： \(c = \dfrac{F}{1-\lambda/3}\) ，解唯一： \(\varphi(x) = f(x) + \dfrac{\lambda x F}{1 - \lambda/3}\) 。
  • 若 \(\lambda = 3\) ：需 \(F = 0\) 才有解（此時解不唯一：可加任意 \(x\) 的倍數）， \(x\) 正是特徵函數： \(3 \cdot \int_0^1 xt\,dt = 3x/2\) ？驗證： \(\int_0^1 xt\,dt = x/2 \neq x\) 。改驗特徵函數： \(\varphi \propto x\) 需 \(x = \lambda \frac{x}{2} \cdot\) ？ \(\int_0^1 t \cdot t\,dt = 1/3\) ，故 \(x = \lambda x/3 \Rightarrow \lambda = 3\) 。✓

\(D(\lambda) = 1 - \lambda/3\) ，零點 \(\lambda = 3\) ，與直接計算完全一致。∎

例題 1.2.2：驗證上述情形的 Fredholm 擇一： \(\lambda = 3\) 時，齊次伴隨方程的解為 \(\psi \propto x\) ，而非齊次方程有解當且僅當 \(\int_0^1 x f(x)\,dx = 0\) （即 \(f \perp \psi\) ）。

退化核與有限維化#

例題中的核 \(K(x,t) = xt\) 是退化核（finite-rank kernel）： \(K = \sum_{i=1}^n a_i(x)b_i(t)\) 。此時積分方程化為 \(n \times n\) 線性方程組，譜只有有限多個特徵值。一般連續核可被退化核一致逼近（Weierstrass—Stone 定理），這是 Fredholm 理論推廣的途徑，也是 5.2 節「逼近觀點」的歷史起點：

\[ K \xrightarrow{\text{一致}} K_n = \sum_{i=1}^{n} a_i b_i,\qquad \text{每個 } K_n \text{ 只有有限譜，} \]

而 \(T_{K_n} \to T_K\) 。無窮維譜（無窮多特徵值 + 極限點 \(0\) ）正是「有限維近似列的極限」。

FREDHOLM 的時代處境#

Fredholm 是 Mittag-Leffler 的學生，在斯德哥爾摩任職。他 1900 年前後研究位勢論的 Dirichlet 問題：Laplace 方程的邊值問題是否永遠可解？ Poincaré 已用「掃散法（balayage）」給出部分答案；Fredholm 發現 Dirichlet 問題的積分方程形式（第二類）可用其行列式理論一舉解決——當邊界曲面「足夠好」時 \(D(1) \neq 0\) ，問題可解。這是積分方程的第一個重大勝利：一個困擾了半個世紀的分析問題，被線性代數的類比解決。

Hilbert 在 Göttingen 得知 Fredholm 的工作後，於 1904–1910 年間帶領學派展開了對積分方程的系統研究（下節），並說過：Fredholm 的理論「必須以更內在的方式重建」。

歷史啟示#

  • 成功的類比是數學進步的引擎：Fredholm 行列式不是「類比修辞」，而是可計算、可證明的精確對應：行列式↔整函數、Cramer 法則↔Fredholm 公式、伴隨矩陣正交條件↔擇一正交條件。
  • 整函數的零點結構承載譜： \(D(\lambda)\) 至多可數零點、在複平面上無有限聚點——這個事實預告了「緊算子的非零譜至多可數、聚點只能是 \(0\) 」（6.2 節）。
  • 正交條件初現：「有解當且僅當與伴隨齊次解正交」是 Riesz 表示定理（3.1）與閉值域定理的歷史源頭。

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

  • 1.1 節：Volterra（變動上限）與 Fredholm（固定上限）的對照，是「無譜 vs 有譜」的第一組實驗數據。
  • 1.3 節：Hilbert 把 Fredholm 的行列式理論改寫為二次型與座標變換的語言，譜概念由此誕生。
  • 第 5 章：連續核的積分算子是緊算子的原型；Fredholm 擇一定理在 5.3 節獲得算子式的現代證明。
  • 第 6 章：對稱核 \(G(x,t)=G(t,x)\) 的特徵值全為實數、特徵函數構成正交基——Hilbert–Schmidt 定理的直接對象。
  • 偏微分方程：Dirichlet 問題、特徵值問題（鼓膜振動）經由 Green 函數化為 Fredholm 理論；Laplace 算子的譜（Weyl 定律，1911）是數理物理的基石。
  • 量子力學：Schrödinger 方程的束縛態問題正是「對稱核 Fredholm 方程」：特徵函數=能量本徵態。

練習#

  1. 對退化核 \(K(x,t) = x + t\) 在 \([0,1]\) ，寫出對應的 \(2\times 2\) 線性方程組，求特徵值，並與 Fredholm 行列式 \(D(\lambda)\) 的零點比對。
  2. 證明：對稱連續核的積分算子，其一切特徵值為實數。（提示： \(\lambda\|\varphi\|^2 = \langle \varphi, T\varphi\rangle\) 取實值。）
  3. 證明退化核積分算子的值域是有限維空間，因此 Fredholm 擇一退化為有限維線性代數。
  4. 設 \(K(x,t) = \min(x,t)\) 在 \([0,1]\) 。證明積分方程 \(\varphi = \lambda T \varphi\) 等價於 \(-\varphi'' = \lambda \varphi\) 、 \(\varphi(0)=\varphi(1)=0\) ，求出全部特徵值與特徵函數。
  5. 思考題：為什麼 Fredholm 行列式是整函數而有限維特徵多項式是多項式？兩者的零點分別在複平面上如何分布？

進階研讀：三個深化場景#

場景一：Fredholm 行列式的現代身世——determinant line。Grothendieck（1950 年代）與 Quillen 將 Fredholm 行列式重新詮釋為「Fredholm 算子的行列式線叢」，成為指標定理（Atiyah–Singer, 1963）的拓撲基礎之一。Fredholm 1903 年的計算對象，在 20 世紀後期成為 K 理論的幾何對象。

場景二：Fredholm 行列式與隨機矩陣。對對稱核， \(D(\lambda)\) 可展為 \(\prod_k (1 - \lambda/\lambda_k)\) （Hadamard 因子分解）。在隨機矩陣理論中，Tracy–Widom 分配（1994）的核心量正是 Airy 核的 Fredholm 行列式 \(\det(I - z\,K_{\text{Airy}})\) ——積分方程的遺產直接進入了隨機過程的統計結構。

場景三：從 Fredholm 到 Riesz–Schauder。Fredholm 的證明依賴具體的行列式計算；F. Riesz（1918） 與 Schauder（1930） 將其重寫為算子理論：緊算子 + 恆等 = Fredholm 算子，擇一定理對一切緊擾動成立（5.3 節）。這條「從計算到概念」的路，正是本書的主線：Fredholm 給出答案，Banach–Riesz 學派給出語言。

名詞速查表#

  • Fredholm 方程（第二類）： \(\varphi(x) = f(x) + \lambda\int_a^b K(x,t)\varphi(t)\,dt\) 。
  • Fredholm 行列式：整函數 \(D(\lambda) = \sum_n \frac{(-\lambda)^n}{n!}\int\!\cdots\!\int \det[K(x_i,x_j)]\) 。
  • Fredholm 公式：解的比式表達 \(\varphi = f + \frac{\lambda}{D(\lambda)}\int D(x,t;\lambda) f(t)dt\) （Cramer 法則的無窮維版）。
  • 退化核： \(K(x,t) = \sum_{i=1}^n a_i(x) b_i(t)\) ，對應有限秩算子。
  • Green 函數：把微分算子化為積分算子的核， \(T_G = A^{-1}\) 。

年表速查#

  • 1828：Green 提出 Green 函數思想。
  • 1836：Sturm–Liouville 理論建立。
  • 1890：Poincaré 掃散法研究 Dirichlet 問題。
  • 1900：Fredholm 開始研究積分方程。
  • 1903：Fredholm 發表《Sur une classe d'équations fonctionnelles》，行列式理論問世。
  • 1904–1906：Hilbert 學派重建並推廣該理論（下節）。
  • 1918：F. Riesz 給出緊算子的公理化譜理論。
  • 1930：Schauder 理論，Fredholm 算子的現代定義。
  • 1963：Atiyah–Singer 指標定理，Fredholm 算子成為拓撲對象。

深化問答三則#

問：Fredholm 為什麼想到「無窮維行列式」？ 答：他是從 Hilbert 在數值上研究過的「雙無窮線性方程組」出發的。將積分方程離散化後，Cramer 法則的分母是 \(n\) 階行列式之和 \(\sum \frac{(-\lambda)^k}{k!} \sum \det[\ldots]\) ；當 \(n\to\infty\) ，Fredholm 用精緻的組合論證（交錯求和的可積性）證明極限存在。這是「取極限前先寫出有限維公式」方法的典範——後來 Hilbert 的 \(l^2\) 理論、von Neumann 的 Hilbert 空間公理，都是同一方法論的重複。

問：Fredholm 擇一中的「正交條件」從哪裡來？ 答：來自伴隨矩陣的經典事實： \(Ax=b\) 有解當且僅當 \(b\) 與 \(A^* y = 0\) 的一切解正交。Fredholm 行列式理論自動產生了這個條件的無窮維版本。到 Hilbert 手中，「正交」以二次型語言呈現；到 Riesz 表示定理（3.1），「正交」獲得幾何意義，擇一定理於是有了一勞永逸的證明。

問： \(D(\lambda)\neq 0\) 的「好參數集」有多大？ 答： \(\lambda\) 的補集是離散集（ \(D\) 的零點無有限聚點），因此在實軸上零測度。「幾乎所有 \(\lambda\) 都可解」是泛函分析中的普遍現象（預解集開且稠密，4.1 節），但物理上有意義的恰是那個零測度集——能級。

（本節完）