Analytic integrability for some degenerate planar vector fields (Q2449614)

Suppose an analytic system of ordinary differential equations on the plane has an isolated singularity at the origin which is monodromic. The Poincaré-Lyapunov Center Theorem asserts that when the eigenvalues of the linear part are non-zero pure imaginary numbers the origin is a center if and only if there exists a local analytic (or merely formal) first integral. Otherwise, the existence of a first integral is only sufficient for the existence of a center. In this paper, the authors investigate the family \[ \dot x = y^3 + 2 a x^3 y + \cdots,\dot y = -x^5 - 3 a x^2y^2 + \cdots, \] where omitted terms are of \((2,3)\)-quasihomogeneous degree greater than seven. They characterize local analytic integrability in several ways, including the nature of the quasihomogenous higher order terms and normal forms, and provide an example of a system of this type with a center at the origin which is neither integrable nor reversible.