An optical resonator, or optical cavity, is a device designed to confine light, effectively storing electromagnetic energy within a defined volume for a certain duration. This is generally achieved by guiding the propagation of light along a path that self-reproduces after periodic round trips. One example of an optical resonator that we have already encountered is the Fabry-Pérot cavity.
Optical resonators only allow discrete frequencies of light to be sustained and stored within them; these specific frequencies correspond to the longitudinal modes (or axial modes) of the resonator. Associated with these longitudinal modes are specific transverse intensity patterns, known as transverse modes. Most laser resonators are designed to support a specific fundamental transverse spatial beam shape, commonly a Gaussian beam:
A very important concept is that of an optical mode, which, in broad terms, is a self-consistent electromagnetic field configuration that reproduces itself after one round trip within the resonator (apart from a possible constant phase shift and amplitude reduction due to losses). Modes are therefore eigensolutions of the wave equation subject to the boundary conditions imposed by the resonator geometry. In the following sections, we will mostly focus on linear cavities (formed by two mirrors). Ring resonators, which employ three or more mirrors to form a closed loop path, will also be mentioned, but their detailed treatment is more involved:
7.1 Spherical Mirror Resonator
A spherical mirror resonator consists of two mirrors, both of which typically have spherically curved surfaces. As we will see later, this type of resonator generally offers much higher stability against misalignment compared to planar-mirror resonators (which are a special case of spherical mirrors with infinite radius of curvature). The following figure shows an example of a spherical mirror resonator with two concave mirrors:
In this context, "spherical" means that the mirror surface is a segment of a sphere with a radius of curvature . The convention used here is that a positive denotes a concave mirror (curved towards the cavity interior), while a negative denotes a convex mirror. Some sources use the opposite sign convention, which is something one should always be aware of. We are interested in answering the question: "Under what conditions is the resonator stable?"
What does stability mean in this context? For an optical resonator, stability implies that the geometry allows a light beam (specifically, a paraxial Gaussian beam) to be confined and to replicate its transverse profile after each round trip, ignoring losses for now. A resonator is called stable if a paraxial ray, initially close to and slightly inclined to the optical axis, remains confined near the axis after an infinite number of round trips. Alternatively, using Gaussian beam optics, a resonator is stable if it supports a self-consistent Gaussian beam mode whose parameters (waist size and position) are physically realisable. From our discussion on paraxial ray optics and Gaussian beam optics, it should be clear that these two approaches (ray optics and Gaussian beam q-parameter transformation) are equivalent, as both use the same ABCD ray-transfer matrices.
The ray-transfer matrix for one complete round trip through the resonator, starting just after mirror 1, propagating a distance to mirror 2, reflecting from mirror 2, propagating distance back to mirror 1, and reflecting from mirror 1, is given by the product:
where is the focal length of mirror . Substituting :
The condition for a stable resonator is that a Gaussian beam can replicate its complex q-parameter after one round trip: must yield . This leads to a quadratic equation for : .
For a physically meaningful Gaussian beam, must be complex ( with ). This requires the discriminant of the quadratic equation for to be such that is complex, or more directly, the stability criterion derived from the ABCD matrix elements is:
Using the elements of , .
The stability criterion then becomes , which simplifies to:
where is the g-parameter for mirror . Note that configurations where or are on the boundary of stability and are termed conditionally stable. In practice, these are difficult to achieve perfectly due to alignment tolerances and mirror imperfections. For instance, a Fabry-Pérot etalon with two perfectly plane mirrors () is conditionally stable; only an ideally collimated on-axis beam would be confined, which is unrealistic. Such cavities are less efficient at storing light over many round trips than truly stable cavities.
The stability map shows regions of stability (blue) based on and :
The dashed diagonal red line indicates symmetric configurations where (so ). Some typical stable configurations for spherical resonators are shown below:
A resonator is symmetric if . A symmetric confocal resonator has (focal points of mirrors coincide at cavity centre). A symmetric concentric resonator has (centres of curvature coincide), which is conditionally stable ().
A useful geometric stability test (attributed to Boyd and Kogelnik) relates to the overlap of the regions "covered" by each mirror as seen from the focal point of the other mirror. A more common statement is that a cavity is stable if the mirrors "see" each other through their focal points, meaning the focal point of one mirror lies within the cavity as seen from the other, and vice versa for certain configurations.
For a stable resonator, the self-consistent q-parameter implies that the wavefront curvature of the Gaussian beam matches the curvature of the mirror at each mirror surface. For mirror 1 (the reference plane for the round trip), . The q-parameter solution gives . The position of the beam waist (relative to mirror 1, say) and the Rayleigh range can also be determined:
7.1.1 Symmetric Spherical Mirror Resonators
Consider the important case of a symmetric resonator where . The stability criterion becomes . Since , this simplifies to , which means (and ). This implies .
For this symmetric case, the beam waist is at the centre of the cavity ( from either mirror). We additionally obtain:
The beam radius is minimal () at the centre. It is largest on the mirrors for or . For the confocal case ():
7.2 Resonance Frequencies
So far, we have considered the condition that the spatial envelope of a Gaussian beam must be self-replicating after one round trip. This extends to the full electric field, including its rapidly oscillating phase. Recall the phase of a Gaussian beam (propagating along , waist at ) is , where is the Gouy phase.
For a self-consistent mode, the total phase change accumulated by the beam over one complete round trip must be an integer multiple of .
The phase change for propagation from mirror 1 (at ) to mirror 2 (at ) on-axis () is .
The round-trip phase change (from mirror 1, to mirror 2, back to mirror 1, without considering reflection phases at mirrors for now) is:
where . More simply, is the total accumulated Gouy phase shift over one round trip. For a stable cavity supporting Hermite-Gaussian modes or Laguerre-Gaussian modes , the resonance condition is:
where is the longitudinal mode integer, and is the single-pass Gouy phase difference between the mirrors (the values depend on waist position).
The resonance condition is , where or and is the round-trip Gouy phase.
Assuming , the resonance frequencies are:
The free spectral range (FSR) for longitudinal modes ( fixed) is . The frequencies are approximately equally spaced by , with a small shift dependent on the transverse mode orders due to the Gouy phase. This means different transverse modes generally have slightly different resonance frequencies.
7.3 Resonator Losses
Up until now, we have treated resonators as perfect, implying, for instance, that mirrors have 100% reflectivity and there are no diffraction losses. In reality, losses are always present. Imperfect reflectivity is often the dominant loss mechanism and is, in fact, desired for one mirror to act as an output coupler. Losses broaden the resonance lines.
Consider an initial on-axis electric field amplitude inside the cavity just after a reference plane. After round trips, the field amplitude becomes:
where is the net amplitude reflectivity per round trip (), and is the round-trip phase change (excluding the part). If the cavity is continuously excited (or contains a gain medium), the total stored electric field is the sum of contributions from all preceding round trips:
Using the formula for a geometric series, this sums to:
The intracavity intensity . This can be rewritten (using ) as the Airy function, similar to the Fabry-Pérot interferometer transmittance:
where (if is related to input power coupled in per round trip), and the finesse is:
The next figure shows the normalised intensity spectrum of an optical resonator:
The finesse controls the sharpness (linewidth) of the resonance peaks. Higher reflectivity (lower loss) leads to higher finesse and sharper peaks. The Full Width at Half Maximum (FWHM) linewidth of each resonance is related to the free spectral range and the finesse by:
Losses in a resonator can be characterised by an effective distributed loss coefficient per unit length. If is the round-trip path length, the round-trip power reflectivity might be modelled as (where are mirror power reflectivities).
The finesse can then be expressed in terms of total round-trip losses. If round-trip power loss is small (), then . For instance, if losses are primarily due to mirror transmission , then (for high ).
Then . This factor depends on whether is single path or round trip in .
The quality factor of a resonator mode is defined as times the ratio of stored energy to energy lost per optical cycle of the mode frequency :
Using , we obtain:
Since (where is a large integer for optical frequencies), the ratio is typically very large. Thus, the quality factor is generally much larger than the finesse for optical resonators.