码迷,mamicode.com
首页 > 其他好文 > 详细

复分析复习4——初等函数

时间:2014-05-06 00:52:03      阅读:487      评论:0      收藏:0      [点我收藏+]

标签:style   class   ext   color   width   set   

    为了复习这个,我们先来看看复数域上的级数如何定义的.这与$\mathbb R$上一样.称一个复级数$\sum\limits_{n=1}^{\infty}z_{n}(z_{n}\in\mathbb C)$收敛是指其部分和$S_{n}=\sum\limits_{k=1}^{n}z_{k}$收敛,并将极限值称为该复级数的和.类似的称复函数列$\{f_{n}(z)\}(z\in\Omega\subset\mathbb C)$一致收敛于$f(z)$是指:对任意的$\varepsilon>0$,都存在着与$z$无关的$N>0$使得当$n>N$时恒有

|fbubuko.com,布布扣nbubuko.com,布布扣(z)?f(z)|<ε.bubuko.com,布布扣

类似的我们有(一致)收敛的Cauchy收敛原理,复函数项级数收敛我们有Weierstrass定理,以及复幂级数$\sum\limits_{n=1}^{\infty}a_{n}z^n$的Abel定理及其收敛半径的Hadamard公式

R=1bubuko.com,布布扣limbubuko.com,布布扣nbubuko.com,布布扣bubuko.com,布布扣ˉbubuko.com,布布扣ˉbubuko.com,布布扣ˉbubuko.com,布布扣ˉbubuko.com,布布扣ˉbubuko.com,布布扣ˉbubuko.com,布布扣bubuko.com,布布扣|abubuko.com,布布扣nbubuko.com,布布扣|bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣nbubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣

而且一个重要的结果是,该级数在$|z|<R$内不仅收敛而且其和函数还是全纯的,而且可以逐项求导数,而导函数项级数与原级数具有相同的收敛半径.

    在数学分析中,所谓初等函数即是由基本初等函数经过有限次四则运算以及复合得到的函数.然而如果我们将这些函数在$\mathbb C$上自然推广,又会得到怎样的性质呢.如同幂指数$e^{A},A\in M_{n}(\mathbb F)$的定义一样,最自然的我们想到采用级数来定义.例如我们定义

ebubuko.com,布布扣zbubuko.com,布布扣=1+zbubuko.com,布布扣1!bubuko.com,布布扣bubuko.com,布布扣+?+zbubuko.com,布布扣nbubuko.com,布布扣bubuko.com,布布扣n!bubuko.com,布布扣bubuko.com,布布扣+?bubuko.com,布布扣

如果以$z=iy$带入,这样很容易得到所谓的Euler公式

ebubuko.com,布布扣iθbubuko.com,布布扣=cosθ+isinθ,θRbubuko.com,布布扣

据此很自然我们定义

cosz=ebubuko.com,布布扣izbubuko.com,布布扣+ebubuko.com,布布扣?izbubuko.com,布布扣bubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣,sinz=ebubuko.com,布布扣izbubuko.com,布布扣?ebubuko.com,布布扣?izbubuko.com,布布扣bubuko.com,布布扣2ibubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣

此外我们很容易定义其反函数${\rm Ln}z$:称若$w$满足$e^w=z$,则称$w$为$z$的对数,记做

w=Lnzbubuko.com,布布扣

因为我们知道$e^0=1$,而$e^{2\pi}=\cos2\pi+i\sin2\pi=1$,从而${\rm Ln}z$他事实上是一个多值函数.类似的我们可以定义三角函数的反函数$\arcsin,\arccos$等等.

    对于幂函数$z^\alpha$,如同实数很自然的我们定义

w=zbubuko.com,布布扣αbubuko.com,布布扣=ebubuko.com,布布扣αLnzbubuko.com,布布扣bubuko.com,布布扣

    这样对于几个基本初等函数的定义我们已经完全给出了.再来看在$\mathbb C$上他们又具有哪些性质。

先来考虑$e^z$,如果以$z=x+iy$,很容易得出

