75
Matrices de Toeplitz Egor Maximenko ESFM del IPN 18 de junio de 2009 Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 1 / 43

Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz

Egor Maximenko

ESFM del IPN

18 de junio de 2009

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 1 / 43

Page 2: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 2 / 43

Page 3: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 3 / 43

Page 4: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 4 / 43

Page 5: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Circunferencia unitaria

La circunferencia T con medida normalizada

T := {z ∈ C : |z | = 1}, µT(S) :=12πµ{x ∈ [0, 2π) : eix ∈ S}.

La medida µT es “normalizada”: µT(T) = 1e invariante bajo rotaciones: µT(τS) = µT(S) ∀τ ∈ T.

T como el segmento [−π, π] con extremos pegadosA cada funcion f : T→ C le corresponde la funcion g : [−π, π]→ C,g(x) := f (eix ), que cumple g(−π) = g(π).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 5 / 43

Page 6: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Circunferencia unitaria

La circunferencia T con medida normalizada

T := {z ∈ C : |z | = 1}, µT(S) :=12πµ{x ∈ [0, 2π) : eix ∈ S}.

La medida µT es “normalizada”: µT(T) = 1e invariante bajo rotaciones: µT(τS) = µT(S) ∀τ ∈ T.

T como el segmento [−π, π] con extremos pegadosA cada funcion f : T→ C le corresponde la funcion g : [−π, π]→ C,g(x) := f (eix ), que cumple g(−π) = g(π).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 5 / 43

Page 7: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Coeficientes de Fourier

Espacio L1(T)

‖f ‖L1(T) =

∫t∈T|f (t)|dµT(t) =

12π

∫ π

−π|f (eix )| dx .

DefinicionPara cualquier funcion f ∈ L1(T), denotemos por fn (n ∈ Z) suscoeficientes de Fourier:

fn :=

∫T

t−n f (t) dµT(t) =12π

∫ π

−πe−inx f (eix ) dx .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 6 / 43

Page 8: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Coeficientes de Fourier

Espacio L1(T)

‖f ‖L1(T) =

∫t∈T|f (t)|dµT(t) =

12π

∫ π

−π|f (eix )| dx .

DefinicionPara cualquier funcion f ∈ L1(T), denotemos por fn (n ∈ Z) suscoeficientes de Fourier:

fn :=

∫T

t−n f (t) dµT(t) =12π

∫ π

−πe−inx f (eix ) dx .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 6 / 43

Page 9: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 7 / 43

Page 10: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de ToeplitzDefinicionLa matriz A ∈ Cn×n se llama matriz de Toeplitz si cada diagonal paralela ala diagonal principal, es constante:

Aj+s,k+s = Aj,k para todos posibles j , k, s.

Denotemos por ak al valor comun de los elementos de la k-esima diagonal.Entonces

A = (aj−k)nj,k=1.

Ejemplo (n = 4)

A =

a0 a−1 a−2 a−3a1 a0 a−1 a−2a2 a1 a0 a−1a3 a2 a1 a0

.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 8 / 43

Page 11: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Funcion generadoraaj fijos, n→∞Habitualmente la sucesion {ak}k∈Z esta dada y fija,y se estudian las propiedades de Tn(a) cuando n es muy grande,i.e. el comportamiento asintotico de Tn(a) cuando n→∞.

ak como coeficientes de Fourier de una funcionPor lo comun, los numeros ak tienden rapidamente a ceroy se pueden ver como coeficientes de Fourier de una funcion a ∈ L1(T).

DefinicionPara a ∈ L1(T) y n ∈ {1, 2, 3, . . .},

Tn(a) := (aj−k)nj,k=1,

La funcion a se llama la funcion generadora o el sımbolo de las matricesT1(a), T2(a), T3(a), . . .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 9 / 43

Page 12: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Funcion generadoraaj fijos, n→∞Habitualmente la sucesion {ak}k∈Z esta dada y fija,y se estudian las propiedades de Tn(a) cuando n es muy grande,i.e. el comportamiento asintotico de Tn(a) cuando n→∞.

ak como coeficientes de Fourier de una funcionPor lo comun, los numeros ak tienden rapidamente a ceroy se pueden ver como coeficientes de Fourier de una funcion a ∈ L1(T).

DefinicionPara a ∈ L1(T) y n ∈ {1, 2, 3, . . .},

