希茨(bi-Lipschitz)的。
皮卡-林德洛夫定理.若已知formula_18有界，formula_4符合利普希茨条件，则微分方程初值问题formula_20刚好有一个解。在应用上，formula_21通常属于一有界闭区间（如formula_22）。于是formula_18必有界，故formula_24有唯一解。