圆平移后的方程变化_MIT—微分方程笔记05 一阶自治微分方程

第05讲 一阶自治微分方程

First-order Autonomous ODEs

优酷视频​v.youku.com

本讲介绍很常见的一类常微分方程

，在方程等式右侧没有自变量

t，有些人喜欢称之为时间无关方程，我们称之为“自治”方程，方程右侧只是因变量 y的函数。

实际上，方程可以通过分离变量法求解，但本讲的内容是关于如何在不求解微分方程的情况下，得到自治方程的相关信息。有时候分离变量法想得到解函数的显式也很困难，而有些情况下，我们想要得到的只是解函数的某些信息。

方向场是定性分析解函数性质的基本工具。

因为自治方程的右侧没有自变量项，因此其等斜线就是与X轴平行的直线，而直线上的线素斜率都相等。求出一条积分曲线的话，将其做平移得到的也是积分曲线，即自治方程的积分曲线满足平移不变。

自治方程具有临界点，临界点满足

。临界点所在的等斜线

上，其线素的斜率均为0，并且回代可知

也是方程的解。

因为

也是一条积分曲线，而积分曲线是不相交的，因此其它积分曲线不能穿越临界点所在的直线。如果存在两个临界点，则在临界点的直线之间的积分曲线不能穿越这两条线，并且它们满足平移不变性，这极大程度地限制了解函数的行为。

对自治方程的处理步骤：

1.求解

，得到临界点；

2.作出

的图像，已经求得0点了，需要了解在哪些区域

f( y)>0或者 f( y)<0，因为

，所以解函数在

f( y)>0时递增，在 f( y)<0时递减；

例：银行账户问题。y代表账户中的钱款，r代表利率。

则账户钱款的变化等于本金乘以利率

，现有一出纳以恒定速率盗用账户中钱款，盗用率为

w，则

。

此利率模型的解为

。

用临界点法来求解函数的信息：

1.

，得到

。

2.对y-t和y'-y分别作图，获取解函数信息。

从y'-y图中可以看出，y值大于w/r时，导数值大于零，则其解函数曲线为递增函数，且导函数值随着解函数值上升而变得更大，因此解函数递增速度将更快；y值小于w/r时，导数值小于零，则其解函数曲线为递减函数。在解函数图中可以看出，以临界点y=w/r为界，临界点以上为递增函数以下为递减函数，分别画出各一条解曲线，通过平移可以得到曲线族。

Logistic方程

这是一种人口模型，人口模型用来描述人口增长行为

，其中k为人口增长率，是出生率和死亡率的差值。而Logistic方程认为增长率不可能为常数，因资源有限增长率会随着y增长而降低，最简单的情况为

。则新的人口模型为

。这个模型还可以用于疾病传播、流言传播等等。

Logistic方程的解为

，其中

。

用临界点法来求解函数的信息：

1.

，得到

。

2.对y-t和y'-y分别作图，获取解函数信息。

如果人口正好从0开始，则永远保持在0。而对于另一个临界点，如果人口数从a/b开始，它也会保持在a/b。

观察y'-y的图像可知，在两根之间的部分，导函数大于零，因此解函数递增；若y大于a/b，导函数小于零，解函数y递减；同样地，y小于零时，导函数小于零，解函数递减。

在y-t函数图上，在0和a/b之间，解函数y为递增函数，但是不能穿越临界值y=0和y=a/b，得到如图所示的曲线，平移可得到该曲线族。若初值大于a/b，则函数为递减，同样地，若小于0，则函数也为递减函数，尽管小于0这一族解曲线在实际中没有意义，但是在数学上存在。

可以看到两个常数解0和a/b有所区别，对于y=a/b而言，随着时间的增长所有的解都趋近于它，而对于y=0，除非初值为0，否则随着时间，所有的解都会远离它。前者称之为稳定解或稳定临界点，而后者则是非稳定解或非稳定临界点。在y'-y图像上，箭头交汇的即为稳定临界点，而箭头发散开的为非稳定临界点。

若y'-y图像如下图所示，则点a为半稳定临界点，从一个方向出发的解曲线会趋近于a，而另一个方向则会随着时间而背离a。

带“收割”概念的Logistic方程

养鱼模型，鱼群数量上升后会被“收割”，模型为

。这里不是按照比例收割，而是以固定的产能进行收割，因此

h为零次项。

我们从y'-y图像进行讨论:

从图中可以看出，随着函数曲线f(y)的下降，两个临界点之间的距离变小，如h1的情况，反映在y-t图上就是，两条临界线之间的距离变窄。

如果下降到曲线和X轴没有交点，如h2的情况，则没有临界点存在，导函数值始终低于0，解函数始终递减。

值得一提的是

的情况，按照这个收割率

hm来收割，则不会对总量产生任何影响。