Gravity and Edgar Rice Burroughs

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 a. We want to know the gravitational attraction that the sphere exerts on a particle, P, which may be either inside or outside the sphere.

Sphere with coordinate systems

We’ll set up our coordinate system so that P is on the z axis. Every point on the sphere, Q, 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 P isn’t on the z 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 x-y-z stamped on the universe. Wherever P happens to be, we can draw a z axis that runs through it from the center of the sphere.)

The gravitational force that some small differential element at Q on the sphere exerts on particle P is

dF=GρdAr 2

where G 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 r is the distance from Q to P. dA is the differential area of the element on the sphere, and dF is the differential force (per unit mass of P) that element exerts on particle P.

Here’s a sketch of the differential area at Q:

Differential area element

It’s bounded by lines of latitude that are dθ apart from one another and lines of longitude that are dϕ apart from one another. The area of the element is

dA=(adθ)(acosθdϕ)=a 2cosθdϕdθ

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 P and Q. First, we’ll consider the case where P is “above” Q:

Geometry with P above Q

The distance between P and Q is

r=(acosθ) 2+(zasinθ) 2=a 2+z 22azsinθ

Although I’ve drawn the figure with P outside the sphere, the formula above also applies when P is inside the sphere. What matters is that P is above Q.

Now let’s consider the case where P is “below” Q:

Geometry with P below Q

Here, r is the hypotenuse of a different right triangle, but it turns out that

r=(acosθ) 2+(asinθz) 2=a 2+z 22azsinθ

is the same formula as before. That’s convenient. So the magnitude of the differential force is

dF=Gρa 2cosθa 2+z 22azsinθdϕdθ

To determine the force on P due to the entire sphere, we’re going to integrate on θ from π/2 to π/2 and on ϕ from 0 to 2π. 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 P has two components: a component parallel to the z axis (vertical in our drawings) and a component perpendicular to the z 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 z axis (horizontal) will cancel each other out. For example, the horizontal component when Q is at ϕ=180° cancels the horizontal component when Q is at ϕ=0°, the horizontal component for ϕ=270° cancels the horizontal component for ϕ=90°, 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 z direction. To get that component, we multiply dF by the z direction cosine.

When P is above Q, the z direction cosine is

zasinθa 2+z 22azsinθ

where the minus sign out in front indicates that the component is acting in the negative z direction. Remember, we’re computing the gravitational force on P due to Q, so the force acts from P toward Q.

When P is below Q, the z direction cosine is

asinθza 2+z 22azsinθ

Compare this formula with the previous one and you’ll see that they are algebraically identical. As with the expressions for r, the signs work out to give the same equation for both cases.

So the z component of the differential force acting on P due to Q is

dF z=Gρa 2cosθ(asinθz)(a 2+z 22azsinθ) 3/2dϕdθ

and the total force that the sphere exerts on P is

F=F z= π/2 π/2 0 2πGρa 2cosθ(asinθz)(a 2+z 22azsinθ) 3/2dϕdθ

This may seem awful, but it isn’t. First, notice that ϕ doesn’t appear in the integrand, so the integral over ϕ is just

0 2πdϕ=2π

We can pull that and the other constants out to get

F=2πGρa 2 π/2 π/2cosθ(asinθz)(a 2+z 22azsinθ) 3/2dθ

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:

F=2πGρa 2z 2(sgn(az)1)

where the signum function (sgn) is +1 if the argument is positive and 1 if the argument is negative. Therefore, if P is outside the sphere (a<z),

F=2πGρa 2z 2(11)=4πGρa 2z 2

At this point, we recall that 4πa 2 is the area of the sphere, so that multiplied by the areal density, ρ , is the mass of the sphere, which we’ll call M. So for this case

F=GMz 2

which is just what we’d expect (remember that this is the force per unit mass of P, so there’s no mass term for the particle).

On the other hand, if P is inside the sphere (a>z),

F=2πGρa 2z 2(11)=0

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 P is at the center of the sphere. If we move P up from the center, there’s more mass below P 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 r 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

r=a 2+z 22azsinθ dr=azcosθa 2+z 22azsinθdθ=azcosθrdθ

and

asinθz=a 2z 2r 22z

With those substitutions, the integrand becomes

12az 2a 2z 2r 2r 2

which is much easier to deal with than the original integrand. But we have to be careful with the limits. If z>a, the upper limit (θ=π/2) becomes

r=za

and the lower limit (θ=π/2) becomes

r=z+a

Therefore, the integral is

F=πGρaz 2 za z+aa 2z 2r 2r 2dr

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

F=4πGρa 2z 2

when P is outside the sphere. This is the same answer as before.

If z<a, the upper limit (θ=π/2) becomes

r=az

and the lower limit (θ=π/2) becomes

r=a+z

Therefore, the integral is

F=πGρaz 2 az a+za 2z 2r 2r 2dr

which works out to

F=0

when P 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.