H

Revista Integracin
Escuela de Matemticas
Universidad Industrial de Santander
Vol. XX, No. XX, XXXX, pg. 121

xxxx xx x x x x x x x xx x x x x x xx x x xxx x x
xxxxxxx
Edinson Fuentes a, , Luis E. Garza b .
a

Universidad Pedaggica y Tecnolgica de Colombia, Escuela de Matemticas y

Estadstica, Tunja, Colombia.
b

Universidad de Colima, Facultad de Ciencias, Colima, Mxico.

Abstract. Dada una sucesin de momentos {cn }nZ asociada a un funcional

lineal Hermitiano L definido en el espacio de los polinomios de Laurent, en

este artculo analizamos un nuevo funcional L que es una perturbacin de L,
este funcional tiene la propiedad que perturba un nmero finito de la sucesin
de momentos, se dan condiciones para que el funcional sea cuasi-definido y
se muestra una formula explicita para su nueva sucesin de polinomios ortogonales. Por otro lado si se supone que el funcional L es definido positivo
entonces se puede escribir en trminos de una medida cuyo soporte es la circunferencia unidad, se analiza su respectiva medida con soporte en [1, 1]
cuando estn relacionadas con la transformacin de Szego inversa, se muestran explcitamente los momentos perturbados.
Keywords: Orthogonal polynomials, Perturbation of moments, Unit circle,
Szego transformation.
MSC2000: 42C05, 15A23

xxxx x x x x x x x x x x x x x x x x
Resumen. Dada una sucesin de momentos {cn }nZ asociada a un funcional

lineal Hermitiano L definido en el espacio de los polinomios de Laurent, en

este artculo analizamos un nuevo funcional L que es una perturbacin de L,
este funcional tiene la propiedad que perturba un nmero finito de la sucesin
de momentos, se dan condiciones para que el funcional sea cuasi-definido y
se muestra una formula explicita para su nueva sucesin de polinomios ortogonales. Por otro lado si se supone que el funcional L es definido positivo
entonces se puede escribir en trminos de una medida cuyo soporte es la circunferencia unidad, se analiza su respectiva medida con soporte en [1, 1]
cuando estn relacionadas con la transformacin de Szego inversa, se muestran explcitamente los momentos perturbados.
Palabras claves: Polinomios ortogonales, Perturbacin de momentos, circunferencia unidad, transformacin de Szego.

0 Corresponding author: E-mail: edinson.fuentes@uptc.edu.co.

Received: fecha de recibido, Accepted: fecha de aceptacin.

1.

Edinson Fuentes & Luis E. Garza

Introduction

En [1], los autores estudian la perturbacin asociada al funcional lineal

Z
dz
,
hp(z), q(z)iL := hp(z), q(z)iL + m p(z)q(z)
2iz
T

(1)

con m R, p, q P, y L un funcional lineal Hermitiano definido en el espacio de los

polinomios de Laurent, todos los momentos asociados con L son iguales a los momentos

de L, excepto el momento cero que es igual a c0 = c0 + m, la matriz de Toeplitz T

es igual a T sumandole m en la diagonal principal. Posteriormente en [2] estudian la
perturbacin asociada al funcional

z j q(z)iL ,
hp(z), q(z)iLj = hp(z), q(z)iL + mhz j p(z), q(z)iL + mhp(z),

(2)

donde j N es un nmero fijo, y h, iL es el funcional bilineal asociado con la medida

normalizada de Lebesgue en la circunferencia unidad. Se puede ver que los momentos
asociados a Lj son iguales a los momentos de L excepto el momento j-simo que es
es igual a T sumandole m en la diagonal
igual a cj = cj + m, la matriz de Toeplitz T
j-sima, tambin estudian las condiciones para que el funcional Lj sea cuasi-definido y
se encuentra su correspondiente sucesin polinomios ortogonales.
Asumiendo que Lj es definido positivo (2) puede expresarse en trminos de su correspondiente medida, as
d
d
+ mz
j ,
(3)
d
= d + mz j
2
2
En [3] se analiza la relacin existente entre la entre la medida (3) y su respectiva medida
con soporte en [1, 1] cuando estas medidas estn relacionadas bajo la transformacin de
Szego inversa, adems se muestra que los momentos perturbados asociados con la medida
que tiene soporte en [1, 1] depende de los polinomios de Chebyshev de primera especie.
En este trabajo se extender el funcional (2) con el fin de perturbar un nmero finito de
momentos, se daran condiciones necesarias y suficientes para que el funcional perturbado
sea cuasi definido y as garantizar las existencia de una sucesin de polinomios ortogonales. En el caso en el que este funcional se definido positivo se analizara la relacin con
su correspondiente medida en [1, 1] cuando estas medidas se encuentran relacionadas
con la transformacin de Szego inversa.

2.

Preliminares

Let L be a linear functional in the linear space of Laurent polynomials ( = span{z k }kZ )
such that L is Hermitian, i.e.
cn = hL, z n i = hL, z n i = cn , n Z.
The complex numbers {cn }nZ are said to be the moments associated with L. Under
this conditions, a bilinear functional can be defined in the linear space P = span{z k }kN
of polynomials with complex coefficients by
hp(z), q(z)iL = hL, p(z)
q (z 1 )i,

