则 常向量组x1(t0 ), x2 (t0 ), , xn (t0 )线性相关,
从而存在不全为零的常数c1, c2, , cn,使得
c1x1(t0 ) c2 x2 (t0 ) cn xn (t0 ) 0, (3)
现在考虑函数向量
x(t) c1x1(t) c2 x2 (t) cn xn (t)
故x1(t), x2 (t), , xn (t)在a t b上线性无关.
5
例1 证明:函数向量组
cos2 t
1 sin2 t
x1
(t
)
1
,x2(t) Nhomakorabea1
,
t
t
在任何区间都是线性相关的.
证明: 取c1 1, c2 1,则
cos2 t (1 sin2 t) 0
c1x1(t) c2 x2 (t)
11
0 ,
t t
0
故x 1
(t
),
x2
(t
)在任何区间线性相关
常微分方程课件
1
§6.1 线性微分方程组的一般理论
2
一阶线性微分方程组:
dx A(t)x f (t)
(1)
dt
这里A(t)和f (t)在a t b上连续,
f (t) 0, 则式(1)变为
dx A(t ) x
(2)
dt
称式(2)为一阶齐次线性微分方程组.
称式(1)为 非齐次线性微分方程 组
注1:方程组(2)的n个解x1(t), x2 (t), , xn (t)线性相关
W (t) 0, a t b.
注2: 方程组(2)的n个解x1(t), x2 (t), , xn (t)线性无关
W (t) 0, a t b. 即方程组(2)的n个解x1(t), x2 (t) , xn (t)所构成的 Wronsky行列式,或者恒等于零,或者恒不等于零。