Recall that the Lagrangian path to the dynamics of a particle (which is most easily made covariant, since it uses as its variables) is based on the Action A = &int#int;_t_0^t_1 L(q(t),q(t),t)dt . By requiring that be an extremum as a functional of the system trajectory, we obtain the Euler-Lagrange equations d dt ( Lq_i - Lq_i ) = 0 . These are equivalent to Newton's law for suitable definitions of and the force.
The simplest way to make this relativistic is to express it in terms of the proper time and then require that the action be extremal in all frames. Then, A = &int#int;_&tau#tau;_0^&tau#tau;_1 &gamma#gamma;L d&tau#tau; is the action, since . We now must remark
Note well that it is not clear that this argument (from Jackson) is valid. , while a number, is not invariant under boosts - indeed, it is parametrically related to the boost parameter! It is also perfectly clear that the first statement is false - while it is true that if is a four-scalar with respect to boosts that its extremums must be preserved, it is equally true that this condition is not necessarily unique - all that is necessary is that a boost monotonically scale the action in such a way that the extremal property is preserved!
A weaker (but still sufficient) argument might then be:
If is a 4-scalar, and is a monotonic function independent of the 4-coordinates, 4-velocities, and , then the property of a given trajectory resulting in an extremum of the action is preserved.In my opinion this is clearer and still adequate for our purposes. being a 4-scalar (0th rank tensor in 4-space w.r.t. the Lorentz transformation) is sufficient to produce an invariant extremum of the action , even if the numerical values of vary under a boost. To prove that it is also necessary very likely involves an exercise in the calculus of variations that distributes the derivatives over - similar exercises are already in the homework for this chapter in other contexts.
Either way, we will now assert that the Lagrangian of a free particle must be a 4-scalar (and hence must be formed out of the full contraction of tensors of higher rank), and will remain alert in the work below for any sort of inconsistency that might be related to .
Obviously, we want it to reproduce the classical non-relativistic theory in the appropriate limit, that is, a free particle should have constant energy and momentum, or, equivalently, 4-velocity. The simplest (not ``only'' as Jackson states) Lorentz invariant function of the 4-velocity is it's quadratic form: U^&alpha#alpha;U_&alpha#alpha;= c^2 Of course, any polynomial functional of this quadratic is also a possible scalar, but they are not the thing to try first. Thus a reasonable guess for the Lagrangian is L = (constant)c^2&gamma#gamma;^-1 = - m c^2 1 - u^2c^2 .
If we now crunch through the Euler-Lagrange equation we find that this choice for the constant leads to d dt(&gamma#gamma;m u) = 0 which is indeed Newton's law for a free particle, but with the relativistic form of the three-momentum.
If one chooses a frame where the particle is initially at rest, a trajectory where it remains at rest will yield the least action (you should check this). This is because is maximal when (and the Lagrangian has a minus sign).
Now, suppose that the charged particle is in a electromagnet potential. If it were moving slowly in a scalar potential only, its potential energy would be . The non-relativistic Lagrangian in this case should be just (where is the free particle Lagrangian). The interaction part of the relativistic Lagrangian must therefore reduce to in this non-relativistic limit.
We must find a Lorentz invariant (scalar) form for that reduces to for non-relativistic velocities. Since is the time component of a four vector potential, we can guess that the correct generalization must involve the four vector potential . Since it must be a scalar, it must involve the scalar product of with some four vector(s). The only ones avaliable are and .
The correct depends only on the . If it depended on the coordinates as well, then the physics would not be translationally invariant and the results of our calculation might well depend on where we chose the origin. This does not seem reasonable. Once again, this does not uniquely determine it, it only determines the simplest (linear) form to within a sign and a constant: &gamma#gamma;L_int = -qc U_&alpha#alpha;A^&alpha#alpha; or L_int = - q &Phi#Phi;+ qc u ·A. There could be additional terms involving polynomials of this quantity, the product (which is indeed present in some theories) and other scalar reductions of field and charge/field tensor quantities. Linearity, in either the vector potential or the velocity, is an axiom and not logically necessary.
The complete relativistic Lagrangian for a charged particle is thus L = -mc^2 1 - u^2c^2 + qc u ·A - q &Phi#Phi;. It should take you about one hour to show that this yields the correct relativistic Lorentz force law. The free particle part is obvious, the electric field is obvious. You will have to work a bit, using d dt = ( t + u ·) to squeeze out of the remainder. I suggest that you simply work out the terms by expanding them as far as they go and reassembling the pieces, but some of you may know enough vector algebra to do it better ways. This will be on the next assignment, so feel free to start.
The canonical momentum conjugate to the position coordinates is obtained (as usual) from P_i = Lu_i = &gamma#gamma;m u_i + qc A_i. This result, P = p + qc A (where is the relativistic kinetic momentum of the particle) is extremely important to remember, as it is a necessary ingredient in the construction of either a quantum theory or an elegant classical theory. Placing the particle in a field alters its canonical ``momentum''.
We make the Hamiltonian out of the Lagrangian and the canonical momentum via H = P ·u - L The basic result here has too many variables. We must eliminate in favor of and . Note that u = cP - q A( P - qc A )^2 + m^2 c^2 (something that is a wee chore to prove, of course, but it is straightforward algebra). With even more tedious algebra, you can show that the Hamiltonian is: H = (c P - q A)^2 + m^2c^4 + q &Phi#Phi;= W.
From this result, Hamilton's equations of motion should reproduce the Lorentz force law. See that it does (although the relationship between the EL equations and Hamilton's equations makes the result obvious). Note that if we interpret the Hamiltonian (as usual) as the total energy of the particle, this result is related to the free particle energy by and the addition of the scalar potential energy . This is actually just a single change in the four-vector momentum: (W - q&Phi#Phi;)^2 - (c P - q A)^2 = m^2c^4 = p^&alpha#alpha;p_&alpha#alpha; (which has the usual form if p^&alpha#alpha;= ( Ec, p ) = ( 1c(W - e&Phi#Phi;), P - qc A ) ). This also makes the invariance properties of the Hamiltonian manifest.
It is really annoying to obtain the invariance properties of things after the fact. It is also annoying (although perhaps useful) to have the three vector coordinates hanging around at this point. So let us rederive these results using only four-vectors and suitable scalar reductions.