Análisis de Perturbación de Momentos Asociados A Funcionales de Ortogonalidad Atravez de La Transformación Szego

lisis de perturbaciones de momentos
Ana
asociados a funcionales de ortogonalidad
s de la transformacio
n Szego
a trave
Edinson Fuentes
ticas
Licenciado en Matema
digo: 01830514
Co
Universidad Nacional de Colombia

Facultad de Ciencias
ticas
Departamento de Matema
, D.C.
Bogota
2014
lisis de perturbaciones de momentos

Ana
asociados a funcionales de ortogonalidad
s de la transformacio
n Szego
a trave
Edinson Fuentes
ticas
Licenciado en Matema
digo: 01830514
Co
Trabajo de grado para optar al ttulo de

ticas
Magster en Ciencias-Matema
Director
Ph.D. Luis Enrique Garza Gaona
Codirector
as Ruiz
Ph. D. Herbert Alonso Duen
n
Lnea de investigacio
Polinomios Ortogonales
Universidad Nacional de Colombia

Facultad de Ciencias
ticas
Departamento de Matema
, D.C.
Bogota
2014
Ttulo en espa
nol
Analisis de perturbaciones de momentos asociados a funcionales de ortogonalidad a traves
de la transformaci
on Szeg
o.
Title in English
Analysis of perturbations of moments associated with orthogonality linear functionals
through the Szeg
o transformation.
Resumen: En esta contribucion, analizamos perturbaciones a una sucesion de momentos
asociada a un funcional lineal de ortogonalidad que puede ser representado por una
medida positiva con soporte en [1, 1]. En particular, dada una cierta perturbaci
on a
dicha medida en la recta real, analizamos la perturbacion obtenida en la correspondiente
medida en la circunferencia unidad, donde dichas medidas estan relacionadas por la
transformaci
on de Szeg
o. Se muestra que la perturbacion aplicada puede ser expresada en
terminos de la parte singular de las medidas, y tambien a traves de las correspondientes
sucesiones de momentos.
Abstract: In this contribution, we consider perturbations to a sequence of moments
associated with an orthogonality linear functional that can be represented by a positive
measure supported in [1, 1]. In particular, given a perturbation to such a measure on
the real line, we analyze the perturbation obtained on the corresponding measure on
the unit circle, when both measures are related through the Szegos transformation. We
show that the perturbation applied can be expressed in terms of the singular part of the
measures, and also in terms of the corresponding sequences of moments.
Palabras clave: Polinomios ortogonales, funcion de Stieltjes y Caratheodory, matriz de
Hankel y Toeplitz, transformacion Szego.
Keywords: Orthogonal polynomials, Stieltjes and Caratheodory function, Hankel and
Toeplitz matrix, Szeg
os transformation.
Nota de aceptaci
on
Trabajo de grado
Aprobado
Mencion Meritoria
Jurado
Ph.D. German Preciado Lopez
Director
Ph.D. Luis Enrique Garza Gaona
Codirector
Ph.D. Herbert Alonso Due
nas Ruiz
Bogot
a, D.C., Diciembre de 2014
Agradecimientos
Un agradecimiento especial a los profesores Luis Enrique Garza Gaona y Herbert

Alonso Due
nas Ruiz, por la colaboracion, paciencia, apoyo en el desarrollo y culminaci
on
del trabajo de maestra.
Tambien quiero agradecer al profesor Luis Alfonso Salcedo Plazas director de la
escuela de matem
aticas de la Universidad Pedagogica y tecnologica de Colombia, por la
colaboraci
on al momento del ingreso a la universidad Nacional de Colombia y por darme
el tiempo necesario para realizar los estudios de maestra en ciencias matematicas.
Un agradecimiento tambien lo merecen los diferentes amigos, compa
neros y profesores
con los cuales tuve la oportunidad de interactuar estos dos u
ltimos a
nos, durante el
transcurso de la maestra, de los cuales aprend mucho.
Finalmente quisiera agradecer a mi esposa Martha Leonor Saiz Saenz y a mi hijo
Edinson Samuel Fuentes Saiz por su constante animo y amor.
Indice general
Indice general
Introducci
on
III
1. Polinomios ortogonales en la recta real
1.1. Preliminares de polinomios ortogonales en la recta real . . . . . . . . . . . . . . .
1.2. Transformaciones espectrales lineales en la recta real . . . . . . . . . . . . . . . . .
1.3. Perturbaci
on de una antidiagonal de la matriz de Hankel . . . . . . . . . . . . . . 10
2. Polinomios ortogonales en la circunferencia unidad
16
2.1. Preliminares de polinomios ortogonales en la circunferencia unidad . . . . . . . 16

2.2. Transformaciones espectrales lineales en la circunferencia unidad . . . . . . . . 20
2.3. Perturbaci
on de una subdiagonal de la matriz de Toeplitz . . . . . . . . . . . . . 27
3. Transformaci
on de Szeg
o
32
3.1. Transformaci
on de Szego . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2. Factorizaci
on LU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4. An
alisis de perturbaci
on de momentos a trav
es de la transformaci
on de
Szeg
o
37
4.1. An
alisis de la perturbacion de momentos a traves de la transformacion de
Szeg
o cuando se perturba solo el momento j-esimo en [1, 1] . . . . . . . . . . . 37
4.1.1. Aplicaci
on de la transformacion de Szego . . . . . . . . . . . . . . . . . . . . 38
4.1.2. Momentos perturbados en la circunferencia unidad . . . . . . . . . . . . 39
4.1.3. Parte absolutamente continua de la medida generada en la circunferencia unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.1.4. An
alisis de la perturbacion del momento cero . . . . . . . . . . . . . . . . . 42
4.1.5. An
alisis de la perturbacion del momento uno . . . . . . . . . . . . . . . . . 43
I
Indice general
4.2. An
alisis de perturbacion de momentos a traves de la transformacion de
Szeg
o cuando se perturba del momento j-esimo en adelante en [1, 1] . . . . . 45
4.2.1. Construcci
on del funcional que perturba del momento j-esimo en
adelante en [1, 1] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.2.2. Aplicaci
on de la transformacion de Szego . . . . . . . . . . . . . . . . . . . . 47
4.2.3. Parte absolutamente continua de la medida generada en la circunferencia unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.2.4. An
alisis de la perturbacion del momento cero . . . . . . . . . . . . . . . . . 50
5. Conclusiones
52
Bibliografa
56
II
Introducci
on
La teora de polinomios ortogonales respecto a medidas cuyo soporte se encuentra en

la recta real tiene un amplio espectro de aplicaciones, tales como integracion numerica,
sistemas integrables, metodos espectrales para el tratamiento de problemas de valores en
la frontera, teora de grafos, etc. En los u
ltimos a
nos, se han estudiado las propiedades
espectrales de las matrices de Jacobi asociadas a dichos polinomios ortogonales que
representan, en forma matricial, el operador de multiplicacion respecto a una base de
polinomios ortogonales. Con respecto a esto, en [13] y [16] se pone de manifiesto una
conexi
on entre perturbaciones de medidas y la factorizacion LU de las matrices de Jacobi
correspondientes, as como la relacion entre las funciones de Stieltjes asociadas, de gran
importancia en el estudio de los polinomios ortogonales, que act
uan como funciones
generadoras de la sucesi
on de momentos asociada con la medida.
Dichas perturbaciones han sido estudiadas en el marco de las llamadas transformaciones de Darboux, que tienen su origen en el problema biespectral. En su formulaci
on
original, dicho problema consiste en obtener una descripcion de todas las situaciones en las
que un par de operadores diferenciales en dos variables distintas tienen una autofunci
on
diferencial com
un. El uso de la transformacion de Darboux para convertir un operador
diferencial de segundo orden en otro fue llevado a cabo por primera vez en [5]. Dicha
transformaci
on consiste en factorizar el operador diferencial de segundo orden como un
producto de dos operadores diferenciales de primer orden, y luego cambiar el orden de
los factores, obteniendo un nuevo operador diferencial de segundo orden. Una conexi
on
con los polinomios ortogonales surgio mas tarde en [8], donde se muestra que todos los
operadores diferenciales con soporte en [1, 1] y los operadores diferenciales de segundo
orden que satisfacen el problema espectral resultan de un cambio en la variable n en la
relaci
on de recurrencia que satisfacen los polinomios ortogonales clasicos. Casi al mismo
tiempo, se consider
o la matriz Jacobi monica correspondiente a la transformacion de
Uvarov, en el contexto del an
alisis espectral de ecuaciones diferenciales lineales de cuarto
orden con coeficientes polin
omicos. Las soluciones polinomicas de dichas ecuaciones
diferenciales son los llamados polinomios ortogonales de Krall, que se obtuvieron a partir
de los polinomios ortogonales clasicos por medio de una combinacion de dos procesos
llamados transformaci
on de Darboux y transformacion de Darboux sin parametro (algo
mas de historia y referencias se puede ver en [6] pp. 1-5).
El estudio de los polinomios ortogonales con respecto a una medida de probabilidad
no trivial, soportada en la circunferencia unidad T = {z C : |z| = 1} fue iniciado por G.
III
Introduccion
Szeg
o en una serie de artculos publicados entre 1915 y 1925 (ver [14]). Posteriormente,
Ya. L. Geronimus extendi
o esta teora en un contexto mas general de ortogonalidad
respecto a funcionales, basado en la teora clasica de funciones de variable compleja. Un
eje importante de actividad investigadora en la decada de los cincuenta fue el estudio
de la conexi
on con el problema trigonometrico de momentos y la teora de procesos
estoc
asticos estacionarios dicretos. Mas tarde, en los a
nos ochenta, se analiza el problema
desde una perspectiva algebraica ligada al problema de factorizacion de matrices de
Hessenberg (la representaci
on matricial del operador de multiplicacion respecto a la
base de polinomios ortogonales en la circunferencia unidad) de dimension finita. De
la misma manera, aparece una abundante bibliografa en teora de sistemas lineales
relacionados con polinomios ortogonales sobre la circunferencia unidad, en el marco de
los generadores de espacio de estado (algo mas de historia y referencias se puede ver en [6]).
El inicio del siglo XXI esta marcado con la aparicion de los dos vol
umenes de la
monografa de B. Simon [12], que constituyen la descripcion mas exhaustiva del estado
del arte en la teora de polinomios ortogonales en la circunferencia unidad hasta la fecha.
Uno de los resultados m
as importantes es el tratamiento de la representacion matricial del
operador de multiplicaci
on respecto a bases ortonormales en el espacio de los polinomios
de Laurent = span{z k : k Z} construidas a partir del proceso de ortonormalizaci
on
de Gram-Schmidt de las familias S = {1, z, z 1 , z 2 , z 2 , . . .} y T = {1, z 1 , z, z 2 , z 2 , . . .}.
La matriz resultante, conocida como matriz CMV, es pentadiagonal y admite una
factorizaci
on en terminos de dos matrices diagonales por bloques, de dimension 2 2
la primera y de un u
nico bloque de dimension 1 1 y los restantes de dimension 2 2
la segunda, cuyos elementos pueden ser expresados en terminos de los coeficientes de
Verblunsky.
Tambien es posible establecer una conexion entre medidas soportadas en el intervalo
[1, 1] de la recta real y medidas soportadas en la circunferencia unidad, conocida en la
literatura como transformaci
on de Szego. En [11] y [14] se muestra no solamente c
omo
estan relacionadas dichas medidas, sino tambien la relacion existente entre las familias
de polinomios ortogonales correspondientes, as como la relacion entre las familias de
par
ametros de la relaci
on de recurrencia de los polinomios ortogonales en la recta real y la
familia de coeficientes de Verblunsky asociados a la medida soportada en la circunferencia
unidad. La transformaci
on de Szego relaciona la funcion de Stieltjes asociada con una
medida con soporte en el intervalo [1, 1] y la funcion de Caratheodory asociada con
una medida con soporte en la circunferencia unidad, de la siguiente manera
Z
1 z 2 1 d(t)
1 z2
F (z) =
=
S(x),
(1)
2z
2z
1 x t
1
con x = z+z2 , z = x + x2 1. En [7] los autores muestran que cuando se tiene una
transformaci
on de Christoffel, Uvarov o Geronimus en el intervalo [-1,1] y se aplica la
transformaci
on de Szeg
o, se obtiene una transformacion Christoffel, Uvarov y Geronimus,
respectivamente, en la circunferencia unidad.
En [1] los autores analizan una perturbacion de la matriz de Hankel, que consiste en la
modificaci
on del momento jesimo. Asociada con esta perturbacion obtienen una nueva
IV
Introduccion
funci
on de Stieltjes S(x)
en funcion de la inicial S(x), dada por
Sj (x) = S(x) +
m
, m R.
(x a)j+1
(2)
De manera an
aloga, en [2] se analiza la perturbacion del momento jesimo de la matriz
de Toeplitz (matriz de momentos en T asociada con un funcional lineal Hermitiano L),
es decir, se perturba el j-esimo momento u
nicamente. Con esta perturbacion se obtiene
e
una nueva funci
on de Caratheodory F (z) en terminos de la funcion original F (z) de la
siguiente manera
Fj (z) = F (z) + 2M z j , M C.
(3)
Este trabajo est
a dedicado a analizar que sucede al aplicar la transformacion de Szeg
o
(1) a la funci
on de Stieltjes (2) asociada a una medida con soporte en el intervalo [1, 1].
Es decir, determinar que tipo de transformacion se obtiene en la correspondiente funci
on
de Caratheodory en la circunferencia unidad. Tambien se presentan algunos ejemplos
ilustrativos. La parte novedosa de este trabajo consiste en usar la transformacion de
Szeg
o para analizar la relaci
on existente entre los momentos de una SPO en [1, 1] y los
momentos asociados con una SPO en T.
En el captulo 1 se presentan conceptos basicos sobre polinomios ortogonales en
la recta real y se enuncian algunas de sus propiedades basicas. Ademas se mostrar
an
algunas transformaciones can
onicas de medidas clasicas como lo son las transformaciones
de Christoffel, Uvarov y Geronimus en terminos de la funcion de Stieltjes. Tambien se
muestra c
omo se perturba tan solo un momento de la matriz de Hankel asociado a un
funcional L, y se formula su nueva funcion de Stieltjes.
En el captulo 2 se presentan conceptos basicos sobre polinomios ortogonales en la
circunferencia unidad, enunciando algunas de sus propiedades e introduciendo transformaciones de medidas cl
asicas analogas al caso real, y su funcion de Caratheodory.
Tambien se muestra c
omo se perturba tan solo un momento de la matriz de Toeplitz
asociado a un funcional L, y se enuncia su correspondiente funcion de Caratheodory.
El captulo 3 est
a dedicado a la transformacion de Szego, que establece una relaci
on
entre medidas soportadas en el intervalo [1, 1] de la recta real y ciertas medidas soportadas en la circunferencia unidad. De igual manera, existe una relacion entre los coeficientes
de la relaci
on de recurrencia a tres terminos para los polinomios ortogonales en la recta
real y los par
ametros de Verblunsky asociados a la correspondiente medida soportada en
la circunferencia unidad. Se muestra una manera sencilla de calcular dichos parametros de
Verblunsky, que est
a relacionada con la factorizacion LU de la matriz de Jacobi asociada
con la medida en la recta real. Por otra parte, se muestra de manera explcita la relaci
on
que existe entre la funci
on de Stieltjes y la funcion de Caratheodory asociadas a medidas
soportadas en la recta real y la circunferencia unidad.
En el captulo 4 se analiza que tipo de transformacion se obtiene en la circunferencia
unidad por medio de su correspondiente funcion de Caratheodory, cuando aplicamos la
transformaci
on de Szeg
o, a una funcion de Stieltjes asociada a una medida (x), cuyo
soporte se encuentra en el intervalo [1, 1].
V
CAPITULO
Polinomios ortogonales en la recta real
En este captulo se presentan conceptos basicos sobre polinomios ortogonales en la

