III EME Duitama Polinomios

III EIMEM 2015
P ERTURBACIÓN DE MEDIDAS CON SOPORTE EN

LA CIRCUNFERENCIA UNIDAD ASOCIADOS A
FUNCIONALES DE ORTOGONALIDAD
M SC. E DINSON F UENTES & L IC. M ARTHA S AIZ
U NIVERSIDAD P EDAGÓGICA Y T ECNOLÓGICA DE C OLOMBIA
AGOSTO 2015
M OTIVACIÓN C IRCU. U NIDAD C IRCU. U NIDAD T RANS . I NV. T RAB . F UT. B IBLIOGRAFÍA
TABLA DE C ONTENIDO
1 M OTIVACIÓN : P ROBLEMA DE MOMENTOS

2 P OLINOMIOS ORTOGONALES EN LA C IRCUNFERENCIA
U NIDAD
3 P ERTURBACIÓN DE MEDIDAS CON SOPORTE EN LA CU

4 M EDIDA CON SOPORTE EN [−1, 1] RELACIONADA CON LA
TRANSFORMACIÓN DE S ZEG Ő INVERSA
5 T RABAJOS FUTUROS
6 B IBLIOGRAFÍA
M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

M OTIVACIÓN
P ROBLEMA DE LOS MOMENTOS

M OTIVACIÓN
Sea α(x) una medida positiva de Borel no trivial con soporte en

E un subconjunto de la recta real.
En algunos casos la medida se puede expresar
α(x) = ω(x)dx,
donde ω(x) se conoce como función de peso.
Teniendo está medida se puede construir una sucesión

{µn }n≥0 , donde Z
µn = xn dα(x).
E

M OTIVACIÓN
Sea α(x) una medida positiva de Borel no trivial con soporte en

E un subconjunto de la recta real.
En algunos casos la medida se puede expresar
α(x) = ω(x)dx,
donde ω(x) se conoce como función de peso.
Teniendo está medida se puede construir una sucesión

{µn }n≥0 , donde Z
µn = xn dα(x).
E

M OTIVACIÓN
Problema de momentos
Dada una sucesión {µn }n≥0 , encontrar condiciones necesarias
y suficientes para la existencia de una medida α(x) con
soporte en E que cumpla
Z
µn = xn dα(x), =⇒ Definido.
E
α(x) sea única, =⇒ Determinado.

M OTIVACIÓN
Hausdorff ([0, 1])

D EFINIDO si y solo si {µn }n≥0 es completamente
monótona.
D ETERMINADO siempre.
Stieltjes ([0, ∞))
D EFINIDO si y solo si los determinantes de las matrices de
Hankel ((µi+j )0≤i,j≤n−1 ) y ((µi+j )0≤i≤n−1,1≤j≤n ) son
positivos.
− 1
D ETERMINADO si ni=1 µn 2n = ∞.
P

M OTIVACIÓN
Hausdorff ([0, 1])

D EFINIDO si y solo si {µn }n≥0 es completamente
monótona.
D ETERMINADO siempre.
Stieltjes ([0, ∞))
D EFINIDO si y solo si los determinantes de las matrices de
Hankel ((µi+j )0≤i,j≤n−1 ) y ((µi+j )0≤i≤n−1,1≤j≤n ) son
positivos.
− 1
D ETERMINADO si ni=1 µn 2n = ∞.
P

M OTIVACIÓN
Hamburger ((−∞, ∞))

D EFINIDO si y solo {µn }n≥0 es definida positiva1
− 1
D ETERMINADO si ni=1 µ2n2n = ∞ (Criterio de Carleman).
P
Note que se cumple si {µn }n≥0 acotada.
1
momentos de todo polinomio no negativo Q(x), Q(x) 0, son positivos.
M OTIVACIÓN
A PLICACIONES
El problema de momentos tiene aplicaciones en
Integración numérica (cuadratura numérica).
Teoría de aproximación (aproximación de Pade).
Finanzas.
Probabilidad.

M OTIVACIÓN
{µn }n∈Z −→ medida α(x)

