Asymptotic behavior of orthogonal polynomials without the Carleman condition (Q785852)

The main problem under consideration in the paper is the asymptotic behavior of solutions of the Jacobi equation \[ a_{n-1}F_{n-1}(z)+b_nF_n(z)+a_nF_{n+1}(z)=zF_n(z), \quad n=0,1,\ldots. \] The recurrence coefficients \(\{a_n>0\}\), \(\{b_n\in\mathbb{R}\}\) satisfy \[ \sum_{n=0}^\infty \frac1{a_n}<\infty, \quad \beta_n:=-\frac{b_n}{2\sqrt{a_{n-1}a_n}}\to\beta_\infty, \ |\beta_\infty|\not=1. \] The cases \(|\beta_\infty|<1\) and \(|\beta_\infty|>1\) should be distinguished. In the former one the asymptotic behavior is \[ F_n(z)=a_n^{-1/2}\bigl(\kappa_+(z)e^{i\phi_n}+\kappa_-(z)e^{-i\phi_n}+o(1)\bigr), \quad n\to\infty, \] where \[ \phi_n:=\sum_{k=0}^{n-1} \gamma_k, \quad \beta_k=\cos\gamma_k, \] the sum is restricted to \(k\) with \(|\beta_k|\le1\). In the latter case one has \[ F(z)=\kappa(z)a_n^{-1/2}(\mathrm{sign}\,\beta_\infty)^ne^{i\psi_n}(1+o(1)), \] where \[ \phi_n:=\sum_{k=0}^{n-1} \gamma_k, \quad \beta_k=\cosh\gamma_k, \] the sum is restricted to \(k\) with \(|\beta_k|\ge1\). The coefficients \(\kappa_\pm(z)\) and \(\kappa(z)\) can be expressed via the Wronskian of the solution and the Jost solution of the Jacobi equation.