You need to enable JavaScript to run this app.
最新活动
大模型
产品
解决方案
定价
生态与合作
支持与服务
开发者
了解我们

非齐次线性递推关系的生成函数求解与齐次化求解咨询

非齐次线性递推关系的生成函数求解与齐次化求解咨询

给定非齐次线性递推关系:
$$c_{n} - 4c_{n-1} + 4c_{n-2} = 3$$
初始条件为 $c_{0} = c_{1} = 11$,需要推导生成函数 $C(x) = \sum_{n=0}^{\infty} c_{n}x^{n}$,同时用齐次化的方法求解该递推关系。

嗨,我来帮你一步步搞定这两种解法,先从生成函数法说起,再看齐次化的思路~

一、生成函数法求解

你提到的思路完全正确,我帮你把推导过程理得更清晰,顺便修正一下你写的式子中的小笔误:

  • 首先对递推式两边乘以$x^n$,然后对$n\geq2$求和:
    $$\sum_{n=2}^{\infty}(c_n -4c_{n-1}+4c_{n-2})x^n = \sum_{n=2}{\infty}3xn$$

  • 拆分左侧求和项,同时计算右侧的等比数列和:
    左侧拆成三个独立求和式,右侧利用等比数列求和公式$\sum_{n=k}{\infty}xn=\frac{x^k}{1-x}$($|x|<1$),得到:
    $$\sum_{n=2}{\infty}c_nxn -4\sum_{n=2}{\infty}c_{n-1}xn +4\sum_{n=2}{\infty}c_{n-2}xn = \frac{3x^2}{1-x}$$

  • 用生成函数$C(x)$替换左侧的求和式:
    我们知道$C(x)=\sum_{n=0}{\infty}c_nxn$,所以可以把每个求和式转化为$C(x)$的形式:

    • $\sum_{n=2}{\infty}c_nxn = C(x) - c_0 - c_1x = C(x) -11 -11x$
    • $\sum_{n=2}{\infty}c_{n-1}xn = x\sum_{k=1}{\infty}c_kxk = x(C(x)-c_0)=x(C(x)-11)$
    • $\sum_{n=2}{\infty}c_{n-2}xn = x2\sum_{k=0}{\infty}c_kxk=x2C(x)$
  • 代入后整理方程:
    把上面的结果代入左侧,展开并合并同类项:
    $$(C(x)-11-11x) -4x(C(x)-11) +4x^2C(x) = \frac{3x^2}{1-x}$$
    化简后得到:
    $$C(x)(1-2x)^2 + (-11 + 33x) = \frac{3x^2}{1-x}$$

  • 求解$C(x)$并拆成分部分式:
    把常数项移到右侧并通分计算,最终得到:
    $$C(x)=\frac{36x2-44x+11}{(1-x)(1-2x)2}$$
    接下来将其拆成分部分式:
    $$C(x)=\frac{3}{1-x}+\frac{12}{1-2x}-\frac{4}{(1-2x)^2}$$

  • 展开为幂级数得到通项:
    利用常见的幂级数展开公式:

    • $\frac{1}{1-x}=\sum_{n=0}{\infty}xn$
    • $\frac{1}{1-2x}=\sum_{n=0}{\infty}2nx^n$
    • $\frac{1}{(1-2x)2}=\sum_{n=0}{\infty}(n+1)2nxn$
      合并后得到通项公式:
      $$c_n=3 + (8-4n)2^n$$
      验证一下初始条件:$c_0=3+8=11$,$c_1=3+(8-4)*2=11$,完全符合。

二、齐次化方法求解

对于非齐次项是常数的递推,我们可以通过构造齐次递推来消去常数项,步骤如下:

  • 写出原递推式和n-1时的递推式:
    原递推(n≥2):$c_n -4c_{n-1}+4c_{n-2}=3$
    n-1时的递推(n≥3):$c_{n-1}-4c_{n-2}+4c_{n-3}=3$

  • 两式相减消去常数项,得到齐次递推:
    $$c_n -5c_{n-1}+8c_{n-2}-4c_{n-3}=0$$

  • 求解特征方程:
    特征方程为$r3-5r2+8r-4=0$,因式分解后得到$(r-1)(r-2)^2=0$,特征根为$r=1$(单根),$r=2$(二重根)。

  • 写出齐次递推的通解:
    通解形式为:
    $$c_n=A + (B+Cn)2^n$$

  • 利用初始条件求系数:
    先通过原递推式算出$c_2=4c_1-4c_0+3=3$,然后代入$c_0=11$、$c_1=11$、$c_2=3$,解方程组得到$A=3$,$B=8$,$C=-4$,最终通解为:
    $$c_n=3 + (8-4n)2^n$$
    和生成函数法的结果完全一致。

备注:内容来源于stack exchange,提问作者JLGL

火山引擎 最新活动