Nonanalytic first integrals of analytic systems of differential equations in a neighborhood of stable equilibria (Q6138459)

The author considers the system of differential equationd \[ \dot x_k=f\frac{\partial g}{\partial y_k}+g^2\frac{\partial f}{\partial y_k},\quad \dot y_k=-f\frac{\partial g}{\partial x_k}-g^2\frac{\partial f}{\partial x_k}, \quad 1 \le k \le n \tag{1} \] where \( f=\sum_{j=1}^n(x_j^2+y_j^2)/2 \), ~ \( g=\sum_{j=1}^n(\omega_j^2 x_j^2+y_j^2)/2 \). He proved that if numbers \(\omega_1,\dots,\omega_n\) are linearly independent over the field \(\mathbb{Q}\), then system (1) has no nontrivial formal integrals.