初期値問題しょきちもんだいの存在そんざい・一意性いちいせいと最大存在区間さいだいそんざいくかん

1導入どうにゅう

この講義こうぎでは、初期値問題しょきちもんだいで「解かいが存在そんざいすること」と「解かいが 1 本ほんに決定けっていされること」を分離ぶんりして理解りかいする。

2対象たいしょうとする初期値問題しょきちもんだい

標準形ひょうじゅんけいは

である。ここで問題もんだいにするのは、解かいの公式こうしきではなく、初期点しょきてん $$(x_0,y_0)$$(x_0,y_0) の近傍きんぼうで解かいが存在そんざいするか、さらに一意いちいに決定けっていされるかである。

3存在そんざいと一意性いちいせいを区別くべつする理由りゆう

解析解かいせきかいが得えられなくても、解かいの存在そんざいや一意性いちいせいは判定はんていできる。存在そんざいには右辺うへん $$f$$f の連続性れんぞくせいが基本きほんになる。一方いっぽう、$$y$$y 方向ほうこうへの局所きょくしょ Lipschitz 性せいは一意性いちいせいを導みちびく標準的ひょうじゅんてきな十分条件じゅうぶんじょうけんである。Lipschitz 性せいは必要条件ひつようじょうけんではない。

4局所存在きょくしょそんざい・一意性定理いちいせいていり

4.1Peano の存在定理そんざいていり

$$D\subset R^2$$D\subset\mathbb{R}^2 を開領域かいりょういきとし、$$(x_0,y_0)\in D$$(x_0,y_0)\in D とする。$$f:D\to \mathbb{R}$$f:D\to\mathbb{R} が連続れんぞくなら、ある $$h>0$$h>0 が存在そんざいし、初期値問題しょきちもんだい

は $$|x-x_0|<h$$|x-x_0|<h で少すくなくとも 1 つの解かいをもつ。この定理ていりは一意性いちいせいを主張しゅちょうしない。

4.2Picard--Lindelof の定理ていり

$$D\subset R^2$$D\subset\mathbb{R}^2 を開領域かいりょういきとし、$$(x_0,y_0)\in D$$(x_0,y_0)\in D とする。$$f:D\to \mathbb{R}$$f:D\to\mathbb{R} が連続れんぞくで、$$y$$y に関かんして局所きょくしょ Lipschitz なら、ある $$h>0$$h>0 が存在そんざいし、上うえの初期値問題しょきちもんだいは $$|x-x_0|<h$$|x-x_0|<h で一意解いちいかいをもつ。ここで一意いちいとは、同おなじ初期条件しょきじょうけんを満みたす 2 解かいが共通定義区間きょうつうていぎくかんで一致いっちすることを意味いみする。

この関係かんけいは、次つぎの二段構成にだんこうせいで整理せいりできる。

5Lipschitz 条件じょうけんが一意性いちいせいに作用さようする理由りゆう

直前ちょくぜんのページでは、同一初期値どういつしょきちを持もつ 2 解かいの差さを Lipschitz 定数ていすうで抑おさえ、Gronwall 不等式ふとうしきへ接続せつぞくした。このページでは、その機構きこうを Picard-Lindelof の仮定かていと結論けつろんとして使用しようする。

6判定表はんていひょう

7最大存在区間さいだいそんざいくかんと延長えんちょう

$$f$$f が開領域かいりょういき $$D$$D で連続れんぞくかつ $$y$$y に関かんして局所きょくしょ Lipschitz であるとする。Picard--Lindelof の定理ていりによる局所一意解きょくしょいちいかいを一致いっちする部分ぶぶんで重かさね合あわせると、初期時刻しょきじこくを含ふくむ 1 つの最大開区間さいだいかいくかん $$(\alpha ,\beta )$$(\alpha,\beta) まで一意いちいに延長えんちょうできる。これを最大存在区間さいだいそんざいくかんmaximal interval of existenceという。

実平面じつへいめんでは、閉へいかつ有界ゆうかいな部分集合ぶぶんしゅうごうをコンパクト集合しゅうごうcompact setという。

有限端点ゆうげんたんてん、たとえば $$\beta <\mathrm{\infty }$$\beta<\infty で延長えんちょうが停止ていしするなら、$$x\to {\beta }^{-}$$x\to\beta^- で解かいのグラフ $$(x,y(x\left)\right)$$(x,y(x)) は $$D$$D のどのコンパクト部分集合ぶぶんしゅうごうにも留とどまり続つづけられない。もし終端近傍しゅうたんきんぼうでコンパクト集合しゅうごう $$K\subset D$$K\subset D に留とどまるなら、$$f$$f は $$K$$K 上じょうで有界ゆうかいなので $$\left|y^{\prime }\right|\text{[PARSE ERROR: Undefined("Command("le")")]}M$$|y'|\le M となる。したがって $$y\left(x\right)$$y(x) は $$x\to {\beta }^{-}$$x\to\beta^- で Cauchy となり、有限極限ゆうげんきょくげん $$y_{\beta }$$y_\beta を持もつ。$$K$$K は閉へいじているため $$(\beta ,y_{\beta })\in K\subset D$$(\beta,y_\beta)\in K\subset D であり、この点てんで局所存在きょくしょそんざい・一意性定理いちいせいていりを再適用さいてきようすれば $$\beta$$\beta を越こえて延長えんちょうでき、最大性さいだいせいに反はんする。$$D=R^2$$D=\mathbb{R}^2 なら、有限端点ゆうげんたんてんで停止ていしするためには $$\left|y\right(x\left)\right|$$|y(x)| が有界ゆうかいでなくなる。局所一意性きょくしょいちいせいだけから $$\alpha =-\mathrm{\infty },\beta =\mathrm{\infty }$$\alpha=-\infty,\ \beta=\infty を結論けつろんしてはならない。

