Discontinuities in the Electromagnetic Fields of Vortex Beams in the ComplexSource/Sink Model

Andrew Vikartofsky, Liang-Wen Pi, and Anthony F. StaraceDepartment of Physics and Astronomy, The University of Nebraska, Lincoln, Nebraska 68588-0299, USA

(Dated: March 7, 2017)

An analytical discontinuity is reported in what was thought to be the discontinuity-free exactnonparaxial vortex beam phasor obtained within the complex source/sink model. This discontinuityappears for all odd values of the orbital angular momentum mode. Such discontinuities in thephasor lead to nonphysical discontinuities in the real electromagnetic field components. We identifythe source of the discontinuities, and provide graphical evidence of the discontinuous real electricfields for the first and third orbital angular momentum modes. A simple means of avoiding thesediscontinuities is presented.

I. INTRODUCTION

The worldwide effort to develop increasingly powerfullasers will allow the exploration of new physical regimesof intense laser interactions with matter as well as thedevelopment of new applications that such intense laserregimes permit [1, 2]. Experimentally, the highest laserintensities are obtained using tight focusing techniques,in which the laser spot size in the focal region is compa-rable to the laser field wavelength. Theoretical simula-tions of laser-matter interactions under such tight focus-ing conditions require a detailed description of the laserfields in the focal region that goes beyond the paraxialapproximation [3–9].

Laser beams that carry orbital angular momentum(OAM) provide another means of investigation into laser-matter interactions [10–12]. Consideration of light withnonzero OAM has been increasing in many fields in-cluding harmonic generation [13–15], particle accelera-tion [16, 17], and quantum information [18, 19]. Multiplenonparaxial analytic representations [20–23] have beendeveloped to model tightly focused beams with nonzeroOAM. One particularly important representation for afree space beam is the Laguerre-Gaussian (LG) basis,which can be used to represent optical vortices of anyangular momentum mode [24].

The complex point-source model [25–27] is one toolthat has been developed to analytically describe focusedbeams carrying OAM. This model is used to find solu-tions to the nonparaxial Helmholtz equation. This modelassumes that the beam source exists at a complex pointwhose real value lies along the beam’s axis, and that thebeam can be represented by an outgoing spherical wave.It was shown by M. Couture and P. A. Belanger [28]that (for an appropriate choice of boundary conditions)the spherical waves represented by this model are equiv-alent to the paraxial representation of a Gaussian (zeroOAM) beam with all perturbative corrections included.The major benefit of this method is that it provides aclosed form analytical representation of the beam’s pha-sor, which is the complex function of the beam’s spa-tiotemporal amplitude and phase that satisfies the scalarHelmholtz equation [12, 24]. This is a distinct advantage

of the complex point-source model as compared to othermethods [20–22], in which the fields are usually definedusing either a series or an integral representation. Thecomplex point-source model, however, still has one ma-jor drawback. Namely, the point-source Gaussian phasorsolution is known to contain singularities in its squaremodulus as well as a discontinuity at the beam waist [29].

The complex source/sink model [29] was developedto avoid the discontinuity and singularities encoun-tered in the complex point-source model. The complexsource/sink model represents the beam as two counter-propagating spherical waves, both centered at the imag-inary location used in the complex point-source model.In this new model, the singularities and discontinuity inthe square modulus of the Gaussian phasor both vanish.

In this paper, we show that the discontinuities stillarise in phasors generated from the complex source/sinkmodel for all odd OAM modes. The discontinuity inthe phasor leads directly to discontinuities in the electro-magnetic (EM) fields. Thus, real fields generated fromthe complex source/sink phasor are nonphysical for oddOAM values.

This paper is organized as follows. In Section II, wediscuss use of the phasor in determining the EM fieldsand highlight the source of their discontinuities. In Sec-tion III, we demonstrate analytically why the disconti-nuity appears in the phasor for odd OAM, and why itdoes not appear for even OAM. It is also shown how thediscontinuity can be avoided. In Section IV, we presentnumerical results illustrating the discontinuities in elec-tric field components that result from the discontinuityin the phasor. In Section V, we summarize our resultsand present our conclusions.

II. THE PHASOR AND FIELD EQUATIONS

Traditionally, solving the full Helmholtz problem in-volves finding six field solutions to the vector Helmholtzequations. Matters are greatly simplified when insteadone needs to find only a single solution to the scalarHelmholtz equation. This one solution is the beam’s pha-sor.

arX

iv:1

703.

0650

7v1

[ph

ysic

s.op

tics]

19

Mar

201

7

2

From a general expression for a phasor, Hertz poten-tials [30, 31] (alternatively “Hertz vectors” or “polariza-tion potentials”) can be used to generate exact expres-sions for the complex EM fields. The Hertz vectors, de-fined in Eq. (1) for a linearly polarized beam propagatingin the ẑ-direction, are represented in general as the com-plex phasor with a direction chosen based on the beampolarization:

Πe = ψ(r, t) x̂ (1a)

Πm = η0 ψ(r, t) ŷ (1b)

Here, ψ(r, t) is the phasor and η0 is the impedance of freespace.

The Hertz potentials are sometimes referred to as “su-per potentials” because they directly generate the usualscalar and vector EM potentials, which in turn generatethe EM fields. Consequently, the complex vector fieldsE and B can be obtained directly from the Hertz poten-tials [30], and therefore from the phasor.

