柯西-黎曼方程

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

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

(1b)    { \partial u \over \partial y } = -{ \partial v \over \partial x } .

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

注释和其他表述[编辑]

共形映射[编辑]

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

(2)    { i { \partial f \over \partial x } } = { \partial f \over \partial y } .

在此形式中,方程对应于雅可比矩阵结构上有如下形式


\begin{pmatrix}
  a &   -b  \\
  b & \;\; a  
\end{pmatrix},

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

复共轭的独立性[编辑]

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

(3)    \frac{\partial f}{\partial\bar{z}} = 0

其中微分算子\frac{\partial}{\partial\bar{z}}定义为

\frac{\partial}{\partial\bar{z}} = \frac{1}{2}\left(\frac{\partial}{\partial x} + i\frac{\partial}{\partial y}\right).

在此形式中,柯西-黎曼方程可以解释为f独立于变量\bar{z}

复可微性[编辑]

柯西-黎曼方程是函数的复可微性(或称全纯性)的充要条件(Ahlfors 1953,§1.2)。精确的讲,设

f(z) = u(z) + i v(z)

为复数zC的函数,则f在点z0的复导数定义为

\lim_{\underset{h\in\mathbb{C}}{h\to 0}} \frac{f(z_0+h)-f(z_0)}{h} = f'(z_0)

如果该极限存在。

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

\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).

而从虚轴逼近有

\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沿着两个轴的导数相同也即

\frac{\partial f}{\partial x}(z_0)=-i\frac{\partial f}{\partial y}(z_0),

这就是在点z0的柯西-黎曼方程(2)。

反过来,如果f:CC作为映射到R2上的函数可微,则f复可微当且仅当柯西-黎曼方程成立。

物理解释[编辑]

柯西-黎曼方程的一个解释(Pólya & Szegö 1978)和复变理论无关。设uvR2的开子集上满足柯西-黎曼方程,考虑向量场

\bar{f} = \begin{bmatrix}u\\ -v\end{bmatrix}

将其视为(实)两个分量的向量。则第二个柯西-黎曼方程(1b)断言\bar{f}无旋

\frac{\partial (-v)}{\partial x} - \frac{\partial u}{\partial y} = 0.

第一个柯西-黎曼方程(1a)断言该向量场无源(或者是零散度):

\frac{\partial u}{\partial x} + \frac{\partial (-v)}{\partial y}=0.

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

其它解释[编辑]

柯西-黎曼方程的其他表述有时出现在其他坐标系中。若(1a)和(1b)对于连续函数uv成立,则如下方程也成立

\frac{\partial u}{\partial s} = \frac{\partial u}{\partial n},\quad \frac{\partial u}{\partial n} = -\frac{\partial u}{\partial s}

对于任何坐标(n(x,y), s(x,y)),如果它们满足\scriptstyle (\nabla n, \nabla s)正交并且正定向。因此,特别的有,在极坐标z=re下,方程组有如下形式

{ \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的方程,就有

{\partial f \over \partial r} = {1 \over i r}{\partial f \over \partial \theta}.

非齐次方程[编辑]

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

\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y} = \alpha(x,y)
\frac{\partial u}{\partial y}+\frac{\partial v}{\partial x} = \beta(x,y)

对于给定的定义在R2的开子集上的函数α(x,y)和β(x,y)。这些方程经常合并为一个方程。

\frac{\partial f}{\partial\bar{z}} = \phi(z,\bar{z})

其中f=u+iv,φ=(α+iβ)/2。

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

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+iv为复函数,作为函数f : R2R2可微。则柯西积分定理(柯西-古尔萨定理)断言f在开复域Ω上解析当且仅当它在该域上满足柯西-黎曼方程(Rudin 1966,Theorem 11.2)。特别是,f不需假定为连续可微(Dieudonné 1969,§9.10, Ex. 1)。

柯西-古尔萨定理的假设可以大幅减弱。若f=u+iv在Ω上连续而f关于xy偏导数在Ω中存在,则f全纯(因而解析)。这个结果称为Looman–Menchoff定理

f在整个域Ω上满足柯西-黎曼方程是要点。可以构造在一点满足柯西-黎曼方程的连续函数,但它不在该点解析(譬如,f(z) = z5/|z|4)。类似的有,有些在柯西-黎曼方程上额外的假定是必要的(例如连续性),下面的例子表明了这一点:(Looman 1923,p.107)

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算子

\bar{\partial}

将全纯函数消零。这是

{\partial f \over \partial \bar z} = 0,

的直接推广 其中

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

参看[编辑]

参考[编辑]

外部链接[编辑]