常微分方程课详解.pptVIP

常微分方程课详解演示文稿1目前一页\总数三十八页\编于二十二点

优选常微分方程课2目前二页\总数三十八页\编于二十二点

一阶线性微分方程组:称式(2)为一阶齐次线性微分方程组.非齐次线性微分方程组(1)则式（1）变为(2)称式（1）为3目前三页\总数三十八页\编于二十二点

一齐次线性微分方程组1叠加原理定理1证明:则有所以如果是方程（2）的m个解,则它们的线性组合也是方程(2)的解，这里是任意常数。由于是方程（2）的m个解4目前四页\总数三十八页\编于二十二点

2函数向量组线性相关与线性无关定义设是一组定义在区间[a,b]上的函数列向量，如果存在一组不全为零的常数使得对所有，有恒等式则称在区间[a,b]上线性相关；否则就称这组向量函数在区间[a,b]上线性无关。5目前五页\总数三十八页\编于二十二点

证明:例1证明:函数向量组在任何区间都是线性相关的.6目前六页\总数三十八页\编于二十二点

例2证明:函数向量组证明:要使7目前七页\总数三十八页\编于二十二点

则需因为所以故线性无关.8目前八页\总数三十八页\编于二十二点

3函数向量组线性相关与无关的判别准则(1)Wronsky行列式由这n个向量函数所构成的行列式称为这n个向量函数所构成的Wronsky行列式9目前九页\总数三十八页\编于二十二点

(2)定理2证明:10目前十页\总数三十八页\编于二十二点

(3)定理3证明:“反证法”则现在考虑函数向量由定理1知,如果（2）的解线性无关，则它们的Wronsky行列式11目前十一页\总数三十八页\编于二十二点

由(3)知,因此,由解的存在唯一性定理知,即有矛盾注1:注2:12目前十二页\总数三十八页\编于二十二点

(4)定理4一阶微分方程组(2)一定存在n个线性无关的解.证明:由解的存在唯一性定理知,(2)一定存在满足初始条件且13目前十三页\总数三十八页\编于二十二点

4通解结构及基本解组定理5证明:①由已知条件,14目前十四页\总数三十八页\编于二十二点

又因为15目前十五页\总数三十八页\编于二十二点

即它们构成n维线性空间的基,现在考虑函数向量由定理1知,由(4)知,因此,由解的存在唯一性定理,应有即16目前十六页\总数三十八页\编于二十二点

推论1(2)的线性无关解的最大个数等于n。基本解组:一个基本解组。注1:齐次微分方程组(2)的基本解组不唯一。注2:齐次微分方程组(2)的所有解的集合构成一个n维线性空间。注3:由n阶线性微分方程的初值问题与线性微分方程组的初值问题的等价性描述,本节所有定理都可平行推论到n阶线性微分方程去。17目前十七页\总数三十八页\编于二十二点

推论218目前十八页\总数三十八页\编于二十二点

5解矩阵与基解矩阵及性质(1)定义则称这个矩阵为齐次微分方程组(2)的解矩阵。则称该解矩阵为(2)的基解矩阵。基解矩阵——以基本解组为列构成的矩阵。19目前十九页\总数三十八页\编于二十二点

注:这里C是确定的N维向量空间20目前二十页\总数三十八页\编于二十二点

例3验证是方程组基解矩阵.解:由于又由于21目前二十一页\总数三十八页\编于二十二点

证明:22目前二十二页\总数三十八页\编于二十二点

证明:于是有由此可得23目前二十三页\总数三十八页\编于二十二点

即有例4验证是方程组的基解矩阵,并求其通解。解:24目前二十四页\总数三十八页\编于二十二点

又由于其通解为25目前二十五页\总数三十八页\编于二十二点

二非齐次线性微分方程组1非齐线性微分方程组解的性质性质1性质226目前二十六页\总数三十八页\编于二十二点

性质32通解结构定理定理6这里C是确定的常数列向量。证明:由性质2知,即这里C是确定的常数列向量。27目前二十七页\总数三十八页\编于二十二点

3常数变易公式则(2)的通解为其中C是任意的常数列向量,下面寻求(1)形如的解,把(7)代入(1),得(1)一阶线性微分方程组的常数变易公式28目前二十八页\总数三十八页\编于二十二点

从而反之,可验证(8)是方程组(1)满足初始条件的特解。因此,(7)变为29目前二十九页\总数三十八页\编于二十二点

定理7①向量函数是(1)的解,且满足初始条件②方程组(1)的通解为注1:注2:公式(8)或(9)称为(1)的常数变易公式。30目前三十页\总数三十八页\编于二十二点

例5求方程组的通解.解:由例4知是对应齐次方程的基解矩阵,由(8)得方程的特解为31目前三十一页\总数三十八页\编于二十二点

所以,原方程的通解为32目前三十二页\总数三十八页\编于二十二点

例6试求初值问题解:由例3知是对应齐次方程的基解矩阵,33目前三十三页\总数三十八页\编于二十二点

故方程满足初始条件的解是34目前三十四页\总