Está en la página 1de 65

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


σ(θ) = ω(θ) + σs (θ)

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

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

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

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

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
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 .
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 .
1. PO MATRICIALES SOBRE UC
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.
1. PO MATRICIALES SOBRE UC
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
1. PO MATRICIALES SOBRE UC
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 = (−π, π].
1. PO MATRICIALES SOBRE UC
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)
−π
1. PO MATRICIALES SOBRE UC
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) = āφ(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.
1. PO MATRICIALES SOBRE UC
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 .
1. PO MATRICIALES SOBRE UC

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,
1. PO MATRICIALES SOBRE UC

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)

 H
1
L n
ϕn (z) = z Mn An , con MnH Mn = An (0)−1 , (4)

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.
1. PO MATRICIALES SOBRE UC
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
1. PO MATRICIALES SOBRE UC
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
1. PO MATRICIALES SOBRE UC
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
1. PO MATRICIALES SOBRE UC
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
1. PO MATRICIALES SOBRE UC
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 ,
1. PO MATRICIALES SOBRE UC
R ELACIONES EN RECURRENCIA S ZEG Ő

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


polinomios matriciales ortonormales satisface la relación en
recurrencia Szegő

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)
1. PO MATRICIALES SOBRE UC
R ELACIONES EN RECURRENCIA S ZEG Ő

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 σ.
1. PO MATRICIALES SOBRE UC
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 ζ̄
1. PO MATRICIALES SOBRE UC
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

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
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σ(θ) = ω(θ) + σs (θ),

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.
2. P ROPIEDADES ASINTÓTICAS POCU
C ONDICIÓN S ZEG Ő MATRICIAL

En esta sección se estudiaran condiciones para obtener


convergencia de polinomios ortogonales matriciales cuando se
cumple la condición de Szegő matricial

X
log(det ω(θ)) ∈ L1 (T) ⇔ kαn k2F < ∞
n=1
⇔ sup det An (0) < ∞ (16)
n∈N
⇔ sup det Bn (0) < ∞.
n∈N
2. P ROPIEDADES ASINTÓTICAS POCU

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.
2. P ROPIEDADES ASINTÓTICAS POCU

P ROPOSICIÓN
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő 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.


2. P ROPIEDADES ASINTÓTICAS POCU

P ROPOSICIÓN
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces

(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, ...
2. P ROPIEDADES ASINTÓTICAS POCU

C OROLARIO
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces

(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, ...
2. P ROPIEDADES ASINTÓTICAS POCU

P ROPOSICIÓN
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces
(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, ...


2. P ROPIEDADES ASINTÓTICAS POCU

C OROLARIO
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces
(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, ...


2. P ROPIEDADES ASINTÓTICAS POCU

P ROPOSICIÓN
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces
(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, ...


2. P ROPIEDADES ASINTÓTICAS POCU

C OROLARIO
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces
(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, ...


2. P ROPIEDADES ASINTÓTICAS POCU

P ROPOSICIÓN
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces

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, ...


2. P ROPIEDADES ASINTÓTICAS POCU

C OROLARIO
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces
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
lı́m (ϕL,H −1 L(j,0)
n+1 (ζ)) Kn (ζ, ζ)(ϕL (j) −1
n+1 (ζ) ) = I. (36)
n→∞ |ζ|2 − 1
2. P ROPIEDADES ASINTÓTICAS POCU

C OROLARIO
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces
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
lı́m (ϕL,H −1 L(j,0)
n+1 (ζ)) Kn (ζ, ζ)(ϕL (j) −1
n+1 (ζ) ) = I. (36)
n→∞ |ζ|2 − 1
2. P ROPIEDADES ASINTÓTICAS POCU

Para j = 0 se puede considerar z ∈ T.


C OROLARIO
Sea σ una medida matricial semi-definida positiva con soporte
en T. Si σ cumple la condición Szegő matricial (16), entonces

−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

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
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)
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)
3. T RANSFORMACIÓN DE U VAROV
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.


3. T RANSFORMACIÓN DE U VAROV
F ÓRMULA DE C ONEXIÓN

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)

es ortogonal con respecto a la forma sesquilineal (41).


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

es una matriz definida positiva para todo n ≥ 0.


3. T RANSFORMACIÓN DE U VAROV
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


respecto a la forma sesquilineal (41) con

UL L L L n
n (z) = κ̃n Un (z) = κ̃n z + · · · .
3. T RANSFORMACIÓN DE U VAROV
C OMPORTAMIENTO ASINTÓTICO

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 Szegő (16), entonces


1
lı́m κ−R R
n κ̃n = I, (44)
n→∞ |ζ|

−L 1
lı́m κ̃L
n κn = I. (45)
n→∞ |ζ|
3. T RANSFORMACIÓN DE U VAROV
C OMPORTAMIENTO ASINTÓTICO

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 Szegő 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 . . . .
3. T RANSFORMACIÓN DE U VAROV
C OMPORTAMIENTO ASINTÓTICO

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) )
3. T RANSFORMACIÓN DE U VAROV
C OMPORTAMIENTO ASINTÓTICO

(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
3. T RANSFORMACIÓN DE U VAROV
C OMPORTAMIENTO ASINTÓTICO

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→∞ |ζ|
3. T RANSFORMACIÓN DE U VAROV
C OMPORTAMIENTO ASINTÓTICO

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).


3. T RANSFORMACIÓN DE U VAROV
C OMPORTAMIENTO ASINTÓTICO

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


C OROLARIO
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 Szegő matricial (16), entonces

−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

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
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)


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)


