# Relativistic Work-Kinetic Energy Theorem

I was bothered for a long time by the reasons for the relativistic validity of the work-kinetic energy relation ##\Delta E=Fd##, which holds without any need for corrections. We’ve discussed this before here on PF, but I think at this point I understand it better, so I thought I’d post a summary of my present understanding.

**Einstein’s treatment**

At one time I somehow got the idea that Einstein had never given any logical justification for the fact that ##\Delta E=Fd## was valid and exact relativistically. I think this was because I hadn’t carefully thought through section 10 of “On the electrodynamics…,” where he actually gives a rigorous treatment. He starts with two assumptions:

(1) We have ##ma=eE## for the motion of an electron in any instantaneously comoving frame, in an electric field E. (He explicitly uses two such frames.). There’s no way this can be subject to a correction factor such as ##\gamma##, since the electron is at rest.

(2) The electrical potential energy of an electron is given by ##eV##. This is firmly established by experiment, and it doesn’t involve motion, so there is no reasonable way that we could imagine that it would need a correction factor like ##\gamma##. In the example of a small spherical shell of charge between two capacitor plates, it’s derivable from the equation for the energy density of the field

He’s also worked out the transformations of the fields (E,B) and the coordinates, so starting from assumption 1 he’s able to find the dynamical laws in a frame where the electron is moving. He uses these dynamical laws, along with assumption 2, to find the kinetic energy of the electron at relativistic speeds.

Along the way, he also does the following. His dynamical laws give, in the parallel direction, ##eE=m\gamma^3a##, and he calls this the force (in the parallel direction), which is equivalent to the common modern definition of the three-force as ##dp/dt##. Because of assumption 2, it follows that ##\Delta E=Fd## holds exactly; he is *not* assuming ##\Delta E=Fd##, he’s proving it (for this definition of force).

**Using the relativistic energy-momentum four-vector**

A more modern approach is as follows. Suppose that we’ve already determined the properties of the energy-momentum four-vector. This includes the relativistic definition of mass, ##m^2=E^2-p^2##, and also the identity ##p/E=v##. Then is becomes pretty straightforward to show that ##W=Fd## is relativistically exact. Consider one-dimensional motion, and let ##p## be the momentum component along our one spatial dimension. Define ##F=dp/dt##. Then

## \frac{d E}{d x} = \frac{d E}{dp}\frac{d p}{d t} \frac{d t}{d x} = \frac{d E}{d p} \frac{F}{v} ##

By implicit differentiation of the definition of mass, we find that ##dE/dp=p/E##, and this in turn equals ##v## by the identity above. This leads to the claimed result, which is valid for both massless and material particles.

**Using simple machines**

I always felt that there should be some way of getting at the problem this way, but I don’t think it ends up working. Suppose we have a simple machine with mechanical advantage ##A##. At least some simple machines (such as a lever) are capable of operating rigidly (based on the definition of Born-rigidity) for arbitrary relativistic motion. (Many others are not, because rigid motion would violate the Herglotz-Noether theorem. For example, a screw undergoing accelerated motion through a set of threads at relativistic speeds would bind.) For a machine that does work relativistically, the ratio of the input and output displacements is fixed to the exact value ##1/A##, without relativistic correction.

The proportionality of work to ##F## and to ##d## follows from elementary considerations, independent of relativity. See the Feynman lectures, section I-4-2.

What seems more problematic in these arguments is the following. Suppose we have two things that could be called “force,” ##F## and ##G##, and let them differ by ##G=F h(v)##, where ##h## is some function and ##v## is velocity of object being acted upon. These could be, e.g., ##F=dp/dt## and ##G=dp/d\tau## (the spacelike component of the force four-vector). In this example, it turns out that the forces at the input and output of the machine are related by ##F_1/F_2=A##, while ##G_1/G_2\ne A##, but how do you show this? I don’t think you can show it without some other argument, as in the two sections above.

PhD in physics. I teach physics at Fullerton College, a community college in Southern California. I enjoy writing, playing viola, brewing beer, climbing and mountaineering.

I have trouble seeing what is the problem you're trying to solve. The relation ##W=Fd## is definition of work, not the work-energy theorem. The work-energy theorem says work equals change in kinetic energy of the particle. This follows mathematically from the equation of motion ##md(\gamma v)/dt = F## and Einstein's definition of energy ##E=\gamma mc^2##.

