常微分方程期末考题大全(东北师大).docVIP

证明题： 设在上连续，且，又，求证：对于方程 的一切解，均有。 证明 由一阶线性方程通解公式，方程的任一解可表示为 ， 即 。 　　由于，则存在，当时，。因而 　　　　　　　　　　　 　　　　　　　　　　　　　　　　， 由，从而有，显然。 应用洛比达法则得 。 证明题：线性齐次微分方程组最多有个线性无关的解，其中是定义在区间上的的连续矩阵函数。 证 要证明方程组最多有个线性无关的解，首先要证明它有个线性无关的解，然后再证明任意个解都线性相关。 由于是定义在区间上的的连续矩阵函数，所以对任意给定的初始条件，，方程组存在唯一的解。分别取初始条件 ，，．．．， 它们对应的解分别为且这个解在时的朗斯基行列式为，则是个线性无关的解。 任取方程组的个解，，这个解都是维向量，于是由线性代数有关理论知，它们线性相关。 这就证明了方程组最多有个线性无关的解。 证明题：如果已知二阶线性非齐次方程 对应齐次方程的基本解组为，证明其有一特解是,其中及是区间Ｉ上的连续函数，是的朗斯基行列式。 证 已知是对应齐次方程 的基本解组，则齐次方程的通解为 。 用常数变易法，求原方程的特解。 设 是原方程的特解，则满足下列关系 ， 解得 ， ， 积分得 。 原方程的一个特解为 故是原方程的一个特解。 证明题：设是常系数线性齐次方程组……（1）的解，的分量都是次数的多项式，但至少有一个分量是的次多项式，证明向量组，，...，是方程组（1）的线性无关解组。 证： 设是常系数线性齐次方程组 （1） 的解，的分量都是次数的多项式，但至少有一个分量是的次多项式，证明向量组，，...，，是方程组（1）的线性无关的解组。 证 先证明，，...，都是方程组（1）的解。 由于方程组（1）的解，则有 ， 即 其中表示单位矩阵。 由易得 。 （2） ， 由（2），上式变为 ，。 故，，...，都是方程组（1）的解。 再证明向量组，，...，线性无关。 因为的分量都是次数的多项式，但至少有一个分量是的次多项式，所以 ，而当时，。 若，，即 ，， 给上式两边关于求阶导数，得，，则必有。 给，两边关于求阶导数，则必有。 同理，可得，。 故向量组，，...，线性无关。 综上所述，我们证明了向量组，，...，，是方程组（1）的线性无关的解组。 证明题：阶齐次线性常微分方程有且最多有 个线性无关的解。 阶齐次线性常微分方程有且最多有 个线性无关的解。 证明 ：由于阶齐次线性常微分方程分别满足初始条件 的解为则一定存在个解，又因为若任取个解 由于 即最后一行可由前行线性表出，则 =0，故这个解一定是线性相 关的。从而命题得证。 证明题：设和是二阶线性齐次微分方程的两个线性无关解，求证：它们不能有共同的零点． 证明：．证明 由于和是两个线性无关解，则它们的朗斯基行列式 （*） （5分） 假如它们有共同零点，那么存在一个点，使得 = 于是 这与（*）式矛盾． 常微分方程习题集（5） （五）证明题 1. 试证：如果是满足初始条件的解，那么 . 2. 设和是方程的任意两个解，求证：它们的朗斯基行列式，其中为常数． 3. 假设不是矩阵的特征值，试证非齐线性方程组，有一解形如：，其中是常数向量. 4. 设及连续,试证方程为线性方程的充要条件是它有仅依赖与x的积分因子. 5. 设在上连续，且，求证：方程的任意解均有. 6. 试证:若已知黎卡提方程的一个特解,则可用初等积分法求它的通解. 7. 阶齐线性方程一定存在个线性无关解. 8. 设是非齐次方程的解齐次方程的解非齐次的设矩阵函数，在（a, b）上连续，试证明，若方程组与有相同的基本解组，则(。 10. 证明： 一个复值向量函数是（LH）的解的充要条件，它的实部和虚部都是（LH）的解。 （五）、证明题参考答案 1. 试证：如果是满足初始条件的解，那么 . 证明：因为是的基本