This page provides some mathematical details of the theoretical physics behind my gravity page. It's optional to the discussion.
The math behind the explanation
This page provides some mathematical details of the theoretical physics behind my gravity page. It's optional to the discussion.
The formula for such a helical function, for a momentum p and energy E, is
i (p z - E t)/hbar
f(x,y,z,t) = e
where "hbar" is Planck's constant h divided by 2pi. Particle physicists like to use units where hbar is defined to be 1, so I can leave out that denominator:
i (p z - E t)
f(x,y,z,t) = e
e is the base of the natural logarithms, 2.71828..., and i is the square root of -1, the unit imaginary number. If you're not familiar with complex exponentials, the above can be rewritten in terms of trig functions
f(x,y,z,t) = cos (p z - E t) + i sin (p z - E t)
and the cosine and the sine are the two components of the little arrow that traces out the helix. The helix slides along as time t increases.
Now, the arrow for the above wave function has the same length anywhere in space, so the particle has an equal chance to be anywhere. In the real world there would be at least some slowly varying function of x, y, and z, and time multiplying the above:
i (p z - E t)
f(x,y,z,t) = b(x,y,z,t) e
which actually tends to blur out the momentum a bit from the value p, but that is another story (the Heisenberg uncertainty principle). In what follows I assume that b is slowly varying enough in all dimensions that it does not affect the arguments.
In special relativity, the Pythagorean formula for distance along a straight line in three dimensions
2 2 2 2 d = x + y + z
is generalized in a peculiar way to space-time:
2 2 2 2 2
(c tau) = (c t) - x - y - z
where tau is the proper time, or time experienced by a system (or person) traveling in a straight, constant-speed path along the vector (x, y, z) over coordinate time t. c here is the speed of light. The closer you go to the speed of light, the closer that right-hand side gets to zero. For everyday velocities, the first term on the right dwarfs the others and there is almost no variation in the elapsed time. Again, physicists like to use units where c=1, so that they can write it
2 2 2 2 2 tau = t - x - y - z
Now this can be written in a very different way:
2 m n
tau = x g x
mn
where xm represents not x raised to some power, but the m'th component of the four-dimensional vector (t, x, y, z), and we use an interesting notation made up by Albert Einstein, in which whenever a component index shows up twice on the same side of an equation, we assume that we are summing over all possible values of the index. Where did all the minus signs go? They went into that gmn thing, which looks like a matrix:
[+1 0 0 0 ]
g = [ 0 -1 0 0 ]
mn [ 0 0 -1 0 ]
[ 0 0 0 -1 ]
Sum over all possible values of m and n, and we get the ordinary-looking version back. gmn is called the metric tensor.
What was the point of writing a simple formula in such a bizarre way? Well, it actually makes a number of things more convenient. For one thing, if we restrict ourselves to first-order changes in tau under small variations in x, y, and z,
2 m n
(d tau) = dx g dx
mn
this form of the equation is actually unchanged under changes in the coordinate system: you can define x, y, z, and t in some crazy wobbly way, and the coordinate change just manifests itself in different components when dxm and gmn are written out as a bunch of numbers.
For another thing, this form for small changes is then valid even in Einstein's General Theory of Relativity, in which gmn can be affected not only by differences of coordinates, but also by differences in the geometry of space-time.
Now in general things can get pretty complicated for strong gravitational fields such as you find near a neutron star or black hole, or when you consider scales so large that tiny components in the metric can make a big difference (like billions of years or light-years). Closer to home, things are not so bad. In a weak gravitational field, using an appropriate set of coordinates, general relativity says that the metric tensor looks approximately like this:
[ 1+2V 0 0 0 ]
g = [ 0 -1+2V 0 0 ]
mn [ 0 0 -1+2V 0 ]
[ 0 0 0 -1+2V ]
What is V? It turns out to be the same thing as the gravitational potential familiar from Newtonian physics. The formula 1+2V looks a little weird because we're using c=1 units; put those factors of c back in, and it's 1+2V/(c2). We're measuring V here relative to the potential out at infinity, so it's negative when we're down inside Earth's gravity well.
If the variations in x, y, and z are small (that is, if the time dilation from high speeds is negligible), we end up with a really simple gravitational time-dilation formula:
2 2 2
(d tau) = (1 + 2V/c ) (dt)
Since dt and d tau are small, we can neglect higher-order terms when taking the square root:
2
d tau = (1 + V/c ) dt
and if tau = t where t = 0, then
2
tau = (1 + V/c ) t
As the potential gets more and more negative, tau, the proper time of the physical system, advances more and more slowly.
(You might wonder what happens if V approaches -c2. Well, before it gets there, the approximations we're making break down and the metric doesn't look like that any more; the other components start doing interesting things, and this choice of coordinate system is not even necessarily the most convenient one. See the sci.physics FAQ on black holes for some inkling as to what does happen.)
If the energy E is approximately mc2, then (neglecting the slowly varying function b) the helical wave becomes
2
i (p z - mc t)
f = e
(imagine the "approximately equal" sign).
But wait: That "t" is really tau, the proper time experienced by the physical system. There's gravitational time dilation to figure in!
2 2
i [p z - mc (1 + V/c ) t]
f = e
2
i [p z - (mc + mV) t]
f = e
Now suppose V varies with height. It's negative and it gets less negative as you climb into the sky. Over a small region we can approximate it as V = V0 + az, for some values V0 and a. Then
2
i [p z - (mc + mV + maz) t]
f = e 0
Collect the terms in the exponent that vary in z:
2
i [(p - mat)z - (mc + mV ) t]
f = e 0
The term in the first set of parentheses is the thing that determines the variation of the wave function with height-- that is, the momentum. The momentum is now not p, but
p' = p - mat
and the time derivative of the momentum-- that is, the force-- is
dp' -- = F = -ma dt
(negative because it's pointing downward), and a is revealed to be the acceleration of gravity! (I would have called it g, but I used that for the metric tensor.) The geometry of space-time is causing a change in the momentum by the effect of gravitational time dilation on the quantum wave function.