On convergence of tracking differentiator

The tracking differentiator was first proposed by Han in 1989 and the proof of convergence was presented the first time in Han and Wang (Han, J.Q., and Wang, W. (1994), 'Nonlinear Tracking-differentiator', Journal of Systems Science and Mathematical Science, 14, 177-183 (in Chinese)). Unfortunately, the proof there is incomplete. This problem has been open for over two decades. In this article, we give a rigorous proof under some additional conditions. An application for online estimation of the unknown frequencies for the finite sum of the sinusoidal signals is presented. The numerical simulations illustrate the effectiveness of the estimation for both linear and nonlinear tracking differentiators.