第四章解析函数的幂级数
示方法
第四章 解析函数的幂级数表示方法 第一节 级数和序列的基本性质
1、复数项级数和复数序列:
复数序列就是:
在这里,是复数,zaibzaibzaib,,,,,,,,...,,...z111222nnnn
一般简单记为。按照是有界或无界序列,Rez,a,Imz,b,{|z|}{z}nnnnnn
为有界或无界序列。 我们也称{z}n
,,0N设是一个复常数。如果任给,可以找到一个正数,使得当z0
n>N时
, |z,z|,,n0
那么我们说收敛或有极限,或者说是收敛序列,并且收敛{}zz{}zn0n于,记作 z0
limz,z。 n0,,,n
如果序列不收敛,则称发散,或者说它是发散序列。 {}z{}znn
令,其中a和b是实数。由不等式 zaib,,0
||||||||||aabbzzaabb,,,,,,,,及nnnnn0
limz,z容易看出,等价于下列两极限式: n0,,,n
lima,a,limb,b, nn,,,,,,nn
因此,有下面的注解:
注1、序列{}z收敛(于z)的必要与充分条件是:序列{}a收敛(于n0na)以及序列{}b收敛(于b)。 n
注2、复数序列也可以解释为复平面上的点列,于是点列{}z收敛于n
,或者说有极限点的定义用几何语言可以叙述为:任给的一个zzz000邻域,相应地可以找到一个正整数N,使得当nN,时,在这个zn邻域内。
注3、利用两个实数序列的相应的结果,我们可以证明,两个收敛复
数序列的和、差、积、商仍收敛,并且其极限是相应极限的和、差积、
商。
定义4.1复数项级数就是
zzz,,,,......12n
,,
或记为,或,其中是复数。定义其部分和序列为: zzz,,nnn,n1
,,,,,zzz...nn12
如果序列收敛,那么我们说级数收敛;如果的极限是{},{},z,nnn
,那么说的和是,或者说收敛于,记作 zz,,,,,nn
,,
z,,, ,nn1,
如果序列发散,那么我们说级数发散。 {},z,nn
注1、对于一个复数序列,我们可以作一个复数项级数如下 {}zn
zzzzzzz,,,,,,,,()()...()... 121321nn,则序列{}z的敛散性和此级数的敛散性相同。 n
,,N注2级数收敛于的定义可以叙述为:z,,n
,,,,,,0,0,,NnN使得当时有
n
||z,,,,, ,k,1k
注3如果级数收敛,那么 z,n
limlim()0,z,,,,,nnn,1nn,,,,,,
注4令
, azazbzab,,,,,Re,Re,Im,Re,Im,,nnnnnn
nn
我们有 ,,,aib,,nkkkk,,11
因此,级数收敛于的充分与必要条件是:级数收敛于aza,,,nn
以及级数收敛于b。 b,n
注5关于实数项级数的一些基本结果,可以不加改变地推广到复数项
级数,例如下面的柯西收敛原理: 定理4.2柯西收敛原理(复数项级数):级数收敛必要与充分条z,n
,,0件是:任给,可以找到一个正整数N,使得当n>N,p=1,2,3,…
时,
|...|zzz,,,,, nnnp,,,12
柯西收敛原理(复数序列):序列收敛必要与充分条件是:任给{}zn,,0,可以找到一个正整数N,使得当m及n>N,
||zz,,,nm 对于复数项级数,我们也引入绝对收敛的概念: z,n
定义4.2如果级数
||||...||...zzz,,,, 12n收敛,我们称级数绝对收敛。非绝对收敛的收敛级数称为条件z,n
收敛
复级数收敛的一个充分条件为级数收敛 zz,,nn
注1、级数绝对收敛必要与充分条件是:级数以及绝zab,,,nnn
对收敛:事实上,有
nnnn22||||||abzab及,,,,,,,kknkkk,,,,1111kkkk
n ,,||||,ab,,kkkk,,11
注2、若级数绝对收敛,则一定收敛。 zz,,nn
2n例4.1当时,绝对收敛;并且有 ||1,,1......,,,,,,,,
n,11,,21nn, 1...,lim0,,,,,,,,,,n,,,1,,
我们有,当时, ||1,,
12n ,,,,,,,,,1.......
,1,
定理4.1如果复数项级数及绝对收敛,并且它们的和分别z'z",,nn
为,那么级数 ,,',"
,,'"'"'"(...)zzzzzz,,, ,nnn1211,n1,
,,'"也绝对收敛,并且它的和为。
2、复变函数项级数和复变函数序列:
{()}(1,2,...)fzn,定义4.3 设在复平面点集E上有定义,那么: n
f(z),f(z),...,f(z),...12n
,,
fz()是定义在点集E上的复函数项级数,记为,或。设函fz(),,nn1n,数f(z)在E上有定义,如果在E上每一点z,级数都收敛于fz(),n
,那么我们说此复函数项级数在E上收敛于,或者此级数fz()fz()在E上有和函数,记作 fz()
,,
f(z),f(z),,nn1, 设
f(z),f(z),...,f(z),...12n
,,,(z)是E上的复函数列,记作或。设函数在E上有定{f(z)}{f(z)}nnn,1
,(z)义,如果在E上每一点z,序列都收敛于,那么我们说此{f(z)}n
,(z),(z)复函数序列在E上收敛于,或者此序列在E上有极限函数,
记作
limf(z),,(z), n,,,n
注1f(z)、复变函数项级数收敛于的,,N定义可以叙述为:fz(),n
,,,0,,N,0,使得当n,N时,有
n
|f(z),f(z)|,,. ,k,1k
,(z)注2、复变函数序列收敛于的,,N定义可以叙述为:{f(z)}n
,,,0,,N,0,使得当n,N时,有
|f(z),,(z)|,,.n
定义4.4如果任给,,0,可以找到一个只与有关,而与z无关的正,
n,N,z,E整数,使得当时,有 NN,(),
n
|f(z),f(z)|,,. ,k,1k
或 |f(z),,(z)|,,.n
,(z)f(z)那么我们说级数或序列在E上一致收敛于或。 fz(){f(z)},nn注解1、和实变函数项级数和序列一样,我们也有相应的柯西一致收
敛原理:
定理4.5柯西一致收敛原理(复函数项级数):复函数项级数在f(z),nE上一致收敛必要与充分条件是:任给,可以找到一个只与有,,0,
N,N(,)n,N,z,E关,而与z无关的正整数,使得当,p=1,2,3,…时,有
|f(z),f(z),...,f(z)|,,.n,1n,2n,p
柯西一致收敛原理(复函数序列):复变函数序列在上一致E{f(z)}n收敛必要与充分条件是:任给,可以找到一个只与有关,而与,,0,
N,N(,)m,n,N,z,Ez无关的正整数,使得当时,有
|f(z),f(z)|,,.nm
注2、一致收敛的魏尔斯特拉斯判别法(优级数准则):设
在复平面点集上有定义,并且设 E{f(z)}(n,1,2,...)n
a,a,...,a,...12n
是一个收敛的正项级数。设在E上,
|f(z)|,a (n,1,2,...),nn
f(z)那么级数在E上绝对收敛且一致收敛。 ,n
,
f(z)这样的正项级数称为复函数项级数的优级数. ,n,an,n1
定理4.6 设复平面点集E表示区域、闭区域或简单曲线。设
f(z)在集上连续,并且级数或序列在上EE{f(z)}(n,1,2,...){f(z)},nnn
,(z),(z)一致收敛于fz()或,那么f(z)或在E上连续。
f(z)定理4.7 设在简单曲线C上连续,并且级数或序f(z)(n,1,2,...),nn
,(z)列在上一致收敛于或,那么 Cfz(){f(z)}n
,,
f(z)dz,f(z)dz, ,n,,CC1n,
或
f(z)dz,,(z)dz.n,,CC
注1、在研究复函数项级数和序列的逐项求导的问题时,我们一般考
虑解析函数项级数和序列;
注2、我们主要用莫勒拉定理及柯西公式来研究和函数与极限函数的
解析性及其导数。
定义4.5设函数在复平面C上的区域D内解析。如果{f(z)}(n,1,2,...)n
f(z)级数或序列在D内任一有界闭区域(或在一个紧集)上{f(z)},nn
,(z)一致收敛于或,那么我们说此级数或序列在D中内闭(或内fz()
,(z)紧)一致收敛于或。 fz()
定理4.9(魏尔斯特拉斯定理)设函数在区域D内解析,f(z)(n,1,2,...)n
,(z)f(z)并且级数或序列在D内闭一致收敛于函数或,fz(){f(z)},nn
,(z)那么或在区域D内解析,并且在D内 fz()
,,(k)(k)f(z),f(z), ,nn1,
或
(k)(k) ,(z),limf(z),(k,1,2,3,...).n,,,n
证明:先证明在D内任一点z解析,取z的一个邻域U,使其包fz()00含在D内,在U内作一条简单闭曲线C。由定理4.7以及柯西定理,
,,
f(z)dz,f(z)dz,0, ,n,,CC1n,
因为根据莫勒拉定理,可见在内解析。再由于是内任意一UDzfz()0点,因此在内解析。 Dfz()
其次,设U的边界即圆K也在D内,于是
,,f(z)n, ,,k1(z,z),n10
f(z)z,K对于一致收敛于。由定理4.7,我们有 k,1(z,z)0
,,1f(z)1f(z)ndz,dz, ,k1k1,,,,KK,,,,2i(zz)2i(zz)n1,00也就是
,,(k)(k)f(z),f(z),(k,1,2,3,...) ,nn1,
因此,定理中关于级数的部分证明结束。
,(z)对于序列,我们也先证明在D内任一点解析,取的一个邻域zz00U,使其包含在D内,在U内作一条简单闭曲线C。由定理4.7以及
柯西定理,
f(z)dz,limf(z)dz,limf(z)dz,0,nn,,,CCCz,,,n,,,
,(z)因为根据莫勒拉定理,可见在U内解析。再由于是D内任意一z0
,(z)点,因此在D内解析。
其次,设U的边界即圆K也在D内,于是
f(z)n, k,1(z,z)0
,(z)z,K对于一致收敛于。由定理4.7,我们有 k,1(z,z)0
,()1()1fzzn,limdzdz k,1k,1,,KKn,,,2,(,)2,(,)izzizz00
()1fzn ,limdzk,1,Kn,,,2,(,)izz0
也就是
(k)(k) ,(z),limf(z),(k,1,2,3,...).n,,,n
因此,定理中关于序列的部分证明结束。
第二节 幂级数
幂级数:本节研究一类特别的解析函数项级数,即幂级数
,,2n,,,,(z,z),,(z,z),(z,z),,001020n 0n,
n...,,(z,z),...0n
其中z是复变数,系数是任何复常数。 ,n
注1、这类级数在复变函数论中有特殊重要的意义; 注2、一般幂级数在一定的区域内收敛于一个解析函数; 注3、在一点解析的函数在这点的一个邻域内可以用幂级数表示出来,因此一个函数在某个点解析的必要与充分条件是,它在这个点的某个邻域内可以展开成一个幂级数。
首先研究幂级数的收敛性,我们有阿贝尔第一定理:
,,n定理4.10(阿贝尔定理) 如果幂级数在收敛,那么它z(,z),(z,z)10,n0n0,
在内绝对收敛且内闭一致收敛. |z,z|,|z,z|010
,,n证明:由于幂级数在收敛,所以有 z(,z),(z,z)10,n0n0,
n, lim,(z,z),0n10n,,,
n因此存在着有限常数M,使得 。把级数改写(0,1,...)n,|()|,zzM,,10n
成
n,,,,zz,n0 ,,,(z,z),10n,,zz,0n,10,,则有
nzz,nn0 |()||()|,,zzzz,,,nn010zz,10
n
zz,n0, ,,MMk
zz,10
,,z,zn0其中已令由于级数收敛,所以此幂级数在满足Mk,,k,,z,z0k,10
的任何点 z绝对收敛且内闭一致收敛。 |z,z|,|z,z|010
,,n推论4.11 若幂级数在发散,则它在以为心并通zz(),z,(z,z),n0200n0,
过的圆周外部发散. z2
,,n注1:与幂级数相对应,作实系数幂级数 ,(z,z),n0n0,
,,2nn ,||x,,||,,||x,|,|x,...,|,|x,...,n012nn,0
其中x为实数。则有
,,n设的收敛半径是R,那么按照不同情况,我们分别有: ||,x,n,n0
,,n0,R,,,(1)、如果,那么当时,级数绝对收敛,|z,z|,R,(z,z)0,n0n0,
,,n当时,级数发散; |z,z|,R,(z,z)0,n0n0,
,,nR,,,(2)如果,那么级数在复平面上每一点绝对收敛; ,(z,z),n0n0,
,,n(3)如果R=0,那么级数在复平面上除去外每一点z,z,(z,z)0,n0n0,
发散。
证明:
(1)先考虑的情形。如果,那么可以找到一个正0,R,,,|z,z|,R10
,,n|,|x,使它满足。由于级数在时绝对收敛,实数|z,z|,r,Rx,rr,n10111n,0
,,n所以级数在时绝对收敛,从而它在时也绝对z,z,rz,z,(z,z)01,1n0n0,
收敛。
如果,那么可以找到一个正实数,使它满足。|z,z|,r,R|z,z|,Rr101022
,,,,nn|,|x假定级数在时收敛,那么级数在时也收z,zx,r,(z,z),n,22n0nn0,0,
敛,与所设相矛盾。
,,n|,|xR,,,(2)如果,则对任何实数x,级数都绝对收敛。如果,nn,0
,,,,nn|,|x,由于级数在时绝对收敛,所以级数|z,z|,rx,r,(z,z),n10,n0nn0,0,
在时绝对收敛,从而它在时也绝对收敛,由于的任意z,z,rz,zz011
,,n性,那么级数在复平面上每一点绝对收敛; ,(z,z),n0n0,
,,n|,|x(3)如果R=0,则对任何实数x,0,级数都发散。若存在一,nn,0
,,n个复数,使得收敛,则由定理4.10,当z(,z)|z,z|,|z,z|,(z,z)10010,n10,n0
,,,,nnx,0时,绝对收敛,即收敛,所以存在,使得,(z,z)|,||z,z|,,n0n0,n0n0,
,,n|,|x收敛,与假设矛盾。 ,nn,0
,,n0,R,,,注1、当时,对于,级数的敛散性不定。 |z,z|,R,(z,z)0,n0n0,
R(0,R,,,)注2、和数学分析中一样,注解1中的称为此级数的收敛半径;而称为它的收敛圆盘。当时,我们说此级数的R,,,|z,z|,R0
收敛半径是,收敛圆盘扩大成复平面。当R=0时,我们说此级数,,
的收敛半径是0,收敛圆盘收缩成一点。 z0
,,,,nn|,|x注3、因此,求的收敛半径的问题归结成求的收,(z,z),n,n0nn0,0,
敛半径的问题。和数学分析中一样,常见情况下,可以用达朗贝尔法则或柯西法则求出。对于一般情况,则可用柯西-阿达马公式求出,因此,有下面的定理:
定理4.12(柯西-阿达马公式)
如果下列条件之一成立:
,n,1l,lim||,(1) n,,,,n
n(2) l,lim|,|,n,,,n
n(3) l,lim|,|,n,,,n
,,n级数的收敛半径 ,(z,z),n0n0,
1,,0,;ll,,,,,l, Rl,,,,0,;,
,,,,,0l,
,
注1、公式中的l总是存在的。
L,(,,,,,)注2、(上极限的定义)已给一个实数序列。数满足下{a}n
,,0列条件:任给,(1)至多有有限个;(2)有无穷个,a,L,,a,L,,nn
那么说序列的上极限是L,记作 {a}n
lima,L,n,,,n
如果任给,有无穷个,那么说序列的上极限是,M,0,,a,M{a}nn
记作
lima,,,,nn,,,
,至多有有限个,那么说序列的上极限是如果任给M,0a,,M{a}nn
,记作 ,,
lima,,,.nn,,,
1|z'z|注3、(柯西-阿达马公式的证明)设,任取定z’,使得。0,l,,,,,0l
1|z',z|,可以找到,使得。又由上极限的定义,存在着N>0,,,00(l,2,)使得当n>N时
n|,|,l,,, n从而
nn|,||z',z|,[(l,,)/(l,2,)] 0n
,,nz'z,z'因此级数在时绝对收敛。由于的任意性,得到此级,(z,z),n0n0,
1|zz|数在内绝对收敛。 ,,0l
1,,(0,l/2)|z"z|z"另一方面,任取定,使得。可以找到,使得,,0l
1n|z",z|,|,|,l,,。又由上极限的定义,有无穷多个,满足,,0nn(l,2,)
即满足
nn|,||z",z|,[(l,,)/(l,2,)] 0n
,,1n因此级数在时发散,从而此级数在|zz|内发散。 z,z",,(z,z),0,n0ln0,
例4.2试求下列各幂级数的收敛半径R
,zn(1) ,2nn0,
n,z(2) ,2nn0,
cn,12n解 (1) R,,,limlim()1,,,,xxcn,n1
1
cn,(1)!n,1R,,,l,,, (2),故 limlim0xx,,,,1cn
n!注1、由柯西准则我们可以证明,复数项级数收敛的一个必要条件也
是其通项趋近于0
幂级数和的解析性
定理4.13
,,n(1) 幂级数(4.5)的和函数在其收敛圆周fz()fzcza()(),,,n0n,
kzaRR:(0),,,,,,内解析。
,,nk(2) 在内,幂级数可以逐项求导至任意阶,即 fzcza()(),,,n0n,()pnp,fzpcppczannnpcza()!(1)2()(1)(1)(),,,,,,,,,,,ppn,1
(4.6) (1,2)p,
,,n且其收敛半径与收敛半径相同。 fzcza()(),,,n0n,
pfa()(3) (4.7) c,(0,1,2,)p,pp!
,,n证明 由定理4.10,幂级数在其收敛圆,()za,,n0n,
nkzaRR:(0),,,,,,czz(),内内闭一致收敛于,而其各项 fz()0n
Z又都在平面上解析,故由定理4.9,本定理的(1)(2)部分(0,1,2,)n,
p阶导数,得 得证.逐项求(0,1,2,)p,
pfa() c,(1,2,)p,pp!
0cfafa,,()()注意到即得(4.7) 0
k注(1)本定理还有一条结论:级数(4.5)可沿内曲线C逐项积分,且其收
敛半径与原级数相同.
注(2)所有的幂级数(4.5)至少在中心是收敛的,但收敛半径等于零的a
级数没有什么有益的性质,是平凡情景. 第三节 解析函数的泰勒展式
DDaD,定理4.14、设函数f(z)在区域内解吸圆盘含于KzaR:||,,
K那么在内,能展开成幂级数 fz()
fafa'()"()2fzfazaza()()()(),,,,,,1!2! (4.8) n()fa()n...()...,,,zan!
()n1()()ffa,,,其中系数cd, (4.9) ,n,n1,C,2()!izn,,
kz,D证明:设。以为心,在U内作一个圆,使z属于其内区域。a
我们有
,1f()f(z),d,, ,C,2iz,,
za,,,Cq1由于当时,,,,
,a,
又因为
12n ,1,,,,,...,,,...(|,|,1)1,,
所以
1111,,,za,,,,zazaa,,,,,(),1
,a,
n,,za,(),,n,1a(),n,0,
,,C上式的级数当时一致收敛。
把上面的展开式代入积分中,然后利用一致收敛级数的性质,得
n fzcczacza()()...()...,,,,,,,01n其中,
()n1()()ffa,,,cd,,nn1,,C ,2()!izn,,
,,(0,1,2,...;0!1)n
k由于z是内任意一点,定理的结论成立。 下面证明展式的唯一性
,'n(:)zkzaR,,,设另有展式fzcza()(),, 由定理4.13(3)可,nn0,
nfa()'知 (0,1,2,3,)n, cc,,nnn!
故展式是唯一的.
定理4.15 函数f(z)在一点解析的必要与充分条件是:它在的某个aa
邻域内有定理4.14中的幂级数展式。 (4.8)称为在点的泰勒展式, (4.9)等号右边的级数则称为泰勒fz()a
级数.
幂级数的和函数在其收敛圆周上的状况
,n 的收敛半径R>0 且定理4.16 如果幂级数 cza(),,n,n0
,n(:)zkzaR,,, fzcza()(),,,n0n,
czaR:,,则在收敛圆周上至少有一奇点,即不可能有这样的函fz()
zaR,,数存在,它在内与恒等,而在c上处处解析 fz()fz()
注(1)纵使幂级数在其收敛圆周上处处收敛,其和函数在收敛圆周上任
然至少有一个奇点
z例4.3求在z=0的泰勒展式。 e,sinz,cosz
z(n)zz解:由于,所以,因此 (e)|,1(e)',ez,0
11z2n e,1,z,z,...,z,...2!n!同理,有
11124n,12ncosz,1,z,z,...,(,1)z,...2!4!(2n)!
11135n,12n,1 sinz,z,z,z,...,(,1)z,...3!5!(2n,1)!
由于在复平面上,以某些射线为割线而得的区域内,多值函数---
对数函数和一般幂函数可以分解成解析分支,因此在已给区域中任一
圆盘内,可以作出这些分支的泰勒展式。 例4.4求的下列解析分支在z=0的泰勒展式: ln(1),z
ln(1,z),ln|1,z|,iarg(1,z) ,,,arg(1,z),,)
解:已给解析分支在z=0的值为0,它在z=0的一阶导数为1,二阶
n导数为-1,n阶导数为,…,因此,它在z=0或在|z|<1的泰勒(,1)(n,1)!
展式是:
23nzzz,1nzzln(1,),,,,...,(,1),... n23
其收敛半径1。
,例4.5求的下列解析分支在z=0的泰勒展式(其中不是整数),(1,z),,ln(1,z)。 e(ln1,0)
解:已给解析分支在z=0的值为1,它在z=0的一阶导数为,二阶,
,(,,1),(,,1)...(,,n,1)导数为,n阶导数为,…,因此,它在z=0或在|z|<1的泰勒展式是:
,,,ln(z,1)2ne,1,z,()z,...,()z,... ,2n
,,,(,1)...(,n,1),,,,,其中,其收敛半径为1。 ,,,nn!,,
注:这是二项式定理的推广,对为整数的情况也 ,
第四节 解析函数零点的孤立性及唯一性定理
定义4.7设函数f(z)在解析区域D内一点的值为零,那么称为f(z)aa的零点。设f(z)在U内的泰勒展式是:
2n fzczaczacza()()()...()...,,,,,,,,12n
现在可能有下列两种情形:
(1)如果当n=1,2,3,…时,c,0,那么f(z)在U内恒等于零。 n
(2)如果ccc,,...,,...不全为零,并且对于正整数m,c,0,而对12nm于n
1,an
我们说是f(z)的单零点或m阶零点。 z0
如果是解析函数f(z)的一个m阶零点,那么显然在的一个邻aa域D内
m fzzaza()()(),()0,,,,,,
其中在U内解析。因此存在一个正数,使得当时,,,0,(z)0||,,,za,
。于是。换而言之,存在着的一个邻域,其中是f(z)f(z),0,(z),0aa的唯一零点。
定理4.18 设函数f(z)在解析,并且是它的一个零点,那么或者f(z)zz00
在的一个邻域内恒等于零,或者存在着的一个邻域,在其中是zzz000f(z)的唯一零点。
注解:此性质我们称为解析函数零点的孤立性。
kzaR:,,k推论4.19 设(1)函数f(z)在邻域内解吸,(2)在内有的fz()
zza(),k一列零点 收敛于,则在内恒为零. fz()a,,nn
k注(1)推论4.19中的条件(2)可代换成更强的条件: 在内某一子fz()区域上恒等于0
解析函数的唯一性:
我们知道,已知一般有导数或偏导数的单实变或多实变函数在它的定义范围内某一部分的函数值,完全不能断定同一个函数在其他部分的函数值。解析函数的情形和这不同:已知某一个解析函数在它区域内某些部分的值,同一函数在这区域内其他部分的值就可完全确定。
定理4.20(解析函数的唯一性定理)设函数f(z)及g(z)在区域D内解
析。设是D内彼此不同的点(k=1,2,3,…),并且点列在D内有{z}zkk
极限点。如果,那么在D内,f(z)=g(z)。 f(z),g(z)(k,1,2,3,...)kk
证明:假定定理的结论不成立。即在D内,解析函数F(z)=f(z)-g(z)不恒等于0。显然。设是点列在D内有极限点。F(z),0(k,1,2,...)z{z}k0k
由于F(z)在连续,可见。可是这时找不到的一个邻域,F(z),0zz000在其中是F(z)唯一的零点,与解析函数零点的孤立性矛盾。 z0
例4.6在复平面解析、在实数轴上等于sinx的函数只能是sinz. 解:设f(z)在复平面解析,并且在实轴上等于sinx,那么在复平面解析f(z)-sinz在实轴等于零,由解析函数的唯一性定理,在复平面解析上f(z)-sinz=0,即f(z)=sinz。
例4.7是否存在着在原点解析的函数f(z),满足下列条件:
111(1)、 f(),0,f(),;2n,12n2n
1n(2)、 f(),.nn,1
其中n=1,2,3,…。
11解:(1)、由于都以0为聚点,由解析函数的{}及{(}n,1,2,3,...)2n,12n
11唯一性定理,f(z)=z是在原点解析并满足f(),的唯一的解析函2n2n
1数;但此函数不满足条件f(),0(n,1,2,3,...)。因此在原点解析并满2n,1
足这些条件的函数不存在;
111f(z),(2)、我们有由解析函数的唯一性定理,是在原f(),.1,zn1,1/n
点解析并满足此条件的唯一的解析函数
fz()定理4.23(最大模原理)设函数在区域D内解析,则在D内任fz()
何点都不能达到最大值,除非在D内恒于常数. fz()
fz()0,,,,M证 如果用M表在D内的最小上界,则有.假定在D
fzM(),内有一点,函数的模在达到它的最大值,即 zzfz()00(1)应用平均值定理于以为中心,并且连同它的周界一起都全含于区z0
zzR,,域D内的一个圆,就得到 0
2,1i, fzfzd,,,()(Re)00,2,0由次推出
2,1i, (4.15) fzfzd,,,()(Re)00,2,0
由于
i,fzM(),,而 fzM(Re),,00
从不等式(4.15)可以推出,对于任何 ,,,(02),,
i, fzM(Re),,0事实上对于某一个值有 ,,,0
i, fzM(Re),,0
i,fz()那么根据的连续性,不等式在某个充分小的领fzM(Re),,0域区间,,,,,,,,,内成立.同时在这个区间外,总是 00
i, fzM(Re),,0在这样的情况下,由(4.15)得
2,1i, MfzfzdM,,,,,()(Re)00,2,0矛盾,因此我们已经证明了:在以点z为中心得每一个充分小的圆周少0
fzM(),kk上,换句话说,在z点的足够小的领域内(及其周界全含0
fzM(),k于D内)有.所以fz()在内为一常数,再由唯一性定理,必
在D内为一常数. fz()
推论4.24设
(1)函数在有界区域D内解析,在闭域上连续 fz()DDD,,,
fzM,()ZD,(2) , ,,
fzM,则除为常数的情景外 fz()()ZD,,,
Mxfz()max(),注1在珂西不等式中的现在也可理解成zaR,,
Mxfz()max(), zaR,,
注2可由第七章的保域定理来做出最大模原理的几何解释 注3最大模原理说明了解析函数在区域边界上的最大模可以限制区域内的最大模,这是解析函数特有的性质