线性微分方程组理论题解思路.docVIP

线性微分方程组理论题解思路 在微分方程理论中，线性微分方程组是非常值得重视的一部分内容。首先，自然界或工程技术中的大量实际系统常常可以直接用线性微分方程组描述，从而作为线性微分方程组去研究。其次，从数学的理论研究来说，线性微分方程组的研究，可以籍助于线性代数的知识给出适当和充分的解释。最后，线性微分方程组线性微分方程组的理论也是进一步研究非线性微分方程组的基础。 §1一般理论 考虑标准形式的阶线性微分方程组 （1.1） 其中系数函数和在区间上都是连续的。 若记 . 则可以把上面的线性微分方程组（1.1）写成向量的形式 （1.1） 当时，称（1）是非齐次的线性微分方程组。 当时，则方程组的形式为 （1.2） 通常（1.2）称为相应于（1.1）的齐次线性微分方程组。 和第三章中关于一阶方程的结果类似，我们可以证明如下的关于（1.1）的满足初值条件的解的存在唯一性定理。 存在和唯一性定理：设和在区间上连续，则初值问题 在区间内存在唯一的解. 该定理的证明与第三章定理3.1的证明完全类似，都可用Picard逐次逼近法来证明，只要把定理3.1的绝对值换为向量的范数即可。下面简要地给出证明 证明1)设是初值问题 的解， 则是积分方程（1.4）定义在上的连续解，反之亦然。 2）构造Picard迭代向量函数序列， 取（1.5）这样就 得到一个Picard 迭代序列，并从上面的迭代过程不难看出，对于一切，Picard迭代序列在上有定义且连续。 3）向量函数序列在上是一致收敛的。 考虑向量函数级数, （1.6） 由于 级数（1.6）的部分和为 因此，要证明序列在上一致收敛，只要证明级数（1.6）在上一致收敛即可。由于和都在上连续。所以和在上都有界。即存在正数和，使得 ，， 取，下证在上一致收敛。 首先，由（1.5）可导出下面的估计式： 由数学归纳法可得 由于且级数收敛， 由Weiestrass判别法知，级数（1.6）在上一致收敛，因而向量函数序列在上也一致收敛，同理可证在上也一致收敛。即有在上一致收敛。 令因为，是的极限函数，所以在上连续。 4）是积分方程（4）在区间上的连续解。事实上，因为在上一致收敛于以及在上的连续性，可知在上一致收敛于。对积分方程（1.5）两边取极限得到 即有 上式表明，是积分方程（1.4）定义在上的连续解。即是初值问题 的解。 5）解的唯一性 设是积分方程（4）的定义在上的另一连续解。则有令 则是定义在上的非负连续函数，且有 ,（1.7）取的一个上界，则由（1.7）可见 然后，把它代入（1.7）的右端，又可推出如此递推，可用归纳法得让，则上述不等式的右端趋于零。因此可推出 ,. 于是方程组（1）满足初始条件（1.3）的解是存在且唯一的。 注：若将此定理的条件和结论与定理3.1作比较，不难发现这里条件虽然仅要求连续，但是由的连续性可知，在的任意有限闭区间上函数对满足李氏条件。值得注意的是，此定理的结论与定理3.1的结论有不同之处，定理3.1的解的存在是局部的，而此定理则指出解在整个上存在，即解的存在区间表示局部的，而是大范围的。 在讨论非齐次线性微分方程组（1.1）之前，先讨论齐次线性微分方程组（1.2）。 1齐次线性微分方程组 这里我们主要研究齐次线性微分方程组（1.2）的所有解的集合的代数结构问题。 用记号S表示齐次线性微分方程组（1.2）的一切解组成的集合。即 易知是（2）的解，称为平凡解，即。所以集合S不是空集。 设和是（1.2）的解，和是两个任意常数。直接代入（1.2）验证即知，也是（1.2）的解，这技术线性齐次方程组的叠加原理。 引理1（叠加原理）设和都是齐次线性方程组（1.2）的解，则它们的线性组合（8）也是方程组（1.2）的解，其中和为实的任意常数。 引理1说明，按通常向量的加法，方程组的解集S构成一个线性空间。问题是：这个空间的维数是多少呢？为此我们需要引进向量函数的线性相关和线性无关的概念。 设在区间上给定个维的向量函数，若存在个不全为零的常数，使得对有恒等式成立，则称向量函数在区间上为线性相关的。否则，称为线性无关的。 例1证明个向量函数 在任何区间上都是线性无关的。 证 若不然，线性相关，则由线性相关的定义知，必存在不全为零的个常数，使得从而可得显然它的零点不会多于个，因而不可能在任何区间上恒为零，故在任何区间上线性无关。 例2 向量组在任何区间上线性无关。 证 若，即 由于系数行列式所以，故在任何区间上线性无关。 例3 证明向量函数组 在任何区间I上都是线性相关的。 证 事实上，取则 故在I上线性相关。 问题是：如何判别向量函数的线性无关性？ 下面介绍方程组（2）的解函数向量组在定义区间I上线性相关与线性无关的判别准则。为此我们引进Wronsky行列式概念。 设有个定义在区间上的向量函数 （