Compotamiento Asintotico Trasnformacion 2018

S EMINARIO P OLINOMIOS O RTOGONALES
P ROPIEDADES ASINTÓTICAS DE POLINOMIOS

ORTOGONALES MATRICIALES SOBRE LA
CIRCUNFERENCIA UNIDAD .
E DINSON F UENTES
25 de febrero de 2018
R ESUMEN
Sea (ϕRn (z))n≥0 una sucesión de polinomios matriciales a

derecha ortonormales con respecto a la medida matricial
definida positiva σ(z) con soporte en T. En este trabajo se
estudian propiedades asintóticas relacionadas con la sucesión
(ϕR (j)
n (z) )n≥0 j = 0, 1, ...
Cuando la parte absolutamente continua de la medida matricial
dθ
σ(θ) = ω(θ) + σs (θ)
2π
pertenece a L1 (T), es decir, ω(θ) ∈ L1 (T).
R ESUMEN
También se estudia el comportamiento de

(j) −1 R
lı́m (ϕR (j)
n (z) ) (Un (z)) , j = 0, 1, ...
n→∞
y
(j) −1
lı́m (ϕR R (j)
n+1 (z) ) ((z − ζ)Cn (z)) , j = 0, 1, ...
n→∞
donde (UR R
n (z))n≥0 y (Cn (z))n≥0 son sucesiones de polinomios
matriciales a derecha ortonormales cons respecto a las
medidas matriciales
dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1,
dσ̃(z) = |z − ζ|2 dσ(z), con |ζ| > 1,

respectivamente, donde M es una matriz definida positiva y δ
es la medida de Dirac matricial.
TABLA DE C ONTENIDO
1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

CIRCUNFERENCIA UNIDAD
2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

MATRICIALES EN LA CIRCUNFERENCIA UNIDAD
3 T RANSFORMACIÓN DE U VAROV
4 T RANSFORMACIÓN DE C HRISTOFFEL
TABLA DE C ONTENIDO


TABLA DE C ONTENIDO


TABLA DE C ONTENIDO


TABLA DE C ONTENIDO


1. PO MATRICIALES SOBRE UC
M ÓDULO
Sea Pl [z] el conjunto de todos los polinomios en z ∈ C con

coeficientes matriciales de tamaño l × l que denotaremos por
Ml .
Pl [z] puede ser considerado ya sea un módulo a derecha o

izquierda, es decir, un bi-módulo sobre el anillo Ml .
M ÓDULO
Sea Pl [z] el conjunto de todos los polinomios en z ∈ C con

coeficientes matriciales de tamaño l × l que denotaremos por
Ml .
Pl [z] puede ser considerado ya sea un módulo a derecha o

izquierda, es decir, un bi-módulo sobre el anillo Ml .
M ÓDULO
Un módulo a izquierda sobre un anillo A(Ml ) es un grupo

