1913-Weyl等距譜#

案件檔案表#

項目	內容
案發年份	1913
主偵探	Hermann Weyl
案發地點	Göttingen，Sturm–Liouville 理論與 Riemann 幾何的交界
案件類型	譜漸近學（asymptotics of eigenvalues）
關鍵證物	特徵值漸近公式 \(N(\lambda)\sim \dfrac{L}{\pi}\sqrt{\lambda}\)
涉案對象	正則與奇異 Sturm–Liouville 算子
案件地位	譜幾何的開山之作，「聽鼓辨形」的數學前奏
後續影響	Weyl 律（1911）、Carleman、Selberg、譜不變量理論

案發現場#

十九世紀末，Sturm–Liouville 理論已經相當成熟：區間 \([a,b]\) 上的正則問題

\[ -\frac{d}{dx}\left(p(x)\frac{dy}{dx}\right)+q(x)y=\lambda w(x)y,\qquad y(a)=y(b)=0 \]

擁有一列離散特徵值 \(\lambda_1<\lambda_2<\lambda_3<\cdots\to\infty\) 。物理學家早已計算出：當 \(p=w=1\) 、 \(q=0\) 時，特徵值就是 \(\lambda_n=\dfrac{n^2\pi^2}{L^2}\) （ \(L=b-a\) ），即兩端固定的弦的自然振動頻率的平方。

然而現場遺留一個未解之謎：對一般的位勢 \(q(x)\) 與權重 \(w(x)\) ，特徵值的「整體分佈」是否仍由區間長度決定？ 也就是說，位勢的細節（ \(q\) 的樣貌）會不會改變特徵值的漸近密度？

這個問題之所以重要，是因為它觸及一個深刻的哲學：微分算子的譜中，哪些資訊是「粗」的（由區域大小決定），哪些是「細」的（由幾何與位勢決定）？ Weyl 在 1911 年已對高維 Laplace 算子證明了著名的 Weyl 律，1913 年他轉向一維 Sturm–Liouville 情形，並把觸角伸向奇異端點——半無窮區間與連續譜的世界。

偵查過程#

Weyl 的偵查分三步。

第一步：清點證據——特徵值計數函數。 定義

