arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2205.01998

Nonholonomic Controlled Hamiltonian System: Symmetric Reduction and Hamilton-Jacobi Equations

Hong Wang
View original source ↗Read source document ↗Export metadata ↓

Abstract

In order to describe the impact of nonholonomic constraints for the dynamics of a regular controlled Hamiltonian (RCH) system, in this paper, for an RCH system with nonholonomic constraint, we first derive its distributional RCH system, by analyzing carefully the structure of dynamical vector field of the nonholonomic RCH system. Secondly, we derive precisely the geometric constraint conditions of the induced distributional two-form for the dynamical vector field of the distributional RCH system, which are called the Type I and Type II of Hamilton-Jacobi equations. Thirdly, we generalize the above results for the nonholonomic reducible RCH system with symmetry, and prove two types of Hamilton-Jacobi theorems for the nonholonomic reduced distributional RCH system. Moreover, we consider the nonholonomic reducible RCH system with momentum map, by combining with the regular point and regular orbit reduction theory and the analysis of dynamics of RCH system, we give the geometric formulations of the nonholonomic regular point reduced and orbit reduced distributional RCH systems, and prove two types of Hamilton-Jacobi theorems for these reduced distributional RCH systems. These researches reveal the deeply internal relationships of the nonholonomic constraints, the induced (resp. reduced) distributional two-forms, the dynamical vector fields and controls of the nonholonomic RCH system and its (reduced) distributional RCH systems.

Explore related subjects

math.SGmath.DGmath.DS

Keep this discovery

BibTeXRIS

Hong Wang. 2022-05-04. Nonholonomic Controlled Hamiltonian System: Symmetric Reduction and Hamilton-Jacobi Equations. https://arxiv.org/abs/2205.01998

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