E = ∇×∇×Πe − µ0∂

∂t(∇×Πm) (2a)

H = ∇×∇×Πm + �0∂

∂t(∇×Πe) (2b)

Using the complex source/sink model, April [32, 33]proposed an analytically exact discontinuity-free repre-sentation of the phasor for nonparaxial LG beams of anyradial and OAM mode. April’s methods have since beenadopted in many other works (e.g., [34–41]). As longas one considers only the square modulus of phasor solu-tions derived from the complex source/sink method, suchas April’s phasor, the discontinuity and singularities areabsent as claimed [33, 42]. This does not mean, however,that the phasors themselves are discontinuity free. Aswe show in Section III, consideration of the real and/orimaginary parts of the source/sink phasor, depending onthe choice of initial phase φ0, very clearly reveals a dis-continuity at the beam waist for certain parameters. Thepresence of this axial discontinuity depends on the choicebetween two representations of the complex radius of cur-

vature of the spherical waves, R̃ [33, 43].Most work using April’s phasor (e.g., [34–37, 39, 41])

has so far been done with the lowest order LG mode (the“Gaussian mode,” which has zero OAM) or by consid-ering the phasor only in the paraxial limit. As we willshow, the phasors for these two common cases are notaffected by this discontinuity.

III. DISCONTINUITY IN THE PHASOR

April [33] combined the complex source/sink methodwith use of a Poisson-like frequency spectrum [21, 44],f(ω), to analytically represent the generic phasor Up,n

from which EM fields can be derived using the Hertz po-tentials. For the zero order radial mode (p = 0), April’sphasor for the nonparaxial LG beam with any OAM in-dex n can be expressed as (see Eqs. (16) & (17) of [33])

U0,n(r, ω) =4 cos(nφ)

(2n− 1)!!f(ω)

(ka

2

)1+n/2× exp(−ka)Pnn (χ)jn(kR̃),

(3)

where jn is the spherical Bessel function, a is the confocalparameter of the focused beam, φ is the cylindrical an-gle, and the complex-valued associated Legendre functionPnn (χ) is defined by Eqs. (8.6.6) and (8.6.18) of Ref. [45],

Pnn (χ) =(χ2 − 1

)n/2 dndχn

(1

2nn!

dn(χ2 − 1

)ndχn

), (4)

in which the complex argument, χ, is defined by

χ ≡ (z + ia)/R̃. (5)

There are two choices (cf. Eq. (14) of Ref. [33]) for the

complex spherical radius of curvature, R̃, in Eq. (3):

R̃1 =√ρ2 + (z + ia)2 (6a)

R̃2 =i√−ρ2 − (z + ia)2, (6b)

where ρ, φ, z are the cylindrical coordinates in which ẑ isthe direction of propagation. The Poisson-like frequencyspectrum f(ω) in Eq. (3) is defined as (see Eq. (4) of [21]or Eq. (20) of [33])

f(ω) = 2πeiφ0(s

ω0

)s+1ωs exp(−sω/ω0)

Γ(s+ 1)θ(ω), (7)

where s is the spectral parameter [21, 44] (which is re-lated to the bandwidth of the pulse, which in turn is re-lated to its duration), ω0 is the frequency at which f(ω)has its maximum, φ0 is the phase of the pulse, and θ(ω)is the Heaviside unit step function.

It has been stated [33, 43] that neither choice of R̃ inEq. (6) would cause the phasor to suffer from discontinu-

ities, but we will show that only the choice R̃2 producescontinuous phasor components across the beam waist forall values of OAM.

Note also that the associated Legendre functions de-fined in Eq. (4) contain a branch cut only for odd indexn. The following sections will elucidate the interplay be-

tween this branch cut and the choice of R̃, and showhow this determines whether or not the phasors containdiscontinuities.

3

A. Odd OAM Modes

Inspection of Eqs. (3)-(7) shows that only the last twofactors in the phasor may lead to the existence of a dis-continuity. We thus focus on these two factors and ex-press Eq. (3) as

U0,n(r, ω) = cn(φ, ω)Pnn (χ)jn(kR̃), (8)

where cn(φ, ω) is defined by comparison of Eqs. (3)

and (8). To illustrate how the choice of R̃ determineswhether or not there is a discontinuity in the phasor, weconsider the simplest odd OAM mode, n = 1. We first

use the choice R̃1 to demonstrate a discontinuity at thebeam waist, z = 0.

1. Exact expansion of U0,1 in powers of R̃

Expressing the spherical Bessel function in Eq. (8) interms of sines and cosines [cf. Eqs. (A1)–(A3)] and defin-ing the parameter

ξ ≡ kR̃, (9)

the n = 1 phasor may be expressed as

U0,1 = c1P11 (χ)

(−cos(ξ)

ξ+

sin(ξ)

ξ2

). (10)

Replacing the trigonometric functions by their series ex-pansions, we obtain

U0,1 = c1P11 (χ)

[−1ξ

∞∑m=0

(−1)mξ2m

(2m)!

+1

ξ2

∞∑m=0

(−1)mξ2m+1

(2m+ 1)!

].

(11)

Combining the two summations, we obtain:

U0,1 = c1P11 (χ)

1

ξ

