柯西–黎曼方程 · aiwiki.page

柯西–黎曼方程是一对一阶偏微分方程，在复分析中占据核心地位。对于函数 $f(z)=u(x,y)+iv(x,y)$ ，其中 $z=x+iy$ ，这对方程为

\boxed{u_x=v_y,\qquad u_y=-v_x.}

它们是复可微的必要条件；当实部与虚部作为二元实函数可微时，它们也是充分条件。这对方程表达了实二维微分等同于乘以某个复数所必须满足的相容条件。(people.math.sc.edu)

定义与推导

设 $f$ 定义在开集 $D\subseteq\mathbb C$ 上，并写成

f(x+iy)=u(x,y)+iv(x,y),

其中 $u$ 与 $v$ 均为实值函数。下标表示偏导数，例如 $u_x=\partial u/\partial x$ 。函数在 $z_0$ 处的复导数为

f'(z_0)=\lim_{h\to0}\frac{f(z_0+h)-f(z_0)}{h}.

无论复增量 $h$ 以何种方式趋于零，这个极限都必须取相同的值。(ocw.mit.edu)

取实增量 $h=t$ ，得到

f'(z_0)=u_x+iv_x.

取纯虚增量 $h=it$ ，得到

f'(z_0)=\frac{u_y+iv_y}{i}=v_y-iu_y.

这里的所有偏导数均在 $(x_0,y_0)$ 处取值。令实部与虚部分别相等，即得柯西–黎曼方程。因此，当导数存在时，可以用下式计算：

