Jump to content

Special relativity: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
revert to DVdm's last version to remove erroneous edits by an IP
Undid revision by JRSpriggs. (See Talk:Special relativity. Let's not engage in revert war until consensus, please.)
Tag: blanking
Line 1: Line 1:
{{For|history and motivation|History of special relativity}}
{{seeintro}}
{{seeintro}}
[[File:Albert Einstein 1979 USSR Stamp.jpg|thumb|250px|USSR postage stamp dedicated to Albert Einstein]]
[[File:Albert Einstein 1979 USSR Stamp.jpg|thumb|250px|USSR postage stamp dedicated to Albert Einstein]]


'''Special relativity (SR)''' (also known as the '''special theory of relativity''') is a [[physical theory]] of measurement in [[inertial frames of reference]] proposed by [[Albert Einstein]] and others.
'''Special relativity (SR)''' (also known as the '''special theory of relativity''' or '''STR''') is the [[physical theory]] of measurement in [[inertial frames of reference]] proposed in 1905 by [[Albert Einstein]] (after the considerable and independent contributions of [[Hendrik Lorentz]], [[Henri Poincaré]] and others) in the paper "[[Annus Mirabilis Papers#Special relativity|On the Electrodynamics of Moving Bodies]]".<ref name=electro>[[Albert Einstein]] (1905) "[http://www.pro-physik.de/Phy/pdfs/ger_890_921.pdf Zur Elektrodynamik bewegter Körper]", ''Annalen der Physik'' 17: 891; English translation [http://www.fourmilab.ch/etexts/einstein/specrel/www/ On the Electrodynamics of Moving Bodies] by [[George Barker Jeffery]] and Wilfrid Perrett (1923); Another English translation [[s:On the Electrodynamics of Moving Bodies (1920 edition)|On the Electrodynamics of Moving Bodies]] by [[Megh Nad Saha]] (1920).</ref> It generalizes [[Galilean invariance|Galileo's principle of relativity]]–that all [[Inertial frame of reference|uniform motion]] is relative, and that there is no absolute and well-defined state of rest (no [[Preferred frame|privileged reference frames]])–from [[mechanics]] to all the [[laws of physics]], including both the laws of mechanics and of [[electrodynamics]], whatever they may be.<ref name=Rindler0>{{cite book |title=Essential Relativity |author= Wolfgang Rindler |page= §1,11 p. 7 |url=http://books.google.com/books?id=0J_dwCmQThgC&pg=PT148 |isbn=354007970X |publisher=Birkhäuser |year=1977 }}</ref> Special relativity incorporates the principle that the [[speed of light]] is the same for all inertial [[observer (special relativity)|observers]] regardless of the state of motion of the source.<ref>{{cite book|title=Spacetime Physics: Introduction to Special Relativity|year=1992|publisher=W. H. Freeman|isbn=0-7167-2327-1|author=Edwin F. Taylor and John Archibald Wheeler}}</ref>
Starting from simple yet far-reaching postulates, the theory derives the [[Lorentz transformation]] and its sometimes counterintuitive conclusions regarding the observer-dependence of certain quantities, such as speed, distance, and the time interval. Experiments have extensively vindicated the theory, and it forms the basis of many other successful physical theories such as [[quantum field theory|relativistic quantum field theory]] and [[general relativity]].


The theory incorporates two postulates, namely [[Galilean invariance]] and the universality of the [[speed of light]]. The first postulate, Galilean invariance, states that the [[laws of physics]] do not single out a [[Preferred frame|privileged inertial reference frame]]; hence any convenient inertial frame may be used to describe a physical process, and any description of nature must remain agnostic of the specific inertial frame used.<ref name=Rindler0>{{cite book |title=Essential Relativity |author= Wolfgang Rindler |page= §1,11 p. 7 |url=http://books.google.com/books?id=0J_dwCmQThgC&pg=PT148 |isbn=354007970X |publisher=Birkhäuser |year=1977 }}</ref> According to the second postulate, the speed of light is privileged: any inertial observer measures this quantity to be the same.<ref>{{cite book|title=Spacetime Physics: Introduction to Special Relativity|year=1992|publisher=W. H. Freeman|isbn=0-7167-2327-1|author=Edwin F. Taylor and John Archibald Wheeler}}</ref> This postulate contradicts the previously held theory ([[Galilean transformation]]) that all speeds depend on the observer. This postulate is motivated by the fact that [[classical electrodynamics|electrodynamics]] predicts a certain value of the speed of light, despite not referencing any particular reference frame (in accordance with Galileo's principle). Einstein took this to mean that, rather than abandoning Galilean relativity, one must modify the [[Galilean transformation]] to take account of this.
This theory has a wide range of consequences which have been experimentally verified,<ref>{{cite web | url = http://www.edu-observatory.org/physics-faq/Relativity/SR/experiments.html | title = What is the experimental basis of Special Relativity? | accessdate = 2008-09-17 | author = Tom Roberts and Siegmar Schleif | year = 2007 | month = October | work = Usenet Physics FAQ}}</ref> including counter-intuitive ones such as [[length contraction]], [[time dilation]] and [[relativity of simultaneity]], contradicting the classical notion that the duration of the time interval between two events is equal for all observers. (On the other hand, it introduces the [[space-time interval]], which ''is'' invariant.) Combined with other laws of physics, the two postulates of special relativity predict the equivalence of [[matter]] and [[energy]], as expressed in the [[mass-energy equivalence]] formula ''E''&nbsp;=&nbsp;''mc''<sup>2</sup>, where ''c'' is the [[speed of light]] in a vacuum.<ref name=relativity>{{cite book |author=Albert Einstein |title=Relativity: The Special and the General Theory |page= 48 |url=http://books.google.com/books?id=idb7wJiB6SsC&pg=PA50 |isbn=0415253845 |publisher=Routledge |year=2001 |edition=Reprint of 1920 translation by Robert W. Lawson }}</ref><ref name=Feynman>{{cite book |title=Six Not-so-easy Pieces: Einstein's relativity, symmetry, and space-time |author=Richard Phillips Feynman |page= 68 |url=http://books.google.com/books?id=ipY8onVQWhcC&pg=PA68 |isbn=0201328429 |publisher=Basic Books |edition=Reprint of 1995 |year=1998}}</ref> The predictions of special relativity agree well with Newtonian mechanics in their common realm of applicability, specifically in experiments in which all velocities are small compared to the speed of light. Special relativity reveals that ''c'' is not just the velocity of a certain phenomenon—namely the propagation of [[electromagnetic radiation]] (light)—but rather a fundamental feature of the way space and time are unified as [[spacetime]]. One of the consequences of the theory is that it is impossible for any particle that has [[rest mass]] to be accelerated to the speed of light.


These two postulates have far-ranging consequences, which experiments have verified extensively.
The theory is termed "special" because it applies the [[principle of relativity]] only to [[inertial frames of reference|frames in uniform relative motion]].<ref>[http://www.marxists.org/reference/archive/einstein/works/1910s/relative/ch18.htm Albert Einstein, Relativity - The Special and General Theory, chapter 18]</ref> Einstein developed [[general relativity]] to apply the principle more generally, that is, to any frame so as to handle [[General covariance|general coordinate transformations]], and that theory includes the effects of [[gravity]]. From the theory of general relativity it follows that special relativity will still apply locally (i.e., to [[Orders of approximation|first order]]) to observers moving on arbitrary [[World line|trajectories]]<ref>[[Charles W. Misner]], [[Kip S. Thorne]] & [[John A. Wheeler]],''Gravitation'', pg 172, 6.6 ''The local coordinate system of an accelerated observer'', ISBN 0716703440</ref>, and hence to any relativistic situation where gravity is not a significant factor.
Starting from these postulates, one can derive what modifications [[Galilean transformation]] needs to be consistent with the postulates. The resulting transformation is the [[Lorentz transformation]]. According to this, spatial and temporal coordinates must be mixed (somewhat analogously to rotation) when converting from one inertial frame to another. Hence it is inconvenient to consider space and time separately; one considers the two to be aspects of a combined entity, [[spacetime]]. It follows that certain quantities that pertain to space or time alone are not invariant, that is, different observers may observe these quantities to have different values. These quantities include [[length contraction|length]], [[time dilation|time intervals]], [[speed]], and even the notion of [[relativity of simultaneity|simultaneity]]: one observer may observe an event to precede another, while another observer may observe a different order of the events.
Special relativity also predicts a [[Mass–energy equivalence|relation]] between [[mass]] and [[energy]], namely that the mass of an object equals its energy as observed by an observer moving along with the body.<ref name=relativity>{{cite book |author=Albert Einstein |title=Relativity: The Special and the General Theory |page= 48 |url=http://books.google.com/books?id=idb7wJiB6SsC&pg=PA50 |isbn=0415253845 |publisher=Routledge |year=2001 |edition=Reprint of 1920 translation by Robert W. Lawson }}</ref><ref name=Feynman>{{cite book |title=Six Not-so-easy Pieces: Einstein's relativity, symmetry, and space-time |author=Richard Phillips Feynman |page= 68 |url=http://books.google.com/books?id=ipY8onVQWhcC&pg=PA68 |isbn=0201328429 |publisher=Basic Books |edition=Reprint of 1995 |year=1998}}</ref> The well-known equation ''E''=''mc''² summarizes this prediction.
Experiments have verified the wide-ranging predictions of special relativity to an extraordinary precision.<ref>{{cite web | url = http://www.edu-observatory.org/physics-faq/Relativity/SR/experiments.html | title = What is the experimental basis of Special Relativity? | accessdate = 2008-09-17 | author = Tom Roberts and Siegmar Schleif | year = 2007 | month = October | work = Usenet Physics FAQ}}</ref>

Special relativity supersedes and corrects the older theory, Newtonian mechanics (including the Galilean transformation), in the realm where bodies have speeds comparable to the speed of light. When all bodies have speeds far smaller than the speed of light (as in most everyday phenomena), Newtonian mechanics remains valid, and special relativity agrees with Newtonian mechanics.

The word ''special'' in the name of the theory means that the [[principle of relativity]] applies only to [[inertial frames of reference|inertial observers]].<ref>[http://www.marxists.org/reference/archive/einstein/works/1910s/relative/ch18.htm Albert Einstein, Relativity - The Special and General Theory, chapter 18]</ref>
When one considers [[gravitation]] as well, one may apply the [[principle of relativity]] to any observer, including accelerating ones. This forms the basis of [[general relativity]], a later theory also due to Einstein. According to general relativity, locally inertial frames exist at every point in spacetime, even in the presence of gravitation.<ref>[[Charles W. Misner]], [[Kip S. Thorne]] & [[John A. Wheeler]],''Gravitation'', pg 172, 6.6 ''The local coordinate system of an accelerated observer'', ISBN 0716703440</ref> In these frames special relativity remains valid up to [[Orders of approximation|first order]]. When gravity is weak, higher-order effects are negligible.


== Postulates ==
== Postulates ==
Line 18: Line 26:
It should be noted that the derivation of special relativity depends not only on these two explicit postulates, but also on several tacit assumptions (which are made in almost all theories of physics), including the [[isotropy]] and [[homogeneity (physics)|homogeneity]] of space and the independence of measuring rods and clocks from their past history.<ref>Einstein, "Fundamental Ideas and Methods of the Theory of Relativity", 1920)</ref>
It should be noted that the derivation of special relativity depends not only on these two explicit postulates, but also on several tacit assumptions (which are made in almost all theories of physics), including the [[isotropy]] and [[homogeneity (physics)|homogeneity]] of space and the independence of measuring rods and clocks from their past history.<ref>Einstein, "Fundamental Ideas and Methods of the Theory of Relativity", 1920)</ref>


Following Einstein's original presentation of special relativity in 1905, many different sets of postulates have been proposed in various alternative derivations.<ref>For a survey of such derivations, see Lucas and Hodgson, Spacetime and Electromagnetism, 1990</ref> However, the most common set of postulates remains those employed by Einstein in his original paper. A more mathematical statement of the Principle of Relativity made later by Einstein, which introduces the concept of simplicity not mentioned above is:
Following Einstein's original presentation of special relativity, <ref name=electro>[[Albert Einstein]] (1905) "[http://www.pro-physik.de/Phy/pdfs/ger_890_921.pdf Zur Elektrodynamik bewegter Körper]", ''Annalen der Physik'' 17: 891; English translation [http://www.fourmilab.ch/etexts/einstein/specrel/www/ On the Electrodynamics of Moving Bodies] by [[George Barker Jeffery]] and Wilfrid Perrett (1923); Another English translation [[s:On the Electrodynamics of Moving Bodies (1920 edition)|On the Electrodynamics of Moving Bodies]] by [[Megh Nad Saha]] (1920).</ref>, many different sets of postulates have been proposed in various alternative derivations.<ref>For a survey of such derivations, see Lucas and Hodgson, Spacetime and Electromagnetism, 1990</ref> However, the most common set of postulates remains those employed by Einstein in his original paper. A more mathematical statement of the Principle of Relativity made later by Einstein, which introduces the concept of simplicity not mentioned above is:
{{quote|''Special principle of relativity'': If a system of coordinates K is chosen so that, in relation to it, physical laws hold good in their simplest form, the ''same'' laws hold good in relation to any other system of coordinates K' moving in uniform translation relatively to K.<ref name=Einstein>{{cite book |title=The Principle of Relativity: a collection of original memoirs on the special and general theory of relativity |author=Einstein, A., Lorentz, H. A., Minkowski, H., & Weyl, H. |page=111 |url=http://books.google.com/books?id=yECokhzsJYIC&pg=PA111
{{quote|''Special principle of relativity'': If a system of coordinates K is chosen so that, in relation to it, physical laws hold good in their simplest form, the ''same'' laws hold good in relation to any other system of coordinates K' moving in uniform translation relatively to K.<ref name=Einstein>{{cite book |title=The Principle of Relativity: a collection of original memoirs on the special and general theory of relativity |author=Einstein, A., Lorentz, H. A., Minkowski, H., & Weyl, H. |page=111 |url=http://books.google.com/books?id=yECokhzsJYIC&pg=PA111
|isbn=0486600815 |publisher=Courier Dover Publications |year=1952 }}</ref><!--Albert Einstein: ''The foundation of the general theory of relativity'', Section A, §1 -->}}
|isbn=0486600815 |publisher=Courier Dover Publications |year=1952 }}</ref><!--Albert Einstein: ''The foundation of the general theory of relativity'', Section A, §1 -->}}
Line 36: Line 44:


In addition to the papers referenced above&mdash;which give derivations of the Lorentz transformation and describe the foundations of special relativity&mdash;Einstein also wrote at least four papers giving heuristic arguments for the equivalence (and transmutability) of mass and energy, for ''E'' = ''mc''<sup>2</sup>.
In addition to the papers referenced above&mdash;which give derivations of the Lorentz transformation and describe the foundations of special relativity&mdash;Einstein also wrote at least four papers giving heuristic arguments for the equivalence (and transmutability) of mass and energy, for ''E'' = ''mc''<sup>2</sup>.
In his 1905 paper, Einstein used, besides his two principal postulates, the additional principles that Newtonian mechanics should hold for slow velocities, so that there is one energy scalar and one three-vector momentum at slow velocities, and that the conservation law for energy and momentum is exactly true in relativity. Furthermore, he assumed that the energy/momentum of light transforms like the energy/momentum of massless particles, which was known to be true from Maxwell's equations.<ref name=Rindler>{{cite book |author=Wolfgang Rindler |page=79 |title= Essential Relativity: Special, general and cosmological |url=http://books.google.com/books?id=0J_dwCmQThgC |year=1977 |isbn=354007970X |publisher=Birkhäuser}} </ref> The first of Einstein's papers on this subject was "Does the Inertia of a Body Depend upon its Energy Content?" in 1905.<ref name=inertia>[http://www.fourmilab.ch/etexts/einstein/E_mc2/www/ Does the inertia of a body depend upon its energy content?] A. Einstein, ''Annalen der Physik.'' '''18''':639, 1905 (English translation by W. Perrett and G.B. Jeffery)</ref> Although Einstein's argument in this paper is nearly universally accepted by physicists as correct, even self-evident, many authors over the years have suggested that it is wrong.<ref name=Jammer>{{cite book |title=Concepts of Mass in Classical and Modern Physics |author=Max Jammer |page=177–178 |url=http://books.google.com/books?id=lYvz0_8aGsMC&pg=PA177 |isbn=0486299988 |publisher=Courier Dover Publications |year=1997 }}</ref> Other authors suggest that the argument was merely inconclusive because it relied on some implicit assumptions.<ref name= Stachel>{{cite book |title=Einstein from ''B'' to ''Z'' |page= 221 |author=John J. Stachel |url=http://books.google.com/books?id=OAsQ_hFjhrAC&pg=PA215 |isbn=0817641432 |publisher=Springer |year=2002}}</ref>

Mass-energy equivalence is a consequence of special relativity. The energy and momentum, which are separate in Newtonian mechanics, form a [[four-vector]] in relativity, and this relates the time component (the energy) to the space components (the momentum) in a nontrivial way. For an object at rest, the energy-momentum four-vector is (''E'', 0, 0, 0): it has a time component which is the energy, and three space components which are zero. By changing frames with a Lorentz transformation in the x direction with a small value of the velocity v, the energy momentum four-vector becomes (''E'', ''Ev''/''c''<sup>2</sup>, 0, 0). The momentum is equal to the energy divided by ''c''<sup>2</sup> times the velocity. So the newtonian mass of an object, which is the ratio of the momentum to the velocity for slow velocities, is equal to ''E''/''c''<sup>2</sup>.

The energy and momentum are properties of matter, and it is impossible to deduce that they form a four-vector just from the two basic postulates of special relativity by themselves, because these don't talk about matter, they only talk about space and time. The derivation therefore requires some additional physical reasoning. In his 1905 paper, Einstein used the additional principles that Newtonian mechanics should hold for slow velocities, so that there is one energy scalar and one three-vector momentum at slow velocities, and that the conservation law for energy and momentum is exactly true in relativity. Furthermore, he assumed that the energy/momentum of light transforms like the energy/momentum of massless particles, which was known to be true from Maxwell's equations.<ref name=Rindler>{{cite book |author=Wolfgang Rindler |page=79 |title= Essential Relativity: Special, general and cosmological |url=http://books.google.com/books?id=0J_dwCmQThgC |year=1977 |isbn=354007970X |publisher=Birkhäuser}} </ref> The first of Einstein's papers on this subject was "Does the Inertia of a Body Depend upon its Energy Content?" in 1905.<ref name=inertia>[http://www.fourmilab.ch/etexts/einstein/E_mc2/www/ Does the inertia of a body depend upon its energy content?] A. Einstein, ''Annalen der Physik.'' '''18''':639, 1905 (English translation by W. Perrett and G.B. Jeffery)</ref> Although Einstein's argument in this paper is nearly universally accepted by physicists as correct, even self-evident, many authors over the years have suggested that it is wrong.<ref name=Jammer>{{cite book |title=Concepts of Mass in Classical and Modern Physics |author=Max Jammer |page=177–178 |url=http://books.google.com/books?id=lYvz0_8aGsMC&pg=PA177 |isbn=0486299988 |publisher=Courier Dover Publications |year=1997 }}</ref> Other authors suggest that the argument was merely inconclusive because it relied on some implicit assumptions.<ref name= Stachel>{{cite book |title=Einstein from ''B'' to ''Z'' |page= 221 |author=John J. Stachel |url=http://books.google.com/books?id=OAsQ_hFjhrAC&pg=PA215 |isbn=0817641432 |publisher=Springer |year=2002}}</ref>


Einstein acknowledged the controversy over his derivation in his 1907 survey paper on special relativity. There he notes that it is problematic to rely on Maxwell's equations for the heuristic mass-energy argument. The argument in his 1905 paper can be carried out with the emission of any massless particles, but the Maxwell equations are implicitly used to make it obvious that the emission of light in particular can be achieved only by doing work. To emit electromagnetic waves, all you have to do is shake a charged particle, and this is clearly doing work, so that the emission is of energy.<ref name=survey>[http://www.geocities.com/physics_world/abstracts/Einstein_1907A_abstract.htm ''On the Inertia of Energy Required by the Relativity Principle''], A. Einstein, Annalen der Physik 23 (1907): 371-384</ref><ref>In a letter to Carl Seelig in 1955, Einstein wrote "I had already previously found that Maxwell's theory did not account for the micro-structure of radiation and could therefore have no general validity.", Einstein letter to Carl Seelig, 1955.</ref>
Einstein acknowledged the controversy over his derivation in his 1907 survey paper on special relativity. There he notes that it is problematic to rely on Maxwell's equations for the heuristic mass-energy argument. The argument in his 1905 paper can be carried out with the emission of any massless particles, but the Maxwell equations are implicitly used to make it obvious that the emission of light in particular can be achieved only by doing work. To emit electromagnetic waves, all you have to do is shake a charged particle, and this is clearly doing work, so that the emission is of energy.<ref name=survey>[http://www.geocities.com/physics_world/abstracts/Einstein_1907A_abstract.htm ''On the Inertia of Energy Required by the Relativity Principle''], A. Einstein, Annalen der Physik 23 (1907): 371-384</ref><ref>In a letter to Carl Seelig in 1955, Einstein wrote "I had already previously found that Maxwell's theory did not account for the micro-structure of radiation and could therefore have no general validity.", Einstein letter to Carl Seelig, 1955.</ref>


== Lack of an absolute reference frame ==
== Status of special relativity ==
=== Predictions ===
{{Unreferenced section|date=August 2009}}
The [[principle of relativity]], which states that there is no preferred [[inertial reference frame]], dates back to [[Galileo Galilei|Galileo]], and was incorporated into Newtonian Physics. However, in the late 19<sup>th</sup> century, the existence of [[electromagnetic radiation|electromagnetic waves]] led physicists to suggest that the universe was filled with a substance known as "[[Luminiferous aether|aether]]", which would act as the medium through which these waves, or vibrations travelled. The aether was thought to constitute an absolute reference frame against which speeds could be measured. In other words, the aether was the only fixed or motionless thing in the universe. Aether supposedly had some wonderful properties: it was sufficiently elastic that it could support electromagnetic waves, and those waves could interact with matter, yet it offered no resistance to bodies passing through it. The results of various experiments, including the [[Michelson-Morley experiment]], indicated that the Earth was always 'stationary' relative to the aether–something that was difficult to explain, since the Earth is in orbit around the Sun. Einstein's solution was to discard the notion of an aether and an absolute state of rest. Special relativity is formulated so as to not assume that any particular frame of reference is special; rather, in relativity, any reference frame moving with uniform motion will observe the same laws of physics. In particular, the speed of light in a vacuum is always measured to be ''c'', even when measured by multiple systems that are moving at different (but constant) velocities.

== Consequences ==
{{Main|Consequences of special relativity}}
{{Main|Consequences of special relativity}}


From the [[Lorentz transformation]], a number of interesting effects regarding non-invariant physical quantities emerge. The non-invariance means that different observers observe dilated or contracted quantities relative to other observers. These effects include:
Einstein has said that all of the consequences of special relativity can be derived from examination of the [[Lorentz transformations]].{{Citation needed|date=June 2009}}

These transformations, and hence special relativity, lead to different physical predictions than Newtonian mechanics when relative velocities become comparable to the speed of light. The speed of light is so much larger than anything humans encounter that some of the effects
predicted by relativity are initially counter-intuitive:
* '''[[Time dilation]]''' – the time lapse between two events is not invariant from one observer to another, but is dependent on the relative speeds of the observers' reference frames (e.g., the [[twin paradox]] which concerns a twin who flies off in a spaceship traveling near the speed of light and returns to discover that his or her twin sibling has aged much more).
* '''[[Time dilation]]''' – the time lapse between two events is not invariant from one observer to another, but is dependent on the relative speeds of the observers' reference frames (e.g., the [[twin paradox]] which concerns a twin who flies off in a spaceship traveling near the speed of light and returns to discover that his or her twin sibling has aged much more).
* '''[[Relativity of simultaneity]]''' – two events happening in two different locations that occur simultaneously in the reference frame of one inertial observer, may occur non-simultaneously in the reference frame of another inertial observer (lack of [[absolute simultaneity]]).
* '''[[Relativity of simultaneity]]''' – the time coordinate changes during a Lorentz boost, in constrast to the Galilean transformation. This means two events that appear simultaneous in one inertial frame appear non-simultaneous (have different time coordinates) in another. In particular, this means [[action at a distance]], which crucially relies on simultaneity, is impossible.
* '''[[Lorentz contraction]]''' – the dimensions (e.g., length) of an object as measured by one observer may be smaller than the results of measurements of the same object made by another observer (e.g., the [[ladder paradox]] involves a long ladder traveling near the speed of light and being contained within a smaller garage).
* '''[[Lorentz contraction]]''' – the dimensions (e.g., length) of an object as measured by one observer may be smaller than the results of measurements of the same object made by another observer (e.g., the [[ladder paradox]] involves a long ladder traveling near the speed of light and being contained within a smaller garage).
* '''[[Velocity-addition formula|Composition of velocities]]''' – velocities (and speeds) do not simply 'add', for example if a rocket is moving at {{frac|2|3}} the speed of light relative to an observer, and the rocket fires a missile at {{frac|2|3}} of the speed of light relative to the rocket, the missile does not exceed the speed of light relative to the observer. (In this example, the observer would see the missile travel with a speed of {{frac|12|13}} the speed of light.)
* '''[[Velocity-addition formula|Composition of velocities]]''' – velocities (and speeds) do not simply 'add', for example if a rocket is moving at {{frac|2|3}} the speed of light relative to an observer, and the rocket fires a missile at {{frac|2|3}} of the speed of light relative to the rocket, the missile does not exceed the speed of light relative to the observer. (In this example, the observer would see the missile travel with a speed of {{frac|12|13}} the speed of light.)
{{main|Mass-energy equivalence}}
* '''[[Inertia]] and [[Momentum#Momentum in relativistic mechanics|momentum]]''' – as an object's speed approaches the speed of light from an observer's point of view, its mass appears to increase thereby making it more and more difficult to accelerate it from within the observer's frame of reference.
* '''[[Energy]] and [[Momentum#Momentum in relativistic mechanics|momentum]]''' – in light of the Lorentz transformation, the nonrelativistic formulas for energy and momentum need to be modified and combined into a covariant [[four-momentum]]. In particular, this implies a relation between [[energy]] and (rest) mass: the mass of a system equals its energy in the centre-of-momentum frame, often summarized as ''E''=''mc''².
* '''Equivalence of [[mass]] and [[energy]], [[mass-energy equivalence|''E''&nbsp;=&nbsp;''mc''<sup>2</sup>]]''' – The energy content of an object at rest with mass ''m'' equals ''mc''<sup>2</sup>. Conservation of energy implies that in any reaction a decrease of the sum of the masses of particles must be accompanied by an increase in kinetic energies of the particles after the reaction. Similarly, the mass of an object can be increased by taking in kinetic energies.{{Citation needed|June|date=September 2009|date=June 2009}}
* [[Causality]]
A Lorentz transformation cannot change a timelike four-vector to a spacelike or null one. In other words, a slower-than-light object must remain slower than light. (Likewise a faster-than-light object, known as a [[tachyon]], must remain faster than light; these, however, are theorized not to exist.) Lightlike objects remain at the speed of light. This means that no material object may send signals superluminally (faster than light). It is less obvious, but nevertheless true, that other methods that do not involve sending a particle cannot enable superluminal transmission of information. This is known as [[causality]].


{{See also|Causality|Tachyonic antitelephone}}
== Reference frames, coordinates and the Lorentz transformation ==


=== Domain of validity ===

Special relativity is accurate only when the absolute value of the [[gravitational potential]] is much less than ''c''<sup>2</sup>, that is, when spacetime is nearly flat. In a strong gravitational field, one must use [[general relativity]]. General relativity reduces to special relativity in the weak-field limit. Near the [[Planck length]], quantum effects come into play, and one must take [[quantum gravity]] into consideration. Some quantum gravity theories, in fact, predict Lorentz violation at very small scales.

In the limit of small speeds (or equivalently in the limit <math>c\to\infty</math>), special relativity reduces to Newtonian mechanics. Most objects in everyday experience do not travel at relativistic speeds; hence relativistic effects are not especially notable, and nonrelativistic mechanics suffices.

Special relativity exhibits mathematical self-consistency. It is an integral part of modern physical theories, such as [[quantum field theory]] and [[general relativity]] (in the limiting case of negligible gravitational fields).

=== Experimental confirmation ===

{{Main|Status of special relativity}}

Prior to Einstein's 1905 paper, several experiments had been conducted which, in retrospect, support special relativity. (Of these, Einstein was only aware of the Fizeau experiment before 1905.)
* The [[Trouton–Noble experiment]] showed that the torque on a capacitor is independent of position and inertial reference frame.
* The [[Michelson-Morley experiment]] further supported the impossibility of detection of an absolute reference velocity.(Contrary to some claims, it said little about the invariance of the speed of light with respect to the source and observer's velocity, as both source and observer travelled together at the same velocity at all times.)
* The [[Fizeau experiment]] measured the speed of light in moving media, confirming the relativistic addition of colinear velocities.

Subsequently, a number of experiments have tested special relativity against rival theories. These include:
* [[Walter Kaufmann (physicist)|Kaufmann-Bucherer-Neumann]] experiments – electron deflection in approximate agreement with Lorentz-Einstein prediction.
* [[Kennedy–Thorndike experiment]] – time dilation in accordance with Lorentz transformations
* [[Rossi-Hall experiment]] – relativistic effects on a fast-moving particle's half-life
* Experiments to test [[emitter theory]] demonstrated that the speed of light is independent of the speed of the emitter.
* [[Hammar experiment]] – no "aether flow obstruction"

Today, special relativity is experimentally tested to extremely high degree of accuracy (10<sup>−20</sup>)<ref>The number of works is vast; see as example:<br/>
Sidney Coleman, Sheldon L. Glashow, ''Cosmic Ray and Neutrino Tests of Special Relativity'', Phys. Lett. B405 (1997) 249-252, [http://arxiv.org/abs/hep-ph/9703240 online]<br/>
An overview can be found on [http://www.edu-observatory.org/physics-faq/Relativity/SR/experiments.html this page]</ref>
and thus accepted by the physics community. Experimental results which appear to contradict it are not reproducible and are thus widely believed to be due to experimental errors.
In addition, particle accelerators routinely accelerate and measure the properties of particles moving at near the speed of light; the observed behaviour is completely consistent with special relativity and inconsistent with [[Newtonian mechanics]]. These machines would simply not work if they were not engineered according to relativistic principles.

== Relativistic kinematics ==
=== Spacetime ===
{{Main|Minkowski space}}
Special relativity adopts a flat 4-dimensional Euclidean [[spacetime]] equipped with a non-positive-definite [[metric]], known as [[Minkowski space]].
An event is an idealized occurrence that is localized in spacetime, such that it can be labelled with coordinates in some reference frame. In other words, it is a point in spacetime.
The position of an event in spacetime is given by a [[contravariant]] [[four vector]] whose components are:

:<math>x^\nu=\left(ct, x, y, z\right)</math>

where <math>x^1 = x</math> and <math>x^2 = y</math> and <math>x^3 = z</math> as usual. We define <math>x^0 = ct</math> so that the time coordinate has the same dimension of distance as the other spatial dimensions; in accordance with the general principle that space and time are treated equally, so far as possible.<ref>Jean-Bernard Zuber & Claude Itzykson, ''Quantum Field Theory'', pg 5 , ISBN 0070320713</ref><ref>[[Charles W. Misner]], [[Kip S. Thorne]] & [[John A. Wheeler]],''Gravitation'', pg 51, ISBN 0716703440</ref><ref>George Sterman, ''An Introduction to Quantum Field Theory'', pg 4 , ISBN 0521311322</ref> Superscripts are contravariant indices in this section rather than exponents except when they indicate a square. Subscripts are [[covariant]] indices which also range from zero to three as with the spacetime gradient of a field φ:

:<math>\partial_0 \phi = \frac{1}{c}\frac{\partial \phi}{\partial t}, \quad \partial_1 \phi = \frac{\partial \phi}{\partial x}, \quad \partial_2 \phi = \frac{\partial \phi}{\partial y}, \quad \partial_3 \phi = \frac{\partial \phi}{\partial z}.</math>

A reference frame is an observational perspective in space at rest, or in uniform motion, from which a position can be measured along 3 spatial axes and the from which the time coordinate of events can be measured using a 'clock' (any reference device with uniform periodicity).

The Minkowski metric, ''η'', given in components (valid in any [[inertial reference frame]]) as:

:<math>\eta_{\alpha\beta} = \begin{pmatrix}
-1 & 0 & 0 & 0\\
0 & 1 & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1
\end{pmatrix}</math>

which is equal to its reciprocal, <math>\eta^{\alpha\beta}</math>, in those frames. (Note that we may adopt another [[sign convention]], with all signs flipped. Both conventions are common; here we shall adopt the former.)

===Lorentz transformation===
{{Main|Lorentz transformation}}
{{Main|Lorentz transformation}}


Line 67: Line 127:
In this animation, the vertical direction indicates time and the horizontal direction indicates distance, the dashed line is the spacetime trajectory ("world line") of the observer. The lower quarter of the diagram shows the events that are visible to the observer, and the upper quarter shows the [[light cone]]- those that will be able to see the observer. The small dots are arbitrary events in spacetime.
In this animation, the vertical direction indicates time and the horizontal direction indicates distance, the dashed line is the spacetime trajectory ("world line") of the observer. The lower quarter of the diagram shows the events that are visible to the observer, and the upper quarter shows the [[light cone]]- those that will be able to see the observer. The small dots are arbitrary events in spacetime.
The slope of the world line (deviation from being vertical) gives the relative velocity to the observer. Note how the view of spacetime changes when the observer accelerates.]]
The slope of the world line (deviation from being vertical) gives the relative velocity to the observer. Note how the view of spacetime changes when the observer accelerates.]]
Relativity theory depends on "[[Frame of reference|reference frame]]s". The term reference frame as used here is an observational perspective in space at rest, or in uniform motion, from which a position can be measured along 3 spatial axes. In addition, a reference frame has the ability to determine measurements of the time of events using a 'clock' (any reference device with uniform periodicity).


An event is an occurrence that can be assigned a single unique time and location in space relative to a reference frame: it is a "point" in [[Spacetime|space-time]]. Since the speed of light is constant in relativity in each and every reference frame, pulses of light can be used to unambiguously measure distances and refer back the times that events occurred to the clock, even though light takes time to reach the clock after the event has transpired. <!-- could do with a diagram of this -->


Coordinate transformations between inertial reference frames are given by the [[Lorentz transformation]] [[tensor]] Λ. For the special case of motion along the ''x''-axis, we have:
For example, the explosion of a firecracker may be considered to be an "event". We can completely specify an event by its four space-time coordinates: The time of occurrence and its 3-dimensional spatial location define a reference point. Let's call this reference frame ''S''.


:<math>\Lambda^{\mu'}{}_\nu = \begin{pmatrix}
In relativity theory we often want to calculate the position of a point from a different reference point.
\gamma & -\beta\gamma & 0 & 0\\
-\beta\gamma & \gamma & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1
\end{pmatrix}</math>


which is simply the matrix of a boost (like a rotation) between the ''x'' and ''ct'' coordinates. Where μ' indicates the row and ν indicates the column. Also, ''β'' and ''γ'' are defined as:
Suppose we have a second reference frame ''S′'', whose spatial axes and clock exactly coincide with that of ''S'' at time zero, but it is moving at a constant velocity ''v'' with respect to ''S'' along the ''x''-axis.


:<math>\beta = \frac{v}{c},\ \gamma = \frac{1}{\sqrt{1-\beta^2}}.</math>
Since there is no absolute reference frame in relativity theory, a concept of 'moving' doesn't strictly exist, as everything is always moving with respect to some other reference frame. Instead, any two frames that move at the same speed in the same direction are said to be ''comoving''. Therefore ''S'' and ''S''′ are not ''comoving''.


More generally, a transformation from one inertial frame (ignoring translations for simplicity) to another must satisfy:
Let's define the [[Spacetime#Basic concepts|event]] to have space-time coordinates (''t'',''x'',''y'',''z'') in system ''S'' and (''t′'',''x′'',''y′'',''z′'') in ''S′''. Then the [[Lorentz transformation]] specifies that these coordinates are related in the following way:
: <math>\begin{align}
t' &= \gamma (t - vx/c^2) \\
x' &= \gamma (x - v t) \\
y' &= y \\
z' &= z ,
\end{align}</math>
where
:<math>\gamma = \frac{1}{\sqrt{1 - \frac{v^2}{c^2}}}</math>
is the [[Lorentz factor]] and ''c'' is the [[speed of light]] in a vacuum.


:<math>\eta_{\alpha\beta} = \eta_{\mu'\nu'} \Lambda^{\mu'}{}_\alpha \Lambda^{\nu'}{}_\beta \!</math>
The ''y'' and ''z'' coordinates are unaffected; only the ''x'' and ''t'' axes transformed. These Lorentz transformations form a [[one-parameter group]] of [[linear mapping]]s, that parameter being called [[rapidity]].


where there is an implied summation of <math>\mu' \!</math> and <math>\nu' \!</math> from 0 to 3 on the right-hand side in accordance with the [[Einstein notation|Einstein summation convention]]. The [[Poincaré group]] is the most general group of transformations which preserves the [[Minkowski metric]] and this is the physical symmetry underlying special relativity.
A quantity invariant under [[Lorentz transformations]] is known as a [[Lorentz scalar]].


All proper physical quantities are given by tensors. So to transform from one frame to another, we use the well-known [[Tensor|tensor transformation law]]
The Lorentz transformation given above is for the particular case in which the velocity ''v'' of ''S′'' with respect to S is parallel to the ''x''-axis. We now give the Lorentz transformation in the general case. Suppose the velocity of ''S''′ with respect to ''S'' is '''v'''. Denote the space-time coordinates of an event in ''S'' by (''t'','''r''') (instead of (''t'',''x'',''y'',''z'')). Then the coordinates (''t′'','''r'''′) of this event in ''S′'' are given by:


:<math>T^{\left[i_1',i_2',\dots,i_p'\right]}_{\left[j_1',j_2',\dots,j_q'\right]} =
:<math> \left ( \begin{array}{l} t' \\ \mathbf{r}' \end{array} \right ) =\gamma(\mathbf{v}) \left ( \begin{array}{ll}1 & -\mathbf{v}^T/c^2 \\ -\mathbf{v} & P_{\mathbf{v}}+\alpha_{\mathbf{v}}(I-P_{\mathbf{v}}) \end{array} \right ) \left ( \begin{array}{l} t \\ \mathbf{r} \end{array} \right ), </math>
\Lambda^{i_1'}{}_{i_1}\Lambda^{i_2'}{}_{i_2}\cdots\Lambda^{i_p'}{}_{i_p}
\Lambda_{j_1'}{}^{j_1}\Lambda_{j_2'}{}^{j_2}\cdots\Lambda_{j_q'}{}^{j_q}
T^{\left[i_1,i_2,\dots,i_p\right]}_{\left[j_1,j_2,\dots,j_q\right]}</math>


Where <math>\Lambda_{j_k'}{}^{j_k} \!</math> is the reciprocal matrix of <math>\Lambda^{j_k'}{}_{j_k} \!</math>.
where '''v'''<sup>''T''</sup> denotes the transpose of '''v''', {{nowrap|''α''('''v''') {{=}} 1/''γ''('''v''')}}, and ''P''('''v''') denotes the projection onto the direction of '''v'''.


To see how this is useful, we transform the position of an event from an unprimed coordinate system ''S'' to a primed system ''S''', we calculate
== Simultaneity ==
[[Image:Relativity of Simultaneity.svg|thumb|Event B is simultaneous with A in the green reference frame, but it occurred before in the blue frame, and will occur later in the red frame.]]
{{Main|Relativity of simultaneity}}
From the first equation of the Lorentz transformation in terms of coordinate differences


:<math>
: <math>\Delta t' = \gamma \left(\Delta t - \frac{v \,\Delta x}{c^{2}} \right)</math>
\begin{pmatrix}
ct'\\ x'\\ y'\\ z'
\end{pmatrix} = x^{\mu'}=\Lambda^{\mu'}{}_\nu x^\nu=
\begin{pmatrix}
\gamma & -\beta\gamma & 0 & 0\\
-\beta\gamma & \gamma & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1
\end{pmatrix}
\begin{pmatrix}
ct\\ x\\ y\\ z
\end{pmatrix} =
\begin{pmatrix}
\gamma ct- \gamma\beta x\\
\gamma x - \beta \gamma ct \\ y\\ z
\end{pmatrix}
</math>


which is the Lorentz transformation given above. All tensors transform by the same rule.
it is clear that two events that are simultaneous in frame ''S'' (satisfying {{nowrap|Δ''t'' {{=}} 0}}), are not necessarily simultaneous in another inertial frame ''S′'' (satisfying {{nowrap|Δ''t′'' {{=}} 0}}). Only if these events are colocal in frame ''S'' (satisfying {{nowrap|Δ''x'' {{=}} 0}}), will they be simultaneous in another frame ''S′''.


The squared length of the differential of the position four-vector <math>dx^\mu \!</math> constructed using
== Time dilation and length contraction ==
{{See also|Twin paradox}}
Writing the Lorentz transformation and its inverse in terms of coordinate differences we get


:<math>\mathbf{dx}^2 = \eta_{\mu\nu}\,dx^\mu \,dx^\nu = -(c \cdot dt)^2+(dx)^2+(dy)^2+(dz)^2\,</math>
:<math>\begin{cases}
\Delta t' = \gamma \left(\Delta t - \frac{v \,\Delta x}{c^{2}} \right) \\
\Delta x' = \gamma (\Delta x - v \,\Delta t)\,
\end{cases}</math>
and
:<math>\begin{cases}
\Delta t = \gamma \left(\Delta t' + \frac{v \,\Delta x'}{c^{2}} \right) \\
\Delta x = \gamma (\Delta x' + v \,\Delta t')\,
\end{cases}</math>


is an invariant. Being invariant means that it takes the same value in all inertial frames, because it is a scalar (0 rank tensor), and so no Λ appears in its trivial transformation. Notice that when the [[line element]] <math>\mathbf{dx}^2</math> is negative that <math>d\tau=\sqrt{-\mathbf{dx}^2} / c</math> is the differential of [[proper time]], while when <math>\mathbf{dx}^2</math> is positive, <math>\sqrt{\mathbf{dx}^2}</math> is differential of the [[proper distance]].
Suppose we have a [[clock]] at rest in the unprimed system S. Two consecutive ticks of this clock are then characterized by '''<math>\Delta x = 0</math>'''. If we want to know the relation between the times between these ticks as measured in both systems, we can use the first equation and find:
: <math>\Delta t' = \gamma\, \Delta t \qquad ( \,</math> for events satisfying <math>\Delta x = 0 )\,</math>
This shows that the time <math>\Delta t'</math> between the two ticks as seen in the 'moving' frame S' is larger than the time <math>\Delta t</math> between these ticks as measured in the rest frame of the clock. This phenomenon is called [[time dilation]]. Time dilation explains a number of physical phenomena; for example, the decay rate of [[muon]]s produced by cosmic rays impinging on the Earth's atmosphere.<ref>{{cite book|last1=Kleppner|first1=Daniel|last2=Kolenkow|first2=David|title=An Introduction to Mechanics|year=1973|pages=468&ndash;70}}</ref>


Similarly, suppose we have a [[measuring rod]] at rest in the unprimed system. In this system, the length of this rod is written as <math>\Delta x</math>. If we want to find the length of this rod as measured in the 'moving' system S', we must make sure to measure the distances <math>x'</math> to the end points of the rod simultaneously in the primed frame S'. In other words, the measurement is characterized by '''<math>\Delta t' = 0</math>''', which we can combine with the fourth equation to find the relation between the lengths <math>\Delta x</math> and <math>\Delta x'</math>:
: <math>\Delta x' = \frac{\Delta x}{\gamma} \qquad ( \,</math> for events satisfying <math>\Delta t' = 0 )\,</math>
This shows that the length <math>\Delta x'</math> of the rod as measured in the 'moving' frame S' is shorter than the length <math>\Delta x</math> in its own rest frame. This phenomenon is called ''[[length contraction]]'' or ''Lorentz contraction''.


The Lorentz transformations (spatial [[rotation]] and [[Lorentz boost]]) form a group, known as the [[Lorentz group]]. This, combined with spatiotemporal translation, forms the [[Poincaré group]].
These effects are not merely appearances; they are explicitly related to our way of measuring ''time intervals'' between events which occur at the same place in a given coordinate system (called "co-local" events). These time intervals will be ''different'' in another coordinate system moving with respect to the first, unless the events are also simultaneous. Similarly, these effects also relate to our measured distances between separated but simultaneous events in a given coordinate system of choice. If these events are not co-local, but are separated by distance (space), they will ''not'' occur at the same ''spatial distance'' from each other when seen from another moving coordinate system. However, the [[space-time interval]] will be the same for all observers. The underlying reality remains the same. Only our perspective changes.


The primary value of expressing the equations of physics in a tensor form is that they are then manifestly invariant under the Poincaré group, so that we do not have to do a special and tedious calculation to check that fact. Also in constructing such equations we often find that equations previously thought to be unrelated are, in fact, closely connected being part of the same tensor equation.
== Causality and prohibition of motion faster than light==
{{See also|Causality|Tachyonic antitelephone}}
[[Image:light cone.svg|thumb|Diagram 2. Light cone]]In diagram 2 the interval AB is 'time-like'; ''i.e.'', there is a frame of reference in which events A and B occur at the same location in space, separated only by occurring at different times. If A precedes B in that frame, then A precedes B in all frames. It is hypothetically possible for matter (or information) to travel from A to B, so there can be a causal relationship (with A the cause and B the effect).


The interval AC in the diagram is 'space-like'; ''i.e.'', there is a frame of reference in which events A and C occur simultaneously, separated only in space. However there are also frames in which A precedes C (as shown) and frames in which C precedes A. If it were possible for a cause-and-effect relationship to exist between events A and C, then paradoxes of causality would result. For example, if A was the cause, and C the effect, then there would be frames of reference in which the effect preceded the cause. Although this in itself won't give rise to a paradox, one can show<ref>R. C. Tolman, ''The theory of the Relativity of Motion'', (Berkeley 1917), p. 54 </ref><ref>G. A. Benford, D. L. Book, and W. A. Newcomb,
''The Tachyonic Antitelephone'', Phys. Rev. D '''2''', 263&ndash;265 (1970) [http://link.aps.org/abstract/PRD/v2/p263 article]</ref> that faster than light signals can be sent back into one's own past. A causal paradox can then be constructed by sending the signal if and only if no signal was received previously.


==== Light cone ====
Therefore, one of the consequences of special relativity is that (assuming [[causality]] is to be preserved), no information or material object can travel [[faster than light]]. On the other hand, the logical situation is not as clear in the case of general relativity, so it is an open question whether there is some [[Chronology protection conjecture|fundamental principle]] that preserves causality (and therefore prevents motion faster than light) in general relativity.
In two spatial dimensions, the [[null geodesic|null]] [[geodesic]]s (<math>ds^2=0</math>) lie on double cone:


:[[Image:sr1.svg]]
Even without considerations of causality, there are other strong reasons why faster-than-light travel is forbidden by special relativity. For example, if a constant force is applied to an object for a limitless amount of time, then integrating ''F''&nbsp;=&nbsp;''dp''/''dt'' gives a momentum that grows without bound, but this is simply because <math>p = m \gamma v \,</math> approaches [[infinity]] as ''v'' approaches ''c''. To an observer who is not accelerating, it appears as though the object's inertia is increasing, so as to produce a smaller acceleration in response to the same force. This behavior is in fact observed in [[particle accelerators]].
<!-- a pair of diagrams, with x-t and x'-t' coordinates would help here -->


By analogy, the null geodesics in three spatial dimensions form a 4-dimensional hypercone:
==Composition of velocities==
{{Main|Velocity-addition formula}}


:[[Image:sr3.jpg]]
If the observer in <var>S</var> sees an object moving along the <var>x</var> axis at velocity <var>w</var>, then the observer in the <var>S'</var> system, a frame of reference moving at velocity <var>v</var> in the <var>x</var> direction with respect to <var>S</var>, will see the object moving with velocity <var>w'</var> where


This cone represents the "line of sight" of a point in space: the past half is the region of spacetime at which a given observer receives signals from the past, whereas the future half is the region of spacetime occupied by lightlike signals sent from the observer. For example, the starlight one observes at a given moment (ignoring atmospheric aberrations, etc.) lie on this cone. These cones are known as [[light cone|light cones]].
:<math>w'=\frac{w-v}{1-wv/c^2}.</math>


:[[Image:Sr1.svg]]
This equation can be derived from the space and time transformations above.


A [[Minkowski diagram]] visually depicts the geometry of Minkowski space; these are useful when reasoning about special relativity.
:<math>w'=\frac{dx'}{dt'}=\frac{\gamma(dx-v dt)}{\gamma(dt-v dx/c^2)}=\frac{(dx/dt)-v}{1-(v/c^2)(dx/dt)}</math>


Notice that if the object were moving at the speed of light in the <var>S</var> system (i.e. <math>w=c</math>), then it would also be moving at the speed of light in the <var>S'</var> system. Also, if both <var>w</var> and <var>v</var> are small with respect to the speed of light, we will recover the intuitive Galilean transformation of velocities: <math>w' \approx w-v</math>.


===Velocity and acceleration===
The usual example given is that of a train (call it system <math>K</math>) travelling due east with a velocity <math>v</math> with respect to the tracks (system <math>K'</math>). A child inside the train throws a baseball due east with a velocity <math>u</math> with respect to the train. In classical physics, an observer at rest on the tracks will measure the velocity of the baseball as <math>v+u</math>.
Recognising other physical quantities as tensors also simplifies their transformation laws. First note that the [[four-velocity|velocity four-vector]] ''U''<sup>μ</sup> is given by


:<math>U^\mu = \frac{dx^\mu}{d\tau} = \begin{pmatrix} \gamma c \\ \gamma v_x \\ \gamma v_y \\ \gamma v_z \end{pmatrix}</math>
In special relativity, this is no longer true. Instead, an observer on the tracks will measure the velocity of the baseball as <math>\frac{v+u}{1+\frac{vu}{c^2}}</math>. If <math>u</math> and <math>v</math> are small compared to <math>c</math>, then the above expression approaches the classical sum <math>v+u</math>.


Recognising this, we can turn the awkward looking law about composition of velocities into a simple statement about transforming the velocity four-vector of one particle from one frame to another. ''U''<sup>μ</sup> also has an invariant form:
In the more general case, the baseball is not necessarily travelling in the same direction as the train. To obtain the general formula for Einstein velocity addition, suppose an observer at rest in system <math>K</math> measures the velocity of an object as <math>\mathbf{u}</math>. Let <math>K'</math> be an inertial system such that the relative velocity of <math>K</math> to <math>K'</math> is <math>\mathbf{v}</math>, where <math>\mathbf{u}</math> and <math>\mathbf{v}</math> are now vectors in <math>R^3</math>. An observer at rest in <math>K'</math> will then measure the velocity of the object as <ref name="Friedman" />


:<math>\mathbf{v} \oplus_E \mathbf{u}=\frac{\mathbf{v}+\mathbf{u}_{\parallel} + \alpha_{\mathbf{v}}\mathbf{u}_{\perp}}{1+\frac{\mathbf{v}\cdot\mathbf{u}}{c^2}},</math>
:<math>{\mathbf U}^2 = \eta_{\nu\mu} U^\nu U^\mu = -c^2 .</math>


So all velocity four-vectors have a magnitude of ''c''. This is an expression of the fact that there is no such thing as being at coordinate rest in relativity: at the least, you are always moving forward through time. The [[four-acceleration|acceleration 4-vector]] is given by <math>A^\mu = d{\mathbf U^\mu}/d\tau</math>. Given this, differentiating the above equation by ''τ'' produces
where <math>\mathbf{u}_{\parallel}</math> and <math>\mathbf{u}_{\perp}</math> are the components of <math>\mathbf{u}</math> parallel and perpendicular, respectively, to <math>\mathbf{v}</math>, and <math>\alpha_{\mathbf{v}}=\frac{1}{\gamma(\mathbf{v})}=\sqrt{1-\frac{|\mathbf{v}|^2}{c^2}}</math>.


:<math>2\eta_{\mu\nu}A^\mu U^\nu = 0. \!</math>
Einstein velocity addition is commutative ''only'' when <math>\mathbf{v}</math> and <math>\mathbf{u}</math> are ''parallel''. In fact,


So in relativity, the acceleration four-vector and the velocity four-vector are orthogonal.
:<math>\mathbf{v} \oplus \mathbf{u}=gyr[\mathbf{v},\mathbf{u}](\mathbf{u} \oplus \mathbf{v}),</math>
,where ''gyr'' is the mathematical abstraction of [[Thomas precession]] into an operator called Thomas gyration and given by
:<math>gyr[\mathbf{u},\mathbf{v}]\mathbf{w}=\ominus(\mathbf{u} \oplus \mathbf{v}) \oplus (\mathbf{u} \oplus (\mathbf{v} \oplus \mathbf{w}))</math>
for all '''w'''.


The ''gyr'' operator forms the foundation of [[gyrovector space]]s.<ref name=Ungar>A.A. Ungar, ''Beyond the Einstein Addition Law and its Gyroscopic Thomas Precession: The Theory of Gyrogroups and Gyrovector Spaces'', Kluwer, 2002.</ref><ref name="Ungar"/>


== Relativistic dynamics ==
Einstein's addition of colinear velocites is consistent with the [[Fizeau experiment]] which determined the speed of light in a fluid moving parallel to the light, but no experiment has ever tested the formula for the general case of non-parallel velocities.

== Relativistic mechanics ==
{{further|[[Mass in special relativity]] and [[Conservation of energy]]}}
{{further|[[Mass in special relativity]] and [[Conservation of energy]]}}


As defined in nonrelativistic mechanics, the momentum and energy depend on the velocity, which is not Lorentz-invariant. To generalize these quantities, one must modify them with relativistic corrections. There are two general approaches: one is to add [[Lorentz factor|Lorentz factors]] to preserve Newtonian formulas, such as '''F'''=''m'''''a'''. Another is to construct Lorentz-covariant quantities, such as four-vectors, from non-covariant quantities.
In addition to modifying notions of space and time, special relativity forces one to reconsider the concepts of [[mass]], [[momentum]], and [[energy]], all of which are important constructs in [[Newtonian mechanics]]. Special relativity shows, in fact, that these concepts are all different aspects of the same physical quantity in much the same way that it shows space and time to be interrelated.
An example of the former approach is the [[relativistic mass]]. For example, in special relativity, the conserved momentum must be modified as
:<math>
\mathbf p=m\frac{d(\gamma\mathbf x)}{dt} = \gamma^3m\frac{d\mathbf x_\parallel}{dt} + \gamma m\frac{d\mathbf x_\perp}{dt}.
</math>
where ''m'' denotes the invariant (rest) mass and where <math>\mathbf x_\parallel</math> and <math>\mathbf x_\perp</math> denote transverse and longitudinal parts of the position respectively. To preserve the nonrelativistic equation '''p'''=''m'''''v''', one defines the so-called transverse (or relativistic) and longitudinal masses <math>m_\perp=\gamma m</math> and <math>m_\parallel=\gamma^3m</math>; one may conceive of this as a non-isotropic mass. These quantities are not Lorentz-invarant scalars.<ref>{{cite web | url = http://math.ucr.edu/home/baez/physics/Relativity/SR/mass.html | title = What is relativistic mass? | accessdate = 2008-09-19 | author = Philip Gibbs, Jim Carr and Don Koks | year = 2008 | work = Usenet Physics FAQ}} Note that in 2008 the last editor, Don Koks, rewrote a significant portion of the page, changing it from a view extremely dismissive of the usefulness of relativistic mass to one which hardly questions it. The previous version was: {{cite web | url = http://math.ucr.edu/home/baez/physics/Relativity/SR/mass.html | title = Does mass change with speed? | author = Philip Gibbs and Jim Carr | year = 1998 | work = Usenet Physics FAQ | archiveurl = http://web.archive.org/web/20070630144936/http://math.ucr.edu/home/baez/physics/Relativity/SR/mass.html | archivedate = 2007-06-30}}</ref>
In this article we shall use ''mass'' to refer to the rest mass, clarifying where necessary.


Alternatively, we may take the covariant route. By switching to the Lorentz-covariant proper-time derivative, we can absorb the Lorentz factor &gamma; differently:
There are a couple of (equivalent) ways to define momentum and energy in SR. One method uses [[conservation law]]s. If these laws are to remain valid in SR they must be true in every possible reference frame. However, if one does some simple [[thought experiment]]s using the Newtonian definitions of momentum and energy, one sees that these quantities are not conserved in SR. One can rescue the idea of conservation by making some small modifications to the definitions to account for relativistic velocities. It is these new definitions which are taken as the correct ones for momentum and energy in SR.
:<math>

\mathbf p=m\frac{d\mathbf x}{\mathrm d\tau}
The energy and momentum of an object with [[invariant mass]] ''m'' (also called ''rest mass'' in the case of a single particle), moving with [[velocity]] '''v''' with respect to a given frame of reference, are given by
:<math>\begin{array}{r l}
</math>
where &tau; denotes the [[proper time]].
E &= \gamma m c^2 \\
Likewise, the kinetic energy of a point particle is
\mathbf{p} &= \gamma m \mathbf{v}
\end{array}</math>
:<math>
E=\gamma mc^2.
respectively, where ''γ'' (the [[Lorentz factor]]) is given by
</math>
:<math>\gamma = \frac{1}{\sqrt{1 - (v/c)^2}}.</math>
Again using the same manoeuvre, we have
The quantity ''γm'' is often called the ''relativistic mass'' of the object in the given frame of reference,<ref>{{cite web | url = http://math.ucr.edu/home/baez/physics/Relativity/SR/mass.html | title = What is relativistic mass? | accessdate = 2008-09-19 | author = Philip Gibbs, Jim Carr and Don Koks | year = 2008 | work = Usenet Physics FAQ}} Note that in 2008 the last editor, Don Koks, rewrote a significant portion of the page, changing it from a view extremely dismissive of the usefulness of relativistic mass to one which hardly questions it. The previous version was: {{cite web | url = http://math.ucr.edu/home/baez/physics/Relativity/SR/mass.html | title = Does mass change with speed? | author = Philip Gibbs and Jim Carr | year = 1998 | work = Usenet Physics FAQ | archiveurl = http://web.archive.org/web/20070630144936/http://math.ucr.edu/home/baez/physics/Relativity/SR/mass.html | archivedate = 2007-06-30}}</ref>
:<math>
although recently this concept is falling in disuse, and [[Lev B. Okun]] suggested that "this terminology [...] has no rational justification today", and should no longer be taught.<ref>{{Citation | title = The Concept of Mass | author = Lev B. Okun | journal = Physics Today | date = July 1989 | pages = 31–36 | volume = 42 | issue = 6 | url = http://www.physicstoday.org/vol-42/iss-6/vol42no6p31_36.pdf| format = subscription required | doi = 10.1063/1.881171}}</ref>
E=mc^2\frac{dt}{d\tau}.
Other physicists, including [[Wolfgang Rindler]] and [[T. R. Sandin]], have argued that relativistic mass is a useful concept and there is little reason to stop using it.<ref>{{Citation | title = In defense of relativistic mass | author = T. R. Sandin | journal = American Journal of Physics | volume = 59 | issue = 11 | date = November 1991 | url = http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=AJPIAS000059000011001032000001&idtype=cvips&gifs=yes | format = subscription required | pages = 1032 | doi = 10.1119/1.16642}}</ref>
</math>
See [[Mass in special relativity]] for more information on this debate. Some authors use the symbol ''m'' to refer to relativistic mass, and the symbol ''m''<sub>0</sub> to refer to rest mass.<ref>See, for example: {{cite book |last=Feynman |first=Richard |authorlink=Richard Feynman |title=[[The Feynman Lectures on Physics#Six Not-So-Easy Pieces (1998)|Six Not-So-Easy Pieces]] |year=1998 |isbn=0-201-32842-9 |chapter=The special theory of relativity |publisher=Perseus Books |location=Cambridge, Mass.}}</ref>
Since ''t'' and '''x''' combine to form the four-position ''x<sup>&mu;</sup>'', it is clear that ''E'' and '''p''' combine to form the [[four-momentum]] ''p<sup>&mu;</sup>'':
:<math>
p^\mu=mc^2\frac{dx^\mu}{d\tau}.
</math>
Note that the four-momentum's magnitude is simply the mass. This quantity is constructed completely from Lorentz-invariant quantities; hence it is fully Lorentz-covariant.


=== Mass ===
The energy and momentum of an object with invariant mass ''m'' are related by the formulas
:<math>E^2 - (p c)^2 = (m c^2)^2 \,</math>
:<math>\mathbf{p} c^2 = E \mathbf{v} \,.</math>

The first is referred to as the ''relativistic energy-momentum equation''. While the energy ''E'' and the momentum '''p''' depend on the frame of reference in which they are measured, the quantity ''E''<sup>2</sup> − (''pc'')<sup>2</sup> is invariant, being equal to the squared invariant mass of the object ([[up to]] the multiplicative constant ''c''<sup>4</sup>).

It should be noted that the invariant mass of a system
:<math>m_\text{tot} = \frac {\sqrt{E_\text{tot}^2 - (p_\text{tot}c)^2}} {c^2}</math>
is ''greater'' than the sum of the rest masses of the particles it is composed of (unless they are all stationary with respect to the [[center of mass]] of the system, and hence to each other). The sum of rest masses is not even always conserved in [[closed system]]s, since rest mass may be converted to particles which individually have no mass, such as photons. Invariant mass, however, is conserved and invariant for all observers, so long as the system remains closed. This is due to the fact that even massless particles contribute invariant mass to systems, as also does the kinetic energy of particles. Thus, even under transformations of rest mass to photons or kinetic energy, the invariant mass of a system which contains these energies still reflects the invariant mass associated with them.

===Mass–energy equivalence===
{{Very long|section|date=June 2009}}
{{Very long|section|date=June 2009}}
{{Main|Mass–energy equivalence}}
{{Main|Mass–energy equivalence}}

(Rest) mass is not additive: the mass of a composite system in general differs from the sum of the masses of its constituents, since it incorporates, in addition to the rest masses of its constituents, the kinetic and potential energy as measured in the centre-of-momentum frame. Hence conservation of (rest) mass fails relativistically. For instance, an [[electron]] and a [[positron]], both massive, can annihilate into a pair of [[photon|photons]], which lack mass. The additive quantity is the four-momentum, that is, energy and momentum. Hence conservation of energy and momentum hold in special relativity. In addition, since the relativistic mass is simply the energy (times some constant factors), it is conserved as well.

For [[massless particle]]s, ''m'' is zero. The relativistic energy-momentum equation still holds, however, and by substituting ''m'' with 0, the relation ''E'' = ''pc'' is obtained; when substituted into ''Ev''&nbsp;=&nbsp;''c''<sup>2</sup>''p'', it gives ''v''&nbsp;=&nbsp;''c'': massless particles (such as [[photons]]) always travel at the speed of light.
For [[massless particle]]s, ''m'' is zero. The relativistic energy-momentum equation still holds, however, and by substituting ''m'' with 0, the relation ''E'' = ''pc'' is obtained; when substituted into ''Ev''&nbsp;=&nbsp;''c''<sup>2</sup>''p'', it gives ''v''&nbsp;=&nbsp;''c'': massless particles (such as [[photons]]) always travel at the speed of light.


A particle which has no rest mass (for example, a photon) can nevertheless contribute to the total invariant mass of a system, since some or all of its momentum is cancelled by another particle, causing a contribution to the system's invariant mass due to the photon's energy. For single photons this does not happen, since the energy and momentum terms exactly cancel.
A massless particle (for example, a photon) can nevertheless contribute to the total invariant mass of a system, since some or all of its momentum is cancelled by another particle, causing a contribution to the system's invariant mass due to the photon's energy. For single photons this does not happen, since the energy and momentum terms exactly cancel.


Looking at the above formula for invariant mass of a system, one sees that, when a single massive object is at rest ('''v''' = 0, '''p''' = 0), there is a non-zero mass remaining: ''m''<sub>rest</sub> = ''E''/''c''<sup>2</sup>.
Looking at the above formula for invariant mass of a system, one sees that, when a single massive object is at rest ('''v''' = 0, '''p''' = 0), there is a non-zero mass remaining: ''m''<sub>rest</sub> = ''E''/''c''<sup>2</sup>.
Line 231: Line 280:
Einstein was not referring to closed (isolated) systems in this remark, however. For, even in his 1905 paper, which first derived the relationship between mass and energy, Einstein showed that the energy of an object had to be increased for its invariant mass (rest mass) to increase. In such cases, the system is not closed (in Einstein's thought experiment, for example, a mass gives off two photons, which are lost).
Einstein was not referring to closed (isolated) systems in this remark, however. For, even in his 1905 paper, which first derived the relationship between mass and energy, Einstein showed that the energy of an object had to be increased for its invariant mass (rest mass) to increase. In such cases, the system is not closed (in Einstein's thought experiment, for example, a mass gives off two photons, which are lost).


====Closed (isolated) systems====
====Mass of closed (isolated) systems====
In a closed system (i.e., in the sense of a totally isolated system) the total energy, the total momentum, and hence the total invariant mass are conserved. Einstein's formula for change in mass translates to its simplest ΔE = mc<sup>2</sup> form, however, in non-closed systems in which energy, and thus invariant mass, is allowed to escape (for example, as heat and light). Einstein's equation shows that such systems must lose mass, in accordance with the above formula, in proportion to the energy they lose to the surroundings. Conversely, if one can measure the differences in mass between a system before it undergoes a reaction which releases heat and light, and the system after the reaction when heat and light have escaped, one can estimate the amount of energy which escapes the system. In both nuclear and chemical reactions, such energy represents the difference in binding energies of electrons in atoms (for chemistry) or between nucleons in nuclei (in atomic reactions). In both cases, the mass difference between reactants and (cooled) products measures the mass of heat and light which will escape the reaction, and thus (using the equation) give the equivalent energy of heat and light which may be emitted if the reaction proceeds.
In a closed system (i.e., in the sense of a totally isolated system) the total energy, the total momentum, and hence the total invariant mass are conserved. Einstein's formula for change in mass translates to its simplest ΔE = mc<sup>2</sup> form, however, in non-closed systems in which energy, and thus invariant mass, is allowed to escape (for example, as heat and light). Einstein's equation shows that such systems must lose mass, in accordance with the above formula, in proportion to the energy they lose to the surroundings. Conversely, if one can measure the differences in mass between a system before it undergoes a reaction which releases heat and light, and the system after the reaction when heat and light have escaped, one can estimate the amount of energy which escapes the system. In both nuclear and chemical reactions, such energy represents the difference in binding energies of electrons in atoms (for chemistry) or between nucleons in nuclei (in atomic reactions). In both cases, the mass difference between reactants and (cooled) products measures the mass of heat and light which will escape the reaction, and thus (using the equation) give the equivalent energy of heat and light which may be emitted if the reaction proceeds.


Line 243: Line 292:


=== Force ===
=== Force ===
==== Noncovariant force ====
In special relativity, Newton's second law does not hold in its form '''F''' = ''m'''''a''', but it does if it is expressed as
In special relativity, Newton's second law does not hold in its form '''F''' = ''m'''''a''', but it does if it is expressed as
:<math> \mathbf{F} = \frac{d\mathbf{p}}{dt} </math>
:<math> \mathbf{F} = \frac{d\mathbf{p}}{dt} </math>
Line 264: Line 314:
Consequently in some old texts, ''γ''<sup>3</sup>''m'' is referred to as the ''longitudinal mass'', and ''γm'' is referred to as the ''transverse mass'', which is the same as the [[relativistic mass]]. See [[mass in special relativity]].
Consequently in some old texts, ''γ''<sup>3</sup>''m'' is referred to as the ''longitudinal mass'', and ''γm'' is referred to as the ''transverse mass'', which is the same as the [[relativistic mass]]. See [[mass in special relativity]].


==== Four-force ====
For the [[four-force]], see [[special relativity#Force in 4D|below]].
To use [[Newton's third law of motion]], both forces must be defined as the rate of change of momentum with respect to the same time coordinate. That is, it requires the 3D force defined above. Unfortunately, there is no tensor in 4D which contains the components of the 3D force vector among its components.

If a particle is not traveling at ''c'', one can transform the 3D force from the particle's co-moving reference frame into the observer's reference frame. This yields a 4-vector called the [[four-force]]. It is the rate of change of the above energy momentum [[four-vector]] with respect to proper time. The covariant version of the four-force is:

:<math>F_\nu = \frac{d p_{\nu}}{d \tau} = \begin{pmatrix} -{d (E/c)}/{d \tau} \\ {d p_x}/{d \tau} \\ {d p_y}/{d \tau} \\ {d p_z}/{d \tau} \end{pmatrix}</math>

where <math>\tau \,</math> is the proper time.

In the rest frame of the object, the time component of the four force is zero unless the "[[invariant mass]]" of the object is changing (this requires a non-closed system in which energy/mass is being directly added or removed from the object) in which case it is the negative of that rate of change of mass, times ''c''. In general, though, the components of the four force are not equal to the components of the three-force, because the three force is defined by the rate of change of momentum with respect to coordinate time, i.e. <math>\frac{d p}{d t}</math> while the four force is defined by the rate of change of momentum with respect to proper time, i.e. <math> \frac{d p} {d \tau} </math>.

In a continuous medium, the 3D ''density of force'' combines with the ''density of power'' to form a covariant 4-vector. The spatial part is the result of dividing the force on a small cell (in 3-space) by the volume of that cell. The time component is &minus;1/''c'' times the power transferred to that cell divided by the volume of the cell. This will be used below in the section on electromagnetism.


===Kinetic energy===
===Kinetic energy===
Line 331: Line 392:
For velocities much smaller than that of light, one can neglect the terms with ''c''<sup>2</sup> and higher in the denominator. These formulas then reduce to the standard definitions of Newtonian [[kinetic energy]] and momentum. This is as it should be, for special relativity must agree with Newtonian mechanics at low velocities.
For velocities much smaller than that of light, one can neglect the terms with ''c''<sup>2</sup> and higher in the denominator. These formulas then reduce to the standard definitions of Newtonian [[kinetic energy]] and momentum. This is as it should be, for special relativity must agree with Newtonian mechanics at low velocities.


== Relativistic electrodynamics ==
== The geometry of space-time ==
{{Main|Minkowski space}}
SR uses a 'flat' 4-dimensional Minkowski space, which is an example of a [[space-time]]. This space, however, is very similar to the standard 3 dimensional [[Euclidean space]].

The [[differential (infinitesimal)|differential]] of distance (''ds'') in [[cartesian]] 3D space is defined as:

:<math> ds^2 = dx_1^2 + dx_2^2 + dx_3^2 </math>

where <math>(dx_1,dx_2,dx_3)</math> are the differentials of the three spatial dimensions. In the geometry of special relativity, a fourth dimension is added, derived from time, so that the equation for the differential of distance becomes:

:<math> ds^2 = dx_1^2 + dx_2^2 + dx_3^2 - c^2 dt^2 </math>.

If we wished to make the time coordinate look like the space coordinates, we could treat time as [[imaginary number|imaginary]]: ''x<sub>4</sub> = ict'' . In this case the above equation becomes symmetric:

:<math> ds^2 = dx_1^2 + dx_2^2 + dx_3^2 + dx_4^2 </math>.

This suggests what is in fact a profound theoretical insight as it shows that special relativity is simply a [[rotational symmetry]] of our [[space-time]], very similar to rotational symmetry of [[Euclidean space]].{{Citation needed|date=August 2009}} Just as Euclidean space uses a [[Euclidean metric]], so space-time uses a [[Minkowski metric]]. {{Anchor|interval}}Basically, SR can be stated in terms of the invariance of '''space-time interval''' (between any two events) as seen from any inertial reference frame. All equations and effects of special relativity can be derived from this rotational symmetry (the [[Poincaré group]]) of Minkowski space-time. According to Misner (1971 §2.3), ultimately the deeper understanding of both special and general relativity will come from the study of the Minkowski metric (described below) rather than a "disguised" Euclidean metric using ''ict'' as the time coordinate.

If we reduce the spatial dimensions to 2, so that we can represent the physics in a 3-D space

:<math> ds^2 = dx_1^2 + dx_2^2 - c^2 dt^2 </math>,

we see that the [[null geodesic|null]] [[geodesic]]s lie along a dual-cone:

:[[Image:sr1.svg]]

defined by the equation

:<math> ds^2 = 0 = dx_1^2 + dx_2^2 - c^2 dt^2 </math>

or simply

:<math> dx_1^2 + dx_2^2 = c^2 dt^2 </math>,

 which is the equation of a circle of radius ''c&thinsp;dt''.
If we extend this to three spatial dimensions, the null geodesics are the
4-dimensional cone:

:[[Image:sr3.jpg]]

:<math> ds^2 = 0 = dx_1^2 + dx_2^2 + dx_3^2 - c^2 dt^2 </math>

:<math> dx_1^2 + dx_2^2 + dx_3^2 = c^2 dt^2 </math>.

This null dual-cone represents the "line of sight" of a point in space. That is, when we look at the [[star]]s and say "The light from that star which I am receiving is X years old", we are looking down this line of sight: a null geodesic. We are looking at an event a distance <math>d = \sqrt{x_1^2+x_2^2+x_3^2} </math> away and a time ''d/c'' in the past. For this reason the null dual cone is also known as the 'light cone'. (The point in the lower left of the picture below represents the star, the origin represents the observer, and the line represents the null geodesic "line of sight".)

:[[Image:Sr1.svg]]

The cone in the ''-t'' region is the information that the point is 'receiving', while the cone in the ''+t'' section is the information that the point is 'sending'.

The geometry of Minkowski space can be depicted using [[Minkowski diagram]]s, which are useful also in understanding many of the thought-experiments in special relativity.

== Physics in spacetime ==
Here, we see how to write the equations of special relativity in a manifestly [[Lorentz covariance|Lorentz covariant]] form. The position of an event in spacetime is given by a [[contravariant]] [[four vector]] whose components are:

:<math>x^\nu=\left(ct, x, y, z\right)</math>

where <math>x^1 = x</math> and <math>x^2 = y</math> and <math>x^3 = z</math> as usual. We define <math>x^0 = ct</math> so that the time coordinate has the same dimension of distance as the other spatial dimensions; in accordance with the general principle that space and time are treated equally, so far as possible.<ref>Jean-Bernard Zuber & Claude Itzykson, ''Quantum Field Theory'', pg 5 , ISBN 0070320713</ref><ref>[[Charles W. Misner]], [[Kip S. Thorne]] & [[John A. Wheeler]],''Gravitation'', pg 51, ISBN 0716703440</ref><ref>George Sterman, ''An Introduction to Quantum Field Theory'', pg 4 , ISBN 0521311322</ref> Superscripts are contravariant indices in this section rather than exponents except when they indicate a square. Subscripts are [[covariant]] indices which also range from zero to three as with the spacetime gradient of a field φ:

:<math>\partial_0 \phi = \frac{1}{c}\frac{\partial \phi}{\partial t}, \quad \partial_1 \phi = \frac{\partial \phi}{\partial x}, \quad \partial_2 \phi = \frac{\partial \phi}{\partial y}, \quad \partial_3 \phi = \frac{\partial \phi}{\partial z}.</math>

===Metric and transformations of coordinates===
Having recognised the four-dimensional nature of spacetime, we are driven to employ the Minkowski metric, ''η'', given in components (valid in any [[inertial reference frame]]) as:

:<math>\eta_{\alpha\beta} = \begin{pmatrix}
-1 & 0 & 0 & 0\\
0 & 1 & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1
\end{pmatrix}</math>

which is equal to its reciprocal, <math>\eta^{\alpha\beta}</math>, in those frames.

Then we recognize that coordinate transformations between inertial reference frames are given by the [[Lorentz transformation]] [[tensor]] Λ. For the special case of motion along the ''x''-axis, we have:

:<math>\Lambda^{\mu'}{}_\nu = \begin{pmatrix}
\gamma & -\beta\gamma & 0 & 0\\
-\beta\gamma & \gamma & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1
\end{pmatrix}</math>

which is simply the matrix of a boost (like a rotation) between the ''x'' and ''ct'' coordinates. Where μ' indicates the row and ν indicates the column. Also, ''β'' and ''γ'' are defined as:

:<math>\beta = \frac{v}{c},\ \gamma = \frac{1}{\sqrt{1-\beta^2}}.</math>

More generally, a transformation from one inertial frame (ignoring translations for simplicity) to another must satisfy:

:<math>\eta_{\alpha\beta} = \eta_{\mu'\nu'} \Lambda^{\mu'}{}_\alpha \Lambda^{\nu'}{}_\beta \!</math>

where there is an implied summation of <math>\mu' \!</math> and <math>\nu' \!</math> from 0 to 3 on the right-hand side in accordance with the [[Einstein notation|Einstein summation convention]]. The [[Poincaré group]] is the most general group of transformations which preserves the [[Minkowski metric]] and this is the physical symmetry underlying special relativity.

All proper physical quantities are given by tensors. So to transform from one frame to another, we use the well-known [[Tensor|tensor transformation law]]

:<math>T^{\left[i_1',i_2',\dots,i_p'\right]}_{\left[j_1',j_2',\dots,j_q'\right]} =
\Lambda^{i_1'}{}_{i_1}\Lambda^{i_2'}{}_{i_2}\cdots\Lambda^{i_p'}{}_{i_p}
\Lambda_{j_1'}{}^{j_1}\Lambda_{j_2'}{}^{j_2}\cdots\Lambda_{j_q'}{}^{j_q}
T^{\left[i_1,i_2,\dots,i_p\right]}_{\left[j_1,j_2,\dots,j_q\right]}</math>

Where <math>\Lambda_{j_k'}{}^{j_k} \!</math> is the reciprocal matrix of <math>\Lambda^{j_k'}{}_{j_k} \!</math>.

To see how this is useful, we transform the position of an event from an unprimed coordinate system ''S'' to a primed system ''S''', we calculate

:<math>
\begin{pmatrix}
ct'\\ x'\\ y'\\ z'
\end{pmatrix} = x^{\mu'}=\Lambda^{\mu'}{}_\nu x^\nu=
\begin{pmatrix}
\gamma & -\beta\gamma & 0 & 0\\
-\beta\gamma & \gamma & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1
\end{pmatrix}
\begin{pmatrix}
ct\\ x\\ y\\ z
\end{pmatrix} =
\begin{pmatrix}
\gamma ct- \gamma\beta x\\
\gamma x - \beta \gamma ct \\ y\\ z
\end{pmatrix}
</math>

which is the Lorentz transformation given above. All tensors transform by the same rule.

The squared length of the differential of the position four-vector <math>dx^\mu \!</math> constructed using

:<math>\mathbf{dx}^2 = \eta_{\mu\nu}\,dx^\mu \,dx^\nu = -(c \cdot dt)^2+(dx)^2+(dy)^2+(dz)^2\,</math>

is an invariant. Being invariant means that it takes the same value in all inertial frames, because it is a scalar (0 rank tensor), and so no Λ appears in its trivial transformation. Notice that when the [[line element]] <math>\mathbf{dx}^2</math> is negative that <math>d\tau=\sqrt{-\mathbf{dx}^2} / c</math> is the differential of [[proper time]], while when <math>\mathbf{dx}^2</math> is positive, <math>\sqrt{\mathbf{dx}^2}</math> is differential of the [[proper distance]].

The primary value of expressing the equations of physics in a tensor form is that they are then manifestly invariant under the Poincaré group, so that we do not have to do a special and tedious calculation to check that fact. Also in constructing such equations we often find that equations previously thought to be unrelated are, in fact, closely connected being part of the same tensor equation.

===Velocity and acceleration in 4D===
Recognising other physical quantities as tensors also simplifies their transformation laws. First note that the [[four-velocity|velocity four-vector]] ''U''<sup>μ</sup> is given by

:<math>U^\mu = \frac{dx^\mu}{d\tau} = \begin{pmatrix} \gamma c \\ \gamma v_x \\ \gamma v_y \\ \gamma v_z \end{pmatrix}</math>

Recognising this, we can turn the awkward looking law about composition of velocities into a simple statement about transforming the velocity four-vector of one particle from one frame to another. ''U''<sup>μ</sup> also has an invariant form:

:<math>{\mathbf U}^2 = \eta_{\nu\mu} U^\nu U^\mu = -c^2 .</math>

So all velocity four-vectors have a magnitude of ''c''. This is an expression of the fact that there is no such thing as being at coordinate rest in relativity: at the least, you are always moving forward through time. The [[four-acceleration|acceleration 4-vector]] is given by <math>A^\mu = d{\mathbf U^\mu}/d\tau</math>. Given this, differentiating the above equation by ''τ'' produces

:<math>2\eta_{\mu\nu}A^\mu U^\nu = 0. \!</math>

So in relativity, the acceleration four-vector and the velocity four-vector are orthogonal.

===Momentum in 4D===
The momentum and energy combine into a covariant 4-vector:

:<math>p_\nu = m \cdot \eta_{\nu\mu} U^\mu = \begin{pmatrix}
-E/c \\ p_x\\ p_y\\ p_z\end{pmatrix}.</math>

where ''m'' is the [[invariant mass]].

The invariant magnitude of the [[four-momentum|momentum 4-vector]] is:

:<math>\mathbf{p}^2 = \eta^{\mu\nu}p_\mu p_\nu = -(E/c)^2 + p^2 .</math>

We can work out what this invariant is by first arguing that, since it is a scalar, it doesn't matter which reference frame we calculate it, and then by transforming to a frame where the total momentum is zero.

:<math>\mathbf{p}^2 = - (E_{rest}/c)^2 = - (m \cdot c)^2 .</math>

We see that the rest energy is an independent invariant. A rest energy can be calculated even for particles and systems in motion, by translating to a frame in which momentum is zero.

The rest energy is related to the mass according to the celebrated equation discussed above:

:<math>E_{rest} = m c^2\,</math>

Note that the mass of systems measured in their center of momentum frame (where total momentum is zero) is given by the total energy of the system in this frame. It may not be equal to the sum of individual system masses measured in other frames.

===Force in 4D===
To use [[Newton's third law of motion]], both forces must be defined as the rate of change of momentum with respect to the same time coordinate. That is, it requires the 3D force defined above. Unfortunately, there is no tensor in 4D which contains the components of the 3D force vector among its components.

If a particle is not traveling at ''c'', one can transform the 3D force from the particle's co-moving reference frame into the observer's reference frame. This yields a 4-vector called the [[four-force]]. It is the rate of change of the above energy momentum [[four-vector]] with respect to proper time. The covariant version of the four-force is:

:<math>F_\nu = \frac{d p_{\nu}}{d \tau} = \begin{pmatrix} -{d (E/c)}/{d \tau} \\ {d p_x}/{d \tau} \\ {d p_y}/{d \tau} \\ {d p_z}/{d \tau} \end{pmatrix}</math>

where <math>\tau \,</math> is the proper time.

In the rest frame of the object, the time component of the four force is zero unless the "[[invariant mass]]" of the object is changing (this requires a non-closed system in which energy/mass is being directly added or removed from the object) in which case it is the negative of that rate of change of mass, times ''c''. In general, though, the components of the four force are not equal to the components of the three-force, because the three force is defined by the rate of change of momentum with respect to coordinate time, i.e. <math>\frac{d p}{d t}</math> while the four force is defined by the rate of change of momentum with respect to proper time, i.e. <math> \frac{d p} {d \tau} </math>.

In a continuous medium, the 3D ''density of force'' combines with the ''density of power'' to form a covariant 4-vector. The spatial part is the result of dividing the force on a small cell (in 3-space) by the volume of that cell. The time component is &minus;1/''c'' times the power transferred to that cell divided by the volume of the cell. This will be used below in the section on electromagnetism.

== Relativity and unifying electromagnetism ==
{{Main|Classical electromagnetism and special relativity}}
{{Main|Classical electromagnetism and special relativity}}
Theoretical investigation in [[classical electromagnetism]] led to the discovery of wave propagation. Equations generalizing the electromagnetic effects found that finite propagation-speed of the E and B fields required certain behaviors on charged particles. The general study of moving charges forms the [[Liénard–Wiechert potential]], which is a step towards special relativity.
Theoretical investigation in [[classical electromagnetism]] led to the discovery of wave propagation. Equations generalizing the electromagnetic effects found that finite propagation-speed of the E and B fields required certain behaviors on charged particles. The general study of moving charges forms the [[Liénard–Wiechert potential]], which is a step towards special relativity.
Line 595: Line 472:
where <math>f_\mu \!</math> is again the density of the [[Lorentz force]]. This equation can be deduced from the equations above (with considerable effort).
where <math>f_\mu \!</math> is again the density of the [[Lorentz force]]. This equation can be deduced from the equations above (with considerable effort).


== Status ==
==History==
{{Main|Status of special relativity}}
{{main|History of special relativity}}


The [[principle of relativity]], which states that there is no preferred [[inertial reference frame]], dates back to [[Galileo Galilei|Galileo]], and was incorporated into Newtonian Physics.
Special relativity is accurate only when the absolute value of the [[gravitational potential]] is much less than ''c''<sup>2</sup>. In a strong gravitational field, one must use [[general relativity]]. General relativity becomes special relativity at the limit of weak field. At very small scales, such as at the [[Planck length]] and below, quantum effects must be taken into consideration resulting in [[quantum gravity]]. However, at macroscopic scales and in the absence of strong gravitational fields, special relativity is experimentally tested to extremely high degree of accuracy (10<sup>−20</sup>)<ref>The number of works is vast, see as example:<br/>
In the late 19<sup>th</sup> century, it was realized that Maxwell's equations predict a single value of the speed of electromagnetic waves; this was subsequently confirmed. This appeared to single outa preferred reference frame, contradicting Galilean relativity. This led physicists to suggest that the universe was filled with an entity called the [[Luminiferous aether|aether]], which would act as the medium through which these waves travelled. The aether was thought to constitute an absolute reference frame against which speeds could be measured. In order to be consistent with the observed universe, the aether was postulated by necessity to have some extraordinary properties: it was sufficiently elastic that it could support electromagnetic waves, and those waves could interact with matter, yet it offered very little resistance to bodies passing through it.
Sidney Coleman, Sheldon L. Glashow, ''Cosmic Ray and Neutrino Tests of Special Relativity'', Phys. Lett. B405 (1997) 249-252, [http://arxiv.org/abs/hep-ph/9703240 online]<br/>
An overview can be found on [http://www.edu-observatory.org/physics-faq/Relativity/SR/experiments.html this page]</ref>
and thus accepted by the physics community. Experimental results which appear to contradict it are not reproducible and are thus widely believed to be due to experimental errors.


Various experiments, including the [[Michelson-Morley experiment]], indicated that the Earth was always 'stationary' relative to the aether–something that was difficult to explain, since the Earth is in orbit around the Sun. Einstein's solution was to discard the notion of an aether and an absolute state of rest. Special relativity is formulated so as to not assume that any particular frame of reference is special; rather, in relativity, any reference frame moving with uniform motion will observe the same laws of physics. In particular, the speed of light in a vacuum is always measured to be ''c'', even when measured by multiple systems that are moving at different (but constant) velocities.
Special relativity is mathematically self-consistent, and it is an organic part of all modern physical theories, most notably [[quantum field theory]], [[string theory]], and general relativity (in the limiting case of negligible gravitational fields).

Newtonian mechanics mathematically follows from special relativity at small velocities (compared to the speed of light) — thus Newtonian mechanics can be considered as a special relativity of slow moving bodies. See [[Status of special relativity]] for a more detailed discussion.

Several experiments predating Einstein's 1905 paper are now interpreted as evidence for relativity. (Of these, Einstein was only aware of the Fizeau experiment before 1905.)
* The [[Trouton–Noble experiment]] showed that the torque on a capacitor is independent of position and inertial reference frame.
* The famous [[Michelson-Morley experiment]] gave further support to the postulate that detecting an absolute reference velocity was not achievable. It should be stated here that, contrary to many alternative claims, it said little about the invariance of the speed of light with respect to the source and observer's velocity, as both source and observer were travelling together at the same velocity at all times.
* The [[Fizeau experiment]] measured the speed of light in moving media, with results that are consistent with relativistic addition of colinear velocities.

A number of experiments have been conducted to test special relativity against rival theories. These include:
* [[Walter Kaufmann (physicist)|Kaufmann-Bucherer-Neumann]] experiments – electron deflection in approximate agreement with Lorentz-Einstein prediction.
* [[Kennedy–Thorndike experiment]] – time dilation in accordance with Lorentz transformations
* [[Rossi-Hall experiment]] – relativistic effects on a fast-moving particle's half-life
* Experiments to test [[emitter theory]] demonstrated that the speed of light is independent of the speed of the emitter.
* [[Hammar experiment]] – no "aether flow obstruction"


To explain the null result, [[Henri Poincaré]] and [[Hendrik Lorentz]] derived versions of what is now known as the [[Lorentz transformation]] on various assumptions, such as that the interatomic spacing was electromagnetic and therefore stretched or contracted according to Maxwell's equations.
In addition, particle accelerators routinely accelerate and measure the properties of particles moving at near the speed of light, where their behavior is completely consistent with relativity theory and inconsistent with the earlier [[Newtonian mechanics]]. These machines would simply not work if they were not engineered according to relativistic principles.
Einstein, in 1905, published his seminal paper on special relativity, where he demonstrated that the Lorentz transformation could be derived from simple postulates alone if one allows modifications of kinematics and dynamics.


==See also==
==See also==

Revision as of 21:23, 10 January 2010

USSR postage stamp dedicated to Albert Einstein

Special relativity (SR) (also known as the special theory of relativity) is a physical theory of measurement in inertial frames of reference proposed by Albert Einstein and others. Starting from simple yet far-reaching postulates, the theory derives the Lorentz transformation and its sometimes counterintuitive conclusions regarding the observer-dependence of certain quantities, such as speed, distance, and the time interval. Experiments have extensively vindicated the theory, and it forms the basis of many other successful physical theories such as relativistic quantum field theory and general relativity.

The theory incorporates two postulates, namely Galilean invariance and the universality of the speed of light. The first postulate, Galilean invariance, states that the laws of physics do not single out a privileged inertial reference frame; hence any convenient inertial frame may be used to describe a physical process, and any description of nature must remain agnostic of the specific inertial frame used.[1] According to the second postulate, the speed of light is privileged: any inertial observer measures this quantity to be the same.[2] This postulate contradicts the previously held theory (Galilean transformation) that all speeds depend on the observer. This postulate is motivated by the fact that electrodynamics predicts a certain value of the speed of light, despite not referencing any particular reference frame (in accordance with Galileo's principle). Einstein took this to mean that, rather than abandoning Galilean relativity, one must modify the Galilean transformation to take account of this.

These two postulates have far-ranging consequences, which experiments have verified extensively. Starting from these postulates, one can derive what modifications Galilean transformation needs to be consistent with the postulates. The resulting transformation is the Lorentz transformation. According to this, spatial and temporal coordinates must be mixed (somewhat analogously to rotation) when converting from one inertial frame to another. Hence it is inconvenient to consider space and time separately; one considers the two to be aspects of a combined entity, spacetime. It follows that certain quantities that pertain to space or time alone are not invariant, that is, different observers may observe these quantities to have different values. These quantities include length, time intervals, speed, and even the notion of simultaneity: one observer may observe an event to precede another, while another observer may observe a different order of the events. Special relativity also predicts a relation between mass and energy, namely that the mass of an object equals its energy as observed by an observer moving along with the body.[3][4] The well-known equation E=mc² summarizes this prediction. Experiments have verified the wide-ranging predictions of special relativity to an extraordinary precision.[5]

Special relativity supersedes and corrects the older theory, Newtonian mechanics (including the Galilean transformation), in the realm where bodies have speeds comparable to the speed of light. When all bodies have speeds far smaller than the speed of light (as in most everyday phenomena), Newtonian mechanics remains valid, and special relativity agrees with Newtonian mechanics.

The word special in the name of the theory means that the principle of relativity applies only to inertial observers.[6] When one considers gravitation as well, one may apply the principle of relativity to any observer, including accelerating ones. This forms the basis of general relativity, a later theory also due to Einstein. According to general relativity, locally inertial frames exist at every point in spacetime, even in the presence of gravitation.[7] In these frames special relativity remains valid up to first order. When gravity is weak, higher-order effects are negligible.

Postulates

Reflections of this type made it clear to me as long ago as shortly after 1900, i.e., shortly after Planck's trailblazing work, that neither mechanics nor electrodynamics could (except in limiting cases) claim exact validity. Gradually I despaired of the possibility of discovering the true laws by means of constructive efforts based on known facts. The longer and the more desperately I tried, the more I came to the conviction that only the discovery of a universal formal principle could lead us to assured results... How, then, could such a universal principle be found?

— Albert Einstein: Autobiographical Notes[8]

Einstein discerned two fundamental propositions that seemed to be the most assured, regardless of the exact validity of the (then) known laws of either mechanics or electrodynamics. These propositions were the constancy of the speed of light and the independence of physical laws (especially the constancy of the speed of light) from the choice of inertial system. In his initial presentation of special relativity in 1905 he expressed these postulates as:[9]

  • The Principle of Relativity – The laws by which the states of physical systems undergo change are not affected, whether these changes of state be referred to the one or the other of two systems in uniform translatory motion relative to each other.[9]
  • The Principle of Invariant Light Speed – "... light is always propagated in empty space with a definite velocity [speed] c which is independent of the state of motion of the emitting body." (from the preface).[9] That is, light in vacuum propagates with the speed c (a fixed constant, independent of direction) in at least one system of inertial coordinates (the "stationary system"), regardless of the state of motion of the light source.

It should be noted that the derivation of special relativity depends not only on these two explicit postulates, but also on several tacit assumptions (which are made in almost all theories of physics), including the isotropy and homogeneity of space and the independence of measuring rods and clocks from their past history.[10]

Following Einstein's original presentation of special relativity, [9], many different sets of postulates have been proposed in various alternative derivations.[11] However, the most common set of postulates remains those employed by Einstein in his original paper. A more mathematical statement of the Principle of Relativity made later by Einstein, which introduces the concept of simplicity not mentioned above is:

Special principle of relativity: If a system of coordinates K is chosen so that, in relation to it, physical laws hold good in their simplest form, the same laws hold good in relation to any other system of coordinates K' moving in uniform translation relatively to K.[12]

Henri Poincaré provided the mathematical framework for relativity theory by proving that Lorentz transformations are a subset of his Poincaré group of symmetry transformations. Einstein later derived these transformations from his axioms.

Many of Einstein's papers present derivations of the Lorentz transformation based upon these two principles.[13]

Einstein consistently based the derivation of Lorentz invariance (the essential core of special relativity) on just the two basic principles of relativity and light-speed invariance. He wrote:

The insight fundamental for the special theory of relativity is this: The assumptions relativity and light speed invariance are compatible if relations of a new type ("Lorentz transformation") are postulated for the conversion of coordinates and times of events... The universal principle of the special theory of relativity is contained in the postulate: The laws of physics are invariant with respect to Lorentz transformations (for the transition from one inertial system to any other arbitrarily chosen inertial system). This is a restricting principle for natural laws...[8]

Thus many modern treatments of special relativity base it on the single postulate of universal Lorentz covariance, or, equivalently, on the single postulate of Minkowski spacetime.[14][15]

From the principle of relativity alone without assuming the constancy of the speed of light, i.e. using the isotropy of space and the symmetry implied by the principle of special relativity, one can show that the space-time transformations between inertial frames are either Euclidean, Galilean, or Lorentzian. In the Lorentzian case, one can then obtain relativistic interval conservation and a certain finite limiting speed. Experiments suggest that this speed is the speed of light in vacuum. [16][17]

Mass-energy equivalence

In addition to the papers referenced above—which give derivations of the Lorentz transformation and describe the foundations of special relativity—Einstein also wrote at least four papers giving heuristic arguments for the equivalence (and transmutability) of mass and energy, for E = mc2. In his 1905 paper, Einstein used, besides his two principal postulates, the additional principles that Newtonian mechanics should hold for slow velocities, so that there is one energy scalar and one three-vector momentum at slow velocities, and that the conservation law for energy and momentum is exactly true in relativity. Furthermore, he assumed that the energy/momentum of light transforms like the energy/momentum of massless particles, which was known to be true from Maxwell's equations.[18] The first of Einstein's papers on this subject was "Does the Inertia of a Body Depend upon its Energy Content?" in 1905.[19] Although Einstein's argument in this paper is nearly universally accepted by physicists as correct, even self-evident, many authors over the years have suggested that it is wrong.[20] Other authors suggest that the argument was merely inconclusive because it relied on some implicit assumptions.[21]

Einstein acknowledged the controversy over his derivation in his 1907 survey paper on special relativity. There he notes that it is problematic to rely on Maxwell's equations for the heuristic mass-energy argument. The argument in his 1905 paper can be carried out with the emission of any massless particles, but the Maxwell equations are implicitly used to make it obvious that the emission of light in particular can be achieved only by doing work. To emit electromagnetic waves, all you have to do is shake a charged particle, and this is clearly doing work, so that the emission is of energy.[22][23]

Status of special relativity

Predictions

From the Lorentz transformation, a number of interesting effects regarding non-invariant physical quantities emerge. The non-invariance means that different observers observe dilated or contracted quantities relative to other observers. These effects include:

  • Time dilation – the time lapse between two events is not invariant from one observer to another, but is dependent on the relative speeds of the observers' reference frames (e.g., the twin paradox which concerns a twin who flies off in a spaceship traveling near the speed of light and returns to discover that his or her twin sibling has aged much more).
  • Relativity of simultaneity – the time coordinate changes during a Lorentz boost, in constrast to the Galilean transformation. This means two events that appear simultaneous in one inertial frame appear non-simultaneous (have different time coordinates) in another. In particular, this means action at a distance, which crucially relies on simultaneity, is impossible.
  • Lorentz contraction – the dimensions (e.g., length) of an object as measured by one observer may be smaller than the results of measurements of the same object made by another observer (e.g., the ladder paradox involves a long ladder traveling near the speed of light and being contained within a smaller garage).
  • Composition of velocities – velocities (and speeds) do not simply 'add', for example if a rocket is moving at 23 the speed of light relative to an observer, and the rocket fires a missile at 23 of the speed of light relative to the rocket, the missile does not exceed the speed of light relative to the observer. (In this example, the observer would see the missile travel with a speed of 1213 the speed of light.)
  • Energy and momentum – in light of the Lorentz transformation, the nonrelativistic formulas for energy and momentum need to be modified and combined into a covariant four-momentum. In particular, this implies a relation between energy and (rest) mass: the mass of a system equals its energy in the centre-of-momentum frame, often summarized as E=mc².
  • Causality

A Lorentz transformation cannot change a timelike four-vector to a spacelike or null one. In other words, a slower-than-light object must remain slower than light. (Likewise a faster-than-light object, known as a tachyon, must remain faster than light; these, however, are theorized not to exist.) Lightlike objects remain at the speed of light. This means that no material object may send signals superluminally (faster than light). It is less obvious, but nevertheless true, that other methods that do not involve sending a particle cannot enable superluminal transmission of information. This is known as causality.


Domain of validity

Special relativity is accurate only when the absolute value of the gravitational potential is much less than c2, that is, when spacetime is nearly flat. In a strong gravitational field, one must use general relativity. General relativity reduces to special relativity in the weak-field limit. Near the Planck length, quantum effects come into play, and one must take quantum gravity into consideration. Some quantum gravity theories, in fact, predict Lorentz violation at very small scales.

In the limit of small speeds (or equivalently in the limit ), special relativity reduces to Newtonian mechanics. Most objects in everyday experience do not travel at relativistic speeds; hence relativistic effects are not especially notable, and nonrelativistic mechanics suffices.

Special relativity exhibits mathematical self-consistency. It is an integral part of modern physical theories, such as quantum field theory and general relativity (in the limiting case of negligible gravitational fields).

Experimental confirmation

Prior to Einstein's 1905 paper, several experiments had been conducted which, in retrospect, support special relativity. (Of these, Einstein was only aware of the Fizeau experiment before 1905.)

  • The Trouton–Noble experiment showed that the torque on a capacitor is independent of position and inertial reference frame.
  • The Michelson-Morley experiment further supported the impossibility of detection of an absolute reference velocity.(Contrary to some claims, it said little about the invariance of the speed of light with respect to the source and observer's velocity, as both source and observer travelled together at the same velocity at all times.)
  • The Fizeau experiment measured the speed of light in moving media, confirming the relativistic addition of colinear velocities.

Subsequently, a number of experiments have tested special relativity against rival theories. These include:

Today, special relativity is experimentally tested to extremely high degree of accuracy (10−20)[24] and thus accepted by the physics community. Experimental results which appear to contradict it are not reproducible and are thus widely believed to be due to experimental errors. In addition, particle accelerators routinely accelerate and measure the properties of particles moving at near the speed of light; the observed behaviour is completely consistent with special relativity and inconsistent with Newtonian mechanics. These machines would simply not work if they were not engineered according to relativistic principles.

Relativistic kinematics

Spacetime

Special relativity adopts a flat 4-dimensional Euclidean spacetime equipped with a non-positive-definite metric, known as Minkowski space. An event is an idealized occurrence that is localized in spacetime, such that it can be labelled with coordinates in some reference frame. In other words, it is a point in spacetime. The position of an event in spacetime is given by a contravariant four vector whose components are:

where and and as usual. We define so that the time coordinate has the same dimension of distance as the other spatial dimensions; in accordance with the general principle that space and time are treated equally, so far as possible.[25][26][27] Superscripts are contravariant indices in this section rather than exponents except when they indicate a square. Subscripts are covariant indices which also range from zero to three as with the spacetime gradient of a field φ:

A reference frame is an observational perspective in space at rest, or in uniform motion, from which a position can be measured along 3 spatial axes and the from which the time coordinate of events can be measured using a 'clock' (any reference device with uniform periodicity).

The Minkowski metric, η, given in components (valid in any inertial reference frame) as:

which is equal to its reciprocal, , in those frames. (Note that we may adopt another sign convention, with all signs flipped. Both conventions are common; here we shall adopt the former.)

Lorentz transformation

Diagram 1. Changing views of spacetime along the world line of a rapidly accelerating observer. In this animation, the vertical direction indicates time and the horizontal direction indicates distance, the dashed line is the spacetime trajectory ("world line") of the observer. The lower quarter of the diagram shows the events that are visible to the observer, and the upper quarter shows the light cone- those that will be able to see the observer. The small dots are arbitrary events in spacetime. The slope of the world line (deviation from being vertical) gives the relative velocity to the observer. Note how the view of spacetime changes when the observer accelerates.


Coordinate transformations between inertial reference frames are given by the Lorentz transformation tensor Λ. For the special case of motion along the x-axis, we have:

which is simply the matrix of a boost (like a rotation) between the x and ct coordinates. Where μ' indicates the row and ν indicates the column. Also, β and γ are defined as:

More generally, a transformation from one inertial frame (ignoring translations for simplicity) to another must satisfy:

where there is an implied summation of and from 0 to 3 on the right-hand side in accordance with the Einstein summation convention. The Poincaré group is the most general group of transformations which preserves the Minkowski metric and this is the physical symmetry underlying special relativity.

All proper physical quantities are given by tensors. So to transform from one frame to another, we use the well-known tensor transformation law

Where is the reciprocal matrix of .

To see how this is useful, we transform the position of an event from an unprimed coordinate system S to a primed system S', we calculate

which is the Lorentz transformation given above. All tensors transform by the same rule.

The squared length of the differential of the position four-vector constructed using

is an invariant. Being invariant means that it takes the same value in all inertial frames, because it is a scalar (0 rank tensor), and so no Λ appears in its trivial transformation. Notice that when the line element is negative that is the differential of proper time, while when is positive, is differential of the proper distance.


The Lorentz transformations (spatial rotation and Lorentz boost) form a group, known as the Lorentz group. This, combined with spatiotemporal translation, forms the Poincaré group.

The primary value of expressing the equations of physics in a tensor form is that they are then manifestly invariant under the Poincaré group, so that we do not have to do a special and tedious calculation to check that fact. Also in constructing such equations we often find that equations previously thought to be unrelated are, in fact, closely connected being part of the same tensor equation.


Light cone

In two spatial dimensions, the null geodesics () lie on double cone:

By analogy, the null geodesics in three spatial dimensions form a 4-dimensional hypercone:

This cone represents the "line of sight" of a point in space: the past half is the region of spacetime at which a given observer receives signals from the past, whereas the future half is the region of spacetime occupied by lightlike signals sent from the observer. For example, the starlight one observes at a given moment (ignoring atmospheric aberrations, etc.) lie on this cone. These cones are known as light cones.

A Minkowski diagram visually depicts the geometry of Minkowski space; these are useful when reasoning about special relativity.


Velocity and acceleration

Recognising other physical quantities as tensors also simplifies their transformation laws. First note that the velocity four-vector Uμ is given by

Recognising this, we can turn the awkward looking law about composition of velocities into a simple statement about transforming the velocity four-vector of one particle from one frame to another. Uμ also has an invariant form:

So all velocity four-vectors have a magnitude of c. This is an expression of the fact that there is no such thing as being at coordinate rest in relativity: at the least, you are always moving forward through time. The acceleration 4-vector is given by . Given this, differentiating the above equation by τ produces

So in relativity, the acceleration four-vector and the velocity four-vector are orthogonal.


Relativistic dynamics

As defined in nonrelativistic mechanics, the momentum and energy depend on the velocity, which is not Lorentz-invariant. To generalize these quantities, one must modify them with relativistic corrections. There are two general approaches: one is to add Lorentz factors to preserve Newtonian formulas, such as F=ma. Another is to construct Lorentz-covariant quantities, such as four-vectors, from non-covariant quantities. An example of the former approach is the relativistic mass. For example, in special relativity, the conserved momentum must be modified as

where m denotes the invariant (rest) mass and where and denote transverse and longitudinal parts of the position respectively. To preserve the nonrelativistic equation p=mv, one defines the so-called transverse (or relativistic) and longitudinal masses and ; one may conceive of this as a non-isotropic mass. These quantities are not Lorentz-invarant scalars.[28] In this article we shall use mass to refer to the rest mass, clarifying where necessary.

Alternatively, we may take the covariant route. By switching to the Lorentz-covariant proper-time derivative, we can absorb the Lorentz factor γ differently:

where τ denotes the proper time. Likewise, the kinetic energy of a point particle is

Again using the same manoeuvre, we have

Since t and x combine to form the four-position xμ, it is clear that E and p combine to form the four-momentum pμ:

Note that the four-momentum's magnitude is simply the mass. This quantity is constructed completely from Lorentz-invariant quantities; hence it is fully Lorentz-covariant.

Mass

(Rest) mass is not additive: the mass of a composite system in general differs from the sum of the masses of its constituents, since it incorporates, in addition to the rest masses of its constituents, the kinetic and potential energy as measured in the centre-of-momentum frame. Hence conservation of (rest) mass fails relativistically. For instance, an electron and a positron, both massive, can annihilate into a pair of photons, which lack mass. The additive quantity is the four-momentum, that is, energy and momentum. Hence conservation of energy and momentum hold in special relativity. In addition, since the relativistic mass is simply the energy (times some constant factors), it is conserved as well.

For massless particles, m is zero. The relativistic energy-momentum equation still holds, however, and by substituting m with 0, the relation E = pc is obtained; when substituted into Ev = c2p, it gives v = c: massless particles (such as photons) always travel at the speed of light.

A massless particle (for example, a photon) can nevertheless contribute to the total invariant mass of a system, since some or all of its momentum is cancelled by another particle, causing a contribution to the system's invariant mass due to the photon's energy. For single photons this does not happen, since the energy and momentum terms exactly cancel.

Looking at the above formula for invariant mass of a system, one sees that, when a single massive object is at rest (v = 0, p = 0), there is a non-zero mass remaining: mrest = E/c2. The corresponding energy, which is also the total energy when a single particle is at rest, is referred to as "rest energy". In systems of particles which are seen from a moving inertial frame, total energy increases and so does momentum. However, for single particles the rest mass remains constant, and for systems of particles the invariant mass remain constant, because in both cases, the energy and momentum increases subtract from each other, and cancel. Thus, the invariant mass of systems of particles is a calculated constant for all observers, as is the rest mass of single particles.

The mass of systems and conservation of invariant mass

For systems, the inertial frame in which the momenta of all particles sums to zero is called the center of momentum frame. In this special frame, the relativistic energy-momentum equation has p = 0, and thus gives the invariant mass of the system as merely the total energy of all parts of the system, divided by c2

This is the invariant mass of any system which is measured in a frame where it has zero total momentum, such as a bottle of hot gas on a scale. In such a system, the mass which the scale weighs is the invariant mass, and it depends on the total energy of the system. It is thus more than the sum of the rest masses of the molecules, but also includes all the totaled energies in the system as well. Like energy and momentum, the invariant mass of closed systems cannot be changed so long as the system is closed (no mass or energy allowed in or out), because the total relativistic energy of the system remains constant so long as nothing can enter or leave it.

An increase in the energy of such a system which is caused by translating the system to an inertial frame which is not the center of momentum frame, causes an increase in energy and momentum without an increase in invariant mass. E = mc2, however, applies only to closed systems in their center-of-momentum frame where momentum sums to zero.

Taking this formula at face value, we see that in relativity, mass is simply another form of energy. In 1927 Einstein remarked about special relativity, "Under this theory mass is not an unalterable magnitude, but a magnitude dependent on (and, indeed, identical with) the amount of energy."[29]

Einstein was not referring to closed (isolated) systems in this remark, however. For, even in his 1905 paper, which first derived the relationship between mass and energy, Einstein showed that the energy of an object had to be increased for its invariant mass (rest mass) to increase. In such cases, the system is not closed (in Einstein's thought experiment, for example, a mass gives off two photons, which are lost).

Mass of closed (isolated) systems

In a closed system (i.e., in the sense of a totally isolated system) the total energy, the total momentum, and hence the total invariant mass are conserved. Einstein's formula for change in mass translates to its simplest ΔE = mc2 form, however, in non-closed systems in which energy, and thus invariant mass, is allowed to escape (for example, as heat and light). Einstein's equation shows that such systems must lose mass, in accordance with the above formula, in proportion to the energy they lose to the surroundings. Conversely, if one can measure the differences in mass between a system before it undergoes a reaction which releases heat and light, and the system after the reaction when heat and light have escaped, one can estimate the amount of energy which escapes the system. In both nuclear and chemical reactions, such energy represents the difference in binding energies of electrons in atoms (for chemistry) or between nucleons in nuclei (in atomic reactions). In both cases, the mass difference between reactants and (cooled) products measures the mass of heat and light which will escape the reaction, and thus (using the equation) give the equivalent energy of heat and light which may be emitted if the reaction proceeds.

In chemistry, the mass differences associated with the emitted energy are around one-billionth of the molecular mass[30]. However, in nuclear reactions the energies are so large that they are associated with mass differences, which can be estimated in advance, if the products and reactants have been weighed (atoms can be weighed indirectly by using atomic masses, which are always the same for each nuclide). Thus, Einstein's formula becomes important when one has measured the masses of different atomic nuclei. By looking at the difference in masses, one can predict which nuclei have stored energy that can be released by certain nuclear reactions, providing important information which was useful in the development of nuclear energy and, consequently, the nuclear bomb. Historically, for example, Lise Meitner was able to use the mass differences in nuclei to estimate that there was enough energy available to make nuclear fission a favorable process. The implications of this special form of Einstein's formula have thus made it one of the most famous equations in all of science.

Because the E = mc2 equation applies only to isolated systems in their center of momentum frame, it has been popularly misunderstood to mean that mass may be converted to energy, after which the mass disappears. However, popular explanations of the equation as applied to systems include open systems for which heat and light are allowed to escape, when they otherwise would have contributed to the mass (invariant mass) of the system.

Historically, confusion about mass being "converted" to energy has been aided by confusion between mass and "matter", where matter is defined as fermion particles. In such a definition, electromagnetic radiation and kinetic energy (or heat) are not considered "matter." In some situations, matter may indeed be converted to non-matter forms of energy (see above), but in all these situations, the matter and non-matter forms of energy still retain their original mass.

For closed/isolated systems, mass never disappears in the center of momentum frame, because energy cannot disappear. Instead, this equation, in context, means only that when any energy is added to, or escapes from, a system in the center-of-momentum frame, the system will be measured as having gained or lost mass, in proportion to energy added or removed. Thus, in theory, if an atomic bomb were placed in a box strong enough to hold its blast, and detonated upon a scale, the mass of this closed system would not change, and the scale would not move. Only when a transparent "window" was opened in the super-strong plasma-filled box, and light and heat were allowed to escape in a beam, and the bomb components to cool, would the system lose the mass associated with the energy of the blast. In a 21 kiloton bomb, for example, about a gram of light and heat is created. If this heat and light were allowed to escape, the remains of the bomb would lose a gram of mass, as it cooled. However, invariant mass cannot be destroyed in special relativity, but only moved from place to place. In this thought-experiment, the light and heat carry away the gram of mass, and would therefore deposit this gram of mass in the objects that absorb them.[31]

Force

Noncovariant force

In special relativity, Newton's second law does not hold in its form F = ma, but it does if it is expressed as

where p is the momentum as defined above () and "m" is the invariant mass. Thus, the force is given by

Carrying out the derivatives gives

which, taking into account the identity , can also be expressed as

If the acceleration is separated into the part parallel to the velocity and the part perpendicular to it, one gets

Consequently in some old texts, γ3m is referred to as the longitudinal mass, and γm is referred to as the transverse mass, which is the same as the relativistic mass. See mass in special relativity.

Four-force

To use Newton's third law of motion, both forces must be defined as the rate of change of momentum with respect to the same time coordinate. That is, it requires the 3D force defined above. Unfortunately, there is no tensor in 4D which contains the components of the 3D force vector among its components.

If a particle is not traveling at c, one can transform the 3D force from the particle's co-moving reference frame into the observer's reference frame. This yields a 4-vector called the four-force. It is the rate of change of the above energy momentum four-vector with respect to proper time. The covariant version of the four-force is:

where is the proper time.

In the rest frame of the object, the time component of the four force is zero unless the "invariant mass" of the object is changing (this requires a non-closed system in which energy/mass is being directly added or removed from the object) in which case it is the negative of that rate of change of mass, times c. In general, though, the components of the four force are not equal to the components of the three-force, because the three force is defined by the rate of change of momentum with respect to coordinate time, i.e. while the four force is defined by the rate of change of momentum with respect to proper time, i.e. .

In a continuous medium, the 3D density of force combines with the density of power to form a covariant 4-vector. The spatial part is the result of dividing the force on a small cell (in 3-space) by the volume of that cell. The time component is −1/c times the power transferred to that cell divided by the volume of the cell. This will be used below in the section on electromagnetism.

Kinetic energy

The Work-energy Theorem says[32] the change in kinetic energy is equal to the work done on the body, that is

(Click [show] for intermediate steps)

If in the initial state the body was at rest (γ0 = 1) and in the final state it has speed v (γ1 = γ), the kinetic energy is K = (γ − 1)mc2, a result that can be directly obtained by subtracting the rest energy mc2 from the total relativistic energy γmc2.

Application in cyclotrons

The application of the above in cyclotrons is immediate:[33][34][35][36][37][38][39][40][41][42][43]

In the presence of a magnetic field only, the Lorentz force is:

Since:

it follows that:

meaning that γ is constant, and so is v. This is instrumental in solving the equation of motion for a charge particle of charge q in a magnetic field of induction B as follows:

On the other hand:

Thus:

Separating by components, we obtain:

The solutions are:

By integrating one more time with respect to t the differential equations above we obtain the equations of motion: a circle of radius in the plane z=constant, where is the initial speed of the particle entering the cyclotron. Notice that this calculation ignores the Abraham-Lorentz force which is the reaction to the emission of electromagnetic radiation by the particle. If the speed is held constant by applying an electric field, then the magnitude of the acceleration is constant, but its direction keeps changing in a cyclotron. The jerk is proportional with the second time derivative of speed:

Because the jerk is directed opposite to the velocity, the Abraham-Lorentz force tends to slow the particle down. Note that the Abraham-Lorentz force is much smaller than the Lorentz force:

so, it can be ignored in most computations.

Classical limit

Notice that γ can be expanded into a Taylor series for , obtaining:

and consequently

For velocities much smaller than that of light, one can neglect the terms with c2 and higher in the denominator. These formulas then reduce to the standard definitions of Newtonian kinetic energy and momentum. This is as it should be, for special relativity must agree with Newtonian mechanics at low velocities.

Relativistic electrodynamics

Theoretical investigation in classical electromagnetism led to the discovery of wave propagation. Equations generalizing the electromagnetic effects found that finite propagation-speed of the E and B fields required certain behaviors on charged particles. The general study of moving charges forms the Liénard–Wiechert potential, which is a step towards special relativity.

The Lorentz transformation of the electric field of a moving charge into a non-moving observer's reference frame results in the appearance of a mathematical term commonly called the magnetic field. Conversely, the magnetic field generated by a moving charge disappears and becomes a purely electrostatic field in a comoving frame of reference. Maxwell's equations are thus simply an empirical fit to special relativistic effects in a classical model of the Universe. As electric and magnetic fields are reference frame dependent and thus intertwined, one speaks of electromagnetic fields. Special relativity provides the transformation rules for how an electromagnetic field in one inertial frame appears in another inertial frame.

Electromagnetism in 4D

Maxwell's equations in the 3D form are already consistent with the physical content of special relativity. But we must rewrite them to make them manifestly invariant.[44]

The charge density and current density are unified into the current-charge 4-vector:

The law of charge conservation, , becomes:

The electric field and the magnetic induction are now unified into the (rank 2 antisymmetric covariant) electromagnetic field tensor:

The density, , of the Lorentz force, , exerted on matter by the electromagnetic field becomes:

Faraday's law of induction, , and Gauss's law for magnetism, , combine to form:

Although there appear to be 64 equations here, it actually reduces to just four independent equations. Using the antisymmetry of the electromagnetic field one can either reduce to an identity (0=0) or render redundant all the equations except for those with λ,μ,ν = either 1,2,3 or 2,3,0 or 3,0,1 or 0,1,2.

The electric displacement and the magnetic field are now unified into the (rank 2 antisymmetric contravariant) electromagnetic displacement tensor:

Ampère's law, , and Gauss's law, , combine to form:

In a vacuum, the constitutive equations are:

Antisymmetry reduces these 16 equations to just six independent equations. Because it is usual to define by

the constitutive equations may, in a vacuum, be combined with Ampère's law etc. to get:

The energy density of the electromagnetic field combines with Poynting vector and the Maxwell stress tensor to form the 4D electromagnetic stress-energy tensor. It is the flux (density) of the momentum 4-vector and as a rank 2 mixed tensor it is:

where is the Kronecker delta. When upper index is lowered with η, it becomes symmetric and is part of the source of the gravitational field.

The conservation of linear momentum and energy by the electromagnetic field is expressed by:

where is again the density of the Lorentz force. This equation can be deduced from the equations above (with considerable effort).

History

The principle of relativity, which states that there is no preferred inertial reference frame, dates back to Galileo, and was incorporated into Newtonian Physics. In the late 19th century, it was realized that Maxwell's equations predict a single value of the speed of electromagnetic waves; this was subsequently confirmed. This appeared to single outa preferred reference frame, contradicting Galilean relativity. This led physicists to suggest that the universe was filled with an entity called the aether, which would act as the medium through which these waves travelled. The aether was thought to constitute an absolute reference frame against which speeds could be measured. In order to be consistent with the observed universe, the aether was postulated by necessity to have some extraordinary properties: it was sufficiently elastic that it could support electromagnetic waves, and those waves could interact with matter, yet it offered very little resistance to bodies passing through it.

Various experiments, including the Michelson-Morley experiment, indicated that the Earth was always 'stationary' relative to the aether–something that was difficult to explain, since the Earth is in orbit around the Sun. Einstein's solution was to discard the notion of an aether and an absolute state of rest. Special relativity is formulated so as to not assume that any particular frame of reference is special; rather, in relativity, any reference frame moving with uniform motion will observe the same laws of physics. In particular, the speed of light in a vacuum is always measured to be c, even when measured by multiple systems that are moving at different (but constant) velocities.

To explain the null result, Henri Poincaré and Hendrik Lorentz derived versions of what is now known as the Lorentz transformation on various assumptions, such as that the interatomic spacing was electromagnetic and therefore stretched or contracted according to Maxwell's equations. Einstein, in 1905, published his seminal paper on special relativity, where he demonstrated that the Lorentz transformation could be derived from simple postulates alone if one allows modifications of kinematics and dynamics.

See also

People: Arthur Eddington | Albert Einstein | Hendrik Lorentz | Hermann Minkowski | Bernhard Riemann | Henri Poincaré | Alexander MacFarlane | Harry Bateman | Robert S. Shankland | Walter Ritz
Relativity: Theory of relativity | History of special relativity | principle of relativity | general relativity | Fundamental Speed | frame of reference | inertial frame of reference | Lorentz transformations | Bondi k-calculus | Einstein synchronisation | Rietdijk-Putnam Argument
Physics: Newtonian Mechanics | spacetime | speed of light | simultaneity | physical cosmology | Doppler effect | relativistic Euler equations | Aether drag hypothesis | Lorentz ether theory | Moving magnet and conductor problem | Shape waves| Relativistic heat conduction
Maths: Minkowski space | four-vector | world line | light cone | Lorentz group | Poincaré group | geometry | tensors | split-complex number | Relativity in the APS formalism
Philosophy: actualism | conventionalism | formalism
Paradoxes: Twin paradox | Ehrenfest paradox | Ladder paradox | Bell's spaceship paradox
Experiments: Kennedy–Thorndike experiment | Trouton–Rankine experiment | Michelson–Morley experiment | Hafele–Keating experiment | Ives–Stilwell experiment | Rossi–Hall experiment

References

  1. ^ Wolfgang Rindler (1977). Essential Relativity. Birkhäuser. p. §1,11 p. 7. ISBN 354007970X.
  2. ^ Edwin F. Taylor and John Archibald Wheeler (1992). Spacetime Physics: Introduction to Special Relativity. W. H. Freeman. ISBN 0-7167-2327-1.
  3. ^ Albert Einstein (2001). Relativity: The Special and the General Theory (Reprint of 1920 translation by Robert W. Lawson ed.). Routledge. p. 48. ISBN 0415253845.
  4. ^ Richard Phillips Feynman (1998). Six Not-so-easy Pieces: Einstein's relativity, symmetry, and space-time (Reprint of 1995 ed.). Basic Books. p. 68. ISBN 0201328429.
  5. ^ Tom Roberts and Siegmar Schleif (2007). "What is the experimental basis of Special Relativity?". Usenet Physics FAQ. Retrieved 2008-09-17. {{cite web}}: Unknown parameter |month= ignored (help)
  6. ^ Albert Einstein, Relativity - The Special and General Theory, chapter 18
  7. ^ Charles W. Misner, Kip S. Thorne & John A. Wheeler,Gravitation, pg 172, 6.6 The local coordinate system of an accelerated observer, ISBN 0716703440
  8. ^ a b Einstein, Autobiographical Notes, 1949.
  9. ^ a b c d Albert Einstein (1905) "Zur Elektrodynamik bewegter Körper", Annalen der Physik 17: 891; English translation On the Electrodynamics of Moving Bodies by George Barker Jeffery and Wilfrid Perrett (1923); Another English translation On the Electrodynamics of Moving Bodies by Megh Nad Saha (1920).
  10. ^ Einstein, "Fundamental Ideas and Methods of the Theory of Relativity", 1920)
  11. ^ For a survey of such derivations, see Lucas and Hodgson, Spacetime and Electromagnetism, 1990
  12. ^ Einstein, A., Lorentz, H. A., Minkowski, H., & Weyl, H. (1952). The Principle of Relativity: a collection of original memoirs on the special and general theory of relativity. Courier Dover Publications. p. 111. ISBN 0486600815.{{cite book}}: CS1 maint: multiple names: authors list (link)
  13. ^ Einstein, On the Relativity Principle and the Conclusions Drawn from It, 1907; "The Principle of Relativity and Its Consequences in Modern Physics, 1910; "The Theory of Relativity", 1911; Manuscript on the Special Theory of Relativity, 1912; Theory of Relativity, 1913; Einstein, Relativity, the Special and General Theory, 1916; The Principle Ideas of the Theory of Relativity, 1916; What Is The Theory of Relativity?, 1919; The Principle of Relativity (Princeton Lectures), 1921; Physics and Reality, 1936; The Theory of Relativity, 1949.
  14. ^ Das, A., The Special Theory of Relativity, A Mathematical Exposition, Springer, 1993.
  15. ^ Schutz, J., Independent Axioms for Minkowski Spacetime, 1997.
  16. ^ Yaakov Friedman, Physical Applications of Homogeneous Balls, Progress in Mathematical Physics 40 Birkhäuser, Boston, 2004, pages 1-21.
  17. ^ David Morin, Introduction to Classical Mechanics, Cambridge University Press, Cambridge, 2007, chapter 11, Appendix I
  18. ^ Wolfgang Rindler (1977). Essential Relativity: Special, general and cosmological. Birkhäuser. p. 79. ISBN 354007970X.
  19. ^ Does the inertia of a body depend upon its energy content? A. Einstein, Annalen der Physik. 18:639, 1905 (English translation by W. Perrett and G.B. Jeffery)
  20. ^ Max Jammer (1997). Concepts of Mass in Classical and Modern Physics. Courier Dover Publications. p. 177–178. ISBN 0486299988.
  21. ^ John J. Stachel (2002). Einstein from B to Z. Springer. p. 221. ISBN 0817641432.
  22. ^ On the Inertia of Energy Required by the Relativity Principle, A. Einstein, Annalen der Physik 23 (1907): 371-384
  23. ^ In a letter to Carl Seelig in 1955, Einstein wrote "I had already previously found that Maxwell's theory did not account for the micro-structure of radiation and could therefore have no general validity.", Einstein letter to Carl Seelig, 1955.
  24. ^ The number of works is vast; see as example:
    Sidney Coleman, Sheldon L. Glashow, Cosmic Ray and Neutrino Tests of Special Relativity, Phys. Lett. B405 (1997) 249-252, online
    An overview can be found on this page
  25. ^ Jean-Bernard Zuber & Claude Itzykson, Quantum Field Theory, pg 5 , ISBN 0070320713
  26. ^ Charles W. Misner, Kip S. Thorne & John A. Wheeler,Gravitation, pg 51, ISBN 0716703440
  27. ^ George Sterman, An Introduction to Quantum Field Theory, pg 4 , ISBN 0521311322
  28. ^ Philip Gibbs, Jim Carr and Don Koks (2008). "What is relativistic mass?". Usenet Physics FAQ. Retrieved 2008-09-19. Note that in 2008 the last editor, Don Koks, rewrote a significant portion of the page, changing it from a view extremely dismissive of the usefulness of relativistic mass to one which hardly questions it. The previous version was: Philip Gibbs and Jim Carr (1998). "Does mass change with speed?". Usenet Physics FAQ. Archived from the original on 2007-06-30.
  29. ^ Einstein on Newton
  30. ^ Randy Harris (2008). Modern Physics: Second Edition. Pearson Addison-Welsey. p. 38. ISBN 0-8053-0308-1.
  31. ^ E. F. Taylor and J. A. Wheeler, Spacetime Physics, W.H. Freeman and Co., NY. 1992. ISBN 0-7167-2327-1, see pp. 248-9 for discussion of mass remaining constant after detonation of nuclear bombs, until heat is allowed to escape.
  32. ^ R.C.Tolman "Relativity Thermodynamics and Cosmology" pp47-48
  33. ^ C. S. Roberts and S. J. Buchsbaum, “Motion of a chaged particle in a constant magnetic field and a trasnverse electromagnetic wave propagating along the field”, Phys. Rev. 135, A381 (1964)
  34. ^ V.G. Bagrov, D.M. Gitman and A.V. Jushin, Solutions for the motion of an electron in electromagnetic field, Phys. Rev.D , 12, 3200 (1975)
  35. ^ H.R.Jory, A.W.Trivelpiece, J.Appl.Phys. "Charged particle motion in large. amplitude electromagnetic fields",39,3053 (1968)
  36. ^ R. Ondarza-Rovira, “Relativistic motion of a charged particle driven by an elliptically polarized electromagnetic wave propagating along a static magnetic field” , IEEE Transactions on Plasma Science, Vol. 29, 6, 903 (2001)
  37. ^ J Kruger and M Bovyn, “Relativistic motion of a charged particle in a plane electromagnetic wave with arbitrary amplitude”, J. Phys. A: Math. Gen., Vol.11, 9 1841 (1976)
  38. ^ H. Takabe, “ Relativistic motion of charged particles in ultra-intense laser fields”, Journal of Plasma and Fusion Research, Vol.78, 4, 341(2005)
  39. ^ H P Zehrfeld, G. Fussmann, B.J. Green, “Electric field effects on relativistic charged particle motion in Tokamaks”, Plasma Phys. 23 473 (1981)
  40. ^ R. Giovanelli, “Analytic treatment of the relativistic motion of charged particles in electric and magnetic field”, Il Nuovo Cimento D, Vol. 9, 11,1443 (1987)
  41. ^ A. Bourdier, M.Valentini, J.Valat, “Dynamics of a relativistic charged particle in a constant homogeneous magnetic field and a transverse homogeneous rotating electric field”, Phys. Rev. E 54, 5681 (1996)
  42. ^ S.W.Kim, D.H.Kwon, H.W. Lee, “Relativistic cyclotron motion in a polarized electric field”, Jour. of Kor. Phys. Soc., Vol. 32, 1, 30 (1998)
  43. ^ L.B.Kong, P.K. Liu, “Analytical solution for relativistic charged particle motion in a circularly polarized electromagnetic wave”, Phys. Plasmas 14, 063101 (2007)
  44. ^ E. J. Post (1962). Formal Structure of Electromagnetics: General Covariance and Electromagnetics. Dover Publications Inc. ISBN 0-486-65427-3.

Textbooks

Journal articles

  • Alvager et al. (1964) "Test of the Second Postulate of Special Relativity in the GeV region," Physics Letters 12: 260.
  • Darrigol, Olivier (2004) "[The Mystery of the Poincaré-Einstein Connection]," Isis 95(4): 614-26.
  • Mitchell Feigenbaum (2008) "The Theory of Relativity - Galileo's Child."
  • Gulevich, D. R., et al. (2008) "Shape waves in 2D Josephson junctions: Exact solutions and time dilation," Phys. Rev. Lett. 101: 127002.
  • Rizzi, G., et al., (2005) "Synchronization Gauges and the Principles of Special Relativity," Found. Phys. 34: 1835-87.
  • Will, Clifford M. (1992) "Clock synchronization and isotropy of the one-way speed of light," Physics Review D 45: 403-11.
  • Wolf, Peter, and Petit, Gerard (1997) "Satellite test of Special Relativity using the Global Positioning System," Physics Review A 56(6): 4405-09.

Original works

Special relativity for a general audience (no math knowledge required)

Special relativity explained (using simple or more advanced math)

Visualization

Other

Template:Link FA Template:Link FA Template:Link FA