Questions on Horizons: Difference Between Event & Apparent Horizons

  • Thread starter Vagelford
  • Start date
In summary, my professor and I concluded that thenull vectors should change sign on the horizon at r=1 in thetime-evolving black hole, but my calculations seem to indicatethat they don't. Does anyone have an explanation for this?In summary, when calculating the expansion of the outgoing null vectors for a time-evolving black hole, Vagelford's equation predicts that the expansion should go to infinity, but as the apparent horizon merges with the event horizon the expansion becomes finite and takes the form of 2/r.
  • #1
Vagelford
7
0
I have a question on horizons. Actually I would like to make some
things that I have in mind clear. First of all let's give some
definitions.
Trapped surface: Is a surface on which null vectors point inwards.
That means that for example, if we let a photon on that surface it
could only travel inwards and it could at no time be outside that
surface.
Untrapped surface: Is a surface on which there exist null vectors
pointing outwards. That means that for example, if we let a photon
on that surface, there are null geodesics leading out of that
surface.
Marginally trapped surface: Is a surface on which there exist null
vectors that are tangent to that surface but there are no null
vectors pointing outwards.
A first question could be how exact are those definitions. The
question I would actually like to ask is: What exactly is the
difference between an event horizon and an apparent horizon in
terms of trapped surfaces and null geodesics?
As I understand the subject, an apparent horizon is defined as a
trapped surface that is the border between a region that has
outgoing null geodesics that point outwards and a region that
doesn't have outgoing null geodesics pointing outwards. That means
that the apparent horizon is the lust trapped surface between the
two regions and the next infinitesimally near surface is an
untrapped surface.
On the other hand an event horizon is a marginally trapped surface
an thus it is also a null surface, in the sense that it has null
generators, and it is an asymptotic surface to the outgoing null
geodesics from the inside and the outside.
These things can be seen in the following diagram of the formation
of a spherically symmetric black hole, were the cyan lines are the
null ingoing geodesics, the yellow lines are the null outgoing
geodesics, the green line is the apparent horizon and the event
horizon is defined by the convergence of the yellow lines. We can
see that at late times the two horizons coincide.
http://www.geocities.com/vagelford/Science/black_hole_formation.gif
In the above example, it is easy to identify the horizons and
distinguish between the event horizon and the apparent horizon.
Both horizons are trapped surfaces as it can be seen by the light
cones, but the event horizon is also a null surface while the
apparent horizon isn't at early times. Will these criteria apply
to more general configurations or should I look for a more general
"tool"?
The point is, are these things generic? The case in the diagram is
a special case with a lot of symmetry. Are the above definitions
general or they apply only to especially symmetric settings like
the above? What are the other trademarks that distinguish these
horizons?
Vagelford
PS. The x-axis is distance r and the y-axis is time t.
 

Attachments

  • black_hole_formation.gif
    black_hole_formation.gif
    23.7 KB · Views: 403
Physics news on Phys.org
  • #2
I have little knowledge about this, but it would be a pitty if such interesting questions remain without comment. As far as I can tell, your definitions seam to agree with the ones in Wald's book, chapters 9 and 12. The definitions as such are valid for any generic spacetime. However, the singularity theorems and corolaries relating them, are usually valid only for spacetimes in which the strong or weak energy conditions hold. Specifically, the proposition 12.2.4 of Wald's book, stating that the apparent horizon will be located always within the event horizon, applies in globally hyperbolic spacetimes in which the strong energy condition holds.
 
  • #3
