辐角、单值分支与割线
结论
对非零复数
在不含原点的区域上,若能连续选取一个实值函数
考试怎么用
给定割线、定义域和初值,确定
操作模板
先写辐角范围 → 用初值确定整数
易错点
沿负实轴割开通常取
展开证明 / 证明思路
核心不是“删掉一条线”本身,而是删去后任意闭路不能再绕原点一周,从而连续辐角的增量不可能为
按钟玉泉《复变函数论》第五版的章节体系整理,覆盖第一章至第七章,以及第八章第 1、2 节。每个条目给出结论、考试用法、易错点,并可折叠展开证明思路。
考到第 8 章第 2 节为止,带星号内容不考。计算题十类均已纳入方法模板;证明题按“概念理解 + 定理调用”组织。
多值函数、割线、分支、复球面
对非零复数
在不含原点的区域上,若能连续选取一个实值函数
给定割线、定义域和初值,确定
先写辐角范围 → 用初值确定整数
沿负实轴割开通常取
核心不是“删掉一条线”本身,而是删去后任意闭路不能再绕原点一周,从而连续辐角的增量不可能为
在选定辐角分支
若分支已经确定,则
多值函数计算;判断支点;构造解析分支;含
对根式先找被开方函数的零点与极点作为候选支点;选割线使区域内可连续选辐角;再由初值锁定分支。
分支函数的“值”依赖分支,但同一区域上不同对数分支的导数都等于
由指数函数局部可逆以及链式法则得到。不同分支之间相差常数
扩充复平面记为
在
判断无穷远点是可去奇点、极点、本质奇点;求无穷远点留数。
作代换
“
可导、C.-R. 方程、调和函数、保角性
设
并且
判断可导性;由含参数的
先算四个偏导 → 解 C.-R. 方程 → 再检查偏导连续或直接验证差商,才能断言解析。
只在一点满足 C.-R. 方程并不必然可导;必要时要补充偏导连续或差商估计。
分别令增量沿实轴和虚轴趋于零:
复导数与趋近方向无关,比较实部和虚部即得。
若
考试中最稳妥的“由 C.-R. 推解析”依据。
题目只给偏导存在而未给连续时,不能机械套用充分条件。
由实二元函数可微性,写
代入 C.-R. 方程,合并为
故复可导。
利用
若函数可写成
解析的必要充分条件是
快速识别含
先化成
“表达式中出现
若
此时称
先检验给定实部或虚部是否可能成为解析函数的分量。
调和性是必要条件;在非单连通区域上,调和函数未必存在全局单值共轭调和函数。
对 C.-R. 方程分别求偏导并利用混合偏导相等:
若
求共轭调和函数、恢复解析函数。
题目给初值
由调和性,微分形式
满足闭合条件。单连通区域内闭形式为恰当形式,故存在
若
解释共形映射;判断局部是否共形;由单叶性推出导数不为零。
导数为零时可能仍保持某些曲线夹角的倍数关系,但不称为通常意义的共形。
主部是复数乘法
柯西定理、柯西公式、柯西估计、刘维尔与莫雷拉
在区域
直接计算开曲线积分;判断积分是否与路径无关。
仅仅“曲线闭合”不能推出积分为零;还要保证被积函数在曲线及其内部适当区域解析。
若有原函数,积分等于端点差。反过来固定
若
在多连通区域内,若
周线变形、把大圈改成小圈、证明积分为零。
周线内部若有奇点,不能直接用柯西定理;应挖去小圆或改用留数定理。
古尔萨证明先对三角形作不断四分,利用连续性控制极限;一般曲线区域再三角剖分。考试通常掌握“条件—结论—如何变形周线”,无需重写完整古尔萨证明。
若
更一般地,若绕数为
计算周线积分;证明解析函数均值性质、无穷可微性。
先找所有形如
若点在周线外,积分为零;若点恰在周线上,通常公式不可直接使用。
把
因此解析函数自动具有任意阶复导数。
高阶极点型积分;求 Taylor 系数;导数估计。
核的次数是
从柯西积分公式对参数
若
证明整函数是多项式;估计导数;由增长条件推出结构。
先选可调半径
估计中心必须与导数所在点一致;若中心不在零点,平移即可。
对高阶导数公式取模,利用圆周长度
Liouville 定理:有界整函数必为常数。
增长型推论:若整函数满足
整函数比例、单叶整函数为一次函数、基本代数定理。
“在实轴上有界”不能推出整函数为常数;必须在整个复平面有界。
用柯西不等式:
每个非常数复系数多项式在
证明题中常作为 Liouville 的标准推论;根计数问题的背景。
若多项式
若
则
证明极限函数解析;拼接函数解析;反向使用柯西定理。
连续性条件不能随意删除。
局部在圆盘内定义路径积分得到原函数,再由连续性证明原函数导数为
Taylor 展开、唯一性、最大模、内闭一致收敛、Hurwitz、Montel
幂级数
求收敛半径、收敛圆;分析 Taylor 级数能延伸到哪里。
优先看最近奇点距离;纯级数则用比值法或根值法。
边界
用根值判别:
幂级数在收敛圆内任意紧子集上一致收敛,且可以逐项积分、逐项求导;导数级数与原级数有相同收敛半径:
求和函数的解析性;交换极限、积分与导数。
对任意
若
展开半径至少达到以
求幂级数系数;判断 Taylor 展开的收敛域;解析延拓。
展开中心变了,最近奇点距离也变;不能只看原函数在全局的定义式。
在半径
若在某圆盘内
则
比较系数;证明解析延拓唯一性;从恒等式提取参数。
两边逐次求导并令
若
当
判断零点阶数、极点阶数、留数、Rouché 根计数。
“所有导数都为零”时,不是无限阶零点,而是由唯一性定理推出函数在连通域内恒为零。
取 Taylor 展开中第一个非零系数的指标
若解析函数
等价地:非零解析函数的零点集在区域内没有聚点。
由一段实轴上的相等推出全区域相等;证明解析延拓唯一。
聚点必须位于解析区域内部;只在边界聚集通常不足以直接用恒等定理。
对
非常数解析函数的模不能在区域内部取得最大值。若
若
边界唯一性、模估计、证明函数恒零、共形映射不等式。
最大模原理针对“内部取得最大值”;无界域上仍可用局部形式,但不能直接说全局最大一定在边界。
若
取模后等号条件迫使圆周上函数值方向一致且模相同,故小圆内恒定,再由唯一性定理推广到整个区域。最小模原理由
若解析函数列
解析函数序列题;由函数列性质推出极限函数性质。
逐点收敛不足以保证极限解析;需要内闭一致收敛或更强条件。
在任意小圆上用一致收敛把极限移入柯西积分公式;所得函数满足柯西公式,因而解析。对导数公式同理。
若
推论:若每个
证明极限函数导数不为零;证明极限零点可由近似函数零点逼近。
必须排除极限函数恒为零;否则结论可能完全失效。
在零点周围取无其他零点的小圆。边界上
在区域
对扩充复平面值函数,极限也可能是
解析函数序列抽取子列;先用分式线性变换把值域压到单位圆盘。
值域是半平面/条带时,先映到单位圆盘使函数列一致有界 → Montel 抽子列 → 检查反变换的极点未被极限命中。
“有界”通常要理解为每个紧集上统一有界;各个函数分别有界但界不统一不够。
局部有界配合柯西估计得到紧集上的等度连续;在可数紧集穷竭上反复抽取子列并用对角线法,得到内闭一致收敛子列。
Laurent 展开、奇点分类、零极点、无穷远点、Schwarz 引理
若
指定圆环内展开;判定奇点;求留数。
同一函数、同一中心,在不同圆环内的 Laurent 展开通常不同。
在圆环内取内外两圆,用复合周线柯西公式,把两个柯西核分别按适合的几何级数展开,得到正幂部分与负幂部分。
有理函数在圆环内展开,是近年必考计算题。
每一项都要单独检查收敛条件,最后取条件交集;不能只写级数不写收敛域。
设
奇点分类的总框架。
先找不解析点 → 判断是否孤立 → 能约分先约分 → 看局部主部或极限。
支点、聚集奇点不是孤立奇点,不能硬套三分类。
对孤立奇点
快速判断可去奇点;补定义后用最大模原理或唯一性定理。
最常用的是 Riemann 可去奇点定理:有界时令
等价地,
若
判断极点阶数、约分、求留数。
先比较分子分母零点阶数,不能只看分母表面次数。
若
定性判断本质奇点附近的值域;证明经 Möbius 变换后仍是本质奇点。
考试范围若明确“带星号不考”,Picard 完整证明通常不要求;掌握结论和应用即可。
稠密性证明常反证:若像避开某个圆盘,则
若
若在某个非零点取等或
若
单位圆盘映射、导数估计、零点阶数增强。
若值域界为
令
若
特别地,
等号在某点成立当且仅当
单位圆盘解析映射的最强常用估计;次从属原理。
用圆盘自同构
令
完整奇点分类必须包括无穷远点。
有理函数在无穷远点的阶数由分子分母次数差决定。
留数、实积分、辐角原理、Rouché 定理
若
则
留数是局部 Laurent 展开中唯一影响小闭路积分的系数。
选择最短路线求留数。
先确认极点阶数;高阶公式中的导数阶数是
若
复杂周线积分、实积分。
只加曲线内部的奇点;方向为顺时针时整体多一个负号。
挖去各奇点周围小圆,对剩余多连通区域应用柯西积分定理;每个小圆积分由留数定义给出。
若
若在无穷远点附近有 Laurent 展开
曲线包围“几乎所有奇点”时,用外部少数奇点加无穷远点更快。
无穷远点留数不是简单的
期末大题常考。
选函数 → 选轮廓 → 列内部奇点 → 算留数 → 证明大圆/小圆边积分消失 → 比较实轴或射线部分。
先决定闭合上半平面还是下半平面:
若
其中
根与极点计数;Rouché 定理的基础。
曲线上不能有零点或极点,否则积分和计数都需另行处理。
在每个零点或极点附近写
若
则
判断多项式、超越方程在圆盘内根的个数;Hurwitz 定理。
在边界上挑“主导项”;最常用是最高次项、常数项或易计根的两三项。若严格不等号卡边界,可改半径或加入小扰动。
必须是严格不等号;若只能得到
考虑同伦
分式线性变换、典型区域、Riemann 映射定理
非常数解析函数把区域映成区域;等价地,它把开集映成开集。
实值解析函数必为常数;证明值域不能落在一条曲线;局部逆。
常函数不是开映射。
设
若
判断映射是否可能单叶;配合 Hurwitz 保持导数非零。
逆命题不成立:
若
分式线性变换
在扩充复平面上双射且共形。给定三对互异点
求满足三点条件的变换;圆/半平面互映。
先由边界选三点并决定对应顺序,再检查内部点落到目标区域哪一侧;最后用导数或初值确定剩余旋转因子。
三点对应顺序不同会得到不同变换;“所有变换”题需枚举满足边界方向的排列。
分式线性变换把广义圆周(圆或直线)映为广义圆周,并保持交比:
它还保持对称点关系。
快速确定边界像;利用对称点构造圆盘到半平面的变换。
分式线性变换可分解为平移、旋转伸缩与反演
单位圆盘自同构:
上半平面到单位圆盘:
右半平面到单位圆盘的常用变换:
带指定点和导数的共形映射。
把指定内部点先送到 0;剩余自由度只有旋转
判断是上半平面还是下半平面,最稳妥的方法是代入一个内部测试点。
构造复合共形映射。
边界标准化 → 幂函数改变角度 → 指数函数打开/卷起条带 → Möbius 变换完成归一化。每一步都写明像域。
复合顺序极其重要;幂函数必须先确定在该域上的单值分支。
任意非空、单连通、真子区域
若指定
判断共形映射是否存在与唯一;解释一般区域为什么可化到圆盘。
整个复平面与单位圆盘不共形;穿孔圆盘不是单连通,不能直接套用。
存在性证明依赖正常族与极值方法,通常作为定理使用。唯一性:若
在边界足够良好(如 Jordan 区域)时,区域间的共形映射可连续延拓到边界并给出边界同胚。实际计算中,边界弧按循环顺序对应,内部位于边界的正确一侧。
确定三点对应顺序;检验构造出的分式线性变换是否把内部映到目标内部。
不能仅凭“边界集合映对了”就断定内部映对;必须测试内部点或利用方向。
函数元素、直接与间接延拓、透弧延拓、对称原理
解析函数元素是二元组
则称它们互为直接解析延拓。
判断两个幂级数或两个公式是否为直接延拓。
交集非空还不够;必须在交集的某个非空开子集上相等。
若一个解析函数元素在重叠区域上有两个解析延拓,则这两个延拓在重叠的连通部分上相同。
证明延拓结果与局部表达式选择无关;排除矛盾的延拓。
两个延拓在原元素所在的非空开集上相等,由解析函数恒等定理,它们在重叠连通域上恒等。
若存在有限个函数元素
使相邻元素互为直接解析延拓,则称首尾元素互为间接解析延拓。
交集不直接相交时,借助中间圆盘/函数元素建立延拓关系。
画出各收敛圆盘;检查相邻圆盘重叠;在重叠处用恒等式或级数和函数证明相等。
间接延拓不等同于“两个公式看起来能化简成同一个式子”;要明确延拓链和重叠区域。
从幂级数元素
出发,取收敛圆内新中心
新级数的收敛圆可能越过原圆边界,由此逐步延拓。
判断哪些点可作为继续展开的中心;理解自然边界和奇点障碍。
新中心必须在当前函数元素的解析域内;新收敛半径由新中心到最近奇点/障碍的距离决定。
设区域
对称原理的框架;边界上给定实值或纯虚值时延拓。
证明思想是在弧邻域内把两侧函数拼成一个函数,再用 Morera 定理验证跨弧三角形的积分为零。
设区域
在整个对称区域内解析。
从上半区域延拓到下半区域;边界实值条件。
若边界值落在圆或直线而非实轴,可先用分式线性变换把目标边界化到实轴,再反射。
下半部分显然解析;实轴上两侧连续相接。对跨越实轴的小三角形,把积分分成上下两部分并利用共轭对称抵消,再用 Morera 定理。
遇到题目先识别类型,再按固定流程落笔。
用于判断复习优先级,不是押题清单。
| 试卷 | 主要考点 | 风格判断 |
|---|---|---|
| 2023 A | 分支;恒等/常值;Laurent;孤立奇点含 ∞;复积分与实积分;Rouché;边界唯一性;Schwarz;调和多项式 | 第五、六章计算 + 第四章证明 |
| 2023 B | 共轭调和;Log 分支奇点与留数;留数积分;Poisson/边界公式;共形映射;幂级数延拓;零点孤立;穿孔圆盘 | 解析延拓与综合证明偏多 |
| 2024 A | 根式分支;Laurent;共轭调和;奇点;两类积分;Liouville 比值;Schwarz–Pick;Hurwitz;复合解析性 | 基础计算与经典定理均衡 |
| 2024 B | 根式分支;Möbius;Cauchy/留数;Rouché;零极点关系;单叶与奇点;零点估计 | 第六、七章突出 |
| 2025 A | 根式分支;调和函数;Laurent;周线+实积分;恒等定理;Möbius;Cauchy 估计;次从属/Schwarz;Hurwitz | 覆盖最接近当前考试清单 |
| 2025 B | Log 分支;C.-R. 参数;幂级数系数;留数;扇形实积分;单叶整函数;条带映射;Schwarz;Montel | 函数列与共形映射明显加强 |
教材结构:以钟玉泉《复变函数论》第五版的章、节名称和常用记号为标准;内容止于第八章 §2。
考试依据:最新范围文件列出的十类计算题,以及 2023—2025 年 A/B 卷和阶段测试。高频标签依据这些试卷的重复出现情况。
证明呈现:为复习用途的规范化表述与证明主线,不逐字复制教材。需要完整书面证明时,应把“证明思路”补成定义—估计—结论的连续推导。
公式与附件:全部数学公式已经预渲染为 SVG,不依赖外部脚本;真题 PDF 位于 papers/ 子目录。
按年份折叠收纳。手机端建议点“打开 PDF”;电脑端展开后可直接预览。