Abstract:In this paper, we give precisely the geometric constraint conditions of canonical symplectic form and regular reduced symplectic forms for the dynamical vector fields of a regular controlled Hamiltonian (RCH) system and its regular reduced systems, which are called the Type I and Type II of Hamilton-Jacobi equations. At first, we first prove two types of Hamilton-Jacobi theorem for an RCH system on cotangent bundle of a configuration manifold, by using the canonical symplectic form and the dynamical vector field, which are the development of the two types of geometric version of Hamilton-Jacobi theorem for a Hamiltonian system given in Wang \cite{wa17}. Moreover, we also prove two types of Hamilton-Jacobi theorem for a controlled magnetic Hamiltonian (CMH) system by using the magnetic symplectic form and the magnetic Hamiltonian vector field. Secondly, we generalize the above results for a regular reducible RCH system with symmetry and momentum map, and prove two types of Hamilton-Jacobi theorems for the regular point reduced RCH system and the regular orbit reduced RCH system. Thirdly, we prove that the RCH-equivalence for the RCH system, and RpCH-equivalence and RoCH- equivalence for the regular reducible RCH systems with symmetries, leave the solutions of corresponding Hamilton-Jacobi equations invariant. Finally, as an application of the theoretical results, we show the Type I and Type II of Hamilton-Jacobi equations for the $R_p$-reduced controlled rigid body-rotor system and the $R_p$-reduced controlled heavy top-rotor system on the generalizations of rotation group SO(3) and Euclidean group SE(3), respectively. These researches reveal the deeply internal relationships of the geometrical structures of phase spaces, the dynamical vector fields and controls of the RCH system.

Hamilton-Jacobi theory for nonholonomic and forced hybrid mechanical systems

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions

On the integrability of hybrid Hamiltonian systems

A port-Hamiltonian approach to modeling the structural dynamics of complex systems

Hamilton-Jacobi Equations of Nonholonomic Magnetic Hamiltonian Systems

Singular lagrangians and the Hamilton-Jacobi formalism in classical mechanics

Hamiltonian dynamics on the symplectic extended phase space for autonomous and non-autonomous systems

The Interplay Between Symmetries and Impact Effects on Hybrid Mechanical Systems

Hamiltonian-based neural networks for systems under nonholonomic constraints

On nonholonomic and vakonomic dynamics of mechanical systems with nonintegrable constraints

From reasonable postulates to generalised Hamiltonian systems

Hamilton-Jacobi equations for optimal control on multidimensional junctions

The port-Hamiltonian structure of continuum mechanics

A new perspective on nonholonomic brackets and Hamilton-Jacobi theory

On Non-autonomous Hamiltonian Dynamics, Dual Spaces, and Kinetic Lifts

Modelling and Control of Nonholonomic Mechanical Systems

Finite element hybridization of port-Hamiltonian systems

Nonholonomic mechanics and virtual constraints on Riemannian homogeneous spaces

A new perspective on nonholonomic brackets and Hamilton–Jacobi theory

Hamilton-Jacobi Theorems for Regular Controlled Hamiltonian System and Its Reduced Systems

On the Optimal Control of Impulsive Hybrid Systems On Riemannian Manifolds