4.1 TAYLOR級數與收斂半徑#

本章導言#

Cauchy 積分公式的第一份大禮：解析函數在收斂圓內自動等於冪級數。這不只是「可以展開」——它揭示解析函數的真正身分：冪級數的同義詞。本節證明 Taylor 展開定理、定義收斂半徑、揭示半徑與最近奇點的相等關係，並以 Liouville 定理（一頁紙證明代數基本定理）展示冪級數觀點的殺傷力。Weierstrass 的哲學在此登場：解析函數就是冪級數，別的什麼都不是。

定理與證明#

Taylor 展開定理（複變版）： \(f\) 在圓盤 \(D(a, R)\) 上解析，則對圓內一切 \(z\) ：

\[ f(z) = \sum_{n=0}^\infty a_n (z - a)^n, \qquad a_n = \frac{f^{(n)}(a)}{n!}, \]

級數在 \(D(a, R)\) 內閉一致收斂（緊子集上一致收斂），且展開唯一。

證明（用 3.3 節積分公式）：取 \(\rho < R\) 的圓 \(C_\rho\) 繞 \(a\) 。對 \(|z - a| < \rho\) ：

\[ f(z) = \frac{1}{2\pi i}\oint_{C_\rho} \frac{f(\zeta)}{\zeta - z}\,d\zeta, \qquad \frac{1}{\zeta - z} = \frac{1}{\zeta - a}\cdot\frac{1}{1 - \frac{z-a}{\zeta - a}} = \sum_{n=0}^\infty \frac{(z-a)^n}{(\zeta - a)^{n+1}}. \]

幾何級數一致收斂（ \(\left|\frac{z-a}{\zeta-a}\right| \le \frac{|z-a|}{\rho} < 1\) ），逐項積分合法：

\[ f(z) = \sum_{n=0}^\infty \left[\frac{1}{2\pi i}\oint_{C_\rho}\frac{f(\zeta)}{(\zeta - a)^{n+1}}\,d\zeta\right](z-a)^n = \sum_{n=0}^\infty \frac{f^{(n)}(a)}{n!}(z-a)^n, \]

最後一步用了 3.3 節導數公式。級數的係數由積分產生、由導數確認——積分與求導在解析世界互為表裡。

唯一性：若 \(f = \sum a_n(z-a)^n\) 在 \(a\) 附近收斂，逐項求導 \(n\) 次並代入 \(z = a\) ，得 \(a_n = f^{(n)}(a)/n!\) 。冪級數只認一種展開——這條唯一性在 7.1 篂解析延拓中是「延拓不依賴路徑細節」的保證。

收斂半徑與奇點#

冪級數 \(\sum a_n(z-a)^n\) 的收斂半徑：

\[ R = \frac{1}{\limsup_{n\to\infty} |a_n|^{1/n}} \qquad (\text{Cauchy–Hadamard 公式，1821/1839}). \]

\(|z - a| < R\) 內絕對收斂、緊上一致收斂； \(|z-a| > R\) 外發散； \(|z - a| = R\) 上逐點不定。

關鍵定理（半徑 = 最近奇點）：設 \(f\) 在 \(a\) 附近解析，Taylor 級數 \(\sum a_n(z-a)^n\) 的收斂半徑為 \(R\) ，則 \(R\) 恰等於 \(a\) 到 \(f\) 的最近奇點的距離。

