Fresnel diffraction

From Wikipedia, the free encyclopedia

Diffraction geometry, showing aperture (or diffracting object) plane and image plane, with coordinate system
Diffraction geometry, showing aperture (or diffracting object) plane and image plane, with coordinate system

In optics, Fresnel diffraction or near-field diffraction is a process of diffraction which occurs when a wave passes through an aperture and diffracts in the near field, causing any diffraction pattern observed to differ in size and shape, relative to the distance. It occurs due to the short distance in which the diffracted waves propagate, which results in a fresnel number greater than 1 (1 \lesssim F). When the distance is increased, outgoing diffracted waves become planar and Fraunhofer diffraction occurs. The multiple Fresnel diffraction at nearly placed periodical ridges (ridged mirror) causes the specular reflection; this effect can be used for atomic mirrors [[1]].

Contents

[edit] The Fresnel diffraction integral

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

E(x,y,z)=-{i \over \lambda} \iint{ E(x',y',0) \frac{e^{ikr}}{r} \cos \theta}dx'dy'

where

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

and

\cos \theta = \frac{z}{r} is the cosine of the angle between z and r.

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

[edit] 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} + \dots

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 + \dots \right]
= z + \frac{\rho^2}{2 z} - \frac{\rho^4}{8z^3}  + \dots

If we consider all the terms of Taylor series there is no approximation.[1]. 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. :

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 / λ, we have

\frac{\rho^4}{z^2 \lambda^2} \ll 8 {z \over \lambda}

or, substituting the earlier expression for ρ2 ,

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

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. 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.

[edit] Fresnel Diffraction

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. Moreover, if we are interested in the behaviour of the field only in a small area close to the origin, i.e. for values of x and y much smaller than z, then we can assume \theta \approx 0, that means \cos \theta \approx 1 and the r in the denominator of the Fresnel integral can be approximated by r \approx z.

Unlike Fraunhofer diffraction, Fresnel diffraction has to account for the curvature of the wavefront, in order to correctly calculate the relative phase of interfering waves.

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

E(x,y,z)=-{i \over \lambda}{e^{ikz} \over z}\iint 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 much larger distances from the diffraction source see Fraunhofer diffraction.

[edit] Alternative forms

[edit] 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) = \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) \,

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

[edit] 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 for another factor. This expression is better than the others when the process leads to a known Fourier transform.

[edit] See also

[edit] Notes

  1. ^ There was actually an approximation in a prior step, when assuming eikr / 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

[2] H. Oberst, D. Kouznetsov, K. Shimizu, J. Fujita, F. Shimizu. Fresnel diffraction mirror for atomic wave, Physical Review Letters, 94, 013203 (2005).

In other languages