探究线性微分方程解的存在唯一性重点.docVIP

常微分课程报告 题目：探究线性微分方程解的存在唯一性 组长：侯芮 组员：白柳纯 张小雨 李琳 李振勇 报告日期：5.15 目录 引言......................................................1 引例..................................................2 证明解的存在唯一性的步骤..............................2 一阶线性微分方程解的存在唯一性........................2 探究n阶线性微分方程解的存在唯一性....................8 用不动点定理证明一阶线性微分方程解的存在唯一性.......10 不动点定理的一些结论..................................10 不动点定理证明一阶线性微分方程解的存在唯一性..........12 用不动点定理证明n阶线性微分方程解的存在唯一性.......16 总结.................................................21 引言 从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一? The analysis method of that satisfy the initial conditions the solution of linear differential equation of first order is the only proof of the theorem of. We learn to use several types of elementary solution of first-order equations, but also know a lot of first-order equations is not elementary solution for the general solutions of, and practical problems need is often required to meet some initial conditions the solution. Therefore, study for the initial value problem is mentioned an important position, natural to ask: the existence of solutions of initial value problems? If there is only one? 一、引例 例： y(0)=0 解： 通解： y=0 例： y(0)=0 解： 及y=0 二、证明解的存在唯一性的步骤 微分方程的初值问题等价于一个积分问题 构造一个合适的连续的逐步逼近序列 证明此逐步逼近序列一致收敛 证明此收敛的极限函数为所求初值问题的解 证明唯一性 三、一阶线形微分方程解的存在唯一性 首先，我们令 这里是在带形域 R: 上的连续函数. 函数称为在R上关于y满足利普希兹（Lipschitz)条件,如果存在常数L0使不等式 对于所有的都成立,L称为利普希兹常数。 下面我们给出一阶线性微分方程 (1) 解的存在唯一性定理:如果在R上连续且关于y满足利普希兹条件,则方程(1)存在唯一的解,定义于区间上,连续且满足初始条件: 这里 ， ， 下面我们分五个命题来证明。 命题1 设是 一阶线性微分方程 的定义于区间 上的，且满足初始条件 的解， 是积分方程 的定义于 上的连续解，反之亦然。 是 的解 所以 两边从到取积分得 （2） 又因为初始条件 即 （3） 所以是积分方程 定义于