常微分习题二.pptVIP

* * * * * * * * 1.设 是方程 的解，且满足 在R上连续， 试证明：存在常数C，使得 证明： 因 为方程的两个解，故在R上有定义， 且 则 所以 线性相关。 （见书124页定理4.） 即存在不全为零的数 ，使得 因 所以 否则有 可得 即 线性无关，矛盾。 故 2.在方程 中，已知 在R上 连续，证明：该方程的任一非零解在xoy平面上不能与x轴相切。 证明： 由已知条件知该方程满足解的存在唯一性及解的延拓定理， 且任一解的存在区间为R， 显然该方程有零解 假设该方程的任一非零解 在x轴上某点 处与x轴相切， 则有 又因为零解也满足初始条件 由解的唯一性定理知 与 为非零解矛盾。 证毕。 3.求下列微分方程的通解或特解： * * * * * * * * * * * * * * * * * * * * * * * * * * 常微分方程 习题课2 一 存在唯一性定理 定理1 考虑初值问题 命题1 初值问题(3.1)等价于积分方程 构造Picard逐步逼近函数列 命题2 命题4 命题3 命题5 二 、近似计算和误差估计 求方程近似解的方法---Picard逐步逼近法,这里 1. 解的延拓定理 定理 三、解对初值的连续性和可微性定理 2.解对初值的连续依赖性定理 条件: I. 在G内连续且关于 满足局部Lips.条件; II. 是(1)满足 的解,定义 区间为[a,b]. 结论: 对 , 使得当 时,方程(1)过点 的解 在[a,b]上也有 定义,且 方程 3.解对初值的连续性定理 条件: 在G内连续且关于 满足局部Lips.条件; 方程 结论: 在它的存在范围内是连续的. ,作为 的函数 4.解对初值和参数的连续依赖定理 5.解对初值和参数的连续性定理 6.解对初值可微性定理 （4.1） 四、n阶线性微分方程 （4.2） 定理1：如果 方程（4.1）存在惟一的解 上，满足下列 及 都是区间 上的连续函数，则对于任一 及任意的 定义于区间 （4.3） 初始条件 伏朗斯基行列式: 由定义在区间 上的k个 k-1次可微函数 所作成的行列式 称为这些函数的Wronskian行列式,通常记做 定理3 如果函数组 在区间 (a, b) 上线性相关, 则在(a, b) 上它们的 Wronskian 行列式恒等于零, 即 . 定理4 若方程（4.2）的解 上线性无关,则 在该区间上任何点都不为零，即 在区间 定理6 (通解结构定理) 若 线性无关的解,则方程(4.2)得通解可表示为 是方程（4.2）的n个 其中 是任意常数，且通解（4.5）包括 （4.5） 方程（4.2）的所有解。 定理7 设 为方程（4.2） 的基本解组，而 为方程（4.1）的某一解，则 方程（4.1）的通解可表为 (4.8) 其中 为任意常数，而且该通解包括了 方程（4.1）的所有解。 常数变易法求特解 为求（4.1) 的一个特解, 将(4.8) 中的 常数看成 关于t 的函数, 此时(4.8) 式变为 是方程（4.2）的n个线性 设 无关的解， 因而 (4.2) 的通解为 (4.9) (4.10) 将 (4.10) 代入 (4.1) 得到一个 所满足的关系式. 由上面方程组求得 积分得 得（4.1）的通解 定理8 如果方程 （4.2） 中所有系数 都是实值函数. 而 是该方程的复值解,则 以及共轭复数 的实部 和虚部 也都是方程（4.2）的解. 定理9 如果方程 有复值解 都是实值函数，则U(t)和V(t)分别是方程 其中 和 的解。 常系数齐次线性方程 其中 为常数。 （4.11） 求方程（4.11）的通解的一般步骤： 第二步 计算方程相应的解 第一步 求方程的特征方程及特征根 a) 对每一个单实根 有解 b) 对每一个m1重实根 方程有m个解 方程有两个如下形