Mass in General Relativity
Encyclopedia
The concept of mass
in general relativity
(GR) is more complex than the concept of mass in special relativity
. In fact, general relativity does not offer a single definition for the term mass, but offers several different definitions which are applicable under different circumstances. Under some circumstances, the mass of a system in general relativity may not even be defined.
, the invariant mass
(hereafter simply "mass") of an isolated system
, can be defined in terms of the energy
and momentum
of the system by the relativistic energy-momentum equation:
Where E is the total energy of the system, p is the total momentum of the system and c is the speed of light. Concisely, the mass of a system in special relativity is the norm of its energy-momentum four vector.
, this separation is not true for all observers, and there is no general definition for obtaining it.
How, then, does one define a concept as a system's total mass – which is easily defined in classical mechanics? As it turns out, at least for spacetimes which are asymptotically flat
(roughly speaking, which represent some isolated gravitating system in otherwise empty and gravity-free infinite space), the ADM
3+1 split leads to a solution: as in the usual Hamiltonian formalism
, the time direction used in that split has an associated energy, which can be integrated up to yield a global quantity known as the ADM mass (or, equivalently, ADM energy). Alternatively, there is a possibility to define mass for a spacetime that is stationary, in other words, one that has a time-like Killing vector field (which, as a generating field for time, is canonically conjugate to energy); the result is the so-called Komar mass
Although defined in a totally different way, it can be shown to be equivalent to the ADM mass for stationary spacetimes. The Komar integral definition can also be generalized to non-stationary fields for which there is at least an asymptotic time translation symmetry; imposing a certain gauge condition, one can define the Bondi energy at null infinity. In a way, the ADM energy measures all of the energy contained in spacetime, while the Bondi energy excludes those parts carried off by gravitational waves to infinity. Great effort has been expended on proving positivity theorems for the masses just defined, not least because positivity, or at least the existence of a lower limit, has a bearing on the more fundamental question of positivity: if there were no lower limit, then no isolated system would be absolutely stable; there would always be the possibility of a decay to a state of even lower total energy. Several kinds of proofs that both the ADM mass and the Bondi mass are indeed positive exist; in particular, this means that Minkowski space
(for which both are zero) is indeed stable. While the focus here has been on energy, analogue definitions for global momentum exist; given a field of angular Killing vectors and following the Komar technique, one can also define global angular momentum.
The disadvantage of all the definitions mentioned so far is that they are defined only at (null or spatial) infinity; since the 1970s, physicists and mathematicians have worked on the more ambitious endeavor of defining suitable quasi-local quantities, such as the mass of an isolated system defined using only quantities defined within a finite region of space containing that system. However, while there is a variety of proposed definitions such as the Hawking energy
, the Geroch energy
or Penrose's
quasi-local energy-momentum based on twistor methods, the field is still in flux. Eventually, the hope is to use a suitable defined quasi-local mass to give a more precise formulation of the hoop conjecture
, prove the so-called Penrose inequality for black holes (relating the black hole's mass to the horizon area) and find a quasi-local version of the laws of black hole mechanics.
is a spacetime where none of the metric coefficients
are functions of time. The Schwarzschild metric
of a black hole
and the Kerr metric
of a rotating black hole
are common examples of stationary spacetimes.
By definition, a stationary spacetime exhibits time translation symmetry. This is technically called a time-like Killing vector. Because the system has a time translation symmetry, Noether's theorem guarantees that it has a conserved energy. Because a stationary system also has a well defined rest frame in which its momentum can be considered to be zero, defining the energy of the system also defines its mass. In general relativity, this mass is called the Komar mass of the system. Komar mass can only be defined for stationary systems.
Komar mass can also be defined by a flux integral. This is similar to the way that Gauss's law
defines the charge enclosed by a surface as the normal electric force multiplied by the area. The flux integral used to define Komar mass is slightly different from that used to define the electric field, however - the normal force is not the actual force, but the "force at infinity". See the main article
for more detail.
Of the two definitions, the description of Komar mass in terms of a time translation symmetry provides the deepest insight.
Such space-times are known as "asymptotically flat" space-times.
For systems in which space-time is asymptotically flat, the ADM and Bondi energy, momentum, and mass can be defined. In terms of Noether's theorem, the ADM energy, momentum, and mass are defined by the asymptotic symmetries at spatial infinity, and the Bondi energy, momentum, and mass are defined by the asymptotic symmetries at null infinity. Note that mass is computed as the length of the energy-momentum four vector, which can be thought of as the energy and momentum of the system "at infinity".
Translating the above statement into the language of general relativity, we say that a system in nearly flat space-time has a total non-gravitational energy E and momentum P given by:
When the components of the momentum vector of the system are zero, i.e. Pi = 0, the approximate mass of the system is just (E+Ebinding)/c2, Ebinding being a negative number representing the Newtonian gravitational self-binding energy.
Hence when one assumes that the system is quasi-static, one assumes that there is no significant energy present in the form of "gravitational waves". When one assumes that the system is in "nearly-flat" space-time, one assumes that the metric coefficients are essentially Minkowskian within acceptable experimental error.
wrote about the difficulty in assigning an energy to a "field" and "the failure of the energy theorem" in a correspondence with Klein
. In this letter, Hilbert conjectured that this failure is a characteristic feature of the general theory, and that instead of "proper energy theorems" one had 'improper energy theorems'.
This conjecture was soon proved to be correct by one of Hilbert's close associates, Emmy Noether
. Noether's theorem
applies to any system which can be described by an action principle
. Noether's theorem associates conserved energies with time-translation symmetries. When the time-translation symmetry is a finite parameter continuous group
, such as the Poincaré group
, Noether's theorem defines a scalar conserved energy for the system in question. However, when the symmetry is an infinite parameter continuous group, the existence of a conserved energy is not guaranteed. In a similar manner, Noether's theorem associates conserved momenta with space-translations, when the symmetry group
of the translations is finite dimensional. Because General Relativity is a diffeomorphism
invariant theory, it has an infinite continuous group of symmetries rather than a finite-parameter group of symmetries, and hence has the wrong group structure to guarantee a conserved energy. Noether's theorem has been extremely influential in inspiring and unifying various ideas of mass, system energy, and system momentum in General Relativity.
As an example of the application of Noether's theorem is the example of stationary space-times and their associated Komar mass.(Komar 1959). While general space-times lack a finite-parameter time-translation symmetry, stationary space-times have such a symmetry, known as a Killing vector. Noether's theorem proves that such stationary space-times must have an associated conserved energy. This conserved energy defines a conserved mass, the Komar mass.
ADM mass was introduced (Arnowitt et al., 1960) from an initial-value formulation of general relativity. It was later reformulated in terms of the group of asymptotic symmetries at spatial infinity, the SPI group, by various authors. (Held, 1980). This reformulation did much to clarify the theory, including explaining why ADM momentum and ADM energy transforms as a 4-vector (Held, 1980). Note that the SPI group is actually infinite dimensional. The existence of conserved quantities is because the SPI group of "super-translations" has a preferred 4-parameter subgroup of "pure" translations, which, by Noether's theorem, generates a conserved 4-parameter energy-momentum. The norm of this 4-parameter energy-momentum is the ADM mass.
The Bondi mass was introduced (Bondi, 1962) in a paper that studied the loss of mass of physical systems via gravitational radiation. The Bondi mass is also associated with a group of asymptotic symmetries, the BMS group at null infinity. Like the SPI group at spatial infinity, the BMS group at null infinity is infinite dimensional, and it also has a preferred 4-parameter subgroup of "pure" translations.
Another approach to the problem of energy in General Relativity is the use of pseudotensor
s such as the Landau-Lifshitz pseudotensor.(Landau and Lifshitz, 1962). Pseudotensors are not gauge invariant - because of this, they only give consistent gauge-independent answers for the total energy when additional constraints (such as asymptotic flatness) are met. The gauge dependence of pseudotensors also prevents any gauge-independent definition of the local energy density, as every different gauge choice results in a different local energy density.
Can an object move so fast that it turns into a black hole?
If two objects have the same mass, and we heat one of them up from an external source, does the heated object gain mass? If we put both objects on a sensitive enough balance, would the heated object weigh more than the unheated object? Would the heated object have a stronger gravitational field than the unheated object?
Imagine that we have a solid pressure vessel enclosing an ideal gas. We heat the gas up with an external source of energy, adding an amount of energy E to the system. Does the mass of our system increase by E/c2? Does the mass of the gas increase by E/c2?
The only difference between the "hot" and "cold" systems in our last question is due to the motion of the particles in the gas inside the pressure vessel. Doesn't this imply that a moving particle has "more gravity" than a stationary particle?
Suppose the pressure vessel in our previous question fails, and the system explodes - does its mass change?
What is the mass of the universe? What is the mass of the observable universe? Does a closed universe have a mass?
Mass
Mass can be defined as a quantitive measure of the resistance an object has to change in its velocity.In physics, mass commonly refers to any of the following three properties of matter, which have been shown experimentally to be equivalent:...
in general relativity
General relativity
General relativity or the general theory of relativity is the geometric theory of gravitation published by Albert Einstein in 1916. It is the current description of gravitation in modern physics...
(GR) is more complex than the concept of mass in special relativity
Mass in special relativity
Mass in special relativity incorporates the general understandings from the concept of mass-energy equivalence. Added to this concept is an additional complication resulting from the fact that "mass" is defined in two different ways in special relativity: one way defines mass as an invariant...
. In fact, general relativity does not offer a single definition for the term mass, but offers several different definitions which are applicable under different circumstances. Under some circumstances, the mass of a system in general relativity may not even be defined.
Review of mass in special relativity
In special relativitySpecial relativity
Special relativity is the physical theory of measurement in an inertial frame of reference proposed in 1905 by Albert Einstein in the paper "On the Electrodynamics of Moving Bodies".It generalizes Galileo's...
, the invariant mass
Invariant mass
The invariant mass, rest mass, intrinsic mass, proper mass or just mass is a characteristic of the total energy and momentum of an object or a system of objects that is the same in all frames of reference related by Lorentz transformations...
(hereafter simply "mass") of an isolated system
Isolated system
In the natural sciences an isolated system, as contrasted with an open system, is a physical system without any external exchange. If it has any surroundings, it does not interact with them. It obeys in particular the first of the conservation laws: its total energy - mass stays constant...
, can be defined in terms of the energy
Energy
In physics, energy is an indirectly observed quantity. It is often understood as the ability a physical system has to do work on other physical systems...
and momentum
Momentum
In classical mechanics, linear momentum or translational momentum is the product of the mass and velocity of an object...
of the system by the relativistic energy-momentum equation:
Where E is the total energy of the system, p is the total momentum of the system and c is the speed of light. Concisely, the mass of a system in special relativity is the norm of its energy-momentum four vector.
Defining mass in general relativity: concepts and obstacles
Generalizing this definition to general relativity, however, is problematic; in fact, it turns out to be impossible to find a general definition for a system's total mass (or energy). The main reason for this is that "gravitational field energy" is not a part of the energy-momentum tensor; instead, what might be identified as the contribution of the gravitational field to a total energy is part of the Einstein tensor on the other side of Einstein's equation (and, as such, a consequence of these equations' non-linearity). While in certain situation it is possible to rewrite the equations so that part of the "gravitational energy" now stands alongside the other source terms in the form of the Stress-energy-momentum pseudotensorStress-energy-momentum pseudotensor
In the theory of general relativity, a stress–energy–momentum pseudotensor, such as the Landau–Lifshitz pseudotensor, is an extension of the non-gravitational stress–energy tensor which incorporates the energy-momentum of gravity. It allows the energy-momentum of a system of gravitating matter to...
, this separation is not true for all observers, and there is no general definition for obtaining it.
How, then, does one define a concept as a system's total mass – which is easily defined in classical mechanics? As it turns out, at least for spacetimes which are asymptotically flat
Asymptotically flat spacetime
An asymptotically flat spacetime is a Lorentzian manifold in which, roughly speaking, the curvature vanishes at large distances from some region, so that at large distances, the geometry becomes indistinguishable from that of Minkowski spacetime....
(roughly speaking, which represent some isolated gravitating system in otherwise empty and gravity-free infinite space), the ADM
ADM formalism
The ADM Formalism developed in 1959 by Richard Arnowitt, Stanley Deser and Charles W. Misner is a Hamiltonian formulation of general relativity...
3+1 split leads to a solution: as in the usual Hamiltonian formalism
Hamiltonian mechanics
Hamiltonian mechanics is a reformulation of classical mechanics that was introduced in 1833 by Irish mathematician William Rowan Hamilton.It arose from Lagrangian mechanics, a previous reformulation of classical mechanics introduced by Joseph Louis Lagrange in 1788, but can be formulated without...
, the time direction used in that split has an associated energy, which can be integrated up to yield a global quantity known as the ADM mass (or, equivalently, ADM energy). Alternatively, there is a possibility to define mass for a spacetime that is stationary, in other words, one that has a time-like Killing vector field (which, as a generating field for time, is canonically conjugate to energy); the result is the so-called Komar mass
Komar mass
The Komar mass of a system is one of several formal concepts of mass that are used in general relativity. The Komar mass can be defined in any stationary spacetime, which is a spacetime in which all the metric can be written so that they are independent of time...
Although defined in a totally different way, it can be shown to be equivalent to the ADM mass for stationary spacetimes. The Komar integral definition can also be generalized to non-stationary fields for which there is at least an asymptotic time translation symmetry; imposing a certain gauge condition, one can define the Bondi energy at null infinity. In a way, the ADM energy measures all of the energy contained in spacetime, while the Bondi energy excludes those parts carried off by gravitational waves to infinity. Great effort has been expended on proving positivity theorems for the masses just defined, not least because positivity, or at least the existence of a lower limit, has a bearing on the more fundamental question of positivity: if there were no lower limit, then no isolated system would be absolutely stable; there would always be the possibility of a decay to a state of even lower total energy. Several kinds of proofs that both the ADM mass and the Bondi mass are indeed positive exist; in particular, this means that Minkowski space
Minkowski space
In physics and mathematics, Minkowski space or Minkowski spacetime is the mathematical setting in which Einstein's theory of special relativity is most conveniently formulated...
(for which both are zero) is indeed stable. While the focus here has been on energy, analogue definitions for global momentum exist; given a field of angular Killing vectors and following the Komar technique, one can also define global angular momentum.
The disadvantage of all the definitions mentioned so far is that they are defined only at (null or spatial) infinity; since the 1970s, physicists and mathematicians have worked on the more ambitious endeavor of defining suitable quasi-local quantities, such as the mass of an isolated system defined using only quantities defined within a finite region of space containing that system. However, while there is a variety of proposed definitions such as the Hawking energy
Hawking energy
The Hawking energy or Hawking mass is one of the possible definitions of mass in general relativity. It is a measure of the bending of ingoing and outgoing rays of light that are orthogonal to a 2-sphere surrounding the region of space whose mass is to be defined.- Definition :Let be a...
, the Geroch energy
Geroch energy
The Geroch energy or Geroch mass is one of the possible definitions of mass in general relativity. It can be derived from the Hawking energy, itself a measure of the bending of ingoing and outgoing rays of light that are orthogonal to a 2-sphere surrounding the region of space whose mass is to be...
or Penrose's
Roger Penrose
Sir Roger Penrose OM FRS is an English mathematical physicist and Emeritus Rouse Ball Professor of Mathematics at the Mathematical Institute, University of Oxford and Emeritus Fellow of Wadham College...
quasi-local energy-momentum based on twistor methods, the field is still in flux. Eventually, the hope is to use a suitable defined quasi-local mass to give a more precise formulation of the hoop conjecture
Hoop Conjecture
The Hoop Conjecture, proposed by Kip Thorne in 1972, states that an imploding object forms a black hole when, and only when, a circular hoop with a specific critical circumference could be placed around the object and rotated...
, prove the so-called Penrose inequality for black holes (relating the black hole's mass to the horizon area) and find a quasi-local version of the laws of black hole mechanics.
Komar mass in stationary spacetimes
A non-technical definition of a stationary spacetimeStationary spacetime
In general relativity, specifically in the Einstein field equations, a spacetime is said to be stationary if it admits a Killing vector that is asymptotically timelike....
is a spacetime where none of the metric coefficients
are functions of time. The Schwarzschild metricSchwarzschild metric
In Einstein's theory of general relativity, the Schwarzschild solution describes the gravitational field outside a spherical, uncharged, non-rotating mass such as a star, planet, or black hole. It is also a good approximation to the gravitational field of a slowly rotating body like the Earth or...
of a black hole
Black hole
A black hole is a region of spacetime from which nothing, not even light, can escape. The theory of general relativity predicts that a sufficiently compact mass will deform spacetime to form a black hole. Around a black hole there is a mathematically defined surface called an event horizon that...
and the Kerr metric
Kerr metric
The Kerr metric describes the geometry of empty spacetime around an uncharged axially-symmetric black-hole with an event horizon which is topologically a sphere. The Kerr metric is an exact solution of the Einstein field equations of general relativity; these equations are highly non-linear, which...
of a rotating black hole
Rotating black hole
A rotating black hole is a black hole that possesses spin angular momentum.-Types of black holes:There are four known, exact, black hole solutions to Einstein's equations, which describe gravity in General Relativity. Two of these rotate...
are common examples of stationary spacetimes.
By definition, a stationary spacetime exhibits time translation symmetry. This is technically called a time-like Killing vector. Because the system has a time translation symmetry, Noether's theorem guarantees that it has a conserved energy. Because a stationary system also has a well defined rest frame in which its momentum can be considered to be zero, defining the energy of the system also defines its mass. In general relativity, this mass is called the Komar mass of the system. Komar mass can only be defined for stationary systems.
Komar mass can also be defined by a flux integral. This is similar to the way that Gauss's law
Gauss's law
In physics, Gauss's law, also known as Gauss's flux theorem, is a law relating the distribution of electric charge to the resulting electric field. Gauss's law states that:...
defines the charge enclosed by a surface as the normal electric force multiplied by the area. The flux integral used to define Komar mass is slightly different from that used to define the electric field, however - the normal force is not the actual force, but the "force at infinity". See the main article
Komar mass
The Komar mass of a system is one of several formal concepts of mass that are used in general relativity. The Komar mass can be defined in any stationary spacetime, which is a spacetime in which all the metric can be written so that they are independent of time...
for more detail.
Of the two definitions, the description of Komar mass in terms of a time translation symmetry provides the deepest insight.
ADM and Bondi masses in asymptotically flat space-times
If a system containing gravitational sources is surrounded by an infinite vacuum region, the geometry of the space-time will tend to approach the flat Minkowski geometry of special relativity at infinity.Such space-times are known as "asymptotically flat" space-times.
For systems in which space-time is asymptotically flat, the ADM and Bondi energy, momentum, and mass can be defined. In terms of Noether's theorem, the ADM energy, momentum, and mass are defined by the asymptotic symmetries at spatial infinity, and the Bondi energy, momentum, and mass are defined by the asymptotic symmetries at null infinity. Note that mass is computed as the length of the energy-momentum four vector, which can be thought of as the energy and momentum of the system "at infinity".
The Newtonian limit for nearly flat space-times
In the Newtonian limit, for quasi-static systems in nearly flat space-times, one can approximate the total energy of the system by adding together the non-gravitational components of the energy of the system and then subtracting the Newtonian gravitational binding energy.Translating the above statement into the language of general relativity, we say that a system in nearly flat space-time has a total non-gravitational energy E and momentum P given by:
When the components of the momentum vector of the system are zero, i.e. Pi = 0, the approximate mass of the system is just (E+Ebinding)/c2, Ebinding being a negative number representing the Newtonian gravitational self-binding energy.
Hence when one assumes that the system is quasi-static, one assumes that there is no significant energy present in the form of "gravitational waves". When one assumes that the system is in "nearly-flat" space-time, one assumes that the metric coefficients are essentially Minkowskian within acceptable experimental error.
History
In 1918, David HilbertDavid Hilbert
David Hilbert was a German mathematician. He is recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory and the axiomatization of...
wrote about the difficulty in assigning an energy to a "field" and "the failure of the energy theorem" in a correspondence with Klein
Felix Klein
Christian Felix Klein was a German mathematician, known for his work in group theory, function theory, non-Euclidean geometry, and on the connections between geometry and group theory...
. In this letter, Hilbert conjectured that this failure is a characteristic feature of the general theory, and that instead of "proper energy theorems" one had 'improper energy theorems'.
This conjecture was soon proved to be correct by one of Hilbert's close associates, Emmy Noether
Emmy Noether
Amalie Emmy Noether was an influential German mathematician known for her groundbreaking contributions to abstract algebra and theoretical physics. Described by David Hilbert, Albert Einstein and others as the most important woman in the history of mathematics, she revolutionized the theories of...
. Noether's theorem
Noether's theorem
Noether's theorem states that any differentiable symmetry of the action of a physical system has a corresponding conservation law. The theorem was proved by German mathematician Emmy Noether in 1915 and published in 1918...
applies to any system which can be described by an action principle
Action (physics)
In physics, action is an attribute of the dynamics of a physical system. It is a mathematical functional which takes the trajectory, also called path or history, of the system as its argument and has a real number as its result. Action has the dimension of energy × time, and its unit is...
. Noether's theorem associates conserved energies with time-translation symmetries. When the time-translation symmetry is a finite parameter continuous group
Lie group
In mathematics, a Lie group is a group which is also a differentiable manifold, with the property that the group operations are compatible with the smooth structure...
, such as the Poincaré group
Poincaré group
In physics and mathematics, the Poincaré group, named after Henri Poincaré, is the group of isometries of Minkowski spacetime.-Simple explanation:...
, Noether's theorem defines a scalar conserved energy for the system in question. However, when the symmetry is an infinite parameter continuous group, the existence of a conserved energy is not guaranteed. In a similar manner, Noether's theorem associates conserved momenta with space-translations, when the symmetry group
Symmetry group
The symmetry group of an object is the group of all isometries under which it is invariant with composition as the operation...
of the translations is finite dimensional. Because General Relativity is a diffeomorphism
Diffeomorphism
In mathematics, a diffeomorphism is an isomorphism in the category of smooth manifolds. It is an invertible function that maps one differentiable manifold to another, such that both the function and its inverse are smooth.- Definition :...
invariant theory, it has an infinite continuous group of symmetries rather than a finite-parameter group of symmetries, and hence has the wrong group structure to guarantee a conserved energy. Noether's theorem has been extremely influential in inspiring and unifying various ideas of mass, system energy, and system momentum in General Relativity.
As an example of the application of Noether's theorem is the example of stationary space-times and their associated Komar mass.(Komar 1959). While general space-times lack a finite-parameter time-translation symmetry, stationary space-times have such a symmetry, known as a Killing vector. Noether's theorem proves that such stationary space-times must have an associated conserved energy. This conserved energy defines a conserved mass, the Komar mass.
ADM mass was introduced (Arnowitt et al., 1960) from an initial-value formulation of general relativity. It was later reformulated in terms of the group of asymptotic symmetries at spatial infinity, the SPI group, by various authors. (Held, 1980). This reformulation did much to clarify the theory, including explaining why ADM momentum and ADM energy transforms as a 4-vector (Held, 1980). Note that the SPI group is actually infinite dimensional. The existence of conserved quantities is because the SPI group of "super-translations" has a preferred 4-parameter subgroup of "pure" translations, which, by Noether's theorem, generates a conserved 4-parameter energy-momentum. The norm of this 4-parameter energy-momentum is the ADM mass.
The Bondi mass was introduced (Bondi, 1962) in a paper that studied the loss of mass of physical systems via gravitational radiation. The Bondi mass is also associated with a group of asymptotic symmetries, the BMS group at null infinity. Like the SPI group at spatial infinity, the BMS group at null infinity is infinite dimensional, and it also has a preferred 4-parameter subgroup of "pure" translations.
Another approach to the problem of energy in General Relativity is the use of pseudotensor
Pseudotensor
In physics and mathematics, a pseudotensor is usually a quantity that transforms like a tensor under an orientation preserving coordinate transformation , but gains an additional sign flip under an orientation reversing coordinate transformation In physics and mathematics, a pseudotensor is usually...
s such as the Landau-Lifshitz pseudotensor.(Landau and Lifshitz, 1962). Pseudotensors are not gauge invariant - because of this, they only give consistent gauge-independent answers for the total energy when additional constraints (such as asymptotic flatness) are met. The gauge dependence of pseudotensors also prevents any gauge-independent definition of the local energy density, as every different gauge choice results in a different local energy density.
Questions, answers, and simple examples of mass in general relativity
In special relativity, the invariant mass of a single particle is always Lorentz invariant. Can the same thing be said for the mass of a system of particles in special relativity?- Surprisingly, the answer is no. A system must either be isolated, or have zero volume, in order for its mass to be Lorentz invariant. While the density of energy momentum, the stress-energy tensorStress-energy tensorThe stress–energy tensor is a tensor quantity in physics that describes the density and flux of energy and momentum in spacetime, generalizing the stress tensor of Newtonian physics. It is an attribute of matter, radiation, and non-gravitational force fields...
is always Lorentz covariant, the same cannot be said for the total energy-momentum. (Nakamura, 2005). Non-covariance of the energy-momentum four-vector implies non-invariance of its length, the invariant mass.
- What this means in simpler language is that one must use great caution when talking about the mass of a non-isolated system. A non-isolated system is constantly exchanging energy-momentum with its surroundings. Even when the net rate of exchange of energy-momentum with the environment is zero, differences in the definition of simultaneity cause the total amount of energy-momentum contained within the system at a given instant of time to depend on the definition of simultaneity that is adopted by the observer. This causes the invariant mass of a non-isolated system to depend on one's choice of coordinates even in special relativity. Only an isolated system has a coordinate-independent mass.
Can an object move so fast that it turns into a black hole?
- No. An object that is not a black hole in its rest frame will not be a black hole in any other frame. One of the characteristics of a black hole is that a black hole has an event horizon, which light cannot escape. If light can escape from an object to infinity in the object's rest frame, it can also escape to infinity in a frame in which the object is moving. The path that the light takes will be aberratedAberration of lightThe aberration of light is an astronomical phenomenon which produces an apparent motion of celestial objects about their real locations...
by the motion of the object, but the light will still escape to infinity.
If two objects have the same mass, and we heat one of them up from an external source, does the heated object gain mass? If we put both objects on a sensitive enough balance, would the heated object weigh more than the unheated object? Would the heated object have a stronger gravitational field than the unheated object?
- The answer to all of the above questions is yes. The hot object has more energy, so it weighs more and has a higher mass than the cold object. It will also have a higher gravitational field to go along with its higher mass, by the equivalence principle. (Carlip 1999)
Imagine that we have a solid pressure vessel enclosing an ideal gas. We heat the gas up with an external source of energy, adding an amount of energy E to the system. Does the mass of our system increase by E/c2? Does the mass of the gas increase by E/c2?
- The question is somewhat ambiguous as stated. Interpreting the question as a question about the Komar mass, the answers to the questions are yes, and no, respectively. Because the pressure vessel generates a static space-time, the Komar massKomar massThe Komar mass of a system is one of several formal concepts of mass that are used in general relativity. The Komar mass can be defined in any stationary spacetime, which is a spacetime in which all the metric can be written so that they are independent of time...
exists, and can be found by treating the ideal gas as an ideal fluid. Using the formula for the Komar mass of a small system in a nearly Minkowskian space-time, one finds that the mass of the system in geometrized units is equal to E + ∫ 3 P dV, where E is the total energy of the system, and P is the pressure.
- The integral ∫ P dV over the entire volume of the system is equal to zero, however. The contribution of the positive pressure in the fluid is exactly canceled out by the contribution of the negative pressure (tension) in the shell. This cancellation is not accidental, it is a consequence of the relativistic virial theorem (Carlip 1999).
- If we restrict our region of integration to the fluid itself, however, the integral is not zero and the pressure contributes to the mass. Because the integral of the pressure is positive, we find that the Komar mass of the fluid increases by more than E/c2.
- The significance of the pressure terms in the Komar formula can best be understood by a thought experiment. If we assume a spherical pressure vessel, the pressure vessel itself will not contribute to the gravitational acceleration measured by an accelerometer inside the shell. The Komar mass formula tells us that the surface acceleration we measure just inside the pressure vessel, at the outer edge of the hot gas will be equal to
-
- where E is the total energy (including rest energy) of the hot gas
- G is Newton's Gravitational constant
- P is the pressure of the hot gas
- V is the volume of the pressure vessel.
- This surface acceleration will be higher than expected because of the pressure terms. In a fully relativistic gas, (this includes a "box of light" as a special case), the contribution of the pressure term 3 P V will be equal to the energy term E, and the acceleration at the surface will be doubled from the value for a non-relativistic gas.
- One might also ask about the answers to this question if one assumed that one were asking about the mass as it is defined in special relativity rather than the Komar mass. If one assumes that the space-time is nearly Minkowskian, the special relativistic mass exists. In this case, the answer to the first question is still yes, but the second question cannot be answered without even more data. Because the system consisting only of the gas is not an isolated system, its mass is not invariant, and thus depends on the choice of observational frame. A specific choice of observational frame (such as the rest frame of the system) must be specified in order to answer the second question. If the rest frame of the object is chosen, and special relativistic mass rather than Komar mass is assumed, the answer to the second question becomes yes. This problem illustrates some of the difficulties one faces when talking about the mass of non-isolated systems.
The only difference between the "hot" and "cold" systems in our last question is due to the motion of the particles in the gas inside the pressure vessel. Doesn't this imply that a moving particle has "more gravity" than a stationary particle?
- This remark is probably true in essence, but it is difficult to quantify.
- Unfortunately, it is not clear how to measure the "gravitational field" of a single relativistically moving object. It is clear that it is possible to view gravity as a force when one has a stationary metric - but the metric associated with a moving mass is not stationary.
- While definitional and measurement issues constrain our ability to quantify the gravitational field of a moving mass, one can measure and quantify the effect of motion on tidal gravitational forces. When one does so, one finds that the tidal gravity of a moving mass is not spherically symmetrical - it is stronger in some directions than others. One can also say that, averaged over all directions, the tidal gravity increases when an object moves.
- Some authors have used the total velocity imparted by a "flyby" rather than tidal forces to gain an indirect measure of the increase in gravitational "effective mass" of relativistically moving objects (Olson & Guarino 1985)
- While there is unfortunately no single definitive way to interpret the space-time curvature caused by a moving mass as a Newtonian force, one can definitely say that the motion of the molecules in a hot object increases the mass of that object.
- Note that in General Relativity, gravity is caused not by mass, but by the stress-energy tensor. Thus, saying that a moving particle has "more gravity" does not imply that the particle has "more mass". It only implies that the moving particle has "more energy".
Suppose the pressure vessel in our previous question fails, and the system explodes - does its mass change?
- The mass of the system doesn't change because the vessel (or the pieces of the vessel after it explodes) form an isolated system. This question does illustrate one of the limitations of the Komar formula - the Komar mass is defined only for stationary systems. If one applies the Komar formula to this non-static non-stationary system, one gets the incorrect result that the mass of the system changes. The pressure and density of the gas remains constant for a short time after the failure, while the tension in the pressure vessel disappears immediately when the pressure vessel fails. One cannot correctly apply the Komar formula in this case, however - one needs to apply a different formula, such as the ADM mass formula, the Newtonian limit formula, or the special relativistic formula.
What is the mass of the universe? What is the mass of the observable universe? Does a closed universe have a mass?
- None of the above questions have answers. We know the density of the universe (at least in our local area), but we can only speculate on the extent of the universe, making it impossible for us to give a definitive answer for the mass of the universe. We cannot answer the second question, either. Since the observable universe isn't asymptotically flat, nor is it stationary, and since it may not be an isolated system, none of our definitions of mass in General Relativity apply, and there is no way to calculate the mass of the observable universe. The answer to the third question is also no : the following quote from (Misner, et al., pg 457) explains why:
-
- "There is no such thing as the energy (or angular momentum, or charge) of a closed universe, according to general relativity, and this for a simple reason. To weigh something one needs a platform on which to stand to do the weighing ...
-
- "To determine the electric charge of a body, one surrounds it by a large sphere, evaluates the electric field normal to the surface at each point on this sphere, integrates over the sphere, and applies the theorem of Gauss. But within any closed model universe with the topology of a 3-sphere, a Gaussian 2-sphere that is expanded widely enough from one point finds itself collapsing to nothingness at the antipodal point. Also collapsed to nothingness is the attempt to acquire useful information about the "charge of the universe": the charge is trivially zero."
See also
- Mass in special relativityMass in special relativityMass in special relativity incorporates the general understandings from the concept of mass-energy equivalence. Added to this concept is an additional complication resulting from the fact that "mass" is defined in two different ways in special relativity: one way defines mass as an invariant...
- General relativityGeneral relativityGeneral relativity or the general theory of relativity is the geometric theory of gravitation published by Albert Einstein in 1916. It is the current description of gravitation in modern physics...
- Conservation of energyConservation of energyThe nineteenth century law of conservation of energy is a law of physics. It states that the total amount of energy in an isolated system remains constant over time. The total energy is said to be conserved over time...
- Komar massKomar massThe Komar mass of a system is one of several formal concepts of mass that are used in general relativity. The Komar mass can be defined in any stationary spacetime, which is a spacetime in which all the metric can be written so that they are independent of time...
- Hawking energyHawking energyThe Hawking energy or Hawking mass is one of the possible definitions of mass in general relativity. It is a measure of the bending of ingoing and outgoing rays of light that are orthogonal to a 2-sphere surrounding the region of space whose mass is to be defined.- Definition :Let be a...
- ADM mass
- Positive mass theorem