复变函数的连续性
复变函数的定义与极限
定义2.1
E为一个复数集,如果映射
f:E→C称为
E上单值复变函数,如果对
E上的每一个复数
z,都有多个复数
f(z)与之对应,则称
f是
E上的一个多值复变函数
可见复变函数与实变函数不同的是,复变函数大多具有多值性的特点,比如
nz
实际上有
n个值,
Argz则对应无穷个值,分别为
argz+2kπ(k=0,±1,±2,⋯)。实际上,很多复变函数产生多值性的原因,是因为幅角函数具有多值性,在下一章我们会采用刺破
z平面或限制幅角的方式来讲多值函数分为若干单值分支,如无特殊说明,后面所讲的函数都是单值函数或多值函数的某一个单值分支。再来考察定义2.1,如果
f(z)的实部、虚部分别为
u(z),v(z),那么,
u,v可以视为
z实部和虚部
x,y的二元函数:
f(z)=u(x,y)+v(x,y)i于是,从形式上讲,复变函数是两个二元函数,那为何引入复变函数这个概念,而不用一个二元二维的向量函数代替呢?实际上,很多情况下
u,v不是独立的,两者有着千丝万缕的联系,从下一节解析函数就可以清楚地看到这一点。
定义2.2
E⊆C,
f是定义在
E上的单值复变函数,对
z0∈E,如果存在复数
w,对任意的
ε>0,存在
δ>0,当
0<∣z−z0∣<δ,z∈E时,都有
∣f(z)−w∣<ε则称
f(z)在
z0处极限存在,
w为
f(z)在
z→z0过程的极限,记为
z→z0limf(z)=w
设
w=u0+v0i,则
∣f(z)−w∣=(u−u0)2+(v−v0)2
就有
∣u−u0∣≤(u−u0)2+(v−v0)2
∣v−v0∣≤(u−u0)2+(v−v0)2
(u−u0)2+(v−v0)2
≤∣u−u0∣+∣v−v0∣可见,设
z0=x0+y0i,实际上
z→z0limf(z)=w的充要条件是
(x,y)→(x0,y0)limu(x,y)=u0(x,y)→(x0,y0)limv(x,y)=v0同样地,实函数极限的很多性质也可以推广到复函数极限中,这里不再赘述。
复变函数的连续性
定义2.3
f在复数集
E上有定义,
z0∈E,如果
z→z0limf(z)=f(z0),则称
f(z)在
z0处连续,如果
f在
E上每一点都连续,则称
f是
E上的连续函数
从这个定义就容易看出:
f在
z0处连续的充要条件是
u,v在
z0处连续
定义2.4
f在复数集
E上有定义,如果对任意的
ε>0,存在
δ>0,对任意的
z1,z2∈E,只要
∣z1−z2∣<δ,就有
∣f(z1)−f(z2)∣<ε则称
f在
E上一致连续
类似于实连续函数的性质,容易证明复连续函数也有如下的性质:
定理2.1
f是有界闭集
E⊆C上的连续函数,则
(1)
f有界,即存在
M>0,
∀z∈Z,
∣f(z)∣≤M
(2)
∣f∣在
E上可取得最大值和最小值
(3)
f在
E上一致连续
解析函数
复变函数导数与微分
复变函数的导数定义形式上和实函数是一样的
定义2.5
f在
z0的某个邻域
B(z0,δ)上有定义,如果极限
z→z0limz−z0f(z)−f(z0)=w存在,则称
f在
z0处可导,
w为
f在
z0处的导数,记为
f′(z0)
同样地,可以定义复变函数的微分
定义2.6
f在
z0的某个邻域
B(z0,δ)上有定义,并且在该邻域上,有
f(z)=f(z0)+wΔz+o(Δz)其中
Δz=z−z0,
w是与
z无关的常复数,
o(Δz)是
Δ→0过程中
Δz的高阶无穷小,则称
f在
z0处可微,
df=wdz称为
f在
z0处的微分
同数学分析中的导数和微分的关系一致,可导和可微是等价的,由此也可以看出,
f在
z0处可导蕴含了
f在
z0处连续。
解析函数
定义2.7
f在区域
D内每一点都可导,则称
f在
D上解析,或
f是
D上的解析函数
需要注意的是,解析和区域是相关联的,说某个函数是解析函数,必须指明在哪个区域上解析,如果我们称
f是
z0处的解析函数,等价于说
f是
z0某个邻域上的解析函数。下面我们来探究可微的充要条件,进而就可以得出
f在
D上解析的充要条件。
如果
f在
z0处可微,则极限
Δz→0limΔzf(z+Δz)−f(z)存在,如果我们取
Δz=Δx,那么以上极限式为
Δx→0limΔxu(x+Δx,y)+v(x+Δx,y)i−u(x,y)−v(x,y)i由于以上极限存在,则以下两个极限都存在
Δx→0limΔxu(x+Δx,y)−u(x,y)Δx→0limΔxv(x+Δx,y)−v(x,y)同理可以证明,实部函数和虚部函数对各变元都可以求偏导,如果我们令
Δz=Δx,则
Δz→0limΔzf(z+Δz)−f(z)=∂x∂u+∂x∂vi如果我们令
Δz=iΔy,则
Δz→0limΔzf(z+Δz)−f(z)=∂y∂v−∂y∂ui待定系数,就得到一个偏微分方程组
ux′=vy′,vx′=−uy′我们称这个方程为柯西-黎曼方程(C.-R.方程),可见
定理2.2
f=u+vi在
z0处可微的必要条件是
(1)
u,v在
z0处对各变元的偏导数存在
(2)
u,v满足C.-R.方程
可见,复变函数并不是将两个独立的二元函数组装在一起,这两个函数是有联系的,对于可微函数而言,
u,v的联系体现在C.-R.方程上。由此,我们就可以确定某些函数不可微。
例2.1
f(z)=z在复平面上不可微,因为其在复平面上不满足C.-R.方程
但定理2.2只是一个必要条件,并不是所有偏导数存在,并且满足C.-R.方程的复变函数都可微,下面是一个反例:
例2.2 定义两个二元实函数
=u(x,y)=v(x,y){x2+y2
xy0x2+y2=0x2+y2=0则复变函数
f(z)=f(x+yi)=u(x,y)+v(x,y)i是满足
C.−R.方程的,因为
u,v在
(0,0)处对各变元的偏导数都为
0,但
zf(z)−f(0)=x2+y2ux+vy+(vx−uy)i这极限是不存在的
仔细考察例2.2可知,例2.2中的
u,v都是不可微的,这可能是使得
f不可微的根源。
定理2.3
f=u+vi在
z0=x0+y0i处可微的充要条件是
(1)
u,v在
(x0,y0)处可微
(2)
u,v满足
C.−R.方程
证:
必要性的证明:只要证明如果
f在
z0处可微,
u,v在
(x0,y0)处可微。
首先,如果
f在
z0处可微,则
u,v在
(x0,y0)处满足
C.−R.方程,设
ux′=vy′=αvx′=−uy′=β则
f′(z0)=α+βi,在
z0的某个邻域上,有
f(z)=f(z0)+(α+βi)(Δx+iΔy)+a+bi其中
a,b是
Δx2+Δy2
在
Δx2+Δy2
→0过程中的高阶无穷小,整理以上式子,就有
Δu+iΔv=αΔx−βΔy+a+(βΔx+αΔy+b)i比较等式左右两边的实部和虚部就可以得出
u,v在
(x0,y0)处可微的结论。
充分性的证明:再设
ux′=vy′=αvx′=−uy′=β并且
u,v在
(x0,y0)处可微,则在
(x0,y0)的某个邻域上,成立
Δu=αΔx−βΔy+aΔv=βΔx+αΔy+b
a,b是
∣z∣的高阶无穷小,则
=Δu+iΔv=αΔx−βΔy+a+(βΔx+αΔy+b)i(α+βi)(Δx+iΔy)+a+bi于是
f可微
推论2.1 如果
f=u+vi在
z0=x0+y0i的某个邻域上有定义,并且
(1)
u,v在
(x0,y0)的某个邻域上连续可微
(2)
u,v在
(x0,y0)处满足
C.−R.方程
则
f在
z0处可微
由此可以得出
f在区域
D上解析的充要条件和充分条件
推论2.2
f=u+vi在区域
D上有定义,则
f在
D上解析的充要条件是
(1)
u,v在
D上可微
(2)
u,v在
D上满足
C.−R.方程
推论2.3
f=u+vi在区域
D上有定义,则
f在
D上解析的充分条件是
(1)
u,v在
D上连续可微
(2)
u,v在
D上满足
C.−R.方程
因此,看一个函数是否在某点可微或是否在某个区域解析,一看是否可微,二验证是否满足
C.−R.方程即可。
导数的运算性质
最后我们来给出导数的运算性质,这些运算性质和实函数导数的运算性质是极其类似的。
定理2.4
f,g在
z0处可导,则
(1)
f±g在
z0处可导,并且
(f±g)′=f′±g′
(2)
fg在
z0处可导,并且
(fg)′=f′g+fg′
(3)若
g(z0)=0,则
f/g在
z0处可导,并且
(gf)′=g2f′g−g′f
定理2.5
w=f(z)在
z0处可导,
u=g(w)在
w0=f(z0)处可导,则
u=g(f(z))在
z0处可导,并且
[g(f(z0))]′=f′(z0)g′(w0)
证明和实函数也是类似的,这里不再赘述
例2.3 (复变函数的洛必达法则) 若
f(z),g(z)在
z0处解析,且
f(z0)=g(z0)=0,g′(z0)=0则
z→z0limg(z)f(z)=g′(z0)f′(z0)
证:
首先,由于
g′(z0)=0,在
z0的某个去心邻域上
g(z)=0,因此,在该去心邻域上
g(z)f(z)是有意义的。
其次,当
z=z0,并且在上述的去心邻域内,就有
g(z)f(z)=g(z)−g(z0)f(z)−f(z0)=z−z0g(z)−g(z0)z−z0f(z)−f(z0)令
z→z0即可证得结论
例2.4 证明在极坐标下,函数
f(z)=u(x,y)+iv(x,y)的
C.−R.方程为
∂r∂u=r1∂θ∂v,∂θ∂u=−r∂r∂v
证:作极坐标变换
{x=rcosθy=rsinθ后将
u,v变换为
u(x,y)=u(r,θ)v(x,y)=v(r,θ)则
ur′=ux′cosθ+uy′sinθvθ′=−rvx′sinθ+rvy′cosθ利用
C.−R.方程可以得到
rur′=vθ′另一个等式的证明类似
例2.5 设实函数
u(x,y)对各变元有偏导数,则令
z=x+iy,则
u可以写成
z,z的函数
u=u(2z+z,2iz−z)如果将
z,z形式地视为是实数,如果实函数对实变元求偏导一样,就可以定义
∂z∂u=21(∂x∂u−i∂y∂u)∂z∂u=21(∂x∂u+i∂y∂u)则
C.−R.方程可以写成
∂z∂f=∂z∂u+i∂z∂v=0