跳轉到

5.1 Dirac 的 δ 函數#

本章導言#

有一個「函數」在物理學家中家喻戶曉，卻在半個世紀裡讓數學家如坐針氈：Dirac δ 函數。它「處處為零、只在原點無窮高、積分為 1」；它與任何連續函數相乘再積分，竟「抽出」該函數在原點的值；它求導一次得到「單位偶極」這個更奇怪的東西。這個對象在 1930 年代被物理學家大量使用（且算得又快又對），卻完全不符合當時的函數定義——它是一個函數嗎？如果不是，它憑什麼合法？ 本節講述 δ 的物理誕生（Paul Dirac 1930）、它解決的實際問題（衝擊、點電荷、瞬時力），以及數學家最初的三種抵抗與妥協——為 5.2 節 Schwartz 的最終解決埋下伏筆。

δ 的物理誕生：瞬時衝擊與點源#

Paul Adrien Maurice Dirac（1902–1984），量子力學的締造者之一（Dirac 方程 1928、正電子的預言 1931），在 1930 年的經典教科書《量子力學原理》（The Principles of Quantum Mechanics）中正式使用 δ：

\[ \int_{-\infty}^{\infty}\delta(x)\,dx = 1, \qquad \delta(x) = 0 \;(x \neq 0), \]

以及操作性質（篩選性質，sifting property）：

\[ \int_{-\infty^+}^{\infty^-}\delta(x)\,f(x)\,dx = f(0), \qquad \int \delta(x - a)\,f(x)\,dx = f(a). \]

物理動機俯拾即是：（1）瞬時衝擊：錘子敲釘子，力 \(F(t)\) 幾乎全部集中在瞬間，衝量有限——把「有限衝量、零時長」理想化為 \(\delta\) ；（2）點電荷：電荷集中在半徑為零的點，電荷密度函數只能是 \(\delta\) ；（3）質量點：質點的質量密度是 \(\delta\) ；（4）量子力學的歸一化：連續譜本徵態（位置算符的本徵態 \(|x\rangle\) ）無法用平方可積函數表示，Dirac 直接寫 \(\langle x|x'\rangle = \delta(x - x')\) 。δ 是「把點上發生的事寫進積分語言」的通用零件。

Dirac 自己對這個對象的態度是務實的：他在書中承認 δ 不是嚴格數學意義的函數，是「為了實用而引進的方便記號」，並自信「任何使用它的推理，最後都能換成不用它的嚴格論證」。他猜對了結論（可消除性，見下），但代價是每個論證都要手工嚴格化一次——效率低到難以忍受。

數學家的困境：三種抵抗#

δ 在 1930–1945 年間遭遇三種標準反對：

抵抗一：測度論的不可救藥。一個函數處處為零（除單點），其 Lebesgue 積分必為零（單點集零測度）—— \(\int\delta = 1\) 與 Lebesgue 理論正面衝突。函數概念裡沒有 δ 的位置。出路看似只有「改造積分」或「改造函數」。

抵抗二：Luzin 與經典分析的盡頭。用普通函數逼近 δ（如尖峰 \(d_\varepsilon(x) = \frac{1}{2\varepsilon}\chi_{[-\varepsilon,\varepsilon]}\) ）永遠是「極限不存在」：逐點極限在 0 處是 \(+\infty\) 、其餘為 0，不是函數；一致極限更無（幅值爆炸）。δ 是極限過程，不是函數——但物理學家需要的是能寫進公式的「對象」，不是一段極限的口令。

