设有齐次线性方程组ax=0,其中.docVIP

常系数非齐次线性微分方程组解的结构特点 段敏 摘要：本文通过熟悉的齐次代数方程组和非齐次代数方程组的解的结构特点的思想，并把这种思想借用到齐次微分方程组和非齐次微分方程组中。利用基本解组和解矩阵，得出与代数方程组相类似的解的结构特点。同时把高阶微分方程转化为一阶微分方程组，并利用微分方程组的结构特点得出高阶微分方程的解的结构特点。 关键词:非齐次微分方程组；基本解组； 解的结构特点． 1 前言 关于齐次代数方程组和非齐次代数方程组解的结构特点，一些教材和论文里已经给出了比较全面完善的解的结构特点；但是目前,对于齐次微分方程组和非齐次微分方程组一些教材和论文里还没有总结出比较完备的解的结构特点。本文将通过微分方程组的基本解组和解矩阵来表示微分方程组的解的结构,并把代数方程组的一系列解的结构特点的结构思想引用到微分方程组上来，并得到与代数方程组解的结构相类似的结果。同时也利用常系数高阶方程转化为一阶微分方程组的办法,进一步得到其解的结构特点与一阶微分方程组相类似的结果。从而加强数学领域中各数学分支之间的联系，增进对所学知识的认识,更有效地利用所学知识解决其它学科问题,培养科研能力。 2 线性代数方程组解的结构特点 2.1齐次线性代数方程组解的结构特点 设有齐次线性方程组 (1) 其中 设的系数矩阵的秩， 则其基础解系所含解的个数等于，也就是自由未知量的个数，即其解构成的解空间是维的。 2.1.1 齐次方程组的两解之和还是方程组(1)的解。 设有与是方程组(1)的两个解，这就是说把它们代入方程组(1),其每个方程成恒等式，即： () 把两个解的和 ① 代入方程组(1)得 这说明①确实是方程组(1)的解。 2.1.2 一个解的倍数还是方程组的解 设是方程组(1)的一个解，不难看出还是方程组(1)的解，因为： ② 2.1.3 由①②得出若与是方程组(1)的两个解， 则它们的线性组合也是方程组(1)的解，即： 2.1.4 设有一组解,如果方程组(1)的任一个解都能表成的线性组合： 并且线性无关,则是方程组(1)的一个基础解系，实际上是方程组(1)的解向量中的一个极大线性无关组，且。 2.2 非齐次线性方程组解的结构特点 下面来看一个非齐次线性方程组的解的结构,如果把一般线性方程组 (2) 其中： 中的换成0，就得到了方程组(1)。 2.2.1线性方程组(2)的两个解的差还是方程组(1)的解 设与是方程组(2)的两个解，这就是说把它们代入方程组(2)，其每个方程成恒等式，即： 它们的差是 显然有： 2.2.2线性方程组(2)的一个解与方程组(1)的一个解之和： 还是线性方程组(2)的一个解。 事实上： 又 显然 2.2.3性质：如果是方程组(2)的一个特解，那么方程组(2)的任一解都可以表成 其中为方程组(1)的基础解系。 2.2.4 定理: 设为的解空间当中的任一极大线性无关组,且，则。 证明：由于任意两组基础解系是等价的线性无关的向量组，因而所含向量的个数相同，所以只需证明特定的一组基础解系所含向量的个数为。 设的导出组的一组基础解系为：为的一个特解，令 , ③ 则为的一组基础解系。 可以证明与是等价的，这是因为 ④ 　 由③和④可知,两向量组等价,而向量组的秩为。事实上,若是线性相关的,因是线性无关的,则有即可由线性表出,则是的一个解,这与是的一个特解矛盾。 由此易知: 是的一组基础解系且。 由于的解向量不构成向量空间,其解空间的一个极大线性无关组的线性组合未必是的解。 2.2.5定理：在的导出组中,取个基本向量 取它们的分量作为的解的后个自由未知量的值,可得出的个解,则是的解集的一个极大线性无关组。 证明:在解集中任取一解,则可证 事实上取 ) 易知,,0,0,0)设的第个分量为,的第个分量为(注：和的后面的个分量都是确定的),现考察第个方程() = = = 令有两种可能： 若，则为的解,且其后面的个分量为0,又也是的解其后面的个分量也为0,因而即,从而