General Inverse Force Laws with spherical symmetries.

Written 16 Mar 2022 by Michael Huang



You probably have heard of the infamous Inverse Square Law, which gives electrostatic and gravitational forces their various properties. But did you know that there exists an Inverse Cube Law, which describes magnetic fields? In this post, we will analyze the inverse nthn^{th} law given a spherically symmetric “charge” distribution. As a bonus, we can extrapolate our analyzes to any hyper-spherically symmetric “charge” distribution, such as a ring, a 4D hypersphere, and etc.

Content

What exactly is the problem

Generalizing the Concept of Charge

Imagine there is a matter with infinitesimal volume and a quantity qq called charge. Let’s call a unit charge such a matter with q=1q=1. Great! As we can see, a normal electric charge, a mass, and a magnetic point dipole all fall into our definition of a generalized charge. We deal with this generalized concept of a charge throughout the post for maximal mathematical generality.

Generalizing Force Law

Assume that our charge exerts a force on a unit charge some location r\vec{r} away and the magnitude of this force FF is proportional to 1rn\frac{1}{r^n} for some nn. In the case of electric charge and gravitational mass, we have F1r2F\propto \frac{1}{r^2}. In the case of magnetic point dipole, we have F1r3F\propto \frac{1}{r^3}.

Generalizing the Entire Problem

Now, consider we have a spherically symmetric distribution of these charges–––a hollow sphere for example—we want to find the force of this spherically symmetric “charge” distribution on a unit charge some location r\vec{r} away.

For the Special Case of Electric Charge

To make our problem concrete, let’s remind ourselves of the solution to this problem in the case of a spherical shell of electric charge with uniform charge density. In that case, we know that force exerted on a unit charge inside the sphere is 0\bold{0}. We further know that the force on a unit charge outside of the sphere exactly equal to the force that would be exerted if we had a singular point charge at the center of the sphere, with the same charge as the entire spherical shell!

What We Will Try to Achieve

Now, these two consequential results are given by Gauss’s Law. And these two results are what we want to generalize/extend to the case where the force exerted by the charge no longer falls off as 1/r21/r^2 but instead falls off as 1/rn1/r^n. We can then also generalize those results further to arrive at the case of a general hyper-spherically symmetric charge distribution.

Inside the Charge Distribution

For starters, let’s consider a 3D hollow spherical charge distribution. We can always generalize to 3D ball distribution by considering as a stacking of hollow spherical shells.

So For General 1rn\frac{1}{r^n} Force What does the Force Inside A Charge Distribution Look Like?

Spoilers!!! It looks ugly. So ugly in fact I’ve decided to spare you of its specific mathematical ugliness. We do will discuss its general structure.

What is the Direction of the Force?

This is easy and has an elegant answer. We will use an approach termed “differential method.” It’s really just a fancy way of saying let’s take a look at the very small interval dxdx or Δx\Delta x if you prefer.

So, let’s place a unit charge d\vec{d} away from the center of the hollow sphere. Now, consider projecting a cone of opening angle dθd\theta in an arbitrary direction, intersecting with one side of the spherical shell. Then, we project a similar cone with the same opening angle dθd\theta towards the opposite direction, intersecting the opposite side of the spherical shell.

These two cones are geometrically similar. Why? Consider the fact that 2 intersecting lines in a circle segments the region into 2 pairs of similar triangles.

Let one cone has radius r1r_1 and the other has radius r2r_2. Say r1<r2r_1< r_2, meaning that cone 1 is on the side of the sphere that we moved towards.

Now, to understand whether the force is in the direction d\vec{d} or d-\vec{d}, we can simply compare the force F1,F2F_1, F_2 generated respectively by the attraction (flip the sign of everything if it’s repulsion) of charges on the surface of the hollow sphere.

The areas these two cones cover, A1,A2A_1, A_2, follows that A1A2=r12r22\frac{A_1}{A_2} = \frac{r_1^2}{r_2^2}. Thus, the charge these two cones cover are C1=ρA1,C2=ρA2C_1 = \rho A_1, C_2 = \rho A_2. And they satisfy C1C2=r12r22\frac{C_1}{C_2} = \frac{r_1^2}{r_2^2}. Now, remember that F1C1r1nF_1 \propto \frac{C_1}{r_1^n} and F2C2r1nF_2 \propto \frac{C_2}{r_1^n}? We can now compare F1,F2F_1, F_2. We have

F1F2=C1/r1nC2/r2n=r12nr22n\frac{F_1}{F_2} = \frac{C_1/r_1^n}{C_2/r_2^n} = \frac{r_1^{2-n}}{r_2^{2-n}}

Since r1<r2r_1 < r_2, we know

F1<F2F_1 < F_2, or the unit charge is forced towards direction of d-\vec{d} when n<2n<2

F1=F2F_1=F_2, or when there’s no force on the unit charge at all when n=2n=2

F1>F2F_1>F_2, or when the unit charge is forced towards direction of d\vec{d} when n>2n>2

