Riemannian Penrose inequality
In mathematical general relativity, the Penrose inequality, first conjectured by Sir Roger Penrose, estimates the mass of a spacetime in terms of the total area of its black holes and is a generalization of the positive mass theorem. The Riemannian Penrose inequality is an important special case. Specifically, if (M, g) is an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and ADM mass m, and A is the area of the outermost minimal surface (possibly with multiple connected components), then the Riemannian Penrose inequality asserts
This is purely a geometrical fact, and it corresponds to the case of a complete three-dimensional, space-like, totally geodesic submanifold of a (3 + 1)-dimensional spacetime. Such a submanifold is often called a time-symmetric initial data set for a spacetime. The condition of (M, g) having nonnegative scalar curvature is equivalent to the spacetime obeying the dominant energy condition.
This inequality was first proved by Gerhard Huisken and Tom Ilmanen in 1997 in the case where A is the area of the largest component of the outermost minimal surface. Their proof relied on the machinery of weakly defined inverse mean curvature flow, which they developed. In 1999, Hubert Bray gave the first complete proof of the above inequality using a conformal flow of metrics. Both of the papers were published in 2001.
Physical motivation
The original physical argument that led Penrose to conjecture such an inequality invoked the Hawking area theorem and the cosmic censorship hypothesis.
Case of equality
Both the Bray and Huisken–Ilmanen proofs of the Riemannian Penrose inequality state that under the hypotheses, if
then the manifold in question is isometric to a slice of the Schwarzschild spacetime outside its outermost minimal surface, which is a sphere of Schwarzschild radius.
Penrose conjecture
More generally, Penrose conjectured that an inequality as above should hold for spacelike submanifolds of spacetimes that are not necessarily time-symmetric. In this case, nonnegative scalar curvature is replaced with the dominant energy condition, and one possibility is to replace the minimal surface condition with an apparent horizon condition. Proving such an inequality remains an open problem in general relativity, called the Penrose conjecture.
In popular culture
- In episode 6 of season 8 of the television sitcom The Big Bang Theory, Dr. Sheldon Cooper claims to be in the process of solving the Penrose Conjecture while at the same time composing his Nobel Prize acceptance speech.
References
- Bray, H. (2001). "Proof of the Riemannian Penrose inequality using the positive mass theorem". Journal of Differential Geometry. 59 (2): 177–267. Bibcode:2001JDGeo..59..177B. doi:10.4310/jdg/1090349428. MR 1908823.
- Bray, H.; Chruściel, P. (2003). "The Penrose Inequality". arXiv:gr-qc/0312047.
- Huisken, G.; Ilmanen, T. (1997). "The Riemannian Penrose inequality". International Mathematics Research Notices. 1997 (20): 1045–1058. doi:10.1155/S1073792897000664. ISSN 1073-7928. MR 1486695.
- Huisken, G.; Ilmanen, T. (2001). "The inverse mean curvature flow and the Riemannian Penrose inequality". Journal of Differential Geometry. 59 (3): 353–437. doi:10.4310/jdg/1090349447. hdl:11858/00-001M-0000-0013-5581-4. MR 1916951.
- v
- t
- e
- The Emperor's New Mind (1989)
- Shadows of the Mind (1994)
- The Road to Reality (2004)
- Cycles of Time (2010)
- Fashion, Faith, and Fantasy in the New Physics of the Universe (2016)
- The Nature of Space and Time (with Stephen Hawking) (1996)
- The Large, the Small and the Human Mind (with Abner Shimony, Nancy Cartwright and Stephen Hawking) (1997)
- White Mars or, The Mind Set Free (with Brian W. Aldiss) (1999)
- Twistor theory
- Spin network
- Abstract index notation
- Black hole bomb
- Geometry of spacetime
- Cosmic censorship
- Weyl curvature hypothesis
- Penrose inequalities
- Penrose interpretation of quantum mechanics
- Moore–Penrose inverse
- Newman–Penrose formalism
- Penrose diagram
- Penrose–Hawking singularity theorems
- Riemannian Penrose inequality
- Penrose process
- Penrose tiling
- Penrose triangle
- Penrose stairs
- Penrose graphical notation
- Penrose transform
- Penrose–Terrell effect
- Orchestrated objective reduction/Penrose–Lucas argument
- FELIX experiment
- Trapped surface
- Andromeda paradox
- Conformal cyclic cosmology
- Lionel Penrose (father)
- Oliver Penrose (brother)
- Jonathan Penrose (brother)
- Shirley Hodgson (sister)
- John Beresford Leathes (grandfather)
- Illumination problem
- Quantum mind
![]() | This relativity-related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e