Abstract
We investigate the propagation of one-dimensional and two-dimensional (1D, 2D) Gaussian beams in the fractional Schrödinger equation (FSE) without a potential, analytically and numerically. Without chirp, a 1D Gaussian beam splits into two nondiffracting Gaussian beams during propagation, while a 2D Gaussian beam undergoes conical diffraction. When a Gaussian beam carries linear chirp, the 1D beam deflects along the trajectories z = ±2(x − x0), which are independent of the chirp. In the case of 2D Gaussian beam, the propagation is also deflected, but the trajectories align along the diffraction cone and the direction is determined by the chirp. Both 1D and 2D Gaussian beams are diffractionless and display uniform propagation. The nondiffracting property discovered in this model applies to other beams as well. Based on the nondiffracting and splitting properties, we introduce the Talbot effect of diffractionless beams in FSE.
Similar content being viewed by others
Introduction
Fractional effects, such as fractional quantum Hall effect1, fractional Talbot effect2, fractional Josephson effect3 and other effects coming from the fractional Schrödinger equation (FSE)4, introduce seminal phenomena in and open new areas of physics. FSE, developed by Laskin5,6,7, is a generalization of the Schrödinger equation (SE) that contains fractional Laplacian instead of the usual one, which describes the behavior of particles with fractional spin8. This generalization produces nonlocal features in the wave function. In the last decade, research on FSE was very intensive9,10,11,12,13,14,15,16,17. Even though the equivalence of SE and paraxial wave equation is known for long, not until 2015 was the concept of FSE introduced in optics18, by Longhi. In the paper, he realized a scheme to explore FSE in optics, by using aspherical optical cavities. He has found eigenmodes of a massless harmonic oscillator, the dual Airy functions13,18.
Airy wave function, the eigenmode of the standard SE in free space, does not diffract during propagation. This feature was also firstly discovered in quantum mechanics19 and then brought into optics20. In light of peculiar properties of an Airy beam, which include self-acceleration, self-healing and the absence of diffraction, a lot of attention has been directed to accelerating diffractionless beams in the last decade. For more information, the reader is directed to review article21. On the other hand, earlier literature on FSE mostly focused on mathematical aspects of the eigenvalue problem of different potentials, such as the massless harmonic oscillator. Although the harmonic potential and other potentials22,23,24,25 are of high interest, here we are not interested in the eigenvalue problem of potentials. Rather, we focus on the dynamics of beams in FSE without any potential. Even the simplest problem of what happens in FSE without a potential is still interesting to be explored. Are there nondiffracting solutions? Do such solutions accelerate during propagation? Are the solutions self-healing? These questions are addressed in this paper.
In this article we investigate the dynamics of waves in both one-dimensional (1D) and two-dimensional (2D) FSE without a potential. To avoid complexity of the mathematical problem of fractional derivatives, we take Gaussian beams as an example and make the analysis in the inverse space. Methods introduced here apply to other beams as well. An approximate but accurate analytical solution to the problem is obtained, which agrees well with the corresponding numerical simulation. An alternative method, based on the factorization of wave equation, is also introduced. Even though the overall analysis appears deceptively simple, the results obtained point to profound changes in the propagation of beams in FSE, as compared to the regular SE. We discover that a Gaussian beam without chirp splits into two diffraction-free Gaussian beams in the 1D case and undergoes conical diffraction in the 2D case. If the input Gaussian beam is chirped, it also propagates diffraction-free and exhibits uniform motion. This uniform propagation is not much affected by the chirp. Along the way, we also introduce the fractional Talbot effect of diffractionless beams in FSE.
Results
Diffraction free beams
The 1D FSE without potential has the form18
where α is the Lévy index (1 < α ≤ 2). When α = 2, one recovers the usual SE in free space20,26,27. We consider the limiting case α = 14. By taking Fourier transform of Eq. (1), one obtains
with k being the spatial frequency. Eq. (2) demonstrates that in the inverse space a beam propagates in a symmetric linear potential. Recall that the potential in the inverse space is parabolic for the standard SE without potential28. This seemingly minor difference between the equations brings a crucial change in the behavior of beams. The solution of Eq. (1) is easily obtained from Eq. (2) and can be written as a convolution
in which is the Fourier transform of the input beam and represents the convolution operation. Notice that if ψ(x, z) is a solution corresponding to , then ψ(−x, z) is a solution corresponding to . For spatially symmetric beams with , the solution will also be symmetric, which can be written as ψ(±|x|, z). Here, we would like to note that iz/{π[4x2 + (iz)2]} is a complex Lorentzian function. The convolution between a Lorentzian and a Gaussian function is the Voigt function. Because the complex Lorentzian is singular at x = ±z/2 and has two peaks, the gap between the peaks will increase linearly with propagation distance. We should note that Eq. (3) can be expressed in terms of Fox’s H functions23,25. However, such a treatment does not depict the physical picture clearly, because of the complexity of mathematical expressions. Here, we utilize an approximate analytical method to display propagation dynamics of chirped Gaussian beams. Also, an equivalent method that provides a simple physical interpretation is presented in the “Methods” section.
For simplicity, let us assume that the input is a chirped Gaussian beam
with x0 being the transverse displacement, C being the linear chirp, and σ controlling the beam width. The corresponding Fourier transform of the input is
which is also a Gaussian beam. We consider first the case C = 0. As is evident from the above, one cannot obtain an analytical result from the convolution directly. Therefore, we plug Eq. (5) into Eq. (3) and after some mathematical steps, obtain an analytical but approximate solution
The detailed derivation of Eq. (6) is provided in the section on “Methods”. From this solution one can infer that the Gaussian will split into two diffraction-free Gaussian beams – because the beam width is not affected – along the trajectories z = ±2(x − x0).
The propagation of the Gaussian beam with C = 0 is shown in Fig. 1(a,b), in which Fig. 1(a) depicts numerical simulation and Fig. 1(b) displays the corresponding analytical result. Clearly, they agree with each other rather well, although the numerical solution is a bit wider than the analytical approximation. As expected, the initial Gaussian beam splits into two diffraction-free Gaussian beams, which can be also called the one-dimensional conical diffraction. This is starkly different from the usual behavior of Gaussian beams in free space. The physical reason for such a splitting can be inferred from Eq. (3), which is a convolution between a Gaussian and a function with two peaks. Since the trajectories are linear and the beam widths are unaffected during propagation, the motion of two Gaussian beams is uniform.
The solution for the case C ≠ 0 is also provided in the “Methods” section. For C of small absolute value, one still observes the 1D conical diffraction, but the intensity of the two branches is not equal. However, when C is of high-enough absolute value, the Gaussian beam depicted in Eq. (5) will be mainly in the k > 0 or k < 0 region, so that the corresponding solution in Eq. (1) can be approximately written as
in which ± corresponds to . Therefore, the beam will not split during propagation, because of the high chirp. Other than this, from Eq. (7) one can see that the chirp does not affect the trajectory or the “velocity” of uniform motion, nor the transverse displacement of the beam at the output. Thus, the chirped Gaussian beam remains diffraction-free and without acceleration during propagation. The corresponding trajectories from numerical and analytical results are shown in Fig. 1(c,d). We must emphasize that the solutions in Eqs (6) and (7) are only approximate analytical solutions and not the exact solutions. Still, they agree with numerical results quite well.
Since the motion of the Gaussian beam in such a model is uniform, the acceleration of caustics is missing and the beam cannot self-heal when it encounters an obstacle (the corresponding numerical simulations not shown). This is different from an Airy beam29,30, a Fresnel diffraction pattern31, and other nonparaxial accelerating beams32. It is worth mentioning that a beam always acquires a symmetric linear phase during propagation in the inverse space, according to Eq. (2), which will not affect the beam profile except for a transverse displacement in the real space. Thus, the nondiffracting property is feasible for all kinds of beams, including Airy beams, Bessel-Gaussian beams, and Hermite-Laguerre-Gaussian beams, to name a few. One should bear in mind that the quadratic phase obtained in the inverse space would change the beam profile in the real space; this is why the Gaussian beam broadens in free space (corresponding to Eq. (1) for α = 2, which is the usual SE).
Now, it is clear that the beam splits and is diffraction-free for α = 1, while the beam diffracts but does not split during propagation for α = 2. Therefore, for the cases in-between, i.e., 1 < α < 2, the beam will both split and diffract.
Talbot effect
Considering the time-reversal symmetry of the system, the initial Gaussian beam in Fig. 1(a) can be viewed as a collision of two diffraction-free Gaussians. From this point of view, one can consider an input composed of a superposition of equally separated Gaussian beams without chirp,
with cn being the amplitude of each component. The propagation of such a superposition is described by
Let us assume that the coefficients cn are constant and independent of n. If z = 2x0, Eq. (9) can be written as
if we let l = n + 1 and m = n − 1. It is clear that Eq. (10) is reduced to Eq. (8) – the input beam – if we use n to replace l and m. In other words, one can obtain a recurrent self-imaging of the input, which is known as the Talbot effect, with the recurrence length zT known as the Talbot length. Here, for difference, the word goes about the Talbot effect of diffractionless beams in FSE. At z = zT/2, Eq. (9) can be rewritten as
which is same as the input if we substitute l by n, except for a transverse displacement.
In Fig. 2(a,b), the intensity and the corresponding phase of the input beam during propagation are shown numerically, from which one can conclude that the Talbot effect in the form of a Talbot net has formed – the beam recovers at the Talbot length and there is a π phase shift of the self-images at the half-Talbot length. One should note that this Talbot effect is not the result of the diffraction of beams – which is absent here – but that it comes from the transverse periodicity of colliding beams33,34. The generation of such a Talbot effect can be understood as follows: Each transverse component splits into two diffraction-free Gaussian beams, which collide with other diffraction-free Gaussian beams that split from other components, to form the self-imaging at the half-Talbot length. The self-imaging at half-Talbot length will then repeat itself for another half-period, to form self-images at the Talbot length and so the full cycle is closed; it repeats, to form the full Talbot net. Thus, the recurrence here is the consequence of peculiar input superposition and its propagation, not of the near-field diffraction.
When we choose the coefficients as , the numerical results are depicted in Fig. 2(c,d). One sees that the Talbot effect is still there, but the Talbot length is doubled and at the half-Talbot length the beam recovers itself, which represents the fractional Talbot effect34. According to the analysis in previous literature34, the fractional Talbot effect for such a special choice of coefficients can be understood easily.
Two-dimensional case
The 2D FSE without a potential can be written as
For α = 1, the 2D FSE in the inverse space is
The input 2D chirped Gaussian beam can be written as
where Cx and Cy are the chirp coefficients along the x and y directions, and .
If Cx = Cy = 0, the Gaussian beam is not chirped, so it will undergo conical diffraction, which is equivalent to the continuous split around the full circle. The radius of the cone is r = z/2. Such a propagation is displayed in Fig. 3(a), in which the isosurface plot depicts the panoramic view of propagation. It is indeed a conical diffraction, after an adjustment over a short propagation distance. The intensity is normalized, to show the propagation more clearly. The cross sections of intensity distributions along x and y axes are also displayed in the horizontal x = −50 and the vertical y = −50 plane.
As shown in Fig. 3(b), the chirped Gaussian beams execute uniform motion, and the direction of the “velocity” depends on the sign of the chirp. One can see that no matter how the chirp coefficients change, the output Gaussian beam will always lie on the dashed circle – the location of the conical diffraction, as shown in Fig. 3(b). This fact confirms that the trajectory of the beam can only be along the diffraction cone. It can also be verified that the trajectory is given by
from which one finds that the chirp can only affect the location of the output beam on the dashed circle.
For eventual experimental observation of these theoretical and numerical findings, we propose a system composed of two convex lenses and a phase mask18, as shown in Fig. 4. The first lens transforms the input beam into the inverse space35, then a phase mask produces the phase change at certain propagation distance z, as required by Eq. (2), and at last the second lens transforms the output beam back into the real space. Thus, the treatment is executed in the inverse space and the management of the fractional Laplacian in Eq. (1) in the direct space is avoided.
Discussion
In summary, we have introduced the diffraction-free beams in FSE without potential, taking chirped Gaussian beams as an example. The method is applicable to other beams as well. Without chirp, a 1D Gaussian beam splits into two diffractionless Gaussian beams whose motion is uniform. If the input is a superposition of equidistant 1D Gaussian beams, the fractional Talbot effect can be realized. We also find that conical diffraction is obtained for a 2D Gaussian beam without chirp, while for the chirped Gaussian beams, the motion of the beams is still uniform, but the propagation direction is determined by the chirp coefficients. Regardless of how the chirp coefficients change, the transverse displacement is not affected, but the position of beams on the diffraction cone is. In the end, an experimental optical implementation for such beam dynamics is proposed. This research may not only deepen the understanding of FSE and nondiffracting beams, but also help better control beams that show promise in various potential applications, such as producing beam splitters, beam combiners, and other.
Methods
Derivation of Eq. (6) for the input without chirp
We plug Eq. (5) with C = 0 into Eq. (3), and try to solve for an approximate but accurate solution, as follows:
The approximately-equal sign in Eq. (16) is there because we presume that x0 − x ± z/2 is positive for and negative for . We should mention that in Eq. (16), the expression in the second row is obtained by reversing the sign of k in the expression in the first row. Then we sum the first two rows and obtain the expression in the third row, based on the above assumption.
Solution for the input with C ≠ 0
For this case, we rewrite k + C = κ, so according to Eq. (16) one obtains
Changing the integration limits, Eq. (17) can be rewritten as
which ultimately gives the solution
where
and
In Eq. (20), the error function erf(x) is defined as
Clearly, Eq. (18) reduces to Eq. (6) if C = 0. On the other hand, if |C| is high enough, one of the integrals and in Eq. (18) goes to 0, which leads to Eq. (7). Similar conclusions can be also obtained based on Eqs (19) and (20).
Factorization of the fractional Schrödinger equation in one-dimension
We note that the analysis just described can be performed in a less rigorous manner by formally expressing the transverse fractional Laplacian in Eq. (1) for α = 1 as a first-order derivative,
This transformation works only in the 1D case; the transverse fractional Laplacian for α = 1 in 2D cannot be transformed into a simple combination of partial derivatives in x and y. Still, this insight offers an easily comprehended interpretation of the results presented in “Results” section and in Fig. 1. Thus, when one includes Eq. (21) into Eq. (1), one obtains
which are the two first-order partial differential equations describing advection to the left and right. Such equations figure as factor equations in the scalar 1D wave equation,
A general solution to the wave equation
is formally given as a sum of two arbitrary wave functions,
propagating in the opposite directions. This fact explains the beam propagation in Fig. 1, but of course, not all such possible solutions are of interest here.
Additional Information
How to cite this article: Zhang, Y. Q. et al. Diffraction-free beams in fractional Schrödinger equation. Sci. Rep. 6, 23645; doi: 10.1038/srep23645 (2016).
References
Kowalski, K. & Rembieliński, J. Anomalous quantum Hall effect: An incompressible quantum fluid with fractionally charged excitations. Phys. Rev. Lett. 50, 1395–1398 (1983).
Wen, J., Zhang, Y. & Xiao, M. The Talbot effect: recent advances in classical optics, nonlinear optics, and quantum optics. Adv. Opt. Photon. 5, 83–130 (2013).
Rokhinson, L. P., Liu, X. & Furdyna, J. K. The fractional a.c. Josephson effect in a semiconductor-superconductor nanowire as a signature of Majorana particles. Nat. Phys. 8, 795–799 (2012).
Zhang, Y. Q. et al. Propagation Dynamics of a Light Beam in a Fractional Schrödinger Equation. Phys. Rev. Lett. 115, 180403 (2015).
Laskin, N. Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298–305 (2000).
Laskin, N. Fractional quantum mechanics. Phys. Rev. E 62, 3135–3145 (2000).
Laskin, N. Fractional Schrödinger equation. Phys. Rev. E 66, 056108 (2002).
Herrmann, R. Fractional calculus: an introduction for physicists (World Scientific, Singapore, 2011).
Li, Z.-F., Liu, J.-J., Lucha, W., Ma, W.-G. & Schöberl, F. F. Relativistic harmonic oscillator. J. Math. Phys. 46, 103514 (2005).
Dong, J. & Xu, M. Some solutions to the space fractional Schrödinger equation using momentum representation method. J. Math. Phys. 48, 072105 (2007).
Kowalski, K. & Rembieliński, J. Relativistic massless harmonic oscillator. Phys. Rev. A 81, 012118 (2010).
de Oliveira, E. C. & Vaz, J. Jr. Tunneling in fractional quantum mechanics. J. Phys. A: Math. Theor. 44, 185303 (2011).
Lörinczi, J. & Małecki, J. Spectral properties of the massless relativistic harmonic oscillator. J. Differ. Equations 253, 2846–2871 (2012).
Luchko, Y. Fractional Schrödinger equation for a particle moving in a potential well. J. Math. Phys. 54, 012111 (2013).
Stickler, B. A. Potential condensed-matter realization of space-fractional quantum mechanics: The one-dimensional Lévy crystal. Phys. Rev. E 88, 012120 (2013).
Żaba, M. & Garbaczewski, P. Solving fractional Schrödinger-type spectral problems: Cauchy oscillator and Cauchy well. J. Math. Phys. 55, 092103 (2014).
Tare, J. D. & Esguerra, J. P. H. Transmission through locally periodic potentials in space-fractional quantum mechanics. Physica A 407, 43–53 (2014).
Longhi, S. Fractional Schrödinger equation in optics. Opt. Lett. 40, 1117–1120 (2015).
Berry, M. V. & Balazs, N. L. Nonspreading wave packets. Am. J. Phys. 47, 264–267 (1979).
Siviloglou, G. A. & Christodoulides, D. N. Accelerating finite energy Airy beams. Opt. Lett. 32, 979–981 (2007).
Hu, Y. et al. Self-accelerating Airy Beams: Generation, Control, and Applications. In Nonlinear Photonics and Novel Optical Phenomena (eds. Chen, Z. & Morandotti, R. ) vol. 170 of Springer Series in Optical Sciences 1–46 (Springer, New York, 2012).
Naber, M. Time fractional Schrödinger equation. J. Math. Phys. 45, 3339–3352 (2004).
Guo, X. & Xu, M. Some physical applications of fractional Schrödinger equation. J. Math. Phys. 47, 082104 (2006).
Oliveira, E. C. D., Costa, F. S. & Vaz, J. The fractional Schrödinger equation for delta potentials. J. Math. Phys. 51, 123517 (2010).
Bayn, S. Ş. Time fractional Schrödinger equation: Fox’s H-functions and the effective potential. J. Math. Phys. 54, 012103 (2013).
Perez-Leija, A. et al. Discrete-like diffraction dynamics in free space. Opt. Express 21, 17951–17960 (2013).
Eichelkraut, T. et al. Coherent random walks in free space. Optica 1, 268–271 (2014).
Zhang, Y. Q. et al. Automatic Fourier transform and self-Fourier beams due to parabolic potential. Ann. Phys. 363, 305–315 (2015).
Broky, J., Siviloglou, G. A., Dogariu, A. & Christodoulides, D. N. Self-healing properties of optical Airy beams. Opt. Express 16, 12880–12891 (2008).
Bandres, M. A. et al. Accelerating Optical Beams. Opt. Phot. News 24, 30–37 (2013).
Zhang, Y. Q. et al. Fresnel diffraction patterns as accelerating beams. Europhys. Lett. 104, 34007 (2013).
Zhang, P. et al. Nonparaxial Mathieu and Weber Accelerating Beams. Phys. Rev. Lett. 109, 193901 (2012).
Lumer, Y., Drori, L., Hazan, Y. & Segev, M. Accelerating Self-Imaging: The Airy-Talbot Effect. Phys. Rev. Lett. 115, 013901 (2015).
Zhang, Y. Q. et al. Dual accelerating Airy-Talbot recurrence effect. Opt. Lett. 40, 5742–5745 (2015).
Goodman, J. W. Introduction to Fourier Optics, Third edn (Roberts and Company Publishers, Inc., 2005).
Acknowledgements
This work is supported by National Basic Research Program of China (2012CB921804), National Natural Science Foundation of China (61308015, 11474228), Key Scientific and Technological Innovation Team of Shaanxi Province (2014KCT-10), and Qatar National Research Fund (NPRP 6-021-1-005). MRB also acknowledges support by the Al Sraiya Holding Group. We thank Prof. I. M. Besieris for pointing to us the factorization of the FSE.
Author information
Authors and Affiliations
Contributions
Y.Q.Z. and Y.P.Z. conceived the idea and wrote the manuscript. Y.Q.Z., M.R.B. and M.X. did the theoretical analysis. Y.Q.Z., H.Z. and A.N. performed the numerical simulations. M.R.B. and M.X. contributed to the data analysis. All authors contributed to the writing of the article.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Zhang, Y., Zhong, H., Belić, M. et al. Diffraction-free beams in fractional Schrödinger equation. Sci Rep 6, 23645 (2016). https://doi.org/10.1038/srep23645
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/srep23645
- Springer Nature Limited
This article is cited by
-
Interference Phenomenon in the Wavepacket-Triangular Prism Collision in Fractional Schrodinger Equation
Iranian Journal of Science (2023)
-
Dynamics and manipulation of Airy beam in fractional system with diffraction modulation and PT-symmetric potential
Nonlinear Dynamics (2023)
-
A review on propagation-invariant, quasi-propagation-invariant beams and coordinate axicons
Journal of Optics (2023)
-
Finite Dimensional Global Attractor for a Fractional Schrödinger Type Equation with Mixed Anisotropic Dispersion
Journal of Dynamics and Differential Equations (2022)
-
Stable and oscillating solitons of \(\pmb {\mathcal {PT}}\)-symmetric couplers with gain and loss in fractional dimension
Nonlinear Dynamics (2021)