Local regularity estimates for general discrete dynamic programming equations
We obtain an analytic proof for asymptotic Hölder estimate and Harnack's inequality for solutions to a discrete dynamic programming equation. The results also generalize to functions satisfying Pucci-type inequalities for discrete extremal operators. Thus the results cover a quite general class of equations.