abeliano P (Pl [z]) provisto de una acción a izquierda de A
sobre M.
Una acción a izquierda de un anillo A sobre un grupo abeliano
P es una aplicación (a, p) 7→ a · m, de A × P en P, que
satisface:
1 1 · p = p para todo p ∈ P,
2 a · (p + q) = a· +a · q para todo a ∈ A y p, q ∈ P,
3 (a + b) · p = a · p + b · p para todo a, b ∈ A y p ∈ P,
4 a · (b · p) = (ab) · p para todo a, b ∈ A y p ∈ P.
M EDIDA MATRICIAL
D EFINICIÓN
Una medida matricial Hermitiana, σ = (σij )li,j=1 de tamaño
l × l, con soporte E ⊆ R, es una aplicación
σ : B(E) −→ Ml ,
que satisface:
1 σ(∅) = 0 ∈ Ml .
2 Hermitiana
σ(A) es una matriz Hermitiana, para todo A ∈ B(E).
3 Contablemente aditiva
sea (An )n≥1 cualquier sucesión disjunta de elementos en
B(E), entonces
∞ ∞
!
[ X
σ An = σ(An ).
n=1 n=1
M EDIDA MATRICIAL
Si en la segunda condición σ(A) siempre es una matriz

semi-definida positiva (resp. definida positiva), para todo
A ∈ B(E), entonces se dice que σ es una medida matricial
Hermitiana semi-definida positiva (resp. definida positiva).
Las medidas para polinomios ortogonales matriciales en la
circunferencia unidad tendrán soporte en E = (−π, π].
F ORMA SESQUILINEAL
Una medida matricial σ definida positiva con soporte en T

induce dos formas sesquilineales llamadas forma sesquilineal
a derecha y forma sesquilineal a izquierda de la siguiente
manera:
Z π
hf, giR = f (eiθ )H dσ(θ)g(eiθ ) ∈ Ml , f, g ∈ Pl [z], (1)
−π
Z π
hf, giL = f (eiθ )dσ(θ)g(eiθ )H ∈ Ml , f, g ∈ Pl [z]. (2)
−π
F ORMA SESQUILINEAL
Sea P (Pl [z]) un módulo libre a izquierda sobre el anillo R(Ml ).

Una forma sesquilineal sobre P es una función φ : P × P 7→ A
que satisface:
1 φ(ap + bq, r) = aφ(p, r) + bφ(q, r),
2 φ(p, aq + br) = āφ(p, q) + b̄φ(p, r),
para todo p, q, r ∈ P y a, b ∈ A.
Observemos que esta noción es una generalización de la

noción de producto interno sobre espacios vectoriales.
F ORMA SESQUILINEAL
La sesquilinealidad de estas formas significa que se cumple

para todo f, g, h ∈ Pl [z] y α, β ∈ Ml
1 hf, gα + hβiR = hf, giR α + hf, hiR β.
2 hgα + hβ, f iR = αH hg, f iR + β H hh, f iR .
3 hf, αg + βhiL = hf, giL αH + hf, hiL β H .
4 hαg + βh, f iL = αhg, f iL + βhh, f iL .
El n−ésimo momento matricial asociado a la medida matricial

σ se define mediante
Z π
cn = hI, z n IiR = hz n I, IiL = einθ dσ(θ), n ∈ Z.
−π
Observe que como σ es en particular una matriz hermitiana

entonces cH−n = cn .
Las matriz por bloquez de Toeplitz Tn ∈ Ml(n+1) para n ≥ 1,
 
c0 c−1 ··· c−n
 c1 c0 ··· c1−n 
Tn =  ,
 
.. .. .. ..
 . . . . 
cn cn−1 · · · c0
para n ≥ 0,
Las sucesiones de polinomios matriciales (ϕRn (z))n≥0 y

(ϕL
n (z))n≥0 construidas de la siguiente manera
H
1
ϕR
n (z)
n
= z Bn Nn , con Nn NnH = Bn (0)−1 , (3)
z̄
H
1
L n
ϕn (z) = z Mn An , con MnH Mn = An (0)−1 , (4)
z̄
donde
An (z) = Un (z)Tn−1 Un (0)T ,
Bn (z) = Vn (0)Tn−1 Vn (z)T ,

n 1
Vn (z) = z Un ,
z
Un (z) = [I, zI, · · · , z n I],
son ortonormales con respecto a las formas sesquilineales (1)
y (2) respectivamente.
E JEMPLO
Consideremos la medida matricial semi-definida positiva con

soporte en (−π, π] dada por

dθ 1 cos θ dθ
dσ(θ) = ω(θ) = . (5)
2π cos θ 1 2π
La sucesión de PO ortonormales matriciales (ϕn (z))n≥0 con

r n
2(n + 1) φn (z) − n+1 φn−1 (z)
ϕn (z) = n (6)
n+2 − n+1 φn−1 (z) φn (z)
donde
n
1 + (−1)n−k

1 X
φn (z) = (k + 1)z k .
n+1 2
k=0
E JEMPLO
Consideremos la medida matricial semi-definida positiva con

soporte en (−π, π] dada por

dθ 1 cos θ dθ
dσ(θ) = ω(θ) = . (5)
2π cos θ 1 2π
La sucesión de PO ortonormales matriciales (ϕn (z))n≥0 con

r n
2(n + 1) φn (z) − n+1 φn−1 (z)
ϕn (z) = n (6)
n+2 − n+1 φn−1 (z) φn (z)
donde
n
1 + (−1)n−k

1 X
φn (z) = (k + 1)z k .
n+1 2
k=0
E JEMPLO
Algunos polinomios ortogonales matriciales son:

1 0
Φ0 (z) =
0 1
r r
− 12

4 z 4 1 0 1 0 1
ϕ1 (z) = = z−
3 − 21 z 3 0 1 2 1 0
r
3 12 (3z 2 + 1) − 32 z

ϕ2 (z) =
2 −2z 1
(3z 2 + 1)
r 3 2
3 2 1 0 2 0 1 1 1 0
= z2 − +
2 3 0 1 3 1 0 2 0 1
E JEMPLO
Algunos polinomios ortogonales matriciales son:

1 0
Φ0 (z) =
0 1
r r
− 12

4 z 4 1 0 1 0 1
ϕ1 (z) = = z−
3 − 21 z 3 0 1 2 1 0
r
3 12 (3z 2 + 1) − 32 z

ϕ2 (z) =
2 −2z 1
(3z 2 + 1)
r 3 2
3 2 1 0 2 0 1 1 1 0
= z2 − +
2 3 0 1 3 1 0 2 0 1
P OLINOMIOS ORTOGONALES MATRICIALES MÓNICOS
La SP matriciales ortonormales a derecha (ϕR n (z))n≥0 ,

respectivamente a izquierda (ϕL
n (z))n≥0 se define por
ϕR R n L L n
n (z) = κn z + · · · y ϕn (z) = κn z + · · · . (7)
Y sea
−R/2 −L/2
κR
n = Sn y κL
n = Sn ,
Entonces la sucesión de polinomios matriciales mónicos
−L/2 L
ΦR R R/2
n (z) = ϕn (z)Sn , ΦL
n (z) = Sn ϕn (z), (8)
Donde
SnR = hΦR R L L L
n (z), Φn (z)iR , y Sn = hΦn (z), Φn (z)iL ,
R ELACIONES EN RECURRENCIA S ZEG Ő
Para matrices adecuadas αn ∈ Ml con n ≥ 0 , la sucesión de

polinomios matriciales ortonormales satisface la relación en
recurrencia Szegő
zϕR R R L,∗ H
n (z) − ϕn+1 (z)ρn = ϕn (z)αn , (9)
zϕL L L H R,∗
n (z) − ρn ϕn+1 (z) = αn ϕn (z), (10)
También se tiene la relaciones
ϕL,∗ L,∗ L R
n+1 (z) = ϕn (z)ρn − ϕn+1 (z)αn , n ≥ 0. (11)
ϕR,∗ R R,∗ L
n+1 (z) = ρn ϕn (z) − αn ϕn+1 (z), n ≥ 0. (12)
R ELACIONES EN RECURRENCIA S ZEG Ő
donde
0 < ρR H 1/2
n = (I − αn αn ) , 0 < ρL H
n = (I − αn αn )
1/2
.
Ya que ρLn es invertible por ser matriz definida positiva, se tiene

que kαn kF < 1. Las matrices αn son llamadas los coeficientes
de Verblunsky matriciales asociados con la medida a valor
matricial σ.
P OLINOMIO KERNEL Y L A FÓRMULA DE C HRISTOFFEL -DARBOUX
El polinomio kernel matricial a derecha e izquierda de grado n

con z, ζ ∈ C se define:
n
X n
X
KnR (ζ, z) = ϕR R H L
k (z)ϕk (ζ) , Kn (z, ζ) = ϕL H L
k (ζ) ϕk (z).
k=0 k=0
(13)
Se satisface una fórmula de Christoffel-Darboux,
ϕL,∗ L,∗ H R R
n+1 (z)ϕn+1 (ζ) − ϕn+1 (z)ϕn+1 (ζ)
H
KnR (ζ, z) = , (14)
1 − z ζ̄
ϕR,∗ H R,∗ L H L
n+1 (ζ) ϕn+1 (z) − ϕn+1 (ζ) ϕn+1 (z)
KnL (z, ζ) = , (15)
1 − z ζ̄
C EROS
Un cero de un polinomio matricial Φ(z) es un z0 ∈ C tal que

det Φ(z0 ) = 0.
Los polinomios ortonormales matriciales satisfacen:
1 Todos los ceros de ϕR
n (z) se encuentran en D.
2 Para cada n,
det(ϕR L
n (z)) = det(ϕn (z)).
De lo anterior se sigue que para cada n ≥ 0, (ϕR −1 y

n (z))
L −1
(ϕn (z)) existe cuando |z| ≥ 1.
TABLA DE C ONTENIDO


2. P ROPIEDADES ASINTÓTICAS POCU
Si σ es una medida matricial semi-definida positiva con soporte

en T, entonces la medida se puede descomponer de la
siguiente manera
dθ
dσ(θ) = ω(θ) + σs (θ),
2π
donde ω(θ) ∈ Ml denota la derivada de Radon-Nikodyn de la
parte absolutamente continua de la medida matricial σ con
respecto a la medida escalar de Lebesgue.
C ONDICIÓN S ZEG Ő MATRICIAL
En esta sección se estudiaran condiciones para obtener

convergencia de polinomios ortogonales matriciales cuando se
cumple la condición de Szegő matricial
∞
X
log(det ω(θ)) ∈ L1 (T) ⇔ kαn k2F < ∞
n=1
⇔ sup det An (0) < ∞ (16)
n∈N
⇔ sup det Bn (0) < ∞.
n∈N
T EOREMA
La sucesión (An (z))n≥0 como en (4) (resp. (Bn (z))n≥0 como en
(3)) converge uniformemente sobre cada subconjunto
compacto de D si y sólo si los números det An (0) (resp.
det Bn (0)) son acotados superiormente. En este caso, el límite
A(z) (resp. B(z)) de (An (z))n≥0 (resp. (An (z))n≥0 ) es una
función matricial analítica y no tiene ceros en D, su inverasa
pertenece a la clase Hl×l2 .
Delsarte, Ph. , Genin Y.V. & Kamp Y.G. , Orthogonal

Polynomial Matrices on the Unit Circle, IEEE Trans. Circuits
and Systems 25,3,(1978), 149-160.
P ROPOSICIÓN
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces
−1
lı́m (ϕR,H
n (z)) = 0 ∈ Ml , (17)
n→∞
−1
lı́m (ϕL,H
n (z)) = 0 ∈ Ml , (18)
n→∞
para |z| > 1.

P ROPOSICIÓN
(j) −1 R 1
lı́m (ϕR
n+1 (z) ) ϕn (z)
(j)
= I, (19)
n→∞ z
(j) −1 1
lı́m ϕL (j) L
n (z) (ϕn+1 (z) ) = I, (20)
n→∞ z
para |z| > 1 y j = 0, 1, ...
C OROLARIO
(j) −1 R 1
lı́m (ϕR
n+k (z) ) ϕn (z)
(j)
= I, k ≥ 1, (21)
n→∞ zk
(j) −1 1
lı́m ϕL (j) L
n (z) (ϕn+k (z) ) = I, k ≥ 1, (22)
n→∞ zk
para |z| > 1 y j = 0, 1, ...
P ROPOSICIÓN
(j) −1 L,∗
lı́m (ϕR
n (z) ) ϕn (z)
(j)
= 0 ∈ Ml , (23)
n→∞
(j) −1
lı́m ϕnR,∗ (z)(j) (ϕL
n (z) ) = 0 ∈ Ml , (24)
n→∞
para |z| > 1 y j = 0, 1, ...

C OROLARIO
(j+k) −1 L,∗
lı́m (ϕR
n (z) ) ϕn (z)(j) = 0 ∈ Ml , k ≥ 0, (25)
n→∞
(j+k) −1
lı́m ϕR,∗ (j) L
n (z) (ϕn (z) ) = 0 ∈ Ml , k ≥ 0, (26)
n→∞
para |z| > 1 y j = 0, 1, ...

P ROPOSICIÓN
(j+1) −1 R
lı́m (ϕR
n (z) ) ϕn (z)(j) = 0 ∈ Ml , (27)
n→∞
(j+1) −1
lı́m ϕL (j) L
n (z) (ϕn (z) ) = 0 ∈ Ml , (28)
n→∞
para |z| > 1 y j = 0, 1, ...

C OROLARIO
(j+k) −1 R
lı́m (ϕR
n (z) ) ϕn (z)(j) = 0 ∈ Ml , k ≥ 1, (29)
n→∞
(j+k) −1
lı́m ϕL (j) L
n (z) (ϕn (z) ) = 0 ∈ Ml , k ≥ 1, (30)
n→∞
para |z| > 1 y j = 0, 1, ...

P ROPOSICIÓN
lı́m (ϕR (j) −1 R(0,j−1)

n+1 (z) ) Kn (ζ, z)(ϕR,H
n+1 (ζ))
−1
= 0 ∈ Ml , (31)
n→∞
lı́m (ϕL,H −1 L(j−1,0)

n+1 (z)) Kn (ζ, z)(ϕL (j) −1
n+1 (ζ) ) = 0 ∈ Ml , (32)
n→∞
para |z| > 1, |ζ| > 1 y j = 0, 1, ...

C OROLARIO
1
lı́m (ϕR (j) −1 R(0,j)
n+1 (z) ) Kn (ζ, z)(ϕR,H
n+1 (ζ))
−1
= I, (33)
n→∞ z ζ̄ − 1
1
lı́m (ϕL,H −1 L(j,0)
n+1 (z)) Kn (ζ, z)(ϕL (j) −1
n+1 (ζ) ) = I, (34)
n→∞ z ζ̄ − 1
para |z| > 1, |ζ| > 1 y j = 0, 1, ...
Observe que si z = ζ ∈ C − D̄ en (33) y (34) se tiene que

1
lı́m (ϕR (j) −1 R(0,j)
n+1 (ζ) ) Kn (ζ, ζ)(ϕR,H
n+1 (ζ))
−1
= I, (35)
n→∞ |ζ|2−1
1
n+1 (ζ)) Kn (ζ, ζ)(ϕL (j) −1
n+1 (ζ) ) = I. (36)
n→∞ |ζ|2 − 1
C OROLARIO
1
lı́m (ϕR (j) −1 R(0,j)
n+1 (z) ) Kn (ζ, z)(ϕR,H
n+1 (ζ))
−1
= I, (33)
n→∞ z ζ̄ − 1
1
n+1 (z)) Kn (ζ, z)(ϕL (j) −1
n+1 (ζ) ) = I, (34)
n→∞ z ζ̄ − 1
para |z| > 1, |ζ| > 1 y j = 0, 1, ...
Observe que si z = ζ ∈ C − D̄ en (33) y (34) se tiene que

