Regularization of subsolutions in discrete weak KAM theory
  We expose different methods of regularizations of subsolutions in the context of discrete weak KAM theory. They allow to prove the existence and the density of $C^{1,1}$ subsolutions. Moreover, these subsolutions can be made strict and smooth outside of the Aubry set. 
Patrick Bernard and Maxime Zavidovique
math.AP