线性微分方程解函数线性无关的几种证法.pdfVIP

第20卷 第2期 河南教育学院学报 (自然科学版) V0l_2O No．2 2011年 6月 JournalofHenanInstituteofEducation(NaturalScienceEdition) Jun．201l doi：10．3969／j．issn．1007—0834．2011．02．002 线性微分方程解函数线性无关的几种证法 胡 博 ，’王明建2 (1．河南工业大学 理学院，河南 郑州 450052；2．郑州师范学院 数学系，河南 郑州 450044) 摘要 ：对于一般的常系数高阶线性微分方程 ，其解函数是否能构成方程 的基本解组，需要证 明其线性无关．利 用行列式展开的直接法、高等代数 中证 明函数线性无关的定义法、算子法 ，并辅助反证法给 出了详细的证 明过程． 关键词 ：常系数 ；高阶线性微分方程 ；解函数 ；基本解组 ；线性无关；算子 中图分类号：O175．5 文献标识码 ：A 文章编号：1007—0834(2011)02—0005—03 0 引 言 对于一般的常系数高阶线性微分方程 ． 生 t + … + n 一dt+口‘+…+口警++n口n戈=0，，∈l口，66]j，， ((1)) 其 中系数 口(i=1，2，…，tI)都是常数 ，其解函数 (t)， (t)，…， (t)是否可 以构成方程 (1)的基本解组 ，需 要证明它们是线性无关 的，然而 当(1)对应的特征方程有重根时，证 明有一定 的难度．本文利用行列式展开 的直接法、高等代数 中证明函数线性相 (无)关的定义法、算子法，并辅助反证法给出了详细的证明过程 ，使 这部分 内容趋于完善． 1 主要结果及证 明 引理 1Ill 方程 (1)的 n个解函数 ，(t)，：(t)，…， (t)的Wronski行列式为 W(t)=[。(t)，：(t)，…， (t)]= (2) 这里 t∈[Ⅱ，b]． 引理 2 方程 (1)的n个解函数 ．(t)，：(t)，…， (t)(tE[n，b])线性无关的充要条件是其 Wronski 行列式 W(t)≠0． (3) 引理 3。’ 对应于方程 (1)的特征方程是 L(A)=A +01A一 +… +口一1A+0 =0． (4) 定理 1[23 如果 A。，A：，…，A 是 (4)的两两不相同的非零根 ，它们的重数分别是 k，J}：，…，k ，且 后。+ k：+…+k =t／，那么对应于方程 (1)的n个解函数 1 (￡)：e。，‘2(￡)=te。，‘… ，l‘(￡)=t一e‘ ，．+ 1 (t)=e ，‘l+2(t)=te ，…， l+k2()=t一。e ，‘…， 一 + l ()=e ， 一 +2(f)=te ，…， (t)=tm一e‘(t∈[口，6]) (5) 构成方程 (1)的基本解组。 证明1 (行列式直接计算法) 不失一般性，可设重数 k。≤k≤…≤k ，欲证方程(1)的n个解函数 (t)，：(t)，…， (t)(t∈[0，b]) 构成方程 (1)的基本解组 ，需证它们在 t∈[o，b]上线性无关 ，亦即关于它们的Wronski行列式 (t)≠0，而 收稿 日期 ：2011—03—21 作者简介：胡 博(198O一)，女 ，河南荥阳人，河南工业大学理学院讲师 6 河南教育学院学报 (自然科学版) (t)： 1 O 0