⇓
Perturbamos uno o
varios varios momentos
⇓
{νn }n∈Z −→ ¿medida α(x)?

TABLA DE C ONTENIDO

U NIDAD

5 T RABAJOS FUTUROS
6 B IBLIOGRAFÍA

P OLINOMIOS ORTOGONALES EN T
Circunferencia Unidad
La circunferencia unidad se define por
T = {z ∈ C : kzk = 1}.

Funcional lineal
Sea L un funcional lineal definido en el espacio de los
polinomios de Laurent (Λ = span{z k }k∈Z ) tal que L es
Hermítiano, i.e.
cn = hL, z n i = hL, z −n i = c−n , n ∈ Z.
Los números complejos {cn }n∈Z son llamados los momentos

asociados con L.
Bajo estas condiciones, se puede definir un funcional bilineal
en el espacio P = span{z k }k∈N de polinomios con coeficientes
complejos
hp(z), q(z)iL = hL, p(z)q̄(z −1 )i, p, q ∈ P.

Funcional lineal
Hermítiano, i.e.

asociados con L.
complejos

Funcional lineal
Hermítiano, i.e.

asociados con L.
complejos

Definición
La matriz de Gram asociada a la base canónica {z n }n≥0 de P
es  
c0 c1 ··· cn · · ·
 c−1
 c0 · · · cn−1 · · · 

 .. .
. . . .
. 
T=  . . . . ···  , (1)
 c−n c−n+1 . . . c0 . . . 

.. .. .. .. ..
. . . . .
conocida en la literatura como matriz de Toeplitz.

Definición
Se dice que el funcional lineal L es cuasi-definido si las
submatrices principales (Tn )n≥0 que tienen tamaño
(n + 1) × (n + 1), son no singulares, es decir

c0
c1 ··· cn
c−1 c0 · · · cn−1
det Tn = . .. 6= 0, n ≥ 0.

. ..
.. .. . .

c−n c−n+1 . . . c0

Teorema
Si L es cuasi-definido, existe una sucesión de polinomios
mónicos {Φn }n≥0 que satisface
1 grad Φn = n, n ≥ 0,
2 hΦn , Φm iL = 0, para m 6= n, m, n ≥ 0,
3 hΦn , Φn iL = Kn , n ≥ 0,
donde Kn 6= 0 para todo n. Esta sucesión de polinomios se
denomina sucesión de polinomios ortogonales mónicos
(SPOM) asociados a L.

Definición
Si las submatrices principales (Tn )n≥0 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
hΦn , Φn i = kΦn k2 = Kn , Kn > 0. (2)

También, todo funcional definido positivo tiene una

representación integral (no necesariamente ú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}.

Definición
El kernel reproductor de orden n-ésimo asociado con
{ϕn (z)}n≥0 y {Φn (z)}n≥0 es
n n
X X Φk (y)Φk (z)
Kn (z, y) = ϕk (y)ϕk (z) = ,
Kk
k=0 k=0
con Kk = kΦk (z)k2 = hΦk (z), Φk (z)iL .

E JEMPLO
Consideremos la medida normalizada de Lebesgue
Z
dz
hP (z), Q(z)iθ = P (z)Q(z −1 )
2πiz
ZTπ
dθ
= P (eiθ )Q(e−iθ ) .
−π 2π
La SPOM {z n }n≥0 = z n . Su respectiva matriz de Toeplitz es

 
1 0 0 0 ···
 0 1 0 0 ··· 
 
 .. 
T =  0 0 1 . ··· 

.
 0 0 ... 1 ... 
 
.. .. . . .. . .
. . . . .

TABLA DE C ONTENIDO

U NIDAD

5 T RABAJOS FUTUROS
6 B IBLIOGRAFÍA

P ERTURBACIÓN DE MEDIDAS
Definición
Sea L un funcional lineal Hermítiano definido en Λ y sea Lj un
funcional lineal tal que el funcional bilinela 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θ , (3)
donde Mj ∈ C, p, q ∈ P, j ∈ N es un número fijo, y h·, ·iLθ es el

funcional bilineal con la medida normalizada de Lebesgue en la
circunferencia unidad.