4. T RANSFORMACIÓN DE C HRISTOFFEL
F ÓRMULA DE C ONEXIÓN

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)
es ortogonal con respecto a la forma sesquilineal (51).
Además

S̃nR = hCnR (z), CnR (z)iR,σ̃


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

es una matriz definida positiva para todo n ≥ 0.


4. T RANSFORMACIÓN DE C HRISTOFFEL
F ÓRMULA DE C ONEXIÓN

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)
es ortogonal con respecto a la forma sesquilineal (52).
Además

S̃nL = hCnL (z), CnL (z)iL,σ̃


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

es una matriz definida positiva para todo n ≥ 0.


4. T RANSFORMACIÓN DE C HRISTOFFEL
C OMPORTAMIENTO ASINTÓTICO

Sea (CR
n (z))n≥0 la sucesión de polinomios ortonormales
respecto a la forma sesquilineal (51) con

CR R R R n
n (z) = Cn (z)κ̃n = κ̃n z + · · · ,

así mismo, (CLn (z))n≥0 la sucesión de polinomios ortonormales


respecto a la forma sesquilineal (52) con

CL L L L n
n (z) = κ̃n Cn (z) = κ̃n z + · · · .
4. T RANSFORMACIÓN DE C HRISTOFFEL
C OMPORTAMIENTO ASINTÓTICO

T EOREMA
Sea σ y σ̃ medidas matriciales definidas positivas con soporte
en T, relacionadas mediante (50)

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

Si se mantiene la condición de Szegő (16), entonces


1
lı́m κ−R R
n+1 κ̃n = I, (57)
n→∞ |ζ|

−L 1
lı́m κ̃L
n κn+1 = I. (58)
n→∞ |ζ|
4. T RANSFORMACIÓN DE C HRISTOFFEL
C OMPORTAMIENTO ASINTÓTICO

T EOREMA
Sea σ y σ̃ medidas matriciales definidas positivas con soporte
en T, relacionadas mediante (50)

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

Si se mantiene la condición de Szegő matricial (16), entonces

(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 . . . .
4. T RANSFORMACIÓN DE C HRISTOFFEL
C OMPORTAMIENTO ASINTÓTICO

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


C OROLARIO
Sea σ y σ̃ medidas matriciales definidas positivas con soporte
en T, relacionadas mediante (50)

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

Si se mantiene la condición de Szegő (16), entonces

−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