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

复分析中的**柯西-黎曼微分方程**（英語：），又称**柯西-黎曼条件**。是提供了可微函数在开集中為全纯函数的充要条件的两个偏微分方程，以柯西和黎曼得名。这个方程组最初出现在达朗贝尔的著作中。后来欧拉将此方程组和解析函数联系起来。 然后柯西采用这些方程来构建他的函数理论。黎曼关于此函数理论的论文于1851年问世。

在一对实值函数 {\displaystyle u(x,y)} 和 {\displaystyle v(x,y)} 上的柯西-黎曼方程组包括两个方程：

(1a)     {\displaystyle {\partial u \over \partial x}={\partial v \over \partial y}}
和

(1b)    {\displaystyle {\partial u \over \partial y}=-{\partial v \over \partial x}.}
通常，{\displaystyle u} 和 {\displaystyle v} 取为一个复函数的实部和虚部：{\displaystyle f(x+iy)=u(x,y)+iv(x,y)}。假设 {\displaystyle u} 和 {\displaystyle v} 在开集 {\displaystyle C} 上连续可微，则当且仅当 {\displaystyle u} 和 {\displaystyle v} 的偏微分满足柯西-黎曼方程组(1a)和(1b)，{\displaystyle f=u+iv} 是全纯的

注释和其他表述
-------

### 共形映射

柯西-黎曼方程常常表述为其他形式。首先，它们可以写成复数形式：

(2)    {\displaystyle {i{\partial f \over \partial x}}={\partial f \over \partial y}.}
在此形式中，方程对应于雅可比矩阵结构上有如下形式

{\displaystyle {\begin{pmatrix}a&-b\\b&\;\;a\end{pmatrix}},}
其中{\displaystyle a=\partial u/\partial x=\partial v/\partial y}，{\displaystyle b=\partial v/\partial x=-\partial u/\partial y}。该形式的矩阵是复数的矩阵表示。几何上，这样的一个矩阵总是一个旋转和一个缩放的复合，从而是保角（保持角度不变）的。因此，满足柯西-黎曼方程的有非零导数的函数保持平面曲线的角度不变。也即，柯西-黎曼方程是函数成为共形映射的条件。

### 複共轭的独立性

方程组有时也被写作一个方程

(3)    {\displaystyle {\frac {\partial f}{\partial {\bar {z}}}}=0}
其中微分算子{\displaystyle {\frac {\partial }{\partial {\bar {z}}}}}定义为

{\displaystyle {\frac {\partial }{\partial {\bar {z}}}}={\frac {1}{2}}\left({\frac {\partial }{\partial x}}+i{\frac {\partial }{\partial y}}\right).}
在此形式中，柯西-黎曼方程可以解释为*f*独立于变量{\displaystyle {\bar {z}}}。

### 複可微性

柯西-黎曼方程是函数的複可微性（或称全纯性）的充要条件（Ahlfors 1953，§1.2）。精确的讲，设

{\displaystyle f(z)=u(z)+iv(z)}
为复数*z*∈**C**的函数，则*f*在点*z*0的複导数定义为

