Determining a Schwarzschild Force Function
It’s well known that Newton’s gravity equation does a good job in
predicting the motion of objects about large masses, particularly for
planets and satellites. It’s also acknowledged that the
equation is less than perfect as it fails to properly account for
elliptical motion and the path of photons. In such situations
one needs to turn to the Schwarzschild metric. This is an
equation that predicts motion according to the description of gravity
given by General Relativity.
A big problem with the Schwarzschild metric is that applying it is by
no means easy. It often involves ‘Lagrangian principles’ and
differential equations that can only be solved by approximate
means. As such it is normally only used for simple situations.
Newton’s equation by comparison comes in a convenient force form that
allows us to determine the net force on a particle. From this
we can determine acceleration, i.e. an increase in velocity at any
point in time, and hence where a body will be located a short while
later. When many bodies are involved such forces can
certainly be complicated. But with modern computers this is
no problem at all. Instead we can use computers to run
accurate simulations telling us for example how planets will move
through the solar system, without needing to worry about difficult
differential equations.
For this reason it would be helpful to have a way of expressing the
metric as a force function rather than the form it’s in. For
some reason this function is difficult to find on the
internet. There is a reference here [1]. But it
gives completely wrong predictions and becomes infinite when orbital
velocity is zero.
So this paper will be dedicated to determining a ‘Schwarzschild Force
Function’. It will show a derivation from the metric and be
followed by computer simulation examples to demonstrate its accuracy.
The Schwarzschild Metric
The first step is to derive a general force function for ‘regular’
bodies (non-photons). This is pretty complex so feel free
to skip to the answer (equation 13).
The Schwarzschild metric has the form:
(1)
Where:
dτ = increment of ‘proper’ (dilated) time
dt = increment of ‘local’ (non-dilated) time
r = radial distance from body being orbited
α (alpha) = the ‘Schwarzschild radius’ = 2GM/c2
M = mass of body being orbited
θ = angle above the x-y plane
φ (phi) = angle on the x-y plane
Consider the case of a test particle (a body much lighter than the
central mass M) orbiting on the x-y plane. In this case
θ=0, and we can write:
(2)
There are two constants of motion to consider. The first
represents angular momentum h:
(3)
In fact this is angular momentum divided by mass, but if the mass of
the particle is constant h will also be constant. The other
is total Energy E as derived here [2]:
(4)
Start by dividing both sides of (2) by dτ2:
(5)
Substitute in (3) and write dr/dτ as (r-dot=radial velocity):
(6)
Multiply both sides by (1-α/r):
(7)
Substitute in (4) and rearrange:
(8)
Now take the time derivative of both sides (d/dτ):
![(d/d\[Tau])[0 = (E/(m c))^2 -
\!\(\*OverscriptBox["r", "."]\)^2 - (1 - \[Alpha]/r) (c^2 + h^2/r^2)]](img/SchwF-eqn9a.gif)
![\Rightarrow 0=0-2\dot{r} \ddot{r}+\frac{d}{\text{d$\tau $}}\left[-c^2-\frac{h^2}{r^2}+\frac{\alpha c^2}{r}+\frac{\alpha h^2}{r^3}\right]](img/SchwF-eqn9b.gif)
(9)
This gives an expression containing radial acceleration
(r-double-dot). Now solve for :
(10)
Now substitute in the value for α. Also for the
right-hand term, put in h=vt r, where vt is tangential
velocity, i.e. the velocity at right-angles to the central mass:
(11)
This tells us the total outward acceleration. We know that
this will be made up of two components: outward centrifugal force minus
inward gravitational force. The centrifugal component is the
term on the left: h2/r3, because it is actually
vt2/r. Removing this term and multiplying by small m (the
mass of the test particle) gives the gravitational force:
(12)
This can be more conveniently written:
Schwarzschild Force =
(13)
This is very similar to Newton’s equation except it has an added boost
that is in proportion to the square of the orbital velocity.
This boost will normally be very small because it’s divided by the
speed of light squared.
Testing via Simulation
Now for the fun part. We are going to test this equation
using computer simulations. There are various tests that
could be done but the best ones are the most famous examples, namely
computing the motion of Mercury and the motion of light past the
Sun. These will be done using the software
Mathematica. For those who have access they can follow the
steps and diagrams in this notebook:
download Mathematica notebook
To begin with we’ll look at a simplistic example using exaggerated
numbers. Set G=M=m=1. Set the starting position to
x=1, y=0; and give the particle an upward starting velocity that will
yield an elliptic orbit with eccentricity of 0.7. We’ll also
make the speed of light c=10m/s – a very low value because we want the
effects to be highly noticeable. This diagram shows the
result after 300 seconds:

