Fourier Optics:
Aberrations and Wavefront Sensors

Prof François Rigaut
Research School of Astronomy & Astrophysics
The Australian National University

© Rigaut 2021, PHYS3057 Fourier Optics

Linear Optical Systems

© Rigaut 2021, PHYS3057 Fourier Optics
Phase Aberrations
© Rigaut 2021, PHYS3057 Fourier Optics

Phase Aberrations - Geometrical view

  • Wavefront departs from flatness
  • When focused, rays do not intersect at the same location

w:1050

© Rigaut 2021, PHYS3057 Fourier Optics

Phase Aberrations - Fourier Optics view

Ψ(x,y,t)=A(x,y,t)eiφ(x,x,t)\large \Psi(x,y,t) = A(x,y,t) e^{i{\color{red} \varphi(x,x,t)}}

  • Now, φ(x,y,t)0\varphi(x,y,t) \neq 0, thus the PSF HH departs from the simple square modulus of the aperture, as presented in previous lectures.
  • This yields asymmetry and spread, and a loss of angular resolution as well as:
    • a loss of Strehl ratio
    • further attenuation of spatial frequencies in the OTF

w:780

© Rigaut 2021, PHYS3057 Fourier Optics
Seidel Aberrations
© Rigaut 2021, PHYS3057 Fourier Optics

Seidel Aberrations

  • Primary aberrations from optical system misalignment or
    manufacturing error
  • Seidel aberrations for monochromatic light:
    1. Spherical aberration
    2. Coma
    3. Astigmatism
    4. Curvature of field
    5. Distortion
    6. Chromatic

(Not phase aberrations as described previously in this lecture, i.e. for a single point like object. Those are field dependent or wavelength dependant aberrations)

© Rigaut 2021, PHYS3057 Fourier Optics

Seidel aberrations: Coma

  • Also a field aberration in many optical system (i.e. something you get when looking off-axis)
    • "field Aberration": an aberration that varies as a function of position in the output field (field = image plane)
  • Characterised by core + tail
© Rigaut 2021, PHYS3057 Fourier Optics

Seidel aberrations: Spherical

  • Often due to polishing error
  • The Hubble space telescope is an infamous example
© Rigaut 2021, PHYS3057 Fourier Optics

Seidel aberrations

Geometrical (ray) view Fourier optics view
w:500 w:300w:300w:300
© Rigaut 2021, PHYS3057 Fourier Optics

Beyond Seidel: real eye cases

© Rigaut 2021, PHYS3057 Fourier Optics
Zernike polynomials to describe phase aberrations
© Rigaut 2021, PHYS3057 Fourier Optics

Zernike polynomials/modes

© Rigaut 2021, PHYS3057 Fourier Optics

Zernike polynomials: background

  • The mathematical functions were originally described by Fritz Zernike in 1934.
  • They were developed to describe the diffracted wavefront in phase contrast imaging.
  • Zernike won the 1953 Nobel Prize in Physics for developing Phase Contrast Microscopy.
© Rigaut 2021, PHYS3057 Fourier Optics

Zernike polynomials/modes

© Rigaut 2021, PHYS3057 Fourier Optics

Why Zernikes?

  • Zernike polynomials have nice mathematical properties:
    • They are orthogonal over the continuous unit circle: SZi(x,y,)Zj(x,y)dS=δij\iint_S Z_i(x,y,)Z_j(x,y) dS = \delta_{ij}
    • All their derivatives are continuous.
  • They efficiently represent common errors (e.g. coma, spherical aberration) seen in optics.
  • They form a complete set, meaning that they can represent arbitrarily complex continuous surfaces given enough terms.
© Rigaut 2021, PHYS3057 Fourier Optics

Zernike polynomials

© Rigaut 2021, PHYS3057 Fourier Optics

Zernike polynomials...

© Rigaut 2021, PHYS3057 Fourier Optics

... and corresponding PSFs

© Rigaut 2021, PHYS3057 Fourier Optics
Zernike polynomials to describe phase aberrations
© Rigaut 2021, PHYS3057 Fourier Optics

Phase expansion and phase variance

The phase can be described as a superposition (sum) of Zernike polynomials

φ(x,y,t)i=1ai(t)Zi(x,y)\varphi(x,y,t) \sum_{i=1}^\infty a_i(t) Z_i(x,y)

where the coefficients are calculated as follow:

ai=SW(r)φ(r,θ)Zi(r,θ)rdrdθa_i = \int_S W(r) \varphi(r,\theta) Z_i(r,\theta) \:r\:dr \:d\theta

The phase variance is then readily computed as:

σφ2=<φ2(x,y,t)>t=i=1ai2(t) given SZi(x,y,)Zj(x,y)dS=δij\sigma_\varphi^2 =<\varphi^2(x,y,t) >_t = \sum_{i=1}^\infty a^2_i(t) \text{ given } \iint_S Z_i(x,y,)Z_j(x,y) dS = \delta_{ij}

© Rigaut 2021, PHYS3057 Fourier Optics

Impact on Optical Transfer Function

© Rigaut 2021, PHYS3057 Fourier Optics

