Solutions to Problems in Jackson,

Classical Electrodynamics, Third Edition

Homer Reid
February 11, 2001

Chapter 5: Problems 10-18

Problem 5.10

A circular current loop of radius a carrying a current I lies in the x y plane with
its center at the origin.
(a) Show that the only nonvanishing component of the vector potential is

0 Ia
Z
A (, z) = dk cos kz I1 (k< )K1 (k> )
0

where < (> ) is the smaller (larger) of a and .

(b) Show that an alternative expression for A is

0 Ia
Z
A (, z) = dkek|z| J1 (ka)J1 (k).
2 0

(c) Write down integral expressions for the components of magnetic induction,
using the expressions of parts a and b. Evaluate explicitly the components of
B on the z axis by performing the necessary integrations.

(a) Translating Jacksons equation (5.33) into cylindrical coordinates, we have

J = I(z)( a) (1)

Following Jackson, we take the observation point x on the x axis, so its coordi-
nates are (, = 0, z). Since there is no current in the z direction, and since the

1
Homer Reids Solutions to Jackson Problems: Chapter 5 2

current density is cylindrically symmetric, there is no vector potential in the

or z directions. In the direction we have

A = Ax sin + Ay cos = Ay
0 Jy (x0 )
Z
= dx0
4 |x x0 |
0 J (x0 ) cos 0 0
Z
= dx
4 |x x0 |
0
0 J (x0 )ei
Z
= Re dx0
4 |x x0 |

" Z #
0 2
Z X
0 0
= Re J (x0 )ei eim( ) cos[k(z z 0 )]Im (k< )Km (k> ) dk dx0
4 m= 0

where we substituted in Jacksons equation (3.148). Rearranging the order of

integration and remembering that = 0, we have
Z Z 
0 X
0 i(1m)0 0 0
A = Re J (x )e cos[k(z z )]Im (k< )Km (k> )dx dk
2 2 m= 0

If m = 1, the integral yields 2; otherwise it vanishes. Thus

0
Z Z Z 
A = J (r0 , z 0 ) cos[k(z z 0 )]I1 (k< )K1 (k> )0 dz 0 dr0 dk
0 0

Substituting (1), we have

Ia0
Z
A = cos kz I1 (k< )K1 (k> ) dk.
0

(b) The procedure for obtaining this expression is identical to the one I just
went through, but with the expression from Problem 3.16(b) used for the Greens
function instead of equation (3.148).
(c) Lets suppose that the observation point is in the interior region of the
current loop, so < = , > = a. Then
A
B = [ A] =
z
Ia0
Z
= k sin kz I1 (k)K1 (ka) dk
0
1 A
Bz = [ A]z = A +

Ia0
 
I1 (k)
Z
0
= cos kz + kI1 (k) K1 (ka) dk
0
Homer Reids Solutions to Jackson Problems: Chapter 5 3

As = 0, I1 () 0, I1 ()/ 1/2, and I10 () 1/2, so

B ( = 0) = 0
Ia0
Z
Bz ( = 0) = k cos kzK1 (ka) dk
0
Z
Ia0
= sin kzK1 (ka)dk
z 0

The integral may be done by parts:

Z 
z

 1
Z

sin kzK1 (kz) dk =  sin kzK0 (ka) +
 cos kzK0 (ka) dk
0 a 0 a 0

K0 is finite at zero but sin vanishes there, and sin is finite at infinity but K0
vanishes there, so the first term vanishes. The integral in the second term is
Jacksons equation (3.150). Plugging it in to the above,

I0 z
Bz ( = 0) =
2 z (z + a2 )1/2
2

I0 a2
= .
2 (z 2 + a2 )3/2

Problem 5.11

A circular loop of wire carrying a current I is located with its center at the origin
of coordinates and the normal to its plane having spherical angles 0 , 0 . There is
an applied magnetic field, Bx = B0 (1 + y) and By = B0 (1 + x).
(a) Calculate the force acting on the loop without making any approximations.
Compare your result with the approximate result (5.69). Comment.
(b) Calculate the torque in lowest order. Can you deduce anything about the higher
order contributions? Do they vanish for the circular loop? What about for
other shapes?