∞∑m=0

κm ξ2m (12a)

κm ≡ (−1)m+12m

(2m+ 1)!(12b)

where, from Eq. (4),

P 11 (χ) =√χ2 − 1. (13)

2. U0,1 with the choice R̃ = R̃1

Making the choice R̃ = R̃1 [defined in Eq. (6a)] inEqs. (5) and (9), U0,1 in Eq. (12a) becomes:

U0,1 =

√−ρ2

ρ2 + (z + ia)2· 1√

ρ2 + (z + ia)2

× c1∞∑m=0

(κmk2m−1)

(ρ2 + (z + ia)2

)m.

(14)

We see that the summation in Eq. (14) involves inte-ger powers of complex numbers, whereas the prefactorsmultiplying the summation include two square roots ofcomplex numbers, whose evaluation requires some care.In general, when dealing with products of square roots ofcomplex numbers, it is best to evaluate each square rootseparately by expressing each complex number in termsof its magnitude and phase before taking its square root.In particular, multiplying the arguments of two squareroots before taking the square root can lead to erroneousresults. (For example,

√−1 ·

√−1 = i · i = −1, but√

−1 · −1 =√

1 = 1.) Thus, we have expressed each ofthe complex arguments of the two square root prefactorsin Eq. (14) in polar notation before taking the squareroots. The result is:

U0,1 = c1 exp

(i

2(φ1 − φ2)

) ∞∑m=0

λm exp(imφ2) (15a)

φ1 = arctan

(2az

−ρ2 + a2 − z2

)(15b)

φ2 = arctan

(2az

ρ2 − a2 + z2

)(15c)

λm ≡ (κmk2m−1)ρ

×[(ρ2 + z2 + a2)2 − (2aρ)2

](m−1)/2. (15d)

Here, the real numbers λm are m-dependent magnitudes,defined in Eq. (15d), and φ1 and φ2 are the phases ofthe complex numbers inside the first and second squareroot prefactors in Eq. (14) (which originate from P 11 (χ)

and R̃1 respectively). The arctan function is defined over−π < φ ≤ π; thus, arctan has a branch cut along the neg-ative real axis. At the beam waist z =0, the imaginaryparts of the complex numbers whose phases are givenby φ1 and φ2 are zero; thus, the branch cut along thenegative real axis of each arctan function in Eqs. (15b)and (15c) is determined by the region over which the de-nominators in each of their arguments is negative. Atz = 0 the denominator of φ1 is negative for ρ > a, whilethat for φ2 is negative for ρ < a.

The φ1 and φ2 phase factors multiplying the sum inEq. (15a) always have a phase difference of π across thebranch cut due to their overall factor of 1/2 in the expo-nential. The key point is that φ1 and φ2 have branch cutsover different regions of the parameter ρ/a. Specifically,U0,1 is discontinuous for ρ > a at z = 0 owing to the

4

change in sign of φ1/2 across the branch cut, while forρ < a it is discontinuous owing to the change in sign ofφ2/2 across the branch cut. Consequently, U0,1 is discon-tinuous across the beam waist at z = 0 for all values ofρ/a owing to the discontinuity in the product of phases,exp

(i2 (φ1 − φ2)

). These ranges of the ratio ρ/a over

which the discontinuities in the phases φ1/2, −φ2/2, and(φ1 − φ2) /2 occur are illustrated in the three panels ofFig. 1.

Note that for each term in the sum in Eq. (15a), thereis a phase factor involving an integer multiple of φ2. How-ever, each of these terms is continuous across the branchcut since each branch contains an integer number m offull periods, resulting in a 2π phase difference across thebranch cut. Thus, the terms in the sum do not contributeto any discontinuity.

3. U0,1 with the choice R̃ = R̃2

Use of the choice R̃ = R̃2 results instead in the phasorU0,1 being continuous, as may be seen using the samearguments as in the previous section. Specifically, we re-

place R̃1 by R̃2[defined in Eq. (6b)] in Eqs. (5) and (9)

and substitute the results in Eq. (12a). Since R̃21 = R̃22,

the terms in the summation are continuous across thebranch cut. We thus focus on the new square root pref-

actors (corresponding to those for R̃ = R̃1 in Eq. (14)):

U0,1 ∝

√−ρ2

ρ2 + (z + ia)2· 1√−ρ2 − (z + ia)2

. (16)

The number inside the first square root factor is the sameas in Eq. (14); consequently, it has the same phase factor,exp(iφ1). The number inside the square root in the de-nominator of the second factor in Eq. (16) has the phasefactor exp(iφ3), where

φ3 = arctan

(−2az

−ρ2 + a2 − z2

). (17)

Thus, the phasor has the same form as in Eq. (15a), butwith a different phase outside the sum, i.e.,

U0,1 = −ic1 exp(i

2(φ1 − φ3)

) ∞∑m=0

λm exp(imφ2) (18)

By considering the branch cut in arctan, one can seethat both φ1 and φ3 are discontinuous in the same re-gion, namely for ρ > a. In both cases, the value changessign as the z = 0 plane is crossed. When these twophase factors are multiplied together as in Eq. (18), eachone has a phase jump of π (cf. Figs. 1(a) and 2(a)),so that their product has a phase jump of 2π, as shownin Fig. 2(b). Hence, the phasor defined by Eq. (18) iscontinuous across the branch cut.

