5.2线性微分方程组的一般理论一齐次线性微分方程组二非齐次线性微分方程组国教学课件《常微分方程》广东第二师范学院首页f-结束市二面
《常微分方程》 教学课件 广东第二师范学院 首页 上一页 下一页 结束 5.2 线性微分方程组的一般理论 一 齐次线性微分方程组 二 非齐次线性微分方程组
一阶线性微分方程组：dx = A()x+ f(0), (5.14)dt这里A(t）和f(t）在a<t<b上连续若f(t)=0则(5.14)变为dx=A(t)x,(5.15)dt称（5.15）为一阶齐线性微分方程组若f()≠0,则称(5.14)为非齐线性微分方程组A《常微分方程》教学课件广东第二师范学院结束首页一市二面
《常微分方程》 教学课件 广东第二师范学院 首页 上一页 下一页 结束 ( ) ( ), (5.14) dx A t x f t dt = + 这里 和 在 上连续 A t f t a t b ( ) ( ) , 一阶线性微分方程组: 若 则 变为 f t( ) 0 (5.14) = ( ) , (5.15) dx A t x dt = 称(5.15)为一阶齐线性微分方程组. 若 则称 为 f t( ) 0, (5.14) 非齐线性微分方程组
dx一齐次线性微分方程组= A(t)x, (5.15)dt1叠加原理如果x（t),xt)..，x（t)是方程组(5.15)的m个解定理2则它们的线性组合cx（t）+cx（)+.+cmxmt）也是方程组(5.15)的解,这里c,C2,…·cm是任常数证明：由于x,(t)(i=1,2,m)是方程组(5.15)的m个解dx,(@ - A(0)x,(0), i=1,2,., m则有dtmddx() -c, A(t)x,()所以Lcx,(t)-Ecdtdti-1i1i-1m=A(t)Ecx,(t)i-1二《常微分方程》教学课件广东第二师范学院上二市结束首页
《常微分方程》 教学课件 广东第二师范学院 首页 上一页 下一页 结束 一 齐次线性微分方程组 1 叠加原理 1 2 1 1 2 2 1 2 ( ), ( ) , ( ) (5.15) , ( ) ( ) ( ) (5.15) , , , . m m m m x t x t x t c x t c x t c x t c c c + + + 如果 是方程组 的m个解 则它们的线性组合 也是 方程组 的解 这里 是任常数 定理2 证明: ( )( 1,2, ) (5.15) i 由于 是方程组 的m个解 x t i m = 则有 ( ) ( ) ( ), 1,2, , i i dx t A t x t i m dt = = 所以 1 ( ) m i i i d c x t dt = 1 ( ) m i i i dx t c dt = = ( ) ( ) A t x t i 1 ( ) ( ) m i i i A t c x t = = 1 m i i c = = ( ) , (5.15) dx A t x dt =
2函数向量组线性相关与无关定义设x(t),x2(t),,xm()是一组定义在区间[a, b)上的函数列向量，如果存在一组不全为零的常数CC,…,Cm，使得对所有a≤t≤b，有恒等式Cx(t)+cx(t)+...+cmxm(t)=0则称x（)（)，.xm)在区间[a,bl上线性相关否则就称这组向量函数在区间[a,b]上线性无关A《常微分方程》教学课件广东第二师范学院上二市结束首页二面
《常微分方程》 教学课件 广东第二师范学院 首页 上一页 下一页 结束 2 函数向量组线性相关与无关 定义 设 1 2 ( ), ( ), , ( ) m x t x t x t 是一组定义在区间[ , ] a b 上的函数列向量，如果存在一组不全为零的常数C1 , C2 , ., Cm , 使 得对所有 a t b ，有恒等式 否则就称这组向量函数在区间[ , ] a b 上线性无关. 则称 1 x t( ), 2 x t( ) , ., ( ) m x t 在区间[ , ] a b 上线性相关; 1 1 2 2 ( ) ( ) ( ) 0 m m c x t c x t c x t + + +
例1证明：函数向量组cos?t[1-sin't1x(t) =1,x(0)=2tt在任何区间都是线性相关的取c =1,cz=-1,则证明：[o]cos"t-(l-sin"t)01-1cx(t)+cx(t)二Vt0t-t故x(t),x(t)在任何区间线性相关K\教学课件《常微分方程》广东第二师范学院首页上一页结束下面
《常微分方程》 教学课件 广东第二师范学院 首页 上一页 下一页 结束 证明: 1 2 取 则 c c = = − 1, 1, 1 1 2 2 c x t c x t ( ) ( ) + t 1 2 故x t x t ( ), ( )在任何区间线性相关 例1 证明:函数向量组 2 1 cos ( ) 1 , t x t t = 在任何区间都是线性相关的. 2 2 1 sin ( ) 1 , t x t t − = 2 2 cos (1 sin ) 1 1 t t t t − − = − − 0 0 , 0 =