Aportaciones Matem aticas

Serie Comunicaciones 35 (2005) 217233

Artculo de Exposici on
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT:
UN VIAJE R

APIDO
RUB

EN A. MART

INEZ-AVENDA

NO
Resumen. En este artculo ofrecemos una vista panor amica de la teora de opera-
dores de Hankel cl asicos en el espacio de Hilbert. Damos las deniciones b asicas,
los teoremas de Nehari, Kronecker y Hartmann, y mencionamos algunas propie-
dades espectrales de los operadores de Hankel. Tambien mencionamos algunas
relaciones con los operadores de Toeplitz y varias consecuencias interesantes de
estas relaciones.
1. Introducci on
Los operadores de Hankel constituyen una de las clases de operadores en espacios
de Hilbert que han sido m as estudiadas en las ultimas decadas. Esto se debe, entre
varias razones, a las muchas relaciones que existen entre espacios de operadores de
Hankel y diferentes espacios de funciones.
La teora de operadores acotados en espacios de Hilbert es un campo fascinante
de estudio pues, entre otras cosas, combina herramientas del an alisis matem atico con
el sabor del algebra lineal. Adem as, esta teora tiene aplicaciones muy importantes
en numerosas areas de las matem aticas, tales como la fsica-matem atica, la teora
de control, los procesos estoc asticos, las ecuaciones diferenciales, por mencionar s olo
algunas.
Uno de los aspectos m as interesantes de la teora de operadores moderna es la
relaci on entre ella y los espacios de funciones. Existen diversas formas de asignar una
funci on a un operador y uno quisiera poder deducir propiedades del operador a partir
de propiedades de la funci on y viceversa.
Este programa se ha llevado a cabo principalmente en dos clases de operadores: los
operadores de Hankel y los operadores de Toeplitz. Cada uno de estas dos clases de
operadores se pueden considerar desde dos puntos de vista: el primero es considerar las
matrices de los operadores en estas clases y clasicarlas seg un su estructura matricial;
2000 Mathematics Subject Classication. 47B35.
217
218 RUB

EN A. MART

INEZ-AVENDA

NO
el segundo es ver a los operadores en estas clases como partes de operadores de
multiplicaci on en alg un espacio de funciones.
Aqu consideramos operadores de Hankel desde el punto de vista matricial y pre-
sentamos un teorema cl asico de Nehari, el cual relaciona los dos puntos de vista arriba
mencionados al establecer cuando un operador de Hankel es acotado. Mencionamos
despues teoremas (tambien cl asicos) de Kronecker y Hartmann, que clasican los ope-
radores de Hankel de rango nito y los compactos respectivamente. Despues, conside-
ramos algunas preguntas de car acter espectral y algebraico, para nalizar observando
ciertas relaciones de los operadores de Hankel con los operadores de Toeplitz.
Lo mostrado en este artculo pretende ser solo una peque na muestra de los mu-
chos resultados interesantes que se conocen sobre los operadores de Hankel y, como
es inevitable, reejan los gustos personales del autor. La inclusi on (o falta de ella) de
cualquier resultado no reeja de ninguna manera su importancia. Intentamos hacer
esta nota tan accesible como fuera posible, y es por eso que decidimos incluir algunas
deniciones b asicas (nuestras disculpas a los expertos) y omitimos todas las demostra-
ciones, excepto la de la proposici on sobre la singularidad de los operadores de Hankel:
no pudimos resistirnos.
Este artculo intenta apegarse lo m as posible a la conferencia dictada por el autor
en la sesi on de An alisis en el XXXVII Congreso Nacional de la Sociedad Matem atica
Mexicana, llevado a cabo del 11 al 15 de octubre de 2004 en la Universidad Aut ono-
ma de Baja California, Campus Ensenada. Un agradecimiento a los organizadores,
y en especial a Salvador Perez Esteva, por la invitaci on a participar en ese congre-
so. Tambien quisiera agradecerle a Olivia Gut u, a Benjamn Itz a-Ortiz y a Federico
MenendezConde por sus valiosos comentarios.
2. Conceptos b asicos
Denotamos con el smbolo H a un espacio de Hilbert; esto es, H es un espacio
vectorial sobre los n umeros complejos C, con un producto interno, una norma prove-
niente de este producto interno y que adem as es completo con la topologa inducida
por esta norma. Usualmente pensamos que H es de dimensi on innita y adem as es
separable; es decir, contiene un conjunto denso numerable.
Mencionamos r apidamente algunos ejemplos de estos espacios. El m as com un de
todos es la generalizaci on natural del espacio C
n
:

2
:=
_
a
n

n=0
: a
n
C,

