「ポアンカレ・ベンディクソンの定理」の版間の差分
削除された内容 追加された内容
編集の要約なし |
→参照文献: リンク タグ: モバイル編集 モバイルウェブ編集 |
||
| (2人の利用者による、間の12版が非表示) | |||
1行目:
'''ポアンカレ・ベンディクソンの定理'''（ポアンカレ・ベンディクソンのていり、Poincaré–Bendixsonの定理）とは、[[平面]]上の[[力学系|連続力学系]]あるいは[[自励系|自励的]][[常微分方程式]]系では、[[有界]]な[[軌道 (力学系)|軌道]]が時間経過後に最終的に落ち着く先は、[[平衡点]]を含まなければ[[軌道 (力学系)|周期軌道]]であることを述べる数学の[[定理]]である。19世紀末に[[アンリ・ポアンカレ]]が発表し、後の20世紀初頭に{{仮リンク|イーヴァル・オット・ベンディクソン|en|Ivar Otto Bendixson}}がより厳密・一般化した形で証明して発表した。
与えられた系の周期軌道の存在を明確にすることは一般的に難しいが、ポアンカレ・ベンディクソンの定理はその手法を与える希少なものの一つである。また、定理の帰結として、このような平面の系で[[状態変数]]が[[極限|収束する]]先は、本質的に平面上の1点（平衡点）または[[閉曲線]]（周期軌道）のいずれかに限られ、より複雑な振る舞いはないことを意味する。[[極限集合]]の概念を使うと、平面上の極限集合は(1)平衡点、(2)周期軌道、(3)複数の平衡点とそれらを繋ぐ軌道の3種に限られることが言える。ただし、定理が成立する根本的理由の一つが、平面上では[[ジョルダンの閉曲線定理]]が成立し、自己交差しない連続な閉曲線は平面を2つの領域に分けるという事実にあるので、[[トーラス]]や3次元の系で定理は成立しない。
==前提とする主な定義==
[[独立変数]]を {{Math|''t'' ∈ ℝ}} とし、[[従属変数]]を {{Math|'''''x''''' {{=}} (''x'', ''y'')<sup>T</sup> ∈ ''M'' ⊂ ℝ<sup>2</sup>}} とする。[[未知関数]] {{Math|'''''x'''''(''t'') {{=}} (''x''(''t''), ''y''(''t''))<sup>T</sup>}} に対して次のような一般的な[[自励系|自励的]]2元連立1階[[常微分方程式]]系を考える{{Sfn|今・竹内|2018|pp=170–171}}。
:<math>\boldsymbol{\dot{x}} = \boldsymbol{f}(\boldsymbol{x}(t))</math>
または
:<math>\dot{x} = f(x(t),\ y(t)) </math>
:<math>\dot{y} = g(x(t),\ y(t)) </math>
ここで、{{Math|ℝ}} は[[実数]]を、上付き ˙ は微分 {{Math|{{Sfrac|''d''|''dt''}}}} を、右肩 {{Math|<sup>T</sup>}} は[[転置行列|転置]]を表す。独立変数 {{Mvar|''t''}} は[[時間]]とみなし、時間の経過に連れて {{Mvar|'''x'''}} の値も変わるという風に微分方程式の意味をとらえる{{Sfn|荒井|2020|p=2}}。従属変数の定義域 {{Mvar|M}} は {{Math|ℝ<sup>2</sup>}} の[[部分集合|部分]][[開集合]]で、{{Mvar|M}} を[[相空間]]ともいう{{Sfn|今・竹内|2018|pp=107, 170–171}}（{{Math|''M'' {{=}} ℝ<sup>2</sup>}} 全体でも定理は成立する{{Sfn|荒井|2020|p=174}}）。{{Math|'''''f''''' {{=}} (''f'', ''g'')<sup>T</sup>}} は [[微分可能関数|{{Math|''C''<sup>1</sup>}} 級関数]] {{Math|'''''f''''': ''M'' → ℝ<sup>2</sup>}} とする{{Sfn|今・竹内|2018|pp=170–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|''ϕ''(''t'', '''''x'''''<sub>0</sub>): ℝ × ''M'' → ''M''}} を微分方程式の定める'''[[流れ (数学)|流れ]]'''や[[力学系|連続力学系]]という{{Sfnm|アリグッド; サウアー; ヨーク |2012|1p=90|今・竹内|2018|2pp=142–144}}。{{Math|'''''f'''''}} が {{Math|''C''<sup>1</sup>}} 級であることから、上記の微分方程式系は解の存在と一意性を満たし、流れ {{Math|''ϕ''(''t'', '''''x'''''<sub>0</sub>)}} は
#{{Math|''ϕ''(0, '''''x'''''<sub>0</sub>) {{=}} '''''x'''''<sub>0</sub>}}
#任意の {{Math|''t'', ''s'' ∈ ℝ}}について {{Math|''ϕ''(''s'', (''ϕ''(''t'', '''''x'''''<sub>0</sub>)) {{=}} ''ϕ''(''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|−∞}} から {{Math|∞}} まで動かしながら {{Math|''ϕ''(''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}} が非負のときの軌道
:<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|''ϕ''(''t'', '''''x'''''<sub>0</sub>)}} が {{Math|''C''<sup>1</sup>}} 級であることから軌道は（以下の平衡点である場合を除いて）滑らかな曲線で{{Sfn|齋藤|2002|p=12}}、曲線上の各点の[[接ベクトル]]が微分方程式の {{Math|'''''f'''''('''''x''''')}} に対応する{{Sfn|荒井|2020|pp=34–35}}。
初期値 {{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|''ϕ''(''T'', '''''x'''''<sub>0</sub>) {{=}} '''''x'''''<sub>0</sub>}} かつ {{Math|''ϕ''(''t'' < ''T'', '''''x'''''<sub>0</sub>) ≠ '''''x'''''<sub>0</sub>}} を満たすような {{Math|''T'' > 0}} が存在するとき、これを満たすときの {{Math|'''''x'''''<sub>0</sub>}} の軌道を'''[[軌道 (力学系)|周期軌道]]'''という{{Sfn|伊藤|1998|p=26}}。相空間上の周期軌道は、円のように[[単純閉曲線|自分自身と交わらない閉曲線]]となる{{Sfnm|齋藤|2002|1pp=11–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>, … → ∞}} で極限集合上の{{Mvar|ω}}極限点 {{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> ∈ ''M''}} に対して時刻 {{Mvar|t}} の列 {{Math|''t''<sub>1</sub>, ''t''<sub>2</sub>, … → ∞}} を一つ適当に選ぶと
:<math> \lim_{k \rightarrow \infty} \phi(t_{k},\ \boldsymbol{x}) = \boldsymbol{y} \isin M</math>
となるとき、{{Mvar|'''y'''}} を {{Math|'''''x'''''<sub>0</sub>}} の{{Mvar|ω}}極限点という。そして、{{Math|'''''x'''''<sub>0</sub>}} の{{Mvar|ω}}極限点全てから成る集合を {{Math|'''''x'''''<sub>0</sub>}} の'''{{Mvar|ω}}極限集合'''といい、{{Math|''ω''('''''x'''''<sub>0</sub>)}} で表すとする{{Sfn|今・竹内|2018|p=158}}。時間を逆向き {{Math|''t''<sub>1</sub>, ''t''<sub>2</sub>, … → −∞}} にした方は'''{{Mvar|α}}極限集合'''といい、{{Math|''α''('''''x'''''<sub>0</sub>)}} で表すとする{{Sfn|今・竹内|2018|p=158}}。{{Mvar|ω}}極限集合または{{Mvar|α}}極限集合を総称して極限集合という{{Sfn|Hirsch, Smale & Devaney|2007|p=220}}。
{{Math|''O''<sup></sup>('''''x'''''<sub>0</sub>)}} が平衡点または周期軌道ならば、{{Math|''ω''('''''x'''''<sub>0</sub>)}} と {{Math|''α''('''''x'''''<sub>0</sub>)}} はその {{Math|''O''<sup></sup>('''''x'''''<sub>0</sub>)}} 自体と同じとなる{{Sfnm|齋藤|2004|1p=50|坂井|2015|2p=xvi}}。極限集合 {{Math|''ω''('''''x'''''<sub>0</sub>)}} または {{Math|''α''('''''x'''''<sub>0</sub>)}} が周期軌道で、なおかつ {{Math|'''''x'''''<sub>0</sub>}} がそれら極限集合に含まれないとき、そのような極限集合を[[リミットサイクル]]という{{Sfn|荒井|2020|p=177}}。リミットサイクルに対して、軌道は巻きつくようにして収束する{{Sfn|Hirsch, Smale & Devaney|2007|p=232}}。
==定理の主張==
ポアンカレ・ベンディクソンの定理とは、次のように主張である{{Sfnm|Ciesielski|2012|1p=2110–2111|坂井|2015|2p=276|今・竹内|2018|3p=171}}。
{{Math theorem|ポアンカレ・ベンディクソンの定理|[[平面]] {{Math|ℝ<sup>2</sup>}} 上の {{Math|''C''<sup>1</sup>}} 級流れ {{Math|''ϕ''(''t'', '''''x''''')}} について、ある点 {{Math|'''''x''''' ∈ ℝ<sup>2</sup>}} の正の半軌道 {{Math|''O''<sub>+</sub>('''''x''''')}} が[[有界]]のとき、{{Mvar|'''x'''}} の{{Mvar|ω}}極限集合 {{Math|''ω''('''''x''''')}} が平衡点を含まなければ、{{Math|''ω''('''''x''''')}} は周期軌道である。
}}
定理では {{Math|''O''<sub>+</sub>('''''x''''')}} ではなく、{{Math|''ω''('''''x''''')}} が[[コンパクト空間|コンパクト]]と仮定してもよい{{Sfnm|Hirsch, Smale & Devaney|2007|1p=229|荒井|2020|2p=174}}。また、{{Math|ℝ<sup>2</sup>}} ではなく、[[球面]] {{Math|𝕊<sup>2</sup>}} や[[円筒]] {{Math|𝕊<sup>1</sup> × ℝ<sup>1</sup>}} 上の流れと仮定してもよい{{Sfnm|荒井|2020|1p=174|齋藤|2002|2p=23|ウィギンス|2013|3p=48}}。定理は {{Mvar|'''x'''}} の{{Mvar|α}}極限集合についても同様に成り立つ。すなわち、{{Math|''ω''('''''x''''')}} または {{Math|''α''('''''x''''')}} がコンパクトで平衡点を含まなければ、{{Math|''ω''('''''x''''')}} または {{Math|''α''('''''x''''')}} は周期軌道である{{Sfnm|Hirsch, Smale & Devaney|2007|1p=229|齋藤|2002|2p=23}}。
[[File:Simple Torus.svg|thumb|190px|同じ2次元多様体でも相空間が図のようにトーラスだとポアンカレ・ベンディクソンの定理は成立しない]]
ポアンカレ・ベンディクソンの定理は、相空間が平面、球面、円筒である流れ（ベクトル場）では成立するが、同じ2次元多様体でも [[トーラス]] {{Math|𝕋<sup>2</sup>}} のような[[種数]]が正の曲面では成立しない{{Sfn|荒井|2020|p=178}}。また、相空間が3次元以上でも成立しない{{Sfnm|荒井|2020|1p=174|坂井|2015|2p=277}}。2次元ベクトル場が[[非自励系]]で与えられるときにも、実質的に相空間は3次元なので成立しない{{Sfn|伊藤|1998|pp=65–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–52|齋藤|2004|3pp=124–125|今・竹内|2018|4p=173}}。
{{Math theorem|ポアンカレ・ベンディクソンの定理（別形）|有限個の平衡点しか持たない（平衡点が[[孤立点|孤立]]している）平面 {{Math|ℝ<sup>2</sup>}} 上の {{Math|''C''<sup>1</sup>}} 級ベクトル場 {{Mvar|'''f'''}} について、ある点 {{Math|'''''x''''' ∈ ℝ<sup>2</sup>}} の正の半軌道 {{Math|''O''<sub>+</sub>('''''x''''')}} が[[有界]]のとき、{{Mvar|'''x'''}} の{{Mvar|ω}}極限集合 {{Math|''ω''('''''x''''')}} は以下のいずれかである。
#{{Math|''ω''('''''x''''')}} は単一の平衡点
#{{Math|''ω''('''''x''''')}} は周期軌道
#{{Math|''ω''('''''x''''')}} は有限個の平衡点 {{Mvar|'''p'''}} とそれらを繋ぐ軌道 {{Mvar|γ}} から成る閉曲線で、軌道上の点 {{Math|'''''u''''' ∈ ''γ''}} は {{Math|''ω''('''''u''''') {{=}} '''''p'''''}} および {{Math|''α''('''''u''''') {{=}} '''''p'''''}} を満たす。
}}
平衡点が有限個しか存在しないという仮定は平面上の理論を構成する上で必ずしも必要ではないが、議論を簡単にするために導入される{{Sfnm|齋藤|2004|1p=122|齋藤|1984|2p=224}}。例えば {{Math2|''{{dot|x}}'' {{=}} 0, ''{{dot|y}}'' {{=}} −''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'' → ∞}} で {{Mvar|'''a'''}} に収束し、{{Math|''t'' → −∞}} で {{Mvar|'''b'''}} に収束する性質を持つ{{Sfn|伊藤|1998|p=80}}。ホモクリニック軌道とは1つの平衡点 {{Math|'''''a'''''}} から出て {{Math|'''''a'''''}} に戻る曲線で、その上の点は {{Math|''t'' → ∞}} で {{Mvar|'''a'''}} に収束し、{{Math|''t'' → −∞}} でも {{Mvar|'''a'''}} に収束する性質を持つ{{Sfn|伊藤|1998|pp=80–81}}。
{{Gallery
|title=平面上の極限集合の例
|footer=図中の青と緑の曲線は適当な初期値から出発する軌道を示しており、黒の矢印は平面上のベクトルを示している
|width =280
| File:Attracting equilibrium point and vector field.png | {{Mvar|ω}}極限集合が単一の[[平衡点]]の場合{{Sfn|Strogatz|2015|pp=167–168}}
| File:Attracting periodic orbit and vector field.png | {{Mvar|ω}}極限集合が[[軌道 (力学系)|周期軌道]]の場合{{Sfn|Strogatz|2015|pp=225–229}}
| File:Attracting heteroclinic orbit and vector field.png | {{Mvar|ω}}極限集合が[[ヘテロクリニック軌道]]の場合{{Sfn|アリグッド; サウアー; ヨーク |2012|pp=220–221}}
| File:Attracting homoclinic orbit and vector field.png | {{Mvar|ω}}極限集合が[[ホモクリニック軌道]]の場合{{Sfn|アリグッド; サウアー; ヨーク |2012|pp=221–232}}
}}
==証明の概略==
ポアンカレ・ベンディクソンの定理の証明は、平面の特性を活かして幾何学的なアプローチでなされる{{Sfn|伊藤|1998|p=65}}。以下では、主に {{Harv|坂井|2015}} に沿いながらおおまかな証明の概略を記す。
まず、平面に限らない {{Math|ℝ<sup>''n''</sup>}} 上の自励系ベクトル場で一般的に成り立つ極限集合の性質として以下のものがあり、これらはポアンカレ・ベンディクソンの定理の証明にも使われる：
#{{Math|''ω''('''''x''''')}} は[[不変集合]]{{Sfnm|坂井|2015|1p=275|アリグッド; サウアー; ヨーク |2012|2p=156}}
#{{Math|''ω''('''''x''''')}} は[[閉集合]]{{Sfnm|坂井|2015|1p=275|アリグッド; サウアー; ヨーク |2012|2p=156}}
#{{Math|''O''<sub>+</sub>('''''x''''')}} が[[有界]]ならば {{Math|''ω''('''''x''''')}} は[[空集合]]ではない{{Sfnm|今・竹内|2018|1p=159|アリグッド; サウアー; ヨーク |2012|2p=156}}
#{{Math|''O''<sub>+</sub>('''''x''''')}} が有界ならば {{Math|''ω''('''''x''''')}} は[[連結集合]]{{Sfnm|坂井|2015|1p=275|アリグッド; サウアー; ヨーク |2012|2p=156}}
[[File:Section for Proof of Poincaré–Bendixson theorem.svg|thumb|260px|非平衡点 {{Mvar|'''η'''}} と、近傍 {{Mvar|U}} と横断線 {{Mvar|Σ}} の構成]]
ポアンカレ・ベンディクソンの定理の証明上の道具として、[[ポアンカレ写像]]の考え方が役立つ{{Sfn|坂井|2015|p=264}}<ref name ="高橋2004"/>。定理の仮定のもとで、平面上の非平衡点 {{Math|'''''η''''' ∈ ℝ<sup>2</sup>}} に対して、{{Mvar|'''η'''}} を通る直線 {{Mvar|l}} を平面上に引く。{{Mvar|'''η'''}} の[[近傍 (位相空間論)|近傍]] {{Mvar|U}} を取って、{{Mvar|l}} との[[共通部分 (数学)|共通部分]] {{Math|''U'' ∩ ''l''}} でできる[[線分]]を {{Mvar|Σ}} とする。このとき、{{Mvar|Σ}} 上の任意の点も非平衡点であるようにでき、さらに、{{Mvar|Σ}} を通る任意の軌道は {{Mvar|Σ}} に接することなく {{Mvar|Σ}} を通り過ぎるようにできる{{Sfn|坂井|2015|p=277}}。このような {{Math|''Σ''}} は横断線や切断線と呼ばれる{{Sfnm|坂井|2015|1p=277|アリグッド; サウアー; ヨーク |2012|2p=158}}（{{Math|''Σ''}} は[[弧 (幾何学)|弧]]でもよく{{Sfn|ウィギンス|2013|p=49}}、その場合は横断弧などと呼ばれる {{Sfnm|Jackson|1994|1p=363|齋藤|1984|2p=78}}）。また、{{Mvar|U}} に含まれる {{Mvar|'''η'''}} の近傍 {{Math|''V'' ⊂ ''U''}} を十分小さくとれば、{{Mvar|V}} 上の任意の点から出発する軌道はある有限時間後に {{Mvar|Σ}} を通過するようにできる{{Sfn|坂井|2015|p=277}}。
次に、ある点 {{Mvar|'''x'''}} の極限集合 {{Math|''ω''('''''x''''')}} を考える。{{Math|''ω''('''''x''''')}} は定理の仮定のように平衡点を含まないとし、その上のある非平衡点 {{Math|'''''η''''' ∈ ''ω''('''''x''''')}} について上のような横断線 {{Mvar|Σ}} を引く{{Sfn|坂井|2015|p=277}}。また、{{Mvar|'''x'''}} から出発する軌道 {{Math|''O''<sub>+</sub>('''''x''''')}} がもし周期軌道ならば、{{Math|''O''<sub>+</sub>('''''x''''') {{=}} ''ω''('''''x''''')}} となり、明らかに定理が成り立つ。よって以下では {{Math|''O''<sub>+</sub>('''''x''''')}} は周期軌道ではないとする{{Sfn|齋藤|2002|p=123}}。
[[File:Simple closed curve for Proof of Poincaré–Bendixson theorem.svg|thumb|260px|線分 {{Math|'''''ζ'''''<sub>1</sub>'''''ζ'''''<sub>2</sub>}} と {{Mvar|γ}} で閉曲線が構成され、この閉曲線の外側 {{Mvar|G<sub>o</sub>}} と内側 {{Mvar|G<sub>i</sub>}} に平面は二分される。線分 {{Math|'''''ζ'''''<sub>1</sub>'''''ζ'''''<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|'''η'''}} は極限点なので、その定義より {{Mvar|'''η'''}} に収束する無限点列が選び出せる。よって、{{Math|''O''<sub>+</sub>('''''x''''')}} は {{Mvar|U}} を無限回通過し、{{Mvar|Σ}} を通過した後には再び {{Mvar|U}} に戻って来て {{Mvar|Σ}} を通過しなければならない{{Sfn|齋藤|2002|pp=23–25}}。{{Math|''O''<sub>+</sub>('''''x''''')}} が {{Mvar|Σ}} を通過するときの1つの交点を {{Math|'''''ζ'''''<sub>1</sub>}} とし、次に {{Mvar|Σ}} を通過する交点を {{Math|'''''ζ'''''<sub>2</sub>}} とする{{Sfn|坂井|2015|pp=277–278}}。このとき、平面上には線分 {{Math|'''''ζ'''''<sub>1</sub>'''''ζ'''''<sub>2</sub>}} と {{Math|''O''<sub>+</sub>('''''x''''')}} に沿って {{Math|'''''ζ'''''<sub>1</sub>}} から {{Math|'''''ζ'''''<sub>2</sub>}} まで引かれる弧 {{Mvar|γ}} で構成される閉曲線ができる。この閉曲線を {{Mvar|Γ}} とする。[[ジョルダンの閉曲線定理]]から{{Math|ℝ<sup>2</sup>}} は {{Mvar|Γ}} の内側の領域 {{Mvar|G<sub>i</sub>}} と {{Mvar|Γ}} の外側の領域 {{Mvar|G<sub>o</sub>}} に分けられる{{Sfn|坂井|2015|pp=277–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–119 }}</ref>。
{{Mvar|Σ}} の性質より、線分 {{Math|'''''ζ'''''<sub>1</sub>'''''ζ'''''<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|γ}} を横切る軌道は存在しない{{Sfn|アリグッド; サウアー; ヨーク |2012|p=162}}。どちらの場合でも同じように議論できるが、以下では線分 {{Math|'''''ζ'''''<sub>1</sub>'''''ζ'''''<sub>2</sub>}} を通過する軌道は {{Mvar|G<sub>o</sub>}} から {{Mvar|G<sub>i</sub>}} へ向かうとする。すると、全ての {{Math|''t'' > 0}} について {{Math|''ϕ''(''t'', '''''ζ'''''<sub>2</sub>) ∈ ''G<sub>i</sub>''}} である。よって、{{Math|'''''ζ'''''<sub>2</sub>}} の次に {{Math|''O''<sub>+</sub>('''''x''''')}} が {{Mvar|Σ}} に交わる交点を {{Math|'''''ζ'''''<sub>3</sub>}} とすれば、{{Math|'''''ζ'''''<sub>3</sub>}} は {{Math|'''''ζ'''''<sub>2</sub>}} を境にして{{Math|'''''ζ'''''<sub>1</sub>}} の反対側に存在する{{Sfn|坂井|2015|p=278}}。一般化すると、これは {{Math|''t''<sub>''n''−1</sub> < ''t''<sub>''n''</sub> < ''t''<sub>''n''+1</sub>}} であれば、{{Mvar|Σ}} 上で {{Math|''ϕ''(''t<sub>n</sub>'', '''''x''''')}} は常に {{Math|''ϕ''(''t''<sub>''n''−1</sub>, '''''x''''')}} と {{Math|''ϕ''(''t''<sub>''n''+1</sub>, '''''x''''')}} の間にあることを意味し、このことを点列が {{Mvar|Σ}} に沿って単調と言ったり、単調点列で {{Mvar|Σ}} に交わると言ったりする{{Sfnm|Hirsch, Smale & Devaney|2007|1p=227|ウィギンス|2013|2p=49}}。この単調点列の結論として、一般的に {{Math|''ω''('''''x''''')}} と {{Mvar|Σ}} との交点は {{Math|'''''η''''' ∈ ''ω''('''''x''''')}} のみであることが補題として証明される。主張の逆を取って {{Math|'''''η'''''<sub>1</sub> ≠ '''''η'''''<sub>2</sub>}} かつ {{Math2|'''''η'''''<sub>1</sub>, '''''η'''''<sub>2</sub> ∈ ''ω''('''''x''''')}} という2点の存在を仮定すると、単調点列との矛盾が導かれ、[[背理法]]により主張が正しいことが確かめられる{{Sfn|坂井|2015|p=278}}。
次に、{{Math|''ω''('''''x''''')}} 上の任意の点 {{Mvar|'''η'''}} の極限集合 {{Math|''ω''('''''η''''')}} が {{Math|''ω''('''''x''''')}}と一致することを証明する。これも背理法で考える。主張の逆が成立すると、[[差集合]] {{Math|''ω''('''''x''''') ∖ ''ω''('''''η''''')}} が存在することになる。この前提と、極限集合は[[閉集合|閉]]で有界な軌道の極限集合は[[連結集合|連結]]である性質を利用して議論すると、{{Math|''ω''('''''x''''')}} 上のある点で横断線と複数交わるという、上記の補題と矛盾した結論が得られる{{Sfn|坂井|2015|pp=278–279}}。
最後に、{{Mvar|'''η'''}} から出発する軌道 {{Math|''O''<sub>+</sub>('''''η''''')}} が周期軌道であることを証明する。{{Math|'''η''' ∈ ''ω''('''''x''''') {{=}} ''ω''('''''η''''')}} であるので、{{Math|''O''<sub>+</sub>('''''η''''')}} はある無限点列 {{Math2|''ϕ''(''t<sub>i</sub>'', '''η''') (''i'' = 1, 2, … ∞)}} で {{Mvar|'''η'''}} 自身に収束する。{{Mvar|'''η'''}} の近傍 {{Mvar|V}} に含まれる点列上の1点 {{Math|''ϕ''(''t<sub>k</sub>'', '''''η''''')}} をとると、ある時間 {{Mvar|τ<sub>k</sub>}} 経過後に {{Mvar|Σ}} を通過する。よって、{{Math|''ϕ''(''t<sub>k</sub>'' + ''τ<sub>k</sub>'', '''''η''''')}} が {{Mvar|Σ}} と交わるわけだが、極限集合は[[不変集合|不変]]であるという性質から {{Math|''ϕ''(''t<sub>k</sub>'' + ''τ<sub>k</sub>'', '''''η''''')}} は {{Math|''O''<sub>+</sub>('''''η''''')}} 上の点であると同時に {{Math|''ω''('''''x''''')}} の上の点でもある。上記の補題より {{Mvar|Σ}} 上で{{Math|''ω''('''''x''''')}} と交わるのは1点でなければならないので、{{Math2|''ϕ''(''t<sub>k</sub>'' + ''τ<sub>k</sub>'', '''''η''''') {{=}} '''''η'''''}} が満たされるので、{{Math|''O''('''''η''''')}} は {{Math|''t<sub>k</sub>'' + ''τ<sub>k</sub>''}} を周期とする周期軌道である。よって {{Math|''O''('''''η''''') {{=}} ''ω''('''''η''''') {{=}} ''ω''('''''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}} 内に任意の軌道 {{Math|''O''<sub>+</sub>(''x''), ''x'' ∈ ''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 ≤ ''x'' ≤ 10, 0 ≤ ''y'' ≤ 101}} という範囲の四角形 {{Math|''D''<sub>2</sub>}} の境界は、内向きまた境界に接するベクトルを持っていることがわかる。よって、四角形から小さな円を切り抜いた領域 {{Math|''D'' {{=}} ''D''<sub>2</sub> ∖ ''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|𝕋<sup>2</sup>}} のときも、トーラス全体を軌道が[[稠密集合|稠密]]に覆う新しい種類の極限集合が存在する{{Sfnm|Strogatz|2015|1pp=303–304|アリグッド; サウアー; ヨーク |2012|2pp=165–169}}。
==一般化・拡張==
ポアンカレ・ベンディクソンの定理の一般化・拡張と見なせるような結果は多い{{Sfn|Ciesielski|2012|p=2123}}。以下は主に {{Harv|Ciesielski|2012}} に基づく。
相空間 {{Mvar|M}} が平面や球面以外のケースでは次のような結果がある。空ではない閉[[不変集合]] {{Mvar|S}} に含まれる部分集合で、閉不変集合の性質を持つのが空集合と {{Mvar|S}} 自身のみであるとき、{{Mvar|S}} を極小集合という{{Sfn|齋藤|2004|p=136}}。[[トーラス]] {{Math|𝕋<sup>2</sup>}} 上の {{Math|''C''<sup>2</sup>}} 級自励系微分方程式が定める流れについて、この流れの極小集合は平衡点、周期軌道、{{Math|𝕋<sup>2</sup>}} 全体のいずれかであることが知られている{{Sfn|Ciesielski|2012|p=2117}}。さらに {{Mvar|M}} を {{Math|''C''<sup>2</sup>}} 級コンパクト連結2次元多様体と仮定すると、流れの極小集合は、{{Math|M ≠ 𝕋<sup>2</sup>}} のときは平衡点または周期軌道、{{Math|M {{=}} 𝕋<sup>2</sup>}} のときは平衡点、周期軌道、{{Math|𝕋<sup>2</sup>}} 全体のいずれか、と一般化できる{{Sfn|Ciesielski|2012|p=2119}}。
{{Mvar|M}} が[[クラインの壺]] {{Math|𝕂}} の場合は次のような結果が知られている。非平衡点 {{Mvar|'''x'''}} について {{Math|''ϕ''(''T'', '''''x''''') {{=}} '''''x'''''}} を満たす {{Math|''T'' > 0}} が存在するとき {{Mvar|'''x'''}} を[[周期点]]という{{Sfn|坂井|2015|p=xv}}。{{Math|𝕂}} 上の流れでは、ある点 {{Mvar|'''x'''}} がそれ自身の極限集合に属するとき（すなわち {{Math|'''''x''''' ∈ ''ω''('''''x''''')}} または {{Math|'''''x''''' ∈ ''α''('''''x''''')}}）、{{Mvar|'''x'''}} は平衡点または周期点である{{Sfn|Ciesielski|2012|p=2119}}。
{{Mvar|M}} が高次元の場合への拡張もいくつか調べられている{{Sfnm|Ciesielski|2012|1p=2125|Jackson|1994|2p=247}}。しかし、{{Math|ℝ<sup>3</sup>}} の境界上の全てのベクトルが内側を向いているような有界領域に平衡点または周期軌道のいずれかが必ず存在するか、といったような疑問は未決である{{Sfn|Jackson|1994|p=247}}。
一般化の方向性として、ポアンカレ・ベンディクソンの定理を時間 {{Mvar|T}} が正の向きのみに限られるような力学系、すなわち {{Math|''T'' {{=}} ℝ<sub>+</sub> {{=}} [0, ∞)}} で定義される流れ {{Math|''ϕ''(''t'', '''''x'''''<sub>0</sub>): ℝ<sub>+</sub> × ''M'' → ''M''}} で考えることもある{{Sfn|Ciesielski|2012|pp=2112, 2122}}。このような {{Mvar|ϕ}} は半流や半力学系と呼ばれ、過去の方向に解けない非可逆過程を記述する非線形偏微分方程式で重要となる<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'' {{=}} ℝ {{=}} (−∞, ∞)}} で解が一意に存在することが前提としており、半流の場合への拡張は単純にはいかない{{Sfn|Ciesielski|2012|p=2123}}。横断線（横断弧）の半流用の拡張や、{{Math|ℝ<sup>2</sup>}} または {{Math|𝕊<sup>2</sup>}} 上の半流について {{Math|'''''x''''' ∈ ''ω''('''''x''''')}} ならば {{Mvar|'''x'''}} は平衡点または周期点であることの証明などが得られている{{Sfn|Ciesielski|2012|pp=2122–2123}}。
ポアンカレとベンディクソンの議論では極限集合が平衡点を無限に含む場合を想定していなかったが、平衡点を無限に含む極限集合についてポアンカレ・ベンディクソンの定理を一般化することも調べられている{{Sfn|Ciesielski|2012|p=2117}}。平衡点が {{Math|''ω''('''''x''''')}} の連結成分として含まれる場合、{{Math|''ω''('''''x''''')}} に含まれる平衡点ではない軌道の数は高々可算無限個で、なおかつ任意の非平衡点 {{Math|'''''η''''' ∈ ''ω''('''''x''''')}} に対して {{Math|''ω''('''''η''''')}} と {{Math|''α''('''''η''''')}} は {{Math|''ω''('''''x''''')}} 上の平衡点の連結成分のどれかに含まれることなどが分かっている{{Sfn|Ciesielski|2012|pp=2117–2118}}。
最後に、ポアンカレ・ベンディクソンの定理の（古典的な）証明では微分方程式で定まる流れ {{Mvar|ϕ}} を前提としていたが、{{仮リンク|オトマル・ハイエク|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–179}}。そしてハイエクが2次元多様体上の局所横断面はジョルダン弧または単純閉曲線のいずれかであることが示し、微分可能性を仮定しない流れにもとづくポアンカレ・ベンディクソンの定理の証明を与えた{{Sfn|Ciesielski|2012|p=2120}}。
==歴史==
[[File:Poincarre LCCN2014683830.jpg|thumb|220px|[[アンリ・ポアンカレ]]（1854–1912）]]
[[File:Das Fotoalbum für Weierstraß 044 (Ivar Bendixson).jpg|thumb|220px|{{仮リンク|イーヴァル・オット・ベンディクソン|en|Ivar Otto Bendixson}}（1861–1935）]]
ポアンカレ・ベンディクソンの定理は、フランスの数学者[[アンリ・ポアンカレ]] (Henri Poincaré) とスウェーデンの数学者{{仮リンク|イーヴァル・オット・ベンディクソン|en|Ivar Otto Bendixson}} (Ivar Otto Bendixson) によって定式化・証明された{{Sfn|Ciesielski|2012|pp=2113–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–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–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–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–5|Ciesielski|2012|2p=2115}}。
ベンディクソンの論文は特にポアンカレ・ベンディクソンの定理によって広く知られているが、他にも平面上の微分方程式系に関するより高度な内容も含んでいる{{Sfn|Ciesielski|2012|pp=2113–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–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}}
}}
{{デフォルトソート:ほあんかれへんていくそんのていり}}
49 ⟶ 310行目:
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]
[[Category:証明を含む記事]]
| |||