Abstract
The Debye integral is an essential technique in physical optics, commonly used to efficiently tackle the problem of focusing light in lens design. However, this approximate method is only valid for systems that are well designed and with high enough Fresnel numbers. Beyond this assumption, the integral formula fails to provide accurate results. In this work, we generalize the Debye integral to overcome some of its limitations. The theory explicitly includes aberrations and extends the integral to fields on tilted planes in the focal region. We show, using examples, that the new formulas almost reach the accuracy of a rigorous modeling technique while being significantly faster.
© 2020 Optical Society of America under the terms of the OSA Open Access Publishing Agreement
1. Introduction
The study of diffraction theory for imaging systems is one of the most crucial parts of physical-optics modeling and design. From a physical-optics perspective, it is a problem of light propagation in free space (where, by “free space”, we understand any isotropic and homogeneous medium) from the exit pupil to the image plane. Even though there are several rigorous solutions, e.g., the spectrum-of-plane-waves (SPW) analysis [1] and the Rayleigh-Sommerfeld integral [2], solving this problem in a fast and accurate manner is still a big challenge. This is because rigorous approaches suffer from high numerical effort when it comes to propagating arbitrary fields. For instance, the Rayleigh-Sommerfeld integral is a complex-valued integral operator, which presents a complexity of $\mathcal {O} \!\left (N^{2}\right )$ for a function with $N$ samples. The SPW operator involves two Fourier transform integrals but enables fast evaluation by FFT that reduces the computational effort to $\mathcal {O} \!\left (N \log N\right )$. Importantly, for both approaches, in the case of an intensive wavefront phase, the required sampling points $N$ are massive to resolving the “$2\pi$-modulo”.
In 1909 Debye published his work to demonstrate the general features of a diffracted field near its focus [3]. When comparing the Debye and the rigorous Rayleigh-Sommerfeld integrals, we can see how the Debye approximation reduces a double integral to a single one, and in the numerical implementation of this single integral, the required sampling points are far fewer. Thus, the Debye integral provides a considerable reduction in the computational effort [4–6]. However, the Debye approximation breaks down for systems with relatively small Fresnel numbers. And, even though the Debye integral can predict the electromagnetic field distribution around the focal plane, it is only strictly valid for observation planes close to the focus [7–10]. The Fresnel number limitation is linked to the presence of aberrations in the sense that, the smaller the Fresnel number, the less aberration is allowed when using the standard Debye integral, if the accuracy of the operation is to remain constant. Different authors have attempted during the last decades to generalize the scope of application of the Debye integral with various algorithms by investigating special types of aberrations [11–13]. In this work, we generalize the Debye integral in order to include any type of aberration and, at the same time, reduce the limitation of the Fresnel number. The solution provides a fully vectorial method to tackle the fast calculation of the electromagnetic field into the focal region of a general incident convergent field. In Section 2., the theoretical derivation of the generalized Debye integral is presented. We start from the rigorous angular-spectrum-of-plane-waves (SPW) approach and then replace the rigorous forward Fourier transform by a homeomorphic Fourier transform [14–16]. We show that the standard Debye integral follows from the generalized version if the wavefront phase is restricted to adopt exclusively a spherical shape. In Section 3. we present several numerical examples to demonstrate the improved accuracy of the proposed method and its application potential.
2. Theory
2.1 Derivation of the generalized Debye integral
It is well known that the Helmholtz equation follows Maxwell’s equations in the homogeneous media. From the Helmholtz equation, we can conclude that all field components can be propagated independently by the same operator. In other words, the six field components decouple with respect to the propagation operator. Please note that in some focusing scenarios, the resulting field components are coupled [17,18]. It is because, in their modeling, not only the free space propagation but also the lens component are taken into account. For example, the Richards-Wolf integral combines the diffraction integral with an ideal lens model [19]. In contrast, our analysis concentrates on the free space propagation and assumes the input field is given on the plane behind the last lens. Thus, it is possible to formulate a fully vectorial solution in terms of $V_\ell \!\left ( {\boldsymbol {r}} \right )$, with $\ell = 1, \ldots , 6$, where $V_\ell$ acts as shorthand to describe the six components of a harmonic electromagnetic field $\left \{ E_x, E_y, E_z, H_x, H_y, H_z \right \}$. In our notation, ${\boldsymbol {r}} = \left ( x, y, z \right )$ and ${\boldsymbol {\rho }} = {\boldsymbol {r}}_\perp = \left ( x, y \right )$ denote the three-dimensional position vector and its projection onto the transversal plane respectively.
Let us consider a convergent incident light field which is propagating in the positive $z$ direction towards the target plane $z = z^{\prime }$ located in the focal region of the field. The situation is illustrated in Fig. 1. In lens design, $z = z_0$ might be the position of the exit pupil and $\Delta z =f$ the back focal length. As any electromagnetic field component will, in general, be complex-valued, we can write the field at $z_0$, $V_{\ell }\!\left ( {\boldsymbol {\rho }}, z_0 \right )$, in terms of its amplitude and phase,
Next, we need to consider how to tackle the problem of light propagation in free space. A recognized rigorous method is the analysis of the spectrum of plane waves (SPW). In this approach, firstly, the input field $V_{\ell } \!\left ( {\boldsymbol {\rho }}, z_0 \right )$ is decomposed into its plane-wave components by a Fourier-transform operation. Then, for each plane wave, we know how it transforms as it propagates from the input plane to the target plane. Finally, via an inverse Fourier-transform operation, we recombine all the plane waves and obtain the output field $V_{\ell }\! \left ( {\boldsymbol {\rho }}^{\prime }, z^{\prime } \right )$. Mathematically, we can write this process as follows:
Comparing Eq. (9) with the initial SPW formula of Eq. (3), we can see that two FT integrals are reduced to one FT operation. More importantly, according to the homeomorphic Fourier transform, the wavefront phase $\tilde {\psi }^{\textrm {in}}\! \left ( {\boldsymbol {\kappa }} \right )$ can be treated in an isolated manner during the process. This means that up until the last inverse Fourier-transform operation, it is possible to use different approaches to sample the wavefront phase $\tilde {\psi }^{\textrm {in}}\! \left ( {\boldsymbol {\kappa }} \right )$, instead of in the form of a “$2\pi$-modulo” phase. In the end, since the high-frequency phase component of $\tilde {\psi }^{\textrm {in}}\! \left ( {\boldsymbol {\kappa }} \right )$ would be partly compensated by the propagating kernel $k_z({\boldsymbol {\kappa }})\Delta z$, we can select the inverse FFT technique to carry out the inverse Fourier transform with low sampling effort.
It is worthy of mentioning that the only approximation used in the derivation is on the Fourier transform. The proposed approach has proven to be very powerful for systems with low Fresnel numbers. However, if the system becomes even more paraxial so that the HFT is not accurate enough, we recommend replacing the HFT by the semi-analytical Fourier transform (SFT) [22]. It is a rigorous Fourier transform technique that can also significantly reduce the sampling effort of the wavefront phase.
2.2 Standard Debye integral as a special case
For a spherical wavefront phase $\psi ^{\textrm {in}}$ with radius of curvature $R$, i.e.
To recognize that Eq. (13) is identical with the standard Debye integral, we express $U$ as the magnitude of a spherical wave component:
with $r=\sqrt {{\boldsymbol {\rho }}^{2} + R^{2}}$. The magnitude $|T_{\ell }(\rho)|$ expresses apodization and vignetting effects in lens design, whereas $\arg [T_{\ell }(\rho)]$ comprises the aberrations. With the mapping from Eq. (11), $r=\sqrt {{\boldsymbol {\rho }}^{2} + f^{2}}$ can be reformulated to yield $1/r=k_z/(|R| k_0n)$. Inserting $U_\ell (\rho)$ of Eq. (14) into Eq. (13) results in2.3 Extension of the Debye integral: propagation to inclined planes
Because of the general mapping concept, the generalized Debye integral of Eq. (9) can be further extended to encompass the evaluation of electromagnetic fields on tilted planes in the focal region. A rigorous physical-optics approach to solve the problem of field propagation between non-parallel planes has been presented by Zhang et al. [23]. It is based on an extended version of Eq. (3), which allows us to combine it with the replacement of the first Fourier transform by a homeomorphic one. The only difference in the derivation is the replacement of the propagation step in the $k$ domain, which is now denoted by $\tilde {{\boldsymbol {\mathcal {P}}}}$ as shown in Fig. 2. This step can be completely described in a pointwise manner. Without showing all derivations in detail, the connection between input and output field values can be summarized as
3. Numerical examples
The numerical implementation for the standard and generalized Debye integrals and the extension to tilted panes has been done in the physical-optics modeling and design software VirtualLab Fusion [25]. In what follows, we present several examples to demonstrate the accuracy and some essential applications of the generalized Debye integrals.
To have a clear-cut discussion, we would like to emphasize that, for each simulation example, we compare the results of the generalized Debye integral approach, the standard Debye integral, and the rigorous SPW analysis. The deviation between the reference and the testing approach is provided by the following expression:
3.1 Fields with aberrant phase in focal plane
The initial field used in the first example is linearly $E_x$-polarized, with a wavelength of $532\; \textrm{nm}$. The amplitude is distributed uniformly and truncated by an aperture with a circular shape and a diameter of $6\; \textrm{mm}$. A convergent spherical phase with a radius of curvature $R = -100\; \textrm{mm}$, is superimposed on this field. We can calculate the corresponding numerical aperture (NA) according to these parameters; $\textrm {NA} = n \sin \theta \approx 0.03$.
Based on the initial configuration, we continue by superimposing different types of Zernike aberrant phases on it. The variable being tested would be the type of Zernike aberration and its weighting factor. We selected three types of aberrant phase, which are described in the form of Zernike polynomials,
For the following results we have tested the accuracy of the generalized Debye integral by comparing it with the SPW solution. In all cases we found values of $\sigma < 0.02{\%}$, which demonstrates the high accuracy of the generalized formula. In the subsequent part of Sec. 3.1 we compare the standard and the generalized Debye integral via $\sigma$ as defined in Eq. (19).
In Fig. 3, simulation results for secondary trefoil X with the scaling factor $c^{-2}_{4} = 5 \lambda$ are shown. Comparing, via a naked-eye observation, the obtained amplitude distributions of the $E_x$ component in sub-figures (a) and (d), it is not possible to detect the difference, with a mathematical calculation revealing a standard deviation lower than 0.05 %. However, when we turn our attention to the full complex amplitude (including phase), the standard deviation ascends to 25 %. The differences in this case, we must conclude, are mainly located in the phase. This effect can be observed by the comparison of the real part of the $E_x$ component. As shown in Figs. 3(b) and (e), where the same scaling is used, the generalized Debye integral result exhibits a higher contrast. The high accuracy of the generalized integral can be explained by something we already covered when we presented the two approaches used here: the generalized Debye integral uses a more general extracted wavefront phase than the standard one. In Figs. 3(c) and (f), the Fourier transform of the output field on the focal plane for both approaches is given. In contrast to the generalized Debye integral, the resulting spectrum of the standard Debye integral presents a uniform amplitude distribution. This is due to the fact that, considering we are dealing with a relatively low-NA situation, the pointwise mapping relation generated by the primary spherical phase employed in the standard Debye integral, in Eq. (11), approximately becomes a linear mapping. The experimental results coincide well with our theoretical expectations.
In a further investigation we did a full series of comparisons with different aberrant phases. The curves corresponding to the standard deviation between the two approaches are presented in Fig. 4. Three types of aberrant phase are superimposed, individually and in turns, onto the given input field. Even though the variation rate of the standard deviation error is different depending on the type of aberrant phase, the resulting curves reveal the same tendency. At the weak-aberration end of the scale or, in other words, for the ideal focusing system, both approaches provide an identical result. Then, as the scaling factor of the aberrant phase increases, the deviation between the two approaches grows fast. That is, when the aberration of the focusing system is too strong to be neglected, the standard Debye integral cannot predict a correct result at the focal plane. On the other hand, the high accuracy and the validity of the generalized Debye integral was tested in advance, as mentioned before ($\sigma < 0.02\;{\%}$).
3.2 Evaluation of fields in focal region
Besides its application precisely at the focal plane, both the standard and generalized Debye integrals allow us to calculate the full electromagnetic field at different positions within the focal region. Next, we would like to demonstrate the application potential of the generalized Debye integral in this regard, by applying it, in simulation, to the investigation of the focal region for a given focused field.
From the first example, we know that the proposed approach is suitable for dealing with systems with strong aberrations. On the other hand, under such circumstances, the standard Debye integral suffers from severe inaccuracy. Thus, in the second example, we configure an input field with some strongly aberrant phases and only compare the generalized Debye integral with the SPW reference. Specifically, the fundamental parameters of the system are the same as in the first case. In addition, more complicated aberrant phases are superimposed onto the original convergent field to produce the input field. The parameters for the aberrations used in the simulation are listed in Table 2.
The evolution of the electromagnetic field along the optical axis is shown in Fig. 5. The amplitude distribution of the $E_x$ component on the horizontal and vertical planes is displayed in sub-figures (b) and (c) respectively, in the range of $\left ( 95\; \textrm{mm}, 110\;{mm}\right )$. We can observe that the asymmetric aberrations cause an entirely different evolution of the focal field along the vertical and horizontal axes. And, in line with our expectation, the distance of $z = 100\; \textrm{mm}$ is not the position that corresponds with the minimal value of the beam diameter. The deviation between the result of the generalized Debye integral and the SPW reference is in all cases less than 0.04 %.
3.3 Fields on inclined plane in focal region
In Sec. 2.3 we provided an extension of the generalized Debye integral which enables its use to obtain fields on tilted planes in the focal region. For its demonstration we use the same input field as in Sec. 3.2. However, now we place the screen at different positions and with different inclination angles along the optical axis. The specification of the screen parameters and the simulation results are presented in Fig. 6. In all cases we verified the accuracy of the generalized Debye integral by comparing it with the SPW method from Eq. (3) and found $\sigma \approx 0.05\;{\%}$.
4. Conclusion
The Debye integral can be understood as a special case of a more general integral formula, which takes the wavefront phase aberrations explicitly into account via a mapping concept. The result follows directly from the spectrum-of-plane-wave (SPW) approach by replacing the first Fourier integral by the pointwise homeomorphic Fourier transform, which was recently discussed in Wang et al. [14]. By further exploiting the pointwise mapping-type approach, the result can be extended to include propagation onto tilted planes in the focal region. The theoretical results are demonstrated and verified by several examples. They show that the generalized Debye integral formulas are more flexible in their application, and typically almost as accurate as the SPW approach for convergent fields while significantly more efficient numerically. The new techniques have been implemented in the software VirtualLab Fusion [25]. The typical calculation time on a standard laptop for the examples presented in this paper are several hundreds of ms for the Debye integral, compared to several tens of s for the SPW technique.
Funding
European Social Fund (2017 SDP 0049).
Acknowledgments
We gratefully acknowledge financial support by LightTrans GmbH and the funding from the European Social Fund (ESF) (Thüringen-Stipendium Plus: 2017 SDP 0049).
Disclosures
The authors declare no conflicts of interest.
References
1. L. Mandel and E. Wolf, Optical coherence and quantum optics (Cambridge university press, 1995).
2. A. Sommerfeld, “Lectures on theoretical physics, vol. i,” I (Academic, New York) (1964).
3. P. Debye, “Das verhalten von lichtwellen in der nähe eines brennpunktes oder einer brennlinie,” Ann. Phys. 335(14), 755–776 (1909). [CrossRef]
4. V. Dhayalan, “Focusing of electromagnetic waves,” Ph.D. thesis, University of Bergen Norway (1996).
5. J. J. Stamnes, Waves in focal regions: propagation, diffraction and focusing of light, sound and water waves (Routledge, 2017).
6. M. Leutenegger, R. Rao, R. A. Leitgeb, and T. Lasser, “Fast focus field calculations,” Opt. Express 14(23), 11277–11291 (2006). [CrossRef]
7. J. J. Stamnes, “Focusing of two-dimensional waves,” J. Opt. Soc. Am. 71(1), 15–31 (1981). [CrossRef]
8. C. J. Sheppard, “Limitations of the paraxial debye approximation,” Opt. Lett. 38(7), 1074–1076 (2013). [CrossRef]
9. G. C. Sherman and W. C. Chew, “Aperture and far-field distributions expressed by the debye integral representation of focused fields,” J. Opt. Soc. Am. 72(8), 1076–1083 (1982). [CrossRef]
10. M. R. Foreman, S. S. Sherif, P. R. Munro, and P. Török, “Inversion of the debye-wolf diffraction integral using an eigenfunction representation of the electric fields in the focal region,” Opt. Express 16(7), 4901–4917 (2008). [CrossRef]
11. C. J. Zapata-Rodríguez, “Debye representation of dispersive focused waves,” J. Opt. Soc. Am. 24(3), 675–686 (2007). [CrossRef]
12. D. Panneton, G. St-Onge, M. Piché, and S. Thibault, “Exact vectorial model for nonparaxial focusing by arbitrary axisymmetric surfaces,” J. Opt. Soc. Am. 33(5), 801–810 (2016). [CrossRef]
13. J. Kim, Y. Wang, and X. Zhang, “Calculation of vectorial diffraction in optical systems,” J. Opt. Soc. Am. 35(4), 526–535 (2018). [CrossRef]
14. Z. Wang, O. Baladron-Zorita, C. Hellmann, and F. Wyrowski, “Theory and algorithm of the homeomorphic fourier transform for optical simulations,” Opt. Express 28(7), 10552–10571 (2020). [CrossRef]
15. O. Baladron-Zorita, Z. Wang, C. Hellmann, and F. Wyrowski, “Isolating the gouy phase shift in a full physical-optics solution to the propagation problem,” J. Opt. Soc. Am. 36(9), 1551–1558 (2019). [CrossRef]
16. F. Wyrowski, “Unification of the geometric and diffractive theories of electromagnetic fields,” in Proc. DGaO, (2017), p. A36.
17. R. Shi and F. Wyrowski, “Comparison of aplanatic and real lens focused spots in the framework of the local plane interface approximation,” J. Opt. Soc. Am. A 36(10), 1801–1809 (2019). [CrossRef]
18. B. Richards and E. Wolf, “Electromagnetic diffraction in optical systems, ii. structure of the image field in an aplanatic system,” Proc. R. Soc. Lond. A 253(1274), 358–379 (1959). [CrossRef]
19. E. Wolf, “Electromagnetic diffraction in optical systems - i. an integral representation of the image field,” Proc. R. Soc. Lond. A 253(1274), 349–357 (1959). [CrossRef]
20. O. Bryngdahl, “Geometrical transformations in optics,” J. Opt. Soc. Am. 64(8), 1092–1099 (1974). [CrossRef]
21. J. J. Stamnes, “Waves, rays, and the method of stationary phase,” Opt. Express 10(16), 740–751 (2002). [CrossRef]
22. Z. Wang, S. Zhang, O. Baladron-Zorita, C. Hellmann, and F. Wyrowski, “Application of the semi-analytical fourier transform to electromagnetic modeling,” Opt. Express 27(11), 15335–15350 (2019). [CrossRef]
23. S. Zhang, D. Asoubar, C. Hellmann, and F. Wyrowski, “Propagation of electromagnetic fields between non-parallel planes: a fully vectorial formulation and an efficient implementation,” Appl. Opt. 55(3), 529–538 (2016). [CrossRef]
24. F. Wyrowski and M. Kuhn, “Introduction to field tracing,” J. Mod. Opt. 58(5-6), 449–466 (2011). [CrossRef]
25. Physical optics simulation and design software “Wyrowski VirtualLab Fusion,” developed by Wyrowski Photonics GmbH, distributed by LightTrans International UG, Jena, Germany.