跳轉到

8.3 函數方程與ZETA函數#

本章導言#

複分析的封神之作：把 Euler 的級數 \(\zeta(s) = \sum n^{-s}\) 延拓到整個複平面，發現它滿足一條神秘的函數方程，並以它的零點「看見」素數的分布。Riemann 1859 年的八頁論文《論小於給定值的素數個數》開創解析數論；素數定理（1896）、Riemann 猜想（1859 提出至今）都站在這八頁上。本節講述 \(\zeta\) 的延拓、函數方程、零點、與素數定理——複分析如何成為數論的顯微鏡。

從 Euler 級數到 Riemann 延拓#

Euler（1737）： \(\sum \frac1{n^s} = \prod_p \frac{1}{1 - p^{-s}}\) （ \(s > 1\) ， \(p\) 為質數）——級數 = 質數乘積，歐幾里得「質數無窮」的解析升級（ \(s = 1\) 發散 ⟺ 質數無窮，Euler 的證明）。Euler 還算出 \(\zeta(2n) = \frac{(2\pi)^{2n}}{2(2n)!}|B_{2n}|\) 的奇蹟公式——但級數只在 \(\operatorname{Re} s > 1\) 有定義，質數的深層結構藏在「看不見的區域」。

Riemann（1859）：把 \(\zeta(s)\) 延拓為全平面半純函數（除 \(s = 1\) 單極點，留數 1）。延拓手段（Riemann 原法）：

\[ \zeta(s) = \frac{1}{\Gamma(s)}\int_0^\infty \frac{t^{s-1}}{e^t - 1}\,dt \quad (\operatorname{Re} s > 1) \]

——把 Euler 級數化為 Mellin 變換，被積函數 \(\frac{1}{e^t - 1}\) 的週期性（ \(t \to t + 2\pi i\) ）使積分能解析延拓：函數方程的種子就在 \(\frac{1}{e^t - 1}\) 的極點週期裡。現代標準法： \(\theta\) 函數 \(\theta(t) = \sum e^{-\pi n^2 t}\) 的Jacobi 模變換 \(\theta(t) = t^{-1/2}\theta(1/t)\) （Fourier 分析的鏡像恆等式）→ \(\zeta\) 的延拓 + 函數方程一氣呵成。

函數方程#

\[ \boxed{\;\zeta(s) = 2^s \pi^{s-1}\sin\frac{\pi s}{2}\,\Gamma(1-s)\,\zeta(1-s)\;} \]

對稱形式（ \(\xi\) 函數）： \(\xi(s) = \frac12 s(s-1)\pi^{-s/2}\Gamma\left(\frac s2\right)\zeta(s)\) 滿足

\[ \xi(s) = \xi(1 - s). \]