抵抗三：微分鏈條斷裂。階躍函數 \(u(t)\) 的導數按任何經典意義都是 0（除跳點未定義）——但物理上 \(u' = \delta\) 顯然「應該」成立（單位斜坡導出尖峰）。經典微積分無法賦予此等式意義，而它是電路理論（階躍響應與衝擊響應互為導數關係，7.1 節）的日常操作。

妥協一（Heaviside 的運算微積分）：其實 Oliver Heaviside（1850–1925） 早在 1880–90 年代就在電報方程中使用同類對象（他的「單位函數」與形式微分），發展了運算微積分（operational calculus）——把 \(\frac{d}{dt}\) 當代數符號操作。數學家（如 Jeffreys、Bromwich）後來用 Laplace 變換把 Heaviside 的算術合法化（9.3 節），但 δ 本身的合法性仍未解決。Heaviside 的名言：「我應該對不可理解者表示遺憾嗎？我才不管什麼正規的連續性！」

妥協二（序列與弱極限）：把 δ 定義為近似恆等核的極限（Gauss 尖峰 \(g_\sigma\) 、Fejér 型核等）：對「好的」檢驗函數 \(\varphi\) ， \(\lim_{\sigma\to0}\int g_\sigma\varphi = \varphi(0)\) 。這就是「弱收斂」語言（1930s，Leray、Sobolev 已在 PDE 中使用「弱解」概念）——Sergei Sobolev（1908–1989） 在 1936 年的論文已實質定義了「廣義導數」與廣義函數的雛形，用於雙曲方程的弱解。Sobolev 是先驅，但他的理論侷限於 PDE 技術需求，未發展成通用演算。

可消除性：δ 的用法為何總是「對的」#

Dirac 的自信有一條數學根據，叫可消除性原理：凡 δ 參與的積分等式，都可以翻譯成「對檢驗函數 \(\varphi\) 逐條驗證」的等式。範例： \((\delta * f) = f\) 的嚴格化是 \(\int (\delta * f)\varphi = \int f\,\varphi\) 對一切 \(\varphi\) 成立——而右式可由近似恆等核的極限證明。δ 從不出現在結論中，只出現在過程中——它像一種「速記」：用完即可展開成嚴格證明。1945 年前的數學家正是這樣「忍受」δ 的：能用，但每用一次就要手工消除一次。

但有些公式不可消除（至少極費力）： \(\delta'\) （偶極）、 \(\delta^2\) （無意義）、非線性組合 \(\delta(f(x)) = \sum\frac{\delta(x - x_i)}{|f'(x_i)|}\) ……需要一套封閉的演算：在對象之間直接運算而不用每次回到函數。這正是 Schwartz 1945 年的貢獻（5.2 節）：把 δ 從「記號」升格為「對象」，讓演算在對象層面自洽。

一個具體例題#

例題 5.1.1：用近似恆等核序列 \(d_\varepsilon(x) = \frac{1}{2\varepsilon}\chi_{[-\varepsilon,\varepsilon]}(x)\) 驗證 δ 的三大操作性質：（1）篩選性 \(\int d_\varepsilon\varphi \to \varphi(0)\) ；（2）捲積單位元 \(\lim(d_\varepsilon * f) = f\) （逐點， \(f\) 連續處）；（3）階躍導數 \(u_\varepsilon' = d_\varepsilon\) （其中 \(u_\varepsilon\) 為平滑化階躍），從而 \(u' \stackrel{weak}{=} \delta\) 。

解：

（1）積分拆段： \(\int d_\varepsilon(x)\varphi(x)dx = \frac{1}{2\varepsilon}\int_{-\varepsilon}^{\varepsilon}\varphi(x)dx = \frac{1}{2\varepsilon}\cdot 2\varepsilon\cdot\varphi(\xi_\varepsilon)\) （連續函數的積分中值定理， \(\xi_\varepsilon \in [-\varepsilon,\varepsilon]\) ）。 \(\varepsilon \to 0\) 時 \(\xi_\varepsilon \to 0\) ，故極限 \(= \varphi(0)\) 。 \(\blacksquare\)

