Asymptotics of the \(L^2\) norm of derivatives of OPUC (Q547879)

This paper contains many new and interesting results connected with the asymptotics of the \(\text{L}^2\) norm of derivatives of orthogonal polynomials on the unit circle (`OPUC') derived of non-trivial probability measures on \(\partial \mathbf{D}\), with normal \(\text{L}^2\)-derivative behavior (\(\mu\) is `normal') \[ \bigg\|{\varphi'_n\over n}\bigg\|= \left(\int\,{|\varphi'_n(e^{i\theta})|^2\over n^2}d\mu(\theta)\right)^{1/2}\rightarrow 1, \quad n\rightarrow\infty, \] with \(\varphi_n\) the normalized OPUC with Verblunsky coefficients \(\{\alpha_n\}_0^{\infty}\). After giving some background material in Section 2 (among others, the authors prove the result \[ \mu\text{ normal}\iff \lim_{n\rightarrow\infty}\int\,f_n^2(e^{i\theta}){d\theta\over 2\pi}=1, \] with \[ f_n(z)={1\over n}\,{K_{n-1}(z)\over |\varphi_n(z)|^2},\qquad K_{n-1}(z)=\sum_{j=0}^{n-1}\,|\varphi_j(z)|^2), \] the layout of the paper is as follows: Section 3: Normality implies Nevai class, with: \(\mu\) normal \(\Leftrightarrow\lim_{n\rightarrow\infty}\,\alpha_n=0;\;\mu\text{ regular}\Rightarrow \lim_{n\rightarrow\infty}\,\|\varphi'_n\|_{\infty}^{1/n}=\lim_{n\rightarrow\infty}\,\|\varphi'_n\|_2^{1/n}=1\). Section 4: Baxter weights, with: if \(\sup_n\,||\varphi_n||_{\infty}<\infty\) and \(\lim_{n\rightarrow\infty}\,{1\over n}\,\sum_{j=0}^{n-1}\,(j+1)|\alpha_j|=0, \;\sum_{j=0}^{\infty}\,|\alpha_j|^2<\infty\), then \(\|{(\varphi^*_n)'\over n}\|_\infty\rightarrow 0\) as \(n\rightarrow\infty\) and \(\mu\) is normal. Section 5: Bounded Szegő weights, with: if \(\mu\) obeys the Szegő condition (\(\sum_{j=0}^{\infty}\,|\alpha_j|^2<\infty\)) and \(d\mu\leq r{d\theta\over 2\pi} \;(0<r<\infty)\), then \(\mu\) is normal. Section 6: Sparse Verblunsky coefficients. For \(0<N_1<N_2<\dots\) and \(\{\beta_j\}_{j=0}^{\infty}\in\mathbf{D}^{\infty}\), the associated sparse sequence of Verblunsky coefficients is the sequence \[ \alpha_j=\begin{cases}\beta_k j=N_k-1&\text{for } k=1,2,\dots, \\ 0 &\text{otherwise}.\end{cases} \] Then \[ \limsup_{k\rightarrow\infty}\;{N_k\over N_{k+1}}<1,\qquad \lim_{j\rightarrow\infty}\,\beta_j=0 \] implies that the corresponding measure of the sparse sequence of Verblunsky coefficients is normal. Section 7: Addition of mass points. The goal here is: if \(\mu\) has a reasonable a.c. weight at a point of \(\partial\mathbf{D}\), and we add a mass point there, then the resulting measure is non-normal. The main result is: Let \(\mu\) obey the Szegő condition so that for some \(\varepsilon>0\), \(\mu_s(\{e^{i\theta}\mid |\theta|<\varepsilon\})=0\), and let \(w\) be a weight with \[ \text{for some }\;\delta>0,\;\delta<w(e^{i\theta})<\delta^{-1}\text{ if }|\theta|<\varepsilon, \] and \[ \sup_{|\varphi|<\varepsilon}\,\int_{|\theta|<\varepsilon}\,\left|{w(\theta)-w(\varphi)\over \theta-\varphi}\right|^2d\theta <\infty, \] then every \(\nu_t=(1+t)^{-1}(\mu+t\delta_1)\) is non-normal. Section 8: Circular Jacobi measures and their perturbations. Section 9: Multiplicative perturbations of the weight. Section 10: Algebraic singularities. Section 11: Isolated mass points.