FIG. 1. The phases (a) φ1/2, (b) −φ2/2, and (c) (φ1 − φ2)/2as functions of ρ/a and z/a, where a is the confocal parameterof the focused laser beam. Values of each phase over the rangefrom −π to +π are indicated by the vertical color coding stripto the right of each panel. A phase jump of π occurs forρ/a > 1 in (a), for ρ/a < 1 in (b), and for all values of ρ/a in(c). See text for discussion.

5

(a)

(b)

FIG. 2. The phases (a) −φ3/2 and (b) (φ1 − φ3)/2 as func-tions of ρ/a and z/a, where a is the confocal parameter ofthe focused laser beam and the behavior of the phase φ1/2 isshown in Fig. 1(a). Values of each phase over the range from−π to +π are indicated by the vertical color coding strip tothe right of each panel. For ρ/a > 1 a phase jump of π occursin (a) and a phase jump of 2π occurs in (b). See text fordiscussion.

4. Case of Arbitrary Odd OAM Modes

We may easily see that for any odd OAM index n inEq. (8), the phasor U0,n will exhibit the same behaviorsas just shown for the n = 1 case. First, the associatedLegendre function Pnn (χ) in Eq. (4) always introduces asquare root factor as on the right hand side of Eq. (13)for any odd index n, which in turn results in the firstsquare root factor in Eqs. (14) and (16) regardless of

whether one chooses respectively R̃ = R̃1 or R̃ = R̃2.Second, the spherical Bessel function factor jn in Eq. (8)will always introduce the second square root factor inEqs. (14) and (16), depending respectively upon whether

one chooses R̃ = R̃1 or R̃ = R̃2. One may see this by

examining the expression for the spherical Bessel functiongiven in Eq. (A1). Specifically, for odd n the square

root factor comes from the factor 1/R̃ outside the squarebrackets in Eq. (A1); for odd n the two summations insidethe square brackets in Eq. (A1) involve only even powers

of R̃ and hence do not contribute any square root factors.Thus, the discontinuity in the phasor U0,n for a particular

choice of R̃ has the same behavior for any odd OAM n.

B. Even OAM Modes

For even OAM modes n, the general expression for thephasor in Eq. (3) has the same form as in Eq. (8). Ashas already been noted above, the associated Legendrefunction defined in Eq. (4) does not have a branch cutfor even index n. We thus focus on the spherical Besselfunction jn in Eq. (8), using the expression for jn inEq. (A1). From Eqs. (A2) and (A3) we see that for anyOAM mode n the functions P and Q involve respectively

even and odd powers of R̃. For even n, the sine and cosinefunctions in Eq. (A1) may be expanded respectively in

terms of odd and even powers of R̃. Thus the two termsinside the square bracket in Eq. (A1) each involve odd

powers of R̃. Owing to the 1/R̃ factor multiplying thesquare bracket in Eq. (A1), the spherical Bessel functionjn for even n may thus be expressed as an expansion

in even powers of R̃. Consequently, since R̃21 = R̃22 the

spherical Bessel function jn for even n is independent of

the choice of the expression used for R̃. Also, since there

are no odd powers of R̃ in the expression for jn for evenn, no branch cuts are introduced. Thus, the phasor U0,nfor even n has no discontinuities.

IV. DISCONTINUITY IN THE REAL FIELDS

We can express the phasor of Eq. (3) in the time do-main via a Fourier transformation,

U0,n(r, t) =1√2π

∫U0,n(r, ω) exp(iωt)dω, (19)

the result of which is presented for arbitrary n in Eq. (A5)of Appendix A. Recall that the frequency spectrum f(ω)of the pulse, defined in Eq. (7), introduces an overallphase factor exp(iφ0) in both the frequency-dependentand time-dependent phasors in Eqs. (3) and (19) respec-tively. Therefore, changes in the initial phase φ0 canaffect the occurrence of discontinuities in the real andimaginary components of the phasor.

Figure 3 shows explicitly the discontinuities in the time

domain phasor for n = 3 when using the choice R̃ = R̃1for three values of the phase φ0. These plots were gen-erated for a linearly polarized beam with spectral pa-rameter s = 712, beam waist w0 = 2 µm, wavelength

6

(a) (b) (c)

(d) (e) (f)

(g) (h) (i)

FIG. 3. The square modulus [(a),(d),(g)], real part [(b),(e),(h)], and imaginary part [(c),(f),(i)] of the phasor U0,n(r, t) inEq. (19) for n=3 for phases φ0 = 0 [(a)-(c)], φ0 = π/4 [(d),(e),(f)], and φ0 = π/2 [(g),(h),(i)]. Here, x, y, z are the Cartesiancoordinates. The real and imaginary parts of the phasor are normalized to have a maximum amplitude of unity, and were

calculated using the choice R̃ = R̃1 at y = 0 and t = z/c. The linearly polarized beam is assumed to have a spectral parameters = 712, beam waist w0 = 2 µm, wavelength λ = 800 nm, and Rayleigh length zR ≈ 15.7µm. See text for discussion.

λ = 800 nm, and Rayleigh length zR = kw20/2. As ex-

