Next: 2.4.2 Legendre transformation
Up: 2.4 Hamiltonian formalism and
Previous: 2.4 Hamiltonian formalism and
Contents
Index
2.4.1 Hamilton's canonical equations
In
Section 2.3.4 we came across two quantities, which
we recall here
and for which we now introduce special symbols.
The first one was the momentum
|
(2.27) |
which we will usually regard as a function of
associated to a given curve
.
The second object was the Hamiltonian
|
(2.28) |
which is written here as a general function of four variables but also becomes
a function of
alone when evaluated along a curve. The inner product
sign
in the definition of
reflects the fact that in
the multiple-degrees-of-freedom case,
and
are vectors.
The variables
and
are called the canonical variables.
Suppose now that
is an extremal, i.e., satisfies
the Euler-Lagrange equation (2.18). It turns out that the differential equations
describing the evolution
of
and
along such a curve, when written in terms of the Hamiltonian
,
take a particularly nice form. For
, we have
For
, we have
where the second equality is the Euler-Lagrange equation.
In more concise form, the result
is
|
(2.29) |
which is known as the system of Hamilton's canonical equations.
This reformulation of the Euler-Lagrange equation was proposed by Hamilton in
1835.
Since we are not assuming here that we are in the ``no
" case or the ``no
" case of Section 2.3.4, the momentum
and the Hamiltonian
need not be constant along extremals.
An important additional observation is that the partial derivative of
with respect to
is
|
(2.30) |
where the last equality follows from the definition (2.28)
of
. This suggests that,
in addition to the canonical equations (2.30), another
necessary condition
for optimality should be that
has a stationary point as a function of
along an optimal curve. To make
this statement more precise, let us plug the following arguments into the
Hamiltonian: an arbitrary
; for
, the corresponding position
of the optimal curve; for
, the corresponding value of the momentum
. Let us keep
the last remaining argument,
, as a free variable, and relabel
it as
for clarity. This yields the function
|
(2.31) |
Our claim is that this function has a stationary point when
equals
,
the velocity of the optimal curve at
. Indeed, it is immediate to check that
|
(2.32) |
Later we
will see that in the context of the maximum principle this
stationary point is actually an extremum, in fact, a
maximum. Moreover, the statement
about the maximum remains true when
is not necessarily
differentiable
or when
takes values in a set with a
boundary and
on this boundary;
the basic property
is not that the derivative vanishes but that
achieves the
maximum in the above sense.
Mathematically, the Lagrangian
and the Hamiltonian
are
related via a construction known as the Legendre transformation.
Since this transformation is classical and finds applications
in many diverse areas (optimization, geometry, physics),
we now proceed to describe it.
However, we will see that it does not quite provide the right point of view
for our future developments, and it is included here mainly for historical
reasons.
Next: 2.4.2 Legendre transformation
Up: 2.4 Hamiltonian formalism and
Previous: 2.4 Hamiltonian formalism and
Contents
Index
Daniel
2010-12-20