齐次线性常微分方程通解结构定理注记.pdfVIP

第16卷第3期 高等数学研究 V01．16，No．3 2013年5月 STUDIESINCOLLEGEMATHEMATICS May，2013 齐次线性常微分方程通解结构定理注记 张彦宇 (西北农林科技大学理学院，陕西杨凌712100) 摘 要 针对咒阶齐次线性常微分方程通解结构定理证明教学中经常忽略的边值问题，给出一个新的证明过 程，并讨论初值问题及边值问题的关系． 关键词 常微分方程；初值条件；边值条件；通解 中图分类号 0175．1 文献标识码 A 文章编号．1008—1399(2013)03一o005一02 常微分方程是高校数学本科专业的重要基础课 口1)+^Iz7y1 程．齐次线性常微分方程通解结构定理，上接齐次线 仁口2)+．h227 y2 性常微分方程的叠加原理，下连基本解组的概念，并 与一阶线性常微分方程组的通解结构定理相呼应， 7 【五。zn。)+^。z 以 是该课程中的重要定理之一． 确定．针对此问题，用反证法给出定理1第二部分的 定理1[11设砚(￡)，砚(f)，．．·，％(z)都是区间瞄，胡 如下证明． 上的连续函数，如果劫(￡)，z：(￡)，…，z。(￡)是方程 证明 要证明通解(2)包括了方程(1)的所有 警+nl!t)番+．．．+ 解，由叠加原理可知，只需考验方程(1)的特解即 可．假设方程(1)存在一个特解z‘(￡)不能由通解 口，r1(￡)警+口。(￡)z=o(1) (2)表示．又z’(￡)显然满足初值条件 fz(￡o)=z+(岛)， 的挖个线性无关的解，则方程(1)的通解可表示为 z(￡)=。lzl(￡)+‘222(幻+…+』∥。0)：(z·岛”7， (n≤￡≤6)，(4) ………… c。z。(￡) (口≤￡≤6)， (2) 【z‘”1’(％)一(z‘(to))‘”1’ 其中c。，c2’．一，6是任意常数．且通解(2)包括了方 则可得到关于c。，c2，…，“的线性代数方程组 程(1)的所有解． 注1 关于该定理第一部分，即式(2)为方程 (1)的通解证明，由叠加原理及线性无关定义很容 ～：)， ………·‘7 易得到，不再赘述．而对定理第二部分，即通解(2) 【q叠d’(岛)+…+c#，’(南)=＆。瓴))‘一’ 包括了方程(1)的所有解，较常见的证明过程是利 的系数行列式 用z。(￡)，z。(z)，…，z。(￡)的线性无关性，得到通解 Ⅳ(岛)≠0， (2)中系数f，，c。，…，c。的存在唯一性[川．不过，这一 证明过程在教学中经常会导致学生忽略方程(1)的 故代数方程组(5)存在唯一的解f。，e。，…，厶．