题目

若z=a是函数f(z)的本性奇点，则f(z)在z=a的邻域内的洛朗级数含无穷多个负幂项

若$z=a$是函数$f(z)$的本性奇点，则$f(z)$在$z=a$的邻域内的洛朗级数含无穷多个负幂项

题目解答

答案

若 $ z = a $ 是函数 $ f(z) $ 的本性奇点，根据复变函数理论，$ f(z) $ 在 $ z = a $ 的邻域内展开的洛朗级数形式为： \[ f(z) = \sum_{n=-\infty}^{\infty} c_n (z - a)^n \] 其中，负幂项 $ c_n (z - a)^n $（$ n < 0 $）的数量和系数决定了奇点类型。对于本性奇点，洛朗级数中必含无穷多个负幂项，否则 $ f(z) $ 在 $ z = a $ 处将为极点或可去奇点，与本性奇点定义矛盾。 因此，题目陈述正确。 \[ \boxed{\text{正确}} \]

解析

本题考查复变函数中本性奇点的定义以及洛朗级数的相关知识。解题的关键在于理解不同类型奇点（可去奇点、极点、本性奇点）与洛朗级数展开式之间的关系，通过分析本性奇点的定义来判断题目陈述的正确性。

详细解析

  1. 首先明确函数 $f(z)$ 在 $z = a$ 的邻域内的洛朗级数展开式为：
    • $f(z)=\sum_{n = -\infty}^{\infty}c_n(z - a)^n=\sum_{n = 1}^{\infty}c_{-n}(z - a)^{-n}+c_0+\sum_{n = 1}^{\infty}c_n(z - a)^n$，其中 $\sum_{n = 1}^{\infty}c_{-n}(z - a)^{-n}$ 是负幂项部分，$c_0+\sum_{n = 1}^{\infty}c_n(z - a)^n$ 是解析部分。
  2. 然后分析不同类型奇点的洛朗级数特点：
    • 可去奇点：若 $z = a$ 是 $f(z)$ 的可去奇点，根据可去奇点的定义，$\lim_{z\rightarrow a}f(z)$ 存在且为有限值。此时，洛朗级数中负幂项的系数 $c_{-n}=0(n = 1,2,\cdots)$，即负幂项的个数为 $0$ 个。
    • 极点：若 $z = a$ 是 $f(z)$ 的极点，设 $z = a$ 是 $f(z)$ 的 $m$ 阶极点，则 $\lim_{z\rightarrow a}(z - a)^m f(z)=A\neq0$。此时，洛朗级数中负幂项的系数 $c_{-n}=0(n>m)$，即负幂项的个数是有限个（最多 $m$ 个）。
    • 本性奇点：根据本性奇点的定义，$\lim_{z\rightarrow a}f(z)$ 不存在且不为无穷大。如果洛朗级数中负幂项的个数是有限个，那么 $f(z)$ 就会是可去奇点或者极点，这与本性奇点的定义矛盾。所以，当 $z = a$ 是函数 $f(z)$ 的本性奇点时，洛朗级数中必含无穷多个负幂项。