This article is distilled from Am. J. Phys. 69(1), January 2001, page 79.
The goal is to make a laser to output light at frequency with very little frequency variation.
To do this you take a local oscillator at frequency and using a Pockels cell, do a phase modulation of the laser. That is, you convert the laser field to . This essentially adds two fourier components at frequencies . These fourier components are called “sidebands”.
Here, the and the are Bessel functions.
Now you throw this modulated laser light onto a high-finesse Fabry-Perot cavity (with free spectral range , line-width and mirror reflectivity ) and look at the light reflected from the Fabry-Perot. This multiplies a fourier component at by the complex number
We can calculate the power in the reflected light. There is a term proportional to / whose coefficient is proportional to the real/imaginary part of .
Consider the case of interest where is almost on resonance: , and the sidebands are almost completely reflected. Then, we can approximate by , and by (since ). This means that the term in the reflected power is almost zero and we are left with the term with a coefficient proportional to (the negative of) the frequency offset.
Now by mixing the local oscillator signal (in the correct phase) and passing through a low-pass filter, we can isolate the term and feed it to the laser, which supplies a negative feedback to the laser. This negative feedback accomplishes the frequency stabilization.