Gaussian Beams
A laser does not emit a plane wave, and it does not emit light from a point — it emits a Gaussian beam, a self-consistent bundle whose transverse profile stays Gaussian no matter how it is focused, expanded, or left to spread. That shape is not imposed by hand: it is the lowest-order solution of the paraxial Helmholtz equation, the approximation to the wave equation valid whenever a beam's angular spread is small. This article consumes that paraxial result directly. Write the field as a slowly varying envelope on the fast carrier , demand that the envelope stay confined about the axis, and the Gaussian falloff drops out automatically — together with a wavefront that flattens at the waist and curves as the beam expands. Being the smoothest, lowest-loss field a resonator can hold, this mode is also a laser cavity's natural output. Two length scales run the whole show. The waist is the beam's narrowest radius; the Rayleigh range is the distance over which it stays roughly collimated before diffraction opens it into a cone of fixed half-angle . Their product is an invariant — you cannot make a beam both tightly focused and weakly diverging. All of this collapses into one complex number, the beam parameter , whose real part tracks distance from the waist and imaginary part fixes the spot size, and which propagates through any lens or gap by the same ABCD matrix that carries geometric rays.
- A Gaussian beam is the fundamental TEM solution of the paraxial wave equation: its amplitude falls as and its intensity as .
- Two numbers fix everything — the waist and the wavelength — giving the Rayleigh range , the curvature , the divergence , and the Gouy phase.
- The spot expands hyperbolically, , opening into a far-field cone of half-angle ; the invariant is diffraction made quantitative.
- Passing through a focus the beam slips an extra of Gouy phase, , relative to a plane wave — the shift that separates transverse cavity resonances.
- Key idea: a Gaussian beam is completely specified by the complex parameter — its imaginary part fixes the beam size, its real part fixes the wavefront curvature — and transforms through any paraxial system by the same ABCD matrix that propagates rays.
A Gaussian beam is completely specified by the complex parameter : its imaginary part fixes the beam size and its real part fixes the wavefront curvature, and transforms through any paraxial optical system by the same ABCD matrix that propagates rays.
Where this lives today
Every kilometre-scale gravitational-wave interferometer is, at bottom, an exercise in Gaussian-beam propagation. In LIGO and Virgo the laser field circulates in Fabry–Pérot arm cavities several kilometres long, and the beam must be mode-matched to each cavity's Gaussian eigenmode to a fraction of a percent — a mismatch dumps power into higher-order Hermite–Gaussian modes and spoils the strain sensitivity. Designers set the arm-cavity mirror radii to place a waist of a few centimetres, spreading the spot to sample a large mirror area (lowering thermal noise) without clipping the optics, and track the Gouy phase between components because it governs how alignment jitter couples into the readout. The same calculus, scaled down, runs through optical tweezers trapping a single cell, the femtosecond-laser cutting of LASIK surgery, satellite laser links whose beam expanders trade waist for divergence, and the fibre-coupling lenses on every photonics bench. Wherever coherent light is focused, guided, or resonated, the -parameter and the law are doing the design.
The physical picture
Start at the waist, where the wavefronts are flat and the beam is at its narrowest radius . Diffraction will not let a field confined to width stay confined: it must acquire an angular spread of order and open up. The tighter you squeeze the waist, the more violently it fans out — a small buys a short collimated region and a wide cone, a large the reverse. The crossover, where "collimated" turns into "diverging," is the Rayleigh range : the beam holds together over roughly about the waist and beyond expands linearly into a cone. The first figure draws this envelope for a real helium–neon beam and marks the three numbers a designer reads off it.
Now cut across the beam at fixed . The intensity is a bell curve, , and the "radius" is fixed by a convention worth memorizing: is where the intensity has fallen to of peak (where the amplitude reaches ). That circle encloses of the total power. Beware the competing convention: the full width at half maximum is narrower, , and mixing the two silently corrupts every downstream number. The second figure carries all three markers.
Two mental moves generate every optical system. Free propagation adds real distance, : the beam grows, the wavefront curves, the waist recedes behind you. A thin lens leaves the beam size unchanged but bends the wavefront, . Everything else — telescopes, focusing systems, mode-matching — is a composition of these two moves, which is why the ray matrices of geometric optics propagate Gaussian beams unchanged. Threaded through it all is the Gouy phase: gliding through its focus the beam slips an extra half-turn, a full relative to a plane wave, shifting the resonance frequencies of a cavity's transverse modes.
The core equations
The fundamental mode is one field expression carrying four ingredients: a Gaussian amplitude envelope, a peak that shrinks as the beam spreads (conserving power), a curved-wavefront phase, and the Gouy correction. Everything downstream is read off this line one factor at a time.
where: — amplitude at the waist centre; — radial distance from the axis; — axial coordinate, waist at ; — -intensity radius; — wavefront curvature radius; — Gouy phase; . The real Gaussian confines the light; the prefactor dims the peak as the beam widens; the term is the parabolic approximation to a spherical wavefront. Detectors respond to intensity, so square the amplitude. The shape stays Gaussian but with a factor of two in the exponent, and the on-axis peak drops as as the same power spreads over a larger area.
where: — peak on-axis intensity at the waist; — total power; the factor comes from . Integrating over the plane fixes ; at the intensity is , and the disc holds of . The single most important propagation law is how the spot grows with distance — a hyperbola, nearly constant near the waist and asymptotically linear far away. The whole curve is set by and one derived scale.
where: — minimum spot radius (waist); — Rayleigh range, where . Near the waist ; far away it is linear, . That scale is the Rayleigh range, the axial distance over which the beam stays effectively collimated. It grows as the square of the waist, so doubling quadruples the collimated region — the most useful trade in beam design.
where: — wavelength in the medium; — confocal parameter, or depth of focus. At the cross-sectional area has doubled; a tighter waist buys a shorter, less forgiving focal region. The same complex solution that gives also gives the wavefront curvature and Gouy phase. The curvature is infinite (flat) at the waist, passes through a minimum radius at the Rayleigh point, then straightens toward far away, as if radiating from the waist.
where: — wavefront radius, at the waist and far away; — Gouy phase, running to for a total shift of across the focus. Higher Hermite–Gaussian modes carry an enlarged term that spectrally separates them. Far from the waist the hyperbola becomes a cone whose half-angle is the far-field divergence. Multiplying by the waist gives a constant fixed by wavelength alone — the diffraction limit as an invariant.
where: — half-angle divergence to the radius, valid only in the far field . With the product pinned to , tight focus and low divergence are irreconcilable — you trade one for the other but never beat their product. Finally, all of this — , , and their evolution — packages into one complex number whose reciprocal splits into curvature and size, the object that makes beam design a matrix computation.
where: — complex beam parameter; — signed distance from the waist; — the invariant Rayleigh range; — ray matrix. Free space gives , a thin lens gives , and any cascade is the matrix product applied by the same bilinear rule.
The goal is to show that the Gaussian beam is not an ansatz plucked from a hat but the forced consequence of the paraxial approximation, and that the complex parameter appears the moment you insist on a solution with a quadratic-in- phase. We start from the Helmholtz equation, strip off the fast axial oscillation to expose a slowly varying envelope, feed in the simplest phase that can carry both curvature and confinement, and let the equation dictate how it evolves. What emerges is and, from its real and imaginary parts, every quantity in the core-equations section.
Step 1. Write the field as an envelope on a carrier, , substitute into the Helmholtz equation , and drop the second axial derivative because the envelope changes slowly over a wavelength. This leaves the paraxial equation . Why: discarding is the entire paraxial approximation — it is legitimate precisely when the beam's angular spread is small, the same condition that makes .
Step 2. Try the ansatz , a phase quadratic in with two unknown functions: a purely axial piece and a complex multiplying . Why: a complex coefficient on is the minimal object that can be a real curvature and an imaginary Gaussian width at once — the real part becomes , the imaginary part becomes the confinement.
Step 3. Insert the ansatz and collect powers of . The terms force , so , while the terms give . Choosing puts the waist at and makes . Why: the choice is what makes the envelope finite and Gaussian at rather than singular; a real would place the waist elsewhere or describe a diverging spherical wave.
Step 4. Read off physics by separating , which delivers and exactly as quoted, while integrating produces both the amplitude prefactor and the Gouy phase . Why: this is the payoff — one complex simultaneously encodes the two real observables a lab measures, the spot size and the wavefront curvature, and the leftover axial integral is exactly the anomalous Gouy shift.
Go deeper · Derivation B · 1 minFocusing a collimated Gaussian beam with a thin lens
The goal is the single most-used result in laser engineering: where a lens brings a beam to its tightest point and how small that point can be. We treat an incoming beam whose own waist sits at the lens, so its parameter there is purely imaginary, with . We apply the lens as a curvature kick, propagate to where the wavefront flattens again, and identify the new waist. The lesson — smaller spot demands a larger input beam and shorter focal length — governs laser cutting, two-photon microscopy, and optical trapping alike.
Step 1. Apply the lens: . The real part jumps from zero to , but the imaginary part is untouched, so the beam size at the lens plane is exactly what it was. Why: a thin lens is infinitely thin, so it cannot resize the beam where it sits — it can only stamp a new curvature onto the wavefront, which is the whole content of .
Step 2. Propagate a distance past the lens, , and locate the new waist by demanding a flat wavefront there, . Solving gives , which tends to whenever . Why: the waist is by definition where the curvature is infinite, i.e. where ; for a well-collimated input the focus therefore lands essentially in the focal plane, matching the geometric-optics expectation.
Step 3. Read the new Rayleigh range from the imaginary part, , and convert to a spot size through . In the collimated limit this collapses to . Why: the focal spot shrinks with a bigger input beam and a shorter lens because both raise the numerical aperture — the same diffraction bookkeeping that pins reappears as the focusing formula.
Go deeper · Derivation C · 1 minSelf-consistent mode of a two-mirror resonator
The goal is to explain why a laser emits a Gaussian beam at all: the resonator selects it. A field survives many round trips between two curved mirrors only if it reproduces itself — same spot, same curvature — after a full loop, its wavefronts arriving at each mirror already matched to that mirror's curvature so they reflect straight back. We turn "reproduces itself" into a fixed-point condition on , find that a real Rayleigh range exists only inside a bounded region of mirror geometries, and recover the stability criterion and the mode's waist — the bridge from beam optics to real cavity design and mode matching.
Step 1. Impose round-trip self-consistency: with the cavity's round-trip ray matrix , the mode must satisfy , a quadratic in . Why: an eigenmode is a field the cavity leaves unchanged up to a phase and loss, so its must be a fixed point of the round-trip transformation — anything else reshapes on each pass and eventually walks off the mirrors.
Step 2. Solve the quadratic and demand that be real and nonzero, which requires the discriminant to have the right sign. In terms of the -parameters this is precisely . Why: a real is the difference between a physically confined beam and a mode that diffracts away every pass; the condition is therefore literally the boundary between a working laser and a lossy one.
Step 3. With a stable geometry, back out the waist size and location, , and . Why: these tie the beam parameter to hardware — mirror radii and spacing — so matching an external beam's to the mode's becomes the recipe for coupling light into the cavity.
Limiting cases
The propagation law and its partners collapse into simple, memorable behaviour in each regime.
| Case | Result | Meaning |
|---|---|---|
| Near field, | , | Nearly collimated with flat wavefronts; the beam mimics a plane wave over the depth of focus . |
| Rayleigh point, | , (minimum) | Spot area has doubled and the wavefront curvature is tightest — the boundary between near and far field. |
| Far field, | , | Linear expansion into a fixed cone; wavefronts are essentially spherical, centred on the waist. |
| Plane-wave limit, | , | Infinite waist gives infinite Rayleigh range and zero divergence — the ideal plane wave, physically unattainable. |
| Point-source limit, | , | Vanishing waist diverges instantly — diffraction's opposite, equally idealized, extreme. |
Worked examples
1 · Focusing a Nd:YAG beam for laser machining (confidence builder)
A Nd:YAG laser at has a collimated beam of waist radius striking a lens of focal length . Find the focal spot radius, the depth of focus, and the peak intensity at focus.
Step 1. Check the input is well-collimated over the lens. Its Rayleigh range dwarfs by over two orders of magnitude, so applies and the focus sits essentially in the focal plane.
Step 2. Focal spot: , so the beam focuses to — roughly ten wavelengths across.
Step 3. Depth of focus: , i.e. — the axial window over which the cut stays sharp. Peak intensity: . A modest becomes metal-vaporizing purely by concentration into an waist.
2 · Rayleigh range, divergence, and far-field size of a HeNe beam
A helium–neon laser at has a waist . Find its Rayleigh range, far-field divergence half-angle, and beam radius downstream.
Step 1. Rayleigh range: — collimated over roughly a metre either side of the waist.
Step 2. Divergence: — a far-field number, not to be applied inside the first .
Step 3. At , well beyond , use the full law: . The spot radius is about (diameter ) — the waist has grown eightfold, matching the far-field estimate .
3 · Reading the spot size off the complex parameter
A beam at has its waist at . Use the -parameter alone to find the beam radius past the waist, then confirm it against .
Step 1. At the waist is purely imaginary: , so . Free propagation adds real distance, so at , (metres).
Step 2. Invert: . The imaginary part is , so , giving .
Step 3. Cross-check with the closed form: . The two agree exactly — carries the same information as and together, but propagates through any lens or gap by simple arithmetic.
Physics of the portrait
The Gaussian beam is a nineteenth-century phase anomaly and a twentieth-century laser problem stitched into one formalism. The name attached to that stitching belongs to the engineer who showed that a beam of light and a ray of light obey the same matrices.
Origins · 1 minHerwig Kogelnik and how this was discovered
Herwig Kogelnik trained in Vienna and Oxford and spent his career at Bell Laboratories, where in the mid-1960s the newly invented laser posed a sharp question: what does a laser beam do as it propagates, focuses, and resonates between mirrors? Building on Boyd and Gordon's 1961 confocal-resonator mode analysis, Kogelnik and Tingye Li synthesized the answer in their 1966 review "Laser Beams and Resonators," one of the most cited papers in optics. Its two enduring gifts are the complex beam parameter , which fuses spot size and wavefront curvature into a single number, and the demonstration that transforms through any system by the very same matrix geometric optics uses for rays — so a diffracting Gaussian beam can be traced with the bookkeeping of ray optics. Kogelnik also formalized the mode-matching prescription for coupling an external beam into a cavity or fibre, still a daily tool of every laser laboratory. He later did pioneering work in integrated optics and holography, but the -parameter and the law remain the formalism this article is built around.
Going further
Texts. Saleh and Teich, Fundamentals of Photonics, 3rd ed., Ch. 3 (Beam Optics) · Siegman, Lasers, Ch. 16–17 (the definitive treatment of Gaussian beams and the ABCD law) · Hecht, Optics, §13 (lasers and beam propagation) · Demtröder, Laser Spectroscopy, Vol. 1, Ch. 5 (resonators and Gaussian modes) · Foot, Atomic Physics, appendix on laser beams · Kogelnik and Li, Laser Beams and Resonators, Applied Optics 5, 1550 (1966).
Provenance. The field and intensity expressions, the propagation law , the Rayleigh range , the curvature , the Gouy phase , the divergence , and the -parameter and ABCD rules follow Saleh and Teich (Ch. 3), Siegman (Ch. 16–17), Kogelnik and Li (1966), Hecht, and Demtröder. A verifier should recompute: the HeNe numbers (, , ); the Nd:YAG focusing spot , depth of focus , and peak intensity ; the -parameter cross-check ; the enclosed-power figure ; and the conversion . All values are standard textbook results; none are fabricated.
Prerequisites. Paraxial Helmholtz equation · Fourier optics and diffraction · Optical Resonators and Cavity Modes. Leads to. ABCD Matrix Beam Propagation · Transverse Cavity Modes (Hermite–Gaussian) · Resonator Stability and the g-Parameter Diagram.
Ask the tutor: ask me to trace your own beam through a lens or cavity with the -parameter, and I will walk each step and read off the waist, divergence, and depth of focus.
Why is the beam radius defined at the 1/e² intensity point
Because it is the most useful compromise and it keeps the mathematics clean. At the intensity has dropped to of peak, the disc inside encloses of the power, and it is the natural scale of the Gaussian itself (the amplitude is there) — so genuinely marks "where the beam is." The competing full-width-at-half-maximum measure is narrower, , and common in spectroscopy, so always check which convention a datasheet means before plugging into or .
What is the physical meaning of the Rayleigh range
The Rayleigh range is the distance from the waist over which the beam stays effectively collimated. At the spot has grown to , so its area has exactly doubled, and the wavefront curvature reaches its tightest value . It divides the beam into two worlds: for the beam is nearly a plane wave with flat wavefronts, and for it fans into a spherical wave at the divergence angle . The usable depth of focus is , and because , doubling the waist quadruples the collimated region — the central trade-off in every focusing decision.
How can the same ABCD matrices work for both rays and Gaussian beams
Because both are captured by a single quantity that transforms as a ratio. A ray carries a height and slope , and any paraxial element maps them linearly through its matrix, so the ratio transforms by the bilinear rule . The beam parameter plays exactly that role for a beam. Kogelnik and Li showed the correspondence is exact — free space gives , a thin lens gives , identical to the ray matrices — so you can trace a diffracting beam with the arithmetic of geometric optics.
What is the Gouy phase and why does it matter
The Gouy phase is an extra advance a focused beam gains over the plane-wave phase as it passes through its waist, running from before the focus to after — a total anomalous shift of . Physically it reflects the spread of transverse wavevectors needed to confine the beam: each off-axis component travels slightly farther, and their collective phase slips through the focus. It matters because it shifts a cavity's resonant frequencies, and because higher-order modes carry an enlarged shift that spectrally separates the transverse modes.
If I want the smallest possible focal spot, what should I change
The focusing result gives three levers: shorten the wavelength (why photolithography pushes into the ultraviolet), fill the lens with a larger input beam for higher numerical aperture (why beam expanders precede a focusing objective), and shorten the focal length. All three widen the cone of converging light, and diffraction bounds the result through . The unavoidable cost of a smaller spot is a shorter depth of focus, since .
Does the beam seeming to speed up near a focus violate anything
No. The Gouy phase makes the on-axis phase advance faster than near the focus, which can look like a superluminal crest, but a phase feature carries no information — the same subtlety that makes a phase index below one harmless. Energy and signals travel with the group and Poynting flux, which stay subluminal. The Gouy shift is a real, measurable effect — it displaces the peak on-axis field slightly from the geometric focus and shifts cavity resonances — but it describes how a confined beam's wavefronts are arranged, not anything outrunning light.