Let
{Φn}n
0 be a sequence of monic orthogonal
polynomials on the unit circle (OPUC) with respect to a symmetric and finite positive Borel measure
dμ on
[0,2π] and let
-1,
0,
1,
2,… be the associated sequence of Verblunsky coefficients. In this paper we study the sequence
![View the MathML source View the MathML source](http://www.sciencedirect.com/cache/MiamiImageURL/B6TYH-4NNWCG5-1-R3/0?wchp=dGLbVtz-zSkzk)
of monic OPUC whose sequence of Verblunsky coefficients is
where
b1,b2,…,bN-1 are
N-1 fixed real numbers such that
bj
(-1,1) for all
j=1,2,…,N-1, so that
![View the MathML source View the MathML source](http://www.sciencedirect.com/cache/MiamiImageURL/B6TYH-4NNWCG5-1-46/0?wchp=dGLbVtz-zSkzk)
is also orthogonal with respect to a symmetric and finite positive Borel measure
![View the MathML source View the MathML source](http://www.sciencedirect.com/cache/MiamiImageURL/B6TYH-4NNWCG5-1-62/0?wchp=dGLbVtz-zSkzk)
on the unit circle. We show that the sequences of monic orthogonal
polynomials on the real line (OPRL) corresponding to
{Φn}n
0 and
![View the MathML source View the MathML source](http://www.sciencedirect.com/cache/MiamiImageURL/B6TYH-4NNWCG5-1-6V/0?wchp=dGLbVtz-zSkzk)
(by Szegö's transformation) are related by some
polynomial mapping, giving rise to a one-to-one correspondence between the monic OPUC
![View the MathML source View the MathML source](http://www.sciencedirect.com/cache/MiamiImageURL/B6TYH-4NNWCG5-1-77/0?wchp=dGLbVtz-zSkzk)
on the unit circle and a pair of monic OPRL on (a subset of) the interval
[-1,1]. In particular we prove that
supported on (a subset of) the union of
2N intervals contained in
[0,2π] such that any two of these intervals have at most one common point, and where, up to an affine change in the variable,
ζN-1 and
cos
N are algebraic
polynomials in
cosθ of degrees
N-1 and
N (respectively) defined only in terms of
0,b1,…,bN-1. This measure induces a measure on the unit circle supported on the union of
2N arcs, pairwise symmetric with respect to the real axis. The restriction to symmetric measures (or real Verblunsky coefficients) is needed in order that Szegö's transformation may be applicable.