Bochner’s theorem and Stepanov almost periodic functions

Motivated by a renewed interest in generalizations of classical almost periodicity (originally due to Harald Bohr), we develop a theorem of Bochner within the framework of almost periodic functions in the sense of Stepanov. As a result we establish some conditions that guarantee the existence of Stepanov almost periodic solutions to differential equations with Stepanov almost periodic coefficients. Finally, we extend a now classic theorem of Favard originally stated for classical almost periodic functions to the Stepanov almost periodic case.