常微第十讲-线性微分方程组.pptVIP

此时(3.18)的纯量形式为 解之得 最后可得该方程组的通解为 1．非齐次通解=对应齐次通解+非齐次一个特解 本节要点 ?2．常数变易法： 先求出齐次通解 ,再令 为非齐次特解，代入原方程确定 3.2 常系数线性微分方程组的解法 本节将介绍如何利用线性代数中的约当(Jordan) 标准型理论求解（3.20）的基本解组。 一阶常系数线性方程组的求解问题都归结为 ?(3.20) 一阶常系数线性齐次方程组 的基本解组的求解， 其中A是 实常数矩阵。 由线性代数知识可知，对于任一 矩阵A， 矩阵T，使矩阵 成为 恒存在非奇异的 约当标准型. 为此，对方程组(3.20)引入非奇异线性 变换： (3.21) 其中 将方程组(3.20)化为 ?(3.22) 我们知道，约当标准型 的形式与矩阵A的 特征方程 的根的情况有关. 的特征根. (3.20)的特征方程式.它的根称为矩阵 下面分两种情况讨论. 上述方程也称为常系数齐次方程组 3.5.1 矩阵A的特征根均是单根的情形. 设特征根为 ，这时 方程组(3.20)变为 (3.23) 易见方程组(3.23)有n个解 把这n个解代回变换(3.21)之中，便得到方程组(3.20) 的n 个解 这里 是矩阵 第i 列向量，它恰好是矩阵A关于 所确定. 的特征向量，并且由线性方程组 特征根 容易看出， 构成(3.20)的一个基本 在 时为 .于是我们得到下面的定理。 解组，因为它们的朗斯基行列式 定理3.11 如果方程组(3.20)的系数阵A的n个特征根 彼此互异，且 分别是它们所对应 的特征向量，则 是方程组(3.20)的一个基本解组 例1 试求方程组 的通解. 解 它的系数矩阵是 特征方程是 矩阵A的特征根为 a, b, c满足方程 同样，可求出另两个特征根所对应的特征向量。 解得 . 取一组非零解，例如令 就有 对应的特征向量 假设 故方程组的通解是 这样，这三个特征根所对应的特征向量分别是 例2 求解方程组 解 它的系数矩阵为 特征方程是 即 特征根为 ： 先求 对应的特征向量为 再求 所对应的特征向量 . 它应满足方程组 故上述方程组中仅有两个方程是独立的，即 不妨令 则 于是 对应的解是 这两个的解为实变量的复值解 同理 对应的解是 现在考虑复根情形 设 是一对共轭根, 由定理3.11，对应解是 其中 是特征向量，是 实变量的复值解， 实值解，这可由下述方法实现． 由代数知识,实矩阵A的复特征根一定共轭成对地出现. 通常我们希望求出方程组（3.20）的 定理3.12 如果实系数线性齐次方程组 有复值解 其中 与 都是 实向量函数， 则其实部和虚部 都是齐次方程组(3.8)的解. 是向量函数级数,如果其部分和所作 成的向量函数序列在区间I上收敛 (一致收敛), 则称 在I上是收敛的(一致收敛的). 设 由上面的定义，对向量函数序列和向量函数级数可 得到与数学分析中关于函数序列和函数级数相类似 的结论。 例如：判别通常的函数级数的一致收敛性的 维尔斯特拉斯判别法对于向量函数级数也是成立的。 即，如果 而级数 是收敛的，则函数向量级数 在区间 上是一致收敛的。 积分号下取极限的定理对于向量函数也成立， 这就 是说，如果连续向量函数序列 在 上是一致 收敛的， 则 四、微分方程组解的存在唯一性定理 定理3.1’ 设 和 在 上连续, 则初值问题 （3.7） 在 内存在惟一解 . （3.2） 一阶线性微分方程组解的存在唯一性定理 3.1.1 一阶线性齐次方程组的一般理论 本节主要研究一阶线性齐次方程组（3.8）的通解结构.为此我们首先从其解的性质入手. 1．一阶线性齐次微分方程组解的性质 定理3.2 如果 是方程组(3.8)的m个解，则 也是(3.8)的解，其中 是任意常数.换句话说， 线性齐次方程组的任何有限个解的线性组合仍为其解. (3.9) 定理3.2告诉我们，一阶线性齐次微分方程组(3.8)的 函数的线性相关和线性无关概念. 性质，进而得到方程组(3.8)的解的结构，我们引入向量 解集合构成了一个线性空间. 为了搞清楚这个线性空间的 定义3.1??设 是m个定义 在区间I上的n维向量函数. ，使得 常数 在区间I上恒成立， 性相关；否则称它们在区间I上线性无关. 显然，两个向量函数 是它们在区间I上线性相关的充要条件. 另外，如果在向 的对应分量成比例 量组中有一零向量， 则它们在区间I上线性相关. 如果存在