JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

繞著奇點的羅朗級數

函數一爆掉，泰勒級數就失效了；但羅朗級數還能繼續——它只是讓次冪變成負的。那些負次冪正是奇點的指紋，而讀懂它們，就是我們分辨可去奇點、極點與本性奇點的方法。

泰勒定理用盡空間的地方

在冪級數那一階梯，你掙得了一個了不起的事實：全純函數在一個圓盤上等於它自己的泰勒級數 sum a_n (z - z_0)^n，而這個圓盤會一直長大，直到撞上麻煩為止。你碰過的規則就是收斂半徑會抵達最近的奇點：泰勒圓盤恰好停在函數出狀況的最近一點。但在那個惹麻煩的點上頭、以及它剛剛外面，又會發生什麼事呢？泰勒級數只由非負次冪 (z - z_0)^n 組成，在 z_0 處保持有限而溫順——所以要描述一個在那裡正在爆掉的函數，它根本就是錯的工具。

看最乾淨的例子，f(z) = 1 / z 在 z_0 = 0 附近。它在原點沒有泰勒級數：任何泰勒級數在其中心都是有限的，但 z 趨近 0 時 1/z 卻奔向無窮。然而 f 在其他每一處都完美地全純——它只有一個壞點，在 0 處的一個孤立奇點，外圍環繞著一整片乖巧的汪洋。我們很想要一個級數，能在那片外圍區域描述 f，又不必假裝那個壞點不存在。竅門簡單到幾乎令人難為情：容許負次冪。如此一來，1/z 本身就已是它自己的級數，單獨一項 z^(-1)，該說的也就全說完了。

羅朗級數：兩個方向的次冪

這就是核心對象。以 z_0 為中心的羅朗級數，是一個對所有整數 n（從負無窮到正無窮）求和的雙向總和：sum a_n (z - z_0)^n。把它從中間剖開，它就會自己把故事說出來。n >= 0 那一塊，即普通的冪級數 sum_{n>=0} a_n (z - z_0)^n，叫做解析部分——它正是泰勒式的級數，行為良好。n < 0 那一塊，由負次冪 a_{-1}/(z - z_0) + a_{-2}/(z - z_0)^2 + ... 組成，叫做主要部分，而所有的「不乖」都住在這裡。

f(z) = ... + a_(-2)/(z-z_0)^2 + a_(-1)/(z-z_0) + a_0 + a_1 (z-z_0) + a_2 (z-z_0)^2 + ...
       \___________________  principal part  __________________/ \____ analytic part ____/
                 (negative powers: the singular behaviour)         (non-negative powers)
羅朗級數要從中心的兩側來讀。主要部分（負次冪）承載奇點；解析部分（非負次冪）則是一個普通的泰勒式級數。

圓環：羅朗級數居住的地方

羅朗定理說：若 f 在一個圓環上全純——即繞著 z_0 的兩個圓之間、環狀的區域 r < |z - z_0| < R——那麼在整個圓環上，f 都等於唯一的一個羅朗級數。這就是圓環內的收斂，也是整個想法的自然居所。內半徑 r 可以一路縮到 0（一個只去掉中心的去心圓盤），外半徑 R 可以一路脹到無窮；只要 f 在那個環上保持全純，定理就成立。

要記住的畫面是：解析部分從中心往外收斂，覆蓋外圓 |z - z_0| < R 以內的一切；主要部分從無窮往內收斂，覆蓋內圓 |z - z_0| > r 以外的一切。只有在兩者都收斂的那個環上，完整的雙向級數才有意義——而在那個環上，它就等於 f。一個微妙卻要命的警告：同一個 f 在繞著同一中心的不同圓環上，可以有不同的羅朗級數。在 z_0 旁邊一個小環上成立的展開式，不必和遠處一個大環上成立的展開式相同，因為兩者之間可能還坐著另一個奇點，把平面切成了一個個分開的環。

用簡單的方法得到羅朗級數

實務上沒有人會用那條積分去追捕羅朗係數。誠實的工作方法是藉由幾何級數展開，搭配你早已熟悉的泰勒級數。你用代數把函數揉成由你能展開的零件所組成的樣子，並小心地在正確的區域裡（靠內還是靠外）去展開每個零件，於是負次冪就自己掉了出來。讓我們從頭到尾走一遍：函數 f(z) = 1 / (z (z - 1))，在去心圓盤 0 < |z| < 1 上繞著 z_0 = 0 展開。

  1. 用部分分式拆成簡單的零件：1 / (z (z - 1)) = -1/z + 1/(z - 1)。第一個零件 -1/z 已經是純粹的負次冪——對它無事可做。
  2. 改寫第二個零件以露出幾何級數：1/(z - 1) = -1/(1 - z) = -(1 + z + z^2 + z^3 + ...)，之所以成立是因為我們在 |z| < 1 上，比值 z 滿足 |z| < 1，幾何級數收斂。
  3. 把兩個展開式相加：f(z) = -1/z - 1 - z - z^2 - z^3 - ...。那孤零零的一項 -1/z 就是整個主要部分；從 -1 之後的所有項都是解析部分。
  4. 把係數讀出來：a_{-1} = -1，而對每個 n >= 0 都有 a_n = -1。主要部分恰好只有一項，所以 0 處的奇點是溫和的——這個事實下一篇會給出精確的名稱。

注意第二個奇點，在 z = 1 處，就坐在我們圓盤的外面一點點。正是它逼使外半徑成為 R = 1：我們的圓環就是環 0 < |z| < 1，被夾在 0 處的壞點（內半徑縮到 0）與 1 處的壞點（外半徑）之間。倘若你改而想要在外側區域 |z| > 1 上的展開，你會把 1/(z - 1) 朝另一個方向展開，寫成 (1/z)(1 / (1 - 1/z)) = 1/z + 1/z^2 + ...，於是得到一個完全不同的羅朗級數——同一個函數、不同的環、不同的展開，恰如上面警告過的那樣。

讀懂主要部分：分類的預覽

現在來收成。一旦你拿到了 f 繞著孤立奇點 z_0 的羅朗級數，主要部分就是一張完整的成績單，記錄著 f 在那裡有多不乖。只要數一數它的負次冪項——數一數那些不為零、且 n < 0 的羅朗係數 a_n。恰好有三種可能，而它們是真正不同的世界，不是同一樣東西的不同深淺。

若主要部分是空的——完全沒有負次冪——那這奇點是假的，是一個能填補起來的洞；我們稱它為可去的，就像 sin(z)/z 在 0 處的接縫，能被撫平成值 1。若主要部分有有限多項，止於 a_{-m}/(z - z_0)^m，那奇點就是 m 階的極點，是 1/(z - z_0)^m 那種誠實的無窮。而若主要部分有無窮多個負次冪項，那奇點就是本性的——狂野的情形，就像 e^(1/z) 在 0 處，其主要部分永不停止。接下來四篇會一個一個處理它們：分辨這三者、零點與極點的階、只允許極點的亞純函數，以及本性情形那貨真價實的狂野。