{\displaystyle \lim \_{\underset {h\in \mathbb {C} }{h\to 0}}{\frac {f(z\_{0}+h)-f(z\_{0})}{h}}=f'(z\_{0})}
如果该极限存在。

若该极限存在，则可以取*h*→0沿着实轴或者虚轴的极限；它在两种情况下应该给出同样的结果。从实轴逼近，得到

{\displaystyle \lim \_{\underset {h\in \mathbb {R} }{h\to 0}}{\frac {f(z\_{0}+h)-f(z\_{0})}{h}}={\frac {\partial f}{\partial x}}(z\_{0}).}
而从虚轴逼近有

{\displaystyle \lim \_{\underset {ih\in i\mathbb {R} }{h\to 0}}{\frac {f(z\_{0}+ih)-f(z\_{0})}{ih}}=\lim \_{\underset {ih\in i\mathbb {R} }{h\to 0}}-i{\frac {f(z\_{0}+ih)-f(z\_{0})}{h}}=-i{\frac {\partial f}{\partial y}}(z\_{0}).}
*f*沿着两个轴的导数相同也即

{\displaystyle {\frac {\partial f}{\partial x}}(z\_{0})=-i{\frac {\partial f}{\partial y}}(z\_{0}),}
这就是在点*z*0的柯西-黎曼方程（2）。

反过来，如果*f*:**C** → **C**作为映射到**R**2上的函数可微，则*f*複可微当且仅当柯西-黎曼方程成立。

### 物理解释

柯西-黎曼方程的一个解释（Pólya & Szegö 1978）和複变理论无关。设*u*和*v*在**R**2的开子集上满足柯西-黎曼方程，考虑向量场

{\displaystyle {\bar {f}}={\begin{bmatrix}u\\-v\end{bmatrix}}}
将其视为（实）两个分量的向量。则第二个柯西-黎曼方程（1b）断言{\displaystyle {\bar {f}}}无旋：

{\displaystyle {\frac {\partial (-v)}{\partial x}}-{\frac {\partial u}{\partial y}}=0.}
第一个柯西-黎曼方程（1a）断言该向量场无源（或者是零散度）：

{\displaystyle {\frac {\partial u}{\partial x}}+{\frac {\partial (-v)}{\partial y}}=0.}
分别根据格林定理和散度定理，这样的场是保守的，而且没有源，在整个开域上净流量为零。（这两点在柯西积分定理中作为实部和虚部结合起来。）在流体力学中，这样的一个场是一个势流（Chanson 2000）。在静磁学中，这样的向量场是在不含电流的平面区域中的静磁场的模型。在静电学中，它们提供了不包含电荷的平面区域的电场模型。

### 其它解释

柯西-黎曼方程的其他表述有时出现在其他坐标系中。若（1a）和（1b）对于连续函数*u*和*v*成立，则如下方程也成立

{\displaystyle {\frac {\partial u}{\partial s}}={\frac {\partial v}{\partial n}},\quad {\frac {\partial u}{\partial n}}=-{\frac {\partial v}{\partial s}}}
对于任何坐标(*n*(*x*,*y*), *s*(*x*,*y*))，如果它们满足{\displaystyle \scriptstyle (\nabla n,\nabla s)}正交并且正定向。因此，特别的有，在极坐标*z*=*re*iθ下，方程组有如下形式

{\displaystyle {\partial u \over \partial r}={1 \over r}{\partial v \over \partial \theta },\quad {\partial v \over \partial r}=-{1 \over r}{\partial u \over \partial \theta }.}
结合成一个*f*的方程，就有

{\displaystyle {\partial f \over \partial r}={1 \over ir}{\partial f \over \partial \theta }.}

非齐次方程
-----

非齐次柯西-黎曼方程由两个未知两个实变量的函数*u*(*x*,*y*)和*v*(*x*,*y*)的方程组成

{\displaystyle {\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}=\alpha (x,y)}
{\displaystyle {\frac {\partial u}{\partial y}}+{\frac {\partial v}{\partial x}}=\beta (x,y)}
对于给定的定义在**R**2的开子集上的函数α(*x*,*y*)和β(*x*,*y*)。这些方程经常合并为一个方程。

{\displaystyle {\frac {\partial f}{\partial {\bar {z}}}}=\phi (z,{\bar {z}})}
其中*f*=*u*+i*v*，φ=(α+iβ)/2。

若φ是Ck的，则在有界区域*D*中方程显式可解，只要φ在*D*的闭包上连续。实际上，按照柯西积分公式，

{\displaystyle f(\zeta ,{\bar {\zeta }})={\frac {1}{2\pi i}}\iint \_{D}\phi (z,{\bar {z}}){\frac {dz\wedge d{\bar {z}}}{z-\zeta }}}
对于所有ζ∈*D*成立。

推广
--

### Goursat定理及其推广

参见：柯西积分定理
设*f* = *u*+i*v*为复函数，作为函数*f* : **R**2 → **R**2可微。则**柯西积分定理**（柯西－古尔萨定理）断言*f*在开複域Ω上解析当且仅当它在该域上满足柯西-黎曼方程（Rudin 1966，Theorem 11.2）。特别是，*f*不需假定为连续可微（Dieudonné 1969，§9.10, Ex. 1）。

柯西－古尔萨定理的假设可以大幅减弱；*f*不需可微，只要*f*=*u*+i*v*在Ω上连续且*f*关于*x*和*y*的偏导数在Ω中存在即可，这个结果称为Looman–Menchoff定理。

*f*在整个域Ω上满足柯西-黎曼方程是要点。可以构造在一点满足柯西-黎曼方程的连续函数，但它不在该点解析（譬如，*f*(*z*) = *z*5/|z|4）。只滿足柯西-黎曼方程也是不夠的，（需額外滿足连续性），下面的例子表明了这一点：（Looman 1923，p.107）

{\displaystyle f(z)={\begin{cases}\exp(-z^{-4})&\mathrm {if\ } z\not =0\\0&\mathrm {if\ } z=0\end{cases}}}
它处处满足柯西-黎曼方程，但在*z*=0不连续。

但是，如果一个函数在开集上以弱形式满足柯西-黎曼方程，则函数解析。更精确的讲（Gray & Morris 1978，Theorem 9）:

* 若*f*(*z*)在开域Ω⊂**C**上局部可积，并以弱形式满足柯西-黎曼方程，则*f*和Ω上的一个解析函数几乎处处相等。

### 多变量的情况

在多複变量的理论中有对柯西-黎曼方程的恰当推广。他们组成一个偏微分方程的严重过约束系统。通常的表述中，*d-bar算子*

{\displaystyle {\bar {\partial }}}
将全纯函数消零。这是

{\displaystyle {\partial f \over \partial {\bar {z}}}=0},
的直接推广
其中

{\displaystyle {\partial f \over \partial {\bar {z}}}={1 \over 2}\left({\partial f \over \partial x}-{1 \over i}{\partial f \over \partial y}\right).}

参看
--

* 莫雷拉定理

外部链接
----

* 埃里克·韦斯坦因.. MathWorld.
* John H. Mathews所作柯西-黎曼方程模块



1. ↑  《数学物理方法》. 王友年. 宋远红. 大连理工大学出版社