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

物理中的複分析:圍道積分的魔法

為什麼物理學家住在複數平面、什麼使函數解析,以及留數定理如何把一整頁實變積分的折磨化為兩行的極點計數——附完整解題示範。

為什麼要用複數?

複數不是只給電機工程師用的記帳把戲。在物理中,把振盪寫成 e^{i\omega t} 而非 \cos\omega t,能把微積分變成代數:微分只不過是乘上 i\omega。複變數 f(z)(其中 z=x+iy)的函數,比實變數函數帶有多得多的結構——而正是那份額外的結構,讓我們能計算積分、求級數和、並理解共振。

解析函數與柯西–黎曼

一個函數在某點解析(全純),若它在該點可作複微分——定義 $f'(z)$ 的極限,無論你沿平面上哪個方向趨近,都必須給出同一個答案。這是個嚴苛的要求,它迫使實部與虛部 f=u+iv 滿足一對條件:柯西–黎曼方程

\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}

柯西–黎曼方程。一個推論:u 與 v 都是調和函數,因此解析函數滿足拉普拉斯方程——這是通往靜電學與二維流體流動的橋樑。

解析性幾乎是魔法:若一個函數在某區域內解析,它在那裡就自動無限可微,而它在任一小迴路上的值,決定了迴路內部各處的值——這正是柯西積分公式的內容。實函數沒有這種剛性。

柯西定理、極點與留數

基礎是柯西定理:解析函數沿任一閉迴路的積分為零。因此一切有趣之事,都來自函數解析的地方——它的極點,即函數像 1/(z-z_0) 那樣發散的點。在這種點附近,函數有一條羅朗級數,而 1/(z-z_0) 那一項的係數就稱為留數

\oint_C f(z)\,dz=2\pi i\sum_k \operatorname{Res}_{z=z_k} f(z)

留數定理:一個閉圍道積分等於 2πi 乘上它所圍住之極點的留數總和。積分變成了計數。

複數平面上一條圍住數個極點的閉圍道;只有內部的極點有貢獻,各貢獻其留數。

單極點,留數很容易取出:\operatorname{Res}_{z_0} f=\lim_{z\to z_0}(z-z_0)\,f(z)。若函數寫成比值 g/h、且 hz_0 有單零點,留數就是 g(z_0)/h'(z_0)

解題示範

考慮一個抵抗初等方法的實積分:\displaystyle\int_{-\infty}^{\infty}\frac{dx}{x^2+a^2},其中 a>0。圍道積分幾個乾淨的步驟就能解決它。

  1. 延拓到複數平面。 把被積函數看成 f(z)=1/(z^2+a^2)=1/[(z-ia)(z+ia)],在 z=\pm ia 有單極點。
  2. 封閉圍道:用上半平面的一個大半圓。當半徑 R\to\infty,圓弧的貢獻趨於零,因為 $|f|$ 以 1/R^2 衰減,而弧長只以 R 增長。
  3. 求所圍住的留數。 只有 z=+ia 的極點落在內部。用 $g/h'$(其中 h=z^2+a^2h'=2z),其留數為 $1/(2ia)$。
  4. 套用留數定理。 積分等於 2\pi i\cdot 1/(2ia)=\pi/a。實積分直接讀出。
\int_{-\infty}^{\infty}\frac{dx}{x^2+a^2}=2\pi i\,\operatorname{Res}_{z=ia}\frac{1}{z^2+a^2}=2\pi i\cdot\frac{1}{2ia}=\frac{\pi}{a}

結果。你可以用初等答案 (1/a)·arctan(x/a) 驗證——但圍道方法能推廣到「根本沒有初等反導數」的積分。

分支切割線與一個提醒

並非每個非解析特徵都是極點。像 \sqrt{z}\ln z 這樣的函數是多值的——繞原點一圈並不會回到同一個值。我們以一條分支切割線來馴服它們:一條圍道不得跨越的禁線,用來釘住單值的一支。圍道於是必須繞開這些割線——這是一項標準但需細心的技術。