Skip to content

第五节 差分方程

Tables of Content

I. 差分方程的基本概念

差分:将函数y=f(x)y = f(x)简记为yxy_xxx取遍非负整数时的函数值构成一个数列:

yxy_x的一阶差分;称:

yxy_x的二阶差分,依此类推可定义出二阶以上的高阶差分

差分方程:形如:

的方程,称为差分方程

差分方程的阶:方程中未知函数附标的最大值与最小值的差数称为差分方程的阶

差分方程的解

  1. 解:若一个函数代入差分方程,使得方程两边恒等,则称此函数为差分方程的解
  2. 通解:若差分方程的解中所含的相互独立的任意常数的个数与差分方程的阶数相同,则称此解为差分方程的通解
  3. 初始条件:系统初始时刻的状态所提供的条件,称之为初始条件
  4. 特解:确定了通解中的任意常数的值后的解,称之为特解

II. 一阶常系数线性差分方程

形如:

的方程,称之为一阶常系数线性微分方程;

f(x)=0f(x) = 0时,称其为齐次的,其通解为yx=Caxy_x = C a^x

f(x)0f(x) \neq 0时,称其为非齐次的,其通解为yx=Cax+yxy_x = C a^x + y_x^*,根据f(x)f(x)的形式,yxy_x^*可依照下表写出:

f(x)f(x)的形式yx+1ayx=f(x)y_{x + 1} - a y_x = f(x)的特解yxy_x^*
bxPm(x)b^x P_m(x)aba \neq b时,yx=bxQm(x)y_x^* = b^x Q_m(x)
bxPm(x)b^x P_m(x)a=ba = b时,yx=xbxQm(x)y_x^* = xb^x Q_m(x)
Pm(x)sinαxP_m(x) \sin \alpha xyx=Qm(x)sinαx+Rm(x)cosαxy_x^* = Q_m(x) \sin \alpha x + R_m(x) \cos \alpha x
Pm(x)cosαxP_m(x) \cos \alpha xyx=Qm(x)sinαx+Rm(x)cosαxy_x^* = Q_m(x) \sin \alpha x + R_m(x) \cos \alpha x
  • 例1:求差分方程yx+12yx=2xy_{x + 1} - 2y_x = 2^x的通解

    Answer

    根据右侧f(x)f(x)的形式,可以将特解设为:

    然后代入原差分方程可得:

    于是可以得到通解为:

  • 例2:求差分方程yx+1yx=x2xy_{x + 1} - y_x = x2^x的通解

    Answer

    根据右侧f(x)f(x)的形式,可以将特解设为:

    然后代入原差分方程可得:

    于是可以得到通解为:

  • 例3:求差分方程yx+1yx=3xsinπ2xy_{x + 1} - y_x = 3^x \sin \dfrac{\pi}{2} x的通解

    Answer

    根据右侧f(x)f(x)的形式,可以将特解设为:

    然后代入原差分方程 可得:

    于是有:

    解得:

    于是可以得到通解为: