and
to the Laplace transform of their ambiguity function
. This lemma is used to derive necessary conditions for
and
from two bounds on the behavior of
, at infinity. In particular, if the first bound is fulfilled, then
and
must be integral analytic functions. If both bounds are fulfilled, then
and
are each equal to
times a polynomial in
, and the two polynomials can be found from
by comparing coefficients.