Lição 92 — EDOs separáveis
dy/dx = g(x)h(y). Separar variáveis e integrar dos dois lados. Aplicações: decaimento radioativo, resfriamento de Newton, crescimento logístico.
Used in: Spécialité Maths francesa (Terminale) · Math III japonês avançado · Leistungskurs Mathematik 12 alemão · H2 Mathematics singapurense
Rigorous notation, full derivation, hypotheses
严格定义和方法
标准形式和可分离性
"A separable equation is actually the first kind of differential equation that can be solved explicitly." — Lebl, Notes on Diffy Qs, §1.3
奇异解(平衡点)
存在性和唯一性定理(Picard-Lindelöf)
设 且初值条件为 。如果 在 上连续,且 在 的某个邻域内Lipschitz 连续——即存在 使得 ——,那么存在 和唯一解 满足该初值问题。
"Theorem 1.2.1. If is continuous and is continuous near some , then a solution exists for near , and is unique." — Lebl, Notes on Diffy Qs, §1.2
方向场和定性分析
对于 ,方向场在每一点 处关联向量 ,表示该点处解的斜率。等斜线是满足 (常数斜率)的曲线。水平等斜线满足 ——它们是平衡点。
dy/dx = y 的方向场。金色水平等斜线是平衡点 y* = 0。对于 y > 0,解上升;对于 y < 0,解下降——平衡点不稳定。
Osgood 准则(全局存在性)
对于自治微分方程 和初值 ,解对所有 存在当且仅当
如果积分收敛,则发生有限时间爆破——解在有限时刻 处逃至 ,该时刻由 给出。
示例: ,。 ——爆破在 处。
已解决的示例
问题。 求解 。
策略。 微分方程是可分离的, 和 。分离、积分、取幂。
解。
写 (任意非零实常数):
验证: 也求解(常数解,因为 )。包括 。
验证。 ——正确。
来源。 Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.1 — CC-BY-SA.
问题。 求解初值问题 ,。
策略。 分离变量、积分、应用初值条件来固定 。
解。
初值条件:,故 。
验证。 且 ——正确。
来源。 OpenStax Calculus Vol. 2, §4.3, Example 4.15 — CC-BY-NC-SA.
问题。 求解 ,。
策略。 在 中使用部分分式分离并积分。
解。
部分分式:。
取幂:。
求解:。
初值条件:。
验证。 且 当 ——正确的逻辑斯谛行为。
来源。 Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.4 — CC-BY-SA.
问题。 一个 90°C 的物体放在 20°C 的房间里。5 分钟后是 70°C。建模并确定何时达到 30°C。
策略。 牛顿冷却定律:。在 中分离并积分。
解。
设 。那么 ,故 。
当 时:。
条件::
对于 :
验证。 C ——确认。
来源。 OpenStax Calculus Vol. 2, §4.3, Example 4.17 — CC-BY-NC-SA.
问题。 求解 ,。证明解在有限时间爆炸并确定爆破时刻。
策略。 分离、积分(幂 )、隔离 、识别奇点。
解。
故 。
初值条件:。
解在 上定义,当 时满足 :在 处爆破。
验证。 且 ——正确。Osgood 准则确认:。
来源。 Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.6 — CC-BY-SA.
Exercise list
45 exercises · 11 with worked solution (25%)
- Ex. 92.1Application
求解 。
- Ex. 92.2Application
求解初值问题 ,。
- Ex. 92.3Application
求解 。
- Ex. 92.4Application
求解 ,。
- Ex. 92.5Application
求解 。
- Ex. 92.6Application
求解 。
- Ex. 92.7Application
求解 ,。
- Ex. 92.8ApplicationAnswer key
求解 。
- Ex. 92.9Application
求解 。
- Ex. 92.10ApplicationAnswer key
求解 。
- Ex. 92.11ApplicationAnswer key
求解 。
- Ex. 92.12Application
通过部分分式求解 。
- Ex. 92.13Application
求解 ,。
- Ex. 92.14Application
验证 求解 。
- Ex. 92.15ApplicationAnswer key
求解 。
- Ex. 92.16Application
求解 。
- Ex. 92.17Application
求解 ,。
- Ex. 92.18Application
求解 。
- Ex. 92.19Application
求解 ,。
- Ex. 92.20Application
求解 。讨论定义域和奇异解。
- Ex. 92.21ModelingAnswer key
放射性衰变:C 的半衰期为 5730 年。10000 年后剩余百分之多少?
- Ex. 92.22ModelingAnswer key
RC 电路放电: V,,。求 。
- Ex. 92.23Modeling
100 L 装满纯水的坦克,每分钟进入 5 L 浓度 10 g/L 的盐水,并排出 5 L/min。30 分钟后浓度是多少?
- Ex. 92.24Modeling
细菌菌落每 3 小时翻倍。增长 100 倍需要多长时间?
- Ex. 92.25Modeling
牛顿冷却定律:20°C 房间里的 90°C 咖啡在 5 分钟后达到 70°C。何时达到 30°C?
- Ex. 92.26Modeling
具有线性阻力的自由落体:,。求解并确定末端速度 。
- Ex. 92.27ModelingAnswer key
药物浓度:,。多久降至初始剂量的 50%?
- Ex. 92.28Modeling
投资以年利率 5% 的连续复利增长:。资本翻倍需要多长时间?
- Ex. 92.29UnderstandingAnswer key
证明 是 的解。它属于一般族吗?证明。
- Ex. 92.30Understanding
对于 ,,证明存在无穷多个解。为什么 Picard 唯一性会失败?
- Ex. 92.31UnderstandingAnswer key
为什么 使用绝对值?
- Ex. 92.32Understanding
对于 ,识别平衡点并将其分类为稳定或不稳定。
- Ex. 92.33Understanding
下列哪种形式的 对应可分离的微分方程?
- Ex. 92.34Challenge
通过替换 求解 。
- Ex. 92.35Challenge
证明 , 在有限时间 爆炸。用 Osgood 准则确认。
- Ex. 92.36Challenge
Bernoulli 方程 。证明替换 将其转换为线性微分方程。
- Ex. 92.37Proof
通过 Picard 迭代为 , 素描 Picard-Lindelöf 定理的证明,其中 连续且在 中 Lipschitz。
- Ex. 92.38ProofAnswer key
对于 且 对所有 ,证明解是全局的当且仅当 (Osgood 准则)。
- Ex. 92.39Application
求解 。
- Ex. 92.40Application
通过部分分式求解 。识别奇异解。
- Ex. 92.41Application
求解 。
- Ex. 92.42Application
求解 。
- Ex. 92.43Modeling
逻辑斯谛增长:,。种群何时达到承载量的一半?
- Ex. 92.44UnderstandingAnswer key
定性分析 而不显式求解:识别平衡点、稳定性和不同初值条件下的解的行为。
- Ex. 92.45Challenge
对于 当 ,确定 的哪些值导致有限时间爆破。在这种情况下计算 。
来源
- Lebl, Notes on Diffy Qs — Jiří Lebl · v6.6 · CC-BY-SA. §1.3 Separable equations; §1.2 Picard-Lindelöf. 本课的主要来源。
- OpenStax Calculus Volume 2 — OpenStax · CC-BY-NC-SA. §4.3 Separable Equations. 建模示例:牛顿、混合、细菌、药物动力学。
- APEX Calculus — Hartman et al. · CC-BY-NC. §8.1 Graphical and Numerical Solutions, §8.1 Separable Differential Equations. 定性分析、方向场、Bernoulli。