First integrals of local analytic differential systems

We investigate formal and analytic first integrals of local analytic ordinary differential equations near a stationary point. A natural approach is via the Poincaré–Dulac normal forms: If there exists a formal first integral for a system in normal form then it is also a first integral for the semisimple part of the linearization, which may be seen as “conserved” by the normal form. We discuss the maximal setting in which all such first integrals are conserved, and show that all first integrals are conserved for certain classes of reversible systems. Moreover we investigate the case of linearization with zero eigenvalues, and we consider a three-dimensional generalization of the quadratic Dulac–Frommer center problem.