An existence and uniqueness theorem guarantees a solution near the initial point.
存在与唯一性定理保证在初始点附近有解。
Under a Lipschitz condition on the function \(f\), the existence and uniqueness theorem ensures the initial value problem has exactly one local solution.
在函数 \(f\) 满足 Lipschitz 条件时,存在与唯一性定理保证该初值问题在局部范围内恰好有一个解。