Lが求められる条件は何ですか？
y1(x),y2(x)がいずれも常微分方程式y' = f(x,y), y(x0) = y0の解であるとする。このとき、z(x) = |y1(x) - y2(x)|とおくと、z'(x) <= Lz(x)が成立する。ここで、Lはf(x,y)がx,yについてLipschitz条件を満たすときのLipschitz定数である。
Lipschitz条件を満たす関数f(x,y)に対して、Lipschitz定数Lが求められる必要があります。