第三节解析函数在无穷远点的性质.pptVIP

5.3解析函数在无穷远点的性质 例5.12 将多值函数 * 定义5.4 设函数f(z)在无穷远点(去心)邻域 N-{∞}:+∞|z|≥0 内解析,则称点∞为f(z)的一个孤立奇点. 设点∞为f(z)的孤立奇点,利用变换z/=1/z, 于是 在去心邻域: (5.12) (1)对于扩充z平面上无穷远点的去心 邻域N-{∞},有扩充z/平面上的原点的去心邻域; (2)在对应点z与z/上,函数 (3) 或两个极限都不存在. 定义5.5 若z/=0为 的可去奇点(解析点), m级极点或本性奇点,则我们相应地称z=∞为 f(z)的可去奇点(解析点),m级极点或本性奇点. 设在去心邻域K-{0}:0|z’|1/r内将 展成罗朗级数: 令z/=1/z,根据(5.12),则有 其中 (5.13) (5.13)为f(z)在无穷远点去心邻域N-{∞}: 0≤r|z|+∞内的罗朗展式.对应 在z’=0 的主要部分,我们称 为f(z)在z=∞ 的主要部分. 定理5.4/ (对应于定理5.4)f(z)的孤立奇点 z=∞为m级极点的充要条件是下列三条中的任 何一条成立: (1) f(z)在 z=∞的主要部分为 定理5.3/ (对应于定理5.3)f(z)的孤立 奇点z=∞为可去奇点的充要条件是下列三 条中的任何一条成立: (1)f(z)在 的 主要部分为零; (2) (3)f(z)在 的某去心邻域N-{∞}内有界. 定理5.5’(对应于定理5.5) f(z)的孤立奇点 ∞为极点的充要条件是 定理5.6’(对应于定理5.6) f(z)的孤立奇点 ∞为本性奇点的充要条件是下列任何一条成 立: (1)f(z)在z=∞的主要部分有无穷多项正幂 (2)f(z)在z=∞的某去心邻域N-{∞}内能 表成 其中 在z=∞的邻域N内解析,且 (3)g(z)=1/f(z)以z=∞为m级零点(只要令 g(z)=0). 不等于零; (2) 广义不存在(即当z趋向于∞ 时f(z)不趋向于任何(有限或无穷)极限). 例5.11 的在无穷远点的某区新邻域内展成洛朗级数