1.

Introduccin

Nosotros consideraremos las matrices Toeplitz de banda, de la forma

n

Tn = (rs )r,s=0 ,

donde p y q son enteros no negativos tales que

(1.1)

= 0 si > p o < q

Donde Tn es de orden n + 1, con las y columnas numeradas de 0 a n. Nosotros

escribiremos
n

Tn1 = Bn = (brsn )r,s=0 ,

Se supone que
(1.2)

p q 6= 0 y p + q = k n.

Nuestros principales resultados son explicitas formulas de los elementos de Tn1

y para la solucin del sistema
(1.3)

Tn X = Y,

en trminos de las races del polinomio

(1.4)

p
X

P (z) =

z +q

=q

Estas formulas involucran determinantes de orden k, que es el ancho de banda

de Tn .
No es sorpresa que los elementos de Tn1 , estn relacionados cercanamente con

1
los de TnL , donde TnL es la matriz triangular inferior de la matriz de Toeplitz.
n

TnL = (rsq )r,s=0 .

La inversa de esta matriz es la triangular inferior

(1.5)

TnL

1

= (rs )r,s=0

( = 0 si < 0)

con elementos independientes de n, denidos por

(1.6)

(P (z))

=0

Es fcil encontrar una formula explicita para en trminos de los ceros de P (z).
Mas aun nosotros mostraremos que
brsn rsq

0 r, s n

pueden encontrarse fcilmente y explcitamente en trminos de los ceros de P (z).

Esto conduce a las formulas explicitas para Tn1 y la solucin de (1.3).
1

Nosotros daremos formulas anlogas basadas en la inversa de la matriz triangular

superior de Toeplitz
n

TnU = (rs+p )r,s=0

La inversa de esta matriz es

(1.7)

(TnU )1 = (sr )r,s=0

( = 0 si < 0)

con elementos independientes de n, denidos por

(1.8)

(z k P

 

1 1 X
) =
z
z
=0

2.

Preliminares

Suposicin A. Los distintos ceros de (1.4) son z1 , . . . , zm , con multiplicidades

1 , . . . , m ; por lo tanto , m k , 1 i , y

1 + . . . + m = k.

Denicin 1. Si j1 , . . . , jk son enteros, sea

C(z; j1 , . . . , jk ) = col[z j1 , . . . , z jk ]

y sea C (l) (z; j1 , . . . , jk ) la l-sima derivada de este vector columna. Ahora denimos el determinante D(j1 , . . . , jk ) de tamao k k donde: Las primeras columnas 1 son C (l) (z1 ; j1 , . . . , jk ) (0 l 1 1); las siguientes 2 columnas son
C (l) (z2 ; j1 , . . . , jk ) (0 l 2 1), etc...
Por ejemplo, si (1.4) tiene k distintas races, entonces
D(j1 , . . . , jk ) = det(zsjr )kr,s=1

Lema 2. Suponga que

tonces la secuencia
(2.1)

1 l k y j1 , . . . , jl1 , jl+1 , . . . , jk son enteros jos. En-

er = D(j1 , . . . , jl1 , r, jl+1 , . . . , jk )

<r <

satisface la ecuacin diferencial

p
X

(2.2)

e+r = 0.

=q

Demostracin. Por la Denicin 1, expandiendo el determinante en (2.1) en trminos de los cofactores de la l-sima la
(2.3)

er =

j 1
m X
X

j=1 i=0

donde

aij (r)(i) zjri

(i)

(r)(0) = 1,

(r)

= r (r 1) (r i + 1),

1i

y los aij son constantes. Pero si 1 j m y 0 i j 1 ,implica que

p
X

( + r)

(i)

zj+ri = 0

<r <

=q

dado que zj es raz de z rq P (z), con multiplicidad para toda r. Esto y (2.3)
implica (2.2).


Lema 3. a) La secuencia {r } denida por

(

(2.4)

r =

si r < 0
si 1 k r

0
1
q

D(r,1,...,k1)
D(0,1,...,k1)

satisface
p
X

(2.5)

jq = j0 ,

< j <

=q

b) La secuencia {r } denida por

(2.6)

r =

(
0
1 D(0,1,...,k2,r+k1)
p
D(0,1,...,k1)

si r < 0
si 1 k r

satisface
(2.7)

p
X

jp+ = j0 ,

< j < ,

=q

Demostracin. a) Si j < 0, entonces (2.4) implica (2.5). Si j = 0, entonces (2.5)

