跳轉到

1.1 VOLTERRA積分方程1896#

本章導言#

算子理論的起點，不在抽象空間，而在一個非常具體的力學問題：一根桿件受熱後，內部溫度如何由歷史決定？ 1896 年，義大利數學家 Vito Volterra（1860–1940） 在研究此類問題時寫下了形如

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

的方程，並以一系列論文建立了它的解的存在性理論。積分方程的右端作用在未知函數上——這迫使人們第一次系統地把「變換函數的規則」當作獨立的研究對象，也就是算子的誕生。本節追溯這條技術驅動之路：力學 → 積分方程 → 迭代解法 → 逼近思想，後者正是日後 Banach 不動點定理與譜理論的種子。

問題的來源：遺傳性力學#

Volterra 研究的彈性後效現象有一個關鍵特徵：系統在時刻 \(x\) 的狀態依賴於全部歷史，而非只依賴當下。例如桿件受拉後的形變會隨時間「慢慢回彈」，張力與形變的關係寫成

\[ \text{形變}(x) = a\,\text{張力}(x) + \int_{x_0}^{x} K(x,t)\,\text{張力}(t)\,dt, \]

其中核 \(K(x,t)\) 描述「 \(t\) 時刻的張力對 \(x\) 時刻形變的殘餘貢獻」。Volterra 稱之為遺傳性（ereditarietà）系統。這與微分方程刻畫的「馬可夫性」系統（只依賴當下與其導數）形成鮮明對照。

把此關係反解——「已知形變，求所需張力」——就得到第一類 Volterra 方程；直接以張力為未知量則得第二類方程

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

第二類 VOLTERRA 方程的迭代解法#

Volterra 的核心技巧是逐次代入（即今日的 Neumann 級數法的 Volterra 版）。令算子

\[ (T\varphi)(x) = \int_a^x K(x,t)\,\varphi(t)\,dt, \]

則方程為 \(\varphi = f + T\varphi\) 。從 \(\varphi_0 = f\) 開始迭代 \(\varphi_{n+1} = f + T\varphi_n\) ，得

\[ \varphi = f + Tf + T^2 f + T^3 f + \cdots \]

關鍵在於：對 Volterra 算子， \(T^n\) 的核是嵌套積分

\[ K_n(x,t) = \int_t^x K(x,s_1) K(s_1,s_2)\cdots K(s_{n-1},t)\,ds_1\cdots ds_{n-1}, \]

而積分上限的嵌套結構使 \(|K_n(x,t)| \le \dfrac{M^n (x-t)^{n-1}}{(n-1)!}\) 。因此級數對一切 \(\lambda\) 收斂——與有限維線性代數「特徵值 \(\lambda^{-1}\) 處級數爆炸」的情形相反。這是 Volterra 方程「無譜」的第一個徵兆。

定理（Volterra, 1896–1897）：若 \(K\) 在三角形區域 \(a \le t \le x \le b\) 上連續， \(f\) 連續，則第二類 Volterra 方程對每個 \(\lambda\) 有唯一連續解，且由上述收斂級數給出。

證明思想：級數收斂性由上面的 factorial 估計與 Weierstrass 密集判別法得到；解的唯一性來自「齊次方程只有零解」：若 \(\varphi = T\varphi\) ，則 \(\|\varphi\|_\infty \le c (x-a)\,\|\varphi\|_\infty\) ，先在 \([a, a+\delta]\) 上逼出 \(\varphi = 0\) ，再逐段向右推進（「分片掃蕩」），得全局唯一。這個局部推進論證是 Volterra 方法論的招牌，日後在常微分方程存在性理論中同樣出現。∎

例題#

例題 1.1.1：解 Volterra 方程 $$ \varphi(x) = 1 + \int_0^x \varphi(t)\,dt. $$

解：核 \(K \equiv 1\) ， \(T^n f\) 的核為 \((x-t)^{n-1}/(n-1)!\) ，故

\[ \varphi(x) = \sum_{n=0}^\infty \frac{x^n}{n!} = e^x. \]

驗證： \(1 + \int_0^x e^t dt = 1 + e^x - 1 = e^x\) 。✓