p, q P.
[Revista Integracin

xxxxxxxxx xxxxx

The Gram matrix associated with the canonical basis {z n }n0 of P is

c0
c1
..
.

T=

cn

..
.

c1
c0
..
.
cn+1
..
.

cn
cn1
..
..
.
.

c0
..
.

is known in the literature as a Toeplitz matrix [5].

..
.

(4)

If Tn , the (n + 1) (n + 1) principal leading submatrix of T, is non-singular for every

n 0, then L is said to be quasi-definite and the existence of a sequence of monic
polynomials (OPSM), orthogonal with respect to L, is guaranteed. On the other hand,
if det Tn > 0, for every n 0, then L is said to be positive definite and it has the
following integral representation
Z
hL, p(z)i =
p(z)d(z), p P,
(5)
T

where is a nontrivial positive Borel measure supported on the unit circle T = {z :

|z| = 1}. In such a case, there exists a (unique) family of polynomials {n }n0 , with
deg n = n and positive leading coefficient, such that
Z
(6)
n (z)m (z)d(z) = m,n .
T

{n }n0 is said to be the sequence of orthonormal polynomials with respect to . Denoting by n the leading coefficient of n (z), n (z) = n (z)/n is the corresponding
sequence of monic orthogonal polynomials. These polynomials satisfy the following forward and backward recurrence relations (see [5], [9], [10])
n+1 (z) = zn (z) + n+1 (0)n (z), n 0,


2
n+1 (z) =
1 |n+1 (0)| zn (z) + n+1 (0)n+1 (z),

(7)
n 0,

(8)

where n (z) = z n n (z 1 ) is the so-called reversed polynomial and the complex numbers
{n (0)}n1 are known as Verblunsky, Schur or reflection parameters. It is important to
notice that in the positive definite case we get |n (0)| < 1, n 1, and
kn = hn , n iL > 0, n 0.
Moreover,
kn =

det Tn
,
det Tn1

n 1, k0 = c0 .

(9)

The n-th polynomial kernel Kn (z, y) associated with {}n0 is defined by

Kn (z, y) =

n
X
j (y)j (z)
j=0

Vol. XX, No. XX, XXXX]

kj

n+1 (y)n+1 (z) n+1 (y)n+1 (z)

,
kn+1 (1 + yz)

(10)

Edinson Fuentes & Luis E. Garza

and it satisfies the so called reproducing property, i.e.

Z
Kn (z, y)p(z)d(z) = p(y),

(11)

(i,j)

for every polynomial p of degree at most n. Kn (z, y) be the ith and jth partial
derivative of Kn (z, y) with respecto to z and y respectively.
On the other hand,
n (z) = kn Kn (z, 0), n 0.

(12)

Furthermore, in terms of the moments, an analytic function can be defined by

F (z) = c0 + 2

k=1

ck z k .

(13)

If L is a positive definite functional, then (13) is analytic in D and its real part is positive
in D. In such a case, (13) is called Carathodory function, and can be represented by
the Riesz-Herglotz transform
Z i
e +z
F (z) =
d(),
i z
e
T
where is the positive measure associated with L. By extension, for a quasi-definite
linear functional, we will call (13) its corresponding Carathodory function.
Given a linear functional L, some perturbations that have been studied in the literature
are (see [2])
(1) The Christoffel transformation d
C = |z |2 d, |z| = 1, C.
(2) The Uvarov transformation d
U = d+Mc (z)+M c (z
C.
(3) The Geronimus transformation d
G =
C {0}, Mc C, || =
6 1.

d
|z|2

), C{0}, Mc

+ Mc (z ) + M c (z

),

The so-called Christoffel (FC ), Uvarov (FU ), and Geronimus (FG ) transformations, respectively. A rational spectral transformation of a Carathodory function F (z) is a
transformation of the form
A(z)F (z) + B(z)
,
F (z) =
C(z)F (z) + D(z)
where A(z), B(z), C(z) and D(z) are polynomials in z with AD BC 6= 0, and such
that F (z) is analytic in D and has positive real part therein. Again, if C(z) 0, the
transformation is said to be linear. The three transformations defined above correspond
to linear spectral transformations, when they are expressed in terms of the corresponding
Carathodory functions (see [7]).
Perturbations (1) (3) are related by
[Revista Integracin

xxxxxxxxx xxxxx

(1) FC () FG (, m) = I (Identity transformation),

(2) FG FC () = FU (, m),
and are called linear spectral transformations.
From a positive, nontrivial Borel measure supported in [1, 1], we can define a positive,
nontrivial Borel measure supported in [, ] by
d() =

1
|d(cos )|,
2

(14)

in such a way that if d(x) = (x)dx, then

d() =

1
(cos )| sin |d.
2

(15)

There exists a relation between the corresponding families of orthogonal polynomials

(see [4]). On the other hand, since the moments {cn }n0 are real (see [4])), F (z), the
Carathodory function associated with has real coefficients. Therefore, we have
ReF (ei ) = ReF (ei(2) ),
and then d() + d(2 ) = 0. Thus, there exists a simple relation between the
Stieltjes and Carathodory functions associated with and , respectively, given by
Z
1 z 2 1 d(t)
1 z2
F (z) =
=
S(x),
(16)
2z
2z
1 x t

1
where x = z+z2 , z = x + x2 1 and S(x) Stieltjes functions ( the real line analog
P
(n+1)
of the Carathdory functions, given by S(x) =
, where {n }n0 are the
n=0 n x
moments associated with the measure on the real line) (see [8]). In the literature, this
relation is known as the Szego transformation. Conversely, if is a positive, nontrivial
Borel measure with support in the unit circle such that its moments are real, then there
exists a positive, nontrivial Borel measure , supported in [1, 1], such that (14) holds.
This is called the inverse Szego transformation.

3.

Perturbacion de un nmero finito de momentos asociado a un

funcional lineal L

Supongamos que tenemos un funcional lineal Hermitiano cuasi-definido L, asociado a

este funcional existe una sucesin de momentos {cn }nZ y una OPSM, al perturbar un
nmero finito de momentos de la sucesin {cn }nZ , es natural preguntarse Este funcional
perturbado ser cuasi-definido? cul es la OPSM asociada a est perturbacin?
Sea un conjunto finito de nmeros naturales no repetidos fijos, los elementos en este
conjunto indicaran los momentos que se perturban de la sucesin de momentos.
Definition 3.1. Let L be an Hermitian linear functional and define a linear functional
L such that the associated bilinear functional satisfies
X