一方いっぽう、$$f$$f が全平面ぜんへいめんで連続れんぞくかつ $$y$$y に関かんして $$x$$x に一様いちような大域たいいき Lipschitz 条件じょうけん

を満みたすとする。任意にんいの $$T>0$$T>0 に対たいし、初期時刻しょきじこくを中心ちゅうしんとする有限時間区間ゆうげんじかんくかん $$|x-x_0|\text{[PARSE ERROR: Undefined("Command("le")")]}T$$|x-x_0|\le T では、連続性れんぞくせいにより $$\left|f\right(x,0\left)\right|\text{[PARSE ERROR: Undefined("Command("le")")]}{M}_T$$|f(x,0)|\le M_T となる。したがって

である。$$x\text{[PARSE ERROR: Undefined("Command("ge")")]}{x}_0$$x\ge x_0 とし、$$A=\left|y_0\right|+M_{T}T$$A=|y_0|+M_TT とおくと、積分形せきぶんけいから $$u\left(x\right)=\left|y\right(x\left)\right|\text{[PARSE ERROR: Undefined("Command("le")")]}A+L{\int }_{x_0}^{x}u\left(t\right)dt$$u(x)=|y(x)|\le A+L\int_{x_0}^x u(t)\,dt である。$$z\left(x\right)=A+L{\int }_{x_0}^{x}u\left(t\right)dt$$z(x)=A+L\int_{x_0}^x u(t)\,dt とおけば $$z^{\prime }\text{[PARSE ERROR: Undefined("Command("le")")]}Lz$$z'\le Lz かつ $$z\left(x_0\right)=A$$z(x_0)=A なので、$$e^{-Lx}z\left(x\right)$$e^{-Lx}z(x) の単調性たんちょうせいから $$u\left(x\right)\text{[PARSE ERROR: Undefined("Command("le")")]}A{e}^{L(x-x_0)}$$u(x)\le Ae^{L(x-x_0)} を得える。$$x\text{[PARSE ERROR: Undefined("Command("le")")]}{x}_0$$x\le x_0 でも積分区間せきぶんくかんを反転はんてんして同様どうようである。したがって有限時間区間ゆうげんじかんくかんで $$\left|y\right(x\left)\right|$$|y(x)| は有限ゆうげんに保たもたれ、有限時間爆発ゆうげんじかんばくはつは発生はっせいしない。延長不能条件えんちょうふのうじょうけんから最大存在区間さいだいそんざいくかんは $$\mathbb{R}$$\mathbb{R} である。

8具体例ぐたいれい

8.1一意いちいに存在そんざいする例れい

では $$f(x,y)=y$$f(x,y)=y であり、$$\mathit{\partial }f/\mathit{\partial }y=1$$\partial f/\partial y=1 は連続れんぞくである。したがって局所的きょくしょてきに一意解いちいかいが存在そんざいする。実際じっさい、解かいは $$y=e^x$$y=e^x である。

8.2一意性いちいせいが破綻はたんする例れい

では $$f\left(y\right)=\sqrt{\left|y\right|}$$f(y)=\sqrt{|y|} は連続れんぞくであるため、Peano の定理ていりにより局所解きょくしょかいの存在そんざいは保証ほしょうされる。しかし $$y=0$$y=0 の近傍きんぼうで Lipschitz 条件じょうけんが成立せいりつしない。実際じっさい、$$y\left(x\right)=0$$y(x)=0 は解かいであり、任意にんいの $$a\text{[PARSE ERROR: Undefined("Command("ge")")]}0$$a\ge 0 に対たいして

も解かいになる。同一どういつの初期条件しょきじょうけんから複数ふくすうの解かいが出現しゅつげんするため、一意性いちいせいは成立せいりつしない。

8.3最大存在区間さいだいそんざいくかんが有限ゆうげんで終おわる例れい

では分離ぶんりにより

を得える。この解かいは $$x=1$$x=1 で発散はっさんするため、初期時刻しょきじこく 0 を含ふくむ最大存在区間さいだいそんざいくかんは $$(-\mathrm{\infty },1)$$(-\infty,1) である。右辺うへんは全平面ぜんへいめんで滑なめらかでも、局所きょくしょ Lipschitz 性せいだけでは有限時間爆発ゆうげんじかんばくはつを防ふせげない。

9適用上てきようじょうの注意ちゅうい

• $$\mathit{\partial }f/\mathit{\partial }y$$\partial f/\partial y の連続性れんぞくせいを必要条件ひつようじょうけんとして扱あつかってはならない。
• 解かいが存在そんざいすることと、初等関数しょとうかんすうで表現ひょうげんできることを混同こんどうしてはならない。
• 局所解きょくしょかいの存在そんざいと大域解たいいきかいの存在そんざいを混同こんどうしてはならない。

10適用範囲てきようはんい

ここで扱あつかった定理ていりは一階初期値問題いっかいしょきちもんだいの局所理論きょくしょりろんである。境界値問題きょうかいちもんだいや偏微分方程式へんびぶんほうていしきでは、別べつの条件じょうけんと理論りろんが必要ひつようになる。

11次つぎの講義こうぎ

12演習えんしゅうリンク