Tn(a) := (aj−k)nj,k=1,

La funcion a se llama la funcion generadora o el sımbolo de las matricesT1(a), T2(a), T3(a), . . .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 9 / 43

Page 13: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Funcion generadoraaj fijos, n→∞Habitualmente la sucesion {ak}k∈Z esta dada y fija,y se estudian las propiedades de Tn(a) cuando n es muy grande,i.e. el comportamiento asintotico de Tn(a) cuando n→∞.

ak como coeficientes de Fourier de una funcionPor lo comun, los numeros ak tienden rapidamente a ceroy se pueden ver como coeficientes de Fourier de una funcion a ∈ L1(T).

DefinicionPara a ∈ L1(T) y n ∈ {1, 2, 3, . . .},

Tn(a) := (aj−k)nj,k=1,

La funcion a se llama la funcion generadora o el sımbolo de las matricesT1(a), T2(a), T3(a), . . .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 9 / 43

Page 14: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Clases de sımbolos

Aunque la condicion a ∈ L1(T) es suficiente para definir an y Tn(a),habitualmente se consideran condiciones mas fuertes.

Clases de sımbolos mas usadas:L∞(T), funciones esencialmente acotadas.C(T), funciones continuas.Algebra de Wiener W(T) := {f ∈ C(T) :

∑+∞k=−∞ |ak | < +∞}.

Si a ∈W(T), entonces a(t) =+∞∑

k=−∞aktk .

Polinomios de Laurent: a(t) =p∑

k=−qaktk .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 10 / 43

Page 15: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Clases de sımbolos

Aunque la condicion a ∈ L1(T) es suficiente para definir an y Tn(a),habitualmente se consideran condiciones mas fuertes.

Clases de sımbolos mas usadas:L∞(T), funciones esencialmente acotadas.

C(T), funciones continuas.Algebra de Wiener W(T) := {f ∈ C(T) :

∑+∞k=−∞ |ak | < +∞}.

Si a ∈W(T), entonces a(t) =+∞∑

k=−∞aktk .

Polinomios de Laurent: a(t) =p∑

k=−qaktk .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 10 / 43

Page 16: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Clases de sımbolos

Aunque la condicion a ∈ L1(T) es suficiente para definir an y Tn(a),habitualmente se consideran condiciones mas fuertes.

Clases de sımbolos mas usadas:L∞(T), funciones esencialmente acotadas.C(T), funciones continuas.

Algebra de Wiener W(T) := {f ∈ C(T) :∑+∞

k=−∞ |ak | < +∞}.

Si a ∈W(T), entonces a(t) =+∞∑

k=−∞aktk .

Polinomios de Laurent: a(t) =p∑

k=−qaktk .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 10 / 43

Page 17: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Clases de sımbolos

Aunque la condicion a ∈ L1(T) es suficiente para definir an y Tn(a),habitualmente se consideran condiciones mas fuertes.

Clases de sımbolos mas usadas:L∞(T), funciones esencialmente acotadas.C(T), funciones continuas.Algebra de Wiener W(T) := {f ∈ C(T) :

∑+∞k=−∞ |ak | < +∞}.

Si a ∈W(T), entonces a(t) =+∞∑

k=−∞aktk .

Polinomios de Laurent: a(t) =p∑

k=−qaktk .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 10 / 43

Page 18: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Clases de sımbolos

Aunque la condicion a ∈ L1(T) es suficiente para definir an y Tn(a),habitualmente se consideran condiciones mas fuertes.

Clases de sımbolos mas usadas:L∞(T), funciones esencialmente acotadas.C(T), funciones continuas.Algebra de Wiener W(T) := {f ∈ C(T) :

∑+∞k=−∞ |ak | < +∞}.

Si a ∈W(T), entonces a(t) =+∞∑

k=−∞aktk .

Polinomios de Laurent: a(t) =p∑

k=−qaktk .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 10 / 43

Page 19: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz de banda

Cuando el sımbolo a es un polinomio de Laurent, a(t) =p∑

k=−qaktk ,

el numero de diagonales no nulas es finito,i.e. para todo n la matriz Tn(a) es una matriz de banda.

Ejemplo (a(t) = −3t−1 + 2i + (4− i)t + t2)

T6(a) =

2i −3 0 0 0 04− i 2i −3 0 0 0

1 4− i 2i −3 0 00 1 4− i 2i −3 00 0 1 4− i 2i −30 0 0 1 4− i 2i

.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 11 / 43

Page 20: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz hermitianas

Si la funcion a es real, entonces a−k = ak para todos k ∈ Z,y para todo n la matriz Tn(a) es hermitiana,i.e. igual a su propia transpuesta conjugada.

Ejemplo

a(eix ) =

{π − x , x ∈ [0, π];

−π − x , x ∈ [−π, 0].

Entonces

T5(a) =

0 −i − i2 − i

3 − i4

i 0 −i − i2 − i

3i2 i 0 −i − i

2i3

i2 i 0 −i

i4

i3

i2 i 0

.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 12 / 43

Page 21: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Estimaciones rudas para las normas

Muchas propiedades de las matrices de Toeplitzse pueden formular naturalmente en terminos de a.

Teorema (Cotas superiores para las normas)Para todos a ∈ L∞(T) y n ∈ {1, 2, 3, . . .},

‖Tn(a)‖ 6 ‖a‖∞.

Para todos a ∈ L1(T) y n ∈ {1, 2, 3, . . .},

‖Tn(a)‖ 6 n ‖a‖1.

Problema no solucionadoPara a ∈ L1(T) \ L∞(T), ‖Tn(a)‖ ∼ ?(¿con que velocidad las normas ‖Tn(a)‖ tienden al infinito?)

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 13 / 43

Page 22: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Estimacion ruda para los espectrosTeorema

sp(Tn(a)) ⊂ conv(EssRange(a)),

donde EssRange(a) es el rango esencial de a, conv es la envoltura convexa.

Ejemplos (EssRange(a) y conv(EssRange(a)))

Re

Im

Re

Im

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 14 / 43

Page 23: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 15 / 43

Page 24: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Algunas areas donde surgen matrices de Toeplitz

Matricesde Toeplitz

Proces-tode senales

Discretiz.de ec. dif.

Procesosestocast.estac.

Mecanica:deformaciones

de capa fina

Fısica:el modelo

de Ising

Quımica:HC con

partes repet.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 16 / 43

Page 25: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 17 / 43

Page 26: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Procesos estocasticos estacionarios

Definicion (procesos estocasticos estacionarios)Sea {Xk}k∈Z un proceso estocastico de tiempo discreto.El proceso {Xk}k∈Z es estacionario (en sentico estricto)si su distribucion conjunta de probabilidad es invarianterespecto a desplazamientos en el tiempo.

Ejemplosel ruido blancoel esquema de Bernoullimodelo autorregresivo de media movil (“ARMA” en ingles)

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 18 / 43

Page 27: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Procesos estocasticos estacionarios en sentido amplio

DefinicionEl proceso {Xk}k∈Z es estacionario en sentido amplio(o en sentido debil) si su media y covarianzason invariantes respecto a desplazamientos en tiempo:

E Xj = E Xk ∀k, j ∈ Z;

Cov(Xj+s ,Xk+s) = Cov(Xj ,Xk) ∀k, j , s ∈ Z.

En este caso Cov(Xj ,Xk) depende solo de j − k: Cov(Xj ,Xk) = aj−k ,y la matriz de covarianzas (Cov(Xj ,Xk))n

j,k=1 es una matriz de Toeplitz.

NotaTodo proceso estacionario en sentido estrictoes tambien un proceso estacionario en sentido amplio.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 19 / 43

Page 28: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Procesos estocasticos estacionarios en sentido amplio

DefinicionEl proceso {Xk}k∈Z es estacionario en sentido amplio(o en sentido debil) si su media y covarianzason invariantes respecto a desplazamientos en tiempo:

E Xj = E Xk ∀k, j ∈ Z;

Cov(Xj+s ,Xk+s) = Cov(Xj ,Xk) ∀k, j , s ∈ Z.

En este caso Cov(Xj ,Xk) depende solo de j − k: Cov(Xj ,Xk) = aj−k ,y la matriz de covarianzas (Cov(Xj ,Xk))n

j,k=1 es una matriz de Toeplitz.

NotaTodo proceso estacionario en sentido estrictoes tambien un proceso estacionario en sentido amplio.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 19 / 43

Page 29: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 20 / 43

Page 30: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Discretizacion de ecuaciones diferenciales

Problema de valor de frontera

Encontrar f ∈ C2([0, 1]) tal que

f ′′(x) = g(x), x ∈ (0, 1);

f (0) = α;

f (1) = β.

Particion del segmentoDividimos el segmento [0, 1] en n + 1 partes:

xk :=k

n + 1 , fk := f (xk), gk := g(xk).

α

x = 0

f1x = 1

5

f2x = 2

5

f3x = 3

5

f4x = 4

5

β

x = 1

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 21 / 43

Page 31: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Discretizacion de ecuaciones diferenciales

Aproximacion de las derivadasLas derivadas se pueden aproximar con diferencias finitas:

f ′′(x) ≈ f (x + h) + f (x − h)− 2f (x)

h2 .

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 22 / 43

Page 32: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Discretizacion de ecuaciones diferenciales

Aproximacion de las derivadasLas derivadas se pueden aproximar con diferencias finitas:

f ′′(x) ≈ f (x + h) + f (x − h)− 2f (x)

h2 .

Discretizacion del problemaUsando la aproximacion f ′′(xk) ≈ fk−1−2fk+2fk+1

h2 y las condiciones defrontera, obtenemos un sistema de ecuaciones lineales algebraicas:

−2f1 + f2 = h2g1 − α;f1 − 2f2 + f3 = h2g2;f2 − 2f3 + f4 = h2g3;

f3 − 2f4 = h2g4 − β;

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 22 / 43

Page 33: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Discretizacion de ecuaciones diferencialesDiscretizacion del problemaUsando la aproximacion f ′′(xk) ≈ fk−1−2fk+2fk+1

h2 y las condiciones defrontera, obtenemos un sistema de ecuaciones lineales algebraicas:

−2f1 + f2 = h2g1 − α;f1 − 2f2 + f3 = h2g2;f2 − 2f3 + f4 = h2g3;

f3 − 2f4 = h2g4 − β;

Discretizacion del problema (en forma matricial)−2 1 0 0

1 −2 1 00 1 −2 10 0 1 −2

f1f2f3f4

=

h2g1 − α

h2g2h2g3

h2g4 − β

.La matriz del sistema es T4(a) con a(t) = t−1 − 2 + t.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 22 / 43

Page 34: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Discretizacion de ecuaciones diferenciales

Discretizacion del problema (en forma matricial)−2 1 0 0

1 −2 1 00 1 −2 10 0 1 −2

f1f2f3f4

=

h2g1 − α

h2g2h2g3

h2g4 − β

.La matriz del sistema es T4(a) con a(t) = t−1 − 2 + t.

NotaA los problemas de frontera mas complicados les correspondenmatrices de Toeplitz con mayor numero de diagonales no nulaso algunas generalizaciones de las matrices de Toeplitz.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 22 / 43

Page 35: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 23 / 43

Page 36: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 24 / 43

Page 37: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matices de Toeplitz tridiagonales

Consideremos el caso muy simple pero importante:

a(t) = a−1t−1 + a0 + a1t1 (a1, a−1 6= 0)

Las matrices correspondientes tienen tres diagonales no nulas:

T5(a) =

a0 a−1 0 0 0a1 a0 a−1 0 00 a1 a0 a−1 00 0 a1 a0 a−10 0 0 a1 a0

Los valores y vectores propios de estas matrices se pueden escribir enforma explıcita.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 25 / 43

Page 38: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonalesTeoremaSea a(t) = a−1t−1 + a0 + a1t, donde a1a−1 6= 0.Entonces los valores propios de Tn(a) son

λk = a0 + 2√a1a−1 cos kπn + 1 (1 6 k 6 n),

y los vectores propios correspondentes son

vk =

(√ a1a−1

)j

sin kjπn + 1

n

j=1

.

Nota geometricaLa curva z = a(eix ), x ∈ [−π, π], es la elipse con focos a0 ± 2√a1a−1,y los puntos λk estan en el segmento que une los focos.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 26 / 43

Page 39: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonalesEjemplo: el rango del sımbolo y espectro

Ejemplo (Range(a) y sp(T30(a)) para a = t−1 + (4 + i)t)

-10

-5

0

5

10

-15 -10 -5 0 5 10 15

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 27 / 43

Page 40: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianas

El estudio de estas matrices se puede reducir a un caso particular:

a(t) = 2− t − t−1, g(x) := a(eix ) = 2− 2 cos x = 4 sin2 x2 .

−π π

4

x0

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 28 / 43

Page 41: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasValores propios

Para a(t) = 2− t − t−1 y g(x) := a(eix ) = 4 sin2 x2 ,

λk(Tn(a)) = 4 sin2 kπ2(n + 1)

= g( kπ

n + 1

).

−π π x0

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 29 / 43

Page 42: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasValores propios

Para a(t) = 2− t − t−1 y g(x) := a(eix ) = 4 sin2 x2 ,

λk(Tn(a)) = 4 sin2 kπ2(n + 1)

= g( kπ

n + 1

).

−π π x0

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 29 / 43

Page 43: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasVectores propios

Formulas y dibujos para los vectores propios de Tn(2− t − t−1):

x (n)k =

√ 2π

sin kjπn + 1

n

j=1

.

j

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 30 / 43

Page 44: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasVectores propios

Formulas y dibujos para los vectores propios de Tn(2− t − t−1):

x (20)1 =

√ 2π

sin jπ21

20

j=1

.

j

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 30 / 43

Page 45: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasVectores propios

Formulas y dibujos para los vectores propios de Tn(2− t − t−1):

x (20)2 =

√ 2π

sin 2jπ21

20

j=1

.

j

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 30 / 43

Page 46: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasVectores propios

Formulas y dibujos para los vectores propios de Tn(2− t − t−1):

x (20)3 =

√ 2π

sin 3jπ21

20

j=1

.

j

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 30 / 43

Page 47: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasVectores propios

Formulas y dibujos para los vectores propios de Tn(2− t − t−1):

x (20)4 =

√ 2π

sin 4jπ21

20

j=1

.

j

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 30 / 43

Page 48: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Matrices de Toeplitz tridiagonales hermitianasVectores propios

Formulas y dibujos para los vectores propios de Tn(2− t − t−1):

x (20)5 =

√ 2π

sin 5jπ21

20

j=1

.

j

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 30 / 43

Page 49: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 31 / 43

Page 50: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Invertibilidad asintoticamente uniforme

DefinicionLa sucesion de matrices {An}∞n=0 es invertible asintoticamente uniforme(estable) si

lım supn→∞

‖A−1n ‖ <∞.

Aquı ‖A−1n ‖ :=∞ si An no es invertible.

¿Cuando la sucesion Tn(a) es estable?

Para formular la respuesta, necesitamos una nocion auxiliar,el numero de vueltas (“winding number” en ingles).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 32 / 43

Page 51: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Invertibilidad asintoticamente uniforme

DefinicionLa sucesion de matrices {An}∞n=0 es invertible asintoticamente uniforme(estable) si

lım supn→∞

‖A−1n ‖ <∞.

Aquı ‖A−1n ‖ :=∞ si An no es invertible.

¿Cuando la sucesion Tn(a) es estable?

Para formular la respuesta, necesitamos una nocion auxiliar,el numero de vueltas (“winding number” en ingles).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 32 / 43

Page 52: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Numero de vueltas: ejemplos

Ejemplo (valores de wind(a, λ))

2 1

1

1

0

−2

−1

−1

0

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 33 / 43

Page 53: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Numero de vueltas: ejemplos

Ejemplo (valores de wind(a, λ))

2 1

1

1

0

−2

−1

−1

0

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 33 / 43

Page 54: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Numero de vueltas: definicion formal

Sea a ∈ C(T), a(t) 6= 0 para todos t ∈ T. Entonces existe una funcioncontinua f : [−π, π]→ R tal que

a(eix ) = |a(eix )|eif (x) (x ∈ [−π, π]).

La funcion f se llama argumento continuo de la funcion x 7→ a(eix ).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 34 / 43

Page 55: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Numero de vueltas: definicion formal

Sea a ∈ C(T), a(t) 6= 0 para todos t ∈ T. Entonces existe una funcioncontinua f : [−π, π]→ R tal que

a(eix ) = |a(eix )|eif (x) (x ∈ [−π, π]).

La funcion f se llama argumento continuo de la funcion x 7→ a(eix ).

DefinicionSea a ∈ C(T), a(t) 6= 0 para todos t ∈ T.El numero de vueltas de la funcion a alrededor del punto 0 se define como

wind(a) :=f (π)− f (−π)

2π ,

donde la funcion f es un argumento continuo de la funcion x 7→ a(eix ).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 34 / 43

Page 56: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Numero de vueltas: definicion formal

DefinicionSea a ∈ C(T), a(t) 6= 0 para todos t ∈ T.El numero de vueltas de la funcion a alrededor del punto 0 se define como

wind(a) :=f (π)− f (−π)

2π ,

donde la funcion f es un argumento continuo de la funcion x 7→ a(eix ).

DefinicionSea a ∈ C(T), a(t) 6= λ para todos t ∈ T.El numero de vueltas de a alrededor del punto λ se define como

wind(a, λ) := wind(a − λ).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 34 / 43

Page 57: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Invertibilidad asintoticamente uniforme

TeoremaSea a ∈W(T). Entonces las siguientes condiciones son equivalentes:

lım supn→∞ ‖T−1n (a)‖ < +∞.

a(t) 6= 0 para todos t ∈ T y wind(a) = 0.

Example (Range(a) y {λ ∈ C : lım sup ‖T−1n (a − λ)‖ =∞})

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 35 / 43

Page 58: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Invertibilidad asintoticamente uniforme

TeoremaSea a ∈W(T). Entonces las siguientes condiciones son equivalentes:

lım supn→∞ ‖T−1n (a)‖ < +∞.

a(t) 6= 0 para todos t ∈ T y wind(a) = 0.

Example (Range(a) y {λ ∈ C : lım sup ‖T−1n (a − λ)‖ =∞})

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 35 / 43

Page 59: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 36 / 43

Page 60: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Comportamiento promedio de los valores propios

DefinicionSean A una matriz hermitiana n× n, λ1(A), . . . , λn(A) sus valores propios,f : [m,M]→ C una funcion continua, sp(A) ⊂ [m,M].Entonces la f -traza de A es

n∑k=1

f (λk(A)) = tr f (A).

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 37 / 43

Page 61: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Comportamiento promedio de los valores propios

DefinicionSean A una matriz hermitiana n× n, λ1(A), . . . , λn(A) sus valores propios,f : [m,M]→ C una funcion continua, sp(A) ⊂ [m,M].Entonces la f -traza de A es

n∑k=1

f (λk(A)) = tr f (A).

Teorema (El primer teorema lımite de Szego)Sea a ∈ L∞(T) una funcion real, Range(a) ⊂ [m,M].Entonces para cada funcion f ∈ C([m,M]) se tiene

lımn→∞

1n

n∑k=1

f (λk(Tn(a))) =12π

∫ π

−πf (a(eiθ)) dθ.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 37 / 43

Page 62: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Comportamiento promedio de los valores propios

Teorema (El primer teorema lımite de Szego)Sea a ∈ L∞(T) una funcion real, Range(a) ⊂ [m,M].Entonces para cada funcion f ∈ C([m,M]) se tiene

lımn→∞

1n

n∑k=1

f (λk(Tn(a))) =12π

∫ π

−πf (a(eiθ)) dθ.

Corolario (Densidad lımite de los valores propios)Sea a ∈ L∞(T) una funcion real, Range(a) ⊂ [m,M].Entonces para cada segmento [α, β] ⊂ [m,M]

lımn→∞

{k : λk(Tn(a)) ∈ [α, β]}n =

12πµ{x : a(eix ) ∈ [α, β]}.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 37 / 43

Page 63: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Comportamiento promedio de los valores propios

lımn→∞

{k : λk(Tn(a)) ∈ [α, β]}n =

12πµ{x : a(eix ) ∈ [α, β]}.

Ejemplo (Grafica de y = a(e ix) y espectro de Tn(a))a(t) = 2t−1 + t−1 + t + 2t2, n = 50

-4

-2

0

2

4

6

-3 -2 -1 0 1 2 3

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 38 / 43

Page 64: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Comportamiento promedio de los valores propios

lımn→∞

{k : λk(Tn(a)) ∈ [α, β]}n =

12πµ{x : a(eix ) ∈ [α, β]}.

Ejemplo (Grafica de y = a(e ix) y espectro de Tn(a))a(t) = 2t−1 + t−1 + t + 2t2, n = 50

-4

-2

0

2

4

6

-3 -2 -1 0 1 2 3

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 38 / 43

Page 65: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Contenido

1 DefinicionesCircunferencia unitaria y coeficientes de FourierDefinicion de las matrices de Toeplitz

2 AplicacionesProcesos estocasticos estacionariosDiscretizacion de ecuaciones diferenciales

3 PropiedadesMatrices de Toeplitz tridiagonalesInvertibilidad asintoticamente uniformeComportamiento promedio de los valores propiosLımites de espectros

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 39 / 43

Page 66: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros

Ejemplo (Range(a) y sp(Tn(a)) para a = t−1 + t − t2)

-1

-0.8

-0.6

-0.4

-0.2

0

0.2

0.4

0.6

0.8

1

-3 -2.5 -2 -1.5 -1 -0.5 0 0.5 1 1.5

n = 10

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 40 / 43

Page 67: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros

Ejemplo (Range(a) y sp(Tn(a)) para a = t−1 + t − t2)

-1

-0.8

-0.6

-0.4

-0.2

0

0.2

0.4

0.6

0.8

1

-3 -2.5 -2 -1.5 -1 -0.5 0 0.5 1 1.5

n = 40

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 40 / 43

Page 68: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros

Ejemplo (Range(a) y sp(Tn(a)) para a = t−1 + t − t2)

-1

-0.8

-0.6

-0.4

-0.2

0

0.2

0.4

0.6

0.8

1

-3 -2.5 -2 -1.5 -1 -0.5 0 0.5 1 1.5

n = 80

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 40 / 43

Page 69: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros

Ejemplo (Range(a) y sp(Tn(a)) para a = t−2 + t3)

-3

-2

-1

0

1

2

3

-3 -2 -1 0 1 2 3 4

n = 10

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 41 / 43

Page 70: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros

Ejemplo (Range(a) y sp(Tn(a)) para a = t−2 + t3)

-3

-2

-1

0

1

2

3

-3 -2 -1 0 1 2 3 4

n = 40

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 41 / 43

Page 71: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros

Ejemplo (Range(a) y sp(Tn(a)) para a = t−2 + t3)

-3

-2

-1

0

1

2

3

-3 -2 -1 0 1 2 3 4

n = 80

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 41 / 43

Page 72: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectrosTeorema (Schmidt y Spitzer, 1960)

Sea a(t) =p∑

k=−qaktk con p > 1, q > 1, ap 6= 0, a−q 6= 0.

Para cada λ ∈ C denotemos por z1(λ), . . . , zp+q(λ) las raıces delpolinomio

∑p+qk=0 ak−qzk − zqλ, numeradas en tal manera que

|z1(λ)| > |z2(λ)| > . . . > |zp+q(λ)|.

Entonces

lımn→∞

sp(Tn(a)) = Λ(a) := {λ ∈ C : |zp(λ)| = |zp+1(λ)|}.

Problema no solucionadoDescribir Λ(a) (“el esqueleto de a”) geometricamente.Extender el teorema de Schmidt y Spitzer a los sımbolos analıticos.

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 42 / 43

Page 73: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros: el caso no analıtico

Ejemplo (Grudsky, Bottcher y Bogoya Ramırez)El sımbolo a(t) = t−1(1− t)3/4 no es analıtico en el punto t = 1.Para este sımbolo, lım

n→∞spTn(a) = Range(a).

-1

-0.5

0

0.5

1

-1.5 -1 -0.5 0

n = 10

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 43 / 43

Page 74: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros: el caso no analıtico

Ejemplo (Grudsky, Bottcher y Bogoya Ramırez)El sımbolo a(t) = t−1(1− t)3/4 no es analıtico en el punto t = 1.Para este sımbolo, lım

n→∞spTn(a) = Range(a).

-1

-0.5

0

0.5

1

-1.5 -1 -0.5 0

n = 40

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 43 / 43

Page 75: Matrices de Toeplitz - DEPARTAMENTO DE MATEMÁTICAS

Lımites de espectros: el caso no analıtico

Ejemplo (Grudsky, Bottcher y Bogoya Ramırez)El sımbolo a(t) = t−1(1− t)3/4 no es analıtico en el punto t = 1.Para este sımbolo, lım

n→∞spTn(a) = Range(a).

-1

-0.5

0

0.5

1

-1.5 -1 -0.5 0

n = 80

Egor Maximenko (ESFM del IPN) Matrices de Toeplitz 18 de junio de 2009 43 / 43