Local Darboux first integrals of analytic differential systems (Q2637621): Difference between revisions

The authors discuss an extension of Darboux integrability to germs of complex local analytic vector fields and to formal vector fields in \(\mathbb{C}^n\). They study the effect of local Darboux integrability on analytic normalization using the theory of Poincaré-Dulac normal forms. They consider local analytic or formal differential systems on \(\mathbb{C}^n\) of the form \[ \dot{x}= F(x)= A x + \sum_{k \geq 0} f^{(k)} (x) \tag{1} \] with a linear map \(A=DF(0)\), and every \(f^{(k)}\) a homogeneous vector valued polynomial of degree \(k\). The main result is: Assume that system (1) is in Poincaré-Dulac normal form. Then every formal (resp. local) Darboux first integral of this system is also a first integral of the semisimple part of the linearization, i.e. of \(\dot{x}=Ax\). This result extends previous known results on local analytic and formal first integrals to Darboux first integrals, and the arguments used in its derivation, have a number of consequences derived in the same work. Moreover the authors determine local restrictions on classical Darboux integrability of polynomial systems.