解析函数的幂级数理论--洛朗展开 Laurent展开
函数项级数一致收敛的性质
和函数连续
设级数 ∑ n = 0 ∞ f n ( z ) \sum_{n=0}^{\infty} f_{n}(z) ∑n=0∞fn(z) 的各项在点集 E E E 上连续,并且一致收敛于 f ( z ) f(z) f(z),则和函数
f ( z ) = ∑ n = 0 ∞ f n ( z ) f(z)=\sum_{n=0}^{\infty} f_{n}(z) f(z)=n=0∑∞fn(z)
也在 E E E 上连续。
逐项求积分
设级数 ∑ k = 1 ∞ u k ( z ) \sum_{k=1}^{\infty} u_{k}(z) ∑k=1∞uk(z) 的各项在曲线 C C C 上连续,并且在 C C C 上一致收敛于 f ( z ) f(z) f(z),则沿 C C C 可以逐项积分
∫ C ∑ k = 1 ∞ u k ( z ) d z = ∑ k = 1 ∞ ∫ C u k ( z ) d z \int_{C} \sum_{k=1}^{\infty} u_{k}(z) \mathrm{d} z=\sum_{k=1}^{\infty} \int_{C} u_{k}(z) \mathrm{d} z ∫Ck=1∑∞uk(z)dz=k=1∑∞∫Cuk(z)dz
魏尔斯特拉斯(Weierstrass)定理–逐项求导数
设级数 ∑ n = 0 ∞ f n ( z ) \sum_{n=0}^{\infty} f_{n}(z) ∑n=0∞fn(z) 的各项均在区域 D D D内解析,且级数在区域 D D D 内闭一致收敛于 f ( z ) f(z) f(z),则
(1) f ( z ) = ∑ n = 0 ∞ f n ( z ) f(z)=\sum_{n=0}^{\infty} f_{n}(z) f(z)=∑n=0∞fn(z) 在区域 D D D 内解析;
(2) 在 D D D 内级数可逐项求导至任意阶,且
f ( p ) ( z ) = ∑ n = 0 ∞ f n ( p ) ( z ) , p = 1 , 2 , 3 , ⋯ ; f^{(p)}(z)=\sum_{n=0}^{\infty} f_{n}^{(p)}(z), \quad p=1,2,3, \cdots ; f(p)(z)=n=0∑∞fn(p)(z),p=1,2,3,⋯;
(3) ∑ n = 0 ∞ f n ( p ) ( z ) \sum_{n=0}^{\infty} f_{n}^{(p)}(z) ∑n=0∞fn(p)(z) 在 D D D 内内闭一致收敛于 f ( n ) ( z ) f^{(n)}(z) f(n)(z)。
内闭一致收敛
设级数 ∑ n = 0 ∞ f n ( z ) \sum_{n=0}^{\infty} f_{n}(z) ∑n=0∞fn(z) 的各项均在区域 D D D 内有定义,若 ∑ n = 0 x f n ( z ) \sum_{n=0}^{x} f_{n}(z) ∑n=0xfn(z) 在 D D D 的任一有界闭子区域上一致收敛,则称级数在 D D D 内闭一致收敛。
幂级数与解析函数
最简单的函数项级数是幂级数
∑ n = 0 ∞ c n ( z − a ) n = c 0 + c 1 ( z − a ) + c 2 ( z − a ) 2 + ⋯ \sum_{n=0}^{\infty} c_{n}(z-a)^{n}=c_{0}+c_{1}(z-a)+c_{2}(z-a)^{2}+\cdots n=0∑∞cn(z−a)n=c0+c1(z−a)+c2(z−a)2+⋯
其中 c 0 , c 1 , c 2 , ⋯ c_{0}, c_{1}, c_{2}, \cdots c0,c1,c2,⋯ 和 a a a 是给定的复常数。
阿贝尔(Abel)定理:若 ∑ k = 0 ∞ a k ( z − b ) k \sum_{k=0}^{\infty} a_{k}(z-b)^{k} ∑k=0∞ak(z−b)k 在 z = z 0 z=z_{0} z=z0 点收敛,则
(1). 它在 ∣ z − b ∣ < ∣ z 0 − b ∣ |z-b|<\left|z_{0}-b\right| ∣z−b∣<∣z0−b∣ 内绝对收敛;
(2). 它在 ∣ z − b ∣ ≤ ρ ( ρ < ∣ z 0 − b ∣ ) |z-b| \leq \rho\left(\rho<\left|z_{0}-b\right|\right) ∣z−b∣≤ρ(ρ<∣z0−b∣) 上一致收敛。
推论:若幂级数 ∑ k = 0 ∞ a k ( z − b ) k \sum_{k=0}^{\infty} a_{k}(z-b)^{k} ∑k=0∞ak(z−b)k 在某点 z 1 z_{1} z1 发散,则在圆 ∣ z − b ∣ > ∣ z 1 − b ∣ |z-b|>\left|z_{1}-b\right| ∣z−b∣>∣z1−b∣ 外处处发散。
必存在一个有限正数 R R R,使得给定的幂级数 ∑ n = 0 ∞ c n z n \sum_{n=0}^{\infty} c_{n} z^{n} ∑n=0∞cnzn 在圆周 ∣ z ∣ = R |z|=R ∣z∣=R 内部绝对收敛,在圆周 ∣ z ∣ = R |z|=R ∣z∣=R 外部发散。 R R R 称为此幂级数的收敛半径;圆 ∣ z − a ∣ < R |z-a|<R ∣z−a∣<R 和圆周 ∣ z − a ∣ = R |z-a|=R ∣z−a∣=R 分别称为它的收敛圆和收敛圆周。
收敛半径 R = { lim k → ∞ ∣ a k a k + 1 ∣ ( D ′ A l e m b e r t ) lim k → ∞ 1 ∣ a k ∣ k ( C a u c h y ) R=\left\{\begin{array}{l} \lim _{k \rightarrow \infty}\left|\frac{a_{k}}{a_{k+1}}\right| \quad (D'Alembert)\\\lim _{k \rightarrow \infty} \frac{1}{\sqrt[k]{\left|a_{k}\right|}} \quad (Cauchy)\end{array}\right. R=⎩⎨⎧limk→∞∣∣∣ak+1ak∣∣∣(D′Alembert)limk→∞k∣ak∣1(Cauchy)
那么我们再来看看幂级数的“优良”性质
幂级数 ∑ k = 0 ∞ a k ( z − b ) k \sum_{k=0}^{\infty} a_{k}(z-b)^{k} ∑k=0∞ak(z−b)k (1) 在收敛圆域内的任意闭圆上一致收敛。
(2) 每一项(通项)都解析。
幂级数的和函数 F ( z ) = ∑ k = 0 ∞ a k ( z − b ) k F(z)=\sum_{k=0}^{\infty} a_{k}(z-b)^{k} F(z)=∑k=0∞ak(z−b)k 解析、存在任意阶导数等…
我们是否可以将解析函数展开成幂级数呢?
解析函数的泰勒展开(Taylor 展开)
泰勒(Taylor)展开
设函数 f ( z ) f(z) f(z) 在以 a a a 为圆心的圆 C C C 内解析,则对于圆内的任何