跳轉到

5.3 FREDHOLM擇一定理#

本章導言#

1903 年 Fredholm 用行列式證明：積分方程對每個 \(\lambda\) 要麼唯一可解、要麼齊次方程有非零解——二選一，沒有中間狀態（1.2 節）。1918 年 Riesz 用緊性重新證明並推廣這個「擇一」（Alternative），1930 年 Juliusz Schauder 完成 Banach 空間版本。現代陳述： \(T\) 緊時， \(I - T\) 的可逆性由齊次解空間的維數決定，且核維數=伴隨核維數（有限）。擇一定理是積分方程理論的皇冠，也是本書前五章的匯流點：緊性（5.1）+ 對偶（2.3）+ 譜（4.1）合力而成。

定理的陳述#

定理 5.3.1（Fredholm–Riesz–Schauder 擇一）：設 \(X\) 為 Banach 空間， \(K\) 緊， \(\lambda \neq 0\) 。則恰有以下之一：

  1. 唯一可解： \(\ker(I - \lambda K) = \{0\}\) ，此時 \((I - \lambda K)^{-1}\) 有界，方程 \((I - \lambda K)\varphi = f\) 對每個 \(f\) 有唯一解；
  2. 齊次障礙： \(\ker(I - \lambda K) \neq \{0\}\) 有限維（ \(= d\) ），此時非齊次方程可解當且僅當 \(f \perp \ker(I - \lambda K^*)\) （ \(d\) 個正交條件），解空間為特解+齊次解。

且在情形 2： \(\dim\ker(I - \lambda K) = \dim\ker(I - \lambda K^*)\) 。

核心中間引理（Fredholm 替代）： \(K\) 緊、 \(\lambda \neq 0\) 時， \((I - \lambda K)\) 是單射 \(\iff\) 滿射。

證明思路（滿射方向的關鍵）：設單射。先證值域閉：若 \((I - \lambda K)x_n \to y\) ，用緊性從 \(\{x_n\}\) 提取 \(\lambda Kx_n\) 的收斂子列 \(\to z\) ，則 \(x_n = y_n + \lambda Kx_n\) 亦收斂 \(\to x\) ，且 \((I - \lambda K)x = y\) ——值域閉。再證稠密：若值域不稠，由 Hahn–Banach（2.3 例題 3.3.2 型）取非零 \(\varphi\) 消滅值域，即 \((I - \lambda K)^*\varphi = 0\) ；而 \((I - \lambda K^*)\) 的核中向量 \(\varphi\) 使……需要第二次「對偶論證」+範數最小化技巧（Fredholm 的「構造 \(\varphi\) 使 \(\|\varphi\| = 1\) 在商空間達到」），最後得到矛盾：在值域中找 \(w\) 使 \(\langle w, \varphi \rangle\) 任意大但 \(w = (I - \lambda K)x\) 的構造違反有界性。∎

完整證明需要幾步精心安排；精神是「單射+緊性⇒值域閉⇒對偶條件⇒滿射」，每一步都用一個前面章節的工具：緊性（5.1）、值域閉的判據（2.3）、Hahn–Banach（2.3）。

維數等式與指標#

擇一定理的深層內容是維數等式 \(\dim\ker(T - \lambda) = \dim\ker(T^* - \bar\lambda)\) （緊情形、 \(\lambda \neq 0\) ）。有限維中這是 rank–nullity；無窮維中它依賴緊性（對一般有界算子失敗：位移算子 \(\dim\ker S^* = 1\) 但 \(\dim\ker S = 0\) ！）。由此定義Fredholm 指標：

\[ \operatorname{ind}(I - \lambda K) = \dim\ker(I - \lambda K) - \dim\ker(I - \lambda K^*) = 0. \]

緊擾動不改變指標（ \(I - K\) 指標 \(0\) ）——指標是拓撲不變量，這條線通向 Atiyah–Singer 定理（1.2 場景一）。

例題#

例題 5.3.1：用擇一定理分析 \(L^2[0,1]\) 上的方程 \(\varphi(x) - \lambda\int_0^1 xt\,\varphi(t)\,dt = f(x)\) （1.2 例題 1.2.1 的核），對 \(\lambda = 3\) （共振）給出完整可解條件。

