第5章典型例题.doc.doc

线性微分方程组 例5-1 方程组 （1） 与黎卡提方程 （2） 等价。 证 若方程组（1）有一个非零解，不妨设不为零，令，代入方程组的第一式，得 ， 由 ， ， 即为（2）的一个解。 若是黎卡提方程（2）的一个解，则可证明，是方程组（1）的一个非零解。这是因为 由于是Riccati方程（2）的一个解，则可得 ， 直接对求导，得 ， 。 评注：表明二阶线性方程组与一个黎卡提方程（纯量）解之间的关系。这说明只要其中一个方程可以求解，则另一方程就可求解。我们知道1841年刘维尔（Liouville）证明了黎卡提方程一般不能用初等积分法求解，即方程的解不能用初等函数及其积分形式来表示，这样两个未知函数的线性微分方程组一般也不可求初等积分的解，但知道它的一个非零解时，方程组可积。 例5-2 如果在区间上是阶线性方程组 的两个基本解矩阵，那么存在一个非奇异常数矩阵，使得在区间上。 证 因为为基本解矩阵，故其逆矩阵一定存在。令 或 。 由于是基本解矩阵，则它们可微，故知是可微的矩阵，且 ， 于是 。 由此推知，，或 （），即为常矩阵，记为。 因此，有 （）。 评注：如果在区间上是阶线性方程组的基本解矩阵，则满足矩阵微分方程 ，并且任意两个基本解矩阵可以线性表示，即，为非奇异常数矩阵。 例5-3 证明：如果在区间上是某一个线性齐次方程组的基本解矩阵，那么此方程组必为。并求作一个线性齐次微分方程组，使它的基本解矩阵为。 证 设所求线性齐次方程组为 。 因为为基本解矩阵，所以 。 给上式两端同时右乘矩阵，得， 故所求方程组为。 由于，， 则， 利用以上结果得，所求方程组为。 评注：我们可以在已知线性齐次方程组的基本解矩阵的条件下求作这个方程组。 例5-4 设为区间上的连续实矩阵，是方程组的基本解矩阵。试证： 1）是方程组的基本解矩阵，这里是元行向量； 2）利用1）的结论，证明方程组等价于。 证 1）在等式 两端关于求导，得 ， ， 所以是方程组的基本解矩阵。 2） 若是方程组的解，则 。 即满足方程组。 反过来，若满足方程组， 则 ， ， 两端同乘以可逆矩阵，得 ，即。 即得 是方程组的解。 评注：方程组称为的伴随方程组，此例中表明了它们的解之间的关系。我们利用2）的结果，从到积分得 即得方程组满足初始条件的解。 例5-5设方程组中的有周期，即，证明 1）若为基本解矩阵，则也是，其中为整数； 2）存在非奇异方阵使得。 证 1）因为对任意的整数，都有 ， 所以是基本解矩阵。 2）当时，是方程的基本解矩阵，则存在非奇异方阵使得 ， 所以，当时，，即有。 故对任意的整数，。 评注：周期线性齐次方程组的基本解矩阵满足，为非奇异方阵。 例5-6 设初值问题 ， 1）证明在区间内其解可以用逐次逼近法求得； 2）用逐次逼近法求出和的前三次近似。 解 1）设，，，即， 那么有 ， 取 ， 取使得， 这样就有，上式经化简得 ， 显然只要取即可，这时在 ，， 中，方程组右端函数连续且满足对的李普希兹条件，可以用逐次逼近法求解。 2）按逐次逼近公式 得 ， ， 。 评注：注意向量微分方程解的存在唯一性定理的条件与结论，并注意逐次逼近序列的构造。 例5-7若已知个方程组成的线性方程组 （1） 的一个解，则可将方程组化为个方程组成的方程组。 证 令是方程组（1）的解，其中 ，是待定的纯量函数，代入方程组（1）有 化简后， ， 即 ， 这个方程组的第一个分量为 ， 即 ，为的第一个分量。 ， （若，我们可变换方程组，使其它分量为第一个，不失一般性，令）第个分量是 （2） 式（2）是个方程组成的方程组（线性齐次方程组）。 若是（2）的解，则 从而（1）的解为 。 进一步，如果方程组（2）完全可求解，即可得到（2）的个线性无关的解，由，可得到（1）的个解 ， 从而构成（1）的基本解组，故方程组（1）的通解可求得。 事实上，只要证线性无关即可。 考虑，其第一个分量 ， 即 ， 用乘上式两端得 ， 推得 ， 而由线性无关，得，从而。 即证明了构成（1）的基本解组。 评注：这个方法称为（D’Alembert’s Method