Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

“The Fourier transform is a tool that breaks down a signal into its constituent frequencies. In optics, it reveals how light decomposes into its spatial frequency components.”

Joseph Fourier (paraphrased)

The Fourier transform stands as one of the most powerful mathematical tools in all of optics, providing a bridge between the spatial domain (where we observe intensity patterns) and the frequency domain (where we understand the wave components). Far from being merely computational convenience, Fourier analysis reveals deep physical insights about how light propagates, diffracts, and forms images. This appendix will guide you through the essential concepts, building from fundamental principles to sophisticated applications that illuminate the behavior of optical systems.

1C.1 What Is the Fourier Transform and Why Do We Need It?

1.1C.1.1 The Fundamental Concept

In temporal signal processing, we’re familiar with the idea that any complex waveform can be decomposed into sinusoidal components of different frequencies. The Fourier transform extends this concept to spatial dimensions: any spatial pattern can be decomposed into spatial sinusoidal components with different spatial frequencies.

Consider a simple example: a photograph contains both large-scale features (the overall shape of objects) and fine details (textures, edges). Fourier analysis separates these into:

In optics, this decomposition is crucial because optical systems often act differently on different spatial frequencies—a lens might blur fine details while preserving large-scale structure.

1.2C.1.2 Mathematical Definition

For a two-dimensional function f(x,y)f(x,y) (such as an optical field or intensity distribution), the Fourier transform is:

F(kx,ky)=f(x,y)ei(kxx+kyy)dxdyF(k_x, k_y) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(x,y) e^{-i(k_x x + k_y y)} dx dy

The inverse Fourier transform recovers the original function:

f(x,y)=1(2π)2F(kx,ky)ei(kxx+kyy)dkxdkyf(x,y) = \frac{1}{(2\pi)^2} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} F(k_x, k_y) e^{i(k_x x + k_y y)} dk_x dk_y

1.3C.1.3 Physical Interpretation in Optics

In optics, the Fourier transform has profound physical meaning:

Table 1:Fourier Transform Interpretations

Domain

Variable

Physical Meaning

Units

Spatial Domain

f(x,y)f(x,y)

Field amplitude or intensity at position

V/m or W/m²

Frequency Domain

F(kx,ky)F(k_x, k_y)

Amplitude of spatial frequency component

Complex amplitude

Wave Vector

(kx,ky)(k_x, k_y)

Direction and spatial frequency of plane wave

rad/m

The key insight is that any optical field can be viewed as a superposition of plane waves, each traveling in a slightly different direction. The Fourier transform tells us the amplitude and phase of each plane wave component.

1.4C.1.4 Why Fourier Analysis Works So Well in Optics

Fourier methods are particularly powerful in optics because:

  1. Linear systems: Most optical systems are linear, and Fourier transforms preserve linearity

  2. Translation invariance: Many optical elements affect all spatial frequencies in the same way

  3. Plane wave solutions: Maxwell’s equations have plane wave solutions, which are the building blocks of Fourier analysis

  4. Convolution property: Optical propagation often involves convolutions, which become simple multiplication in Fourier space

2C.2 Essential Properties and Theorems

2.1C.2.1 Linearity

The Fourier transform is linear:

F[af(x,y)+bg(x,y)]=aF[f(x,y)]+bF[g(x,y)]\mathcal{F}[af(x,y) + bg(x,y)] = a\mathcal{F}[f(x,y)] + b\mathcal{F}[g(x,y)]

Physical meaning: If light consists of multiple components, we can analyze each component separately and add the results.

2.2C.2.2 Shift Theorem

A spatial shift in the object domain becomes a phase factor in frequency domain:

F[f(xx0,yy0)]=F(kx,ky)ei(kxx0+kyy0)\mathcal{F}[f(x-x_0, y-y_0)] = F(k_x, k_y) e^{-i(k_x x_0 + k_y y_0)}

2.3C.2.3 Scaling Theorem

Magnifying an object compresses its Fourier transform:

F[f(ax,by)]=1abF(kxa,kyb)\mathcal{F}[f(ax, by)] = \frac{1}{|ab|} F\left(\frac{k_x}{a}, \frac{k_y}{b}\right)