解：核 \(k(x,t) = xt\) 連續對稱， \(K\) 緊自伴。 \(K\) 的特徵值： \(Ke = \mu e\) ，由例題 1.2.1 知 \(e(x) = x\) 、 \(\mu = 1/3\) ；再驗證其餘特徵值： \(K\) 的秩為 1（ \(K = \langle \cdot, t\rangle x\) 型，即 \(Kf = x\int_0^1 t f(t)dt\) ），故 \(\sigma(K) = \{1/3, 0\}\) ， \(0\) 之特徵空間= \(\{f : \int tf = 0\}\) （無窮維）。共振條件 \(\lambda = 1/\mu = 3\) ： \(\ker(I - 3K) = \operatorname{span}(x)\) ， \(\ker(I - 3K^*)\) 同（自伴）。擇一定理：可解 \(\iff\) \(f \perp x\) ，即

\[ \int_0^1 x f(x)\,dx = 0, \]

與 1.2 節直接計算（ \(F = 0\) ）一致。解空間： \(\{\varphi_p + cx\}\) 。∎

例題 5.3.2：用擇一定理解 Dirichlet 問題的存在性（Fredholm 1903 的原動機，簡化版）：證明若 Green 函數 \(G\) 連續對稱且 \(\|G\|\) 型算子的 \(1\) 不在其譜中，則邊值問題 \(\Delta u = 0\) （邊界數據 \(g\) ）有唯一解。

解：Dirichlet 問題化為 \(\varphi - K\varphi = f\) （第二類積分方程， \(K\) 為 Neumann 核的緊算子）。擇一定理給出二擇一；Fredholm 證明對凸區域 \(\ker(I - K) = \{0\}\) （用極值原理：若齊次解非零， \(|\varphi|\) 在內部達到極大，與 Laplace 極值原理矛盾——需細節技巧），故對一切 \(g\) 唯一可解。擇一定理把「邊值問題是否存在解」化為「齊次問題是否只有零解」——存在性歸結為唯一性，這是該定理最優雅的應用模式。∎

擇一的「哲學」#

擇一定理的結構之美：「非唯一性自動帶來正交障礙，障礙的個數恰好等於自由度」。三個推論：

  1. 可解性=唯一性（齊次零解⇒非齊次永遠可解）：存在性問題降級為唯一性問題；
  2. 障礙可計算：正交條件由伴隨齊次解給出（工程上： adjoint method）；
  3. 自由度有限：緊性保證核維數有限——「壞參數」是孤立的、可數的。

對比第一類方程（1.1 節）：那裡沒有擇一（值域不閉、可解集可以任意病態）。第二類方程的「單位元」是擇一的來源—— \(I\) 的存在使「不可逆」變成有限維現象。

歷史啟示#

  • Fredholm（1903）→ Riesz（1918）→ Schauder（1930）：行列式 → 緊算子 → Banach 空間。每一步擴大適用範圍而不失結論——數學「去計算化、去空間化」的教科書案例。
  • 擇一定理是「好算子類」的定義者：1930 年代起，人們反過來把「具有 Fredholm 性質的算子」命名為 Fredholm 算子（值域閉+核余核有限維），Calkin 代數（5.1 場景一）給出最終刻畫。原定理成為新概念的特例。
  • 物理的迴響：散射理論的 Lippmann–Schwinger 方程、積分方程的邊界元法（BEM），其數值實現都依賴擇一結構：共振處的正交條件告訴計算者「何時該用廣義逆」。

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

  • 1.2 節：Fredholm 行列式版本=本節的具體計算版。
  • 2.3 節：Hahn–Banach 與伴隨理論是證明引擎。
  • 5.1、5.2 節：緊性定義與譜逼近提供「單射⇒滿射」的動力。
  • 6.2 節：對稱核情形，正交條件變為「 \(f\) 在特徵函數上的係數為零」，擇一與譜定理合流。
  • 4.2 節：緊算子的非零譜全是點譜（擇一的譜論推論）； \(0\) 可以是連續譜（第一類方程病態的來源）。
  • 第 8 章：Atkinson 定理——Fredholm 算子在 Calkin 代數中可逆，指標理論誕生。
  • 第 10 章：量子散射（Lippmann–Schwinger）、邊界積分方程（聲學、電磁散射的 BEM 計算）。

練習#

  1. 補全「單射⇒值域閉」的證明細節，並說明緊性用在哪一步。
  2. 證明緊算子 \(K\) 的非零譜點全是特徵值（用擇一於 \(\mu K\) ， \(\mu = 1/\lambda\) ）。
  3. 對核 \(k(x,t) = \sin(x)\sin(t)\) 在 \(L^2[0,1]\) ：求譜、共振 \(\lambda\) 、可解條件。
  4. 證明： \(I - K\) （ \(K\) 緊）的值域閉且核有限維，但 \(K\) 自身的值域一般不閉——解釋第一類方程的不適定性。
  5. 思考題：位移算子 \(S\) 滿足 \(\dim\ker S = 0\) 、 \(\dim\ker S^* = 1\) ，指標 \(= -1\) 。為什麼 \(S\) 不是「Fredholm 正規」算子的好例子？它的值域閉嗎？

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

