Isotropic coordinates
   HOME

TheInfoList



OR:

In the theory of
Lorentzian manifold In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the ...
s,
spherically symmetric spacetime In physics, spherically symmetric spacetimes are commonly used to obtain analytic and numerical solutions to Einstein's field equations in the presence of radially moving matter or energy. Because spherically symmetric spacetimes are by definition ...
s admit a family of ''nested round spheres''. There are several different types of coordinate chart which are ''adapted'' to this family of nested spheres; the best known is the Schwarzschild chart, but the isotropic chart is also often useful. The defining characteristic of an isotropic chart is that its radial coordinate (which is different from the radial coordinate of a Schwarzschild chart) is defined so that light cones appear ''round''. This means that (except in the trivial case of a locally flat manifold), the angular isotropic coordinates do not faithfully represent distances within the nested spheres, nor does the radial coordinate faithfully represent radial distances. On the other hand, angles in the constant time hyperslices are represented without distortion, hence the name of the chart. Isotropic charts are most often applied to
static Static may refer to: Places *Static Nunatak, a nunatak in Antarctica United States * Static, Kentucky and Tennessee *Static Peak, a mountain in Wyoming **Static Peak Divide, a mountain pass near the peak Science and technology Physics *Static el ...
spherically symmetric spacetimes in
metric theories of gravitation Metric or metrical may refer to: * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics In mathema ...
such as
general relativity General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
, but they can also be used in modeling a spherically pulsating fluid ball, for example. For isolated spherically symmetric solutions of the
Einstein field equation In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it. The equations were published by Einstein in 1915 in the for ...
, at large distances, the isotropic and Schwarzschild charts become increasingly similar to the usual polar spherical chart on
Minkowski spacetime In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
.


Definition

In an isotropic chart (on a static spherically symmetric spacetime), the
metric Metric or metrical may refer to: * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics In mathe ...
(aka
line element In geometry, the line element or length element can be informally thought of as a line segment associated with an infinitesimal displacement vector in a metric space. The length of the line element, which may be thought of as a differential arc ...
) takes the form :g = -a(r)^2 \, dt^2 + b(r)^2 \, \left( dr^2 + r^2 \, \left( d\theta^2 + \sin(\theta)^2 \, d\varphi^2 \right) \right), :-\infty < t < \infty, \, r_0 < r < r_1, \, 0 < \theta < \pi, \, -\pi < \varphi < \pi Depending on context, it may be appropriate to regard a, \, b as undetermined functions of the radial coordinate (for example, in deriving an exact static spherically symmetric solution of the
Einstein field equation In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it. The equations were published by Einstein in 1915 in the for ...
). Alternatively, we can plug in specific functions (possibly depending on some parameters) to obtain an isotropic coordinate chart on a specific Lorentzian spacetime.


Killing vector fields

The
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identi ...
of
Killing vector field In mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric tensor, metric. Killing fields are the Lie g ...
s of a spherically symmetric static spacetime takes the same form in the isotropic chart as in the Schwarzschild chart. Namely, this algebra is generated by the timelike '' irrotational'' Killing vector field : \partial_t and three spacelike Killing vector fields : \partial_\varphi : \sin(\varphi) \, \partial_\theta + \cot(\theta) \, \cos(\varphi) \partial_\varphi : \cos(\varphi) \, \partial_\theta - \cot(\theta) \, \sin(\varphi) \partial_\varphi Here, saying that \vec = \partial_t is irrotational means that the
vorticity tensor In general relativity, a congruence (more properly, a congruence of curves) is the set of integral curves of a (nowhere vanishing) vector field in a four-dimensional Lorentzian manifold which is interpreted physically as a model of spacetime. O ...
of the corresponding
timelike congruence In general relativity, a congruence (more properly, a congruence of curves) is the set of integral curves of a (nowhere vanishing) vector field in a four-dimensional Lorentzian manifold which is interpreted physically as a model of spacetime. O ...
vanishes; thus, this Killing vector field is hypersurface orthogonal. The fact that the spacetime admits an irrotational timelike Killing vector field is in fact the defining characteristic of a
static spacetime In general relativity, a spacetime is said to be static if it does not change over time and is also irrotational. It is a special case of a stationary spacetime, which is the geometry of a stationary spacetime that does not change in time but c ...
. One immediate consequence is that the ''constant time coordinate surfaces'' t=t_0 form a family of (isometric) ''spatial hyperslices'' (spacelike hypersurfaces). Unlike the Schwarzschild chart, the isotropic chart is not well suited for constructing embedding diagrams of these hyperslices.