Physical meaning: A telescope that magnifies an image spreads out the angular frequencies (making them finer), which is exactly what we observe—magnification reveals finer angular details.

2.4C.2.4 Convolution Theorem

This is perhaps the most important property for optics:

F[fg]=F[f]F[g]\mathcal{F}[f \star g] = \mathcal{F}[f] \cdot \mathcal{F}[g]

where \star denotes convolution: (fg)(x,y)=f(x,y)g(xx,yy)dxdy(f \star g)(x,y) = \int \int f(x',y') g(x-x', y-y') dx' dy'

2.5C.2.5 Parseval’s Theorem

Energy is conserved between domains:

f(x,y)2dxdy=1(2π)2F(kx,ky)2dkxdky\int \int |f(x,y)|^2 dx dy = \frac{1}{(2\pi)^2} \int \int |F(k_x, k_y)|^2 dk_x dk_y

Physical meaning: The total optical power is the same whether we calculate it in the spatial domain or the frequency domain.

3C.3 Common Fourier Transform Pairs in Optics

3.1C.3.1 Fundamental Building Blocks

Table 2:Essential Fourier Pairs

Function f(x,y)

Fourier Transform F(k_x, k_y)

Optical Example

Delta function δ(x,y)\delta(x,y)

1 (constant)

Point source → plane wave

Constant 1

(2π)2δ(kx,ky)(2\pi)^2 \delta(k_x, k_y)

Uniform illumination → single frequency

Plane wave ei(k0x+k1y)e^{i(k_0 x + k_1 y)}

(2π)2δ(kxk0,kyk1)(2\pi)^2 \delta(k_x - k_0, k_y - k_1)

Single spatial frequency

Cosine grating cos(k0x)\cos(k_0 x)

π[δ(kxk0)+δ(kx+k0)]δ(ky)\pi[\delta(k_x - k_0) + \delta(k_x + k_0)]\delta(k_y)

Diffraction grating

3.2C.3.2 Aperture Functions

Rectangular aperture (width aa, height bb):

rect(xa)rect(yb)absinc(kxa2)sinc(kyb2)\text{rect}\left(\frac{x}{a}\right)\text{rect}\left(\frac{y}{b}\right) \leftrightarrow ab \cdot \text{sinc}\left(\frac{k_x a}{2}\right)\text{sinc}\left(\frac{k_y b}{2}\right)

where sinc(u)=sin(u)/u\text{sinc}(u) = \sin(u)/u.

Circular aperture (radius RR):

circ(rR)R2J1(krR)krR/2\text{circ}\left(\frac{r}{R}\right) \leftrightarrow R^2 \frac{J_1(k_r R)}{k_r R/2}

where J1J_1 is the first-order Bessel function and kr=kx2+ky2k_r = \sqrt{k_x^2 + k_y^2}.

Physical meaning: This gives the famous Airy pattern for circular aperture diffraction.

3.3C.3.3 Gaussian Functions

The Gaussian function is its own Fourier transform (up to scaling):

e(x2+y2)/2σ22πσ2eσ2(kx2+ky2)/2e^{-(x^2 + y^2)/2\sigma^2} \leftrightarrow 2\pi\sigma^2 e^{-\sigma^2(k_x^2 + k_y^2)/2}

4C.4 The Angular Spectrum Representation

4.1C.4.1 Plane Wave Decomposition

One of the most powerful concepts in Fourier optics is the angular spectrum representation. Any optical field U(x,y,z)U(x,y,z) can be written as a superposition of plane waves:

U(x,y,z)=A(kx,ky)ei(kxx+kyy+kzz)dkxdkyU(x,y,z) = \int \int A(k_x, k_y) e^{i(k_x x + k_y y + k_z z)} dk_x dk_y

where:

4.2C.4.2 Propagation in Free Space

The beauty of the angular spectrum approach is that free space propagation becomes incredibly simple. If we know the field at plane z = 0, the field at any other plane z is:

U(x,y,z)=F1[A(kx,ky)eikzz]U(x,y,z) = \mathcal{F}^{-1}[A(k_x, k_y) e^{ik_z z}]