(a) Basically were dealing with two different reference frames here. In the lab
frame, R, the magnetic field exists only in the xy plane, and the normal to the
current loop has angles 0 , 0 . We define the rotated frame R0 by aligning
the z 0 axis with the normal to the current loop, so that in R0 the current loop
exists only in the x0 y 0 plane, but the magnetic field now has a z 0 component.
The force on the current loop is
Z
F = (J B)dV. (2)
 Homer Reids Solutions to Jackson Problems: Chapter 5 4
PSfrag replacements

z1 = z z1

0
z0

y1 y 0 = y1

x 0 y x1
x1
x0

R R1 R1 R 0

Figure 1: Successive coordinate transformations in Problem 5.11.

The components of J are easy to express in R0 , but more complicated in R; the

opposite is true for B. There are two ways to do the problem: we can work out
the components of J in R and do the integral in R, or we can work out the
components of B in R0 and do the integral in R0 , in which case we would have
to transform the components of the force back to R to get the answer we desire.
I think the former approach is easier.
To derive the transformation matrix relating the coordinates of a point in R
and R0 , I imagined that the transformation arose from two separate transforma-
tions, as depicted in figure (??). The first transformation is a rotation through
0 around the z axis, which takes us from R to an intermediate frame R1 . Then
we rotate through 0 around the y1 axis, which takes us to R0 . Evidently, the
coordinates of a point in the various frames are related by

x1 cos 0 sin 0 0 x
y1 = sin 0 cos 0 0 y (3)
z1 0 0 1 z
0
x cos 0 0 sin 0 x1
y0 = 0 1 0 y1 (4)
z0 sin 0 0 cos 0 z1
Multiplying matrices,
0
x cos 0 cos 0 cos 0 sin 0 sin 0 x
y 0 = sin 0 cos 0 0 y . (5)
z0 sin 0 cos 0 sin 0 sin 0 cos 0 z

This matrix also gives us the transformation between unit vectors in the two
Homer Reids Solutions to Jackson Problems: Chapter 5 5

frames:
i0

cos 0 cos 0 cos 0 sin 0 sin 0 i
j0 = sin 0 cos 0 0 j . (6)
k0 sin 0 cos 0 sin 0 sin 0 cos 0 k
We will also the inverse transformation, i.e. the expressions for coordinates in
R in terms of coordinates in R0 :
0
x cos 0 cos 0 sin 0 sin 0 cos 0 x
y = cos 0 sin 0 cos 0 sin 0 sin 0 y 0 . (7)
z sin 0 0 cos 0 z0
To do the integral in (2) its convenient to parameterize a point on the
current loop by an angle 0 reckoned from the x0 axis in R0 . If the loop radius
is a, then the coordinates of a point on the loop are x0 = a cos 0 , y 0 = a sin 0 ,
and the current density/volume element product is
J dV = Id l = (Ia d0 )0
= Ia d0 [ sin 0 i0 + cos 0 j0 ]
h
= Ia d0 ( sin 0 cos 0 cos 0 cos 0 sin 0 )i
i
+ (sin 0 sin 0 + cos 0 cos 0 )j + (sin 0 sin 0 )k

We also need the components of the B field at a point on the current loop:
B(0 ) = B0 [1 + y(0 )]i + B0 [1 + x(0 )]
= B0 [1 + a(cos 0 cos 0 sin 0 + sin 0 cos 0 )]i + B0 [1 + a(cos 0 cos 0 cos 0 sin 0 sin 0 )]j
The components of the cross product are
[J B]x dV = Jz By dV
= ( )Ia2 B0 d0 sin2 0 sin 0 sin 0

[J B]y dV = Jz Bx dV
= ( ) + Ia2 B0 d0 sin2 0 sin 0 cos 0

[J B]z dV = (Jx By Jy Bx ) dV
= ( ) + 0