This shows the orbit as a nice ‘Spirograph’ pattern whose elliptic
shape remains constant as time progresses. It also shows the
precession is in the expected direction (anti-clockwise – same as the
orbit direction). So this demonstrates the general concept is
correct.
Now consider the real case of Mercury. In this case we
predict the precession will be in the same direction although by a much
smaller amount.
Before doing this we should specify what we hope for.
According to [3] the predicted amount of precession per orbit
Ψ is given by this equation:
(14)
Where a is the semi-major axis, T is the orbit period, and
e is eccentricity. We would like this in terms of the Sun’s mass
and perihelion distance because our simulation will be using that
information.
Keplar’s third law of planetary motion tells us that:
(15)
And the semi-major axis in terms of perihelion distance rp is:
a=rp/(1-e). Substituting these into (14) gives:
(16)
Inserting the values G=6.674x10-11, M=1.989x1030,
c=299792458, rp=4.600x1010, e=0.205636,
we determine a result of 5.020x10-7
radians. Converting to arcseconds (multiply by
3600*180/pi) and multiplying by number of orbits per century (415.2)
this converts to 43.0 arcseconds per century.
We now apply the same values to a simulation. After one and a
quarter orbits, this is what we get:

At this scale it’s almost impossible to see any progress.
Therefore we’ll instead plot a chart of the outward velocity:

The above graph shows the outward radial velocity of Mercury, i.e. the
velocity away from the Sun. When the blue line crosses the
x-axis from above that is the aphelion (furthest point of the orbit),
and when it crosses from below that is the perihelion (closest point in
the orbit).
We need to zoom in on the first perihelion crossover, as indicated by
the red circle. Zooming in to a region from 7599356.2031
seconds to 7599356.2033 seconds (two 10-thousandths of a second range),
we see the crossover occur at 7599356.2031 seconds. Notice
here the outward velocity is in the order of micrometres per second:

The angle of orbit at this precise point in time is 5.413x10-7
radians. This equates to 46.4 arcseconds per century.
We were expecting 43 arcseconds so it might appear that the simulation
is a bit sloppy. However it needs to be pointed out that the
situation is extremely sensitive. If we go back in time to
t=7599356.1724 seconds, we get an orbit angle of 5.0196x10-7 radians,
which is the required 43 arcseconds.
This point in time is just 0.03s or three hundredths of a seconds
earlier. At that location, just prior to the perihelion
point, Mercury is moving toward the Sun at 0.4mm/s and is just 7.6
microns further away!
Dividing 0.03 by t gives a timing error of 4x10-9 which means we have
an inaccuracy just below the 9th significant digit. To
overcome this we need to redo the calculation using at least 10 digits
of accuracy. Doing so (using “AccuracyGoal->10” in
the software) tells us the crossover occurs at
t=7599355.6124. This corresponds to an angle of 5.023x10-7
radians, which works out to 43.02 arcseconds per century – close enough!
So this shows the above ‘Schwarzschild Force’ equation is reliable for
predicting advances in elliptic orbits.
Light Bending
Now to perform a similar simulation for the bending of light.
It would be tempting to just re-run the above simulation using the same
formula and different starting conditions. Unfortunately it’s
not that easy because photons have rather different properties to
regular bodies. In particular they have zero rest mass while
still having finite momentum. So we need to derive a
different equation.
Start from equation (8). We are going to replace with
an expression in terms of angle:
(17)
dφ/dτ is the rate of change of angle. This relates to the
‘non-mass angular momentum’ h by h = r2 dφ/dτ. So
we have:
(18)
Replacing in (8) and dividing both sides by h2 gives
(19)
Now replace h with h=L/m, where L is actual angular momentum and m is
the mass of the orbiting particle:
(20)
We now set m to zero, or more properly, make it approach
zero. Ordinarily this would achieve nothing because angular
momentum L would also become zero. But photons are different
because they have no rest mass but still have linear and angular
momentum. This has the effect of eliminating one of the terms and
makes the equation [4]:
(21)
Now substitute back in the expression for dr/dφ =
r2/h,
and we get:
(22)
As before we differentiate both sides by time, and solve for :
(23)
Converting this to a force equation by removing the centrifugal force
term h2/r3 and muliplying by m, we get:
(24)
This is very similar to the earlier expression (13) but without the
leading Newtonian gravity term. It seems to be saying: “Light
is unaffected by Newtonian gravity and obeys only Einsteinian gravity,
whereas regular objects follow both”.
The equation also has the small m in it, but in practice we will ignore
that because we are only interested in the acceleration, F/m.
To test this in a simulation, position a small particle on top of the
Sun and give it a starting horizontal (tangential) velocity to the
right and equal to c:

