[论文解读] First Integrals vs Limit Cycles

Andrés García|arXiv (Cornell University)|Sep 17, 2019

Advanced Differential Equations and Dynamical Systems被引用 1

一句话总结

本文提出一种新方法，利用首次积分来定位并界定Liénard系统中极限环的数量。通过求解由系统动力学导出的奇异一阶常微分方程，证明了在F'(x)的相邻临界点之间的每个区间内，至多存在一个孤立的周期轨道，从而得出对于n次多项式F(x)，极限环数量的上界为2(n−1)。

ABSTRACT

This paper applies a recent result determining periodic orbits on the basis of first integrals, for Li\'enard systems. By solving a first order ODE with singularities, a crucial result is proved to locate intervals of single and isolated maximum amplitudes periodic orbits (limit cycles). With this result an upper bound for the number of limit cycles is provided. Some examples are presented along with conclusions and future work

研究动机与目标

• 开发一种系统化的方法，用于定位和计数Liénard系统中的极限环。
• 为这类系统中孤立周期轨道（极限环）的数量建立严格的上界。
• 利用首次积分与奇异常微分方程分析周期轨道的存在性与振幅分布。
• 提供一种可构造的框架，基于F(x)的结构识别极限环可能存在的区间。

提出的方法

• 推导出刻画周期轨道的首次积分ϕ(x)所满足的一阶常微分方程，其条件为在最大振幅A处ϕ(A) = 0。
• 应用引理1，确保在F'(x̄i) = 0的区间(x̄i−1, x̄i)内，解ϕ(x)的连续性。
• 利用定理1，将周期轨道的存在性等价于常微分方程在x = A处穿过零点的解的存在性。
• 通过渐近分析与罗尔定理证明每个区间内解的唯一性，从而排除多个极限环的存在。
• 通过y(x)的递归导数构建ϕ(x)的线性时变常微分方程组，确保在P0(x) ≠ 0处解的连续性。
• 通过解的碰撞与ϕ(x)符号不一致的矛盾，证明每个区间内仅可能有一个振幅A存在。

实验结果

研究问题

• RQ1 是否可以利用首次积分系统性地定位并界定Liénard系统中极限环的数量？
• RQ2 在相空间的给定区间内，何种条件可确保存在唯一一个孤立周期轨道？
• RQ3 F(x)的结构如何影响Liénard系统中极限环的最大数量？
• RQ4 能否基于F(x)的次数推导出极限环数量的上界？

主要发现

• 在满足F'(x̄i) = 0的每个区间(x̄i−1, x̄i)内，至多存在一个孤立周期轨道（极限环）。
• 对于n次多项式F(x)的Liénard系统，极限环的最大数量被上界2(n−1)所限制。
• 周期轨道的存在性等价于奇异常微分方程dϕ/dx · ϕ = −x − F'(x)ϕ在ϕ(A) = 0条件下的解的存在性。
• 常微分方程的解在每个区间(x̄i−1, x̄i)内连续，但可能无法延伸至x = A之外，暗示其孤立行为。
• 证明依赖于罗尔定理与渐近行为的矛盾：ϕ(x)中的多个零点将导致符号不一致或奇点。
• 该方法提供了一种可构造的框架，基于F'(x)的临界点识别极限环存在性的候选区间。