Trapped surface

Last updated

Closed trapped surfaces are a concept used in black hole solutions of general relativity [1] which describe the inner region of an event horizon. Roger Penrose defined the notion of closed trapped surfaces in 1965. [2] A trapped surface is one where light is not moving away from the black hole. The boundary of the union of all trapped surfaces around a black hole is called an apparent horizon.

Contents

A related term trapped null surface is often used interchangeably. However, when discussing causal horizons, trapped null surfaces are defined as only null vector fields giving rise to null surfaces. But marginally trapped surfaces may be spacelike, timelike or null. [3]

Definition

They are spacelike surfaces (topological spheres, tubes, etc.) with restricted bounds, their area tending to decrease locally along any possible future direction and with a dual definition with respect to the past. The trapped surface is a spacelike surface of co-dimension 2, in a Lorentzian spacetime. It follows [4] that any normal vector can be expressed as a linear combination of two future directed null vectors, normalised by:

k+ · k− = −2

The k+ vector is directed “outwards” and k− “inwards”. The set of all such vectors engenders one outgoing and one ingoing null congruence. The surface is designated trapped if the cross sections of both congruences decrease in area as they exit the surface; and this is apparent in the mean curvature vector, which is:

Hɑ= −θ+k−ɑ − θ−k+ɑ

The surface is trapped if both the null expansions θ± are negative, signifying that the mean curvature vector is timelike and future directed. The surface is marginally trapped if the outer expansion θ+ = 0 and the inner expansion θ− ≤ 0.

Trapped null surface

A trapped null surface is a set of points defined in the context of general relativity as a closed surface on which outward-pointing light rays are actually converging (moving inwards).

Trapped null surfaces are used in the definition of the apparent horizon which typically surrounds a black hole.

Definition

We take a (compact, orientable, spacelike) surface, and find its outward pointing normal vectors. The basic picture to think of here is a ball with pins sticking out of it; the pins are the normal vectors.

Now we look at light rays that are directed outward, along these normal vectors. The rays will either be diverging (the usual case one would expect) or converging. Intuitively, if the light rays are converging, this means that the light is moving backwards inside of the ball. If all the rays around the entire surface are converging, we say that there is a trapped null surface.

More formally, if every null congruence orthogonal to a spacelike two-surface has negative expansion, then such surface is said to be trapped.

See also

Related Research Articles

In Einstein's theory of general relativity, the Schwarzschild metric is an exact solution to the Einstein field equations that describes the gravitational field outside a spherical mass, on the assumption that the electric charge of the mass, angular momentum of the mass, and universal cosmological constant are all zero. The solution is a useful approximation for describing slowly rotating astronomical objects such as many stars and planets, including Earth and the Sun. It was found by Karl Schwarzschild in 1916, and around the same time independently by Johannes Droste, who published his more complete and modern-looking discussion four months after Schwarzschild.

In mathematical physics, a closed timelike curve (CTC) is a world line in a Lorentzian manifold, of a material particle in spacetime, that is "closed", returning to its starting point. This possibility was first discovered by Willem Jacob van Stockum in 1937 and later confirmed by Kurt Gödel in 1949, who discovered a solution to the equations of general relativity (GR) allowing CTCs known as the Gödel metric; and since then other GR solutions containing CTCs have been found, such as the Tipler cylinder and traversable wormholes. If CTCs exist, their existence would seem to imply at least the theoretical possibility of time travel backwards in time, raising the spectre of the grandfather paradox, although the Novikov self-consistency principle seems to show that such paradoxes could be avoided. Some physicists speculate that the CTCs which appear in certain GR solutions might be ruled out by a future theory of quantum gravity which would replace GR, an idea which Stephen Hawking labeled the chronology protection conjecture. Others note that if every closed timelike curve in a given space-time passes through an event horizon, a property which can be called chronological censorship, then that space-time with event horizons excised would still be causally well behaved and an observer might not be able to detect the causal violation.

In general relativity, Eddington–Finkelstein coordinates are a pair of coordinate systems for a Schwarzschild geometry which are adapted to radial null geodesics. Null geodesics are the worldlines of photons; radial ones are those that are moving directly towards or away from the central mass. They are named for Arthur Stanley Eddington and David Finkelstein. Although they appear to have inspired the idea, neither ever wrote down these coordinates or the metric in these coordinates. Roger Penrose seems to have been the first to write down the null form but credits it to the above paper by Finkelstein, and, in his Adams Prize essay later that year, to Eddington and Finkelstein. Most influentially, Misner, Thorne and Wheeler, in their book Gravitation, refer to the null coordinates by that name.

The Penrose–Hawking singularity theorems are a set of results in general relativity that attempt to answer the question of when gravitation produces singularities. The Penrose singularity theorem is a theorem in semi-Riemannian geometry and its general relativistic interpretation predicts a gravitational singularity in black hole formation. The Hawking singularity theorem is based on the Penrose theorem and it is interpreted as a gravitational singularity in the Big Bang situation. Penrose was awarded the Nobel Prize in Physics in 2020 "for the discovery that black hole formation is a robust prediction of the general theory of relativity", which he shared with Reinhard Genzel and Andrea Ghez.

The Kerr metric or Kerr geometry describes the geometry of empty spacetime around a rotating uncharged axially symmetric black hole with a quasispherical event horizon. The Kerr metric is an exact solution of the Einstein field equations of general relativity; these equations are highly non-linear, which makes exact solutions very difficult to find.

