初等函数
目录
1 单叶函数 3
2 多值函数 3
2.1 辐角变化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 支点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 支割线 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.4 单值解析分支 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3 幂函数 (整数次幂) 4
3.1 可微性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.2 单叶性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
4 根式函数 5
4.1 根式函数的支点和支割线 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4.2 根式函数的单值连续分支 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4.3 根式函数的单值解析分支 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
5 指数函数 6
5.1 可微性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
5.2 单叶性区域 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
6 对数函数 7
6.1 对数函数的支点与支割线 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1
6.2 对数函数的可微性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
7 三角函数和双曲函数 8
7.1 可微性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
7.2 周期性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
7.3 零点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
7.4 三角恒等式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
7.5 正切和余切 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
7.6 三角函数的实部, 虚部和模 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
7.7 三角函数方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
8 反三角函数 11
9 一般幂函数 11
1 单叶函数
𝑤 = 𝑓 (𝑧) 是区域 𝐷 内的一一解析映照, 则称 𝑓 (𝑧 ) 𝐷 内的单叶函数, 𝐷 为单叶性区域
𝑤 = 𝑓 (𝑧) 𝐷 内为一一映照即
不存在两个不同的 𝑧
1
, 𝑧
2
使得 𝑓 (𝑧
1
) = 𝑓 (𝑧
2
)
2 多值函数
2.1 辐角变化
𝑙 为连续曲线, 点为 𝑎, 终点为 𝑏, 选定 𝑎 一个辐角值, 𝑧 沿 𝑙 连续地从 𝑎 𝑏 运动时,arg 𝑧
arg 𝑎 连续变化 𝑏 辐角的一个确切值 arg 𝑏, arg 𝑏 arg 𝑎 𝑧 沿 𝑙 辐角变化, 记为
Δ
𝑙
arg 𝑧 = arg 𝑏 arg 𝑎 = 𝛼
它与 arg 𝑎 的取值无关
𝑙 是闭曲线, 则需要讨论
1. 若原点在 𝑙 内部, Δ
𝑙
arg 𝑧 = 2𝑘 𝜋, 逆时针取正, 顺时针取负
2. 若原点在 𝑙 外部, Δ
𝑙
arg 𝑧 = 0
2.2 支点
𝑤 = 𝑓 (𝑧) 是多值函数, 在点 𝑧 = 𝑎 充分小邻域内, 作一条包围该点 𝑎 的简单闭曲线 𝐶. 𝑧 𝐶 上某点
出发, 沿 𝐶 逆时针连续转一圈回到出发点时函数 𝑓 (𝑧) 从一值变到另一个不同的值, 𝑎 𝑓 (𝑧) 的支点
特别地称
𝑅 > 0,
𝑧
|
𝑧
|
> 𝑅
的邻域
2.3 支割线
连接 𝑓 (𝑧) 任意两个支点的简单曲线
(不唯一)
, 称为 𝑓 (𝑧) 支割线. 利用支割线可以定义单值连续分支
取一些 𝑓 (𝑧) 的支割线将复平面割开, 所的区域记为 𝐺, 若当 𝑧 𝐺 内任取一条简单闭曲线 𝑙 上任一点出
发沿着 𝑙 连续变动一圈回到出发点时, 𝑓 (𝑧) 都回到原来值, 则在 𝐺 内可以确定 𝑓 (𝑧) 的一个单值连续分支:
先对 𝐺 内某一 𝑧
0
, 𝑓 (𝑧
0
) 的多值中选定一个值记为
(
𝑓 (𝑧
0
)
)
𝑘
, 𝐺 内其他任一点 𝑧, 𝐺 内一条简
单曲线 𝑙 连接 𝑧 𝑧
0
. 自变量 𝑧
0
沿 𝑙 连续变化 𝑧 , 𝑓 (𝑧)
(
𝑓 (𝑧
0
)
)
𝑘
连续变化到唯一的值, 记为
(
𝑓 (𝑧)
)
𝑘
, 这样确定的单值函数
(
𝑓 (𝑧)
)
𝑘
叫做 𝑓 (𝑧) 的一个单值连续分支
单值连续分支依赖支割线的选取
2.4 单值解析分支
𝑤 = 𝐹 (𝑧) 是区域 𝐷 内的多值函数,𝑤 = 𝑓 (𝑧) 是区域 𝐷 内的 单值解析函数 , 𝑓 (𝑧) 𝐷 每一点的值都等
𝐹 (𝑧) 在该点的一个值, 则称 𝑓 (𝑧) 𝐹 (𝑧) 𝐷 内的一个单值解析分支
一般, 值函各个连续在割支割线区域值连, 在支线两不同
, 在支割线上每一点不连续
3 幂函数 (整数次幂)
规定 0
𝑛
= 0,
𝑛
= , 𝑤 = 𝑧
𝑛
为幂函数
3.1 可微性
𝑤 = 𝑧
𝑛
在复平面处处连续可微, 处处解析, 且由二项式定理有
(𝑧
𝑛
)
= 𝑛𝑧
𝑛1
3.2 单叶性
𝑤 = 𝑧
𝑛
单值函数, 但不是全平面一一映照. 每一个像对应着 𝑛 个不同的原像, 它们均匀地分布在一个圆
. 但是可以找到一个角域使得该区域为其单叶性区域.
幂函数 𝑤 = 𝑧
𝑛
的单叶性区域为角域
𝛼 < arg 𝑧 < 𝛽, 𝛽 𝛼
2𝜋
𝑛
此外, 对于每一个角域
(2𝑘 1)𝜋
𝑛
< arg 𝑧 <
(2𝑘 + 1)𝜋
𝑛
都被单叶映照为了
(2𝑘 1)𝜋 < arg 𝑤 < (2𝑘 + 1)𝜋
都是 𝑧
𝑛
的单叶性区域
4 根式函数
𝑛 Z
+
, 𝑤 = 𝑧
𝑛
的反函数 𝑤 =
𝑛
𝑎 称为根式函数
规定
𝑛
0 = 0,
𝑛
=
𝑧 0, , 定义
𝑤 =
𝑛
𝑧 =
𝑛
p
|
𝑧
|
cos
arg 𝑧 + 2𝑘𝜋
𝑛
+𝑖 sin
arg 𝑧 + 2𝑘𝜋
𝑛
=
𝑛
p
|
𝑧
|
𝑒
𝑖
arg 𝑧+2𝑘 𝜋
𝑛
𝑧 0 ,𝑤 =
𝑛
p
|
𝑧
|
𝑛 值函数
4.1 根式函数的支点和支割线
显然 0 𝑤 =
𝑛
𝑧 的支点 (𝑛 > 2)
𝑅 > 0, {𝑧
|
𝑧
|
> 𝑅} 的邻域, 在其内部任作一条围绕 的含 𝑂 点的简单闭曲线 𝐶. 则当 𝑧 沿 𝐶 逆时
针转一圈回到原位置时,
𝑛
𝑧 变化一个因子 𝑒
𝑖
2 𝜋
𝑛
, 因此 𝑧 = 也是 𝑤 =
𝑛
𝑧 的一个支点
除了 0 以外,𝑤 =
𝑛
𝑧 没有其他支点
因此任意一条从原点出发的射线均可作为其支割线, 如正负实轴或上下半虚轴
4.2 根式函数的单值连续分支
选取负实轴为支割线, 在沿负实轴割开的 𝑧 复平面内,𝑤 =
𝑛
𝑧 𝑛 个单值连续分支
𝑤
𝑘
= (
𝑛
𝑧)
𝑘
=
𝑛
p
|
𝑧
|
𝑒
𝑖
arg 𝑧+2𝑘 𝜋
𝑛
, 𝜋 < arg 𝑧 < 𝜋, 𝑘 = 0, 1, ··· , 𝑛 1
需要注意的是此处
不能取 0 < arg 𝑧 < 2𝜋
, 因为它在正实轴上不连续; 𝜋 < arg 𝑧 < 𝜋 表示沿负实轴割开
𝑧 平面
4.3 根式函数的单值解析分支
𝑤 =
𝑛
𝑧 𝑛 个单值连续分支 𝑤
𝑘
, 𝑘 = 0, 1, ··· , 𝑛 1, 每个单值分支有可导反函数
𝑧 = 𝑤
𝑛
𝑘
于是由反函数求导法则就有 𝑤
𝑘
= (
𝑛
𝑧)
𝑘
可导
𝑑𝑤
𝑘
𝑑𝑧
=
𝑤
𝑘
𝑛𝑧
=
(
𝑛
𝑧
𝑘
)
𝑛𝑧
因此 𝑤 =
𝑛
𝑧 的每个单值连续分支 𝑤
𝑘
𝑤 的单值解析分支
5 指数函数
𝑧 = 𝑥 + 𝑖𝑦 , 𝑥, 𝑦 , 则定义指数函数
𝑒
𝑧
= 𝑒
𝑥+𝑖𝑦
𝑒
𝑥
𝑒
𝑖𝑦
= 𝑒
𝑥
(cos 𝑦 + 𝑖 sin 𝑦)
𝑒
𝑧
= 𝑒
𝑅𝑒𝑧
(cos 𝐼𝑚𝑧 +𝑖 sin 𝐼𝑚𝑧)
需要注意的是辐角
|
𝑒
𝑧
|
= 𝑒
𝑅𝑒𝑧
, 𝐴𝑟𝑔𝑒
𝑧
= 𝐼𝑚𝑧 + 2𝑘𝜋, 𝑘 Z
lim
𝑧→∞
𝑒
𝑧
不存在, 只需要令 𝑧 为实数并分别趋于正负无穷即证
指数函数具有如下性质
1. 𝑒
𝑧
单值函数
, 并且函数值不可能取 0
2. 𝑒
𝑧
1
· 𝑧
𝑧
2
= 𝑒
𝑧
1
+𝑧
2
3. 𝑒
𝑧
1
= 𝑒
𝑧
2
𝑘 Z, 𝑧
1
= 𝑧
2
+ 2𝑘𝜋, 可得 𝑒
𝑧
是以 2𝜋𝑖 为周期的 周期函数
4. 𝑒
𝑧
= 𝑒
𝑧
5.1 可微性
由柯西-黎曼方程可得𝑒
𝑧
在全平面解析, 并且有 (𝑒
𝑧
)
= 𝑒
𝑧
5.2 单叶性区域
𝑒
𝑧
单值函数. 由于 𝑒
𝑧
= 𝑒
𝑧+2𝑘 𝜋
, 得到 𝑒
𝑧
的单叶性区域为条形区域
𝑎 < 𝐼𝑚𝑧 < 𝑏, 𝑏 𝑎 < 2𝜋
𝑒
𝑧
平行实轴的条形域映射为角域, 平行实轴直线映射为不含原点的射线, 平行虚轴的线段映射为圆弧
6 对数函数
定义满足
𝑒
𝑤
= 𝑧, (𝑧 0)
的函数 𝑤 = 𝑓 (𝑧) 称为 𝑧 的对数函数, 记为
𝑤 = 𝐿𝑛𝑧
将实部虚部分别写出代入即可得到 𝐿𝑛𝑧 的表达式
𝐿𝑛𝑧 = ln
|
𝑧
|
+𝑖 𝐴𝑟𝑔𝑧 = ln
|
𝑧
|
+𝑖(arg 𝑧 + 2𝑘𝜋), 𝑘 Z
𝑤 = 𝐿𝑛𝑧 无穷多值函数, 每个 𝑘 对应 𝐿𝑛𝑧 的一个分支, 𝑘 = 0 的分支为 𝐿𝑛𝑧 主值
ln 𝑧 = ln
|
𝑧
|
+𝑖 arg 𝑧, 𝜋 < arg 𝑧 𝜋
不难证明对数函数的性质与实数完全相同
1. 𝐿𝑛(𝑧
1
· 𝑧
2
) = 𝐿𝑛𝑧
1
+ 𝐿𝑛𝑧
2
2. 𝐿𝑛
𝑧
1
𝑧
2
= 𝐿𝑛𝑧
1
+ 𝐿𝑛𝑧
2
3. 𝐿𝑛
1
𝑧
= 𝐿𝑛𝑧
6.1 对数函数的支点与支割线
𝐿𝑛𝑧 有且
仅有两个支点 0
, 连接两支点的任一简单曲线为支割线. 在沿任一支割线割开的 𝑧 平面,𝐿𝑛𝑧
有无穷多单值连续分支
𝑤
𝑘
= (𝐿𝑛𝑧)
𝑘
= ln
|
𝑧
|
+𝑖(arg 𝑧 + 2𝑘𝜋), 𝑘 Z
arg 𝑧 的取法与支割线的取法有关, 需要保证在割开的平面内处处连续
6.2 对数函数的可微性
由反函数理论, 在沿支割线割开的复平面内 𝐿𝑛𝑧 的每一个单值连续分支解析
𝑑(𝐿𝑛𝑧)
𝑘
𝑑𝑧
=
1
𝑒
𝑤
𝑘
=
1
𝑧
对于主值分支有
(ln 𝑧)
=
1
𝑧
7 三角函数和双曲函数
由欧拉公式可以定义三角函数
cos 𝑧
1
2
𝑒
1𝑧
+ 𝑒
𝑖𝑧
, sin 𝑧
1
2𝑖
𝑒
𝑖𝑧
𝑒
𝑖𝑧
相应可以定义双曲函数
cosh 𝑧 =
1
2
(
𝑒
𝑧
+ 𝑒
𝑧
)
, sinh 𝑧 =
1
2
(
𝑒
𝑧
𝑒
𝑧
)
三角函数与双曲函数有如下关系
sin(𝑖𝑧) = 𝑖 sinh 𝑧, sinh(𝑖𝑧) = 𝑖 sin 𝑧
cos(𝑖𝑧) = cosh 𝑧, cosh(𝑖𝑧) = cos 𝑧
7.1 可微性
由指数函数性质可以推得三角函数和双曲函数在全平面处处解析, 且有与实数相同的导函数
(cos 𝑧)
= sin 𝑧, (sin 𝑧)
= cos 𝑧
(cosh 𝑧)
= sinh 𝑧, (sinh 𝑧)
= cosh 𝑧
7.2 周期性
sin 𝑧, cos 𝑧 2𝜋 为周期,cosh 𝑧, sinh 𝑧 2𝜋𝑖 为周期
, 即有
cos(𝑧 + 2𝑘 𝜋) = cos 𝑧, sin(𝑧 + 2𝑘𝜋) = sin 𝑧
cosh(𝑧 + 2𝑘 𝜋𝑖) = cosh 𝑧, sinh(𝑧 + 2𝑘 𝜋𝑖) = sinh 𝑧
代入定义式即证
7.3 零点
sin 𝑧 的全体零点为
𝑧 = 𝑛𝜋, 𝑛 Z
cos 𝑧 的全体零点为
𝑧 = 𝑛𝜋 +
𝜋
2
, 𝑛 Z
sinh 𝑧 的全体零点为
𝑧 = 𝑛𝜋𝑖, 𝑧 Z
cosh 𝑧 的全体零点为
𝑧 =
𝑛𝜋 +
𝜋
2
𝑖 , 𝑛 Z
通过定义式即证
7.4 三角恒等式
实三角函数的恒等式在复变情形下仍然成立
𝑠𝑖𝑛(𝑧) = sin 𝑧 , cos(𝑧) = cos 𝑧, 𝑠𝑖𝑛
2
𝑧 + cos
2
𝑧 = 1
sin(𝑧
1
± 𝑧
2
) = sin 𝑧
1
cos 𝑧
2
± cos 𝑧
2
sin 𝑧
2
cos(𝑧
1
± 𝑧
2
) = cos 𝑧
1
cos 𝑧
2
sin 𝑧
1
sin 𝑧
2
对于双曲函数也有类似性质
sinh(𝑧) = sinh 𝑧, cosh(𝑧) = cosh 𝑧, cosh
2
𝑧 sinh
2
𝑧 = 1
sinh(𝑧
1
± 𝑧
2
) = sinh 𝑧
1
cosh 𝑧
2
± cosh 𝑧
1
sinh 𝑧
2
cosh(𝑧
1
± 𝑧
2
) = cosh 𝑧
1
cosh 𝑧
2
± sinh 𝑧
1
sinh 𝑧
2
只需代入定义式即证
7.5 正切和余切
定义
cot 𝑧 =
cos 𝑧
sin 𝑧
, tan 𝑧 =
𝑠𝑖𝑛𝑧
cos 𝑧
cot 𝑧 tan 𝑧 的奇点分别为
𝑛𝜋 , 𝑛𝜋 +
𝜋
2
, 𝑛 Z
奇点外它们解析, 并且与实数相同有
(cot 𝑧)
=
1
sin
2
𝑧
, (tan 𝑧)
=
1
cos
2
𝑧
同样可以定义对应的双曲函数
coth 𝑧 =
cosh 𝑧
sinh 𝑧
, tanh 𝑧 =
sinh 𝑧
cosh 𝑧
它们的奇点分别为
𝑛𝜋𝑖 ,
𝑛𝜋 +
𝜋
2
𝑖, 𝑛 Z
奇点外它们解析, 并且有
(cosh 𝑧)
=
1
sinh
2
𝑧
, (tanh 𝑧)
=
1
cosh
2
𝑧
它们同样都具有周期性,tan 𝑧 , cot 𝑧 都是以
𝜋 为周期
的函数,
tan(𝑧 + 𝑝𝑖) = tan 𝑧 , cot(𝑧 + 𝜋) = cot 𝑧
tanh 𝑧 , coth 𝑧 都是以 𝜋𝑖 为周期的函数,
tanh(𝑧 + 𝜋𝑖) = tanh 𝑧 , coth(𝑧 + 𝜋𝑖) = coth 𝑧
7.6 三角函数的实部, 虚部和模
可以利用三角恒等式求解实部, 虚部和模. 如对于 cos 𝑧
cos 𝑧 = cos(𝑥 + 𝑦𝑖)
= cos 𝑥 cos(𝑦 𝑖) sin 𝑥 sin(𝑦𝑖)
= cos 𝑥 cosh 𝑦 𝑖 sin 𝑥 sinh 𝑦
于是得到
𝑅𝑒(cos 𝑧) = cos 𝑥 cosh 𝑦 , 𝐼𝑚(cos 𝑧) = sin 𝑥 sinh 𝑦
于是就能求得模长
|
cos 𝑧
|
=
q
cos
2
𝑥 cosh
2
𝑦 + sin
2
𝑥 sinh
2
𝑦
=
q
(1 sin
2
𝑥)(sinh
2
𝑦 + 1) + sin
2
𝑥 sinh
2
𝑦
=
q
sinh
2
𝑦 + 1 sin
2
𝑥
=
q
sinh
2
𝑦 + cos
2
𝑥
因而sin 𝑥 cos 𝑥 都无界
7.7 三角函数方程
将三角函数写成定义式即可化为多项式方程,
sin 𝑧 = 3
将其写为定义式得到
𝑒
𝑖𝑧
𝑒
𝑖𝑧
6𝑖 = 0
解得
𝑒
𝑖𝑧
=
3 ± 2
2
𝑖
再取对数得到
𝑧 =
2𝑘 +
1
2
𝜋 𝑖 ln
3 ± 2
2
8 反三角函数
利用 三角函数方程 可以得到反三角函数的表达式反正弦
𝐴𝑟𝑐𝑠𝑖𝑛𝑧 = 𝐿𝑛
𝑖𝑧 +
p
1 𝑧
2
反余弦
𝐴𝑟𝑐𝑐𝑜𝑠𝑧 = 𝐿𝑛
𝑧 +
p
𝑧
2
1
反正切
𝐴𝑟𝑐𝑡𝑎𝑛𝑧 =
𝑖
2
𝐿𝑛
1 + 𝑖𝑧
1 𝑖𝑧
反余切
𝐴𝑟𝑐𝑐𝑜𝑡𝑧 =
𝑖
2
𝐿𝑛
𝑧 𝑖
𝑧 + 𝑖
反双曲正弦
𝐴𝑟𝑐𝑠𝑖𝑛𝑧 = 𝐿𝑛
𝑧 +
p
𝑧
2
+ 1
反双曲余弦
𝐴𝑟𝑐𝑐𝑜𝑠𝑧 = 𝐿𝑛
𝑧 +
p
𝑧
2
1
反双曲正切
𝐴𝑟𝑐𝑡𝑎𝑛𝑧 =
1
2
𝐿𝑛
1 + 𝑧
1 𝑧
反双曲余切
𝐴𝑟𝑐𝑐𝑜𝑡𝑧 =
1
2
𝐿𝑛
𝑧 + 1
𝑧 1
9 一般幂函数
由指数函数可以定义幂函数
𝑧
𝛼
𝑒
𝛼𝐿𝑛𝑧
= 𝑒
𝛼
[
ln
|
𝑧
|
+𝑖
(
arg 𝑧+2𝑘 𝜋
)]
𝛼 Z
+
, 与乘方完全一致
𝛼 =
1
𝑛
, 与开方完全一致
𝛼 为有理数, 𝛼 为既约分数
𝛼 =
𝑚
𝑛
, 𝑚 Z, 𝑛 Z
+
𝑧
𝑚
𝑛
=
𝑛
𝑧
𝑚
=
𝑛
p
|
𝑧
|
𝑚
𝑒
𝑖𝑚 arg 𝑧
=
𝑛
p
|
𝑧
|
𝑚
𝑒
𝑖
𝑚 arg 𝑧+2𝑘 𝜋
𝑛
𝑧
𝑚
𝑛
𝑛 值函数. 需要注意的是 𝑧 0
𝛼 是无理数或一般复数 (不是实数) ,𝑧
𝛼
无穷多值函数