跳轉到

6.2 緊自伴算子的譜定理HILBERTSCHMIDT#

本章導言#

1905–1906 年，Hilbert 與其學生 Erhard Schmidt（1876–1959） 完成了積分方程理論的頂點：對稱核的積分算子有完備的特徵函數系，任何函數可展為特徵函數的級數——即 Hilbert–Schmidt 定理。這是第一個真正無窮維的譜定理，也是 Sturm–Liouville 理論（1836）百年懸案（特徵函數展開的完備性）的終極解答。本節陳述並證明此定理，展示它的直接應用（Green 函數、積分方程的可解性），並解釋為什麼「緊性+自伴性」恰好是有限維直覺的最大延伸。

定理與證明#

定理 6.2.1（Hilbert–Schmidt 譜定理）：設 \(T\) 為無窮維 Hilbert 空間 \(H\) 上的緊自伴算子。則：

  1. \(\sigma(T) \subset \mathbb{R}\) ，非零譜點全是特徵值，且至多可數、唯一可能聚點是 \(0\) ；
  2. 每個非零特徵值的特徵空間有限維；
  3. 存在（至多可數的）標準正交特徵向量系 \(\{e_j\}\) 與實特徵值 \(\mu_j \to 0\) ，使
\[ T = \sum_j \mu_j\, \langle \,\cdot\,, e_j\rangle\, e_j \quad (\text{範數收斂}), \]

且 \(H = \ker T \oplus \overline{\operatorname{span}}\{e_j\}\) （若 \(\ker T \neq 0\) ，其內的任意正交基補齊完備系）。

證明： (a) 極值的存在： \(\mu_1 = \sup_{\|x\|=1}|\langle Tx,x\rangle| = \|T\|\) （3.2 節自伴範數公式）。緊性：取極大化列 \(\|x_n\| = 1\) ， \(\langle Tx_n, x_n\rangle \to \mu_1\) ；弱收斂子列 \(x_n \rightharpoonup x\) （單位球弱緊， \(H\) 自反），緊性給 \(Tx_n \to Tx\) 強收斂；計算 \(\|Tx - \mu_1 x\|^2 \le \ldots \le 0\) （用 \(\|T\|^2 = \mu_1^2\) 與極大性），故 \(Tx = \mu_1x\) ， \(\|x\| = 1\) 。

(b) 歸納與壓縮：在 \(e_1^\perp\) 上 \(T\) 仍緊自伴（自伴性保持不變子空間的正交補），重複得 \(\mu_2 \le \mu_1\) 、……。若某步極值為 \(0\) ，則 \(T\) 在剩餘正交補上為 \(0\) ，過程終止。

**(c) \(\mu_j \to 0\) **：若 \(\mu_j \ge \epsilon > 0\) 恆成立，則特徵向量 \(e_j\) 兩兩正交、 \(\|Te_j\| \ge \epsilon\) —— \(\{Te_j\}\) 無收斂子列，違反緊性。

(d) 級數收斂與範數極限：記 \(S_N = \sum_{j \le N} \mu_j \langle \cdot, e_j\rangle e_j\) 。對單位 \(x\) ， \(\|(T - S_N)x\|^2 = \sum_{j > N}\ldots\) （展開用 \(T\) 在 \(\overline{\operatorname{span}}\{e_j\}_{j>N}\) 上的餘部仍是緊自伴、範數 \(\le |\mu_{N+1}|\) ——嚴格地： \(\|T\|\) 在尾子空間上 \(\le |\mu_{N+1}|\) ，由 (b) 的過程）。故 \(\|T - S_N\| \le |\mu_{N+1}| \to 0\) 。∎

這個證明是第 1–5 章所有工具的總彩排：自伴範數公式（3.2）、弱緊性+緊性（5.1）、正交分解（3.3）、級數收斂（2.1）。Hilbert 1906 年用二次型語言、Schmidt 1907 用幾何語言給出實質相同的論證。

例題#

例題 6.2.1： \(K\) 為 \(L^2[0,1]\) 上的 Green 算子： \((Kf)(x) = \int_0^1 G(x,t)f(t)dt\) ， \(G(x,t) = \min(x,t)\) （1.2 練習 4： \(K = (-\frac{d^2}{dx^2})^{-1}\) 帶 Dirichlet 邊條）。求其全部特徵對，驗證 Hilbert–Schmidt 定理的每一條。

解： \(Kf = \mu f\) 微分兩次（ \(K\) 的核是分段線性的， \(\partial_x\partial_t G = -\delta\) 型論證，或直接： \(f = \mu^{-1}Kf\) 二階可微）得 \(-\frac{d^2}{dx^2}f = \frac{1}{\mu}f\) 、 \(f(0) = f(1) = 0\) 。解： \(f_n = \sqrt2\sin(n\pi x)\) 、 \(\mu_n = \frac{1}{n^2\pi^2}\) 。

