Sommerfeld-Watson Transformation Explained
Sommerfeld-Watson Transformation Explained
G.1 Introduction
The complex spectral number summation technique already has been
described briefly in Section 3.7. Here, for illustrative purposes, we outline the
technique for computing the scattering from a perfectly reflecting sphere and
from a transparent refracting sphere. The technique offers efficient convergence
provided that (1) a complete set of poles can be isolated, (2) their residues can
be calculated accurately, and (3) the set of poles offers a converging solution.
By use of contour integration, we replace the sum for the scattering along the
real axis in real-integer spectral number space with another sum in complex
spectral number space (see Fig. 3-9). From Eq. (3.12-3), the radial component
of the scattered wave in series form is
∞
E
Er( j ) = − 2o
x
∑ Sl( j ) (2l + 1)il −1ξl+ ( x ) Pl1(cosθ ) (G-1)
l =1
Here the superscript “ ( j ) ” denotes the j th degree scattered wave and Sl( j ) is
its scattering coefficient. Eq. (3.9-3) gives (
Sl( 0 ) = − 1 + Wl− / Wl ) / 2 ,
2 + 3
Sl(1)= n( −2i / Wl ) / 2 , Sl( 2 )
= 2 nWl / (Wl ) , etc. For the transverse component,
appropriately simplified per discussion after Eq. (3.12-4), a similar expression
is obtained:
∞
Eo 2l + 1 ′ ′
Eθ( j ) = ∑ Sl( j ) l(l + 1) il −1ξl+ ( x )Pl1 (cosθ )sin θ (G-2)
x l =1
587
588 Appendix G
Consider the contour integral I + in the complex plane along a closed path
enclosing the positive real axis and lying at an infinitesimal distance ε above
and below the real axis [see Fig. 3-9(a)]:
1 ∞− iε F[l ′ − 1 / 2] 0 + iε F[l ′ − 1 / 2]
I+ = ∫0 −iε dl ′ + ∫∞+ iε dl ′ (G-4)
2 cos(πl ′ ) cos(πl ′ )
We can use the theory of residues in contour integration of analytic functions to
evaluate this integral by summing the residues at the simple poles of the
integrand, which on the real axis are located only at the half-integer points in l' .
Upon summing the residues from the complex contour integrations around each
of the poles in Eq. (G-4), one obtains
∞ ∞
I + = −i ∑ ( −1)κ F[ k ] = ∑ (−1)l −1iF[l]
κ =0 l =1
∞
= ∑ Sl( j )il +1(2l + 1)ξl+ ( x )(−1)l −1 Pl1(cos(θ + π )) (G-5)
l =1
∞
x2
=− ∑ Sl( j )i l −1 (2l + 1)ξl+ ( x ) Pl1 (cos θ ) = Er( s )
l =1
Eo
To obtain the result in Eq. (G-5), note that Pl1 (cos θ ) = ( −1)l −1 Pl1 (cos (θ + π )) ,
and also that F[0] = 0 because P01 (cos θ ) ≡ 0 . A similar relation holds for Eθ( s ) .
In this manner, we convert the sum in Eq. (G-1) into the contour integral given
in Eq. (G-4).
Next, we need to extend the contour integration in Eq. (G-4) to include the
entire real axis so that we can use the vanishing property of the integrand when
it is evaluated on a semi-circular arc bounding the upper complex plane whose
radius approaches infinity. Therefore, we will need to invoke the symmetry
properties of the integrand in this contour integral. From the defining
differential equation for the spherical Hankel functions of order l − 1 / 2 [see
Eq. (3.6-2)], it follows that these functions must be either symmetric or anti-
symmetric in l . It is easily shown from the defining equation for the Bessel
function that
It follows from Eq. (3.5-11) that all of the Wronskian scattering terms,
Wl±−1/ 2 and Wl −1/ 2 , each of which involves products of a pair of spherical
Hankel functions, are symmetric in l . Therefore, it follows from Eq. (3.5-11)
that all scattering coefficients of spectral number l − 1 / 2 , Sl(−1
0) (1)
/ 2 , Sl −1/ 2 ,
Sl(−21) / 2 , ⋅⋅⋅ , are symmetric in l . Next, from the defining differential equation for
the Legendre functions, we have
Also, P01 (cos θ ) = P−11 (cos θ ) ≡ 0 . Noting that 2(l − 1 / 2) + 1 = 2l , it follows that
Now, the contour integral I − enclosing the negative real axis is to be taken in
the same counter-clockwise sense that also applied to I + in Eq. (G-4).
Therefore, we obtain for I −
where U[ y] has no poles for Im[ y] > 0 and is not zero at the zeros of V [ y],
which occur at the points y = yκ , κ = 1, 2,L. If F[l − 1 / 2] has poles of order m
at these points, then V [ yκ ] = V ′[ yκ ] = L = V ( m −1) [ yκ ] = 0 , but V ( m ) [ yκ ] ≠ 0 .
From the theory of analytic functions, it follows that the residue for U[ y] V [ y]
at a pole of order m is given by
Using the Sommerfeld–Watson Transformation 591
U[ y ] mU ( m −1)
∫ V [ y]
dy = 2πi
V (m)
(G-14)
y = yκ y = yκ
where Dl and θ l , now complex, are still defined in Eq. (3.10-3) (see Fig. 3-14).
Similarly, the product Pµ1 [cos(θ + π )] / cos(lπ ) has the asymptotic form
592 Appendix G
Pµ1 [cos(θ + π )] 2 µ 1/ 2 π 1
→ exp −i lθ + , µ = l − (G-20)
cos(lπ ) π sin θ 4 2
It follows that
1/ 2
x 3 sin 3 θ l
U ( y ) → 4 exp[i( Dl + l(θ l − θ ))] Ai ′[ y] (G-21)
| y |>> ~ 2 / K 2πi cos θ l sin θ
x >> x o >>1
( K x y )2
o
Φ l = Φ x o + (θ o − θ ) K x o y+ (G-22)
2 Do
1/ 2
x 3 sin 3 θ l
U ( y ) = 4
2πi cos θ l sin θ
[(
exp i Dl + l(θ l − θ )
)]
(G-23b)
2 1
V ( y) = (Wl ) , l + = xo + K x o y + L
2
The zero points of Wl also are shown in Figure G-1 for refractivity values
ranging continuously from Nxo = 83π down to Nxo = π / 10 . As N increases,
( )
we note from Eq. (G-24) that Wl + Wl− / Wl → 2 Ai ′[ y] / ( Ai ′[ y] − i Bi ′[ y]) ;
therefore, the zero points of Wl should approach the zeros on the line
Im[ y] = tan[π / 3]Re[ y], the zeros for the perfectly reflecting case.
However, as N grows large, the form for Wl given in Eq. (G-24) loses
numerical precision. Although the magnitude of y may be small,
yˆ =˙ n −1/ 3 y − Nxo Knx
−1
o
can be large if Nxo >> K x o . Because y is complex,
Ai[ yˆ ] and Bi[ yˆ ] can grow very large. Equation (G-24), which involves
differences between these terms, can lose numerical precision. This can be
alleviated to a certain extent by noting several identities involving the Airy
functions in the complex plane [1]. These are given by
Using the Sommerfeld–Watson Transformation 595
k=
10
10
8 0]
]=
y
i '[ k
iB
Im [ y ]
6 ]- p
83 10
i' [
yk = p/
=
[A Nx o xo
4 N
k=2 W l ( yk) = 0
2 xo = 6378k
k=1
2 4 6
Re[ y ]
Fig. G-1. Location of zeros for Ai' [ y ] - iBi' [ y ] and also for Wl .
and
1/ 4
[ [ ] ]
W Ai yp + , Ai[ yp − ] = i(2π ) −1, W Ai[ y], Ai yp ± = ±( p m ) [ [ ]] (2π ) −1
(G-26)
W [ Ai[ y], Bi[ y]] = π −1
When N is small, even though Nxo >> K x o , we can factor out the n −1 term in
Eq. (G-27) and expand the remaining n 2 term in powers of N. The problem
term is the first involving the zeroth power of N. We can write this term in the
form
596 Appendix G
ˆ − ]
d Ai[ yp
p − Ai[ yp + ]Ai ′[ yp
ˆ − ] − p + Ai ′[ yp + ]Ai[ yp
ˆ − ] = Ai[ yp + ]2 (G-28)
dy Ai[ yp + ]
Also, in this case when Im[ yp ˆ − ] ≠ 0 , one can use the exponential asymptotic
forms for Ai[ yp ˆ − ] and Bi[ yp
ˆ − ] given in Eqs. (3.8-7) and (3.8-8).
For decreasing N , the zeros of Wl for a fixed value of κ drift
logarithmically downward and to the right in Fig. G-1. For very small N,
Nxo >> K x o , the locations of the zeros are given by the asymptotic condition
(
πNK x2o y( Ai[ y]2 + Bi[ y]2 ) − Ai ′[ y]2 − Bi ′[ y]2 = i ) (G-29)
Figure G-1 shows that, for a fixed value of N, the zeros of Wl migrate
upward from the real axis for increasing integer values of the index κ . As was
the case for the perfectly reflecting sphere, here it also can be readily shown
that U ( y) → 0 exponentially for increasing Im[ yκ ] when (θ − θ o ) ≤ 0 . In this
case the individual contribution of the zeros to the scattering coefficients
diminishes exponentially as their distance above the real axis increases.
Unfortunately, the zeros of Wl + Wl+ are located in an infinite string along and
slightly above the negative real y-axis. Figure G-2 shows the first several zero
points for two fixed values of N . Here, contrary to the case shown in Fig. G-1,
Im[ yκ ] either decreases or does not increase sharply with increasing κ . Also,
the numerator term U ( y) for Sl does not converge to zero for large values of
κ . Therefore, numerical convergence problems result in attempting to evaluate
the aggregate scattering field using the poles of Sl in complex spectral number
Using the Sommerfeld–Watson Transformation 597
1.0
1
2 k= 0.8
3 k=
k=
Nxo = 83 p 0.6
Im [ y ]
+
W (yk ) + W ( yk ) = 0
l l
0.4
Nxo = 830p
3 0.2
2
k= k= 1
k=
0.0
-10 -8 -6 -4 -2 0
Re[ y ]
space. One can sum up the contributions from the individual j th -degree
scattered waves up to some specified truncation degree using the zeros of Wl
and the residues from the j th -order pole approach outlined earlier. This would
require successive numerical differentiation of the appropriate expressions for
U ( y) and V ( y) per the requirements given in Eq. (G-14) for a jth-order pole.
A numerical integration approach aided by the stationary phase technique,
which has been used extensively in this monograph, seems simpler for smaller
magnitudes of N, roughly N < ~ 2 K x−o2 . But it requires high precision and also
dense sampling to avoid aliasing, and when multiple rays are involved, it also
requires care in the vector addition of the field contributions from these
separate stationary phase neighborhoods in spectral number. For larger
magnitudes of N, the complex spectral number summation technique is
preferable in the region where (θ − θ o ) ≤ 0 , even with the aforementioned
numerical precision problems and the convergence problem for the aggregate
scattering coefficient. Also, near shadow boundaries, numerical integration of
the scattering integrals when N is large becomes a struggle because of the high
accelerations in phase in the scattering coefficients and the large number of
stationary points in spectral number.
The bottom line is that there seems to be no free lunch in wave theory for
calculating accurately in all regimes the complete field vector of an
electromagnetic wave that has passed through a transparent refracting sphere.
Parabolic equation methods such as the multiple phase screen approach to
propagate the wave through a refracting sphere is perhaps the most promising,
but multiple internal reflections from the sphere ( j = 2, 3L ) would require
598 Appendix G
Reference
[1] M. Abramowitz and I. Stegun, eds., Handbook of Mathematical
Functions With Formulas, Graphs, and Mathematical Tables, National
Bureau of Standards Series 55, Washington, DC, 1964.