reduce a
q 0 = 1,

esto dado de nuevo por (2.5). Esto es consistente con (2.4) cuando r = 0. Si

1 j , entonces por (2.4) y implica (2.5).

b) Anlogamente.

Note que las secuencias {r } y {r } pueden ser calculada recursiva-mente de

(2.5) y de (2.7), o explcitamente de (2.4) y (2.6) .
El implica (1.5), (1.6), (1.7) y (1.8). Por lo tanto, (2.4) proporciona una formula
explicita pata Tn1 si q = 0 (Tn es triangular inferior), mientras que (2.6) sirve para
el mismo propsito si p = 0 (Tn es triangular superior). Por su puesto, la inversa de
una matriz triangular de Toeplitz banda o no-es muy simple, como fue obcervado
en (2.7). Nosotros asumimos de aqu en adelante que
(2.8)

1 p y 1 q.

4
3.

Resultados principales

Teorema 4. Si (1.2) y (2.8) se cumplen, se tiene que Tn es invertible si y solo si

(3.1)

D(0, 1, . . . , q 1, n + q + 1, . . . , n + k)6=0

Demostracin. Nosotros probaremos la armacin equivalente que el sistema

(3.2)

T n X = 0

( = traspuesta)

tiene una solucin no trivial X = col [x0 , . . . , xn ] si y solo si

(3.3)

D (0, 1, . . . , q 1, n + q + 1, . . . , n + k) = 0

Es fcil mostrar que (3.2) se cumple si y solo si la secuencia nita

xq , . . . , x1 , x0 , . . . , xn , xn+1 , . . . , xn+p

satisface la condicin de frontera

(3.4)
(3.5)

Pp

=q

x+r = 0, con 0 r n,

xr = 0

si q r 1 o n + 1 r n + p.

Sin embargo, por la Suposicin A y el hecho de que zj 6= 0 (1 j m), la

teora elemental de ecuaciones diferenciales de coeciente constante implica que la
solucin de (3.4) debe ser de la forma
(3.6)

xr =

j 1
m X
X

(i)

aij (q + r)

zjq+ri ,

q r n + q,

j=1 i=0

donde
A = col [a01 , . . . , a1 1,1 , . . . , a0m , . . . , am 1,m ]
is un vector constante. Recordando la Denicin 1, se puede ver que (3.6) es
consistente con (3.5) si y solo si A satisface el sistema k k

(3.7)

HA = 0

donde
det H = D (0, 1, . . . , q 1, n + q + 1, . . . , n + k)
.

Por lo tanto (3.7) tiene una solucin no trivial y lo mismo es verdad (3.2) , si y
solo si (3.3) se tiene. Esto completa la prueba.
De ahora en adelante, nosotros asumimos que (3.1) se tiene.


Denicin 5. Sea
Un = {0, 1, . . . , q 1, n + q + 1, . . . , n + k} .

Si Un y l en un entero arbitrario, denimos

an (|l) =

donde

D (j0 , . . . , jq1 , jn+q+1 , . . . , jn+k )