1
lı́m (ϕR (j) −1 R(0,j)
n+1 (ζ) ) Kn (ζ, ζ)(ϕR,H
n+1 (ζ))
−1
= I, (35)
n→∞ |ζ|2−1
1
n+1 (ζ)) Kn (ζ, ζ)(ϕL (j) −1
n+1 (ζ) ) = I. (36)
n→∞ |ζ|2 − 1
Para j = 0 se puede considerar z ∈ T.

C OROLARIO
−1 R R,H −1 1
lı́m (ϕR
n+1 (z)) Kn (ζ, z)(ϕn+1 (ζ)) = I, (37)
n→∞ z ζ̄ − 1
1
lı́m (ϕL,H −1 L L
n+1 (z)) Kn (ζ, z)(ϕn+1 (ζ))
−1
= I, (38)
n→∞ z ζ̄ − 1
para |z| ≥ 1, |ζ| > 1.
TABLA DE C ONTENIDO


3. T RANSFORMACIÓN DE U VAROV
En esta sección se considerara la transformación de Uvarov de

la medida matricial definida positiva σ(z) con soporte en T
dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1, (39)
M ∈ Ml matriz definida positiva y δ la medida de Dirac

matricial.
La forma sesquilineal a derecha e izquierda respectivamente
están dadas por
hp(z), q(z)iR,σ̃ = hp(z), q(z)iR,σ + p(ζ)H Mq(ζ), p, q ∈ Pl [z]. (40)
hp(z), q(z)iL,σ̃ = hp(z), q(z)iL,σ + p(ζ)Mq(ζ)H , p, q ∈ Pl [z].