Thanks for your reply hellfire. I had a conversation with one of
my professors and we concluded that I should check the expansion
[tex]\theta[/tex] of the null congruence. So I did and I found something
puzzling. Before checking the time-dependent case in the diagram
above, I tested my calculations on a time independent situation.
So I used a metric of the form
[tex]ds^2=-(1-(\frac{A}{r})^2)dt^2-2\frac{A}{r}dtdr+dr^2+r^2d\Omega^2[/tex]
with A=-1. I calculated the null vectors from the equation
[tex]k_a=-\partial_au[/tex] for the outgoing geodesics and
[tex]k_a=-\partial_a\upsilon[/tex] for the ingoing geodesics, were
[tex]u=t-r+Aln(r+A)[/tex] and [tex]\upsilon=t+r+Aln(r-A)[/tex]. And finally I
calculated the expansion from the equation [tex]\theta=\nabla^ak_a[/tex].
My surprise was that the result was [tex]\theta=\pm\frac{2}{r}[/tex] which
is positive for the outgoing geodesics and negative for the
ingoing geodesics. I was expecting that [tex]\theta[/tex] for the outgoing
geodesics would change sign on the horizon at r=1 and become
negative in the sense that inside the horizon the geodesics
converge to the singularity at r=0 and on the horizon the null
geodesics are parallel so the expansion should be zero.
Having found these results I proceeded to calculate the expansion of the
outgoing null geodesics for the time-evolving black hole that I
mentioned above and I found that to the duration of the evolution
at the place were the apparent horizon formes the expansion of the
outgoing null geodesics goes to infinity and as the apparent
horizon merges with the event horizon the expansion becomes finite
and at late times takes the form of [tex]\theta=\frac{2}{r}[/tex]. These
results can be seen in the following pictures. The second picture
shows the behavior of [tex]\theta[/tex] and the first is just a diagram
that shows the ingoing and outgoing null geodesics for the first
time independent metric. I would really like to hear some comments
on these things.
 

Attachments

  • black_hole.gif
    black_hole.gif
    10 KB · Views: 438
  • time_evolution_of_expansion.gif
    time_evolution_of_expansion.gif
    4.9 KB · Views: 445
  • #4
I gather that the motivation for your choice of metric was to make dr/dt simple. Solving for ds^2 = 0 gives dr/dt = -1/r + 1 or dr/dt = -1/r -1 given that A=-1.

Integrating this differential equation gives geodesics associated with u=constant and v=constant, and explains where these variables came from.

This is about as far as I've gotten, not having done anything previously with geodesic congruences or expansion, unfortunately.

It's unclear to me what the matter distribution associated with this metric is, except that it's not a vacuum solution to Einstein's equation. As far as I know, there is no reason to assume it meets any of the various energy conditions, so many of the theorems that assume these energy conditions wouldn't apply.
 
  • #5
Vagelford said:
My surprise was that the result was [tex]\theta=\pm\frac{2}{r}[/tex] which
is positive for the outgoing geodesics and negative for the
ingoing geodesics. I was expecting that [tex]\theta[/tex] for the outgoing
geodesics would change sign on the horizon at r=1 and become
negative
This is also my understanding. The expansion scalar for the outgoing geodesics should become negative inside the event horizon, as one finds trapped surfaces there. Are you sure your calculations are right? It is unclear to me whether your expression for [itex]\theta[/itex] is equivalent to eq. (9.2.6) in Wald.
 
Last edited:
  • #6
pervect, the metric comes from a fluid analogue of a black hole,
so no energy condition applies to that spacetime.

hellfire, the expression (9.2.6) in Wald is for timelike
geodesics. The expression (9.2.27) is for null geodesics and is
equivalent with the one I used. For more details there is a
thorough treatment in Poisson's, A relativist's toolkit. The point
is that I would have thought that I made a mistake too, but the
same result applies for the Schwarzschild metric also. Poisson
mentions the result and I've also calculated it myself, so at this
point I'm confused. The only logical explanation that I can give
is that I'm missing something of the meaning of [tex]\theta[/tex]. Any
ideas?
 
  • #7
If [itex]\theta[/itex] measures the increase/decrease in area of a cross-section of the bundle of geodesics with time, what determines the direction of "time" used?

Is there any chance that (for instance) a variable such as 'r' in the Schwazschild metric is being used to determine the direction of 'time' which is backwards from the usual convention?
 
  • #8
Sorry - I'm too tired to think, but, In Poisson, read 5.1.7 Apparent Horizon, keeping Figure 5.2 in mind.

Regards,
George
 
  • #9
Thanks for the tip.
 
  • #10
