Well-posedness of second order evolution equation on discrete time