pected, no discontinuity is visible in the square modulusof the time domain phasor for any φ0. However, the dis-continuity at z = 0 is clearly visible in the real and/orimaginary parts of the phasor, depending upon the valueof φ0 [cf. panels (c), (e), (f), and (h) of Fig. 3].

In Figure 4, we plot the longitudinal fields Ez [obtainedusing Eq. (2)] for the odd OAM phasors U0,n(r, t) for

n = 1 and n = 3 using the choice R̃ = R̃1 and an overallphase φ0 = π. This choice of the phase φ0 yields a dis-continuity in the imaginary parts of each of the phasors,which in turn results in discontinuous fields Ez. The cor-responding transverse fields (not shown) are continuousacross the beam waist at z = 0. In general, for linearlypolarized fields, our calculations show that discontinu-ities in the real part of the time domain phasor lead todiscontinuities in the transverse components of E and B

7

(a)

(b)

FIG. 4. Discontinuities in the longitudinal fields Ez [obtainedusing Eq. (2)] across the beam waist z = 0 for the odd OAMphasors U0,n for (a) n = 1, and (b) n = 3. These fields were

obtained using the choice R̃ = R̃1 for a phase φ0 = π, y = 0,and t = z/c. The amplitudes of the fields are normalized tounity. See text for discussion.

while discontinuities in the imaginary part of the timedomain phasor lead to discontinuities in the longitudi-nal components of the fields. When both the real andimaginary parts of the phasor have discontinuities, theproblem appears in all real field components.

As for the case of linear polarization, other beam polar-izations will also suffer discontinuous real fields for pha-

sors calculated using the choice R̃ = R̃1. These discon-tinuities originate in the phasor, which is polarization-independent. The polarization only enters when com-puting the fields using the Hertz potentials, as Eq. (1)

demonstrates for the case of linear polarization. The dis-continuities may occur in different field components, de-pending on the field polarization, but they will be presentin the real fields nonetheless.

Although our focus in this paper is on solutions to thenonparaxial Helmholtz equation, a brief mention of theparaxial case is warranted. In the paraxial limit of the

phasor (cf. Eq. (5) of Ref. [33]), the terms Pnn (χ) and R̃ donot enter. In fact, to lowest radial order the associatedLaguerre polynomials in the paraxial phasor are unity.Thus the real and imaginary parts of the paraxial phasor,by direct inspection, are simple oscillatory functions of z.In this limit, therefore, the problem of discontinuities inthe fields does not arise.

V. SUMMARY AND CONCLUSIONS

In this work, we have shown (by examining the non-paraxial source/sink phasor) that for all odd OAM modesdiscontinuities arise across the entire beam waist whenthe choice R̃ = R̃1 is made for the complex sphericalradius. Whether these discontinuities lie in the real orimaginary parts of the phasor depends upon the overallphase φ0 of the laser pulse. In turn, these phasor discon-tinuities result in nonphysical real electromagnetic fieldcomponents calculated from the Hertz potentials.

As we have shown, these problems do not exist for evenOAM modes. Further, in the paraxial limit, the termsthat cause discontinuous behavior are not present in thephasor expression. Thus, real components of paraxialfields are free from discontinuities in the phasor thatcause problems in the nonparaxial case.

Whether considering the fields of vortex beams in vac-uum, or interacting with plasmas or other media, properphysical theoretical models are necessary. As this workhas shown, discontinuities in the nonparaxial source/sinkphasor can be avoided completely by making the choice

R̃ = R̃2 for the complex spherical radius. Such a choiceavoids discontinuities in the complex phasor for all OAMmodes.

VI. ACKNOWLEDGMENTS

We gratefully acknowledge informative discussion withAlexandre April regarding his work. Computational re-sults were obtained using facilities at the Holland Com-puting Center of the University of Nebraska-Lincoln.This work was supported in part by the U.S. Depart-ment of Energy, Office of Science, Basic Energy Sciences,under Award No. DE-FG02-96ER14646.

8

Appendix A: Explicit Expression for the Phasor U0,n(r, t)

In this Appendix we present the result of carrying out the Fourier transform of the phasor U0,n(r, ω) in Eq. (3),

which is obtained from Eqs. (16) & (17) of Ref. [33] for the phasor Ũσ0,n(r, ω) upon setting σ = e and p = 0 (anddropping the explicit notation of the parity σ = e in our calculations). In order to carry out the Fourier transform inEq. (19), one must expand the spherical Bessel function in Eq. (3) using Eq. (10.1.8) of Ref. [45]:

jn(kR̃) =1

kR̃

[P

(n+

1

2, kR̃

)sin(kR̃− nπ

2

)+ Q

(n+

1

2, kR̃

)cos(kR̃− nπ

2

)](A1)

where

P

(n+

1

2, kR̃

)=

bn/2c∑m=0

(−1)m(2kR̃)(−2m) (n+ 2m)!(2m)! Γ(n− 2m+ 1)

(A2)

and

Q

(n+

1

2, kR̃

)=

b(n−1)/2c∑m=0

(−1)m(2kR̃)(−2m−1) (n+ 2m+ 1)!(2m+ 1)! Γ(n− 2m)

(A3)

1. Result for U0,n(r, t)

Expanding the trigonometric functions in Eq. (A1) in terms of exponentials and replacing k everywhere by k = ω/c,one may carry out the Fourier transform in Eq. (19) by making repeated use of the integral representation of thegamma function (cf. Eq. (6.1.1) of [45]), i.e.,

