コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

「ポアンカレ・ベンディクソンの定理」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
編集の要約なし
編集の要約なし
 
(3人の利用者による、間の15版が非表示)
1行目: 1行目:
数学における'''ポアンカレ・ベンディクソンの定理'''とは、平面上の[[連続力学系]]における軌道の大域的構造([[閉軌道]]の存在)に関する定理である。
[[File:Trichotomy of Poincaré-Bendixon theorem.svg|thumb|250px|ポアンカレ・ベンディクソンの定理によれば、平面上の[[極限集合]]は(1)平衡点、(2)周期軌道、(3)複数平衡点とそれらを繋ぐ軌道のいずれかとなる]]
'''ポアンカレ・ベンディクソンの定理'''(ポアンカレ・ベンディクソンのていり、Poincaré–Bendixsonの定理)とは、[[平面]]上の[[力学系|連続力学系]]あるいは[[自励系|自励的]][[常微分方程式]]系では、[[有界]]な[[軌道 (力学系)|軌道]]が時間経過後に最終的に落ち着く先は、[[平衡点]]を含まなければ[[軌道 (力学系)|周期軌道]]であることを述べる数学の[[定理]]である。19世紀末に[[アンリ・ポアンカレ]]が発表し、後の20世紀初頭に{{仮リンク|イーヴァル・オット・ベンディクソン|en|Ivar Otto Bendixson}}がより厳密・一般化した形で証明して発表した。


与えられた系の周期軌道の存在を明確にすることは一般的に難しいが、ポアンカレ・ベンディクソンの定理はその手法を与える希少なものの一つである。また、定理の帰結として、このような平面の系で[[状態変数]]が[[極限|収束する]]先は、本質的に平面上の1点(平衡点)または[[閉曲線]](周期軌道)のいずれかに限られ、より複雑な振る舞いはないことを意味する。[[極限集合]]の概念を使うと、平面上の極限集合は(1)平衡点、(2)周期軌道、(3)複数の平衡点とそれらを繋ぐ軌道の3種に限られることが言える。ただし、定理が成立する根本的理由の一つが、平面上では[[ジョルダンの閉曲線定理]]が成立し、自己交差しない連続な閉曲線は平面を2つの領域に分けるという事実にあるので、[[トーラス]]や3次元の系で定理は成立しない。
== 概要 ==
ポアンカレ・ベンディクソンの定理は次のような事を示している。二次元平面上の連続力学系に於いて任意の[[状態空間]]における[[コンパクト空間|コンパクト]]部分集合にとどまる軌道は
[[固定点]]、[[周期軌道]]、有限個の固定点からなる[[連結空間]]のいずれかである。
together with homoclinic and heteroclinic orbits connecting these.
ただし、すべての固定点は孤立点で[[極限集合|ω-極限集合]]に漸近するとする。


==前提とする主な定義==
[[独立変数]]を {{Math|''t'' &isin; &Ropf;}} とし、[[従属変数]]を {{Math|'''''x''''' {{=}} (''x'', ''y'')<sup>T</sup> &isin; ''M'' &sub; &Ropf;<sup>2</sup>}} とする。[[未知関数]] {{Math|'''''x'''''(''t'') {{=}} (''x''(''t''), ''y''(''t''))<sup>T</sup>}} に対して次のような一般的な[[自励系|自励的]]2元連立1階[[常微分方程式]]系を考える{{Sfn|今・竹内|2018|pp=170&ndash;171}}。


:<math>\boldsymbol{\dot{x}} = \boldsymbol{f}(\boldsymbol{x}(t))</math>
従って、[[カオス理論|カオス]]的な挙動は3次以上の連続力学系でしか現れないことになる。
しかしながらこの定理は、1次や2次でもカオス的挙動が確認されている[[離散力学系]]に対しては適応することは出来ない。


または
より弱い仮定での定理は[[アンリ・ポアンカレ|ポアンカレ]]によって不完全であるが示された。のちに[[イヴァル・オットー・ベンディクソン|ベンディクソン]]([[1901年]])がこの定理に対して完全な証明を与えた。


:<math>\dot{x} = f(x(t),\ y(t)) </math>
== 定理 ==
:<math>\dot{y} = g(x(t),\ y(t)) </math>
ポアンカレ・ベンディクソンの定理にはいくつかの表現方法があるが、その一つを挙げる。


ここで、{{Math|&Ropf;}} は[[実数]]を、上付き &dot; は微分 {{Math|{{Sfrac|''d''|''dt''}}}} を、右肩 {{Math|<sup>T</sup>}} は[[転置行列|転置]]を表す。独立変数 {{Mvar|''t''}} は[[時間]]とみなし、時間の経過に連れて {{Mvar|'''x'''}} の値も変わるという風に微分方程式の意味をとらえる{{Sfn|荒井|2020|p=2}}。従属変数の定義域 {{Mvar|M}} は {{Math|&Ropf;<sup>2</sup>}} の[[部分集合|部分]][[開集合]]で、{{Mvar|M}} を[[相空間]]ともいう{{Sfn|今・竹内|2018|pp=107, 170&ndash;171}}({{Math|''M'' {{=}} &Ropf;<sup>2</sup>}} 全体としても定理は成立する{{Sfn|荒井|2020|p=174}})。{{Math|'''''f''''' {{=}} (''f'', ''g'')<sup>T</sup>}} は [[微分可能関数|{{Math|''C''<sup>1</sup>}} 級関数]] {{Math|'''''f''''': ''M'' &rarr; &Ropf;<sup>2</sup>}} とする{{Sfn|今・竹内|2018|pp=170&ndash;171}}。{{Mvar|'''f'''}} は {{Mvar|M}} 上に[[ベクトル場]]を定める{{Sfn|伊藤|1998|p=13}}。
[[平面]]上の次のように定義された力学系を考える。


