1. Introduction
In a recent paper, we presented analytic expressions for the fields in the focal plane for hemispherical focusing of different forms of polarized wave [
1]. These results can be used as an approximation for focusing by high numerical aperture (NA) objectives. Here, we extend this analytic treatment to the defocused case, for the special cases of electric dipole (ED), magnetic dipole (MgD), and mixed dipole (MxD) waves.
Another aspect of this paper is the separation of the electromagnetic Green tensor into traveling and evanescent components. Carter presented numerically computed plots of the traveling part of the field of a scalar source and a scalar dipole source [
2,
3]. Bertilone presented analytic expressions for the evanescent components for both a simple source and a dipole source [
4]. Then, the traveling part follows as the difference between the total field and the evanescent part. He went on to consider the case of hemispherical focusing of scalar uniform and dipole waves [
5]. In general, his solution included an evanescent component, but if the radius of the Gaussian reference sphere is large (the Debye approximation), as assumed in this paper, the evanescent component is negligible in the focal region. Arnoldus and Foley extended the analytic scalar treatment to the electromagnetic Green tensor [
6,
7]. Setälä et al. presented computed plots of the electric energy density for the evanescent and traveling field components of an electric dipole [
8]. Although they cited the work of Bertilone, their paper predated those of Arnoldus, so they were unaware of an analytic solution to the problem.
Both Bertilone and Setälä et al. describe the traveling part, distinct from the evanescent part, as homogeneous [
4,
8]. Homogeneous usually refers to solutions of the homogeneous wave equation. We prefer to call the part that is not evanescent the traveling part: the evanescent part resides within the inhomogeneous part, but the inhomogeneous component also contributes to the traveling part [
9,
10]. Also, care should be taken when distinguishing between out-going and in-going waves, and between forward-traveling and backward-traveling waves.
Bertilone gave his results in terms of Lommel functions of two variables,
, which are infinite sums of Bessel functions, and widely used in different diffraction problems [
11]. In particular, the field of a scalar wave, either collimated or focused, when diffracted by a circular aperture can be expressed in terms of Lommel functions [
11,
12]. The properties and applications of Lommel functions have been discussed in many publications [
11,
12,
13,
14,
15,
16,
17,
18]. In this paper, we reconsider the Green tensor in terms of Lommel functions.
2. Angular Spectrum Representation
A traveling electric dipole (ED) wave is an in-going focused wave where the far field matches that of an electric dipole. After coming to a focus, the light then diverges, so that the field is the sum of the fields of an electric dipole sink and an electric dipole source, with the evanescent parts canceling.
The angular spectrum representations (i.e., the Debye representation [
19]) for the electric fields, at point
where
, of a traveling electric dipole wave or a traveling magnetic dipole wave, for
x- or
y-polarized orientation, are [
20,
21,
22]
where the integrals
(with superscripts
(p) and
(mg) for electric and magnetic dipole waves, respectively) are
where
is the semi-angle of the convergence of the lens, equal to
for hemispherical focusing. Here, the electric field at the focus has been taken as proportional to
, in accordance with the treatment of Richards and Wolf [
20]. The phase on the axis varies from 0 to
as
u varies from
to
, as a result of the Gouy phase shift. In the focal plane
, all the integrals in Equation (
2) are real. For equal mixtures of electric and magnetic dipole polarizations,
, which results from linearly polarized illumination [
23].
For
x orientation, the time-averaged electric energy density,
, defined here as the squared magnitude of the electric field, is
and for
y orientation is
For rotating dipole illumination, given by the sum of two orthogonally oriented transverse components added in phase quadrature, the electric field is [
24]
the electric energy density is given by
and the power flow in the focal plane by
[
25]. Circular polarization is equivalent to the field of a rotating electric and magnetic dipole pair. The expressions for field or time-averaged electric energy density are still valid even if an angular spectrum
is introduced in the expressions for the integrals.
For the electric dipole case, Equation (
1) can conveniently written in matrix form,
where the matrix is symmetric, with trace
. Premultiplying a column vector representing the state of the dipole polarization, at any orientation, by the matrix
gives a column vector specifying the electric field. The third column of
corresponds to radially polarized illumination, which results in a longitudinal electric field at the origin [
21,
26,
27,
28,
29]. For this radially polarized case,
where
The longitudinal field at the origin is thus of strength
, as the integral
vanishes.
For the magnetic dipole case,
.
gives the
y dipole orientation and
gives the
x dipole orientation. The corresponding matrix is thus
the third column representing azimuthal polarization, which vanishes at the origin [
26,
27,
29]. The matrix is skew-symmetric, corresponding to a pseudovector
[
7].
The electric dipole field maximizes the electric energy density at the focal point for a given power input [
21,
30]. To give an electric field at the focus in the
x direction, the electric dipole is taken as being oriented in the
x direction, and the magnetic dipole oriented in the
y direction. The sum of these electric dipole and magnetic dipole fields corresponds to the case of illuminating a focusing system with a wave that is linearly polarized [
23], as was the case in Richards and Wolf [
20].
The angular weighting of this focused wave (i.e., after focusing), called a mixed dipole (MxD) wave, is, therefore,
, compared with an aplanatic system, which focuses a uniform plane wave according to the sine condition,
,
[
20]. If
is not too large, these are approximately equal, apart from a constant factor,
.
3. Whittaker Expansion
In general, the integrals for an angular spectrum of traveling waves can be evaluated over any angle
up to
, to include backward-propagating components, as in a Whittaker expansion [
23,
31]. The first integral can be broken into two parts, and then these integrals can all be recognized as being of the same form as the auxiliary functions of Arnoldus and Foley, introduced for the field of a (transverse) electric dipole source [
6,
7]. The auxiliary functions are, for positive
u (the superscript
W denotes Whittaker expansion),
It can be seen that
is the same as for the scalar case. For small
,
and
. The auxiliary functions of Arnoldus differ from our integrals in that the former contain
rather than
u [
6,
7]. These two forms are obviously identical for non-negative
u. The fields of a dipole source are mirror images relative to the plane of the source, and so Arnoldus’s equations are applicable in this case. However, it should be recognized that the expansions in the two half-spaces, into propagating and evanescent components, are really two different expansions, each of which is valid only in the respective half-space. Our equations hold for forward-propagating fields, so that for negative
u, the evanescent part corresponds to a dipole sink rather than a source.
We have , , , . Note that, in all the integrals, the power of is , where n is the order of the Bessel function . In the absence of evanescent waves, in the focal plane , and are real, and the other auxiliary functions are purely imaginary.
4. Complete Spherical Electric Dipole Focusing
For complete spherical ED focusing, i.e., focusing of the angular spectrum over a complete sphere, the electric field in all space can be expressed analytically in terms of trigonometric functions or spherical Bessel functions, even in the presence of defocus. As the field focuses and then diverges outwards, the field is that of an electric dipole sink/source pair, oriented in the
x direction. Usually, the field of an electric dipole is expressed in spherical coordinates with the axis in the direction of the dipole, but here the optical axis is perpendicular to the dipole. We introduce the normalized spherical radial coordinate
and another coordinate
where the positive/negative sign is taken for positive/negative
u. The variable
q can be used to describe the field of a dipole, but
w is useful to describe forward-propagating, directional fields.
For complete spherical ED focusing, if the electric field at the focus is oriented in the
x direction, we need to rotate the spherical coordinate system, giving
where
is a spherical Bessel function of the first kind, and so
These expressions can be written in different ways, using the recurrence relationships for the spherical Bessel functions, and using
[
32,
33,
34]. In particular,
.
For
,
and
are equal to twice the corresponding values for hemispherical focusing and are the same as for 4Pi hemispherical focusing, when two hemispherical angular spectra are added constructively in the phase [
1,
35]. On the other hand,
cancels for either complete spherical or 4Pi hemispherical focusing, so
, but for hemispherical focusing
and
, not, in general, equal to zero.
For complete spherical MgD focusing, with the electric field in the focal region oriented in the
x direction, the electric field is the field of a magnetic dipole sink/source pair, oriented in the
y direction. Then,
Then,
,
,
, and for
,
. Note that this complete spherical case differs from the 4Pi hemispherical case, where, in order to maximize the transverse electric field at the focus, the relative phase of the two hemispherical angular spectra is adjusted, when for
,
,
[
1,
36].
5. Weyl Expansion
The Whittaker expansion is an expansion over traveling waves covering a complete sphere, but an alternative is the Weyl expansion over a plane, of traveling and evanescent components [
37]. The Weyl expansion can be applied to the complete field of a dipole source, as it includes the evanescent field. As integration over a plane is the basis of the Rayleigh–Sommerfeld diffraction formulae, the Weyl expansion is the angular spectrum equivalent to these formulae [
38]. Different forms of the Weyl expansion are equivalent to the first or second Rayleigh–Sommerfeld integrals, or to the Kirchhoff diffraction integral. Putting
, we integrate
from zero to infinity, where values of
correspond to evanescent waves. Note that, although this is conventionally called an angular spectrum representation, strictly speaking, it should be more accurately called a sine-angular representation.
Bertilone gave an analytic expression for the field of a scalar source [
4]. Arnoldus gave expressions for the integrals, giving the total outgoing electric field of an electric dipole [
6]. In a later paper, he considered the magnetic field of an electric dipole, which is analogous in form to the electric field of a magnetic dipole [
7]. Here, we present these results in a more compact form, in terms of spherical Hankel functions,
(where
and
are spherical Bessel functions of the first and second kinds, respectively):
Three of these components are seen to contain delta functions, corresponding to the self-field of the dipole [
6]. The following relationships hold between the components:
Contours of constant magnitude, in the first quadrant, of the integrals giving the total outgoing electric field are shown in
Figure 1. The contours were plotted using Mathematica
TM Version 7.01, Wolfram Research Inc., Champaign, IL, USA.
is the total field of a simple source, and so is spherically symmetric. The other integrals correspond to different differentials of the simple source field. All the integrals exhibit singularities at the origin.
The significance of the auxiliary functions for the electric dipole is that the Green tensor can then be written in terms of them, as
This matrix is symmetric, with trace
.
The Green’s (pseudo)vector is [
7]
The evanescent field is completely contained within the real parts of the auxiliary functions [
6,
10]. But the real parts also contain a component that is not evanescent, which contributes to the traveling field. On the other hand, the imaginary parts of the auxiliary functions for outgoing dipoles, corresponding to standing waves, are
For a dipole sink,
is replaced by
, and the imaginary parts of the auxiliary functions are identical to those of a dipole source in Equation (
21).
A full spherical traveling field, in which the wave converges and then diverges from the focus, is given by twice the imaginary part of the source field, the real part canceling, and hence in the equations for the spherical traveling wave, the delta functions in Equation (
17) disappear and
is replaced by
, giving the same as Equations (
15) and (
16), and twice the values in Equation (
21).
6. Evanescent Component
Setälä et al. presented the traveling and evanescent components of the electromagnetic Green tensor in terms of single integrals [
8]. Analytical expressions in terms of Lommel functions for the evanescent components of the field for a scalar source and for a scalar dipole source, were presented by Bertilone [
4]. Arnoldus and Foley extended this treatment to give, in terms of Lommel functions, the evanescent component of the electric field of an electric dipole, i.e., the evanescent component of the dyadic Green function [
6]. In a later paper, Arnoldus considered the magnetic field of an electric dipole, analogous in form to the electric field of a magnetic dipole, and gave solutions as sums of Bessel functions, but not, in this case, in terms of Lommel functions [
7]. Here, we give expressions for all the components in terms of Lommel functions. In particular, we present expressions for
and
, and also
and
are written in a more symmetrical way. (The paper for Arnoldus and Foley seems to have an incorrect sign for
as part of
in Equation 71 of Reference [
6]). The arguments of the Bessel and Lommel functions are
v and
, respectively, but they have been suppressed for those other than
for compactness. Then,
where
are Lommel functions of two variables [
11]. Some publications omit the Lommel function for the order 0, but it can be determined from the recurrence relationship
, so
[
17]. The factors
in Equation (
22) are introduced by the spherical Bessel function of the second kind,
.
The integrals in the auxiliary functions can be evaluated using a standard integral given in Reference [
39], p.188, no. 2.12.10.3. Arnoldus points out that this contains an error, such that
should be
[
6]. Arnoldus explains that if
and
(integrals of
, respectively) are known, then
and
can be calculated from them [
7]. Setälä et al., on the other hand, express the components in terms of
and
, which are all integrals of
[
8]. Various differential relationships also exist between the functions.
For our form of the evanescent auxiliary functions, giving the evanescent parts of a dipole sink for
and a dipole source for
, respectively, the arguments of the Bessel and Lommel functions are taken as
v and
, respectively. Then,
where
and
are odd functions of
u.
and
are real and even functions of
u;
,
,
, and
are real and odd functions of
u. The self-field now cancels, as there is no net source. The auxiliary functions are purely real and satisfy the relationships
which are the same as given by Arnoldus, but with
u instead of
[
6,
7]. If we compare these equations with those in Equation (
18), we see that the Bessel functions
in the evanescent parts must cancel with similar functions with opposite signs in the traveling part. These contributions result from a polarized Bessel beam generated by scattering from the edge of the hemispherical aperture [
23].
The expressions for the evanescent parameters can be written in a compact form by introducing the functions
where
follows naturally from the equation for
in Equation (
23).
and
are both odd functions of
u. (The corresponding forms of these functions with
w replaced by
can also be used for the auxiliary functions of Arnoldus).
We then have for our forms of the auxiliary functions,
Written in this way, it is easy to see that they satisfy the relationships in Equation (
24). For positive
u, both forms of the auxiliary functions are identical and real, and contours of constant value are shown in
Figure 2.
In the plane of the dipole,
,
,
,
,
, and we obtain
in agreement with References [
6,
7,
8].
9. Mixed Dipole Case
The integrals
for the mixed dipole (MxD) case can then be obtained from
. In
Figure 4,
Figure 5 and
Figure 6, we show contours of constant magnitude of
and
, in parts (b) and (c), respectively. For
Figure 6,
and
. At the origin,
.
In the plane of the dipole,
, we have
agreeing with Arnoldus [
7]. Then,
agreeing with results published previously for the focal plane with hemispherical focusing [
1,
33]. Note, however, that in the present paper, we have taken the traveling field at the focus to be purely imaginary so that the evanescent component is purely real, in accordance with the treatments of Richards and Wolf, and with Arnoldus [
7,
20].
The fields of transverse electric or magnetic dipoles are not cylindrically symmetric about the axis, but cylindrically symmetric forms, corresponding to rotating dipoles or focused circular polarized light, can be formed. For simplicity, we define electric energy density
as the squared magnitude of the electric field. Contours of constant electric energy density in an azimuthal plane for rotating ED, rotating MgD, and rotating MxD polarizations, of the total, and evanescent and traveling components, are shown in
Figure 7,
Figure 8, and
Figure 9, respectively. The MxD case in
Figure 9c corresponds to hemispherical focusing of a circularly polarized mixed dipole wave.
The electric energy densities at the origin for the traveling components are 16/9 for electric dipole polarization, 1 for magnetic dipole polarization, and 49/9 for mixed dipole polarization. The FWHM (full width at half maximum) in the focal plane is
and
, for ED, MgD, and MxD, respectively [
1].
10. The Field in the Focal Region for a Lens of Lower Numerical Aperture
While the analytical results described here are calculated for a hemispherical focusing system, they give approximate results for practical systems such as lenses of high numerical aperture but for less than a hemisphere, like a dry objective of 0.95 NA or an oil immersion lens of 1.4 NA [
1]. For the dipole cases considered, the field is still appreciable at the edge of the hemispherical aperture (except for the
,
, and
N components), which, therefore, by the principle of stationary phase, can contribute appreciably to the focused field.
For close to hemispherical focusing, a better approximation to the focused field can be obtained by subtracting from the unnormalized hemispherical field for an annular aperture [
1]. For a narrow annulus, the field can be approximated [
41,
42]. In the limit, the field of the annulus is given by a vectorial Bessel beam, for which
,
,
, and
. Refs. [
1,
23,
43,
44,
45]. These correspond to
,
,
, and
.
Contours of constant magnitude of the auxiliary functions for an annulus of outer NA of 1 and inner NA of 0.95 are shown in
Figure 10. The plots are stretched out in the
u direction, characteristic of an approximation to a Bessel beam. The values of
,
, and, especially,
are weak. The value of
at the focus is 0.312, compared with unity for
, and
, compared with
.
For 0.99 NA, the value of at the focus is 0.141 and . In this case, the Bessel beam approximation is good for . The approximation as a Bessel beam is the same as a right Riemann sum (rectangle rule), with just a single interval. For somewhat lower NAs, the effect of the annulus can be better approximated by interference between two vectorial Bessel beams, scattered from the outer and inner edges of the annular region, and equivalent to numerical integration using the trapezoidal rule with a single interval.