5/8/2021
第四章
10
x1
t 2 , 0,
1 t 0 0t 1
注 仅对函数而言 线性相关时W(t)≡0的
逆定理一般不成立。
例 函数
和
x1
t 2 , 0,
x2
0,
t
2
,
1 t 0 0t 1
1 t 0 0t 1
在区间-1≤t≤1上有W[x1(t),x2(t)]≡0 ,但却线性无 关。
证 5/8/2021 用反证法证。
第四章
12
(续)定理4 齐次线性微分方程的线性 无关解的伏朗斯基行列式恒不为零
dn x dtn
a1(t)
dn1 x d t n1
an1 (t )
d d
x t
an
(t ) x
0
证 用反证法证。设有t0 (a≤t0≤b) 使得W(t0)=0,则t = t0时 的 (6)、(7)组成的n个齐次线性代数方程组有非零解 c1 ,c2 ,…,cn。 根椐叠加原理,函数 x(t)=c1x1(t)+ c2x2(t)+…+ cnxn(t) 是方程(2)的解,
第四章
13
定理5 齐次线性方程(2)的基本 解组必存在且其伏朗斯基行列式 恒不为零。
证 根据定理1,线性 方程(2)的满足初值 条件:
的解x1(t),x2(t),…,xn(t)必 存在,且有
x1
(t0
)
1,
x1'
(t0
)
0,
x2
(t0
)
0,
x2'
(t0
)
1,
xn
(t0
)
0,
xn'