动力系统的概念.docx

动力系统的概念 这一章是对于事实的调查，而且来源于应用于全书的动力系统理论。我们的主要目的是 为后面的章节确定固定使用的常用符号和专业术语， 并且回想一些常常在课本的前言中不被 讨论的理论的一些方面。 为了更容易的阅读， 我们保持讨论时采用非专业术语， 并尽可能地 避免技术上的符号和观点。 然而许多遗漏的细节可以从研究生使用的动力系统的课本的前言 中找到， 一些更加先进的课题仅仅在研究性的文章中涉及到。  在某些情况下， 我们将提供一 些在更深的章节中关于这个主题的参考。另外，我们鼓励读者使用附录  A 和  B 作为基于不 同的几何和函数分析的参考。 流量，映射，动力系统 对于任意的集合 P，一个变换群 F t : P P 中的任意的一个参数 t 属于实数，如果 F 0 x x 对于所有的 x 属于集合 P F t s F t F s 对于任意的 t, s , 属于实数都成立 , ，并且 则被称为一个流。 这两个属性表明 F t 和它的逆 F t 是不可以转化的。 这一组合 ( p, F t ) 叫做 基于空间 P 的一个连续的动力系统。 换句话说， 一个连续的动力系统包括一个可能状态集合 和唯一决定将来状态 F t ( x) 的当前的状态函数 x 的变化规则。 通过 x 这一点的变化轨迹是集 合 ( x) U t R F t ( x) 。一个固定点的流是一个点 x 且 F t ( x) x 对于任意的 t R 都成立。 这个流的一个周期的轨迹就是通过这一点 x 对于那些存在的正数 T,并且满足 F T (x) x 的这 样的轨迹。 如果用以上所说的映射族 F t 定义只需 t 0 ，且对于所有的 t ， s 满足 F 0 x x 和 F t s F t F s ，则 F t 叫做半流形。注：半流形通常是不可逆的，动力系统的一个典型的 特征是在无穷大的空间中是确定的。 当有单独向映射 f : P P 且存在 P, f 时，离散动力系统是确定的。 这样的系统还有 一 些 性 质 即 通 过 f 的 迭 代 次 数 可 以 得 出 唯 一 的 当 前 状 态 决 定 所 有 的 将 来 状 态 f x , f 2 x ,... 。这时 x 的取值范围是确定的在集合x f n x 中 ，其中 n Z f 0 x x, f n f f f , f n f n 1 。 n 上面离散动力系统的定点 x 是点 x P 且 f x x 的点。 k 点的周期是对于点 x P 有 f k x x 且对于所有的 j k 有 f j x x 。对于 x P ， x 的极限集合是确定的， x q P ni : f n i x q 。 如果 f 是可逆的，则 x 的 极限集合可以定义 x 的关于 f 1 极限级。 注：连续型动力系统的一一映射 x F l x 定义与离散型动力系统在相同的拓扑空间中。 一一映射不能得到基础流量的全部性质，但是能够继承很多相似的特征。 另一个庞加莱映射提供了流的频闪图片，它的构造如下：假设 P 是 ? 上的一个开集合， 是在 P 中一个超曲面（即光滑的 (m 1) 维流行）。假设 x 的任意轨道， x ，横向 的相交于一点是不同于 x 的。然后第一个返回时间 x 是确定的对于 x 即 x min 0 F t x 。 映射 P : , x F x x , 叫做第一返回映射或庞加莱映射设联系在一起的流量 F t 。超曲面通常被称作相应的庞加莱 截面。一一映射和第一返回映射和基础流和庞加莱截面一样光滑。 常微分方程和动力系统 这本书大部分叙述的常微分方程形式 ? x f x,t . 这里 x P R n ， f 是一个充分光滑的向量场确定的 P R 。集合 P 叫做方程的象空间， 同时 P R 叫做扩充相空间。 常微分方程叫做独立存在的如果 f 没有明确的时间相依性，如下 f x,t f x 。流量 和自治的方程结合起来单参数变换群 F t  : P  Rn , x0  x t , x0  ， x0 表示为解决  x t  的初始状态， 如下，  x 0  x0 。根据常微分方程的基本理论，  函数  F t  的 像（）的右边一样光滑，同时关于  t  也是光滑的。如果  f  依赖于  C r  形状的参数，那么  F t  也 是 C r 类的随着关于那些参数的变量。 非 自 治 的 常 微 分 方 程 不 能 产 生 流 ， 因 为 解 x t; t0 , x0 明 确 取 决 于 初 始 时 间 t 0 且 x t0 ; t0 , x0 x0 。其结果是，