柯西-黎曼方程(简称C-R方程)是在复分析中用来判定一个复变函数是否可微的充要条件,本文试图用代数和几何两种方法来理解它到底说了什么。

代数证明:

      在复变函数领域,f(z)在

复分析中的柯西-黎曼方程的代数和几何分析_连接点

处解析=>f(z)在

复分析中的柯西-黎曼方程的代数和几何分析_连接点

处可导<=>f(z)在

复分析中的柯西-黎曼方程的代数和几何分析_连接点

处可微

    证明1:

       

复分析中的柯西-黎曼方程的代数和几何分析_概率论_04

,则在

复分析中的柯西-黎曼方程的代数和几何分析_连接点

处:      

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_06

     令

     

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_07

     代入上式:

      

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_08

     根据复数相等的条件:

     

复分析中的柯西-黎曼方程的代数和几何分析_算法_09

    我们希望留下上面的a,b主项,去掉

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_10

项目,现在来证明: 

复分析中的柯西-黎曼方程的代数和几何分析_连接点_11

以及

复分析中的柯西-黎曼方程的代数和几何分析_连接点_12

均为无穷小.

    由于:

       

复分析中的柯西-黎曼方程的代数和几何分析_概率论_13

     当

复分析中的柯西-黎曼方程的代数和几何分析_连接点_14

时,

复分析中的柯西-黎曼方程的代数和几何分析_概率论_15

,等价于,当 

复分析中的柯西-黎曼方程的代数和几何分析_概率论_16

时,

复分析中的柯西-黎曼方程的代数和几何分析_算法_17

     所以,

复分析中的柯西-黎曼方程的代数和几何分析_连接点_12

是比

复分析中的柯西-黎曼方程的代数和几何分析_概率论_19

更高阶的无穷小,同理,

复分析中的柯西-黎曼方程的代数和几何分析_连接点_11

也可以得到这个结论。

    所以:

     

复分析中的柯西-黎曼方程的代数和几何分析_连接点_21

    根据二元函数偏导数的性质,可以得到:

    

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_22

   所以,可以推出:

   

复分析中的柯西-黎曼方程的代数和几何分析_概率论_23

证明2:

复分析中的柯西-黎曼方程的代数和几何分析_算法_24

,再 区域D内一点 

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_25

可导,可以得到:

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_26

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_27

,

复分析中的柯西-黎曼方程的代数和几何分析_连接点_28

所以:

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_29

所以:

复分析中的柯西-黎曼方程的代数和几何分析_算法_30

因为

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_27

无论按照什么方式趋近于0,上面的式子总是成立,所以这里取两条特殊路径: 第一条:

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_32

第二条:

复分析中的柯西-黎曼方程的代数和几何分析_概率论_33

路径如下图所示:

复分析中的柯西-黎曼方程的代数和几何分析_连接点_34

按照路径1:

复分析中的柯西-黎曼方程的代数和几何分析_概率论_35

所以,

复分析中的柯西-黎曼方程的代数和几何分析_连接点_36

按照路径2:

复分析中的柯西-黎曼方程的代数和几何分析_连接点_37

如果函数解析,则两条路径计算得到导数应该是一样的,也就是

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_38

根据复数相等的条件:

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_39

也就是:

复分析中的柯西-黎曼方程的代数和几何分析_概率论_23

几何证明:

上面的代数证明已经说过了,复变函数的导数如果存在,要求

复分析中的柯西-黎曼方程的代数和几何分析_连接点_41

的方式是任意的,这一点要比实变量的情况复杂的多,对于实变函数来说,导数存在意味着,当点 

复分析中的柯西-黎曼方程的代数和几何分析_连接点_42

由左(

复分析中的柯西-黎曼方程的代数和几何分析_概率论_43

)以及右(

\Delta x >0

)两个方向趋近x0时,比值

复分析中的柯西-黎曼方程的代数和几何分析_概率论_45

的极限都存在且相等。而复变函数的导数存在性意味着,当点

,沿着连接点

复分析中的柯西-黎曼方程的代数和几何分析_连接点

的任意路径趋近于

复分析中的柯西-黎曼方程的代数和几何分析_连接点

时,比值

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_48

的极限都存在,并且这些极限都相等,可见复变函数的可微条件要比实变函数可微条件要更苛刻一些。

如下图:

复分析中的柯西-黎曼方程的代数和几何分析_概率论_49


复分析中的柯西-黎曼方程的代数和几何分析_连接点

可导,意味着:

复分析中的柯西-黎曼方程的代数和几何分析_连接点_51

存在,根据复数的运算法则,

 

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_52

这也意味着沿着任何轨迹接近

复分析中的柯西-黎曼方程的代数和几何分析_连接点

.

复分析中的柯西-黎曼方程的代数和几何分析_概率论_54

复分析中的柯西-黎曼方程的代数和几何分析_概率论_55

都为固定值,其中

称为伸缩率,

为转动角。

如下图所示:

复分析中的柯西-黎曼方程的代数和几何分析_算法_56

以复变函数

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_57

为例,先根据C-R方程判断它的可导性:

令:

复分析中的柯西-黎曼方程的代数和几何分析_连接点_58

复分析中的柯西-黎曼方程的代数和几何分析_连接点_59

复分析中的柯西-黎曼方程的代数和几何分析_连接点_60

      

复分析中的柯西-黎曼方程的代数和几何分析_概率论_61

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_62

    

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_63

