Jan Janas (IM PAN, Warszawa), Własności spektralne nieskończonych macierzy Jacobiego