where we only wrote out terms containing a factor of cos2 0 or sin2 0 , since only
these terms survive after the integral around the current loop (we grouped all
the remaining terms into ( )). In the surviving terms, cos2 0 and sin2 0 turn
into factors of after the integral around the loop. Then the force components
are
Fx = Ia2 B0 sin 0 sin 0
Fy = Ia2 B0 sin 0 cos 0
Fz = 0.
Homer Reids Solutions to Jackson Problems: Chapter 5 6

To compare this with the first-order approximate result, note that the magnetic
moment has magnitude a2 I and is oriented along the z 0 axis:
 
m = a2 I k0 = a2 I sin 0 cos 0 i + sin 0 sin 0 j + cos 0 k

so



B m = B0 (1 + y)mx + B0 (1 + x)my


= B0 my i + mx j
= Ia2 B0 sin 0 sin 0 i + sin 0 cos 0 j)

in exact agreement with the result we calculated so laboriously above.

Problem 5.12

Two concentric circular loops of radii a, b and currents I, I 0 , respectively (b < a),
have an angle between their planes. Show that the torque on one of the loops
is about the line of intersection of the two planes containing the loops and has the
magnitude
2  2n
0 II 0 b2 X (n + 1)

(n + 3/2) b 1
N= P2n+1 (cos ).
2a n=0
(2n + 1) (n + 2)(3/2) a

The torque on the smaller loop is

Z  
N = r Jb (r) Ba (r) dr
Z n o
   
= r Ba (r) Jb (r) r Jb (r) Ba (r) dr.

where Jb is the current density of the smaller loop and Ba is the magnetic field
of the larger loop. But r Jb vanishes, because the current flows in a circle
around the originthere is no current flowing toward or away from the origin.
Thus Z
N = rBr (r)Jb (r)dr (8)

where Br is the radial component of the magnetic field of the larger current
loop.
As in the last problem, its convenient to define two reference frames for this
situation. Let R be the frame in which the smaller loop (radius b, current I)
lies in the xy plane, and R0 the frame in which the larger loop lies in the x0 y 0
plane. We might as well take the line of intersection of the two planes to be the
y axis, so y = y 0 . Then the z 0 axis has spherical coordinates ( = , = 0) in
Homer Reids Solutions to Jackson Problems: Chapter 5 7

R, and for transforming back and forth between the two frames we may use the
transformation matrices we derived in the last problem, with 0 = , 0 = 0. If
we choose to evaluate the integral (8) in frame R, the current density is
 
Jb (r) = I(r b)( /2) sin i + cos j

so the components of the torque are

Z 2
2
Nx = Ib Br (r = b, = /2, ) sin d (9)
0
Z 2
Ny = Ib2 Br (r = b, = /2, ) cos d (10)
0

To do the integral in (8), we need an expression for the radial component Br

of the field of the larger loop. Of course, we already have an expression for the
field in R0 : in that frame the field is just that of a circular current loop in the
x0 y 0 plane, Jacksons equation (5.48):
2l+1
0 I 0 a X (1)l (2l + 1)!! r<
Br0 (r0 , 0 ) = P
2l+2 2l+1
(cos 0 ).
2r0 2l l! r>
l=0

We are interested in evaluating this field at points along the smaller current
loop, and for all such points r = b; then r< = b, r> = a and we have
 2l
0 I 0 X (1)l (2l + 1)!! b
Br0 (r0 = b, 0 ) = P2l+1 (cos 0 ). (11)
2a 2l l! a
l=0

To transform this to frame R, we first note that, since the origins of R and R0
coincide, the unit vectors r and r0 coincide, so Br = Br0 . Next, (11) expresses
the field in terms of cos 0 , the polar angle in frame R0 . How do we write this
in terms of the angles and in frame R? Well, note that

z0
cos 0 =
r
x sin + z cos
=
r
r sin cos sin + r cos cos
=
r
= sin sin cos + cos cos (12)

where in the second line we used the transformation matrix from Problem 5.11
to write down z 0 in terms of x and z. Equation (12) is telling us what our
coordinates in R0 are in terms of our coordinates in R; if a point has angular
coordinates , in R, then (12) tells us what angle 0 it has in R0 . (We could
also work out what the azimuthal angle 0 would be, but we dont need to,
because (11) doesnt depend on 0 .)
Homer Reids Solutions to Jackson Problems: Chapter 5 8

