常微分方程ODE9.pptVIP

* * 定理5.1 设n维向量值函数 在区域 上是连续的， 而且对 y 满足李氏条件 其中常数 令正数M为 在区域G的一个上界， 而且令 则初值问题 的解 在区域 上是连续的． ． 推论 设n维向量值函数 在区域 上是连续的， 而且对 y 满足李氏条件. 正数M为 在区域Ｒ的一个上界． 其中 的解 在区域 上是连续的． 则微分方程初值问题 定理5.２ 设n维向量值函数 而且对 y 满足局部李氏条件． 假设 在Ｊ内任取一个有界闭区间 常数 ，使得对任何初值 的解 柯西问题 在 开区域Ｇ上是连续的， 空间内的某个 是微分方程 的一个解， 令它的存在 区间为Ｊ． 则存在 也至少在区间 上存在，并且它在 闭区域 上是连续的． 定理5.３ 设n维向量值函数 在区域 上是连续的， 令正数M为 在区域G的一个上界， 而且令 则初值问题 的解 在区域 上是连续可微的． 而且对 y 和　有连续偏微商 几何意义 线性微分方程组 一般理论 常系数线性微分方程组 高阶线性微分方程组 Linear Systems Zero at the origin: Addition: Scaling: Canonical example: Quantum mechanics, Markov chains, … Many mechanical systems Electronic circuits intercontinental telecom Why are Linear Systems Important? Developed in 1930’s at Bell Labs; “linearize” around Remarks In examples, this is often equivalent to small angle approximations, etc Only works near to equilibrium point Linearization around an equilibrium point 齐次微分方程组 解的结构 齐次线性方程组 解集是一个n维线性空间 是(1)的n个线性无关的解， 　(1)的通解为 是任意常数． 　解集是一个n维线性空间 　(1)的通解为 其中 是任意常数． 是(1‘)的n个线性无关的解， 其中 称为是线性无关的 如果 区间I 上的函数 例１：区间　　　　上的函数 线性无关， 其中 两两不同． （两边对t求至n-1次导数得） Vandermonde行列式 上述方程组是关于 其系数矩阵的行列式是 的线性方程组 其中 是任意常数． 例２：求 的解． 其中 是方程组满足 的解．易见 线性无关． 设 和 是齐次线性微分方程组 的解， 也是方程组 (1) 的解， 则它们的线性组合 其中 和 是 (实的) 任意常数． 令齐次线性微分方程组 (1) 在区间 上所有的解 引理2 由引理1 其中 n 是微分方程组(1)的阶数． 用线性代数的语言来描述Ｓ的结构： 引理1 集合　是线性空间． 所组成的集合为　， 线性空间　是 n 维的， 定理1 齐次线性微分方程组(1)在区间 线性无关的解 上有 n 个 而且它的通解为 是任意常数． 通常称之为 齐次线性微分方程组 (1)的 n 个线性无关的解 一个基本解组． 这样求(1)的通解只需求其一个基本解组． 其中 设已知 是齐次线性微分方程组 (1)的 n 个解， 判别它们是否线性无关． 则问题归结为 设在 中各解的分量形式为 称行列式 为解组 的 Wronsky 行列式． 引理3 上述 Wronsky 行列式满足如下刘维尔公式 其中 ，而 的迹，即 表示矩阵 定理2 线性微分方程组(1)的解组(2)是线性无关的 充要条件为