Convergence versus integrability in Poincaré-Dulac normal form (Q699277)

Let \(X\) be a vector field analytic at the origin in \(\mathbb{R}^n\) or \(\mathbb{C}^n\), \(X(0)=0\). If there are (i) \(m\) functionally independent, pairwise commuting, analytic vector fields, each of which commutes with \(X\); (ii) \(n-m\) functionally independent first integrals, which are common integrals for the vector fields of (i); then there is an analytic coordinate system near the origin such that the vector field \(X\) written in these coordinates commutes with the semisimple part of its linear part. In the case of volume-preserving vector fields, the following statement is obtained. Any \((n-1)\)-tuple of pairwise commuting analytic isochore (volume-preserving) vector fields in a neighborhood of the origin, which are linearly independent almost everywhere, admits a simultaneous convergent normalization.