1931-Weyl奇異擾動#

案件檔案表#

項目	內容
案發年份	1931（Weyl–von Neumann 定理）
主偵探	Hermann Weyl 與 John von Neumann
案發地點	Göttingen，譜論與算子理論的交界
案件類型	奇異擾動理論（singular perturbation of spectra）
關鍵證物	緊擾動不改變本質譜；Weyl 序列 \(\\|(T-\lambda)x_n\\|\to 0\)
涉案對象	自伴算子 \(T\) 與緊（或 Hilbert–Schmidt）擾動 \(K\)
案件地位	連續譜病理的首次全面解剖，譜穩定性的判據
後續影響	本質譜理論、散射理論、Kato 擾動論

案發現場#

Weyl 在 1913 年證明了 Sturm–Liouville 譜的漸近定律；von Neumann 在 1929–1930 年建立了自伴算子的譜定理。但兩人共同面對一個毛骨悚然的現場：

微小的擾動可以徹底改變譜的連續部分。

Weyl 早在 1909–1910 年就發現（後稱 Weyl–von Neumann 現象）：Hilbert 空間上一個譜完全連續、毫無特徵值的自伴算子，加上一個範數可以任意小的（Hilbert–Schmidt）擾動後，譜可以變成在任意給定閉集上稠密的純點譜。例如乘法算子 \((Mf)(x)=xf(x)\) 於 \(L^2[0,1]\) ，譜為 \([0,1]\) 連續譜；存在 \(\|K\|\) 任意小的自伴緊擾動 \(K\) 使 \(M+K\) 有純點譜、特徵值在 \([0,1]\) 中稠密。

謎團是：擾動到底能改變譜的哪些部分？哪些部分雷打不動？ 如果連續譜可以被任意小的擾動重塑，那麼「連續譜」這個概念的物理與數學意義何在？數值計算中的離散化誤差會不會把真實的連續譜完全扭曲？

偵查過程#

第一步：辨識不變量——本質譜。 偵查的核心是找出一個「雷打不動」的譜子集。von Neumann 與 Weyl 辨識出：本質譜 \(\sigma_{\mathrm{ess}}(T)\) ——譜中除去孤立、有限重數特徵值後的其餘部分。它有多個等價刻畫：

刻畫	條件
譜結構	\(\sigma(T)\) 去掉孤立有限重數特徵值
Weyl 判據	\(\lambda\in\sigma_{\mathrm{ess}}(T)\iff\) 存在規範化序列 \(x_n\) 弱收斂到 \(0\) 使 \(\\|Tx_n-\lambda x_n\\|\to 0\)
Fredholm 性	\(\lambda\in\sigma_{\mathrm{ess}}(T)\iff T-\lambda I\) 不是 Fredholm 算子

其中 Weyl 判據是本案的關鍵證物：** \(\lambda\) 在本質譜中，當且僅當存在一列「幾乎特徵向量」 \(x_n\) ——它們規範化、彼此漸近正交（弱趨於 \(0\) ），且**

\[ \|(T-\lambda)x_n\|\to 0. \]

這就是著名的 Weyl 序列：特徵向量不在 Hilbert 空間中時，Weyl 序列是它留下的足跡——一列越來越像特徵向量、卻永遠抓不到的嫌疑人。

第二步：偵查手法——用 Weyl 序列收網。 對 \(L^2[0,1]\) 的乘法算子 \(M\) ，取 \(\lambda\in[0,1]\) ，令 \(x_n\) 為集中在 \(\lambda\) 附近、寬度趨於 \(0\) 的規範化特徵函數（例如 \(x_n\) 的支撐在 \([\lambda-1/n,\lambda+1/n]\) ）。則

\[ \|Mx_n-\lambda x_n\|^2=\int_{\lambda-1/n}^{\lambda+1/n}(x-\lambda)^2|x_n(x)|^2\,dx\le \frac{1}{n^2}\to 0, \]

且 \(x_n\) 弱收斂到 \(0\) 。故 \([0,1]\subset\sigma_{\mathrm{ess}}(M)\) ——連續譜的每一點都是本質譜點。

第三步：結案推演——緊擾動動不了本質譜。 設 \(K\) 緊自伴。Weyl 序列在緊擾動下倖存：若 \(x_n\stackrel{w}{\rightharpoonup}0\) 規範化，由緊性 \(\|Kx_n\|\to 0\) （緊算子把弱收斂到 \(0\) 的序列映成範數趨 \(0\) 的序列），故

\[ \|(T+K-\lambda)x_n\|\le\|(T-\lambda)x_n\|+\|Kx_n\|\to 0. \]

