第四章、级数

第四章、级数

1. 级数和序列的基本性质

复数序列

$设z_0时一个复常数，如果任给\epsilon >0，可以找到一个正整数N，使得当n>N时，$
$$|z-z_0|<\epsilon$$
$那么我们说z_n收敛，记做\underset{n\to +\infty }{\lim }{z}_n=z_0$

• { z n } 收 敛 的 充 要 条 件 是 a n 收 敛 且 b n 收 敛 . \{z_n\}收敛的充要条件是{a_n}收敛且{b_n}收敛. {zn​}收敛的充要条件是an​收敛且bn​收敛.

• { z n } 收 敛 的 充 要 条 件 是 ： ∀ ε > 0 , 可 以 找 到 一 个 正 整 数 N > 0 , 使 得 当 m 及 n > N 时 ， \{z_n\}收敛的充要条件是：\forall \varepsilon\gt0,可以找到一个正整数N\gt0,使得当m及n\gt N时， {zn​}收敛的充要条件是：∀ε>0,可以找到一个正整数N>0,使得当m及n>N时，
  $$|z_n-z_m|<\epsilon$$

复数项级数

$复数项级数就是z_1+z_2+\cdots +z_n+\dots$
$或记做\sum _{n=1}^{+\infty }{z}_n.如果部分和序列$
$${\sigma }_n=z_1+z_2+\cdots +z_n$$
$收敛，那么我们说级数收敛，记做$
$$\sum _{n-1}^{+\infty }{z}_n=\sigma$$

• $级数收敛的充要条件是：任给\epsilon >0，可以找到一个正整数N>0,使得当n>N时，$
  $$|z_{n+1}+z_{n+2}+\dots |<\epsilon .$$

复变函数项级数

• 一致收敛
  $如果任给\epsilon >0，可以找到一个与\epsilon 有关而与z无关的正整数N，使得当n>N，z\in E时，$
  $$|\sum _{k=1}^n{f}_n(z)-f(z)|<\epsilon$$
  $那么我们说级数在E上一致收敛于f(z)$

定理 2.1
$设f_n(z)在E上连续，并且级数或序列在E上一致收敛于f(z)或g(z)，那么f(z)或g(z)在E上连续$

定理 2.2
$设f_n(z)在简单曲线C上连续，并且级数或序列在C上一致收敛于f(z)或g(z)，那么$
$$\sum _{n=1}^{+\infty }{\int }_C{f}_n(z)dz={\int }_{C}f(z)dz$$
或
$$\underset{n\to +\infty }{\lim }{\int }_C{f}_n(z)dz={\int }_{C}g(z)dz$$

定理 2.3 (魏尔斯特拉斯定理)
设 函 数 f n ( z ) 在 区 域 内 解 析 ， 并 且 级 数 ∑ n = 1 + ∞ f n ( z ) 或 序 列 { f n ( z ) } 在 D 中 内 闭 一 致 收 敛 于 函 数 f ( z ) 或 g ( z ) ， 那 么 f ( z ) 或 g ( z ) 在 D 内 解 析 ， 并 且 在 D 内 ， \qquad设函数f_n(z)在区域内解析，并且级数\sum_{n=1}^{+\infty}f_n(z)或序列\{f_n(z)\}在D中内闭一致收敛于函数f(z)或g(z)，那么f(z)或g(z)在D内解析，并且在D内， 设函数fn​(z)在区域内解析，并且级数∑n=1+∞​fn​(z)或序列{fn​(z)}在D中内闭一致收敛于函数f(z)或g(z)，那么f(z)或g(z)在D内解析，并且在D内，
$$f^{(k)}(z)=\sum _{n=1}^{+\infty }{f}_n^{(k)}(z)$$
或
$$g^{(k)}(z)=\underset{n\to +\infty }{\lim }{f}_n^{(k)}(z)$$

幂级数

• 定义
  形如：
  $$\sum _{n=0}^{+\infty }{a}_n(z-z_0{)}^n$$
  其中z是复变数，系数$a_n$是任何复常数

