第6章保形映照 本章从几何方面讨论解析函数的性质复变函数w=f()将z平面上的点集D映照或 变换为w平面上的点集G=f(D),因此几何上复变函数也称为复映照,解析函数称为解析映 照.通过解析映照常常可以把比较复杂的区域变换为比较简单的区域,从而使问题得到简 化 本章从解析函数的导数的几何意义引出保形映照的概念,着重讨论常用的分式线性函 数所构成的保形映照的特性 6.1导数的几何意义及保形映照的概念 6.1.1曲线的切向量 设C为平面上的一条简单光滑曲线,参数方程为:x=x(),y=y(1)(a≤t≤B).曲线C 上对应于参数t的点的切线向量为:{x(t),y()} 在复平面上,曲线C可表示为 从而二()=x(1)+()表示曲线C上x()点的切线向量,angx(1)表示C在x()处的切线 向量的幅角 6.1.2导数的几何意义 设w=f(=)是区域D内的解析函数,a∈D,10=f(-0)且f(=0)≠0.考虑D内过=0的 一条简单光滑曲线C (r)=x(t)+iy(t)(a≤t≤B,=(0)==0) 显然,函数w=f(z)把简单光滑曲线C映照成过w=f(z0)的一条简单曲线r w=f(z(t)(a≤t≤B) 因为()=f(()=(),可见r也是一条光滑曲线它在点v的切线与实轴的夹角是 arg(f(=0)2(0)=argf(=0)+arg(t0) 于是有 argf(=0)=arg(f(-0)-()-arg(0) 故argf(=0)表示:曲线C在点的切线在w=f()的映照下转动的角度即曲线C在 f()的映照下在0处的转动角这一数值与曲线C的形状及方向无关 设在D内过=还有一条简单光滑曲线C1:z=z1(1).函数w=f()把它映照成为一条简 单光滑曲线I1:w=f(=1(1),同样的,C1及在=0及1处切线与实轴的夹角分别是 arg=()5 argL((Lo))=(o)]=argf (=o)+arg=(o) argtf(=1()(4)-agf(=()x(=agx(n)-agz(4), 等式的左端为r与在处切线的夹角也就是r与T1的夹角;等式的右端为C与C1 在二0处切线的夹角,也就是曲线C与C1的夹角因此上式说明:用解析函数w=f(=)
第 6 章 保形映照 本章从几何方面讨论解析函数的性质.复变函数 w fz = ( )将 平面上的点集 映照或 变换为 平面上的点集 ,因此几何上复变函数也称为复映照，解析函数称为解析映 照.通过解析映照常常可以把比较复杂的区域变换为比较简单的区域，从而使问题得到简 化.. z D w G fD = ( ) 本章从解析函数的导数的几何意义引出保形映照的概念，着重讨论常用的分式线性函 数所构成的保形映照的特性. 6.1 导数的几何意义及保形映照的概念 6.1.1 曲线的切向量 设C 为平面上的一条简单光滑曲线，参数方程为：x = x t( ) ，y yt = ( ) (α ≤ ≤t β ).曲线C 上对应于参数t 的点的切线向量为： ' ' { ( ), ( )} x t yt . 在复平面上，曲线 可表示为 C z t x t iy t () () () = + . 从而 '' ' z () () () t x t iy t = + 表示曲线C 上 点的切线向量， z t( ) ' arg ( ) z t 表示 C 在 处的切线 向量的幅角. z t( ) 6.1.2 导数的几何意义 设 是区域 内的解析函数， w fz = ( ) D 0 z D ∈ ， 0 0 w fz = ( ) 且 ' 0 f z() 0 ≠ .考虑 内过 的 一条简单光滑曲线 ： D 0 z C z t x t iy t () () () = + (α ≤ t ≤ β ， 0 zt z ( ) = 0 ). 显然，函数w=f(z)把简单光滑曲线C映照成过w0=f(z0)的一条简单曲线Γ： w=f(z(t)) (α≤t≤β). 因为 w t f zt z t ''' ( ) ( ( )) ( ) = ，可见Γ 也是一条光滑曲线.它在点 w0 的切线与实轴的夹角是 '' ' ' 0 0 0 0 arg( ( ) ( )) arg ( ) arg ( ) f z zt f z zt = + ， 于是有 ' '' 0 00 arg ( ) arg( ( ) ( )) arg ( ) ' 0 f z f z zt z = − t . 故 ' 0 arg ( ) f z 表示：曲线 在 点的切线在 C 0 z w fz = ( )的映照下转动的角度即曲线C 在 w fz = ( )的映照下在 z0 处的转动角.这一数值与曲线C 的形状及方向无关. 设在 内过 还有一条简单光滑曲线 ： D 0 z C1 1 z zt = ( ) .函数 w fz = ( )把它映照成为一条简 单光滑曲线 ：Γ1 1 w fzt = ( ( )) ，同样的， 及C1 Γ1在 及 处切线与实轴的夹角分别是 0 z w0 ' 1 0 arg ( ) z t 与 '' ' ' 10 10 0 10 arg[ ( ( )) ( )] arg ( ) arg ( ) f zt zt f z zt = + . 于是 ' ' '' ' ' 10 10 0 0 10 0 arg[ ( ( )) ( )] arg[ ( ( )) ( )] arg ( ) arg ( ) f z t z t f zt z t z t z t − =− ， 等式的左端为Γ 与 在 处切线的夹角也就是 Γ1 w0 Γ 与Γ1的夹角；等式的右端为C 与 在 处切线的夹角，也就是曲线 与 的夹角.因此上式说明：用解析函数 C1 0 z C C1 w f = (z)
(f()≠0)作映照时,曲线间的夹角的大小及方向保持不变这一性质称为解析映照的保角 性. 下面再说明解析函数导数的模的几何意义,由导数的定义 ∫(=。)|=lim J(=)-f(=0) 因而f(=0)可以近似表示比值 (=)-f(=0) 在w=f()所作映照下,|z-=01及 f()-f(=0)分别表示二平面上向量z-及w平面向量f(x)-f(=0)的长度.当|=-=0|较小 时,|f(x)-f(=0)近似表示经过映照后,1f(x)-f(=)关于|-=01的伸缩倍数,而且这 倍数与向量x-=0的方向无关.因此我们把|∫(=0)|称为映照在点=0的伸缩率 6.1.3保形映照的概念 现在用几何直观来说明解析映照的意义 设w=f()是在D内解析的函数,=∈D,m0=f(=),∫(=0)≠0,则w=f(z)把=0的 小邻域内任一小三角形映照为含w的一个区域内的曲边三角形.这两个三角形对应角相 等,对应边近似地成比例因此这两个三角形近似地是相似形.另外,w=f()还把半径充分 小的圆|二-=}r近似地映照成圆|-mHf(二a)|r 由以上分析,称解析函数w=f()(∫(xa)≠0)所确定的映照为保形映照,也称为共形 映照或保角映射.这种映照的特点是把z平面上的区域变换为w平面上的区域,在实施变换 的每一点上具有保角性 6.2分式线性函数及其映照性质 6.2.1分式线性函数 线性函数是复变函数论及其应用中经常用到的工具,在保形映照的一般理论以及某些 简单区域的保形映照中都要应用到它 定义6.1形如 (6.1) 的函数称为分式线性函数其中ad-bc≠0,a,b,c及d是复常数 由于ad-bc≠0,所以=如-bc≠0,从而函数(6.1)不恒等于常数 dz(c+d 函数(6.1)的反函数为 (6.2) 因为(-d)(-a)-bc=ad-bc≠0,所以函数(6.2)亦为分式线性函数 显然,当c=0时,函数(6.1)为z平面的解析函数,函数(6.2)为w平面的解析函数且 两个函数的导数均恒不为零当c≠0时,函数(6.1)在=平面上除去d外处处解析且导数
( )作映照时，曲线间的夹角的大小及方向保持不变.这一性质称为解析映照的保角 性. ' f z() 0 ≠ 下面再说明解析函数导数的模的几何意义，由导数的定义： ' ( ) ( ) 0 | () f z | = 0 0 0 mz z f li z fz → z z − − | , ( ) ( ) 0 0 zz zfzf − − 因而 ' 0 | () f z 可以近似表示比值 .在 w fz = ( )所作映照下， 及0 | | z z − 0 | ( ) ( )| f z fz − 分别表示 平面上向量 z 0 z z − 及 平面向量 w 0 f () ( ) z fz − 的长度.当 较小 时， 0 | z z − | | ' ' 0 | () ( ) f z fz − 近似表示经过映照后， 0 | ( ) ( )| f z fz − 关于 0 | z z − | 的伸缩倍数，而且这一 倍数与向量 的方向无关.因此我们把 | 0 z z − ' 0 | () f z 称为映照在点 z0 的伸缩率. 6.1.3 保形映照的概念 现在用几何直观来说明解析映照的意义. 设 是在 内解析的函数， w fz = ( ) D 0 z D ∈ ， 0 0 w fz = ( ) ， ' 0 f z() 0 ≠ ，则 把 的 一小邻域内任一小三角形映照为含 的一个区域内的曲边三角形.这两个三角形对应角相 等，对应边近似地成比例.因此这两个三角形近似地是相似形.另外， w fz = ( ) 0 z w0 w fz = ( )还把半径充分 小的圆 近似地映照成圆 | | zz r − = 0 . ' 0 0 | || ( ) ww fz r − = | 由以上分析，称解析函数 w fz = ( ) ( ' 0 f z() 0 ≠ )所确定的映照为保形映照，也称为共形 映照或保角映射.这种映照的特点是把 平面上的区域变换为 平面上的区域，在实施变换 的每一点上具有保角性. z w 6.2 分式线性函数及其映照性质 6.2.1 分式线性函数 线性函数是复变函数论及其应用中经常用到的工具，在保形映照的一般理论以及某些 简单区域的保形映照中都要应用到它. 定义 6.1 形如 az b w cz d + = + (6.1) 的函数称为分式线性函数.其中 ad bc − ≠ 0 ， 及 abc , , d 是复常数. 由于 ，所以 ad bc − ≠ 0 ( )2 0 d ad bc dz cz d ω − = + ≠ ，从而函数(6.1)不恒等于常数. 函数(6.1)的反函数为 d b z c a ω ω − + = − ， (6.2) 因为( )( ) − −− = − ≠ d a bc ad bc 0 ，所以函数(6.2)亦为分式线性函数. 显然，当 时，函数(6.1)为 平面的解析函数，函数(6.2)为 平面的解析函数且 两个函数的导数均恒不为零.当 时，函数(6.1)在 平面上除去 c = 0 z w c ≠ 0 z d c − 外处处解析且导数
不为零;函数(6.2)在w平面上除去一外处处解析且导数不为零.从而由分式线性函数(6.1) 确定的映照在去掉z=--的区域内为保形映照.对函数(6.2)也有类似结论 在扩充的复平面上,当c=0时,我们视函数(6.1)及函数(6.2)分别把z=∞与w=∞映 照成w=∞与z 当c≠0时,我们视函数(6.1)把z=-—映照成w=∞,把z=∞映照成 P=.而函数(6.2)分别把=但与w=映照成z=m与:=-2.于是函数(.1)与函数(6.2) 在扩充z平面与扩充v平面之间确立了一一对应的映照 若f(=0)=∞,则t f()=0,规定若t=1把=的一个邻域保形映照为t=0的 个邻域,则称w=f()把z=z的一个邻域保形映照成w=∞的一个邻域对函数 Wp=a+b 取 c,则由1=c+d 在=点的解析性及 ≠0可知 c+d Oa十 的充分小邻域保形映照为t=-=0的一个邻域,于是函数(6.1)在扩充 平面与扩充γ平面之间建立了保形映照 般地,分式线性函数(6.1)可视为由下列四种简单函数复合而得: 1°=z+a,其中a为一复数 2°w=e",其中θ为一实数 3°w=r,其中r为一正实数; 实际上,当c=0时,函数(6.1)可表示为 当c≠0时,函数(6.1)可表示为 a+b a bc-ad c+d c 把z平面和w平面叠合在一起,我们讨论上述四种简单函数的映照性质 1°w=z+a 令二=x+,w=+n,a=a+ib,则有u=x+a,v=y+b.于是w=z+a确定了一个平 因为e"=cos+isin,z=|-l( casar=+ IsInarg=)所以 w"=e"z==|( cos(arg=+O)+isin(argz+O),w的模与z的模相同,而v的辐角是z的辐角加 θ,故w=e-确定了一个旋转
不为零；函数(6.2)在 w 平面上除去 c a 外处处解析且导数不为零.从而由分式线性函数(6.1) 确定的映照在去掉 d z c = − 的区域内为保形映照.对函数(6.2)也有类似结论. 在扩充的复平面上，当c = 0 时，我们视函数(6.1)及函数(6.2)分别把 z = ∞ 与 w = ∞ 映 照成 与 ；当 w = ∞ z = ∞ c ≠ 0时，我们视函数(6.1)把 d z c = − 映照成 w = ∞ ，把 映照成 z = ∞ a w c = .而函数(6.2)分别把 a w c = 与 w = ∞ 映照成 z = ∞ 与 d z c = − .于是函数(6.1)与函数(6.2) 在扩充 平面与扩充 z w 平面之间确立了一一对应的映照. 若 ，则 0 f z( ) = ∞ ( ) 0 0 1 t 0 f z = = .规定若 ( ) 1 t f z = 把 0 z z = 的一个邻域保形映照为 的 一个邻域，则称 把 的一个邻域保形映照成 t = 0 w fz = ( ) 0 z z = w = ∞ 的一个邻域.对函数 az b w cz d + = + ，取 0 d z c = − ，则由 1 cz d ω az b + = + 在 点的解析性及 0 z 0 1 0 ω z z = = ， 0 1 0 z z ω = ′ ⎛ ⎞ ⎜ ⎟ ≠ ⎝ ⎠ 可知 1 cz d ω az b + = + 把 0 d z c = − 的充分小邻域保形映照为 1 t ω = =0 的一个邻域，于是函数(6.1)在扩充 平面与扩充 平面之间建立了保形映照. z w 一般地，分式线性函数(6.1)可视为由下列四种简单函数复合而得： 1° w z = +α ， 其中 a 为一复数； 2° i w ez θ = ，其中θ 为一实数； 3° w rz = ， 其中 r 为一正实数； 4° 1 w z = . 实际上，当c = 0 时，函数(6.1)可表示为 az b a b w z dd a + ⎛ ⎞ = =+ ⎜ ⎟ ⎝ ⎠ . 当c ≠ 0时，函数(6.1)可表示为 2 az b a bc ad w cz d c d c z c + − = =+ + ⎛ ⎞ ⎜ ⎟ + ⎝ ⎠ . 把 平面和 z w 平面叠合在一起，我们讨论上述四种简单函数的映照性质. 1° w z = +α . 令 z = +x iy , w u iv = + ,α = + a ib ，则有u xa = + , v yb = + .于是 w z = +α 确定了一个平 移. 2° i w ez θ = . 因为 cos sin i e i θ = + θ θ ， z z zi z = + | | (cosarg sin arg ) 所以 | | (cos(arg ) sin(arg )) i w ez z z i z θ = = ++ + θ θ ， 的模与 的模相同，而 的辐角是 的辐角加 w z w z θ ，故 i w ez θ = 确定了一个旋转. 3° w rz =
显然w与z的辐角相同,而模为z的模的r倍,故w=r确定了一个以原点为心的相似 映照 例如:平面上以0,22为顶点的长方形,经过保形映照 v=2(1+i)2+(2-1), 变换成w平面上以2-i,3,i,1+2i为顶点的长方形,其变换过程如图6.2 在讨论=-的映照性质之前,我们先引进一个定义,设已给圆C:|z-=0=R (0<R<+∞),若有限点及z2在过=0的同一射线上,并且|1--0=2-=0=R2,那么我们说1 及z2是关于圆C的对称点,我们还称=与∞对称 映照w=-可视为下列两个映照复合而成 显然,w=三确定关于实轴的对称映照,而=将映照为三,其辐角与:相同 arg==-arg==arg= 模1=H上=1,即有1=1==1,从而,=关于单位圆|=1对称故=由关于单位圆对 称的映照x1=和关于实轴的对称映照w=叠合而得 6.2.2分式线性函数的映照性质 下面讨论一般分式线性函数的映照性质.约定把扩充复平面上任一直线看成半径为无 穷大的圆 定理6.1在扩充复平面上,分式线性函数把圆映照成为圆.(分式线性函数的保圆性) 证明上一段已知分式线性函数所确定的映照,是由平移、旋转、相似映照及函数v=1 所确定的映照组成的,前三种映照显然把圆映照成为圆,因而只须证明w=-也把圆映照成 为圆 圆的一般方程为 a(x2+y2)+bx+cy+d=0(a=0时蜕化为直线).(6.3) 若令:=x+y,则有x2+y2=三,x=,y=三,代入式(6.3)中即得圆的复数表示 Bx+B+d=0,(6.4)
显然 与 的辐角相同，而模为 的模的 倍，故 w z z r w rz = 确定了一个以原点为心的相似 映照. 例如： 平面上以 ， z 0 2 1 ， ，i 1 2 + i 为顶点的长方形，经过保形映照 w iz = + +− 2(1 ) (2 )i ， 变换成 w 平面上以 ， 2 − i 3 , ,i 1+ 2i 为顶点的长方形，其变换过程如图 6.2. 4° 1 w z = . 在讨论 1 w z = 的映照性质之前，我们先引进一个定义，设已给圆 ：C 0 | | zz R − = ( 0 < < +∞ R ),若有限点 z1及 在过 的同一射线上，并且 2 z 0 z 2 1 02 0 | || | z − zz z R − = ，那么我们说 及 是关于圆 的对称点，我们还称 与∞对称. 1z 2 z C 0 z 映照 1 w z = 可视为下列两个映照复合而成： 1 1 z z = ， w z = 1 . 显然， w z = 1 确定关于实轴的对称映照，而 1 1 z z = 将 映照为 ，其辐角与 z z1 z 相同： 1 arg arg arg z =− =z z ， 模 1 1 1 | || | | | z z z = = ，即有 ，从而 | || | 1 z z 1 = z ， 关于单位圆 1z | |1 z = 对称.故 1 w z = 由关于单位圆对 称的映照 1 1 z z = 和关于实轴的对称映照 w z = 1 叠合而得. 6.2.2 分式线性函数的映照性质 下面讨论一般分式线性函数的映照性质.约定把扩充复平面上任一直线看成半径为无 穷大的圆. 定理 6.1 在扩充复平面上，分式线性函数把圆映照成为圆.(分式线性函数的保圆性) 证明 上一段已知分式线性函数所确定的映照，是由平移、旋转、相似映照及函数 1 w z = 所确定的映照组成的，前三种映照显然把圆映照成为圆，因而只须证明 1 w z = 也把圆映照成 为圆. 圆的一般方程为 2 2 a x y bx cy d ( ) + + + += 0 ( a = 0 时蜕化为直线). (6.3) 若令 z = +x iy ，则有 2 2 x + = y zz ， 2 z z x + = ， 2 z z y i − = ，代入式(6.3)中即得圆的复数表示： azz z z d + + += β β 0 ， (6.4)
其中abcd是实常数,B=1(b+1)是复常数将=1代入式(6.4得 doo+ Bo+Bo+a=0 dx2+y2)+bm-c+a=0(m=+) 表示w平面上的圆(d=0时,表示一条直线),故w=-将圆映照成圆. 设分式线性函数(6.1)把扩充z平面上的圆C映照成扩充w平面上的圆C,C与C分 别把扩充z平面及扩充w平面分成不相交的两部分,从而函数(6.1)把z平面上以C为边界 的两部分,分别映照为w平面上以C为边界的两部分.那么,C的“内部”究竟映照成C的 内部”还是映照成C的“外部”呢?这可由不在圆上的任一点的映照来确定.如若圆C及C 的半径都是有限的,而函数(6.1)在C的内部有极点,那么它把圆C的内部映照成为圆C的 外部(因为它把极点映照为w平面上的无穷远点):反之若函数(6.1)的极点(z=--)在C的 外部,那么它把圆C的内部映照成圆C的内部 定理6.1说明分式线性函数把扩充z平面上的圆映照成为扩充w平面上的圆,那么在 扩充z平面及扩充w平面上分别取定一圆C及C,是否可以找到一个分式线性函数,它把 映照成C? 定理62对于扩充二平面上任意三个不同的点,x23以及扩充v平面上任意三个不 同的点,2,m3,在唯一的分式线性函数,把z1,z2,3分别映照成n,m2,n3 证分两种情形 给定各点都是有限点 设所求分式线性函数为 b 则由 =+b (k=1,2,3),(6.5) 算出w-1,w-w2,n-1,w3-2消去a,b,c,d即得 )3-01 (6.6) 由式(6.6)即可解出所求的分式线性函数,又求此函数时,只要求它满足式(6.5),所 以它是把x1,23分别映照成w1,2,W3的唯一的分式线性函数 2°给定各点中含无穷远点 不妨设2=∞,其它点为有限点,将w3=∞换成任一有限点3,我们仍可得出式(6.6) 再令n3→∞,即得
其中 是实常数， abcd ,,, 1 ( 2 β = +b ic)是复常数. 将 1 z ω = 代入式(6.4)得 d a ωω βω βω + + += 0 , 即 2 2 d u v bu cv a ( ) + + − += 0 ( w u iv = + ) 表示 平面上的圆( 时,表示一条直线)，故 w d = 0 1 w z = 将圆映照成圆. 设分式线性函数(6.1)把扩充 平面上的圆 映照成扩充 平面上的圆 ， 与 分 别把扩充 平面及扩充 平面分成不相交的两部分，从而函数(6.1)把 平面上以 为边界 的两部分，分别映照为 平面上以 为边界的两部分.那么，C 的“内部”究竟映照成 的 “内部”还是映照成 的“外部”呢?这可由不在圆上的任一点的映照来确定.如若圆 及 的半径都是有限的，而函数(6.1)在 的内部有极点，那么它把圆 的内部映照成为圆 的 外部(因为它把极点映照为 平面上的无穷远点)；反之若函数(6.1)的极点( z C w ' C C ' C z w z C w ' C ' C ' C C ' C C C ' C w d z c = − )在 的 外部，那么它把圆 的内部映照成圆 的内部. C C ' C 定理 6.1 说明分式线性函数把扩充 平面上的圆映照成为扩充 平面上的圆，那么在 扩充 平面及扩充 平面上分别取定一圆C 及 ，是否可以找到一个分式线性函数，它把C 映照成 ? z w z w ' C ' C 定理 6.2 对于扩充 平面上任意三个不同的点 以及扩充 平面上任意三个不 同的点 ,在唯一的分式线性函数，把 分别映照成 . z 123 zz z , , w 123 www , , 123 zz z , , 123 www , , 证 分两种情形 1° 给定各点都是有限点 设所求分式线性函数为 az b w cz d + = + ， 则由 k k k az b w cz d + = + (k=1，2，3)， (6.5) 算出 w ww ww ww w −− − − 1 23 13 ,, , 2 消去 即得 abcd ,,, 2 1 ωω ω ω − − ∶ 23 13 ωω ω ω − − = 2 1 zz zz − − ∶ 23 13 zz zz − − . (6.6) 由式(6.6)即可解出所求的分式线性函数，又求此函数时，只要求它满足式(6.5)，所 以它是把 分别映照成 zz z 123 , , www 123 , , 的唯一的分式线性函数. 2° 给定各点中含无穷远点. 不妨设 ，其它点为有限点，将 w3 = ∞ w3 = ∞ 换成任一有限点 ，我们仍可得出式(6.6)， 再令 ，即得 ' w3 ' w3 → ∞ 2 1 ωω ω ω − − = 2 1 zz zz − − ∶ 23 13 zz zz − −
由此可解出所求函数.同理可证其它点为无穷远点的情形. 在z平面及平面上分别取定圆C及C.在C及C上分别选不同的三点x,z2,=3及 w,w2,n3.由定理6.2,存在唯一的分式线性函数,把x1,2,3分别映照成n,2,m3,从而把圆 C映照成圆C.故有以下定理 定理6.3扩充z平面上任何一个圆,可以用一个分式线性函数映照成扩充w平面上任何 上一段,我们已定义了关于圆对称的点.分式线性函数把圆映照成圆,那么分式线性函 数是否将z平面关于圆C对称的点映照成w平面上关于圆C对称的点(C为圆C的“像”)? 先来看对称点的一个基本性质 引理两点z1及z2是关于圆C的对称点的必要与充分条件是:通过z1及2的任何圆与 圆C正交 证明从略. 由此引理即可回答上面提出的问题. 定理6.4若分式线性函数把z平面上的圆映照成w平面上的圆C,那么它把关于圆C 对称的点及z2映照成关于圆C对称的点w1及n2 证过w及w2的任何圆是由过=及z2的圆映照而得的由引理,过z及z2的任何圆与圆C 正交,从而由分式线性函数的保角性,过及n2的任何圆与圆C正交,从而及2关于C 为对称 例61求把z平面上的点x1=1,z2=1,3=-1分别映照为w平面的点w1=-1,W2=i, W3=1的分式线性函数 解由式(6.6)有 解得 此即所求的分式线性函数 例6.2考虑如果分式线性函数 --1 的映照结果为圆丨w丨=R,那么映照前z平面上的图形是什么呢?显然,该映照把z1及z2映照成 为关于圆=R的对称点0及∞,且把扩充z平面上的曲线 映照成为|w}=R,则由定理6.1及定理6.2知曲线C R表示z平面上的一个圆 1及z2是关于圆C的两个对称点 6.3分式线性函数的应用
由此可解出所求函数.同理可证其它点为无穷远点的情形. 在 平面及 平面上分别取定圆C 及 .在 及 上分别选不同的三点 及 .由定理 6.2，存在唯一的分式线性函数，把 分别映照成 ，从而把圆 映照成圆 .故有以下定理. z w ' C C ' C 123 zz z , , 123 www , , 123 zz z , , 123 www , , C ' C 定理 6.3 扩充 平面上任何一个圆，可以用一个分式线性函数映照成扩充 平面上任何一 个圆. z w 上一段，我们已定义了关于圆对称的点.分式线性函数把圆映照成圆，那么分式线性函 数是否将 平面关于圆 对称的点映照成 平面上关于圆 对称的点( 为圆 的“像”)? 先来看对称点的一个基本性质. z C w ' C ' C C 引理 两点 及 是关于圆 的对称点的必要与充分条件是：通过 及 的任何圆与 圆 正交. 1z 2 z C 1z 2 z C 证明从略. 由此引理即可回答上面提出的问题. 定理 6.4 若分式线性函数把 平面上的圆映照成 平面上的圆 ，那么它把关于圆C 对称的点 及 映照成关于圆 对称的点 及 . z w ' C 1 2 1 2 1 2 1 2 i z z ' C w w 证 过 及 的任何圆是由过 及 的圆映照而得的.由引理，过 及 的任何圆与圆C 正交，从而由分式线性函数的保角性，过 及 的任何圆与圆 正交，从而 及 关于 为对称. w1 w2 1z 2 z 1z 2 z w w ' C w w ' C 例 6.1 求把 z 平面上的点 , 1z =1 2 z = ， 3 z = −1分别映照为 平面的点 ， ， 的分式线性函数. w 1 w = −1 w i 2 = 3 w =1 解 由式(6.6)有 − i + ω ω 1 ∶ − i + 1 11 = iz z − −1 ∶ − − i − − 1 11 ， 解得 1 w z = − . 此即所求的分式线性函数. 例 6.2 考虑如果分式线性函数 1 2 z z w z z − = − 的映照结果为圆｜w｜=R，那么映照前z平面上的图形是什么呢?显然，该映照把z1及z2映照成 为关于圆 的对称点 0 及∞，且把扩充 平面上的曲线 | | w R = z 1 2 z z R z z − = − 映照成为 ，则由定理 6.1 及定理 6.2 知曲线 ： | | w R = C 1 2 z z R z z − = − 表示 平面上的一个圆， 及 是关于圆C 的两个对称点. z 1z 2 z 6.3 分式线性函数的应用
由于分式线性函数确定的映照的保圆性和保对称性,在作以圆弧或直线为边界的区域的 保形映照时,分式线性函数起着很重要的作用,本节通过几个具体例子说明这一点 例6.3求证把上半平面Im(x)>0保形映照为上半平面Im()>0的分式线性映照一定可以 表示为 其中a,b,c,d为实数且满足ad-bc>0 证要把Im(z)=0映照为w平面的实轴Im()=0.因而,zz平面实轴上的三点x1x2,x3 必与w平面实轴上的三点4,2,l3相对应:即欲求分式线性函数满足 解得 -+d 因为x,x,x及1n2,n3均为实数,所以a,b,c,d为实数.又 Im(w)-2i 1 a+b a+b. ad-bc =-2 ad-bc lm(),从而,当Im()>0时要 2i c+d 2 使Im()>0必须有ad-bc>0 故把上半平面Im()>0映照为上半平面Im()>0的分式线性函数必具有以下形式 其中a,b,c,d为实数且 例64试求把上半平面Im(x)>0保形映照成圆盘|vk1的分式线性函数 解满足要求的分式线性函数首先应把Im()=0映照成|=1,其次应把上半平面Im()>0 内某一点z映照成w=0.因为分式线性函数把关于实轴Im(x)=0对称的点映照成关于圆 v=1对称的点,而w=0与w=∞关于|w=1对称,z与关于Im()=0对称(Im(=0)>0) 故所求函数不仅把z映照成w=0,而且把三映照成w=∞.由例6.2,这种函数的形状是 其中A是一复常数 又当z为实数时,所求函数将Im()=0映照成|v=1,即 于是A=e,b为一实常数,从而所求函数应为 (6.7 由于函数(6.7)把扩充z平面保形映照为扩充w平面,所以它把Im(x)>0保形映照成|vk1 例65求把上半平面保形映照为单位圆的分式线性函数=f(),使f()=0,amgf()=z 解由例6.4,所求分式线性函数可设为
由于分式线性函数确定的映照的保圆性和保对称性，在作以圆弧或直线为边界的区域的 保形映照时，分式线性函数起着很重要的作用，本节通过几个具体例子说明这一点. 例 6.3 求证把上半平面 Im 保形映照为上半平面 的分式线性映照一定可以 表示为 ( ) 0 z > Im( ) 0 w > az b w cz d + = + ， 其中 为实数且满足 abcd ,,, ad bc − > 0 . 证 要把 Im( ) 0 z = 映照为 平面的实轴 w Im( ) 0 w = .因而， z z 平面实轴上的三点 123 x , , x x 必与 平面实轴上的三点 相对应：即欲求分式线性函数满足 w 123 uu u , , 2 1 u u − − ω ω ∶ 23 13 uu uu − − = 2 1 xz xz − − ∶ 23 13 xx xx − − ， 解得 az b w cz d + = + . 因为 123 x , , x x 及 均为实数，所以 uu u 123 , , abcd ,,, 为实数.又 1 1 Im( ) ( ) ( ) 2 2 az b az b w i i cz d cz d ω ω + + = −= − + + = 2 dcz bcad + − i zz 2 − = 2 Im( ) ad bc z cz d − + .从而，当 Im 时要 使 必须有 . ( ) 0 z > Im( ) 0 w > ad bc − > 0 故把上半平面 映照为上半平面 的分式线性函数必具有以下形式 Im( ) 0 z > Im( ) 0 w > az b w cz d + = + ， 其中 为实数且 abcd ,,, ad bc − > 0 . 例 6.4 试求把上半平面 Im( ) 0 z > 保形映照成圆盘| | w z w = 0 .因为分式线性函数把关于实轴 Im( ) 0 z = 对称的点映照成关于圆 | |1 w = 对称的点，而 与 w = 0 w = ∞ 关于| | w =1对称， 与0 z 0 z 关于 Im( ) 0 z = 对称( )， 故所求函数不仅把z 0 Im( ) 0 z > 0映照成 ，而且把 w = 0 z 0映照成 w = ∞ .由例 6.2，这种函数的形状是 0 0 z z w z z λ − = − ， 其中λ 是一复常数. 又当 z 为实数时，所求函数将 Im( ) 0 z = 映照成| | w =1，即 0 0 | | | || | | | 1 z z w z z λ − = = − λ = ， 于是 i e θ λ = ，θ 为一实常数，从而所求函数应为 0 0 i z z w e z z θ − = − ， (6.7) 由于函数(6.7)把扩充 z 平面保形映照为扩充 平面，所以它把 w Im( ) 0 z > 保形映照成| | w <1. 例 6.5 求把上半平面保形映照为单位圆的分式线性函数 w fz = ( )，使 ， f i() 0 = ' arg ( ) 2 f i π = . 解 由例 6.4，所求分式线性函数可设为
l=f(-)=e"三- 则 +)2,从而 f(0)=c2i_15 令agf()=z,得O=丌,于是所求分式线性函数为 例66求把圆盘|=k1保形映照成圆盘|vk1的分式线性函数 解所求函数应把|k1内一点=0映照成w=0,并且把|==1映照成|v=1.因为=0关于圆 z=1为对称的点是,所以所求函数还应把亠映照成w=∞(因为w=0,w=∞关于圆 v}=1对称).于是所求函数具有以下形状 w=A 其中λ及λ是复常数,又当|=1时, 从而 14,0H4=1, 所以=e",其中θ为一实数,而所求分式线性函数为 w=e"2-0(=ak<1).(6.8) 例67求把单位圆|=k1保形映照为单位圆|vk1的分式线性函数,使f()=0, 解函数(6.8),所求函数形如 由f()=e3 ,得∫()=e",从而 f(=)=6
( ) i z i w fz e z i θ − = = + ， 则 ( ) ( ) ( ) ' 2 2 2 ( ) ( ) i i zi zi i fz e e z i z i θ θ +− − = = + + ，从而 ( ) ' 2 2 1 ( ) 4 2 i i i fi e e π θ θ − = =− − . 令 ' arg ( ) 2 f i π = ，得θ = π ，于是所求分式线性函数为 z i w z i − = − + . 例 6.6 求把圆盘| | z <1保形映照成圆盘| | w <1的分式线性函数. 解 所求函数应把| |1 z < 内一点 映照成 0 z w = 0，并且把| | z =1映照成| |1 w = .因为 关于圆 为对称的点是 0 z | |1 z = 0 1 z ，所以所求函数还应把 0 1 z 映照成 w = ∞ (因为 w = 0， 关于圆 对称).于是所求函数具有以下形状 w = ∞ | |1 w = 0 1 0 0 1 1 zz zz w z z z z λ λ − − = = − − 0 ， 其中λ 及λ1是复常数，又当| | z =1时， 0 0 1 ( 0 − =− = − z z zz z z z z z ) ， 从而 0 1 1 0 | | | || | | | 1 1 z z w z z λ λ − = = − = ， 所以 1 i e θ λ = ，其中θ 为一实数，而所求分式线性函数为 0 0 1 i z z w e z z θ − = − (| | 1) z0 < . (6.8) 例 6.7 求把单位圆| | z <1保形映照为单位圆| | w <1的分式线性函数，使 () 0 2 i f = ， ' arg ( ) 2 2 i f π = . 解 函数(6.8)，所求函数形如 2 2 ( ) 2 1 2 i i i z z i w fz e e i iz z θ θ − − == = + + . 由 ( ) ' 2 3 ( ) 2 i fz e iz θ = + ，得 ' 4 ( ) 2 3 i i f e θ = ，从而 ' arg ( ) 2 i f =θ
由条件agf()=,得O=,e"=1,故所求分式线性函数为 例68求将上半平面lm()>0保形映照为圆|w-wok0映照为单位圆|vk1,且当z=i时,w=0.于是函数 把上半平面Im(z)>0映照成圆|w-0kR,且把z=i映照为w=Wo 又=Re 2纽 Re1,则由条件r(o)>0得 Re"1=3 从而有-x=0,日=五,e"=1,故所求线性函数为 l=n+i三- 6.4指数函数与幂函数所确定的映照 6.4.1指数函数w=e所确定的映照 因为w=e在复平面内处处解析,且w'=ε≠0,所以指数函数w=ε所确定的映照是保形映 由于w=e以2ri为周期,所以我们只须讨论当z在由0<lm(x)<2x所定义的带形域B 中变化时,函数w=e的映照性质.设w的实部及虚部分别为u及v 设在带形区域B中,z从左向右描出一条直线L:Im(x)=y0(如图6.4(a)),则w=e 于是|=e2从0(不包括0)增大到+∞,而argw=y保持不变所以,w描出一条射线 L1:argw=y(不包括0,如图6.4(b).这样,L和L上的点一一对应 让υ从0(不含0)递增到2π(不含2π),那么直线L扫过带形区域B,而相应的射线L按 反时针方向从w平面的正实轴(不包括正实轴)变到正实轴(不包括正实轴).故指数函数 w=e确定了从带形区域B:0<lm()<2到w平面除去原点和正实轴的保形映照.明显地
由条件 ' arg ( ) 2 2 i f π = ，得 2 π θ = ， i e θ = i ，故所求分式线性函数为 2 1 2 iz w iz + = + . 例 6.8 求将上半平面 保形映照为圆 Im( ) 0 z > 0 | | ww R − 解 观察线性函数. 0 w R ω −ω = ， 显然，此映照将圆 映照成单位圆| | 0 | | ww R − | | w 0 | | ww R − 得 1 2 Re 0 2 2 i i R e i π θ θ ⎛ ⎞ ⎜ ⎟ − ⎝ ⎠ = > ， 从而有 0 2 π θ − = ， 2 π θ = ， ，故所求线性函数为 i e θ = i 0 z i w w iR z i − = + + . 6.4 指数函数与幂函数所确定的映照 6.4.1 指数函数 z w e = 所确定的映照 因为 z w e = 在复平面内处处解析，且 0 z w e ′ = ≠ ，所以指数函数 z w e = 所确定的映照是保形映 照. 由于 z w e = 以 2πi 为周期，所以我们只须讨论当 z 在由0 Im( ) 2 < z < π 所定义的带形域 中变化时，函数 B z w e = 的映照性质.设 w 的实部及虚部分别为u 及v . 设在带形区域 中， B z 从左向右描出一条直线 0 L z : Im( ) = y (如图 6.4(a))，则 0 x iy w e + = ， 于是| | x w e = 从 0 (不包括 0)增大到+∞，而 0 argw y = 保持不变.所以， 描出一条射线 (不包括 0，如图 6.4(b)).这样， w 1 L w : arg = 0 y L 和 L1上的点一一对应. 让 从 0 (不含 0)递增到 2 0 y π (不含 2π )，那么直线 L 扫过带形区域 ，而相应的射线 按 反时针方向从 平面的正实轴(不包括正实轴)变到正实轴(不包括正实轴).故指数函数 B L1 w z w e = 确定了从带形区域 B z : 0 Im( ) 2 < < π 到 w 平面除去原点和正实轴的保形映照.明显地
w=e将00;而把x0 又由例6.4,函数=aa把上半平面lm()>0映照成单位圆lwkl.其中w0为一虚部大 于零的复数,6为任一实数于是所求映照为"=cms-e (为任意实 例6.10求把区域D1=k2且|z-i1,保形映照为上半平面Im(w)>0的映照 解显然D的边界为相切于z=2的圆C1|=2和C2|-i=1.由于C1与C2在z=2处相切 (即在z=2i处的夹角为0),则映照 将C1和C2映照为两平行直线1,I2(因为z=2时w=∞)又显然此映照将虚轴映照为虚轴 而C1,C2都和虚轴正交,由映照的保角性知直线r和I2也必与虚轴正交,即n,I2为与 实轴平行的直线,又当=2时,1+i:当z=0时,w=.于是为:mn)1r,为 把区域D映照成带形区域 B: - Im() 再作映照 4x(w--)
z w e = 将0 I π . 又由例 6.4，函数 0 0 i w e θ ω ω ω ω − = − 把上半平面 映照成单位圆 Im( ) 0 w > | | w | 1，保形映照为上半平面 的映照. i Im( ) 0 w > 解 显然 D 的边界为相切于 的圆 z = 2 1 C z :| | 2 = 和 2 C zi :| | 1 − = .由于 与 在 处相切 (即在 处的夹角为 0)，则映照 C1 C2 z = 2i z = 2i 1 2 w z i = − 将 和 映照为两平行直线 ， C1 C2 Γ1 Γ2 (因为 z = 2i 时 w = ∞ )又显然此映照将虚轴映照为虚轴， 而 ， 都和虚轴正交，由映照的保角性知直线 C1 C2 Γ1和Γ2也必与虚轴正交，即 ， 为与 实轴平行的直线，又当 Γ1 Γ2 z = 2 时， 1 4 i w + = ；当 z = 0 时， 2 i w = .于是Γ1为： 1 Im( ) 4 w = ， 为Γ2 1 Im( ) 2 w = .因此 1 2 w z i = − 把区域 D 映照成带形区域 1 1 : Im( ) 4 2 B w < < ， 再作映照 4( ) 4 i ζ π = − w