The limits of the paraxial approximation for a laser beam under ABCD transformations is established through the relationship between a parameter concerning the beam paraxiality, the paraxial estimator, and the beam second-order moments. The applicability of such an estimator is extended to an optical system composed by optical elements as mirrors and lenses and sections of free space, what completes the analysis early performed for free-space propagation solely. As an example, the paraxiality of a system composed by free space and a spherical thin lens under the propagation of Hermite-Gauss and Laguerre-Gauss modes is established. The results show that the the paraxial approximation fails for a certain feasible range of values of main parameters. In this sense, the paraxial estimator is an useful tool to monitor the limits of the paraxial optics theory under ABCD transformations.
© 2011 Optical Society of America
The concept of paraxiality applied to optical beams refers to how accurate is the paraxial approximation (PA) for describing the propagation of a light beam through a given optical system. The ondulatory foundation of the PA is based on the assumption that the complex amplitude of the field slowly varies when compared with the fast oscillatory phase factor. In other words, if the beam is expanded in its plane wave spectrum, the PA holds if and only if the dispersion of the propagation directions of these plane waves is smaller than a determined value. From a geometrical optics viewpoint, the PA is the key assumption to be satisfied for describing the effects of an optical system, composed, for example, by mirrors and/or lenses on light rays. In this frame, rays are near or almost parallel to the optical axis of the system such that the mathematical formulation reduces to a matricial analysis, the so-called ray transfer matrix analysis (or ABCD matrix analysis) taking into account a linear relation between the output and input ray quantities (positions and slopes). The matricial operator, called ABCD matrix, indicates the system effect on the ray tracing. For astigmatic systems, such a matrix must necessarily be 4×4 so that the ABCD theory is bidimensional (two transverse directions) . For non-astigmatic systems, the tranfer matrix reduces to 2×2 and only one transverse dimension is necessary . The foundations of the ABCD theory are in detail tackled in the most standard laser textbooks [3, 4]. The fulfillment of the PA is the basis of the development of the paraxial wave optics and derived branches of laser optics [3, 4]. It is within the PA framework that imaging properties of lenses and stability of resonators occur . To the extent that the PA fails, the clarity of an image can suffer and unstabilities within a resonator can appear among other undesired effects. Therefore, if one is primarily concerned with minimizing the negative effects concerning the break of the PA validity, it is necessary to predict the cases where the PA could be not strictly met. However, this is not a trivial task because the paraxial-nonparaxial limit is not accurately delimited and depends on both, the optical system characteristics and propagating beam structure. In free space propagation, the PA validity problem was tackled by introducing a single parameter, the so-called paraxial estimator, quantifying the paraxiality of a laser beam [6, 7]. This parameter is based on the comparison of the energy fluxes associated with the full Helmholtz equation and its first-order approximation often called paraxial equation [8, 9]. The idea for quantifying the PA validity by mean of a single parameter was also developed by other authors . In all these cases, the optical system was assumed to be the free space. No analysis on the validity limits of the PA was performed in more complex optical system including (non-astigmatic and astigmatic as well) optical elements like lens and mirrors in addition to the free space.
The lack of such an issue encouraged us to study the PA validity for laser beams under ABCD transformations by using the tool of the paraxial estimator, extending its effectiveness to systems composed by optical elements as lenses and/or mirrors, in addition to the free space. The analysis takes advantage of the relationship between the paraxial estimator and the second order moments , that possesses well-defined transformation properties under beam propagation through an ABCD system. The paper is structured as follows: Section 2 reviews the approaches on the beam second-order moments and its transformation properties upon ABCD transformations. Section 3 points out the relationship between the paraxial estimator and the beam second moment matrix transformations. In Section 4, the paraxial estimator is derived for Hermite-Gauss and Laguerre-Gauss modes crossing an optical system composed by a free space section and a thin lenses. Numerical simulations to analyze the validity of the PA on those systems are also performed. Finally, Section 5 gives the concluding remarks.
2. Beam second-order moments and ABCD optical systems
Let us consider a coherent monochromatic beam that propagates (and spreads) in the z > 0 direction. Its complex amplitude in a transverse plane (fixed value of z) is given by the function E(x,y), where we assume that the beam waist (minimum transverse size), wm, is located at the plane z = 0. This plane is the input plane to a single or cascade ABCD system. The plane wave decomposition of such a beam around the z axis is done by means of the bidimensional Fourier transform (FT) 13, 14].
For a beam whose complex amplitude is E (x,y) in the plane z = 0, its WD is defined as15]. All the ten independent second-order moments of a beam can conveniently be arranged into a 4 × 4 real symmetric positive-definite matrix 
The second-order moment matrix M is defined only for a fixed transversal plane (in our particular case, for the input plane z = 0), so it may change (and in general does) as the beam propagates through an optical system to the output plane z = z′. In this paper we consider the propagation through any two dimensional ABCD lossless optical system, including anisotropic (astigmatic) optical systems that are described by a 4 × 4 matrix called characteristic ray-transformation matrix:17, 18] 1]: 19]. The same Authors have also treated the inclusion of stochastic fields in complex ABCD optical systems . It could be of wider interest in extending the formalism developed here for including complex-valued matrices and stochastic fields. This will be done in a future work.
3. Beam paraxiality under ABCD transformations
In Ref. , a parameter so-called the paraxial estimator, 𝒫, quantifying the validity of the paraxial approximation in free space propagation was introduced and applied in analyzing the paraxiality of Hermite-Gaussian, Laguerre-Gaussian, and Bessel-Gaussian modes. The definition of this parameter was based on the comparison between the propagation invariants of Helmholtz and paraxial equations. It was established that 𝒫 is a real scalar value less than one. As 𝒫 tends to unit, the PA fulfils more robustly for a given light beam. Working in the conjugate space, 𝒫 is expressed in terms of the wavelength of the light, λ, and the beam second-order moments in the conjugate space muu and mvv, that are associated with the spread of the beam in the transverse plane. Explicitly ,Eq. (8), one can evaluate the paraxial estimator plane to plane using the second-order moment matrix transformation law [recall Eq. (7)]. In particular, that evaluation can be done at the input plane in which the paraxial estimator is denoted by 𝒫 and at the output plane in which the paraxial estimator is denoted by 𝒫′. In this case, we are analyzing the validity of the PA for a given system between both planes. The paraxial estimator at the output plane z = z′ will be Eq. (7) we can relate the required output moments with the input moments as follows:
The study of the validity of the PA on a given ABCD system is then reduced to calculate the trace of 𝕄′pp using Eq. (10) and introduce the results in Eq. (9). Also, it is obvious from Eqs. (9,10) that 𝒫′ does not depend on the submatrices 𝔸 and 𝔹 of the ABCD system. This fact is important because it directly yields that the single free-space propagation does not change this system paraxiality. On the contrary, the inclusion of linear optical elements as mirrors and lenses, in addition to the free space, could significatively alter the system paraxiality as it will showed below.
4. Numerical examples: paraxiality for free-space plus a thin lens under Hermite-Gauss and Laguerre-Gauss propagation
In order to show the powerfulness of the paraxial estimator for estimating the validity of the PA for ABCD systems, we will quantitatively analyze the findings of Section 3 by its application to widely-used optical systems composed by free-space and spherical thin lenses under propagation of Laguerre-Gauss (LG) and Hermite-Gauss (HG) modes. Numerical examples for single free-space (FS), single spherical thin lens (TL) and free space followed by a thin lens (FS+TL) will be given. The later is an example of a cascade system. All these systems are illustrated in Fig. 1. On the other hand, LG and HG are natural modes of the transverse distribution of the electric field within a laser cavity (for circular and rectangular symmetries) characterized by two measurable parameters of length: the wavelength λ and the transverse size parameter w0, this last encoded in its second moments. The HG modes in the waist transverse plane z = 0 are given in rectangular coordinates (x,y) by3]. From Eqs. (11–12), one is able to calculate all the second moments of HG modes at the beam waist plane z = 0, MHG, by using Eq. (3) giving Eq. (13) by replacing all (2m + 1) and (2n + 1) factors by the factor 2p+ |ℓ|. With explicit values for the second moments, the paraxial estimator can be then explicitly calculated from Eq. (9) for determining the validity of the paraxial approximation in systems composed by free space and thin lenses.
4.1. Single systems: Free-space and Generalized thin lens
The free-space ABCD system is illustrated in Fig. 1 (a). The ray transformation matrix between the input (z = 0) and output (z = z′) planes is then given byEq. (7) one finds that Equation (16) coincides with the result given in Ref.  from a direct calculus of the paraxial estimator as the ratio of Helmholtz and paraxial energy invariants. The criterion to set the paraxiality scale of 𝒫 follows the criterion for the validity limits of the paraxial approximation for the fundamental Gaussian mode (N = 0) established in most standard textbooks. For instance, after a judicious analysis, Siegman  concluded that the paraxial optical beams can be focused or can diverge at semi-cone angles up to 28°(0.5 rad) before significant corrections to the paraxial wave approximation become necessary. Because θ = λ/(πw0), the use of Eq. (16) gives 𝒫 = 0.94 corresponding to w̃0 ∼ 0.64. From this, the scale setting for the paraxial estimator is established. The paraxial approximation may be a questionable hypotheses for 𝒫-values of the order of and lower than 0.94. In the opposite limit, w̃0 ≫ 1, the paraxial estimator quickly tends to unit and the Gaussian beam is fully paraxial. These limits were rigorously investigated in the interesting paper of Seshadri. On the other hand, higher orders modes becomes nonparaxial for higher values of w̃0 since 𝒫 decreases when N increases. For example, for N = 10, the PA begins to be critical from w̃0 ∼ 2.15, or for a real value of the minimum spot size of w̃m ≈ 7.13. Although the free space solely does not affect the beam paraxiality, it will affect if it is part of a cascade of optical systems as we will see in further examples.
Now, we analyze an ABCD system only composed by a generalized thin lens as showed in Fig. 1 (b). Here the thin lens assumes negligible thickness so that δ ≈ 0. The ray transformation matrix is defined byEq. (16). Notice that Eq. (20) has an additional term when compared with the free space propagation. Contrary to what happens for this later system, the PA validity for a spherical thin lens system becomes questionable in the limit w̃0 ≫ 1. In this case, the system paraxiality is dependent on the ratio (w0/f) for a given mode N. Whenever w0 and f are of the same order of magnitude, then the paraxial estimator may deviate from unit and the PA validity fails. Of course, this effect is more notable for higher order modes. In many practical applications such as laser scanning, laser printing and laser fusion, it is desirable to generate the smallest spot size. As the most of classic textbooks show for the case of the Gaussian beam , this may be achieved by use of the thickest incident beam and the shortest focal length for a fixed wavelength. In such cases, we have w0 ≈ f. Since the lens should capture most of the incident beam, its diameter D must be at least w0. The paraxial theory predicts that a large-diameter Gaussian beam with planar wavefront impinges upon a thin lens of diameter D = w0 generates a focused spot of diameter w′0 ≅ 4λF#/π . In this frame, Eq. (20) becomes Figure 2 depicts a density plot of the paraxial estimator for free space and spherical thin lens systems systems as indicated in the caption of the figure. w̃0 is ranged in [0.5, 105] and f̃ = f/λ in [104, 106]. A such range covers a wide range of suitable experimental values. For example, for an laser with λ ≈ 0.5 μm, the w0–range lies in [0.25 μm, 5 cm] and the f –values lie in the interval f ∈ [5 mm, 50 cm]. It is clear from the graphics that the paraxiality of the spherical TL system does not depend on the focal length in the limit w̃0 → 0, being 𝒫′ governed by the free space formulae. However, the PA validity of the TL system could be questionable in the opposite limit w̃0 ≫ 1. Even though this is a well known-result, it has not been quantified previously. As an example, the symbol “*” in Fig. 2 (b) indicates the value of the paraxial estimator of a spherical TL system with f = 10 mm crossed by a Gaussian beam of w0 = 10 mm. A such system is out of the paraxial region (𝒫′ = 0.75). On the contrary, a lens with f = 50 mm (symbol “+”) gives 𝒫′ = 0.99 so that this system is fully paraxial and, therefore, can be correctly described by the ABCD theory. This shows the powerfulness of the paraxial estimator. In fact, this single parameter, that in addition is easily computable, is a good estimator for predicting the PA validity for a ABCD system. In the following, we combine both, the free space and the spherical thin lens to form a cascade system. Its paraxiality properties could differ from the properties of their individual properties as we will see in the next subsection.
4.2. A cascade system: free space portion plus spherical thin lens
A cascade optical system is formed by two or more optical systems. Let us assume that the ABCD system is now composed by the combination of free space plus a spherical thin lens of focal f with the (beam waist) input plane placed at z = 0 and the output plane at the exit lens plane z = z′ so that the distance among both planes is d +δ ∼ d as illustrated by Fig. 1 (c). First of all, we derive the paraxial estimator. The ray transformation matrix of this composite system is TFL = TLTF, where TF and TL are defined in the Eq. (14) and Eq. (17), respectively. That way, the second-order matrix transformation law under this system between input and output planes is , from where one obtainsEquation (23) depends on the separation distance between the input and output planes since 𝒫′ accounts the curvature phase of the beam at the lens entrance and its transformation features. If d = 0, the beam waist plane coincides with the lens plane and Eq. (23) reduces to Eq. (20). If one has a collimated beam exiting from the lens (d = f) then . As the relationship between the output and input beam waist sizes is given by w′0 = fλ/πw0 (see for example Ref. ), then the paraxial estimator at the output plane, 𝒫′, reduces to . This justly corresponds to the free space expression for a beam with waist size w′0. Hence, 𝒫′ really estimates the paraxiality of the exiting beam supporting the relationship between the paraxial estimator and the beam second order moments. On the other hand, the paraxial estimator will give rise identical value if the input plane is symmetrically shifted from the focal plane: a exiting beam will acquire the same phase curvature if d = f + ɛ or if d = f – ɛ, being ɛ < f. Both output beams thus corresponding to the same paraxiality.
Figure 3 depicts a density plot of 𝒫′ for the free space plus spherical thin lens system crossed by a Gaussian beam (N = 0) in terms of both the normalized beam waist parameter w̃0 and the ratio d/f for a fixed focal length f = 2 × 104λ. The dotted line is a reference for the paraxial-nonparaxial limit at the input plane, 𝒫 = 0.94 that was included for comparative purposes. It is clear that the PA validity at the output plane is strongly dependant on the distance among the beam waist plane and the lens entrance plane. For instance, a beam with waist size of w̃0 = 2.0 that is paraxial at the input plane, 𝒫 = 0.99, and symbolized by “+” in the figure, becomes nonparaxial at the output plane (𝒫′ = 0.89) if d/f = 5. This same beam, now placed at d/f = 2 (symbolized by “*” in the figure), becomes paraxial at the output plane: 𝒫′ = 0.99. Hence, the distance between input and output planes is critical for evaluating the PA validity. Finally, notice that around the collimation zone d ≈ f, there would be no restrictions on the system paraxiality in the limit w̃0 → 0 since 𝒫′ ≃ 1. This would imply that an ultra-focalized beam (for instance w̃0 ≈ 0.4) whose paraxial estimator at the input is 𝒫 = 0.84 would give paraxial at the output plane. This apparent inconsistency is due to the failure of the paraxial approximation of the incident beam. In such case, the ABCD theory is not suitable to predict the beam characteristics at the lens exit. The fulfillment of the PA at the entrance plane is a mandatory condition in order to apply the results given by Eq. (23).
The effect of ABCD transformations on beam paraxiality was quantitatively analyzed by mean of the paraxial estimator, through its relationship with the beam second-order moments. The paraxial approximation validity of optical systems constituted by a section of free space and a spherical thin lens for Hermite-Gauss and Laguerre-Gauss propagating modes was analyzed. For a thin lens system, the PA validity could fail for large beam waist size on contrary to what happens for the free space propagation solely. Also, the beam paraxiality was found dependent on the distance between the input and output in a free space plus thin lens system. In summary, the results have shown that the beam paraxiality can suffer alterations for a feasible range of values of the beam and system parameters under ABCD transformations. Hence, the paraxial estimator is a useful tool for predicting the PA validity for single (and cascade as well) ABCD systems.
The Authors thank A. Cámara and J. A. Rodrigo for fruitful discussions. This work was supported by Servicio Nacional de Aprendizagem Industrial, Departamento Regional Bahia (SENAI-DR/BA), Brazil. Financial support from the Conselho Nacional de Desenvolvimento Cientifíco e Tecnológico (CNPq), Brazil, under project 477260/2010-1 and Spanish Ministry of Science and Innovation under project TEC 2008-04105 is acknowledged. P.V. acknowledges a PQ fellowship of CNPq.
References and links
1. R. Simon, E. C. G. Sudarshan, and N. Mukunda, “Anisotropic Gaussian Schell-model beams: passage through optical system and associated invariants,” Phys. Rev. A 31, 2419–2434 (1985). [CrossRef] [PubMed]
3. A. E. Siegman, Lasers, (University Science Books, 1986), Chaps. 15–21.
4. B. E. A. Saleh and M. C. Teich, Fundamentals of Photonics, (John Wiley, 1991), Chaps. 1–4,7–9,14. [CrossRef]
5. H. Kogelnik, “Imaging of Optical Modes -Resonators and Internal Lenses”, Bell Syst. Opt. Tech. J. 44, 455–494 (1965).
8. P. Vaveliuk, G. F. Zebende, M. A. Moret, and B. Ruiz, “Propagating free-space nonparaxial beams,” J. Opt. Soc. Am. A 24, 3297–3302 (2007). [CrossRef]
9. M. A. Bandres and M. Guizar-Sicairos, “Paraxial group,” Opt. Lett. 34, 13–15 (2009). [CrossRef]
12. J. W. Goodman, Introduction to Fourier Optics (McGraw-Hill, 1968).
13. K. Sundar, N. Mukunda, and R. Simon, “Coherent-mode decomposition of general anisotropic Gaussian Schell-model beams,” J. Opt. Soc. Am. A 12, 560–569 (1995). [CrossRef]
14. G. Nemes and A. E. Siegmam, “Measurement of all ten second-order moments of an astigmatic beam by the use of rotating simple astigmatic (anamorphic) optics,” J. Opt. Soc. Am. A 11, 2257–2264 (1994). [CrossRef]
15. A. E. Siegman, G. Nemes, and J. Serna, in Proceedings of DPSS (Diode Pumped Solid State) Lasers: Applications and Issues, Vol. 17 of OSA Trends in Optics and Photonics (Optical Society of America, 1998), paper MQ1.
16. S. Ramee and R. Simon, “Effect of holes and vortices on beam quality,” J. Opt. Soc. Am. A 17, 84–94 (2000). [CrossRef]
17. M. Nazarathy and J. Shamir, “First-order optics–a canonical operator representation lossless systems,” J. Opt. Soc. Am. 72, 356–364 (1982). [CrossRef]
18. E. C. G. Sudarshan, N. Mukunda, and R. Simon, “Realization of first-order optical systems using thin lenses,” Opt. Acta 32, 855–872 (1985). [CrossRef]
19. H. T. Yura and S. G. Hanson, “Optical beam wave propagation through complex optical systems,” J. Opt. Soc. Am. A 4, 1931–1948 (1987). [CrossRef]
20. H. T. Yura, B. Rose, and S. G. Hanson, “Dynamic laser speckle in complex ABCD optical systems” J. Opt. Soc. Am. A 15, 1160–1166 (1998). [CrossRef]