非线性微分方程和稳定性
- 格式:doc
- 大小:259.50 KB
- 文档页数:6
微分方程中的稳定性与周期解微分方程是数学中的重要概念,用于描述许多自然界和科学问题中的变化与变化率。
在微分方程的解空间中,稳定性与周期解是两个关键概念。
本文将讨论微分方程中的稳定性与周期解,并探讨它们在不同类型微分方程中的应用。
一、稳定性稳定性是指微分方程解中的一个重要特性,它描述了系统在扰动(如初始条件的微小变化)下的行为。
稳定性分为两种类型:有界稳定和渐近稳定。
1. 有界稳定有界稳定是指当系统受到扰动时,解的变化被限制在一个有界的范围内。
换句话说,无论初始条件如何变化,解都在一定范围内波动。
这种稳定性在许多实际问题中非常重要,例如电路中的振荡器系统。
2. 渐近稳定渐近稳定是指当系统受到扰动时,解最终趋于一个稳定的平衡状态。
也就是说,随着时间的推移,解会逐渐接近一个固定的值。
这种稳定性可以帮助我们理解许多自然现象,如天体力学中的行星轨道。
二、周期解周期解是指在一定时间间隔内重复出现的解。
周期解在许多周期性现象中都有应用,例如振动系统和生物节律等。
对于一个周期解,我们需要确定它的周期和振幅。
1. 周期周期是指解重复出现的时间间隔。
在微分方程中,我们可以通过分析解的特征来确定周期。
例如,对于振动系统的微分方程,周期解对应于解的正弦或余弦波动。
2. 振幅振幅是指解在周期内变化的幅度。
在微分方程中,振幅可以通过解的极大值与极小值之间的差值来确定。
振动系统中的振幅通常与初始条件有关。
三、应用稳定性与周期解在许多科学和工程领域中都有重要的应用。
下面将介绍在不同类型微分方程中的具体应用。
1. 非线性方程非线性方程的解通常较为复杂,稳定性和周期解的分析对于理解系统行为非常重要。
例如,Lotka-Volterra方程是用于描述捕食和被捕食物种之间关系的非线性方程,通过分析方程的周期解,我们可以预测种群数量的周期性波动。
2. 线性方程线性方程的解相对较简单,但稳定性分析仍然重要。
例如,热传导方程是描述热量传输的线性方程,在稳定性分析中,我们可以确定热传导系统是否会达到热平衡状态。
非线性微分方程的稳定性和相图非线性微分方程的稳定性与相图是研究非线性微分方程的关键问题。
非线性微分方程具有很强的复杂性和多样性,其解的行为可能十分复杂,我们需要通过一些稳定性和相图的方法,来研究其性态,从而揭示方程的性质和行为。
一、非线性微分方程的稳定性稳定性是指解相对于一定条件的微弱变化是否保持不变。
在非线性微分方程中,稳定性主要包括两个方面:渐进稳定性和渐进周期性。
1. 渐进稳定性在一般情况下,我们关注的是非线性微分方程的渐进稳态解。
渐进稳定性是指对于一定的初值条件,当时间趋于无穷大时,解趋向于一个稳定的状态。
这里的“稳定状态”是指,无论初值条件的微小扰动都会被抑制。
具体来讲,假设有一个非线性微分方程:$ \frac{d^2y}{dt^2} +f(y) = 0 $,其中 $f(y)$ 是关于 $y$ 的非线性函数。
我们可以通过线性化的方法,将$f(y)$ 在一个平衡点$y_0$ 处展开成泰勒级数:$ f(y) = f(y_0) + f'(y_0)(y-y_0) + \frac{1}{2}f''(y_0)(y-y_0)^2 + \dots $。
这个展开式类似于 $y-y_0$ 的二阶微分方程,因此我们可以得到一个线性化的微分方程:$ \frac{d^2 (y-y_0)}{dt^2} + f'(y_0)(y-y_0) = 0 $,这是一个二阶常系数线性微分方程。
我们知道,关于一个线性微分方程,其解形式是可以解析地求出的。
因此,通过求解线性化的微分方程,可以得到原非线性微分方程的“近似解”,即在 $y_0$ 处的一阶梯度和二阶曲率信息。
这个信息可以告诉我们,当 $y$ 离开 $y_0$ 越远,$y$ 的变化越剧烈,即非线性力会越来越大,从而影响解的行为。
对于渐进稳定性,我们需要考虑两点:平衡点的存在及其稳定性。
具体来说:(1)平衡点的存在:如果 $f(y)$ 对于某个 $y_0$ 满足 $f(y_0)= 0$,那么 $y(t) = y_0$ 是原非线性微分方程的一个平衡解。
微分方程的稳定性与全局解的存在性微分方程是数学中的重要概念,广泛应用于物理学、工程学、经济学等领域。
对于微分方程的研究,稳定性与全局解的存在性是两个重要的问题。
本文将针对微分方程的稳定性与全局解的存在性展开讨论,并探讨它们在应用中的意义。
一、稳定性分析稳定性是指微分方程解的行为在微小扰动下是否保持不变。
对于一阶线性微分方程,稳定性可通过特征值的符号来判断。
具体而言,若特征值的实部均小于零,则系统稳定;若存在大于零的实部特征值,则系统不稳定。
对于高阶非线性微分方程,稳定性的分析相对复杂。
一种常用方法是通过线性化系统来研究非线性系统的稳定性。
线性化系统是在非线性系统的稳定点附近对非线性系统进行线性逼近得到的系统。
通过分析线性化系统的特征值,可以判断非线性系统的局部稳定性。
二、全局解的存在性全局解是指微分方程在整个定义域上存在且唯一的解。
对于一阶线性微分方程,全局解的存在性一般能得到保证。
而对于非线性微分方程,全局解的存在性则需要满足一定的条件。
全局解的存在性与定理有关。
例如,一个常用的定理是皮卡-里普丝定理(Picard-Lindelöf Theorem),该定理保证了一阶常微分方程在给定条件下存在唯一的全局解。
另外,拉格朗日平均值定理(MeanValue Theorem)也是分析全局解存在性的有用工具。
除了定理,数值方法也可以用来求解微分方程的全局解。
例如,常用的欧拉方法、龙格-库塔方法等数值方法能够逼近微分方程的全局解。
这些数值方法在实际应用中具有重要意义,特别是对于复杂的非线性微分方程。
三、稳定性与全局解的应用意义微分方程的稳定性和全局解的存在性在科学与工程中具有广泛的应用价值。
以下列举几个具体的应用领域:1. 物理学:微分方程广泛应用于物理学中的运动学、电磁学、热力学等领域。
通过稳定性分析和全局解的存在性可以确定物理系统的稳定性和行为。
2. 工程学:微分方程被应用于工程学中的控制系统、信号处理、电路等领域。
微分方程稳定性微分方程是描述自然界或社会现象数学模型的重要工具,在许多领域都得到了广泛应用。
稳定性是微分方程中一个重要的性质,它决定了系统的长期行为。
本文将从微分方程的稳定性入手,探讨其原理及应用。
稳定性概述在微分方程中,稳定性描述了系统在扰动下的表现。
一个系统若具有稳定性,即在初始条件稍微改变时系统也不会产生很大的变化,保持在某种稳定的状态。
相反,若系统不稳定,则初始条件的微小变化可能引起系统行为的剧烈变化。
线性系统的稳定性对于线性微分方程,我们可以通过线性稳定性定理来判断系统的稳定性。
简言之,线性系统的稳定性与其特征根的实部有关。
如果所有特征根的实部都小于零,则系统是稳定的;如果存在实部大于零的特征根,则系统是不稳定的。
非线性系统的稳定性相比线性系统,非线性系统的稳定性分析更加复杂。
通常我们需要通过 Lyapunov 函数、相平面分析等方法来研究非线性系统的稳定性。
Lyapunov 函数是一种标量函数,通过分析 Lyapunov 函数的正负号可以确定系统的渐近稳定性、不稳定性或者随机稳定性。
应用案例分析举一个简单的应用案例,考虑如下的非线性微分方程:$$\frac{dx}{dt} = -x^3$$可以通过 Lyapunov 函数的方法来判断系统的稳定性。
定义Lyapunov 函数为 $V(x) = \frac{1}{2}x^2$,对 $V(x)$ 求导得:$$\dot{V}(x) = x \dot{x} = -x^4$$当 $x \neq 0$ 时,有 $\dot{V}(x) < 0$,因此系统是渐近稳定的。
这个简单的例子展示了Lyapunov 函数在非线性系统稳定性分析中的应用。
结论微分方程的稳定性是微分方程理论中的一个核心问题,它关乎系统的长期行为和稳定性。
通过线性稳定性定理和 Lyapunov 函数等方法,我们可以判断系统的稳定性,并进一步研究系统的动力学特性。
在实际应用中,对微分方程稳定性的研究有助于我们更好地理解系统的演化规律,为问题的求解提供重要参考。
非线性微分方程解的稳定性非线性微分方程解的稳定性是数学物理等多个学科面对微分方程解时所要考虑的重要问题。
一、非线性微分方程解的稳定性1. 含有稳定性的概念非线性微分方程求解的稳定性是指改变求解方法或迭代步长时,得到的求解结果的差异是限定的范围,从而确定所使用的解法或迭代过程的可靠性。
2. 非线性微分方程求解的稳定性判断求解非线性微分方程的稳定性主要判断其所使用的解法的收敛性以及使用的迭代步长的可靠性。
二、影响非线性微分方程解稳定性的因素1. 微分方程本身特征由于求解非线性微分方程的过程是多参数的复杂迭代运算,它本身的复杂性也影响了求解的稳定性。
如方程的阶数较高、参数较多等,它们会加大求解过程的难度,影响对结果的准确性及稳定性。
2. 求解方法的限制由于当下的求解方法还不能充分支撑求解非线性微分方程解过程,因而会造成求解结果的不稳定性。
3. 天气因素除了方程本身及求解方法等原因之外,天气因素也会直接影响非线性微分方程求解的稳定性,对天气变化的相关参数实时的监测和分析,及时调整迭代过程的参数设置,也是影响求解稳定性的一个重要因素。
三、维持非线性微分方程解稳定性1. 加强数值分析求解非线性微分方程时可以使用更加先进、准确的数值分析技术,分析问题的不确定性等,进行参数预估,从而可以稳定微分方程求解的结果。
2. 针对性修改求解方法多种求解方法可以在一定程度上修正或调节求解结果的不稳定性,以及减轻重要的误差,从而避免非线性微分方程求解的稳定性出现明显的变化。
3. 建立状态变化分析模型根据各参数的变化和影响,建立状态变化分析模型,可以更好地把握系统的运行情况变化,从而保证非线性微分方程解的稳定性。
四、总结微分方程求解的稳定性是指求解结果随参数变化或求解方法变化的差异,其稳定性的确定及提高是面对此类问题必须认真考虑的,应通过加强数值分析,针对性修改求解方法,建立状态变化分析模型等多种方法,以确保非线性微分方程求解的稳定性及准确性。
几类非线性时滞微分方程解的稳定性和有界性研究开题报告一、研究背景和意义时滞微分方程是非线性动力系统中重要的研究对象之一。
时滞是一种常见的物理现象,例如化学反应、电路滞后、物理学中的传播过程等都具有时滞特性。
时滞微分方程的研究不仅有助于我们理解复杂动力系统的行为,而且在控制工程、物理学、生物学等方面也有广泛的应用。
现有的对非线性时滞微分方程解的稳定性和有界性的研究工作主要集中在以下几个方面:1. 基于Lyapunov方法的稳定性研究。
利用Lyapunov函数来判断系统解的稳定性,这种方法常用于研究非线性时滞微分方程的稳定性。
2. 基于Laplace变换的稳定性研究。
利用Laplace变换将时域微分方程转换为复平面的代数方程,可通过求解代数方程的根来判断系统的稳定性。
3. 基于两参数扰动法的稳定性研究。
利用误差函数扰动原解,通过求解新的微分方程来分析解的稳定性。
4. 基于数值模拟的稳定性研究。
通过数值模拟求解微分方程,分析解的稳定性和有界性。
虽然已经有了很多关于非线性时滞微分方程解的稳定性和有界性的研究成果,但是这些方法在一些复杂的系统中难以应用,而且精度有限。
因此,我们需要探索新的研究方法来更好地分析非线性时滞微分方程解的稳定性和有界性。
二、研究目标和内容本课题旨在研究非线性时滞微分方程解的稳定性和有界性。
主要目标是在已有的理论基础上,探索新的分析方法来更深入地研究非线性时滞微分方程解的稳定性和有界性。
具体内容包括:1. 探讨非线性时滞微分方程解的稳定性和有界性的理论基础,分析各种方法的优缺点。
2. 阐述新的分析方法的原理和具体实现方法,并进行数学证明。
3. 针对某些具体的非线性时滞微分方程,进行稳定性和有界性分析,并得出相应的结论。
三、研究方法和步骤本论文将采用总结分析、数学证明、计算机模拟等方法来达到研究目的。
具体步骤如下:1. 搜集并综合各种相关文献、资料,总结归纳各种非线性时滞微分方程解的稳定性和有界性研究方法。
微分方程模型求解及稳定性分析微分方程模型、求解及稳定性分析是数学中的重要内容。
微分方程是描述自然界中各种变化规律的数学工具,广泛应用于物理、化学、生物等领域。
求解微分方程可以通过解析方法、数值方法等途径得到方程的解析解或数值解。
稳定性分析是对微分方程解的性质进行研究,确定系统的稳定性和不稳定性。
求解微分方程是求出微分方程的解析解或数值解的过程。
对于一些简单的微分方程,可以通过直接积分或分离变量等方法进行求解。
对于复杂的微分方程,可以使用级数展开、变量代换等方法进行求解。
在现代数学中,还发展了许多数值方法,如Euler法、Runge-Kutta法等,可以通过计算机编程实现对微分方程的数值求解。
稳定性分析是对微分方程解的性质进行研究,确定系统的稳定性和不稳定性。
稳定性分析常常涉及到研究微分方程解的局部性质和全局性质。
对于线性微分方程,可以通过线性稳定性理论来研究解的稳定性。
对于非线性微分方程,可以通过Lyapunov稳定性理论、中心流形理论等方法进行研究。
稳定性分析的目标是确定微分方程解的长期行为。
对于线性微分方程,如果解在初始条件微扰下不发散或收敛到稳定值,那么解是稳定的。
对于非线性微分方程,稳定性分析的难度要大于线性情况,常常需要利用数值计算和图形分析方法来研究解的稳定性。
在数学中,微分方程模型、求解及稳定性分析是一个相互关联的过程。
通过建立微分方程模型、求解微分方程以及确定解的稳定性,可以揭示物理、化学、生物等实际问题的规律和性质。
同时,求解微分方程和稳定性分析的方法和技巧也是数学研究中的重要内容,为数学家研究更一般的微分方程和非线性动力系统提供了基础。
总之,微分方程模型、求解及稳定性分析是数学中的重要内容。
通过建立微分方程模型、求解微分方程和确定解的稳定性,可以揭示实际问题的规律和性质。
求解微分方程和稳定性分析的方法和技巧也是数学研究中的重要内容,为数学家研究更一般的微分方程和非线性动力系统提供了基础。
二阶非线性微分方程的稳定性:一阶非线性微分方程的稳定性是指该方程在特定条件及其解的未来行为,尤其是其稳定性(也称为收敛性)方面的性质,这种性质也称之为稳定性。
二阶非线性微分方程也有着这种稳定性,但由于它的非线性性质,其稳定性也不同于一阶方程。
首先要明确,什么是一阶微分方程?它是指函数y(t)的一个或多个关于时间t的副导数的函数。
这种方程最常见的情况是变量具有线性关系,这时,只要通过解方程就可以求解变量的值。
通常,解一阶微分方程的稳定性可以用来确定系统的未来状态,这与一阶微分方程有关。
了解了一阶微分方程,那么就可以讨论二阶微分方程的稳定性。
它也可以用来表示变量的线性关系,不过它包含一个变量的二阶导数,而不是一阶导数。
由于二阶导数的概念,二阶微分方程的非线性性质比一阶方程更为明显。
这意味着给定任何解,可以观察系统的稳定性的行为如何变化。
了解了二阶微分方程的非线性性质,我们将进一步讨论其稳定性。
根据本原定理,二阶微分方程的收敛性取决于其动力学特性,而动力学特性又受到变量的相互作用以及外部条件的影响。
比如,假设存在一个复杂的非线性系统,由于外部条件的不同,其变量的相互作用会导致该系统的动力学行为而发生变化,从而影响到系统的稳定性。
因此,可以得出结论,二阶非线性微分方程的稳定性取决于变量的相互作用和外部条件,这一结论也反映了非线性性质对二阶微分方程的影响。
两阶微分方程的收敛性可以通过分析变量的相互作用及其外部条件来确定或分析,以便实现系统的及时稳定。
综上,二阶微分方程的稳定性取决于变量的相互作用及其外部条件的影响,这使得系统的动力行为可以不断变化,影响到其未来的收敛稳定性。
因此,要想得出安全稳定的解,必须要精确到位地分析和研究变量的动力学行为。
第六章 非线性微分方程和稳定性6-1 对下列方程求出常数特解,并且画出方程经过()0,0x 的积分曲线的走向,从而判断各驻定解的稳定性;然后作变量替换,使非零驻定解对应于新的方程的零解。
1)+∞<<-∞>>+=02,0,0,x B A Bx Ax dtdx 2)()()0,310≥--=x x x x dtdx 解 1)方程可化为 )(x BA Bx dt dx +=,则其常数特解为B A x x -==21,0,即为驻定解。
由于方程为分离变量方程(或迫努利方程),当BA x x -≠≠,0时,分离变量得 Adt dxB A x x =⎪⎪⎪⎪⎭⎫ ⎝⎛+-11 方程的通解为At Ce BxA x =+ 利用初始条件()⎪⎭⎫ ⎝⎛-≠≠=B A x x x x 000,00,得 00Bx A x C +=,故得原方程满足初始条件的解为()0)(0≥⎪⎪⎭⎫ ⎝⎛++-=-t e B x A B At x At(1) 由式(1)和方程右端的表达式,得出当00>x 时,0>dt dx ,)(t x 递增, 又 B e B x A B B x A At →⎪⎪⎭⎫ ⎝⎛+->+-00,时,+∞→)(t x , 即)1ln(10+=→B x A A t t 时,+∞→)(t x 。
当 ⎪⎪⎩⎪⎪⎨⎧<-><+>-<>+<000,0000000 dt dx ,B A x , B x A dt dx ,B A x B x A x 时,有 ()+∞→-→t BA t x )( 所以解(1)的图像如图6-5所示。
图6-5从解的图像可以看出:解01=x 不稳定;解B A x -=2稳定。
利用变换BA x y +=,可将原方程化为 22)()(By Ay BA yB B A y A dt dy +-=-+-= 所以原方程的驻定解BA x -=2对应于方程 2By Ay dtdy +-= 的零解0=y 。
微分方程中的稳定性与动力系统微分方程是数学中的重要分支,广泛应用于自然科学、工程学以及社会科学等领域。
而微分方程的稳定性与动力系统是微分方程理论中的关键概念。
本文将重点讨论微分方程中的稳定性与动力系统,并探讨其在实际问题中的应用。
一、稳定性概述稳定性是指系统在一段时间内保持某种状态或行为的性质。
在微分方程中,稳定性研究的是系统解的长期行为。
简单来说,一个稳定的系统解表示在微小扰动下,系统仍能保持在原来的状态或趋于某种固定行为。
二、线性稳定性与非线性稳定性线性稳定性是指当微分方程为线性方程时,系统在某个点附近解的变化是否趋于稳定。
线性稳定性的判断可以通过特征方程的特征根来进行分析。
特征根的实部小于零,系统解趋于稳定;特征根的实部大于零,系统解趋于不稳定。
然而,非线性方程的稳定性分析更为复杂。
非线性稳定性的判断需要通过 Lyapunov 函数、Poincare-Bendixson 定理等方法来进行分析。
通过 Lyapunov 函数的符号变化,可以判断系统解在某个点附近是否稳定。
三、动力系统动力系统是稳定性研究的一个重要工具。
动力系统是通过将微分方程转化为一组一阶常微分方程来描述的。
这样可以将微分方程的解看作是在相空间中的轨迹,从而更好地理解系统的稳定性。
动力系统的平衡点是稳定性分析的重要参考点。
通过线性化动力系统在平衡点的矩阵,可以判断平衡点的稳定性。
若所有特征根的实部都小于零,则平衡点是稳定的。
四、应用举例微分方程中的稳定性与动力系统概念在实际问题中有着广泛的应用。
以生态学为例,人口增长模型可以用微分方程来描述。
探究系统解的稳定性,可以预测种群的动态变化趋势,为生态管理和保护提供科学依据。
此外,稳定性与动力系统的概念在控制工程中也有重要应用。
通过分析系统的稳定性,可以设计出稳定的控制系统,提高工程的安全性和可靠性。
五、总结微分方程中的稳定性与动力系统是微分方程理论中的重要内容。
稳定性的判断可以帮助我们了解系统解的长期行为,而动力系统的分析可以更直观地描述系统在相空间中的轨迹。
第六章 非线性微分方程和稳定性
在19世纪中叶,通过刘维尔的工作,人们已经知道绝大多数的微分方程不能用初等积分方法求解.这个结果对于微分方程理论的发展产生了极大影响,使微分方程的研究发生了一个转折.既然初等积分法有着不可克服的局限性,那么是否可以不求微分方程的解,而是从微分方程本身来推断其解的性质呢?定性理论和稳定性理论正是在这种背景下发展起来的.前者由法国数学家庞加莱(Poincar é,1854-1912)在19世纪80年代所创立,后者由俄国数学家李雅普罗夫(Liapunov,1857-1918)在同年代所创立.它们共同的特点就是在不求出方程的解的情况下,直接根据微分方程本身的结构和特点,来研究其解的性质.由于这种方法的有效性,近一百多年以来它们已经成为常微分方程发展的主流.本章对定性理论和稳定性理论的一些基本概念和基本方法作一简单介绍.
§6.1 引言
考虑微分方程
(,)d f t dt
=x
x (6.1)
其中函数(,)f t x 对n D R ∈⊆x 和t ∈(-∞,+∞)连续,对x 满足局部李普希兹条件. 设
方程(5.1)对初值(t 0,x 1)存在唯一解01(,,)x t t x ϕ=,而其它解记作00(,,)x x t t x =.现在的问题是:当01x x -很小时,差0001(,,)(,,)x t t x t t x ϕ-的变化是否也很小?本章向量1(,...,)T
n x x =x 的范数取1
221
()n
i
i x ==∑x .
如果所考虑的解的存在区间是有限闭区间,那么这是解对初值的连续依赖性,第2章的定理2.7已有结论.现在要考虑的是解的存在区间是无穷区间,那么解对初值不一定有连续依赖性(见下面的例3),这就产生了李雅普诺夫意义下的稳定性概念.
如果对于任意给定的0ε>和00t ≥都存在0(,)0t δδε=>,使得只要0x 满足
01δ-<x x
就有
0001(,,)(,,)t t t t ϕε-<x x x
对一切t ≥t 0成立,则称(6.1)的解01(,,)t t x ϕ=x 是稳定的.否则是不稳定的.
假设01(,,)t t ϕ=x x 是稳定的,而且存在11(0)δδδ<≤,使得只要0x 满足
011δ-<x x
就有
0001lim((,,)(,,))0t t t t t ϕ→∞
-=x x x
则称(6.1)的解01(,,)t t ϕ=x x 是渐近稳定的.
为了简化讨论,通常把解01(,,)t t ϕ=x x 的稳定性化成零解的稳定性问题.下面记00()(,,)t t t =x x x ,01()(,,)t t t ϕϕ=x 作如下变量代换.
令
()()y t t ϕ=-x (6.2) 则
d dt y =()()(,())(,())d t d t f t t f t t dt dt
ϕϕ-=-x x (,())(,())
(,)
d
f t t f t t F t ϕϕ=+-=y y
于是在变换(6.2)下,将方程(6.1)化成
(,)d F t dt
=y
y (6.3)
其中(,)(,())(,())F t f t t f t t ϕϕ=+-y y .这样关于(6.1)的解()t ϕ=x 的稳定性问题就化为(6.3)的零解y =O 的稳定性问题了.因此,我们可以在下文中只考虑(6.1)的零解x =O 的稳定性,即假设(,)f t O O ≡,并有如下定义:
定义6.1 若对任意0ε>和00t ≥,存在0(,)t δδε=,使当0δ<x 时有 00(,,)t t ε<x x (6.4)
对所有的0t t ≥成立,则称(6.1)的零解是稳定的.反之是不稳定的. 定义6.2 若(6.1)的零解是稳定的,且存在δ1>0, 使当01δ<x 时有
00lim (,,)0t t t →∞
=x x
则称(6.1)的零解是渐近稳定的.
例1 考察系统
⎪⎩⎪⎨⎧-==x dt
dy
y
dt dx
的零解的稳定性.
解 对于一切0t ≥,方程组满足初始条件
0(0)x x =,2200
0(0)(0)y y x y =+≠的解为 0000()cos sin ()sin cos x t x t y t
y t x t y t
=+⎧⎨
=-+⎩ 对任一0ε>,取δε=,则当12220
()x y δ+<时,有
112
2
2
22
2
00001
22200
[()()][(cos sin )(sin cos )]
()x t y t x t y t x t y t x y δε
+=++-+=+<=
故该系统的零解是稳定的.
然而,由于
1122
222
20
lim[()()]()0t x t y t x y →∞
+=+≠
所以该系统的零解不是渐近稳定的.
例2 考察系统
dx
x dt
dy y dt
⎧=-⎪⎪⎨
⎪=-⎪⎩ 的零解的稳定性.
解 在0t ≥上,取初值为00(0,,)x y 的解为:
00()()t
t
x t x e y t y e
--⎧=⎨=-⎩ 其中22
000x y +≠
对任一0ε>,取δε=,则当12220
()x y δ+<时,有
1122
22222
2
122200
[()()]()
()(0)
t t x t y t x e
y e
x y t δε--+=+≤+<=≥
故该系的零解是稳定的. 又因为
1122
22222
2
lim[()()]lim()0t t t t x t y t x e
y e --→∞
→∞
+=+=
可见该系统的零解是渐近稳定的.
例3 考察系统
dx
x dt
dy y dt
⎧=⎪⎪⎨⎪=⎪⎩ 的零解的稳定性.
解 方程组以00(0,,)x y 为初值的解为
00()()t
t
x t x e y t y e ⎧=⎨=⎩
(0)t ≥ 其中22
00x y +≠. 11
122
2222222
220
[()()]()()t t t x t y t x e y e x y e +=+=+
由于函数e t 随t 的递增而无限地增大. 因此,对于任意0ε>,不管12220
()
x y +取得怎样小,只要t 取得适当大时,就不能保证1
2
2
2
[()()]x t y t +小于预先给定的正数ε,所以该系统的零解是不稳的.
例4 考虑常系数线性微分方程组
dx
Ax dt
= (6.5)
其中n x R ∈,A 是n ×n 阵.证明,若A 的所有特征根都具严格负实部,则(6.3)的零解是渐近稳定的.
证明 不失一般性,我们取初始时刻00t =,设Φ(t )是(6.5)的标准基本解矩
阵,由第3章内容知满足0(0)x x =的解()x t 可写成
0()()x t t x =Φ (6.6)
由A 的所有特征根都具负实部知
lim ()0t t →∞
Φ= (
6.7)
于是知存在t 1>0,使t >t 1时()1t Φ<.从而对任意0ε>,取0δε=则当00x δ<时,由(6.6)有
00()()x t t x x ε≤Φ≤<, 1t t >
(6.8)
当t ∈[0,t 1]时, 由解对初值的连续相依性, 对上述0ε>,存在δ1 >0,当01x δ<时
()x t O ε-<, 1[0,]t t ∈
取01min{,}δδδ=,综合上面讨论知,当0x δ<时有
()x t ε<, [0,]t ∈+∞
即0x =是稳定的.
由(6.7)知对任意0x 有0lim ()0t t x →∞
Φ=,故0x =是渐近稳定的.。