A study of Tate homology via the approximation theory with applications to the depth fomula