初等解析函数和多值函数.ppt
初等函数及其分类讲解

指数函数 函指数数函(数a是常数且a>0,a? 1)叫做指数函数,它的定义域是区间(? ,函+?数)。 (a是常数且a>0,a? 1)叫做指数函数,它的定义域是区间(因?为,对+?于)。任何实数值x,总有 ,又 ,所以指数函数的图形,总在x轴 的因上为方对,于且任通何过实点数(0,值1)x。,总有 ,又 ,所以指数函数的图形,总在x轴 若的a>上1,方指,数且函通数过点是(单0,调1)增。加的。 若若0<aa><11,,指指数数函函数数 是是单单调调增减加少的的。。 由若于0,<a所<1以,的指图数形函与数的是图单形调是减关少于的y。轴对称的。
初初等等代代数数函函数数
有有理理整整函函数数
初等函数
基本初等 函数
无无理理函函数数
有有理理函函数数 有有理理分分函函数数
初初等等超超越越函函数数
初等代数函数:由初等函数f1(x)=x和f2(x)=1 经过有限次代数运算得到的初等函数,称为 初初等等代代数数函函数数。:(由或初代等数函显数函f1数(x))=x和f2(x)=1
返回 返回
1.三角函数 正1弦.函三数角和函余数弦函数都是以2p 为周期的周期函数,它们的定义域都是区间 (-?正,+弦?函),数值和域余都弦是函必数区都间是[-以1,21p]。为周期的周期函数,它们的定义域都是区间 正(弦-?函,+数? 是),奇值函域数都,是余必弦区函间数[-是1,1偶]。函数。 正正切弦函函数数和是余奇切函函数数,都余是弦以函p 为数周是期偶的函周数期。函数,它们都是奇函数
正切函数和余切函数都是以p 为周期的周期函数,它们都是奇函数 返回
2.3初等函数

类似地,连续变动k周回到z1时,
辐角arg z1变为arg z1+2k (k 1, 2, ).
(4) 当z从z1开始按照逆时针方向 沿着C \{0}内一条围绕z0( 0,) (不围绕原点)的简单闭曲线L3连续 变动一周,回到z1时,arg z1不变.
设F (z)是区域( C )上的一个多值函数, z0 C.若在z0的某个充分小的邻域内,存在 一条包围z0的简单闭曲线L,当动点z沿L旋转 一周,回到起点时,F (z)的函数值发生变化, 则z0称为多值函数F (z)的支点.
连接多值函数F (z)的支点,用来剪开z平面, 借以分出多值函数F (z)的单值分支的割线,称为 多值函数F ( z)的支割线.
1 ln 13 i(arc tan 3 2k ), (k ),
2
2
ln(2 3i) ln | 2 3i | i arg(2 3i)
如果ez1 ez2,那么z1 z2 2k i,反之亦真.
(5) z C, ez 0, ez eRez ,
Argez Im z 2k (k Z );
2. 三角函数
由Euler公式,对x R,
eix cos x i sin x, eix cos x i sin x.
所以
cos x eix eix , sin x eix eix .
sin z
cos z
sin z
二、初等多值函数
1. 辐角函数
辐角函数F(z) Argz是C \{0}上的一个多值函数. 将辐角函数在某些区域内分解为一些单值连续函数, 每一个单值连续函数称为辐角函数在这个区域内 的一个单值连续分支.
考虑沿负实轴(包括原点0)剪开复平面而得到的
第2章、解析函数