{{Math|''t'' {{=}} ''t''<sub>0</sub>}} に対して与えられる {{Mvar|x}} の値 {{Math|(''x''(''t''<sub>0</sub>), ''y''(''t''<sub>0</sub>))<sup>T</sup> {{=}} '''''x'''''<sub>0</sub>}} を[[初期値問題|初期値]]という{{Sfn|Hirsch, Smale & Devaney|2007|p=146}}。以下、簡単のために {{Math|''t''<sub>0</sub> {{=}} 0}} で固定する。初期値 {{Math|'''''x'''''<sub>0</sub>}} を満たし、時間 {{Mvar|t}} のときの {{Mvar|x}} の値を返す写像 {{Math|''&#x3D5;''(''t'', '''''x'''''<sub>0</sub>): &Ropf; &times; ''M'' &rarr; ''M''}} を微分方程式の定める'''[[流れ (数学)|流れ]]'''や[[力学系|連続力学系]]という{{Sfnm|アリグッド; サウアー; ヨーク |2012|1p=90|今・竹内|2018|2pp=142&ndash;144}}。{{Math|'''''f'''''}} が {{Math|''C''<sup>1</sup>}} 級であることから、上記の微分方程式系は解の存在と一意性を満たし、流れ {{Math|''&#x3D5;''(''t'', '''''x'''''<sub>0</sub>)}} は
:<math>(\dot x,\dot y)=(f(x,y),g(x,y)).</math>


#{{Math|''&#x3D5;''(0, '''''x'''''<sub>0</sub>) {{=}} '''''x'''''<sub>0</sub>}}
ここで ''S'' を[[不動点]]を含まない[[有界]][[閉集合]]とする。また ''S'' を含む開集合で ''f'' , ''g'' は C<sup>1</sup>級関数とする。もしある解軌道が ''S'' 上にとどまりつづけるならば、閉軌道か閉軌道に収束する。
#任意の {{Math|''t'', ''s'' &isin; &Ropf;}}について {{Math|''&#x3D5;''(''s'', (''&#x3D5;''(''t'', '''''x'''''<sub>0</sub>)) {{=}} ''&#x3D5;''(''t''+''s'', '''''x'''''<sub>0</sub>)}}


を満たす{{Sfn|Hirsch, Smale & Devaney|2007|pp=145, 148}}。
=== 別の表現 ===
平面上の[[開集合]]かつ[[単連結空間]]な部分集合上の実連続力学系を考える。
このとき、固定点を含まない軌道のうち、すべての空でないコンパクトなα-極限集合(もしくはω-極限集合)は周期軌道である。


[[File:Line-Integral.gif|thumb|280px|平面上のベクトル場の例。軌道は平面上でベクトルに沿った曲線を成す。]]
== 注 ==
初期値 {{Math|'''''x'''''<sub>0</sub>}} を決めて、{{Mvar|t}} を {{Math|&minus;&infin;}} から {{Math|&infin;}} まで動かしながら {{Math|''&#x3D5;''(''t'', '''''x'''''<sub>0</sub>)}} が返す値を相空間 {{Mvar|M}} 上に描くと、それは {{Mvar|M}} 上の一つの[[曲線]]となる{{Sfn|齋藤|2002|p=8}}。この曲線を {{Math|'''''x'''''<sub>0</sub>}} を通る'''[[軌道 (力学系)|軌道]]'''という{{Sfn|齋藤|2002|p=8}}。 {{Math|'''''x'''''<sub>0</sub>}} を通る軌道を {{Math|''O''('''''x'''''<sub>0</sub>)}} で表すとする{{Sfn|坂井|2015|p=xiv}}。微分方程式の解の一意性により、ある {{Math|'''''x'''''<sub>0</sub>}} を通る {{Math|''O''('''''x'''''<sub>0</sub>)}} はただ一つだけに限られる{{Sfn|齋藤|2002|p=8}}。特に {{Mvar|t}} が非負のときの軌道
つまり、この定理により閉軌道が存在することがわかる。
この定理は、3次元以上の場合や、[[離散力学系]]では成立しない。


:<math> O_{+}(\boldsymbol{x}_{0})= \left \{ \phi (t,\ \boldsymbol{x}_{0}) \mid 0 \le t < \infty \right \} </math>
平面という仮定は必要である。
トーラス上では、例えば、再帰性のある周期的でない軌道を作ることができる。


を'''正の半軌道'''といい、{{Math|''O''<sub>+</sub>}} で表すとする{{Sfn|坂井|2015|p=xiv}}。{{Math|''&#x3D5;''(''t'', '''''x'''''<sub>0</sub>)}} が {{Math|''C''<sup>1</sup>}} 級であることから軌道は(以下の平衡点である場合を除いて)滑らかな曲線で{{Sfn|齋藤|2002|p=12}}、曲線上の各点の[[接ベクトル]]が微分方程式の {{Math|'''''f'''''('''''x''''')}} に対応する{{Sfn|荒井|2020|pp=34&ndash;35}}。
== 応用例 ==
ひとつの重要な帰結は、二次元連続力学系では、[[ストレンジアトラクタ]]が生じることはないという主張である。
もしストレンジアトラクタ<math>C</math>がそのような系に存在するならば、
<math>C</math>を含む[[有界閉集合]]が存在することになる。
十分に小さな部分集合を用意することで任意の不動点は除くことができる。
一方、ポアンカレ・ベンディクソンの定理によると<math>C</math>はすでにストレンジアトラクタではない事を示したことになる。つまり、そのような軌道は、リミットサイクルもしくは、リミットサイクルに漸近する軌道である。
== 関連項目 ==
*[[アンリ・ポアンカレ]]
*[[イヴァル・オットー・ベンディクソン]]
*{{仮リンク|Dulacの判定法|ru|Критерий Дюлака}}


初期値 {{Math|'''''x'''''<sub>0</sub>}} に対して {{Math|'''''f'''''('''''x'''''<sub>0</sub>) {{=}} 0}} となる場合、微分方程式の解は[[定数]]となる{{Sfn|荒井|2020|p=38}}。このときの軌道は {{Math|''O''('''''x'''''<sub>0</sub>) {{=}} {'''''x'''''<sub>0</sub>}}} となり、相空間上の1点である{{Sfnm|坂井|2015|1p=xv|齋藤|2004|2p=47}}。このような {{Math|'''''f'''''('''''x''''') {{=}} 0}} を満たす {{Mvar|'''x'''}} を'''[[平衡点]]'''という{{Sfn|荒井|2020|p=38}}。

また、{{Math|'''''x'''''<sub>0</sub>}} に対して、{{Math|''&#x3D5;''(''T'', '''''x'''''<sub>0</sub>) {{=}} '''''x'''''<sub>0</sub>}} かつ {{Math|''&#x3D5;''(''t'' < ''T'', '''''x'''''<sub>0</sub>) &ne; '''''x'''''<sub>0</sub>}} を満たすような {{Math|''T'' > 0}} が存在するとき、これを満たすときの {{Math|'''''x'''''<sub>0</sub>}} の軌道を'''[[軌道 (力学系)|周期軌道]]'''という{{Sfn|伊藤|1998|p=26}}。相空間上の周期軌道は、円のように[[単純閉曲線|自分自身と交わらない閉曲線]]となる{{Sfnm|齋藤|2002|1pp=11&ndash;12|アリグッド; サウアー; ヨーク |2012|2p=149}}。

[[File:Limit set for flow.svg|thumb|250px|周期軌道([[リミットサイクル]])とそれを極限集合とする点 {{Math|'''''x'''''<sub>0</sub>}} の例。時刻の列 {{Math2|''t''<sub>1</sub>, ''t''<sub>2</sub>, &hellip; &rarr; &infin;}} で極限集合上の{{Mvar|&omega;}}極限点 {{Mvar|'''y'''}} に収束する。]]
時間が無限大に発散するときの軌道 {{Math|''O''('''''x'''''<sub>0</sub>)}} の漸近的な振る舞いを調べるために、{{Math|'''''x'''''<sub>0</sub>}} の[[極限集合]]が重要となる{{Sfnm|齋藤|2002|1p=12|荒井|2020|2p=164}}。ある点 {{Math|'''''x'''''<sub>0</sub> &isin; ''M''}} に対して時刻 {{Mvar|t}} の列 {{Math|''t''<sub>1</sub>, ''t''<sub>2</sub>, &hellip; &rarr; &infin;}} を一つ適当に選ぶと

:<math> \lim_{k \rightarrow \infty} \phi(t_{k},\ \boldsymbol{x}) = \boldsymbol{y} \isin M</math>

となるとき、{{Mvar|'''y'''}} を {{Math|'''''x'''''<sub>0</sub>}} の{{Mvar|&omega;}}極限点という。そして、{{Math|'''''x'''''<sub>0</sub>}} の{{Mvar|&omega;}}極限点全てから成る集合を {{Math|'''''x'''''<sub>0</sub>}} の'''{{Mvar|&omega;}}極限集合'''といい、{{Math|''&omega;''('''''x'''''<sub>0</sub>)}} で表すとする{{Sfn|今・竹内|2018|p=158}}。時間を逆向き {{Math|''t''<sub>1</sub>, ''t''<sub>2</sub>, &hellip; &rarr; &minus;&infin;}} にした方は'''{{Mvar|&alpha;}}極限集合'''といい、{{Math|''&alpha;''('''''x'''''<sub>0</sub>)}} で表すとする{{Sfn|今・竹内|2018|p=158}}。{{Mvar|&omega;}}極限集合または{{Mvar|&alpha;}}極限集合を総称して極限集合という{{Sfn|Hirsch, Smale & Devaney|2007|p=220}}。

{{Math|''O''<sup></sup>('''''x'''''<sub>0</sub>)}} が平衡点または周期軌道ならば、{{Math|''&omega;''('''''x'''''<sub>0</sub>)}} と {{Math|''&alpha;''('''''x'''''<sub>0</sub>)}} はその {{Math|''O''<sup></sup>('''''x'''''<sub>0</sub>)}} 自体と同じとなる{{Sfnm|齋藤|2004|1p=50|坂井|2015|2p=xvi}}。極限集合 {{Math|''&omega;''('''''x'''''<sub>0</sub>)}} または {{Math|''&alpha;''('''''x'''''<sub>0</sub>)}} が周期軌道で、それでいて {{Math|'''''x'''''<sub>0</sub>}} 自体はそれら {{Math|''&omega;''('''''x'''''<sub>0</sub>)}} または {{Math|''&alpha;''('''''x'''''<sub>0</sub>)}} に含まれないとき、そのような極限集合を[[リミットサイクル]]という{{Sfn|荒井|2020|p=177}}。リミットサイクルに対して、軌道は巻きつくようにして収束する{{Sfn|Hirsch, Smale & Devaney|2007|p=232}}。

==定理の主張==
ポアンカレ・ベンディクソンの定理とは、次のような主張である{{Sfnm|Ciesielski|2012|1p=2110&ndash;2111|坂井|2015|2p=276|今・竹内|2018|3p=171}}。

{{Math theorem|ポアンカレ・ベンディクソンの定理|[[平面]] {{Math|&Ropf;<sup>2</sup>}} 上の {{Math|''C''<sup>1</sup>}} 級流れ {{Math|''&#x3D5;''(''t'', '''''x''''')}} について、ある点 {{Math|'''''x''''' &isin; &Ropf;<sup>2</sup>}} の正の半軌道 {{Math|''O''<sub>+</sub>('''''x''''')}} が[[有界]]のとき、{{Mvar|'''x'''}} の{{Mvar|&omega;}}極限集合 {{Math|''&omega;''('''''x''''')}} が平衡点を含まなければ、{{Math|''&omega;''('''''x''''')}} は周期軌道である。
}}

定理では {{Math|''O''<sub>+</sub>('''''x''''')}} ではなく、{{Math|''&omega;''('''''x''''')}} が[[コンパクト空間|コンパクト]]と仮定してもよい{{Sfnm|Hirsch, Smale & Devaney|2007|1p=229|荒井|2020|2p=174}}。また、{{Math|&Ropf;<sup>2</sup>}} ではなく、[[球面]] {{Math|&Sopf;<sup>2</sup>}} や[[円筒]] {{Math|&Sopf;<sup>1</sup> &times; &Ropf;<sup>1</sup>}} 上の流れと仮定してもよい{{Sfnm|荒井|2020|1p=174|齋藤|2002|2p=23|ウィギンス|2013|3p=48}}。定理は {{Mvar|'''x'''}} の{{Mvar|&alpha;}}極限集合についても同様に成り立つ。すなわち、{{Math|''&omega;''('''''x''''')}} または {{Math|''&alpha;''('''''x''''')}} がコンパクトで平衡点を含まなければ、{{Math|''&omega;''('''''x''''')}} または {{Math|''&alpha;''('''''x''''')}} は周期軌道である{{Sfnm|Hirsch, Smale & Devaney|2007|1p=229|齋藤|2002|2p=23}}。

[[File:Simple Torus.svg|thumb|190px|同じ2次元多様体でも相空間が図のようにトーラスだとポアンカレ・ベンディクソンの定理は成立しない]]
ポアンカレ・ベンディクソンの定理は、[[相空間]]が平面、球面、円筒である流れ(ベクトル場)では成立するが、同じ2次元多様体でも [[トーラス]] {{Math|&Topf;<sup>2</sup>}} のような[[種数]]が正の曲面では成立しない{{Sfn|荒井|2020|p=178}}。また、相空間が3次元以上でも成立しない{{Sfnm|荒井|2020|1p=174|坂井|2015|2p=277}}。2次元ベクトル場が[[非自励系]]で与えられるときにも、実質的に相空間は3次元なので成立しない{{Sfn|伊藤|1998|pp=65&ndash;66}}。定理が成立する根本的な理由は、[[ジョルダンの閉曲線定理]]として知られる、自己交差しない連続な閉曲線は平面を2つの領域に分けるという事実にあり<ref name ="高橋2004"/>、トーラスや3次元の相空間ではこれが成立しないため、ポアンカレ・ベンディクソンの定理もまた成立しない{{Sfn|荒井|2020|p=174}}。

ポアンカレ・ベンディクソンの定理の主張を直感的に言い換えると、次のようにも説明できる{{Sfnm|Jackson|1994|1p=246|Strogatz|2015|2p=165}}。平面上の限られた領域内に軌道があって、軌道はそこから出て行かないとする。もし軌道が1点(平衡点)に落ち着かないとすると、軌道はその領域内を永久に動き続けなければならない。軌道の曲線が自己交差をせず、なおかつ滑らかであるような条件下において、平面上でそのようなことが可能なのは軌道が閉曲線(周期軌道)に落ち着く場合だけというのがポアンカレ・ベンディクソンの定理である{{Sfnm|Jackson|1994|1p=246|Strogatz|2015|2p=165}}。

もう一つポアンカレ・ベンディクソンの定理と呼ばれる別の形として、あるいは上の定理から導くことができる別の定理として、次の主張がある{{Sfnm|アリグッド; サウアー; ヨーク |2012|1pp=153, 163|ウィギンス|2013|2pp=49&ndash;52|齋藤|2004|3pp=124&ndash;125|今・竹内|2018|4p=173}}。

{{Math theorem|ポアンカレ・ベンディクソンの定理(別形)|有限個の平衡点しか持たない(平衡点が[[孤立点|孤立]]している)平面 {{Math|&Ropf;<sup>2</sup>}} 上の {{Math|''C''<sup>1</sup>}} 級ベクトル場 {{Mvar|'''f'''}} について、ある点 {{Math|'''''x''''' &isin; &Ropf;<sup>2</sup>}} の正の半軌道 {{Math|''O''<sub>+</sub>('''''x''''')}} が有界のとき、{{Mvar|'''x'''}} の{{Mvar|&omega;}}極限集合 {{Math|''&omega;''('''''x''''')}} は以下のいずれかである。
#{{Math|''&omega;''('''''x''''')}} は単一の平衡点
#{{Math|''&omega;''('''''x''''')}} は周期軌道
#{{Math|''&omega;''('''''x''''')}} は有限個の平衡点 {{Mvar|'''p'''}} とそれらを繋ぐ軌道 {{Mvar|&gamma;}} から成る閉曲線で、軌道上の点 {{Math|'''''u''''' &isin; ''&gamma;''}} は {{Math|''&omega;''('''''u''''') {{=}} '''''p'''''}} および {{Math|''&alpha;''('''''u''''') {{=}} '''''p'''''}} を満たす。
}}

平衡点が有限個しか存在しないという仮定は平面上の理論を構成する上で必ずしも必要ではないが、議論を簡単にするために導入される{{Sfnm|齋藤|2004|1p=122|齋藤|1984|2p=224}}。例えば {{Math2|''{{dot|x}}'' {{=}} 0, ''{{dot|y}}'' {{=}} &minus;''y''}} という系は、平衡点が {{Math|''y'' {{=}} 0}} の直線上の全ての点として存在する{{Sfn|Hirsch, Smale & Devaney|2007|p=169}}。しかし、大抵の場合で扱われる微分方程式は平衡点が有限という条件を満たす{{Sfn|アリグッド; サウアー; ヨーク |2012|p=152}}。

定理の3番目の極限集合には、[[ヘテロクリニック軌道]]や[[ホモクリニック軌道]]が相当する{{Sfn|今・竹内|2018|p=173}}。大雑把に言うと、ヘテロクリニック軌道とはある2つの平衡点 {{Math|'''''a''''', '''''b'''''}} を繋ぐ曲線で、その上の点は {{Math|''t'' &rarr; &infin;}} で {{Mvar|'''a'''}} に収束し、{{Math|''t'' &rarr; &minus;&infin;}} で {{Mvar|'''b'''}} に収束する性質を持つ{{Sfn|伊藤|1998|p=80}}。ホモクリニック軌道とは1つの平衡点 {{Math|'''''a'''''}} から出て {{Math|'''''a'''''}} に戻る曲線で、その上の点は {{Math|''t'' &rarr; &infin;}} で {{Mvar|'''a'''}} に収束し、{{Math|''t'' &rarr; &minus;&infin;}} でも {{Mvar|'''a'''}} に収束する性質を持つ{{Sfn|伊藤|1998|pp=80&ndash;81}}。

{{Gallery
|title=平面上の極限集合の例
|footer=図中の青と緑の曲線は適当な初期値から出発する軌道を示しており、黒の矢印は平面上のベクトルを示している
|width =280
| File:Attracting equilibrium point and vector field.png | {{Mvar|&omega;}}極限集合が単一の[[平衡点]]の場合{{Sfn|Strogatz|2015|pp=167&ndash;168}}
| File:Attracting periodic orbit and vector field.png | {{Mvar|&omega;}}極限集合が[[軌道 (力学系)|周期軌道]]の場合{{Sfn|Strogatz|2015|pp=225&ndash;229}}
| File:Attracting heteroclinic orbit and vector field.png | {{Mvar|&omega;}}極限集合が[[ヘテロクリニック軌道]]の場合{{Sfn|アリグッド; サウアー; ヨーク |2012|pp=220&ndash;221}}
| File:Attracting homoclinic orbit and vector field.png | {{Mvar|&omega;}}極限集合が[[ホモクリニック軌道]]の場合{{Sfn|アリグッド; サウアー; ヨーク |2012|pp=221&ndash;232}}
}}

==証明の概略==
ポアンカレ・ベンディクソンの定理の証明は、平面の特性を活かして幾何学的なアプローチでなされる{{Sfn|伊藤|1998|p=65}}。以下では、主に {{Harv|坂井|2015}} に沿いながらおおまかな証明の概略を記す。

まず、平面に限らない {{Math|&Ropf;<sup>''n''</sup>}} 上の自励系ベクトル場で一般的に成り立つ極限集合の性質として以下のものがあり、これらはポアンカレ・ベンディクソンの定理の証明にも使われる:
#{{Math|''&omega;''('''''x''''')}} は[[不変集合]]{{Sfnm|坂井|2015|1p=275|アリグッド; サウアー; ヨーク |2012|2p=156}}
#{{Math|''&omega;''('''''x''''')}} は[[閉集合]]{{Sfnm|坂井|2015|1p=275|アリグッド; サウアー; ヨーク |2012|2p=156}}
#{{Math|''O''<sub>+</sub>('''''x''''')}} が[[有界]]ならば {{Math|''&omega;''('''''x''''')}} は[[空集合]]ではない{{Sfnm|今・竹内|2018|1p=159|アリグッド; サウアー; ヨーク |2012|2p=156}}
#{{Math|''O''<sub>+</sub>('''''x''''')}} が有界ならば {{Math|''&omega;''('''''x''''')}} は[[連結集合]]{{Sfnm|坂井|2015|1p=275|アリグッド; サウアー; ヨーク |2012|2p=156}}

[[File:Section for Proof of Poincaré–Bendixson theorem.svg|thumb|260px|非平衡点 {{Mvar|'''&eta;'''}} と、近傍 {{Mvar|U}} と横断線 {{Mvar|&Sigma;}} の構成]]
ポアンカレ・ベンディクソンの定理の証明上の道具として、[[ポアンカレ写像]]の考え方が役立つ{{Sfn|坂井|2015|p=264}}<ref name ="高橋2004"/>。定理の仮定のもとで、平面上の非平衡点 {{Math|'''''&eta;''''' &isin; &Ropf;<sup>2</sup>}} に対して、{{Mvar|'''&eta;'''}} を通る直線 {{Mvar|l}} を平面上に引く。{{Mvar|'''&eta;'''}} の[[近傍 (位相空間論)|近傍]] {{Mvar|U}} を取って、{{Mvar|l}} との[[共通部分 (数学)|共通部分]] {{Math|''U'' &cap; ''l''}} でできる[[線分]]を {{Mvar|&Sigma;}} とする。このとき、{{Mvar|&Sigma;}} 上の任意の点も非平衡点であるようにでき、さらに、{{Mvar|&Sigma;}} を通る任意の軌道は {{Mvar|&Sigma;}} に接することなく {{Mvar|&Sigma;}} を通り過ぎるようにできる{{Sfn|坂井|2015|p=277}}。このような {{Math|''&Sigma;''}} は横断線や切断線と呼ばれる{{Sfnm|坂井|2015|1p=277|アリグッド; サウアー; ヨーク |2012|2p=158}}({{Math|''&Sigma;''}} は[[弧 (幾何学)|弧]]でもよく{{Sfn|ウィギンス|2013|p=49}}、その場合は横断弧などと呼ばれる{{Sfnm|Jackson|1994|1p=363|齋藤|1984|2p=78}})。また、{{Mvar|U}} に含まれる {{Mvar|'''&eta;'''}} の近傍 {{Math|''V'' &sub; ''U''}} を十分小さくとれば、{{Mvar|V}} 上の任意の点から出発する軌道はある有限時間後に {{Mvar|&Sigma;}} を通過するようにできる{{Sfn|坂井|2015|p=277}}。

次に、ある点 {{Mvar|'''x'''}} の極限集合 {{Math|''&omega;''('''''x''''')}} を考える。{{Math|''&omega;''('''''x''''')}} は定理の仮定のように平衡点を含まないとし、その上のある非平衡点 {{Math|'''''&eta;''''' &isin; ''&omega;''('''''x''''')}} について上のような横断線 {{Mvar|&Sigma;}} を引く{{Sfn|坂井|2015|p=277}}。また、{{Mvar|'''x'''}} から出発する軌道 {{Math|''O''<sub>+</sub>('''''x''''')}} がもし周期軌道ならば、{{Math|''O''<sub>+</sub>('''''x''''') {{=}} ''&omega;''('''''x''''')}} となり、明らかに定理が成り立つ。よって以下では {{Math|''O''<sub>+</sub>('''''x''''')}} は周期軌道ではないとする{{Sfn|齋藤|2002|p=123}}。

[[File:Simple closed curve for Proof of Poincaré–Bendixson theorem.svg|thumb|260px|線分 {{Math|'''''&zeta;'''''<sub>1</sub>'''''&zeta;'''''<sub>2</sub>}} と {{Mvar|&gamma;}} で閉曲線が構成され、この閉曲線の外側 {{Mvar|G<sub>o</sub>}} と内側 {{Mvar|G<sub>i</sub>}} に平面は二分される。線分 {{Math|'''''&zeta;'''''<sub>1</sub>'''''&zeta;'''''<sub>2</sub>}} を通過する軌道は {{Mvar|G<sub>i</sub>}} から {{Mvar|G<sub>o</sub>}} へ向かうか、{{Mvar|G<sub>o</sub>}} から {{Mvar|G<sub>i</sub>}} へ向かうかのいずれかとなる。図は {{Mvar|G<sub>i</sub>}} から {{Mvar|G<sub>o</sub>}} へ向かうパターンを示す。]]
この {{Mvar|'''&eta;'''}} は極限点なので、その定義より {{Mvar|'''&eta;'''}} に収束する無限点列が選び出せる。よって、{{Math|''O''<sub>+</sub>('''''x''''')}} は {{Mvar|U}} を無限回通過し、{{Mvar|&Sigma;}} を通過した後には再び {{Mvar|U}} に戻って来て {{Mvar|&Sigma;}} を通過しなければならない{{Sfn|齋藤|2002|pp=23&ndash;25}}。{{Math|''O''<sub>+</sub>('''''x''''')}} が {{Mvar|&Sigma;}} を通過するときの1つの交点を {{Math|'''''&zeta;'''''<sub>1</sub>}} とし、次に {{Mvar|&Sigma;}} を通過する交点を {{Math|'''''&zeta;'''''<sub>2</sub>}} とする{{Sfn|坂井|2015|pp=277&ndash;278}}。このとき、平面上には線分 {{Math|'''''&zeta;'''''<sub>1</sub>'''''&zeta;'''''<sub>2</sub>}} と {{Math|''O''<sub>+</sub>('''''x''''')}} に沿って {{Math|'''''&zeta;'''''<sub>1</sub>}} から {{Math|'''''&zeta;'''''<sub>2</sub>}} まで引かれる弧 {{Mvar|&gamma;}} で構成される閉曲線ができる。この閉曲線を {{Mvar|&Gamma;}} とする。[[ジョルダンの閉曲線定理]]から{{Math|&Ropf;<sup>2</sup>}} は {{Mvar|&Gamma;}} の内側の領域 {{Mvar|G<sub>i</sub>}} と {{Mvar|&Gamma;}} の外側の領域 {{Mvar|G<sub>o</sub>}} に分けられる{{Sfn|坂井|2015|pp=277&ndash;278}}。上述のように、この定理が平面では成立するという点が、ポアンカレ・ベンディクソンの定理の成立の本質的理由といえる{{Sfn|荒井|2020|p=174}}<ref name ="高橋2004">{{Cite book ja-jp |author = 高橋 陽一郎 |title = 力学と微分方程式 |url = https://www.iwanami.co.jp/book/b259038.html |series = 現代数学への入門 |publisher = 岩波書店 |year = 2004 |edition = 初版 |isbn = 4-00-006875-X |pages= 118&ndash;119 }}</ref>。

{{Mvar|&Sigma;}} の性質より、線分 {{Math|'''''&zeta;'''''<sub>1</sub>'''''&zeta;'''''<sub>2</sub>}} を通過する軌道は全て {{Mvar|G<sub>i</sub>}} から {{Mvar|G<sub>o</sub>}} へ向かうか、全て {{Mvar|G<sub>o</sub>}} から {{Mvar|G<sub>i</sub>}} へ向かうかのどちらかとなる{{Sfn|坂井|2015|p=278}}。また、微分方程式の解の一意性から {{Mvar|&gamma;}} を横切る軌道は存在しない{{Sfn|アリグッド; サウアー; ヨーク |2012|p=162}}。どちらの場合でも同じように議論できるが、以下では線分 {{Math|'''''&zeta;'''''<sub>1</sub>'''''&zeta;'''''<sub>2</sub>}} を通過する軌道は {{Mvar|G<sub>o</sub>}} から {{Mvar|G<sub>i</sub>}} へ向かうとする。すると、全ての {{Math|''t'' > 0}} について {{Math|''&#x3D5;''(''t'', '''''&zeta;'''''<sub>2</sub>) &isin; ''G<sub>i</sub>''}} である。よって、{{Math|'''''&zeta;'''''<sub>2</sub>}} の次に {{Math|''O''<sub>+</sub>('''''x''''')}} が {{Mvar|&Sigma;}} に交わる交点を {{Math|'''''&zeta;'''''<sub>3</sub>}} とすれば、{{Math|'''''&zeta;'''''<sub>3</sub>}} は {{Math|'''''&zeta;'''''<sub>2</sub>}} を境にして{{Math|'''''&zeta;'''''<sub>1</sub>}} の反対側に存在する{{Sfn|坂井|2015|p=278}}。一般化すると、これは {{Math|''t''<sub>''n''&minus;1</sub> < ''t''<sub>''n''</sub> < ''t''<sub>''n''+1</sub>}} であれば、{{Mvar|&Sigma;}} 上で {{Math|''&#x3D5;''(''t<sub>n</sub>'', '''''x''''')}} は常に {{Math|''&#x3D5;''(''t''<sub>''n''&minus;1</sub>, '''''x''''')}} と {{Math|''&#x3D5;''(''t''<sub>''n''+1</sub>, '''''x''''')}} の間にあることを意味し、このことを点列が {{Mvar|&Sigma;}} に沿って単調と言ったり、単調点列で {{Mvar|&Sigma;}} に交わると言ったりする{{Sfnm|Hirsch, Smale & Devaney|2007|1p=227|ウィギンス|2013|2p=49}}。この単調点列の結論として、一般的に {{Math|''&omega;''('''''x''''')}} と {{Mvar|&Sigma;}} との交点は {{Math|'''''&eta;''''' &isin; ''&omega;''('''''x''''')}} のみであることが補題として証明される。主張の逆を取って {{Math|'''''&eta;'''''<sub>1</sub> &ne; '''''&eta;'''''<sub>2</sub>}} かつ {{Math2|'''''&eta;'''''<sub>1</sub>, '''''&eta;'''''<sub>2</sub> &isin; ''&omega;''('''''x''''')}} という2点の存在を仮定すると、単調点列との矛盾が導かれ、[[背理法]]により主張が正しいことが確かめられる{{Sfn|坂井|2015|p=278}}。

次に、{{Math|''&omega;''('''''x''''')}} 上の任意の点 {{Mvar|'''&eta;'''}} の極限集合 {{Math|''&omega;''('''''&eta;''''')}} が {{Math|''&omega;''('''''x''''')}}と一致することを証明する。これも背理法で考える。主張の逆が成立すると、[[差集合]] {{Math|''&omega;''('''''x''''') &setminus; ''&omega;''('''''&eta;''''')}} が存在することになる。この前提と、極限集合は[[閉集合|閉]]で有界な軌道の極限集合は[[連結集合|連結]]である性質を利用して議論すると、{{Math|''&omega;''('''''x''''')}} 上のある点で横断線と複数交わるという、上記の補題と矛盾した結論が得られる{{Sfn|坂井|2015|pp=278&ndash;279}}。

最後に、{{Mvar|'''&eta;'''}} から出発する軌道 {{Math|''O''<sub>+</sub>('''''&eta;''''')}} が周期軌道であることを証明する。{{Math|'''''&eta;''''' &isin; ''&omega;''('''''x''''') {{=}} ''&omega;''('''''&eta;''''')}} であるので、{{Math|''O''<sub>+</sub>('''''&eta;''''')}} はある無限点列 {{Math2|''&#x3D5;''(''t<sub>i</sub>'', '''&eta;''') (''i'' = 1, 2, &hellip; &infin;)}} で {{Mvar|'''&eta;'''}} 自身に収束する。{{Mvar|'''&eta;'''}} の近傍 {{Mvar|V}} に含まれる点列上の1点 {{Math|''&#x3D5;''(''t<sub>k</sub>'', '''''&eta;''''')}} をとると、ある時間 {{Mvar|&tau;<sub>k</sub>}} 経過後に {{Mvar|&Sigma;}} を通過する。よって、{{Math|''&#x3D5;''(''t<sub>k</sub>'' + ''&tau;<sub>k</sub>'', '''''&eta;''''')}} が {{Mvar|&Sigma;}} と交わるわけだが、極限集合は[[不変集合|不変]]であるという性質から {{Math|''&#x3D5;''(''t<sub>k</sub>'' + ''&tau;<sub>k</sub>'', '''''&eta;''''')}} は {{Math|''O''<sub>+</sub>('''''&eta;''''')}} 上の点であると同時に {{Math|''&omega;''('''''x''''')}} の上の点でもある。上記の補題より {{Mvar|&Sigma;}} 上で{{Math|''&omega;''('''''x''''')}} と交わるのは1点でなければならないので、{{Math2|''&#x3D5;''(''t<sub>k</sub>'' + ''&tau;<sub>k</sub>'', '''''&eta;''''') {{=}} '''''&eta;'''''}} が満たされるので、{{Math|''O''('''''&eta;''''')}} は {{Math|''t<sub>k</sub>'' + ''&tau;<sub>k</sub>''}} を周期とする周期軌道である。よって {{Math|''O''('''''&eta;''''') {{=}} ''&omega;''('''''&eta;''''') {{=}} ''&omega;''('''''x''''')}} は周期軌道である{{Sfn|坂井|2015|p=279}}。(証明終わり)

==適用==
平面上の自励系常微分方程式系ないし連続力学系を解析するための強力な道具となるのが、ポアンカレ・ベンディクソンの定理である{{Sfn|今・竹内|2018|p=167}}。定理は、相空間が平面の場合に解ないし軌道が極限的に落ち着く先は、本質的に[[平衡点]]か[[軌道 (力学系)|周期軌道]]に限定されることを意味する{{Sfnm|Hirsch, Smale & Devaney|2007|1p=219|アリグッド; サウアー; ヨーク |2012|2p=145}}。しかし一般的に、平衡点を見つけることに比べ、周期軌道を見つけることは難しい{{Sfn|坂井|2015|p=275}}。ポアンカレ・ベンディクソンの定理は、与えられた系に周期軌道の存在することを示すことができる数少ない手法の一つである{{Sfn|Strogatz|2015|p=222}}。

ポアンカレ・ベンディクソンの定理を使いやすく言い換えると、[[コンパクト空間|有界閉]]な領域 {{Mvar|K}} 内に任意の軌道 {{Math2|''O''<sub>+</sub>('''''x'''''), '''''x''''' &isin; ''K''}} が閉じ込められる(領域が正不変である)とき、{{Mvar|K}} 内に平衡点が存在しなければ、{{Mvar|K}} 内には周期軌道が存在する、という[[系 (数学)|系]]が成り立つ{{Sfn|坂井|2015|p=276}}。さらに言うと、このような {{Mvar|K}} 内の軌道は、それ自体が周期軌道であるか、[[リミットサイクル]]に収束する軌道であるか、どちらかになる{{Sfn|Strogatz|2015|p=223}}。また、もう一つの重要な系は、ある周期軌道で囲まれた領域の[[内部 (位相空間論)|内部]]には平衡点が少なくとも1つ含まれることである{{Sfnm|Hirsch, Smale & Devaney|2007|1p=234|齋藤|2002|2p=31}}。

[[File:Example of application of Poincaré–Bendixson theorem.png|thumb|240px|例示の微分方程式系{{Sfn|千葉|2021|p=204}}のベクトル場。青い範囲の境界上では任意のベクトルが内向きまたは境界に接する。色付きの曲線は軌道で、周期軌道(黒い太線)に巻きつく。]]
具体的な系にポアンカレ・ベンディクソンの定理を適用するには、[[境界 (位相空間論)|境界]]上のどの点でもベクトルが内側向きとなっている領域を平面上でうまく構成(特定)する必要がある{{Sfnm|Strogatz|2015|1p=224|Jackson|1994|2p=246}}。領域に内部にある平衡点も領域から適当にくりぬく必要がある{{Sfn|千葉|2021|p=204}}。{{Harv|千葉|2021}} による適用の具体例として以下のような微分方程式系がある{{Sfn|千葉|2021|p=204}}。

:<math>\dot{x} = 10 - x - \frac{4xy}{1+x^2} </math>
:<math>\dot{y} = x \left ( 1 - \frac{y}{1+x^2} \right ) </math>

計算より、この系の平衡点は {{Mvar|xy}}-平面上に {{Math|(''x'', ''y'') {{=}} (2, 5)}} に唯一存在し、かつ[[平衡点|渦状点]]である。この平衡点を覆うよう十分小さな円 {{Math|''D''<sub>1</sub>}} を考えれば、その円の境界の任意の点は外向きのベクトルを持つ。また考察により、 {{Math2|0 &le; ''x'' &le; 10, 0 &le; ''y'' &le; 101}} という範囲の四角形 {{Math|''D''<sub>2</sub>}} の境界は、内向きまた境界に接するベクトルを持っていることがわかる。よって、四角形から小さな円を切り抜いた領域 {{Math|''D'' {{=}} ''D''<sub>2</sub> &setminus; ''D''<sub>1</sub>}} にはポアンカレ・ベンディクソンの定理より周期軌道が存在することが言える{{Sfn|千葉|2021|p=204}}。

ポアンカレ・ベンディクソンの定理のもう一つの帰結は、平面では平衡点または周期軌道に収束する振る舞いに限定され、それら以上に複雑な振る舞いは起こらないという点である{{Sfn|アリグッド; サウアー; ヨーク |2012|p=145}}。よって、平面上の連続力学系では[[ストレンジアトラクター]]([[カオス (力学系)|カオス]])と呼ばれる非周期的な運動の極限集合は存在しえない{{Sfnm|Strogatz|2015|1p=229|今・竹内|2018|2p=213}}。連続力学系では、カオスは3次元以上の相空間を持つ系で起こる{{Sfnm|Strogatz|2015|1p=229|荒井|2020|2p=178}}。また、相空間が[[トーラス]] {{Math|&Topf;<sup>2</sup>}} のときも、トーラス全体を軌道が[[稠密集合|稠密]]に覆う新しい種類の極限集合が存在する{{Sfnm|Strogatz|2015|1pp=303&ndash;304|アリグッド; サウアー; ヨーク |2012|2pp=165&ndash;169}}。

==一般化・拡張==
ポアンカレ・ベンディクソンの定理の一般化・拡張と見なせるような結果は多い{{Sfn|Ciesielski|2012|p=2123}}。以下は主に {{Harv|Ciesielski|2012}} に基づく。

相空間 {{Mvar|M}} が平面や球面以外のケースでは次のような結果がある。空ではない閉[[不変集合]] {{Mvar|S}} に含まれる部分集合で、閉不変集合の性質を持つのが空集合と {{Mvar|S}} 自身のみであるとき、{{Mvar|S}} を極小集合という{{Sfn|齋藤|2004|p=136}}。[[トーラス]] {{Math|&Topf;<sup>2</sup>}} 上の {{Math|''C''<sup>2</sup>}} 級自励系微分方程式が定める流れについて、この流れの極小集合は平衡点、周期軌道、{{Math|&Topf;<sup>2</sup>}} 全体のいずれかであることが知られている{{Sfn|Ciesielski|2012|p=2117}}。さらに {{Mvar|M}} を {{Math|''C''<sup>2</sup>}} 級コンパクト連結2次元多様体と仮定すると、流れの極小集合は、{{Math|''M'' &ne; &Topf;<sup>2</sup>}} のときは平衡点または周期軌道、{{Math|''M'' {{=}} &Topf;<sup>2</sup>}} のときは平衡点、周期軌道、{{Math|&Topf;<sup>2</sup>}} 全体のいずれか、と一般化できる{{Sfn|Ciesielski|2012|p=2119}}。

{{Mvar|M}} が[[クラインの壺]] {{Math|&Kopf;}} の場合は次のような結果が知られている。非平衡点 {{Mvar|'''x'''}} について {{Math|''&#x3D5;''(''T'', '''''x''''') {{=}} '''''x'''''}} を満たす {{Math|''T'' > 0}} が存在するとき {{Mvar|'''x'''}} を[[周期点]]という{{Sfn|坂井|2015|p=xv}}。{{Math|&Kopf;}} 上の流れでは、ある点 {{Mvar|'''x'''}} がそれ自身の極限集合に属するとき(すなわち {{Math|'''''x''''' &isin; ''&omega;''('''''x''''')}} または {{Math|'''''x''''' &isin; ''&alpha;''('''''x''''')}})、{{Mvar|'''x'''}} は平衡点または周期点である{{Sfn|Ciesielski|2012|p=2119}}。

{{Mvar|M}} が高次元の場合への拡張もいくつか調べられている{{Sfnm|Ciesielski|2012|1p=2125|Jackson|1994|2p=247}}。しかし、{{Math|&Ropf;<sup>3</sup>}} の境界上の全てのベクトルが内側を向いているような有界領域に平衡点または周期軌道のいずれかが必ず存在するか、といったような疑問は未決である{{Sfn|Jackson|1994|p=247}}。

一般化の方向性として、ポアンカレ・ベンディクソンの定理を時間 {{Mvar|T}} が正の向きのみに限られるような力学系、すなわち {{Math|''T'' {{=}} &Ropf;<sub>+</sub> {{=}} [0, &infin;)}} で定義される流れ {{Math|''&#x3D5;''(''t'', '''''x'''''<sub>0</sub>): &Ropf;<sub>+</sub> &times; ''M'' &rarr; ''M''}} で考えることもある{{Sfn|Ciesielski|2012|pp=2112, 2122}}。このような {{Mvar|&#x3D5;}} は半流や半力学系と呼ばれ、過去の方向に解けない非可逆過程を記述する非線形偏微分方程式で重要となる<ref>{{Cite journal ja-jp |author = 俣野 博 |year = 1990 |title = 非線形偏微分方程式と無限次元力学系 |journal = 数学 |volume = 42 |issue = 4 |publisher = 日本数学会 |doi = 10.11429/sugaku1947.42.289 |page = 291 }}</ref>。ポアンカレ・ベンディクソンの定理の証明過程では {{Math|''T'' {{=}} &Ropf; {{=}} (&minus;&infin;, &infin;)}} で解が一意に存在することが前提としており、半流の場合への拡張は単純にはいかない{{Sfn|Ciesielski|2012|p=2123}}。横断線(横断弧)の半流用の拡張や、{{Math|&Ropf;<sup>2</sup>}} または {{Math|&Sopf;<sup>2</sup>}} 上の半流について {{Math|'''''x''''' &isin; ''&omega;''('''''x''''')}} ならば {{Mvar|'''x'''}} は平衡点または周期点であることの証明などが得られている{{Sfn|Ciesielski|2012|pp=2122&ndash;2123}}。

ポアンカレとベンディクソンの議論では極限集合が平衡点を無限に含む場合を想定していなかったが、平衡点を無限に含む極限集合についてポアンカレ・ベンディクソンの定理を一般化することも調べられている{{Sfn|Ciesielski|2012|p=2117}}。平衡点が {{Math|''&omega;''('''''x''''')}} の連結成分として含まれる場合、{{Math|''&omega;''('''''x''''')}} に含まれる平衡点ではない軌道の数は高々可算無限個で、なおかつ任意の非平衡点 {{Math|'''''&eta;''''' &isin; ''&omega;''('''''x''''')}} に対して {{Math|''&omega;''('''''&eta;''''')}} と {{Math|''&alpha;''('''''&eta;''''')}} は {{Math|''&omega;''('''''x''''')}} 上の平衡点の連結成分のどれかに含まれることなどが分かっている{{Sfn|Ciesielski|2012|pp=2117&ndash;2118}}。

最後に、ポアンカレ・ベンディクソンの定理の(古典的な)証明では微分方程式で定まる流れ {{Mvar|&#x3D5;}} を前提としていたが、{{仮リンク|オトマル・ハイエク|en|Otomar Hájek}} (Otomar Hájek) がこの定理の成立に微分可能性の仮定が不要であることを示している{{Sfn|Ciesielski|2012|p=2120}}。定理の証明で重要な役目を担った横断線(横断弧)については、まず[[ハスラー・ホイットニー]] (Hassler Whitney) とミハイル・ベブートフ (Mikhail Valer'evich Bebutov) が微分可能性不要で距離空間上の任意の非平衡点で局所横断面が構成できること(ホイットニー・ベブートフの定理)を示した{{Sfnm|Ciesielski|2012|1p=2116|齋藤|2002|2pp=174&ndash;179}}。そしてハイエクが2次元多様体上の局所横断面はジョルダン弧または単純閉曲線のいずれかであることが示し、微分可能性を仮定しない流れにもとづくポアンカレ・ベンディクソンの定理の証明を与えた{{Sfn|Ciesielski|2012|p=2120}}。

==歴史==
[[File:Poincarre LCCN2014683830.jpg|thumb|220px|[[アンリ・ポアンカレ]](1854&ndash;1912)]]
[[File:Das Fotoalbum für Weierstraß 044 (Ivar Bendixson).jpg|thumb|220px|{{仮リンク|イーヴァル・オット・ベンディクソン|en|Ivar Otto Bendixson}}(1861&ndash;1935)]]
ポアンカレ・ベンディクソンの定理は、フランスの数学者[[アンリ・ポアンカレ]] (Henri Poincaré) とスウェーデンの数学者{{仮リンク|イーヴァル・オット・ベンディクソン|en|Ivar Otto Bendixson}} (Ivar Otto Bendixson) によって定式化・証明された{{Sfn|Ciesielski|2012|pp=2113&ndash;2114}}。1881年から1886年にかけて、ポアンカレは次のような四つの論文を発表した{{Sfn|齋藤|2002|p=2}}。
*"Mémoire sur les courbes définies par une équation différentielle (1ère partie)" Journal de mathématiques pures et appliquées (1881) <ref>{{Cite web | title = Mémoire sur les courbes définies par une équation différentielle (1ère partie)| url = http://henripoincarepapers.univ-lorraine.fr/bibliohp/index.php?a=on&art=M%C3%A9moire+sur+les+courbes+d%C3%A9finies+par+une+%C3%A9quation+diff%C3%A9rentielle+%281%C3%A8re+partie%29&action=go | website = Henri Poincaré Papers | accessdate = 2023-05-09}}</ref>
*"Mémoire sur les courbes définies par une équation différentielle (2nde partie)" Journal de mathématiques pures et appliquées (1882) <ref>{{Cite web | title = Mémoire sur les courbes définies par une équation différentielle (2nde partie) | url = http://henripoincarepapers.univ-lorraine.fr/bibliohp/index.php?a=on&art=M%C3%A9moire+sur+les+courbes+d%C3%A9finies+par+une+%C3%A9quation+diff%C3%A9rentielle+%282nde+partie%29&action=go | website = Henri Poincaré Papers | accessdate = 2023-05-09}}</ref>
*"Sur les courbes définies par les équations différentielles (3ème partie)" Journal de mathématiques pures et appliquées (1885) <ref>{{Cite web | title = Sur les courbes définies par les équations différentielles (3ème partie) | url = http://henripoincarepapers.univ-lorraine.fr/bibliohp/index.php?a=on&art=Sur+les+courbes+d%C3%A9finies+par+les+%C3%A9quations+diff%C3%A9rentielles+%283%C3%A8me+partie%29&action=go | website = Henri Poincaré Papers | accessdate = 2023-05-09}}</ref>
*"Sur les courbes définies par les équations différentielles" Journal de mathématiques pures et appliquées (1886) <ref>{{Cite web | title = Sur les courbes définies par les équations différentielles | url = http://henripoincarepapers.univ-lorraine.fr/bibliohp/index.php?a=on&art=Sur+les+courbes+d%C3%A9finies+par+les+%C3%A9quations+diff%C3%A9rentielles&action=go | website = Henri Poincaré Papers | accessdate = 2023-05-09}}</ref>
題名はいずれも「微分方程式によって定義される曲線について」の意で、これらの論文の中でポアンカレは[[求積法]]で解けないような常微分方程式系に対してどのように取り組むべきかについて、常微分方程式の定性的理論という新しい研究方法を導入した{{Sfn|齋藤|2002|pp=2&ndash;6}}。ポアンカレは微分方程式の軌道を調べるために[[位相空間論|位相的]]な手法・考察を用いてみせ{{Sfn|齋藤|2002|p=4}}、ポアンカレ・ベンディクソンの定理の最初の形もこれら論文の中で発表された{{Sfn|Ciesielski|2012|p=2113}}。この論文は力学系理論の出発点としてしばしば引用される{{Sfn|齋藤|1984|p=ii}}。定理に関連するところでは横断弧、ポアンカレ写像、リミットサイクルといった概念もこの論文で導入されている<ref name="白岩1986">{{Cite journal ja-jp |author = 白岩 謙一 |year = 1986 |title = 力学系の発展について |journal = 数学 |volume = 38 |issue = 1 |publisher = 日本数学会 |doi = 10.11429/sugaku1947.38.71 |page = 73}}</ref>。

その後1901年にベンディクソンは、 ポアンカレ・ベンディクソンの定理も含む平面上の微分方程式系に関する論文
*"Sur les courbes définies par des équations différentielles" Acta Math (1901) <ref>{{Cite journal |author= Ivar Bendixson |year= 1901 |title= Sur les courbes définies par des équations différentielles |journal= Acta Mathematica |volume= 24 |pages= 1-88 |publisher= |doi= 10.1007/BF02403068 }}</ref>
を発表した{{Sfn|Ciesielski|2012|pp=2113&ndash;2114}}。論文の題名は冠詞が異なるだけでポアンカレの論文とほぼ同名であり<ref name="齋藤1978">{{Cite journal ja-jp |author = 齋藤 利弥 |year = 1978 |title = 力学系の大域的理論 |journal = 日本物理学会誌 |volume = 33 |issue = 7 |publisher = 日本物理学会 |doi = 10.11316/butsuri1946.33.568 |page = 569 }}</ref>、論文の最初にベンディクソンはこの研究はポアンカレの仕事の続きだと位置づけている{{Sfn|Ciesielski|2012|p=2114}}。

ポアンカレの論文ではベクトル場を与える {{Math|''f''('''''x''''')}} を[[多項式]]に限定して理論を展開していたが、ベンディクソンの論文はより一般的な平面上の自励的微分方程式系について調べている{{Sfn|Ciesielski|2012|pp=2113&ndash;2114}}。ポアンカレ・ベンディクソンの定理の最初の証明を与えたのはポアンカレであったが、より弱い仮定の元でより厳密な証明を与えたのはベンディクソンであった<ref>{{Cite web |url= https://mathshistory.st-andrews.ac.uk/Biographies/Bendixson/ |title= Ivar Otto Bendixson |website= MacTutor |author = John O'Connor and Edmund Robertson |accessdate=2023-05-14}}</ref>。また、ポアンカレの論文ではまだ[[解析学|解析的]]手法の色合いが比較的強く残っていたが、ベンディクソンの論文では位相的・幾何学的側面がより一層強調されている{{Sfnm|齋藤|2002|1pp=4&ndash;5|Ciesielski|2012|2p=2115}}。

ベンディクソンの論文は特にポアンカレ・ベンディクソンの定理によって広く知られているが、他にも平面上の微分方程式系に関するより高度な内容も含んでいる{{Sfn|Ciesielski|2012|pp=2113&ndash;2116}}。平面上の力学系の研究は、ポアンカレとベンディクソンの二人によっておおかた完成されたともいわれる<ref name="齋藤1978"/>。2元連立1階自励系常微分方程式で定義された平面上の力学系の漸近的挙動を考察する理論を指して、今では'''ポアンカレ・ベンディクソンの理論'''とも呼ぶこともある{{Sfn|齋藤|2004|p=119}}<ref>{{Cite web |url= https://encyclopediaofmath.org/wiki/Poincar%C3%A9-Bendixson_theory |title= Poincaré-Bendixson theory |website= Encyclopedia of Mathematics |publisher= EMS Press |accessdate=2023-05-13}}</ref><ref>{{Cite Kotobank |word= ポアンカレ=ベンディクソンの理論 |encyclopedia= 世界大百科事典 |access-date=2023-05-13}}</ref>。

ポアンカレの死後に彼の定性的理論を発展させたのが米国の数学者[[ジョージ・デビット・バーコフ|ジョージ・バーコフ]] (George Birkhoff) で、バーコフは自身の研究をまとめた "Dynamical Systems"(力学系)という題の[[モノグラフ]]を1927年に刊行した{{Sfnm|齋藤|1984|1p=282|Ciesielski|2012|2p=2116}}。ポアンカレ・ベンディクソンの定理でも用いられている[[極限集合]]も、この著書の中で記された{{Sfn|Ciesielski|2012|p=2116}}。ポアンカレとベンディクソンの論文でも極限集合のような概念は現れていたが、明確な定義を与えて力学系理論に導入したのはバーコフであった{{Sfn|齋藤|2002|p=12}}。

バーコフ以降、現在に至るまでに、定理に関係する結果は多数に上る{{Sfn|Ciesielski|2012|p=2111}}。研究の方向性は、解の振る舞いをより正確に記述したり、新しい現象を捉えたり、より広いクラスへ一般化したりと、多岐にわたる{{Sfn|Ciesielski|2012|p=2111}}。定理の証明も、様々なアプローチのものが報告されている{{Sfn|Ciesielski|2012|p=2126}}。ポアンカレ・ベンディクソンの定理は、現在的な数学にも未だ影響を与えている存在だといえる{{Sfn|Ciesielski|2012|p=2111}}。

==出典==
{{Reflist|2}}

==参照文献==
*{{Cite journal
|author = Krzysztof Ciesielski
|title = The Poincaré-Bendixson Theorem: from Poincaré to the XXIst century
|journal = Central European Journal of Mathematics
|year = 2012
|pages = 2110&ndash;2128
|volume = 10
|doi = 10.2478/s11533-012-0110-y
|ref = {{SfnRef|Ciesielski|2012}}
}}
*{{Cite book ja-jp
|author = 坂井 秀隆
|title = 常微分方程式
|url = https://www.utp.or.jp/book/b307096.html
|series = 大学数学の入門 10
|publisher =東京大学出版会
|edition= 初版
|year = 2015
|isbn = 978-4-13-062960-7
|ref = {{SfnRef|坂井|2015}}
}}
*{{Cite book ja-jp
|author = 齋藤 利弥
|title = 力学系入門
|url = https://www.asakura.co.jp/books/isbn/978-4-254-11722-6/
|publisher = 朝倉書店
|edition = 復刊版
|year = 2004
|isbn = 4-254-11722-1
|ref = {{SfnRef|齋藤|2004}}
}}
*{{Cite book ja-jp
|author = 齋藤 利弥
|title = 位相力学 ―常微分方程式の定性的理論―
|url = https://www.kyoritsu-pub.co.jp/book/b10011185.html
|publisher = 共立出版
|edition = 復刊
|year = 2002
|isbn = 4-320-01712-9
|ref = {{SfnRef|齋藤|2002}}
}}
*{{Cite book ja-jp
|author = 齋藤 利弥
|title = 力学系以前 ―ポアンカレを読む―
|publisher = 日本評論社
|edition= 第1版
|year = 1984
|series = 数セミ・ブックス 9
|ref = {{SfnRef|齋藤|1984}}
}}
*{{Cite book ja-jp
|author = S. ウィギンス
|translator = 今井 桂子・田中 茂・水谷 正大・森 真
|others = 丹羽 敏雄(監訳)
|title = 非線形の力学系とカオス
|url = https://www.maruzen-publishing.co.jp/item/b294656.html
|edition = 新装版
|publisher = 丸善出版
|year = 2013
|isbn = 978-4-621-06435-1
|ref = {{SfnRef|ウィギンス|2013}}
}}
*{{Cite book ja-jp
|author = E. Atlee Jackson
|translator = 田中 茂・丹羽 敏雄・水谷 正大・森 真
|title = 非線形力学の展望Ⅰ ―カオスとゆらぎ―
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320033252
|publisher = 共立出版
|year = 1994
|edition = 初版
|isbn = 4-320-03325-6
|ref = {{SfnRef|Jackson|1994}}
}}
*{{Cite book ja-jp
|author = Steven H. Strogatz
|translator = 田中 久陽・中尾 裕也・千葉 逸人
|title = ストロガッツ 非線形ダイナミクスとカオス ―数学的基礎から物理・生物・化学・工学への応用まで―
|url = https://www.maruzen-publishing.co.jp/item/b294857.html
|publisher = 丸善出版
|year = 2015
|isbn = 978-4-621-08580-6
|ref = {{SfnRef|Strogatz|2015}}
}}
*{{Cite book ja-jp
|author = K.T.アリグッド; T.D.サウアー; J.A.ヨーク
|translator = 星野 高志・阿部 巨仁・黒田 拓・松本 和宏
|others = 津田 一郎(監訳)
|url = https://www.maruzen-publishing.co.jp/item/b294298.html
|title = カオス 第2巻 力学系入門
|publisher = 丸善出版
|year = 2012
|isbn = 978-4-621-06279-1
|ref = {{SfnRef|アリグッド; サウアー; ヨーク |2012}}
}}
*{{Cite book ja-jp
|author = 今 隆助・竹内 康博
|title = 常微分方程式とロトカ・ヴォルテラ方程式
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320113480
|publisher = 共立出版
|year = 2018
|edition = 初版
|isbn = 978-4-320-11348-0
|ref= {{SfnRef|今・竹内|2018}}
}}
*{{Cite book ja-jp
|author = Morris W. Hirsch; Stephen Smale; Robert L. Devaney
|translator = 桐木 紳・三波 篤朗・谷川 清隆・辻井 正人
|title = 力学系入門 原著第2版 ―微分方程式からカオスまで
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320018471
|publisher = 共立出版
|edition = 初版
|year = 2007
|isbn = 978-4-320-01847-1
|ref = {{SfnRef|Hirsch, Smale & Devaney|2007}}
}}
*{{Cite book ja-jp
|author = 千葉 逸人
|title = 解くための微分方程式と力学系理論
|url = https://www.gensu.jp/product/%e8%a7%a3%e3%81%8f%e3%81%9f%e3%82%81%e3%81%ae%e5%be%ae%e5%88%86%e6%96%b9%e7%a8%8b%e5%bc%8f%e3%81%a8%e5%8a%9b%e5%ad%a6%e7%b3%bb%e7%90%86%e8%ab%96/
|publisher = 現代数学社
|edition= 初版
|year = 2021
|isbn = 978-4-7687-0570-4
|ref = {{SfnRef|千葉|2021}}
}}
*{{Cite book ja-jp
|author = 荒井 迅
|title = 常微分方程式の解法
|url = https://www.kyoritsu-pub.co.jp/book/b10003676.html
|series = 共立講座 数学探検 15
|publisher = 共立出版
|edition= 初版
|year = 2020
|isbn = 978-4-320-11188-2
|ref = {{SfnRef|荒井|2020}}
}}
*{{Cite book ja-jp
|author = 伊藤 秀一
|title = 常微分方程式と解析力学
|url = https://www.kyoritsu-pub.co.jp/book/b10011768.html
|series = 共立講座 21世紀の数学 11
|publisher = 共立出版
|edition = 初版
|year = 1998
|isbn = 4-320-01563-0
|ref = {{SfnRef|伊藤|1998}}
}}
{{Good article}}
{{デフォルトソート:ほあんかれへんていくそんのていり}}
{{デフォルトソート:ほあんかれへんていくそんのていり}}
[[Category:力学系の定理]]
[[Category:力学系の定理]]
49行目: 310行目:
[[Category:数学のエポニム]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]
[[Category:数学に関する記事]]
[[Category:証明を含む記事]]

2023年6月25日 (日) 11:16時点における最新版

ポアンカレ・ベンディクソンの定理によれば、平面上の極限集合は(1)平衡点、(2)周期軌道、(3)複数の平衡点とそれらを繋ぐ軌道のいずれかとなる

ポアンカレ・ベンディクソンの定理(ポアンカレ・ベンディクソンのていり、Poincaré–Bendixsonの定理)とは、平面上の連続力学系あるいは自励的常微分方程式系では、有界軌道が時間経過後に最終的に落ち着く先は、平衡点を含まなければ周期軌道であることを述べる数学の定理である。19世紀末にアンリ・ポアンカレが発表し、後の20世紀初頭にイーヴァル・オット・ベンディクソン英語版がより厳密・一般化した形で証明して発表した。

与えられた系の周期軌道の存在を明確にすることは一般的に難しいが、ポアンカレ・ベンディクソンの定理はその手法を与える希少なものの一つである。また、定理の帰結として、このような平面の系で状態変数収束する先は、本質的に平面上の1点(平衡点)または閉曲線(周期軌道)のいずれかに限られ、より複雑な振る舞いはないことを意味する。極限集合の概念を使うと、平面上の極限集合は(1)平衡点、(2)周期軌道、(3)複数の平衡点とそれらを繋ぐ軌道の3種に限られることが言える。ただし、定理が成立する根本的理由の一つが、平面上ではジョルダンの閉曲線定理が成立し、自己交差しない連続な閉曲線は平面を2つの領域に分けるという事実にあるので、トーラスや3次元の系で定理は成立しない。

前提とする主な定義

[編集]

独立変数t ∈ ℝ とし、従属変数x = (x, y)TM ⊂ ℝ2 とする。未知関数 x(t) = (x(t), y(t))T に対して次のような一般的な自励的2元連立1階常微分方程式系を考える[1]

または

ここで、実数を、上付き ˙ は微分 d/dt を、右肩 T転置を表す。独立変数 t時間とみなし、時間の経過に連れて x の値も変わるという風に微分方程式の意味をとらえる[2]。従属変数の定義域 M2部分開集合で、M相空間ともいう[3]M = ℝ2 全体としても定理は成立する[4])。f = (f, g)TC1 級関数 f: M → ℝ2 とする[1]fM 上にベクトル場を定める[5]

t = t0 に対して与えられる x の値 (x(t0), y(t0))T = x0初期値という[6]。以下、簡単のために t0 = 0 で固定する。初期値 x0 を満たし、時間 t のときの x の値を返す写像 ϕ(t, x0): ℝ × MM を微分方程式の定める流れ連続力学系という[7]fC1 級であることから、上記の微分方程式系は解の存在と一意性を満たし、流れ ϕ(t, x0)

  1. ϕ(0, x0) = x0
  2. 任意の t, s ∈ ℝについて ϕ(s, (ϕ(t, x0)) = ϕ(t+s, x0)

を満たす[8]

平面上のベクトル場の例。軌道は平面上でベクトルに沿った曲線を成す。

初期値 x0 を決めて、t−∞ から まで動かしながら ϕ(t, x0) が返す値を相空間 M 上に描くと、それは M 上の一つの曲線となる[9]。この曲線を x0 を通る軌道という[9]x0 を通る軌道を O(x0) で表すとする[10]。微分方程式の解の一意性により、ある x0 を通る O(x0) はただ一つだけに限られる[9]。特に t が非負のときの軌道

正の半軌道といい、O+ で表すとする[10]ϕ(t, x0)C1 級であることから軌道は(以下の平衡点である場合を除いて)滑らかな曲線で[11]、曲線上の各点の接ベクトルが微分方程式の f(x) に対応する[12]

初期値 x0 に対して f(x0) = 0 となる場合、微分方程式の解は定数となる[13]。このときの軌道は O(x0) = {x0} となり、相空間上の1点である[14]。このような f(x) = 0 を満たす x平衡点という[13]

また、x0 に対して、ϕ(T, x0) = x0 かつ ϕ(t < T, x0) ≠ x0 を満たすような T > 0 が存在するとき、これを満たすときの x0 の軌道を周期軌道という[15]。相空間上の周期軌道は、円のように自分自身と交わらない閉曲線となる[16]

周期軌道(リミットサイクル)とそれを極限集合とする点 x0 の例。時刻の列 t1, t2, … → ∞ で極限集合上のω極限点 y に収束する。

時間が無限大に発散するときの軌道 O(x0) の漸近的な振る舞いを調べるために、x0極限集合が重要となる[17]。ある点 x0M に対して時刻 t の列 t1, t2, … → ∞ を一つ適当に選ぶと

となるとき、yx0ω極限点という。そして、x0ω極限点全てから成る集合を x0ω極限集合といい、ω(x0) で表すとする[18]。時間を逆向き t1, t2, … → −∞ にした方はα極限集合といい、α(x0) で表すとする[18]ω極限集合またはα極限集合を総称して極限集合という[19]

O(x0) が平衡点または周期軌道ならば、ω(x0)α(x0) はその O(x0) 自体と同じとなる[20]。極限集合 ω(x0) または α(x0) が周期軌道で、それでいて x0 自体はそれら ω(x0) または α(x0) に含まれないとき、そのような極限集合をリミットサイクルという[21]。リミットサイクルに対して、軌道は巻きつくようにして収束する[22]

定理の主張

[編集]

ポアンカレ・ベンディクソンの定理とは、次のような主張である[23]

ポアンカレ・ベンディクソンの定理 ― 平面 2 上の C1 級流れ ϕ(t, x) について、ある点 x ∈ ℝ2 の正の半軌道 O+(x)有界のとき、xω極限集合 ω(x) が平衡点を含まなければ、ω(x) は周期軌道である。

定理では O+(x) ではなく、ω(x)コンパクトと仮定してもよい[24]。また、2 ではなく、球面 𝕊2円筒 𝕊1 × ℝ1 上の流れと仮定してもよい[25]。定理は xα極限集合についても同様に成り立つ。すなわち、ω(x) または α(x) がコンパクトで平衡点を含まなければ、ω(x) または α(x) は周期軌道である[26]

同じ2次元多様体でも相空間が図のようにトーラスだとポアンカレ・ベンディクソンの定理は成立しない

ポアンカレ・ベンディクソンの定理は、相空間が平面、球面、円筒である流れ(ベクトル場)では成立するが、同じ2次元多様体でも トーラス 𝕋2 のような種数が正の曲面では成立しない[27]。また、相空間が3次元以上でも成立しない[28]。2次元ベクトル場が非自励系で与えられるときにも、実質的に相空間は3次元なので成立しない[29]。定理が成立する根本的な理由は、ジョルダンの閉曲線定理として知られる、自己交差しない連続な閉曲線は平面を2つの領域に分けるという事実にあり[30]、トーラスや3次元の相空間ではこれが成立しないため、ポアンカレ・ベンディクソンの定理もまた成立しない[4]

ポアンカレ・ベンディクソンの定理の主張を直感的に言い換えると、次のようにも説明できる[31]。平面上の限られた領域内に軌道があって、軌道はそこから出て行かないとする。もし軌道が1点(平衡点)に落ち着かないとすると、軌道はその領域内を永久に動き続けなければならない。軌道の曲線が自己交差をせず、なおかつ滑らかであるような条件下において、平面上でそのようなことが可能なのは軌道が閉曲線(周期軌道)に落ち着く場合だけというのがポアンカレ・ベンディクソンの定理である[31]

もう一つポアンカレ・ベンディクソンの定理と呼ばれる別の形として、あるいは上の定理から導くことができる別の定理として、次の主張がある[32]

ポアンカレ・ベンディクソンの定理(別形) ― 有限個の平衡点しか持たない(平衡点が孤立している)平面 2 上の C1 級ベクトル場 f について、ある点 x ∈ ℝ2 の正の半軌道 O+(x) が有界のとき、xω極限集合 ω(x) は以下のいずれかである。

  1. ω(x) は単一の平衡点
  2. ω(x) は周期軌道
  3. ω(x) は有限個の平衡点 p とそれらを繋ぐ軌道 γ から成る閉曲線で、軌道上の点 uγω(u) = p および α(u) = p を満たす。

平衡点が有限個しか存在しないという仮定は平面上の理論を構成する上で必ずしも必要ではないが、議論を簡単にするために導入される[33]。例えば ·x = 0, ·y = −y という系は、平衡点が y = 0 の直線上の全ての点として存在する[34]。しかし、大抵の場合で扱われる微分方程式は平衡点が有限という条件を満たす[35]

定理の3番目の極限集合には、ヘテロクリニック軌道ホモクリニック軌道が相当する[36]。大雑把に言うと、ヘテロクリニック軌道とはある2つの平衡点 a, b を繋ぐ曲線で、その上の点は t → ∞a に収束し、t → −∞b に収束する性質を持つ[37]。ホモクリニック軌道とは1つの平衡点 a から出て a に戻る曲線で、その上の点は t → ∞a に収束し、t → −∞ でも a に収束する性質を持つ[38]

証明の概略

[編集]

ポアンカレ・ベンディクソンの定理の証明は、平面の特性を活かして幾何学的なアプローチでなされる[43]。以下では、主に (坂井 2015) に沿いながらおおまかな証明の概略を記す。

まず、平面に限らない n 上の自励系ベクトル場で一般的に成り立つ極限集合の性質として以下のものがあり、これらはポアンカレ・ベンディクソンの定理の証明にも使われる:

  1. ω(x)不変集合[44]
  2. ω(x)閉集合[44]
  3. O+(x)有界ならば ω(x)空集合ではない[45]
  4. O+(x) が有界ならば ω(x)連結集合[44]
非平衡点 η と、近傍 U と横断線 Σ の構成

ポアンカレ・ベンディクソンの定理の証明上の道具として、ポアンカレ写像の考え方が役立つ[46][30]。定理の仮定のもとで、平面上の非平衡点 η ∈ ℝ2 に対して、η を通る直線 l を平面上に引く。η近傍 U を取って、l との共通部分 Ul でできる線分Σ とする。このとき、Σ 上の任意の点も非平衡点であるようにでき、さらに、Σ を通る任意の軌道は Σ に接することなく Σ を通り過ぎるようにできる[47]。このような Σ は横断線や切断線と呼ばれる[48]Σでもよく[49]、その場合は横断弧などと呼ばれる[50])。また、U に含まれる η の近傍 VU を十分小さくとれば、V 上の任意の点から出発する軌道はある有限時間後に Σ を通過するようにできる[47]

次に、ある点 x の極限集合 ω(x) を考える。ω(x) は定理の仮定のように平衡点を含まないとし、その上のある非平衡点 ηω(x) について上のような横断線 Σ を引く[47]。また、x から出発する軌道 O+(x) がもし周期軌道ならば、O+(x) = ω(x) となり、明らかに定理が成り立つ。よって以下では O+(x) は周期軌道ではないとする[51]

線分 ζ1ζ2γ で閉曲線が構成され、この閉曲線の外側 Go と内側 Gi に平面は二分される。線分 ζ1ζ2 を通過する軌道は Gi から Go へ向かうか、Go から Gi へ向かうかのいずれかとなる。図は Gi から Go へ向かうパターンを示す。

この η は極限点なので、その定義より η に収束する無限点列が選び出せる。よって、O+(x)U を無限回通過し、Σ を通過した後には再び U に戻って来て Σ を通過しなければならない[52]O+(x)Σ を通過するときの1つの交点を ζ1 とし、次に Σ を通過する交点を ζ2 とする[53]。このとき、平面上には線分 ζ1ζ2O+(x) に沿って ζ1 から ζ2 まで引かれる弧 γ で構成される閉曲線ができる。この閉曲線を Γ とする。ジョルダンの閉曲線定理から2Γ の内側の領域 GiΓ の外側の領域 Go に分けられる[53]。上述のように、この定理が平面では成立するという点が、ポアンカレ・ベンディクソンの定理の成立の本質的理由といえる[4][30]

Σ の性質より、線分 ζ1ζ2 を通過する軌道は全て Gi から Go へ向かうか、全て Go から Gi へ向かうかのどちらかとなる[54]。また、微分方程式の解の一意性から γ を横切る軌道は存在しない[55]。どちらの場合でも同じように議論できるが、以下では線分 ζ1ζ2 を通過する軌道は Go から Gi へ向かうとする。すると、全ての t > 0 について ϕ(t, ζ2) ∈ Gi である。よって、ζ2 の次に O+(x)Σ に交わる交点を ζ3 とすれば、ζ3ζ2 を境にしてζ1 の反対側に存在する[54]。一般化すると、これは tn−1 < tn < tn+1 であれば、Σ 上で ϕ(tn, x) は常に ϕ(tn−1, x)ϕ(tn+1, x) の間にあることを意味し、このことを点列が Σ に沿って単調と言ったり、単調点列で Σ に交わると言ったりする[56]。この単調点列の結論として、一般的に ω(x)Σ との交点は ηω(x) のみであることが補題として証明される。主張の逆を取って η1η2 かつ η1, η2ω(x) という2点の存在を仮定すると、単調点列との矛盾が導かれ、背理法により主張が正しいことが確かめられる[54]

次に、ω(x) 上の任意の点 η の極限集合 ω(η)ω(x)と一致することを証明する。これも背理法で考える。主張の逆が成立すると、差集合 ω(x) ∖ ω(η) が存在することになる。この前提と、極限集合はで有界な軌道の極限集合は連結である性質を利用して議論すると、ω(x) 上のある点で横断線と複数交わるという、上記の補題と矛盾した結論が得られる[57]

最後に、η から出発する軌道 O+(η) が周期軌道であることを証明する。ηω(x) = ω(η) であるので、O+(η) はある無限点列 η 自身に収束する。η の近傍 V に含まれる点列上の1点 ϕ(tk, η) をとると、ある時間 τk 経過後に Σ を通過する。よって、ϕ(tk + τk, η)Σ と交わるわけだが、極限集合は不変であるという性質から ϕ(tk + τk, η)O+(η) 上の点であると同時に ω(x) の上の点でもある。上記の補題より Σ 上でω(x) と交わるのは1点でなければならないので、ϕ(tk + τk, η) = η が満たされるので、O(η)tk + τk を周期とする周期軌道である。よって O(η) = ω(η) = ω(x) は周期軌道である[58]。(証明終わり)

適用

[編集]

平面上の自励系常微分方程式系ないし連続力学系を解析するための強力な道具となるのが、ポアンカレ・ベンディクソンの定理である[59]。定理は、相空間が平面の場合に解ないし軌道が極限的に落ち着く先は、本質的に平衡点周期軌道に限定されることを意味する[60]。しかし一般的に、平衡点を見つけることに比べ、周期軌道を見つけることは難しい[61]。ポアンカレ・ベンディクソンの定理は、与えられた系に周期軌道の存在することを示すことができる数少ない手法の一つである[62]

ポアンカレ・ベンディクソンの定理を使いやすく言い換えると、有界閉な領域 K 内に任意の軌道 O+(x), xK が閉じ込められる(領域が正不変である)とき、K 内に平衡点が存在しなければ、K 内には周期軌道が存在する、というが成り立つ[63]。さらに言うと、このような K 内の軌道は、それ自体が周期軌道であるか、リミットサイクルに収束する軌道であるか、どちらかになる[64]。また、もう一つの重要な系は、ある周期軌道で囲まれた領域の内部には平衡点が少なくとも1つ含まれることである[65]

例示の微分方程式系[66]のベクトル場。青い範囲の境界上では任意のベクトルが内向きまたは境界に接する。色付きの曲線は軌道で、周期軌道(黒い太線)に巻きつく。

具体的な系にポアンカレ・ベンディクソンの定理を適用するには、境界上のどの点でもベクトルが内側向きとなっている領域を平面上でうまく構成(特定)する必要がある[67]。領域に内部にある平衡点も領域から適当にくりぬく必要がある[66]。(千葉 2021) による適用の具体例として以下のような微分方程式系がある[66]

計算より、この系の平衡点は xy-平面上に (x, y) = (2, 5) に唯一存在し、かつ渦状点である。この平衡点を覆うよう十分小さな円 D1 を考えれば、その円の境界の任意の点は外向きのベクトルを持つ。また考察により、 0 ≤ x ≤ 10, 0 ≤ y ≤ 101 という範囲の四角形 D2 の境界は、内向きまた境界に接するベクトルを持っていることがわかる。よって、四角形から小さな円を切り抜いた領域 D = D2D1 にはポアンカレ・ベンディクソンの定理より周期軌道が存在することが言える[66]

ポアンカレ・ベンディクソンの定理のもう一つの帰結は、平面では平衡点または周期軌道に収束する振る舞いに限定され、それら以上に複雑な振る舞いは起こらないという点である[68]。よって、平面上の連続力学系ではストレンジアトラクターカオス)と呼ばれる非周期的な運動の極限集合は存在しえない[69]。連続力学系では、カオスは3次元以上の相空間を持つ系で起こる[70]。また、相空間がトーラス 𝕋2 のときも、トーラス全体を軌道が稠密に覆う新しい種類の極限集合が存在する[71]

一般化・拡張

[編集]

ポアンカレ・ベンディクソンの定理の一般化・拡張と見なせるような結果は多い[72]。以下は主に (Ciesielski 2012) に基づく。

相空間 M が平面や球面以外のケースでは次のような結果がある。空ではない閉不変集合 S に含まれる部分集合で、閉不変集合の性質を持つのが空集合と S 自身のみであるとき、S を極小集合という[73]トーラス 𝕋2 上の C2 級自励系微分方程式が定める流れについて、この流れの極小集合は平衡点、周期軌道、𝕋2 全体のいずれかであることが知られている[74]。さらに MC2 級コンパクト連結2次元多様体と仮定すると、流れの極小集合は、M ≠ 𝕋2 のときは平衡点または周期軌道、M = 𝕋2 のときは平衡点、周期軌道、𝕋2 全体のいずれか、と一般化できる[75]

Mクラインの壺 𝕂 の場合は次のような結果が知られている。非平衡点 x について ϕ(T, x) = x を満たす T > 0 が存在するとき x周期点という[76]𝕂 上の流れでは、ある点 x がそれ自身の極限集合に属するとき(すなわち xω(x) または xα(x))、x は平衡点または周期点である[75]

M が高次元の場合への拡張もいくつか調べられている[77]。しかし、3 の境界上の全てのベクトルが内側を向いているような有界領域に平衡点または周期軌道のいずれかが必ず存在するか、といったような疑問は未決である[78]

一般化の方向性として、ポアンカレ・ベンディクソンの定理を時間 T が正の向きのみに限られるような力学系、すなわち T = ℝ+ = [0, ∞) で定義される流れ ϕ(t, x0): ℝ+ × MM で考えることもある[79]。このような ϕ は半流や半力学系と呼ばれ、過去の方向に解けない非可逆過程を記述する非線形偏微分方程式で重要となる[80]。ポアンカレ・ベンディクソンの定理の証明過程では T = ℝ = (−∞, ∞) で解が一意に存在することが前提としており、半流の場合への拡張は単純にはいかない[72]。横断線(横断弧)の半流用の拡張や、2 または 𝕊2 上の半流について xω(x) ならば x は平衡点または周期点であることの証明などが得られている[81]

ポアンカレとベンディクソンの議論では極限集合が平衡点を無限に含む場合を想定していなかったが、平衡点を無限に含む極限集合についてポアンカレ・ベンディクソンの定理を一般化することも調べられている[74]。平衡点が ω(x) の連結成分として含まれる場合、ω(x) に含まれる平衡点ではない軌道の数は高々可算無限個で、なおかつ任意の非平衡点 ηω(x) に対して ω(η)α(η)ω(x) 上の平衡点の連結成分のどれかに含まれることなどが分かっている[82]

最後に、ポアンカレ・ベンディクソンの定理の(古典的な)証明では微分方程式で定まる流れ ϕ を前提としていたが、オトマル・ハイエク英語版 (Otomar Hájek) がこの定理の成立に微分可能性の仮定が不要であることを示している[83]。定理の証明で重要な役目を担った横断線(横断弧)については、まずハスラー・ホイットニー (Hassler Whitney) とミハイル・ベブートフ (Mikhail Valer'evich Bebutov) が微分可能性不要で距離空間上の任意の非平衡点で局所横断面が構成できること(ホイットニー・ベブートフの定理)を示した[84]。そしてハイエクが2次元多様体上の局所横断面はジョルダン弧または単純閉曲線のいずれかであることが示し、微分可能性を仮定しない流れにもとづくポアンカレ・ベンディクソンの定理の証明を与えた[83]

歴史

[編集]
アンリ・ポアンカレ(1854–1912)
イーヴァル・オット・ベンディクソン英語版(1861–1935)

ポアンカレ・ベンディクソンの定理は、フランスの数学者アンリ・ポアンカレ (Henri Poincaré) とスウェーデンの数学者イーヴァル・オット・ベンディクソン英語版 (Ivar Otto Bendixson) によって定式化・証明された[85]。1881年から1886年にかけて、ポアンカレは次のような四つの論文を発表した[86]

  • "Mémoire sur les courbes définies par une équation différentielle (1ère partie)" Journal de mathématiques pures et appliquées (1881) [87]
  • "Mémoire sur les courbes définies par une équation différentielle (2nde partie)" Journal de mathématiques pures et appliquées (1882) [88]
  • "Sur les courbes définies par les équations différentielles (3ème partie)" Journal de mathématiques pures et appliquées (1885) [89]
  • "Sur les courbes définies par les équations différentielles" Journal de mathématiques pures et appliquées (1886) [90]

題名はいずれも「微分方程式によって定義される曲線について」の意で、これらの論文の中でポアンカレは求積法で解けないような常微分方程式系に対してどのように取り組むべきかについて、常微分方程式の定性的理論という新しい研究方法を導入した[91]。ポアンカレは微分方程式の軌道を調べるために位相的な手法・考察を用いてみせ[92]、ポアンカレ・ベンディクソンの定理の最初の形もこれら論文の中で発表された[93]。この論文は力学系理論の出発点としてしばしば引用される[94]。定理に関連するところでは横断弧、ポアンカレ写像、リミットサイクルといった概念もこの論文で導入されている[95]

その後1901年にベンディクソンは、 ポアンカレ・ベンディクソンの定理も含む平面上の微分方程式系に関する論文

  • "Sur les courbes définies par des équations différentielles" Acta Math (1901) [96]

を発表した[85]。論文の題名は冠詞が異なるだけでポアンカレの論文とほぼ同名であり[97]、論文の最初にベンディクソンはこの研究はポアンカレの仕事の続きだと位置づけている[98]

ポアンカレの論文ではベクトル場を与える f(x)多項式に限定して理論を展開していたが、ベンディクソンの論文はより一般的な平面上の自励的微分方程式系について調べている[85]。ポアンカレ・ベンディクソンの定理の最初の証明を与えたのはポアンカレであったが、より弱い仮定の元でより厳密な証明を与えたのはベンディクソンであった[99]。また、ポアンカレの論文ではまだ解析的手法の色合いが比較的強く残っていたが、ベンディクソンの論文では位相的・幾何学的側面がより一層強調されている[100]

ベンディクソンの論文は特にポアンカレ・ベンディクソンの定理によって広く知られているが、他にも平面上の微分方程式系に関するより高度な内容も含んでいる[101]。平面上の力学系の研究は、ポアンカレとベンディクソンの二人によっておおかた完成されたともいわれる[97]。2元連立1階自励系常微分方程式で定義された平面上の力学系の漸近的挙動を考察する理論を指して、今ではポアンカレ・ベンディクソンの理論とも呼ぶこともある[102][103][104]

ポアンカレの死後に彼の定性的理論を発展させたのが米国の数学者ジョージ・バーコフ (George Birkhoff) で、バーコフは自身の研究をまとめた "Dynamical Systems"(力学系)という題のモノグラフを1927年に刊行した[105]。ポアンカレ・ベンディクソンの定理でも用いられている極限集合も、この著書の中で記された[106]。ポアンカレとベンディクソンの論文でも極限集合のような概念は現れていたが、明確な定義を与えて力学系理論に導入したのはバーコフであった[11]

バーコフ以降、現在に至るまでに、定理に関係する結果は多数に上る[107]。研究の方向性は、解の振る舞いをより正確に記述したり、新しい現象を捉えたり、より広いクラスへ一般化したりと、多岐にわたる[107]。定理の証明も、様々なアプローチのものが報告されている[108]。ポアンカレ・ベンディクソンの定理は、現在的な数学にも未だ影響を与えている存在だといえる[107]

出典

[編集]
  1. ^ a b 今・竹内 2018, pp. 170–171.
  2. ^ 荒井 2020, p. 2.
  3. ^ 今・竹内 2018, pp. 107, 170–171.
  4. ^ a b c 荒井 2020, p. 174.
  5. ^ 伊藤 1998, p. 13.
  6. ^ Hirsch, Smale & Devaney 2007, p. 146.
  7. ^ アリグッド; サウアー; ヨーク 2012, p. 90; 今・竹内 2018, pp. 142–144.
  8. ^ Hirsch, Smale & Devaney 2007, pp. 145, 148.
  9. ^ a b c 齋藤 2002, p. 8.
  10. ^ a b 坂井 2015, p. xiv.
  11. ^ a b 齋藤 2002, p. 12.
  12. ^ 荒井 2020, pp. 34–35.
  13. ^ a b 荒井 2020, p. 38.
  14. ^ 坂井 2015, p. xv; 齋藤 2004, p. 47.
  15. ^ 伊藤 1998, p. 26.
  16. ^ 齋藤 2002, pp. 11–12; アリグッド; サウアー; ヨーク 2012, p. 149.
  17. ^ 齋藤 2002, p. 12; 荒井 2020, p. 164.
  18. ^ a b 今・竹内 2018, p. 158.
  19. ^ Hirsch, Smale & Devaney 2007, p. 220.
  20. ^ 齋藤 2004, p. 50; 坂井 2015, p. xvi.
  21. ^ 荒井 2020, p. 177.
  22. ^ Hirsch, Smale & Devaney 2007, p. 232.
  23. ^ Ciesielski 2012, p. 2110–2111; 坂井 2015, p. 276; 今・竹内 2018, p. 171.
  24. ^ Hirsch, Smale & Devaney 2007, p. 229; 荒井 2020, p. 174.
  25. ^ 荒井 2020, p. 174; 齋藤 2002, p. 23; ウィギンス 2013, p. 48.
  26. ^ Hirsch, Smale & Devaney 2007, p. 229; 齋藤 2002, p. 23.
  27. ^ 荒井 2020, p. 178.
  28. ^ 荒井 2020, p. 174; 坂井 2015, p. 277.
  29. ^ 伊藤 1998, pp. 65–66.
  30. ^ a b c 高橋 陽一郎、2004、『力学と微分方程式』初版、岩波書店〈現代数学への入門〉 ISBN 4-00-006875-X pp. 118–119
  31. ^ a b Jackson 1994, p. 246; Strogatz 2015, p. 165.
  32. ^ アリグッド; サウアー; ヨーク 2012, pp. 153, 163; ウィギンス 2013, pp. 49–52; 齋藤 2004, pp. 124–125; 今・竹内 2018, p. 173.
  33. ^ 齋藤 2004, p. 122; 齋藤 1984, p. 224.
  34. ^ Hirsch, Smale & Devaney 2007, p. 169.
  35. ^ アリグッド; サウアー; ヨーク 2012, p. 152.
  36. ^ 今・竹内 2018, p. 173.
  37. ^ 伊藤 1998, p. 80.
  38. ^ 伊藤 1998, pp. 80–81.
  39. ^ Strogatz 2015, pp. 167–168.
  40. ^ Strogatz 2015, pp. 225–229.
  41. ^ アリグッド; サウアー; ヨーク 2012, pp. 220–221.
  42. ^ アリグッド; サウアー; ヨーク 2012, pp. 221–232.
  43. ^ 伊藤 1998, p. 65.
  44. ^ a b c 坂井 2015, p. 275; アリグッド; サウアー; ヨーク 2012, p. 156.
  45. ^ 今・竹内 2018, p. 159; アリグッド; サウアー; ヨーク 2012, p. 156.
  46. ^ 坂井 2015, p. 264.
  47. ^ a b c 坂井 2015, p. 277.
  48. ^ 坂井 2015, p. 277; アリグッド; サウアー; ヨーク 2012, p. 158.
  49. ^ ウィギンス 2013, p. 49.
  50. ^ Jackson 1994, p. 363; 齋藤 1984, p. 78.
  51. ^ 齋藤 2002, p. 123.
  52. ^ 齋藤 2002, pp. 23–25.
  53. ^ a b 坂井 2015, pp. 277–278.
  54. ^ a b c 坂井 2015, p. 278.
  55. ^ アリグッド; サウアー; ヨーク 2012, p. 162.
  56. ^ Hirsch, Smale & Devaney 2007, p. 227; ウィギンス 2013, p. 49.
  57. ^ 坂井 2015, pp. 278–279.
  58. ^ 坂井 2015, p. 279.
  59. ^ 今・竹内 2018, p. 167.
  60. ^ Hirsch, Smale & Devaney 2007, p. 219; アリグッド; サウアー; ヨーク 2012, p. 145.
  61. ^ 坂井 2015, p. 275.
  62. ^ Strogatz 2015, p. 222.
  63. ^ 坂井 2015, p. 276.
  64. ^ Strogatz 2015, p. 223.
  65. ^ Hirsch, Smale & Devaney 2007, p. 234; 齋藤 2002, p. 31.
  66. ^ a b c d 千葉 2021, p. 204.
  67. ^ Strogatz 2015, p. 224; Jackson 1994, p. 246.
  68. ^ アリグッド; サウアー; ヨーク 2012, p. 145.
  69. ^ Strogatz 2015, p. 229; 今・竹内 2018, p. 213.
  70. ^ Strogatz 2015, p. 229; 荒井 2020, p. 178.
  71. ^ Strogatz 2015, pp. 303–304; アリグッド; サウアー; ヨーク 2012, pp. 165–169.
  72. ^ a b Ciesielski 2012, p. 2123.
  73. ^ 齋藤 2004, p. 136.
  74. ^ a b Ciesielski 2012, p. 2117.
  75. ^ a b Ciesielski 2012, p. 2119.
  76. ^ 坂井 2015, p. xv.
  77. ^ Ciesielski 2012, p. 2125; Jackson 1994, p. 247.
  78. ^ Jackson 1994, p. 247.
  79. ^ Ciesielski 2012, pp. 2112, 2122.
  80. ^ 俣野 博、1990、「非線形偏微分方程式と無限次元力学系」、『数学』42巻4号、日本数学会、doi:10.11429/sugaku1947.42.289 p. 291
  81. ^ Ciesielski 2012, pp. 2122–2123.
  82. ^ Ciesielski 2012, pp. 2117–2118.
  83. ^ a b Ciesielski 2012, p. 2120.
  84. ^ Ciesielski 2012, p. 2116; 齋藤 2002, pp. 174–179.
  85. ^ a b c Ciesielski 2012, pp. 2113–2114.
  86. ^ 齋藤 2002, p. 2.
  87. ^ Mémoire sur les courbes définies par une équation différentielle (1ère partie)”. Henri Poincaré Papers. 2023年5月9日閲覧。
  88. ^ Mémoire sur les courbes définies par une équation différentielle (2nde partie)”. Henri Poincaré Papers. 2023年5月9日閲覧。
  89. ^ Sur les courbes définies par les équations différentielles (3ème partie)”. Henri Poincaré Papers. 2023年5月9日閲覧。
  90. ^ Sur les courbes définies par les équations différentielles”. Henri Poincaré Papers. 2023年5月9日閲覧。
  91. ^ 齋藤 2002, pp. 2–6.
  92. ^ 齋藤 2002, p. 4.
  93. ^ Ciesielski 2012, p. 2113.
  94. ^ 齋藤 1984, p. ii.
  95. ^ 白岩 謙一、1986、「力学系の発展について」、『数学』38巻1号、日本数学会、doi:10.11429/sugaku1947.38.71 p. 73
  96. ^ Ivar Bendixson (1901). “Sur les courbes définies par des équations différentielles”. Acta Mathematica 24: 1-88. doi:10.1007/BF02403068. 
  97. ^ a b 齋藤 利弥、1978、「力学系の大域的理論」、『日本物理学会誌』33巻7号、日本物理学会、doi:10.11316/butsuri1946.33.568 p. 569
  98. ^ Ciesielski 2012, p. 2114.
  99. ^ John O'Connor and Edmund Robertson. “Ivar Otto Bendixson”. MacTutor. 2023年5月14日閲覧。
  100. ^ 齋藤 2002, pp. 4–5; Ciesielski 2012, p. 2115.
  101. ^ Ciesielski 2012, pp. 2113–2116.
  102. ^ 齋藤 2004, p. 119.
  103. ^ Poincaré-Bendixson theory”. Encyclopedia of Mathematics. EMS Press. 2023年5月13日閲覧。
  104. ^ ポアンカレ=ベンディクソンの理論」『世界大百科事典』https://kotobank.jp/word/%E3%83%9D%E3%82%A2%E3%83%B3%E3%82%AB%E3%83%AC%3D%E3%83%99%E3%83%B3%E3%83%87%E3%82%A3%E3%82%AF%E3%82%BD%E3%83%B3%E3%81%AE%E7%90%86%E8%AB%96コトバンクより2023年5月13日閲覧 
  105. ^ 齋藤 1984, p. 282; Ciesielski 2012, p. 2116.
  106. ^ Ciesielski 2012, p. 2116.
  107. ^ a b c Ciesielski 2012, p. 2111.
  108. ^ Ciesielski 2012, p. 2126.

参照文献

[編集]