4.3C.4.3 Fresnel and Fraunhofer Approximations

Fresnel approximation (near field): For small angles, kzkkx2+ky22kk_z \approx k - \frac{k_x^2 + k_y^2}{2k}

U(x,y,z)eikzF1[A(kx,ky)ei(kx2+ky2)z/(2k)]U(x,y,z) \approx e^{ikz} \mathcal{F}^{-1}[A(k_x, k_y) e^{-i(k_x^2 + k_y^2)z/(2k)}]

Fraunhofer approximation (far field): For zz \gg aperture size squared/wavelength:

U(x,y,z)eikzzA(kxz,kyz)U(x,y,z) \approx \frac{e^{ikz}}{z} A\left(\frac{kx}{z}, \frac{ky}{z}\right)

5C.5 Applications in Optical Systems

5.1C.5.1 Lens as a Fourier Transformer

A converging lens performs a spatial Fourier transform under the right conditions. If we place an object at the front focal plane of a lens, the field in the back focal plane is proportional to the Fourier transform of the object:

Uback(x,y)F[Ufront(x,y)]U_{back}(x,y) \propto \mathcal{F}[U_{front}(x,y)]

5.2C.5.2 Transfer Functions

Every linear optical system can be characterized by its optical transfer function (OTF):

H(kx,ky)=Output spectrumInput spectrumH(k_x, k_y) = \frac{\text{Output spectrum}}{\text{Input spectrum}}

For an aberration-free lens with circular aperture of radius RR:

