常微分方程41微分方程组的概念

第四章微分方程组前面几章研究了只含一个未知函数的一阶或高阶方程，但在许多实际的问题和一些理论问题中，往往要涉及到若干个未知函数以及它们导数的方程所组成的方程组，即微分方程组，

本章将介绍一阶微分方程组的一般解法，重点仍在线性方程组的基本理论和常系数线性方程的解法上.14.1微分方程方程组的概念4.2微分方程组的消元法和首次积分法4.3线性微分方程组的基本理论4.4常系数齐次线性微分方程组4.6微分方程组应用举例4.5常系数非齐次线性微分方程组2Volterra捕食-被捕食模型设有捕食种群和食饵种群生活在同一小环境中,建立微分方程组来研究两种群个体数量随时间的变化趋势.设t时刻食饵和捕食者的数量或密度分别为假设个体不区分大小,而且没有个体向环境输入或从环境输出.一、微分方程组的实例及有关概念4.1微分方程组的概念3为环境的容纳量.当时,种群规模增长,时,种群规模减小.当环境中不存在捕食者时,食饵种群的增长规律用下述Logistic方程来描述称为密度制约项.4由于捕食者的存在,将使食饵的增长率减少,设单位时间内每个捕食者吃掉的食饵数量与该时刻食饵的总量成正比,t

时刻有y(t)个捕食者,它们在单位时间内吃掉食饵的总数量为食饵种群对于捕食种群,当不存在食饵种群时,Logistic方程描述增长规律:项反映了捕食者仅以食饵为生.5当存在食饵种群时,被捕食者吃掉的食饵将转化为能量去生育后代,设转化系数为则捕食种群的增长规律为Volterra

捕食-食饵系统:6质点的空间运动已知在空间运动的质点的速度与时间t

及点的坐标的关系为且质点在时刻经过点求该质点的运动轨迹.这个问题其实就是求微分方程组满足初始条件的解7高阶微分方程令则可以化为方程组:高阶微分方程组?今后我们只研究一阶微分方程组.8含有个未知函数的一阶微分方程组线性微分方程组?非线性微分方程组?微分方程组的解?9通解及通积分

如果通解满足方程组则称为方程组的通积分.含有个任意常数的解

为方程组的通解

.这里相互独立.10二、函数向量与函数矩阵（1）函数向量和函数矩阵n维函数向量注：关于向量或矩阵的代数运算!为上的函数.阶函数矩阵11关于函数向量与函数矩阵的连续、微分、积分?

123.2.对任意常数性质：1.且

且（2）矩阵及向量的范数

4.5.13向量序列和矩阵序列的收敛称为收敛的，向量序列如果数列都是收敛的。上收敛的（一致收敛的），函数向量序列称为在在区间如果函数列都是收敛的（一致收敛的）。在区间14函数向量级数如果其部分和所作成的函数向量序列是收敛的(一致收敛的).与数学分析中关于函数序列和函数级数有类似结论.例如：判别通常的函数级数的一致收敛性的维尔斯特拉斯判别法对于函数向量级数也成立。在区间I上收敛(一致收敛),则称在区间I15如果而级数是收敛的，则函数向量级数在区间上是一致收敛的。如果连续函数向量序列在上是一致收敛的，则函数矩阵序列的收敛?16（3）微分方程组的向量表示矩阵形式:记初始条件初始值问题:

17例1:将初值问题化为用矩阵表示的方程组形式.解:则有

设令则有

初始条件

18三、微分方程组解的存在唯一性定理则初值问题

定理4.1设和在上连续,

在内存在惟一解

.19证明:

（1）设为的满足初始条件的解.

（2）构造Picard迭代向量函数序列,

的解,则是积分方程取,为区间上的连续函数列.令20级数的部分和由Weiestrass

判别法,级数一致收敛,所以向量函数序列一致收敛.构造

（3）序列在上是一致收敛的.令

21（4）是积分方程在上的连续解.

22(5)解的唯一性

设是积分方程的另一连续解,则有令