（2） \((d_\varepsilon * f)(t) = \frac{1}{2\varepsilon}\int_{-\varepsilon}^{\varepsilon}f(t - s)\,ds = \frac{1}{2\varepsilon}\int_{t-\varepsilon}^{t+\varepsilon}f(u)du\) ——恰為 \(f\) 在 \(t\) 附近 \(2\varepsilon\) 窗的移動平均；由連續性，窗口縮小時平均 \(\to f(t)\) 。δ 捲積 = 恆等的極限過程（4.3 節「與矩形窗捲積」的窗口 \(\to 0\) 極限）。 \(\blacksquare\)

（3）定義 \(u_\varepsilon(t) = \int_{-\infty}^{t}d_\varepsilon(s)\,ds\) （連續的「斜坡化階躍」：在 \([-\varepsilon, \varepsilon]\) 線性爬升）。逐點求導得 \(u_\varepsilon'(t) = d_\varepsilon(t)\) （精確等式，平滑函數間）。令 \(\varepsilon\to0\) ： \(u_\varepsilon \to u\) （階躍，除跳點）、 \(d_\varepsilon \to \delta\) （弱意義）。自然的結論： \(u' = \delta\) ——在「導數取弱極限」的意義下成立。經典分析在此断裂，弱導數語言在此接軌（Sobolev 1936 的精神，Schwartz 1945 的正式化）。 \(\blacksquare\)

三個計算合起來演示了 δ 的本質：它是一個「泛函」——把檢驗函數映到 \(\varphi(0)\) 的機器；一切性質都在「作用於檢驗函數」的層面成立。這句話正是 5.2 節 Schwartz 理論的定義核心。

歷史啟示#

  • 物理學家的記號 vs. 數學家的對象：δ 先是記號（Dirac 自知），後成為對象（Schwartz）。「先敢用、後敢定義」是數學物理的共同節奏（1.1 節 Fourier 的「任意函數」同款劇本）。
  • 可消除性保護了早期使用者：Dirac–Heaviside 的計算沒有錯，因為他們的每個公式都可翻譯回嚴格語言——「能消除」的速記是安全的速記； \(\delta^2\) 這種不能消除的記號才真正危險。
  • 抵抗的正當性：1930 年代數學家的抵制不是頑固——那時還沒有能容納 δ 的框架，而「容忍邏輯漏洞」的路線曾毀掉 18 世紀分析。正確的態度是「建新框架」而非「降低標準」；Schwartz 走的正是前者的路。

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

  • 4.3 節：捲積單位元的缺席 → 本節的 \(\delta * f = f\) 。
  • 4.1 節：練習中「常數函數的譜是什麼」→ \(\widehat{1} = 2\pi\delta\) （5.3 節）。
  • 5.2 節：Schwartz 分配理論——δ 的嚴格家園。
  • 5.3 節：δ 的傅立葉轉換 = 1；梳狀函數（Dirac comb）的轉換 = 梳狀——取樣定理（6.1 節）的引擎。
  • 6.1 節：取樣 = 訊號 × Dirac 梳。
  • 7.1 節：衝擊響應 = LTI 系統對 δ 輸入的輸出——系統的「指紋」。
  • 9.1 節：點源驅動的 PDE（熱點、點電荷）的基本解 = Green 函數，δ 驅動的解。
  • 量子力學：位置/動量本徵態的正交歸一 \(\langle x|x'\rangle = \delta(x-x')\) ；測量的投影形式。

