线性微分方程LinearODE31预备知识32解的存在性与唯一性.PDFVIP

第三章 线性微分方程 Linear ODE 3.1 预备知识 3.2 解的存在性与唯一性 3.3 齐次线性微分方程组通解的结构 3.4 非齐次线性微分方程组通解的结构 3.5 高阶线性微分方程 3.6 复值解和级数解法 习题 University of Science and Technology LiaoNing 第八讲: §3.1 解的存在性与唯一性 §3.2齐次线性微分方程组解的结构 1．掌握高阶线性微分方程转化为线性系 统的变换; 本 2．深刻理解线性系统解的存在、唯一性 讲 定理的理论意义; 要 3．理解、掌握齐次线性微分方程组解的 结构 求 重点:1理解线性系统解的存在唯一性定理 2 向量函数组线性相关、无关定义的掌握 难点：齐次线性微分方程组解的结构 University of Science and Technology LiaoNing 第八讲: §3.2 解的存在性与唯一性 §3.3齐次线性微分方程组解的结构 一、问题的提出 很多微分方程组不能用初等积分法来求其通解，那么，退一步讲， 它们是否存在满足给定初值条件的解，此解是否唯一都是我们重点关 注的问题. 解的存在性为方程的求解提供理论基础；而解的唯一性是近似计 算的前提. 二、存在、唯一性定理 A t f t () () Ω⊂R t ∈Ω 定理 3.1 设 和 为区间 上的连续函数．则对任一 和 0 n Ω 任意 维常向量，方程组(3.1.6)在区间 上恒有定义且满足初值条件 x t ξ ( ) 的解，并且此解是唯一的． 0 University of Science and Technology LiaoNing 第八讲: §3.2 解的存在性与唯一性 §3.3齐次线性微分方程组解的结构 x t ξ 命题 1 满足初始条件 ( ) 的微分方程组(3.1.6)等价于下面相应的积 0 t x t ξ =+ A τ x τ +f τ dτ 分方程组： () ∫t  ( ) ( ) ( ) (3.2.1) 0 ϕ t ξ, 命题2 用逐步逼近法构造皮卡(Picard)序列，即 0 () t t A f d , n 1, 2, ϕ ξ =+  τ ϕ τ + τ τ