定理 3.1 (阿贝尔第一定理)
$如果幂级数\sum _{n=0}^{+\infty }{a}_n(z-z_0{)}^n在z_1收敛，那么对于满足|z-z_0|<|z_1-z_0|的任何z，均绝对收敛.$

定理 3.3 $如果下列条件之一成立：$
$$l=\underset{n\to +\infty }{\lim }|\frac{a_{n+1}}{a_n}|$$
$$l=\underset{n\to +\infty }{\lim }\sqrt[n]{|a_n|}$$
$那么当0<l<+\infty 时，级数的收敛半径R=\frac{1}{l};当l=0时，R=\infty ；当l=+\infty 时，R=0$

2. 泰勒展式

定理 4.1
$设函数f(z)在圆盘U:|z-z_0|<R内解析，那么在U内.$
$$f(z)=f(z_0)+\frac{f^{\prime }(z_0)}{1!}(z-z_0)+\frac{f^{\prime \prime }(z_0)}{2!}(z-z_0{)}^2+\dots$$

定理 4.2
$函数f(z)在一点z_0解析的充要条件是：它在z_0的某一领域内有幂级数展式$

定理 5.1
$设函数f(z)在z_0解析，并且z_0时它的一个零点，那么或者f(z)在z_0的一个领域内恒等于0，或者存在着z_0的一个领域，在其中z_0时f(z)的唯一零点$

定理 6.1
$如果f(z)在区域D内解析，并且不恒等于零，那么f(z)的每个零点z_0有一领域，在其中z_0是f(z)的唯一零点$

定理 6.2
设 函 数 f ( z ) 在 区 域 D 内 解 析 . 设 z k 是 D 内 彼 此 不 同 的 点 ， 并 且 点 列 { z k } 在 D 内 有 极 限 点 . 如 果 f ( z k ) = g ( z k ) ( k = 1 , 2 , …   ) ， 那 么 在 D 内 ， f ( z ) = g ( z ) \qquad设函数f(z)在区域D内解析.设z_k是D内彼此不同的点，并且点列\{z_k\}在D内有极限点.如果f(z_k)=g(z_k)(k=1,2,\dots)，那么在D内，f(z)=g(z) 设函数f(z)在区域D内解析.设zk​是D内彼此不同的点，并且点列{zk​}在D内有极限点.如果f(zk​)=g(zk​)(k=1,2,…)，那么在D内，f(z)=g(z)

3. 洛朗展式

定理 7.1
$设函数f(z)在圆环D：R_1<|z-z_0|<R_2内解析，那么在D内，$
$$f(z)=\sum _{n=-\infty }^{+\infty }{a}_n(z-z_0{)}^n,$$
$其中，$
$$a_n=\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(z)}{(z-z_0{)}^{n+1}}dz(n=0,\pm 1,\pm 2,\dots )$$
$\gamma 是圆|z-z_0|=\rho ,\rho 时满足R_1<\rho <R_2的任何数$

• 解析函数的孤立奇点：
  $设函数f(z)在去掉圆心的圆盘D：0<|z-z_0|<R(0<R\le +\infty )内确定并且解析，那么z_0称为f(z)的孤立奇点$.

• 可去奇点
  $如果当n=-1,-2,\dots 时a_n=0，那么我们说z_0是函数f(z)的可去奇点.$

定理 8.1
$设函数f(z)在0<|z-z_0|<R(0<R\le +\infty )内解析，那么z_0是f(z)的可去奇点的充要条件是：存在着极限\underset{z\to z_0}{\lim }f(z)=a_0,其中a_0是一复数.$

定理 8.2
$设函数f(z)在0<|z-z_0|<R(0<R\le +\infty )内解析，那么z_0是f(z)的极点的充要条件是：\underset{z\to z_0}{\lim }f(z)=\infty ,其中a_0是一复数.$

定理 8.3
$设函数f(z)在0<|z-z_0|<R(0<R\le +\infty )内解析，那么z_0是f(z)的本性奇点的充要条件是：不存在有限或无穷的极限\underset{z\to z_0}{\lim }f(z)$

• 亚纯函数
  $如果函数f(z)在有限复平面上除去有极点外，处处解析，那么它就称为一个亚纯函数.e.g.\frac{1}{sinz}$