8.1 WEIERSTRASS因子分解#

本章導言#

多項式可分解為一次因子的乘積（代數基本定理）；整函數（全域解析）呢？它們的零點可以無窮多（ \(\sin z\) 的零點 \(n\pi\) ），無窮乘積會發散——需要收斂校正因子。Weierstrass 因子分解定理（1876 講義體系）完成這個推廣：給定任意離散零點集，可造出以它為零點集的整函數；給定階數規範，分解唯一。本節講述典型因子、收斂技巧，與兩個明星應用： \(\sin\frac{\pi z}{\pi}\) 的乘積（Euler 1734 的猜想、Weierstrass 的證明）與 \(1/\Gamma\) 乘積。

問題與困難#

給定離散集 \(\{a_n\}\) （無有限聚點，可含重數），求整函數 \(f\) ：恰以 \(\{a_n\}\) 為零點。

天真的嘗試： \(f = \prod_n \left(1 - \frac{z}{a_n}\right)\) 。發散危機：一般 \(a_n\) 增長不夠快， \(\sum\left|\frac{z}{a_n}\right|\) 發散（如 \(a_n = \sqrt n\) ），乘積不收斂。

Weierstrass 的藥方：乘以收斂校正因子

\(E_p\) 在 \(w = 1\) 仍有單零點，但它在 \(w \to 0\) 時極快趨於 1（展開 \(E_p(w) = 1 - \frac{w^{p+1}}{p+1} + \cdots\) ——前 \(p\) 階全消！）：零點保留、尾巴馴服。選 \(p = p_n\) 使 \(\sum \left|\frac{z}{a_n}\right|^{p_n + 1}\) 收斂（對每個固定 \(z\) ；取 \(p_n = n\) 必收斂，因 \(\sum |z/a_n|^n\) 對「 \(a_n\) 不太慢」的情形收斂，一般取 \(p_n = n\) 總夠—— \(\sum (|z|/|a_n|)^{n}\) ？對 \(a_n = n\) ： \(\sum (|z|/n)^n\) 收斂 ✓；一般離散集可排序增長後同型）。故

是收斂的整函數，零點集恰為 \(\{a_n\}\) （計重數）。

階數（genus）：使分解收斂的最小 \(\sup p_n\) 稱為函數的虧格（與 7.2 篂曲面虧格同名異義，德文 Geschlecht 的兩次使用）——它衡量整函數增長的「代數複雜度」。

兩個明星分解#

Euler 的正弦乘積（1734 猜想）：

零點 \(\pm n\) 全為單、對稱 → 校正因子相消（ \(E_0(z/n)E_0(-z/n) = 1 - \frac{z^2}{n^2}\) ）→ 無需校正。Euler 1734 年以這個乘積（+ 大膽的極限論證）求出 \(\zeta(2) = \frac{\pi^2}{6}\) （ \(z \to 0\) 比較 \(\sin\) 級數的 \(z\) 項： \(\frac{\pi^2}{6} = \sum 1/n^2\) ）——Basel 問題的著名解。嚴格證明（乘積收斂 + 零點集相同 + 規範化）由 Weierstrass 理論補全；今日證法還有 Herglotz 技巧（1976）等。乘積展開是「零點決定函數」的離散宣言。

Weierstrass 的 \(\Gamma\) 乘積：

極點 \(0, -1, -2, \ldots\) （留數 \((-1)^n/n!\) ）由 \(1/\Gamma\) 的零點集編碼；校正因子 \(e^{-z/n}\) （ \(p = 1\) ）保收斂； \(\gamma\) （Euler–Mascheroni 常數）由 \(\Gamma(1) = 1\) 規範化。9.1 篂將全面展開 \(\Gamma\) ；本節要點：乘積形式使「延拓到全平面」（7.1 篂）與「極點位置/留數」同時顯形——積分表示 \(\Gamma(s) = \int e^{-t}t^{s-1}\) 只活在 \(\operatorname{Re} s > 0\) ，乘積形式活在全平面。

整函數的分類（ \(\infty\) 處的 Laurent 語言，4.3 篂）#

乘積理論是「超越整函數」的解剖學：有限乘積 = 多項式（有限零點）；無窮乘積 = 超越整函數（離散無窮零點）。「多項式因子分解」的無窮維推廣。

Hadamard 因子分解定理（1893）：有限階（order \(\rho\) ： \(|f| \le e^{|z|^{\rho + \varepsilon}}\) 型增長）整函數：

