“这里双边求和指右边两个级数分别收敛,不靠正负项的对消定义。第一项是通常的幂级数,第二项称为主部。在每个紧子环域 $r<r'\le z a \le R'<R$ 上,两部分都一致绝对收敛。它们可…”
形式陈述
作为级数的一类,以
存在唯一
并约定
对复幂级数,在每个严格包含于收敛圆盘的闭圆盘
直觉
系数增长决定一个以展开中心为圆心的收敛区域。进入半径内部后,几何因子压住系数,级数表现得像有限多项式一样稳定;到了边界,几何衰减恰好消失,收敛便由系数中更细的振荡与衰减决定。
形式幂级数把同样的符号用于记录系数,乘法由各次系数的有限卷积定义。解析幂级数进一步把变量代入数值,并研究所得无穷和。普通生成函数常从形式运算出发;当它具有正收敛半径时,这些代数关系还能转为函数关系。
例子与边界
几何级数
复级数
在
实变量函数可以无限次可微却不等于其 Taylor 级数,例如
在
推论与应用
复幂级数在收敛圆盘内定义全纯函数,并能逐项求导任意次。Taylor 定理给出有限阶多项式与余项;对于固定
幂级数截断利用同一中心处的系数构造局部逼近;多项式插值利用若干不同节点的函数值构造多项式。两者分别从导数信息与节点数据得到近似。解析常微分方程还可把局部解代成幂级数,通过比较各次系数递推求解。
对具有正收敛半径的普通生成函数,复奇点还反映系数的增长。例如
若函数只在
参考资料
- 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.