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