第一章非线性动力学分析方法[章节练习]_第1页
第一章非线性动力学分析方法[章节练习]_第2页
第一章非线性动力学分析方法[章节练习]_第3页
第一章非线性动力学分析方法[章节练习]_第4页
第一章非线性动力学分析方法[章节练习]_第5页
免费预览已结束,剩余31页可下载查看

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、第一章 非线性动力学分析方法(6学时)一、教学目标1、理解动力系统、相空间、稳定性的概念;2、掌握线性稳定性的分析方法;3、掌握奇点的分类及判别条件;4、理解结构稳定性及分支现象;5、能分析简单动力系统的奇点类型及分支现象。二、教学重点1、线性稳定性的分析方法;2、奇点的判别。三、教学难点线性稳定性的分析方法四、教学方法讲授并适当运用课件辅助教学五、教学建议学习本章内容之前,学生要复习常微分方程的内容。六、教学过程 本章只介绍一些非常初步的动力学分析方法,但这些方法在应用上是十分有效的。1.1相空间和稳定性一、动力系统 在物理学中,首先根据我们面对要解决的问题划定系统,即系统由哪些要素组成。再

2、根据研究对象和研究目的,按一定原则从众多的要素中选出最本质要素作为状态变量。然后再根据一些原理或定律建立控制这些状态变量的微分方程,这些微分方程构成的方程组通常称为动力系统。研究这些微分方程的解及其稳定性以及其他性质的学问称为动力学。假定一个系统由n个状态变量,来描述。有时,每个状态变量不但是时间t的函数而且也是空间位置的函数。如果状态变量与时空变量都有关,那么控制它们变化的方程组称为偏微分方程组。这里假定状态变量只与时间t有关,即XiXi (t),则控制它们的方程组为常微分方程组。(1.1.1)其中代表某一控制参数。对于较复杂的问题来说,(il,2,n)一般是的非线性函数,这时方程(1.1.

3、1)就称为非线性动力系统。由于不明显地依赖时间t,故称方程组(1.1.1)为自治动力系统。若明显地依赖时间t,则称方程组(1.1.1)为非自治动力系统。非自治动力系统可化为自治动力系统。对于非自治动力系统,总可以化成自治动力系统。例如:令,上式化为 上式则是一个三维自治动力系统。 又如:令,则化为它就是三微自治动力系统.对于常微分方程来说,只要给定初始条件方程就能求解。对于偏微分方程,不但要给定初始条件而且还要给定边界条件方程才能求解。 能严格求出解析解的非线性微分方程组是极少的,大多数只能求数值解或近似解析解。 二、相空间由n个状态变量(X1,X2,Xn)描述的系统,可以用这n个状态变量为坐

4、标轴支起一个n维空间,这个n维空间就称为系统的相空间。在t时刻,每个状态变量都有一个确定的值,这些值决定了相空间的一个点,这个点称为系统状态的代表点(相点),即它代表了系统t时刻的状态。随着时间的流逝,代表点在相空间划出一条曲线,这样曲线称为相轨道或轨线。它代表了系统状态的演化过程。三、稳定性把方程组(1.1.1)简写如下, il,2,n (1.1.2)设方程组(1.1.2)在初始条件下的解为,如果用与原来略有差别的初始条件,是一个小扰动,就会得到方程组的新解。如果对于任意给定的0,存在0,并且,当时也满足 ,il,2,n (1.1.3)则称方程组(1.1.2)的解是稳定的,否则它就是不稳定的

5、。这样定义的稳定性称为Lyapunov稳定性。 如果是稳定的,并且满足极限条件 ,il,2,n(1.1.4)则称是惭近稳定的。 上述抽象的数学定义可以直观理解为:方程组(1.2)对于不同的初始条件有不同的解,如果原初始条件和受扰动后的初始条件之差限定在一定的范围内,即,未扰动解和扰动解之差也不超出一定的范围,即,则末扰动解就是稳定的;如果渐渐趋近于,最终变得和一致,则称是渐近稳定的;如果与之差不存在一个有限范围,即远离,则称是不稳定的。 由上述Lyapunov稳定性的定义可以看到,要对动力系统的解的稳定性做出判断,必须对动力学方程组求解,然而对于非线性动力系统是很难获得解析解的,即使获得近似解

