跳轉到

1.1 Volterra 與 Fredholm 積分方程 1899–1903#

本章導言#

泛函分析的故事不在抽象的公理體系中開始，而在一個非常具體的問題上：如何解積分方程？ 1890 年代，義大利數學家 Vito Volterra 與瑞典數學家 Erik Ivar Fredholm 先後研究形如

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

的方程。表面上這只是線性代數的積分版，但為了處理它，數學家被迫把一整個函數當作一個「點」、把積分算子當作一個「矩陣」——無窮維空間的思想由此誕生。本節講述這段從「方程」走向「空間」的歷史。

Volterra：從力學到積分方程#

Vito Volterra（維托·沃爾泰拉，1860–1940） 是義大利最負盛名的分析學家之一。他十八歲進入比薩高等師範學院，博士論文（1879）已涉及流體力學。1890 年前後，他在研究某些力學問題（如固定在彈性支座上的細棒振動）時，遇到如下形式的方程：

\[ f(s) = \int_a^s K(s,t)\,\varphi(t)\,dt, \]

積分上限就是變數 \(s\) 本身。Volterra 意識到：傳統的微分方程技巧在此失效，因為這是含無窮多自由度的方程。他注意到一個關鍵事實：這類方程可以透過逐次代入（後來的逐次逼近法）求解，而且核 \(K\) 稍加正則性假設，迭代級數就對一切 \(\lambda\) 收斂——這與後來 Fredholm 的情形截然不同。

Volterra 的深遠貢獻還在於術語：他率先使用「泛函」（funzionale，function of a function）一詞，指稱「以函數為自變量的函數」。例如

