Analytic integrability around a nilpotent singularity: the non-generic case (Q2332312)

Local integrability of the analytic system \[ \dot x=y+\dots, \qquad \dot y= b x^n y+\dots. \tag{1} \] where the dots stand for the quasi-homogeneous components of higher order, is investigated. The following statements are proved: 1) system (1) is analytically integrable if, and only if, it is formally orbitally equivalent to the system \[ \dot x=y, \qquad \dot y= (n+1) x^n y; \] 2) system (1) is analytically integrable if, and only if, there exists a formal inverse integrating factor of system (1) of the form \(V = h +\dots\), where \(h = y(y -x^{n+1});\) 3) system (1) is analytically integrable if, and only if, there exists a vectorfield \( G = D_0 + \dots\) (where \(D_0= (x, (n + 1)y) \)) and a scalar function \(\mu\), with \(\mu(0) = n + 1 \), such that \([F,G] = \mu F.\)