跳轉到

4.1 特徵值點譜與預解集#

本章導言#

第 1 章的歷史敘事中，「特徵值」以不同面目反覆出現：Fredholm 行列式的零點（1.2）、Hilbert 二次型的對角係數（1.3）。1900 年前後，Hilbert 與 Toeplitz、Hellinger 逐步把它抽象化；F. Riesz 1918 年在 Banach 空間語言的先驅形式中、Banach 學派 1930 年代在其最終形式中確立了現代定義：譜是「使 \(T - \lambda I\) 不可逆的 \(\lambda\) 」。本節正式定義譜與預解集，建立譜集的基本拓撲性質，並用兩個具體算子（乘法算子與積分算子）展示無窮維譜的豐富性。

定義與第一組性質#

定義 4.1.1： \(T \in \mathcal{B}(X)\) （ \(X\) 複 Banach 空間）。 - 譜 \(\sigma(T) = \{\lambda \in \mathbb{C} : T - \lambda I \text{ 不可逆}\}\) ； - 預解集 \(\rho(T) = \mathbb{C} \setminus \sigma(T)\) ； - 預解式 \(R_\lambda(T) = (T - \lambda I)^{-1}\) ，定義在 \(\rho(T)\) 上； - 點譜 \(\sigma_p(T) = \{\lambda : \ker(T - \lambda I) \neq \{0\}\}\) ，元素稱特徵值，對應非零解 \(x\) 稱特徵向量。

定理 4.1.2： \(\sigma(T)\) 非空、緊，含於 \(\overline{\mathbb{D}}_{\|T\|}\) ； \(\rho(T)\) 開；預解式滿足預解恆等式

\[ R_\lambda - R_\mu = (\lambda - \mu) R_\lambda R_\mu, \]

且 \(R_\lambda\) 是 \(\rho(T)\) 上的全純（依範數）函數。

證明要點： \(\|T\| < |\lambda|\) 時 \(T - \lambda I = -\lambda(I - T/\lambda)\) 可逆（Neumann 級數，2.2 節），故 \(\sigma(T) \subset \overline{\mathbb{D}}_{\|T\|}\) 緊。預解恆等式直接展開驗證，並給出 \(R_\lambda \to R_\mu\) （ \(\lambda \to \mu\) ）的全純性。非空性：若 \(\rho(T) = \mathbb{C}\) ，則 \(R_\lambda\) 整且 \(\|R_\lambda\| \le 1/\operatorname{dist}(\lambda, \overline{\mathbb{D}}_{\|T\|}) \to 0\) （ \(|\lambda| \to \infty\) ），Liouville 定理迫使 \(R_\lambda \equiv 0\) ——不可能（ \(R_\lambda\) 可逆）。∎

譜映射定理（多項式）： \(\sigma(p(T)) = p(\sigma(T))\) 。這是線性代數事實的無窮維推廣，證明靠因式分解 \(p(z) - p(\lambda) = (z - \lambda)q(z)\) 與兩個方向的逆構造。它在 6.1 節（譜定理的函數演算）中扮演核心角色。

譜的標本：兩個基礎算子#

例題 4.1.1： \(H = L^2[0,1]\) ，乘法算子 \((M_g f)(x) = g(x)f(x)\) ， \(g\) 連續。證明 \(\sigma(M_g) = g([0,1])\) （值域，即緊區間），且 \(\lambda\) 是特徵值當且僅當 \(g^{-1}(\lambda)\) 有正測度。

解：若 \(\lambda \notin g([0,1])\) ，則 \(\frac{1}{g(x) - \lambda}\) 連續， \(M_{1/(g-\lambda)}\) 是逆。若 \(\lambda \in g([0,1])\) ：若 \(g^{-1}(\lambda)\) 正測度，其示性函數是特徵向量。若 \(g^{-1}(\lambda)\) 零測度但 \(\lambda\) 是值（例如 \(g(x) = x\) 、 \(\lambda = 1\) 或 \(g\) 在一點取孤立值）： \(M_g - \lambda\) 單射（除非零測度集上為零）、其逆 \(1/(g - \lambda)\) 無界（ \(g - \lambda\) 在該點附近取到任意小值），故 \((M_g - \lambda)^{-1}\) 存在但無界——不可逆。這是連續譜的典型：逆存在於稠密定義域但無界。∎

