《具体数学》学习笔记: 2.和式(上)

《具体数学》学习笔记: 2.和式(上)

序言:
第二章—和式的内容较多也较杂，因此将分成两篇记录。

2.1 和式和递归式(Sum and Recurrences)
首先回顾上一章汉诺塔的递归式
$$\begin{array}{rl}& T_0=0;\\ & T_n=2T_{n-1}+1,n>0;\end{array}$$

1. 数学归纳法：

根据递推关系式中，我们可以得到$T_1=1,T_2=3,T_3=7,....$由此可以猜测到$T_n=2^n-1$，然后利用数学归纳法进行证明即可。

2. 配置等比数列：

改写递归式
$$T_n+1=2(T_{n-1}+1),n>0;$$
由此便有
$$\begin{array}{rl}& T_0+1=1\\ & T_n+1=2^n,n>0;\end{array}$$
即 $T_n=2^n-1(n\ge 0)$.

3. 化成和式：

对递归式两边同除 $2^n$，得到
$$\begin{array}{rl}& T_0/2^0=0;\\ & T_n/2^n=T_{n-1}/2^{n-1}+1/2^n,n>0;\end{array}$$
命 $S_n=T_n/2^n$, 可以得到
$$S_n=\sum _{k=1}^n\frac{1}{2^k}=1-\frac{1}{2^n}$$
于是
$$T_n=2^n{S}_n=2^n-1,n\ge 0$$

• 拓展

方法3.的思路可以进行拓展，对于形如
$$a_n{T}_n=b_n{T}_{n-1}+c_n$$
的递归式，我们选取一个合适的求和因子(summation factor) $s_n$ 乘两边
$$\begin{gathered} s_n{a}_n{T}_n=s_n{b}_n{T}_{n-1}+s_n{c}_n \\ \mathrm{a}\mathrm{n}\mathrm{d}{s}_n{b}_n=s_{n-1}{a}_{n-1} \end{gathered}$$
命 $s_n{a}_n{T}_n=S_n$, 则
$$S_n=S_{n-1}+s_n{c}_n$$
从而
$$\begin{gathered} S_n=s_0{a}_0{T}_0+\sum _{k=1}^n{s}_k{c}_k=s_1{b}_1{T}_0+\sum _{k=1}^n{s}_k{c}_k \\ {T}_n=\frac{1}{s_n{a}_n}{S}_n=\frac{1}{s_n{a}_n}[s_1{b}_1{T}_0+\sum _{k=1}^n{s}_k{c}_k] \end{gathered}$$
求和因子$s_n$，可以根据$s_n=s_{n-1}{a}_{n-1}/b_n$，解得
$$s_n=\frac{a_{n-1}{a}_{n-2}...a_1}{b_n{b}_{n-1}...b_2}$$

本书给出了关于快速排序(Quicksort)所做的比较步骤的平均次数的递归式
$$\begin{array}{rl}& C_0=C_1=0\\ & C_n=n+1+\frac{2}{n}\sum _{k=0}^{n-1}{C}_k,n>1\end{array}$$
化简的复杂步骤略去，最后使用方法3可以得到
$$C_n=2(n+1)\sum _{k=1}^n\frac{1}{k+1}-\frac{2}{3}(n+1),n>1$$
这里注意到一个重要的和式—调和数
$$H_n=1+\frac{1}{2}+...+\frac{1}{n}=\sum _{k=1}^n\frac{1}{k}$$
而
$$\sum _{k=1}^n\frac{1}{k+1}=H_n-1+\frac{1}{n+1}=H_n-\frac{n}{n+1}$$

2.2 扰动法(Perturbation Method)
将和式的单独一项从分离出去，是得出和式封闭形式的一个重要手段，称为扰动法。对于一个标准的和式
$$S_n=\sum _{0\le k\le n}{a}_k$$
可以得到
$$S_{n+1}=S_n+a_{n+1}=a_0+\sum _{0\le k\le n}{a}_{k+1}$$

尝试用之解决几何级数(等比数列和)，即
$$S_n=\sum _{0\le k\le n}a{x}^k$$
则
$$S_n+a{x}^{n+1}=a+x\sum _{0\le k\le n}a{x}^k=a+x{S}_n$$
移项直接得到
$$S_n=\frac{a-a{x}^{n+1}}{1-x},x̸=1$$
进一步地，我们还可以用扰动法求$S_n={\sum }_{0\le k\le n}k{x}^k$，或者乘数为 $k$ 的更高次幂的和式.