8.1 測不準原理的數學形式#

本章導言#

傅立葉變換的兩個世界——時間與頻率——存在一條不可逾越的交換法則：訊號在時域越集中，在頻域必然越分散。這就是測不準原理（uncertainty principle）：沒有任何函數能同時在時域與頻域都「窄」。它是本書反覆出現的「價碼表」（2.1 節）、「帶寬換 SNR」（7.3 節）、「窗長交換」（4.3、6.2 節）的最終理論形式。本節將以嚴格不等式陳述並證明它（Heisenberg–Weyl 不等式）、找出唯一達到下界的函數（Gauss）、追溯它從數學（Wiener）到物理（Heisenberg 1927）的誕生史，並討論其推論：完美定位與完美解析的互斥，是調和分析的邊界條件，也是第 8.2–8.3 節時頻方法的出發點。

定義與定理#

時域寬度與頻域寬度的標準定義（二階矩）：設 $f \in L^2(\mathbb{R})$ 、 $\|f\|_2 = 1$ （歸一化），其「重心」與「擴展度」：

\[ t_0 = \int t\,|f(t)|^2\,dt, \qquad (\Delta t)^2 = \int (t - t_0)^2|f(t)|^2\,dt, $$ $$ \omega_0 = \frac{1}{2\pi}\int\omega\,|\hat f(\omega)|^2\,d\omega, \qquad (\Delta\omega)^2 = \frac{1}{2\pi}\int(\omega - \omega_0)^2|\hat f(\omega)|^2\,d\omega. \]

定理（Heisenberg–Weyl 測不準不等式）：

\[ \boxed{\;\Delta t\;\Delta\omega \;\ge\; \frac{1}{2}\;} \]

等號成立 $\Leftrightarrow$ $f$ 是 Gauss 函數 $f(t) = Ce^{-a(t - t_0)^2 + i\omega_0 t}$ （ $a > 0$ ）。

證明（Cauchy–Schwarz 一步法）：不失一般性設 $t_0 = \omega_0 = 0$ （平移與調變不影響寬度乘積，4.2 節性質表）。由

