Search arXivSearch

arXiv · 1305.3457

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

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.

Explore related subjects

Keep this discovery

BibTeXRIS

Hong Wang. 2013-05-15. Hamilton-Jacobi Theorems for Regular Controlled Hamiltonian System and Its Reduced Systems. https://arxiv.org/abs/1305.3457

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Extended Future Tube Conjecture for Unipotent Subgroups

Let $\Omega$ be the Lorentz future cone in $\mathbb{R}^{d+1}$ with respect to the Lorentz product and let $T^M$ be the $M$-fold product of the future tube $T=\mathbb{R}^{d+1}+i\Omega$. The Lorentz group $\mathrm{SO}_0(1,d)$ acts diagonally on $T^M$, and its complexification $\mathrm{SO}(1,d)^\mathbb{C}$ acts on $\mathbb{C}^{(d+1)\times M}$. We prove that the domain $G^\mathbb{C}\cdot T^M$ is a Stein manifold for any connected unipotent subgroup $G$ of $\mathrm{SO}_0(1,d)$.

math.SG

The First Correction Term in the Asymptotic Expansion of Bohr--Sommerfeld Lagrangian States

Let $\Lambda$ be a compact Bohr--Sommerfeld Lagrangian submanifold of a compact K\"ahler manifold equipped with a holomorphic prequantum line bundle. We study the asymptotic expansion of the Lagrangian states associated with $\Lambda$. In particular, we compute explicitly the first nontrivial correction term and show that it is expressed in terms of geometric invariants of the ambient K\"ahler manifold and the Lagrangian submanifold, including their scalar curvatures, the second fundamental form, and the mean curvature. As a consequence, we obtain the corresponding second-order asymptotic formula for the $L^2$-norm of the Lagrangian states.

math.SG

Classification of Legendrian doubles and suspensions

We define a construction of Legendrians inside contact manifolds that arise by doubling an exact Lagrangian filling in the page of an open book decomposition. This can be seen as a generalization of a previous construction by Courte and Ekholm to arbitrary open books. These Legendrians, called Legendrian doubles, are shown to admit regular flexible exact Lagrangian fillings, and they are thus classified up to Legendrian isotopy by classical data. Finally, we show that the Legendrian suspension construction, as defined by Arikan and the author in previous work,-this is a Legendrian contained inside a page of an open book that is obtained by using Seidel's suspension of Lefschetz fibrations- is a Legendrian double.

math.SG