4.3 奇點分類#

本章導言#

Laurent 級數（4.2）給了奇點的指紋簿，本節完成分類學：可去奇點、極點、本性奇點——三類行為、三種治法。中心定理是 Picard 的大定理：本性奇點鄰域內函數取遍（除至多一個例外值）一切複值無窮多次。這條 1879 年的定理是十九世紀分析的奇蹟之一；Picard 當年的證明借助橢圓模函數（9.2 篂），現代證明則是整個「值分布理論」（Nevanlinna，1925）的起點。本節也收錄「可去奇點定理」（Riemann）、零點與極點的階數對偶，以及 \(\infty\) 處的分類。

孤立奇點的三類#

設 \(f\) 在 \(0 < |z - a| < R\) 解析（ \(a\) 為孤立奇點）。Laurent 展開 \(f = \sum a_n(z-a)^n\) ，主部為負冪和。

第一類：可去奇點。主部為零（ \(a_n = 0\) 對一切 \(n < 0\) ）。此時 \(\lim_{z\to a} f(z)\) 存在有限，補上定義即成解析。

Riemann 可去奇點定理（1851）：若 \(f\) 在打孔盤 \(0 < |z - a| < R\) 解析且有界，則 \(a\) 是可去奇點。

證明（以 Laurent 係數估計）： \(a_n = \frac{1}{2\pi i}\oint_{|z-a|=r}\frac{f(\zeta)}{(\zeta-a)^{n+1}}d\zeta\) ，長度估計給 \(|a_n| \le M/r^{n}\) …（對 \(n < 0\) ： \(|a_n| \le M r^{-n-1}\cdot 2\pi r / 2\pi = M r^{-n}\) ； \(-n > 0\) ，令 \(r \to 0\) 得 \(a_n = 0\) ）。∎

「有界即可修」——這條定理是複變剛性的招牌展示：實變數中 \(\sin(1/x)\) 有界卻不可修；複變中壞點必須「真壞」（主部非零、爆炸）才不能修。

第二類：極點。主部有限項非零： \(f = \frac{c_m}{(z-a)^m} + \cdots + \frac{c_1}{z-a} + \text{解析}\) ， \(m\) 稱為階。等價刻畫： \(|f(z)| \to \infty\) （ \(z \to a\) ）；或 \((z-a)^m f\) 可去而更低冪不行。極點是「倒零點」： \(g = 1/f\) 在 \(a\) 有 \(m\) 階零點。

第三類：本性奇點。主部有無窮多非零項。 \(\lim_{z\to a} f(z)\) 既不存在也不為 \(\infty\) （若為 \(\infty\) 則成極點——留作練習）。

三大定理解剖本性奇點#

Casorati–Weierstrass 定理（1868）： \(a\) 本性奇點 \(\Rightarrow\) \(f\) 的像在 \(a\) 的任何去心鄰域內稠密於 \(\mathbb{C}\) 。

證明：反證存在值 \(w_0\) 與 \(\varepsilon > 0\) 使 \(|f(z) - w_0| \ge \varepsilon\) 在某去心盤上。則 \(g = \frac{1}{f - w_0}\) 有界解析，由 Riemann 定理 \(g\) 在 \(a\) 可去；若 \(g(a) \ne 0\) ，則 \(f \to \frac{1}{g(a)}\) 有限（可去，矛盾）；若 \(g(a) = 0\) ，則 \(f \to \infty\) （極點，矛盾）。∎

Picard 大定理（1879）： \(a\) 本性奇點 \(\Rightarrow\) \(f\) 在 \(a\) 的任何去心鄰域內取每個複值（至多除一個例外）無窮多次。

例： \(e^{1/z}\) 在 \(0\) ：取值 \(e^w\) 對 \(w = 1/z\) ；一切非零複值被取無窮多次，例外值 \(0\) 永不取（ \(e^w \ne 0\) ）。「至多一個例外值」是精確的： \(\tan(1/z)\) 無例外值（每值無窮多次）， \(e^{1/z}\) 有例外值 0。