驗證： - 特徵值 \(\{n^2\pi^2\}^{-1}\) 實數、單重、 \(\to 0\) ✓（聚點 \(0\) 恰為定理預言）； - \(\{f_n\}\) 完備（Fourier 正弦系）——Sturm–Liouville 完備性在此框架免費獲得； - 譜分解 \(K = \sum_n \frac{1}{n^2\pi^2}\langle \cdot, f_n\rangle f_n\) ；跡 \(\sum \mu_n = \frac{1}{\pi^2}\sum\frac1{n^2} = \frac{1}{6} = \int_0^1 G(t,t)dt = \int_0^1 t(1-t)dt\) ——跡公式 \(\sum\mu_n = \int \operatorname{diag} G\) （Mercer 定理 1903）的驗證。∎

例題 6.2.2：用譜分解解積分方程 \(K\varphi - \lambda\varphi = f\) （ \(K\) 如上），並寫出 Fredholm 擇一（5.3）的正交條件。

解：在特徵基下： \(\varphi = \sum c_j f_j\) ， \((\mu_j - \lambda)c_j = f_j\) ，故

\[ \varphi = \sum_j \frac{f_j}{\mu_j - \lambda} f_j, \qquad \text{當 } \lambda \notin \{\mu_j\}. \]

\(\lambda = \mu_k\) （共振）時可解 \(\iff\) \(f_k = 0\) ，解不唯一（ \(+c f_k\) ）。擇一定理在譜分解下是「分母零點」的初等陳述——Hilbert 1906 年的遠見：Fredholm 行列式的零點=特徵值=分母。∎

Mercer 定理與跡#

Mercer 定理（1903）：連續對稱核 \(K \ge 0\) （即 \(T_K\) 正算子）時， \(K(x,t) = \sum_j \mu_j e_j(x)\overline{e_j(t)}\) 逐點一致收斂，特別地 \(K(x,x) = \sum \mu_j |e_j(x)|^2\) 逐點成立，積分得

\[ \sum_j \mu_j = \int_X K(x,x)\,dx \quad (\text{核的跡}). \]

跡的可加性（ \(\sum\mu_j < \infty\) ，正算子）是跡類算子（trace class）概念的誕生： \(\sum s_n(T) < \infty\) （奇異值可和）。跡類 \(\subset\) Hilbert–Schmidt 類（ \(\sum s_n^2 < \infty\) ） \(\subset\) 緊算子，是 5.1 例題 5.1.3 的精緻化；量子力學的密度矩陣=正跡類算子（第 10 章）。

歷史啟示#

  • Sturm–Liouville 完備性問題的終結：1836 年 Sturm 與 Liouville 證明二階問題特徵函數的振盪性質，但完備性（任何函數可展）糾纏了 70 年（Riemann、Weierstrass、Du Bois-Reymond 的反例雲霧）。Hilbert–Schmidt 定理一刀切清：Green 算子緊自伴⇒完備。積分方程理論的勝利是「把微分問題變成積分問題」。
  • Schmidt 的幾何化：Schmidt 1907 年的論文把 \(L^2\) 函數當「無窮維空間的向量」，正交化（Gram–Schmidt 過程的抽象版）、「函數空間的幾何」語言由此定型——泛函分析的幾何時代開始。
  • 「緊+自伴」= 有限維的最大延伸：兩個條件各自有代價。緣故：緊性壓縮譜（聚點 \(0\) ）、自伴性給正交性。放棄緊性→6.3 節連續譜；放棄自伴性→剩餘譜與不可對角化。理論的每一層推廣都要付出結構的代價。

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

  • 1.2、1.3 節：Fredholm 行列式與 Hilbert 二次型是本定理的兩個前身。
  • 5.1–5.3 節：緊性定義、有限秩逼近、擇一定理全部匯入。
  • 6.1 節：有限維譜定理的證明（極值法）直接升級為本節的（a)(b)(c)(d)。
  • 6.3 節：非緊自伴算子（微分算子）需要譜積分——本定理「可數特徵值」的限制被測度論突破。
  • 第 7 章：微分算子自身無界不緊，但其逆（Green 算子）緊——「先求逆再對角化」是處理微分算子的標準繞道（Friedrichs 擴張前的啟蒙）。
  • 第 9 章：半群 \(e^{tK} = \sum e^{t\mu_j}P_j\) （ \(K\) 緊自伴）——耗散系統的譜分解。
  • 第 10 章：量子力學的密度矩陣與跡類；Sturm–Liouville 譜（弦振動、熱傳導）的完備性是 Fourier 方法的嚴格基礎。

練習#

  1. 補全定理證明 (a) 中 \(\|Tx - \mu_1x\|^2 \le 0\) 的計算。
  2. 證明：緊自伴算子的特徵空間有限維（反設無窮維，取正交列違反緊性）。
  3. 對核 \(G(x,t) = \min(x,t)\) 驗證 Mercer 定理的逐點收斂： \(\sum \frac{\sin(n\pi x)\sin(n\pi t)}{n^2\pi^2} = \min(x,t)\) （提示：Fourier 級數的已知和）。
  4. 證明：有限秩算子在正交基下的 \(\sum_n s_n\) 型和等於其矩陣表示的某種跡，並說明為什麼一般緊算子需要 \(s_n \to 0\) 的速率條件才能談跡。
  5. 思考題：為什麼「先逆後譜」的繞道（Green 函數）對微分算子必要？ \(-\frac{d^2}{dx^2}\) 的譜 \(\{n^2\pi^2\}\) 無界（不緊），而其逆的譜 \(\{1/(n^2\pi^2)\}\) 聚於 \(0\) ——緊性的代價與收益。

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

