The relationship between white holes and black holes can be understood, at least partially, by just looking at the geodesic for radially falling test particles near a black hole.
If we ignore the angular coordinates and assume only radial motion, then the geodesics for a test particle in Schwarzschild coordinates satisfy the equations: (with units such that [itex]c=1[/itex]
- [itex]\frac{m}{2} Q (V^t)^2 - \dfrac{m (V^r)^2}{2Q} = \frac{m}{2}[/itex] where [itex]m[/itex] is the mass of the test particle, [itex]Q = 1 - 2GM/r[/itex], [itex]M[/itex] is the mass of the black hole, [itex]V^t = \frac{dt}{d\tau}[/itex], [itex]V^r = \frac{dr}{d\tau}[/itex]. This equation can be obtained from the Schwarzschild metric [itex]ds^2 = Q dt^2 - \frac{1}{Q} dr^2 +[/itex] angular terms by multiplying by [itex]\frac{m}{2}[/itex] and dividing through by [itex]ds^2 = d\tau^2[/itex]. Obviously, the factor of [itex]\frac{m}{2}[/itex] isn't doing anything, but I'm putting it in for reasons that will be apparent in a while.
- [itex]m Q V^t = E[/itex] where [itex]E[/itex] is a constant of the motion. Since the metric does not depend on the coordinate [itex]t[/itex], that implies the existence of such a constant of the motion. We can think of it as the conserved momentum in the time-direction.
We can combine these into a single equation:
[itex]\frac{E^2 - m^2}{2 m} = \frac{m}{2} (V^r)^2 - \frac{GMm}{r}[/itex]
where I replaced [itex]Q[/itex] by its definition. Finally, we introduce a new constant, [itex]\mathcal{E} = \frac{E^2 - m^2}{2m}[/itex] to write this in the form:
[itex]\mathcal{E} = \frac{m}{2} v^2 - \frac{GMm}{r}[/itex]
where I dropped the superscript on [itex]V^r[/itex]. The interesting thing about this equation is that it is EXACTLY the Newtonian energy equation for the motion of a test particle near a mass [itex]M[/itex], except that the "radial velocity" is with respect to proper time, [itex]\tau[/itex], rather than coordinate time. This equation is a little complicated to solve exactly, but knowing how Newtonian gravity works, we can immediately get a qualitative description of the motion (assuming that we extrapolate proper time maximally into both the past and future):
- For [itex]\mathcal{E} > 0[/itex] and [itex]v > 0[/itex], the test particle will escape to infinity, rather than fall into the black hole. So let's assume that [itex]\mathcal{E} < 0[/itex].
- If the test particle is ever momentarily at rest ([itex]v=0[/itex]) above the event horizon at [itex]r=2GM[/itex], then [itex]|\mathcal{E}| < \frac{m}{2}[/itex]. Let's assume that is the case.
- At a finite "time" [itex]\tau_1[/itex] in the past, the test particle was rising from the singularity at [itex]r=0[/itex], with the velocity [itex]v[/itex] ever-decreasing as it gets higher.
- At some "time" [itex]\tau_2 > \tau_1[/itex], the test particle rose above the event horizon at [itex]r=2GM[/itex].
- At some "time" [itex]\tau_3 > \tau_2[/itex], the test particle reaches its maximum "height" [itex]r_{max} = \frac{GMm}{|\mathcal{E}|}[/itex] above the event horizon.
- At some "time" [itex]\tau_4 > \tau_3[/itex], the test particle falls back below the event horizon.
- Finally, at some finite time [itex]\tau_5 > \tau_4[/itex], the particle falls into the singularity at [itex]r=0[/itex]
So the qualitative behavior of the test particle, as a function of proper time, is pretty unsurprising: Initially the particle is rising, but eventually gravity turns it around, and it starts falling, and it keeps falling faster and faster until it hits the singularity at [itex]r=0[/itex]. But this seems to contradict what we know about black holes, that once a test particle is below the event horizon, it can never rise above it again. So how to resolve this apparent contradiction?
Well, the relationship between proper time [itex]\tau[/itex] and coordinate time [itex]t[/itex] is singular at the event horizon, which can be seen from the equation:
[itex]m Q V^t = E[/itex] or [itex]V^t = \frac{E}{mQ}[/itex]
At the event horizon, [itex]Q \equiv 1-\frac{2GM}{r} \Rightarrow 0[/itex], so [itex]V^t \Rightarrow \infty[/itex]. Without explicitly solving for [itex]t[/itex] in terms of [itex]\tau[/itex], we can reason that
- As [itex]\tau \Rightarrow \tau_2[/itex], the moment when the test particle rose from the event horizon, then [itex]t \Rightarrow -\infty[/itex].
- As [itex]\tau \Rightarrow \tau_4[/itex], the moment when the test particle falls below the event horizon, then [itex]t \Rightarrow +\infty[/itex].
So the events with [itex]\tau < \tau_2[/itex] took place in the infinite past, and the events with [itex]\tau > \tau_4[/itex] will take place in the infinite future, as reckoned using Schwarzschild coordinates. A realistic black hole is one that hasn't always existed, but was created by the collapse of a star. So for such a realistic black hole, the region of spacetime [itex]t \Rightarrow -\infty[/itex] doesn't exist (or at least, is not described by the Schwarzschild geometry). So for realistic black holes, the event of a test particle rising above the event horizon never happens.
In our idealized, eternal black hole, however, there is a region of spacetime in which the test particle is below the horizon, and rising. (The time period [itex]\tau < \tau_2[/itex]). This region of spacetime is the white hole region. From a certain point of view, this doesn't seem to be a region defined by anything in the geometry, but is defined by kinematic properties of test particles: In this region of spacetime [itex]V^r \equiv \frac{d r}{d \tau} > 0[/itex].
But that brings up a puzzle: This way of picking out the white hole region relies on a kinematic property of the test particle, the sign of [itex]V^r[/itex]. If you have a bunch of different test particles, then what guarantees that they all single out the
same region of spacetime? Why can't [itex]V^r[/itex] be positive for one test particle, and negative for another test particle? Here's what I think is the answer. Proper time [itex]\tau[/itex] is just an affine parameter of a geodesic. But if [itex]\tau[/itex] is such a parameter, then so is [itex]-\tau[/itex]. So we are free to choose a parametrization such that [itex]V^r > 0[/itex] for all particles in one region of spacetime (the region below the horizon, in the infinite past, according to [itex]t[/itex]), and [itex]V^r < 0[/itex] for all particles in another region (the region below the horizon, in the infinite future). This makes, for an eternal black hole, it completely arbitrary which region we consider the black hole, and which region we consider the white hole. But in a realistic black hole, only one of these regions will exist, so we can say that only the black hole region exists. This amounts to choosing the Schwarzschild time coordinate [itex]t[/itex] and the proper time parameter [itex]\tau[/itex] so that both increase as a particle falls toward the event horizon from above.
This actually brings up yet another puzzle: From the point of view of Schwarzschild geometry, the sign of the [itex]t[/itex] coordinate is an arbitrary choice, so we can choose it so that [itex]t[/itex] increases as an object falls toward the event horizon. But for thermodynamics, the sign of [itex]t[/itex] is not arbitrary; the third law says that entropy increases with increasing [itex]t[/itex]. So there is a question of why the arbitrary modeling choice, that [itex]t[/itex] increases as you fall into a black hole, matches the nonarbitrary thermodynamic arrow of time.