Beam duality, with application to generalized
Bessel-Gaussian, and Hermite- and Laguerre-
Gaussian beams

doi:10.1364/OE.17.003690

« Show journal navigation

Beam duality, with application to generalized Bessel-Gaussian, and Hermite- and Laguerre- Gaussian beams

Colin J.R. Sheppard »View Author Affiliations

Optics Express, Vol. 17, Issue 5, pp. 3690-3697 (2009)
http://dx.doi.org/10.1364/OE.17.003690

View Full Text Article

Acrobat PDF (1003 KB)

Journal Search
Article Lookup

Article Tools

Citations

Alert me when this article is cited
Export Citation/Save

Article Navigation

▸ Article Outline
– Abstract
1. Duality of beams
2. Hermite-Gaussian beams
3. Laguerre-Gauss beams
4. Discussion
– References and links

Article Tools
Full Text
Article Info
References
Cited By
Figures
Metrics
Download PDF

Viewing Equations in the
HTML Article

Optimal Viewing Recommendations

Full Text
Article Info
References (27)
Cited By
Figures (4)
Metrics

Abstract

The concept of the dual of a beam is discussed. The duals of Bessel-Gauss beams, elegant Hermite- or Laguerre-Gaussian beams and generalized Hermite- or Laguerre-Gauss beams are described. Duality is considered within the framework of hypergeometric beams in Cartesian and polar coordinates. The connection with the “modified Laguerre-Gauss” beam is discussed.

1. Duality of beams

The dual of a paraxial beam is a beam in which the transverse distance and angular behaviors are interchanged. Thus, equivalently, the near-field and far field (neglecting the parabolic wavefront) amplitude distributions are interchanged. A definition can be established in terms of the ABCD matrix formalism,^{1
S. A. Collins, “Lens-system diffraction integral written in terms of matrix optics,” J. Opt. Soc. Am. A
60, 1168–1177 (1970). [CrossRef]} so that a dual can be generated by a 2-f optical system, for which A = D = 0. The principle of duality as applied to optical experiments and theories was introduced many years ago by Lohmann.^{2
A. W. Lohmann, “Ein neues Dualitatsprinzip in der Optik,” Optik
11, 478–488 (1954)., 3
A. W. Lohmann, “Duality in optics,” Optik
89, 93–97 (1992).} A beam whose cross-section is a self-Fourier transform ^{4–6
F. Riesz and B. Szökefalvi-Nagy, Functional Analysis (Dover, New York, 1990).} is its own dual, of which the standard Hermite-Gaussian (sHG) and Laguerre-Gaussian (sLG) beams are special cases. As the sHGs and sLGs are complete sets, any amplitude in the waist can be expanded as a series of these basis functions. The sHG and sLG beams have relative phase in the far field that depends on the mode numbers, and can take values 0,7π/2,π,3π/2. Thus in terms of sHG or sLG expansions, the dual can be generated by introducing a factor of a power of i depending on the mode numbers. One example of the dual of a beam that has been described is that of a flattened beam.^{7
C. J. R. Sheppard and S. Saghafi, “Flattened light beams,” Opt. Comm.
132, 144–152 (1996). [CrossRef]} In the limiting case of the flattened beam, corresponding to a beam from a circular pupil, the focal plane is an Airy disc (N.B. not an Airy function), and its dual is a beam with an Airy disc pupil, with a uniform circular spot in the focal plane. To give the dual of the flattened beam alternating signs are introduced in the terms of the sLG expansion.

Another example is the Bessel-Gauss (BG) beam, which has an amplitude given by the product of a Gaussian and a Bessel function in the waist, and the convolution of a two-dimensional Gaussian and a ring in the far field, and which has as its dual a beam with a Gaussian ring in the waist. The amplitude of a zero order paraxial BG beam can be written^{8
C. J. R. Sheppard and T. Wilson, “Gaussian-beam theory of lenses with annular aperture,” IEE J. Microwaves, Optics and Acoustics
2, 105–112 (1978). [CrossRef]}

B G_{m} (r, z) = \frac{1}{μ} J_{m} (\frac{br}{μ w_{0}}) \exp (- \frac{r^{2}}{μ w_{0}^{2}} - \frac{b^{2}}{4} + \frac{b^{2}}{4 μ} + imϕ),

(1)

where J_m is a Bessel function of the first kind of integer order m, b is a constant defining the relative width of the Bessel and Gaussian functions, w ₀ and z ₀ = kw ² ₀/2 are the beam waist and confocal parameter for the Gaussian, Z = z/z ₀ and μ = 1+iZ, and a factor exp[i(kz-ωt)] with k = 2π/λ, is suppressed. An expression for the BG beam was given^{8
C. J. R. Sheppard and T. Wilson, “Gaussian-beam theory of lenses with annular aperture,” IEE J. Microwaves, Optics and Acoustics
2, 105–112 (1978). [CrossRef]} ten years before the reintroduction of the BG beam by Gori et al.,^{9
F. Gori, G. Guatteri, and C. Padovani, “Bessel-Gauss beams,” Opt. Comm.
64, 491–495 (1987). [CrossRef]} and almost ten years even before the Bessel beam was proposed by Durnin et al. ^{10
J. Durnin, J. J. Miceli Jr., and J. H. Eberly, “Diffraction-free beams,” Phys. Rev. Lett.
58, 1499–1501 (1987). [CrossRef]
[PubMed]} The intensity, defined as the squared modulus of the amplitude, in the focal region is illustrated in Fig.1a and 1b for the value b = 10 and m = 0. We can see the annular structure forming in Fig. 1b. If b is complex we obtain the generalized Bessel-Gauss (gBG) beam.^{11
V. Bagini, F. Frezza, M. Santarsiero, G. Schettini, and G. Shirripa Spagnolo, “Generalized Bessel-Gauss beams,” J. Mod. Optics
43, 1155–1166 (1996).} The dual of the BG beam (dBG) is obtained by putting b as b = ib′ (equivalent to introducing alternating signs in the LG expansion), giving

