[论文解读] A note on existence and uniqueness of limit cycles for Liénard systems

Timotéo Carletti, Gabriele Villari|ArXiv.org|Jul 29, 2003

Advanced Differential Equations and Dynamical Systems参考文献 3被引用 9

一句话总结

本论文通过分析周期轨道相对于函数 $ F(x) = \int_0^x f(\xi)\,d\xi $ 的零点的几何性质，为 Liénard 系统中单个稳定极限环的存在性与唯一性建立了一个新的充分条件。关键贡献在于提出了一项新颖的条件，将 $ G(x) = \int_0^x g(\xi)\,d\xi $ 在 $ F(x) = 0 $ 的非零根处的取值关联起来，从而在无需对称性或函数反演的前提下，实现了比以往结果更广泛的应用范围。

ABSTRACT

We consider the Liénard equation and we give a sufficient condition to ensure existence and uniqueness of limit cycles. We compare our result with some other existing ones and we give some applications.

研究动机与目标

• 为 Liénard 系统中单个稳定极限环的存在性与唯一性建立一个新的充分条件。
• 通过消除奇对称性或函数反演等限制性假设，推广现有结果。
• 提供一个适用于多项式与非多项式 Liénard 方程的框架，且结构约束最小化。
• 通过关联 $ F(x) = 0 $ 的非零根处 $ F(x) $ 与 $ G(x) $ 的行为，统一并拓展先前结果。
• 提供一种实用准则，避免复杂的函数反演，从而增强在动力系统分析中的适用性。

提出的方法

• 通过 $ \dot{x} = y - F(x) $, $ \dot{y} = -g(x) $ 将二阶 Liénard 方程转化为一阶平面系统。
• 引入势函数 $ F(x) = \int_0^x f(\xi)\,d\xi $ 和 $ G(x) = \int_0^x g(\xi)\,d\xi $ 以分析系统几何性质。
• 利用引理 2.1 判断极限环是否与直线 $ x = x_1 $ 或 $ x = x_2 $ 相交，依据 $ G(x_1) $ 与 $ G(x_2) $ 的相对大小。
• 应用文献 [9] 的定理 1，在假设 (A)、(B)、(C) 和 (E) 成立时，确立至少一个极限环的存在性。
• 施加条件 (D)：$ G(x_1) = G(x_2) $，通过约束类能量等高线集，确保唯一性。
• 通过扰动 $ f(x) $ 和 $ g(x) $ 使其满足 $ F $ 与 $ G $ 所需条件，特别是对负 $ x $ 区域缩放 $ g(x) $，将结果推广至非多项式系统。

实验结果

研究问题

• RQ1 在何种条件下，Liénard 系统具有唯一的稳定极限环？
• RQ2 如何在不假设对称性或函数反演的前提下，保证极限环的唯一性？
• RQ3 $ F(x) = 0 $ 的非零根处 $ G(x) $ 的取值在决定极限环数量中起什么作用？
• RQ4 该结果能否推广至在最小结构假设下成立的非多项式 Liénard 方程？
• RQ5 极限环与垂直线 $ x = x_1 $ 和 $ x = x_2 $ 的几何交点如何为唯一性证明提供依据？

主要发现

• 当 $ F(x) $ 在 $ x_0 = 0 $、$ x_2 < 0 < x_1 $ 处恰好有三个横截实根，且在 $[x_2, x_1]$ 外单调递增时，系统具有唯一的稳定极限环。
• $ G(x_1) = G(x_2) $ 条件对唯一性至关重要，是本研究提出的新贡献，此前结果中未出现。
• 在条件 (A)–(E) 共同作用下，极限环存在且唯一，包括 $ \limsup_{x\to\pm\infty}[G(x) \pm F(x)] = +\infty $，确保势函数无界增长。
• 该结果将 Levinson-Smith 与 Sansone 定理作为特例推广，当 $ f $ 和 $ g $ 为奇函数或 $ g(x) = x $ 时成立。
• 对于多项式 $ f $，当 $ f_{\lambda}(x) = f(x) - \lambda $ 中的 $ \lambda $ 足够大时，若 $ g $ 调整为满足 $ \int_{x_2}^{x_1} g(\xi)\,d\xi = 0 $，则存在唯一极限环。
• 该方法避免了函数反演，相较于 Filippov 类方法更具实用性，且适用于 $ f $ 与 $ g $ 不一定对称的系统。