此例說明乘法算子的譜=乘子的值域——譜是函數論的對象（值域），而非代數對象（行列式零點）。這個視角在 8.1 節（Gelfand：交換代數的譜=函數的值域）將成為一般原理。

例題 4.1.2：Volterra 算子 \(T\) （1.1 節）譜 \(\sigma(T) = \{0\}\) 。用譜半徑公式 \(\rho(T) = \lim\|T^n\|^{1/n}\) 與 \(\|T^n\| \le 1/n!\) 證明之，並判斷 \(0\) 是否為特徵值。

解： \(\rho(T) = 0\) ，故 \(\sigma(T) = \{0\}\) 。 \(0\) 不是特徵值： \(Tf = 0\) 微分得 \(f = 0\) 。但 \(\operatorname{ran} T\) 不閉、不稠密？事實上 \(\operatorname{ran}T = \{F \in C^1 : F(0) = 0\}\) 稠密於 \(L^2\) ——故 \(0\) 是連續譜。Volterra 算子是「擬冪零」算子（ \(\lim\|T^n\|^{1/n} = 0\) ）的標本：譜塌縮為單點但逆不存在——連續譜不為空。∎

點譜的估計：Gershgorin 與近似點譜#

有限維中特徵值有 Gershgorin 圓盤定位；無窮維的對應工具是近似點譜：

\[ \sigma_{ap}(T) = \{\lambda : \exists \|x_n\| = 1,\ (T - \lambda)x_n \to 0\}. \]

顯然 \(\sigma_p \subset \sigma_{ap}\) 。定理： \(\lambda \notin \sigma_{ap}(T) \iff T - \lambda\) 下有界（ \(\|(T-\lambda)x\| \ge c\|x\|\) ）。自伴算子（3.2）的譜全部由近似點譜組成——譜的每個點都有「幾乎特徵向量」，這正是物理上「能量附近可以做出近定態」的數學根據。

歷史啟示#

  • 譜理論的兩次定義革命：Fredholm 的「行列式零點」（1903）→ Hilbert 的「二次型對角係數+連續譜」（1906）→ Riesz–Banach 的「不可逆性」（1918/1932）。每次定義都擴大了理論的適用範圍，最終的「可逆性定義」不需要內積、不需要行列式、不需要緊性——最大公因式。
  • Liouville 定理進入泛函分析：譜非空性的證明是複變函數論（姊妹卷主題）在算子理論中的第一個深度應用；預解式的全純性使複分析的整個工具箱（圍道積分、Laurent 級數、解析延拓）可以作用於算子——6.3 節 Riesz–Dunford 演算由此而來。
  • 預解恆等式是「交換代數」的種子： \(R_\lambda R_\mu\) 可交換（同一算子的預解式永遠交換），這個平凡的交換性在 8.2 節演算理論中升格為公理。

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

  • 1.2、1.3 節：Fredholm 行列式零點與 Hilbert 譜是本節定義的歷史原型。
  • 4.2 節：本節把譜當整體，下節按「單射？值域稠？值域閉？」三分。
  • 4.3 節：有限維中 \(\sigma(T) = \sigma_p(T)\) ——特徵多項式的根；Jordan 標準型是譜的精細結構。
  • 第 5 章：緊算子的譜結構（非零譜=特徵值+至多可數、聚點 \(0\) ）是本節一般理論的第一個大定理。
  • 第 8 章：譜半徑公式（Gelfand）給出 \(\rho(T) = \max_{\sigma}|\lambda|\) 的完整證明；交換 Banach 代數的譜=極大理想空間的函數值域。
  • 第 9 章：半群理論中，生成元的譜決定解的長期行為（譜界=增長界）；預解式 \(R_\lambda\) 對半群是 Laplace 變換 \(\int_0^\infty e^{-\lambda t} T(t)dt\) 。
  • 數值分析：Gershgorin、偽譜（pseudospectra， \(z \mapsto \|(T - z)^{-1}\|\) 的地形圖）是近似點譜的定量化，Trefethen 的偽譜理論（1990s）處理非正規矩陣的瞬態增長。

