Local bifurcation of limit cycles and integrability of a class of nilpotent systems of differential equations (Q732490)

The authors consider analytic systems of differential equations in the plane whose origin is a nilpotent singularity \[ x'=y+\sum_{i=1}^\infty P_{q-p+2is}(x,y),\quad y'=\sum_{i=1}^{\infty} Q_{q-p+2is}(x,y), \] where \(p,q\) and \(n\) are natural numbers, \(p\leq q\), \(s=(n+1)p-q>0\) and \((P_j,Q_j)\) are quasi-homogeneous vector fields of type \((p,q)\) and degree~\(j,\) with \(Q_{(2n+1)p-q}(1,0)<0\) (necessary condition of monodromy). For them, they give an algorithm which provides the Taylor expansion of the return map near the origin. This map is computed by using special polar coordinates, already introduced by Lyapunov, associated to the solution of \(dx/d\theta=-y,\) \(dy/d\theta=x^{2n+1}\). By using their algorithm and other tools described below, they characterize the centers and study the cyclicity of some concrete families of systems of the type given above. These tools are called by the authors conservative-dissipative decomposition of the associated vector field and the following nice result is proved: The nilpotent systems \[ x'=y+ v_y(x,y)K(v(x,y),y^2)+y\psi(v(x,y),y^2),\quad y'=-v_x(x,y)K(v(x,y),y^2), \] where \(v,k,\psi\) are analytic functions defined in a neighborhood of the origin and \(\psi(0,0)=0,\) are integrable analytically in a neighborhood of the origin. This last result extends particular cases considered in the literature, like \(v(x,y)\equiv x\) and others.