Fraunhofer Diffraction as a Fourier Transform
Statement
In the far field (Fraunhofer regime), the diffracted scalar field produced by a planar aperture equals, up to a multiplicative amplitude and phase factor, the two-dimensional Fourier transform of the aperture transmission function \(t(x',y')\), evaluated at the spatial frequencies \(f_X = x/(\lambda z)\) and \(f_Y = y/(\lambda z)\) fixed by the diffraction angles. Explicitly, the observed field is \(U(x,y)\propto \tilde{t}(f_X,f_Y)=\iint t(x',y')\,e^{-i2\pi(f_X x' + f_Y y')}\,dx'\,dy'\), so the diffraction pattern is the aperture's angular spectrum.
Why it matters
This is the operational core of physical optics: it turns every diffraction problem for a planar aperture into a Fourier-transform lookup. Slits, gratings, circular pupils, and phase masks all inherit the transform-pair machinery, so a single mathematical fact (a rectangle transforms to a sinc, a Gaussian to a Gaussian, a comb to a comb) delivers the entire catalogue of diffraction patterns without re-doing an integral each time.
It also underpins Fourier optics as an engineering discipline. A lens performs a physical Fourier transform in its back focal plane, spatial filtering removes or enhances chosen frequency bands, and the resolution limits of telescopes and microscopes are read directly off the transform of the pupil. The far-field pattern is the aperture's "frequency content" made visible on a screen.
Assumptions
Derivation
Result
Reading. The complex amplitude on a distant screen is the Fourier transform of the aperture, sampled at the spatial frequency \((x/\lambda z,\,y/\lambda z)\). A point at screen position \((x,y)\) reports how much of the spatial frequency \(f_X=x/\lambda z\) is contained in the aperture. The prefactor \(e^{ikR}/(i\lambda z)\) is a pure phase and \(1/z\) amplitude spreading; it drops out of the measured intensity, which is the squared modulus of the transform. Larger apertures (more high-frequency content) produce narrower patterns — the reciprocal-width property of Fourier pairs.
Units check. \(f_X=x/(\lambda z)\) has units \(\mathrm{m}/(\mathrm{m}\cdot\mathrm{m})=\mathrm{m^{-1}}\), correct for spatial frequency. In \(U\): \([U_0]/[\lambda z]\times[\tilde t]\). With \(t\) dimensionless, \(\tilde t=\iint t\,dx'dy'\) has units \(\mathrm{m^2}\), and \(1/(\lambda z)\) has units \(\mathrm{m^{-2}}\), so \(U\) carries the same units as \(U_0\). Consistent.
Limiting cases
- Single slit \(t=\mathrm{rect}(x'/a)\Rightarrow I\propto \mathrm{sinc}^2(a f_X)=\mathrm{sinc}^2\!\big(\tfrac{a\sin\theta}{\lambda}\big)\); zeros at \(\sin\theta=n\lambda/a\).
- Circular aperture diameter \(D\): \(I\propto\big[2J_1(u)/u\big]^2\) with \(u=\pi D f_r\); Airy disc, first dark ring at \(\sin\theta=1.22\lambda/D\).
- Aperture shift \(t(x'-x_0)\Rightarrow\) multiply \(\tilde t\) by \(e^{-i2\pi f_X x_0}\): pattern intensity unchanged (shift-invariance of \(|\tilde t|^2\)).
- Two identical apertures (convolution with two deltas) \(\Rightarrow\) single-aperture envelope \(\times\) \(\cos^2(\pi d f_X)\): Young's fringes under the diffraction envelope.
- Aperture \(D\to\infty\): \(\tilde t\to\delta(f_X)\delta(f_Y)\); no diffraction, a single forward beam (geometric optics limit).
Breaks when
- Fresnel (near-field) regime, \(z\lesssim D^2/\lambda\): the dropped quadratic phase \(e^{ik(x'^2+y'^2)/2z}\) is no longer negligible, so the pattern is a chirp-multiplied transform (Fresnel integral), not a plain Fourier transform. A collimated beam through a slit then shows shadow-edge fringes rather than a clean sinc.
- Sub-wavelength or high-angle features (\(D\sim\lambda\), \(\sin\theta\to 1\)): the scalar/paraxial approximation and the linear map \(f_X=\sin\theta/\lambda\) fail; polarization, evanescent orders, and the full obliquity factor matter (rigorous vector diffraction required).
- Thick or resonant apertures: \(t\) is not a simple multiplicative thin mask — internal propagation, waveguiding, and edge currents make the exit field depend on the incident field non-locally, so no single transform describes it.
- Partially coherent or broadband light: the field-level transform must be replaced by an incoherent sum of intensities over wavelength and source points; the sharp \(|\tilde t|^2\) pattern washes out.
Failure modes
- Transforming intensity instead of amplitude. The Fourier transform acts on the field \(t(x',y')\); intensity is \(|\tilde t|^2\) taken afterwards. Squaring first destroys the interference structure.
- Confusing aperture coordinates with screen coordinates. \(x'\) lives in the aperture, \(x\) on the screen; they are conjugate variables linked only through \(f_X=x/\lambda z\).
- Forgetting the \(1/\lambda z\) frequency scale. Writing \(\tilde t(x,y)\) instead of \(\tilde t(x/\lambda z,\,y/\lambda z)\) gives a pattern with the wrong physical size and wrong \(\lambda\)- and \(z\)-dependence.
- Using \(\tan\theta\) or \(\theta\) for \(f_X\). The correct direction cosine is \(\sin\theta\); paraxially \(\sin\theta\approx\tan\theta\approx\theta\), but at large angles only \(\sin\theta\) is right.
- Applying Fraunhofer in the near field. Students plug in small \(z\) (a benchtop shadow) and expect a sinc; that regime is Fresnel and requires the quadratic phase.
- Dropping the aperture finite support. Extending limits to \(\pm\infty\) is legal only because \(t=0\) outside the aperture; forgetting this loses the diffraction entirely.
Discussion
The physical content of this result is that a screen at infinity is a spatial-frequency analyser. Each plane-wave component leaving the aperture travels in a unique direction set by its transverse wavevector \(k_x=k\sin\theta_x=2\pi f_X\); at large range these directions separate spatially, so position on the screen becomes a proxy for angle, and angle is proportional to spatial frequency. The aperture's angular spectrum, defined by decomposing the exit field into plane waves, is literally what the far field displays. Diffraction is thus not a mysterious spreading but the geometric sorting of the aperture's Fourier components.
The reciprocity between aperture size and pattern width is the Fourier uncertainty relation in disguise: an aperture confined to width \(\Delta x'\sim D\) has a transform of width \(\Delta f_X\sim 1/D\), giving an angular spread \(\Delta\theta\sim\lambda/D\). This single scaling governs the resolving power of every optical instrument (the Rayleigh criterion is \(1.22\lambda/D\) for a round pupil) and the beam divergence of every laser. It is the same mathematics that limits the time–bandwidth product of a pulse.
The convolution and shift theorems turn compound apertures into products of simple transforms. A diffraction grating is a single slit convolved with a comb, so its pattern is a sinc envelope multiplied by a sharp comb of orders; a shifted aperture only adds a linear phase and leaves the intensity untouched, which is why a diffraction pattern does not move when the aperture is translated. These are not optical coincidences but direct readouts of Fourier-transform-pair identities.
At the deepest level the Fraunhofer transform is the stationary-phase / far-field limit of the angular-spectrum propagator: writing the exit field as \(U(x',y')=\iint A(k_x,k_y)e^{i(k_xx'+k_yy')}\,dk_xdk_y\) and propagating each plane wave by \(e^{ik_z z}\), the method of stationary phase selects, at observation point \((x,y,z)\), exactly the component whose direction points there, \((k_x,k_y)=k(x,y)/R\). The far field is therefore \(A\) evaluated on the Ewald-sphere direction toward the observation point — the same object as \(\tilde t\) when the aperture field is \(U_0 t\). This viewpoint makes the linear frequency map \(f_X=\sin\theta_x/\lambda\) exact (it is the true direction cosine), with paraxiality only entering when one replaces \(\sin\theta\) by \(x/z\).
Common misconceptions. The pattern is not "the shadow of the aperture blurred out": it is the transform, so a wide slit gives a narrow central peak, the opposite of a shadow. Also, the far field does not require the light to physically travel an infinite distance — a converging lens brings "infinity" to its back focal plane, so the Fraunhofer transform is realised on a benchtop, with \(z\) replaced by the focal length \(f\).
Worked examples
Reading. The first dark fringe sits \(12.7~\mathrm{mm}\) from centre; the central bright band is \(2x_1\approx 25~\mathrm{mm}\) wide. Check Fraunhofer validity: \(D^2/\lambda=(10^{-4})^2/633\times10^{-9}\approx 1.6\times10^{-2}~\mathrm{m}\), and \(L=2~\mathrm{m}\gg 0.016~\mathrm{m}\), so the far-field transform applies.
Reading. Two stars closer than \(0.69''\) merge into one Airy disc for this \(20~\mathrm{cm}\) aperture. Bigger \(D\) sharpens the transform (\(\theta_{\min}\propto 1/D\)); this reciprocal scaling is exactly the Fourier width relation of the pupil.
Problems
- A double slit has slit width \(a=20~\mu\mathrm{m}\) and centre-to-centre separation \(d=100~\mu\mathrm{m}\), illuminated at \(\lambda=633~\mathrm{nm}\), screen at \(L=1.5~\mathrm{m}\). How many bright interference fringes fit inside the central single-slit diffraction maximum?
Solution
The pattern is the single-slit envelope \(\mathrm{sinc}^2(af_X)\) times interference \(\cos^2(\pi d f_X)\). Envelope first zero: \(a f_X=1\). Interference maxima: \(d f_X=m\). Missing-order ratio \(d/a=100/20=5\). The envelope zero coincides with the \(m=5\) order, so orders \(m=0,\pm1,\pm2,\pm3,\pm4\) lie strictly inside (order \(\pm5\) is suppressed). That is \(9\) bright fringes inside the central maximum. (The \(\pm5\) fringes are "missing orders.") - Show that translating an aperture by \(x_0\) in its own plane leaves the Fraunhofer intensity pattern unchanged, and find the phase acquired by the field.
Solution
Let \(t'(x',y')=t(x'-x_0,y')\). By the Fourier shift theorem, \(\tilde t'(f_X,f_Y)=e^{-i2\pi f_X x_0}\,\tilde t(f_X,f_Y)\). The field picks up a linear phase \(\phi=-2\pi f_X x_0=-k x x_0/z\). The intensity \(|\tilde t'|^2=|e^{-i2\pi f_X x_0}|^2|\tilde t|^2=|\tilde t|^2\) is unchanged because the modulus of a pure phase is 1. Hence the diffraction pattern does not move when the aperture is slid sideways — only its phase distribution changes. - A slit of width \(a=50~\mu\mathrm{m}\) is used with \(\lambda=500~\mathrm{nm}\). Estimate the minimum distance \(z\) beyond which the Fraunhofer approximation is good to better than a \(\pi/8\) phase error across the aperture.
Solution
The dropped quadratic phase at the aperture edge is \(\Delta\phi=\dfrac{k}{2z}\left(\dfrac{a}{2}\right)^2=\dfrac{\pi a^2}{4\lambda z}\). Require \(\Delta\phi\le \pi/8\): \(z\ge \dfrac{2a^2}{\lambda}=\dfrac{2(50\times10^{-6})^2}{500\times10^{-9}}=\dfrac{2(2.5\times10^{-9})}{5\times10^{-7}}=1.0\times10^{-2}~\mathrm{m}\). So \(z\gtrsim 1~\mathrm{cm}\). (The looser criterion \(z\gg a^2/\lambda=5~\mathrm{mm}\) is consistent.) - A Gaussian amplitude aperture \(t(x')=e^{-x'^2/w^2}\) is illuminated by a plane wave. Find the far-field intensity profile and its \(1/e^2\) angular half-width.
Solution
The 1-D Fourier transform of a Gaussian is a Gaussian: \(\tilde t(f_X)=\int e^{-x'^2/w^2}e^{-i2\pi f_X x'}dx'=w\sqrt{\pi}\,e^{-\pi^2 w^2 f_X^2}\). Intensity \(I\propto|\tilde t|^2\propto e^{-2\pi^2 w^2 f_X^2}\). With \(f_X=\sin\theta/\lambda\approx\theta/\lambda\), \(I\propto e^{-2\pi^2 w^2\theta^2/\lambda^2}\). The \(1/e^2\) half-width (where the exponent \(=-2\)) is \(2\pi^2 w^2\theta^2/\lambda^2=2\Rightarrow \theta_{1/e^2}=\dfrac{\lambda}{\pi w}\). A wider beam diverges less, \(\theta\propto 1/w\), the standard Gaussian-beam divergence. - A transmission grating has \(N=600\) lines/mm. Monochromatic light at \(\lambda=589~\mathrm{nm}\) illuminates it at normal incidence. Find the diffraction angle of the first order, and the highest order observable.
Solution
Grating period \(d=1/(600~\mathrm{mm^{-1}})=1.667~\mu\mathrm{m}=1.667\times10^{-6}~\mathrm{m}\). Grating equation (from the comb transform, maxima at \(d\sin\theta=m\lambda\)): \(\sin\theta_1=\lambda/d=589\times10^{-9}/1.667\times10^{-6}=0.3534\Rightarrow\theta_1=20.7^\circ\). Highest order: \(\sin\theta\le 1\Rightarrow m\le d/\lambda=1.667\times10^{-6}/589\times10^{-9}=2.83\), so \(m_{\max}=2\) (orders \(0,\pm1,\pm2\) appear; \(\theta_2=\arcsin(2\times0.3534)=\arcsin(0.7069)=44.97^\circ\)).