練習#

  1. 證明預解恆等式，並由它導出 \(\rho(T)\) 開且 \(R_\lambda\) 全純。
  2. 求 \(l^2\) 上對角算子 \(D = \operatorname{diag}(d_n)\) 的譜與點譜，證明 \(\sigma(D) = \overline{\{d_n\}}\) 。
  3. 對 \(C[0,1]\) 上的乘法算子 \(M_g\) ，證明 \(\sigma(M_g) = g([0,1])\) 且每一點都是特徵值（與 \(L^2\) 情形對比！）——解釋差別。
  4. 證明譜映射定理： \(\sigma(p(T)) = p(\sigma(T))\) 。
  5. 思考題：譜非空性在實 Banach 空間失效（旋轉矩陣無實特徵值）。說明為什麼複化是譜理論的必要條件，並回顧 1.1 節「複數被迫登場」的呼應。

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

場景一：Riesz–Dunford 演算。預解式是 Laurent 級數 \(R_\lambda = -\sum_{n\ge0} \lambda^{-n-1} T^n\) （ \(|\lambda| > \|T\|\) ）；對譜外圍的圍道 \(\Gamma\) ，定義 \(f(T) = \frac{1}{2\pi i}\oint_\Gamma f(\lambda) R_\lambda\, d\lambda\) 。這個「Cauchy 積分公式+算子」的構造（Riesz 1913、Dunford 1943）是譜分解投影 \(E_\Omega = \frac{1}{2\pi i}\oint_\Gamma R_\lambda d\lambda\) 的來源——6.3 節譜測度的圍道版本。

場景二：偽譜與非正規瞬態。非正規算子 \(\|T^n\|\) 可以在譜半徑控制住的情況下巨大（ \(T = \begin{pmatrix}1&c\\0&1\end{pmatrix}\) 型Jordan 塊： \(\|T^n\| \sim nc\) ）。偽譜 \(\sigma_\epsilon = \{z : \|(T - z)^{-1}\| > 1/\epsilon\}\) 捕捉這種瞬態行為；Trefethen–Embree（2005）用它解釋流體力學的次臨界轉捩——「譜半徑小但係統不穩定」的算子理論。

場景三：譜理論的公理化極限——M. 演算。Dunford 的「譜可分解算子」（spectral decomposition, 1954）刻畫了「行為像譜定理的算子」；Bishop 的直積分解、Albrecht 的結果表明這一類本質上是正規算子與乘法演算的世界。「一般算子不能譜分解」是無窮維的深層困難，與不變子空間問題（至今開放）相連。

場景四：聯合譜與交換性。兩個交換算子 \(T_1, T_2\) 的「同時譜」 \(\sigma(T_1, T_2) \subset \mathbb{C}^2\) 是多變數對象（Arens–Calderón 1950s）： \(T_1 - \lambda_1, T_2 - \lambda_2\) 同時可逆的條件。乘法算子對 \((M_x, M_y)\) 在 \(L^2(\Omega)\) 的聯合譜= \(\Omega\) 的閉包——聯合譜=幾何，聯合譜測度=6.3 節 direct integral 的多變數版。Taylor（1970）的非交換聯合譜把這延伸到非交換組合（ \(T_1, T_2\) 不交換時用 Koszul 復形的 Fredholm 性），成為多變數 Fredholm 理論與 Taylor 本質譜的基礎——「幾個算子一起看」比「一個個看」揭示更多幾何。