\boxed{f'(z_0)=u_x+iv_x=u_x-iu_y.}

比较这两个方向只能证明必要性，并不能单凭这一比较就断定沿所有可能的趋近方式都收敛。(ocw.mit.edu)

必要性、充分性与全纯性

逐点成立的精确判据如下：

函数 $f=u+iv$ 在 $z_0$ 处复可微，当且仅当 $u$ 与 $v$ 在 $(x_0,y_0)$ 处按多元实函数的意义可微，并在该点满足柯西–黎曼方程。

实可微意味着函数具有误差为 $o(|h|)$ 的线性近似，而不只是各坐标方向的偏导数存在。在满足这对方程时，该近似可写成

f(z_0+h)=f(z_0)+(u_x+iv_x)h+o(|h|),

由此便可证明复可微性。(people.math.sc.edu)

一个常用的充分条件是：四个一阶偏导数在 $(x_0,y_0)$ 的某个邻域内存在，在该点连续，并在该点满足这对方程。偏导数的连续性保证了所需的实可微性。(complexanalysis.org)

若函数在 $D$ 的每一点都复可微，就称它在 $D$ 上是全纯函数。因此，对于 $u,v\in C^1(D)$ ，全纯性等价于在整个 $D$ 上满足这对方程。在单复变量情形下，全纯函数也是解析函数：它们在局部具有收敛的幂级数表示。在单个点可微并不等价于在该点的某个邻域上全纯。(users.math.msu.edu)

示例与局限

多项式

对于多项式 $f(z)=z^2$ ，

u=x^2-y^2,\qquad v=2xy.

因此，

u_x=2x=v_y,\qquad u_y=-2y=-v_x.

这些偏导数处处连续，所以 $f$ 在整个平面上全纯，且 $f'(z)=2z$ 。(users.math.msu.edu)

复共轭

对于 $f(z)=\overline z=x-iy$ ，

u_x=1,\qquad v_y=-1.

第一个方程处处不成立。因此，复共轭映射虽然是平面上的光滑实映射，却处处不复可微。(ocw.mit.edu)

满足方程但不可微

考虑

f(z)= \begin{cases} \dfrac{\overline z^{\,2}}{z},&z\ne0,\\[4pt] 0,&z=0. \end{cases}

由于 $|f(z)|=|z|$ ，这个函数在零点是连续函数。在零点，其偏导数满足

u_x=v_y=1,\qquad u_y=v_x=0.

然而，

\frac{f(z)}{z}=\frac{\overline z^{\,2}}{z^2}

沿实轴等于 $1$ ，沿直线 $z=t(1+i)$ 则等于 $-1$ 。因此， $f'(0)$ 不存在。即使函数在某点连续、四个偏导数都存在且满足这对方程，若没有额外的可微性假设，仍不足以保证复可微。(complexanalysis.org)

几何解释

将 $f$ 视为实映射 $(x,y)\mapsto(u,v)$ ，其雅可比矩阵具有如下形式：

Df= \begin{pmatrix} u_x&u_y\\ v_x&v_y \end{pmatrix} = \begin{pmatrix} a&-b\\ b&a \end{pmatrix}, \qquad a=u_x,\quad b=v_x.

这个线性映射就是乘以 $a+ib=f'(z)$ 。若 $f'(z)\ne0$ ，它相当于旋转 $\arg f'(z)$ 的角度，同时按 $|f'(z)|$ 作均匀缩放。因此，全纯函数在导数非零处是保角映射：它保持相交光滑曲线之间的有向夹角。(ocw.mit.edu)

其行列式为

\det Df=a^2+b^2=|f'(z)|^2.

在这些点上，行列式为正，因此该映射在局部保持定向。在 $f'$ 的零点处，微分退化，通常的局部保角性结论不再适用。(ocw.mit.edu)

调和函数与调和共轭

对这对方程求导，并利用混合偏导数相等，可得

u_{xx}+u_{yy}=0,\qquad v_{xx}+v_{yy}=0.

因此，全纯函数的实部与虚部都是调和函数，即满足拉普拉斯方程的函数。全纯函数具有进行上述计算所需的光滑性。(ocw.mit.edu)

若函数 $v$ 使 $u+iv$ 全纯，则称 $v$ 为 $u$ 的调和共轭。这对方程要求

v_x=-u_y,\qquad v_y=u_x.

每个调和函数在局部都有这样的共轭函数。在单连通平面区域上，全局共轭函数存在，且在相差一个实常数的意义下唯一。若区域不是单连通的，全局共轭函数可能不存在：定义在 $\mathbb C\setminus\{0\}$ 上的 $u(z)=\log|z|$ 有由辐角的各个分支给出的局部共轭函数，但在整个去心平面上不存在单值的共轭函数。(kleinex.mit.edu)

这对方程还蕴含

\nabla u\cdot\nabla v=0,\qquad |\nabla u|=|\nabla v|.

因此，共轭调和函数的正则等值曲线彼此正交相交。(ocw.mit.edu)

其他表述形式

在极坐标 $z=re^{i\theta}$ 中，取 $r>0$ ，利用链式法则可将这对方程化为

\boxed{u_r=\frac1r v_\theta,\qquad v_r=-\frac1r u_\theta.}

这种形式适用于扇形和圆环区域；在原点处，极坐标具有奇异性，因而不能直接使用。(complexanalysis.org)

维尔廷格微分算子定义为

\frac{\partial}{\partial z} =\frac12\left(\frac{\partial}{\partial x} -i\frac{\partial}{\partial y}\right), \qquad \frac{\partial}{\partial\overline z} =\frac12\left(\frac{\partial}{\partial x} +i\frac{\partial}{\partial y}\right).

直接代入可得

\frac{\partial f}{\partial\overline z} =\frac12\bigl[(u_x-v_y)+i(v_x+u_y)\bigr].

因此，柯西–黎曼方程等价于 $\partial f/\partial\overline z=0$ 。在实可微的前提下，这意味着一阶微分中含有 $dz$ 项，而不含 $d\overline z$ 项。(people.math.sc.edu)

应用

在二维不可压缩、无旋流动中，速度势 $\phi$ 与流函数 $\psi$ 可以组合成全纯的复势

W(z)=\phi(x,y)+i\psi(x,y).

若速度分量为 $V_x=\phi_x$ 和 $V_y=\phi_y$ ，则这对方程给出

\psi_y=V_x,\qquad \psi_x=-V_y, \qquad W'(z)=V_x-iV_y.

这种表示将流线的几何性质、势论与保角变换联系起来。它适用于满足上述假设的流动，而不适用于任意流体运动。(ocw.mit.edu)

历史发展

这对方程以奥古斯丁-路易·柯西和波恩哈德·黎曼的名字命名，但其起源早于这两位数学家。相关关系式已出现在让·勒朗·达朗贝尔于1752年关于流体阻力的研究，以及莱昂哈德·欧拉于1757年的流体研究中。欧拉随后在复微分的背景下讨论了这对方程。柯西将它们与复积分及路径无关性联系起来；黎曼则将它们纳入其复函数理论的发展之中。因此，这对方程的历史同时涉及流体力学与复分析的基础。(arxiv.org)

参考来源

Complex Variablespeople.math.sc.edu
The Cauchy-Riemann Equationscomplexanalysis.org
Analytic and Harmonic Functions; the Cauchy-Riemann Equationsusers.math.msu.edu
04 S18 Topic 2: Analytic functionsocw.mit.edu
04 S18 Topic 5: Introduction to harmonic functionsocw.mit.edu
04 S18 Topic 6: Two dimensional hydrodynamics and complex potentialsocw.mit.edu
04 S18 Topic 10: Conformal transformationsocw.mit.edu
A historical review of the Cauchy-Riemann equations and the Cauchy Theoremarxiv.org