hp(z), q(z)iL = hp(z), q(z)iL +
Mr hz r p(z), q(z)iL + M r hp(z), z r q(z)iL , (17)
r

Vol. XX, No. XX, XXXX]

Edinson Fuentes & Luis E. Garza

where Mr C, with, p, q P, and h, iL is the bilinear functional associated with the

normalized Lebesgue measure in the unit circle.
Assume L is a positive definite functional. Then, in terms of the corresponding measures,
the above transformation can be expressed as

X
r d
r d
+ M rz
d
= d +
Mr z
2
2
r
(18)
X
r d
= d + 2
Re(Mr z ) .
2
r

From (17), one easily sees that

cn = hL , z n i = hz n , 1iL =

cn ,
cn + M n ,

if

n
/ ,

if n ,

cn + M n , if

(19)

n .

In other words, L perturbs the moments cr and cr with r , from the sequence of
moments associated with L. The rest of the moments remain unchanged. This is, the
Toeplitz matrix associated with L is equal to the Toeplitz matrix associated with L,
except for the r-ths and r-ths moments, which are equal to cr + M r and cr + Mr ,
respectively, and therefore L is also Hermitian.
Furthermore, if F (z) is the Carathodory function associated with L , then
X
F (z) = F (z) + 2
Mr z r ,

(20)

i.e. a linear spectral transformation of F (z).

e the infinite Toeplitz matrix associated with L , is
On the other hand, T,

0
Mr
0

..

.
0
Mr

X
..
..
..
..
e =T+
T
.
Mr
.
.
.
.

r 0

Mr
0

..
..
..
..
..
.
.
.
.
.
{z
}
|
Mr esta en la rsima subdiagonal.
Algunas observaciones sobre notacin

Se denotara por A(s1 ,s2 ;l1 ,l2 ;r) la matriz de tamao (s2 s1 + 1) (l2 l1 + 1) cuyas
entradas son a(s,l)r donde s1 s s2 y l1 l l2 , por ejemplo


a(2,4)6 a(2,5)6
,
A(2,3;4,5;6) =
a(3,4)6 a(3,5)6
de igual manera para las matrices B(s1 ,s2 ;l1 ,l2 ;r) y A(s1 ,s2 ;l1 ,l2 ;r) .
[Revista Integracin

xxxxxxxxx xxxxx
(0)

(n1)

n (0) = [n (0), , n

(0)

(n1)

(0)] y n (0) = [n (0), , n

(0)].

In es la matriz identidad de tamao n n.

Se asumir que las derivadas negativas son iguales a cero.
Suponiendo que L es un funcional lineal definido positivo y {n }n0 su correspondiente
OPSM mnicos, ahora procederemos a determinar condiciones necesarias y suficientes
para que el funcional L sea cuasi-definido, adems se encontrara una relacin entre
{n }n0 y {n }n0 , la OPSM con respecto a L .
Proposition 3.2. Sea L un funcional lineal definido positivo. Las siguientes proposiciones
son equivalentes 1
1. L es un funcional lineal cuasi-definido.
P
2. La matriz In + r Srn es no singular, y {n }n0 , la correspondiente OPSM
respecto a L con n 1, se puede escribir
n (z) = n (z)

(Qrn Wrn )T Krn1 (z, 0)

donde
Qrn = (In +

(0,nr)

Mr

Kn1 (z, 0)
,
(n r)!

(21)

Srn )1 ,

Wrn = n (0)

M r n!C(0,n1;n,n;r) ,

r
(0,r)

Mr

Kn1 (z,0)
0!r!

..

(0,2r1)

Kn1
(z,0)

Mr (r1)!(2r1)!

(0,0)
(0,2r)

K
(z,0)
K
(z,0)

+ M r n1
Mr n1

r!(2r)!
r!0!

..
Krn1 (z, 0) =
.

(0,n2r1)
(0,n1)
(z,0)
M Kn1 (z,0) + M Kn1
r (nr1)!(n2r1)!
r (nr1)!(n1)!

(0,n2r)
Kn1
(z,0)

M r (nr)!(n2r)!

..

(0,nr1)
Kn1
(z,0)
M r (n1)!(nr1)! .

(22)

1 Cuando sea un conjunto unitario en [2] fue estudiado, ms particular cuando = {0} se estudi
en [1].

Vol. XX, No. XX, XXXX]

Edinson Fuentes & Luis E. Garza

y
Srn

Mr A(0,r1;0,r1)

= Mr A(r,nr1;0,r1)
Mr A(nr,n1;0,r1)

M r C(0,r1;nr,n1)
M r C(r,nr1;nr,n1) ,
M r C(nr,n1;nr,n1)

B(0,r1;r,nr1)
B(r,nr1;r,nr1)
B(nr,n1;r,nr1)

las entradas de las matrices A, B y C estn dadas por

(s,l+r)

a(s,l)r =

Kn1 (0, 0)
,
l!(l + r)!
(s,lr)

(s,l+r)

b(s,l)r = Mr

K
(0, 0)
Kn1 (0, 0)
+ M r n1
,
l!(l + r)!
l!(l r)!
(s,lr)

c(s,l)r

K
(0, 0)
.
= n1
l!(l r)!

Adems
n = kn +
k

(Qrn Wrn )T Yrn +

con

(nr)

Mr

n
(0)
6= 0, n 1,
(n r)!

(r)

Mr n0!r!(0)
..
.

(2r1)

n
(0)

Mr (r1)!(2r1)!

(2r)
(0)
(0)
n

Mr r!(2r)!
+ M r nr!0!(0)

..
Yrn =
.

