常微分方程CH-3-SUMMARY.pptVIP

* * * 同理可证，若 则 统一地， 设 K 为非负常数，f (t) 和g(t) 为在 则 上的连续非负函数，且 机动 目录 上页 下页 返回 结束 设 y(t) 及 z(t) 为给定 IVP的任意两个解, 则 由 Gronwall 不等式, 有 机动 目录 上页 下页 返回 结束 因此 机动 目录 上页 下页 返回 结束 7. 若不然，设有两个不同的解 与 则存在 使得 不妨设 机动 目录 上页 下页 返回 结束 9. (1) 对任意固定的 (2) 由归纳法证明 显然，当 n=1时, (1) 成立，由于 假设 (1) 当n=k时成立，证 n=k+1 时成立. (1) 事实上， 机动 目录 上页 下页 返回 结束 则 (3) 由此可得 机动 目录 上页 下页 返回 结束 (5) 设 及 则由 可得 由于 N1， (4) 机动 目录 上页 下页 返回 结束 连续 10. (i) 定义逐次逼近序列 显然 在 [a,b] 上有定义且连续。 机动 目录 上页 下页 返回 结束 (ii) 证明 注意到 收敛 当且仅当 收敛 . 在 上一致收敛。 机动 目录 上页 下页 返回 结束 令 则 进一步 机动 目录 上页 下页 返回 结束 由归纳法，有 这样, 在 若 则 上一致收敛，设 则 在 上连续。 机动 目录 上页 下页 返回 结束 上一致收敛于 在 (iii) 由此可得， 及 机动 目录 上页 下页 返回 结束 (iv) 若 则 其中 机动 目录 上页 下页 返回 结束 因而, 由归纳法得 于是 当 上一致收敛于 在 时， 机动 目录 上页 下页 返回 结束 补1. 讨论方程 的分别通过点 (1,1) 及 (3,-1) 的解的存在区间。 容易确定此方程的通解为 显然 平面上满足 解的存在唯一性定理及解的延拓定理的条件。 所以过点 (1, 1)的解为 解 在 其积分曲线应无限远离远点， 所以这个解的存在区间为 且当 时， 机动 目录 上页 下页 返回 结束 故，它向左可以延拓到 过点 (3, -1)的解为 它向右可以 所以这个解的存在区间为 且当 时， 无限延拓。 机动 目录 上页 下页 返回 结束 补2. 证明：对任意 的解区间为 初值问题 证: 易证方程右端函数在整个 t y-平面上有定义， 且满足解的存在唯一性及延拓定理的条件。 显然， 由延拓定理， 为方程在 从而解的存在区间为 的解y=y(t)上的点应当无限远离原点， 但由解的 所以只能向 的解。 的唯一性， 它又不能越过 两边无限延拓， 机动 目录 上页 下页 返回 结束 主要内容 (1) 变量分离方程 (3) 一阶线性微分方程与常数变易法 (2) 齐次方程, (5) 恰当方程 (4) Bernoulli 方程 (6) 积分因子 (7) 隐式方程 机动 目录 上页 下页 返回 结束 判断方法： 1. 首先检查是否为变量分离方程 2. 如果不是变量分离方程，再分两种情形 （i）若方程是显式方程 检验它是否为齐次方程或线性方程或 Bernoulli 方程或可经变换化为这些类型。而且要检验方程 是否为上述类型方程。 机动 目录 上页 下页 返回 结束 （ii）若以上方法均失效，可将方程写成微分形式，然后再检验是否为恰当方程或是否找到积分因子。 注意：初等解法经常需要进行乘除某些因子的变换，因此可能产生增解或失解的问题。 机动 目录 上页 下页 返回 结束 主要方法： 1 分离变量法 2 常数变易法 3 变量变换法 4 积分因子法 机动 目录 上页 下页 返回 结束 Exercise 3.3 1. Proof: 机动 目录 上页 下页 返回 结束 机动 目录 上页 下页 返回 结束 假设 因而, 这样， 机动 目录 上页 下页 返回 结束 设 注意到 的解是唯一的, 机动 目录 上页 下页 返回 结束 机动 目录 上页 下页 返回 结束 3. 解 由于 和 在 处连续,则当 可微性定理的条件. 时满足解对初值的 当 时，有 机动 目录 上