Aberration retrieval

  • Using Wavefront sensors
    • Hartmann, Shack-Hartmann sensor
    • Foucault knife, pyramid sensor
    • Interferometer: Michelson, Mach-Zehnder, Fizeau,…
    • Self referenced interferometers: Shearing, point diffraction,…
  • Using the image itself
    • Phase diversity
© Rigaut 2021, PHYS3057 Fourier Optics
Wavefront Sensors
© Rigaut 2021, PHYS3057 Fourier Optics

Linear Optical Systems

© Rigaut 2021, PHYS3057 Fourier Optics

Wavefront Sensors (WFS)

  • A device that is measuring the wavefront phase (and potentially amplitude)
  • Many wavefront sensors measure the phase first derivative (local slope) or second derivative (local curvature), some use a mix of both
    • First derivative wavefront sensors:
      • Shack-Hartmann
      • Shearing interferometers (lateral, radial, rotation)
      • Pyramid, Foucault knife
  • Second derivative wavefront sensors:
    • Curvature
  • And then some device measure the phase difference with some reference wave:
    • Point diffraction interferometer, Michelson, …
  • But all do that through an intensity measurement of some sort
© Rigaut 2021, PHYS3057 Fourier Optics
Shack-Hartmann Wavefront Sensor: how does it work?
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann WFS

© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann WFS

© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann WFS

© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann WFS

© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann WFS

© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann WFS

© Rigaut 2021, PHYS3057 Fourier Optics
SHWFS Extension in two dimensions
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D

  • A Shack-Hartmann sensor measure the average X and Y gradient over the subaperture
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D


No Aberration
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D


Tilt (Z2)
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D


Defocus (Z4)
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D


Astigmatism (Z6)
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D


Coma (Z8)
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D


Spherical (Z11)
© Rigaut 2021, PHYS3057 Fourier Optics

Shack-Hartmann in 2D


High order (e.g. Z21)
© Rigaut 2021, PHYS3057 Fourier Optics
Real-World Considerations
© Rigaut 2021, PHYS3057 Fourier Optics

What WFS to choose?

  • Noise, usage of light
  • Dynamical range
  • Linearity, hysteresis
  • Cost
  • Polychromaticity
  • Spatial aliasing
  • Speed, computational requirements
  • Solution uniqueness
  • Extended sources
  • Self referenced
  • Ease of implementation
© Rigaut 2021, PHYS3057 Fourier Optics

Sensor Transfer function

© Rigaut 2021, PHYS3057 Fourier Optics

Sensing issues: non linearity

© Rigaut 2021, PHYS3057 Fourier Optics

Sensing issues: Calibration error

© Rigaut 2021, PHYS3057 Fourier Optics

Sensing issue: Hysteresis

w:800

© Rigaut 2021, PHYS3057 Fourier Optics

Noise and SNR

w:800

© Rigaut 2021, PHYS3057 Fourier Optics

Trade-offs and choice drivers

© Rigaut 2021, PHYS3057 Fourier Optics
Other Real-World Considerations
© Rigaut 2021, PHYS3057 Fourier Optics

Practical implementation

In Astronomy In Ophthalmology
h:240 h:240
  • Field stop
  • Collimating optics (usually lenslet 1F behind collimator)
  • Lenslet array (most commercial arrays have pitch of 100-1000 μm)
  • 2D Sensor: Most CCDs/CMOS have pixels of 2 (CMOS for phones) to 20 microns (CCDs for science applications). Typical format 1282128^2 to 204822048^2.
© Rigaut 2021, PHYS3057 Fourier Optics

Applications & Needs

© Rigaut 2021, PHYS3057 Fourier Optics
Alternatives WFS techniques
© Rigaut 2021, PHYS3057 Fourier Optics

Alternative: Phase diversity

  • Focal plane method
  • Acquire an "in focus" image
  • but (wavefront) phase is lost during the image formation I=F(Aeiφ)2{\cal I} = | {\cal F} (A e^{i\varphi}) |^2
  • ...and an image with some added phase "diversity", e.g. focus I=F(Aei(φ+φ0))2{\cal I}' = | {\cal F} (A e^{i(\varphi+\varphi_0)}) |^2
  • The second image lift the sign uncertainty
  • Then use a minimisation package (Steepest descent, Conjugate Gradient, Levenberg–Marquardt, etc) to find the phase that reproduce best the images, or AI.
© Rigaut 2021, PHYS3057 Fourier Optics

Minimisation & Fitting

  • The problem: Given data points yiy_i at xix_i, find model parameters β\beta so that the least square distance model-data SS is minimum:
    S(β1,β2)=i=1m(yif(xi,β1,β2))2S(\beta_1,\beta_2) = \sum_{i=1}^m (y_i - f(x_i,\beta_1,\beta_2))^2
  • Iterative methods
  • Steepest descent, Conjugate Gradient,
    Levenberg–Marquardt
  • Issue with local minima:
© Rigaut 2021, PHYS3057 Fourier Optics

<span style="position: absolute; left:600px; top:245px; color:red;"> $$ \Bigg) \frac{\partial\varphi}{\partial x} or \nabla\varphi$$ </span> <span style="position: absolute; left:600px; top:360px; color:red;">$$ \Big) \frac{\partial\varphi}{\partial x} or \nabla\varphi$$ </span> <span style="position: absolute; left:600px; top:504px; color:red;">$$ \big) \varphi$$ </span>