練習#

  1. 用 Gauss 尖峰 \(g_\sigma(x) = \frac{1}{\sqrt{2\pi}\sigma}e^{-x^2/2\sigma^2}\) 重做例題（1），驗證篩選性（提示： \(\varphi\) 連續 + 中值估計）。
  2. 計算 \(\int_{-1}^{2}\delta(x - 3/2)\,x^2\,dx\) 與 \(\int_0^\infty \delta(x)\cos x\,dx\) （後者按慣約為 \(\frac12\) ？——討論半無限區間上 δ 積分的約定歧義： \(1\) 、 \(\frac12\) 、 \(0\) 各派的理由）。
  3. 證明尺度性質： \(\delta(ax) = \frac{1}{|a|}\delta(x)\) （ \(a\neq 0\) ），並用它計算 \(\int\delta(2x - 4)f(x)dx = \frac12 f(2)\) 。
  4. 物理應用：一質量 \(m\) 在 \(t = 0\) 受衝量 \(J\) ，速度從 \(v_0\) 跳到 \(v_0 + J/m\) 。寫出力 \(F(t) = J\,\delta(t)\) ，驗證 \(\int F\,dt = J\) ，並由 \(m\frac{dv}{dt} = F\) 積分得速度跳變——δ 使「瞬時過程」可寫進微分方程。
  5. 思考題：三維點電荷密度 \(\rho(\mathbf{r}) = q\,\delta^{(3)}(\mathbf{r})\) 。用 Gauss 定律直接驗證其電場是 \(\frac{q}{4\pi\varepsilon_0}\frac{\hat r}{r^2}\) ——點源 + δ 語言 = 球對稱基本解（9.1 節 Green 函數的電磁版）。

進階研讀：δ 的五個深化場景#

場景一：多維 δ 與球座標。 \(\delta^{(3)}(\mathbf{r}) = \delta(x)\delta(y)\delta(z)\) ；在球座標下的表示 \(\delta^{(3)}(\mathbf{r} - \mathbf{r}_0) = \frac{\delta(r - r_0)\delta(\theta - \theta_0)\delta(\phi - \phi_0)}{r^2\sin\theta}\) ——Jacobian 除法（體積元必須歸一）。這是 9 章 PDE 點源問題（球諧展開、Green 函數）的標準配件；忽略 Jacobian 是學生最常見的錯誤。