(41)
En esta sección se considerara la transformación de Uvarov de

la medida matricial definida positiva σ(z) con soporte en T
dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1, (39)
M ∈ Ml matriz definida positiva y δ la medida de Dirac

matricial.
La forma sesquilineal a derecha e izquierda respectivamente
están dadas por
hp(z), q(z)iR,σ̃ = hp(z), q(z)iR,σ + p(ζ)H Mq(ζ), p, q ∈ Pl [z]. (40)
hp(z), q(z)iL,σ̃ = hp(z), q(z)iL,σ + p(ζ)Mq(ζ)H , p, q ∈ Pl [z].

(41)
F ÓRMULA DE C ONEXIÓN
P ROPOSICIÓN
La sucesión de polinomios matriciales mónicos (UnR (z))n≥0 ,
donde
−1 R
UnR (z) = ΦR R R
n (z) − Kn−1 (ζ, z)M(I + Kn−1 (ζ, ζ)M) Φn (ζ), (42)
es ortogonal con respecto a la forma sesquilineal (40).

Además
−1 R
SnR + ΦR H R
n (ζ) M(I + Kn−1 (ζ, ζ)M) Φn (ζ),
es una matriz definida positiva para todo n ≥ 0.

P ROPOSICIÓN
La sucesión de polinomios matriciales mónicos (UnL (z))n≥0 ,
donde
−1
UnL (z) = ΦL L L L
n (z) − Φn (ζ)(I + MKn−1 (ζ, ζ)) MKn−1 (z, ζ), (43)