Probably everything you ever wanted to know about horizons can be found in http://xxx.lanl.gov/abs/gr-qc/0407042"
Vagelford said:
A first question could be how exact are those definitions. The
question I would actually like to ask is: What exactly is the
difference between an event horizon and an apparent horizon in
terms of trapped surfaces and null geodesics?
An event horizon cannot be defined locally in terms of trapped surfaces. It can exist even in a region of spacetime which is completely flat. Still, all trapped surfaces will be inside an event horizon.

Apparent horizons also lie inside event horizons. As you say, they are a border between trapped and untrapped regions. Unfortunately, their definition requires a given Cauchy surface (3 dimensional hypersurface). This is inconvenient and sometimes causes problems, so various other horizon concepts have since been defined which do not require this (as explained in the paper I referenced above).
 
Last edited by a moderator:
  • #11
Vagelford said:
but the same result applies for the Schwarzschild metric also. Poisson mentions the result and I've also calculated it myself, so at this point I'm confused.

I don't know about your black hole analogue example, but [tex]\theta[/tex] changes sign for radially "outgoing" light rays at the apparent horizon of Schwarzschild spacetime, just as expected. I have used scare quotes because, according to Poisson, the standard terminology is somewhat confusing:

Poisson said:
Here, the term outgoing will refer specifically to those rays on curves U = constant. This is potentially confusing because the radial component r does not necessarily increase along those rays; in fact, [tex]r[/tex] increases only if [tex]u < 0[/tex] (outside the black hole) and it decreases if [tex]u > 0 [/tex](inside the black hole). While the term 'outgoing' should perhaps be reserved to designate rays along which [tex]r [/tex]always increases, this terminology is nevertheless widely used.

I can see Poisson's point, but I don't think the terminology is so bad, and I might elaborate in a future post.