場景二：δ 的導數家族。 \(\delta'\) （偶極：對反對稱檢驗函數的響應）、 \(\delta''\) ……分佈意義下一切階可微。物理範例：電偶極子的電荷密度 \(-\mathbf{p}\cdot\nabla\delta^{(3)}(\mathbf{r})\) ——多極展開（單極 = δ、偶極 = δ′、四極 = δ″ 型）把複雜電荷分布編碼為 δ 的導數級數，是電磁學與聲學（偶極聲源）的統一語言。

場景三：Dirac 梳（Shah 函數）。 \(\text{III}_T(t) = \sum_{n}\delta(t - nT)\) ：無窮間距 \(T\) 的脈衝列。兩個神奇性質：（1）自對偶： \(\widehat{\text{III}_T} = \frac{1}{T}\text{III}_{2\pi/T}\) ——梳的譜還是梳！（5.3 節用分配證明）；（2）抽樣： \(f\cdot\text{III}_T\) = 取樣訊號。Dirac 梳是第 6 章全部內容的數學樞紐——取樣定理本質上是「梳 × 訊號 = 頻譜複製」這一句話的展開。

場景四：δ 與機率論。退化分布（常數隨機變數）的「密度」是 δ；特徵函數 \(\varphi = e^{-i\omega a}\) 常數模長。機率測度視角：δ 是 Dirac 測度 \(\mu(A) = 1\) （ \(0\in A\) ），它本來就是合法的測度！——測度論其實早就容納了 δ（作為測度），只是不容納「δ 是函數」。Schwartz 的洞見正在於：要容納的不是函數 δ，而是「作用於函數的連續線性泛函」δ——兩者的對象層次不同。

場景五：δ 在數值中的化名。數值計算的「脈衝輸入」從來不是真 δ，而是寬度 = 網格 \(\Delta t\) 的方波或 Gauss 尖峰。δ 的數值誤差：衝擊響應的離散化誤差、點源 PDE 的網格效應——都是「δ 的近似恆等核在有限解析度下的行為」問題。第 6 章 DFT 中 \(N = 1\) 的輸入（單點脈衝）的譜是平的（全頻率等幅）——數位世界的 δ 天生是白雜訊，這個事實是系統識別（7.1 節）用脈衝輸入測頻率響應的根據。

補充：Dirac 其人#

Dirac 1902 年生於布里斯托，父親是瑞士裔法語教師，家規嚴苛（據 Dirac 回憶，父親規定家中只說法語，他因不善言辭而終生沉默寡言——「Dirac 的沉默」成為物理學圈的傳說）。他在劍橋的盧卡斯講座（Newton 的席位）上課時，學生提問他常答「這是一個自明的事實」；有人問他對 Pauli 的態度，他答「我不認識他」。但他的數學物理品味極端純粹：數學美是選擇理論的唯一標準。1933 年與 Schrödinger 共獲諾貝爾獎（因正電子的理論預言）。他 1930 年引進 δ 的那句自白——「這些是我們在理論中需要的函數，雖然它們不是真正的函數」——在 15 年後被 Schwartz 的理論兌現為「它們是真正的對象，只是不是函數」。

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

  • δ 函數：單位脈衝；處處零、積分一（非嚴格函數）。
  • 篩選性質： \(\int\delta(x-a)f(x)dx = f(a)\) ；δ 的操作性質定義。
  • 近似恆等核： \(d_\varepsilon\) 型尖峰族；δ 的構造性逼近。
  • 可消除性：δ 公式可翻譯為檢驗函數等式；早期合法性的根據。
  • 弱收斂 / 弱導數：在檢驗函數上的收斂/求導；Sobolev 的先驅概念。
  • Heaviside 階躍 \(u(t)\) ： \(u' = \delta\) （分配意義）。
  • 尺度性質： \(\delta(ax) = \frac{1}{|a|}\delta(x)\) 。
  • **偶極 \(\delta'\) **：δ 的導數；多極展開的第一階。
  • Dirac 梳 \(\text{III}_T\) ：脈衝列；取樣與傅立葉對偶的主角。
  • Dirac 測度：測度論中 δ 的合法身份。

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

  • 1880s–1890s：Heaviside 運算微積分，單位函數初現。
  • 1902：Dirac 生於布里斯托。
  • 1928：Dirac 方程（量子力學相對論形式）。
  • 1930：《量子力學原理》正式使用 δ。
  • 1936：Sobolev 弱解與廣義導數。
  • 1945：Schwartz 分配理論（5.2 節）。
  • 1950：Schwartz《分配理論》專著出版；δ 獲得嚴格家園。
  • 1950：Fields 獎（1950）授予 Schwartz——分配理論登堂入室。
  • 1957：Dirac 梳與取樣理論在工程界的系統化（6.1 節）。

深化問答三則#

問：δ 到底「是」什麼？一句話。 答：δ 是一個連續線性泛函： \(\delta(\varphi) = \varphi(0)\) ——它吃進一個（足夠好的）函數、吐出該函數在原點的值。這句話（Schwartz 的定義）把「處處零、無窮高、積分一」全部降級為啟發式比喻——比喻好用，但定義只有一句。

問：為什麼物理學家用 δ 從來不出錯？ 答：因為他們的使用方式（線性積分、與光滑函數搭配、平移縮放）恰好在可消除性覆蓋範圍內；物理系統的響應是線性平移不變的，δ 進、光滑解出——線性系統是 δ 的天然安全區。出錯的情況（ \(\delta^2\) 、非線性泛函 δ）在物理上對應「兩個瞬時衝擊在同點相乘」這種本就無定義的問題。

問：既然 Sobolev 1936 已有廣義導數，為什麼榮耀歸 Schwartz？ 答：Sobolev 的定義服務於特定 PDE（弱解空間 \(W^{m,p}\) ），是工具；Schwartz 1945 的理論是體系：他定義了檢驗函數空間 \(\mathcal{D}\) 與對偶空間 \(\mathcal{D}'\) 的完整演算（線性組合、導數無限次、乘以光滑函數、捲積、傅立葉轉換——5.2–5.3 節），使 δ 家族獲得與普通函數同等的代數公民權。工具與體系的差別，如同「會算」與「有公理」的差別。

（本節完）