Upload
ving666789
View
220
Download
0
Embed Size (px)
Citation preview
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
1/10
INSTITUTE OF PHYSICS PUBLISHING JOURNAL OF OPTICS A: PURE AND APPLIED OPTICS
J. Opt. A: Pure Appl. Opt. 6 (2004) 259268 PII: S1464-4258(04)68948-3
Optical vortices evolving from helicoidal
integer and fractional phase stepsM V Berry
H H Wills Physics Laboratory, Tyndall Avenue, Bristol BS8 1TL, UK
Received 10 September 2003, accepted for publication 8 January 2004Published 26 January 2004Online at stacks.iop.org/JOptA/6/259 (DOI: 10.1088/1464-4258/6/2/018)
AbstractThe evolution of a wave starting at z
=0 as exp(i) (0 < 2 ),
i.e. with unit amplitude and a phase step 2 on the positive x axis, isstudied exactly and paraxially. For integer steps ( = n), the singularity atthe origin r = 0 becomes for z > 0 a strength n optical vortex, whoseneighbourhood is described in detail. Far from the axis, the wave is the sumof exp{i( + kz)} and a diffracted wave from r = 0. The paraxial wave andthe wave far from the vortex are incorporated into a uniform approximationthat describes the wave with high accuracy, even well into the evanescentzone. For fractional , no fractional-strength vortices can propagate;instead, the interference between an additional diffracted wave, from thephase step discontinuity, with exp{i( + kz )} and the wave scattered fromr = 0, generates a pattern of strength-1 vortex lines, whose total (signed)strength S is the nearest integer to . For small | n|, these lines areclose to the z axis. As passes n + 1/2, S jumps by unity, so a vortex is
born. The mechanism involves an infinite chain of alternating-strengthvortices close to the positive x axis for = n + 1/2, which annihilate inpairs differently when > n + 1/2 and when < n + 1/2. There is a partialanalogy between and the quantum flux in the AharonovBohm effect.
Keywords: vortices, singularities, asymptotics, phase
1. Introduction
Spiral phase plates, that is, refracting or reflecting surfaces
shaped into one turn of a helicoid, with the pitch of the helicoid
chosen to generate a prescribed phase step, are commondevices for creating screw-dislocated waves [1, 2]. The first
example known to me was made in the late 1970s from
cardboard, and used to make a dislocation in ultrasound [17].
It is clearly desirable to have a good description of the optical
vortices (dislocations, or lines of phase singularity) in thewave
beyond a spiral phase plate. Here I explore in detail a model
that is realistic enough to capture the essential singularity
structure, yet simple enough to be analytically tractable.
The model is the propagation into the space z > 0 of a
wavethat startsfromtheplanez = 0 with a phase singularityofstrength 2 , and unit amplitude. With coordinates (figure 1)
r = {x, y,z}, R = {x, y} = R{cos , sin }, = R/z = { , }
(1)
(where , and are defined for later use), the initial wave is
(R, 0) = exp(i) (0 < 2 ). (2)
Thus, the phase increases by 2 in a circuit of the origin,
with a step discontinuity of phase along the positive x axis = 0. The distinction between integer and fractional willbe important.
A real phase plate where the phase step is associated
with a height step will exhibit some diffraction phenomena
not captured by this model. For example, there will be
multiple scattering of waves diffracted by the edges of the
step. This is a hard problem, even for an infinite step; but
preliminary computations, carried out for an infinite mirror
step as an analogue of the AharonovBohm effect ([3]see
also section 4), suggest that the main features are captured
by modelling the height step with a phase step, provided
is not too large. Moreover, spiral phase plates are commonly
illuminated not by plane waves but by beams (e.g. Gaussian)of finite width [4, 5]; such beams are easy to simulate
numerically [2], and can easily be incorporated into the
1464-4258/04/020259+10$30.00 2004 IOP Publishing Ltd Printed in the UK 259
http://stacks.iop.org/JOptA/6/259http://stacks.iop.org/JOptA/6/2598/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
2/10
M V Berry
x, =x/z
y, =y/z
zR, =R/z
r
phasestep2
Figure 1. Notation and coordinates for a helicoidal phase step.
analytical theory, as described briefly below. The effects
of finite width will be studied in detail elsewhere, since themodel (2) already contains a rich structure of optical vortices,
worth exploring for its own sake.
Section 2 is devoted to the case where is an integer
n. The wave (2) does not vanish at R = 0, where the phasesingularity creates a point discontinuity that must be smoothed
away during propagation to z > 0. In fact there is a screwdislocation along the z axis R = 0, at which vanishes likeC(z)Rn .
Section 3 deals with the case where is not an integer.
Then the initial wave (2) contains not only a fractional-
order singularity at R = 0 but also a step discontinuityalong the positive x axis, which must also be healed by
propagation to z > 0. Of course, vortices with fractionalstrength cannot propagate in free space [4]; instead, the
step at z = 0 breaks up into a collection of strength 1vortices [5], in an intricate arrangement, described in detail,
with interesting interactions as increases through half-integer values. Section 4 describes a curious analogy between
diffraction from helicoidal phase steps and the Aharonov
Bohm effect [6] of quantum mechanics.Since there is no scale other than the wavelength of the
propagating wave, we will measure all distances in units of
/2 ; this is equivalent to choosing the wavenumber k= 1.
2. Integer phase steps
2.1. Exact and paraxial waves for integer
The wave for z 0 can be written as a superposition ofplane waves with transverse wavevectors K = {Kx , Ky} =K{cos K, sin K}. Thus, for = n,
n(r) =
K plane
dK an(K) expi
R K + z
1 K2.(3)
The waves with K > 1 are evanescent, and, as has been
emphasized recently [7], they must be included because theirexistence is an inevitable consequence of the singularity in (2).
Fourier transformation of (2) for = n gives the plane-waveamplitudes an (K):
an (K) =1
4 2
R plane
dR exp{i(K R + n)}
= |n|(i)|n|
2 K2exp(inK). (4)
The propagating wave is thus
n
(r)=
exp(in)|n|
0
dK
KJ
|n|(K R) expiz1 K2,
(5)
where J|n| denotes the Bessel function of the first kind.In the paraxial approximation, where
(1 K2) is
replaced by 1 K2/2, the wave, now denoted (in contrastto the exact wave ) becomes
n(r) = exp{i(n + z)}|n|
0
dK
KJ|n|(K R) exp
1
2iz K2
= exp{i(n + z)}Pn
Rz
. (6)
By manipulating standard Bessel integrals, Pn (not to be
confused with the Legendre polynomial) can be evaluated
analytically, with the result
Pn() =
8(i)|n|/2 exp
1
4i2
J1
2(|n|1)
14
2 iJ1
2(|n|+1)
14
2
. (7)
Because of the scaling in (6), the pattern ofn as a function of
R is the same for all z, up to dilation. (It is worth noting that
for even n the formula (7) involves Bessel functions of half-
integer order, which can be expressed as finite trigonometric
sums.)
If the phase step is illuminated by a Gaussian beam of
width w (that is, with initial wave profile exp(R2/2w2))instead of a plane wave, it is easy to show that the only effect
on the paraxial wave is to replace 2 in the square bracketsin (7) by 2/(1 + iz/w2) and multiply Pn by 1/
(1 + iz/w2).
The consequences of this (more serious for fractional than
integer ) will be explored elsewhere.
Figure 2 shows the exact amplitude |1| and the paraxialamplitude |1| for the simplest vortex wave, as functions ofR for several fixed values of z. The paraxial approximation
works well near the vortex, but gives an accurate description
of the oscillations far from the vortex only when z 1 andR/z 1, as expected.
Figure 3 shows the wavefronts arg n = constant, forthe paraxial wave n = 3. They spiral out from the phasesingularity at the vortex, and then issue radially asymptotically
straight out to infinity like the initial wavefronts (2), withan oscillatory decoration. The exact wavefronts arg n are
similar, except that the asymptotic oscillations are slightly
different, as we will see later.
2.2. Near the z axis
The singularity of (2) at R = 0 is immediately healed bypropagation to z > 0. To study this in detail, we can
approximate the wave near R = 0. From (5),n(R 0,z)
= exp(in) |n|R|n|
2|n|(|n
|+ 1)
0
dK K|n|1 expiz1 K2
= exp(in) iR
|n|
212
(3|n|+1)( 12
(|n| + 1))z 12 (|n|1)H
(1)12
(|n|+1)(z), (8)
260
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
3/10
Optical vortices evolving from helicoidal integer and fractional phase steps
0 2 4 6 8 10
0 2 4 6 8 10
0 2 4 6 8 10
0 2 4 6 8 10
a
b
c
d
|
1|
|1|
|1|
|1|
0
0.20.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
Figure 2. The wave modulus for = 1 as a function of the paraxialvariable R/
z, for (a) z = 1; (b) z = 5; (c) z = 50; (d) z = 200.
Thick curve, exact wave |1| (5); thin curve, paraxial wave |1| (7);dashed curve, geometrical approximation (11).
where H(1) denotes the Bessel function of the third kind. This
shows that n vanishes as Rn on the z axis, with a coefficient
that diverges as zn
as z 0.The paraxial wave (7) also vanishes at R = 0, as
Pn( 0) =
i8
12|n|
|n|
( 12
(|n| + 1)) . (9)
The asymptotic form of H(1) in (8) shows that the exact and
paraxial coefficients ofRn become equal for large z. However,
theparaxialdivergenceasz 0 is weakerdiverging aszn/2rather thanznan unsurprising difference in this nonparaxialevanescent zone.
It is worth digressing briefly to follow [7] and investigate
a third form of the wave near the z axis, namely that whichwould propagate from the initial wave (2) with its evanescent
components K < 1 deleted. This is
-10 -5 0 5 10
-10
-5
0
5
10
Figure 3. Paraxial wavefronts arg = constant (from (7)) at phaseintervals of/4, for = 3.
0 1 2 3 4 50
1
2
3
4
5
z
slope
Figure 4. The slope ||/R at R = 0, for = 1. Thick curve,exact wave (8); thin curve, paraxial wave (9); dashed curve,nonevanescentcontribution (10).
n,nonevanescent(R 0,z)
= exp(in) R|n|
2|n|(|n| + 1)
10
dK K|n|1 expiz
1 K2= exp(in) iR
|n|
212
(3|n|+1)( 12
(|n| + 1))z 12 (|n|1)
J
(1)12
(|n|+1)(z) + i
H 12
(|n|+1)(z)
z12
(|n|1)
212
(|n|1)( 12|n| + 1)
, (10)
where H denotes the Struve function.Figure 4 shows the coefficients (factors multiplying Rn)
of all three waves for the simplest singularity n = 1. Allcurves agree for large z, and the paraxial approximation works
surprisingly well, even into the evanescent zone z 1,corresponding to a distance /2 from the initial singularity.
Of course, the nonevanescent wave fails to describe the
approach to the singularity for small z.
2.3. Geometrical approximation away from the z axis
For z 1 and also away from the axis, that is for R 1, thewave (5) can be approximated, in the spirit of the geometrical
theory of diffraction [8], as the sum of two contributions: fromthe neighbourhoods of K = 0 and from the stationary point(after approximating Jn) at K = R/
(z2 + R2). For the first
261
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
4/10
M V Berry
contribution, we use
0dK Jn(K R)/K = 1/n, and for the
second we use the method of stationary phase. The result is
n,geom(r) = exp(in)
exp(iz) i|n|zR2
(i)n exp(ir)
.
(11)Thefirst term dominates. It represents the initial wave (2),
propagated geometrically, including its singularity, with the
factor exp(iz). Together with (9), it explains the /4 rotation
of the wavefronts (figure 3) between R = 0 and .The second term in (11) can be regarded as a wave
diffracted from the initial singularity at r = 0; the unfamiliarobliquity factor z/R2 diverges not only at r= 0 but also on thevortex R = 0. The interference between the two contributionsgives rise to the oscillations evident in 1 in figure 2, which
also shows that (11), unlike the paraxial approximation, does
reproduce the oscillations accurately.
2.4. Uniform approximation for1
The anticipated failure of paraxiality for large R can be
understood in detail by asymptotically approximating the
Bessel functions in (7). The geometrically propagated wave
comes from the lowest-order large-argument approximations,
and the wave diffracted by the singularity comes from the first
correction term. This gives
Pn( 1) = 1 i|n|2
(i)|n| exp
1
2i2
, (12)
which can also be obtained from (11) by the paraxial
replacement r
z + R2/2z. The interference between the
two terms gives rise to the asymptotic ripples visible in themodulus in figure 2 and the wavefronts in figure 3.
Although paraxiality fails for large R, this approximation
is accurate near the vortex, and it does predict oscillations with
the correct qualitative character. These observations can be
exploited to obtain an approximation uniformly valid for large
rbothnearand far fromthe vortex, by appropriately deforming
the paraxial wave. The techniques for accomplishing this
deformation are well established mathematically [9, 10], and
have been widely applied to describe waves near and far from
geometrical caustics [11, 12]. The present application has
some resemblance to glory scattering [13], because of the
circular symmetry, but has the unfamiliar feature that the
failure of the geometrical approximation (11) occurs whenthe scattered contribution diverges not on a caustic but on the
vortex.
The derivation of the uniform approximation for n = 1 isoutlined in appendix A. The result is
1,uniform(r) = exp
i
+ z + B 1
4
Rz
2
4
[p0J0(B) ip1J1(B) p2J2(B)], (13)where
B = 12
(rz), p0 =
B(3R2 + 4z B)
2R3z,
p1 =2
B
Rz, p2 = p1 p0.
(14)
0 2 4 6 8 10
0 2 4 6 8 10
0 2 4 6 8 10
|1|
|1|
|1|
a
b
c
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.20.4
0.6
0.8
1
Figure 5. The modulus |1| as a function of the paraxial variableR/
z, for (a) z = 0.5; (b) z = 1; (c) z = 2. Thick curve, exact
wave (5); thin curve, uniform approximation(13).
As figure 5 shows, this amalgamation of the paraxial and
geometrical approximations is extraordinarily accurate, evenfor z = 1/2, corresponding to a distance /4 = 0.08 fromthe initial plane.
3. Fractional phase steps
3.1. Exact and paraxial waves for fractional
When is notan integer, the initial wave (2)possessesnotonly
the singularity at r= 0 but also a step discontinuity along thepositive x axis = 0. But the propagating wave (r) mustbe smooth for z > 0, and is expressible as a superposition
of the waves (5) for integer . The resulting wave cannot
contain fractional-strength vortices, but rather an arrangement
of integer-strength vortices which we seek to determine.
The superposition is determined by the Fourier series
exp(i ) = exp(i ) sin()
exp(in)
n . (15)
Thus
(r) =exp(i ) sin()
n(r)
n . (16)
The corresponding paraxial wave is
(r) =exp{i(z + )} sin()
exp(in) Pn ()
n , (17)
262
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
5/10
Optical vortices evolving from helicoidal integer and fractional phase steps
-10 -5 0 5 10-10
-5
0
5
10
Figure 6. A density plot of the paraxial wave |=2.2| in the , plane, calculated from (17).
where Pn() is given by (7). From now on, we will work
only with this paraxial wave, which contains all the essential
geometric features.
An immediate consequence of (17) is that for fractional
there is no vortex on the z axis, where the only nonzero
contribution to the sum comes from P0 = 1, so that
(R = 0,z) =exp{i(z + )} sin()
. (18)
Figure 6 shows a density plot of the modulus | |, for = 2.2. This shows: low intensity near the z axis (eventhough there is no vortex on the axis itself); a dark stripenear the positive x axis; circular fringes surrounding R = 0,corresponding to diffraction by the singularity at the origin;
and fringes parallel to the positive x axis, corresponding to
waves diffracted by the step.
Theseinterference effects can be understood in detail with
the aid of the followinguniform asymptoticformula, derived in
appendix B, that is valid for 0 for all values of includingthe positive axis = 0:(r)
0exp{i(z + ( + ))}
cos i sin erf 12
1 i+
2
exp{i( 12
2 14
)} sin
(1 exp(i))
i2
exp
i
1
2(2 + )
. (19)
This formula (in which erf denotes the error function) will
be used extensively in the following. It is very accurate.
Visually, its reproduction of the right-hand side of figure 6
is indistinguishable from the original. Further illustrations are
given in figure 7.
Physically, the terms in the first three lines of the
formula (19) describe the spirally phased plane wave together
with diffraction from the phase step along the positive axis.These two effects merge near the axis (small ||), as describedby erf, but separate for large | |, as can be seen from the first
00
2 4 6 8 10
0.2
0.4
0.6
0.8
||
||
||
c
a
b
00.5
1
0 2 4 6 8 100
0.5
1
/2/2
Figure 7. The accuracy of the uniform approximation (19). Themodulus | (r)| of the paraxial wave for > 0: (a) radial plot, = 1.25, = /3; (b) angular plot, = 1.25, = 5; (c) along the axis, = 3/2, = 0. Thick curves, paraxial wave (17); thincurves, asymptotic approximation (19) (also (28) for figure (c)).
line of the following formula obtained from (19) using the
asymptotics of erf:
(r) ,||0
exp{iz}
exp(i )
2
exp{i( 12
2 14
)} sin
i2
exp
i
1
22 +
+
3
2
. (20)
The term in the fourth line of (19), or in the third line of (20),
describe waves diffracted from the singular point r=
0 of the
initial wave.
For integer , there is no singularity at the edge and so
there are no edge-diffracted waves, and (19) reproduces (12).
3.2. Total singularity strength
Although has no vortex on the z axis, it does possess an
interestingsingularity structure. The totalvortexstrengthis the
signed sum of all the vortices threading a large loop including
the z axis, namely
S = limR
1
2 2
0
d
arg (r)
= lim
Re
2
20
d
nn Pn() exp(in)
1n Pn() exp(in)
. (21)
263
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
6/10
M V Berry
-2 -1 0 1 2-3
-2-1
0
1
2
3S
a
0 0.2 0.4 0.6 0.8 10
0.5
1
1.5
2
arg/2
/2
b
Figure 8. (a) The total vortex strength S (topological charge) of theparaxial wave as a function of, computed from (19) for = 3,showing jumps at half-integer values. (b) Thick curve, thedevelopment of integer phase change around a circuit = 8enclosing all vortices, for = 2.3; thin line, the approximation (equation (21)), that would give a noninteger phase change.
The integral can be evaluated numerically (figure 8(a)),
immediately suggesting that
S = nearest integer to = int
+ 12
. (22)
This relation was anticipated on the basis of an analogy with
the AharonovBohm effect, as will be explained in section 4.
As justification, we first note that (cf (12)) Pn 1 for largeR, so the trigonometric sum in (21) can be evaluated, provided
= 0, with the result
(r) R
exp(i(z + )) ( = 0), (23)
which also follows from (19) or (20).
Taken by itself, (23) would imply a fractional vortex
strength , which is impossible. But (23) does not apply along
the positive x axis, where, as follows from (19), the leading-
order behaviour is
(R 1, = 0,z) = exp{i(z + )} cos(). (24)
This implies that on the positive x axis arg is , up
to a multiple of 2 , and the simplest phase assignment
that accommodates this with (23) (that is, with the smallest
excursion of arg round a closed loop) is
= m + || < 12
,
arg (R 1, = 0+) = ,arg (R 1, = 2) = 2 ,
i.e. arg = 2( ) = 2m.
(25)
Of course the foregoing is a suggestive argument
rather than a proof. Nevertheless, numerical explorations(e.g. figure 8(b)) confirm that the change in arg round a
large loop does conform to (25).
3.3. Vortices near the z axis
There are S vortices, but where are they? For close to an
integer m, that is = m + , where || 1, it is naturalto expect that they lie near the z axis. In (17), the principal
contributions for small come from the terms n=
m and 0,
that is
m+(r) exp(iz)
0
m+ exp
im
1
4
( 12
(m + 1))
2
8
1/m.
(26)
This vanishes at the points
=
8
( 1
2(1 + m))
m
1/m, =
2j + 1
m+
1
4
(j = 1, 2 . . . m), (27)
confirming that there are m (
=nearest integer to ) vortices
near the z axis, at the vertices of a regular m-gon; it is easy tosee from (26) that they all have the same sign.
3.4. Vortices near the positive x axis for a half-integer step
The nearest integer to increases by unity when passes a
half-integer, so an extra vortex must be born. To uncover the
mechanism of the birth, it is necessary to study the half-integer
phase step in more detail, close to the positive axis where the
additional vortices are suspected to be. From (19), it follows
that
m+ 12( 1, || 1,z) = i exp
i
z +
1
4
(m + 1
2)
2
+
(i)m+1
exp
1
2i 2
+
2
exp
i
z 1
4
. (28)
On the axis ( = 0), the interference between the two termsgives a steady decay, modulated by oscillations, as illustrated
in figure 7(c).
Theoscillationshint at theexistence of zeros near theaxis,
and indeed (28) predicts an infinite chain of zeros of m+1/2close to the positive axis, whose positions are
n= 2n + 12 (m + 1) (n = 0, 1, . . . )
n =(m + 1
2)
n
1 +
2
(1)nn
.
(29)
Figure 9 shows how accurately these zeros are located by this
asymptotic formula, even for small .
The strength sn of the nth zero in the chain is the sign of
Im(x m+1/2ym+1/2), and can be calculated from (28); the
result is sn = (1)n . Thus for = m + 1/2 the vortices in thechain alternate in sign. The chains can be seen in figures 10(b)
and 11(b). For the zero closest to the z axis in this chain,
s0 = +1; this is the zero that is implicated in the transitionbetween S = m and m + 1 as passes through m + 1/2, aswill be explained in the next section.
An infinite chain of alternating-sign vortices for = 1/2,persisting into the far field, is also described in [4] for the case
264
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
7/10
Optical vortices evolving from helicoidal integer and fractional phase steps
5 10 15 20
0.2
0.4
0.6
0.8
0 5 10 15 202
4
6
8
10
12
n
n
n
n
a
b
Figure 9. Positions of zeros close to the positive x axis. (a) n;(b) n . The points are computationsfrom the paraxial wave (17), andthe curve connects points calculated from the approximation (29).
-2 0 2 4 6 8
-2 0 2 4 6 8
-2 0 2 4 6 8
-4
-2
0
2
4
-4
-2
0
2
4
-4
-2
0
2
4
a
c
b
Figure 10. The change of vortex topology from S = 3 to 4 near = 7/2, for (a) = 3.46; (b) = 3.5; (c) = 3.54.
of illumination by a beam of finite width, and it is pointed out
that most of these lie in regions where the beam is very faint
(i.e. large ) and so are hard to observe. This is correct, but thevortex chain for a finite beam is different from that generated
by plane-wave illumination, in ways I will describe elsewhere.
4 5 6 7 8
4 5 6 7 8
4 5 6 7 8
a
b
c
0.5
1
0.5
1
0.5
1
Figure 11. As figure 10, showing magnifications of the shaded areain figure 10(b). For a = 7/2 + , the patterns of annihilation ofvortices near the positive axis are different for negative (a) andpositive (c).
3.5. The change in vortex topology as passes through a
half-integer
Near a half-integer step, that is = m + 1/2 + , with || 1,the wave acquires an additional term that can be obtained
from (23):
m+ 12
+ ( 1, 1,z)= m+ 1
2( 1, 1,z) i exp(iz) (|| 1).
(30)
The condition for the coordinates of the zeros in (29) is now
modified, and Im[ exp(i/4)] = 0 gives
2
= (m + 12 ) 2
cos
1
2( 2 m )
. (31)
This can be satisfied only if
2 0,the cosine is positive between the zeros 2k1 (s = 1) and2k (s = +1), so the zeros annihilate in pairs whose smaller-member has s = 1; therefore the annihilations as increasesleave the s = +1 vortex n = 0 remaining, so S = m + 1.
265
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
8/10
M V Berry
4. Analogy with the AharonovBohm effect
Some of the results of this work were anticipated on the basisof a partial analogy with the AharonovBohm (AB) effect inquantum mechanics [6]. The geometry is slightly different in
the two cases. Instead of a phase step originating at a singularpoint in three dimensions, AB is diffraction from a singularline of magnetic flux, which in quantum units has the value .Particles transported round the flux line acquire a phase 2 ,which can be observed as a fringe shift in the far field of aplane wave scattered by the flux.
The analogy is between the essentially two-dimensional
ABwave(diffractionin a planepierced bytheflux line),andthewaves diffracted by a phase step, considered in planes withconstant z > 0, with corresponding to the height of thephase step at z = 0. Instead of the physical singularity at theflux line R = 0, we have phase singularities at the vortices. InAB, the emphasis is generally in the far field, that is, infinitelyfar from the flux line, but the flux line itself is a vortex [14],
whose strength is the nearest integer to . This observationwas the basis on which the same rule was conjectured for thetotal singularity strength in the diffraction problem consideredhere.
In AB, as here, the singularity strength increases by unityas passes through m + 1/2. The mechanism in AB is thatwhen = m + 1/2 a nodal line issues from the flux line andreaches to infinity. As passes m + 1/2, each wavefront, thatis, each line arg = constant(mod 2 ), reconnects with itsneighbour, a process that has been observed [14] in a water-wave analogue of AB, in which surface ripples are diffractedby a bathtub vortex. AB is a degenerate version of the problem
considered here, inthe sense that thenodalline for
=m+1/2
replaces the infinite chainof vortices, andforgeneral the totalAB vortex strength is concentrated at R = 0.
A variant of the analogy is the representation of AB usingShelankovs gauge [3,15], where themagnetic vector potential
is confined to an infinitely thin half-plane whose edge is theflux line and across which the phase changes by ; in planespierced by the flux line, thiscorresponds to a line across which
the phase has a step discontinuity.
Acknowledgments
I thank Professor J F Nye for many helpful comments, andProfessor S Roux for a stimulating correspondence. My
research is supported by the Royal Society.
Appendix A. The derivation of the uniformapproximation (13) for1
Starting with (5) for n = 1, we eliminate the 1/K singularitybyusingthe recurrence relationfor J1 , replace thetwo resultingBessel functions by their trigonometric integral representation
and then evaluate the K integral by stationary phase. Thisgives
1(r) = exp(i)R
4
dK[J0(K R) + J2(K R)]
expiz1 K
2 exp
i
1
4
Rz
24
I, (A.1)
where
I = 1
0
d(1 + exp(2i ))
(z2 + R2 sin2 )3/4exp
i
z2 + R2 sin2
.
(A.2)
Following the standard procedure for obtaining uniform
approximations, wechange from to a new variable , chosenso that the exponent is simple but has the same topology of
stationary points as in (A.2). The appropriate mapping isz2 + R2 sin2 = A B cos2 . (A.3)
The constants A and B are fixed by applying this equality at
the two stationary points = = 0 (or equivalently ) and = = /2, giving
A = 12
(r+ z), B = 12
(rz). (A.4)Thus
I =exp(iA)
0d g() exp(iB cos2), (A.5)
where
g() = d ()d
(1 + exp(2i()))(z2 + R2 sin2 ())3/4
. (A.6)
Next, we seek a simple form for g() that respects thesymmetry of the integrand. The correct choice,
g() = p0 + p1 exp(2i) + p2 exp(4i) + sin(2)g1(),(A.7)
is not obvious and will now be explained. The occurrence
of the three terms, involving p0, p1 and p2, rather than the
usual two (one for each stationary point), is unexpected, and
arises from the fact that g() in (A.6) vanishes at = /2,whose leading asymptotic contribution therefore depends on
the curvature g(/2). This corresponds to the scattering termin the geometric approximation (11), which is of lower order
than the plane-wave term representing the initial wave. The
last term in (A.7), involving g1, vanishes at the stationary
points, and neglecting it constitutes the lowest-order uniform
approximation.
Using (A.7) with g1 neglected, the uniform approximation
to (A.5) is
Iuniform = exp(iA)[p0J0(B) ip1J1(b) p2J2(B)]. (A.8)The final step is to calculate the coefficients. This is achieved
using the equality (A.7), evaluated at the two stationary points,and also the curvature of g at the stationary point = /2where g = 0, since the curvature determines the leadingcontribution there:
g(0) = p0 + p1 + p2, g
12
= 0 = p0 p1 + p2,
g
12
= 4p1 16p2.
(A.9)
These equations determine the coefficients, and straightfor-
ward but lengthy calculations lead to the formulae (14), and
thence, using (A.8), to the uniform approximation (13).
It can easily be confirmed that (13) correctly interpolates
between the paraxial formula (7) close to the vortex, and the
geometrical formula (11) far from the axis. The term involvingJ2 is negligible close to the vortex but plays an essential part
in the interpolation, by enabling the matching for large R.
266
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
9/10
Optical vortices evolving from helicoidal integer and fractional phase steps
Appendix B. The derivation of the uniformapproximation (19) for when || < /2
We start with the HuygensFresnel integral representation for
the paraxial wave propagating from (2), namely
(r) =iexp(iz)
2z
R planedR exp
i
1
2z(R R)2 +
= i2
exp
i
z +
1
222
0
d exp{i }
0
d expi
12
2 cos( ). (B.1)(This is exactly equivalent to (17).) It will be convenient to
change the range of the integration as follows:
2
0
d exp(i )
=
0
d exp(i ) + exp(2 i)0
d exp(i ) .
(B.2)
For < /2, the dominant contributions to the integralwill come from the stationary point = and the endpoint = 0, for which cos( ) > 0. We will denote the jointcontributionfromthese twosources by (1) . In addition, there
is the wave (2) scattered from the singularity at = 0; this
will be considered later.
The integral in (B.1) is dominated by the stationarypoint on the positive real axis, giving
(1)(r) 2
exp
i
z +
1
22 1
4
0
d exp(i ) cos( )
exp 12i2 cos2( )
+ exp(2 i)
0
d exp(i ) cos( )
exp 1
2i2 cos2( )
. (B.3)
To determine the large- asymptotics of these angular
integrals, we treat the exponential involving 2 as fast-varying,
and apply the method of uniform approximation for integrals
involving a saddle-point and an endpoint (see for example
the appendix to [16]) to map the exponent onto the simplest
function with the same qualitative behaviour, with a new
integration variable X:
12
2 cos2( ) = 12
2 + X2, i.e. X= sin( ).(B.4)
Thus
=
X
=0 (saddle)
; = 0 X X0 =
12
sin (endpoint).(B.5)
In the integrals,
d exp(i ) cos( )
= dX
dX
d
1exp(i ) cos( )
dX g(X) = dX[A + B X+ X(XX0)g1(X)], (B.6)where
A = g(0) =
2
exp(i),
B = g(0) g(X0)X0
= 22 sin2
(exp(i ) 1).(B.7)
The uniform approximation is obtained by neglecting the
term involving g1, which is chosen to vanish at the stationary
point and the endpoint, and replacing the integration limitsby
, because the exponent is large at these points, that will
later be incorporated into the contribution from the singularityat = 0. Then the use of
X0
dXexp(iX2) = 12
exp( 14i )
1 erfX0 exp 14 i
X0
dX Xexp(iX2) = i2X0
exp(iX20 )
(B.8)
in (B.3), and = sin , leads directly to the first two linesof the formula (19).
Finally, we calculate the contribution (2), associated
with thesingularityat = 0. The integration over in (B.1) isdominated by the origin, so the exponent involving 1
2
2 can beneglected. In the nowelementary integration it is convenientto introduce a convergence factor exp(), to disambiguatethe poles in the resulting integral over , leading to
(2)(r) i
2
20
dexp(i )
[ + i cos( )]2 . (B.9)
For > 0, which we assume for convenience, the pole above
the real axis is the one that contributes; for || < /2 this liesat = + 3/2, leading to
(2)(r) i
2exp
i
z +
1
22 +
+
3
2
,
(B.10)which is the contribution in the fourth line of (19).
For || > /2, theother pole contributes, andthe resultingexpression for (2) is (B.10) with the exponent 3/2 replaced
by /2. For close to /2 there will be some crossoverbehaviour, involving the endpoints of the integral (B.9), that
will not be studied here.
References
[1] Beijersbergen M W, Coerwinkel R P C, Kristensen M andWoerdman J P 1994 Helical-wavefront laser beamsproduced with a spiral phaseplate Opt. Commun. 112 3217
[2] Oemrawsingh S S R, van Houwelingen J A W, Eliel E R,Woerdman J P, Verstegen E J K, Kloosterboer J G andt Hooft G W 2003 Production and characterisationof spiralphase plates for optical wavelengths Appl. Opt. 43 68894
267
8/3/2019 M.V. Berry- Optical vortices evolving from helicoidal integer and fractional phase steps
10/10
M V Berry
[3] Berry M V 1999 AharonovBohmbeam deflection:Shelankovs formula, exact solution, asymptotics and anoptical analogue J. Phys. A: Math. Gen. 32 562741
[4] Vasnetsov M V, Basisty L V and Soskin M 1998 Free-spaceevolution of monochromaticmixed screw-edge wavefrontdislocation Proc. SPIE3487 2933
[5] Basisty L V, Pasko V A, Slyusar V V, Soskin M andVasnetsov M V 2003 Synthesis and analysis of opticalvortices with fractional topological charges J. Opt. A: PureAppl. Opt. at press
[6] Olariu S and Popescu I I 1985 The quantum effects ofelectromagnetic fluxes Rev. Mod. Phys. 57 339436
[7] Roux F S 2003 Optical vortex density limitation Opt.Commun. 223 317
[8] Keller J B 1962 The geometrical theory of diffraction J. Opt.Soc. Am. 52 11630
[9] Chester C, Friedman B and Ursell F 1957 An extension of themethod of steepest descents Proc. Camb. Phil. Soc. 53599611
[10] Bleistein N 1967 Uniform asymptotic expansionsof integralswith many nearby stationary points and algebraicsingularitiesJ. Math. Mech. 17 53359
[11] Kravtsov Y A 1964 Asymptotic solution of Maxwellsequations near caustics Izv. Vuz. Radiofiz. 7 104956
[12] Berry M V 1976 Waves and Thoms theorem Adv. Phys. 25
126[13] Berry M V 1969 Uniform approximations for glory scattering
and diffraction peaks J. Phys. B: At. Mol. Phys. 2 38192[14] Berry M V, Chambers R G, Large M D, Upstill C and
Walmsley J C 1980 Wavefront dislocations in theAharonovBohmeffect and its water-wave analogue Eur. J.Phys. 1 15462
[15] Shelankov A 1998 Magnetic force exerted by theAharonovBohmflux line Europhys. Lett. 43 6238
[16] Berry M V and Tabor M 1976 Closed orbits and the regularbound spectrum Proc. R. Soc. A 349 10123
[17] Walford M, unpublished private communication
268