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:

z
FHr, qL = ‚ AAl rl + Bl r-Hl+1L E Pl Hcos qL
¶
V
l=0
p a
F§r=a = V QJ ÅÅÅÅÅ - qN
ϖ
F§r=b = V QJq - ÅÅÅÅÅ N
2
p
2 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 ‡ Hcos qL Pl Hcos qL Pk Hcos qL = ‡ Hcos qL V QJ ÅÅÅÅÅ - qN Pk Hcos qL

¶ 1 1 p

l=0 -1 -1 2

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

¶ 1
2

l=0
2k+1 0

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

V 1

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:

‡ Hcos qL Pk Hcos qL = ÅÅÅÅÅ ‡ Hcos qL Pk Hcos qL P0 Hcos qL = ÅÅÅÅÅ 2 dk0

1 1 1 1

l
o
0 2 -1 2

V o o
d
= ÅÅÅÅÅÅ m Hk-1L ê Hk - 2L!!
k0 , k even
i 1y
2 o o jj- ÅÅÅÅÅ zz
o
o H2 k + 1L ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ , k odd
k
Ak a + Bk a -Hk+1L

k { @Hk + 1L ê 2D!
2

n 2 2

The same procedure works for the r = b boundary condition except we're now integrating over -1 § cos q § 0 on the

Pk H-xL = H-1Lk Pk HxL (this is just a statement of the odd/evenness of the function):
right-hand-side, which can be evaluated by a change of integration variables cos q Ø -cos q and noting that
 2

Ak bk + Bk b-Hk+1L = ÅÅÅÅÅÅ H2 k + 1L ‡ Hcos qL Pk Hcos qL = - ÅÅÅÅÅÅ H2 k + 1L ‡ Hcos qL Pk H-cos qL

V 0 V 0

2 -1 2 1

= H-1L ÅÅÅÅÅÅ H2 k + 1L ‡ Hcos qL Pk Hcos qL

V 1
k

l
V o
2
o
0

o
dk0 , k even
= H-1Lk ÅÅÅÅÅÅ m i y
Hk-1Lê2 Hk
2 o
o jj- ÅÅÅÅÅ zz
o H2 k + 1L ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ , k odd
-
nk 2{ 2 @Hk + 1L ê 2D !
1 2L!!

Define

l
o
o
o
dk0 , k even
mi 1y
o
Hk-1Lê2 Hk - 2L!!
o j zz H2 k + 1L ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ , k odd
o j- ÅÅÅÅÅ
V
Ck ª ÅÅÅÅÅÅ
nk 2{ 2 @Hk + 1L ê 2D !
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 :

al+1 - H-1Ll bl+1 a-l - H-1Ll b-l

Al = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl , Bl = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl
a2 l+1 - b2 l+1 a-H2 l+1L - b-H2 l+1L

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

¶
V
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
b Ø ¶ this is like having no outer sphere and being outside a northern hemisphere at potential V , i.e. half of the a ê r
a-b 0 2

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 0 - H-1Ll

bض a2 l+1 ê bl+1 - bl
lim Al = lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = 0 , l ∫ 0
bض 0 - bl
a-l - H-1Ll ê bl
bض

a-l
- 1êb
lim Bl = lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = al+1 Cl
-H2
bض bض a l+1L 2 l+1
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

V ÅÄÅ ÑÉÑ
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 + …ÑÑÑÑ
¶

2 ÅÇ ÑÖ
a l+1 3 a 2 7 a 4 11 a 6
bض
l=0
r 2 r 8 r 16 r

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

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

al+1 - a2 l+1 H-1L b-l

l
lim Bl = lim ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Cl = 0

V ÄÅÅ ÉÑ
aØ0 aØ0 1 - a2 l+1 b-H2 l+1L
Ñ
lim FHr, qL = ‚ Cl J- ÅÅÅÅÅ N Pl Hcos qL = ÅÅÅÅÅÅ ÅÅÅÅ1 - ÅÅÅÅÅ ÅÅÅÅÅ P1 Hcos qL + ÅÅÅÅÅ J ÅÅÅÅÅ N P3 Hcos qL - ÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N P5 Hcos qLÑÑÑÑ
¶

2Ç Å ÑÖ
r l 3 r 7 r 3 11 r 5
aØ0 l=0
b 2 b 8 b 16 b

Problem 3.3

K K JK
x = zzˆ x − x′ = z 2 +ϖ 2
F§q=pê2,r<R = V = constant
sHvL = s0 IR2 - v2 M
-1ê2
R
y
σ
JK
x x′ = ϖ ′ϖˆ ′
V

To find the coefficients we use the trick of calculating the potential at an arbitrary point z > R on the z-axis:

÷”£ L s0 HR2 - v£2 L

-1ê2
FHz z` L = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ 3 x£ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
÷” ÷ ”ÅÅÅÅ£ ÅÅ = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ v£ f ‡ v£ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
rHx 2p

†x - x §
R

Hz2 + v£2 L1ê2

1 1
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0 4 p e0 0 0

= ÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ v ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!! !!!!!!!!
ÅÅÅÅÅÅÅÅ!ÅÅÅÅÅÅÅÅ
!!!!!!!ÅÅÅÅÅ ì change variable u ª v
s0 R v £

R2 z2 + HR2 - z2 L Hv£ L2 - Hv£ L4

£ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ £2

ÄÅ ÉÑR2
2 e0 0
Å ÑÑ
s0 ÅÅÅÅ -2 u + HR2 - z2 L ÑÑ
ÑÑ
= ÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!
! !!!!!!! ! Å
ÅÅ ÑÑ
4 e0 ÅÅÅ Ñ
s0 R2

"################ ################ ######## #

HR2 - z2 L + 4 R2 z2 ÑÑÑÖ0
1
R2 z2 + HR2 - z2 L u - u2
-1

ÅÇ
u ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
ÅÅÅÅ ÅÅ = ÅÅÅÅÅÅÅÅÅ ÅÅÅ
Å -sin ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅ
Å ÅÅÅÅÅÅÅÅ ÅÅÅ
4 e0 0 2

Ä É R2
s ÅÅ -2 u + R2 - z2 ÑÑ s0 ij -1 R2 - z2 -2 R2 + R2 - z2 yz
= ÅÅÅÅÅÅÅÅ0ÅÅÅÅÅ ÅÅÅÅ-sin-1 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÑÑÑÑ jjsin ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ - sin-1 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
j ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzz
4 e0 ÅÅÅÇ ÑÑÑÖ0 4 e0 k {
= ÅÅÅÅÅÅÅÅÅ ÅÅÅ
Å
R2 + z2 R2 + z2 R2 + z2
i i yz y
s0 jjjj
s0 ij ij R2 - z2 yz yz jj R2 2 zz p zzz
jj ij R2 - z2 yz
j j z z j
= ÅÅÅÅÅÅÅÅÅÅÅÅÅ jj- sinh jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz - sin H-1Lzz = ÅÅÅÅÅÅÅÅÅÅÅÅÅ jj- lnjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + &'''''''''''''''' j jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅ zz''''''''
'''''''' + 1''' zz + ÅÅÅÅÅ zzzz
z
z
4 e0 jjj jj R2 + z2 zz 2 zz
2
-z
4 e0 k k R +z { { j k R +z { z z
-1 -1

k k { {
2 2 2 2

Ä É
s0 ÅÅÅÅ p ij R2 - z2 2 R z yzÑÑÑÑ s0 i p ÂR+z y
= ÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅ ÅÅÅÅÅ -  lnjjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzÑÑÑ = ÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅ -  ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz ì lnH-ÂL = - p ê 2
4 e0 ÅÅÇ 2 k R +z
2 2 R2 + z2 {ÑÑÖ 4 e0 k 2 R+Âz {
s0 Âz-R
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅ Â 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:

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
(a) ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅ :
1-e n=0 2 n+1
 4

HÂ uL2 l+1 H-1Ll+1

F> Hz z` L = - ÅÅÅÅÅÅÅÅÅÅ ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅ ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jij ÅÅÅÅÅÅ zyz
¶ ¶
ÂV Â-u ÂV 1+Âu 2ÂV
kz{
2V R 2 l+1

p Â+u p 1-Âu p 2l+1 p 2l+1

l=0 l=0

‚ @Al rl + bl r-Hl+1L D Pl eventually) for the general r > R solution:

Now just take z Ø r and tack on the appropriate Legendre polynomials (remember that we want F to look like

÷”L = ÅÅÅÅÅÅÅÅ H-1Ll r -H2 l+1L H-1Ll i R y2 l

F> Hx ÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅÅ N P2 l Hcos qL = ÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅ zz P2 l Hcos qL
¶ ¶

2l+1 k r {
2V 2V R
p 2l+1 R p r
l=0 l=0

(b) For r < R, let u ª z ê R so 0 § u § 1 and expand about u = 0:

ÂV i 1-Âu y 2 H-ÂL V H-Â uL2 l+1

F< Hz z` L = - ÅÅÅÅÅÅÅÅÅÅ ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅ jj p + ln ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz = V + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
¶
ÂV Âu-1
p Âu+1 p k 1+Âu { p 2l+1
l=0

H-1Ll+1
= V + ÅÅÅÅÅÅÅÅÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅÅ N
¶
2V z 2 l+1
p 2l+1 R
l=0

÷”L = V - ÅÅÅÅÅÅÅÅ H-1Ll r 2 l+1

F< Hx ÅÅÅÅ „ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅÅ N P2 l+1 Hcos qL
¶
2V
p 2l+1 R
l=0

(c) To calculate capacitance set V = 1 and compute the total charge on the disk:

ƒƒƒ 4 e0 V ƒƒ "################## R
C = Qtotal§V =1 = ‡ v f ‡ è!!!!!!!! ! !!!!!!!!! §ƒ = 2 p ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ § B- R2 - v2 F =
ƒ
2p

R2 - v2 ƒƒV =1
s0
p ƒV =1
R
v ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
Å ÅÅÅ
Å ÅÅÅ
Å Å 8 e0 R
0 0 0

Problem 3.4

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

2 l + 1 Hl - mL! m
FHr, q, fL = ‚ ‚ Alm rl Ylm Hq, fL , Ylm Hq, fL = $%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%% %%%%%%%%
ÅÅÅÅÅÅÅÅ%%% Pl Hcos qL ‰Â m f
¶ l

Hl + mL!
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
l=0 m=-l
4 p¨¨¨¨¨¨¨¨≠¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨
´¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨ ¨¨¨¨¨ Æ
ª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

* Hq, fL FHa, q, fL = f ‡ Hcos qL Ylm Hq, fL ‚ ‚ Al£ m£ al Yl£ m£ Hq, fL

‡ f ‡ ‡
2p 1 2p 1 ¶ l£
* £
Hcos qL Ylm
0 -1 0 -1 l£ =0 m£ =-l£
= Alm a l

Hk+1L p
* Hq, fL FHa, q, fL = Hcos qL Yl*£ m£ Hq, fL H-1Lk V
‡ f ‡ ‚ ‡ f ‡
2p 2 n-1 ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
1 n ÅÅÅÅ 1
Hcos qL Ylm
0 -1 k pên -1
Hk+1L p
k=0

‚ H-1Lk V ‡ f ‡ Hcos qL Clm Plm Hcos qL ‰-Â m f

2 n-1 ÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
n ÅÅÅÅ 1
=
k=0 k pên -1

‚ H-1Lk V Clm ‡ Hcos qL Plm Hcos qL ÅÅÅÅÅÅ I‰-Â p Hk+1L mên - ‰-Â p k mên M
2 n-1 1 Â
=
k=0 -1 m

l
o 0 , m ê n even
‰-Â 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

ing Alm we can do the sum over k immediately since the two H-1Lk factors combine to form a +1:
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 nonvanish-

Alm al = - ‚ H-1Lk V Clm ‡ Hcos qL Plm Hcos qL ÅÅÅÅÅÅ 2 H-1Lk

2 n-1 1 Â

k=0 -1 m

= -H2 n - 1 - 0 + 1L V Clm ‡ Hcos qL Plm Hcos qL ÅÅÅÅÅÅÅÅÅ = - ÅÅÅÅÅÅÅÅÅÅÅÅÅ V Clm ‡ x Plm HxL
1 2Â 4Ân 1

-1 m m -1

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

o
o
o
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
o
al m
n0 , otherwise

(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

2 l + 1 Hl + mL!
Al-m = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ $%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%% %%%%%%%%
ÅÅÅÅÅÅÅÅ%%% ‡ Hcos qL Pl-m Hcos qL
4ÂV n
4 p Hl - mL! -1
1
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
a l m
2 l + 1 Hl + mL! Hl - mL!
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ $%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%% %%%%%%%%
ÅÅÅÅÅÅÅÅ%%% H-1Lm ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ Hcos qL Plm Hcos qL
4ÂV n
4 p Hl - mL! Hl + mL! -1
1
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
al m
2 l + 1 Hl - mL!
= -H-1Lm+1 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅ $%%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ %%%%%%%% %%%%%%%%
ÅÅÅÅÅÅÅÅ%%% ‡ Hcos qL Plm Hcos qL
4ÂV n
4 p Hl + mL! -1
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

2 + 1 H1 - 1L!
A11 = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅ $%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅ% Hcos qL P11 Hcos qL = - ÅÅÅÅÅÅÅÅÅÅ $%%%%%% ÅÅÅÅÅ J- ÅÅÅÅÅ N = ÅÅÅÅÅÅÅÅÅÅ $%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅ% = A1-1
4 p H1 + 1L! ‡-1
4ÂV 1 1 ÂV 6 p ÂV 3p
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

è!!!!!!!!!!
a 1 a p 2 a 2
6 + 1 H3 - 3L!
A33 = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅ $%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅ% ‡ Hcos qL P33 Hcos qL = ÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = A3-3
4ÂV 1 ÂV 35 p
4 p H3 + 3L! -1
1
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

è!!!!!!!!! !
a3 3 a3 16
6 + 1 H3 - 1L!
A31 = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅ $%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%
ÅÅÅÅÅÅÅÅ% ‡ Hcos qL P31 Hcos qL = ÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = A31
4ÂV 1 ÂV 21 p
4 p H3 + 1L! -1
1
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
a3 1 a3 16

è!!!!!!!!!!
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
35 p r 3

k
2 a 16 a
è!!!!!!!!!!
zy
+ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N @Y3-1 Hq, fL + Y31 Hq, fLDzzzz + …
z
21 p r 3

{
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 -V K
the potential F£ as a function of q£ only, since there is azimuthal symmetry in their θ x
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 y
f playing the role of q£ . A formula from my CRC handbook helps (if marginally)
θ′
cut down on the algebra:
φ

x +V

H2 l + 1L Hl - mL! Hl + mL! H-1LHl+mLê2 ‰Â m Hpê2-fL

Ylm J ÅÅÅÅÅ , ÅÅÅÅÅ - fN = $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%
% %%%%%%% ÅÅÅÅÅ%ÅÅ%%%Å ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p p
2l I ÅÅÅÅÅÅÅÅÅÅÅÅ M! I ÅÅÅÅÅÅÅÅ ÅÅÅÅ M!
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4p l-m l+m

è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!! ! !!!!!!!!

2 2

H-1Llê2 H2 l + 1L Hl - mL! Hl + mL!

2 2

Ylm J ÅÅÅÅÅ , ÅÅÅÅÅ - fN + Yl-m J ÅÅÅÅÅ , ÅÅÅÅÅ - fN = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

è!!!!!!!ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ AH-1Lmê2 ‰- m f Âm + H-1L-mê2 ‰Â m f Â-m E
p p p p
4 p 2 I ÅÅÅÅÅÅÅÅÅÅÅÅ M! I ÅÅÅÅÅÅÅÅ
l-m l+m
ÅÅÅÅ M !
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!
2 2 2 2 l

H-1L H2 l + 1L Hl - mL! Hl + mL! 2 m - m f -2 m  m f

2 2

è!!!!!!!ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ AÂ ‰ E
lê2

4 p 2l I ÅÅÅÅÅÅÅÅ ÅÅÅÅ M! I ÅÅÅÅÅÅÅÅ ÅÅÅÅ M !

= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ +Â ‰
l-m l+m

è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!! ! !!!!!!!!!

H-1Llê2 H2 l + 1L Hl - mL! Hl + mL!
2 2

è!!!! l l-m ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ H-1Lm cos m f

p 2 I ÅÅÅÅÅÅÅÅÅÅÅÅ M! I ÅÅÅÅÅÅÅÅÅÅÅÅ M !
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
l+m
2 2

Y11 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N + Y1-1 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N = -Â $%%%ÅÅÅÅ%Å%%%

ÅÅÅÅÅ%% cos f
p p p p 3
2 2 2 2 2p

Y33 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N + Y3-3 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N = ÅÅÅÅÅ $%%%%%%%%

ÅÅÅÅÅÅÅÅÅ% cos 3 f = ÅÅÅÅÅ $%%%%%%%%
ÅÅÅÅÅÅÅÅÅ% I4 cos3 f - 3 cos fM
p p p p  35  35
2 2 2 2 4 p 4 p

Y31 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N + Y3-1 J ÅÅÅÅÅ , f - ÅÅÅÅÅ N = ÅÅÅÅÅ $%%%ÅÅÅÅ%Å%%%%

ÅÅÅÅ% cos f
p p p p  21
2 2 2 2 4 p
 7

ij è!!!!!!!!!!
FHr, q, fL = Â V jjjj-Â $%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅ% $%%%%%%%%%
ÅÅÅÅÅÅÅÅÅÅ% ÅÅÅÅÅ cos f + ÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ $%%%%%%%%
ÅÅÅÅÅÅÅÅÅ% J ÅÅÅÅÅ N I4 cos3 f - 3 cos fM
j
3 3p r  35 p 35 r 3

k
2p 2 a 4 16 p a
è!!!!!!!!!! yz
ÅÅÅÅÅÅÅÅÅ% ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N cos fzzzz + …
+ ÅÅÅÅÅ $%%%%%%%%
z
 21 21 p r 3

{
4 p 16 a
i3 r r 3 i 35 y 21 r 3 y
j
= V j ÅÅÅÅÅ ÅÅÅÅÅ cos f - J ÅÅÅÅÅ N j ÅÅÅÅÅÅÅÅÅ cos f - ÅÅÅÅÅÅÅÅÅÅÅÅ cos fzz - ÅÅÅÅÅÅÅÅÅ J ÅÅÅÅÅ N cos fzz + …
j
k2 a a k 16 { 64 a {
3 105

ÄÅ 3 r ÉÑ
Å
Å 7 r 3i5 y Ñ
Ñ
= V ÅÅÅ ÅÅÅÅÅ ÅÅÅÅÅ cos f - ÅÅÅÅÅ J ÅÅÅÅÅ N jj ÅÅÅÅÅ cos f - ÅÅÅÅÅ cos fzzÑÑÑ + …
64

ÅÇ 2 a 8 a k2 {ÑÖ
3 3

ÅÄÅ 3 r ÑÉÑ
Å Ñ
2
= V ÅÅÅ ÅÅÅÅÅ ÅÅÅÅÅ P1 Hcos fL - ÅÅÅÅÅ J ÅÅÅÅÅ N P3 Hcos fLÑÑÑ + …
ÅÇ 2 a ÑÖ
7 r 3
8 a

Whew.

Problem 3.7

Without the sphere the potentials of the point charges superimpose:

÷”L = ÅÅÅÅÅÅÅÅqÅÅÅÅÅÅÅÅÅ ijj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ y

ÅÅÅÅÅÅÅÅ zz
4 p e0 k †x - a z§ ÷” ÅÅÅÅ`ÅÅÅÅ - ÅÅÅÅ÷”ÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
†x § ÷”
†x + a z` § {
1 2 1
FHx

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 1 y
F§a=0 = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅ÷”ÅÅÅÅÅ + ÅÅÅÅ÷”ÅÅÅÅÅ zz = 0
4 p e0 k †x § †x§ †x § {
2

F ƒƒ q i a - ÷x” ÿ z` a + ÷x” ÿ z` zyƒƒƒ q i a - ÷x” ÿ z` a + ÷x” ÿ z` yƒƒƒ

ÅÅÅÅÅÅÅÅÅÅ ƒ§ = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
÷” ÷ ” ÅÅÅÅ zz§ƒ = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz§ƒ
a ƒa=0 4 p e0 k †x - a z§3 †x + a z§3 {ƒƒa=0 4 p e0 k r3 r3 {ƒƒa=0
ÅÅÅÅÅÅÅÅ
` ÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
` = 0

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

6 q Hr cos qL2 3 cos2 q zy

jij- ÅÅÅÅ1ÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ zz
jj 3
r3 z{
2q 2q
k r
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0 r3 4 p e0 r5 4 p e0

ƒ
÷”L = F§ F ƒƒ 2 F ƒƒ Q H3 cos2 q - 1L
a=0 + ÅÅÅÅÅÅÅÅÅÅ §ƒ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ƒ§ ÅÅÅÅÅÅÅÅÅ + Ia3 M = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + Ia3 M , Q ª q a2
a2 ƒƒa=0
a2
a ƒa=0
FHx a+
2! 4 p e0 r3

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 ÷”£ §
÷”, ÷x”£ L = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
÷†x” - ÷x”£ § ÷°x” - Hb ê †x ÷”£ ÅÅÅÅÅÅÅÅ ÷†x” - ÷x”ÅÅÅÅ£ ŧŠ- ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
Å÷ÅÅÅ”ÅÅÅÅÅÅ = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÷” ÷”
††x § x - b2 x §
§L x •
1 1 b
GHx ÅÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ £ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ`Å£ÅÅÅÅ
2 £

The charge density for this problem is

÷”£ L = q d3 Hx
rHx ÷”£ - a z` L - 2 q d3 Hx
÷”£ L + q d3 Hx
÷”£ + a z` L
 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
q i y
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
÷” - aÅÅÅÅz`ÅÅÅŧ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
†a ÷x” - b2 z` §
ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÷” + aÅÅÅÅz`ÅÅÅŧ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0 k †x †x § †-b2 x` £ § †x †a ÷x” + b2 z` § {
1 b 2 2b 1 b
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

q i y
= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
÷” ÷” ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅ + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
÷ ” ÷ ” ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
4 p e0 k †x - a z§ †a x - b2 z` § †x § †x + a z§ †a x + b2 z` § {
1 b 2 2 1 b
ÅÅÅÅ`ÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ + ÅÅÅÅ`ÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
b

This is it, for all of r < b. Now the limit:

q i 1 b y
F§a=0 = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ Å`ÅÅÅÅ + ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅ + ÅÅÅÅ÷”ÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅ`ÅÅÅÅ zz = 0
4 p e0 k †x § †-b z§ †x § †x § †b z§ {
b 2 2 1

F ƒƒ q ij a - ÷x” ÿ z` ÷”§ Ha †x ÷”§ - b2 z` ÿ x` L a + ÷x” ÿ z` ÷”§ Ha †x ÷”§ + b2 z` ÿ x` L yƒƒƒ

2 2

b †x b †x
b

ÅÅÅÅÅÅÅÅÅÅ § = - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

÷” - a z` §3 ÷” + a z` §3 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz§ƒ
a ƒƒa=0 4 p e0 k †x †a ÷x” - b2 z` §3 †x †a ÷x” + b2 z` §3 {ƒƒa=0
ÅÅÅÅÅÅÅÅ
Å ÅÅ
Å - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ Å ÅÅÅÅ
Å + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅ ÅÅ
Å - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

q i -÷x” ÿ z` b †x ÷”§ H-b2 z` ÿ x` L ÷x” ÿ z` b †x ÷”§ Hb2 z` ÿ x` L yƒƒ

ƒ
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jjjj ÅÅÅÅÅÅÅÅ
÷”§3 ÷” ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz§ƒ
4 p e0 k †x †-b z§ †x§ †b z§ {ƒƒa=0
Å ÅÅÅ
Å ÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅ Å ÅÅÅ
Å Å + ÅÅÅÅÅÅÅÅ
Å ÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = 0
` `

2 F ƒƒƒ ÷”§2 ÷”§2

3 3 3

q ij yz
2 2

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

ij Ha - ÷x” ÿ z` L2 ÷”§@b †x
†x ÷”§ Ha †x ÷”§ - b2 z` ÿ x` LD2 Ha + ÷x” ÿ z` L2 ÷”§@b †x
†x ÷”§ Ha †x ÷”§ + b2 z` ÿ x` LD2 y
a=0

jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ z
jj ÷” ÷ ” ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz
÷ ” ÷ ”
k †x - a z§ †a x - b z§ †x + a z§ †a x + b z§
3q
{a=0
+ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ` ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
`ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅ ÅÅÅ
Å + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ
` Å ÅÅÅ
Å ÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
`
4 p e0 5 2 5 5 2 5

jij ÅÅÅÅ1ÅÅÅÅ - ÅÅÅÅÅÅÅÅ br y

ÅÅÅÅÅ + ÅÅÅÅÅÅÅÅ - ÅÅÅÅÅÅÅÅÅÅÅÅÅ zzzz
jj 3
q br 2 1 2

k b6 {
= - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
4 p e0 r b 6 r 3

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

We recognize -1 + 3 cos2 q = 2 P2 Hcos qL, so with Q ª q a2 as before:

F ƒƒ 2 F ƒƒƒ ij r5 y
÷”L = F§
a=0 + ÅÅÅÅÅÅÅÅÅÅ §ƒ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ §ƒ ÅÅÅÅÅÅÅÅÅ + Ia3 M = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ jj1 -
j ÅÅÅÅÅÅÅÅÅ zzzz P2 Hcos qL + Ia3 M
a2 ƒƒa=0
a2
a ƒa=0
Q
k b5 {
FHx a+
2! 2 p e0 r3

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 v ∑v v2 ∑f2 ∑ z2
FHv, f, zL = RHvL QHfL ZHzL
 9

Z ≥ + k2 Z = 0 , k2 > 0
Q≥ + n Q = 0 , n2 > 0
i n2 y
R≥ + ÅÅÅÅÅÅÅÅ R£ - jjjjk 2 + ÅÅÅÅÅÅÅÅÅÅ zzzz R = 0
1
v k v2 {

Enforcing boundary conditions:

ZH0L = 0 = A
ZHzL = A cos k z + B sin k z : np
ZHLL = 0 = B sin k L ï k = ÅÅÅÅÅÅÅÅÅÅ , n œ 
L
QHfL = C cos n f + D sin n f : QHn f + 2 p nL = QHn fL ï n = m œ 
RHvL = E Im J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N + F Km J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N : RHv Ø 0L < ¶ ï F = 0
npv npv
L L

The general solution is thus

FHv, f, zL = ‚ ‚ HAmn cos m f + Bmn sin m fL sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N Im J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N

¶ ¶
npz npv

n=0 m=0
L L

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

‡ f ‡ z V Hf, zL : > sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N

2p L cos m f npz
0 0 sin m f L

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

0 0 L
n£ =0 m£ =0

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

0 k L { sin m f 2
n£ =0 m£ =0

ij cos m f y i npb y
j Am£ n cos m£ f : > + Bm£ n sin m£ f : >zz Im£ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
¶
= ÅÅÅÅÅ „ ‡
2p cos m f
k { k L {
L
f
2 0 sin m f sin m f
£
m =0
i y i npb y i npb y
= ÅÅÅÅÅ ‚ p jj Am£ n : 0 > + Bm£ n : d £ >zz Im£ jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz = ÅÅÅÅÅÅÅÅÅÅ : > I jj ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz
¶
dmm£ p L Amn
k { k L { Bmn m k L {
L 0
2 £ mm 2
m =0

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

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

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
¶

‡ f ‡
2p npz 2p

k L { k L {
L L L
0 0 L 2 0 2
£ m =0

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ f ‡ z V Hf, zL sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N

2p npz
p L Im Hn p b ê LL 0
1 L
A0n = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
0 L