差分

给定一个离散序列: $a_0,a_2,\cdots,a_n,\cdots$

零阶差分(原序列): $\Delta^0h_n=a_n$

一阶差分: $\Delta^1 h_n=a_{n+1}-a_n$

二阶差分: $\Delta^2 h_n=\Delta^1 h_{n+1}-\Delta^1 h_n=a_{n+2}-2\cdotp a_{n+1}+a_n$

三阶差分: $\Delta^3 h_n=\Delta^2 h_{n+1}-\Delta^2 h_n=a_{n+3}-3\cdotp a_{n+2}+3\cdotp a_{n+1}-a_n$

$p$阶差分: $\Delta^p h_n=\Delta^{p-1} h_{n+1}-\Delta^{p-1} h_n$

观察发现: $\Delta^p h_n=\sum\limits_{i=0}^p(-1)^{p-i}\cdotp C^i_p\cdotp a_{n+i}$

如果$a_{x}$是关于$x$的$k$次多项式, 即: $a_x=\sum\limits_{i=0}^kb_{i}\cdot x^i$

$\begin{align} \Delta^1h_x &=a_{x+1}-a_x\\ &=\sum\limits_{i=0}^kb_{i}\cdot (x+1)^i-\sum\limits_{i=0}^kb_{i}\cdot x^i\\ &=\sum\limits_{i=0}^kb_i\sum\limits_{j=0}^iC_i^j\cdot x^j-\sum\limits_{i=0}^kb_{i}\cdot x^i\\ &=\sum\limits_{j=0}^kx^j\sum\limits_{i=j}^kb_i\cdot C_i^j-\sum\limits_{i=0}^kb_{i}\cdot x^i\\ &=\sum\limits_{i=0}^kx^i\sum\limits_{j=i}^kb_j\cdot C_j^i-\sum\limits_{i=0}^kb_{i}\cdot x^i\\ &=\sum\limits_{i=0}^kx^i\cdotp\Big(\sum\limits_{j=i}^k(b_j\cdot C_j^i)-b_i\Big)\\ &=\sum\limits_{i=0}^{k-1}x^i\sum\limits_{j=i+1}^kC_j^i\cdot b_j\\ \end{align}$

定理1: $k$次多项式差分后为$k-1$次多项式

差分的线性叠加性: $h_{n}=\alpha\cdotp f_n+\beta\cdotp g_n$

$\begin{align}\Delta h_n&=\big(\alpha\cdotp f_{n+1}+\beta\cdotp g_{n+1}\big)-\big(\alpha\cdotp f_n+\beta\cdotp g_n\big)\\ &=\alpha\cdotp(f_{n+1}-f_{n})+\beta\cdotp(g_{n+1}-g_n)\\ &=\alpha\cdotp \Delta f_n+\beta\cdotp \Delta g_n\\ \end{align}$

---

对于一个$k$次多项式$a_x=\sum\limits_{i=0}^kb_{i}\cdot x^i$

已知它的$\Delta^0h_0, \Delta^1h_0, \Delta^2h_0,\cdots,\Delta^kh_0$

根据二项式反演:
已知: $f(n)=\sum\limits_{i=0}^n C_n^i\cdotp g(i)$, 则: $g(n)=\sum\limits_{i=0}^n(-1)^{n-i}\cdotp C_n^i\cdotp f(i)$

令: $g(n)=\Delta^n h_0=\begin{cases} \sum\limits_{i=0}^n(-1)^{n-i}\cdotp C^i_n\cdotp a_{i}\qquad(0\le n\le k)\\ 0\qquad(n>k)\\ \end{cases}$

反演得到: $f(n)=a_n=\sum\limits_{i=0}^n C_n^i\cdotp \Delta^i h_0=\sum\limits_{i=0}^{k}C_n^i\cdotp \Delta^i h_0$

---

考虑$k$次多项式$a_i$的前$n$项和$s_n=\sum\limits_{i=0}^na_i$
$s_n=\sum\limits_{i=0}^na_i=\sum\limits_{i=0}^n\sum\limits_{j=0}^{k}C_i^j\cdotp \Delta^j h_0=\sum\limits_{j=0}^k\Delta^j h_0\sum\limits_{i=0}^nC_i^j$

$\sum\limits_{i=0}^nC_i^m=C_{n+1}^{m+1}\qquad$(数学归纳法可证明)

$s_n=\sum\limits_{j=0}^k\Delta^j h_0\sum\limits_{i=0}^nC_i^j=\sum\limits_{j=0}^k\Delta^j h_0\cdotp C_{n+1}^{j+1}=\sum\limits_{i=0}^{k}C_{n+1}^{i+1}\cdotp \Delta^i h_0$