Wightman axioms: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Xmath
clarify that a "Hilbert space" with indefinite norm isn't a Hilbert space
en>Velvel2
m Fixing typo raised by BracketBot
 
Line 1: Line 1:
In [[general relativity]], '''Eddington–Finkelstein coordinates''' are a pair of [[coordinate system]]s for a [[Schwarzschild geometry]] (i.e. a [[black hole]]) which are adapted to radial [[null geodesic]]s.  Null geodesics are the [[worldline]]s of [[photon]]s that are moving directly towards or away from the central mass. They are named for [[Arthur Stanley Eddington]]<ref>{{cite journal|last=Eddington|first=A.S.|journal=Nature|date=Feb 1924|volume=113|issue=2832|page=192  http://www.strangepaths.com/files/eddington.pdf}}</ref> and [[David Finkelstein]],<ref>{{cite journal|last=Finkelstein|first=David|journal=Phys. Rev|year=1958|volume=110|pages=965–967 url=http://prola.aps.org/abstract/PR/v110/i4/p965_1}}</ref> even though neither ever wrote down these coordinates or the metric in these coordinates. They seem to have been given this name by Misner, Thorne, and Wheeler in their book [[Gravitation (book)|Gravitation]].
I like Mountain biking. Appears boring? Not at all!<br>I also  try to learn Japanese in my free time.<br><br>Feel free to visit my blog [http://www.whattodonext.co.nz/images/beats-headphones.asp beats dr dre]
 
They are sometimes also called ''tortoise coordinate'' - a name that comes from one of [[Zeno of Elea]]'s paradoxes on an imaginary footrace between "swift-footed" [[Zeno's paradoxes#Achilles and the tortoise|Achilles and a tortoise]].
 
Outward (inward) traveling radial light rays (such as a null geodesic) define the surfaces of constant "time", while the radial coordinate is the usual area coordinate so that the surfaces of rotation symmetry have an area of <math>4 \pi r^2</math>. One advantage of this coordinate system is that it shows that the apparent singularity at the [[Schwarzschild radius]] is only a [[coordinate singularity]] and is not a true physical singularity. While this fact was recognized by Finkelstein, it was not recognized (or at least not commented on) by Eddington, whose primary purpose was to compare and contrast the spherically symmetric solutions in [[Whitehead's theory of gravitation]] and Einstein's.
 
==Schwarzschild Metric==
The [[Schwarzschild coordinates]] are <math>(t,r,\theta,\phi)</math>, and the Schwarzschild metric is well known:
:<math>ds^{2} = -\left(1-\frac{2GM}{r} \right) dt^2 + \left(1-\frac{2GM}{r}\right)^{-1}dr^2+ r^2 d\Omega^2 </math>
where
:<math>d\Omega^2\equiv d\theta^2+\sin^2\theta\,d\phi^2.</math>
 
Note the conventions being used here are the [[metric signature]] of (&minus; + + +) and the [[natural units]] where ''c'' = 1 (although the [[gravitational constant]] ''G'' will be kept explicit, and ''M'' will denote the characteristic mass of the Schwarzschild geometry).
 
==Tortoise coordinate==
Eddington–Finkelstein coordinates are founded upon the tortoise coordinate.
 
The tortoise coordinate <math>r^*</math> is defined:
:<math>r^* = r + 2GM\ln\left|\frac{r}{2GM} - 1\right|.</math>
so as to satisfy:
:<math>\frac{dr^*}{dr} = \left(1-\frac{2GM}{r}\right)^{-1}.</math>
 
The tortoise coordinate approaches &minus;∞ as ''r'' approaches the Schwarzschild radius ''r'' = 2''GM''.
 
When some probe (such as a light ray or an observer) approaches a black hole event horizon, its Schwarzschild time coordinate grows infinite. The outgoing null rays in this coordinate system have an infinite change in ''t'' on travelling out from the horizon. The tortoise coordinate is intended to grow infinite at the appropriate rate such as to cancel out this singular behaviour in coordinate systems constructed from it.
 
The increase in the time coordinate to infinity as one approaches the event horizon is why information could never be received back from any probe that is sent sufficiently close to such an event horizon. This is despite the fact that the probe itself can nonetheless travel past the horizon. It is also why the space-time metric of the black hole, when expressed in Schwarzschild coordinates, becomes singular at the horizon - and thereby fails to be able to fully chart the trajectory of an infalling probe.
 
==Metric==
The '''ingoing Eddington–Finkelstein coordinates''' are obtained by replacing the coordinate  ''t'' with the new coordinate ''<math>v=t+r^*</math>''. The metric in these coordinates can be written
:<math>ds^{2} = -\left(1-\frac{2GM}{r} \right) dv^2 + 2 dv dr + r^2 d\Omega^2.</math>
where
<math> d\Omega^2= d\theta^2+\sin(\theta)^2 d\phi^2</math>
is the standard metric on a unit radius two sphere.
 
Likewise, the '''outgoing Eddington–Finkelstein coordinates''' are obtained by replacing ''t'' with the null coordinate ''<math>u=t-r^*</math>''. The metric is then given by
:<math>ds^{2} = -\left(1-\frac{2GM}{r} \right) du^2 - 2 du dr + r^2 d\Omega^2.</math>
 
In both these coordinate systems the metric is explicitly non-singular at the Schwarzschild radius (even though one component vanishes at this radius, the determinant of the metric is still non-vanishing and the inverse metric has no terms which diverge there.)
 
Note that for radial null rays, ''v=const'' or ''<math>v-2r^*</math>=const'' or equivalently ''<math>u-2r^*</math>=const'' or ''u=const'' we have  ''dv/dr'' and ''du/dr'' approach 0 and ±2 at large ''r'', not ±1 as one might expect if one regarded ''u'' or ''v'' as "time". When plotting Eddington-Finkelstein diagrams, surfaces of constant ''u'' or ''v'' are usually drawn as cones, with ''u'' or ''v'' constant lines drawn as sloping at  45 degree  rather than as planes (see for instance Box 31.2 of [[Gravitation (book)|MTW]]). Some sources instead take <math>t' = t \pm (r^* - r)\,</math>, corresponding to planar surfaces in such diagrams. In terms of this <math>t'</math> the metric becomes
:<math>ds^2 = - \left( 1-\frac{2GM}{r} \right) dt'^2 \pm \frac{4GM}{r} dt' dr + \left( 1 + \frac{2GM}{r} \right) dr^2 + r^2 d\Omega^2=(-dt'^2 +dr^2 + r^2 d\Omega^2)+\frac{2GM}{r} (dt'\pm dr)^2</math>
which is Minkowskian at large ''r''. (This was the coordinate time and metric that both Eddington and Finkelstein presented in their papers.)
 
[[File:eddington-finkelstein.gif|360px|thumbnail|This is a plot of the light cones  of the ''v-r'' coordinates where the ''v'' axis is a straight line slanted up to the left. The blue line is an example of one of the ''v'' constant lines. Plotted are the light cones at various values of ''r''. The green lines are various ''u'' constant lines. Note that they approach ''r=2GM'' assymptotically. In these coordinates, the horizon is the black hole horizon (nothing can come out). The diagram for ''u-r'' coordinates is the same diagram turned upside down and with ''u'' and ''v'' interchanged on the diagram. In that case the horizon is the white hole horizon, which matter and light can come out of, but nothing can go in.]]
 
The Eddington–Finkelstein coordinates are still incomplete and can be extended. For example, the outward traveling timelike geodesics defined by (with τ the proper time)
:<math> r(\tau)= \sqrt{2GM\tau} </math>
:<math>v(\tau)= \int \frac{r(\tau)}{r(\tau)-2GM} d\tau</math>:<math>~~~= C+\tau +2\sqrt{2GM\tau} +4GM\ln\left(\sqrt{\frac{\tau}{2GM}}-1 \right)
</math>
has ''v(τ)-> -∞'' as ''τ->2GM''. Ie, this timelike geodesic has a finite proper length into the past where it comes out of the horizon (r=2GM) when ''v'' becomes minus infinity. The regions for finite ''v'' and ''r<2GM'' is a different region from finite ''u'' and ''r<2GM''. The horizons ''r=2GM'' and finite ''v'' is a different horizon (the black hole horizon) from that with ''r=2M'' and finite ''u ''(the white hole horizon) .
 
The metric in
[[Kruskal-Szekeres coordinates]] covers all of the extended Schwarzschild spacetime in a single coordinate system. It's chief disadvantage is that in those coordinates the metric depends on both the time and space coordinates. In Eddington-Finkelstein, as in Schwartzschild coordinates, the metric is independent of the "time" (either ''t'' in Schwartzschild, or "u" or "v" in the various Eddington–Finkelstein coordinates), but none of these cover the complete spacetime.
 
The Eddington–Finkelstein coordinates have some similarity to the [[Gullstrand–Painlevé coordinates]] in that both are time independent, and penetrate (are regular across) either the future (black hole) or the past (white hole) horizons. Both are not diagonal (the hypersurfaces of constant "time" are not orthogonal to the hypersurfaces of constant ''r''.) The latter have a flat spatial metric, while the former's spatial ("time" constant) hypersurfaces are null and have the same metric as that of a null cone in Minkowski space (<math>t=\pm r</math> in flat spacetime).
 
==See also==
*[[Schwarzschild coordinates]]
*[[Kruskal–Szekeres coordinates]]
*[[Lemaître coordinates]]
*[[Gullstrand–Painlevé coordinates]]
*[[Vaidya metric]]
 
==References==
{{Reflist}}
 
{{DEFAULTSORT:Eddington-Finkelstein Coordinates}}
[[Category:Coordinate charts in general relativity]]

Latest revision as of 18:54, 13 December 2014

I like Mountain biking. Appears boring? Not at all!
I also try to learn Japanese in my free time.

Feel free to visit my blog beats dr dre