Allowing the particle to move horizontally for a year, it should cover
a horizontal distance of one light year. We then need to see
how much it falls vertically. The vertical distance in
comparison to the horizontal will tell us the deflection angle.
Trying this first using Newtonian gravity tells us the particle moves a
horizontal distance of 9.46071x1015m. This is just under a
light-year, which is 9.46073x1015m, and the slight decrease is due to
gravitational pull. The vertical drop is
1.937x1010m. This corresponds to an angle of 2.047x10-6
radians or 0.422 arcseconds.
Doing the same for ‘light gravity’ tells us the horizontal distance is
almost identical (9.46071x1015m) and the vertical drop is
3.94438x1010m. This corresponds to an angle of 4.169x10-6
radians or 0.860 arcseconds.
In reality the total bending will be double because the particle will
curve on both its approach and departure. So we
need to double the above numbers to get:
Newtonian prediction: 0.845 arcseconds
Einsteinian prediction: 1.720 arcseconds
So the Einsteinian prediction is just over double the Newtonian.
Out of interest, if we use the earlier Schwarzschild force formula (13)
we get 2.595 arcseconds. This is triple the Newtonian and 1.5
times the Einsteinian prediction.
Combining all Methods
For convenience we can construct a combined equation to cover all
situations. Specifying two arguments – argN (Newtonian) and
argE (Einsteinian) – we write:
(25)
For classical situations, set:
argN=1 and argE=0
For General Relativity situations, set:
argN=1 and argE=3
For ‘light situations’, set:
argN=0 and argE=3
Tangential velocity vt can be determined from the relation:
v2=vt2+vr2
Where total velocity v is:
v2 = vx2+vy2+vz2
and vx,vy,vz are the x/y/z components of velocity. Radial
velocity vr is:
vr = (x vx + y vy + z vz)/r
To do a simulation then, basically we need to choose a starting
position and velocity (in x/y/z components). We then use that
to calculate the resulting force (or rather acceleration), split that
acceleration into its x/y/z components, and use that to compute an
updated position and velocity for a small time-step. We then
repeat that over and over and see where the particle goes.
[1]
http://www.biblioteca.org.ar/libros/90154.pdf equation 15
[2]
https://en.wikipedia.org/wiki/Schwarzschild_geodesics
[3]
http://www.math.toronto.edu/~colliand/426_03/Papers03/C_Pollock.pdf
equation 42
[4]
The logic behind this is questionable because 1/h, and hence m/L, is now hidden
within the dr/dφ term, and putting m to zero would make dr/dφ disappear.
But that’s the recommended method used here:
http://arxiv.org/pdf/0712.3709v1.pdf , see equation 44
|