|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{See introduction}}
| | Hello! <br>I'm Japanese female :D. <br>I really like Air sports!<br><br>Feel free to visit my site [http://www.dongguanchurch.org/?mid=menu001&act=dispBoardDeleteTrackback&trackback_srl=58431&document_srl=174446&sort_index=regdate&order_type=desc Fifa Coin Generator] |
| {{General relativity}}
| |
| | |
| The '''mathematics of general relativity''' refers to various [[mathematics|mathematical]] structures and techniques that are used in studying and formulating [[Albert Einstein]]'s theory of [[general relativity]]. The main tools used in this [[geometry|geometrical]] [[theory]] of [[gravitation]] are [[tensor fields]] defined on a [[Pseudo-Riemannian manifold#Lorentzian manifold|Lorentzian manifold]] representing [[spacetime]]. This article is a general description of the mathematics of general relativity.
| |
| | |
| :''Note: General relativity articles using tensors will use the [[abstract index notation]]''.
| |
| | |
| ==Why tensors?==
| |
| The [[principle of general covariance]] states that the laws of [[physics]] should take the same mathematical form in all [[reference frames]] and was one of the central principles in the development of general relativity. The term 'general covariance' was used in the early formulation of general relativity, but is now referred to by many as [[diffeomorphism covariance]]. Although ''diffeomorphism covariance is not the defining feature of general relativity''[[#note 1|<sup id=ref 1>[1]</sup>]], and controversies remain regarding its present status in GR, the invariance property of physical laws implied in the principle coupled with the fact that the theory is essentially geometrical in character (making use of [[geometry|geometries]] which are not Euclidean) suggested that general relativity be formulated using the language of [[tensor]]s. This will be discussed further below.
| |
| | |
| ==Spacetime as a manifold==
| |
| {{Main|Spacetime|Spacetime topology}}
| |
| | |
| Most modern approaches to mathematical [[general relativity]] begin with the concept of a [[manifold]]. More precisely, the basic physical construct representing [[gravitation]] - a curved spacetime - is modelled by a four-dimensional, smooth, [[connected space|connected]], [[Pseudo-Riemannian manifold#Lorentzian manifold|Lorentzian manifold]]. Other physical descriptors are represented by various tensors, discussed below.
| |
| | |
| The rationale for choosing a manifold as the fundamental mathematical structure is to reflect desirable physical properties. For example, in the theory of manifolds, each point is contained in a (by no means unique) [[coordinate chart]], and this chart can be thought of as representing the 'local spacetime' around the [[observation|observer]] (represented by the point). The principle of [[Lorentz covariance#local Lorentz covariance|local Lorentz covariance]], which states that the laws of [[special relativity]] hold locally about each point of spacetime, lends further support to the choice of a manifold structure for representing spacetime, as locally around a point on a general manifold, the region 'looks like', or approximates very closely [[Minkowski space]] (flat spacetime).
| |
| | |
| The idea of coordinate charts as 'local observers who can perform measurements in their vicinity' also makes good physical sense, as this is how one actually collects physical data - locally. For cosmological problems, a coordinate chart may be quite large.
| |
| | |
| ===Local versus global structure===
| |
| An important distinction in physics is the difference between local and global structures. Measurements in physics are performed in a relatively small region of spacetime and this is one reason for studying the [[local spacetime structure|local structure of spacetime]] in general relativity, whereas determining the [[global spacetime structure]] is important, especially in cosmological problems.
| |
| | |
| An important problem in general relativity is to tell when two spacetimes are 'the same', at least locally. This problem has its roots in manifold theory where determining if two Riemannian manifolds of the same dimension are [[local isometry|locally isometric]] ('locally the same'). This latter problem has been solved and its adaptation for general relativity is called the [[Cartan-Karlhede algorithm]].
| |
| | |
| ==Tensors in General Relativity==
| |
| {{further2|[[Tensor]]|[[Tensor (intrinsic definition)]]|[[Classical treatment of tensors]]|[[Intermediate treatment of tensors]]}}
| |
| One of the profound consequences of relativity theory was the abolition of [[preferred reference frames|privileged reference frames]]. The description of physical phenomena should not depend upon who does the measuring - one reference frame should be as good as any other. Special relativity demonstrated that no [[inertial reference frame]] was preferential to any other inertial reference frame, but preferred inertial reference frames over noninertial reference frames. General relativity eliminated preference for inertial reference frames by showing that there is no preferred reference frame (inertial or not) for describing nature.
| |
| | |
| Any observer can make measurements and the precise numerical quantities obtained only depend on the coordinate system used. This suggested a way of formulating relativity using 'invariant structures', those that are independent of the coordinate system (represented by the observer) used, yet still have an independent existence. The most suitable mathematical structure seemed to be a tensor. For example, when measuring the electric and magnetic fields produced by an accelerating charge, the values of the fields will depend on the coordinate system used, but the fields are regarded as having an independent existence, this independence represented by the [[Faraday tensor#Formulation of Maxwell.27s equations in special relativity|electromagnetic field tensor]] .
| |
| | |
| Mathematically, tensors are generalised linear operators - [[multilinear]] [[Map (mathematics)|map]]s. As such, the ideas of [[linear algebra]] are employed to study tensors.
| |
| | |
| At each point <math>\scriptstyle \, p</math> of a [[manifold]], the [[tangent space|tangent]] and [[cotangent space]]s to the manifold at that point may be constructed. [[vector space|Vectors]] (sometimes referred to as [[covariance and contravariance of vectors|contravariant vectors]]) are defined as elements of the tangent space and [[dual space|covectors]] (sometimes termed [[covariance and contravariance of vectors|covariant vectors]], but more commonly [[dual space|dual vectors]] or [[p-form|one-forms]]) are elements of the cotangent space.
| |
| | |
| At <math>\scriptstyle \, p</math>, these two [[vector space]]s may be used to construct type <math>\scriptstyle \, (r,\, s)</math> tensors, which are real-valued multilinear maps acting on the [[direct sum of modules#Construction for two vector spaces|direct sum]] of <math>\scriptstyle \, r</math> copies of the cotangent space with <math>\scriptstyle \, s</math> copies of the tangent space. The set of all such multilinear maps forms a vector space, called the tensor product space of type <math>\scriptstyle \, (r,\, s)</math> at <math>\scriptstyle \, p</math> and denoted by <math>\scriptstyle \, (T_p)^r{}_sM</math>. If the tangent space is n-dimensional, it can be shown that <math>\scriptstyle \dim (T_p)^r{}_sM \;=\; n^{r+s}</math>.
| |
| | |
| In the [[general relativity]] literature, it is conventional to use the component syntax for tensors.
| |
| | |
| A type (r,s) tensor may be written as
| |
| | |
| <!-- NOTE: PNG MODE is being forced ON PURPOSE here. This equation does not come out right otherwise. -->
| |
| :<math> T \;\! = \;\! {T^{a_1 \ldots a_r}}_{{b_1} \ldots {b_s}} \frac {\partial} {\partial x^{a_1}} \otimes \ldots \otimes \frac {\partial} {\partial x^{a_r}} \otimes dx^{b_1} \otimes \ldots \otimes dx^{b_s} </math>
| |
| | |
| where <math>\scriptstyle \frac {\partial} {\partial x^{a_i}}</math> is a basis for the ''i''-th<!--reads better with a dash--> tangent space and <math>\scriptstyle dx^{b_j}</math> a basis for the ''j''-th cotangent space.
| |
| | |
| As [[spacetime]] is assumed to be four-dimensional, each index on a tensor can be one of four values. Hence, the total number of elements a tensor possesses equals 4<sup>''R''</sup>, where R is the sum of the numbers of covariant and contravariant indices on the tensor (a number called the [[Tensor#Tensor rank|rank]] of the tensor).
| |
| | |
| ===Symmetric and antisymmetric tensors===
| |
| {{Main|Antisymmetric tensor|Symmetric tensor}}
| |
| Some physical quantities are represented by tensors not all of whose components are independent. Important examples of such tensors include symmetric and antisymmetric tensors. Antisymmetric tensors are commonly used to represent rotations (for example, the [[vorticity tensor]]).
| |
| | |
| Although a generic rank R tensor in 4 dimensions has 4<sup>''R''</sup> components, constraints on the tensor such as symmetry or antisymmetry serve to reduce the number of distinct components. For example, a symmetric rank two tensor <math>\scriptstyle T</math> satisfies <math>\scriptstyle T_{ab} \;=\; T_{ba}</math> and possesses 10 independent components, whereas an antisymmetric (skew-symmetric) rank two tensor <math>\scriptstyle P</math> satisfies <math>\scriptstyle P_{ab} \;=\; -P_{ba}</math> and has 6 independent components. For ranks greater than two, the symmetric or antisymmetric index pairs must be explicitly identified.
| |
| | |
| Antisymmetric tensors of rank 2 play important roles in relativity theory. The set of all such tensors - often called [[p-vector#Bivectors|bivector]]s - forms a vector space of dimension 6, sometimes called bivector space.
| |
| | |
| ===The metric tensor===
| |
| {{Main|Metric tensor (general relativity)}}
| |
| | |
| The metric tensor is a central object in general relativity that describes the local geometry of spacetime (as a result of solving the [[Einstein field equation]]). Using the [[weak-field approximation]], the metric can also be thought of as representing the 'gravitational potential'. The metric tensor is often just called 'the metric'.
| |
| | |
| The metric is a symmetric tensor and is an important mathematical tool. As well as being used to [[metric tensor (general relativity)|raise and lower tensor indices]], it also generates the [[connection (mathematics)|connections]] which are used to construct the [[geodesic]] equations of motion and the [[Riemann curvature tensor]].
| |
| | |
| A convenient means of expressing the metric tensor in combination with the incremental intervals of coordinate distance that it relates to is through the [[line element]]:
| |
| | |
| :<math>ds^2 = g_{ab} \, dx^a \, dx^b</math>
| |
| | |
| This way of expressing the metric was used by the pioneers of [[differential geometry]]. While some relativists consider the notation to be somewhat old-fashioned, many readily switch between this and the alternative notation:
| |
| | |
| :<math>g = g_{ab} \, dx^a \otimes dx^b</math>
| |
| | |
| The metric tensor is commonly written as a 4 by 4 matrix. This matrix is symmetric and thus has 10 independent components.
| |
| | |
| ===Invariants===
| |
| One of the central features of GR is the idea of invariance of physical laws. This invariance can be described in many ways, for example, in terms of [[Lorentz covariance#local Lorentz covariance|local Lorentz covariance]], the [[general principle of relativity]], or [[diffeomorphism covariance]].
| |
| | |
| A more explicit description can be given using tensors. The crucial feature of tensors used in this approach is the fact that (once a metric is given) the operation of contracting a tensor of rank R over all R indices gives a number - an ''invariant'' - that is independent of the [[coordinate chart]] one uses to perform the contraction. Physically, this means that if the invariant is calculated by any two observers, they will get the same number, thus suggesting that the invariant has some independent significance. Some important invariants in relativity include:
| |
| | |
| * The [[Ricci scalar]]: <math>\scriptstyle R \;=\; R^{ab}g_{ab}</math>
| |
| * The [[Kretschmann scalar]]: <math>\scriptstyle K \;=\; R^{abcd}R_{abcd}</math>
| |
| | |
| Other examples of invariants in relativity include the [[Classification of electromagnetic fields#Physical interpretation|electromagnetic invariants]], and various other [[curvature invariant (general relativity)|curvature invariants]], some of the latter finding application in the study of [[gravitational entropy]] and the [[Weyl curvature hypothesis]].
| |
| | |
| ===Tensor classifications===
| |
| The classification of tensors is a purely mathematical problem. In GR, however, certain tensors that have a physical interpretation can be classified with the different forms of the tensor usually corresponding to some physics. Examples of tensor classifications useful in general relativity include the [[Segre classification]] of the [[energy-momentum tensor]] and the [[Petrov classification]] of the [[Weyl tensor]]. There are various methods of classifying these tensors, some of which use tensor invariants.
| |
| | |
| ==Tensor fields in General Relativity==
| |
| {{main|Tensor field}}
| |
| Tensor fields on a manifold are maps which attach a tensor to each point of the [[manifold]]. This notion can be made more precise by introducing the idea of a [[fibre bundle]], which in the present context means to collect together all the tensors at all points of the manifold, thus 'bundling' them all into one grand object called the [[tensor bundle]]. A tensor field is then defined as a map from the manifold to the tensor bundle, each point <math>\scriptstyle p</math> being associated with a tensor at <math>\scriptstyle p</math>.
| |
| | |
| The notion of a tensor field is of major importance in GR. For example, the geometry around a [[star]] is described by a metric tensor at each point, so at each point of the spacetime the value of the metric should be given to solve for the paths of material particles. Another example is the values of the electric and magnetic fields (given by the [[electromagnetic field]] tensor) and the metric at each point around a charged [[black hole]] to determine the motion of a charged particle in such a field.
| |
| | |
| Vector fields are contravariant rank one tensor fields. Important vector fields in [[theory of relativity|relativity]] include the [[four-velocity]], <math>\scriptstyle U^a \;=\; \dot{x}^a</math>, which is the coordinate distance travelled per unit of proper time, the [[four-acceleration]] <math>\scriptstyle A^a \;=\; \ddot{x}^a</math> and the four-current <math>\scriptstyle \, J^a</math> describing the charge and current densities. Other physically important tensor fields in relativity include the following:
| |
| | |
| * The [[energy-momentum density|stress-energy tensor]] <math>\scriptstyle \, T^{ab}</math>, a symmetric rank-two tensor.
| |
| * The [[Faraday tensor#Formulation of Maxwell.27s equations in special relativity|electromagnetic field tensor]] <math>\scriptstyle \, F^{ab}</math>, a rank-two antisymmetric tensor.
| |
| | |
| Although the word 'tensor' refers to an object at a point, it is common practice to refer to tensor fields on a spacetime (or a region of it) as just 'tensors'.
| |
| | |
| At each point of a [[spacetime]] on which a metric is defined, the metric can be reduced to the Minkowski form using [[Sylvester's Law of Inertia]].
| |
| | |
| ==Tensorial derivatives==
| |
| Before the advent of general relativity, changes in physical processes were generally described by [[partial derivative]]s, for example, in describing changes in [[electromagnetic field]]s (see [[Maxwell's equations]]). Even in [[special relativity]], the partial derivative is still sufficient to describe such changes. However, in general relativity, it is found that derivatives which are also tensors must be used. The derivatives have some common features including that they are derivatives along [[integral curve]]s of vector fields.
| |
| | |
| The problem in defining derivatives on [[manifold]]s that are not flat is that there is no natural way to compare vectors at different points. An extra structure on a general manifold is required to define derivatives. Below are described two important derivatives that can be defined by imposing an additional structure on the manifold in each case.
| |
| | |
| ===Affine connections===
| |
| {{main|Affine connection}}
| |
| | |
| The curvature of a [[spacetime]] can be characterised by taking a vector at some point and [[parallel transport]]ing it along a [[curve]] on the spacetime. An affine connection is a rule which describes how to legitimately move a vector along a curve on the manifold without changing its direction.
| |
| | |
| By definition, an affine connection is a bilinear map <math>\scriptstyle \Gamma(TM)\times\Gamma(TM) \;\rightarrow\; \Gamma(TM)</math>, where <math>\scriptstyle \,\Gamma(TM)</math> is a space of all vector fields on the spacetime. This bilinear map can be described in terms of a set of ''connection coefficients'' (also known as [[Christoffel symbols]]) specifying what happens to components of basis vectors under infinitesimal parallel transport:
| |
| | |
| :<math>\nabla _{e_i} e_j = \Gamma ^k _{ji} e_k</math>
| |
| | |
| Despite their appearance, the '''''connection coefficients are not the components of a tensor'''''.
| |
| | |
| Generally speaking, there are D<sup>3</sup> independent connection coefficients at each point of spacetime. The connection is called ''symmetric'' or ''torsion-free'', if <math>\scriptstyle \Gamma^k_{ji} \;=\; \Gamma^k_{ij}</math>. A symmetric connection has at most {{nowrap|{{frac|1|2}}D<sup>2</sup>(D + 1)}} unique coefficients.
| |
| | |
| For any curve <math>\scriptstyle \gamma</math> and two points <math>\scriptstyle A \;=\; \gamma(0)</math> and <math>\scriptstyle B \;=\; \gamma(t)</math> on this curve, an affine connection gives rise to a map of vectors in the tangent space at A into vectors in the tangent space at B:
| |
| | |
| :<math>X(t) \, = \Pi_{0,t,\gamma} X(0)</math>
| |
| | |
| and <math>\scriptstyle \, X(t)</math> can be computed component-wise by solving the differential equation
| |
| | |
| :<math>\frac{d}{dt} X^i(t) = \nabla_{C(t)} X^i(t) = \Gamma^i_{jk} X^j(t) C^k(t)</math>
| |
| | |
| :<math>\scriptstyle \, C^j(t)</math> being the vector tangent to the curve at the point <math>\scriptstyle \gamma(t)</math>.
| |
| | |
| An important affine connection in general relativity is the [[Levi-Civita connection]], which is a symmetric connection obtained from parallel transporting a tangent vector along a curve whilst keeping the inner product of that vector constant along the curve. The resulting connection coefficients ([[Christoffel symbols]]) can be [[metric tensor (general relativity)#Curvature|calculated directly from the metric]]. For this reason, this type of connection is often called a ''metric connection''.
| |
| | |
| ===The covariant derivative===
| |
| {{main|Covariant derivative}}
| |
| Let <math>\scriptstyle X</math> be a point, <math>\scriptstyle \vec A</math> a vector located at <math>\scriptstyle X</math>, and <math>\scriptstyle \vec B</math> a vector field. The idea of differentiating <math>\scriptstyle \vec B</math> at <math>\scriptstyle X</math> along the direction of <math>\scriptstyle \vec A</math> in a physically meaningful way can be made sense of by choosing an affine connection and a parameterized smooth curve <math>\scriptstyle \gamma\,(t)</math> such that <math>\scriptstyle X \;=\; \gamma(0)</math> and <math>\scriptstyle \vec A \;=\; {d \over dt}\gamma(0)</math>. The formula
| |
| | |
| :<math>\nabla _{\vec A} \vec B(X) = \lim_{\epsilon \rightarrow 0} \frac{1}{\epsilon}\left[\Pi_{(\epsilon,0,\gamma)} \vec B(\gamma[\epsilon]) - \vec B(X)\right] </math>
| |
| | |
| for a ''covariant derivative of <math>\scriptstyle \vec B</math> along <math>\scriptstyle \vec A</math> associated with connection <math>\scriptstyle \,\Pi</math> turns out to give curve-independent results and can be used as a "physical definition" of a covariant derivative.
| |
| | |
| It can be expressed using connection coefficients:
| |
| | |
| :<math>\nabla _{\vec Y} \vec X = X^a{}_{;b}Y^b \frac {\partial} {\partial x^a} = (X^a{}_{,b} + \Gamma ^a _{bc}X^c)Y^b \frac {\partial} {\partial x^a}</math>
| |
| | |
| The expression in brackets, called a ''covariant derivative of <math>\scriptstyle X</math> (with respect to the connection)'' and denoted by <math>\scriptstyle \nabla \vec X</math>, is more often used in calculations:
| |
| | |
| :<math>\nabla \vec X = X^a{}_{;b} \frac {\partial} {\partial x^a} \otimes dx^b = (X^a{}_{,b} + \Gamma ^a _{bc}X^c) \frac {\partial} {\partial x^a} \otimes dx^b</math>
| |
| | |
| A covariant derivative of X can thus be viewed as a [[differential operator]] acting on a vector field sending it to a type {{nowrap|(1, 1)}} tensor ('increasing the covariant index by 1') and can be generalised to act on type {{nowrap|(r, s)}} tensor fields sending them to type {{nowrap|(r, s + 1)}} tensor fields. Notions of parallel transport can then be defined similarly as for the case of vector fields. By definition, a covariant derivative of a scalar field is equal to the regular derivative of the field.
| |
| | |
| In the literature, there are three common methods of denoting covariant differentiation:
| |
| | |
| :<math> D_a T^{b \dots c}_{d\dots e} = \nabla_a T^{b \dots c}_{d \dots e} = T^{b\dots c}_{d\dots e;a}</math> | |
| | |
| Many standard properties of regular partial derivatives also apply to covariant derivatives:
| |
| | |
| :<math>\begin{align}
| |
| \nabla_a (X^b + Y^b) &= \nabla_a X^b + \nabla_a Y^b \\
| |
| \nabla_a (X^b Y^c) &= Y^c (\nabla_a X^b) + X^b (\nabla_a Y^c) \\
| |
| \nabla_a (f(x) X^b) &= f \nabla_a X^b + X^b \nabla_a f = f \nabla_a X^b + X^b {\partial f \over \partial x^a} \\
| |
| \nabla_a (c X^b) &= c \nabla_a X^b, \quad c \text{ is constant}
| |
| \end{align}</math>
| |
| | |
| In General Relativity, one usually refers to "the" covariant derivative, which is the one associated with Levi-Civita affine connection. By definition, Levi-Civita connection preserves the metric under parallel transport, therefore, the covariant derivative gives zero when acting on a metric tensor (as well as its inverse). It means that we can take the (inverse) metric tensor in and out of the derivative and use it to raise and lower indices:
| |
| | |
| :<math>\nabla_a T^b = \nabla_a (T_c g^{bc}) = g^{bc} \nabla_a T_c</math>
| |
| | |
| ===The Lie derivative===
| |
| {{main|Lie derivative|Spacetime symmetries}}
| |
| Another important tensorial derivative is the Lie derivative. Unlike the covariant derivative, the Lie derivative is independent of the metric, although in general relativity one usually uses an expression that seemingly depends on the metric through the affine connection. Whereas the covariant derivative required an affine connection to allow comparison between vectors at different points, the Lie derivative uses a congruence from a vector field to achieve the same purpose. The idea of [[Lie derivative|Lie dragging]] a function along a congruence leads to a definition of the Lie derivative, where the dragged function is compared with the value of the original function at a given point. The Lie derivative can be defined for type {{nowrap|(r, s)}} tensor fields and in this respect can be viewed as a map that sends a type {{nowrap|(r, s)}} to a type {{nowrap|(r, s)}} tensor.
| |
| | |
| The Lie derivative is usually denoted by <math>\scriptstyle \mathcal L_X</math>, where <math>\scriptstyle X</math> is the vector field along whose [[congruence (general relativity)|congruence]] the Lie derivative is taken.
| |
| | |
| The Lie derivative of any tensor along a vector field can be expressed through the covariant derivatives of that tensor and vector field. The Lie derivative of a scalar is just the directional derivative:
| |
| | |
| :<math> \mathcal L_X \phi = X^a \nabla_a \phi = X^a \frac{\partial \phi}{ \partial x^a} </math>
| |
| | |
| Higher rank objects pick up additional terms when the Lie derivative is taken. For example, the Lie derivative of a type {{nowrap|(0, 2)}} tensor is
| |
| | |
| :<math> \mathcal L_X T_{ab} = X^c \nabla_c T_{ab} + (\nabla_a X^c)T_{cb} + (\nabla_b X^c) T_{ac} = X^c T_{ab,c} + X^c_{,a} T_{cb} + X^c_{,b} T_{ac}</math>
| |
| | |
| More generally,
| |
| | |
| :<math>\begin{align}
| |
| &\mathcal L_X T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_s} = X^c(\nabla_cT^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}) - \\
| |
| & \quad (\nabla_cX ^{a_1}) T ^{c \ldots a_r}{}_{b_1 \ldots b_s} - \ldots - (\nabla_cX^{a_r}) T ^{a_1 \ldots a_{r-1}c}{}_{b_1 \ldots b_s} + \\
| |
| & \quad (\nabla_{b_1}X^c) T ^{a_1 \ldots a_r}{}_{c \ldots b_s} + \ldots + (\nabla_{b_s}X^c) T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s-1} c}
| |
| \end{align}</math>
| |
| | |
| In fact in the above expression, one can replace the covariant derivative <math>\scriptstyle \nabla_a</math> with ''any'' torsion free connection <math>\scriptstyle \tilde\nabla_a</math> or locally, with the coordinate dependent derivative <math>\scriptstyle \partial_a</math>, showing that the Lie derivative is independent of the metric. The covariant derivative is convenient however because it commutes with raising and lowering indices.
| |
| | |
| One of the main uses of the Lie derivative in general relativity is in the study of spacetime symmetries where tensors or other geometrical objects are preserved. In particular, Killing symmetry (symmetry of the metric tensor under Lie dragging) occurs very often in the study of spacetimes. Using the formula above, we can write down the condition that must be satisfied for a vector field to generate a Killing symmetry:
| |
| | |
| :<math>\begin{align}
| |
| \mathcal L_X g_{ab} &= 0 \\
| |
| \Leftrightarrow \nabla_a X_b + \nabla_b X_a &= 0 \\
| |
| \Leftrightarrow X^c g_{ab,c} + X^c_{,a} g_{bc} + X^c_{,b} g_{ac} &= 0
| |
| \end{align}</math>
| |
| | |
| ==The Riemann curvature tensor==
| |
| {{Main|Riemann tensor (general relativity)}}
| |
| | |
| A crucial feature of [[general relativity]] is the concept of a curved manifold. A useful way of measuring the curvature of a manifold is with an object called the Riemann (curvature) tensor.
| |
| | |
| This tensor measures curvature by use of an [[affine connection]] by considering the effect of [[parallel transport]]ing a vector between two points along two curves. The discrepancy between the results of these two parallel transport routes is essentially quantified by the [[Riemann tensor]].
| |
| | |
| This property of the Riemann tensor can be used to describe how initially parallel geodesics diverge. This is expressed by the equation of [[geodesic deviation]] and means that the [[tidal force]]s experienced in a gravitational field are a result of the curvature of [[spacetime]].
| |
| | |
| Using the above procedure, the Riemann tensor is defined as a type {{nowrap|(1, 3)}} tensor and when fully written out explicitly contains the [[Christoffel symbols]] and their first partial derivatives. The Riemann tensor has 20 independent components. The vanishing of all these components over a region indicates that the spacetime is [[Spacetime|flat]] in that region. From the viewpoint of geodesic deviation, this means that initially parallel [[geodesic (general relativity)|geodesic]]s in that region of spacetime will stay parallel.
| |
| | |
| The Riemann tensor has a number of properties sometimes referred to as the [[Riemann tensor#Symmetries and identities|symmetries of the Riemann tensor]]. Of particular relevance to [[general relativity]] are the algebraic and differential Bianchi identities.
| |
| | |
| The connection and curvature of any [[Riemannian manifold]] are closely related, the theory of [[holonomy groups]], which are formed by taking linear maps defined by parallel transport around curves on the manifold, providing a description of this relationship.
| |
| | |
| | |
| What the Riemann Tensor allows us to do it tell, mathematically, whether a space is flat or, if curved, how much curvature takes place in any given region. In order to derive the Riemann curvature tensor we must first recall the definition of the [[covariant derivative]] of a Tensor with one and 2 indices;
| |
| | |
| | |
| # :<math>\nabla_\mu V_\nu = \partial_\mu V_\nu
| |
| - \Gamma^\rho{}_{\mu\nu} V_\rho </math>
| |
| # :<math>\nabla_m[V_{\mu \nu}] = \partial_m V_{\mu \nu} - \Gamma^\rho{}_{m\nu} V_\rho - \Gamma^\rho{}_{m\mu} V_\rho </math>
| |
| | |
| | |
| For the formation of the Riemann tensor, the covariant derivative is taken twice with the respects to a tensor of rank one. The equation is set up as follows;
| |
| | |
| | |
| | |
| :<math>\nabla_{\sigma , \mu} V_\nu = \nabla_\sigma[\nabla_\mu V_\nu] = \nabla_\sigma [\partial_\mu V_\nu - \Gamma^\rho{}_{\mu\nu} V_\rho] </math>
| |
| | |
| | |
| Following the additive property for covariant differentiation we get :<math>\nabla_\sigma [\partial_\mu V_\nu] - \nabla_\sigma [\Gamma^\rho{}_{\mu\nu} V_\rho] </math>. Now pluging in the rule for of a 2nd rank tensor;
| |
| | |
| | |
| | |
| :<math>= [\partial_\sigma[\partial_\mu V_\nu] - \Gamma^\rho{}_{\mu\nu} \partial_\sigma V_\rho - \Gamma^\rho{}_{\sigma\nu}\partial_\mu V_\rho - \Gamma^\rho{}_{\sigma\mu}\partial_\rho V_\nu] - [\partial_\sigma [\Gamma^\rho{}_{\mu\nu} V_\rho] - \Gamma^\alpha{}_{\sigma\nu}\Gamma^\rho{}_{\alpha\mu}V_\rho - \Gamma^\alpha{}_{\sigma\mu}\Gamma^\rho{}_{\alpha\nu}V_\rho] </math>
| |
| | |
| | |
| Now that we have solved for :<math>\nabla_{\sigma , \mu}V_\nu </math>, we now must subtract by a similar equation, one in which the latin indices <math>\sigma </math> and <math>\mu </math> are switched; <math> \nabla_{\mu , \sigma}V_\nu </math>. If we solve for this equation we get;
| |
| | |
| | |
| :<math>[\partial_\nu[\partial_\sigma V_\nu] - \Gamma^\rho{}_{\sigma\nu} \partial_\sigma V_\rho - \Gamma^\rho{}_{\mu\nu}\partial_\mu V_\rho - \Gamma^\rho{}_{\mu\sigma}\partial_\rho V_\nu] - [\partial_\mu [\Gamma^\rho{}_{\sigma\nu} V_\rho] - \Gamma^\alpha{}_{\mu\nu}\Gamma^\rho{}_{\alpha\sigma}V_\rho - \Gamma^\alpha{}_{\mu\sigma}\Gamma^\rho{}_{\alpha\nu}V_\rho] </math>
| |
| | |
| | |
| Now subtracting from the first equation(and keep in mind the symmetry of [[Christoffel symbols]]);
| |
| | |
| | |
| :<math>\partial_\sigma[\partial_\mu V_\nu] - \Gamma^\rho{}_{\mu\nu} \partial_\sigma V_\rho - \Gamma^\rho{}_{\sigma\nu}\partial_\mu V_\rho - \Gamma^\rho{}_{\sigma\mu}\partial_\rho V_\nu - \partial_\sigma [\Gamma^\rho{}_{\mu\nu} V_\rho] + \Gamma^\alpha{}_{\sigma\nu}\Gamma^\rho{}_{\alpha\mu}V_\rho + \Gamma^\alpha{}_{\sigma\mu}\Gamma^\rho{}_{\alpha\nu}V_\rho </math>
| |
| | |
| :<math>\frac {-\partial_\mu[\partial_\sigma V_\nu] + \Gamma^\rho{}_{\sigma\nu} \partial_\mu V_\rho + \Gamma^\rho{}_{\mu\nu}\partial_\sigma V_\rho + \Gamma^\rho{}_{\mu\sigma}\partial_\rho V_\nu + \partial_\mu [\Gamma^\rho{}_{\sigma\nu} V_\rho] - \Gamma^\alpha{}_{\mu\nu}\Gamma^\rho{}_{\alpha\sigma}V_\rho - \Gamma^\alpha{}_{\mu\sigma}\Gamma^\rho{}_{\alpha\nu}V_\rho}{\partial_\mu\Gamma^\rho{}_{\sigma\nu}V_\rho
| |
| - \partial_\sigma\Gamma^\rho{}_{\mu\nu}V_\rho
| |
| + \Gamma^\alpha{}_{\sigma\nu}\Gamma^\rho{}_{\alpha\mu}V_\rho
| |
| - \Gamma^\alpha{}_{\mu\nu}\Gamma^\rho{}_{\alpha\sigma}V_\rho}</math>
| |
| | |
| | |
| | |
| When we cancel like terms, the 1st, 2nd, 3rd, 4th and last terms on each equation drop out and were left with derivatives of christoffel symbols which involve 2nd derivatives of the metric tensor. Noticing that <math> V_\rho </math> can be pulled out of the equation,
| |
| | |
| | |
| :<math>(\partial_\mu\Gamma^\rho{}_{\sigma\nu}
| |
| - \partial_\sigma\Gamma^\rho{}_{\mu\nu}
| |
| + \Gamma^\alpha{}_{\sigma\nu}\Gamma^\rho{}_{\alpha\mu}
| |
| - \Gamma^\alpha{}_{\mu\nu}\Gamma^\rho{}_{\alpha\sigma})V_\rho</math>
| |
| | |
| | |
| Here is our equation, and now we have to give it a name,
| |
| | |
| | |
| :<math>\nabla_\sigma \nabla_\mu V_\nu - \nabla_\mu \nabla_\sigma V_\nu = (\partial_\mu\Gamma^\rho{}_{\sigma\nu}
| |
| - \partial_\sigma\Gamma^\rho{}_{\mu\nu}
| |
| + \Gamma^\alpha{}_{\sigma\nu}\Gamma^\rho{}_{\alpha\mu}
| |
| - \Gamma^\alpha{}_{\mu\nu}\Gamma^\rho{}_{\alpha\sigma})V_\rho</math>
| |
| | |
| | |
| | |
| You'll notice that the left side of the equation has 3 indices and the left side has 4, so we will have to sum over a pair of indices,
| |
| | |
| | |
| | |
| :<math>R^\rho_{\sigma\mu\nu}V_\rho = (\partial_\mu\Gamma^\rho{}_{\sigma\nu}
| |
| - \partial_\sigma\Gamma^\rho{}_{\mu\nu}
| |
| + \Gamma^\alpha{}_{\sigma\nu}\Gamma^\rho{}_{\alpha\mu}
| |
| - \Gamma^\alpha{}_{\mu\nu}\Gamma^\rho{}_{\alpha\sigma})V_\rho</math>
| |
| | |
| | |
| | |
| Finally the [[Riemann curvature tensor]] is written as;
| |
| | |
| | |
| :<math>R^\rho_{\sigma\mu\nu} = \partial_\mu\Gamma^\rho{}_{\sigma\nu}
| |
| - \partial_\sigma\Gamma^\rho{}_{\mu\nu}
| |
| + \Gamma^\alpha{}_{\sigma\nu}\Gamma^\rho{}_{\alpha\mu}
| |
| - \Gamma^\alpha{}_{\mu\nu}\Gamma^\rho{}_{\alpha\sigma} </math>
| |
| | |
| | |
| You can contract indices to make the tensor covariant simply by multiplying by the metric, which will be useful when working with [[Einstein's field equations]],
| |
| | |
| | |
| :<math>g_{\rho\rho}R^\rho_{\sigma\mu\nu} = R_{\rho\sigma\mu\nu}</math>
| |
| | |
| | |
| and by further decomposition,
| |
| | |
| | |
| :<math>g^{\rho\mu}R_{\rho\sigma\mu\nu} = R_{\sigma\nu}</math>
| |
| | |
| | |
| This tensor is called the [[Ricci tensor]] which can also be derived by setting <math>\rho</math> and <math>\mu</math> in the Riemann tensor to the same indice and summing over them. Then the [[curvature scalar]] can be found by going one step further,
| |
| | |
| | |
| :<math>g^{\sigma\nu}R_{\sigma\nu} = R</math>
| |
| | |
| | |
| So now we have 3 different objects,
| |
| | |
| #the [[Riemann curvature tensor]]: <math>R^\rho_{\sigma\mu\nu}</math> or <math>R_{\rho\sigma\mu\nu}</math>
| |
| #the [[Ricci tensor]]: <math>R_{\sigma\nu}</math>
| |
| #the scalar curvature: ''R''
| |
| | |
| | |
| all of which are useful in calculating solutions to Einstein's field equations.
| |
| | |
| ==The energy-momentum tensor==
| |
| {{Main|Energy-momentum tensor (general relativity)}}
| |
| | |
| The sources of any gravitational field (matter and energy) are represented in relativity by a type {{nowrap|(0, 2)}} symmetric tensor called the [[energy-momentum tensor]]. It is closely related to the [[Ricci tensor]]. Being a second rank tensor in four dimensions, the energy-momentum tensor may be viewed as a 4 by 4 matrix. The various admissible matrix types, called [[Jordan form]]s cannot all occur, as the [[energy conditions]] that the energy-momentum tensor is forced to satisfy rule out certain forms.
| |
| | |
| ===Energy conservation ===
| |
| In GR, there is a ''local'' law for the conservation of energy-momentum. It can be succinctly expressed by the tensor equation:
| |
| | |
| :<math>T^{ab}{}_{;b} \, = 0</math>
| |
| | |
| The corresponding statement of local energy conservation in [[special relativity]] is:
| |
| | |
| :<math>T^{ab}{}_{,b} \, = 0</math>
| |
| | |
| This illustrates the [[Wiktionary:rule of thumb|rule of thumb]] that 'partial derivatives go to covariant derivatives'.
| |
| | |
| ==The Einstein field equations==
| |
| {{Main|Einstein field equations}}
| |
| {{See also|Solutions of the Einstein field equations}}
| |
| | |
| The Einstein field equations (EFE) are the core of general relativity theory. The EFE describe how mass and energy (as represented in the [[stress-energy tensor]]) are related to the curvature of space-time (as represented in the [[Einstein tensor]]). In [[abstract index notation]], the EFE reads as follows:
| |
| | |
| :<math>G_{ab} + \Lambda g_{ab} = {8 \pi G \over c^4} T_{ab}</math>
| |
| | |
| where <math>\scriptstyle G_{ab}</math> is the [[Einstein tensor]], <math>\scriptstyle \Lambda</math> is the [[cosmological constant]], <math>\scriptstyle c</math> is the [[speed of light]] in a vacuum and <math>\scriptstyle G</math> is the [[gravitational constant]], which comes from [[Newton's law of universal gravitation]].
| |
| | |
| The solutions of the EFE are metric tensors. The EFE, being non-linear differential equations for the metric, are often difficult to solve. There are a number of strategies used to solve them. For example, one strategy is to start with an [[ansatz]] (or an educated guess) of the final metric, and refine it until it is specific enough to support a coordinate system but still general enough to yield a set of simultaneous [[differential equations]] with unknowns that can be solved for. Metric tensors resulting from cases where the resultant differential equations can be solved exactly for a physically reasonable distribution of energy-momentum are called [[exact solutions]]. Examples of important exact solutions include the [[Schwarzschild solution]] and the [[Friedmann-Lemaître-Robertson-Walker|Friedman-Lemaître-Robertson-Walker solution]].
| |
| | |
| ''The EIH approximation plus other references (e.g. Geroch and Jang, 1975 - 'Motion of a body in general relativity', JMP, Vol. 16 Issue 1).''
| |
| | |
| ==The geodesic equations==
| |
| {{Main|Geodesic (general relativity)}}
| |
| | |
| Once the EFE are solved to obtain a metric, it remains to determine the motion of inertial objects in the spacetime. In general relativity, it is assumed that inertial motion occurs along timelike and null geodesics of spacetime as parameterized by [[proper time]]. [[Geodesics]] are curves that [[parallel transport]] their own tangent vector <math>\scriptstyle \vec U</math>; i.e., <math>\scriptstyle \nabla_{\vec U} \vec U \;=\; 0</math>. This condition, the [[geodesic equation]], can be written in terms of a coordinate system <math>\scriptstyle x^a</math> with the tangent vector <math>\scriptstyle U^a = \frac{dx^a}{d \tau}</math>:
| |
| | |
| :<math>\ddot{x}^a + {\Gamma^a}_{bc} \, \dot{x}^b \, \dot{x}^c = 0</math>
| |
| | |
| where <math>\scriptstyle \dot{}</math> denotes the derivative by proper time, <math>\scriptstyle d/d\tau</math>, with ''τ'' parametrising [[proper time]] along the curve and making manifest the presence of the [[Christoffel symbols]].
| |
| | |
| A principal feature of general relativity is to determine the paths of particles and radiation in gravitational fields. This is accomplished by [[solving the geodesic equations]].
| |
| | |
| The EFE relate the total matter (energy) distribution to the curvature of [[spacetime]]. Their nonlinearity leads to a problem in determining the precise motion of matter in the resultant spacetime. For example, in a system composed of one planet orbiting a [[star]], the motion of the planet is determined by solving the field equations with the energy-momentum tensor the sum of that for the [[planet]] and the star. The [[gravitational field]] of the planet affects the total spacetime geometry and hence the motion of objects. It is therefore reasonable to suppose that the field equations can be used to derive the geodesic equations.
| |
| | |
| When the energy-momentum tensor for a system is that of [[perfect fluid|dust]], it may be shown by using the local conservation law for the energy-momentum tensor that the geodesic equations are satisfied exactly.
| |
| | |
| ==Lagrangian formulation==
| |
| {{Main|Variational methods in general relativity}}
| |
| | |
| The issue of deriving the equations of motion or the field equations in any physical theory is considered by many researchers to be appealing. A fairly universal way of performing these derivations is by using the techniques of [[variational calculus]], the main objects used in this being [[Lagrangian]]s.
| |
| | |
| Many consider this approach to be an elegant way of constructing a theory, others as merely a formal way of expressing a theory (usually, the Lagrangian construction is performed ''after'' the theory has been developed).
| |
| | |
| ==Mathematical techniques for analysing spacetimes==
| |
| Having outlined the basic mathematical structures used in formulating the theory, some important mathematical techniques that are employed in investigating spacetimes will now be discussed.
| |
| | |
| ===Frame fields===
| |
| {{Main|Frame fields in general relativity}}
| |
| {{Expand section|date=August 2011}}
| |
| A frame field is an [[orthonormality|orthonormal]] set of 4 [[vector field]]s (1 timelike, 3 spacelike) defined on a [[spacetime]]. Each frame field can be thought of as representing an observer in the spacetime moving along the integral curves of the timelike vector field. Every tensor quantity can be expressed in terms of a frame field, in particular, the [[metric tensor (general relativity)|metric tensor]] takes on a particularly convenient form. When allied with [[coframe fields in general relativity|coframe fields]], frame fields provide a powerful tool for analysing spacetimes and physically interpreting the mathematical results.
| |
| | |
| ===Symmetry vector fields===
| |
| {{Main|Spacetime symmetries}}
| |
| {{Expand section|date=August 2011}}
| |
| Some modern techniques in analysing spacetimes rely heavily on using spacetime symmetries, which are infinitesimally generated by [[vector fields]] (usually defined locally) on a spacetime that preserve some feature of the spacetime. The most common type of such ''symmetry vector fields'' include [[Killing vector fields]] (which preserve the metric structure) and their generalisations called ''generalised Killing vector fields''. Symmetry vector fields find extensive application in the study of [[exact solutions in general relativity]] and the set of all such vector fields usually forms a finite-dimensional [[Lie algebra]].
| |
| | |
| ===The Cauchy problem===
| |
| {{Main|Initial value formulation (general relativity)}}
| |
| {{Expand section|date=August 2011}}
| |
| The [[Cauchy problem]] (sometimes called the initial value problem) is the attempt at finding a solution to a [[differential equation]] given initial conditions. In the context of [[general relativity]], it means the problem of finding solutions to Einstein's field equations - a system of [[hyperbolic partial differential equation]]s - given some initial data on a hypersurface. Studying the Cauchy problem allows one to formulate the concept of causality in general relativity, as well as 'parametrising' solutions of the field equations. Ideally, one desires ''global solutions'', but usually ''local solutions'' are the best that can be hoped for. Typically, solving this initial value problem requires selection of particular [[coordinate conditions]].
| |
| | |
| ===Spinor formalism===
| |
| {{Expand section|date=August 2011}}
| |
| [[Spinor]]s find several important applications in relativity. Their use as a method of analysing spacetimes using [[Cartan connection applications|tetrad]]s, in particular, in the [[Newman-Penrose formalism]] is important.
| |
| | |
| Another appealing feature of spinors in [[general relativity]] is the condensed way in which some tensor equations may be written using the spinor formalism. For example, in classifying the Weyl tensor, determining the various [[Petrov classification#The classification theorem|Petrov types]] becomes much easier when compared with the tensorial counterpart.
| |
| | |
| ===Regge calculus===
| |
| {{Main|Regge calculus}}
| |
| {{Expand section|date=August 2011}}
| |
| Regge calculus is a formalism which chops up a Lorentzian manifold into discrete 'chunks' (four-dimensional [[simplicial block]]s) and the block edge lengths are taken as the basic variables. A discrete version of the [[Einstein-Hilbert action]] is obtained by considering so-called ''deficit angles'' of these blocks, a zero deficit angle corresponding to no curvature. This novel idea finds application in approximation methods in [[numerical relativity]] and [[quantum gravity]], the latter using a generalisation of Regge calculus.
| |
| | |
| ===Singularity theorems===
| |
| {{Main|Penrose-Hawking singularity theorems}}
| |
| {{Expand section|date=June 2008}}
| |
| In general relativity, a new idea burst forth in physics with the realisation that under fairly generic conditions, gravitational collapse will inevitably result in a so-called [[gravitational singularity|singularity]]. A singularity is a point where the solutions to the equations become infinite, indicating that the theory has been probed at inappropriate ranges.
| |
| | |
| ===Numerical relativity===
| |
| {{Main|Numerical relativity}}
| |
| {{Expand section|date=August 2011}}
| |
| Numerical relativity is the sub-field of general relativity which seeks to solve Einstein's equations through the use of numerical methods. [[Finite difference]], [[finite element]] and [[pseudo-spectral method|pseudo-spectral]] methods are used to approximate the solution to the [[partial differential equations]] which arise. Novel techniques developed by numerical relativity include the excision method and the puncture method for dealing with the singularities arising in black hole spacetimes. Common research topics include black holes and neutron stars.
| |
| | |
| ===Perturbation methods===
| |
| {{Main|Perturbation methods in general relativity}}
| |
| {{Expand section|date=June 2008}}
| |
| The nonlinearity of the [[Einstein field equations]] often leads one to consider approximation methods in solving them. For example, an important approach is to [[Linearised Einstein field equations|linearise the field equations]]. Techniques from [[perturbation theory]] find ample application in such areas.
| |
| | |
| ==See also==
| |
| | |
| *[[Ricci calculus]]
| |
| | |
| ==Notes==
| |
| <div id=note_1>[[#ref 1|<sup>[1]</sup>]] The defining feature (central physical idea) of general relativity is that matter and energy cause the surrounding spacetime geometry to be curved.
| |
| | |
| ==References==
| |
| * {{cite book | author=Einstein, A. | title=Relativity: The Special and General Theory | location= New York | publisher=Crown| year=1961 | isbn=0-517-02961-8}}
| |
| * {{cite book | author=Misner, Charles; Thorne, Kip S. & Wheeler, John Archibald | title=[[Gravitation (book)|Gravitation]] | location=San Francisco | publisher=W. H. Freeman | year=1973 | isbn=0-7167-0344-0}}
| |
| * {{cite book | author=Landau, L. D. and Lifshitz, E. M.| title=Classical Theory of Fields (Fourth Revised English Edition) | location=Oxford | publisher=Pergamon | year=1975 | isbn=0-08-018176-7}}
| |
| | |
| {{Physics-footer}}
| |
| {{tensors}}
| |
| {{Relativity}}
| |
| | |
| {{DEFAULTSORT:Mathematics Of General Relativity}}
| |
| [[Category:Mathematical methods in general relativity| ]]
| |