Γ(γ + 1) = ηγ+1∫ ∞0

dω ωγ exp(−ηω) , Re η > 0 (A4)

The result for U0,n(r, t) is:

U0,n(r, t) = Cn cos(nφ)Pnn (χ)

bn/2c∑m=0

A(n,m)

(c

R̃

)2m+1 [(T−)

−(s+n/2−2m+1) − (−1)n(T+)−(s+n/2−2m+1)]

+

b(n−1)/2c∑m=0

D(n,m)

(c

R̃

)2m+2 [(T−)

−(s+n/2−2m) + (−1)n(T+)−(s+n/2−2m)]

(A5)

In Eq. (A5) we have defined

A(n,m) ≡ i(−1)m+1(n+ 2m)!

(2m)! Γ(n− 2m+ 1)Γ(s+ n/2− 2m+ 1)

2(2m+1) Γ(s+ 1)

(s

ω0

)(2m−n/2)(A6)

D(n,m) ≡ (−1)m(n+ 2m+ 1)!

(2m+ 1)! Γ(n− 2m)Γ(s+ n/2− 2m)2(2m+2) Γ(s+ 1)

(s

ω0

)(2m+1−n/2)(A7)

where s and ω0 are defined in the text below Eq. (7),

Cn ≡ exp[i (φ0 − nπ/2)](ac

)(1+n/2) 2(1−n/2)(2n− 1)!!

(A8)

9

and

T± ≡ 1−iω0t

s+aω0cs± iω0R̃

cs(A9)

2. Result for U0,1(r, t)

Setting n = 1 in Eq. (A5), we have

C1 = exp[i (φ0 − π/2)]√

2(ac

)3/2(A10)

A(1, 0) = −i Γ(s+ 3/2)2 Γ(s+ 1)

(s

ω0

)−1/2(A11)

D(1, 0) =Γ(s+ 1/2)

2 Γ(s+ 1)

(s

ω0

)1/2(A12)

Hence,

U0,1(r, t) = C1 cos(φ)P11 (χ)

{A(1, 0)

(c

R̃

)[(T−)

−(s+3/2) + (T+)−(s+3/2)

]+

+ D(1, 0)

(c

R̃

)2 [(T−)

−(s+1/2) − (T+)−(s+1/2)]} (A13)

[1] G. A. Mourou, T. Tajima, and S. V. Bulanov, “Optics inthe relativistic regime,” Rev. Mod. Phys. 78, 309 (2006).

[2] A. Di Piazza, C. Müller, K. Z. Hatsagortsyan, and C. H.Keitel, “Extremely high-intensity laser interactions withfundamental quantum systems,” Rev. Mod. Phys. 84,1177 (2012).

[3] M. Lax, W. H. Louisell, and W. B. McKnight, “FromMaxwell to paraxial wave optics,” Phys. Rev. A 11, 1365(1975).

[4] J. P. Barton and D. R. Alexander, “Fifth-order cor-rected electromagnetic field components for a fundamen-tal Gaussian beam,” J. Appl. Phys. 66, 2800 (1989).

[5] S. M. Sepke and D. P. Umstadter, “Exact analytical so-lution for the vector electromagnetic field of Gaussian,flattened Gaussian, and annular Gaussian laser modes,”Opt. Lett. 31, 1447 (2006).

[6] S. M. Sepke and D. P. Umstadter, “Analytical solutionsfor the electromagnetic fields of tightly focused laserbeams of arbitrary pulse length,” Opt. Lett. 31, 2589(2006).

[7] S. X. Hu and A. F. Starace, “Laser acceleration of elec-trons to giga-electron-volt energies using highly chargedions,” Phys. Rev. E 73, 066502 (2006).

[8] Y. I. Salamin, “Fields of a Gaussian beam beyond theparaxial approximation,” Appl. Phys. B 86, 319 (2007).

[9] L.-W. Pi, S. X. Hu, and A. F. Starace, “Favorable tar-get positions for intense laser acceleration of electrons in

hydrogen-like, highly-charged ions,” Phys. Plasmas 22,093111 (2015).

[10] J. P. Torres and L. Torner, eds., Twisted Photons (Wiley-VCH, 2011).

[11] A. M. Yao and M. J. Padgett, “Orbital angular momen-tum: origins, behavior and applications,” Adv. Opt. Pho-tonics 3, 161 (2011).

[12] D. L. Andrews and M. Babiker, eds., The Angular Mo-mentum of Light (Cambridge, 2013).

[13] M. Zürch, C. Kern, P. Hansinger, A. Dreischuh, andC. Spielmann, “Strong-field physics with singular lightbeams,” Nature Phys. 8, 743 (2012).

[14] C. Hernández-Garćıa, A. Picón, J. San Román, andL. Plaja, “Attosecond Extreme Ultraviolet Vortices fromHigh-Order Harmonic Generation,” Phys. Rev. Lett.111, 083602 (2013).

[15] G. Gariepy, J. Leach, K. T. Kim, T. J. Hammond,E. Frumker, R. W. Boyd, and P. B. Corkum, “CreatingHigh-Harmonic Beams with Controlled Orbital AngularMomentum,” Phys. Rev. Lett. 113, 153901 (2014).