\[ J[\varphi] = \int_a^b \big(\varphi(t)^2 + \varphi'(t)^2\big)\,dt \]

不是某點的函數，而是整條曲線 \(\varphi\) 的函數。變分法研究的就是泛函的極值——Volterra 認為，未來的分析學應當建立一套「函數空間的幾何」，讓泛函如同函數一樣可微、可展開。這個預言在三十年後全部應驗。

Volterra 積分方程的逐次逼近解法#

考慮第二類 Volterra 方程

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

設 \(|K(s,t)| \le M\) 在三角形區域 \(\{a \le t \le s \le b\}\) 上成立， \(|f| \le m\) 。定義迭代

\[ \varphi_0 = f, \qquad \varphi_{n+1}(s) = f(s) + \lambda \int_a^s K(s,t)\,\varphi_n(t)\,dt. \]

以歸納法估計第 \(n\) 項誤差：若 \(|\varphi_n - \varphi_{n-1}| \le \dfrac{m |\lambda|^n M^n (s-a)^n}{n!}\) ，則

\[ |\varphi_{n+1} - \varphi_n| \le |\lambda| \int_a^s |K(s,t)|\,\frac{m |\lambda|^n M^n (t-a)^n}{n!}\,dt \le \frac{m |\lambda|^{n+1} M^{n+1} (s-a)^{n+1}}{(n+1)!}. \]

階乘 \(n!\) 是壓倒性的：級數 \(\sum \dfrac{(|\lambda| M (b-a))^n}{n!} = e^{|\lambda| M (b-a)}\) 對一切 \(\lambda\) ** 收斂。因此 Volterra 方程對任何參數值都有唯一連續解——這個「無條件收斂」的性質，正是 Volterra 算子後來被歸為擬冪零**（譜只含 \(0\) ）的先聲。

Fredholm：1900–1903 的決定性突破#

Erik Ivar Fredholm（埃里克·伊瓦爾·弗雷德霍爾姆，1866–1927） 是瑞典人，任職於斯德哥爾摩的保險公司（精算師出身！），同時在烏普薩拉大學研究。1900 年他完成關鍵論文，1903 年在《Acta Mathematica》發表《關於一類積分方程》（Sur une classe d'équations fonctionnelles）。他研究的方程積分範圍固定：

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

Fredholm 的天才之舉是把積分方程看成有限維線性方程組的極限。把 \([a,b]\) 分成 \(n\) 小段，令 \(t_j\) 為分點，積分以 Riemann 和近似，方程化為

\[ \varphi(s_i) = f(s_i) + \frac{\lambda}{n} \sum_{j=1}^{n} K(s_i, t_j)\,\varphi(t_j), \]

這是 \(n \times n\) 線性組 \(\varphi = f + \frac{\lambda}{n} A \varphi\) 。對有限維組，Cramer 法則與伴隨矩陣理論告訴我們一切：解存在唯一的條件是行列式不為零。Fredholm 的問題是：令 \(n \to \infty\) ，這些有限維結論還剩下什麼？

Fredholm 行列式與二擇一#

Fredholm 仿照矩陣理論，定義了無窮維版的行列式——Fredholm 行列式：

\[ D(\lambda) = 1 + \sum_{n=1}^{\infty} \frac{(-\lambda)^n}{n!} \int_a^b \cdots \int_a^b \det\!\big(K(s_i, s_j)\big)_{i,j=1}^{n} \, ds_1 \cdots ds_n, \]

以及類似的伴隨行列式 \(D(s,t;\lambda)\) 。他證明（在核連續的條件下）：

  1. \(D(\lambda) \neq 0\) 時，方程對任意 \(f\) 有唯一連續解，且解為 $$ \varphi(s) = f(s) + \frac{\lambda}{D(\lambda)} \int_a^b D(s,t;\lambda)\, f(t)\, dt. $$
  2. \(D(\lambda) = 0\) 時，齊次方程 \(\varphi = \lambda \int K \varphi\) 有非零解（特徵函數），且其個數有限；此時原方程可解當且僅當 \(f\) 與所有伴隨齊次方程的解正交（ \(\int_a^b f(t)\,\psi(t)\,dt = 0\) ）。

第 2 條就是Fredholm 二擇一（見 7.3 節）：不是「對一切 \(f\) 唯一可解」，就是「齊次方程有非零解」——兩種情況窮盡一切可能，毫無中間地帶。這與有限維線性代數的理論一字不差地平行。

Fredholm 還指出一個深刻的對稱性：特徵值 \(\lambda\) 在複平面上是離散的，只能以 \(0\) 為唯一可能的聚點——這是「緊算子譜理論」的第一個定理（7.1、7.2 節）。

Hilbert 的接棒：從方程到空間#

Fredholm 的工作立刻震動了 David Hilbert（大衛·希爾伯特，1862–1943）。1904–1910 年間，Hilbert 在哥廷根以六篇《線性積分方程的一般理論》講義系列重構了整個理論。Hilbert 的關鍵轉變是視角的顛倒：

Fredholm 的觀點 Hilbert 的觀點
研究一個方程 \(\varphi = f + \lambda K\varphi\) 研究一族算子 \(\lambda K\) 在整個「函數系統」上的行為
函數是方程的未知對象 函數是某個無窮維空間中的「點」，可用座標 \(\left(\int \varphi x_k\right)_k\) 標定
行列式 \(D(\lambda)\) 是主角 標量積 \(\int_a^b \varphi(t)\psi(t)\,dt\) 是主角
逐個解方程 先建空間結構，再談算子

Hilbert 引入記號 \((\varphi, \psi) = \int_a^b \varphi(t)\psi(t)\,dt\) 作為「內積」的雛形，並以平方可積條件 \(\int_a^b \varphi^2 < \infty\) 劃定他的宇宙——後來的 \(L^2\) 空間（見 1.2 節）。他指出 Fredholm 二擇一中的正交條件正是有限維 \(\mathbb{R}^n\) 中「向量與子空間正交」的推廣。幾何取代了行列式，成為無窮維理論的組織原則。

有趣的是，Hilbert 始終堅持用連續函數與一致收斂的語言，對 Lebesgue 的測度論保持距離（他認為「平方可積」應當逐點定義）。把 \(L^2\) 空間完整建立的，是他的學生 Erhard Schmidt（埃哈德·施密特，1876–1959）（1907，幾何正交理論）與匈牙利人 Frigyes Riesz（弗里傑什·里茨，1880–1956）（1907，證明 \(L^2\) 的完備性與 Riesz–Fischer 定理）。

為什麼積分方程如此重要？#

今日讀者可能會問：為何這些先驅不研究微分方程，而執著於積分方程？歷史答案有三層：

  1. 積分算子是「好」算子：微分算子把光滑函數變得粗糙，而積分算子 \(K\varphi(s) = \int K(s,t)\varphi(t)dt\) 把任意可積函數抹平為連續函數——它把無窮維空間中的集合映到「幾乎緊」的集合。這一平滑性正是後來「緊算子」概念（4.3 節）的經驗來源，而緊算子的理論最為優美完整。
  2. 積分形式統一了邊值問題：Sturm–Liouville 問題（二階常微邊值問題）的 Green 函數把微分方程 \(Lu = f\) 轉成積分方程 \(u = \int G f\) ，特徵值問題隨之而來。Rayleigh（1873）與 Poincaré 研究的振動與熱傳導，最終都匯入積分方程。
  3. 它們是量子力學的語言：1925 年後，Schrödinger 方程的本徵值問題就是 Sturm–Liouville 型積分方程，Hilbert 的理論早已備好武器（10.2 節）。

一個具體例題#

例題 1.1.1：用逐次逼近法解 Volterra 方程

\[ \varphi(s) = 1 + \lambda \int_0^s \varphi(t)\,dt, \qquad 0 \le s \le 1, \]

並與直接微分求得的解比較。

解：此處 \(K(s,t) \equiv 1\) ， \(f(s) = 1\) 。取 \(\varphi_0 = 1\) ：

\[ \varphi_1(s) = 1 + \lambda\int_0^s 1\,dt = 1 + \lambda s, \]
\[ \varphi_2(s) = 1 + \lambda \int_0^s \left(1 + \lambda t\right) dt = 1 + \lambda s + \frac{\lambda^2 s^2}{2}, \]

歸納可得

\[ \varphi_n(s) = \sum_{k=0}^{n} \frac{(\lambda s)^k}{k!}. \]

（驗證： \(\varphi_{n+1}(s) = 1 + \lambda\int_0^s \sum_{k=0}^{n}\frac{(\lambda t)^k}{k!}dt = 1 + \lambda \sum_{k=0}^{n} \frac{\lambda^k s^{k+1}}{(k+1)!} = \sum_{k=0}^{n+1}\frac{(\lambda s)^k}{k!}\) 。）

令 \(n \to \infty\) ：

\[ \varphi(s) = e^{\lambda s}. \]

驗證：對 \(\varphi(s) = e^{\lambda s}\) 求導得 \(\varphi'(s) = \lambda e^{\lambda s}\) ，且 \(\varphi(0) = 1\) 。將原方程兩邊求導： \(\varphi'(s) = \lambda \varphi(s)\) ，初值 \(\varphi(0) = 1\) 。兩者一致，且解唯一。注意級數 \(\sum \frac{|\lambda|^k}{k!}\) 對一切 \(\lambda\) 收斂——正是 Volterra 理論「無條件收斂」的具體展現。

歷史啟示#

  • 具體問題孕育抽象理論：泛函分析不是先驗的公理遊戲，而是為了統一解積分方程才被迫創造的。「無窮維空間」這個概念在 1900 年前後從工程般的計算中自然浮現。
  • 有限維是無窮維的羅盤：Fredholm 把有限維線性代數（行列式、伴隨、二擇一）作為模板推向無窮維；凡是這個策略成功之處（緊算子），理論都格外優美；失敗之處（一般有界算子）則迫使數學家發明全新工具（譜定理、算子代數）。
  • 精算師的勝利：Fredholm 在保險公司工作期間完成了一流數學——數學史的推動者未必都在大學圍牆內。
  • 觀點的轉換比技術的積累更珍貴：Fredholm 有行列式，Hilbert 有空間。同一批計算，在 Hilbert 的幾何視角下變成了定理的體系。

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

  • 1.2 節：Hilbert 的平方可積函數空間將被精確化為 \(L^2\) ，函數成為「點」。
  • 1.3 節：完備性的概念由 Banach 最終提煉，積分方程的逐次逼近法是 Cauchy 列收斂的原始範例。
  • 4.3 節：積分算子的「抹平」性質將被公理化為緊性。
  • 7.1–7.3 節：Fredholm 行列式與二擇一將以譜理論的語言重述，成為緊算子譜理論的核心。
  • 8.1 節：Volterra 的逐次逼近法是 Banach 不動點定理（壓縮映射原理）的直接前身。
  • 10.1 節：分布理論把積分方程思想推廣到不可微的對象。
  • 物理學：Green 函數方法（量子場論中的傳播子）就是積分算子核概念的現代化身。

練習#

  1. 用逐次逼近法解 \(\varphi(s) = s + \displaystyle\int_0^s t\,\varphi(t)\,dt\) （至少算出 \(\varphi_2\) ，並猜測通項後驗證）。
  2. 對例題 1.1.1 的方程，證明若 \(|\varphi|, |\psi|\) 皆為解，則 \(\sup_{[0,1]}|\varphi - \psi| = 0\) （提示：令 \(M = \sup|\varphi-\psi|\) ，估計 \(M \le |\lambda| \cdot M\) ，再取 \(\lambda\) 足夠小後用連續性論證，或直接用逐次逼近的唯一性）。
  3. 寫出 \(2\times2\) 線性組 \(x = f + \lambda A x\) 的 Cramer 解法，並逐條對照 Fredholm 二擇一的兩種情形，說明「有限維模板」的對應。
  4. 解釋為什麼 Volterra 方程（積分上限為 \(s\) ）可以視為 Fredholm 方程（核在 \(t > s\) 時取 \(0\) ），並說明這如何解釋 Volterra 情形「無條件收斂」而 Fredholm 情形有特徵值的差別。
  5. 思考題：函數 \(J[\varphi] = \int_0^1 \varphi(t)^2\,dt\) 為什麼「不是 \(\varphi\) 在某點的函數」？請用兩個不同函數（例如 \(\varphi_1(t)=t\) 與 \(\varphi_2(t)=1-t\) ）驗證 \(J\) 取相同值，說明「以整個函數為自變量」的含義。

進階研讀：積分方程時代的五個深化場景#

場景一：Green 函數——微分方程的積分化身。對 \(-u'' = f\) ， \(u(0)=u(1)=0\) ，兩次積分可得 \(u(s) = \int_0^1 G(s,t) f(t)\,dt\) ，其中 \(G(s,t) = \min(s,t)(1-\max(s,t))\) 是「三角形帳篷核」。Green 函數把微分算子的逆變成積分算子，而積分算子性質良好——這就是「把壞算子的逆拿來研究」的策略，譜理論（第 7 章）與分布理論（10.1 節）都建立在此之上。

場景二：Sturm–Liouville 特徵函數展開。方程 \(-(p u')' + q u = \lambda w u\) 帶邊界條件，其特徵函數構成 \(L^2\) 的正交基——這是 Hilbert 1905 年證明的「譜定理的古典前身」。弦振動的泛音（ \(\sin n\pi s\) ，頻率 \(n\) ）就是最簡範例：Fourier 1807 年大膽的「任意函數皆可展開」的斷言，要到 Hilbert–Schmidt 的正交理論才獲得嚴格基礎（3.2 節）。

**場景三：Neumann 級數與 \(\|K\| < 1\) **。Carl Neumann（卡爾·諾伊曼，1832–1925）在 1877 年研究位勢理論時已使用逐次逼近：解 \(\varphi = f + \lambda K \varphi\) 形式上為 \(\varphi = (I - \lambda K)^{-1} f = f + \lambda Kf + \lambda^2 K^2 f + \cdots\) （Neumann 級數），當 \(\|K\|\) 足夠小（或 Volterra 情形恆成立）時收斂。這是無窮維版的幾何級數，也是 8.1 節 Banach 不動點定理證明的核心構造。

場景四：Picard 與逐次逼近在常微方程。Émile Picard（埃米爾·皮卡，1856–1941）在 1890 年用同一手法證明常微初值問題解的存在唯一性： \(u' = F(s,u)\) 等價於 \(u(s) = u_0 + \int_{s_0}^s F(t, u(t))\,dt\) ——一個 Volterra 方程！Banach 1922 年的論文正是把 Picard 迭代公理化為「完備賦範空間上的壓縮映射」的產物，見 8.1、8.3 節。

場景五：Fredholm 理論的棋盤衍生物。Fredholm 行列式的技術核心是交替（alternating）技巧；它推動了行列式的組合學研究，並在 Poincaré 1896 年關於行星軌道的工作中已現端倪。後來的「Fredholm 指標」（解空間維數減去伴隨解空間維數）在 20 世紀中葉成為 Atiyah–Singer 指標定理（1963）的無窮維主角——一個 1903 年的精算師問題，最終聯繫到拓撲學最深處的定理。

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

  • 積分方程：未知函數出現在積分號下的方程；分第一類（ \(\int K\varphi = f\) ）與第二類（ \(\varphi = f + \lambda \int K\varphi\) ）。
  • Volterra 方程：積分上限為 \(s\) 的積分方程；迭代級數對一切 \(\lambda\) 收斂。
  • Fredholm 方程：積分範圍固定的積分方程；存在離散特徵值。
  • 逐次逼近法：以 \(\varphi_0 = f\) 、 \(\varphi_{n+1} = f + \lambda K \varphi_n\) 迭代求近似解的方法。
  • 泛函：以函數（或向量）為自變量的函數，記如 \(J[\varphi]\) 。
  • Fredholm 行列式： \(D(\lambda)\) ，矩陣行列式的無窮維推廣，其零點為特徵值。
  • Fredholm 二擇一：唯一可解，或齊次方程有非零解，二者必居其一。
  • Green 函數：微分算子的逆所對應的積分核。
  • Neumann 級數： \((I - \lambda K)^{-1}\) 的幾何級數展開。
  • 平方可積： \(\int |\varphi|^2 < \infty\) ；Hilbert 空間 \(L^2\) 的成員條件。

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

  • 1873：Rayleigh 研究振動系統的特徵頻率問題。
  • 1877：Carl Neumann 以逐次逼近處理位勢理論。
  • 1890：Picard 以逐次逼近證常微解的存在唯一；Volterra 開始研究積分方程。
  • 1896：Poincaré《天體力學新方法》中出現 Fredholm 理論的先驅技術。
  • 1899：Volterra 提出「泛函」概念與函數空間幾何的設想。
  • 1900：Fredholm 完成積分方程主要論文。
  • 1903：Fredholm 論文刊於《Acta Mathematica》。
  • 1904–1910：Hilbert 六篇積分方程講義，幾何化無窮維。
  • 1907：Schmidt 與 Riesz 建立 \(L^2\) 的幾何與完備性。

深化問答三則#

問：Fredholm 為什麼能想到「把積分方程看成有限維組的極限」？ 答：這是 Riemann 和的直接推論，但需要勇氣： \(n \to \infty\) 時矩陣大小無限增長，行列式通常發散。Fredholm 的洞察是除以 \(n!\) 並做交替化簡，使級數「多出一層階乘衰減」，從而收斂。這個「階乘馴服無窮」的技巧，在 Hilbert 空間理論成熟後被抽象為「緊算子的冪衰減」。

問：Hilbert 為何堅持不用 Lebesgue 積分？ 答：Hilbert 的風格是「具體、可構造」：他要求極限過程在連續函數世界內完成，警惕測度論的抽象集合論基礎。但 Riesz–Fischer 定理（1907）表明 \(L^2\) 的完備性本質上依賴 Lebesgue 積分。這段插曲說明：新理論往往先在舊語言中掙扎，直到有更寬的基礎接住它。

問：二擇一定理「非此即彼」的哲學意味是什麼？ 答：它說明線性問題沒有「病態中間態」：要麼逆算子處處存在且連續，要麼存在非平凡核空間。無窮維空間原本允許諸多怪異行為（不連續的逆、處處稠密又稀疏的子空間），但緊性把秩序帶回無窮維——Fredholm 理論是「無窮維世界的古典樂園」，其邊界之外（非緊算子）則需要 20 世紀的新數學。

（本節完）