《具体数学》第二章个人笔记

• 和式

  • 怎么求和？
    • 成套方法：见第一章。
    • 求和因子法：P23. 选择一个求和因子$s_n$，左右两式与之相乘，然后做一些变量代换，让原有递归和式变成一个$S_n=S_{n-1}+c_n$的形式，转换成求${\sum }_{i=1}^n{c}_n$的问题。
    • 扰动法：将单独一项分出去，例如处理几何级数。
  • 指标交换：对于指标集P上的有限和式，只要保证f是P到P的一个一一对应，即可进行交换。

• 差分和有限微积分

  • 差分算子$△$, $△f=f(x+1)-f(x)$

    • 下令$g=△f$

  • 类比积分，形如${\sum }_l^{h}g(x)\delta x={\sum }_{x=l}^{h-1}g(x)=f(h)-f(l)$，可从中间式推出右侧。

  • 分部求和

    • $Eu(x):=u(x+1)$，有$△u=Eu-u$

    • $△(uv):=EuEv-uv=EuEv-Euv+Euv-uv=Eu(Ev-v)+v(Eu-u)=Eu△v+v△u$

      • 右式不对称，实际上Eu或Ev皆可

    • $△(uv)=Eu△v+v△u$

      $uv=\sum Eu△v+v△u$

      $\sum v△u=uv-\sum Eu△v$

      上式为分部求和公式，书上有例题

  • 下降幂：$x^{\underline{m}}:=x(x-1)\dots (x-m+1),m>0$

    • $x^{\underline{m}}=x^{\underline{n}}(x-n{)}^{\underline{m-n}}$
    • 对于m<0，$x^{\underline{m}}:=1/(x+1)(x+2)\dots (x+m)$
    • 差分良好性质：$△x^{\underline{m}}=m{x}^{\underline{m-1}}$
    • 类比$lnx\&e^x:△2^x=2^x,△H_n=1/n+1$，其实$H_n$为n级调和数。不难证明正确性。
    • 上升幂有类似定义。

• 无限和式

  • 就是级数，记得绝对收敛和发散的判定，以及是否能交换求和即可。