(0)
M n(n) (0) + M (n2r)
n
r (nr)!(n)!
r (nr)!(n2r)!

(n2r+1)

n
(0)

M r (nr+1)!(n2r+1)!

..

(nr1)
n
(0)
M r (n1)!(nr1)!

(23)

(24)

Proof. Escribiendo n (z) como una combinacin lineal de n (z)

n (z) = n (z) +

n1
X

n,k k (z),

(25)

k=0

[Revista Integracin

xxxxxxxxx xxxxx

donde, 0 k n 1,
n,k =
=

hn (z), k (z)iL
kn
hn (z), k (z)iL

Mr

dy

y r n (y)k (y) 2iy

Mr

Ty

dy
n (y)k (y) 2iy

kk
Z
X Mr Z
X
Mr
dy
dy
=

,
y r n (y)k (y)
y r n (y)k (y)
kk T
2iy
kk T
2iy
r

observe que hn (z), k (z)iL 6= 0 pero hn (z), k (z)iL = 0, porque {n (z)}n0 debe ser
ortogonal con respecto a L y n > k.

Sustituyendo este ltimo valor en (25) y usando (10)

n (z) = n (z)

Mr

Mr

y n (y)
T

n1
X
k=0

n (y)

k (z)k (y) dy
kk
2iy

n1
X
k=0

k (z)k (y) dy
kk
2iy


Z
Z
X
dy
dy
= n (z)
Mr y r n (y)Kn1 (z, y)
.
M r y r n (y)Kn1 (z, y)
2iy
2iy
T
T
r

Desarrollando n (y) y Kn1 (z, y) en serie de potencias

y r n (y) = y r

n
(l)
X
n (0)

l!

l=0

=
=

n
(l)
X
n (0)
l=0
n+r
X
l=r

y para |y| = 1,
Kn1 (z, y) =
tambin como
Z

dy
y rt 2iy
T

l=0

dy
=
2iy
=

(lr)

n (0) l
y,
(l r)!
(0,l)

Kn1 (z, 0) 1
,
l!
yl

Z n+r
(0,l)
X n(lr) (0) n1
X Kn1
(z, 0) 1 dy
yl
(l r)!
l!
y l 2iy
T

l=r
n1
X n(lr) (0)

(l r)!

l=r
nr1
X
l=0

Vol. XX, No. XX, XXXX]

y l+r

es 1 si r = t y cero en otro caso. Entonces

y r n (y)Kn1 (z, y)

n1
X

l!

yl

l=0
(0,l)
Kn1 (z, 0)

l!
(0,l+r)

(l)
n (0) Kn1 (z, 0)
.
(l)!
(l + r)!

10

Edinson Fuentes & Luis E. Garza

De igual manera
Z

y r n (y)Kn1 (z, y)

(0,l)
nr
X n(l+r) (0) Kn1
(z, 0)
dy
=
2iy
(l + r)!
l!

l=0
n
X
l=r

(0,lr)

(l)
n (0) Kn1 (z, 0)
.
(l)!
(l r)!

Entonces n (z) se convierte en

X

n (z) = n (z)

Mr

nr1
X
l=0

(0,l+r)

(0,lr)

(l)
X n(l) (0) Kn1 (z, 0)
n (0) Kn1 (z, 0)
Mr
(l)!
(l + r)!
(l)!
(l r)!
l=r

(26)

Reescribiendo los ltimos sumandos

nr1
X
l=0

(0,l+r)
(0,l+r)
(0,l+r)
r1 (l)
nr1
(l)
X n(l) (0) Kn1
(z, 0)
n (0) Kn1 (z, 0) X n (0) Kn1 (z, 0)
=
+
,
(l)!
(l + r)!
l!
(l + r)!
l!
(l + r)!
l=0

l=r

tambin
(0,lr)
n
(l)
X
n (0) Kn1 (z, 0)
l=r

(l)!

(l r)!

nr1
X
l=r

(0,lr)
(0,lr)
n
(l)
(l)
X
n (0) Kn1 (z, 0)
n (0) Kn1 (z, 0)
+
.
(l)!
(l r)!
(l)!
(l r)!
l=nr

Asi (26) se puede escribir

n (z) = n (z)

Mr

(0,l+r)
r1 (l)
X
n (0) Kn1 (z, 0)

l!

l=0

nr1
X
l=r

(l)

n (0)
l!

(0,lr)
n
(l)
X
n (0) Kn1 (z, 0)
+ Mr
(l + r)!
(l)!
(l r)!
l=nr
!!
(0,lr)
(0,l+r)
Kn1 (z, 0)
Kn1 (z, 0)
Mr
.
+ Mr
(l + r)!
(l r)!

(27)

Derivando s veces con 0 s n y evaluando en cero

n(s) (0)

(s)
n (0)

Mr

(s,l+r)
r1 (l)
X
n (0) Kn1 (0, 0)

l!

l=0

nr1
X
l=r

(l)

n (0)
l!

(s,lr)
n
(l)
X
n (0) Kn1 (0, 0)
+ Mr
(l + r)!
(l)!
(l r)!
l=nr
!!
(s,lr)
(s,l+r)
Kn1 (0, 0)
Kn1 (0, 0)
Mr
.
+ Mr
(l + r)!
(l r)!

Esta ltima expresin corresponde a un sistema lineal de n + 1 ecuaciones y n + 1

(s)
incgnitas n (0), el sistema es
n(s) (0)

(s)
n (0)

Mr

r1
X
l=0

a(s,l)r n(l) (0)

nr1
X
l=r

b(s,l)r n(l) (0)

+ Mr

n
X

c(s,l)r n(l) (0),

l=nr

