  We give an extension of Bochner's criterion for the almost periodic
functions. By using our main result, we extend two results of A. Haraux. The
first is a generalization of Bochner's criterion which is useful for periodic
dynamical systems. The second is a characterization of periodic functions in
term of Bochner's criterion.

Classical Analysis and ODEs