Además
−1
S̃nL = SnL + ΦL L L H
n (ζ)(I + MKn−1 (ζ, ζ)) MΦn (ζ) ,

C OMPORTAMIENTO ASINTÓTICO
Sea (UR
n (z))n≥0 la sucesión de polinomios ortonormales
respecto a la forma sesquilineal (40) con
UR R R R n
n (z) = Un (z)κ̃n = κ̃n z + · · · ,
así mismo (UL n (z))n≥0 la sucesión de polinomios ortonormales

UL L L L n
n (z) = κ̃n Un (z) = κ̃n z + · · · .
T EOREMA
Sea σ y σ̃ medidas matriciales definidas positivas con soporte
en T, relacionadas mediante (39)
dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1.
Si se mantiene la condición de Szegő (16), entonces

1
lı́m κ−R R
n κ̃n = I, (44)
n→∞ |ζ|
−L 1
lı́m κ̃L
n κn = I. (45)
n→∞ |ζ|
T EOREMA
dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1.
Si se mantiene la condición de Szegő matricial (16), entonces
(j) −1 R ζ̄ (z − ζ)
lı́m (ϕR
n (z) ) (Un (z))
(j)
= I, (46)
n→∞ |ζ| (z ζ̄ − 1)
(j) −1 ζ̄ (z − ζ)
lı́m (UL (j) L
n (z)) (ϕn (z) ) = I, (47)
n→∞ |ζ| (z ζ̄ − 1)
para |z| > 1 y j = 0, 1 . . . .
Demostración: De (42) tenemos que

