常微分方程解的有界性渐近性及单调方法.docVIP

一阶线性常微分方程解的有界性、渐近性、比较定理、 单调方法 东北师范大学微分方程教研室,常微分方程(第二版)[M],北京:高等教育出版社,2005. Bellman不等式 设为区间上非负的连续函数, .若存在常数使得满足不等式. 则有，. 证明 当时，有由Gronwall不等式，即得 ，； 当时，有令 则有，； ， ， ，； 故有 ，. 一阶线性常微分方程初值问题 方程两边同乘以,得 对此式两边从到积分,得 于是,得 或 例3 设函数在上连续且有界,试证明:方程 的所有解均在上有界. 证 设为方程的任一解,它满足初值条件,于是,由求解公式,它可以表示为 我们只要证在上有界即可, 设 于是对有 ， 原题得证,进而在上有界. 习题4 设函数在上连续,且(常数). 求证:方程的一切解在上有界. 证明 设为方程的任一解,它满足初值条件,,于是,由求解公式,它可以表示为 由知,存在，当时,成立, 设,由求解公式, 对,有 于是 , ,即在上是有界， 显然在上是有界的,故在上有界.进而在上也有界. 习题5 设在上连续,且 又. 求证:方程的一切解均有. 证明 设为方程的任一解,它满足初值条件,,于是,由求解公式,它可以表示为 令 则有 利用积分控制收敛定理, 于是 , 从而有. 习题6 设函数在上连续可微,且有. 求证: 证明 设，则有在上连续,且有, 利用习题5的结果,得,