n=0
[a
n
[
2
<
_
,
con producto interno dado por
a
n
, b
n
) :=

n=0
a
n
b
n
.
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 219
Otro ejemplo es H
2
, el espacio de Hardy-Hilbert, un espacio de funciones analticas
en el disco unitario D, denido como
H
2
:=
_
f : D C : f(z) =

n=0
a
n
z
n
,

n=0
[a
n
[
2
<
_
.
En este caso, si las funciones analticas f y g tienen series de Taylor dadas por
f(z) =

n=0
a
n
z
n
y g(z) =

n=0
b
n
z
n
respectivamente, entonces su producto inter-
no est a dado por
f, g) :=

n=0
a
n
b
n
.
El lector puede observar que los espacios
2
y H
2
son, desde luego, el mismo
espacio, pero visto desde perspectivas diferentes. La funci on
a
n

n=0

n=0
a
n
z
n
es la identicaci on natural entre
2
y H
2
como espacios de Hilbert. Por lo tanto
pensamos en estos dos espacios como si fueran el mismo.
Otro espacio de Hilbert de gran importancia es L
2
= L
2
(S
1
), un espacio de fun-
ciones medibles (con medida de Lebesgue) en S
1
, el crculo de radio uno, denido
como
L
2
= L
2
(S
1
) :=
_
f : S
1
C :
1
2
_
2
0
[f(e
i
)[
2
d <
_
.
Aqu el producto interno est a dado por
f, g) :=
1
2
_
2
0
f(e
i
)g(e
i
) d.
Recuerdese que cada funci on L
2
tiene una serie de Fourier de la forma

n=
a
n
e
in
,
donde a
n
:=

, e
in
_
es el coeciente de Fourier con ndice n.
Existe una relaci on no obvia entre H
2
y L
2
. Uno de los teoremas cl asicos de la
teora de espacios de Hardy arma que, para toda funci on f H
2
, el lmite cuando
r 1

de f(re
i
) existe casi para todo . Por este motivo, denimos la funci on

f
como

f(e
i
) := lm
r1

f(re
i
).
De hecho,

f resulta estar en L
2
y su serie de Fourier tiene la forma

n=0
a
n
e
in
,
220 RUB

EN A. MART

INEZ-AVENDA

NO
donde f(z) =

n=0
a
n
z
n
es la serie de Taylor de f. De igual manera, si

f es una funci on
en L
2
con serie de Fourier

n=0
a
n
e
in
,
entonces la funci on f(z) :=

n=0
a
n
z
n
est a en H
2
y

f(e
i
) = lm
r1

f(re
i
),
casi para todo . Es decir, podemos identicar las funciones en H
2
con ciertas fun-
ciones en L
2
: sus funciones de frontera, descritas por las relaciones mencionadas
antes. De hecho, pensaremos que H
2
es el subespacio de L
2
de las funciones cuyos
coecientes de Fourier de ndice negativo son cero. De ahora en adelante, pasaremos
de una funci on f H
2
a su funci on de frontera

f y viceversa sin mayor explicaci on
y denotaremos a

f como f cuando esto no cause confusiones.
Uno de los teoremas fundamentales en la teora de espacios de Hilbert establece
que todos los espacios de Hilbert separables y de dimensi on innita son isomorfos (es
decir, son iguales si s olo nos jamos en las propiedades de estos como espacios de
Hilbert). Por que entonces no tomamos a
2
como nuestro espacio de Hilbert y nos
olvidamos de los dem as? Una de las principales razones es que los operadores sobre
un espacio de Hilbert pueden ser m as f aciles de estudiar si elegimos nuestro espacio
de Hilbert de la forma adecuada.
Denici on 2.1. Sea H un espacio de Hilbert. Decimos que T : H H es un
operador si T es una transformaci on lineal.
Los operadores que m as nos interesan son aquellos que son continuos. Resulta ser
que un operador es continuo si y s olo si es acotado.
Denici on 2.2. Sea H un espacio de Hilbert. Decimos que un operador T : H H
es acotado si existe una constante C > 0 tal que
|Tx| C|x|, x H.
Denimos la norma de T como
|T| := inf C > 0 : |Tx| C|x| x H .
Uno de los operadores m as utilizados en este artculo es el desplazamiento hacia
adelante S (por el termino ingles shift ). Denimos S :
2

2
como
S(a
0
, a
1
, a
2
, a
3
, . . . ) = (0, a
0
, a
1
, a
2
, . . . ).
Claramente |Sx| = |x| para todo vector x
2
, por lo que S es un operador acotado
y |S| = 1.
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 221
En el espacio de Hardy-Hilbert H
2
denimos el operador M
z
: H
2
H
2
como
(M
z
f)(z) = zf(z).
Es claro que |M
z
f| = |f| para toda f H
2
y, por lo tanto, |M
z
| = 1. De hecho,
bajo la identicaci on natural entre
2
y H
2
, M
z
es simplemente el operador S y as lo
denotaremos.
Un espacio importante para nosotros es L

= L

(S
1
), el conjunto de las funciones
medibles y esencialmente acotadas en S
1
, denido como
L

= L

(S
1
) :=
_
: S
1
C : ||

<
_
,
donde
||

:= inf
_
0 : m
_
e
i
S
1
: [(e
i
)[ >
_
= 0
_
,
y m es la medida de Lebesgue (normalizada) en S
1
. El espacio L

es un espacio de
Banach; es decir, es un espacio vectorial, normado y completo. Es un ejercicio sencillo
ver que L

es un subconjunto de L
2
.
Una propiedad importante de L

es que, si L

y f L
2
entonces f L
2
;
de hecho, |f| ||

|f|. Esto nos permite denir el operador de multiplicaci on

por funciones en L

como M

: L
2
L
2
, dado por
M

f = f.
Un argumento directo demuestra que M

es un operador acotado y adem as que

|M

| = ||

Por ultimo, denimos la matriz de un operador en H

2
. Para todo n N
0
:= N0,
denimos e
n
(z) := z
n
. Es f acil ver que e
n
: n N
0
es una base ortonormal de H
2
y nos referimos a esta como la base can onica del espacio. Observese que Se
n
= e
n+1
para todo n N
0
.
Denici on 2.3. Sea A un operador en un espacio de Hilbert H, separable y de
dimensi on innita, y sea e
n
: n N
0
una base ortonormal de este espacio. Si A :
H H es un operador, denimos la matriz de A con respecto a la base ortonormal
e
n
como la matriz cuya entrada (m, n) esta dada por Ae
n
, e
m
).
Por ejemplo, la matriz del desplazamiento hacia adelante (con respecto a la base
e
n
mencionada arriba) tiene la forma
S =
_
_
_
_
_
_
_
_
_
_
0 0 0 0 0 . . .
1 0 0 0 0 . . .
0 1 0 0 0 . . .
0 0 1 0 0 . . .
0 0 0 1 0 . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
.
222 RUB

EN A. MART

INEZ-AVENDA

NO
El adjunto de S se conoce como el operador de desplazamiento hacia atr as, y se
puede comprobar que S

e
0
= 0, y S

e
n
= e
n1
para todo n N. Su matriz es de la
forma
S

=
_
_
_
_
_
_
_
_
_
_
0 1 0 0 0 . . .
0 0 1 0 0 . . .
0 0 0 1 0 . . .
0 0 0 0 1 . . .
0 0 0 0 0 . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
.
Es importante recalcar que un operador puede tener asociadas matrices diferentes
si se escogen bases ortonormales diferentes. Sin embargo, la representaci on matricial
es util operativamente, pues la acci on de un operador sobre un vector se puede ver
como la multiplicaci on de la matriz por un vector columna (cuyas coordenadas son
los coecientes de representaci on del vector en la base dada).
Una pregunta natural es si, dada cualquier matriz innita, existe un operador
acotado A cuya matriz con respecto a alguna base sea la matriz dada. La respuesta
es no, y un ejemplo muy sencillo est a dado por la matriz
_
_
_
_
_
_
_
_
_
_
1 0 0 0 0 . . .
0 2 0 0 0 . . .
0 0 3 0 0 . . .
0 0 0 4 0 . . .
0 0 0 0 5 . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
.
Se deja al lector la vericaci on de la inexistencia de tal operador acotado.
3. Operadores de Toeplitz y de Hankel
Supongamos que un conjunto de operadores tienen matrices (con respecto a la
misma base ortonormal) con estructuras parecidas; habr a propiedades comunes
de todos estos operadores que sean consecuencia de la forma de las matrices? Por
ejemplo, tomemos la clase de operadores con matrices de la forma
_
_
_
_
_
_
_
_
_
_
a
0
a
1
a
2
a
3
a
4
. . .
a
1
a
0
a
1
a
2
a
3
. . .
a
2
a
1
a
0
a
1
a
2
. . .
a
3
a
2
a
1
a
0
a
1
. . .
a
4
a
3
a
2
a
1
a
0
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
;
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 223
es decir, las diagonales de la matriz del operador T son constantes:
Te
s
, e
t
) = Te
n
, e
m
) si t s = mn.
Dicho de otra forma, la entrada (m, n) de la matriz de T s olo depende de la diferencia
m n. Estas matrices se conocen como matrices de Toeplitz. Que propiedades de
operadores con matrices de Toeplitz se pueden obtener a partir del estudio de los
coecientes a
n
de la matriz?
Necesitamos una denici on adicional. Sea P la proyecci on ortogonal de L
2
so-
bre H
2
; es decir, el operador que manda una funci on f L
2
con serie de Fourier

n=
a
n
e
in
a la funci on Pf en H
2
con serie de Taylor

n=0
a
n
z
n
. Dado esto,
podemos dar uno de los resultados fundamentales de la teora de operadores con
matrices de Toeplitz.
Teorema 3.1 (Brown y Halmos, 1963). Sea T : H
2
H
2
un operador con matriz
de Toeplitz
T = (a
mn
)

m,n=0
El operador T es acotado si y s olo si existe una funci on L

tal que
a
n
=
1
2
_
2
0
(e
i
)e
in
d para todo n Z.
En este caso, T = T

:= PM

y |T| = ||

.
Es decir, el operador T es acotado si y s olo si sus entradas matriciales corresponden
a los coecientes de Fourier de una funci on esencialmente acotada.
A los operadores de la forma PM

se les conoce como operadores de Toeplitz,

independientemente de que sean acotados o no (si L
2
pero / L

el operador
no ser a acotado). De igual manera, se puede hablar de operadores de Toeplitz en otros
espacios de funciones, mientras haya una proyecci on hacia un buen subespacio y una
multiplicaci on (estos operadores no tendr an, necesariamente, matrices de Toeplitz).
La teora de operadores de Toeplitz est a muy desarrollada y existen resultados muy
interesantes que relacionan las propiedades del operador T

con las propiedades de .

Se le recomienda al lector que consulte [Dou, Hal, Nik, Pe2] si desea aprender m as
sobre estos operadores tan fascinantes.
Que sucede si cambiamos un poco la forma de las matrices que estudiamos? Con-
sideremos el conjunto de operadores con matrices de la forma
_
_
_
_
_
_
_
_
_
_
a
0
a
1
a
2
a
3
a
4
. . .
a
1
a
2
a
3
a
4
a
5
. . .
a
2
a
3
a
4
a
5
a
6
. . .
a
3
a
4
a
5
a
6
a
7
. . .
a
4
a
5
a
6
a
7
a
8
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
;
224 RUB

EN A. MART

INEZ-AVENDA

NO
es decir, que las anti-diagonalesde la matriz del operador H son constantes:
He
s
, e
t
) = He
n
, e
m
) si t + s = m + n.
Dicho de otra forma, la entrada (m, n) de la matriz de H s olo depende de la suma
m + n. Estas matrices se conocen como matrices de Hankel.
El resultado fundamental sobre los operadores que tienen matrices de Hankel es
el siguiente teorema. N otese que la primera parte del teorema establece que el ope-
rador de Hankel es acotado si y s olo si sus entradas matriciales corresponden a los
coecientes de Fourier de ndice no positivo de una funci on esencialmente acotada.
Teorema 3.2 (Nehari, 1957). Sea H : H
2
H
2
un operador con matriz de Hankel
dada por
H = (a
m+n
)

