12. Separation of Cartesian Variables in 3D


In general, Poisson and Laplace equations in three dimensions with arbitrary boundary conditions are not analytically solvable.  However, there are important cases where, with suitably parametrization, the equation can be solved as a product of three one-dimensional functions, which can be found separately, and a general solution is then a sum of such terms. The basic requirement is that the boundary conditions for the one-dimensional factor solutions be independent of the other parameters, so, for example, if our parameters are the Cartesian x,y,z  the boundaries will constitute a rectangular box (including possibly infinite in some directions).   (We've already seen one example: the equation for the potential for a point charge inside a grounded cubical conducting box discussed above.)  Later, we’ll find many examples of separation of variables in r,θ,φ  co-ordinates for systems with some rotational symmetry, the angular boundaries are almost always the natural ones.

Let’s begin with the Laplace equation in Cartesian coordinates:

2 φ= 2 φ x 2 + 2 φ y 2 + 2 φ z 2 =0.

Try a solution of the form

φ x,y,z =X x Y y Z z .

Putting this in the equation and dividing the result by φ=XYZ  yields

1 X x d 2 X x d x 2 + 1 Y y d 2 Y y d y 2 + 1 Z z d 2 Z z d z 2 =0.

This is a sum of three terms adding to zero, the first is a function only of x,  the second a function only of y,  the third a function only of z.  It follows that for this to make sense all three must be constants otherwise, we could vary one of them by varying its variable, which would not affect the values of the others, but would change the sum.

The constants necessarily can't all have the same sign, since they add to zero, we write

1 X x d 2 X x d x 2 = α 2 , 1 Y y d 2 Y y d y 2 = β 2 , 1 Z z d 2 Z z d z 2 = α 2 + β 2 = γ 2 .

The first equation 

d 2 X x d x 2 = α 2 X x

has solutions of the form Asinαx,Bcosαx  or equivalently C e iαx ,D e iαx .  

On the other hand, the equation for Z z  has hyperbolic solutions, sinhγx,coshγx,  or e γx , e γx .  

Revisiting the Cubical Box with Faces Held at Different Potentials

In the previous lecture we found the potential at any point inside a cubical box with five sides at zero potential, the sixth having a potential varying as a function of position on the side. We solved that problem using the Reciprocation Theorem, and the Green’s function for the space inside the box.

Here we are going to attack the same problem but in a different way: we find a complete set of solutions of 2 φ=0  satisfying the boundary conditions. (Contrast the Green’s function approach in the previous lecture, built on sets of eigenstates of 2  having nonzero eigenvalues.)  Of course, we’d better get the same answer but the equivalence is not immediately obvious.

We’ll suppose the cubical box is 0x,y,z1,  and all the faces except that at z=1  are at zero potential.

Let’s suppose for openers that the two faces perpendicular to the x  axis are both held at zero potential.

Then from the preceding section, in the x  -direction an orthonormalized set of solutions is 

2 sinnπx= 2 sin α n x,

and similarly in the y  -direction.

It follows that a basis of solutions of 2 φ=0  equal to zero on all boundaries except the top face is given by:

φ x,y,z = n,m a nm sinnπxsinmπysinh n 2 + m 2 πz  ,

and if we’re given the potential on the top face to be φ x , y  the coefficient

a nm = 4 sinhπ n 2 + m 2 0 1 0 1 d y φ x , y ,1 sinnπ x sinmπ y ,

And, putting this coefficient in the preceding equation, the potential at any point inside the cube is

φ x,y,z = n,m 0 1 d x d y φ x , y ,1 4sinh n 2 + m 2 πz sinhπ n 2 + m 2 sinnπxsinnπ x sinmπysinmπ y

In the previous lecture, by quite a different method, we found

φ r =8 ε 0 top face d x d y φ x , y n,m, sinnπxsinnπ x sinmπysinmπ y sinπzcosπ π n 2 + m 2 + 2

For these to be equal we need,

sinh n 2 + m 2 πz sinh n 2 + m 2 π =2 =1 sinπzcosπ π n 2 + m 2 + 2 .

Writing K=π m 2 + n 2 ,  we see this is just the Fourier series for sinhKz,

sinhKz sinhK =2 =1 sinπzcosπ K 2 + π 2 2 .

Exercise:  Check this Fourier series expression for sinhKz  by evaluating the appropriate integrals.

Note:  to compare our results with Jackson equation (3.169), what we’re looking at here is the derivative of the Green’s function: Jackson equates the Green’s functions.  Taking the derivative of his expression at z > =c=1  (in our notation) gives our expression.

Two Different Green’s Functions Again

In fact, this is another example of the two different representations of Green’s functions discussed for the simple one-dimensional case in the previous lecture.

Here type A is the standard sum over the complete states in the cube (taken to have unit length sides):

G r , r =8 n,m, sinnπxsinnπ x sinmπysinmπ y sinπzcosπ z π n 2 + m 2 + 2

And type B has the same set in the x  and y  directions, but a discontinuity in slope at z= z :

G r , r =4 n,m sinnπxsinnπ x sinmπysinmπ y sinh K mn z < sinh K mn 1 z > K mn sinh K mn ,

where K mn =π m 2 + n 2 .   Notice that in this sum, unlike that in A, each individual term satisfies  2 f x,y,z =0  except at the one point z= z .

At that point, the change in slope is

1 K m sinh K m K mn cosh K mn zsinh K mn 1z + K mn sinh K mn zcosh K mn 1z =1,

from the formula for sinh A+B .  This doesn’t depend on K mn  and is independent of z,  because it’s the Wronskian of the two solutions.

(Note on Wronskians (from Wikipedia): Given two solutions y 1 , y 2  to the differential equation y +a x y +b x y=0,  it’s easy to check that the Wronskian W x = y 1 y 2 y 2 y 1  obeys the differential equation W x =a x W x .  )

Therefore, 2 G r , r / z 2  has a contribution from the slope change at z= z  equal to

4δ z z n,m sinnπxsinnπ x sinmπysinmπ y =δ x x δ y y δ z z .

Bottom line: we’ve gone over this example in some detail because this is the technique used to construct Green’s functions in systems with spherical or cylindrical symmetry: typically, for the radial variable we can multiply together two solution functions, one for the lesser of the two radii is well-behaved at the origin, the other for the greater is well-behaved at infinity. At the point r= r the variables exchange roles. The consequent discontinuous change in slope (as a function of one of the radii) gives the delta function on differentiating twice.