Abstract
We report the first, to the best of our knowledge, observation of concentrating paraxial beams of light in a linear nondispersive medium. We have generated this intriguing class of light beams, recently predicted by one of us, in both one- and two-dimensional configurations. As we demonstrate in our experiments, these concentrating beams display unconventional features, such as the ability to strongly focus in the focal spot of a thin lens like a plane wave, while keeping their total energy finite.
© 2020 Optical Society of America under the terms of the OSA Open Access Publishing Agreement
1. Introduction
Legend says that during the Siege of Syracuse the Greek mathematician Archimedes set the Roman fleet on fire using mirrors that concentrated sunlight upon the ships. Modern versions of Archimedes mirrors are solar furnaces that can achieve light intensities of about $10$ MW/m$^2$ at the focus.
Focusing light is the province of mirrors and lenses. A converging lens focuses a collimated beam onto a bright spot centered about the focal point, at a distance $f$ from the lens. Reversing the direction of light, the same lens can be used to convert a small spotlike source at the focus in a collimated beam. Therefore, if such a source covered an arbitrarily small area $d^2$, we would expect that in the reversed operation a converging lens could focus a collimated light beam on a spot of the same area $d^2$.
However, things are not quite so simple. As a matter of fact, in 1873 Abbe found that a lens cannot focus light of wavelength $\lambda$ to a spot of area smaller then $\lambda ^2$ [1]. Since then, this result has been a tenet of wave optics and it is often presented as a fundamental constraint arising from the properties of the Fourier transform, which relates the transverse spatial spread of a wavepacket to its angular spread in the corresponding wavevector space [2].
Only recently various techniques aiming at beating this limit were proposed and eventually demonstrated [3]. In particular, Pendry suggested that the physical origin of such $d^{2} > \lambda ^{2}$ limitation resides in the impossibility of a lens to act upon those evanescent waves that would contribute to the formation of a pointlike spot in the focal plane [4]. To overcome this problem Pendry proposed the use of a suitably engineered superlens that would amplify evanescent waves.
Here, we follow a completely different approach based on a very elementary observation: if evanescent waves constitute the origin of the problem, then it would be sufficient to consider only light waves that do not contain them. Paraxial optics deals precisely with such a kind of waves [5]. That a paraxial plane wave can be concentrated into a pointlike spot of infinite brightness by a thin lens, is a textbook result [6]. However, a bona fide plane wave has an infinite transverse extension and convey infinite energy. Plane waves are not the only ones that require an infinite amount of energy to be generated: Bessel [7] and Airy [8] beams are very famous examples thereof. Therefore, plane waves, Bessel beams and Airy beams, just to name a few popular nondiffracting beams, are abstractions which can be implemented only approximately in the real world.
In this work, we report the first observation of concentrating paraxial beams of light focused by a thin lens. As shown in Ref. [9], these beams have an infinite lateral extent like, e.g., plane waves or Bessel beams, but they carry finite energy. Of course, in practice, these beams are typically truncated by an aperture. However, if the maximal transverse size of such aperture falls behind the focal length of the lens, paraxial regime of propagation is maintained and the truncated beams are still strongly concentrated in the focal point of the lens, thus preserving the major characteristics of ideal concentrating beams. In fact, our experiments demonstrate that even though the beams are truncated they still greatly outperform standard Gaussian beams in terms of focalized intensity.
Paraxial optics is often erroneously considered synonymous of Gaussian optics. In this paper, we challenge this preconception with these concentrating beams, which do not follow the rules of Gaussian beam optics. This concept is exemplified in Fig. 1, where the focusing properties of a Gaussian and a concentrating beam are compared. The minimum waist $w_0^{\prime }$ of a Gaussian beam of waist $w_0$ focused by a thin lens of focal length $f$ is
and this occurs at a distance from the lens, with $z_{\mathrm {R}}$ being the Rayleigh range [10]. This shows that $w_0^{\prime }/w_0 \to 0$ only when the focal length $f$ goes to zero and then $s^{\prime } \to 0$. This explains why extreme optical microscopy requires small focal length and samples close to the microscope, thus breaking the paraxial conditions. As we will see, for a concentrating beam the situation is the opposite: a zero-width waist is obtained at distance $f$ of the lens, where $f$ can be arbitrarily large.Therefore, the new message we wish to convey is that, surprisingly, physically realizable paraxial waves that carry a finite amount of energy and that, notwithstanding, can be focused onto a spot of (theoretical) infinite brightness, do exist.
Focusing optical beams has always been an issue of great practical importance. However, we stress that the significance of our results goes beyond the realm of optics. Actually, in quantum mechanics it is not difficult to construct states that are represented, at $t=0$, by a continuous wave function and then evolve (under the Schrödinger equation) into a singular one [11]. In view of the exact equivalence between the paraxial wave equation and the Schrödinger equation [12], our results can be seen as an experimental confirmation of such a singular blow-up, that has never been observed thus far.
2. Concentrating beams: ideal case
To begin with, let us set the stage for our simple theory. We consider an electromagnetic wave of frequency $\omega$, which in the scalar approximation is described by its spatial amplitude ${U}(\mathbf {r})$. We denote by $U(x, y)$ the value of this amplitude at the plane $z=0$, wherein the field has a Cartesian symmetry, so it factorizes as $U(x,y) = \mathfrak {a}(x) \mathfrak {a}(y)$. An ideal thin lens of focal length $f$ and transmission function
is placed at $z=0$. Using the angular spectrum representation [13], the amplitude at an arbitrary plane $z>0$ isIn the paraxial regime waves are characterized by small angular deviations with respect to the mean propagation axis, say $z$. In such a case, $p^2 + q^2 \ll 1$ and, to a good approximation, we can replace the unpleasant exact transfer function $\exp (i k z \sqrt {1-p^2 - q^2})$ with the friendly Fresnel propagator $\exp \{ i k z [ 1- (p^2+q^2)/2] \}$. This gives
To check this expression, let us first consider the somewhat simpler example of a plane wave of unit amplitude incident along the $z$ axis. The spectrum $u(p,q)$ can be now readily calculated; the final result reads $U_{\mathrm {pl}}(x,y, z) = \mathfrak {a}_{\mathrm {pl}} (x,z) \; \mathfrak {a}_{\mathrm {pl}} (y,z)$, with
The ideal focusing of a plane wave is well understood, but a plane wave is not a normalizable field and thus is not physically feasible. Our goal is to study a family of paraxial fields, square integrable and almost everywhere smooth, that spontaneously generate a singularity along the propagation axis in the focal point of a thin lens (Fig. 2). We will refer to them as concentrating beams. According to the ideas developed in Ref. [9] we consider the family (up to a global constant) $U_{\nu } (x,y) = \mathfrak {a}_{\nu } (x) \, \mathfrak {a}_{\nu } (y)$, with
where $\sigma _{\nu } > 0$ determines the spot size of the beam and $\nu > 0$ is a positive constant that can be varied to obtain different kind of singularities. For $\nu = 1$ they reduce to the so-called Lorentz beam [14]. A similar expression holds for $\mathfrak {a}_{\nu } (y)$. Using again the paraxial approximation (6), we obtain $U_{\nu } (x, y, z) = {k}/{(2 \pi i z)} \; \mathfrak {a}_{\nu } (x,z ) \, \mathfrak {a}_{\nu } (y, z)$, where now3. Concentrating beams: realistic case
The theory thus far truly confirms that, in principle, it is possible to achieve an infinitely bright spot by focusing a nonplane wavefront with an ideal thin lens. However, this is a speculative situation, for any lens always has a finite aperture, which causes that the amplitude of our beam remains finite at $z=f$. In addition, we have ignored any polarization effect.
To cope with these problems, we take the monomochromatic field at $z=0$ as the vector field $\mathbf {E} ( x, y) = U(x, y) \, \hat {\mathbf {e}}_{p} (\alpha , \beta )$, where $U(x, y)$ is the spatial amplitude and $\hat {\mathbf {e}}_{p} (\alpha , \beta ) = \hat {\mathbf {e}}_{x} \cos \alpha + e^{i \beta } \hat {\mathbf {e}}_{y} \sin \alpha$ is the unit polarization vector, with direction angles $(\alpha , \beta )$. We take the lens as having an aperture $2L$ in each direction. The field at a plane $z$ can be exactly computed according to
To gain insight into the problem, we will compare the focusing performance of a plane wave and a singular Lorentz beam, which henceforth we will take with $\nu =1/3$. For completeness, we also include a Gaussian beam, since this is perhaps the most prevalent of all beams. To make a fair comparison we normalize these fields so as they have unit intensity across the aperture; that is,
We have numerically integrated the exact result in Eq. (12) for these fields and three different values of the aperture: $L=0.5, 1$ and 2.5 mm. The resulting intensity profiles at the focal point of the lens are shown in Fig. 3. In all the cases we have chosen linear polarization parallel to the $y$ axis. At $z=f$, the polarization is still linear without any appreciable $z$ component, which confirms that polarization plays no significant role in the behavior of the singularity. We can appreciate that the size of the Gaussian spot remains approximately constant with the aperture, whereas the concentrating field reveals a clear focusing when the aperture increases, and the same happens for the plane wave.
When the width of both concentrating and Gaussian beams exceed $L$, the corresponding intensity profiles approach the plane wave (uniform) intensity distribution. The maximum value corresponding to the plane wave is obtained asymptotically for both beams, but the concentrating beam approaches it much faster. This is confirmed in Fig. 4, where we plot the maximum intensity at the focus $z=f$ for both beams (normalized to the value of the plane wave).
4. Experimental results
We have checked these predictions in the laboratory (Fig. 5). To build up the desired beam profile we used an amplitude spatial light modulator (SLM) (CRL OPTO) illuminated by a collimated beam from linearly polarized He-Ne laser (633 nm Thorlabs). The modulator was calibrated to a transmitted wavefront with the final Strehl ratio better than 0.98. Next, calibration of the amplitude modulation linearity was performed, from where we estimate our systematic errors. On the SLM, several holograms with different aperture sizes and shapes were realized. These holograms were generated as an interference between a tilted reference plane wave and the function of desired beam profile. The beam complex amplitude is carried by the first diffraction order. This diffraction order was then Fourier transformed by a spherical lens of focal length $f=200$ mm and the signal was detected by CMOS camera (Basler) with $1.85 \times 1.85~\mu$m$^{2}$-pixel size.
In this way, we reproduced the theoretical predictions of Fig. 3. This required to select the widths $\sigma _{\nu }$ and $\sigma _{G}$ for each aperture individually. The experimental results are in excellent agreement with the theory.
Experimental data shows an important increase of on-axis intensity of the concentrating beam when the energy of the beam is slightly increased. For this reason, we measured the ratio $\varrho _{S}/\varrho _{G}$ of the on-axis intensities of the concentrating to the Gaussian beam, as the aperture increases, but keeping the corresponding beam widths: $\sigma _{\nu } = 0.16$ and $\sigma _{\mathrm {G}} = 0.5$. The results are presented in Fig. 6, which brings out the advantages of the concentrating beam in comparison with its Gaussian counterpart.
Finally, in Fig. 7 we include raw intensity data at the focal point from this last experiment for $L= 2.5$ mm. The real camera pictures provide a dramatic evidence of the focusing capabilities of the concentrating beams.
To sum up, we have presented and experimentally realized a family of square-integrable paraxial beams that spontaneously develop a singularity when they propagate in free space. We stress that this is a linear property of the beams and not the outcome of any self-focusing or other nonlinear effects [15]. While in the standard picture of extreme light focusing the minimum focal spot is achieved with large numerical apertures, in our new paradigm the opposite is true: strong focusing is achieved moving towards paraxial optics, as in the case of a flat (plane wave) illumination of an aperture. However, for a given fixed average input intensity across the aperture, the energy carried by a plane wave increases quadratically with the linear size of the aperture, whereas for our concentrating beams the energy remains constant. This promising field enhancement mechanism may foster further interesting research in classical and quantum optics.
Funding
European Union Horizon 2020 (732894); Grantová Agentura České Republiky (18-04291S); Palacký University (GA_PrF_2020_004); Ministerio de Ciencia e Innovación (PGC2018-099183-B-I00).
Disclosures
The authors declare no conflicts of interest.
References
1. E. Abbe, “Beiträge zur theorie des mikroskops und der mikroskopischen wahrnehmung,” Arch. Mikrosk. Anat. 9(1), 413–468 (1873). [CrossRef]
2. L. J. Wong and I. Kaminer, “Abruptly focusing and defocusing needles of light and closed-form electromagnetic wavepackets,” ACS Photonics 4(5), 1131–1137 (2017). [CrossRef]
3. G. Huszka and M. A. Gijs, “Super-resolution optical imaging: A comparison,” Micro Nano Eng. 2, 7–28 (2019). [CrossRef]
4. J. B. Pendry, “Negative refraction makes a perfect lens,” Phys. Rev. Lett. 85(18), 3966–3969 (2000). [CrossRef]
5. J. W. Goodman, Introduction to Fourier Optics, 3rd ed. (Roberts & Company, 2005).
6. M. Born and E. Wolf, Principles of Optics, 7th ed. (Cambridge University Press, Cambridge, 2003).
7. J. Durnin, J. J. Miceli, and J. H. Eberly, “Diffraction-free beams,” Phys. Rev. Lett. 58(15), 1499–1501 (1987). [CrossRef]
8. G. A. Siviloglou, J. Broky, A. Dogariu, and D. N. Christodoulides, “Observation of accelerating Airy beams,” Phys. Rev. Lett. 99(21), 213901 (2007). [CrossRef]
9. A. Aiello, “Spontaneous generation of singularities in paraxial optical fields,” Opt. Lett. 41(7), 1668–1671 (2016). [CrossRef]
10. A. M. Almeida, E. Nogueira, and M. Belsley, “Paraxial imaging: Gaussian beams versus paraxial-spherical waves,” Am. J. Phys. 67(5), 428–433 (1999). [CrossRef]
11. A. Peres, Quantum theory: Concepts and methods, 5th ed. (Kluver, 1994).
12. A. Yariv, Optical Electronics, 4th ed. (Cambridge University Press, 1995).
13. L. Mandel and E. Wolf, Optical Coherence and Quantum Optics (Cambridge University Press, 1995).
14. O. E. Gawhary and S. Severini, “Lorentz beams and symmetry properties in paraxial optics,” J. Opt. A: Pure Appl. Opt. 8(5), 409–414 (2006). [CrossRef]
15. N. K. Efremidis and D. N. Christodoulides, “Abruptly autofocusing waves,” Opt. Lett. 35(23), 4045–4047 (2010). [CrossRef]