m,n=0
.
El operador H es acotado si y s olo si existe una funci on L

tal que
a
n
=
1
2
_
2
0
(e
i
)e
in
d para todo n N
0
.
En este caso, H = H

:= PJM

, donde P es la proyecci on ortogonal descrita arriba

y J : L
2
L
2
es el operador de volteo denido como
(Jf)(e
i
) = f(e
i
).
A un m as, existe L

con
a
n
=
1
2
_
2
0
(e
i
)e
in
d para todo n N
0
,
y con la propiedad que |H| = ||

.
En general no es cierto que |H| = ||

para toda L

que satisfaga
a
n
=
1
2
_
2
0
(e
i
)e
in
d , para todo n N
0
.
A cualquier funci on que satisfaga esta ultima condici on se le conoce como un smbolo
del operador H y es f acil de ver que si hay un smbolo, entonces hay una innidad de
ellos. De hecho, ya que la matriz de Hankel s olo depende de los coecientes de Fourier
con ndice no positivo de su smbolo, se tiene que
H

= H

zH

,
donde H

:= L

H
2
.
El teorema de Nehari establece que existe un smbolo L

tal que |H| = ||

y adem as, se puede obtener como corolario que para un operador de Hankel H

, con
L

, se tiene que
|H

| = dist
L
(, zH

).
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 225
4. Matrices de Hankel de rango finito
Uno de los primeros resultados conocidos sobre matrices de Hankel se debe a Kro-
necker. Si pensamos solamente en matrices de Hankel (es decir, nos olvidamos por un
momento que representan operadores), es natural preguntarse cu ando estas matrices
son de rango nito n: es decir, cu ando es verdad que existe un n N tal que cualquier
conjunto de m as de n columnas de la matriz son linealmente dependientes.
Por ejemplo, considerese la matriz R

