We consider under-actuated, drift-free, invariant systems on matrix Lie groups and show how motion control results for nilpotent systems can be extended to invariant systems on non-nilpotent Lie groups by applying the technique of nilpotentization. A constructive procedure is presented to compute the required transformations for local representations of systems on three-dimensional Lie groups. ...

We show that a left-invariant metric g on a nilpotent Lie group N is a soliton metric if and only if a matrix U and vector v associated the manifold (N, g) satisfy the matrix equation Uv = [1], where [1] is a vector with every entry a one. We associate a generalized Cartan matrix to the matrix U and use the theory of Kac-Moody algebras to analyze the solution spaces for such linear systems. We ...

In the recent progress [BE1], [M] and [Z2], the wellknown Jacobian conjecture ([BCW], [E]) has been reduced to a problem on HN (Hessian nilpotent) polynomials (the polynomials whose Hessian matrix are nilpotent) and their (deformed) inversion pairs. In this paper, we prove several results on HN polynomials, their (deformed) inversion pairs as well as the associated symmetric polynomial or forma...

In this paper we consider under-actuated, drift-free, invariant systems on matrix Lie groups and show how motion control results for nilpotent systems can be extended to invariant systems on non-nilpotent Lie groups by applying the method of nilpotentization. An algorithm for computing nilpotent approximations for invariant systems on Lie groups is presented. These approximations are used to co...

We study the structure of nilpotent subsemigroups in the semigroup M(n,F) of all n × n matrices over a field, F, with respect to the operation of the usual matrix multiplication. We describe the maximal subsemigroups among the nilpotent subsemigroups of a fixed nilpotency degree and classify them up to isomorphism. We also describe isolated and completely isolated subsemigroups and conjugated e...

Let z = (z1, · · · , zn) and ∆ = ∑n i=1 ∂ 2 ∂z i the Laplace operator. The main goal of the paper is to show that the wellknown Jacobian conjecture without any additional conditions is equivalent to the following what we call vanishing conjecture: for any homogeneous polynomial P (z) of degree d = 4, if ∆P(z) = 0 for all m ≥ 1, then ∆P(z) = 0 when m >> 0, or equivalently, ∆P(z) = 0 when m > 3 2...

Absrtract. Group classification of systems of two coupled nonlinear reaction-diffusion equation with a general diffusion matrix started in papers [1], [2] is completed in present paper where all non-equivalent equations with triangular diffusion matrix are classified. In addition, symmetries of diffusion systems with nilpotent diffusion matrix and additional first order derivative terms are des...

In the recent progress [BE1], [Me] and [Z2], the wellknown JC (Jacobian conjecture) ([BCW], [E]) has been reduced to a VC (vanishing conjecture) on the Laplace operators and HN (Hessian nilpotent) polynomials (the polynomials whose Hessian matrix are nilpotent). In this paper, we first show the vanishing conjecture above, hence also the JC, is equivalent to a vanishing conjecture for all 2nd or...