数学物理学报(英文版) ›› 2023, Vol. 43 ›› Issue (2): 855-906.doi: 10.1007/s10473-023-0221-5

• • 上一篇    下一篇

HAMILTON-JACOBI EQUATIONS FOR A REGULAR CONTROLLED HAMILTONIAN SYSTEM AND ITS REDUCED SYSTEMS*

Hong Wang   

  1. School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071, China
  • 收稿日期:2021-11-15 修回日期:2022-04-07 出版日期:2023-03-25 发布日期:2023-04-12
  • 作者简介:Hong Wang, E-mail: hongwang@nankai.edu.cn
  • 基金资助:
    This work was partially supported by the Nankai University 985 Project, the Key Laboratory of Pure Mathematics and Combinatorics, Ministry of Education, China and the NSFC (11531011).

HAMILTON-JACOBI EQUATIONS FOR A REGULAR CONTROLLED HAMILTONIAN SYSTEM AND ITS REDUCED SYSTEMS*

Hong Wang   

  1. School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071, China
  • Received:2021-11-15 Revised:2022-04-07 Online:2023-03-25 Published:2023-04-12
  • About author:Hong Wang, E-mail: hongwang@nankai.edu.cn
  • Supported by:
    This work was partially supported by the Nankai University 985 Project, the Key Laboratory of Pure Mathematics and Combinatorics, Ministry of Education, China and the NSFC (11531011).

摘要: In this paper, we give the geometric constraint conditions of a 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 Hamilton-Jacobi equations. First, we prove two types of Hamilton-Jacobi theorems for an RCH system on the cotangent bundle of a configuration manifold by using the canonical symplectic form and its dynamical vector field. Second, we generalize the above results for a regular reducible RCH system with symmetry and a momentum map, and derive precisely two types of Hamilton-Jacobi equations for the regular point reduced RCH system and the regular orbit reduced RCH system. Third, we prove that the RCH-equivalence for the RCH system, and the 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 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 the rotation group ${SO}(3)$ and the Euclidean group ${SE}(3)$, respectively. This work reveals the deeply internal relationships of the geometrical structures of phase spaces, the dynamical vector fields and the controls of the RCH system.

关键词: regular controlled Hamiltonian system, Hamilton-Jacobi equation, regular point reduction, regular orbit reduction, RCH-equivalence

Abstract: In this paper, we give the geometric constraint conditions of a 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 Hamilton-Jacobi equations. First, we prove two types of Hamilton-Jacobi theorems for an RCH system on the cotangent bundle of a configuration manifold by using the canonical symplectic form and its dynamical vector field. Second, we generalize the above results for a regular reducible RCH system with symmetry and a momentum map, and derive precisely two types of Hamilton-Jacobi equations for the regular point reduced RCH system and the regular orbit reduced RCH system. Third, we prove that the RCH-equivalence for the RCH system, and the 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 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 the rotation group ${SO}(3)$ and the Euclidean group ${SE}(3)$, respectively. This work reveals the deeply internal relationships of the geometrical structures of phase spaces, the dynamical vector fields and the controls of the RCH system.

Key words: regular controlled Hamiltonian system, Hamilton-Jacobi equation, regular point reduction, regular orbit reduction, RCH-equivalence