Convergence of functions of self-adjoint operators and applications