系统的流
如前所述,自治系统是域内质点运动所满足的微分方程,它过点的解记作,是过点的运动方程,不妨设它的存在区间为.
- 固定让变化,那么在相空间中表示一条轨线,在增广相空间中表示一条解曲线。
- 若固定,则可以看成是由到的映射或变换,他把映射成其自身。
再让参数t变动,则可以看成是内的点沿着其轨线方向流动,称为系统的流。
动力系统
对于每一 , 是 的变换。现在考察对一切 ,这些变换的全体所构成的集合
在此集合 上定义乘法运算
满足
容易看出变换集合 对上述乘法运算是封闭的,且适合结合律
,故存在单位元素。又由于对任一元素 均存在 使得
即存在逆元素。因此集合 对乘法运算构成一含单参数 的群。又由于交换律
那么我们称这样的一个单参数可交换的连续变换群为一个动力系统。
重点:单位元,封闭的乘法运算,结合律,交换律。
常点与奇点
设有自治系统
定义: 若,使得,则称为系统的常点;若,使得,则称 为系统的奇点。
- 对于常点 , , 则据 的连续性可知, 必存在 的邻域 , 使得, 即在邻域 内任一点都是 的常点. 过这些点均有且仅有一条轨线通过. 因此, 常点附近轨线的拓扑结构是非常简单的, 它们可以看成一些相互平行的线段.
- 对于奇点 , 由于, 从而 是系统 (2.2.1) 的解. 由于此时有, 所以此解不随时间 而变化, 在增广相空间中表示一条平行于 轴的直线, 它在相空间的投影就是奇点 , 所以奇点是一条特殊的轨线。
从动力学的观点来看, 在奇点 处运动的速度, 从而质点不运动, 因而奇点也称为系统的平衡点。
等价系统
若两个自治系统的轨线(包括奇点)完全相同(走向可以不同),则这两个自治系统称为是等价的。
例如,自治系统
都是相互等价的。而系统
与它们在域 内等价,但在 内不等价。
正(负)半轨
,称轨线 为自治系统的正半轨,记作 或 ;称轨线 为负半轨,记作 或 ;将整条轨线 记作 或 。
极限集
若存在时间序列 ,当 时 ,使得
则点 称为自治系统过 点的轨线 的 极限点,或称正(负)半轨 () 的 极限点。
的 极限点的全体称为 的 极限集,记作 。
稳定性
零解的稳定性:若对任意给定的 ,都能找到正数 ,使得当 和 时方程的解 满足 ,则称方程的零解是稳定的,否则,称方程的零解是不稳定的。
吸引域:设 是 中包含坐标原点的一个开区域,若对所有的 和任意给定的 ,都能找到正数 ,使得当 时,方程的解 满足 ,则称方程的零解是吸引的,称 是方程零解的一个吸引域。
渐近稳定:若方程的零解是稳定的,又是吸引的,则称方程的零解是渐近稳定的;若方程零解的吸引域是整个 ,则称方程的零解是全局渐近稳定的。
函数:若除原点外对所有 均有 (),则称 为正定函数(负定函数);若对所有 均有 (),则称 为半正定函数(半负定函数);若在 中原点的任一邻域内 既可取正值,也可取负值,则称 为变号函数。