常微分5.1节.pptVIP

由 及 在 上一致收敛于 在 得 上一致收敛于 因此 所以 (i) 设 因为 所以 所以 (3) 对 n = 0成立. (3) (v) 证明解唯一 为 (2)的又一解. 由归纳法证明 * * Chapter 5 线性微分方程组 Shurong Sun University of Jinan Semester 1, 2010-2011 例：试列出图中经过 与 的电流 与 应满足的微分方程。 I II 解：分别对系统I和II 应用基尔霍夫第二定律得 即 E 含有n个未知函数 的一阶微分方程组 的一般形式 (5.1.1) 一阶线性微分方程组的标准形式 IVP: (5.1.1), §5.1 存在唯一性定理 1 定义与记号 2 存在唯一性定理 3 高阶线性微分方程与线性微分方程组的关系 1 定义与记号 矩阵函数 B ( t ) 或者向量函数 u ( t ) 在 上称为连续的，如果它的每一个元素都是 上的连续函数。 设 定义 向量函数。 矩阵函数 矩阵函数 B（t）或者向量函数 u（t）在 上称为可微的，如果它的每一个元素都 上可微。 它们的导数分别由下式给出： （I） ， （II） （III） 不难证明,如果 矩阵 ， 或者一个 向量 ， 是可微的，那么下列等式成立： 维列 类似地， 上称为可积的，如果它的每一个元素都在区间 上可积。 矩阵B( t ) 或者向量 u(t)在 它们的积分分别由下式给出： (5.1.1) 记 则（5.1.1）可表示为 (5.1.2) 一阶线性微分方程组的向量表示 (5.1.1) 满足初始条件 的IVP 可表示为 例如，方程组 可写作 IVP 可表示为 微分方程组解的定义 函数组 称为 （5.1.1）的解， 如果把 代入 （5.1.1）后，能使等式变为恒等式。 如果函数组 是 （5.1.1）的解， 且满足 那么称 为 IVP (5.1.1), 的解。 称为 的解 n 维向量函数 为 则称 若 的解且满足 为IVP 的解。 例1 是初值问题 在区间 上的解。 解 因此 是给定初值问题的解。 验证 又显然 2 存在唯一性定理 考虑初值问题 的解的存在唯一性。 （1）范数及向量函数序列的收敛性 设 是 矩阵， 是 维向量， 则 数列 称为收敛的， 都是收敛的。 ， 向量序列 如果对每一个 函数列 称为 都在[a, b] 上一致收敛。 向量函数序列 如果对每一个 在[ a, b ]上一致收敛， 易知，区间 上的连续向量函数序列的 一致收敛极限向量函数仍然是连续的。 函数序列在区间 若其部分和作成的向量 上是收敛（一致收敛）。 称为在区间 上收敛（一致收敛）, 向量函数级数 如果连续向量函数序列 在区间 上是一致收敛的，则 积分号下取极限 M-判别法 ： ， ，而级数 是收敛的，则 在区间 上是一致收敛的。 若 注：对于一般矩阵序列，也有类似于向量序列有关的定义和结果。 矩阵序列的收敛， 无穷矩阵级数的收敛， 无穷矩阵级数收敛的比较判别法： 若对每一个整数 ， 而数值级数 ， 是收敛的，则 也是收敛的。 同样，可以给出无穷矩阵函数级数 收敛的定义和有关结果。 一致 定理1（存在唯一性定理） 是 矩阵， 是 维列向量， 上连续， 上的任何数 及任一常数向量 如果 它们都在区间 则对于区间 方程组 存在唯一解 ， 定义于整个区间 上，且满足初始条件 。 (i) x( t ) 为 IVP (1) 等价于 (2) x(t) 为 证明： 的解 的连续解. (ii) 构造逐次逼近序列 考察向量函数级数 (iii) 证明 在 上一致收敛。 其部分和为 所以只需证明 在 [ a, b ] 上 一致收敛。 因为 其中 只证明在区间 上一致收敛， 上可类似证明。 在区间 如果 则 由归纳法，有 所以 在 上一致收敛。 设 则 (iv) 证明 为积分方程（2）定义在[a, b] 上 在 上连续。 的连续解。