1)$e^z$在全平面$\mathbb C$上有定义,即$\sum\frac{z^n}{n!}$在全平面收敛且$e^z>0$;2)$e^{z_{1}}\cdot e^{z_{2}}=e^{z_{1}+z_{2}}$;3)$e^z$是以$2\pi$为周期的函数;4)$e^z$在$\mathbb C$上全纯且$\left(e^z\right)‘=e^z$(这是由于$e^z=e^x\cos y+ie^z\sin y$实部和虚部分别可微且满足C-R方程)

如果我们将函数$w=f(z)$看做由$z$平面到$w$平面的映射,很容易得到其单叶性区域为

2kπ<y<2(k+1)π,kZbubuko.com,布布扣

    再来看对数函数$w={\rm Ln}z$,设$z=\rho e^{i\theta},w=u+iv$,则

ebubuko.com,布布扣ububuko.com,布布扣(cosv+isinv)=ρ(cosθ+isinθ)bubuko.com,布布扣

易知$r=e^u,v=\theta+2k\pi$,从而

Lnz:w=lnr+i(θ+2kπ)=ln|z|+iArgzbubuko.com,布布扣

据此易知

Lnzbubuko.com,布布扣1bubuko.com,布布扣zbubuko.com,布布扣2bubuko.com,布布扣=Lnzbubuko.com,布布扣1bubuko.com,布布扣+Lnzbubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣

特别的称$\ln|z|+i{\rm arg}z$为对数${\rm Ln}z$的主值,记做$\ln z$.

我们考虑区域$\Omega=\mathbb C\setminus\{z|z\geq0\}$,这时$0<{\rm arg }z<2\pi,$此时$w={\rm Ln}z$的第$k$个分支

wbubuko.com,布布扣kbubuko.com,布布扣(z)=ln|z|+i(argz+2kπ)bubuko.com,布布扣

他的单叶性区域即为$\Omega$且将$\Omega$映为与实轴平行的带状区域

Dbubuko.com,布布扣kbubuko.com,布布扣:2kπ<v<2(k+1)πbubuko.com,布布扣

    再来看三角函数,很容易知道其满足:

1)$\sin z,\cos z$均在$\mathbb C$上全纯且

(sinz)bubuko.com,布布扣bubuko.com,布布扣=cosz,(cosz)bubuko.com,布布扣bubuko.com,布布扣=?sinzbubuko.com,布布扣

2)$\sin z,\cos z$均以$2\pi$为周期;3)$\sin z$为奇函数,$\cos z$为偶函数;4)与实函数一样有和差角公式;5)满足

sinbubuko.com,布布扣2bubuko.com,布布扣z+cosbubuko.com,布布扣2bubuko.com,布布扣z=1,sin(πbubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣?z)=coszbubuko.com,布布扣

6)$\sin z$的零点仅为$k\pi$,$\cos z$的零点仅为$k\pi+\frac{\pi}{2}$

以上结论都与实函数类似,然而不同的是在$\mathbb C$上,$\sin z,\cos z$都是无界的,这是由于如果我们取$z=iy$,那么

|cosiy|=ebubuko.com,布布扣?ybubuko.com,布布扣+ebubuko.com,布布扣ybubuko.com,布布扣bubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣>ebubuko.com,布布扣ybubuko.com,布布扣bubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣

   我们再来看三角函数的单叶性区域,先看$w=\cos z=\frac{e^{iz}+e^{-iz}}{2}$,他由函数

u=iz,v=ebubuko.com,布布扣ububuko.com,布布扣,w=1bubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣(v+1bubuko.com,布布扣vbubuko.com,布布扣bubuko.com,布布扣)bubuko.com,布布扣

复合而成,第一个为旋转,在全平面上单叶.第二个为指数函数,他单叶的条件为$u$平面上不包含$u_{1}-u_{2}=i2k\pi$的两个点,即在$z$平面上不包含$z_{1}-z_{2}=2k\pi$的两点.而第三个函数,如果我们设

vbubuko.com,布布扣1bubuko.com,布布扣+1bubuko.com,布布扣vbubuko.com,布布扣1bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣=vbubuko.com,布布扣2bubuko.com,布布扣+1bubuko.com,布布扣vbubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣

如果$v_{1}\neq v_{2}$,可知必须有$v_{1}v_{2}=1$,从而第三个函数的单叶性的条件为$v$平面上不包含$v_{1}v_{2}=1$的两点,即在$z$平面上不包含$z_{1}+z_{2}=2k\pi$的两点.综上我们就得到了$\cos z$的单叶性区域.例如$0<{\rm Re}z<\pi$就是他的一个单叶性区域.

类似的方法可以考虑$\sin z$的单叶性区域.

    再来看反三角函数$w=\arccos z$,那么

z=cosw=ebubuko.com,布布扣iwbubuko.com,布布扣+ebubuko.com,布布扣?iwbubuko.com,布布扣bubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣

容易解出$e^{iw}=z\pm\sqrt{z^2-1}$,因此

w=?iLn(z±zbubuko.com,布布扣2bubuko.com,布布扣?1bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣)=±iLn(z+zbubuko.com,布布扣2bubuko.com,布布扣?1bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣?bubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣)bubuko.com,布布扣

最后一步是由于

\[{\rm Ln}\left(z+\sqrt{z^2-1}\right)+{\rm Ln}\left(z-\sqrt{z^2-1}\right)={\rm Ln}1\]

而$\arcsin$我们便可直接利用结果,定义

arcsinz=πbubuko.com,布布扣2bubuko.com,布布扣bubuko.com,布布扣?arccoszbubuko.com,布布扣

    再看幂函数$w=z^{\alpha}$,设$\alpha=a+ib$,则

zbubuko.com,布布扣αbubuko.com,布布扣=ebubuko.com,布布扣αLnzbubuko.com,布布扣=ebubuko.com,布布扣aln|z|?b(argz+2kπ)bubuko.com,布布扣?ebubuko.com,布布扣i[bln|z|+a(argz+2kπ)]bubuko.com,布布扣bubuko.com,布布扣

显然如果$b\neq0$,$z^\alpha$是无穷多值的;如果$b=0$,那么

zbubuko.com,布布扣αbubuko.com,布布扣=|z|bubuko.com,布布扣abubuko.com,布布扣ebubuko.com,布布扣a(argz+2kπ)ibubuko.com,布布扣bubuko.com,布布扣

如果

1)$a=n\in\mathbb Z$,则显然$z^\alpha=z^n$是单值的;

2)如果$a\in\mathbb Q$,设$a=\frac{p}{q}(p,q\in\mathbb N^+)$,不妨设$p<q$,否则以$\{\frac{p}{q}\}$替换之,此时

zbubuko.com,布布扣αbubuko.com,布布扣=|z|bubuko.com,布布扣pbubuko.com,布布扣qbubuko.com,布布扣bubuko.com,布布扣bubuko.com,布布扣ebubuko.com,布布扣ipbubuko.com,布布扣qbubuko.com,布布扣bubuko.com,布布扣2kπbubuko.com,布布扣ebubuko.com,布布扣ipbubuko.com,布布扣qbubuko.com,布布扣bubuko.com,布布扣argzbubuko.com,布布扣bubuko.com,布布扣

考虑其中的$\frac{p}{q}k\cdot2\pi$,如果

pbubuko.com,布布扣qbubuko.com,布布扣bubuko.com,布布扣kbubuko.com,布布扣1bubuko.com,布布扣?2πpbubuko.com,布布扣qbubuko.com,布布扣bubuko.com,布布扣kbubuko.com,布布扣2bubuko.com,布布扣?2π(mod2π)bubuko.com,布布扣

那么相应的函数值是一样的,而模$q$的剩余类$[q]$仅有$q$个不同的等价类,因此此时对于给定的$z$,$z^\alpha$是多值函数但仅有$q$个不同的值.

3)若$a\in\mathbb R\setminus\mathbb Q$,此时$z^\alpha$也为无穷多值函数.

复分析复习4——初等函数,布布扣,bubuko.com

复分析复习4——初等函数

标签:style   class   ext   color   width   set   

原文地址:http://www.cnblogs.com/xixifeng/p/3704368.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!