On the Controversy over the Logical Correctness of Einstein’s First Paper on Mass-Energy Equivalence

It is well-known that 
Einstein’s first attempt to explain E = mc2 which was published in Annalen der Physik in 1905, 
has been criticized as problematic. In particular, it has been shown by Ives 
and reiterated by Jammer that it suffers from the error of circular reasoning. 
Attempts have been made in the scientific literature to discount the circular 
reasoning objection of Ives, Jammer, Arzelies and others. Fritz Rohrlich in 
1990 gave a remarkably simple and concise derivation of E = mc2 along lines similar to Einstein’s but based on both momentum and energy conservation, in contrast to Einstein’s which uses only 
energy considerations. Rohrlich’s approach using momentum conservation is an 
alternative to Einstein’s, which is free from objection in logical error, and 
we make it quite clear on the importance of the implicit assumption of momentum 
conservation in any attempt to refute the circular reasoning error in 
Einstein’s paper. It is our contention that this point is overlooked or 
altogether avoided by those who have attempted to uproot the circular reasoning 
criticism of Einstein’s paper.

published in Annalen der Physik in 1905, has been criticized as problematic.
In particular, it has been shown by Ives and reiterated by Jammer that it suffers from the error of circular reasoning. Attempts have been made in the scientific literature to discount the circular reasoning objection of Ives, Jammer, Arzeliès and others. Fritz Rohrlich in 1990 gave a remarkably simple and concise derivation of 2 E mc = along lines similar to Einstein's but based on both momentum and energy conservation, in contrast to Einstein's which uses only energy considerations. Rohrlich's approach using momentum conservation is an alternative to Einstein's, which is free from objection in logical error, and we make it quite clear on the importance of the implicit assumption of momentum conservation in any attempt to refute the circular reasoning error in Einstein's paper. It is our contention that this point is overlooked

Introduction
In his first attempt at a derivation of mass-energy equivalence (Einstein, 1905b), which was published a few months after his first paper on special relativity (Einstein, 1905a), Einstein considers a body at rest in an inertial frame S that emits electromagnetic radiation of total energy L into two equal but oppositely directed amounts. He then considers the same emission process as seen from Advances in Historical Studies another inertial frame S ' moving with speed v relative to S. Applying his newly found discovery of the relativistic Doppler formula for light, which appeared in his first paper on relativity (Einstein, 1905a), along with the relativity of motion principle, Einstein was able to demonstrate that the mass of the body diminishes due to the emission of radiation, specifically by an amount which leads one to the conclusion that 2 E mc = .
According to many scientists this first paper of Einstein on 2 E mc = suffers from the fallacy of circular reasoning. It involves a petitio principii or circulus in probando, in that the conclusions are embedded in the assumptions of what they are trying to prove. The most famous example of such petitio principii in mathematics is, beyond any doubt, the attempted proofs of Euclid's 5th axiom with Ptolemy, Omar Khayyám and Lambert among others falling victim to it.
The first person to criticize Einstein's 1905 paper on 2 E mc = was Planck (Planck, 1907) (4) and (5)) (as "clear") was to introduce Now this is the very relation the derivation was supposed to yield (Ives, 1953)." This resulted in further criticism of the paper, most notably, by Max Jammer, the renowned physicist and philosopher of science (Jammer, 1961), and the well-known Einstein biographer, Arthur I. Miller (Miller, 1981). Additional investigations into the paper's shortcomings include those of reputable physicists such as H. Arzeliès (Arzeliès, 1966). In more recent times, there have appeared papers, especially the paper of Stachel and Torretti (Stachel & Torretti, 1982) and of Fadner (Fadner, 1988), countering the claims of Planck (Planck, 1907), Ives (Ives, 1953), Jammer (Jammer, 1961), Miller (Miller, 1981) and Arzeliès (Arzeliès, 1966). According to them, Einstein's 1905 paper is not flawed, rather, it is their contention that "the paper (Einstein's) was basically sound" (Stachel & Torretti, 1982). Specifically, in the case of Stachel and Torretti: "we have to declare that Ives, Jammer, and Arzeliès-not Einstein-is guilty of a logical error" (Stachel & Torretti, 1982). The Stachel and Torretti paper is often referenced on Wikipedia and elsewhere on the internet as being the final judgement on the matter regarding the Planck-Ives criticism. Ohanian lends his support to Stachel and Torretti: "Stachel-Torretti was right in asserting that Ives, Jammer, and Arzeliès are wrong" (Ohanian, 2009). However, according to Ohanian, the point of view of Stachel and Torretti leads to even further difficulties, so that he still maintains that Einstein's paper is flawed (Ohanian, 2009). For more details on the history of 2 E mc = we refer An outline of the paper is as follows. In Section 2, we present a brief summary of Einstein's paper. Section 3 describes Rohrlich's derivation of 2 E mc = . Section 4 is based on (Moylan et al., 2016) and it provides an explanation of Einstein's circular reasoning error in as simple as possible terms. In Section 5 we explain how Einstein's problematic assumptions (our Equations (4) and (5)) can be traced to momentum conservation. The results of this section make it clear how purported claims refuting the circular reasoning criticisms of Einstein's paper rest upon the assumption that Einstein implicitly made use of momentum conservation. In our conclusions, Section 5, we maintain that such purported counterclaims should be considered as valid only if one presupposes that Einstein made implicit use of momentum considerations and momentum conservation, something which is completely absent in his paper.