[Revista Integracin

11

xxxxxxxxx xxxxx

donde

(s,l+r)

a(s,l)r =

Kn1 (0, 0)
,
l!(l + r)!
(s,lr)

(s,l+r)

b(s,l)r = Mr

(0, 0)
K
Kn1 (0, 0)
+ M r n1
,
l!(l + r)!
l!(l r)!
(s,lr)

c(s,l)r
Al escribir
Srn+1

Mr A(0,r1;0,r1)
= Mr A(r,nr1;0,r1)
Mr A(nr,n;0,r1)

K
(0, 0)
= n1
.
l!(l r)!
B(0,r1;r,nr1)
B(r,nr1;r,nr1)
B(nr,n;r,nr1)

M r C(0,r1;nr,n)
M r C(r,nr1;nr,n) .
M r C(nr,n;nr,n)

Observe que en la ltima fila estamos derivando n-veces el kernel Kn1 (z, 0) por lo tanto
(n)
est fila es cero, de igual manera en la ltima columna tenemos que n (0) = n!, entonces
la matriz Sn+1 se reduce a

Mr A(0,r1;0,r1)
B(0,r1;r,nr1)
M r C(0,r1;nr,n1)
r
Sn+1 = Mr A(r,nr1;0,r1) B(r,nr1;r,nr1) M r C(r,nr1;nr,n1)
Mr A(nr,n1;0,r1) B(nr,n1;r,nr1) M r C(nr,n1;nr,n1)
+

M r n!C(0,n1;n,n;r)

Srn

+ M r n!C(0,n1;n,n;r) ,

ahora se tiene un sistema lineal de tamao n n, el cual se puede expresar as

X r
X
M r n!C(0,n1;n,n;r)
(In +
Sn )n (0) = n (0)
r

(28)

Wrn .

Dado que L es un funcional cuasi-definido, existePuna nica familia de polinomios

ortogonales con respecto L . Adems la matriz In + r Srn es no singular de acuerdo
con la existencia y unicidad del sistema anterior, entonces
X r
(29)
n (0) = (In +
Sn )1 Wrn .
r

(n)

Si se usa (22) y teniendo en cuenta que n (0) = n!, la ecuacin (27) se convierte en
n (z) = n (z)

Tn (0)Krn1 (z, 0)

(0,nr)

K
(z, 0)
M r n1
,
(n r)!

Sustituyendo (29)
n (z) = n (z)

(Wrn )T (In +

Vol. XX, No. XX, XXXX]

N
X
r=j

Srn )1 Krn1 (z, 0)

(0,nr)

Mr

Kn1 (z, 0)
,
(n r)!
(30)

12

Edinson Fuentes & Luis E. Garza

este ltimo resultado corresponde a (21).

n = hn (z), n (z)iL = hn (z), n (z)iL 6= 0, y n 0,
Calculemos, k

n = hn (z), n (z)iL
k

= hn (z), n (z)iL +

Mr hz r n (z), n (z)iL + M r hn (z), z r n (z)iL

Z X
n
n
(l)
(l)
X
X
dz
(0)

(0)

n
n

M r
z l+r
z l
= kn +
l!
l!
2iz
T
r
l=0
l=0

Z
n
n
(l)
X
X n(l) (0)
X
dz
(0)

n
M r

+
z lr
z l
l!
l!
2iz
T
r
l=0
l=0

n
nr
(lr)
(l)
X
X
X n(l) (0) (l+r)
(0)

(0)

(0)
n
n
n
M r

= kn +
+ Mr
l!
(l + r)!
l!
(l r)!
r
l=r
l=0

n1
nr
(lr)
(nr)
(l)
X
X
X n(l) (0) (l+r)
(0)
n
(0)
n (0) n (0) X
n
M r
+
+ Mr
= kn +
Mr
l!
(l + r)!
l!
(l r)!
(n r)!
r
r
l=r
l=0

r1
nr
(l+r)
(l+r)
(lr)
X
X n(l) (0) n (0) X n(l) (0)
M r
Mr n (0) + M r n (0)
= kn +
+
l!
(l + r)!
l!
(l + r)!
(l r)!
r
l=0
l=r

n1
(nr)
X
X n(l) (0) (lr)
(0) X
n
(0)
n
M r
+
.
+
Mr
l!
(l r)!
(n r)!

l=nr+1

al simplificar usando (24), se convierte en

n = kn +
k

Tn (0)Yrn (0) +

(nr)

Mr

n
(0)
,
(n r)!

al reemplazar (29), obtenemos (23),

n = kn +
k

(Wrn )T
r

(In +

N
X
r=j

Srn )1

Yrn +

(nr)

Mr

n
(0)
.
(n r)!

P
Recprocamente, asumiendo que In + r Srn es no singular para todo n 1 y definiendo
{n }n0 como en (21). Se Demostrara que {n }n0 es ortogonal con respecto a L .
[Revista Integracin

13

xxxxxxxxx xxxxx

Primero hagamos unas observaciones cuando 0 k n 1,

+
+
*
*nr1
(0,l+r)
(0,l+r)
nr1
(l)
X
X n(l) (0) Kn1
(z, 0)
n (0) Kn1 (z, 0)
, k (z)
, k (z)
=
l!
(l + r)!
l!
(l + r)!
l=0
l=0
L
L
+
*
nr1
n1
(l)
(l+r)
X
n (0) X t (z)t
(0)
, k (z)
=
l!(l + r)! t=0
kt
l=0

nr1
X
l=0

nr1
X
l=0

de igual manera
* n
(0,lr)
X n(l) (0) Kn1
(z, 0)
l!

l=j

(l r)!

Tambin
r

hz n (z), k (z)iL =
=

(l+r)

(l)

(0)
n (0) k
,
l!
(l + r)!

, k (z)

n
(lr)
(l)
X
(0)
n (0)
k

l!

l=r

(l r)!

dz
2iz

! k
n
(l)
l
X (l)
X n (0)z l
(0)z
n

dz
l!
l!
2iz

z r n (z)k (z)
T

zr
T

l=0

l=0

nr1
X
l=0

y de una manera anloga

(l)

n (0) (l+r) hk , k iL

(0)
l!(l + r)! k
kk

(l+r)

(l)

(0)
n (0) k
,
l!
(l + r)!

hn (z), z r k (z)iL =

n
(lr)
(l)
X
(0)
n (0)
k

l!

l=r

(l r)!

Ahora probemos la ortogonalidad, para 0 k n 1, teniendo en cuenta (26) y las

observaciones anteriores, tenemos que
X


hn (z), k (z)iL = hn (z), k (z)iL +
Mr hz r n (z), k (z)iL + M r hn (z), z r k (z)iL
r

= hn (z), n (z)iL

Mr

*nr1
(0,l+r)
X n(l) (0) Kn1
(z, 0)
*

l=0

(l)!

(l + r)!

(0,lr)
n
(l)
X
n (0) Kn1 (z, 0)

, k (z)
+

, k (z)
(l r)!
L

nr1
n
(l+r)
(lr)
(l)
(l)
X
X
X n (0)
X n (0)
(0)
(0)
k
k
+

+
Mr
Mr
l!
(l + r)!
l!
(l r)!

= 0.

Vol. XX, No. XX, XXXX]

