1 差分方程基本概念和方法 考察定义在整数集上的函数, ( ),, 2 , 1 ,0 ,1 , 2 ,nxf n n 函数( )nxf n在n 时刻的一阶差分定义为: 1(1 )( )nnnxxxf nf n 函数( )nxf n在n 时刻的二阶差分定义为一阶差分的差分: 21212nnnnnnxxxxxx 同理可依次定义k 阶差分knx 定义1 .含有自变量n ,未知函数nx 以及nx 的差分2,,nnxx的函数方程, 称为常差分方程,简称为差分方程
出现在差分方程中的差分的最高阶数,称为差分方程的阶
k 阶差分方程的一般形式为 ( ,,,,)0knnnF n xxx 其中( ,,,,)knnnF n xxx为,,,knnnn xxx的已知函数,且至少knx要在式中出现
定义2 .含有自变量n 和两个或两个以上函数值1,,nnx x的函数方程,称为(常)差分方程,出现在差分方程中的未知函数下标的最大差,称为差分方程的阶
k 阶差分方程的一般形式为 1( ,,,,)0nnn kF n x xx 其中1( ,,,,)nnn kF n x xx为1,,,nnn kn x xx 的已知函数,且nx 和n kx 要在式中一定要出现
定义3 .如果将已知函数( )nxn代入上述差分方程,使其对0 ,1 ,2 ,n 成为恒等式,则称( )nxn为差分方程的解
如果差分方程的解中含有k 个独立的任意 2 常数,则称这样的解为差分方程的通解,而通解中给任意常数以确定值的解,称为差分方程的特解
例如: 设二阶差分方程 21nnnFFF,可以验证12151522nnnFcc是其通解,其满足条件121FF 的特解为:11515225nnn