下载文档原格式
复变函数论中的孤立奇点分类理论概述复变函数论（Complex Analysis）是数学分析领域的重要分支，研究复数域上的函数性质和相关理论。
在复变函数中，孤立奇点（Isolated Singularity）是指函数在某个点附近出现的特殊性质的点。
孤立奇点分类理论旨在系统地研究和分类这些孤立奇点。
本文将概述复变函数论中的孤立奇点分类理论。
孤立奇点可以分为可去奇点（Removable Singularity）、极点（Pole）和本性奇点（Essential Singularity）三类。
一、可去奇点若函数在某点z=a处的极限存在且有限，即lim_(z→a) f(z)=b（b为有限数），则称a处为可去奇点。
此时，可以通过定义一个新的函数，使得在a点附近没有奇异性，使函数在a点处得到有界的延拓。
换句话说，可去奇点可以通过在函数原有定义域上对函数进行连续地延拓来消除。
二、极点若函数在某点z=a处的极限存在，但是无穷大，即lim_(z→a)f(z)=∞或者lim_(z→a) |f(z)|=∞，则称a处为极点。
极点分为无穷级极点和有限级极点两种情况。
1. 无穷级极点：若函数在无穷远点（z→∞）处的极限存在，即lim_(z→∞) f(z)=∞或者lim_(z→∞) |f(z)|=∞，则称无穷远点为无穷级极点。
2. 有限级极点：若函数在某有限点z=a处的极限存在且为无穷大，即lim_(z→a) f(z)=∞或者lim_(z→a) |f(z)|=∞，则称a处为有限级极点。
极点可以通过定义一个新的函数，使得在极点附近的函数有有界的延拓。
通常情况下，极点构成了复变函数的奇异性中的一种较为简单的形式。
三、本性奇点若函数在某点z=a处的极限不存在（或为无穷大），则称a处为本性奇点。
本性奇点是最复杂的一类奇点，函数在这类点附近的行为相当不规则。
本性奇点不可能通过有界的延拓来消除其奇异性。
在复变函数论中，孤立奇点与数学实际应用密切相关，例如在物理学、电子工程、天文学和统计力学等领域中都有广泛的应用。
第五章解析函数的罗朗展式与孤立奇点上一章主要介绍了函数在解析点的邻域(圆)内，可以展开成通常的幂级数,但在奇点的领域内则不能，例如函数在点，现在我们考虑挖去了奇点的圆环，并讨论在圆环内解析函数的级数展开。
这样将得到推广的幂级数——Laurent （罗朗）级数。
它既可以是函数在孤立奇点去心领域内的Laurent展式，反过来，以它为工具就便于研究解析函数在孤立奇点去心领域内的性质。
Taylor级数与Laurent级数都是研究解析函数的有力工具。
第一节解析函数的罗朗展式教学课题：第一节解析函数的洛朗展式教学目的：1、了解双边幂级数在其收敛圆环内的性质；2、充分掌握洛朗级数与泰勒级数的关系；3、了解解析函数在孤立奇点和非孤立奇点的洛朗级数教学重点：掌握洛朗级数的展开方法教学难点：掌握洛朗级数的展开方法教学方法：启发式、讨论式教学手段：多媒体与板书相结合教材分析：洛朗级数是推广了的幂级数，它既可以是函数在孤立奇点去心邻域内的级数展开，也可以作为工具研究解析函数在孤立奇点去心邻域内的性质。
教学过程：1、双边幂级数在本节中，我们讲述解析函数的另一种重要的级数展式，即在圆环内解析函数的一种级数展式。
首先考虑级数...)(...)()(221+-++-+-+------nnnzzzzzzββββ其中,...,...,,,100n z --βββ是复常数。
此级数可以看成变量1z z -的幂级数；设这幂级数的收敛半径是R 。
如果0R <<+∞，那么不难看出，此级数在Rz z 1||0>-内绝对收敛并且内闭一致收敛，在Rz z 1||0<-内发散。
同样，如果+∞=R ，那么此级数在0||0>-z z 内绝对收敛并且内闭一致收敛；如果R=0，那么此级数在每一点发散。
在上列情形下，此级数在0z z =没有意义。
于是根据定理2.3，按照不同情形，此级数分别在0||)0(1||010>-+∞<<=>-z z R R Rz z 及内收敛于一个解析函数。
浅析复变函数中的孤立奇点孤立奇点是复变函数中的一种特殊情况，指的是某个点处的函数不连续且无法进行泰勒展开的点。
在实际应用中，孤立奇点经常出现在复函数的分母中，导致分母为零从而使得函数的值无法计算。
因此，了解孤立奇点及其性质对于理解复变函数的研究和应用至关重要。
首先，我们来看一个简单的例子：设$f(z)$为复变函数$\frac{1}{z}$。
此时，我们可以发现，当$z=0$时，函数$f$的值为无穷大，即$f$在$z=0$处有一个孤立奇点。
这是因为当$z$无限地接近于0时，分母会无限地接近于零，从而使得$f$的值趋向于无穷大或负无穷大。
因此，我们可以将孤立奇点定义为“使得函数无法在该点处连续的点”。
在复平面上，孤立奇点通常具有以下几个性质：1. 孤立奇点必须是函数的“独立点”。
也就是说，如果一个点是函数的“可去奇点”、“极限奇点”或“本性奇点”，那么它就不可能是孤立奇点。
2. 孤立奇点是函数的“聚点”。
也就是说，无论以任何方式接近孤立奇点，都必然会进入到“不可解析”的区域内。
3. 孤立奇点有限。
也就是说，一个复变函数的孤立奇点不能无限多。
有了这些性质，我们可以更好地理解孤立奇点的特性和行为。
例如，对于一个孤立奇点，我们可以通过求解$f$的洛朗级数来近似描述它附近的函数行为。
洛朗级数可以看做是泰勒级数在孤立奇点处的推广形式，是一种形如$\sum_{n=-\infty}^{+\infty}a_n(z-z_0)^n$的级数，其中$a_n$为常数，$z_0$为孤立奇点。
通过求解这个级数，我们可以得到$f$的近似值，并进一步研究其性质。
此外，我们还可以通过研究孤立奇点的类型来判断复变函数在该点附近的行为。
根据孤立奇点的定义，我们可以将其分为三类：可去奇点、极限奇点和本性奇点。
可去奇点指的是在该点附近可以重新定义函数使其连续的点；极限奇点指的是在该点附近函数的绝对值无限地增大或减小的点；本性奇点则是既非可去奇点也非极限奇点的孤立奇点，我们通常将这类点称为“真正的”孤立奇点。
复变函数论中的孤立奇点分类理论回顾复变函数论是数学中的重要分支之一，研究复数域上的函数性质。
在复变函数论中，孤立奇点分类理论是一个关键的概念，它提供了对于函数奇点性质的分类和理解。
本文将回顾复变函数论中的孤立奇点分类理论，并介绍其一些基本概念和重要结果。
一、孤立奇点的定义与分类在复变函数中，孤立奇点是指函数在某一点处的取值无定义或无穷大。
根据复变函数在孤立奇点附近的性质，可以将孤立奇点划分为三类：可去奇点、极点和本性奇点。
1. 可去奇点若复变函数在孤立奇点处的极限存在，则该孤立奇点称为可去奇点。
在可去奇点处，函数可以通过去除不连续点或者定义函数在该点处的值来拓展为连续函数。
2. 极点若复变函数在孤立奇点处的极限为无穷大，但是函数值趋近于某个复数，则该孤立奇点称为极点。
在极点处，函数的幅值趋近于无穷大，但相位角保持有定义。
3. 本性奇点若复变函数在孤立奇点处的极限不存在，则该孤立奇点称为本性奇点。
在本性奇点处，函数对于任何趋近路径的函数值无法收敛到特定的复数。
二、孤立奇点的分类理论孤立奇点分类理论是对复变函数论中孤立奇点性质的总结和描述。
其中最重要的结果是泰勒级数展开和洛朗级数展开。
1. 泰勒级数展开泰勒级数是复分析中的基本工具之一，它能够将函数在某一点的性质用无穷级数进行表示。
对于可去奇点和极点，函数可以通过泰勒级数展开来描述。
泰勒级数展开的形式如下：f(z) = Σ(an*(z-z0)^n, n=0 to ∞)其中，an是函数在z0处的n阶导数，(z-z0)^n表示函数在z0处的偏移量。
通过确定泰勒级数展开的收敛半径，可以判断可去奇点和极点的性质。
2. 洛朗级数展开洛朗级数展开是针对本性奇点的性质进行描述的重要工具。
洛朗级数展开的形式如下：f(z) = Σ(an*(z-z0)^n, n=-∞ to ∞)其中，an是函数在z0处的系数，n可以取正整数、负整数或零。
洛朗级数展开将函数分为主部（主要决定了函数在本性奇点附近的行为）和余部（来自于负整数次幂项的部分）。
解析函数的孤立奇点类型判断及应用摘 要 孤立奇点的应用在解析函数的学习和对其性质分析研究中有着重要作用，而留数计算是复变函数中经常碰到的问题。
解析函数在不同类型的孤立奇点处的计算方法不同，关键我们要先判断其类型。
本文在分析整理了相关资料的基础上，首先给出了孤立奇点的定义、分类及其类型的判别定理和相关推及引理，其中在考虑极点处的留数求法时，又根据单极点、二阶极点，m 阶极点的求法不同，结合例子给出极点阶数的判断方法。
并通过有限孤立奇点的判别对解析函数无穷远点的性态进行研究，分析能否把有限孤立奇点的特征应用到无穷远点，进而探讨了孤立奇点在留数计算中的应用，使得孤立奇点的知识更加系统、全面。
关键词 孤立奇点 可去奇点 极点 本质奇点 判断 留数计算前言在复变函数论中，留数是非常重要的，而解析函数的孤立奇点是学习留数的基础，只有掌握了孤立奇点的相关性质，才能更好的学好留数。
目前，在相关资料中，对孤立奇点的判别及应用已较为完备，如在许多版本的《复变函数论》中对孤立奇点的判别做了详细的说明和解释，使我们对孤立奇点的了解更透彻。
但在现实中有时我们遇到的留数计算具体例子，运用定理判别会比较麻烦，还需要前后知识的衔接，这为留数计算增加了障碍。
本文就是在此基础上作进一步的探讨，将判断这一工作拿出来单独讨论，通过对论文的撰写，将把孤立奇点类型的判别及在留数运算中的应用更全面化、系统化。
此项研究内容可以对以后学习此部分内容的同学提供一定的帮助，使其对孤立奇点的理解更加清晰，应用得更加自如。
在复变函数课程上我们已学过了孤立奇点的分类及其类型的判别和其在留数计算中的应用，为对其作进一步的研究奠定了基础。
在此基础上查阅大量书籍，搜集相关资料，并对所搜集资料进行分析、研究、筛选和处理。
通过指导教师的耐心指导，已具备了研究解析函数类型的判别及其在留数计算中的应用这一课题的初步能力，并能解决现实生活中的相关例题，使理论和实践达到真正的结合和统一。
第五章 解析函数的洛朗展式与孤立奇点§1 解析函数的洛朗展式教学目的与要求: 了解双边幂级数,了解洛朗级数与泰勒级数的关系,掌握解析函数在孤立奇点邻域内的洛朗展式的求法.重点: 解析函数的洛朗展式;解析函数在孤立奇点邻域内的洛朗展式的求法. 难点：解析函数的洛朗展式的证明. 课时：2学时定义5.1 级数101()()()n n n nn C C C z a C C z a z a z a+∞--=-∞-=⋅⋅⋅++⋅⋅⋅+++-+⋅⋅⋅--∑(5.1) 称洛朗()Laurent 级数，n C 称为(4.22)的系数.对于点z ，如果级数01()()()nn nn n C z a C C z a C z a +∞=-∞-=+-+⋅⋅⋅+-+⋅⋅⋅∑ (5.2)收敛于1()f x ，且级数1()()n n n n n C C C z a z a z a+∞--=-∞-=⋅⋅⋅++⋅⋅⋅+--∑ (5.3) 收敛于2()f x ，则称级数(4.22)在点z 收敛，其和函数为1()f x +2()f x 当0n C -=(1,2,)n =⋅⋅⋅时，(5.1)即变为幂级数.类似于幂级数，我们有定理5.1 设()f z 在圆环12:D R z a R <-<12(0)R R ≤<<+∞内解析，则在D 内()()nn n f z C z a +∞=-∞=-∑(5.4)其中11()2()n n f z C dz i z a π+Γ=-⎰ (0,1,)n =±⋅⋅⋅ (5.5) :z a ρΓ-=，且12R R ρ<<，系数n C 被()f z 及D 唯一确定.(5.4)称为()f z 的洛朗展式.证明：对:z H ∀∈作1:1z a ρΓ-=，2:2z a ρΓ-=，（其中12r R ρρ<<<） 且使z D ∈：12z a ρρ<-<，（如图5.1）由柯西积分公式，有()()2112f f z d i z ξξπξ-Γ+Γ==-⎰()212f d i z ξξπξΓ-⎰+()112f d i z ξξπξΓ-⎰图5.1对于第一个积分，只要照抄泰勒定理证明中的相应部分，即得：()212f d i z ξξπξΓ-⎰=()0nn n C z a ∞=-∑ 其中()()1212n n f C d i a ξξπξ+Γ=-⎰()!n f a n = 对于第二个积分()112f d i z ξξπξΓ-⎰： ()()()()()()1f f f z z a a z a z a a ξξξξξξ==----⎛⎫---⎪-⎝⎭当1ξ∈Γ时11az az aρξ-=<--1111n n a a z a z aξξ-∞=-⎛⎫∴=⎪--⎝⎭--∑ （右边级数对于1ξ∈Γ是一致收敛）上式两边乘上()f z a ξ-得：()f z ξξ=-()11n n f a z a z a ξξ-∞=-⎛⎫ ⎪--⎝⎭∑=()()()111n n n f z a a ξξ∞-+=--∑ 右边级数对1ξ∈Γ 仍一致收敛，沿1Γ逐项积分，可得()112f d i z ξξπξΓ-⎰=()11n n z a ∞=-∑()()1112n f d i a ξξπξ+Γ-⎰ 其中n C =()()1112n f d i a ξξπξ-+Γ-⎰113. 3.10P Th ()()112n f d i a ξξπξ-+Γ-⎰ 于是：()()nn n f z C z a +∞=-∞=-∑， 其中n C =()()112n f d i a ξξπξ+Γ-⎰ （n=0,1,± ） 下面证明展式唯一，若在H 内()f z 另有展开式()()'nnn f z C z a +∞=-∞=-∑右边级数在Γ上一致收敛，两边乘上()11m z a +-得：()()1m f z z a +-=()'1nm n n C z a ∞-+=-∞-∑，右边级数在Γ上仍一致收敛，沿Γ逐项积分，可得：()()112m f d i a ξξπξ+Γ-⎰=()'1112n m n n C d i a ξπξ+∞-+Γ=-∞-∑⎰ ∴'n C =n C 即展式是唯一的.注：1）定理中的展式称为洛朗展开式，级数称为洛朗级数. n C 称为洛朗系数.2）泰勒展式是洛朗展式的特例. 例1．求()()()112f z z z =--在（1）1,(2)12,(3)2(4)011z z z z <<<<<∞<-<中的洛朗展开式. 解：()1121f z z z =--- (1）()00111122212nnn n z f z z z z ∞∞==⎛⎫=-=-=⎪-⎛⎫⎝⎭- ⎪⎝⎭∑∑12nn n n n z z ∞∞+==-∑∑=10112n n n z ∞+=⎛⎫- ⎪⎝⎭∑ (1z <).(2) ()1121f z z z =---1112112z z z =--⎛⎫⎛⎫-- ⎪ ⎪⎝⎭⎝⎭100112n n n n n z z z ∞∞+==⎛⎫=-- ⎪⎝⎭∑∑ 110012n n n n n z z∞∞++==⎛⎫=-- ⎪⎝⎭∑∑. (12z <<)(3) ()1121f z z z =-=--112111z z z z -⎛⎫⎛⎫-- ⎪ ⎪⎝⎭⎝⎭()1000121121n n n n n n n n z z z z∞∞∞+===⎛⎫=-=- ⎪⎝⎭∑∑∑ . (2z <<∞) (4)()()()0111111211111nn f z z z z z z z ∞==-=-=---------∑. (011z <-<)此例子说明：同一个函数在不同的圆环内的洛朗展式可能不同. 例2 求2sin z z 及sin zz在0z <<+∞内的洛朗展式 解 2s i n z z 3211(1)3!5!(21)!n n z z z z n --=-++⋅⋅⋅++⋅⋅⋅+ sin z z 242(1)13!5!(21)!n nz z z n -=-++⋅⋅⋅++⋅⋅⋅+例3 1ze 在0z <<+∞内的洛朗展式为 解 1z e 211112!!n z z n z=+++⋅⋅⋅++⋅⋅⋅ 作业: 第217页 1 (1) (3), 2(1)(3)§2解析函数的孤立奇点教学目的与要求: 掌握洛朗定理及孤立奇点的分类及判断方法. 重点:孤立奇点的分类及判断方法. 难点：函数在本质奇点的邻域的性质. 课时：2学时 一 . 定义：1．设()f z 在点a 的某去心邻域内解析，但在点a 不解析，则称a 为f 的孤立奇点.例如sin zz，1z e 以0=z 为孤立奇点.0=z 为奇点，但不是孤立奇点，是支点.11sin z以0=z 为奇点（又由1sin0=z ，得1(1, 2...,)π==±±z k k 故0=z 不是孤立奇点） 2．设a 为()f z 的孤立奇点，则()f z 在a 的某去心邻域内，有1()()()，∞∞-===+-∑∑-nnnnn n f z c z a c z a 称()n=1∞-∑-nnc z a 为()f z 在点a 的主要部分，称()∞=-∑nnn z a c 为()f z 在点a 的正则部分，当主要部分为0时，称a 为()f z 的可去奇点；当主要部分为有限项时，设为(1)11(0)()()------+++≠--- m m m m m c c c c z a z a z a称a 为()f z 的m 级极点；当主要部分为无限项时，称a 为本性奇点.二．判定 1．可去奇点定理5.3 设a 为()f z 的孤立奇点,则下列条件等价(1)a 为f 的可去奇点 (2)lim ()()→=≠∞z af z b3（）f 在a 的某去心邻域内有界证明:"(1)(2)"⇒设条件1（）成立,则在a 的某一去心邻域内,有0()lim ()()∞→==∴=≠∞-∑nnz an f z f z z a c c"(2)(3)":⇒显然成立."(3)(1)"⇒设f 在a 的去心邻域{}:0-<-<k a z a R 内以M 为界考虑()f z 在点z 的主要部分:11()(1,2,): 02()ξξξρρπξ-+-Γ==Γ-=<<⎰- n n f d n a R i c a()112002πρρρπρ--+≤=→→n n n MC M 120--∴===∴ a c c 为可去奇点.例：说明0=z 是sin zz的可去奇点. 法一：324sin 1()1 03!3!5!=-+=-+<<∞ z z z z z z z z法二：0sin lim 1→=≠∞z zz2.极点定理5.4 设a 为()f z 的孤立奇点.则下列条件等价：1（）a 为f 的m 级极点2（）f 在a 的某去心邻域：{}:0-<-<k a z a R 内可表示为()()()λ=-mz f z z a 其中()λz 在k 内解析，且()0λ≠a1(3).()()=g z f z 从a 为m 级零点(可去奇点作为解析点看) 证明："(1)(2)"⇒设条件(1)成立，即()f z 在a 的某去心邻域内有：101()()()--=++++-+-- m m c c f z c c z a z a z a(0)-≠m c1110()()()()---+-+-++-+-+=-m m m m mc c z a c z a c z a z a ()()记λ-mz z a（()λz 为幂级数的和函数，故解析）其中()λz 在a 的某邻域内解析，且从()0λ-=≠m a c"(2)(3)"⇒：设条件(2)成立，即f 在a 的某去心邻域{}:0-<-<k a z a R内有()()()λ=-mz f z z a ，其中()λz 满足已知的两个条件.由例知存在:.()ρ'-<≤'⊂K z a R K K ，使得在'K 内()0λ≠z . 故在'K 内1()λz 解析，且1()0()ϕλ=≠a a .即a 为1()f z 的m 级零点. "(3)(1)"⇒设条件(3)成立，即1()(),()ϕ=-m z a z f z 其中()ϕz 在a 的某领域内解析，且()0ϕ≠a ，由33P 的例1.28知:,ρ∃'-<K z a 使在K 内1()0,()ϕϕ≠∴z z 在'K 内解析.由Taylor 定理， 在'K 内有011()()ϕ=+-+ b b z a z∴在{}'-K a 内有0111()()[()]()()ϕ==+-+-- m mf z z b b z a z a z a01()()=++-- m mb b z a z a 0(0)≠b作业: 第218-219页 4(1) (3) (5), 5(1) (3).§3解析函数在无穷远点的性质教学目的与要求:掌握解析函数在无穷远点的性质. 重点: 解析函数在无穷远点的性质. 难点：解析函数在无穷远点的性质. 课时：2学时1. 基本概念1.1 2 3 2.如证令数引理：设()f z 在K ：z <1内解析，且(0)0,()f f z =<1则 a ）()f z z ≤， b ）(0)1f '≤， c ）若(0)1f '=，或00z∃≠，使00()f z z =则()()i f z z R e αα=∈.证明：由已知得：12()f z z z c c =++ (1)z <令212(),(0)()(0)f z c c z z z z c z ϕ⎧=++≠⎪=⎨⎪=⎩则()z ϕ在:1K z <内解析.对0,z K ∀∈取r ，使01,z r <<由最大模原理有：0()1()max ()maxz rz rf z z z zrϕϕ==≤=≤. 令1r →得0()1z ϕ≤，特别地，1(0)(0)1f c ϕ'==≤即（b ）成立，又若00z ≠，由0()1z ϕ≤，得00()1f z z ≤，即00().f z z ≤以及(0)0f =，故对z K ∀∈，有()f z z ≤，即（a ）成立.几何意义：在引理条件下，z 的象都比z 本身，距坐标原点要近.若有00z ≠，0z 的象与0z 本身距原点的距离相等，则变换仅仅是一个旋转.作业: 第219页6, 7, 8 (1) (3).。
