Heine定理
存在的充要条件是:
取定义域内的任意数列,有
差分的定义
考虑离散型变量
一阶差分为:
二阶差分为:
线性差分方程的解
非齐次差分方程的解
- 满足初始条件
的n阶非齐次线性差分方程
的解是存在且唯一的
- 非齐次线性差分方程的通解结构:
齐次差分方程的解
- 线性相关与无关
n个定义在上的函数,如果存在n个不全为零的常数,使得
则称在上线性相关
- 齐次方程
- 齐次方程的解满足叠加原理
一阶线性齐次差分方程组
n阶常系数线性差分方程
特征方程:
若为特征方程的j重实根, 则与之相应的j个线性无关解为
若为特征方程的j重复根, 则与之相应的2j个线性无关解为:
n=1
一阶非线性差分方程的解称为方程的平衡点
平衡点的(一致)渐近稳定性
平衡点的指数稳定性
自治系统平衡点稳定性的判定
自治系统:
是在点的Jacobi Matrix
- 定理
常系数n阶方程的平衡点及其稳定性
总之
- 对于一阶常系数线性差分方程
- 平衡点
- 稳定的平衡点的充要条件
- 对于n维向量,
- 平衡点稳定的充要条件是A所有的特征根的绝对值都小于1
- 对于二阶常系数线性差分方程
- 平衡点稳定的充要条件是特征方程的根的绝对值小于1
- 一阶非线性差分方程
- 稳定点
- 时,平衡点是稳定的
几个常见的差分方程模型
Python 解差分方程
import sympy as sp
sp.var("k")
sp.var("x",cls=sp.Function)
f = x(k+1)-x(k)-3-2*k
f = sp.rsolve(f,x(k))
f = sp.simplify(f)
print(f)