Picard 的原始證明：用橢圓模函數 \(\lambda(\tau)\) （把上半平面映為「複平面挖去 \(0, 1, \infty\) 」的覆疊）反解——若 \(f\) 避開兩個值，可復 合 \(\lambda^{-1}\) 把它提升為單位盤上的函數，再用 Liouville 型論證（當時用 Schwarz 引理，1872 年 Picard 自己的引理版本）。整個證明是「藉更高級函數之力」的典範；初等證明（Bloch、Landau、Schottky 定理路線）直到二十世紀初才出現，且遠不如 Picard 原證明優雅。值分布理論（Nevanlinna 1925）以兩個計數函數 \(m, N\) 把「取值的貪婪度」量化，Picard 定理成為其極限情形。

零點與解析函數的「原子結構」#

設 \(f\) 解析、 \(f(a) = 0\) 且不恆零。則 \(f(z) = \sum a_n (z-a)^n\) ，首個非零係數 \(a_m\) 給出階： \(f(z) = (z - a)^m g(z)\) ， \(g(a) \ne 0\) 。

零點孤立性：解析函數的非零零點互相孤立（否則零點有極限點，由展開唯一性 \(f \equiv 0\) ——單位定理：解析函數若在一個有極限點的集合上為零，則恆零）。這是複變剛性的又一展現，7.1 篂「延拓唯一性」由它保證。

零點與極點的對偶表：

半純函數（meromorphic）：除極點外解析的函數——「分式世界」。 \(z \mapsto \frac{p}{q}\) 、 \(\tan z\) 、 \(\Gamma\) 函數（9.1）皆半純。半純函數是「可控壞點」的函數類：極點是唯一允許的奇點，因此第 5 章的留數計算對它完全機械化。半純：複分析的「可計算中產階級」；本性奇點則是「不可預測的深淵」（Picard 定理）。

\(\infty\) 處的分類#

以 \(w = 1/z\) 換元， \(f\) 在 \(\infty\) 的行為 = \(f(1/w)\) 在 \(w = 0\) 的行為：

推論（Liouville 的級數版）：整函數在 \(\infty\) 可去 \(\iff\) 有界 \(\iff\) 常數；在 \(\infty\) 是 \(m\) 階極點 \(\iff\) \(m\) 次多項式；在 \(\infty\) 本性 \(\iff\) 超越整函數（ \(e^z\) 、 \(\sin z\) 、 \(\Gamma\) 無窮乘積的逆）。函數論的大分類由「 \(\infty\) 處的奇點類型」完成——8.1 篂 Weierstrass 因子分解正是對「超越整函數」的系統解剖。

一個具體例題#

例題 4.3.1：對 \(f(z) = \dfrac{e^{1/z} - 1}{e^{1/z} + 1}\) （即 \(\tanh\frac{1}{2z}\) ），(a) 分類 \(z = 0\) 的奇點；(b) 求 \(\lim_{z\to 0}\) 沿實軸與沿虛軸的行為；(c) 求一切使 \(f(z) = 0\) 、 \(f(z) = 1\) 、 \(f(z) = 2\) 的點列，檢驗 Picard 定理；(d) 求這個函數「無窮多次取得」的值域與例外值。

解：

(a) \(e^{1/z}\) 在 0 有本性奇點。 \(f\) 是它的分式： \(f = \frac{g - 1}{g + 1}\) ， \(g = e^{1/z}\) 。 \(g\) 取值 \(\pm(-1)\) 時分母為零： \(e^{1/z} = -1 \iff 1/z = (2k+1)\pi i \iff z = \frac{1}{(2k+1)\pi i}\) ——這些點是 \(f\) 的極點，且 \(0\) 是它們的極限點：0 不是孤立奇點！精確地說： \(f\) 在 \(z = 0\) 處非孤立地壞（極點累積）。這提醒：奇點分類的前提是孤立性；本函數的 0 處屬於「非孤立奇點（聚點）」範疇。在打孔盤 \(0 < |z| < \frac{1}{\pi}\) （不含極點）內， \(f\) 的 Laurent 展開存在且主部無窮——局部行為同本性奇點。

