欢迎来到天天文库
浏览记录
ID:55729734
大小:514.50 KB
页数:58页
时间:2020-06-02
《常微分方程复习提要.ppt》由会员上传分享,免费在线阅读,更多相关内容在PPT专区-天天文库。
1、一、掌握下述基本概念第一章2.微分方程的阶的概念,会判断方程的阶.3.微分方程的线性性的概念,会判断方程是线性还是非线性方程.4.微分方程的解的概念,通解和特解的概念,通积分和特积分的概念.5.理解微分方程初值问题的概念,掌握初值问题的求解步骤.1.微分方程的概念,常微分方程的概念.定义(P3):联系自变量、未知函数及未知函数某些导数的等式称为微分方程.如果在一个微分方程中,自变量的个数只有一个,则这样的微分方程称为常微分方程,简称为微分方程.一阶隐式方程形如:一阶显式方程形如:n阶隐式方程形如:n阶
2、显式方程形如:(其中F为已知的函数)(微分形式的一阶方程:)定义(P3):微分方程中出现的未知函数的最高阶导数的阶数(或微分的阶数)称为微分方程的阶数.定义(P4):如果一个微分方程关于未知函数及其各阶导数都是一次的,则称它为线性微分方程,否则称之为非线性微分方程.定义(P4):设函数在区间I上连续,且有得到在区间I上的恒等式,则称直到n阶的导数.如果把代入微分方程:为该方程在区间I上的一个解.定义(P5):如果微分方程的解中含有任意常数,且所含的相互独立的任意常数的个数与微分方程的阶数相同,则称这样
3、的解为该方程的通解.如果微分方程的解中不含有任意常数,则称这样的解为该方程的特解.由隐式表示的通解称为通积分,由隐式表示的特解称为特积分.二、掌握下述方程的形式与解法2.齐次方程3.一阶线性非齐次方程4.伯努利方程5.全微分方程1.变量可分离方程6.简单的可降阶高阶方程1.变量可分离方程:解法:微分形式变量可分离方程:解法:2.齐次方程:解法:3.一阶线性非齐次方程:解法:4.伯努利方程:解法:5.全微分方程:解法1:注:解法2:(观察法)一、解的存在唯一性定理第二章2.会判断一个微分方程在什么样的区
4、域上保证初值解存在唯一.掌握解的存在唯一性定理2.2的条件与结论,熟记利普希茨条件和利普希茨条件的验证方法.定理2.2:注1:利普希茨条件条件是保证初值问题解唯一的充分条件,而非必要条件.注3:保证初值问题(2.2)解存在唯一的区域:二、解的延展2.会判断微分方程初值解的存在区间.1.了解解的延展定理.定理2.3:解的延展定理三、奇解2.会判断一个微分方程不存在奇解.1.了解奇解的概念.定义2.3:微分方程的某一解称为奇解,如果在这个解的积分曲线上每一点还有方程的另外一个解存在.不存在奇解的判别法:奇
5、解只能存在于不满足解的存在唯一性条件因此如果进一步在不满足解的存在唯一性条件的区域上不存在方程的解,则可断定该方程的区上,无奇解.一、一阶微分方程组第三章了解一阶微分方程组的基本概念:通解、特解,初值问题等;的一般形式为:含有个未知函数的一阶微分方程组(3.1)初始条件为:(3.2)微分方程组的解:设在上可微,并满足恒等式则称为微分方程组(3.1)在区间的一个解。通解及通积分:含有n个任意常数的方程组(3.1)的解为(3.1)的通解.隐式的通解称为通积分.二、一阶线性微分方程组了解一阶线性微分方程组的
6、一般形式,向量形式,了解一阶线性齐次方程组、一阶线性非齐次方程组的概念;对所有未知函数都是一次的,即则称此方程组为一阶线性微分方程组.如果一阶微分方程组(3.1)中的函数(3.6)一阶线性微分方程组:记一阶线性非齐次方程组(向量形式):(3.7)(3.7)对应的一阶线性齐次方程组:(3.8)三、一阶线性齐次微分方程组的一般理论1、向量函数组的线性相关性的定义(P125定义3.1),朗斯基行列式的定义(P127),向量函数组的线性相关性的判别法.2、齐次微分方程组的解组线性无关性的判别法(P129推论3
7、.3),基本解组的定义和基本解矩阵的定义(P129)。会求解组的朗斯基行列式,会验证方程的基本解组。3、掌握一阶线性齐次方程组的通解结构定理(P130定理3.6)定义3.1 设是m个定义在区间I上的n维向量函数.,使得常数在区间I上恒成立,性相关;否则称它们在区间I上线性无关.如果存在m个不全为零的则称这m个向量函数在区间I上线由这些列向量所组成的矩阵的行列式称为向量组(3.10)的朗斯基(Wronski)行列式.n个n维向量函数组(3.10)定理3.3如果向量组(3.10)在区间I上线性相关,则它
8、们的朗斯基行列式W(x)在I上恒等于零.推论3.1如果向量组(3.10)的朗斯基行列式W(x)在则向量组(3.10)在I上线性无关.区间I上的某一点处不等于零,即线性相关线性无关向量函数组向量函数组线性相关性的判别法:齐次方程组的解组线性相关性的判别法:推论3.3方程组(3.8)的n个解在其定义区间I上线性无关的充要条件是它们的朗斯基行列式W(x)在I上任一点不为零.线性相关线性无关解组我们把一阶线性齐次方程组(3.8)的n个线性无关解称为它的基本解组。
此文档下载收益归作者所有