場景一：Sturm–Liouville 理論的現代綜合。帶權問題 \(-(py')' + qy = \lambda w y\) 的正則情形：Green 算子在加權 \(L^2_w\) 空間緊自伴，Hilbert–Schmidt 定理給出完備性、實譜、單重性（振盪定理：第 \(n\) 個特徵函數恰有 \(n\) 個零點）。奇異情形（無窮區間）需要 7.3 節的 Weyl 理論。譜理論與振盪理論的結合是特徵值問題的完備圖像（Courant–Hilbert《數學物理方法》1924）。

**場景二：Schatten 類與非交換 \(L^p\) **。奇異值 \(\{s_n\}\) 的 \(p\) -可和性定義 Schatten \(p\) 類 \(\mathcal{S}_p\) （1960 年代 Schatten、Gohberg–Krein）： \(\mathcal{S}_1\) =跡類、 \(\mathcal{S}_2\) =Hilbert–Schmidt。它們是非交換 \(L^p\) 空間（對 von Neumann 代數的跡 \(\tau\) ， \(\|x\|_p = (\tau(|x|^p))^{1/p}\) ，1970 年代 Segal、Dixmier、Terp）的特例——Banach 空間理論（2.1）在算子代數中的再生。

場景三：跡公式與數論的迴響。Selberg 跡公式（1956）： \(\sum_\gamma \frac{\Lambda(\gamma)}{\det(\cdots)} + \sum_{\lambda} h(\lambda_j) =\) 幾何項，把「模群上的 Laplacian 譜」與「閉測地線長度」對偶——Hilbert–Schmidt 跡公式 \(\sum\mu_j = \int K(x,x)\) 的深遠後代。譜與幾何的對偶（譜幾何）從 Mercer 定理一路走到 Langlands 綱領的邊緣。

名詞速查表#

  • Hilbert–Schmidt 定理：緊自伴算子有完備正交特徵系、譜至多可數趨 \(0\) 、範數收斂的譜分解。
  • 完備性：特徵函數系的閉包=全空間（Sturm–Liouville 懸案的解答）。
  • Mercer 定理：正對稱核的逐點級數展開與跡公式。
  • **跡類 \(\mathcal{S}_1\) **：奇異值可和； \(\operatorname{tr}\) 良定義、循環不變。
  • **Hilbert–Schmidt 類 \(\mathcal{S}_2\) **： \(L^2\) 核算子； \(\|T\|_{HS} = \|k\|_2\) 。
  • 振盪定理：第 \(n\) 個 Sturm–Liouville 特徵函數有 \(n\) 個零點。

年表速查#

  • 1836：Sturm、Liouville 特徵值問題的振盪理論。
  • 1903：Mercer 定理；Fredholm 行列式。
  • 1905–1906：Hilbert 譜定理（二次型形式）。
  • 1907：Schmidt 幾何形式；正交展開理論。
  • 1909–1910：Weyl 奇異情形（極限點/圓）。
  • 1918：Riesz 公理化（緊算子語言）。
  • 1942：Nagy 譜重數分類。
  • 1950s：Schatten 類、Gohberg–Krein 理論。
  • 1956：Selberg 跡公式。

深化問答三則#

問：為什麼特徵空間必須有限維？ 答：若 \(\ker(T - \mu)\) 無窮維（ \(\mu \neq 0\) ），其正交基 \(\{e_j\}\) 滿足 \(Te_j = \mu e_j\) —— \(\{Te_j\}\) 兩兩距離 \(|\mu|\sqrt2\) ，無收斂子列，違反緊性。有限維性是緊性的直接代數後果；它保證重數有限（4.3 節 Nagy 重數理論的緊特例：重數函數取有限值且支撐在離散集上）。

問：Hilbert–Schmidt 定理與 Fredholm 擇一是什麼關係？ 答：譜定理更強。擇一只回答「 \(I - \lambda K\) 何時可逆」（譜的位置），譜定理給出完整的對角化——所有解、所有投影、所有演算。歷史上 Fredholm（1903）→ Hilbert–Schmidt（1906）正是從「可解性」到「結構」的升級；Riesz（1918）把兩者統一於緊算子理論。

問：跡在無窮維為什麼危險？ 答：因為矩陣對角和 \(\sum\langle Te_n, e_n\rangle\) 依賴基的選擇且可發散/重排（條件收斂的幽靈）。跡類條件 \(\sum s_n < \infty\) 恰好使對角和絕對收斂且基無關（Lidskii 定理 1959： \(\operatorname{tr}T = \sum\mu_n\) 的特徵值級數）。量子力學的機率守恆（ \(\operatorname{tr}\rho = 1\) ）因此要求密度矩陣為跡類——分析條件成為物理公理。

（本節完）