线性微分方程的一般理论.ppt

关于线性微分方程的一般理论第1页，共37页，星期日，2025年，2月5日*在微分方程的理论中，线性微分方程是非常值得重视的一部分内容，这不仅因为线性微分方程的一般理论已被研究得十分清楚，而且还因为线性微分方程是研究非线性微分方程的基础，同时它在物理、力学和工程技术中也有着广泛的应用。所以，本章着重讨论线性微分方程的基本理论和常系数线性微分方程的解法，对于高阶微分方程的降阶问题和二阶变系数线性微分方程的幂级数解法也作适当地介绍。第2页，共37页，星期日，2025年，2月5日*主要内容线性微分方程的一般理论常系数线性微分方程的解法高阶微分方程的降阶和幂级数解法重点线性微分方程的基本理论常系数线性微分方程的解法第3页，共37页，星期日，2025年，2月5日*§4.1线性微分方程的一般理论第4页，共37页，星期日，2025年，2月5日*一、解的存在唯一性定理1n阶线性微分方程定义1第5页，共37页，星期日，2025年，2月5日*第6页，共37页，星期日，2025年，2月5日*2解的存在唯一性定理定理1第7页，共37页，星期日，2025年，2月5日*二、齐线性方程的解的性质和结构定理21叠加原理容易看出，齐次线性方程恒有零解。第8页，共37页，星期日，2025年，2月5日*证明:故有第9页，共37页，星期日，2025年，2月5日*例1的解.解:第10页，共37页，星期日，2025年，2月5日*2、函数的线性相关性考虑定义在区间上的函数，如果存在不全为零的常数，使得恒等式对于所有都成立，则称这些函数是线性相关的，否则就称这些函数在区间[a,b]上是线性无关的。问题：在什么样的条件下，表达式（4.4）能够构成为n阶齐次线性方程（4.2）的通解？第11页，共37页，星期日，2025年，2月5日*例2考虑函数组的线性相关性解：第12页，共37页，星期日，2025年，2月5日*例3函数组线性无关。此恒等式如果成立，也就是[a,b]中的每一个t都是这个方程的根，因此有无穷多个根。另一方面，如果有一个系数不为0，则是一个不超过n次的代数方程，最多有n个根。分析：我们假设存在第13页，共37页，星期日，2025年，2月5日*定义23伏朗斯基(Wronsky)行列式第14页，共37页，星期日，2025年，2月5日*4函数的线性相关性与其Wronsky行列式的关系(1)定理3证明:使得第15页，共37页，星期日，2025年，2月5日*由线性代数理论知要使方程组存在非零解,则它的系数行列式必为零,第16页，共37页，星期日，2025年，2月5日*注定理3的逆不成立.如函数事实上,若有恒等式则第17页，共37页，星期日，2025年，2月5日*推论(2)定理4证明:“反证”第18页，共37页，星期日，2025年，2月5日*现以这组常数构造函数,由定理2知,又因为第19页，共37页，星期日，2025年，2月5日*由解的唯一性定理知第20页，共37页，星期日，2025年，2月5日*注释：根据定理3和定理4知道，由n阶齐次线性方程（4.2）的n个解构成的伏朗斯基行列式，或恒等于零，或在方程的系数为连续的区间内处处不等于零。并根据定理1，构造一组初始条件：满足这组初始条件的解一定存在，且又因为,由定理3知道，这n个解一定是线性无关的。于是有5、通解结构定理第21页，共37页，星期日，2025年，2月5日*定理5n阶齐次线性方程（4.2）一定存在n个线性无关的解。定理6（通解结构定理）如果是方程（4.2）的n个线性无关的解，则方程（4.2）的通解可表为（4.11）其中