线性微分方程组的一般理论.docVIP

§5.２ 线性微分方程组的一般理论 现在讨论线性微分方程组 　 （5.14） 的一般理论，主要是研究它的解的结构问题。 如果，则（5.14）称为非齐线性的。 如果，则方程的形式为 　　 （5.15） 　　称（5.15）为齐线性方程组，通常（5.15）称为对应于（5.14）的齐线性方程组。 ５.２.１齐线性微分方程组 本段主要研究齐线性方程组（５.１５）的所有解的集合的代数结构问题。我们假设矩阵在区间上是连续的。 设和是（5.15）的任意两个解，和是两个任意常数。根据向量函数的微分法则，即知也是（5.15）的解，由此得到齐线性方程组的叠加原理。 定理２（叠加原理）如果和是（5.15）的解，则它们的线性组合也是（5.15）的解，这里，是任意常数。 定理２说明，（5.15）的所有解的集合构成一个线性空间。自然要问：此空间的维数是多少呢？为此，我们引进向量函数线性相关与线性无关的概念。 设是定义在区间上的向量函数，如果存在不全为零的常数，使得恒等式 ， 成立；称向量函数在区间上线性相关,否则，称为线性无关的。 设有个定义在区间上的向量函数 由这个向量函数构成的行列式 称为这些向量函数的伏朗斯基行列式。 定理３　如果向量函数在区间上线性相关，则它们的伏朗斯基行列式，。 证明　由假设可知存在不全为零的常数使得 ，　 （5.16） 把（5.16）看成是以为未知量的齐次线性代数方程组，这方程组的系数行列式就是的伏朗斯基行列式。由齐次线性代数方程组的理论知道，要此方程组有非零解，则它的系数行列式应为零，即 ， 定理证毕。 定理４　如果（5.15）的解线性无关，那么，它们的伏朗斯基行列式，。 证明　我们采用反证法。设有某一个，，使得。考虑下面的齐次线性代数方程组： 　　　　 　（5.17） 它的系数行列式就是，因为，所以（5.17）有非零解，以这个非零解构成向量函数：　　　　　　　　　　　　　　 　 （5.18） 根据定理２，易知是（5.15）的解。注意到（5.17），知道这个解满足初始条件 　　　　　　　 （5.19） 但是，在上恒等于零的向量函数０也是（5.15）的满足初始条件（5.19）的解。由解的唯一性，知道，即 ， 因为不全为零，这就与线性无关的假设矛盾，定理得证。 由定理３，定理4可以知道，由（5.15）的个解作成的伏朗斯基行列式，或者恒等于零，或者恒不等于零. 定理５　（5.15）一定存在个线性无关的解. 证明　任取，根据解的存在唯一性定理，（5.15）分别满足初始条件 的解一定存在。又因为这个解的伏朗斯基行列式，故根据定理３，是线性无关的，定理证毕。 定理６　如果是（5.15）的个线性无关的解，则（5.15）的任一解均可表为 这里是相应的确定常数。 证明　任取，令 　 （5.20） 把（5.20）看作是以为未知量的线性代数方程组。这方程组的系数行列式就是。因为是线性无关的，根据定理４知道。由线性代数方程组的理论，方程组(5.20)有唯一解。以这组确定了的构成向量函数，那么，根据叠加原理，它是（5.15）的解。注意到（5.20），可知（5.15）的两个解及具有相同的初始条件。由解的唯一性，得到 定理证毕。 推论１　（5.15）的线性无关解的最大个数等于. （5.15）的个线性无关的解称为（5.15）的一个基本解组。显然，（5.15）具有无穷多个不同的基本解组. 由定理5和定理6，我们知道（5.15）的解空间的维数是.即（5.15）的所有解构成了一个维的线性空间. 注意到5.1.1节关于阶线性微分方程的初值问题（5.6）与线性微分方程组的初值问题（5.7）的等价性，本节的所有定理都可以平行地推论到阶线性微分方程上去。 从本节的定理2容易推得第四章的定理2。参看4.1.2中关于纯量函数组的线性相关概念，可以证明：一组次可微的纯量函数线性相关的充要条件是向量函数 （*） 线性相关。事实上，如果线性相关，则存在不全为零的常数使得 将上式对微分一次，二次，…，次，得到 即有 （**） 这就是说，向量函数组（*）是线性相关的。反之，