6.3 連續譜與譜積分#

本章導言#

緊自伴算子的譜是可數的離散點——但自由粒子的 Hamilton 算子 $-\Delta$ 譜是整條半直線 $[0, \infty)$ ，沒有一個特徵向量（平面波 $\delta$ 分布不在 $L^2$ ）。1906 年 Hilbert 已看到連續譜的存在；von Neumann（1929–1932） 用投影值測度（PVM） 完成最終形式：自伴算子=對實譜的譜積分

\[ T = \int_{\sigma(T)} \lambda\, dE_\lambda, \]

其中 $E_\lambda$ 是投影值測度。這是譜理論的頂峰：點譜與連續譜被測度論統一，特徵展開升級為譜表示。本節沿著「乘法算子是模型」的路線建立譜定理，並展示 Stone 的酉群版本。

對角化思想的最終形式#

定理 6.3.1（正規算子譜定理，von Neumann 1929）： $T \in \mathcal{B}(H)$ 正規。則存在唯一投影值測度 $E : \mathcal{B}(\mathbb{C}) \to \mathcal{B}(H)$ （值為投影、可數可加）使

\[ T = \int_\mathbb{C} z\, dE(z), \qquad f(T) = \int_\mathbb{C} f(z)\, dE(z) \ (\text{連續函數演算}). \]

結構定理（乘法模型）： $T$ 酉等價於乘法算子：存在測度 $\mu$ 與重數函數 $m$ 使 $H \cong L^2(\mu, \mathbb{C}^{m(\cdot)})$ 、 $T \cong M_z$ 。

證明思路：先對乘法算子驗證： $M_z$ 的譜=乘子值域的閉包， $E(\Omega)$ = 「乘 $\mathbf{1}_\Omega$ 的算子」，一切演算化為函數逐點演算——測度論直接給出 PVM。一般正規算子的歸約：用 Stone–Weierstrass 把 $C^*(T)$ （ $T$ 生成交換 $C^*$ 代數，8.2）表示為函數代數，譜空間的測度構造（Riesz 表示定理的高級形式）給出 $E$ 。∎

點譜與連續譜的統一： $\lambda$ 是特徵值 $\iff$ $E(\{\lambda\}) \neq 0$ （原子）；連續譜=非原子部分的支撐。譜分解不再需要特徵向量：連續譜上的「廣義特徵向量」（Dirac 的 $\delta$ 、平面波）在 $H$ 之外，但投影值測度在 $H$ 之內。

例題#

例題 6.3.1：對 $H = L^2[0,1]$ 上的 $M_x$ ：(a) 寫出譜測度與譜積分；(b) 計算 $e^{iM_x}$ 、 $(M_x)^2$ 、並驗證 $\sigma(e^{iM_x}) = e^{i[0,1]}$ 。

解：(a) $(E(\Omega)f)(x) = \mathbf{1}_\Omega(x)f(x)$ ：投影=乘示性函數。譜積分 $T = \int_0^1 \lambda\, dE_\lambda$ 就是「乘 $x$ 」的測度論改寫：對簡單函數 $\sum c_j\mathbf{1}_{\Omega_j}$ ， $\int c\, dE = \sum c_j M_{\mathbf{1}_{\Omega_j}}$ ，按測度收斂升級到 $x$ 本身。

(b) $e^{iM_x}$ = 乘 $e^{ix}$ 的算子（函數演算=函數合成！）； $(M_x)^2$ = 乘 $x^2$ 。譜映射： $\sigma(e^{iM_x}) = \overline{e^{i[0,1]}}$ （連續函數演算的譜映射性質 $\sigma(f(T)) = f(\sigma(T))$ ，8.2 節證明）。∎

例題 6.3.2（Stone 定理的應用）： $H = L^2(\mathbb{R})$ ，平移群 $(U(t)f)(x) = f(x - t)$ 。證明 $U(t) = e^{itD}$ 其中 $D = -i\frac{d}{dx}$ （自伴、 $\sigma(D) = \mathbb{R}$ ），並寫出譜積分形式。

解：Fourier 變換 $\mathcal{F}$ （酉，3.3 節）把平移對角化： $\mathcal{F}U(t)\mathcal{F}^{-1} = M_{e^{-it\xi}}$ ——平移在頻率空間是乘法（這正是 Fourier 分析的本質：卷積→乘法）。 $D = \mathcal{F}^{-1}M_\xi\mathcal{F}$ ， $\sigma(D) = \sigma(M_\xi) = \mathbb{R}$ （連續譜）。譜積分：

