Chapter5.2 线性微分方程组的一般理论.pptVIP

第五章第2节 线性微分方程组的一般理论 第五章 线性微分方程组 第 2 节 线性微分方程组的一般理论 5.2.1 齐次线性微分方程组 定理2(叠加原理) 如果 u(t) 和 v(t) 是齐次型方程的解,则它们的线性组合 ? u(t)+ ? v(t) 也是该方程的解. 线性相关 称定义在区间 a≤t≤b 上的向量函数 x1(t), x2(t), …, xm(t) 是线性相关的,如果存在不全为零的常数 c1, c2, …, cm, 使得等式  c1x1(t)+ c2x2(t)+…+ cmxm(t) =0 成立;否则称为线性无关的. 朗斯基行列式 由 n 个向量函数 x1(t), x2(t), …, xn(t) 构成的行列式称为朗斯基行列式. 定理3 如果向量函数 x1(t), x2(t), …, xn(t) 在区间 a≤t≤b 上线性相关,则它们的朗斯基行列式W(t)=0. 定理4 如果齐次型方程 x?=A(t)x 的解 x1(t), x2(t), …, xn(t) 线性无关,则它们的朗斯基行列式W(t)?0. 定理5 齐次线性微分方程组 x?=A(t)x 一定存在 n 个线性无关的解 x1(t), x2(t), …, xn(t) . 定理6 如果 x1(t), x2(t), …, xn(t) 是齐次型方程x?=A(t)x 的 n 个线性无关的解,则该方程的任一解 x(t) 均可表为这 n 个线性无关解的线性组合,即:  x(t)=c1x1(t)+ c2x2(t)+ …+ cnxn(t). 推论1 齐次型方程 x?=A(t)x 的线性无关解最多有 n 个. 推论2 如果已知齐次型方程 x?=A(t)x 的 k 个线性无关解,则该方程可以降低为含 n?k 个未知函数的线性微分方程组.如果已知 n?1 个线性无关解,则可得到齐次型方程的通解. 基本解组 方程 x?=A(t)x 的 n 个线性无关的解 x1(t), x2(t), …, xn(t) 称为方程的基本解组. 推论3 如果 x1(t), x2(t), …, xn(t) 是 n 阶微分方 x(n)+ a1(t)x(n?1) +…+ an(t)x=0 (5.21) 的 n 个线性无关解,其中 a1(t), a2(t), …, an(t) 是区间 a≤t≤b 上的连续函数,则(5.21)的任一解 x(t) 可表为这 n 个线性无关解的一个线性组合: x(t)=c1x1(t)+ c2x2(t)+ …+ cnxn(t) . 基解矩阵 解矩阵: n?n 矩阵的每一列都是齐次线性微分方程组 x?=A(t)x 的解. 基解矩阵: 解矩阵的列线性无关. 定理1* 齐次线性微分方程组 x?=A(t)x 一定存在一个基解矩阵?(t).如果?(t)是方程的任意一个解,则有?(t)= ?(t)c. 定理2* 齐次线性微分方程组 x?=A(t)x 的一个解矩阵 ?(t) 是基解矩阵的充要条件是 |?(t)|=0 , a≤t≤b; 且如果对某一 t0 有 |?(t0)|?0,则 |?(t)|=0 , a≤t≤b. 推论1* 如果 ?(t) 是齐次线性微分方程组 x?=A(t)x 的基解矩阵, C 是非奇异 n?n 常数矩阵,则 ?(t)C 也是方程的基解矩阵. 推论2* 如果 ?(t) , ?(t) 都是方程组 x?=A(t)x 的基解矩阵,则存在非奇异 n?n 常数矩阵 C ,使得 ?(t)= ?(t) C . 5.2.2 非齐次线性微分方程组 非齐次线性微分方程组 x?=A(t)x+f(t) 的解的结构. 矩阵 A(t) 在区间 a≤t≤b 上连续, f(t) 是区间 a≤t≤b 上的已知 n 维连续列向量. 性质1 如果 ?(t) 是方程 x?=A(t)x+f(t) 的解, ?(t) 是对应的齐次型方程 x?=A(t)x 的解,则 ?(t)+?(t) 是x?=A(t)x+f(t) 的解. 性质2 如果 ?(t) 和 ?(t) 是 x?=A(t)x+f(t) 的两个解,则 ?(t)??(t) 是对应齐次型方程 x?=A(t)x 的解. 定理7 设 ?(t) 是对应齐次型方程 x?=A(t)x 的基解矩阵, ?(t) 是方程 x?=A(t)x+f(t) 的某一解,则该非齐次型方程的任一解 ?(t) 都可表为 ?(t)= ?(t)c+?(t) ,其中 c 是确定的常数列向量. 证明: 因为 ?(t) 和 ?(t) 都是方程 x?=A(t)x+f(t) 的解,则由性质2, ?(t) 与 ?(t) 之差 ?(t)? ?(t) 是齐次型方程 x?=A(