应用数学方向，动力系统第三 非线性微分方程动力系统的简化.docVIP

第三章 非线性微分方程动力系统的简化 在非线性微分方程动力系统研究中，很自然地期望有一些有效的方法使原系统降阶或简化，井能保持原系统的动态特性。目前，现有的知识主要有中心流形、范式、奇异摄动及精确线性化等。本章将简要地叙述相关方面的基本内容 3.1中心流形 3.1.1中心流形的基本定理 本节考虑以下形式非线性微分方程系统 MACROBUTTON MTEditEquationSection2 Equation Section 3 SEQ MTEqn \r \h \* MERGEFORMAT SEQ MTSec \r 3 \h \* MERGEFORMAT MACROBUTTON MTPlaceRef \* MERGEFORMAT SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTSec \c \* Arabic \* MERGEFORMAT 3. SEQ MTEqn \c \* Arabic \* MERGEFORMAT 1) 其中，假定和是具有相应维数的常数矩阵，并且的所有特征值具有零实部，的所有特征值具有负实部。函数和关于其变元皆二阶连续可微，且；(注： 和是它们各自的雅可比矩阵)。 定义3.1 一个集合（流形）被称为系统(3.1)的局部不变流形(Local invariant manifold)是指，对任何的系统(3.1)的初值为的解始终在集合内，其中，为某正数。进而，如果，，那么就称为不变流形(invariant manifold)。 定义3.2 如果是系统(3.1)的一个不变流形，并且为光滑函数，，，那么它被称为中心流形（centre manifold）。 对于系统(3.1)，我们有， 定理3.1 对系统(3.1)而言，若，，和满足假设条件，那么存在一个中心流形，其中 (为某一个正数)，且。 证 今为函数，取值为 又设 其中。 首先，将证明系统 MACROBUTTON MTPlaceRef \* MERGEFORMAT SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTSec \c \* Arabic \* MERGEFORMAT 3. SEQ MTEqn \c \* Arabic \* MERGEFORMAT 2) 有一个中心流形，充分小。 让为一类李氏函数的集合：该类函数具有李氏常数，和。于是，在采用上确界范数时，是一个完备空间。 对，，设是以下方程的解： MACROBUTTON MTPlaceRef \* MERGEFORMAT SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTSec \c \* Arabic \* MERGEFORMAT 3. SEQ MTEqn \c \* Arabic \* MERGEFORMAT 3) 同时，定义一个新的函数如下 MACROBUTTON MTPlaceRef \* MERGEFORMAT SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTSec \c \* Arabic \* MERGEFORMAT 3. SEQ MTEqn \c \* Arabic \* MERGEFORMAT 4) 于是，如果是(3.4)的一个不动点的话，就是(3.2)的一个中心流形。为证明(3.4)不动点的存在，可以从求证对和充分小的，是上的压缩映射而得到。 根据与的定义，存在一个连续函数，且，使得 MACROBUTTON MTPlaceRef \* MERGEFORMAT SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTSec \c \* Arabic \* MERGEFORMAT 3. SEQ MTEqn \c \* Arabic \* MERGEFORMAT 5) 对所有成立。 因为所有特征值具有负实部，所以存在正常数和： 同样，由于的所有特征具有零实部，对每个常数总存在常数，使得且 如果 那末就可以利用(3.4)来估计和类似项，以下总假设 。 从式(3.4)有 MACROBUTTON MTPlaceRef \* MERGEFORMAT SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTSec \c \* Arabic \* MERGEFORMAT 3. SEQ MTEqn \c \* Arabic \* MERGEFORMAT 6) 同样由式(3.3)也可以得到 其中。 于是，Gronwall不等式表明 其中， 故 MACROBUTTON MTPlaceRef