H(kx,ky)={1if kx2+ky22πRλz0otherwiseH(k_x, k_y) = \begin{cases} 1 & \text{if } \sqrt{k_x^2 + k_y^2} \leq \frac{2\pi R}{\lambda z} \\ 0 & \text{otherwise} \end{cases}

5.3C.5.3 Coherent vs. Incoherent Imaging

Coherent imaging: The field amplitudes add, and the system transfer function operates on the field:

Uimage=F1[Hcoherent(kx,ky)F[Uobject]]U_{image} = \mathcal{F}^{-1}[H_{coherent}(k_x, k_y) \cdot \mathcal{F}[U_{object}]]

Incoherent imaging: The intensities add, and the system operates on intensity:

Iimage=F1[Hincoherent(kx,ky)F[Iobject]]I_{image} = \mathcal{F}^{-1}[H_{incoherent}(k_x, k_y) \cdot \mathcal{F}[I_{object}]]

The incoherent transfer function is related to the coherent one:

Hincoherent(kx,ky)=Hcoherent(kx,ky)Hcoherent(kxkx,kyky)dkxdkyH_{incoherent}(k_x, k_y) = \int \int H_{coherent}(k_x', k_y') H_{coherent}^*(k_x' - k_x, k_y' - k_y) dk_x' dk_y'

6C.6 Diffraction Analysis Using Fourier Methods

6.1C.6.1 Fraunhofer Diffraction Patterns

For Fraunhofer diffraction, the far-field pattern is the Fourier transform of the aperture function:

Single slit (width aa):

I(θ)=I0sinc2(kasinθ2)I(\theta) = I_0 \text{sinc}^2\left(\frac{ka\sin\theta}{2}\right)

Double slit (slit separation dd, slit width aa):

I(θ)=I0sinc2(kasinθ2)cos2(kdsinθ2)I(\theta) = I_0 \text{sinc}^2\left(\frac{ka\sin\theta}{2}\right) \cos^2\left(\frac{kd\sin\theta}{2}\right)

Circular aperture (radius RR):

I(θ)=I0[2J1(kRsinθ)kRsinθ]2I(\theta) = I_0 \left[\frac{2J_1(kR\sin\theta)}{kR\sin\theta}\right]^2

6.2C.6.2 Fresnel Diffraction

For Fresnel diffraction, we need to include the propagation phase:

U(x,y,z)=eikziλzU0(x,y)eik[(xx)2+(yy)2]/(2z)dxdyU(x,y,z) = \frac{e^{ikz}}{i\lambda z} \int \int U_0(x',y') e^{ik[(x-x')^2 + (y-y')^2]/(2z)} dx' dy'

This can be evaluated using Fresnel integrals for specific geometries like straight edges and circular apertures.

6.3C.6.3 Babinet’s Principle

If apertures A and B are complementary (A + B = complete aperture), then:

UA(r)+UB(r)=Ucomplete(r)U_A(\mathbf{r}) + U_B(\mathbf{r}) = U_{complete}(\mathbf{r})

In Fourier terms:

FA(kx,ky)+FB(kx,ky)=Fcomplete(kx,ky)F_A(k_x, k_y) + F_B(k_x, k_y) = F_{complete}(k_x, k_y)

This principle allows us to calculate diffraction from complex apertures by relating them to simpler complementary shapes.

7C.7 Spatial Filtering and Optical Processing

7.1C.7.1 Spatial Frequency Filtering

In the Fourier plane of a 4f system, we can place physical masks to modify specific spatial frequencies:

Low-pass filter: Blocks high spatial frequencies (smooths image)

HLP(kx,ky)={1if kx2+ky2<kc0otherwiseH_{LP}(k_x, k_y) = \begin{cases} 1 & \text{if } \sqrt{k_x^2 + k_y^2} < k_c \\ 0 & \text{otherwise} \end{cases}

High-pass filter: Blocks low spatial frequencies (enhances edges)

HHP(kx,ky)=1HLP(kx,ky)H_{HP}(k_x, k_y) = 1 - H_{LP}(k_x, k_y)

Band-pass filter: Selects a range of spatial frequencies

HBP(kx,ky)={1if k1<kx2+ky2<k20otherwiseH_{BP}(k_x, k_y) = \begin{cases} 1 & \text{if } k_1 < \sqrt{k_x^2 + k_y^2} < k_2 \\ 0 & \text{otherwise} \end{cases}

7.2C.7.2 Phase Contrast and Differential Interference

Phase contrast: Converts phase variations to intensity variations by introducing a phase shift to the zero-order (DC) component.

Zernike phase contrast:

HPC(kx,ky)=1+Δϕδ(kx,ky)H_{PC}(k_x, k_y) = 1 + \Delta\phi \cdot \delta(k_x, k_y)

where Δϕ\Delta\phi is typically π/2\pi/2.

7.3C.7.3 Optical Correlation

Cross-correlation can be performed optically by placing a filter with the Fourier transform of a reference pattern:

g(x,y)=F1[F(kx,ky)G(kx,ky)]g(x,y) = \mathcal{F}^{-1}[F(k_x, k_y) \cdot G^*(k_x, k_y)]

This technique is used for:

8C.8 Digital Implementation and Computational Aspects

8.1C.8.1 Discrete Fourier Transform (DFT)

For computational implementation, we use the discrete Fourier transform:

F[m,n]=j=0N1k=0N1f[j,k]e2πi(mj+nk)/NF[m,n] = \sum_{j=0}^{N-1} \sum_{k=0}^{N-1} f[j,k] e^{-2\pi i(mj + nk)/N}

The Fast Fourier Transform (FFT) algorithm makes this computationally efficient, reducing complexity from O(N4)O(N^4) to O(N2logN)O(N^2 \log N) for an N×NN \times N image.

8.2C.8.2 Sampling and Aliasing

Nyquist sampling theorem: To avoid aliasing, the sampling frequency must be at least twice the highest spatial frequency:

Δx<πkmax\Delta x < \frac{\pi}{k_{max}}

Practical considerations:

8.3C.8.3 Computational Propagation

Angular spectrum method for numerical propagation:

import numpy as np

def propagate_angular_spectrum(field, wavelength, distance, dx):
    """Propagate optical field using angular spectrum method"""

    # Fourier transform of input field
    Field_fft = np.fft.fft2(field)

    # Create spatial frequency grids
    N = field.shape[0]
    kx = np.fft.fftfreq(N, dx) * 2 * np.pi
    KX, KY = np.meshgrid(kx, kx)

    # Calculate propagation phase
    k = 2 * np.pi / wavelength
    kz = np.sqrt(k**2 - KX**2 - KY**2)

    # Handle evanescent waves
    kz = np.where(KX**2 + KY**2 < k**2, kz, 1j*np.sqrt(KX**2 + KY**2 - k**2))

    # Apply propagation operator
    propagator = np.exp(1j * kz * distance)
    Field_prop_fft = Field_fft * propagator

    # Inverse transform
    field_propagated = np.fft.ifft2(Field_prop_fft)

    return field_propagated

9C.9 Advanced Topics and Modern Applications

9.1C.9.1 Fractional Fourier Transform

The fractional Fourier transform interpolates between the spatial and frequency domains:

Fa(u)=f(x)Ka(u,x)dxF_a(u) = \int_{-\infty}^{\infty} f(x) K_a(u,x) dx

where the kernel Ka(u,x)K_a(u,x) depends on the fractional parameter aa.

Applications:

9.2C.9.2 Wavelet Analysis

While Fourier analysis provides frequency information, wavelets provide both frequency and spatial localization:

W(a,b)=f(x)ψ(xba)dxW(a,b) = \int_{-\infty}^{\infty} f(x) \psi^*\left(\frac{x-b}{a}\right) dx

Optical applications:

9.3C.9.3 Holography and Fourier Optics

Digital holography combines Fourier analysis with interference:

  1. Recording: Interference between object and reference beams

  2. Reconstruction: Fourier analysis separates different diffraction orders

  3. Numerical focusing: Propagate to different planes using Fourier methods

9.4C.9.4 Metamaterials and Fourier Optics

Subwavelength structures require careful Fourier analysis:

10C.10 Practical Considerations and Common Pitfalls

10.1C.10.1 Experimental Implementation

10.2C.10.2 Numerical Implementation

10.3C.10.3 Physical Interpretation

11C.11 Worked Examples

11.1C.11.1 Design of a Spatial Filter

11.2C.11.2 Diffraction Grating Analysis

11.3C.11.3 Lens Resolution Calculation

12C.12 Summary and Physical Insights

12.1C.12.1 Fundamental Principles

The Fourier transform succeeds in optics because it captures the wave nature of light:

Table 3:Core Insights

Mathematical Property

Physical Principle

Optical Manifestation

Superposition

Waves add linearly

Interference and diffraction

Frequency decomposition

Plane wave solutions

Angular spectrum representation

Convolution theorem

System linearity

Transfer functions

Uncertainty principle

Wave packet localization

Resolution limits

12.2C.12.2 Connections to Other Physics

Quantum mechanics: The wavefunction in quantum mechanics follows the same Fourier relationships as optical fields—position and momentum are Fourier transform pairs.

Signal processing: Digital image processing techniques directly parallel optical spatial filtering.

Crystallography: X-ray diffraction patterns are Fourier transforms of crystal structures.

12.3C.12.3 Modern Applications

13C.13 Practice Problems

13.1C.13.1 Basic Fourier Analysis

13.2C.13.2 Diffraction Patterns

13.3C.13.3 Optical System Design

13.4C.13.4 Numerical Implementation

14C.14 Final Thoughts: The Unity of Wave Physics

The Fourier transform reveals a profound truth about wave phenomena: every localized disturbance is composed of extended waves, and every pure wave requires infinite space. This duality—localization versus frequency purity—appears throughout physics and represents a fundamental limitation of wave-based information processing.

“The Fourier transform is a tool that reveals the hidden periodicities in data. In optics, it shows us the plane wave components that combine to create complex optical fields.”

Ronald Bracewell, “The Fourier Transform and Its Applications”

In optics, this manifests as:

As you continue your journey through optics, remember that Fourier analysis isn’t just a mathematical technique—it’s a way of understanding how information propagates through optical systems. Whether designing a telescope, analyzing a laser beam, or processing an image, the Fourier transform provides the conceptual framework that connects the mathematics to the physics.

The Fourier transform stands at the heart of modern optics, connecting the wave nature of light to the practical demands of optical system design. Master this tool, and you’ll have gained access to the full power of spatial frequency analysis—one of the most elegant and useful concepts in all of physics.