**提示**：此条目的主题不是**柯西积分定理**。 

|  |
| --- |
| 数学分析 → **複分析** |
| 複分析 |
|  |
| 复数 |
| * 实数
* 虚数
* 复平面
* 共轭复数
* 单位复数
 |
| 复函数 |
| * 复值函数
* 解析函数
* 全纯函数
* 柯西-黎曼方程
* 形式幂级数
 |
| 
基本理论 |
| * 零点与极点
* 柯西积分定理
* 局部原函数
* 柯西積分公式
* 卷绕数
* 洛朗级数
* 孤立奇点
* 留数定理
* 共形映射
* 施瓦茨引理
* 调和函数
* 拉普拉斯方程
 |
| 
人物 |
| * 奧古斯丁-路易·柯西
* 萊昂哈德·歐拉
* 卡爾·弗里德里希·高斯
* 雅克·阿达马
* 岡潔
* 波恩哈德·黎曼
* 卡尔·魏尔斯特拉斯
 |
| * 
* 论
* 编
 |

**柯西积分公式**是数学中复分析的一个重要结论，以十九世纪法国数学家奥古斯丁·路易·柯西命名。柯西积分公式说明了任何一个闭合区域上的全纯函数在区域内部的值完全取决于它在区域边界上的值，并且给出了区域内每一点的任意阶导数的积分计算方式。柯西积分公式是复分析中全纯函数"微分等同于积分"特性的表现。而在实分析中这样的结果是完全不可能达到的。

这个公式是柯西在1831年证明的。柯西在同年10月11日首次将其发表，并将它写入了1841年发表的《分析与数学物理习题集》（）一书中。

定理
--

设\Omega 是复平面\mathbb {C} 的一个单连通的开子集。f \; : \; \; \Omega \; \rightarrow \mathbb{C}是一个\Omega 上的全纯函数。设\gamma 是\Omega 内的一个简单闭合的可求长曲线（即连续而不自交并且能定义长度的闭合曲线），那么函数f在\gamma 内部的点a上的值是：

f(a) = {1 \over 2\pi i} \oint\_{\gamma} {f(z) \over z-a}\, dz. 
其中的积分为沿着\gamma 逆时针方向的积分。

以上公式说明，全纯函数必然是无穷次可导的。这是因为假设以上的公式对函数f的*n*阶导数成立：

f^{(n)}(a) = {1 \over 2\pi i} \oint\_{\gamma} {f^{(n)}(z) \over z-a}\, dz. 
对上式等号右侧的积分进行*n*次分部积分变换就可得到对*n*阶导数的柯西积分公式：

f^{(n)}(a) = {n! \over 2\pi i} \oint\_{\gamma} {f(z) \over (z-a)^{n+1}}\, dz. 
有时也称作**柯西微分公式**。右端是一个复可微的函数。这说明f的*n*阶导数仍然是复可微的。所以依据数学归纳法可知f是无穷次可导的，并且柯西微分公式对任意阶的导数都成立。

如果函数f仅在\gamma 内部是全纯函数，在边界\gamma 上仅仅是连续函数，那么只有函数f的柯西积分公式成立，而微分公式不一定成立。

证明
--

选定以a为圆心，在\gamma 内部的一个圆盘D\_0 = \{ z ; \; |z - a| \leqslant r\}，它的边界是圆C\_0 = \{ z ; \; |z - a| = r\}。函数\frac{f}{z-a}在闭合区域D \setminus D\_0上是全纯函数，所以根据柯西积分定理，它在边界上的积分等于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.}
其中C\_0^-的标记表示沿"内边界"C\_{0}的积分是顺时针方向。所以将这个积分改为沿逆时针方向C\_0^+後，就能得到：

{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 .
这个等式与圆盘D\_0的半径r无关，也就是说无论圆盘多麼小，这个等式都成立。注意到当半径r趋于0的时候，函数f在圆C\_{0}上的值基本上等于f(a)。所以

\begin{align}
\left| \oint\_{C\_0^+} {f(z) \over z-a}\, dz - 2\pi i f(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} r i \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{align}

这说明

{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 = {1 \over 2\pi i} 2\pi i f(a) = f(a). \qquad \Box

例子
--

函数 *g*(*z*) = *z*2 / (*z*2 + 2*z* + 2) 实部的图像，在两个极点附近趋于无穷
考虑函数：g(z)=\frac{z^2}{z^2+2z+2}以及闭合区域：|*z*| = 2。这是一个以原点为圆心，半径为2的圆，以下记作C. 下面使用柯西积分公式计算g(z)沿C的积分。

首先，函数g有两个极点，分别是方程z^2+2z+2 = 0的两个复根：z\_1=-1+i, z\_2=-1-i. 它们的模长都小于2，所以都在C的内部。函数可以写成g：

g(z)=\frac{z^2}{(z-z\_1)(z-z\_2)}.
g在两个极点附近趋于无穷。在两个极点周围各作一个小圆圈：C\_{1}和C\_{2}，应用柯西积分定理可知，所要求的积分

\oint\_{C} g(z) \, dz = \oint\_{C\_1} g(z) \, dz + \oint\_{C\_2} g(z) \, dz.
注意到函数f\_1 = \frac{z^2}{z - z\_1}在C\_{2}内部是全纯函数，所以在C\_{2}上的积分：

\oint\_{C\_2} g(z)\, dz = \oint\_{C\_2} {f\_1(z) \over z - z\_2} \, dz = 2\pi i f\_1(z\_2).
同理，函数f\_2 = \frac{z^2}{z - z\_2}在C\_{1}内部是全纯函数，所以

\oint\_{C\_1} g(z)\, dz = \oint\_{C\_1} {f\_2(z) \over z - z\_1} \, dz = 2\pi i f\_2(z\_1).
所以

{\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}}}

参见
--

* 柯西积分定理
* 刘维尔定理
* 留数定理
* 莫雷拉定理

参考来源
----

1. ↑  Reinhold Remmert.. Springer (GTM122). 1991. ISBN 9780387971957 （英语）.
2. 1 2 3  S.D. Joglekar.. Universities Press. 2005. ISBN 9788173714221 （英语）.