Note Link to heading

复变函数、积分变换与数学物理方程笔记
Tsui Dik Sang
2024 8 20 日—2025 3 29
复变 & 积分变换 & 数物方程笔记 Tsui Dik Sang
2
写在笔记之前
这个笔记始于去年暑假对复变函数的预习,当时主要使用的书籍是 [1],一路基本上只关注概念,偶尔看那么一两道题,
开学之前对傅里叶变换开了一个头,在开学之后的日子里,我们就换了 [2] 这本书进行自学,同时学院开课使用的是 [3, 4], 后来
觉得 [2] 太难了,就放弃了这本书,转而用 [3, 4] 完成了复变函数以及积分变换部分的学习 (大概是 10 月初的样子)
之后有一段时间的停滞,主要开始对前面复变内容补充一些基础题型的练习以及易错点,并且也对预习部分的一些不严谨或
者太粗糙的地方进行了修正 (比如留数在无穷积分中的应用)。在 10 月为了能学好电磁波决定开始学数学物理方程,在图书馆转
了一圈后觉得 [5]
没有太繁杂的证明,也比较清晰。于是开始学习。
这学期使用 L
A
T
E
X 做笔记谨慎了很多,对于预习的部分一般都是先看一遍书,记录出一些简介的纸质笔记,然后在纸质笔记
做完后几天甚至一周之后才开始做该部分 L
A
T
E
X 笔记才开始制作。这种做法虽然减缓了预习的进度,但是一定程度上也给了
自己更多的思考的空位,对于一些一开始看不懂的证明在经过一两周的思考后有时候会突然变得豁然开朗,因此我认为这种方式
是有益的,之后应该长期坚持。
另一方面,原来想要学习数物方程只是想要让学电磁波或者以后搞相关大创能够轻松一点,没想到后面这门课的抽象程度超
出了我的想象,因此学习进度也一拖再拖,直到寒假过半才整体性的过完了这本书 [5]。其中部分证明到现在也还未理解透彻。
希望我的笔记能给想要快速掌握这门课的人一点帮助, 部分内容需要参考提到的五本参考书 (大部分内容是对书中内容
解性的搬运)
Tsui Dik Sang
—2025.2.7
3
复变 & 积分变换 & 数物方程笔记 Tsui Dik Sang
4
目录
第一章 复变函数 13
1.1 基本运算的推广 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.1 共轭、模、四则运算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.2 开方和乘方 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.1.3 指对数运算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.1.3.1 指数运算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.1.3.2 对数函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.3.3 任意的幂函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.4 三角函数和反三角函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.4.1 三角函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.4.2 反三角函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2 复变函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.1 复数序列的极限 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.1.1 极限与连续性的应用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.1.2 用复数去表示曲线方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.2 基础定义 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.2.1 可导性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.3 存在性讨论 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.3.1 Cauchy-Riemann 方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.4 调和函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.3 积分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3.1 基本定义 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3.2 积分巧妙方法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3.2.1 参数化一元 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3.2.2 闭路定理 (柯西积分定理) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.2.3 柯西积分公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.2.4 柯西积分公式的推广 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.4 级数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4.1 复数序列 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4.2 复变函数项级数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4.3 幂级数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4.4 泰勒级数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.4.5 洛朗级数 Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.5 孤立奇点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.5.1 奇点分类 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.1.1 可去奇点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5
复变 & 积分变换 & 数物方程笔记 目录 Tsui Dik Sang
1.5.1.2 m 阶奇点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.1.3 本性奇点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.2 奇点类型判别法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.2.1 求极限法判别奇点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.2.2 零点判别奇点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.5.3 无穷孤立点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.6 留数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.6.1 留数的定义 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.6.2 留数的计算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.6.2.1 a
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.6.2.2 极限计算公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.6.2.3 复合函数计算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.6.3 留数的基本定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.6.4 留数在计算定积分时的应用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.6.4.1
´
2π
0
R(sin θ, cos θ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.6.4.2
´
−∞
R(x)dx . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
第二章 积分变换 43
2.1 傅里叶变换 F . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1.1 积分变换 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1.2 傅里叶积分与傅里叶积分定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1.2.1 傅里叶积分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1.2.2 傅里叶积分定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.1.2.3 傅里叶变换 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.1.3 广义傅里叶积分 (δ 函数的引入) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.1.3.1 定义 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.1.3.2 单位脉冲函数的性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.1.3.3 频谱概念 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.1.4 性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.1.4.1
线性性质
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.1.4.2 位移性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.1.4.3 频移特性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.1.4.4 相似性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.1.4.5 对称性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.1.4.6 微分性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.1.4.7 积分性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.1.4.8 乘积性质 * . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.1.4.9 能量积分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.1.5 卷积 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.1.6 一些常用的傅里叶积分题 (考试信手拈来) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.2 拉普拉斯变换 L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.1 定义以及存在性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.2 拉普拉斯存在性定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.3 拉普拉斯变换的性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.3.1 线性性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.3.2 相似性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
6
复变 & 积分变换 & 数物方程笔记 目录 Tsui Dik Sang
2.2.3.3 微分性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.2.3.4 积分性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.2.3.5 延迟性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2.3.6 位移性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2.3.7 周期函数的优化表达 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2.4 卷积 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2.5 拉普拉斯逆变换 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.2.5.1 利用留数计算反演积分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.2.6 实际运用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.2.6.1 求解常微分方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3 共形映射 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3.1 定义与概念 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3.1.1 导函数的几何意义 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3.1.2 不变性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.3.2 共形映射的存在性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.3.2.1 存在性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.3.2.2 唯一性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.3.3 分式线性映射 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.3.4 分型映射的分解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.3.4.1 反演映射 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.3.4.2 分形映射的保形性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.3.4.3 保圆性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
第三章 偏微分方程的建立 63
3.1 波动方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1.1 机械振动 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1.1.1 一维振动:弦 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1.2 二维振动:鼓膜 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.3 电磁振动 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.3.1 电报员方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.2 热传导方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.3 场分布的位势方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.4 边界条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
第四章 分离变量法 67
4.1 理论依据:权函数正交分解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.2 齐次方程与齐次条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2.1 弦的自由振动: 一维波动方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2.1.1 分离变量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2.1.2 解微分方程组 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2.1.3 确定积分常数级数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2.1.4 物理意义分析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2.2 杆的热传导:一维传热方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2.3 圆盘的稳态方程:二维热传导 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.3 非齐次方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.3.1 分离法代入 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
7
复变 & 积分变换 & 数物方程笔记 目录 Tsui Dik Sang
4.3.2 傅里叶分解的约化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.3.3 初值条件的代入 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.3.4 物理意义:谐振频率 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.4 非齐次边界条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.4.1 设立特解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.4.2 一类边界条件下的非齐次 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.4.3 二类边界条件下的非齐次 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.4.4 组合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
第五章 行波法 73
5.1 一维无界波动方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.1.1 算符法换元 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.1.2
物理意义
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.1.3 增添约束条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.1.3.1 一点固定:奇延拓 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.1.3.2 一点自由:偶延拓 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.2 二维行波法: 双曲型方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.1 方程换元变化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.1.1 换元代入 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.1.2 根据目标设置约束条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.1.3 等高线求解法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.1.4 原式化简 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.2.2 总结:双曲型方程分类 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3 三维波动方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3.1 球对称性情况 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3.2 非球对称性情况 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3.2.1 辅助量的引入 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3.2.2 r¯u 满足一维波动方程的证明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.3.2.3 套入行波法反解出 u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.4 二维波动方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.5 非齐次波动方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.5.1 一维维非齐次 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.5.1.1 数学解法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.5.1.2 物理解法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.5.2 二维 & 三维非齐次 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.5.2.1 三维 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.5.2.2 二维 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.6 解的物理意义 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.6.1 能量特性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.6.2 前锋与阵尾 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
第六章 积分变换法 83
6.1 求解分离变量法的问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
6.1.1 求解行波法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
8
复变 & 积分变换 & 数物方程笔记 目录 Tsui Dik Sang
第七章 格林函数法 Green 85
7.1 线性方程解的卷积表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.1.1 单位场源:以点电荷为例 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.1.1.1 关于原点对称的点电荷 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.1.1.2 非原点对称点电荷 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.1.1.3 离散的多个点电荷 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.1.1.4 连续分布的体电荷 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
7.2 位势方程的格林函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
7.2.1 明确目标 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
7.2.2 处理积分边界、区域以及被积函数 uv . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.2.3 格林公式的左边 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.2.4 格林公式的右边 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.2.5 合并得解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.2.6 不同边界条件的解的形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.2.6.1 第一类边界条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.2.6.2 第二类边界条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3 三维位势方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3.1 导体边界电势恒为零的单点电荷:第一类边界 (狄利克雷边界) . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3.1.1 垂直于平板边界 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3.2 垂直于平板边界电场恒为零:第二类边界 (诺依曼边界) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3.2.1 法拉第笼:球面电位为零的情况 (狄利克雷边界) . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
7.4 二维位势方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
7.5 波动方程的格林函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
7.5.1 单位冲激源以及其波动方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
7.5.2 积分时空域的定义和扩展 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.5.3 拉普拉斯算子
2
的扩展 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.5.4 四维第二格林公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.5.5 实际分析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
第八章 贝塞尔函数法
Bessel
93
8.1 贝塞尔方程的引入 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.1.1 方程建立与分离变量法的初步求解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.1.2 构造贝塞尔方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.2 贝塞尔方程的求解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
8.2.0.1 初步求特解:级数法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
8.2.0.2 构造特解 * . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.3 贝塞尔函数的性质与应用分析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.3.1 基本的性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.3.1.1 有界性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.3.1.2 奇偶性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
8.3.2 零点性质 (零点的周期性) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
8.3.3 半奇数阶的贝塞尔函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.3.3.1 定理阐述 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.3.3.2 证明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.3.4 正交性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.3.4.1 定理阐述 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
9
复变 & 积分变换 & 数物方程笔记 目录 Tsui Dik Sang
8.3.4.2 证明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
8.3.4.3 正交性的应用:级数分解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
8.4 贝塞尔函数的应用:解决一开始提出的方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.4.0.1 解贝塞尔方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.4.0.2 解决原方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.5 更多贝塞尔函数的表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.5.1 汉克尔函数:第三类贝塞尔函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.5.1.1 定义 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.5.1.2 性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.5.1.3 变形的贝塞尔函数:虚宗量的贝塞尔函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.5.2 贝塞尔函数的渐近公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
8.5.2.1 x 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
8.5.2.2 x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
8.5.3 球贝塞尔函数:极坐标形式波动方程的贝塞尔解法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
8.5.3.1 球贝塞尔方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
8.5.3.2 求解球贝塞尔方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
第九章 勒让德多项式 Lengendre 105
9.1 勒让德方程的引入 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
9.1.1 对原方程分离变量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
9.1.2 整理方程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
9.2 勒让德方程的求解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
9.2.1 级数法求解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
9.2.2 勒让德多项式的引入 (勒让德多项式的级数表示) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
9.2.3 其他形式的勒让德多项式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
9.3 勒让德多项式的性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
9.3.1 基本性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
9.3.2 正交性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
9.3.2.1 定理阐述 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
9.3.2.2 证明:利用微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
9.3.2.3 应用:广义傅里叶展开 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
9.3.3 勒让德函数的递推公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
9.4 勒让德函数的应用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
9.4.1 匀强电场产生的电位 u
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
9.4.2 接地球产生的电位 u
2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
9.4.2.1 分离变量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
9.4.2.2 合并 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
9.5 连带的勒让德多项式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
9.5.1 求解 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
9.5.1.1 处理普通勒让德多项式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
9.5.1.2 猜根 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
9.5.2 正交性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
9.5.2.1 阐述 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
9.5.2.2 证明:同样结合勒让德多项式的微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
第十章 笔记结束 115
10
复变 & 积分变换 & 数物方程笔记 目录 Tsui Dik Sang
附录 A 代码 119
A.1 辐角的函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
A.2 Γ 函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
A.3 贝塞尔函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
A.4 第一类虚宗量贝塞尔函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
A.5 第二类虚宗量贝塞尔函数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
A.6 勒让德多项式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
11
复变 & 积分变换 & 数物方程笔记 目录 Tsui Dik Sang
12
第一章 复变函数
1.1 基本运算的推广
引理 1.1.1. 唯一的不能通过基本运算法则直接得出的额外公式:欧拉公式
e
= cos θ + i sin θ (1.1)
有泰勒级数可以加以推导
其余的法则都可以通过基本运算法则加上欧拉公式得以推出
1.1.1 共轭、模、四则运算
有以下比较难记的结论
定理 1.1.2.
z
1
z
2
= ¯z
1
¯z
2
(1.2)
z
1
z
2
=
¯z
1
¯z
2
(1.3)
z¯z = z
2
= |z|
2
(1.4)
z
1
z
2
=
|z
1
|
|z
2
|
(1.5)
|z
1
· z
2
| = |z
1
| · |z
2
| (1.6)
z
2
为实数时,还有
z
1
z
2
= z
1
z
2
(1.7)
这个结论在
z
1
z
2
=
|z
1
|
|z
2
|
(1.8)
下面有几个常用的代换式
定理 1.1.3.
x = Res(z) =
1
2
(z + ¯z)
y = Im(z) =
1
2i
(z ¯z)
2Res(z
2
¯z
1
) = 2 Res(z
1
¯z
2
) = z
1
¯z
2
+ z
1
¯z
2
+ z
2
¯z
1
(1.9)
通过1.6,1.5两个定理,可以具象化大部分比较抽象的复数乘除法运算。
1.9可以用来构造曲线的复数表示!具体可以参加书本 p
67
, T
10
13
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
下面看一个用1.5 做的妙题:由
z
2
z
1
z
3
z
1
=
z
1
z
3
z
2
z
3
求证:
|z
2
z
1
| = |z
3
z
1
| = |z
3
z 2| (1.10)
解:
左右两式相加还可以添加一个等式,即:
z
2
z
1
z
3
z
1
=
z
1
z
3
z
2
z
3
=
z
2
z
3
z
2
z
1
整理一下:
z
2
z
1
z
3
z
1
=
z
2
z
3
z
2
z
1
|z
2
z
1
|
2
= |z
2
z
3
||z
3
z
1
|
z
1
z
3
z
2
z
3
=
z
2
z
3
z
2
z
1
|z
2
z
3
|
2
= |z
1
z
3
||z
3
z
1
|
上面两式对调相乘,得到
|z
2
z
1
|
3
|z
1
z
3
| = |z
2
z
3
|
3
|z
1
z
3
|
三个数不等可消,得到 |z
2
z
1
| = |z
2
z
3
|, 同理可以得到另外的结论进一步还有一些比较难想到的推论,比如
推论 1.1.4.
|z
1
± z
2
|
2
= (z
1
± z
2
)( ¯z
1
± ¯z
2
) = |z
1
|
2
+ |z
2
|
2
± (z
1
¯z
2
+ z
2
¯z
1
) = |z
1
|
2
+ |z
2
|
2
+ 2Res(z
1
¯z
2
) (1.11)
下面来看一道 z 变换的题:
通过 w =
1
z
怎么样将 z 变换?
:
z = x + iy,则函数 w =
1
z
对应于
u =
x
x
2
+ y
2
, v =
y
x
2
+ y
2
(1.12)
z 平面上的已知曲线方程代入上面两式消去参数即可得它们的像曲线。
1.1.2 开方和乘方
首先需要知道复数的三角表示
引理 1.1.5.
z = r(cosθ + isinθ), (θ (π, π]) (1.13)
定义两个运算
Argz = θ + 2i
argz = θ,
(1.14)
从而得到
定理 1.1.6.
z
1
z
2
= r
1
r
1
(cos(θ
1
+ θ
2
) + isin( θ
1
+ θ
2
)) (1.15)
14
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
同理有除法,通过一些几何上的推导,其实容易得到 argz 的二元函数:
arg z =
arctan
y
x
, x > 0 (y R) 右半平面
π
2
, x = 0 , y > 0 正虚轴
arctan
y
x
+ π, x < 0, y 0 第二象限
arctan
y
x
π, x < 0, y < 0 第三象限
π
2
, x = 0, y < 0 负虚轴
无定义!, (0, 0)
(1.16)
可以尝试用 Mathematica 软件绘制其图形A.1
这个图形对于了解 arg 函数非常直观,我们在下面的一道例题中会详细说明看一道例题
化简
(1
3)(cosθ + isinθ)
(1 i)cosθ isinθ
(1.17)
原式 =
2
cos
π
3
isin
π
3

2
cos
π
4
isin
π
4

·
cosθ + isinθ
cos(θ) isin(θ)
=
2 · 1
2 · 1
·
cos
π
3
π
4
+ θ (θ)
isin
π
3
π
4
+ θ (θ)

=
2
h
cos
2θ
π
12
isin
2θ
π
12
i
解题步骤:
将复数对应成相应的三角表示
然后对应做乘法/减法
同理就有了推广开来的乘方运算和开方运算, 但是要注意开方运算可能会出现多值情况
15
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
-2 -1 0 1 2
-2
-1
0
1
2
Re
(
z
)
Im(z)
Argument of Complex Number z
推论 1.1.7.
z
1
z
2
= r
1
r
1
(cos(θ
1
+ θ
2
) + isin( θ
1
+ θ
2
)) (1.18)
w =
n
z = r
1
n
cos
θ + 2kπ
n
+ isin
θ + 2kπ
n

(1.19)
关于 n 的扩展,后面的幂函数还会提到,从而讨论究竟有多少个值
1.1.3 指对数运算
1.1.3.1 指数运算
通过欧拉方程就可以直接推出
e
z
= e
x+iy
= e
x
(cosy + isiny) (1.20)
注意,这不再是一个一一对应的函数,但是还是一个单值函数
16
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
推论 1.1.8.
e
z
=1 z = 2kπi
e
z
1
=e
z
2
z
1
= z
2
+ 2kπi
(1.21)
这个结论进一步说明了这是一个周期函数
1.1.3.2 对数函数
Lnz = ln|z| + iArgz (1.22)
这是一个多值函数 一般取 Arg 为主值 arg 记为
Lnz = ln|z| + iArgz
lnz = ln|z| + iargz
(1.23)
这里要注意 arg 的定义 (1.13)
对数函数一个多值函数,但是主值是唯一的
Lnz = lnz + 2kπi (1.24)
1.1.3.3 任意的幂函数
使用对数定义
w = z
a
= e
aLnz
= e
alnz+iakπ
(1.25)
下面对这个式子进行分类讨论
• a 为整数时后面的项为 1,消去,实为单值函数
• a 为有理数时后面的项不能消去,但是由于有理数的比值,可以得到有有限个值
• a 为无理数时不能表示成比值,是个无穷多值函数
1.1.4 三角函数和反三角函数
1.1.4.1 三角函数
普通三角函数,通过欧拉公式相消
e
ix
= cosx + isinx
e
ix
= cosx isinx
(1.26)
得到
cosx =
1
2
(e
ix
+ e
ix
)
sinx =
1
2
i
(e
ix
e
ix
)
(1.27)
17
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
1.1.4.2 反三角函数
使用二次方程求根公式推导
w = Arccosz
z = cosw =
1
2
(e
iw
+ e
iw
)
e
2iw
2ze
iw
+ 1 = 0
e
iw
= z +
p
z
2
1
Arccosz = iLn(z +
p
z
2
1)
(1.28)
得到
Arccosx = iLn(z +
z
2
1)
Arcsinx = iLn(iz +
1 z
2
)
(1.29)
注意,求根公式有两个共轭的根的,但是这里只取了一个,因为另外一个不满足欧拉方程,请看:
z = cosw
如果两个调和函数还满足 C
e
iw
= z +
p
z
2
1
代入,得到
e
iw
= cosw
p
z
2
1
= cosw
p
sin
2
w
= cosw isinw
不满足欧拉方程,只有取加号的时候才满足,因此负号的情况被舍去因此这两个都是多值函数。下面来看一道容易犯错的题:
sin z = 0 (1.30)
1
1.2 复变函数
实际上类似于二元实变函数
1.2.1 复数序列的极限
与二元函数类似,但是有时候其实又不如二元函数那么直观,下面将几个极限的应用,也当时对二元函数性质的一些复习:
1.2.1.1 极限与连续性的应用
求证:argz在负实轴和原点处不连续。 (1.31)
这道题如果我们看 1.1.2的话是显然的,那怎么样证明呢?必须回归定义,证明其在某一些区域不连续实际上是要证明
题目所给的点处极限不存在
原点处:
我们其实可以直接
arg
函数在
0
处没有定义就可以得到其不连续,不过笔者觉得还可从极限不存在的角度予以证明
.
是需要代入 argz 的表达式,此处从略
从上半平面趋近得到的极限是 π,从下半平面趋近是 π, 因此极限不存在,得证.
1
这题有两种做法,一种是用 sinz 的定义式代入,这个不容易出错,还有一种是直接用 z=Arcsin0,这里需要注意!
1 是多值的!
18
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
1.2.1.2 用复数去表示曲线方程
如果直接向可能比较难,但是如果知道了下面的转换,那其实就都很简单了
定理 1.2.1.
x =
z+¯z
2
y =
z¯z
2i
(1.32)
代入到原始的方程中即可得到复数表示的曲线方程比如可以看看第五版复变函数 P24 1.12下面就摘抄几个,读者可以试试
2
• |z-a|+|z+a|=b, 其中 a,b 为正实常数
• |z-a|=Res(z-b), 其中 a,b 为实常数
z¯z + a¯z + ¯az + b = 0, 其中 a 为复常数,b 为常实数
1.2.2 基础定义
1.2.2.1 可导性
根据定义,delta 极限恒存在则可导。,在定义中可以完全将 z 当成一个数去看待,满足一切导数的规则
四则运算
反函数和链式法则
“洛必达”(此处称为 L’Hospital 法则)
1.2.3 存在性讨论
1.2.3.1 Cauchy-Riemann 方程
其实就是二元函数的导数存在性定理(这里叫解析)得到实部和虚部的函数满足下面两个等式
u
x
=
v
y
u
y
=
v
x
(1.33)
进一步可以证明到可微与可导直接的关系
定理 1.2.2. 对于一个单只函数 f(z) = u + iv,
可导 可微并且满足 CR 条件
a
a
必要性证明使用的是可微的定义,而充分性证明需要用 cR 条件代入
推论 1.2.3. f(z) 处处解析并且为 0,则为常值函数
根据这个推论,我们还可以得到下面的结论
推论 1.2.4. 初等函数(指对数、三角反三角函数等)都是解析函数(并且其四则运算之后也是)
a
a
证明只需要代入看看满不满足 C-R 方程就可以了
2
一定要记得分类讨论哦!
19
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
推论 1.2.5. CR 方程的极坐标形式
u
r
=
1
r
v
θ
v
r
=
1
r
u
θ
(1.34)
a
b
a
这里要补充一个可能被遗忘的高数知识 (详细推导见高数上 p
367
):
u
x
=
y
v
J
, v
x
=
y
u
J
u
y
=
x
v
J
, v
y
=
x
u
J
, J =
D(x, y)
D(u, v)
(1.35)
b
首先使用链式法则将关于 xy 的全部换成关于 r, θ
u = u(x, y), v = v(x, y),
由于
x = r cos θ, y = r sin θ,
代入后,u v 都是 r θ 的函数,并且
r =
p
x
2
+ y
2
, θ = arctan
y
x
.
利用链式法则并结合1.35可得:
u
x
=
u
r
cos θ
sin θ
r
u
θ
,
u
y
=
u
r
sin θ +
cos θ
r
u
θ
,
v
x
=
v
r
cos θ
sin θ
r
v
θ
,
v
y
=
v
r
sin θ +
cos θ
r
v
θ
.
代入 C-R 方程则有
u
r
1
r
v
θ
cos θ =
v
r
+
1
r
u
θ
sin θ, (1.36)
u
r
1
r
v
θ
sin θ =
v
r
+
1
r
u
θ
cos θ. (1.37)
1.36 式乘以 cos θ1.37 式乘以 sin θ 并相加得
u
r
1
r
v
θ
= 0.
从而得
u
r
=
1
r
v
θ
.
题中另一方程用类似方法可得。证毕
1.2.4 调和函数
满足拉普拉斯方程
ϕ
ϕx
2
+
ϕ
ϕy
2
= 0 (1.38)
的函数 ϕ 叫做调和函数
定理 1.2.6. 若复变函数 f(z) 解析,则其实部和虚部的函数都是调和函数
a
a
证明需要使用 CR 定理和二阶混合导相等的定理
根据这个定理,可以出一些题目,请看下面的例题
20
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
设函数u(x, y) = ϕ(
y
x
)在半平面内调和,试求其共轭函数f(z), 使得 f(z) 为解析函数 (1.39)
解:
首先求出u (x, y) , 我们先把
2
u
x
2
2
u
y
2
求出来,代入到拉普拉斯方程, 化简,得到
ϕ
′′
(t)
ϕ
(t)
=
2t
1 + t
2
,
其中t =
y
x
从而解出 u
进一步,通过二元函数的微分技巧结合 CR 方程,可以将 v 也解出来,最终结果为
f(z) = Carctan
y
x
+ C
1
+ i[Cln
p
x
2
+ y
2
+ C
2
] = ··· = αlnz + β (1.40)
其中 lnz 是复数 z 的对数,在之前也已经讲过,以后可以再仔细做一做这一题的化简
我们还有下面的定义
定义 1.2.1. 如果两个调和函数还满足 C-R 方程,那么称为共轭调和函数
推论 1.2.7. u v 的等值线是垂直的
a
a
通过 C-R 方程可以证明
1.3 积分
1.3.1 基本定义
本质上相当于曲线二元函数的积分、其积分就是平面曲线积分。因此,我们可以同理推出下面的结论:
定理
1.3.1.
积分路径相反,符号相反
正负号可以提出也可以放进
系数可以提出也可以放进
下面有一个根据黎曼和将复积分变为实积分的普适性的推论
推论 1.3.2.
ˆ
C
f(z)dz =
ˆ
C
(u(x, y) + iv(x, y)) dz =
ˆ
C
[u(x, y)dx v(x, y)dy] + i
ˆ
C
[u(x, y)dy + v(x, y)dx] (1.41)
但是假如是参数方程形式的话,我们一般用的比较多的是参数方程,下面就介绍几个用来简便运算的方法
1.3.2 积分巧妙方法
1.3.2.1 参数化一元
21
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.3.3.
ˆ
γ
f(z) =
ˆ
b
a
f(z(t))z
(t)dt (1.42)
然后介绍几种比较常见的换参数方法
1. (圆周积分)|z z
0
| = r z(θ) = z
0
+ re
, θ [0, 2π] 根据这个换元,我们可以推出一个很经典的积分公式
˛
|zz
0
|=r
dz
(z z
0
)
n+1
=
2πi, n = 0
0, n ̸= 0
(1.43)
2. ···
然后还可以用下面的结论获得积分的一个上界
推论 1.3.4.
ˆ
f(z)dz < ML(γ) (1.44)
1.3.2.2 闭路定理 (柯西积分定理)
定理 1.3.5.
a
如果 f(z) 在单连通区域 D 内处处解析,
˛
C
+
f(z)dz = 0 (1.45)
a
证明:使用1.41分出虚实,然后分别对虚实部用格林公式
当然,这个公式也有对于多连通区域的升级版
推论 1.3.6.
˛
C
+
out
+
C
in
f(z)dz = 0 (1.46)
书中给到的对于 n=2(两个洞) 的情况的证明是相当有趣的,与之前格林公式的证明有一点不同
证明. 用三条线连接两个洞以及两个洞与区域边界,从而将区域分成了两个单连通区域,
对两个区域分别用定理,
两式相加
重合但反号的部分可以相消
得到结果
1.3.2.3 柯西积分公式
22
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.3.7. f(z) 在闭曲线 C 上以及内部解析,而点 z
0
D 内任意一点
f(z
0
) =
1
2πi
˛
C
f(z)
z z
0
dz (1.47)
这个公式的意义是使得在边界积分值知道的情况下,可以求出解析函数内部任意一点的值其证明比较有一丝
证明. ε > 0 为半径,z
0
为圆心在 D 内做一个圆周 K,根据定理1.3.6, 我们可以有
˛
C
f(z)
z z
0
dz =
˛
K
f(z)
z z
0
dz
= f (z
0
)
˛
K
1
z z
0
dz +
˛
K
f(z) f(z
0
)
z z
0
dz
= 2πif (z
0
) +
˛
K
f(z) f(z
0
)
z z
0
dz
ε 0, 上式第二项趋近于 0,因此就可以证得上面的定理
这里还需要说一下从第二行到第三行的变换其实是使用了圆周换元来算第一项的积分
显然的,这个公式对于多链条区域也是适用的,证明也相似下面我们来看一道使用了这个定理的例题
利用积分
¸
|z|=1
e
z
z
dz 来计算下面两个积分:
ˆ
2π
0
e
cosθ
sin(sinθ)
ˆ
2π
0
e
cosθ
cos(sinθ) (1.48)
首先,利用柯西积分公式来计算原积分:
˛
|z|=1
e
z
z
dz = 2πie
z
|
z
= 0 = 2πi
然后开始换元 θ 来构造实积分, z = ie
, (θ [0, 2π]),
˛
|z|=1
e
z
z
dz =
ˆ
2πi
0
e
e
e
=
ˆ
2πi
0
ie
cosθ+isinθ
=
ˆ
2π
0
e
cosθ
sin(sinθ) + i
ˆ
2π
0
e
cosθ
cos(sinθ)
== 2πi
然后比较虚实部,得到
´
2π
0
e
cosθ
sin(sinθ) = 0
´
2π
0
e
cosθ
cos(sinθ) = 2π
(1.49)
1.3.2.4 柯西积分公式的推广
f
(n)
(z
0
) =
n!
2πi
˛
C
f(z)
(z z
0
)
n+1
dz (1.50)
这个方程需要用数学归纳法,不好证明,但是一定要记住,非常常用。
柯西积分公式以及其推广可以解决大部分的分式积分问题,但是并不是全部,看下面的题目就不能用可惜积分公式解决:
23
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
˛
C
e
z
(z
2
+ 1)
2
dz, 1
˛
C
(1.51)
:
函数
e
z
(z
2
+i)
2
C 内的 z = ±i 处不解析。我们在 C 内以 i 为中心作一个正向圆圈 C
1
i 为中心作一个正向圆圈 C
2
,那么函数在由 C, C
1
C
2
所围成的区域内是解析的。根据复合合围定理,得
˛
C
dz =
˛
C
1
dz +
˛
C
2
dz.
然后分开两个小圈圈使用柯西积分公式,即可得
˛
C
e
z
(z
2
+ i)
2
=
2
1
π
4
在分母存在多个因式的时候可以参照这个方法分出多个小圈圈来算,当然,也可以使用裂项,分开使用柯西积分公式
1.4 级数
1.4.1 复数序列
复数的积分与多元函数类似,但是对于复数序列来说,却仍然还是只有一个未知数 n因此在讨论复数序列极限时,仍然只
需要讨论数列的极限,这里,我们先对复平面邻域的概念很容易就可以推出其定义
定义 1.4.1.
ε > 0, N, n > N, |z z
0
| < ε (1.52)
那么就说z
n
极限存在,
lim
n+
z
n
= z
0
(1.53)
根据这个定义,再根据模的运算,很容易得到下面的结论
定理 1.4.1. (” 分别收敛 定理) 复数项级数
X
n=1
z
n
(z
n
= a
n
+ ib
n
, n = 1, 2, 3 ···)
收敛的充分条件是
X
n=1
a
n
X
n=1
b
n
都收敛
同理的,我们可以根据加绝对值号“||”来定义出绝对收敛和条件收敛,这里从略了不过给出下面二重不等式,对于该结论的
系列证明都很有帮助
推论 1.4.2. (二重不等式)
|a
n
|
|b
n
|
|z
n
| |a
n
| + |b
n
| (1.54)
据此还可以结合辐角推出一个实用的结论
24
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
推论 1.4.3.
x
n
= |z
n
|cos(arg z
n
) |z
n
|cos α |z
n
|
x
n
cos α
(1.55)
使用这个结论可以证明下面的题 (结论)
推论 1.4.4. * 假如复数全部位于一个扇形区域 α arg z α(α (0, π)), 那么
X
n=1
z
n
X
n=1
|z
n
| 同收敛
a
a
自己尝试证明吧!
我们
1.4.2 复变函数项级数
一切函数项级数的结论都可以类推过来,包括一致收敛以及由此产生的连续、可积、求导等结论,以及判别法上的强级数判
别法
3
但是这里还是要对积分的概念强调一下,这里是进行曲线积分
:
定理 1.4.5. (积分次序课交换) 若复变函数 f
n
(z) 在逐段光滑曲线 C 上连续,且
P
n=1
f
n
(z) 在其上面已知收敛于 s(z),
s(z) C 上逐段可积,并且有
ˆ
C
X
n=1
f
n
(z)dz =
ˆ
C
s(z)dz =
X
n=1
ˆ
C
f
n
(z)dz (1.56)
1.4.3 幂级数
完全可以当 z 为一个数去看待,一切结论都适用
定义 1.4.2.
X
n=1
a
n
(z z
0
)
n
(1.57)
然后收敛域变成了收敛圆,收敛半径的求法不变,还是达朗贝尔判别法和柯西判别法,对实级数进行操作来获得收敛半径,运算
法则加减法之前都有提到过,下面给出乘除法的定理
推论 1.4.6.
X
n=1
α
n
z
n
!
X
n=1
β
n
z
n
!
=
X
n=0
(α
0
β
n
+ α
1
β
n1
+ α
2
β
n2
+ ··· + α
n
β
0
)z
n
(1.58)
其实就是相同次数的相互配对,
下面来看一道例题
3
但是 Abel Dirichlet 判别法好像没有提到,可能对于无法分出虚实部的复变函数来说可行性不高
25
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
f(z) =
1
z
3
+ z
2
z 1
(1.59)
表示乘幂级数的形式
解:
由于
1
z
3
+ z
2
z 1
=
1
z 1
·
1
(z + 1)
2
然后
1
z 1
=
X
n=0
z
n
1
(z + 1)
2
=
X
n=0
(1)
n+1
(n + 1)z
n
|z| 1
然后做乘法,可以得到最终为
X
n=0
(z
2n+1
z
2n
), |z| 1
除法有下面的定理
推论 1.4.7.
X
n=1
α
n
z
n
!
/
X
n=1
β
n
z
n
!
=
α
0
β
0
+
α
1
β
0
α
0
β
1
β
2
0
z + ··· (1.60)
同样的,这个结论也是通过系数配对来得到的,不同的是这个用到了整式的长除法
1.4.4 泰勒级数
首要任务是回顾高数,背诵下面的公式!
4
e
z
=
X
n=0
1
n!
z
n
= 1 + z +
1
2!
z
2
+ ··· +
1
n!
z
n
+ ··· , z (−∞, +)
sin z =
X
n=0
(1)
n
(2n + 1)!
z
2n+1
= z
1
3!
z
3
+
1
5!
z
5
··· +
(1)
n
(2n + 1)!
z
2n+1
+ ··· , z (−∞, +)
cos z =
X
n=0
(1)
n
(2n)!
z
2n
= 1
1
2!
z
2
+
1
4!
z
4
··· +
(1)
n
(2n)!
z
2n
+ ··· , z (−∞, +)
ln(1 + z) =
X
n=0
(1)
n
n + 1
z
n+1
= z
1
2
z
2
+
1
3
z
3
··· +
(1)
n
n + 1
z
n+1
+ ··· , z (1, 1]
1
1z
=
X
n=0
z
n
= 1 + z + z
2
+ z
3
+ ··· + z
n
+ ··· , z (1, 1)
1
1+z
=
X
n=0
(1)
n
z
n
= 1 z + z
2
z
3
+ ··· + (1)
n
z
n
+ ··· , z (1, 1)
(1 + z)
m
= 1 +
X
n=1
α(α 1) ···(α n + 1)
n!
z
n
= 1 + αz +
α(α 1)
2!
z
2
+ ··· +
α(α 1) ···(α n + 1)
n!
z
n
+ ··· , z (1, 1)
arctan z =
X
n=0
(1)
n
2n + 1
z
2n+1
= z
1
3
z
3
+
1
5
z
5
+ ··· +
(1)
n
2n + 1
z
2n+1
+ ··· , z (1, 1)
arcsin z =
X
n=0
(2n)!
4
n
(n!)
2
(2n + 1)
z
2n+1
= z +
1
6
z
3
+
3
40
z
3
+ ··· , z (1, 1)
4
下面的公式是 ai 根据图片生成,请及时纠出可能出现的错误
26
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.4.8. (泰勒展开定理)
f(z) 在单连通区域 D 内处处解析,
z
0
D 内的一点,R z
0
D 的边界的距离,
则当 |z z
0
| < R
f(z) = a
0
+ a
1
(z z
0
) + a
2
(z z
0
)
2
+ ··· + a
n
(z z
0
)
n
+ ··· (1.61)
其中
a
n
=
1
2πi
˛
C
r
f(z)
(z z
0
)
n+1
dz =
f
(n)
(z
0
)
n!
, n = 1, 2, 3, ··· (1.62)
C
r
z
0
为圆心
落在 |z z
0
| < R
任意圆周
证明需要用到柯西公式,读者自证不难 进而由幂级数的解析性质可以得到下面的充要条件
推论 1.4.9. 函数 f(z) 在点 z
0
解析 f(z) z
0
附近可以用幂级数表示
进一步还有唯一性定理
推论 1.4.10.
a
f(z) z
0
附近可以用幂级数表示,则这个幂级数只能是泰勒级数
a
反证法即可证明
常见初等函数的泰勒展开就与实数是一样的了,这里就不列举了。当然,在涉及复数运算时还是会有一些不同的题目出现,下面
来看三道
27
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
1.
(虚实分开)
求级数
X
n=0
(4)
n
(2n)!
X
n=0
(4)
n
(2n + 1)!
提示,可以先求泰勒展开e
z
(1.63)
已知
e
z
=
X
k=0
z
n
n!
, z C
z=2i
e
2i
=
X
n=0
(2i)
2n
(2n)!
+
X
n=0
(2i)
2n+1
(2n + 1)!
(1.64)
=
X
n=0
(4)
n
(2n)!
+ 2i
X
n=0
(4)
n
(2n + 1)!
(1.65)
= cos2 + isin2 (1.66)
比较虚实即可得到答案
2. f(z) 在复平面上解析。并且 f(z) |z|
n
(n 1),为一个整数,求证
f(z) = az
n
, |a| 1 (1.67)
直接使用泰勒定理,有
f(z) =
X
k=0
a
k
z
k
(1.68)
(a
k
=
1
2πi
˛
|z|=R
f(z)
z
k+1
dz, n 0, R 0) (1.69)
从而
|a
k
|
1
2πi
˛
|z|=R
|f(z)|
|z
k+1
|
dz (1.70)
1
2πi
˛
|z|=R
1
|z|
k+1n
dz (1.71)
=
1
R
k=n
(1.72)
注意,对与 n 0, R 0,上式都成立,因此下面分情况讨论
• k=n, |a
n
| 1
• k>n, R ,则 a
k
= 0
k<n , R 0, a
k
= 0
因此, 就得到了题目要证明的结论,f(z) 只有 z
n
1.4.5 洛朗级数 Laurent
简答的说,这个级数是泰勒级数的扩展,含有负幂次项,用来处理在某一点完全没有定义,但是在其邻域却均有定义的函数
的幂级数展开式,一个很简单的例子就是
1
z
,想要在 z = 0 处展开这个式子,就必须含有负幂次项
28
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
所以其一般定义就是
X
n=−∞
a
n
(z z
0
)
n
= lim
n→∞
n
X
k=0
a
k
(z z
0
)
k
+ lim
m→∞
m
X
k=1
a
k
(z z
0
)
k
(1.73)
解析部分
主要部分
在我们处理这个级数的时候可以使用换元法,变负幂为正幂,得到下面的定理
5
定理 1.4.11. 若洛朗级数1.73有收敛域,那么必为圆环域
D : R
1
< |z z
0
| < R
2
, (1 R
1
< R
2
+) (1.74)
其中 R
1
为主要部分级数的收敛半径 (换元成正幂之后)R
2
为主要部分的收敛半径其展开定理与泰勒展开1.62完全一样
定理 1.4.12.
a
(洛朗展开定理)
a
n
=
1
2πi
˛
C
f(z)
(z z
0
)
n+1
dz =
f
(n)
(z
0
)
n!
, n = 1, 2, 3, ··· (1.75)
a
这个定理的证明必泰勒复杂一点,需要用到多连通区域的复合闭路定理,可尝试自证
不过还是要注意这里的 C 是圆环内的任意圆周
当然,除此之外,还有唯一性定理,这里就不展开了。然后求洛朗级数的方法也是先化简原式到初等函数的简单加减乘法,
再展开,这里给一道例题
用洛朗级数展开下面的式子
f(z) =
z
2
2z + 5
(z
2
+ 1)(z 2)
(1.76)
首先对分母进行因式分解,然后拆开
f(z) =
1
z 2
2
z
2
+ 1
(1.77)
=
1
2
1
1
z
2
2
z
2
(1 +
1
z
2
)
(1.78)
=
1
2
X
k=0
z
n
2
n
1
z
2
(1)
n
1
z
2
n
, (1.79)
再进一步化简就可以得到,可以看到,我们在分母因式分解之后相当于分成了两个部分来做,一个部分就是解析部分,与泰
勒级数一致,后面的部分就是主要部分,需要先把负幂次提出来,在换元代入。
下面我们再看一道虚实对应的题:
5
证明略去了,就是换元法去证明
29
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
已知 0<r<1 求实级数
X
n=1
r
n
cos(n + 2)θ
X
n=1
r
n
sin(n + 2) θ (1.80)
提示:利用分解级数
1
z
·
1
zr
:
1
z
·
1
z r
=
1
z
2
·
1
1
r
z
(1.81)
=
1
z
2
·
X
n=0
r
n
z
n
(1.82)
=
X
n=0
r
n
z
n+2
(1.83)
构造要求的级数:,令 z = e
X
n=0
r
n
z
n+2
=
X
n=0
r
n
2
(n+2)θi
(1.84)
=
X
n=0
r
n
e
(n+2)θi
(1.85)
=
X
n=0
r
n
cos(n + 2)θ i
X
n=0
r
n
sin(n + 2) θ (1.86)
利用欧拉公式直接分开虚实 (第二步使用了平方差公式来进行分母“有理化”)
1
z
·
1
z r
=
1
cosθ + isinθ
·
1
cosθ r + isinθ
(1.87)
=
cosθ isinθ
cosθ r + isinθ
(1.88)
=
(cosθ isinθ)(cosθ r isinθ)
1 2rcosθ + r
2
(1.89)
=
cos2θ rcosθ + i( rsinθ sin2θ)
1 2rcosθ + r
2
(1.90)
比较虚实就可以得到答案
实际上是对孤立奇点的讨论,那么我们就从七点开始
1.5 孤立奇点
定义 1.5.1 (孤立奇点). 若函数 f(z) 在除 z
0
点的邻域内出处解析,那 z
0
点就是一个孤立奇点,在邻域 D 内可以展开成
洛朗级数1.73
事实上,有孤立就有非孤立,课本中对于非孤立奇点只是通过例题来展现的,
6
定义 1.5.2 (非孤立奇点 (不严格的定义)). 如果非解析点 z
0
找不到一个邻域使得在该邻域内只有 z
0
是唯一奇点,那么 z
0
是非孤立奇点。
根据展开的洛朗级数的不同,又可以将孤立奇点分成几种
6
比如 z=0 就是
1
sin
1
z0
的非孤立奇点:
30
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
1.5.1 奇点分类
1.5.1.1 可去奇点
定义 1.5.3. 1.75中的负幂项都是零的时候,称 z
0
f(z) 的可去奇点,此时其实该函数本身解析式是可以在 z
0
处定义的,
只是没有取到而已,通过更改 z
0
的值可以让整个圆盘区域都可解析
1.5.1.2 m 阶奇点
定义 1.5.4. 1.75中只有有限个负幂项不为零的时候,称 z
0
f(z) 的奇点,特别的,关于 ( z z
0
)
1
的最高幂次为 m 时,
称其为 m 阶奇点,即:
f(z) =
1
(z z
0
)
m
g(z) (1.92)
其中
g(z) =a
m
+ a
m+1
(z z
0
) + ··· + a
0
(z z
0
)
m
+ a
1
(z z
0
)
m+1
(1.93)
g(z
0
) ̸=0 (1.94)
1.5.1.3 本性奇点
定义 1.5.5. 1.75中有无穷多个负幂项不为零的时候,称 z
0
f(z) 的本性奇点,
最后,我们想要提醒一下,注意指数函数以及三角函数的周期性!这会导致出现无穷个奇点的情况,请注意分类讨论
1.5.2 奇点类型判别法
1.5.2.1 求极限法判别奇点
下面提到的定理都是充要条件, 前提条件都是 f(z) 0 < | z z
0
| < δ,读者自证不难
定理 1.5.1.
存在有限极限 lim
zz
0
f(z) z
0
f(z) 可去奇点
定理 1.5.2.
lim
zz
0
f(z) = z
0
f(z) 极点
证明: 容易知道 z = 0 以及任意 z =
1
都是函数奇点然而
lim
k→∞
1
= 0, (1.91)
这也就意味着在 z=0 附近无法找到一个不含奇点的邻域,因此 z=0 也就不能算作是原函数的孤立奇点了 (但是仍然是奇点)
31
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.5.3.
lim
zz
0
f(z)不存在 (即震荡) z
0
f(z) 本性奇点
那如何判断几阶奇点呢?方法与判断几阶无穷小类似!比如试试判断 ±
π
2
tanz 的几阶奇点
g(z) = (z
π
2
)tan(z)
lim
z
π
2
= 0
(1.95)
所以是一阶奇点.
可以看到, 需要用幂次去试,知道出现有限极限即可得到具体是几阶
1.5.2.2 零点判别奇点
首先,搞清楚对于复变函数,什么是零点,
定义 1.5.6. 设函数 f(z) 在邻域 N(z
0
, δ) = z : |z z
0
| < δ 内解析,并且 f(z
0
) = 0 , 那么称 z
0
f(z) 的一个零点
我们可以根据邻域 N 上的泰勒展开
7
。将零点进行分类:
恒等于零
• m 阶零点 (即相当于几重根),此时 f(z) 可以表示成下面的形式
f(z) = (z z
0
)
m
φ(z) (1.96)
其中在邻域 N(z
0
, φ) φ(z) ̸= 0,这时 z
0
也就是此邻域内的唯一零点
判断零点最本质的方法就是将函数都化成1.96的形式,但是在实际解题中,还是进行因式分解就够了使用泰勒展开容易得到关于
零点的第一个定理:
定理 1.5.4. 函数 f(z) z
0
处解析,则
z
0
f(z) m 阶零点 f (z
0
) = f
(z
0
) = ··· = f
(m1)
(z
0
) = 0
这个定理虽然不难证,但是应用却很广,下面的例题会用到。1.98 下面的定理就是由零点判断极点的重要定理了
定理 1.5.5.
z
0
f(z) m 阶极点 z
0
1
f(z)
m 阶零点 (1.97)
证明. 这个定理的证明比较简单,
8
, 但是下面提一下
对于一个解析函数 g(z),且 g(z
0
) ̸= 0那么我们可以有
1
g (z)
在圆盘邻域 (包括这个点在内的区) 解析且可以展开成
级数的结论,证明自己想
9
7
注意,这个是在圆盘区域内展开,因此是泰勒展开,不存在负幂次项
8
1.96的定义式代入1.5.4的定义式,对应出相应的 φ(z) g(z) 就可以了
9
需要用到可去奇点的定义
32
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
下面来看两道例题:
试求下面函数的有限孤立奇点:
f(z) =
cosz 1
z
4
(1.98)
f(z) =
1
(1 + z
2
)(1 + e
πz
)sin
π
z
(1.99)
原式 =
1
z
4
1
z
2
2!
+
z
4
4!
z
6
6!
+ ··· 1
(1.100)
=
1
2!
z
2
+
1
4!
1
6!
z
2
+ ··· (1.101)
因此, 根据定理1.5.5, 可以对应出 z=0 是他的二阶零点,而不是想当然的四阶零点
a
a
当然,我们怎么会想当然呢,这题应该有更简单的方法,我们可以将式子化成这样子
sin
z
2
z
4
, 而我们知道 sinz z 是同阶的无穷小,因此
分子式两阶,分母是四阶,除完之后取绝对值就直接可以得到二阶了
这道题的分母项有一点多,我们需要进行分类讨论
(1 + z
2
), 因为 (1 + z
2
)|
z=±i
= 0, (1 + z
2
)|
z=±i
̸= 0 所以 z = ±i (1 + z
2
) 的一阶零点
同理,z
k
= (2k + 1)i, k N 1 + z 的一阶零点
z
k
=
1
k
, k N sin
π
z
的一阶零点,z = 0 是其奇点
综上,根据 k 的取值可以得到:
z = ±i f(z) 的二阶极点;
z
k
= (2k + 1)i, k = 1, ±2, ··· 以及 z
k
=
1
k
, k N 均是其一阶极点;
z=0 是其奇点,但不是孤立奇点, 而是 k 时的极限点
1.5.3 无穷孤立点
相当于对孤立点概念的一个推广
定义 1.5.7. 若函数 f(z) D : R < |z| <= (R > 0) 内解析,则称 z = f(z) 的一个无穷孤立奇点
处理无穷圆盘的问题,我们同样可以使用换元法,变成处理有限圆环的问题,那么一切结论都要反过来了。
定理 1.5.6. (无穷奇点的三种奇点分类)
a
n
= 0, n = 1, 2, ··· , z = 可去奇点
a
m
̸= 0, a
m+1
= a
m+2
= ··· = 0, m = 1, 2, ··· , z = m 阶极点
当有无穷多个 n 使得 a
n
= 0, , ··· , z = 本性奇点
进一步的还可以给出无穷孤立奇点和极限的定理
33
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.5.7.
存在有限极限 lim
z→∞
f(z) z
0
f(z) 可去奇点
lim
z→∞
f(z) = z
0
f(z) 极点
lim
z→∞
f(z)不存在 (即震荡) z
0
f(z) 本性奇点
例题可以看下面这一道
10
求这个函数的奇点并说明其属性:f(z) =
(z 1)(z 2)
3
(sin πz)
3
(1.102)
1.6 留数
引入这个概念一定是有一个原因的,我们尝试对一个包含着一个孤立奇点的曲线对 f(z) 积分,根据1.43就可以发现
˛
C
f(z)dz = 2πic
1
(1.103)
1.6.1 留数的定义
定义 1.6.1. (前提条件)
• f(z) 在去心邻域 D : 0 < |z z
0
| < δ 内解析;
z
0
f(z) 孤立奇点
那么将留数定义为
Res[f (z), z
0
] =
1
2πi
˛
C
f(z)dz = a
1
(1.104)
其中 C 是围绕 z
0
的任意一条简单闭曲线
我们当然也可以把这个定义扩展到无穷孤立奇点。
定义 1.6.2.
Res[f (z), z
0
] =
1
2πi
˛
C
f(z)dz =
1
2πi
˛
C
f(z)dz = a
1
(1.105)
其中 C 围绕原点的任意正向闭曲线
下面我们来证明这个定理为什么对于任意闭合曲线积分路径都相等
10
除了有限点,还需要考虑无穷远点,方法类似于前面非孤立奇点的证明
34
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
证明. 首先,取一个包含奇点的半径为 r 圆周 C
r
,这个圆周与任意闭曲线 C 构成了一个封闭多连通区域,由复
合闭路定理,有
1
2πi
˛
C
f(z)dz
˛
C
r
f(z)dz
= 0
所以要证第一项是定值,只需要证明第二项是定值就可以了。
那么下面计算第二项是一个与 r 无关的定值:
首先,f(z) 是抽象表达式,不好直接算积分,因此我们用其洛朗级数来代替:
f(z) =
X
n=−∞
a
n
(z z
0
)
n
然后将 z 换元 z = re
+ z
0
代入第二项,开始计算:
˛
C
r
f(z) dz =
˛
C
r
"
X
n=−∞
a
n
(z z
0
)
n
#
dz (1.106)
=
X
n=−∞
˛
C
r
a
n
(z z
0
)
n
dz
(1.107)
下面我们对正幂次和负幂次的情况进行讨论
n 0,则函数在圆盘区域解析, 其积分为零;
n < 0z
0
为函数极点,我们取单位圆周 C
1
: |z z
0
| < 1, 无论 r 1 是什么关系,都可以有复合闭路定
理,得到
˛
C
r
a
n
(z z
0
)
n
dz =
˛
C
1
a
n
(z z
0
)
n
dz, n < 0
式子右边是一个与 r 无关的数,
因此定义得到了证明,证毕.
通过上面的定义,我们可以得到
推论 1.6.1. 如果 z
0
f(z) 的可去奇点,且 z ̸= ,那么其留数一定为零
a
,但是如果 z
0
是无穷奇点的话,则不一定,
b
a
证明见定义1.5.3
b
一个例子就是 Res[1 =
1
z
, ] = 1 ̸= 0, 可以自己根据定义计算一下
1.6.2 留数的计算
有三种计算方法
1.6.2.1 a
1
就是直接使用方程1.104, 如果是本性奇点,这是唯一的方法!通过洛朗展开函数,观察其-1 次幂的系数
1.6.2.2 极限计算公式
35
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.6.2.
a
如果 z
0
C f(z) m 阶极点,则
Res[f (z), z
0
] =
1
(m 1)!
lim
zz
0
d
m1
dz
m1
(z z
0
)
m
f(z) (1.108)
a
根据定义代入很容易证明
推论 1.6.3. 如果 z
0
C f(z) 的一阶极点,则
Res[f (z), z
0
] = lim
zz
0
(z z
0
)f(z) (1.109)
1.6.2.3 复合函数计算
推论 1.6.4.
f(z) =
P (z)
Q(z)
;
• P(z) Q(z) z
0
C 上解析;
如果 (前提条件)
P (z) ̸= 0;
Q(z
0
) = 0 ;
Q
(z
0
) ̸= 0 ;
那么 z
0
f(z) 的一阶极点,并且
Res[f (z), z
0
] =
P (z
0
)
Q
(z
0
)
(1.110)
这个结论的证明相对来说没有这么容易,需要综合之前学过的多个结论,
36
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
证明. Q(z
0
) = 0 Q
(z
0
) ̸= 0 ,使用定理1.5.5, 得到 z
0
Q(z) 的一阶零点;
然后根据定理1.97,得到 z
0
1
Q(z)
的一阶极点,因此有
1
Q(z)
=
1
z z
0
φ(z)
其中 φ(z) z
0
处解析,且 φ(z) ̸= 0
于是
f(z) =
1
z z
0
g(z)
这里
函数 g(z) = φ(z)P (z) z
0
解析,
g(z) = φ(z)P (z) ̸= 0
故由定义1.5.4得到 z
0
f(z) 的一阶极点。
最后代入推论1.6.3,(第二行到第三行用到了 Q(z
0
) = 0 的结论)
Res[f (z), z
0
] = lim
zz
0
(z z
0
)f(z) (1.111)
= lim
zz
0
1
1
zz
0
·
P (z)
Q(z)
(1.112)
= lim
zz
0
P (z)
Q(z)Q(z
0
)
zz
0
(1.113)
=
P (z)
Q
(z)
(1.114)
由于这些计算留数的方法大多是直接套用定理公式,这里就不给例题先了
1.6.3 留数的基本定理
1.6.5.
a
[] C 线, f(z) C 上以 C D
z
1
, z
2
, ··· , z
n
外出处解析,那么
˛
C
f(z)dz = 2πi
n
X
k=1
Res[f (z), z
k
] (1.115)
a
这个由复合闭路定理不难证明
推论 1.6.6 (推广到无穷孤立奇点的留数基本定理).
n
X
k=1
Res[f (z), z
k
] = 0
其中
z
k
包含无穷孤立点在内的所有孤立点
由此通过一些简单推导可以得到计算无穷孤立点留数的等价表示 (实际上是将无穷换元成 0)
37
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
推论 1.6.7.
a
Res[f (z), ] = Res[f
1
z
1
z
2
, 0] (1.122)
a
首先进行换元
z =
1
ξ
z = Re
ξ = re
Res[f (z), ] =
1
2πi
˛
C
f(z)dz (1.116)
=
1
2πi
ˆ
2π
0
f(Re
)Rie
(1.117)
=
1
2πi
ˆ
2π
0
f(Re
)Rie
d(θ) (1.118)
=
1
2πi
ˆ
2π
0
f
1
re
1
(re
)
2
d(re
) (1.119)
=
1
2πi
˛
|ξ|=
1
R
f
1
ξ
1
ξ
2
d(ξ) (1.120)
(1.121)
且由于 f
1
z
1
z
2
|ξ| =
1
R
内除了 0 外没有其他的奇点,所以得证结论
1.6.4 留数在计算定积分时的应用
通过留数定理将普通积分方法无法积出来的实积分变换成可以计算的复积分
1.6.4.1
´
2π
0
R(sin θ, cos θ)
定理 1.6.8. 其中 R(sin θ, cos θ) sin θ, cos θ 的有理函数,并且 R(x,y) x
2
+ y
2
= 1 上没有奇点。
ˆ
2π
0
R(sin θ, cos θ) = 2πi
n
X
k=1
Res[F (z), a
k
] (1.123)
• (换元) z = e
• (代入复三角函数定义式)
cos θ =
1
2
(e
+ e
) =
1
2z
(z
2
+ 1)
sin θ =
1
2
(e
e
) =
1
2iz
(z
2
1)
(1.124)
积分微元
11
=
1
ie
de
=
1
iz
dz,
于是将什么的一切代入原式:
ˆ
2π
0
R(sin θ, cos θ) =
˛
|z|=1
R
1
2i
z
2
1
,
1
2
z
2
+ 1
dz
iz
F (z) =
1
iz
R
1
2iz
(z
2
1),
1
2z
(z
2
+ 1)
a
1
, a
2
, ··· , a
n
F(z) |z| < 1 内的极点
12
,则由留数基本定理,有这里我们还要提醒一下,其实对于 cos2θ 等我们可
以通过重新代入方程1.124来算,而不需要又化成 cosθ
11
这里相当于是 dz 的逆过程,其实也可以用复对数的定义正向推导的,但是没有逆向推导简单
12
注意,这里只需要是在单位圆范围内的就可以了,在其外部的不用管,这也是留数基本定理值得注意的地方
38
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
下面来看一道例题,顺便也借助这一道例题复习一下留数的求法计算积分
I =
ˆ
2π
0
sin
2
θ
a + b cos θ
(a > b > 0) (1.125)
:
下面就省略了代入化简的步骤,最后得到
I =
˛
|z|=1
(z
2
1)i
z
2
(z
2
+
2a
b
z + 1)2b
dz =
˛
|z|=1
F (z)dz
其中
F (z) =
(z
2
1)i
z
2
(z
2
+
2a
b
z + 1)2b
=
(z
2
1)i
z
2
(z α)(z β)2b
(αβ是方程z
2
+
2a
b
z + 1的两个根)
α =
1+
a
2
b
2
b
β =
1
a
2
b
2
b
α · β = 1
因此 F(z) 在圆 |z| < 1 内只有 0 α 两个孤立点,分别是二阶和一阶下面我们分开来求
Res[F (z), 0] = lim
z0
d
dz
z
2
·
(z
2
1)
2
i
z
2
(z α)(z β) · 2b
(1.126)
= lim
z0
d
dz
(z
2
1)
2
i
(z α)(z β) · 2b
(1.127)
= lim
z0
d
dz
i
2b
(z
2
1)
2
(z α)(z β)
(1.128)
=
i
2b
d
dz
(z
2
1)
2
(z α)(z β)
z=0
(1.129)
=
i
2b
d
dz
(z
2
1)
2
(z α)(z β)

z=0
(1.130)
到这里直接求导是可以的,但是肯定会很麻烦,有没有简单一点的方法呢?有!
=
i
2b
d
dz
(z
2
1)
2
(z α)(z β)

z=0
(1.131)
=
i
2b
1
α β
(z
2
1)
2
1
z α
1
z β

z=0
(1.132)
=
i
2b
1
α β
(z
4
2z
2
+ 1)

1
β
1
α
+
1
β
2
1
α
2
z + ···

z=0
(1.133)
=
i
2b(α β)
1
β
2
1
α
2
(1.134)
=
i
2b
(α + β) (1.135)
我们最后使用的泰勒展开可以发现,除了第二项相乘求导完之后不为零之外,第一项以及第三项之后的所有项求导后并 0
入后都为零,同理求得
Res[F (z), α] =
i
2b
(α β)
代入方程1.123 得到
I = 2πi {Res[F (z) , 0] + Res[F (z), α]} = ··· =
2π
b
2
(a
p
a
2
b
2
)
1.6.4.2
´
−∞
R(x)dx
39
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.6.9. R(x) 在实轴上没有零点并且分母的次数至少比分子的次数高两次时,
ˆ
−∞
R(x)dx = 2πi
n
X
k=1
Res[R(z), a
k
] (1.136)
证明.
x
y
R
R
C
R
不失一般性的,我们设
R(z) =
z
n
+ a
1
z
n1
+ ··· + a
n
z
m
+ b
1
z
m1
+ ··· + b
m
取如图所示的闭合回路,其回路内有多个奇点 (图中标出了 4 ) 其中半圆的半径 R 是任意的,由留数基本定理定理1.6.3,
可以得到
ˆ
R
R
R(x)dx +
ˆ
C
R
R(x)dz = 2πi
p
X
k=1
Res
[
R
(
z
)
, a
k
]
下面我们证明上式左边第二项会随着 R 的增大的越来越小。此时我们应该联想到一个关于上界的定理1.3.4 注意到
|R(x)| =
1
|z|
mn
·
|1 + a
1
z
1
+ ··· + a
n
z
n
|
|1 + b
1
z
1
+ ··· + b
m
z
m
|
(1.137)
1
|z|
mn
·
1 + |a
1
z
1
+ ··· + a
n
z
n
|
1 |b
1
z
1
+ ··· + b
m
z
m
|
(1.138)
(下面开始放缩了) |z| = R 充分大时,总可以使得
|a
1
z
1
+ ··· + a
n
z
n
| <
1
2
|b
1
z
1
+ ··· + b
m
z
m
| <
1
2
此时
|R(z)| < ··· <
3
|z
2
|
因此, 使用前面提到的定理1.3.4,可以得到
|
ˆ
C
R
R(z)dz|
ˆ
C
R
|R(z)ds|
3
R
2
πR =
3π
R
R ,这项积分就趋近于零了。最终我们得到了结论
事实上,我看网上大多数关于使用留数计算都并没有强调 R(x) 的真分式性质,书本上虽然强调了,但是证明过程中 并没有使用
到这个结论
13 14
因此我们实际上应该有这样的结论:
13
2024.11.14, 这周学到这里的时候,发现 [3] 中是分别推了 R(x) 以及 R(x)e
aix
的积分满足这个定理,然后突然想到这个指数是复指数,也就意味着 R(x)e
aix
这个式子可以表示包括三角函数以及指数在内的复合,但是好像没有包含反三角和对数函数,不过在我现在做过的题中也并没有见到类似的题,所以先放着,
果遇到了这种题我们再回来看看这个结论的适应性
14
2024.11.16 昨天做到了一道题,发现之前的理解有误,[3] 上面是扩展到了
ˆ
+
−∞
R(x)e
iax
dx其积分的结果是复的,因此在实际的解题中只能用来解包含
cosxsinx 以及有理项的题,并且在解题完之后需要进行虚实分离。并且我发现只包含指数项的无穷积分显然是不收敛的,因此并不能推广到指数函数 (看下面
的定理也可以知道指数函数是不满足 |f (z)|
M
|z|
1+δ
),但是对数函数应该是可以的,具体看到例题再说
40
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
定理 1.6.10. 设函数 f (z) 在实轴上处处解析, 在上半平面 Im 0 z > , 除有限个孤立奇点外处处解析, 且存在常 M > 0, δ >
0, R
0
> 0 使得当 |z| > R
0
, Im0z 0 时,|f (z)|
M
|z|
1+δ
a
那么
ˆ
−∞
f(x)dx = 2πi
n
X
k=1
Res[f (z), a
k
] (1.139)
a
书上的表述是无穷积分收敛,我认为两个条件应该是等价的,并且无穷积分收敛实际上也推出了 lim
z→∞
f(z) = 0
对于这个结论,1.6.9只能算是其一个推论。关于这个定理的证明用到了若尔当引理
引理 1.6.11. 函数 g(x) 在闭区域 θ
1
argz θ
2
, R
0
|z| +(R
0
0, 0 θ
1
θ
2
π) 上连续
C
R
是一段一原点为中心,以 R > R
0
为半径的圆弧
lim
z→∞
g(z) = 0
那么对于任意的 a > 0,之后有时间来详细证明
lim
R→∞
ˆ
C
R
g(z)e
iaz
dz = 0 (1.140)
15
下面来看一道例题:
ˆ
+
−∞
cos x
x
2
+ 4x + 5
dx (1.141)
解:
我们求
ˆ
+
−∞
e
ix
x
2
+ 4x + 5
dx = 2 πiRes
e
ix
x
2
+ 4x + 5
, 2 + i
=
π
e
(cos 2 i sin 2)
然后比较虚实就可以得到
ˆ
+
−∞
cos x
x
2
+ 4x + 5
dx = πe
1
cos 2
15
证明就是放缩对于任意的 ε, 存在 R > R
1
(ε), 使得 |g(z)| < ε
|
ˆ
C
R
g(z)e
iaz
dz| =|
ˆ
θ
2
θ
1
g(Re
)e
iaRe
Re
idθ|
先对内部进行放缩
|g(Re
)| < ε
|ie
iaRe
Re
|
<
|
ie
aR sin θ
(
cos
(
aR
cos
θ
+
θ
) +
sin
(
aR
cos
θ
+
θ
))
|
< e
aR sin θ
上面的第二个不等式可以使用欧拉公式化简所以
ˆ
θ
2
θ
1
g(Re
)e
iaRe
Re
idθ
ˆ
π
0
e
aR sin θ
= 2Rε
ˆ
π
2
0
e
aR sin θ
2
ˆ
π
2
0
e
2aR
π
θ
=
πε
a
(1 e
aR
) <
πε
a
进一步就可以证得积分极限为零
41
复变 & 积分变换 & 数物方程笔记 第一章 复变函数 Tsui Dik Sang
42
第二章 积分变换
2.1 傅里叶变换 F
2.1.1 积分变换
在讲下面的变化之前,我们先来明确一下积分变换的定义
定义 2.1.1. 将某个函数 f(t) 通过积分变换变为 F (τ), 实际就是做如下的步骤
F (τ) =
ˆ
b
a
f(t)K(t, τ )dt (2.1)
其中,
K(t, τ ) 是一个确定的二元函数,叫做该积分变换的
• f(t) 像原函数
F (τ) 像函数
定义 2.1.2. 特别的,当
F (ω) =
ˆ
−∞
f(t)e
iωt
dt,
K(t, ω) = e
iωt
a = −∞
b =
(2.2)
下面我们利用欧拉公式逐步将我们熟悉的傅里叶级数化成方程2.2
2.1.2 傅里叶积分与傅里叶积分定理
2.1.2.1 傅里叶积分
先回忆一下之前学过的傅里叶展开问题
引理 2.1.1. 如果一个以 T 为周期的函数 f
T
(t) [
T
2
,
T
2
] 上满足狄拉克条件,即:
除去有限个第一类间断点外出处连续
分段单调,单调区间有限
43
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
则其傅里叶级数
f
T
(t)
a
0
2
+
X
n=1
[a
n
cos(t) + b
n
sin(t)] (2.3)
收敛,
下面我们用复数化开上面的式子步骤如下
1.27代入上面的2.3保持 a
n
, b
n
不变,化简
单独化简结果的 e
inωt
系数
将这个系数化简的结果回代
得到单项求和表示的傅里叶展开形式
具体计算如下
f
T
(t) =
a
0
2
+
X
n=1
[a
n
cos(t) + b
n
sin(t)] (2.4)
=
a
0
2
+
X
n=1
[
a
n
2
(e
inωt
+ e
inωt
)
ib
n
2
(e
inωt
+ e
inωt
)] (2.5)
=
a
0
2
+
X
n=1
a
n
ib
n
2
e
inωt
+
a
n
+ ib
n
2
e
inωt
(2.6)
其中
a
n
ib
n
2
=
1
2
·
2
T
"
ˆ
T
2
T
2
f
T
(t) cos(t)dt i
ˆ
T
2
T
2
f
T
(t) sin(t)dt
#
(2.7)
=
1
T
ˆ
T
2
T
2
f(t)e
inωt
dt n N
+
(2.8)
同理可以得到
a
n
+ ib
n
2
=
1
T
ˆ
T
2
T
2
f(t)e
inωt
dt
综上就得到了
f
T
(t) =
1
T
X
n=−∞
"
ˆ
T
2
T
2
f(t)e
inω t
dt
#
e
inωt
(2.9)
注意,不要忘记 ω T 的关系,ω =
2π
T
, T ,代入得到
f
T
(t) = lim
T →∞
1
T
X
n=−∞
"
ˆ
T
2
T
2
f(t)e
in·
2π
T
dt
#
e
in·
2π
T
此时我们还不能发现规律,因此需要换 T ω, 得到
f
T
(t) =
1
2π
lim
ω 0
1
T
X
n=−∞
"
ˆ
π
ω
π
ω
f(t)e
inω t
dt
#
e
inωt
ω
式子就变成了标准的黎曼和形式了使用积分的定义,就可以得到
1
lim
T →∞
f
T
(t) = f(t) =
1
2π
ˆ
−∞
ˆ
−∞
f(t)e
inω t
dt
e
n
t
n
(2.10)
1
这实际上也就是这个
1
2π
的由来,来源于 T ω 的关系
44
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
2.1.2.2 傅里叶积分定理
实际上讨论的就是是否可收敛 (内容与高数中的一样)
定理 2.1.2. (傅里叶积分定理)
• f(t) 在任意有限区间满足狄利克雷条件
并且 f(t) R 上绝对可积,
ˆ
−∞
|f(t)|dt < +
那么方程1.47可以收敛为
f(t) =
1
2π
ˆ
−∞
ˆ
−∞
f(t)e
inω t
dt
e
n
t
n
=
f(t), t f(t) 的连续点
f(t+0)+f (t0)
2
, t f(t) 的第一类间断点
(2.11)
2.1.2.3 傅里叶变换
由傅里叶积分定理2.11 可以引出傅里叶积分变换的定义
定义 2.1.3.
F (ω) =
ˆ
+
−∞
f(t)e
iω t
dt = F [f (t)] (2.12)
f(t) 的傅里叶变换
有正向变换自然也就有反向的变换
定义 2.1.4.
f(t) =
ˆ
+
−∞
F (ω)e
iω t
dt = F
1
[F (ω)] (2.13)
F (ω) 的傅里叶逆变换
下面来试试求下面函数的傅里叶变换的积分表达式:
f(t) =
1
1 + t
4
(2.14)
解: R(z) =
1
1+z
4
,
2
2
ˆ
+
−∞
R(z) dz =
1
1 + z
4
= 2πi · Res
"
R(z)e
iωz
,
2
2
(1 + i)
#
+ 2πi · Res
"
R(z)e
iωz
,
2
2
(1 + i)
#
45
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
F (ω) = F [f (t)] (2.15)
=
ˆ
+
−∞
f(t)e
iωt
dt (2.16)
=
ˆ
+
−∞
1
1 + t
4
e
iω t
dt (2.17)
=
ˆ
+
−∞
cos ωt
1 + t
4
dt i
ˆ
+
−∞
sin ωt
1 + t
4
dt (2.18)
=
ˆ
+
−∞
cos ωt
1 + t
4
dt (2.19)
= Re
ˆ
+
−∞
R(z) dz
(2.20)
=
1
2
2
e
−|ω|
2
cos
|ω|
2
+ sin
|ω|
2
(2.21)
2.1.3 广义傅里叶积分 (δ 函数的引入)
2.1.3.1 定义
在书写 δ 函数的定义之前我们必须要明确,我们为什么要引入这样的一个奇奇怪怪的函数?本质上,这个函数的引入是为了
解决离散傅里叶分析与连续傅里叶变换之间的矛盾一个很简单的例子就是 cos ωt,其显然是单频的周期函数,也就以为着如果
对其进行频谱分析,得到的就是在两个点处有峰,在其他位置为零,这种频谱分析用普通的函数是无法描述的,于是就需要 δ
数了,定理2.1.12是这段话的一个数学上的直观体现。
δ 函数是专门描述有离散频谱的函数 (也就是周期函数) 的傅里叶分析而设计的
不过如果直观来看,这个函数单位跃迁函数的导数我们知道对于函数 f (x) =
0
, t
0
1, t > 0
其在 x=0 处的导数在之前是不存
在的,这对于一些物理过程的描述非常不方便,比如电荷量以及其导数 (电流)。因此 δ 函数就亟需出现了,本质上其定义就是
δ(x) = f
(x) (2.22)
其详细定义有以下三种形式:
定义 2.1.5. (表达式)
称这个函数为 δ 函数如果其满足一下两个条件
1.
δ(t) =
0, t ̸= 0
, t = 0
(2.23)
a
2.
ˆ
+
−∞
δ(t)dt = 1 (2.24)
46
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
实际上这两个条件额可以转述成一句话:
ˆ
b
a
δ(t)dt =
1, 0 (a, b)
0, 0 / (a, b)
(2.25)
a
可以发现在这个表达式中无穷并没有符号,这是教科书上的内容,但我觉得对于具体的函数应该有正负之分。比如如果是前面提到的单位脉冲函数的
导数,其在零处的导数在狭义上虽然没有定义,但由于是单调增的,所以也应该是正值,那就是正无穷。先存疑一下
定义 2.1.6. (弱极限定义,相对来说最严谨的) 对于任意一个无穷次可微函数 f(t),
ˆ
+
−∞
δ(t)f (t)dt = lim
ε0
ˆ
+
−∞
δ
ε
(t)f(t)dt (2.26)
其中 δ
ε
(t) =
0, t < 0
1
ε
, 0 t ε
0, t > ε
那么我们可以得到 δ 函数,并且我们称 δ
ε
(t) 的弱极限为 δ 函数。
定义 2.1.7. (傅里叶积分式) 详见2.35
事实上我们可以将 δ 函数一般化,即:
δ(t t
0
) =
0, t ̸= t
0
, t = t
0
(2.27)
2.1.3.2 单位脉冲函数的性质
首先我们要补充一个关于实数域无穷积分的定义
引理 2.1.3. 对于积分
ˆ
+
−∞
f(t)dt (2.28)
如果其在上半平面没有孤立奇点,那么
若其函数关于某一个对称轴对称,则其值为
2
ˆ
+
0
f(t)dt
若其函数关于某一个对称点对称,则其值为零
a
,这个结论由定理1.6.9可以推得
a
实际上这个结论有点类似于广义上的奇函数和偶函数
定理 2.1.4. (筛选性质)
ˆ
+
−∞
δ(t)f (t)dt = f(0) (2.29)
这个结论由2.26结合积分中值定理易推
47
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
推论 2.1.5.
ˆ
+
−∞
δ(t t
0
)f(t)dt = f(t
0
) (2.30)
定理 2.1.6. (常规性质)
• (偶函数)
• (积分性) 其为单位跃迁函数的导数,那其自然其积分也就是单位跃迁函数了,这个由定义方程2.25
• (放缩变换)
δ(at) =
1
|a|
δ(t) (2.31)
a
a
换元 t/a=k 代入2.24即可证明
定理 2.1.7. (导数)
ˆ
+
−∞
δ
(t)f(t)dt = f
(0) (2.32)
更一般的,我们有
a
ˆ
+
−∞
δ
(n)
(t t
0
)f(t)dt = (1)
n
f
(n)
(t
0
) (2.33)
a
使用分部积分法易证
定理 2.1.8. (傅里叶变换)
F [δ(t)] =
ˆ
+
−∞
δ(t)e
iωt
dt = 1 (2.34)
因此,1 的傅里叶逆变换就是 δ 函数,即
δ(t) =
1
2π
ˆ
+
−∞
e
iωt
dt (2.35)
更一般的
δ(t t
0
) =
1
2π
ˆ
+
−∞
e
( tt
0
)
dt (2.36)
还有更多奇奇怪怪的性质,但是都易推
推论 2.1.9.
a
δ(t t
0
) =
ˆ
+
−∞
1
u t
·
1
u t
0
du (2.37)
a
裂项去证
48
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
推论 2.1.10.
ˆ
+
−∞
δ(t a)δ(t b)dt = δ(a b) (2.38)
推论 2.1.11.
δ[(t a)(t b)] =
1
|a b|
[δ(t a) + δ(t b)], a ̸= b (2.39)
这个推论又当 a=ba=b=0 时又可以有两个推论,这里就不列举了。
2.1.3.3 频谱概念
一句话就是 f(t) 的傅里叶变换 F(ω) 就是 f(t) 的频谱函数!然后我们可以尝试将真正的周期函数的傅里叶展开写成连续的形
式图像上的直观理解就是各个合成波的振幅。
定理 2.1.12. f(t) F (ω) =
+
X
n=−∞
2πF (
0
)δ(ω
0
) 是一对傅里叶变换,其中 ω
0
=
2π
T
, F (
0
) f(t) 的离散频谱
这个定理的证明直接试着代入即可,看 [4]p171
2.1.4 性质
2.1.4.1 线性性质
定理 2.1.13.
F [αf
1
(t) + βf
2
(t)] = αF
1
(t) + βF
2
(t) (2.40)
3
2.1.4.2 位移性质
定理 2.1.14.
F [f(t + t
0
)] = e
±iωt
0
F [f(t)] (2.41)
a
a
对指数进行整体换元也易证
2.1.4.3 频移特性
定理 2.1.15.
F (ω ω
0
) = F [f (t)e
±
0
t
] (2.42)
a
a
从右往左推易证
3
由积分运算的线性性显然易证
49
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
推论 2.1.16. 进一步的,我们利用复数的三角函数公式 (1.27), 可以得到下面结论
F [f(t) cos(ω
0
t)] =
1
2
[F (ω + ω
0
) + F (ω ω
0
)]
F [f(t) sin(ω
0
t)] =
i
2
[F (ω + ω
0
) F (ω ω
0
)]
(2.43)
2.1.4.4 相似性质
定理 2.1.17.
F [f(at)] =
1
|a|
F
ω
a
(2.44)
a
a
这个定理的证明也是整体换元,读者可以都尝试一下
这个定理由一个更本质直观的描述:
推论 2.1.18. 相似性质表明
若信号被压缩 (a > 1),则频谱被扩展;
若信号被扩展 (a < 1),则频谱被压缩;
这对工程应用有重要意义
2.1.4.5 对称性
其实这些结论都是显然的,我就直接列举了
定理 2.1.19. (还原性)
F [F (t)] = 2πf (±ω) (2.45)
定理 2.1.20. (翻转性 (其实就是奇偶性))
F [f(t)] = F (ω) (2.46)
定理 2.1.21. (虚实分开)
F (ω) =
ˆ
+
−∞
f(t) · e
iω t
dt =
ˆ
+
−∞
f(t) cos ωtdt i
ˆ
+
−∞
f(t) sin ωtdt (2.47)
然后就可以得到一些性质……这个也请读着自己去脑补,或者等笔者有时间来再给你分析
2.1.4.6 微分性质
定理 2.1.22. 如果
• f(t) (−∞, +) 上连续或者只有有限个可去间断点;
50
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
lim
|t|→+
f(t) = 0
那么
F [f
(t)] = F [f(t)] (2.48)
这个结论的证明有一部还是相当有技术含量的
证明.
lim
|t|→+
f(t) = 0 lim
|t|→+
f(t)e
iωt
= 0,
4
使用分部积分,即可证得
当然,我们也有多次微分的推论
推论 2.1.23. 在定理2.1.22的前提下
F [f
(n)
(t)] = ()
n
F [f(t)] (2.49)
对于像函数的微分 (求导),我们同样有:
一阶导:
推论 2.1.24.
F
(ω) = iF [tf (t)] = F [itf(t)] (2.50)
推论 2.1.25.
F
(n)
(ω) = F [(it)
n
f(t)] = (i)
n
F [t
n
f(t)] (2.51)
证明方法是将求导符号与积分符号对调
2.1.4.7 积分性质
定理 2.1.26. 如果
lim
t+
ˆ
t
−∞
f(t)dt = 0
a
那么
F
ˆ
t
−∞
f(t)dt
=
1
F [f(t)] (2.52)
b
a
注意这里只需要 t 趋于正无穷的极限为零即可,因为当 t 趋于负无穷时极限为零时显然的
b
需要用到微分性质公式2.48来证
当然,这个结论也有推论,请读着自行补全 并且书本上好像没有给出像函数的积分性质,但是在拉普拉斯变换时候给出了
2024.12.5,今天作业中遇到一道比较奇怪的题,好像用积分性质和微分性质都可以做,但是做出来的结果不一样
tu(t)的傅里叶变换 (2.53)
4
实际上这里自然对数的指数始终是纯虚数,因此其实为一个有界函数 (模有界),而 f(t) 在无穷时极限为零,那么就可以推出整体极限为零
51
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
微分性质
5
F
(ω) = jF [tf (t)] (2.54)
F [tu(t)] =
1
j
1
jω
+ πδ(ω)
= jπδ
(ω)
1
ω
2
(2.55)
积分性质 (得出的结果有所不同)
F
ˆ
t
−∞
f(t)dt
=
1
jω
F [f(t)] (2.56)
并且 (tu(t))
= u(t), 所以
F [tu(t)] =
1
jω
1
jω
+ πδ(ω)
=
jπδ(ω)
ω
1
ω
2
(2.57)
2.1.4.8
乘积性质
*
定理 2.1.27.
ˆ
+
−∞
f
1
(t)f
2
(t)dt =
1
2π
ˆ
+
−∞
F
1
(ω)F
2
(ω) (2.58)
a
a
这里的证明用到的是积分次序的调换
左式 =
ˆ
+
−∞
f
1
(t)
1
2π
ˆ
+
−∞
F
2
(ω)e
iωt
dt
(调换积分次序) =
1
2π
ˆ
+
−∞
F
2
(ω)
ˆ
+
−∞
f
1
(t)e
iωt
dt
(使用公式1.7) =
1
2π
ˆ
+
−∞
F
2
(ω)
ˆ
+
−∞
f
1
(t)e
iωt
dt
=
1
2π
ˆ
+
−∞
F
1
(ω)F
2
(ω)
当然,这个是对称式,如果将 f
1
(t) f
2
(t) 调换的话结论仍然成立
如果 f
1
(t) f
2
(t) 都是实函数,那么有以下推论
推论 2.1.28.
ˆ
+
−∞
f
1
(t)f
2
(t)dt =
1
2π
ˆ
+
−∞
F
1
(ω)F
2
(ω) =
ˆ
+
−∞
ˆ
+
−∞
F
1
(ω)F
2
(ω) (2.59)
证明从略
2.1.4.9 能量积分
这实际上就是 P aserval 等式
定理 2.1.29.
ˆ
+
−∞
[f(t)]
2
dt =
1
2π
ˆ
+
−∞
|F (ω)|
2
(2.60)
不过在证明上我们可以直接使用2.58,这是最简单的证明方法
5
(应该是没有问题的,也是答案给的方法)
52
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
2.1.5 卷积
定义 2.1.8.
f
1
(t) f
2
(t) =
ˆ
+
−∞
f
1
(τ)f
2
(t τ ) (2.61)
定理 2.1.30. 容易证明,卷积运算有交换律,结合律与分配律
f
1
(t) f
2
(t) = f
2
(t) f
1
(t)
f
1
(t) [f
2
(t) f
3
(t)] = [f
1
(t) f
2
(t)] f
3
t
f
1
(t) [f
2
(t) + f
3
(t)] = f
1
(t) f
3
t + f
2
(t) f
3
t
当然,如果直接用定义算卷积的话会比较痛苦,因此结合傅里叶变换有了下面的定理
定理 2.1.31.
F [f
1
(t) f
2
(t)] = F
1
(ω) · F
2
(ω)
F [f
1
(t) · f
2
(t)] =
1
2π
F
1
(ω) F
2
(ω)
(2.62)
这个定律有点逻辑运算里面的反演律的味道了,(证明
6
) 不过有的时候还是直接套卷积的运算比较好算.
2.1.6 一些常用的傅里叶积分题 (考试信手拈来)
最后,这里给一些已经推过的傅里叶积分以及其逆变换, 读者也可在复习的时候手动推一下,
特别的,由2.66,2.67,2.68以及2.70再结合前面学过的几种傅里叶的性质定理,理论上就可以得出常用的常用的所有傅里
叶变换了。
7
1. example
f(t) or or , F (ω) (2.64)
2.
sin(αt)
πt
1, |ω| α
0, |ω| α
(2.65)
6
这里给出第一个式子的证明,第二个式子用同样的换元方法也可以证
F [f
1
(t) f
2
(t)] =
ˆ
+
−∞
f
1
(t) f
2
(t)e
jωt
dt
=
ˆ
+
−∞
ˆ
+
−∞
f
1
(τ)f
2
(t τ)
e
jωt
=
ˆ
+
−∞
f
1
(τ)
ˆ
+
−∞
f
2
(t τ)e
jωt
dt
=
ˆ
+
−∞
f
1
(τ)e
jωτ
ˆ
+
−∞
f
2
(t τ)e
jω(tτ )dt
=F
1
(ω) · F
2
(ω)
(2.63)
7
箭头表示用普通积分法能做,没有箭头指向的表示其傅里叶积分或者逆变换积分没有解析解
53
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
3.
u(t)e
αt
=
1
α + jω
(2.66)
4.
δ(t) 1 (2.67)
5.
e
jω
0
t
2πδ(ω ω
0
) (2.68)
8
6.
u(t)
1
jω
+
πδ
(
ω
)
(2.69)
9
7.
10
e
βt
2
r
π
β
e
ω
2
4β
(2.70)
8. 三角函数的 (由展开成指数式课可由2.68推得)
cos ω
0
t = π[δ(ω + ω
0
) + δ(ω ω
0
)]
sin ω
0
t = jπ[δ(ω + ω
0
) δ(ω ω
0
)]
(2.71)
8
这个变换其实和上一个变换本质是一样的推导,都是应用了 δ 函数
9
注意,阶跃函数推他的傅里叶虽然能推,但是还是有一定难度的,对于 , 需要使
´
+
0
sin x
x
=
π
2
的结论,而对于 , 笔者一开始用实数思维去想,认
为对 e 指数积分不是很好积吗?但是实际上,这里是对 e
jωt
的无穷积分, e 指数在纯虚数内不再是单调的了,而是周期的,因此直接求这个积分不存在,笔
者参考知乎,有一种 极限函数的方法 ,这里列出,对于符号函数 sgn 也可以用这样的方法得到其 F
先考虑辅助函数 f (t) 的傅里叶变换 F (f (t)) =
´
+
0
e
at
e
iωt
dt =
1
a+
于是,F (u) = lim
a0
+
F (f(t)) = lim
a0
+
1
a+
注意,复变函数的极限要分实部和虚部来求,所以:
lim
a0
+
1
a +
= lim
a0
+
a
a
2
+ ω
2
i
ω
a
2
+ ω
2
考虑实部的极限
lim
a0
+
a
a
2
+ ω
2
=
0 ω ̸= 0
ω = 0
= Cδ(ω)
下面根据 δ(ω) 的正则性,确定系数 C
C
ˆ
+
−∞
δ(ω) = C =
ˆ
+
−∞
a
a
2
+ ω
2
= π
从而,
lim
a0
+
a
a
2
+ ω
2
= πδ(ω)
而虚部的极限
lim
a0
+
i
ω
a
2
+ ω
2
=
1
从而,整合以上可得:
F (u) = πδ(ω) +
1
10
需要用到
ˆ
+
−∞
e
t
2
dt =
π, 将原式傅里叶积分后的指数部分进行还原,并推广到指数积分即可证明。
54
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
2.2 拉普拉斯变换 L
2.2.1 定义以及存在性
首先,为什么要产生拉普拉斯变换?书上说是因为工程上使用的函数可能存在
负数时为零或者说无意义的情况
11
指数级增长或者说就是积分不收敛的函数
并且,我们想要构造的变换还要有类似于傅里叶变换的性质
12
因此我们就自然的想到下面的变换
定义 2.2.1. f(t) 是定义在 [0, +) 上的实值函数,如果对于复参数 s = β + , 下面的积分收敛,那么就得到了拉普拉斯变
换,即
F (s) =
ˆ
+
−∞
f(t)u(t)e
st
dt =
ˆ
+
0
f(t)e
st
dt = L [f (t)] (2.72)
比较 L F
L [f(t)] = F [f(t)u(t)e
βt
] (2.73)
就可以看出 L 的目的了:
使用单位跃迁函数去掉小于零的部分
使用指数衰减函数将正常傅里叶变换不收敛的函数变手收敛
2.2.2 拉普拉斯存在性定理
定理 2.2.1. 如果两个调和函数还满足 C
t 0 的任意有限区间上分段连续
t 时,f(t) 具有“有限的增值性”
a
则其拉普拉斯变换 F (s) = L [f(t)] Ress > c 上一定存在并且是解析的
a
此处解释为小于指数函数的增长性,即
|f(t)| M e
ct
, (M > 0) (2.74)
对于该定理的证明,只需通过放缩证明拉普拉斯变换的积分式收敛即可。同时,这个定理也给出了存在域,即可能是全平面,
可能是一个有下界的上半平面
2.2.3 拉普拉斯变换的性质
2.2.3.1 线性性质
从略
11
其实就是一个人为的规定而已,从而使得运算方便一点 (从零开始积分肯定好过从负无穷开始)
12
因为傅里叶变换实在是太好用了!,看看其性质就知道了
55
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
2.2.3.2 相似性质
表达形式与傅里叶完全一样,
L [f(at)] =
1
a
F
s
a
(2.75)
2.2.3.3 微分性质
表示上与傅里叶变换的有一点不同 (见方程2.48), 但是实际上是原理是一样的,并且证明方法也是分部积分法同样也有一阶
导和 n 阶导推广,
定理 2.2.2.
L[f
(t)] = sf(s) f(0) (2.76)
推论 2.2.3.
L [f
(n)
(t)] = s
n
F (s) s
n1
f(0) s
n2
f
(0) ··· f
(n1)
(0) (2.77)
其中 f
(k)
(0) 应理解为 lim
t0
+
f
(k)
(t), 这个从证明中的分部积分式子可以知道
对于像函数,同样有
定理 2.2.4.
F
(s) = L [tf (t)] (2.78)
定理 2.2.5.
F
(n)
(s) = (1)
n
L [t
n
f(t)] (2.79)
2.2.3.4 积分性质
表示上与傅里叶不同,但是原理仍然是一样的
定理 2.2.6.
L
ˆ
t
0
f(t)dt
=
1
s
F (s) (2.80)
对于 n 阶推广
推论 2.2.7.
L
ˆ
t
0
dt
ˆ
t
0
dt ···
ˆ
t
0
| {z }
n
f(t)dt
=
1
s
F (s
n
) (2.81)
对于像函数有
13
13
这个傅里叶也并没有提到,回去可以思考一下傅里叶形式
56
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
定理 2.2.8.
ˆ
s
F (s)ds = L
f
(
t
)
t
(2.82)
证明方法是积分次序的调换。
n 阶推论为
推论 2.2.9.
ˆ
s
ds
ˆ
s
ds ···
ˆ
s
|
{z }
n
F (s)ds = L
f(t)
t
n
(2.83)
2.2.3.5 延迟性质
定理 2.2.10.
L [f(t τ )] = e
F (s) (2.84)
2.2.3.6 位移性质
定理 2.2.11.
L
[
e
at
f
(
t
)] =
F
(
s
a
)
(2.85)
2.2.3.7 周期函数的优化表达
14
定理 2.2.12.
L [f(t)] =
1
1 e
sT
ˆ
T
0
f(t)e
st
dt (2.86)
证明比较巧妙
15
2.2.4 卷积
并没有什么新东西,只是将小于零部分的函数值取 0 而已
14
这个傅里叶也并没有提到,回去可以思考一下傅里叶形式
15
[
f
(
t
)] =
ˆ
+
0
f(t)e
st
dt
=
ˆ
T
0
f(t)e
st
dt +
ˆ
+
T
f(t)e
st
dt
=
ˆ
T
0
f(t)e
st
dt + e
st
L [f(t)]
然后通过解方程就可以得到结论
57
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
2.2.5 拉普拉斯逆变换
f(t) =
1
2πi
ˆ
β+
β
F (s)e
st
ds (2.87)
该变换一个实际应用就是计算推广的留数计算反演积分
2.2.5.1 利用留数计算反演积分
L
1
[F (s)] =
n
X
k=1
Res[F (s)e
st
, s
k
] (2.88)
证明可以翻看定理1.6.9
2.2.6 实际运用
2.2.6.1 求解常微分方程
实际上就是利原函数的微分质做文章,非线性的微分程转化成了线方程,之后反解原函数,这我们会在
给出例子。
2.3 共形映射
2.3.1 定义与概念
2.3.1.1 导函数的几何意义
首先我们要清楚我们不是为了研究导函数的几何意义开始的,首先是我们遇到了一些几何上的问题,然后发现导函数可以对
这些几何问题进行描述,因此用这些几何概念解释了导函数的几何意义
定义 2.3.1. (伸缩) z
0
, z 是原函数 C 上两点,将原函数 C 经过 w = f(z) 映射到 Γ,相应的点 z
0
, z 映射到了 w
0
, w 那么
我们称 lim
zz
0
|w w
0
|
|z z
0
|
f(z) 映射后 z
0
处的伸缩率
定义 2.3.2. (旋转) z
0
, z 是原函数 C 上两点,将原函数 C 经过 w = f(z) 映射到 Γ,相应的点 z
0
, z 映射到了 w
0
, w 那么
我们称 lim
zz
0
agr(w w
0
)
agr(z z
0
)
f(z) 映射后 z
0
处的旋转角我们使用三角表示展开复数 z w
z = z
0
+ |z|e
w = w
0
+ |w|e
(2.89)
那么其实伸缩率就是 lim
z0
|w|
|z|
, 旋转角就是 lim
z0
(ϕ θ) = ϕ
0
0θ
0
, 下标零的角就是该点切线倾角。
那么实际上很容易就想到用导数去描述这两个概念
f
(z
0
) = lim
z0
w
z
= lim
z0
|w|e
|z|e
= lim
z0
|w|
|z|
e
i(ϕθ)
(2.90)
归纳起来,
58
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
定理 2.3.1. 在该点导数的几何意义:
模是该点经过 f(z) 变换后的伸缩率
辐角是该点进过 f(z) 变换后的旋转角
2.3.1.2 不变性
由于 f(z) 的导数在 z
0
点是唯一的,因此也就产生了一些不变的东西:
伸缩率不变性
旋转角不变性 (保角性)
定义两种保角映射,
定义 2.3.3. 1. 伸缩率不变,交角不变 第一类保角映射
2. 伸缩率不变,交角反号 第二类保角映射
这两个结论的充要条件如下:
定理 2.3.2. 设函数 f(z) 在区域 D 上解析
f
(z) ̸= 0
那么其所构成的是第一类保角映射
定理 2.3.3. (共形映射) 如果 f(z) 映射在属于第一类保角映射的前提下还满足一一对应 (双方单值)那么就称 f(z) 为共形映
下面我们将围绕两个问题展开,一个是共形映射的存在性,一个是共形映射的求解
2.3.2 共形映射的存在性
2.3.2.1 存在性
定理 2.3.4. (保域性定理) f(z) 在区域 D 解析,那么映射出的像集 G=f(D) 也是区域
a
a
好像依据废话,大白话就是有界区域的共形映射不会变成无界区域
定理 2.3.5. (边界对应定理) C 是区域 D 边界,且是一条简单闭曲线, f(z) 在区域 D C 上解析, f(z) C 其映射
到简单闭曲线 Γ 时,当 z 沿着 C 正向绕行时,相应的 w 沿着 Γ 正向绕行
这个结论只是对于解析函数成立,但是如果 f(z) 是在 D 内不是处处解析的函数,并且我们发现 w 沿着 Γ 反向绕行时,说明 f(z)
D 映射到了 Γ 外部关于其存在性的充要条件就是定理 2.3.2
59
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
2.3.2.2 唯一性
显然是不唯一的,但是满足下面条件的就是唯一的
定理 2.3.6. (黎曼存在唯一定理) 自己查阅书本 p
124
因为后面好像都不会用到这个定理,下面我们也是研究实用的共形映射,也就是分时线性映射
2.3.3 分式线性映射
定义 2.3.4. 由分式线性函数 w =
az+b
cz+d
构成的映射就成为分式线性映射,特别的,当 c=0 时就是线性映射
2.3.4 分型映射的分解
其实我们是想要弄清楚分型映射的映射几何本质,因此将其分解为下面几个映射的复合
w
=
az
+
b
(
平移
)
w = rz(相似)
w = ze
0
(旋转)
w =
1
z
(反演)
(2.91)
前面三种映射都很好理解,并且实际上都是复平面上解析的,但是反演映射由于其在 0 处的非解析性需要单独讨论其性质
2.3.4.1 反演映射
首先弄清楚其几何本质, 其实就是将单位元内部 (外部) 的任意一点映射到单位圆的外部 (内部),并且辐角取反。
为了方便对无穷远点讨论,我们引出一个定义
定义 2.3.5. (圆周对称) A,B 两点在某半径为 R 圆过圆心的一条射线上,如果 OA · OB = R
2
那么久称 A,B 关于圆周对
称的 (该圆),自然的,我们可以规定圆心与无穷远点关于圆周对称
同时我们还规定反演映射将 z=0 映射 w=,这样在外面下面的讨论体系中反演映射就有了一种类似于全平面解析函
的特点。因此我们还规定 f(z) z=∞ 的性态可以由 ϕ
1
z
= f (z) 决定。
2.3.4.2 分形映射的保形性
前三个线性映射的保形性是显然的,对于无穷远点可以用上面的规定来证明,对于反演映射同样可以给出证明
2.3.4.3 保圆性
这里有一个规定是认为直线看做半径无穷大的圆,那么代入
z = x + iy
w = u + iv
可以得到
x =
u
u
2
+v
2
y =
v
v
2
+
u
2
60
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
也就是说
A(x
2
+ y
2
) + Bx + Cy + D = 0
f(z)
D(u
2
+ v
2
) + Bu Cv + A = 0 (2.92)
特别的,当 D=0 或者 A=0 的情况就是将圆映射到直线或者反过来
定理 2.3.7. (保圆性) 在扩充复平面上分式线性映射能将圆 (包括直线) 映射成圆 (包括直线)
关于直线两侧哪一边被映射到圆内部,以及绕行方向的问题,目前我还没有找到理论方法,不过可以通过找一些特殊点进行映射
变换来断定
16
下面还有保对称性、唯一确定以及初等函数的共形映射才能完成
16
找到更好的方法请补充上
61
复变 & 积分变换 & 数物方程笔记 第二章 积分变换 Tsui Dik Sang
62
第三章 偏微分方程的建立
关于其定义课查阅高数上,同时其扩展部分 (梯度旋度散度) 请查阅电磁场与电磁波笔记这里直接开始介绍一些经典的方程
3.1 波动方程
定理 3.1.1.
2
u
t
2
= a
2
2
u (3.1)
3.1.1 机械振动
3.1.1.1 一维振动:弦
x
u
O
x
x + dx
T
T
α
α
O
由此可以列出两个方向的受力方程
T
sin α
T sin α = ρdx
2
u
t
2
T
cos α
= T cos α
(3.2)
由于 α 0, 可以简化
1
得到
u
x
=
h
u(x+dx,t)
x
u(x,t)
x
i
dx
=
ρ
T
2
u
t
2
(3.5)
u
x
= a
2
2
u
t
2
, (a =
r
ρ
T
) (3.6)
如果我们在方程中加入恒定阻尼项或者受迫振动项,那么相似的可以推出其方程。这里给结果:
u
x
= a
2
2
u
t
2
2β
u
t
+ f, (f =
F (x, t)
ρ
) (3.7)
由这个一维方程其实我们已经可以联想其他维度的样子了,但是还不确定,因此再试试推推二维振动的方程。
1
sin α tan α =
u
x
(3.3)
代入,得到
u(x + dx, t)
x
u(x, t)
x
=
ρ
T
dx
2
u
t
2
(3.4)
63
复变 & 积分变换 & 数物方程笔记 第三章 偏微分方程的建立 Tsui Dik Sang
3.1.2 二维振动:鼓膜
沿平行于 ρ 的方向,设面元两端的张力与平衡位置的夹角分别为 α α
沿平行于 θ 的方向,设面元两端的张力与平衡位
置的夹角分别为 β β
。在平面方向我们直接用结论【张力处处相等】
2
T (ρ + ) sin α
T sin α + T sin β
T sin β = ρ
s
ρdθ
2
u
t
2
(3.8)
取一阶近似,得
(ρ + )
u(ρ + dρ, θ)
ρ
ρdθ
u(ρ, θ)
ρ
+
u(ρ, θ)
θ
=
ρ
s
T
ρdρdθ
2
u
t
2
(3.9)
采用推一维相同的方法可以得到
ρ
ρ
u
ρ
+
1
ρ
2
u
θ
2
=
ρ
s
T
2
u
t
2
(3.10)
所以
2
u
t
2
= a
2
2
u
ρ
2
+
1
ρ
u
ρ
+
1
ρ
2
2
u
θ
2
(3.11)
我们可以使用坐标变换证明上面的式子右边等于 a
2
2
u
x
2
+
2
u
y
2
, 也可以使用 xOy 坐标系再推导一遍。无论如何都可以写成一样的
形式,即3.1
3.1.3 电磁振动
3.1.3.1 电报员方程
i(z,t) i(z+dz,t)
v(z,t) v(z+dz,t)
z
z+dz
Rdz Ldz
Gdz Cdz
3.1: 传输线模型
KVL KCL 列式,有
i(z, t) = i(z + dz, t) + Cdz
v(z+dz,t)
t
+
Gv
(
z
+
dz, t
)
dz
i(z,t)
z
=
C
v(z+dz,t)
t
Gv
(
z
+
dz, t
)
C
v (z,t)
t
Gv
(
z, t
)
v(z + dz, t) v(z, t) = L
i(z,t)
t
dz Ri(z, t)dz
v(z,t)
z
= L
i(z,t)
t
Ri(z, t)
(3.12)
做二阶微分, 利用表达式中的 dz dt 巧妙构造了二阶微分消去 v 或者 i(下面先消去 v)同时也消去了表达式中的 dz dt
2
i(z, t)
z
2
= LC
2
i(z, t)
t
2
+ (GL + RC)
i(z, t)
t
+ RGi(z, t) (3.13)
对于无损耗导线 (没有电阻,即 G=R=0),上式变为
2
i(z, t)
t
2
= a
2
2
i(z, t)
z
2
a =
r
1
LC
(3.14)
同理可以得到形式完全一样的 v 的表达式:
2
v(z, t)
t
2
= a
2
2
v(z, t)
z
2
a =
r
1
LC
(3.15)
2
这里的简化思想是将简化成两个力,又将这两个力分解到四个方向,但是在分析受力的时候又将这四个力合到一个方向 (竖直,因为沿着平面的方向我们可
以直接使用一维的结论说其力的大小相等,在方程3.8中实际上就已经用到了这个结论)
64
复变 & 积分变换 & 数物方程笔记 第三章 偏微分方程的建立 Tsui Dik Sang
3.2 热传导方程
(有兴趣补全这个推导,不算重点,但是还是有难度)
3.3 场分布的位势方程
请参考电磁学或者电磁场与电磁波,相比前面两个更加简单了。
3.4 边界条件
如果只是从数学上去理解,那么从对 u 这个场函数边界上的描述可以简单分为鲜明三种
1. 狄利克雷边界
u
Γ
= f (3.16)
2. 诺依曼边界
u
n
Γ
= f (3.17)
3. 罗宾边界
u
n
+ ku
Γ
= f (3.18)
第三种条件实际上是前面两种的线性叠加了,对于波动和位势函数这些边界条件的意义是比较清晰的,
3
对于热传导,三种边界
条件对应的分别是
温度恒定
绝热
热交换
也就是会说后两个有一点反过来了。
书上除了这些边界还提到了根据合理性设置的有界边界以及周期性边界,感觉有一点乱,我们后面遇到题再提。除了边界条
件,如果我们想要刻画一些随时间变化的物理过程而不只是最后的平衡态,我们还需要知道初值条件。书上讲得非常复杂 (看完
一轮之后请换一本书看看),不过不想看证明感性理解的话还是比较好理解的。下面再补全一些关于叠加的定理,(书上 [5] 比下
面讲的还要啰嗦) 不感兴趣的可以直接跳。
定义
3.4.1.
如果一个偏微分方程可以写成
Lu(x) = f,
x = [ x
1
, x
2
, x
3
, ··· , x
n
]
T
L =
n
X
j=1
n
X
i=1
a
ij
2
x
i
x
j
+
n
X
i=1
b
i
x
i
+ c
(3.19)
并且 a
ij
, b
i
, c 都不是关于 u 的函数,则 L 是线性算子,如果 f 也与 u 无关,那么这就是关于 u 线性偏微分方程
a
a
还有一些齐次的定义,但是我相信你也已经会了
3
1. 位移 & 速度
2. 场值 & 场强
65
复变 & 积分变换 & 数物方程笔记 第三章 偏微分方程的建立 Tsui Dik Sang
定理 3.4.1. 线性叠加原理
对于线性偏微分方程,那么满足有限叠加原理和无限叠加原理 (联想级数的收敛性质可以理解),
如果
Lu
i
(x) = f
i
(x) (3.20)
对于 i N 都成立,那么
n
X
i=1
Lu
i
(x) =
n
X
i=1
f
i
(x) (3.21)
也成立,甚至当 n= 也可
然后,我们就要开始学各种奇奇怪怪的方法来解我们列出来的方程了。
66
第四章 分离变量法
实际上这部分了解即可,知道4.1.2是成立的就可以了。
4.1 理论依据:权函数正交分解
定义 4.1.1 (权函数正交). 如果对于函数系 X
n
在区间上满足
ˆ
b
a
X
m
(x)X
n
(x)ρ(x)dx =
= 0, m ̸= n
̸= 0, m = n
(4.1)
那么久称 X
n
与权函数 ρ(x) 正交
定理 4.1.1. [广义傅里叶展开定理] 如果 f(x) 在该区间上可以展开为
f(x) =
X
n=0
C
n
X
n
(x) (4.2)
其中
C
n
=
´
b
a
f(x)X
n
(x)ρ(x)dx
´
b
a
X
2
n
(x)ρ(x)dx
(4.3)
之后,凡是满足正交性的函数都可以进行广义的傅里叶展! 下面的章节中讲到贝塞尔函数 勒让德多项式满足正交
性,因此都可作为核函数对一个普通函数进行广义傅里叶展开。
推论 4.1.2. 如果 f 是二维甚至是三维函数,可以用此法进行分离变量
f(x, y) =
X
n=0
Y
n
(y)X
n
(x)
f(x, y, z) =
X
n=0
X
m=0
Z
mn
(z)Y
m
(y)
!
X
n
(x)
(4.4)
67
复变 & 积分变换 & 数物方程笔记 第四章 分离变量法 Tsui Dik Sang
4.2 齐次方程与齐次条件
4.2.1 弦的自由振动: 一维波动方程
回顾波动方程3.6, 根据边界条件列出方程组
2
u
t
2
= a
2
2
u
x
2
, 0 < x < l, t > 0
u(0, t) = 0, u(l, t) = 0, t > 0
u(x, 0) = φ(x),
u(x,0)
t
= ψ(x) , d 0 x l
(4.5)
4.2.1.1 分离变量
根据4.1.2
u = (x, t) = X(x)T (t)
代入波动方程进过一些化简可以得到方程组
X
′′
= λX = 0
T
′′
= λa
2
T = 0
(4.6)
4.2.1.2 解微分方程组
然后根据“简单的微分方程求解方法”
1
,得到有意义的非零解以及相应的 λ
X
n
= B
n
sin
l
x
T
n
= C
n
cos
nπa
l
t + D
n
sin
nπa
l
t
(4.7)
回归 u 得到
u
n
=
X
n=1
u
n
=
X
n=1
X
n
T
n
=
X
n=1
(C
n
cos
a
l
t + D
n
sin
a
l
t) sin
l
x
=
X
n=1
E
n
sin
l
x cos
a
l
t + θ
n
(4.8)
4.2.1.3 确定积分常数级数
其中对积分常数数列进行的一些约简,反正使用边界条件以及初值条件代入上式就可得到,因此其实并不影响结果。容易得
C
n
=
2
l
´
l
0
φ sin
l
xdx
D
n
=
2
nπa
´
l
0
ψ sin
l
xdx
(4.9)
4.2.1.4 物理意义分析
对于这个解由非常明显的物理意义,也就是所谓的基波和谐波!
如果我们改变边界条件重新求解 (在实际中就是对一个弦的不同位置进行弹拨)可以发现其泛音的分布是不同的,这也意味
着音色不同。
1
此处从略了相当多的复杂步骤
68
复变 & 积分变换 & 数物方程笔记 第四章 分离变量法 Tsui Dik Sang
4.2.2 杆的热传导:一维传热方程
方程组如下, 这里使用了第二类边界条件,不过其实并不太影响,只是之后会多一个积分而已。
2
u
t
2
= a
2
2
u
x
2
, 0 < x < l, t > 0
u(0,t)
t
= 0,
u(l,t)
x
= 0, t > 0
u(x, 0) = φ(x)
(4.10)
由于传导方程中有一阶导项,实际上其比波动方程更简单,求解得到
u =
C
0
2
+
X
n=0
C
n
e
a
2
n
2
π
2
l
2
t
cos
l
x (4.11)
由边界条件和初值条件确定的积分常数级数为
C
0
=
1
l
´
l
0
φ(x)dx
C
n
=
1
l
´
l
0
φ(x) cos
l
dx
(4.12)
对于第三类边界条件,存在大量的超越式,结果物理意义反而不清晰,因此此处从略,有兴趣的可看 [5] p39-41
4.2.3 圆盘的稳态方程:二维热传导
由于笔者对圆域一些微分的展开还不算熟,因此此处先从略
4.3 非齐次方程
即在初始方程中加入了非齐次项,比如摩擦力
2
u
t
2
= a
2
2
u
x
2
+ f (x, t), 0 < x < l, t > 0
u(0,t)
t
= 0,
u(l,t)
x
= 0, t > 0
u(x, 0) = φ(x),
u(x,0)
t
= ψ(x) , d 0 x l
(4.13)
次数如果直接采用分离变量法代入的话就会发现由于非齐次项的纯在,无法化简成如 4.6所示的单变量常微分方程组。这时一个
重要的数学思想登场了:叠加法。将原始方程组分解成两个方程组的和, 其解也就可以写成
u(x, t) = v(x, t) + w( x, t) (4.14)
,并且这两个方程组也都有很明确的物理意义
外力引起的振动
2
v
t
2
= a
2
2
v
x
2
+ f (x, t), 0 < x < l, t > 0
v(0,t)
t
= 0,
v(l,t)
x
= 0, t > 0
v(x, 0) = 0,
v(x,0)
t
= 0, d 0 x l
(4.15)
初始形状引起的振动
2
w
t
2
= a
2
2
w
x
2
, 0 < x < l, t > 0
w(0,t)
t
= 0,
u(l,t)
x
= 0, t > 0
w(x, 0) = φ(x),
w(x,0)
t
= ψ(x) , d 0 x l
(4.16)
对于方程4.16, 可以按照齐次方程组的解法进行求解,而对于方程4.15—请看!
69
复变 & 积分变换 & 数物方程笔记 第四章 分离变量法 Tsui Dik Sang
4.3.1 分离法代入
首先第一步还是老实使用分解法,尽管不能得到单变量常微分方程,于是令
X
n=1
T
n
(t) sin
l
x 代入
2
得到
X
n=1
T
′′
n
(t) sin
l
x =
X
n=1
a
2
n
2
π
2
l
2
T
n
(t) sin
l
x
+ f (x, t) (4.17)
4.3.2 傅里叶分解的约化
这一步是破局点,如果不能一步约分消去,可以使用傅里叶分解强行消去 x 项, f(x, t) 也进行傅里叶分解
X
n=1
f
n
(t) sin
l
x
代入4.17, 得到
X
n=1
T
′′
n
(t) sin
l
x =
X
n=1
a
2
n
2
π
2
l
2
T
n
(t) sin
l
x
+
X
n=1
f
n
(t) sin
l
x (4.18)
根据傅里叶分解中 sin
l
x 的正交性,直接就可以得到
T
′′
n
(t) + a
2
n
2
π
2
l
2
T
n
(t) f
n
(t) = 0 (4.19)
对所有的 n 恒成立。
4.3.3 初值条件的代入
上式实际上已经是一个微分方程了,然后用常数变易法即可解得
3
推论 4.3.1.
T
n
= C cos
at
l
+ D sin
at
l
l
a
ˆ
l
0
f
n
(τ) sin
l
cos
at
l
+
l
a
ˆ
l
0
f
n
(τ) cos
l
sin
at
l
(4.20)
如果没有为零的初值条件理论上也能有唯一解,但是肯定不好解,如果有了为零的初值条件,相当于
T
n
(0) = T
n
(0) = 0 (4.21)
代入,又进行一通运算,得到
T
n
=
l
a
ˆ
l
0
f
n
(τ) sin
a(t τ )
l
(4.22)
最终接出
v =
X
n=1
l
a
ˆ
l
0
f
n
(τ) sin
a(t τ )
l
sin
l
x (4.23)
4.3.4 物理意义:谐振频率
在受迫振动中有一个重要的概念:共振,在我们解出的方程中也可以很清晰的看到这个性质。
发生共振时 f 的频率和固有频率相等,反应在方程中就是 f 的傅里叶展开基波与固有频率基波一致,即
f
n
(
t
) =
sin
at
l
(4.24)
代入4.22,得到
T
n
=
l
2a
cos
at
l
+
l
4n
2
π
2
a
2
sin
at
l
(4.25)
可以看到当 t 增大时第一项将持续增大,这也就是共振了。
2
其实这里已经用到了为零的边界条件,否则展开出来的傅里叶一定是有常数项的,并且这里的基波频率其实有连猜带蒙的意味
3
求解步骤当然还是相当繁琐的,此处省略了,只关注方法和结果
70
复变 & 积分变换 & 数物方程笔记 第四章 分离变量法 Tsui Dik Sang
4.4 非齐次边界条件
一类边界条件下的非齐次
2
u
t
2
= a
2
2
u
x
2
, 0 < x < l, t > 0
u(0, t) = g(t),
u(l,t)
x
= 0, t > 0
u(x, 0) = φ(x),
u(x,0)
t
= ψ(x) , d 0 x l
(4.26)
二类边界条件下的非齐次
2
u
t
2
= a
2
2
u
x
2
, 0 < x < l, t > 0
u(0,t)
x
= g(t) ,
u(l,t)
x
= 0, t > 0
u(x, 0) = φ(x),
u(x,0)
t
= ψ(x) , d 0 x l
(4.27)
分离变量法以及特征函数法都要求边界条件是齐次的
4
因此对于非齐次边界条件的方程有需要特殊的技巧了,思想其实是类似的:还是叠加法或者有一个更加通俗的名字:
解!
4.4.1 设立特解
将原方程的解分解
u(x, t) = v(x, t) + w( x, t) (4.30)
其中 v 是原方程的齐次边界条件下的解,
w 是非齐次边界条件但简单方程的解
w(0, t) = g(t)
w(l,t)
x
(4.31)
4.4.2 一类边界条件下的非齐次
由于特解 w 不再受波动方程约束,只受非齐次边界条件的约束,因此相当好求,不妨就设它是一次函数 A+Bx,容易解得
w(x, t) = g(t) (4.32)
4.304.32 代入回4.26 , 可以得到 v 满足的方程组
2
v
t
2
= a
2
2
v
x
2
+ g
′′
(t), 0 < x < l, t > 0
u(0, t) =,
u(l,t)
x
= 0, t > 0
u(x, 0) = φ(x) g(0),
u(x,0)
t
= ψ(x) g
(0), d 0 x l
(4.33)
4
为什么边界条件非齐次不行呢?这需要找到回归齐次条件为什么行,对于式4.6其实根据边界方程是有一个边界条件的也就是
X(0) = 0, X(l) = 0 (4.28)
然而如果是非齐次边界条件的方程4.26, 则单变量常微分方程的边界条件变成了
X(0) = g(t), X
(l) = 0 (4.29)
可以发现出现了 t 项,也就是说虽然成功分离出了单变量的常微分方程组,但是在边界条件中出现了混合项 (x 中出现了 t),因此 sh 实际上这个常微分方程组
是不能用简单方法求解了,也就不是“独立的常微分方程组”了
71
复变 & 积分变换 & 数物方程笔记 第四章 分离变量法 Tsui Dik Sang
4.4.3 二类边界条件下的非齐次
如果此处仍然假设 w 是一次形式的话会无解
5
, 所以只能假设 w 是二次函数,解得
w(x, t) = g(t)x
g(x)
2l
x
2
(4.34)
同理代入可得 v 满足的方程组
2
v
t
2
= a
2
2
v
x
2
+
h
g
′′
(t)x +
g
′′
(t)
2l
x a
2
g (t )
l
i
, 0 < x < l, t > 0
v(0,t)
x
= 0,
u(l,t)
x
= 0, t > 0
u
(
x,
0) =
φ
(
x
)
,
u(x,0)
t
=
ψ
(
x
)
, d
0
x
l
(4.35)
4.4.4 组合
用前面学的4.13可以解出 v,然后叠加之后就可以得到结果
5
积分常数不够用
72
第五章 行波法
前面所解的方程组都有边界条件,在物理意义上就是纯在波的反
1
,在笔者的电磁场与电磁波这门课中也学习到垂直入
的平面波入射与反射波构成的是驻波,不发生能量的传递,然而在斜入射
2
或者是无界情况下传播的波应该是行波了,这也就是
这一章所要解决的问题。
5.1
一维无界波动方程
2
u
t
2
= a
2
2
u
x
2
. −∞ < x < , t > 0
u(x, 0) = φ(x),
u(x,0)
t
= ψ(x) , −∞ < x <
(5.1)
5.1.1 算符法换元
分离算符,将原波动方程变为
x
+
1
a
·
t
x
1
a
·
t
u = 0 (5.2)
如果能进行算符替换
3
ξ
=
x
+
1
a
·
t
η
=
x
1
a
·
t
(5.4)
那么就可以转换原方程为
2
u
ξη
=
ξ
u
η
= 0 (5.5)
积分两次容易解这个方程为
u = f
1
(ξ) + f
2
(η) = f
1
(x + at) + f
2
(x at) (5.6)
再结合初始条件解得
f
1
(x) =
1
2
φ(x) +
1
2a
´
a
0
ψ(ξ) +
C
2
f
2
(x) =
1
2
φ(x)
1
2a
´
a
0
ψ(ξ) +
C
2
(5.7)
最终解得
1
热传导方程的不知道叫什么
2
本质上相当于在某一个方向分量上的无界
3
比较可以发现
ξ = x + at
η = x at
(5.3)
可以实现算符替换
73
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
推论 5.1.1 (一维 D’Alembert 方程).
u =
1
2
[φ(x + at) + φ(x at)] +
1
2a
ˆ
x+at
xat
ψ(ξ) (5.8)
5.1.2 物理意义
其实从方程5.6中得到的物理意义比最终的结果要直观,可以看到 u 就是 f
1
, f
2
两个方向相反、振源不同、波速均为 a 的行
波叠加而成,
5.1.3 增添约束条件
5.1.3.1 一点固定:奇延拓
如果规定一个点的位移始终为零 (比如零点)
2
u
t
2
= a
2
2
u
x
2
. −∞ < x < , t > 0
u(x, 0) = φ(x),
u(x,0)
t
= ψ(x) , −∞ < x <
u(0, t) = 0, t 0
(5.9)
根据达朗贝尔方程得其解为
u
(0
, t
) =
1
2
[
µ
(
at
) +
µ
(
at
)] +
1
2a
ˆ
at
at
v
(
ξ
)
(5.10)
代入一点固定的边界条件得
µ(x) =
φ(x), x 0
φ(x), x < 0
(5.11)
v(x) =
ψ(x), x 0
ψ(x), x < 0
(5.12)
5.1.3.2 一点自由:偶延拓
4
2
u
t
2
= a
2
2
u
x
2
. −∞ < x < , t > 0
u(x, 0) = φ(x),
u(x,0)
t
= ψ(x) , −∞ < x <
u(0,t)
x
= 0, t 0
(5.13)
同理可以带入一点自由边界条件来约化方程5.10 得到其中
µ(x) =
φ(x), x 0
φ(x), x < 0
(5.14)
v(x) =
ψ(x), x 0
ψ(x), x < 0
(5.15)
4
注意增添的约束条件是对 x 的求导为零,几何意义表示零点处弦的方向始终与 x 轴平行,属于是极大值点或者极小值点,但是位置不固定,故曰自由
74
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
5.2 二维行波法: 双曲型方程
前面的算符换元非常好用,所以这一部分想要做的就是将其扩展到二维的二阶常微分方程,
5
A
2
u
x
2
+ B
2
u
x∂y
+ C
2
u
y
2
+ D
u
x
+ E
u
y
+ F u + G = 0 (5.16)
看看是否能找到其解的规律。
5.2.1 方程换元变化
5.2.1.1 换元代入
使用全微分换元
6
,将5.17化成
a
2
u
ξ
2
+
2
u
ξη
+ c
2
u
η
2
+ d
u
ξ
+ e
u
η
+ f u + g = 0 (5.18)
其中
a = A
ξ
x
2
+ B
ξ
x
·
ξ
y
+ C
ξ
y
2
(5.19)
b = 2 A
ξ
x
·
η
x
+ B
ξ
x
·
η
y
+
ξ
y
·
η
x
+ 2C
ξ
y
·
η
y
(5.20)
c = A
η
x
2
+ B
η
x
η
y
+ C
η
y
2
(5.21)
d = A
2
ξ
x
2
+ B
2
ξ
x∂y
+ C
2
ξ
y
2
+ D
ξ
x
+ E
ξ
y
(5.22)
e = A
2
η
x
2
+ B
2
η
x∂y
+ C
2
η
y
2
+ D
η
x
+ E
η
y
(5.23)
f = F, g = G (5.24)
5.2.1.2 根据目标设置约束条件
要消去单变量的二阶导项,即需令 a=c=0,也即下面方程有两个独立的解
A
φ
x
2
+ B
φ
x
·
φ
y
+ C
φ
y
2
(5.25)
5.2.1.3 等高线求解法
这里书本给了一种“等高线”求解法,但未给出理以及证明,显得有一莫名其妙,者下面将试让更加易于
定理 5.2.1.
a
已知二元函数 z=F(x,y) 的等高线方程为 f(x,y)=0n 那么有
f(x, y) = F (x, y) + C (5.28)
5
实际上这里的 ABCD 等都可以是关于 x 或者 y 的表达式,区别就是求解的复杂度,但是方法并不变,类似于从常微分方程变成了伯努利方程
6
需要对高数中的这个公式比较熟知,然而二阶全微分同理可得,
u
x
=
u
ξ
·
ξ
x
+
u
η
·
η
x
u
x
=
u
ξ
·
ξ
y
+
u
η
·
η
y
(5.17)
75
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
其中 C 是任意待定常数
a
证明:
对于等高线上的点,如果带入原方程,满足
z = F (x, y) = C (5.26)
如果代入等高线方程有
f(x, y) = 0 (5.27)
比较5.265.27即可得到结论
有了这个定理,我们就可以迅速将式子的求解目标变为求解其等高线,
在等高线上显然满足
=
φ
x
dx +
φ
y
dy = 0 (5.29)
进而得到
φ
x
=
dy
dx
φ
y
(5.30)
5.30回代入5.25并消去
φ
y
,
7
就得到了
A
dy
dx
2
B
dy
dx
+
C
= 0
(5.31)
然后类比二次方程,当
= B
2
4AC > 0 (5.32)
方程有两解
dy
dx
=
B ±
B
2
4AC
2A
(5.33)
抽象出来就是
φ
1
(x, y) = C
1
φ
2
(x, y) = C
2
(5.34)
然后由定理5.2.1知道,φ
1
, φ
2
对应的就是 ξ, η, 因此换元成功,
5.2.1.4 原式化简
由此可以成功将原始方程化成
b
2
u
ξη
+ d
u
ξ
+ e
u
η
+ f u
g
= 0 (5.35)
如果 def g 都是零的话
8
5.2.2 总结:双曲型方程分类
看表5.2.2
5.3 三维波动方程
行波法由于没有了约束条件的限制,子啊某种程度上意味着可以依靠对称性来简化问题,并且其繁杂程度也不及分离变量法,
因此在此可以尝试再进一步:试试三维方程求解!
7
如果
φ
y
= 0 则逆变换不存在,因此此处可放心约分
8
这只能看看运气了,暂时对于无阻尼的波动方程这一点是可以满足的
76
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
方程名称 方程形式 A B C 方程分类
波动方程
2
u
t
2
= a
2
u
x
2
a
2
0 -1 >0 双曲型方程
热传导方程
u
t
= a
2
u
x
2
a
2
0 -1 =0 抛物型方程
波动方程
2
u
y
2
+
u
x
2
= 0 1 0 1 <0 椭圆型方程
5.1: 双曲型方程分类
5.3.1 球对称性情况
在直角坐标系上的三维无界波动方程如下
2
u
t
2
= a
2
2
u
x
2
+
2
u
y
2
+
2
u
z
2
, −∞ < x, y, z < +, t > 0
u(x, y, z, 0) = φ(x, y, z), −∞ < x, y, z < +
u(x,y,z,0)
t
= ψ(x, y, z), −∞ < x, y, z < +
(5.36)
根据对称性可以将其写成球坐标的形式
9
2
(ru)
t
2
= a
2
2
(ru)
r
2
(5.38)
这可以理解为关于 ru 的一元波动方程,因此根据5.6的解法同理可以解得
u =
f
1
(r + at) + f
2
(r at)
r
(5.39)
其中代入初始条件得
f
1
(r) =
1
2
rφ(r) +
1
2a
´
r
0
ξφ(ξ) +
C
2
f
2
(r) =
1
2
rφ(r)
1
2a
´
r
0
ξφ(ξ)
C
2
(5.40)
进而整理 u
推论 5.3.1.
u =
1
2r
[(r + at)φ( r + at) (r at)φ(r at)] +
1
2ar
ˆ
r+at
rat
ξψ(ξ) (5.41)
5.3.2 非球对称性情况
没有对称性就要引入辅助量来构造对称性,请欣赏书中对对称性的构造!
5.3.2.1 辅助量的引入
引入辅助量
10
9
在球坐标系下,拉普拉斯算子表示为 (笔者一直记不住这个公式,也懒得再推,因此直接给出)
2
=
1
r
2
r
r
2
r
+
1
r
2
sin θ
θ
sin θ
θ
+
1
r
2
sin
2
θ
2
ϕ
2
将上述拉普拉斯算子的球坐标形式代入波动方程中,得到球坐标系下的三维波动方程:
2
u
t
2
= a
2
1
r
2
r
r
2
u
r
+
1
r
2
sin θ
θ
sin θ
u
θ
+
1
r
2
sin
2
θ
2
u
ϕ
2
而对称性的意思就是 θ, φ 都是常数,那么求导之后为零九只剩下第一项了。即
1
a
2
2
u
t
2
=
1
r
2
r
r
2
u
r
(5.37)
然后简单操作一下就成了近似于一元的形式5.38
10
注意!笔者当时在这里卡住了,一开始看到曲面积分以为是第二类,后来发现这其实是第一类曲面积分,u 是一个标量,如果对于声波等机械波来说其表征
的压力这个量,
77
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
¯u(r, t) =
1
4πr
2
S
M
r
udS (5.42)
其中 S
M
r
是一个以 M(x, y, z) 为圆心,r 为半径的球面后续推导均认为 M 是一固定点
引理 5.3.2.
u(x, y, z, t) = lim
r0
¯u(r, t) (5.43)
5.3.2.2 r¯u 满足一维波动方程的证明
显然 ¯u 是球对称函数,现在证明下面的结论
定理 5.3.3. r¯u 满足一维波动方程,
2
(r¯u)
t
2
= a
2
2
(r¯u)
r
2
(5.44)
实际上就是由5.36的第一条式子推出关于 ru 的球对称形式。我们分开两边进行推导, 为了使用到定义5.42, 对三维波动方程两边
积分
左边 =
˚
V
M
r
2
u
t
2
dV
=
2
t
2
ˆ
r
0
S
M
r
udS
=4π
2
t
2
ˆ
r
0
ρ
2
¯udρ (使用了 ¯u 的定义)
(5.45)
再看右边
右边 =
˚
V
M
r
a
2
2
udV
=a
2
S
M
r
u ·ndS (使用了高斯公式)
=a
2
S
M
r
u
r
dS (套用了方向导数的定义)
=a
2
S
M
1
r
2
u
r
dS (转换成半径为 1 的球面)
=a
2
r
2
r
S
M
1
r
2
udS
=a
2
r
2
r
1
r
2
S
M
r
r
2
udS
!
(转换回半径为 r 的球面)
=4πa
2
r
2
r
1
4πr
2
S
M
r
r
2
udS
!
(使用了 ¯u 的定义)
=4πa
2
r
2
¯u
r
(5.46)
而左右两边相等
4π
2
t
2
ˆ
r
0
ρ
2
¯udρ = 4 πa
2
r
2
¯u
r
(5.47)
两边对 r 求导,在轻微推导之后就可以得到
2
(r¯u)
t
2
= a
2
2
(r¯u)
r
2
(5.48)
也就是我们要的结论
78
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
5.3.2.3 套入行波法反解出 u
不在赘述行波法求解,最终可以解得
¯u =
1
2r
[(r + at) ¯φ(r + at) (r at) ¯φ(r at)] +
1
2ar
ˆ
r+at
rat
ξψ(ξ) (5.49)
其中
¯φ(r) =
1
4πr
2
S
M
r
φdS
¯
ψ(r) =
1
4
πr
2
S
M
r
ψdS
(5.50)
r 0, 代入 ¯φ,
¯
ψ 并用洛必达法,
11
则即可得
推论 5.3.4.
u(x, y, z, t) = u(M, t) =
1
4πa
t
S
M
at
φ
(
ξ, η, ζ
)
at
dS +
1
4πa
S
M
at
ψ
(
ξ, η, ζ
)
at
dS (5.52)
5.4 二维波动方程
其实我觉得很奇怪,不应该是先易后难,然而书本 [5] 的思路是先把较难的三维情况推出来了再推二维,使得上面求到的三
维结果更具有一般性。
推导的要点就是降维公式
ds =
p
a
2
t
2
(ξ x)
2
(η y)
2
at
dS (5.53)
代入甚至可以将5.52在二维情况下化成更方便计算的
推论 5.4.1.
u(M, t) =
1
2πa
ˆ
a
0
ˆ
2π
0
φ(x + ρ cos θ, y + ρ sin θ)
p
a
2
t
2
ρ
2
ρdθ +
1
2πa
ˆ
a
0
ˆ
2π
0
ψ(x + ρ cos θ, y + ρ sin θ)
p
a
2
t
2
ρ
2
ρdθ (5.54)
证明从略 (不同还是比较繁琐的)
5.5 非齐次波动方程
2
u
t
2
= a
2
2
u
x
2
+ f (x, t), −∞ < x < +, t
u(x, 0) = 0,
u(x,0)
t
= 0, −∞ < x < +, t
(5.55)
11
u = ¯φ(at) + at ¯φ
(at) + t
¯
ψ(at)
=
1
a
t
[at ¯φ
(at)] + t
¯
ψ(at)
=
1
4πa
t
S
M
at
φ(ξ, η, ζ)
at
dS +
1
4πa
S
M
at
ψ(ξ, η, ζ)
at
dS
(5.51)
79
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
5.5.1 一维维非齐次
5.5.1.1 数学解法
方程齐不齐次对于分离变量法来说是大事,将直接导致其不能进行单变量方程分离但事实上,对于行波法来说,方程齐不齐
次对解决难度的影响并不算大,区别就是积分积的是 0 还是 f 而已。
同样的换元 (5.3), 得到
2
u
ξη
=
1
4a
f
ξ + η
2
,
ξ η
2a
(5.56)
进行积分
u(x, t) = f
1
(x + at) + f
2
(x at)
1
4a
2
ˆ
x+at
xat
ˆ
xat
µ
f
ξ + η
2
,
ξ η
2a
dv (5.57)
注意这里积分上下限的取值
v 的积分下限需要不大于 µ, 以此来保证 t 0
µ 的积分上下限可以下限可任意取值,这里只是为了后面的方便
根据高数的知识知道可以进行适当的坐标变换化简表达式
12
,并且带入稳态的初值条件可得 f
1
= f
2
= 0, 最终得到
u(x, t) =
ˆ
t
0
ˆ
x+a(aτ )
xa(aτ )
f(χ, τ )dχτ (5.58)
5.5.1.2 物理解法
顾名思义就是将方程组的一些量具象化成物理量,以此求解。实际上,f 的物理意义是单位质量弦所受的外力,因此可以将
其对时间离散,表示成一系列前后相继的瞬时力的叠加。
f(x, t)
t
X
τ=0
f(x, t, τ) (5.59)
13
于是乎利用叠加原理可以将总解也写成一系列解的形式
u
(
x, t
) =
t
X
τ=0
v
(
x, t, τ
)
,
代入分解后的方程
2
v
t
2
= a
2
2
v
x
2
+ f (x, t, τ), −∞ < x < +, t
v(x, 0) = 0,
v(x,0)
t
= 0, −∞ < x < +, t
(5.61)
然后分析下面的物理过程:
f
(
x,
)
将在
τ
时刻处于零状态的弦在
τ
+
τ
时刻变为零,速度
f
(
x, τ
)∆
τ
的弦
14
然后由5.60可知
τ + τ 时刻 f (x, ) 也为零。
于是方程在 τ + , τ 时刻就可以变成齐次了
2
v
t
2
= a
2
2
v
x
2
, −∞ < x < +, t
v(x, 0) = 0,
v(x,0)
t
= f (x, τ )∆τ, −∞ < x < +, t
(5.62)
不在赘述这个方程的解法,反正其解出来和数学解法的是一样的,因此两种方法得到了验证。
12
其实是要化成 x t 的形式,本质上
χ = x
τ = t
, 书中费尽心思换元的目的其实是想让读者知道这个积分字母实际上与 x t 无关!
13
其中
f(x, t, τ) = f (x, t)[U (t τ ) U(t τ τ )] (5.60)
14
对于冲量力,在极短时间内位移不可以突变,但是速度可以 (可以想象高中学过的两题碰撞过程前后状态的分析)
80
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
5.5.2 二维 & 三维非齐次
同理可以解决三维问题,并降维得到二维,此处亦不赘述。
5.5.2.1 三维
u(M, t) =
1
4πa
2
ˆ
at
0
S
M
at
f
ξ, η, ζ, t
r
a
r
dSdr =
1
4πa
2
˚
V
M
at
f
ξ, η, ζ, t
r
a
r
dSdr (5.63)
5.5.2.2 二维
u(M, t) =
1
2πa
2
ˆ
at
0
f
ξ, η, t
ρ
a
p
ρ
2
(ξ x)
2
(η y)
2
dsdρ (5.64)
5.6 解的物理意义
重新列出三个方程
u =
1
2
[φ(x + at) + φ(x at)] +
1
2a
ˆ
x+at
xat
ψ(ξ) (5.65)
u(M, t) =
1
2πa
ˆ
a
0
ˆ
2π
0
φ(x + ρ cos θ, y + ρ sin θ)
p
a
2
t
2
ρ
2
ρdθ +
1
2πa
ˆ
a
0
ˆ
2π
0
ψ(x + ρ cos θ, y + ρ sin θ)
p
a
2
t
2
ρ
2
ρdθ (5.66)
u(x, y, z, t) = u(M, t) =
1
4πa
t
S
M
at
φ(ξ, η, ζ)
at
dS +
1
4πa
S
M
at
ψ(ξ, η, ζ)
at
dS (5.67)
5.6.1 能量特性
从方程上可以看到二维情况和三维情况都是随距离呈衰减趋势,而一维情况幅值与距离无关
5.6.2 前锋与阵尾
三维波动的初始扰动只会对每一个点产生一次影响 (在掠过时),在之前和之后都不会出现
一维情况有清晰的前锋,但是没有阵尾
二维情况与一维情况一样
15
15
如果用降维的思想,将二维振源想成三维的一条线振源,则其在前锋之后持续影响该点的特性也就容易理解了,对一维没有阵尾的理解也是如此
81
复变 & 积分变换 & 数物方程笔记 第五章 行波法 Tsui Dik Sang
82
第六章 积分变换法
用到的性质详见前面学过的章节, 这里给出用其来解决实际微分方程的例子。
6.1 求解分离变量法的问题
试试积分变化法在分离变量法产生的微分方程中求解的威力
T
′′
n
(t) + a
2
n
2
π
2
l
2
T
n
(t) f
n
(t) = 0
T
n
(0) = T
n
(0) = 0
(6.1)
对方程两端做拉普拉斯变换,并使用原函数的微分性质2.2.2, 得到
s
2
T
n
(s) + a
2
n
2
π
2
l
2
¯
T
n
(t) F
n
(t) = 0 (6.2)
得到
T
n
(s) =
F
n
(s)
s
2
+ a
2
n
2
π
2
l
2
(6.3)
利用一些列性质
1
得到
T
n
(t) =
l
a
sin
a
l
t f
n
(t) =
l
a
ˆ
t
0
f
n
(τ) sin
a(t τ )
l
(6.4)
6.1.1 求解行波法
基本思路是一样的,知识由于行波的无界性,因此不能使用拉普拉斯变换,而只能使用傅里叶变换,此处不再赘述。
注意,需要慎重选择积分方法,对于 x<0 无定义的区域则不能使用拉普拉斯变换
1
请读者自己进行拉普拉斯逆变换,提示需要使用时域卷积性质
83
复变 & 积分变换 & 数物方程笔记 第六章 积分变换法 Tsui Dik Sang
84
第七章 格林函数法 Green
本质上是在用场源叠加法的思想进行求解
1
,首先需要对三维函数中的 δ 函数以及其性质做一些扩展
7.1 线性方程解的卷积表示
7.1.1 单位场源:以点电荷为例
7.1.1.1 关于原点对称的点电荷
利用三维的 δ 函数,可以将防止在原点的单位点电荷密度表示为
f = δ(M) (7.1)
然后由泊松方程有
2
u(M) =
δ(M )
ε
0
(7.2)
从物理上显然可以知道 u(M) =
1
4πε
0
r
是方程7.2的解。
也可以从数学上证明,这需要引入球对称单位冲激函数 (其实就是三维的 δ 函数)
2
,
推论 7.1.1.
ˆ
2π
0
ˆ
π
0
ˆ
0
1
4πr
2
δ(r)r
2
sin θdrdθ = 1 (7.4)
可以知道球域内的球对称单位冲激函数
1
4πr
2
δ(r)
7.1.1.2 非原点对称点电荷
可以理解为换了一个参考系。
f = δ(M, M
0
)
2
u(M) =
δ ( M,M
0
)
ε
0
u(M ) =
1
4πε
0
r
MM
0
(7.5)
7.1.1.3 离散的多个点电荷
直接由叠加法可得
u(M) =
n
X
k=1
f
k
4πε
0
r
MM
k
(7.6)
, 其中 f
k
是线性相加的系数,反应电荷量大小
1
从这一章开始的内容都涉及大量数学的内容,笔者花了好多时间才勉强看懂了大致的思路,但是其中部分细节也还没有理清,更别提用这些方法来来解决实
际的问题,因此以下的笔记都只是一个理解这些内容的一个思考,如读者学过相关的知识建议直接去看课本,看能否有更清晰的体会
2
7.2变成球坐标形式,
1
r
2
·
d
dr
r
2
du
dr
=
1
4πε
0
r
2
δ(r) (7.3)
再积分两次由7.4就可以得到解了
85
复变 & 积分变换 & 数物方程笔记 第七章 格林函数法 GREEN Tsui Dik Sang
7.1.1.4 连续分布的体电荷
求和变积分
u(M) =
˚
f(M
0
)
4πε
0
r
MM
0
dV
0
(7.7)
将这个式子进一步抽象
u(M) =
˚
G(M, M
0
)f(M
0
)dV
0
(7.8)
观察可以发现 G(M, M
0
) 是单个点电荷的解,而 u
M
是连续带电体的场分布,而式7.8描述了这两个解之间的关系,至此,我们
就归纳出结论了,
定理 7.1.2.
2
u(M) =
δ ( M,M
0
)
ε
, M, M
0
u
Γ
= 0
(7.9)
2
u(M) =
f(M )
ε
, M,
u
Γ
= 0
(7.10)
G(M, M
0
) 7.9的解,那么 u(M) =
˚
G(M, M
0
)f(M
0
)dV
0
就是7.10的解
这个结论在信号与系统这一门中课中有直观的解释,即一个线性非时变系统玩却可以有它的冲激相应来表征
7.2 位势方程的格林函数
7.2.1 明确目标
首先明确要求解的方程,根据书本最后的解释,这应该是为带非齐次边界条件的泊松方程,即
2
u(M) =
f(M )
ε
0
, M,
u(M) = F (M)
(7.11)
2
u(M) =
f(M )
ε
0
, M,
u(M )
n
= F (M )
(7.12)
然后我们需要用一些公式去尝试解这两个方程, 可以试试第二格林公式
3
定理 7.2.1 (第二格林公式).
˚
(u
2
v v
2
u)dV =
Γ
u
v
n
v
u
n
dS (7.13)
且要求 u, v
Γ 上一阶连续
上二阶连续
3
书上在这一节一开头就开始了这一部分的推导,直到最后才给出了推导的目的,让笔者在一开始看的时候非常头晕,与前面的部分有割裂之感,因此在笔记
中先将推导的目标给出,尽管如此,其推导步骤与结论也相当分离,给人的感觉更像是看着第二格林公式出发“偶然”推出了定解问题,而并非从解出发一步一
步想出这个推导方法,所以下面的步骤欣赏即可
86
复变 & 积分变换 & 数物方程笔记 第七章 格林函数法 GREEN Tsui Dik Sang
n 为向外的法向量
7.2.2 处理积分边界、区域以及被积函数 uv
(为了往定解问题上凑) 对边界、区域以及 u v 做如下处理
M
0
(x
0
, y
0
, z
0
)
B
ε
M
0
M(x, y, z)
x
y
z
ε
7.1: 固定点 M
0
、小球 B
ε
M
0
和球面 S
ε
M
0
的示意图
M
0
(x
0
, y
0
, z
0
) 内的固定点,M(x, y, z) 内的动点。
B
ε
M
0
为以 M
0
为球心,充分小正数 ε 为半径的小球,球面为 S
ε
M
0
• uv 应该满足的:
v B
ε
M
0
内的调和函数
4
,即
2
v(M
0
, M ) = 0, M B
ε
M
0
(7.14)
– u 满足位势函数应该满足的
2
v(M
0
, M ) = f (M), M (7.15)
7.2.3 格林公式的左边
在挖去 B
ε
M
0
的区域使用格林第二公式,有
˚
B
ε
M
0
(u
2
v v
2
u)dV =
Γ+S
ε
M
0
u
v
n
v
u
n
dS (7.16)
代入7.14,将格林公式7.16的左边
˚
B
ε
M
0
v
2
udV =
Γ+S
ε
M
0
u
v
n
v
u
n
dS (7.17)
由于是体积分,只要 v
2
u M
0
点不是无界的非定义值 (特指 δ 函数)
5
,当 ε 0 的时候,
˚
B
ε
M
0
v
2
udV
˚
v
2
udV (7.18)
为了使得后面可以计算,不妨设
v(M
0
, M ) =
1
4πr
MM
0
+ w(M ) (7.19)
并且显然 w(M) 也是 M 上的调和函数,此时可以将 v 的调和性质扩展, 在区域
2
v = δ(M
0
, M ) (7.20)
4
其实 v 在整个大区域上就是 G 函数
5
实际上这里笔者也并没有证明白,只能由7.15认为
2
u M
0
是有界的,但是 v 为何有界也还未有一个很充分的理由
87
复变 & 积分变换 & 数物方程笔记 第七章 格林函数法 GREEN Tsui Dik Sang
并且由于 u w 的在含 M 区域的连续性,极限情况下 (ε 0)
u
n
MS
ε
M
0
u(M
0
)
n
, u
MS
ε
M
0
u(M
0
)
w
n
MS
ε
M
0
w(M
0
)
n
, w
MS
ε
M
0
w(M
0
)
(7.21)
7.2.4 格林公式的右边
下面用上面的结果拆解格林公式的右边在极限情况下的情况:
对于第一项
S
ε
M
0
v
u
n
dS =
S
ε
M
0
1
4πr
MM
0
+ w
u
n
dS
= lim
ε0
S
ε
M
0
1
4πε
+ w
u
n
dS
= lim
ε0
4πε
2
1
4πε
+ w(M
0
)
u
n
=0
(7.22)
对于第二项
S
ε
M
0
u
v
n
dS =
S
ε
M
0
u ·
n
1
4πr
MM
0
+
w
dS
= lim
ε0
S
ε
M
0
u
1
4πr
MM
0
+
w(M
0
)
n
dS
= lim
ε0
4πε
2
u(M
0
)
1
4πε
+
w(M
0
)
n
=u(M
0
)
(7.23)
于是,将格林公式7.16的右边化成
Γ+S
ε
M
0
u
v
n
v
u
n
dS =
Γ
u
v
n
v
u
n
dS + u(M
0
) (7.24)
7.2.5 合并得解
上述所做的这么辛苦其实都是为了将不调和的点 M
0
想方设法去掉,将7.187.24代入7.16,
整理得到
u(M
0
) =
˚
v
2
udV
Γ
u
v
n
v
u
n
dS (7.25)
前面说过,v 实际上就是对 G 的换元,因此代入就得到了格林函数解位势方程的解析形式
u(M
0
) =
˚
G(M
0
, M )f(M
0
)dV
0
Γ
u(M
0
)
G(M
0
, M )
n
G(M
0
, M )
u(M
0
)
n
dS (7.26)
其中格林函数 G 满足
2
G(M
0
, M ) = δ(M
0
, M ) (7.27)
方程7.26在第一类边界条件以及第二类边界条件之时只需要使曲面积分的第一项或者第二项即可
7.2.6 不同边界条件的解的形式
7.2.6.1 第一类边界条件
G 满足
2
G = δ(M, M
0
), M, M
0
G = 0 , M Γ
(7.28)
88
复变 & 积分变换 & 数物方程笔记 第七章 格林函数法 GREEN Tsui Dik Sang
定解问题为
2
u = f(M), M
u = F (M), M Γ
(7.29)
7.26变成了
u(M
0
) =
˚
G(M
0
, M )f(M
0
)dV
0
Γ
F (M
0
)
G(M
0
, M )
n
dS (7.30)
7.2.6.2 第二类边界条件
G 满足
2
G = δ(M, M
0
), M, M
0
G
n
= 0, M Γ
(7.31)
定解问题为
2
u = f(M), M
u
n
= F (M ), M Γ
(7.32)
7.26变成了
u(M
0
) =
˚
G(M
0
, M )f(M
0
)dV
0
+
Γ
G(M
0
, M )
F (M
0
)
n
dS (7.33)
7.3 三维位势方程
镜像法其实就是格林函数的一个应用,如将单个点电荷与无限大平面的场分布问题转化成正负两个电荷产生的场分布问题,
这本质上就是在化连 (导体平面表面上的连续电荷分) 转化成离散的点电荷分布 (单个负电荷),从而大大简化了问题。因此
在这一部分就是要尝试用格林函数的方式系统的阐述镜像法,下面我将会将之前接触过的几个经典镜像法例题用格林函数的形式
求解一次。
7.3.1 导体边界电势恒为零的单点电荷:第一类边界 (狄利克雷边界)
实际上垂直于导体边界电场恒为零的单点电荷问题是第一类边界条件的格林函数解!
6
因此有了对单个点电荷格林函数的
述,就可以通过积分的形式来描述连续带电体在这种区域的场分布情况了。那么我们先来求单个点电荷的分布情况。
显然的,由镜像法可以知道
G(M
0
, M ) =
1
4πr
MM
0
1
4πr
MM
1
=
1
4π
p
(x x
0
)
2
+ (y y
0
)
2
+ (z z
0
)
2
+
1
4π
p
(x + x
0
)
2
+ (y + y
0
)
2
+ (z + z
0
)
2
(7.34)
代入第一类边界条件7.30,经过一通化简得
u(M) =
ˆ
+
0
ˆ
+
−∞
ˆ
+
−∞
1
r
MM
0
1
r
MM
1
f(x
0
, y
0
, z
0
)dx
0
y
0
dz
0
+
1
2π
ˆ
+
−∞
ˆ
+
−∞
F (x
0
, y
0
)
z
[(x x
0
)
2
+ (y y
0
)
2
+ z
2
]
3
2
dx
0
dy
0
(7.35)
7.3.1.1 垂直于平板边界
7.3.2 垂直于平板边界电场恒为零:第二类边界 (诺依曼边界)
用镜像法知可以将平板替换为位置对称但同号的点电荷,因此求解是相似的,这里直接给结果
u(M) =
ˆ
+
0
ˆ
+
−∞
ˆ
+
−∞
1
r
MM
0
+
1
r
MM
1
f(x
0
, y
0
, z
0
)dx
0
y
0
dz
0
+
1
2π
ˆ
+
−∞
ˆ
+
−∞
1
r
MM
0
+
1
r
MM
1
F (x
0
, y
0
)dx
0
dy
0
(7.36)
6
笔者在一开始一直以为他求解的 u 就是我们熟知的单个对称电荷的情况,后来才发现这实际上是格林函数的情况其物理意义表示,在上半空间每有一个单位
电荷,其场对分布的贡献就是单位格林函数 G,相当于其以及下半区域的对称位置的负电荷共同作用产生的电场,
89
复变 & 积分变换 & 数物方程笔记 第七章 格林函数法 GREEN Tsui Dik Sang
7.3.2.1 法拉第笼:球面电位为零的情况 (狄利克雷边界)
如何通过镜像法找到等效电荷的方法还是和电磁学的一样,也知识对周的结果变了而已,设球笼是是原点为圆心的半径为 R
的球,并且求内的点电荷在 M(r
0
, θ
0
, φ
0
)
7
上,最终解得 G
8
G(M, M
0
) =
1
4π
1
p
r
2
0
+ r
2
2rr
0
cos γ
R
p
R
4
+ r
2
0
r
2
2R
2
r
0
r cos γ
!
(7.38)
得到的一般位势方程为
u(M) =
u(M
0
)
G(M, M
0
)
n
dS
0
=
R
4π
ˆ
2π
0
ˆ
π
0
F (θ
0
, φ
0
) ·
R
2
r
2
(R
2
+ r
2
2Rr cos γ)
3
2
0
0
(7.39)
7.4 二维位势方程
比三维简单,但是需要注意一点:二维情况的元电 (带电无限长无限细导体线) 在空间的场分布没有自然零点,解服从对
数规律,因此需要人为规定零势面。具体从略。
7.5 波动方程的格林函数
应该意识到,所谓的波动是加入了时间,可以理解为多了一个维度的四维时空的格林函数求解,因此很多东西都需要被拓展
定义。
本质上就是在尝试求解基本的 G
7.5.1 单位冲激源以及其波动方程
2
u
1
a
2
·
2
u
t
2
=
1
4πr
2
δ(r)δ(t) (7.40)
其中等式右边的项目可以理解为受迫振动3.7中的 f 项,使用 t 上的傅里叶变换
9
可以解得三维波动方程的基本解为
1
4πr
MM
0
δ
t t
0
r
MM
0
a
(7.44)
7
球坐标形式
8
提示:需要用到球面角公式:
推论 7.3.1.
cos γ = cos θ cos θ
0
+ sin θ sin θ
0
cos(φ φ
0
) (7.37)
其中 γ OM OM
0
之间的夹角
9
7.40两边对 t 做变换得
2
U +
ω
2
a
2
U =
1
4πr
2
δ(r) (7.41)
2
算符写成球坐标的形式
2
U =
1
r
2
r
r
2
U
r
(7.42)
代入解得 (文中的方法近乎于猜,因此此处也不做解释)
U =
e
j
ω
a
r
4πr
(7.43)
90
复变 & 积分变换 & 数物方程笔记 第七章 格林函数法 GREEN Tsui Dik Sang
7.5.2 积分时空域的定义和扩展
M
0
(x
0
, y
0
, z
0
) 是空域 内的固定点,M(x, y, z) 内的动点。
t
0
为固定时刻,t 为变时刻
10
B
ε
M
0
内以 M
0
为圆心、ε 为半径的小球,S
ε
M
0
B
ε
M
0
的表面,
……
上面是仍然使用三维空间定义的东西,可以看到相当的不方便,于是试试用思维时空域的角度来看
V t
为以 和时域组合起来的时空域,Γ
V t
V t
的表面,
M
V t
0
(x
0
, y
0
, z
0
, jat
0
)
V t
内的固定点,M
V t
(x, y, z, jat)
V t
内的动点;
B
ετ
M
vt
0
V t
内以 S
ε
M
0
为侧面、jat = ja(t ± τ ) 为上下底围成的球柱
11
,S
ετ
M
vt
0
B
ετ
M
vt
0
的表面
7.5.3 拉普拉斯算子
2
的扩展
v
V t
B
ετ
M
vt
0
内满足齐次波动方程
12
1
a
2
2
v(M
V t
0
, M
V t
)
t
2
=
2
v(M
V t
0
, M
V t
), M
V t
0
V t
B
ετ
M
vt
0
(7.45)
如果扩展四维的拉普拉斯算子,
2
V t
=
2
+
2
(jat)
2
(7.46)
那么7.45就可以写成和7.14相似的形式
2
V t
v(M
V t
0
, M
V t
) = 0 (7.47)
于是 u 也可以写成扩展拉普拉斯算子的形式
2
V t
u(M
V t
) + f (M
V t
) = 0 (7.48)
7.5.4 四维第二格林公式
其实步骤与三维是一样的,只是扩展到了四维而已,在
V t
B
ετ
M
vt
0
内使用公式7.16
˚
V t
B
ετ
M
vt
0
(u
2
V t
v v
2
V t
u)dV =
V t
B
ετ
M
vt
0
u
v
n
V t
v
u
n
V t
dS (7.49)
之后的内容与7.2, 但更加繁琐,请读者自行证明,此处直接给结论:
u(M
V t
) =
1
ja
˘
V t
G(M
V t
, M
V t
0
)f(M
V t
0
)dV
V t
0
1
ja
Γ
V t
u(M
V t
)
G(M
V t
, M
V t
0
)
n
V t
0
G(M
V t
, M
V t
0
)
u(M
V t
0
)
n
V t
0
dS
V t
0
(7.50)
10
可以将 t M 合并起来理解为四维空间中的固定点与变点
11
ετ 均为充分小的量,并且 > ε
12
其实就是前面提到的无源场方程7.14
91
复变 & 积分变换 & 数物方程笔记 第七章 格林函数法 GREEN Tsui Dik Sang
7.5.5 实际分析
引入四维时空域只是为了计算的简便, 实际空间毕竟还是三维加上一维的时间,因此,在得到结果后就要对时空域进行分离,
从而理清楚结果的物理意义。得
13
u(M
V t
) =
ˆ
t
0
˚
G(M, t; M
0
, t
0
)f(M
0
, t
0
)dV
0
dt
0
1
a
2
˚
u(M
0
, 0)
G(M, t; M
0
, 0)
t
0
dV
0
ˆ
t
0
Γ
u(M
0
, t
0
)
G(M, t; M
0
, t
0
)
n
0
dS
0
dt
0
+
1
a
2
˚
G(M, t; M
0
, 0)
u(M
0
, 0)
t
0
dV
0
+
ˆ
t
0
Γ
G(M, t; M
0
, t
0
)
u(M
0
, t
0
)
n
0
dS
0
dt
0
(7.51)
然后由此可以推出一二三维的波动方程,都非常复杂,这里从略了。
13
具体的步骤有时间再放上
92
第八章 贝塞尔函数法 Bessel
这是为了解决解决圆域问题中的偏微分方程而使用的
8.1 贝塞尔方程的引入
8.1.1 方程建立与分离变量法的初步求解
首先来看写成极坐标形式的圆域波动方程
1
a
2
2
u
t
2
=
2
u
ρ
2
+
u
ρ
+
1
ρ
2
2
u
θ
2
, ρ < R, −∞ < θ < +, t > 0
u(R, θ, t) = 0, −∞ < θ < +, t > 0
u(ρ, θ, 0) = φ(ρ, θ),
u(ρ,θ,0)
t
= 0, ρ < R, −∞ < θ < +
(8.1)
由圆本身的性质,其实还存在链两个因此的边界条件
|u(0, θ, t)| < +, (自然边界条件)
u(ρ, θ, t) = u(ρ, θ + 2π, t), (周期边界条件)
(8.2)
我们还是先使用分离变量法来解决这个问题。设 u(ρ, θ, t) = P (ρ)Θ(θ)T (t) ,代入原方程一翻处理之后得三个独立微分方程
T
′′
+ λa
2
T = 0
Θ
′′
+ λΘ = 0
ρ
2
P
′′
+ ρP
+ (λρ
2
µ)P = 0
(8.3)
8.1.2 构造贝塞尔方程
8.2(1) 以及8.3(2) 初步可以得到
Θ
n
= C
n
cos( + φ), µ = n
2
, n = 1, 2, 3, ··· (8.4)
代入8.3(3) 化成
ρ
2
P
′′
+ ρP
+ (λρ
2
n
2
)P = 0 (8.5)
做变量变换
x =
λρ
y = P (x) = P (
λρ)
即可整理出 n 阶贝塞尔方程:
定义 8.1.1 (贝塞尔方程).
x
2
y
′′
+ xy
+ (x
2
n
2
)y = 0, x <
λρ
y(
λρ) = 0 , |y(0)| < +
(8.6)
93
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
8.2 贝塞尔方程的求解
8.2.0.1 初步求特解:级数法
使用级数法来求解
1
引理 8.2.1 (级数法). 假设解可以表示成级数的形式:
y = x
c
a
0
+ a
1
x + a
2
x
2
+ ··· + a
k
x
k
+ ···
=
X
k=0
a
k
x
c+k
, a
0
̸= 0 (8.7)
8.7代入8.6比较系数可以得到
(c
2
n
2
)a
0
= 0
[(c + 1)
2
n
2
]a
1
= 0
[(c + k)
2
n
2
]a
k
+ a
k2
= 0
(8.8)
解得
c = ±n
a
k
=
a
k2
(c+k)
2
n
2
=
a
k2
k
2
±2nk
a
2k+1
= 0
(8.9)
合理的取 a
0
能让问题得到简便,这里使用 Γ 函数
2
a
0
=
1
2
n
Γ(n+1)
, c ±n 分别都有一组解,就得到了贝塞尔方程的两个特
解:
定理 8.2.3 (贝塞尔方程的特解).
J
n
(x) =
X
m=0
(1)
m
m!Γ(n + m + 1)
x
2
n+2m
J
n
(x) =
X
m=0
(1)
m
m!Γ(n + m + 1)
x
2
n+2m
(8.12)
可以看到 J
n
(x) = (1)
n
J
n
(x), 也即两个特解线性相关,不能由他们的线性组合来表示方程的通解。
1
相当于进行泰勒展开
2
高数下的知识,这里可以补充一下其定义和性质 (由图8.1可以清晰看出)
定义 8.2.1 (Γ 函数).
Γ(p) =
ˆ
+
0
e
x
x
p1
dx (8.10)
其性质有
推论 8.2.2.
Γ(p + 1) = pΓ(p)
Γ
1
2
=
π
Γ(n) = (n 1)! (n为正整数)
Γ(n) (n 0, 1, 2, 3, ···)
(8.11)
94
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
8.2.0.2 构造特解 *
考虑下面的函数
3
Y
n
(x) = lim
αn
J
α
(x) cos απ J
α
(x)
sin απ
(8.13)
我们可以证明 Y
n
(x) J
α
(x) 线性无关
4
因此
定理 8.2.4. [贝塞尔方程的通解]
y = AJ
n
(x) + BY
n
(x) (8.16)
其中 J
n
(x) 称为 n 阶第一类贝塞尔函数 (n 阶贝塞尔函数)Y
n
(x) 称为 n 阶第二类贝塞尔函数 (n 阶诺依曼函数)
-4 -2 2 4
x
-10
-5
5
10
y
Γ Function
8.1: Γ 函数 (A.2)
J_0(x)
J_1(x)
J_2(x)
5 10 15 20
x
-0.4
-0.2
0.2
0.4
0.6
0.8
1.0
J_n(x)
First Bessel Functions
8.2:
(A.3)
Y_0(x)
Y_1(x)
Y_2(x)
5 10 15 20
x
-1.0
-0.5
0.5
1.0
Y_n(x)
Second Bessel Functions
8.3:
(A.3)
再提一个定理,J
n
(x) 有其积分形式, 证明从略,其在极坐标的作用与三角函数在直角坐标的作用类似。
J
n
(x) =
1
2π
ˆ
2π
0
cos( x sin ξ) (8.17)
8.3 贝塞尔函数的性质与应用分析
8.3.1 基本的性质
8.3.1.1 有界性
定理 8.3.1 (有界性). J
n
(x) 是有界的
a
x ̸= 0 时,Y
n
(x) 是有界的,
3
这一部分的内容欣赏即可
4
n 不为整数时这个结论是显然的
n 为整数时,也可证明,但过程没看懂:
Y
n
(x) =
2
π
J
n
(x)
ln
x
2
+ γ
+
x
n
π
+
X
m=0
(1)
m1
(h
m
+ h
m1
)
2
2m+n
m!(n + m)!
x
2m
x
n
π
n1
X
m=0
(1)
m1
(n m 1)!
2
2mn
m!
x
2m
(8.14)
其中 h
0
= 0; h
m
=
m
X
n=1
1
n
; γ = lim
m+
(h
m
ln h
m
) = 欧拉常数。由8.14的第一项可以知道
lim
x0
Y
n
(x) = −∞ (8.15)
J
n
(0) 是有界的,那么 J
n
(0) 就肯定不能通过线性缩放得到 Y
n
(0) (这可以认为是反例证明法的一个应用), 于是就证明了两者线性无关
95
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
x = 0 时,Y
n
(x) 是无界的,
a
8.12结合交错级数收敛的判别方法
8.3.1.2 奇偶性
定理 8.3.2 (奇偶性).
a
n 为偶数时,j
n
(x) 是偶函数
n 为奇数时,j
n
(x) 是奇函数
a
也是由8.12
定理 8.3.3 (J
n
(x) 的递推性).
a
J
n1
(x) + J
n+1
(x) =
2n
x
J
n
(x)
J
n1
(x) J
n+1
(x) = 2J
n
(x)
(8.19)
a
d
dx
[x
n
J
n
(x)] = ··· = x
n
J
n1
(x)
d
dx
[x
n
J
n
(x)] = ··· = x
n
J
n+1
(x)
(8.18)
可得
定理 8.3.4 (Y
n
(x) 的递推性).
a
Y
n1
(x) + Y
n+1
(x) =
2n
x
Y
n
(x)
Y
n1
(x) Y
n+1
(x) = 2Y
n
(x)
(8.20)
a
同第一类的推导方法
推论 8.3.5 (初值性质). (代入公式就可以推出)
J
0
(0) = 1, J
n
(0) = 0, n ̸= 0 (8.21)
J
1
(0) =
1
2
[J
0
(0) J
2
(0)] =
1
2
J
n
(0) =
1
2
[J
n1
(0) J
n+1
(0)] = 0
(8.22)
8.3.2 零点性质 (零点的周期性)
除了这些基本性质,还有一些独有的性质,观察图8.28.3, 可以看到贝塞尔函数都具有周期性, x 轴附近波动,有大量的
零点,因此其零点的研究也是一个很重要的课题
定理 8.3.6 (零点性质). J
n
(x) 有无穷多个零点
J
n
(x) J
n+1
(x) 的零点相间分布,即 µ
(n)
m
< µ
(n+1)
m
< µ
(n)
m+1
< µ
(n+1)
m+1
96
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
J
n
(x) 的零点趋于周期分布,即 lim
m→∞
[µ
(n)
m+1
µ
(n)
m
] = π
8.3.3 半奇数阶的贝塞尔函数
这个定义的扩展很奇怪,但是在看完球贝塞尔函数8.67之后就懂了这个扩展定义的意义了。
8.3.3.1 定理阐述
推论 8.3.7 (半奇数阶的贝塞尔函数).
J
2n+1
2
(x) = (1)
n
q
2
π
x
n+
1
2
1
x
·
d
dx
n
sin x
x
J
2n+1
2
(x) =
q
2
π
x
n+
1
2
1
x
·
d
dx
n
cos x
x
(8.23)
Y
2n+1
2
(x) = (1)
n+1
J
2n+1
2
(x) (8.24)
8.3.3.2 证明
先推 J
1
2
(x),
J
1
2
(x) =
X
m=0
(1)
m
m
3
2
+ m
x
2
1
2
+2m
=
X
m=0
(1)
m
m!
1
2
1 +
1
2
2 +
1
2
···
m +
1
2
· Γ
1
2
x
2
1
2
+2m
=
r
2
X
m=0
x
2m+1
=
r
2
sin x
(8.25)
然后可以推出其他的的半奇数阶
8.3.4 正交性
8.3.4.1 定理阐述
定理 8.3.8 (正交性).
ˆ
R
0
ρJ
n
µ
(n)
m
R
ρ
!
J
n
µ
(n)
k
R
ρ
!
=
0, m ̸= k
R
2
2
J
2
n1
(µ
(n)
m
) =
R
2
2
J
2
n+1
(µ
(n)
m
), m = k
(8.26)
并且通常称
v
u
u
t
ˆ
R
0
ρJ
2
n
µ
(n)
k
R
ρ
!
J
n
µ
(n)
k
R
ρ
!
的模
5
以下是该定理的证明:
5
证明先从略
97
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
8.3.4.2 证明
为了书写方便,令
F
1
(ρ) = J
n
µ
(n)
m
R
ρ
!
F
2
(ρ) = J
n
(αρ)
两者均满足贝塞尔方程,
d
[ρF
1
(ρ)] +
µ
(n)
m
R
!
2
ρ
n
2
ρ
F
1
(ρ) = 0
d
[ρF
2
(ρ)] +
α
2
ρ
n
2
ρ
F
2
(ρ) = 0
(8.27)
两者分别乘 F
1
(ρ)F
2
(ρ) 并且积分 (
´
R
0
) 相减:
µ
(n)
m
R
ρ
!
2
α
2
ˆ
R
0
ρF
1
(ρ)F
2
(ρ) = · = RF
1
(R)F
2
(R) (8.28)
ˆ
R
0
ρF
1
(ρ)F
2
(ρ) =
RF
1
(R)F
2
(R)
µ
(n)
m
R
ρ
2
α
2
(8.29)
根据8.29,首先令 α =
µ
(n)
m
R
我们可以开始分类讨论进行证明了:
m ̸= k, F
2
(R) = 0
6
正交为零得证
m = k, 分母上下都为零,因此需要用到洛必达
ˆ
R
0
ρF
1
(ρ)F
2
(ρ) =
µ
(n)
m
J
n
(µ
(n)
m
)
J
n
(
αR
)
µ
(n)
m
R
2
α
2
= lim
α
µ
(n)
m
R
(n)
m
J
n
(µ
(n)
m
)J
n
(αR)
2α
=
R
2
2
[J
n
(µ
(n)
m
)]
2
=
R
2
2
J
2
n1
(µ
(n)
m
)
=
R
2
2
J
2
n+1
(µ
(n)
m
)
(8.30)
8.3.4.3 正交性的应用:级数分解
根据4.1.1,结合刚刚证明得的贝塞尔函数的正交性,就有了下面的结论
定理 8.3.9 (贝塞尔函数展开). 定义在 [0, R] 上的函数 f(ρ) 可以展开成贝塞尔函数的级数和,
f(ρ) =
+
X
m=0
C
m
J
n
µ
(n)
m
R
ρ
!
(8.31)
其中
C
m
=
´
R
0
ρf(ρ)J
n
µ
(n)
m
ρ
R
2
2
J
2
n
+1
(µ
(n)
m
)
(8.32)
6
注意!µ
k
(n) 是贝塞尔函数的零点,结合前面对 F
2
(R) 的定义不难由此推出这个式子
98
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
8.4 贝塞尔函数的应用:解决一开始提出的方程
8.4.0.1 解贝塞尔方程
再回看方程8.5ρ
2
P
′′
+ ρP
+ (λρ
2
n
2
)P = 0
λ = 0 时,原式编程欧拉方程,容易求得其通解为
P = Cρ
n
+ Dρ
n
(8.33)
有根据隐藏边界条件8.2得到 P=0
λ = β
2
> 0 时,由贝塞尔方程的解定理8.2.4 得其通解为
P = CJ
n
(βρ) + DY
n
(βρ) (8.34)
并且同样由有界的8.2条件,且 Y
n
无界,因此最后 P = CJ
n
(βρ),代入8.2 P 的表示 P (R) = CJ
n
(βρ) = 0, 经过一翻整
理,得到
λ = β
2
mn
=
µ
(n)
m
R
!
2
, m = 1, 2, 3, ··· (8.35)
所以
P
mn0
=
C
mn
J
0
µ
(n)
m
R
ρ
!
(8.36)
λ = β
2
< 0, 可引入复数从而转化回普通的贝塞尔方程
ρ
2
P
′′
+ ρP
+ [(jβ)
2
ρ
2
n
2
]P = 0 (8.37)
得到通解为
P = CJ
n
(jβρ) + DY
n
(jβρ) (8.38)
由于贝塞尔函数只有实数零点,因此上式没有实数零点,最终也只能解得 P = 0
8.4.0.2 解决原方程
8.36代入原方程8.3(1),容易解得
T
mn
(t) = E
mn
cos
µ
(n)
m
c
R
at + F
mn
sin
µ
(n)
m
c
R
at (8.39)
由初始条件 u(R, θ, t) = 0 知道其中的 F
mn
= 0 于是 T
mn
可以写成
T
mn
(t) = E
mn
cos
µ
(n)
m
c
R
at (8.40)
接着一路回代,最终得到
u(ρ, θ, t) =
+
X
n=0
+
X
m=0
(A
n
cos + B
n
sin )C
mn
J
n
µ
(n)
m
R
ρ
!
cos
µ
(n)
m
c
R
at
=
+
X
n=0
+
X
m=0
(G
mn
cos + H
mn
sin )J
n
µ
(n)
m
R
ρ
!
cos
µ
(n)
m
c
R
at
(8.41)
然后代入初始条件以及边界条件,最终得到确定解
7
7
将初始条件也写成贝塞尔函数的展开形式
φ(ρ, θ) =
+
X
n=0
+
X
m=0
I
mn
J
n
µ
(n)
m
R
ρ
!
(8.42)
99
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
8.5 更多贝塞尔函数的表示
8
8.5.1 汉克尔函数:第三类贝塞尔函数
8.5.1.1 定义
每一个新的定都是有原因的,们之前说过,贝塞尔函数在坐标中对标的直角坐标的三角函数,那根据欧拉
9
,我们可以定义出类似的指数是纯虚数的指数函数:汉克尔函数
定义 8.5.1 (汉克尔函数).
H
(1)
n
(x) = J
n
(x) + jY
n
(x) (8.46)
H
(2)
n
(x) = J
n
(x) jY
n
(x) (8.47)
8.5.1.2 性质
容易推出其递推公式和贝塞尔函数的类似
定理 8.5.1 (递推公式).
H
(i)
n1
(x) + H
(i)
n+1
(x) =
2n
x
H
(i)
n
(x)
H
(i)
n1
(x) H
(i)
n+1
(x) = 2H
(i)
n
(x)
(8.48)
并且汉克尔函数容易证得也可以组合成贝塞尔方程的一组通解
推论 8.5.2 (汉克尔函数表示的通解).
y = AH
(1)
n
(x) + BH
(2)
n
(x) (8.49)
8.5.1.3 变形的贝塞尔函数:虚宗量的贝塞尔函数
定义 8.5.2 (第一类虚宗量贝塞尔函数).
J
n
(jx) = j
n
J
n
(jx) =
X
m=0
1
m!Γ(n + m + 1)
x
2
n+2m
(8.50)
其中
I
mn
=
´
π
0
ρφ(ρ, θ) J
n
µ
(n)
m
R
ρ
R
2
2
J
2
n+1
(µ
(n)
m
)
(8.43)
对比式8.41,由
X
n=0
(G
mn
cos + H
mn
sin ) = I
mn
(8.44)
如果将 I
mn
也按照三角技术的形式展开,就可以确定 G
mn
H
mn
了。
G
mn
=
1
π
´
2π
0
I
mn
cos nθdθ, n N
H
mn
=
1
π
´
2π
0
I
mn
sin nθdθ, n N
(8.45)
8
由于 mathematica 不会画,因此先从略图像
9
欧拉公式:e
ix
= cos x + i sin x
100
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
I
0
(x)
I
1
(x)
I
2
(x)
0 1 2 3 4
0
2
4
6
8
10
8.4: 前三阶的第一类虚宗量贝塞尔函数 (A.4)
K
0
(x)
K
1
(x)
K
2
(x)
1 2 3 4
0.0
0.5
1.0
1.5
2.0
2.5
8.5: 前三阶的第二类虚宗量贝塞尔函数 (A.5)
同理仿照诺依曼函数的定义可以有第二类虚宗量贝塞尔函数
定义 8.5.3.
K
n
(x) = lim
αn
π[I
α
(x) I
α
(x)]
2 sin απ
(8.51)
化简写成级数形式为
K
n
(x) =
1
2
n1
X
m=0
(1)
m
(n m 1)!
m!
x
2
2mn
+ (1)
n+1
+
X
m=0
x
2
n+2m
m!(n + m)!
ln
x
2
1
2
Ψ(m + 1)
1
2
Ψ(n + m + 1)
(8.52)
其中 Ψ(m + 1) = h
m
γ, 具体定义请看4
既然是指数函数,就具有指数函数应该有的性质,比如单调增且无实零点,看图即可知道。而对于其递推性质与前面三类贝塞尔
函数有一点的不同
定理 8.5.3 (第一类虚宗量贝塞尔函数的递推性质).
I
n1
(
x
)
I
n+1
(
x
) =
2n
x
I
n
(x)
I
n1
(x) + I
n+1
(x) = 2I
n
(x)
(8.53)
定理 8.5.4 (第二类虚宗量贝塞尔函数的递推性质).
K
n1
(x) K
n+1
(x) =
2n
x
K
n
(x)
K
n1
(x) + K
n+1
(x) = 2K
n
(x)
(8.54)
负数阶的贝塞尔函数 (也与前面几类有所不同)
定理 8.5.5.
I
n
(x) = I
n
(x)
K
n
(x) = K
n
(x)
(8.55)
101
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
8.5.2 贝塞尔函数的渐近公式
就是对 x 0or 时候贝塞尔函数的表达式约去高阶小项
8.5.2.1 x 0
那就约去 x 的高次项
定理 8.5.6 (x 0 的第一、二类贝塞尔渐近式).
J
n
(x)
x
n
2
n
n!
Y
0
(x)
2
π
ln
x
2
+ γ
Y
n
(x)
2
n
(n1)!
πx
n
, n ̸= 0
(8.56)
定理 8.5.7 (x 0 的汉克尔函数渐近式).
第一类
H
(1)
0
1 + j
2
π
ln
x
2
+ γ
H
(1)
n
x
n
2
n
n!
+ j
2
n
(n1)!
πx
n
, n > 0
第二类
H
(2)
0
1 j
2
π
ln
x
2
+ γ
H
(2)
n
x
n
2
n
n!
j
2
n
(n1)!
πx
n
, n > 0
(8.57)
定理 8.5.8 (x 0 的虚宗量贝塞尔函数渐近式).
I
n
(x)
x
n
2
n
n!
K
0
(x) ln
x
2
γ
K
n
(x)
(n1)!
2
x
2
n
, x > 0
(8.58)
8.5.2.2 x
这部分的详细证明相当的超纲
10
,不过我们完全可以从图像上去感性的理解这个结论:就是渐近到三角函数 (前两类贝塞尔
函数 (8.28.3)) 或者指数函数 (汉克尔函数或者虚宗量贝塞尔函数 (8.48.5)) 所以就有了下面的渐进式
定理 8.5.9 (x 的第一、二类贝塞尔渐近式).
J
n
(x)
q
2
πx
cos
x
2
π
4
Y
n
(x)
q
2
πx
sin
x
2
π
4
(8.59)
定理 8.5.10 (x 的汉克尔函数渐近式).
H
(1)
n
q
2
πx
e
j(x
2
π
4
)
H
(2)
n
q
2
πx
e
j(x
2
π
4
)
(8.60)
10
有兴趣的可看知乎上的一个证明,需要用到驻相法以及贝塞尔函数的积分表达式。
102
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
定理 8.5.11 (x 的虚宗量贝塞尔函数渐近式).
I
n
(x)
e
x
2πx
K
n
(x)
p
π
2x
e
x
(8.61)
8.5.3 球贝塞尔函数:极坐标形式波动方程的贝塞尔解法
8.5.3.1 球贝塞尔方程
那么首先来看看球坐标形式的波动方程
1
a
2
2
u
t
2
=
1
r
2
r
r
2
u
r
+
1
r
2
sin θ
θ
sin θ
u
θ
+
1
r
2
sin θ
2
u
φ
2
(8.62)
同样先进行分离变量换元:u = R(r)Θ(θ)Φ( φ) T (t), 得到的关于 r 的方程为
r
2
R
′′
+ 2rR
+
k
2
r
2
n(n + 1)
R = 0 (8.63)
其中 k
2
n(n + 1) 为分离变量过程中的特征值。对8.63做换元 x = kr, y = R,得到
x
2
y
′′
+ 2xy
+ [x
2
n(n + 1)]y = 0 (8.64)
8.64称为 n 阶球贝塞尔方程,解得的解就是球贝塞尔函数。
8.5.3.2 求解球贝塞尔方程
z =
q
2x
π
y, 代入8.64,得到半奇数阶贝塞尔方程
x
2
z
′′
+
xz
+
"
x
2
2n + 1
2
2
#
z
= 0
(8.65)
可以看到我们前面对半奇数阶贝塞尔方程的扩展在这里就派上用场了,容易得到该方程的解为
z = CJ
2n+1
2
(x) + DY
2n+1
2
(x) (8.66)
再代回 y,得到球贝塞尔函数
y =
r
2
π
J
n+
1
2
(kr)
kr
(8.67)
根据8.67,我们就可以定义出球贝塞尔函数
定义 8.5.4 (球贝塞尔函数).
j
n
(x) =
p
π
2x
J
2n+1
2
(x)
y
n
(x) =
p
π
2x
Y
2n+1
2
(x)
(8.68)
分别为第一类和第二类的 n 阶球贝塞尔函数 (或者也可以用贝塞尔与诺依曼的叫法)
根据8.3.3 可以知道其具体表达式
103
复变 & 积分变换 & 数物方程笔记 第八章 贝塞尔函数法 BESSEL Tsui Dik Sang
推论 8.5.12 (球贝塞尔函数的具体表达式).
j
n
(x) = (x)
n
1
x
d
dx
n
sin x
x
y
n
(x) = (x)
n
1
x
d
dx
n
cos x
x
(8.69)
104
第九章 勒让德多项式 Lengendre
9.1 勒让德方程的引入
刚刚在引入球贝塞尔方程的时候,提到了球域内的波动方程的,不过当时并没有讨论特征值的问题,现在我们以拉普拉斯方
程为例详细讨论一下特征值的问题,顺便引入勒让德多项式。
9.1.1 对原方程分离变量
进行分离变量
1
得到
1
R
d
dr
r
2
dR
dr
=
1
Θ sin θ
d
sin θ
dΘ
=
1
Φ sin
2
θ
d
2
Φ
2
(9.2)
其中等式左边与 r 有关,右边无关,要使得两式相等,则只能同时等于一个常数
2
这里令这个常数是 n(n+1)并且后面可以证
明此处的 n 只能为整数。
并且根据方位角的周期性边界条件
定理 9.1.1 (周期函数满足的微分方程). 如果 Φ 是关于 φ 的周期函数,那么在定义域内满足
1
Φ
d
2
Φ
2
= m
2
(9.3)
其中 m 是整数。
a
a
万物均可傅里叶分解,证明到 e
ix
满足这个方程即可证明所有啦
因此对于等式的右边
3
变为
1
Θ sin θ
d
sin θ
dΘ
+ n(n + 1) sin
2
θ = m
2
(9.5)
整理一下:
Θ
′′
+ cot θΘ
+
n(n + 1)
m
2
sin
2
θ
Θ = 0 (9.6)
9.1.2 整理方程
做变量代换
x = cos θ
y = Θ(θ)
进一步就可以整理得:
1
u(r, θ, φ, t) = R(r)Θ(θ)Φ(φ) (9.1)
2
分离变量法的基本操作,不记得的可以再看看4.6
3
也就是方程
1
Θ sin θ
d
sin θ
dΘ
+
1
Φ sin
2
θ
d
2
Φ
2
= n(n + 1) (9.4)
105
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
定义 9.1.1 (连带的 n m 阶勒让德方程).
(1 x
2
)y
′′
2xy
+
n(n + 1)
m
2
1 x
2
y = 0 (9.7)
其中根据原始方程可以得到定义域 x [1, 1]
如果研究的问题是旋转对称的
4
,那么可以化简得
定义 9.1.2. [n 次勒让德方程]
(1 x
2
)y
′′
2xy
+ n(n + 1)y = 0 (9.8)
连带的 n m 阶勒让德方程我们之后会讨论,下面先讨论普通的勒让德多项式
9.2 勒让德方程的求解
9.2.1 级数法求解
与贝塞尔方程类似,使用级数法来求解,参见8.2.0.1,此处不展开,最后可以得到递推公式
a
k+2
=
(x + k)(x + k + 1) n(n + 1)
(c + k + 1)( c + k + 2)
a
k
(9.9)
这是一个双间隔系数递推公式
定义 9.2.1 (双间隔系数递推公式).
根据 a
0
可以确定 a
2k
,
根据 a
1
可以确定 a
2k+1
,
a
0
, a
1
为两个相互独立的任意常数
为了方便,我们取
5
:
a
0
= 0, a
1
̸= 0 就可以得到一个偶次升幂解
y
1
= 1
n(n + 1)
2!
x
2
+
(n 2)n( n + 1)(n + 3)
4!
x
4
+ ··· (9.10)
a
0
̸= 0, a
1
= 0 就可以得到一个奇次升幂解
y
2
= x
(n 1)(n + 2)
3!
x
3
+
(n 3)(n 1)(n + 2)(n + 4)
5!
x
5
+ ··· (9.11)
下面对 n 进行分类讨论
而如果 n 不为整数的话 y
1
y
2
均为无穷级数,容易证得在 x (1, 1) 时候级数才收敛。
• n 为零或者正偶数时,
y
1
=
n
2
X
m=0
(1)
m
(2n 2m)!
2
n
m!(n m)!(n 2m)!
x
n2m
(9.12)
• n 为正奇数时,
y
2
=
n1
2
X
m=0
(1)
m
(2n 2m 1)!
2
n
m!(n m)!(n 2m 1)!
x
n2m
(9.13)
4
φ 无关
5
实际上是书本上的取法
106
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
P0(x)
P1(x)
P2(x)
P3(x)
P4(x)
-1.0 -0.5 0.5 1.0
x
-1.0
-0.5
0.5
1.0
P_n(x)
前五个勒让德多项式
9.1: 前五阶的勒让德多项式 (A.6)
9.2.2 勒让德多项式的引入 (勒让德多项式的级数表示)
用一个式子来代替:
定义 9.2.2 (n 次勒让德多项式).
P
n
(x) =
M
X
m=0
(1)
m
(2n 2m)!
2
n
m!(n m)!(n 2m)!
x
n2m
(9.14)
其中 M =
n
2
, n 偶数
n1
2
, n 奇数
前五阶的勒让德多项式如下
6
同样的可以定义剩下的两个无穷级数:
定义 9.2.3 (第二类勒让德函数). n 为零或正偶数时 y
2
n 为正奇数时 y
1
的这两个无穷级数统一记为 Q
n
(x)
二类勒让德函数
可以证得 P
n
(x) Q
n
(x) 是独立的,因此勒让德方程的解就可以写成
y = C
1
P
n
(x) + C
2
Q
n
(x) (9.16)
9.2.3 其他形式的勒让德多项式
微分形式
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
(9.17)
6
前五阶的勒让德多项式为
P
0
(x) = 1
P
1
(x) = x
P
2
(x) =
1
2
(3x
2
1)
P
3
(x) =
1
2
(5x
3
3x)
P
4
(x) =
1
8
(35x
4
30x
2
+ 3)
(9.15)
107
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
积分形式
P
n
(x) =
1
π
ˆ
π
0
(x +
p
1 x
2
cos θ)
n
(9.18)
9.3
勒让德多项式的性质
9.3.1 基本性质
定理 9.3.1 (奇偶性). n 为奇数时,是奇函数
n 为偶数时,是偶函数
定理 9.3.2 (零点性质). P
n
(x) 在区间 (1, 1) 内有且仅有 n 个不同的单重实根
a
a
证明零点个数大于 n
使用罗尔中值定理, 由于 x = ±1 (x
2
1)
n
n 重零点,因此
d
dx
(x
2
1)
n
(-1,1) 内至少有一个零点,
进一步可以得出
d
2
dx
2
(x
2
1)
n
在该零点与 x = ±1 之间至少各有一个零点
以此类推,可以得到
d
n
dx
n
(x
2
1)
n
(-1,1) 内至少有 n 个零点
证明零点个数小于 n:由
d
n
dx
n
(x
2
1)
n
n 次多项式,因此其最多有 n 个实数零点
因此一夹逼就得到了结论
9.3.2 正交性
9.3.2.1 定理阐述
定理 9.3.3 (正交性).
ˆ
1
1
P
n
(x)P
m
(x)dx =
0, m ̸= n
2
2n+1
, m = n
(9.19)
9.3.2.2 证明:利用微分形式
m ̸= n 的时候:首先采用 P
n
(x) 的微分形式
7
7
使用多次分部积分:
ˆ
1
1
x
k
1
2
n
n!
d
n
dx
n
(x
2
1)
n
dx
=
1
2
n
n!
ˆ
1
1
x
k
d
d
n1
dx
n1
(x
2
1)
n
=
1
2
n
n!
x
k
d
n1
dx
n1
(x
2
1)
n
1
1
k
2
n
n!
ˆ
1
1
d
n1
dx
n1
(x
2
1)
n
x
k1
dx
=
k
2
n
n!
ˆ
1
1
d
n1
dx
n
1
(x
2
1)
n
x
k1
dx
···
=(1)
k
k!
2
n
n!
ˆ
1
1
d
nk
dx
nk
(x
2
1)
n
dx
=(1)
k
k!
2
n
n!
d
nk1
dx
nk1
(x
2
1)
n
1
1
=0
108
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
引理 9.3.4.
ˆ
1
1
x
k
P
n
(x)dx = 0 (9.20)
有了这个引理,不妨设 m < n, 那么
ˆ
1
1
P
n
(x)P
m
(x)dx 就可以转化成不超过
m
2
+ 1 个形如9.20的积分
8
,因此为零。
m = n 的时候:这时无需引理,直接使用微分形式
ˆ
1
1
P
2
n
(x)dx =
1
2
n
n!
ˆ
1
1
d
n
dx
n
(x
2
1)
n
d
n
dx
n
(x
2
1)
n
dx
=
1
2
2n
(n!)
2
ˆ
1
1
d
n
dx
n
(x
2
1)
n
d
d
n1
dx
n1
(x
2
1)
n
=
1
2
2n
(n!)
2
ˆ
1
1
d
n+1
dx
n+1
(x
2
1)
n
d
n1
dx
n1
(x
2
1)
n
···
=
(1)
n
2
2n
(n!)
2
ˆ
1
1
d
2n
dx
2n
(x
2
1)
n
(x
2
1)
n
dx
=
(1)
n
2
2n
(n!)
2
ˆ
1
1
d
2n
dx
2n
(x
2
1)
n
(x
2
1)
n
dx
=
(1)
n
2
2n
(n!)
2
ˆ
1
1
d
2n
x
2n
dx
2n
(x
2
1)
n
dx
=
(1)
n
(2n)!
2
2n
(n!)
2
ˆ
1
1
(x
2
1)
n
dx
(9.21)
积分
ˆ
1
1
(x
2
1)
n
dx 也容易推出
9
,代入,即可得证原式。
9.3.2.3 应用:广义傅里叶展开
与贝塞尔函数类似,由正交性可以推出勒让德多项式的广义傅里叶展开
8
P
m
(x) 的微分形式可以知道其是 m 阶多项式,这个性质在前面证零点性质的时候也用到过
9
ˆ
1
1
(x
2
1)
n
dx = (x
2
1)
n
x
ˆ
1
1
xd(x
2
1)
n
dx
= 2n
ˆ
1
1
x
2
(x
2
1)
n1
dx
= 2n
ˆ
1
1
(x
2
1 + 1)(x
2
1)
n1
dx
= 2n
ˆ
1
1
(x
2
1)
n
dx 2n
ˆ
1
1
(x
2
1)
n1
dx
这相当于得到了一个递推公式,于是可以得到
ˆ
1
1
(x
2
1)
n
dx =
2n
2n + 1
ˆ
1
1
(x
2
1)
n1
dx
=
2n
2n + 1
2n 2
2n 1
ˆ
1
1
(x
2
1)
n2
dx
···
=
(1)
n
2
2n+1
(n!)
2
(2n + 1)!
109
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
定理 9.3.5 (勒让德多项式展开).
f(x) =
X
n=0
C
n
P
n
(x) (9.22)
其中
C
n
=
2n + 1
2
ˆ
1
1
f(x)P
n
(x)dx (9.23)
9.3.3 勒让德函数的递推公式
使用勒让德函数的级数表示9.14可以证明这个结论。
定理 9.3.6 (勒让德函数的递推公式).
(n + 1)P
n+1
(x) = (2n + 1) xP
n
(x) nP
n1
(x) (9.24)
通过对级数的求导等一些列操作还可以得到一系列的推论
推论 9.3.7 (含一阶导数的递推公式).
nP
n1
(x) nxP
n
(x) = (1 x
2
)P
n
(x)
nxP
n1
(x) nP
n
(x) = (1 x
2
)P
n1
(x)
nP
n1
(x) = xP
n1
(x) + P
n
(x)
nP
n
(x) = P
n1
(x) + xP
n
(x)
(2n + 1)P
n
(x) = P
n+1
(x) P
n1
(x)
(9.25)
9.4 勒让德函数的应用
来试试解决下面的这道题
10
在电场强度为 E
0
的均匀电场中,放置入一半径为 a 的接地导体球,求球外电位分布
叠加法的思想第一部当然就是分离每一部分产生的电势
9.4.1 匀强电场产生的电位 u
1
不再赘述,确定好零势面
11
u
1
就易于表示了
u
1
= E
0
z + u
0
= E
0
r cos θ + u
0
(9.26)
10
这道题一眼看上去想用格林函数法来做的,但是再一思考,格林函数法处理的问题限于有限的场源,而此处产生匀强电场的源肯定不是有限的,因此格林法
应该是不适用的。
11
已知是接地球,那么我们不妨直接设球心在 z=0 处,然后令 z=0 为零势面即可,也与已知条件不矛盾了
110
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
9.4.2 接地球产生的电位 u
2
实际上是要求接地球表面感应出的电荷产生的场分布,直接代入与 φ 无关的位势方程
12
, 同时还有球面边界为零势面的边界
条件:
1
r
2
r
r
2
u
r
+
1
r
2
sin θ
θ
sin θ
u
θ
= 0, r > a, 0 θ π
u
2
(a, θ) = E
0
a cos θ u
0
, 0 θ π
(9.27)
9.4.2.1 分离变量
得到独立的方程
Θ
′′
+ cot θΘ
+ n(n + 1)Θ = 0
r
2
R
′′
+ 2rR
n(n + 1)R = 0
(9.28)
由于方程与 φ 无关,或者比较形式也可知9.28(1) 是勒让德方程,因此有
Θ
n
= P
n
(cos θ) (9.29)
9.28(2) 是欧拉方程,
n=0 时,R
0
= C
0
+ D
0
ln r = C
0
n>0 时,R
n
= +
C
n
r
n+1
+ D
n
r
n
=
C
n
r
n+1
其中第二部的约分均由无穷远的有界性
13
得到,因此解得
u
2
= C
0
+
X
n=1
C
n
P
n
(cos θ)
r
n+1
(9.31)
代入边界条件,得到
C
0
= u
0
C
1
= E
0
a
3
C
n
= 0
(9.32)
9.4.2.2 合并
综上,
u = u
1
+ u
2
= E
0
(a
3
r
2
r) cos θ (9.33)
9.5 连带的勒让德多项式
也就是方程9.7 我们将方程再写一次:
(1 x
2
)y
′′
2xy
+
n(n + 1)
m
2
1 x
2
y = 0 (9.34)
求解这个方程需要配合普通的勒让德方程使用猜根法
12
场外无源,因此散度为零
13
定义 9.4.1 (无穷远的有界性).
lim
r→∞
R
n
(r) = 0 (9.30)
比如题目中在无穷远处的合成电场一定还是趋于匀强电场的,那么 u
2
在无穷远处产生的电势肯定是趋于一个常数的,也就是所谓的无穷远有界,因此 R
0
中就
不应该包含在 r 时发散的项
111
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
9.5.1 求解
9.5.1.1 处理普通勒让德多项式
对普通勒让德方程 (9.1.2) 两边求 m 次导
14
整理得
(1 x
2
)y
(m+2)
2xy
(m+1)
+
n(n + 1)
m
2
1 x
2
y
(m)
= 0 (9.36)
9.5.1.2 猜根
我们猜根
u = (1 x
2
)
m
2
y
(m)
(9.37)
代入换元得
(1 x
2
)u
′′
2xu
+
n(n + 1)
m
2
1 x
2
u = 0 (9.38)
这正是连带的勒让德方程!因此我们的“猜想”正确了,即连带的勒让德多项式的解与普通勒让德多项式的解的关系为
P
m
n
(x) = (1 x
2
)
m
2
d
m
dx
m
P
n
(x) (9.39)
并且我们还可以做进一步化简!由于 P
m
n
(x) n 次多线时候,因此
P
m
n
(x) = 0, m > n (9.40)
9.5.2 正交性
9.5.2.1 阐述
定理 9.5.1 (连带的勒让德多项式的正交性).
ˆ
1
1
P
m
n
(x)P
m
k
(x)dx =
0, n ̸= k
2(n+m)!
(2n+1)(nm)!
, k = n > m
(9.41)
14
需要使用 m 阶导的莱布尼茨公式, 一步化简为
(1 x
2
)y
(m+2)
2mxy
(m+1)
2m(m 1)y
(m)
2xy
(m+1)
2my
(m)
+ n(n + 1)y
(m)
= 0 (9.35)
112
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
9.5.2.2 证明:同样结合勒让德多项式的微分形式
n ̸= k 的时候:如果 m > k, n 时,由9.40 我们下面证明 k n m 的情况
I
m
nk
=
1
2
n+k
n!k!
ˆ
1
1
(1 x
2
)
m
d
m+n
(x
2
1)
n
dx
m+n
d
m+k
(x
2
1)
k
dx
m+k
=
1
2
n+k
n!k!
ˆ
1
1
(1 x
2
)
m
d
m+n
(x
2
1)
n
dx
m+n
d
d
m+k1
(x
2
1)
k
dx
m+k1
···(分部积分 m )
=
(1)
m
2
n+k
n!k!
ˆ
1
1
d
m
h
(1 x
2
)
m
d
m+n
(x
2
1)
n
dx
m+n
i
dx
m
d
k
(x
2
1)
k
dx
k
dx
···(再分部积分 n )
=
(1)
m+n
2
n+k
n!k!
ˆ
1
1
d
m+n
h
(1 x
2
)
m
d
m+n
(x
2
1)
n
dx
m+n
i
dx
m+n
d
kn
(x
2
1)
k
dx
kn
dx
=
(1)
m+n
2
n+k
n!k!
(1)
m
(2n!)(n + m)!
(n m)!
ˆ
1
1
d
kn
(x
2
1)
k
dx
kn
dx
= 0
(9.42)
tips:
1. 不懂,实际 2n + 2m 次,次数
m + n + m + n, 两者相等,因此最后导数的结果必是一个常数,并且只与最高次项有关,而此处最高次项的系数为 1
那么直接阶乘即可得了;
2. 最后一步得零的操作则是因为被导的次数为 2k,小于导数阶数 k-n(已经“不妨设”k > n )
n = k 的时候:这时候
ˆ
1
1
d
kn
(x
2
1)
k
dx
kn
dx 由前面 9可以推出,代入得到
I
m
nn
=
2(n + m)!
(2n + 1)(n m)!
(9.43)
因此结论得以证明。
113
复变 & 积分变换 & 数物方程笔记 第九章 勒让德多项式 LENGENDRE Tsui Dik Sang
114
第十章 笔记结束
至此,复变数、分变数物笔记 (
念篇) 就已经做完了,其中可能有一些疏漏,请各位读者指正!
Tsui Dik Sang
—2025.2.7
115
复变 & 积分变换 & 数物方程笔记 第十章 笔记结束 Tsui Dik Sang
116
参考文献
[1] 复变函数简明教程,哈尔滨工业大学数学系组编,盖云英包革军编科学出版社, 2021, ISBN 978-7-03-064742-9.
[2] 何桂添, 唐国吉编. 复变函数与积分变换. 上海交通大学出版社, 2023, ISBN 978-7-313-28213-2.
[3] 西安交通大学高等数学教研室. 工程数学复变函数第 4 . 高等教育出版社, 2011, ISBN 7040055538.
[4] 李红, 谢松法. 复变函数与积分变换第 5 .
[5] 吴昌英, 李建周, 李洁编著. 数学物理方程与特殊函数. 电子工业出版社, 2023, ISBN 978-7-121-46515-4.
117
复变 & 积分变换 & 数物方程笔记 参考文献 Tsui Dik Sang
118
附录 A 代码
A.1 辐角的函数
1 (* *)
2 z [ x_, y_] := x + I y
3
4 (* *)
5 Plot3D [
6 Arg [ z [ x , y ] ] , {x , - 2 , 2} , {y , -2 , 2} ,
7 ColorFunction -> Rainbow ,
8 AxesLabel -> {Re( z ) , Im( z ) , Argument } ,
9 PlotLabel -> 3D Argument o f Complex Number z ,
10 Mesh -> None ,
11 PlotRange -> All ,
12 Boxed -> False ,
13 L ig hting -> Neutral
14 ]
A.2 Γ 函数
1 Plot [Gamma[ x ] , {x , 0 . 1 , 5} ,
2 PlotRange -> {Automatic , { -10 , 10}} ,
3 AxesLabel -> {x , \ [Gamma] ( x ) } ,
4 PlotLabel -> ”Gamma Function ,
5 GridLines -> Automatic ]
A.3 贝塞尔函数
1 (* *)
2 Plot [ { Be sse l J [ 0 , x ] , Be ssel J [ 1 , x ] , B ess el J [ 2 , x ] } , {x , 0 , 20} ,
3 PlotRange -> All ,
4 PlotLegends -> Placed [ { J_0(x ) , J_1( x) , J_2( x) } , { 0. 8 , 0 . 8 } ] ,
5 AxesLabel -> {x , J_n( x) } ,
6 PlotLabel -> F i r s t B ess el Functions ]
7
8 (* *)
9 Plot [ { BesselY [ 0 , x ] , BesselY [ 1 , x ] , BesselY [ 2 , x ] } , {x , 0 .1 , 20} ,
119
复变 & 积分变换 & 数物方程笔记 附录 A 代码 Tsui Dik Sang
10 PlotRange -> {Automatic , { -1 , 1}} ,
11 PlotLegends -> Placed [ { ”Y_0( x) , ”Y_1(x ) , ”Y_2( x) } , { 0. 8 , 0 . 8 } ] ,
12 AxesLabel -> {x , ”Y_n( x) } ,
13 PlotLabel -> Second B e ss el Functions ]
A.4 第一类虚宗量贝塞尔函数
1 Plot [ { B es s el I [ 0 , x ] , B e ss e l I [ 1 , x ] , B es s e l I [ 2 , x ] } , {x , 0 , 10} ,
2 Pl ot St y le -> {Blue , Red , Green } ,
3 PlotLegends -> Placed [ LineLegend [ { I_0 (x ) , I_1 (x ) , I_2 (x ) } ,
4 L abel Styl e -> 14 ] , { 0.7 5 , 0 . 7 5 } ] ,
5 AxesLabel -> {x , I_n ( x ) } ,
6 GridLines -> Automatic ,
7 PlotTheme -> D e tai l ed ]
A.5 第二类虚宗量贝塞尔函数
1 Plot [ { BesselK [ 0 , x ] , BesselK [ 1 , x ] , BesselK [ 2 , x ] } , {x , 0 .1 , 10} ,
2 Pl ot St y le -> {Blue , Red , Green } ,
3 PlotLegends -> Placed [ LineLegend [ { ”K_0( x) , ”K_1( x ) , ”K_2( x) } ,
4 L abel Styl e -> 14 ] , { 0.7 5 , 0 . 7 5 } ] ,
5 AxesLabel -> {x , ”K_n( x) } ,
6 GridLines -> Automatic ,
7 PlotTheme -> D e tai l ed ]
A.6 勒让德多项式
1 (* *) l e ge nd re Po ly no mi al s = Table [ LegendreP [ n , x ] , {n , 0 , 4 } ] ;
2
3 (* 线 *)
4 Plot [ legen d rePo l ynom i a ls , {x , -1 , 1} ,
5 PlotLegends ->
6 Placed [ Table [ StringForm [ P ( x ) , n ] , {n , 0 , 4 } ] , { 0. 8 , 0 . 7 } ] ,
7 PlotLabel -> , AxesLabel -> {x , ”P_n( x) } ,
8 Pl ot St y le -> {Red , Blue , Green , Orange , Purple } ]
120