2.1 记号
本小节引入了和式的记号
∑
\sum
∑
具体有:
-
∑
k
=
1
n
a
k
\displaystyle\sum_{k=1}^n a_k
k=1∑nak
表示 a 1 + a 2 + . . . + a n a_1+a_2 + ...+ a_n a1+a2+...+an - 还可以写成一般形式
∑ 1 ⩽ k ⩽ n a k \sum_{\mathclap{1\leqslant k \leqslant n}} a_{k} 1⩽k⩽n∑ak
一般形式允许对不连续的整数进行求和,好处是便于处理指标变换.
- 艾弗森约定:
对于
∑ k a k [ p ( k ) ] \sum_k a_k[p(k)] k∑ak[p(k)]
如果 p ( k ) p(k) p(k)为假, 那么项 a k [ p ( k ) ] a_k[p(k)] ak[p(k)]等于零.
2.2 和式和递归式
和式和递归式之间存在着密切的关系.
和式
s n = ∑ k = 0 n a k s_n = \sum_{k=0}^n a_k sn=k=0∑nak
等价于递归式
S 0 = a 0 ; S n = S n − 1 + a n , n > 0 ; \begin{aligned} S_0 &= a_0;\\ S_n &= S_{n-1} + a_n, n>0; \end{aligned} S0Sn=a0;=Sn−1+an,n>0;
于是通过上一章的成套方法可以顺利的求出它的封闭形式解为
S
n
=
a
(
n
+
1
)
+
b
(
n
+
1
)
n
/
2
S_n = a(n+1)+b(n+1)n/2
Sn=a(n+1)+b(n+1)n/2
许多递归式也可以转化成为和式.
递归式转成和式的思想是用一个求和因子
S
n
S_n
Sn来乘于两边.
对于任何形如
(2.9) a n T n = b n T n − 1 + C n \tag{2.9} a_nT_n = b_nT_{n-1} + C_n anTn=bnTn−1+Cn(2.9)
的递归式,都可以转化为:
s n a n T n = s n b n T n − 1 + s n C n s_na_nT_n = s_nb_nT_{n-1} + s_nC_n snanTn=snbnTn−1+snCn
只需要想办法让
s n b n = s n − 1 a n − 1 s_nb_n = s_{n-1}a_{n-1} snbn=sn−1an−1
(2.9)就可以变成
S n = S n − 1 + s n C n S_n= S_{n-1}+ s_nC_n Sn=Sn−1+snCn
从而
S n = s 0 a 0 T 0 + ∑ k = 1 n s k c k ∵ s 0 a 0 = s 1 b 1 ∴ S n = s 1 b 1 T 0 + ∑ k = 1 n s k c k \begin{aligned} S_n &= s_0a_0T_0 + \sum_{k=1}^n s_kc_k \\ \because s_0a_0 &= s_1b_1\\ \therefore S_n&= s_1b_1T_0 + \sum_{k=1}^n s_kc_k \end{aligned} Sn∵s0a0∴Sn=s0a0T0+k=1∑nskck=s1b1=s1b1T0+k=1∑nskck
而原来的(2.9)就变成了
a n T n = b n T n − 1 + C n s n a n T n = s n b n T n − 1 + s n C n . . . . 两 边 同 时 乘 于 s n s n a n T n = s 1 b 1 T 0 + ∑ k = 1 n s k c k . . . . 转 换 成 和 式 T n = s 1 b 1 T 0 + ∑ k = 1 n s k c k s n a n \begin{aligned} a_nT_n &= b_nT_{n-1} + C_n\\ s_na_nT_n &= s_nb_nT_{n-1} + s_nC_n....{\footnotesize两边同时乘于}s_n\\ s_na_nT_n &=s_1b_1T_0 + \sum_{k=1}^n s_kc_k ....{\footnotesize转换成和式}\\ T_n &= \frac{s_1b_1T_0 + \displaystyle \sum_{k=1}^n s_kc_k}{s_na_n} \end{aligned} anTnsnanTnsnanTnTn=bnTn−1+Cn=snbnTn−1+snCn....两边同时乘于sn=s1b1T0+k=1∑nskck....转换成和式=snans1b1T0+k=1∑nskck
当 n = 1 n=1 n=1时,
T 1 = s 1 b 1 T 0 + s 1 c 1 s 1 a 1 = b 1 T 0 + c 1 a 1 T_1= \frac{s_1b_1T_0 + s_1c_1}{s_1a_1} = \frac{b_1T_0 + c_1}{a_1} T1=s1a1s1b1T0+s1c1=a1b1T0+c1
这时
s
1
s_1
s1不见了,也就是它可以等于除了0
以外的任何值
s n = s n − 1 a n − 1 b n s_n=\frac{s_{n-1}a_{n-1}}{b_n} sn=bnsn−1an−1
可以被展开成
s n = a n − 1 a n − 1 ⋯ a 1 b n b n − 1 ⋯ b 2 s_n= \frac{a_{n-1}a_{n-1} \cdots a_1}{b_nb_{n-1}\cdots b_2} sn=bnbn−1⋯b2an−1an−1⋯a1
之所以分子终止于 b 2 b_2 b2, 是因为在 T 1 T_1 T1中, s 1 s_1 s1的值不见了.只要不为零就行.因此 s n s_n sn的最小值只需要求解到 s 2 s_2 s2
只要所有的 a a a和所有的 b b b都不为零, 那么求和因子方法就能奏效.
2.3 和式的处理
- 本小节介绍了几个公式,以及扰动法
成功处理和式的关机在于,将一个 Σ \Sigma Σ改变成另一个更简单的,或者更接近某个目标的 Σ \Sigma Σ
分配律:
运用分配律我们就能把常数移入或者移出 Σ \Sigma Σ
(2.15) ∑ k ∈ K c a k = c ∑ k ∈ K a k ; \tag{2.15} \sum_{k \in K}ca_k = c\sum_{k\in K}a_k; k∈K∑cak=ck∈K∑ak;(2.15)
结合律:
运用结合律,我们就可以把一个 Σ \Sigma Σ分成两个部分,或者将两个 Σ \Sigma Σ组合成一个
(2.16) ∑ k ∈ K ( a k + b k ) = ∑ k ∈ K a k + ∑ k ∈ K b k ; \tag{2.16} \sum_{k \in K} (a_k + b_k) = \sum_{k \in K}a_k + \sum_{k \in K} b_k; k∈K∑(ak+bk)=k∈K∑ak+k∈K∑bk;(2.16)
交换律:
运用交换律,我们可以按照意愿采用的任何方式来重新将求和项排序. 这里的 p ( k ) p(k) p(k)是所有整数集合中的任意一个排列.
(2.17) ∑ k ∈ K a k = ∑ p ( k ) ∈ K a p ( k ) \tag{2.17} \sum_{k \in K} a_k = \sum_{p(k) \in K}a_{p(k)} k∈K∑ak=p(k)∈K∑ap(k)(2.17)
扰动法:
把一项分出去的运算是扰动法的基础.利用扰动法常常可以用封闭形式来计算一个和式.
S n = ∑ 0 ⩽ k ⩽ n a k S n + a n + 1 = ∑ 0 ⩽ k ⩽ n + 1 a k = a 0 + ∑ 1 ⩽ k ⩽ n + 1 a k = a 0 + ∑ 1 ⩽ k + 1 ⩽ n + 1 a k + 1 = a 0 + ∑ 0 ⩽ k ⩽ n a k + 1 \begin{aligned} S_n &= \sum_{0\leqslant k \leqslant n } a_k\\ S_n + a_{n+1} &=\sum_{0\leqslant k \leqslant n+1 } a_k \\ &= a_0 + \sum_{1\leqslant k \leqslant n+1 }a_k \\ &=a_0 + \sum_{1\leqslant k+1 \leqslant n+1 }a_{k+1} \\ &=a_0 + \sum_{0\leqslant k \leqslant n }a_{k+1} \\ \end{aligned} SnSn+an+1=0⩽k⩽n∑ak=0⩽k⩽n+1∑ak=a0+1⩽k⩽n+1∑ak=a0+1⩽k+1⩽n+1∑ak+1=a0+0⩽k⩽n∑ak+1
如果可以用 S n S_n Sn表示最后的那个和式,就可以得到一个方程. 它的解就是我们所求的和式.
2.4 多重和式
多重和式
∑ i ⩽ j , k ⩽ 3 a j b k = a 1 b 1 + a 1 b 2 + a 1 b 3 + a 2 b 1 + a 2 b 2 + a 2 b 3 + a 3 b 1 + a 3 b 2 + a 3 b 3 + ∑ i ⩽ j , k ⩽ 3 a j b k = ( ∑ j = 1 3 a j ) ( ∑ k = 1 3 b k ) \begin{aligned} \sum_{i \leqslant j, k \leqslant 3} a_j b_k = a_1b_1+a_1b_2+a_1b_3+a_2b_1+a_2b_2+a_2b_3+a_3b_1+a_3b_2+a_3b_3+ \end{aligned} \\ \sum_{i \leqslant j, k \leqslant 3} a_j b_k = (\sum^3_{j=1}a_j)(\sum_{k=1}^3 b_k) i⩽j,k⩽3∑ajbk=a1b1+a1b2+a1b3+a2b1+a2b2+a2b3+a3b1+a3b2+a3b3+i⩽j,k⩽3∑ajbk=(j=1∑3aj)(k=1∑3bk)
对于多重和式,可以使用交换求和顺序.
(2.27) ∑ j ∑ k a j , k p [ ( j , k ) ] = ∑ p ( j , k ) a j , k = ∑ k ∑ j a j , k p [ ( j , k ) ] \tag{2.27} \sum_j\sum_k a_{j,k}p[(j,k)] = \sum_{p(j,k)}a_{j,k} = \sum_k\sum_j a_{j,k}p[(j,k)] j∑k∑aj,kp[(j,k)]=p(j,k)∑aj,k=k∑j∑aj,kp[(j,k)](2.27)
交换顺序(2.27)有两类变形
- 简易型:
(2.29) ∑ j ∈ J ∑ k ∈ K a j b k = ∑ k ∈ K ∑ j ∈ J a j b k \tag{2.29} \sum_{j \in J}\sum_{k \in K} a_j b_k = \sum_{k \in K}\sum_{j \in J} a_j b_k j∈J∑k∈K∑ajbk=k∈K∑j∈J∑ajbk(2.29)
- 复杂性
(2.30) ∑ j ∈ J ∑ k ∈ K ( j ) a j b k = ∑ k ∈ K ′ ∑ j ∈ J ′ ( k ) a j b k \tag{2.30} \sum_{j \in J}\sum_{k \in K(j)} a_j b_k = \sum_{k \in K'}\sum_{j \in J'(k)} a_j b_k j∈J∑k∈K(j)∑ajbk=k∈K′∑j∈J′(k)∑ajbk(2.30)
切比雪夫单调不等式
这个书中仍然只是一笔点过, 百度一下补充知识.
切比雪夫单调不等式可以比较两组数积的和及两组数的线性和的积的大小
( ∑ k = 1 n a k ) ( ∑ k = 1 n b k ) ⩽ n ∑ k = 1 n a k b k , a 1 ⩽ . . . ⩽ a n 且 b 1 ⩽ . . . ⩽ b n ( ∑ k = 1 n a k ) ( ∑ k = 1 n b k ) ⩾ n ∑ k = 1 n a k b k , a 1 ⩽ . . . ⩽ a n 且 b 1 ⩾ . . . ⩾ b n \bigg( \sum_{k=1}^n a_k\bigg) \bigg(\sum_{k=1}^n b_k\bigg) \leqslant n\sum_{k=1}^n a_k b_k , a_1 \leqslant... \leqslant a_n 且 b_1\leqslant ... \leqslant b_n\\ \bigg( \sum_{k=1}^n a_k\bigg) \bigg(\sum_{k=1}^n b_k\bigg) \geqslant n\sum_{k=1}^n a_k b_k , a_1 \leqslant... \leqslant a_n 且 b_1\geqslant ... \geqslant b_n\\\\ (k=1∑nak)(k=1∑nbk)⩽nk=1∑nakbk,a1⩽...⩽an且b1⩽...⩽bn(k=1∑nak)(k=1∑nbk)⩾nk=1∑nakbk,a1⩽...⩽an且b1⩾...⩾bn
证明:
假设有和式
S
=
∑
1
⩽
j
<
k
⩽
n
(
a
k
−
a
j
)
(
b
k
−
b
j
)
S=\sum_{1 \leqslant j < k \leqslant n}(a_k-a_j)(b_k-b_j)
S=1⩽j<k⩽n∑(ak−aj)(bk−bj)
当交换j和k时, 仍然有对称性
S = ∑ 1 ⩽ k < j ⩽ n ( a j − a k ) ( b j − b k ) = ∑ 1 ⩽ k < j ⩽ n ( a k − a j ) ( b k − b j ) \begin{aligned} S&=\sum_{1 \leqslant k < j \leqslant n}(a_j-a_k)(b_j-b_k)\\ &=\sum_{1 \leqslant k < j \leqslant n}(a_k-a_j)(b_k-b_j)\\ \end{aligned} \\ S=1⩽k<j⩽n∑(aj−ak)(bj−bk)=1⩽k<j⩽n∑(ak−aj)(bk−bj)
在矩阵的例子中可以看到:
[ 1 ⩽ j < k ⩽ n ] + [ 1 ⩽ k < j ⩽ n ] = [ 1 ⩽ j , k ⩽ n ] − [ 1 ⩽ j = k ⩽ n ] [1\leqslant j<k\leqslant n] + [1\leqslant k<j\leqslant n] = [1\leqslant j, k \leqslant n]-[1 \leqslant j=k \leqslant n] [1⩽j<k⩽n]+[1⩽k<j⩽n]=[1⩽j,k⩽n]−[1⩽j=k⩽n]
即相当于矩阵的全部元素扣去对角线上的元素.
2 S = ∑ 1 ⩽ j < k ⩽ n ( a k − a j ) ( b k − b j ) + ∑ 1 ⩽ k < j ⩽ n ( a k − a j ) ( b k − b j ) = ∑ 1 ⩽ j , k ⩽ n ( a j − a k ) ( b j − b k ) − ∑ 1 ⩽ j = k ⩽ n ( a j − a k ) ( b j − b k ) ∵ ∑ 1 ⩽ j = k ⩽ n ( a j − a k ) ( b j − b k ) = 0 ∴ 2 S = ∑ 1 ⩽ j , k ⩽ n ( a j − a k ) ( b j − b k ) = ∑ 1 ⩽ j , k ⩽ n a j b j − ∑ 1 ⩽ j , k ⩽ n a j b k − ∑ 1 ⩽ j , k ⩽ n a k b j + ∑ 1 ⩽ j , k ⩽ n a k b k = 2 ∑ 1 ⩽ j , k ⩽ n a k b k − 2 ∑ 1 ⩽ j , k ⩽ n a j b k = 2 ∑ 1 ⩽ k ⩽ n ∑ 1 ⩽ j ⩽ n a k b k − 2 ∑ 1 ⩽ j , k ⩽ n a j b k = 2 ∑ 1 ⩽ k ⩽ n a k b k ∑ 1 ⩽ j ⩽ n 1 − 2 ∑ 1 ⩽ j ⩽ n a j b k = 2 n ∑ 1 ⩽ k ⩽ n a k b k − 2 ∑ 1 ⩽ j , k ⩽ n a j b k = 2 n ∑ 1 ⩽ k ⩽ n a k b k − 2 ( ∑ 1 ⩽ k n a k ) ( ∑ 1 ⩽ k n b k ) ∴ S = n ∑ 1 ⩽ k ⩽ n a k b k − ( ∑ 1 ⩽ k n a k ) ( ∑ 1 ⩽ k n b k ) ∴ ∑ 1 ⩽ k < j ⩽ n ( a j − a k ) ( b j − b k ) = n ∑ 1 ⩽ k ⩽ n a k b k − ( ∑ 1 ⩽ k n a k ) ( ∑ 1 ⩽ k n b k ) \begin{aligned} &\\ 2S&= \sum_{1 \leqslant j < k \leqslant n}(a_k-a_j)(b_k-b_j) +\sum_{1 \leqslant k < j \leqslant n}(a_k-a_j)(b_k-b_j)\\ &=\sum_{1\leqslant j, k \leqslant n}(a_j - a_k)(b_j-b_k) - \sum_{1 \leqslant j=k \leqslant n}(a_j - a_k)(b_j-b_k) \\ \because & \sum_{1 \leqslant j=k \leqslant n}(a_j - a_k)(b_j-b_k) =0\\ \therefore 2S &= \sum_{1\leqslant j, k \leqslant n}(a_j - a_k)(b_j-b_k) \\ &= \sum_{1\leqslant j, k \leqslant n}a_jb_j - \sum_{1\leqslant j, k \leqslant n}a_jb_k -\sum_{1\leqslant j, k \leqslant n}a_kb_j +\sum_{1\leqslant j, k \leqslant n}a_kb_k \\ &=2\sum_{1\leqslant j, k \leqslant n}a_kb_k- 2\sum_{1\leqslant j,k \leqslant n}a_jb_k\\ &=2\sum_{1\leqslant k \leqslant n}\sum_{1\leqslant j\leqslant n}a_kb_k -2\sum_{1\leqslant j,k \leqslant n}a_jb_k\\ &=2\sum_{1\leqslant k \leqslant n}a_kb_k\sum_{1\leqslant j \leqslant n}1 -2\sum_{1\leqslant j \leqslant n}a_jb_k\\ &=2n\sum_{1\leqslant k \leqslant n}a_kb_k -2\sum_{1\leqslant j,k \leqslant n}a_jb_k\\ &=2n\sum_{1\leqslant k \leqslant n}a_kb_k -2\big(\sum_{1\leqslant k}^na_k\big)(\sum_{1\leqslant k}^nb_k\big)\\ \therefore S&=n\sum_{1\leqslant k \leqslant n}a_kb_k -\big(\sum_{1\leqslant k}^na_k\big)(\sum_{1\leqslant k}^nb_k\big)\\ \therefore \sum_{1 \leqslant k < j \leqslant n}(a_j-a_k)(b_j-b_k) \\ &= n\sum_{1\leqslant k \leqslant n}a_kb_k -\big(\sum_{1\leqslant k}^na_k\big)(\sum_{1\leqslant k}^nb_k\big)\\ \end{aligned} \\ 2S∵∴2S∴S∴1⩽k<j⩽n∑(aj−ak)(bj−bk)=1⩽j<k⩽n∑(ak−aj)(bk−bj)+1⩽k<j⩽n∑(ak−aj)(bk−bj)=1⩽j,k⩽n∑(aj−ak)(bj−bk)−1⩽j=k⩽n∑(aj−ak)(bj−bk)1⩽j=k⩽n∑(aj−ak)(bj−bk)=0=1⩽j,k⩽n∑(aj−ak)(bj−bk)=1⩽j,k⩽n∑ajbj−1⩽j,k⩽n∑ajbk−1⩽j,k⩽n∑akbj+1⩽j,k⩽n∑akbk=21⩽j,k⩽n∑akbk−21⩽j,k⩽n∑ajbk=21⩽k⩽n∑1⩽j⩽n∑akbk−21⩽j,k⩽n∑ajbk=21⩽k⩽n∑akbk1⩽j⩽n∑1−21⩽j⩽n∑ajbk=2n1⩽k⩽n∑akbk−21⩽j,k⩽n∑ajbk=2n1⩽k⩽n∑akbk−2(1⩽k∑nak)(1⩽k∑nbk)=n1⩽k⩽n∑akbk−(1⩽k∑nak)(1⩽k∑nbk)=n1⩽k⩽n∑akbk−(1⩽k∑nak)(1⩽k∑nbk)
这样我们就得到了切比雪夫不等式的一个特例.
(2.34) ∴ ( ∑ 1 ⩽ k n a k ) ( ∑ 1 ⩽ k n b k ) = n ∑ 1 ⩽ k ⩽ n a k b k − ∑ 1 ⩽ k < j ⩽ n ( a j − a k ) ( b j − b k ) \tag{2.34} \begin{aligned} \therefore \big(\sum_{1\leqslant k}^na_k\big)(\sum_{1\leqslant k}^nb_k\big)&=n\sum_{1\leqslant k \leqslant n}a_kb_k -\sum_{1 \leqslant k < j \leqslant n}(a_j-a_k)(b_j-b_k) \end{aligned} ∴(1⩽k∑nak)(1⩽k∑nbk)=n1⩽k⩽n∑akbk−1⩽k<j⩽n∑(aj−ak)(bj−bk)(2.34)
2.5一般性的方法
- 方法0: 查找公式
与本书的精神不一致. - 方法1: 猜测答案,用归纳法证明之
它仍然不是我们想要寻找的方法. - 方法2: 对和式使用扰动法
- 方法3: 建立成套方法
- 方法4: 用积分替换和式
- 方法5: 展开和收缩
- 方法6: 用有限微积分
- 方法7: 用生成函数
2.6 有限微积分和无限微积分
下降阶乘幂
读成" x x x直降 m m m次"
(2.43) x m ‾ = x ( x − 1 ) . . . ( x − m + 1 ) ⏞ m个因子 \tag{2.43} x^{\underline{m}} = \overbrace{x(x-1)...(x-m+1)}^{\text{m个因子}} xm=x(x−1)...(x−m+1) m个因子(2.43)
上升阶乘幂
读成" x x x直升 m m m次"
(2.44) x m ‾ = x ( x + 1 ) . . . ( x + m − 1 ) ⏞ m个因子 \tag{2.44} x^{\overline{m}} = \overbrace{x(x+1)...(x+m-1)}^{\text{m个因子}} xm=x(x+1)...(x+m−1) m个因子(2.44)
(2.45) Δ ( x m ‾ ) = ( x + 1 ) m ‾ − x m ‾ = m x m − 1 ‾ \tag{2.45}\\ \begin{aligned} \Delta(x^{\underline{m}}) &= (x+1)^{\underline{m}} -x^{\underline{m}} \\ &= mx^{\underline{m-1}} \end{aligned} Δ(xm)=(x+1)m−xm=mxm−1(2.45)
(2.46) g ( x ) = Δ f ( x ) 当 且 仅 当 ∑ g ( x ) δ x = f ( x ) + C \tag{2.46}\\ g(x) = \Delta f(x) {\footnotesize当且仅当} \sum g(x)\delta x=f(x) +C g(x)=Δf(x)当且仅当∑g(x)δx=f(x)+C(2.46)
(2.47)
∑
a
b
g
(
x
)
δ
(
x
)
=
f
(
x
)
∣
a
b
=
f
(
b
)
−
f
(
a
)
\tag{2.47} \textstyle \sum^b_ag(x)\delta(x)=\left. f(x) \right| ^b _a = f(b) - f(a)
∑abg(x)δ(x)=f(x)∣ab=f(b)−f(a)(2.47)
当
a
a
a和
b
b
b是整数且
b
⩾
a
b\geqslant a
b⩾a时,
∑
a
b
g
(
x
)
δ
(
x
)
\textstyle \sum^b_ag(x)\delta(x)
∑abg(x)δ(x)的切确含义是:
(2.48)
∑
a
b
g
(
x
)
δ
(
x
)
=
∑
k
=
a
b
−
1
g
(
x
)
=
∑
a
⩽
k
<
b
g
(
k
)
,
整
数
b
⩾
a
.
\tag{2.48} \textstyle \sum^b_ag(x)\delta(x)=\displaystyle \sum_{k=a}^{b-1}g(x) = \sum_{a \leqslant k < b} g(k), \footnotesize 整数b \geqslant a.
∑abg(x)δ(x)=k=a∑b−1g(x)=a⩽k<b∑g(k),整数b⩾a.(2.48)
接下来出现一个匪夷所思,叹为观止的公式:
(2.50)
∑
0
⩽
k
<
n
k
m
‾
=
k
m
+
1
‾
m
+
1
∣
0
m
=
n
m
+
1
‾
(
m
+
1
)
\tag{2.50} \sum_{0 \leqslant k < n} k^{\underline m} = \left.{k^{\underline{m+1}}} \over {m+1} \right | ^m _0 = \frac {n^{\underline{m+1}}} {(m+1)}
0⩽k<n∑km=m+1km+1∣∣∣∣0m=(m+1)nm+1(2.50)
这是因为
∑
0
⩽
k
<
n
k
m
‾
=
∑
0
n
k
m
‾
δ
(
x
)
.
.
.
.
.
.
.
(
2.48
)
=
f
(
x
)
∣
0
n
.
.
.
.
.
.
.
(
2.47
)
=
k
m
+
1
‾
m
+
1
∣
0
m
.
.
.
.
.
.
.
(
2.46
)
=
n
m
+
1
‾
(
m
+
1
)
−
0
.
.
.
.
.
.
.
(
2.47
)
\begin{aligned} &\sum_{0 \leqslant k < n} k^{\underline m} \\ = & \textstyle \sum^n_0k^{\underline m}\delta(x)&.......(2.48)\\ = & \left. f(x) \right | ^n _0 &.......(2.47)\\ = &\left.{k^{\underline{m+1}}} \over {m+1} \right | ^m _0 &.......(2.46)\\ = &\frac {n^{\underline{m+1}}} {(m+1)} - 0 &.......(2.47)\\ \end{aligned}
====0⩽k<n∑km∑0nkmδ(x)f(x)∣0nm+1km+1∣∣∣∣0m(m+1)nm+1−0.......(2.48).......(2.47).......(2.46).......(2.47)
(2.50)也暗示了对于范围
0
⩽
k
<
n
0\leqslant k <n
0⩽k<n求和要比对范围
0
⩽
k
⩽
n
0\leqslant k \leqslant n
0⩽k⩽n更简单. 前者等于
f
(
n
)
−
f
(
0
)
=
f
(
n
)
f(n)-f(0) = f(n)
f(n)−f(0)=f(n)
后者必须计算成
f
(
n
+
1
)
−
f
(
1
)
f(n+1)-f(1)
f(n+1)−f(1)
x 0 ‾ = 1 x 1 ‾ = x x 2 ‾ = x ( x − 1 ) x 3 ‾ = x ( x − 2 ) ( x − 1 ) \begin{aligned} x^{\underline 0} &= 1\\ x^{\underline 1} &= x\\ x^{\underline 2} &= x(x-1)\\ x^{\underline 3} &= x(x-2)(x-1)\\ \end{aligned} x0x1x2x3=1=x=x(x−1)=x(x−2)(x−1)
练手一下
∑ 0 ⩽ k < n k = ∑ 0 ⩽ k < n k 1 ‾ = n 1 + 1 ‾ ( 1 + 1 ) = n 2 ‾ 2 = n ( n − 1 ) 2 \begin{aligned} &\sum_{0 \leqslant k < n} k \\ =&\sum_{0 \leqslant k < n} k^{\underline 1}\\ =& \frac {n^{\underline{1+1}}} {(1+1)} \\ =&n^{\underline 2} \over {2}\\ =&{n(n-1) \over 2} \end{aligned} ====0⩽k<n∑k0⩽k<n∑k1(1+1)n1+12n22n(n−1)
x − 1 ‾ = 1 x + 1 x − 2 ‾ = 1 ( x + 1 ) ( x + 2 ) x − 3 ‾ = 1 ( x + 1 ) ( x + 2 ) ( x + 3 ) \begin{aligned} x^{\underline {-1}} &= {1 \over x+1} \\ x^{\underline {-2}} &= {1 \over (x+1)(x+2)} \\ x^{\underline {-3}} &= {1 \over (x+1)(x+2)(x+3)}\\ \end{aligned} x−1x−2x−3=x+11=(x+1)(x+2)1=(x+1)(x+2)(x+3)1
也就是
(2.51) x − m ‾ = 1 ( x + 1 ) ( x + 2 ) . . . ( x + m ) , m > 0 \tag{2.51} x^{\underline {-m}} = {1 \over (x+1)(x+2)...(x+m)},m>0 x−m=(x+1)(x+2)...(x+m)1,m>0(2.51)
(2.52) x m + n ‾ = x m ‾ ( x − m ) n ‾ \tag{2.52} x^{\underline {m+n}} = x^{\underline {m}}(x-m)^{\underline n} xm+n=xm(x−m)n(2.52)
下降幂和式的完整描述
(2.53)
∑
a
b
x
m
‾
δ
x
=
{
x
m
+
1
‾
m
+
1
∣
a
b
,
m
̸
=
1
,
H
x
∣
a
b
,
m
=
−
1.
\tag{2.53} \sum^b_ax^{\underline m}\delta x = \left \{ \begin{array}{cc} \begin{aligned} &\left. {x^{\underline {m+1}} \over m+1} \right|^b_a, &m \not =1,\\ &\left. H_x \right|^b_a, &m = -1. \end{aligned} \end{array} \right.
a∑bxmδx=⎩⎪⎪⎨⎪⎪⎧m+1xm+1∣∣∣∣ab,Hx∣ab,m̸=1,m=−1.(2.53)