Skip to content

定义Definition

解析幂级数

Power series · Analytic power series

在实数或复数中按收敛半径定义函数的幂级数。

形式陈述 ​

作为级数的一类,以 c∈R 或 C 为中心的解析幂级数是

∑n=0∞an(z−c)n.

存在唯一 R∈[0,∞],使它在 |z−c|<R 时绝对收敛,在 |z−c|>R 时发散;边界 |z−c|=R 上的收敛情况还取决于系数。Cauchy–Hadamard 公式为

1R=lim supn→∞|an|1/n,

并约定 1/0=∞、1/∞=0。

对复幂级数,在每个严格包含于收敛圆盘的闭圆盘 |z−c|≤r<R 上一致绝对收敛;对实幂级数,相应说法是在每个紧子区间 [c−r,c+r] 上成立。因此可在收敛区间内部逐项求导、逐项积分,所得导数级数具有同一收敛半径。端点处的求和与积分可结合相应的边界收敛定理处理。

直觉

系数增长决定一个以展开中心为圆心的收敛区域。进入半径内部后,几何因子压住系数,级数表现得像有限多项式一样稳定;到了边界,几何衰减恰好消失,收敛便由系数中更细的振荡与衰减决定。

形式幂级数把同样的符号用于记录系数,乘法由各次系数的有限卷积定义。解析幂级数进一步把变量代入数值,并研究所得无穷和。普通生成函数常从形式运算出发;当它具有正收敛半径时,这些代数关系还能转为函数关系。

例子与边界

几何级数 ∑xn 的半径为 1,在 x=1 与 x=−1 都发散;∑xn/n 在 x=−1 收敛、在 x=1 发散,说明半径不决定端点。∑n!xn 的半径为 0,而 ∑xn/n! 的半径为 ∞。

复级数

∑n≥0(z−12)n

在 |z−1|<2 内等于 2/(3−z),收敛半径正是中心 1 到最近奇点 3 的距离。圆盘外即使该有理函数仍有定义,这一特定级数也不再表示它;例如改在 0 展开为 ∑n≥02zn/3n+1,新圆盘为 |z|<3,就覆盖了原圆盘外的点 z=−2。两个展开在重叠区域表示同一个有理函数。

实变量函数可以无限次可微却不等于其 Taylor 级数,例如

f(x)={e−1/x2,x≠0,0,x=0,

在 0 处所有阶导数皆为零,Taylor 级数恒为零,但 x≠0 时函数为正。因此“光滑”不等于“解析”。

推论与应用

复幂级数在收敛圆盘内定义全纯函数,并能逐项求导任意次。Taylor 定理给出有限阶多项式与余项;对于固定 x,证明余项随阶数趋零,就得到该点的无穷展开。

幂级数截断利用同一中心处的系数构造局部逼近;多项式插值利用若干不同节点的函数值构造多项式。两者分别从导数信息与节点数据得到近似。解析常微分方程还可把局部解代成幂级数,通过比较各次系数递推求解。

对具有正收敛半径的普通生成函数,复奇点还反映系数的增长。例如 1/(1−z/ρ)=∑n≥0ρ−nzn 的奇点位于 ρ≠0,系数恰以 ρ−n 变化。更一般的奇点分析沿着这一联系提取系数渐近。

若函数只在 r<|z−c|<R 的环域全纯,就应使用Laurent 展开,把非负幂与负幂两部分分别求和。其收敛区域受内外两个半径约束;同一函数换一个环域,系数也可能改变。内半径描述负幂部分的收敛限制,外半径描述非负幂部分的收敛限制。

参考资料
  • Stephen Abbott, Understanding Analysis, 2nd ed., Springer, 2015, §6.5.
  • Walter Rudin, Real and Complex Analysis, 3rd ed., McGraw-Hill, 1987, Chapters 10 and 15.
关系图谱16 个相邻概念 · 4 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。

类型化关系