Convergence of the solutions of the discounted equation: the discrete case

We derive a discrete version of the results of Davini et al. (Convergence of the solutions of the discounted Hamilton-Jacobi equation. Invent Math, 2016). If M is a compact metric space, a continuous cost function and , the unique solution to the discrete -discounted equation is the only function such that We prove that there exists a unique constant such that the family of is bounded as and that for this , the family uniformly converges to a function which then verifies The proofs make use of Discrete Weak KAM theory. We also characterize in terms of Peierls barrier and projected Mather measures.