Isotropic coordinates

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In the theory of Lorentzian manifolds, spherically symmetric spacetimes 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 Schwarschild 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 spherically symmetric spacetimes in metric theories of gravitation such as general relativity, 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, at large distances, the isotropic and Schwarzschild charts become increasingly similar to the usual polar spherical chart on Minkowski spacetime.

Definition[edit]

In an isotropic chart (on a static spherically symmetric spacetime), the line element takes the form

ds^2 = -f(r)^2 \, dt^2 + g(r)^2 \, \left( dr^2 + r^2 \, \left( d\theta^2 + \sin(\theta)^2 \, d\phi^2 \right) \right),
-\infty < t < \infty, \, r_0 < r < r_1, \, 0 < \theta < \pi, \, -\pi < \phi < \pi

Depending on context, it may be appropriate to regard f,g as undetermined functions of the radial coordinate (for example, in deriving an exact static spherically symmetric solution of the Einstein field equation). 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[edit]

The Lie algebra of Killing vector fields 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_\phi, \; \; \sin(\phi) \, \partial_\theta + \cot(\theta) \, \cos(\phi) \partial_\phi, \; \; \cos(\phi) \, \partial_\theta - \cot(\theta) \, \sin(\phi) \partial_\phi

Here, saying that \vec{X} = \partial_t is irrotational means that the vorticity tensor of the corresponding timelike congruence 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. 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[edit]

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

 d\sigma^2 = g(r_0)^2 \, r_0^2 \, \left( d\theta^2 + \sin(\theta)^2 \, d\phi^2 \right), \; 0 < \theta < \pi, -\pi < \phi < \pi

That is, these nested coordinate spheres do in fact represent geometric spheres, but the appearance of g(r_0) \, r rather than r shows that the radial coordinate does not correspond to area in the same way as for spheres in ordinary euclidean space. Compare Schwarschild coordinates, where the radial coordinate does have its natural interpretation in terms of the nested spheres.

Coordinate singularities[edit]

The loci \phi=-\pi, \, \pi mark the boundaries of the isotropic chart, and just as in the Schwarschild chart, we tacitly assume that these two loci are identified, so that our putative round spheres are indeed topological spheres.

Just as for the Schwarschild chart, the range of the radial coordinate may be limited if the metric or its inverse blows up for some value(s) of his coordinate.

A metric Ansatz[edit]

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 deriving static spherically symmetric solutions in general relativity (or other metric theories of gravitation).

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 = -f(r) \, dt
 \sigma^1 = g(r) \, dr
 \sigma^2 = g(r) \, r \, d\theta
 \sigma^3 = g(r) \, r \, \sin(\theta) \, d\phi

where we regard f,g 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

{\omega^0}_1 = \frac{f' \, dt}{g}
{\omega^1}_2 = -\left( 1 + \frac{r \, g'}{g} \right) \, d\theta
{\omega^1}_3 = -\left( 1 + \frac{r \, g'}{g} \right) \, \sin(\theta) \, d\phi
{\omega^2}_3 = -\cos(\theta) \, d\phi

Taking exterior derivatives again and plugging into the second Cartan structural equation, we find the curvature two-forms.

See also[edit]

References[edit]

  • Misner, Thorne, Wheeler (1973). Gravitation. W H Freeman and Company. ISBN 0-7167-0344-0.