\[ U(t) = \int_\mathbb{R} e^{it\xi}\, dE_\xi, \qquad (E_\Omega f)\;\hat{}\; = \mathbf{1}_\Omega\hat f. \]

動量算子 $D$ 的譜=實軸=頻率；位置算子 $M_x$ 與動量算子 $D$ 經 Fourier 變換酉等價——量子力學的共軛變量在算子語言中是「同一算子的兩種表示」。∎

函數演算與譜映射#

譜積分給出完備的函數演算：

演算	定義域	關鍵性質
多項式演算	$p(T) = \sum a_kT^k$	譜映射 $p(\sigma)$ （4.1）
連續演算	$f \in C(\sigma(T))$	$\|f(T)\| = \sup_{\sigma}
Borel 演算	有界 Borel $f$	$f(T) = \int f\, dE$ ；機率詮釋

自伴情形的範數公式： $\|f(T)\| = \sup_{\lambda \in \sigma(T)}|f(\lambda)|$ ——演算是等距的，這使 $C(\sigma(T))$ 與 $C^*(T)$ 等距同構（8.2 節 Gelfand–Naimark 定理的特例）。Borel 演算進一步允許 $f = \mathbf{1}_\Omega$ （譜投影）與 $f = \delta$ 型的機率測度（譜定理的量子力學詮釋： $\langle f(T)\psi, \psi\rangle = \int f\, d\mu_\psi$ ， $\mu_\psi(\Omega) = \|E_\Omega\psi\|^2$ 是測量值落在 $\Omega$ 的機率）。

歷史啟示#

von Neumann 的突破：1929 年論文《論無窮維線性方程組的代數》一舉建立 Hilbert 空間公理、正規算子譜定理、投影值測度。1932 年《量子力學的數學基礎》將其物理化。連續譜不再是障礙而是測度論的日常。
乘法算子是「萬能模型」：任何正規算子酉等價於乘法——譜理論=把算子變成函數。這個思想在 Gelfand 理論（8.1）抽象化：交換代數=函數空間。
Stone 1930 年的並行工作：Stone 定理（酉群↔自伴生成元）與 von Neumann 譜定理互補：一個處理時間演化、一個處理瞬時結構。兩者的結合（ $U(t) = e^{itH}$ 的譜分解=能量表示）是量子力學的數學核心。

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

6.1、6.2 節：譜積分是「有限項加權投影和」（6.1）與「可數級數」（6.2）的測度論完成。
3.3 節：投影值測度=投影的連續族；Stone 定理在 3.3 已預告。
第 7 章：無界自伴算子（微分算子、位置與動量）的譜定理是本節的真正應用——von Neumann 理論對無界情形幾乎逐字成立（7.1–7.3）。
第 8 章：投影值測度的抽象化=可換 von Neumann 代數（8.3）；連續演算的範數公式= $C^*$ 恆等式。
第 9 章：酉群的譜分解=Stone 定理的證明引擎；收縮半群的 Sz.-Nagy 膨脹把半群嵌入酉群。
第 10 章：量子測量的機率論（Born 規則=譜測度）、譜表示與散射理論（波算子把連續譜「對角化」到自由算子）。

練習#

對 $M_x$ 驗證投影值測度的可數可加性： $E(\bigsqcup \Omega_j) = \sum E(\Omega_j)$ （強收斂意義）。
計算 $\langle e^{iM_x}f, f\rangle$ 的顯式表示，並驗證它是正定函數（Bochner 定理的試金石）。
用譜積分證明：自伴 $T$ 的譜 $\subset [a, b] \iff aI \le T \le bI$ 。
對平移群 $U(t)$ ：驗證 $U(s)U(t) = U(s+t)$ 、強連續，並求生成元的定義域。
思考題：連續譜中「廣義特徵向量」（平面波）不在 $H$ 中。說明 PVM 如何繞開這個困難：投影 $E_{[\xi, \xi + d\xi]}$ 的「密度」才是物理量。

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

