柯西積分公式是數學中複分析的一個重要結論,以十九世紀法國數學家奧古斯丁·路易·柯西命名。柯西積分公式說明了任何一個閉合區域上的全純函數在區域內部的值完全取決於它在區域邊界上的值,並且給出了區域內每一點的任意階導數的積分計算方式。柯西積分公式是複分析中全純函數「微分等同於積分」特性的表現。而在實分析中這樣的結果是完全不可能達到的。
這個公式是柯西在1831年證明的。柯西在同年10月11日首次將其發表,並將它寫入了1841年發表的《分析與數學物理習題集》(Exercices d'analyse et de physique mathématique)一書中。[1]:204
設
是複數平面
的一個單連通的開子集。
是一個
上的全純函數。設
是
內的一個簡單閉合的可求長曲線(即連續而不自交並且能定義長度的閉合曲線),那麼函數
在
內部的點
上的值是:
![{\displaystyle f(a)={1 \over 2\pi i}\oint _{\gamma }{f(z) \over z-a}\,dz.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f3c9543c78b371e30fc457fa08b5225edfc2001)
其中的積分為沿着
逆時針方向的積分。[2]:167
以上公式說明,全純函數必然是無窮次可導的。這是因為假設以上的公式對函數
的n階導數成立:
![{\displaystyle f^{(n)}(a)={1 \over 2\pi i}\oint _{\gamma }{f^{(n)}(z) \over z-a}\,dz.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96d3f320107b42f663a1b7a7640f8d5312c1d87d)
對上式等號右側的積分進行n次分部積分轉換就可得到對n階導數的柯西積分公式:
![{\displaystyle f^{(n)}(a)={n! \over 2\pi i}\oint _{\gamma }{f(z) \over (z-a)^{n+1}}\,dz.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8a19fb701e9884349471c848a459661d777365a)
有時也稱作柯西微分公式。右端是一個複可微的函數。這說明
的n階導數仍然是複可微的。所以依據數學歸納法可知
是無窮次可導的,並且柯西微分公式對任意階的導數都成立。
如果函數
僅在
內部是全純函數,在邊界
上僅僅是連續函數,那麼只有函數
的柯西積分公式成立,而微分公式不一定成立。[2]:167
選定以
為圓心,在
內部的一個圓盤
,它的邊界是圓
。函數
在閉合區域
上是全純函數,所以根據柯西積分定理,它在邊界上的積分等於0:
![{\displaystyle {1 \over 2\pi i}\oint _{\gamma }{f(z) \over z-a}\,dz+{1 \over 2\pi i}\oint _{C_{0}^{-}}{f(z) \over z-a}\,dz=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5c2ce94e5176fd616494357bc423a004e0e9ffd)
其中
的標記表示沿「內邊界」
的積分是順時針方向。所以將這個積分改為沿逆時針方向
後,就能得到:
![{\displaystyle {1 \over 2\pi i}\oint _{\gamma }{f(z) \over z-a}\,dz={1 \over 2\pi i}\oint _{C_{0}^{+}}{f(z) \over z-a}\,dz.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d736eb35a226eb7fb548501352a2ce46c2c72f5)
這個等式與圓盤
的半徑
無關,也就是說無論圓盤多麼小,這個等式都成立。注意到當半徑
趨於0的時候,函數
在圓
上的值基本上等於
。所以
![{\displaystyle {\begin{aligned}\left|\oint _{C_{0}^{+}}{f(z) \over z-a}\,dz-2\pi if(a)\right|&=\left|\oint _{C_{0}^{+}}{f(z)-f(a) \over z-a}\,dz\right|\\&=\left|\int _{0}^{2\pi }{f(a+r\cdot e^{it})-f(a) \over a+r\cdot e^{it}-a}ri\cdot e^{it}\,dt\right|\qquad (z=a+r\cdot e^{it})\\&=\left|\int _{0}^{2\pi }\left[f(a+r\cdot e^{it})-f(a)\right]i\,dt\right|\\&\leqslant \int _{0}^{2\pi }\left|f(a+r\cdot e^{it})-f(a)\right|\,dt\\&\leqslant 2\pi \max _{0\leqslant t<2\pi }\left|f(a+r\cdot e^{it})-f(a)\right|{\xrightarrow[{r\to 0}]{}}0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bde3659e79cb652fd86cd7d98d497e24f5fb7c54)
這說明
[2]:168-169
函數 g(z) = z2 / (z2 + 2z + 2) 實部的圖像,在兩個極點附近趨於無窮
考慮函數:
以及閉合區域:|z| = 2。這是一個以原點為圓心,半徑為2的圓,以下記作
. 下面使用柯西積分公式計算
沿
的積分。
首先,函數
有兩個極點,分別是方程
的兩個複根:
它們的模長都小於2,所以都在
的內部。函數可以寫成
:
![{\displaystyle g(z)={\frac {z^{2}}{(z-z_{1})(z-z_{2})}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d3e859d227d2c51dc8d1709f4fa67dde4983711)
在兩個極點附近趨於無窮。在兩個極點周圍各作一個小圓圈:
和
,應用柯西積分定理可知,所要求的積分
![{\displaystyle \oint _{C}g(z)\,dz=\oint _{C_{1}}g(z)\,dz+\oint _{C_{2}}g(z)\,dz.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c97c6c12acec2026c7bb4c520ed9b8547ab492c)
注意到函數
在
內部是全純函數,所以在
上的積分:
![{\displaystyle \oint _{C_{2}}g(z)\,dz=\oint _{C_{2}}{f_{1}(z) \over z-z_{2}}\,dz=2\pi if_{1}(z_{2}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9ebf9af78dfed6a1fa3814597431420efd4a18)
同理,函數
在
內部是全純函數,所以
![{\displaystyle \oint _{C_{1}}g(z)\,dz=\oint _{C_{1}}{f_{2}(z) \over z-z_{1}}\,dz=2\pi if_{2}(z_{1}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/667af565fc0ef7da66d1c03c4a40dc99b5d31c3f)
所以
![{\displaystyle {\begin{aligned}\oint _{C}g(z)\,dz&=\oint _{C_{2}}g(z)\,dz+\oint _{C_{1}}g(z)\,dz.=2\pi if_{1}(z_{2})+2\pi if_{2}(z_{1})\\&=2\pi i\left({\frac {z_{2}^{2}}{z_{2}-z_{1}}}+{\frac {z_{1}^{2}}{z_{1}-z_{2}}}\right)=2\pi i{\frac {z_{1}^{2}-z_{2}^{2}}{z_{1}-z_{2}}}=2\pi i\left(z_{1}+z_{2}\right)\\&=-4\pi i\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d323c2694afdd5664ce1d5b43aa356ab435119c)
參考來源[編輯]