解析函数在无穷远点性质.docVIP

解析函数在无穷远点性质 　　摘要:无穷远点作为解析函数的奇点的分类及其判定方法,给出含无穷远点的区域的柯西积分定理、积分公式,为下一步讨论函数在无穷远点处的留数计算做准备. 　　 　　关键词:解析函数无穷远点奇点 　　 　　1问题的提出 　　 　　无穷远点是解析函数的孤立奇点时,它的分类及其类型判定为函数在无穷远点处的留数计算提供了理论依据,而无穷远点处的留数计算及其相关定理是解决复变函数“大范围”的积分计算的有力工具。所以,本文研究解析函数在无穷远点的性质及其分类。 　　 　　2解析函数的定义 　　 　　2.1 解析函数的定义 　　定义2.1[1]如果函数 在区域 内可微,则称 为区域 内的解析函数,或称 在区域 内解析. 　　2.2 奇点的定义 　　定义2.2[2]若函数 在点 不解析,但在 的任一邻域内总有 的解析点,则称 为函数 的奇点. 　　奇点分为孤立奇点和非孤立奇点两类,而孤立奇点根据函数在奇点去心邻域内洛朗展式主要部分的项数又可以分为三类:可去奇点(主要部分为0);极点(主要部分为有限多项);本质奇点(主要部分为无限多项). 　　例2.1判定函数 的奇点及其类型. 　　解 在 平面上只有 为孤立奇点,在其去心邻域 内的洛朗展式为 　　 , 　　因其主要部分为0,故 为 的可去奇点. 　　 　　3 解析函数在无穷远点的性质 　　 　　3.1 无穷远点的引入 　　在复分析中,我们讨论的函数在自变量趋于一个定点时,函数值可能趋于无穷大.为了讨论这种情况,我们在复数域 中引入符号 表示无穷大,并且约定 . 　　同时规定它和有限数的运算关系如下: 　　(加减法) , 　　(乘法) , 　　(除法),, 　　在此定义下无意义. 　　由于在复平面上没有对应无穷远点的位置,因此在复平面上引入一个“理想点”与无穷大对应,称之为无穷远点,仍记为 ,且把复平面加上点 后称为扩充复平面,常记作 .另外扩充复平面的几何模型是复球面,且北极 与复平面上的无穷远点相对应. 　　性质: 的实部?p虚部及辐角都无意义, ; 　　复平面上每一条直线都通过点 ,同时没有一个半平面包含点 . 　　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)