[16] V. E. Lembessis, M. Babiker, and D. Ellinas, “The roleof Gouy phase on the mechanical effects of Laguerre-Gaussian light interacting with atoms,” AIP Conf. Proc.1742, 030009 (2016).

[17] M. Vaziri, M. Golshani, S. Sohaily, and A. Bahrampour,“Electron acceleration by linearly polarized twisted laserpulse with narrow divergence,” Phys. Plasmas 22, 033118

http://dx.doi.org/10.1103/RevModPhys.78.309http://dx.doi.org/10.1103/RevModPhys.84.1177http://dx.doi.org/10.1103/RevModPhys.84.1177http://dx.doi.org/10.1103/PhysRevA.11.1365http://dx.doi.org/10.1103/PhysRevA.11.1365http://dx.doi.org/10.1063/1.344207https://www.osapublishing.org/DirectPDFAccess/D00979B6-E75D-5D1F-029579FB44A3467D{_}89471/ol-31-10-1447.pdf?da=1{&}id=89471{&}seq=0{&}mobile=nohttps://www.osapublishing.org/DirectPDFAccess/CF877BAE-C5D9-7A9E-A197446545AE0D4E{_}96924/ol-31-17-2589.pdf?da=1{&}id=96924{&}seq=0{&}mobile=nohttps://www.osapublishing.org/DirectPDFAccess/CF877BAE-C5D9-7A9E-A197446545AE0D4E{_}96924/ol-31-17-2589.pdf?da=1{&}id=96924{&}seq=0{&}mobile=nohttp://dx.doi.org/10.1103/PhysRevE.73.066502http://dx.doi.org/ 10.1007/s00340-006-2442-4http://dx.doi.org/10.1063/1.4930218http://dx.doi.org/10.1063/1.4930218http://dx.doi.org/ 10.1364/AOP.3.000161http://dx.doi.org/ 10.1364/AOP.3.000161http://dx.doi.org/10.1038/nphys2397http://dx.doi.org/10.1103/PhysRevLett.111.083602http://dx.doi.org/10.1103/PhysRevLett.111.083602http://dx.doi.org/10.1103/PhysRevLett.113.153901http://dx.doi.org/10.1063/1.4953130http://dx.doi.org/10.1063/1.4953130http://dx.doi.org/ 10.1063/1.4916562

10

(2015).[18] G. Molina-Terriza, J. P. Torres, and L. Torner, “Twisted

photons,” Nature Phys. 3, 305 (2007).[19] Q. Xiao, C. Klitis, S. Li, Y. Chen, X. Cai, M. Sorel, and

S. Yu, “Generation of photonic orbital angular momen-tum superposition states using vortex beam emitters withsuperimposed gratings,” Opt. Express 24, 3168 (2016).

[20] B. Richards and E. Wolf, “Electromagnetic Diffractionin Optical Systems. II. Structure of the Image Field inan Aplanatic System,” Proc. R. Soc. Lond. A 253, 358(1959).

[21] C. F. R. Caron and R. M. Potvliege, “Free-space propaga-tion of ultrashort pulses: Space-time couplings in Gaus-sian pulse beams,” J. Mod. Opt. 46, 1881 (1999).

[22] M. A. Bandres and J. C. Gutiérrez-Vega, “Higher-ordercomplex source for elegant Laguerre-Gaussian waves.”Opt. Lett. 29, 2213 (2004).

[23] Q. Lin, J. Zheng, and W. Becker, “Subcycle PulsedFocused Vector Beams,” Phys. Rev. Lett. 97, 253902(2006).

[24] A. E. Siegman, Lasers (University Science Books, 1986).[25] G. A. Deschamps, “Gaussian beam as a bundle of com-

plex rays,” Electron. Lett. 7, 684 (1971).[26] S. Y. Shin and L. B. Felsen, “Gaussian beam modes by

multipoles with complex source points,” J. Opt. Soc. Am.67, 699 (1977).

[27] A. L. Cullen and P. K. Yu, “Complex Source-Point The-ory of the Electromagnetic Open Resonator,” Proc. R.Soc. Lond. A 366, 155 (1979).

[28] M. Couture and P. A. Belanger, “From Gaussian beamto complex-source-point spherical wave,” Phys. Rev. A24, 355 (1981).

[29] Z. Ulanowski and I. K. Ludlow, “Scalar field of nonparax-ial Gaussian beams,” Opt. Lett. 25, 1792 (2000).

[30] J. A. Stratton, Electromagnetic Theory (McGraw-Hill,1941).

[31] J. D. Jackson, Classical Electrodynamics (Wiley, 1995).[32] A. April, “Nonparaxial elegant Laguerre-Gaussian

beams,” Opt. Lett. 33, 1392 (2008).[33] A. April, “Ultrashort, Strongly Focused Laser Pulses

in Free Space,” in Coherence and Ultrashort PulseLaser Emission, edited by F. J. Duarte (InTech, 2010)

Chap. 16, pp. 355–382.[34] V. Marceau, A. April, and M. Piché, “Electron acceler-

ation driven by ultrashort and nonparaxial radially po-larized laser pulses,” Opt. Lett. 37, 2442 (2012).

