浅谈李雅普诺夫函数的构造及应用.docxVIP

浅谈李雅普诺夫函数的构造及应用巴桑卓玛( 西藏大学理学院 西藏 浅谈李雅普诺夫函数的构造及应用 巴桑卓玛 ( 西藏大学理学院 西藏拉萨 850000 ) 摘要: 文章分析常微分方程课程的稳定性理论中“李雅普诺夫(Lia punov) 的第二方法 ”, 并通过例子 说明如何利用已构造的一个辅助函数即李雅普诺夫(Lia punov) 函数来判断一个系统的稳定性。 关键词: v 函数; 李雅普诺夫函数; 稳定性; 微分方程 中图分类号: O175 文献标识码: A 文章编号: 1005-5738 ( 2006 ) 03-0111-03 数, 根据 V 函数的特性直接去判断系统是稳定或者 是不稳定。 一 、前言 常微分方程是大学本科数学专业必修的基础课 之一, 也是自然科学和各类技术科学必不可少的有 力工具。微分方程的主要任务在于求解和确定解的 各种属性。因而微分方程的研究就大致可分为定量 和定性的两部分[2]。然而绝大多数微分方程不能用 已知函数的积分来表出通解。从定性方面提出的任 务是: 直接根据方程的结构来研究解的属性, 这些 问题的研究形成了在微分方程理论中占有重要地 位的定性理论。 所谓稳定性, 是指一个系统在运动的过程中, 或在干扰力的作用下, 是否保持原来的状态[1]。例 如: 一个电力系统在运行过程中的稳定性是指其电 压、电流的波动要尽量小, 限制在其允许范围内, 若 电压忽高忽低, 电流忽大忽小, 将给人民生活及工 业生产造成极大的危害。在多数情况下, 运动的不 稳定性的严重后果将是灾难性的。稳定性的数学理 论, 就是为设计稳定的动力系统, 避免不稳定的事 故发生, 提供一整套数学理论和方法, 因而, 它在国 民经济中的巨大作用和现实意义是不言而喻的。在 历史上, 很多杰出的数学家和力学家都研究过稳定 性问题, 但是贡献最大的是俄国数学家李雅诺夫 (Liapunov,1857- 1918), 他 创 立 了 两 种 方 法 , 即 第 一 方法和第二方法。其中第二方法是比较常用的一种 又称直接法(direct method), 这种方法不需要求出系 统(微分方程)的解, 而是寻求某个与所考虑微分方 程有关的所谓李雅诺夫函数, 以下我们简称 v 函 二 、基本原理 (一)v 函数 在本文中我们只讨论形如 （ 1.1） 的方程组。 定义 1 设函数 v 是一个定义在包含原点 (0, 0) 的区域 D 上的连续函数。且当( x, y) =0 时, v=0. 1. 如果对一切( x, y) ≠0 都有 v( x, y) 0, 则 称 函数 V 是正定的。 2. 如果 v( x, y) ≥0, 则称 v 函数是半正定的。 3. 如果对一切( x, y) ≠0 都有 v( x, y) 0 , 则称 V 函数是负定的。 4. 如果 v( x, y) ≤0, 则称 v 函数是半负定的。 5. 如果 v 任意, 则称 v( x, y) 为变号函数[2] 如: 函数 y( x, y) =sin(x2+y2)在区域 x2+y2 !/2 上 是正定的, 因为 v( 0, 0) =0 , 且 v( x, y) 0,0 x2+y2 /2。然而函数 v( x, y) =( x+y) 2 仅仅是半正定, 因为 除原点外在线 y=- x 上有 v( x, y) =0。 定义 2 假定 v 函数在 (0, 0) 的领域中连续可 收搞日期: 2006- 04- 26 作者简介:( 1 967- ) , 女, 藏族, 西藏日喀则人, 西藏大学理学院数学系讲师, 硕士, 主要研究方向为代数与编码。 微, 把函数 微, 把函数 称为二次型函数. 称为关于系统 的全导数[1] ,记为 定理 3 赛尔维斯特( Sylvester) 判别准则. 设实对称阵 P 的各阶主子行列式为: （ 1.2） 1 (1.4) (orV( , #) ). (二)李雅普诺夫第二法( 直接法) 定理 1 . 假设系统 ( 1.1) 在原点处有孤立的奇 点。如果存在一个连续的函数 V, 并且具有连续的 3 一阶偏导数, 则有 (1)如果包含(0, 0) 的领域 D 上 V 是正定(负定)且 ( 1.2) 是负定(正定), 则原点是渐近稳定。 4 (2)如果包含(0, 0) 的 区域 D 上 V 是正 定 且( 1.2) 是半负定, 则原点是稳定。 定理 2 . 假设系统( 1.1) 在原点处有孤立的奇 对于系统( 1.1) , 我们有更简单的结论叙述如下: 点。如果存在一个连续的 V 函数, 并且具有连续的 定理 4 函数 V( x, y) =ax2+bxy+cy2 (1.5)