Generalizing to Hyper-spherically Symmetric Distribution

We love generalizing. So, what if we are dealing with a circular ring of charge (2D sphere) instead? What about a 4D sphere of charge (though that may be an unlikely engineering problem)?

Say the sphere is kDkD. We note that the surface area of the sphere grows with respect to radius rr with the proportion rk1r^{k-1}. That means C1r1k1C_1\propto r_1^{k-1} and similarly for C2C_2.

Thus,

F1F2=r1kn1r2kn1\frac{F_1}{F_2} = \frac{r_1^{k-n-1}}{r_2^{k-n-1}}

Nice! So next time your teacher asks you whether the equilibrium of a point mass located at the center of a ring of uniform mass is stable or unstable, you can just recognize that as a subcase of this generalized direction problem with n=2n=2 (because it’s gravitation) and k=2k=2 because a ring is a 2D sphere. In that case, because kn1=1<0k-n-1=-1<0, we know the force is in the direction of d\vec{d} for any displacement d\vec{d} from the center. So, we know that the equilibrium at the center is unstable.

One final thing we can derive from our analysis is the approximate magnitude of the force (or at least its proportions). We note that FnetΔFF_\text{net} \propto \Delta F where ΔF=F1F2\Delta F = F_1 - F_2.

Since F1r1kn1F_1 \propto r_1^{k-n-1}, and similarly for F2F_2, we may derive

Fnetr1kn1r2kn1(rdcos(θ))kn1(r+dcos(θ))kn1rkn1(kn1)rkn2dcos(θ)rkn1(kn1)rkn2dcos(θ)=2(n+1k)dcos(θ)rkn2F_\text{net} \propto r_1^{k-n-1} - r_2^{k-n-1} \\ \approx (r-d\cos(\theta))^{k-n-1} - (r+d\cos(\theta))^{k-n-1} \\ \approx r^{k-n-1} -(k-n-1)r^{k-n-2}d\cos(\theta)\\ - r^{k-n-1}-(k-n-1)r^{k-n-2}d\cos(\theta) \\ = 2(n+1-k)d\cos(\theta) r^{k-n-2}

That means, Fnet(n+1k)rkn2F_\text{net} \propto (n+1-k) r^{k-n-2} when the displacement d\vec{d} is relatively small. Of course, when we plug in n=2n=2 and k=3k=3 as in the case of a normal spherical shell and the electric/gravitational force, we know that Fnet=0F_\text{net} = 0.

Outside the Charge Distribution

Placing the unit charge outside of the distribution gives us an entirely different picture, quite a beautiful one indeed.

To understand that, we need to understand a mathematical concept: the mean value theorem of a a harmonic function. I will explain that now.

Mean Value Theorem of a Harmonic Function

To keep the math short and simple, let’s start from the beginning. The laplacian of a function ff, denoted by 2f\nabla^2 f, is the sum of its second partial derivatives in all directions:

2f=2fx2+2fy2+2fz2\nabla^2 f = \frac{\partial^2 f}{ {\partial x}^2 } + \frac{\partial^2 f}{ {\partial y}^2 } + \frac{\partial^2 f}{ {\partial z}^2 }

Great! What does that value tell us about ff? Well, a single second derivative tells us about the concavity of the function along that direction. So 2f\nabla^2 f really stands for the average concavity of the function along all directions.

For example, f=x2+y2+z2f = x^2 + y^2 + z^2 is convex everywhere, so it has a very positive 2f\nabla^2 f, indicating positive concavity (convexity).

So, what does concavity/convexity tell us about a function? Well, let’s recall the geometric definition of convexity.

A polygon is called convex at a region if we pick two points and look at their midpoint, then the midpoint is guaranteed to be outside of the line connecting the two points.

We can generalize that definition to a function. A 1D function is convex around a region if we pick two points in the region, their midpoint is above the line connecting the two points. Or in other words, their midpoint >> the average of their values.

What about for 2D function? Instead of picking two points, we pick a circle. If the center of the circle exists above the plane defined by the circle, the function is convex! If below, then it’s concave down. To be more mathematical, we are comparing the center of the circle on the function with the average value of all points on the circle.

Thus, we know that if 2f>0\nabla^2 f > 0 or ff is concave up/convex, then, given xcenterx_\text{center} and defining the set of all points distance rr from xcenterx_\text{center} to be RR, we have

f(xcenter)<avgR(f)=xRf(x)dxkxRdxkf(\vec{x}_\text{center}) < avg_R(f)= \frac{\int_{\vec{x}\in R} f(\vec{x}) dx^k}{\int_{\vec{x}\in R} dx^k}

The right hand side simply stands for the average of ff over RR, which is computed by the integral given. dxkdx^k stands for an infinitesimal volume with dimension kk where kk is the number of independent variables ff has. I borrowed this symbol from the famous physicist Scott Dodelson.

If 2f<0\nabla^2 f < 0, we reversely have