−1 R −R R
UR R R R
n (z) = (ϕn (z) − Kn−1 (ζ, z)M(I + Kn−1 (ζ, ζ)M) ϕn (ζ))κn κ̃n ,
derivando j−veces con respecto a z y multiplicando a

izquierda por (ϕR (j) −1 con |z| > 1, se tiene
n (z) )
(j) −1 R
(ϕR
n (z) ) (Un (z))
(j)
(j) −1 R(0,j) −1 R −R R
= (I − (ϕR R
n (z) ) Kn−1 (ζ, z)M(I + Kn−1 (ζ, ζ)M) ϕn (ζ))κn κ̃n
(j) −1 R(0,j) −1
= (I − (ϕR R,H
n (z) ) Kn−1 (ζ, z)(ϕn (ζ))
−1 R −R R
ϕR,H R
n (ζ)M(I + Kn−1 (ζ, ζ)M) ϕn (ζ))κn κ̃n
(j) −1 R(0,j) −1
= (I − (ϕR R,H
n (z) ) Kn−1 (ζ, z)(ϕn (ζ))
−1 −1 R,H −1 −1 −R R
((ϕR R
n (ζ)) (I + Kn−1 (ζ, ζ)M)M (ϕn (ζ)) ) )κn κ̃n
(j) −1 R(0,j) −1
= (I − (ϕR R,H
n (z) ) Kn−1 (ζ, z)(ϕn (ζ))
−1 −1 R,H −1 −1 R −1 −1 −R
((ϕR
n (ζ)) M (ϕn (ζ)) + (ϕR R,H
n (ζ)) Kn−1 (ζ, ζ)(ϕn (ζ)) ) )κn
De (33)
(j) −1 R(0,j) −1 1
lı́m (ϕR R,H
n (z) ) Kn−1 (ζ, z)(ϕn (ζ)) = I,
n→∞ z ζ̄ − 1
para j = 0 con z = ζ de (35)
−1 R −1 1
lı́m (ϕR R,H
n (ζ)) Kn−1 (ζ, ζ)(ϕn (ζ)) = I
n→∞ |ζ|2 − 1
po otro lado de (17) se sigue

−1 −1 R,H −1
lı́m (ϕR
n (ζ)) M (ϕn (ζ)) =0
n→∞
y de (44)
1
lı́m κ−R R
n κ̃n = I.
n→∞ |ζ|
De esta manera