6、析解也是如此。那么,我们能否象最小熵产生原理那样,不用对方程组具体求解就能对系统的稳定性作出判断。Lyapunov发展了这种判断方法,通常称为Lyapunov第二方法。这种方法主要是寻找(或构造)一个Lyapunov函数,利用这个函数的性质对系统的稳定性作出判断。1.2线性稳定性分析 通过上节对稳定性的定义我们知道,要对非线性微分方程组的解的稳定性作出判断,最好是求出它的解析解。然而,对于大多数非线性微分方程组很难得到它们的解析解,甚至求近似解析解都是不可能的。虽然Lyapunov方法避开了这一困难,但寻找一个Lyapunov函数仍存在着相当的困难。那么我们能否不去对非线性方程组去求解,而采取

7、一种既简单又有效的方法对非线性方程组定态解的稳定性作出定性的判断。这样的方法是存在的,那就是线性稳定性分析方法。它的主要思想是,在非线性微分方程组定态解的小邻域,把非线性微分方程组线性化,用线性微分方程组来研究定态解对小扰动的稳定性。因为线性微分方程组是容易求解的,而且在定态解的小邻域,用线性微分方程组近似取代非线性微分方程组是合理,所以线性稳定性分析方法既简单又有效,是一种常用的稳定性分析方法。 首先通过一个简单的例子来了解线性稳定性分析的思路。设有一非线性微分方程 (1.2.1)在定态X0,有 (1.2.2)由此得到定态解 ,(1.2.3)设是定态附近的小扰动,即(1.2.4)(1.2.5

8、)把方程(1.2.4)代入方程(1.2.1),有 (1.2.6)考虑到定态方程(1.2.2),并忽略小扰动的二次项,得 (1.2.7)其中 (1.2.8)是线性化系数。方程(1.2.7)是非线性方程(1.2.1)的线性化方程,容易求出它的解为 其中是初始扰动。 讨论:定态解的稳定性取决于的符号。(1)如果0,定态附近的扰动会随时间指数增加,最后离开这个定态,表明该定态是不稳定的。 对于定态,是稳定的;对于定态,是不稳定的。图1.1 方程(1.2.2)的定态解的稳定性我们可以很容易求得方程(1.2.1)的精确解析解(为一双曲函数) , (1.2.9)对于不同的初始条件,可以得到一系列的曲线,它们

9、随时间的演化行为如图1.1所示,曲线族趋于X011,离开X02-1。这证明我们采用线化方程得到的定性结论是正确的。 上述例子虽然简单,但具有一般性,数学家对此作了证明,并形成线性稳定性定理。 设有非线性方程组 ,(1.2.10)并设是定态解附近的小扰动,即,(1.2.11)非线性方程组(1.2.10)在定态解附近的线性化方程为 (1.2.12)定理 如果线性化方程组(1.2.12)的零解()是渐近稳定的,则非线性方程组(1.2.10)的定态解也是渐近稳定的;如果零解是不稳定的,则定态解也是不稳定的。线性稳定性定理保证了利用线性的方法来研究非线性方程定态解稳定性的有效性。利用线性稳定性定理来研究

10、非线性方程定态解稳定性的过程称为线性稳定性分析。这种分析方法在处理实际问题中经常被用到。值得提及的是,线性稳定性定理只是对线性化方程的零解是渐近稳定的或是不稳定的情形给出了结论,而对于零解是Lyapunov稳定的并不是浙近稳定的情形没有给出任何信息。这在下节会给予讨论。1.3奇点分类和极限环现在我们考虑只有两个状态变量(X,Y)的非线性动力系统,即(1.3.1)现在相空间变为分别以X和Y为坐标轴的二维相平面。如果方程(1.3.1)的解存在且唯一,那么它的解在相平面上就表现为一条线。轨线的斜率是(1.3.2)只要和不同时为零且连续可微,轨线的斜率就是唯一的,它意味着轨线不相交。如果轨线在相平面中

11、某一点相交,则这一点的斜率就不是唯一的。换句话说,数学上的解的存在与唯一性定理要求相空间中的轨线不能相交。 如果和同时为零,即(1.3.3)则有 (1.3.4) 这表明轨线的斜率不唯一。我们把在相平面中使和同时等于零的点称为奇点。在相平面上除奇点之外的所有其他点都叫做正则点。根据方程(1.3.3)我们知道,奇点就是非线性方程组(1.3.1)的定态解。因此,我们通过研究相空间中奇点的稳定性就可以知道定态解的稳定性。只要我们弄清楚奇点附近轨线的分布及其流向,就能对奇点的稳定性作出判断。为此我们设x(t)和y(t)是奇点附近的小扰动,即 (1.3.5),把非线性方程组(1.3.1)的右边在奇点附近按

