常微分方程 线性微分方程的基本理论.pptVIP

常微分方程线性微分方程的基本理论*第1页，共41页，星期日，2025年，2月5日及其各阶导数均为一次的n阶微分方程称为n阶线性微分方程.一、基本概念n阶线性微分方程:未知函数一般形式为:式中上的连续函数。及是区间*第2页，共41页，星期日，2025年，2月5日n阶线性齐次微分方程:n阶线性齐次微分方程，简称齐线性方程,（3.2.1）称非齐线性方程。*第3页，共41页，星期日，2025年，2月5日上面两个方程分别为齐次和非齐次的线性方程。关于高阶方程同一阶方程一样,也有相类似的解的存在惟一性定理.*第4页，共41页，星期日，2025年，2月5日定理3.1：如果(3.2.1）的系数及右端函数在区间上连续，满足下列初始条件方程（3.2.1）存在惟一的解则对任一个及任意的*第5页，共41页，星期日，2025年，2月5日线性微分算子:为常数.性质3.2性质3.1例如:*第6页，共41页，星期日，2025年，2月5日二、齐次线性方程解的性质和结构定理3.2(叠加原理)如果是方程（3.2.2）的n个解，则它的线性组合也是方程（3.2.2）的解，这里是常数.*第7页，共41页，星期日，2025年，2月5日例1验证是方程的解.解:分别将代入方程,得所以为方程的解.*第8页，共41页，星期日，2025年，2月5日基本解组:如果方程（3.2.2）的任意一个解都可以表示为,则称是方程组（3.2.2）的基本解组。线性相关:对定义在区间(a,b)上的函数组如果存在不全为0的常数,使得在(a,b)上恒成立,称这些函数在所给的区间上线性相关，不然称这些函数线性无关.*第9页，共41页，星期日，2025年，2月5日例2:函数在任何区间上都是线性无关的，因为如果只有当所有的时才成立.(3.2.5)事实上,如果至少有一个则(3.2.5)式的左端是一个不高于n次的多项式，它最多可有n个不同的根.它在所考虑的区间上不能有多于n个零点,更不可能恒为零.*第10页，共41页，星期日，2025年，2月5日注1：在函数中有一个函数等于零,则函数在（a,b）上线性相关。则在（a,b）上线性无关的充要条件为或在（a,b）上不恒为常数.注2：考虑到两个函数构成的函数组如果或在(a,b)上有定义,*第11页，共41页，星期日，2025年，2月5日注3：函数组的线性相关与线性无关是依赖于所取的区间。例4:函数上是线性无关,而在上是线性相关的.和事实上在区间上不是常数,分别在区间和上是常数.例3:在任何区间上都线性无关.在任何区间上都线性相关.*第12页，共41页，星期日，2025年，2月5日Wronskian行列式:称为这些函数的Wronskian行列式,通常记做由定义在区间（a,b）上的k个k-1次可微函数所作成的行列式*第13页，共41页，星期日，2025年，2月5日证明:由假设知存在一组不全为零的常数使得依次将此恒等式对t微分,得到n个恒等式定理3.3如果函数组在区间(a,b)上线性相关,则在(a,b)上它们的Wronskian行列式恒等于零,即.*第14页，共41页，星期日，2025年，2月5日上述n个恒等式所组成的方程组是关于的齐次方程组,它的系数行列式就是Wronskian行列式,由线性代数的知识知,要使方程组存在非零解,则必有*第15页，共41页，星期日，2025年，2月5日如果函数组的某点处不等于0,即,推论3.1Wronskian行列式在区间（a,b）上则该函数组在区间上线性无关。定理3.3如果函数组在区间(a,b)上线性相关,则在(a,b)上它们的Wronskian行列式恒等于零,即.*第16页，共41页，星期日，2025年，2月5日显然对所有的t,恒有但在上线性无关.事实上,假设存在恒等式则当时,有当时,有故在上线性无关.注:定理3.3的逆定理不一定