解析函数在无穷远点的性质
- 格式:doc
- 大小:30.00 KB
- 文档页数:5
函数解析的充要条件函数解析是研究函数的定义域和值域的一种方法,用于确定函数的限制条件和特性。
在数学中,函数解析的充要条件对于理解和推导函数的性质至关重要。
本文将介绍函数解析的充要条件及其应用。
一、函数解析的定义和概念在开始讨论函数解析的充要条件之前,我们先来了解一下函数解析的定义和概念。
函数解析是指确定函数的定义域和值域的过程。
函数的定义域是指使函数有意义的自变量的取值范围,而值域则是函数在定义域内所有可能的函数值的集合。
二、函数解析的充要条件函数解析的充要条件有以下几个要点:1. 定义域的确定:函数的定义域是使函数有意义的自变量的取值范围。
在确定定义域时,需要避免出现分母为零、负数开偶次方根、负数的对数等不合法的情况。
2. 垂直渐近线的存在性:如果函数在某个点x=a的左右极限存在且相等,那么该点x=a处就存在着一个垂直渐近线。
3. 水平渐近线的存在性:如果函数在无穷远处的左右极限存在且相等,那么函数就存在一个水平渐近线。
4. 每一个分段函数段的解析条件:对于分段函数,每一个分段函数段都要满足解析条件。
也就是说,每一个函数段都需要符合函数解析的充要条件。
三、函数解析的应用函数解析的充要条件在解析函数性质和求解问题中有着广泛的应用。
1. 确定函数的定义域:通过函数解析的充要条件,我们可以确定函数的定义域,从而确定函数的取值范围。
2. 求解极限:函数的垂直渐近线和水平渐近线的存在性可以帮助我们求解函数的极限。
3. 分段函数的分析:分段函数的每一个函数段都需要满足解析条件,通过函数解析的充要条件,我们可以分析每一个函数段的性质。
4. 函数的图像绘制:根据函数解析的充要条件,我们可以确定函数的特性,从而绘制出函数的图像。
四、总结函数解析的充要条件是确定函数的定义域和值域的重要方法,对于理解和推导函数的性质具有重要意义。
本文介绍了函数解析的定义和概念,以及函数解析的充要条件及其应用。
通过了解和应用函数解析的充要条件,我们可以更加深入地研究和理解函数的性质。
第五章 洛朗级数 第一节 洛朗展式双边幂级数设级数()()() +-++-+=-∑∞=n n n n n a z c a z c c a z c 100 (1*)它在收敛圆R a z <-)0(+∞≤<R 内绝对且内闭一致收敛到解析函数()z f 1;考虑函数项级数()() +-++-----n n a z c a z c 11 (2*) 作代换az -=1ξ 则(2*)即为 +++--n n c c ξξ1,它在收敛圆⎪⎭⎫⎝⎛+∞≤<<rr 101ξ内绝对且内闭一致收敛到解析函数()z f 2,从而(2*)在区域()+∞<≤>-r r a z 0内绝对且内闭一致收敛到解析函数()z f 2;当且仅当R r <时,(1*)(2*)有共同的收敛区域()+∞≤<≤<-<R r R a z r H 0:,此时,称()∑∞=-0n n n a z c 为双边幂级数。
关于双边幂级数的性质,见p185 定理1.5 定理1 (洛朗定理)设函数f (z )在圆环:)0(||:+∞≤<≤<-<R r R a z r H 内解析,那么在H 内,)()(∑+∞-∞=-=n n na z cz f其中,,...)2,1,0(,)()(211±±=-=⎰+τζζζπn d a f i c n n τ是圆ρρ,||=-a z 是一个满足R r <<ρ的任何数,并且展式是唯一的。
证明:H z ∈∀,作圆周11:ρτ=-a z 和22:ρτ=-a z 使z 含于圆环21':ρρ<-<a z H 内,于是()z f 在圆环'H 内解析。
由柯西积分公式()()ζζζπττd zf i z f ⎰-+-=1221 ()()nn n a z c d z f i -=-∑⎰+∞=0221ζζζπτ,其中()()ζζζπτd a f i c n n ⎰+-=2121 () ,1,1,0-=n 现考虑()()ζζζπζζζπττd z f i d z f i ⎰⎰-=--112121 ()()az aaz f z f ----=-ζζζζ11而沿1τ,1<--az a ζ,nn a z a az a ∑∞+=⎪⎭⎫⎝⎛--=---∴011ζζ(在1τ上一致收敛)由于函数()ζζ-z f 沿1τ有界,所以()()()()n nn a z a a z f z f ---=-∑∞+=ζζζζ0 ∴()()()()∑⎰⎰+∞=----=-01112121n nn d a f i a z d z f i ττζζζπζζζπ ()()()ζζζπτd a f i a z n n n∑⎰-∞-=+--=11121故当H z ∈:()()∑+∞-∞=-=n nna z c z f ,其中()()ζζζπρτd a f i c n n ⎰+-=121() ,1,0±=n 展式的唯一性:设()()∑+∞-∞=-=n nna z c z f '任意取某正整数m ,在ρτ上有界,()()()∑+∞-∞=--+-=-∴n m n n m a z c a z z f 1'1()()()∑⎰⎰+∞-∞=--+⋅=-=-n m m n nm c i dz a z c dz a z z f '1'12ρρττπ()()⎰+-=∴ρτπdz a z z f i c m m 1'21() ,1,0±=m ,故() ,1,0'±==n c c n n,展式唯一。
解析函数的主要性质综述作者:安辉燕来源:《科学导报》2017年第75期一、导引解析函数是一类具有某种特性的可微函数,它将我们所熟悉的数学分析中的一些内容推广到复数域上并研究其性质。
本文通过搜集材料,系统总结了解析函数的几个主要性质:解析函数的唯一性、零点的孤立性、零点的分布问题、解析函数在无穷远点的性质、解析变换的特征及解析函数、共轭解析函数和复调和函数之间的关系,并通过举例进行了深入、详细的分析。
二、预备知识1.定义如果函数在区域D内是可微的,则称为区域D内的解析函数。
复变函数中解析函数的充要条件有多种形式,最常见的有以下几种。
2.定理函数在区域D内解析的充要条件:A(1)二元函数在区域D内可微;(2)在D内满足方程。
B(3)在D内连续;(4)在D内满足方程。
C 在D内任意一点的邻域内可以展成的幂级数,也就是泰勒级数。
D C为D内任意一条周线,则。
三、解析函数的主要性质1.解析函数的唯一性定理(解析函数的唯一性)如果函数在区域D内解析,是D内彼此不同的点,并且点列的极限点,若有,则在D内必有。
根据定理我们可得到以下结论:推论1 如果函数在区域D内解析,且在区域内某点的邻域内有,则在D内必有。
推论2 如果函数在区域D内解析,且在区域D内某一曲线上有,则在内必有。
2.解析函数零点的孤立性定理如果在内的解析函数不恒为零,是的一个零点,则必存在的一个邻域使得在其中无其他零点。
(即:不恒为零的解析函数的零点具有孤立性)此性质是解析函数的特殊性质,实函数不具有此性质。
3. 解析函数零点的分布问题解析函数的零点的分布问题是复变函数论中的一个重要问题,一下就复多项式的零点可以全部分布在一个指定的区域内这个问题进行讨论。
定理1若复平面上多项式在虚轴上无零点,则它的零点全分布在右半平面上的充要条件为。
定理2若复平面上多项式在实轴上无零点,则它的零点全分布在上半平面的充要条件为。
四、解析变换的特性解析函数的特性是从几何的角度对解析函数的性质和应用进行讨论。
第五章 解析函数的洛朗展式与孤立奇点§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).。
beurrling定理Beurling定理是20世纪50年代由瑞典数学家Arne Beurling提出的一个重要数学定理,它在数论和复变函数理论中具有重要的应用。
该定理可以用来研究解析函数的性质以及整数序列的分布规律。
本文将介绍Beurling定理的基本概念和应用,并探讨它在数学领域中的重要性。
我们来介绍一下Beurling定理的基本概念。
在复变函数理论中,解析函数是指在某个区域内处处可导的函数。
Beurling定理研究的是解析函数的性质,特别是它们在无穷远处的行为。
具体来说,Beurling定理给出了解析函数的渐进增长率与它在无穷远处的奇点的关系。
更具体地说,对于一个解析函数f(z),如果它在无穷远处有一个本质奇点,那么Beurling定理告诉我们,函数f(z)的模长在无穷远处以指数形式增长。
换句话说,存在一个正数M和一个实数α,使得当|z|趋向于无穷大时,|f(z)|至少以e^α|z|^M的速度增长。
这个定理的重要性在于它揭示了解析函数在无穷远处的行为,从而有助于我们研究解析函数的性质和应用。
Beurling定理在数论中也有重要的应用。
数论是研究整数性质和整数序列分布规律的数学分支。
Beurling定理可以用来研究整数序列的分布问题。
具体来说,对于一个整数序列,如果它在无穷远处的分布规律满足一定的条件,那么Beurling定理告诉我们,这个整数序列的分布密度在无穷远处至少以指数形式减小。
这个定理的应用领域非常广泛,包括素数分布、整数分拆、离散对数等问题。
除了数论和复变函数理论,Beurling定理还在其他数学领域中有重要的应用。
例如,在无线通信领域,Beurling定理可以用来研究信号传输的带宽和功率的关系。
在图论中,Beurling定理可以用来研究无向图的连通性。
在概率论中,Beurling定理可以用来研究随机过程的极限行为。
总结一下,Beurling定理是一个重要的数学定理,它在数论和复变函数理论中具有广泛的应用。
解析函数在无穷远点的性质
摘要:无穷远点作为解析函数的奇点的分类及其判定方法,给出含无穷远点的区域的柯西积分定理、积分公式,为下一步讨论函数在无穷远点处的留数计算做准备.
关键词:解析函数无穷远点奇点
1问题的提出
无穷远点是解析函数的孤立奇点时,它的分类及其类型判定为函数在无穷远点处的留数计算提供了理论依据,而无穷远点处的留数计算及其相关定理是解决复变函数“大范围”的积分计算的有力工具。
所以,本文研究解析函数在无穷远点的性质及其分类。
2解析函数的定义
2.1 解析函数的定义
定义2.1[1]如果函数在区域内可微,则称为区域内的解析函数,或称在区域内解析.
2.2 奇点的定义
定义2.2[2]若函数在点不解析,但在的任一邻域内总有的解析点,则称为函数的奇点.
奇点分为孤立奇点和非孤立奇点两类,而孤立奇点根据函数在奇点去心邻域内洛朗展式主要部分的项数又可以分为三类:可去奇点(主要部分为0);极点(主要部分为有限多项);本质奇点(主要部分为无限多项).
例2.1判定函数的奇点及其类型.
解在平面上只有为孤立奇点,在其去心邻域内的洛朗展式为
,
因其主要部分为0,故为的可去奇点.
3 解析函数在无穷远点的性质
3.1 无穷远点的引入
在复分析中,我们讨论的函数在自变量趋于一个定点时,函数值可能趋于无穷大.为了讨论这种情况,我们在复数域中引入符号表示无穷大,并且约定.
同时规定它和有限数的运算关系如下:
(加减法) ,
(乘法) ,
(除法),,
在此定义下无意义.
由于在复平面上没有对应无穷远点的位置,因此在复平面上引入一个“理想点”与无穷大对应,称之为无穷远点,仍记为,且把复平面加上点后称为扩充复平面,常记作.另外扩充复平面的几何模型是复球面,且北极与复平面上的无穷远点相对应.
性质: 的实部﹑虚部及辐角都无意义, ;
复平面上每一条直线都通过点,同时没有一个半平面包含点.
3.2 无穷远点作为奇点的分类
由于任一函数在处无意义,所以点总是的奇点.
定义3.1 [3] 设函数在无穷远点的去心邻域内解析,则称为的一个孤立奇点,否则为非孤立奇点.
若在平面上有一列趋于无穷远点的奇点,则为的非孤立奇点.
例3.1讨论的奇点的类型.
解:此函数因分母不能为0,故有奇点和.由于有限奇点(它们各为一阶极点)以为极限,故为此函数的非孤立奇点.
设为的孤立奇点, 在无穷远点的去心邻域内的洛朗展式为,在式中正幂部分称为在的主要部分,非正幂部分称为在的正则部分.
定义3.2设为函数的孤立奇点.
若在点的主要部分为零,则称为的可去奇点;
若在点的主要部分为有限多项,设为
,
则称为的阶极点;
若在点的主要部分有无限多项,则称为的本质奇点.
注: 若为的可去奇点,我们定义,则在处解析.
3.3 解析函数在无穷远点的性质
根据定义3.2,不难得到
定理3.1函数的孤立奇点为可去奇点的充要条件是下列条件之一成立: ;
令, 为
的可去奇点;
在的某去心邻域内有界.
例如, ,所以为函数的可去奇点.
定理3.2函数的孤立奇点为阶极点的充要条件是下列条件之一成立: 令, 为
的阶极点;
在的某去心邻域内能表成,
其中在的邻域内解析,且;
以为阶零点(只要令).
注:为的极点的充要条件是.
例3.2试确定函数的奇点的类型.
解:由,设
,因在的邻域内解析且,所以为阶极点.
定理3.3函数的孤立奇点为本质奇点的充要条件是下列条件之一成立:
不存在;
令, 为的本质奇点.
例3.3试确定函数的奇点的类型.
解:令,其在的空心邻域内的展式为
,
它的主要部分为无穷多项,故为的本质奇点.
定理 3.4 (含点的区域的柯西积分定理)设是一条周线,区域是的外部(含点), 在内解析且连续到;又设,则
,
这里及是在无穷远点去心邻域内的洛朗展式的系数.
证明:由已知有在解析,又,所以为可去奇点;设充分大,使及其内部全含于圆周的内部(图1),则得点的去心邻域: 在其内展成洛朗级数,设为
( 可为0).
因,
所以.
再就复围线(图1)应用柯西积分定理有:
,
,
.
定理3.5 (含点的区域的柯西积分公式)假设条件同定理3.4,则
这里表示的方向,含点的区域恰在一人沿它前进的方向.
证明:1)设,以为心作充分大的圆周,使及其内部全含于的内部(图2), 构成一复围线.则应用有界区域的柯西积分公式,
.
在(这里以为中心的点的去心邻域)内的洛朗展式可设为
( 可为0),
由此可得
.
当,有,
所以.
2) (即在图2中的阴影部分),有,
所以.
参考文献:
[1]钟玉泉.复变函数论[M].北京:高等教育出版社,2005年版.
[2]陈广锋.无穷远点作为解析函数奇点时的讨论[J].西安教育学院学报,2000(3).。