The theory of Tikhonov regularization for Fredholm equations of the first kind