1

Assignment 4 — Solutions 2/6/04
Problem 3.1
We have azimuthal symmetry and charge-free space so expand in Legendre polynomials as in eq. 3.33:

FHr, qL = ‚ AAl rl + Bl r-Hl+1L E Pl Hcos qL

z

V

l=0

p
F§r=a = V QJ ÅÅÅÅÅ - qN
2
p
F§r=b = V QJq - ÅÅÅÅÅ N
2

a

ϖ

b

where Q is the step function. Use the orthogonality condition eq 3.21 to integrate both sides multiplied by Pk Hcos qL:
‚ AAl al + Bl a-Hl+1L E ‡

l=0

1
-1

Hcos qL Pl Hcos qL Pk Hcos qL = ‡

p
Hcos qL V QJ ÅÅÅÅÅ - qN Pk Hcos qL
2
-1
1

1
2
‚ AAl al + Bl a-Hl+1L E ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ dkl = V ‡ Hcos qL Pk Hcos qL
2k+1
0
l=0

1
V
Ak ak + Bk a-Hk+1L = ÅÅÅÅÅÅ H2 k + 1L ‡ Hcos qL Pk Hcos qL
2
0

The integral is done in Jackson 3.26 for odd k . For even k the Pk HxL are even about x = 0, so we may double the
integration range and take half of the result; also we gratuitously multiply by P0 HxL = 1:

