The Bump-Ng theorem states that the zeros of the Mellin transforms of the even-indexed Hermite functions
defined below all have real part 1/2. Let be the
th Hermite polynomial,
and define the scaled Hermite functions
Their Mellin transforms on are
Thus, for even ,
every zero
of
satisfies
.
Bump and Ng (1986) proved this result. Bump et al. (2000, p. 2) included
odd
,
following an observation by Vaaler.