线性常微分方程组

时间:2025-03-09

Review 常系数齐次线性ODE的特征解法x(n)n

+ a1 x

( n 1)

λ + a1λ特征根 重数

n 1

+ L + an 1 x′ + an x = 0

+ L + an 1λ + an = 0.线性无关解 λt

λ (实) λ (实)

1kλt αt

e

e ,te , , t Lαt αt αt

λt

k 1 λt

e

α ± iβ

1k

e cos β t , e sin β t e cos β t , te cos β t ,L , t e cos β t , eα t sin β t , teα t sin β t ,L , t k 1eα t sin β tk 1 α t

α ± iβ

常系数非齐次线性ODE的待定系数法

x ( n ) + a1 x ( n 1) + L + an 1 x′ + an x = f (t ) f (t ) special solution x(t )

q (t )t k eλt , q real polynomial, p (t )e , λ ∈ deg(q ) ≤ deg( p ), p real polynomial, k = multiplicity of λ as an eigenvalueλt

p (t )e , λ ∈ , p real

λt

q (t )t e , q complex, deg(q) ≤ deg( p), k = multiplicity of λt [ P (t ) cos β t + Q (t ) sin β t ]e , k = multiplicity of λ = α + iβ , P, Q real, deg( P ) ≤ deg( p ), deg(Q ) = deg( p ),k

k λt

p (t )e cos β t αt or p (t )e sin β t p (t ), α , β real

αt

αt

§6.线性常微分方程组1.解的叠加原理及存在唯一性定理 a11 (t ) a12 (t ) L a1n (t ) a21 (t ) a22 (t ) L a2 n (t ) 可简 矩阵函数A(t ) = M M M M a (t ) a (t ) L a (t ) mn m2 m1 记为A(t ) = aij (t )

)m×n .分别定义其导数和积分为 dA(t ) ′ , A′(t ) ( aij (t ) ) m×n dtt

(

t a ( s )ds . ∫t0 A(s)ds = ∫t0 ij m×n

利用上面的记号,一阶非齐次线性常微分方程组 ′ x1 (t ) = a11 (t ) x1 + a12 (t ) x2 + L + a1n (t ) xn + f1 (t ) ′ x2 (t ) = a21 (t ) x1 + a22 (t ) x2 + L + a2n (t ) xn + f 2 (t ) M xn (t ) = a (t ) x + a (t ) x + L + ann (t ) xn + f n (t ) n1 1 n2 2 ′可以记作

其中x(t ) = ( x1 (t ), x2 (t ),L , xn (t ))T , A(t ) = ( aij (t ) )n×n ,

x′(t ) = A(t ) x(t ) + f (t ),T

(1)

f (t ) = ( f1 (t ), f 2 (t ),L , f n (t )) .

若f (t ) = 0, 则得到齐次线性方程组 x′(t ) = A(t ) x(t ).

(2)

Thm. (I)若 (t ),ψ (t )为齐次线性方程组(2)的解,则

α (t ) + βψ (t )也为(2)的解,其中α , β 为任意常数.(II)若 (t )为非齐次线性方程组(1)的特解,则(1)的 任意一个解x(t )可以表示为 x(t ) = (t ) +ψ (t ), 其中ψ (t )为(2)的一个解. Thm. 设矩阵函数A(t )和向量值函数f (t )在区间I 上 连续, t0 ∈ I .则 ξ = (ξ1 , ξ 2 ,L , ξ n ) ∈ , 初值问题T

n

x′(t ) = A(t ) x + f (t ), x(t0 ) = ξ 在区间I 上存在唯一解.

2.线性方程组解的结构 由解的叠加原理, 齐次线性方程组(2)的解集合是一 个线性空间.我们需要知道这个解空间的维数,并求出 一组基.为此,需要引入向量值函数线性无关的概念.Def. 称向量值函数 1 (t ) = ( 11 (t ), 21 (t ),L , n1 (t ))T , 2 (t ) = ( 12 (t ), 22 (t ),L , n 2 (t ))T , M n (t ) = ( 1n (t ), 2 n (t ),L , nn (t ))T ,

在区间I

上线性相关, 若存在不全为零的常数 c1, c2 ,L, cn , 使得 t ∈ I , c (t ) + c (t ) + L + c (t ) ≡ 0.1 1 2 2 n n

否则, 称 1, 2 ,L , n在I 上线性无关.

Def.设区间I 上有向量值函数

k (t ) = ( 1k (t ), 2 k (t ),L , nk (t ))T , ( k = 1, 2,L , n.)称以这些向量值函数为列的行列式 11 (t ) 12 (t ) L 1n (t ) 21 (t ) 22 (t ) L 2 n (t ) det M M M M (t ) (t ) L (t ) nn n2 n1 为向量值函数 1 , 2 ,L , n的Wronsky行列式,记作 W (t ) = W [ 1 , 2 ,L , n ](t ).

Thm. 若向量值函数 1 (t ), 2 (t ),L , n (t )在区间I 上线性 相关, 则Wronsky行列式W [ 1, 2 ,L , n ](t ) ≡ 0, t ∈ I .

Proof: 1 , 2 ,L , n在I 上线性相关,则存在不全为零的 常数c1 , c2 ,L , cn , s.t. t ∈ I , c1 1 (t ) + c2 2 (t ) + L + cn n (t ) ≡ 0. 于是, t ∈ I , c1 , c2 ,L , cn是下面线性方程组的非零解. c1 11 (t ) + c2 12 (t ) + L + cn 1n (t ) = 0 c1 21 (t ) + c2 22 (t ) + L + cn 2 n (t ) = 0 M c (t ) + c (t ) + L + cn nn (t ) = 0 2 n2 1 n1 故方程组的系数矩阵W [ 1 , 2 ,L , n ](t ) ≡ 0, t ∈ I .

Thm. 设齐次线性方程组(2)有n个解

k (t ) = ( 1k (t ), 2 k (t ),L , nk (t ))T , (k = 1, 2,L , n.)则以下条件等价: I) 1 , 2 ,L , n在区间I 上线性相关. II) W [ 1 , 2 ,L , n ](t ) ≡ 0, t ∈ I . III)存在t0 ∈ I , 使得W [ 1 , 2 ,L , n ](t0 ) = 0. Proof: (I) (II)即上一定理, (III)显然. 只要证 (II) (III) (I).设存在t0 ∈ I , 使得 W [ 1 , 2 ,L , n ](t0 ) = 0. 则方程组

