一阶线性齐次方程组的一般理论.pdfVIP

3.3一阶线性齐次方程组的一般理论 1．一阶线性齐次微分方程组解的 性质 本节主要研究一阶线性齐次方程组 (3.8)的通解结构.为此我们首先从(3.8) 的解的性质入手. 定理3.2 如果 是方程组(3.8)的m个解，则 (3.9) 也是(3.8)的解，其中 是任意常数.换句话说，线性齐次方程组(3.8) 的任何有限个解的线性组合仍为(3.8)的解. 证明因为 是(3.8)的解，即 成立. 再由 这就证明了(3.9)是(3.8)的解. 定理3.2告诉我们， 阶线性齐次微分方程组(3.8)的 解集合构成了一个线性空间.为了搞清楚这个线性空 间的性质，进而得到方程组(3.8)的解的结构，我们 引入如下概念. 定义3.1 设 是m个定义在区间I上的n维向量函数. 如果存在m个不全为零的常数 ，使得 在区间I上恒成立，则称这m个向量函数在区间I上线性相关； 否则称它们在区间I上线性无关. 显然，两个向量函数 的对应分量成比例是它们在区间I上线性相关的充要条件. 另外，如果在向量组中有 零向量，则它们在区间I上线性相 关. 例1 向量函数 在任何区间(a, b)上是线性相关的.事实上取 有 例2 向量函数 在(-∞,+∞)上线性无关.事实上，要使得 成立，或写成纯量形式，有 例3 向量函数 在(-∞,+∞)上线性无关.事实上，由于 相当于纯量形式 由此可以看出：仅当 时，才能使上面三个恒等式同时成立， 即所给向组在(-∞,+∞)上线性无关. 例3中两个向量函数的各个对应分量都构成线性相 关函数组.这个例题说明，向量函数组的线性相关 性和由它们的分量构成的函数组的线性相关性并 等价. 下面介绍n个n维向量函数组 (3.10) 在其定义区间I上线性相关与线性无关的判别准则. 我们考察由这些列向量所组成的行列式 通常把它称为向量组(3.10)的朗斯基(Wronski)行列式. 定理3.3 如果向量组(3.10)在区间I上线性相关， 则它们的朗斯基行列式W(x)在I上恒等于零. 证明依假设，存在不全为零的常数 ,使得 把上式写成纯量形式，有 这是关于 的线性齐次代数方程组，且它对任 ，都有非零解 .根据线性代数知识，它的系数行列式W (x)对任 都为零.故在I上有W(x)≡0.证毕. 对于一般的向量函数组,定理3.3的逆定理未必成立.例如向量函数 的朗斯基行列式恒等于零，但它们却是线性无关的. 然而，当所讨论的向量函数组是方程组(3.8)的解时， 我们有下面的结论.定理3.4 如果 是方程组(3.8)的n个线性无关解，则它的朗斯基 行列式W(x)在I上恒 为零.证明(反证法) 如果有 使得 ，考虑线性齐次代数方程组 由于系数行列式 ,所以它存在非零解 即 考虑函数 由定理3.2知函数 是(3.8)的解，而且它满足初 条件 另一方面， 也是方程(3.8)的满足初值条件 的解.因此，根据定理3.1 ′有即 因为 为零全 ，从而 在I上线性相关，这与假设矛盾，定理证毕. 由定理3.3和定理3.4立即得到如下的推论. 推论3.1 如果向量组(3.10)的朗斯基行列式 W(x)在区间I上的某 点x0处不等于零，即 ,则向量组(3.10)在I上线性无关. 实际上，这个推论是定理3.3的逆否命题. 推论3.2 如果方程组(3.8)的n个解的朗斯基行列式 W(x)在其定义区间I上某 点x0等于零，即 ,则该解组在I上必线性相关. 实际上，这个推论是定理3.4的逆否命题. 推论3.3 方程组(3.