线性微分方程的一般理论详解.doc

PAGE  PAGE 9 线性微分方程的一般理论 摘要：本文描述了线性微分方程的定义,齐次线性微分方程的解的性质与结构,以及非齐次线性微分方程与常数变易法,给读者展示了线性微分方程的一般理论和解法. 关键词：齐次线性微分方程； 朗斯基行列式；通解；基本解组；常数变易法 The General Theory of Linear Differential Equation Abstract：In this paper,we describe the definition of a linear differential equation, the properties and structure of the solutions of the homogeneous linear differential equation and nonhomogeneous linear differential equation,showing the readers the linear differential equation method of the general theory of reconciliation. KeyWords: Homogeneous linear differential equation;Lang yankees determinant;General solution;Basic set of solutions;Method of variation constant 前言 在微分方程的理论中,线性微分方程是很重要的一部分.线性微分方程是研究非齐次线性微分方程的基础,它在物理、力学和工程技术、自然科学中也有着广泛的应用.因此学习线性微分方程的一般理论是非常有用的. 引言 先讨论如下的阶线性微分方程 ， (1) 其中及都是区间上的连续函数. 如果,则方程(1)变为 ， (2) 我们称它为阶齐次线性微分方程,简称齐次线性微分方程,而称一般的方程(1)为阶非齐次线性微分方程,简称非齐次线性微分方程,并且通常把方程(2)叫做对应于方程(1)的齐次线性方程. 首先给出方程(！)的解的存在唯一性定理. 定理1[1] 如果及都是区间上的连续函数,则对于任一及任意的,,,,方程(1)存在唯一解,定义于区间上,且满足初值条件 ,,,. (3) 2. 齐次线性微分方程的解的性质与结构 首先讨论齐次线性微分方程 . (2) 根据“常数可以从微分号下提出来”以及“和的倒数等于倒数之和”的法则,容易得到齐次线性微分方程的解的叠加原理. 定理2(叠加原理) 如果,,,是方程(2)的个解,则它们的线性组合也是(2)的解,这里,,,是任意常数. 特别地，当时，即方程(2)有解 (4) 它含有个任意常数. 考虑定义在区间上的函数,,,,如果存在不全为零的常数,,,,使得恒等式 对于所有都成立,我们称这些函数是线性相关的,否则就成这些函数在所给区间上线性无关. 有定义在区间上的个可微次的函数,,,所做成的行列式 成为这些函数的朗斯基行列式. 定理3 若函数,,,在区间上线性相关，则在上它们的朗斯基行列式. 证明 有假设知,存在一组不全为零的常数,,,,使得 ， (5) 依次对微分此等式,得到 (6) 把(6)和(7)看成关于,,,的齐次线性代数方程组,它的系数行列式 ,于是由线性代数理论知道，要此方程组存在非零解，则它的系数行列式必须为零,即.定理证毕. 定理4 如果方程(2)的解,, ,在区间上线性无关,则在这个区间的任何点上都不等于零,即. 证明 采用反证法.设有某个使得.考虑关于,,,的齐次线性代数方程组 (7) 其系数行列式,故(7)有非零解,,,.先在以这组常数构造函数 ,, 根据叠加原理,是方程(2)的解.注意到(7),知道这个解满足初值条件 , (8) 但是显然也是方程(2)的满足初始条件(8)的解.有解的唯一性,即知,即 ,. 因为,,,不全为零,这就与,, ,线性无关的假设矛盾.定理得证. 根据定理3和定理4可以知道,由阶齐次线性微分方程(2)的个解构成的朗斯基行列式或者恒等于零,或者在方程的系数为连续的区间内处处不等于零. 定理 5[2] 阶齐次线性微分方程(2)一定存在个线性无关的解. 证明 线性微分方程(2)存在满足下列初始条件 ,,,; ,,