极限环存在性的证明.docVIP

Vanderrpol方程极限环存在性的证明 王斌 （上海大学数学系，上海，200444） 摘要：关于Vanderpol 方程 （1） 或其等价方程组 （2） 极限环的证明时，一个有力的手段是利用P—B环域定理构造 内外境界线 关键词：极限环 环域定理 境界线 引言：目前我们所掌握的知识证明一个系统存在极限环的重要手段是 利用P—B环域定理。根据P—B环域定理：如果我们利用 Lienard 作图法作出Poincare— Bendixson环域的内境界线和 外境界线，若和围成的环域满足以下两点： 1.和围成的环域内不含系统（2）的奇点 2.系统（2）的轨线随t的增加只能从的内部走到的外部， 从的外部走到的内部 则该系统在相平面上存在极限环 证：（1）作内境界线 令李雅普洛夫函数 故可取充分小，使得（2）的轨线除去与点相切，随着t增加（2）的轨线只能从的内部走到的外部，因此可作内境界线 作外境界线 因为上， 曲线 上，故 将相平面划分成四个区域，如图所示 上图作法如下： 过任意一点P作y轴，交曲线于点M，过M作RQ//x轴，交y轴于点Q，连接P、Q两点，再过P点作直线PQ的垂直线PN，这个垂直线就是过P点的方向场，箭头根据的符号确定 ，其中和是以为中心的圆弧，它们的半径分别为和；而是曲线的极小点；直线的方程是；分别与关于原点对称 因当充分大时，，又，于是B点落在曲线的下方，由Lienard作图法易知（2）的轨线随t增加时，只能从外部走到的内部，故可作为外境界线 在和围成的环域内无奇点，由P—B环域定理，在其间存在方程组（2）的极限环 在上述证明中，内外境界线都是简单的代数曲线段并成的，也可用其他曲线，下面介绍另一种证明方法 引理：微分方程， （3） 其中，设方程组（3）中的 满足条件： ，当， ，当， ，当，且充分小 存在常数以及使得 ，当 ，当 则方程组（3）存在极限环 证：见文献[2] 下面利用引理证明Vanderpol方程存在极限环 证：在方程组（2）中， ，当， ，当， ，当，且充分小 ，当 ，当 方程组（2）满足引理条件，故存在极限环 参考文献： [1]张芷芬，微分方程定性理论，1985. [2]黄克成，微分方程的极限环的存在性，数学学报，23(1980)，4,483—490. [3]王联 王慕秋，非线性常微分方程定性分析[M],哈尔滨工业大学出版社,1987.