命題(正規型常微分方程式の解の初期値とパラメータに関する連続性)
K を実数体または複素数体とする。
E を K 上のBanach空間とし、F を K 上のノルム空間とする。
I を R の開区間とする。
U を E の開集合とし、V を F の開集合とする。
f: I×U×V → E を次の条件を満たす連続写像とする。

1) f は I×U×V 上で有界である。
即ち、M ＞ 0 があり、任意の (t, x, μ) ∈ I×U×V に対して
|f(t, x, μ)| ≦ M となる。

2) C ＞ 0 があり、任意の t ∈ I と任意の (x, μ), (y, ν) ∈ U に対して
|f(t, x, μ) - f(t, y, ν)| ≦ C|x - y| となる。

3) f(t, x, μ) は μ に関して一様連続である。
即ち、任意の ε ＞ 0 に対して δ ＞ 0 があり、
|μ - ν| ＜ δ なら任意の (t, x) ∈ I×U に対して
|f(t, x, μ) - f(t, x, ν)| ＜ ε となる。

(t_0, x_0) を I×U の任意の点とする。

このとき t_0 を含む開区間 J ⊂ I と x_0 の近傍 W ⊂ Uがあり
連続写像 g: J×W×V → E で次の条件をみたすものが一意に存在する。

a) g(J×W×V) ⊂ U
b) 任意の μ ∈ V に対して g(t_0, x, μ) = x
c) 任意の (x, μ) ∈ W×V に対して写像 t → g(t, x, μ) は
微分方程式 dx/dt = f(t, x(t), μ) の J における解である。

(続く)