本節要點清單#

  • 譜=不可逆集： \(\sigma(T) = \mathbb{C} \setminus \rho(T)\) ；非空、緊、 \(\subset \overline{\mathbb{D}}_{\|T\|}\) 。
  • 預解恆等式： \(R_\lambda - R_\mu = (\lambda - \mu)R_\lambda R_\mu\) ； \(R_\lambda\) 在 \(\rho(T)\) 上全純。
  • 非空性靠 Liouville：複分析是譜論的「存在性引擎」。
  • 點譜：真特徵向量；近似點譜：幾乎特徵向量列——正規算子的譜=近似點譜。
  • 乘法算子：譜=乘子值域的閉包；特徵值=取值水平集正測度之處。
  • Volterra 算子： \(\sigma = \{0\}\) 而非特徵值——擬冪零的標本。
  • 譜映射： \(\sigma(p(T)) = p(\sigma(T))\) ；函數演算的第一塊磚。

名詞速查表#

  • **譜 \(\sigma(T)\) **： \(T - \lambda I\) 不可逆的 \(\lambda\) ；非空、緊、 \(\subset \overline{\mathbb{D}}_{\|T\|}\) 。
  • 預解式： \(R_\lambda = (T - \lambda I)^{-1}\) ， \(\rho(T)\) 上的全純函數值函數。
  • 預解恆等式： \(R_\lambda - R_\mu = (\lambda - \mu)R_\lambda R_\mu\) 。
  • 點譜/近似點譜：真特徵向量 / 幾乎特徵向量列。
  • 譜映射定理： \(\sigma(p(T)) = p(\sigma(T))\) 。
  • 擬冪零： \(\rho(T) = 0\) （如 Volterra 算子）。
  • 乘法算子譜： \(\sigma(M_g) = \overline{\operatorname{ran} g}\) 。

年表速查#

  • 1903：Fredholm 行列式零點=特徵值。
  • 1906：Hilbert 譜、預解核、連續譜。
  • 1913：Riesz 用圍道積分定義算子函數（Riesz 演算）。
  • 1918：Riesz 緊算子譜理論（Banach 空間前身的公理化）。
  • 1932：Banach《線性運算學》中譜論的公理化；Stone 酉群定理。
  • 1941：Gelfand 譜半徑公式。
  • 1943：Dunford 譜演算的系統化。
  • 1954：Dunford 譜可分解算子。
  • 1992–2005：Trefethen 偽譜理論復興。

深化問答三則#

問：為什麼譜的定義用「不可逆」而不是「非單射」？ 答：因為無窮維中可逆性有三種失敗方式（非單射、值域不稠、值域不閉），只談單射會漏掉連續譜——而連續譜正是物理上電離態、以及 4.2 節分類的主角。Fredholm 時代已經知道擇一定理需要值域條件；Riesz–Banach 的定義把三種失敗全部納入「譜」，最簡且最全。

問： \(\sigma(T) \subset \overline{\mathbb{D}}_{\|T\|}\) 何時取等號？ 答：自伴時 \(\sigma(T) \subset [-\|T\|, \|T\|]\) 且端點至少一個屬於譜（3.2 節範數公式）；酉算子譜佈滿單位圓的一部分；一般算子可以遠小於（Volterra： \(\|T\|=1\) 而 \(\sigma=\{0\}\) ）。範數與譜半徑的差=非正規性+非緊性的測度。

問：預解式全純有什麼用？ 答：三大用途：(1) Liouville 論證證譜非空；(2) 圍道積分定義 \(f(T)\) （Riesz–Dunford 演算）與譜投影；(3) 解析微擾理論：譜隨參數 \(\lambda(T + \epsilon V)\) 的移動由預解式的展開追蹤（Kato 微擾論，1976 成書）——量子力學的微擾計算（能級修正）的數學基礎。

（本節完）