Summary of Einstein's 1905 Paper on E = mc 2
A brief summary of Einstein's derivation of 2 E mc = is as follows. We let E 0 be the energy of the body in the rest frame S of the body before the emission of electromagnetic energy in the form of two light rays in opposite directions, and we let E 1 be the energy of the body of mass m in S after the emission of light of total energy L. The results just stated, i.e. the various energies of the particle before and after emission of light and the total energy of the radiation, are listed in Table 1.
Similarly we let H 0 be the energy of the body in the frame S ' before the emission of electromagnetic energy. We let H 1 be the energy of the body in S ' after the emission of the radiation. We let K 0 be the kinetic energy of the body in the frame S ' before the emission of electromagnetic energy and we let K 1 be the kinetic energy of the body in S ' after the emission of the radiation. The energy of radiation in S ' is L'.
Note that the speed of the body in S ' both before and after the emission of light must be v, since, in the rest frame S of the body, the body is always at rest both before and after the emission of light. This fact is used by Einstein in obtaining his final conclusion (third to last sentence of his paper) on mass-energy equivalence out of his last equation.
Einstein in his first paper on special relativity (Einstein, 1905a) derived the relativistic Doppler formula for light from the Lorentz transformations; in particular, he established in that paper that if the radiation possesses in S a total energy L, then it possesses a total energy L' in S ' with L and L' related as follows: Table 1. Values of relevant quantities in rest frame S of particle.
where c is the velocity of light. Of course, in order for Equation (1) to make sense, υ must be less than c, a fact which Einstein makes clear in his first paper on special relativity (Einstein, 1905a). The above stated results for energy considerations in S ' are compiled in Table 2. By making use of this equation and conservation of energy in the S and S ' frames, respectively, Einstein obtains the following two equations: Next Einstein comes to his assumptions criticized by Planck and Ives, which are: where, according to Einstein, C is an additive constant which does not change during the emission of light. From these assumptions together with the previous two equations, which were obtained from conservation of energy, Einstein obtains This is his second to last equation. His last equation is obtained from this by a Maclaurin series expansion of the r.h.s. which neglects terms of order higher than 2 2 v c . It is where m′ is the mass of the body after emission of radiation.

