# Derivation of momentum & energy formulas

by DrGreg
Tags: derivation, energy, formulas, momentum
 Sci Advisor PF Gold P: 1,841 Most of the texts I've seen (admittedly not a large number) which introduce the concept of relativistic momentum usually just pull a formula out of nowhere and then prove the formula must be correct. There is nothing technically wrong with this approach, but it's aesthetically unsatisfying, as it doesn't show how you would get the formula if you didn't already know the answer. The few occasions where I've seen a derivation that didn't assume an answer (e.g. in Einstein's own papers) contain some rather ugly and tedious mathematics. I thought I'd have a go at a more elegant method, and after some weeks of effort in my spare time, here it is. I wouldn't be at all surprised if someone else hasn't published something similar to this before, so I claim no originality. I do assume a fair amount of background knowledge. You will need to know about rapidity and how to add it. You need familiarity with hyperbolic functions and their derivatives, partial differentiation and the solution of second-order differential equations. I am confident of the logic that leads from my assumptions to my conclusions. The reason I am posting this is to ask whether the assumptions that I make are reasonable in this context. Could I simplify my argument still further with even better assumptions? I will restrict consideration to a single dimension of space, i.e. motion along a single straight line in the absence of gravity. We already know the Newtonian definitions of mass, momentum, force and energy. We want to derive relativistic versions which are compatible with the Newtonian versions at low speeds, but which are also consistent with the postulates of relativity. General Assumptions (A1) The mass of a particle is invariant (i.e. independent of relative motion of particle and observer). (A2) Total energy is conserved in a closed system. (A3) Total momentum is conserved in a closed system.Otherwise neither of these concepts would be useful. (A4) The energy of any particle is proportional to its mass. (A5) The momentum of any particle is proportional to its mass.This follows from conservation. Consider the limit as any two particles collide and coalesce at a relative speed approaching zero. In this Newtonian limit, mass is additive, and so too are momentum and energy. We will also assume that the Newtonian relationships between force, momentum and energy (A6)....$$F = \frac{dp}{dt}$$and (A7)....$$E = \int F dx$$are still valid (relative to any inertial frame) in relativity. The specific scenario Consider two particles of equal mass which collide and coalesce to form a single particle, with no loss of energy to the surroundings. (A8) Measured in the rest frame of the final particle, the two initial particles have equal but opposite velocities.On grounds of symmetry. Note also that as mass is invariant, the mass of the final particle depends only on the two initial particles and their relative velocity and is independent of the motion of any observer. Mathematical formulation I will measure motion using rapidity $\phi$ instead of velocity $v = c \tanh \phi$. This will simplify the maths because the composition law for rapidity (in one spatial dimension) is just ordinary addition. Thus, from (A4) and (A5), we postulate that momentum p and energy E are given by (F1).....$$p = m c F(\phi)$$ (F2).....$$E = m c^2 G(\phi)$$for some smooth functions F and G to be determined. In the Newtonian limit as $\phi \rightarrow 0$ we know these functions are approximately $F(\phi) = \phi + O(\phi^2)$ and $G(\phi) = K + \tfrac{1}{2}\phi^2 + O(\phi^3)$, for some unknown constant K. To be more precise: (F3).....$$F(0) = 0$$ (F4).....$$F'(0) = 1$$ (F5).....$$G'(0) = 0$$ (F6).....$$G''(0) = 1$$So, considering our two colliding particles of mass m as described above, moving with rapidities $\phi$ and $-\phi$ relative to the final rest frame, let the mass of the final particle be (F7).....$$M = 2 m H(\phi)$$for some smooth function H to be determined. In the Newtonian limit, mass is conserved so (F8).....$$H(0) = 1$$Note also that (F9).....$$H(\phi) > 0$$We have, relative to the final rest frame, conservation of momentum and energy (F10).....$$m c F(\phi) + m c F(-\phi) = 2 m c H(\phi) F(0)$$ (F11).....$$m c^2 G(\phi) + m c^2 G(-\phi) = 2 m c^2 H(\phi) G(0)$$Note that either of the above equations implies that H is an even function, and so, in particular, (F12).....$$H'(0) = 0$$More generally, relative to a frame in which the final particle has rapidity $\psi$, we have (F13).....$$m c F(\psi + \phi) + m c F(\psi - \phi) = 2 m c H(\phi) F(\psi)$$ (F14).....$$m c^2 G(\psi + \phi) + m c^2 G(\psi - \phi) = 2 m c^2 H(\phi) G(\psi)$$making use of the additivity of rapidities. To summarise, both F and G are solutions for f of the equation (F15).....$$f(\psi + \phi) + f(\psi - \phi) = 2 H(\phi) f(\psi)$$each satisfying the appropriate boundary conditions as above. (Due to length, the derivation will continue in the next post) Attached Thumbnails
 Sci Advisor PF Gold P: 1,841 (Continued from previous post) Relation between momentum and energy From (A6) and (A7) we have $$\frac{dp}{dt} = F = \frac{dE}{dx} = \frac{dE/dt}{dx/dt}$$ $$\frac{dp}{d\phi} \frac{d\phi}{dt} = \frac{(dE/d\phi) (d\phi/dt) }{c \tanh \phi}$$Hence $$\frac{dp}{d\phi} c \tanh \phi = \frac{dE}{d\phi}$$whenever $d\phi/dt \neq 0$. On grounds of continuity it must always be true. Substituting (F1) and (F2) we have (F16).....$$F'(\phi) \tanh \phi = G'(\phi)$$ Solving the equations This section is just maths, no physics involved. Apply $\partial^2/\partial\phi^2$ to (F15): (M1).....$$f''(\psi + \phi) + f''(\psi - \phi) = 2 H''(\phi) f(\psi)$$Apply $\partial^2/\partial\psi^2$ to (F15): (M2).....$$f''(\psi + \phi) + f''(\psi - \phi) = 2 H(\phi) f''(\psi)$$Equate the two and divide by $H(\phi)$ which is never zero. (M3)....$$f''(\psi) = \frac{H''(\phi)}{H(\phi)} f(\psi)$$As the left hand side is independent of $\phi$ then $$\frac{H''(\phi)}{H(\phi)}$$must be some constant k i.e. (M4)....$$H''(\phi) = k H(\phi)}$$ (M5)....$$f''(\psi) = k f(\psi)}$$As the solution for f = G must satisfy G''(0) = 1, we can reject k = 0. If k < 0 the solution for H is (M6)....$$H(\phi) = H(0) \cos(\phi\sqrt{|k|}) + \frac{H'(0)}{\sqrt{|k|}} \sin(\phi\sqrt{|k|})$$which is incompatible with the requirement that $H(\phi) > 0$. Therefore $k = \alpha^2 > 0$, for some non-zero constant $\alpha$ yet to be determined, giving the solutions (M7)....$$H(\phi) = H(0) \cosh(\alpha\phi) + \frac{H'(0)}{\alpha}\sinh(\alpha\phi) = \cosh(\alpha\phi)$$ (M8)....$$f(\psi) = f(0) \cosh(\alpha\psi) + \frac{f'(0)}{\alpha} \sinh(\alpha\psi)$$When solving for momentum f = F, we have F(0)= 0 and F'(0) = 1, whence (M9)....$$F(\psi) = \frac{1}{\alpha} \sinh (\alpha \psi)$$When solving for momentum f = G, we have G'(0)= 0 and G''(0) = 1, so $G(0) = 1/\alpha^2$, whence (M10)....$$G(\psi) = \frac{1}{\alpha^2} \cosh (\alpha \psi)$$All that remains is to determine the value of $\alpha$, and for this we use (F16) which gives (M11)....$$\cosh (\alpha \phi) \tanh \phi = \frac{1}{\alpha} \sinh (\alpha \phi)$$i.e. (M12)....$$\tanh \phi = \frac{1}{\alpha} \tanh (\alpha \phi)$$and so $\alpha = 1$. Conclusion $$p = m c \sinh \phi$$ $$E = m c^2 \cosh \phi$$which are the standard equations for momentum and energy expressed as functions of rapidity. Converted into velocity they take the more familiar form $$p = \gamma m v$$ $$E = \gamma m c^2$$ Reminder My main question is, are assumptions (A1) to (A8) above sensible?