Si L es un funcional definido positivo, entonces la
transformación anterior puede expresarse en términos de su
correspondiente medida, dada por
dθ dθ
dσ̃j = dσ + Mj z j + M j z −j
2π 2π (4)
dθ
= dσ + 2Re(Mj z j ) .
2π
De (3) se puede concluir que


 ck , si k ∈
/ {j, −j},



c̃k = c−j + Mj , si k = −j, (5)




cj + M j , si k = j,


Si L es un funcional definido positivo, entonces la
transformación anterior puede expresarse en términos de su
correspondiente medida, dada por
dθ dθ
dσ̃j = dσ + Mj z j + M j z −j
2π 2π (4)
dθ
= dσ + 2Re(Mj z j ) .
2π
De (3) se puede concluir que


 ck , si k ∈
/ {j, −j},



c̃k = c−j + Mj , si k = −j, (5)




cj + M j , si k = j,


La matriz de Toeplitz asociada con el funcional Lj es igual a la

asociada a L excepto por el j-ésimo y −j-ésimo momento que
es igual a cj + M j y c−j + Mj respectivamente, es decir
 
c0 ··· cj + M j cj+1 ··· cn

 c−1 ··· cj−1 cj + M j ··· cn−1 

 .. .. .. .. .. .. 

 . . . . . . 

T
en =  c−j + Mj
 c−j+1 ... c0 ··· cn−j 

 c−j−1
 c−j + Mj ... c−1 ··· cn−j−1 

 .. .. .. .. .. .. 
 . . . . . . 
c−n c−n+1 ··· c−n+j ··· c0

P REGUNTA
¿C ÓMO ES LA NUEVA SUCESIÓN DE POLINOMIOS

ORTOGONALES ?

P OLINOMIOS PERTURBADOS
Sea L un funcional lineal definido positivo y {φn (z)}n≥0 su

correspondiente SPO. Las siguientes proposiciones son
equivalentes
1 Lj es un funcional lineal cuasi-definido.
2 La matriz In + Sjn es no singular, y {ψn }n≥0 , la
correspondiente SPOM respecto a Lj con n ≥ 1, se puede
escribir
(0,n−j)
Kn−1 (z, 0)
ψn (z) = φn (z) − (Qjn Wjn )T Kjn−1 (z, 0) − M j ,
(n − j)!
(6)

donde
 (0,j) 
K (z,0)
 Mj n−1 0!j! 

 .. 

 . 
(0,2j−1)
 
 Kn−1 (z,0) 

 Mj (j−1)!(2j−1)! 

 
 
 (0,2j) (0,0) 
K (z,0) K (z,0)
Mr n−1 + M j n−1
 
 j!(2j)! j!0!

 
..
Kjn−1 (z, 0) = 
 
 .
,
 (7)
(0,n−1) (0,n−2j−1)
 
 Mj Kn−1 (z,0) Kn−1 (z,0)
 
 (n−j−1)!(n−1)!
+ M j (n−j−1)!(n−2j−1)!


 
 
 (0,n−2j) 
 Kn−1 (z,0) 
 M r (n−j)!(n−2j)! 
 

 .. 

 . 
 (0,n−j−1) 
Kn−1 (z,0)
M j (n−1)!(n−j−1)! .

y
Qrn = (In + Sjn )−1 ,
Wjn = Φn (0) − M r n!C(0,n−1;n,n;r) ,

 
Mj A(0,j−1;0,j−1) B(0,j−1;j,n−j−1) M j C(0,j−1;n−j,n−1)
Sjn =  Mj A(j,n−j−1;0,j−1) B(j,n−j−1;r,n−j−1) M j C(j,n−j−1;n−j,n−1)  ,
Mj A(n−j,n−1;0,j−1) B(n−j,n−1;j,n−j−1) M j C(n−j,n−1;n−j,n−1)
las entradas de las matrices A, B y C están dadas por
(s,l+j)
Kn−1 (0, 0)
a(s,l)j = ,
l!(l + j)!
(s,l+j) (s,l−j)
Kn−1 (0, 0) Kn−1 (0, 0)
b(s,l)j = Mr + Mj ,
l!(l + j)! l!(l − j)!
(s,l−j)
Kn−1 (0, 0)
c(s,l)j = .
l!(l − j)!

