微分方程规定变化、数据与定义域
目标: 不看已经写出的步骤,建立这个精确结论:“候选只有在可微且满足方程及全部数据的区间上才是解。”然后求解“验证 y=Ce^{2t} 满足 y′=2y、y(0)=3。”,并验证方程、数据及有根据的区间或近似范围。
阶数、线性、自主性与初值/边界数据决定真正的问题。
先读懂方程再选择方法:n 阶 ODE 关联 t,y,y′,…,y⁽ⁿ⁾;IVP 再给出一个 t₀ 处 y 与导数值。 本节要建立的结论是:候选只有在可微且满足方程及全部数据的区间上才是解。 每次变形都保留未知函数、自变量、参数、数据、单位与区间。
例题是:验证 y=Ce^{2t} 满足 y′=2y、y(0)=3。 按编号完成推导,再把结果代回原方程与全部条件。精确公式、定性结论与数值证据属于不同类型的答案。
候选只有在可微且满足方程及全部数据的区间上才是解。
把候选求导到所需阶。
代入每项并化简残差。
检查初值/边界数据与表达式定义域。
验证 y=Ce^{2t} 满足 y′=2y、y(0)=3。 请写出完整结果,并代回检查每个已知条件。
- 导数为 2Ce^{2t}。
- 代入对每个实 t 成立。
- y(0)=C=3。
结果: 该族中唯一候选为 ℝ 上 y=3e^{2t}。