令 S⊂H 为开球,其中心 x0 和半径为 r,并且 f 为 Lipschitz 函数,用于 I×S 上的常数 k>0;进一步假设t↦f(t,x0)有界于I,并用M0表示∥f(t,x0)∥在t∈I上的上界。证明对于所有t0∈I,存在x′=f(t,x)的积分u,S中的值,等于点t0处的x0,并在I的交和区间上定义]t0−λ,t0+λ[,哪里
λ=k1log(1+M0kz) (注一个人有
∥u(t)−x0∥≤M(t−t0)+k∫t0t∥u(s)−x0∥ds 代表
t>t0)。