1、1微分方程概论1 微分方程的一般理论1.1 微分方程的一般形式一阶微分方程（1）0)(,xtfd其中 是 和 的已知函数， 为初始条件，又称定解条件),(xtf一阶的微分方程组(2),21()( ),(,)0mixt ifdiiii 方程组（2）又称为一阶正规方程组如果引入向量 TmTmdtxtxffx,),( )(2121 0()(0 dt则方程组（2）可以写为简单的形式（3）0)(,xft即与方程（1）的形式相同，当 时为方程（1） m对于任一高阶( n 阶)的微分方程 ),;(1ndtxtxfdt2如果记 ,则方程为 ，即可化为一阶),210(niydtxi ),;(1101nnytfd
2、ty方程组的形式因此，下面主要对正规方程组（3）进行讨论1.2 微分方程解的存在唯一性正规方程组（3）的解存在且唯一的定理。定理 1（Cauchy-Peano） 如果函数 在 上连续，则方程),(xtf bxatR00,:组（3）在 上存在解 满足初值条件 ，此处 ，ht0x)(Mah,min),(max),(tfMRt定理 2 如果函数 在 上连续，且满足李普希兹),(xtf bxatR00,:(Lipschitz)条件（即存在正常数 L 使得 ，其中)2()1()2()1(,Lf）,则方程组（3）满足初值条件 的解是唯一的xtt),(,)1 0t1.3 微分方程的稳定性问题实际中，微分方程
3、所描述的是物质系统的运动规律，在用微分方程来研究这个物理过程中，人们只能考虑影响该过程的主要因素，而不得不忽略一些认为次要的因素，这种次要的因素通常称为干扰因素这些干扰因素在实际中可以瞬时地起作用，也可持续地起作用从数学上来看，前者会引起初值条件的变化，而后者则会引起微分方程本身的变化在实际问题中，干扰因素是客观存在的，由此可见，对于它的影响程度的研究是必要的，即初值条件或微分方程的微小变化是否也只引起对应解的微小变化？这就是微分方程的稳定性问题这里仍以方程组（3）为例讨论1.有限区间的稳定性如果 在某个有限的区域 内连续，且对 满足李普希兹条件，),(xtf 1nRGx是方程组（3）的一个特
4、解，则当 充分接近于 时，方bax0 )(0btat程组（3）在 上满足初值条件 的解 有t )(0tx,(0t,lim)(0 batx 即对任意给定的 ，总存在相应的 ,当 时，对一切)(0t有bta3)(,(0txt则称方程组（3）的解 在有限区间 上是稳定的)ba2.无限区间的稳定性如果 是方程组(3)的一个特解， ( )是方程组（3）满)(0tx,(0xt0t足初值条件 的解对任意给定的 ，总存在相应的 ,当00时，对一切 有)(0t 0t)(,(x则称方程组（3）的解 在无限区间 上是稳定的，即无限区间上的稳定)t0t3.渐近稳定性如果方程组（3）解 在无限区间 上是稳定的，且存在
5、，当)(tx0t 0时，有00)(tx)(,lim0txtt 则称 是渐近稳定的,或称局部渐近稳定性)(t如果上述 （或给定的一个有限常数） ，则相应的渐近稳定性称为全局渐近稳定性0（或大范围渐近稳定性） 4.经常扰动下的稳定性对于方程组（3） ，考虑相应的方程组（4）),(),(xRfxttd这里的 称为扰动函数),(xRt如果对任意给定的 ,总存在 和 ，使得当 时有00)()()(0tx,xt则方程组（4）有满足初值条件 的解 ( )且当 时有0x,0t0t0t)(,(t就说方程组（3）的特解 在经常扰动下是稳定的)t5.研究稳定性的方法实际中，要研究方程组（3）的解 的稳定性问题，可以
6、转化为研究方程的零解)(tx（平凡解）的稳定性问题事实上：4对于方程组（3）的任一特解 ，只要令 ，则)(tx)(txy),(),(),(gfyf fttttd显然有 故方程组（3）变为0),(tg（5）),(gtd于是可知方程组（3）的解 对应于方程组（5）为 （平凡解） 因此，要研究方x0y程组（3）的 的稳定性问题可转化为研究方程组（5）的平凡解 的稳定性问)(t y题如果微分方程组的所有解都能简单地求出来，一个特解的稳定性问题并不难解决，然而，实际中这种情况太少了因此，一般性的稳定性问题的研究是复杂的，通常的情况下都是针对具体问题做相应的研究2 微分方程的平衡点及稳定性2.1 微分方程
7、的平衡点设有微分方程组（3） ，对于 ， 在某个区域内,),(21 batRxnTx ),(xft连续，且满足解的存在唯一性条件如果存在某个常数 ，使得 ，则称点0 0为方程组（3）的平衡点（或奇点） ，且称 为方程组的平凡解（或奇解） 0x如果对所有可能初值条件，方程组（3）的解 都满足)(t0)(limxtt则称平衡点 是稳定的（渐近稳定） ；否则是不稳定的0x实际中，判断平衡点的稳定性有两种方法：间接方法和直接方法 3间接方法：首先求出方程的解 ，然后利用定义 来判断)(tx0)(limxtt直接方法：不用求方程的解直接的来研究其稳定性2.2 一阶方程的平衡点及稳定性5设有微分方程 ，其
8、相应的平衡点为代数方程 的实根 其稳定)(xfdt0)(xf0x性可以用间接方法判断，下面说明直接方法首先,将函数 在 点作一阶泰勒(Taylor)展开，即方程可以近似地表示为)(f0)(0xfdtx显然， 也是该方程的一个平衡点，其稳定性主要取决于 符号，即有下面结论：0x )(0xf若 ，则平衡点 是稳定的；若 ，则平衡点是不稳定的)(f 0)(0f2.3 平面方程的平衡点及稳定性设平面方程组的一般形式为（6）),(2121xgdtf则称代数方程组 0),(21xgf的实根 为平面方程组(6)的平衡点，记为 如果对所有可)0(201xx，）（ )(0(210xP，）（能的初值条件方程的解为
9、 满足)(21t， )0(20lim)(li xttt ，）（则称平衡点 是稳定的；否则是不稳定的也可以用直接方法讨论(0210xP，）（将方程组（6）的右边的函数作一阶泰勒展开，即可表示为近似的线性方程组（7） )(,()(,( , 0(202)10(102)12 )()()()(1 221 xxgxgdtxff记系数矩阵为 ，且假设其行列式 ，则方程组（7）的特征方程为021PxfA A, 即I02qp其中 ， 为特征根不妨设特征根分别为 ，即Aqgfppx,)(021 21,6qp421,2根据特征根 和系数 的取值情况可以确定平衡点 的稳定性21,qp, )(0(210xP，）（事实上，当 时平衡点是稳定的；当 或 时平衡点是不稳定的0对于一般微分方程的平衡点和稳定性问题可以类似地讨论
