[数学]p52微分方程的定性分析.ppt

定性定量分析 定性--用文字语言图像进行相关描述 定量--用数学语言进行描述 定性分析与定量分析应该是统一的，相互补充的；定性分析是定量分析的基本前提，没有定性的定量是一种盲目的、毫无价值的定量；; 定量分析使之定性更加科学、准确，它可以促使定性分析得出广泛而深入的结论  数值解法举例：牛顿切线法 牛顿切线法的基本思想: 二. 战斗模型分析 三. 捕食系统的Volterra方程 （狐狸与野兔问题） x y o k2/c k1/b A 2. 平衡点A的实际意义 记 T=t1–– t0 , 称T 为周期,将原方程 中的第二个方程改写为 两边从t0 到 t1 积分，得 * 随着科学技术的发展，常微分方程定性分 析在各个学科领域已成为必不可少的数学工 具，也是数学建模的必备基础理论. 一. 微分方程定性理论的基本任务和主要研究方法 极少情况下，能够用初等函数或初等函数的积分表示微分方程的解. 有如下四种情况: 程的近似根 . 记纵坐标与 同号的端点为 用切线近似代替曲线弧求方 在此点作切线 , 其方程为 令 y = 0 得它与 x 轴的交点 其中 再在点 作切线 , 可得近似根 如此继续下去, 可得求近似根的迭代公式 : 称为牛顿迭代公式 求微分方程的数值解 解决方法 对微分方程进行定性分析 一般提法：不去积分给定的微分方程, 而根 据方程右端的函数的性质确定方程的积分曲线在 整个区域内的分布状态. 微分方程定性分析 基本任务：考虑在有限区域内积分曲线的形 状, 或研究当时间无限增大时, 积分曲线的性态. 研究对象：驻定系统 其右端的函数不显含自变量 t，称为一阶n维驻定系统(自治系统、动力系统). 若微分方程组 例 单一质点非受迫直线运动满足方程 得一个二维驻定系统 一般二维驻定系统形式为 存在且唯一，则在三维空间(x, y, t)中有且仅有一条解曲线通过点(x0, y0, t0). 基本思想 将空间曲线投影到平面上进行分析. 定义：称平面 (x, y )为相平面，称解曲线 在相平面上的投影为相轨线，相轨线族称为 相位图. x y t o t0 (x, y, t) 解曲线 投影曲线 相轨线 轨线方程 由原方程（2）消去 t 而得到, 相 点的运动方向由原方程确定. 对系统运动的研究归结为对轨线性质的研究. 使 P(x0, y0)= Q(x0, y0)=0 的 (x0, y0)称为方程 (2)的平衡点. 续例 两方军队交战,希望为这场战斗建 立一个数学模型, 应用这个模型达到如下目的： 1. 预测哪一方将获胜？ 2. 估计获胜的一方最后剩下多少士兵？ 3. 计算失败的一方开始时必须投入多少士兵 才能赢得这场战斗？ 记 x(t) — t 时刻X方存活的士兵数； y(t) — t 时刻Y方存活的士兵数； 有微分方程组： 4. 战斗持续时间？ （4） 初始条件为 x(0)=x0, y(0)=y0 模型分析: 1. 分析方程组 1）变量 x≥0，y≥0，有唯一平衡点(0, 0); 2）x(t)，y(t)都是单降函数, 且随着x, y 的减小， 衰减速度也在降低. 2. 分析相位图 1） 求相轨线方程，将两个方程相除，得 代入初始条件，有 双曲线族 2） 预测何方军队获胜, 将剩下多少士兵. (1) 若 ,解曲线方程化为 一场势均力敌的,导致相互毁灭的战斗 （2）若 , 从相位图观察出Y方将获胜. 0 x y (x0,y0) Y方胜 X方胜 证明 令 y =0, 由轨线方程得 不可能出现 x0 同时 y=0 的情形, 即X方获胜的情形. 即Y方获胜时的幸存士兵数. 3） 测算失败一方开始应投入兵力. 矛盾 将战斗力参数值a=0.15, b=0.1 (人/h)代入方程(4) 因 有 预测X方军队将获胜. Y方军队要获胜开始 投入兵力y0应满足： 解得y08165, 至少派出8165名士兵才能转败 为胜. 4） 战斗持续时间讨论 最快歼 灭速度 意味着战斗开始时Y方军队的士兵以每小时 1000人的速度被歼灭，故战斗至少持续 5000/1000=5（小时）. 战斗结束时X军队余下士兵 （名） 此时,Y军队士兵被歼灭的速度为 最慢歼 灭速度 设Y军队士兵保持此速度被歼灭，有 y=－790.1t + 5000, 令y=0, 解得t=5000/790.1≈6.32(小时). 分析结果表明，战斗会持续5～6.32(小时),取 中间值约为5.7(小时). 注 直接求解微分