复分析中的柯西-黎曼方程的代数和几何分析_概率论_23

成立。

所以

复分析中的柯西-黎曼方程的代数和几何分析_连接点_65

,

或者:

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_66

所以 

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_57

是处处可导的,导数为

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_68

。复变函数


复分析中的柯西-黎曼方程的代数和几何分析_连接点

处的导数为

复分析中的柯西-黎曼方程的代数和几何分析_概率论_70

,则沿着不同的路径得到的导数应该均为

复分析中的柯西-黎曼方程的代数和几何分析_概率论_70

,从多条接近路径中任意选取两条h,g,并且路径h,g之间的夹角为

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_72

.

可以得到

复分析中的柯西-黎曼方程的代数和几何分析_概率论_73

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_74

令:

复分析中的柯西-黎曼方程的代数和几何分析_连接点_75

复分析中的柯西-黎曼方程的代数和几何分析_算法_76


并且

 

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_77

所以

所以,当再h,g线上经过微小的摄动后:w=f(z)在h,g方向上的变化矢量方向为

复分析中的柯西-黎曼方程的代数和几何分析_连接点_78

复分析中的柯西-黎曼方程的代数和几何分析_连接点_79

注意到

复分析中的柯西-黎曼方程的代数和几何分析_连接点_80

复分析中的柯西-黎曼方程的代数和几何分析_连接点_81

所以微小的摄动经过复函数变换后,得到的方向矢量仍然相差

复分析中的柯西-黎曼方程的代数和几何分析_连接点_82

 角度,这就是复变解析函数的“保角特性”,这就直观地解释了复变函数解析性能推出保角性,并说明了导数的几何意义。

如下图所示,左边h,g两条路径的夹角和右图两条曲线的夹角必定是相同的。根据这个性质也可以推出C-R方程。

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_83

复分析中的柯西-黎曼方程的代数和几何分析_算法_84

复变函数记

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_85

,其中

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_25

,所以可以得到

复分析中的柯西-黎曼方程的代数和几何分析_算法_24

,其中x, y是实数,u,v是他们的实函数,如果

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_88

解析,那么

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_89

有什么关系呢?取

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_90

为两个特殊的方向,分别平行于实轴和虚轴接近

复分析中的柯西-黎曼方程的代数和几何分析_连接点

点。

对于AB方向,趋近方式为

复分析中的柯西-黎曼方程的代数和几何分析_算法_92

\\ f(z)=z^2=(x+y_0i)^2=x^2-y_0^2+2xy_0i=>\left\{\begin{matrix} u=x^2-y_0^2\\ v=2xy_0 \end{matrix}\right.=>u=\frac{v^2}{4y_0^2}-y_0^2

为开口向右的抛物线

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_94

\\ f(z)=z^2=(x_0+yi)^2=x_0^2-y^2+2x_0yi=>\left\{\begin{matrix} u=x_0^2-y^2\\ v=2x_0y \end{matrix}\right.=>u=x_0^2-\frac{v^2}{4x_0^2}


为一副开口向左的抛物线.

由于只含有固定值的平方项,所以关于非固定的对称轴对称的两条直线映射到同一条抛物线.

关于保持直角的映射,可以通过下面的代数证明看出来

复分析中的柯西-黎曼方程的代数和几何分析_连接点_96

斜率正交,保持直角的性质得到证明.

如下图所示:

复分析中的柯西-黎曼方程的代数和几何分析_连接点_97

分析交点时刻的情况,根据可微的条件,下图的两个三角形应该全等,所以,同样可以得到C-R方程:

复分析中的柯西-黎曼方程的代数和几何分析_概率论_23

复分析中的柯西-黎曼方程的代数和几何分析_连接点_99


与线性空间变换的关系:

上面通过几何和代数证明,柯西-黎曼方程的几何意义,就是在变换(这里是复变函数求导)前后,保证一个稳定的伸缩率和转动角的变换.

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_100

满足柯西-黎曼方程的可微复变函数,局部的变换效果就是那些可以转换为伸(拉伸)扭(旋转固定的角度

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_101

)的映射,即再点的某个区域内,从这一点出发的无穷小复数摄动下,变换后满足同样的俯角变换和幅值变换,微观上,就是可以将一个微小的圆变换为微小的圆,如上图,局部的微小圆变换左边的

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_102

经过变换后,

复分析中的柯西-黎曼方程的代数和几何分析_复变函数_103

仍然是一个圆,这样

复分析中的柯西-黎曼方程的代数和几何分析_算法_104

才能保持不变.

关于线性空间变换的种类,线性代数和线性空间理论中介绍是最多的,所以,复变函数可微的两个条件,

1.相同的伸缩因子

2.相同的转动角

可以对应到线性空间理论中的变换矩阵,首先是伸缩因子

1.伸缩变换用

复分析中的柯西-黎曼方程的代数和几何分析_算法_105

表示2.转动变换最好理解了,对于逆时针方向旋转

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_101

的变换,可以用矩阵   

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_107

 表示

两个变换的复合,就是

而可以看到,用

复分析中的柯西-黎曼方程的代数和几何分析_概率论_108

乘以

复分析中的柯西-黎曼方程的代数和几何分析_算法_109

也将会得到一个变换:

复分析中的柯西-黎曼方程的代数和几何分析_连接点_110

复分析中的柯西-黎曼方程的代数和几何分析_线性代数_111

可以看到,这两变换何其相似,也就是说,复变函数可微性,对应了线性空间中的一类变换.

结束!