常微分方程（数学学院）授课笔记嘬冬学期嘱.PDFVIP

常常常微微微分分分方方方程程程 （（（数数数学学学学学学院院院）））授授授课课课笔笔笔记记记嘬 冬冬冬学学学期期期嘱 王成波 嘱嘮 上次 常微分方程组与高阶常微分方程嘨组嘩基本理论 （存在性 ，唯一性 ，连续依赖性 ，可微性），首次积分 今天 ：第四章 ，线性微分方程与线性微分方程组 嘲嘮 线性微分方程组的一般理论 ：存在唯一性 嘲嘮嘱嘮 线线线性性性方方方程程程组组组嘮 标准形式的阶线性常微分方程组为 噤 嘨嘱嘩 嘽 嘨嘩 嘫 嘨嘩 嘽 嘱 嘲 噤 挽挱 其中系数函数 嘨嘩和 嘨嘩嘨 嘽 嘱 嘲 嘩 是定义在 区间 嘽 嘨 嘩上的连续 函数 。当嘨 嘨嘩 嘨嘩 嘨嘩嘩捔 挱 挲 嘨嘰 嘰 嘰嘩捔 时我们称方程组嘨嘱嘩是一个齐齐齐次次次线线线性性性常常常微微微分分分方方方程程程组组组嘬 否则就称之为非非非齐齐齐次次次线线线性性性常常常微微微分分分方方方程程程组组组 。为了 简便起见嘬在下面我们用矩阵和向量来表示线性方程组 。 记 嘨嘩 嘽 嘨挱 嘨嘩 嘨嘩嘩捔是定义在 区间 上的维未知 向量函数嘬 定义 噤 嘨嘩 噤挱 嘨嘩 噤挲 嘨嘩 噤 嘨嘩 捔 嘽 嘨 嘩 噤 噤 噤 噤 嘨嘩 嘽 噛 嘨嘩噝 嘬 嘨嘩 嘽 嘨 嘨嘩 嘨嘩 嘨嘩嘩捔 分别是定义在 区间 上 的 矩阵和维 向量 函数 ，且它们 挱 挲 的分量是关于 的连续 函数嘬 则线性方程组嘨嘱嘩用矩阵和向量可表示为 噤 嘨嘲嘩 嘽 嘨嘩 嘫 嘨嘩 噤 对应的齐次线性方程组可表示为 嘨嘳嘩 嘽 嘨嘩 噤 嘲嘮嘲嘮 初初初值值值 问问问题题题解解解的的的存存存在在在唯唯唯一一一性性性嘮 考考考虑线性常微分方程组初值 问题 噤 挨挩 嘽 嘨嘩 嘨嘩 嘫 嘨嘩 嘨嘴嘩 噤 嘨 嘩 嘽 挰 挰 其 中挰 嘬 挰 嘽 嘨挰 挰 挰 嘩捔是一个给定 的常 向量嘬 嘨嘩和 嘨嘩分别是定义在 区间 上 已知 的 矩 阵 挱 挲 和维 向量函数 ，它们的分量关于都是连续 的 。 定定定理理理 嘱嘮 线线线性常微分方程组初值 问题 丨临丩在 区间 上有且仅有一个解 。 定理 的结论可 以利用第三章 的噐噩噣噡噲噤存在唯一性定理和延拓定理直接推得嘮 由于对于方程组没有给 出过详细 证明，这里为确定起见 ，我们给出具体证明嘮 编辑 日期