注意兩件事：第一，對兩端求導可知此方程等價於初值問題 \(\varphi' = \varphi,\ \varphi(0)=1\) ——Volterra 方程是微分方程的積分形式，且積分形式對數值計算更穩定（積分壓制誤差、微分放大誤差）。第二，級數對 \(\lambda = -1, -2, \ldots\) 也收斂，因為 Volterra 算子沒有非零特徵值。

例題 1.1.2：證明 Volterra 算子 \(T\) 在 \(C[0,1]\) 上滿足 \(\|T^n\| \le 1/n!\) （取 \(K \equiv 1\) 情形），並由此證明齊次方程 \(\varphi = \lambda T\varphi\) 當 \(\lambda \neq 0\) 時只有零解。

解：對 \(K\equiv 1\) ， \(T^n\) 的核為 \(\dfrac{(x-t)^{n-1}}{(n-1)!}\) ，故 \(|(T^n\varphi)(x)| \le \|\varphi\|_\infty \int_0^x \dfrac{(x-t)^{n-1}}{(n-1)!} dt = \dfrac{x^n}{n!}\|\varphi\|_\infty\) 。若 \(\varphi = \lambda T\varphi\) ，迭代得 \(\|\varphi\| \le |\lambda|^n \frac{1}{n!}\|\varphi\|\) ，令 \(n\to\infty\) 得 \(\varphi=0\) 。∎

「算子」概念的被迫登場#

在 Volterra 的計算中，「 \(\varphi \mapsto \int K\varphi\) 」這個規則反覆出現，其疊代冪 \(T^n\) 、其對未知解的壓縮性質，都必須被獨立研究。人們逐漸意識到：函數空間中的「變換」扮演著線性代數中「矩陣」的角色。這促使：

  1. 函數空間需要度量：比較兩個近似解需要 \(\|\varphi_1 - \varphi_2\|\) ，這導致 1900 年代一致收斂、 \(L^2\) 收斂等多種「距離」並行發展；
  2. 需要極限點概念：級數解何時收斂到連續函數，需要完備性思想（1906 年 Fréchet 將其系統化）；
  3. 需要算子的「大小」： \(\|T^n\| \le \frac{1}{n!}\) 中的 \(\|T\|\) 是第 2 章算子範數的直接前身。

第一類與第二類的鴻溝#

類型 形式 性質
第二類 \(\varphi = f + \lambda T\varphi\) 對一切 \(\lambda\) 唯一可解，理論「良性」
第一類 \(\int_a^x K(x,t)\varphi(t)\,dt = f(x)\) 可解性依賴 \(f\) ，解可能不連續，不適定

第一類方程對 \(x\) 求導（若 \(K(x,x)\neq 0\) ）可化為第二類，但求導是不穩定操作——這正是今日不適定問題與正則化理論（Tikhonov, 1943）的源頭。第一類方程在緊算子框架下對應「值域不閉」，是第 5 章 Fredholm 擇一定理失效面的具體呈現。

歷史啟示#

  • 物理的「記憶」結構直接催生了算子概念：不是數學家先想好抽象理論再應用，而是積分方程的非局部性質逼出了函數空間上的線性代數。
  • Volterra 方程沒有特徵值這一現象，與 Fredholm 方程（1.2 節）有非平凡譜形成對照；這組對照是譜理論誕生的實驗數據。
  • 迭代法與 factorial 估計預演了 Banach 壓縮原理（1922）與 Neumann 級數（第 2 章）。

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

  • 1.2 節：Fredholm 將積分上限從「變動」改為「固定」，譜現象立即出現——兩種方程的對照是第 4 章譜分類的歷史藍本。
  • 第 2 章： \(T^n\) 的估計是算子範數與 Banach 代數中 Neumann 級數 \(\sum T^n\) 的原型。
  • 第 5 章：Volterra 算子是緊算子的標準例子，且其譜為 \(\{0\}\) ——緊算子譜定理（6.2）中「唯一可能的極限點是 \(0\) 」的極端案例。
  • 微分方程：初值問題 \(\varphi' = A\varphi\) 與 Volterra 方程的等價，是第 9 章 \(C_0\) 半群 \(e^{tA}\) 的預告；Volterra 的「遺傳性」思想今日存活於泛函微分方程與 population dynamics。
  • 量子力學：散射理論中 Lippmann–Schwinger 方程是第二類積分方程，其 Born 級數正是 Volterra 級數的物理化身。

練習#

  1. 用逐次代入法解 \(\varphi(x) = x + \int_0^x (t - x)\,\varphi(t)\,dt\) ，並驗證 \(\varphi(x) = \frac{\sin x + \cos x}{?}\) 型答案（提示：求導兩次化為 ODE）。
  2. 證明：若 \(K(x,x) \neq 0\) 且 \(K\) 可微，則第一類 Volterra 方程 \(\int_a^x K(x,t)\varphi(t)dt = f(x)\) 在對 \(x\) 求導後化為第二類方程，並寫出該方程。
  3. 對 \(K \equiv 1\) 的 Volterra 算子 \(T\) ，計算 \(\|T^n\|\) （在 \(C[0,1]\) 上，一致範數），並說明 \(\|T\| = 1\) 但譜半徑為 \(0\) 。這與 Gelfand 公式（第 8 章） \(\rho(T) = \lim \|T^n\|^{1/n}\) 一致嗎？
  4. 仿照「分片掃蕩」論證，證明第二類 Volterra 方程的解在 \([a,b]\) 上連續。
  5. 思考題：為什麼積分形式比微分形式更適合數值計算？（提示：比較 \(\int\) 與 \(\frac{d}{dx}\) 對 \(L^\infty\) 誤差的放大倍數。）

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

場景一：Abel 方程（1823）的先聲。Volterra 之前，Abel 在等時曲線問題中已處理 \(\int_a^x \frac{\varphi(t)}{\sqrt{x-t}}dt = f(x)\) ——奇異核的 Volterra 方程。Abel 用反演積分求解，其技巧在 20 世紀成為奇異積分方程理論（Tricomi、Muskhelishvili）的起點。奇異核（弱奇性）仍保持 Volterra 的「無譜」性質，只要 \(K\) 可積。

場景二：Volterra 級數與非線性推廣。Volterra 1920 年代將線性遺傳關係推廣為泛函級數 \(\int K_1(t)\varphi(t)dt + \iint K_2(t,s)\varphi(t)\varphi(s)\,dt\,ds + \cdots\) ，即今日的 Volterra 級數。它成為非線性系統辨識（Wiener 1958）與非線性控制理論的基礎——一個 19 世紀的積分方程在電路設計中復活。

場景三：Volterra 算子譜的嚴格計算。在 \(L^2[0,1]\) 上， \(T\) 是緊算子，譜 \(\sigma(T) = \{0\}\) ，且 \(0\) 屬於連續譜（值域稠密但不閉）。 \(T\) 的奇異值有漸近公式 \(s_n(T) \sim \dfrac{1}{(n-\frac12)\pi}\) （對 \(K\equiv1\) 由 \(T^*T\) 的特徵方程 \(J_1\) 貝塞爾函數給出）。這組奇異值是第 6 章 Hilbert–Schmidt 理論中「 \(s_n \to 0\) 」的具體速率標本。

名詞速查表#

  • 第二類 Volterra 方程： \(\varphi(x) = f(x) + \lambda\int_a^x K(x,t)\varphi(t)\,dt\) 。
  • 遺傳性系統：狀態依賴全部歷史的力學系統（Volterra 術語）。
  • Neumann 級數（Volterra 型）： \(\varphi = \sum_{n\ge0} \lambda^n T^n f\) ，對一切 \(\lambda\) 收斂。
  • 分片掃蕩：先在小區間證零解、再逐段推進的唯一性論證。
  • 不適定問題：解不連續依賴於數據的問題，以第一類方程為原型。

年表速查#

  • 1823：Abel 解奇異核 Volterra 方程（等時曲線）。
  • 1896：Volterra 發表積分方程系列論文之首。
  • 1897：Volterra 證明第二類方程唯一可解性。
  • 1900：Fredholm 開始研究固定積分限的方程（下節）。
  • 1902：Lebesgue 積分問世，為 \(L^2\) 理論鋪路。
  • 1913：Volterra 出版《Leçons sur les équations intégrales et les équations intégro-différentielles》。
  • 1922：Banach 壓縮原理，迭代法的公理化。
  • 1943：Tikhonov 正則化思想萌芽，處理第一類方程的不適定性。

深化問答三則#

問：Volterra 方程為什麼「沒有譜」，而 Fredholm 方程有？ 答：因為 Volterra 算子的冪衰減得比任何幾何級數都快（factorial 型）， \(|\lambda|\,\|T^n\| \to 0\) 對一切 \(\lambda\) 成立，Neumann 級數永不失效；Fredholm 算子（固定積分限）的 \(\|T^n\|\) 至多幾何衰減，當 \(|\lambda|\,\|T\| \ge 1\) 時級數失效，恰好在此處出現特徵值。「積分上限的移動」以某種意義把譜壓扁到 \(0\) 。

問：Volterra 自己有沒有意識到「算子」的重要性？ 答：有。他在 1913 年的講義中明確把積分方程視為「無窮多個未知量的線性方程組」的極限，並強調「變換的疊代」是理論核心。但他始終拒絕 Hilbert 式的幾何化（ \(L^2\) 內積空間），晚年甚至批評公理化潮流——算子理論的幾何化是他學生輩（Hilbert 學派）完成的工作。

問：第一類方程的「不適定」可以克服嗎？ 答：不能根治，只能緩解。既然解映射 \(T^{-1}\) （若存在）無界，就必須在求解時加入先驗約束：截斷奇異值（正則化）、最小化 \(\|T\varphi - f\|^2 + \alpha\|\varphi\|^2\) （Tikhonov）、或迭代正則化（Landweber）。這整個學科（逆問題）的理論骨架仍是算子理論：緊算子的奇異值趨於零正是不適定性的數學表現。

（本節完）