Before revision:  We prove the convergence of an efficient numerical algorithm that we use to study the problem.
After revision:  The value is characterized as the fixed point of an optimal control problem with periodic initial and terminal conditions. We prove the regularity and uniqueness of the corresponding dynamic programming equation, and the convergence of an efficient numerical algorithm that we use to study the problem.