(b) 沿實軸 \(z = t \to 0^{\pm}\) ： \(1/z \to \pm\infty\) ， \(e^{1/z} \to \infty\) 或 \(0\) ，故 \(f \to 1\) 或 \(-1\) 。沿虛軸 \(z = it\) ： \(1/z = -i/t\) ， \(|e^{-i/t}| = 1\) 振盪不定， \(f\) 在單位圓上振盪。不同方向的極限行為完全不同。

(c) \(f(z) = 0 \iff g = 1 \iff 1/z = 2k\pi i \iff z = \frac{1}{2k\pi i}\) ； \(f = 1 \iff g \to \infty\) 方向（ \(z = \frac{1}{2k\pi}\) 型， \(1/z = 2k\pi\) ， \(e^{2k\pi} \ne \infty\) ——不對！ \(e^{1/z} = \infty\) 無解，但 \(f = 1 \iff \frac{g-1}{g+1} = 1 \iff g - 1 = g + 1 \iff -1 = 1\) 無解）。** \(f = 1\) 無解**——1 是例外值？再看： \(f = 2 \iff g - 1 = 2g + 2 \iff g = -3 \iff 1/z = \ln 3 + (2k+1)\pi i\) ， \(z = \frac{1}{\ln 3 + (2k+1)\pi i}\) ——無窮多解 ✓。

(d) \(f = w \iff g = \frac{1+w}{1-w}\) （ \(w \ne 1\) ），而 \(g = e^{1/z}\) 取一切非零值，故 \(w\) 可解 \(\iff \frac{1+w}{1-w} \ne 0 \iff w \ne -1\) 。值域 = \(\mathbb{C}\setminus\{-1, 1\}\) ，兩個例外值（ \(-1\) 對應 \(g = 0\) 不可達； \(1\) 對應分式恆等矛盾）。Picard 定理允許「至多一個」例外——但那是對孤立本性奇點；本函數 0 處非孤立（極點累積），所以出現兩個例外值不違反 Picard（定理前提不滿足）。檢查前提永遠是使用大定理的第一步。

歷史啟示#

• 分類即治療：可去（補值）、極點（留數計算，5.1）、本性（Picard 警告：別指望控制）。分類學把「壞點」變成可管理的資源而非障礙——奇點是資訊，不是缺陷。
• Riemann 定理的哲學：「有界即可去」意味著複變函數不允許「溫和的病態」；病態必須以爆發的形式存在。這種「全或無」的性格貫穿複分析（對照 2.1 篂 C–R 的全或無）。
• Picard 定理的方法論：藉模函數之力證初等命題——十九世紀「以高級函數為證明引擎」的範例，預示了現代數學「以大結構證小定理」的常態。

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

• 4.2 節：Laurent 主部是分類的判據。
• 5.1 節：留數只對極點（主部 \(a_{-1}\) ）非平凡；本性奇點也有留數（ \(a_{-1}\) 仍定義！），5.2 篂會用到（如 \(e^{1/z}\) 的 \(\operatorname{Res}_0 = 1\) ）。
• 5.3 節：輻角原理處理半純函數（極點計數）。
• 7.1 節：單位定理是解析延拓唯一性的基礎。
• 8.1 節：整函數的分類（ \(\infty\) 處）與 Weierstrass 因子分解。
• 9.1 節： \(\Gamma\) 函數的極點在 \(0, -1, -2, \ldots\) ，全為單極點，留數 \((-1)^n/n!\) ——留數序列即函數的「身分證」。
• 動力系統：複動力學（Julia 集）的本性奇點是奇異吸引子的複變前身；Picard 定理控制迭代炸點的行為。

練習#