\[ N(\lambda)=\#\{n:\lambda_n\le \lambda\}. \]

對最簡情形 \(\lambda_n=n^2\pi^2/L^2\) ，反解得 \(N(\lambda)\approx \dfrac{L}{\pi}\sqrt{\lambda}\) 。Weyl 猜測：這個「主項」對任何正則 Sturm–Liouville 問題都成立，位勢 \(q\) 只影響低階修正項。

第二步：比對指紋——漸近展開。 透過 Prüfer 變換（後人整理的語言）或 Weyl 本人的 \(m\) -函數技巧，可以證明：當 \(q\in L^1[a,b]\) 時，

\[ \lambda_n=\frac{n^2\pi^2}{L^2}+c+o(1),\qquad c=\frac{1}{L}\int_a^b q(x)\,dx \]

（在適當邊界規範下）。因此

\[ N(\lambda)=\frac{L}{\pi}\sqrt{\lambda}+o(\sqrt{\lambda}), \]

位勢只出現在 \(o(\sqrt{\lambda})\) 的誤差項中。區間長度 \(L\) 才是譜密度的「等距不變量」。

情形	特徵值	計數函數主項	誰決定
\(q=0\)	\(\dfrac{n^2\pi^2}{L^2}\)	\(\dfrac{L}{\pi}\sqrt{\lambda}\)	區間長度 \(L\)
一般 \(q\in L^1\)	\(\dfrac{n^2\pi^2}{L^2}+c+o(1)\)	\(\dfrac{L}{\pi}\sqrt{\lambda}+o(\sqrt{\lambda})\)	仍是 \(L\) ， \(q\) 降為誤差
奇異端點（ \([a,\infty)\) ）	\(\lambda_1\le\lambda_2<\cdots\to\infty\) 或連續譜 \([0,\infty)\)	視 limit-point/limit-circle 而定	端點的極限分類

第三步：奇異現場的偵查—— \(m\) -函數。 對半無窮區間 \([a,\infty)\) ，方程未必有離散譜；解可能平方可和（limit-point 情形一個、limit-circle 情形兩個）。Weyl 引入著名的 Weyl–Titchmarsh \(m\) -函數：

\[ m(\lambda)=\text{那個使解 } \psi_\lambda(x)=u(x)+m(\lambda)v(x) \text{ 在 } \infty \text{ 處 } L^2 \text{ 的係數}. \]

\(m(\lambda)\) 是上半平面的解析函數，它是奇異算子的「身份證」：譜測度可由 \(m\) 的 Stieltjes 反轉讀出。連續譜對應 \(m\) 在實軸上的分支切割；離散特徵值對應 \(m\) 的極點。譜的整體結構被壓縮進一個解析函數。

結案報告#

Weyl 結案：Sturm–Liouville 算子譜的漸近密度由「等距不變量」（區間長度、區域體積）決定，位勢的細節只影響低階項。 這是「譜的主項＝幾何的不變量」這一思想第一次被嚴格證明。

結案的遺產極為深遠：

Weyl 律（1911–1913）：對 \(\mathbb{R}^d\) 中區域 \(\Omega\) ，Laplace 算子滿足 \(N(\lambda)\sim \dfrac{\omega_d\,\mathrm{vol}(\Omega)}{(2\pi)^d}\lambda^{d/2}\) ，其中 \(\omega_d\) 是單位球體積。
Weyl–Titchmarsh \(m\) -函數：成為奇異 Sturm–Liouville 與 Schrödinger 算子譜論的核心工具，直通 1931 年 Weyl–von Neumann 奇異擾動定理。
譜幾何的起點：Kac 的「能不能聽出鼓的形狀？」（1966）、熱核展開、Selberg 迹公式，都是本案件的續集。

後續事件	繼承的證物
Weyl 律（高維）	計數函數 \(N(\lambda)\) 的主項思想
Weyl–von Neumann（1931）	\(m\) -函數與譜測度的奇異擾動
Kac 聽鼓（1966）	「主項決定體積、低階項決定邊界」的漸近階梯

證據與工具#

定理（Weyl 等距譜，一維）：設 \(p,w>0\) 、 \(q\in L^1[a,b]\) 為實值，正則 Sturm–Liouville 問題的特徵值 \(\lambda_n\) 滿足

\[ \lambda_n=\left(\frac{n\pi}{L}\right)^2+O\left(\frac{1}{n}\right)\ \text{（更精細展開含 } q \text{ 的均值）},\qquad L=b-a, \]

故 \(N(\lambda)=\dfrac{L}{\pi}\sqrt{\lambda}+o(\sqrt{\lambda})\) 。

證明骨架：

把二階方程化為一階系統，用相位的 Prüfer 變換 \(\theta\) ：振幅與相位解耦。
相位方程 \(\theta'=\dfrac{n\pi}{L}+O(q)\) ，積分一次得邊界條件處的相位匹配： \(\theta(b)-\theta(a)=n\pi+O(1/n)\) 。
由相位匹配反解 \(\lambda_n\) 的漸近式；計數函數由 \(n\approx \dfrac{L}{\pi}\sqrt{\lambda}\) 讀出。
奇異端點：以 \(m\) -函數的解析性與 Herglotz 表示處理，譜測度 \(\rho\) 滿足 \(m(\lambda)=\displaystyle\int \frac{d\rho(\mu)}{\mu-\lambda}\) 。

關鍵公式一覽：

公式	意義
\(N(\lambda)\sim \dfrac{L}{\pi}\sqrt{\lambda}\)	譜密度主項＝等距不變量
\(\lambda_n\sim \dfrac{n^2\pi^2}{L^2}\)	特徵值漸近的 \(n^2\) 項
\(m(\lambda)=\displaystyle\int \frac{d\rho(\mu)}{\mu-\lambda}\)	譜被壓縮為一個解析函數
limit-point / limit-circle	奇異端點的二擇一

一句話結論：Weyl 1913 證明——微分算子的譜聽起來像什麼，首先取決於空間的大小；位勢只是譜這首樂曲中的裝飾音。