recta real y se enuncian algunas de sus propiedades basicas. Ademas se mostraran algunas transformaciones can
onicas clasicas de medidas como lo son las transformaciones de
Christoffel, Uvarov y Geronimus, en terminos de la funcion de Stieltjes.
En la u
ltima parte se muestra como se perturba tan solo un momento de la matriz de
Hankel asociado a un funcional L, y se formula su nueva funcion de Stieltjes, posteriormente esta u
ltima funci
on se usara para estudiar el comportamiento de estos polinomios
cuando se aplica la transformacion de Szego directa.
1.1. Preliminares de polinomios ortogonales en la recta real

Las siguientes definiciones y teoremas se pueden consultar en [3] y [14].
Sea {n }n0 una sucesi
on de n
umeros complejos y sea L un funcional lineal definido en el
espacio P de los polinomios con coeficientes complejos tal que:
hL, xn i = n , n 0.
(1.1)
Este funcional L es llamado funcional lineal de momentos, y los n

umeros complejos
{n }n0 son los momentos asociados a L.
Definici
on 1.1.1. Una sucesi
on de polinomios {pn (x)}n0 , donde
pn (x) = n xn + n xn1 + , n 6= 0, n 0,
es llamada una sucesi
on de polinomios ortogonales (SPO) con respecto a un funcional
lineal L, si para todo entero no negativo n y m, se tiene
1. pn (x) es un polinomio de grado n,
2. hL, pm (x)pn (x)i = 0, para m 6= n,
3. hL, pn (x)pn (x)i = hL, p2n (x)i =
6 0, n 0.
Captulo 1. Polinomios ortogonales en la recta real

La correspondiente sucesi
on de polinomios ortogonales monicos (SPOM) denotada
por {Pn (x)}n0 , cuyo coeficiente principal es igual a 1, se define por
Pn (x) =
pn (x)
.
n
Definici
on 1.1.2. La matriz de Gram asociada con la forma bilineal del funcional lineal
(1.1) respecto a la base can
onica {xn }n0 de P, est
a definida mediante
0
1
n
1
2 n+1
..
..
..
..
i+j
.
.
.

H = [hL, x i]i,j=0,1,... = [i+j ]i,j=0,1,... = .
(1.2)
.
n n+1 . . . 2n . . .
..
..
..
..
..
.
.
.
.
.
Las matrices de este tipo, con valores constantes a lo largo de las anti diagonales, son
conocidas en la literatura como matrices de Hankel.
Teorema 1.1.1. Sea L un funcional de momentos con sucesi
on de momentos {n }n0 .
Una condici
on necesaria y suficiente para la existencia de una sucesi
on de polinomios
ortogonales con respecto a L es

0
1
n

1
2 n+1

n = det Hn = det(i+j )ni,j= = .
..
.. 6= 0, n 0.
..
..
.
.
.

n n+1 . . . 2n
Hn es la submatriz principal de la matriz de Gram de tama
no (n + 1) (n + 1).
Definici
on 1.1.3. El funcional L es llamado cuasi-definido si n 6= 0 para todo n 0.
Definici
on 1.1.4. Se dice que el funcional de momentos L es definido positivo, si
L[(x)] > 0 para todo polinomio (x) que no es identicamente cero y es no negativo
para todo x R.
Teorema 1.1.2. L es definido positivo si y solo si los momentos son todos reales y n > 0
para todo n 0.
Si el funcional L es definido positivo, entonces existe una u
nica sucesion de polinomios
pn (x) = n xn + n xn1 + , n > 0, n 0,
que satisface
hL, pn (x)pm (x)i = n,m ,
en este caso {pn (x)}n0 es llamada sucesion de polinomios ortonormales asociada a L.
Cuando L es definido positivo, existe una representacion integral (no necesariamente u
nica)
Z
n
hL, x i =
xn d(x),
E
donde es una medida positiva de Borel, no trivial, cuyo soporte E es un subconjunto

infinito de puntos en la recta real.
2

Teorema 1.1.3. La sucesi
on {pn (x)}n0 satisface la siguiente relaci
on de recurrencia a
tres terminos
xpn (x) = an+1 pn+1 (x) + bn pn (x) + an pn1 (x), n 0,
(1.3)
1/2
con las condiciones iniciales p1 (x) = 0, p0 (x) = 0

y donde los coeficientes est
an
determinados por:
Z
n1
an =
xpn1 (x)pn (x)d(x) =
> 0,
n
E
Z
n+1
n
.
bn =
xp2n d(x) =
n n+1
E
La relaci
on de recurrencia a tres terminos (1.3) tiene la representacion matricial
xp(x) = Jp(x),
donde p(x) = [p0 (x), p1 (x), ]t y J es
b0
a1
J = 0
0
..
.
una matriz simetrica tridiagonal
a1 0 0
b1 a2 0
a2 b2 a3
,
0 a3 b3 . . .
.. . .
.. . .
.
.
.
.
que es conocida como matriz de Jacobi [3].

Existe una expresi
on similar usando polinomios ortogonales monicos, as
(x),
xP (x) = JP
donde P (x) = [P0 (x), P1 (x), ]t y J es
b0
a2
1
J = 0
0
..
.
una matriz tridiagonal
1 0 0
b1 1 0
a22 b2 1
,
0 a23 b3 . . .
.. . .
.. . .
. .
.
.
que es llamada matriz de Jacobi monica.

El n-esimo polinomio ortonormal, pn (x),
del determinante de la matriz de Hankel

0

1

1
..
pn (x) =

n n1 .
n1

1
admite la siguiente representacion en terminos
..
.
n
n+1
..
.
n n+1
x
x2
2n1
xn
1
2
..
.
2
3
..
.

, n 0,

con 1 = 1. El coeficiente principal esta dado por el determinante de dos matrices de

Hankel
r
n1
n =
.
n
3

Definici
on 1.1.5. El kernel reproductor de orden nesimo asociado con {pn (x)}n0
est
a definido por
n
X
Kn (x, y) =
pk (x)pk (y), n 0.
k=0
El nombre viene del hecho de que, para cualquier polinomio qn (x) de grado a lo m
as
n, tenemos
Z
qn (x)Kn (x, y)d(x).
qn (y) =
E
Teorema 1.1.4. El kernel reproductor puede representarse de una manera simple en

terminos de los polinomios pn (x) y pn+1 (x) usando la f
ormula de Christoffel-Darboux (ver
[3, 14], entre otros)
Kn (x, y) = an+1
pn+1 (x)pn (y) pn (x)pn+1 (y)

, x 6= y,
xy
que se puede deducir de una manera directa a partir de la relaci

on de recurrencia a tres
terminos (1.3).
Para el caso cuasi-definido, el kernel reproductor esta definido mediante
Kn (x, y) =
n
X
Pk (x)Pk (y)
k=0
L[Pk2 (x)]
La iesima derivada parcial de Kn (x, y) con respecto a x y la jesima derivada parcial

de Kn (x, y) con respecto a y, se denotan por
Kn(i,j) (x, y) =
i+j Kn (x, y)
.
xi y j
Proposici
on 1.1.1. Dos de las propiedades m
as importantes de los ceros de los polinomios
ortogonales son
1. Los ceros de pn (x) son todos reales, simples y est
an localizados en el interior de E.
2. Sean xn,1 < xn,2 < < xn,n los ceros del polinomio pn (x). Los ceros de pn (x) y
pn+1 (x) est
an separados de la siguiente manera
xn+1,i < xn,i < xn+1,i+1 , i = 1, 2, ..., n.
Esta propiedad es llamada entrelazamiento de los ceros.
Ejemplo 1.1.1. Entre los polinomios ortogonales m
as estudiados cabe citar los polinomios
de Jacobi, una familia de polinomios ortogonales en [1, 1] con respecto a la funci
on peso
(1 x) (1 + x) con , > 1. Pueden expresarse mediante
Pn, (x) =
n
(1)n
d
(1
x)
(1
+
x)
((1 x)n+ (1 + x)n+ ).
2n n!
dxn

Como casos particulares , { 12 } se obtienen las familias de polinomios ortogonales
de Chebyshev de primera a cuarta especie, con medidas respectivas dadas por:
1
dx,
1 x2
p
d2 (x) = 1 x2 dx,
r
1x
d3 (x) =
dx,
1+x
r
1+x
d4 (x) =
dx.
1x
d1 (x) =
Cuando = = 0 recuperamos la medida de Lebesgue d(x) = dx en [1, 1], los correspondientes polinomios son llamados polinomios de Legendre.
Cuando = , son conocidos como polinomios de Gegenbauer y su medida es d(x) =
(1 x2 ) dx, (ver [4], pag. 17-18).
1.2. Transformaciones espectrales lineales en la recta real

En esta subsecci
on se consideraran algunas perturbaciones canonicas de medidas, (ver
[7]).
Denotaremos como L un funcional lineal definido positivo, asociado con una medida
de Borel con soporte en alg
un intervalo E de la recta real.
Definici
on 1.2.1. La funci
on de Stieltjes asociada a se define como
Z
d(t)
S(x) =
.
E xt
Cuando L es cuasi-definido, esta funci
on admite el siguiente desarrollo en serie en un
entorno del infinito
X
k
S(x) =
,
xk+1
k=0
donde k son los momentos asociados con , dados por (1.1). En lo sucesivo, supondremos
que 0 = 1.
Ejemplo 1.2.1. Consideremos los polinomios de Chebyshev de primera especie, asociados
con la medida
dx
d =
,
1 x2

donde los momentos son
k = hL, xk i
Z 1
xk
=
dx
1 x2
1
Z
=
cosk ()d
0
,
si
k = 0,
0,
si k es impar,
=

Qk/2 k(2i1) , si k es par.

i=1 k2(i1)
Por lo tanto, la funci
on de Stieltjes para los polinomios de Tchebycheff de primera especie
es
X
k
S(x) =
xk+1
k=0
0 X 2k
=
+
x
x2k+1
k=1
Qk 2k(2i1)
i=1 2k2(i1)
= +
.
x
x2k+1
k=1
Ejemplo 1.2.2. Consideremos los polinomios de Gegenbauer con = = 1, cuya medida

es
d(x) = (1 x2 )dx,
los momentos son
k = hL, xk i
Z 1
=
xk (1 x2 )dx
1
0,
si k es impar,
4
k es par,
(k+1)(k+3) , si
y por la tanto la funci
on de Stieltjes es
S(x) =
=
X
2k
x2k+1
k=0
X
k=0
4
.
(2k + 1)(2k + 3)x2k+1
Definici
on 1.2.2. El funcional delta de Dirac (x ), act
ua de la siguiente manera
h(x ), pn (x)i = pn (), pn P.
6

Dado un funcional lineal L, algunas perturbaciones canonicas son
1. La perturbaci
on d
c = (x)d,
/ supp(), es la llamada transformacion can
onica de Christoffel.
2. La perturbaci
on d
u = d + Mr (x ),
/ supp(), Mr R, es la llamada
transformaci
on can
onica de Uvarov.
d
3. La perturbaci
on d
g = x
+ Mr (x ),
/ supp(), Mr R, es la llamada
transformaci
on can
onica de Geronimus.
Ejemplo 1.2.3. En terminos del funcional lineal, la transformaci

on de Uvarov est
a definida por
hLu , pn (x)i = hL, pn (x)i + Mr h(x ), pn (x)i
= hL, pn (x)i + Mr pn ().
Definici
on 1.2.3. Una transformaci
on espectral racional de una funci
on de Stieltjes S(x),
es una transformaci
on de la forma
A(x)S(x) + B(x)
,
S(x)
=
C(x)S(x) + D(x)
donde A(x), B(x), C(x) y D(x) son polinomios que dependen de x, y AD BC 6= 0. Si
C(x) = 0, se dice que la transformaci
on es lineal.
Las tres perturbaciones can
onicas mencionadas anteriormente corresponden a transformaciones espectrales lineales de las correspondientes funciones de Stieltjes.
De hecho, las funciones de Stieltjes normalizadas correspondientes a las anteriores perturbaciones est
an dadas por:
1. Transformaci
on can
onica de Christoffel
(x )S(x) 1
Sc (x) = Rc ()[S(x)] =
.
1
Ya que
X
k
,
S(x) =
xk+1
k=0
por lo tanto
S(x)
=
k
.
xk+1
k=0
Los momentos asociados a esta perturbacion son
k = hLc , xk i
= hL, (x )xk i
= hL, xk+1 i hL, xk i
= k+1 k ,
(1.4)

donde Lc es el funcional asociado a la transformacion canonica de Christoffel de L.
Sustituyendo
k en S(x) se obtiene:
Sc (x) =
=
X
k+1 k
k=0
X
k=0
xk+1
X k
k+1
,
xk+1
xk+1
k=0
como 0 = 1, entonces
1
1 X k
Sc (x) = x + +
x x
xk+1
!
S(x)
k=0
= (x )S(x) 1,
este u
ltimo resultado lo dividimos por 1 , por lo que
(x )S(x) 1
Sc (x) =
,
1
la cual es la transformacion canonica de Christoffel.
Aqu Sc (x) representa la pertubacion de la medida de probabilidad con soporte en
[1, 1],
x
d
c =
d.
1
Se puede observar que
c tambien es una medida de probabilidad.
2. Transformaci
on can
onica de Uvarov
S(x) + Mr (x )1
Su (x) = Ru (, Mr )[S(x)] =
.
1 + Mr
Ya que
k = hLu , xk i
= hL, xk i + Mr h(x ), xk i
= k + M r k ,
P
sustituyendo
k en Su (x) =
k=0
k
xk+1
se obtiene
X
X
k
k
+
M
r
xk+1
xk+1
k=0
k=0

