复变函数(一)

复变函数:w=f(z),其中z和w均为复数

其中z称为复变数,z的范围为复平面上的一个点集M,M称为f(z)的变数范围

当z取M的一切值而得出的所有的w值的集合N,称为函数值的范围

f(z)是单值的:对于M中的每一个点z,对应一个复数

令z=x+iy, u=u+iv,

复变函数w=f(z)的实质就是两个实变数x和y的两个实函数

u=u(x,y), v=v(x, y),将(x, y)平面上的集合M映射到(u, v)上的集合N

自然地,与实数域上的实函数类似,我们同样可以对复变函数定义一一性,反函数,复合函数。

 

保角变换/共形映照

假设函数u, v对x, y在M内是可微的,则微分矢量之间的关系是:

则有

复变函数(一)

复变函数(一)

顾名思义,所谓保角变换要求映射后的角度大小不变,即:

考虑复变函数(一)处的两个微分矢量复变函数(一),假设两者分别对应复变函数(一)处的两个矢量复变函数(一)

则由保角性可知:复变函数(一)夹角的余弦值与复变函数(一)夹角的余弦值相等

复变函数(一)夹角的余弦值可以用如下式子表示:

复变函数(一)

我们选取特殊的复变函数(一)

复变函数(一)可得复变函数(一)

复变函数(一)可得复变函数(一)

复变函数(一)

满足Cauchy-Riemann方程的变换称为保角变换(或称为保角映像)

注意:那些使复变函数(一)(即复变函数(一))的点不一定具有保角性

此外,注意到复变函数(一)

说明保角变换把复变函数(一)附近的无穷小圆周变为复变函数(一)附近的无穷小圆周,因此保角变换也被称为共形映照

如果在区域D内,复变函数(一)有二阶连续偏微商,

由Cauchy-Riemann条件可以推出复变函数(一)分别为Laplace方程

复变函数(一)复变函数(一)的解

在区域D中适合于Laplace方程的函数称为D内的调和函数/位函数

v称为u的共轭函数,显然可见-u也是v的共轭函数

现在考虑由一个调和函数复变函数(一)求出它的共轭函数的问题:

如果D是单连通区域,则可以验证函数复变函数(一)复变函数(一)的共轭函数,即复变函数(一)满足Cauchy-Riemann条件

如果D是多连通区域,则上述曲线积分会因所取路径的不同而得到不同的数值:

  • 如果两条路线L和L'可以在D的范围内由其一连续变形为另一时,它们的积分还是相等的。
  • 否则,不一定相等

考虑Cauchy-Riemann方程的极坐标代换:复变函数(一)

可以得到:复变函数(一)

考虑Laplace方程的极坐标代换:复变函数(一)

可以得到:复变函数(一)

则相应的,u和v满足Laplace方程。

在极坐标代换之后,我们可以很方便的找到一些保形映射/调和函数。

下面列举几个典型的调和函数,即满足极坐标形式的Cauchy-Riemann方程的函数:

  • 复变函数(一)分为虚实部分:复变函数(一),则可以验证u和v满足极坐标形式的Cauchy-Riemann方程
  • 把多项式复变函数(一)分为虚实部分u和v(性质:如果u和v是调和函数,则对任何常数a,b,有au+bv也是调和函数)
  • 把级数复变函数(一)(假设在|z|<R内收敛),它的实部和虚部复变函数(一)
    • 特别地,复变函数(一),即复变函数(一)时,复变函数(一)复变函数(一)
  • 复变函数(一)
  • 复变函数(一),n为正整数

下面介绍一个定理:

保角变换之积仍然是保角变换。换言之,共轭的关系经过保角变换而不变,调和函数经保角变换后依然是调和函数。

证明:

复变函数(一)

复变函数(一)

 

解析函数

下面讨论保角变换函数复变函数(一)的性质:

无论h沿哪个方向趋于0,极限复变函数(一)是唯一的,不依趋向不同而变化

复变函数(一)

定义:解析

如果在D内某点z,极限复变函数(一)唯一存在,设为复变函数(一),则在此点复变函数(一)称为可导的;如果在复变函数(一)的一个邻域中复变函数(一)均可导,则称复变函数(一)复变函数(一)是解析的

我们说复变函数(一)在区域D内解析,是指在D内每一点复变函数(一)都是解析的。

复变函数(一)语言来叙述即:

复变函数(一)

容易证明:

  • 解析函数的和,差,积仍然是解析函数;
  • 如果除函数在D内不等于0,则商函数也是解析的。
  • 如果复变函数(一)复变函数(一)的解析函数(在D域的),而复变函数(一)复变函数(一)的取值区域内是复变函数(一)的解析函数,其函数值在复变函数(一)域内,则复变函数(一)也是解析函数。

 

有了解析的定义之后,我们可以发现上面在讨论保角变换的性质的时候,证明了保角映射(即满足Cauchy-Riemann条件的函数)是一个解析函数

事实上,反过来的命题也是成立的:如果一个函数在z处解析,则其虚部和实部一定满足Cauchy-Riemann条件,并且是一对共轭的调和函数。

证明是容易的:

复变函数(一)

下面根据上面的命题,将复变函数(一)表示成关于x和y的偏导数的形式(划归思想:将一个未知的定义转化为已知的实数偏导数的定义)

复变函数(一)

这一结果可以作如下理解:

复变函数(一),因此,复变函数(一)复变函数(一)的函数,而解析函数是与复变函数(一)无关的一类函数,复变函数(一)的变化不会影响函数的值。