因此 \(\sigma_{\mathrm{ess}}(T)\subseteq\sigma_{\mathrm{ess}}(T+K)\) ，反之亦然：

\[ \sigma_{\mathrm{ess}}(T+K)=\sigma_{\mathrm{ess}}(T)\qquad (K\ \text{緊}). \]

緊擾動只能改變孤立特徵值（它們可以出現、消失、移動、積累），本質譜紋絲不動。

第四步：Weyl–von Neumann 定理的驚人推論。 反方向的偵查更駭人：Weyl 與 von Neumann 證明，對 \([0,1]\) 上任意稠密集 \(D\) ，存在 Hilbert–Schmidt（更「小」於緊）自伴擾動 \(K\) ，使 \(M+K\) 的譜是 \(D\) 中的純點譜（加上可能的端點）。範數任意小的擾動，可以創造出稠密的純點譜——連續譜在緊擾動下「碎裂」成點譜（spectral pollution 的鼻祖）。

結案報告#

Weyl–von Neumann 結案：緊擾動不改變本質譜；但連續譜的「細節」可以被任意小的擾動重塑為任意奇異測度的點譜。 判定連續譜的正確工具是 Weyl 序列。

結案的遺產：

本質譜理論： \(\sigma_{\mathrm{ess}}\) 的多種刻畫（Weyl 判據、Fredholm 判據、Calkin 代數 \(\pi(T)\) 的譜，1950 年代）成為算子譜論的標準裝備。
譜穩定性判據：相對緊擾動（ \(K(T-z)^{-1}\) 緊，如短程位勢 \(V\in L^{d/2}\) ）不改變本質譜——散射理論的地基。
譜污染警示：數值計算中，離散化可能製造出「假特徵值」；Weyl–von Neumann 現象是這一陷阱的理論警告，直通現代數值譜論（Lewy–Descloux、Davies 反例）。
奇異連續譜的先聲：擾動可以製造奇異測度的譜——這一思想在 Almost Mathieu 算子、準晶模型中重演（後來的譜測度分類：純點／奇異連續／絕對連續）。

證據與工具#

定理（Weyl–von Neumann，1931）：設 \(T\) 為可分 Hilbert 空間上的自伴算子。則對任意 \(\varepsilon>0\) ，存在自伴 Hilbert–Schmidt 算子 \(K\) 使 \(\|K\|_{\mathrm{HS}}<\varepsilon\) 且 \(T+K\) 有純點譜（在 \(\sigma_{\mathrm{ess}}(T)\) 上稠密）。

定理（緊擾動不變性）： \(K\) 緊 \(\Rightarrow\sigma_{\mathrm{ess}}(T+K)=\sigma_{\mathrm{ess}}(T)\) 。

證明骨架：

Weyl 判據： \(\lambda\in\sigma_{\mathrm{ess}}(T)\iff\exists\,x_n\) ， \(\|x_n\|=1\) 、 \(x_n\stackrel{w}{\rightharpoonup}0\) ， \(\|(T-\lambda)x_n\|\to 0\) 。
緊算子的弱收斂性質： \(x_n\stackrel{w}{\rightharpoonup}0\Rightarrow\|Kx_n\|\to 0\) （由緊性與子列論證）。
兩方向夾擊得 \(\sigma_{\mathrm{ess}}\) 不變。
Weyl–von Neumann 構造：對角化逼近——把 \(T\) 的譜投影分成小區間，用秩一擾動逐塊「對角化」，誤差逐塊小於 \(\varepsilon/2^n\) ，總擾動的 Hilbert–Schmidt 範數 \(<\varepsilon\) 。

關鍵公式一覽：

公式	意義
\(\\|(T-\lambda)x_n\\|\to 0\) ， \(x_n\stackrel{w}{\rightharpoonup}0\)	Weyl 序列：本質譜判據
\(\sigma_{\mathrm{ess}}(T+K)=\sigma_{\mathrm{ess}}(T)\)	緊擾動的不變量
\(\\|K\\|_{\mathrm{HS}}=\left(\sum\\|Ke_n\\|^2\right)^{1/2}\)	Hilbert–Schmidt 範數：可任意小
\(T+K\) 純點譜、在 \(\sigma_{\mathrm{ess}}(T)\) 稠密	連續譜可被任意小擾動碎裂

一句話結論：Weyl–von Neumann 1931 破案——譜有「雷打不動」的本質部分與「隨擾動重塑」的奇異部分；Weyl 序列是偵測連續譜的雷達，而任意小的緊擾動足以把連續譜打碎成稠密的點譜。