You are on page 1of 6

1

Assignment 5 — Solutions 2/13/04 (revised 2/23/04)

Problem 3.10

(a) We get to integrate our relations from last time. Joy.

VHf, zL

:

A 0n

A

B

mn

mn

>

=

=

=

:

V

-V

,

,

-p ê2 <f<p ê2 p ê2 <f< 3 p ê2

1

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

p L I m Hn p bê LL

2

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

p L I m Hn p b ê LL

-pê2

3 pê2 f 0

L

n p z

z V Hf, zL sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N

L

-pê2

3 pê2 f 0

L z VHf, zL: cos sin m m f

f > sin J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N

n p z

L

,

m 0

The range of f integration has been shifted to be convenient for V (can be done since it's periodic). For m, n 0:

:

A

B

mn

mn

>

=

=

=

=

2 V

p L I m Hn p bê LL 0

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

2 V

L z sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N i

k

n p z

L

n p z

j

j

j

pê2

f - pê2

sin m f

3 pê2 f y

{

pê2

z: cos m f

sin m f

z

z

>

-pê2

L

ÅÅÅÅÅÅÅ Å :

Å

Å

m ÅÅ

Ç

1

Ä

Å

Å

Å

Å

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ B- ÅÅÅÅÅÅÅÅÅÅÅ

p L I m Hn p bê LL

-2 V ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

n m p 2 I m Hn p bê LL

L

cosJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ NF 0

L

-cos m f > -pê2

- :

-cos m f > pê2

>

sin m f

3

pê2 É

Ñ

Ñ

Ñ

Ñ

Ñ

Ñ

Ñ

ÑÑ

Ö

n p

@H-1L n - 1D: 2 sinHm p ê 2L - sinH3 m p ê 2L + sinHm p ê 2L 0 + cosH3 m p ê 2L - cosHm p ê 2L

V @1 - H-1L n D : 4 sinHm p ê 2L

2

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

n m p 2 I m Hn p bê LL

0

>

A useful table from the CRC handbook of Standard Mathematical Tables and Formulae (30th edition):

 n œ  n even n odd n ê 2 odd n ê 2 even sin n p cos n p 00 0 0 0 H-1L n +1 -1 +1 +1 sin n p ê 2 0 H-1L Hn-1Lê2 0 0 cos n p ê 2 H-1L nê2 0 -1 +1

from which we deduce that A mn = 0 for even m and A mn H-1L Hm-1Lê2 for odd m. A m0 = 0 = B m0 from sinHn p z ê Ln=0 = 0 and B 0n = 0 since sin m f§ m=0 = 0. Also A 0n = 0 because the f integral is over V Hf, zL only which is odd in the given range. Since A mn 1 - H-1L n it vanishes for even n, and the factor is 2 for odd n. Finally:

A mn

=

16 V H-1L Hm-1Lê2 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ n m p 2 I m Hn p bê LL

,

n, m odd

;

all other coefficients vanish

2 H-1L Hm-1Lê2
16 V
FHv, f, zL
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
n m p 2 I m Hn p bê LL
n p z
cosHm fL sinJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N IJ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N
n p v
=
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p
2
L
L
n,m odd

(b) For b ê L ` 1, which means v ê L ` 1 since v § b, we have from the asymptotic expansion 3.102:

 I m Hn p v ê LL Hn p v ê2 LL m êH2 m + 2L! ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ º ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ º I m Hn p b ê LL Hn p b ê2 LL m êH2 m + 2L!

J

v

ÅÅÅÅÅÅÅÅ

b

N m

One might worry that the arguments to I m are not strictly always small since n ranges to infinity, but in a com- pletely handwaving manner one may hope that the effects of increasing n in numerator and denominator magi- cally cancel out. For those of you who are rightly dubious you can probably go to the series expansion (Gradsh- teyn and Ryzhik 8.445):

I n HzL =

k=0

1

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

k ! GHn + k + 1L

z

J ÅÅÅÅÅ

2

N n+2 k

(exact)

and use the binomial theorem etc. to figure out the specifics. If you manage do please tell. Anyway at z = L ê 2 and seeing from our table that sin Hn p ê 2n odd = H-1L Hn-1Lê2 :

 FHv, f, zL º = = = =

16

V

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

p

2

n,m odd

H-1L Hm-12

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ n m p 2

v

H-1L Hn-1Lê2 cosHm fL J N m

ÅÅÅÅÅÅÅÅ

b

16

V

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

p

16

2

V

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

p

2

H-1L n

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

2 n + 1

n=0

H-1L m ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ 2 m + 1

m=0

v

cos@H2 m + 1L fD J ÅÅÅÅÅÅÅÅ

b

N 2 m+1

p

ÅÅÅÅÅÅ

4

H-1L m 1

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

m=0

2 m + 1

ÅÅÅÅÅ

2

I Â H2 m+1L f + H2 m+1L f MJ

v

ÅÅÅÅÅÅÅÅ

b

N 2 m+1

2

V

ÅÅÅÅÅÅÅÅÅÅÅÅ

p m=0

H-1L m ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ BJÂ f 2 m + 1

v

ÅÅÅÅÅÅÅÅ

b

N 2 m+1 + J-Â f

2 V ÅÅÅÅÅÅÅÅÅÅÅÅ Btan -1 JÂ f

p

v

ÅÅÅÅÅÅÅÅ N + tan -1 J-Â f

b

v

ÅÅÅÅÅÅÅÅ NF

b

v

ÅÅÅÅÅÅÅÅ

b

N 2 m+1 F

Looking up the math handbook (do the trig if you like) gives tan -1 z 1 tan -1 z 2 = tan -1 @Hz 1 z 2 LêH1 ¡ z 1 z 2 LD:

FHv, f, zL

º

2

V

ÅÅÅÅÅÅÅÅÅÅÅÅ

p

Â f v êb + ‰ -Â f v êb

tan -1 i ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

j

j

j

j

k

1 - HÂ f v êbLH-Â f v êbL

y

z

z

z

z

{

= 2 V
2 Hv ê bL cos f
y
z
ÅÅÅÅÅÅÅÅÅÅÅÅ
tan -1 i ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
jj j
zz
p k
1 - v 2 êb 2
{

Exactly as you should have found in 2.13. Note the shorter route to summing the series, those of you who're interested.

3

Problem 3.11

(a) The standard way to show orthogonality is to integrate the differential equation, in this case 3.77:

0

0

=

=

2 J n HxL ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ x 2

+

1

ÅÅÅÅÅ

x

J n HxL i ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

k

j

j

+ j

j

x

1 -

n 2 y ÅÅÅÅÅÅÅÅÅ

z

z

z

x

2

z J n HxL = ÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅ J n HxL y 1 - ÅÅÅÅÅÅÅÅÅ z J n HxL

{

x

i

j

jx

x k x

z

{

j

j

z + j

j

k

x

2

{

1

i

n 2 y

z

z

z

1

ÅÅÅÅÅÅ

r

ÅÅÅÅÅÅÅÅÅÅ

j

j

j jr ÅÅÅÅÅÅÅÅÅÅ J n Hk rL y k 2 - ÅÅÅÅÅÅÅÅÅ z J n Hk rL

j

i j

i

k

n 2 y

z

z

z

z

z

z + j

r k r

{

r

2

{

(1)

Act on both sides with the integral operator Ÿ 0 a r r J n HrL and integrate stuff by parts:

0

=

=

0 a r ÅÅÅÅÅÅÅÅÅÅ

Ä

Å

Å

Å

Å

Å r J n HrL ÅÅÅÅÅÅÅÅÅÅ J n Hk rL Ñ

Ñ

Ç

É

Ñ

Å

Ñ

Ñ

Å

Ñ

Ñ

Ñ

Å

i

z

j

jr j ÅÅÅÅÅÅÅÅÅÅ J n Hk rL y z J n HrL + 0 a r i r k 2 - ÅÅÅÅÅÅÅÅÅ z J n Hk rL J n HrL z y

{

z

z

n 2 y

z

z

z

z

z

j

j

j

j

k

r k r

r

{

r

{

Ö a - 0

0

a r r ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

r

J n Hk rL J n HrL

r + 0

z

z

a r i r k 2 - ÅÅÅÅÅÅÅÅÅ z J n Hk rL J n HrL z y

{

z

n 2 y

z

z

z

j

j

j

j

k

r

{

We're given that the first term vanishes at the lower limit r = 0 (is it just me or is this trivial, because r = 0 at r = 0??). The other condition says

ÅÅÅÅÅÅÅÅÅÅ

r

ƒ ƒ

ƒ

ln@J n Hk rLD §

ƒ ƒ ƒ r=a

1 J n Hk rL

ƒ

ƒ

ƒ

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ §

ƒ

r

= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

J n Hk rL

ƒ r=a

ƒ

=

l

- ÅÅÅÅÅÅ

a

ï

r

J n Hk rL

ƒ

ƒ

ƒ

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ §

ƒ

r

ƒ r=a

ƒ

= -l J n Hk aL

(2)

Incidentally we see from this that k is restricted to values such that (2) is satisfied, i.e. k a ª y nn such that

£

a J n

Hy nn L + l J n Hy nn L = 0. We can arbitrarily start numbering eigenvalues n = 1, 2, ….

 0 = -l J n H aL J n Hk 0 = -l J n Hk aL J n H

rL

-

0 a

rL - 0 a

r r

r r

J n Hk rL J n HrL

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

r

r + 0

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

J n HrL J n Hk rL

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

r

r + 0

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

z

z

a r i r k 2 - ÅÅÅÅÅÅÅÅÅ z J n Hk rL J n HrL z y

z

{

n 2 y

z

z

z

j

j

j

j

k

r

{

z

z

a r i r 2 - ÅÅÅÅÅÅÅÅÅ z J n HrL J n Hk rL z y

{

z

n 2 y

z

z

z

j

j

j

j

k

r

{

In the last step I've just renamed k ¨ . Subtracting the second line from the first gives what we want:

0 = 0 a r r Ik 2 - 2 M J n Hk rL J n HrL = Ik 2 - 2 M 0 a r r J n Hk rL J n HrL

since it means that unless k 2 = 2 (in which case the right-hand-side is trivially 0) the integral must vanish.

(b)

Now normalization. This time act on (1) with Ÿ 0 a r r 2 J n Hk rL ê r and use f ÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ :

r

2

r

f

= 1

H f 2 L

4

0 =

=

0

1

ÅÅÅÅÅ

2

y

a r i ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ z + Ik 2 r 2 - n 2 M J n Hk rL ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ z z

{

z

J n Hk rL

r

i

j

jr

j

J n Hk rL

r

y

z

z

{

J n Hk rL

r

j

jr

k

j

r k

0

n 2

a r ÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz 2 + k 2 0 a r r 2 J n Hk rL ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅ a r ÅÅÅÅÅÅÅÅÅÅ @J n Hk rLD

i

j

jjr

r k

J n Hk rL

r

y

z

{

J n Hk rL

r

-

2

0

r

Integrate the second term by parts:

k 2 0

J n Hk rL a r r 2 J n Hk rL ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = r

k 2 Ar 2 J n 2 Hk rLE a - k 2 0 a r J n Hk rL ÅÅÅÅÅÅÅÅÅÅ Ar 2 J n Hk rLE

0

r

2 (3)

= k 2 a 2 J n 2 Hk aL - 2 k 2 0 a r r J n Hk rL J n Hk rL

-k 2 0 a r J n Hk rL r 2

J n Hk rL ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ r

Move the last term to the left, divide everything by 2, and we get

k 2 0

a r r 2 J n Hk rL ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ = ÅÅÅÅÅ k 2 a 2 J n 2 Hk aL - k 2 0 a r r J n Hk rL J n Hk rL

2

J n Hk rL r

1

Getting back to (3), and using (2) to get rid of the derivative in the evaluation of the first term at r = a:

0

=

1

j

ÅÅÅÅÅ Å j

2 Å Å k

Ä

Å

Å i

Å

Å jr J n Hk rL Ñ

Ñ

Ñ

Ñ

Ñ

Ñ

Å

Å

2 Ñ É

Ç

y z z

z

{

a

Ñ Ö Ñ 0

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

r

1

+ ÅÅÅÅÅ

2

k 2 a 2 J n 2 Hk rL - k 2 0 a r r J n Hk rL J n Hk rL -

l 2

= ÅÅÅÅÅÅÅÅÅ

2

1

J n 2 Hk aL + ÅÅÅÅÅ

2

2

k 2 a 2 J n 2 Hk aL - k 2 0 a r r J n Hk rL J n Hk rL - ÅÅÅÅÅÅÅÅÅ

n

2

J n 2 Hk

n

2

ÅÅÅÅÅÅÅÅÅ

2

a

AJ n 2 Hk rLE 0

n 2

aL + ÅÅÅÅÅÅÅÅÅ

2

J n 2 H0L

Note that J n H0L is not generally 0! For instance J 0 H0L = 1 which we can see from the series expansion 3.82. 2
a 2
i
l 2 - n 2
y
n
j j
0
a r r J n 2 Hk rL = ÅÅÅÅÅÅÅÅÅ j 1 + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ z J n 2 Hk aL + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J n 2 H0L
z z z
k 2 a 2
2
j
k
2
k 2
{

Actually it is more useful for later comparison to leave the derivative as is:

0

a r r J n 2 Hk rL = ÅÅÅÅÅÅÅÅÅ j 1 - ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ z J n 2 Hk aL + ÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ zz 2 + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ J n 2 H0L

a

2

i

j

j

j

k

k 2 a 2

{

a

2

J n Hk rL

i

j

jj

k r

y

z

{

n

2

k 2

2

n 2 y

z

z

z

2

2

In general proving completeness of a set of functions is a lengthy process which I will forego here. Consult a math handbook if you're interested, for instance chapter 9 of Arfken which deals with Sturm-Liouville theory. In our case the differential operator in (1) can be put into self-adjoint form by multiplying it by x:

2 J n HxL x ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ x 2

+

J n HxL i ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

k

+ j x -

j

j

j

x

n 2 y ÅÅÅÅÅÅÅÅÅ

{

z

z

z z J n HxL = 0

x

5

Now the necessary and sufficient condition for self-adjointness is that p £ HxL = qHxL where pHxL = x is the coeffi- cient of the second-order term and qHxL = 1 the coefficient of the first-order term, which is obviously satisfied. In Quantum Mechanics terminology a self-adjoint operator is Hermetian, and just as in there their eigenfunctions form a complete set. With this in mind we can write

f HrL = A n J n J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ y nn r N where a J n Hy nn L - l J n Hy nn L = 0

n=1

a

£

To extract A n we do the usual acting on both side with Ÿ 0 a r r J n Hy nn r êaL:

0

a r f HrL r J n J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ y nn r N =

a

m=1

=

m=1

A m 0

a r r J n J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N J n J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ N

y nn r

a

y nm r

a

A m d mn

Å Ä

Å Å

Å

Å Å

Å Å

ÅÅ Ç

a

2 ÅÅÅÅÅÅÅÅÅ

2

i

j j

j j 1 -

k

n 2 y

z

z z

a

2

z J n 2 Hk aL + ÅÅÅÅÅÅÅÅÅ

{

2

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ k 2 a 2

J n Hk rL

i

j j

j ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

k

r

y

{

z

z

z 2 + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

2

n

2 k 2

A n

=

2

ÅÅÅÅÅÅÅÅÅ

a

2

Ä

Å

Å

Å

Å

Å

Å

Å

Å

ÅÅ

Ç

i

j

j

j 1 -

j

k

n 2 y ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ k 2 a 2

z

z

z

z J n 2 Hk aL + i ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

{

j

j

j

k r

J n Hk rL

y

{

z

z

z 2 + ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

n 2 a 2

4

k 2

J n 2 H0L

Ñ É ÑÑ -1 0

Ö

Ñ

Ñ

Ñ

Ñ

Ñ

Ñ

Ñ

a r f HrL r J n J ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ y nn r N

a

J n 2 H0L

Ñ É

Ñ

Ñ

Ñ Ñ

Ñ

Ñ Ñ

ÑÑ Ö

If you find out what Jackson did with the J n 2 H0L term please let me know.

Problem 3.12

(a) In cylindrical coordinates we can expand F as in 3.106 (remember that we want finiteness for all of

z ¥ 0). Since we have azimuthal symmetry it must be that there is no f dependence, i.e. all the A m 's and B m 's

vanish except for B 0 ª AHkL:

FHv, f, zL

=

0 k AHkL -k z J 0 Hk vL

Using the orthogonality condition 3.108 and the z = 0 boundary condition F§ z=0 = V QHv - aL, act on both sides with Ÿ 0 v v J 0 HvL at z = 0:

0

v FHv, f, zL v J 0 HvL

=

0 k AHkL 0 v v J 0 Hk vL J 0 HvL

V 0

a v v J 0 HvL = 0 k AHkL ÅÅÅÅÅ dH- kL = 1

1

k

ÅÅÅÅÅ AHL

AHkL

=

k V 0 a v v J 0 Hk vL

From Gradshteyn and Ryzhik 5.52 (W is any of N , H H1L or H H2L ):

6

x x n+1 W n HxL

=

x n+1 W n+1 HxL

Changing integration variables for AHkL to x ª k v, so x ª k v:

AHkL

=

V

ÅÅÅÅÅÅÅ

k

0

k a x xJ 0 HxL =

V

ÅÅÅÅÅÅÅ

k x J 1 HxL k a = aV J 1 Hk aL 0

FHv, f, zL

=

a V 0 k J 1 Hk aL -k z J 0 Hk vL

 (b) Perpendicular above the center of the disk means v = 0. Using J 0 H0L = 1and Gradshteyn and Ryzhik 6.611:

0

x -a x J n Hb xL

=

b -n I è!!!!!!!!!!!!!!!! a + b

2

2

- aM n

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

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

a

2

+ b

2

, Re n>-1 and ReHa≤ÂbL > 0

FH0, f, zL

=

a V 0 k J 1 Hk aL -k z

=

è!!!!!!!!!!!!!!! z + a

2

2 - z

a V ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

a è!!!!!!!!!!!!!!! z + a

2

2

=

V i 1 -

j

j

j

j

k

z

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

è!!!!!!!!!!!!!!! a + z

2

2

y

z

z

z

z

{

(c) Above the edge is at v = a. Setting n = 0 in 3.87, we find that W -1 = W +1 [as an aside: W -n = H-1L n W n

£

holds for arbitrary n œ ]. Setting n = 0 in 3.88, we find 2 W 0 = W -1 - W +1 = -2 W 1 . Thus J 1 HxL = -J 0 Hxx:

FHa, f, zL

=

a V

0

k J 1 Hk aL -k z J 0 Hk aL

=

-a V

0

k J 0 Hk aL -k z

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

Hk aL

J 0 Hk aL

= -V A-k z J 0 2 Hk aLE 0

+ a V 0 k J 0 2 Hk aL ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

Hk aL

-k z + a V 0 k J 0 Hk aL -k z J 0 Hk aL

£

From 3.91 we know that J 0 Hk aL remains finite as k Ø ¶, so the upper limit of the first term is just 0. Also we move the last term to the other side and get

-2 a

V 0

k J 0 Hk aL -k z J 0 Hk aL

£

=

V

J 0 2 H0L + a V 0 k J 0 2 Hk aL ÅÅÅÅÅ

z

a

-k z

Recall that J 0 H0L = 1. From Gradshteyn and Ryzhik 6.612:

0

x -a x J 0 2 Hb xL

FHa, f, zL

=

=

2

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

p è!!!!!!!!!!!!!!!!!!! a + 4 b

V V z

K i

2

2 b

y

z

z

z

zz

{

j

j

j ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

2

jj

k

2

ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

p è!!!!!!!!!!!!!!!!!! z + 4 a

2

è!!!!!!!!!!!!!!!!!!! a + 4 b

2

2

2

2 a K i ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ

j

j

j

j è!!!!!!!!!!!!!!!!!!

k

z

2

+ 4 a

2

ÅÅÅÅÅÅÅ

2

+

ÅÅÅÅÅÅÅÅÅÅÅÅ

2

y

z

z

z

z

{

 V i z k z KHkL z y 2 a FHa, f, zL = ÅÅÅÅÅÅÅ j1 j + ÅÅÅÅÅÅÅÅÅÅÅ , k ª
 ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ 2 k p a { è!!!!!!!!!!!!!!!!!! + z 2 4 a 2