Fixed and moving limit cycles for Liénard equations

We consider a family of planar vector fields that writes as a Liénard system in suitable coordinates. It has a fixed closed invariant curve that often contains periodic orbits of the system. We prove a general result that gives the hyperbolicity of these periodic orbits, and we also study the coexistence of them with other periodic orbits. Our family contains the celebrated Wilson polynomial Liénard equation, as well as all polynomial Liénard systems having hyperelliptic limit cycles. As an illustrative example, we study in more detail a natural 1-parametric extension of Wilson example. It has at least two limit cycles, one of them fixed and algebraic and the other one moving with the parameter, presents a transcritical bifurcation of limit cycles and for a given parameter has a non-hyperbolic double algebraic limit cycle. In order to prove that for some values of the parameter the system has exactly two hyperbolic limit cycles, we use several suitable Dulac functions