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: ^{c}^{o}^{s} 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}_{}_{1}_{L} _{n} _{} _{1}_{D}_{:} 2 sinHm p ê 2L  sinH3 m p ê 2L + sinHm p ê 2L 0 + cosH3 m p ê 2L  cosHm p ê 2L
V @1  H1L ^{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 

H1L ^{n} 
+1 
1 
+1 
+1 

sin n p ê 2 
0 
_{H}_{}_{1}_{L} Hn1Lê2 
0 
0 

cos n p ê 2 
H1L ^{n}^{ê}^{2} 
0 
1 
+1 
from which we deduce that A _{m}_{n} = 0 for even m and A _{m}_{n} ∂ H1L ^{H}^{m}^{}^{1}^{L}^{ê}^{2} for odd m. A _{m}_{0} = 0 = B _{m}_{0} from sinHn p z ê LL§ _{n}_{=}_{0} = 0 and B _{0}_{n} = 0 since sin m f§ _{m}_{=}_{0} = 0. Also A _{0}_{n} = 0 because the f integral is over V Hf, zL only which is odd in the given range. Since A _{m}_{n} ∂ 1  H1L ^{n} it vanishes for even n, and the factor is 2 for odd n. Finally:
A mn
=
16 V H1L ^{H}^{m}^{}^{1}^{L}^{ê}^{2} ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ n m p ^{2} I _{m} Hn p bê LL
,
n, m odd
;
all other coefficients vanish
2
(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 ê 2L§ _{n} _{o}_{d}_{d} = H1L ^{H}^{n}^{}^{1}^{L}^{ê}^{2} :
FHv, f, zL 
º 
= 

= 

= 

= 
16
V
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p
^{2}
„
n,m odd
_{H}_{}_{1}_{L} Hm1Lê2
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ n m p ^{2}
v
H1L ^{H}^{n}^{}^{1}^{L}^{ê}^{2} cosHm fL J N ^{m}
ÅÅÅÅÅÅÅÅ
b
16
V
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p
16
^{2}
V
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
p
^{2}
¶
H1L ^{n}
„ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
2 n + 1
n=0
¶
H1L ^{m} ‚ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ 2 m + 1
m=0
v
cos@H2 m + 1L fD J ÅÅÅÅÅÅÅÅ
b
N 2 m+1
p
ÅÅÅÅÅÅ
4
^{¶} H1L ^{m} 1
‚ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
m=0
2 m + 1
ÅÅÅÅÅ
2
_{I}_{‰} Â H2 m+1L f _{+} _{‰} Â H2 m+1L f _{M}_{J}
v
ÅÅÅÅÅÅÅÅ
b
N 2 m+1
2
V
ÅÅÅÅÅÅÅÅÅÅÅÅ
¶
‚
p m=0
H1L ^{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
{
^{=}
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} H rL and integrate stuff by parts:
0
=
=
_{‡} 0 ^{a} r ÅÅÅÅÅÅÅÅÅÅ
Ä
Å
Å
Å
Å
Å r J _{n} H rL ÅÅÅÅÅÅÅÅÅÅ J _{n} Hk rL Ñ
Ñ
Ç
É
Ñ
Å
Ñ
Ñ
Å
Ñ
Ñ
Ñ
Å
i
z
j
jr j ÅÅÅÅÅÅÅÅÅÅ J _{n} Hk rL ^{y} _{z} J _{n} H rL + _{‡} 0 ^{a} r ^{i} r k ^{2}  ÅÅÅÅÅÅÅÅÅ _{z} J _{n} Hk rL J _{n} H rL 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} H rL
r ^{+} ^{‡} 0
z
z
^{a} r ^{i} r k ^{2}  ÅÅÅÅÅÅÅÅÅ _{z} J _{n} Hk rL J _{n} H rL 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 _{n}_{n} such that
£
^{a} ^{J} n
Hy _{n}_{n} L + l J _{n} Hy _{n}_{n} 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} H rL
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
r
r ^{+} ^{‡} 0
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
J _{n} H rL J _{n} Hk rL
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
r
r ^{+} ^{‡} 0
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
z
z
^{a} r ^{i} r k ^{2}  ÅÅÅÅÅÅÅÅÅ _{z} J _{n} Hk rL J _{n} H rL 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} H rL 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} H rL = Ik ^{2}  ^{2} M _{‡} 0 ^{a} r r J _{n} Hk rL J _{n} H rL
since it means that unless k ^{2} = ^{2} (in which case the righthandside 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} ^{H}^{k} ^{r}^{L} ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ 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.
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 SturmLiouville theory. In our case the differential operator in (1) can be put into selfadjoint 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 selfadjointness is that p ^{£} HxL = qHxL where pHxL = x is the coeffi cient of the secondorder term and qHxL = 1 the coefficient of the firstorder term, which is obviously satisfied. In Quantum Mechanics terminology a selfadjoint 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 _{n}_{n} L  l J _{n} Hy _{n}_{n} 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 _{n}_{n} 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} H vL at z = 0:
^{‡} 0
^{¶} v FHv, f, zL v J _{0} H vL
=
_{‡} 0 ^{¶} k AHkL _{‡} 0 ^{¶} v v J _{0} Hk vL J _{0} H vL
^{V} ^{‡} 0
^{a} v v J _{0} H vL = _{‡} 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 ^{H}^{1}^{L} or H ^{H}^{2}^{L} ):
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} = H1L ^{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} HxLêx:
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 
Much more than documents.
Discover everything Scribd has to offer, including books and audiobooks from major publishers.
Cancel anytime.