第五章-5.1-存在唯一性定理.pptVIP

* * 第五章 线性微分方程组 在实际问题中，对许多问题的描述，仅用一个微分方程来描述远远不够，比如两个或两个以上回路电流变化规律、几个相互作用质点的运动规律等，需要用微分方程组来描述，并且在许多情况下，这些方程组可以化为一组线性微分方程组．如同第四章一样，在微分方程的理论中,线性微分方程组是非常值得重视的一部分内容。在研究线性微分方程组时，将利用线性代数的有关理论来充分理解和解释线性微分方程组的相关结果．并且还将证明高阶微分方程等价于一个微分方程组。因此，微分方程组的有关结果都可以在高阶微分方程中找到相应的结果。 主要内容 记号和定义 存在唯一性定理 齐线性微分方程组 非齐线性微分方程组 矩阵指数expA的定义和性质 基解矩阵的计算公式 存在唯一性定理 线性微分方程组的 一般理论 常系数线性微分方 程组 5.1 存在唯一性定理 5.2 线性微分方程组的一般理论 5.3 常系数线性微分方程组 小 结 线性微分方程组的解的存在性和唯一性。 讨论了线性微分方程组解的结构，特别是齐线性微分方程组，得到了有关基解矩阵的相关理论。 基解矩阵的存在和计算方法。 掌握高阶微分方程和线性微分方程组的关系。从而在统一的观点下理解和求解它们。 主要讨论 §5.1 存在唯一性定理 一、线性微分方程组的有关概念 1 线性微分方程组的定义 定义 形如 的微分方程组,称为一阶线性微分方程组. 称为(5.1)的通解. 2 函数向量和函数矩阵的有关定义 (1) n维函数列向量定义为 注: 对向量或矩阵的代数运算的性质(加法，乘法，数乘),对于以函数作为元素的矩阵同样成立. (2 )函数向量和矩阵的连续,微分和积分的概念 可微函数 可微 可积函数 可积 此时,它们的导数与积分分别定义为 注: 关于函数向量与矩阵的微分,积分运算法则,和普通数值函数类似. * * 性质 3 一阶线性微分方程组的向量表示 对一阶线性微分方程组: 则(5.1)可写成 (1)定义1 (2)定义2 初值问题 例1 验证向量 是初值问题 解: 显然 4. n阶线性微分方程的初值问题与一阶线性微分方程组的初值问题关系 对n阶线性微分方程的初值问题 若令: 则有: 而且: 即方程(5.6)可化为 初值问题(5.6)与(5.7)的解等价,即给出其中一个初问题的解,可构造另一个初值问题的解. 例2 将初值问题 化为与之等价的一阶微分方程组的初值问题. 解: 设 则有 即有 也即 注: 每一个n阶线性微分方程可化为n个一阶线性微 分方程构成方程组,反之却不成立. 如: 方程组 不能化为一个二阶微分方程. 二、存在唯一性定理 1 存在唯一性定理 2 存在唯一性定理的证明 证明共分五步完成 第一步 第二步 证明向量函数 在区间 上有定义且连续． 命题２ 第三步 由 考虑向量函数项级数： 设 则 第四步 设 即 证明积分方程的连续解的唯一性. 第五步 ３ n阶线性微分方程的解存在唯一性定理 推论 * * * * * * * *