l=0

Mr

l=r

(l)!

l=r

14

Edinson Fuentes & Luis E. Garza

Por otro lado,

e n = hn (z), n (z)iL
k

= hn (z), n (z)iL +

Mr hz r n (z), n (z)iL + M r hn (z), z r n (z)iL

dz

M r
z l+r
z l
= kn +
l!
l!
2iz
T
l=0
r
l=0

Z X
n
n
(l)
(l)
X
X

(0)

(0)
dz
n
n

M r
+
z lr
z l
l!
l!
2iz
T
r
l=0
l=0

nr
n
(lr)
(l)
X n(l) (0) (l+r)
X
X
(0)

(0)

(0)
n
n
n
M r

+ Mr
= kn +
l!
(l + j)!
l!
(l r)!
l=0
r
l=r

n1
nr
(lr)
(nr)
(l)
X
X
X n(l) (0) (l+r)
X
(0)

(0)
n
(0)

(0)
n
n
n
M r
+
= kn +
Mr
+ Mr
l!
(l + j)!
l!
(l r)!
(n r)!
X

= kn +

6= 0,

Z X
n
(l)
n (0)

n
(l)
X
n (0)

l=r

l=0

Tn (0)Yrn (0) +

(nr)

Mr

n
(0)
(n r)!

en 6= 0, en consecuencia concluimos que L es un funcional lineal cuasipor hipotesis k

X
definido.

De la proposicin 3.2 se puede observar que si n < r para cualquier r , se tiene
(0,nr)
que Krn1 = 0, Kn1 (z, 0) = 0 y segn (21) n (z) = n (z), esto significa que los
polinomios ortogonales de grado menor que r permanecen igual y solo cambian los de
grado mayor o igual a r.

4.

Transformacin de Szego inversa aplicada a la medida que perturba

un nmero finito de momentos

Let be a positive measure supported in the unit circle such that its corresponding
moments {cn }nZ are real. Assume also that the perturbed measure
, defined by
(18), is positive and that Mr with r is real, so the moments associated with

