形式陈述

动力系统由状态空间 $X$$X$ 和时间演化组成。离散时间系统是映射 $F:X\to X$$F:X\to X$ 及迭代 $F^n$$F^n$；连续时间流是映射

$$ \varphi:\mathbb R\times X\to X $$$$\phi :\mathbb{R}\times X\to X$$

满足

$$ \varphi_0=\operatorname{id}_X, \qquad \varphi_{t+s}=\varphi_t\circ\varphi_s. $$$${\phi }_0={\mathrm{id}}_X,{\phi }_{t+s}={\phi }_t\circ {\phi }_s.$$

若只对 $t\ge0$$t\ge 0$ 定义，则称半流。自治 ODE $x'=f(x)$$x^{\prime }=f(x)$ 在解唯一且可延拓时生成局部或全局流；非自治系统通常需把时间加入状态，或使用两参数演化算子。

直觉

动力系统不只问某个方程的显式解，而把所有初态的长期轨道作为一个整体研究：固定点、周期轨、吸引子和混沌都是演化映射的结构。

例子与边界

Logistic 映射 $x_{n+1}=rx_n(1-x_n)$$x_{n+1}=r{x}_n(1-x_n)$ 是离散系统；摆方程经位置和速度一阶化形成连续流。带耗散的热方程常只生成向前半流，因为反向演化不适定。随机 Markov 演化不是确定性流，需用转移半群或随机动力系统建模。状态机只有离散状态和转移时也可视为广义离散动力系统，但拓扑或微分结构并非必需。

推论与应用

动力系统语言统一 ODE、迭代算法、控制和种群模型，重点分析不变量、稳定性、分岔和对初值敏感性，而非局限于闭式求解。

参考资料

• Gerald Teschl, Ordinary Differential Equations and Dynamical Systems, American Mathematical Society, 2012，Chs. 6–9, flows, invariant sets and dynamical systems。
• Morris W. Hirsch, Stephen Smale, and Robert L. Devaney, Differential Equations, Dynamical Systems, and an Introduction to Chaos, 3rd ed., Academic Press, 2013，Chs. 7–10, nonlinear systems, bifurcations and chaos。