I see the ## way of writing formulae does not work well, so here's my comment in plaintext:I have trouble seeing what is the problem you're trying to solve. The relation W=Fd is definition of work, not the work-energy theorem. The work-energy theorem says work equals change in kinetic energy of the particle. This follows mathematically from the equation of motion md(γv)/dt=F and Einstein's definition of energy E=γmc^2.

In Classical mechanics we do not need ##E=Fd##, that we can calculate ##E\propto v^2##. The same is valid in SR. Thus I agree with BCrowell and disagree with Jano L. ##E\propto v^2## can be obtained with help of quadratic forms. I showed how to calculate this https://www.physicsforums.com/threads/quadratic-forms-and-kinetic-energy.826884/But my question was about references about quadratic forms? Can you help me. Best regards

I’m not too sure my thoughts will be helpful for the intended purpose (which I assume ultimately involves a simple presentation of special relativity), but perhaps they’ll provide some insight. And they can be expressed pretty briefly. As long as special relativity has a non-trivial Hamiltonian, we can write Hamilton’s equations:

[tex]frac{partial H}{partial q} = dot {p}[/tex]

Now, if we can also identify H with energy, q with position, and ##dot{p}## with force, then we have the work-energy theorem, the rate of change of the energy with position must be equal to the force.

Right, I should have notated this as ##Delta E=Fd##.

There are two disadvantages to your method. (1) In the 1905 paper, Einstein uses ##Delta E=Fd## to prove ##E=mgamma c^2##, so he can’t use the latter to prove the former. (2) Your method doesn’t work for massless particles.

I do not know what Einstein was getting at there. I am not sure proving the relation ##E=gamma mc^2## makes sense. I think this is just a definition of energy, same as ##frac{1}{2}mv^2## is definition of kinetic energy in classical mechanics.

This is an interesting approach, but if we examine it carefully I think it’s not quite as much of a slam-dunk as it might seem. And it does have the disadvantage that it won’t work as a presentation at the undergraduate level, since a physics major might not be exposed to Hamiltonian mechanics until after taking their upper-division SR course.

Spelling out the steps in more detail, I think we would have the following:

(1) The action has to be Lorentz-invariant and additive, and the only possibility that seems to present itself is ##S=(ldots)mint_{t_1}^{t_2} dtau##, where … represents a constant.

(2) Working backward from this, infer that the Lagrangian for a free relativistic particle in one dimension is ##L=(ldots)m/gamma##.

(3) Find the conjugate momentum, which is ##p=(ldots)mgamma v##.

(4) Interpret ##dp/dt## as a force.

(5) Calculate the Hamiltonian.

(6) Identify the Hamiltonian with the energy.

(7) Use Hamilton’s equations to associate ##partial H/partial x## with minus the force.

The first thing to note is that this is much, much longer than the simple derivation I gave (the second of the three sections in my original post).

The next problem is that we have foundational issues in steps 1 and 4. Maybe there’s an explicit uniqueness theorem one could give at step 1? Otherwise it’s just a plausibility argument, with no a priori guarantee, for example, that the final result will come out consistent with Maxwell’s equations in the case of a charge moving in a field. In step 4, we have to decide what is the best definition of force. One could argue that this definition is good, because by the time we get to step 7 we will have shown that it preserves the form of the work-energy theorem without correction. But this is a weak justification if we aren’t at step 7 yet, and in fact we have a different definition of force, the four-force, which a priori would be preferable because it’s tensorial.

At step 6, we have to check some technical criteria.

A general philosophical objection to the whole thing is that Hamiltonian mechanics lacks manifest Lorentz invariance at every step of the way. In particular, time is treated as a parameter rather than a coordinate.

Definitions are like babies. They have to come from somewhere. Einstein is proving that this equation is the only one for a massive particle that is consistent with Maxwell’s equations. In any case, this is not a definition of energy, since it doesn’t apply to massless particles.

Inspired by this thread and bcrowells remark in #8 on “massless particles” (which don’t make too much sense in classical (i.e., non-quantum) relativistic physics anyway), I’ve extended the section on “naive dynamics” (i.e., dynamics not employing Hamilton’s principle of least action) in my SRT writeup by giving a derivation of the work-energy theorem and also a formulation of the dynamics of massless particles:

[URL]http://fias.uni-frankfurt.de/~hees/pf-faq/srt.pdf[/URL]

Why?