On the non-integrability of a generalized Darboux Halphen system

In this paper we study a generalized Darboux Halphen system given by ${\dot{x}}_1=x_2{x}_3-x_1(x_2+x_3)+{\tau }^2({\alpha }_1,{\alpha }_2,{\alpha }_3,x_1,x_2,x_3)\text{,}$${\dot{x}}_2=x_3{x}_1-x_2(x_3+x_1)+{\tau }^2({\alpha }_1,{\alpha }_2,{\alpha }_3,x_1,x_2,x_3)\text{,}$${\dot{x}}_3=x_1{x}_2-x_3(x_1+x_2)+{\tau }^2({\alpha }_1,{\alpha }_2,{\alpha }_3,x_1,x_2,x_3)\text{,}$ where $x_1$, $x_2$, $x_3$ are real variables, ${\alpha }_1,{\alpha }_2,{\alpha }_3$ are real constants and ${\tau }^2({\alpha }_1,{\alpha }_2,{\alpha }_3,x_1,x_2,x_3)={\alpha }_1^2(x_1-x_2)(x_3-x_1)+{\alpha }_2^2(x_2-x_3)(x_1-x_2)+{\alpha }_3^2(x_3-x_1)(x_2-x_3)\text{.}$ We prove that, for any $({\alpha }_1,{\alpha }_2,{\alpha }_3)\in {\mathbb{R}}^3\setminus \left\{(0,0,0)\right\}$, this system does not admit any non-constant global first integral that can be described by a formal power series. Furthermore, restricting the values of $({\alpha }_1,{\alpha }_2,{\alpha }_3)$ to a full Lebesgue measure set, we prove that this system does not admit any non-constant rational or Darbouxian global first integral. This is a first step toward proving that this system is chaotic.