1: \begin{abstract}

2: 

3: In this paper, we introduce a discrete version of the nonlinear implicit Lax-Oleinik operator as studied for instance in \cite{WWY}. We consider the associated vanishing discount problem with a non-degenerate condition and prove convergence of solutions as the discount factor goes to $0$. We also discuss the uniqueness of the discounted solution. This paper can be thought as the discrete version of \cite{CFZZ}, and a generalization of \cite{DFIZ} and \cite[Chapter 3]{Z}. The convergence result is a selection principle for fixed points of a family of nonlinear operators.

4: 

5: \keywords{Mather measures, Weak KAM theory, Discretization.}

6: \end{abstract}

7: