一个等差×等比数列连加式

背景

今天在做数字信号处理作业的时候，发现了这样的一种连加式。我们在高中学习了如何计算等比数列，那我们再引申一些，得到下面的一个数列。
  假如存在这么一个通项$a_n=n^m{q}^n$，我们定义一个连加式如下：$S_n={\sum }_{n=0}^{N_0-1}{a}_n$，这种问题应该如何解决呢？

引言

我们简要介绍一个公式，也很简单，如下：$n^m-(n-1{)}^m=C_m^1{n}^{m-1}+C_m^2{n}^{m-2}(-1{)}^1+C_m^3{n}^{m-3}(-1{)}^2+\cdots +C_m^m{n}^0(-1{)}^{m-1}$
我们在计算连加式的时候，要利用等比数列的计算思想，对不相等的系数呢，最好给它化成相等的数。我在这里列一个表格。我们定义一种标记如下：$S_n^i={\sum }_{n=1}^{N_0-1}{n}^i{q}^n$。并且在计算$S_n^m$的时候，假定$S_n^{m-1},S_n^{m-2}\dots S_n^0$都已知。我们可以推出一个递推式，这个递推式是由$S_n^{m-1},S_n^{m-2}\dots S_n^0$组成。我们先来看下面的这个式子。
$S_n^m=q+2^m{q}^2+3^m{q}^3\cdots +(N_0-1{)}^m{q}^{N_0-1}$，我们把它们的系数全部写下来，看看有什么特征。

$1q$	$2^m{q}^2$	$3^m{q}^3$	$\dots$	$(N_0-1{)}^m{q}^{N_0-1}$

我们尽可能地去利用等比数列的求和公式，所以我们进行如下的展开。

$1q$	$1q^2$	$1q^3$	$\dots$	$1q^{N_0-1}$
$0$	$(2^m-1)q^2$	$(2^m-1)q^3$	$\dots$	$(2^m-1)q^{N_0-1}$
$0$	$0$	$(3^m-2^m)q^3$	$\dots$	$(3^m-2^m)q^{N_0-1}$
$0$	$0$	$0$	$\dots$	$(4^m-3^m)q^{N_0-1}$
$\dots$	$\dots$	$\dots$	$\dots$	$\dots$
$0$	$0$	$0$	$\dots$	$((N_0-1{)}^m-(N_0-2{)}^m)q^{N_0-1}$

我们知道，一个等比数列的求和公式只与首项和尾项以及公比有关。从上述展开式中，我们可以从中发现$(N_0-1)$个等比数列的求和。它们的和分别如下：$\frac{q-q^{N_0}}{1-q}$，$(2^m-1)\frac{q^2-q^{N_0}}{1-q}$，$(3^m-2^m)\frac{q^3-q^{N_0}}{1-q}$$\dots$$((N_0-1{)}^m-(N_0-2{)}^m)\frac{q^{N_0-1}-q^{N_0}}{1-q}$，而$S_n^m$就是前面一系列式子的和。我们加到一起会发现如下的式子：$S_n^m=\frac{q+(2^m-1)q^2+(3^m-2^m)q^3+\cdots +(N_0-1{)}^m-(N_0-2{)}^m)q^{N_0-1}}{1-q}-\frac{(N_0-1{)}^m{p}^{N_0}}{1-q}$，这个时候，我们的工作重心就转移到解前一段很长的式子之和上，我们发现：$n^m-(n-1{)}^m=C_m^1{n}^{m-1}+C_m^2{n}^{m-2}(-1{)}^1+C_m^3{n}^{m-3}(-1{)}^2+\cdots +C_m^m{n}^0(-1{)}^{m-1}$，这就意味着我们可以将第一部分式子中的系数给再次展开，可以得到如下的式子：$q+(2^m-1)q^2+(3^m-2^m)q^3+\cdots +(N_0-1{)}^m-(N_0-2{)}^m)q^{N_0-1}=C_m^1(-1{)}^0(1^{m-1}q+2^{m-1}{q}^2+3^{m-1}{q}^3+\cdots +(N_0-1{)}^{m-1}{q}^{N_0-1})+C_m^2(-1{)}^1(1^{m-2}q+2^{m-2}{q}^2+3^{m-2}{q}^3+\cdots +(N_0-1{)}^{m-2}{q}^{N_0-1})+C_m^3(-1{)}^2(1^{m-3}q+2^{m-3}{q}^2+3^{m-3}{q}^3+\cdots +(N_0-1{)}^{m-3}{q}^{N_0-1})+\cdots +C_m^m(-1{)}^{m-1}(1^{0}q+2^0{q}^2+3^0{q}^3+\cdots +(N_0-1{)}^0{q}^{N_0-1})$幸运地是这个式子仍然是可以简化的，我们简化得到下面的形式：${\sum }_{k=1}^m{C}_m^k(-1{)}^{k-1}{S}_n^{m-k}$，那我们再回到上面的式子，我们可以得到如下的式子：$S_n^m=\frac{{\sum }_{k=1}^m{C}_m^k(-1{)}^{k-1}{S}_n^{m-k}}{1-q}-\frac{(N_0-1{)}^m{p}^{N_0}}{1-q}$，那我们就可以得知，在假定$S_n^{m-1},S_n^{m-2}\dots S_n^0$都已知的情况下，我们可以推出$S_n^m$的值。

尾声

又发现了一个小东西，迫不及待地发出来博各位看官一乐…