后继函数与极限环的稳定性
- 格式:doc
- 大小:311.00 KB
- 文档页数:8
《非线性振动》学习报告2010年3月至6月在北京学习期间,中科院并没有开设相同或者类似的课程,所以我只能以自学的方式完成课程。
我每周的学习时间保持在3小时左右,使用的课本是《非线性振动》(刘延柱陈立群编),根据绪论的内容,以及今后可能遇到的实际问题,我重点阅读的章节为前四章。
本文内容,尤其是前几章的内容,主要以我在看书时的勾画和笔记。
本文全部由我自己输入,在完成过程中,没有十分注意排版的问题,所以板式可能比较混乱希望老师谅解。
第一章非线性振动的定性分析方法1.1 稳定性理论的基本概念特定的运动成为系统的未受干扰的运动,简称为稳态运动,而受扰运动则是偏离稳态运动的系统的运动。
李雅普诺夫关于稳定性的定义有:稳定的、渐进稳定、不稳定李雅普诺夫直接方法的理论基础由三个定理组成:(1)若能够早可谓征订函数V(x),使得沿扰动方程解曲线计算的全导数V为半负定或等于零,则系统的未扰运动稳定。
(2)若能构造可微正定函数V(x),使得沿扰动方程解曲线计算的全导数V为负定,则系统的未扰运动渐进稳定。
(3)若能构造可微正定、半正定函数V(x),使得沿扰动方程解曲线计算的全导数V为正定,则系统的未扰运动不稳定。
定理:若保守系统的势能在平衡状态处有孤立极小值,则平衡状态稳定。
对于复杂的非线性系统,可以以近似的线性系统代替可以根据一次近似方程的稳定性,判断原方程的稳定性:(1)若一次方程的所有本征实部均为负,则原方程的零解渐进稳定(2)若一次近似方程至少有一本征实部为正,则原方程的零解不稳定(3)若一次近似方程存在零实部的本征值,其余根的实部为负,则不能判断原方程的零解的稳定性1.2相平面、相轨迹和奇点与系统的运动状态一一对应的像平面上的点称为系统的相点,相点的移动轨迹称为相轨迹。
像平面内能使方程右边分子分母同时为零的特殊点称为相轨迹的奇点。
保守系统的相轨迹有以下特点:(1)相轨迹曲线相对横坐标对称;(2)势能曲线z=V(x)与横坐标轴的平行线z=E交点的横坐标C1,C2,C3,处,相轨迹与横坐标轴相交;(3)横坐标轴上与势能曲线的驻点相对应的点S1,S2,S3,为奇点,因为他们满足几点的定义;(4)在势能取极小值处,设E>V(S1),则在x= S1的某个小领域内都有E大于等于V(x)。
《高等数学》课程考核大纲(文科二) 课程编号:052707 课程性质:必修 总学时: 64学时 总学分:4学分 开课学期: 第1学期 大纲执笔人: 项明寅 参加人: 高等数学课任老师 大纲审核人:胡跃进 编写时间:2007年2月 适用专业:文科各类专业(一)、考核大纲的编写说明 高等数学是我院理工科及经济管理等学科学生必修的基础课程之一,是培养学生运算能力、抽象概括问题的能力、逻辑推理能力、综合运用所学知识分析和解决问题能力的课程,是学生学习后继课程和进一步获得近代科学技术知识的必备基础。
本课程的考试目标是考查学生的高等数学的基本概念、基本理论、基本方法和常用的运算技能,并以此检测学生分析问题、解决问题的能力。
本大纲对内容的要求由低到高。
对概念和理论分为"了解、理解"两个层次,对方法和运算分为"会、掌握、熟练掌握"三个层次。
本考纲面向的对象为我院其它文科各专业:包括文学院、外语系、体育系、教育系和艺术系等专业的大学本科一年级学生.(二)、考核内容与考核要求 第一篇 函数、极限、连续1、考核内容 1)函数的概念,函数的表示法.函数的有界性、单调性、周期性和奇偶性.复合函数、反函数、隐函数和分段函数的概念.基本初等函数的性质及其图形,初等函数的概念.会建立简单应用问题中的函数关系式. 2)数列极限和函数极限(包括左、右极限)的概念.理解无穷小的概念和基本性质.极限的性质与四则运算法则,两个重要极限.函数连续性(含左连续与右连续),判别函数间断点的类型.了解连续函数的性质和初等函数的连续性,了解闭区间上连续函数的性质(有界性、最大值和最小值定理、介值定理)及其简单应用.2、考核要求 1)理解函数的概念,掌握函数的表示法,并会建立简单应用问题中的函数关系. 2)了解函数的有界性、单调性、周期性和奇偶性. 3)理解复合函数、和分段函数的概念.了解反函数及隐函数的概念. 4)掌握基本初等函数的性质及其图形,了解初等函数的概念. 5)了解数列极限和函数极限(包括左极限与右极限)的概念. 6)理解无穷小的概念和基本性质.掌握无穷小的比较方法.了解无穷大的概念及其与无穷小的关系. 7)了解极限的性质与极限存在的两个准则,掌握极限的四则运算法则,会应用两个重要极限. 8)理解函数连续性的概念(含左连续与右连续),会判别函数间断点的类型. 9)了解连续函数的性质和初等函数的连续性,了解闭区间上连续函数的性质(有界性、最大值和最小值定理、介值定理)及其简单应用. 第二篇 一元函数微分学1、考核内容 1)导数的概念,可导性与连续性关系,导数的几何意义.基本初等函数的导数公式、导数的四则运算法则及复合函数的求导法则;反函数与隐函数求导法.高阶导数的概念,解微分的概念与计算. 2)罗尔定理和拉格朗日中值定理的几何意义及简单应用.洛必达法.函数单调性与凸性的几何意义与判别,极值、最大值和最小值的求法和应用.函数作图的基本步骤和方法,作简单函数的图形.2、考核要求 1)理解导数的概念及可导性与连续性之间的关系,了解导数的几何意义与经济意义(含边际与弹性的概念).会求平面曲线的切线方程和法线方程. 2)掌握基本初等函数的导数公式、导数的四则运算法则及复合函数的求导法则,掌握反函数与隐函数求导法以及对数求导法. 3)了解高阶导数的概念,会求简单函数的高阶导数. 4)了解微分的概念,导数与微分之间的关系,以及一阶微分形式的不变性,会求函数的微分. 5)理解罗尔(Rolle)定理、拉格朗日( Lagrange)中值定理、了解柯西(Cauchy)中值定理,掌握这三个定理的简单应用. 6)会用洛必达法则求极限. 7)掌握函数单调性的判别方法,了解函数极值的概念,掌握函数极值、最大值和最小值的求法及其应用. 8)会用导数判断函数图形的凹凸性,会求函数图形的拐点和渐近线. 9)会描述简单函数的图形. 第三篇 一元函数的积分学1、考核内容 定积分的概念和基本性质,原函数与不定积分的概念和基本性质,不定积分的基本计算方法,换元积分法和分部积分法.牛顿--莱布尼茨公式,定积分的换元积分法和分部积分法.利用定积分计算简单的平面图形的面积和旋转体的体积.2、考核要求 1)理解原函数与不定积分的概念,掌握不定积分的基本性质和基本积分公式,掌握计算不定积分的换元积分法和分部积分法. 2)了解定积分的概念和基本性质,了解定积分中值定理,理解积分上限的函数并会求它的导数,掌握牛顿一莱布尼茨公式,以及定积分的换元积分法和分部积分法. 3)会利用定积分计算平面图形的面积和旋转体的体积及函数的平均值,会利用定积分求解简单的经济应用问题. 4)了解广义积分的概念,会计算广义积分. 第四篇 常微分方程1、考核内容 常微分方程的基本概念 变量可分离的微分方程 齐次微分方程 一阶线性微分方程 微分方程的简单应用2、考核要求 1)了解微分方程及其阶、解、通解、初始条件和特解等概念. 2)掌握变量可分离的微分方程、齐次微分方程和一阶线性微分方程的求解方法. 3)会应用微分方程求解简单的经济应用问题. 第五篇 线性代数1、考核内容 二阶和三阶行列式的概念和基本性质 矩阵的概念 矩阵的线性运算 乘法运算 方阵的行列式 逆矩阵,矩阵可逆的条件 逆矩阵.线性方程组的矩阵表示,有解和无解概念以及判定方法 克莱姆法则 齐次线性方程组的基础解系和通解的求法 非齐次线性方程解法.2、考核要求 1)会应用行列式的定义和性质计算行列式. 2)理解矩阵的概念,知道单位矩阵、对角矩阵,伴随矩阵,可逆矩阵,转置矩阵.矩阵的线性运算、乘法运算,方阵的行列式.逆矩阵,矩阵可逆的条件,会求逆矩阵 3)会用克莱姆法则解三元线性方程组.齐次线性方程组的基础解系和通解的求法. 4)掌握非齐次线性方程解法.(三)、命题要求与覆盖面 1、命题内容要求:以一学期教学的全部内容和与本课程有关的理论知识,技能和科研成果,并要体现素质教育的要求,对那些指定阅读的书目中相关的考核内容以教材为主。
《高等数学》课程标准第一部分课程概述一、课程性质和作用高等数学是高职高专各专业重要的基础课程,其教学内容与后继专业课教学内容有着紧密的联系,它影响到学生后继专业课程的学习,影响到学生专业素质的提高。
它具有综合性高、逻辑性强和应用性广等特点,对于理解专业知识、培养思维能力有着十分重要的意义,是学生全面发展和终身发展的基础。
通过本课程的教学,首先让学生掌握高等数学的基本理论、技巧和思想方法,为后设专业课程提供必要的数学基础知识和科学的思想方法。
其次,逐步培养了学生具有一定的抽象概括问题能力,一定的逻辑推理能力,比较熟练的运算能力,综合分析并解决实际问题的能力等。
最后还充分调动学生已有的数学知识为专业目标服务,培养学生运用数学知识分析处理实际专业问题的数学应用能力和综合素质,以满足后继专业课程对数学知识需要,培养出能够满足工作需要的,具有良好综合素质的应用型人才。
二、课程基本理念高等数学作为高职高专各专业公共基础课,在课程设计中,我们对照教育部最新制定的《高职高专教育高等数学课程教学基本要求》,致力于实现高职高专院校的培养目标,着眼于学生的整体素质的提高,促进学生全面、持续、和谐发展。
课程内容不仅反映出专业的需要、数学学科的特征,同时符合学生的认知规律;不仅包括数学的结论,而且包括数学结论的形成过程和数学思想方法。
同时,课程设计努力满足学生对未来的学习、工作和生活的需要,使学生通过本课程的学习,在抽象思维、推理能力、应用意识、情感、态度与价值观等诸多方面均有大的发展。
三、课程标准设计思路及依据(一)教学内容《标准》安排了《一元函数微积分》的基本内容。
课程内容的学习,强调学生的数学学习活动,发展学生的应用意识。
(二)目标根据教育部制定的《高职高专教育高等数学课程基本要求》和《高职高专教育人才培养目标及规格》,《标准》明确了高等数学课程的总目标,其子目标从知识、能力、情感等三个方面作出了进一步阐述。
(三)实施建议《标准》针对教学、评价、教材编写、教案编写、课程资源的利用与开发提出了建议,以保证《标准》的顺利实施。
高等数学(下)例题《高等数学》教学大纲一、课程目标1、课程性质《高等数学》是工科各专业的核心课程。
在工程、化学、物理、机械、经济等专业的众多课程都需要以数学为基础,因此,掌握《高等数学》的有关知识,把握微积分的基本思想和基本方法,对顺利完成后继课程的学习是非常必要的。
本课程也是培养学生获取知识能力、应用知识能力及创新能力,提高学生抽象能力、逻辑思维能力与数学素质的一个重要的教学环节。
2、教学方法以课堂讲授为主,习题课及课堂练习为辅。
应用多媒体辅助教学。
3、课程学习目标和基本要求(1)通过学习学生要掌握微积分的基本思想和基本方法,掌握数列的极限、函数的极限与连续,一元函数的微分学,一元函数的不定积分与定积分的计算。
线性微分方程的解法。
向量代数、直线、平面、及空间曲线与曲面方程。
多元函数的连续与极限,偏导数及微分,复合函数的求导法则,隐函数的求导公式。
重积分、曲线积分与曲面积分的计算。
幂级数与傅里叶级数。
(2)通过学习,培养学生具有抽象思维、逻辑推理的理性思维能力,综合运用所学的数学知识分析问题、解决问题的能力,为学习后继课程奠定必要的数学基础。
4、课程学时:180学时5、课程学分:10学分6、课程类型:必修课7、先修课程:初等数学8、考试(考核)方式:考试9、适用专业:全院理工类各专业二、课程结构1、极限与连续(20学时)知识点:极限,两个重要极限,无穷小的比较,连续性与间断点,闭区间上连续函数的最大(小)值定理与介值定理,函数的概念与复合函数。
无穷大与无穷小,极限的运算,初等函数,映射,基本初等函数,初等函数。
重点:数列极限与函数极限的概念,极限存在准则与两个重要极限,无穷小的比较,函数连续性与间断点,闭区间上连续函数的最大(小)值定理与介值定理,函数的概念与复合函数。
难点:极限存在准则,闭区间上连续函数的性质。
2、一元函数微分学(24学时)知识点:导数的定义,相关变化率,复合函数求导,隐函数、参数方程求导,相关变化率,函数微分,拉格朗日中值定理,罗必塔法则,函数单调性与凹凸判定法,函数极值与最值问题。
非线性连续系统Lyapunov第二方法稳定性分析目录1、前言 (7)1.1发展状况 (7)1.2 Lyapunov稳定性实际应用 (7)1.3 Lyapunov应用研究现状 (9)1.4 Lyapunov关于稳定性定义 (10)1.5 Lyapunov第一方法 (11)2 、非线性连续系统Lyapunov第二方法稳定性分析 (13)2.1 引言 (13)2.2 问题描述 (13)2.3 Lyapunov第二方法直观解释 (13)2.4 标量函数的符号性质 (14)2.5 Lyapunov第二方法相关定理 (14)2.6非线性连续系统Lyapunov第二方法稳定性分析 (16)3、仿真示例 (20)4、总结与展望 (23)致谢 (24)参考文献 (25)摘要对非线性系统和时变系统,状态方程的求解常常是很困难的,因此Lyapunov第二方法就显示出很大的优越性。
Lyapunov第二方法可用于任意阶的系统,运用这一方法可以不必求解系统状态方程而直接判定稳定性。
Lyapunov第二方法的局限性在于,运用时需要系统的稳定性问题。
现在,随着计算机技术的发展,借助数字计算机不仅可以找到所需要的Lyapunov函数,而且还能确定系统的稳定区域。
本文主要通过分析李雅普诺夫当前发展状况和在实际中的应用,进而研究非线性连续系统Lyapunov第二方法的稳定性分析。
关键字:非线性连续系统 Lyapunov第二方法稳定性AbstractDirectly determine the stability of system state equation. The limitations of lyapunov second method is that the need when using the stability of the system problem. Now, with the development of computer technology, with the aid of a digital computer can find not only the need of lyapunov function, but also can determine the stability regions of the system. In this paper, by analyzing the lyapunov's current development status and application in the actual, and study the nonlinear stability analysis of continuous system lyapunov second method.Keywords:Stability of nonlinear; continuous system; Lyapunov second method1 前言(Introduction)1.1 Lyapunov发展状况Lyapunov稳定性理论能同时适用于分析定常系统和时变系统的稳定性、线性系统和非线性系统、,是更为一般的稳定性分析方法。
119. 函数的稳定性如何分析?119、函数的稳定性如何分析?在数学的广袤领域中,函数是一个极其重要的概念。
而对于函数的研究,其稳定性是一个关键的方面。
那么,究竟如何去分析函数的稳定性呢?要理解函数的稳定性,首先得明确什么是稳定性。
简单来说,函数的稳定性就是指函数在受到一定的“干扰”或“变化”时,其性质是否能够保持相对的不变或者在一定的范围内波动。
让我们从函数的定义说起。
函数通常被描述为一种输入和输出之间的关系。
给定一个输入值,通过函数的规则,就能够确定唯一的输出值。
然而,当输入值发生微小的变化时,输出值的变化情况就与函数的稳定性密切相关。
一种常见的分析函数稳定性的方法是通过极限的概念。
当自变量趋近于某个特定的值时,如果函数的极限存在,那么这在一定程度上反映了函数在该点附近的稳定性。
例如,对于连续函数,其在某一点的极限值等于该点的函数值,这就表明函数在该点附近是相对稳定的。
导数也是分析函数稳定性的有力工具。
函数的导数反映了函数的变化率。
如果函数在某个区间内的导数始终为正,那么函数在该区间上是单调递增的;反之,如果导数始终为负,则函数单调递减。
而当导数的值接近于零的时候,函数的变化相对平缓,稳定性相对较高。
以简单的一次函数 y = mx + b 为例,如果 m > 0,函数单调递增;m < 0,函数单调递减。
m 的绝对值越大,函数的变化越剧烈,稳定性相对较差;m 的绝对值越小,函数的变化越平缓,稳定性相对较好。
对于二次函数 y = ax²+ bx + c ,其导数为 y' = 2ax + b 。
当 a >0 时,函数图像开口向上,在对称轴左侧单调递减,右侧单调递增;当a < 0 时,函数图像开口向下,在对称轴左侧单调递增,右侧单调递减。
再来看更复杂一些的函数,比如指数函数和对数函数。
指数函数 y= a^x (a > 0 且a ≠ 1),当 a > 1 时,函数单调递增,增长速度越来越快;当 0 < a < 1 时,函数单调递减,衰减速度越来越慢。
后继函数与极限环的稳定性后继函数与极限环的稳定性1 Poineare 映射与后继函数设平面系统()(),,,k dxP x y dtP Q C dy Q x y dt⎧=⎪⎪∈⎨⎪=⎪⎩(1)k 为足够大的正数,并设Γ是系统(1)的一条闭轨线,其方程为()(),x x t y y t ==()x t 与()y t 是周期为T 的函数.在Γ上任意一点0P 作Γ的外法向量,在Γ的足够小的邻域(),δΓU 内的法线短设为AB ,选取AB 上任意一点0Q ,B 并设从0P 到0Q 的有限距离为0n ,由解对初值的连续依赖性可知,从0Q 出发的轨线环绕闭轨一周后,必将再次与法线短AB 相交于1Q 点。
记0P 与1Q 的有向距离为n ,于是n 将是0n 的函数,并记为()0n n n =,如图(1)所示。
A图1定义1 称1Q 为0Q 的后继点; ()0n n 为后继函数,有时也称()()00N n n n n =-为后继函数。
当后继函数()00N n =时,即()0n n n =表示过0Q 点的轨线是一条闭轨线。
通过对后继函数的几何理解,很容易得出下列有关极限环稳定性的重要结论若对法线段AB 上任意一点均有()000n N n >或()'00N >,则Γ为不稳定的极限环;若()000n N n <或()'00N <,则Γ为稳定的极限环;若()()0000N n n <≠,则Γ为外稳定而内不稳定的半稳定极限环; 若()()0000N n n >≠,则Γ为外不稳定而内稳定的半稳定极限环; 若()00N n ≡,则Γ为周期环。
根据后继函数()0N n 的零点个数,可以定义极限环的重数 定义2 若()()()()'k-1000=0,00k N N N N ===≠L则称Γ为k 重极限环。
特别地,1k =称Γ为单重极限环或简单极限环。
显然这里的k 重极限环对应于后继函数的k 重根。
通过后继函数()0N n 在零点泰勒展开很容易的到这个结论。
2 曲线坐标与极限环的稳定性设有系统(1)的闭轨线Γ,逆时针方向,其房程为()(),x f t y g t ==f 与g 均为周期为T 的周期函数. 在Γ的足够小的邻域(),δΓU 内,建立曲线坐标如下图2,(),Q δ∀∈ΓU ,过Q 点作Γ的法线与Γ相交于P 点。
取法线方向向外为正。
在Γ任意固定一点0P 作为度量弧长的起点,顺时针方向为正,并记弧长»0PP s =,法线上的有向距离PQ n =。
于是()U ,δΓ内的点Q 与数组(),s n 构成一一对应的关系,称(),s n 为Q 点的曲线坐标。
图2设Q 点的直角坐标为(),x y ,曲线坐标为(),s n ,Γ以弧长s 为参数的参数方程为()(),0x s y s s l ϕψ==≤≤,其中l 为Γ的弧长,从而P 点的直角坐标为()()(),s s ϕψ. Γ 在P 点的单位法向量为()()()0'',n s s ψϕ=-,于是()()()'',PQ n s s ψϕ=-u u u r又由于OQ OP PQ =+u u u r u u u r u u u r所以可以得到直角坐标与曲线坐标的关系()()()()''0x s n s s l y s n s ϕψψϕ⎧=-⎪≤≤⎨=+⎪⎩ (2)从而可以利用公式(2)把给定的直角坐标下的坐标(),x y 转化为曲线坐标下的坐标(),s n ,得到()()'''''''',Q P n P Q dn F s n ds P Q ϕψϕψϕψ--+==+ (3)显然极限环Γ对应于它的零解0n =,并将上式分离出线性项得()()',0dnF s n o n ds=+其中()()()()2'''2200000000'32220,0y y x xn P Q P Q P Q Q P F s H x PQ--+=+@(4)所以方程(3)的一次近似方程为()dnH s n ds= (5)方程(5)满足初始条件()00n n =的解为()()00exps n n H u du =⎰从而对极限环的稳定性,有如下定理定理1 当()00sH s ds <⎰时极限环Γ是稳定的;当()00s H s ds >⎰时,极限环Γ是不稳定的,其中l 是极限环Γ的弧长.证 对Γ足够小邻域内的任意一点0n ,考虑后继函数()()()()()()00000exp1l N n n n n n H s ds o n =-=-+⎰显然,当()()000l H s ds <>⎰时,有()()0000n N n <>,从而Γ是稳定(不稳定)极限环。
对于定理1,里面表达式是在曲线坐标下的,用起来不方便,现在把它转化为直角坐标下的表达式,有如下定理定理2 若沿着系统(1)的极限环Γ有()000TP Q dt x y∂∂+<>∂∂⎰则Γ的极限环是稳定(不稳定),其中T 是极限环Γ的周期证明过程利用曲线坐标与直角坐标的关系就可以直接得到定理中的两式子是相等.定义3 沿系统(1)闭轨线Γ的下述表达式001T P Qh dt T x y∂∂+∂∂⎰@称为Γ的特征值数,其中T 是极限环Γ的周期显然,当()000h <>时,极限环Γ的稳定(不稳定)。
由以上讨论容易看出,Γ是单重极限环的充要条件是其特征值数00h ≠,事实上,由单重极限环的定义可知()'00,N ≠其中()()000N n n n n =-从而()()()()()()()'0000000000limlim 1lim exp 1exp 1x x l x N n N n n N n n o n H s ds n Th →∞→∞→∞⎡⎤-=-⎢⎥⎣⎦⎡⎤=-+⎢⎥⎣⎦=-⎰由此可知,上式充要条件成立。
通过上述定理2和定义3,都可以来用判断极限环的稳定性,但是由于极限环的方程一般来说很难求得,因此用上述定理判断极限环稳定性或求解极限环的特征值数,是很困难的。
当然,有些时候,可以利用给定的微分方程组通过估计的方法来确定极限环特征值数的符号,由此便可以判断极限环的稳定性。
不及如此有时还能用来确定极限环的唯一性和不存在性。
例如,如果求得一个系统仅有一个奇点,而且还能估计出系统若存在一个Γ极限环,则极限环的特征值数00h <,即极限环必稳定。
同时,也说明了此系统仅含有一个极限环,若还存在其他的极限环,不妨设为Γ,则Γ靠近Γ的一侧必不稳定,从而与特征值数00h <矛盾。
如果还能证明这个唯一的奇点是稳定的,离它最近的极限环必然是不稳定的,也与特征值数00h <矛盾,这就说明了极限环的不存在性。
下面的例题也可以说明这一情况。
例1 证明如下系统在全平面存在唯一的闭轨线Γ,并且它是双曲的稳定极限环,单位圆周位于Γ所围区域。
()()333,23,2dx x y x P x y dt dy x y y Q x y dt⎧=--⎪⎪⎨⎪=+-⎪⎩@@(6)证 显然此系统有唯一的奇点()0,0,并且是不稳定的焦点. 取Liapunov 函数()()221,2V x y x y =+ ,则其全导数为 ()()()()224422222233=222dV x y x y x y x y x y dt ⎡⎤+-+=+-++⎢⎥⎣⎦(6) 当221x y +≤时,()60dVdt>,因此由Poincare 切性曲线法定理知系统在221x y +≤内无闭轨线,并且任何闭轨与单位圆周不相交。
若不然,假设存在一个闭轨°Γ与单位圆周C 相交,如图(3)所示由于选取的V 函数的全导数在单位圆周上的全导数大于零,所以系统轨线通过圆周的方向都应该是指向圆周外侧的,所以从上图可以看出,其闭轨Γ的轨线方向与圆周上轨线的方向矛盾,所以轨线与园周边不想交. 另一方面,引入极坐标cos ,sin x r y r θθ== ,则()()222442=32cos sin 322dV r r r r dt θθ⎡⎤-+≤-⎣⎦(6) 这里是因为()2442211cos sin 12sin cos 1sin 222θθθθθ+=-=-≥。
所以当223x y ε+≥+时,()60dVdt<,其中0ε>。
由环域定理知,系统在环域2213x y ε<+<+至少存在一个闭轨线Γ,显然它是环绕单位圆周的。
下面来说明它也是系统唯一的闭轨,并且是双曲稳定的极限环。
事实上,由()22310P Q x y x y ΓΓ∂∂⎡⎤+=-+<⎣⎦∂∂这里是因为在Γ上,有221x y+>。
有上述的定义(3)可知特征值数00h<,显然闭轨线Γ是双曲的稳定极限环. 有注意到系统有唯一的不稳定奇点,如果系统还存在另外的闭轨线,这条闭轨也围绕单位圆周,又由于其特征值数小于零,可知这条闭轨线也是稳定的,从而与我们上述分析的矛盾,所以此系统仅存在唯一的闭轨线Γ.所以说,虽然求解一个闭轨的特征指数需要知道其闭轨的方程,但有些时候,我们仅仅利用原系统的性质就可判断出特征值数在某一区域的符号,这对我们来判断极限环的唯一性,存在性,稳定性带来了很大的便捷。
而且有些时候,还可以判断奇点的全局稳定性. 就像例1,我们首先判断出了系统仅有唯一的一个奇点,而且是不稳定的,所以才有下述的结论,倘若我们计算出来的是系统仅有唯一的一个奇点,而且这个奇点是稳定的,还可以证明其特征值数是小于零的,也就是如果系统存在极限环,则一定是稳定的,从而与奇点稳定产生矛盾,进而说明系统不存在极限环,所以这个奇点是全局稳定的.。