更改

==== 庞加莱–本迪克松定理 ====

==== 庞加莱–本迪克松定理 ====

'''庞加莱–本迪克松定理'''（Poincaré–Bendixson theorem）是二维连续动力系统中最基本的存在性定理，由 Henri Poincaré 于1892年首先提出，Ivar Bendixson 于1901年给出严格证明：<ref name="Wikipedia_PB">Poincaré–Bendixson theorem. ''Wikipedia''. https://en.wikipedia.org/wiki/Poincaré–Bendixson_theorem</ref>

'''[[庞加莱–本迪克松定理]]'''（Poincaré–Bendixson theorem）是二维连续动力系统中最基本的存在性定理，由 Henri Poincaré 于1892年首先提出，Ivar Bendixson 于1901年给出严格证明：<ref name="Wikipedia_PB">Poincaré–Bendixson theorem. ''Wikipedia''. https://en.wikipedia.org/wiki/Poincaré–Bendixson_theorem</ref>

: 设平面自治系统 <math>\dot{x} = f(x)</math> 的向量场 <math>f</math> 连续可微。若某条正向轨道有界，且其 ω 极限集中不含平衡点，则该 ω 极限集本身是一条周期轨道。<ref name="Perko" /><ref name="Strogatz" />

: 设平面自治系统 <math>\dot{x} = f(x)</math> 的向量场 <math>f</math> 连续可微。若某条正向轨道有界，且其 [[ω极限集]]中不含平衡点，则该 ω 极限集本身是一条周期轨道。<ref name="Perko" /><ref name="Strogatz" />

实际应用中通常通过构造'''捕获区'''（trapping region）来使用：若能找到有界闭区域 <math>R</math> 使得向量场在边界上处处指向内部且 <math>R</math> 内不含平衡点，则 <math>R</math> 内至少存在一条极限环。该定理还揭示了二维系统的深刻约束：有界轨道只能趋向平衡点、周期轨道或连接集，二维连续系统不可能出现混沌行为。该定理仅适用于平面或二维流形，对高维系统不成立。<ref name="Perko" />

实际应用中通常通过构造'''捕获区'''（trapping region）来使用：若能找到有界闭区域 <math>R</math> 使得向量场在边界上处处指向内部且 <math>R</math> 内不含平衡点，则 <math>R</math> 内至少存在一条极限环。该定理还揭示了二维系统的深刻约束：有界轨道只能趋向平衡点、周期轨道或连接集，二维连续系统不可能出现混沌行为。该定理仅适用于平面或二维流形，对高维系统不成立。<ref name="Perko" />