Strong asymptotics for the continuous Sobolev orthogonal polynomials on the unit circle (Q1125471)

Let \(\{Q_n\}\) be a sequence of monic polynomials with \(\deg\widetilde Q_n= n\), which are orthogonal with respect to the Sobolev inner product on the unit circle \(\Gamma= \{\zeta\in\mathbb{C}: |\zeta|= 1\}\), \[ \langle p,q\rangle_{W^1_2(\mu_0, \mu_1)}:= \int_\Gamma p(\zeta)\overline{q(\zeta)} d\mu_0(\zeta)+ \int_\Gamma p'(\zeta)\overline{q'(\zeta)} d\mu_1(\zeta),\tag{1} \] where \(\mu_i\), \(i= 0,1\), are positive Borel measures supported on \(\Gamma\) and \(\mu_1\) is absolutely continuous with respect to the Lebesgue measure, and its Radon-Nikodým derivative is positive and smooth. In this paper, the authors prove that, under convenient conditions on the measures \(\mu_0\) and \(\mu_1\), the sequence \(\widetilde Q_n(z)/z^n\to F_1(z)\), when \(n\to\infty\), uniformly on compact subsets \(K\) of \(\Omega= \{\zeta\in \mathbb{C}: |\zeta|> 1\}\), where \(F_1\) is a Szegö-type function. This is related with recent results of \textit{A. Martínez-Finkelshtein} [J. Comput. Appl. Math. 99, No. 1-2, 491-510 (1998; Zbl 0933.42013) and ``Bernstein-Szegö's theorem for Sobolev orthogonal polynomials'', Constr. Approx. (to appear)].