Uniqueness of limit cycles for Liénard differential equations of degree four (Q665979)

The paper is devoted to the classical Liénard system of degree four which in general case can be transformed to the following form \[ \dot{x}=y-\left(\frac{a}{2}x^2+ \frac{b}{3}x^3+\frac{x^4}{4}\right),\;\dot{y}=-(x-\lambda), \] satisfying \(a\geq 0,\) \(b\geq 0,\) \(a\geq 2b^2/9.\) The authors prove that such a system has at most one limit cycle, and if the limit cycle exists it is hyperbolic. The derived result gives a positive answer to the conjecture by \textit{A. Lins, W. de Melo} and \textit{C. C. Pugh} [Lect. Notes Math. 597, 335--357 (1977; Zbl 0362.34022)] about the number of limit cycles for polynomial Liénard system in this case.