c1 11 (t0 ) + c2 12 (t0 ) + L + cn 1n (t0 ) = 0 c1 21 (t0 ) + c2 22 (t0 ) + L + cn 2 n (t0 ) = 0 M c (t ) + c (t ) + L + cn nn (t ) = 0 2 n2 0 0 1 n1 0有非零解. 即存在不全为0的c1, c2 ,L , cn , 使得 c1 1 (t0 ) + c2 2 (t0 ) + L + cn n (t0 ) = 0. 令 x(t ) = c1 1 (t ) + c2 2 (t ) + L + cn n (t ), 由解的叠加原理, x(t )为齐次方程组(2)的解, 且满足初 值条件x(t0 ) = 0. 由解的存在唯一性定理,x(t ) ≡ 0,即 c1 1 (t ) + c2 2 (t ) + L + cn n (t ) ≡ 0(t ∈ I ).

Remark: 设 1 , 2 ,L , n ∈ C ( I )为n次齐次线性常n

微分方程组的n个解, t0 ∈ I .则 (1) W [ 1 , 2 ,L , n ](t0 ) = 0 W [ 1 , 2 ,L , n ](t ) = 0, t ∈ I . 1 , 2 ,L , n在I 上线性相关. (2) W [ 1 , 2 ,L , n ](t0 ) ≠ 0 W [ 1 , 2 ,L , n ](t ) ≠ 0, t ∈ I . 1 , 2 ,L , n在I 上线性无关.

至此, 不难得出(2)的解空间的结构.

Thm. A(t )为区间I 上连续的n × n矩阵函数,则1阶齐次线 性常微分方程组 x′(t ) = A(t ) x(t ), 的解集合是一个n维线性空间. Proof: 我们要找出(2)的n个线性无关的解, 并证明(2)的 任意一个解都可以由这n个解线性表出. dx 设 k (t )是初

值问题 = A(t ) …… 此处隐藏:4614字,全部文档内容请下载后查看。喜欢就下载吧 ……

线性常微分方程组.doc 将本文的Word文档下载到电脑

    精彩图片

    热门精选

    大家正在看

    × 游客快捷下载通道(下载后可以自由复制和排版)

    限时特价:7 元/份 原价:20元

    支付方式:

    开通VIP包月会员 特价:29元/月

    注:下载文档有可能“只有目录或者内容不全”等情况,请下载之前注意辨别,如果您已付费且无法下载或内容有问题,请联系我们协助你处理。
    微信:fanwen365 QQ:370150219