1
1
1
Hcos qL Pk Hcos qL = ÅÅÅÅÅ ‡ Hcos qL Pk Hcos qL P0 Hcos qL = ÅÅÅÅÅ 2 dk0
2 -1
2
0
d
l
k0 , k even
o
V o
o
k
-Hk+1L
Hk-1L
2
ê
Ak a + Bk a
= ÅÅÅÅÅÅ m
Hk - 2L!!
i 1y
o
H2 k + 1L ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ , k odd
2 o
o jj- ÅÅÅÅÅ zz
o
2
@Hk
+ 1L ê 2D!
2
k
{
n
1

The same procedure works for the r = b boundary condition except we're now integrating over -1 § cos q § 0 on the
right-hand-side, which can be evaluated by a change of integration variables cos q Ø -cos q and noting that
Pk H-xL = H-1Lk Pk HxL (this is just a statement of the odd/evenness of the function):

2

0
0
V
V
Ak bk + Bk b-Hk+1L = ÅÅÅÅÅÅ H2 k + 1L ‡ Hcos qL Pk Hcos qL = - ÅÅÅÅÅÅ H2 k + 1L ‡ Hcos qL Pk H-cos qL
2
2
-1
1
1
V
k
= H-1L ÅÅÅÅÅÅ H2 k + 1L ‡ Hcos qL Pk Hcos qL
2
0
dk0 , k even
l
o
V o
o
Hk-1Lê2
= H-1Lk ÅÅÅÅÅÅ m
Hk
2L!!
1
y
i
o
H2 k + 1L ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ , k odd
2 o
o jj- ÅÅÅÅÅ zz
2 @Hk + 1L ê 2D !
nk 2{

Define
V
Ck ª ÅÅÅÅÅÅ
2

dk0 , k even
l
o
o
o
Hk-1Lê2
mi 1y
Hk - 2L!!
o
zz
j
o
H2 k + 1L ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ , k odd
o j- ÅÅÅÅÅ
2 @Hk + 1L ê 2D !
nk 2{

Ak ak + Bk a-Hk+1L = Ck

ó Ak + Bk a-H2 k+1L = Ck a-k

ó Ak a2 k+1 + Bk = Ck ak+1

Ak bk + Bk b-Hk+1L = H-1Lk Ck ó Ak + Bk b-H2 k+1L = H-1Lk Ck b-k ó Ak b2 k+1 + Bk = H-1Lk Ck bk+1

Subtract the second row from the first to solve for Ak and Bk :
a-l - H-1Ll b-l
al+1 - H-1Ll bl+1
Al = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl , Bl = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl
a2 l+1 - b2 l+1
a-H2 l+1L - b-H2 l+1L

V
FHr, qL = ÅÅÅÅÅÅ + ‚ AAl rl + Bl r-Hl+1L E Pl Hcos qL
2 l=1
a-b
V
I've separated out the A0 = ÅÅÅÅÅÅÅÅ
ÅÅÅÅ C = ÅÅÅÅ
ÅÅ and B0 = 0 pieces to facilitate taking limits, which we will do next. For
a-b 0
2
b Ø ¶ this is like having no outer sphere and being outside a northern hemisphere at potential V , i.e. half of the a ê r
version of eq. 3.36 superimposed with a constant potential +V . Cl is independent of a and b, so we just need to worry
about the limiting forms of Al and Bl (keeping in mind that l ¥ 0 so apparently positive powers really are such):

al+1 ê bl+1 - H-1Ll
lim Al = lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl
bض
bض a2 l+1 ê bl+1 - bl

0 - H-1Ll
= lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = 0 , l ∫ 0
bض 0 - bl

a-l - H-1Ll ê bl
a-l
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = al+1 Cl
lim Bl = lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
-H2
l+1L
2
l+1
bض
bض a
- 1êb
a-H2 l+1L

The first few (nonzero, l > 0) Cl 's are C1 = 3 ê 2 HV ê 2L, C3 = -7 ê 8 HV ê 2L, C5 = 11 ê 16 HV ê 2L, so


ÑÉÑ
3 a 2
a l+1
V ÅÄÅ
7 a 4
11 a 6
lim FHr, qL = ‚ Cl J ÅÅÅÅÅ N Pl Hcos qL = ÅÅÅÅÅÅ ÅÅÅÅ1 + ÅÅÅÅÅ J ÅÅÅÅÅ N P1 Hcos qL - ÅÅÅÅÅ J ÅÅÅÅÅ N P3 Hcos qL + ÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N P5 Hcos qL + …ÑÑÑÑ
ÑÖ
bض
2 r
r
2 ÅÇ
8 r
16 r
l=0

exactly as advertised. For a Ø 0 this is like having no inner sphere and being inside a southern hemisphere at potential
V , which is half of the r ê a version of eq. 3.36 superimposed with -V and with the substitution V Ø -V after that:

3
0 - H-1Ll bl+1
1 l
lim Al = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = jij- ÅÅÅÅÅ zyz Cl
2
l+1
0-b
k b{

aØ0

al+1 - a2 l+1 H-1L b-l
lim Bl = lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
aØ0
aØ0 1 - a2 l+1 b-H2 l+1L

r l
lim FHr, qL = ‚ Cl J- ÅÅÅÅÅ N Pl Hcos qL =
b
aØ0
l=0
l

Cl = 0

ÉÑ
3 r
V ÄÅÅ
7 r 3
11 r 5
Ñ
ÅÅÅÅÅÅ ÅÅÅÅ1 - ÅÅÅÅÅ ÅÅÅÅÅ P1 Hcos qL + ÅÅÅÅÅ J ÅÅÅÅÅ N P3 Hcos qL - ÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N P5 Hcos qLÑÑÑÑ
Å
ÑÖ
2 b

8 b
16 b

Problem 3.3
z
K
x = zzˆ

F§q=pê2,r<R = V = constant
sHvL = s0 IR2 - v2 M

K JK
x − x′ = z 2 +ϖ 2

-1ê2

σ
x

R

V

y

JK
x′ = ϖ ′ϖˆ ′

To find the coefficients we use the trick of calculating the potential at an arbitrary point z > R on the z-axis:
-1ê2
÷”£ L
2p
R
1
rHx
s0 HR2 - v£2 L
1
FHz z` L = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ 3 x£ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ£ ÅÅ = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡
v£ f ‡ v£ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ


÷
÷
4 p e0
†x - x §
4 p e0 0
0
Hz2 + v£2 L1ê2
£
R
v
s0
£
£2
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ!ÅÅÅÅÅÅÅÅ
= ÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ v ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!!!!!!!!!
!!!!!!!!
!!!!!!!ÅÅÅÅÅ ì change variable u ª v
2 e0 0
R2 z2 + HR2 - z2 L Hv£ L2 - Hv£ L4
ÄÅ
ÉÑR2
Å
ÑÑ
R2
ÑÑ
1
s0 ÅÅÅÅ
-2 u + HR2 - z2 L
s0
-1
ÑÑ
Å
= ÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡
-sin
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅÅÅÅÅ
Å
ÅÅÅ
u ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅ
Å
Å
=
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅ
Å
ÅÅ
ÑÑ
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!
!
!!!!!!!
!
Ñ
"################
################
########
#
4 e0 0
4 e0 ÅÅÅ
2
R2 z2 + HR2 - z2 L u - u2
HR2 - z2 L + 4 R2 z2 ÑÑÑÖ0
ÅÇ
Ä
É R2
-2 u + R2 - z2 ÑÑ
s0 ij -1 R2 - z2
-2 R2 + R2 - z2 yz
s ÅÅ
jjsin ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ - sin-1 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
= ÅÅÅÅÅÅÅÅ0ÅÅÅÅÅ ÅÅÅÅ-sin-1 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÑÑÑÑ
=
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅ
Å
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzz
j
ÑÑÑÖ0
4 e0 ÅÅÅÇ
R2 + z2
4 e0 k
R2 + z2
R2 + z2
{
i
y
i
yz
jj R2 2
2
zz p zzz
ij R2 - z2 yz
yz
s0 ij
s0 jjjj
-z
jj
ij R2 - z2 yz
z
-1
-1
j
j
z
j
z
j
z
= ÅÅÅÅÅÅÅÅÅÅÅÅÅ jj- sinh jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz - sin H-1Lzz = ÅÅÅÅÅÅÅÅÅÅÅÅÅ jj- lnjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + &''''''''''''''''
ÅÅÅÅÅÅÅ zz''''''''
+ 1''' zz + ÅÅÅÅÅ zzzz
''''''''
jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
2
2
2
2
jj R2 + z2
zz 2 zz
4 e0 k
4 e0 jjj
j
z
z
k R +z {
k R +z {
{
k
{
k
{
É
Ä
ij R2 - z2
s0 ÅÅÅÅ p
s0 i p
2 R z yzÑÑÑÑ
ÂR+z y
= ÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅ ÅÅÅÅÅ -  lnjjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzÑÑÑ = ÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅ -  ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz ì lnH-ÂL = - p ê 2
2
2
4 e0 ÅÅÇ 2
R2 + z2 {ÑÑÖ
4 e0 k 2
R+Âz {
k R +z

Âz-R
s0
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅ Â ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 e0
Âz+R

Since the disk is at z = 0 has constant potential V , FH0L = V = p s0 ê 4 e0 so s0 = 4 e0 V ê p . Now to the cases:
(a)


1+e
For r > R, let u ª R ê z so 0 § u § 1 and we can expand about u = 0 using ln ÅÅÅÅÅÅÅÅ
ÅÅ = 2 ‚
1-e

e2 n+1
ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅ :
n=0 2 n+1

4

HÂ uL2 l+1
H-1Ll+1
ÂV
Â-u
ÂV
1+Âu
2ÂV
2V
F> Hz z` L = - ÅÅÅÅÅÅÅÅÅÅ ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅ ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p
Â+u
p
1-Âu
p
2l+1
p
2l+1

l=0

l=0

R
jij ÅÅÅÅÅÅ zyz
kz{

2 l+1

Now just take z Ø r and tack on the appropriate Legendre polynomials (remember that we want F to look like
‚ @Al rl + bl r-Hl+1L D Pl eventually) for the general r > R solution:
H-1Ll r -H2 l+1L
H-1Ll i R y2 l
2V
2V R
÷”L = ÅÅÅÅÅÅÅÅ
F> Hx
ÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅÅ N
P2 l Hcos qL = ÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅ zz P2 l Hcos qL
p
2l+1 R
p r
2l+1 k r {

(b)

l=0

l=0

For r < R, let u ª z ê R so 0 § u § 1 and expand about u = 0:
2 H-ÂL V
1-Âu y
H-Â uL2 l+1
ÂV
Âu-1
ÂV i
F< Hz z` L = - ÅÅÅÅÅÅÅÅÅÅ ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅ jj p + ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz = V + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p
1+Âu {
p
Âu+1
p k
2l+1

l=0

H-1Ll+1

2V
z 2 l+1
= V + ÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅÅ N
p
2l+1 R

l=0

H-1Ll r 2 l+1
2V
÷”L = V - ÅÅÅÅÅÅÅÅ
F< Hx
ÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅÅ N
P2 l+1 Hcos qL
p
2l+1 R

l=0

(c)

To calculate capacitance set V = 1 and compute the total charge on the disk:
C = Qtotal§V =1 = ‡

0

2p

ƒƒƒ
s0
4 e0 V ƒƒ
"################## R
v ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅ
Å
ÅÅÅ
Å
Å
= 2 p ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ §
B- R2 - v2 F =
§ƒ
è!!!!!!!!
!
!!!!!!!!!
ƒ
p ƒV =1
0
0
R2 - v2 ƒƒV =1

v f ‡

R

8 e0 R

Problem 3.4
(a)

We need to expand in spherical harmonics, but can take Blm = 0 since we want finiteness at the origin inside:

l
2 l + 1 Hl - mL! m
%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ%%% Pl Hcos qL ‰Â m f
FHr, q, fL = ‚ ‚ Alm rl Ylm Hq, fL , Ylm Hq, fL = $%%%%%%%%%%%%%%%%
4 p¨¨¨¨¨¨¨¨≠¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨
Hl + mL!
´¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨
¨¨¨¨¨ Æ
l=0 m=-l
ªClm

The boundary conditions are periodic with period 2 p ê n, so the potential should be as well:
FHr, q, f + 2 p ê nL = FHr, q, fL ï ‰Â m Hf+2 pênL = ‰Â m f ï ‰2  p m ên = 1 ï m ê n œ 

With the first segment at +V and alternating, the boundary condition is
FHa, q, fL = H-1Lk V , k p ê n § f § Hk + 1L p ê n , k = 0, 1, …, 2 n - 1

Integrate the left- and right-hand sides:

5

2p

2p
0

f ‡

1

-1

0

f ‡

1

-1

* Hq, fL FHa, q, fL =
Hcos qL Ylm



£
*
f ‡ Hcos qL Ylm Hq, fL ‚ ‚ Al£ m£ al Yl£ m£ Hq, fL
0
-1
l£ =0 m£ =-l£
l
= Alm a

* Hq, fL FHa, q, fL =
Hcos qL Ylm

2p

‚ ‡

2 n-1
k=0

Hk+1L p
ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
n ÅÅÅÅ

k pên

f ‡

‚ H-1Lk V ‡

2 n-1

=

1

k=0

-1

Hk+1L p
ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
n ÅÅÅÅ

k pên

‚ H-1Lk V Clm ‡

2 n-1

=

1

k=0

Hcos qL Yl*£ m£ Hq, fL H-1Lk V
f ‡

1

-1

Hcos qL Clm Plm Hcos qL ‰-Â m f

Â
Hcos qL Plm Hcos qL ÅÅÅÅÅÅ I‰-Â p Hk+1L mên - ‰-Â p k mên M
m
-1
1

0 , m ê n even
l
o
‰-Â p Hk+1L mên - ‰-Â p k mên = ‰-Â p k mên I‰-Â p mên - 1M = H-1Lk mên AH-1Lmên - 1E = m
o 2 H-1Lk , m ê n odd
n

We see that Alm will vanish if m ê n is even. If m ê n is odd, we can have m either even or odd depending on n, i.e.
schematically if n is odd, m = oddäodd = odd, otherwise if n is even, m = oddäeven = even. Also Plm is odd/even if
m + l is odd/even, so the integral over it (and thus Alm ) will vanish if m + l is odd, which happens if m and l differ in
parity. In summary, we must have all three of m, n, l be of the same parity if Alm is not to vanish. For these nonvanishing Alm we can do the sum over k immediately since the two H-1Lk factors combine to form a +1:
Alm al = - ‚ H-1Lk V Clm ‡
2 n-1
k=0

Â
Hcos qL Plm Hcos qL ÅÅÅÅÅÅ 2 H-1Lk
m
-1
1

= -H2 n - 1 - 0 + 1L V Clm ‡

1

4Ân
Hcos qL Plm Hcos qL ÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅÅÅÅ V Clm ‡ x Plm HxL
m
m
-1
-1
1

l
1
o
2 l + 1 Hl - mL!
4ÂV n
o
o
%%%%%%%%
o - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ $%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ%%% ‡ Hcos qL Plm Hcos qL , n, m, l have the same parity
Alm = m
4 p Hl + mL! -1
al m
o
o
o
o
, otherwise
n0

(b)
In the following we will need to evaluate integrals of Plm 's, which is a straightforward, tedious, and completely
uninteresting exercise so I ran them through Mathematica. We can save some work by using eq. 3.51 to relate
1
2 l + 1 Hl + mL!
4ÂV n
%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ%%% ‡ Hcos qL Pl-m Hcos qL
Al-m = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ $%%%%%%%%%%%%%%%%
l
4 p Hl - mL! -1
m
a

1
2 l + 1 Hl + mL!
Hl - mL!
4ÂV n
%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ%%% H-1Lm ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ Hcos qL Plm Hcos qL
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ $%%%%%%%%%%%%%%%%
4 p Hl - mL!
Hl + mL! -1
al m

1
2 l + 1 Hl - mL!
4ÂV n
%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ%%% ‡ Hcos qL Plm Hcos qL
= -H-1Lm+1 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ $%%%%%%%%%%%%%%%%
4 p Hl + mL! -1
al m

= H-1Lm+1 Alm

n = 1 is odd, so we will only have terms where m and l are both odd. The above then gives Al-m = Alm for all l, m
since m + 1 is even. Remembering that l ¥ 0 and m = -l, …, l , we see that the nonzero coefficients up to l = 3 are

6

1
4ÂV 1
2 + 1 H1 - 1L!
6
p
ÂV
3p
ÂV
%%%%%%%%%%%%%%%%
A11 = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅ $%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ%
ÅÅÅÅÅ J- ÅÅÅÅÅ N = ÅÅÅÅÅÅÅÅÅÅ $%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅ% = A1-1
Hcos qL P11 Hcos qL = - ÅÅÅÅÅÅÅÅÅÅ $%%%%%%
a 1
4 p H1 + 1L! ‡-1
p
2
a
2
a
è!!!!!!!!!!
1
6 + 1 H3 - 3L!
ÂV
35 p
4ÂV 1
A33 = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅ $%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ% ‡ Hcos qL P33 Hcos qL = ÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = A3-3
4 p H3 + 3L! -1
a3
16
a3 3
!
è!!!!!!!!!
1
21 p
ÂV
6 + 1 H3 - 1L!
4ÂV 1
A31 = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅ $%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ% ‡ Hcos qL P31 Hcos qL = ÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = A31
16
a3
4 p H3 + 1L! -1
a3 1

è!!!!!!!!!!
35 p r 3
ji 3 p r
FHr, q, fL = Â V jjjj$%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅ% ÅÅÅÅÅ @Y1-1 Hq, fL + Y11 Hq, fLD + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N @Y3-3 Hq, fL + Y33 Hq, fLD
j
16
a
2 a
k
è!!!!!!!!!!
21 p r 3
zy
+ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N @Y3-1 Hq, fL + Y31 Hq, fLDzzzz + …
z
16
a
{

In our coordinate system the "right" hemisphere is at +V and F is explicitly specified for the full range of q and f. The
result eq 3.36 has the northern hemisphere at +V and gives the potential F£ as a function of q£ only, since there is
azimuthal symmetry in their case. A little thought shows that if we take the q = p ê 2 "slice" of our system and shift
f Ø p ê 2 - f we will have rotated into their coordinate system with our shifted f playing the role of q£ . Now

z
In our coordinate system the "right" hemisphere is at +V and F is a function
of both q and f. The result eq 3.36 has the northern hemisphere at +V and gives
the potential F£ as a function of q£ only, since there is azimuthal symmetry in their
case. A little thought shows that if we take the q = p ê 2 "slice" of our system and
shift f Ø p ê 2 - f we will have rotated into their coordinate system with our shifted
f playing the role of q£ . A formula from my CRC handbook helps (if marginally)
cut down on the algebra:

-V

φ
x

K
x

θ

y

θ′
+V

H2 l + 1L Hl - mL! Hl + mL! H-1LHl+mLê2 ‰Â m Hpê2-fL
p p
%%%%%%%
% %%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅ%ÅÅ%%%Å ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
Ylm J ÅÅÅÅÅ , ÅÅÅÅÅ - fN = $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
l-m
l+m
4p
2 2
ÅÅÅÅ M! I ÅÅÅÅÅÅÅÅ
ÅÅÅÅ M!
2l I ÅÅÅÅÅÅÅÅ
2
2
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!
!
!!!!!!!!
p p
p p
H-1Llê2 H2 l + 1L Hl - mL! Hl + mL!
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ AH-1Lmê2 ‰- m f Âm + H-1L-mê2 ‰Â m f Â-m E
Ylm J ÅÅÅÅÅ , ÅÅÅÅÅ - fN + Yl-m J ÅÅÅÅÅ , ÅÅÅÅÅ - fN = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
è!!!!!!!ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
l-m
l+m
l
2 2
2 2
4 p 2 I ÅÅÅÅÅÅÅÅÅÅÅÅ M! I ÅÅÅÅÅÅÅÅ
ÅÅÅÅ M !
2
2
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!!!!!!!!!!
lê2
H2 l + 1L Hl - mL! Hl + mL! 2 m - m f -2 m  m f
H-1L
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ AÂ ‰


E
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
è!!!!!!!ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
l-m
l+m
4 p 2l I ÅÅÅÅÅÅÅÅ
ÅÅÅÅ M! I ÅÅÅÅÅÅÅÅ
ÅÅÅÅ M !
2
2
!!!!!!!
! !!!!!!!!!
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
H-1Llê2 H2 l + 1L Hl - mL! Hl + mL!
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ H-1Lm cos m f
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
è!!!! l l-m
l+m
p 2 I ÅÅÅÅÅÅÅÅÅÅÅÅ M! I ÅÅÅÅÅÅÅÅÅÅÅÅ M !
2

3
p
p
p
p
ÅÅÅÅÅ%% cos f
Y11 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N + Y1-1 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N = -Â $%%%ÅÅÅÅ%Å%%%
2p
2
2
2
2

2

p
p
p
p
35
35
Â
Â
Y33 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N + Y3-3 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N = ÅÅÅÅÅ $%%%%%%%%
ÅÅÅÅÅÅÅÅÅ% I4 cos3 f - 3 cos fM
ÅÅÅÅÅÅÅÅÅ% cos 3 f = ÅÅÅÅÅ $%%%%%%%%
2
2
2
2
p
p
4
4

21
p
p
p
p
Â
Y31 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N + Y3-1 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N = ÅÅÅÅÅ $%%%ÅÅÅÅ%Å%%%%
ÅÅÅÅ% cos f
p
2
2
2
2
4

7
è!!!!!!!!!!
ij
3p r
Â
35 p
3
35 r 3
ÅÅÅÅÅÅÅÅÅÅ% ÅÅÅÅÅ cos f + ÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ $%%%%%%%%
FHr, q, fL = Â V jjjj-Â $%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅ% $%%%%%%%%%
ÅÅÅÅÅÅÅÅÅ% J ÅÅÅÅÅ N I4 cos3 f - 3 cos fM
j
2 a
4
16
2p
p a
k
è!!!!!!!!!!
yz
21 p r 3
21
Â
ÅÅÅÅÅÅÅÅÅ% ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N cos fzzzz + …
+ ÅÅÅÅÅ $%%%%%%%%
z
16
a
p
4
{
r 3 i 35
105
i3 r
y 21 r 3
y
3
j
j
= V j ÅÅÅÅÅ ÅÅÅÅÅ cos f - J ÅÅÅÅÅ N j ÅÅÅÅÅÅÅÅÅ cos f - ÅÅÅÅÅÅÅÅÅÅÅÅ cos fzz - ÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N cos fzz + …
a k 16
64
k2 a
{ 64 a
{
ÉÑ
ÄÅ 3 r
7 r 3i5
3
Ñ
Å
y
Ñ
3
Å
= V ÅÅÅ ÅÅÅÅÅ ÅÅÅÅÅ cos f - ÅÅÅÅÅ J ÅÅÅÅÅ N jj ÅÅÅÅÅ cos f - ÅÅÅÅÅ cos fzzÑÑÑ + …
ÅÇ 2 a
8 a k2
2
{ÑÖ
ÅÄÅ 3 r
ÑÉÑ
7 r 3
Å
Ñ
= V ÅÅÅ ÅÅÅÅÅ ÅÅÅÅÅ P1 Hcos fL - ÅÅÅÅÅ J ÅÅÅÅÅ N P3 Hcos fLÑÑÑ + …
ÅÇ 2 a
ÑÖ
8 a

Whew.

Problem 3.7
Without the sphere the potentials of the point charges superimpose:
1
2
1
y
÷”L = ÅÅÅÅÅÅÅÅqÅÅÅÅÅÅÅÅÅ ijj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ`ÅÅÅÅ - ÅÅÅÅ÷”ÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ zz
FHx
÷
÷


†x §
†x + a z` § {
4 p e0 k †x - a z§

We use our favorite formula ∑†b x” - c”§n ê ∑†x” § = n b †b x” - c”§n-2 Hb †x” § - c” ÿ x` L to calculate in very few lines
q i 1
2
1 y
F§a=0 = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅ÷”ÅÅÅÅÅ + ÅÅÅÅ÷”ÅÅÅÅÅ zz = 0
4 p e0 k †x §
†x§
†x § {
q i a - ÷x” ÿ z`
a + ÷x” ÿ z` zyƒƒƒ
q i a - ÷x” ÿ z`
a + ÷x” ÿ z` yƒƒƒ
F ƒƒ
ÅÅÅÅÅÅÅÅ
ÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
ÅÅÅÅ zz§ƒ
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz§ƒ
= 0
ÅÅÅÅÅÅÅÅÅÅ ƒ§
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
`
`
÷

÷

4 p e0 k †x - a z§3
r3 {ƒƒa=0
4 p e0 k r3
a ƒa=0
†x + a z§3 {ƒƒa=0
ƒ
1
2 F ƒƒƒ
3 q i Ha - ÷x” ÿ z` L2
q i
1
Ha + ÷x” ÿ z` L2 yƒƒ
yz
zz + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz§
ÅÅÅÅÅÅÅÅ
Å
ÅÅ
Å
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ §ƒ
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
+
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅ
Å
`5
÷”
÷” + a z` §5 ƒƒ
÷” - a z` §3
÷” + a z` §3
a2 ƒƒa=0
4 p e0 k †x
†x
†x
{ 4 p e0 k †x - a z§
{ƒa=0
2q
6 q Hr cos qL2
2q
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0 r3
4 p e0 r5
4 p e0

F ƒƒ
÷”L = F§
a+
FHx
a=0 + ÅÅÅÅÅÅÅÅÅÅ §ƒ
a ƒa=0

ƒ
2 F ƒƒ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ƒ§
a2 ƒƒa=0

3 cos2 q zy
jij- ÅÅÅÅ1ÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ zz
jj 3
r3 z{
k r

a2
Q H3 cos2 q - 1L
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + Ia3 M , Q ª q a2
ÅÅÅÅÅÅÅÅÅ + Ia3 M = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0 r3
2!

This is of course exactly what we expected — the potential of a dipole at the origin.
(b)

The Green's function for a sphere of radius b is from eq. 2.16

÷”£ §
b ê †x
b
1
1
÷”, ÷x”£ L = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
Å÷ÅÅÅ”ÅÅÅÅÅÅ = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
GHx
ÅÅÅÅ
Å
Å
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ`Å£ÅÅÅÅ
÷†x” - ÷x”£ §
÷†x” - ÷x”ÅÅÅÅ£ ŧŠ- ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
÷

÷

£
÷°x” - Hb ê †x
÷”£ ÅÅÅÅÅÅÅÅ
2
£
††x § x - b2 x §
§L x •

The charge density for this problem is

÷”£ L = q d3 Hx
÷”£ - a z` L - 2 q d3 Hx
÷”£ L + q d3 Hx
÷”£ + a z` L
rHx

8

which we use in Green's formula for the Dirichlet problem with surface term vanishing since the sphere is grounded:
÷”L = ÅÅÅÅÅÅÅÅ1ÅÅÅÅÅÅÅÅÅ
÷”£ L GHx
÷”, ÷x”£ L
FHx
3 x£ rHx

4 p e0 sphere
1
q i
b
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ +
÷” - aÅÅÅÅz`ÅÅÅŧ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0 k †x
†a ÷x” - b2 z` §
q i
1
b
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ`ÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ +

÷
÷

4 p e0 k †x - a z§
†a x - b2 z` §

2
2b
1
b
y
ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
÷” + aÅÅÅÅz`ÅÅÅŧ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
†x §
†-b2 x` £ §
†x
†a ÷x” + b2 z` § {
2
2
1
b
y
ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ`ÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
÷

÷

†x §
b
†x + a z§
†a x + b2 z` § {

This is it, for all of r < b. Now the limit:
q i 1
b
2
2
1
b y
Å`ÅÅÅÅ + ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅ + ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅ`ÅÅÅÅ zz = 0
F§a=0 = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
2
2
4 p e0 k †x §
†-b z§
†x §
b
†x §
†b z§ {
÷”§ Ha †x
÷”§ - b2 z` ÿ x` L
÷”§ Ha †x
÷”§ + b2 z` ÿ x` L yƒƒƒ
F ƒƒ
q ij a - ÷x” ÿ z`
b †x
a + ÷x” ÿ z`
b †x
ÅÅÅÅÅÅÅÅ
Å
ÅÅ
Å
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ
Å
ÅÅÅÅ
Å
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz§ƒ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅ
Å
ÅÅÅÅÅÅÅÅÅÅ §
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
+
÷” - a z` §3
÷” + a z` §3
a ƒƒa=0
4 p e0 k †x
†x
†a ÷x” - b2 z` §3
†a ÷x” + b2 z` §3
{ƒƒa=0
÷”§ H-b2 z` ÿ x` L ÷x” ÿ z`
÷”§ Hb2 z` ÿ x` L yƒƒ
b †x
b †x
q i -÷x” ÿ z`
ƒ
Å
ÅÅÅ
Å
ÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ
Å
ÅÅÅ
Å
Å
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz§ƒ
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅ
+
= 0
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjjj ÅÅÅÅÅÅÅÅ
÷”§3
÷

`
`
3
3
3
2
2
4 p e0 k †x
†x§
†-b z§
†b z§
{ƒƒa=0
÷”§2
÷”§2
yz
2 F ƒƒƒ
1
q ij
b †x
1
b †x
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ §ƒ
ÅÅÅÅÅÅÅÅ
Å
ÅÅ
Å
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅÅÅÅÅ
Å
ÅÅ
Å
+
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅ
Å
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
ÅÅÅÅ zzz
`
`
÷

÷

`
`
3
3
3
3
÷

÷

2
a ƒƒa=0
4 p e0 k †x - a z§
†x + a z§
†a x - b2 z§
†a x + b2 z§ {

÷”§@b †x
÷”§ Ha †x
÷”§ - b2 z` ÿ x` LD2
÷”§@b †x
÷”§ Ha †x
÷”§ + b2 z` ÿ x` LD2 y
ij Ha - ÷x” ÿ z` L2
†x
Ha + ÷x” ÿ z` L2
†x
z
jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ
Å
ÅÅÅ
Å
+
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å
ÅÅÅ
Å
ÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz
jj ÷”
`
`
÷

`
`
÷

÷

5
5
5
5
2
2
†x + a z§
†a x - b z§
†a x + b z§
k †x - a z§
{a=0
2
2
br
1
br y
jij ÅÅÅÅ1ÅÅÅÅ - ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅ + ÅÅÅÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz
jj 3
6
3
r
b
r
b6 {
k
a=0

3q
+ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0
q
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0

2
2
ij Hr cos qL2
r @b r H-b2 cos qLD
Hr cos qL2
r @b r Hb2 cos qLD yzz
jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzz
jj
r5
b10
r5
b10
{
k
5
2
5
i
2q i
r y 6 q cos q i
r y
q
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjjj1 - ÅÅÅÅÅÅÅÅÅ zzzz + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjjj1 - ÅÅÅÅÅÅÅÅÅ zzzz = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ I-1 + 3 cos2 qM jjjj1 4 p e0 r3 k
4 p e0 r3 k
b5 {
b5 {
2 p e0 r3
k

3q
+ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0

We recognize -1 + 3 cos2 q = 2 P2 Hcos qL, so with Q ª q a2 as before:
F ƒƒ
÷”L = F§
a+
FHx
a=0 + ÅÅÅÅÅÅÅÅÅÅ §ƒ
a ƒa=0

2 F ƒƒƒ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ §ƒ
a2 ƒƒa=0

a2
Q
ÅÅÅÅÅÅÅÅÅ + Ia3 M = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
2!
2 p e0 r3

ij
jj1 j
k

r5 y
ÅÅÅÅÅÅÅÅÅ zzzz
b5 {

r5 y
ÅÅÅÅÅÅÅÅÅ zzzz P2 Hcos qL + Ia3 M
b5 {

Off-topic remark: I really have no idea why Jackson likes to unnecessarily expand things out in terms of coordinates.
Takes an incredible amount of algebra to do things that are much more concise in vector notation — that's what it was
invented for! To think of all the time I wasted chasing symbols when I took E&M and did this problem...

Problem 3.9
The finite range in z is a hint that we want to arrange constants so that we have trigonometric functions in z:
∑2 F
1 ∑F
1 ∑2 F
∑2 F
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = 0
∑v2
∑ z2
v ∑v
v2 ∑f2
FHv, f, zL = RHvL QHfL ZHzL

9

Z ≥ + k2 Z = 0 , k2 > 0
Q≥ + n Q = 0 , n2 > 0

i
1
n2 y
R≥ + ÅÅÅÅÅÅÅÅ R£ - jjjjk 2 + ÅÅÅÅÅÅÅÅÅÅ zzzz R = 0
v
v2 {
k

Enforcing boundary conditions:
ZH0L = 0 = A

np
ZHLL = 0 = B sin k L ï k = ÅÅÅÅÅÅÅÅÅÅ , n œ 
L
: QHn f + 2 p nL = QHn fL ï n = m œ 

ZHzL = A cos k z + B sin k z

:

QHfL = C cos n f + D sin n f
npv
npv
RHvL = E Im J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N + F Km J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N : RHv Ø 0L < ¶ ï F = 0
L
L

The general solution is thus
¶ ¶
npz
npv
FHv, f, zL = ‚ ‚ HAmn cos m f + Bmn sin m fL sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N Im J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N
L
L
n=0 m=0

Using the orthogonality of sines and cosines given F§v=b = V Hf, zL we extract the coefficients for m ∫ 0:

2p

0

f ‡

L

0

z V Hf, zL :

= „„‡

2p

n£ =0 m£ =0

0

n£ =0 m£ =0

0

= „„‡

2p

npz
i n£ p z y
i n£ p b y cos m f
> sin ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
z HAm£ n£ cos m£ f + Bm£ n£ sin m£ fL sinjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz Im£ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz :
L
k L {
k L { sin m f
0

f ‡

L

i n£ p b y cos m f L
> ÅÅÅÅÅ dnn£
f HAm£ n£ cos m£ f + Bm£ n£ sin m£ fL Im£ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz :
k L { sin m f 2

2p
L
= ÅÅÅÅÅ „ ‡
f
2
0
£
m =0

cos m f
npz
> sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N
sin m f
L

cos m f
cos m f y
ij
i npb y
j Am£ n cos m£ f :
> + Bm£ n sin m£ f :
>zz Im£ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
sin
m
f
sin
m
f
k L {
k
{

dmm£
0
L
i
= ÅÅÅÅÅ ‚ p jj Am£ n : 0 > + Bm£ n : d £
2 £
k
mm
m =0

:

p L Amn
y
i npb y
i npb y
>zz Im£ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz = ÅÅÅÅÅÅÅÅÅÅ :
> I jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
Bmn m k L {
2
k L {
{

2p
L
Amn
cos m f
2
npz
> = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡
f ‡ z V Hf, zL :
> sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N , m ∫ 0
Bmn
sin m f
p L Im Hn p b ê LL 0
L
0

For the special case m = 0 clearly we can take B0n = 0 (since the sines vanish anyway). For A0n :

2p
0

2p
npz
L
L
i npb y
i npb y
z V Hf, zL sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N = ÅÅÅÅÅ „ ‡
f Am£ n cosHm£ fL Im£ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz = ÅÅÅÅÅ 2 p A0n I0 jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
L
2
2
k L {
k L {
0
0
£

f ‡

L

m =0

2p
L
1
npz
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡
f ‡ z V Hf, zL sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N
A0n = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p L Im Hn p b ê LL 0
L
0