数学物理学报(英文版) ›› 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 Rp-reduced controlled rigid body-rotor system and the Rp-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 Rp-reduced controlled rigid body-rotor system and the Rp-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