1. 分類 \(f(z) = \dfrac{1 - \cos z}{z^2}\) 在 \(z = 0\) 的奇點，求其極限值與 Laurent 展開首兩項。
2. 分類 \(f(z) = \dfrac{z}{\sin z}\) 在 \(z = 0, \pm\pi, \pm 2\pi, \ldots\) 的奇點；指出 \(z = 0\) 的特殊性（可去）。
3. 證明：若 \(\lim_{z\to a}|f(z)| = \infty\) ，則 \(a\) 是 \(f\) 的極點（主部有限）。（提示： \(1/f\) 有界，用 Riemann 定理 + 分類窮舉。）
4. 對 \(f(z) = e^{1/z}\) ：求 \(\operatorname{Res}_{z=0} f\) ；求方程 \(e^{1/z} = w\) （ \(w \ne 0\) ）的解集，並驗證 Picard（每個 \(w \ne 0\) 在任意去心鄰域內無窮多次取得）。
5. 思考題： \(f(z) = \frac{1}{\sin(1/z)}\) 的奇點結構如何？ \(z = 0\) 是孤立奇點嗎？分類學在「非孤立」情形要怎樣補充？

進階研讀：奇點的五個深化場景#

場景一：值分布理論的門牌。Nevanlinna（1925）定義特徵 \(T(r, f)\) （函數「平均取值量」）與計數 \(N(r, a)\) （取值 \(a\) 的量），證明第二基本定理：對至多 \(q\) 個目標值， \(\sum(1 - \frac{N}{T}) \le 2\) ——虧量關係。例外值最多兩個（Picard 的定量版）；Nevanlinna 函數論使 Picard、Schottky、Montel 定理成為同一框架的推論，並在單葉化、正規族、微分方程解增長中全面開花。複分析由此從「定性分類」進入「定量測量」時代。

場景二：正規族與 Montel 定理。函數族的「正規性」（任意子列內閉一致收斂的緊性）由 Montel 定理（1912）刻畫：局部有界 ⇒ 正規。Montel 大定理：在一個區域上避開三個值的函數族必正規。Picard 定理的現代證明：本性奇點鄰域內的 \(f(2^{-n} z)\) 族若避開兩值，由 Montel 正規，極限函數解析，再由單位定理導矛盾。正規族是複分析版 Arzelà–Ascoli；它同時是 6.2 篂 Riemann 映射定理現代證明的骨架。

