Professional Documents
Culture Documents
L. MANGIAROTTI, G. SARDANASHVILY
Preface
This book presents in a unified way modern geometric methods in analytical me-
chanics, based on the application of jet manifolds and connections. As is well known,
the technique of Poisson and symplectic spaces provide the adequate Hamiltonian
formulation of conservative mechanics. This formulation, however, cannot be ex-
tended to time-dependent mechanics subject to time-dependent transformations.
We will formulate non-relativistic time-dependent mechanics as a particular field
theory on fibre bundles over a time axis.
The geometric approach to field theory is based on the identification of classical
fields with sections of fibred manifolds. Jet manifolds provide the adequate mathe-
matical language for Lagrangian field theory, while the Hamiltonian one is phrased
in terms of a polysymplectic structure. The 1-dimensional reduction of Lagrangian
field theory leads us in a straightforward manner to Lagrangian time-dependent
mechanics. At the same time, the canonical polysymplectic form on a momentum
phase space of time-dependent mechanics reduces to the canonical exterior 3-form
which plays the role similar to a symplectic form in conservative mechanics. With
this canonical 3-form, we introduce the canonical Poisson structure and formulate
Hamiltonian time-dependent mechanics in terms of Hamiltonian connections and
Hamiltonian forms.
Note that the theory of non-linear differential operators and the calculus of vari-
ations are conventionally phrased in terms of jet manifolds. On the other hand, jet
formalism provides the contemporary language of differential geometry to deal with
non-linear connections, represented by sections of jet bundles. Only jet spaces enable
us to treat connections, Lagrangian and Hamiltonian dynamics simultaneously.
In fact, the concept of connection is the main link throughout the book. Con-
nections on a configuration space of time-dependent mechanics are reference frames.
Holonomic connections on a velocity phase space define non-relativistic dynamic
v
vi
equations which are also related to other types of connections, and can be writ-
ten as non-relativistic geodesic equations. Hamiltonian time-dependent mechanics
deals with Hamiltonian connections whose geodesics are solutions of the Hamilton
equations.
The presence of a reference frame, expressed in terms of connections, is the main
peculiarity of time-dependent mechanics. In particular, each reference frame defines
an energy function, and quantizations with respect to different reference frames are
not equivalent.
Another important peculiarity is that a Hamiltonian fails to be a scalar function
under time-dependent transformations. As a consequence, many well-known con-
structions of conservative mechanics fail to be valid for time-dependent mechanics,
and one should follow methods of field theory.
At the same time, there is the essential difference between field theory and time-
dependent mechanics. In contrast with gauge potentials in field theory, connections
on a configuration space of time-dependent mechanics fail to be dynamic variables
since their curvature vanishes identically. Following geometric methods of field the-
ory, we obtain the frame-covariant formulation of time-dependent mechanics. By
analogy with gauge field theory, one may speak about gauge time-dependent me-
chanics.
In comparison with non-relativistic time-dependent mechanics, a configuration
space of relativistic mechanics does not imply any preferable fibration over a time.
To construct the velocity phase space of relativistic mechanics, we therefore use
formalism of jets of submanifolds. At the same time, Hamiltonian relativistic me-
chanics is seen as an autonomous Hamiltonian system on the constraint space of
relativistic hyperboloids.
With respect to mathematical prerequisites, the reader is expected to be familiar
with the basics of differential geometry of fibre bundles. For the convenience of the
reader, several mathematical facts and notions are included as an Interlude, thus
making our exposition self-contained.
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
vii
viii CONTENTS
Bibliography 333
x CONTENTS
Introduction
The present book deals with first order mechanical systems, governed by the second
order differential equations in coordinates or the first order ones in coordinates
and momenta. Our goal is the description of non-conservative mechanical systems
subject to time-dependent transformations, including inertial and non-inertial frame
transformations and phase transformations.
Symplectic technique is well known to provide the adequate Hamiltonian for-
mulation of conservative (i.e., time-independent) mechanics where Hamiltonians are
independent of time [2, 6, 72, 116, 126]. The familiar example is a mechanical sys-
tem whose momentum phase space is the cotangent bundle T ∗ M of a configuration
space M . This fibre bundle is provided with the canonical symplectic form
Ω = dpi ∧ dq i , (0.0.1)
ϑ = ϑi ∂ i + ϑi ∂i
ϑcΩ = −dH,
ϑi = ∂ i H, ϑi = −∂i H.
1
2 INTRODUCTION
Q = R × M, (0.0.2)
where M is a manifold, while R is a time axis (see [29, 31, 50, 110, 136, 146, 166] and
references therein). ¿From the physical viewpoint, it means that a certain reference
frame is chosen. Then we have the corresponding splitting of the velocity phase
space
R × TM (0.0.3)
R × T ∗ M. (0.0.4)
The momentum phase space (0.0.4) is provided with the presymplectic form
which is the pull-back of the canonical symplectic form Ω (0.0.1) on the cotangent
bundle T ∗ M [27]. By a time-dependent Hamiltonian H is meant a real function
on the momentum phase space R × T ∗ M , while trajectories of motion are integral
curves of the time-dependent vector field
ϑ : R × T ∗M → T T ∗M
ϑi = ∂ i H, ϑi = −∂i H.
The problem is that the splittings (0.0.2) – (0.0.4) are broken by any time-
dependent transformation, and so is the presymplectic form (0.0.5). Therefore the
familiar methods of conservative mechanics and their extensions to the product
spaces (0.0.2) – (0.0.4) fail to be valid for mechanical systems subject to time-
dependent transformations.
INTRODUCTION 3
λ = ∂t + qti ∂i ,
of the velocity phase space J 1 Q into the tangent bundle T Q of the configuration
space Q. From now on we will identify J 1 Q with its image in T Q given by the
coordinate conditions
ṫ = 1, q̇ i = qti . (0.0.8)
This is an affine subbundle of T Q → Q modelled over the vertical tangent bundle
V Q → Q of the fibred manifold Q → R.
The morphism (0.0.7) plays a prominent role in our formulation of time-dependent
mechanics. It enables us to treat the jet manifold J 1 Q as a velocity phase space
4 INTRODUCTION
Γ : Q → J 1 Q ⊂ T Q, (0.0.9)
Γ = ∂t + Γi ∂i ,
Π = V ∗J 1Q ∼
= J 1V ∗Q
enables us to relate a Lagrangian system to any Hamiltonian one (see Section 5.10).
INTRODUCTION 5
Ω = dpi ∧ dq i ∧ dt (0.0.10)
which is the particular case of the canonical polysymplectic form on the Legendre
bundle (0.0.6), when X = R [57, 161]. The exterior form (0.0.10) is invariant under
all holonomic transformations of the momentum phase space V ∗ Q.
In time-dependent mechanics, the canonical 3-form Ω (0.0.10) plays a role sim-
ilar to the canonical symplectic form (0.0.1) in conservative symplectic mechanics.
The form (0.0.10) yields the canonical Poisson structure on the momentum phase
space V ∗ Q, and provides the Hamiltonian formulation of time-dependent mechanics
in terms of Hamiltonian connections and Hamiltonian forms. This formulation is
compatible with the Lagrangian formulation of time-dependent mechanics on the
velocity phase space J 1 Q, and is equivalent to the Lagrangian one in the case of
hyperregular Lagrangians.
The following peculiarities of Hamiltonian time-dependent mechanics should be
emphasized.
• The canonical Poisson structure defined by the 3-form Ω (0.0.10) on the mo-
mentum phase space V ∗ Q of time-dependent mechanics is degenerate.
H = pi Γi + H
f ,
Γ (0.0.11)
For the sake of simplicity, throughout the book, a configuration space of time-
dependent mechanics Q → R is assumed to be a fibre bundle with a typical fibre
M . We will call it a configuration bundle. It is always trivial. Note that, although
such a configuration space Q is diffeomorphic to a direct product R × M , in general,
it cannot be canonically identified to R × M . Its different trivializations
ψ:Q∼
=R×M (0.0.12)
differ from each other in fibrations Q → M , while the fibration Q → R is once for all.
Given a trivialization (0.0.12) of a configuration space, there are the corresponding
splittings of velocity and momentum phase spaces
J 1Q ∼
= R × T M,
V ∗Q ∼
= R × T ∗ M.
as geodesic equations on the tangent bundle T Q, but their solutions live in its dif-
ferent subbundles (0.0.13) and (0.0.8).
Unless otherwise stated, we believe that all quantities are physically dimension-
less. Following field theory, we will sometimes refer to the universal unit system
where the velocity of light c and the Planck constant h̄ are equal to 1, while the
length unit is the Planck one
This Chapter does not claim to be a survey on modern differential geometry. The
relevant material is presented in a fairly informal way. For details, we refer the
reader to [57, 100, 157, 164, 170, 185].
Throughout the book, all maps are smooth, i.e., of class C ∞ , while manifolds
are real, finite-dimensional, second-countable and, hence, paracompact. Unless oth-
erwise stated, we assume that manifolds are connected.
We use the standard symbols ⊗, ∨, and ∧ for the tensor, symmetric, and exterior
products, respectively. The interior product (contraction) of vectors and forms is
denoted by c. By ∂BA are meant the partial derivatives with respect to the coordinates
with indices A B . The symbol ◦ stands for a composition of maps.
Fibre bundles
π:Y →X (1.1.1)
9
10 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
ψξ : π −1 (Uξ ) → Uξ × V,
where V is the typical fibre of the fibre bundle (1.1.1). The bundle trivializations
(Uξ , ψξ ) constitute an atlas
Ψ = {(Uξ , ψξ ), ρξζ }
of a fibre bundle. Given an atlas Ψ, a fibre bundle Y is provided with the associated
atlas of fibred coordinates (xλ , y i ), where
Theorem 1.1.1. [170]. Each fibre bundle over a contractible base is trivial. 2
π ◦ s = iN : N ,→ Y.
1.1. FIBRE BUNDLES 11
A section of a fibre bundle over an open subset of its base will be called simply a
(local) section. A fibre bundle, by definition, admits a local section over an open
neighbourhood of each point of its base.
? ?
(1.1.2)
0
X −→ X
f
is commutative, i.e., Φ sends fibres to fibres. In brief, we will say that (1.1.2) is a
fibred morphism
Φ : Y −→ Y 0
f
over f . If f = Id X, then
Φ : Y −→ Y 0
X
A fibred morphism Φ (1.1.2) over X (or its image Φ(Y )) is said to be a subbundle
of the fibre bundle Y 0 → X if Φ(Y ) is a submanifold of Y 0 .
We deduce from the implicit function theorem the following useful criteria for
an image and a pre-image of a fibred morphism to be a subbundle [149, 185].
together with the natural projection (x0 , y) 7→ x0 . Roughly speaking, the fibre of
the pull-back f ∗ Y over a point x0 ∈ X 0 is that of Y over the point f (x0 ) ∈ X. If
X 0 ⊂ X is a submanifold of X and iX 0 is the corresponding natural injection, then
the pull-back
i∗X 0 Y = Y |X 0
Y ×Y 0
Vector bundles
• its typical fibre V and all the fibres Yx = π −1 (x), x ∈ X, are real finite-
dimensional vector spaces;
1.1. FIBRE BUNDLES 13
ψα (x) : Yx → V, ∀x ∈ Uα .
Dealing with a vector bundle Y , we always use linear bundle coordinates (xλ , y i )
associated with the above-mentioned bundle atlas Ψ. We have
(pr2 ◦ ψα )(y) = y i ei ,
y = y i ei (x) = y i ψα (x)−1 (ei ),
where {ei } is a fixed basis for the typical fibre V of Y , while {ei (x)} is the fibre
basis (or the frame) for the fibre Yx of Y , which is associated with the bundle atlas
Ψ.
By virtue of Theorem 1.1.2, vector bundles have global sections, e.g., the global
zero section 0(X).
b If there is no risk of confusion, we write 0,
b instead of 0(X).
b
A morphism of vector bundles Φ : Y → Y 0 is defined as a fibred morphism over
f : X → X 0 whose restriction Φx : Yx → Yf0(x) to each fibre of Y is a linear map. It
is called a linear bundle morphism over f .
The following assertion is a corollary of Theorem 1.1.3.
c : Y ⊗ Y ∗ −→ X × R.
X
14 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
Φ∗ : Y2∗ → Y1∗ ,
def
hΦ∗ (u), vi =hu, Φ(v)i, ∀v ∈ π1−1 (f −1 ◦ π2∗ (u)) ⊂ Y1 , u ∈ Y2∗ , (1.1.3)
Affine bundles
• All the fibres Yx of Y are affine spaces over the corresponding fibres Y x of the
vector bundle Y .
ψα (x) : Yx → V, ∀x ∈ Uα .
Y × Y −→ Y, (y i , y i ) 7→ y i + y i ,
X X
Y × Y −→ Y , (y i , y 0i ) 7→ y i − y 0i ,
X X
1.1. FIBRE BUNDLES 15
Y 0 = Y ⊕ Z.
X
πZ : T Z → Z
ΨZ = {(Uξ , φξ )}
Ψ = {(πz−1 Uξ ), ψξ = T φξ )},
16 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
where by T φξ is meant the tangent map to φξ . The associated linear bundle coor-
dinates (ż λ ) on T Z are called the induced (or holonomic) coordinates with respect
to the frames {∂λ } in tangent spaces Tz Z. Their transition functions read
∂z 0λ µ
ż 0λ = ż .
∂z µ
Every manifold morphism f : Z → Z 0 generates the fibred morphism of the tangent
bundles
T f : T Z −→ T Z 0 ,
f
∂f λ µ
ż 0λ ◦ T f = ż ,
∂z µ
called the tangent map to f .
The cotangent bundle of a manifold Z is the dual
π∗Z : T ∗ Z → Z
π ◦ πY : T Y → X
T π : T Y → T X.
1.1. FIBRE BUNDLES 17
? ?
Y −→ X
π
V Φ = T Φ|V Y : V Y → V Y 0 ,
ẏ 0i ◦ V Φ = ∂V Φi = ẏ j ∂j Φi , (1.1.4)
VY ∼
= Y ×Y (1.1.5)
X
because the coordinates ẏ i on V Y have the same transformation law as the linear
coordinates y i on Y .
An affine bundle Y → X modelled over a vector bundle Y → X also admits the
canonical vertical splitting of the vertical tangent bundle
VY ∼
= Y ×Y (1.1.6)
X
because the coordinates ẏ i on V Y have the same transformation law as the linear
coordinates y i on the vector bundle Y .
The cotangent bundle T ∗ Y of a fibre bundle Y → X is equipped with the
coordinates (xλ , y i , ẋλ , ẏi ). There is its natural fibration T ∗ Y → X over X, but not
over T ∗ X.
18 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
ζ : T ∗ Y → V ∗ Y, (1.1.7)
Y
ζ : ẋλ dx + ẏi dy i 7→ ẏi dy i ,
λ
where {dy i } are the bases for fibres of V ∗ Y , which are dual of the frames {∂i } in
the vertical tangent bundle V Y .
With V Y and V ∗ Y , we have the following two exact sequences of vector bundles
over Y :
0 → V Y ,→ T Y → Y × T X → 0, (1.1.8)
X
0 → Y × T ∗ X ,→ T ∗ Y → V ∗ Y → 0. (1.1.9)
X
Y × T X, Y × T ∗X
X X
simply by T X and T ∗ X.
Example 1.1.2. Let us consider the tangent bundle T T ∗ X of T ∗ X and the cotan-
gent bundle T ∗ T X of T X. Relative to coordinates (xλ , pλ = ẋλ ) on T ∗ X and (xλ , ẋλ )
on T X, these fibre bundles are provided with the coordinates (xλ , pλ , ẋλ , ṗλ ) and
(xλ , ẋλ , ẋλ , ẍλ ), respectively. By inspection of the coordinate transformation laws,
one can show that there is the isomorphism
α : T T ∗X ∼
= T ∗ T X, pλ ←→ ẍλ , ṗλ ←→ ẋλ (1.1.10)
αV : V V ∗ Y ∼
= V ∗ V Y, pi ←→ ÿi , ṗi ←→ ẏi (1.1.11)
over V Y , where (xλ , y i , pi , ẏ i , ṗi ) and (xλ , y i , ẏ i , ẏi , ÿi ) are coordinates on V V ∗ Y and
V ∗ V Y , respectively. •
Sheaves
1.1. FIBRE BUNDLES 19
There are several equivalent definitions of sheaves [16, 80]. We will start from
the following. A sheaf on a topological space X is a topological fibre bundle S →
X whose fibres, called the stalks, are Abelian groups Sx provided with discrete
topology.
A presheaf on a topological space X is defined if an Abelian group SU corresponds
to every open subset U ⊂ X (S∅ = 0) and, for any pair of open subsets V ⊂ U ,
there is the homomorphism
rVU : SU → SV
such that
rUU = Id SU ,
U V U
rW = rW rV , W ⊂ V ⊂ U.
rVU : SU → SV
For instance, two real functions s and s0 on X define the same germ sx if they
coincide on an open neighbourhood of x. The sheaf generated by the presheaf in
Example 1.1.3 is called the sheaf of continuous functions. The sheaf of smooth
functions on a manifold X is defined in a similar way.
Two different presheaves may generate the same sheaf. Conversely, a sheaf de-
fines a presheaf of Abelian groups Γ(U, S) of local sections of the sheaf S. This
presheaf {Γ(U, S), rVU } is called the canonical presheaf of the sheaf S. It is eas-
ily seen that the sheaf generated by the canonical presheaf {Γ(U, S), rVU } of the
20 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
sheaf S coincides with S. Therefore, we will further identify sheaves and canonical
presheaves.
Example 1.1.4. Let Y → X be a vector bundle. The germs of its sections make
up the sheaf S(Y ) of sections of Y → X. The stalk Sx (Y ) of this sheaf at a point
x ∈ X consists of the germs of sections of Y → X in a neighbourhood of x ∈ X.
The stalk Sx (Y ) is a module over the ring Cx∞ (X) of the germs at x ∈ X of smooth
functions on X. If we deal with a tangent bundle T X → X, the stalk Sx (T X) is a
Lie algebra with respect to the Lie bracket of vector fields. •
Vector fields
[v, u] = (v λ ∂λ uµ − uλ ∂λ v µ )∂µ , u = uλ ∂λ , v = v λ ∂λ .
ċ = u ◦ c,
ċλ (t) = uλ (c(t)), t ∈ ().
Recall that, for every point z ∈ Z, there exists a unique integral curve
c : (−, ) → Z, > 0,
• for each t ∈ (−, ), the mapping Gt is a diffeomorphism of U onto the open
subset Gt (U ) ⊂ Z;
g ∗ φ = φ, ∀g ∈ Gu ,
uY = y i ∂i (1.2.5)
1.2. MULTIVECTOR FIELDS AND DIFFERENTIAL FORMS 23
on Y , called the Liouville vector field. For instance, the Liouville vector field on the
tangent bundle T X reads
uT X = ẋλ ∂˙λ . (1.2.6)
Accordingly, any vector field τ = τ λ ∂λ on a manifold X has the canonical vertical
lift
τV = τ λ ∂˙λ (1.2.7)
onto the tangent bundle T X.
Multivector fields
i=1
24 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
ϑ = τ 1 ∧ · · · ∧ τ r,
where τVk is the vertical lift (1.2.7) onto T Z of the vector field τ k .
Example 1.2.1. The tangent lift of a bivector field
1
w = wµν ∂µ ∧ ∂ν
2
is
1
we = (ż λ ∂λ wµν ∂˙µ ∧ ∂˙ν + wµν ∂µ ∧ ∂˙ν + wµν ∂˙µ ∧ ∂ν ).
2
•
Schouten–Nijenhuis bracket
The Schouten–Nijenhuis bracket commutes with the tangent lift (1.2.9) of mul-
tivectors [67], i.e.,
[ϑ,
e υe]SN = [ϑ,
gυ] .
SN (1.2.14)
Remark 1.2.3. Let us point out another sign convention used in the definition of
the Schouten–Nijenhuis bracket [125]. This bracket, denoted by [., .]SN0 , is
(−1)(|ν|−1)(|υ|−1) [ν, [ϑ, υ]SN0 ]SN0 + (−1)(|ϑ|−1)(|ν|−1) [ϑ, [υ, ν]SN0 ]SN0 + (1.2.18)
(−1)(|υ|−1)(|ϑ|−1) [υ, [ν, ϑ]SN0 ]SN0 = 0.
The equalities (1.2.16) and (1.2.18) show that, with the modified Schouten–Nijenhuis
bracket (1.2.15), the Z-graded vector space T∗ (Z) of multivector fields on a manifold
Z is a graded Lie algebra, where the Lie degree of a multivector field ϑ is | ϑ | −1.
In particular,
def
adϑ(υ) =[ϑ, υ]SN0 (1.2.19)
26 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
adϑ(υ) = Lϑ υ (1.2.20)
Exterior forms
d ◦ d = 0,
d(φ ∧ σ) = d(φ) ∧ σ + (−1)|φ| φ ∧ d(σ),
f ∗ (φ ∧ σ) = f ∗ φ ∧ f ∗ σ,
df ∗ φ = f ∗ (dφ).
1.2. MULTIVECTOR FIELDS AND DIFFERENTIAL FORMS 27
π ∗ : O∗ (X) → O∗ (Y ).
Exterior forms
r
φ : Y → ∧ T ∗ X,
1
φ = φλ1 ...λr dxλ1 ∧ · · · ∧ dxλr ,
r!
on Y such that ϑcφ = 0 for arbitrary vertical vector field ϑ on Y are said to be
horizontal forms. A horizontal n-form is called a horizontal density. We will use the
notation
fe = ẋλ ∂λ f. (1.2.22)
Let σ be an r-form on X. Its tangent lift onto T X is said to be the r-form σe given
by the relation
where τi are arbitrary vector fields on T X, and τei are their canonical lifts (1.2.2)
onto T X. We have the coordinate expression
1
σ= σλ ···λ dxλ1 ∧ · · · ∧ dxλr ,
r! 1 r
1
σe = [ẋµ ∂µ σλ1 ···λr dxλ1 ∧ · · · ∧ dxλr + (1.2.24)
r!
r
σλ1 ···λr dxλ1 ∧ · · · ∧ dẋλi ∧ · · · ∧ dxλr ].
X
i=1
28 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
dσe = dσ.
f
Interior products
The generalization of the interior product (1.2.26) for multivector fields is the
left interior product
of multivector fields and exterior forms, which is derived from the equality
Example 1.2.5. The formula (1.2.29) can be generalized for multivector fields as
follows [13]:
[ϑ, υ]SN cφ = (−1)|υ|(|ϑ|−1) ϑcd(υcφ) + (−1)|ϑ| υcd(ϑcφ) − υcϑcdφ,
where | φ |=| ϑ | + | υ | −1. •
Ω[ : T Z → T ∗ Z,
def
Ω[ (v) = −vcΩ(z), v ∈ Tz Z, (1.2.33)
[ µ ν
Ω (v) = −Ωµν (z)v dz .
One says that a 2-form Ω is of rank r at a point z ∈ Z if the morphism (1.2.33) has
k
rank r at z. This is the maximal number 2k such that ∧ Ω(z) 6= 0.
The kernel of a 2-form Ω is defined as the kernel
def [
Ker Ω = {v ∈ Tz Z : vcucΩ = 0, ∀u ∈ Tz Z} (1.2.34)
z∈Z
where the morphisms wΩ] (1.2.31) and Ω[w (1.2.33) obey the relations
i.e.,
The Lie derivative of an exterior form φ along a vector field u is given by the
equality
Lu φ = ucdφ + d(ucφ).
Lu f = u(f ) = ucdf.
The relation
Lu (φ ∧ σ) = Lu φ ∧ σ + φ ∧ Lu σ
Lu (φ) = u∗ φe
[67, 147]. The Lie derivative (1.2.20) of a multivector field υ along a vector field u
is
Lu (ϑ ∧ υ) = Lu ϑ ∧ υ + ϑ ∧ Lu υ
Tangent-valued forms
Elements of the tensor product Or (Z) ⊗ T (Z) are called the tangent-valued
r-forms
r
φ : Z → ∧ T ∗ Z ⊗ T Z,
1
φ = φµλ1 ...λr dz λ1 ∧ · · · ∧ dz λr ⊗ ∂µ .
r!
There is one-to-one correspondence between the tangent-valued 1-forms φ on a ma-
nifold Z and the linear bundle endomorphisms over Z:
φb : T Z → T Z,
φb : Tz Z 3 v 7→ vcφ(z) ∈ Tz Z, (1.2.37)
and
φb∗ : T ∗ Z → T ∗ Z,
φb∗ : Tz∗ Z 3 v ∗ 7→ φ(z)cv ∗ ∈ Tz∗ Z. (1.2.38)
θZ = dz λ ⊗ ∂λ
J ◦ τe = τV , J ◦ τV = 0,
where τe is the canonical lift (1.2.2) and τV is the vertical lift (1.2.7) onto T T X of a
vector field τ on T X. This endomorphism reads
Distributions
In view of this fact, involutive distributions are also called completely integrable
distributions.
If a distribution T is not involutive, there are no integral submanifolds of di-
mension equal to the dimension of a distribution. However, integral submanifolds
always exist, e.g., the integral curves of vector fields, subordinate to T.
We refer the reader to [68] for a detailed exposition of differential and Pfaffian
systems.
A differential system S on a manifold Z is said to be a subbundle of the sheaf
S(T Z) of vector fields on Z whose fibre Sz at each point z ∈ Z is a submodule
34 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
Here [S, S0 ]z is the Cz∞ (Z)-module generated by [v, u], v ∈ Sz , u ∈ S0z . Let S(T) be
a differential system associated with a distribution T, and let
S(T) = S1 ⊂ S2 ⊂ · · ·
be its flag. In general, Si is not associated with a distribution. If this is the case for
all i, we may define the flag of a distribution
T = T1 ⊂ T2 ⊂ · · · . (1.2.41)
A distribution is called regular if its flag (1.2.41) is well defined. The sequence
(1.2.41) stabilizes, i.e., there exists an integer r such that Tr−1 6= Tr = Tr+1 [184];
moreover Tr is involutive. In particular, if r = 1, we are dealing with the integrable
case. If Tr = T Z, the distribution T is called totally non-holonomic.
A codistribution T∗ on a manifold Z is a subbundle of the cotangent bundle.
For instance, the annihilator Ann T of an n-dimensional distribution T is a (k − n)-
dimensional codistribution.
Theorem 1.2.3. [185]. Let T be a distribution and Ann T its annihilator. Let
∧Ann T be the ideal of the exterior algebra O∗ (Z) which is generated by elements of
Ann T. A distribution T is involutive if and only if the ideal ∧Ann T is a differential
ideal, i.e., d(∧Ann T) ⊂ ∧Ann T. 2
∂
u= .
∂z 1
•
Foliations
[90, 150]. Note that leaves of a foliation fail to be imbedded submanifolds, i.e.,
topological subspaces in general.
Example 1.2.7. Submersions π : Y → X and, in particular, fibre bundles are
foliations with the leaves π −1 (x), x ∈ π(Y ) ⊂ X. A foliation is called simple if it is
a fibre bundle. Any foliation is locally simple. •
36 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
f (z) = c, c ∈ f (Z) ⊂ R.
This is the foliation of level surfaces of the function f , called a generating function.
Every 1-codimensional foliation is locally a foliation of level surfaces of some function
on Z. •
Jet manifolds
(xλ , y i , yλi ),
(xλ , y i , yλi )(jx1 s) = (xλ , si (x), ∂λ si (x)),
i ∂xµ
y0λ = (∂µ + yµj ∂j )y 0i . (1.3.1)
∂x0 λ
It is called the jet manifold of sections of the fibre bundle Y → X (or simply the jet
manifold of the fibre bundle Y → X).
1.3. JET MANIFOLDS 37
π 1 : J 1 Y 3 jx1 s 7→ x ∈ X, (1.3.2)
π01 : J 1 Y 3 jx1 s 7→ s(x) ∈ Y, (1.3.3)
T ∗ X ⊗ V Y → Y.
Y
For the sake of convenience, the fibration J 1 Y → X is further called a jet bundle,
while the fibration J 1 Y → Y is an affine jet bundle.
There are the following two canonical monomorphisms of the jet manifold J 1 Y
over Y :
λ : J 1 Y ,→ T ∗ X ⊗ T Y, (1.3.4)
Y
λ = dxλ ⊗ dλ = dxλ ⊗ (∂λ + yλi ∂i ),
θ1 : J 1 Y ,→ T ∗ Y ⊗ V Y, (1.3.5)
Y
θ1 = θi ⊗ ∂i = (dy − yλi dxλ ) ⊗ ∂i ,
i
where
is called the contact form. In accordance with these monomorphisms, every element
of the jet manifold J 1 Y can be represented by the tangent-valued forms
J 1Φ : J 1Y → J 1Y 0,
Φ
1
J Φ: jx1 s 7→ jf1(x) (Φ ◦ s ◦ f −1 ),
i ∂(f −1 )µ
y 0 λ ◦ J 1 Φ = (∂j Φi yµj + ∂µ Φi ) ,
∂x0λ
called the jet prolongation of the morphism Φ.
38 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
Each section s of a fibre bundle Y → X has the jet prolongation to the section
def
(J 1 s)(x) = jx1 s,
(y i , yλi ) ◦ J 1 s = (si (x), ∂λ si (x)),
u = r1 ◦ J 1 u : J 1 Y → J 1 T Y → T J 1 Y,
u = uλ ∂λ + ui ∂i + (dλ ui − yµi ∂λ uµ )∂iλ , (1.3.7)
on the jet manifold J 1 Y . One can show that the jet prolongation of vector fields
u 7→ u is the morphism of Lie algebras, i.e.,
[u, u0 ] = [u, u0 ].
r1 : J 1 T Y → T J 1 Y,
ẏλi ◦ r1 = (ẏ i )λ − yµi ẋµλ .
V J 1 Y = J 1 V Y, (1.3.8)
ẏλi i
= (ẏ )λ .
The canonical morphisms (1.3.4) and (1.3.5) can be viewed as the morphisms
b : J 1 Y × T X 3 ∂ 7→ d = ∂ cλ ∈ J 1 Y × T Y
λ (1.3.9)
λ λ λ
X Y
and
where {dy i } are the bases for the fibres of the vertical cotangent bundle V ∗ Y . These
morphisms determine the canonical horizontal splittings of the pull-backs
J 1 Y × T Y = λ(T
b X) ⊕ V Y, (1.3.11)
Y J 1Y
ẋλ ∂λ + ẏ i ∂i = ẋλ (∂λ + yλi ∂i ) + (ẏ i − ẋλ yλi )∂i ,
and
J 1 Y × T ∗ Y = T ∗ X ⊕ θb1 (V ∗ Y ), (1.3.12)
Y J 1Y
ẋλ dx + ẏi dy i = (ẋλ + ẏi yλi )dxλ + ẏi (dy i − yλi dxλ ).
λ
Taking the first order jet manifold of the jet bundle J 1 Y → X, we come to the
repeated jet manifold J 1 J 1 Y , provided with the adapted coordinates
i
(xλ , y i , yλi , y(µ) i
, yµλ ),
µ
i ∂x j
y 0 (λ) = 0
0i
λ (∂µ + y(µ) ∂j )y ,
∂x
0i ∂xα j j ν 0i
y µλ = 0 µ (∂α + y(α) ∂j + yνα ∂j )y λ .
∂x
There exist two different affine fibrations of J 1 J 1 Y over J 1 Y :
• the familiar affine jet bundle (1.3.3)
T ∗ X ⊗ V J 1 Y → J 1 Y, (1.3.14)
J 1Y
J 1 (T ∗ X ⊗ V Y ) → J 1 Y (1.3.16)
The second order jet manifold J 2 Y can also be seen as the set of the equivalence
classes jx2 s of sections s of the fibre bundle Y → X, which are identified by their
values and the values of their first and second order partial derivatives at points
x ∈ X:
Proposition 1.3.1. Let s be a section of the jet bundle J 1 Y → X and J 1 s its jet
prolongation to the section of the repeated jet bundle J 1 J 1 Y → X. The following
three facts are equivalent:
dλ = ∂λ + yλi ∂i + yλµ
i
∂iµ .
dλ (φ ∧ σ) = dλ (φ) ∧ σ + φ ∧ dλ (σ),
dλ (dφ) = d(dλ (φ)).
Every section s of a fibre bundle Y → X gives rise to the section J k s of the fibre
bundle J k Y → X such that
E : J kY → E (1.3.17)
X
42 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
Its (classical) solution is a (local) section s of the fibre bundle Y → X such that
its k-order jet prolongation J k s lives in E.
For instance, if the kernel (1.3.18) of a differential operator E is a closed sub-
bundle of the fibre bundle J k Y → X, it defines a differential equation
E ◦ J k s = 0.
The following condition is sufficient for a kernel of a differential operator to be
a differential equation.
1.4 Connections
Subsections: Connections, 42; The curvature of connections, 44; Linear connections,
44; Affine connections, 45; Flat connections, 45.
Connections
T Y = Γ(T X) ⊕ V Y, (1.4.1)
Y
ẋλ ∂λ + ẏ i ∂i = ẋλ (∂λ + Γiλ ∂i ) + (ẏ i − ẋλ Γiλ )∂i ,
T ∗ Y = T ∗ X ⊕ Γ(V ∗ Y ), (1.4.2)
Y
ẋλ dxλ + ẏi dy = (ẋλ + Γiλ ẏi )dxλ + ẏi (dy i − Γiλ dxλ ),
i
σ : Y → T ∗ X ⊗ V Y,
Y
σ= σλi dxλ ⊗ ∂i .
called the covariant differential. Its action on sections s of the fibre bundle Y reads
∇Γ s = DΓ ◦ J 1 s = [∂λ si − (Γ ◦ s)iλ ]dxλ ⊗ ∂i . (1.4.6)
For instance, a section s is said to be an integral section for a connection Γ, if
∇Γ s = 0, i.e., Γ ◦ s = J 1 s. For any section s of a fibre bundle Y → X, there exists
a connection Γ on Y → X such that s is its integral section. This connection is an
extension of the section s(x) 7→ J 1 s(x) of the affine jet bundle J 1 Y → Y over the
closed submanifold s(X) ⊂ Y in accordance with Theorem 1.1.2.
A connection Γ on a fibre bundle Y → X defines the horizontal lift
Γτ = τ λ (∂λ + Γiλ ∂i ) (1.4.7)
onto Y of each vector field τ = τ λ ∂λ on X.
Linear connections
Affine connections
Flat connections
Γ : Y → J 1 Y,
Γ(y) = jx1 sy , π(y) = x,
Let G be a real Lie group with dim G > 0 and gl [gr ] its left [right] Lie algebra
of left-invariant vector fields ξl (g) = T Lg (ξl (e)) [right-invariant vector fields ξr (g) =
T Rg (ξr (e))] on the group G. Here, e is !
the unit element of G, while Lg and Rg denote the action of G on itself on
the left and on the right, respectively. Every left-invariant vector field ξl (g) [right-
invariant vector field ξr (g)] corresponds to the element v = ξl (e) [v = ξr (e)] of the
tangent space Te G provided with both left and right Lie algebra structures. For
instance, given v ∈ Te G, let vl (g) and vr (g) be the corresponding left-invariant and
right-invariant vector fields. There is the relation
Let {m = m (e)} [{εm = εm (e)}] denote the basis for the left [right] Lie algebra,
and let ckmn be the right structure constants:
[εm , εn ] = ckmn εk .
ρ : gl 3 m 7→ εm = −m ∈ gr (1.5.1)
1.5. BUNDLES WITH SYMMETRIES 47
[m , n ] = −ckmn k .
The tangent bundle πG : T G → G of the Lie group G is trivial. There are the
isomorphisms
%l : T G 3 q 7→ (g = πG (q), T L−1
g (q)) ∈ G × gl ,
%r : T G 3 q 7→ (g = πG (q), T Rg−1 (q)) ∈ G × gr .
The left action Lg of a Lie group G on itself defines its adjoint representation g 7→
Adg in the right Lie algebra gr and its identity representation in the left Lie algebra
gl . Correspondingly, there is the adjoint representation
G × Z 3 (g, z) 7→ gz ∈ Z
gr 3 ε → ξε ∈ T (Z)
of the right Lie algebra gr of G into the Lie algebra of vector fields on Z such that
[100]. Vector fields ξεm are said to be the generators of a representation of the Lie
group G in Z.
Let g∗ = Te∗ G be the vector space dual of the tangent space Te G. It is called the
dual Lie algebra (or the Lie coalgebra), and is provided with the basis {εm } dual of
the basis {εm } for Te G. The group G and the right Lie algebra gr act on g∗ by the
coadjoint representation
def
hAd∗ g(ε∗ ), εi =hε∗ , Ad g −1 (ε)i, ε∗ ∈ g∗ , ε ∈ gr , (1.5.3)
∗ 0 ∗ ∗ 0 0
had ε (ε ), εi = −hε , [ε , ε]i, ε ∈ gr ,
∗ n
ad εm (ε ) = −cnmk εk .
48 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
Remark 1.5.1. In the literature (see, e.g.,[2]), one can meet another definition of
the coadjoint representation in accordance with the relation
•
An exterior form φ on the group G is said to be left-invariant [right-invariant] if
φ(e) = L∗g (φ(g)) [φ(e) = Rg∗ (φ(g))]. The exterior differential of a left-invariant [right-
invariant] form is left-invariant [right-invariant]. In particular, the left-invariant
1-forms satisfy the Maurer–Cartan equations
1
dφ(, 0 ) = − φ([, 0 ]), , 0 ∈ gl .
2
There is the canonical gl -valued left-invariant 1-form
θl : Te G 3 7→ ∈ gl
on a Lie group G. The components θlm of its decomposition θl = θlm m with respect
to the basis for the left Lie algebra gl make up the basis for the space of left-invariant
exterior 1-forms on G:
m cθln = δm
n
.
θr : Te G 3 ε 7→ ε ∈ gr
θl (vg ) = θl (T L−1 −1
g (vg )) = T Lg (vg ), vg ∈ Tg G,
θr (vg ) = θr (T Rg−1 (vg ))
= T Rg−1 (vg ),
ρ(θl (vg )) = −T Lg ◦ T Rg−1 θr (vg ) = −Adg(θr (vg )),
Principal bundles
1.5. BUNDLES WITH SYMMETRIES 49
We refer the reader to [100, 170, 192] for the general theory of principal bundles.
Let πP : P → X be a principal bundle with a real structure Lie group G. There
is the canonical free transitive action
RG : P × G → P, (1.5.4)
X
Rg : p 7→ pg, p ∈ P, g ∈ G,
of G on P on the right.
A principal bundle P is equipped with a bundle atlas ΨP = {(Uα , ψαP )} whose
trivialization morphisms
Due to this property, every trivialization morphism ψαP uniquely determines a local
section zα : Uα → P such that
pr2 ◦ ψαP ◦ zα = e.
where ραβ are the transition functions of the atlas ΨP . Conversely, the family
{(Uα , zα )} of local sections of P , which obey (1.5.5), uniquely determines a bundle
atlas ΨP of P .
A principal bundle P → X admits the canonical trivial vertical splitting
α :VP ∼
= P × gl
such that α−1 (m ) are fundamental vector fields on P corresponding to the basis
elements m for the left Lie algebra gl .
Taking the quotient of the tangent bundle T P → P and the vertical tangent
bundle V P of P by the tangent map T Rg , we obtain the vector bundles
VG P = X × T G/G ∼
= X × gr .
Example 1.5.3. Given a local bundle splitting of P , there are the corresponding
local bundle splitting of TG P and VG P . Given the basis {εp } for the Lie algebra gr ,
we obtain the local fibre bases {∂λ , εp } for the fibre bundle TG P → X and {εp } for
the fibre bundle VG P → X. If
ξ, η : X → TG P,
ξ = ξ λ ∂λ + ξ p εp , η = η µ ∂µ + η q εq ,
•
Let J 1 P be the first order jet manifold of a principal bundle P → X with a
structure Lie group G. Bearing in mind that the jet bundle J 1 P → P is an affine
bundle modelled over the vector bundle
T ∗ X ⊗ V P → P,
P
let us consider the quotient of the jet bundle J 1 P → P by the jet prolongation J 1 Rg
of the canonical action (1.5.4). We obtain the affine bundle
C = J 1 P/G → X (1.5.7)
1.5. BUNDLES WITH SYMMETRIES 51
is the familiar gl -valued connection form on the principal bundle P . Given a local
bundle splitting (Uξ , zξ ) of P , this form reads
q
A = θP − Aλ dxλ ⊗ q ,
where θP is the canonical gl -valued 1-form on P , {p } is the basis of gl , and Apλ are
local functions on P such that
q q
Aλ (pg)q = Aλ (p)Adg −1 (q ).
52 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
Aqλ = aqλ ◦ A
are again the coefficients of the local connection 1-form (1.5.11). In gauge theory,
these coefficients are treated as gauge potentials. We will use this term to refer to
sections A of the fibre bundle C → X.
Let now
Y = (P × V )/G (1.5.12)
where Ipi are generators of the representation of the right Lie algebra gr on V . This
is called the associated principal connection or simply a principal connection on
Y → X.
πLX : LX → X
be the principal bundle of oriented linear frames {sa } in the tangent spaces to X
(or simply the frame bundle). Its structure group is GL+ (n, R). The frame bundle
1.6. COMPOSITE FIBRE BUNDLES 53
is associated with the tangent bundle T X and with the cotangent bundle T ∗ X of
X. Given frames {∂µ } in the tangent bundle T X, every element {sa } of the frame
bundle LX takes the form
sa = sµ a ∂µ ,
where sµ a are matrix elements of the group GL+ (n, R). These matrix elements
constitute the bundle coordinates
∂x0µ λ
(xλ , sµ a ), s0µ a = s a,
∂xλ
on the frame bundle LX. With respect to these coordinates, the canonical action
of GL+ (n, R) on LX on the right reads
where {ta } is a fixed basis for Rn , while sa µ are elements of the inverse matrix of
sµ a .
The frame bundle, like tensor bundles, admits the canonical lift of any diffeo-
morphism f of its base X to the automorphism
fe : (xλ , sλ a ) 7→ (f λ (x), ∂µ f λ sµ a ).
Y → Σ → X, (1.6.1)
54 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
where
πY Σ : Y → Σ (1.6.2)
and
πΣX : Σ → X (1.6.3)
are fibre bundles. This is called a composite fibre bundle. The composite fibre bundle
(1.6.1) is provided with an atlas of fibred coordinates (xλ , σ m , y i ), where (xµ , σ m )
are fibred coordinates on the fibre bundle (1.6.3) and the transition functions σ m →
σ 0m (xλ , σ k ) are independent of the coordinates y i .
The following two assertions on composite fibre bundles are useful in applications
to field theory and mechanics [57, 159].
s = sΣ ◦ h (1.6.4)
Yh = h∗ Y (1.6.5)
ih : Yh ,→ Y
Let us consider the jet manifolds J 1 Σ, JΣ1 Y , and J 1 Y of the fibre bundles Σ → X,
Y → Σ and Y → X, respectively. They are parameterized by the coordinates
where VΣ Y and VΣ∗ Y are vertical tangent and cotangent bundles of the fibre bundle
Y → Σ, respectively. Every connection A (1.6.7) on the fibre bundle Y → Σ
determines the splittings
V Y = VΣ Y ⊕ A(Y × V Σ), (1.6.11)
Y Σ
ẏ i ∂i + σ̇ m ∂m = (ẏ i − Aim σ̇ m )∂i + σ̇ m (∂m + Aim ∂i ),
V ∗ Y = (Y × V ∗ Σ) ⊕ A(VΣ∗ Y ), (1.6.12)
Σ Y
ẏi dy i + σ̇m dσ m = ẏi (dy i − Aim dσ m ) + (σ̇m + Aim ẏi )dσ m ,
56 CHAPTER 1. INTERLUDE: BUNDLES, JETS, CONNECTIONS
of the exact sequences (1.6.9) and (1.6.10), respectively. Using the splitting (1.6.11),
one can construct the first order differential operator
f : J 1 Y → T ∗ X ⊗ V Y,
D Σ
Y
f = dxλ ⊗ (y i − Ai − Ai σ m )∂ ,
D (1.6.13)
λ λ m λ i
called the vertical covariant differential, on the composite fibre bundle Y → X. This
operator can also be seen as the composition
f = pr ◦ D : J 1 Y → T ∗ X ⊗ V Y → T ∗ X ⊗ V Y ,
D 1 B Σ
Y Y
J 1i
J 1 Yh −→
h
J 1Y
Ah 6 6 AΣ
Yh −→ Y
ih
V Γ : V Y → J 1 V Y,
V Γ = dxλ ⊗ (∂λ + Γiλ ∂i + ∂j Γiλ ẏ j ∂˙i ), (1.6.14)
1.6. COMPOSITE FIBRE BUNDLES 57
V ∗ Γ : V ∗ Y → J 1 V ∗ Y,
V ∗ Γ = dxλ ⊗ (∂λ + Γiλ ∂i − ∂j Γiλ ẏi ∂˙ j ). (1.6.15)
on the vector space O0 (Z) of real functions on Z. This map, by definition, satisfies
the following conditions:
(A1) {g, f } = −{f, g} (skew-symmetry),
(A2) {f, {g, h}} + {g, {h, f }} + {h, {f, g}} = 0 (Jacobi identity),
(A3) the support of {f, g} is contained in the intersection of the supports of f
and g.
A manifold Z endowed with a Jacobi structure is called a Jacobi manifold.
A Jacobi bracket provides the space O0 (Z) with a structure of a Lie algebra
because it is expressed by a bidifferential operator of not more than first order in
59
60 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
Let us consider the following examples of Jacobi manifolds which are not Poisson
ones.
Example 2.1.3. Odd-dimensional contact manifolds are Jacobi manifolds in ac-
cordance with Proposition 2.2.6. •
Definition 2.1.2. Given a function f ∈ O0 (Z) on a Jacobi manifold (Z; w, u), the
vector field
def
ϑf = w] (df ) + f u
is called the Hamiltonian vector field for f . 2
The following definition generalizes for Jacobi manifolds the notion of coisotropic
and Lagrangian submanifolds of a Poisson manifold [83] (cf. Definition 2.3.5).
62 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
• coisotropic if
w] (Ann Tz N ) ⊆ Tz N, z ∈ N,
• Lagrangian if
w] (Ann Tz N ) = Tz N ∩ Tz , z ∈ N.
θ ∧ (dθ)m 6= 0 (2.2.1)
everywhere on Z. 2
Ecθ = 1, Ecdθ = 0
[116]. It is readily observed that, relative to the local Darboux coordinates, this
vector field reads E = ∂0 . 2
θ = pi dq i − dt. (2.2.6)
For the sake of convenience, this contact form is chosen to differ in minus sign from
the Darboux one (2.2.2). •
Γ = dt ⊗ (∂t + Γi ∂i )
on the fibre bundle Q → R, the manifold V ∗ Q is provided with the contact form
θΓ = pi (dq i − Γi dt) − dt
(see Proposition 5.2.11 below). The corresponding Reeb vector field reads
E = −(∂t + Γi ∂i − pj ∂i Γj ∂ i ).
Given a (2m + 1)-dimensional contact manifold (Z, θ), the tangent bundle T Z
of Z admits the splitting
T Z = Ker dθ ⊕ Ker θ,
where Ker dθ is the 1-dimensional vector subbundle generated by the Reeb vector
field E [116]. In particular, every vector field u on Z is decomposed in a unique
fashion into
u = (ucθ)E + (u − (ucθ)E).
T ∗ Z = Θ ⊕ Ker E,
φ = (Ecφ)θ + (φ − (Ecφ)θ).
There is the corresponding splitting of the isomorphism (2.2.3). This sends Ker dθ
onto Θ and Ker θ onto Ker E. The restriction of [ to Ker θ coincides with the
morphism (−dθ)[ (1.2.33) defined by the presymplectic 2-form dθ.
The 2m-dimensional subbundle Ker θ of the tangent bundle T Z of a contact
manifold Z is called the contact distribution on Z. Any contact form aθ, where a
is a nowhere vanishing function on Z, defines the same contact distribution on Z.
As is well known, there exist integral submanifolds of the contact distribution Ker θ
of dimension m, but none of higher dimension [15]. It is readily observed that the
contact forms θ and aθ have the same contact distribution.
%∗ θ2 = aθ1
66 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
LE θ = 0.
ϑf cdθ = −df.
Lϑf θ = 0.
Note that the vector field (2.2.7), like ϑf , is a Hamiltonian vector field for the
function f with respect to the presymplectic form dθ.
A contact manifold is a Jacobi one as follows.
Relative to the local Darboux coordinates for the contact form θ, the above-
mentioned Jacobi bracket (2.1.2) reads
X ∂ m+i ∂ ∂ ∂
w= ( + z ) ∧ , u=E= ,
i ∂z i ∂z 0 ∂z m+i ∂z 0
m
X
{f, g} = (∂m+i g∂i f − ∂m+i f ∂i g) + ([g]∂0 f − [f ]∂0 g),
i=1
where
m
z m+i ∂m+i f − f,
X
[f ] =
i=1
m
z m+i ∂m+i g − g.
X
[g] =
i=1
In particular, let (Z, θ) be a contact manifold and (w, u) the associated Jacobi
structure on Z. A submanifold N of Z is a Legendre submanifold of the contact
manifold (Z, θ) if and only if it is the Lagrangian submanifold of the Jacobi manifold
(Z; w, u) [83]. Note that, in this case, the characteristic distribution of the Jacobi
structure coincides with T Z, and we have
wz] (Ann Tz N ) = Tz N.
Lv θ = −bθ.
•
68 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
on Z if and only if
Besides the conditions (A1 – A3), the Poisson bracket (2.3.1) satisfies the Leibniz
rule
Example 2.3.2. Let u and v be vector fields on a manifold Z such that [u, v] = 0
everywhere on Z. It is readily observed from the relation (1.2.12) that w = u ∧ v is
a Poisson bivector field. •
{C, f } = 0, ∀f ∈ O0 (Z).
Casimir functions make up the centre of the Poisson algebra (O0 (Z), w). For in-
stance, if a Poisson structure is non-degenerate, all the Casimir functions (on a
connected manifold Z) are constant.
Let (Z1 , w1 ) and (Z2 , w2 ) be Poisson manifolds. A manifold map % : Z1 → Z2 is
said to be a Poisson morphism if
or
w2 = T % ◦ w1 ,
Lu w = [u, w] = 0. (2.3.3)
• for every pair of functions (f, g) on Y and for each point y ∈ Y , the restriction
of the function {f ◦ π, g ◦ π} to the fibre π −1 (y) is constant;
{f ◦ π, g ◦ π} = {f, g}0 ◦ π.
One says that the Poisson structure w0 in Proposition 2.3.1 is coinduced by the
projection π.
The direct product Z × Z 0 of Poisson manifolds (Z, w) and (Z 0 , w0 ) has the
Poisson structure defined by the bivector field w + w0 on Z × Z 0 . It is called the
direct product of Poisson structures. Obviously, the projections pr1 and pr2 are
Poisson morphisms.
One can speak of a Poisson submanifold (Z 0 , w0 ) of a Poisson manifold (Z, w) if
Z 0 is a submanifold of Z and the natural injection Z 0 → Z is a Poisson morphism.
Definition 2.3.2. Given a real function f on a Poisson manifold (Z, w), the image
ϑf = w] (df ), (2.3.4)
µν
ϑf = w ∂µ f ∂ν ,
Example 2.3.4. The Hamiltonian vector field for a Casimir function equals zero.
•
It is readily observed that each Hamiltonian vector field is also a canonical vector
field.
The Hamiltonian vector field ϑf for a function f , by definition, obeys the rela-
tions
ϑf cdf = 0
and, consequently, ϑf is tangent to the leaves of the singular foliation of the level
surfaces of the function f at its regular points, where df 6= 0.
Remark 2.3.5. It is clear that not every vector field on a Poisson manifold Z is
a Hamiltonian vector field. Given a vector field u on a manifold Z, one can try to
construct a Poisson bracket and to find a function on Z such that u would be a
Hamiltonian vector field for this function. A closely related subject is the inverse
problem in Hamiltonian mechanics, which consists in trying to represent a given
system of first order dynamic equations
ż λ = uλ (z) (2.3.6)
The values of all Hamiltonian vector fields at all points of a Poisson manifold
Z constitute an even-dimensional characteristic distribution T on the Poisson ma-
nifold (Z, w). By virtue of the relation (2.3.5), this distribution is involutive and,
consequently, completely integrable.
Proposition 2.3.4. For any point z of a Poisson manifold, there exists a coordinate
system
(q 1 , . . . , q m , p1 , . . . , pm , z 2m+1 , . . . , z k ) (2.3.7)
The coordinates (2.3.7) are called canonical coordinates. Given canonical coor-
dinates, one says that the coordinates q i and pi are canonically conjugate.
In canonical coordinates (2.3.7), the Poisson bracket (2.3.1) takes the form
w = ∂ i ∧ ∂i ,
{f, g} = ∂ i f ∂i g − ∂i f ∂ i ,
while the Casimir functions are arbitrary functions of the coordinates z A . Accord-
ingly, the Hamiltonian vector field for a function f reads
ϑf = ∂ i f ∂i − ∂i f ∂ i .
• coisotropic if
w] (Ann T N ) ⊆ T N,
• Lagrangian if
w] (Ann T N ) = T N ∩ T.
2.3. POISSON STRUCTURE 73
The following theorems generalize for Poisson manifolds the corresponding re-
sults on symplectic isomorphisms (see [178]).
∆Φ = {(z, Φ(z)) z ∈ Z1 } ⊂ Z1 × Z2
Theorem 2.3.7. [67]. Let u be a vector field on a Poisson manifold (Z, w).
(i) In accordance with the equality (1.2.14), the tangent lift we (1.2.9) of the
Poisson bivector field w is a Poisson bivector field on the tangent bundle T Z of Z.
(ii) A vector field u is an infinitesimal Poisson automorphism of the Poisson
manifold (Z, w) if and only if u(Z) is a Lagrangian submanifold of the Poisson
manifold (T Z, w).
e 2
Theorem 2.3.8. Let Z be a manifold and F a foliation on Z such that every leaf
Fι of F is endowed with a symplectic structure. Given a function f ∈ O0 (Z) on Z,
let ϑιf be a Hamiltonian vector field on a leaf Fι for the function f |Fι with respect
to the symplectic structure on this leaf. Put
def
ϑf (z) = ϑιf (z), z ∈ Fι .
structure (see Example 2.4.2 below), the fibres of the projection pr1 : Z → R
constitute the symplectic foliation on Z which satisfies the conditions of Theorem
2.3.8. Then, the manifold R × T ∗ M is provided with the Poisson structure given by
the Poisson bivector field
w = ∂ i ∧ ∂i . (2.3.9)
Obviously, this is the product of the zero Poisson structure on R and that defined
by the canonical symplectic structure on the cotangent bundle T ∗ M . •
{f, g} = ∂ i f ∂i g − ∂i f ∂ i . (2.3.10)
ψξ : π −1 (Uξ ) → Uξ × V
is endowed with the Poisson structure described in Example 2.3.7 with the Poisson
bracket (2.3.10). To generalize construction of symplectic vector bundles [116], we
will say that Z → X is a symplectic bundle if it admits a bundle atlas Ψ whose
transition functions
sense of Kirillov [98, 123] where a Jacobi bracket is generalized for sections of a
1-dimensional linear bundle, called a Jacobi bundle. •
Example 2.3.9. The Lie coalgebra g∗ of a Lie group G is provided with the
canonical Poisson structure, called the Lie–Poisson structure (see [2, 116, 181]).
This Poisson structure is given by the bracket
def
{f, g} =hε∗ , [df (ε∗ ), dg(ε∗ )]i, f, g ∈ O0 (g∗ ), (2.3.11)
on g∗ , where df (ε∗ ), dg(ε∗ ) ∈ gr since we can regard them as linear mappings from
Tε∗ g∗ = g∗ to R. The Lie–Poisson bracket (2.3.11) is defined by the Poisson bivector
field
wmn = ckmn zk ,
where ckmn are the structure constants of the Lie algebra gr and zk are coordinates
on g∗ with respect to a basis {εk }. We have the coordinate expression
{f, g} = ckmn zk ∂ m f ∂ n g.
There is the following well-known theorem.
Theorem 2.3.9. [186]. The symplectic leaves of the Lie–Poisson structure on the
coalgebra g∗ of a connected Lie group G are the orbits of the coadjoint representation
(1.5.3) of G on g∗ . 2 •
Lu Ω = 0.
θ = pi dq i .
Ω = dθ = dpi ∧ dq i (2.4.2)
The canonical symplectic form (2.4.2) plays the fundamental role in view of
Darboux’s theorem [116].
Theorem 2.4.3. Let (Z, Ω) be a symplectic manifold. Each point of Z has an open
neighbourhood U which is the domain of a canonical coordinate chart
(q 1 , . . . , q m , p1 , . . . , pm )
such that the symplectic form Ω on U is given by the coordinate expression (2.4.2).
2
The canonical coordinates for a symplectic form Ω are also canonical for the
corresponding Poisson bivector field w, and we have
Ω = dpi ∧ dq i , w = ∂ i ∧ ∂i .
With respect to these coordinates, the bundle isomorphism Ω[ (1.2.33) reads
Ω[ : v i ∂i + vi ∂ i 7→ −vi dq i + v i dpi ,
w] : vi dq i + v i dpi 7→ v i ∂i − vi ∂ i .
In view of Proposition 2.4.4, a Poisson structure is termed sometimes a cosym-
plectic structure (one should distinguish this notion from the cosymplectic structure
in Remark 4.8.8). A local structure of an arbitrary Poisson manifold in relation to
a symplectic one is described by the following two theorems [181, 186].
Theorem 2.4.5. Any point of a Poisson manifold has an open neighbourhood which
is Poisson equivalent to a product of a manifold with the zero Poisson structure and
a symplectic manifold. 2
78 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
Ω = dpi ∧ dq i + dz A ∧ dz A
(q 1 , . . . , q m , p1 , . . . , pm , z 2m+1 , . . . , z k , z 2m+1 , . . . , z k )
by the projection
(q 1 , . . . , q m , p1 , . . . , pm , z 2m+1 , . . . , z k , z 2m+1 , . . . , z k ) 7→
(q 1 , . . . , q m , p1 , . . . , pm , z 2m+1 , . . . , z k ).
{f, g} = ∂ i f ∂i g − ∂i f ∂ i g.
Its symplectic realization is the cotangent bundle T ∗ Q of Q endowed with the canon-
ical symplectic form
dΞ = dp ∧ dt + dpi ∧ dq i , (2.4.4)
written with respect to the holonomic coordinates (t, q i , p, pi ) (see Section 5.1). •
Let (Z1 , Ω1 ) and (Z2 , Ω2 ) be symplectic manifolds equipped with the associated
Poisson structures w1 and w2 , respectively. The map % : Z1 → Z2 is a Poisson
isomorphism if it is a symplectic isomorphism. Accordingly, a vector field on a
symplectic manifold is canonical if and only if it is canonical for the associated
2.4. SYMPLECTIC STRUCTURE 79
Poisson structure. However, if dim Z1 > dim Z2 and % is a Poisson morphism, then
this is not a symplectic morphism, i.e.,
w2 = T % ◦ w1 , Ω1 6= %∗ Ω2 .
Lϑ Ω = d(ϑcΩ) = 0.
ϑf cΩ = −df. (2.4.5)
In the literature (see, e.g., [2]), one may meet a definition of Hamiltonian vector
fields, which differs in the minus sign from (2.4.5).
Example 2.4.4. Let us consider the cotangent bundle T ∗ M equipped with the
canonical symplectic form Ω (2.4.2). Let u = ui ∂i be a vector field on M . Then its
canonical lift
ue = ui ∂i − pj ∂i uj ∂ i
uecΩ = −d(ui pi ).
80 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
•
Let us turn now to submanifolds of a symplectic manifold.
Let (Z, Ω) be a 2m-dimensional symplectic manifold and w the corresponding
Poisson bivector field on Z. Let N be an n-dimensional submanifold of Z. The set
def [
OrthΩ T N = {v ∈ Tz Z : vcucΩ = 0, ∀u ∈ Tz N }, (2.4.6)
z∈N
• coisotropic if OrthΩ N ⊂ T N , n ≥ m;
• isotropic if T N ⊂ OrthΩ N , n ≤ m;
• Lagrangian if OrthΩ N = T N , n = m;
q b = ∂ b S, pa = −∂a S, (2.4.7)
at the point 0 ∈ R2m of the symplectic space R2m . The expression (2.4.8) results
from (2.4.7) by means of the symplectic automorphisms
q b 7→ −pb , pb 7→ q b
and
pi → pi + ∂i S(q a , q b ).
{(q, p) ∈ R2m : q i = 0, i = 1, . . . , r}
{(q, p) ∈ R2m : q i = pi = 0, i = 1, . . . , r}
Ω1 Ω2 = pr∗1 Ω1 − pr∗2 Ω2
Example 2.4.7. Let Ω be the canonical symplectic form (2.4.2) on the cotangent
bundle T ∗ M of an m-dimensional manifold M . Then its tangent lift Ω
e (1.2.23) is
the symplectic form
e = dṗ ∧ dq i + dp ∧ dq̇ i
Ω (2.4.9)
i i
ϑH = ∂ i H∂i − ∂i H∂ i
2.5. PRESYMPLECTIC STRUCTURE 83
α−1 ◦ dL : T M → T ∗ T M → T T ∗ M.
α−1 ◦ φ : T M → T ∗ T M → T T ∗ M
(α−1 ◦ φ)∗ Ω
e = dφ.
Using the formula (1.2.29), one can justify the fact that the kernel Ker Ω (1.2.34)
of a presymplectic form Ω of constant rank is an involutive distribution, called the
characteristic distribution [116]. It defines the characteristic foliation on a presym-
plectic manifold Z. The restriction of the presymplectic form Ω to the leaves of this
foliation is equal to zero.
Remark 2.5.1. In contrast with a symplectic structure, a presymplectic one is
not associated with any Poisson structure in a canonical way. Nevertheless, there
is a construction [49] which may make a Poisson bivector field w correspond to a
presymplectic form Ω on a manifold Z in accordance with the relations
w ] ◦ Ω[ ◦ w ] = w ] ,
Ker w] ∩ Im Ω[ = 0.
Lϑ Ω = d(ϑcΩ) = 0.
ϑf cdf = 0
and, consequently, is tangent to the leaves of the singular foliation of the level
surfaces of the function f at regular points, where df 6= 0.
2.5. PRESYMPLECTIC STRUCTURE 85
Note however that, in contrast with Poisson manifolds, not each function on a
presymplectic manifold admits an associated Hamiltonian vector field.
The pull-back of a symplectic form by a manifold map is obviously a presym-
plectic form. The converse is the following.
φ = 0b∗ (Ω + π∗M
∗
φ)
OrthΩφ T 0(M
b ) = (T 0)(Ker
b φ) ⊂ T 0(M
b ).
It follows that the imbedding 0b of the presymplectic manifold (M, φ) into the sym-
plectic manifold (T ∗ M, Ωφ ) is coisotropic.
If a presymplectic form Ω on a manifold M is of constant rank, the stronger
result holds [62, 72].
π ∗ ΩP = i∗N Ω.
One says that (P, ΩP ) is the reduced symplectic manifold of the symplectic manifold
(Z, Ω) via the submanifold N . 2
the connected components of fibres of π are the leaves of the characteristic foliation
for ΩN . Furthermore, if π has connected fibres, the characteristic foliation of ΩN is
simple, and is exactly the fibration N → P .
(ii) Conversely, if the rank of the presymplectic form ΩN on a submanifold N of
a symplectic manifold (Z, Ω) is constant and the characteristic foliation for ΩN is
simple, the base P of the corresponding fibration N → P has a unique symplectic
form such that this fibration is a symplectic reduction of (Z, Ω) via N . This is a
unique symplectic reduction via N with connected fibres. Furthermore, if N → P 0
is another symplectic reduction, there exists a surjection P → P 0 which is a local
symplectic isomorphism. 2
A coisotropic submanifold N provides the most interesting case when the presym-
plectic form ΩN is of constant rank which is neither dim N nor 0.
Example 2.6.1. Let (M, φ) be a presymplectic manifold, where a presymplectic
form φ is of constant rank and its characteristic foliation is simple. Combining the
pull-back constructions in Propositions 2.5.3 and 2.5.5 gives the reduction of the
symplectic structure Ωφ (2.4.3) on the cotangent bundle T ∗ M via the coisotropic
submanifold 0(M
b ). •
The following assertion furnishes the necessary and sufficient conditions for a
reductive structure of a Poisson manifold to be a Poisson reduction.
88 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
w] (Ann E) ⊆ T N + E. (2.6.1)
Example 2.6.3. To compare a Poisson reduction with a symplectic one, let (Z, Ω)
be a symplectic manifold and w the corresponding Poisson bivector field on Z.
Let N be a submanifold of Z such that the presymplectic form ΩN = i∗N Ω is of
constant rank. Put E = OrthT N . Then E ∩ T N = Ker ΩN is tangent to the
characteristic foliation of ΩN . If there exists a symplectic reduction π : N → P
of (Z, Ω) to (P, ΩP ), one can show that (Z, N, OrthT N ) is a reductive structure of
the Poisson manifold (Z, w). The condition (i) of Definition 2.6.3 holds since the
integral manifolds of the distribution Ker ΩN are connected components of fibres of
N → P . Furthermore, since we are on a symplectic manifold, df ∈ Ann (OrthT N )
if and only if the Hamiltonian vector field ϑf for f belongs to
Then, ϑf , ϑg ∈ T N implies
{ϑf , ϑg } = ϑ{f,g} ∈ T N.
Hence, condition (ii) of Definition 2.6.3 also holds. Moreover, the inclusion (2.6.1)
obviously takes place because of (2.6.2). It follows that (Z, N, OrthT N ) is a Poisson
2.6. REDUCTION OF SYMPLECTIC AND POISSON STRUCTURES 89
w] (Ann E) = T N + OrthT N,
One can extend this Example to the Poisson manifold case as follows.
and the relation (2.6.1), the reductive triple (Z, N, w] (Ann T N )) is also a Poisson
reduction, while the reduced Poisson manifold P is exactly the one defined by the
leafwise reduction.
Given a Poisson manifold (Z, w), let (P, W ) be a reduced Poisson manifold of
(Z, w) via a submanifold N . Then one can say that the Poisson algebra O0 (P ) of
smooth functions on P is the reduction of the Poisson algebra of O0 (Z) of smooth
functions on Z. If N is a closed imbedded submanifold of a Poisson manifold Z,
this reduction is described in an intrinsic way, i.e., in terms of ideals of the Poisson
algebra O0 (Z) as follows [97].
90 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
i∗N : O0 (Z) → O0 (N ),
O0 (Z)/I ∼
= O0 (N ) (2.6.4)
ϑf cdg = {f, g} ∈ I, ∀g ∈ I.
Hence, the functions whose Hamiltonian vector fields restrict to vector fields on N
are those functions in the normalizer of I, denoted by
def
I(N ) ={f ∈ O0 (Z) : {f, g} ∈ I, ∀g ∈ I}. (2.6.6)
It follows from the Jacobi identity that the normalizer (2.6.6) is a Poisson subalgebra
of O0 (Z). Put
def
I 0 (N ) = I(N ) ∩ I. (2.6.7)
O0 (P ) ∼
= I(N )/I 0 (N ). (2.6.8)
2.7. APPENDIX. POISSON HOMOLOGY AND COHOMOLOGY 91
Since the right-hand side is naturally a Poisson algebra, this isomorphism defines a
Poisson structure on P . 2
Remark 2.6.4. The result is based on the fact that all sections of w] (Ann T N ) are
restrictions to N of Hamiltonian vector fields for elements in I, while all sections of
C are Hamiltonian vector fields for elements in I 0 (N ) restricted to N . In particular,
if N is coisotropic, I ⊆ I(N ), i.e., I = I 0 (N ) is a Poisson subalgebra of O0 (Z). •
∂p ◦ ∂p+1 = 0, ∀p ∈ N,
92 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
is called the pth homology group of the chain complex B∗ (2.7.1). The chain complex
(2.7.1) is said to be exact at an element Bp if Hp (B∗ ) = 0. It is called an exact
sequence if it is exact at each element.
A sequence
δ0 δ1 δ p−1 δp
0 ,→ B 0 −→ B 1 −→ · · · −→ B p −→ · · · (2.7.2)
δ p ◦ δ p−1 = 0, ∀p ∈ N.
The pth cohomology group of the cochain complex B ∗ (2.7.2) is the quotient
def
H p (B ∗ ) = Ker δ p /Im δ p−1 .
exemplifies a cochain complex. Its cohomology group H p (Z), called the De Rham
pth cohomology group, is the quotient of the space of closed p-forms by the subspace
of exact p-forms. •
on the exterior algebra O∗ (Z), called the Poisson codifferential [19, 102, 181]. It is
given by the coordinate expression
r
(−1)i+1 {f0 , fi }df1 ∧ · · · ∧ df
X
δw (f0 df1 ∧ · · · ∧ dfr ) = c ∧ · · · ∧ df +
i r
i=1
i+j
X
(−1) f0 d{fi , fj } ∧ df1 ∧ · · · ∧ df
c ∧ · · · ∧ df
i
c ∧ · · · ∧ df .
j r
1≤i<j≤r
δ ◦ δ = 0, (2.7.4)
d ◦ δ + δ ◦ d = 0. (2.7.5)
called the canonical complex of the Poisson manifold (Z, w). The homology H∗can (Z)
of this complex is termed the canonical or the Koszul–Brylinski–Poisson homology.
Furthermore, due to the property (2.7.5), the periodic double complex
where w] is the homomorphism (1.2.32). The (2m − r)-form ∗φ is called the adjoint
of the r-form φ relative to the symplectic form Ω. The following equalities
∗(∗φ) = φ, φ ∈ O∗ (Z),
∗(φ ∧ σ) = wΩ] (φ)c(∗σ) = (−1)|φ||σ| wΩ] (σ)c(∗φ)
Lemma 2.7.1. [19]. In the case of a symplectic manifold, the codifferential δ (2.7.3)
on Or (Z) is given by the formula
δ = (−1)r+1 ∗ d ∗ . (2.7.6)
2
94 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
Given a Poisson manifold (Z, w), let us now introduce the operation
on the exterior algebra T∗ (Z) of multivector fields on Z, where [., .] is the Schouten–
Nijenhuis bracket (1.2.10). This operation satisfies the rules
wb ◦ wb = 0, (2.7.9)
b ∧ υ) = w(ϑ)
w(ϑ b ∧ υ + (−1)|ϑ| ϑ ∧ w(υ),
b (2.7.10)
and is sometimes called a contravariant exterior differential [181]. Its relation to the
familiar exterior differential is
b ] (φ)) = −w ] (dφ),
w(w φ ∈ O∗ (Z), (2.7.11)
w(ϑ)cφ
b = ϑcδw (φ) + (−1)|φ| δw (ϑcφ), | ϑ |=| φ | −1. (2.7.12)
−w(f
b ) = [w, f ] = ϑf , f ∈ T0 (Z),
Due to the nilpotency rule (2.7.9), the operation wb (2.7.8) provides the cochain
complex
w w w w
· · · −→ Tr−1 (Z) −→ Tr (Z) −→ Tr+1 (Z) −→ · · · ,
b b b b
2.7. APPENDIX. POISSON HOMOLOGY AND COHOMOLOGY 95
r
called the Lichnerowicz–Poisson cochain complex. The cohomology groups HLP (Z, w)
of this complex are said to be Lichnerowicz–Poisson or LP –cohomology groups of
the Poisson manifold (Z, w).
0
Example 2.7.3. The LP-homology group HLP (Z, w) is the centre of the Poisson
algebra (O0 (Z), w). It consists of functions f ∈ T0 (Z) modulo constant functions
whose Hamiltonian vector fields ϑf = −w(f b ) ∈ Ker wb vanish. •
1
Example 2.7.4. The first LP-homology group HLP (Z, w) is the space of canonical
vector fields u for the Poisson bivector field w (i.e., Lu w = −w(u)
b = 0) modulo
b ), f ∈ T0 (Z). •
Hamiltonian vector fields −w(f
2
Example 2.7.5. The second LP-homology group HLP (Z, w) has the distinguished
element {w} whose representative is the Poisson bivector field w itself. We have
{w} = 0 if there is a vector field u on Z such that w = w(u)
b = −Lu w. •
∗
It is readily observed that, due to the property (2.7.10), HLP (Z, w) makes up a
graded commutative algebra with respect to the product
def
{ϑ} ∧ {υ} ={ϑ ∧ υ}.
H ∗ (Z) → HLP
∗
(Z) (2.7.13)
In general, we have the following relationship between the LP-cohomology and the
canonical homology of a Poisson manifold.
Proposition 2.7.4. By virtue of the relation (2.7.12), the natural pairing (1.2.30)
induces the corresponding pairing
i
h, i : HLP (Z) × Hican (Z) → H0can (Z),
def
h{ϑ}, {φ}i ={hϑ, φi},
The constructions of the LP-cohomology and the canonical homology for Poisson
manifolds can be extended to the Jacobi ones [115].
Given a Jacobi manifold (Z; w, u), let us define the operator
w
d u : Tr (Z) → Tr+1 (Z),
def
w
d u = −[w, ϑ] + ru ∧ ϑ, ϑ ∈ Tr (Z),
which generalizes the contravariant exterior differential (2.7.8). This operator sat-
isfies the rules
Lu ◦ w
d u=w
d u ◦ Lu ,
w
d u2 (ϑ) = −Lu ϑ ∧ w, ϑ ∈ T∗ (Z), (2.7.14)
|ϑ|
w
d u(ϑ ∧ υ) = w
d u(ϑ) ∧ υ + (−1) ϑ ∧ w
d u(υ).
r
The cohomology groups HLP (Z, w) of this complex are called Lichnerowicz–Jacobi
or LJ–cohomology groups of the Jacobi manifold (Z; w, u). It is clear that, if u = 0
and (Z, w) is a Poisson manifold, the LJ-cohomology is precisely the LP-cohomology.
1
Example 2.7.6. The first LJ-cohomology group HLP (Z, w) has the distinguished
element whose representative is the vector field u, while the second LJ-cohomology
r
group HLP (Z, w) has the distinguished element whose representative is w. •
In the same way that the LP-cohomology groups are connected with the De Rham
cohomology groups, the LJ-cohomology groups are connected with the cohomology
groups of the subcomplex of basic forms of the De Rham complex.
An r-form φ on a Jacobi manifold (Z; w, u) is said to be basic if
ucφ = 0, Lu φ = 0.
It is easily seen that, if φ is a basic form, so is its exterior differential dφ. Hence,
basic forms constitute a subcomplex
d d d d
· · · −→ Or−1 r
B (Z) −→ O (Z)B −→ O
r+1
(Z)B −→ · · · (2.7.17)
w
d u(w] (φ)) = −w] (dφ), φ ∈ OrB (Z). (2.7.18)
Moreover, we deduce from the relation (2.7.15) that, if φ is a basic r-form, then
w] (φ) ∈ T r (Z). In the same way as in Theorem 2.7.3, the equality (2.7.18) yields a
homomorphism
¿from the cohomology of the complex (2.7.17), called the basic De Rham cohomol-
ogy, to the LJ-cohomology.
To introduce the canonical homology of a Jacobi manifold (Z; w, u), let us con-
sider the codifferential δw (2.7.3) defined by the bivector field w. It was proved in
[38] that, if φ is a basic form, so is δw (φ), and δw ◦ δw = 0. Then the chain complex
δ δ δ δ
w
· · · ←− Op−1 w p w p+1 w
B (Z) ←− OB (Z) ←− OB (Z) ←− · · ·
98 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
The result follows from the fact that, if ϑ ∈ T ∗ (Z) and φ is a basic form, then
their pairing hϑ, φi (1.2.30) is a basic function, and from the relation
w
d u(ϑ)cφ = ϑcδw (φ) + (−1)r δw (ϑcφ), φ ∈ OrB (Z), ϑ ∈ T r−1 (Z).
Note that, bearing additionally in mind the map (2.2.4), one can apply the
construction of the LJ-cohomology and the canonical homology of a Jacobi manifold
to contact manifolds as the particular case of Jacobi manifolds. We refer to [38, 115]
for more details.
on an exterior algebra T∗ (Z) of multivector fields on Z. This bracket has the property
def
{φ, σ}w =(δw φ) ∧ σ + (−1)|φ| φ ∧ (δw σ) − δw (φ ∧ σ) (2.8.3)
w] : O1 (Z) → T (Z)
100 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
is a Lie algebra homomorphism (2.8.2). The relationship between the bracket (2.8.4)
and the Poisson bracket (2.3.1) is
•
Using the nilpotency properties (2.7.4) and (2.7.5) of the codifferential δw , one
can obtain the formula
on an algebra of exterior forms O∗ (Z) can be introduced [21, 133]. This is a graded
skew-commutative Lie bracket
on the quotient O∗ (Z)/dO∗ (Z), where the Lie degree of an exterior form φ is | φ | −1.
Let us turn now to an n-ary generalization of Poisson and Jacobi brackets.
which is
• skew-symmetric
• and is a first order linear differential operator on Z with respect to each argu-
ment, i.e.,
and
The bracket (2.8.7) satisfying the fundamental identity (2.8.8) is called a Nambu–
Jacobi bracket and (Z; w, e) is a Nambu–Jacobi manifold [85, 128]. If e = 0, the
bracket (2.8.7) is said to be a Nambu–Poisson bracket, and (Z, w) is a Nambu–
Poisson manifold [9, 84, 175].
The bracket (2.8.7) satisfying the generalized Jacobi identity (2.8.9) is called a
generalized Jacobi bracket, and (Z; w, e) is a generalized Jacobi manifold [84, 145].
102 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
w = w1 ∧ w2 , e = E ∧ w2
whose sections are exterior k-forms on M . This fibre bundle is equipped with the
holonomic coordinates (z λ , pΛ ), where Λ = (λ1 < . . . < λk ) are multi-indices of the
k
length | Λ |= k. The manifold ∧ T ∗ M is provided with the canonical exterior k-form
Θ defined by the relation
k k
un c...u1 cΘ(p) = T ζ(un )c...T ζ(u1 )cp, p ∈ ∧ T ∗ M, ui ∈ Tp (∧ T ∗ M ).
pλ1 ...λk dz λ1 ∧ · · · ∧ dz λk ,
X
Θ= (2.9.1)
Λ
dpλ1 ...λk ∧ dz λ1 ∧ · · · ∧ dz λk
X
ΩM = dΘ = (2.9.2)
Λ
which belongs to the class of multisymplectic forms in the sense of Martin [131]. If
k = 1, the form ΩM (2.9.2) is the familiar symplectic form on the cotangent bundle
T ∗M .
Example 2.9.1. For instance, let Y → X be a fibre bundle over a (1 < n)-
dimensional base X. Let us consider the canonical form Θ (2.9.1) on the exterior
n
product ∧ T ∗ Y . The homogeneous Legendre bundle over Y is said to be the fibre
bundle
n−1
ZY = T ∗ Y ∧ ( ∧ T ∗ X), (2.9.3)
104 CHAPTER 2. GEOMETRY OF POISSON MANIFOLDS
equipped with the holonomic coordinates (xλ , y i , pλi , p), where the coordinate p has
the transformation law
∂xε ∂y j ∂y 0 i
! !
0
p = det p − 0 i µ pµj .
∂x0 ν ∂y ∂x
The canonical bundle monomorphism over Y
n−1 n
iZ : T ∗ Y ∧ ( ∧ T ∗ X) → ∧ T ∗ Y
on the fibre bundle ZY , where we use the notation (1.2.21). Its exterior differential
ΩZ = dp ∧ ω + dpλi ∧ dy i ∧ ωλ (2.9.5)
θLX = sa µ dxµ ⊗ ta ,
called the n-symplectic form. It is readily observed that this form is non-degenerate,
i.e., given a vector field
u = uµ ∂µ + uaµ ∂aµ
on LX, the equality ucdθLX = 0 holds if and only if u = 0. By analogy with the
symplectic case, one can write
where f is an Rn -valued function on the frame bundle LX. There is the class
of functions (e.g., which are constant on the fibres of LX) such that vector fields
satisfying the equation (2.9.6) exist. Then their Jacobi bracket
{f, g} = uf cdg
equipped with the holonomic coordinates (xλ , y i , pλi ) possessing the transition func-
tions
∂y j ∂x0 λ ∂xα
!
λ
p0 i = 0 i µ det pµj . (2.9.8)
∂y ∂x ∂x0 β
Λ = dpλi ∧ dy i ∧ ω ⊗ ∂λ , (2.9.9)
called the polysymplectic form. The Legendre bundle (2.9.7) plays the role of a
finite-dimensional phase space in the Hamiltonian formulation of classical field the-
ory [28, 56, 57, 73, 96, 158, 159].
In the case of X = R, the polysymplectic Hamiltonian formalism leads us to the
Hamiltonian formulation of time-dependent mechanics (see Chapter 5).
The main peculiarity of polysymplectic formalism is that Hamiltonian connec-
tions on the Legendre bundle Π → X play a role similar to Hamiltonian vector fields
on a symplectic manifold. A connection
µ i
γ = dxλ ⊗ (∂λ + γλi ∂i + γλi ∂µ )
Hamiltonian systems
The theory of Hamiltonian systems is a vast subject which can be studied from many
different viewpoints. This Chapter provides a brief exposition of different types of
Hamiltonian systems on Poisson, symplectic and presymplectic manifolds in conser-
vative mechanics. We leave aside many interesting constructions of a Hamiltonian
conservative mechanics and its straightforward extension to the direct product
ψ:W ∼
=R×Z (3.0.1)
R × Z →TZ
Z
J 1ψ : J 1W ∼
= J 1 (R × Z) = R × T Z.
107
108 CHAPTER 3. HAMILTONIAN SYSTEMS
• The Hamilton equations are not necessarily first order dynamic equations.
This Section is devoted to the notions of first and second order dynamic equations
on a manifold, called autonomous dynamic equations.
3.1. DYNAMIC EQUATIONS 109
ż λ = uλ (z), (3.1.1)
By solutions of the first order dynamic equation (3.1.1) are meant integral curves
of the vector field u.
Remark 3.1.1. Generalizing Definition 3.1.1, we will say that an (autonomous)
first order differential equation on a manifold Z is a closed submanifold E of the
tangent bundle T Z of Z. A solution of this differential equation is an integral curve
of a vector field on a submanifold N ⊂ Z, which takes its values into T N ∩ E. •
In this Chapter, we will deal with the first order dynamic equations (3.1.1) when
vector fields u are Hamiltonian vector fields for Poisson, symplectic or presymplectic
structure on a manifold Z, treated as a momentum phase space of conservative
mechanics. However, they are not equivalent to the Hamilton equations in general.
The Hamilton equations with respect to a Poisson structure, by definition, are first
order dynamic equations, and so are the Hamilton equations with respect to a
symplectic structure. This is not the case of Hamilton equations with respect to a
presymplectic structure.
Let us bear in mind the well-known inverse problem in conservative Hamiltonian
mechanics, which consists in trying to represent a first order dynamic equation on a
manifold Z as Hamilton equations with respect to some Poisson structure on Z [32]
(see the next Section). The important motivation of the inverse problem is that,
with a Poisson structure, one may find integrals of motion of a dynamic equation
and also quantize it.
Remark 3.1.2. As in the particular case of the general result [76, 81, 156], let us
point out that every first order dynamic equation on a manifold Z can be represented
as Lagrange equations for a Lagrangian on the tangent bundle T Z, but not in an
explicit form. •
110 CHAPTER 3. HAMILTONIAN SYSTEMS
Ξ = q̇ i ∂i + Ξi (q j , q̇ j )∂˙i (3.1.2)
J(Ξ) = uT M ,
where J is the endomorphism (1.2.39) and uT M is the Liouville vector field (1.2.6)
on T M (see the notation (1.2.4)). 2
The vector field (3.1.2) is called a dynamic vector field. In the literature, it is
often termed a second order dynamic equation.
Let the double tangent bundle T T M be provided with the coordinates
(q i , q̇ i , q̇i , q̈ i ). (3.1.3)
With respect to these coordinates, the second order dynamic equation defined by
the holonomic vector field Ξ (3.1.2) reads
q̇i = q̇ i , q̈ i = Ξi (q j , q̇ j ). (3.1.4)
By solutions of the second order dynamic equation (3.1.4) are meant the curves
c : () → M in a manifold M whose tangent prolongations ċ : () → T M are
integral curves of the holonomic vector field Ξ or, equivalently, whose second order
tangent prolongations c̈ live in the subbundle (3.1.4). They satisfy the second order
differential equations
Given a connection
be the corresponding linear bundle morphism over T M which splits the exact se-
quence
0 −→ VM T M ,→ T T M −→ T M × T M −→ 0.
M
q̇ j ∂j q̇ i = Kji q̇ j ,
Theorem 3.1.4. [136]. Every second order dynamic equation (3.1.4) on a manifold
M defines a connection KΞ on the tangent bundle T M → M whose components are
1
Kji = ∂˙j Ξi . (3.1.7)
2
2
112 CHAPTER 3. HAMILTONIAN SYSTEMS
However, the second order dynamic equation (3.1.4) fails to be a geodesic equa-
tion with respect to the connection (3.1.7) in general. In particular, the geodesic
equation (3.1.6) with respect to a connection K determines the connection (3.1.7)
on T M → M which does not necessarily coincide with K. A second order equation
Ξ on M is a geodesic equation for the connection (3.1.7) if and only if Ξ is a spray,
i.e.,
[uT M , Ξ] = Ξ,
where uT M is the Liouville vector field (2.4.9) on T M , i.e.,
Ξi = aij (q k )q̇ i q̇ j .
In Section 4.3, we will improve Theorem 3.1.4 (see Proposition 4.3.3 below).
An extensive literature is devoted to the inverse problem for second order dy-
namic equations in Lagrangian mechanics. In Section 4.9, we will touch on the
following two aspects of this problem in time-dependent mechanics:
• the condition for an Euler–Lagrange type operator to be an Euler–Lagrange
one as the particular inverse problem in field theory,
{v ∈ Tz Z : v − w] (dH)(z) = 0}.
[
SH = (3.2.1)
z∈Z
ϑH = w] (dH) (3.2.2)
for the Hamiltonian H, that passes through any point of SH . Hence, SH is a first
order equation in accordance with Definition 3.1.1. It is called the Hamilton equation
for the Hamiltonian H with respect to the Poisson structure w.
With respect to the local canonical coordinates (q i , pi , z A ) (2.3.7) for the Poisson
structure w, the Hamilton equation (3.2.1) reads
q̇ i = ∂ i H, ṗi = −∂i H, ż A = 0,
ϑH = ∂ i H∂i − ∂i H∂ i .
Recall that, given a dynamic equation (3.1.1) associated with a vector field u on
a manifold Z, the Lie derivative Lu of a function f on Z along u can be treated as
the evolution of f along solutions of this dynamic equation. If
Lu f = 0, (3.2.4)
114 CHAPTER 3. HAMILTONIAN SYSTEMS
The equality (3.2.5) is called the evolution equation. Substituting solutions r of the
Hamilton equations (3.2.3) in (3.2.5), we obtain the evolution
dt (f ◦ r) = {H, f } ◦ r
{H, f } = 0,
the function f is a first integral of motion of the Hamiltonian system (w, H).
Example 3.2.1. A Hamiltonian H itself is obviously a first integral of motion of
the Hamiltonian system (w, H). •
It is easily seen that, if f and f 0 are first integrals of motion of a Poisson Ha-
miltonian system, so is their Poisson bracket {f, f 0 }. It follows that first integrals
of motions constitute a Lie algebra.
A vector field v on Z is called an infinitesimal symmetry of a Hamiltonian H if
Lv H = 0.
Proposition 3.2.2. For any first order dynamic equation (3.1.1) on a manifold Z,
there exists locally a generating Poisson Hamiltonian system (w, H) on Z such that
(3.1.1) is locally a Hamilton equation. 2
Proposition 3.2.2 leads us to the conditions for the inverse problem of a first
order dynamic equation (3.1.1) to have a global solution.
then u is the Hamiltonian vector field for the function f with respect to the Poisson
structure u ∧ v. 2
Remark 3.2.3. The method based on Propositions 3.2.2 and 3.2.3 can be applied
to study the existence of a generating Poisson structure for a second order dynamic
equation (3.1.4) on a manifold M defined by a holonomic vector field Ξ (3.1.2)
on the tangent bundle T M . In particular, for any second order dynamic equation
116 CHAPTER 3. HAMILTONIAN SYSTEMS
LΞ (w) = [Ξ, w] = 0.
ϑH cΩ = −dH
for the Hamiltonian H, that passes through any point of SH . Hence, SH is a first
order dynamic equation, called the Hamilton equation.
With respect to the local canonical coordinates (q i , pi ) for the symplectic struc-
ture Ω, the Hamilton equation (3.3.1) reads
Using the tangent-valued form φJ (1.2.40) on the tangent bundle T M , let us intro-
duce the Poincaré–Cartan 1-form
def
HL = φJ cdL = πi dq i .
Its differential
EL = uT M cdL − L = q̇ i πi − L, (3.3.6)
called the energy function, where we make use of the Liouville vector field uT M
(1.2.6) on T M . Then we come to the Hamilton equation for the Hamiltonian vector
field ϑL such that
With respect to the coordinates (3.1.3) on the double tangent bundle T T M , the
equation (3.3.7), called the Cartan equation for the Lagrangian L, reads
Since the Lagrangian L is regular, the equation (3.3.8) reduces to the equality
q̇i = q̇ i , (3.3.10)
∂i L − q̈ j πji − q̇ j ∂j πi = 0 (3.3.11)
α : T T ∗M ∼
= T ∗ T M, pi ←→ q̈i , ṗi ←→ q̇i .
The symplectic form ΩL (3.3.5) yields the fibred morphism (1.2.33) over T M :
Ω[L : T T M → T ∗ T M,
q̇i ◦ Ω[L = −q̈ j πji + q̇j (∂i πj − ∂j πi ), q̈i ◦ Ω[L = q̇j πij ,
3.3. SYMPLECTIC HAMILTONIAN SYSTEMS 119
called the Legendre map. A Lagrangian L is regular if and only if the corresponding
Legendre map Lb is a local diffeomorphism. A Lagrangian L is called hyperregular
if the Legendre map Lb is a diffeomorphism.
The tangent map T Lb to the Legendre map Lb is the fibred morphism
T Lb : T T M → T T ∗ M,
pi ◦ T Lb = πi , ṗi = πij q̈ j + ∂j πi q̇j ,
pi = πi , ṗi = ∂i (3.3.15)
120 CHAPTER 3. HAMILTONIAN SYSTEMS
uT ∗ M cdH − H = L ◦ H,
c (3.3.16)
pi ∂ i H − H = L(q i , ∂ i H),
uT M cdL − L = H ◦ L, b
H b−1 ,
c= L
(∂i L) ◦ H
c = −∂ H.
i
L ϑ
T M −→ TTM
L
b TL
b
? ?
∗ ∗
T M −→ T T M
ϑH
ϑH cΩ = −dH. (3.4.2)
In comparison with the symplectic case, the form Ω is degenerate, the set (3.4.1)
fails to be a submanifold in general, and a solution of the equation (3.4.2) does not
necessarily exist everywhere on the manifold Z.
Note that, for any point z ∈ Z, the fibre
of the set SH over z is an affine space modelled over the vector space
Ker z Ω = {v ∈ Tz Z : ucvcΩ = 0, ∀u ∈ Tz Z}
which is the fibre over z of Ker Ω (1.2.34) of the presymplectic form Ω. The fibre
(3.4.3) may be empty.
Proof. Let a vector v ∈ Tz Z, satisfying the equation (3.4.4), exist. Then, the
contraction of the right-hand side of the equation (3.4.4) with an arbitrary element
u ∈ Ker z Ω leads to the equality ucdH(z) = 0. In order to prove the converse
assertion, it suffices to show that
dH(z) ∈ Im Ω[ ,
QED
SH |N ∩ Tz N 6= ∅, ∀z ∈ N,
or equivalently
dH(z) ∈ Ω[ (T N ), ∀z ∈ N.
SH |N2 ∩ T N2
3.4. PRESYMPLECTIC HAMILTONIAN SYSTEMS 123
Remark 3.4.1. Since N2 6= Z in general, one can consider another variant of how
to solve a presymplectic Hamiltonian system. Let N2 (3.4.5) be a submanifold of
Z. It can be provided with the pull-back presymplectic form Ω2 = i∗N2 Ω. Then the
pull-back presymplectic Hamiltonian system
[
SH2 = {v ∈ Tz N2 : vcΩ2 + dH2 (z) = 0}
z∈N2
for the pull-back Hamiltonian H2 = i∗N2 H on N2 can be examined. As for the initial
system SH , we find that the equation
vcΩ2 + dH2 (z) = 0, v ∈ Tz N2 ,
has a solution on the subset
N30 = {z ∈ N2 : uci∗N2 dH(z) = 0, ∀u ∈ Ker z Ω2 ⊂ T N2 } ⊂ N2 ,
and so on. We obtain the chain of submanifolds
N2 ⊃ N30 ⊃ N40 · · ·
which is finite, and is stopped by one of the following results.
124 CHAPTER 3. HAMILTONIAN SYSTEMS
ϑH ci∗N (Ω + dH) = 0
and the presymplectic Hamiltonian system (Ω, H) has solutions everywhere on the
manifold Z. Any such solution ϑH is projected onto a unique solution of the symplec-
tic Hamiltonian system (ΩP , HP ) on the manifold P , while gauge fields are vertical
vector fields on the fibre bundle Z → P . This is the case of a gauge invariant
Hamiltonian system, where P is called a physical phase space.
In the case of a presymplectic Hamiltonian system on a manifold Z, this manifold
fails to be provided with a Poisson structure in general (see Remark 2.5.1), that is an
essential problem for quantization. Nevertheless, by virtue of Propositions 2.5.3 and
2.5.4, every presymplectic form on a manifold Z can be represented as a pull-back of
a symplectic form by the coisotropic imbedding. It follows that each presymplectic
Hamiltonian system can be seen as a Dirac constraint system [26] that we will
investigate in Section 3.6.
Example 3.4.2. Autonomous Lagrangian systems with constraints are often treated
as presymplectic Hamiltonian systems (see [30, 61, 112, 113, 138] and references
therein). Every Lagrangian L on the tangent bundle T M of a configuration mani-
fold M provides T M with the presymplectic form ΩL (3.3.5). Let us consider the
presymplectic Hamiltonian system (ΩL , EL ) on T M for the Hamiltonian EL (3.3.6).
This is exactly the Cartan equation (3.3.8) – (3.3.9) for the Lagrangian L. Its re-
striction to the submanifold q̇i = q̇ i (3.3.10) of the double tangent bundle T T M
of M leads to the Lagrange equations (3.3.11). This means that solutions of the
Lagrange equations are solutions of the Cartan equation which are dynamic vector
fields on T T M .
Conversely, a symplectic Hamiltonian system (Ω, H) on the cotangent bundle
∗
T M can be seen as a degenerate Lagrangian system on the velocity phase space
T T ∗ M of the momentum phase space T ∗ M as follows. Put the Lagrangian
LH = pi q̇ i − H(q i , pi ) (3.4.6)
fa (z) = 0, a = 1, . . . , n, (3.5.1)
where fa (z) are local functions on Z, called the primary constraints. Let us consider
the set
O0 (Z)/IN ∼
= O0 (N )
where g a are functions on Z. This means that the ideal IN is locally generated by
the constraints fa . We will call {fa } a local basis for the ideal IN .
3.5. DIRAC HAMILTONIAN SYSTEMS 127
Let dIN be the submodule of the O0 (Z)-module O1 (Z), which is generated locally
by the exterior differentials df of functions f ∈ IN . Its elements are the finite sums
g i dfi , g i ∈ O0 (Z).
X
σ= fi ∈ IN ,
i
{H, IN } ⊂ IN , (3.5.6)
i.e., if and only if the Hamiltonian H belongs to the normalizer I(N ) (2.6.6) of the
ideal IN . With respect to the local basis {fa }, the condition (3.5.6) reads
n
gac fc ,
X
ϑH cdfa = {H, fa } = (3.5.7)
c=1
{H, fa } = 0.
If the collection of primary and secondary constraints is not closed with respect to
the relation (3.5.7), let us add the tertiary constraints
{H, {H, fa }} = 0,
128 CHAPTER 3. HAMILTONIAN SYSTEMS
and so on. If a solution exists anywhere on N , the procedure is stopped after a finite
number of steps by constructing the complete system of constraints. The complete
system of constraints defines the final constraint space, which do not include the
points of Z where the Hamiltonian vector field ϑH is transversal to the primary
constraint space N .
¿From the algebraic viewpoint, we find an ideal Ifin of O0 (Z) which is the minimal
extension of the ideal IN such that
The admissible Hamiltonians which are not first-class constraints are the rep-
resentatives of the non-zero elements of the quotient I(N )/I 0 (N ), which is the re-
duction of the Poisson algebra O0 (Z) via the ideal IN (see Definition 2.6.8). In
particular, let the presymplectic form i∗N Ω on N be of constant rank and its char-
acteristic foliation be simple, i.e., it defines a fibration π : N → P over a symplectic
manifold P . In view of the isomorphism (2.6.8), one can think of elements of the
3.5. DIRAC HAMILTONIAN SYSTEMS 129
quotient I(N )/I 0 (N ) as being the Hamiltonians on the physical phase space P . It
follows that the restriction of an admissible Hamiltonian H to the constraint space
N coincides with the pull-back onto N of some function f on P , i.e.,
i∗N H = π ∗ f, f ∈ O0 (P ).
SH |N ⊂ S∗H .
vcucΩ
e = τe (q)cτe (q)cΩ
v u
e = (τ (z)cτ
v
g(z)cΩ),
u z = πZ (q).
where S is the germ of a function such that the rank of the tangent map to the
morphism
p → (∂1 S, . . . , ∂2n S)
at 0 is not maximal. We refer the reader to [48] for a detailed classification of the
germs of such generating functions S. •
of the set S∗H over z ∈ N is a non-empty affine space modelled over the vector space
{v ∈ Tz Z : ucvcΩ = 0, ∀u ∈ Tz N } (3.5.9)
which is the fibre of the Ω-orthogonal space OrthΩ T N (2.4.6) of T N . It follows that
OrthΩ T N ⊂ T N . Therefore, a Dirac Hamiltonian system on the constraint space
N is completely integrable only if N is a coisotropic submanifold of the symplectic
manifold (Z, Ω). Then we have
ucdH = 0, ∀u ∈ OrthΩ N.
Proof. Since the set S∗H is not empty, it suffices to show that this set belongs to
T N . Let v ∈ S∗H and z = πZ (v). Whenever u ∈ OrthΩ T N ⊂ T N over z, the
equality
vcucΩ = ucdH = 0
Definition 3.6.1. A Dirac constraint system on the constraint space N is the set
def
{v ∈ Tz N : vci∗N (Ω + dH(z)) = 0}.
[
SN ∗ H = (3.6.1)
z∈N
[58, 172] and references therein). They are called generalized Hamiltonian systems.
In this case, a momentum phase space Z is the cotangent bundle T ∗ M of a config-
uration space M . This phase space is provided with the canonical symplectic form.
A primary constraint space N ⊂ Z is an image of the Legendre map Lb (3.3.13)
defined by a degenerate Lagrangian L on the velocity phase space T M . In fact, one
introduces some initial Hamiltonian H on T ∗ M such that the energy function EL
(3.3.6) for L is the pull-back L∗ H of this Hamiltonian H by the Legendre map L. b
Thus, we come to a Dirac constraint system on the Lagrangian constraint space N .
The goal consists in constructing a Hamiltonian H0 on the momentum phase space
T ∗ M (but not uniquely in general) such that the solution ϑH0 of the symplectic Ha-
miltonian system (Ω, H0 ) on T ∗ M provides a solution of the above-mentioned Dirac
constraint system on a final constraint space.
In fact a Dirac constraint system SN ∗ H is the pull-back presymplectic Hamil-
tonian system (i∗N Ω, i∗N H) on a submanifold N ⊂ Z for the Hamiltonian i∗N H and
with respect to the presymplectic form i∗N Ω on N . For instance, Proposition 3.4.2
shows that the equation
or
{H, I 0 (N )} ⊂ IN , (3.6.3)
whereas
{H, IN } 6⊂ IN (3.6.4)
in general. A glance at the relations (3.6.3) and (3.6.4) shows that, though the
Dirac constraint system on N has a solution, the Hamiltonian vector field ϑH for
the Hamiltonian H with respect to the symplectic form Ω on Z is not tangent to
N , and its restriction to N is not such a solution in general.
Example 3.6.1. Let the final constraint space N be a coisotropic submanifold of
the symplectic manifold (Z, Ω). Then IN = I 0 (N ), i.e., there are only first-class
constraints. In this case, the Hamiltonian vector fields of the Hamiltonian H and
of other Hamiltonians H + f , f ∈ IN , provide solutions of the Dirac constraint
system on N . Note that, if a primary constraint space is coisotropic, we arrive at
a Dirac Hamiltonian system, where the relation (3.6.3) is exactly the condition of
Proposition 3.5.1. •
{H + f, I 0 (N )} ⊂ IN , (3.6.5)
{H + f, IN } ⊂ IN . (3.6.6)
The condition (3.6.5) is fulfilled for any f ∈ IN , while (3.6.6) is an equation for a
second-class constraint f .
134 CHAPTER 3. HAMILTONIAN SYSTEMS
where gba are functions on Z and ϑfa are Hamiltonian vector fields for constraints
fa . Then one can choose the collection of constraints φb , b = 1, . . . , n, where the
first k functions take the form
n
gba fa ,
X
φb = b = 1, . . . , k.
a=1
Let ϑφb be the Hamiltonian vector fields for these functions. One can easily justify
the fact that
ϑφb |N = ub |N , b = 1, . . . , k.
It follows that the constraints φb belong to I 0 (N ) \ IN2 . Therefore, they are called
the first-class constraints, while the remaining φk+1 , . . . , φn are the second-class con-
straints. We have the relations
n
a
X
{φb , φc } = Cbc φa , b = 1, . . . , k, c = 1, . . . , n,
a=1
3.6. DIRAC CONSTRAINT SYSTEMS 135
a
where Cbc are local functions on Z.
It should be emphasized that the constraints φ1 , · · · , φk do not constitute any
local basis for I 0 (N ), though φ1 , · · · , φn make up a local basis for the ideal IN .
Now let us consider a local Hamiltonian on Z
n
H0 = H + λa φa ,
X
(3.6.7)
a=1
where Bba are functions on Z. Then, the equation (3.6.6) takes the form
n n
a
Dcb φb ,
X X
{H, φc } + λ {φa , φc } = c = k + 1, . . . n, (3.6.8)
a=k+1 b=1
where Dcb are functions on Z. This is the system of linear algebraic equations for
the coefficients λa , a = k + 1, . . . n, of second-class constraints. These coefficients
are defined uniquely by the equations (3.6.8), while the coefficients λa , a = 1, . . . , k,
of first-class constraints in the Hamiltonian (3.6.7) remain arbitrary.
Then, being restricted to the constraint space N , the Hamiltonian vector field
of the Hamiltonian H0 (3.6.7) on Z provides a local solution of the Dirac constraint
system on N .
We refer the reader to [137] for a global variant of the above procedure.
Remark 3.6.4. In concrete models, the final constraint space N fails to be given
in advance. Therefore, a different procedure of separating first- and second-class
constraints is usually applied (see, e.g., [39, 58, 172]), but its global treatment is
under discussion. •
136 CHAPTER 3. HAMILTONIAN SYSTEMS
Since G is connected, its action on a manifold Z is symplectic if and only if, for
any element ε of the right Lie algebra gr of a the group G, the corresponding vector
field ξε on Z is locally Hamiltonian, i.e.,
ξε cΩ = −dJε ,
Jb : Z → g∗
Jε (z) = hJ(z),
b εi, ∀ε ∈ gr , (3.7.1)
It is readily observed that, if Jb and Jb0 are different momentum mapping for the
same action of G on Z, then
dhJ(z)
b − Jb0 (z), εi = 0, ∀ε ∈ gr ,
hJ(z),
b εi = (ξε cθ)(z),
is a momentum mapping. •
Proof. We have
Lξε H = ξε cdH = 0, ∀ε ∈ gr ,
and then
{H, Jε } = 0, ∀ε ∈ gr .
QED
Thus, the functions Jε (z) (3.7.1) are first integrals of motion. However, they are
not pairwise in involution in general. Let us find their Poisson brackets.
138 CHAPTER 3. HAMILTONIAN SYSTEMS
J(gz)
b = Ad∗ g(J(z)),
b ∀g ∈ G,
i.e.,
ξm = εim (q)∂i .
and, as follows from Example 3.7.3, there exists the equivariant momentum mapping
Jb = εim (q)pi εm .
σ(g) = J(gz)
b − Ad∗ g(J(z)).
b (3.7.4)
3.7. HAMILTONIAN SYSTEMS WITH SYMMETRIES 139
We refer the reader to [2] for proof that this difference is constant on a symplectic
manifold Z, and fulfills the equality
σ(gg 0 ) = σ(g) + Ad∗ g(σ(g 0 )). (3.7.5)
By this definition, the difference (3.7.4) is the cocycle of the group G associated
with the action of G on Z.
Proof. Let Jb and Jb0 be different momentum mappings associated with a symplectic
b Jb0 is constant
action of a group G on a symplectic manifold Z. Since the difference J−
on Z, then the difference of the corresponding cocycles σ − σ 0 is the coboundary
(3.7.6) where µ = Jb − Jb0 . QED
where f, g ∈ O0 (Z), and by ϑf is meant the Hamiltonian vector field (2.3.4) for a
function f . Note that, by very definition of a Hamiltonian action, generators of a
Hamiltonian action of a group G on a Poisson manifold (Z, w) are tangent to the
leaves of the symplectic foliation on Z, and there is a Hamiltonian action of G on
every symplectic leaf in the sense of symplectic geometry.
Definition 3.7.1, Propositions 3.7.2, 3.7.3, and Definition 3.7.4 are naturally ex-
tended to a Poisson action of a connected Lie group G on a Poisson manifold. Let
us consider the case of an equivariant momentum mapping.
Theorem 3.7.9. [181]. Let (Z, w) be a Poisson manifold endowed with a Hamilto-
nian action of a connected Lie group G and the equivariant momentum map J.
b Let
∗
q be a point of g such that
3.7. HAMILTONIAN SYSTEMS WITH SYMMETRIES 141
Let a subgroup Gq ⊂ G be the stabilizer of the point q. Then intersections Fιq make
up a regular foliation on Zq , and its leaves are the orbits of the connected component
of the unit in Gq for the action of Gq on Zq . Furthermore, if this foliation is defined
by a submersion Zq → P , the base P has a well-defined Poisson structure whose
characteristic distribution is the projection of T ∩ T Zq , where T is the characteristic
distribution on (Z, w). This is exactly the reduced Poisson manifold of (Z, w) via
(Zq , E = T (orbits G)) (see Definition 2.6.3). 2
J(gz)
b = Ad∗ g(J(z))
b + σ(g, z), (3.7.9)
similar to (3.7.4) in the symplectic case, where the function σ(g, z) is constant on
the leaves of the symplectic foliation on Z. Since now σ(g, z) depends on z, we have
different stabilizers of q for the action given by (3.7.9) on g∗ for every symplectic
leaf. Therefore, the foliation on Zq is no longer regular.
We end this Section with the theorem which shows the possibility of reducing a
Poisson Hamiltonian system possessing symmetries.
Theorem 3.7.10. [129, 181]. Let (Z, N, E) be a Poisson reduction and P a reduced
manifold of Z via (N, E). Let H be a Hamiltonian on Z such that the flow Φt of
its Hamiltonian vector field ϑH preserves the submanifold N and the bundle E, and
dH is an annihilator of E. Then Φt induces a flow Φ b of Poisson automorphisms of
t
P (see Proposition 2.6.5) along the Hamiltonian vector field ϑHb for the Hamiltonian
c on P , defined uniquely by the relation H | = π ∗ H.
H c Moreover, we have
N
ϑHb ◦ π = T π ◦ ϑH .
2
142 CHAPTER 3. HAMILTONIAN SYSTEMS
Thus, one can say that, under the hypotheses of Proposition 3.7.10, the Poisson
Hamiltonian system on a Poisson manifold Z reduces to a Poisson system on the
reduced Poisson manifold P .
For the sake of convenience, we will call Π → Y the Legendre vector bundle, while
the term Legendre bundle stands for the fibration Π → X.
Given fibred coordinates (xλ , y i ) on the fibre bundle Y → X, the Legendre bundle
(3.8.1) is equipped with the holonomic coordinates (xλ , y i , pλi ) together with the
transition functions (2.9.8). These coordinates are compatible with the composite
fibration (3.8.2) and are linear bundle coordinates on the vector bundle Π → Y . We
will call them the canonical coordinates.
3.8. APPENDIX. HAMILTONIAN FIELD THEORY 143
which defines the tangent-valued Liouville form on the Legendre bundle Π. Then
the polysymplectic form
Λ = dpλi ∧ dy i ∧ ω ⊗ ∂λ (3.8.4)
Λcφ = −d(Θcφ)
πZΠ : ZY → Π (3.8.6)
Definition 3.8.1. Let h be a section of the fibre bundle (3.8.6). Then the pull-back
n
H = h∗ Ξ : Π → ∧ T ∗ Y, (3.8.7)
H = pλi dy i ∧ ωλ − Hω,
dH = h∗ ΩZ
Γ : V ∗ Y → T ∗ Y,
Γ : dy i 7→ dy i − Γiλ dxλ ,
hΓ : Π → ZY ,
hΓ : pλi dy i ⊗ ωλ 7→ pλi dy i ∧ ωλ − pλi Γiλ ω,
of the exact sequence (3.8.5). It follows that every connection Γ on the fibre bundle
Y → X defines the Hamiltonian form
HΓ = h∗Γ Ξ,
HΓ = pλi dy i ∧ ωλ − pλi Γiλ ω, (3.8.8)
Corollary 3.8.3. Every Hamiltonian form on the Legendre bundle Π admits the
decomposition
f = pλ dy i ∧ ω − pλ Γi ω − H
H = HΓ − H f ω, (3.8.10)
Γ i λ i λ Γ
where Γ is a connection on Y → X. 2
3.8. APPENDIX. HAMILTONIAN FIELD THEORY 145
Φ : Π → J 1 Y,
Y
yλi ◦ Φ = Φiλ (q), q ∈ Π, (3.8.11)
over Y . Its composition with the canonical morphism λ (1.3.4) yields the bundle
morphism
λ ◦ Φ : Π → T ∗X ⊗ T Y
Y Y
ΓΦ = Φ ◦ 0b
ΓbΓ = Γ.
Proposition 3.8.4. [57, 159] Every Hamiltonian form H on the Legendre bundle
Π defines the associated Hamiltonian map
c : Π → J 1 Y,
H
c = ∂ i H.
yλi ◦ H λ (3.8.13)
2
146 CHAPTER 3. HAMILTONIAN SYSTEMS
on Y → X. 2
In particular, we have
ΓHΓ = Γ,
Corollary 3.8.6. Every Hamiltonian form (3.8.10) admits the canonical splitting
H = HΓH − H.
f
In particular, if
HHb = H,
? πΠY
?
Π −→ Y
ΓcΛ
e = d(ΓcΘ).
e is a locally Hamiltonian connection. •
It follows that Γ
Using the relation (3.8.18), we find that the second term in the right-hand side
of the expression (3.8.14) is a closed form. Then, in accordance with the relative
Poincaré lemma, this expression is brought locally into the form
γλi = ∂λi Hγ , λ
γλi = −∂i Hγ .
Given a connection Γ on the fibre bundle Y → X, the local form Hγ in the expression
(3.8.19) can be written as
Hγ = HΓ − H
f ω,
Γ
γcΛ = dH.
where
b = dpλ ∧ dy i ∧ ω + pλ dy i ∧ ω − y i dpλ ∧ ω
Λ i λ λi λ i
3.8. APPENDIX. HAMILTONIAN FIELD THEORY 149
EH = Ker EH → Π (3.8.21)
yλi = ∂λi H,
pλλi = −∂i H.
This affine bundle is modelled over the vector subbundle of the vector bundle
T ∗X ⊗ V Π → Π (3.8.22)
Π
y iλ = 0, pλλi = 0 (3.8.23)
Definition 3.8.11. The first order differential equations EH (3.8.21) are called the
Hamilton equations for the Hamiltonian form H on the Legendre bundle Π. 2
EH ◦ γ = 0.
It follows that every connection on Π → X which takes its values into the Hamilton
equations EH is a locally Hamiltonian connection.
150 CHAPTER 3. HAMILTONIAN SYSTEMS
J 1 πΠY ◦ γ = H,
c (3.8.27)
µ i
γ = dxλ ⊗ (∂λ + ∂λi H∂i + γλi ∂µ ),
where H
c is the Hamiltonian map (3.8.13). It projects over the connection Γ on
H
Y → X associated with the Hamiltonian form H. We have the commutative diagram
J 1Π
γ % ↓ J 1 πΠY
H
Π −→ J 1 Y
b
0 -% ΓH
Y
σe cΩ = 0,
σeλi = 0, λ
σeλi = 0,
and take their values into the subbundle (3.8.23) of the vector bundle (3.8.22).
3.8. APPENDIX. HAMILTONIAN FIELD THEORY 151
∂λ ri = ∂λi H ◦ r, (3.8.28)
∂λ riλ = −∂i H ◦ r. (3.8.29)
J 1 (πΠY ◦ r) = H
c◦r
r∗ (ucdH) = 0
which is assumed to hold for any vertical vector field u on the Legendre bundle
Π → X. •
152 CHAPTER 3. HAMILTONIAN SYSTEMS
Chapter 4
Lagrangian time-dependent
mechanics
153
154 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
is a fibre bundle whose typical fibre M is an m-dimensional manifold, while its base
R is parameterized by the Cartesian coordinates t possessing the transition functions
t0 = t+ const. In the universal unit system, the physical dimension of t is equal to
[length]. A fibre bundle Q → R is endowed with bundle coordinates (t, q i ). For the
sake of convenience, we also use the compact notation q λ where q 0 = t.
ψ:Q∼
=R×M (4.1.1)
differ from each other in the fibrations Q → M , while the fibration Q → R is once
for all.
Let J 1 Q be the first order jet manifold of a fibre bundle Q → R (4.0.1). It is
provided with the adapted coordinates (t, q i , qti ). Given a direct product
Q=R×M →R
4.1. FIBRE BUNDLES OVER R 155
J 1 (R × M ) = R × T M, (4.1.2)
i
q it = q̇ ,
that one can justify by inspection of the transition functions of the coordinates q it and
i
q̇ , when the transition functions of q i are independent of t. Due to the isomorphism
(4.1.2), every trivialization (4.1.1) yields the corresponding trivialization of the jet
manifold
J 1Q ∼
= R × T M. (4.1.3)
3.
Given the jet manifold J 1 Q of a fibre bundle Q → R, the canonical imbedding
(1.3.4) takes the form
λ : J 1 Q ,→ T Q, (4.1.4)
λ : (t, q i , qti ) 7→ (t, q i , ṫ = 1, q̇ i = qti ).
λ = dt = ∂t + qti ∂i , (4.1.5)
where by dt is meant the total derivative. ¿From now on, we will identify the jet
manifold J 1 Q with its image in T Q.
Remark 4.1.1. Following precisely the expression (1.3.4), we should write the
morphism λ (4.1.5) in the form
With respect to the universal unit system, the physical dimension of λ (4.1.5) is
[length]−1 , while λ (4.1.6) is dimensionless. •
J 1 Q × T ∗ Q → Q × R,
Q Q
i
(qt ; ṫ, q̇i ) 7→ λc(ṫdt + q̇i dq i ) = ṫ + qti q̇i , (4.1.7)
where (t, q i , ṫ, q̇i ) are the coordinates on the cotangent bundle T ∗ Q.
156 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
4.
A glance at the expression (4.1.4) shows that the affine jet bundle J 1 Q → Q is
modelled over the vertical tangent bundle V Q of the fibre bundle of Q → R. As a
consequence, we have the following canonical splitting (1.1.6) of the vertical tangent
bundle VQ J 1 Q of the affine jet bundle J 1 Q → Q:
α : VQ J 1 Q ∼
= J 1 Q × V Q, (4.1.8)
Q
α(∂it ) = ∂i ,
together with the corresponding splitting of the vertical cotangent bundle VQ∗ J 1 Q
of J 1 Q → Q:
α∗ : VQ∗ J 1 Q ∼
= J 1 Q × V ∗ Q, (4.1.9)
Q
α∗ (dqti ) = dq i ,
where dqti and dq i are the holonomic bases for VQ∗ J 1 Q and V ∗ Q, respectively. Then
the exact sequence (1.6.9) of vertical bundles over the composite fibre bundle
J 1Q → Q → R (4.1.10)
reads
α−1
?
i π
0 −→ VQ J 1 Q ,→ V J 1 Q −→
V
J 1 Q × V Q −→ 0.
Q
Hence, we obtain the following linear endomorphism over J 1 Q of the vertical tangent
bundle V J 1 Q of the jet bundle J 1 Q → R:
def
vb = i ◦ α−1 ◦ πV : V J 1 Q → V J 1 Q, (4.1.11)
vb(∂i ) = ∂it , vb(∂it ) = 0.
This endomorphism obeys the nilpotency rule
vb ◦ vb = 0. (4.1.12)
Combining the horizontal splitting (1.3.11), the corresponding projection
pr2 : J 1 Q × T Q → J 1 Q × V Q ∼
= VQ J 1 Q,
Q Q
i t t
∂t 7→ −qt ∂i , ∂i 7→ ∂i ,
4.1. FIBRE BUNDLES OVER R 157
vb : T J 1 Q → T J 1 Q,
vb(∂t ) = −qti ∂it , vb(∂i ) = ∂it , vb(∂it ) = 0. (4.1.13)
This is called the vertical endomorphism. It inherits the nilpotency property (4.1.12).
The transpose of the vertical endomorphism vb (4.1.13) is
vb∗ : T ∗ J 1 Q → T ∗ J 1 Q,
vb∗ (dt) = 0, vb∗ (dq i ) = 0, vb∗ (dqti ) = θi , (4.1.14)
where
θi = dq i − qti dt
vb∗ ◦ vb∗ = 0
is also fulfilled. The homomorphisms vb and vb∗ are associated with the tangent-valued
1-form
vb = θi ⊗ ∂it
dv = vb∗ ◦ d,
dv f = ∂it f θi .
5.
In view of the morphism λ (4.1.4), any connection
Γ = dt ⊗ (∂t + Γi ∂i ) (4.1.15)
158 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
Γ = ∂t + Γi ∂i (4.1.16)
on Q which is the horizontal lift Γ∂t (1.4.7) of the standard vector field ∂t on R
by means of the connection (4.1.15). Conversely, any vector field Γ on Q such that
dtcΓ = 1 defines a connection on Q → R. Of course, the integral curves
c : R ⊃ () → Q,
ṫ(τ ) = 1, ċi (τ ) = Γi ◦ c(τ ), τ ∈ (),
DΓ : J 1 Q → V Q, (4.1.17)
Q
q̇ i ◦ DΓ = qti − Γi .
Γ = ∂t (4.1.18)
with respect to these coordinates. Conversely, every atlas of local constant trivial-
izations of the fibre bundle Q → R determines a connection on Q → R which is
equal to (4.1.18) relative to this atlas. 2
4.1. FIBRE BUNDLES OVER R 159
Q → Q/GΓ = M (4.1.19)
of Q along the above-mentioned integral curves onto some fibre of Q, e.g., Qt=0 ∼
=
M . Combining the projection (4.1.19) and the projection Q → R gives a desired
trivialization (4.1.1) of Q. QED
6.
Let J 1 J 1 Q be the repeated jet manifold of a fibre bundle Q → R, provided with
the adapted coordinates
For a fibre bundle Q → R, we have the canonical isomorphism k between the affine
fibrations π11 (1.3.13) and J 1 π01 (1.3.15) of J 1 J 1 Q over J 1 Q, i.e.,
where
qti ◦ k = q(t)
i
, i
q(t) ◦ k = qti , qtti ◦ k = qtti . (4.1.20)
In particular, the affine bundle π11 (1.3.13) is modelled over the vertical tangent
bundle V J 1 Q of J 1 Q → R which is canonically isomorphic to the underlying vector
bundle J 1 V Q → J 1 Q of the affine bundle J 1 π01 (1.3.15).
160 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
By JQ1 J 1 Q throughout is meant the first order jet manifold of the affine jet bundle
J 1 Q → Q. The adapted coordinates on JQ1 J 1 Q are (q λ , qti , qλt
i
).
For a fibre bundle Q → R, the sesquiholonomic jet manifold Jb2 Q coincides with
the second order jet manifold J 2 Q, coordinated by
VQ J 1 Q ∼
= J 1Q × V Q → J 1Q (4.1.21)
Q
where
Solutions of the first order dynamic equation (4.2.1) are integral sections (geodesic
curves) for the connection Γ.
Definition 4.2.2. Let us consider the first order dynamic equation (4.2.1) on the
jet bundle J 1 Q → R, which is associated with a holonomic connection ξ (4.1.25)
on J 1 Q → R. This is a closed subbundle of the second order jet bundle J 2 Q → R,
given by the coordinate relations
on the jet bundle J 1 Q → R. Any solution c of these equations takes its values into
J 2 Q and, by virtue of Proposition 1.3.1, is holonomic, i.e., c = ċ. Therefore, the
equations (4.2.2) and (4.2.4) are equivalent. The equation (4.2.4) is said to be the
first order reduction of the second order dynamic equation (4.2.2) . •
4.2. DYNAMIC EQUATIONS 163
One can easily find the transformation law of a second order dynamic equation
under bundle coordinate transformations q i → q 0i (t, q j ). This transformation law
reads
qtt0i = ξ 0i , ξ 0i = (ξ j ∂j + qtj qtk ∂j ∂k + 2qtj ∂j ∂t + ∂t2 )q 0i (t, q j ). (4.2.5)
Example 4.2.2. From the physical viewpoint, the most interesting dynamic equa-
tions are the quadratic dynamic equations, i.e., those which are polynomials in the
coordinates qti of degree ≤ 2. This property is global due to the transformation law
(4.2.5). The dynamic equation of a relativistic particle exemplifies a non-polynomial
dynamic equation. •
It is easily seen that this relation holds globally because the substitution of q̇ i = qti
in the transformation law of a vector field Ξ restates the transformation law (4.2.5)
of the holonomic connection ξ. In accordance with the relation (4.2.8), the desired
vector field Ξ is an extension of the section T λ◦λ2 ◦ξ of the fibre bundle T 2 Q → T Q
over the closed submanifold J 1 Q ⊂ T Q to a global section. Such an extension always
exists by virtue of Theorem 1.1.2, but is not unique. Then the dynamic equation
(4.2.2) can be written in the form
ẗ = 0, ṫ = 1, q̈ i = Ξi , (4.2.10)
It should be emphasized that, written in the bundle coordinates (t, q i ), the second
order equation (4.2.10) is well defined with respect to any coordinates on Q.
γ : J 1 Q → JQ1 J 1 Q
Remark 4.3.1. In view of the canonical splitting (4.1.8), the curvature (1.4.8) of
a connection γ (4.3.1) reads
2
R : J 1 Q → ∧ T ∗ Q ⊗ V Q,
J 1Q
1 i 1 i k
R = Rλµ dq λ ∧ dq µ ⊗ ∂i = ( Rkj dq ∧ dq j + R0j
i
dt ∧ dq j ) ⊗ ∂i ,
2 2
i
Rλµ = ∂λ γµi − ∂µ γλi + γλj ∂j γµi − γµj ∂j γλi . (4.3.3)
R : J 1 Q → V ∗ Q ⊗ V Q,
Q
i k i
R= (Rkj qt + R0j )dq j ⊗ ∂i , (4.3.4)
ξγ = ρ ◦ γ : J 1 Q → JQ1 J 1 Q → J 2 Q, (4.3.6)
ξγ = ∂t + qti ∂i + (γ0i + qtj γji )∂it ,
Proof. Let us consider the composite fibre bundle (4.1.10) and the morphism ρ
(1.6.6) which reads
i
ρ : JQ1 J 1 Q 3 (q λ , qti , qλt ) 7→ (q λ , qti , q(t)
i i
= qti , qtti = q0t + qtj qjt
i
) ∈ J 2 Q. (4.3.7)
A connection γ (4.3.1) and the morphism ρ (4.3.7) combine into a desired holonomic
connection ξγ (4.3.6) on the jet bundle J 1 Q → R. QED
Therefore, connections on the jet bundle J 1 Q → Q are called the dynamic connec-
tions. The corresponding equation (4.2.3) can be written in the form
c̈i = ρ ◦ γ ◦ ċ,
Proof. Let ξ be a holonomic vector field (4.1.25). Given an arbitrary vertical vector
field
u = ai ∂i + bi ∂it
4.3. DYNAMIC CONNECTIONS 167
Iξ : V J 1 Q →
1
V J 1 Q,
J Q
i
Iξ : q̇ ∂i + q̇ti ∂it 7→ −q̇ i ∂i + (q̇ti − q̇ j ∂jt ξ i )∂it .
Iξ ◦ Iξ = Iξ .
Iξ ◦ ξ : T J 1 Q → V J 1 Q → VQ J 1 Q,
1 1
ṫ∂t + q̇ i ∂i + q̇ti ∂it 7→ [q̇ti − ṫ(ξ i − qtj ∂jt ξ i ) − q̇ j ∂jt ξ i ]∂it .
2 2
This corresponds to the connection γξ (4.3.10) on the affine jet bundle J 1 Q → Q.
QED
T = Tik dq i ⊗ ∂k ,
Tik = γik − ∂it γ0k − qtj ∂it γjk . (4.3.12)
It follows at once that a dynamic connection is symmetric if and only if its torsion
vanishes.
Let γ be a dynamic connection (4.3.1) and ξγ the corresponding dynamic equa-
tion (4.3.6). Then the dynamic connection (4.3.10) associated with the dynamic
equation ξγ takes the form
1
γξγ ki = (γik + ∂it γ0k + qtj ∂it γjk ), γξγ k0 = ξ k − qti γξγ ki .
2
It is readily observed that γ = γξγ if and only if the torsion T (4.3.12) of the dynamic
connection γ vanishes.
Example 4.3.2. Since the jet bundle J 1 Q → Q is affine, it admits an affine
connection
γ = dq λ ⊗ [∂λ + (γλ0
i
(q µ ) + γλj
i
(q µ )qtj )∂it ]. (4.3.13)
i i
This connection is symmetric if and only if γλµ = γµλ . One can easily justify that an
affine dynamic connection generates a quadratic dynamic equation, and vice versa.
Nevertheless, a non-affine dynamic connection, whose symmetric part is affine, also
define a quadratic dynamic equation.
An affine connection (4.3.13) on the affine jet bundle J 1 Q → Q yields the linear
connection
γ = dq λ ⊗ [∂λ + γλj
i
(q µ )q̇tj ∂˙i ]
on the vertical tangent bundle V Q → Q. •
Its components γji are exactly those of the connection (3.1.7) on the tangent bundle
T M → M in Theorem 3.1.4, while γ0i make up a vertical vector field
1
e = γ0i ∂˙i = (Ξi − q̇ j ∂˙j Ξi )∂˙i (4.3.14)
2
on T M → M . Thus, we have shown the following.
Ξi = Kji q̇ j + ei
Remark 4.3.3. With a dynamic connection γξ (4.3.10), we also restate the well-
known linear connection on the tangent bundle T J 1 Q → J 1 Q, associated with a
dynamic equation ξ on Q [132], and can write it with respect to holonomic bases.
Given a holonomic connection ξ (4.1.25), we have the corresponding horizontal
splitting (1.4.1) of the tangent bundle T J 1 Q of J 1 Q:
T J 1 Q = Hξ ⊕ V J 1 Q, (4.3.15)
J 1Q
ṫ∂t + q̇ i ∂i + q̇ti ∂it = ṫξ + (q̇ i − ṫqti )∂i + (q̇ti − ξ i )∂it , (4.3.16)
T ∗ J 1 Q = R ⊕ V ∗ J 1 Q,
J 1Q
i
ṫdt + q̇i dq + q̇it dqti = (ṫ + qti q̇i + ξ i q̇it )dt + q̇i θi + q̇it (dqti − ξ i dt), (4.3.17)
Using these splittings, one can introduce the non-holonomic bases (ξ, ∂i , ∂it ) for the
tangent bundle T J 1 Q, and the non-holonomic bases
V J 1 Q = VQ J 1 Q ⊕ Hγξ ,
J 1Q
1 1
q̇ i ∂i + q̇ti ∂it = (q̇ti − q̇ j ∂jt ξ i )∂it + q̇ j (∂j + ∂jt ξ i ∂it ). (4.3.18)
2 2
The splittings (4.3.16) and (4.3.18) combine into the splitting
T J 1 Q = Hξ ⊕ Hγξ ⊕ VQ J 1 Q (4.3.19)
J 1Q J 1Q
H γξ ∼
= J 1 Q × V Q → J 1 Q, hj ←→ ∂j . (4.3.21)
Q
T ∗ J 1 Q = R ⊕ V ∗ Q ⊕ VQ∗ J 1 Q
J 1Q J 1Q
VQ J 1 Q → J 1 Q → Q.
Then we have
It follows that the diagram (4.4.2) can be commutative only if the components Kµ0
of the connection K (4.4.1) on the tangent bundle T Q → Q vanish.
Since the transition functions t → t0 are independent of q i , a connection
f = dq λ ⊗ (∂ + K i ∂˙ )
K (4.4.3)
λ λ i
with Kµ0 = 0 may exist on the tangent bundle T Q → Q in accordance with the
transformation law
i ∂q µ
K 0 λ = (∂j q 0i Kµj + ∂µ q̇ 0i ) 0λ . (4.4.4)
∂q
Now the diagram (4.4.2) becomes commutative if the connections γ and K
f fulfill
the relation
γµi = Kµi ◦ λ = Kµi (t, q i , ṫ = 1, q̇ i = qti ). (4.4.5)
It is easily seen that this relation holds globally because the substitution of q̇ i = qti
in (4.4.4) restates the transformation law (4.3.2) of a connection on the affine jet
bundle J 1 Q → Q. In accordance with the relation (4.4.5), the desired connection K f
is an extension of the section J 1 λ ◦ γ of the affine jet bundle JQ1 T Q → T Q over the
closed submanifold J 1 Q ⊂ T Q to a global section. Such an extension always exists
by virtue of Theorem 1.1.2, but is not unique. Thus, we have proved the following.
Proposition 4.4.1. In accordance with the relation (4.4.5), every dynamic equa-
tion on a configuration bundle Q → R can be written in the form
In accordance with this theorem, the second order equation (4.2.10) in Theorem
4.2.3 can be chosen as a geodesic equation. It should be emphasized that, written
in the bundle coordinates (t, q i ), the geodesic equation (4.4.7) and the connection
K
f (4.4.5) are well defined with respect to any coordinates on Q.
As was mentioned, from the physical viewpoint, the most interesting dynamic
equations are the quadratic ones
This property is global due to the transformation law (4.2.5). Then one can use the
following two facts.
Proof. This correspondence is given by the relation (4.4.5), written in the form
i j
γµi = γµ0
i
+ γµj qt = Kµ i 0 (q ν )ṫ + Kµ i j (q ν )q̇ j |ṫ=1,q̇i =qti = Kµ i 0 (q ν ) + Kµ i j (q ν )qtj ,
i.e.,
i
γµλ = Kµ i λ .
QED
q̈ 0 = 0, q̇ 0 = 1,
q̈ i = aijk (q µ )q̇ j q̇ k + bij (q µ )q̇ j q̇ 0 + f i (q µ )q̇ 0 q̇ 0 (4.4.9)
4.4. NON-RELATIVISTIC GEODESIC EQUATIONS 175
The geodesic equation (4.4.9), however, is not unique for the dynamic equation
(4.4.8).
Proof. Similarly to Proposition 4.4.3, one can show that there is one-to-one corre-
spondence between the VQ J 1 Q-valued affine vector fields (4.4.11) on the jet manifold
J 1 Q and the VQ T Q-valued linear vertical vector fields
on the tangent bundle TQ. This linear vertical vector field determines the desired
soldering form (4.4.12). QED
176 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
In Section 6.4, we will use Theorem 4.4.2, Corollary 4.4.4 and Proposition 4.4.5
in order to study the relationship between non-relativistic and relativistic equations
of motion.
Now let us extend our inspection of dynamic equations to connections on the
tangent bundle T M → M of the typical fibre M of a configuration bundle Q → R.
In this case, the relationship fails to be canonical, but depends on a trivialization
(4.1.1) of Q → R.
Given such a trivialization, let (t, q i ) be the associated coordinates on Q, where q i
are coordinates on M with transition functions independent of t. The corresponding
i i
trivialization (4.1.3) of J 1 Q → R takes place in the coordinates (t, q i , q̇ ), where q̇
are coordinates on T M . With respect to these coordinates, the transformation law
(4.3.2) of a dynamic connection γ on the affine jet bundle J 1 Q → Q reads
0i
i ∂q 0i ∂q 0i ∂ q̇ ∂q n
γ 0 0 = j γ0j γk0i = j γnj + n 0 k .
∂q ∂q ∂q ∂q
j ∂
γ0i (t, q j , q̇ ) i : R × TM → V TM
∂ q̇
Using the transformation law (4.3.2), one can extend the expression (4.4.14) to
arbitrary bundle coordinates (t, q i ) on the configuration space Q as follows:
∂q i j j r j r r ∂ 2 q i j ∂Γi
" #
γki = K (q (q ), q̇ (q , q )) + q̇ + n ∂k q n , (4.4.15)
∂q j n t
∂q n ∂q j ∂q
γ0i = ∂t Γi + ∂j Γi qtj − γki Γk ,
where
Γi = ∂t q i (t, q j )
In accordance with this definition, one can think of the horizontal vector field
(4.1.16), associated with a connection Γ on Q → R, as being a family of ”observers”,
while the corresponding covariant differential
def
q̇Γi = DΓ (qti ) = qti − Γi
Γ = ∂t (4.5.1)
Accordingly, any dynamic equation (4.2.2) can be expressed in the relative velocities
q̇Γi = qti − Γi with respect to an arbitrary reference frame Γ as follows:
where JΓ is the prolongation (4.1.24) of the connection Γ onto the jet bundle J 1 Q →
R.
For instance, let us consider the following particular reference frame Γ for a
dynamic equation ξ. The covariant derivative of a reference frame Γ with respect
to the corresponding dynamic connection γξ (4.3.10) reads
∇γ Γ = Q → T ∗ Q × VQ J 1 Q, (4.5.8)
∇γ Γ = ∇γλ Γk dq λ ⊗ ∂k ,
∇γλ Γk = ∂λ Γk − γλk ◦ Γ.
Proof. The proof follows at once from substitution of the equality (4.5.9) in the
dynamic equation (4.5.7). QED
Remark 4.5.3. The left- and right-hand sides of the equation (4.5.7) separately are
not well-behaved objects. This equation will be brought below into the covariant
form (4.7.6). •
2
4.6. FREE MOTION EQUATIONS 181
Proof. The proof follows from the inspection of transition functions. QED
Definition 4.6.1. We say that the dynamic equation (4.2.2) is a free motion
equation if there exists a reference frame (t, q i ) on the configuration space Q such
that this equation reads
q itt = 0. (4.6.1)
With respect to arbitrary bundle coordinates (t, q i ), a free motion equation takes
the form
∂q i ∂q m
qtti i
= dt Γ + ∂j Γ i
(qtj − Γ ) − m j k (qtj − Γj )(qtk − Γk ),
j
(4.6.2)
∂q ∂q ∂q
where Γi = ∂t q i (t, q j ) is the connection associated with the initial frame (t, q i ) (cf.
(4.5.5)). One can think of the right-hand side of the equation (4.6.2) as being the
general coordinate expression for an inertial force in non-relativistic mechanics. The
corresponding dynamic connection γξ on the affine jet bundle J 1 Q → Q reads
∂q i ∂q m
γki = ∂k Γi − (q j − Γj ), (4.6.3)
∂q m ∂q j ∂q k t
γ0i = ∂t Γi + ∂j Γi qtj − γki Γk .
182 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
This criterion is not a sufficient condition because it may happen that the com-
ponents of a curvature-free symmetric linear connection on T Q → Q vanish with
respect to the coordinates on Q which are not compatible with the fibration Q → R.
The similar criterion involves the curvature of a dynamic connection (4.6.3) of a
free motion equation.
Proof. Let a free motion equation take the form (4.6.1) with respect to some atlas
of local constant trivializations of a fibre bundle Q → R. By virtue of Proposition
4.3.2, there exists an affine dynamic connection γ on the affine jet bundle J 1 Q → Q
whose components relative to this atlas are equal to 0. Given a trivialization chart
of this atlas, the connection γ defines the curvature-free symmetric linear connection
(4.4.13) on M . The converse statement follows at once from Proposition 4.4.7. QED
4.6. FREE MOTION EQUATIONS 183
The free motion equation (4.6.2) is simplified if the coordinate transition func-
tions q i → q i are affine in the coordinates q i . Then we have
r̈ = 0. (4.6.5)
Let us choose the rotatory reference frame with the adapted coordinates
!
cos ωt − sin ωt
r = Ar, A= . (4.6.6)
sin ωt cos ωt
Relative to these coordinates, the connection Γ corresponding to the initial reference
frame reads
Γ = ∂t r = ∂t A · A−1 r.
Then the free motion equation (4.6.5) with respect to the rotatory reference frame
(4.6.6) takes the familiar form
!
0 −1
rtt = ω 2 r + 2 rt . (4.6.7)
1 0
The first term in the right-hand side of the equation (4.6.7) is the centrifugal force
(−Γj ∂j Γi ), while the second one is the Coriolis force (2qtj ∂j Γi ). •
The following lemma shows that the free motion equation (4.6.4) is affine in the
coordinates q i and qti .
Proof. If
then we have
Conversely, let
has a solution on R. Let aij (t) be the m×m matrix whose columns are m fundamental
solutions q1 (t), · · · , qm (t) of the equations (4.6.8) (see, e.g., [22]). This matrix is
invertible for all t ∈ R. Then the connection Γ is associated with the coordinates
(t, q n ) such that
QED
One can easily find the geodesic reference frames for the free motion equation
qtti = 0. (4.6.9)
They are Γi = v i = const. By virtue of Lemma 4.6.5, these reference frames define
the adapted coordinates
The equation (4.6.9) obviously keeps its free motion form under the transformations
(4.6.10) between the geodesic reference frames. It is readily observed that these
transformations are precisely the elements of the Galilei group.
4.7. RELATIVE ACCELERATION 185
Lemma 4.7.1. Let us consider the composite bundle (4.1.10). Given a frame Γ
on Q → R and a dynamic connections γ on J 1 Q → Q, there exists a dynamic
connection γe on J 1 Q → Q with the components
QED
the reference frame Γ with respect to the dynamic connection γ. We obtain the
VQ J 1 Q-valued 1-form
σ = [−Γi (∂i Γk − γik ◦ Γ)dt + (∂i Γk − γik ◦ Γ)dq i ] ⊗ ∂kt
on Q whose pull-back onto J 1 Q is the desired soldering form. The sum
def
γΓ = γe + σ,
called the frame connection, reads
γΓ i0 = dt Γi − γki Γk − Γk (∂k Γi − γki ◦ Γ), (4.7.2)
γΓ ik = γki i
+ ∂k Γ − γki ◦ Γ.
This connection yields the desired holonomic connection
ξΓi = dt Γi + (∂k Γi + γki − γki ◦ Γ)(qtk − Γk )
on the jet bundle J 1 Q → R.
Let ξ be a dynamic equation and γ = γξ the connection (4.3.10) associated with
ξ. Then one can think of the vertical vector field
def
aΓ = ξ − ξΓ = (ξ i − ξΓi )∂it (4.7.3)
on the affine jet bundle J 1 Q → Q as being a relative acceleration with respect to
the reference frame Γ in comparison with the absolute acceleration ξ.
For instance, let us consider a reference frame which is geodesic for the dynamic
equation ξ, i.e., the relation (4.5.9) holds. Then the relative acceleration of a motion
c with respect to the reference frame Γ is
(ξ − ξΓ ) ◦ Γ = 0.
Let ξ now be an arbitrary dynamic equation, written with respect to coordinates
(t, q i ) adapted to the reference frame Γ, i.e., Γi = 0. In these coordinates, the relative
acceleration with respect to the reference frame Γ is
1
aiΓ = ξ i (t, q j , qtj ) − qtk (∂k ξ i − ∂k ξ i |qj =0 ). (4.7.4)
2 t
Then we can write a dynamic equation (4.2.2) in the form which is covariant under
coordinate transformations:
f qi = d qi − ξ i = a ,
D (4.7.5)
γΓ t t t Γ Γ
where Df is the vertical covariant differential (4.3.9) with respect to the frame
γΓ
connection γΓ (4.7.2) on the affine jet bundle J 1 Q → Q.
In particular, if ξ is a free motion equation which takes the form (4.6.1) with
respect to a reference frame Γ, then
f qi = 0
DγΓ t
γλi = γλ0
i i
+ γλk qtk ,
γΓ i0 = ∂t Γi + (∂j Γi − γkj
i
Γk )(qtj − Γj ),
γΓ ik = ∂k Γi + γkj
i
(qtj − Γj )
or
γΓ ijk = γjk
i
,
γΓ i0k = ∂k Γi − γjk
i
Γj , γΓ ik0 = ∂k Γi − γkj
i
Γj , (4.7.7)
γΓ i00 i j
= ∂t Γ − Γ ∂j Γ + i i
γjk Γj Γk .
188 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
QED
In particular, we obtain
γΓ ijk = γjk
i
, γΓ i0k = γΓ ik0 = γΓ i00 = 0
Note that the splitting (4.7.8) gives a generalized Coriolis theorem. In particu-
lar, the well-known analogy between inertial and electromagnetic forces is restated.
Corollary 4.7.3 shows that this analogy can be extended to arbitrary quadratic dy-
namic equation.
Donder equations, besides the Lagrange one. These equations are equivalent to each
other and to Lagrange equations in the case of a regular Lagrangian.
A Lagrangian of a mechanical system is defined as a horizontal density
L = Ldt, (4.8.1)
1
L : J Q → R,
u = ut ∂t + ui ∂i , ut = 0, 1, (4.8.2)
u = ut ∂t + ui ∂i + dt ui ∂it ,
dt = ∂t + qti ∂i + qtti ∂it ,
(1.3.7) of u. We obtain
where
EL : J 2 Q → V ∗ Q,
EL = Ei dq i = (∂i − dt ∂it )Ldq i (4.8.6)
190 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
Its coefficients Ei are called variational derivatives. We will use the notation
called the Lagrange equations. Its solutions are (local) sections c of the fibre bundle
Q → R whose second order jet prolongations c̈ live in (4.8.7). They obey the
equations
d
∂i L ◦ ċ − (πi ◦ ċ) = 0. (4.8.8)
dt
det πji 6= 0
EL = [qqt2 − dt (q 2 qt )]dq
where (t, q i , pi ) are coordinates on the vertical cotangent bundle V ∗ Q. Indeed, due
to the vertical splitting (4.1.8), the vertical tangent morphism V L to L yields the
linear morphism
V L : J 1Q × V Q → R
In Section 5.1, we will show that the vertical cotangent bundle V ∗ Q is provided
with the canonical 3-form
def
Ω = dpi ∧ dq i ∧ dt, (4.8.10)
derived from the polysymplectic form (2.9.9). Let us consider the pull-back
b ∗ Ω = dπ ∧ dq i ∧ dt
ΩL = L (4.8.11)
i
ϑ = ϑi ∂i + ϑ̇i ∂it
Ωt = dπi ∧ dq i
[57, 182].
Example 4.8.4. If a Lagrangian L is hyperregular, the Poisson structure (4.8.13) is
isomorphic to the canonical Poisson structure on the momentum phase space V ∗ Q
(see Section 5.1). Indeed, the Poisson bracket (4.8.13) reads
ξL = ∂t + f i ∂i + ξ i ∂it
Example 4.8.6. A glance at the equations (4.8.15) – (4.8.16) shows that, for a
regular Lagrangian L, a Lagrangian connection is necessarily holonomic and unique.
•
194 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
In order to clarify the meaning of the equation (4.8.14), let us consider the
Lagrangian
def
L = L(t, q i , qti ) + (q(t)
i
− qti )πi (t, q i , qti )
EL : J 1 J 1 Q → T ∗ J 1 Q,
j
EL = [(∂i L + ∂i πj (q(t) − qtj ) − dbt πi )dq i + πij (q(t)
j
− qtj )dqti ] ∧ dt, (4.8.17)
i
dbt = ∂t + q(t) ∂i + qtti ∂it .
ξL (J 1 Q) ⊂ Ker EL
which is the first order differential equation on the jet manifold J 1 Q, called the
Cartan equations. They read
j
πij (q(t) − qtj ) = 0, (4.8.18)
j
∂i L − dbt πi + (q(t) − qtj )∂i πj = 0. (4.8.19)
Solutions of the Cartan equations (4.8.18) – (4.8.19) are (local) integral sections
c : () → J 1 Q of Lagrangian connections ξL for a Lagrangian L, i.e., J 1 c = ξL ◦ c.
Furthermore, the equation (4.8.14) for these integral sections is equivalent to the
relation
c∗ (ϑcdHL ) = 0 (4.8.20)
which is assumed to hold for any vertical vector field ϑ on the jet bundle J 1 Q → R.
It is easily seen that the restriction
L. Therefore, the Lagrange equations (4.8.7) are equivalent to the Cartan equations
(4.8.18) – (4.8.19) on the holonomic sections c = J 1 c of the jet bundle J 1 Q → R.
It follows that solutions of the Lagrange equations (4.8.7) are integral sections of
holonomic Lagrangian connections for the Lagrangian L, which take their values into
the kernel of the Euler–Lagrange operator (4.8.21). Different holonomic Lagrangian
connections lead to different dynamic equations associated with the same system of
Lagrange equations.
In the case of a regular Lagrangian L, the Cartan equations (4.8.18) – (4.8.19)
are equivalent to the Lagrange equations (4.8.7), and lead to the unique dynamic
equation
b =ζ ◦H
L c , (4.8.24)
L
Ξ = pdt + pi dq i
dΞ = dp ∧ dt + dpi ∧ dq i
T J 1 Q 3 v 7→ vcdHL + (vcdt)dt ∈ T ∗ J 1 Q.
iL : ZL ,→ T ∗ Q
ΞL = i∗L Ξ.
4.8. LAGRANGIAN SYSTEMS 197
r∗ (ucdΞL ) = 0 (4.8.27)
of the equations
pi = πi (t, q j , qtj ),
p = L(t, q j , qtj ) − πi (t, q j , qtj )qti (4.8.28)
∂t ri = −∂ i r,
∂t ri = ∂i r, (4.8.29)
r = L(t, q i , qti (t, q j , pj )) − pi qti (t, q j , pj ),
ψ:Q∼
=R×M
in the coordinates (t, q i ), a Lagrangian L is independent of t. With respect to these
coordinates, the configuration space J 1 Q admits the presymplectic form
def
ωL = dπi ∧ dq i
(cf. (3.3.5)), and the equation (4.8.14) for a Lagrangian connection ξL may be
written in the form
b : V J 1 Q → V ∗ Q × V ∗ Q.
VL Q
Q
where {dqtj } are bases for the fibres of the vertical tangent bundle VQ∗ J 1 Q → J 1 Q.
The morphism (4.9.1) defines the mapping
J 1 Q → VQ∗ J 1 Q ⊗ VQ∗ J 1 Q
J 1Q
4.9. NEWTONIAN SYSTEMS 199
c : J 1 Q −→ V ∗ Q ⊗ V ∗ Q,
m
Q Q
mij = pij ◦ m
c = πij ,
where (t, q i , pij ) are holonomic coordinates on V ∗ Q ⊗ V ∗ Q. Thus, πij = mij are
Q
2
∗ c on the velocity phase space J 1 Q. It is
components of the ∨ V Q-valued field m
called the mass tensor.
Let a Lagrangian L be regular. Then the mass tensor is non-degenerate, and
defines a fibre metric, called mass metric, in the vertical tangent bundle VQ J 1 Q →
J 1 Q. Let us recall that, if a Lagrangian L is regular, there exists a unique Lagrangian
connection ξL for L which is holonomic in accordance with the equation (4.8.15),
and obeys the equation
This holonomic connection defines the dynamic equation (4.8.22). At the same time,
the equation (4.9.2) leads to the commutative diagram
[
VQ J 1 Q −→ VQ∗ J 1 Q
DξL -%EL
J 2Q
EL = [ ◦ DξL ,
Ei = mik (qttk − ξLk ), (4.9.3)
where DξL is the covariant differential (4.1.17) relative to the connection ξL . Fur-
thermore, the derivation of (4.9.2) with respect to qtj results in the relation
where
1
γik = ∂it ξLk
2
are coefficients of the symmetric dynamic connection γξL (4.3.10) corresponding to
the dynamic equation ξL .
200 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
Thus, each regular Lagrangian L defines the dynamic equation ξL , related to the
Euler–Lagrange operator EL by means of the equality (4.9.3), and the non-degenerate
mass tensor mij , related to the dynamic equation ξL by means of the relation (4.9.4).
This is a Newtonian system in accordance with the following definition.
c : J 1 Q → V ∗ Q ⊗ V ∗ Q,
m
Q
1
c = mij dq i ∨ dq j ,
m
2
satisfying the symmetry condition
Note that the compatibility condition (4.9.4) can also be introduced in an in-
trinsic way as
∇ξ m
c = 0,
where by ∇ is the covariant derivative with respect to the connection γeξ∗ on the
vertical cotangent bundle VQ∗ J 1 Q → J 1 Q, which is dual of the connection γeξ (4.3.23)
on the vertical tangent bundle VQ J 1 Q → J 1 Q.
Definition 4.9.1 generalizes the second Newton law of point mechanics. Indeed,
the dynamic equation for a Newtonian system is equivalent to the equation
is dimensional. For instance, the dimension of a mass tensor of a point mass with
respect to Cartesian coordinates q i is [length]−1 , while that with respect to the angle
coordinates is [length].
Note that there are no canonical isomorphisms between the vertical cotangent
bundle VQ∗ J 1 Q and the vertical tangent bundle VQ J 1 Q of J 1 Q. Therefore, one should
distinguish forces and accelerations which are related by means of a mass metric (see
also Remark 4.9.2 below).
Let (Q, m
c, ξ) be a Newtonian system and f an external force. Then
def
ξfi = ξ i + (m−1 )ik fk (4.9.7)
where
Fλµ = ∂λ Aµ − ∂µ Aλ (4.9.10)
is the electromagnetic strength, obeys the condition (4.9.8). Note that the Lorentz
force (4.9.9), just as other forces, can be expressed in the relative velocities q̇Γ with
respect to an arbitrary reference frame Γ:
∂q j ∂q n
!
fi = e i F nj q̇Γk + F 0j ,
∂q ∂q k
where q are the coordinates adapted to the reference frame Γ, and F is the electro-
magnetic strength, written with respect to these coordinates. •
202 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
ξ i = Kµλ
i
qtµ qtλ , qt0 = 1,
¿From the mathematical viewpoint, the equation (4.9.6) is the kernel of an Euler–
Lagrange-type operator (see (4.9.25) below). By an appropriate choice of a mass
tensor, one may hope to bring it into Lagrange equations. We have seen that a
non-degenerate Lagrangian system is necessarily a Newtonian one, while a converse
statement is not generally true.
Example 4.9.3. Let us consider a non-degenerate quadratic Lagrangian
1
L = mij (q µ )qti qtj + ki (q µ )qti + φ(q µ ), (4.9.11)
2
where the mass tensor mij is a Riemannian metric in the vertical tangent bundle
V Q → Q (see the isomorphism (4.1.8)). Then the Lagrangian L (4.9.11) can be
written as
1
L = − gαµ qtα qtµ , qt0 = 1, (4.9.12)
2
where g is the metric
on the tangent bundle T Q. The corresponding Lagrange equations take the form
where
1
{λµν } = − (∂λ gµν + ∂ν gµλ − ∂µ gλν )
2
4.9. NEWTONIAN SYSTEMS 203
are the Christoffel symbols of the metric (4.9.13). Let us assume that this metric is
non-degenerate. By virtue of Corollary 4.4.4, the dynamic equation (4.9.14) gives
rise to the geodesic equation (4.4.9) on the tangent bundle T Q, which reads
q̈ 0 = 0, q̇ 0 = 1,
q̈ i = {λ i ν }q̇ λ q̇ ν − g i0 {λ0ν }q̇ λ q̇ ν .
Let us now bring the Lagrangian function (4.9.11) into the form
1
L = mij (q µ )(qti − Γi )(qtj − Γj ) + φ0 (q µ ), (4.9.15)
2
where Γ is a Lagrangian frame connection on Q → R which takes its values into the
kernel of the Legendre map L b (see Section 5.6). This connection defines an atlas
of local constant trivializations of the fibre bundle Q → R and the corresponding
coordinates (t, q i ) on Q such that the transition functions q i → q 0i are independent
of t, and Γi = 0 with respect to (t, q i ). In these coordinates, the Lagrangian (4.9.15)
reads
1
L = mij q it q jt + φ0 (q ν (q µ )). (4.9.16)
2
Let us assume that φ0 is a nowhere vanishing function on Q. Then the Lagrange
equations (4.9.14) take the form
q itt = {λ i ν }q λt q νt , q 0t = 1,
where {λ i ν } are the Christoffel symbols of the metric (4.9.13), whose components
with respect to the coordinates (t, q i ) read
on the tangent bundle T Q is precisely the spatial part of the geodesic equation with
respect to the Levi–Civita connection for the metric (4.9.17) on T Q. •
This example shows that a mass tensor may be treated sometimes as a field
variable.
204 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
on the configuration space R3n . To separate the translation degrees of freedom, one
performs a linear coordinate transformation
→ →
(r1 , . . . , rn ) 7→ ( ρ 1 , . . . , ρ n−1 , R),
→ →
where R is the centre of mass, while the n − 1 vectors ( ρ 1 , . . . , ρ n−1 ) are mass-
weighted Jacobi vectors (see their definition below) [119, 120]. The Jacobi vectors
ρA are chosen so that the kinetic energy about the centre of mass has the form
1 n−1
X → ˙
T = | ρ A |2 , (4.9.20)
2 A=1
that corresponds to the Euclidean mass tensor
on the translation-reduced configuration space R3n−3 . The usual procedure for defin-
ing Jacobi vectors involves organizing the particles into a hierarchy of clusters, in
4.9. NEWTONIAN SYSTEMS 205
which every cluster consists of one or more particles, and where each Jacobi vector
joins the centres of mass of two clusters, thereby creating a larger cluster. A Jacobi
vector, weighted by the square root of the reduced mass of the two clusters it joins,
is the above-mentioned mass-weighted Jacobi vector. For example, in the four-body
problem, one can use the following clustering of the particles:
→ √
ρ 1 = µ1 (r2 − r1 ),
→ √
ρ 2 = µ2 (r4 − r3 ),
√ m3 r3 + m4 r4 m1 r1 + m2 r2
→
ρ 3 = µ3 − ,
m3 + m4 m1 + m2
1 1 1 1 1 1 1 1 1
= + , = + , = + .
µ1 m1 m2 µ2 m3 m4 µ3 m1 + m2 m3 + m4
Different clusterings lead to different collections of Jacobi vectors, which are related
by linear transformations. Since these transformations maintain the Euclidean form
(4.9.20) of the kinetic energy, they are elements of the group O(n − 1), called the
”democracy group”. •
Now let us turn to the conditions for a Newtonian system to be a Lagrangian one.
This is the well-known inverse problem formulated for time-dependent mechanics.
We will investigate it as the particular inverse problem for dynamic systems on fibre
bundles [57].
The equation (4.9.6) is the kernel of the second order differential Euler–Lagrange
type operator
E : J 2 Q → V ∗ Q, (4.9.21)
k
E = mik (ξ − qttk )dq i .
E = Ei θi ∧ dt, (4.9.22)
where θi are contact forms (1.3.6). Obviously, the class of Euler–Lagrange type
operators includes the Euler–Lagrange operators (4.8.6). Thus, the inverse problem
reduces to the conditions for the Euler–Lagrange type operators to be the Euler–
Lagrange ones.
Given a fibre bundle Q → R, we have the so called variational sequence
d δ δ δ
0 → R → O0 (Q) →
H
O0,1 (J 1 Q) → O1,1 (J 2 Q) →
2
O2,1 (J 3 Q) →
3
···, (4.9.23)
206 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
δ ◦ dH = 0, (4.9.24)
δ2 ◦ δ = 0, (4.9.25)
where
dH (f ) = dt f dt, f ∈ O0 (J 1 Q),
δ2 (E) = 0 (4.9.27)
E = δ(L) (4.9.28)
for some Lagrangian L. The condition (4.9.27) takes the coordinate form
1
∂j Ei − ∂i Ej + dt (∂it Ej − ∂jt Ei ) = 0, (4.9.29)
2
∂j Ei + ∂i Ej − 2dt ∂jtt Ei = 0,
t t
(4.9.30)
∂jtt Ei − ∂itt Ej = 0. (4.9.31)
4.9. NEWTONIAN SYSTEMS 207
The obstruction preventing the condition (4.9.27) from implying the equality (4.9.28)
is topological [46, 179]. If
Q = Rm+1 → R
(in particular, locally), the variational sequence (4.9.23) is exact, i.e., Im δ = Ker δ2 ,
and the equality (4.9.27) is also a sufficient condition for an Euler–Lagrange type
operator E to be an Euler–Lagrange one.
Remark 4.9.5. A glance at the equality (4.9.24) shows that the Lagrangian L in
the equality (4.9.28) is defined modulo the variationally trivial Lagrangians
L = dt f dt (4.9.32)
where f is a function on Q. •
Applying the condition (4.9.27) to the operator (4.9.21), we restate the well-
known Helmholtz conditions (see [34, 78, 81, 143, 156] and references therein). It
is readily observed, that the condition (4.9.31) is satisfied since the mass tensor is
symmetric. The condition (4.9.30) holds due to the equality (4.9.4) and the property
(4.9.5). Thus, it suffices to verify the condition (4.9.29) for a Newtonian system to
be a Lagrangian one.
Example 4.9.6. Let ξ be a free motion equation which takes the form (4.6.9)
with respect to a reference frame (t, q i ), and let m
c be a mass tensor which depends
only on the velocity coordinates q it . Such a mass tensor may exist in accordance
with affine coordinate transformations (4.6.10) which maintain the equation (4.6.9).
Then ξ and m c make up a Newtonian system. This system is a Lagrangian one if
c is constant with respect to the above-mentioned reference frame (t, q i ). Relative
m
to arbitrary coordinates on a configuration space Q, the corresponding Lagrangian
takes the form (4.9.19), where Γ is the connection associated with the reference
frame (t, q i ). •
k
ξ = ∂t + qt ∂q − qt ∂ t , (4.9.34)
m q
The mass function m = const. fails to satisfy this relation. Nevertheless, the
equation (4.9.35) has a solution
" #
k
m = m0 exp t . (4.9.36)
m0
The mechanical system characterized by the mass function (4.9.36) and the holo-
nomic connection (4.9.34) is both a Newtonian and a Lagrangian system with the
Havas Lagrangian
" #
1 k
L = m0 exp t qt2 (4.9.37)
2 m0
xtt − yt = 0, ytt − y = 0
nrs = mrs |J 1 N .
Since
∂pt nrs = ∂pt mrs |J 1 N ,
the Riemannian metric nb satisfies the symmetry condition (4.9.5).
Using the Riemannian metric m c in VQ J 1 Q → J 1 Q, we can define the orthocom-
plement V → J 1 N of the subbundle VN J 1 N ⊂ VQ J 1 Q |J 1 N and the corresponding
splitting
VQ J 1 Q |J 1 N = VN J 1 N ⊕ V (4.10.1)
J 1N
210 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
pr1 : VQ J 1 Q |J 1 N → VN J 1 N,
pr1 (∂rt ) = ∂rt , pr1 (∂it ) = nrs msi ∂rt , (4.10.2)
and
pr2 : VQ J 1 Q |J 1 N → V,
pr2 (∂rt ) = 0, pr2 (∂it ) = ∂it − nrs msi ∂rt = ϑi .
J 2 Q |J 1 N = J 2 N ⊕ V.
J 1N
ξ |J 1 N = ξN + r, (4.10.3)
where
ξN : J 1 N → J 2 N,
r
ξN = (ξ r + nrs msi ξ i ) |J 1 N , (4.10.4)
and
r = ξ i ϑi : J 1 N → V. (4.10.5)
It follows that the dynamic equation ξ on the configuration space Q induces the
dynamic equation ξN (4.10.3) on the holonomic constraint N . In an equivalent way,
the induced dynamic equation ξN is characterized by the relation
s
nrs ξN = (mrs ξ s + mri ξ i ) |J 1 N . (4.10.6)
γξ : J 1 Q → T ∗ J 1 Q ⊗ VQ J 1 Q,
J 1Q
T ∗ J 1 N ⊗ VN J 1 N,
J 1N
(J 1 iN )∗ : T ∗ J 1 Q |J 1 N → T ∗ J 1 N
It follows that the map γeξ is a connection on the affine jet bundle J 1 N → N .
Proposition 4.10.2. The dynamic connection γeξ (4.10.7), induced on the jet
bundle J 1 N → N of the holonomic constraint N by the dynamic connection γξ ,
defines a dynamic equation on N which is precisely ξN (4.10.4), induced on N by
the dynamic equation ξ. 2
It is readily observed that the dynamic connection γeξ differs in a torsion from
the symmetric dynamic connection γN , associated with the dynamic equation ξN .
We have the relation
1 1
γe0r = − T0r + γN r0 , γesr = Tsr + γN rs ,
2 2
Tsr = −∂st nrh mhi ξ i − nrh ∂st mhi ξ i . (4.10.8)
Proposition 4.10.3. The dynamic equation ξLN , associated with the induced
Lagrangian LN on N , coincides with the dynamic equation ξLN (4.10.4) induced on
N by the dynamic equation ξL , associated with the Lagrangian L. 2
(mrs ξLs + mri ξLi ) |J 1 N = −∂t ∂rt LN − σts ∂s ∂r LN + ∂rt LN = nrs ξLs N
nrs = mrs |N .
T Q |N = T N ⊕ V
N
J 1 Q |N = J 1 N ⊕ V.
N
Γ |N = ΓN + σV ,
nrs ΓsN = (mrs Γs + mri Γi ) |N . (4.10.9)
Moreover, the expression (4.10.8) shows that, in the case of a standard Newtonian
system, the dynamic connection γeξ (4.10.7) is precisely the dynamic connection γξN ,
associated with the dynamic equation ξN on the holonomic constraint N .
Example 4.10.1. Let (Q, m c, ξ) be a Newtonian system for a free motion equation
ξ. Then, ξN fails to be a free motion equation on a holonomic constraint N in
general. In particular, if L is a Lagrangian (4.9.19), its restriction to a holonomic
constraint N reads
1 1
LN = nrs (σtr − ΓrN )(σts − ΓsN ) + mc(σV , σV ),
2 2
where ΓN is the induced frame (4.10.9). •
214 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
ξ = ξe + r, (4.11.1)
ξe ⊂ Ann (S).
Then one can think of the dynamic equation ξe as describing a mechanical system
subject to the non-holonomic constraint S, while (−r) is said to be the constraint
reaction acceleration.
Let us assume that the codistribution S has dimension n and is locally spanned
by the 1-forms
on the jet manifold J 1 Q. Then a dynamic equation ξe is compatible with the non-
holonomic constraint S if
F = J 2 Q ∩ Ann (S)
F = VQ J 1 Q ∩ Ann (S).
Proof. The intersection F consists of the vertical vectors v i ∂it ∈ VQ J 1 Q which fulfill
the conditions
ṡai (q λ , qtj )v i = 0.
VQ J 1 Q = F ⊕ V (4.11.4)
J 1Q
in order to obtain the corresponding splitting of the second order jet manifold
J 2Q = F ⊕ V (4.11.5)
J 1Q
sa = df a = ∂t f a dt + ∂j f a dq j + ∂jt f a dqtj .
Then we have
where ∂bt g a = 0 for all indices a, b = 1, . . . , n. Now, applying the above procedure to
the codistribution (4.11.8), one can obtain a dynamic equation on a submanifold N ,
compatible with the constraint Ann (T N ). For instance, one can use the particular
solution ṡia = δai of the equations (4.11.2), where the matrix ṡai is given by the
expression (4.11.8) [106]. Then the (local) dynamic equation ξe (4.11.3), compatible
with the constraint (4.11.7), reads
where the matrix fia is of maximal rank. A linear non-holonomic constraint is always
admissible. Since N is an affine subbundle of J 1 Q → Q, it has a global section Γ
which is a connection on the configuration bundle Q → R, called the constraint
reference frame. With this connection Γ, the constraints (4.11.10) take the form
We may say that the linear constraint is stationary with respect to the constraint
reference frame Γ. Then, one can think of
q̇Γi = qti − Γi ,
satisfying the equation (4.11.11), as virtual velocities relative to the linear constraint
N. •
πQΣ : Q → Σ
is a fibre bundle, and let (t, σ r , q a ) be coordinates on Q, compatible with this fibra-
tion. Given a connection
(cf. (4.11.7)). Then this subbundle yields a linear non-holonomic constraint, given
by the codistribution S = Ann (T N ) [162, 163]. This codistribution is locally
spanned by the 1-forms
With the connection (4.11.12), we also have the splitting (1.6.11) of the vertical
tangent bundle V Q of Q → R and the corresponding splitting of the vertical tangent
bundle VQ J 1 Q (see the canonical isomorphism (4.1.21)). The latter splitting reads
VQ J 1 Q = F ⊕ V,
J 1Q
σ̇tr ∂rt + q̇ta ∂at = σ̇tr (∂rt + Bra ∂at ) + (q̇ta − Bra σ̇tr )∂at . (4.11.14)
It is readily observed that F |N consists of vertical vectors which are the annihilators
of the codistribution (4.11.13). The splitting (4.11.14) yields the corresponding
splitting (4.11.5) of the second order jet manifold J 2 Q. Then, given a dynamic
equation ξ on J 1 Q, we obtain the decomposition (4.11.1) which reads
(cf. (4.11.9)). •
Now we consider Newtonian systems because they provide the vertical tangent
bundle VQ J 1 Q with a non-degenerate fibre metric m
c. Let us assume that m c is a
Riemannian metric. With this metric, we immediately obtain the splitting (4.11.4),
where V is the orthocomplement of F . Then the decomposition (4.11.3) takes the
form
ξ i = ξei + m
fab mij ṡaj sb (ξ), (4.11.15)
where m
fab is the inverse matrix of
−ri = −m
fab mij ṡaj sb (ξ) (4.11.16)
is orthogonal to every element of VQ J 1 Q∩Ann (S) with respect to the mass metric m
c.
1
Since elements of VQ J Q∩Ann (S) can be treated as the virtual accelerations relative
to the non-holonomic constraint S, the constraint reaction acceleration (4.11.16)
characterizes S as an ideal non-holonomic constraint.
The Gauss principle is also fulfilled as follows. Given a dynamic equation ξ and
the above-mentioned fibre metric m c, let us define a positive function G(w) on J 2 Q
as
c ξ(π12 (w)) − w, ξ(π12 (w)) − w ,
G(w) = m
G(q λ , qti , qtti ) = mij (q λ , qtk )(ξ i (q λ , qtk ) − qtti )(ξ j (q λ , qtk ) − qttj ).
We say that
q
kwk = G(w)
is a norm of w ∈ J 2 Q.
Proof. Let ζ be another dynamic equation which takes its values into F . Then
ξe − ζ ⊂ F and
c(ξe − ζ, ξ − ξ)
m e = 0.
Then we obtain
kζk = m
c(ξ − ξe + ξe − ζ, ξ − ξe + ξe − ζ) = kξk c(ξe − ζ, ξe − ζ),
e +m
Now we will show that, in the case of non-degenerate Lagrangian system and lin-
ear non-holonomic constraints, the decomposition (4.11.15) satisfies the traditional
D’Alembert principle.
Let S be an admissible non-holonomic constraint on the velocity phase space
J Q, and L a regular Lagrangian on J 1 Q with a Riemannian mass metric mij = πij .
1
qtti = ξLi − m
fab mij ṡaj (ṡbk ξL
k
+ sbk qtk + sb0 ), (4.11.17)
ξLi = mij (−∂t πj − ∂k πj qtk + ∂j L),
(see the equation (4.12.9) below). It is a constraint reaction force. Let us consider
the energy-momentum conservation law in the presence of this force. It reads
LΓ L − q̇Γi fi = −dt TΓ ,
where LΓ L is the Lie derivative of the Lagrangian L along a reference frame Γ and
TΓ is the energy function relative to this reference frame (see (4.12.15), (4.12.16),
and (4.12.19) below). In particular, if a non-holonomic constraint is linear and Γ
is a constraint reference frame (see Example 4.11.3), the constraint reaction force
does not contribute to the energy conservation law. It follows that, in this case,
the standard D’Alembert principle holds, while the equation (4.11.17) describes a
motion in the presence of an ideal non-holonomic constraint in the sense of this
D’Alembert principle.
4.12. LAGRANGIAN CONSERVATION LAWS 221
EL = πi qti − L (4.12.1)
u = ut ∂t + ui ∂i , ut = 0, 1, (4.12.2)
is said to be the current along the vector field u. The symbol ”≈” stands throughout
for weak equalities fulfilled on-shell.
If the Lie derivative Lu L of a Lagrangian L along a vector field u vanishes,
i.e., L is invariant under the 1-parameter group generated by u, we have the weak
conservation law
Qtot = Q × Y (4.12.6)
Let u be a projectable vector field (4.12.2) on Qtot which projects also onto Y
because the transformations of parameters do not depend on the dynamic variables.
This vector field takes the coordinate form
Substitution of the vector field (4.12.7) into the first variational formula (4.8.4)
leads to the first variational formula in the presence of parameters
Remark 4.12.3. The first variational formula (4.8.4) can also be utilized when
a Lagrangian possesses symmetries, but a motion equation is seen as Lagrange
equations plus additional non-Lagrangian external forces and reads
Let us substitute Ei = −Fi from this equality in the first variational formula (4.8.4)
and assume that the Lie derivative of the Lagrangian L along a vector field u van-
ishes. Then, we have the conservation law
•
224 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
It is easy to see that the weak identity (4.12.3) is linear in the vector field u.
Therefore, one can consider superposition of the weak identities (4.12.3) associated
with different vector fields.
For instance, if u and u0 are projectable vector fields (4.12.2), projected onto the
standard vector field ∂t on R, the difference of the corresponding weak identities
(4.12.3) results in the weak identity (4.12.3) associated with the vertical vector field
u − u0 . Conversely, every vector field u (4.12.2), projected onto ∂t , can be written
as the sum
u=Γ+ϑ (4.12.11)
Γ = ∂t + Γi ∂i (4.12.12)
If the Lie derivative of L along ϑ vanishes, we obtain from (4.12.5) the weak con-
servation law
0 ≈ dt (πi ϑi ) (4.12.13)
T = −πi ϑi . (4.12.14)
By analogy with field theory, (4.12.13) is called the Noether conservation law for
the Noether current (4.12.14).
Example 4.12.4. Let assume that, given a trivialization Q ∼ = R×M in coordinates
(t, q i ), a Lagrangian L is independent of a coordinate q 1 . Then the Lie derivative
of L along the vertical vector field ϑ = ∂1 equals zero, and we have the conserved
4.12. LAGRANGIAN CONSERVATION LAWS 225
Noether current (4.12.14) which reduces to the momentum T = −π1 . With respect
to arbitrary coordinates (t, q 0i ), this conserved Noether current takes the form
∂q 0i 0
T = − 1 πi .
∂q
In particular, the free motion Lagrangian admits m conserved Noether currents. •
where
TΓ = πi (qti − Γi ) − L (4.12.16)
is said to be the energy function relative to the reference frame Γ [51, 57, 161].
With respect to the coordinates adapted to the reference frame Γ, the weak
identity (4.12.15) takes the form of the familiar energy conservation law
and TΓ coincides with the canonical energy function EL (4.12.1). It follows that
the canonical energy function EL is not a unique existent energy function. Each
reference frame defines an energy function.
Example 4.12.5. Let us consider a free motion on a configuration space Q. It is
described by the Lagrangian
1
L = mij q it q jt , m = const., (4.12.18)
2
written with respect to a reference frame (t, q i ) such that the free motion dynamic
equation takes the form (4.6.1). Let Γ be the associated connection. Then the
conserved energy function TΓ (4.12.16) relative to this reference frame Γ is precisely
the kinetic energy of this free motion. Relative to arbitrary coordinates (t, q i ) on Q,
it takes the form
1
TΓ = πi (qti − Γi ) − L = mij (q µ )(qti − Γi )(qtj − Γj ).
2
Now we generalize this example for a motion described by the equation (4.12.9),
where L is the free motion Lagrangian (4.12.18) and F is an external force. The Lie
226 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
derivative of the Lagrangian (4.12.18) along the reference frame Γ vanishes, and we
have the weak equality (4.12.10) which reads
q̇Γi Fi ≈ dt TΓ , (4.12.19)
where q̇Γi is the relative velocity. This is the well-known physical law whose left-hand
side is the power of an external force. •
1 2 mk 2 2
" #
1 k k
TΓ = m0 exp t qt (qt + q) = mq̇Γ − q ,
2 m0 m0 2 8m20
Since any vector field u (4.12.2) can be represented as the sum (4.12.11) of a
reference frame Γ (4.12.12) and a vertical vector field ϑ, each current (4.12.4) along
a vector field u (4.12.2) is the sum of a Noether current (4.12.14) along the vertical
vector field ϑ and the energy function (4.12.16) relative to the reference frame Γ
[51, 57, 161]. Conversely, energy functions relative to different reference frames Γ
and Γ0 differ from each other in the Noether current along the vertical vector field
Γ − Γ0 .
In conclusion, we touch on gauge transformations with a generator u (4.12.2),
which preserve the Euler-Lagrange operator EL , but not necessarily a Lagrangian
L. They are called generalized invariant transformations [57, 105, 174]. We use the
formula
LJ 2 u EL = ELu L
4.12. LAGRANGIAN CONSERVATION LAWS 227
J 2 u = ut ∂t + ui ∂i + dt ui ∂it + dt dt ui ∂itt
LJ 2 u EL = 0. (4.12.21)
Lu L = dt f,
Example 4.12.7. Let L be the free motion Lagrangian (4.12.18). The correspond-
ing Euler–Lagrange operator
EL = −mij qttj dq i
228 CHAPTER 4. LAGRANGIAN TIME-DEPENDENT MECHANICS
(see (4.6.10)). At the same time, the Lie derivative of the free motion Lagrangian
(4.12.18) along the vector field (4.12.23) does not vanish, and we have
[148]. Then the weak equality (4.12.22) shows that (qti t − q i ) is a constant of motion.
•
LJ 2 u EL ≈ 0
Hamiltonian time-dependent
mechanics
229
230 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
πΠ : V ∗ Q → Q (5.1.1)
Ξ = pdt + pi dq i (5.1.2)
dΞ = dp ∧ dt + dpi ∧ dq i . (5.1.3)
A glance at this expression shows that the holonomic coordinates of V ∗ Q are canon-
ical for the Poisson structure (5.1.5). Since the rank of the bivector field w (5.1.6) is
constant, the Poisson structure (5.1.5) is regular. This Poisson structure is obviously
degenerate.
Given the Poisson bracket (5.1.5), the Hamiltonian vector field ϑf for a function
f on the momentum phase space V ∗ Q is defined by the relation
ϑf = ∂ i f ∂i − ∂i f ∂ i (5.1.7)
Ωt = dpi ∧ dq i
232 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
of the canonical symplectic form on the typical fibre T ∗ M of the fibre bundle V ∗ Q →
R with respect to trivialization morphisms [27, 74, 161]. Given such a trivialization
V ∗Q ∼
= R × T ∗ M, (5.1.8)
the Poisson structure (5.1.5) is isomorphic to the direct product of the zero Poisson
structure on R and the canonical symplectic structure on T ∗ M (see Example 2.3.7).
The Poisson structure (5.1.5) can be introduced in a different way [57, 161].
The polysymplectic form (2.9.9) on the Legendre bundle V ∗ Q → Q (5.1.1) reads
Λ = dpi ∧ dq i ∧ dt ⊗ ∂t ,
Θ = pi dq i ∧ dt (5.1.10)
on the momentum phase space V ∗ Q. The canonical forms (5.1.9) and (5.1.10) are
maintained under any holonomic coordinate transformation of V ∗ Q.
Given the canonical form (5.1.9), every function f on the momentum phase
space V ∗ Q determines the corresponding Hamiltonian vector field ϑf (5.1.7) by the
relation
Remark 5.1.1. It should be emphasized that, though the momentum phase space
V ∗ Q of time-dependent mechanics is provided with the canonical Poisson structure,
non-conservative mechanical systems are not reduced to the Poisson Hamiltonian
systems of Section 3.2. Given a trivialization (5.1.8), i.e., a reference frame, one
can write the Hamilton equations (5.2.20) – (5.2.21) (see below) as the equations
of the Hamiltonian vector field ϑH (5.1.7) for a Hamiltonian H with respect to the
Poisson structure (5.1.5). Moreover, by very definition of the canonical form Ω
(5.1.9), the reference frame transformations are canonical transformations for the
5.2. HAMILTONIAN CONNECTIONS AND HAMILTONIAN FORMS 233
Poisson structure (5.1.5) (see Section 5.3). However, a Hamiltonian H (see (5.2.12)
below) is not a scalar function under reference frame transformations in general.
Therefore these transformations are not the equivalence transformation of a Poisson
Hamiltonian system. •
γ = ∂t + γ i ∂i + γi ∂ i (5.2.1)
qti = γ i , pti = γi
Q = R × M → R,
V ∗ Q = R × T ∗ M,
J 1 V ∗ Q = R × T T ∗ M, (5.2.2)
u = ui ∂i + ui ∂ i
234 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
γ = ∂t + ui ∂i + ui ∂ i
q̇ i = ui , ṗi = ui
Lγ Ω = d(γcΩ) = 0. (5.2.3)
∂ i γ j − ∂ j γ i = 0, (5.2.4)
∂i γj − ∂j γi = 0, (5.2.5)
∂j γ i + ∂ i γj = 0. (5.2.6)
Γ : Q → J 1 Q ⊂ T Q,
Γ = ∂t + Γi ∂i , (5.2.7)
e = V ∗ Γ = ∂ + Γi ∂ − p ∂ Γi ∂ j
Γ (5.2.8)
t i i j
5.2. HAMILTONIAN CONNECTIONS AND HAMILTONIAN FORMS 235
ΓcΩ
e = dHΓ ,
HΓ = pi dq i − pi Γi dt. (5.2.9)
•
Locally Hamiltonian connections constitute an affine space modelled over the
linear space of vertical vector fields ϑ on the Legendre bundle V ∗ Q → R, which
fulfill the same condition
d(ϑcΩ) = 0 (5.2.10)
as (5.2.3). These vector fields are locally the Hamiltonian vector fields in accordance
with the following lemma.
Lemma 5.2.2. Every closed form γcΩ on the fibre bundle V ∗ Q → R is exact. 2
γ=Γ
e + ϑ, (5.2.11)
where Γ is a connection on Q → R and Γ e is its lift (5.2.8) onto the fibre bundle
V ∗ Q → R, while ϑ is a vertical vector field on V ∗ Q satisfying the relation (5.2.10).
It is easily seen that
ϑcΩ = σ ∧ dt,
ϑcΩ = df ∧ dt,
γcΩ = dH
236 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
H = h∗ Ξ = pi dq i − Hdt (5.2.12)
ζ : T ∗ Q → V ∗ Q. (5.2.13)
Remark 5.2.3. Note that, with respect to the universal unit system, a Hamiltonian
form is physically dimensionless. •
p ◦ Γ = −pi Γi
of the fibre bundle (5.2.13) (see (1.3.12)), and defines the Hamiltonian form HΓ
(5.2.9) on the momentum phase space V ∗ Q, where its Hamiltonian is
H = pi Γi .
5.2. HAMILTONIAN CONNECTIONS AND HAMILTONIAN FORMS 237
It follows that any Hamiltonian form on the momentum phase space V ∗ Q admits
the splitting
f dt = p dq i − (p Γi + H
H = HΓ − H f )dt, (5.2.14)
Γ i i Γ
qti i
◦ Φ = Φ (p), p ∈ V ∗ Q, (5.2.15)
over Q from the momentum phase space V ∗ Q to the velocity phase space J 1 Q. Its
composition with the canonical morphism λ (4.1.4) yields the fibred morphism
Φ : V ∗ Q → T Q,
Q
Φ = ∂t + Φi ∂i . (5.2.16)
In particular, every connection Γ on a configuration bundle Q → R defines the
Hamiltonian map
b = Γ ◦ π : V ∗ Q → Q → J 1 Q,
Γ Π
b = ∂ + Γi ∂ .
Γ t i
Proposition 5.2.5. Every Hamiltonian map (5.2.16) defines the associated Ha-
miltonian form
HΦ = −ΦcΘ = (λ ◦ Φ)∗ Ξ = pi dq i − pi Φi dt
V h : V V ∗Q → V ∗Q × T ∗Q
Q
V ∗V ∗Q ⊗
∗
T ∗ Q → V ∗ Q.
V Q
V h = (dq i − ∂ i Hdt) ⊗ ∂i
of the pull-back
V ∗ Q ×(T ∗ Q ⊗ V Q) → V ∗ Q,
Q
and takes its values into the image of the jet manifold J 1 Q by its canonical imbedding
(1.3.5) into T ∗ Q ⊗ V Q. QED
5.2. HAMILTONIAN CONNECTIONS AND HAMILTONIAN FORMS 239
In particular, we have
ΓHΓ = Γ,
where HΓ is the Hamiltonian form (5.2.9) associated with the connection Γ on the
fibre bundle Q → R.
H = HΓH − Hdt.
f
Let us turn now to the relationship between the locally Hamiltonian forms and
the Hamiltonian ones.
Proof. Given two locally Hamiltonian forms Hγ and Hγ 0 on the momentum phase
space V ∗ Q, their difference
σ = Hγ − Hγ 0 ,
dσ = (γ − γ 0 )cΩ,
σ = f dt + dg,
240 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
where f and g are local functions on V ∗ Q. Then, we deduce from the splitting
(5.2.11) that, in a neighbourhood of every point p ∈ V ∗ Q, a locally Hamiltonian
form Hγ can be written as
Hγ = HΓ + f dt,
and coincides with the pull-back of the Liouville form Ξ on the cotangent bundle
T ∗ Q by the local section
γH cΩ = dH. (5.2.17)
Proof. As in the polysymplectic case, let us introduce the first order Hamilton
operator on the phase space V ∗ Q, which is associated with the Hamiltonian form
H. This Hamilton operator reads
2
EH : J 1 V ∗ Q → ∧ T ∗ V ∗ Q,
def
EH = dH − λcΩ = [(qti − ∂ i H)dpi − (pti + ∂i H)dq i ] ∧ dt, (5.2.18)
γH = ∂t + ∂ i H∂i − ∂i H∂ i (5.2.19)
5.2. HAMILTONIAN CONNECTIONS AND HAMILTONIAN FORMS 241
H − H 0 = df, γH − γH 0 = −ϑf .
The kernel of the covariant differential DγH , associated with a Hamiltonian con-
nection (5.2.19), is a closed imbedded subbundle of the jet bundle J 1 V ∗ Q → R,
and defines the system of first order differential equations on the momentum phase
space V ∗ Q. These are called the Hamilton equations
qti = ∂ i H, (5.2.20)
pti = −∂i H (5.2.21)
for the Hamiltonian form H. Note that, in comparison with the Lagrange equations,
the Hamilton ones are always well defined differential equations. The integral sec-
tions r : R 3 () → V ∗ Q of the Hamiltonian connection (5.2.19) (or equivalently, the
integral curves of the horizontal vector field (5.2.19)) are solutions of the Hamilton
equations (5.2.20) – (5.2.21). Moreover, a glance at the equation (5.2.20) shows that
the relation
J 1 (πΠ ◦ r) = H
c◦r (5.2.22)
Remark 5.2.5. The Hamilton equations (5.2.20) – (5.2.21) are the particular case
of the first order dynamic equations
The first order reduction of the equation of a motion of a point mass m subject
to friction in Example 4.9.7 exemplifies first order dynamic equations which are not
Hamilton ones. These equations read
1 k
qt = p, pt = − p. (5.2.24)
m0 m0
The connection
1 k
γ = ∂t + p∂q − p∂p
m m
does not obey the condition (5.2.6) for a locally Hamiltonian connection. At the
same time, the equations (5.2.24) are equivalent to the Hamilton equations for the
Hamiltonian associated with the Lagrangian (4.9.37). •
Note that the Hamilton equations (5.2.20) – (5.2.21) can be introduced without
appealing to the Hamilton operator. On sections r of the fibre bundle V ∗ Q → R,
these equations
r∗ (ucdH) = 0 (5.2.26)
(dH)m ∧ dt 6= 0.
5.2. HAMILTONIAN CONNECTIONS AND HAMILTONIAN FORMS 243
It follows that the pair (dH, dt) defines a cosymplectic structure on V ∗ Q (see Remark
4.8.8). Since the presymplectic form dH is of constant rank 2m, its kernel Ker dH is
a 1-dimensional distribution which is spanned by the vector field γH (5.2.19). Hence,
there is a unique vector field u = γH on V ∗ Q such that
ucdH = 0, ucdt = 1
(see [37]). This is a different proof of Proposition 5.2.10. •
Proposition 5.2.11. The Hamiltonian form (5.2.8) is a contact form on the mo-
mentum phase space V ∗ Q if the function
γH cH = pi ∂ i H − H = [H] (5.2.29)
nowhere vanishes [116]. 2
Note that one may try to add some exact form, e.g., the form cdt, c = const.,
to a Hamiltonian form H in order to make the function [H] nowhere vanishing. For
instance, the Hamiltonian form HΓ (5.2.9) fails to be a contact one since [HΓ ] = 0,
but the equivalent Hamiltonian form HΓ − dt, where [HΓ − dt] = 1, is a contact
form.
If a Hamiltonian form H is a contact one, the corresponding Reeb vector field
(2.2.5) reads
EH = [H]−1 γH . (5.2.30)
By virtue of Proposition 2.2.6, one can then introduce the Jacobi bracket defined
by the vector field (5.2.30) and by the bivector field wH on V ∗ Q derived from the
relations (2.2.8) which read
wH (φ, .)cH = 0,
wH (φ, .)cdH = −(φ − (EH cφ)H),
244 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
wH (φ, σ) = φi σi − σ i φi + pi σ i EH cφ − pi φi EH cσ,
[f ] = pi ∂ i f − f, [g] = pi ∂ i g − g.
Remark 5.2.7. Given the Poisson bracket (5.1.5) on the momentum phase space
V ∗ Q, one can introduce the generalized Poisson bracket {., .}w (2.8.3) on the exterior
algebra O∗ (V ∗ Q), and the bracket {., .}d (2.8.5) on the quotient
O∗ (V ∗ Q)/dO∗ (V ∗ Q).
{H, H 0 }w = pi (∂ i H0 − ∂ i H)dt.
2
5.3. CANONICAL TRANSFORMATIONS 245
Ω = ρ∗ Ω.
Definition 5.3.2. The bundle coordinates of the fibre bundle V ∗ Q → R are called
canonical if they are canonical for the Poisson structure (5.1.5). 2
Proof. A glance at the relation (5.2.3) shows that each locally Hamiltonian con-
nection γ is the generator of a local 1-parameter group of canonical automorphisms
of the fibre bundle V ∗ Q → R. Let V0∗ Q be the fibre of V ∗ Q → R at 0 ∈ R. Then
canonical coordinates of the symplectic manifold V0∗ Q ∼ = T ∗ M dragged along inte-
gral curves of the complete vector field γ determine the desired canonical coordinates
on V ∗ Q. QED
ψ : V ∗ Q → R × V0∗ Q (5.3.2)
H = pA dq A
with the Hamiltonian H = 0. Then the corresponding Hamilton equations take the
form of the equilibrium equations
Example 5.3.1. Let us consider the 1-dimensional motion with constant acceler-
ation a with respect to the coordinates (t, q). Its Hamiltonian on the momentum
phase space R3 → R reads
p2
H= − aq.
2
The associated Hamiltonian connection is
γH = ∂t + p∂q + a∂p .
Example 5.3.2. Let us consider the 1-dimensional oscillator with respect to the
same coordinates as in the previous Example. Its Hamiltonian on the momentum
phase space R3 → R reads
1
H = (p2 + q 2 ).
2
The associated Hamiltonian connection is
γH = ∂t + p∂q − q∂p ,
bring it into γH = ∂t . Then, the functions q 0 (t, q, p) and p0 (t, q, p) (5.3.5) are con-
stants of motion. •
d(ρ∗ H − H) = 0,
248 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
where
H − ρ∗ H = dS, (5.3.7)
∂i S = pi − ρj ∂i ρj ,
∂ i S = −ρj ∂ i ρj ,
H − H0 = ρi ∂t ρi − ∂t S.
∆ρ = {(p, ρ(p)) ∈ V ∗ Q × V ∗ Q, p ∈ V ∗ Q}
of the canonical automorphism, the function S plays the role of a generating function
of canonical transformations.
Example 5.3.3. Given a canonical automorphism ρ, let
det(∂ i ρj ) 6= 0. (5.3.8)
•
5.4. THE EVOLUTION EQUATION 249
• Since the evolution equation (5.4.2) is not reduced to the Poisson bracket,
the integrals of motion in time-dependent mechanics cannot be defined as
functions on a momentum phase space, which are in involution with a Hamil-
tonian. Therefore, to obtain conservation laws in Hamiltonian time-dependent
mechanics, we follow the methods of field theory (see Section 5.7).
• The second (kinematic) term in the right-hand side of this equality plays the
essential role under quantization. It makes the quantization procedure depen-
dent on a reference frame. In Appendix B, we will show that quantizations
under different reference frames fail to be equivalent in general.
Note that the kinematic term in the evolution equation (5.4.2) can be eliminated
at least locally by means of canonical transformations. Let a connection Γ in the
splitting of a Hamiltonian form (5.2.14) be complete. With respect to the coordinate
system (t, q i ) adapted to the reference frame Γ, the configuration bundle Q is triv-
ialized, and the corresponding holonomic coordinates (t, q i , pi ) on the momentum
phase space V ∗ Q are canonical. With respect to these coordinates, the evolution
equation (5.4.2) takes the familiar form
LγH f = ∂t f + {H,
f f} .
V
L
b 6 L
b
?
H
J 1 Q ←− V ∗ Q
b
J 1L J 1L
b 6 b
?
J 1H
J 1 J 1 Q ←− J 1 V ∗ Q
b
5.5. DEGENERATE SYSTEMS 251
As we will show below, in the case of a hyperregular Lagrangian when the Leg-
endre map L b (4.8.9) is a diffeomorphism, Lagrangian and Hamiltonian formalisms
are equivalent. Conversely, let H be a Hamiltonian form and γH the corresponding
Hamiltonian connection (5.2.19) on the momentum phase space V ∗ Q → R. Let us
consider the composition of morphisms
c ◦ γ : V ∗ Q → J 2 Q ⊂ J 1 J 1 Q,
J 1H (5.5.1)
H
(qti , q(t)
i
, qtti ) ◦ J 1 H
c ◦ γ = (∂ i H, ∂ i H, γ cd (∂ i H)).
H H t
L◦H
c = [H] (5.5.6)
everywhere on V ∗ Q.
Remark 5.5.1. Unless otherwise stated, we regard N as a subset of the momentum
phase space V ∗ Q, without a manifold structure. All objects are defined on the whole
phase space V ∗ Q, and their restriction to N means only that their values at the
points of N ⊂ V ∗ Q are considered. •
Acting on both sides of the equality (5.5.6) by the exterior differential, we obtain
the relations
∂t H(p) = −(∂t L)(t, q j , ∂ j H(p)), p ∈ N, (5.5.8)
∂i H(p) = −(∂i L)(t, q j , ∂ j H(p)), p ∈ N, (5.5.9)
(pi − (∂it L)(t, q j , ∂ j H))∂ i ∂ a H = 0. (5.5.10)
A glance at the relation (5.5.10) shows that:
• the condition (5.5.2) is a corollary of the condition (5.5.3) if the Hamiltonian
map Hc is regular, i.e.,
det(∂ i ∂ j H) 6= 0
Example 5.5.2. Let L = 0 be the zero Lagrangian. In this case, the Lagrangian
constraint space is N = 0(Q),
b where 0b is the canonical zero section of the Legendre
∗
bundle V Q → Q. The condition (5.5.2) is fulfilled trivially for every Hamiltonian
map, while the condition (5.5.3) takes the coordinate form
H = pi ∂ i H.
Any Hamiltonian form HΓ (5.2.9) obeys this condition, and is associated with the
Lagrangian L = 0. •
such that
H b −1 ,
c=L pi ≡ πi (q λ , ∂ j H(q λ , pk )), qti ≡ ∂ i H(q λ , πj (q λ , qtk )). (5.5.12)
J 1H b −1 .
c = (J 1 L)
A glance at the relations (5.5.7) and (5.5.13) shows that the Poincaré–Cartan
form is the Lagrangian counterpart of a Hamiltonian form, whereas it follows from
254 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
(5.5.14) and (5.5.15) that the Lagrangian counterpart of the Hamilton operator is
the Euler–Lagrange–Cartan operator EL (4.8.17).
In particular, if γH is a Hamiltonian connection for the associated Hamiltonian
form H (5.5.11), then, by virtue of the equality (5.5.15), the composition J 1 H
c◦γ
H
(5.5.1) takes its values into the kernel of the Euler–Lagrange–Cartan operator EL or,
more exactly, in the kernel of the Euler–Lagrange operator EL . Then the composition
J 1H b : J 1 Q 3 (t, q i , q i ) 7→
c◦γ ◦L
H t
(t, q i , qti = ∂ i H ◦ L,
b q i = ∂ i H ◦ L,
(t)
b q i = γ cd(∂ i H) ◦ L)
tt H
b =
γH = J 1 L
b ◦ξ ◦H
L
c
c = πΠ ◦ r
of the fibre bundle Q → R is a solution of the Lagrange equations (4.8.7) for the
Lagrangian L, while its first order jet prolongation ċ satisfies the Cartan equations
(4.8.18) – (4.8.19).
(ii) Conversely, if a section c of the jet bundle J 1 Q → R is a solution of the
Cartan equations for the Lagrangian L, the section
b ◦c
r=L
of the fibre bundle V ∗ Q → R satisfies the Hamilton equations (5.2.20) – (5.2.21) for
the Hamiltonian form H. 2
Cartan equations) and the solutions of the Hamilton equations for the associated
Hamiltonian form.
In the case of regular Lagrangian L, the Lagrangian constraint space N is an
open subbundle of the Legendre bundle V ∗ Q → Q. If N 6= V ∗ Q, an associated
Hamiltonian form fails to be defined everywhere on V ∗ Q in general. At the same
time, an open constraint subbundle N can be provided with the appropriate pull-
back structure with respect to the imbedding N ,→ V ∗ Q so that we may restrict our
consideration to Hamiltonian forms on N . If a regular Lagrangian is additionally
semiregular (see Definition 5.5.4 below), the associated Legendre morphism is a
diffeomorphism of J 1 Q onto the Lagrangian constraint space N and, on N , we can
restate all results true for hyperregular Lagrangians.
Example 5.5.3. Let Q be the fibre bundle R2 → R with coordinates (t, q). Its jet
manifold J 1 Q ∼ = R3 and its Legendre bundle V ∗ Q ∼
= R3 are coordinated by (t, q, qt )
and (t, q, p), respectively. Put
This Lagrangian is regular, but not hyperregular. The corresponding Legendre map
reads
p◦L
b = exp q .
t
It follows that the Lagrangian constraint space N is given by the coordinate relation
p > 0. This is an open subbundle of the Legendre bundle, and L b is a diffeomorphism
of J 1 Q onto N . Hence, there is a unique Hamiltonian form H on N which is
associated with the Lagrangian (5.5.16). Its Hamiltonian function reads
H = p(ln p − 1).
H |N = H 0 |N .
Proof. Let u be a vertical vector field on the jet bundle J 1 Q → Q. If u takes its
values into the kernel Ker T L
b of the tangent morphism to L,
b it is easy to see that
Lu HL = 0.
Note that the Hamilton operators for Hamiltonian forms in Proposition 5.5.5
do not necessarily coincide at points of the Lagrangian constraint N because of the
derivatives of these forms.
Let H be a Hamiltonian form associated with a semiregular Lagrangian L. Act-
ing by the exterior differential on the relation (5.5.17), we obtain the equality
(qti − ∂ i H ◦ L)dπ
b b i
i ∧ dt − (∂i L + ∂i (H ◦ L))dq ∧ dt = 0 (5.5.18)
πij (qtj − ∂ j H ◦ L)
b = 0,
∂i πj (qtj − ∂ j H ◦ L)
b − (∂ L + (∂ H) ◦ L)
i i
b = 0.
5.5. DEGENERATE SYSTEMS 257
(5.5.14), but not necessarily the relation (5.5.15) to semiregular Lagrangians. The
relation (5.5.19) enables us to generalize item (i) of Proposition 5.5.3 for Hamiltonian
forms associated with semiregular Lagrangians.
c = πΠ ◦ r
of the fibre bundle Q → R satisfies the Lagrange equations for L, while its first
order jet prolongation
c ◦ r = ċ
c=H
vanishes at points of J 1 c(R). It follows that the section c of the fibre bundle J 1 Q →
R obeys the Cartan equations. By virtue of the equation (5.2.20), we have c = ċ, and
the section c is a solution of the Lagrange equations, which lives in the submanifold
H(N
c ). QED
H b ◦ c = J 1 (π 1 ◦ c).
c◦L (5.5.20)
0
Proof. The Hamilton equations (5.2.20) hold by virtue of the condition (5.5.20).
Using the relations (5.5.18) and (5.5.20), the Hamilton equation (5.2.21) is brought
into the Cartan equation (4.8.19):
b ◦ c = −(cj − ∂ j H ◦ L
dt πi ◦ c = −(∂i H) ◦ L b ◦ c)∂ π ◦ c + ∂ L ◦ c =
t i j i
QED
where (5.5.21) is the equation (5.5.4) of a Lagrangian constraint space, while (5.5.22)
requires that the horizontal vector field γH is tangent to N at the point (t, q i , pi ). In
contrast with the case of autonomous constraint systems, the left-hand side of the
5.5. DEGENERATE SYSTEMS 259
equation (5.5.22) is not reduced to the Poisson bracket. Therefore, we cannot follow
the familiar procedure of constructing the final constraint space in Section 3.5.
There is another possibility. Given a solution of the Lagrange equations, one can
try to find an associated Hamiltonian form H such that this solution is a solution
of the Hamilton equations for H. It may happen that different solutions of the
Lagrange equations require different Hamiltonian forms in general. Thus, degenerate
Lagrangian systems are described as multi-Hamiltonian systems.
Note that, in the case of semiregular Lagrangians, the condition (5.5.20) is the
obstruction for a solution c of the Cartan equations to be a solution of the Hamilton
equations and the Lagrange equations. At the same time, one can try to find a
family of associated Hamiltonian forms such that each solution of the Lagrange
equations is a solution of the Hamilton equations for some Hamiltonian form from
this family.
c = πΠ ◦ r, b ◦ ċ
r=L (5.5.23)
the morphism
J 1H b : J 1 Q 3 (t, q i , q i ) 7→
c◦γ ◦L
t
(t, q i , qti = ∂ i H ◦ L,
b q i = ∂ i H ◦ L,
(t)
b q i = γ cd(∂ i H) ◦ L)
tt H
b
restricted to H(Q)
c is the holonomic section over H(Q)
c ⊂ J 1 Q of the affine jet
bundle J 2 Q → J 1 Q. Let H(Q)
c be a closed submanifold, e.g., when a Lagrangian L
is almost regular (see Definition 5.5.9 below). Then the section J 1 Hc◦γ ◦L
H
b can
be extended to a holonomic connection on the jet bundle J 1 Q → R, which defines
a dynamic equation on the configuration space Q. In this case, given a solution r
of the Hamilton equations for H which lives in the Lagrangian constraint space N ,
its projection πΠ ◦ r is a solution of both the Lagrange equations and the dynamic
one. •
Definition 5.5.9. A semiregular Lagrangian L is called almost regular if: (i) the
Lagrangian constraint space N is a closed imbedded subbundle iN : N ,→ V ∗ Q of
the Legendre bundle V ∗ Q → Q and (ii) the Legendre map Lb : J 1 Q → N is a fibre
bundle. 2
equations which are defined on the Lagrangian constraint space Q in the case of an
almost regular Lagrangian.
Let
def
HN = i∗N H
be the restriction of a Hamiltonian form H associated with an almost regular La-
grangian L to the Lagrangian constraint space N . By virtue of Proposition 5.5.5,
this restriction, called the constrained Hamiltonian form, is uniquely defined. More-
over, the Poincaré–Cartan form is the pull-back HL = L b ∗ H of the constrained
N
Hamiltonian form HN . On sections r of the fibre bundle Q → R, we can write the
constrained Hamilton equations
r∗ (uN cdHN ) = 0, (5.5.26)
where uN is an arbitrary vertical vector field on the fibre bundle N → R [56, 57, 161].
For the sake of simplicity, we can identify a vertical vector field uN on N → R with
its image T iN (uN ) and can bring the constrained Hamilton equations (5.5.26) into
the form
r∗ (uN cdH) = 0, (5.5.27)
where r is a section of the fibre bundle N → R, and uN is an arbitrary vertical vector
field on N → R. It should be emphasized that these equations fail to be equivalent
to the Hamilton equations (5.2.26) restricted to the Lagrangian constraint space N .
If an almost regular Lagrangian admits associated Hamiltonian forms (see Propo-
sition 5.5.10), the following three assertions together with Proposition 5.5.7 give
the relationship between Cartan, Hamilton–De Donder, Hamilton, and constrained
Hamilton equations [57, 161].
Proof. For any vertical vector field uN on the fibre bundle N → R, the vector field
T iN (uN ) is obviously a local vertical vector field on the fibre bundle V ∗ Q → R.
Then we have
r∗ (uN cdHN ) = r∗ (uN ci∗N dH) = r∗ (T iN (uN )cdH) = 0
5.5. DEGENERATE SYSTEMS 263
For instance, v is the horizontal lift of u by means of a connection on the affine jet
bundle J 1 Q → Q. Let a section c : R ,→ J 1 Q be a solution of the Cartan equations
(4.8.20). Then we have
b ◦ c)∗ (u cdH ) = c∗ (vcdH ) = 0.
(L (5.5.28)
N N L
ζ : T ∗Q → V ∗Q
hN = h ◦ iN : N → T ∗ Q
which does not depend on the choice of H. This is a local section of the fibre bundle
T ∗ Q → V ∗ Q over N ⊂ V ∗ Q, i.e,
ζ ◦ hN = Id N. (5.5.29)
264 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
Moreover, we have
where H
c is the Legendre morphism (4.8.23) associated with the Poincaré–Cartan
L
form HL . Substituting (4.8.24) in (5.5.30), we obtain
c =h ◦ζ ◦H
H c .
L N L
It follows that
ζ◦iL
ZL - N
i−1
L ◦hN
HN = (i−1 ∗
L ◦ hN ) ΞL , ΞL = (ζ ◦ iL )∗ HN .
Hence, the Hamilton–De Donder equations (4.8.27) are equivalent to the constrained
Hamilton equations (5.5.26). QED
Proof. For any point p of the Lagrangian constraint space N (5.5.5), the system of
linear algebraic equations (5.6.2) for qti has solutions which make up an affine space
modelled over the linear space of solutions of the homogeneous linear algebraic
equations
0 = aij q̇ j ,
where q̇ j are the holonomic coordinates of the vertical tangent bundle V Q. This
affine space is obviously connected. QED
Let us assume that the Lagrangian L (5.6.1) is almost regular, i.e., the matrix
aij is of constant rank.
The Legendre map (5.6.2) is an affine morphism over Q. It defines the corre-
sponding linear morphism
L : V Q → V ∗ Q,
Q
pi ◦ L = aij q̇ j ,
constraint fibre bundle N → Q has a global section. For the sake of simplicity, let us
assume that this is the canonical zero section 0(Q)
b of the vertical cotangent bundle
∗
V Q → Q. Then N = N .
The kernel
Ker L b −1 (0(Q))
b =L b
of the Legendre map is an affine subbundle of the affine jet bundle J 1 Q → Q, which
is modelled over the vector bundle
−1
Ker L = L (0(Q))
b ⊂ V Q.
Γ : Q → Ker L,
b (5.6.3)
aij Γj + bi = 0, (5.6.4)
For instance, if the quadratic Lagrangian (5.6.1) is regular, there is a unique solution
(5.6.3) of the algebraic equations (5.6.4).
σ : V ∗ Q → V Q, (5.6.5)
i ij
q̇ ◦ σ = σ pj ,
L ◦ σ ◦ iN = iN .
The matrix aij is symmetric. After diagonalization, let this matrix have non-
vanishing components aAA , A ∈ I. Then a solution of the equations (5.6.6) takes
the form
1
σAA = AA , σAA0 = 0, A, A0 ∈ I, A 6= A0 ,
a
while the remaining components are arbitrary. In particular, there is a solution
1
σAA = , σAA0 = 0, σCB = 0, B 6∈ I, (5.6.7)
aAA
which satisfies the relation
σ = σ ◦ L ◦ σ, (5.6.8)
ij ik jb
σ = σ akb σ .
QED
¿From now on, by σ is meant the solution (5.6.7). If the Lagrangian (5.6.1) is
regular, the map (5.6.5) is uniquely determined by the equation (5.6.6).
The Lagrangian frame connection (5.6.3) and the map (5.6.5) play a prominent
role in the construction below.
J 1 Q = Ker L
b ⊕ Im(σ ◦ L),
b (5.6.9)
Q
In particular, it follows that, since L and σ are linear morphisms, their compo-
sition L ◦ σ is a fibration of the momentum phase space V ∗ Q over the Lagrangian
constraint space N .
Proposition 5.6.4. There is also the following splitting of the momentum phase
space
V ∗ Q = Ker σ ⊕ N,
Q
u = ui ∂i + ui ∂ i
u = (u − uN ) + uN , (5.6.10)
ui = [ui − aij σ jk uk ] + [aij σ jk uk ],
where
uN = ui ∂i + aij σ jk uk ∂ i
Given the linear map σ (5.6.5) and the Lagrangian frame connection Γ (5.6.3),
let us consider the affine Hamiltonian map
Φ = Γ + σ : V ∗ Q → J 1 Q, (5.6.11)
i i ij
Φ = Γ (q) + σ pj ,
H = HΦ + Ldt,
1 1
H = pi dq i − [Γi (pi − bi ) + σ ij pi pj − c]dt. (5.6.12)
2 2
It is readily observed that Hc = Φ and, by virtue of (5.6.8), the Hamiltonian form
H is associated with the quadratic Lagrangian (5.6.1).
We aim to show that the Hamiltonian forms (5.6.12), parameterized by the
Lagrangian frame connections Γ (5.6.3), constitute a complete family.
Given the Hamiltonian form (5.6.12), let us consider the Hamilton equations
(5.2.20) for sections r of the fibre bundle V ∗ Q → R. They read
b + σ) ◦ r,
ċ = (Γ c = πΠ ◦ r, (5.6.13)
or
∇t ri = σ ij rj ,
5.6. QUADRATIC DEGENERATE SYSTEMS 269
where
∇t ri = ∂t ri − (Γ ◦ c)i
is the covariant derivative relative to the connection Γ. With the splitting (5.6.9),
we have the surjections
S = pr1 : J 1 Q → Ker L,
b
and
With respect to these surjections, the Hamilton equations (5.6.13) are split into the
following two parts:
S ◦ ċ = Γ ◦ c, (5.6.14)
i ik j
∇t r = σ (akj ∂t r + bk ),
and
F ◦ ċ = σ ◦ r, (5.6.15)
ik j ik
σ (akj ∂t r + bk ) = σ rk .
In this case, the Hamiltonian map (5.6.11) satisfies the relation (5.5.24) for c, i.e.,
Φ◦L
b ◦ ċ = ċ.
270 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
Thence, the Hamiltonian forms (5.6.12) constitute a complete family. The Hamil-
tonian forms from this family differ from each other only in the Lagrangian frame
connections Γ (5.6.3) which lead to the different gauge conditions (5.6.14). It is
readily observed that a Lagrangian frame connection Γ is also a Hamiltonian frame
connection for the corresponding Hamiltonian form (5.6.12).
Proposition 5.6.6. For every Hamiltonian form H (5.6.12), the Hamilton equa-
tions (5.2.21) and (5.6.15) on sections of the constraint fibre bundle N → R are
equivalent to the constrained Hamilton equations (5.5.27). 2
It follows that the equations (5.6.14) are the additional conditions which make
the Hamilton equations differ from the constrained Hamilton equations (5.5.27) and
the Lagrange equations in the case of a quadratic Lagrangian.
It follows that the equations (5.6.14) are responsible for the obstruction condition
(5.5.20) for solutions c of the Cartan equations to be solutions of the Hamilton
equations and of the Lagrange equations for the Lagrangian (5.6.1). It is readily
seen that the equations (5.6.15) do not contribute to the obstruction condition
(5.5.20). If r = Lb ◦ c, these equations hold for solutions c of the Cartan equations
(4.8.18).
Proposition 5.6.8. Let c be a solution of the Cartan equations for the almost
regular quadratic Lagrangian L (5.6.1). Let c0 be a section of the fibre bundle
5.7. HAMILTONIAN CONSERVATION LAWS 271
V Q → R, which takes its values into Ker L and projects onto c = π01 ◦ c. Then the
sum c + c0 over Q is also a solution of the Cartan equations. 2
QED
Lemma 5.7.1. The Poincaré–Cartan form for the Lagrangian LH (5.7.1) coincides
with the pull-back onto J 1 V ∗ Q of the Hamiltonian form H by projection J 1 V ∗ Q →
V ∗ Q, while the Euler–Lagrange operator for LH coincides with the pull-back onto
J 2 V ∗ Q of the Hamilton operator for H by projection J 2 V ∗ Q → J 1 V ∗ Q. 2
It follows from this Lemma that the Lagrange equations for the Lagrangian LH
(5.7.1) are equivalent to the Hamilton equations for the Hamiltonian form H.
ue = ut ∂t + ui ∂i − ∂i uj pj ∂ i (5.7.2)
its lift onto the momentum phase space V ∗ Q in accordance with the formula (1.6.15).
Then, there is the equality
Leu H = LJ 1 eu LH ,
−ui ∂i H − ut ∂t H + pi dt ui ≈ −dt T,
e (5.7.3)
e = −p ui + ut H.
T (5.7.4)
i
In the case of a vertical vector field u, when ut = 0, the weak identity (5.7.3)
leads to the equality
LJ 1 eu LH ≈ dt (pi ui ).
0 ≈ dt (pi ui )
−∂t H − Γi ∂i H + pi dt Γi ≈ −dt H
f ,
Γ
5.8. TIME-DEPENDENT SYSTEMS WITH SYMMETRIES 273
T(r)
e c ◦ r),
= T(H
e L
T( b ◦ ċ) = T(ċ),
∂t H ≈ dt H
relative to the coordinates adapted to the reference frame Γ. This is the Hamiltonian
variant of the Lagrangian energy conservation law (4.12.17).
Q = (P × M )/G (5.8.1)
Φ ◦ rg = rg ◦ Φ, ∀g ∈ G. (5.8.2)
Due to the property (5.8.2), gauge transformations Φ of a principal bundle yield the
gauge transformations of a P -associated fibre bundle
Thus, one can treat a fibre bundle Q (5.8.1) as a configuration space of a mechanical
system with the gauge symmetry group G.
Every gauge transformation of the configuration bundle Q → R gives rise canoni-
cally to the holonomic vertical automorphisms (5.3.1) of the momentum phase space
V ∗ Q → R. They are canonical automorphisms for the canonical Poisson structure
(5.1.5) on V ∗ Q. Moreover, this group action is Hamiltonian as follows (see Definition
3.7.1).
Any 1-parameter group of gauge transformations of a principal bundle P defines
a vector field (its generator) on P which is invariant under the canonical action of
the group G on P . There is one-to-one correspondence between these right-invariant
vector fields on P , called principal vector fields, and the sections of the gauge algebra
bundle VG P (1.5.6), whose typical fibre is the right Lie algebra gr .
Accordingly, any 1-parameter group of gauge transformations of a configuration
space Q, associated with P , defines a principal vertical vector field
ξ = ξ i (q)∂i
on the configuration space Q. This vector field gives rise to the vector field
ξe = ξ i ∂i − ∂i ξ j pj ∂ i
5.8. TIME-DEPENDENT SYSTEMS WITH SYMMETRIES 275
on the momentum phase space (see (5.7.2)). It is readily observed that this is the
Hamiltonian vector field for the Noether current
J = pi ξ i (q) (5.8.3)
(5.7.5) which is defined globally on V ∗ Q (see Example 3.7.4). It follows that, given
a finite dimensional Lie group of gauge transformations, one may apply the familiar
theorems of reduction, e.g., Theorem 3.7.9 to time-dependent mechanics, but not
Theorem 3.7.10 and other results which involve the condition of an invariance of a
Hamiltonian under a group action. Hamiltonians in time-dependent mechanics fail
to be invariant under time-dependent transformations, including gauge transforma-
tions.
Remark 5.8.1. It should be emphasized that gauge transformations make up a
group whose suitable Sobolev completion is a Banach Lie group. The possible ex-
tension of the above-mentioned theorems to this infinite-dimensional Lie group in
the spirit of [36] seems promising. At the same time, we will show below that a Ha-
miltonian form may possess a finite-dimensional Lie group of gauge transformations.
•
Let us restrict our consideration to the case of a vector bundle Q → R. A
principal vector field on this vector bundle reads
ξ = αm (t)εm i j q j ∂i , (5.8.4)
where εm i j are generators of the action of the group G on the typical fibre M , and
αm (t) are local functions on R. The vector field (5.8.4) gives rise to the vector field
ξe = αm (t)εm i j q j ∂i − αm (t)εm i j pi ∂ j
on the momentum phase space V ∗ Q. It is readily observed that this vector field
is the Hamiltonian vector field for the Noether current pi ξ i (5.8.3) relative to the
canonical Poisson structure on V ∗ Q. Moreover, these Noether currents constitute
the Lie algebra with respect to the Poisson bracket
[ξ,
g e ξe0 ],
ξ 0 ] = [ξ, e ξe0 ] = [J 1 ξ,
J 1 [ξ, e J 1 ξe0 ]
276 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
and
LJ 1 ξeLH = 0, LJ 1 ξe0 LH = 0,
we obtain
LJ 1 [ξe,ξe0 ] LH = 0,
i.e., the Noether current (5.8.5) is also conserved. Thus, conserved Noether currents
in time-dependent mechanics constitute a Lie algebra (cf. Example 3.7.4). This
algebra obviously is finite-dimensional, and corresponds to some finite-dimensional
Lie group of gauge symmetries of a Hamiltonian form H. As was shown, an action
of this group on a momentum phase space V ∗ Q is Hamiltonian, with an equivariant
momentum mapping.
This result remains true for Noether currents (4.12.14) in Lagrangian mechanics.
Given a Lagrangian L, the Noether currents (4.12.14) [conserved Noether currents
(4.12.14)] along vector fields (5.8.4) constitute a Lie algebra with respect to the
Poisson bracket (4.8.13).
Q → Σ → R, (5.9.1)
Qh = h∗ Q (5.9.2)
of the connection A to h(R) ⊂ Σ. Therefore, one may use the vertical covari-
ant differential D
f in order to construct Lagrangians for a mechanical system with
parameters on the configuration space Q (5.9.1).
We will suppose that a Lagrangian L depends on derivatives of parameters σtm
only through the vertical covariant differential D
f (5.9.4), i.e.,
πm + Aim πi = 0.
holds. However, we believe that parameter functions are background, i.e., inde-
pendent of a motion. Therefore, only the Lagrange equations (5.9.7) should be
considered.
In particular, let us apply the first variational formula (4.12.8) in order to obtain
conservation laws of a mechanical system with time-dependent parameters. Let
be a vector field which is projectable with respect to both the fibration Q → R and
the fibration Q → Σ. Then the Lie derivative Lu L of a Lagrangian L along the
vector field u (5.9.10) reads
[ut ∂t + um ∂m + ui ∂i + dt um ∂m
t
+ dt ui ∂it ]L =
(um − σtm ut )∂m L + πm dt (um − σtm ut ) +
(ui − qti ut )Ei − dt [πi (ut qti − ui ) − ut L],
dt = ∂t + σtm ∂m + qti ∂i + σttm ∂m
t
+ qtti ∂it .
[ut ∂t + um ∂m + ui ∂i + dt um ∂m
t
+ dt ui ∂it ]L ≈
(um − σtm ut )∂m L + πm dt (um − σtm ut ) − dt [πi (ut qti − ui ) − ut L]
pi = pi , pm = pm + Aim pi ,
5.9. SYSTEMS WITH TIME-DEPENDENT PARAMETERS 279
{σ = h(t), pm = 0}
Γ = ∂t + Γm ∂m (5.9.12)
B = ∂t + Γm ∂m + B i ∂i , B i = Ai + Aim Γm ,
πi (t, q i , σ m , ∂ i H(t,
f σ m , q i , π )) ≡ π ,
i i
pi ∂ i H f ≡ L(t, q i , σ m , ∂ i H)
f− H f
which are obtained by substitution of the expression (5.9.13) in the conditions (5.5.2)
– (5.5.3).
The Hamilton equations for the Hamiltonian form (5.9.13) read
qti = Ai + Aim Γm + ∂ i H,
f (5.9.14)
j
pti = −pj (∂i A + ∂i Ajm Γm ) − ∂i H,
f (5.9.15)
σtm = Γm , (5.9.16)
i n
ptm = −pi (∂m A + Γ ∂m Ain ) − ∂m H,
f (5.9.17)
pi = πi (t, q i , σ m , ∂ i H(t,
f σ m , q i , p )),
i (5.9.18)
pm + Aim pi = 0. (5.9.19)
280 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
The system of equations (5.9.14) – (5.9.19) are related in the sense of Section 4.5
to the Lagrange equations (5.9.7) – (5.9.8). Because of the equations (5.9.17) and
(5.9.19), this system is overdetermined. Therefore, the Hamilton equations (5.9.14)
– (5.9.17) admit a solution living in the Lagrangian constraint space (5.9.18) –
(5.9.19) if the very particular condition, similar to the condition (5.9.9), holds. Since
the Lagrange equations (5.9.8) are not considered, we also can ignore the equation
(5.9.17). Note that the equations (5.9.17) and (5.9.19) determine only the momenta
pm and do not influence other equations.
Therefore, let us consider the system of equations (5.9.14) – (5.9.16) and (5.9.18)
– (5.9.19). Let the connection Γ in the equation (5.9.16) be complete and admit
the integral section h(t). This equation together with the equation (5.9.19) defines
a submanifold V ∗ Qh of the momentum phase space V ∗ Q, which is the momentum
phase space of a mechanical system with the parameter function h(t). The remaining
equations (5.9.14) – (5.9.15) and (5.9.18) are the equations of this system on the
momentum phase space V ∗ Qh , which correspond to the Lagrange equations (5.9.7)
in the presence of the background parameter function h(t).
Conversely, whenever h(t) is a parameter function, there exists a connection Γ on
the parameter bundle Σ → R such that h(t) is its integral section. Then the system
of equations (5.9.14) – (5.9.15) and (5.9.18) – (5.9.19) describes a mechanical system
with the background parameter function h(t). Moreover, we can locally restrict our
consideration to the equations (5.9.14) – (5.9.15) and (5.9.18).
The following examples illustrate the above construction.
Example 5.9.1. Let us consider the 1-dimensional motion of a probe particle in
the presence of a force field whose centre moves. The configuration space of this
system is the composite fibre bundle
R3 → R2 → R,
A = dt ⊗ ∂t + dσ ⊗ (∂σ − ∂q )
5.9. SYSTEMS WITH TIME-DEPENDENT PARAMETERS 281
This is precisely the velocity of the probe particle with respect to the inertial frame.
Then the Lagrangian of this particle takes the form
1
L = [ (qt + σt )2 − V (q)]dt. (5.9.20)
2
In particular, we can obtain the energy conservation law for this system. Let us
consider the vector field u = ∂t . The Lie derivative of the Lagrangian (5.9.20) along
this vector field vanishes. Using the formula (5.9.11), we obtain
0 ≈ −πq σtt − dt [πq qt − L],
or
0 ≈ ∂q Lσt − dt [πq (qt + σt ) − L],
where
T = πq (qt + σt ) − L
is an energy function of the probe particle with respect to the inertial reference
frame. •
ΓH = ∂t + Γσt ∂σ (5.9.22)
Γ = dt ⊗ (∂t + Γ(t)σ∂σ )
Σ = R+ × R → R
A = dt ⊗ ∂t + dσ ⊗ ∂σ
qt = σ 2 p q , (5.9.23)
pt = −q, (5.9.24)
σt = Γ(t)σ. (5.9.25)
They also describe the oscillator with the variable frequency σ = h(t) if we put
Γ = h−1 ∂t h. The Lagrangian constraint space equations (5.9.18) are trivial.
Let us consider the canonical transformation
q = σq 0 ,
1
pq = p0 q ,
σ
1 0 0
pσ = p0σ − qp .
σ q
5.9. SYSTEMS WITH TIME-DEPENDENT PARAMETERS 283
ΓH = ∂t + Γσ (∂σ − q 0 ∂q0 ),
Substitution of σ = h(t) and the equation (5.9.28) in the equations (5.9.26) and
(5.9.27) leads to the Hamilton equations corresponding to the Hamiltonian form
H = p0q dq 0 − Hdt,
1 1
H = − ∂t σq 0 p0q + (p02 + σ 2 q 02 ).
σ 2 q
This Hamiltonian form describes the well-known Berry oscillator where the connec-
tion (5.9.5) is the classical variant of the Berry connection
1
Ah = ∂t − ∂t σq 0 ∂q0
σ
[135, 144]. •
Example 5.9.3. Let us consider an n-body as in Example 4.9.4. Let R3n−3 be the
→
translation-reduced configuration space of the mass-weight Jacobi vectors { ρ A }.
→ →0
Two configurations { ρ A } and { ρ A } are said to define the same shape of the n-
→0 →
body if ρ A = R ρ A for some rotation R ∈ SO(3). This introduces the equivalence
relation between configurations, and the shape space S of the n-body is defined as
the quotient
S = R3n−3 /SO(3)
284 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
With this vertical covariant differential, the total angular velocity of the n-body
takes the form
→ →
fi = ω + A σ m ,
Ω = ai D (5.9.31)
m t
→
where ai are certain kinematic coefficients and ω is the angular velocity of the n-
body as a rigid one. In particular, we obtain the phenomenon of a falling cat if
→
Ω = 0 so that
→
ω = −Am σtm .
The coefficients Am in the expression (5.9.31) are called gauge potentials, and the
mechanics of deformable bodies is sometimes termed gauge mechanics. •
5.10. UNIFIED LAGRANGIAN AND HAMILTONIAN FORMALISM 285
Due to the isomorphism (5.10.1), one can think of Π as being both the momen-
tum phase space over the velocity phase space J 1 Q and the velocity phase space
over the momentum phase space V ∗ Q. Hence, the space Π can be utilized as the
unified phase space of joint Lagrangian and Hamiltonian formalism.
Remark 5.10.1. In connection with this, note that, according to [10, 127, 180], the
dynamics of autonomous mechanical system described by a degenerate Lagrangian
L on T M is governed by a differential equation on T ∗ M generated by dL, due to
the canonical diffeomorphism between T T ∗ M and T ∗ T M . •
where
dt = ∂t + qti ∂i + pti ∂ i
is the total derivative on Π. The corresponding Poisson bracket (5.1.5) takes the
form
∂f ∂g ∂f ∂g ∂g ∂f ∂g ∂f
{f, g}Π = + i
− − . (5.10.4)
∂pti ∂q i ∂pi ∂qt ∂pti ∂q i ∂pi ∂qti
It is readily observed that the canonical form (5.10.3) and, consequently, the
Poisson bracket (5.10.4) are invariant under the transformations of the unified phase
space Π, which are the jet prolongation of the canonical automorphisms of the phase
space V ∗ Q.
Let
HΠ = −L + dt (pi Γi ), (5.10.11)
5.10. UNIFIED LAGRANGIAN AND HAMILTONIAN FORMALISM 287
(t, q i , pi , q̇ i , ṗi ).
∂p0i ∂p0 ∂q j ∂ q̇ j
ṗ0i = ṗj + ji q̇ j = 0i ṗj + 0i pj
∂pj ∂q ∂q ∂q
ΩV = ∂V Ω,
where Ω is the canonical 3-form (5.1.9) on the momentum phase space V ∗ Q, and
the formal operator of the vertical derivative
∂V = q̇ i ∂i + ṗi ∂ i
The canonical 3-form (5.11.1) provides the vertical momentum phase space
V V ∗ Q with the canonical Poisson structure, given by the Poisson bracket
Since a Hamiltonian form is defined modulo exact forms and the function pi q̇ i is glob-
ally defined on V V ∗ Q, we will write a Hamiltonian form on the vertical momentum
phase space V V ∗ Q as
γ i = qti = ∂˙ i HV , (5.11.3)
γi = pti = −∂˙i HV , (5.11.4)
γ̇ i = q̇ti = ∂ i HV , (5.11.5)
γ̇i = ṗti = −∂i HV , (5.11.6)
where
γ̇ = ∂t + γ i ∂i + γi ∂ i + γ̇ i ∂˙i + γ̇i ∂˙ i
H = pi dq i − Hdt. (5.11.7)
γH = ∂t + γ i ∂i + γi ∂ i ,
γ i = ∂ i H, γi = −∂i H,
5.11. VERTICAL EXTENSION OF HAMILTONIAN FORMALISM 291
V γH = ∂t + γ i ∂i + γi ∂ i + γ̇ i ∂˙i + γ̇i ∂˙ i ,
γ̇ i = ∂V γ i , γ̇i = ∂V γi ,
γ i = ∂˙ i HV = ∂ i H, (5.11.9)
γi = −∂˙i HV = −∂i H, (5.11.10)
i i i
γ̇ = ∂ HV = ∂V ∂ H, (5.11.11)
γ̇i = −∂i HV = −∂V ∂i H. (5.11.12)
QED
H = pi Γi + H
f
Γ
HV = ṗi Γi − q̇ j (−pi ∂j Γi ) + ∂V H
f
Γ
of the Hamiltonian HV (5.11.8) with respect to the connection Γ e (5.2.8) on the fibre
bundle V ∗ Q → R.
It is easily seen that the Hamilton equations (5.11.9) – (5.11.10) for the Hamil-
tonian form HV (5.11.8) are precisely the Hamilton equations (5.2.20) – (5.2.21) for
the Hamiltonian form H.
Example 5.11.1. In order to clarify the physical meaning of the Hamilton equations
(5.11.11) – (5.11.12), let us consider Q → R a vector bundle. Due to the splitting
VQ∼
= Q ⊕ Q,
q i + εq̇ i , ε ∈ R,
292 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
V V ∗Q ∼
= V ∗Q ⊕ V ∗Q
can be seen in a similar way as the momentum phase space of the initial Hamiltonian
mechanical system and its small linear deviations
q i + εq̇ i , pi + εṗi .
r(t) + εr(t)
is also a solution of the same Hamilton equations modulo terms of order two in ε.
Then it is readily observed that the Jacobi field r(t) satisfies the Hamilton equa-
tions (5.11.11) – (5.11.12) for the Hamiltonian form HV (5.11.8). Substituting a
solution r(t) of the Hamilton equations (5.11.9) – (5.11.10) in the Hamilton equa-
tions (5.11.11) – (5.11.12), we obtain the system of homogeneous linear differential
equations for the Jacobi field r(t), which are really the differential equations of linear
deviations. •
ΞV + d(q̇ i pi )
since the exact form d(q̇ i pλi ) is globally defined. By very definition, a Hamiltonian
form H (5.11.7) on the ordinary momentum phase space V ∗ Q is the pull-back H =
5.11. VERTICAL EXTENSION OF HAMILTONIAN FORMALISM 293
HV = (V h)∗ ΞV ,
where
V h : V V ∗Q → V T ∗Q
It follows that every first order dynamic equation (5.2.23) on the momentum
phase space V ∗ Q can be seen as the Hamilton equations (5.11.3) – (5.11.4) for a
suitable Hamiltonian form on the vertical momentum phase space.
Example 5.11.2. The equations of a motion (5.2.24) of a point mass m subject
to friction in Example 5.2.5 are the Hamilton equations (5.11.3) – (5.11.4) for the
Hamiltonian
1 k
HV = p( ṗ + q̇)
m m
on the vertical momentum phase space. •
294 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
V L : J 1Q → R × R
on the vertical velocity phase space V J 1 Q. It is called the vertical extension of the
Lagrangian L. The corresponding Lagrange equations read
The Lagrange equation (5.11.15) is precisely the Lagrange equation for the initial
Lagrangian L. If a configuration space Q → R is a vector bundle, the Lagrange
equation (5.11.16), just as the Hamilton equations (5.11.11) – (5.11.12) do, describes
small linear deviations of the initial mechanical system.
Let us turn now to the relationship between Lagrangian and Hamiltonian for-
malisms on the vertical configuration space.
Each Lagrangian LV (5.11.14) on the vertical velocity phase space V J 1 Q yields
the Legendre map
L b : V J 1 Q → V V ∗ Q,
b =VL (5.11.17)
V
VQ
H c : V V ∗ Q → V J 1 Q,
c =VH (5.11.19)
V
VQ
qti = ∂˙ i HV = ∂ i H, q̇ti = ∂V ∂ i H,
5.11. VERTICAL EXTENSION OF HAMILTONIAN FORMALISM 295
Proof. By virtue of the relations (5.11.17) and (5.11.19), the condition (5.5.2) for
the Hamiltonian form HV reads
b ◦VH
VL c◦VL
b = V L,
b
and follows at once from the condition (5.5.2) for the Hamiltonian form H. The con-
dition (5.5.3) for the Hamiltonian form HV , written in the coordinate form (5.5.6),
follows immediately from the condition (5.5.6) for the Hamiltonian form H. QED
The equalities (5.11.18) show that, if a Lagrangian L on the velocity phase space
1
J Q is semiregular, so is its vertical extension LV (5.11.14) on the vertical velocity
phase space V J 1 Q. Therefore, Proposition 5.11.3 can also be formulated for a
semiregular Lagrangian. In particular, if the relation (5.5.17) is fulfilled for H and
L, it is true for the vertical extensions HV and LV .
Example 5.11.3. Let us consider the Hamiltonian counterpart of the constrained
motion equation (4.11.15) in the case of a hyperregular Lagrangian and a non-
holonomic constraint. By virtue of Proposition 5.11.2, it can be represented as
the Hamilton equations (5.11.3) – (5.11.4) for a suitable Hamiltonian form on the
vertical phase space V V ∗ Q.
Let L be a hyperregular Lagrangian with a Riemannian mass metric m c and
1
S a codistribution on the velocity phase space J Q, whose annihilator Ann (S) is
an admissible non-holonomic constraint on J 1 Q. In the case of a hyperregular
Lagrangian, Hamiltonian and Lagrangian formalisms of time-dependent mechanics
are equivalent, and we have
γH = J 1 L
b ◦ ξ ◦ H.
L
c
M ik (mkj ◦ H)
c = δi ,
j mkj (M ik ◦ L)
b = δi ,
j mij = πij .
296 CHAPTER 5. HAMILTONIAN TIME-DEPENDENT MECHANICS
It follows that M is a fibre metric in the vertical tangent bundle VQ V ∗ Q of the fibre
bundle V ∗ Q → Q.
Given the above-mentioned codistribution S on J 1 Q, let us consider the pull-back
codistribution Hc∗ S on V ∗ Q spanned locally by 1-forms
VQ V ∗ Q = W ⊕ V,
Ann (SH ) = W ⊕ V.
where M
f is the inverse matrix of
ab
f ab = β̇ ai β̇ bj M .
M ij
and as a consequence
γe = J 1 L ◦ ξe ◦ H.
c
qti = ∂ i H, f M β̇ aj β b (γ )
pti = −∂i H − M ab ij H (5.11.24)
on the momentum phase space V ∗ Q, which are not Hamilton equations. Neverthe-
less, in accordance with Proposition 5.11.2, one can restate the constrained motion
equations (5.11.24) as the Hamilton equations (5.11.9) – (5.11.10) for the Hamilto-
nian form
on the vertical momentum phase space V V ∗ Q. Its last term can be written in brief
as (−∂V cϑcΩ). To exclude the remaining Hamilton equations (5.11.11) – (5.11.12),
one can choose their solutions q̇ i = ṗi = 0. •
It is easily seen that this Lagrangian vanishes on solutions of the Hamilton equations
for the Hamiltonian form H. For this reason, it plays a prominent role for the
functional integral formulation of mechanics [65, 66] •
t → t0 = f (t) (5.12.1)
Relativistic mechanics
Let us note on the following two main peculiarities of relativistic mechanics in com-
parison with non-relativistic one.
301
302 CHAPTER 6. RELATIVISTIC MECHANICS
pass through z ∈ Z and which are tangent to each other at z. There is the natural
fibration Jn1 Z → Z. 2
Remark 6.1.1. In fact, the definition of the jet [S]1z of submanifolds involves only
local properties of submanifolds around the point z ∈ Z. It is easily extended to
higher order jets of submanifolds. By definition, Jn0 Z = Z. •
J 1 Φ : J 1 Y → Jn1 Z, (6.1.1)
jx1 s 7→ [S]1Φ(s(x)) , S = Im (Φ ◦ s),
Proposition 6.1.2. The injection (6.1.1) defines a chart on Jn1 Z. Such charts
cover the set Jn1 Z, and transition functions between these charts are differentiable.
They provide the set Jn1 Z with the structure of a finite-dimensional manifold. 2
Proof. The proof is based on the fact that, given a submanifold S ⊂ Z which
belongs to the jet [S]1z , there exists a neighbourhood Uz of the point z and the
tubular neighbourhood US of Uz ∩ S so that the fibration
US → Uz ∩ S
takes place [109]. This means that every jet [S]1z belongs to a chart of the above-
mentioned type. We will describe these charts and the corresponding transition
functions in explicit form. QED
It is convenient to use the following coordinate atlases of the jet manifold Jn1 Z
of n-dimensional submanifolds of Z.
Let Z be equipped with a coordinate atlas
Though Jn0 Z, by definition, is diffeomorphic to Z, let us provide Jn0 Z with the atlas
where every chart (U ; z A ) on a domain U ⊂ Z is replaced with the
!
n+m (n + m)!
=
m n!m!
charts on the same domain U which correspond to different partitions of the collec-
tion (z 1 · · · z A ) in the collections of n and m coordinates, denoted by
(xλ , y i ), λ = 1, . . . , n, i = 1, . . . , m. (6.1.3)
The transition functions between the coordinate charts (6.1.3) of Jn0 Z, associated
with the same coordinate chart (6.1.2) of Z, are reduced simply to an exchange
between coordinates xλ and y i . Transition functions between arbitrary coordinate
charts (6.1.3) of the manifold Jn0 Z read
Given the coordinate atlas (6.1.3) of the manifold Jn0 Z, the jet manifold Jn1 Z is
provided with the adapted coordinates
y i = S i (xλ )
and
dλ = ∂λ + yλi ∂i ,
304 CHAPTER 6. RELATIVISTIC MECHANICS
one can obtain the transition functions of the coordinates (6.1.5) under coordinate
transformations (6.1.4) in explicit form. Given coordinate transformations (6.1.4),
one can easily find that
Then we have
" ! # !
∂ ∂ ∂ ∂
yeλi = λ
+ yeλp p g α (xeλ , yei ) α
+ yαj j fei (xµ , y j ). (6.1.7)
∂ xe ∂ ye ∂x ∂y
It is readily observed that the transition functions (1.3.1) are a particular case of
the coordinate transformations (6.1.7) when the transition functions g α (6.1.4) are
independent of coordinates yei . Note that, in contrast with (1.3.1), the coordinate
transformations (6.1.7) are not affine. It follows that the fibration Jn1 Z → Z is not
an affine bundle.
There is one-to-one correspondence
e : [S]1 7→ ẋλ (∂ + y i ([S]1 )∂ )
λ (6.1.8)
z λ λ z i
between the jets [S]1z at a point z ∈ Z and n-dimensional vector subspaces of the
tangent space Tz Z. It follows that the jet bundle Jn1 Z → Z has the structure group
GL(n, m; R) ⊂ GL(m + n, R)
of linear transformations of the vector space Rm+n which preserve its subspace Rn .
Its typical fibre is the Grassman manifold
of n-dimensional subspaces of the vector space Rm+n . Thus, the jet bundle Jn1 Z → Z
is a Grassman bundle [45, 70]. In particular, if n = 1, the fibre coordinates y0i on
J11 Z → Z with the transition functions (6.1.7) are precisely the standard coordinates
of the projective space RPm .
Example 6.1.3. Let Y → X be an (m + n)-dimensional fibre bundle over an n-
dimensional base X, and J 1 Y the first order jet manifold of its sections. Let Jn1 Y
be the first order jet manifold of n-dimensional subbundles of Y . Then the injection
J 1 Y ,→ Jn1 Y (6.1.1) is an affine subbundle of the jet bundle Jn1 Y → Y . Its fibre
at a point y ∈ Y consists of the n-dimensional subspaces of the tangent space Ty Y
whose intersections with the vertical subspace Vy Y of Ty Y are the zero vector. •
6.2. RELATIVISTIC VELOCITY AND MOMENTUM PHASE SPACES 305
T Z = Γ(Z) ⊕ T Z/Γ(Z)
of the tangent bundle T Z, which can be treated as a horizontal splitting with respect
to the preconnection Γ. However, it should be emphasized that, since Jn1 Z → Z is
not an affine bundle, preconnections do not make an affine space. Moreover, it may
happen that a preconnection does not exist on a manifold Z. •
(q 0 , q i ), i = 1, . . . , m,
q 0 → qe0 (q 0 , q j ), q i → qei (q 0 , q j ). (6.2.1)
U 3 (q 0 , q i ) 7→ q 0 ∈ () ⊂ R (6.2.2)
with the coordinates (q 0 , q i , q0i ) (6.1.5). Their transition functions are obtained as
follows.
Given coordinate transformations (6.2.1), the total derivative (6.1.6) reads
∂q 0 ∂q 0
!
0
deq0 = deq0 (q )dq0 = + e0k
q dq0 .
∂ qe0 ∂ qek
In accordance with the relation (6.1.7), we have
∂q 0 ∂q 0 ∂ qei ei
! !
j ∂q
qe0i 0
= deq0 (q )dq0 (qe ) = i
+ e0k
q + q 0 .
∂ qe0 ∂ qek ∂q 0 ∂q j
The solution of this equation is
∂ qei ei ∂ qe0 e0
! !
j ∂q k ∂q
qe0i = + q 0 / + q 0 . (6.2.3)
∂q 0 ∂q j ∂q 0 ∂q k
A glance at this transformation law shows that the velocity phase space J11 Z → Z
of relativistic mechanics is really a projective bundle.
Example 6.2.1. Let consider the configuration space Q = R4 , provided with the
Cartesian coordinates
(q 0 , q i ), i = 1, 2, 3.
This is the case of Special Relativity. For instance, let
qe0 = q 0 chα − q 1 shα,
qe1 = −q 0 shα + q 1 chα, (6.2.4)
2,3 2,3
qe =q .
be a Lorentz transformation of the plane (q 0 , q 1 ). Substituting these expressions in
the formula (6.2.3), we obtain
−shα + q01 chα
qe01 = ,
chα − q01 shα
q02,3
qe02,3 = .
chα − q01 shα
This is precisely the transformation law of 3-velocities in Special Relativity if we
put
1 v
chα = √ , shα = √ ,
1 − v2 1 − v2
6.2. RELATIVISTIC VELOCITY AND MOMENTUM PHASE SPACES 307
Thus, one can think of the velocity phase space J11 Q of relativistic mechanics
as the space of 3-velocities v of a relativistic system. For the sake of convenience,
we will call J11 Q the 3-velocity phase space, though the dimension of Q is not equal
necessarily to 3 + 1. Given a coordinate chart (U ; q 0 , q i ), 3-velocities v = (v0i ) of a
relativistic system can be seen as velocities of a local non-relativistic system (6.2.2)
with respect to the corresponding local reference frame Γ = ∂t on U . However, the
notion of a reference frame in non-relativistic mechanics has no meaning in relativis-
tic mechanics since the relativistic transformations q0i → q00i and Γi → Γi are not
affine and the relative velocity q0i −Γi is not maintained under these transformations.
To introduce the relativistic velocities, let us consider the tangent bundle T Q of
the configurations space Q. It is equipped with the holonomic coordinates
(q 0 , q i , q̇ 0 , q̇ i ).
% : T Q → J11 Q,
Q
q̇ i
q0i ◦ % = , (6.2.6)
q̇ 0
such that
e = Id J 1 Q.
%◦λ 1
Indeed, it is readily observed that q0i and q̇ i /q̇ 0 have the same transformation laws.
It should be emphasized that, though the expressions (6.2.5) and (6.2.6) are singular
at q̇ 0 = 0, this point belongs to another coordinate chart, and the morphisms λ e and
% are well defined.
Thus, one can think of the tangent bundle T Q as being the space of relativistic
velocities or 4-velocities of a relativistic system. It is called the 4-velocity phase
space.
308 CHAPTER 6. RELATIVISTIC MECHANICS
Remark 6.2.2. Note that, with respect to the universal unit system, the elements
of T Q are not physically dimensionless, in contrast with the physical relativistic
velocities. •
This is the union of the subset Wq+ , where q̇ 0 > 0, and Wq− , where q̇ 0 < 0. Restricted
to W + , the morphism (6.2.6) takes the familiar form of the relations between 3- and
4-velocities
1
q̇ 0 = q ,
1 − (q0i )2
P
q0i
q̇ i = q
1− (q0i )2
P
6.3. RELATIVISTIC DYNAMICS 309
(q0i )2 < 1.
X
(6.2.9)
i
This relation means that 3-velocities of a relativistic system (Q, g) are bounded in
accordance with the relativistic principle.
Let us turn now to the momentum phase space of relativistic mechanics. Given
a chart of the relativistic configuration space Q, the homogeneous Legendre bundle
corresponding to the local non-relativistic system (6.2.2) is the cotangent bundle
T ∗ Q. This fact motivates us to choose T ∗ Q as the relativistic momentum phase
space, equipped with the holonomic coordinates (q λ , pλ ). The cotangent bundle
T ∗ Q is endowed with the canonical symplectic form
Ω = dpµ ∧ dq µ , (6.2.10)
L = Ldq 0 , (6.3.1)
Then we have the Lorentz invariance of the pull-back c∗ Lm of the Lagrangian (6.3.2),
i.e.,
c∗ Lm = ce∗ L
e
m
where dqe0 = dq0 (qe0 )dq 0 and dq0 is the total derivative.
Therefore, we concentrate our consideration on Hamiltonian relativistic mechan-
ics.
Let L be a local regular Lagrangian (6.3.1) on a coordinate chart (q 0 , q i ) of the
3-velocity phase space J11 Q. In accordance with Remark 4.8.9, it defines a local
Dirac constraint system on the relativistic momentum phase space T ∗ Q in the case
of a zero Hamiltonian and the primary constraint space
∂L ∂L
p0 = L − q0i , pi = . (6.3.3)
∂q0i ∂q0i
Since the Lagrangian L is regular, the equations (6.3.3) are solvable for
p0 = p0 (q µ , pi ).
Then a solution of the Lagrange equation is an integral curve of the vector field
ϑ = ∂0 + ϑi ∂i + ϑi ∂ i
ϑcΩN = 0,
ϑi = ∂i p0 , ϑi = ∂ i p 0 ,
where ΩN is the restriction of the relativistic symplectic form (6.2.10) to the con-
straint space (6.3.3). For instance, the Lagrangian (6.3.2) (which is regular on the
6.3. RELATIVISTIC DYNAMICS 311
ball (6.2.9)) defines a Dirac constraint system on T ∗ Q in the case of a zero Hamil-
tonian and the primary constraint space
p20 − p2i = m2 .
X
(6.3.4)
i
H : T ∗ Q → R, (6.3.5)
(3.3.4) over Q from the relativistic momentum space T ∗ Q to the 4-velocity phase
space T Q. Since the 4-velocities of a relativistic system live in the velocity hyper-
boloids (6.2.7), we have the constraint subspace
c∗ W ,
N =H (6.3.7)
g
µ ν
gµν ∂ H∂ H = 1,
of the relativistic momentum phase space T ∗ Q. It follows that the relativistic system
(Q, g) can be described as an autonomous Dirac constraint system on the primary
constraint space N (6.3.7) [154]. Its solutions are integral curves of the Hamiltonian
vector field
u = ui ∂i + ui ∂ i
i∗N dH = 0.
uci∗N Ω = 0. (6.3.10)
Example 6.3.3. Let us consider a point electric charge e in the Minkowski space in
the presence of an electromagnetic potential Aλ . Its relativistic Hamiltonian reads
1 µν
H=− η (pµ − eAµ )(pν − eAν ),
2m
while the constraint space N (6.3.7) is
As in the previous Example, the Hamilton equation (6.3.8) takes the form (6.3.10).
Its solution is
ṗk = uk = uµ ∂k Aµ , (6.3.11)
u0 η ik (pi − eAi )
q̇ k = uk = q . (6.3.12)
m2 − η ij (pi − eAi )(pj − eAj )
6.4. RELATIVISTIC GEODESIC EQUATIONS 313
The equality (6.3.12) leads to the usual expression for the 3-velocities
mηki qti
pk = q + Ak
1 + ηij qti qtj
Substituting this expression in the equality (6.3.11), we obtain the familiar equation
of motion of a relativistic charge in an electromagnetic field. •
g µν pµ pν = m2 .
Examples (6.3.2) – (6.3.4) illustrate the relativistic systems where the restriction
of a relativistic Hamiltonian to the constraint space N (6.3.7) is a constant function.
In this case, the Hamilton equation takes the form (6.3.10). In accordance with
Proposition 3.4.2, this equation has a solution everywhere on the primary constraint
space N (6.3.7).
Remark 6.3.5. Given a symplectic manifold (T ∗ Q, Ω) and its submanifold N
(6.3.7), one may apply the reduction procedure described in Section 2.6. For the
relativistic systems in Examples 6.3.2 – 6.3.4, this procedure is not, however, use-
ful since the pull-back Hamiltonian i∗N H on the constraint space N is a constant
function and the associated Hamiltonian vector fields belong to the kernel of the
presymplectic form i∗N Ω on N . •
ξH = ∂ i H∂i − ∂i H∂ i (6.4.1)
314 CHAPTER 6. RELATIVISTIC MECHANICS
the corresponding Hamiltonian vector field whose integral curves are solutions of
the Hamilton equation
ξH cΩ = −dH.
ξ = TH c−1 = q̇ µ ∂ + ξ µ ∂˙ ,
c◦ξ ◦H (6.4.2)
H µ µ
c−1 ,
ξ µ = (∂α ∂ µ H∂ α H − ∂ α ∂ µ H∂α H) ◦ H
(q µ , q̇ µ , q̇µ , q̈ µ ) ◦ T H
c = (q µ , ∂ µ H, q̇ µ , ∂ ∂ µ Hq̇ α + ∂ α ∂ µ Hṗ )
α α
is the tangent morphism to the Hamiltonian map H. c The holonomic vector field
(6.4.2) defines a conservative second order dynamic equation
c−1 ,
q̈ µ = (∂α ∂ µ H∂ α H − ∂ α ∂ µ H∂α H) ◦ H (6.4.3)
q̈ µ = η µν q̇ λ Fνλ , (6.4.4)
q̈ µ = {λ µ ν }q̇ λ q̇ ν , (6.4.5)
where
1
{λ µ ν } = − g µα (∂λ gαν + ∂ν gαλ − ∂α gλν )
2
are the Christoffel symbols of the pseudo-Riemannian metric g.
The equations (6.4.4) and (6.4.5) exemplify relativistic dynamic equations which
are geodesic equations
on the tangent bundle T Q → Q (see Definition 3.1.6). We call (6.4.6) the relativistic
geodesic equation. For instance, a connection K in the equation (6.4.5), is the Levi–
Civita connection of the pseudo-Riemannian metric g. In the equation (6.4.4), K is
the zero Levi–Civita connection of the Minkowski metric plus the soldering form
We say that a relativistic geodesic equation (6.4.6) on the 4-velocity phase space
T Q describes a relativistic system (Q, g) if its geodesic vector field does not leave the
subbundle of velocity hyperboloids (6.2.7). It suffices to require that the condition
holds for all tangent vectors which belong to Wg (6.2.7). Obviously, the Levi–Civita
connection {λ µ ν } of the metric g fulfills the condition (6.4.9). Any connection K on
T Q → Q can be written as
where
σ = σλµ dq λ ⊗ ∂˙λ
It is readily observed that the soldering form (6.4.8) in the equation (6.4.4) obeys
this condition for the Minkowski metric η.
Let now compare relativistic and non-relativistic geodesic equations. In physical
applications, one usually thinks of non-relativistic mechanics as being an approxi-
mation of small velocities of relativistic theory. At the same time, the 3-velocities in
mathematical formalism of non-relativistic mechanics are not bounded. It has long
been recognized that the relation between the mathematical schemes of relativistic
and non-relativistic mechanics is not trivial.
316 CHAPTER 6. RELATIVISTIC MECHANICS
in accordance with the well-known theorem [77]. The vector field Γ is a time-like
vector relative to the pseudo-Riemannian metric g (6.4.11), but not with respect to
other admissible pseudo-Riemannian metrics in general.
There is the canonical imbedding (4.1.4) of the velocity phase space J 1 Q of
non-relativistic mechanics into the affine subbundle
q̇ 0 = 1, q̇ i = q0i (6.4.12)
of the 4-velocity phase space T Q. Then one can think of (6.4.12) as the 4-velocities
of a non-relativistic system. The relation (6.4.12) differs from the familiar rela-
tion (6.2.6) between 4- and 3-velocities of a relativistic system. In particular, the
temporal component q̇ 0 of 4-velocities of a non-relativistic system equals 1 (rela-
tive to the universal unit system). It follows that the 4-velocities of relativistic and
non-relativistic systems occupy different subbundles of the 4-velocity space T Q.
Moreover, Theorem 4.4.2 shows that both relativistic and non-relativistic equations
of motion can be seen as the geodesic equations on the same tangent bundle T Q.
The difference between them lies in the fact that their solutions live in the different
subbundles (6.2.7) and (6.4.12) of T Q. At the same time, relativistic equations,
expressed in the 3-velocities q̇ i /q̇ 0 of a relativistic system, tend exactly to the non-
relativistic equations on the subbundle (6.4.12) when q̇ 0 → 1, g00 → 1, i.e., where
non-relativistic mechanics and the non-relativistic approximation of a relativistic
theory only coincide.
6.4. RELATIVISTIC GEODESIC EQUATIONS 317
is an external force. With respect to the coordinates where g0i = 0, one may
construct the relativistic equation
where the soldering form σ must fulfill the condition (6.4.10). It takes place only if
i.e., the external force (6.4.14) is the Lorentz-type force plus some potential one.
Then, we have
q̈ λ = ξ λ − ηαβ ξ β q̇ α q̇ λ . (6.4.16)
This is the case, e.g., for the relativistic hydrodynamics that we usually meet in
the literature on gravitation theory. However, the non-relativistic limit q̇ 0 = 1 of
(6.4.16) does not coincide with the initial non-relativistic equation. There are also
other variants of relativistic hydrodynamic equations [107].
Chapter 7
c i , ci , c i , c i (7.0.1)
∂q 0i j ∂q j ∂q 0i j ∂q j
c0i = c, c0i = cj , c0i = c, c0i = cj . (7.0.2)
∂q j ∂q 0i ∂q j ∂q 0i
319
320 CHAPTER 7. APPENDIX A. GEOMETRY OF BRST MECHANICS
The formal products of the odd variables (7.0.1) make up the algebra of polyno-
mials over the ring of complex functions on V V ∗ Q. Provided with the unit element,
this is the Z2 -graded ring P(c, c) of polynomials of the odd variables. One may say
that such a polynomial is globally defined if it is invariant under the transformations
(7.0.2). We will follow the convention where the antighosts c are written on the left
of the ghosts c.
For the sake of convenience, we will use the compact notation y A for both even
and odd variables. Put {y} = 0 for the even variables and {y} = 1 for the odd ones.
Let us consider the left differentiations ∂/∂y of the graded ring P(c, c), which
possess the properties
∂ ∂ ∂
(φσ) = (φ)σ + (−1){φ}{y} φ (σ), (7.0.3)
∂y ∂y ∂y
∂ ∂ A B ∂ ∂
A B
= (−1){y }{y } B A . (7.0.4)
∂y ∂y ∂y ∂y
We introduce the exterior forms dy as the dual of the derivatives ∂/∂y such that
With this exterior product, the ring P(c, c) is extended to the (Z, Z2 )-bi-graded ring
of polynomials P(c, c, dy) which is defined as the algebra of exterior forms dy over
the ring P(c, c), where
0
ydy 0 = (−1){y}{y } (dy 0 )y,
φ ∧ σ = (−1)|φ||σ|+{φ}{σ} σ ∧ φ, φ, σ ∈ P(c, c, dy). (7.0.8)
d ◦ d = 0.
ϑϑ = 0, ϑ ϑ = 0, ϑϑ + ϑϑ = 0,
ϑcd(ϑcdf ) = 0,
ϑcd(ϑcdf ) = 0,
ϑcd(ϑcdf ) + ϑcd(ϑcdf ) = 0.
HS = HV + HC
322 CHAPTER 7. APPENDIX A. GEOMETRY OF BRST MECHANICS
is BRST-invariant, i.e., its Lie derivative along the vector field ϑ (7.0.11) vanishes:
called the BRST extension of the Hamiltonian form H. It is easily justified that
this form is also anti-BRST-invariant, i.e., its Lie derivative along the vector field ϑ
(7.0.12) also vanishes.
In particular, given a splitting of a Hamiltonian
H = pi Γi j q j + H
f (7.0.14)
i(cj ∂ j + cj ∂j )(cj ∂ j + cj ∂j )H
f
for the Hamiltonian form HS (7.0.13) with respect to the canonical form ΩS satisfies
the Hamilton equations
γ i = qti = ∂ i H, (7.0.16)
γi = pti = −∂i H, (7.0.17)
γ̇ i = q̇ti = ∂ i HS , (7.0.18)
γ̇i = ṗti = −∂i HS , (7.0.19)
i
g = cit j j
= (cj ∂ + c ∂j )∂ H, i
(7.0.20)
j j
g i = cti = −(cj ∂ + c ∂j )∂i H, (7.0.21)
g i = cit = (cj ∂ j + cj ∂j )∂ i H, (7.0.22)
j j
gi = cti = −(cj ∂ + c ∂j )∂i H (7.0.23)
for the Hamiltonian form HS .
It is readily observed that the equations (7.0.16) – (7.0.17) are the Hamilton
equations for the initial Hamiltonian form H. To clarify the meaning of other
equations, let us note that, if y(t) is a solution of the Hamilton equations (7.0.16) –
(7.0.23), then the deviations
q i (t) + εεq̇ i (t) + εci (t) + εci (t),
pi (t) + εεṗi (t) + εci (t) + εci (t),
with the odd parameters ε and ε are solutions of the Hamilton equations for the
Hamiltonian form H extended to the case of even, but not necessarily real variables
q i , pi .
The following construction plays a prominent role for the BRST quantization
procedure. Let H f be a Hamiltonian function in some decomposition (7.0.14) of a
Hamiltonian H. Such a Hamiltonian function becomes an operator under quantiza-
tion. Let us consider the operators
Hβ = eβ H ◦ ϑ ◦ e−β H = ϑ − β(cj ∂ j + cj ∂j )H, β ∈ R,
e e f
−β H βH
Hβ = e ◦ϑ◦e = ϑ + β(cj ∂ j + cj ∂j )H,
e e f
called the BRST and anti-BRST charges, which act on functions f (y) by the law
ϑ(f ) = ϑcdf, H(f
f ) = Hf.
f
Let H
f be the BRST extension of the Hamiltonian function H,
S
f which is also treated
as an operator on functions f (y). Then we obtain the relations
Hβ ◦ H
f −H
S
f ◦ H = 0,
S β
Hβ ◦ H
f −H
S
f ◦ H = 0,
S β
iβ H
f =H ◦H +H ◦H .
S β β β β
These relations together with the relations (7.0.24) provide the operators Hβ , Hβ ,
and Hf with the structure of a Lie superalgebra [35], similar to what we have in
S
supersymmetric mechanics [42, 108].
Now let us restate the above construction in the strict mathematical terms. In
general, BRST mechanics can be developed as mechanics on supermanifolds [4, 33].
However, its naive variant shows that it suffices to consider the following particular
case of mechanics on supermanifolds.
• First of all, we should restrict our consideration to vector configuration bun-
dles Q → R in order to introduce the generators of BRST and anti-BRST
transformations.
is fulfilled.
Let V be a vector space, and
k
Λ = ∧V = R ⊕ ∧ V
k
It is called the Grassman algebra. Given a basis {ci , i ∈ I} for the vector space V ,
the elements of the Grassman algebra take the form
where the sum is over all the collections of indices (i1 · · · ik ) such that no two of
them are the permutations of each other. For the sake of simplicity, we will omit
the symbol of the exterior product of elements of the Grassman algebra Λ. The
Grassman algebra becomes a graded commutative Banach algebra if its elements
(7.0.25) are endowed with the norm
X X
kak = | ai1 ···ik | .
k (i1 ···ik )
Let Q be a graded vector space and B a graded commutative algebra with a unit
element. If Q is both left and right B-modules such that
as vr = vr as ∈ Qs+r , v r ∈ Qr , as ∈ Bs ,
of the (m, n)-dimensional graded vector space Qm,n is said to be a vector superspace.
Its B0 -submodule
kai ci k =
X
kai k, ai ∈ B,
i
over Z. Its typical fibre is the Grassman algebra Λ∗ = ∧V ∗ . The sections of the
Grassman fibre bundle make up the sheaf of Grassman algebras B on the manifold
Z, which belongs to the class of graded manifolds. Its sections, i.e., sections of the
fibre bundle (7.0.26) are called superfunctions. Given bundle coordinates (z λ , y i )
with respect to the bases {cj } in E → Z, superfunctions take the form
Let us consider the sheaf der B of graded differentiations of the sheaf B. Let U
be an open subset of Z and B(U ) the restriction of the sheaf B to U . By a graded
differentiation of the sheaf B(U ) is meant its endomorphism ϑ such that
ϑ : B(U ) → B(U ),
ϑ(ab) = ϑ(a)b + (−1){ϑ}{a} aϑ(b), (7.0.28)
for the homogeneous elements ϑ ∈ der B and a, b ∈ B(U ). The graded differentia-
tions of B(U ) constitute the B-module der B(U), and the presheaf of such a B-module
generates the sheaf der B. One can show that der B is isomorphic to the sheaf of
sections of the fibre bundle
T E ⊗ ∧E → Z. (7.0.29)
E
On can think of its elements as being Λ-dependent vector fields, called vector su-
perfields, on the fibre bundle E. They read
∂ ∂
ϑ = aλ λ
+ ai i , (7.0.30)
∂z ∂c
where aλ , ai are superfunctions (7.0.27) and
∂ ∂
i
= i
∂c ∂y
are elements of the holonomic bases in T E. Due to the splitting V E ∼ = E × E,
these elements can be identified with the basis elements ci in E. It follows that the
operators ∂/∂ci act on superfunctions (7.0.27) by the law of the exterior product
of vectors and covectors. In accordance with the relation (7.0.28), they are odd.
The operators ∂/∂z λ are even, and act on the superfunctions (7.0.27) as familiar
derivatives.
The dual of the sheaf der B is the sheaf der∗ B generated by the linear morphisms
T ∗ E ⊗ ∧E → Z.
E
φ = aλ dz λ + ai dci , (7.0.32)
328 CHAPTER 7. APPENDIX A. GEOMETRY OF BRST MECHANICS
where aλ , ai are superfunctions (7.0.27), while dci = dy i are elements of the holo-
nomic bases in T ∗ E. One can think of these elements as being the Λ-dependent
1-forms on the fibre bundle E. Then the morphisms (7.0.31) can be treated as the
interior product of the vector fields (7.0.30) and the 1-forms (7.0.32).
One can introduce the exterior differential of superfunctions
d : B → der∗ B,
df (ϑ) = (−1){f }{ϑ} ϑ(f ) = (−1){f }{ϑ} ϑcdf,
∧T ∗ E ⊗ ∧E → Z, (7.0.33)
E
Appendix B. On quantum
time-dependent mechanics
Here we are concerned only with a few aspects of quantizing time-dependent me-
chanics.
We will start from the following important remark. Let Q → R be a configura-
tion space of time-dependent mechanics, V ∗ Q its momentum phase space, and H
a Hamiltonian form on V ∗ Q. Let Γ be a (complete) reference frame together with
the adapted coordinates (t, q i ) on Q. Since Γi = 0 relative to these coordinates, the
energy function with respect to this reference frame coincides with the Hamiltonian
H in the decomposition (5.2.12) (see Section 5.7). We have the Hamilton equation
(5.2.20):
qti = ∂ i H, (8.0.1)
where one can think of q̇Γi = qti as being the relative velocities with respect to the
reference frame Γ. In the new reference frame coordinates (t, q 0i ), the Hamiltonian
H0 (t, q 0i , p0i ) = H(t, q j (t, q 0i , p0i ), pj (t, q 0i , p0i )) − pj (t, q 0i , p0i )∂t q j (t, q 0i , p0i ) =(8.0.2)
H(t, q j (t, q 0i , p0i ), pj (t, q 0i , p0i )) + p0k Γk (t, q 0i , p0i )
coincides with the energy function with respect to the new reference frame, while
the energy function with respect to initial reference frame is
329
330CHAPTER 8. APPENDIX B. ON QUANTUM TIME-DEPENDENT MECHANICS
(see relation (4.5.2)). Relative to the coordinates (t, q 0i , p0i ), the Hamilton equation
(8.0.1) reads
where qt0i can be treated as the relative velocities with respect to the new reference
frame. At the same time, we can rewrite these equations as
f (t, q 0i , p0 )
∂HΓ i
q̇Γi = 0
,
∂pi
where q̇Γi are the relative velocities with respect to the initial reference frame. Thus,
we arrive at the following conclusion. Let we quantize a Hamiltonian system with
a Hamiltonian H, written relative to coordinates (t, q i ), and perform a coordinate
transformation. In new coordinates, we quantize the Hamiltonian system with re-
spect to the new reference frame if we use the Hamiltonian (8.0.2), and quantize
that with respect to the initial reference frame if we use the Hamiltonian function
(8.0.3). It follows that, in quantum mechanics, a passage from one set of coordi-
nates to another is not a technical procedure. This explains why most quantization
formulations lead to correct result only when a Cartesian coordinate system is used
[47].
Let us point out the two quantization schemes which are invariant under reference
frame transformations.
Let Q → R be a configuration space of time-dependent mechanics and V ∗ Q its
momentum phase space, provided with the canonical Poisson structure w (5.1.6).
Let H be a Hamiltonian form on V ∗ Q. Given a reference frame Γ together with the
adapted coordinates (t, q i ) on Q, the Hamiltonian connection γH (5.2.19) for H can
be represented as the sum
γH = ∂t + ϑH ,
where ϑH is the Hamiltonian vector field for the Hamiltonian H in the decompo-
sition (5.2.12) with respect to the above-mentioned canonical Poisson structure w.
It follows that, given a reference frame Γ, a time-dependent Hamiltonian system
with a Hamiltonian form H can be seen as a Poisson Hamiltonian system (w, H).
This Poisson Hamiltonian system can be quantized by the methods of geometric
331
quantization as follows (we refer the reader to [103, 167, 181, 188] for the geomet-
ric quantization technique). We restrict our consideration to the prequantization
procedure.
Let M be the typical fibre of the configuration space Q and T ∗ M the correspond-
ing typical fibre of V ∗ Q, provided with the canonical symplectic form Ω (2.4.2). This
form is exact. Therefore it belongs to the zero integral Chern class 0 ∈ H 2 (M, Z).
Then the bundle product
V ∗M × C → V ∗M
is the prequantization bundle over M , provided with the connection
A = dpj ⊗ ∂ j + dq j ⊗ (∂j − 2πipj ∂c ),
where c is a coordinate on C, such that its curvature is precisely the 2-form
R = dA = −2πiΩ. (8.0.4)
A complete reference frame Γ define a projection
πΓ : V ∗ Q → T ∗ M.
The pull-back of the canonical symplectic form Ω by this projection is the exact
2-form
πΓ∗ Ω = dpi ∧ dq i
such that
w = w] (πΓ∗ Ω).
Then the pull-back bundle
πΓ∗ (T ∗ M × C) = V ∗ Q × C → V ∗ Q (8.0.5)
is the prequantization bundle over V ∗ Q, provided with the connection
πΓ∗ A = dpj ⊗ ∂ j + dq i ⊗ (∂i − 2πipi ∂c )
such that its curvature obeys the relation similar to (8.0.4). It follows that the
Poisson algebra on the Poisson manifold (V ∗ Q, w) is quantized, i.e., any function
f ⊂ O0 (V ∗ Q) defines the operator
[1] M.Abbati, R.Cirelli, S. De Santis and E.Ruffini, The second Noether theorem
in the formalism of jet-bundles: Symmetries and degeneration, J. Geom.
Phys. 17 (1995) 321.
[4] S.Albeverio and Shao-Ming Fei, BRST Structures and Symplectic Geometry
on a Class of Supermanifolds, Lett. Math. Phys. 33 (1995) 207.
[5] A.Aringazin, BRS and anti-BRS invariant states in path integral approach
to Hamiltonian and Birkoffian mechanics, Phys. Lett B 314 (1993) 333.
335
336 BIBLIOGRAPHY
[18] A.D.Bruno, The normal form of a Hamilton system, Uspehi Matemat. Nauk
43 (1988) N1, 23 (in Russian).
[19] J-L. Brylinski, A differential complex for Poisson manifolds, J. Diff. Geom.
28 (1988) 93.
[27] J.Cariñena and M.Rañada, Poisson maps and canonical transformations for
time-dependent Hamiltonian systems, J. Math.Phys. 30 (1989) 2258.
[32] J.Cariñena, L.Ibort, G.Marmo and A.Stern, The Feynman problem and the
inverse problem for Poisson dynamics, Phys. Rep. 263 (1995) 153.
[35] S.Cecotti and C.Vafa, Topological anti-topological fusion, Nucl. Phys. B367
(1991) 359.
338 BIBLIOGRAPHY
[37] D.Chinea, M.de León, and J.Marrero, The constraint algoritm for time-
dependent Lagrangians, J. Math. Phys. 35 (1994) 3410.
[38] D.Chinea, M.de León, and J.Marrero, The canonical double complex for
Jacobi manifolds, C. R. Acad. Sci., Paris I 323 (1996) 637.
[39] N.Chitaia, S.Goglidze and Yu.Surovtsev, Dynamical systems with first- and
second-class constraints, Phys. Rev. D 56 (1997) 1135; 1142.
[46] P.Dedecker and W.Tulczyjew, Spectral sequences and the inverse problem
of the calculus of variations, in Differential Geometric Methods in Mathe-
matical Physics, Lect. Notes in Mathematics 836 (Springer, Berlin, 1980),
p. 498.
[60] M.Gotay, J.Nester and G.Hinds, Presymplectic manifolds and the Dirac–
Bergman theory of constraints, J. Math.Phys. 19 (1978) 2388.
340 BIBLIOGRAPHY
[61] M.Gotay and J.Nester, Presymplectic Lagrangian systems, Ann. l’Inst. Henri
Poincaré 30 (1979) 129; 32 (1980) 1.
[63] M.Gotay, A multisymplectic framework for classical field theory and the cal-
culus of variations. I. Covariant Hamiltonian formalism, in Mechanics, Anal-
ysis and Geometry: 200 Years after Lagrange, ed. M.Francaviglia (Elsevier
Science Publishers B.V., 1991), p. 203.
[64] M.Gotay, A multisymplectic framework for classical field theory and the
calculus of variations. II. Space + time decomposition, Diff. Geom. and Appl.
1 (1991) 375.
[65] E.Gozzi, M.Reuter and W.Thacker, Hidden BRS invariance in classical me-
chanics, Phys. Rev. D40 (1989) 3363.
[66] E.Gozzi, M.Reuter and W.Thacker, Symmetries of the classical path integral
on a generalized phase-space manifold, Phys. Rev. D46 (1992) 757.
[67] J.Grabowski and P.Urbański, Tangent lifts of Poisson and related structures,
J. Phys. A 28 (1995) 6743.
[76] P.Havas, The connection between conservation laws and invariance groups:
Folklore, fiction and fact, Acta Phys. Austr. 38 (1973) 145.
[77] S.Hawking and G.Ellis, The Large Scale Structure of a Space-Time (Cambr.
Univ. Press, Cambridge, 1973).
[81] S.Hojman and L.Urrutia, On the inverse problem of the calculus of varia-
tions, J. Math. Phys. 22 (1981) 1896.
[83] R.Ibáñez, M.de León, J.Marrero and D.Martı́n de Diego, Co-isotropic and
Legendre-Lagrangian submanifolds and conformal Jacobi morphisms, J.
Phys. A 30 (1997) 5427.
[84] R.Ibáñez, M.de León, J.Marrero and D.Martı́n de Diego, Dynamics of Pois-
son and Nambu–Poisson brackets, J. Math. Phys. 38 (1997) 2332.
[85] R.Ibáñez, M.de León, J.Marrero and E.Padrón, Nambu–Jacobi and general-
ized Jacobi manifolds, J. Phys. A 31 (1998) 1267.
342 BIBLIOGRAPHY
[90] F.Kamber and P.Tondeur, Foliated Bundles and Characteristic Classes, Lect.
Notes in Mathematics 493 (Springer, Berlin, 1975).
[98] A.Kirillov, Local Lie algebras, Russian Math. Surveys 31 (1976) 55.
[113] M.de León, J. Marrero and D. Martı́n de Diego, Mechanical systems with
nonlinear constraints, Int. J. Theor. Phys. 36 (1997) 979.
[120] R.Littlejohn and M.Reinsch, Gauge fields in the separation of rotations and
internal motions in the n-body problem, Rev. Mod. Phys. 69 (1997) 213.
[128] G.Marmo, G.Vilasi and A.Vinogradov, The local structure of n-Poisson and
n-Jacobi manifolds and some applications, J. Geom. Phys (1998) (appear).
[129] J.Marsden and T.Ratiu, Reduction of Poisson manifolds, Lett. Math. Phys.
11 (1986) 161.
[132] E.Massa and E.Pagani, Jet bundle geometry, dynamical connections and
the inverse problem of Lagrangian mechanics, Ann. Inst. Henri Poincaré 61
(1994) 17.
[136] G.Morandi, C.Ferrario, G.Lo Vecchio, G.Marmo and C.Rubano, The inverse
problem in the calculus of variations and the geometry of the tangent bundle,
Phys. Rep. 188 (1990) 147.
[148] R.De Pietri, L.Lusanna and M.Pauri, Standard and generalized Newtonian
gravities as ”gauge” theories of the extended Galilei group: I. The standard
theory, Class. Quant. Grav. 12 (1995) 219.
[152] M.Rothstein, The axioms of supermanifolds and a new structure arising from
them, Trans. Amer. Math. Society 297 (1986) 159.
[153] C.Rovelli, Quantum mechanics without time: A model, Phys. Rev. D42
(1990) 2638.
[154] C.Rovelli, Time in quantum gravity: An hypothesis, Phys. Rev. D43 (1991)
442.
[155] R.Sachs and H.Wu, General Relativity for Mathematicians (Springer, Berlin,
1977).
[162] W.Sarlet, F.Cantrijn and D.Saunders, A geometric famework for the study
of non-holonomic Lagrangian systems, J. Phys. A 28 (1995) 3253.
[163] W.Sarlet, F.Cantrijn and D.Saunders, A geometric famework for the study
of non-holonomic Lagrangian systems: II, J. Phys. A 29 (1996) 4265.
348 BIBLIOGRAPHY
[164] D.Saunders, The Geometry of Jet Bundles (Cambr. Univ. Press, Cambridge,
1989).
[170] N.Steenrod, The Topology of Fibre Bundles (Princeton Univ. Press, Prince-
ton, 1972).
[171] P.Stefan, Accessible sets, orbits and foliations with singularities, Proc. Lon-
don Math. Soc. 29 (1974) 699.
[182] I.Vaisman, Second order Hamiltonian vector fields on tangent bundles, Diff.
Geom. and Appl. 5 (1995) 153.
[189] K.Yano and S.Ishihara, Tangent and Cotangent Bundles, Pure and Applied
Mathematics Ser. 16 (Marcel Dekker, N.Y., 1973).
[191] Q.Zhao, The representation of Lie groups and geometric quantizations, Com-
mun. Math. Phys. 194 (1998) 135.