概要
今回と次回の記事は前回の縮小写像の原理の応用である(前回の記事はこちら)。それは微分方程式の解の一意存在定理の証明である。 今回は、存在定理を明示して、証明のアイディアを述べる。最後に証明のために必要な準備を行い、この記事を終える。完全な証明は次回の記事に記す。
常微分方程式の解の存在定理
常微分方程式には次のような解の存在定理がある。
定理 (常微分方程式の解の存在性とその一意性)
が初期条件
とともに与えられているとする。ここで は点 を含む領域 で連続、かつ について Lipshitz 条件
を満たすとする。
このとき、ある線分 上で初期条件をみたすただ1つの解 が存在する。
証明のアイディア
以下の方針で証明していく。
(1) 与えられた微分方程式を積分方程式に変える
与えられた微分方程式
の解 は積分方程式
と同値である。
したがって、このような を見つければよい。このような を縮小写像の原理(前回の定理)によって示すのである。
(2) 適当な定数 を定める
縮小写像の原理を使うために、適当な関数空間とそこでの縮小写像を定義したい。そのための定数 を定める。
(3) 関数空間 を定義して、それらが完備であることを示す
とおく。
関数空間 とその部分空間 を次のように定義する。
ただし、 は を含むある領域 で となる正数である。
距離 を任意の に対して、
と定める。
このとき、これらの空間、特に は完備である。
(4) 写像 を定義して、それが縮小写像であることを示す
写像 を次のように定義する。
任意の関数 と任意の点 に対して、
と定める。 は連続であるので、これはwell-definedである。
1) は からそれ自体への写像である。
2) ある定数 が存在して、任意の に対して、 が成り立つ。
(5) 縮小写像の定理の発動
以上より、 が完備距離空間であり、写像 が縮小写像であるから、縮小写像の定理より、不動点 がただ1つ存在する。
すなわち、ある関数 が存在して、 が成り立ち、しかもそのような関数はただひとつしか存在しない。
つまり、 は任意の に対して、
が成り立つ。
これはまさに求めたい微分方程式の解である。
(証明終わり)
準備
以上が微分方程式の解の存在定理の証明の流れである。あとは、細かいところをしっかりと議論しなくてはならない。例えば、関数空間 が完備であることなどである。
ここでは、存在定理の証明を完成するために必要な準備を行う。
次の3つの補題を示す。これらをすでに知っている読者ならばここはスキップしても構わない。
補題 1
を距離空間とする。関数列 は に一様収束するとする。さらに各 が空間 で連続であるとする。
このとき、 は空間 上で連続である。
補足: ここで用語の復習をしよう。
まず、関数列 が で一様収束するとは、
任意の正数 に対して、ある自然数 が存在して、
が成り立つことである。
さらに、各 が空間 で連続であるとは、各 に対して、任意の正数 と各点 に対して、ある正数 が存在して、
が成り立つことである。
ここで、 であり の開集合である。
補題1の証明
我々は次のことを示せばよい。すなわち、任意の正数 と 各点 に対して、ある正数 が存在して、
が成り立つことを示す。
任意の正数 をとる。
仮定より、関数列 は に一様収束するので、 に対して、ある自然数 が存在して、
が成り立つ。
となる自然数 をひとつとる。各点 に対して、 は で連続であるので、 に対して、ある正数 が存在して、
が成り立つ。このとき、 に対して、 より、
したがって、 は空間 上で連続である。
(補題1の証明終わり)
補題 2
を完備距離空間として、 を の部分空間とする。
このとき、 が完備であるための必要十分条件は が閉集合であることである。
は完備である は閉集合である
(存在証明では十分条件しか使われない)。
補題2の証明
を完備部分空間とする。 が閉集合であることを示すには、 を示せばよい。ただし、 は の閉包である。
任意の点 をとる。これは に収束するある点列 が存在することを意味する。
ここで、明らかに であるため、 である。つまり、 は の収束列である。よって、収束列ならばコーシー列であるので、 は のコーシー列である。 より は のコーシー列でもある。したがって、 は完備より、 はある点 に収束する。
()
()
ここで、我々は であると主張する。実際、 は距離空間であるため、ハウスドルフ空間であるから、収束列 の収束点はただ一つしか存在しないからである*2。したがって、 であることが示された。
は閉集合であるとする。 を任意のコーシー列とする()。これが収束列であることを示せばよい。
は のコーシー列でもある。 は完備より、ある点 に収束する。この点は実は に属している。つまり である。実際、 であり、これは を意味する。 は閉集合より、 である。
したがって、コーシー列 は点 に収束する。つまり、 は完備である。
(補題2の証明終わり)
補題 3
位相空間 上の有界実数値連続関数の全体からなる集合を であらわす。 の2元 に対して、距離 を
と定めると、 は 上の距離関数となる。つまり、 は距離空間である。
このとき、 は完備である。
補題3の証明
関数列 を のコーシー列とする。このとき、 が収束列であることを示す。各点 に対して、
となるから、
実数列 は のコーシー列である。したがって、 は完備より、 は収束する。この極限値を とする。つまり、
よって、写像 が得られる。
我々の主張はこのとき であり、 は に収束するということである。これを示そう。つまり、 は有界連続関数であり、 は に収束することを示す。
ます、 が連続であることを示そう。そのために、 は に一様収束であることを示す。そうすれば、補題1より、 が連続であることをわかるからである。
が に一様収束であるとは、
である。
任意の正数 を取る。 は のコーシー列であるから、ある自然数 が存在して、
補題3の証明終わり
以上より存在定理の証明に必要な補題を示した。次回は先ほど書いた証明のアイディアをもとに、厳密な証明を示したいと思う。
つづく
僕から以上
*1:ここでは例えば連続であることをcontinuousと英語表記されているが、これには訳がある。たとえ\textを使ったとしても日本語で表記しようとすると少しおかしくなってしまう。対して、英語表記(ローマ字表記)ならば、問題にならない。したがって、ここでは英語表記を使っている。
*2:位相空間 がハウスドルフ空間であるとは、任意の相異なる2点 に対して、 が存在して、が成り立つことである。点列 が点 に収束するとは、点 を含む任意の開集合 に対して、ある自然数 が存在して、 に対して が成り立つことである。もし、点列 が点 で収束するとする。このとき、 であることを示す。そのために背理法を使う。すなわち、 と仮定して、矛盾を示す。仮定より、ハウスドルフ空間より、点 を含む開集合 と点 を含む開集合 が存在して、 である。 はそれぞれ の収束点であるから、ある自然数 が存在して、 かつ がそれぞれ成り立つ。したがって、 とおけば、 に対して、 かつ である。つまり、 となり、矛盾。すなわち、 である。距離空間がハウスドルフ空間であることは明らか。