are also real. Our goal in this Section is to determine the relation between the positive
Borel measures and
, supported in [1, 1], which are associated with and
,
respectively, via the inverse Szego transformation. This relation will be stated in terms
of the corresponding the measure and sequences of moments.
Proposition 4.1. Let be a positive nontrivial Borel measure with real moments supported
in the unit circle, and let be its corresponding measure in [1, 1], obtained through the
inverse Szego transformation. Let {cn }nZ and {n }n0 be their corresponding sequences
of moments. Assume that
, defined by (18) with r and Mr R, is positive. Then,
[Revista Integracin

15

xxxxxxxxx xxxxx

the measure
, obtained by applying the inverse Szego transformation to
(j,N ) , is given
by
dx
2X
,
(31)
Mr Tr (x)
d
= d +

1 x2
r

and its corresponding sequence of moments is

n ,

n =
P

n + 2 r Mr B(n, r),

if

0 n < rm ,

if

rm n,

(32)

where rm es el mnimo de and

si r + n 2k = 0,
B(n, r) =


[r/2] 
r X (1)k (r k 1)!(2)r2k
,
2
k!(r 2k)!
k=0

si r + n es impar entonces B(n, r) = 0,

si r + n es par,

k
r2k
X
r
(1) (r k 1)!(2)
B(n, r) =
2
k!(r 2k)!
[r/2]

(r+n2k)/2

k=0

i=1

r + n 2k (2i 1)
.
r + n 2k 2(i 1)

Proof. Notice that, setting z = ei , x = cos , and taking into account that the inverse
Szego transformation applied to the normalized Lebesgue measure d/2 yields the first
kind Chebyshev measure dx
, the measure
obtained by applying the inverse Szego
1x2
transformation to
is given by

p
p
X
dx

Mr (x + i 1 x2 )r + Mr (x + i 1 x2 )r
1 x2
r
X
dx
= d +
(Mr (cos r + i sin r) + Mr (cos r i sin r))
1 x2
r
X
cos(r)dx
= d + 2
Mr
1 x2
r
Tr (x)dx
2X
,
Mr
= d +

1 x2
r

d
( = d +

where Tr (x) := cos(r) are the Chebyshev polynomials of the first kind. Notice that a
measure that changes its sign in the interval [1, 1] is added to d. Then, the moments
associated with
are given by
Z 1
Z 1
Tr (x)dx
2X
n
.
Mr
xn

n =
x d
(x) = n +

1 x2
1
1
r
Vol. XX, No. XX, XXXX]

16

Edinson Fuentes & Luis E. Garza

As a consequence, by the orthogonality of Tr (x), we obtain for the nth moments with
n
/

n ,
if 0 n < rm ,

(33)

n =
R1
P

(x)dx
, if
rm n,
n + 2 r Mr 1 xn Tr1x
2
Furthermore (see [6]), we have
Tr (x) =

[r/2]
r X (1)k (r k 1)!(2x)r2k
, r = 1, 2, 3, ...,
2
k!(r 2k)!
k=0

where [r/2] = r/2 if r is even and [r/2] = (r 1)/2 if r is odd. Therefore,

Z

xn Tr (x)

r
dx
=
2
2
1x
=

[r/2]

xn

X (1)k (r k 1)!(2x)r2k
dx

k!(r 2k)!
1 x2
k=0

Z
[r/2]
r X (1)k (r k 1)!(2)r2k 1 r+n2k dx

x
,
2
k!(r 2k)!
1 x2
1
k=0

and, since
Z

if

dx
0,
if
=
xk

1
x2
1




Qk/2 k(2i1) , if
i=1 k2(i1)

As a consequence, (33) becomes

n ,

n =
P

n + 2 r Mr B(n, r),

k = 0,
k is odd,
k is even,

if

0 n < rm ,

if

rm n,

(34)

where

si r + n 2k = 0,

[r/2] 
r X (1)k (r k 1)!(2)r2k
B(n, r) =
,
2
k!(r 2k)!
k=0

si r + n es impar entonces B(n, r) = 0,

si r + n es par,

[r/2]
r X (1)k (r k 1)!(2)r2k
B(n, r) =
2
k!(r 2k)!
k=0

(r+n2k)/2

i=1

r + n 2k (2i 1)
.
r + n 2k 2(i 1)
[Revista Integracin

17

xxxxxxxxx xxxxx

X


Of previous proposition we can to conclude that perturbation of the moments cr and cr

with r of a measure supported in the unit circle results in a perturbation, defined
by (32), of the moments n associated with a measure supported in [1, 1], when both
measures are related through the inverse Szego transformation.

5.

Example

Sea L una transformacin de Christoffel de la medida normalizada de Lebesgue con

parametro 1 para la cual se perturbar el momento uno, es decir, = {1}
1 hp(z), zq(z)iL . (35)
hp(z), q(z)iL1 = h(z1)p(z), (z1)q(z)iL +M1 hzp(z), q(z)iL + M

La OPSM asociada con h(z 1)p(z), (z 1)q(z)iL es

n
1 n+1
1 X j
n (z) =
z , n 1,
z

z1
n + 1 j=0
n
n1 (z), n 1,
n+1

n
X
1
1
n (z) =
z j+1 , n 1,
1
1z
n + 1 j=0
n (z) = z n +

adems si 0 s n,

(s)
n (0) =
(s)
n (0) =

s!(n + 1 s)
,
(n + 1)

kn =
si 0 t n 1,
(0,t)

Kn1 (z, 0) =

(s + 1)!
,
(n + 1)

n+2
,
n+1

n1
X
p=t

y si 0 s n 1,
(s,t)

Kn1 (0, 0) =

n1
X

(t + 1)!
p (z),
p+2

p=max{s,t}

(t + 1)!(s + 1)!
,
(p + 1)(p + 2)

as, para el primer momento tenemos

a(s,l)1 =

Vol. XX, No. XX, XXXX]

(s + 1)!(l + 2)
l!

n1
X

p=max{s,l+1}

1
,
(p + 1)(p + 2)

18

Edinson Fuentes & Luis E. Garza

c(s,l)1 =

b(s,l)1 = M1

(s + 1)!(l + 2)
l!

(s + 1)!
(l 1)!
n1
X

p=max{s,l+1}

n1
X

p=max{s,l1}

1
,
(p + 1)(p + 2)

1
(s + 1)!
+M 1
(p + 1)(p + 2)
(l 1)!

Determinemos {n }n0 , de (28) y de lo anterior c(s,n)1 =

(0)

n (0)
(1)
n (0)
..
.

1
Wn =

(n2)
n
(0)
(n1)
n
(0)
1!

(n+1)
2!
(n+1)

..
.

(n1)!
(n+1)
n!
(n+1)

c(0,n)1
c(1,n)1
..
.

M 1 n!

c(n2,n)

1
c(n1,n)1

1!

M 1 n!

n!(n+1)
2!
n!(n+1)

..
.

(n1)!
n!(n+1)
n!
n!(n+1)

n1
X

p=max{s,l1}

1
.
(p + 1)(p + 2)

(s+1)!
n!(n+1) ,

1!
2!
..
.

(1 M 1 )

n
+
1

(n 1)!

n!

Observe que si M 1 = 1 entonces W1n = 0, y as segn (21) se tiene

(0,n1)

Kn1 (z, 0)
(n 1)!
n
n
n
=z +
n1 (z)
n1 (z)
n+1
n+1
= z n.

n (z) = n (z)

De igual manera al sustituir W1n en (23)

(n1)

(0)
n = kn + n
k
(n 1)!
n + 1 (n 1 + 1)
+
=
n+1
n+1
= 2.
Concluimos que al perturbar el primer momento de la OPSM {n (z)}n0 obtenemos la
n = 2.
OPSM {n (z)}n0 = {z n }n0 con k

Continuando con el caso general tenemos,

b(0,n2)1
b(0,1)1
M1 a(0,0)1
M1 a(1,0)1

b
b
(1,n2)1
(1,1)1

..
..
..
..
S1n =
.
.
.
.

M1 a(n2,0) b(n2,1) b(n2,n2)

1
1
1
M1 a(n1,0)1 b(n1,1)1 b(n1,n2)1

M 1 c(0,n1)1
M 1 c(1,n1)1
..
.
M 1 c(n2,n1)1
M 1 c(n1,n1)1

[Revista Integracin

19

xxxxxxxxx xxxxx

para n 2

1
Kn1 (z, 0) =

2M1
0!
3M1
1!

nM1
(n2)!

Pn1

Pn1

p (z)
p=2 p+2

Pn1

p (z)
p=n1 p+2
M1
(n2)!

p (z)
p=1 p+2
M1
0!

Pn1

p (z)
p=0 p+2

+
..
.
M1 Pn1
+ (n3)!
p=n3

p (z)
p+2

Pn1

p (z)
p=n2 p+2

Algunos elementos de la sucesin de polinomios ortogonales es son

El polinomio de grado cero es

0 (z) = 0 (z) = 1,
porque r = 1 > 0 = n, este polinomio permanece invariante.
El polinomio de grado uno es
(0,0)

M 1 K0 (z, 0)
0!1!
(1 M 1 )
0 (z),
=z+
2

1 (z) = 1 (z)

porque K10 (z, 0) = 0.

El polinomio de grado dos es

1 M1

2 (z) = 2 (z)
[1! 2!]
3


M1
3

+1

2M1
3

2M 1
3
M1
3

2z + 1 M 1
M1 + M 1 |M1 |2 + 3


(1 M 1 ) 61 (z) 3M 1
.
= z2 +
3
det(I2 + S12 )
= z 2 + (1 M 1 )

+1


1 T

2M1
3 (z

+ 12 )

2M 1
3 (z

+ 2)

2M 1 1 (z)
3

En general el polinomio de grado n-simo es

T
1!

T
(1 M 1 )
n
nM 1
2! 
1
n1 (z)
n1 (z)
n (z) = z n +
.. (In + Sn )1 K1n1 (z, 0)
n+1
n+1 .
n+1
n!

T
1!

2! 


(1 M 1 )

1 1 T
n
1

=z +
nn1 (z) . (In + Sn )
Kn1 (z, 0)

.
.
n+1
.

n!
Vol. XX, No. XX, XXXX]

20

Edinson Fuentes & Luis E. Garza

Observe que al hacer M1 = 0 se tiene que n (z)=n (z).

Suponiendo que el funcional (35) es definido positivo, la medida asociada es
d = |z 1|2

d
d
+ 2Re(M1 z) .
2
2

Los respectivos momentos

cn =

2,

1 + M 1 ,

1 + M1 ,

0,

if

n = 0,

if

n = 1,

if

n = 1,

in other case,

as la matriz de Toeplitz es

e =
T

1 + M 1
2
1 + M1
0
..
.

2
1 + M1
0
0
..
.

0
1 + M 1
2
1 + M1
..
.

0
0
1 + M 1
2
..
.

..
.

observe que solo se esta perturbando la primer subdiagonal , adems si M1 = 1 todos

los momentos son cero a excepcin de los momentos de la diagonal principal, est nueva
matriz Toeplitz
corresponde a la matriz de la medida normalizada de Lebesgue. Como
q
1x
2
d = 1+x dx es la medida asoaciada bajo la transformacin de Szego inversa de la
d
medida d = |z 1|2 2
, entonces segn (31) la medida con soporte en [1, 1] es

2
d
=

2
1
1x
dx.
dx + M1 T1 (x)
1+x

1 x2

(36)

Al tomar M1 = 1, se convierte en la medida de los polinomios de Chebyshev de primera

especie
dx
2
d
=
,
1 x2
cuyos momentos son (ver[3])

n =

Q n2

2,

if

0,

if n es impar,

n(2i1)
i=1 n2(i1) ,

n = 0,

if n es impar.
[Revista Integracin

21

xxxxxxxxx xxxxx

En general los momentos perturbados generados por la medida (36) son

n =

References

2,
2(M1 1)
2

Q n+1
2

Q n2

n+1(2i1)
i=1 n+12(i1) ,

n(2i1)
i=1 n2(i1) ,

if

n = 0,

if

n es impar,

if

n es par.

[1] Castillo K., Garza L.E. and Marcelln F., Linear spectral transformation, Hessenberg matrices and orthogonal polynomials, Rend. Circ. Mat. Palermo. vol. 82 (2015), no. 2, 3-26.
[2] Castillo K., Garza L.E. and Marcelln F., Pertubations on the subdiagonals of Toeplitz
matrices, Linear Algebra Appl. vol. 434 (2011), no. 6, 1563-1579.
[3] Fuentes E., Garza L.E., Analysis of perturbations of moments associated with orthogonality linear functionals through the Szego transformation, Rev. Integr. Temas Mat. vol. 33
(2015), no. 1, 61-82.
[4] Garza L., Hernndez J., Marcelln F., Spectral transformations of measures supported on
the unit circle and the Szego transformation, Numer. Algorithms, vol. 49 (2008), 169-185.
[5] Grenander U., Szego G., Toeplitz Forms and their Applications, second ed., University of
California Press, Berkeley 1958, Chelsea, New York, 1984.
[6] Kreyszig E., Introduction to functional analysis with applications, John Wiley & Sons Inc.,
New York, 1989.
[7] Marcelln F., Quintana Y., Polinomios ortogonales no estndar. Propiedades algebraicas y
analticas, XXII Escuela Venezolana de Matemticas, 2009.
[8] Peherstorfer F., A special class of polynomials orthogonal on the circle including the associated polynomials, Constr. Approx. vol. 12 (1996), 161-185.
[9] Simon B., Orthogonal Polynomials on the unit circle, 2 vol. Amer. Math. Soc. Coll. Publi.
Series. vol 54, 2005.
[10] Szego G., Orthogonal Polynomials, Amer. Math. Soc. Colloq. Publ. Ser. 23, fourth ed.,
1975.

Vol. XX, No. XX, XXXX]