【高等数学】第十章 -- 差分方程

第一节 差分方程的基本概念

一、差分的概念

1.差分的定义

$$△y_x=y_{x+1}-y_x$$

2.一阶差分的性质

(1) $△(C)=0$(C为常数);

(2) $△(C{y}_x)=C△y_x$(C为常数);

(3) $△(a{y}_x\pm b{z}_x)=a△y_x\pm b△z_x$(a,b为常数);

(4) $△(y_x\cdot z_x)=y_{x+1}△z_x+z_x△y_x=y_x△z_x+z_{x+1}△y_x$;

(5) $△⟮\frac{y_x}{z_x}⟯=\frac{z_x△y_x-y_x△z_x}{z_x{z}_{x+1}}=\frac{z_{x+1}△y_x-y_{x+1}△z_x}{z_x{z}_{x+1}},z_x\ne 0.$

3.高阶差分方程的定义

二阶差分方程

$${△}^2{y}_x=y_{x+2}-2y_{x+1}+y_x.$$

三阶差分方程

$${△}^3{y}_x=y_{x+3}-3y_{x+2}+3y_{x+1}-y_x.$$

$n$阶差分方程

$${△}^n{y}_x=△({△}^{n-1}{y}_x).$$

二、差分方程的概念

定义 10.3

含有未知函数差分或表未知函数几个时期值的方程称为差分方程
$$F(x,y_x,△y_x,{△}^2{y}_x,\cdots ,{△}^n{y}_x)=0,$$
或
$$G(x,y_x,y_{x+1},y_{x+2},\cdots ,y_{x+n})=0,$$
或
$$H(x,y_x,y_{x-1},\cdots ,y_{x-n})=0(其中x\ge n).$$

定义 10.4

差分方程中未知函数最大下标与最小下标的差数称为差分方程的阶.

定义 10.5

满足差分方程的函数，称为差分方程的解.

定义 10.6

所含任意独立常数的个数等于差分方程的阶数的解，称为差分方程的通解.

定义 10.7

差分方程附加的定解条件，称为差分方程的初始条件.通解中的任意常数由初始条件确定后的解称为差分方程的特解.

三、常系数线性差分方程解的结构

定义 10.8

如果未知函数和未知函数的各阶差分都是一次，则称方程为线性差分方程.

定理 10.1

若函数${y_x}^{(1)},{y_x}^{(2)},\cdots ,{y_x}^{(k)}$均是齐次线性差分方程的解，则这$k$个函数的线性组合
$$y_x=C_1{y_x}^{(1)}+C_1{y_x}^{(2)}+\cdots +C_k{y_x}^{(k)}$$
也是齐次差分方程(10-2)的解，其中$C_k$为任意常数.

定理 10.2

若函数${y_x}^{(1)},{y_x}^{(2)},\cdots ,{y_x}^{(k)}$是齐次线性差分方程的$n$个线性无关的特解，则他们的线性组合
$$y_x=C_1{y_x}^{(1)}+C_1{y_x}^{(2)}+\cdots +C_k{y_x}^{(k)}$$
是齐次差分方程(10-2)的通解，其中$C_k$为任意常数.

定理 10.3

若${y_x}^{\ast }$是非齐次线性差分方程(10-1)的一个特解，$Y_x$是其对应的齐次线性差分方程的通解，则非齐次线性差分方程的通解为
$$y_x=Y+{y_x}^{\ast }$$

定理 10.4

若函数${y_{x1}}^{\ast }$和${y_{x2}}^{\ast }$分别是非齐次线性差分方程
$$\begin{gathered} y_{x+n}+a_1{y}_{x+n-1}+\cdots +a_{n-1}{y}_{x+1}+a_n{y}_x=f_1(x), \\ {y}_{x+n}+a_1{y}_{x+n-1}+\cdots +a_{n-1}{y}_{x+1}+a_n{y}_x=f_2(x) \end{gathered}$$
的特解，则${y_x}^{\ast }={y_{x1}}^{\ast }+{y_{x2}}^{\ast }$就是方程
$$y_{x+n}+a_1{y}_{x+n-1}+\cdots +a_{n-1}{y}_{x+1}+a_n{y}_x=f_1(x)+f_2(x)$$
的特解.

第二节 一阶常系数线性差分方程

一阶常系数齐次线性差分方程

$$y_{x+1}-p{y}_x=0$$

一阶常系数非齐次线性差分方程

$$y_{x+1}-p{y}_x=f(x)$$

一、一阶常系数齐次差分方程

由此可见，一阶常系数齐次线性差分方程的通解是指数函数型.

1.迭代法

通解为：
$$y_x=C{p}^x$$

2.特征根法

设 $y_x=r^x$
$$\begin{gathered} r^{x+1}-p{r}^x=0 \\ {r}^x(r-p)=0 \\ r-p=0 \\ r=p \end{gathered}$$

二、一阶常系数非齐次线性差分方程

$$y_{x+1}-p{y}_x=P_n(x)b^x.$$

设
$${y_x}^{\ast }=Q(x)b^x$$
带入得到
$$b△Q(x)+(b-p)Q_x=P_n(x).$$

(1) b不是特征方程$r-p=0$的根