To express the Legendre function in (11) with the argument (12), we may
make use of the addition theorem for associated Legendre polynomials:
Pl (cos 0 ) = Pl (cos cos + sin sin cos )
l
X
= Pl (cos )Pl (cos ) + 2 Plm (cos )Plm (cos ) cos m.
m=1

Of course, the smaller loop exists in the xy plane, so for all points on that loop
we have = /2, whence
l
X
Pl (cos 0 ) = Pl (0)Pl (cos ) + 2 Plm (0)Plm (cos ) cos m.
m=1

We may now write down an expression for the radial component of the magnetic
field of the larger loop, evaluated at points on the smaller loop, in terms of the
angle that goes from 0 to 2 around that loop:
 2l (
0 I 0 X (1)l (2l + 1)!! b
Br () = P2l+1 (0)P2l+1 (cos )
2a 2l l! a
l=0
2l+1
)
X
m m
+2 P2l+1 (0)P2l+1 (cos ) cos m .
m=1

This looks ugly, but in fact when we plug it into the integrals (9) and (10)
the sin and cos terms beat against the cos m term, integrating to 0 in the
former case and m1 in the latter. The torque is

Nx = 0
 2l
0 II 0 b2 X (1)l (2l + 1)!! b 1 1
Ny = P2l+1 (0)P2l+1 (cos ).
a 2l l! a
l=0

To finish we just need to rewrite the numerical factor under the sum:
(1)l (2l + 1)!! 1
 
(2l + 1)!! (l + 3/2)
P2l+1 (0) =
2l l! 2l l! (l + 1)(3/2)
 
(2l + 3 2)(2l + 3 4)(2l + 3 6) (5)(3) (l + 3/2)
=
2l (l + 1) (l + 1)(3/2)
 
(l + 3/2 1)(l + 3/2 2) (5/2)(3/2) (l + 3/2)
=
(l + 1) (l + 1)(3/2)
 2
(l + 3/2)
=
(l + 1)(3/2)
 2
2 (l + 3/2)
= (l + 1)
(l + 2)(3/2)
Homer Reids Solutions to Jackson Problems: Chapter 5 9

So my answer is
2  2l
0 II 0 b2 X

2 (l + 3/2) b 1
Ny = (l + 1) P2l+1 (cos ).
a (l + 2)(3/2) a
l=0

Evidently Im off by a factor of 1/(l + 1)(2l + 1) under the sum, but I cant find
where. Can anybody help?

Problem 5.13

A sphere of radius a carries a uniform surface-charge distribution . The sphere

is rotated about a diameter with constant angular velocity . Find the vector
potential and magnetic-flux density both inside and outside the sphere.

Problem 5.14

A long, hollow, right circular cylinder of inner (outer) radius a (b), and of relative
permeability r , is placed in a region of initially uniform magnetic-flux density B0
at right angles to the field. Find the flux density at all points in space, and sketch
the logarithm of the ratio of the magnitudes of B on the cylinder axis to B0 as a
function of log10 r for a2 /b2 = 0.5, 0.1. Neglect end effects.

Well take the cylinder axis as the z axis of our coordinate system, and well
take B0 along the x axis: B0 = B0 i. To the extent that we ignore end effects,
we may imagine the fields to have no z dependence, so we effectively have a two
dimensional problem.
There are two distinct current distributions in this problem. The first is
a current distribution Jfree giving rise to the uniform field B0 far away from
the cylinder; this current distribution is only nonvanishing at points outside the
cylinder. The second is a current distribution Jbound = M existing only
within the cylinder. Since there is no free current within the cylinder or in its
inner region, the equations determining H in those regions are

B = (H) = 0, H = Jfree = 0.

These imply that, within the cylinder and in its inner region, we may derive H
from a scalar potential: H = m , with m satisfying the Laplace equation.
In the external region, there is free current, so things are not so simple. To
proceed we may separate the H field in the external region into two compo-
nents: one that arises from the free current, and one that arises from the bound
currents within the cylinder. The former is just (1/0 )B0 and the second is
again derivable from a scalar potential satisfying the Laplace equation. So, in
the external region, H = (1/0 )B0 m .
Homer Reids Solutions to Jackson Problems: Chapter 5 10