12、Taytor级数展开,并保留线性项,有 ,(1.3.6)根据定态方程(1.3.3),方程(1.3.6)式变为 ,(1.3.7)其中,(1.3.8)下标0表示在定态取值。方程(1.3.7)可以方便地写为矩阵形式(1.3.9)由方程(1.3.9)的线性结构,它允许有如下的形式解, (1.3.10)这样的解称为简正模。把方程(1.3.10)代入(1.3.9)可以得到对 ()为一阶的齐次代数方程组 (1.3.11)这个方程组具有非零解的条件为 (1.3.12)即(1.3.13)其中,(1.3.14)方程(1.3.13)称为线性化方程组(1.3.9)的特征方程,称为线性化方程组的特征值。 特征方程(1.

13、3.13)是一个一元二次方程,它允许有两个不同的特征根和,即 (1.3.15)这时线性化方程组(1.3.9)有两组如下形式的线性无关解 , ,(1.3.16)其中和分别是方程组(1.3.11)系数矩阵()的特征值和对应的特征向量。这样,线性化方程组(1.3.9)的一般解应是两个线性无关解的线性组合,即 (1.3.17)其中和由初始条件确定。 从方程(1.3.15)可以看到,特征值(i1,2)可能为复数,而奇点(X0,Y0)的稳定性只取决于特征值实部的符号。由此可以根据方程(1.3.17)直观地得到如下稳定性判据: (a)如果两个(il,2),则奇点(X0,Y0)是渐近稳定的; (b)如果至少有

14、一个 (1或2),则奇点(X0,Y0)是不稳定的; (c)如果至少有一个 (1或2),而另一个 (2或1),则奇点(X0,Y0)是Lyapunov稳定的,而不是渐近稳定的。我们称这种情况为临界稳定性。 所谓奇点就是行为异常的点。虽然这样的点在相空间的分布是极为稀少的,但它们却是人们关注的热点。通常按奇点的性质把它分为四类:结点;鞍点;焦点;中心点。现在分别对它们加以介绍。 (1)结点当和时,对应的奇点称为结点。此时两个特征根不但都是实的,而且同号(,),即 和T同号 也和T同号因此,可以根据T的符号来判断结点的稳定性: T0,渐近稳定结点 T0,不稳定结点例 若线性化方程(1.3.7)中的,则

15、,奇点(X0,Y0)为结点。这时方程(1.3.7)变为 (1.3.18)它们的解为 (1.3.19)在结点附近轨线的斜率 =常数(1.3.20)对于不同的初始条件(),会有不同的常数,也就有不同的斜率。同时,因为T,所以结点的稳定性取决于的符号,对应于渐近稳定结点,对应不稳定结点。这些可用图1.2来表示。图1.3显示另一种结点附近的轨线分布及其流向的状况。从这些图我们看到,稳定结点是相平面的汇,不稳定结点是相平面的源。(a)(b)图1.2 渐近稳定星形结点(a) 不稳定星形结点(b)(a)(b)图1.3 渐近稳定星形结点(a) 不稳定星形结点(b)(2)鞍点当和时,相应的奇点称为鞍点。这种情形

16、的特征根总是异号的实根,(,)即 无论T0或T0所以鞍点总是不稳定的。 例 若方程(1.3.7)中的,则,奇点(X0,Y0)为鞍点。这时线性化方程取形式 (1.3.21)它的形式解为(1.3.22)鞍点附近轨线的斜率不但与初始条件()有关,而且还与线性化系数和有关,即 (1.3.23)其中已忽略了因子exp),因它不影响我们要讨论的结论。根据斜率在不同象限的符号,可以得到如图1.4所示的轨线分布形式。由于它与马鞍曲面在平面上的投影相类似,故得鞍点这个名字。 图1.4 鞍点附近轨线的分布情形及流向(3)焦点当,时,对应的奇点称为焦点。这时特征根为两个共扼复根。 (1.3.24)其中, (1.3.

17、25)分别是共轭复根的实部和虚部。焦点的稳定性取决于实部的符号。 T0,渐近稳定焦点 T0,不稳定焦点复根的虚部是周期振荡的频率。例 当,时,有,则奇点(X0,Y0)为焦点。这时线生化方程(1.3.7)变为 (1.3.26)令(1.3.27)方程(1.3.26)变为(1.3.28)它的解为(1.3.29)其中利用了公式(1.3.30)和是初始条件。通过令方程(1.3.29)两边的实部和虚部相等,得(1.3.31)令(1.3.32)得 (1.3.33)由此得到焦点附近的轨线方程 (1.3.34)这是一个螺线方程,与初始条件有关,的符号决定着螺线的旋转方向。如图25所示,螺线旋向焦点,它代表一种衰