1 1
lı́m (ϕR (z)(j) )−1 (UR
n (z))
(j)
= 1− 2
(|ζ| − 1) I
n→∞ n z ζ̄ − 1 |ζ|
ζ̄(z − ζ) 1
= I,
z ζ̄ − 1 |ζ|
así hemos demostrado (46). De igual manera para (47).

En particular para j = 0 se puede considerar cuando z ∈ T

C OROLARIO
dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1.
−1 R ζ̄ (z − ζ)
lı́m (ϕR
n (z)) Un (z) = I, (48)
n→∞ |ζ| (z ζ̄ − 1)
−1 ζ̄ (z − ζ)
lı́m UL L
n (z)(ϕn (z)) = I, (49)
n→∞ |ζ| (z ζ̄ − 1)
para |z| ≥ 1
TABLA DE C ONTENIDO


4. T RANSFORMACIÓN DE C HRISTOFFEL
En esta sección se considera la siguiente transformación de

Christoffel de la medida matricial definida positiva σ(z) con
soporte en T
dσ̃(z) = |z − ζ|2 dσ(z), con ζ ∈ C. (50)
La forma sesquilineal a derecha asociada a la medida matricial

(50) viene dada por
hp(z), q(z)iR,σ̃ = h(z − ζ)p(z), (z − ζ)q(z)iR,σ , p, q ∈ Pl [z]. (51)
La forma sesquilineal a izquierda asociada a la medida

matricial (50) es
hp(z), q(z)iL,σ̃ = hp(z)(z − ζ), q(z)(z − ζ)iL,σ , p, q ∈ Pl [z]. (52)

En esta sección se considera la siguiente transformación de

Christoffel de la medida matricial definida positiva σ(z) con
soporte en T
dσ̃(z) = |z − ζ|2 dσ(z), con ζ ∈ C. (50)
La forma sesquilineal a derecha asociada a la medida matricial

(50) viene dada por
hp(z), q(z)iR,σ̃ = h(z − ζ)p(z), (z − ζ)q(z)iR,σ , p, q ∈ Pl [z]. (51)
La forma sesquilineal a izquierda asociada a la medida

matricial (50) es
hp(z), q(z)iL,σ̃ = hp(z)(z − ζ), q(z)(z − ζ)iL,σ , p, q ∈ Pl [z]. (52)

P ROPOSICIÓN
La sucesión de polinomios matriciales (CnR (z))n≥0 , donde
1 −1 R
CnR (z) = ΦR R R

n+1 (z) − Kn (ζ, z)(Kn (ζ, ζ)) Φn+1 (ζ) ,
z−ζ
(53)
Además
S̃nR = hCnR (z), CnR (z)iR,σ̃

R −1 R
(54)
= Sn+1 + ΦR H R
n+1 (ζ) (Kn (ζ, ζ)) Φn+1 (ζ),

P ROPOSICIÓN
La sucesión de polinomios matriciales (CnL (z))n≥0 , donde
1 −1 L
CnL (z) = ΦL L L

n+1 (z) − Φn+1 (ζ)(Kn (ζ, ζ)) Kn (z, ζ) ,
z−ζ
(55)
Además
S̃nL = hCnL (z), CnL (z)iL,σ̃

L −1 L
(56)
= Sn+1 + ΦL L H
n+1 (ζ)(Kn (ζ, ζ)) Φn+1 (ζ) ,

Sea (CR
n (z))n≥0 la sucesión de polinomios ortonormales
CR R R R n
n (z) = Cn (z)κ̃n = κ̃n z + · · · ,
así mismo, (CLn (z))n≥0 la sucesión de polinomios ortonormales

CL L L L n
n (z) = κ̃n Cn (z) = κ̃n z + · · · .
T EOREMA
dσ̃(z) = |z − ζ|2 dσ(z), con |ζ| > 1.

1
lı́m κ−R R
n+1 κ̃n = I, (57)
n→∞ |ζ|
−L 1
lı́m κ̃L
n κn+1 = I. (58)
n→∞ |ζ|
T EOREMA
dσ̃(z) = |z − ζ|2 dσ(z), con |ζ| > 1.
(j) −1 ζ̄ (z − ζ)
lı́m (ϕR R
n+1 (z) ) ((z − ζ)Cn (z))
(j)
= I, (59)
n→∞ |ζ| (z ζ̄ − 1)
(j) −1 ζ̄ (z − ζ)
lı́m ((z − ζ)CL (j) L
n (z)) (ϕn+1 (z) ) = I, (60)
n→∞ |ζ| (z ζ̄ − 1)
para |z| > 1 y j = 0, 1 . . . .
En particular para j = 0 se puede considerar cuando z ∈ T