X
k
Mr X k
=
+
,
x
x
xk+1
Su (x) =
k=0
k=0
(1.5)

como
/ supp() entonces x < 1, y as la serie de la derecha de la ecuaci
on
anterior es un serie geometrica convergente. Como consecuencia,
!
1
M
r
Su (x) = S(x) +
x
1 x
Mr
= S(x) +
.
(x )
Este u
ltimo resultado lo dividimos por 1 + Mr y concluimos
S(x) + Mr (x )1
Su (x) =
,
1 + Mr
que es la transformaci
on canonica de Uvarov.
Aqu Su (x) representa la pertubacion de la medida de probabilidad
d
u =
d + Mr (x )
d.
1 + Mr

u (x) tambien es una medida de probabilidad.
3. Transformaci
on can
onica de Geronimus
S() + Mr S(x)
Sg (x) = Rg (, Mr )[S(x)] =
.
(x )(Mr + S())
(1.6)
Donde Sg (x) representa la pertubacion de la medida de probabilidad g soportada

en [1, 1]
(x )1 d + Mr (x )
.
d
g =
Mr + S()
Se puede verificar que
g tambien es una medidad de probabilidad.
Ejemplo 1.2.4. Consideremos una transformaci
on can
onica de Uvarov para los polinomios de Chebyshev de primera especie,
d
u = d + Mr (x )
dx
=
+ Mr (x ).
1 x2
La transformaci
on espectral de la funci
on de Stieltjes de los polinomios de Chebyshev de
primera especie asociada a la perturbaci
on de Uvarov, segun (1.5) es
Su (x) =
k=1
2k(2i1)
i=1 2k2(i1)
x2k+1
Qk
+ Mr (x )1
1 + Mr
la funci
on de Stieltjes S(x) se obtuvo en el ejemplo 1.2.1.
En [16] se muestra que el grupo de las transformaciones espectrales lineales de la forma
A(x)S(x) + B(x)
S(x)
=
,
D(x)
9

es un grupo no conmutativo generado a partir de las transformaciones de Christoffel y
Geronimus descritas anteriormente. Ademas,
Rc () Rg (, Mr )[S(x)] = S(x) (transformacion identidad).
Rg (, Mr ) Rc ()[S(x)] = Ru (, Mr )[S(x)].
1.3. Perturbaci
on de una antidiagonal de la matriz de Hankel
En esta subsecci
on se asumira que L es un funcional lineal definido positivo, asociado
con una medida de Borel con soporte en alg
un intervalo E de la recta real. En lugar
de considerar la base can
onica de P, consideremos la base {1, (x a), (x a)2 , ...} donde
a R, entonces la nueva sucesion de momentos {n }n0 , asociada con la medida con
soporte en E est
a dada por
n = hL, (x a)n i
n
X
n nj
n
= hL, (1)
a (x)j i
j
j=0
n
X
n
=
(1)n+j anj j ,
j
j=0
de lo que se puede concluir que

n = n +
n1
X
j=0

n
(1)n+j anj j ,
j
(1.7)
donde 0 = 0 .
Ejemplo 1.3.1. Consideremos los polinomios de Chebyshev de primera especie, con la
medida
dx
d
=
,
1 x2
seg
un el ejemplo 1.2.1, los momentos asociados con la base can
onica son
,
si
n = 0,
0,
si n es impar,
n =

Qn/2 n(2i1) , si n es par,

i=1 n2(i1)
en consecuencia los momentos {n }n0 con respecto a la base {1, (x a), (x a)2 , ...} son
[(n1)/2]
n = n +
X
j=0

n
(1)n+2j an2j 2j .
2j
10

Ejemplo 1.3.2. Los momentos con respecto a la base {1, (x a), (x a)2 , ...} para los
polinomios de Gegenbauer ( = = 1) son
n = hL, (x a)n i
Z 1
n1
X n Z 1
n
2
x (1 x )dx +
(1)n+j anj xj (1 x2 )dx
=
j
1
1
j=0
n1
X n
= n +
(1)n+j anj j .
j
j=0
En el ejemplo 1.2.2 hallamos {n }n0 .

La matriz de Hankel asociada a L en la nueva base esta dada por,
0
1
n
1
2 n+1
Hn = .
..
.. , n 0.
.
.
.
.
.
.
.
n n+1 . . . 2n
As, si L es un funcional lineal de momentos cuasi-definido, entonces los polinomios

0

1
2
n

1

2
3
n+1

1
..

.
.
.
..
..
..
..
Qn (x) =
= .
, n 0,
.

det Hn
n1
n
n+1
...
2n1

1
(x a) (x a)2 (x a)n
costituyen una sucesi
on de polinomios ortogonales monicos con respecto a L, usando la
1
nueva base , con
Qn (x) = Pn (x a).
Ahora se definir
a un funcional que perturba solo un momento de la matriz de Hankel.
Antes necesitamos enunciar algunas definiciones.
Definici
on 1.3.1. Dado un funcional lineal L, la derivada distribucional DL (ver [15])
est
a dada por
hDL, pi = hL, p0 i, p P.
Si j es un entero no negativo, la jesima derivada distribucional se define por
hDj L, pi = (1)j hL, p(j) i, p P.
En particular, para el funcional (x a) la jesima derivada distribucional resulta ser
hDj (x a), pi = (1)j p(j) (a).
1
Observe que al realizar un cambio en la base resulta una perturbaci
on en todos los elementos de la
matriz de Hankel con respecto a la base original.
11

Definici
on 1.3.2. Sea L un funcional cuasi-definido entonces definimos el funcional lineal
de momentos Lj , por
hLj , pn (x)i = hL, pn (x)i + (1)j
= hL, pn (x)i +
mj (j)
hD (x a), pn (x)i
j!
mj (j)
p (a),
j! n
(1.8)
(j)
donde mj y a son constantes reales, pn (x) indica la jesima derivada de pn (x) P.

Si Lj es un funcional definido positivo, entonces la transformacion anterior puede
expresarse en terminos de su correspondiente medida, dada por
d
j = d + (1)j
mj (j)
D (x a),
j!
(1.9)
que se puede ver como una medida de Uvarov generalizada.

Como caso particular consideremos el caso j = 0. En este caso la medida asociada seg
un
(1.9) es
d
0 = d + m0 (x a),
(1.10)
es decir una transformaci
on de Uvarov con, Mr = m0 y = a, y seg
un la ecuacion (1.5)
la transformaci
on espectral de la correspondiente funcion de Stieltjes, sin normalizar es
Su (x) = S(x) +
m0
.
(x a)
(1.11)
Por otro lado, cuando Lj es definido positivo, existe una representacion en forma de
integral, entonces (1.8) se puede escribir de la siguiente manera. Sea j (x) una medida
sobre E que esta definida por
Z
hLj , pn (x)i =
pn (x)dj (x)
ZE
(1.12)
mj (j)
=
pn (x)d(x) +
p (a).
j! n
E
De (1.8) se puede concluir que
k = hLj , (x a)k i
k ,
si k < j,
k + mj , si k = j,
=
k ,
si k > j,
lo cual puede comprobarse f
acilmente, ya que
k = hLj , (x a)k i
= hL, (x a)k i +
= k +
mj
((x a)k )(j) (a)
j!
mj
((x a)k )(j) (a).
j!
Considerando los diferentes casos para k y j, tenemos

Si k < j, al derivar j veces un polinomio de grado k, obtenemos 0 y entonces k = k .
12

Si k = j, al derivar j veces un polinomio de grado j, obtenemos j!, entonces k + mj .
Si k > j, al derivar j veces un polinomio de grado k obtenemos mk(k 1) (x
j 1)(x a)kj y evaluando este polinomio en a obtenemos 0. Por que la base es
{1, (x a), (x a)2 , (x a)3 , ...}, esta es la importancia de usar esta base. Entonces
k = k .
Observe que el funcional Lj perturba el jesimo momento de la matriz de Hankel asociada
a L, es decir, la matriz de Hankel asociada con Lj contiene los mismos momentos n de L
excepto por el jesimo momento que es igual a j + mj , es decir
0
1 j + mj
n
1
2
j+1
n+1
..
..
..
..
..
..
.
.
.
.
.
.
n =
, n 0,
H
j + mj j+1 . . .
2j
. . . j+n
..
..
..
..
..
..
.
.
.
.
.
.
n
n+1 . . .
n+j
. . . 2n
n = Hn +
H
0
0
..
.
0
0
..
.
..
.
mj
0
..
.
mj
..
.
..
.
0
..
.
...
..
.
...
..
.
0
0
..
.
... 0
.
..
. ..
... 0
, n 0.
Si el funcional lineal Lj es cuasi-definido y se denota

la correspondiente funci
on
Ppor S(x)
k
de Stieltjes, entonces se puede relacionar S(x) = k=0 (xa)

y
S(x)
como:
k+1
Sj (x) = S(x) +
mj
.
(x a)j+1
Este resultado se tiene porque la funcion de Stieltjes perturbada es

Sj (x) =
X
k=0
k
,
(x a)k+1
de (1.8) los momentos pertubados son

k = hLj , (x a)k i
k ,
si k 6= j,
k + mj , si k = j,
13
(1.13)
entonces sustituyendo en S(x)

se obtiene,
j
j+1
0
1
0
+
+
+ +
+
+
2
3
j+1
(x a) (x a)
(x a)
(x a)
(x a)j+2
j + mj
j+1
0
1
0
=
+
+
+ +
+
+
2
3
j+1
(x a) (x a)
(x a)
(x a)
(x a)j+2
mj
= S(x) +
.
(x a)j+1
Sj (x) =
Se puede ver la perturbaci

on (1.13) de la funcion de Stieltjes como una transformaci
on
espectral lineal, es decir
A(x)S(x) + B(x)
S(x)
=
D(x)
donde A(x) = (x a)j+1 , B(x) = mj y D(x) = (x a)j+1 ,
Denotaremos esta transformacion mediante
(x a)j+1 S(x) + mj
Sj (x) =
.
(x a)j+1
(1.14)
Observe que (1.11) y (1.13) son las mismas cuando j = 0.

Ejemplo 1.3.3. Consideremos los polinomios de Chebyshev de primera especie. En el
ejemplo 1.3.1 se calcularon los n en la base {1, (x a), (x a)2 , (x a)2 , ...}, y est
an
dados por
n1
Xn
n = n +
(1)n+2j an2j 2j .
2j
j=0
Por la ecuaci
on (1.13), la funci
on de Stieltjes es
mj
(x a)j+1
Pk1 k
k+2j ak2j
X
k + j=0
2j
2j (1)
Sj (x) = S(x) +
=
(x a)k+1
k=0
mj
,
(x a)j+1
donde los {n }n0 son los momentos asociados a los polinomios de Chebyshev de primera
especie (ver ejemplo 1.2.1).
La siguiente proposici
on establece condiciones necesarias y suficientes bajo las cuales
el funcional lineal Lj preserva el caracter cuasi-definido y proporciona la relacion entre las
correspondientes SPOM.
Proposici
on 1.3.1. [1] Sea L un funcional lineal de momentos cuasi-definido y
{Pn (x)}n0 su correspondiente SPOM. Entonces las siguientes afirmaciones son equivalentes
1. El funcional lineal de momentos Lj , definido como en (1.8), es cuasi-definido.
2. Para todo n 0, la matriz Ij + Kj Dj , donde
Dj =
j
j
mj .
..
j!
0
14
..
.
0
.. ,
.
j
0
Kj =
(j,0)
(j1,0)
Kn1 (a, a) Kn1 (a, a)

(j,1)
(j1,1)
Kn1 (a, a) Kn1 (a, a)
..
..
..
.
.
.
(j,j)
(j1,j)
Kn1 (a, a) Kn1
(a, a)
(0,0)
Kn1 (a, a)
(0,1)
Kn1 (a, a)
..
.
(0,j)
Kn1 (a, a)
e Ij es la matriz identidad de tama

no (j + 1) (j + 1), es no singular y
hL, Pn2 (x)i
(j)
Pn (a)
(j1)
Pn
(a)
..
.
Dj (Ij + Kj Dj )1
Pn (a)
Pn (a)
(1)
Pn (a)
..
.
(j)
6= 0.
Pn (a)
Adem
as, si Lj es cuasi-definido y denotamos por {Pn (j; )}n0 su correspondiente
SPOM, entonces
Pn (j; x) = Pn (x) +
(j,0)
Kn1 (a, x)
(j1,0)
Kn1 (a, x)
..
.
(0,0)
Kn1 (a, x)
La demostraci
on se puede ver en [1] pag. 6-7.
15
Dj (Ij + Kj Dj )1
Pn (a)
(1)
Pn (a)
..
.
(j)
Pn (a)
CAPITULO
Polinomios ortogonales en la circunferencia

unidad
En este captulo se presentan conceptos basicos sobre polinomios ortogonales en la

circunferencia unidad, enunciando algunas de sus propiedades e introduciendo transformaciones de medidas an
alogas al caso real, y su funcion de Caratheodory.
En la u
ltima parte se muestra como se perturba tan solo un momento de la matriz de Toeplitz asociado a un funcional L, y se enuncia su correspondiente funcion de Caratheodory.
Esta u
ltima funci
on posteriormente se usara para estudiar el comportamiento de los polinomios en la circunferencia unidad cuando se aplica la transformacion de Szego directa
2.1. Preliminares de polinomios ortogonales en la circunferencia unidad

Las siguientes definiciones y teoremas se pueden consultar en [6], [10] y [12].
Sea L un funcional lineal en el espacio de los polinomios de Laurent ( = span{z k }kZ )
tal que L es hermitiano, es decir
cn = hL, z n i = hL, z n i = cn , n Z.
Los n
umeros complejos {cn }nZ son llamados los momentos asociados a L. Entonces se
puede introducir un funcional bilineal asociado con L en el espacio P = span{z k }kN de
los polinomios con coeficientes complejos mediante
hp(z), q(z)iL = hL, p(z)
q (z 1 )i,
(2.1)
donde p, q P. Denotaremos mediante Pn el subespacio de los polinomios de grado a lo

mas n.
16
Captulo 2. Polinomios ortogonales en la circunferencia unidad

Definici
on 2.1.1. La matriz de Gram asociada a la base can
onica {z n }n0 de P es
c0
c1
cn
c1
c0
cn1
..
..
..
..
.
.
.

T= .
(2.2)
,
cn cn+1 . . .
c
.
.
.
0
..
..
..
..
..
.
.
.
.
.
conocida en la literatura como matriz de Toeplitz.
Definici
on 2.1.2. Se dice que el funcional lineal L es cuasi-definido si las submatrices
principales (Tn )n0 que tienen tama
no (n + 1) (n + 1), son no singulares, es decir

c0
c1
cn