Rohrlich's Derivation of E = mc 2
Fritz Rohrlich (1921Rohrlich ( -2018 was an outstanding theoretical physicist of Austrian-Jewish decent who contributed to the foundations of quantum and classical electrodynamics. He is perhaps most noted for his support of and further development of Fermi's viewpoint on classical electromagnetic models of the electron relating to their stability and Lorentz covariance (Fermi, 1922).
Rohrlich's derivation of 2 E mc = , in so far as it is based on momentum conservation, can be traced back to Poincaré's treatment of mass-energy equivalence invoving a "Hertzian exciter emitting a pulse of radiation in a single direction" (Poincaré, 1900). For both Poincaré and Rohrlich the key ingredients are momentum of radiation, and momentum conservation. Apart from invoking Planck's quantum hypothesis and radiation momentum, the latter of which comes from Maxwell's electromagnetic theory, Rohrlich makes use only of nonrelativistic considerations by assuming v c  . As such, it has at least as much validity as Einstein's does, since Einstein's derivation is also valid only to lowest Rohrlich argument is based on the four following assumptions: 1 1) The Newtonian fomulae for the kinetic energy and the linear momentum of a body of mass m and moving with speed v c  are valid; 2) The laws of conservation of energy and momentum are valid; 3) Electromagnetic radiation of frequency f consists of photons of energy hf (Planck's quantum hypothesis (1900)) and momentum hf/c (momentum of radiation) where h is Planck's constant and c is the speed of light; 4) The Doppler effect, discovered by Christian Doppler in 1842 while a professor at the Polytechnic in Prague (Czech Technical University). In his most famous paper entitled, On the Colored Light of the Double Stars and Certain Other Stars of the Heavens, and presented to the Royal Bohemian Society of Science on the 25th of May, 1842 (Dopper, 1843), Doppler asserts that radiation of frequency f and speed c, as observed in a reference frame stationary relative to the rest frame of the source emitting the radiation, will be perceived to have that frequency altered by a factor 1 v c + (1 v c − ) when the observer moves relative to the source with speed v and in a direction toward it (away from it).
Rohrlich's argument runs as follows. A source of radiation emits two photons simultaneously while remaining at rest in some (Newtonian) inertial reference frame S. Conservation of momentum requires these two photons to have equal 1 We would add to Rohrlich's list of assumptions the relativity of motion principle. He made use of it when he asserted that the body is at rest both before and after the radiation emission implies that the body in the moving reference frame "must therefore have the same speed v both before and after the Next, Rohrlich considers, as does Einstein, the decay process from a reference frame S ' moving with speed v relative to the rest frame S of the body. Conservation of momentum in S ' leads him to the equation Since the body in reference frame S is at rest both before and after the emission of radiation, it must therefore have the same speed v in S ' before and after the emission of radiation. Rohrlich's assumption (1) Comparing Equation (8) and Equation (11) Rohrlich goes a step further and assumes that all of the mass of the body is used by the emitted photons. This means that the "mass then disappears, and its energy is present in the two photons that have total energy (Rohrlich, 1990) 2 i E m c = where i m the mass of the body.

The Simplest Possible Illustration of the Logical Fallacy in Einstein's Analysis
In order to better appreciate the logical fallacy in Einstein's argumentation leading to his last equation we take the special case considered by Rohrlich to which we just alluded, namely the case in which the particle ceases to exist after the emission of radiation. An example of such a process in particle physics is neutral pion decay: 0 .

π → γ + γ
This decay is depicted in Figure 1 for the case where the two photons fly off at angles ϕ and ϕ + π with respect to the positive x axis. We consider the case For the energies of the two photons in the frame S ' we have the following situation. We let E + ′ be the energy of the photon in the "fore" (right) direction and E − ′ is in the "back" (left) direction. Then, according to the relativistic Doppler formula for light (Einstein, 1905a;Moylan et al., 2016) we have for the energies E ± ′ of the emitted photons in the reference frame S ' in which the pion is moving to the right with speed v: Now we come to Einstein's problematic assumptions, Equations (4) and (5), which, for our special situation, are easily seen to reduce to (cf. Table 1 and Table 2): Conservation of energy in the S frame implies that 0 .

E E E L
Conservation of energy in the S ' frame implies 0 2 2 2 2 2 2 1 1 1  (15) and (16) together with this equation we obtain: which is a special case of Einstein's second to last equation adapted to our situation of 0 π annihilation. (For us 1 0 K = , since there is no particle after the decay and thus no K 1 (kinetic energy of the particle after the decay)).
Einstein obtains energy-mass equivalence out of his second to last equation by using the non-relativistic approximation for kinetic energy and equating it to the lowest order term in a Maclaurin expansion of the right hand side this equation in powers of 2 2 v c . Adapted to our case for which 1 0 K = , this gives out of where the dots mean terms of higher order in v c than 2 2 v c .
This for our case is simply the statement that Since conservation of energy is always a true statement we are permitted to add this to the antecedent of the italicized statement to obtain the equivalent statement: If we can demonstrate that the converse statement is also true, namely that 2 "The mass of a body is a measure of its energy-content; if the energy changes by L, the mass changes in the same sense by L/9 × 10 20 , the energy being measured in ergs, and the mass in grammes." Advances in Historical Studies This to order 2 2 v c reads Now use conservation of energy in S which is 0 E L = to get Finally use which is exactly what we need to show in order to demonstrate circular reasoning, since this equation is just a rewriting of the antecedent in the above converse statement, namely: to order 2 2 v c where K 0 is the kinetic energy of the pion in S '.