<span class="mw-page-title-main">Penrose diagram</span> Two-dimensional diagram capturing the casual relations between different points in spacetime

In theoretical physics, a Penrose diagram is a two-dimensional diagram capturing the causal relations between different points in spacetime through a conformal treatment of infinity. It is an extension of the Minkowski diagram of special relativity where the vertical dimension represents time, and the horizontal dimension represents a space dimension. Using this design, all light rays take a 45° path.. Locally, the metric on a Penrose diagram is conformally equivalent to the metric of the spacetime depicted. The conformal factor is chosen such that the entire infinite spacetime is transformed into a Penrose diagram of finite size, with infinity on the boundary of the diagram. For spherically symmetric spacetimes, every point in the Penrose diagram corresponds to a 2-dimensional sphere .

In general relativity, the pp-wave spacetimes, or pp-waves for short, are an important family of exact solutions of Einstein's field equation. The term pp stands for plane-fronted waves with parallel propagation, and was introduced in 1962 by Jürgen Ehlers and Wolfgang Kundt.

In physics, a Killing horizon is a geometrical construct used in general relativity and its generalizations to delineate spacetime boundaries without reference to the dynamic Einstein field equations. Mathematically a Killing horizon is a null hypersurface defined by the vanishing of the norm of a Killing vector field. It can also be defined as a null hypersurface generated by a Killing vector, which in turn is null at that surface.

In general relativity, the monochromatic electromagnetic plane wave spacetime is the analog of the monochromatic plane waves known from Maxwell's theory. The precise definition of the solution is quite complicated but very instructive.

<span class="mw-page-title-main">Kruskal–Szekeres coordinates</span> Coordinate system for the Schwarzschild geometry

In general relativity, Kruskal–Szekeres coordinates, named after Martin Kruskal and George Szekeres, are a coordinate system for the Schwarzschild geometry for a black hole. These coordinates have the advantage that they cover the entire spacetime manifold of the maximally extended Schwarzschild solution and are well-behaved everywhere outside the physical singularity. There is no misleading coordinate singularity at the horizon.

In the mathematical field of Lorentzian geometry, a Cauchy surface is a certain kind of submanifold of a Lorentzian manifold. In the application of Lorentzian geometry to the physics of general relativity, a Cauchy surface is usually interpreted as defining an "instant of time"; in the mathematics of general relativity, Cauchy surfaces are important in the formulation of the Einstein equations as an evolutionary problem.

In general relativity, the van Stockum dust is an exact solution of the Einstein field equations in which the gravitational field is generated by dust rotating about an axis of cylindrical symmetry. Since the density of the dust is increasing with distance from this axis, the solution is rather artificial, but as one of the simplest known solutions in general relativity, it stands as a pedagogically important example.

In general relativity, a congruence is the set of integral curves of a vector field in a four-dimensional Lorentzian manifold which is interpreted physically as a model of spacetime. Often this manifold will be taken to be an exact or approximate solution to the Einstein field equation.

In general relativity, the Raychaudhuri equation, or Landau–Raychaudhuri equation, is a fundamental result describing the motion of nearby bits of matter.

In general relativity, optical scalars refer to a set of three scalar functions (expansion), (shear) and (twist/rotation/vorticity) describing the propagation of a geodesic null congruence.

In general relativity, an apparent horizon is a surface that is the boundary between light rays that are directed outwards and moving outwards and those directed outward but moving inward.

In mathematical physics, the causal structure of a Lorentzian manifold describes the causal relationships between points in the manifold.

Photon sphere (definition):
A photon sphere of a static spherically symmetric metric is a timelike hypersurface if the deflection angle of a light ray with the closest distance of approach diverges as

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 coordinate chart on a static and spherically symmetric spacetime, which is adapted to these nested round spheres. The defining characteristic of Schwarzschild chart is that the radial coordinate possesses a natural geometric interpretation in terms of the surface area and Gaussian curvature of each sphere. However, radial distances and angles are not accurately represented.

A non-expanding horizon (NEH) is an enclosed null surface whose intrinsic structure is preserved. An NEH is the geometric prototype of an isolated horizon which describes a black hole in equilibrium with its exterior from the quasilocal perspective. It is based on the concept and geometry of NEHs that the two quasilocal definitions of black holes, weakly isolated horizons and isolated horizons, are developed.

References

  1. ↑ Senovilla, Jose M. M. (September 15, 2011). "Trapped Surfaces". International Journal of Modern Physics D. 20 (11): 2139–2168. arXiv: 1107.1344 . Bibcode:2011IJMPD..20.2139S. doi:10.1142/S0218271811020354. S2CID   119249809.
  2. ↑ Penrose, Roger (January 1965). "Gravitational collapse and space-time singularities". Phys. Rev. Lett. 14 (3): 57–59. Bibcode:1965PhRvL..14...57P. doi: 10.1103/PhysRevLett.14.57 .
  3. ↑ Nielsen, Alex B. (February 10, 2014). "Revisiting Vaidya Horizons". Galaxies. 2 (1): 62–71. Bibcode:2014Galax...2...62N. doi: 10.3390/galaxies2010062 .
  4. ↑ Bengtsson, Ingemar (December 22, 2011). "Some Examples of Trapped Surfaces". arXiv: 1112.5318 [gr-qc].
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.