E JEMPLO
Sea L una transformación de Christoffel de la medida

normalizada de Lebesgue con parametro 1 para la cual se
perturbar el momento uno, es decir, j = 1
hp(z), q(z)iL1 = h(z−1)p(z), (z−1)q(z)iLθ +M1 hzp(z), q(z)iLθ + M̄1 hp(z), zq(z)iLθ .
(8)
La OPSM asociada con h(z − 1)p(z), (z − 1)q(z)iLθ es
 
n
1  n+1 1 X
φn (z) = z − z j  , n ≥ 1,
z−1 n+1
j=0
n
φn (z) = z n + φn−1 (z), n ≥ 1,
n+1

E JEMPLO
Algunos elementos de la sucesión de polinomios ortogonales
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)
ψ1 (z) = φ1 (z) −
0!1!
(1 − M 1 )
=z+ φ0 (z),
2
porque K10 (z, 0) = 0.
E JEMPLO
El polinomio de grado dos es

!
2(1 − M 1 ) 6φ1 (z) − 3M 1
ψ2 (z) = z + .
3 det(I2 + S12 )
En general el polinomio de grado n-ésimo es

 T 
1!

(1 − M 1 )
  2!  T

ψn (z) = z n +  (In + S1n )−1 K1n−1 (z, 0)
 
nφn−1 (z) −  .. .


n+1 
  .  
n!
Observe que al hacer M1 = 0 se tiene que ψn (z)=φn (z).

TABLA DE C ONTENIDO

U NIDAD

5 T RABAJOS FUTUROS
6 B IBLIOGRAFÍA

M EDIDA PERTURBADA EN [−1, 1]
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 θ)|, (9)
2
de tal forma que si dα(x) = ω(x)dx, entonces
1
dσ(θ) = ω(cos θ)| sin θ|dθ. (10)
2

Proposición
Sea σ una medida positiva de Borel no trivial con soporte en la
circunferencia unidad y momentos reales, y sea α la
correspondiente medida en [−1, 1], relacionada a traves de
transformación Szegő inversa. Sean {cn }n∈Z y {µn }n≥0 las
correspondientes suceciones de momentos. Asumiendo que
σ̃j , definida por (4) con Mj ∈ R, es positiva. Entonces, la
medida α̃j , que se obtiene aplicando la transformación de
Szegő inversa a σ̃j , es
Tj (x) dx
dα̃j = dα + 2Mj √ . (11)
π 1 − x2
Donde Tj (x) ≡ cos(jx) son los polinomios de Chebyshev de

primera especie.
Su correspondiente sucesión de momentos es


 µn + Mj B(n, j), si j ≥ n, n + j es par,
µ̃n = (12)
µn , otro caso,

donde
 
[j/2]
k j−2k (j+n−2k)/2
 (−1) (j − k − 1)!(2) j + n − 2k − (2i − 1) 
X Y
B(n, j) = j .
k=0
k!(j − 2k)! i=1
j + n − 2k − 2(i − 1)

E JEMPLO
Suponiendo que el funcional (8) es definido positivo, la medida

asociada es
dθ dθ
dσ = |z − 1|2 + 2Re(M1 z) .
2π 2π
Entonces según (11) la medida con soporte en [−1, 1] bajo la
transformación de Szegő inversa es
r
2 1−x 2 1
dα̃ = dx + M1 T1 (x) √ dx. (13)
π 1+x π 1 − x2

E JEMPLO
En general los momentos perturbados generados por la

medida (13) son


 2, if n = 0,




 Q n+1 n+1−(2i−1)
µ̃n = 2(M1 − 1) i=1
2
n+1−2(i−1) , if n es impar,




 Qn
2 2 n−(2i−1) ,

 if n es par.
i=1 n−2(i−1)

TABLA DE C ONTENIDO

U NIDAD

5 T RABAJOS FUTUROS
6 B IBLIOGRAFÍA

