证明(反证法) 假若这些函数线性相关,则有
m
m
( A0(r)
A1(r )t
...
A t )e (r ) kr 1 rt kr 1
=
Pr (t)ert =0,
r 1
r 1
(4.27)
其中A(j r )是常数,不全为0. 不失一般性,假定多项式Pm (t)至少有一个系数不等于0,
因此Pm (t) 0.(4.27)两边除以e1t , 然后对t微分k1次,我们得到 m
=
Pr (t )ert =0,
r 1
r 1
其中A(j r )是常数,不全为0.
(4.27)
15
dnx
d n1x
dx
L[x] dt n a1 d n1t ... an1 dt an x 0 (4.19)
F () n a1 n1 ... an1 an 0 (4.21)
x ye1t
dx dt
an x
0
(4.19)
F () n a1 n1 ... an1 an 0 (4.21)
x ye1t
于是(4.19)化为
y=f(x) 只要找到y,
L1[ y] 其中b1 ,
dny dt n
b1
d n1 y d n1t
...
bn 1
dy dt
bn y
0,
(4.23)
b2 ,..., bn仍为常数,而相应的特征方程为
. 特征根是有重根的情形
设1是特征方程(4.21)的k1重特征根,则方程(4.19)如下k1个解:
e1t , te1t ,..., t k1 e 1 1t
(4.25)
证明 分两种情况:
(1)1 0. 此时证明过程很简单. (2)1 0. 作变量变换x ye1t , 注意到