從數的級數到函數的級數
上一篇你學到了一個複數級數收斂是什麼意思，也遇見了那個令人安心的事實：絕對收斂蘊含收斂。現在我們讓各項動起來。冪級數是形如 sum a_n (z - z_0)^n 的式子，其中係數 a_n 與中心 z_0 是固定的複數，而 z 是自由變數。每代入一個 z，你就得到一個普通的數項級數——它可能收斂，也可能炸開。組織起這一切的問題很簡單：對哪些 z 它會收斂？
要記在腦中的範本是幾何級數 sum z^n。它恰好在 |z| < 1 時收斂，收斂到漂亮的值 1/(1 - z)，而一旦 |z| >= 1 就發散。注意這個答案的形狀：不是一條帶、不是一個方塊，而是開單位圓盤——所有與中心 0 距離小於 1 的點。這個圓形並非這單一例子的怪癖。它是每一個冪級數的普遍判決，而我們整篇要做的，就是弄懂為什麼。
為何收斂區域永遠是一個圓盤
引擎是一個小小的觀察，有時稱作阿貝爾引理。假設級數在某個單點 z_1 收斂。那麼它的各項 a_n (z_1 - z_0)^n 必須縮到零，因此特別地它們是有界的——譬如全部的模長都不超過 M。現在取任一比 z_1 更靠近中心的 z，並寫 r = |z - z_0| / |z_1 - z_0| < 1。那麼 |a_n (z - z_0)^n| 不超過 M r^n，而 sum M r^n 不過是公比 r < 1 的幾何級數。由比較判別法，級數在 z 處絕對收斂。
請仔細讀這個推論，因為它就是全部的秘密。一旦冪級數在某一點收斂，它就在所有更靠近中心的點收斂。收斂不會有孔洞，也不會偏愛某個方向——它只在乎距離 |z - z_0|。於是好的 z 之集合由單一個數 R 決定：所有發生收斂之距離的上確界。在半徑 R 的圓內級數收斂，在圓外發散。這個數 R 就是收斂半徑，而它劃出的開區域就是收斂圓盤。
從係數算出 R
知道 R 存在令人滿意，但你還想把它算出來。最乾淨的工具是重用上一篇的比值判別法與根值判別法。根值判別法說：當 limsup |c_n|^(1/n) < 1 時 sum c_n 絕對收斂。把它用在 c_n = a_n (z - z_0)^n 上：你得到 limsup |a_n|^(1/n) 乘以 |z - z_0| < 1。這個不等式正是 |z - z_0| < 1 / limsup |a_n|^(1/n)，它直接交給你 R。
1 / R = limsup |a_n|^(1/n) (Cauchy-Hadamard)
n -> infinity
R = infinity when the limsup is 0 (e.g. a_n = 1/n!)
R = 0 when the limsup is +inf (e.g. a_n = n!)
quick shortcut, IF the limit exists:
R = lim |a_n / a_(n+1)| (ratio form)
n -> infinity這就是柯西-阿達瑪公式，其中的 limsup（上極限）一詞真正在幹活。|a_n|^(1/n) 的普通極限未必存在——係數可以振盪——但上極限永遠存在，所以這公式從不會無法定義 R。熟悉的比值判別法 R = lim |a_n / a_(n+1)| 是個方便的捷徑，只有在該極限確實存在時才可用。對 a_n = 1/n! 你得 R = infinity，這正是 e^z 在全平面收斂的原因；對 a_n = n! 你得 R = 0，一個除了中心之外處處不收斂的級數。
- 把係數 a_n 讀成關於 n 的公式（小心缺項——某個冪不出現就代表那個 a_n 為 0）。
- 先試比值形 R = lim |a_n / a_(n+1)|；它通常是最省力的算法。
- 若該極限拒絕存在（係數振盪或有缺項），就退回到 1/R = limsup |a_n|^(1/n)。
- 寫出圓盤 |z - z_0| < R，並記住你對邊界圓還什麼都沒證出來。
在圓盤內，這級數好得像金子
我們為何如此在意這個圓盤？因為在它嚴格內部的每一處，收斂不只是逐點的，而是在每個閉子圓盤上一致收斂——這就是在緊集上的一致收斂。任取半徑 r < R；在閉圓盤 |z - z_0| <= r 上，部分和以一個共同的速率走向極限，幾何尾項 M r'^n 一次掌控住全部（這裡的比值 r' 低於 1）。一致收斂正是那個魔法成分，讓你能毫無懼色地交換極限與求和、積分。
最頭條的推論是逐項微分。在其圓盤內，一個冪級數定義出全純函數 f(z)，而其導數只需把每項微分就得到：f'(z) = sum n a_n (z - z_0)^(n-1)。關鍵是，微分後的級數有相同的半徑 R——前面那個因子 n 不改變 limsup |n a_n|^(1/n)，因為 n^(1/n) 趨於 1。所以你能再微分、再微分，永無止境。一個冪級數在其圓盤內自動無窮可微，無需任何額外假設。
半徑究竟在量什麼
這裡有一幅圖像，能讓 R 變得直觀，而不只是一條要背的公式。級數 sum z^n 在 |z| = 1 處止步，不是因為代數用罄，而是因為它的和 1/(1 - z) 在 z = 1 處出毛病：它所建出的函數有一個極點正坐落在那個圓上。這絕非巧合。對任何冪級數，R 恰是從中心到「它所代表的函數不再全純之最近點」的距離——即它最近的奇點。這圓盤正是你能繞著 z_0 畫出、卻碰不到任何麻煩的最大圓盤。
這解釋了一件從實數線上看似矛盾的事。實函數 1/(1 + x^2) 對每個實數 x 都光滑且有界，然而它在 0 處的泰勒級數卻只在 |x| < 1 收斂。從實的觀點看，沒有理由停下來。從複的觀點看，理由一目了然：1/(1 + z^2) 在 z = i 與 z = -i 處各有一個極點，距原點都是 1，而半徑不過是伸手去碰到它們罷了。複平面看得見實數線看不見的障礙。
所以收斂半徑絕不是硬栓在級數上的任意數字——它是函數在悄悄通報自己的麻煩藏在哪裡。本階梯後面的一篇會把這個論斷做到滴水不漏；眼下，就讓它重塑你閱讀所遇每個級數的方式。當你算出 R，你是在定位函數完美中最近的那道裂縫，從你展開所繞的點筆直量出去。