[35] X. Chu, “Evolution of elegant Laguerre-Gaussian beamdisturbed by an opaque obstacle,” J. Electromagn. WavesAppl. 26, 1749 (2012).

[36] V. Marceau, C. Varin, T. Brabec, and M. Piché, “Fem-tosecond 240-keV Electron Pulses from Direct Laser Ac-celeration in a Low-Density Gas,” Phys. Rev. Lett. 111,224801 (2013).

[37] A. Sell and F. X. Kärtner, “Attosecond electron bunchesaccelerated and compressed by radially polarized laserpulses and soft-x-ray pulses from optical undulators,” J.Phys. B: At. Mol. Opt. Phys. 47, 015601 (2014).

[38] F. Fillion-Gourdeau, C. Lefebvre, and S. MacLean,“Scheme for the detection of mixing processes in vac-uum,” Phys. Rev. A 91, 031801 (2015).

[39] V. Marceau, P. Hogan-Lamarre, T. Brabec, M. Piché,and C. Varin, “Tunable high-repetition-rate femtosecondfew-hundred keV electron source,” J. Phys. B: At. Mol.Opt. Phys. 48, 45601 (2015).

[40] L. J. Wong, B. Freelon, T. Rohwer, N. Gedik, andS. G. Johnson, “All-optical three-dimensional electronpulse compression,” New J. Phys. 17, 013051 (2015).

[41] C. Varin, V. Marceau, P. Hogan-Lamarre, T. Fennel,M. Piché, and T. Brabec, “MeV femtosecond electronpulses from direct-field acceleration in low density atomicgases,” J. Phys. B: At. Mol. Opt. Phys. 49, 024001(2016).

[42] C. J. R. Sheppard and S. Saghafi, “Beam modes beyondthe paraxial approximation: A scalar treatment,” Phys.Rev. A 57, 2971 (1998).

[43] C. J. R. Sheppard, “High-aperture beams: reply to com-ment,” J. Opt. Soc. Am. A 24, 1211 (2007).

[44] S. Feng and H. G. Winful, “Spatiotemporal structure ofisodiffracting ultrashort electromagnetic pulses,” Phys.Rev. E 61, 862 (2000).

[45] M. Abramowitz and I. A. Stegun, eds., Handbook ofmathematical functions (National Bureau of Standards,1972).

http://dx.doi.org/ 10.1063/1.4916562http://dx.doi.org/10.1038/nphys607http://dx.doi.org/10.1364/OE.24.003168http://dx.doi.org/10.1098/rspa.1959.0200http://dx.doi.org/10.1098/rspa.1959.0200http://dx.doi.org/10.1080/09500349908231378http://dx.doi.org/10.1364/OL.29.002213http://dx.doi.org/10.1103/PhysRevLett.97.253902http://dx.doi.org/10.1103/PhysRevLett.97.253902http://dx.doi.org/10.1049/el:19710467http://dx.doi.org/ 10.1364/JOSA.67.000699http://dx.doi.org/ 10.1364/JOSA.67.000699http://dx.doi.org/10.1098/rspa.1979.0045http://dx.doi.org/10.1098/rspa.1979.0045http://dx.doi.org/ 10.1103/PhysRevA.24.355http://dx.doi.org/ 10.1103/PhysRevA.24.355http://dx.doi.org/10.1364/OL.25.001792http://dx.doi.org/10.1364/OL.33.001392http://dx.doi.org/ 10.5772/12930http://dx.doi.org/ 10.5772/12930http://dx.doi.org/10.1364/OL.37.002442http://dx.doi.org/10.1080/09205071.2012.711518http://dx.doi.org/10.1080/09205071.2012.711518http://dx.doi.org/ 10.1103/PhysRevLett.111.224801http://dx.doi.org/ 10.1103/PhysRevLett.111.224801http://stacks.iop.org/0953-4075/47/i=1/a=015601http://stacks.iop.org/0953-4075/47/i=1/a=015601http://dx.doi.org/ 10.1103/PhysRevA.91.031801http://dx.doi.org/10.1088/0953-4075/48/4/045601http://dx.doi.org/10.1088/0953-4075/48/4/045601http://dx.doi.org/10.1088/1367-2630/17/1/013051http://dx.doi.org/ 10.1088/0953-4075/49/2/024001http://dx.doi.org/ 10.1088/0953-4075/49/2/024001http://dx.doi.org/10.1103/PhysRevA.57.2971http://dx.doi.org/10.1103/PhysRevA.57.2971http://dx.doi.org/ 10.1364/JOSAA.24.001211http://dx.doi.org/10.1103/PhysRevE.61.862http://dx.doi.org/10.1103/PhysRevE.61.862

Discontinuities in the Electromagnetic Fields of Vortex Beams in the Complex Source/Sink ModelAbstractI IntroductionII The phasor and field equationsIII Discontinuity in the PhasorA Odd OAM Modes1 Exact expansion of U0,1 in powers of R"0365R2 U0,1 with the choice R"0365R=R"0365R13 U0,1 with the choice R"0365R=R"0365R24 Case of Arbitrary Odd OAM Modes

B Even OAM Modes

IV Discontinuity in the Real FieldsV Summary and ConclusionsVI AcknowledgmentsA Explicit Expression for the Phasor U0,n(r, t)1 Result for U0,n(r,t)2 Result for U0,1(r,t)

References