dB G_{m} (r, z) = \frac{1}{μ} {I_{m} (\frac{b' r}{μ w_{0}}) \exp (\frac{b' r}{μ w_{0}})} \exp [- \frac{1}{μ} {(\frac{r}{w_{0}} - \frac{b'}{2})}^{2} + \frac{{b'}^{2}}{4} + imϕ] .

(2)

where I_m is a modified Bessel function of the first kind. This is also called the modified Bessel Gauss (mBG) beam.^{11
V. Bagini, F. Frezza, M. Santarsiero, G. Schettini, and G. Shirripa Spagnolo, “Generalized Bessel-Gauss beams,” J. Mod. Optics
43, 1155–1166 (1996).} It has been written in this way so that the quantity in braces is approximately constant for Z = 0 and large argument, so the amplitude is only appreciable near r = b′w ₀/2, representing an annular waist. This is shown in Fig.1c for b′ = 10. We see a ring structure in the waist, and subsidiary peaks on the axis either side of focus that are analogous to the Poisson spot in the diffraction pattern of a circular obstruction.

Fig. 1. The intensity in the focal region for BG beams for b = 10 (a, b), and for the dual of BG, dBG, for b’ = 10 (c).

2. Hermite-Gaussian beams

sHG beams represent an important solution of the scalar paraxial wave equation.^{12
H. Kogelnik and T. Li, “Laser beams and resonators,” App. Opt.
5, 1550–1567 (1966). [CrossRef]} In the waist, the sHG beams exhibit a particular scaling ratio between the widths of the Hermite polynomial and the Gaussian. Wünsche^{13
A. Wünsche, “Analogien zwischen ausserordentlichen und ordentlichen Wellen nach nichtorthogonaler Koordinatentransformation und die parabolischen Näherungsgleichungen,” Ann. Phys.
25, 113–135 (1970). [CrossRef]
, 14
A. Wünsche, “Generalized Gaussian beam solutions of paraxial optics and their connections to a hidden symmetry,” J. Opt. Soc. Am. A
6, 1320–1329 (1989). [CrossRef]} showed that these beams can be generalized to an arbitrary scaling parameter, with the amplitude expressed in closed form for any point in space, called generalized HG (or gHG) beams, but the behaviour was not described explicitly. For the paraxial case any form can be assumed for the waist, as long its Fourier transform exists, but the amplitude might not be expressible simply in closed form for all space. For non-paraxial beams, if there are no evanescent waves, the amplitude in the waist must be band-limited.^{15
C. J. R. Sheppard, “High aperture beams,” Journal of the Optical Society of America A
18, 1579–1587 (2001). [CrossRef]} Siegman investigated the important particular case of the elegant HG (written eHG) beam, in which the arguments of the Gaussian and the Hermite polynomial have the same form at any propagation distance.^{16
A. E. Siegman, “Hermite-Gaussian functions of complex arguments as optical-beam eigenfunctions,” J. Opt. Soc. Am.
63, 1093–1094 (1973). [CrossRef]} Pratesi and Ronchi ^{17
R. Pratesi and L. Ronchi, “Generalized Gaussian beams in free space,” J. Opt. Soc. Am.
67, 1274–1276 (1977). [CrossRef]} investigated beams with an arbitrary complex constant parameter. They chose the values of the complex parameter to satisfy a particular condition that was useful for the study of beam propagation in a quadratic index medium. However, any complex value of the parameter gives a valid solution of the paraxial wave equation. In this paper, we investigate the particular condition with a real scaling ratio b. Then, we can show that the amplitude can be written in the form

gH G_{n} (x, z) = \frac{v^{n / 2}}{μ^{n + 1 / 2}} H_{n} [\frac{x}{w_{0}} {(\frac{2}{ν})}^{1 / 2}] \exp (- \frac{x^{2}}{w_{0}^{2} μ})

(3)

where H_n is a Hermite polynomial of integer order n defining the mode number, c = b ² -1, and ν = (1+c) + 2icZ + (1-c)Z ² = μ[(1 + c)-i(1-c)Z] . In the waist Z = 0, the argument of the Hermite polynomial is real if c ≥ -1 (b is real). In general c may be complex. On examining the argument of the Hermite function, we can see that it can be made real at an arbitrary plane by taking c as complex, with a phase - 2 arctan Z. In this plane the scaling factor of the Hermite polynomial relative to the Gaussian is b = 1/(1 + c)^1/2. The modulus of c controls the scaling factor, and its argument the plane in which the argument of the Hermite function is real. Thus for Z → ±𢈞, corresponding to the far field, the phase of c is ∓π , and c is real and negative. These negative values of c correspond to the dual of a beam of positive ∣c∣.

We now concentrate particularly on the case when z ₀ and c are real, so that the amplitude in the waist is real. For c = 0, Eq. (3) reduces to the sHG mode,^{12
H. Kogelnik and T. Li, “Laser beams and resonators,” App. Opt.
5, 1550–1567 (1966). [CrossRef]} whereas for c = 1 they reduce to Siegman’s eHG modes.^{16
A. E. Siegman, “Hermite-Gaussian functions of complex arguments as optical-beam eigenfunctions,” J. Opt. Soc. Am.
63, 1093–1094 (1973). [CrossRef]} For ∣c∣ large, the amplitude reduces to the form

gH G_{n} (x, z) = \frac{{(- c)}^{n / 2}}{(n / 2)!} \frac{1}{μ^{1 / 2}} \exp (- \frac{x^{2}}{w_{0}^{2} μ}), n even

= \frac{{(- c)}^{n / 2}}{[(n - 2) / 2]!} \frac{1}{μ^{3 / 2}} \frac{2 \sqrt{2 x}}{w_{0}} \exp (- \frac{x^{2}}{w_{0}^{2} μ}), n odd .

(4)

In the far field, Z → ∞, we have for the general case

gH G_{n} (x, z) = \frac{1}{i^{n + 1 / 2}} {(1 - c)}^{n / 2} \sqrt{\frac{k w_{0}^{2}}{2 z}} H_{n} [\frac{k w_{0} (x / z)}{\sqrt{2} {(1 - c)}^{1 / 2}}] \exp {- {[\frac{k w_{0} (x / z)}{2}]}^{2} + \frac{ik x^{2}}{2 z}} .

(5)

For the eHG case (c =1), the Hermite polynomial can be evaluated using the limit

{lim}_{ε \to 0} ε^{n} H_{n} (\frac{y}{ε}) = 2^{n} y^{n},

(6)

so that it reduces to a simple power^{14
A. Wünsche, “Generalized Gaussian beam solutions of paraxial optics and their connections to a hidden symmetry,” J. Opt. Soc. Am. A
6, 1320–1329 (1989). [CrossRef]
, 19
S. Saghafi and C. J. R. Sheppard, “Near field and far field of elegant Hermite-Gaussian and Laguerre-Gaussian modes,” J. Mod. Optics
45, 1999–2009 (1998). [CrossRef]}

eH G_{n} (x, z) = \frac{1}{i^{n + 1 / 2}} \sqrt{\frac{k w_{0}^{2}}{2 z}} {[\sqrt{2} k w_{0} (x / z)]}^{n} \exp {- {[\frac{k w_{0} (x / z)}{2}]}^{2} + \frac{ik x^{2}}{2 z}} .

(7)

For values of c > 1, then although the argument of the Hermite polynomial is imaginary, in the far field

{(1 - c)}^{n / 2} H_{n} [\frac{k w_{0} (x / z)}{\sqrt{2} {(1 - c)}^{1 / 2}}]

(8)

is purely real. The oscillating sign of the Hermite function of real argument becomes positive in the function of Eq. (8), so that its modulus increases monotonically with argument. In this way it bears the same relationship to the Hermite function of a real quantity that the exponential function has to the trigonometrical functions.

In the waist, z = 0

gH G_{n} (x, 0) = {(1 + c)}^{n / 2} H_{n} [\frac{\sqrt{2 x}}{w_{0} {(1 + c)}^{1 / 2}}] \exp (- \frac{x^{2}}{w_{0}^{2}}) .

(9)

For c = -1, again we can use Eq. (6) to give

deH G_{n} (x, 0) = {(\frac{2 \sqrt{2 x}}{w_{0}})}^{n} \exp (- \frac{x^{2}}{w_{0}^{2}}) .

(10)

This (deHG) is an important special case and can be regarded as the dual^{7
C. J. R. Sheppard and S. Saghafi, “Flattened light beams,” Opt. Comm.
132, 144–152 (1996). [CrossRef]} of Siegman’s elegant beam. We have in general for deHG

deH G_{n} (x, z) = \frac{{(- 2 iz)}^{n / 2}}{μ^{(n + 1) / 2}} H_{n} [\frac{x}{w_{0}} {(\frac{i}{Z μ})}^{1 / 2}] \exp (- \frac{x^{2}}{w_{0}^{2} μ}) .

(11)

For any gHG, we can construct a dual beam for the same z ₀ by replacing a real c with - c, i.e. cd = -c. The sHG beam is its own dual. Fig. 2 shows the intensity (modulus squared of the amplitude) in the waist for gHG beams for n = 5 for different values of the parameter c. For sHG, c = 0, as is well known the pattern consists of an array of six peaks, which become slightly stronger with distance from the axis. The behavior near to the axis is close to that of a sin^{2
A. W. Lohmann, “Ein neues Dualitatsprinzip in der Optik,” Optik
11, 478–488 (1954).} function. As c is increased, the relative strength of the outer peaks is reduced. For eHG (c = 1) the outer two peaks are very weak. As c is decreased below zero, the relative strength of the central peaks is reduced, until for deHG (c = -1) only two peaks remain. For more negative values of c, the width of the central minimum is reduced. As beams with the same absolute value of c but of opposite sign are duals, Fig. 2 also represents the intensity in the far field if the sign of c is changed. For even values of n, there is a peak on the axis the strength of which depends on the value of c. For deHG (c = -1), the central peak vanishes, leaving only two peaks as before. The strength of the central peak increases as c is increased or decreased from this value.

Fig. 2. The intensity in the waist for HG beams for n = 5 for different real values of the parameter c.

Fig. 3. The intensity in the focal region for HG beams with n = 5 for different real values of the parameter c.

Figure 3 shows the intensity in the focal region for n = 5 for different values of the parameter c. We see that for sHG beam, as the number of peaks does not change with z, the ridges along the peaks can be easily followed. For deHG (c = -1), for example, it is seen that the two peaks in the waist are not joined continuously to the peaks in the far field as the strongest peaks are the outer peaks in the waist, but the inner peaks in the far field. This behavior is also seen in Fig. 4, which shows the phase in the focal region, for which we must now choose a particular value of kz ₀, taken as 5, which is large enough for the paraxial treatment to be approximately valid. For sHG (c = 0), the phase is clearly separated by π for the three adjacent peaks, and changes progressively in the direction of propagation along each ridge. The behavior is quite different for eHG (c = 1). Similar effects occur for even n, where the central peak in the waist for c = 1 decays on propagation while two peaks increase in strength.

3. Laguerre-Gauss beams

In a similar way, we can show that for the generalized Laguerre-Gaussian (gLG) beams for cylindrical geometry

gH G_{nm} (r, ϕ, z) = \frac{v^{(2 n + m) / 2}}{μ^{2 n + m + 1}} {(\frac{2 r^{2}}{w_{0}^{2} ν})}^{m / 2} L_{n}^{m} (\frac{2 r^{2}}{w_{0}^{2} ν}) \exp (- \frac{r^{2}}{w_{0}^{2} μ} + imϕ) .

(12)

where L^m _n is an associated Laguerre polynomial where m, n are integer mode numbers. In the waist

gH G_{nm} (r, ϕ, 0) = {{(1 + c)}^{n} (\frac{2 r^{2}}{w_{0}^{2}})}^{m / 2} L_{n}^{m} (\frac{2 r^{2}}{w_{0}^{2} (1 + c)}) \exp (- \frac{r^{2}}{w_{0}^{2}} + imϕ) .

(13)

The behavior is broadly similar to the HG case, except that for the sLG beams the relative strength of the peaks decay with distance from the axis, before eventually increasing. For deLG (c = -1), an annular beam is generated in the waist, which becomes a thin annulus for large n. For non-zero m, the beams exhibit a phase singularity on the axis. In the far field^{14
A. Wünsche, “Generalized Gaussian beam solutions of paraxial optics and their connections to a hidden symmetry,” J. Opt. Soc. Am. A
6, 1320–1329 (1989). [CrossRef]
, 20
M. Porras, R. Borghi, and M. Santarsiero, “Relationship between elegant Laguerre-Gauss and Bessel-Gauss beams,” J. Opt. Soc. Am. A
18, 177–184 (2001). [CrossRef]}

gH G_{nm} (r, ϕ, 0) = {(- i)}^{2 n + m + 1} \sqrt{\frac{k w_{0}^{2}}{2 z}} {(1 - c)}^{n} {(- \frac{k^{2} r^{2} / z^{2}}{2 w_{0}^{2}})}^{m / 2}

\times L_{n}^{m} [\frac{k^{2} r^{2} / z^{2}}{2 w_{0}^{2} (1 - c)}] \exp {- {[\frac{k w_{0} (r / z)}{2}]}^{2} + \frac{ik r^{2}}{2 z} + imϕ} .

(14)

Then for eLG (c =1), using the identity18

{lim}_{ε \to 0} ε^{n} L_{n}^{m} (\frac{y}{4 ε}) = {(- 1)}^{n} \frac{y^{2 n}}{2^{2 n} n!}

(15)

we obtain

eL G_{nm} (r, ϕ, z) = \frac{{(- i)}^{2 n + m + 1}}{n!} \sqrt{\frac{k w_{0}^{2}}{2 z}} {(- \frac{k^{2} r^{2} / z^{2}}{2 w_{0}^{2}})}^{n + m / 2} \exp {- {[\frac{k w_{0} (r / z)}{2}]}^{2} + \frac{ik r^{2}}{2 z} + imϕ} .

(16)

For non-zero values of n or m the far field thus represents an annular beam.

For the particular case of deLG, putting c = -1 in Eq. (14)

deL G_{nm} (r, ϕ, z) = {(\frac{- 2 iZ}{μ})}^{n + m / 2} \frac{1}{μ} {(\frac{i r^{2}}{w_{0}^{2} Zμ})}^{m / 2} L_{n}^{m} (\frac{i r^{2}}{w_{0}^{2} Zμ}) \exp (- \frac{r^{2}}{w_{0}^{2} μ} + imϕ) .

(17)

In the waist

deL G_{nm} (r, ϕ, 0) = \frac{1}{n!} {(\frac{2 r^{2}}{w_{0}^{2}})}^{n + m / 2} \exp (- \frac{r^{2}}{w_{0}^{2}} + imϕ) .

(18)

Thus if n or m are non-zero the beam has an annular form in its waist.

Fig. 4. The phase in the focal region for HG beams for the case when kz ₀ = 5 and n = 5 . Phase is shown wrapped, between -π (black) and π (white), with zero as mid gray. For c = -1 (deHG) there is a phase singularity at the origin.

4. Discussion

We have introduced specifically the duals of BG, eHG and eLG beams, and described the propagation of the generalized beams gHG and gLG. An important feature of the generalized beams is that c can take continuous, non-integer values. It is known that for large n, eHG or eLG beams are good approximations to the cosine-Gauss (CG) or BG beams, respectively. For example, for HG we have the limit for n → ∞ and x not too large

H_{2 n} (x) \exp (- \frac{x^{2}}{2}) \approx \frac{{(-)}^{n} 4^{n} n!}{\sqrt{πn}} \cos (2 \sqrt{nx})

(19)

H_{2 n + 1} (x) \exp (- \frac{x^{2}}{2}) \approx \frac{{(-)}^{n} 4^{n} n!}{\sqrt{π}} \sin (2 \sqrt{nx})

These expressions are analogous to a similar one for Laguerre polynomials given in Ref.20

M. Porras, R. Borghi, and M. Santarsiero, “Relationship between elegant Laguerre-Gauss and Bessel-Gauss beams,” J. Opt. Soc. Am. A 18, 177–184 (2001). [CrossRef]

. For a CG beam, the scaling between the cosine and the Gaussian can be varied continuously, but for HG to reduce to a polynomial n must be an integer. From Eq. (19) we see that gHG can be approximated to CG for any positive value of c. This has been pointed out for the LG case by Bandres and Gutiérerrez-Vega.²¹ Thus an approximation to a CG beam based on a gHG beam can be found for an integer value of n, with a value of c near to unity.

Duality can be considered based on the theoretical framework of confluent hypergeometric functions.^{21–24
M. A. Bandres and J. C. Gutierrez-Vega, “Circular beams,” Opt. Lett.
33, 177–179 (2008). [CrossRef]
[PubMed]} This interesting and powerful approach can suggest new beam forms and make visible the symmetry properties. But the hypergeometric beams are no more general than gLG with complex n, as the Laguerre function for complex n is defined in terms of the confluent hypergeometric function. However, symmetry relationships can be revealed for particular special cases of the confluent hypergeometric function. The relationships between our parameters and the complex beam parameters used by Bandres are q ₀ = -iz ₀,q̃₀ = -iz ₀̃ = iz ₀(1 + c)/(1- c). Hence c = (q̃₀ - q ₀)/(q̃₀ + q ₀), μ = 1 + z/q ₀ and ν = 2μ(z + q̃₀)/(q ₀ + q̃₀) .

For the case of a 2f optical system, we have A = D = 0, B = f,C = -1/ f. Thus the dual of a beam has q _d0 = -f ²/q ₀ = -q ^* ₀, q̃_d0 = -f ²/q̃₀ = -q ₀ q ^* ₀/q̃₀ if we take f ² = q ₀ q ^* ₀. We find that as we stated earlier without proof the dual of a beam has c_d = -c even for the general case when c is complex, and also z _d0 = z ^* ₀, w _d0 = w ^* ₀ if its real part is taken as positive, μ_d = 1-z/q ^* ₀ = 2 - μ ^* and ν_d = -2μ_d (q̃₀/q ^* ₀)(z + q̃_d0)/(q ₀ + q̃₀) .

For the special case when z ₀ is real, the width of the underlying Gaussian is unchanged in the dual beam, and μ_d = μ,

ν_{d} = \frac{ν + c (ν - 4 μ)}{1 - c},

(20)

and Bandres’ parameter χ ² becomes^{21
V. V. Kotlyar, R. V. Skidanov, S. N. Khonina, and V. A. Soifer, “Hypergeometric modes,” Opt. Lett.
32, 742–744 (2007). [CrossRef]
[PubMed]
,24
M. A. Bandres and J. C. Gutierrez-Vega, “Cartesian beams,” Opt. Lett.
32, 3459–3461 (2007).25. [CrossRef]
[PubMed]}

\frac{χ_{d}^{2}}{χ^{2}} = 1 - \frac{4 cμ}{(1 + c) ν} .

(21)

For the one dimensional case in our terminology

gH G_{nm} (x, z) = \frac{ν^{n / 2}}{μ^{m + 1 / 2}} {\frac{1}{Γ {[(1 - 2) / 2]}^{1}} F_{1} (- \frac{n}{2}, \frac{1}{2}; \frac{k x^{2}}{ν z_{0}})

- \frac{2}{Γ [- (n / 2)]} {(\frac{k x^{2}}{ν z_{0}})}^{1 / 2}_{1} F_{1} (\frac{1 - n}{2}, \frac{3}{2}; \frac{k x^{2}}{ν z_{0}})} \exp (- \frac{k x^{2}}{2 μ z_{0}}),

(22)

where ₁ F ₁ is a confluent hypergeometric function, Γ is a Gamma function, and in general n can be complex. Similarly for the two dimensional case

gH G_{nm} (x, z, ϕ,) = \frac{ν^{n + ∣ m ∣ / 2}}{μ^{2 n + ∣ m ∣ + 1}} {(\frac{k r^{2}}{ν z_{0}})}^{∣ m ∣ / 2}_{1} F_{1} (- n, 1 + ∣ m ∣; \frac{k r^{2}}{ν z_{0}}) \exp (- \frac{k r^{2}}{2 μ z_{0}} + imϕ),

(23)

where m is an integer but n can be complex. Note that Eqs. 22, 23 are slightly different from those of Bandres^{21, 24}, as they are written so that they converge as ν → 0 for n a positive integer. The fractional frHG and frLG beams follow directly from the definition of the Hermite and Laguerre functions of complex order n.^{25
J. C. Gutiérrez-Vega, “Fractionalization of optical beams: I. Planar analysis,” Opt. Lett.
11, 1521–1523 (2007). [CrossRef]
, 26
J. C. Gutiérrez-Vega, “Fractionalization of optical beams: II. Elegant Laguerre-Gaussian modes,” Optics Express
15, 6300–6313 (2007). [CrossRef]
[PubMed]} Formally, Gutiérrez-Vega’s^{25
J. C. Gutiérrez-Vega, “Fractionalization of optical beams: I. Planar analysis,” Opt. Lett.
11, 1521–1523 (2007). [CrossRef]} P_n (x) is just 2^-n π ^1/2 H_n (-x). (The minus sign is a result of Gutiérrez-Vega’s definition of the creation operator.)

As eHG corresponds to (q ₀,q̃₀ → ∞), so deHG can be taken as (q ₀,0). This can be recognized as the one dimensional equivalent of the MLG (“modified LG”) beam of Karimi et al.^{21
M. A. Bandres and J. C. Gutierrez-Vega, “Circular beams,” Opt. Lett.
33, 177–179 (2008). [CrossRef]
[PubMed]
,23
E. Karimi, G. Zito, B. Piccirillo, L. Marrucci, and E. Santamato, “Hypergeometric-Gaussian beams,” Opt. Lett.
32, 3053–3055 (2007). [CrossRef]
[PubMed]} . In fact Eq. (21) is equivalent to Eq. (1) of Karimi, so that his MLG can be identified as the same as the deLG. Thus the dual of Karimi’s MLG is eLG.

From Eq. (21) we immediately see that the BG and dBG beams of the forms J_m ,I_m (k_tr) result when(1+c) = lim_n→-∞±4kn/z ₀ k ² _t. The quadratic Bessel Gauss (QBG) beams^{27
C. F. R. Caron and R. M. Potvliege, “Bessel-modulated Gaussian beams with quadratic radial dependence,” Opt. Comm.
164, 83–93 (1999). [CrossRef]} with a Bessel function of order ∣m∣/2 of a quadratic radial dependence can be generated by putting n=-(1+∣m∣)/2 and c = -4iW ₀ ²/w ₀ ², z ₀=-ik(2i/w ₀ ²-1/2W ₀ ²)^-1.^{21
M. A. Bandres and J. C. Gutierrez-Vega, “Circular beams,” Opt. Lett.
33, 177–179 (2008). [CrossRef]
[PubMed]} Here w ₀ and W ₀ are the widths of the Gaussian and Bessel functions. Note that z ₀ is not related to w ₀ for the overall beam in the usual way, because a Gaussian factor is generated from the hypergeometric function. The dual of QBG has a modified Bessel function dependence (dQBG or mQBG) (c_d = 4iW ₀ ² w ₀ ², z _d0 = ik(2i/w ₀ ² + 1/2W ² ₀)^-1). For odd m the Bessel function degenerates to a spherical Bessel function, i.e. it can be expressed in terms of sinusoidal functions (or hyperbolic for the case of the dual) of quadratic argument.

Karimi et al.^{23
E. Karimi, G. Zito, B. Piccirillo, L. Marrucci, and E. Santamato, “Hypergeometric-Gaussian beams,” Opt. Lett.
32, 3053–3055 (2007). [CrossRef]
[PubMed]} also investigated beams with Bessel functions with quadratic radial dependence. For beams with n = -∣m∣/2 for odd m, the far field gives a phase singularity without the usual r ^∣m∣ dependence and in the waist a sum of modified Bessel functions of quadratic argument. For even m the waist is given by a sum of hyperbolic functions. Actually, Karimi discussed the duals of these beams, with the modified Bessel functions or exponentials in the far field and a simple Gaussian with exp(imϕ) behaviour in the waist, which can be generated experimentally by applying a phase modulation to a TEM₀₀ Gaussian beam.^{23
E. Karimi, G. Zito, B. Piccirillo, L. Marrucci, and E. Santamato, “Hypergeometric-Gaussian beams,” Opt. Lett.
32, 3053–3055 (2007). [CrossRef]
[PubMed]}

Note that the definition of the dual proposed is not the only possibility, but there are other cases when the ABCD matrix also leads to the relationship q _d0/q̃_d0 = q̃₀/q ₀. An important alternative is f ² = q ₀ q̃₀;q _a0 = -q̃₀ q̃_a0 = q̃₀ . For real z ₀ this case corresponds to the adjoint beams (hence the subscript a) that form a biorthogonal set with the generalized beams.^{16
A. E. Siegman, “Hermite-Gaussian functions of complex arguments as optical-beam eigenfunctions,” J. Opt. Soc. Am.
63, 1093–1094 (1973). [CrossRef]} We find that c_a = -c as for the previous dual, but now z _a0 = z ₀(1+c)/(1 - c), so that z _a0(1 + c_a ) = z ₀(1 + c) and the scaling of the hypergeometric function, instead of the Gaussian, is unchanged. The adjoint beams are not so suitable for our present analysis, however, as the adjoint of the elegant beam has z _a0 → ∞ (i.e. q _a0 → ∞), so that there is no Gaussian factor in Eqs. 20, 21

M. A. Bandres and J. C. Gutierrez-Vega, “Circular beams,” Opt. Lett. 33, 177–179 (2008). [CrossRef] [PubMed]

.^{16
A. E. Siegman, “Hermite-Gaussian functions of complex arguments as optical-beam eigenfunctions,” J. Opt. Soc. Am.
63, 1093–1094 (1973). [CrossRef]}

Acknowledgment

C. J. R. Sheppard acknowledges support from the Singapore Ministry of Education Tier 1 funding (grants R397000022112 and R397000033112).

References and Links

1.	S. A. Collins, “Lens-system diffraction integral written in terms of matrix optics,” J. Opt. Soc. Am. A 60, 1168–1177 (1970). [CrossRef]
2.	A. W. Lohmann, “Ein neues Dualitatsprinzip in der Optik,” Optik 11, 478–488 (1954).
3.	A. W. Lohmann, “Duality in optics,” Optik 89, 93–97 (1992).
4.	F. Riesz and B. Szökefalvi-Nagy, Functional Analysis (Dover, New York, 1990).
5.	M. J. Caola, “Self-Fourier functions,” J. Phys. A 24, L1143–L1144 (1991). [CrossRef]
6.	A. W. Lohmann and D. Mendlovic, “Self-Fourier objects and other self-transform objects,” J. Opt. Soc. Am. A 9, 2009–2012 (1992). [CrossRef]
7.	C. J. R. Sheppard and S. Saghafi, “Flattened light beams,” Opt. Comm. 132, 144–152 (1996). [CrossRef]
8.	C. J. R. Sheppard and T. Wilson, “Gaussian-beam theory of lenses with annular aperture,” IEE J. Microwaves, Optics and Acoustics 2, 105–112 (1978). [CrossRef]
9.	F. Gori, G. Guatteri, and C. Padovani, “Bessel-Gauss beams,” Opt. Comm. 64, 491–495 (1987). [CrossRef]
10.	J. Durnin, J. J. Miceli Jr., and J. H. Eberly, “Diffraction-free beams,” Phys. Rev. Lett. 58, 1499–1501 (1987). [CrossRef] [PubMed]
11.	V. Bagini, F. Frezza, M. Santarsiero, G. Schettini, and G. Shirripa Spagnolo, “Generalized Bessel-Gauss beams,” J. Mod. Optics 43, 1155–1166 (1996).
12.	H. Kogelnik and T. Li, “Laser beams and resonators,” App. Opt. 5, 1550–1567 (1966). [CrossRef]
13.	A. Wünsche, “Analogien zwischen ausserordentlichen und ordentlichen Wellen nach nichtorthogonaler Koordinatentransformation und die parabolischen Näherungsgleichungen,” Ann. Phys. 25, 113–135 (1970). [CrossRef]
14.	A. Wünsche, “Generalized Gaussian beam solutions of paraxial optics and their connections to a hidden symmetry,” J. Opt. Soc. Am. A 6, 1320–1329 (1989). [CrossRef]
15.	C. J. R. Sheppard, “High aperture beams,” Journal of the Optical Society of America A 18, 1579–1587 (2001). [CrossRef]
16.	A. E. Siegman, “Hermite-Gaussian functions of complex arguments as optical-beam eigenfunctions,” J. Opt. Soc. Am. 63, 1093–1094 (1973). [CrossRef]
17.	R. Pratesi and L. Ronchi, “Generalized Gaussian beams in free space,” J. Opt. Soc. Am. 67, 1274–1276 (1977). [CrossRef]
18.	I. S. Gradshteyn and I. M. Ryzhik, Tables of Integrals, Series, and Products (Academic Press, New York, 1994).
19.	S. Saghafi and C. J. R. Sheppard, “Near field and far field of elegant Hermite-Gaussian and Laguerre-Gaussian modes,” J. Mod. Optics 45, 1999–2009 (1998). [CrossRef]
20.	M. Porras, R. Borghi, and M. Santarsiero, “Relationship between elegant Laguerre-Gauss and Bessel-Gauss beams,” J. Opt. Soc. Am. A 18, 177–184 (2001). [CrossRef]
21.	M. A. Bandres and J. C. Gutierrez-Vega, “Circular beams,” Opt. Lett. 33, 177–179 (2008). [CrossRef] [PubMed]
22.	V. V. Kotlyar, R. V. Skidanov, S. N. Khonina, and V. A. Soifer, “Hypergeometric modes,” Opt. Lett. 32, 742–744 (2007). [CrossRef] [PubMed]
23.	E. Karimi, G. Zito, B. Piccirillo, L. Marrucci, and E. Santamato, “Hypergeometric-Gaussian beams,” Opt. Lett. 32, 3053–3055 (2007). [CrossRef] [PubMed]
24.	M. A. Bandres and J. C. Gutierrez-Vega, “Cartesian beams,” Opt. Lett. 32, 3459–3461 (2007).25. [CrossRef] [PubMed]
25.	J. C. Gutiérrez-Vega, “Fractionalization of optical beams: I. Planar analysis,” Opt. Lett. 11, 1521–1523 (2007). [CrossRef]
26.	J. C. Gutiérrez-Vega, “Fractionalization of optical beams: II. Elegant Laguerre-Gaussian modes,” Optics Express 15, 6300–6313 (2007). [CrossRef] [PubMed]
27.	C. F. R. Caron and R. M. Potvliege, “Bessel-modulated Gaussian beams with quadratic radial dependence,” Opt. Comm. 164, 83–93 (1999). [CrossRef]

OCIS Codes
(050.1940) Diffraction and gratings : Diffraction
(070.0070) Fourier optics and signal processing : Fourier optics and signal processing
(140.3300) Lasers and laser optics : Laser beam shaping

ToC Category:
Physical Optics

History
Original Manuscript: August 13, 2008
Revised Manuscript: December 11, 2008
Manuscript Accepted: January 7, 2009
Published: February 24, 2009

Citation
Colin J.R. Sheppard, "Beam duality, with application to generalized Bessel-Gaussian, and Hermite- and Laguerre- Gaussian beams," Opt. Express 17, 3690-3697 (2009)
http://www.opticsinfobase.org/oe/abstract.cfm?URI=oe-17-5-3690

Sort: Author | Year | Journal | Reset

References

S. A. Collins, "Lens-system diffraction integral written in terms of matrix optics," J. Opt. Soc. Am. A 60, 1168-1177 (1970). [CrossRef]
A. W. Lohmann, "Ein neues Dualitatsprinzip in der Optik," Optik 11, 478-488 (1954).
A. W. Lohmann, "Duality in optics," Optik 89, 93-97 (1992).
F. Riesz and B. Szökefalvi-Nagy, Functional Analysis (Dover, New York, 1990).
M. J. Caola, "Self-Fourier functions," J. Phys. A 24, L1143-L1144 (1991). [CrossRef]
A. W. Lohmann and D. Mendlovic, "Self-Fourier objects and other self-transform objects," J. Opt. Soc. Am. A 9, 2009-2012 (1992). [CrossRef]
C. J. R. Sheppard and S. Saghafi, "Flattened light beams," Opt. Comm. 132, 144-152 (1996). [CrossRef]
C. J. R. Sheppard and T. Wilson, "Gaussian-beam theory of lenses with annular aperture," IEE J. Microwaves Opt. Acoustics 2, 105-112 (1978). [CrossRef]
F. Gori, G. Guatteri, and C. Padovani, "Bessel-Gauss beams," Opt. Comm. 64, 491-495 (1987). [CrossRef]
J. Durnin, J. J. Miceli, Jr., and J. H. Eberly, "Diffraction-free beams," Phys. Rev. Lett. 58, 1499-1501 (1987). [CrossRef] [PubMed]
V. Bagini, F. Frezza, M. Santarsiero, G. Schettini, and G. Shirripa Spagnolo, "Generalized Bessel-Gauss beams," J. Mod. Optics 43, 1155-1166 (1996).
H. Kogelnik and T. Li, "Laser beams and resonators," App. Opt. 5, 1550-1567 (1966). [CrossRef]
A. Wünsche, "Analogien zwischen ausserordentlichen und ordentlichen Wellen nach nichtorthogonaler Koordinatentransformation und die parabolischen Näherungsgleichungen," Ann. Phys. 25, 113-135 (1970). [CrossRef]
A. Wünsche, "Generalized Gaussian beam solutions of paraxial optics and their connections to a hidden symmetry," J. Opt. Soc. Am. A 6, 1320-1329 (1989). [CrossRef]
C. J. R. Sheppard, "High aperture beams," Journal of the Optical Society of America A 18, 1579-1587 (2001). [CrossRef]
A. E. Siegman, "Hermite-Gaussian functions of complex arguments as optical-beam eigenfunctions," J. Opt. Soc. Am. 63, 1093-1094 (1973). [CrossRef]
R. Pratesi and L. Ronchi, "Generalized Gaussian beams in free space," J. Opt. Soc. Am. 67, 1274-1276 (1977). [CrossRef]
I. S. Gradshteyn and I. M. Ryzhik, Tables of Integrals, Series, and Products (Academic Press, New York, 1994).
S. Saghafi and C. J. R. Sheppard, "Near field and far field of elegant Hermite-Gaussian and Laguerre-Gaussian modes," J. Mod. Optics 45, 1999-2009 (1998). [CrossRef]
M. Porras, R. Borghi, and M. Santarsiero, "Relationship between elegant Laguerre-Gauss and Bessel-Gauss beams," J. Opt. Soc. Am. A 18, 177-184 (2001). [CrossRef]
M. A. Bandres and J. C. Gutierrez-Vega, "Circular beams," Opt. Lett. 33, 177-179 (2008). [CrossRef] [PubMed]
V. V. Kotlyar, R. V. Skidanov, S. N. Khonina, and V. A. Soifer, "Hypergeometric modes," Opt. Lett. 32, 742-744 (2007). [CrossRef] [PubMed]
E. Karimi, G. Zito, B. Piccirillo, L. Marrucci, and E. Santamato, "Hypergeometric-Gaussian beams," Opt. Lett. 32, 3053-3055 (2007). [CrossRef] [PubMed]
M. A. Bandres and J. C. Gutierrez-Vega, "Cartesian beams," Opt. Lett. 32, 3459-3461 (2007).25. [CrossRef] [PubMed]
J. C. Gutiérrez-Vega, "Fractionalization of optical beams: I. Planar analysis," Opt. Lett. 11, 1521-1523 (2007). [CrossRef]
J. C. Gutiérrez-Vega, "Fractionalization of optical beams: II. Elegant Laguerre-Gaussian modes," Optics Express 15, 6300-6313 (2007). [CrossRef] [PubMed]
C. F. R. Caron and R. M. Potvliege, "Bessel-modulated Gaussian beams with quadratic radial dependence," Opt. Comm. 164, 83-93 (1999). [CrossRef]

Cited By

Alert me when this paper is cited

OSA is able to provide readers links to articles that cite this paper by participating in CrossRef's Cited-By Linking service. CrossRef includes content from more than 3000 publishers and societies. In addition to listing OSA journal articles that cite this paper, citing articles from other participating publishers will also be listed.

Click here to see a list of articles that cite this paper