A family of static nested spheres

The surfaces t=t_0, \, r=r_0 appear as round spheres (when we plot loci in polar spherical fashion), and from the form of the line element, we see that the metric restricted to any of these surfaces is : g, _ = b(r_0)^2 \, r_0^2g_\Omega = b(r_0)^2 \, r_0^2 \, \left( d\theta^2 + \sin(\theta)^2 \, d\varphi^2 \right), \; 0 < \theta < \pi, -\pi < \varphi < \pi where \Omega = (\theta, \varphi) are coordinates and g_\Omega is the Riemannian metric on the 2 sphere of unit radius. That is, these ''nested coordinate spheres'' do in fact represent geometric spheres, but the appearance of b(r_0) \, r rather than r shows that the radial coordinate do not correspond to area in the same way as for spheres in ordinary
euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidea ...
. Compare Schwarzschild coordinates, where the radial coordinate does have its natural interpretation in terms of the nested spheres.


Coordinate singularities

The loci \varphi=-\pi, \, \pi mark the boundaries of the isotropic chart, and just as in the Schwarzschild chart, we tacitly assume that these two loci are identified, so that our putative round spheres are indeed topological spheres. Just as for the Schwarzschild chart, the range of the radial coordinate may be limited if the metric or its inverse blows up for some value(s) of this coordinate.


A metric Ansatz

The line element given above, with f,g, regarded as undetermined functions of the isotropic coordinate r, is often used as a metric
Ansatz In physics and mathematics, an ansatz (; , meaning: "initial placement of a tool at a work piece", plural Ansätze ; ) is an educated guess or an additional assumption made to help solve a problem, and which may later be verified to be part of the ...
in deriving static spherically symmetric solutions in general relativity (or other
metric theories of gravitation Metric or metrical may refer to: * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics In mathema ...
). As an illustration, we will sketch how to compute the connection and curvature using Cartan's exterior calculus method. First, we read off the line element a coframe field, : \sigma^0 = -a(r) \, dt : \sigma^1 = b(r) \, dr : \sigma^2 = b(r) \, r \, d\theta : \sigma^3 = b(r) \, r \, \sin(\theta) \, d\varphi where we regard a, \,b as undetermined smooth functions of r. (The fact that our spacetime admits a frame having this particular trigonometric form is yet another equivalent expression of the notion of an isotropic chart in a static, spherically symmetric Lorentzian manifold). Taking the exterior derivatives and using the first Cartan structural equation, we find the nonvanishing ''connection one-forms'' :_1 = \frac :_2 = -\left( 1 + \frac \right) \, d\theta :_3 = -\left( 1 + \frac \right) \, \sin(\theta) \, d\varphi :_3 = -\cos(\theta) \, d\varphi Taking exterior derivatives again and plugging into the second Cartan structural equation, we find the ''curvature two-forms''.


See also

*
static spacetime In general relativity, a spacetime is said to be static if it does not change over time and is also irrotational. It is a special case of a stationary spacetime, which is the geometry of a stationary spacetime that does not change in time but c ...
, *
spherically symmetric spacetime In physics, spherically symmetric spacetimes are commonly used to obtain analytic and numerical solutions to Einstein's field equations in the presence of radially moving matter or energy. Because spherically symmetric spacetimes are by definition ...
, *
static spherically symmetric perfect fluid In metric theories of gravitation, particularly general relativity, a static spherically symmetric perfect fluid solution (a term which is often abbreviated as ssspf) is a spacetime equipped with suitable tensor fields which models a static round ...
s, *
Schwarzschild coordinates In the theory of Lorentzian manifolds, spherically symmetric spacetimes admit a family of ''nested round spheres''. In such a spacetime, a particularly important kind of coordinate chart is the Schwarzschild chart, a kind of polar spherical coor ...
, another popular chart for static spherically symmetric spacetimes, *
frame fields in general relativity A frame field in general relativity (also called a tetrad or vierbein) is a set of four pointwise- orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of space ...
, for more about frame fields and coframe fields.


References

* {{DEFAULTSORT:Isotropic Coordinates Coordinate charts in general relativity Lorentzian manifolds