場景一：Nagy 膨脹定理。Sz.-Nagy（1953）：任何壓縮半群 $T(t)$ 可膨脹為酉群 $U(t)$ （ $T^n = P U^n$ 的離散版）。這把非酉（耗散）系統嵌入更大的守恆系統——Lax–Phillips 散射理論（1967）與系統理論（H∞ 控制）的基礎。譜定理的「酉模型」由此成為一切半群的模板。

場景二：譜重數與分類的完成。Halmos（1950s）的重數理論：正規算子由譜測度類+重數函數完全分類（4.3 場景一）。連續譜情形重數函數是 Borel 函數，可取無窮大——「連續譜的重數」是 20 世紀算子理論的精緻成就，應用於 Heisenberg 群表示、廚房般的譜分解（direct integral 分解，Mackey 1950s）。

場景三：量子力學的 Born 規則。譜定理的機率詮釋：狀態 $\psi$ 下測量 $T$ 得值在 $\Omega$ 的機率 $= \|E_\Omega\psi\|^2$ 。這不是附加假設而是 PVM 的數學內容——von Neumann 1932 年證明：任何滿足合理公理的「測量理論」必為 PVM（後來推廣為 POVM，效應代數）。物理的隨機性在數學上是投影值測度的非交換性。

名詞速查表#

投影值測度（PVM）： $E : \mathcal{B}(\mathbb{C}) \to \text{投影}$ ，可數可加、 $E(\mathbb{C}) = I$ 。
譜積分： $T = \int z\, dE(z)$ ； $f(T) = \int f\, dE$ 。
乘法模型：正規算子≅ $M_z$ 在 $L^2(\mu, \mathbb{C}^m)$ ；direct integral。
連續演算： $\|f(T)\| = \sup_{\sigma}|f|$ （自伴/正規）。
原子/連續部分： $E(\{\lambda\}) \neq 0$ / 非原子支撐。
Stone 定理： $U(t)$ 強連續酉群 $\iff$ $U(t) = e^{itH}$ ， $H$ 自伴。
Born 規則： $P(T \in \Omega) = \|E_\Omega\psi\|^2$ 。

年表速查#

1906：Hilbert 發現連續譜現象。
1910：Weyl 微分算子連續譜的系統研究。
1929：von Neumann 譜定理與 PVM。
1930：Stone 酉群定理。
1932：von Neumann《量子力學的數學基礎》；Stone《Hilbert 空間中的線性變換》。
1942–1950s：Nagy、Halmos 譜重數理論；Mackey direct integral。
1953：Sz.-Nagy 膨脹定理。
1967：Lax–Phillips 散射理論。

深化問答三則#

問：譜積分比特徵展開「多」了什麼？ 答：處理連續譜的能力與測度論的靈活性。特徵展開（6.2）要求譜離散；譜積分允許任意譜集，且投影值測度自動處理點譜（原子）與連續譜（非原子）的混合——氫原子的「束縛+電離」混合譜在 PVM 中是同一個測度的兩部分。此外 PVM 是唯一的（正規算子的譜測度唯一），而特徵向量系在簡併時不唯一。

問：為什麼連續函數演算的範數公式（等距性）如此重要？ 答：它是 $C^*$ 代數理論的樞紐： $\|f(T)\| = \sup|f|$ 使 $C(\sigma(T)) \to C^*(T)$ 是等距 $\ast$ -同構——「交換 $C^*$ 代數=連續函數」（8.2 的 Gelfand–Naimark 定理）的具體化。等距性保證演算無畸變：函數逼近→算子逼近的傳遞，是數值譜方法收斂性的根。

問：譜定理對非正規算子失效，那裡還剩什麼？ 答：剩餘的理論：偽譜（4.1）、極分解+奇異值（3.2 場景一）、Jordan 結構的無窮維遺骸（4.3 場景二）、以及「譜可分解算子」的狹窄類（4.1 場景三）。非正規世界沒有統一的譜理論——這是 20 世紀末算子理論的清醒結論，也是數值分析（偽譜方法）與數學物理（非自伴哈密頓量、開放量子系統）持續活躍的原因。

（本節完）

演算	定義域	關鍵性質
多項式演算	\(p(T) = \sum a_kT^k\)	譜映射 \(p(\sigma)\) （4.1）
連續演算	\(f \in C(\sigma(T))\)	$\|f(T)\| = \sup_{\sigma}
Borel 演算	有界 Borel \(f\)	\(f(T) = \int f\, dE\) ；機率詮釋