c1
c0
cn1

det Tn = .
.
.. 6= 0, n 0.
..
..
..
.
.

cn cn+1 . . .
c0
Teorema 2.1.1. Si L es cuasi-definido, existe una sucesi
on de polinomios m
onicos
{n }n0 que satisface
1. grad n = n, n 0,
2. hn , m iL = 0, para m 6= n, m, n 0,
3. hn , n iL = Kn , n 0,
donde Kn 6= 0 para todo n. Esta sucesi
on de polinomios se denomina sucesi
on de polinomios ortogonales m
onicos (SPOM) asociados a L.
Definici
on 2.1.3. Si las submatrices principales (Tn )n0 de T tienen determinante positivo, entonces el funcional lineal L se dice definido positivo.
Si L es definido positivo entonces podemos definir un producto interno y en consecuencia una norma
hn , n i = kn k2 = Kn , Kn > 0.
(2.3)
Tambien, todo funcional definido positivo tiene una representacion integral (no necesariamente u
nica)
Z
hL, p(z)i =
p(z)d,
T
donde es una medida de Borel positiva, no trivial, con soporte en la circuferencia unidad
T = {z C : |z| = 1}.
Teorema 2.1.2. La sucesi
on de polinomios ortogonales m
onicos satisface dos relaciones
de recurrencia equivalentes
n+1 (z) = zn (z) + n+1 (0)n (z), n 0,
(2.4)
n+1 (z) = (1 |n+1 (0)|2 )zn (z) + n+1 (0)n+1 (z), n 0.
(2.5)
17

Estas u
ltimas son denominadas relaciones de recurrencia ascendente y descendente, respectivamente, donde n (z) = z n n (z 1 ) es llamado el polinomio recproco. Los n
umeros
complejos {n (0)}n1 se denominan coeficientes de reflexion o coeficientes de Verblunsky
y tienen suma importancia en el estudio de los polinomios ortogonales en la circuferencia
unidad. En el caso donde L sea definido positivo se tiene |n (0)| < 1, para todo n 1.
De (2.4) se puede deducir
n+1 (z) = n (z) + n+1 (0)zn (z),
(2.6)
porque al calcular el conjugado de (2.4) se deduce que

n+1 (z 1 ) =
n (z)
zn
sustituyendo n (z 1 ) =
1
(z 1 ) + n+1 (0)n (z),
z
y n (z) = z n (z 1 ) en el resultado se obtiene
n+1 (z 1 ) =
n (z)
z
+ n+1 (0) n+1 n (z),
n+1
z
z
multiplicando por z n+1 se deduce (2.6).

De ahora en adelante asumiremos que el funcional L es definido positivo.
Sea una medida positiva no trivial de Borel con soporte en la circunferencia unidad T,
entonces existe una sucesi
on (ver [7]) {n }n0 de polinomios ortonormales
n (z) = n z n + , n 0,
que satisface
Z
n (ei )m (ei )d() = m,n , m, n 0.
(2.7)
Los correspondientes polinomios monicos estan definidos por

n (z) =
n (z)
,
n
donde n es el coeficiente principal de n (z). El coeficiente principal esta determinado por

el determinante de dos matrices de Toeplitz
r
det Tn1
n =
, n 1,
det Tn
y de este u
ltimo resultado obtenemos
Kn =
1
det Tn
=
, n 1.
2
n
det Tn1
Por otro lado, el k-esimo momento ck asociado con la medida , esta definido mediante
Z
ck =
eik d(), k Z,
18

y el n-esimo polinomio ortonormal esta dado por

c0
c1
c2

c1
c
c1
0

1

.
.
..
..
n (z) = p

...
det Tn det Tn1
c
c
c
(n1) (n2) (n3)

1
z
z2
..
.

cn
cn1
.. , n 0,
.
c1
zn
con el convenio que det T1 = 1.

Definici
on 2.1.4. El kernel reproductor de orden n-esimo asociado con {n (z)}n0 y
{n (z)}n0 es
n
n
X
X
k (y)k (z)
Kn (z, y) =
k (y)k (z) =
,
Kk
k=0
con Kk = kk
(z)k2
k=0
= hk (z), k (z)iL .
Teorema 2.1.3. El kernel reproductor puede representarse de una manera simple en

terminos de los polinomios n+1 (z) y n+1 (z) usando la f
ormula de Christoffel-Darboux
(ver [10, 12])
Kn (z, y) =
n+1 (y)n+1 (z) n+1 (y)n+1 (z)

, n 0, yz 6= 1.
(1 yz)
Para el caso cuasi-definido, se puede expresar en terminos de los polinomios n+1 (z) y
n+1 (z), mediante
Kn (z, y) =
n+1 (y)n+1 (z) n+1 (y)n+1 (z)

, n 0, yz 6= 1.
Kn+1 (1 yz)
El nombre viene del hecho de que, para cualquier polinomio qn (z) de grado a lo m
as
n, tenemos
Z
qn (y) =
Kn (z, y)qn (z)d(z).
T
por otro lado, tambien se tiene

n (z) = Kn Kn (z, 0), n 0.
La iesima derivada parcial de Kn (z, y) con respecto a z y la jesima derivada parcial
de Kn (z, y) con respecto a y, se denota por
Kn(i,j) (z, y) =
i+j Kn (z, y)
.
z i y j
Ejemplo 2.1.1. Consideremos la medida normalizada de Lebesgue

d() =
19
d
.
2

Los momentos para esta medida son
cn = cn
= hL, z n i
Z
1
=
ein d
2

1, si n = 0,
=
0, si n 6= 0,
y entonces la matriz de Toeplitz de orden n + 1 es

1 0 0

0 1 0

Tn = . . .
,
. . ...
.. ..

0 0 1
y calculando el determinante de Tn , se obtiene que det(Tn ) = 1 > 0 para todo n N.
Por lo tanto su correspondiente sucesi
on de polinomios es
n (z) = n (z) = z n , n 0,
y sus respectivos coeficientes de Verblunsky son n (0) = 0, para n 1.
2.2. Transformaciones espectrales lineales en la circunferencia unidad

Se considerar
an algunas perturbaciones canonicas de medidas (ver [7] y [10] ), las cuales
son an
alogas a las perturbaciones definidas en la recta real.
En esta secci
on L es un funcional lineal definido positivo, asociado con una medida de
Borel con soporte en la circunferencia unidad T = {z C : |z| = 1}.
Definici
on 2.2.1. Dada F : D C funci
on analtica, diremos que F es una funci
on de
Caratheodory si y s
olo si F (0) R y Re(F (z)) > 0 en D = {z C : |z| < 1}.
La funci
on analtica de Caratheodory se puede representar en terminos de los momentos
{cn }nZ asociados con en un entorno del origen, es decir, admite un desarrollo en serie
de Taylor alrededor del origen, de la siguiente manera
F (z) = c0 + 2
ck z k .
(2.8)
k=1
Denominaremos a (2.8) funci

on de Caratheodory asociada al funcional L.
Ejemplo 2.2.1. Consideremos la medida normalizada de Lebesgue. Seg
un el ejemplo
2.1.1, c0 = 1 y cn = 0 para todo n N {0}, entonces
F (z) = 1.
20

Ejemplo 2.2.2. Consideremos la medida
d() =
1
(1 + cos )d, [, ],
cuyos respectivos momentos son
si
k = 0,
2,
1,
si
k=1
o k = 1,
ck =
0, en otro caso,
y entonces la funci
on de Caratheodory es
F (z) = 2 + 2z.
Tambien se puede observar que det(Tn ) = n + 2 > 0 para todo, n N.
Como L es definido positivo, entonces F (z) es analtica en D y Re(F (z)) > 0 en D.
En este caso F (z) se puede representar mediante la transformacion de Riesz-Herglotz de
la medida positiva definida mediante (ver [6])
Z
F (z) =
T
ei + z
d().
ei z
La medida puede descomponerse en una parte que es absolutamente continua con

d
respecto a la medida normalizada de Lebesgue 2
y una medida singular (ver [12]). Si
0
denotamos por () = la derivada de Radon-Nikodyn de respecto a la medida de
Lebesgue y por s la medida singular, entonces
d() = ()
d
+ ds ().
2
(2.9)
Tambien existe una relaci

on entre la funcion de Caratheodory y la parte absolutamente
continua () de la medida (ver [11]).
Si D entonces
F (ei ) lm F (rei ),
r1
y por lo tanto
() = ReF (ei ).
(2.10)
La parte singular de la medida s esta soportada en {| lmr1 Re(rei ) = }.

Dado un funcional lineal L, algunas perturbaciones canonicas de una medida son:
1. La perturbaci
on d
C = |z |2 d, |z| = 1, C, es la llamada transformaci
on
can
2. La perturbaci
on d
U = d + Mc (z ) + M c (z
llamada transformaci
on canonica de Uvarov.
), C {0}, Mc C, es la
d
3. La perturbaci
on d
G = |z|
), C{0}, Mc C, || =
6
2 +Mc (z )+M c (z
1, es la llamada transformacion canonica de Geronimus.
21

Definici
on 2.2.2. Se llamar
a transformaci
on espectral racional de una funci
on de Caratheodory F (z), a una transformaci
on de la forma
A(z)F (z) + B(z)
F (z) =
C(z)F (z) + D(z)
donde A(z), B(z), C(z) y D(z) son polinomios que dependen de z, y AD BC 6= 0. Si
C(z) = 0, la transformaci
on se dice lineal.
Las tres perturbaciones can
onicas mencionadas anteriormente corresponden a transformaciones espectrales lineales de las correspondientes funciones de Caratheodory. Estas tres
transformaciones corresponden, de una manera analoga, a las transformaciones definidas
en el captulo anterior para el caso real.
Las funciones de Caratheodory normalizadas correspondientes a las anteriores perturbaciones est
an dadas por (ver [10]).
1. Transformaci
on can
A(z)F (z) + B(z)
FC (z) = FC ()[F (z)] =
,
D(z)
donde
A(z) =
B(z) =
(2.11)
z 2 + (1 + ||2 )z
,
(1 + ||2 ) 2Rec1
z 2 + (c1 c1 )z +
,
(1 + ||2 ) 2Rec1
D(z) = z.
Ya que
F (z) = c0 + 2
ck z k ,
k=1
y por lo tanto
FeC (z) = e
c0 + 2
e
ck z k ,
k=1
donde e
c0 R, ck C para k Z. Sea LeC la transformacion canonica de Christoffel
de L que satisface
hp, qiLeC = h(z )p, (z )qiL , C.
Calculando los momentos asociados con LeC se obtiene
e
ck = hLeC , z k i
= h1, z k iL
= h(z ), (z )z k iL
= hL, z k i + hL, z (k1) i + hL, z (k+1) i + hL, ||2 z k i
= ck c(k1) c(k+1) + ||2 ck
= (1 + ||2 )ck c(k+1) c(k1) , k Z,
22

en particular tenemos e
c0 = (1 + ||2 )c0 c1 c1 .
Sustituyendo e
c0 y e
ck en FeC (z),
FeC (z) = (1 + ||2 )c0 c1 c1 + 2

(1 + ||2 )ck c(k+1) c(k1) z k
k=1
1
= (1 + || )F (z) (c1 + z(F (z) + c0 )) (c1 + (F (z) c0 2c1 z)),
z
2
y agrupando el termino F (z), se tiene

z 2 + (1 + ||2 )z
z 2 c0 + (c1 c1 )z + c0
FeC (z) =
F (z) +
.
z
z
Si hacemos e
c0 = 1,
z 2 + (c1 c1 )z +
z 2 + (1 + ||2 )z
F
(z)
+
.
FeC (z) =
z((1 + ||2 ) 2Rec1 ))
z((1 + ||2 ) 2Rec1 ))
Este u
ltimo resultado corresponde a la transformacion canonica de Christoffel.
Aqui FeC representa la pertubacion de la medida de probabilidad
de
C =
|z |2
d.
(1 + ||2 ) 2Rec1
(2.12)

eC tambien es una medida de probabilidad.
2. Transformaci
on can
onica de Uvarov.
B(z)
FU (z) = FU (, Mc ) = F (z) +
,
D(z)
(2.13)
donde
B(z) = ( z 2 )(Mc + M c ) (1 ||2 )(Mc M c )z,
D(z) = (z )(z 1).
Para ver esto, sea LeU la transformacion canonica de Uvarov de L que satisface
1
hp(z), q(z)iLeU = hLeU , p(z)q(z)i + Mc h(z ), p(z)q(z)i + M c h(z ), p(z)q(z)i,
con C.
Calculando los momentos asociados con LeU se obtiene,
e
ck = hLeU , z k i
= hL, z k i + Mc h(z ), z k i + M c h(z
), z k i
= ck + Mc k + M c ,
y en particular,
e
c0 = hLeU , 1i
= hL, 1i + Mc h(z ), 1i + M c h(z
= c0 + Mc + M c ,
23
), 1i

sustituyendo e
c0 y e
ck en FeU (z),
FeU (z) = c0 + Mc + M c + 2
(ck + Mc k + M c )z k
k=1

X
1 + 2
= F (z) + Mc
k=0
k !
+ Mc
1 + 2
!
(z)
k=0

2
2
+ M c 1 +
= F (z) + Mc 1 +
z
1 z

1 + z
+z
+ Mc
= F (z) + Mc
z
1 z
= F (z) +
(M c + Mc ) + (1 ||2 )(Mc M c )z (M c + Mc )z 2
(z )(z 1)
= F (z) +
( z 2 )(M c + Mc ) + (1 ||2 )(Mc Mc )z

,
(z )(z 1)
Este u
ltimo resultado corresponde a la transformacion canonica de Uvarov.
Aqui FeU representa la pertubacion de la medida de probabilidad
d
U = d + Mc (z ) + M c (z
).
3. Transformaci
on can
onica de Geronimus.
A(z)F (z) + B(z)
FG (z) = FG (, Mc ) =
,
D(z)
(2.14)
donde
A(z) = z,
D(z) = z 2 + (1 + ||2 )z ,
B(z) = z 2 2iIm(q0 )z ,
c1 . Calculando el kesimo moy q0 es un par
ametro libre definido por q0 = c0
mento, tenemos
ck = hz k , 1iL
= hz k (z ), z iL
ck+1
= ck
ck1 + ck ||2
ck+1
= ck (1 + ||2 )
ck1 , k 0.
Si sk =
ck
k
y qk =
ck
k
ck1
,
k1
entonces la expresion anterior se puede escribir como

sk = qk ||2 qk+1 , k 0,
y, en consecuencia,
qk =
1 k1 ck1
q0 c0 c
, k 1,
||2k
24
(2.15)

as como
q0 = c0
c1 ,
q1 =
q0 c0
c1
=
c0 .
2
||
Luego, q0 es un par
ametro libre. Por tanto,
c1 = q0 ,
c0
c0 q0
c1
=
c0
||2
(2.16)
y