18、减振荡;螺线旋离焦点,它代表一种放大振荡。图1.5 渐近稳定焦点(a)和不稳定焦点(b)(4)中心点当,时,对应的奇点(X0,Y0)称为中心点。此条件表明必大于零,所以两个特征根是异号的纯虚数,即(1.3.35)这种奇点附近的轨线代表无阻尼振荡,因此这些轨线是一些闭合曲线,奇点被这些闭合曲线围绕在中间,所以把这种奇点称为中心点。中心点附近的轨线既不无限地趋势于它也不无限地远离它,所以中心点是Lyapunov稳定的,而不是渐近稳定的。(如图1.6所示)图1.6 围绕中心点的闭轨线例 取,时,有,则相应的奇点是中心点。这时线性化方程(1.3.7)变为 (1.3.36)令(1.3.37)方程(1.3

19、.36)变为(1.3.38)其解为(1.3.39)其中(1.3.40)和是初始条件,如果令(1.3.41)我们会得到 (1.3.42)最后得到中心点附近的轨线方程为 (1.3.43)这是一个圆方程,圆的半径依赖于初始条件,初始条件稍有不同,轨线就会表现为一个新的圆。中心点附近的轨线分布如图1.6所示。因此中心点既不是相平面中的汇也不是它的源,而是一种中介情形,所以又把它叫做临界稳定性。上述四种奇点称为简单奇点。根据方程(1.3.15),令 (1.3.44) 它们被总结归纳于图1.7。渐近稳定结点和渐近稳定焦点是相空间的汇,其周围的轨线都以它们为极限最后趋于它们,这些奇点好象是它们周围轨线的吸引

20、中心,故把它们称为吸引子。相应地把不稳定结点和不稳定焦点称为排斥子。系统的演化一旦达到吸引子就不会再运动,所以有时把吸引子又称为不动点。吸引子只有在耗散系统中才可能出现,因为吸引子是衰减运动的极限状态,而耗散是衰减运动的原因。在耗散系统中,二维相平面中的各种轨线最后都归并到零维的吸引子上,这称为相空间收缩。相反,对于守恒系统相空间不会收缩,而保持相体积不变。同时,我们也可以看出,耗散是维持系统稳定的因素。图1.7 四种简单奇点的分布上述分析都是针对奇点附近的小邻域而言的,并用线性化方程得到奇点附近的轨线分布及其演化趋势,它们给奇点的性质提供了直观的图象。然而,在远离奇点时线性近似不再适用,必须

21、考虑完整的非线性方程,这时轨线的演化趋势不外乎如下几种情形;如果相平面只有一个吸引子,则相平面中所有轨线都流向于它;如果只有一个排斥子,则相平面中所有轨线都会从它出发流向无穷远;如果相平面中不但有吸引子而且还有排斥子,则大部分轨线会从排斥子出发流向吸引子,一小部分轨线可能自排斥子流向无穷远,最后一情形是,排斥子附近的轨线向四周流去,而远方的轨线向排斥子流来,两套流线必然在某个环形区域交锋,交锋的结果是在环形区域中出现一条闭合曲线,这条闭曲线是内外两套轨线演化的共同极限集,这条闭合曲线称为极限环。极限环是一条孤立的闭合执线,也就是在它的周围不存在无限接近于它的另一条闭合轨线,这一点是和中心点周围

