No label defined (Q4785246)

Consider the system of four autonomous differential equations \[ \begin{aligned} \dot x_1 &= x_2+ X^{[n+1]}_1(x, \varepsilon)+ X^{[n+2]}_1(x, \varepsilon)+ X^{*[n+ 3]}_1(x, \varepsilon),\\ \dot x_2 &= -x^{2n- 1}_1+ X^{[2n]}_2(x, \varepsilon)+ X^{[2n+ 1]}_2(x,\varepsilon)+ X^{*[2n+ 2]}_2(x, \varepsilon),\\ \dot x_3 &= x_4+ X^{[n+ 2]}_3(x, \varepsilon)+ X^{*[n+3]}_3(x, \varepsilon),\\ \dot x_4 &= -x^{2n+ 1}_3+ X^{[2n+ 2]}_4(x, \varepsilon)+ X^{*[2n+ 3]}_4(x, \varepsilon),\end{aligned}\tag{1} \] where \(n\geq 2\), \(x= (x_1, x_2, x_3, x_4)\), \(X^{[k]}(x,\varepsilon)\) are \(k\)th-degree homogeneous polynomials, \(X_j^{*[k]}\) are sufficiently smooth functions of \(x\) and \(\varepsilon\) whose expansions start with order \(k\). Explicit conditions for the coefficients of the polynomials \(X^{[k]}_j\) are given that ensure that system (1) has a two-dimensional invariant torus which bifurcates with infinitesimal frequencies for sufficiently small values of the parameter \(\varepsilon\). A concrete example is considered. For the entire collection see [Zbl 0997.00040].