場景一：Noether 指標與奇異積分方程。Noether（1921）在奇異積分方程（Cauchy 型核）上發現指標可以非零（ \(\operatorname{ind} =\) 指數差），開啟了「指標理論」：奇異積分算子 \(aI + bH\) （Hilbert 變換）的 Fredholm 性由符號函數決定（Muskhelishvili 理論）。指標概念從這裡經 Gohberg–Krein（1957）進入系統理論（Wiener–Hopf 指標）與拓撲。

場景二：邊界元法（BEM）的數學基礎。把 PDE 的邊值問題化為邊界上的積分方程（第二類），然後用有限維逼近（5.2）數值求解。收斂性證明正是「Fredholm 理論+有限秩逼近」：擇一保證離散化在非共振處穩定，Quasi-optimal 誤差估計（ \(\|\varphi - \varphi_n\| \le C\inf\|\varphi - v_n\|\) ）依賴 \((I - \lambda K_n)^{-1}\) 的一致有界性——5.2 節譜收斂理論的直接應用。

場景三：非線性 Fredholm 理論。Schauder（1930）將擇一推廣到非線性緊擾動： \(\Phi(x) = 0\) 中 \(\Phi = I + K\) ， \(K\) 緊。Leray–Schauder 度（1934）給出「解的存在=度的非零」，成為非線性 PDE（半線性橢圓方程）存在性的標準工具。擇一定理的拓撲化再次連接分析與拓撲。

名詞速查表#

  • Fredholm 擇一： \(I - \lambda K\) （ \(K\) 緊）：唯一可解 或 有限維齊次障礙+正交條件。
  • 維數等式： \(\dim\ker(I - \lambda K) = \dim\ker(I - \lambda K^*)\) 。
  • Fredholm 指標： \(\dim\ker - \dim\operatorname{coker}\) ；緊擾動不變。
  • Fredholm 算子：值域閉+有限維核與余核；=Calkin 代數可逆元。
  • 正交障礙： \(f \perp \ker(T^* - \lambda)\) 的可解條件。
  • Leray–Schauder 度：非線性緊擾動的拓撲度（1934）。

年表速查#

  • 1900：Poincaré 掃散法（Dirichlet 問題的部分解答）。
  • 1903：Fredholm 行列式與擇一。
  • 1918：F. Riesz 緊算子譜理論，擇一的公理化證明。
  • 1921：Noether 奇異積分方程指標。
  • 1930：Schauder Banach 空間版本；非線性推廣。
  • 1934：Leray–Schauder 度理論。
  • 1941：Calkin 代數。
  • 1957：Gohberg–Krein 指標理論系統化。
  • 1963–1968：Atiyah–Singer 指標定理；Atkinson 定理。

深化問答三則#

問：擇一定理中「有限維」為什麼關鍵？ 答：正交條件若有無窮多個（如第一類方程），可解性不可操作化。緊性把「壞點」限制在有限維——齊次解空間有限維、正交條件有限個。這是「緊性=可計算性」的另一表達：無窮維的障礙被壓縮到有限維，工程上可以處理。

問：擇一定理與「不適定問題」的邊界在哪裡？ 答：邊界是 \(0\) 。 \(\lambda \neq 0\) 時擇一成立（第二類方程良態）； \(\lambda = 0\) （即第一類方程 \(K\varphi = f\) ）時擇一崩潰： \(K\) 值域不閉、可解性依賴 \(f\) 的精細性質、解不連續依賴數據。物理中的逆問題（反演位勢、成像）本質是第一類方程，需要正則化——擇一定理的失效面正是正則化理論的疆界。

問：為什麼 Dirichlet 問題的求解是「存在性歸結為唯一性」？ 答：因為擇一：齊次方程只有零解（唯一性）⇒ 非齊次對一切數據可解（存在性）。這個「二選一」結構使 19 世紀糾纏不清的 Dirichlet 問題（Poincaré 掃散法的艱難論證）一舉而決。數學中許多存在性證明的最終形態都是「證明非退化性」——退化時有拓撲/譜/對偶障礙，非退化時萬事俱備。

（本節完）