皮卡-林德洛夫定理（Picard-Lindelöf theorem）
/ pee-KAR LIN-deh-loff /
在你花一个下午去解初值问题之前，值得先知道解是否存在——以及是否唯一。皮卡-林德洛夫定理正是回答这两点的实用保证。在合理条件下，它担保初值问题 dy/dx = f(x, y)、y(x_0) = y_0 恰有一个解，至少在起点附近的一小段范围内成立。
条件温和且可检验。若 f(x, y) 在 (x_0, y_0) 周围的矩形内连续，并在那里关于 y 满足利普希茨条件——大致是说 f 沿 y 方向变化不太陡，|f(x, y_1) - f(x, y_2)| 至多为某常数 L 乘 |y_1 - y_2|（f 对 y 的偏导有界是常用的简便检验）——则在包含 x_0 的某个区间上存在唯一解。证明既构造又优美：用皮卡迭代造出一列越来越好的近似（先取常数 y_0，然后反复把下一个函数设为 y_0 加上 f 沿当前猜测的积分），利普希茨条件迫使这列收敛到那个唯一的真解。
两条诚实的局限必须与这条定理同行。其一，它是局部的：只承诺在 x_0 附近某区间上有解，而非对一切 x——解可能在有限时间内爆破到无穷（初值问题 dy/dx = y^2、y(0) = 1 的解是 1/(1-x)，在 x = 1 处逃逸）。其二，当利普希茨条件失效时，唯一性可能真的破裂：dy/dx = sqrt(y) 配 y(0) = 0 同时有 y = 0 和 y = x^2/4 两个解。这条定理恰在其假设成立处是保证——在假设不成立处则是警示，而那正是奇解栖身之地。
对 dy/dx = sqrt(y) 配 y(0) = 0，右边 sqrt(y) 在 y = 0 处连续但不满足利普希茨条件（那里斜率无穷）。唯一性失效：y = 0 与 y = x^2/4 都满足该初值问题。这正是定理所警示的失效情形。
失去利普希茨条件，就可能失去唯一性——过一点有两个解。
仅有 f 的连续性（皮亚诺定理）只换来存在性，换不来唯一性。唯一性专门需要更强的利普希茨条件。把二者混为一谈——以为任何连续方程都有唯一解——是一个常见且后果严重的错误。