The F. and M. Riesz theorem
asserts that every complex Borel measure on the unit circle whose Fourier coefficients
with negative index vanish is necessarily absolutely continuous with respect to
Lebesgue measure.
The purpose of this note is to give a new proof of Hartman’s theorem on compact
Hankel operators which clarifies the general context of the theorem. The proof
depends only on a few simple operator-theoretic results, Nehari’s characterization of
bounded Hankel operators, and the aforementioned theorem of F. and M.
Riesz.