C OROLARIO
dσ̃(z) = |z − ζ|2 dσ(z), con |ζ| > 1.
−1 R ζ̄ 1
lı́m (ϕR
n+1 (z)) Cn (z) = I, (61)
n→∞ |ζ| z ζ̄ − 1
−1 ζ̄ 1
lı́m CL L
n (z)(ϕn+1 (z)) = I, (62)
n→∞ |ζ| z ζ̄ − 1
para |z| ≥ 1.
Gracias

Compotamiento Asintotico Trasnformacion 2018

Uploaded by

Document Information

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

Compotamiento Asintotico Trasnformacion 2018

Uploaded by

Copyright:

Available Formats

S EMINARIO P OLINOMIOS O RTOGONALES

P ROPIEDADES ASINTÓTICAS DE POLINOMIOS

Sea (ϕRn (z))n≥0 una sucesión de polinomios matriciales a

Cuando la parte absolutamente continua de la medida matricial

También se estudia el comportamiento de

dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1,

dσ̃(z) = |z − ζ|2 dσ(z), con |ζ| > 1,

1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

Sea Pl [z] el conjunto de todos los polinomios en z ∈ C con

Pl [z] puede ser considerado ya sea un módulo a derecha o

Sea Pl [z] el conjunto de todos los polinomios en z ∈ C con

Pl [z] puede ser considerado ya sea un módulo a derecha o

Un módulo a izquierda sobre un anillo A(Ml ) es un grupo

Si en la segunda condición σ(A) siempre es una matriz

Una medida matricial σ definida positiva con soporte en T

Sea P (Pl [z]) un módulo libre a izquierda sobre el anillo R(Ml ).

Observemos que esta noción es una generalización de la

La sesquilinealidad de estas formas significa que se cumple

El n−ésimo momento matricial asociado a la medida matricial

Observe que como σ es en particular una matriz hermitiana

Las sucesiones de polinomios matriciales (ϕRn (z))n≥0 y

Consideremos la medida matricial semi-definida positiva con

La sucesión de PO ortonormales matriciales (ϕn (z))n≥0 con

Consideremos la medida matricial semi-definida positiva con

La sucesión de PO ortonormales matriciales (ϕn (z))n≥0 con

Algunos polinomios ortogonales matriciales son:

Algunos polinomios ortogonales matriciales son:

La SP matriciales ortonormales a derecha (ϕR n (z))n≥0 ,

Para matrices adecuadas αn ∈ Ml con n ≥ 0 , la sucesión de

Ya que ρLn es invertible por ser matriz definida positiva, se tiene

El polinomio kernel matricial a derecha e izquierda de grado n

Un cero de un polinomio matricial Φ(z) es un z0 ∈ C tal que

De lo anterior se sigue que para cada n ≥ 0, (ϕR −1 y

1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

Si σ es una medida matricial semi-definida positiva con soporte

En esta sección se estudiaran condiciones para obtener

Delsarte, Ph. , Genin Y.V. & Kamp Y.G. , Orthogonal

para |z| > 1.

para |z| > 1 y j = 0, 1, ...

para |z| > 1 y j = 0, 1, ...

para |z| > 1 y j = 0, 1, ...

para |z| > 1 y j = 0, 1, ...

lı́m (ϕR (j) −1 R(0,j−1)

lı́m (ϕL,H −1 L(j−1,0)

para |z| > 1, |ζ| > 1 y j = 0, 1, ...

Observe que si z = ζ ∈ C − D̄ en (33) y (34) se tiene que

Observe que si z = ζ ∈ C − D̄ en (33) y (34) se tiene que

Para j = 0 se puede considerar z ∈ T.

1 P OLINOMIOS ORTOGONALES MATRICIALES SOBRE LA

2 P ROPIEDADES ASINTÓTICAS PARA POLINOMIOS ORTOGONALES

En esta sección se considerara la transformación de Uvarov de

dσ̃(z) = dσ(z) + Mδ(z − ζ), con |ζ| > 1, (39)

M ∈ Ml matriz definida positiva y δ la medida de Dirac

hp(z), q(z)iR,σ̃ = hp(z), q(z)iR,σ + p(ζ)H Mq(ζ), p, q ∈ Pl [z]. (40)