證明思想：(≤) 若 \(f\) 在 \(D(a, R')\) 解析且 \(R' > R\) ，則 Taylor 定理給出級數在 \(D(a,R')\) 收斂，與半徑定義矛盾（用 Cauchy 估計控制係數增長）；(≥) 級數在 \(|z-a| < R\) 定義了函數 \(g\) ，在 \(f\) 有定義處 \(g = f\) ，故 \(f\) 可沿級數延拓到半徑 \(R\) 的整個圓盤；若能延得更遠，重複 (≤) 得矛盾。∎

意義：級數「知道」全部奇點的位置——收斂邊界是奇點的地理測繪圖。例： \(\frac{1}{1+z^2}\) 在 \(a=0\) 的展開 \(\sum(-1)^n z^{2n}\) 半徑為 1，因為奇點 \(\pm i\) 距原點為 1——儘管函數在實軸上到處光滑！這是對實分析的著名「修正」：十九世紀初 Abel 對 \(\frac{1}{1+x^2}\) 級數在 \(|x|=1\) 處發散的困惑，複變觀點一句話解決——實軸上的病態，常是複平面上看不見的奇點的投影。

經典展開庫#

\[ e^z = \sum_{n=0}^\infty \frac{z^n}{n!} \quad (R = \infty), \qquad \sin z = \sum (-1)^n\frac{z^{2n+1}}{(2n+1)!} \quad (R = \infty), \]

\[ \frac{1}{1-z} = \sum_{n=0}^\infty z^n \quad (R = 1), \qquad \log(1+z) = \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}z^n \quad (R = 1,\ \text{奇點 } z = -1), \]

\[ (1+z)^\alpha = \sum \binom{\alpha}{n}z^n \quad (R = 1,\ \text{支點 } z = -1,\ \alpha \notin \mathbb{N}_0). \]

二項級數的歷史：Newton 1665 年推廣二項式定理到任意指數（形式操作）；Abel 1826 年論文《二項級數的收斂性》首次嚴格證明其收斂性與邊界行為——這篇論文同時是嚴格級數理論的誕生證書。Abel 在文中寫下著名評語：「發散級數是魔鬼的發明，用它們證明任何東西都是可恥的。」——針對的正是十八世紀 Euler 等人「形式地」操作級數的風氣。諷刺的是，Euler 的形式操作（如 \(1 - 1 + 1 - \cdots = \frac12\) ）在 Abel 求和（1880 Césaro）、解析延拓（第 7 章）的框架下獲得嚴格地位——魔鬼在更深的理論中洗白了。

Liouville 定理與代數基本定理#

Liouville 定理（1847）：有界整函數為常數。

證明：Cauchy 估計 \(|f'(a)| \le M/R\) （3.3 節），令 \(R \to \infty\) 得 \(f'(a) = 0\) ，一切 \(a\) 。∎

代數基本定理（Gauss 1799 提出、複變版一頁證明）：非常數複係數多項式必有複根。

證明：反證 \(p(z)\) 無根。則 \(f = 1/p\) 是整函數； \(|p(z)| \to \infty\) （ \(|z|\to\infty\) ，最高項統治），故 \(|f|\) 有界（大圓外有界，大圓內緊集上有界）。Liouville \(\Rightarrow f\) 恆常 \(\Rightarrow p\) 恆常，矛盾。∎

Liouville 的故事：Joseph Liouville（1809–1882）1844 年在雙週期函數的工作中用到此原理，1847 年應 Galois 遺稿發表之邀（他是 Galois 手稿的保存者與發表者！）。定理常以其最鋒利的應用聞名：它證明超越數的存在（Liouville 數 1844： \(\sum 10^{-n!}\) ）——一條複分析引理，餵養了數論。

Weierstrass 的綱領：冪級數即函數#

Karl Weierstrass（1815–1897） 的職業生涯是數學史上的奇蹟：他大學輟學、任中學教師十四年（1842–1856，在德國偏遠小鎮），深夜自學研究。1854 年發表 Abelian 函數論文轟動學界，柏林大學破格聘為教授。他的解析函數哲學：

定義：解析函數元素 = 一個收斂冪級數（函數「芽」）。
延拓：沿路徑換中心重新展開，能延則延（7.1 節）。
全域對象：一切延拓的等價類。

在這個綱領下，冪級數不是函數的表示，而是函數的本體。好處：邏輯自足（不依賴積分與拓撲）；代價：多值性（ \(\sqrt z\) 的兩個芽）需要額外結構——Weierstrass 用「解析函數」一詞專指「芽的全體延拓系統」，正是 Riemann 面的代數版。Cauchy 路線（積分為本）與 Weierstrass 路線（級數為本）在本節合流：積分公式證明「Cauchy 函數有 Weierstrass 展開」，冪級數 + 積分證明「Weierstrass 展開滿足 Cauchy 性質」——兩條路殊途同歸，等價性即理論的閉環。

一個具體例題#

例題 4.1.1：求 \(f(z) = \dfrac{1}{z^2 - 3z + 2}\) 在 (a) \(a = 0\) ；(b) \(a = 3\) 處的 Taylor 展開與收斂半徑，並解釋半徑的幾何意義。

解：分解 \(z^2 - 3z + 2 = (z-1)(z-2)\) ，奇點在 \(z = 1\) 與 \(z = 2\) 。

(a) 部分分數： \(\dfrac{1}{(z-1)(z-2)} = \dfrac{-1}{z-1} + \dfrac{1}{z-2}\) 。以 \(\frac{1}{z - a_0} = -\frac{1}{a_0}\cdot\frac{1}{1 - z/a_0}\) 型展開：

\[ \frac{-1}{z-1} = \sum_{n=0}^\infty z^n \quad (|z|<1), \qquad \frac{1}{z-2} = -\frac12\sum_{n=0}^\infty \left(\frac z2\right)^n \quad (|z|<2). \]

合併： \(f(z) = \sum_{n\ge0}\left(1 - \frac{1}{2^{n+1}}\right)z^n\) ，收斂半徑 \(R = \min(1, 2) = 1\) ——最近奇點 \(z = 1\) 的距離。

(b) 在 \(a = 3\) ：令 \(w = z - 3\) ，奇點 \(z=1, 2\) 距 3 分別為 2 與 1，故 \(R = 1\) （由 \(z = 2\) 決定）。展開：

\[ \frac{-1}{z-1} = \frac{-1}{w+2} = \sum_{n=0}^\infty \frac{(-1)^{n+1}}{2^{n+1}}w^n \quad (|w| < 2),\qquad \frac{1}{z-2} = \frac{1}{w+1} = \sum_{n=0}^\infty (-1)^n w^n \quad (|w|<1), \]

故 \(f(z) = \sum_{n\ge0}(-1)^n\left(1 + \frac{1}{2^{n+1}}\right)(z-3)^n\) ， \(R = 1\) 。

檢驗：係數的 \(n\) 次根極限 \(= 1 = 1/R\) ✓（Cauchy–Hadamard）。幾何解讀：同一函數在不同中心的級數，半徑各自等於到最近奇點的距離——級數是函數在該中心的「視野半徑」，奇點是視野的牆。

歷史啟示#

實分析之謎在複平面上破案： \(\frac{1}{1+x^2}\) 的級數在 \(x = \pm1\) 停止，實軸上看不出任何原因；複變觀點指出真兇是 \(\pm i\) 。要理解實現象，常需複語言——這是本書立科的主題。
收斂半徑是幾何量：Cauchy–Hadamard 公式是代數的（係數開方），但半徑的內容是幾何的（到奇點的距離）。代數與幾何的這種互譯是複分析的標誌。
嚴格化與創造力不衝突：Abel 批評發散級數，同時其嚴格化工作開啟了新的收斂理論；Weierstrass 的極端嚴謹伴隨著橢圓函數與代數函數論的巨大創造。紀律不是創造的敵人，是它的工具。

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

3.3 節：積分公式是本節展開定理的引擎。
4.2、4.3 節：Laurent 級數（負冪允許）與奇點分類是本節在「含奇點區域」的推廣。
5.1 節：留數的計算常直接讀 Laurent 係數（本節與 4.2 的技術匯總）。
7.1 節：解析延拓 = 換中心重展開；收斂半徑是「延拓走多遠」的里程表。
9.1 節： \(\Gamma\) 函數的級數與乘積表示以本節理論為基礎。
微積分系列：《微積分》5.2 節實 Taylor 定理是本節的實特例——但注意實 Taylor 級數可收斂而不等於函數（ \(e^{-1/x^2}\) 型），複變中不可能：解析性排除假 Taylor（見 5.3 節練習）。
組合與機率：生成函數法（母函數）把離散問題化為冪級數，奇點分析給漸近公式（組合學的 singularity analysis，Flajolet–Odlyzko）——本節半徑理論是其全部基礎。

練習#

求 \(f(z) = \dfrac{z}{z^2 + 4}\) 在 \(a = 0\) 的 Taylor 展開與收斂半徑；用 Cauchy–Hadamard 公式驗證。
對 \(f(z) = \tan z\) ，求其 Taylor 級數前四項（係數 \(\frac{f^{(n)}(0)}{n!}\) ），並求收斂半徑（奇點在哪裡？）。
用 \(\sin z\) 的級數前兩項近似 \(\sin(0.1)\) ，估計誤差上界；與 Cauchy 估計對照。
證明：若 \(f\) 整且 \(|f(z)| \le A + B|z|^k\) ，則 \(f\) 是多項式（3.3 篂練習 3 的級數版：用 Taylor 係數 + Cauchy 估計）。
思考題： \(f(z) = e^{-1/z^2}\) （補 \(f(0) = 0\) ）在 0 處的一切階導數為零，其 Taylor 級數（全零）不表示 \(f\) 。這與「解析 \(\Rightarrow\) Taylor 級數成立」矛盾嗎？精確指出 \(f\) 在哪裡解析、級數在哪裡收斂於它。

進階研讀：冪級數的五個深化場景#

場景一：自然邊界與假收斂。有些冪級數的收斂圓周上密布奇點（自然邊界），完全無法延拓：例如 \(\sum z^{2^n}\) （Hadamard 間隙定理，1892：係數只在 \(2^n\) 處非零 → \(|z| = 1\) 是自然邊界）。相反， \(\sum \frac{z^n}{n}\) 收斂半徑 1，但在 \(z = -1\) （級數 \(\sum\frac{(-1)^n}{n}\) 條件收斂）處函數可延拓過去——收斂圓周 ≠ 延拓的牆。區分「級數的收斂邊界」與「函數的定義邊界」是 7.1 節延拓理論的起點。

場景二：Tauberian 定理——從係數讀行為。半徑理論的反向問題：由係數 \(a_n\) 的漸近性推出級數在邊界附近的行為（Tauber 1897、Littlewood、Wiener、Hardy–Littlewood）。素數定理的 Tauberian 證明（8.3 節）：由 \(\zeta\) 的解析性質推出 \(\sum \Lambda(n) \sim x\) 。組合學中：係數奇點的類型（冪 \(s\) 、對數）決定漸近主項。半徑理論的正反兩向合起來是「係數–幾何」的雙語詞典。

場景三：Bernoulli 數與數論的紐帶。 \(\frac{z}{e^z - 1} = \sum \frac{B_n}{n!}z^n\) （半徑 \(2\pi\) ，奇點是 \(e^z = 1\) 的虛週期點——又是最近奇點決定半徑）。 \(B_n\) 出現在： \(\zeta(2n) = \frac{(2\pi)^{2n}}{2(2n)!}|B_{2n}|\) （Euler 1736）、Fermat 大定理的 Kummer 工作、拓撲學的 Pontryagin 類。一個初等級數的係數貫穿分析與拓撲——奇點位置（ \(2\pi i\) ）統治係數增長。

場景四：Padé 逼近與數值函數計算。冪級數截斷是多項式逼近，Padé 逼近（有理函數逼近平滑級數，1892）收斂更快且能「模擬」極點。經典應用： \(\tan z\) 的 Padé 逼近、物理中的 series expansion 加速（統計力學的 high-temperature 展開）。背後理論：Padé 表的塊結構由函數的解析性質決定（de Montessus 定理，1902）——逼近論沿著奇點地圖進行。

場景五：Borel 求和與漸近級數的救贖。物理學中的微擾級數常發散（係數 \(n!\) 增長，半徑為零）：如量子力學的微擾展開、Euler 的 \(\sum (-1)^n n! x^{n+1}\) 。Borel 求和（1899）：逐項以 \(n!\) 除（Borel 變換），得收斂級數，再解析延拓後 Laplace 逆變換——用複分析的延拓技術把發散級數變回真函數。這是七、八章理論在理論物理的日常應用；「級數不一定收斂才有意義」的辯護書。

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

Taylor 級數： \(f(z) = \sum \frac{f^{(n)}(a)}{n!}(z-a)^n\) ，解析函數的局部表示。
收斂半徑： \(R = 1/\limsup |a_n|^{1/n}\) ；等於到最近奇點的距離。
Cauchy–Hadamard 公式：半徑的係數公式。
Liouville 定理：有界整函數恆常。
自然邊界：收斂圓周上稠密奇點，延拓不可能。
Hadamard 間隙定理：係數稀疏 \(\Rightarrow\) 自然邊界。
函數芽（germ）：冪級數 + 其收斂盤，延拓理論的原子。
Borel 求和：發散級數的嚴格賦值方法。
Tauberian 定理：係數漸近 → 邊界行為的反向定理。

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

1665：Newton 二項級數（形式推廣）。
1715：Brook Taylor《增量法》，級數得名。
1797：Lagrange 以冪級數為函數論基礎的嘗試。
1821：Cauchy《分析教程》，收斂判別與半徑概念。
1826：Abel 二項級數論文，嚴格級數理論誕生。
1831–1839：Cauchy 積分法導 Taylor 展開；Hadamard 半徑公式（1892 補全）。
1842–1856：Weierstrass 中學時期建立冪級數綱領。
1847：Liouville 定理發表。
1892：Hadamard 間隙定理；Perron、Padé 逼近（1892–1894）。
1899：Borel 求和。

深化問答三則#

問：複 Taylor 級數與實 Taylor 級數的「根本差別」是什麼？ 答：複變中「可微一次（在一個開集上）⇒ 幂級數成立」；實變中「無窮可微 ≠ 級數成立」（ \(e^{-1/x^2}\) ）。根本原因：複可微的條件（C–R，方向剛性）強到迫使函數由局部線性資訊遞迴生成。實變函數的自由度太大——級數只捕捉「解析類」實函數。複變是實變的「晶體子集」，晶體才有級數的衍射條紋。

問：為什麼係數 \(|a_n|^{1/n}\) 的 limsup 能「看到」奇點？ 答：奇點 \(z = p\) （距 \(a\) 為 \(r\) ）迫使 \(a_n \sim r^{-n}\) （單極點情形）——係數以幾何速率攜帶奇點距離。多個奇點時取最近的（主導項）。這是對偶性的又一實例：函數的幾何（奇點位置）與係數的代數（增長率）一一對應，傅立葉/拉普拉斯分析的根基都是這種對偶。

問：半徑定理「半徑 = 最近奇點」有例外嗎？ 答：對「函數的 Taylor 級數」無例外。但對「人為構造的級數」：級數可能在收斂圓周上一部分收斂且函數可延拓（Abel 定理方向）、也可能有自然邊界（Hadamard）。精確陳述：半徑 = 級數所代表的（芽的）最近「延拓障礙」；對解析函數的 Taylor 級數，障礙就是奇點。措辭的差異在 7.1 節會完全展開。

（本節完）