首页 /研究 /一个无多项式Lyapunov函数的全局渐近稳定平面齐次多项式向量场
OTHER

一个无多项式Lyapunov函数的全局渐近稳定平面齐次多项式向量场

Jun Liu, Maxwell Fitzsimmons

发表年份
2026
访问权限
开放获取

摘要

本文推翻了一个猜想:每个全局渐近稳定的齐次多项式向量场都存在齐次多项式Lyapunov函数。作者构造了一个平面三次齐次多项式向量场作为反例,该场不存在正定齐次多项式Lyapunov函数,甚至局部实解析Lyapunov函数也不存在,但存在一个显式的二次齐次Lyapunov函数。

关键词

Lyapunov functionstabilitypolynomial vector fieldcounterexampleLean 4

相关论文

查看 OTHER 分类全部论文