  We discuss the envelope modulation assumption of frequency-domain models of
traveling wave tubes (TWTs) and test its consistency with the Maxwell
equations. We compare the predictions of usual frequency-domain models with
those of a new time domain model of the TWT.
