One of the many mathematical techniques that are useful in the study of electrostatics is called the separation of variables method. This topic covers the application of this method to a situation in which the electrostatic potential in a spherically symmetric system is known. In such a system, the potential (potential and electrostatic potential are interchangeable here) everywhere in space is a function described by the Legendre polynomials. To remind yourself of why this is so, review treatments of Laplace’s equation in spherical coordinates. The following discussion takes the form of the potential as the starting point and then demonstrates a way to use this method for determining more about the system.

Consider a grounded sphere of radius a that is made of a conducting material. This conducting, and solid, sphere is then covered by a shell made of an insulating material. The insulation material is a shell with radius *b*, in which it is required that *b > a* (treat the shell as though it has no thickness). The electrostatic potential on the insulating shell, **Φ**_{shell}, is known to be,

where α is a constant and θ is the angular coordinate of the spherical coordinate system. Figure 1 shows the setup for this topic.

For this system we will find the electrostatic potential everywhere in space and then determine the charge densities on the spherical objects.

## Spatial Profile of Scalar Potential

To begin, the only charge densities we can possibly solve for are surface charge densities. The enclosing shell is just that, a shell, and therefore has no inner volume in which charge may be found. This is just part of the definition for this setup, so there is no physical intuition to be gained. The solid sphere is a conductor and any charge density within it will reside on the surface. This is part of the definition of conductors and is a generally applicable piece of electrodynamic theory. The volume charge density inside of the solid sphere is zero, though it remains to solve for the charge density on the surface of this sphere (i.e., at *r = a*).

It is possible to solve for the charge densities after we have determined the value of the potential everywhere in space. For this spherically symmetric system the form of the potential is given by a sum over Legendre polynomials. The potential of the solid sphere is given, as is the potential at infinity, so the potential is described by,

and it remains to solve for the regions between the objects and beyond the shell. These expressions serve as two of the three boundary conditions given. The third boundary condition is given by the potential on the shell.

Between the objects, for *a ≤ r ≤ b*, the solution for the potential is given by the complete sum over Legendre polynomials,

where *P _{l}(cosθ)* represents the

*l*Legendre polynomial with

^{th}*cosθ*as its argument and

*A, B*are constants. The actual Legendre functions will be written out every time they need to be for further algebraic progress. Again, this expression represents the total solution for this region. This is the starting point for solving any similar (i.e., electrostatic potential) problem in spherical coordinates.

The functional form of the potential for the region *b ≤ r ≤ ∞* begins with the expression in Eq. 1.

where *C, D* are the same type of constants as *A, B*, but not equal to them. In this case the potential must go to zero as *r → ∞*, therefore all of the constants, *C _{l}*, must be zero. The form of the potential in this region simplifies to,

where all that remains is to perform some algebra to rewrite these with the numerical values of the *A, B*, and *D* constants. The phrase “some algebra” usually means a significant amount of tedious labor is on its way, as is the case here.

Beginning with Eq. 3, we know the exact value this expression must equal at the position *r = b*. This is given in the setup,

and it seems difficult to equate these in a manner that allows for the determination of the infinite values of *D*. It is reasonable to assume that there are not an infinite number of *D*‘s for which a value must be found. Rewriting the *α sin ^{2}θ* term as a function of Legendre polynomials will help simplify matters. Since our Legendre polynomials take the

*cosθ*as an argument it is a good idea to begin with the equality

*sin*and then take the simplest Legendre polynomial that includes the

^{2}θ = 1 – cos^{2}θ*cos*term (after the first line I am going to start using shorthand

^{2}θ*P*),

_{l}= P_{l}(cosθ)

and now we can rewrite,

where we have only needed to employ the expressions for two of the Legendre polynomials.

Combining the results of Eq. 4 and Eq. 6 we have,

and the left side shows us that only the *l = 0* and *l = 2* terms must be kept. Technically, it means that *D _{l} = 0* for every value of

*l*except

*0*and

*2*. The reason for this matching is that the Legendre polynomials are orthogonal.

The non-zero *D* values are found by writing out the sum in Eq. 7 and equating terms with the same *l* values,

where this provides the solution all the way out to *r → ∞* and we may add a piece to our map of the potential.

where it is seen that as *r* approaches infinity, the inverse *r* terms will quickly go to zero.

At the position *r = b*, the value of Eq. 1 must also be equal to Eq. 6. Equating these gives,

and we are once again in a position to remove all but two values of *l*.

The previous equality simplifies to,

and there are two more equations found by equating similar Legendre polynomial terms.

and the issue now is that we have four unknowns and only two equations.

Another set of equations containing these unknowns may be achieved by examining the remaining boundary at *r = a*. The potential is zero here, but still described by Eq. 1. This leads to,

and these are combined with the previous two equations to solve for the *a* and *b* constants.

Inserting Eq. 9 into Eq. 8 gives,

and the corresponding values of the *A*‘s from Eq. 9 are,

With all of these constants known and the form of Eq. 1, the potential may be written,

where the full expression for the region between the spheres is,

## Surface Charge Density

A key expression for determining the surface charge density, *σ*, at a location for which the electric fields above, * E_{above}*, and below,

*, it are known, is,*

**E**_{below}where * n* is the normal vector pointing away from (i.e., above) the surface and

*ε*is the permittivity of free space. Since the electric field can be written in terms of the potential as

_{o}*, the previous expression may be written as,*

**E**= –**∇**Φand since we are spherically symmetric there will only be a gradient along the radial direction. This becomes a one dimensional system and a further simplification is available,

As we have already determined that charge density exists at *r = a, b*, let us now apply the previous equation to determine the value of these densities. For *r = a* the region below the surface is *0 ≤ r < a* (with a potential of zero) and the region above the surface is *a < r ≤ b*. At this surface the normal vector is directed along the radial direction, * n = +r*. In the following steps the substitution

*r = a*is made just after the derivative is calculated,

where this is the charge density of the surface at *r = a* and *P _{2}* is given in Eq. 5.

The same procedure is applicable in the pursuit of the charge density on the shell located at *r = b*. In this case the below region is that between the spheres and the above region is the solution for *b ≤ r ≤ ∞*. Our work is made easier because the derivative for the below region has been done in Eq. 10, we begin at that step and replace the *r*‘s with *b*‘s (also multiply the entire expression by *-1* because it was the above region in the previous case) for the present situation.

We have,

and this is the charge density on the surface of the insulating shell.

In this topic determination of the potential is made considerably easier by taking advantage of symmetry. For spherically symmetric systems such as this, the form of a Laplacian-type field (the potential here) will have a form given by the sum over Legendre polynomials. This generic result serves as the starting point and allows us to determine the fields in a fairly direct manner.