場景三：奇點與常微分方程。線性 ODE \(w'' + p(z)w' + q(z)w = 0\) 的解在係數的正則點解析；係數的奇點分成正則奇點（ \(p, q\) 的爆發不超過 \(1/(z-a)\) 、 \(1/(z-a)^2\) ）與非正則奇點。Frobenius 方法（1873）在正則奇點構造冪級數解（指標方程）——本書 9.3 篂 Bessel 函數的 \(J_\nu, Y_\nu\) 正是 \(z=0\) 正則奇點的兩個局部解。「奇點的階」決定解空間的結構——奇點分類是 ODE 理論的地圖。

場景四：解析延拓的障礙圖。奇點是延拓（7.1 篂）的牆：支點（ \(\sqrt z\) 在 0）、極點、本性奇點、以及自然邊界（4.1 場景一）。精細的問題：「沿不同路徑延拓得到不同的芽」的歧變點集合 = 奇點集；monodromy 群（7.3 篂）以奇點為生成元。Fuchs 型 ODE 的單值化理論（Riemann–Hilbert 問題）把「奇點 + monodromy = 函數」的等式變成二十世紀數學的巨柱（Hilbert 21 問題，Plemelj、Röhrl 證明）。

場景五：物理學中的奇點。(1) 量子場論：傳播子的極點 = 粒子質量譜；Källén–Lehmann 表示把「實極點位置」等同物理粒子——奇點分類直接對應粒子分類。(2) 流體：點渦（10.2 篂）是速度場的極點，留數給環量。(3) 統計力學：自由能的奇點（Yang–Lee 邊緣奇點，1952）編碼相變——把參數複化，實相變 = 複奇點與實軸的接觸。「觀測到的實現象 = 複平面上奇點的實軸投影」在物理各處重演，正如 4.1 篂 \(\frac{1}{1+x^2}\) 的教訓。

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

• 孤立奇點：去心鄰域內解析的點；可去 / 極點 / 本性三類。
• Riemann 可去定理：有界即可去。
• 極點階數：主部的最高負冪； \(= 1/f\) 的零點階。
• 本性奇點：主部無窮項；Picard 鄰域取值「除一例外全取遍」。
• Casorati–Weierstrass 定理：本性奇點鄰域的像稠密。
• Picard 大定理：除至多一例外值，每值取無窮多次。
• 單位定理：零點有極限點 ⇒ 恆零。
• 半純函數：除極點外解析。
• 正則奇點：ODE 係數的可控爆發點（Frobenius 理論）。
• 正規族：內閉緊性；Montel 定理。

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

• 1851：Riemann 可去奇點定理（博士論文）。
• 1868：Casorati 與 Weierstrass 各自發表稠密性定理。
• 1873：Frobenius 正則奇點方法。
• 1876：Weierstrass 系統的解析函數論（奇點講義）。
• 1879：Picard 大定理。
• 1912：Montel 正規族理論。
• 1925：Nevanlinna 值分布理論。
• 1952：Yang–Lee 相變奇點理論（統計力學）。

深化問答三則#

問：為什麼「本性奇點取遍一切值」如此驚人？ 答：因為函數在奇點附近沒有定義，卻在無窮小的鄰域裡完成「取遍複平面」的壯舉——局部行為的複雜度與全域函數（如 \(e^z\) 全域取遍非零值）相當。這是「局部 = 全域」剛性的最極端展示：一個點的鄰域藏著整個值的宇宙。實變函數中 \(\sin(1/x)\) 已算劇烈，但仍取不出大值； \(e^{1/z}\) 在 \(|z| < \varepsilon\) 內取遍 \(|w| > e^{1/\varepsilon}\) 的一切值。

問：極點與本性奇點的「實用」差別是什麼？ 答：計算上：極點的留數可用 \(c_{-1}\) 公式、導數公式機械求出；本性奇點的留數需展開 Laurent 級數（無捷徑）。理論上：極點「可控」（5.3 篂輻角原理能數它們），本性奇點「失控」（Picard 的無窮取值使根計數無意義）。半純函數世界（第 5、8 章）的機械化程度，正以「無本性奇點」為前提。

問： \(\infty\) 的分類為什麼重要？ 答：因為它把「函數的增長」翻譯成「奇點類型」：多項式增長 = 極點、指數增長 = 本性、衰減 = 可去。8.1 篂 Weierstrass 因子分解的「虧格」概念正是 \(\infty\) 處主部複雜度的計量。把 \(\infty\) 當一個普通的點處理（Riemann 球），使「全域函數論」的敘事閉環——這是 Riemann 面思想的第一個勝利。

補充：奇點分類的「快速檢查流程」#

實戰中判定一個孤立奇點 \(a\) 的類型，建議按以下順序執行（每步只需上一步排除後的餘項）：

1. 先試極限： \(\lim_{z\to a} f(z)\) 存在且有限 → 可去（求值補好）；不存在且非 \(\infty\) → 本性； \(|f| \to \infty\) → 極點（轉第 2 步求階）。
2. 求極點階：試 \((z - a)^m f(z)\) 的可去性，從 \(m = 1\) 起逐階檢查；對 \(f = \frac{p}{q}\) （ \(p(a) \ne 0\) ），階 \(= q\) 在 \(a\) 的零點階（ \(q(a) = 0\) 、 \(q'(a) \ne 0\) → 單極點）。
3. 本性確認：含 \(e^{1/(z-a)}\) 、 \(\sin\frac{1}{z-a}\) 、 \(\log\frac{1}{z-a}\) 型因子的複合，多半本性；確認用 Laurent 主部無窮項。

三個常犯錯誤：(1) 把「沿一條路徑極限存在」當作可去（必須所有路徑——路徑檢驗 2.1 篂）；(2) 把 \(0/0\) 型的 \(\frac{\sin z}{z}\) 在 0 誤判為極點（級數展開顯示可去）；(3) 在非孤立奇點（極點的聚點，例題 2 的情形）套用 Picard 定理（前提失效）。檢查孤立性 → 檢查極限 → 檢查階——三步紀律使奇點分類從「直覺題」變成「程序題」。

（本節完）