1.2.1 微分方程求解 在数值分析的广袤疆域中,微分方程求解从来不是一道“解出来就行”的习题——它是一场精密的工程实践:是步长与精度之间的拉锯战,是截断误差与舍入误差的双重博弈,是算法稳定性在浮点宇宙中的一次次临界试探。当你在仿真火箭姿态控制律、模拟锂离子电池内部浓度演化、或重构脑电信号的神经动力学模型时,你调用的 或 并非黑箱魔杖;它背后站着龙格–库塔的阶条件、阿达姆斯方法的多步记忆、BDF公式的隐式迭代,以及一整套被数学严格证明、又被硬件浮点单元反复校验过的数值契约。 我们不谈“什么是常微分方程”,也不复述教科书里那个优美的存在唯一性定理。