Fresnel diffraction

In optics, the Fresnel diffraction equation for near-field diffraction, is an approximation of Kirchhoff-Fresnel diffraction that can be applied to the propagation of waves in the near field.[1]

The near field can be specified by the Fresnel number, F of the optical arrangement, which is defined, for a wave incident on an aperture, as:

\( F = \frac{a^{2}}{L \lambda} \)

where

\( a\! \) is the characteristic size of the aperture
\( L\! \) is the distance of the observation point from the aperture
\( \lambda\! \) is the wavelength of the wave.

When F \gtrsim 1 the diffracted wave is considered to be in the near field, and the Fresnel diffraction equation can be used to calculate its form.
Fresnel diffraction showing central Arago spot

The multiple Fresnel diffraction at nearly placed periodical ridges (ridged mirror) causes the specular reflection; this effect can be used for atomic mirrors.[2]

Early treatments of this phenomenon

Some of the earliest work on what would become known as Fresnel diffraction was carried out by Francesco Maria Grimaldi in Italy in the 17th century. In his monograph entitled "Light,"[3] Richard C. MacLaurin explains Fresnel diffraction by asking what happens when light propagates, and how that process is affected when a barrier with a slit or hole in it is interposed in the beam produced by a distant source of light. He uses the Principle of Huygens to investigate, in classical terms, what transpires. The wave front that proceeds from the slit and on to a detection screen some distance away very closely approximates a wave front originating across the area of the gap without regard to any minute interactions with the actual physical edge.

The result is that if the gap is very narrow only diffraction patterns with bright centers can occur. If the gap is made progressively wider, then diffraction patterns with dark centers will alternate with diffraction patterns with bright centers. As the gap becomes larger, the differentials between dark and light bands decrease until a diffraction effect can no longer be detected.

MacLaurin does not mention the possibility that the center of the series of diffraction rings produced when light is shone through a small hole may be black, but he does point to the inverse situation wherein the shadow produced by a small circular object can paradoxically have a bright center. (p. 219)

In his Optics,,[4] Francis Weston Sears offers a mathematical approximation suggested by Fresnel that predicts the main features of diffraction patterns and uses only simple mathematics. By considering the perpendicular distance from the hole in a barrier screen to a nearby detection screen along with the wavelength of the incident light, it is possible to compute a number of regions called half-period elements or Fresnel zones. The inner zone will be a circle and each succeeding zone will be a concentric annular ring. If the diameter of the circular hole in the screen is sufficient to expose the first or central Fresnel zone, the amplitude of light at the center of the detection screen will be double what it would be if the detection screen were not obstructed. If the diameter of the circular hole in the screen is sufficient to expose two Fresnel zones, then the amplitude at the center is almost zero. That means that a Fresnel diffraction pattern can have a dark center. These patterns can be seen and measured, and correspond well to the values calculated for them. Figure 9-5, following p. 222, in Sears shows four Fraunhofer patterns in the top row followed by sixteen Fresnel diffraction patterns. Three of them have dark centers. (See the photograph above, and check the book by Sears for very much nicer photographs. A simulation can be operated by visiting http://www.temf.de/Diffraction.135.0.html?&L=1#c641)
The Fresnel diffraction integral
Diffraction geometry, showing aperture (or diffracting object) plane and image plane, with coordinate system.

The electric field diffraction pattern at a point (x,y,z) is given by:

\( E(x,y,z)={z \over {i \lambda}} \iint_{-\infty}^{+\infty}{ E(x',y',0) \frac{e^{ikr}}{r^2}}dx'dy' \)

where

\( E(x',y',0) \) is the aperture,
\( r=\sqrt{(x-x')^2+(y-y')^2+z^2} \) , and
\( i \, \) is the imaginary unit.

Analytical solution of this integral is impossible for all but the simplest diffraction geometries. Therefore, it is usually calculated numerically.
The Fresnel approximation

The main problem for solving the integral is the expression of r. First, we can simplify the algebra by introducing the substitution:

\( \rho^2 = (x-x')^2+(y-y')^2 \, \)

Substituting into the expression for r, we find:

\( r= \sqrt{\rho^2+z^2} = z \sqrt{ 1 + \frac{\rho^2}{z^2} } \)

Next, using the Taylor series expansion

\( \sqrt{1+u} = (1+u)^{1/2} = 1 + \frac{u}{2} - \frac{u^2}{8} + \cdots \)

we can express r as

\( r = z \sqrt{ 1 + \frac{\rho^2}{z^2} } \)

\( = z \left[ 1 + \frac{\rho^2}{2 z^2} - \frac{1}{8} \left( \frac{\rho^2}{z^2} \right)^2 + \cdots \right] \)
\( = z + \frac{\rho^2}{2 z} - \frac{\rho^4}{8z^3} + \cdots \)

If we consider all the terms of Taylor series, then there is no approximation.[5] Let us substitute this expression in the argument of the exponential within the integral; the key to the Fresnel approximation is to assume that the third element is very small and can be ignored. In order to make this possible, it has to contribute to the variation of the exponential for an almost null term. In other words, it has to be much smaller than the period of the complex exponential, i.e. 2 \pi:

\( k \frac{\rho^4}{8 z^3} \ll 2 \pi \)

expressing k in terms of the wavelength,

\( k = { 2 \pi \over \lambda } \, \)

we get the following relationship:

\( \frac{\rho^4}{z^3 \lambda} \ll 8 \)

Multiplying both sides by z^3/\lambda^3, \) we have

