Gravity and Edgar Rice Burroughs
May 12, 2024 at 10:36 PM by Dr. Drang
Yesterday, I was thinking about what textbook I would move on to after I finish Adventures in Celestial Mechanics. Because I’ve been thinking about gravity, I pulled Oliver Kellogg’s Foundations of Potential Theory off my shelf and started leafing through it. I soon came upon a gravity problem that I first heard about when I was a teenager but never saw the solution for. The problem has to do with Pellucidar, and it’s not as tricky as I expected.
Pellucidar is an imaginary land created by Edgar Rice Burroughs for a series of pulpy adventure books, starting with At the Earth’s Core. The conceit of the stories is that the Earth is actually a hollow shell and that there’s an inhabited land, Pellucidar, on the inside surface of the shell. Intrepid adventurers from our side of the shell dig through to Pellucidar, meet the strange people and creatures who live there, and have adventures intrepidly. Never one to let an idea go unexploited, Burroughs even had Tarzan visit Pellucidar.
While I read one or two Tarzan books and several of the John Carter of Mars books, I never picked up any of the Pellucidar novels. But I did read somewhere—possibly in an Isaac Asimov science essay—that the concept of Pellucidar was flawed in a way apart from the many obvious ways: the inhabitants of Pellucidar would not “stick” to the inner surface of a hollow Earth because there’s no net gravitational force inside a spherical shell.
This seemed very odd to the teen-aged me, but Asimov (or whomever) didn’t explain it, and I didn’t have the analytical tools to check it out myself. But now I do, following more or less the derivation given by Kellogg.
Suppose we have a thin spherical shell of radius . We want to know the gravitational attraction that the sphere exerts on a particle, , which may be either inside or outside the sphere.
We’ll set up our coordinate system so that is on the axis. Every point on the sphere, , can be identified by two angular coordinates, and , which are the point’s latitude and longitude.
(If you’re wondering how we should handle the analysis if isn’t on the axis, don’t. One of the most important things to learn in mechanics is that the coordinate systems we use are up to us; there is no stamped on the universe. Wherever happens to be, we can draw a axis that runs through it from the center of the sphere.)
The gravitational force that some small differential element at on the sphere exerts on particle is
where is the universal gravitational constant, is the areal density of the sphere (i.e., it has units of mass per area, not mass per volume), and is the distance from to . is the differential area of the element on the sphere, and is the differential force (per unit mass of ) that element exerts on particle .
Here’s a sketch of the differential area at :
It’s bounded by lines of latitude that are apart from one another and lines of longitude that are apart from one another. The area of the element is
If you’re wondering why we can use the formula for the area of a rectangle when the edges and the surface itself are curved, I will remind you that this is how calculus works. These differential lengths are teeny tiny and therefore the difference between the area of the surface and the area of a rectangle is extra extra teeny tiny. In calculus, we keep track of the teeny tiny and throw away the extra extra teeny tiny.
To express the differential force in terms of and , let’s look at a side view of the sphere with and . First, we’ll consider the case where is “above” :
The distance between and is
Although I’ve drawn the figure with outside the sphere, the formula above also applies when is inside the sphere. What matters is that is above .
Now let’s consider the case where is “below” :
Here, is the hypotenuse of a different right triangle, but it turns out that
is the same formula as before. That’s convenient. So the magnitude of the differential force is
To determine the force on due to the entire sphere, we’re going to integrate on from to and on from to . But first, we need to think about the direction of the differential force.
Note that in each of the two side views, the gravitational force on has two components: a component parallel to the axis (vertical in our drawings) and a component perpendicular to the axis (horizontal in our drawings). When we integrate over , we’re dealing with forces associated with a circle of constant latitude, and the components perpendicular to the the axis (horizontal) will cancel each other out. For example, the horizontal component when is at cancels the horizontal component when is at , the horizontal component for cancels the horizontal component for , and so on.
The upshot is that we only have to worry about the “vertical” component of the force, i.e., the component in the direction. To get that component, we multiply by the direction cosine.
When is above , the direction cosine is
where the minus sign out in front indicates that the component is acting in the negative direction. Remember, we’re computing the gravitational force on due to , so the force acts from toward .
When is below , the direction cosine is
Compare this formula with the previous one and you’ll see that they are algebraically identical. As with the expressions for , the signs work out to give the same equation for both cases.
So the component of the differential force acting on due to is
and the total force that the sphere exerts on is
This may seem awful, but it isn’t. First, notice that doesn’t appear in the integrand, so the integral over is just
We can pull that and the other constants out to get
This still looks bad, but with tools like Mathematica and SymPy, integrations like this aren’t the pain in the ass they used to be. After a few seconds of chugging in Mathematica,
the answer pops out:
where the signum function () is if the argument is positive and if the argument is negative. Therefore, if is outside the sphere (),
At this point, we recall that is the area of the sphere, so that multiplied by the areal density, , is the mass of the sphere, which we’ll call . So for this case
which is just what we’d expect (remember that this is the force per unit mass of , so there’s no mass term for the particle).
On the other hand, if is inside the sphere (),
which is the surprising (to me, anyway) result that the sphere exerts no net gravitational force on a particle inside it.
How can this be? Well, certainly it makes sense if is at the center of the sphere. If we move up from the center, there’s more mass below but it is, on the average, farther away. It works out that the increasing mass and increasing distance balance each other to keep the net force at zero.
Oliver Kellogg didn’t have Mathematica. His suggestion was to do a change of variable from to and then integrate. He doesn’t give any details of the process, just the two answers. But I went ahead and did it his way, too, using
and
With those substitutions, the integrand becomes
which is much easier to deal with than the original integrand. But we have to be careful with the limits. If , the upper limit () becomes
and the lower limit () becomes
Therefore, the integral is
where I got rid of the negative sign at the front of the integrand by exchanging the limits. With no trig functions to make life difficult, this works out very quickly to
when is outside the sphere. This is the same answer as before.
If , the upper limit () becomes
and the lower limit () becomes
Therefore, the integral is
which works out to
when is inside the sphere. Again, a repeat of the answer we got when integrating over .
While it was nice to see explicitly how Kellogg did the integration, it was faster to just let Mathematica do its thing. And I didn’t get any deeper physical insight doing the change of variable.
Anyway, now I understand the surprising thing I read about 45 or so years ago. And I’m downloading At the Earth’s Core.