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

常微分方程线性方程组的基本理论*第1页，共29页，星期日，2025年，2月5日一、线性齐次方程组解的结构证明:Th4.5设是齐次线性方程组的解,则它们的线性组合也是齐解。是齐次线性方程组的解.*第2页，共29页，星期日，2025年，2月5日线性相关及线性无关则称此组函数向量在上线性相关,否则称为线性无关.有成立，设为上的函数向量,若有一组不全为零的数?*第3页，共29页，星期日，2025年，2月5日例4.3.1证明在任何区间I上都是线性相关的.证明:取则故在I上是线性相关的.*第4页，共29页，星期日，2025年，2月5日例4.3.2证明在上线性无关.只需证明:要使成立,线性无关.*第5页，共29页，星期日，2025年，2月5日朗斯基判别准则:设有n个函数向量为这些函数向量组的朗斯基行列式.称*第6页，共29页，星期日，2025年，2月5日Th4.6齐次线性方程组的解组在线性相关的充要条件是它们的朗斯基行列式由的任意性有均线性相关.则所以证明:充分性.在上线性相关,设*第7页，共29页，星期日，2025年，2月5日则线性相关，必要性.若,取,有考虑Th4.6齐次线性方程组的解组在线性相关的数,使得即存在不全为零由解的叠加原理知是齐线性方程组的解,且由解的存在唯一性定理知,所以齐解组线性相关.*第8页，共29页，星期日，2025年，2月5日Th4.7设是齐次线性方程组的任意n个解,则它们的朗斯基行列式其中为齐次线性方程组对应的系数矩阵A(t)的对角线元素.------刘维尔公式证明:由行列式的求导法则及是解得证.*第9页，共29页，星期日，2025年，2月5日推论4.1齐次线性方程组的任一解组的在上或恒不为零,或恒为零.在上线性无关推论4.2齐次线性方程组的解组有.在上某点处，*第10页，共29页，星期日，2025年，2月5日Th4.8线性齐次微分方程组一定存在个线性无关解.证明:由解的存在惟一性定理,一定存在满足初始条件在上线性无关.因此的解*第11页，共29页，星期日，2025年，2月5日的n个线性无关解,则Th4.9（通解结构定理）设是方程组（1）是方程组的通解，其中是任意常数.（2）方程组的任一解均可表示为的线性组合.*第12页，共29页，星期日，2025年，2月5日证明：（1）由解的叠加原理知（1）是方程组的通解.是方程组的解,故彼此独立,所以是通解.*第13页，共29页，星期日，2025年，2月5日可知线性无关,因为是n个线性无关解,即它们构成n维线性空间的基,故对向量一定存在唯一确定的一组常数满足（2）方程组的任一解均可表示为的线性组合.考虑叠加原理!解的唯一性!证明设是任一解,并满足*第14页，共29页，星期日，2025年，2月5日推论4.3方程组的线性无关解的最大个数为n.（2）方程组的任一解均可表示为的线性组合.的n个线性无关解,则Th4.9（通解结构定理）设是方程组（1）通解*第15页，共29页，星期日，2025年，2月5日基本解组:称方程组的n个线性无关解为一个基本解组.基解矩阵:由基本解组组成的矩阵为基解矩阵.解矩阵:如果矩阵的每一列都是