So our task is to find expressions for m in the three regions such that the
boundary conditions on B and H are satisfied at the borders of the regions.
Writing down the solutions of the 2-D Laplace equation in the three regions,
and excluding terms which blow up as 0 or , we have
P
n
 
Pn=1 n A n cos n + Bn sin n r<a


o
n Cn cos n + Dn sin n + n En cos n + Fn sin n
  
m (, ) = n=1 a<r<b

P n G cos n + H sin n

r>b
n=1 n n

Actually, we may argue on symmetry grounds that the sin terms must all
vanish: otherwise, the fields would take different values on the positive and
negative y axes, but there is nothing in the problem distinguishing these axes
from each other. With this simplification we may write down expressions for
the components of the H field in the three regions:

X
nAn n1 cos n,


m = r<a
r


n=1






X  
Hr = m = n Cn n1 En (n+1) cos n, a<r<b

r n=1





h X
(n+1)
i
(1/ )B = (1/ )B cos + nG cos n , r < b.

0 0r m 0 0 n
r


n=1

X
nAn n1 sin n,


m = r<a



n=1






X  
H = m = n Cn n1 + En (n+1) sin n, a<r<b

n=1





h X
(n+1)
i
(1/ )B = (1/ )B sin + nG sin n , r < b.

0 0 m 0 0 n




n=1

The boundary conditions at r = b are that H and H be continuous,

where = 0 outside the cylinder and r 0 inside. With the above expressions
for the components of H, we have

1 X X  
B0 cos + nGn b(n+1) cos n = r n Cn bn1 En b(n+1) cos n
0 n=1 n=1

1 X X  
B0 sin + nGn b(n+1) sin n = n Cn bn1 + En b(n+1) sin n.
0 n=1 n=1

We may multiply both sides of these by cos n and sin n and integrate from
Homer Reids Solutions to Jackson Problems: Chapter 5 11

0 to 2 to find
1
B0 + G1 b2 = r C1 + r E1 b2 (13)
0
 
Gn b(n+1) = r Cn bn1 En b(n1) , n 6= 1 (14)
1
B0 + G1 b2 = C1 + E1 b2 (15)
0
 
Gn b(n+1) = Cn bn1 + En b(n+1) , n 6= 1 (16)

Similarly, at r = a we obtain

A1 = r C1 r E1 a2 (17)
 
An an1 = r Cn an1 En a(n+1) , n 6= 1
A1 = C1 + E1 a2 (18)
 
An an1 = Cn an1 + En a(n+1) , n 6= 1.
(19)

For n 6= 1, the only solution turns out to be An = Cn = En = Gn = 0. For

n = 1, multiplying (15) by r and adding and subtracting with (13) yields
B0
2r C1 = (r + 1) + (r 1)G1 b2 (20)
0
B0 2
2r E1 = (1 r ) b + (r + 1)G1 . (21)
0
On the other hand, multiplying (18) by r and adding and subtracting with
(17) yields

2r C1 = (r + 1)A1 (22)
2
2r E1 = (r 1)a A1 . (23)

Equating (20) with (22), we find

B0 (r 1)
A1 = + G1 b2
0 (r + 1)

while equating (21) with (23) yields

B 0 b2
 
(r + 1)
A1 = + G1 a2
0 a 2 (r 1)
and now equating these two equations gives

(2r 1)b2
  a 2   
B0
G1 = 1 2 2 2 2
b2 .
b (r + 1) b (r 1) a 0
 frag replacements
Homer Reids Solutions to Jackson Problems: Chapter 5 12

-0.5 (a/b) = 0.5

(a/b) = 0.1
-1

-1.5

log10 r
-2

-2.5

-3

-3.5

-4

-4.5
0 1 2 3 4 5
log10 r
Figure 2: Damping of field inside cylindrical cylinder of permeability r .

The other coefficients may be worked out from this one:

