线性微分方程解的结构

   我们以二阶方程为例来说明线性方程解的结构，当然这些结论也适合于高阶线性微分方程。
   二阶线性方程的一般形式为
          http://www.aihuau.com/lzzgs/gs9/9.5.ht1.gif
   其中y",y',y都是一次的，否则称为二阶非线性方程。
线性齐次方程解的结构
   二阶线性齐次方程的形式为：
          http://www.aihuau.com/lzzgs/gs9/9.5.ht4.gif
   定理：如果函数均是方程http://www.aihuau.com/lzzgs/gs9/9.5.ht4.gif的解，那末也是该方程的解，其中C₁,C₂为任意常数。
   线性齐次方程的这一性质，又称为解的叠和性。
   问题：我们所求得的解是不是方程的http://www.aihuau.com/lzzgs/gs9/9.5.ht4.gif通解呢？
   一般来说，这是不一定的，那么什么情况下它才是方程的通解呢？为此我们由引出了两个概念：线性相关与线性独立。
   定义：设http://www.aihuau.com/lzzgs/gs9/9.5.ht7.gif之比不恒等于一个常数，那末称此两函数线性独立或线性无关。
   为此我们有了关于线性齐次方程特解的定理。
   定理：如果http://www.aihuau.com/lzzgs/gs9/9.5.ht6.gif就是该方程的通解，其中C₁,C₂为任意常数。
线性非齐次方程解的结构
   二阶线性非齐次方程的形式为：
           http://www.aihuau.com/lzzgs/gs9/9.5.ht1.gif
   对于一阶线性非齐次方程我们知道，线性非齐次方程的通解等于它的一个特解与对应的齐次方程通解之和。那末这个结论对高阶线性非齐次方程适合吗？
   答案是肯定的。为此我们有下面的定理。
   定理：设y是二阶线性非齐次方程http://www.aihuau.com/lzzgs/gs9/9.5.ht1.gif的任一特解，Y是与该方程对应的齐次线性方程的通解，那末 y=y+Y 就是方程http://www.aihuau.com/lzzgs/gs9/9.5.ht1.gif的通解。
   我们为了以后的解题方便，又给出了一个定理，如下：
   定理：设有线性非齐次方程http://www.aihuau.com/lzzgs/gs9/9.5.ht5.gif分别是方程
            http://www.aihuau.com/lzzgs/gs9/9.5.ht11.gif
         的解，那末http://www.aihuau.com/lzzgs/gs9/9.5.ht12.gif就是原方程的解。