增長率控制指數因子的次數——函數的「大小」與「零點」幾乎互相鎖定（ \(\zeta\) 函數的 Hadamard 乘積 8.3 篂是史上最著名的應用：零點分佈 → 函數方程 → 素數定理）。Hadamard 1896 用自己的定理證明素數定理——因子分解理論的加冕時刻。

一個具體例題#

例題 8.1.1：構造以 \(\{n^2: n = 1, 2, 3, \ldots\}\) 為零點（單重）的整函數，寫出最簡 Weierstrass 乘積，並利用它求 \(\displaystyle\prod_{n=1}^\infty\left(1 + \frac{1}{n^2}\right)\) 的值。

解：零點集 \(\{1, 4, 9, \ldots\}\) 增長快（ \(a_n = n^2\) ）， \(\sum \frac{|z|}{n^2}\) 收斂——無需校正因子（ \(p_n = 0\) 即可）：

對一切 \(z\) 絕對收斂（ \(\sum \frac{|z|}{n^2} < \infty\) ）、整、零點恰為 \(\pm\sqrt{n^2}\) ？——注意： \(1 - \frac{z}{n^2} = 0 \iff z = n^2\) ✓（正零點集正確）。但 \(\prod(1 - z/n^2)\) 還自動有負零點嗎？ \(z = -n^2\) 時因子 \(= 1 + 1 = 2 \ne 0\) ——無負零點 ✓。故 \(f(z) = \prod\left(1 - \frac{z}{n^2}\right)\) 是合格答案（還可寫 \(f(z) = \frac{\sin \pi\sqrt z}{\pi \sqrt z}\) ——用 Euler 乘積換元 \(z = w^2\) ： \(\frac{\sin\pi w}{\pi w} = \prod\left(1 - \frac{w^2}{n^2}\right)\) ，代入 \(w = \sqrt z\) 得 \(\prod\left(1 - \frac{z}{n^2}\right) = \frac{\sin \pi\sqrt z}{\pi\sqrt z}\) ✓✓——兩種構造殊途同歸，Weierstrass 定理的構造與 Euler 乘積吻合）。

乘積求值： \(\prod\left(1 + \frac{1}{n^2}\right)\) ：把 \(z = -1\) 代入 \(f\) ：

** \(\displaystyle\prod_{n=1}^\infty\left(1 + \frac{1}{n^2}\right) = \frac{\sinh \pi}{\pi} \approx \frac{11.5487}{3.1416} \approx 3.676\) **。

方法論：「乘積求值 = 在函數的零點分解處取值」——與 5.2 篂「積分求值 = 圍道手術」並列為複分析的兩大計算招式。數值檢算： \(2 \times 1.25 \times 1.111 \times \cdots\) （前四項） \(= 2.778\) ，後續項 \(\prod_{n\ge5}(1 + 1/n^2) \approx \exp(\sum_{n\ge5}1/n^2) \approx e^{0.221} \approx 1.247\) ； \(2.778 \times 1.323\) （精確化） \(\approx 3.676\) ✓。

歷史背景：Weierstrass 的「算術化」#

Karl Weierstrass 對函數論的貢獻常被總結為「分析的算術化」（Arithmetization of analysis）：

• 1841–1842（中學教師期）：冪級數綱領 + 雙向展開（4.2 篂先驅）。
• 1854：Abel 函數論文轟動，柏林聘為教授。
• 1860s：Berlin 講義體系（解析函數論、橢圓函數、Abel 函數）——講義而非論文是他的主要發表方式（學生抄本流通），這解釋了為什麼他的結果（如 4.2 篂 Laurent 先驅）常被延遲承認。
• 1876：因子分解定理的系統陳述。
• 1884–85：與 Mittag-Leffler 的部分分數定理（8.2 篂）配套。

Weierstrass 的風格：極端嚴謹（ \(\varepsilon\) – \(\delta\) 的鑄造者之一）、反直觀主義（批判 Riemann 的物理論證）、卻又創造了最有用的構造性工具（乘積、延拓）。「嚴格與構造在他身上統一」——他反對 Riemann 的存在性論證，卻給出一切存在性對象的顯式構造。學生輩（Kovalevskaya、Mittag-Leffler、Cantor 在 Berlin 受訓）把這種風格傳遍世界。

歷史啟示#

