Abstract
Based on the ray transformation matrix formalism, we propose a simple method for generation of paraxial beams performing anisotropic rotation in the phase space during their propagation through isotropic optical systems. The widely discussed spiral beams are the particular case of these beams. The propagation of these beams through the symmetric fractional Fourier transformer is demonstrated by numerical simulations.
©2010 Optical Society of America
1. Introduction
The analysis and synthesis of spiral paraxial beams, whose transversal intensity distribution rotates around the axis without changing its form (except for some scaling) during its propagation in free space, have been treated in many publications [1–5]. Here we propose an alternative approach for the description of spiral beams based on the ray transformation matrix formalism which is suitable for the analysis of their propagation through any isotropic paraxial optical system (IOS). Moreover, this method is also valid for the design of beams which perform other types of phase-space rotations during their propagation through an IOS.
Beam propagation through a lossless paraxial optical system is described by the canonical integral transformation [6], represented by operator , whose kernel is parameterized by the real symplectic ray transformation matrix T, which relates the position and direction of an incoming ray to those of the outgoing ray
Here we use dimensionless variables. Note that the variables form, in paraxial approximation, optical phase space. Using the modified Iwasawa decomposition [7], the properly normalized ray transformation matrix T can be written as a product of three matrices,
where the first matrix with the symmetric matrix represents a lens, the second matrix , defined by the positive definite symmetric matrix , corresponds to a scaler, and the third matrix is orthogonal and describes rotations in phase space. Instead of one can use the unitary matrix , regarding that . There are three basic transforms related to the rotations in phase space: the fractional Fourier transform (FrFT), signal rotator and gyrator, associated with unitary matricesrespectively. In particular, the FrFT is responsible for the rotation in and planes at angles and , respectively. The signal rotator produces the rotation in and planes. The gyrator operator describes cross and rotations. Note that a cascade of two rotators defined by and corresponds to a phase-space rotator described by the matrix . The experimental setups capable to perform these phase-space rotators were discussed in Ref [8].2. Isotropic and anisotropic phase-space rotators
All the transforms associated with orthogonal ray transformation matrix produce rotation in phase space. Nevertheless, one of them, corresponding to the symmetric FrFT, , is inherently different. Indeed, its unitary matrix is scalar, , and commutes with any unitary matrix. The while the determinant of the matrix describing other phase-space rotators, indicated as which can be expressed as a product of , and equals one: . The last transforms, which we will further call as anisotropic rotators, describe the movements on the orbital Poincaré sphere [9,10].
Any IOS, which may consist of centered spherical lenses, mirrors and free space intervals, is described by the ray transformation matrix with scalar , , and . Therefore the matrices , , and are also scalar ones, where , , and . In particular, for free space propagation (Fresnel diffraction) , and the angle φ is limited: . We observe that in the case of IOS, the orthogonal matrix in the decomposition (1) corresponds to the symmetric FrFT. Since the lens and scaler transformations don't change the form of the beam intensity, then the intensity distribution at the output plane of the IOS is described by the symmetric FrFT power spectrum with a proper scaling . Correspondingly, the construction of the spiral beams during the propagation through the IOS reduces to the generation of such beams for the symmetric fractional Fourier transformer. We recall that beam propagation through optical fiber with a quadratic refractive index profile corresponds to the symmetric FrFT of its complex field amplitude at angles φ defined by the propagation distance z and the refractive index gradient g: φ = gz [11]. Note that in this case φ can cover the interval of several periods of 2π. Other fractional Fourier transformers can be constructed using one or two spherical lenses.
The realization of other phase-space rotators, , requires the application of asymmetric optical elements such as cylindrical lenses or mirrors. Nevertheless, it is possible, as for the spiral beams, to design beams Ψ(r) for which the evolution of their intensity distribution during the propagation through the IOS (symmetric FrFT, ) and the anisotropic phase-space rotator will be identical
Below the operator for the canonical transform associated with orthosymplectic matrix T will be denoted by .3. Design of rotating beams
Let us consider the way how to generate the beams which satisfy Eq. (2). Note that any may be factored as , where is also unitary matrix [12]. It has been shown [13,14] that for any unitary matrix with elements () there exists a complete orthonormal set of Gaussian modes ,
which are eigenfunctions for the transform . The corresponding eigenvalues are given by . Moreover, these modes are also eigenfunctions for the symmetric FrFT, defined by , with eigenvalues . For the formula (3) reduces to Hermite-Laguerre-Gaussian modes [15]: . In particular, and are Hermite-Gaussian (HG) and Laguerre-Gaussian (LG) modes respectively:where , , .HG modes are eigenfunctions for the FrFT at angles (γ,−γ) and therefore at any pair of angles and. LG modes are eigenfunctions for the signal rotator with eigenvalue . Note that mode satisfies Eq. (2) for .
A linear combination of the orthosymplectic modes of the same order and is also an eigenfunction for the symmetric FrFT for all possible angles φ. It means that all the modes in this decomposition accumulate the same Gouy phase during the propagation through an IOS or the corresponding symmetric fractional Fourier transformer. Similarly, a linear superposition of the modes with the same difference of the indices, , is an eigenfunction for the transform associated with for any γ.
Analogously, a beam which undergoes the same transformation during propagation through the symmetric fractional Fourier transformer, except for a constant phase factor, as during the propagation through the optical system described by the one parametric unitary matrix ,
can also be represented as a linear combination of modes . Using the relation the last equation can be rewritten in the following formWe observe that has to be an eigenfunction of the transform described by the unitary matrix . As we have mentioned above the modes are eigenfunctions for the symmetric FrFT, , and for the phase-space rotator with eigenvalues and respectively and therefore
where . Representing γ as , where v indicates the velocity of the phase-space rotation associated with during symmetric FrFT at angle φ, we can rewrite ϕ as . Then a linear combination of these modeswith the arbitrary complex and the mode indices m and n, which satisfy the relationis also an eigenfunction of the canonical integral transform :If v is irrational we have a trivial case where only one mode satisfies relation (8). Moreover, it is easy to see that for the beam anisotropically rotating in phase space during symmetric FrFT is given by
where n is fixed. Similar expression for fixed m and arbitrary n can be obtained for . Since any field amplitude can be represented as a linear superposition of the orthonormal modes , it also can be written as a sum of the beams rotating in the phase space with the same velocity aswhere is given by Eq. (10) and .Note that the sign of the parameter v indicates the direction of the rotation, while its absolute value corresponds to the number of complete loops which beam makes during the 2π-interval of φ. It can be bigger or less than one if a beam has certain symmetry in the phase space. The velocity of rotation is defined by the indices of any pair of modes and in the composition (7) as a ratio of the differences of the eigenvalues of these modes for symmetric FrFT and anisotropic phase-space rotator
with nonzero integers k and l. Note that a linear combination of any two modes with fixed and such indices that and always forms an anisotropically rotating beam. Since phase-space rotators are periodic with period (the symmetric FrFT except for the phase): and and , we observe from Eq. (9) that is an eigenfuction of the symmetric FrFT at angles . Taking into account the periodicity of the rotators [16] we can conclude that is an eigenfunction for the operator . Similarly, one can prove that is an eigenfunction for the operator .As an example we consider a family of rotating beams with the rotation velocity , which can be expressed in the integral form (used for numerical simulations) or according with Eq. (10) by series
The gyrator matrix defines anisotropic phase-space rotator . For it reduces to the signal rotator, are LG modes, and is a spiral beam shown in Fig. 1a . For the beam rotating in other phase-space planes is obtained (see Fig. 1b). If then are HG modes and the beam , displayed in Fig. 1c, performs the anisotropic rotations in and planes during the propagation. In the video connected to the figure the evolution of the intensity distribution of these beams during their propagation through the symmetric fractional Fourier transformer, which can be an optical fiber, is shown. Note that are eigenfunctions for the symmetric FrFT for angle and we display only a part of the loop corresponding to the intensity evolution in the interval (observe that the bottom circle of the spiral beam is at the left side in the end of the video). For the spiral beam we observe the simple rotation of the intensity distribution at the transversal plane , while for other ones the intensity distribution is changing since the anisotropic phase-space rotation is performed in another plane.
3. Conclusion
We have shown that beams performing anisotropic rotation in phase space during their propagation in isotropic systems may be represented as a linear combination of the Gaussian modes expressed by Eq. (3). While the parameter defines the plane of the phase-space rotation, the indices of the modes participated in the beam synthesis determine the velocity of the rotation v. These beams can be generated using spatial light modulators. The application of these beams for light-matter interaction is under investigation. We only mention that spiral beams have been found useful for optical trapping.
Acknowledgments
T. Alieva thanks Spanish Ministry of Education and Science (project TEC2008-04105/TEC).
References and links
1. E. Abramochkin and V. Volostnikov, “Spiral-type beams,” Opt. Commun. 102(3-4), 336–350 (1993). [CrossRef]
2. E. Abramochkin and V. Volostnikov, “Spiral-type beams: optical and quantum aspects,” Opt. Commun. 125(4-6), 302–323 (1996). [CrossRef]
3. E. Abramochkin and V. Volostnikov, “Spiral light beams,” Phys. Usp. 47(12), 1177–1203 (2004). [CrossRef]
4. A. Y. Bekshaev, M. S. Soskin, and M. V. Vasnetsov, “Centrifugal transformation of the transverse structure of freely propagating paraxial light beams,” Opt. Lett. 31(6), 694–696 (2006). [CrossRef] [PubMed]
5. A. Bekshaev and M. Soskin, “Rotational transformations and transverse energy flow in paraxial light beams: linear azimuthons,” Opt. Lett. 31(14), 2199–2201 (2006). [CrossRef] [PubMed]
6. S. A. Collins Jr., “Lens-system diffraction integral written in terms of matrix optics,” J. Opt. Soc. Am. 60(9), 1168–1177 (1970). [CrossRef]
7. R. Simon and K. B. Wolf, “Structure of the set of paraxial optical systems,” J. Opt. Soc. Am. A 17(2), 342–355 (2000). [CrossRef]
8. J. A. Rodrigo, T. Alieva, and M. L. Calvo, “Optical system design for orthosymplectic transformations in phase space,” J. Opt. Soc. Am. A 23(10), 2494–2500 (2006). [CrossRef]
9. G. F. Calvo, “Wigner representation and geometric transformations of optical orbital angular momentum spatial modes,” Opt. Lett. 30(10), 1207–1209 (2005). [CrossRef] [PubMed]
10. T. Alieva and M. J. Bastiaans, “Orthonormal mode sets for the two-dimensional fractional Fourier transformation,” Opt. Lett. 32(10), 1226–1228 (2007). [CrossRef] [PubMed]
11. H. M. Ozaktas, Z. Zalevsky, and M. A. Kutay, The Fractional Fourier Transform with Applications in Optics and Signal Processing (Wiley, New York, 2001).
12. M. J. Bastiaans and T. Alieva, “First-order optical systems with unimodular eigenvalues,” J. Opt. Soc. Am. A 23(8), 1875–1883 (2006). [CrossRef]
13. T. Alieva and M. J. Bastiaans, “Mode mapping in paraxial lossless optics,” Opt. Lett. 30(12), 1461–1463 (2005). [CrossRef] [PubMed]
14. A. Wünsche, “General Hermite and Laguerre two-dimensional polynomials,” J. Phys. Math. Gen. 33(17), 1603–1629 (2000). [CrossRef]
15. E. Abramochkin and V. Volostnikov, “Generalized Gaussian beams,” J. Opt. A, Pure Appl. Opt. 6(5), S157–S161 (2004). [CrossRef]
16. T. Alieva and A. Barbé, “Self-fractional Fourier images,” J. Mod. Opt. 46, 83–99 (1999).