:
R

=
_
_
_
_
_
_
_
_
_
_
1
2

5
. . .

2

6
. . .

7
. . .

8
. . .

9
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
,
con C (por cierto, esta matriz representa un operador acotado si y s olo si [[ < 1).
Claramente, esta matriz es de rango nito 1: cualquier conjunto de 2 o m as columnas
son linealmente dependientes.
Teorema 4.1 (Kronecker, 1881). Sea H la matriz de Hankel dada por
H =
_
_
_
_
_
_
_
_
_
_
a
0
a
1
a
2
a
3
a
4
. . .
a
1
a
2
a
3
a
4
a
5
. . .
a
2
a
3
a
4
a
5
a
6
. . .
a
3
a
4
a
5
a
6
a
7
. . .
a
4
a
5
a
6
a
7
a
8
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
.
La matriz H es de rango nito si y s olo si la funci on
a
0
+ a
1
1
z
+ a
2
1
z
2
+ a
3
1
z
3
+ . . .
es racional.
Por ejemplo, en el caso de la matriz R

descrita arriba, si [z[ > [[ entonces tenemos

la igualdad
1 +
1
z
+
2
1
z
2
+
3
1
z
3
+ =
z
z
.
Esta funci on es racional.
Si se combina el teorema de Kronecker con el de Nehari, se puede obtener el si-
guiente corolario.
Corolario 4.2. Sea H una matriz de Hankel de rango nito
H = (a
m+n
) .
226 RUB

EN A. MART

INEZ-AVENDA

NO
La matriz H representa un operador de Hankel acotado si y s olo si la funci on racional
a
0
+ a
1
1
z
+ a
2
1
z
2
+ a
3
1
z
3
+ . . .
tiene todos sus polos dentro del disco D.
Notese que
z
z
tiene como unico polo a , por lo que R

es la matriz de un
operador acotado si y s olo si D.
5. Operadores de Hankel compactos
Observese que un operador T es acotado si y s olo si T manda el conjunto
B := x H : |x| 1
en un conjunto acotado. A un operador T se le dice compacto si T(B) tiene cerradura
compacta (en espacios de Hilbert, esto es equivalente a decir que T(B) es un conjunto
compacto [Hal, Captulo 15]).
En espacios de Hilbert, decir que un operador es compacto es equivalente a decir
que es el lmite (en norma) de operadores de rango nito y es por esto que se les
considera la generalizaci on natural de los operadores en espacios de dimensi on nita.
Cu ando es un operador de Hankel compacto? El siguiente teorema da una respuesta
muy elegante.
Teorema 5.1 (Hartmann, 1958). Sea H : H
2
H
2
un operador con matriz de
Hankel dada por
H = (a
m+n
)

m,n=0
.
El operador H es compacto si y s olo si existe una funci on g continua en S
1
tal que
a
n
=
1
2
_
2
0
g(e
i
)e
in
d para todo n N
0
.
Es decir, un operador de Hankel H es compacto si y solo si existe una funci on
continua g tal que H = H
g
; en otras palabras, los operadores de Hankel compactos
tienen un smbolo continuo. Es pertinente aclarar que en general no es cierto que este
smbolo continuo cumpla que |H| = |g|

[Pe1].
Existen subclases de operadores compactos que han sido muy estudiadas, las lla-
madas clases p de Schatten-von Neumann (si p = 2 se trata de la clase de operadores
de Hilbert-Schmidt; si p = 1 se trata de la clase de operadores de traza nita). Exis-
ten condiciones necesarias y sucientes sobre los smbolos de un operador de Hankel
para que pertenezca a las clases p de Schatten-von Neumann. El lector interesado
deber a consultar [Nik, Pe2].
Nota: A pesar de que hemos usado la palabra operador para referirnos a una
transformaci on lineal arbitraria, a partir de este momento, cuando mencionemos la
palabra operador nos estamos reriendo siempre a un operador acotado.
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 227
6. Propiedades espectrales
Recuerdese que S es el operador de desplazamiento hacia adelante en H
2
. Si A
es cualquier operador, es f acil ver que la matriz de S

A es igual a la matriz de A,
excepto que se borra el primer rengl on; de igual manera, la matriz de AS es igual a la
matriz de A, excepto que se borra la primera columna. Las matrices de Hankel son,
por denici on, las que dan el mismo resultado si se borra el primer rengl on que si se
borra la primera columna. Por lo tanto, la matriz de un operador H es de Hankel si
y s olo si S

H = HS. Por cierto, an alogamente se puede ver que un operador T tiene

matriz de Toeplitz si y s olo si S

TS = T.
Hay muchas consecuencias interesantes de estas relaciones. Una de las primeras es
la siguiente observaci on.
Proposici on 6.1. Sea H : H
2
H
2
un operador de Hankel. El operador H no es
invertible.
Demostraci on. Como observamos antes, H cumple la ecuaci on S

H = HS. Si H
fuera invertible, esto querra decir que S

y S son operadores similares. Pero no lo

son (observese, por ejemplo, que S es inyectivo y S

no lo es).
El espectro de un operador T : H H se dene como el conjunto
(T) := C : T no es invertible ,
y uno de los resultados b asicos del an alisis funcional es que este conjunto es siempre
compacto y no vaco.
Con esta denici on, la Proposici on 6.1 se puede escribir como:
0 (H) para todo operador de Hankel H.
Una pregunta muy natural es si existe un operador de Hankel que s olo tenga al
cero en su espectro; es decir, es posible tener H, un operador de Hankel, tal que
(H) = 0? Por supuesto, el operador H = 0 es de Hankel y satisface esta condici on,
pero sera deseable tener un ejemplo no trivial.
En la b usqueda de tal ejemplo, una de las primeras preguntas que uno se hace es
si existen operadores de Hankel nilpotentes no triviales. La respuesta resulta ser no.
Teorema 6.2 (Power, 1984). Sea H un operador de Hankel. Si H
n
= 0 para algun
n N entonces H = 0.
Este teorema nos lleva a pensar en la siguiente generalizaci on. Recordemos que un
polinomio p de grado mayor o igual a uno se dice anulador para un operador T si
p(T) = 0. Si p es un polinomio anulador para T y ning un polinomio de grado menor
que el grado de p es anulador, se dice que p es un polinomio mnimo para T. Usando
este lenguaje, el Teorema 6.2 dice que ning un operador de Hankel diferente de cero
tiene un polinomio anulador de la forma p(x) = x
n
para alg un n N.
228 RUB

EN A. MART

INEZ-AVENDA

NO
Es una sencilla consecuencia del Teorema de Mapeo Espectral (para este teorema
vease, por ejemplo, [Con, p. 204]) que si un operador T tiene un polinomio mnimo
p, el espectro de T consiste solamente de las races de p y adem as, todas estas races
son eigenvalores de T. Esto implica que si H es un operador de Hankel, y p es un
polinomio mnimo de H, entonces p(0) = 0, pues 0 siempre est a en el espectro de H.
Que otras restricciones deben tener los polinomios mnimos de operadores de Hankel?
El siguiente teorema da un respuesta parcial a la pregunta anterior y generaliza el
Teorema de Power.
Teorema 6.3 (Martnez-Avenda no, 2000). Sea H un operador de Hankel y sea q
cualquier polinomio. El polinomio p(x) = x
2
q(x) nunca es el polinomio mnimo para
el operador H.
El lector habr a notado que no hemos dicho si existen operadores de Hankel que
tengan polinomio mnimo o no (podamos estar hablando del conjunto vacio!), pero
por supuesto que existen. El cl asico teorema de Cayley-Hamilton del algebra lineal,
establece que cualquier matriz nita es anulada por su polinomio caracterstico: por
lo tanto, cualquier matriz nita tiene un polinonio mnimo. Ya que cualquier operador
de rango nito se puede representar como una matriz nita, la conclusi on es que los
operadores de Hankel de rango nito poseen polinomios mnimos. El Teorema 6.3
implica que los polinomios mnimos de los operadores de Hankel de rango nito son
todos de la forma p(x) = xq(x) con q(0) ,= 0.
De hecho, el Teorema 6.3 implica que el polinomio mnimo (si existe) de cualquier
operador de Hankel debe ser de la forma p(x) = xq(x) con q(0) ,= 0. La pregunta
entonces es si, adem as de los de rango nito, hay otros operadores de Hankel que
tengan polinomio mnimo. La respuesta es armativa y a continuaci on damos un
ejemplo.
Sea una funci on en H
2
con la propiedad que [(e
i
)[ = 1 casi en todas partes
(dichas funciones existen y se conocen como funciones internas) y que adem as cumpla
que (z) = (z). Se puede ver que H := H
z
tiene polinomio mnimo p(x) = x
3
x.
Adem as, se puede escoger de manera que H no sea de rango nito (si el lector
desea ver los detalles, consulte [M-A1] ). Sera interesante conocer m as ejemplos de
operadores de Hankel de rango innito que tengan polinomio mnimo.
Pero regresemos a la pregunta original: existe un operador de Hankel H no trivial
con (H) = 0 ? La respuesta resulta ser armativa.
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 229
Teorema 6.4 (Megretskii, 1990). El operador de Hankel con matriz dada por
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
i
1
2
0
1
4
0 0 0
1
8
0 . . .
1
2
0
1
4
0 0 0
1
8
0 0 . . .
0
1
4
0 0 0
1
8
0 0 0 . . .
1
4
0 0 0
1
8
0 0 0 0 . . .
0 0 0
1
8
0 0 0 0 0 . . .
0 0
1
8
0 0 0 0 0 0 . . .
0
1
8
0 0 0 0 0 0 0 . . .
1
8
0 0 0 0 0 0 0
1
16
. . .
0 0 0 0 0 0 0
1
16
0 . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
es un operador compacto y adem as () = 0.
El ejemplo de Megretskii responde armativamente la pregunta m as b asica sobre
el espectro de los operadores de Hankel. A un no se conoce un ejemplo de un operador
de Hankel cuyo espectro sea 0 pero que no sea compacto.
Hemos visto que 0 siempre est a en el espectro de un operador de Hankel. Existen
otras restricciones sobre que conjuntos pueden ser espectros de estos operadores? Por
ejemplo, se sabe que el espectro de un operador de Toeplitz siempre tiene que ser
conexo [Dou]. El siguiente teorema muestra que no hay ninguna otra restricci on en el
caso de operadores de Hankel.
Teorema 6.5 (Martnez-Avenda no y Treil, 2000). Sea cualquier subconjunto com-
pacto de C tal que 0 . Existe un operador de Hankel H tal que (H) = .
De alguna manera, el teorema anterior arma que hay una gran variedad de ope-
radores de Hankel. Sin embargo, hay ciertas otras restricciones que debe cumplir un
operador de Hankel. Mencionamos aqu algunas de ellas.
Proposici on 6.6. Sea H un operador de Hankel. Entonces,
i. H

tambien es un operador de Hankel.

ii. dimKer H = 0 o dimKer H = (esto es una consecuencia directa del hecho
de que Ker H siempre es un subespacio invariante para S);
iii. dimKer H = codimRanH;
iv. (Megretskii, Peller y Treil, 1995) Para todo C
[ dimKer(H ) dimKer(H + )[ 1.
En 1995, Megretskii, Peller y Treil demostraron que si un operador acotado y
auto-adjunto en un espacio de Hilbert separable cumple con tres condiciones (que
mencionaremos brevemente a continuaci on), entonces es unitariamente equivalente a
un operador de Hankel (es decir, existe una base ortonormal del espacio en el cual la
230 RUB

EN A. MART

INEZ-AVENDA

NO
matriz del operador es de Hankel). Estas condiciones son: 1) que el operador no sea
invertible; 2) que su n ucleo sea trivial o de dimensi on innita; y 3) que sus funciones
de multiplicidad espectral cumplan con una propiedad parecida a la propiedad IV de
la proposici on anterior (denir esto de forma precisa nos llevara mucho m as espacio
del que disponemos; el lector interesado puede consultar la fuente original [MePeTr]
o el libro [Pe2]).
Lo anterior hace que uno se haga la siguiente pregunta. Supongase que se tiene
un operador A que no sea invertible y que adem as satisface las condiciones I-IV de
la proposici on 6.6; existir a una base ortonormal del espacio de Hilbert, tal que la
matriz de A sea de Hankel? El que esto escribe no conoce la respuesta a esta pregunta,
aunque sospecha que es negativa. Por esto mismo, replanteamos (muy vagamente) la
pregunta: existen condiciones necesarias y sucientes que garanticen que un operador
acotado en un espacio de Hilbert separable tenga una matriz de Hankel para alguna
base ortonormal?
7. Relaciones con operadores de Toeplitz
Recuerdese que, de acuerdo al Teorema de Brown y Halmos (Teorema 3.1), un
operador T con matriz de Toeplitz es acotado si y s olo si existe una funci on L

tal que T = T

:= PM

. A la funci on se le conoce como el smbolo del operador de

Toeplitz T

. En este caso, en contraste con la situaci on de los operadores de Hankel,

el smbolo s es unico.
Si H
2
decimos que es una funci on analtica, y si adem as L

decimos
que el operador de Toeplitz T

es analtico. Si H
2
decimos que es una fun-
ci on coanaltica, y si adem as L

, decimos que el operador de Toeplitz T

es
coanaltico.
Existen dos ecuaciones muy importantes que relacionan a los operadores de Hankel
con los de Toeplitz. Ambas son f aciles de demostrar una vez que se adivina su forma
(uno puede adivinar su forma si las ve como partes de un operador de multiplicaci on
en L
2
: ver, por ejemplo, [BaHa]). Si y son funciones en L

tenemos que
(1) H
z

H
z
= T

y
(2) H
z
= T

H
z
+ H
z
T

,
donde

se dene como

(e
i
) := (e
i
).
Estas relaciones tienen muchas consecuencias interesantes. Mencionamos s olo un
par. De la ecuaci on (1) es claro que, para funciones y L

, se tiene que
T

= T

si y s olo si es analtica o es co-analtica (esto fue demostrado originalmente en

[BrHa] utilizando tecnicas distintas). Esto se debe a que H
z

= 0 si y s olo si es
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 231
co-analtica y H
z
= 0 si y s olo si es analtica (se necesita tambien el hecho sencillo
de probar de que el producto de dos operadores de Hankel es cero si y s olo si uno de
ellos es cero).
De la ecuaci on (2) se sigue, entre muchas otras cosas, que es analtica si y s olo
H
z
= H
z
T

para todo L

.
Que otras relaciones existen entre operadores de Hankel y de Toeplitz? Por ejem-
plo, cu ando conmutan un operador de Hankel y uno de Toeplitz? Antes de contestar
esa pregunta, es natural preguntarse cuando conmutan dos operadores de Toeplitz.
Si y son analticas tenemos que
T

= T

= T

= T

,
y por lo tanto se tiene que en este caso los operadores de Toeplitz conmutan. Clara-
mente si los smbolos de los operadores de Toeplitz son coanalticos ocurre la misma
situaci on de arriba. Ya que la identidad es un operador de Toeplitz (con smbolo
= 1), si uno de los operadores de Toeplitz es igual a un m ultiplo del otro m as un
m ultiplo de la identidad, entonces los operadores de Toeplitz conmutan. Resulta ser
que no hay otros casos.
Teorema 7.1 (Brown y Halmos, 1963).
T

= T

si y s olo si se cumple una de las siguientes condiciones

y son analticas,
y son coanalticas, o
existen constantes a, b C, no ambas cero, tales que a+b es constante (es
decir, un operador es un m ultiplo del otro m as un m ultiplo de la identidad).
Regresemos a los operadores de Hankel. Es f acil demostrar que dos operadores de
Hankel s olo conmutan en el caso trivial.
Proposici on 7.2. Dos operadores de Hankel conmutan si y s olo si uno es m ultiplo
del otro.
Debido a las pocas veces que los operadores de Hankel conmutan entre si y que
los operadores de Toeplitz conmutan entre si, uno esperara que que un operador de
Hankel y uno de Toeplitz nunca conmuten. Resulta ser que tambien conmutan en un
caso no esperado.
Teorema 7.3 (Martnez-Avenda no, 2000). Sea T

un operador de Toeplitz que no es

un m ultiplo de la identidad y H ,= 0 un operador de Hankel. Entonces,
T

H = HT

si y s olo si H = cH
z
y adem as (z) = a
E
(z) + b, con a, b, c C y E es un
subconjunto medible de S
1
con la propiedad que m(E
c
E

)+m(E

E
c
) = 0. Aqu E

232 RUB

EN A. MART

INEZ-AVENDA

NO
es el conjunto de los conjugados de E S
1
, E
c
es el complemento de E S
1
y m
denota la medida de Lebesgue en S
1
.
Es decir, b asicamente, s olo conmutan cuando son de la forma:
T

=
_
_
_
_
_
_
_
_
_
_
a
0
a
1
a
2
a
3
a
4
. . .
a
1
a
0
a
1
a
2
a
3
. . .
a
2
a
1
a
0
a
1
a
2
. . .
a
3
a
2
a
1
a
0
a
1
. . .
a
4
a
3
a
2
a
1
a
0
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
H
z
=
_
_
_
_
_
_
_
_
_
_
a
1
a
2
a
3
a
4
a
5
. . .
a
2
a
3
a
4
a
5
a
6
. . .
a
3
a
4
a
5
a
6
a
7
. . .
a
4
a
5
a
6
a
7
a
8
. . .
a
5
a
6
a
7
a
8
a
9
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
,
y (e
i
) =

k=
a
k
e
ik
es la funci on caracterstica de un conjunto anti-simetrico
del crculo.
8. Generalizaciones
Existen varias direcciones en las que se pueden extender los resultados mencionados
arriba. Mencionamos muy brevemente algunas de estas.
Desde el punto de vista de la ecuaci on S

H = HS, cuyas soluciones son los opera-

dores de Hankel, se pueden considerar ecuaciones parecidas y analizar sus soluciones.
Por ejemplo, se pueden estudiar soluciones de la ecuaci on S

H = HS o de la ecuaci on
S

H HS = H. Resultados de este estilo se pueden encontrar en [M-A2].

En otra direcci on, se pueden estudiar operadores que son soluciones a la ecuaci on
S

H = HS, pero ahora S es una isometra, o es un operador con algunas otras

restricciones (por ejemplo, [MaPa, PtVr]).
En este artculo se han considerado operadores de Hankel que van del espacio
H
2
en si mismo. Desde otro punto de vista (quiz a m as natural) se considera que
los operadores de Hankel actuan del espacio H
2
al espacio (H
2
)

L
2
como H

:=
(IP)M

. De la misma manera, se pueden considerar operadores de Hankel actuando

en otros espacios de funciones, como son los espacios de Segal-Bargmann, Bergman,
Dirichlet o espacios de Hardy en dominios de dimensi on 2 o m as: s olo se necesita una
multiplicaci on y proyectar hacia al complemento de un buen subespacio. Un buen
lugar para comenzar el estudio de operadores de Hankel en otros espacios es [Zhu].
OPERADORES DE HANKEL EN EL ESPACIO DE HILBERT: UN VIAJE R

APIDO 233
Las relaciones que se estudiaron arriba se pueden estudian m odulo operadores
compactos. Es decir, se pueden considerar estos operadores y sus generalizaciones en
el

Algebra de Calkin. Esto se ha hecho en [M-A3, GuZh].
Si el lector desea aprender m as sobre las propiedades de los operadores de Hankel,
los libros [Nik, Par, Pe2, Pow] son un buen lugar para empezar. Y, como dice Paul
Halmos, iterar el operador de bibliografa.
Referencias
[BaHa] Jose Barra y Paul Halmos, Asymptotic Toeplitz operators, Trans. Amer. Math. Soc. 273
(1982) 621630.
[BrHa] Arlen Brown y Paul Halmos, Algebraic properties of Toeplitz operators, J. Reigne
Angew. Math. 213 (1963/1964) 89102.
[Con] John B. Conway, A course in functional analysis, Segunda Edici on, Springer-Verlag, New
York, 1990.
[Dou] Ronald Douglas, Banach algebra techniques in operator theory, Segunda Edici on,
Springer-Verlag, New York, 1998.
[Hal] Paul Halmos, A Hilbert space problem book, Segunda Edici on, Springer-Verlag, New
York, 1982.
[GuZh] Kunyu Guo y Dechao Zheng, Essentially commuting Hankel and Toeplitz operators,
J. Funct. Anal. 201 (2003) 121147.
[MaPa] Carmen Mancera y Pedro Pa ul, On Pt aks generalization of Hankel operators, Czechoslo-
vak Math. J. 51 (126) (2001) 323342.
[M-A1] Ruben A. Martnez-Avenda no, Hankel operators and generalizations, Ph.D. Dissertation,
University of Toronto, 2000.
[M-A2] Ruben A. Martnez-Avenda no, A generalization of Hankel operators, J. Funct. Anal. 190
(2002) 418446.
[M-A3] Ruben A. Martnez-Avenda no, Essentially Hankel operators, J. London Math. Soc. (2)
66 (2002) 741752.
[MaTr] Ruben A. Martnez-Avenda no y Sergei Treil, An inverse spectral problem for Hankel
operators, J. Operator Theory 48 (2002) 8393.
[MePeTr] Alexander Megretskii, Vladimir Peller y Sergei Treil, The inverse spectral problem for
self-adjoint Hankel operators, Acta Math. 174 (1995) 241309.
[Nik] Nikolai Nikolskii, Operators, functions and systems: an easy reading, Volumen I, American
Mathematical Society, Providence, 2002.
[Par] Jonathan Partington, An introduction to Hankel operators, Cambridge University Press,
Cambridge, 1988.
[Pe1] Vladimir Peller, An excursion into the theory of Hankel operators en Holomorphic
Spaces (Berkeley, CA 1995) MSRI Publications, Cambridge University Press, 1998.
[Pe2] Vladimir Peller, Hankel operators and its applications, Springer-Verlag, New York, 2003.
[Pow] Stephen Power, Hankel operators on Hilbert space, Pittman, Boston, 1982.
[PtVr] Vlastimil Pt ak y Pavla Vrbov a, Operators of Toeplitz and Hankel type, Acta
Sci. Math. (Szeged) 52 (1988) 117140.
[Zhu] Kehe Zhu, Operator theory in function spaces, Marcel Dekker, New York, 1990.
Centro de Investigaci on en Matem aticas, Universidad Aut onoma del Estado de Hidal-
go, Ciudad Universitaria, Carr. Pachuca-Tulancingo km 4.5, 42090 Pachuca, Hidalgo.
E-mail address: rubenma@uaeh.edu.mx.