I mean the difference operator kind of forces the potential field to have 'derivatives' between -K and K inclusive right? That makes it Lipschitz by definition.