微分包含式のソースを表示

'''微分包含式'''とは、[[常微分方程式]]の考え方を一般化したものである。

{{Indent|<math>\frac{dx}{dt}(t)\in F(t,x(t)), </math>}}

ここで ''F''(''t'', ''x'') は微分方程式では多次元空間内の点 <math>\scriptstyle{\mathbb R}^d</math> だが、微分包含式においては[[集合]]である。微分包含式は、[[微分変分不等式]] (differential variational inequality, [[:en:differential variational inequality|en]])、projected dynamical system、クーロンの動[[摩擦力]]、[[ファジィ集合論]]などの分野で使われている。

たとえば、クーロンによる動摩擦力の法則では、物体の重さを ''N''、摩擦係数を ''μ'' とするとき、摩擦力は物体の動いている方向と逆向きに  ''μN'' という大きさで生じる。しかし、すべりが生じていないときには、摩擦力は平面内で大きさが ''μN'' 以下のどんなベクトルになってもよい。したがって摩擦力を位置と速度の関数として表そうとすると、その関数の取るのは値ではなく集合となる。

==論理==

解の存在を考えるときは通常、''F''(''t'',&nbsp;''x'') が ''x'' と 可測な''t'' の[[ヘミ連続|半連続]] (hemicontinuous または upper semi-continuous, [[:en: hemicontinuous|en]]) な関数で、''F''(''t'',&nbsp;''x'') はすべての ''t'' and ''x'' について閉じている凸集合であることが前提である。初期値問題
{{Indent|<math>\frac{dx}{dt}(t)\in F(t,x(t)), \quad x(t_0)=x_0</math>}}
の解は、十分に短い時間 [''t''<sub>0</sub>,&nbsp;''t''<sub>0</sub>&nbsp;+&nbsp;''ε］''　(ここで ''ε''&nbsp;>&nbsp;0) では存在する。また ''F'' が発散しない (<math>\scriptstyle \Vert x(t)\Vert\,\to\,\infty</math> as <math>\scriptstyle t\,\to\, t^*</math> for a finite <math>\scriptstyle t^*</math>) 場合は、大域的な解が存在することが示される。

凸集合でない微分包含式 ''F''(''t'',&nbsp;''x'') の解の存在定理は現在、明らかにされていない。

解の一意性を示すには、通常他の条件が必要となる。たとえば関数 <math>F(t,x)</math> において片側リプシッツ条件
{{Indent|<math>(x_1-x_2)^T(F(t,x_1)-F(t,x_2))\leq C\Vert x_1-x_2\Vert^2</math>}}
をすべての ''x''<sub>1</sub> and ''x''<sub>2</sub> について満たすような ''C'' があるとする。このとき、初期値問題
{{Indent|<math>\frac{dx}{dt}(t)\in F(t,x(t)), \quad x(t_0)=x_0</math>}}
の解は一意に定まる。

これはミンティ (G. J. Minty) と ブレジス (H. Brezis, [[:en:Haïm Brezis|en]]) による '''maximal monotone operators''' とも深く関わっている。

==応用==

微分包含式は不連続な常微分方程式を解析するのに用いられる。たとえば機械工学分野でのクーロンの摩擦力や電力分野での最適なスイッチングの解析などである。またフィリポフ (A. F. Filippov, 1960) による不連続な方程式の正則化が重要な貢献として挙げられる。[[ゲーム理論]]における[[微分ゲーム]] (differential game, [[:en:differential game|en]]) におけるクラソフスキイ (Nikolai Nikolaevich Krasovsky, [[:en:Nikolai Nikolaevich Krasovsky|en]]) による正則化法も使われた。

==参考文献==
* Jean-Pierre Aubin, Arrigo Cellina ''Differential Inclusions, Set-Valued Maps And Viability Theory'', Grundl. der Math. Wiss., vol. 264, Springer - Verlag, Berlin, 1984
* J.-P. Aubin and H. Frankowska ''Set-Valued Analysis'', Birkh¨auser, Basel, 1990
* Klaus Deimling ''Multivalued Differential Equations'', Walter de Gruyter, 1992
* J. Andres, L. Górniewicz ''Topological Fixed Point Principles for Boundary Value Problems'', Kluwer Academic Publishers, 2003

== 関連項目 ==

* [[常微分方程式]]
* [[多価関数]]
* [[ゲーム理論]]

{{DEFAULTSORT:ひふんほうかんしき}}
[[Category:力学系]]
[[Category:数学に関する記事]]