4.2 LAURENT級數#
本章導言#
Taylor 級數只描述「乾淨」的區域（圓盤內處處解析）。但複分析最強大的應用——留數計算——需要處理有奇點的環形區域。1840 年代，法國工程師兼數學家 Pierre Alphonse Laurent（1813–1854） 在關於月球理論（天體力學！）的工作中，把冪級數推廣為允許負冪項的雙向級數：
負冪項正是奇點的「指紋簿」。本節建立 Laurent 展開定理、展開技巧庫，並為 4.3 節奇點分類與 5.1 節留數定理備好彈藥。
定理與證明#
Laurent 展開定理：設 \(f\) 在圓環 \(R_1 < |z - a| < R_2\) 內解析，則對環內一切 \(z\) ：
其中 \(C\) 是環內繞 \(a\) 的任何正向閉曲線（如圓 \(|z-a| = r\) ， \(R_1 < r < R_2\) ）。級數在環內內閉一致收斂；係數不依賴 \(C\) （圍道變形）。
證明思想：把環切成兩半。取 \(r_1, r_2\) 使 \(R_1 < r_1 < |z - a| < r_2 < R_2\) 。對內外兩個圓形成的「雙層圍道」（外圓逆時針、內圓順時針，構成圓環的邊界）應用 Cauchy 積分公式型的論證（需要「圓環版的 Cauchy 定理」——同調形式，3.2 節場景一）：
外圓積分： \(\left|\frac{z-a}{w-a}\right| < 1\) ，幾何級數展開 → 正冪部分 \(\sum_{n\ge0} a_n(w-a)^n\) （與 Taylor 論證同構）。
內圓積分： \(\left|\frac{w-a}{z-a}\right| < 1\) ，展開 \(\frac{1}{w - z} = \frac{-1}{z-a}\cdot\frac{1}{1 - \frac{w-a}{z-a}} = -\sum_{m\ge0}\frac{(w-a)^m}{(z-a)^{m+1}}\) → 令 \(n = -(m+1)\) ，得負冪部分 \(\sum_{n \le -1} a_n (z-a)^n\) 。
兩部分相加即得雙向級數。內外夾擊、兩個幾何級數——環形區域的幾何直接對應「兩個方向的級數」。
對照表：
| Taylor | Laurent | |
|---|---|---|
| 區域 | 圓盤（ \(f\) 全解析） | 圓環（ \(f\) 在內圓內可壞） |
| 指數 | \(n \ge 0\) | \(-\infty < n < \infty\) |
| 奇點角色 | 決定收斂半徑 | 由負冪項直接編碼 |
| 用途 | 函數表示 | 奇點解剖、留數計算 |
展開技巧庫#
技巧一：已知級數代入。 \(\dfrac{e^z}{z}\) 在 \(0\) 附近： \(e^z = 1 + z + \frac{z^2}{2!} + \cdots\) ，除以 \(z\) ：
技巧二：部分分數。 \(\dfrac{1}{z(1-z)} = \dfrac{1}{z} + \dfrac{1}{1-z}\) ：在 \(0 < |z| < 1\) 環上，第二項展為 \(\sum_{n\ge0}z^n\) ：
技巧三：幾何級數的「離心」版本。 \(\dfrac{1}{z-1}\) 在 \(|z| > 1\) 的環上：
同一函數在不同環上有不同 Laurent 展開——環的選擇（即「哪些奇點被圈在內圓裡」）決定負冪項的內容。
技巧四：求導與積分逐項操作。 \(\dfrac{1}{(z-1)^2} = -\dfrac{d}{dz}\dfrac{1}{z-1}\) ，對上式逐項求導。
奇點的「指紋讀法」預覽（4.3 節正式化）#
| 負冪部分的形態 | 奇點類型 | 例 |
|---|---|---|
| \(a_{-1}\) 有限項非零、 \(a_{-k} = 0\) （ \(k\ge2\) ） | 單極點 | \(\frac{1}{z}\) |
| 負冪有限項（最高 \(-m\) ） | \(m\) 階極點 | \(\frac{1}{z^3}\) |
| 無窮多負冪項 | 本性奇點 | \(e^{1/z} = \sum_{n\ge0}\frac{1}{n!z^n}\) |
| 全部負冪為零 | 可去（延 Taylor） | \(\frac{\sin z}{z}\) |
最核心的係數是 \(a_{-1}\) ：
閉路積分恰好提取 \(a_{-1}\) 係數（其他所有冪的指紋積分為零，3.1 節實驗二）。這條「積分 = 抽取 \(a_{-1}\) 」的恆等式是 5.1 節留數定理的全部內容——Laurent 級數與積分理論在此咬合。
歷史背景：天體力學的私生子定理#
Laurent 的故事是數學史上「先發表錯誤版本、正確版本被埋沒」的案例：他 1842–1843 年向巴黎科學院提交兩篇關於月球運動的論文，其中的級數方法有錯，評審（Cauchy 是其中之一）未予通過；正確的 Laurent 定理隨附在同一材料中，卻因論文被拒而未發表。Laurent 1843 年在給 Cauchy 的信中陳述了定理；Cauchy 把它摘要進自己 1843/1844 年的論文發表——定理以 Laurent 命名，但第一個印刷版本出自 Cauchy 的摘要。科學院此類「評審吞噬貢獻」的案例（還有 Galois 的兩次投稿）顯示：十九世紀巴黎科學院的把關有時是絞肉機。
更早的先驅：Weierstrass 1841 年（中學教師時期）已獲得等價的雙向展開（他的「帶負冪的級數」用於圓環），但延至 1894 年（死後文集）才出版。兩位獨立發現者，都先於正式承認。Cauchy 自己在 1830s 已有部分結果（他 1831 年都靈講義對圓環情形有隱含版本）——這是又一次多重發現，只是這次的優先權故事不體面。
一個具體例題#
例題 4.2.1：求 \(f(z) = \dfrac{1}{(z-1)(z-2)}\) 在三個不同環上的 Laurent 展開：(a) \(0 < |z| < 1\) ；(b) \(1 < |z| < 2\) ；(c) \(|z| > 2\) 。並求各環上 \(\oint_{|z| = 1.5} f\,dz\) 與 \(\oint_{|z|=3} f\,dz\) 。
解：部分分數 \(f = \frac{-1}{z-1} + \frac{1}{z-2}\) 。
(a) 環 \(0<|z|<1\) ： \(\frac{-1}{z-1} = \sum_{n\ge0} z^n\) （ \(|z|<1\) ）； \(\frac{1}{z-2} = -\frac12\sum_{n\ge0}(z/2)^n\) （ \(|z|<2\) ）。合併： \(f = \sum_{n\ge0}(1 - 2^{-n-1})z^n\) ——無負冪（Taylor 型），因為環內圓（0）處 \(f\) 其實沒有奇點，這個「環」實為打孔圓盤且 \(f\) 可延拓。
(b) 環 \(1<|z|<2\) ： \(\frac{-1}{z-1} = -\frac1z\cdot\frac{1}{1-1/z} = -\sum_{n\ge1}z^{-n}\) （離心展開， \(|z|>1\) ）； \(\frac{1}{z-2} = -\frac12\sum_{n\ge0}(z/2)^n\) （ \(|z|<2\) ）。合併：
負冪部分 \(= -\sum z^{-n}\) ， \(a_{-1} = -1\) 。
(c) 環 \(|z|>2\) ：兩項都離心展開： \(\frac{-1}{z-1} = -\sum_{n\ge1}z^{-n}\) ； \(\frac{1}{z-2} = \frac1z\frac{1}{1-2/z} = \sum_{n\ge0}\frac{2^n}{z^{n+1}}\) 。合併： \(f = \sum_{n\ge1}\frac{2^{n-1} - 1}{z^n}\) ， \(a_{-1} = 1\) 。
積分： \(\oint_{|z|=1.5}\) （圍 1 不圍 2）的 \(a_{-1}\) 來自含 \(z=1\) 奇點的環 (b)： \(= 2\pi i \times (-1)\times\) ……小心：係數 \(a_{-1}\) 要讀「把內圍奇點放在 0 附近的展開」。準確做法：平移語言——在 \(|z|=1.5\) 的圈內只有奇點 \(z=1\) 。 Laurent 展開在 \(z=1\) 附近：令 \(w = z-1\) ， \(f = \frac{-1}{w(w+1)} = \frac{-1}{w}\cdot\frac{1}{1+w} = -\frac{1}{w} + 1 - w + \cdots\) ， \(a_{-1} = -1\) 。故積分 \(= 2\pi i(-1) = -2\pi i\) 。
\(\oint_{|z|=3}\) ：圈內有 \(1, 2\) 兩個奇點。 \(z=2\) 附近： \(w = z-2\) ， \(f = \frac{1}{(w+1)w} = \frac{1}{w}\cdot\frac{1}{1+w} = \frac1w - 1 + w - \cdots\) ， \(a_{-1} = 1\) 。總積分 \(= 2\pi i(-1 + 1) = 0\) 。
核對：(a) 展開無負冪 ⇒ \(a_{-1} = 0\) ，與 \(\oint_{|z|=1.5}\) 的 \(-2\pi i\) 並不矛盾——**因為 (a) 的環不含 \(|z|=1.5\) **！展開要配對正確的環，這是 Laurent 方法的第一紀律。另注意 \(z=1, 2\) 兩處指紋 \(\pm 1\) 相消，大圈積分為零：與 3.1 篂練習 1 的觀察一致（ \(\frac{1}{(z-1)(z-2)} \sim \frac{1}{z^2}\) 在無窮遠的主部指紋為零）。
歷史啟示#
- 擴展定義域即擴展語言：Taylor 說不了奇點的故事；Laurent 加上負冪，奇點的語法（階數、留數）立刻可寫。理論的進步常是「允許原本禁止的項」。
- 發表政治的教訓：Laurent 論文被拒、定理被埋。科學共同體的評審機制是雙刃劍；Weierstrass 的「刊物之外的自學成果」同樣提醒：正確的數學最終會浮出，但浮出的時間由制度決定。
- 環上展開不唯一於函數，唯一於環：同一函數有多套 Laurent 展開（按環分冊）。使用時「先報環名」是必須的紀律。
與其他章節及領域的關聯#
- 4.1 節：Taylor 級數是 Laurent 的正冪部分；半徑理論對應環的內外牆。
- 4.3 節：奇點分類完全由負冪部分的形態定義。
- 5.1 節：留數 = \(a_{-1}\) ；留數定理 = 「積分提取係數」的全域化。
- 5.2 節：實積分的圍道計算，第一步常是找 Laurent 展開。
- 7.3 節： \(e^{1/z}\) 的無窮負冪與 \(\infty\) 處的本性奇點，是分支與延拓的極端案例。
- 8.1 節：Weierstrass 因子分解把整函數表為「廣義多項式」，其理論語言（虧格、典型因子）由 Laurent 級數的收斂估計支撐。
- 微積分系列：5.2 節冪級數是正冪部分的實特例。
- 數值方法：計算 \(\operatorname{Res}\) 的數值圍道積分（倍精度積分公式）是現代軟體（如 Mathematica、mpmath）計算特殊函數的標準技術。
練習#
- 求 \(f(z) = \dfrac{1}{z^2 + z}\) 在 (a) \(0<|z|<1\) 、(b) \(|z|>1\) 的 Laurent 展開，並指出各環的 \(a_{-1}\) 。
- 求 \(e^{z^2} / z^3\) 在 \(0<|z|<\infty\) 的 Laurent 展開，寫出 \(a_{-1}\) 與 \(a_{-3}\) 。
- 對 \(f(z) = \dfrac{1}{(z-1)^2}\) ，在 \(0<|z-1|<\infty\) 上展開；驗證 \(a_{-2} = 1, a_{-1} = 0\) ，並計算 \(\oint_{|z|=2} f\,dz\) 。
- 證明：若 \(f\) 在環 \(0<|z-a|<R\) 內解析且有界，則其 Laurent 展開無負冪項（可去奇點定理的 Laurent 證明，4.3 篂預演）。
- 思考題：函數在「同一點」的 Laurent 展開為什麼可能因環不同而係數不同？（如 \(a_{-1}\) 的讀法依賴內圓套住哪些奇點。）這與「留數是局部的」矛盾嗎？
進階研讀：Laurent 級數的五個深化場景#
場景一：無窮遠點的解剖。令 \(w = 1/z\) ， \(f(z)\) 在 \(\infty\) 的行為 = \(g(w) = f(1/w)\) 在 \(w = 0\) 的行為。Laurent 展開在 \(\infty\) 處的「正冪」（即 \(z\) 的正冪）成為負冪——正負冪的角色在 \(\infty\) 互換。 \(\frac{1}{z}\) 在 \(\infty\) 解析（值 0）； \(e^z\) 在 \(\infty\) 有本性奇點。Riemann 球面（7.2 節）把 \(\infty\) 正式變成一個點，每個函數在球上的奇點清單是有限的（半純函數）或可數的——把 \(\infty\) 收編，使「全域解剖」成為可能。
場景二：留數的對稱公式。函數在球面極點的留數之和為零： \(\sum_{\text{球面}} \operatorname{Res} = 0\) （包括 \(\infty\) 處的留數，定義為 \(-\oint_{|z|=R}f\,dz\) 的歸一化）。快速推論：有理函數 \(p/q\) 在有限極點的留數和 \(= -\operatorname{Res}_\infty =\) （ \(p/q\) 在 \(\infty\) 的一次項係數）。這條「殘餘守恆」是 5.1 篂留數計算的對稱檢驗，也是 8.2 篂 Mittag-Leffler 部分分數展開的收斂校正項來源。
場景三：Zeta 函數的 Laurent 細節。 \(\zeta(s) = \sum n^{-s}\) （ \(\operatorname{Re}s > 1\) ）在 \(s = 1\) 有單極點，Laurent 展開
\(\gamma = 0.5772\ldots\) 是 Euler–Mascheroni 常數。留數恰為 1，這條資訊在 8.3 篂函數方程、素數定理（ \(\zeta\) 在 \(s=1\) 無零點 ⇒ 素數分布）中都出場。一個係數 \(a_{-1}\) 連接 Euler 常數與素數——Laurent 級數的係數在高等數論中是基本常數。
場景四：漸近展開與 Watson 引理。Laurent 型展開的「發散版」——漸近展開 \(f(z) \sim \sum a_n z^{-n}\) （ \(z \to \infty\) ，級數發散但部分和給出越來越好的近似）——是漸近分析的通用語言。Watson 引理（1918）把積分的漸近展開化為被積函數在端點的展開；最陡下降法（5.2 場景）是其複變版本。「收斂的級數」與「漸近的級數」的分工：前者描述函數，後者描述極限——物理學家大量使用的多是後者。
場景五：計算機代數系統中的 Laurent。Mathematica 的 Series、SymPy 的 series 都實現 Laurent 展開（含有限環辨識）；其核心演算法（級數代數 + 部分分數 + 截斷）正是本節技巧庫的程式化。實用建議：任何留數計算，先用 CAS 展開核對——手算 Laurent 是訓練，CAS 是驗算，兩者缺一不可。
名詞速查表（本節出現的核心術語）#
- Laurent 級數： \(\sum_{n=-\infty}^\infty a_n(z-a)^n\) ，環形區域上的雙向冪級數。
- 正則部分：正冪級數 \(\sum_{n\ge0}\) 。
- 主部：負冪部分 \(\sum_{n<0}\) ，編碼奇點。
- 留數（預告）：係數 \(a_{-1}\) 。
- 離心展開： \(|z| > R\) 的環上以 \(1/z\) 為小量展開。
- 無窮遠點： \(w = 1/z\) 變換下的原點；正負冪互換。
- 漸近展開：形式級數給出極限意義下的近似。
年表速查（本節涉及的關鍵年份）#
- 1831：Cauchy 都靈講義含圓環展開的隱含版本。
- 1841：Weierstrass 獨立獲得雙向展開（1894 年才出版）。
- 1842–1843：Laurent 月球理論論文被科學院拒。
- 1843：Laurent 致 Cauchy 信陳述定理；Cauchy 摘要發表。
- 1854：Laurent 早逝（41 歲），其名最終附著於定理。
- 1885：Runge 用 Laurent 型論證建立逼近論。
- 1894：Weierstrass 文集出版，先驅工作公之於世。
深化問答三則#
問：Laurent 級數「在環上收斂」的內外半徑由什麼決定？ 答：由被圈的奇點決定：內半徑 = 到最近的被圈奇點（內圓以內的壞點），外半徑 = 到最近的未圈奇點。級數「不知道」環外太遠與環內太深的資訊——每個環的展開是函數的一張「局間切片」，切片邊界由最近的壞點劃定。這與 4.1 篂半徑定理是同一原理的正負兩面。
問： \(a_{-1}\) 的積分公式為什麼對「任何繞 \(a\) 的圍道」都成立？ 答：因為 \(a_{-1} = \frac{1}{2\pi i}\oint f\,d\zeta\) 右端對圍道的依賴，恰被「圍道同倫於任一小圓（在 \(f\) 的解析環內）」保證（3.2 篂同倫版 Cauchy 定理）。係數的圍道無關性是 Cauchy 理論的即時紅利——積分定義係數，拓撲保證良定。
問：為什麼負冪項「只有有限個」時奇點是極點？ 答：有限負冪主部 \(\sum_{k=1}^m \frac{c_k}{(z-a)^k}\) 乘以 \((z-a)^m\) 後成為解析函數，故 \((z-a)^m f(z)\) 在 \(a\) 可去—— \(a\) 是「 \(m\) 階零點的倒數」，即 \(m\) 階極點。無窮多負冪項時找不到「制服主部的有限冪」，奇點的本性爆發（ \(e^{1/z}\) 在任何 \(a\) 鄰域取遍幾乎一切複值，4.3 節 Casorati–Weierstrass 定理）。主部的「長度」就是奇點的「嚴重度」。
（本節完）