Almost every trap below is really the same claim in disguise: what happens to thrust when you add a sliver of exit area? So we do it once, carefully, and then just point back here.
Read the sign of that box — this is the whole topic:
pe>pa (under-expanded): dF>0, more area still helps → nozzle too short (ε too small).
pe<pa (over-expanded): dF<0, more area hurts → nozzle too long (ε too big), separation looms.
pe=pa (matched): dF=0 → peak thrust.
The graph of that trade — thrust rising, cresting at match, then falling — is the mental picture behind every "always?" trap:
And the reason ε has two possible Mach numbers is the shape of the area–Mach curve itself:
A fixed nozzle is optimally expanded at exactly one altitude.
True — ε is rigid so pe is essentially fixed, but pa falls with height; only one altitude satisfies pe=pa, the optimum condition.
If a nozzle is over-expanded, making it longer (bigger ε) would help.
False — over-expanded means pe<pa, so by the boxed rule dF=(pe−pa)dAe<0; each extra sliver of Aesubtracts thrust and worsens separation.
A larger area ratio always gives a larger exit velocity ve.
True as stated — more diverging area expands the gas further, converting more thermal energy to kinetic, so ve rises monotonically with ε.
Because ve rises with ε, thrust also always rises with ε.
False — momentum thrust m˙ve rises, but the pressure term (pe−pa)Ae eventually goes negative and overwhelms the gain; total thrust peaks at pe=pa (the crest in figure s02), not at ε→∞.
At the optimum pe=pa, the pressure-thrust term contributes zero.
True — (pe−pa)Ae=0 exactly at match, so all thrust is momentum thrust; the optimum is where the pressure term stops helping and hasn't yet started hurting.
The throat area A∗ is the widest point of a de Laval nozzle.
False — A∗ is the narrowest (minimum) area, where the flow chokes at Mach 1; the nozzle then re-widens downstream (see figure s01).
In vacuum (pa=0) there is no finite optimum ε.
True — matching would require pe=0, i.e. infinite expansion; real vacuum nozzles just use the largest ε that weight, length, and boundary-layer limits allow.
A sea-level engine should use a larger ε than an upper-stage engine.
False — sea level has high pa, so optimum pe is high, needing less expansion → smaller ε; upper stages get the big ε.
"To maximize thrust we should expand the gas until pe=0, since that maximizes exit velocity."
The error is ignoring the pressure term: as pe falls below pa the flow over-expands, (pe−pa)Ae turns strongly negative, and separation can occur. Max thrust is at pe=pa, not pe→0.
"The area–Mach relation gives ε, so from ε I read off the exit Mach directly."
The relation is non-monotonic (figure s03): every ε>1 has two roots, one subsonic and one supersonic. Downstream of the throat the flow is supersonic, so you must take the Me>1 root.
"The nozzle expands the gas until pe equals whatever pa is outside — that's why it self-adjusts."
A rigid nozzle does not self-adjust; ε fixes the expansion so pe is set by geometry and chamber conditions, independent of pa. The gas does not "know" the outside pressure until it exits.
"Over-expansion just wastes a little thrust — otherwise harmless."
It can trigger flow separation: the boundary layer detaches inside the diverging cone, causing side loads, asymmetric thrust, and possible structural damage — see Flow Separation in Over-expanded Nozzles.
"Since thrust drops when over-expanded, an over-expanded nozzle produces less thrust than the same gas with no diverging section at all."
Not necessarily — even over-expanded, the diverging section still boosts ve well above the throat value; the penalty is only relative to the matched-ε ideal, not relative to no nozzle.
"ε=Ae/A∗ and ε=A∗/Ae are the same idea flipped, so either works."
No — the accepted definition is exit over throat, and it is always >1 for a supersonic nozzle. Flipping it gives a number below 1 and inverts every trend, so the convention matters.
Why does perfect expansion depend on altitude at all, if the nozzle geometry never changes?
Because the optimum condition is pe=pa, and pa shrinks with altitude while the geometry-fixed pe stays put — so the match point moves even though the hardware doesn't.
Why is the optimum criterion pe=pa and not, say, maximum ve?
The boxed derivation gives dF=(pe−pa)dAe; setting this to zero yields pe=pa. Maximum ve ignores the pressure term entirely, which is what makes it wrong.
Why does the same area ratio correspond to both a subsonic and a supersonic Mach number?
The 1/M front factor in the area–Mach relation makes A/A∗decrease then increase as M passes through 1 (figure s03), so a given area is hit once on the way up and once on the way down — two Machs, one ε.
Why does a vacuum or upper-stage engine need such a huge ε (tens to hundreds)?
With pa near zero, optimum pe must also be tiny, and reaching a tiny exit pressure requires enormous expansion — which the area–Mach relation delivers only at very large ε. See Specific Impulse Isp for the payoff.
Why can't one fixed nozzle be optimal across a whole ascent from sea level to space?
Because pa sweeps from ~1 bar to ~0 during the climb, but a rigid ε fixes pe; a single geometry can match only one point, motivating designs like Altitude Compensation — Aerospike Nozzles.
Why is the flow "choked" at the throat, and why does that matter for ε?
At the throat the flow reaches M=1 (sonic), the maximum mass flux the throat area can pass — see Choked Flow and the Throat Condition. That fixes A∗ as the reference, making ε a clean measure of how far past sonic the exit is.
Why do we treat chamber conditions and m˙ as fixed when deriving the optimum?
To isolate the geometric trade: chamber and m˙ are set by the plumbing and throat, so we vary only the exit area and let dF/dAe=(pe−pa) cleanly reveal the answer.
Why does a real nozzle stop short of "infinite ε" even in vacuum?
Because a longer, wider cone adds structural mass and length (dead weight that eats into payload), and its growing boundary layer eventually separates; the practical ε is capped by weight, packaging, and separation, not by the ideal pe=0.
At exactly pe=pa, what is dF/dAe and what does it mean physically?
It is zero — the marginal thrust from adding area vanishes, meaning we sit at the peak of the thrust-vs-ε curve (figure s02); a small ε change either way loses thrust.
What happens to the pressure thrust as the rocket climbs from its design altitude to higher altitude?
pa drops below the fixed pe, so (pe−pa)Ae becomes positive — the once-matched nozzle becomes under-expanded, and it actually gains thrust with height.
For an over-expanded nozzle at the ground, what is the sign of the pressure-thrust term, and what physical risk accompanies it?
The sign is negative (pe<pa), subtracting from thrust; the risk is flow separation inside the cone with damaging side loads.
If γ (ratio of specific heats) of the exhaust were higher, would a given pressure ratio need a larger or smaller ε?
Higher γ makes gas expand less efficiently per unit area, generally requiring a different (typically smaller) Me for the same p0/pe, changing the required ε — the exponents in the isentropic relations shift with γ.
What is the degenerate value of ε for a purely converging nozzle that just reaches sonic exit?
ε=1, since the exit is the throat (Ae=A∗) at Me=1; no supersonic expansion occurs, so it can never match a low ambient pressure.
Can a working supersonic nozzle have ε<1?
No — ε<1 would mean the exit is narrower than the throat, so there is no diverging section at all and the flow can never exceed Mach 1; supersonic exit requiresε>1, with ε=1 the sonic-only boundary.
Below the throat (converging section), which Mach root of the area–Mach relation is physical?
The subsonic (M<1) root — the flow accelerates from slow chamber gas toward sonic at the throat, only becoming supersonic afterward.
If ambient pressure momentarily rose above pe during ascent (e.g., a re-entering stage), what regime is the nozzle in?
Over-expanded (pe<pa), with negative pressure thrust and separation risk — the same regime as a sea-level over-expanded firing, just reached by raising pa instead of lowering pe.
Recall One-line summary of every trap
Verdicts are traps; reasons are truth. The optimum is pe=pa (not max ve, not pe→0); ε is fixed but pa isn't; big ε for the sky, small ε for the ground; take the supersonic root past the throat; and real ε is capped by weight and separation, not by the ideal pe=0.