第十章 复变函数本章研究的对象是定义在复数域上的复值函数（简称复变函数）.重点研究一类比较特殊的复变函数——解析函数.主要内容包括解析函数的分析属性（微积分理论及级数表示）、几何性质（保角映射）等.§1 解析函数一、复变函数基本概念与复变函数的导数[单值函数与多值函数] 设Σ是扩充复平面（即包含无穷远点∞的平面）z 上的一个区域（第二十一章§5，二），对于Σ内的每个复数z ，按照一定的规律，有一个或多个复数ω和它对应，就称在Σ上定义了一个复变函数，记作)(z f =ω区域Σ称为函数)(z f =ω的定义域.如果每一个复数z 都只有一个复数ω和它对应（允许不同的复数z 对应于同一个复数ω），就称函数是单值的；如果有的复数z 有多个ω值和它对应，就称函数是多值的.下面如果不加说明，一律都指单值函数.[映射·象·原象] 如果复数z 用复平面z （简称z 平面）上的点表示，复数ω用复平面ω（简称ω平面）上的点表示，那末复变函数)(z f =ω就是z 平面上区域Σ的点和ω平面上的某个点集（第二十一章§3，一）F 的点之间的对应关系.这样一来，复变函数)(z f =ω可以看成几何上的“映射”（变换）（第二十一章§1，二），点ω（)(z f =ω）称为点z 的象（象点），点z 称为点ω的原象（象源）.一般地，当点z 在复平面z 上画出一个图形A （或点集）时，相应地，它的象点ω在复平面ω上就画出一个图形（或点集）B.称B 为A 的象，A 为B 的原象.称函数)(z f =ω把A 映上B.[单叶函数与多叶函数·反函数] 如果函数)(z f =ω在点集A 上单值的，并且对于点集A 上的任意两个不同的点z 1和z 2,它们的象ω1=f (z 1)和ω2=f (z 2)也不同，那末称函数)(z f =ω在点集A 上是单叶的，如果点集A 上至少有两个不同的点z 1和z 2使)()(210z f z f ==ω，那末称函数)(z f =ω在点集A 上是多叶的.如果单值函数)(z f =ω又是单叶的，它就表示A 和B 的点之间的一对一对应关系，并且对于B 上的每一点ω，A 上有一个且只有一个点z 和它对应.记作)(ωϕ=z它称为函数)(z f =ω的反函数（单值的）.如果函数)(z f =ω在点集A 上不是单叶的，那末它的反函数就是多值的了.[双方单值连续的映射定理] 设ω=f (z )是z 平面区域Σ内的单值连续函数，如果它又是单叶的，那末Σ的象Δ仍是一个区域，而且反函数)(ωϕ=z 在Δ内连续.这种双方单值连续的映射称为拓扑映射或同胚映射.[复变函数的极限] 设z 0是函数f (z )的定义域内的一点，如果对任意小的正数ε，都存在一个正数)(εδδ=，使得对于任意满足条件∣δ<-||0z z 的复数z （复数z 0本身可能除外），都有ε<-|)(|A z f那末复数A （有限或无限）称为函数ω=f (z )当z 趋于z 0时的极限，记作)(lim 0z f A z z →= [复变函数的连续性与一致连续性] 设z 0是函数f (z )的定义域内的一点，如果函数ω=f (z )当z →z 0时极限存在有限，而且同时满足)()(lim 00z f z f z z =→ 那末称函数ω=f (z )在点z 0是连续的，如果函数ω=f (z )在区域Σ上每一点都连续,称函数ω=f (z )在区域Σ上是连续的.如果对于任意小的正数ε，都存在一个正数δ=δ(ε)，使得区域Σ内满足条件δ<-||21z z 的任意两点z 1和z 2，都有∣ε<-|)()(|21z f z f那末称函数f (z )在Σ上一致连续.函数在区域Σ上一致连续，一定在Σ上连续，反过来，函数在区域Σ上连续，不一定保证函数在Σ上一致连续.但是，如果Σ是有界闭区域（记作∑）,那末∑上的连续性和一致连续性就等价了.同时，有界闭区域∑上连续函数ω=f (z )还有类似于微分学中闭区间上连续函数的另外两个性质:1o 如果函数ω=f (z )在有界闭区域∑上连续，那末存在一个正数M ，使得对于∑上所有的z ，都有∣ M z f ≤|)(|2o 如果函数ω=f (z )在有界闭区域∑上连续，那末函数f (z )的模|)(|z f 在∑上可以达到最大值和最小值，也就是说，在∑上有两点z 1和z 2，使得对于∑上所有的z ，都有∣ |)(||)(|,|)(||)(|22z f z f z f z f ≥≤∣ [复变函数的导数] 设函数ω=f (z )定义在区域Σ上，z 0是Σ内的一点，如果极限0)()(lim 0z z z f z f z z --→ 存在,而且有限，那末这个极限值就称为函数f (z )在点z 0的导数，记作00)()(lim d d )(000z z z f z f z z f z z z z z z --=='='→==ωω 并且称函数)(z f 在点0z 可微（单演、全纯）.复变函数可微的定义与实变函数可微的定义在形式上是一样的，因此复变函数的求导数的一些法则、公式与实变函数的求导数的一些法则、公式在形式上也是一样的.但是另一方面，由于在复变函数的可微性定义中，动点z 趋于z 0点是在平面上，方式是任意的，它可沿任一曲线趋于z 0，这表明复变函数可微的条件比实变函数可微的条件要求高，从而带来复变函数论不少独特的性质和应用.过映射ω=f (z )（可微）的象是ω平面上通过)(00z f =ω的曲线Γ，如果0)(0≠'z f 那末 1o ∣|)(|0z f '称为映射ω=f (z )在z 0的伸缩系数，它等于曲线Γ上通过ω0的无穷小弦长与曲线C 上通过z 0的无穷小弦长之比的极限，它与曲线C 和曲线Γ的选择无关；2o )(arg 0z f '称为映射ω=f (z )在z 0的旋转角，如果把z 平面与ω平面迭放在一起，使点z 0与点ω0重合，x 轴与u 轴平行且正方向相同，那末)(arg 0z f '就等于曲线C 在z 0的切线到曲线Γ在对应点ω0的切线所转过的角度，它与曲线C 和曲线Γ的选择无关.二、 解析函数一般地，复数函数ω=f (z )可以写成),(),()(y x iv y x u z f +==ω这样，对于一般的复变函数的讨论就等价于对两个双变量的实变函数的讨论.但是，在生产实践和科学实验中，常常遇到的是一类比较特殊的复变函数——解析函数.对于这一类函数，去研究复变函数f (z )本身比拆开来研究两个实变函数u (x ,y )和v (x ,y )更方便，得到的结论更简捷完整，便于应用.1、解析函数的定义与柯西-黎曼方程[解析函数与柯西-黎曼方程] 如果复变函数f (z )在点z=z 0的一个充分小领域*内点点可微，就称这个函数在点z 0是解析的；如果函数f (z )在一个区域Σ内点点可微就称它在区域Σ内是解析的（正则，全纯）.如果定义在区域Σ内的函数),(),()(y x iv y x u z f +=在Σ内解析，那末u (x,y )和v (x ,y )在Σ内满足下面的柯西-黎曼方程xv y u y v x u ∂∂-=∂∂∂∂=∂∂, 反过来，如果u (x,y )，v (x ,y )在Σ内满足上面的条件，并且可微，那末f (z )在Σ内解析.这时，解析函数f (z )的导数可以表示成下面四种形式之一：xv i y v y u i x u yu i y v x v i x u z z f z f ∂∂+∂∂=∂∂-∂∂=∂∂-∂∂=∂∂+∂∂=='d )(d )([调和函数] 在区域Σ内存在二阶连续偏导数的实变函数u (x ,y ),如果在Σ内满足拉普拉斯方程02222=∂∂+∂∂=∆yu x u u 那末称函数u =u (x ,y )是Σ内的调和函数.区域Σ内的解析函数f (z )的实部和虚部都是调和函数.[形式导数] 将* 这里z 0的邻域定义为以z 0为中心，以ρ（ρ>0）为半径的圆|z- z 0|<ρ的内部.iy x z iy x z -=+=, 或 )(21),(21z z i y z z x -=+=看作变量替换而引进形式导数⎪⎪⎭⎫ ⎝⎛∂∂-∂∂=∂∂y i x z 21 ⎪⎪⎭⎫ ⎝⎛∂∂+∂∂=∂∂y i xz 21 如果f (x ,y )是实变数x ,y 的有连续偏导数的函数，那末 ⎪⎪⎭⎫ ⎝⎛∂∂+∂∂=∂∂⎪⎪⎭⎫ ⎝⎛∂∂-∂∂=∂∂y f i xf z f y f i x f z f 21,21 这样一来，柯西-黎曼方程可写成0=∂∂zf 拉普拉斯方程可写成02=∂∂∂=∆zz u u 极坐标),(ϕr 中的柯西-黎曼方程可写成ϕϕ∂∂=∂∂∂∂-=∂∂v r u r r v r u , 2、解析开拓[直接解析开拓]如果21,D D 是两个有公共边界Г的单连通区域*，)(1z f 和)(2z f 分别在1D 和2D 内单值解析，在+1D Г和+2D Г上连续，并且在Г上)()(21z f z f =，那末称)(1z f 是)(2z f 经过Г向2D 内的直接解析开拓（或延拓）（图10.1）。

[解析开拓与完全解析函数]设n D D D ,,,21 为单连通区域，k D 与1+k D 有公共边界k Γ,11-≤≤n k ,对于任何k )1(n k ≤≤,)(z f k 在k D 内单值解析. )(z f k 与)(1z f k +分别在k k D Γ+和k k D Γ++1上连续)11(-≤≤n k ,并且在k Γ)11(-≤≤n k 上)()(1z f z f k k +=，那末称)(z f n 是f 1(z )经过一串区域向n D 内的解析开拓.考虑f 1(z )经过所有可能的区域串的各种解析开拓，把所有这些解析开拓的值当作一个函数F (z )的值来看。

这时称F (z )为完全解析函数，而组成它的那些单值解析函数，即f 1(z )的各种解析开拓，称为F (z )的分支.3、初等解析函数[有理函数])0,0()()()(1010≠≠++++++==n m nn m m b a z b z b b z a z a a z Q z P z R 式中P (z )和Q (z )没有公因式，R (z )在Q (z )的零点上取值∞，那末R (z )在扩充平面上连续.* 单连通（或单联）区域就是区域中的任意简单闭曲线（见§3,二的脚注）可以在区域里连续地收缩成一点，或者直观地看成没有洞的区域。

有多个洞的区域称为多连通区域.当n >m , R (z )在∞处有一个n -m 阶零点；当n <m , ∞是R (z )的m -n 阶极点（§4，一，3）；当n =m ,有∞≠≠=∞或0)(nm b a R 在扩充平面上，有理函数的零点的个数（包括∞是零点在内）等于极点的个数，它等于m 与n 中较大的一数，有理函数的阶数就用它来定义.因此，一个k 阶的有理函数R (z)有k 个零点和k 个极点，同时每个方程R (z)=a （a 是任一常数）有k 个根（几重根就算几个根）. 1==m n 时的有理函数就是常用的分式线性函数（§2，二与三）.[幂函数及其反函数]1o 幂函数,1(>=ωn z n 整数)在全平面上单值解析,它把扩充z 平面映射到扩充ω平面,而且0=z ,∞分别映射到0=ω,∞,这个函数在全平面上是多叶函数.设θϕγωρi i e e z ==,则ϕθργn n ==,函数n z =ω把从原点出发的半直线映射成从原点出发的半直线,把从原点为圆心的圆周映射成以原点为圆心的圆周,把z 平面上的角状区域nk a n k a πϕπ)1(22++<<= )20,1,,1,0(πα≤<-=n k 映射成ω平面上除去半直线αθn =的裂缝区域,在上面的角状区域内,函数nz =ω是单叶解析的,这样的区域称为函数n z =ω的单叶性区域，z 平面只能分成n 个单叶性区域.2o 函数1(>ω=n z n ,整数)在全平面(ω平面)上是多值函数,因为)Arg sin Arg (cos ni n z n n ω+ωω=ω= 所以每个不等于0和∞的ω，在z 平面上有n 个点z 和它对应，并且这n 个点分布在圆n z ||||ω=的一个内接正n 边形的顶点上.函数n ω有n 个分支)1,,1,0(2-==π+θn k er z n k i n k )0arg ,(=ω=ωr 或者说n ω是n 值函数.[指数函数与对数函数]1o 指数函数 )sin (cos y i y e e x z +==ω是全平面上的单值解析函数,在全平面上没有零点，是周期函数,周期是i π2,即),2,1,0(2 ±±==+k e e i k z z π.当z 沿实轴趋于∞+时,∞→z e ,当z 沿实轴趋于∞-时,0→z e .所以,当z e z ,∞→没有极限, z e 不能定义于扩充平面.设θ=ω=ωarg ,r ,则y e r x =θ=,函数z e =ω把直线0y y =映射成射线0y =θ;把线段0x x =,π<≤20y 映射成圆周0x e r =;把带状区域π<<20y 映射成ω平面上除去正实轴的裂缝区域;把带状区域π<<20y 映射成上半平面;把一切带状区域),2,1,0()1(22 =+<<k k y k ππ 映射成ω平面上除去正实轴的裂缝区域.所以,指数函数在全平面上是多叶函数. 2o 对数函数ω=Ln z的表达式是ω+ω=ωArg Ln Ln i由于ωArg 是无限多值的,所以对数函数是无限多值函数,并且对应同一ω值的任意两个函数值z 相差i π2的整数倍.设对数函数的主值是ωωωarg ||ln ln i +=那末),2,1,0(2ln Ln ±±=π+ω=ωk k i带状区域),2,1,0()1(22 ±±=+<<k k y k ππ 和),2,1,0()12()12( ±±=+<<-k k y k ππ 都是函数z e =ω的单叶性区域,它们有无穷多个,所以函数ωLn 有无穷多个分支,或者说ωLn 是无穷多值函数.[三角函数与反三角函数]1o 正弦函数和余弦函数分别由下式定义:2cos 2sin iziz iz iz e e z i e e z --+=-= z sin 和z cos 是全平面上的单值解析函数,并且有周期π2,所以是多叶函数.2o 正切函数和余切函数分别由下式定义:iz iz iziz ee e e i z z z --+-==1cos sin tg iziz iziz e e e e i z z z ---+==sin cos ctg z tg 在全平面上除去 ,2,1,0(2±±=+=k k z ππ的点外是解析的;z ctg 在全平面上除去),2,1,0( ±±==k k z π的点外是解析的.它们都是以π为周期的周期函数. 平面三角学的一切三角公式对于复的三角函数都适用.必须注意,在复平面上1sin ≤z 与1cos ≤z 不再成立，例如,122cos 1>>+=-e e e i . 3o 反余弦函数通过解方程ω=+=-)(21cos iz iz e e z)1Ln(cos Arc 2-ω+ω-=ω=i z类似地,有)-1Ln(Arcsin 2ωωω+-==i i zω-ω+=ω=i i i z 11Ln 21tg Arc ω+ω-=ω=i i i z 11Ln 21Arcctg 反三角函数是无穷多值函数.它们的主值只要在各式右端把Ln 换成ln (对数的主值)即可.[双曲函数与反双曲函数]1o 双曲函数的定义是:2ch ,2sh zz z z e e z e e z --+=-= zz zz z z z z e e e e z z z e e e e z z z -----+==+-==sh ch cth ,ch sh th 2o 双曲函数与三角函数的关系:iz z iz i z cos ch ,sin sh =-= iz i z iz i z ctg cth ,tg th =-=3o 反双曲函数的定义是: )1Ln(sh Ar 2++==ωωωz)1Ln(Arch 2-ω+ω=ω=zωωω-+==11Ln 21th Ar z 11Ln 21cth Ar -+==ωωωz 反双曲函数是无穷多值函数，它们的主值只要在上面各式中将Ln 换成ln 即可.4、 黎曼面·支点与支线[n 值函数)1(>=n z n ω的黎曼面] n z =ω有n 个分支：)arg ,1,,1,0(2sin 2cos||z n k n k i n k z n k =-=⎪⎭⎫⎝⎛+++=θπθπθωn z 的各个分支把除去正实轴的z 平面相应地单值映射到下面各个扇形区域：)1,,1,0()1(2arg 2-=+<<n k nk n k πωπ 所以，除去正实轴的z 平面上的任一点在ω平面上的象点都有n 个，这时，假设原来z 平面上同一位置的z 点，可以区别成n 个不同的点，它们分别落在n 叶沿正实轴剪开的z 平面上：πθππθππθn n T T T n 2)1(2:42:20:110<<-<<<<-至于正实轴上的点，只要把T 0的下岸（πθ2=）与T 1的上岸相粘接，再把T 1的下岸与T 2的上岸相粘接，……，最后把1-n T 的下岸（πθn 2=）与T 0的上岸（0=θ）相粘接，于是正实轴上的任一点也可以区分成n 个点了.这样相互粘接的n 叶沿正实轴剪开的z 平面，称它是n z =ω的黎曼面，图10.2是n =4的情况。