\( \frac{\rho^4}{\lambda^4} \ll 8 {z^3 \over \lambda^3} \)

or, substituting the earlier expression for ρ2 ,

\( \frac{[(x-x')^2+(y-y')^2]^2}{ \lambda^4} \ll 8 {z^3 \over \lambda^3} \)

If this condition holds true for all values of x, x' , y and y' , then we can ignore the third term in the Taylor expression. Furthermore, if the third term is negligible, then all terms of higher order will be even smaller, so we can ignore them as well.

For applications involving optical wavelengths, the wavelength λ is typically many orders of magnitude smaller than the relevant physical dimensions. In particular:

\( \lambda \ll z \)

and

\( \lambda \ll \rho \)

Thus, as a practical matter, the required inequality will always hold true as long as

\( \rho \ll z \)

We can then approximate the expression with only the first two terms:

\( r \approx z + \frac{(x-x')^2 +(y-y')^2}{2 z} \)

This equation, then, is the Fresnel approximation, and the inequality stated above is a condition for the approximation's validity.
Fresnel diffraction
Fresnel diffraction occurs when:

\( F = \frac{a^2}{L\lambda} \ge 1 \)
Fraunhofer diffraction occurs when:

\( F = \frac{a^2}{L\lambda} \ll 1 \)
a - aperture or slit size,

\lambda - wavelength, L - distance from the aperture

The condition for validity is fairly weak, and it allows all length parameters to take comparable values, provided the aperture is small compared to the path length. For the r in the denominator we go one step further, and approximate it with only the first term, r \approx z. This is valid in particular if we are interested in the behaviour of the field only in a small area close to the origin, where the values of x and y are much smaller than z. In addition, it is always valid if as well as the Fresnel condition, we have \) L \gg \lambda \) , where L is the distance between the aperture and the field point.

For Fresnel diffraction the electric field at point (x,y,z) is then given by:

\( E(x,y,z)=\frac{e^{ikz}}{i \lambda z} \iint_{-\infty}^{+\infty} E(x',y',0)e^{{ik \over 2z}[(x-x')^2+(y-y')^2]}dx'dy' \)

