Abstract
We illustrate the phenomenon of the focusing of a freely propagating rectangular wave packet using three different tools: (1) the time-dependent wave function in position space, (2) the Wigner phase-space approach, and (3) an experiment using laser light.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In July 1816, the civil engineer Augustin-Jean Fresnel published his preliminary results [1] confirming the wave theory of light. Three years later he participated with his Mémoire sur la Diffraction de la Lumière in the Grand Prix of the French Academy of Sciences [2]. It was on this occasion that Siméon Poisson predicted that an opaque disc illuminated by parallel light would create a bright spot in the center of a shadow. This phenomenon was experimentally confirmed by Francois Arago and led to the victory of the wave over the particle theory. In the present article we discuss an effect related to the Poisson spot which is the one-dimensional analogue of the camera obscura [3, 4].
Indeed, we have recently found [5] that a rectangular matter wave packet which undergoes free time evolution according to the Schrödinger equation focuses before it spreads. This phenomenon has been confirmed for light [6], water and surface plasmon waves [7]. In the present article we illustrate this effect in Wigner phase space and verify it using classical light in real space.
Our article is organized as follows: in Sect. 2 we first give a brief history of the diffraction of waves, and then review several focusing effects especially those associated with the phenomenon of diffraction in time introduced in Moshinsky [8].
We dedicate Sect. 3 to the discussion of the focusing of a rectangular wave packet from the point of view of the time-dependent wave function. In particular, we show this effect manifests itself in the time-dependent probability density as well as the Gaussian width [5] of the wave packet. For this purpose we derive exact as well as approximate analytical expressions for the time-dependent probability amplitude and density.
In Sect. 4 we verify these predictions reporting on an experiment using laser light diffracted from a single slit. Here we take advantage of the analogy between the paraxial approximation of the Helmholtz equation of classical optics and the time-dependent Schrödinger equation of a free particle. We measure the intensity distributions of the light in the near-field of the slits and obtain the Gaussian width of the intensity field. Moreover, we make contact with the predictions of non-paraxial optics.
Section 5 illuminates this focusing effect from quantum phase space using the Wigner function. In particular, we show that the phenomenon of focusing which reflects itself in a dominant maximum of the probability density on the optical axis follows from radial cuts through the initial Wigner function at different angles with respect to the momentum axis. Moreover, we analyze the rays and envelopes of the Wigner function in more detail.
We conclude in Sect. 6 by summarizing our results and by providing an outlook. Here we allude to the influence of the number of dimensions on the focusing and emphasize the importance of corrections to paraxial optics.
To keep our article self-contained while focusing on the central ideas we have included three appendices. Indeed, “Appendix A” contains the calculations associated with the Gaussian width of our wave packet and “Appendix B” presents a detailed discussion of the Wigner function approach towards diffractive focusing. As an outlook we compare in “Appendix C” the paraxial and non-paraxial results obtained for diffraction by slits and circular apertures.
2 Diffraction theory
In this section we first provide a historical overview of diffraction and then address the phenomenon of diffractive focusing. Due to their different nature we distinguish in this discussion between light and matter waves. Moreover, we briefly review the concept of diffraction in time.
2.1 A brief history
Following the experimental demonstration of the wave nature of light by Thomas Young [9] and the first theory on diffraction by Fresnel [1] the nineteenth century was extremely successful in the investigation of wave phenomena, specially in optics. The unifying electromagnetic theory of James Clerk Maxwell [10] was the culmination of all previous developments on electromagnetism. Gustav Kirchhoff readdressed the diffraction of scalar waves and put it on a rigorous mathematical foundation [11]. The Fresnel diffraction arises now as a special case of the Kirchhoff diffraction. Arnold Sommerfeld and Lord Rayleigh [4, 12, 13] improved the Kirchhoff theory correcting the boundary conditions at the aperture and with that eliminating the discrepancy arising between the solutions and the boundary conditions chosen by Kirchhoff. Friedrich Kottler proposed another reason for this discrepancy by showing that the Kirchhoff integral can be interpreted not as a solution of the boundary value problem but as a solution for the “saltus” at the boundary [14, 15]. Moreover, he extended the scalar theory to electromagnetic waves [16, 17].
During the twentieth century numerous theoretical and experimental contributions to diffraction theory emerged. Julius Stratton and Lan Jen Chu extended the scalar Kirchhoff diffraction theory to vector waves [18] accounting for polarization. Hans Bethe found analytical solutions for the diffraction of electromagnetic waves by an aperture much smaller than the wavelength [19]. His theory and the corrections later introduced by Christoffel Bouwkamp [20] became important because of the invention of the near-field scanning microscope (SNOM or NSOM) [21] and the developments related to near-field optics [22–24]. In 1998, Thomas Ebbesen and collaborators observed that light transmission through an array of subwavelength apertures drilled in noble metal thin films can largely surpass the value predicted by Bethe [25]. This extraordinary optical transmission is dependent on the geometry of the array, on the illumination conditions and on the size and shape of the apertures [26, 27]. It results from the excitation of surface plasmon modes near the aperture. In plasmonic gratings with narrow slits it may also lead to an attenuation of the transmitted light stronger than that predicted by the Bethe–Bouwkamp theory [28].
2.2 Focusing of waves
Focusing of waves by diffraction due to slits or apertures falls into two categories: (1) near-field focusing effects arising mainly in the diffraction of electromagnetic waves, and (2) focusing resulting from diffraction of slits or apertures larger than the wave length, where the focus is located in the Fresnel zone.
In the first category we include the focusing of light resulting from the confinement of surface plasmons in nanostructured apertures in plasmonic materials [25, 26, 29]. Frequently scalar and electromagnetic diffraction theories assume the apertures to be located in infinite and perfectly absorbing screens, and thus surface plasmons are ignored. Hence, these theories cannot account for plasmonic modes and their optical effects. To accurately describe the effects produced by the excitation of surface plasmons a full electromagnetic theory using the optical properties of real materials is required.
The focusing of light by apertures smaller than the wave length has been investigated theoretically several times in the last decades [30, 31]. However, this near-field focusing is dependent on the polarization of light and restricted to small apertures.
The properties of the focus in laser beams and atomic beams is of interest in microscopy and atom optics. Standard laser beams such as Laguerre–Gaussian, or Hermite–Gaussian beams can be strongly focused. The smallest order Hermite–Gaussian beam called TEM\(_{00}\) has the highest confinement and is, therefore, preferred in confocal microscopy. Other beams such as Airy and Bessel beams [32, 33] have non-diffracting properties.
To increase the field confinement, and thus the resolution of a microscope, novel laser beams and illumination mechanisms have been proposed [22, 29, 34–36].
In parallel, a similar interest exists in the confinement and squeezing of matter wave packets [37–39]. Focusing effects in atomic beams resulting from the interaction with laser fields diffracted by apertures in metallic screens were investigated recently [40]. Indeed, the interaction of matter waves with light fields has been the subject of intensive research in atom and quantum optics [41]. However, this spatial confinement, or focusing is of different nature than that of diffraction. In the latter, the field confinement created is solely determined by the properties of the incoming wave and the aperture. No other optical element is involved.
Self-focusing of light may also arise in nonlinear media [42]. However, we will not discuss this phenomenon in this article, but rather concentrate in our analysis in the focusing effects arising from diffraction in free space due to slits larger than the wavelength.
In 2012, the focusing of light waves by a slit larger than the wavelength was experimentally observed [6]. The diffraction pattern is similar to that of a circular aperture of several wavelengths in diameter [43, 44]. The main difference between a slit and a circular aperture is the value of the dominant maximum, relative to the intensity of the incident wave. For a circular aperture it reaches 4.0, whereas for a slit is only 1.8 stronger than the incoming wave [6, 43].
The diffraction patterns of slits and circular apertures for scalar waves and non-polarized electromagnetic waves can be accurately calculated using the Rayleigh–Sommerfeld diffraction integrals, even in the case of apertures of the size of the wavelength, without using any mathematical approximation. Moreover, analytical solutions for the on-axis field intensity were found for the circular aperture [43, 45], and the oscillations of the intensity on-axis were confirmed for electromagnetic waves [44, 46].
2.3 Diffraction in time
Moshinsky [8] introduced the concept of diffraction in time using matter waves. Remarkably the time evolution of the probability density of a wave packet suddenly released by a shutter is mathematically identical to the intensity pattern behind a semi-infinite plane. This analogy stands out most clearly when we substitute the time coordinate of the wave packet by the corresponding space coordinate in diffraction. Then the solution of the Schrödinger equation for the problem of the Moshinsky shutter is identical to that of the Fresnel diffraction by a semi-infinite plane, and the probability density reaches a maximum of 1.3. Moreover, Moshinsky analyzed later the time–energy uncertainty associated with the shutter arrangement [47] and Godoy investigated the Fresnel and Fraunhofer diffraction in time of initially stationary states [48].
Recently, the diffraction in time of the double-shutter problem was analyzed [5]. An initially confined rectangular wave packet in one dimension is suddenly released and evolves in time. Again, the solution of the corresponding Schrödinger equation has the same form as the Fresnel diffraction of scalar waves by a single slit of infinite length.
However, we emphasize that Fresnel diffraction only holds true in the paraxial approximation of optics. The general solution of the diffraction by a slit is found by solving the Kirchhoff, or the Rayleigh–Sommerfeld diffraction integrals.
The mathematical analysis of the classical diffraction problems makes use of wave functions expressed in real, or reciprocal space. It is also very common in the investigation of the diffraction of matter waves [8, 49–51].
However, since Wigner introduced his famous distribution function [52] an increasing number of publications has used the Wigner phase space representation to study the dynamics of light beams [53–57] and matter waves [58–65]. Other phase space distribution functions related to the Wigner function have been also used in matter waves phenomena. They are interrelated and belong to the Cohen class [66]. In this article we employ both the wave function and the Wigner representations of matter wave packets.
The evolution in time of matter waves with zero angular momentum, so-called s-waves, strongly depends on the number of space dimensions [67]. For instance, in two dimensions, an initial ring-shaped wave packet first contracts reaching a minimum, reducing the radius of the ring, and then monotonically expands. In three dimensions, the radius only increases. This effect is attributed to a quantum anti-centrifugal force [67–69]. This example shows that the focusing effect of a free wave packet is a more general phenomenon than that arising from the free time evolution of a one-dimensional rectangular wave packet.
We conclude with a brief reference to the type of boundaries of the slit, or shutter. Most of the classical treatments of diffraction problems define the edges of the slit, or of other aperture shape as sharp transitions between a perfectly absorbing surface and a homogeneous fully transmitting medium. In quantum matter waves, the Moshinsky shutter or the sudden release of rectangular wave packet is also an example of sharp boundaries. The effects arising in the diffraction patterns due to non-sharp boundaries have been investigated recently [5, 50, 70–73].
3 Wave function approach
In this section we use the solution of the time-dependent Schrödinger equation, that is the wave function, to show that a freely propagating rectangular wave packet exhibits the phenomenon of focusing. For this purpose we first express the time-dependent wave function in terms of a Fresnel integral, and then derive analytic approximations for the wave function as well as the probability density. To bring out most clearly the focusing effect we finally calculate the Gaussian width [5] of the wave packet and demonstrate that it exhibits a clear minimum at the time of the focusing.
3.1 Time evolution
Central to our discussion is the free propagation of a wave packet corresponding to a non-relativistic particle of mass M. The initial wave function
is of rectangular form with a length L. Here \(\varTheta\) denotes the Heaviside step function.
With the help of the propagator [74]
of a free particle connecting the initial coordinate y with x at time t, and the abbreviation
containing the reduced Planck constant \(\hbar\), we find from the Huygens principle of matter waves
the expression
for the time-dependent probability amplitude. Here we have introduced the integration variable \(\xi \equiv \alpha ^{1/2}(x - y)\).
When we decompose the integral in Eq. 5 into two parts each starting from \(x=0\), the wave function
consisting of the difference of two Fresnel integrals
is thus determined by the interference of the diffraction patterns originating from two semi-infinite walls located at \(x=L/2\) and \(x=-L/2\). The amplitude and phase of each contribution are given by the Fresnel integral F, whose real and imaginary parts
and
follow from the Cornu spiral [75] represented in the complex plane.Footnote 1
Time evolution of a rectangular wave packet represented by its probability density \(|\psi (x,t)|^{2}\), given by Eq. 5, depicted in continuous space-time (top) and at specific times (bottom) corresponding to a strongly oscillatory behavior, the focus, and the ballistic expansion. To bring out the characteristic features in the early-time evolution we have represented the time axis by a logarithmic scale. For a better comparison the initial wave packet at \(t = 0\), that is for \(\log (t = 0) = -\infty\) is moved to \(\log (t) = -3.0\) since our time axis extends only to this value
In Fig. 1 we present the probability density \(|\psi (x,t)|^{2}\) as a function of space and time. Here and in the remainder of our article we represent the coordinate x in units of L and the time t in units of the characteristic time
The curious inclusion of the factor \(2\pi\) is motivated by the asymptotic expressions of \(|\psi |^{2}\) discussed in the appendices. Moreover, the probability density \(|\psi |^{2}\) is always in units of 1 / L.
Whereas on the top of Fig. 1 we show \(|\psi (x,t)|^{2}\) in continuous space-time in the bottom panel we select specific time slices corresponding to (1) short times where the probability distribution oscillates strongly, (2) intermediate times leading to focusing, and (3) longer times representing the ballistic regime.
At \(t = 0\) the probability density starts from its initial rectangular shape and immediately develops two peaks at the edges decorated with fringes. However, after this transitional phase the two peaks disappear and a dominant maximum at the origin \(x = 0\) forms. It is most pronounced at \(t \approx 0.342\) corresponding to the focus when the width of the wave packet assumes a minimum. Indeed, here the probability density assumes a maximum, which is about a factor 1.8 larger then at \(t = 0\) where it is unity. After the focus, that is for larger times, the wave packet displays the familiar spreading effect.
3.2 Analytic approximations
Next we give approximate but analytical expressions for the time-dependent probability amplitude and probability density. Since our interest is to obtain the behavior at early times, that is before the ballistic expansion occurs, we shall consider small values of t, corresponding to the regime where \(\alpha (t)\) is large.
With the help of the asymptotic expansion [76]
valid for \(1 \ll a\) the expression Eq. 5 for the probability amplitude reduces to
and the probability density reads
This expression simplifies further when we neglect terms \(\mathcal {O}\left[ t^{2}/(1 \pm 2x/L)^{2}\right]\) and takes the form
In Fig. 2 we compare and contrast the resulting probability densities at \(x = 0\) as a function of time and find excellent agreement between the numerical result following from the evaluation of the integral of Eq. 5, and the approximations based on Eqs. 13 and 14. We emphasize that our approximations break down for very large values of t, but they succeed in giving the maximum of the distribution corresponding to the focusing effect.
We also test in Fig. 3 our approximate but analytic expressions, Eqs. 13 and 14, for the probability density against the exact numerical result given by Eq. 5 at characteristic times confirming again the focusing effect.
Comparison between the exact numerical (red) and two approximate analytical expressions (blue and green) for the probability density \(|\psi (x=0,t)|^{2}\) as a function of time. Our curves are based on Eqs. 5, 13 and 14, respectively. The oscillations near \(t = 0\) are well approximated both in amplitude and phase by the blue and green curves. A maximum occurs for \(t \approx 0.342\). Both approximations fail for large times
3.3 Focusing expressed by the Gaussian width
So far we have analyzed the phenomenon of diffractive focusing of our rectangular wave packet by considering the complete probability density in space and time. We now characterize this effect by the Gaussian measure [5]
discussed in more detail in “Appendix A”. Here \(\kappa\) is a constant with units of an inverse length.
For our rectangular wave packet we obtain the Gaussian width by numerically evaluating Eq. 15 using the integral representation Eq. 5 of the probability amplitude. In Fig. 4 we depict the corresponding curve normalized to its initial value \(\delta x^{2}(0)\) for \(\kappa = 6.0\) which displays a clear minimum at \(t \approx 0.39\), thus confirming the focusing effect.
However, we note that the location of the minimum of \(\delta x^{2} = \delta x^{2}(t)\) deviates slightly from the location of the maximum of \(|\psi (x=0, t)|^{2}\) which occurs at \(t = 0.342\) as indicated in Fig. 2. This deviation is the result of the integration in Eq. 15.
4 Experimental approach
In the preceding section we have shown that a rectangular matter wave packet first focuses before it spreads. We now describe an experiment to observe the diffraction pattern and, in particular, the focusing arising close to the slit. Here we take advantage of the familiar analogy between the Schrödinger equation
of a free particle, and the paraxial wave equation
of classical optics. In this situation z denotes the coordinate of propagation and k the wave vector of the electromagnetic wave.
Indeed, the two wave equations are identical when we make the substitution
where \(\lambda\) is the wave length. In the last step we have recalled the definition, Eq. 10 of the characteristic time T. Hence, time in the Schrödinger equation translates into propagation distance z.
As a consequence of the analogy between Eqs. 16 and 17 with the scaling given by Eq. 18, it suffices to perform our experiment with light rather than matter waves.
4.1 Setup
We use a confocal microscope for measuring the light intensity diffracted by a one-dimensional slit milled in an aluminum film.Footnote 2 The slit of length 50 \(\upmu\)m and width 2440 nm is illuminated by laser light of wavelength 488 nm as shown in Fig. 5a. A single mode optical fiber with collimator was used for the illumination. The collimated laser beam has a diameter of approximately 1 mm and is, therefore, much larger than the slit. For this reason we assume the illumination of the slit as a plane wave.
To generate images in different planes above the slit we employ a confocal laser scanning microscope (WITec GmbH). The objective used for light collection was an infinitely corrected Olympus MPlan with 100\(\times\) magnification and numerical aperture NA = 0.9. The collected light was focused into a multimode optical fiber connected to an avalanche photodiode. The light diffracted by the slit is measured in a rasterized way. Each point corresponds to a pixel of an image generated by scanning in the horizontal, or in the vertical direction, as outlined in Fig. 5a.
4.2 Results
In Fig. 5b, c, we present images of the light intensity in the plane of the slit, and perpendicular to the sample, respectively. In the latter case, we scan the confocal microscope in the vertical direction with a minimum scan step of \(\Delta z \approx 50\) nm. The pixel size in the horizontal direction corresponds to a dislocation of \(\Delta x = \Delta y = 10 \ \upmu {\rm m} / 512 \text {--} 20\) nm. Thus, each pixel is much smaller than the wavelength and the optical resolution, which according to the Rayleigh criterion is \(\Delta r \equiv 0.61\times \lambda / {\rm NA}\). The horizontal fringes appearing in the light intensity of Fig. 5c are due to the mechanical motion of the microscope when scanning vertically the diffracted light. We note the dominant maximum of the intensity at \(z \approx 4.1\) \(\upmu\)m which confirms our prediction of the focusing effect.
To analyze the phenomenon in a quantitative way we use the experimental intensity distribution of Fig 5c to obtain the Gaussian width \(\delta x^{2}\) defined by Eq. 15. The so-calculated curve, now displayed in Fig. 4 as a function of the propagation distance z and scaled according to Eq. 18, follows nicely the theoretical prediction. In particular, it displays the characteristic minimum indicating focusing at the same location as the theoretical curve.
The rapid modulation of the experimental curve is a consequence of the horizontal fringes emerging due to the mechanical motion of the microscope as mentioned above, and thus of the measurement technique. An average over these oscillations leads to a smooth curve following the theoretical curve.
Comparison between the numerical and experimental Gaussian width \(\delta x^{2}(t)/\delta x^{2}(0)\) of a focusing rectangular wave packet. To have the same domain in the abscissa the z-coordinate of the experimental data (blue curve) was scaled using \(L = 2.44\) \(\upmu\) m. The time coordinate t of the theoretical evaluation (green curve) based on Eq. 5 was scaled according to Eq. 18 with \(\lambda = 0.2\). For both curves we have chosen \(\kappa = 6.0\)
4.3 Paraxial versus non-paraxial optics
To compare our experimental results to the theoretical predictions of classical optics we have calculated the intensity and phase for a slit of width \(L = 2.44\) \(\upmu\)m illuminated by light of wave length \(\lambda = 0.488\) \(\upmu\)m corresponding to the same ratio \(L/\lambda = 5\) as in the experiment. For this purpose we use the Fresnel and the Rayleigh–Sommerfeld diffraction integrals familiar from paraxial and non-paraxial optics, respectively. In particular, we have chosen the Rayleigh–Sommerfeld integral of the first kind (RS-I) [4, 12, 13]Footnote 3 and made use of numerical integration and algorithms reported in [77]Footnote 4.
In Fig. 6a, b we depict the intensities following from the Rayleigh–Sommerfeld and Fresnel integrals, respectively. Moreover, in Fig. 7a, b we show the corresponding phases. For a direct comparison with Fig. 5 we have refrained from using normalized coordinates for both axis.
We note three characteristic features: (1) the number of intensity lobes is finite for RS-I, whereas it is infinite for Fresnel. (2) The phase pattern predicted by RS-I evolves almost as a plane wave in the propagation direction. In contrast, the Fresnel phase shows small oscillations around zero radians in the propagation direction, but rapid oscillations in the transverse direction, and (3) the Fresnel and RS-I intensity tend to agree as we move away from the slit. In particular, the focus occurs approximately in the same position for both calculations, as we show later.
We conclude this section by noting that although RS-I is only valid for scalar waves its intensity map still fits well with the optical intensity obtained experimentally.
Comparison of the intensities of a plane wave of wave length \(\lambda = 0.488\) \(\upmu\)m diffracted by a slit of width \(L = 2.44\) \(\upmu\)m calculated either from the Rayleigh–Sommerfeld integral RS-I (a), or the Fresnel integral (b). In both cases focusing occurs at \(z \approx 4\), where the intensity reaches the value of 1.8. However, in contrast to the Fresnel diffraction the number of lobes for the RS-I diffraction is finite
Comparison of the phase patterns of a plane wave of wavelength \(\lambda = 0.488\) \(\upmu\)m diffracted by a slit of width \(L = 2.44\) \(\upmu\)m calculated either from the Rayleigh–Sommerfeld integral RS-I (a), or the Fresnel integral (b). The wavefronts for the non-paraxial case evolve in the forward direction almost parallel with small perturbations. However, the paraxial phase shows a much more complicated behavior with small fluctuations around zero radians on the optical axis and rapid oscillations in the lateral direction close to the slit
5 Wigner function approach
In the preceding sections we have analyzed the focusing of a rectangular wave packet with the help of the time-dependent Schrödinger equation and have confirmed the effect using optical waves. We now consider this phenomenon from a different point of view, that is from phase space taking advantage of the Wigner function. This formalism has the remarkable feature that the time evolution is identical to the classical one, consisting of a shearing of the initial Wigner function. The latter contains the interference nature of quantum mechanics.
5.1 Probability density from tomographic cuts
The Wigner function has several unique properties. The ones most relevant for the present discussion are: (1) the time evolution of a free particle follows by a replacement of the phase space variables according to the classical motion, and (2) the corresponding probability densities originate from the integration of the Wigner function over the conjugate variable, that is by an appropriate tomographic cut. We now discuss these features in more detail and derive an expression for the probability density which is different from, but equivalent to the one discussed in Sect. 2.
5.1.1 A brief introduction
Wigner functions are quasi-probability distributions first introduced by Wigner [52] in the context of quantum correlations in statistical mechanics. They belong to the Cohen class of distributions [66] and are, therefore, related to other quadratic kernel distributions.
There exist extensive applications of the Wigner function, not only in quantum physics, but also in optics and signal processing [57, 87]. Indeed, Wigner functions are frequently used to represent quantum systems in phase space [60, 62, 88, 89]. Moreover, they describe the time evolution of wave packets in a similar way as classical phase space distributions in terms of the trajectories of classical particles [63] and have also been used in the study of diffraction in time of wave packets [51, 61, 90], a topic that has been addressed several times since the seminal article of Moshinsky [8].
5.1.2 Definition and time evolution
In this section we first define the Wigner function and discuss its time evolution in phase space. We then use its property to provide us with the marginals to compute the time- and space-dependent probability density. Here we take advantage of the fact that the Wigner function at arbitrary times is easy to obtain [63].
Indeed, for a given wave function \(\psi = \psi (x)\) we find the corresponding Wigner function from the definition
with the normalization factor \(\mathcal {N} \equiv 1/(2 \pi \hbar )\), and a free particle undergoing time evolution is described in phase space by the time-dependent Wigner function
Here \(W_{0} \equiv W(x,p; t = 0)\) denotes the Wigner function of the initial wave function \(\psi _{0} \equiv \psi (x,t=0)\).
The probability density
at a given point in space and time is obtained by integration over p which after the change of variables \(y \equiv x - (p/M)t\) reads
This representation is particularly useful in the discussion of the asymptotic behavior of the probability density addressed in more detail in “Appendix B”.
5.2 Time evolution: rectangular wave function
We are now in the position to consider the time evolution of our rectangular wave function. For this purpose we first calculate the Wigner function corresponding to this wave, and then analyze the shearing in phase space. Although we mainly study the motion of the complete Wigner function we also concentrate on those contributions in phase space which lead to the focusing.
5.2.1 General case
According to “Appendix B” the Wigner function of the rectangular wave packet, Eq. 1 reads
and is shown in Fig. 8a. Here we identify three characteristic features: (1) since the rectangular wave function is restricted to the interval \(|x| \le L/2\) also the Wigner function is limited in phase space to this domain. (2) The Wigner function assumes positive as well as negative values. (3) We recognize a dominant positive contribution along the x-axis with a maximum at the origin.
The time evolution given by Eq. 20 manifests itself in a shearing of the initial Wigner function \(W_{0}\) shown in Figs. 8b, c. Indeed, every point (x, p) of the Wigner phase space moves according to the Newton law, that is \(x \rightarrow x + p t/M\) while p is a constant of the motion.
Especially the Wigner function of Fig. 8c is interesting since it represents the moment of focusing. Indeed, by this time all negative contributions of W have moved awayFootnote 5 from the positive peak centered at the x-axis but now subtract from its wings. This fact stands out more clearly in the position distribution shown in Fig. 8d which can be understood as the result of an integration of W over the momentum variable.
Time evolution of the Wigner function corresponding to a rectangular wave packet represented by three density plots illustrating the shearing in phase space together with the associated probability densities in position space. The Wigner function of the initially rectangular wave packet is depicted in a at \(t = 0\). The distribution shears with time, as shown in b at time \(t=0.0628\), and the moment of focussing c at \(t = 0.342\). At the bottom d we display the corresponding probability densities in the coordinate x obtained by integration over the conjugate variable p. The momentum p is expressed in units of \(\hbar /L\) as suggested by the argument of the sine function in the expression, Eq. 23, for the Wigner function
In this active approach the Wigner function evolves in time but the axes of phase space which define the tomographic cuts, that is integration over x or p remain fixed. An alternative formulation follows from Eq. 22. Here the Wigner function remains static, while the line of integration evolves in time according to \(x + (p/M)t = 0\). In Fig. 9, we show the probability density at \(x = 0\) as obtained from the Wigner function through integration from this passive point of view.
The cut at \(t = 0\) runs along the momentum axis. Here the oscillations in the Wigner function \(W_{0}\) along p average out and the main contribution to the probability density arises from the positive domain along the x-axis. For small times the lines of integration enclose small angles with respect to the p-axis and the oscillations in \(W_{0}\) translate in an oscillatory probability density. A dominant maximum occurs when the cut feels the central positive ridge along the x-axis. The density decays for larger times, that is as the cut approaches the x-axis, since there is a decreasing overlap.
Diffractive focusing of a rectangular wave packet explained from Wigner phase space. At the center we depict the Wigner function of the initial rectangular wave packet as a surface on top of the \(x-p\) plane. The blue curve projected onto the surface of a cylinder represents the probability density \(|\psi (0, t)|^2\), and is the result of an integration along the red lines \(x + p t/M = 0\) at different times corresponding to different angles with respect to the \(x-\)axis. Clearly, the focusing occurs for a line sweeping only positive values of the Wigner function at the approximate time \(t \approx 0.342\)
5.2.2 Rays and envelopes
According to Eq. 20 each point in Wigner phase space follows its classical trajectory. Thus, the value of \(W_{0}\) at \((x_{0},p_{0})\) will move from \(x_{0}\) to
at time t. We now use these rays to show that the minima of the Wigner function generate the regions in space-time where the probability density \(|\psi (x,t)|^{2}\) assumes small values as exemplified by Fig 10. Thus, they indicate the x values of the minima of \(|\psi (x,t)|^{2}\) as the system evolves in time.
The explicit expression Eq. 23 for the initial Wigner function \(W_{0}\) tells us that the minima of \(W_{0}\) are given by the condition
for p positive, and
for p negative, with \(n=0,1,2, \dots\)
We substitute these expressions for \(p_{0}^{(n)}\) into the motion, Eq. 24, and rearrange the terms, which yield
for \(x_{0}\) positive, and
for \(x_{0}\) negative. The upper signs in Eqs. 27 and 28 are for positive \(p_{0}^{(n)}\), that is for a positive slope in the (x, t) plane, and the lower signs for negative \(p_{0}^{(n)}\).
The envelope of a set of curves \(F(x,t; x_{0}) = 0\), each determined by a parameter \(x_{0}\), follows [91] from the requirements
We consider the two cases, \(x_{0}>0\) and \(x_{0}<0\) in turn.
For positive \(x_{0}\), the first condition gives
which, when substituted into Eq. 27, yields the relation
Thus, only negative values of \(p_{0}^{(n)}\) contribute to this envelope and we obtain the space-time trajectories
of the minima.
According to this expression they are parabolas Footnote 6 emerging from \(x = L/2\) with a steepness inversely proportional to \((2n + 3/2)\). Hence, the largest steepness corresponds to the case of \(n = 0\) with the parabola crossing the t-axis, that is \(x = 0\), at the time
where in the last step we have recalled the definition, Eq. 10 of the characteristic time T.
For negative \(x_{0}\), the first condition in Eq. 29 provides us with the relation
which, when substituted into Eq. 28, gives
Since in this case only positive values of \(p_{0}^{(n)}\) contribute to this envelope we arrive at the space-time trajectory
corresponding to parabolas emerging from \(x = - L/2\). They are the mirror image of the ones given by Eq. 32.
In Fig. 10 we present the envelopes, Eqs. 32 and 36, along with the corresponding probability density \(|\psi (x,t)|^{2}.\) Hence, these minima coincide with the minima of the intensity pattern and are harbingers of the maxima and, in particular, of the focus.
Probability density \(|\psi (x,t)|^{2}\) represented in space-time and overlaid with the envelopes (gray lines) of the diffraction in time created by a rectangular wave packet of initial width \(L = 1\). The time t has been scaled using the characteristic time T. Here the envelopes given by Eqs. 32 and 36 approximate well the motion of the minima of \(|\psi (x,t)|^{2}\)
6 Summary and outlook: beyond slits
The spreading of a wave packet in the absence of a potential is a well-known phenomenon in quantum physics. However, also the opposite effect, that is a focusing of the wave packet can be achieved. In this case we have to imprint an appropriate position-dependent phase onto the initial wave function. Is it possible to achieve focusing even in the absence of any phase factors, that is for a real-valued initial wave function?
In the present article we have provided such an example in the form of a rectangular wave packet and have illuminated the resulting focusing in position as well as in phase space. Here we have used the time-dependent wave function and the Wigner distribution. Moreover, we have confirmed this phenomenon using laser light being diffracted from a slit building on the analogy between classical Fresnel optics and Schrödinger wave mechanics.
Throughout our article we have concentrated on rectangular wave packets created by a slit, that is by a one-dimensional aperture. However, similar effects appear in the diffraction from a two-dimensional aperture. In “Appendix C” we briefly summarize the literature on this problem, and discuss the similarities and differences between the one- and two-dimensional case using the examples of a slit and a circular aperture.
Figures 11 and 12 bring out most clearly the characteristic features of this dependence on the number of dimensions: (1) for the slit the relative intensity at the focus reaches the value of 1.8, whereas for the circular aperture the maximum is 4.0. (2) The position of the focus in the case of the circular aperture is closer to the opaque screen than in the slit, and (3) the focus originating from a circular aperture is more confined, since its decay towards the far-field region is faster.
This analysis shows that in two dimensions the focusing effect is more pronounced. Moreover, it is possible to optimize this effect by choosing different apertures, either by appropriate apodization, or by creating an optimal wave packet. Unfortunately, this topic goes beyond the scope of the present article and has to be postponed to a future publication.
Rayleigh–Sommerfeld intensity pattern for a slit of width \(L = 5\lambda\) and illumination wave length \(\lambda = 0.488\) \(\upmu\)m (a), together with a comparison between the on-axis intensities predicted by the Rayleigh–Sommerfeld and Fresnel integrals (b). In contrast to Figs. 5, 6 and 7 the horizontal axes are normalized
Rayleigh–Sommerfeld intensity pattern for a circular aperture of diameter \(L = 2 a = 5\lambda\) and illumination wavelength \(\lambda = 0.488\) \(\upmu\)m (a), together with a comparison between the on-axis intensities predicted by the Rayleigh–Sommerfeld and Fresnel integrals (b). Again the axes are normalized
Notes
The Cornu spiral was studied for the first time by Jacques Bernoulli in the context of elastic deformations and Leonhard Euler defined it in more rigorous terms. Alfred Cornu associated this curve with the Fresnel integrals C and S and achieved excellent numerical accuracy. Due to the work of the Italian mathematician Ernesto Cesaro it is also called clothoid.
The slit was fabricated using focused ion beam milling (FIB) of a 75 nm Al thin film, evaporated at a pressure of approximately \(10^{-6}\) mbar on top of a glass substrate of 1 mm thickness.
The integral RS-I is often preferred to the integral of the second kind, RS-II, because it describes more accurately the value of the lobes close to the aperture. However, RS-II predicts locations of the lobes that are identical to that of RS-I.
Mielenz developed numerical algorithms for the calculation of the diffraction by slits and circular apertures in paraxial and non-paraxial optics [77–83]. We note, however, that the Mielenz definition of the Lommel functions employed in the calculation of the Fresnel diffraction of a circular aperture is not correct. Correct definitions were provided by Lommel [84], Born and Wolf [85] and Daly et al. [86]. Moreover, we note that the abbreviations of the Rayleigh–Sommerfeld integrals RS-I and RS-II by Mielenz as \({\rm RS}^{(s)}\) and \({\rm RS}^{(p)}\) are misleading, since the indices usually refer to s- and p-polarization of vector waves, and the Rayleigh–Sommerfeld theory applies only to scalar waves.
We emphasize that our interpretation is different from [57], in page 320, which states: “... a peak in the axial intensity is achieved, associated with the vertical alignment of some of the main positive regions of the Wigner function”.
For a circular aperture these lines are rectilinear [92].
We emphasize that the z-values of the maxima and the minima coincide for \(I_{RS-I}\) and \(I_{RS-II}\).
References
A.-J. Fresnel, Mémoire sur la Diffraction de la Lumière, où l’on examine particulièrement le phénomène des franges colorées que présentent les ombres des corps éclairés par un point lumineux. Annal. Chim. Phys. 2nd Ser. 1, 239–281 (1816)
A.-J. Fresnel, Mémoire Sur la Diffraction de la Lumière. Crochard (1819)
J. Petzval, Bericht über dioptrische Untersuchungen. Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche, Cl. XXVI. Bd. I. Hft. 3 (1857)
R. Lord, On the passage of waves through apertures in plane screens, and allied problems. Philos. Mag. Ser. 5 43(263), 259–272 (1897)
W.B. Case, E. Sadurni, W.P. Schleich, A diffractive mechanism of focusing. Opt. Express 20(25), 27253–27262 (2012)
G. Vitrant, S. Zaiba, B.Y. Vineeth, T. Kouriba, O. Ziane, O. Stéphan, J. Bosson, P.L. Baldeck, Obstructive micro diffracting structures as an alternative to plasmonics nano slits for making efficient microlenses. Opt. Express 20(24), 26542–26547 (2012)
D. Weisman, S. Fu, M. Gonçalves, L. Shemer, J. Zhou, W. P. Schleich, A. Arie, Diffractive focusing of waves in time and in space. Phys. Rev. Lett. (2017)
M. Moshinsky, Diffraction in time. Phys. Rev. 88, 625–631 (1952)
T. Young, The Bakerian lecture: experiments and calculations relative to physical optics. Phil. Trans. R. Soc. Lond. 94, 1–16 (1804)
J.C. Maxwell, A dynamical theory of the electromagnetic field. Phil. Trans. R. Soc. Lond. 155, 459–512 (1865)
G. Kirchhoff, Zur Theorie der Lichtstrahlen. Ann. Phys. 254(4), 663–695 (1883)
Lord Rayleigh, On the passage of waves through fine slits in thin opaque screens. Proc. R. Soc. A 89(609), 194 (1913)
A. Sommerfeld, F. Bopp, J. Meixner, in Vorlesungen über Theoretische Physik, Bd.4, Optik, 3rd edn. Harri Deutsch Verlag (1989)
F. Kottler, Zur Theorie der Beugung an schwarzen Schirmen. Ann. Phys. 375(6), 405–456 (1923)
F. Kottler, Diffraction at a black screen: part I: Kirchhoff’s theory. Prog. Opt. 4, 281–314 (1965)
F. Kottler, Elektromagnetische Theorie der Beugung an schwarzen Schirmen. Ann. Phys. 376(15), 457–508 (1923)
F. Kottler, Diffraction at a black screen: part II: electromagnetic theory. Prog. Opt. 6, 331–377 (1967)
J.A. Stratton, L.J. Chu, Diffraction theory of electromagnetic waves. Phys. Rev. 56, 99–107 (1939)
H.A. Bethe, Theory of diffraction by small apertures. Phys. Rev. 66, 163 (1944)
C.J. Bouwkamp, Diffraction theory. Rep. Prog. Phys. 17(1), 35 (1954)
D.W. Pohl, W. Denk, M. Lanz, Optical stethoscopy: image recording with resolution \(\lambda /20\). Appl. Phys. Lett. 44, 651 (1984)
Y. Leviatan, Study of near-zone fields of a small aperture. J. Appl. Phys. 60, 1577 (1986)
D. Courjon, Near-Field Microscopy and Near-Field Optics (World Scientific, Singapore, 2003)
L. Novotny, Progress in Optics, Chapter 5—The History of Near-Field Optics, vol. 50 (Elsevier, Amsterdam, 2007)
T.W. Ebbesen, H.J. Lezec, H.F. Ghaemi, T. Thio, P.A. Wolff, Extraordinary optical transmission through sub-wavelength hole arrays. Nature 391, 667–669 (1998)
H.J. Lezec, A. Degiron, E. Devaux, R.A. Linke, L. Martin-Moreno, F.J. Garcia-Vidal, T.W. Ebbesen, Beaming light from a subwavelength aperture. Science 297, 820–822 (2002)
F.J. Garcia-Vidal, L. Martin-Moreno, T.W. Ebbesen, L. Kuipers, Light passing through subwavelength apertures. Rev. Mod. Phys. 82, 729–787 (2010)
Q. Cao, P. Lalanne, Negative role of surface plasmons in the transmission of metallic gratings with very narrow slits. Phys. Rev. Lett. 88, 057403 (2002)
F.J. García-Vidal, L. Martlín-Moreno, H.J. Lezec, T.W. Ebbesen, Focusing light with a single subwavelength aperture flanked by surface corrugations. Appl. Phys. Lett. 83, 4500–4502 (2003)
M.W. Kowarz, Homogeneous and evanescent contributions in scalar near-field diffraction. Appl. Opt. 34(17), 3055–3063 (1995)
V.V. Klimov, V.S. Letokhov, A simple theory of the near field in diffraction by a round aperture. Opt. Commun. 106(4–6), 151–154 (1994)
M.V. Berry, N.L. Balazs, Nonspreading wave packets. Am. J. Phys 47(3), 264–267 (1979)
J. Durnin, J.J. Miceli, J.H. Eberly, Diffraction-free beams. Phys. Rev. Lett. 58, 1499–1501 (1987)
T.R.M. Sales, Smallest focal spot. Phys. Rev. Lett. 81, 3844–3847 (1998)
S. Quabis, R. Dorn, M. Eberler, O. Glöckl, G. Leuchs, Focusing light to a tighter spot. Opt. Commun. 179(1–6), 1–7 (2000)
T. Grosjean, D. Courjon, Smallest focal spots. Opt. Commun. 272(2), 314–319 (2006)
B.L. Schumaker, Quantum mechanical pure states with Gaussian wave functions. Phys. Rep. 135(6), 317–408 (1985)
K. Vogel, F. Gleisberg, N.L. Harshman, P. Kazemi, R. Mack, L. Plimak, W.P. Schleich, Optimally focusing wave packets. Chem. Phys. 375(2–3), 133–143 (2010)
V.V. Dodonov, Rotating quantum Gaussian packets. J. Phys. A: Math. Theor. 48(43), 435303 (2015)
V.I. Balykin, V.G. Minogin, Focusing of atomic beams by near-field atom microlenses: the Bethe-type and the Fresnel-type microlenses. Phys. Rev. A 77, 013601 (2008)
A.D. Cronin, J. Schmiedmayer, D.E. Pritchard, Optics and interferometry with atoms and molecules. Rev. Mod. Phys. 81, 1051–1129 (2009)
S.A. Akhmanov, A.P. Sukhorukov, R.V. Khokhlov, Self-focusing and diffraction of light in a nonlinear medium. Sov. Phys. Uspekhi 10(5), 609 (1968)
A. Dubra, J.A. Ferrari, Diffracted field by an arbitrary aperture. Am. J. Phys 67(1), 87–92 (1999)
G.D. Gillen, S. Guha, Modeling and propagation of near-field diffraction patterns: a more complete approach. Am. J. Phys 72, 1195 (2004)
H. Osterberg, L.W. Smith, Closed solutions of Rayleigh’s diffraction integral for axial points. J. Opt. Soc. Am. 51(10), 1050–1054 (1961)
S. Guha, G. Gillen, Description of light propagation through a circular aperture using nonparaxial vector diffraction theory. Opt. Express 13(5), 1424–1447 (2005)
M. Moshinsky, Diffraction in time and the time-energy uncertainty relation. Am. J. Phys 44(11), 1037–1042 (1976)
S. Godoy, Diffraction in time: Fraunhofer and Fresnel dispersion by a slit. Phys. Rev. A 65, 042111 (2002)
C. Brukner, A. Zeilinger, Diffraction of matter waves in space and in time. Phys. Rev. A 56, 3804–3824 (1997)
A. del Campo, G. García-Calderón, J.G. Muga, Quantum transients. Phys. Rep. 476(1–3), 1–50 (2009)
A. Goussev, Diffraction in time: an exactly solvable model. Phys. Rev. A 87, 053621 (2013)
E. Wigner, On the quantum correction for thermodynamic equilibrium. Phys. Rev. 40, 749–759 (1932)
M.J. Bastiaans, Wigner distribution function and its application to first-order optics. J. Opt. Soc. Am. 69(12), 1710–1716 (1979)
C.J. Román-Moreno, R. Ortega-Martínez, C. Flores-Arvizo, The Wigner function in paraxial optics II. Optical difffraction pattern representation. Revista Mexicana de Física 49(3), 290–295 (2003)
A. Torre, Linear Ray and Wave Optics in Phase Space (Elsevier, Amsterdam, 2005)
M. Testorf, B. Hennelly, J. Ojeda-Castaneda, Phase-Space Optics: Fundamentals and Applications (McGraw-Hill Education, New York, 2009)
M.A. Alonso, Wigner functions in optics: describing beams as ray bundles and pulses as particle ensembles. Adv. Opt. Photon. 3(4), 272–365 (2011)
G.A. Baker, Formulation of quantum mechanics based on the quasi-probability distribution induced on phase space. Phys. Rev. 109, 2198–2206 (1958)
G.A. Baker, I.E. McCarthy, C.E. Porter, Application of the phase space quasi-probability distribution to the nuclear shell model. Phys. Rev. 120, 254 (1960)
R.G. Littlejohn, The semiclassical evolution of wave packets. Phys. Rep. 138(4–5), 193–291 (1986)
V. Man’ko, M. Moshinsky, A. Sharma, Diffraction in time in terms of Wigner distributions and tomographic probabilities. Phys. Rev. A 59, 1809–1815 (1999)
W.P. Schleich, Quantum Optics in Phase Space (Wiley-VCH, Weinheim, 2001)
W.B. Case, Wigner functions and Weyl transforms for pedestrians. Am. J. Phys. 76(10), 937 (2008)
W.P. Schleich, J.P. Dahl, S. Varró, Wigner function for a free particle in two dimensions: a tale of interference. Opt. Commun. 283(5), 786–789 (2010)
ThL Curtright, D.B. Fairlie, C.K. Zachos, A Concise Treatise on Quantum Mechanics in Phase Space (World Scientific, Singapore, 2014)
L. Cohen, Time-frequency distributions—a review. Proc. IEEE 77(7), 941–981 (1989)
I. Białynicki-Birula, M.A. Cirone, J.P. Dahl, M. Fedorov, W.P. Schleich, In- and outbound spreading of a free-particle \(s\)-wave. Phys. Rev. Lett. 89, 060404 (2002)
M.A. Cirone, J.P. Dahl, M. Fedorov, D. Greenberger, W.P. Schleich, Huygens’ principle, the free Schrödinger particle and the quantum anti-centrifugal force. J. Phys. B: Atomic Mol. Opt. Phys. 35(1), 191 (2002)
M.A. Andreata, V.V. Dodonov, On shrinking and expansion of radial wave packets. J. Phys. A: Math. Gen. 36(25), 7113 (2003)
E. Granot, A. Marchewka, Generic short-time propagation of sharp-boundaries wave packets. Europhys. Lett. 72(3), 341–347 (2005)
A. del Campo, J.G. Muga, M. Moshinsky, Time modulation of atom sources. J. Phys. B: Atomic Mol. Opt. Phys. 40(5), 975 (2007)
A. del Campo, J.G. Muga, M. Kleber, Quantum matter-wave dynamics with moving mirrors. Phys. Rev. A 77, 013608 (2008)
A. Goussev, Manipulating quantum wave packets via time-dependent absorption. Phys. Rev. A 91, 043638 (2015)
R.P. Feynman, A.R. Hibbs, Quantum Mechanics and Path Integrals: Emended Edition (Dover Publications, New York 2010)
R.W. Wood, Physical Optics (Macmillan Company, New York, 1911)
M. Abramowitz, I.A. Stegun (eds.), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables (Dover Publications, New York, 1965)
K. Mielenz, Optical diffraction in close proximity to plane apertues: I. Boundary-value solutions for circular apertures and slits. J. Res. Natl. Inst. Stand. Technol. 107(4), 355–362 (2002)
K. Mielenz, Computation of Fresnel integrals. J. Res. Nat. Inst. Stand. Technol. 102(3), 363 (1997)
K. Mielenz, Algorithms for Fresnel diffraction at rectangular and circular apertures. J. Res. Natl. Inst. Stand. Technol. 103(5), 497–509 (1998)
K. Mielenz, Computation of Fresnel integrals. II. J. Res. Nat. Inst. Stand. Technol. 105(4), 589 (2000)
K. Mielenz, Optical diffraction in close proximity to plane apertures. II. Comparison of half-plane diffraction theories. J. Res. Natl. Inst. Stand. Technol. 108(1), 57–68 (2003)
K. Mielenz, Optical diffraction in close proximity to plane apertures. III. Modified, self-consistent theory. J. Res. Natl. Inst. Stand. Technol. 109(5), 457–464 (2004)
K. Mielenz, Optical diffraction in close proximity to plane apertures. IV. Test of a pseudo-vectorial theory. J. Res. Nat. Inst. Stand. Technol. 111(1), 1–8 (2006)
E. Lommel, Die Beugungserscheinungen einer kreisrunden Oeffnung und eines kreisrunden Schirmchens. Abh. Bayer. Akad. Math. Naturwiss. XV. Bd. II. Abth. 31, 233–328 (1885)
M. Born, E. Wolf, Principles of Optics, 7th edn. (Cambridge University Press, Cambridge, 1999)
C.J. Daly, T.W. Nuteson, N.A.H.K. Rao, The spatially averaged electric field in the near field and far field of a circular aperture. IEEE Trans. Antennas Propag. 51(4), 700 (2003)
E. Sejdić, I. Djurović, J. Jiang, Time-frequency feature representation using energy concentration: an overview of recent advances. Digital Signal Process. 19(1), 153–183 (2009)
N.L. Balazs, B.K. Jennings, Wigner’s function and other distribution functions in mock phase spaces. Phys. Rep. 104(6), 347–391 (1984)
H.-W. Lee, Theory and application of the quantum phase-space distribution functions. Phys. Rep. 259(3), 147–211 (1995)
R. Mack, V.P. Yakovlev, W.P. Schleich, Correlations in phase space and the creation of focusing wave packets. J. Mod. Opt. 57(14–15), 1437–1444 (2010)
J.W. Bruce, P.J. Giblin, Curves and Singularities, 2nd edn. (Cambridge University Press, Cambridge, 1992)
G.W. Forbes, Scaling properties in the diffraction of focused waves and an application to scanning beams. Am. J. Phys 62(5), 434–443 (1994)
R. Courant, D. Hilbert, Methode der mathematischen Physik, 4th edn. (Springer, Berlin, 1993)
J.W. Goodman, Introduction to Fourier Optics, 2nd edn. (McGraw-Hill, Singapore, 1996)
J.E. Harvey, J.L. Forgham, The spot of Arago: new relevance for an old phenomenon. Am. J. Phys 52, 243 (1984)
R.L. Lucke, Rayleigh–Sommerfeld diffraction and Poisson’s spot. Eur. J. Phys. 27(2), 193 (2006)
W.R. Kelly, E.L. Shirley, A.L. Migdall, S.V. Polyakov, K. Hendrix, First- and second-order Poisson spots. Am. J. Phys 77(8), 713–720 (2009)
M. Gondran, A. Gondran, Energy flow lines and the spot of Poisson–Arago. Am. J. Phys. 78(6), 598 (2010)
M.V. Berry, C. Upstill, Progress in Optics, Chapter IV Catastrophe Optics: Morphologies of Caustics and their Diffraction Patterns, vol. 18 (Elsevier, Amsterdam, 1980)
J.F. Nye, Natural Focusing and Fine Structure of Light, 1st edn. (IOP Publishing, Bristol, 1999)
J. Coulson, G.G. Becknell, Reciprocal diffraction relations between circular and elliptical plates. Phys. Rev. 20, 594 (1922)
G.G. Becknell, J. Coulson, An extension of the principle of the diffraction evolute, and some of its structural detail. Phys. Rev. 20, 607 (1922)
C.V. Raman, On the diffraction-figures due to an elliptic aperture. Phys. Rev. 13, 259–260 (1919)
R. Borghi, Catastrophe optics of sharp-edge difffraction. Opt. Lett. 41(13), 3114–3117 (2016)
R.R. Letfullin, T.F. George, Optical effect of diffractive multifocal focusing of radiation on a bicomponent diffraction system. Appl. Opt. 39(16), 2545–2550 (2000)
R.R. Letfullin, O.A. Zayakin, Observation of diffraction multifocal radiation focusing. Quantum Electron. 31(4), 339–342 (2001)
R.R. Letfullin, O.A. Zayakin, Diffractive focusing of a Gaussian beam. J. Russ. Laser Res. 23(2), 148 (2002)
J.T. Foley, R.R. Letfullin, H.F. Arnoldus, T. George, The diffractive multifocal focusing effect and the phase of the optical field. Int. J. Theor. Phys. Group Theory Nonlinear Opt. 11(3), 149–163 (2004)
J.R. Foley, R.R. Letfullin, H.F. Arnoldus, Tribute to Emil Wolf: Science and Engineering Legacy of Physical Optics, Chapter 14—The Diffractive Multifocal Focusing Effect (SPIE Press, Washington, DC, 2004)
R.R. Letfullin, T.F. George, A. Siahmakoun, M.F. McInerney, De Broglie-wave lens. Opt. Eng. 47(2), 028001 (2008)
M. Galassi, J. Davies, J. Theiler, B. Gough, G. Jungman, P. Alken, M. Booth, F. Rossi, R. Ulerich. GNU Scientific Library Reference Manual, 2.3 edn. for GSL Version 2.3 (2016). https://www.gnu.org/software/gsl/
Acknowledgements
Our interest in diffractive focusing dates back many years when it was at the center of a very productive collaboration with Emerson Sadurni. Unfortunately, in the mean time his interests have shifted and he has decided not to join us in this article walking down memory lane. Although we regret his decision we respect it and are most grateful to him for working with us on this topic during his period at Ulm University and for allowing us to use some of the material prepared in those days. We have immensely profited from and enjoyed many discussions with M. Arndt, S. Fu, N. Gaaloul, G. Leuchs, E. M. Rasel, L. Shemer, D. Weisman, E. Wolf, J. Zhou, and M. S. Zubairy. In particular, we thank T. W. Hänsch for a fruitful exchange of emails concerning this topic. We thank Ch. Kranz and collaborators of the Institute of Analytical and Bioanalytical Chemistry, Ulm University, for the preparation of the slits on the thin aluminum film using FIB. This work is supported by DIP, the German–Israeli Project Cooperation. WPS is most grateful to Texas A&M University for a Faculty Fellowship at the Hagler Institute for Advanced Study at the Texas A&M University as well as to the Texas A&M AgriLife Research for its support.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is part of the topical collection “Enlightening the World with the Laser” - Honoring T. W. Hänsch guest edited by Tilman Esslinger, Nathalie Picqué, and Thomas Udem.
The TWH productions on classical wave optics illustrating, for example, a pinhole caleidoscope, a Fresnel iris or different diffraction gratings are legendary. They can be found on Dropbox and YouTube at https://dl.dropboxusercontent.com/u/87280051/pinhole%20diffraction%204-15-2014%20720p.mov, https://www.youtube.com/watch?v=llevPEEd4L4 and https://www.youtube.com/watch?v=jzmqeRp_tmk. Over the last decades we have had great fun discussing wave phenomena such as Talbot carpets, Fresnel lenses and the diffraction from a single slit with Theodor W. Hänsch. For this reason we find it appropriate to dedicate to him this article on an elementary example of diffractive focusing on the occasion of his 75th birthday.
Appendices
Appendix A: Gaussian width
In this appendix we summarize the evaluation of the time-dependent Gaussian width defined by Eq. 15 of our rectangular wave packet. To gain some insight into this unusual definition of width we first discuss several of its general properties and then rederive the familiar spreading of a Gaussian wave packet undergoing free expansion employing this measure. We conclude by considering the case of the rectangular wave packet.
1.1 A.1: General properties
We start our discussion of the Gaussian width
of the probability density \(P = P(x)\) with the average
by noting that for \(\kappa \rightarrow 0\) the familiar expansion
leads us to
Hence, in this limit the Gaussian width \(\delta x^{2}\) reduces to the second moment \(\langle x^{2} \rangle\) of \(P = P(x)\).
Whenever P displays oscillations in the position variable x around an average value \(\overline{P}\) that are rapid on the decay length \(1/\kappa\) of the Gaussian in the definition, Eq. 37, of \(\delta x^{2}\) the oscillatory part averages out, and the familiar integral relation
yields
The other extreme occurs when \(P=P(x)\) is slowly varying compared to \(\exp [-(\kappa x)^{2}]\). In this case we can evaluate P at \(x = 0\), factor it out of the integral and perform the integral with the help of Eq. 41. Thus, we arrive at the approximate expression
which implies that the dependence of \(\delta x^{2}\) on an additional parameter, such as time is governed by the dependence of the probability density P at the origin on that parameter.
Obviously, the most interesting case emerges when P and \(\exp \left[ -(\kappa x)^{2}\right]\) vary on approximately the same length scale. This situation is of special interest when P exhibits a dominant maximum at \(x = 0\). Indeed, with the help of the Taylor expansion
around this point we find from the identity
the Gaussian approximation
of P. Here prime denotes differentiation with respect to x.
As a result, we obtain the expression
where we have used again the integral relation, Eq. 41.
1.2 A.2: Gaussian wave packet
Next we evaluate the Gaussian width for a freely spreading Gaussian wave packet of initial form
with \(\mathcal {N} \equiv (2 \beta /\pi )^{1/4}\) and a real-valued constant \(\beta\).
From the Huygens integral, Eq. 4, together with the propagator, Eq. 2, we obtain with the help of the integral relation
the wave function
and thus the probability density
When we now substitute this expression into the definition, Eq. 37 of the Gaussian measure \(\delta x^{2}\) of width and recall the identity, Eq. 41, we arrive at the result
or
We note that for \(\kappa ^{2}/(2\beta ) \ll 1\) and \((\beta /\alpha )^{2} < 1\) corresponding to early times this expression reduces to
that is to the second moment \(\langle x^{2} \rangle\) of the Gaussian, Eq. 51, as predicted by Eq. 40.
Even more interesting is the limit \(1 \ll (\beta /\alpha )^{2}\) corresponding to large times where Eq. 53 takes the form
According to the definition, Eq. 3, of \(\alpha\) we find \(\alpha \propto 1/t\) and thus \(\delta x^{2}\) increases in a monotonic way tending towards the constant \(1/\kappa ^{2}\). This time dependence of the Gaussian width is in sharp contrast to the one of the second moment \(x^{2}\) given by Eq. 54 which increases quadratically with time without a bound.
1.3 A.3: Rectangular wave packet
Finally we turn to the Gaussian width \(\delta x^{2}\) of the rectangular wave packet. Here we use the approximations developed in Sect. A.1 together with the properties of the approximate expressions, Eqs. 14 and 89 for the probability density \(P(x,t) = |\psi (x,t)|^{2}\).
Indeed, for early times Eq. 14 predicts rapid oscillations around \(\overline{P} = 1/L\) due to the fact that \(\alpha\), which according to Eq. 3 is inversely proportional to t, is large. Hence, we find from Eq. 42 the approximation
In the other extreme, that is for large times Fig. 1 shows that P is slowly varying. As a result, we obtain from Eq. 43 the formula
and the time dependence of \(\delta x^{2}\) is determined by the one of the probability density at the origin. Hence, a maximum in \(|\psi (x=0,t)|^{2}\) translates into a minimum of \(\delta x^{2}\) and vice versa.
However, in the neighborhood of the focus it is necessary to use the approximation Eq. 47 which requires P(0) and \(P^{\prime \prime }(0)\). According to Fig. 3 the expression for P, Eq. 14, approximates well the exact distribution. Therefore, it suffices to expand Eq. 14 up to the second order in x and we find
and
In Fig. 13 we compare and contrast the three approximations Eqs. 56, 57, and 47 together with 58 and 59 to the numerically obtained curve based on the Fresnel integral, Eq. 5. We note that Eq. 56 provides us with the correct starting point of \(\delta x^{2}\). Moreover, when we use Eq. 89 for \(|\psi (x=0,t)|^{2}\) the approximation Eq. 57 describes well the long-time behavior but breaks down for short times. It is slightly off close to the focus. Here, only Eq. 47 together with Eqs. 58 and 59 yields a good fit to the exact curve.
Comparison of the numerically obtained Gaussian width \(\delta x^{2}\) as a function of time for the freely spreading rectangular wave packet (green curve), and its approximations for early and large times given by Eqs. 56 and 57 and depicted by blue and red curves, respectively, together with the Gaussian approximation, Eq. 47, around the focus using Eqs. 58 and 59. Here we have chosen the value \(\kappa = 6.0\) as in Fig. 4. Equation 57 was evaluated using the approximation for large times, Eq. 89. In the graphic representation of Eq. 47 we have used Eqs. 58 and 59
Appendix B: Wigner dynamics of rectangular wave packet
In this appendix we analyze the time evolution of the rectangular wave packet from the point of view of Wigner phase space. For this purpose we first rederive the Wigner function of the initial rectangular wave packet and then obtain by integration over the momentum variable the time-dependent probability density in position space. The resulting integral representation for the probability density at \(x = 0\) allows us to derive analytical approximations in three different time domains: (1) early and intermediate times, (2) around the focus, and (3) very long times. We conclude by presenting an exact expression as well as several approximations for the location of the focus.
1.1 B.1: Initial Wigner function
We start by computing the Wigner function
with the normalization constant \(\mathcal {N} \equiv 1/(2 \pi \hbar )\) for the square packet given by the wave function
When we substitute this expression into the definition of \(W_{0},\) Eq. 60, we find
The step functions imply the inequalities \(-\frac{L}{2}< x - \frac{\xi }{2} < \frac{L}{2}\) and \(-\frac{L}{2}< x + \frac{\xi }{2} < \frac{L}{2}\), which can be expressed as \(-L + 2x< \xi < L + 2x\) and \(-L - 2x< \xi < L - 2x\), leading us to the relation \(-L + 2|x|< \xi < L - 2|x|\). These boundaries establish the limits of integration. Indeed, the integral vanishes for \(2|x|-L \ge L-2|x|\) giving rise to a factor \(\varTheta (L-2|x|)\).
Hence, the Wigner function corresponding to the rectangular wave packet reads
which after integration takes the form
and is shown in Fig. 9.
1.2 B.2: Time-dependent probability density
Next we derive the time-dependent probability density \(|\psi (x,t)|^{2}\) by integrating the time-dependent Wigner function
over p, using the form
When we substitute the expression Eq. 64 for \(W_{0}\) with the appropriate arguments into Eq. 66 we arrive at the integral
which reduces with the help of the Heaviside step function to
We conclude by introducing the abbreviation
and the change of variable \(\eta \equiv 2y/L\) and arrive at the exact expression
for the time-dependent probability density.
1.3 B.3: Two exact expressions for \(x = 0\)
Next we evaluate the integral in Eq. 70 at \(x = 0\) and note that the resulting integrand is symmetric with respect to \(\eta = 0\). As a result, Eq. 70 takes the form
We can obtain an alternate form by the change of variables \(\chi \equiv 4 \eta (1-\eta )\) and \(\chi\) covers the interval [0, 1] twice as \(\eta\) moves from 0 to 1. Indeed, for \(0< \eta < 1/2\) we have \(\eta \equiv {\textstyle {1\over 2}}(1 - \sqrt{1 - \chi })\), while for \(1/2< \eta < 1\) we have \(\eta \equiv {\textstyle {1\over 2}}(1 + \sqrt{1 - \chi })\) and the corresponding differentials are \(d \chi = 4 \sqrt{1 - \chi } {\rm d}\eta\) and \(d \chi = -4 \sqrt{1 - \chi }\,{\rm d}\eta\), respectively.
When we decompose the integral
into these two domains we find
or
Hence, we obtain the alternate exact expression
for the time-dependent probability density at \(x = 0\).
1.4 B.4: Approximations
Now we analyze the integrals of Eqs. 71 and 75 in three different time regimes. Our main interest is to estimate the probability density around the time of focusing.
1.4.1 B.4.1: Early times
In this domain we use the integral representation, Eq. 71, of \(|\psi (0,t)|^{2}\) and note that for \(t \rightarrow 0\), that is for \(\tau \rightarrow 0\) two dominant terms emerge. Indeed, when we complete the square in the argument of the sine function we find
indicating a point of stationary phase at \(\eta =1/2\).
Moreover, due to the factor \(1/\eta\) in the integrand another contribution arises. These observations suggest to decompose the integral into two parts: one around the origin and one containing the point of stationary phase, that is
with
Here a is a constant parameter such that \(0< a < 1/2\).
In the first integral, we approximate \(\eta (1-\eta ) \cong \eta\) and take the limit \(\tau \rightarrow 0\). This procedure leads us to
where we have used the representation
of the Dirac delta function.
We evaluate the second integral in Eq. 77 with the help of the method of stationary phase [93] which yields
Finally, we combine the two results and arrive at the approximate expression
which reproduces the initial value of the wave packet and yields a strongly oscillatory correction with a square root envelope. Indeed, these features stand out most clearly when we express this formula in terms of the characteristic time
which yields
The simplicity of this asymptotic expression for \(|\psi |^{2}\) clearly motivates the inclusion of the sometimes mysterious factor \(2\pi\) in the definition of T.
Equation 82 is in perfect agreement with Eq. 58, that is with our expression of Eq. 14 for \(x=0\). Needless to say, for \(t \rightarrow \infty\) this approximate formula, originally constructed for small times, breaks down. Indeed, we find
leading to unphysical negative probabilities.
Comparison between different approximations of the probability density \(|\psi (x=0,t)|^{2}\). The red line represents the exact result obtained numerically from the Fresnel diffraction integral, Eq. 5, and the black curve shows the early-time estimate given by Eq. 82. In blue we depict the intermediate and long-time estimate defined by Eq. 89, and the green curve shows the 1 / t-behavior at very long times following from Eq. 93. The different curves show progressively the behavior of \(|\psi (x=0,t)|^{2}\) as time increases, or equivalently, as one moves from the near-field to the far-field. Near-field: the square root envelope is visible and agrees perfectly with the exact result both in amplitude and in phase. Focusing: all approximations—except for the very long time curve in green—show a peak located close to the actual maximum. Far-field: all the approximations reproduce the asymptotics, except for the black curve at very long times
1.4.2 B.4.2: Time of maximum and long-time approximation
Next we use the representation of \(|\psi (x=0, t)|^{2}\) given by Eq. 75 to obtain an estimate for long times, that is for \(1 < \tau\), which captures the focusing effect as it manifests itself in a dominant maximum of the probability density. Since in this regime, the function \(\sin (\chi /8 \tau )\) does not display oscillations in the interval \(0<\chi <1\), we may approximate it by a line secant to the curve \(\sin (\chi /8 \tau )/\chi\) at the end points, that is
With this approximation and the integral relations
and
we can carry out the integration in Eq. 75 to obtain the formula
or when expressed in terms of T
This expression clearly shows the asymptotic behavior T / t, as well as the presence of a maximum due to the sign change of the second term.
1.4.3 B.4.3: Very long times
A rather straight-forward approximation valid for extremely long times results from a Taylor expansion of the integral representation, Eq. 66, of the probability density in 1 / t. Indeed, for \(M(x - y)/t \cong 0\), we obtain
which together with the expression Eq. 64 of the Wigner function for \(p = 0\), that is with
yields after integration the approximate but analytical formula
which is independent of the coordinate x. In particular, Eq. 93 is valid for \(x=0\) and it coincides with the first term of our previous estimate, Eq. 89, as shown in Fig. 14 by the blue and green curves.
1.5 B.5: Location of the focus
We are now in the position to determine the exact location of the dominant maximum of \(|\psi (x=0, t)|^{2}\), that is of the focus by solving a transcendental equation. For this purpose we differentiate the exact expression for \(|\psi (x=0,t)|^{2}\) in terms of the integral, Eq. 71, with respect to t which leads us to the equation
or
Here we have recalled the definitions Eqs. 8 and 9. When we solve Eq. 95 numerically we find \(\tau _{f} \approx 0.054\).
A comparison between the definition, Eq. 83, of the characteristic time T with the definition, Eq. 69 of \(\tau\), yields the relation
which translates into \(t_{f}/T \equiv 2\pi \tau _{f} \cong 0.34\), in complete agreement with the analysis of Sect. 2, and in particular Figs. 1 and 2.
It is interesting that our estimates based on the various approximations for \(|\psi (x=0,t)|^{2}\) discussed before are very close to this value. Indeed, our early-time approximation, Eq. 82, provides us with the condition
leading to the value \(\tau _{e} \approx 0.058\).
Remarkably, our long-time approximation, Eq. 89, which yields the transcendental equation
with the solution \(\tau _{l} \equiv 3 / (16 \pi ) \approx 0.059\) is also accurate up to two digits.
Appendix C: Circular apertures
Slits are frequently employed in diffraction problems because of the mathematical simplicity of the resulting diffraction integrals and the physical interpretation being limited to one space dimension only. However, circular apertures are often preferred due to their direct application in microscopy, photography and transmission between different regions of space. Indeed, early optics problems such as the camera obscura [3], the transmission by an aperture smaller than the wave length [19, 20, 22, 31], the Fourier optics of pupils and their optical transfer functions [94] are only but a few examples illustrating this point. In this Appendix, we first briefly review the history of diffraction from a circular aperture, and then discuss the similarities and differences between the diffractive focusing of scalar waves arising from slits and circular apertures.
1.1 C.1: Cusps and multiple diffraction
We start by recalling that the Poisson–Arago spot is the intensity map resulting from the illumination of a circular disk. Therefore, the field distribution is the complement of that generated by a circular aperture and can be calculated using the Babinet principle [95–98].
In 1922, Coulson and BecknellFootnote 7 have investigated experimentally a variant of the Poisson–Arago spot [101, 102] by measuring the intensity patterns generated by a disk rotated around its diagonal and illuminated by a point light source. The geometric shadow of this arrangement is an ellipse and the intensity pattern in the far-field is a diamond-like figure with four cusps being the evolute of the edge of the shadow. It is interesting that a few years earlier, Raman has also observed cusps in the diffraction patterns generated by an elliptical aperture [103].
Cusp are examples of catastrophe optics [99]. The interaction of light with a sharp-edge aperture was mathematically reformulated recently [104].
Finally, we turn to Letfullin and collaborators who have analyzed [105–109] theoretically and experimentally the phenomenon of multiple diffractive focusing, which occurs when we apply a second circular aperture of radius \(a_{2}\) to the diffraction pattern generated by a first circular aperture of larger diameter \(a_{1}\), placed in the symmetry axis. Provided the distance L between the second and the first apertures is such that the Fresnel number \(N_{1} \equiv a_{1}^{2}/(\lambda L)\) is an odd integer, the second diffraction pattern has a maximum that can reach 10.0 times the illuminating intensity of the first aperture. Based on this observation they proposed a lens for matter waves [110].
1.2 Slit and circular aperture: paraxial versus non-paraxial optics
In Sect. 4 we have studied the diffraction from a slit of width L illuminated by light of wave length \(\lambda\) using the Fresnel and the Rayleigh–Sommerfeld integrals. The evaluation of the RS-I integral requires the numerical integration of Hankel functions [77]. We now briefly summarize an analogous discussion for the case of a circular aperture of radius \(a = L/2\).
In the Fresnel diffraction from a circular aperture we make use of Lommel functions in the calculation algorithm [77, 84–86]. For the non-paraxial calculation, the RS-I and RS-II integrals are evaluated numerically using the GNU Scientific Library (GSL) [111]. The results for the slit and the circular aperture are depicted in Figs. 11 and 12 in Sect. 6.
The fields and the corresponding normalized intensities on-axis based on the Rayleigh–Sommerfeld integrals for a circular aperture of radius a illuminated by a plane wave [43, 45, 77] read
and
From these expressions,Footnote 8 especially the one for \(I_{RS-II}/I_{0}\), several properties of the non-paraxial diffraction stand out: the number of maxima, or minima of each intensity function is finite. Indeed, the maxima follow from the condition
or equivalently, \(k(\sqrt{a^{2} + z^{2}} - z) = (2m + 1)\pi\), with \(m = 0, 1, 2, \dots\) The minima occur when
with \(n = 1, 2, \dots\)
The argument of the cosine function never vanishes, except for the trivial case of \(a = 0\), or in the asymptotic limit \(z \rightarrow \infty\). On the other hand, the intensity at the origin (\(z = 0\)) oscillates between 0 and 4.0, depending only on a. In contrast, the intensity \(I_{\text {RS-I}}/I_{0}\) always converges to 1.0.
The representation of the on-axis intensities \(I_{\text {RS-I}}\) and \(I_{\text {RS-II}}\) using a logarithmic scale for z permits us to find another interesting property of the non-paraxial diffraction: the separation between maxima, or minima along the \(\log (z)\)-axis is constant. This property is due to the argument of cosine function.
We note that Forbes has investigated the scaling properties of the Fresnel diffraction patterns for circular apertures [92], but he did not mention this feature as it arises only in non-paraxial diffraction.
The Fresnel diffraction intensity on-axis of a circular aperture reads
with the argument of the cosine-function being inversely proportional to z. Thus, the number of maxima and minima is infinite.
We can find the location \(z_{\rm m} = a/\lambda\) of the last maximum from Eq. 103. If we normalize this length by \(L^{2} / \lambda\) we obtain
that is the position of the focus.
In the case of the slit no analytic expressions are known for the non-paraxial intensity, but the graphical representations of the RS-I intensities in Fig. 11 show that the number of lobes in the intensity map of a slit of width \(L=2a\) is equal to that for a circular aperture of the same diameter. It depends only on the ratio \(L/\lambda\).
However, the maxima are differently distributed along the z-axis, and the dominant lobe containing the focusing maximum is much more elongated than that of the circular aperture.
The Fresnel intensity on-axis is approximated by
which shows why the position of the focus is shifted towards larger z values, compared to the circular aperture. After the normalization by \(L^{2}/\lambda\) we find
Moreover, the maxima of the Fresnel intensity decay in amplitude converging to 1.0 for \(z \rightarrow 0\), unlike in the circular aperture.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Gonçalves, M.R., Case, W.B., Arie, A. et al. Single-slit focusing and its representations. Appl. Phys. B 123, 121 (2017). https://doi.org/10.1007/s00340-017-6675-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00340-017-6675-1