常微分方程证明题.docxVIP

常微分方程证明题 常微分方程试题――证明题 证明题 1. 试证：如果?(t)是 dXdt?AX满足初始条件?(t0)??的解，那么 . ?(t)?expA(t?t0)?2. 设y??1(x)和y??2(x)是方程y???q(x)y?0的任意两个解，求证：它们的朗斯基行列式W(x)?C，其中C为常数． 3. 假设m不是矩阵A的特征值，试证非齐线性方程组 dXdt?AX?Cemt，有一解形如：?(t)??yPemt，其中C,P是常数向量. 为线性方程的充 dydx4. 设f(x,y)及?f连续,试证方程dy要条件是它有仅依赖与x的积分因子. 5. 设f(x)在[0,??)上连续，且xlim???的任意解y?y(x)均有limy(x)?0x????f(x,y)dx?0求证：方程f(x)?0， ?y?f(x). 6. 试证:若已知黎卡提方程的一个特解,则可用初等积分法求它 的通解. 7. n阶齐线性方程一定存在n个线性无关解. 8. 设y??(x)是一阶非齐次线性方程于区间I上的任一解，?(x)是其对应一阶齐次线性方程于区间I上的一个非零解。则含有任意常数C的表达式： y?C?(x)??(x) 是一阶非齐次线性方程于区间I上的全部解的共同表达式。 9. 设n?n矩阵函数A1(t)，A2(t)在（a, b）上连续，试证明，若方程组 dXdt?A1(t)X与 dXdt?A2(x)X有相同的基本解组，则A1(t)?A2(t)。 10. 证明： 一个复值向量函数X??(t)?u(t)?iv(t)是（LH）的解的充要条件，它的实部u(t)和虚部v(t)都是（LH）的解。 （五）、证明题参考答案及评分标准 (每题10分) 1. 试证：如果?(t)是证明：因为?(t)?expdXdt?AX满足初始条件?(t0)??的解，那么 . 的基本解矩阵，?(t)是其解， At?C?(t)?expA(t?t0)?At是 dXdt?AX所以存在常向量C使得： ?(t)?exp令t?t0，则： ??exp所以 C?(expAt故 ， （2分） ， （2分） At0C?10)?， （2分） ?(t)?expAt?(expAt0)??expAt?exp(?At0)??expA(t?t0)??1 （4分） 2. 设y??1(x)和y??2(x)是方程y???q(x)y?0的任意两个解，求证： 它们的朗斯基行列式W(x)?c，其中c为常数． 证明：设q(x)在区间I上连续，由刘维尔公式可知，对任意x0?I，它们的朗斯基行列式W(x)满足： x W(x)?W(x0)exp(??xa1(t)dt)，x0?I （4分） 0而在方程y???q(x)y?0中，a1(x)?0，所以 W(x)?W(x0)1?W(x0)， （4分） 即 W(x)?c， x?I （2分） 3. 假设m不是矩阵A的特征值，试证非齐线性方程组 dXdt?AX?Cemt，有一解形如：?(t)?pemtPemt.其中C,P是常数向量. ， （2分） 证明：要证?(t)?是解，就是要证能够确定常数向量P，它使得 d(Pedtmt )?APemt?Cemt即Pmemt?APemt?Cemt，成立。 （2分） 亦即 P(mE?A)?C， （2分） 由于m不是A的特征值，故mE?A?0，从而mE?A存在逆矩阵， 那么可取向量 ， P?C(mE?A)?1， （2分） 这样方程就有形如?(t)?Pemt的解. （2分） 4. 设f(x,y)及?f连续,试证方程dy?y?f(x,y)dx?0为线性方程的充 要条件是它有仅依赖与x的积分因子. 证明：先证必要性，设方程dy?f(x,y)dx?0为线性方程，即