查看“︁庞加莱-本迪克松定理”︁的源代码

在[[数学]]中，'''庞加莱-本迪克松定理'''是一个关于二维平面上的[[连续动力系统]]的[[轨道]]的变化趋势的定理。

== 简介 ==
庞加莱-本迪克松定理说明了：如果在二维的平面上的连续动力系统的某一个解的轨道被限制在一个紧区域内，那么在时间足够长之后，这个轨道要么逼近某一个[[不动点|奇点]]，要么逼近某一个周期轨道（[[极限环]]）。因此，一维或者二维平面上的连续动力系统是不可能出现[[混沌理论|混沌]]现象的。混沌现象只可能出现在三维或以上维数空间上的连续动力系统中。但是要注意的是：庞加莱-本迪克松定理对[[离散动力系统]]不适用，也就是说混沌现象有可能在二维甚至一维的离散动力系统中发生（事实上的确如此）。

这个定理最早由[[儒勒·昂利·庞加莱|庞加莱]]提出，但最初的版本比现在要弱，而且庞加莱本人并没有给出一个完整的证明。[[伊瓦·奥托·本迪克松|本迪克松]]给出了现在的定理和完整的证明。

给定一个在二维[[平面 (数学)|平面]]上的[[单连通]][[开集]]上定义的[[微分方程|可微实值动力系统]]，则任意轨道的[[空集|非空]][[紧集|紧]][[极限集合|α-极限集合]]（或[[ω-极限集合]]），如果不包含奇点的话，都是周期轨道。

动力系统定义在二维平面上的条件是必须的。在[[环面]]上，非周期的递归轨道是可能存在的。

== 叙述 ==

在下文中，Ω表示 '''R'''<sup>2</sup> 中的一个[[开集]]，''f'' 是一个定义在 Ω 上的[[向量场]]，其值域在 '''R'''<sup>2</sup> 中，并且连续可微。[[自治系统 (数学)|自治微分方程]] ''(1)'' 定义如下：

<center><math>(1)\quad \frac {dx}{dt} = f(x)</math></center>

设函数 ''s''(''t'') 是一个定义在 '''R''' 的关于方程 ''(1)'' 的'''最大解'''。所谓的最大解，是指函数 ''s'' 定义在一个区间 ''I'' 上，并且没有任何其它定义在区间 ''J'' 上的函数 ''r''，使得区间 ''J'' 严格包含 ''I''，''r'' 与 ''s'' 在 ''I'' 上重合，并且 ''r'' 也是 ''(1)'' 的解（关于最大解的存在性和唯一性，参见[[柯西-利普希茨定理]]）。
{| class="wikitable" border="1"
|-
|庞加莱-本迪克松定理<ref>R. Kollár ''[http://www.math.lsa.umich.edu/~kollar/math404/poincare.pdf 庞加莱-本迪克松定理]'' 密歇根大学</ref> ：
如果 ''s'' 的值域是在 Ω 上的一个[[紧集]] ''K'' 上，那么或者它的值趋于一个[[极限]]，也就是说轨道趋于一个点（称为奇点）；或者它的轨道逼近于一个周期函数的轨道（这个轨道称为[[极限环]]）。
|}

== 应用 ==
庞加莱-本迪克松定理的一个重要推论是二维平面上的动力系统不能产生[[奇异吸引子]]，如果系统内存在一个奇异吸引子，那么它可以在相空间内被一个有界封闭的区域包住。当这个包围的区域足够小的时候，区域里面将不会有任何稳定点。但根据庞加莱-本迪克松定理，这个区域里的 '''C''' 将不会是一个奇异吸引子，因为它要么是一个[[极限环]]，要么逼近于一个极限环。

== 参见 ==

* [[极限环]]

== 参考来源 ==
<references/>

* {{citation|last=本迪克松|first=伊瓦 |title= Sur les courbes définies par des équations différentielles
|journal=Acta Mathematica
|publisher=Springer Netherlands 
|volume =24|issue=1 |year= 1901
|doi	=10.1007/BF02403068
|pages	=1–88}}
* {{citation|last=庞加莱|first=H.|chapter=Sur les courbes définies par une équation différentielle|volume=1|title=Oeuvres|place=巴黎|year=1892}}

[[Category:动力系统]]
[[Category:混沌理论]]
[[Category:微分方程]]
[[Category:数学定理|P]]