1950 · 施瓦茨分布理論：讓 Dirac 的 δ 函數合法化#

1950 費爾茲獎（劍橋·美 ICM）：Laurent Schwartz，表彰分布（廣義函數）理論之創立

案情提要#

1920 年代末，物理學家 Dirac 為了量子力學方便，寫下一個數學上「不存在的函數」：

δ(x) = 0（x ≠ 0），δ(0) = ∞，∫δ(x)dx = 1

它有時要當函數微分（δ′ 也有意義）、有時要當積分核——物理學家照用不誤，數學家怒斥荒謬：一個除了一點以外處處為零的函數，積分怎麼會是 1？ von Neumann 甚至批評 Dirac 的數學「不嚴格到令人發指」。懸案：如何讓 δ 成為合法的數學對象？

前因#

調查：換掉「點的取值」這個概念#

Schwartz 的破案手法是釜底抽薪：函數不必由「逐點取值」定義，而由「與測試函數的配對」定義。

• 測試函數：φ ∈ C_c^∞（緊支集的光滑函數）——性質極好。
• 分布 T：測試函數空間上的連續線性泛函，記 ⟨T, φ⟩。
• 普通函數 f 的身分證：T_f(φ) = ∫ f(x)φ(x)dx。這樣每個局部可積函數都是一個分布——分布是函數概念的嚴格擴張。
• δ 的合法身分證：

⟨δ, φ⟩ = φ(0)——就是「取值於 0」這個動作本身，完全合法。

• 導數的奇蹟：分部積分把導數搬給測試函數： ⟨T′, φ⟩ = −⟨T, φ′⟩ 於是任何分布都無窮次可微——δ′、甚至 Heaviside 函數 H 的導數（H′ = δ）全部合法。

理論裁決#

• 分布空間 D′ 具備：無窮可微、傅立葉變換封閉、與卷積相容——PDE 的「基本解」理論自此嚴格：L E = δ 的解 E 稱為基本解，Malgrange–Ehrenpreis 定理證明常係數算子皆有基本解。
• 物理與數學的和解：量子場論的計算、訊號處理、機率（Dirac 測度、白噪聲）獲得共同語言。
• 註：Schwartz 後來是 1960 年《曼尼菲斯托》121 聯名反阿爾及利亞戰爭的首簽人，1960 年代被拒發護照錯過 ICM 演講——科學家介入政治的持續案例。

後果#

關聯#

• 下游：1954-Serre與譜序列、1990-Witten與拓撲量子場論