Table of Contents
Fetching ...

A new perspective on nonholonomic brackets and Hamilton-Jacobi theory

Manuel de León, Manuel Lainz, Asier López-Gordón, Juan Carlos Marrero

Abstract

The nonholonomic dynamics can be described by the so-called nonholonomic bracket on the constrained submanifold, which is a non-integrable modification of the Poisson bracket of the ambient space, in this case, of the canonical bracket on the cotangent bundle of the configuration manifold. On the other hand, another bracket, also called nonholonomic bracket, was defined using the description of the problem in terms of skew-symmetric algebroids. Recently, reviewing two older papers by R. J. Eden, we have defined a new bracket which we call Eden bracket. In the present paper, we prove that these three brackets coincide. Moreover, the description of the nonholonomic bracket à la Eden has allowed us to make important advances in the study of Hamilton-Jacobi theory and the quantization of nonholonomic systems.

A new perspective on nonholonomic brackets and Hamilton-Jacobi theory

Abstract

The nonholonomic dynamics can be described by the so-called nonholonomic bracket on the constrained submanifold, which is a non-integrable modification of the Poisson bracket of the ambient space, in this case, of the canonical bracket on the cotangent bundle of the configuration manifold. On the other hand, another bracket, also called nonholonomic bracket, was defined using the description of the problem in terms of skew-symmetric algebroids. Recently, reviewing two older papers by R. J. Eden, we have defined a new bracket which we call Eden bracket. In the present paper, we prove that these three brackets coincide. Moreover, the description of the nonholonomic bracket à la Eden has allowed us to make important advances in the study of Hamilton-Jacobi theory and the quantization of nonholonomic systems.
Paper Structure (21 sections, 13 theorems, 201 equations)

This paper contains 21 sections, 13 theorems, 201 equations.

Key Result

Theorem 1

The vector bundle isomorphism over the identity of $Q$, given by the composition is an almost Poisson isomorphism between the almost Poisson manifolds $(M, \{\, , \, \}_{E})$ and $(D^*, \{\, , \, \}_{D^*})$ .

Theorems & Definitions (32)

  • Remark 1
  • Remark 2
  • Remark 3
  • Remark 4
  • Remark 5
  • Remark 6
  • Theorem 1
  • proof
  • Remark 7
  • Proposition 2
  • ...and 22 more