We propose a family of smooth explicit Lyapunov functions (LF) for Levant's differentiator, which is a discontinuous real-time robust and exact differentiator. These LF allow the analysis of the convergence and performance properties and the design of appropriate gains for the differentiator.