经济学用微分方程.pptVIP

判断平衡点 0 x 是否稳定通常有两种方法。利 用稳定性的定义 (3.43) 式，称间接法。另一种 称直接法，不求方程 (3.41) 的解 ) ( t x ，而是将 ) ( x f 在平衡点 0 x 处作 Taylor 展开，取一次项，方程 (3.41) 近似为 ) )( ( ) ( 0 0 x x x f t x ? ? ? ? (3.44) 上式称为 (3.41) 的近似线性方程，显然 0 x 也是 (3.44) 的平衡点。这样将方程 (3.41) 的平衡点 稳定性问题转化为近似线性方程 (3.44) 的平 衡点稳定性问题。 对于方程 (3.44) ，关于 0 x 点的稳定性有如下 结论：若 0 ) ( 0 ? ? x f ，则 0 x 对于方程 (3.44) 和 (3.41) 都是稳定的；若 0 ) ( 0 ? ? x f ，则 0 x 对于方程 (3.44) 和 (3.41) 都是不稳定的。 0 x 对于方程 (3.44) 的稳定性很容易由定义 (3.43) 证明，因为 (3.44) 的一般解是 0 ) ( 0 e ) ( x C t x t x f ? ? ? (3.45) 其中 C 是由初始条件决定的常数，因 0 ) ( 0 ? ? x f ，当 ? ? t ，必有 0 ) ( x t x ? 。 二、二阶 ( 平面 ) 方程的平衡点及稳定性 1. 平衡点的稳定性 把如下形式的两个一阶方程构成的方程组 ? ? ? ? ? ) , ( ) ( ) , ( ) ( 2 1 2 2 1 1 x x g t x x x f t x ? ? ( 3.46 ) 称为自治的微分动力系统。 平面 2 1 ox x 称为方程组 ( 3.46 ) 的相平面。方程组 ( 3.46 ) 的解 ) ( 1 1 t x x ? 、 ) ( 2 2 t x x ? 在相平面上的曲线称为 相轨线。 2 、常系数线性齐次方程组的平衡点稳定性 为了用直接法讨论方程组 ( 3.46 ) 的平衡点稳 定性，先考察常系数线性齐次方程组 ? ? ? ? ? ? ? 2 2 1 1 2 2 2 1 1 1 ) ( ) ( x b x b t x x a x a t x ? ? ( 3.49 ) 系数矩阵记作 ? ? ? ? ? ? ? 2 1 2 1 b b a a A 并假定 A 的行列式 0 det ? A 于是原点 ) 0 , 0 ( 0 C 是方程组 ( 3.49 ) 的唯一平衡点， 它 的稳定性由系数矩阵的特征方程 0 ) det( ? ? I A ? ( 3.50 ) 的根 ? ( 特征根 ) 决定。 第五节 传染病模型 一、模型 I (SI 模型 ) 模型的已知条件通过假设给出： 1 ．人群分为易感染者 (Susceptible) 和已感染者 (Infective) ， SI 模型 由此而来。以下简称健康者和病人， t 时刻这两类人在总人数中所占的比 例分别记作 ) ( t s 和 ) ( t i 。 2 ．每个病人每天有效接触的平均人数是常数 ? ， ? 称日接触率。当病人 与健康者有效接触时，使健康者受感染变为病人。 根据假设，每个病人每天可使 ) ( t s ? 个健康者变为病人，因为病人数为 ) ( t Ni ， 所以每天共有 ) ( ) ( t i t Ns ? 个健康者被感染，于是 Nsi ? 就是病人数的增加率，即有 Nsi t i N ? ? d d (3.56) 又因为 1 ) ( ) ( ? ? t i t s (3.57) 再记初始时刻 ) 0 ( ? t 病人的比例为 0 i ，则 ? ? ? ? ? ? ? ? ? 0 ) 0 ( d d i i si t i ? (3.58) 方程 (3.58) 是 Logistic 模型，它的解为 t e i t i ? ? ? ? ? ) 1 1 ( 1 1 ) ( 0 (3.59) 第二部分 微分方程与差分方程方法 第三章 微分方程方法 动态模型一般具有两个特点：一、方程与 时间相关，即自变量中含有时间；二、