4r b2 B0
A1 = 2 2 2 2
(r + 1) b (r 1) a 0
2(r + 1)b2 B0
C1 = 2 2 2 2
(r + 1) b (r 1) a 0
2(r 1)b2 B0 2
E1 = 2 2 2 2
a .
(r + 1) b (r 1) a 0

The H field is
4r b2 B0
H= i, r<a
(r + 1)2 b2
(r 1)2 a2 0
2b2 B 0 n  a 2   a 2 o
= 2 2 2 2
(r + 1) + (r 1) i 2(r 1) cos r , a < r < b
(r + 1) b (r 1) a 0 r r
2 2 2
  2
B0 (b a )(r 1) B0 b  
= i + i + 2 sin , r > b.
(r + 1)2 b2 (r 1)2 a2 0 r2

The ratio r of the field within the cylinder to the external field is
4r
r= 2 .
(r + 1)2 (r 1)2 ab2

This relationship is graphed in Figure

Homer Reids Solutions to Jackson Problems: Chapter 5 13

Problem 5.16

A circular loop of wire of radius a and negligible thickness carries a current I. The
loop is centered in a spherical cavity of radius b > a in a large block of soft iron.
Assume that the relative permeability of the iron is effectively infinite and that of
the medium in the cavity, unity.
(a) In the approximation of b  a, show that the magnetic field at the center of
the loop is augmented by a factor (1 + a3 /2b3 ) by the presence of the iron.
(b) What is the radius of the image current loop (carrying the same current)
that simulates the effect of the iron for r < b?

(a) There are two distinct current distributions in this problem: the free current
density J1 flowing in the loop, and the bound current density J2 flowing in the
iron. These give rise to two fields B1 and B2 , which must be summed at each
point in space to get the observed field.
B1 is just the field of a planar current loop, which Jackson has already
worked out for us in his section 5.5:

0 I X (1)n (2n + 1)!!  r 2n
P2n+1 (cos ), r < a


2n n!


2a n=0 a
B1r = (24)
0 Ia2 X (1)n (2n + 1)!!  a 2n
P2n+1 (cos ), r > a.


2r3

2n n! r
n=0

0 I X (1)n (2n 1)!!  r 2n 1
P2n+1 (cos ), r < a


2n1 n!


4a n=0 a
B1 = (25)
0 Ia2 X (1)n (2n + 1)!!  a 2n 1
4r3 P2n+1 (cos ), r > a.


2n (n + 1)!

n=0
r

On the other hand, since J2 vanishes for r < b, the field B2 to which it gives
rise has no divergence or curl in that region, which means that throughout the
region it may be derived from a scalar potential satisfying the Laplace equation:
" #
X
B2 = m = An rn Pn (cos )
n=0

X
B2r = nAn rn1 Pn (cos ) (26)
n=1
X
B2 = An rn1 Pn1 (cos ) (27)
n=1
Homer Reids Solutions to Jackson Problems: Chapter 5 14

Since the iron filling the space r > b is assumed to have infinite permeability,
the H field (and hence the B field, since B = H for r < b) must be strictly
radial at the boundary r = b. The An coefficients are thus determined by the
requirement that (27) and (25) sum to zero at r = b:

X 0 Ia2 X (1)n (2n + 1)!!  a 2n 1
An bn1 Pn1 (cos ) = P2n+1 (cos ).
n=1
4b3 n=0 2n (n + 1)! b
The orthogonality of the associated Legendre polynomials requires that each
term in the sum cancel individually, whence
A2n = 0
0 Ia2 (1)n (2n + 1)!!  a 2n
A2n+1 = .
4b3 2n (n + 1)! b2
Then the field of the bound current in the iron is determined everywhere in the
region r < b:

0 Ia2 X (1)n (2n + 1)(2n + 1)!!  ar 2n
B2r = P2n+1 (cos ) (28)
4b3 n=0 2n (n + 1)! b2

0 Ia2 X (1)n (2n + 1)!!  ar 2n 1
B2 = P2n+1 (cos ). (29)
4b3 n=0 2n (n + 1)! b2

As r 0, B2 0 and B2r 0 Ia2 /4b3 , while B1r 0 I/2a, so the total

