一组等价基的证明及在n阶线性微分方程中的应用.docVIP

一组等价基的证明及在n阶线性微分方程中的应用 摘 要 首先，通过解一类特殊的常微分方程，归纳猜想出该类微分方程的一般解，再给予证明。在证明过程中，我们揭示了该类微分方程与一般解是通过一对等价的向量组相关联的。 关键词：线性相关；线性无关；极大线性无组；向量组等价 A GROUP OF EQUIVALENT OF PROOF AND YANKEES IN N ORDER LINEAR DIFFERENTIAL EQUATION OF APPLICATION ABSTRACT First of all, by solving a special kind of ordinary differential equations ，Induction and guess out such a general solution of the differential equation and to prove . In the proof process , We reveal the general solution of differential equation and this is through a pair of equivalent vector group associated . Keywords： Linear correlation; Linearly independent; Maximal linear no group ; Vector group equivalent 摘 要 1 ABSTRACT 2 1 引 入 4 2 说明 4 2.1 N阶微分方程 4 2.2 线性相关 6 2.3 线性无关 7 2.4 向量组等价 9 3 证明推测 11 4 应用 11 小 结 13 参考文献 13 致 谢 13 1 引 入 解下列常微分方程： 一般解为： ； 通解为： 通解为： 这里是任意常数。 由上两个实例我们是否可以推测出下列方程和通解为： 2 说 明 2.1 n阶微分方程： 。 习惯上我们令: 2.2线性相关 中向量组（≥1）称为线性相关，如果有中不全为零的数使得 . 2.3线性无关 如果从 可以推出所有系数全为0，则称向量组是线性无关的. 2.4向量组等价 如果向量组的每一个向量都可以由向量组线性表出，则称可以由线性表出。如果与向量组互相线性表出，则称向量组与等价，记作： ≌ 3 证 明 推 测 由于 的 通解为： 知：与等价 要证明的通解为： 只要证明与 等价即可。 下面进行证明： 已知一组基=，∈M，，则存在一级数，使得： 且有：  可由线性表出 证明以下三项：1、是线性无关; 2、是极大无关组; 3、与 等价。 1、设存在一组数，使 即： 因为线性无关，所以有： 令： ， ， 所以有：, 因为范德蒙行列式，两两不相等， 所以=，= ， 都为可逆矩阵,K=0，K只有零解。 所以线性无关。 因为可由 线性表出 所以dimdim 所以dim= 所以是一组极大线性无关组。 3、下面证明与 等价。 设存在一组数使： , 则： 由于，所以： 令，所以，， 所以有唯一解。 ,所以任意的 y∈,可由 所以与等价 4 应 用 关于与 等价的应用可应用于解下形式的微分方程： 对于下面形式的常微分方程：，由上述证明过程知它的一般解为： 其中： , , ,已知。 小 结 本文通过解常微分方程导出了，经过我们严格的证明确是一对等价的向量组，进而应用向量组等价这一关系来解常微分方程，充分体现了线性代数做为 解常微分方程的一种工具，可以直观的了解到一般解的结构。 本文化拓宽了解常微分方程的视野，证明过程更是充分体现了数学的完美。 参考文献 [1] 陈传璋,金福临等.数学分析[M]，北京：高等教育出版社,1983. [2] 王高雄,周之铭等.常微分方程[M]，北京：高等教育出版社,2006. [3] 尤秉礼.常微分方程补充教程[M]，北京:人民教育出版社,1982. [4]丘维声.高等代数（第二版）[M].北京：高等教育出版社,2003. 致 谢 在此，非常感谢邓泽譆老师对本文的严格审核，细心指出其中的错误，并给予了大量的宝贵意见，使逻辑性很差的本文变得通畅易懂。 姓名：李锦华