\[ \|f\|_2^2 = -\int t\,\frac{d}{dt}|f|^2\,dt \;(\text{分部積分，邊界消失}) = 2\,\mathrm{Re}\int t\,f\,(-\overline{f'})\,dt, \]

故 $\frac12\|f\|_2^2 \le \left|\int t f\,\overline{f'}\right| \le \|t f\|_2\,\|f'\|_2$ （Cauchy–Schwarz）。而 $\|tf\|_2 = \Delta t$ ，且由微分性質（4.2） $\widehat{f'} = i\omega\hat f$ 給 $\|f'\|_2^2 = \frac{1}{2\pi}\int\omega^2|\hat f|^2 = (\Delta\omega)^2$ 。合併： $\frac12\|f\|^2 \le \Delta t\,\Delta\omega$ 。 $\blacksquare$

等號條件：Cauchy–Schwarz 取等要求 $f' = -atf$ （常數 $a$ ），解此 ODE 得 Gauss。Gauss 是時頻平面唯一「最平衡」的形狀——它在 4.2 節的自對偶性、本節的極值性、8.2 節 Gabor 基的最佳窗、量子力學的相干態中反覆登基。一個函數統治三個領域，這是調和分析最優雅的聯絡線。

物理：Heisenberg 的 1927#

Werner Heisenberg（1901–1976） 在 1927 年論文〈論量子理論運動學與力學的直觀內容〉提出著名的 $\Delta x\,\Delta p \ge \frac{\hbar}{2}$ ：位置與動量不可同時精確確定。其數學根源恰是傅立葉型論證：量子力學中動量算符 $-i\hbar\frac{\partial}{\partial x}$ 的波函數表示下，波函數的傅立葉變換正是動量表象——物理的測不準與數學的測不準是同一條定理（波函數 = 機率幅，動量譜 = 其 FT； $\hbar$ 只是單位換算因子）。Kennard（1927） 給出第一個嚴格證明；Robertson（1929） 推廣到任意兩個不對易算符 $A, B$ ： $\Delta A\,\Delta B \ge \frac12|\langle[A,B]\rangle|$ —— $[x, p] = i\hbar$ 的交換子是根、Fourier 是工具。

深層的歷史張力：測不準原理常被誤讀為「測量儀器的干擾」（Heisenberg 自己的顯微鏡論證就是這個版本）。但數學形式表明：它是波的本性，與測量技術無關——單色波（ $\Delta\omega = 0$ ）必然無限延伸（ $\Delta t = \infty$ ），這在經典波動（水波、聲波）中同樣成立。Einstein 對量子測不準的抵抗（EPR 1935）與數學家對不等式的無異議形成對照：不等式無可辯駁，詮釋仍在戰場。本書立場：先把不等式當數學定理掌握，詮釋問題（哥本哈根 vs. 多世界）留給物理哲學。

測不準的推論譜系#

測不準不等式不是孤立定理，而是一個家族：

帶寬–時長互斥（工程版）：帶限訊號（ $\Delta\omega$ 有限界）必然時域無限延伸——6.1 節 sinc 尾巴的本質。「帶限 = 零局部性」。
Donoho–Stark 極小支撐測不準（1989）：若 $\hat f$ 支撐在測度 $B$ 的集合、 $f$ 支撐在測度 $T$ 的集合，則 $|T|\,|B| \ge 1$ （支撐面積守恆，比二階矩版更「離散友好」——壓縮感知（10.2）用它證明唯一性）。
離散版： $N$ 點序列的時頻支撐滿足類似乘積下界；長球序列（Slepian, 1961） 精確解答「給定時窗內能量最大的帶限函數」——離散長球向量在譜估計（6.2 節場景五）與雷達、重力場分析中是標準工具。Slepian 的問題：「最能集中能量的波形是什麼？」——答案是一族特殊函數（長球波函數），它們是「時頻之間的極值幾何」。
Balian–Low 定理（1981）：不存在時頻同時良定位的完備正交 Gabor 基（8.2 節！）——「想用高斯窗做正交基，注定失敗」——除非放棄正交（frame）或放棄良定位。這條定理劃定了 8.2 節 Gabor 分析的理論天花板。
Paley–Wiener 光譜（4.2 節場景四）：支撐有限 $\Leftrightarrow$ 解析 $\Leftrightarrow$ 無局部突變——測不準的函數論化身。

一個具體例題#

例題 8.1.1：比較三種窗函數的時頻表現：（1）矩形窗 $\chi_{[-1,1]}$ ；（2）三角窗（Bartlett） $(1 - |t|)\chi_{[-1,1]}$ ；（3）Gauss 窗 $e^{-t^2}$ 。各計算 $\Delta t$ 、 $\Delta\omega$ 與乘積，驗證測不準並排序。

解：各歸一化後計算二階矩（讀者可自行驗證積分，這裡給結果）：

（1）矩形： $f = \frac{1}{\sqrt2}\chi_{[-1,1]}$ （ $\|f\|_2 = 1$ ）。 $(\Delta t)^2 = \int_{-1}^1 t^2\cdot\frac12 dt = \frac13$ ， $\Delta t = 0.577$ 。 $\hat f(\omega) = \sqrt2\,\frac{\sin\omega}{\omega}$ ， $(\Delta\omega)^2 = \frac{1}{2\pi}\int\omega^2\cdot 2\frac{\sin^2\omega}{\omega^2}d\omega$ ——積分發散（ $\int\sin^2\omega\,d\omega = \infty$ ）！ $\Delta\omega = \infty$ 。矩形窗的譜尾巴 $\frac{1}{\omega}$ 太肥，二階矩不存在——跳躍的代價（價碼表）使測不準不等式以 $\infty\ge\frac12$ 的平凡形式成立。工程解讀：矩形窗「最集中」於時域，頻域卻嚴重洩漏（6.2 節 $-13.3$ dB 旁瓣）。

（2）三角： $\hat f \sim \mathrm{sinc}^2$ （尾巴 $\frac{1}{\omega^2}$ ）， $\omega^2|\hat f|^2 \sim \frac{1}{\omega^2}$ ——積分仍發散（ $\int\frac{d\omega}{\omega^2}$ 收斂！注意： $\int\frac{\sin^4\omega}{\omega^2}d\omega$ 收斂）。重算： $\mathrm{sinc}^2$ 型 $\hat f \sim \frac{\sin^2\omega}{\omega^2}$ ， $\omega^2|\hat f|^2 \sim \frac{\sin^4\omega}{\omega^2}$ 可積 ✓。 $\Delta t = \sqrt{\frac{1}{10}} = 0.316$ （三角的自相關寬度較窄）， $\Delta\omega$ 有限但大；乘積 $> \frac12$ 且有限。**連續性換來了有限的 $\Delta\omega$ **——價碼表再次生效。

（3）Gauss： $f = \pi^{-1/4}e^{-t^2/2}$ 。 $(\Delta t)^2 = \frac12$ 、 $(\Delta\omega)^2 = \frac12$ ，乘積 $= \frac12$ 精確命中下界。Gauss 窗是唯一極小值點。

排序與教訓：矩形（時最窄、頻發散）→ 三角（折衷）→ Gauss（時頻雙優、乘積極小）。8.2 節短時傅立葉轉換用 Gauss 窗（Gabor，1946）不是偶然，而是測不準定理的直接推論：窗口要「時頻雙忠實」，Gauss 是唯一選擇。但 Balian–Low（見上）隨即警告：Gauss 窗做不成正交基——極值的代價是不能太「規整」。

歷史啟示#

數學先於物理：Wiener 在 1925 年前後已討論過「函數及其變換不能同時集中」的不等式（他自稱 Heisenberg 的原理是「他的定理的物理版」）；Hermann Weyl 的群論表述（1927–31）給出最優雅框架。物理的「驚人發現」常是數學既有定理的換裝——但承認這點並不貶低物理：知道定理存在與看出它支配世界，是兩種天才。
不等式作為設計約束：工程師不與測不準對抗，而是選擇在交換曲線上的最優點（窗長、帶寬、Q 值）。理論下界 = 工程邊界條件——本書各章的「交換」敘事（4.3、6.2、7.3）在此獲得統一的數學根。
Slepian 的悲劇美學：長球函數的研究（1961–78）在他生前是「美而無用」的邊緣領域，死後（2000s）成為譜估計、重力衛星（GRACE）、5G 波束設計的標準工具。數學的保鮮期以世代計。

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

2.1 節：價碼表是測不準的定性前奏；本節是定量定理。
4.2 節：縮放性質與 Gauss 自對偶——本節的代數基礎。
6.1–6.2 節：帶限–局部性互斥、時長–解析度交換。
7.3 節：帶寬–SNR 交換的 Shannon 版測不準。
8.2 節：Gabor 窗的選擇（測不準極小點）與 Balian–Low 的天花板。
8.3 節：小波——用多尺度（而非單窗）繞過單一測不準點。
10.2 節：Donoho–Stark 支撐測不準 → 壓縮感知唯一性。
量子力學： $[x,p] = i\hbar$ ；相干態 = Gauss；Schrödinger 貓態的時頻詮釋。

練習#

對 $f(t) = e^{-|t|}$ （Lorentzian 譜）計算 $\Delta t$ ，驗證 $\Delta\omega = \infty$ （指數尖點使高頻矩發散），歸納「光滑度 ↔ $\Delta\omega$ 有限性」的關係（價碼表的矩版）。
證明縮放不變性： $f_a(t) = \sqrt{|a|}\,f(at)$ 滿足 $\Delta t(f_a) = \frac{\Delta t(f)}{|a|}$ 、 $\Delta\omega(f_a) = |a|\,\Delta\omega(f)$ ——乘積不變。測不準是縮放不變量，這是它成為「基本常數」的原因。
平移與調變不變性： $f(t - t_0)e^{i\omega_0 t}$ 的 $(\Delta t, \Delta\omega)$ 不變。由此說明「時頻平面 $(t, \omega)$ 上的測不準」是平移–調變群的不變量（Weyl 觀點，8.2 節 Gabor 格點的理論背景）。
用 Donoho–Stark 定理證明：若 $f$ 與 $\hat f$ 都支撐在測度 $< 1$ 的集合上，則 $f = 0$ ——「訊號與譜不能同時都極窄」的絕對版（比二階矩版強）。
思考題：音樂中「一個音符」的持續時間與音高精度有測不準關係：極短促的敲擊（ $\Delta t$ 小）無法有純音高（ $\Delta\omega$ 大）。用此解釋：（a）為何打擊樂器（鼓）無固定音高；（b）為何顫音（vibrato）與跳音的音高感知不同；（c）MP3 對長音符與短音符的編碼差異（長窗 vs. 短窗切換，8.2 節的 MDCT 實務）。

進階研讀：測不準的五個深化場景#

場景一：Weyl 對偶與相空間。平移與調變生成Heisenberg 群；其不可約表示（Stone–von Neumann 定理，1930）唯一（Schrodinger 表象）——時頻平面 = 量子相空間，測不準 = 群表示論的必然。Weyl 的《群論與量子力學》（1928）把這條線打通；「傅立葉變換是 Heisenberg 群表示之間的相互紐帶」——10.1 節抽象譜理論的物理入口。

場景二：多重測不準與 Hardy 定理。Hardy 不等式（1933）：若 $|f(t)| \le Ce^{-\pi t^2}$ 且 $|\hat f(\omega)| \le Ce^{-\pi\omega^2}$ （兩邊都不慢於 Gauss），則 $f$ 是 $c\cdot$ Gauss——Gauss 是「雙邊高斯衰減」的唯一函數。比「乘積下界」更強的斷言：測不準不僅限制乘積，還限制同時的雙邊衰減形狀。推廣（Beurling、Cowling–Price）構成「測不準的分級光譜」。

場景三：波前集與奇性傳播。Hörmander 的波前集（wavefront set）：分配的奇性「位置 + 方向」的集合——微局部分析（microlocal analysis）是測不準原理的無窮維精細化：每個尺度、每個方向的時頻局部性都可定義。波方程奇性沿測地線傳播（光線！）、CT 的射線奇性——微局部語言統一了 PDE、成像、層析。8.3 節小波是其「可計算化身」。

場景四：相干態與量子光學。相干態（coherent state，Schrödinger 1926 提出、Glauber 1963 完備化）：Gauss 波包在時頻平面的全體平移–調變 $\{|t_0, \omega_0\rangle\}$ ——量子光學的「最古典」量子態（雷射光！）恰是測不準極小態。壓縮態（squeezed state，1980s 實現）故意打破 $\Delta t = \Delta\omega$ 的對稱（ $\Delta t < \frac{1}{2\Delta\omega}$ 的方向性壓縮）——測不準下界不可破，但可在軸間分配；LIGO 用壓縮光提升引力波測量靈敏度（2019 起常規運行）——測不準原理成為測量科學的設計參數。

場景五：熵形式的測不準。Shannon 熵版（Hirschman 1957、Beckner 1975 嚴格化）：

\[ h(f) + h(\hat f) \ge \ln\pi \;(\text{以適當歸一}), \]

熵版對「重尾」分布更穩健（二階矩不存在的分布如 Cauchy 也有意義）。信息論與調和分析在測不準處握手——Beckner 的證明（最佳常數問題）是 1975 年著名難題，用球諧函數展開 + 變分。同一原理的矩、支撐、熵三種形式，服務於不同的應用（工程、稀疏、統計）——一條數學原理的「多方言」現象。

補充：Gauss 窗的實務細節#

實際 Gabor 分析用離散化 Gauss： $g_\alpha[n] = e^{-\alpha n^2}$ 需截斷（計算機裡一切有限），截斷後不再精確極小——「最好的窗在實務中總是近似的」。工程常用的替代：Blackman–Harris、Kaiser（6.2 節表格）在「旁瓣抑制」上勝過截斷 Gauss，雖然二階矩乘積略大。理論極值點與工程最優點可以不同：測不準只約束 $(\Delta t, \Delta\omega)$ 二階矩，不管旁瓣——指標選擇決定「最優」的定義，這句話是本書的方法論總綱。

名詞速查表（本節出現的核心術語）#

測不準不等式： $\Delta t\,\Delta\omega \ge \frac12$ ；等號僅 Gauss。
二階矩寬度： $\Delta t, \Delta\omega$ 的定義；「工程標準差」。
Heisenberg–Weyl 群：平移–調變生成的群；時頻平面的對稱結構。
Robertson 不等式： $\Delta A\,\Delta B \ge \frac12|\langle[A,B]\rangle|$ ；算符版。
Donoho–Stark 測不準：支撐測度乘積 $\ge 1$ ；稀疏分析的根據。
長球函數 / 離散長球序列：時頻能量最集中的極值函數族（Slepian）。
Balian–Low 定理：無良定位正交 Gabor 基；8.2 節的天花板。
Hardy 不等式：雙邊高斯衰減的唯一性。
相干態 / 壓縮態：Gauss 波包的量子身分；測量科學的設計參數。
熵測不準： $h(f) + h(\hat f) \ge \ln\pi$ ；信息論形式。
波前集 / 微局部分析：奇性的位置–方向精細描述。

年表速查（本節涉及的關鍵年份）#

1925–27：Wiener 的預備不等式；Heisenberg 1927 原理。
1927：Kennard 嚴格證明；Schrödinger 相干態（波包）。
1928–31：Weyl 群論框架；Stone–von Neumann 定理。
1929：Robertson 推廣（一般算符）。
1933：Hardy 唯一性定理。
1946：Gabor 的時頻原子（8.2 節）。
1961：Slepian 長球函數。
1963：Glauber 相干態（量子光學）。
1975：Beckner 熵測不準最佳常數。
1981：Balian–Low 定理。
1985：Glauber 諾貝爾獎（相干態）。
1989：Donoho–Stark 支撐測不準。
2010s：壓縮光進入 LIGO 常規運行。

深化問答三則#

問：測不準原理是「無知」還是「本性」？ 答：本性。不等式對經典水波同樣成立（短促水波不可能是純音）；量子的特殊之處只是把「波」的地位提升為基本實在（波函數）。混淆「觀測干擾」與「波動本性」是科普最大誤區；數學形式（本節證明，一行 Cauchy–Schwarz）不涉及任何測量過程。

問：壓縮態「打破」測不準嗎？ 答：沒有。壓縮態把 $(\Delta t, \Delta\omega)$ 重新分配（如 $\Delta t <$ 極小值對應值），但乘積仍 $\ge \frac12$ ——不等式紋絲不動。打破的是「對稱分配的預設」，不是下界。這個細節教會我們：理論約束的精確形式（乘積）與人們的預設（對稱）是兩回事——讀定理要讀到「界」與「等號條件」兩層。

問：測不準原理「禁止」了什麼工程幻想？ 答：四個常見幻想。（1）無限帶寬的時域衝擊（δ 需要全頻譜——實際只能近似）；（2）完美帶限 + 完美時域定位同時成立（Donoho–Stark）；（3）用單一窗同時看清低頻長週期與高頻瞬態（8.2 節的動機，答案是變窗/小波）；（4）繞過香農容量（7.3）——帶寬–功率交換是測不準在通訊的化身。工程師讀測不準，讀的是「不可行域的地圖」。

（本節完）