On Bochner's Almost-periodicity criterion
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.