在(-∞,+∞)上恒成立. 因此,这两个函数是已知方程的两 个线性无关解, 即是一基本解组, 故该方程的通解可写为
y ( n ) a1 ( x) y ( n1) an1 ( x ) y an ( x ) y 0 (4.1.05)
机动 目录 上页 下页 返回
11
结束
y( x) C1 cos x C2 sin x
y ( n ) a1 ( x) y (n1) a2 ( x ) y (n 2) an 1 (x ) y an (x )y f (x )
(4.1.01) 其中系数函数 a1 ( x), a2 ( x),, an ( x)和自由项f(x)都是区间I
上的连续函数.
2
机线性方程(4.1.05)的通解.
y ( n ) a1 ( x) y ( n1) an1 ( x ) y an ( x ) y 0 (4.1.05)
基本定理!
机动 目录 上页 下页
■
10
返回 结束
方程(4.1.05)的基本定理又可叙述为: 齐次线性常微 分方程(4.1.05)的通解等于它的基本解组的线性组合.
5
机动 目录 上页 下页 返回 结束
二、n 阶齐次线性常微分方程的一般理论 显然, n阶齐次线性常微分方程(4.1.05)等价于一阶齐 次线性常微分方程组
dY A( x)Y dx
(4.1.06)
所以一阶齐次线性常微分方程组解的理论都可移植到高 阶齐次线性常微分方程上来. 为此,我们先给出函数组线 性相关的概念. 定义1. 对于定义在区间I上的函数组 1 ( x), 2 ( x),, n ( x ), 如果存在一组不全为零的常数a , a ,…, a , 使得 1 2 n a11 ( x) a22 ( x) ann ( x) 0 (4.1.07) 在区间I上恒成立, 则称 1 ( x), 2 ( x),, n ( x) 区间I上线性 6 相关. 否则称之为线性无关.