1 ||2 c0 = 2Re(q0 ) c0 ,
es decir, c0 R. Si asumimos || > 1, de (2.16) obtenemos c1 . Por otra parte de
(2.15),
k
X
ck
= c0 +
qj , k 2.
k
j=1
Por lo tanto, tenemos un grado de libertad que es la eleccion de q0 .

Por otro lado si multiplicamos ck por z k , k 1, obtenemos
2
F (z) = c0 1 + ||

c1 c1 + 2 1 + ||2
X
ck z k
k=1
ck+1 z k 2
k=1
ck1 z k
k=1
2X
k
ck z
= 1 + ||
ck z
c1 +
z
k=2
k=0

1
c1 + z(
= 1 + ||2 FG (z) c1 + (FG (z) c0 2
c1 z) (
c0 + FG (z)))
z

c0
2
c1 + c0 z) z
FG (z)
= 1 + || FG (z) + c1 +
FG (z) (
z
z

2
z
= 1 + || z FG (z) +
c1 c1 + c0
z
z

= 1 + ||2 z
FG (z) + c0 q0 c0 + q0 + c0
z .
z
z
2
FG (z) c1 + 2z
Al despejar F (z), hacer c0 = 1 y 2iIm = q0 q0 , se tiene

2 2iIm(q0 )z
zF (z) + z
FG (z) =
.
2 + (1 + ||2 )z
z
(2.17)
Este u
ltimo resultado corresponde a la transformacion canonica de Geronimus.
De 2.17, FG (z) se puede escribir de la siguiente manera
FG (z) =
donde Mr =
zF (z)
+z
r 1 + z ,
+
M
+
M
r
2 + (1 + ||2 )z
z
z
1 z
1 2q0 c0
2 1||2 .
25

La transformaci
on de Uvarov puede expresarse como una composicion de las transformaciones de Christoffel y Geronimus (ver [6]). De hecho,
FG (, Mc ) FC () = FU (, Mc ),
FC () FG (, Mc ) = I (transformacion identidad).
Ejemplo 2.2.3. Consideremos la medida
d() = |z 1|2
d
,
2
es decir, una transformaci

on de Christoffel de la medida normalizada de Lebesgue con
par
ametro 1 (ver [9]). Su correspondiente SPOM con respecto a , est
a dada por
n
1 X j
1 n+1
z
n (z) =
z , n 1,
z1
n+1
j=0
n (z) =
1
1
1
z1
n+1
n
X
z j+1 , n 1,
j=0
y por lo tanto
n (0) =
1
, n 1.
n+1
Ejemplo 2.2.4. En el ejemplo 2.2.1 se mostr

o que la funci
on de Caratheodory para la
medida normalizada de Lebesgue es F (z) = 1. Ahora supongamos que realizamos una
transformaci
on de Christoffel a esta medida con par
ametro = 1, entonces de acuerdo a
la ecuaci
on (2.12) la medida perturbada es
|z 1|2
d()
1 + |1|2
|z 1|2 d
=
.
2
2
d
() =
Por un lado, la transformaci

on can
onica de Christoffel de acuerdo a (2.11) es
A(z) =
z 2 + (1 + ||2 )z
z 2 + 2z 1
=
,
(1 + ||2 ) 2Rec1
2
B(z) =
z 2 + (c1 c1 )z +
z 2 + 1
=
,
(1 + ||2 ) 2Rec1
2
D(z) = z.
entonces
A(z)F (z) + B(z)
FC (z) =
D(z)
= 1 z.
26

Por otro lado, si calculamos directamente los momentos de la medida perturbada
|z 1|2
d
4
(z 1)(
z 1)
=
d
4
d
= (1 cos ) ,
2
d
() =
se obtiene que
1,
si k = 0,
o k = 1,
21 , si k = 1
ck =
0,
en otro caso,
entonces la funci
on de Caratheodory es
FC (z) = c0 + 2
ck z k
k=1
= 1 z.
Podemos ver que utilizando ambos enfoques se obtiene la misma funci
on de Carathedory,
como era de esperarse.
2.3. Perturbaci
on de una subdiagonal de la matriz de Toeplitz
Si se desea perturbar el j-esimo momento cj de la matriz de Toeplitz se usaran las
siguientes definiciones (ver [2]).
Definici
on 2.3.1. Sea L un funcional lineal Hermitiano definido en y sea Lj un funcional lineal tal que el funcional bilineal asociado satisface
hp(z), q(z)iLj = hp(z), q(z)iL + Mj hz j p(z), q(z)iL + M j hp(z), z j q(z)iL ,
(2.18)
donde Mj C, p P, q P, j N es un n
umero fijo, y h, iL es el funcional bilineal
asociado con la medida normalizada de Lebesgue en la circunferencia unidad.
Si L es un funcional definido positivo, entonces la transformacion anterior puede expresarse en terminos de su correspondiente medida, dada por
d
d
+ M j z j
2
2
d
= d + 2Re(Mj z j ) .
2
d
j = d + Mj z j
27
(2.19)

De (2.18) se puede concluir que
ck = hLej , z k i
= hz k , 1iLej
ck ,
si k
/ {j, j},
cj + Mj , si
k = j,
=
k = j,
cj + M j , si
(2.20)
ya que
ck = hz k , 1iL + Mj hz j z k , 1iL + M j hz k , z j iL
Z
Z
d
i(j+k) d
e
ei(kj) ,
= ck + Mj
+ Mj
2
2
y entonces
si k
/ {j, j},
ck = ck ,
si k = j,
ck = hz j , 1iL + Mj hz j z j , 1iL + M j hz j , z j iL
Z
Z
d
d
+ Mj
= cj + Mj
1
e2ij
2
2
= cj + Mj ,
si k = j,
ck = hz j , 1iL + Mj hz j z j , 1iL + M j hz j , z j iL
Z
Z
d
2ij d
= cj + Mj
e
+ Mj
1
2
2
= cj + M j .
En otras palabrras, Lj es un funcional que perturba solamente los momentos cj y cj de
la sucesi
on de momentos asociada a L. Es decir, La matriz de Toeplitz asociada con el
funcional Lj es igual a la asociada a L excepto por el j-esimo y j-esimo momento que
28

es igual a cj + M j y cj + Mj respectivamente, es decir
c0
c1
..
.
..
.
cj + M j
cj1
..
.
e n = cj + Mj
T
cj+1
...
cj1
c
+
M
.
..
j
j
..
..
.
..
.
.
cn
cn+1
0 Mj 0
0
0 Mj
..
..
..
.
..
..
.
.
.
.
= Tn + Mj 0
...
0 Mj . . .
0
..
..
.
..
..
..
.
.
.
.
0
0
0
cj+1
cj + M j
..
.
..
.
cn
cn1
..
.
c0
c1
..
.
..
.
cnj
cnj1
..
.
cn+j
c0
0
0
..
.
0
0
..
.
, n 0.
La funci
on de Carathe
odory asociada a Lj es
Fej (z) = F (z) + 2Mj z j ,
(2.21)
ya que
Fej (z) = e
c0 + 2
e
ck z k
k=1
=e
c0 + 2(e
c1 z + + e
cj z j + )
= c0 + 2(c1 z + + cj z j + Mj z j + )
X
ck z k + 2Mj z j
= c0 + 2
k=1
= F (z) + 2Mj z j .
Esta es una transformaci
on espectral lineal de la funcion de Caratheodory F (z) y tiene la
forma
A(z)F (z) + B(z)
Fe(z) =
,
D(z)
donde
A(z) = D(z) = 1 y B(z) = 2Mj z j .
Ejemplo 2.3.1. En el ejemplo 2.2.1, se mostr
o que la funci
medida normalizada de Lebesgue es
F (z) = 1,
y seg
un la ecuaci
on (2.21)
Fej (z) = 1 + 2Mj z j .
29

Ejemplo 2.3.2. En el ejemplo 2.2.4, se mostr
o que la funci
medida
|z 1|2
d() =
d,
4
es
F (z) = 1 z,
entonces
Fej (z) = 1 z + 2Mj z j .
Suponga que L es un funcional lineal definido positivo y {n (z)}n0 su correspondiente
SPOM. Ahora procedemos a determinar las condiciones necesarias y suficientes para que
Lj sea un funcional cuasi-definido, as como la relacion entre {n (z)}n0 y {n (z)}n0 ,
la SPOM con respecto a Lj .
Proposici
on 2.3.1. [2] Las siguientes afirmaciones son equivalentes
1. Lj es un funcional lineal cuasi-definido.
2. La matriz In + Sn es no singular, y
(nj)
(0)
n = Kn + WT (0)(In + Sn )1 Yn (0) + M j n
K
6= 0, n 1,
n
(n j)!
Wn (0) = [n (0) M j n!C(0,n1;n) ],
(j)
Yn (0) = [M j
(2j1)
(2j)
(0)
(n)
n (0)
n (0)
n
(0)
n (0)
n (0)
, . . . , Mj
, Mj
+ Mj
, . . . , Mj
+
j!
(2j 1)!
(2j)!
(0)!
(n)!
(n2j+1)
(n2j)
(nj1)
n
(0)
n
(0) T
n
(0)
, Mj
, . . . , Mj
] ,
(n 2j)!
(n 2j + 1)!
(n j 1)!
(n1)
n (0) = [n (0), (1)
(0)]T
n (0), . . . , n
y
j C(0,j1;nj,n1)
Mj A(0,j1;0,j1)
B(0,j1;j,nj1)
M
j C(j,nj1;nj,n1) ,
Sn = Mj A(j,nj1;0,j1) B(j,nj1;j,nj1) M
j C(nj,n1;nj,n1)
Mj A(nj,n1;0,j1) B(nj,n1;j,nj1) M
donde A, B y C son matrices cuyos elementos est

an dados por
(s,l+j)
as,l =
Kn1 (0,0)
(l)!(l+j)! ,
(s,l+j)
bs,l = Mj
Kn1 (0,0)
(l)!(l+j)!
(s,lj)
+ Mj
Kn1 (0,0)
(l)!(l+j)! ,
(s,lj)
cs,l =
Kn1 (0,0)
(l)!(lj)! .
Adem
as, {n }n0 , la correspondiente SPOM con respecto a Lj , est
a dada
por
n (z) = An (z)n (z) + Bn (z)n (z), n 1,
30

con
An (z) = 1 +
Bn (z) =
T ( (z); 0)
1
j nj n
WTn (In + Sn )1 Dn (n (z); 0) + M
,
Kn
Kn
T ( (z); 0)
1
j nj n
WTn (In + Sn )1 Dn (n (z); 0) M
,
Kn
Kn
( (z); 0)+
(n (z); 0) = [Mj Tj (n (z); 0), . . . , Mj T2j1
(n (z); 0), Mj T2j
n
( (z); 0) + M T
M j T0 (n (z); 0), . . . Mj Tn1

n
j n2j1 (n (z); 0), M j Tn2j (n (z); 0),
(n (z); 0)]T ,
. . . M j Tnj1
donde Tj (n (z); 0) es el jesimo polinomio de Taylor asociado a n (z) en el punto
z = 0.
La demostraci
on se puede ver en [2] pag. 9-13.
31
CAPITULO
Transformaci
on de Szeg
o
Este captulo est

a dedicado a la transformacion de Szego, que establece una relaci
on
entre medidas soportadas en el intervalo [1, 1] de la recta real y ciertas medidas soportadas en la circunferencia unidad.
De igual manera, existe una relacion entre los coeficientes de la relacion de recurrencia a
tres terminos para polinomios ortogonales en la recta real y los parametros de Verblunsky
asociados a la correspondiente medida soportada en la circunferencia unidad. Se muestra
una manera sencilla de calcular dichos parametros de Verblunsky, que esta relacionada
con la factorizaci
on LU de la matriz de Jacobi asociada con la medida en la recta real.
Por otra parte, se muestra de manera explcita la relacion que existe entre la funci
on de
Stieltjes y la funci
on de Caratheodory asociadas a medidas soportadas en la recta real y
la circunferencia unidad, respectivamente.
3.1. Transformaci
on de Szeg
o
A partir de una medida de Borel no trivial, positiva, con soporte en [1, 1] podemos
definir una medida de Borel, no trivial, positiva, con soporte en [, ] mediante
1
d() = |d(cos )|,
2
(3.1)
de tal forma que si d(x) = (x)dx, entonces

1
d() = (cos )| sin |d.
2
Ejemplo 3.1.1. Si consideramos la medida
d(x) =
1
dx
,
1 x2
32
(3.2)
Captulo 3. Transformacion de Szego

entonces
1
d() = (cos )| sin |d
2
1
1
| sin |d
=
2 1 cos2
d
=
,
2
Observe que tomamos la medida de los polinomios de Chebyshev de primera especie cuyo soporte es [1, 1] y al aplicar la relaci
on (3.1), se gener
o la medida normalizada de
Lebesgue en el circunferencia unidad.
R1
Si es una medida de probabilidad, es decir, 1 d(x) = 1, entonces es tambien
una medida de probabilidad en la circunferencia unidad, ya que
Z
Z
1
d() =
|d(cos )|
2
Z 0
1
=2
d(cos )
2
Z 1
=
d(x)
1
= 1,
y en este caso existe una sucesion de polinomios ortonormales que satisface (2.7), as como los correspondientes polinomios monicos. En este caso, los coeficientes de Verblunsky
satisfacen la condici
on
(0) (1, 1), n = 1, 2, .
Existe una relaci
on entre los polinomios ortogonales asociados a una medida en [1, 1]
y los polinomios ortogonales asociados con la medida definida por (3.1), con soporte en
la circunferencia unidad.
Teorema 3.1.1. [14] La sucesi
on de polinomios ortonormales {n }n0 en la circunferencia unidad asociados con la medida (tal como se defini
o en (3.1)) tiene coeficientes
1
reales. Adem
as si x = z+z2 , entonces
pn (x) =
p 2n
[z n 2n (z) + z n 2n (1/z)],
(2 1 + 2n (0))
donde n (z) = n (z)/n (es decir el correspondiente polinomio ortogonal m

onico) y n
es el coeficiente principal de n (z).
Por otra parte, los coeficientes de la relaciones de recurrencia de los polinomios en
la recta real (1.3), est
an relacionados con los coeficientes de Verblunsky de las relaciones
(2.4) y (2.5), de la siguiente manera
Teorema 3.1.2. [14] Los coeficientes de la relaci
on de recurrencia para la medida en
[1, 1], y los coeficientes de Verblunsky n (0) para la medida sobre la circunferencia
33

unidad, correspondiente a , est
an relacionados mediante las siguientes expresiones
q
(3.3)
2an = [1 2n (0)][1 22n1 (0)][1 + 2n2 (0)], n 1,
2bn = 2n1 (0)[1 2n (0)] 2n+1 (0)[1 + 2n (0)], n 0.
Ejemplo 3.1.2. Consideremos la medida normalizada de Lebesgue d() =
ejemplo 2.1.1 se encontr
o que la sucesi
on de polinomios ortonormales es
(3.4)
d
2 .
En el
n (z) = n (z) = z n , n 0,
y los coeficientes de Verblunsky son n (0) = 0 para n 1 y adem
as 0 (0) = 1. Seg
un las
ecuaciones (3.3) y (3.4) los coeficientes de la sucesi
on de recurrencia son
an =
2
2 ,
si n = 1,
1
2,
si n > 1,
y bn = 0 para todo n N. Por lo tanto la matriz de Jacobi es
2/2
0
0
0
2/2
0
1/2 0
1/2
0 1/2 . .
J = 0
.
.
.
0
.
0
1/2 0
..
..
..
..
..
.
.
.
.
.
En [7] se puede ver que esta matriz de Jacobi, corresponde a los polinomios de Tchebysheff
dx
de primera especie, asociado con la medida d(x) = 1 1x
= (x)dx, tal como se
2
mostr
o en el ejemplo 3.1.1.
Dado que los momentos {cn }n0 son reales (por el teorema (3.1.1)), F (z), la funci
on
de Caratheodory asociada a tiene coeficientes reales. Por tanto, tenemos
ReF (ei ) = ReF (ei(2) ),
y entonces d() + d(2 ) = 0. De esta manera, existe una sencilla relacion entre la
funci
on de Stieltjes y Caratheodory asociadas con y , respectivamente,
Z
1 z 2 1 d(t)
1 z2
F (z) =
=
S(x),
(3.5)
2z
2z
1 x t
1
donde x = z+z2 , z = x + x2 1, (ver [11]). En la literatura, esta relacion se conoce
como transformaci
on de Szeg
o.
3.2. Factorizaci
on LU
Definamos la sucesi
on {un }n1 , mediante
1
un = (1 n (0))(1 + n1 (0)).
2
34
(3.6)

Usando las ecuaciones (3.3) y (3.4), obtenemos
a2n = u2n u2n1 , n 1,
bn + 1 = u2n + u2n+1 , n 0,
y, entonces, tenemos una factorizacion de la forma (ver [7])
J + I = LU
donde I es la matriz identidad, y L y
respectivamente, con
1
u2
L= 0
..
.
U son matrices bidiagonales inferior y superior,

0
1
0
0
u4
0
..
.
u6
..
.
u1 1
0 u3
U = 0 0
0 0
..
..
.
.
0
1
0
0
..
.
0
..
.
1
.. ..
.
.
..
.
1
..
.
u7
.. ..
.
.
u5
0
..
.
0
0
As, de (3.6), tenemos

k (0) = 1
2uk
.
1 + k1 (0)
Por lo tanto, obtenemos una sucesion {un }n1 que podemos utilizar para determinar de
una manera sencilla los coeficientes de Verblunsky {k (0)}k1 de la medida soportada
en la circunferencia unidad.
Ejemplo 3.2.1. Consideremos los polinomios de Tchebicheff de tercera especie ( =
1
1
2 , = 2 ), en [7] se puede ver que
1
1
b0 = , bn = 0, n 1, y a2n = , n 1,
2
4
as que
1/2 1
0
0
1/4 1
1
0
1
J + I = 0 1/4 1
0
0 1/4 1
..
..
..
..
.
.
.
.
..
.
..
.
..
.
Calculando la factorizaci
on LU de la anterior matriz, obtenemos que un = 21 , para n 1,
y de (3.6) concluimos que
1
n (0) =
, n 1.
n+1
35

Seg
un el ejemplo 2.2.3, corresponde a la transformaci
on de Christoffel de la medida normalizada de Lebesgue, es decir
d() = |z 1|2
d
.
2
Recuerde nuevamente
qque la medida en la circunferencia unidad se hubiera podido obtener
dx
a partir de d(x) = 1x
1+x por medio de (3.2), as
d() =
=
=
=
=
r
1 1 cos
d
| sin |
2 1 + cos
r
2
1 (1 cos )
d
| sin |
2
2
1 cos
1
(1 cos )d
2
1
|1 z|2 d
2
1
|z 1|2 d.
2
36
CAPITULO
An
es de
la transformaci
on de Szeg
o
Es este captulo se analizara el tipo de transformacion que se obtiene en la circunferencia unidad por medio de su funcion de Caratheodory cuando aplicamos la transformaci
on
Szeg
o (3.5) a algunas funciones de Stieltjes asociadas a una medida (x), cuyo soporte se
encuentra en el intervalo [1, 1].
En la primera parte se tomar
a la funcion de Stieltjes que se obtuvo en la seccion 1.3 de perturbar solo el j-esimo momento, en esta construccion se uso la base {1, (xa), (xa)2 , },
al hacer a = 0 se puede usar la Transformacion de Szego para analizar lo que le sucede
a los momentos en la circunferencia unidad asociados a la medida generada. Tambien hablaremos de la parte absolutamente continua con respecto a la medida normalizada de
Lebesgue de la medida en la circunferencia unidad, luego mostraremos algunos ejemplos.
En la segunda parte se construira un funcional en la base canonica, el cual perturba desde
el momento j en adelante, en consecuencia obtenemos una nueva funcion de Stieltjes a
la cual le aplicaremos la transformacion de Szego para analizar el comportamiento de los
momentos en la circunferencia unidad y la parte absolutamente continua de la medida.
4.1. An
alisis de la perturbaci
es de la
transformaci
on de Szeg
o cuando se perturba solo el momento j-
esimo en [1, 1]
En la secci
on 1.3 se construyo la funcion de Stieltjes Sj (x) (1.13),
Sj (x) = S(x) +
P
k
esimo
k=0 (xa)k+1 , que se obtiene al perturbar solo el j
2
a), (x a) , }. Su correspondiente medida segun (1.9) es
donde S(x) =
base {1, (x
mj
,
(x a)j+1
d
j = d + (1)j
mj (j)
D (x a).
j!
37
(4.1)
momento, en la
(4.2)
Captulo 4. An
alisis de perturbacion de momentos a traves de la transformacion de Szeg
o
4.1.1. Aplicaci
on de la transformaci
on de Szeg
o
En esta primera parte del trabajo analizaremos lo que le sucede a los momentos de
la matriz de Toeplitz cuando se perturba el momento j-esimo de la matriz de Hankel
agreg
andole una masa mj , es decir, que sucede con las subdiagonales de la matriz de Toeplitz si se perturba una antidiagonal de la matriz Hankel, por medio de la transformaci
on
de Szeg
o.
Para poder aplicar la transformacion de Szego a (4.1) hay que tomar a = 0,1 as la nueva
funci
on de Stieltjes es
mj
Sj (x) = S(x) + j+1 ,
(4.3)
x
donde
X
X
k
k
S(x) =
=
,
k+1
x
xk+1
k=0
k=0
esta u
ltima igualdad se tiene por la ecuacion (1.7). La correspondiente medida con soporte
en [1, 1], est
a definida por la ecuacion (1.9)
j = d + (1)j
mj (j)
D (x 0).
j!
(4.4)
Ahora, aplicando la transformacion de Szego (3.5), entre Sj (x) y Fj (z) para el jesimo
momento, tenemos que
1 z2
Fj (z) =
Sj (x),
(4.5)
2z
y sustituyendo (4.3) en (4.5)
mj
1 z2
Fj (z) =
S(x) + j+1 .
2z
x
De (4.5) y la ecuaci
on anterior, Fej (z) se puede expresar como

mj
1 z2
2z
Fj (z) =
F (z) + j+1
2z
1 z2
x
2
m
1z
j
= F (z) +
2z ( z+z 1 )j+1
2
mj
1 z2
= F (z) +
,
z+z
2z ( 1 )j+1
2
y organizando se concluye que

2j mj z j (1 z 2 )
Fj (z) = F (z) +
.
(z 2 + 1)j+1
(4.6)
De (4.6) podemos averiguar c

omo son los momentos generados en la circunferencia unidad
y as conocer el comportamiento de la matriz de Toeplitz. Tambien nos interesa conocer
como es la medida generada en la circunferencia unidad.
1
Esto significa que la masa se est

a agregando en el origen.
38
Captulo 4. An
o
Esto lo resumimos en el siguiente esquema,
[1, 1]
Cuando a = 0
Fun. Stieltjes
mj
Sj (x) = S(x) + xj+1
Medida Uvarov Generalizada

m
d
= d + j!j D(j) (x 0)
Trans. Szego
Fun. Caratheodory
2j mj (1z 2 )
Fj (z) = F (z) + (z 2 +1)

j+1
Medida?
4.1.2. Momentos perturbados en la circunferencia unidad

En esta subsecci
on mostraremos explcitamente los momentos perturbados en la circunferencia unidad.
Igualando (4.6) con (2.21), se obtiene
2Mj z j =
es decir
Mj =
2j mj z j (1 z 2 )
,
(z 2 + 1)j+1
2j1 mj (1 z 2 )
.
(z 2 + 1)j+1
(4.7)
De este u
ltimo resultado podemos concluir que una perturbacion de un momento en el
intervalo [1, 1], no corresponde en general a una perturbacion de un momento en la
circunferencia unidad T. Es decir, perturbar una antidiagonal de la matriz de Hankel no
se traduce en una perturbaci
on de una subdiagonal de la matriz de Toeplitz, ya que en
el lado izquierdo tenemos una constante Mj y en el lado derecho tenemos una funci
on
racional.
Esto significa que al perturbar el jesimo momento en [1, 1] se obtiene una transformaci
on espectral lineal de la forma
Fj (z) = F (z) + 2z j R(z),
(4.8)
donde
R(z) =
2j1 mj (1 z 2 )
(z 2 + 1)j+1
j1
=2
mj (1 z )
1
2
(z + 1)j+1
(4.9)

.
Para conocer el comportamiento de los momentos perturbados en la circunferencia unidad,

escribamos (4.9) como una serie.
Es bien sabido que
X
1
=
(1)n z n ,
|z| < 1.
1+z
n=0
39
Captulo 4. An
o
Calculando, la j-esima derivada de este u
ltimo resultado, se tiene
(1)(2) . . . (j) X
=
(1)n n(n 1) . . . (n (j 1))z nj .
(1 + z)j+1
n=j
Reescribiendo,
X
(1)j j!
n!
=
z nj ,
(1)n
j+1
(1 + z)
(n j)!
(4.10)
n=j
que es equivalente a
X
(1)j j!
n!
=
(1)n
z 2(nj) .
2
j+1
(z + 1)
(n j)!
(4.11)
n=j
Entonces
X (1)n
n!
1
=
z 2(nj)
2
j+1
j
(z + 1)
(1) j!(n j)!
n=j

X
nj n
=
(1)
z 2(nj) ,
j
(4.12)
n=j
y reemplazando la serie (4.12) en (4.9), tenemos

X
nj n
R(z) = 2 mj (1 z )
(1)
z 2(nj)
j
n=j

X
j1
2
n n+j
= 2 mj (1 z )
(1)
z 2n .
j
j1
(4.13)
n=0
Ahora estudiemos el radio de convergencia de (4.13)

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

(n+1j)! z

n + 1 2

z .

lm
lm |(1)|

= n
(1)n n! 2(nj)
n
n
+
1
j

(nj)! z
As la serie (4.13) converge absolutamente en el interior del crculo de radio 1.
Si sustituimos (4.13) en (4.8) se obtiene
Fj (z) = F (z) + 2z j R(z)
= F (z) + 2z j
2j1 mj (1 z 2 )

!
n
+
j
(1)n
z 2n
j
n=0
= F (z) + 2j mj
(4.14)

X
n n+j
2n+j
j
n n+j
(1)
z
2 mj
(1)
z 2n+2+j .
j
j
n=0
n=0
De (4.14) podemos concluir que, si se perturba el momento jesimo en [1, 1] y aplicamos la transformaci
on de Szego, entonces la perturbacion en F (z) corresponde a una
perturbaci
on en los momentos a partir de j en adelante de la siguiente manera
Si j es par, se perturban todos los momentos pares a partir del momento j.
40
Captulo 4. An
o
Si j es impar, se perturban todos los momentos impares a partir del momento j.
De (4.14) se pueden deducir explicitamente los momentos perturbados, as
cn ,
si n < j o n = j + 2k + 1,
para alg
un k N,
cn =

(n+j2)/2
, si
n = j + 2k,
+
cn + inj 2j1 mj (n+j)/2
j
j
para alg
un k N,
(4.15)

donde estamos suponiendo que j1
=
0.
j
4.1.3. Parte absolutamente continua de la medida generada en la circunferencia unidad

Calculemos la parte absolutamente continua de la medida perturbada usando (2.10).
Para esto primero determinemos la conjugada de Fj (z)
Fj (ei ) = lm Fj (rei )
r1

2j (rei )j mj (1 (rei )2 )
= lm F (rei ) +
r1
((rei )2 + 1)
j
i
j
2 (e ) mj (1 e2i )
= F (ei ) +
.
(e2i + 1)j+1
(4.16)
2j (ei )j mj (1 e2i )
Fj (ei ) = F (ei ) +
(e2i + 1)j+1
j
i
2 (e )j mj (1 e2i )
= F (ei )
.
(e2i + 1)j+1
(4.17)
Por lo tanto,
Sumando (4.16) con (4.17) y usando (2.10) tenemos
0 () = ReFj (ei )
= ReF (ei )
(4.18)
= 0 ().
Acabamos de mostrar que la parte absolutamente continua de la medida generada en
la circunferencia unidad es la misma que la parte absolutamente continua de la medida
original,
d
+ d
s ()
2
d
= 0 ()
+ d
s ().
2
d
=
0 ()
(4.19)
En otras palabras, la perturbacion de un momento en la medida con soporte en [1, 1]

afecta solamente la parte singular de la medida
con soporte en la circuferencia unidad,
41
Captulo 4. An
o
es decir, la parte absolutamente continua con respecto la medida normalizada de Lebesgue
permanece invariante bajo la transformacion de Szego.
4.1.4. An
on del momento cero
A modo de ejemplo mostremos lo que sucede cuando se perturba el momento 0 , en
la matriz de Hankel.
Si hacemos j = 0 en la ecuacion (4.14), entonces la funcion de Caratheodory que se
obtiene solo de perturbar el momento cero es
F0 (z) = F (z) + m0 + 2m0
(1)n z 2n ,
n=1
en consecuencia los momentos perturbados en la circunferencia unidad son
cn ,
si n es impar,
cn =
cn + in m0 , si n es par,
(4.20)
o bien,
cn = cn + 2i

n+1
n+1
m0 ,
2
2
(4.21)
donde de es la funci
on parte entera por encima. Esto significa que se estan perturbando
todos los momentos pares incluyendo el momento cero de la circunferencia unidad. Esto
se puede ver matricialmente de la siguiente manera,
e
H=
e =
T
0 + m0
1
2
3
..
.
1
2
3
4
..
.
2
3
4
5
..
.
3
2
1
6
..
.
..
.
Transformacion de Szego
c0 + m0
c1
c2 m0
c3
c1
c0 + m0
c1
c2 m0
c2 m0
c1
c0 + m0
c1
c3
c2 m0
c1
c0 + m0
..
..
..
..
.
.
.
.
..
.
Ejemplo 4.1.1. Consideremos los polinomios de Chebyshev de tercera especie que tienen
como medida
r
1 x dx
d(x) = 2
.
1+x
42
Captulo 4. An
o
La medida generada en la circunferencia unidad bajo la transformaci
on de Szeg
o es
d = (1 cos )
= |z 1|2
d
2
d
,
2
cuyos momentos son
cn
1,
si
n = 0,
si
n=1
o n = 1,
12 ,
=
0, en otro caso.
Entonces, si se perturba el momento cero de los polinomios de Chebychev de tercera especie

agreg
andole una masa real m0 , la funci
on de Carathedory perturbada es
F0 (z) = 1 z + m0 + 2m0
z 2n ,
n=1
esto significa que solo los momentos
1 + m0 ,
12 ,
cn =
in m0 ,
0,
pares son perturbados as

si
n = 0,
si
n=1
o n = 1,
si
n es par.
si n es impar, diferente de 1.
Su correspondiente matriz de Toeplitz perturbada es
1 + m0 1/2
m0
1/2 1 + m0 1/2
m0
m0
1/2
1
+
m
1/2
e
0
T=
0
m0
1/2 1 + m0
..
..
..
..
.
.
.
.
...
..
.
La medida perturbada
en la circunferencia unidad, cuando se perturba el momento cero
es
d
= (1 cos )
= |z 1|2
d
+ d
s
2
d
+ d
s .
2
4.1.5. An
on del momento uno
En esta parte mostraremos con un ejemplo el comportamiento de los momentos en la
circunferencia unidad cuando se perturba el primer momento en [1, 1] agregando una
43
Captulo 4. An
o
masa m1 .
Si hacemos j = 0 en la ecuaci
on (4.14), entonces la funcion de Caratheodory que se obtiene
solo de perturbar el primer momento es
F1 (z) = F (z) + 2m1
(1)n (2n 1)z 2n1 ,
n=1
en consecuencia los momentos perturbados en la circunferencia unidad son
cn ,
si n es par,
cn =
cn + i(n1) nm1 , si n es impar,

o bien,
l n m
(4.22)
n (n1)
i
nm0 ,
(4.23)
2
2
esto significa que al perturbar el primer momento en la recta se estan perturbando todos
los momentos impares de la circunferencia unidad. Esto lo podemos ver matricialmente
de la siguiente manera,
cn = cn + 2
e
T=
0
1 + m1 2 3
1 + m1
2
3 2
2
3
4 1
e =
H
3
4
5
6
..
..
..
.. . .
.
.
.
.
.
c0
c1 + m1
c2
c3 3m1
c1 + m1
c0
c1 + m1
c2
c2
c1 + m1
c0
c1 + m1
c3 3m1
c2
c1 + m1
c0
..
..
..
..
.
.
.
.
..
.
Ejemplo 4.1.2. Consideremos los polinomios de Chebyshev de primera especie que tienen
como medida
dx
1
.
d(x) =
2
1x
Seg
un el ejemplo 3.1.1, la medida generada en la circunferencia unidad por medio de la
transformaci
on de Szeg
o, es la medida normalizada de Lebesgue
d() =
d
.
2
En este caso, los momentos en la circunferencia unidad son

cn = cn

1, si n = 0,
=
0, si n 6= 0.
44
Captulo 4. An
o
Si se perturba el primer momento de los polinomios de Chebyshev agregando una masa
m1 , se obtiene la perturbaci
on de todos los momentos impares en la circunferencia unidad,
agreg
andoles la masa in1 nm1 . La funci
on de Caratheodory perturbada es
F1 (z) = 1 + 2m1
(1)n (2n 1)z 2n1 .
n=1
La correspondiente matriz de Toeplitz prturbada es
1
m1 0 3m1
m1
1 m1
0
0
m1 1
m1
e =
T
3m1 0 m1
1
..
..
..
..
.
.
.
.
...
..
.
es decir
e
T = T + M
1
0
0
0
..
.
0
1
0
0
..
.
0
0
1
0
..
.
0
0
0
1
..
.
...
..
.
0
m1 0 3m1
m1
0 m1
0
0
m1 0
m1
3m1 0 m1
0
..
..
..
..
.
.
.
.
...
..
.
donde T es la matriz de Toeplitz asociada a la medida normalizada de Lebesgue.

La medida perturbada
en la circunferencia unidad, cuando se perturba el momento uno
es
d
d
=
+ d
s .
2
4.2. An
es de la
transformaci
on de Szeg
o cuando se perturba del momento j-
esimo en adelante en [1, 1]
En la secci
on anterior se analizo el comportamiento de los momentos en la circunferencia unidad cuando a = 0 en la funcion (1.13) por medio de la transformacion de Szeg
o. En
esta secci
on construiremos un funcional que nos permite considerar el caso cuando a 6= 0.
4.2.1. Construcci
on del funcional que perturba del momento j-
esimo en
adelante en [1, 1]
Sea L un funcional definido positivo y (x) su correspondiente medida donde {n }n0
es la sucesi
on de momentos en la base canonica {1, x, x2 , } definidos mediante
k = hL, xk i.
De una manera similar a la definicion 1.3.2, formularemos el siguiente funcional el cual
tiene la particularidad que la masa se esta agregando en un punto a R y ademas se puede
45
Captulo 4. An
o
utilizar la transformaci
on de Szego para estudiar el comportamiento de los momentos en
su respectiva funci
on de Caratheodory por que se esta trabajando sobre la base canonica.
Definici
on 4.2.1. Sea Lj un funcional lineal de momentos, definido por
hLj , pn (x)i = hL, pn (x)i + (1)j hD(j) (x a), pn (x)i
mj (j)
= hL, pn (x)i +
p (a),
j! n
(4.24)
donde mj y a son constantes reales.

Si Lj es un funcional definido positivo, entonces la transformacion anterior puede
expresarse en terminos de su correspondiente medida, dada por
d
= d + (1)j
mj (j)
D (x a).
j!
(4.25)
Con ayuda de (4.24) podemos determinar la sucesion de momentos {

n }n0 , donde
k = hLj , xk i
k ,
si k < j,
k + mj ,
si k = j,
=
k + mj kj akj , si k > j.
Cuando k j es similar que en la seccion 1.3.
Cuando k > j,
k = hLj , xk i
mj
= k +
((x)k )(j) (a)
j!
mj
= k +
(k)(k 1) (k (j 1))akj ,
j!
como k(k 1)(k 2) (k (j 1)) =
k!
(kj)! ,
por lo tanto
mj
k!
akj
j! (k j)!

k kj
= k + mj
a .
j
k = k +
46
(4.26)
Captulo 4. An
o
La funci
on de Stieltjes para estos momentos es
S(x)
=
X
k
xk+1
k=0
j+1 + mj
j1 j + mj
0
1
+
=
+ 2 + + j +
j+1
x
x
x
x
xj+2
n
n + mj j a
+
+
xnj

X
X
k
k mj kj
=
+
a
k+1
j xk+1
x
k=0
k=j

X
k mj kj
a .
= S(x) +
j xk+1
j+1
j
+
(4.27)
k=j
4.2.2. Aplicaci
on de la transformaci
on de Szeg
o
Ahora apliquemos la transformacion de Szego a (4.27), para determinar explcitamente
los momentos en la circunferencia unidad

2
X
m
1
z
k
j
S(x) +
Fj (z) =
akj
j xk+1
2z
k=j

2
X
k mj akj (2z)k+1
1z
(4.28)
= F (z) +
2z
j
(z 2 + 1)k+1
k=j

X
k kj
1
2
k
= F (z) + (1 z )mj
a (2z)
,
j
(z 2 + 1)k+1
k=j
donde de (4.12) tenemos que

X
1
nk n
=
(1)
z 2(nk)
k
(z 2 + 1)k+1
n=k

X
n n+k
=
(1)
z 2n .
k
(4.29)
n=0
Reemplazando (4.29) en (4.28), obtenemos

X
k kj
2
Fj (z) = F (z) + (1 z )mj

a (2z)k
j
k=j
47

!!
n
+
k
(1)n
z 2n
.
k
n=0
(4.30)
Captulo 4. An
o
La serie (4.30) puede reescribirse como

X
k kj
a (2z)k
j
n=0
k=j
k
X
X

!!
n + k 2n
z
=
(1)
k
n

!
j + 2n j + k + n
=
z j+2k
(1)
a 2
j
j + 2n
k=0 n=0

!
k
X
X
j
+
1
+
2n
j
+
1
+
k
+
n
z j+1+2k .
+
(1)n+k a2n+1 2j+1+2n
j
j + 1 + 2n
k=0
n+k 2n j+2n
(4.31)
n=0
Por lo tanto, sustituyendo (4.31) en (4.30), la funcion de Carathedory perturbada es

!
k
X
X
j
+
2n
j
+
k
+
n
n+k
2n
j1+2n
Fj (z) = F (z) + 2mj
(1)
a 2
z j+2k
j
j + 2n
k=0 n=0

!
k
X
X
j
+
1
+
2n
j
+
1
+
k
+
n
+ 2mj
(1)n+k a2n+1 2j+2n
z j+1+2k
j
j + 1 + 2n
k=0 n=0

!
k
X
X
j+k+n
n+k 2n j1+2n j + 2n
2mj
(1)
a 2
z j+2k+2
j
j + 2n
k=0 n=0

!
k
X
X
j+1+k+n
n+k 2n+1 j+2n j + 1 + 2n
2mj
(1)
a
2
z j+3+2k .
j
j + 1 + 2n
k=0
n=0
(4.32)
De este u
ltimo resultado se puede concluir que si se perturban los momentos de j en
adelante de una medida
(x) con soporte en el intervalo [1, 1] y se aplica la transformaci
on
de Szeg
o, entonces en la circunferencia unidad se perturban todos los momentos de j en
adelante. A partir de (4.32) pueden determinarse los momentos perturbados y estan dados
por
c(j+k) + 2A1 (k), si j + k = 0,
c(j+k) + A1 (k), si
k es par,
c(j+k) =
(4.33)
c(j+k) + A2 (k), si k es impar,

donde
A1 (k) = mj
k/2
X
n+k/2 2n j1+2n
(1)
a 2
n=0

j + 2n j + k/2 + n
j
j + 2n
k/21
mj
n+k/21 2n j1+2n
(1)
a 2
n=0
48
j + 2n
j

j + (k/2 1) + n
,
j + 2n
Captulo 4. An
o
y
(k1)/2
A2 (k) = mj
n+(k1)/2 2n+1 j+2n
(1)
n=0
(k3)/2
mj
n+(k3)/2 2n+1 j+2n
(1)

j + 1 + 2n j + 1 + (k 1)/2 + n
j
j + 1 + 2n
n=0
j + 1 + 2n
j

j + 1 + (k 3)/2 + n
.
j + 1 + 2n
Es importante hacer notar el hecho que en la ecuacion (4.33), si se perturba desde el

momento
P cero c0k = c0 + 2A1 (0), porque la funcion de Caratheodory se define F (z) =
a multiplicado por 2.
c0 + 2
k=1 ck z , es decir, el momento cero no est
4.2.3. Parte absolutamente continua de la medida generada en la circunferencia unidad

Usando (2.10), calculemos la parte absolutamente continua de la nueva medida en la
circunferencia unidad. Para esto primero determinemos la conjugada de la ecuacion (4.28)

X
k kj
1
Fj (ei ) = lm F (rei ) + (1 (rei )2 )mj

a (2rei )k
r1
j
((rei )2 + 1)k+1
k=j

X k
1
i
2i
kj
i k
.
= F (e ) + (1 e )mj
a (2e )
j
(e2i + 1)k+1
k=j
(4.34)
Entonces la funci
on conjugada es

X
k kj i k
1
a (2e )
j
(e2i + 1)k+1
k=j

X
k kj i k
1
2i
i
a (2e )
.
= F (e ) (1 e )mj
j
(e2i + 1)k+1
Fj (z) = F (z) + (1 e2i )mj
(4.35)
k=j
sumando (4.34) y (4.35) y usando (2.9), se tiene
0 () = Re(Fj (ei ))
= Re(F (ei ))
(4.36)
= ().
Es decir, la parte absolutamente continua de la medida perturbada corresponde a la medida
absolutamente continua de la medida original
d
+ d
s ()
2
d
= 0 ()
+ d
s ().
2
d
=
0 ()
(4.37)
Al igual que en el caso de perturbar solo el jesimo momento de la matriz de Hankel,

cuando se perturba del jesimo momento en adelante, la transformacion de Szego afecta
49
Captulo 4. An
o
solamente la parte singular de la medida
con soporte en la circunferencia unidad, es
decir, la parte absolutamente continua con respecto la medida normalizada de Lebesgue
permanece invariante bajo la transformacion de Szego.
4.2.4. An
on del momento cero
A modo de ejemplo, mostraremos el comportamiento de perturbar del momento cero
en adelante, es decir, de perturbar todos los momentos de la matriz de Hankel.
Si hacemos j = 0 en (4.26), tenemos que

k + m0 ,
si k = 0,
k =
k
k + m0 ka , si k > 0.
Estos u
ltimos son los momentos perturbados de la matriz de Hankel.
De igual manera al hacer j = 0 en (4.33), se tiene
ck + 2A1 (k), si
k = 0,
ck + A1 (k), si
k es par,
ck =
ck + A2 (k), si k es impar,
donde
k/2
X
A1 (k) = m0
n+k/2 2n 1+2n
(1)
a 2
n=0

2n k/2 + n
0
2n
k/21
m0
n+k/21 2n 1+2n
(1)
a 2
n=0

2n (k/2 1) + n
,
0
2n
y
(k1)/2
A2 (k) = m0

1 + 2n 1 + (k 1)/2 + n
2
0
1 + 2n
n+(k1)/2 2n+1 2n
(1)
n=0
(k3)/2
m0
(1)n+(k3)/2 a2n+1 22n
n=0

1 + 2n 1 + (k 3)/2 + n
.
0
1 + 2n
De (4.39), se pueden calcular los primeros momentos

c0 = c0 + 2A1 (0) = c0 + m0 ,
c1 = c1 + A2 (1) = c1 + m0 a,
c2 = c2 + A1 (2) = c2 m0 + 2m0 a2 ,
c3 = c3 + A2 (3) = c3 3m0 a + 2m0 a3 ,
c4 = c4 + A1 (4) = c4 + m0 8m0 a2 + 8m0 a4 ,
entonces, en terminos de matrices tenemos
50
(4.38)
(4.39)
Captulo 4. An
o
e =
H
0 + m0
1 + m0 a
1 + m0 a 2 + 2m0 a2
2 + 2m0 a2 3 + 3m0 a3
3 + 3m0 a3 4 + 4m0 a4
..
..
.
.
c0 + m0
c1 + m0 a
c2 m0 + 2m0 a2
c3 3m0 a + 2m0 a3
..
.
2 + 2m0 a2
3 + 3m0 a3
4 + 4m0 a4
5 + 5m0 a5
..
.
3 + 3m0 a3
4 + 4m0 a4
5 + 5m0 a5
6 + 6m0 a6
..
.
..
.
e
T=
c1 + m0 a
c2 m0 + 2m0 a2 c3 3m0 a + 2m0 a3
c0 + m0
c1 + m0 a
c2 m0 + 2a2
c1 + m0 a
c0 + m0
c1 + m0 a
2
c2 m0 + 2a
c1 + m0 a
c0 + m0
..
..
..
.
.
.
..
.
Esto significa que al perturbar todos los momentos de la matriz de Hankel y aplicar
la transformaci
on de Szeg
o se perturban todos los momentos de la matriz de Toeplitz.
Adem
as observe que si se hace a = 0 se obtienen los mismos resultados que en la secci
on
4.1.
51
CAPITULO
Conclusiones
1. Sea (x) una medida soportada en [1, 1], y considere la perturbacion

d
j (x) = d(x) + (1)j
mj (j)
D (x 0).
j!
(5.1)
Entonces, los momentos asociados a

j (x) son los mismos que los asociados a ,
excepto por el jesimo, al que se le a
nade una masa real mj .
Si se aplica la transformacion de Szego a la correspondiente funcion de Stieltjes,
Sj (x), y se considera la funcion de Caratheodory resultante, se observa que dicha
funci
on no corresponde con un perturbacion del momento jesimo asociado a la
medida
en la circunferencia unidad.
2. Al aplicar la transformacion de Szego entre la funcion de Stieltjes que perturba solo el
j-esimo momento en [1, 1] agregando una masa real mj , los momentos perturbados
que tienen soporte en la circunferencia unidad, tienen el siguiente comportamiento
Si j es par, entonces se perturban todos los momentos pares de la matriz de
Toeplitz a partir del momento j-esimo.
Si j es impar, entonces se perturban todos los momentos impares de la matriz
de Toeplitz a partir del momento j-esimo.
Explcitamente los momentos perturbados son
cn ,
si n < j o n = j + 2k + 1,
para alg
un k N,
cn =

(n+j)/2
(n+j2)/2
nj 2j1 m
c
+
i
+
, si
n = j + 2k,
n
j
j
j
para alg
un k N,
donde estamos suponiendo que
j1
j
= 0.
Como caso particular, si se perturba el momento cero de la matriz de Hankel, se

perturban todos los momentos pares de la matriz de Toeplitz, de la siguiente manera
52
Captulo 5. Conclusiones
e =
H
e =
T
0 + m0
1
2
3
..
.
1
2
3
4
..
.
2
3
4
5
..
.
3
2
1
6
..
.
..
.
c0 + m0
c1
c2 m0
c3
c1
c0 + m0
c1
c2 m0
c2 m0
c1
c0 + m0
c1
c3
c2 m0
c1
c0 + m0
..
..
..
..
.
.
.
.
..
.
Si se perturba el primer momento de la matriz de Hankel, se perturban todos los

momentos impares de la matriz de Toeplitz, de la siguiente manera
e =
T
0
1 + m 1 2 3
1 + m1
2
3 2
e
2
3
4
1
H=
3
4
5 6
..
..
..
.. . .
.
.
.
.
.
c0
c1 + m1
c2
c3 3m1
c1 + m1
c0
c1 + m1
c2
c2
c1 + m1
c0
c1 + m1
c3 3m1
c2
c1 + m1
c0
..
..
..
..
.
.
.
.
..
.
3. Si se considera la medida con soporte en [1, 1] y a R,

d
j (x) = d(x) + (1)j
mj (j)
D (x a), a R,
j!
(5.2)
y al calcular los momentos se utiliza la base canonica {1, x, x2 , ...}, entonces se perturba del jesimo momento en adelante en el intervalo
[1, 1], agregandole una masa

real mj al jesimo momento y agregandole mj kj akj al k-esimo momento cuando
k > j. Al aplicar la transformacion de Szego a la funcion de Stieltjes generada por
la medida anterior, se obtiene una perturbacion en la correspondiente funcion de
Caratheodory a partir del momento jesimo en adelante. Es decir, al perturbar la
antidiagonal j-esima en adelante de la matriz de Hankel y aplicar la transformaci
on
de Szeg
o se perturba la subdiagonal j-esima en adelante de la matriz de Toeplitz.
53
Los momentos perturbados son
c(j+k) + 2A1 (k), si j + k = 0,
c(j+k) + A1 (k), si
k es par,
c(j+k) =
c(j+k) + A2 (k), si k es impar,

donde
A1 (k) = mj
k/2
X
n+k/2 2n j1+2n
(1)
a 2
n=0

j + 2n j + k/2 + n
j
j + 2n
k/21
mj
n+k/21 2n j1+2n
(1)
a 2
n=0

j + 2n j + (k/2 1) + n
,
j
j + 2n
y
(k1)/2
A2 (k) = +mj
n+(k1)/2 2n+1 j+2n
(1)
n=0
(k3)/2
mj
n+(k3)/2 2n+1 j+2n
(1)
n=0
j + 1 + 2n
j
j + 1 + 2n
j

j + 1 + (k 1)/2 + n
j + 1 + 2n

j + 1 + (k 3)/2 + n
.
j + 1 + 2n
Como caso particular, cuando se perturban todos los momentos de la matriz de

Hankel, se perturban todos los momentos de la matriz de Toeplitz. Matricialmente,
e =
H
0 + m0
1 + m0 a
1 + m0 a 2 + 2m0 a2
2 + 2m0 a2 3 + 3m0 a3
3 + 3m0 a3 4 + 4m0 a4
..
..
.
.
2 + 2m0 a2
3 + 3m0 a3
4 + 4m0 a4
5 + 5m0 a5
..
.
3 + 3m0 a3
4 + 4m0 a4
5 + 5m0 a5
6 + 6m0 a6
..
.
..
.
Transformacion Szego
e=
T
c0 + m 0
c1 + m0 a
c1 + m0 a
c0 + m0
c2 m0 (1 2a2 )
c1 + m0 a
c3 m0 (3a 2a3 ) c2 m0 (1 2a2 )
..
..
.
.
c2 m0 (1 2a2 ) c3 m0 (3a 2a3 )

c1 + m 0 a
c2 m0 (1 2a2 )
c0 + m0
c1 + m0 a
c1 + m0 a
c0 + m0
..
..
.
.
..
.
4. Dada una medida (x) con soporte en [1, 1], y se define una nueva medida
(x) a
traves de una perturbacion de momentos como cualquiera de las descritas anteriormente y se aplica la transformacion de Szego a
(x), se obtienen una medida
en
54
la circunferencia unidad con la siguiente propiedad,
d
+ d
s
2
d
= 0 ()
+ d
s ,
2
d
=
0 ()
(5.3)
donde es la transformacion de Szego de . Es decir, la parte absolutamente continua con respecto a la medida normalizada de Lebesgue permanece invariante bajo
la transformaci
on de Szego, esto significa que la transformacion de Szego afecta
solamente la parte singular de la medida.
55
Bibliografa
[1] Castillo K., Dimitrov D., Garza L., Rafaeli F., Pertubations on the antidiagonals of
Hankel matrices, Applied Math. Comp. vol. 221, 2013, 444-452.
[2] Castillo K., Garza L., Marcellan F., Pertubations on the subdiagonals of Toeplitz
Matrices, Linear Algebra Appl. vol. 434, 2011, 1563-1579.
[3] Chihara T. S., An Introduction to Orthogonal Polynomials, Gordon and Breach,
Science Publisher, 1978.
[4] Cruz, R., Sobre polinomios de Laurent ortogonales y formulas de cuadratura en la
circuferencia unidad, Tesis doctoral, universidad de la Laguna, Santa Cruz de Tenerife,
Espa
na, 2007.
[5] Duistemaat J. J., Gr
unbaum F. A., Differential equations in the spectral parameter,
Comm. Math. Phys. vol. 103, 1986, 177-240.
[6] Garza, L., Transformaciones Espectrales, Funciones de Caratheodory y Polinomios
Ortogonales en la Circunferencia Unidad, Tesis doctoral, Universidad Carlos III de
Madrid, Espa
na, 2009.
[7] Garza L., Hern
andez J., Marcellan F., Spectral transformations of measures supported
on the unit circle and the Szego transformation, Numer. Algor. vol. 49, 2008, 169-185.
[8] Gr
unbaum F. A., Haine L., A theorem of Bochner, revisited, An Algebraic aspects of
integrable systems, Progr. Nonlinear Differential Equations Appl., Birkhauser, Bostom, MA. vol. 26, 1997, 143-172.
[9] Marcell
an F., Hern
andez J., Christoffel transforms and Hermitian linear functionals,
Mediterr. J. Math. vol. 2, 2005, 451-458.
[10] Marcell
an F., Quintana Y., Polinomios ortogonales no estandar. Propiedades algebraicas y analticas, XXII Escuela Venezolana de matematicas, 2009.
[11] Peherstorfer F., A special class of polynomials orthogonal on the circle including the
associated polynomials, Constr. Aprrox. vol. 12, 1996, 161-185.
[12] Simon B., Orthogonal Polynomials on the unit circle, 2 vol. Amer. Math. Soc. Coll.
Publi. Series. vol 54, 2005.
[13] Spiridonov V., Vinet L., Zhedanov A., Spectral transformations, self-similar reductions and orthogonal polunomials, J. Phys. A: Math. vol. 30, 1997, 7621-7637.
56
Bibliografa
[14] Szeg
o G. Orthogonal Polynomials, Amer. Math. Soc. Coll. Publi. Series, vol 23, Amer.
Math. Soc., Providence, RI, 1975.
[15] Tasis C., Propiedades diferenciales de los polinomios ortogonales relativos a la circunferencia unidad, Tesis doctoral, Universidad de Cantabria, Cantabria, Espa
na,
1989.
[16] Zhedanov A., Rational spectral transformations and orthogonal polynomials, J. Comput. Appl. Math. vol. 85, 1997, 67-86.
57

Análisis de Perturbación de Momentos Asociados A Funcionales de Ortogonalidad Atravez de La Transformación Szego

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Análisis de Perturbación de Momentos Asociados A Funcionales de Ortogonalidad Atravez de La Transformación Szego

Uploaded by

Copyright:

Available Formats

lisis de perturbaciones de momentos

Universidad Nacional de Colombia

lisis de perturbaciones de momentos

Trabajo de grado para optar al ttulo de

Universidad Nacional de Colombia

Un agradecimiento especial a los profesores Luis Enrique Garza Gaona y Herbert

1. Polinomios ortogonales en la recta real

1.1. Preliminares de polinomios ortogonales en la recta real . . . . . . . . . . . . . . .

1.2. Transformaciones espectrales lineales en la recta real . . . . . . . . . . . . . . . . .

2.1. Preliminares de polinomios ortogonales en la circunferencia unidad . . . . . . . 16

La teora de polinomios ortogonales respecto a medidas cuyo soporte se encuentra en

Polinomios ortogonales en la recta real

En este captulo se presentan conceptos basicos sobre polinomios ortogonales en la

1.1. Preliminares de polinomios ortogonales en la recta real

Este funcional L es llamado funcional lineal de momentos, y los n

Captulo 1. Polinomios ortogonales en la recta real

donde es una medida positiva de Borel, no trivial, cuyo soporte E es un subconjunto

Captulo 1. Polinomios ortogonales en la recta real

con las condiciones iniciales p1 (x) = 0, p0 (x) = 0

una matriz simetrica tridiagonal

que es conocida como matriz de Jacobi [3].

una matriz tridiagonal

que es llamada matriz de Jacobi monica.

admite la siguiente representacion en terminos

con 1 = 1. El coeficiente principal esta dado por el determinante de dos matrices de

Captulo 1. Polinomios ortogonales en la recta real

Teorema 1.1.4. El kernel reproductor puede representarse de una manera simple en

pn+1 (x)pn (y) pn (x)pn+1 (y)

que se puede deducir de una manera directa a partir de la relaci

La iesima derivada parcial de Kn (x, y) con respecto a x y la jesima derivada parcial

Captulo 1. Polinomios ortogonales en la recta real

1.2. Transformaciones espectrales lineales en la recta real

Captulo 1. Polinomios ortogonales en la recta real

Qk/2 k(2i1) , si k es par.

Ejemplo 1.2.2. Consideremos los polinomios de Gegenbauer con = = 1, cuya medida

Captulo 1. Polinomios ortogonales en la recta real

Ejemplo 1.2.3. En terminos del funcional lineal, la transformaci

Los momentos asociados a esta perturbacion son

Captulo 1. Polinomios ortogonales en la recta real

Captulo 1. Polinomios ortogonales en la recta real

Se puede observar que

Donde Sg (x) representa la pertubacion de la medida de probabilidad g soportada

Captulo 1. Polinomios ortogonales en la recta real

de lo que se puede concluir que

Qn/2 n(2i1) , si n es par,

Captulo 1. Polinomios ortogonales en la recta real

En el ejemplo 1.2.2 hallamos {n }n0 .

Captulo 1. Polinomios ortogonales en la recta real

donde mj y a son constantes reales, pn (x) indica la jesima derivada de pn (x) P.

que se puede ver como una medida de Uvarov generalizada.

Considerando los diferentes casos para k y j, tenemos

Captulo 1. Polinomios ortogonales en la recta real

Si el funcional lineal Lj es cuasi-definido y se denota

de Stieltjes, entonces se puede relacionar S(x) = k=0 (xa)

Este resultado se tiene porque la funcion de Stieltjes perturbada es

de (1.8) los momentos pertubados son

Captulo 1. Polinomios ortogonales en la recta real

entonces sustituyendo en S(x)

Se puede ver la perturbaci

Observe que (1.11) y (1.13) son las mismas cuando j = 0.

Captulo 1. Polinomios ortogonales en la recta real

Kn1 (a, a) Kn1 (a, a)

Kn1 (a, a) Kn1