微分方程：选教材，分段求解并核对模型
求解器返回一个公式还不够。先说明区间、初值和接续规则，在切换点以外代回检查，再解释改变假设后哪些定性结论仍成立。
学习路线与例题编辑责任：University Reading List 编辑项目。 编辑与选书方法 · 来源核验日期:
适用范围与编辑责任
本科常微分方程入门，并提供后续理论桥梁。Lebl指2026年第6版6.11修订，Boyce等指2021第十二版所选活页产品，Teschl区分2012年AMS书与作者获准公开的预备稿。例题为原创无量纲纸上模型，不是实体装置或治疗步骤，也不证明真实参数或数值软件精度。
选择你的起点
需要免费的第一门课程路线
从Lebl的一阶章节开始，系统方程所需线代可由附录补足。先做选题再看给出的答案。
课程指定传统综合教材
用Boyce等的指定版连接方法、定性问题与应用，核对纸本形态及另行要求的课程权限。
想理解存在性与动力学
完成初步计算并准备证明后读Teschl。免费预备稿的页码不自动等于正式出版书。
三本书如何取舍
Notes on Diffy Qs: Differential Equations for Engineers（微分方程讲义：面向工程师的微分方程）
Jiří Lebl · 版次: 6 · 2026
免费的解法主线
- 适合何时选择
- 已会基础微积分，希望从解释和练习进入方程组。
- 何时另选路线
- 急需另一教材相同题号，或主要想学高级动力系统证明。
- 建议阅读范围
- 6.11版1.1–1.4节为一阶基础，1.6为自治方程，1.7为Euler法，后读第3章方程组。
- 局限与取舍
- 作者当前文件为2026年5月。只有部分练习给答案，不能声称全题解；修订日与版号不同。
选书前试做
在首区间用积分因子导出y=2−e^(−2t)，不用求解器代回验证。
检查标准: 同时核对y(0)=1与y′+2y=4。积分常数错，即使原函数形式对也不是该初值解。
Elementary Differential Equations and Boundary Value Problems（常微分方程与边值问题）
William E. Boyce; Richard C. DiPrima; Douglas B. Meade · 版次: 12 · 2021
课程指定的广泛应用路线
- 适合何时选择
- 讲义使用第十二版，或需要广泛查阅方法与应用。
- 何时另选路线
- 需要完整免费书，或只要短小的一阶路线。
- 建议阅读范围
- 2.1与2.4节讲一阶线性及线性非线性差别，2.7讲Euler，2.8讲存在唯一。
- 局限与取舍
- ISBN9781119777694对应2021活页本；Wiley另列电子版及权限套装，纸本不自动包含课程平台使用权。
选书前试做
先画分段输入，再在计算前预测y的连续性和切换处的左右斜率。
检查标准: 有限输入台阶会改变导数，不自动导致状态跳跃。须说明切换点采用何种解，而不是强求不存在的双侧导数。
Ordinary Differential Equations and Dynamical Systems
Gerald Teschl · 2012
免费的经典理论桥梁
- 适合何时选择
- 能跟随证明，希望理解解法背后的存在、唯一、依赖和动力学。
- 何时另选路线
- 基础积分尚不熟，或只想查算法清单。
- 建议阅读范围
- 第1–2章为一阶定性与初值理论，有矩阵准备后进第3章线性系统。
- 局限与取舍
- 作者PDF为经AMS许可的预备稿，明确限制修改及转载。免费阅读不等于能分发编辑后的副本。
选书前试做
列出每个区间应用初值定理前要核对的条件，说明切换模型为何还要接续。
检查标准: 检查各开区间实际的系数与输入正则性。不能不加解释地把要求输入连续的定理跨越不连续点使用。
检查先修准备
需要哪些微积分？
指数函数微分、积分因子，以及函数和导数的区别。方程组另需矩阵，理论路线还需证明成熟度。
初值属于模型吗？
是。解族并不是指定轨迹，还要说明条件在哪个时刻、事件前后状态是否连续。
方向场能证明什么？
可帮助看斜率与可能行为，单靠曲线不能证明唯一性、长期行为或数值误差界。
六步学习与具体成果
已标记完成的成果: 0 / 6
勾选用于自我记录，不是成绩评定；标记不会发送给本站。
-
先写模型
建议阅读范围: Lebl1.1–1.4或Boyce2.1。
动手产出: 写清方程、初值、无量纲定义域及两段输入。
检查标准: 必须分段；切换后继续用4的表达式是另一个问题。
-
求解并代回
建议阅读范围: 同一线性方程路线。
动手产出: 保留任意常数导出首段，再固定常数，计算残差y′+2y−4。
检查标准: 残差为零且满足初值，不能只检查某一个时刻。
-
在切换处接续
建议阅读范围: 回看一阶建模与题设。
动手产出: 算1处左极限，施加连续性，以该值解第二段。
检查标准: 明写t−1，区分左右导数，两公式在1处给同一状态。
-
检查定性行为
建议阅读范围: Lebl1.6或Teschl1.3–1.5。
动手产出: 画单调性和分段平衡，解释1处斜率改变。
检查标准: 前段向2上升，后段从正值向0衰减；不同区间的平衡不同。
-
审查数值结果
建议阅读范围: Lebl1.7或Boyce2.7，后续理论可读Teschl2.7。
动手产出: 说明跨越1的步长如何误用输入，并提出在已知事件处分割网格。
检查标准: 这是可复现计算规格，不是误差界证明。比较数值解前报告步长与切换处理。
-
改变接续规则
建议阅读范围: 使用原推导和变式给定的更新。
动手产出: 解重置模型，说明新不连续为何属于额外假设。
检查标准: 跳跃条件必须明示，不能从旧的有限输入台阶猜出；核对左右值与开区间内方程。
原创例题与解析
原创例题：输入台阶改变的是斜率
无量纲t≥0，解y′+2y=f(t)、y(0)=1；0≤t<1时f=4，t≥1时f=0。要求y在1处连续。求分段公式、y(1)、左右斜率和长期行为。
前提假设
数值与状态均为原创精确设定。解连续且分段可微，ODE要求在两个开区间成立；输入不连续点采用积分或分段解释，不声称该点有经典导数。首模型没有瞬时状态更新。
- 首段积分因子给y=2+Ce^(−2t)，初值确定C=−1，故y=2−e^(−2t)，连续性给y(1)=2−e⁻²。
- t>1为齐次方程，接续得到y=(2−e⁻²)e^(−2(t−1))，随时间趋向0。
- 左斜率2e⁻²，右斜率−4+2e⁻²，两者之差−4正对应输入下降。状态连续，导数却不连续。
答案与解释
1前为2−e^(−2t)，1后为(2−e⁻²)e^(−2(t−1))，公共状态2−e⁻²。轨迹先升后降；若强求全局连续可微，就改变了题设模型。
检验结果
各段代回各自方程。对1附近缩小区间积分，有界输入的面积趋零，与状态不跳跃一致。单点f取值不改变此积分解。
改变假设，再做一题
另加状态更新，不再假定连续
保留两段方程与初值，将连续性替换为明确事件规则y(1+)=y(1−)+3。求新的事件后轨迹并比较。更新是另行给定的数学规则，不是从输入台阶推导出来的。
- 首段不变，故y(1−)=2−e⁻²；新规则给y(1+)=5−e⁻²。
- t>1仍解相同齐次式，得y=(5−e⁻²)e^(−2(t−1))，与旧解之差3e^(−2(t−1))。
- 两条后段轨迹都趋0，但暂态值不同。新轨迹不是旧有界驱动方程跨1处的连续积分解，更新条件须保留在模型陈述中。
答案与解释
后段系数从2−e⁻²变成5−e⁻²。长期极限相同不代表轨迹相同，也不允许删掉事件规则。
检验结果
核对跳跃恰为3，事后残差y′+2y为零。将3改为0可回到原题；只切换f而不实施状态更新的数值法会解错模型。
常见误区
不能抹去区间
在各自定义域使用方程，明确连接状态。
连续不同于可微
连续状态可有不同左右导数；有限输入台阶不是状态跳跃条件。
光滑图像不是验证
给出残差、初值和接续检查，以及数值设置，图像可能掩盖事件。
进入下一阶段之前
- 导出两段并核对初值和接续规则。
- 说明切换点内外采用的方程含义。
- 区分相同长期极限与相同暂态解。
来源与版次核验
来源核验日期:
- Lebl: official version, prerequisites and contents
作者确认第一门课程受众、现行6.11与所选一阶小节，答案仅限指定练习。
- Wiley: twelfth-edition loose-leaf identity and contents
直接出版社数据和目次确认2021第十二版活页ISBN，电子与权限产品另计。
- Teschl: author-authorized preliminary text and contents
获准公开的预备稿提供理论章目，并明确阅读许可不同于修改转载许可。
这些是本站建议的学习活动，并非大学官方作业，也不代表对每本书逐页通读。