定律定義
![留數定理](/img/d/18e/wZwpmLygTO5kTO3AjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLwYzLwEzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![留數定理](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![留數定理](/img/d/18e/wZwpmLygTO5kTO3AjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLwYzLwEzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![留數定理](/img/d/18e/wZwpmLygTO5kTO3AjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLwYzLwEzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![留數定理](/img/0/8af/wZwpmL1MzM5kjN3ADO3EDN0UTMyITNykTO0EDMwAjMwUzLwgzLyAzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
假設U是複平面上的一個單連通開子集, ,是複平面上有限個點, 是定義在U\{ }的全純函式。如果γ是一條把 包圍起來的可求長曲線,但不經過任何一個 ,並且其起點與終點重合,那么:
![留數定理](/img/3/3da/wZwpmL0ADN0kzN2QDM3UzM1UTM1QDN5MjM5ADMwAjMwUzL0AzL4IzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
如果γ是若爾當曲線,那么I(γ,ak)=1, 因此:
![留數定理](/img/4/52c/wZwpmLwYTM0ETO3UjN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1YzL3EzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
在這裡,Res( f, a)表示 f在點 a的留數,I(γ, a)表示γ關於點 a的卷繞數 。卷繞數是一個整數,它描述了曲線γ繞過點 a的次數。如果γ依逆時針方向繞著 a移動,卷繞數就是一個正數,如果γ根本不繞過 a,卷繞數就是零。
推導過程
以下的積分
![留數定理](/img/3/42a/wZwpmL1QDM2YTOxYDM3UzM1UTM1QDN5MjM5ADMwAjMwUzL2AzL4YzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
在計算柯西分布的特徵函式時會出現,用初等的微積分是不可能把它計算出來的。我們把這個積分表示成一個路徑積分的極限,積分路徑為沿著實直線從−a到a,然後再依逆時針方向沿著以0為中心的半圓從a到−a。取a為大於1,使得虛數單位i包圍在曲線裡面。路徑積分為:
![留數定理](/img/5/30a/wZwpmLwQTOzETN2QTO2UzM1UTM1QDN5MjM5ADMwAjMwUzL0kzL3czLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
由於eitz是一個整函式(沒有任何奇點),這個函式僅當分母z2 + 1為零時才具有奇點。由於z2 + 1 = (z + i)(z − i),因此這個函式在z = i或z = −i時具有奇點。這兩個點只有一個在路徑所包圍的區域中。
由於f(z)是
![留數定理](/img/3/1a6/wZwpmL3cDN3UjM5UDN3UzM1UTM1QDN5MjM5ADMwAjMwUzL1QzL4IzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
f(z)在z = i的留數是:
![留數定理](/img/7/f9d/wZwpmL2UDNyMjN3QzM3UzM1UTM1QDN5MjM5ADMwAjMwUzL0MzL2YzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
根據留數定理,我們有:
![留數定理](/img/0/af3/wZwpmL2gDO3YTN5ITO2UzM1UTM1QDN5MjM5ADMwAjMwUzLykzLwUzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
路徑 C可以分為一個“直”的部分和一個曲線弧,使得:
![留數定理](/img/6/103/wZwpmL1cDO1ITM4MDO2UzM1UTM1QDN5MjM5ADMwAjMwUzLzgzL1UzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
因此
![留數定理](/img/3/af4/wZwpmL4cDO4IDMwQTO2UzM1UTM1QDN5MjM5ADMwAjMwUzL0kzLzUzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
如果 t> 0,那么當半圓的半徑趨於無窮大時,沿半圓路徑的積分趨於零:
![留數定理](/img/9/3db/wZwpmL4QDNwgzN3IDN3UzM1UTM1QDN5MjM5ADMwAjMwUzLyQzL1QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
因此,如果 t> 0,那么:
![留數定理](/img/a/bb1/wZwpmL0QzM2ETOwgTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLwIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
類似地,如果曲線是繞過− i而不是 i,那么可以證明如果 t< 0,則
![留數定理](/img/1/8af/wZwpmL4cjMwEDMzUDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL1gzLzMzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
因此我們有:
![留數定理](/img/b/b53/wZwpmLyEjN3QzM5cDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL3gzL3gzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(如果 t= 0,這個積分就可以很快用初等方法算出來,它的值為π。)
相關術語
•路徑積分
•莫雷拉定理
•傅立葉變換
•拉普拉斯變換