如果对 0 , ( , a , b ) 0 , 使得对于满足
( x0 x0 ) ( y 0 y 0 )
2 2
2
的一切 ( x 0 , y 0 ),
初值问题
dy f ( x, y ) , dx y ( x0 ) y0 ( 3 . 1)
axb
2
解对初值和参数的连续性定理
设 f ( x , y , ) 在区域 G 连续 , 且在 G 内一致地关于 y 满足 局部 Lipschitz 条件 , 则方程 ( 3 . 1) 的解 y ( x , x 0 , y 0 , ) 作为 x , x 0 , y 0 , 的函数在它们存在范围 内是连续的 .
三
解对初值的可微性定理
f y 都在区域 G 内连续 , 则方程
若函数 f ( x , y )以及
( 3 .1)的解 y ( x , x 0 , y 0 )作为 x , x 0 , y 0的函数在它们存 在范围内是连续可微的 .
证明 由于
f y
在 G 内连续 ,
故 f ( x , y )在 G 内关于 y 满足局部 Lipschitz 条件 ,
dx y z ( x0 ) 1
exp(
x
dz
f ( x, )
z
的解, 不难求得
f ( x, ) y
y0
dx)
x0
显然它是 x , x 0 , y 0的连续函数 .
同样可证
x0
存在且连续 .
设由初值 ( x 0 , y 0 ) 和 ( x 0 x 0 , y 0 ) 所确定的解分别为
证明 由(3 .1) 满足 y ( x 0 ) y 0的解存在区间内任取一