On second kind measures and polynomials on the unit circle
type: Item
instance of: scholarly article
title: On second kind measures and polynomials on the unit circle
zbMATH Open document ID: 0823.30003
published in: Journal of Approximation Theory
publication date: 1995-07-05T00:00:00Z
review text: Notations and background results. Let \(d\sigma\) be a positive Borel measure with infinite support. \(d\sigma(t)= \phi(t)dt+ d\sigma_ s(t)\) is its Lebesgue decomposition, where \(\phi\in L^ 1[- \pi,\pi]\) is a density function. The moment sequence is \(c_ k(d\sigma)= {1\over 2\pi} \int^ \pi_{-\pi} \zeta^ k d\sigma\), \(k= 0,1,\dots\) and the unique system of associated orthonormal polynomials \(\{\phi_ 0\}\) satisfy the relations \[ {1\over 2\pi} \int^ \pi_{-\pi} \phi_ n(\zeta) \overline{\phi_ m(\zeta)} d\sigma(t)= \delta_{nm},\quad \zeta= e^{it}. \] The Carathéodory function (C-function) \(F(z)\) is defined by \[ F(z)= {1\over 2\pi c_ 0} \int^ \pi_{-\pi} S(t, z) d\sigma,\quad S(t, z)= {e^{it}+ z\over e^{it}- z} \] satisfies \({\mathfrak R} F(z)> 0\), \(| z|< 1\), \(\lim{\mathfrak R}_{r\to 1- 0} F(re^{i\theta})= {\phi(\theta)\over c_ 0}\) a.e. on \([- \pi,\pi]\). \(d\sigma\) is said to be in Szegö class if \(\int^ \pi_{-\pi} \ln \sigma'(t) dt>- \infty\). In that case the principal tool is the function \[ D(\sigma, z)= \exp\Biggl\{{1\over 4\pi} \int^ \pi_{- \pi} {\zeta+ z\over \zeta- z}\ln \sigma'(t) dt\Biggr\}. \] For example \(| D(\sigma, e^{it})|^ 2\overset{\text{a.e.}} =\sigma'(t)\) and \(D(\sigma)\in H^ 2(| z|< 1)\). The author studies the so-called second kind polynomials and measures defined by \[ \psi_ 0(z)= {1\over \sqrt{c_ 0}},\;\psi_ n(z)= {1\over 2\pi c_ 0} \int^ \pi_{-\pi} S(t,z)[\phi_ n(e^{it})- \phi_ n(z)] d\sigma(t),\quad n= 1,2,\dots\;. \] The \(\psi_ n\) are orthogonal with respect to a uniquely determined second kind measure \(d\tau(t)\). The corresponding C-function \[ G(z)= {1\over 2\pi c_ 0} \int^ \pi_{- \pi} S(t, z) d\tau(t)= F(z)^{- 1}. \] For a polynomial \(P(z)\) the conjugate transform is \(P^*(z)= z^ n\overline{P({1\over \overline z})}\). The main result of the paper is the absolute continuity of the second kind measure \(d\tau\) on any interval \([a, b]\subset [- \pi,\pi]\) with respect to the first kind measure \(d\sigma\) provided \(\…
Mathematics Subject Classification ID: 30C10
Mathematics Subject Classification ID: 42C05
Mathematics Subject Classification ID: 33C45
zbMATH DE Number: 756632
zbMATH Keywords: Carathéodory function
author: Leonid Golinskii
reviewed by: Zalman Rubinstein
MaRDI profile type: Publication
full work available at URL: jath.1995.1022
OpenAlex ID: W2036825560
DOI: 10.1006/JATH.1995.1022
description: scientific article; zbMATH DE number 756632