Saturday, October 5, 2013

Cauchy–Riemann eq 几何上,这样的一个复数的矩阵总是一个旋转和一个缩放的复合,从而是保角

Geometrically, such a matrix is always the composition of a rotation with a scaling, and in particular preserves angles. Consequently, a function satisfying the Cauchy–Riemann equations, with a nonzero derivative, preserves the angle between curves in the plane. That is, the Cauchy–Riemann equations are the conditions for a function to be conformal


柯西-黎曼方程[编辑]
维基百科,自由的百科全书
跳转至: 导航搜索
复分析中的柯西-黎曼微分方程是提供了可微函数开集全纯函数充要条件的两个偏微分方程,以柯西黎曼得名。这个方程组最初出现在达朗贝尔的著作中。后来欧拉将此方程组和解析函数联系起来。 然后柯西采用这些方程来构建他的函数理论。黎曼关于此函数理论的论文于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复可微当且仅当柯西-黎曼方程成立。

No comments:

Post a Comment