柯西积分公式是数学中复分析的一个重要结论,以十九世纪法国数学家奥古斯丁·路易·柯西命名。柯西积分公式说明了任何一个闭合区域上的全纯函数在区域内部的值完全取决于它在区域边界上的值,并且给出了区域内每一点的任意阶导数的积分计算方式。柯西积分公式是复分析中全纯函数“微分等同于积分”特性的表现。而在实分析中这样的结果是完全不可能达到的。
这个公式是柯西在1831年证明的。柯西在同年10月11日首次将其发表,并将它写入了1841年发表的《分析与数学物理习题集》(Exercices d'analyse et de physique mathématique)一书中。[1]:204
设
是复平面
的一个单连通的开子集。
是一个
上的全纯函数。设
是
内的一个简单闭合的可求长曲线(即连续而不自交并且能定义长度的闭合曲线),那么函数
在
内部的点
上的值是:

其中的积分为沿着
逆时针方向的积分。[2]:167
以上公式说明,全纯函数必然是无穷次可导的。这是因为假设以上的公式对函数
的n阶导数成立:

对上式等号右侧的积分进行n次分部积分变换就可得到对n阶导数的柯西积分公式:

有时也称作柯西微分公式。右端是一个复可微的函数。这说明
的n阶导数仍然是复可微的。所以依据数学归纳法可知
是无穷次可导的,并且柯西微分公式对任意阶的导数都成立。
如果函数
仅在
内部是全纯函数,在边界
上仅仅是连续函数,那么只有函数
的柯西积分公式成立,而微分公式不一定成立。[2]:167
选定以
为圆心,在
内部的一个圆盘
,它的边界是圆
。函数
在闭合区域
上是全纯函数,所以根据柯西积分定理,它在边界上的积分等于0:

其中
的标记表示沿“内边界”
的积分是顺时针方向。所以将这个积分改为沿逆时针方向
後,就能得到:

这个等式与圆盘
的半径
无关,也就是说无论圆盘多麼小,这个等式都成立。注意到当半径
趋于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,所以都在
的内部。函数可以写成
:

在两个极点附近趋于无穷。在两个极点周围各作一个小圆圈:
和
,应用柯西积分定理可知,所要求的积分

注意到函数
在
内部是全纯函数,所以在
上的积分:

同理,函数
在
内部是全纯函数,所以

所以