22、的闭合轨线有着本质差别。如果极限环内外的轨线都渐近地趋于它,则是渐近稳定极限环(图1.8(a),否则,是不稳定极限环(图1.8(b)。如果极限环内部(或外部)轨线渐近趋于它,而外部(或内部)轨线离开它,则称为半稳定极限环(图28(c)。半稳定极限环也是不稳定极限环的一种。图1.8 极限环 (a)渐稳定极限环;(b)不稳定极限环;(c)半稳定极限环例 设有一非线性系统 (1.3.45)不难看出奇点为相平面(x,y)的原点(0,0)。方程(1.3.45)在奇点附近的线性化方程为 (1.3.46)因为,所以该奇点(0,0)为一不稳定焦点,它附近的轨线为一外旋的螺线。 非线性方程(1.3.45)可以严

23、格求解。为此,令 (1.3.47)对方程(1.3.45)的两边分别乘和,并利用(1.3.47)式容易把它化为极坐标中的形式(1.3.48)利用公式(1.3.49)容易得到方程(1.3.48)的积分(1.3.50)其中是由初始条件决定的积分常数。因此(1.3.51)由方程(1.3.50)可知,相平面中所有轨孰线的演化极限是半径 (1.3.52)的单位圆。如果,初始轨线在单位圆内,如果,初始轨线在单位圆外。在时,内外轨线都渐渐地进入单位圆(图29)。这个单位圆就是一个渐近稳定的极限环,因为它代表一种持续稳定的周期振荡,所以又把它称为周期吸引子。 自然界中无外源强迫的持续稳定周期振荡现象都对应一个渐

24、近稳定的极限环。从上面的例子我们看到极限环不可能在线性系图1.9 方程(1.3.45)产生的极限环统中产生,只可能在非线性系统中产生。因此,自然界中的持续振荡是一非线性现象。但是,并不是每个非线性系统都能产生极限环,即非线性是产生极限环的必要条件,并不是充分条件。所以,判断一个非线性系统能否产生极限环十分重要。如果能够得到非线性系统的解析解,就会很容易地作出判断。然而,对于大多数非线性系统获得解析解是不可能的,所以采用定性的方法推断极限环是否存在及其在什么位置就成为必要的了。由于非线性的复杂性,目前还没有一种普适的判断方法。这里只对数学上的一些定性结论作以介绍。 (1)如果极限环内只有一个简单

25、奇点,这个苛点绝对不是鞍点。 (2)如果极限环内有多个简单奇点,则一定有奇数个,并且鞍点的数目比其他奇点的数目少一个。 (3)Bendixson否定判据:对于非线性系统(231)如果在相平面区域D内不变号,则系统(2L1)在D内无极限环。根据Bendixson否定判据可以直接证明线性系统不会产生极限环。因为对于线性系统(1.3.53)它是不会变号的。 (4)如果系统(1.3.1)的轨线在相平面环形区域D的边界上总是自外向内(图210),又在D内无奇点,则在D内至少有一个渐近稳定的极限环。 图 1.10 图 1.11 (5)如果系统(1.3.1)的轨线在相平面区域D的边界上总是自外向内,又在D内

26、除有不稳定焦点或不稳定结点之外无其他奇点,则在D内至少有一个渐近稳定的极限环(图211)。由上述讨论我们看到,一个渐近稳定的极限环代表着一种稳定的周期行为。所谓的时空有序结构实际上主要指在系统内部自发形成的在时间或空间上的周期行为。要想知道形成时空有序结构的动力学条件,必须研究极限环的形成条件,这是下一节要讨论的主要内容之一。1.4结构稳定性与分支现象前几节的讨论都未涉及非线性方程组(1.1)包含的控制参数对系统行为的影响,换言之,我们是在假定控制参数不变的前提下讨论了系统的稳定性问题。然而,有时控制参数的一个微小变化都会对系统的行为引起质的跃变。一个模型往往要包含若干参数,有的参数起关键作用

27、,有的参数对系统行为没有实质性作用。起关键作用的参数在其临界值附近的一个微小变化都会使系统的演化行为发生质的改变。如在Benard实验中的温差就是一控制参数,当它达到临界值时,一个微小变化就会使液体由分子热运动的无序行为突然转变为自组织的有序行为。因此,控制参数对系统稳定性的影响十分重要,它是本节要讨论的主要内容。1、结构稳定性考虑双变量的非线性动力系统 (1.4.1)其中代表某一控制参数,并且把它看作是可变的。这样,方程(1.4.1)的定态解(X0,Y0)应是的函数,即 (1.4.2) 因为和是X和Y的非线性函数,所以定态解是多重的。但由于的变化可能使一些原来有物理意义的定态解失去物理意义,

28、因此,的变化可能会引起定态解的数目发生变化。根据方程(1.3.8)可知,方程(1.4.1)的线性化系数、和是在定态取值,因此有(1.4.3)这意味着的变化不但会使相平面中奇点的数目发生变化,而且还会引起奇点稳定性的变化,即引起相平面中轨线分布的结构发生变化。定义 如果控制参数发生一微小变化,方程(1.4.1)的奇点数目及其稳定性不发生变化,则称系统(1.4.1)是结构稳定的;否则,系统(1.4.1)是结构不稳定的。这样定义的稳定性称为结构稳定性。 2、分支过程由上述分析可见,控制参数固定,相空间中奇点的数目及其稳定性就是确定的。因此,相空间轨线的流型结构(拓朴结构)也是确定的。如果某一参数发生

29、一个小扰动,相空间轨线的流型结构未发生变化,我们称这样的参数为普通参数。如果某一参数在达到时,一个微小的扰动就会使相空间轨线的流型结构发生根本性的改变,这时我们称系统发生了分支现象,称为分支参数,称为分支点或临界点。 分支现象是参数在分支点处引发的,要么它使一种奇点由稳定变为不稳定,要么它使一种稳定奇点变为另一种不稳定奇点。这两种作用都会使相空间轨线的流形结构发生质的改变。因此,由稳定奇点变为不稳定奇点的条件就形成了确定分支点的基本条件。根据上节的讨论可知:在实特征根的情形,和对应渐近稳定结点,对应不稳定的鞍点,在复特征根的情形,对应渐近稳定焦点,对应不稳定焦点。所以,确定奇点稳定性发生改变的

30、分支点方程为 (1.4.4)在详细研究分支点条件之前,先讨论一下分支过程。在参数达到分支点时原吸引子(时的渐近稳定奇点)失去稳定性,取而代之的不仅仅是不稳定奇点,而且还会产生出新的吸引子,如定态吸引子和周期吸引子等。也就是说在分支点附近不稳定奇点和吸引子是成对出现的。这些新产生出来的吸引子和不稳定奇点统称为方程(1.4.1)的新分支解。如果新分支解出现在区域就称为亚临界分支;如果它出现在区域就称为超临界分支(图1.12)。我们把新老分支解与分支参数的关系图称为分支图。 图1.12 分支图:超临界分支(a)和亚临界分支(b)(实线:渐近稳定解,虚线:不稳定解) 上述是以分支点存在的前提下讨论的,

31、但是满足条件(1.4.4)并不能完全断定就一定是分支点。要能完全确定是分支点还需要一些补充条件。 首先讨论一下特征根为重根的情况。为此,令 (1.4.5)其中是定态解()上的小扰动。把方程(1.4.5)代入(1.4.1),得 (1.4.6)其中 (1.4.7)是线性化系数矩阵,也可称为线性化算子,而代表所有的非线性项。线性化方程的特征方程为 (1.4.8)其中)是算子的特征值,是特征值对应的特征向量。其实方程(1.4.8)就是方程(1.3.11)的简写。由方程(1.4.8)确定的特征根可能是单根,也可能是重根。对于重根情形,存在如下定理。 定理 如果方程(1.4.8)的一个特征值 (l或2)在

32、处具有奇重性,并且 (l或2),则至少存在一个产生于()的新分文解,为分支点。 对于特征值具有偶重性的情形,在处可能不产生任何新分支解。例如,有一非线性系统 (1.4.9)它的定态解为。容易得到确定它的特征值的行列式为(1.4.10)由此得到特征值 (1.4.11)是重很。当时,定态解()是渐近稳定的,当时,定态解()是不稳定的。当时,系统处在临界稳定状态,此时能否有新分支解产生出来。为此,我们把(1.4.9)的第一个方程乘以,第二个乘以,然后把两式相减。由此我们得到 (1.4.12)它的定态方程式为 (1.4.13)显然,它除零解之外没有任何实数解。换句话说,尽管在时,该问题满足条件(1.4

33、.4),即 (1.4.14)但没有新分支解产生出来。因此,不是分支点。 对于单重特征值情形,只要满足条件(1.4.4),就是分支点。在实特征值从负变为正时,在分支点邻近会产生出新的定态分支解,这称为定态分支;在复特征值的实部从负变为正时,在邻近会产生时间周期分支解,这称为Hopf分支。它们的特征值在分支点分别满足条件(1.4.15)上述条件示于图1.13中。图1.13在分支点邻近,单重特征值的临界行为(a)实特征值,(b)复特征值此外,能够证明,在的附近,超临界分支解是渐近稳定的,而亚临界分支解是不稳定的。下面我们举一些分支的实例。3、叉型分支考虑一单变量X的非线性系统,设它的控制方程为(1.

34、4.16)是一控制参数。它的定态方程为(1.4.17)对于取任何值都存在一个零解 (1.4.18)方程(1.4.17)还存在着两个非零解 (1.4.19)当时,该解是复值解,没有物理意义,不予考虑。在时,与重合。 由上述分析我们看到,在时,存在一个定态解,在时,存在三个定态解,。现在讨论它们的稳定性。设 (1.4.20)则线性化方程为 (1.4.21)对于单变量系统,特征值就等于线性化系数,即 (1.4.21)容易得到两组定态解的稳定性如下; (1.4.23)由此看到,对于同一个定态解,由于从负变为正,在处就由渐近稳定变为不稳定,并且产生出两支渐近稳定的新解,而且新分支解按的方式增长。这表明该

35、系统发生了分支现象,是分支点。分支图如图1.14所示,是超临界分支。 这个分支过程在相空间的表现如图1.15所示。单变量系统的相空间为一维相曲线,在时,只有一个吸引子,在时有一个排斥子和两个非零的吸引子,相型结构在分支点处发生了质的改变,即奇点的数目和稳定性在分支点处发生了变化。同时我们也看到吸引子和排斥子是相伴产生的。 对于象方程(1.4.16)这样简单的非线性动力系统,我们也可以不用线性近似而引入某一势函数V(X)来讨论它的稳定性。假定方程(1.4.16)的右边等于势函数V(X)的梯度,即 (1.4.24)图1.14 叉型分支图(粗实线:渐近稳定定态解;粗虚线:不稳定定态解)图1.15 相

36、型结构在分支点处的变化如果取势函数的参考值,对上式积分可得 (1.4.25)由方程(21.4.24)可以看到,定态解(,)是势函数V的极值点,即在定态有 (1.4.26)这些定态解的稳定性可用势函数的二阶导数(1.4.27)来判断。势函数V与这些定态解对应的极值行为是 , V取极小值 , V取极大值 ,V取极小值(1.4.28)图1.16 势函数V(X)的极值行为由此看到,渐近稳定的定态解对应V的极小值,不稳定约定态解对应V的极大值(图216)。在时,V只有一个极小值点,对应于吸引子;在时,变为不稳定,这时它对应于V的极大值,同时V又出现了两个对称的极小值,极小值点是两个等价的吸引子。在由负变

37、正的过程中,原势谷的小球会处在渐渐隆起的势脊上但这是极为不稳定的,稍有扰动小球就会进入两个对称的势谷之一,原有的对称性就被涨落打破,导致对称性破缺。在Benard实验中,如果我们令,用代表静止的热传导态,分别代表左旋态和右旋态,则图216可形象地说明涨落导致有序的机制。4、Hopf分支 对非线性方程(1.3.45)引入控制参数后变为 (1.4.29)显然它的定态解为(0,0)。如果把方程(1.4.29)线性化,则确定线性化算子的特征值的行列式有 (1.4.30)其特征根 (1.4.31)具有单重性。由此可以看出,在时,(0,0)是渐近稳定焦点,在时,(0,0)是不稳定焦点,在分支点 (0)将从(0,0)邻近分支出一个渐近稳定的极限环来。如果把方程(1.4.29)化为极坐标形式讨论更为方便。令(1.4.32)则方程(1.4.29)变为 (1.4.33)其中表示轨线与相平面原点(0,0)之间的距离,由方程 (1.4.34)可以得到与时间无关的解为 , 取任何值 , (1.4.35)其中已舍弃了没有物理意义的解。是焦点,是极限环半径。它们的稳定性讨论如下,令 (1.4.36)是焦点或极限环附近的小扰动,则有线性化方程(1.4.37)它们的稳定性分别为 , 渐近稳定 , 不稳定 ,渐近稳定 (1.4.38)由此看到,当由负变为正时

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论