This is the Fresnel diffraction integral; it means that, if the Fresnel approximation is valid, the propagating field is a spherical wave, originating at the aperture and moving along z. The integral modulates the amplitude and phase of the spherical wave. Analytical solution of this expression is still only possible in rare cases. For a further simplified case, valid only for much larger distances from the diffraction source see Fraunhofer diffraction. Unlike Fraunhofer diffraction, Fresnel diffraction accounts for the curvature of the wavefront, in order to correctly calculate the relative phase of interfering waves.
Alternative forms
Convolution

The integral can be expressed in other ways in order to calculate it using some mathematical properties. If we define the following function:

\( h(x,y,z) = \frac{e^{i k z}}{i \lambda z} e^{i \frac{k}{2 z} (x^2 + y^2)} \)

then the integral can be expressed in terms of a convolution:

\( E(x,y,z) = E(x,y,0) * h (x,y,z) \, \)

in other words we are representing the propagation using a linear-filter modeling. That is why we might call the function h(x,y,z) the impulse response of free space propagation.
Fourier transform

Another possible way is through the Fourier transform. If in the integral we express k in terms of the wavelength,

\( k = { 2\pi \over \lambda } \)

and we expand each component of the transverse displacement,

\( (x-x')^2 = x^2 + x'^2 -2 x x' \, \)
\( (y-y')^2 = y^2 + y'^2 -2 y y' \, \)

then we can express the integral in terms of the two dimensional Fourier transform. Let us use the following definition:

G(p,q) = \mathcal{F} \left\{ g(x,y) \right\} \equiv \iint_{-\infty}^{\infty} g(x,y) e^{-i 2 \pi (p x + q y)} dx dy \)

where p and q are spatial frequencies (in units of lines/meter). The Fresnel integral can be expressed as:

\( E(x,y,z) = \frac{e^{i k z}}{i \lambda z} e^{i \frac{\pi}{\lambda z}(x^2 + y^2)} \mathcal{F} \left. \) \( \left\{ E(x',y',0) e^{i \frac{\pi}{\lambda z} (x'^2 + y'^2)} \right\} \right|_{p = \frac{x}{\lambda z}; q = \frac{y}{\lambda z}} \)

\( = H(p,q) \cdot G(p,q) |_{p = {x \over \lambda z} , q = { y \over \lambda z } } \)

where

\( H(p,q) = \mathcal{F} \left\{ h(x,y) \right\} \)

i.e. first multiply the field to be propagated for a complex exponential, calculate its two dimensional Fourier transform, replace (p,q) with \( \left( \frac{x}{\lambda z}, \frac{y}{\lambda z} \right) \) and multiply it by another factor. This expression is better than the others when the process leads to a known Fourier transform, and the connection with the Fourier transform is tightened in the linear canonical transformation, discussed below.
Linear canonical transformation
Main article: Linear canonical transformation

From the point of view of the linear canonical transformation, Fresnel diffraction can be seen as a shear in the time-frequency domain, corresponding to how the Fourier transform is a rotation in the time-frequency domain.
See also

Fraunhofer diffraction
Fresnel integral
Fresnel zone
Fresnel number
Augustin-Jean Fresnel
Ridged mirror
Fresnel imager
Euler spiral

Notes

^ M. Born & E. Wolf, Principles of Optics, 1999, Cambridge University Press, Cambridge
^ http://www.ils.uec.ac.jp/~dima/PhysRevLett_94_013203.pdf H. Oberst, D. Kouznetsov, K. Shimizu, J. Fujita, F. Shimizu. Fresnel diffraction mirror for atomic wave, Physical Review Letters, 94, 013203 (2005).
^ Light," by Richard C. MacLaurin, 1909, Columbia University Press
^ Optics, Francis Weston Sears, p. 248ff, Addison-Wesley, 1948
^ There was actually an approximation in a prior step, when assuming e^{i k r}/r is a real wave. In fact this is not a real solution to the vector Helmholtz equation, but to the scalar one. See scalar wave approximation

References

Goodman, Joseph W. (1996). Introduction to Fourier optics. New York: McGraw-Hill. ISBN 0-07-024254-2.

Physics Encyclopedia