ピカールの逐次近似法

解析学において、ピカールの逐次近似法（ピカールのちくじきんじほう、）とは、常微分方程式の初期値問題に対し、解に一様収束する関数列を構成する手法。常微分方程式の初期値問題と同値な積分方程式に基づき、関数列を逐次的に構成する。常微分方程式の解の存在と一意性に関する基礎定理の証明に用いられる。より一般的な距離空間論の観点からは、この逐次近似列の構成法は縮小写像に対応しており、逐次近似法で得られる解は反復合成写像の不動点として捉えられる。ピカールの逐次近似法という名は19世紀のフランスの数学者エミール・ピカールに因む。ピカールは逐次近似の手法を発展させ、現在、常微分方程式の解の存在と一意性の理論で一般的に用いられる証明の論法を確立させたA. N. Kolmogorov & A. P. Yushkevich (2009)Emile Picard, Traité d'analyse, Gauthier-Villars (1893), Tome II, Chapitre XI.。

導入
 を実数空間  に値をとる独立変数、 を -次実数空間 （または ）に値をとるベクトル値の未知関数を表すものとする。 を （または ）の領域とし、 を  上で定義された （または ）に値をとる連続関数とする。このとき、正規形の1階常微分方程式

において、 内の点  に対し、初期条件

を満たす解  を  を含む区間  で求める初期値問題を考える。この初期値問題を解くことは積分方程式

を解くことと同値である。

内容
ピカールの逐次近似法では初期値問題と同値な積分方程式を基づき、次のように初期条件から逐次的に関数列  を構成する は  を満たす任意の連続関数でよい。。

このとき、極限関数

が存在すれば、これは上述の常微分方程式の初期値問題と同値な積分方程式を満たすことが期待される。

但し、この逐次近似法で構成する関数列  が適切に定義され、その存在と収束が保証される必要がある。そのために次の条件を要請する。

（または ）の有界閉領域

で  は連続で有界有界閉領域上の連続関数であるから、有界性定理により、有界性が保証される。、すなわちある  が存在して

かつ、  についてのリプシッツ条件

を満たすとするリプシッツ条件の下では解の一意性が保証される。なお、  が適切に定義されるにはリプシッツ条件は不要だが、その場合、収束は保証されない。。このとき、

で定まる区間

で  は

を満たす連続関数として、適切に定義され、極限関数  に一様収束する。 の定義と  の連続性より、 は

を満たし、所与の常微分方程式の初期値問題の解である。

縮小写像の不動点定理
積分作用素  を

で定めると、上述の積分方程式の解は、

を満たす  の不動点である。ピカールの逐次近似法では、関数列  は  の反復合成

で構成されるが、一定の条件の下では  は縮小写像となり、不動点定理からも解の存在が保証される。
実際、先ほどと同様に、 は有界閉領域  で連続かつリプシッツ連続であるとする。ここで

を満たす正の定数  で定まる閉区間

をとる。 上で定義される （または ）に値をとる連続関数のなすベクトル空間を  とし、 にノルムを

で定めると、 は完備なノルム空間となる。 の部分集合で条件

を満たすものからなる  は完備な閉部分集合であり、 は  から  への

を満たす縮小写像である。よって、バナッハの不動点定理により、 を満たす  の不動点、すなわち区間  上で定義される初期値問題の解  が存在するここでの議論では、 が縮小写像の条件を満たすように制約条件  を加えたため、解の存在が保証される区間は当初の  ではなく、 となっている。 上の議論でも十分大きな自然数  をとると  を縮小写像とすることができるため、不動点定理を用いて  上の解の存在を示すことができる。。

例
例1
次の自励系のスカラー微分方程式の初期値問題を考える。

ピカールの逐次近似法で  を構成すると

よって、解は

となる。

例2
次のスカラー微分方程式の初期値問題を考える。

ピカールの逐次近似法で  を構成すると

よって、解は

となる。

リプシッツ条件についての注意
リプシッツ条件が満たされない場合、逐次近似列  が定義されても、その収束は保証されない。そのような場合として、次の例を考える。

とし、 を

で定義すると、 上で  は連続かつ

で有界であるが、リプシッツ連続ではない。このとき、初期値問題

を考えると、逐次近似列は

となり、収束しない。一方で、解は

である。

 脚注 

 注釈 

 出典 

 参考文献 







関連項目
 ピカール＝リンデレーフの定理
 反復合成写像
 バナッハの不動点定理

Category:常微分方程式
Category:解析学
Category:数学に関する記事
Category:数学のエポニム

en:Fixed-point iteration