10.6差分与差分方程的概念线性差分方程的结构.ppt

第六节 差分与差分方程的概念、 常系数线性差分方程解的结构 类似地，可以定义二阶差分以上的高阶差分，即当自变量由 x 变到 x+1 时，一阶差分的差分 ? (? yx ) = ?（ yx+1 － yx ）= ? yx+1 － ? yx = (yx+2 － yx+1) － (yx+1 － yx ) = yx+2 －2 yx+1 + yx 二、差分方程 定义：表示自变量、未知函数及未知函数差分之间关系的方程称为差分方程，其一般表达式为 三、常系数线性差分方程解的结构 线性差分方程：未知函数及其差分都是一次。 n 阶线性差分方程的一般式： 思考题 下列哪些等式是差分方程： A) B) C) D) 思考题答案 按差分方程的定义, (A), (C ), (D) 为所求; (B)不是差分方程, 因为 即 (B) 应为 , 显然不是差分方程. 测试题 一、求下列函数的一阶与二阶差分： 测试题答案 一、求下列函数的一阶与二阶差分： 两个函数在区间 I 上线性相关与线性无关的充要条件: 线性相关 存在不全为 0 的 使 ( 无妨设 线性无关 常数 思考: 中有一个恒为 0, 则 必线性 相关 定理1 若函数 y1( x)，y2( x)，…… ，yk( x)均为线性齐次差分方程 (5) 的解，则这 k个函数的线性组合 也是该方程的解，其中 为任意常数。 定理2 若函数 y1( x)，y2( x)，…… ，yk( x)均为线性齐次差分方程(5)的线性无关的特解，则 就是该方程的通解，其中 为任意常数。 定理3 若 是非齐次方程 (6) 的一个特解， 是此方程所对应的齐次方程的通解， 则非齐次方程(6)的通解为 定理4 若函数 和 分别是线性非齐次方程 的特解，则函数 就是方程 的特解。 * 差分的概念 差分方程的概念 常系数线性差分方程解的结构 一般地，在连续变化的时间的范围内，变量 关于时间 的变化率是用 来刻画的； 可以近似表示变量 的变化率.由此我们给出差分的定义. 对离散型的变量 我们常用在 规定时间区间上的差商 来刻画变量 的变化率.如果取 ，则 设函数 y = f (x) 在自变量 x 依次取遍非负整数时，相应的函数值为 f (0) ， f (1) ，……， f (x) ， f (x+1) ，…… 可简记为 y0，y1，……，yx，yx+1，…… 定义：当自变量从 x 变到 x+1 时，函数y = f (x)的改变量 ? yx = y(x+1) － y(x) 称为 y (x) 在点 x 处步长为１的一阶差分，简称为函数 y (x) 的一阶差分. 通常记作 ?yx = yx+1 － yx （x = 0, 1, 2, ……） (1) 其中 ?表示差分算子或差分符号. 一、差分的概念 y0，y1，……，yx，yx+1，……称为函数在不同时期的值. 例1 设 ,求?yx 解 ? yx = yx+1 － yx ＝ 例2 设 求?yx 解 ? yx = yx+1 － yx ＝ 所以常数的差分为零. 指数函数的差分等于指数函数乘上一个常数. 例3.1设 为常数），求?yx 若?=n( n是正整数 )，当n=1时，则?yx=1； 当n=2时， ?yx= 2 x +1. 一般地，若 y = xn , 则 解 解 例 4.设阶乘函数yx=x(n) =(x-0)(x-1)(x-2)…(x-n+1), x(0) =1, 求 ?yx . 解 ?yx = (x+1)(n) - x(n) 一阶差分的四则运算法则 以下证明 以下证明 再解 称为函数 y = f (x) 的二阶差分，记为? 2yx ，即 ? 2yx ＝ yx+2 －2 yx+1 + yx 高阶差分 二阶差分的差分为三阶差分， 三阶差分记作 ，即有 同理可定义四阶差分，容易推得： 可见: 函数的各阶差分可以表示成函数在不同时期值的线性组合 各阶差分系数小结： n 阶差分 的推