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

像曲線的繞數

輻角原理有第二張你真能親眼看見的面孔:當輸入繞著迴路走,輸出描出它自己的一條曲線,而那條曲線繞原點的圈數,就是零點減極點的計數。本篇把積分變成一張你能動手畫、又能信賴的圖。

從一個積分,到一條你畫得出來的曲線

上一篇我們用兩種方法證明了輻角原理:用留數,以及用「f'/f 的積分量的是 arg f 繞迴路的總變化量」這個觀察。第二種讀法結尾留了個承諾——你可以看出那個計數而不必算任何東西——而整篇就是要來兌現這個承諾。關鍵是別再把 f 想成一條公式,改把它想成一台機器:它拿走 z 平面裡的邊界迴路 C,把它彎折成 w 平面裡一條新的閉曲線,其中 w = f(z)。把那條新曲線叫做 f(C),也就是像曲線。輻角原理說的一切,都寫在 f(C) 的形狀上。

這裡有段心理電影。把一支筆放在輸出平面上 w = f(z) 那一點。現在讓 z 沿著迴路 C 緩緩逆時針繞一圈。筆會移動,而因為 C 是封閉的、f 是連續的,筆會恰好回到出發處:f(C) 也是一條閉曲線。筆移動的過程中,它可能繞圈、自我交叉、盪得很開、又縮得很緊——但我們在乎的那個數,卻簡單得令人發愣:筆淨繞了原點 w = 0 幾圈?逆時針的圈算 +1,順時針的圈算 -1,全部加總。那個帶正負號的總數,就是 f(C) 關於 0 的繞數,而輻角原理說它等於 Z - P。

「繞數」真正數的是什麼

讓我們把繞數釘死,好讓它別再像在打太極。沿著 C 讓參數 t 從 0 跑到 1,取一個連續的角度選擇 theta(t) = arg(f(z(t)))。你不能每一瞬間都只取主輻角——那會在曲線每次穿過負實軸時跳 2 pi。你要讓 theta 誠實地累積,就像汽車的旅程里程表只會一路往上爬、不會歸零。因為 f(C) 回到了它的起點,輸出角度也回到一個與起點相差 2 pi 整數倍的角度。那個倍數,就是繞數。

winding number of f(C) about 0
   =  (1 / 2 pi) * [ total continuous change in arg f around C ]
   =  (1 / 2 pi) * (net change in arg f)
   =  (1 / 2 pi i) * integral over C of  f'/f  dz
   =  Z - P
同一個數的四種寫法:掃過的角度除以 2 pi、輻角的淨變化、對數導數積分、以及計數 Z - P。

注意這是輻角的淨變化除以 2 pi 的幾何內容:arg f 回到自己、僅差幾整圈,整圈的數目就是繞數,而 2 pi 乘上它就是 f'/f 積分算出來的東西。深刻之處在於繞數是個整數——它非是不可,因為曲線封閉了起來。一個表面上可以是任何複數的積分,被拓撲逼成了一個整數乘以 2 pi i。這正是複分析悄悄證出某個東西是整數、卻從不一個一個去數的那種時刻。

三張圖,用眼睛數

整段都讓 C 是單位圓 |z| = 1,我們直接從三條像曲線的形狀把它們讀出來。第一,f(z) = z。當 z = e^(i theta) 繞一圈,輸出就是同一點,所以 f(C) 不過是單位圓本身、逆時針繞一次。它恰好繞原點一圈:繞數 1,而 z 確實在裡面有一個位於 0 的單零點、P = 0,所以 Z - P = 1。最簡單的迴路,最簡單的計數。

第二,f(z) = z^2。現在輸出是 e^(2 i theta):當 z 走完角度 2 pi 的一圈,w 飛快地繞了兩圈、掃過 4 pi。像曲線是單位圓被描了兩次。繞 0 兩圈,繞數 2——與我們在第 1 篇早已數過的、原點處那個二重零點相符。這張圖讓重數變得可感:一個 m 階零點會讓像圓纏繞 m 次,因為平方(或 m 次方)把輸出角度加速了 m 倍。

第三,揭示性的那個:f(z) = z - 2。它唯一的零點在 z = 2,落在單位圓,所以我們預期 Z - P = 0。看那個像:當 z 繞著原點轉,w = z - 2 不過是同一個小圓往左平移、改以 -2 為心。一個繞著 -2 的小圓,根本不把原點圈在裡面——筆繞著一個遠在左方的點打轉,從不纏住 0。繞數 0。輻角原理不只是容忍零點在外面;它還偵測到了,靠的是像曲線拒絕繞圈。零點在內,曲線就纏繞;零點在外,曲線就鬆垮。

為什麼這個計數不會晃動:連續性與度

一個從積分裡冒出來的整數感覺很脆弱——稍微推一下 f,積分不就稍微變一點嗎?它確實會變,但它動不了那個繞數,因為繞數是整數,而整數無法連續漂移。把 f 變動一點,或把圍道 C 推一點,只要你從不把零點或極點拖著越過 C,像曲線 f(C) 會扭動,但它繞 0 的圈數依然鎖死。這是同倫不變性換了頂帽子:連續地把曲線變形、卻從不讓它通過原點,無法改變它繞原點幾圈。

這份穩定,正是繞數配得上被叫做的理由。把 f 限制在邊界上、看成把迴路 C 送到迴路 f(C) 的映射,它有一個拓撲度:一個整數,說的是目標迴路被帶號覆蓋了幾次,而且在連續變形下不變。於是數零點就成了關於這個度的問題,而度按其本性就是穩固的。這份穩固在這裡不是額外的好處——它是下一篇的引擎。如果你能扭動 f 而不改變計數,那麼兩個在邊界上保持靠近的函數,就必然共享同一個計數。

在實務上讀這張圖

這裡把整套方法寫成一份你能拿去跑真實問題的食譜——數一個全純的 f 在圍道 C 內的零點,完全不必去找根。

  1. 確認 f 在 C 上及其內部全純,且 C 本身上沒有零點。若有,像曲線會通過 0、繞數無定義——先把圍道挪一挪。
  2. 把 C 參數化、餵進 f,得到像曲線 w = f(z)。對一個多項式在大圓上,只要追蹤主導項——在很大的 |z| = R 上,z^n +(低階項)的行為像 z^n,它繞 n 圈。
  3. 數像曲線繞原點的淨帶號圈數——用累積角度的方法,或數它越過從 0 出發的固定射線的帶號次數。
  4. 那個整數就是 Z - P。若你安排了 P = 0(f 全純),它就是 C 內零點的確切數目、含重數——而你從沒解過任何方程式。

這種像曲線的觀點不只是個漂亮的改寫;它是整個階梯的鏡片。兩個在邊界上靠近的函數會讓它們的像以同樣方式繞圈——這就是魯歇定理,下一篇的零點定位工具。同樣的穩固,施加在繞著單一點的小迴路上,便顯示全純映射把開集推成開集——這就是開映射定理——並逼出了最大模原理。把那段「筆與原點」的電影留在腦中:從此以後,「有幾個零點」幾乎總是意味著「像繞了幾圈」,而答案,是你畫得出來的東西。