β: This English translation is in beta — the Traditional-Chinese original is the authoritative version.
Leeson Model Derivation and ISF Comparison
Prerequisites / See also: tank_Q_and_energy_restoration (the energy definition of , why the tank shapes ), psd_phase_noise_jitter ( thermal noise and PSD basics), white_noise_to_phase_noise (the ISF-version derivation) | Next: symmetry (using symmetry to suppress the corner), references (external literature [E1])
Before Hajimiri–Lee's ISF theory ([P1], 1998) appeared, engineers estimated oscillator phase noise using the Leeson model (1966). It is a semi-empirical formula: the physical skeleton (tank filtering + feedback) is correct, but it packs in a noise factor that is "unknown where it comes from — has to be fit from measurement." This page derives Leeson from scratch, then maps it term by term onto the closed-form ISF result — you'll see that ISF theory "explains why Leeson looks the way it does, and replaces that mysterious with a computable physical quantity."
Honesty note (read first): the Leeson model comes from [E1] D. B. Leeson, "A Simple Model of Feedback Oscillator Noise Spectrum," Proc. IEEE, vol. 54, no. 2, pp. 329–330, Feb. 1966, not among the five source PDFs downloaded for this site. This page relies only on standard-literature knowledge for background and comparison; the volume/issue/pages/DOI have been verified online (DOI 10.1109/PROC.1966.4682); (noise figure) is inherently an empirically fitted parameter of the Leeson model (implementation-dependent), not a fixed constant. By contrast, the ISF formulas in the right half of this page ([P1] Eqs.(21),(23),(24)) are authoritative, verified expressions from within the five source PDFs.
This page answers:
- Physically, where does each term of the Leeson expression (floor, , ) come from?
- Why are the slopes and , and where is the corner?
- Which ISF quantities do Leeson's , , correspond to? Which ones does ISF explain more clearly?
Physical intuition (conclusion first): Leeson treats the oscillator as "a feedback system continuously fed by thermal noise and narrowband-filtered by a high- tank." Three things stack up: (1) the amplifier/tank injects a white noise floor (); (2) because it is an autonomous oscillator, phase perturbations near the carrier have no restoring force, so the closed loop multiplies the noise by a "phase-integration" transfer function, producing the skirt; (3) the device's flicker noise gets upconverted by one more order, producing the closest to the carrier. ISF theory tells the same three-part story, only it replaces with , and replaces with a physical quantity computable from .
The full formula (state it first, then derive step by step)
Leeson model (spec 10.2, external literature, not one of the five PDFs):
Symbols: = amplifier noise figure (empirical quantity, dimensionless); = Boltzmann constant (J/K); = temperature (K); = oscillation signal power (W); = tank quality factor (dimensionless); = carrier angular frequency (rad/s); = offset angular frequency (rad/s); = flicker corner (rad/s).
Below, the three factors inside the brackets are derived one at a time.
Step 1: tank thermal noise — the noise floor
Treat the oscillator as a "feedback loop of amplifier + resonant tank." The thermal-noise source in the loop is the tank's loss resistance (parallel-equivalent), whose single-sided thermal-noise voltage PSD (Johnson–Nyquist) is:
- Physics used: resistor thermal noise (standard result; see psd_phase_noise_jitter).
- Dimension check: , ✓.
The amplifier itself also adds noise; the whole thing is lumped into a single noise figure (which packages "actual total noise" over "input thermal noise alone" into one ratio). Normalizing the noise power against the carrier power gives the phase-noise floor near the carrier:
- is Leeson's "empirical escape hatch": it absorbs all the noise that isn't explicitly modeled (amplifier, conversion loss, cyclostationary effects, ...) into a single measurement-fit number. This is exactly what ISF later replaces (see Step 5's comparison).
- Where the 2 comes from: this is a bookkeeping convention of the Leeson model (not the only way to write it — it varies by reference). Physically there are actually two factors, pulling in opposite directions: (1) AM/PM equipartition — thermal noise perturbs amplitude and phase simultaneously, and phase gets only half the power (); (2) single-sideband (SSB) accounting converts double-sided power to single-sided (). The two cancel, so the "cleanest" way to write the floor is actually ; writing it as leaves the SSB convention explicit in the leading constant without folding the AM/PM into . This is the same kind of SSB/double-sided bookkeeping difference as [P1] Eq.(21)'s vs. the time-domain (see the factor-of-2 discussion in white_noise_to_phase_noise). ( is an empirically fitted parameter, and the leading constant varies slightly by reference — this is precisely what ISF later replaces with .)
- Dimension check: ✓ ( is relative power per hertz, dBc/Hz).
Step 2: narrowband filtering by the high- tank → the skirt
The tank is a narrowband filter. Near the carrier, at offset , the phase/amplitude response slope of the parallel RLC is set by . The standard result: the (half-power) transfer of the tank at offset can be written as
- The physics of : = "how sharp the resonance peak is" = stored/dissipated energy ratio per cycle . The higher the , the narrower the tank bandwidth, the steeper the phase slope, and the stronger the suppression of offset noise.
- Why (i.e., dB/dec): an autonomous oscillator's phase is a neutral direction (no restoring force, echoing in derivation_floquet_ppv). The closed loop is equivalent to one integration of the phase perturbation, which in the frequency domain is ; squaring for power gives . This is the fundamental reason phase noise must be in the mid-band, slope dB/dec — it shares the same origin as ISF's ([P1] Eq.(21)).
- Dimension check: is dimensionless (rad/s ÷ rad/s) ✓, so the whole transfer is dimensionless.
Multiplying Steps 1 and 2 (floor × tank shaping) gives the first two terms in the brackets:
- The in "" is the white noise floor (dominant at far offset, flat); is the skirt (dominant near the carrier). Where the two are equal is the corner where floor, .
Step 3: device flicker → the region closest to the carrier
The device's low-frequency (flicker) noise gets "upconverted" near the carrier by the oscillator's nonlinearity, and after the phase integration of Step 2, becomes a steeper than . Leeson attaches it with a multiplicative factor:
- When : this factor , flicker is invisible, leaving just and the floor.
- When : this factor , which further multiplies the from Step 2 → total , i.e., , dB/dec.
- is the "flicker corner of the phase noise", not the device's own corner. Leeson never explains what determines it — this is exactly the key physics ISF fills in (Step 5, [P1] Eq.(24)).
- Dimension check: dimensionless ✓.
Multiplying all three terms gives the full Leeson formula from the top. Three slope segments: floor (flat) → ( dB/dec) → ( dB/dec), from far to near.
Step 4: Leeson vs ISF overlay
Plotting the Leeson formula and the ISF result ([P1] Eqs.(21),(23),(24)) on the same log–log axes, the three segments (, , floor) overlap — the two models describe the same curve, just with different physical meanings assigned to the parameters:

- Formula correspondence: left half is the Leeson expression from the top (external literature); right half is [P1] Eq.(21) (), Eq.(23) (), Eq.(24) ( corner).
- script / function:
simulations/lab_16_leeson_vs_isf.py(main), corresponding toleeson_vs_isf_overlay.pngin the spec 10.1 table (lab_16). This is a pedagogical toy model, not transistor-level; the Leeson curve is drawn illustratively for the segment using functions likeleeson_one_over_f2fromsimulations/common/noise_utils.py, and the constants used to stitch the three segments are for teaching illustration only. - How to read it: the two curves are exactly parallel in the mid-band region (both slope dB/dec, since both come from "phase integration "); near the carrier both turn into ; far out both flatten to the floor. The only difference is where the corner falls and the absolute level — which is set by the parameter correspondence, see below.
- Note: in the overlay, the Leeson segment's and the ISF segment's are illustrative teaching values (lab_16 parameters), used to show the three-segment slope overlap, not measurements of a specific circuit.
Step 5: term-by-term comparison (Leeson ↔ ISF)
This is the core of this page. Putting the corresponding terms of both models side by side:
| Segment | Leeson (empirical, [E1] 1966, not one of the five PDFs) | ISF ([P1] 1998, within the five PDFs) | Correspondence and where "ISF is clearer" |
|---|---|---|---|
| shaping | ([P1] Eq.(21)) | Both give . Leeson's ↔ ISF's (including carrier/noise-power normalization). ↔: high = low = low phase noise. | |
| Noise source/level | , empirically fit | paired with (including cyclostationary) | Empirical vs ISF physical: Leeson's is "you only know it once you measure it"; ISF splits it into a computable device noise PSD × , which can even fold in cyclostationary gating (see effective_isf). |
| corner | (Leeson never says what sets it) | ([P1] Eq.(24)) | ISF's signature insight: the corner is not equal to the device's own corner , but is scaled by . Waveform symmetry → → corner pushed far below . Leeson gives no visibility into this design lever at all. |
Key comparisons expanded:
(a) . Both are "the efficiency with which noise is converted into a phase skirt." Leeson says "higher is better"; ISF says "smaller is better." But ISF is more general: it also holds for ring oscillators with no high- tank (a ring has no to speak of, but does have ; see lab_03). This is the first way ISF goes beyond Leeson.
(b) Empirical vs ISF physical. Leeson's is a black box: you must first build the oscillator, measure the phase noise, and back out , before you can "predict" with the model — which is really post-hoc fitting, not prediction. ISF writes the same level as ([P1] Eq.(21)), where every quantity can be computed ahead of time from the device model and waveform, and cyclostationary behavior (device leaking noise only at certain phases) can be folded in via — this is exactly why the Colpitts's "effective " is much lower than a naive Leeson estimate (see effective_isf).
(c) corner. Leeson simply takes as an input parameter, effectively admitting "I don't know where it comes from." Early engineering practice even mistook it for the device's own corner. ISF's [P1] Eq.(24) settles it: — it is set by the ISF's DC coefficient (waveform symmetry). Making rise/fall symmetric → → the corner drops sharply → near-carrier phase noise falls substantially. This is a design rule Leeson simply cannot give, and it is the theoretical basis for [P2]'s use of symmetry to suppress ring phase noise (see symmetry, flicker_noise_upconversion).
Numerical example (building intuition)
Example ( corner comparison): take a device corner MHz ( rad/s). Compare the phase-noise corner of a "symmetric" vs. an "asymmetric" waveform.
ISF's [P1] Eq.(24): , take .
- Asymmetric waveform (large , set ):
That is, kHz — the skirt extends far from the carrier.
- Symmetric waveform (small , set , 10× smaller):
That is, kHz — the corner drops 100× (because is squared: a 10× reduction in → 100× reduction in the corner).
- Dimension check: is dimensionless, dimensionless rad/s ✓.
- Intuition: Leeson treats as "fixed by nature"; ISF tells you it is a knob the designer can turn by two orders of magnitude via symmetry. This is ISF's practical value.
One-line Python verification (corner ratio):
import numpy as np
from simulations.common.isf_utils import gamma_rms
# Ratio of the 1/f^3 corner for a symmetric vs asymmetric waveform = (c0_asym/c0_sym)^2
c0_asym, c0_sym, Gamma_rms = 0.4, 0.04, 0.5
w1f = 2*np.pi*1e6
corner_asym = w1f * c0_asym**2 / (2*Gamma_rms**2)
corner_sym = w1f * c0_sym**2 / (2*Gamma_rms**2)
print(corner_asym/(2*np.pi)/1e3, "kHz ;", corner_sym/(2*np.pi)/1e3, "kHz")
# -> ~320.0 kHz ; ~3.2 kHz (a symmetric waveform pushes the 1/f^3 corner down 100x)
(For gamma_rms and related library functions, see simulations/common/isf_utils.py; this example computes the corner directly by hand from [P1] Eq.(24).)
Applicability and failure conditions
| Condition | When Leeson holds | What happens when it fails |
|---|---|---|
| High- resonant tank present | shaping is accurate | No- topologies like ring don't apply → use ISF's instead |
| obtainable by measurement fit | Curve can be fit post-hoc | Want to predict ahead of time or decompose the physics → must use ISF ( is a black box) |
| known | segment matches | Want to know what sets the corner / how to suppress it → ISF Eq.(24) (, symmetry) |
| Linear/weakly nonlinear, additive noise | Three-segment model suffices | Strongly cyclostationary → only ISF's gets it right |
Corresponding papers/equations
- The Leeson model itself: [E1] D. B. Leeson, Proc. IEEE 54(2):329–330, Feb. 1966 — not among the five downloaded source PDFs; volume/DOI verified (10.1109/PROC.1966.4682, see [E1] in references); this formula is the standard Leeson form ( is an empirical noise factor, leading constant varies slightly by reference).
- ISF comparison equations (within the five PDFs, verified): [P1] Eq.(21), p.185; [P1] Eq.(23), p.185; corner [P1] Eq.(24), p.185; device flicker [P1] Eq.(22), p.185.
- Cyclostationary (explaining "effective "): [P1] Eqs.(25)–(27), p.186 (see effective_isf).
- Overlay plot:
/figures/leeson_vs_isf_overlay.png,simulations/lab_16_leeson_vs_isf.py(spec 10.1, lab_16).
Key takeaways
- Leeson (1966, external, not one of the five PDFs) = a semi-empirical three-term expression: .
- Three segments: white-noise floor () → tank-shaped ( dB/dec, from phase integration ) → flicker-upconverted ( dB/dec).
- Term-by-term correspondence: (high = low ); empirical black-box ↔ ISF's computable (including cyclostationary); mysterious parameter ↔ [P1] Eq.(24), set by (symmetry).
- ISF's three big advances: (1) also holds for no- rings; (2) computable ahead of time, not fit-dependent; (3) turns the corner into a design knob that symmetry can move by two orders of magnitude.
- The two models overlap on all three segments in a log–log plot (
leeson_vs_isf_overlay.png) — the same curve, different physical languages.
Further reading
- white-noise derivation (ISF version): white_noise_to_phase_noise
- flicker upconversion and corner: flicker_noise_upconversion
- How symmetry suppresses : symmetry
- "Effective " and cyclostationary: effective_isf
- PSD / phase noise / jitter basics: psd_phase_noise_jitter
- Rigorous foundation (PPV/Floquet): derivation_floquet_ppv
- Full bibliography and external citations ([E1]): references