** \(\xi\) 關於直線 \(\operatorname{Re} s = \frac12\) 對稱**——臨界線是函數的「鏡軸」。函數方程的三個即時後果：

  1. 平凡零點： \(\sin\frac{\pi s}{2}\) 在 \(s = -2, -4, \ldots\) 給零點（ \(\Gamma(1-s)\) 的極點掩蓋其餘負偶數？精確： \(\zeta(-2n) = 0\) ——負偶數是零點（「平凡零點」）； \(\zeta(-1) = -\frac{1}{12}\) （非零！著名的「 \(1 + 2 + 3 + \cdots = -\frac1{12}\) 」的解析延拓解讀——發散級數的 \(\zeta\) 正規化，物理弦論的維數正規化同源）。
  2. **臨界帶 \(0 < \operatorname{Re} s < 1\) **：非平凡零點全部住在這條帶裡（函數方程 + Euler 乘積在 \(\operatorname{Re} s > 1\) 無零點 + 對稱）。
  3. ** \(\zeta(0) = -\frac12\) 、 \(\zeta' (0) = -\frac12\log 2\pi\) **（分析延拓的基本常數）。

零點與素數：Riemann 的顯式公式#

對數導數（8.2 篂場景二）： \(\frac{\zeta'}{\zeta}(s) = -\sum \frac{\Lambda(n)}{n^s}\) （ \(\Lambda\) 為 von Mangoldt 函數）。素數計數 \(\psi(x) = \sum_{n \le x}\Lambda(n)\) 的顯式公式（Riemann 1859，von Mangoldt 1895 嚴格化）：

\[ \psi_0(x) = x - \sum_{\rho}\frac{x^{\rho}}{\rho} - \frac{\log 2\pi}{2} - \frac12\log(1 - x^{-2}), \]

\(\rho\) 遍歷 \(\zeta\) 的非平凡零點。主項 \(x\) + 零點的「波形」 \(\frac{x^\rho}{\rho}\) ——素數的階梯被零點的頻率譜合成（Fourier 思想：零點 = 頻率、 \(\operatorname{Im}\rho\) = 頻率大小、 \(\operatorname{Re}\rho\) = 阻尼）。素數定理： \(\psi(x) \sim x\) ⟺ \(\sum_\rho\) 波形是次階 ⟺ \(\operatorname{Re}\rho < 1\) （臨界線上無零點——Hadamard–de la Vallée Poussin 1896 以 \(\zeta(s + it)\) 的下界估計完成）。

Riemann 猜想（RH）：所有非平凡零點滿足 \(\operatorname{Re}\rho = \frac12\) 。若真：素數誤差 \(\psi(x) = x + O(\sqrt x \log^2 x)\) ——素數分布的隨機性達到「平方根噪音」的極限秩序。RH 是 Clay 千禧年七大問題之一；已驗證超過 \(10^{13}\) 個零點在臨界線上，且 Levinson–Conrey 證明至少 40% 的零點在線上——但證明遙遙無期。「一條幾何直線上全部零點」——複分析給數論提出了最深的幾何化問題。

一個具體例題#

例題 8.3.1：(a) 用函數方程計算 \(\zeta(-1)\) 與 \(\zeta(2)\) 的關係檢驗；(b) 證明 \(\zeta(s)\) 在 \(\operatorname{Re} s = 1\) 上無零點（證明思路層次）；(c) 解釋「 \(1 + 2 + 3 + \cdots = -\frac{1}{12}\) 」的合法與不合法讀法。

解：

(a) 函數方程取 \(s = -1\) ： \(\zeta(-1) = 2^{-1}\pi^{-2}\sin\left(-\frac\pi2\right)\Gamma(2)\zeta(2) = \frac{1}{2\pi^2}(-1)(1)\zeta(2) = -\frac{\zeta(2)}{2\pi^2}\) 。故 \(\zeta(2) = -2\pi^2\zeta(-1)\) ——函數方程把 \(\zeta(2) = \frac{\pi^2}6\) （Euler）與 \(\zeta(-1) = -\frac1{12}\) 焊在一起。檢驗： \(-2\pi^2 \times \left(-\frac1{12}\right) = \frac{\pi^2}{6}\) ✓。

(b) 證明路線（de la Vallée Poussin 思想）：設 \(s = 1 + it\) （ \(t \ne 0\) ）。用 Euler 乘積的「對數平方技巧」：考慮 \(\sigma > 1\) 的 \(3 + 4\cos\theta + \cos 2\theta = 2(1 + \cos\theta)^2 \ge 0\) 型組合——構造

\[ |\zeta(\sigma)|^3 |\zeta(\sigma + it)|^4 |\zeta(\sigma + 2it)| \ge 1 \]

（由 Dirichlet 級數的正實部組合 \(\log|\zeta| = \sum \Lambda(n)n^{-\sigma}\cos(\cdots)\) 的非負性）。估計： \(\sigma \to 1^+\) 時 \(|\zeta(\sigma)|^3 \le \frac{C}{(\sigma - 1)^3}\) 而中間項有界（若 \(\zeta(1 + it) = 0\) 則 \(|\zeta(\sigma + it)| \le C(\sigma - 1)\) ），迫使 \(|\zeta(\sigma + 2it)| \ge \frac{c}{(\sigma-1)^{-1}}\) 型爆發——但 \(\zeta(\sigma + 2it) = O(\log)\) 有界，矛盾。故 \(\operatorname{Re} s = 1\) 無零點 ⇒（配合 Tauberian，5.1 篂場景二）素數定理。

(c) 合法讀法： \(\zeta(-1) = -\frac{1}{12}\) 是解析延拓值——級數 \(\sum n\) 在 \(\operatorname{Re} s > 1\) 定義的函數被唯一延拓後在 \(s = -1\) 的值。不合法讀法：「級數 \(1 + 2 + 3 + \cdots\) 的和是 \(-\frac1{12}\) 」——部分和發散到 \(\infty\) ，沒有「和」。正確表述：「 \(\zeta\) 正規化給 \(-\frac1{12}\) 」。物理中（Casimir 效應、弦論的臨界維數 26 與 10）這個正規化預測可測量（Casimir 力 1948 預言、1997 實測吻合）——發散級數的正規化值可以對應物理實在，但語義必須精確：「正規化後的賦值」不是「無窮和」。

歷史背景：八頁論文的宇宙#

  • 1859：Riemann 32 歲，當選柏林科學院通訊院士需提交論文——他交出這八頁（唯一一篇數論論文！），提出： \(\zeta\) 延拓、函數方程、 \(\xi\) 的對稱、零點計數函數 \(N(T)\) 的漸近、顯式公式的輪廓、以及 RH 的第一個陳述（原文：「很可能所有根都在實部 \(\frac12\) 」）。八頁論文每句話都被證明是百年的研究綱領。
  • 1896：Hadamard 與 de la Vallée Poussin 各自證明素數定理（臨界帶邊界無零點 + Tauberian）。Hadamard 用的正是他自己的因子分解定理（8.1 篂）。
  • 1914：Hardy 證臨界線上無窮多零點；1974 Levinson、1989 Conrey 推進比例（40%+）。
  • 2004：Gourdon–Demichel 數值驗證 \(10^{13}\) 個零點。
  • 1972：Montgomery 在 Princeton 與 Dyson 的咖啡對話： \(\zeta\) 零點間距與隨機矩陣本徵值（GUE 統計）一致——RH 的物理側寫：零點像量子系統的能譜。Hilbert–Pólya 方案（1910s 提出的猜想性路線）：若存在自伴算子其譜 = 零點虛部，RH 立證。

Riemann 的風格：八頁、無證明細節（「這些命題的證明從 \(\zeta\) 的不同表達式很容易得出，我把它們留在旁邊」——Riemann 原話）、直觀與結果先行。與 Weierstrass 的嚴格主義對照：兩人互為補集；數學史需要兩種人——Riemann 造大廈的圖紙，Weierstrass 們檢查地基。

歷史啟示#

  • 延拓即顯微鏡：級數在 \(\operatorname{Re} s > 1\) 「看見」質數的乘積結構；延拓後的函數「看見」零點譜——質數的深層秩序在級數收斂域之外。複分析是「越界觀察」的技術。
  • 函數方程 = 隱藏對稱： \(\xi(s) = \xi(1-s)\) 是 \(\zeta\) 的「旋轉對稱」（7.2 篂模變換的近親—— \(\theta\) 函數的模性即函數方程的來源）。對稱性產生資訊：從函數方程讀出零點分布、從模形式讀出 L 函數方程——對稱是數論的能源。
  • 猜想驅動的世紀：RH 一條猜想組織了 165 年的研究（解析數論、隨機矩陣、模形式、非交換幾何的 Connes 路線）。好猜想是數學的引力中心。

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

  • 5.1–5.2 節：留數與圍道是延拓與零點估計的工具。
  • 8.1 篂：Hadamard 乘積把零點集變成函數——素數定理證明的骨架。
  • 8.2 篂： \(\zeta'/\zeta\) 的部分分數 = 顯式公式。
  • 7.1 篂：延拓是本節全部的地基。
  • 9.1 篂： \(\Gamma\) 出現在函數方程中——特殊函數是 \(\zeta\) 的「配套器件」。
  • 10.3 篂：本節是「複分析改變數學」的總結證詞。
  • 物理：Casimir 效應（ \(\zeta(-3) = \frac{1}{120}\) 正規化真空能）、弦論（ \(\zeta(-1) = -\frac1{12}\) 給 26 維）、RH 與量子混沌（GUE 統計）——** \(\zeta\) 函數是數學與物理的深井**。
  • 密碼學：RSA 的安全性依賴質數分布的「足夠隨機」——RH 的方向性資訊（Cramér 模型）是現代密碼強度論證的背景假設。

練習#

  1. 用函數方程計算 \(\zeta(-2)\) 、 \(\zeta(-3)\) ，並指出 \(\zeta(-2n) = 0\) 的機制（ \(\sin\) 因子）。
  2. 由 \(\zeta(s)\Gamma\left(\frac s2\right)\pi^{-s/2}\) 的對稱性驗證 \(\zeta(0) = -\frac12\) （用 \(\Gamma\) 在 0 的極點階與 \(\zeta(1)\) 的極點抵消結構）。
  3. 用 Euler 乘積證明 \(\zeta(s) \ne 0\) （ \(\operatorname{Re} s > 1\) ）；說明為什麼這個論證不能推到 \(\operatorname{Re} s > \frac12\) （RH 的困難所在）。
  4. 由顯式公式解釋：若存在零點 \(\rho\) ， \(\psi(x)\) 的波形 \(\frac{x^\rho}{\rho}\) 的增長由 \(\operatorname{Re}\rho\) 決定——寫出 \(\operatorname{Re}\rho = \beta\) 時波形的量級。
  5. 思考題：「 \(\zeta\) 正規化」與「Cesàro 求和」「Abel 求和」對 \(1 + 2 + 3 + \cdots\) 給出不同（或不給）答案——分析各方法的適用範圍，說明為什麼「正規化值依賴方法」而 \(\zeta\) 情形有物理意義（Casimir 的爭議點在哪？）。

進階研讀： \(\zeta\) 宇宙的五個深化場景#

場景一：函數方程的模形式起源。 \(\zeta\) 的函數方程是模形式變換律的特例： \(f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z)\) 型（6.1 篂場景二）。Dirichlet L 函數、Hecke L 函數都有函數方程；模性定理（Wiles 1995，Fermat 大定理）：橢圓曲線的 L 函數 = 模形式的 L 函數——「函數方程 + Euler 乘積」成為數論對象的資格證（Selberg 類）。Riemann 1859 的方程是一切 L 函數論的原型。

場景二：零點密度與顯式公式的進化。從 von Mangoldt（1895）到 Landau、Ingham、Weil（1942：顯式公式的現代形式，對測試函數積分——Weil 顯式公式把零點和與素數和的對偶寫成 Poisson 求和形式——它是「函數方程 = 對偶性」哲學的極致，也是 Connes 非交換幾何路線的起點）。零點–質數的 Fourier 對偶是 RH 全部攻擊路線的共同語言。

場景三：GUE 與 Hilbert–Pólya。Montgomery–Dyson 對話（1972）後：Odlyzko 的大規模數值（1980s–）確認零點間距統計 = Gaussian Unitary Ensemble 本徵值統計。Hilbert–Pólya 設想： \(H\) 自伴、 \(\operatorname{spec}(H) = \{\operatorname{Im}\rho\}\) ⇒ RH。候選算子：Berry–Keating 的 \(xp\) （1979+）、Connes 的非交換空間、Conrey–Gonek 的對偶系統。「零點 = 能譜」若真，RH 是量子力學問題——數論與物理的深層同構（雖未證實，已結晶出大量數學）。

場景四：一般 L 函數與 Langlands。Dirichlet L、Artin L、Hasse–Weil L、自守 L——L 函數的動物園共享「Euler 乘積 + 函數方程 + RH 類比」（廣義 Riemann 猜想 GRH）。Langlands 綱領（1967）把它們統一為「Galois 表示 ↔ 自守表示」的對應——二十一世紀數論的羅塞塔石碑；Fermat 大定理（1995）、Sato–Tate（2009）是其已兌現的支票。Riemann 的 \(\zeta\) 是整個綱領的 \(GL(1)\) 起點。

場景五： \(\zeta\) 的動力系統與統計物理。 \(\zeta\) 的顯式公式 = 跡公式（Selberg trace formula 1956 的 \(\zeta\) 特例）：幾何（測地線/週期軌道）↔ 譜（零點/能階）的對偶。 dynamical zeta（Ruelle 1976）：複數的 \(\zeta\) 型函數編碼動力系統的週期軌道——「零點譜 = 軌道統計」的思想從數論流回動力系統與混沌（Gutzwiller 跡公式 1971，量子混沌）。Riemann 八頁論文的觀念在統計物理與混沌理論中的第二次生命。

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

  • ** \(\zeta\) 函數**： \(\sum n^{-s}\) ；解析延拓後半純、單極點 \(s=1\) （留數 1）。
  • 函數方程： \(\zeta(s) = 2^s\pi^{s-1}\sin\frac{\pi s}{2}\Gamma(1-s)\zeta(1-s)\) 。
  • ** \(\xi\) 函數**： \(\frac12 s(s-1)\pi^{-s/2}\Gamma(\frac s2)\zeta(s)\) ，滿足 \(\xi(s) = \xi(1-s)\) 。
  • 臨界帶/臨界線： \(0 < \operatorname{Re} s < 1\) / \(\operatorname{Re} s = \frac12\) 。
  • 平凡/非平凡零點： \(-2, -4, \ldots\) / 臨界帶內。
  • von Mangoldt 函數： \(\Lambda(n)\) ； \(\psi(x)\) 素數計數。
  • 顯式公式： \(\psi_0(x) = x - \sum_\rho\frac{x^\rho}{\rho} - \cdots\) 。
  • Riemann 猜想：所有非平凡零點 \(\operatorname{Re} = \frac12\) 。
  • ** \(\zeta\) 正規化**：發散級數經延拓賦值（ \(1+2+\cdots \rightsquigarrow -\frac1{12}\) ）。
  • Hilbert–Pólya 方案：零點 = 某自伴算子譜。

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

  • 1737：Euler 乘積公式與質數無窮的解析證明。
  • 1748：Euler \(\zeta(2n)\) 公式。
  • 1859：Riemann 八頁論文（延拓、函數方程、RH）。
  • 1895：von Mangoldt 嚴格化顯式公式。
  • 1896：Hadamard、de la Vallée Poussin 證素數定理。
  • 1914：Hardy：臨界線上無窮多零點。
  • 1942：Weil 顯式公式的現代形式。
  • 1956：Selberg 跡公式。
  • 1972：Montgomery–Dyson GUE 對話。
  • 1974：Levinson： \(\ge \frac13\) 零點在線上。
  • 1989：Conrey： \(\ge \frac25\) 。
  • 1995：Wiles 模性定理。
  • 2004： \(10^{13}\) 個零點數值驗證。

深化問答三則#

問：函數方程「美」在什麼層面？ 答：三層。(1) 形式美：把 \(\zeta(s)\) 與 \(\zeta(1-s)\) 、把 \(\pi\) 、 \(\Gamma\) 、 \(\sin\) 五件法器繫於一式（1.3 篂 Euler 恆等式的數論回聲）。(2) 結構美：對稱軸 \(\operatorname{Re} s = \frac12\) 的幾何——RH 就是「全部對稱性落在鏡軸上」。(3) 來源美：方程來自 \(\theta\) 函數的模變換——數論的對稱性是 Fourier 分析的鏡像性質（Poisson 求和）。分析、幾何、數論在一條方程裡會師。

問：素數定理「複變證明」的關鍵一步是什麼？ 答：** \(\operatorname{Re} s = 1\) 上無零點（例題 (b)）。級數與乘積只在 \(\operatorname{Re} s > 1\) 有效；Tauberian 定理需要 \(\zeta\) 在邊界 \(\operatorname{Re} s = 1\) 的行為——這只能來自延拓。整條邏輯鏈：Euler 乘積（域內）→ 延拓（域外）→ 邊界無零點（估計）→ Tauberian（素數定理）。每一步都是複分析章節的兌現**——本書前八章的總裝。

問：RH 若被證明，會改變什麼？ 答：數學上：素數誤差最優界、無數條件定理（「假設 RH」的文獻成千上萬）解除條件、隨機矩陣路線確認。應用上：密碼學的漸近保證加強（但實際 RSA 不受 RH 影響——質數生成用機率檢驗，與 RH 獨立）。哲學上：「素數的最大隨機性 = 零點的最大秩序」的世界觀被確認——亂與治的對偶是 RH 最深的美學。

（本節完）