Abstract
We introduce a new class of paraxial optical beams exhibiting discrete-like diffraction patterns reminiscent to those observed in periodic evanescently coupled waveguide lattices. It is demonstrated that such paraxial beams are analytically described in terms of generalized Bessel functions. Such effects are elucidated via pertinent examples.
©2013 Optical Society of America
1. Introduction
The ability to tailor and manipulate the dynamics of classical and non-classical light using photonic lattices has become a topic of importance for scientific research and practical applications [1]. As it has been shown in a number of studies, such discrete optical arrangements can be pre-engineered in order to produce discrete wave dynamics similar to those occurring in diverse branches of physics [2–9]. For instance, optical fields traversing one-dimensional periodic lattices undergo discrete diffraction and as a result they evolve in a way entirely analogous to electronic wave-functions in crystalline structures [1]. In this respect, the effective discretization of the underlying field dynamics allows one to observe the corresponding electron states within the realm of optics [8]. Meanwhile, in quantum optics, such discretization of the wave-functions has been exploited in order to carry out several interesting investigations such as quantum walks of correlated photons [10], Bloch oscillations of NOON states [11], simulations of different quantum statistics [12], and the prefect transfer of quantum states [13, 14].
Evidently, devising new schemes capable of extending the concept of discrete diffraction in other settings is of high importance. Of particular interest will be to realize such discrete diffraction patterns even in the absence of a periodic environment, e.g. in the bulk of a uniform material or even in free space. In this paper we demonstrate that paraxial optical beams exhibiting discrete-like diffraction patterns are possible in homogeneous media that are reminiscent to those encountered in periodic evanescently coupled waveguide lattices endowed with coupling interactions up to second order. The evolution of such paraxial beams are analytically described in terms of generalized Bessel functions. The prospects of observing these effects are also discussed.
2. Theoretical analysis
As previously mentioned, this new class of paraxial optical beams introduced here, can exhibit discrete-like diffraction patterns resembling those arising from the impulse response (single site excitation) in periodic photonic lattices with first and second order interaction couplings, (see Figure 1) [15, 16]. We show that such paraxial beams can be produced after propagating a field profile having the form of a Bessel function of integer order. For implementation purposes, we also assume that this Bessel field distribution is apodized in a Gaussian manner. In other words, the initial field profile is given by ,where and represent normalized transverse and longitudinal coordinates, respectively. Interestingly, the propagation dynamics obeyed by such optical beams can be described in closed form, from where one can analytically predict their ballistic-like behavior.
For comparison purposes, we start by briefly reviewing the optical dynamics observed in periodic one-dimensional arrays of evanescently coupled single-mode waveguides having first and second order coupling interactions. To this end, we employ the coupled-mode formalism, where the transverse profiles of the propagating modes are assumed to remain invariant and only the amplitudes evolve along the direction of propagation [16]. Accordingly, the mode amplitude at the waveguide is governed by the set of coupled differential equations
where , is the normalized propagation distance, represents the coupling coefficient between the element and its nearest neighbors, whereas stands for second order interactions. In this case, one can show that the field amplitude at waveguide when light is launched into the channel is given bywhere is the Bessel function of the first kind and order [16]. By using the identity , where represents a generalized Bessel function (GBF) of order m [18, 19], Eq. (2) can be written in a more compact formNote that a GBF of order m can be computed through the finite integralwhen , and they obey the recurrence relationsand have the generating function [18]We now turn to the analysis of the paraxial propagation dynamics of Bessel field distributions of the form . We first study the case when the initial field can be written as a product of two arbitrary functions in the transverse coordinate, that is, . The choice of this type of initial condition is quite natural since in practice one generally has to apply an apodizing function to the initial field profile, see for example [20]. In order to analyze this general case, we consider the normalized paraxial equation of diffractionwhere is the electric field envelop, , is the wavenumber of the optical field, and represents a dimensionless transverse coordinate and is an arbitrary transverse scale. The solution for the paraxial Eq. (4) is given byThe details of this reduction and subsequent solutions are given in the Appendix. On the other hand, for the case where the initial field is given by the product of an apodizing Gaussian profile and an arbitrary function , the propagated field is described bywhere , , . For the particular case where the initial field distribution is given by the functions and , Eq. (6) reduces towhere , . After some algebra, as indicated in the Appendix, Eq. (7) can be cast as followsNote that Eq. (8) can be expressed in terms of the GBF of order using the identity . This in turn reveals the mathematical similitude between the impulse response of the aforementioned photonic lattices and the paraxial GBF beams studied here. A useful representation of the GBF is given by the finite integral . In addition, for the numerical simulations presented here we found that taking into account 101 elements in the series given in Eq. (8), reproduce a solution with an error of compared with the numerical integration of Eq. (4). By taking a closer look into the exponential terms accompanying the GBF in Eq. (8), one can see that the intensity dynamics is bounded by a modulating Gaussian envelope, , which amplitude decreases along propagation as . Note that, as expected, at the envelope becomes the intensity of the apodizing function, , whereas the series of Bessel functions collapses to . By comparing the series of Bessel functions appearing in Eq. (2) and Eq. (8), one can see that in the latter case the role of the first and second order interaction couplings are played by the complex functions and , respectively. This fact introduces the possibility of inducing, in the present systems, complex-like “coupling coefficients”, something that on many occasions is desired in integrated waveguide arrays [22, 23]. At the same time, these complex arguments establish a limit for the observation of the discrete-like diffraction effects.In what follows we show that discrete-like diffraction occurs as a result of the destructive and constructive interference undergone when left and right lobes of the initial field profile collide. This in turn impose a restriction to the possible values of , for instance, if we consider to be small enough such that by apodizing the initial Bessel function we truncate all the side lobes, then the propagating optical field will diffract in a way similar to a Gaussian beam. On the other hand, if is chosen to truncate just the higher order lobes, it will allows us to observe discrete- like diffraction. Furthermore, the qualitative effects in the diffraction process depend on the parity of the order of the initial Bessel functions, i.e., whether is even or odd. To demonstrate this we compare the cases and for a beam propagating in free space and using the realistic parameters and . In Figs. 2(a), 2(b) and 2(c), 2(d), we present the calculated propagation dynamics corresponding to the initial field distributions . As clearly seen, in both cases the main lobes of the Bessel functions tend to propagate towards the center and eventually collide after a certain propagation distance. As a result, interference effects are observed within the “triangular region” subtended by the two highest energy branches. In fact, those two branches can be considered as the ballistic lobes for the paraxial beams examined here. Indeed such interference effects are responsible for the apparent discretization of the underlying optical fields. A notable difference between these two beams is the fact that whenever is odd, an intensity gap is formed at exactly , (see Fig. 2(a)). This gap is a direct byproduct of the destructive interference caused by the phase difference existing between the two sides ( and ) of the propagating optical wave, and can also be readily explained from the analytical solution since . On the other hand, when is even, the entire wave is in phase and as a result constructive interference takes place producing periodic peaks of intensity along the propagation axis at , that exactly follow a Bessel function since (see Fig. 2(c)). Note that in this latter case ( even), the optical field undergoes similar effects to those reported in reference [23] for autofocusing waves.
For the special case , the situation is different and some special features are revealed. The most remarkable of them is that the field evolves in a way that is analogous to that expected in periodic photonic lattices, under single site excitations, when having couplings up to second order. In other words, the propagation dynamics exhibited in this particular case tends to spread out in a “ballistic” way, thus emulating in free space discrete diffraction phenomena. A suitable way to describe the dynamical evolution of wavepackets is through the average value of the transverse coordinate, , which in this case is proportional to , revealing so the ballistic nature of these waves. In Fig. (3) we illustrate these effects by comparing the intensity evolution of the initial field (again using the parameters , , and ), Figs. 3 (a)-3(c), and the impulse response of a periodic photonic lattice containing 30 waveguide elements and coupling coefficients and , Figs. 3 (d)-3(f). In order to elucidate the limitations of the proposed paraxial beams on the generation of discrete-like diffraction, in Fig. (4) we separately depict the intensity evolution of the same wavepacket , Fig. 4(a), and the Gaussian envelope, Fig. 4(b), for a longer propagation distance. In addition, to qualitatively demonstrate the ballistic spreading of the intensity, we have numerically computed the average value on the semi-plane (longitudinal yellow curve in Fig. (4)). Note that after the distance , which gives the distance at which the average function surpasses the point where the intensity of the envelope decays up to one-half of its maximum value (FWHM), the features of the discrete-like diffraction pattern start to disappear and completely vanish after . This is because after , the imaginary part of the arguments and become dominant; this implies that after this particular distance, the Bessel functions in the solution are proportional to , where represents the modified Bessel function. As a result, the arising modified Bessel functions tend to grow exponentially. However, since the GBFs are bounded by the Gaussian envelope, this exponential growing does not affect the physical meaning of the solution.
3. Conclusion
The theory developed in the present paper along with the numerical simulations clearly demonstrate the feasibility of generating discrete-like diffraction processes in free space by properly engineering the initial field profile. The implementation of these beams should be straightforward using a spatial light modulator in order to produce the proper amplitude and phase required by the initial field profiles. Our results can provide a new optical platform upon which one can study the effects of discrete diffraction over matter, like for example particles, molecules, etc.
4. Appendix
Starting from the normalized paraxial equation of diffraction , and defining the operator, such that the commutator , it is clear that the formal solution to Eq. (4) is given by . Then, expanding the product in plane waves we obtain [24]
By using the identity operator and the Hadamard’s lemma [23–25], Eq. (9) becomesSince the commutator , we can use the Baker-Hausdorff formula to split the exponential [25–27], so that Eq. (9) reduces toUsing the fact thatand , Eq. (11) acquires the formThen, by introducing the change of variable we obtain finally obtain Eq. (5)In order to obtain the field solution describing the propagation dynamics of the initial profile , we start from the formal solution . Again, after using the operator unitary identity along with the transformation , the field solution can be expressed asSince the operators , and provide an operator algebra, where the commutation relations between them are closed and given by: , , and , the first exponential can be factorized as followsBy differentiating both sides of Eq. (16) with respect to , and using the commutation relations, one can show that , , and . Then, after using these functions along with Eq. (12), and expanding in plane waves, the propagated field becomesInserting the unitary operator identity after the term and using the fact that , we obtain Eq. (6)For the particular case where the initial field is a Bessel function of order apodized by a Gaussian profile, , we start from Eq. (15), and use the integral representation of Bessel functions . Then, following the same steps as in the previous case, one readily obtains Eq. (7)where and . By using the identity and expanding the exponentials in Taylor series, Eq. (19) can be easily cast asAfter some algebra and using the integral form of the Bessel function of the first kind, one can easily obtain Eq. (8).Acknowledgments
HMC acknowledges support from Consejo Nacional de Ciencia y Tecnología (CONACyT), México and fruitful discussions with J.R. Moya-Cessa, E. Landgrave and V. Arrizon. The work of DNC was supported by the Air Force Office of Scientific Research (MURI Grant No. FA9550-10-1-0561) and the Israeli ministry of defense. The work of AS was supported by the German Ministry of Education and Research (Center of Innovations Competence program, grant no. 03Z1HN31) and the Thuringian Ministry of Education, Science and Culture, grant No. 11027-514.
References and links
1. D. N. Christodoulides, F. Lederer, and Y. Silberberg, “Discretizing light behaviour in linear and nonlinear waveguide lattices,” Nature 424(6950), 817–823 (2003). [CrossRef] [PubMed]
2. H. Trompeter, T. Pertsch, F. Lederer, D. Michaelis, U. Streppel, A. Bräuer, and U. Peschel, “Visual Observation of Zener Tunneling,” Phys. Rev. Lett. 96(2), 023901 (2006). [CrossRef] [PubMed]
3. S. Longhi, “Jaynes-Cummings photonic superlattices,” Opt. Lett. 36(17), 3407–3409 (2011). [CrossRef] [PubMed]
4. R. Keil, A. Perez-Leija, P. Aleahmad, H. Moya-Cessa, S. Nolte, D. N. Christodoulides, and A. Szameit, “Observation of Bloch-like revivals in semi-infinite Glauber-Fock photonic lattices,” Opt. Lett. 37(18), 3801–3803 (2012). [CrossRef] [PubMed]
5. R. Keil, A. Perez-Leija, F. Dreisow, M. Heinrich, H. Moya-Cessa, S. Nolte, D. N. Christodoulides, and A. Szameit, “Classical Analogue of Displaced Fock States and Quantum Correlations in Glauber-Fock Photonic Lattices,” Phys. Rev. Lett. 107(10), 103601 (2011). [CrossRef] [PubMed]
6. A. Perez-Leija, R. Keil, A. Szameit, A. F. Abouraddy, H. Moya-Cessa, and D. N. Christodoulides, “Tailoring the Correlation and Anticorrelation behavior of Path-entangled Photons in Glauber-Fock Oscillator Lattices,” Phys. Rev. A 85(1), 013848 (2012). [CrossRef]
7. M. Bellec, G. M. Nikolopoulos, and S. Tzortzakis, “Faithful communication Hamiltonian in photonic lattices,” Opt. Lett. 37(21), 4504–4506 (2012). [CrossRef] [PubMed]
8. A. Rai and G. S. Agarwal, “Possibility of coherent phenomena such as Bloch oscillations with single photons via W states,” Phys. Rev. A 79(5), 053849 (2009). [CrossRef]
9. Y. Lahini, A. Avidan, F. Pozzi, M. Sorel, R. Morandotti, D. N. Christodoulides, and Y. Silberberg, “Anderson Localization and Nonlinearity in One-Dimensional Disordered Photonic Lattices,” Phys. Rev. Lett. 100(1), 013906 (2008). [CrossRef] [PubMed]
10. A. Peruzzo, M. Lobino, J. C. F. Matthews, N. Matsuda, A. Politi, K. Poulios, X. Q. Zhou, Y. Lahini, N. Ismail, K. Wörhoff, Y. Bromberg, Y. Silberberg, M. G. Thompson, and J. L. OBrien, “Quantum Walks of Correlated Photons,” Science 329(5998), 1500–1503 (2010). [CrossRef] [PubMed]
11. Y. Bromberg, Y. Lahini, and Y. Silberberg, “Bloch Oscillations of Path-Entangled Photons,” Phys. Rev. Lett. 105(26), 263604 (2010). [CrossRef] [PubMed]
12. J. C. F. Matthews, K. Poulios, J. D. A. Meinecke, A. Politi, A. Peruzzo, N. Ismail, K. Wörhoff, M. G. Thompson, and J. L. O'Brien, “Simulating quantum statistics with entangled photons: a continuous transition from bosons to fermions,” Preprint: arXiv:1106.1166.
13. A. Perez-Leija, R. Keil, A. Kay, H. Moya-Cessa, S. Nolte, L. C. Kwek, B. M. Rodríguez-Lara, A. Szameit, and D. N. Christodoulides, “Coherent quantum transport in photonic lattices,” Phys. Rev. A 87(1), 012309 (2013). [CrossRef]
14. A. Perez-Leija, R. Keil, H. Moya-Cessa, A. Szameit, and D. N. Christodoulides, “Perfect transfer of path-entangled photons in Jx photonic lattices,” Phys. Rev. A 87(2), 022303 (2013). [CrossRef]
15. F. Dreisow, A. Szameit, M. Heinrich, T. Pertsch, S. Nolte, and A. Tünnermann, “Second-order coupling in femtosecond-laser-written waveguide arrays,” Opt. Lett. 33(22), 2689–2691 (2008). [CrossRef] [PubMed]
16. A. Szameit, T. Pertsch, S. Nolte, A. Tünnermann, and F. Lederer, “Long-range interaction in waveguide lattices,” Phys. Rev. A 77(4), 043804 (2008). [CrossRef]
17. A. L. Jones, “Coupling of optical fibers and scattering fibers,” J. Opt. Soc. Am. 55(3), 261 (1965). [CrossRef]
18. G. Dattoli, L. Giannessi, L. Mezi, and A. Torre, “Theory of generalized Bessel functions,” Nuovo Cim. 105(3), 327–348 (1990). [CrossRef]
19. G. Dattoli, A. Torre, S. Lorenzzutta, and G. Maino, “Theory of generalized Bessel functions II,” Nuovo Cim. 106(1), 21–51 (1991). [CrossRef]
20. J. C. Gutiérrez-Vega and M. A. Bandres, “Helmholtz-Gauss waves,” J. Opt. Soc. Am. A 22(2), 289–298 (2005). [CrossRef] [PubMed]
21. J. M. Zeuner, N. K. Efremidis, R. Keil, F. Dreisow, D. N. Christodoulides, A. Tünnermann, S. Nolte, and A. Szameit, “Optical Analogues for massless Dirac particles and conical diffraction in one dimension,” Phys. Rev. Lett. 109(2), 023602 (2012). [CrossRef] [PubMed]
21. N. K. Efremidis and D. N. Christodoulides, “Abruptly autofocusing waves,” Opt. Lett. 35(23), 4045–4047 (2010). [CrossRef] [PubMed]
22. N. K. Efremdis, P. Zhang, Z. Chen, D. N. Christodoulides, C. E. Ruter, and D. Kip, “Wave propagation in waveguide arrays with alternating positive and negative couplings,” Phys. Rev. A 81(5), 053817 (2010). [CrossRef]
23. N. K. Efremidis and D. N. Christodoulides, “Abruptly autofocusing waves,” Opt. Lett. 35(23), 4045–4047 (2010). [CrossRef] [PubMed]
24. J. W. Goodman, Introduction to Fourier Optics, McGraw-Hill Physical and Quantum Electronics Series (Roberts, 2005).
25. H. Moya-Cessa and F. Soto-Eguibar, Differential Equations: An Operational Approach (Rinton Press, 2011).
26. C. Gerry and P. L. Knight, Introductory Quantum Optics (Cambridge, 2005).
27. W. H. Louisell, Quantum and Statistical Properties of Radiation (Wiley, 1973).