形式幂级数

形式陈述 ​

设 $R$ 为交换含幺环。形式幂级数是系数序列 $(a_0,a_1,\dots )\in R^{\mathbb{N}}$，写作 $A(x)=\sum _{n\ge 0}{a}_n{x}^n$。全体形式幂级数记为 $R[[x]]$。相等与加法逐项定义，乘法采用 Cauchy 卷积：

$$[x^n](A+B)=a_n+b_n,[x^n](AB)=\sum _{k=0}^n{a}_k{b}_{n-k}.$$

每个给定次数的乘积系数只含有限项，因此不需要收敛概念。级数 $A$ 可逆当且仅当常数项 $a_0$ 是 $R$ 中的单位元；逆级数的系数由 $a_0{b}_0=1$ 与 $\sum _{k=0}^n{a}_k{b}_{n-k}=0$ 递归唯一确定。

直觉 ​

形式幂级数不是“尚未检查收敛的函数”，而是一张无限系数表。符号 $x$ 只记录次数，使平移、卷积和递推可以用代数运算表达。因为每次只询问某个固定次数的系数，乘法从来只汇总有限多个贡献；这正是它无需极限也能可靠运算的原因。

例子与边界 ​

在任意交换含幺环上，$(1-x)(1+x+x^2+\cdots )=1$，所以 $(1-x{)}^{-1}=\sum _{n\ge 0}{x}^n$ 是形式恒等式，不需要 $|x|<1$。另一方面，$A(B(x))$ 的复合并非总能定义：通常要求内层 $B$ 的常数项为零，使每个输出系数只接收有限多个外层项；若外层本来是多项式，则不受这一限制。

形式微分按 $A^{\prime }(x)=\sum _{n\ge 1}n{a}_n{x}^{n-1}$ 定义，并满足线性与 Leibniz 法则，但它是代数运算，不自动赋予级数数值函数或解析导数。只有系数位于赋范域并另行证明收敛后，才可把同一表达式解释为解析幂级数。

推论与应用 ​

普通生成函数利用 $R[[x]]$ 编码序列，线性递推常转化为有理形式级数。形式对数、指数、反演与复合可在相应常数项和系数环条件下定义；组合计数、局部代数和完备化都使用这些纯代数运算。解析组合学则在形式恒等式建立后，再加入收敛半径与复奇点来估计系数。

参考资料

• Richard P. Stanley, Enumerative Combinatorics, Vol. 1, 2nd ed., Cambridge University Press, 2011，Ch. 1。
• Nicolas Bourbaki, Algebra II: Chapters 4–7, Springer, 1990，Ch. 4, formal series。