Next: Motion of a Point
Up: Covariant Field Theory
Previous: The Brute Force Way
Contents
We can write the free particle Lagrangian using only scalar reductions of
suitable 4-vectors:
|
(17.20) |
(which is still
). The action is thus
|
(17.21) |
The variations on this action must be carried out subject to the constraint
|
(17.22) |
which severely limits the allowed solutions. We write this as
Now,
|
(17.24) |
which is an infinitesimal length in four-space. The latter expression does
not explicitly contain . We can thus parameterize the action in terms
of a path-parameter that increases monotonically with but is
otherwise arbitrary. Then
|
(17.25) |
We are clearly making progress. We have taken a perfectly good expression and
made in unrecognizable. To make you a little happier, note that this has now
got the form of
|
(17.26) |
where is a scalar ``Lagrangian'' written in terms of an independent free parameter. This might be progress after all, since we have
quashed the annoying .
If we now do the calculus of variations thing and get the Euler-Lagrange
equations in four dimensions:
|
(17.27) |
(for ). Applying them to the Langrangian in this action,
they turn out to be:
This still does not have the constraint above imposed on it. We impose the
constraint by identifying with in such a way that the constraint
is simultaneously satisfied:
(which requires both and
). If you like,
this constraint picks out of all possible path parameterizations the one that
follows the proper time while keeping the four vector velocity scalar product
Lorentz invariant. For free particles this is a lot of work, but it is paid
back when we include an interaction.
If we multiply the Euler-Lagrange equation (in terms of ) from the
left by:
|
(17.32) |
and use the constraint to convert to , the result (for the
equation of motion) is:
|
(17.33) |
or
|
(17.34) |
which certainly looks it has the right form.
We can include an interaction. Just as before,
must be a
Lorentz scalar. When we make a parameterized version of the Lagrangian, the
part under the integral must be a 4-scalar. The covariant form of the result
is (hopefully obviously)
|
(17.35) |
The ``four Lagrangian'' in this equation is
|
(17.36) |
As before we construct the Euler-Lagrange equation.
Again we multiply through from the left by
|
(17.38) |
and convert to to get:
|
(17.39) |
The derivative
is a bit jarring. However, if we
express this total derivative in terms of partials we observe that:
|
(17.40) |
Substituting, the equation of motion becomes:
|
(17.41) |
which is, as expected, the Lorentz force law in covariant form! How
lovely!
To make a Hamiltonian in this notation, we must first make the canonical
momentum:
|
(17.42) |
which is a covariant version of the complete set of interaction
equations from the previous section (it does both energy and
3-momentum).
There are several ways to make a Hamiltonian (recall that in general
there is what amounts to gauge freedom, minimally the ability to add an
arbitrary constant which naturally does not affect the resulting
differential equations). One is17.1:
|
(17.43) |
Again, we must eliminate:
|
(17.44) |
in favor of
. Thus:
|
(17.45) |
and
This Hamiltonian in four dimensions is no longer an energy since it is
obviously a 4-scalar and energy transforms like the time-component of
a four vector. However, it works. Hamilton's equations (in four
dimensions) lead again directly to the relativistic Lorentz force law:
There is a bit of algebra involved in deriving this result. For
example, one has to recognize that:
|
(17.50) |
and
and apply this to eliminate unwanted
terms judiciously, that is after differentiation. If you
apply it too early (for example at the beginning) you observe the
puzzling result that:
which leads one to the very Zen conclusion that the cause of all things
is Nothing (in four dimensions, yet)!
We are left with a rather mystified feeling that the algebraic hand is
quicker than the eye. Somehow an equation whose four-scalar value
is zero has a functional form, a structure, that leads to
non-zero, covariant equations of motion. Also (as already remarked)
this Hamiltonian is not unique. Obviously one can add an arbitrary
four-scalar constant to the equation and get no contribution from the
derivatives (just as one can in nonrelativistic classical physics).
There are other gauge freedoms - ultimately there several other ways of
writing the Hamiltonian associated with the given Lagrangian; all of
them yield a constant value that is not the energy when evaluated and
yield the correct equations of motion when processed.
Finally there exist what are called singular Lagrangians -
Lagrangians for which the generalized coordinates do not always map into
generalized conjugate variables! Dirac was (unsurprisingly) the first
to formally identify this in the context of constrained systems (systems
described by a Lagrangian and constraints with Lagrange multipliers for
which the Hesse determinant vanishes); Bergmann (at Syracuse) also made
major contributions to the formal development of the concept. However
the roots of the problem date much further back to e.g. Noether's
theorem. I have a couple of papers on this that I've collected from the
web, although the idea is also discussed in various monographs and
textbooks on mechanics.
It is worth pointing out that there was at one point considerable work
being done here at Duke on the idea - N. Mukunda, Max Lohe, (both
friends of mine) worked on the idea with Larry Biedenharn (my advisor);
Biedenharn also published work with Louck on the subject, and of course
Mukunda and Sudarshan's book on classical mechanics remains a
``classic''. Since Dirac's time the notion that the ``right'' unified
field theory will have certain interesting properties related to this
has been batted around.
This points out an ongoing problem in relativistic quantum theories.
These theories are generally based on a Hamiltonian, but manifestly
covariant Hamiltonians for a given system cannot in general be uniquely
derived from first principles as the mapping between velocities and
momenta is not always one-to-one. Thus even when a covariant Lagrangian
density can be constructed, the associated Hamiltonian is not obvious or
necessarily unique. This is just one (although it is one of the most
fundamental) obstacles to overcome when developing a relativistic
quantum field theory.
Next: Motion of a Point
Up: Covariant Field Theory
Previous: The Brute Force Way
Contents
Robert G. Brown
2007-12-28