On computing joint invariants of vector fields (Q490962)

This paper proposes a constructive method for computing local joint invariants of vector fields. Let \(\mathcal{L}\) be a finite dimensional Lie algebra of vector fields defined on an open subset of \(\mathbb{R}^n\) and let \(X_1, \ldots, X_d\) be a basis of \(\mathcal{L}\). Consider the reduced row echelon form \(A\) of the matrix representation of \(X_1, \ldots, X_d\). Then the first main theorem states that if we let \(Y_1, \ldots, Y_r\) be the vector fields corresponding to \(A\), then it holds that \([Y_i, Y_j]=0\) for all \(i, j \leq r\). In the second main theorem the authors present an algorithm for finding this reduced row echelon form \(A\). In addition, using this procedure, the authors try to recover computational examples given in the paper of \textit{V. Boyko} et al. [in: Proceedings of the 4th international workshop on group analysis of differential equations and integrable systems, GADEIS-IV'08. Nicosia: University of Cyprus, Department of Mathematics and Statistics. 36--44 (2009; Zbl 1251.17006)].