nxn次方求和函数_生成函数（母函数）详解 - Jijidawang

0. 前置

1. 广义二项式定理(牛顿二项式定理)

我们重新定义组合数：

\[\dbinom rk=\dfrac{r^{\underline{k}}}{k!} \]

其中 \(r^{\underline{k}}\) 是下降幂，\(r\in\mathbb C,k\in\mathbb N\) .

注意 \(r\in\mathbb C\) . 在这种情况下，对于任意 \(\alpha\in\mathbb C\)，有：

\[(1+x)^{\alpha}=\sum_{n\ge 0}\dbinom{\alpha}{n}x^n \]

2. 双阶乘

当 \(n\in\mathbb N_+\) 时，\(n\) 的双阶乘(\(n!!\))表示不超过 \(n\) 且与 \(n\) 有相同奇偶性的所有正整数的乘积。

\[(2n)!!=2\times 4\times 6\times\cdots\times (2n) \]

\[(2n-1)!!=1\times 3\times 5\times\cdots\times (2n-1) \]

显然有递推式 \((n-2)!!n=n!!\)，由此可以推导出：

\[(-2n-1)!!=\dfrac{(-1)^n}{|-1|\cdot|-3|\cdot|-5|\cdots\cdot|-2n+1|} \]

\[(-2n)\not\in \mathbb R \]

对于双阶乘有如下恒等式：

\[(2n)!!(2n-1)!!=(2n)! \]

\[(2n+1)!!(-2n-1)!!=(-1)^n(2n+1) \]

1. 形式幂级数的定义及基础运算(可略)

定义 形式幂级数(以下简称幂级数)为一个形如 \(a_0+a_1x+a_2x^2+\cdots\) 形式的表达式。(注意：这里只是形式，不需要在意它表示什么)，序列 \(\{a_n\}\) 称之为它的 系数序列。称两个幂级数 相等 当且仅当它们的系数序列相同。

为简便，记 \([x^n]f(x)\) 表示幂级数 \(f\) 的 \(n\) 次项系数。另外，也用 \(f(0)\) 表示 \(f\) 的 \(0\) 次项系数。

我们可以对其做一些运算，例如 加法 或 减法。其定义是：

\[\sum_na_nx^n\pm\sum_nb_nx^n=\sum_n(a_n\pm b_n)x^n \]

幂级数的乘法由卷积来定义，即：

\[\left(\sum_na_nx^n\right)\cdot\left(\sum_nb_nx^n\right)=\sum_n c_nx^n \]

其中

\[c_n=\sum_k a_kb_{n-k} \]

现在你可以验证其满足各种我们所熟知的规律，比如加法交换律、加法结合律、乘法交换/结合律、乘法分配律等等(因此它们构成了一个环)。这些都很简单。

等下，说好的四则运算呢？还差一个除法 \(\cdots\) 显然要定义除法，只需要定义逆元即 \(f^{-1}\)。但是有些幂级数是不可能有逆元的，比如首项系数为 \(0\) 的幂级数。事实上这也是充要条件，即

幂级数 \(f(x)=\sum_n a_nx^n\) 存在逆元当且仅当 \(a_0\neq 0\)

Proof：

必要性显然，因为若 \(a_0=0\) 那么 \(f\) 与任意幂级数的乘积的零次项系数都是 \(0\) .

设 \(f^{-1}=\sum_n b_nx^n\)，那么