常微分方程

常微分方程。会话常微分方程形式化的常微分方程（ODE）和初值问题。这项工作包括唯一解的局部和全局存在性的证明（Picard-Lindelöf定理）。此外，它包含了流对初始条件的依赖性（连续或甚至可微）的形式化，作为ode流。