收斂半徑伸到最近的奇點

微積分留下沒答的謎

回到實數微積分，你也許碰過函數 1/(1 + x^2)。它在整條實數軸上完美光滑——沒有除以零，沒有尖角，哪裡都不跳。然而它在 0 處的泰勒級數，也就是 1 - x^2 + x^4 - x^6 + ...，只在 |x| < 1 時收斂，一旦 |x| 觸到 1 就炸開。實數軸上沒有任何東西能解釋 x = 1 那道牆。級數就是在那裡罷工，而實分析只能聳聳肩。

只要讓變數變成複數，謎團瞬間化開。把同一個函數寫成 1/(1 + z^2)，問它在哪裡壞掉：分母在 z = i 與 z = -i 處為零，這兩點落在實軸之外，到原點的距離恰好是 1。由泰勒定理，全純函數的級數住在一個圓盤上，而這圓盤只能長到撞上麻煩為止。最近的麻煩是 i 與 -i，距離為 1——那就是半徑。實數軸把解釋藏在它看不到的方向裡。

把定理講誠實

這就是那個叫做收斂半徑伸到最近奇點的精確主張。設 f 在含有點 z_0 的某個開區域上全純，令 f = sum a_n (z - z_0)^n 為其在該處的泰勒級數。則收斂半徑 R 等於從 z_0 到 f 最近奇點的距離——也就是你在保持 f 全純的前提下無法抵達的最近一點。收斂圓盤是以 z_0 為心、f 在其上確實全純的最大開圓盤，一丁點都不能再大。

這由兩半合成才成立，兩半都值得一看。其一，R 不可能比那個距離更大：若級數在更大的圓盤上收斂，它的和在那裡就會是全純的（收斂冪級數在其圓盤內部是全純的），這會把 f 全純地延拓越過那個奇點——與「該點確實是奇點」矛盾。其二，R 不可能更小：泰勒定理保證級數在 f 全純的每個圓盤上都收斂，所以圓盤一路長到第一個障礙為止。兩邊一夾，R 就恰好落在最近的奇點上。

R = dist(z_0, nearest singularity of f)

  |z - z_0| < R   ->  series converges, f holomorphic
  |z - z_0| = R   ->  boundary circle, at least one singularity sits on it
  |z - z_0| > R   ->  series diverges (the disk cannot grow past the obstruction)

收斂圓盤是繞著 z_0 的最大全純圓盤；它的邊界圓上必定至少坐著一個奇點。

什麼算是最近的麻煩

最近的奇點不必是戲劇性的爆炸。任何讓 f 無法全純的孤立點都會擋住圓盤——最常見的是極點，f 在那裡衝向無窮，就像 1/(z - i) 在 z = i 處那樣。但障礙也可以是分支點，那裡像對數或平方根這種多值函數無法被弄成單值；也可以是本質奇點，甚至是奇點沿某條曲線堆積。無論最近的障礙是什麼，半徑都伸到它那裡就停住。

一個乾淨的範例。取 f(z) = 1/((z - 1)(z - 3))，繞著 z_0 = 0 展開。它唯一的奇點是 z = 1 與 z = 3 的兩個一階極點，到中心的距離分別是 1 與 3。最近的是 1 處的極點，所以在 0 處的泰勒級數半徑恰好 R = 1——圓盤一直長到碰著 z = 1 就不能再走，儘管 z = 3 安安靜靜地坐在外頭一點點。若改以 z_0 = 2 為心，距離變成 1（到 z = 1）與 1（到 z = 3），半徑又是 1，這次邊界上同時坐著兩個奇點。

一步步讀出一個半徑

對由熟悉零件組成的函數，你通常根本不需要把任何級數加起來。你可以純粹靠搜尋奇點來定出半徑。流程如下。

確認你的展開中心 z_0——也就是你要繞著建造泰勒級數的那一點。
找出 f 不再全純的每一個點：任何分母的零點（極點）、任何對數或分數次冪的分支點，以及其他任何奇點。
用模 |奇點 - z_0| 量出 z_0 到每一個這種點的距離。
取這些距離中最小的一個。那個最小值就是 R，也就是收斂半徑。
若根本沒有奇點，每個距離實際上都是無窮，於是 R = 無窮，級數在整個平面上收斂。

拿我們開場的實數微積分謎題 f(x) = 1/(1 + x^2) 試試，改以日常的點 x = 1 為心，即 z_0 = 1。奇點仍在 i 與 -i。從 1 到 i 的距離是 |i - 1| = sqrt(2)，從 1 到 -i 的距離也是 sqrt(2)。最小者為 sqrt(2)，所以 1/(1 + x^2) 在 x = 1 處的泰勒級數半徑是 sqrt(2)——這個值在實軸上看來完全莫名其妙，但一旦你踏進平面，就能直接從幾何讀出來。

要保持誠實的微妙之處

兩個誠實的提醒。其一，定理告訴你邊界圓 |z - z_0| = R 上至少坐著一個奇點，但對那個圓上本身的行為什麼也沒說。級數可能在某些邊界點收斂、在另一些發散；邊界是微妙的地帶，是阿貝爾定理的家，也是像 sum z^n / n^2 這種精巧例子的家——後者在 |z| = 1 上處處收斂，儘管 R = 1。乾淨的二分法（內部收斂、外部發散）嚴格地只在圓之外成立。

其二，級數在 R 之外發散，不代表函數到那裡就結束了。函數 1/(1 + z^2) 在單位圓盤之外仍快快樂樂地全純，遍布整個平面，只除了 i 與 -i 兩點；只是「這個」錨定在「這個」中心的特定級數在 R = 1 處罷工而已。要把函數往外追，你就繞著一個新中心重新展開、伸得更遠——這正是通往解析延拓的門，把一個個重疊的圓盤縫接起來，把函數延伸到奇點所允許的最遠處。半徑是級數的性質，不是圍住函數的籬笆。

再記住一個美麗的極端：有些函數被徹底封死。像 sum z^(2^n) 這樣的級數，在整個圓 |z| = 1 上有一道自然邊界——奇點沿著整圈稠密分布，所以任何重新展開都逃不出去，朝每個方向的解析延拓都不可能。當麻煩是包圍著圓盤、而非坐在幾個點上時，半徑標出的就不是暫時的牆，而是永久的邊緣。無論哪一種，原則都一樣：半徑伸到函數允許的、恰恰那麼遠的地方。