field at r = 0 is
0 Ia2 a3
 
0 I 0 I
Br (r = 0) = B1r (r = 0) + B2r (r = 0) = + = 1+ 3 .
2a 4b3 2a 2b

(b) The B2 field may be attributed to an image current ring outside r = b if,
for suitable redefinitions of I and a, the expressions (28) and (29) can be made
to look like the r < a versions of (24) and (25).

Problem 5.18

A circular loop of wire having a radius a and carrying a current I is located in

vacuum with its center a distance d away from a semi-infinite slab of permeability
. Find the force acting on the loop when
(a) the plane of the loop is parallel to the face of the slab,
(b) the plane of the loop is perpendicular to the face of the slab.
(c) Determine the limiting form of your answer to parts a and b when d  a.
Can you obtain these limiting values in some simple and direct way?

(a) Well take the loop to be at z = +d, and the slab of permeability to
occupy the space z < 0, so that the boundary surface is z = 0.
Homer Reids Solutions to Jackson Problems: Chapter 5 15

In the region z < 0, there is no free current, so H = 0 everywhere; thus

H may be obtained from a scalar potential, H = m , and since H = 0
as well we have 2 m = 0. The azimuthally symmetric solution of the Laplace
equation in cylindrical coordinates that remains finite as z is
Z
m (z < 0) = dk A(k)ekz J0 (k), (30)
0

and from this we obtain

Z

H (z < 0) = m = dk kA(k)ekz J00 (k)
0
Z
= dk kA(k)ekz J1 (k) (31)
0
Z

Hz (z < 0) = m = dk kA(k)ekz J0 (k). (32)
z 0

On the other hand, for z > 0 we may decompose the H field into two
components: one component H1 arising from the current loop, and a second
component H2 arising from the bound currents running in the slab. H1 is just
given by the curl of the vector potential we worked out in Problem 5.10:
0 Ia
Z

dk ek(zd) J1 (ka)J1 (k), z>d
1 2
0
H1 = A, A = A , A =
0 Ia
Z
0 dk ek(dz) J1 (ka)J1 (k),

z < d.
2 0
so
1
H1 = A
0 z
Ia
Z

dk kek(zd) J1 (ka)J1 (k), z>d
2 0
=
Ia
Z
dk kek(dz) J1 (ka)J1 (k),


z < d.
2 0
(33)
1 1
H1z = (A )
0
Ia
 
1
Z
k(zd)


2 dk ke J1 (ka) J1 (k) J0 (k) z>d
0 k
= Z  
Ia 1
dk kek(dz) J1 (ka)


J1 (k) J0 (k) , z < d.
2 0 k
(34)
In the last two equations we may use Jacksons identity (3.87),
1 1
J1 (k) = [J0 (k) + J2 (k)]
k 2
Homer Reids Solutions to Jackson Problems: Chapter 5 16

to rewrite H1z as
Ia
Z


4 dk ek(zd) J1 (ka) [J2 (k) J0 (k)] , z > d
H1z = Z0 (35)
Ia
dk ek(dz) J1 (ka) [J2 (k) J0 (k)] , z < d.



4 0

Since the H2 field arises entirely from bound currents, it may also be derived
from a scalar potential m satisfying the Laplace equation. The azimuthally
symmetric solution of the Laplace equation in cylindrical coordinates that re-
mains finite for all and as z + is
Z
m (z > 0) = dk B(k)ekz J0 (k)
0

and the components of H2 are

Z
H2r (z > 0) = dk kB(k)ekz J1 (k) (36)
0
Z
H2z (z > 0) = dk kB(k)ekz J0 (k). (37)
0

The required forms of the functions A(k) and B(k) are determined by the
boundary conditions on H at the medium boundary, z = 0:

H (z = 0 ) = H (z = 0+ ) H (z = 0 ) = 0 H (z = 0+ ).

Equating (32) with the sum of (??) and (??), we have

0 Ia
Z Z Z
dk kA(k)J0 (k) = dk kekd J1 (ka) (J2 (k) J0 (k)) + dk kB(k)J0 (k)
0 2 0 0