常微分方程讲稿.ppt

其中???????????????????? ????引理4.1 方程(4.5)与方程组(4.7)是等价的，即若 是方程(4.5)在区间I上的解，则 ， ，…， 是方程组(4.7)在区间I上的解；反之，若 ， ，…， 是方程组(4.7)在区间I上的 是方程(4.5)在区间I上的解.????证明 设 是方程(4.5)在区间I上的解.令???????? ， ，…， ?????? (4.9) 则有????? (4.10) 在区间I上恒成立. 这表明， ， ，…， 是方程组(4.7)在区间I上的解. ???????? 反之，设 ， ，…， 是方程组(4.7)在区间I上的解.于是(4.10)式在区间I上恒成立.由(4.10)的前n-1个等式.可以看出，函数 ， ，…， 满足关系式(4.9)，将它们代入到(4.10)的最后一个等式，就有 ?  在区间I上恒成立，这就表明 是方程(4.5)在区间I上的解.证毕.????由引理4.1和第三章的定理3.1′,我们立即可以得到下面的定理．????定理4.1 如果方程(4.5)的系数 (k=1,2,…，n)及其右端函数f(x)在区间I上有定义且连续，则对于I上的任一 及任意给定的 ，方程(4.5)的满足初始条件(4.6)的解在I上存在且唯一.????在下面的讨论中，总假设(4.5)的系数 (k=1,2,…，n)及其右端函数f(x)在区间I上连续，从而，方程(4.5)的满足初始条件(4.6)的解在整个区间I上总存在且唯一. ????如果在(4.5)中， 在区间I上恒等于零,(4.5)变成?????????????? ???????? (4.11) 方程(4.11)称为n 阶线性齐次微分方程 (或简称n阶齐次方程)，与此相应，(4.5)称为n 阶线性非齐次微分方程(或简称n阶非齐次方程).有时，为了叙述上的方便，还称(4.11)为(4.5)的对应的齐次方程. 4.1.2 n 阶线性齐次微分方程的一般理论????由引理4.1，齐次方程(4.11)等价于下面的一阶线性齐次微分方程组 ?? (4.12)这里 和Y与(4.8)中的相同.于是由第三章的定理3.2可知，齐次方程(4.11)的所有 也构成一个线性空间.为了研究这个线性空间的性质，进而搞清楚(4.11)的解的结构，我们需要下面的定义和引理.????定义4.1 函数组 ， ，…， 称为在区间I上线性相关，如果存在一组不全为零的常数 , ,…, ，使得 ?? + +…+ = 0 ????????????????(4.13)在区间I上恒成立. 反之，如果只当 = =…= =0时，才能使(4.13)在I上成立，则称函数组 ， ，…， 在I上线性无关. ????引理4.2 一组n-1阶可微的数值函数 ， ，…， 在I上线性相关的充要条件是向量函数组 ??????? , ,…, ???????????(4.14)在I上线性相关.????证明 若 ， ，…， 在I上线性相关，则存在一组不全为零的常数 , ,…, ，使得 ?????? + +…+ = 0 ?????????????(4.15)０在I上恒成立.将(4.15)0式对x逐次微分n-1次，得??????????????????????????????????? ? + +…+ = 0 ??????????????(4.15)１???????????????????… … … … … … … … … … … ??? + +…+ = 0 ??????????(4.15)n-1 联合(4.15)０，(4.15)１，…，(4.15)n-1，就得到向量函数组(4.14)是线性相关的. 反之，若向量函数组(4.14)在I上线性相关， 则存在不全为零的常数 , ,…, ，使得(4.15)０，(4.15)１，…，(4.15)n-1各式在I上恒成立，由(4.15)０表明 ， ，…， 在I上线性相关. 证毕. 由引理4.2，为了建立函数组线性相关与线性无关的判别法则，自然需要引入下面的定义.????定义4.2 设函数组 ， ，…， 中每一个函数 均有n-1阶导数，我们称行列式????????????  为已知函数组的朗斯基(Wronski)行列式.????有了以上的准备工作，我们现在可以清楚地看到，齐次方程(4.11)的一般理论完全可以归结为第三章中一阶线性齐次微分方程组的一般理论来加以处理.由§3.3中关于齐次方程组的有关定理，可以自然地得到下面的关于齐次方程(4.11)的一系列定理.????定理4.2 齐次方程(4.11)的n个解 ???? ， ，…， 在其定义区间I上线性无关(相关)的充要条件是在I上存在点x0，