第二章 解析函数本章介绍复变函数中一个重要的概念:解析函数,并给出一个重要的判定方法:柯西黎曼条件。
最后分别介绍一些重要的单值初等解析函数及多值初等函数的分支解析。
第一节 解析函数的概念与柯西-黎曼条件1、复变函数的导数:设()w f z =是在区域D 内确定的单值函数,并且,0z D ∈。
如果极限()000()lim z z f z f z z z →-- 存在,为复数a ,则称)(z f 在0z 处可导或可微,极限a 称为)(z f 在0z 处的导数,记作0()f z ',或0z z dw dz =。
2、解析函数:定义:如果)(z f 在0z 及0z 的某个邻域内处处可导,则称)(z f 在0z 处解析;如果)(z f 在区域D 内处处解析,则我们称)(z f 在D 内解析,也称)(z f 是D 的解析函数。
解析函数的导(函)数一般记为)('z f 或z z f d )(d 。
注1、 此定义也用εδ-语言给出。
注2、 可导必连续注3、解析必可导性,在一个点的可导不一定解析,可导性是一个局部概念,而解析性是一个整体概念;解析函数的四则运算:()f z 和()g x 在区域D 内解析,那么)()(z g z f ±,)()(z g z f ,)(/)(z g z f (分母不为零)也在区域D 内解析,并且有下面的导数的四则运算法则:(()())()()f z g x f z g z '''±=±[()()])()()()()f zg x f z g z f z g z ''=+2()()()()()()(()0)()()f z f z g z f z g z g z g z g z ''-'=≠复合求导法则:设)(z f =ζ在z 平面上的区域D 内解析,)(ζF w =在ζ平面上的区域1D 内解析,而且当D z ∈时,1)(D z f ∈=ζ,那么复合函数)]([z f F w =在D 内解析,并且有z z f F z z f F d )(d d )(d d )]([d ζζ=求导的例子:(1)如果()f x a =(常数),那么;()0df z dz= (2)z 的任何多项式 n n z a z a a z P +++=...)(10在整个复平面解析,并且有 121...2)('-+++=n n z na z a a z P(4)、在复平面上,任何有理函数,除去使分母为零的点外是解析的,它的导数的求法与z 是实变量时相同。
数学物理方法第一章解析函数1.4初等函数

1.4 初等解析函数
二、初等多值函数
例1 讨论
w ( z a)( z b) 的支点
y
za
1
1.4 初等解析函数
答:支点为a,b
a oΒιβλιοθήκη z z b2b
x
思考: 函数 w 3 z 2 4 z 2 1 是几值函数? 有何支点?
答:6值,支点
1,2,
二、初等多值函数
2.对数函数
(1)定义
若z
1.4 初等解析函数
主值支: ln z ln z i arg z , 0 arg z 2
ew
则
w Lnz
(2)多值性的体现 z的幅角和w的虚部的对应关系 (3)支点 0 , (4)单值分枝 Lnz ln z i(arg z 2k ) , k 0,1,2,
Q( z) 0
1.4 初等解析函数
一、初等单值函数
1. 幂函数(图)
w z
3
一、初等单值函数
2.指数函数 (1)定义
1.4 初等解析函数
w e z e x iy e x (cos y i sin y)
复平面
z1 z2 z1 z 2
(2)解析区域
z
(3)与实函数相同的性质
(5)支割线 (6)黎曼面 (7)解析性 (8)性质 连接 0 , 割开z平面的线 无穷多叶 每一单值支均解析
Ln( z1 z2 ) Lnz1 Lnz2 Ln( z1 z2 ) Lnz1 Lnz2
二、初等多值函数
2.对数函数(图) 问:
1.4 初等解析函数
Lnz Lnz ? 2Lnz N Ln( z z )? Lnz Lnz ? 0 N
复变函数《初等解析函数》课件

12
幂函数的解析性
(1) 幂函数 zn 在复平面内解析,(zn ) nzn1.
1
(2) 幂函数 zn 是多值函数,具有 n 个分支. 它的各 个分支在除去原点和负实轴的复平面内解析,
21
5. 反三角函数和反双曲函数
设 z cos w, 那么称 w 为 z 的反余弦函数, 记作 w Arc cos z.
由 z cos w eiw eiw , 2
得 e2iw 2zeiw 1 0,
方程的根为eiw z z2 1, 两端取对数得
Arccos z iLn(z z2 1).
§2.3 初等函数
一、指数函数 二、对数函数 三、幂函数 四Δ、三角函数和双曲函数 五、反三角函数和反双曲函数
1
1. 指数函数
定义 设 z x iy,则复变数 z 的指数函数定义为 exp(z) e x (cos y i sin y)
显然
Re(exp(z)) ex cos y Im(exp(z)) e x sin y exp(z) e x
证:令u ex cos y, v ex sin y,
u e x cos y, x v e x sin y, x
u e x sin y,
y
四个偏导数
v e x cos y, 均连续 y
即 u v , u v . x y y x
故 f (z) 在复平面内处处可导, 处处解析.
且 f (z) ex (cos y i sin y) f (z).w LnzBiblioteka ln z i arg z 2k
2.3初等多值函数

arg z arg z0 L Argz
z 0 点并指定初值arg z0 的前提下,终值 arg z 唯一,即辐角函数可单值化,
必须使辐角改变量仅与起点和终点有关而与曲线的形状无关.
L1 Argz L2 Argz L L Argz 0 (即原点在闭曲线 L1 L2 的外部). 1 2
1 i L Argz n
,
k
| z |e
n
e
i L Argz n
(4 ) z G : arg z , k Z .
,
或
wk
z
n
k
n | z|e
i
arg z 2 k n
z G : arg z , k Z .
(6)
,
(5 )
定理2 在上述区域内各单值分值函数 ( n z ) k 解析, 且 d n 1 ( n z )k k 0,1,, n 1 . z k dz n z
2.2 由已知的某单值解析分支的初值求终值
2.2 由已知的某单值解析分支的初值求终值
wk
或
z
n
k
(4) n | z |e i arg w0 e , z G : arg z , k Z .
w n z n | z |e
i
Argz n
, z 0, .
(2)
2.1分出根式函数 w n z 的单值解析分支
(1) w n z 在某区域 D 内可单值化的充要条件及单值化方法 定理1 多值函数F z 可单值化的充要条件是对任意简单闭曲线L, 有
L n z 0.
L F z 0
第3节:初等函数

第3节 初等函数
一、指数函数 二、对数函数 三、乘幂与幂函数 四、三角函数和双曲函数 五、反三角函数和反双曲函数
一、指数函数
f ( z) e x (cos y i sin y) 在复平面上处处解析,而且 f ( z) f ( z)
且当 y=0时, f (z)=ex与实指数函数一致, 故 1、定义
e iy e iy cos y , 2
e iy e iy sin y . 2i
e iz e iz e iz e iz cos z ; sin z ; 2 2i 正弦函数 余弦函数
iz e Eular公式的复数形式: cos z i sin z
2、三角函数的性质
(3) (shz ) chz , (chz ) shz ,
(4) shiy i sin y , chiy cos y , ch(x iy ) chx cos y ishx sin y , sh(x iy ) shx cos y i chx sin y ,
[书P52]
e
b (ln a iArg a )
e
b (ln a 2 k i )
当k=0时, 取到主值:
e
blna
e
b (ln a i arg a )
当a为正实数,b为实数时,其主值与实乘幂的定义一 致。
a e
b
bLna
e
b (ln a 2 k i )
e
b[ln a i (arg a 2 k )]
(4) sin z sin z, cos z cos z,
(5) sin z , cos z 不是有界函数. sin z =0 z k ( k 0, 1, 2,
函数及其图像(课堂PPT)

集合:A,B,C…表示;元素:a,b,c…表示
函数与极限
4
2.实数与数轴
实数R有理数Q分 整数 数(Z12负非, 整 负86 ,数 整)( 数(1,自2然,数集nN,:0),1,2, )
f
(
x
3)
1 2
0 x31 1 x32
1 2
3 x 2 2 x 1
故定义域是[-3, -1].
函数与极限
28
例3 脉冲发生器产生一个单三角脉冲,其波形如图
所示,写出电压U与时间t(t 0)的函数关系式.
解 当 t [0, ]时, 2
U
E
t
2E t;
2 当 t ( , ]时,
2. 函数中根式,要求负数不能开偶次方
3. 函数中有对数式,要求真数必须大于零
4. 函数中有对数式和反三角函数式,要求符合它们定义域
5. 若函数式是上述各式的混合式,则应取各部分定义域
的交集
函数与极限
20
例1 求下列函数的定义域
(1()1(y)1y)y44411x1x22x2 xxx222; ;
((22()2)y)yylglgxlxg11;x; 1 ; x x22x 2
2
U
( , E)
2
E
o
(,0) t
2
单三角脉冲信号的电压
U 0
(t )
E
0
2
即U 2E (t )
函数与极限
29
当 t (,) 时, U 0.
U
( , E)
2
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(vi) lim ez不存在。
z
证明:(iv) w' lim ezz ez
ez lim
ez 1
z0 z
z0 z
lim ez ex cos y i sin y 1
z0
z
lim ez 1 x1 iy 1 ez
z 0
z
(3) 三角函数 sin z 1 eiz eiz , cos z 1 eiz eiz
点,则连续Байду номын сангаас变的幅角回到原来
的值,而w的值也回到w1。但如
果曲线包含原点,则旋转一周后,w的值不再回到w1,而
是回到w2:
w re 3
i
0 3
2 3
2
我们称z=0为w 3 z 的支点。
定义(支点):若z绕某点旋转一周回到初始点,多值函数 w=f(z)由一个分支变到另外一个分支,我们称这样的点 为多值函数的支点。
bn zn
(2) 指数函数 w ez exeiy ex (cos y i sin y)
指数函数的性质:
(i) ez 0
(ii) 对于实数z=x来说,复数域中的指数定义与实数域中
的定义一致。
(iii) ez1ez2 ez1z2
(iv) 指数函数处处解析,且:w' ez
(v) ezi2k ez
所以:w l n z ln r iarg(z)
显然:w Lnz l n z i2n , n 0, 1,
如在w平面上用平行于实轴 的直线画出一个宽为2的条 带,例如图中的I,则z与w 为一一对应的关系。I为z=ew 的单叶性区域。
同样,对数函数也存在两个 支点:z=0和z=。两个支点间的任意连线就构成了支割线。 支割线映射为w平面上的单值分支之间的端线:
(IV) 对数函数:w Lnz, z 0
w L n z L n rei 2n ln r i 2n
显然:u(x, y) ln z ,v(x, y) 2n
很明显,对数函数是多值函数,一个z对应有无数个w,彼 此的虚部差2的整数倍。
若限定- <Arg(z)< 很明显,即- <v(x,y)< ,则z的对数 只有一个取值,我们称之为ln(z)的主值支,记做:ln(z)。
sin(z1 z2 ) sin z1 cos z2 cos z1 sin z2
(iii) 正弦函数和余弦函数以2为周期;
(iv) sinz=0,则 z n , n 0, 1, cosz=0,则 z (n 1/ 2) , n 0, 1,
(v) 在复数域中,不能判定 cos(z) 1, sin(z) 1
对于根式函数来说,原点和无穷远点是其两个支点。
(III) 支割线 连接支点z=0和z=的任意一条射线,称为支割线。支割 线将z平面割开,并规定z连续变化时不得跨越支割线,这 就使得割开的z平面上任意闭合曲线都不包括原点,由此 根式函数只在一个单值分支上取值。
注:把一个多值函数划分为单值分支与支割线的选取密切 相关,不同的支割线选取方式使得单值分支的区域定义也 不相同。
证明:z1 z2 r1 r2ei(12 ) rei ,
z1 r1 ei(12 ) rei z2 r2
Ln(z1 z2) ln(r) i 2k
ln(r1 r2) i 1 2 2k
ln(r1) i 1 2k1 ln(r2) i 2 2k2
证明:(ii) cos z1 cos z2 sin z1 sin z2
1 eiz1 eiz1 eiz2 eiz2 1 eiz1 eiz1 eiz2 eiz2
4
4
1 2
e e iz1z2
i z1 z2
cos(z1 z2 )
2、初等多值函数
(I) 根式函数:w n z , n 0,1, 2
I(0<Arg(w)< 2/3),称为z=w3的单叶性区域。同理,区域 II和III也是z=w3的单叶区域,三个单叶区域再加上相邻处的 端边称为根式函数的三个单值分支。
(II) 支点
如图,在平面上任选一点z(r,),
则利用第一个单值分支得:
w1
3
i0
re 3
若让z(r,)按逆时针方向沿一闭合
曲线连续变化,若曲线不包括原
z0 x iy z0
x iy
lim 1 xx yy i yx xy
r z0 2
x iy
x iy r2
x
1 iy
1 z
z0
所以:f ' (z) 1 , z 0 z
对数运算法则:
Ln(z1 z2 ) Ln(z1) Ln(z2 )
Ln(z1 / z2 ) Ln(z1) Ln(z2 )
2i
2
性质:
(i) 正弦函数和余弦函数处处解析,且:
d sin z cos z, d cos z sin z
dz
dz
(ii) 正弦函数为奇函数和余弦函数为偶函数,并遵循三角 公式:
sin2 z cos2 z 1
cos(z1 z2 ) cos z1 cos z2 sin z1 sin z2
根式函数的多值性
例如:w ei0
3
z
3
rei
0
3
2n
3
很显然,w与z的模一一对应,但幅角却不然,w的幅角有 三个不同的值与z的幅角对应:
3r
0
0
3
2n
3
,
n 0,1, 2
显然,对于同一个z值,有三个w与之对应,且三个值的幅
角相差2/3。
若规定,w只在I区域取值,则z的值域与w的I区域就建立起 了一一对应的关系。而对于其反函数z=w3来说,在区域I, 不同的w值对应于z平面上不同的z值,这样的区域
§2.3 初等解析函数和多值函数
1、初等单值函数
(1) 幂函数 w zn , n 0,1, 2
幂函数在复平面上处处解析,同时可以证明多项式函数:
w a0 a1z
也处处解析。
an zn
而有理函数:w P(z) a0 a1z
点外解析。
Q(z) b0 b1z
anzn 除了 Q(z) 0
ln z ln r i 2k k
而这无穷多个单值函数皆是解析函数。
证明:f (z) ln z ln r i 2k k
考虑极限:
lim f (z) lim ln r i 2k
z0 z
z 0
x iy
lim ln r i lim ln x2 y2 i arctan y x