一阶维微分方程组.pptVIP

第二讲 一阶二维微分方程组 1、二维微分方程组的模型：两生物种群生态模型 * 2、捕食-食饵模型（狐狸-野兔） 食饵的食物不丰富，自身的竞争非常激烈 两种群竞争（共生）模型 环境的限制 * 3、传染病模型 * 4、质点-弹簧系统模型 * 5、一阶二维微分方程组的一般形式 初值问题 向量表示 * 6、初值问题解的存在唯一性定理 在R上连续；关于 满足局部的Lipschitz条件 * 2.2：定性方法：相平面与轨线；解空间与解曲线 平衡解分析 * 微分方程=自然定律？ function dy=ODEfun2(t,y) dy=zeros(2,1); dy(1)=2*y(1)-1.2*y(1)*y(2);dy(2)=-y(2)+0.9*y(1)*y(2); return [T,Y]=ode45(ODEfun2,[0:0.5:100],[2;3]); [T1,Y1]=ode45(ODEfun2,[0:0.5:100],[1;1]); [T2,Y2]=ode45(ODEfun2,[0:0.5:100],[1;2]); numsol2=[T,Y,T1,Y1,T2,Y2] subplot(3,1,1),plot(T,Y,-g);subplot(3,1,2),plot(T1,Y1,-b);subplot(3,1,3),plot(T2,Y2,-r);figure;plot(Y(:,1),Y(:,2),-g);hold on;plot(Y1(:,1),Y1(:,2),-b);plot(Y2(:,1),Y2(:,2),-r); * 最简单系统的定性分析 * 相图 * 作业：P89-figure2.4,2.5;P106-2.4.3（自学） * 一阶方程解的存在性、唯一性 f(x,y)在R0上连续 （1）有解与（2）有连续解等价 * 构造函数序列 * （3）在R0上 * 函数序列一致收敛的条件 Local Lipschitz condition * 一致收敛 * 是（2）的连续解 * 是（2）的唯一的解 * (1)的近似解析解（Piccard序列） * 误差要求？ * Lipschitz条件的加强 * 1、自治方程的相线 平衡点，斜率场，解图像，相线图 * 4、平衡点的分类 源、汇、结点 * 例子:平衡点的类型与f(y)在y0的单调性 * 由此而得：线性化定理 定理 y0是汇 y0是源 y0是结点 * 定理1.7 如果是自治方程的一个平衡点 则 （1）y0是源当且仅当f(y)在y0附近严格单调增加； （2） y0是汇当且仅当f(y)在y0附近严格单调递减； * 定理1.8（线性化定理）f(y)连续可微 若 f’(x0) 0 ，则 y0 是源； 若 f’(x0) 0 ，则 y0 是汇； 若f’(x0) =0 ，则需要进一步信息判断类型。 * P80 43. * * * * *