T RABAJOS FUTUROS
Análisis de la perturbación de un número finito de

momentos con soporte en la circunferencia unidad.
Análisis de la perturbación de un número finito de
momentos con soporte en un subconjunto de la recta real.

TABLA DE C ONTENIDO

U NIDAD

5 T RABAJOS FUTUROS
6 B IBLIOGRAFÍA

B IBLIOGRAFÍA
E. Fuentes, L.E. Garza, 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, .
Garza L.E., Hernández J. and Marcellán F., Spectral
transformations of measures supported on the unit circle
and the Szegő transformation, Numer. Algorithms 49
(2008), no.1, 169-185.
Szegő G., Orthogonal Polynomials, Amer. Math. Soc. Coll.
Publi. Series, vol 23, Amer. Math. Soc., Providence, RI,
1975.
Simon B., Orthogonal Polynomials on the unit circle, 2 vol.
Amer. Math. Soc. Coll. Publi. Series. vol 54, 2005.

¡Gracias por su atención!

III EME Duitama Polinomios

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

III EME Duitama Polinomios

Transféré par

Droits d'auteur :

Formats disponibles

III EIMEM 2015

P ERTURBACIÓN DE MEDIDAS CON SOPORTE EN

M SC. E DINSON F UENTES & L IC. M ARTHA S AIZ

U NIVERSIDAD P EDAGÓGICA Y T ECNOLÓGICA DE C OLOMBIA

1 M OTIVACIÓN : P ROBLEMA DE MOMENTOS

3 P ERTURBACIÓN DE MEDIDAS CON SOPORTE EN LA CU

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

P ROBLEMA DE LOS MOMENTOS

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

Sea α(x) una medida positiva de Borel no trivial con soporte en

donde ω(x) se conoce como función de peso.

Teniendo está medida se puede construir una sucesión

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

Sea α(x) una medida positiva de Borel no trivial con soporte en

donde ω(x) se conoce como función de peso.

Teniendo está medida se puede construir una sucesión

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

α(x) sea única, =⇒ Determinado.

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

Hausdorff ([0, 1])

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

Hausdorff ([0, 1])

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

Hamburger ((−∞, ∞))

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

{µn }n∈Z −→ medida α(x)

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

1 M OTIVACIÓN : P ROBLEMA DE MOMENTOS

3 P ERTURBACIÓN DE MEDIDAS CON SOPORTE EN LA CU

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

cn = hL, z n i = hL, z −n i = c−n , n ∈ Z.

Los números complejos {cn }n∈Z son llamados los momentos

hp(z), q(z)iL = hL, p(z)q̄(z −1 )i, p, q ∈ P.

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

cn = hL, z n i = hL, z −n i = c−n , n ∈ Z.

Los números complejos {cn }n∈Z son llamados los momentos

hp(z), q(z)iL = hL, p(z)q̄(z −1 )i, p, q ∈ P.

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

cn = hL, z n i = hL, z −n i = c−n , n ∈ Z.

Los números complejos {cn }n∈Z son llamados los momentos

hp(z), q(z)iL = hL, p(z)q̄(z −1 )i, p, q ∈ P.

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

Si L es definido positivo entonces podemos definir un producto

hΦn , Φn i = kΦn k2 = Kn , Kn > 0. (2)

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

También, todo funcional definido positivo tiene una

donde σ es una medida de Borel positiva, no trivial, con

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

con Kk = kΦk (z)k2 = hΦk (z), Φk (z)iL .

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

La SPOM {z n }n≥0 = z n . Su respectiva matriz de Toeplitz es

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

1 M OTIVACIÓN : P ROBLEMA DE MOMENTOS

3 P ERTURBACIÓN DE MEDIDAS CON SOPORTE EN LA CU

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

donde Mj ∈ C, p, q ∈ P, j ∈ N es un número fijo, y h·, ·iLθ es el

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

M SC . E DINSON F UENTES & L IC . M ARTHA S AIZ P ERTURBACIÓN DE MEDIDAS

La matriz de Toeplitz asociada con el funcional Lj es igual a la