| Energy Condition |
Article Index for Energy |
Website Links For Energy |
Information AboutEnergy Condition |
| CATEGORIES ABOUT ENERGY CONDITION | |
| mathematical methods in general relativity | |
|
MOTIVATION In General Relativity and allied theories, the distribution of the mass, momentum, and stress due to matter and to any non-gravitational fields is described by the Energy-momentum Tensor (or ''matter tensor'') . However, the Einstein Field Equation is not very choosy about what kinds of states of matter or nongravitational fields are admissible in a spacetime model. This is both a strength, since a good general theory of gravitation should be maximally independent of any assumptions concerning nongravitational physics, and a weakness, because without some further criterion, the Einstein field equation admits putative solutions with properties most physicists regard as ''unphysical'', i.e. too weird to resemble anything in the real universe even approximately. The energy conditions represent such criteria. Roughly speaking, they crudely describe properties common to all (or almost all) states of matter and all nongravitational fields which are well-established in physics, while be sufficiently strong to rule out many unphysical "solutions" of the Einstein field equation. Mathematically speaking, the most apparent distinguishing feature of the energy conditions is that they are essentially restrictions on the Eigenvalue s and Eigenvector s of the matter tensor. A more subtle but no less important feature is that they are imposed ''eventwise'', at the level of Tangent Space s. Therefore they have no hope of ruling out objectionable Global Features , such as Closed Timelike Curve s. SOME OBSERVABLE QUANTITIES In order to understand the statements of the various energy conditions, one must be familiar with the physical interpretation of some scalar and vector quantities constructed from arbitrary Timelike or Null Vector s and the matter tensor. First, an arbitrary timelike vector field can be Interpreted as defining the world lines of some family of (possibly noninertial) ideal observers. Then the Scalar Field : can be interpreted as the total Mass-energy Density (matter plus field energy of any nongravitational fields) measured by the observer from our family (at each event on his world line). Similarly, the Vector Field with components represents (after a projection) the Momentum measured by our observers. Second, given an arbitrary null vector field , the scalar field : can be considered a kind of limiting case of the mass-energy density. Third, in the case of general relativity, given an arbitrary timelike vector field , again interpreted as describing the motion of a family of ideal observers, the ''Raychaudhuri scalar'' is the scalar field obtained by taking the Trace of the Tidal Tensor corresponding to those observers at each event: : This quantity plays a crucial role in Raychaudhuri's Equation . Then from Einstein field equation we immediately obtain : where is the trace of the matter tensor. MATHEMATICAL STATEMENT There are currently approximately half a dozen alternative energy conditions in common use:
Each of these has an ''averaged'' version, in which the properties noted above are to hold only ''on average'' along the flowlines of the appropriate vector fields. For example, the averaged null energy condition states that for every flowline (integral curve) of the null vector field , we must have : PERFECT FLUIDS Perfect Fluids possess a matter tensor of form : where is the Four-velocity of the matter particles and where is the Projection Tensor onto the spatial hyperplane elements orthogonal to the four-velocity, at each event. (Notice that these hyperplane elements will not form a spatial hyperslice unless the velocity is ''vorticity-free''; that is, ''irrotational''.) With respect to a Frame aligned with the motion of the matter particles, the components of the matter tensor take the diagonal form : Here, is of course the mass Density and is the Pressure . The energy conditions can then be reformulated in terms of these eigenvalues:
|
|
|