The Role of Momentum Conservation in Eliminating Einstein's Circular Reasoning Error
We now show how assuming momentum conservation in S ' together with momentum of radiation 3 which is (Halliday, Resnick, & Walker, 2011) where E γ is the energy of a photon of momentum p γ remedies the above difficulties in Einstein's paper. Let p + and p − be the magnitudes of the momenta of the the two photons of the previous section in "fore" and "back" directions, respectively. According to Equation (27) we have 1 2 L is the energy of each photon in the frame S. Since the pion is at rest in the reference frame S, momentum conservation in S reduces to: which implies from Equation (27) that E E + − = , an assumption which Einstein made at the outset of his analysis, but did not provide any justification for it.
Without using momentum conservation, we are not allowed to assert 3 Max Abraham, one of the most important figures in creation of classical electromagnetic theory and a very influential physicist at the time Einstein wrote his paper, attributes momentum of radiation, Equation (27), to the paper (Poincaré, 1900) i.e. to Poincaré. (Abraham, 1902;Abraham, 1903) Janssen and Mecklenburg, in Ref. (Janssen & Mecklenburg, 2006) It violates the relativity principle: just as either of the two twins in the twin paradox (Schild, 1959) has the right to insist that he is at rest and it is the other twin who is in motion, so also here, an observer in S ' has just as much right to assert that E E + − ′ ′ = as does an observer in S has the right to assert that E E + − = . Momentum conservation, however, eliminates the second possibility, since, in S the total momentum before the pion decay is zero and so it must also be zero afterwards, which implies p p + − = . Then, as before, using Equation (27) to relate momentum and energy, it follows that E E Conservation of momentum in the S ' frame gives out of Equation (14) and momentum of radiation, i.e. Equation (27): The difference between the two is that is an unjustified "ad hoc" assumption made by Einstein. In our case Equation (29) is not an "ad hoc" assumption subject to dispute; rather it comes directly from momentum conservation, a law of physics, unambiguous as to its meaning and interpretation. This means that the arguments presented here in this section do not fall victim to circular reasoning. Momentum conservation falls into the category of one of n postulates of Fadner's theorem (Fadner, 1988), which theorem we do not dispute.
Einstein's assumptions (our Equations (4) and (5) Einstein's has no right to interpret K 0 as the relativistic kinetic energy of a particle of inertial mass m, but rather only the relativistic kinetic energy of a particle associated with some mass, possibly different than m, unless, of course, he assumes that which he wants to prove, or invokes additional considerations involving momentum and conservation of momentum.

Conclusion
Rohrlich's analysis, which is based on momentum conservation, shows Einstein's assumptions, in addition to being problematic, are unnecessary. Rohrlich uses only the relativity principle, the conservation laws of energy and momentum, the Doppler effect and Poincaré's momentum of radiation to obtain 2 E mc = .
Without the presupposition of momentum conservation, Einstein's argument, using only the relativity principle, conservation of energy and properties of radiation, to get at mass-energy equivalence is flawed. It suffers from the error of circular reasoning. It is clearly not the way to proceed. Rather, one should also make use of the other conservation law which we typically make use of for studying collision and emission processes, i.e. that of momentum conservation.
There is no need for Einstein's problematic assumptions and there is no reason why Einstein could not have made use of momentum conservation in his paper, given that Poincaré had introduced momentum of radiation already in 1900, and that Einstein was most probably aware of it at the time he wrote his first papers on relativity (Martinez, 2009).
Stachel and Torretti (Stachel & Torretti, 1982) (and also Fadner (Fadner, 1988)) take it for granted that Einstein implicitly used momentum conservation; for they write in their paper that the body in its rest frame "loses energy but not momentum" (Stachel & Torretti, 1982). Using momentum conservation one is led to a unique interpretation of K 0 as the kinetic energy of a particle of mass m, in which case the basis on which the Ives objection rests is no longer true. This is why they can contend that "the paper (Einstein's) was basically sound" (Stachel & Torretti, 1982). In other words, they corrected Einstein's oversight by sneaking the premise of momentum conservation into Einstein's argument, so that they could get around the Ives criticism.
However, all three authors are silent as to what might have led Einstein to implicitly assume momentum conservation, nor do they explain how he could have made implicit use of momentum conservation even though Einstein never made any mention whatsoever of momentum considerations in his paper. Such would mean that he would have had to attributed momentum to radiation, a concept explained by Poincaré five years earlier (Poincaré 1900), (Abraham, 1902), (Abraham, 1903), (Janssen & Mecklenburg, 2006) and far from trivial at the begin-Advances in Historical Studies ning of the twentieth century.