Strong and weak convergence of rational functions orthogonal on the unit circle

Abstract

Rational functions orthogonal on the unit circle with prescribed poles lying outside the unit circle are studied. We establish a relation between the orthogonal rational functions and the orthogonal polynomials with respect to varying measures. Using this relation, we extend the recent results of Bultheel, Gonzalez-Vera, Hendriksen and Njastad on the asymptotic behaviour of orthogonal rational functions. 1. Background and notation Let dfi be a finite positive Borel measure with an infinite set as its support on [0,2n]. We define L ^ to be the space of all functions j{z) on the unit circle T:={zeC: \\z \\ = 1} satisfying J f \\J[ei0)\\2 dfi(9) <oo. Then L2d/t is a Hilbert space with inner product The Szego polynomial 4>n{z) is defined by the following requirements: 0n(z) = Knzn + lower degree terms, Kn> 0, and With notation 0*(z) = zn0n(l /z) , we can write Kn as 0*(O), that is, Kn = </>*(0). Apart from their significance and profound interrelation with the studies in Hankel and Toeplitz operators, continued fractions, moment problem, Caratheodory-Fejer interpolation, Schur's algorithm and function algebras, Szego polynomials are also widely used in solving electrical engineering problems. Interested readers could consult [1, 8,16,17] and the references therein for detailed discussion and exposition. Let d[i(6) = n'(Q)dd + dns(d) be the Lebesgue decomposition of dji with respect \\.od6. In the theory of Szego polynomials, it is well known (see, for example, [15]) that {l/0*(z)} converges locally uniformly in D:={zeC\\\\z \\ < 1} to the function S(z): = S(z; dp): = exp j l whenever the measure dpi satisfies Szego's condition