Two-dimensional scattering theory. By analogy with Section 10.2, develop partial wave analysis for two dimensions.
(a) In polar coordinates (r,θ) the Laplacian is
∇2=∂x2∂2+∂y2∂2=∂r2∂2+r1∂r∂+r21∂θ2∂2.(10.105)
Find the separable solutions to the (time-independent) Schrödinger equation, for a potential with azimuthal symmetry (V(r,θ)→V(r)). Answer:
ψ(r,θ)=R(r)eijθ,(10.106)
where j is an integer, and u≡rR satisfies the radial equation
−2mℏ2dr2d2u+[V(r)+2mℏ2r2(j2−1/4)]u=Eu.(10.107)(b) By solving the radial equation for very large r (where both V(r) and the centrifugal term go to zero), show that an outgoing radial wave has the asymptotic form
R(r)∼reikr,(10.108)
where k≡2mE/ℏ. Check that an incident wave of the form Aeikx satisfies the Schrödinger equation, for V(r)=0 (this is trivial, if you use cartesian coordinates). Write down the two-dimensional analog to Equation 10.12, and compare your result to Problem 10.2. Answer:
ψ(r,θ)≈A[eikx+f(θ)reikr],for large r.(10.109)(c) Construct the analog to Equation 10.21 (the wave function in the region where V(r)=0 but the centrifugal term cannot be ignored). Answer:
ψ(r,θ)=A{eikx+j=−∞∑∞cjHj(1)(kr)eijθ},(10.110)
where Hj(1) is the Hankel function (not the spherical Hankel function!) of order j.
(d) For large z,
Hj(1)(z)∼2/πe−iπ/4(−i)jzeiz.(10.111)
Use this to show that
f(θ)=2/πke−iπ/4j=−∞∑∞(−i)jcjeijθ.(10.112)(e) Adapt the argument of Section 10.1.2 to this two-dimensional geometry. Instead of the area dσ, we have a length, db, and in place of the solid angle dΩ we have the increment of scattering angle ∣dθ∣; the role of the differential cross-section is played by
D(θ)≡dθdb,(10.113)
and the effective "width" of the target (analogous to the total cross-section) is
B≡∫02πD(θ)dθ.(10.114)
Show that
D(θ)=∣f(θ)∣2,andB=k4j=−∞∑∞∣cj∣2.(10.115)(f) Consider the case of scattering from a hard disk (or, in three dimensions, an infinite cylinder) of radius a:
V(r)={∞,0,(r≤a),(r>a).(10.116)
By imposing appropriate boundary conditions at r=a, determine B. You'll need the analog to Rayleigh's formula:
eikx=j=−∞∑∞(i)jJj(kr)eijθ(10.117)
(where Jj is the Bessel function of order J). Plot B as a function of ka, for 0<ka<2.