查看“︁动力系统”︁的源代码

{{Other uses
|subject = 數學概念
|other = 有關車輛中產生動力的來源
|动力总成
}}
{{NoteTA|G1=Math}}
[[File:Lorenz attractor yb.svg|thumb|right|[[洛伦茨吸引子]]的动态系统]]

'''动力系统'''（{{lang-en|dynamical system}}），是[[数学]]中用[[函数]]描述[[环绕空间]]中某[[点]]随[[时间]]的变化情况的系统，例如描述钟摆晃动、管道中水的流动，或者湖中每年春季鱼类的数量，凡此等等的[[数学模型]]都是动力系统。对时空测量的不同选择中，最一般的定义统一了数学中的数个概念，如[[常微分方程]]和[[遍历理论]]。{{Citation needed|date=March 2023}}时间可用整数、[[实数]]或[[复数]]甚至更一般的代数对象来度量；空间可以是[[流形]]，也可以是[[集合]]，无需在其上定义[[可微函数|光滑]]的时空结构。

在动力系统中有所谓「状态」的概念，是一组可确定的[[实数]]。这组实数也是一种[[流形]]的[[状态空间|几何空间坐标]]。动力系统的演化规则是一组[[函数]]的[[规律|固定规律]]，描述了当前状态会如何产生未来状态。这种规则是[[确定性模型|确定]]的，即对于给定的时间间隔內，从现在的状态只能演化出一个未来的状态。<ref>{{cite book |last=Strogatz |first=S. H. |year=2001 |title=Nonlinear Dynamics and Chaos: with Applications to Physics, Biology and Chemistry |publisher=Perseus }}</ref><ref>{{cite book |first1=A. |last1=Katok |first2=B. |last2=Hasselblatt |title=Introduction to the Modern Theory of Dynamical Systems |location=Cambridge |publisher=Cambridge University Press |year=1995 |isbn=978-0-521-34187-5 |url-access=registration |url=https://archive.org/details/introductiontomo0000kato }}</ref>不过也有[[随机过程|随机]]的系统，因为随机事件也会影响状态变量的演化。

若只是在一系列不连续的时间点考察系统的状态，则这个动力系统为'''离散动力系统'''；若时间连续，就得到一个'''连续动力系统'''。如果系统以一种连续可微的方式依赖于时间，我们就称它为一个'''光滑动力系统'''。
[[物理学]]中的'''动力系统'''被描述为“状态随时间变化，并因此服从涉及时间导数的[[微分方程]]的粒子（群）”。<ref>{{cite web|title=Nature|url=http://www.nature.com/subjects/dynamical-systems|publisher=Springer Nature|access-date=2017-02-17|archive-date=2023-03-18|archive-url=https://web.archive.org/web/20230318013832/https://www.nature.com/subjects/dynamical-systems|dead-url=no}}</ref>要预测系统未来的行为，需要通过计算机模拟实现这些方程式的分析求解或随时间积分。

对动力系统的研究是[[动力系统理论]]的重点，其在数学、物理学、<ref>{{cite journal|last1=Melby|first1=P. |display-authors=etal |title=Dynamics of Self-Adjusting Systems With Noise|journal= Chaos: An Interdisciplinary Journal of Nonlinear Science|volume=15 |issue=3 |pages=033902 |date=2005|doi=10.1063/1.1953147|pmid=16252993 |bibcode=2005Chaos..15c3902M}}</ref><ref>{{cite journal|last1=Gintautas|first1=V. |display-authors=etal |title=Resonant forcing of select degrees of freedom of multidimensional chaotic map dynamics|journal=J. Stat. Phys. |volume=130|date=2008|issue=3 |page=617 |doi=10.1007/s10955-007-9444-4|arxiv=0705.0311|bibcode=2008JSP...130..617G|s2cid=8677631 }}</ref>[[生物学]]、<ref>{{cite book |last1=Jackson |first1=T. |last2=Radunskaya |first2=A. |title=Applications of Dynamical Systems in Biology and Medicine |date=2015 |publisher=Springer }}</ref>[[化学]]、[[工程学]]、<ref>{{cite book |first=Erwin |last=Kreyszig |title=Advanced Engineering Mathematics |location=Hoboken |publisher=Wiley |year=2011 |isbn=978-0-470-64613-7 }}</ref>[[经济学]]、<ref>{{cite book |last=Gandolfo |first=Giancarlo |author-link=Giancarlo Gandolfo |title=Economic Dynamics: Methods and Models |location=Berlin |publisher=Springer |edition=Fourth |year=2009 |orig-year=1971 |isbn=978-3-642-13503-3 }}</ref>[[历史动力学|历史学]]和[[医学]]等众多领域都有应用。动力系统是[[混沌理论]]、[[逻辑斯谛映射]]动力学、[[分岔理论]]、[[自组装]]和[[自组织]]过程与[[混沌边缘]]概念的基本组成。

==概览==
动力系统的概念源于[[牛顿力学]]。与其他自然科学和工程学科一样，动力系统的演化规则是一种蕴含关系，只给出系统在未来很短时间内的状态（这关系可能是[[微分方程]]、[[递推关系式|递推方程]]或其他[[时标微积分]]）。要确定未来所有时刻的状态，就要多次迭代这关系，每次前进一小步。迭代过程称为“求解系统”或“积分系统”。若系统可解，则给定初点，便可能确定未来所有时刻的位置，其集合称作[[轨迹]]（trajectory）或[[轨道 (动力学)|轨道]]（orbit）。

在[[计算机]]发明之前，寻找轨道需要复杂的数学技术，且只能针对一小类动力系统。电子计算机上实现的数值方法大大简化了确定轨迹的过程。

对简单动力系统来说，有轨迹就够用了。但大多数动力系统都过于复杂，无法用单个轨迹求解。出现困难的原因主要有：
* 系统只有近似值—系统参数可能不精确，方程中可能缺项。使用的近似值会影响数值解的有效性或相关性。解决方法是引入了稳定性，如[[李雅普诺夫稳定性]]或[[结构稳定性]]。动力系统的稳定意味着有一类模型或初始条件的轨迹是等效的，比较轨迹确定[[等价关系]]的操作随着稳定性概念的不同而变化。 
* 轨迹类型可能比特定的某条轨迹更重要。有些轨迹可能是周期性的，另一些可能会经历系统的许多不同状态。在应用中，往往要枚举这些类别或将系统限制在一个类别中。分类所有轨迹有助于对动力系统进行定性研究，即研究在坐标变化时不变的特性。[[线性动力系统]]和[[庞加莱-本迪克松定理|有两个数字描述状态的系统]]是动力系统的例子。
* 轨迹作为参数函数的行为可能是应用所需的。随着参数变化，动力系统可能出现[[分岔理论|分岔点]]，动力系统的定性行为会在点上发生变化。例如，可能从周期性运动变为明显的不规则行为，如流体向[[湍流]]的过渡。
* 系统轨迹可能表现得不稳定，如同随机。这时可能需要很长的轨迹或许多不同轨迹，再计算均值。[[遍历理论|遍系统]]的均值十分明确，而对于[[阿诺索夫微分同胚|双曲系统]]，已有了更详细的理解。对动力系统概率方面的理解有助于建立[[统计力学]]和[[混沌理论]]的基础。
== 歷史 ==
許多人視[[法國]]數學家及物理學家[[儒勒·昂利·庞加莱|龐加萊]]為動態系統的創始者<ref>Holmes, Philip. "Poincaré, celestial mechanics, dynamical-systems theory and "chaos"." ''Physics Reports'' 193.3 (1990): 137-163.</ref>。他發行了兩份現在被譽為經典的專著：天體力學的新方法《天體力學的新方法》（New Methods of Celestial Mechanics，1892–1899）、《天體力學講義》（Lectures on Celestial Mechanics，1905–1910）。專著中，他成功將研究結果應用在[[三體問題]]，並詳細研究其狀態（頻率，穩定性等）。作品中也包含[[龐加萊復現定理]]（Poincaré recurrence theorem），該定理指出某些系統在經過足夠長但有限的時間之後，將返回到非常接近初始狀態的狀態。

[[俄羅斯]]數學家[[亞歷山大·李亞普諾夫|李亞普諾夫]]發展許多重要的近似方法。他在1899年發展出的方法，使得定義常微分方程組的穩定性是可行的。 他也創造了動態系統穩定性的現代理論。

[[美國]]數學家[[乔治·戴维·伯克霍夫|伯克霍夫]]在1913年證明了龐加萊的{{link-en|最終幾何定理|Poincaré–Birkhoff theorem}}（Last Geometric Theorem），一個三體問題的特殊形況。在1927年，他則發行了《動態系統》（''Dynamical Systems''）。在1931年，伯克霍夫發現了最使他名留青史的結果，現在稱作[[遍歷理論|遍歷]]定理。

美國數學家[[斯蒂芬·斯梅爾|斯梅爾]]也對動態系統作出重大貢獻。他的貢獻[[马蹄映射|馬蹄映射]]推動了動態系統重要研究，此外他還勾劃出研究計劃，讓很多研究者實行。

烏克蘭數學家{{link-en|亚历山大·沙可夫斯基|Oleksandr Mykolayovych Sharkovsky}}在1964年給出關於離散動力系統的{{link-en|沙可夫斯基定理|Sharkovsky's theorem}}，此定理的一個含義是，如果[[實數]]軸上的離散動態系統具有週期為3的[[周期点|週期點]]，那麼它必定具有任意週期的週期點。

== 正式定义 ==
在最一般的意义上，<ref>Giunti M. and Mazzola C. (2012), "[https://www.researchgate.net/publication/272943599_Dynamical_Systems_on_Monoids_Toward_a_General_Theory_of_Deterministic_Systems_and_Motion Dynamical systems on monoids: Toward a general theory of deterministic systems and motion] {{Wayback|url=https://www.researchgate.net/publication/272943599_Dynamical_Systems_on_Monoids_Toward_a_General_Theory_of_Deterministic_Systems_and_Motion |date=20230426053401 }}". In Minati G., Abram M., Pessa E. (eds.), ''Methods, models, simulations and approaches towards a general theory of change'', pp. 173–185, Singapore: World Scientific. {{ISBN|978-981-4383-32-5}}</ref><ref>Mazzola C. and Giunti M. (2012), "[https://www.researchgate.net/publication/281244041_Reversible_dynamics_and_the_directionality_of_time Reversible dynamics and the directionality of time] {{Wayback|url=https://www.researchgate.net/publication/281244041_Reversible_dynamics_and_the_directionality_of_time |date=20230509230228 }}". In Minati G., Abram M., Pessa E. (eds.), ''Methods, models, simulations and approaches towards a general theory of change'', pp. 161–171, Singapore: World Scientific. {{ISBN|978-981-4383-32-5}}.</ref>'''动力系统'''是[[多元组]](''T'', ''X'', Φ)，其中''T'' 是[[幺半群]]，''X''是非空[[集合 (数学)|集]]，Φ是[[函数]]
:<math>\Phi: U \subseteq (T \times X) \to X</math>
其中
:<math>\mathrm{proj}_{2}(U) = X</math>（<math>\mathrm{proj}_{2}</math>是第二射影映射）
<math>\forall x \in X</math>:
:<math>\Phi(0,x) = x</math>
:<math>\Phi(t_2,\Phi(t_1,x)) = \Phi(t_2 + t_1, x),</math> 
令<math> I(x) := \{ t \in T : (t,x) \in U \}(\forall x \in X)</math>，<math>\, t_1,\, t_2 + t_1 \in I(x)</math>、<math>\ t_2 \in I(\Phi(t_1, x)) </math>。

特别地，若<math> U = T \times X </math>，则<math>\forall x \in X</math>：<math> I(x) = T </math>，因此Φ定义了T在X上的幺[[半群作用]]。

Φ(''t'',''x'')是动力系统的'''演化函数'''，将集合X中的点x与唯一的像联系起来，取决于变量t，即'''演化参数'''。X称作'''[[相空间]]'''或'''状态空间'''，而变量x则代表系统的'''初始状态'''。

一般记
:<math>\Phi_x(t) \equiv \Phi(t,x)</math>
:<math>\Phi^t(x) \equiv \Phi(t,x)</math>
两个变量之一往往取常数。函数
:<math>\Phi_x:I(x) \to X</math>
称为过x的'''流'''，其[[函数图形|图形]]称为过x的'''[[轨迹]]'''。集合
:<math>\gamma_x \equiv\{\Phi(t,x) : t \in I(x)\}</math>
称为过x的'''[[轨道 (动力学)|轨道]]'''。
注意，过x的轨道是过x的流的[[像 (数学)|像]]。
若<math>\forall x \in S,\ \forall t \in T</math>：
:<math>\Phi(t,x) \in S.</math>
则状态空间X的子集S称为Φ-'''不变量'''，特别地，若''S''是Φ-'''不变量'''，那么<math>\forall x \in  s,\ I(x) = T</math>。也就是说，对S中每个元素，过x的流必须在所有时刻都有定义。

更常见的动力系统定义有两类：一种受[[常微分方程]]启发，具有几何性质；另一种受[[遍历理论]]启发，具有[[测度论]]性质。

=== 几何定义 ===
几何定义中，动力系统是多元组<math> \langle  \mathcal{T}, \mathcal{M}, f\rangle </math>。<math>\mathcal{T}</math>是时域——有很多选择，一般是实数或复数，可能限制为非负。<math>\mathcal{M}</math>的连续情形是[[流形]]，即局部为巴拿赫空间或欧氏空间，离散情形是[[图 (数学)|图]]。''f''是演化规则''t''&nbsp;→&nbsp;''f''<sup>&nbsp;''t''</sup>（<math>t\in\mathcal{T}</math>），使''f<sup>&nbsp;t</sup>''是流形到自身的[[微分同胚]]。所以，f是时域<math> \mathcal{T}</math>到流形到自身的微分同胚空间的“光滑”映射。换句话说，对时域<math> \mathcal{T}</math>内的每一时刻t，''f''(''t'')都是微分同胚。

==== 实动力系统 ====
实动力系统、实时动力系统、[[连续时间]]动力系统或[[流 (数学)|流]]是多元组(''T'', ''M'', Φ)，其中<math>T\in\mathbb{R}</math>是[[开区间]]，''M''是局部[[微分同胚]]于[[巴拿赫空间]]的[[流形]]，Φ是[[连续函数]]。若Φ还可微，则称系统是可微动力系统。若流形''M''局部微分同胚于'''R'''<sup>''n''</sup>，则称系统有限维；否则称系统无限维。注意，这并不假定存在[[辛流形|辛结构]]。''T''取实数时，系统称为[[流 (数学)|流]]；若''T''还限制为非负，则系统是半流（semi-flow）。

==== 离散动力系统 ====
离散动力系统、离散时间动力系统是多元组(''T'', ''M'', Φ)，其中''M''是局部微分同胚于[[巴拿赫空间]]的[[流形]]，Φ是函数。''T''取整数时，系统称为级（cascade）或映射（map）；若''T''还限制为非负，则系统是半级（semi-cascade）。<ref>{{Cite book|title=Discrete Dynamical Systems|last=Galor|first=Oded|publisher=Springer|year=2010}}</ref>
==== 元胞自动机 ====
元胞自动机是多元组(''T'', ''M'', Φ)，其中''T''是[[格子]]，如[[整数]]或更高维的[[整格]]；''M''是从整格到有限集的函数；Φ是（局部定义的）演化函数。这样，[[元胞自动机]]也是动力系统。''M''中的格子代表“空间”格，''T''中的格子代表“时间”格。

==== 多维推广 ====
动力系统通常定义在时间这一单一自变量上。更普遍的一类系统定义在多个自变量上，称为[[多维系统]]，适用于建模，例如[[数字图像处理]]。

==== 动力系统的紧化 ====
给定[[局部紧]][[豪斯多夫空间|豪斯多夫]][[拓扑空间]]X上的全局动力系统('''R''', ''X'', Φ)，研究Φ到X的单点紧化X*的连续扩张Φ*通常是有用的。虽然失去了原系统的微分结构，但现在我们可以利用紧性来分析新系统('''R''', ''X*'', Φ*)。

在紧动力系统中，任何轨道的[[极限集]]都是非空[[单连通]][[紧空间]]。

===测度论定义===
{{main|保测动力系统}}
动力系统可正式定义为一个[[测度空间]]的保测变换，即三元组(''T'', (''X'', Σ, ''μ''), Φ)。其中''T''是幺半群（往往是非负整数），''X''是[[集合 (数学)|集合]]，(''X'', Σ, ''μ'')是[[测度空间|概率空间]]，即Σ是X上的[[σ-代数]]，μ是(''X'', Σ)上的有限[[测度]]。现有映射Φ: ''X'' → ''X''，当且仅当<math>\forall\sigma\in\Sigma</math>都有<math>\Phi^{-1}\sigma \in \Sigma</math>，称Φ是Σ-[[可测函数]]。当且仅当<math>\forall\sigma\in\Sigma</math>都有<math>\mu(\Phi^{-1}\sigma ) = \mu(\sigma)</math>，称映射Φ'''保测'''。综上所述，映射Φ是'''''X'' 的保测变换'''，若它是''X''到自身的Σ-可测、保测变换。三元组(''T'', (''X'', Σ, ''μ''), Φ)中的Φ有这样的性质时，形成了动力系统。

映射Φ体现了动力系统随时间的演化。因此，离散动力系统研究了每个整数n的[[迭代函数]]<math>\Phi^n = \Phi \circ \Phi \circ \dots \circ \Phi</math>；连续动力系统的映射Φ被理解为有限时间演化映射，构造更为复杂。

====与几何定义的关系====
测度论定义假定存在保测变换。任一演化规则可能都关联于许多不同的不变测度。若动力系统由微分方程给出，则必须确定适当的测度，这使得由微分方程出发发展[[遍历理论]]变得困难。因此，在遍历理论中给出以动力系统为动机的定义就变得很方便，这可以避开选择测度，假定测度已选好。简单的构造（有时称为[[克雷洛夫–博戈柳博夫定理]]）表明，对一大类系统来说，总可以构造出一类测，使动力系统的演化规则成为保测变换。在构造中，状态空间的给定测度是轨迹所有未来点的总和，从而确保了不变性。

部分系统有自然测度，如[[哈密顿系统]]中的[[刘维尔定理 (哈密顿力学)|刘维尔定理]]，是在其他不变测度（如哈密顿系统周期轨道支持的测度）的基础上选出的。对于混沌[[耗散系统]]，不变测度的选择在技术上更有挑战性：测度需在[[吸引子]]上得到支持，但吸引子的[[勒贝格测度]]为0，因此不变测度必须是关于勒贝格测度的奇异测度。这意味着，在演化过程中，相空间的小片区域会收缩。

对于双曲动力系统，[[西奈–吕埃勒–鲍恩测度]]似乎是自然的选择。它们建立在动力系统[[稳定流形]]与不稳定流形的几何结构上；在微扰下具有物理行为；可以解释许多观察到的双曲系统统计量。

== 动力系统的构建 ==
正如前几节所述，“随时间演化”的思想是动力系统理论的核心，因为理论的初始动机来自[[经典力学]]系统的时间行为研究。但[[常微分方程]]系统在成为动力系统之前要先求解，例如，考虑以下[[初值问题]]：

:<math>\dot{\boldsymbol{x}}=\boldsymbol{v}(t,\boldsymbol{x})</math>
:<math>\boldsymbol{x}|_{{t=0}}=\boldsymbol{x}_0</math>

其中
*<math>\dot{\boldsymbol{x}}</math>表示材料点x的[[速度]]
*''M''是有限维流形
*'''v''': ''T'' × ''M'' → ''TM''是'''R'''<sup>''n''</sup>或'''C'''<sup>''n''</sup>中的[[向量场]]，且表示相空间M中作用于给定材料点的已知[[力]]引起的[[速度]]变化。这种变化不是相空间M，而是[[切空间]]TM中的矢量。

方程中不需要高阶导数，也不需要''v''(''t'',''x'')中的参数t，因为它们都可通过考虑更高维的系统来消除。

根据这一向量场的特性，动力系统可称为
*'''自治的'''，有'''v'''(''t'', '''x''') = '''v'''('''x''')
*'''同类的'''，对所有''t''有'''v'''(''t'', '''0''') = 0

解可用标准常微分方程技术求得，并表为上述演化函数

:<math>\boldsymbol{{x}}(t)=\Phi(t,\boldsymbol{{x}}_0)</math>

则动力系统就是(''T'', ''M'', Φ)。

对上述[[微分方程]]系进行一些形式化处理，可得到动力系统必须满足的更一般的方程形式

:<math>\dot{\boldsymbol{x}}-\boldsymbol{v}(t,\boldsymbol{x})=0 \qquad\Leftrightarrow\qquad \mathfrak{{G}}\left(t,\Phi(t,\boldsymbol{{x}}_0)\right)=0</math>

其中<math>\mathfrak{G}:{{(T\times M)}^M}\to\mathbf{C}</math>是从演化函数集到复数域的[[函数]]。
这个方程在模拟具有复杂约束条件的机械系统时非常好用。

动力系统中的许多概念都可扩展到无限维流形（即局部[[巴拿赫空间]]），这时微分方程就是[[偏微分方程]]。

== 例子 ==
{{Div col|colwidth=25em}}
* [[阿诺德猫图]]
* [[贝克尔图]]是混沌[[分段线性函数|分段线性映射]]的例子
* [[台球动力学]]
* [[弹球模型]]
* [[复二次多项式]]
* [[双摆]]
* [[二值变换]]
* [[厄农映射]]
* [[无理旋转]]
* [[卡普兰–约尔克映射]]
* [[混沌映射列表]]
* [[洛伦茨吸引子]]
* [[若斯叻吸引子]]
* [[摆动阿特伍德机]]
* [[帐篷映射]]
{{Div col end}}

==线性动力系统==
{{Main|线性动力系统}}
线性动力系统可用简单的函数求解，也可对所有轨道的行为进行分类。线性系统的相空间是''N''维欧氏空间，所以相空间中的点都可用由''N''个数组成的矢量来表示。线性系统的分析之所以可行，是因为它们满足[[叠加原理]]：若''u''(''t'')、''w''(''t'')满足向量场的微分方程（但不一定满足初始条件），那么''u''(''t'')&nbsp;+&nbsp;''w''(''t'')也将如此。

===流===

对一个[[流 (数学)|流]]，向量场v(''x'')是相空间中位置的[[仿射变换|仿射]]函数，即
:<math> \dot{x} = v(x) = A x + b,</math>
其中A是矩阵，b是数字向量，x是位置向量。系统的解可通过叠加原理（线性）找到。
''b''&nbsp;≠&nbsp;0、''A''&nbsp;=&nbsp;0的情形只是沿''b''方向的直线：

: <math>\Phi^t(x_1) = x_1 + b t. </math>

''b''=0、''A''&nbsp;≠&nbsp;0时，原点是流的平衡点（或奇异点），即若''x''<sub>0</sub>&nbsp;=&nbsp;0，则轨道将保持在附近。
对其他初始条件，运动方程由[[矩阵指数]]给出：对于初点''x''<sub>0</sub>，

:  <math>\Phi^t(x_0) = e^{t A} x_0. </math>
''b'' = 0时，''A''的[[特征值]]决定了系那个空间的结构。根据''A''的特征值和[[特征向量]]可以确定初点向原点的平衡点的敛散性。

''A''&nbsp;≠&nbsp;0时，不同初始条件间的距离在大多数时候呈指数变化，或以指数速度收敛到某点，或以指数速度发散。发散时，线性系统表现出对初始条件的依赖。对非线性系统，这是[[混沌理论|混沌行为]]的（必要但非充分）条件之一。

[[File:LinearFields.png|thumb|500px|center|线性向量场和一些轨迹。]]
{{-}}

===映射===
离散时间[[仿射变换|仿射]]动力系统有[[矩阵差分方程]]形式：
: <math> x_{n+1} =  A x_n + b, </math>
其中''A''是矩阵，''b''是向量。与连续情形一样，坐标系变换''x''&nbsp;→&nbsp;''x''&nbsp;+&nbsp;(1&nbsp;−&nbsp;''A'')<sup>&nbsp;–1</sup>''b''可以去除方程中的''b''项。新[[坐标系]]的原点是映射的定点，解是线性系统''A''<sup>&nbsp;''n''</sup>''x''<sub>0</sub>的解。
映射的解不再是曲线，而是在相空间中跳跃的点。轨道由曲线或纤维组成，是在映射作用下映射到自身的点集。

与连续情形一样，''A''的特征值和特征向量决定了相空间的结构。例如，若''u''<sub>1</sub>是''A''的一个特征向量，且实特征值小于1，则沿''α''&nbsp;''u''<sub>1</sub>(''α''&nbsp;∈&nbsp;'''R''')的点构成的直线就是映射的一条不变曲线，直线上的点都会进入定点。

还有许多其他离散动力系统。

==局部动力系统==
动力系统的定性特性在坐标的平滑变化下不变（有时这就是定性的定义）：向量场的奇异点（''v''(''x'')&nbsp;=&nbsp;0）在光滑变换下仍是奇异点；周期轨道在相空间和相空间的平滑变形中都是环。在奇异点和周期轨道附近，可以很好理解动力系统相空间的结构。动力系统定性研究的方法是证明存在坐标变化（通常未指定，但可计算），使动力系统尽可能简单。

===整流===
相空间大部分小块区域的流可以变得非常简单。若''y''是使向量场''v''(''y'')&nbsp;≠&nbsp;0的点，就可以对''y''附近的坐标进行变换，使向量场变成一系列相同的平行向量。这就是所谓整流定理。

整流定理表明，远离[[奇点 (数学)|奇点]]的小区域中，点的动力特性是直线。小区域可以拼接以扩大，应用于整个相空间M时，称动力系统可积。小区域一般不能扩展到整个相空间，向量场中可能存在奇点（满足''v''(''x'')&nbsp;=&nbsp;0的点）；或当接近某点时，区域会变小。更微妙的原因是全局约束，轨迹始于一个区域，途经其他区域后回到原区域。若下次的轨迹以不同方式环绕相空间，就不可能整流整个区域系中的向量场。

===近周期轨道===
一般来说，周期轨道附近无法应用整流定理。庞加莱提出了一种方法，将周期轨道附近的分析转化为对映射的分析：择轨道γ中一点''x''<sub>0</sub>，考虑相空间邻域中垂直于''v''(''x''<sub>0</sub>)的点，它们就是轨道的庞加莱截面''S''(''γ'',&nbsp;''x''<sub>0</sub>)。现在，流定义了[[庞加莱映射]]''F''&nbsp;:&nbsp;''S''&nbsp;→&nbsp;''S''。不是所有点都以相同时间返回，不过时间将接近''x''<sub>0</sub>所需时间。

周期轨道和庞加莱截面的交点是庞加莱映射''F''的定点。由平移，可假设该点位于''x''&nbsp;=&nbsp;0处。映射的泰勒级数是''F''(''x'')&nbsp;=&nbsp;''J''&nbsp;·&nbsp;''x''&nbsp;+&nbsp;O(''x''<sup>2</sup>)，因此改变坐标''h''只能将''F''简化为线性部分

: <math> h^{-1} \circ F \circ h(x) = J \cdot x.</math>

即所谓共轭方程。寻找方程成立的条件是动力系统研究的主要任务之一。庞加莱首先假设，所有函数都是解析的，并在过程中发现了非共振条件。若''λ''<sub>1</sub>,&nbsp;...,&nbsp;''λ''<sub>''ν''</sub>是''J''的特征值，且其中1个是其他特征值的整值线性组合，那么将是共振的。由于''λ''<sub>''i''</sub> – Σ（其他特征值的倍数）形式的项出现在函数''h''项的分母中，因此非共振条件也被称为小除数问题 （small divisor problem）。

===共轭结果===
共轭方程解的存在性结果取决于''J''的特征值和''h''要求的平滑度。由于''J''不需要任何特殊对称性，其特征值通常是复数。''J''的特征值不在单位圆上时，''F''的定点''x''<sub>0</sub>附近的动力称为[[双曲不动点|双曲的]]；特征值在单位圆上时，动力称为椭圆的。

前一种情形下，[[哈德曼–格罗布曼定理]]给出了存在连续函数的条件，其将映射的定点邻域映射为线性映射''J''&nbsp;·&nbsp;''x''，因此是结构稳定的。向量场的微小变化只会导致庞加莱映射的微小变化，将反映在''J''的特征值在复平面的微小位置变化上，意味着庞加莱映射仍是双曲的。

[[KAM理论]]给出了椭点附近的行为。

==分岔理论==
{{Main|分岔理论}}
演化映射Φ<sup>''t''</sup>（或由其导出的[[向量场]]）取决于参数μ时，相空间结构也将取决于该参数。达到特殊值''μ''<sub>0</sub>之后，微小变化可能使相空间发生定性变化，称动力系统发生了分岔。

分岔理论考虑相空间中的结构（通常是定点、周期轨道或定[[环面]]），研究其作为参数''μ''的行为。结构的稳定性可能在分岔点发生变化，分裂为新的结构，或与其他结构合并。用泰勒级数近似映射、理解坐标变换可能消除的差异，可以对动力系统的分岔点进行编目。

系统族''F<sub>μ</sub>'' 的双曲不动点''x''<sub>0</sub>的分岔可用在分岔点计算的系统一阶导数''DF''<sub>''μ''</sub>(''x''<sub>0</sub>)的特征值来表征。对映射而言，当单位圆上存在''DF<sub>μ</sub>'' 的特征值时，就会出现分岔。对流而言，当虚轴上存在更多特征值时，就会出现分岔。详见[[分岔理论]]条目。

有些分岔会导致相空间出现非常复杂的结构。例如，Ruelle–Takens情形描述了周期轨道如何分岔为环面，环面如何分岔为奇异[[吸引子]]。又如，[[分岔图|费根鲍姆倍周期]]描述了稳定的周期轨道如何经历一系列[[倍周期分叉]]。

==遍历系统==
{{Main|遍历理论}}
许多动力系统中，可以选择合适系统坐标，使相空间中的体积（实际上是ν维体积）不变。只要坐标是位置和动量，体积以（位置）×（动量）为单位，牛顿定律衍生的机械系统就会出现这种情况。流将子集''A''的点代入Φ<sup>&nbsp;''t''</sup>(''A'')，则相空间的不变性意味着
: <math> \mathrm{vol} (A) = \mathrm{vol} ( \Phi^t(A) ). </math>
在[[哈密顿力学]]中，给定坐标就有可能推导出适当的（广义）动量，使相关的体积保留在流中。可以说，体积是通过[[刘维尔定理 (哈密顿力学)|刘维尔测度]]计算出来的。

哈密顿系统中，并非所有可能的位置和动量构型都能从初始条件得到。由于能量守恒，只有与初始能量相同的状态才能得到。能量相同的状态形成一个能壳Ω，是相空间的子流形，体积用刘维尔测度计算，在演化过程中不变。

对于流可保积的系统，庞加莱提出了[[庞加莱复现定理]]：假定相空间具有有限的刘维尔体积，并令''F''为相空间的保积映射，''A''为相空间的子集。那么''A''的几乎每个点都将无数次返回''A''。庞加莱复现定理被[[恩斯特·策梅洛]]用来反对[[路德维希·玻尔兹曼]]对原子碰撞动力系统中熵增的推导。

玻尔兹曼的研究提出的问题之一是时间平均值和空间平均值之间可能存在的等价关系，他称之为[[遍历假说]]：典型轨迹在区域''A''中耗费的时长为vol(''A'')/vol(Ω)。

结果表明，遍历假说不是[[统计力学]]发展多许的基本性质，于是又引入了一系列类遍历的性质，以捕捉物理系统的相关方面。Koopman利用[[泛函分析]]研究遍历系统。可观测值''a''是函数，将相空间的点与数字（如瞬时压力或平均高度）联系起来。利用演化函数φ<sup>&nbsp;t</sup>可计算另一时刻的观测值，这就引入了[[转移算子]]''U''<sup>&nbsp;''t''</sup>：

: <math> (U^t a)(x) = a(\Phi^{-t}(x)). </math>

研究西那行算子''U''的谱性质，可对Φ<sup>&nbsp;''t''</sup>的遍历性进行分类。用Koopman方法考虑流对可测函数的作用时，涉及Φ<sup>&nbsp;''t''</sup>的有限维非线性问题便被映射为涉及''U''的无限维线形问题。

限制在能壳Ω上的刘维尔测度是平衡统计力学中计算平均值的基础。沿轨迹的时间平均值等同于用玻尔兹曼因子exp(−β''H'')计算的空间平均值，西奈、吕埃勒和鲍恩（SRB）将这一思想推广到耗散系统等更大一类动力系统。SRB测度取代了玻尔兹曼因子，是在混沌系统的吸引子上定义的。

===非线性动力系统与混沌===
{{Main|混沌理论}}
简单非线性动力系统，甚至分段线性系统都可能表现出完全不可预测（虽然根本上是确定的，但可能表现得随机）的行为，这种看似不可预测的行为，称为[[混沌理论|混沌]]。双曲系统是一种定义精确的动力系统，具有混沌系统的特性，垂直于轨迹的切空间可很好地分为两部分：一部分的点向轨道靠拢（稳定流行），另一部分则偏离（不稳定流形）。

这一[[数学]]分支研究动力系统的长期定性行为，重点不是寻找动力系统方程的精确解（一般找不到），而是回答“系统是否会长期[[稳态 (系统)|稳定]]，如果是，有哪些可能的[[吸引子]]？”或“系统的长期行为是否取决于初始条件？”等问题。

注意复杂系统的混沌行为也不是问题的关键——[[气象学]]涉及复杂甚至混沌行为已有多年。混沌理论之所以如此令人惊讶，是因为在几乎最平凡的系统中也能发现混沌：[[逻辑斯谛映射]]只是二次多项式，[[马蹄映射]]只是分段线性函数。

=== 有限时间解 ===
对于非线性自治常微分方程，某些条件下有可能形成有限时间解，<ref>{{cite book |author = Vardia T. Haimo |title = 1985 24th IEEE Conference on Decision and Control |chapter = Finite Time Differential Equations |year = 1985 |pages = 1729–1733 |doi = 10.1109/CDC.1985.268832 |s2cid = 45426376 |chapter-url = https://ieeexplore.ieee.org/document/4048613 |access-date = 2023-10-14 |archive-date = 2022-03-11 |archive-url = https://web.archive.org/web/20220311031935/https://ieeexplore.ieee.org/document/4048613 |dead-url = no }}</ref>这意味着从其自身动力来看，系统将在某时刻达到零值，并永远保持零值。这种有限持续时间的解不可能是整个实线上的解析函数，由于它们在结束时间是非利普希茨函数，因此不是利普希茨微分方程的唯一解。

例如，方程：
:<math>y'= -\text{sgn}(y)\sqrt{|y|},\,\,y(0)=1</math>
接受有限时间解：
:<math>y(x)=\frac{1}{4}\left(1-\frac{x}{2}+\left|1-\frac{x}{2}\right|\right)^2</math>

== 另见 ==
{{Div col|colwidth=25em}}

* [[混沌理论]]
* [[洛伦兹系统]]
* [[複變動態系統]]
* [[线性动态系统]]

* [[行为模型]]

* [[认知模型]]
* [[复变动态系统]]
* [[复变动态系统理论]]
* [[震荡]]
* [[沙可夫斯基定理]]
* [[系统动力学]]
* [[一般系统理论]]
* [[最大径原理]]
{{Div col end}}

==註釋==
{{reflist}}

==参考书籍==
{{refbegin|2}}
* [http://arxiv.org/pdf/math.HO/0111177 Geometrical theory of dynamical systems] Nils Berglund's lecture notes for a course at [[ETH]] at the advanced undergraduate level.
* [http://www.ams.org/online_bks/coll9/ Dynamical systems]{{Wayback|url=http://www.ams.org/online_bks/coll9/ |date=20060422022803 }}. George D. Birkhoff's 1927 book already takes a modern approach to dynamical systems.  
* [https://web.archive.org/web/20051104051610/http://alf.nbi.dk/ChaosBook/ Chaos: classical and quantum].  An introduction to dynamical systems from the periodic orbit point of view. 
* [http://urss.ru/cgi-bin/db.pl?cp=&page=Book&id=34250&lang=en&blang=en&list=Found Introduction to Social Macrodynamics] {{Wayback|url=http://urss.ru/cgi-bin/db.pl?cp=&page=Book&id=34250&lang=en&blang=en&list=Found |date=20201212025445 }}. Mathematical models of the World System development
* Differential Equations, Dynamical Systems, and an Introduction to Chaos 微分方程、动力系统与混沌导论
{{refend}}

==延伸閱讀==
{{refbegin|2}}
Works providing a broad coverage:
* {{cite book | author=[[Ralph Abraham (mathematician)|Ralph Abraham]] and [[Jerrold E. Marsden]] | title= Foundations of mechanics | publisher= Benjamin–Cummings | year= 1978 | isbn=0-8053-0102-X}}  (available as a reprint: {{ISBN|0-201-40840-6}})
* ''Encyclopaedia of Mathematical Sciences'' ({{ISSN|0938-0396}}) has a sub-series on dynamical systems with reviews of current research.
* {{cite book |author1=Christian Bonatti |author2=Lorenzo J. Díaz |author3=Marcelo Viana | title= Dynamics Beyond Uniform Hyperbolicity: A Global Geometric and Probabilistic Perspective| publisher= Springer | year= 2005 | isbn=3-540-22066-6}}
* {{cite journal | doi=10.1090/S0002-9904-1967-11798-1 | author=[[Stephen Smale]] | title= Differentiable dynamical systems | journal= Bulletin of the American Mathematical Society | year= 1967 |volume= 73 |pages= 747–817 | issue=6}}

Introductory texts with a unique perspective:
* {{cite book | author=[[Vladimir Arnold|V. I. Arnold]] | title=Mathematical methods of classical mechanics | publisher=Springer-Verlag | year=1982 | isbn=0-387-96890-3}}
* {{cite book | author=[[Jacob Palis]] and [[Welington de Melo]] | title=Geometric theory of dynamical systems: an introduction | publisher=Springer-Verlag | year=1982 | isbn=0-387-90668-1}}
* {{cite book | author=[[David Ruelle]] | title=Elements of Differentiable Dynamics and Bifurcation Theory | publisher=Academic Press | year=1989 | isbn=0-12-601710-7}}
* {{cite book | author=Tim Bedford, Michael Keane and Caroline Series, ''eds.'' | title= Ergodic theory, symbolic dynamics and hyperbolic spaces | publisher= Oxford University Press | year= 1991 | isbn= 0-19-853390-X }}
* {{cite book | author= [[Ralph Abraham (mathematician)|Ralph H. Abraham]] and [[Robert Shaw (Physicist)#Illustrations|Christopher D. Shaw]] | title= Dynamics—the geometry of behavior, 2nd edition | publisher= Addison-Wesley | year= 1992 | isbn= 0-201-56716-4 }}

Textbooks
* {{cite book | author= Kathleen T. Alligood, Tim D. Sauer and [[James A. Yorke]] | title= Chaos.  An introduction to dynamical systems | publisher= Springer Verlag | year= 2000 | isbn=0-387-94677-2}}
* {{cite book | author= Oded Galor | title= ''Discrete Dynamical Systems'' | publisher= Springer | year= 2011 | isbn=978-3-642-07185-0}}
* {{cite book | author= [[Morris Hirsch|Morris W. Hirsch]], [[Stephen Smale]] and [[Robert L. Devaney]] | title= Differential Equations, dynamical systems, and an introduction to chaos | publisher= Academic Press | year= 2003 | isbn=0-12-349703-5}}
* {{cite book |author1=Anatole Katok |author2=Boris Hasselblatt | title= Introduction to the modern theory of dynamical systems | publisher= Cambridge | year= 1996 | isbn=0-521-57557-5}}
* {{cite book | author= Stephen Lynch | title= Dynamical Systems with Applications using Maple 2nd Ed.| publisher= Springer | year= 2010|isbn = 0-8176-4389-3 }}
* {{cite book | author= Stephen Lynch | title= Dynamical Systems with Applications using Mathematica| publisher= Springer | year= 2007|isbn = 0-8176-4482-2 }}
* {{cite book | title= Dynamical Systems with Applications using MATLAB 2nd Edition | publisher= Springer International Publishing | year= 2014|isbn = 3319068199 | author= Stephen Lynch }}
* {{cite book | author= James Meiss | title= Differential Dynamical Systems | publisher= SIAM | year= 2007|isbn = 0-89871-635-7 }}
* {{cite book | author= David D. Nolte | title= Introduction to Modern Dynamics: Chaos, Networks, Space and Time | publisher= Oxford University Press | year= 2015 | isbn=978-0199657032 }}
* {{cite book | author= Julien Clinton Sprott | title= ''Chaos and time-series analysis'' | publisher= Oxford University Press | year= 2003 | isbn=0-19-850839-5}}
* {{cite book | author=[[Steven Strogatz|Steven H. Strogatz]] | title= Nonlinear dynamics and chaos: with applications to physics, biology chemistry and engineering | publisher= Addison Wesley | year= 1994|isbn = 0-201-54344-3 }}
* {{cite book| last = Teschl| given = Gerald| authorlink = Gerald Teschl| title = Ordinary Differential Equations and Dynamical Systems| publisher = [[American Mathematical Society]]| place = [[Providence, Rhode Island|Providence]]| year = 2012| isbn = 978-0-8218-8328-0| url = http://www.mat.univie.ac.at/~gerald/ftp/book-ode/| access-date = 2017-08-24| archive-date = 2012-06-26| archive-url = https://web.archive.org/web/20120626043727/http://www.mat.univie.ac.at/~gerald/ftp/book-ode/| dead-url = yes}}
* {{cite book | author= Stephen Wiggins | title= Introduction to Applied Dynamical Systems and Chaos | url= https://archive.org/details/springer_10.1007-b97481 | publisher= Springer | year= 2003 | isbn= 0-387-00177-8 }}

Popularizations:
* {{cite book | author=[[Florin Diacu]] and [[Philip Holmes]] | title= Celestial Encounters | url=https://archive.org/details/celestialencount0000unse | publisher= Princeton | year= 1996 | isbn= 0-691-02743-9}}
* {{cite book | author=[[James Gleick]] | title= [[Chaos: Making a New Science]] | publisher= Penguin | year= 1988 | isbn= 0-14-009250-1}}
* {{cite book | authorlink=Ivar Ekeland | author=Ivar Ekeland | title= Mathematics and the Unexpected (Paperback) | url=https://archive.org/details/mathematicsunexp0000ekel | publisher= University Of Chicago Press | year= 1990 | isbn= 0-226-19990-8}}
* {{cite book | author=Ian Stewart | year = 1997 | title = Does God Play Dice? The New Mathematics of Chaos | url=https://archive.org/details/doesgodplaydicen0000stew | publisher = Penguin | isbn = 0-14-025602-4}}
{{refend}}

==外部链接==
* [http://www.math.nctu.edu.tw/Dynamics/dynamic%20intro/dynamic%20intro.htm 動態系統介紹] {{Wayback|url=http://www.math.nctu.edu.tw/Dynamics/dynamic%20intro/dynamic%20intro.htm |date=20120615162029 }}
* [https://web.archive.org/web/20050702083555/http://www.math.sunysb.edu/dynamics/ Dynamical systems at SUNY]：紐約州立大學石溪校區研究小組的網站，有會議、研究者和未解決問題等資料（英）
* [http://www.dynamical-systems.org Oliver Knill]{{Wayback|url=http://www.dynamical-systems.org/ |date=20160311203233 }}：以JavaScript說明一些動態系統的例子（英）
* [http://www.arxiv.org/list/math.DS/recent Arxiv preprint server]{{Wayback|url=http://www.arxiv.org/list/math.DS/recent |date=20130812012723 }}：關於此範疇每日的新論文（英）
* [http://www-chaos.umd.edu/ Chaos @ UMD]{{Wayback|url=http://www-chaos.umd.edu/ |date=20050612021733 }}：主攻應用層面（英）
* [http://web.phys.ntu.edu.tw/physhistory/space_time/vol_28/v28_p77.pdf 動態系統的穩定性分析]{{dead link|date=2017年11月 |bot=InternetArchiveBot |fix-attempted=yes }}

{{数学主要领域}}
{{系统}}
{{混沌理论}}

{{Authority control}}
[[Category:系統理論]]
[[Category:动力系统| ]]