ピカールの逐次近似法

解析学において、ピカールの逐次近似法(ピカールのちくじきんじほう、: Picard iteration)とは、常微分方程式初期値問題に対し、解に一様収束する関数列を構成する手法[1][2][3][4]。常微分方程式の初期値問題と同値な積分方程式に基づき、関数列を逐次的に構成する。常微分方程式の解の存在と一意性に関する基礎定理の証明に用いられる。より一般的な距離空間論の観点からは、この逐次近似列の構成法は縮小写像に対応しており、逐次近似法で得られる解は反復合成写像不動点として捉えられる[5][6]。ピカールの逐次近似法という名は19世紀のフランスの数学者エミール・ピカールに因む。ピカールは逐次近似の手法を発展させ、現在、常微分方程式の解の存在と一意性の理論で一般的に用いられる証明の論法を確立させた[7][8]

導入編集

t実数空間 R に値をとる独立変数、x(t) = (x1(t), .., xm(t))m-次実数空間 Rm(または Cm)に値をとるベクトル値の未知関数を表すものとする。DRm + 1(または R × Cm)の領域とし、fD 上で定義された Rm(または Cm)に値をとる連続関数とする。このとき、正規形の1階常微分方程式

 

において、D 内の点 (τ, ξ) に対し、初期条件

 

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

 

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

内容編集

 
ピカールの逐次近似法の例。非自励系の初期値問題 d/dtx(t) = sin(t) − x(t), x(0) = 1 に対し、青線が解、オレンジ線がピカールの逐次近似法で構成される関数列 {φn(t)}である。ここで、φ0(t) = 1, φ1(t) = 2 − cos(t) − t, φ2(t) = 2 − cos(t) − 2t + sin(t) + t2/2 である。

ピカールの逐次近似法では初期値問題と同値な積分方程式を基づき、次のように初期条件から逐次的に関数列 {φn(t)} を構成する[注 1]

 

このとき、極限関数

 

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

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

Rm + 1(または R × Cm)の有界閉領域

 

f は連続で有界[注 2]、すなわちある M が存在して

 

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

 

を満たすとする[注 3]。このとき、

 

で定まる区間

 

{φn(t)}

 

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

 

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

縮小写像の不動点定理編集

積分作用素 T

 

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

 

を満たす T不動点である。ピカールの逐次近似法では、関数列 {φn(t)}T反復合成

 

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

 

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

 

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

 

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

 

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

 

を満たす縮小写像である。よって、バナッハの不動点定理により、Tφ = φ を満たす   の不動点、すなわち区間 I0 上で定義される初期値問題の解 φ(t) が存在する[注 4]

編集

例1編集

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

 

ピカールの逐次近似法で φn(t) を構成すると

 

よって、解は

 

となる。

例2編集

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

 

ピカールの逐次近似法で φn(t) を構成すると

 

よって、解は

 

となる。

リプシッツ条件についての注意編集

リプシッツ条件が満たされない場合、逐次近似列 {φn(t)} が定義されても、その収束は保証されない。そのような場合として、次の例を考える[3]

 

とし、f(t, x)

 

で定義すると、D 上で f(t, x) は連続かつ

 

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

 

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

 

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

 

である。

脚注編集

[脚注の使い方]

注釈編集

  1. ^ φ0(t)‖ φ0(t) − ξ ‖ ≤ ρ を満たす任意の連続関数でよい。
  2. ^ 有界閉領域上の連続関数であるから、有界性定理により、有界性が保証される。
  3. ^ リプシッツ条件の下では解の一意性が保証される。なお、 {φn(t)} が適切に定義されるにはリプシッツ条件は不要だが、その場合、収束は保証されない。
  4. ^ ここでの議論では、T が縮小写像の条件を満たすように制約条件 0 < Lr′ < 1 を加えたため、解の存在が保証される区間は当初の I0 = [τr0, τ + r0] ではなく、I0′ = [τr0′, τ + r0′] となっている。I0 上の議論でも十分大きな自然数 m をとると Tm を縮小写像とすることができるため、不動点定理を用いて I0 上の解の存在を示すことができる。

出典編集

  1. ^ a b 木村 (1974), 第2章.
  2. ^ a b 吉田 (1978), 第1編、§18, 19.
  3. ^ a b 山本 (1979), 第1章.
  4. ^ Hartman (1964), chapter I&II.
  5. ^ a b 木村 (1974), 第2、6章.
  6. ^ a b Kolmogorov & Fomin (1975), chapter 2, §8.
  7. ^ A. N. Kolmogorov & A. P. Yushkevich (2009)
  8. ^ Emile Picard, Traité d'analyse, Gauthier-Villars (1893), Tome II, Chapitre XI.

参考文献編集

  • 木村, 俊房 『常微分方程式』共立出版〈共立数学講座13〉、1974年11月。ISBN 978-4-320-01104-5NCID BN01224519全国書誌番号:69007185http://www.kyoritsu-pub.co.jp/bookdetail/9784320011045 
  • 山本, 稔 『常微分方程式の安定性』実教出版〈実教理工学全書〉、1979年1月。ISBN 978-4407022032NCID BN0039709X全国書誌番号:79032265 
  • 吉田, 耕作 『微分方程式の解法』(第2版)岩波書店岩波全書〉、1978年2月23日。ISBN 978-4000215541NCID BN00692555全国書誌番号:78010853 
  • A. N. Kolmogorov & A. P. Yushkevich 編 編、藤田宏 監 訳 『19世紀の数学III チェビシェフの関数論・常微分方程式・変分法・差分法』朝倉書店、2009年11月。ISBN 978-4254117431NCID BB00312489OCLC 675973814全国書誌番号:21686817 
  • Hartman, Philip (1964). Ordinary Differential Equations. John Wiley & Sons 
  • Kolmogorov, Andrey; Fomin, Sergei V. Richard A. Silverman訳 (June 1, 1975) [1970]. Introductory Real Analysis. Dover Books on Mathematics (Revised English ed.). New York: Dover Press. ISBN 0-486-61226-0. NCID BA03478607. LCCN 74-18669. OCLC 468055856 

関連項目編集