Orthogonal polynomials on several intervals: accumulation points of recurrence coefficients and of zeros

Abstract

Let $E = \cup_{j = 1}^l [a_{2j-1},a_{2j}],$ $a_1 < a_2 < ... < a_{2l},$ $l \geq 2$ and set ${\boldmath$ω$}(\infty) =(ω_1(\infty),...,ω_{l-1}(\infty))$, where $ω_j(\infty)$ is the harmonic measure of $[a_{2 j - 1}, a_{2 j}]$ at infinity. Let $μ$ be a measure which is on $E$ absolutely continuous and satisfies Szegő's-condition and has at most a finite number of point measures outside $E$, and denote by $(P_n)$ and $({\mathcal Q}_n)$ the orthonormal polynomials and their associated Weyl solutions with respect to $dμ$, satisfying the recurrence relation $\sqrt{λ_{2 + n}} y_{1 + n} = (x - α_{1 + n}) y_n -\sqrt{λ_{1 + n}} y_{-1 + n}$. We show that the recurrence coefficients have topologically the same convergence behavior as the sequence $(n {\boldmath$ω$}(\infty))_{n\in \mathbb N}$ modulo 1; More precisely, putting $({\boldmath$α$}^{l-1}_{1 + n}, {\boldmath$λ$}^{l-1}_{2 + n}) = $ $(α_{[\frac{l 1}{2}]+1+n},...,$ $α_{1+n},...,$ $α_{-[\frac{l-2}{2}]+1+n},$ $λ_{[\frac{l-2}{2}]+2+n},$ $...,λ_{2+n},$ $...,$ $λ_{-[\frac{l-1}{2}]+2+n})$ we prove that $({\boldmath$α$}^{l-1}_{1 + n_ν},$ ${\boldmath$λ$}^{l-1}_{2 + n_ν})_{ν\in \mathbb N}$ converges if and only if $(n_ν{\boldmath$ω$}(\infty))_{ν\in \mathbb N}$ converges modulo 1 and we give an explicit homeomorphism between the sets of accumulation points of $({\boldmath$α$}^{l-1}_{1 + n}, {\boldmath$λ$}^{l-1}_{2 + n})$ and $(n{\boldmath$ω$}(\infty))$ modulo 1.