f(xcenter)>avgR(f)=xRf(x)dxkxRdxkf(\vec{x}_\text{center}) > avg_R(f)= \frac{\int_{\vec{x}\in R} f(\vec{x}) dx^k}{\int_{\vec{x}\in R} dx^k}

The curious case occurs when 2f=0\nabla^2 f = 0, then we have

f(xcenter)=avgR(f)=xRf(x)dxkxRdxkf(\vec{x}_\text{center}) = avg_R(f)= \frac{\int_{\vec{x}\in R} f(\vec{x}) dx^k}{\int_{\vec{x}\in R} dx^k}

ff is called a harmonic function when 2f=0\nabla^2 f = 0. And this identity we have up here is called the Mean Value Theorem of a Harmonic Function.

I will explain its value for us now. It will basically help us derive that the force produced by any spherically symmetric charge distribution can be equated to the force produced by a point charge located at its center.

How? Read on.

The Force of Unit Charge on Spherically Symmetric Charge Distribution

Say, we have a spherically symmetric charge distribution we call S1S_1 and a point charge P2P_2. We are interested in F12F_{12}, the force on S1S_1 produced by P2P_2. If P2P_2 produces a force field that is =krn=\frac{k}{r^n}, then the total force on S1S_1, letting ρ\rho be its charge density is F12=S1krn(ρdV)=kρS11rndVF_{12} = \int_{S_1} \frac{k}{r^n} (\rho \cdot dV) \\ = k\rho \int_{S_1} \frac{1}{r^n} dV Now great! We arrived at an intractible multi-dimensional integral!

Except for the fact that 1rn\frac{1}{r^n} is a harmonic function when n1n\ge 1, when r0r\not=0! We can easily check that by taking 21rn\nabla^2 \frac{1}{r^n} but I will spare you the mathematical pain.

By the Mean Value Theorem, we know

xRf(x)dxk=f(xcenter)xRdxk\int_{\vec{x}\in R} f(\vec{x}) dx^k = f(\vec{x}_\text{center}) \int_{\vec{x}\in R} dx^k

For our case, R=S1R=S_1, f(x)=1rnf(\vec{x}) = \frac{1}{r^n} and dxk=dVdx^k = dV. So we have

F12=kρS11rndV=kρf(xcenter)VF_{12} = k\rho \int_{S_1} \frac{1}{r^n} dV \\ = k\rho f(\vec{x}_\text{center}) V

f(xcenter)f( \vec{x} _ \text{center}) is the value of 1rn\frac{1}{r^n} when we are at the center of S1S_1. If we let the separation between the center of S1S_1 and P2P_2 be denoted by dd, we have f(xcenter)=1dnf(\vec{x} _ \text{center}) = \frac{1}{d^n}.

So collecting everything, our final formula for F12F_{12} is

F12=kρVdnF_\text{12} = \frac{k\rho V}{d^n}

Recognizing that ρV\rho V gives the total charge of the distribution, which we may call QQ, we have

F12=kQdnF_{12} = \frac{kQ}{d^n}

which is equivalent to the force exerted on a charge located at the center of S1S_1 with the same total charge as S1S_1!

We are not done yet. We need to find F21F_{21} the force caused by a spherical charge distribution not one received by it. For that we use a quick Newton’s 3rd Law argument.

Newton’s 3rd Law to the Rescue

We know F21=F12F_{21} = F_{12} in magnitude. Great! Now we replace S1S_1 with P1P_1, a point charge with the same charge as S1S_1 located at the center of S1S_1. By our arguments in the last section, F12F_{12} remains unchanged. Therefore, F21F_{21} mustn’t change either. We can therefore conclude that the force exerted on P2P_2 by P1P_1 is the same as that exerted by S1S_1. In other words, a spherical charge distribution exerts the same force as a point charge located at its center.

A Final Question…

All these arguments using the Mean Value Theorem…seem to work no matter where P2P_2 is located with respect to S1S_1. What if P2P_2 is within S1S_1? Would that not mean a spherical charge distribution exerts a force on a point charge within it with the same magnitude as the force exerted by a point charge at the center of the sphere with the same total charge? Doesn’t that nullify our discussion of the force laws inside a spherical shell and other spherically symmetric shapes?

That’s really confusing!!!

Since this is a crucial question for understanding our entire analysis, I will just leave it to the readers to figure out!

Acknowledgement

This post doesn’t contain all original ideas.

The second part of the post using the harmonic function idea to derive force laws originate from 2021’s Young Physicist Tournament problem “The Attraction Between Magnetic Balls.” The work was done with William Yue, and several other folks.

The intuition regarding understanding the laplacian as an indicator of concavity is built upon Grant Sanderson’s lecture on the said topic.

The idea of applying the harmonic function to understanding force laws is suggested by Kirk T. McDonald in this paper.

The idea of using Newton’s 3rd Law for the final argument is presented by Boyd F. Edwards et al. in their paper