ピカールの逐次近似法

解析学において、ピカールの逐次近似法（ピカールのちくじきんじほう、）とは、常微分方程式の初期値問題に対し、解に一様収束する関数列を構成する手法。常微分方程式の初期値問題と同値な積分方程式に基づき、関数列を逐次的に構成する。常微分方程式の解の存在と一意性に関する基礎定理の証明に用いられる。より一般的な距離空間論の観点からは、この逐次近似列の構成法は縮小写像に対応しており、逐次近似法で得られる解は反復合成写像の不動点として捉えられる。ピカールの逐次近似法という名は19世紀のフランスの数学者エミール・ピカールに因む。ピカールは逐次近似の手法を発展させ、現在、常微分方程式の解の存在と一意性の理論で一般的に用いられる証明の論法を確立させた。
導入.
 を実数空間 に値をとる独立変数、 を -次実数空間 （または ）に値をとるベクトル値の未知関数を表すものとする。 を （または ）の領域とし、 を 上で定義された （または ）に値をとる連続関数とする。このとき、正規形の1階常微分方程式
において、 内の点 に対し、初期条件
を満たす解 を を含む区間 で求める初期値問題を考える。この初期値問題を解くことは積分方程式
を解くことと同値である。
内容.
ピカールの逐次近似法では初期値問題と同値な積分方程式を基づき、次のように初期条件から逐次的に関数列 を構成する。
このとき、極限関数
が存在すれば、これは上述の常微分方程式の初期値問題と同値な積分方程式を満たすことが期待される。
但し、この逐次近似法で構成する関数列 が適切に定義され、その存在と収束が保証される必要がある。そのために次の条件を要請する。
（または ）の有界閉領域
で は連続で有界、すなわちある が存在して
かつ、 についてのリプシッツ条件
を満たすとする。このとき、
で定まる区間
で は
を満たす連続関数として、適切に定義され、極限関数 に一様収束する。 の定義と の連続性より、 は
を満たし、所与の常微分方程式の初期値問題の解である。
縮小写像の不動点定理.
積分作用素 を
で定めると、上述の積分方程式の解は、
を満たす の不動点である。ピカールの逐次近似法では、関数列 は の反復合成
で構成されるが、一定の条件の下では は縮小写像となり、不動点定理からも解の存在が保証される。
実際、先ほどと同様に、 は有界閉領域 で連続かつリプシッツ連続であるとする。ここで
を満たす正の定数 で定まる閉区間
をとる。 上で定義される （または ）に値をとる連続関数のなすベクトル空間を formula_18 とし、formula_18 にノルムを
で定めると、formula_18 は完備なノルム空間となる。formula_18 の部分集合で条件
を満たすものからなる formula_24 は完備な閉部分集合であり、 は formula_24 から formula_24 への
を満たす縮小写像である。よって、バナッハの不動点定理により、 を満たす formula_24 の不動点、すなわち区間 上で定義される初期値問題の解 が存在する。
例.
例1.
次の自励系のスカラー微分方程式の初期値問題を考える。
ピカールの逐次近似法で を構成すると
よって、解は
となる。
例2.
次のスカラー微分方程式の初期値問題を考える。
ピカールの逐次近似法で を構成すると
よって、解は
となる。
リプシッツ条件についての注意.
リプシッツ条件が満たされない場合、逐次近似列 が定義されても、その収束は保証されない。そのような場合として、次の例を考える。
とし、 を
で定義すると、 上で は連続かつ
で有界であるが、リプシッツ連続ではない。このとき、初期値問題
を考えると、逐次近似列は
となり、収束しない。一方で、解は
である。