• 零點是整函數的「基因」：Weierstrass 定理說零點集（+ 指數因子）決定整函數——離散資料決定連續對象，這是複分析剛性的構造性表達。
• 收斂校正的思想： \(E_p\) 因子「保零點、殺尾巴」——局部性質保留、全域行為馴服的設計模式在現代數學隨處可見（截斷函數、Mollifier、解析延拓的 Borel 化）。
• 猜想與嚴格的接力：Euler 1734 猜正弦乘積、Weierstrass 1876 證之——142 年的接力，起點是 Basel 問題的求和野心。

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

• 4.1 節：冪級數是「局部編碼」，乘積是「零點編碼」——兩種全域表示的對偶。
• 5.1 節：留數可從乘積讀出（對數導數 \(\frac{f'}{f} = \sum\frac{1}{z - a_n} + \cdots\) ——乘積求導得部分分數，8.2 篂的橋）。
• 8.2 篂：Mittag-Leffler 定理 = 極點版的因子分解（部分分數 vs 乘積的對偶）。
• 8.3 篂： \(\zeta\) 的 Hadamard 乘積與素數定理。
• 9.1 篂： \(\Gamma\) 的乘積、餘元公式 \(\Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin\pi z}\) （正弦乘積的直接推論）。
• 10.1 篂：全通濾波器 \(= \prod\frac{1 - \bar a_n z}{z - a_n}\) 型——零點–極點配對的乘積理論是數位濾波器設計的數學（Blaschke 乘積，見場景三）。
• 物理：S 矩陣的乘積表示（極點 = 束縛態）、解析延拓的 bootstrap 程序——「極點決定振幅」的物理哲學即 Weierstrass 哲學。

練習#

1. 用 Weierstrass 乘積寫出以 \(\{-n: n = 1, 2, \ldots\}\) 為零點、 \(f(0) = 1\) 的整函數；與 \(\frac{\sin\pi z}{\pi}\) 的關係是什麼？
2. 構造以 \(\{\log n: n \ge 2\}\) 型零點的整函數需要什麼校正因子（ \(p_n\) 的選擇）？（提示： \(\sum |z|/(\log n)^p\) 對任何 \(p\) 發散——需要 \(p_n \to \infty\) 。）
3. 由 \(\frac{\sin \pi z}{\pi} = \prod(1 - \frac{z^2}{n^2})\) 對數求導，導出部分分數 \(\pi\cot\pi z = \frac1z + \sum_{n\ge1}\left(\frac{1}{z-n} + \frac{1}{z+n}\right)\) ，並驗證其與 5.1 篂採樣函數的一致性。
4. 用 Euler 乘積求 \(\prod_{n=1}^\infty\left(1 - \frac{1}{4n^2}\right)\) （提示： \(z = \frac14\) 代入 \(\frac{\sin\pi z}{\pi z}\) ；答案 \(\frac{2}{\pi}\) ——Wallis 乘積 1655！）。
5. 思考題：Hadamard 定理說「增長率 \(\rho\) 鎖定 \(g\) 的次數」。解釋為什麼 \(e^z\) （ \(\rho = 1\) 、無零點）與 \(\sin z\) （ \(\rho = 1\) 、零點 \(n\pi\) ）增長同階——零點的有無為什麼不改變階？

進階研讀：乘積理論的五個深化場景#

場景一：Hadamard 定理與素數定理。 \(\zeta\) 的 Hadamard 乘積 \(\zeta(s) = \frac{e^{g(s)}}{s-1}\prod_\rho E_\rho\left(\frac{s}{\rho}\right)\) （ \(\rho\) 遍歷非平凡零點）。零點的增長控制 \(g\) 的次數；Hadamard–de la Vallée Poussin 1896 證 \(\operatorname{Re}\rho = 1\) 無零點 → 素數定理。乘積理論是素數定理的數學引擎；Riemann 猜想若真， \(g\) 為常數、素數誤差項最優——零點的秩序 = 素數的秩序。

場景二：Blaschke 乘積與有界解析函數。單位盤內的有界解析函數以 \(B(z) = \prod\frac{|a_n|}{a_n}\cdot\frac{a_n - z}{1 - \bar a_n z}\) 編碼零點（ \(\sum(1 - |a_n|) < \infty\) 收斂條件）。Hardy 空間 \(H^\infty\) 的內函數–外函數分解（Smirnov 1920s）： \(f = B \cdot S \cdot F\) （Blaschke 乘積 × 奇異內函數 × 外函數）——因子分解的調和分析化身；10.1 篂的預測理論（最小相位/全通分解）就是內外分解的工程版。

場景三：準解析類與唯一性擴張。零點密度與「函數被小片段決定」的互逆：Carleman、Denjoy–Carleman–Ahlfors 準解析條件——零點稀疏到極致（相對於增長）⇒ 函數由一個區間上的值唯一決定（準解析性，= Fourier 展開唯一性）。「零點基因」的密度控制「全息度」——物理譜線的加寬與恢復（超解析）即此理論。

場景四：隨機零點與 Gaussian 解析函數。隨機整函數（Taylor 係數隨機）的零點分布：平面上 Gaussian Entire Function 的零點過程密度 \(\rho(z) = \frac{4}{\pi}\partial\bar\partial\log K(z, z)\) 型（Kac–Rice 公式）——「零點基因」的統計力學（2000s，Peres–Virág、Nazarov–Sodin）。複分析的乘積理論在隨機極限下的形態是活躍前沿。

場景五：S 矩陣與 bootstrap。粒子物理的散射振幅 \(S(E)\) ：極點 = 束縛態、割線 = 連續譜——解析結構 + 因果性 + 幺正性 ≈ 唯一確定振幅（S-matrix bootstrap，1960s 與 2020s 的復興）。Weierstrass 的「離散資料（極點）決定連續對象（函數）」在基本粒子理論中重演——因子分解定理的物理哲學。

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

• Weierstrass 因子： \(E_p(w) = (1-w)e^{w + \cdots + w^p/p}\) 。
• 典型乘積： \(\prod E_{p_n}(z/a_n)\) ，收斂的零點編碼。
• 階（order）： \(|f| \le e^{r^{\rho+\varepsilon}}\) 的最小 \(\rho\) 。
• Hadamard 定理：有限階整函數 = 多項式指數 × 典型乘積。
• Euler 正弦乘積： \(\frac{\sin\pi z}{\pi} = \prod(1 - z^2/n^2)\) 。
• Wallis 乘積： \(\frac{2}{\pi} = \prod\frac{(2n)(2n)}{(2n-1)(2n+1)}\) （1655，Euler 乘積特例）。
• Blaschke 乘積：盤內有界函數的零點編碼。
• 內外分解：Hardy 空間的因子分類。

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

• 1655：Wallis 乘積（Euler 乘積的 \(z = 1/4\) 特例）。
• 1734：Euler 正弦乘積與 Basel 問題。
• 1842–1856：Weierstrass 冪級數綱領。
• 1876：Weierstrass 因子分解定理系統陳述。
• 1893：Hadamard 因子分解定理。
• 1896：Hadamard、de la Vallée Poussin 證素數定理。
• 1920s：Smirnov 內外分解、Hardy 空間。
• 1955：Kac–Rice 公式（隨機零點）。
• 2007–2020s：隨機解析函數零點過程、S-matrix bootstrap 復興。

深化問答三則#

問：為什麼多項式分解到一次因子就「到底」，整函數乘積卻需要指數因子 \(e^{g(z)}\) ？ 答：因為「無零點」的整函數不一定是常數： \(e^{g(z)}\) 型（ \(g\) 整）完全無零點——零點集不含「非零整函數」的資訊。這些「零點看不見的部分」正是 \(e^{g}\) ： \(\sin z\) 與 \(e^{z^2}\sin z\) 零點相同。Hadamard 定理把 \(g\) 的自由度用增長率鎖定——增長率是零點的「補充基因」。

問：乘積收斂的「校正因子」會不會破壞零點？ 答：不會： \(E_p(1) = 0\) 精確（因子 \(1 - w\) 的零點），指數部分在 \(w = 1\) 處 \(= e^{1 + \cdots + 1/p} \ne 0\) 。零點由「代數部分」精確承擔，指數部分只管收斂——責任分離的設計。

問：Euler 乘積與 Weierstrass 乘積是「同一件事」嗎？ 答：對 \(\sin\) 而言是（無需校正）。但 Euler 的方法是「猜形式 + 驗證係數」，Weierstrass 的是「定理保證構造」。差別在一般性：Euler 的技巧對任意零點集失效，Weierstrass 的機器對一切離散集工作。特例的天才與一般性的機器——數學的兩種推進力在 1734 與 1876 兩端接力。

（本節完）