Limit cycle's uniqueness for second order O.D.E.'s polynomial in $\dot x$

Abstract

We prove a uniqueness result for limit cycles of the second order ODE $\ddot x + \sum_{j=1}^{J}f_{j}(x)\dot x^{j} + g(x) = 0$. We extend a uniqueness result proved in \cite{CRV}. The main tool applied is an extension of Massera theorem proved in \cite{GS}.