设
$${y_x}^{\ast }=Q(x)b^x$$

(2) b是特征方程$r-p=0$的根

设
$${y_x}^{\ast }=xQ(x)b^x$$
综上所述，解题步骤为

步骤	过程
第一步	计算齐次方程特征根$r$的值
第二步	根据非齐次方程$P_n(x)b^x$中的$b$是否等于$r$来判断$s$
如果$s=r$	${y_x}^{\ast }=xQ(x)b^x$
如果$s\ne r$	${y_x}^{\ast }=Q(x)b^x$

第三节 二阶常系数线性差分方程

二阶常系数非齐次线性差分方程的一般形式：
$$y_{x+2}+p{y}_{x+1}+q{y}_x=f(x).$$
二阶常系数齐次线性差分方程的一般形式：
$$y_{x+2}+p{y}_{x+1}+q{y}_x=0.$$

一、二阶常系数齐次线性差分方程

设
$$y_x=r^x$$
带入方程得
$$r^{x+2}+p{r}^{x+1}+q{r}^x=0$$
即特征方程为：
$$r^2+pr+q=0$$
它的根就叫做特征根
$$r_{1,2}=\frac{-p\pm \sqrt{p^2-4q}}{2}.$$

(1) 相异实根

$$y_x=C_1{r}_1^x+C_2{r}_2^x$$

(2) 相同实根

$$y_x=(C_1+C_{2}x)(-\frac{p}{2}{)}^x$$

(3) 共轭复根

$$\begin{gathered} r_1=\alpha +i\beta ,r_2=\alpha -i\beta \\ \alpha =-\frac{p}{2},\beta =\frac{\sqrt{4q-p^2}}{2} \end{gathered}$$

通解为:
$$y_1={\lambda }^x(\cos \theta x+\sin \theta x).$$
综上所述，解题步骤如下：

• 第一步

  写出差分方程$y_{x+2}+p{y}_{x+1}+q{y}_x$的特征方程$r^2+pr+q=0$;

• 第二步

  求出特征方程的两个根$r_1,r_2$;

• 第三步

  根据情况写出通解.

特征方程$r^2+pr+q=0$的根	差分方程$y_{x+2}+p{y}_{x+1}+q{y}_x=0$的通解
两个不相等的实根$r_1\ne r_2$	$y_x=C_1{r}_1^x+C_2{r}_2^x$
两个相等的实根$r_1=r_2$	$y_x=(C_1+C_{2}x)r_1^x$
一对共轭复根$r_{1,2}=\alpha +\beta$	$y_1={\lambda }^x(\cos \theta x+\sin \theta x)$,其中$\lambda =\sqrt{{\alpha }^2+{\beta }^2}$, $\tan \theta =\frac{\beta }{\alpha },\theta \in (0,\pi )$

二、二阶常系数非齐次线性差分方程

其形式如下：
$$y_{x+2}+p{y}_{x+1}+q{y}_x=P_n(x)b^x.$$
因此，设
$$y_x^{\ast }=Q(x)b^x$$
带入方程得
$$b^2{△}^{2}Qx+b(p+2b)△Qx+(b^2+pb+q)Q_x=P_n(x)$$

(1). b不是特征方程$r^2+pr+q=0$的根，

$$y_x^{\ast }=Q_n(x)b^x.$$

(2). 如果b是特征方程$r^2+pr+q=0$的单根，

$$y_x^{\ast }=x{Q}_n(x)b^x.$$

(3). 如果b是特征方程$r^2+pr+q=0$的重根，

$$y_x^{\ast }=x^2{Q}_n(x)b^x.$$

总结

一、二阶的常系数齐次差分方程和微分方程的对比

特征方程的根	微分方程的通解	差分方程的通解
$r_1\ne r_2$	$y=C_1{e}^{r_{1}x}+C_2{e}^{r_{2}x}$	$y_x=C_1{r}_1^x+C_2{r}_2^x$
$r_1=r_2$	$y=(C_1+C_{2}x)e^{r_{1}x}$	$y_x=(C_1+C_{2}x)r_1^x$
$共轭复根r_{1,2}=\alpha \pm i\beta$	$y=e^{\alpha x}(C_{1}cos\beta x+C_{2}sin\beta x)$	$y_1={\lambda }^x(\cos \theta x+\sin \theta x)$,其中$\lambda =\sqrt{{\alpha }^2+{\beta }^2}$, $\tan \theta =\frac{\beta }{\alpha },\theta \in (0,\pi )$

二、二阶的常系数非齐次差分方程和微分方程的对比

特征根情况	微分方程	特征根情况	差分方程
$\lambda \ne r_{1,2}$	$y^{\ast }=R(x)e^{\lambda x}$	$b\ne r_{1,2}$	$y_x^{\ast }=Q_n(x)b^x.$
$\lambda =r_1$ or $\lambda =r_2$	$y^{\ast }=xR(x)e^{\lambda x}$	$b=r_1$ or $b=r_2$	$y_x^{\ast }=x{Q}_n(x)b^x.$
$\lambda =r_1=r_2$	$y^{\ast }=x^{2}R(x)e^{\lambda x}$	$b=r_1=r_2$	$y_x^{\ast }=x^2{Q}_n(x)b^x.$