柯西―黎曼方程的补充证明.docVIP

柯西―黎曼方程的补充证明摘要：从更一般的意义上说那推导了柯西-黎曼方程，得到了和书中同样的结论，但由于采用任意路径逼近z■，因此更有普遍意义和说服力.关键词：柯西-黎曼；方程；补充证明中图分类号：G642.0 文献标志码：A 文章编号：1674-9324（2016）10-0196-02一、前言柯西-黎曼方程是复变函数中的重要方程，它揭示了一个复变函数连续的充要条件，即复函数的实部和虚部函数必须是有关联的，而不是各自独立的.假设f（z）=u（x，y）+iv（x，y） （1）是定义在复平面上的复函数，则这一关联用数学语言描述如下.■=■，■=-■ （2）这一结论的简单推导如下：在复平面上取一点z■=x■+iy■，若f（z）在z■可导，则有：f ′（z■）=■■ （3）其中：Δz=z■-z=（x■-x）+i（y■-y）=Δx+iΔy （4）f（z■+Δz）-f（z■）=[u（x■+x，y■+y）+iv（x■+x，y■+y）]-[u（x■，y■）+iv（x■，y■）]=[u（x■+x，y■+y）-u（x■，y■）]+i[v（x■+x，y■+y）-iv（x■，y■）]=Δu+iΔv （5）将式（4）、（5）代入（3）得到：f ′（z■）=■■ （6）当Δz→0时有Δx→0Δy→0.此时Δx→0Δy→0表示同时趋于零.一般教材上[1-3]选择Δz→0的方式有两种：Δy=0，Δx→0和Δx=0，Δy→0，即分别沿x轴和y轴.如果按Δy=0，Δx→0方式，（6）式变为：f ′（z■）=■■+i■=■■+i■■ （7）如果按Δx=0，Δy→0方式，则（6）式变为：f ′（z■）=■■+i■=■■+i■■ （8）由于（7）和（8）相等，因此有：■=■，■=-■ （9）这就是，柯西-黎曼方程（C-R）.从以上的推导可以看出，z趋于z■是从两个特殊方向进行的，即分别沿x轴和y轴.如果不沿着上述的路线，而是沿更一般的路线，如Δy=kΔx（k≠0，∞）进行，能否也得到上述结论呢？如果能得到同样结论，则从更普遍和基本更的意义上，证明了柯西-黎曼定理的正确性，因而更加有说服力.下面让我们就证明一下这种想法是否正确.二、C-R方程普遍意义上的推导将（6）式展开：f ′（z■）=■[■+i■] （10）此时，z→z■是按一般的路径Δy=kΔx（k≠0，∞）进行的.对中括号中个的第一部分进行如下处理，分子增加一项：u（x■，y■+Δy），再减去u（x■，y■+Δy），结果不变，因此这部分就变为如下形式：■■进一步分为两部分：■■+■■将Δy=kΔx代入第一项得到：■■=（■）■■=（■）■（11）将Δx=Δy/k代入第二项：■■=■■ =（■）■■=（■）■（12）最终结果为：■■=（■）■+（■）■ （13）（10）式第二项也做如此处理，得到：■■=（■）■+（■）■ （14）式（10）的最终结果为：f ′（z■）=（■）■+（■）■+i（■）■+（■）■ （15）整理成实部和虚部相加的形式：f ′（z■）=（■）■+（■）■+（■）■+（■）■+… i[（■）■+（■）■+（■）■+（■）■]（16）根据f（z）在z■点可导的条件，即沿任何路径z→z■得到的f ′（z■）应相等，因此式（7）、（8）、（16）应相等，即实部部分和虚部部分应分别相等，因此有：（■）■+（■）■+（■）■+（■）■=■=■（17）（■）■+（■）■+（■）■+（■）■=-■=■（18） 由（17）得到：（■）■+（■）■+（■）■+（■）■=■（■）■+（■）■+（■）■+（■）■=■（19）整理：（■）（■-■）+（■）（■+■）=0（■）（■-■）+（■）（■+■）=0 （20）可见，由于k的任意性，要使上式成立，必须：（■-■）=0，（■+■）=0 （21）这就是柯西黎曼方程.再由（18）得到：（■）■+（■）■+（■）■+（■）■=-■（■）■+（■）■+（■）■+（■）■=■（21）整理：（■）（■-■）+（■）（■+■）=0（■）（■-■）+（■）（■+■）=0 （22）式（22）中，由于k的任意性，要使上式成立，必须：（■-■）=0，（■+■）=0 （21）因此（17）和（18）都得到了同样结果.可见，z不论以何种方式趋于z■都能得到柯西-黎曼方程，这进一步证明了该方程的正确性.如果考虑更复杂情况，即z→z■时，Δx和Δy之间不是按直线路径，而是一条曲线，也能得到同样结论.只要把z■的邻域取得足够小，当z和z■之间距离足够小，那么曲线就趋近于直线，再按上面的方法证明即可.三、结论在复平面上，不论z以何种路径趋于z■，均能得到柯西-黎曼方程.参考文献：[1]李汉龙，缪淑贤.复变函数[M].北京：国防工业出版社，2011.[2]孙利祥.复变函数[M].上海：复旦大学出版社