Consider a standard eternal (maximally extended) Schwarzschild black hole, which has apparent and event horizons that coincide. In Kruskal coordinates [tex]u[[/tex] and [tex]v[/tex], the metric, with [tex]M=1[/tex], is given by

[tex]ds^2 = - \frac{32}{r} e^{-\frac{r}{2}} du dv + r^{2} d\Omega^{2},[/tex]

where [tex]r[/tex] is defined implicitly by

[tex]e^{-\frac{r}{2M} \left( \frac{r}{2} - 1 \right) = -uv.[/tex]

I have attached a (rather too busy!) gif illustrating the situation.

Red lines: event and apparent horizons.
Green lines: outgoing radial null geodesics.
Blue line: ingoing radial null geodesic.
Black lines: curves of contant [tex]r[/tex].

The red horizons are the axes for the Kruskal coodinate system. The line going from lower left to upper right is the [tex]v[/tex] axis, i.e, the line [tex]u = 0[/tex]. Points above this line have [tex]u > 0[/tex] axis, while points below have [tex]u < 0[/tex]. The line going from lower lright to upper left is the [tex]u[/tex], i.e, the line [tex]v = 0[/tex]. Points above this line have [tex]v > 0[/tex], while points below have [tex]v < 0[/tex].

According to Poisson's calculation, the expansion [tex]\theta[/tex] is given by

[tex]\theta = - \frac{u}{2r}.[/tex]

The bottom (outside the horizon) outgoing geodesic is the line [tex]u = -0.2[/tex], so, by the expression above, the expansion [tex]\theta[/tex] is positive. Contrast this with the top (inside the horizon) outgoing geodesic [tex]u = +0.2[/tex], which has negative expansion [tex]\theta[/tex].

The apparent horizon is a maginally trapped surface that has [tex]u = 0[/tex] and thus zero expansion, i.e., the apparent (and, in this case, the event) horizon is a marginally trapped surface. This is true in the generic case (Wald, Theorem 12.2.5), since, as both you and Stingray note, the apparent horizon is the boundary of the positve expansion region.

As Stingray also noted, when the apparent and event horizons do not coincide, the apparent horizon lies inside the event horizon (Wald, Propostion 12.2.2), which is the boundary of the region for which light rays can reach future null infinity. In the region between the apparent and event horizons, the expansion is positive, but light cannot reach future null infinity.

Poisson's book is excellent! This book nicely fills a gap in the literature.
It has a nice discussion of the apparent and event horizon's for Vaidya spacetime (a growing black hole), which is very similar to the original situation that you gave.

Regards,
George
 

Attachments

  • Kruskal.gif
    Kruskal.gif
    11.6 KB · Views: 442
Last edited:
  • #12
Thanks George. I’ve seen Poisson’s analysis in Kruskal coordinates and I can see that the behaviour of U is what makes the expansion positive, negative or zero. What I don’t see is the relation of the analysis in Kruskal coordinates and the one given in the example 2.4.7 at page 52.
 
  • #13
The expansion [tex]\theta[/tex] depends on which affine paramterization is chosen for the null geodesics. The sign of the of the expansion, however, does not depend on choice of affine parameterization.

Poisson said:
... we will show that [tex]\theta[/tex] is the fractional rate of change - per unit affine parameter distance - of the congruence's cross-sectional area.

Example 2.4.7 deals with null geodesics *outside* the event horizon. Here, the outgoing geodesics are affinely parameterized by [tex]+r[/tex], and the ingoing geodesics are affinely parameterized by [tex]-r[/tex].

From my diagram, it is clear that inside the event horizon, outgoing future-directed null geodesics cannot be parameterized by [tex]+r[/tex], as [tex]r[/tex] becomes smaller as the geodesic proceeds. Inside the diagram, note the symmetry with respect to [tex]r[/tex] between outgoing and ingoing geodesics. This leads me to believe that [tex]-r[/tex] is the affine paramterization for both outgoing and ingoing geodesics inside the horizon. This might also be the solution to the problem with your example.

The expressions for expansion of congruences of null geodesics in Schwarzschild spacetime given on pages 52 and 171 differ because different affine parameterizations have been used for the null geodesics.

Regards,
George
 
  • #14
Happy New Year to everyone. I 'm returning with a few questions and thoughts on the subject.

First of all, the problem with the null congruences is that there exists an arbitrariness in the choice of the null tangent vector. That is, since the norm of the null vector is [tex]k^ak_a=0[/tex] you can't normalize your vector in any way (as you would if you had a timelike vector were you could normalize to [tex]u^au_a=-1[/tex]). This arbitrariness makes it "difficult" to find the appropriate null vector for the calculation of the expansion. We discussed in previews posts the calculation of the expansion for the Schwarzschild metric

[tex]ds^2=-(1-\frac{2M}{r})dt^2+(1-\frac{2M}{r})dr^2+r^2d\Omega^2[/tex]

were we have found it to be [tex]\theta=\frac{2}{r}[/tex] for the outgoing null geodesics. I should point out that this result is valid both inside and outside the horizon. George argued that the above expression for the expansion should not be parameterized with the same affine parameter inside and outside the horizon. That could be expected bye the fact that the null outgoing rays [tex]u=const.[/tex] (were [tex]u=t-[r+2Mln|\frac{r}{2M}-1|][/tex]) are singular on the horizon and the behavior of r changes on crossing the horizon. Let's make a few calculations regarding the affine parameter. In order to calculate the above expansion we have used as a null vector the vector [tex]k_a=-\partial_au=(-1,\frac{r}{r-2M},0,0)[/tex]. I note here that this is the null vector both inside and outside with the difference that inside [tex]r<2M[/tex] and the expression [tex]\frac{r}{r-2M}[/tex] is negative. From [tex]k_a[/tex] we can calculate [tex]k^a=(\frac{r}{r-2M},1,0,0)[/tex]. We can see that outside the horizon the vector [tex]k^a[/tex] is in fact the vector [tex]\frac{dx^{\mu}}{d\lambda}[/tex] were the affine parameter [tex]\lambda[/tex] is r. Inside the horizon the vector [tex]k^a[/tex] doesn't change form (assuming that it is [tex]k_a=-\partial_au[/tex]) but the expression [tex]\frac{r}{r-2M}[/tex] changes sign. This introduces a flip of the sign of the time component of the vector [tex]k^a[/tex]. So in order for the vector [tex]k^a[/tex] to point "forward in time" I am assuming that the correct [tex]k_a[/tex] is given by the expression [tex]k_a=\partial_au[/tex] which gives [tex]k^a=(\frac{r}{2M-r},-1,0,0)[/tex] that points forward in time (it is also pointing inwards instead of outwards but that is expected). We can see that this [tex]k^a[/tex] is what we will get if we evaluate [tex]\frac{dx^{\mu}}{d\lambda}[/tex] with affine parameter the parameter [tex]\lambda=-r[/tex] on the trajectory [tex]u=t-[r+2Mln(1-\frac{r}{2M})][/tex] (which is inside the horizon). Finally the expansion evaluated from [tex]k_a=\partial_au[/tex] is [tex]\theta=-\frac{2}{r}[/tex] which is negative.

Now in the case of the Kruskal coordinates the situation is a little different. The outgoing null vector is given by the expression [tex]k_a=-\partial_aU[/tex] where [tex]U=\mp e^{-\frac{u}{4M}}[/tex]. We can see here the arbitrariness that we talked about in the beginning. Since [tex]\partial_au[/tex] is a null direction, any expression of the form [tex]\partial_af(u)[/tex] will be a null direction. So we have [tex]k_a=-\partial_aU=(-\frac{1}{4M})(\mp e^{-\frac{u}{4M}})(-\partial_au)[/tex]. We can see from this expression that when we cross the horizon [tex](-\partial_au)[/tex] has the same behavior as before, but in this case the expression [tex](-\frac{1}{4M})(\mp e^{-\frac{u}{4M}})[/tex] on crossing the horizon changes sign from positive to negative and so it gives the right description for the whole spacetime using r as the affine
parameter. The expression for the expansion is the one mentioned earlier [tex]\theta=-\frac{U}{2Mr}[/tex] and can be calculated by the above expression for [tex]k_a[/tex].

This presentation is my attempt to rationalize the whole situation and to understand maybe the criteria for selecting [tex]U[/tex] for the calculation of [tex]\theta[/tex] instead of [tex]u[/tex] and for the choice of the affine parameter(i.e. the criteria being the good behavior of the null vector on crossing the horizon).

I'm looking forward to reading your comments and corrections.
 
Last edited by a moderator:

1) What is the difference between an event horizon and an apparent horizon?

An event horizon is the boundary in spacetime beyond which events cannot affect an outside observer. It is associated with a black hole. An apparent horizon, on the other hand, is the boundary in spacetime beyond which light cannot escape an observer's view. It is associated with an expanding universe.

2) How are event horizons and apparent horizons related to each other?