D (0, 1, . . . , q 1, n + q + 1, . . . , n + k)
(
ji =

i si iUn {} ,
l si i = .

Por ejemplo,
an (0|l) =

D (l, 1, . . . , q 1, n + q + 1, . . . , n + k)
D (0, 1, . . . , q 1, n + q + 1, . . . , n + k)

an (n + q + 1|l) =

D (0, 1, . . . , q 1, l, n + q + 2)
D (0, 1, . . . , q 1, n + q + 1, . . . , n + k)

El Lema 2 y la Denicin 5 implican el siguiente lema.

Lema 6. Si es un entero jo en Um entonces

p
X

an (| + r) = 0,

< r < ,

=q

an (|r) = r ,

rUn ;

es decir, er = an (|r) is la nica solucin de (2.2) cuando satisface las condiciones de frontera
0 r q 1,

er = r ,

n + q + 1 r n + k.

La unicidad del Lema 6 se sigue de (3.1), cuando puede verse de la prueba del
Teorema 4, ya que la diferencia de dos soluciones pueden satisfacer (3.4).
Los siguientes dos teoremas dan formulas explicitas para brsm el elemento de
Tn1 .

Teorema 7. Cualquier elemento brsn de Bn = Tn1 esta dado por

(3.8)

brsn = rsq

q1
X

rl an (l|q + s),

l=0

donde {r } como esta denida en (2.4).

Demostracin. La condicin Bn Tn = In es equivalente a
n
X

brjn js = rs ,

0 r, s n

j=0

la cual puede ser reescrita como

(3.9)

n+p
X
j=q

brjn js = rs ,

0 r, s n,

si denimos
(3.10)

cuando q s 1 o n + 1 s n + p.

brsn = 0

Cambiando el indice de la suma en (3.9) y recordando (1.1)

p
X

(3.11)

br,+s,n = rs ,

0 r, s n + p.

=q

Sean
(3.12)

0 r n,

brsn = rsq + ursn ,

q s n + p

donde ursn esta por determinarse. De (2.5) con j = r s,

p
X

rsq = 0,rs = rs ,

0 r, s n;

=q

por lo tanto, sustituyendo (3.12) en (3.11) y recordando (3.10) mostramos que

para cada r en {0, . . . , n}, la secuencia {ursn }n+q
r=q satisface la ecuacin diferencial
p
X

ur,+s,n = 0,

0 s n,

=q

y las condiciones de frontera

ursn = rsq = 0

n + 1 s n + q,

ursn = rsq,

q s 1.

Esto y el Lema 6 implican que

ursn =

q1
X

rl an (l|q + s) ,

l=0

mientras que, con (3.12), implica (3.8).

Teorema 8. Cualquier elemento brsn de Bn = Tn1 esta dado por

(3.13)

brsn = srp

p1
X

sp+l+1 an (n + q + l + 1|n + q r) ,

l=0

con {r } como esta denida en (2.6).

Demostracin. La condicin Tn Bn = In es equivalente a
n
X

rj bjsn = rs ,

j=0

que puede ser reescrito como

0 r, s n,

n+q
X

(3.14)

0 r, s n,

rj bjsn = rs ,

j=p

si denimos
(3.15)

cuando p r 1 o n + 1 r n + q.

brsn = 0

Cambiando el indice en la suma en (3.14) y recordando a (1.1)

(3.16)

p
X

br,sn = rs ,

0 r, s n

=q

ahora sea
(3.17)

brsn = srp + rsn ,

donde rsn esta por determinarse. De (2.7) con j = s r,

p
X

srp+ = rs ,

0 r, s n;

=q

por lo tanto, substituyendo (3.17) en (3.16) y recordando (3.15) mostramos que

para cada s en {0, . . . , n}, la secuencia {rsn }n+q
r=p satisface la ecuacin diferencial
p
X

r,sn = 0,

0 r n,

=q

y las condiciones de frontera

rsn

= srp=0,

rsn

srp,

n+1
p r 1

Esto y el Lema 6 implica que

rsn =

p1
X

sp+l+1 an (n + q + l + 1|n + q r) ;

l=0

mientras que, con (3.17) se implica (3.13)

El siguiente teorema dar una formula explicita para la solucin de (1.3) cuando

Tn sea invertible. Desde aqu escribiremos

X = col [x0 , . . . , xn ] y Y = col [y0 , . . . , yn ]

y adoptaremos la convencin que

=0

si .

Teorema 9. Si Tn es invertible, entonces la solucin de (1.3) esta dada por

(3.18)

xr =

y por

rq
X

rsq ys

s=0

q1
X

rl

n
X

ys an (l|q + s) ,

0 r n,

s=0

l=0

(3.19)
n
X

xr =

s=r+p

srp ys

p1 X
n
X

!
sp+l+1 ys

an (n + q + l + 1|n + q r) ,

0 r n,

s=0

l=0

Lema 10. Sea Tn una matriz arbitraria (no necesariamente matriz banda) de Toeplitz , con inversa Tn1 = (brsn )nr,s=0 donde

(3.20)
b00n 6= 0.
a continuacin los elementos brsn (1 r, s n) son determinados en trminos
de br0n (0 r n) y b0sn (0 s n) con la formula recursiva
(3.21)

brsn = br1,s1,n + (b00n )

(br0n b0sn bns+1,0,n b0,nr+1,n ) ,

1 r, s n,

Dado que b00n = det Tn1 /det Tn (3.20) implica que Tn1 es tambin invertible.
Dado que Tn1 es persymmetric (es decir es simtrica sobre su diagonal secundaria),
esto es solo necesario para usar (3.21) para r + s n y entonces tomamos
brsn = bns,nr,n ,

1 r, s n, r + s > n.