Event horizons and apparent horizons are related in that they both mark boundaries in spacetime that are significant to our understanding of the universe. While they have different properties and are associated with different phenomena, they both represent limits to our perception and observation of events in the universe.

3) Can event horizons and apparent horizons change over time?

Yes, both event horizons and apparent horizons can change over time. Event horizons can expand or shrink as the mass of a black hole changes, while apparent horizons can change as the expansion of the universe alters the trajectory of light.

4) Are event horizons and apparent horizons the same for all observers?

No, event horizons and apparent horizons can differ for different observers. This is because they are dependent on the observer's point of view and the reference frame they are in. What one observer may perceive as an event horizon, another observer may perceive as an apparent horizon.

5) How do we detect and study event horizons and apparent horizons?

Event horizons and apparent horizons are not directly observable, so we must use indirect methods to study them. For event horizons, we can observe the effects of their immense gravitational pull on surrounding matter and light. For apparent horizons, we can observe the effects of the expansion of the universe on the trajectory of light. These observations can help us better understand the properties and behavior of these boundaries in spacetime.

Similar threads

  • Special and General Relativity
Replies
11
Views
1K
  • Special and General Relativity
Replies
24
Views
2K
Replies
8
Views
1K
  • Special and General Relativity
Replies
10
Views
2K
  • Special and General Relativity
Replies
7
Views
998
  • Special and General Relativity
Replies
23
Views
2K
  • Special and General Relativity
Replies
3
Views
2K
  • Special and General Relativity
Replies
34
Views
1K
  • Special and General Relativity
Replies
3
Views
2K
  • Special and General Relativity
Replies
1
Views
806
Back
Top