Savransky Martin

UNIVERSIDAD DE BUENOS AIRES
Facultad de Ciencias Exactas y Naturales

Departamento de Matemtica
Tesis de Licenciatura
Operadores Hipercclicos y el Criterio de Hiperciclicidad
Martn Savransky
Director: Pinasco Damian

Co-director: Carando Daniel
Marzo de 2011
ndice general
1. Operadores Hipercclicos
1.1.
Sistemas Dinmicos Lineales . . . . . . . . . . . . . . . . . . . . . . . .
1.2.
Restricciones que trae la denicin
. . . . . . . . . . . . . . . . . . . .
10
1.3.
Propiedades de los operadores hipercclicos . . . . . . . . . . . . . . . .
14
1.4.
Primeros Ejemplos de Operadores Hipercclicos
. . . . . . . . . . . . .
22
. . . . . . . . . . . . . . . . . . . . . .
22
. . . . . . . . . . . . . . . . . . . . . . . . . .
23
1.4.1.
Operador de Derivacin
1.4.2.
Operadores Shift
2. Ejemplos de operadores hipercclicos

H(C)
2.1.
Operadores de Traslacin en
2.2.
El Espacio de Hardy
2.3.
Operadores de Multiplicacin
2.4.
Operadores de Composicin
25
. . . . . . . . . . . . . . . . . . . .
25
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
. . . . . . . . . . . . . . . . . . . . . . .
32
. . . . . . . . . . . . . . . . . . . . . . . .
34
2.4.1.
Homografas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
2.4.2.
Teorema de Littlewood . . . . . . . . . . . . . . . . . . . . . . .
38
2.4.3.
Hiperciclicidad
41
2.4.4.
Un ejemplo en
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Lp [0, 1]
. . . . . . . . . . . . . . . . . . . . . . .
47
2.5.
Operadores Shift
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
2.6.
La funcin Zeta de Riemann . . . . . . . . . . . . . . . . . . . . . . . .
54
3. Criterio de Hiperciclicidad
57
3.1.
Primeros Resultados
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
3.2.
El problema del Criterio de Hiperciclicidad . . . . . . . . . . . . . . . .
61
3.3.
Caracterizaciones del Criterio de Hiperciclicidad . . . . . . . . . . . . .
64
3.4.
Indicios de una respuesta negativa . . . . . . . . . . . . . . . . . . . . .
67
4. Contraejemplo del problema Mixing Dbil

3
69
NDICE GENERAL
4.1.
La estrategia
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
4.1.1.
Sobre bases incondicionales en espacios de Banach . . . . . . . .
70
4.1.2.
Preliminares Algebraicos . . . . . . . . . . . . . . . . . . . . . .
71
4.1.3.
Pasos a seguir . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
4.2.
El operador
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.
La funcional lineal
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
4.4.
Variaciones del resultado principal . . . . . . . . . . . . . . . . . . . . .
83
5. Comentarios Finales
73
85
5.1.
Operadores hipercclicos que son mixing dbil
. . . . . . . . . . . . . .
85
5.2.
Caos y Caos Lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
5.2.1.
Operadores Shift
90
5.2.2.
5.2.3.
Criterio de Caoticidad
5.3.
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
90
. . . . . . . . . . . . . . . . . . . . . . .
90
El Problema del Subespacio Invariante
. . . . . . . . . . . . . . . . . .
91
Introduccin
El estudio de la dinmica de operadores lineales denidos en espacios de Banach o de
Frchet es una rama moderna del anlisis funcional que ha surgido a partir del trabajo
de muchos autores. Probablemente, el inicio de su estudio de manera sistemtica es la
tesis doctoral de C. Kitai en 1982 [23]. En particular, gran parte de la difusin de este
tema de estudio debe ser atribuida a los trabajos de G. Godefroy y J. H. Shapiro [17]
y K.-G. Grosse-Erdmann [20].
Para dar una idea sumamente simplicada del tema, podemos decir que el centro
de atencin es el comportamiento de las sucesivas iteraciones de un operador lineal.
En otras palabras, se estudian sistemas dinmicos discretos asociados a operadores
lineales. En el contexto nito dimensional este problema se puede resolver a travs
del estudio de la forma de Jordan asociada a una matriz, y los comportamientos son
relativamente simples (de ah que el caos se asocia naturalmente a sistemas no lineales).
Sin embargo, en espacios de dimensin innita los sistemas lineales pueden ser caticos,
ya que aparecen fenmenos nuevos, como por ejemplo la existencia de rbitas densas
en todo el espacio. Este nuevo fenmeno es el centro de estudio de la tesis. Cuando un
operador admite rbitas densas se dice hipercclico. La palabra hipercclico tiene su
origen en la nocin de operador cclico, ligado al problema del subespacio invariante.
En este caso, los operadores hipercclicos estn ligados al problema de existencia de
T : X X,
T (F ) F ?
subconjuntos invariantes: dado un operador lineal

un subconjunto cerrado no trivial
tal que
es posible encontrar
Concretamente, las deniciones sobre las que desarrollaremos el trabajo son la siguientes. Sea
un espacio de Frchet separable de dimensin innita y
operador lineal y continuo. Dado
x X,
la rbita de
por
T : X X
un
es el conjunto denido
por
Orb(x, T ) = {T n x : n 0}.
El operador
es denso en
T se dice hipercclico si existe x X

X.
(vector hipercclico) tal que
Orb(x, T )
Es importante notar que la existencia de operadores con esta propiedad es slo posible
en espacios de dimensin innita ya que por ejemplo, si T : X X es un operador
0
0
0
lineal en un espacio de Frchet y T : X X es su operador adjunto, la existencia
0
de algn autovalor para T garantiza que T no es hipercclico. En los ltimos aos el
estudio de la hiperciclicidad de operadores ha tenido un desarrollo importante, como
referencia puede consultarse la bibliografa [3] y [21]. Se encontraron sorprendentes
resultados, entre ellos, podemos citar que si un operador admite un vector con rbita
densa, entonces admite innitos de estos vectores. Ms an, el conjunto de los vectores
NDICE GENERAL
con rbita densa de un operador hipercclico es denso, conexo y homeomorfo al espacio

ambiente. Tambin se prob que no existen operadores compactos hipercclicos.
Los primeros ejemplos de operadores hipercclicos surgieron en el contexto de la teora
a C, el
operador traslacin en el espacio de funciones enteras de variable compleja (H(C), )
con la topologa compacto-abierta, Ta : H(C) H(C) denido por Ta f (z) = f (z+a) es
de funciones analticas. As, en 1929, G. D. Birkho [8] prob que para todo
hipercclico, y en 1952, G. R. MacLane [25], mostr que lo mismo ocurre con el operador
de diferenciacin en
H(C).
Por supuesto, no exita an la nocin de hiperciclicidad,
y el inters de estos trabajos no se centraba en la dinmica de los operadores sino en

propiedades de las funciones analticas. Estos resultados fueron generalizados por G.
Godefroy y J. H. Shapiro en 1991 [17] quienes probaron que todo operador lineal y
continuo
T : H(C) H(C)
que conmute con las traslaciones y no sea un mltiplo de
la identidad es tambin hipercclico.

El primer ejemplo de existencia de esta clase de operadores en espacios de Banach fue
exhibido por S. Rolewicz en 1969 [27]. En el trabajo se prueba que para 1 p < , si
B : `p `p es el operador shift a izquierda, B(x1 , x2 , x3 , . . .) = (x2 , x3 , . . .), entonces
T = B
es hipercclico para todo
C, || > 1.
Para ciertas clases de operadores, se han estudiado en detalle las condiciones para que
se presente la propiedad de hiperciclicidad. Por ejemplo, supongamos que
un abierto simplemente conexo del plano complejo y llamemos
funciones holomorfas en
G,
GC
es
al espacio de
dotado con la topologa de convergencia uniforme sobre
compactos. Dada una funcin holomorfa

composicin
H(G, )
C : H(G, ) H(G, ),
: G G, se considera el operador
C f (z) = f (z). En [12],
denido por
de
P.
S. Bourdon y J. H. Shapiro determinan si el operador de composicin es hipercclico

estudiando la dinmica de la funcin
que lo induce. En [31], se estudian operadores

2
de composicin denidos en el espacio de Hardy H (D).
En 1982, C. Kitai [23] introdujo en su tesis doctoral un criterio de sencilla aplicacin que
brinda condiciones sucientes para que un operador sea hipercclico; este resultado fue
redescubierto por R. M. Gethner y J. H. Shapiro en 1987 [16]. Las hiptesis supuestas
T : X X permiten no solo probar su hiperciclicidad, sino tambin

T T : X X X X . Cuando el operador T T : X X X X
hipercclico, se dice que T es mixing dbil. En 1999, J. Bs y A. Peris [6] in-
sobre el operador
la del operador
resulta
troducen un criterio similar al anterior, conocido como el criterio de hiperciclicidad

y prueban que la hiperciclicidad de
T T
implica que el operador
satisface las hip-
tesis del criterio. Este resultado puede traducirse en el siguiente modo: la armacin
T es hipercclico
T T
es hipercclico es equivalente a decir que las condiciones
del criterio de hiperciclicidad son necesarias para la hiperciclicidad de un operador
T.
Este problema fue planteado originalmente por D. Herrero [22] y dio lugar a numerosos
trabajos (ver por ejemplo [18], [19] y [29]). Entre los que se encuentran versiones equivalentes de que un operador sea mixing dbil. El problema planteado por D. Herrero
es reconocido como uno de los problemas ms interesantes de la teora, y permaneci
sin solucin durante 15 aos. Finalmente, M. De La Rosa y C. Read en 2006 probaron
la existencia de operadores hipercclicos en espacios de Banach que no satisfacen el criterio de hiperciclicidad [14]. Ms an, en 2007, F. Bayart y . Matheron [4] muestran
NDICE GENERAL
diversos ejemplos en espacios de Banach clsicos, como por ejemplo en
c0 (N)
`p (N).
Una vez resuelto este problema, queda abierta la caracterizacin de aquellos espacios
que admiten operadores hipercclicos, y tambin de aquellos espacios en los que todo
operador hipercclico es mixing dbil. Por ejemplo, existen espacios de Frchet que
no admiten operadores hipercclicos y tambin existen espacios que no son localmente
N
convexos, que admiten operadores hipercclicos. Adems, en el espacio := C todo
operador hipercclico es mixing dbil.
Estructuramos el trabajo de la siguiente forma.

En el primer captulo presentamos algunas de las propiedades ms importantes de
los operadores hipercclicos. Analizamos el conjunto de vectores hipercclicos de un
operador. Damos el Criterio de Hiperciclicidad, y mostramos los primeros dos ejemplos.
Dedicamos el segundo captulo a los ejemplos ms importantes que se conocen. Estudiamos dentro de distintas familias de operadores condiciones para que estos resulten
hipercclicos. Se analizan operadores de multiplicacin, de composicin, de traslacin,
de derivacin y operadores shift.
En el tercer captulo estudiaremos operaciones que mantienen la hiperciclicidad de un
operador. Veremos que esta propiedad se mantiene por potencias y rotaciones. Adems, trabajamos en profundidad el criterio de hiperciclicidad presentado en el primer
captulo. Veremos que si un operador satisface el criterio de hiperciclicidad, entonces
es mixing dbil y hereditariamente hipercclico.
Construimos en el cuarto captulo un operador hipercclico que no satisface el criterio
de hiperciclicidad. Mostrando as, que la hiperciclicidad es una propiedad que no se
mantiene por sumas directas.
En el ltimo captulo, veremos otros resultados de inters que se relacionan con los
temas desarrollados. Estudiamos condiciones que aseguran que un operador hipercclico
satisfaga el criterio de hiperciclicidad. Tambin damos los lineamientos generales sobre
los sistemas dinmicos caticos y por ltimo enunciamos una solucin al problema del
subconjunto invariante.
NDICE GENERAL
Captulo 1
Operadores Hipercclicos
1.1. Sistemas Dinmicos Lineales
En esta tesis desarrollamos el anlisis de sistemas dinmicos lineales. Trabajaremos
sobre espacios vectoriales
junto con una topologa
operadores lineales y continuos sobre el espacio
L(X) := {T : X X,
(X, ).
El objeto de estudio sern
Notamos
lineal y continuo} .
Denimos entonces, los sistemas dinmicos lineales.
Denicin 1.1.1. Un sistema dinmico lineal es un par (X, T ) donde X es un espacio

vectorial topolgico real o complejo y
T L(X).
Muchas veces trabajaremos en contextos menos generales, como ser espacios de Banach
o de Frchet.
Denicin 1.1.2.
Decimos que el espacio mtrico
espacio vectorial real o complejo con una mtrica
d,
es un F-espacio localmente convexo, decimos que
(X, d)
es un F-espacio, si es un
que lo hace completo. Si adems
es un espacio de Frchet.
Para entender la dinmica del sistema, estudiaremos las rbitas que dene el operador
T.
Denicin 1.1.3.
Sea
rbita del elemento
(X, T ) un sistema dinmico

T como el conjunto
lineal. Para
x X,
denimos la
por
Orb(x, T ) = {T n (x) : n N0 } .
Puntualmente, nos interesa determinar la existencia de operadores lineales y continuos
sobre el espacio
que admiten rbitas densas.
Denicin 1.1.4. Sea (X, T ) un sistema dinmico lineal. Decimos que T es hipercclico
si existe
xX
tal que
vector hipercclico de
Orb(x, T )
y notamos
es denso en
HC(T )
X.
En ese caso, decimos que
es un
al conjunto de los vectores hipercclicos de
T.
9
10
CAPTULO 1.
OPERADORES HIPERCCLICOS
Observacin 1.1.5. Es claro que esta condicin nos restringe a trabajar sobre espacios
separables.
Similarmente, denimos operadores cclicos.
Denicin 1.1.6.
Se dice que
es cclico si existe
xX
tal que
hOrb(x, T )igen = K[T ]x = {P (T )x : P K[t]}

es denso en
X.
Trabajando en el contexto de los F-espacios podemos hacer uso del siguiente resultado.
Teorema 1.1.7 (Teorema de la categora de Baire).
Si
es un espacio mtrico
completo, entonces toda interseccin numerable de abiertos densos es densa en
X.
Este teorema es muy importante para el desarrollo de la teora, al igual que muchos teoremas de Anlisis Funcional, como ser el teorema de la aplicacin abierta y el principio
de acotacin uniforme.
1.2. Restricciones que trae la denicin

As como la separabilidad de
X,
otras restricciones sobre el sistema
(X, T )
deben
considerarse. Empezamos con el primer resultado de S. Rolewicz que arma que este
es un fenmeno puramente innito-dimensional [27].
Teorema 1.2.1.
No existen operadores hipericclicos en espacios de dimensin nita.
X = KN y supongamos que existe un operador hipercclico, T

L(K ). Sea x HC(T ). Armamos que {x, T (x), T 2 (x), . . . , T N 1 (x)} es linealmente
independiente. Si no lo es, entonces existen ai K, 0 i N 1 no todos nulos, tales
Demostracin. Sea
N
que
N
1
X
ai T i (x) = 0.
i=0
Sea
i0 = max{i; ai 6= 0},
ai 0 T
i0 +1
tenemos que
(x) =
iX
0 1
ai T i+1 (x) hx, T (x), T 2 (x), . . . , T i0 (x)igen .
i=0
Luego,

T N (x) = T N i0 1 T i0 +1 (x) hT N i0 1 (x), . . . , T N 1 (x)igen
hx, T (x), T 2 (x), . . . , T N 1 (x)igen .
1.2.
11
RESTRICCIONES QUE TRAE LA DEFINICIN
Tenemos que
hOrb(x, T )igen = hx, T (x), T 2 (x), . . . , T N 1 (x)igen ,

y por lo tanto
dim(hOrb(x, T )igen ) = dim(hx, T (x), T 2 (x), . . . , T N 1 (x)igen ) = N,

Orb(x, T ) no es denso en KN . Luego, los vectores son l.i. Sea R>0 ;
n
como T es hipercclico existe (nk )kN N tal que T k (x) x. Al ser T un operador
2
N 1
continuo y {x, T (x), T (x), . . . , T
(x)} una base de KN , tenemos que
lo que implica que
T nk (T i (x)) =T i (T nk (x)) T i (x) i < N ;

T nk (z) z z KN ;
T nk I;
det(T nk ) N .
Si
a := |det(T )|,
obtenemos que
{an : n N}
es denso en
diccin. Por lo que se deduce que no es posible hallar
R0 , lo que es una
T L(KN ) hipercclico.
contra-
Cuando estudiamos operadores hipercclicos en espacios de Banach, debemos considerar restricciones sobre la norma del operador. Por ejemplo, si
cualquier elemento
xo
kT k 1,
la rbita de
es un conjunto acotado,
Orb(xo , T ) B(0, kxo k).

Esto dice que un operador hipercclico no puede ser contractivo. Tampoco puede ser expansivo, por que todas las rbitas se mantendran alejadas del
0. Resumiendo, tenemos
la siguiente observacin.
Observacin 1.2.2.
Sea
un espacio de Banach, y
Si
kT k 1 T
Si
kT xk kxk, x X T
T L(X),
no es hipercclico,
no es hipercclico.
Continuamos analizando ms propiedades que surgen de la denicin. En este caso, una
propiedad sobre el espectro de T . Notamos p (R) al espectro puntual del operador R,

i.e., el conjunto de todos los autovalores de
Proposicin 1.2.3.
Sea
T L(X)
R.
hipercclico. Entonces
p (T ) = .
12
CAPTULO 1.
p (T ) no es vaco. Sea p (T ) y x X un
autovector de T
asociado a . Sea x HC(T ). Como toda funcional no nula es
sobreyectiva, x (Orb(x, T )) es denso en K. Pero,
Demostracin. Supongamos que
x (T x) = T (x )(x) = x (x),
y entonces,
x (T n x) = (T )n (x )(x) = n x (x).
As, obtenemos que
resulta p (T ) = .
{n x (x) : n N0 }
Observacin 1.2.4.
que
Si
es denso en
K.
Lo que es una contradiccin, y
es un espacio de Banach, la propiedad
tiene rango denso para todo
K,
p (T ) =
implica
pues
R(T ) = Ker(T ) = Ker(T ) = {0}.

Esta propiedad es cierta para operadores hipercclicos, aunque no estemos en espacios
de Banach. Veremos ms adelante que
P (T ) tiene rango denso para cualquier P K[t]
no nulo.
Siguiendo con las restricciones que impone la denicin, pasamos ahora al ltimo de
los resultados que presentaremos en esta seccin. Veremos que no existen operadores
compactos hipercclicos. Lo probamos primero para espacios complejos, y luego para
reales. Recordamos la denicin del radio espectral de un operador.
Denicin 1.2.5.
espectral de
Sea
un espacio de Banach y
T L(X).
Denimos el radio
como
(T ) := sup{|| : (T )}.
La frmula de Gelfand para el radio espectral es
(T ) = limk(T )n k1/n .
Proposicin 1.2.6. Sea X un espacio de Banach complejo y T

Entonces
un operador compacto.
no es hipercclico.
T es compacto, T tambin lo es y al ser un
espacio vectorial sobre C, tenemos que (T ) = {0} p (T ). Si (T ) 6= {0}, T no
es hipercclico por la Proposicin 1.2.3. Si (T ) = {0}, se tiene tambin (T ) = 0.

n 1/n
Luego, existe no N tal que k(T ) k
6 1 para todo n > no . Esto implica que
Demostracin. Recordemos que como
kT n k = k(T n ) k = k(T )n k 6 1,
n > no
y as,
Orb(x, T ) = {x, T x, T 2 x, . . . , T no 1 x} {T n x : n > no }

{x, T x, T 2 x, . . . , T no 1 x} B(0, kxk).
Con lo que la rbita de
por
es un conjunto acotado. Luego
no es hipercclico.
1.2.
13
RESTRICCIONES QUE TRAE LA DEFINICIN
Probemos ahora el mismo resultado en el caso real. Para eso, complejicaremos el

espacio y usaremos que ya hemos probado el caso complejo.
Proposicin 1.2.7.
Entonces
Sea X un espacio de Banach real y
un operador compacto.
no es hipercclico.
es hipercclico. Hacemos la siguiente construccin
para complejicar el espacio y el operador. Consideramos
Y = X iX
con la norma
denida por
kx ix0 k = kxk + kx0 k.

Y es un espacio de Banach complejo. Denimos S : Y Y como
S(x ix ) = T (x) iT (x0 ). Veamos que S es un operador acotado y kSk = kT k.
Es fcil ver que
0
Notemos que
kS(x ix0 )k = kT (x) iT (x0 )k

= kT xk + kT x0 k
kT k(kxk + kx0 k)
= kT kkx ix0 k,
entonces
kT k,
kSk kT k. Tomando una sucesin xn X , kxn k = 1

S(xn i0) = T xn i0, y luego kSk = kT k.
tales que
kT xn k
tenemos que
S es compacto. Sea (yn )nN Y una sucesin acotada. Podemos

0
0
escribir yn = xn ixn , con (xn ), (xn ) X dos sucesiones acotadas. Por compacidad
0
de T , existe x X y (xnj )jN una subsucesin tal que T xnj T x. Como (xn ) X
j
0
0
0
0
T
x
. Por lo tanto
es acotada, existe x X y (xn ) una subsucesin tal que T xn
jk
jk
S(ynjk ) T x iT x0 . Luego S es compacto.
Veamos ahora que
Veamos que S : Y Y no tiene autovalores. Sea

S (y ) = y . Sea xo HC(T ). Entonces
y Y , y 6= 0
tal que
{|y (T n xo i0)| : n N} = {|y (S n (xo i0))| : n N}

= {|(S )n (y )(xo i0)| : n N}
= {|n y (xo i0)| : n N} ,
lo que es una contradiccin, pues el primer conjunto es denso en R0 y el ltimo no.
n
Tenemos entonces que (S ) = {0}. Como antes, existe no N tal que kS k < 1 para
n
n
todo n no . Pero kT k = kS k < 1 para todo n no , y argumentando como en la
demostracin del caso complejo, podemos ver que
a lo que habamos supuesto.
no es hipercclico, en contradiccin
14
CAPTULO 1.
1.3. Propiedades de los operadores hipercclicos

Presentamos en esta seccin propiedades de los operadores hipercclicos. Comenzamos
con los resultados que nos permitirn demostrar cuando un operador lineal es hipercclico. En general, no es un trabajo sencillo mostrar que una funcin cualquiera admite
rbitas densas, pero en el contexto lineal existe un criterio de fcil aplicacin que da
condiciones sucientes para que un operador sea hipercclico. El primer resultado se
debe a G. D. Birkho [9], es una aplicacin del Teorema de la categora de Baire y
relaciona sistemas dinmicos lineales con sistemas dinmicos topolgicos.
Denicin 1.3.1. Sea X un espacio topolgico y T

T es topolgicamente transitivo,
n N tal que T n (U ) V 6= .
: X X
continuo. Decimos que
si para todo par de abiertos no vacos
V,
existe
Teorema 1.3.2 (Teorema de Birkho ). Sean X un F-espacio separable y un operador
T L(X). Entonces, T es hipercclico si y solo

HC(T ) es un conjunto G -denso.
si
es topolgicamente transitivo.
En ese caso,

entonces
Orb(x, T ) HC(T ),
es hipercclico. Observemos que si
x HC(T ),
pues
Orb(T k (x), T ) = Orb(x, T ) {x, T x, . . . , T k1 (x)},

y como
no tiene puntos aislados, al quitar nitos puntos el conjunto se mantiene

HC(T ) es denso. Si U y V , son abiertos no vacos podemos tomar x0
HC(T ). Luego, existe n N tal que T n (x0 ) V , con lo que T n (U ) V es no vaco.
denso. As,
Recprocamente, supongamos que

base numerable de abiertos de
X.
es topolgicamente transitivo y sea
{Vj }jN
es una
Tenemos que,
x HC(T ) Orb(x, T ) Vj 6= , j N
j N, n 0 : T n (x) Vj ;
es decir,
HC(T ) =
\[
T n (Vj )
jN n0
es un
Como
Wj
G .
Sea
Wj :=
n0
T n (Vj ).
Entonces,
Wj
es abierto y
Wj = X U X
abierto no vaco, n
N : U T n (Vj ) 6=
U X
abierto no vaco, n
N : T n (U ) Vj 6= .
es topolgicamente transitivo, se cumple la ltima condicin y por lo tanto,
j N. Luego, HC(T ) es interseccin numerable de abiertos densos y por

1.1.7, HC(T ) 6= y T resulta hipercclico.
es denso
el Teorema
1.3.
15
PROPIEDADES DE LOS OPERADORES HIPERCCLICOS
Es inmediato de la denicin de transitividad que si T es inversible, entonces es topo1

lgicamente transitivo si y slo si lo es T
. En consecuencia, tenemos:
Corolario 1.3.3.
Sea
un F-espacio separable y
hipercclico
T 1
T L(X), T
inversible. Entonces
hipercclico.
El primer ejemplo de un operador hipercclico en un espacio de Banach, fue dado por

S. Rolewicz [27]. Mostr que el shift
|| > 1.
B : `p `p , B(x1 , x2 , . . .) = (x2 , x3 , . . .)
Veremos la demostracin en la Subseccin 1.4.2. El
argumento usado para demostrar este hecho, daba indicios de poder ser generalizado
a un criterio para testear la hiperciclicidad de cualquier operador. Este criterio fue
presentado en primera instancia por C. Kitai [23], en su tesis de doctorado; y luego
redescubierto por R. Gethner y J. H. Shapiro [16]. Enunciamos ahora una versin del
criterio de hiperciclicidad, que aparece en la tesis doctoral de J. Bs [5].
Denicin 1.3.4 (Criterio de Hiperciclicidad - Bs).

topolgico y
T L(X).
una sucesin creciente
Snk : D2 X ,
Decimos que
(nk ) N;
Sea
un espacio vectorial
satisface el criterio de hiperciclicidad si existe
subconjuntos densos
D1 , D2 X
y aplicaciones
que cumplen:
1.
T nk (x) 0, x D1
2.
Snk (y) 0, y D2
3.
T nk Snk (y) y , y D2
Observamos que, en la denicin, no se supone que los conjuntos densos

subespacios, ni que las aplicaciones
Snk
D1
D2
sean
sean lineales o continuas.
Podemos entonces, dar un enunciado equivalente del Criterio de Hiperciclicidad.
Denicin 1.3.5 (Criterio de Hiperciclicidad I).

polgico y
T L(X).
una sucesin creciente

1.
Decimos que
(nk ) N
Sea
un espacio vectorial to-
satisface el criterio de hiperciclicidad I, si existe
y subconjuntos densos
D1 , D2 X ,
que cumplen:
T nk (x) 0, x D1
2. Para cada
y D2 ,
existe
(vk ) X
tal que
vk 0
T nk vk y
Damos a continuacin la versin original del criterio de C. Kitai.
Denicin 1.3.6 (Criterio de Hiperciclicidad II - Kitai).

vectorial topolgico y
T L(X).
Decimos que
II, si existe una sucesin creciente

aplicacin
1.
S : D2 D2 ,
(nk ) N;
que cumplen:
T nk (x) 0, x D1
Sea
un espacio
satisface el criterio de hiperciclicidad
subconjuntos densos
D1 , D2 X
y una
16
CAPTULO 1.
2.
S nk (y) 0, y D2
3.
T S = ID2
Es fcil ver que si
satisface el criterio de hiperciclicidad II - Kitai, entonces satis-
face la versin del criterio de hiperciclicidad - Bs. Simplemente tomamos la misma
(nk ) N, los mismos conjuntos densos D1 , D2 X y tomamos las

aplicaciones Snk : D2 X , como las sucesivas composiciones de la aplicacin que da
n
el criterio de hiperciclicidad II - Kitai, es decir, Snk = S S = S k . A. Peris [26]
sucesin creciente
mostr que todos los criterios enunciados anteriormente son equivalentes. Decimos que
satisface el criterio de hiperciclicidad, si
satisface alguno de los criterios enunciados
anteriormente. Cuando sea necesario, aclararemos qu versin estamos considerando o

con respecto a qu sucesin se satisface el criterio.
Teorema 1.3.7.
Sea
criterio de hiperciclicidad 1.3.4, entonces
T
D2
Demostracin. Veremos que

no vacos de
e
X . Como D1
y V D2 .
T L(X).
un F-espacio separable y sea
Si
satisface el
es hipercclico.
U , V dos abiertos
X , podemos tomar x U D1
es topolgicamente transitivo. Sean

son conjuntos densos de
Tenemos entonces que
x + Snk (y) x U,
k
y por lo tanto,
T nk (x + Snk (y)) = T nk (x) + T nk Snk (y) y V

k
Luego, tomando
sucientemente grande, tenemos que
T nk (U ) V 6= .
En realidad, de esta misma prueba se puede deducir un resultado ms fuerte que

observamos a continuacin. Antes, necesitamos la siguiente denicin.
Denicin 1.3.8.
{Ti }iI una familia de funciones continuas Ti : X Y , entre

X e Y . Decimos que la familia es universal, si existe x X
denso en Y . Notemos que un operador T es hipercclico si y slo
Sea
dos espacios topolgicos
{Ti (x)}iI es
n
familia {T }nN0
tal que
si la
Observacin 1.3.9.
es universal.
T L(X)
(nk )k0 , entonces para
nk
se tiene que la familia {T j }j0 es universal.
En este contexto, tenemos demostrado lo siguiente: si
satisface el criterio de hiperciclicidad con respecto a la sucesin

cualquier subsucesin
(nkj )j0
de
(nk )k0
Adems,
(T nkj )
es universal
U, V
abiertos no vacios,
y en ese caso, se cumple para innitos
j N; T nkj (U ) V 6= .
j N.
El criterio de hiperciclicidad proveer la principal herramienta para demostrar la hiperciclicidad de la mayora de los ejemplos que estudiaremos.
Existe una conexin entre el espectro del operador con su hiperciclicidad, como muestra
el siguiente teorema que se debe a G. Godefroy y J. H. Shapiro que arma que si un
operador tiene suciente cantidad de autovectores, entonces este es hipercclico [17].
1.3.
17
Teorema 1.3.10 (Godefroy-Shapiro

).
S
separable. Supongamos que tanto
subespacios densos. Entonces,
T L(X)Sdonde X es un F-espacio
||>1 Ker(T ) como
||<1 Ker(T ), generan
Sea
es hipercclico.
Demostracin. Aplicamos el criterio de hiperciclicidad con respecto a la sucesin
nk = k
k 0, los conjuntos
*
+
[
D1 =
Ker(T )
para todo
||<1
(nk )k0 ,
densos
*
D2 =
+
[
Ker(T )
||>1
gen
gen
Sk : D2 X denidos de la siguiente manera: Sk (y) := k y si

T (y) = y con || > 1, y extendemos a D2 usando que los subespacios Ker(T ), || >
1 son linealmente independientes. Veamos que se cumplen las condiciones del Criterio
y los operadores
1.3.4:
x D1 , podemos
|i | < 1. Tenemos que,
1. Dado
x = x1 + . . . + xq
escribir
T k (x) =
q
X
T k (xi ) =
i=1
q
X
con nicos
xi Ker(T i ),
ki xi 0.
i=1
y D2 , podemos escribir y = y1 + . . . + yp
yi Ker(T i ), |i | > 1. Tenemos que,
2. Similarmente, dado
con nicos
p
X
1
y 0.
Sk (y) =
k i k
i
i=1
y D2 , nuevamente podemos escribir y = y1 + . . . + yp

yi Ker(T i ), |i | > 1. Tenemos que,
!
p
p
X
X
k
T k Sk (y) = T k
=
k
y
k
i
i
i T (yi ) = y.
3. Dado dado
i=1
As, mostramos que
con nicos
i=1
satisface el criterio de hiperciclicidad, y por lo tanto, es hiper-
cclico.
A continuacin presentamos el criterio de comparacin para operadores hipercclicos.
Proposicin 1.3.11 (Criterio de Comparacin). Sean X y X0 espacios vectoriales

topolgicos y
T : X X , R : X0 X0
J : X X0
funciones continuas. Supongamos que existe
continua de rango denso tal que el siguiente diagrama
X
J
X0
conmuta. Entonces
/X
X0
18
(a)
CAPTULO 1.
Orb(J(x), R) = J(Orb(x, T )).

R.
(b) Si
es lineal y
Luego, si
es hipercclico entonces tambin lo es
satisface el criterio de hiperciclicidad, entonces
tambin lo
satisface.
J manda conjuntos densos en

J(D) = J(D) J(D) = J(X) = X0 .
Demostracin. Observemos primero que

sos, si
DX
es denso, entonces
conjuntos den-
xX
(a) Notemos que para todo

Orb(J(x), R) = Rn (J(x)) : n N0 = J(T n (x)) : n N0 = J(Orb(x, T )).
Si T es hipercclico, existe x X tal que Orb(x, T ) es denso en X . Luego,
J(x) HC(R), pues J manda conjuntos densos en conjuntos densos. As, R es
hipercclico y HC(R) J(HC(T )).
T satisface el criterio de hiperciclicidad I de la Denicin 1.3.5 con respecto a

(nk ) N, y a los conjuntos densos D1 , D2 X densos, veamos que R satisface
el criterio de hiperciclicidad I con respecto a la misma sucesin (nk ) N y los
conjuntos densos J(D1 ), J(D2 ) X0 .
(b) Si
1. Dado
x0 J(D1 ),
existe
x D1
tal que
x0 = J(x).
Entonces
Rnk (x0 ) = Rnk (J(x)) = J(T nk (x)) 0

k
y0 J(D2 ), existen y D2
T (vk ) y . Luego,
2. Dado
nk
J(vk ) 0
(vk ) X
tal que
y0 = J(y), vk 0
Rnk (J(vk )) = J(T nk (vk )) J(y) = y0 .

k
Del criterio de comparacin podemos destacar el siguiente resultado.
Observacin 1.3.12. Sean T

de rango denso tales que
L(X) un operador hipercclico y J : X X

T J = JT . Entonces HC(T ) es J -invariante.
En lo que resta de esta seccin estudiaremos el conjunto
HC(T ).
continua
Observemos que
T L(X) cualquiera, el conjunto HC(T ) es denso o vaco. Cuando

hipercclico, HC(T ) es un G -denso. Esto implica que el conjunto de
para un operador
el operador es
vectores hipercclicos es grande en un sentido algebraico.
Proposicin 1.3.13.
vector
xX
Sea
un F-espacio y
T L(X)
es suma de dos vectores hipercclicos.
hipercclico. Entonces, todo
1.3.
19
Demostracin. Sea
x X.
Consideramos los conjuntos
A := HC(T )
B := x HC(T ).
T
A = TjN Wj , con Wj X abierto denso para todo
j N. Tenemos entonces que B = jN x Wj , con x Wj X abierto denso
para todo j N. Por lo tanto, por el Teorema 1.1.7 resulta A B 6= . Luego, existe
y A B . Es decir, y HC(T ), y existe z HC(T ) tal que y = x z .
Vimos en el Teorema 1.3.2, que
En lo que sigue presentamos una serie de resultados necesarios par demostrar el siguiente teorema.
Teorema 1.3.14.
Lema 1.3.15.
T -invariante,
Si
X un espacio de Frchet separable,

HC(T ) es homeomorfo a X .
Sean
T L(X)
T L(X) es un operador hipercclico y L X

L = X L tiene codimensin innita en X .
un operador
es un subespacio
entonces

aplicacin cociente. Tenemos que
L 6= X y dim(X/L) < . Sea q : X X/L la

Ker(q) Ker(q T ), pues al ser L un subespacio
T -invariante:
x Ker(q) x L T x L q T x = 0 x Ker(q T ).
Luego
qT
se factoriza por
q,
A L(X/L)
es decir, existe
X
X/L
A q = q T.
qT
tal que
X/L
q es continua y sobreyectiva, luego por el Criterio de comparacin

A L(X/L) es hipercclico en un espacio de dimensin nita. Lo
Tenemos entonces que

1.3.11, resulta que
que es un absurdo por el Teorema 1.2.1.
Denicin 1.3.16.
Sea
un espacio vectorial topolgico y
hipercclico. Decimos que el subespacio
E X
T L(X)
un operador
es variedad hipercclica de
T,
si
{0} HC(T ).
Vimos en la Observacin 1.2.4 que si
hipercclico, entonces
es un espacio de Banach y
tiene rango denso para todo
K.
L L(X)
es
El siguiente lema
generaliza este hecho para cualquier polinomio.
Lema 1.3.17.
Sean
Entonces el operador
T L(X) un operador hipercclico,

P (T ) tiene rango denso.
un polinomio no nulo.
P (T ) es un mltiplo no nulo de
la identidad y por lo tanto tiene rango denso. Luego, podemos suponer que gr(P ) 1.
Notemos que Ran(P (T )) es T -invariante, pues T P (T ) = P (T )T y, si y Ran(P (T )),
Demostracin. Si el polinomio
es constante, entonces
20
CAPTULO 1.
P (T )x = y , entonces T y = P (T )(T x) Ran(P (T )). Luego, como

T es continua, L := Ran(P (T )) es T -invariante.
Queremos ver que P (T ) es de rango denso, es decir, L = X . Por el lema previo basta ver
que L tiene codimensin nita en X . Sea x HC(T ) y q : X X/L la aplicacin
cociente. Dado Q K[t], existen r, s K[t] con gr(r) < gr(P ) r = 0 tal que
Q = P s + r. Por lo tanto,
existe
xX
tal que
Q(T ) = P (T )s(T ) + r(T ),

y entonces,

Q(T )x = P (T )(s(T )x) + r(T )x Ran(P (T )) + T i (x) : i < gr(P ) gen .
En consecuencia, obtenemos

K[T ]x Ran(P (T )) + T i (x) : i < gr(P ) gen .
(1.1)
Resulta, por (1.1)

q(K[T ]x) q(T i (x)) : i < gr(P ) gen
as,

dim q(T i (x)) : i < gr(P ) gen < .
Como
x HC(T ), X/L = q(X)
es de dimensin nita, y por el lema anterior,
L = X.
Teorema 1.3.18.
hipercclico. Si
de
T.
Sea
es vector hipercclico para
En particular,
T L(X) un operador
K[T ]x es variedad hipercclica
T,
entonces
admite una variedad hipercclica densa.
Demostracin. Como vimos en la Observacin 1.3.12, para cualquier polinomio no nulo
P,
P (T )-invariante, pues P (T ) conmuta con T y tiene rango

denso. De aqu concluimos que P (T )x HC(T ), para todo P K[t] no nulo. Resulta
K[T ]x denso pues, Orb(x, T ) K[T ]x.
se tiene que
HC(T )
es
Corolario 1.3.19.
T L(X)
Demostracin. Sea
x HC(T )
HC(T )
jo. Observemos que
es conexo.
HC(T )
se encuentra entre los
siguientes conjuntos conexos,
K[T ]x HC(T ) X,
X . Podemos desde aqu concluir que HC(T ) es conexo:
supongamos que HC(T ) = A B , con A, B abiertos disjuntos. Se tiene que K[T ]x
A B y al ser conexo, sin perdida de generalidad, podemos suponer que K[T ]x A.
Pero, K[T ]x es denso, B es abierto y B K[T ]x = , de lo que sigue que B = . Luego,
HC(T ) es conexo.
donde
K[T ]x
es denso en
1.3.
21
Para la demostracin del Teorema 1.3.14, necesitamos la siguiente denicin.
Denicin 1.3.20.
X separable de Frchet, A X cerrado. Decimos que A es

un Z set si para todo K mtrico compacto C(K, X A) es denso en C(K, X) (con
respecto a la topologa de convergencia uniforme en C(K, X)).
Notemos que
en las funciones
Sea
Z set si es lo sucientemente pequeo como para no inuir

continuas de C(K, X). Para la demostracin del Teorema 1.3.14 nos
es un
basaremos en el siguiente lema, cuya demostracin puede encontrarse en [7].
Lema 1.3.21. Sea X

entonces
X A
separable de Frchet. Si
es homeomorfo a
AX
es unin numerable de
Z sets,
X.
es una base numerable

S (Vj )jN
n
de abiertos de X , podemos escribir HC(T ) =
(Vj ). Tomando complejN
n0 T
S T
n
X
T
(V
)
.
De
aqu,
alcanza con probar
mentos, obtenemos X HC(T ) =
j
jN
n0
que para todo V abierto no vaco, el conjunto
\
X T n (V )
Demostracin del Teorema 1.3.14. Recordemos que si
n0
es un
Z set. Queremos ver que, dados un espacio mtrico compacto K , f C(K, X),
O de 0 en X , existe g C(K, X) tal que
!
\
[
g(K) X
X T n (V ) =
T n (V ),
(1.2)
y un entorno abierto
n0
n0
y,
(g f )(K) O.
X localmente convexo, podemos asumir que O es convexo. Sea x HC(T ). Para
t K , elegimos mt N tal que
Al ser
cada
T mt (x) f (t) O,
Wt := {s K : T mt (x) f (s) O} K . De esta forma,
cubrimiento por abiertos (Wt )tK del compacto K . Recordemos que
y denimos
obtenemos
un
un espacio
mtrico compacto, cumple que los abiertos separan cerrados disjuntos, y que en todo
espacio mtrico compacto vale el teorema de particiones de la unidad nitas. Es decir,
si tomamos un subcubrimiento nito
nita que cumple
continuas,
0 i 1,
Pp
i=1 i = 1,
sop(i ) Wti .
(Wti )1ip
existe
(i )1ip
particin de la unidad
22
CAPTULO 1.
Notamos
mi := mti
g :=
Pp
i=1
i T mi (x).
Veamos que se cumple lo que necesitamos:
Tenemos que
g(s) f (s) =
p
X
i (s)T
mi
(x) f (s) =
p
X

i (s) T mi (x) f (s) ,
i=1
i=1
g(s) f (s) es una combinacin convexa de elementos de O. Al ser O

(g f )(K) O.
Pp
mi
Para cada a K , podemos escribir g(a) = Pa (T )x con Pa (z) =
i=1 i (a).z
polinomio no nulo. Como vimos en la Observacin 1.3.12, Pa (T )x HC(T ).
n
Luego, existe na N tal que T a (g(a)) V . Por lo tanto,
[
g(K)
T n (V ).
con lo cual,
convexo, concluimos que
n0
por lo tanto
verica la condicin (1.2).
X HC(T )
homeomorfo a X .
Concluimos entonces, que

1.3.21,
HC(T )
es
es unin numerable de
Z set
y por Lema
1.4. Primeros Ejemplos de Operadores Hipercclicos

Presentamos en esta seccin dos operadores hipercclicos. Desarrollaremos ms adelante, en profundidad, los ejemplos que damos aqu. Fueron los primeros operadores
hipercclicos que se encontraron durante el desarrollo de la teora. No presentaremos
las demostraciones originales de los autores, sino que lo haremos usando el Criterio de
Hiperciclicidad.
1.4.1.
El siguiente ejemplo se debe a G. R. MacLane [25] y data del ao 1951. Lo presentamos

en el espacio
H(C) = {f : C C,
holomorfa},
con la topologa dada por la convergencia uniforme sobre compactos. El espacio
H(C)
es un espacio mtrico completo y separable con la mtrica
d(f, g) =
X
n=1
2n
kf gkn
,
1 + kf gkn
kf gkn := sup|z|n |f (z) g(z)|. Denimos, D : H(C) H(C), D(f ) = f 0 .

Claramente, D es lineal y continua. Aplicamos el Criterio de Hiperciclicidad II de la
donde,
1.4.
23
PRIMEROS EJEMPLOS DE OPERADORES HIPERCCLICOS
nk = k ;
Denicin 1.3.6 con la sucesin
S : C[z] C[z]
los conjuntos densos
P C[z], tenemos
Dn (P ) 0.
1. Dado
2. Si
denida por
S(a0 + a1 z + + an z n ) = a0 z + a1
que
D1 = D2 = C[z],
que
Dn (P ) = 0,
z n+1
z2
+ + an
.
2
n+1
para todo
n > gr(P ).
De aqu, es claro
KC
compacto, existe
S n (z k ) =
R>0
tal que
K {z : |z| R}.
Entonces,
z k+n
k!z k+n
=
,
(k + n)(k + n 1) (k + 1)
(k + n)!
y tenemos que,

k!Rk+n
0,
sup S n (z k )
(k + n)! n
zK
Por lo tanto,
S n (P ) 0
uniformemente sobre compactos, para todo
3. Es claro que para cualquier polinomio

Por Teorema 1.3.7,
P,
se tiene que
P C[z].
DS(P ) = P .
es hipercclico. Es interesante observar que, existe
g H(C)
tal
Orb(g, D) es denso en H(C). As, dada cualquier funcin holomorfa y cualquier

R > 0, tenemos que en el compacto {|z| R} la funcin f , es muy similar a una
derivada de g :
que
dado
> 0,
existe
nN
tal que
sup |f (z) Dn (g)(z)| < .

|z|R
1.4.2.
Operadores Shift
Otro ejemplo importante para la teora es el de los operadores Shift. Esta familia de
p
p
ejemplos fue presentada por S. Rolewicz [27], en el ao 1961. Sea B : ` (N) ` (N),
el shift a izquierda dado por
B(x0 , x1 , . . . ) = (x1 , x2 , . . . ),
Veamos que
es hipercclico, para todo
con
|| > 1.
1 p < .
Aplicamos nuevamente el Cri-
terio de Hiperciclicidad II de la Denicin 1.3.6 con la sucesin
D1 = D2 = c00 (N) formados por las sucesiones

p
p
tomamos la aplicacin S/ con S : ` (N) ` (N), el shift
S(x0 , x1 , . . . ) = (0, x0 , x1 , . . . ),
juntos densos
1. Dado
x := x0 , x1 , . . . ) c00 (N)
n n0 .
existe
n0 N
tal que
Luego
(B)n (x0 , x1 , . . . ) 0.
n
nk = k ;
los con-
de soporte nito, y
a derecha dado por
(B)n (x) = 0
para todo
24
CAPTULO 1.
2. Notemos que
kSk = 1
entonces
kS/k = 1/||.
Luego,
k(S/)n k 1/(||)n 0.
n
Por lo tanto, dado
x := (x0 , x1 , . . . ) c00 (N)

(S/)n (x) 0.
n
3. Es claro que
son mutuamente inversas en
mutuamente inversas en
`p (N),
luego
S/
son
c00 .
Concluimos, por Teorema 1.3.7, que
con || > 1 . Luego,

p
sucesin universal x ` (N)
1 tenemos asegurada la existencia de una

|| >
n
p
tal que (B) x : n N0 es denso en ` (N). Podemos concluir que toda sucesin de
`p (N), se comporta de manera similar a un truncado de x.
para cada
Observacin 1.4.1.
Como
kBk = 1,
por la Observacin 1.2.2,
no es hipercclico.
Esto dice que el conjunto de operadores hipercclicos no es cerrado en

B B , si 1+ , R.
L(X),
pues
Captulo 2
Ejemplos de operadores hipercclicos
En este captulo profundizamos los ejemplos que estudiamos anteriormente. Veremos
distintas familias de operadores, tratando de caracterizar en cada caso, cuando resultan
hipercclicos. Esos son: operadores de traslacin en el plano complejo, operadores shift,
de composicin, de multiplicacin y de derivacin. Comenzamos con una introduccin
2
sobre el espacio H (D) y mostramos algunas propiedades. Introducimos las siguientes
notaciones, que usaremos en el desarrollo de los ejemplos.
D = {z C : |z| < 1},
el disco unitario complejo.
T = {z C : |z| = 1},
el circulo unitario complejo.
H(D) = {f : D C : f
es holomorfa}, con la topologa de la convergencia
uniforme sobre compactos de
H (D) = {f H(D) : f
D.
es acotada}, con la norma
kf k = sup |f (z)|.
D
2.1. Operadores de Traslacin en H(C)

El primer ejemplo que veremos es el de los operadores de traslacin en el plano complejo.
Se debe a G. D. Birkho y data del ao 1929 [8]. Ms adelante fue retomado por G.
Godefroy y J. H. Shapiro que demostraron que un operador en
H(C) que conmuta con
todas las traslaciones y no es mltiplo de la identidad es hipercclico [17].

Para cualquier nmero complejo
no nulo, sea
Ta : H(C) H(C),
Ta (f )(z) = f (z + a)
el operador de traslacin. Para aplicar el Criterio de Hiperciclicidad a
z
el siguiente lema previo. Notamos e a la funcin z 7 e .
Lema 2.1.1.
Sea
A C,
con un punto de acumulacin en
h{e : A}igen
es denso en
H(C).
25
C.
Ta ,
Entonces
necesitamos
26
CAPTULO 2.
H(C)
EJEMPLOS DE OPERADORES HIPERCCLICOS
(e ) = 0 para todo A. Queremos ver que

0. Como es continua, podemos elegir K = B(0, R) C compacto y c > 0 tal
que |(f )| c supzK |f (z)| = c kf |K kC(K) . Podemos pensar a como una funcional
continua en el subespacio {f |K : f H(C)} de C(K). Por el Teorema de Hahn-Banach,
se extiende a C(K) . Luego, por el teorema de representacin de Riesz existe
una medida compleja con soporte en K tal que
Z
(f
)=
f d, para toda f C(K).
Demostracin. Sea
tal que
K
En particular, si
f H(C),
tenemos
Z
(f ) =
f d.
K
Consideramos la aplicacin F () :=
R
0
analtica con F () =
zez d(z):
K
(e ) =
R
K
ez d(z), con C. Veamos que F
es
Z z

0 z

F () F (0 )
e
e
0
z
0
=

F
(
)
ze
d
0

0
0
K
z

e e0 z

z
sup
ze 0 .(K) 0
0
0
K
Tenemos entonces una funcin
todo
A.
Como
F : C C
analtica tal que
tiene puntos de acumulacin,
F 0
F () = (e ) = 0
para
por principio de identidad
de funciones holomorfas. Derivando, obtenemos
0=F
(n)
Z
(0) =
z n d = (z n ), n N0
K
Al ser
h{1, z, z 2 , . . . }igen
Proposicin 2.1.2.
denso en
El operador
H(C), concluimos que 0, como queramos ver.

Ta
a C,
no nulo.
Demostracin. Aplicamos el criterio de hiperciclicidad (versin Kitai) a
Ta
con
D1 = h{e : |ea | < 1}igen ,

D2 = h{e : |ea | > 1}igen ,
S : H(C) H(C) dado por S = Ta . Es claro que T S = IdH(C)
D1 y D2 son densos. Adems, tenemos
y
(Ta )n (e ) = Tna (e ) = e(z+na) = ez ena = (ea )n ez n 0,
y, por lo anterior,
si
|ea | < 1.
Con lo que se cumple la primera condicin del criterio de hiperciclicidad. Anlogamente,

se cumple la condicin para
para todo
a C {0}.
S . Luego, por el Teorema 1.3.7, resulta que Ta es hipercclico
2.1.
H(C)
OPERADORES DE TRASLACIN EN
Observacin 2.1.3.
composiciones. Pues
27
Lo anterior muestra que la hiperciclicidad no se mantiene por
Ta Ta = Id
no es hipercclico.
G. Godefory y J. H. Shapiro mostraron que este resultado se generaliza a otros operadores como por el ejemplo el operador de derivacin. Para mostrar los resultados que
obtuvieron necesitamos la siguiente denicin.
Denicin 2.1.4. Decimos que H(C) es de tipo exponencial si existen constantes

positivas
A, B
tales que
Observacin 2.1.5.
Entonces,
CRn
n!
|(z)| AeB|z|
Sea
H(C)
z C.
P
(z) = n0 cn z n
para todo
y sea
su desarrollo en serie.
es de tipo exponencial si y slo si existen constantes
C, R
Demostracin. (=) Por las desigualdades de Cauchy, tenemos que

para todo
r > 0, n N.
|cn |
|cn |rn AeBr
n jo,
Br
e
en
mn
=
r>0
rn
(n/B)n
Para cada
r = n/B . Luego, |cn | A(n/B)n en A (Be)

.
n!
CRn
|cn | n! , entonces
X

X CRn
(R|z|)n
n
|z| = C
= CeR|z| .
|F (z)|
n!
n!
n0
n0
se alcanza en
(=) Si
tales que
Observacin 2.1.6.
Para
H(C)
de tipo exponencial,
(z) =
an z n ,
notamos
nN0
(D)(f ) =
an Dn (f ).
nN0
Lema 2.1.7.
todo
a C.
Sea
T : H(C) H(C)
H(C)
Entonces, existe
Demostracin. Sea
(T f )(0).
lineal y continua tal que
T Ta = Ta T
T = (D).
para
de tipo exponencial tal que
L : H(C) C el funcional denido por L(f ) = ev0 T (f ) =

L es continuo y

T f (z) = Tz (T f ) (0) = T (Tz f ) (0) = L(Tz f )
Se tiene que
z C. Por un argumento similar al del Lema 2.1.1, obtenemos c > 0,

K = B(0, R) C y una medida compleja con soporte en K tal que
Z
)=
L(f
f d, f C(K)
para todo
28
CAPTULO 2.
y, en particular, si
f H(C)
tenemos que
Z
f d.
L(f ) =
K
T f (z)
Entonces podemos calcular
de la siguiente manera
Z X
f (n) (z) n
Tz f d =
f (w + z)d(w) =
w d(w)
T f (z) = L(Tz f ) =
n!
K
K
K n=0
Z
Z

X
1
X
=
cn Dn f (z).
w d(w) Dn f (z) =
n! K
n=0 |
n=0
{z
}
n
:=cn
de tipo exponencial y
n
|cn | Rn! kk
T = (D).
Teorema 2.1.8.
T : H(C) H(C)
Adems, tenemos que
para todo
a C,
Sea
para todo
n N.
Luego,
(z) :=
lineal y continuo tal que
y no es un mltiplo de la identidad. Entonces,
n0 cn z
es
T Ta = Ta T
es hipercclico.
a C, existe de tipo exponencial

tal que T = (D), por Lema 2.1.7. Como T no es un mltiplo de la identidad, no es
constante. Aplicamos el Teorema 1.3.10. Veamos que las funciones e son autovectores
de T :
X
X
T (e ) =
an Dn (e ) =
an n e = ()e , C.
Demostracin. Como
conmuta con
Ta
n0
para todo
n0
Consideramos entonces los conjuntos
U = { C : |()| < 1}
Como
no es constante,
V = { C : |()| > 1}.
son abiertos no vacos. Por el Lema 2.1.1, concluimos
que
h{e : U }igen
son densos en
H(C).
h{e : V }igen
Luego, se verican las hiptesis del Teorema 1.3.10 y as
es
hipercclico.
Por ltimo observemos que un operador conmuta con todas las traslaciones si y slo si
conmuta con el operador de derivacin.
Proposicin 2.1.9.
Sea
T L(H(C)).
T Ta = Ta T,
para todo
Entonces
aC
si y slo si
T D = D T.
2.2.
29
EL ESPACIO DE HARDY
Demostracin.
(=)
Th (T f ) T f
T (Th f ) T f
= lm
h0
h0
h
h
D(T f ) = lm
= lm T
h0
T (f ) f
h
= T (Df )
h
(=)Para ver esta implicacin, veamos que
Ta = eaD ,
Ta f (z) = f (z + a) =
pues
X f (n) (z)
n0
n!
an .
Por otro lado,
eaD f (z) = eaD(f ) (z) =
X an Dn (f )
n0
n!
(z) =
X f (n) (z)
n0
n!
an .
De esta forma concluimos
T (Ta f ) = T eaDf = T
X an Dn (f )
n0
X an Dn (T f )
n0
n!
n!
= eaD(T f ) = Ta (T f ).
Nota: los operadores de traslacin son casos particulares de operadores de composiC, a (z) = z + a. El respectivo operador
Ca (f ) = f a actuando en H(C). Se tiene que Ta = Ca .
cin. Consideramos el automorsmo de

composicin es
de
2.2. El Espacio de Hardy

Recordemos que toda funcin holomorfa en el disco es desarrollable en serie, y la
f (n) (0)
convergencia es uniforme sobre compactos de D. Si f H(D), notamos f(n) =
n!
al n-simo coeciente del desarrollo de f y tenemos que
f (z) =
f(n)z n , z D.
nN0
Denimos el Espacio de Hardy
H 2 (D) H(D),
como sigue:
n
o
X
H 2 (D) = f H(D) :
|f(n)|2 <
nN0
30
CAPTULO 2.
con el producto interno dado por
hf, giH 2 =
f(n)
g (n)
n0
y la norma inducida
kf k =
X
|f(n)|2
1/2
nN0
Tenemos un isomorsmo isomtrico entre los espacios de Hilbert
H 2 (D)
`2 (N),
H 2 (D) l2 (N)

f f(n) nN0 .
Varias propiedades del espacio de Hardy se deducen de la denicin. El siguiente hecho
2
muestra que las funciones de H (D), no crecen demasiado rpido.
Proposicin 2.2.1 (Estimacin de Crecimiento).

kf k
, z D.
f H 2 (D) = |f (z)| p
1 |z|2
Demostracin. Usamos la desigualdad de Cauchy-Schwartz y el hecho de que
|f (z)|
|f(n)||z|n
n0
X
fn f
fn , f H 2 (D)
0<r<1
jo,
|z| r,
H 2 (D),
es coherente con la de
D.
Es
H(D).
fn f en H 2 (D). Entonces,
2
decir, H (D) , H(D) es continua.
tales que
uniformemente sobre compactos de
Demostracin. Para
n0
kf k
1 1/2
=p
.
2
1 |z|
1 |z|2
Esta desigualdad muestra que la topologa de
Sean
1/2 X
1/2
2n
.
|z|
n0

= kf k.
Proposicin 2.2.2.
|f(n)|2
z D:
tenemos
kfn f k
kfn f k
|fn (z) f (z)| p

1 r2
1 |z|2
Luego,
kfn f k
sup |fn (z) f (z)|
0
1 r2 n
|z|r
2.2.
31
EL ESPACIO DE HARDY
Lo que sigue, es una denicin alternativa de la norma del espacio de Hardy mediante
P
n
2
promedios en los crculos {|z| = r} con r < 1. Sea f (z) =

n0 f (n)z H (D).
i
in
Escribimos z = re y usamos que las funciones {e
}n0 son ortogonales en L2 [, ].
1
M2 (f, r) :=
2
2
|f (rei )|2 d =
|f(n)|2 r2n
n0
pues,
|f(n)|2 r2n =
n0
X
n0
DX
1
=
2
f H 2 (D)
(|f(n)|rn )2 hein , ein iL2 [,]
n0
f(n)rn ein ,
n0
Dada
(|f(n)|rn )2 =
f(m)rm eim
E
L2 [,]
m0
1
=
2
X
2

f(n)rn ein d
n0
|f (rei )|2 d.
ja, la frmula anterior muestra que
M2 (f, r)
es creciente en
acotada,
M2 (f, r) =
X
|f(n)|2 r2n
1/2
n0
X
|f(n)|2
1/2
= kf k.
n0
lm M2 (f, r) = M <
r%1
entonces,
N
X
|f(n)|2 r2n
n=0

2
|f(n)|2 r2n = M2 (f, r) M 2
n0
PN
2
r % 1 y obtenemos que todas las sumas parciales
n=0 |f (n)|
2
estn acotadas, y as f H (D), kf k M . De esta forma, tenemos la construccin
2
alternativa de H (D) que buscbamos. Resumimos en la siguiente proposicin lo que
concluimos anteriormente. Si f
/ H 2 (D), escribimos kf k = .
de aqu, hacemos
Proposicin 2.2.3.
Sea
f H(D),
entonces
2
1
kf k = lm M2 (f, r) = lm
r%1 2
r%1
2
|f (rei )|2 d,
y vale,
f H 2 (D) M2 (f, r)
es acotado en
0 < r < 1.
As caracterizamos
n
o
H (D) = f H(D) : sup M2 (f, r) < .
2
r<1
32
CAPTULO 2.
2
2
Existe una tercera forma de ver el espacio H (D): como subespacio de L (T). Tenemos
2
2
2
que H (D) es isomtrico a H (T) := { L (T) : (n)
= 0 para todo n < 0}, donde

2
(n)
denota el n-esimo coeciente de Fourier de . Dada f H (D), el lmite radial
lm f (rei ) =: f(ei )
r%1
existe para casi todo
f : T C
y la funcin
pertenece a
H 2 (T)
con
kf k = kfkL2 .
Adems,
hf, giH 2
= hf, giL2 =
f.
g.
2.3. Operadores de Multiplicacin

El primer ejemplo que damos en el espacio de Hardy es el de los operadores de multiplicacin. Estos son operadores de la forma
M : H 2 (D) H 2 (D),
M (f ) = f,
Observacin 2.3.1.
con
H (D)
ja.
(2.1)
H (D) es analtica y acotada en D, entonces

1/2
1 Z
|(rei )|2 d
M2 (, r) =
kk ,
2
para todo
r (0, 1)
Si
y as,
H 2 (D)
kk kk.
De igual forma, se muestra que
1/2
1/2
1 Z
1 Z
i 2
i 2
i 2
M2 (f, r) =
|(re )| |f (re )| d
kk
|f (re )| d
2
2
= kk M2 (f, r) kk kf k
Por lo tanto, el operador de multiplicacin
M : H 2 (D) H 2 (D),
denido en (2.1)
es continuo y verica
nf {||}kf k kM (f )k sup{||}kf k.
D
Recordemos que
fn f
(2.2)
D
en
H 2 (D),
fn f uniformemente sobre
particular para z D jo, la aplicacin
implica que
compactos de D, por Proposicin 2.2.2. En

evz : H 2 (D) C, evz (f ) = f (z) es una funcional lineal y continua. Por el teorema
2
de representacin de Riesz, existe kz H (D) tal que
evz (f ) = f (z) = hf, kz iH 2 .

El elemento
kz
se llama el ncleo reproductor de
z.
(2.3)
2.3.
33
OPERADORES DE MULTIPLICACIN
Observacin 2.3.2.
Podemos estimar
kevz k,
mediante la Proposicin 2.2.1:
1
|f (z)| p
kf kH 2 .
1 |z|2
De esta forma, tenemos que
1
.
kevz k p
1 |z|2
En este caso, el ncleo reproductor
kz
est dado por la frmula explcita
kz (w) =
1
1 zw
pues,
hkz , wn i = hwn , kz i = evz (wn ) = z n , n N.

Luego, al ser
{wn }nN
base ortonormal de
kz (w) =
H 2 (D),
z n wn =
n0
resulta
1
.
1 zw
La expresin (2.3) es, entonces, una reformulacin de la frmula integral de Cauchy:
Z
f (z) = hf, kz i
H2
= hfe, kez iL2 =
f (e
0
Z
=
0
f (e2it )
dt =
1 e2it z
Observacin 2.3.3.
Orb(f, M )
2it

1
).
dt
1 ze2it

f (e2it ) 2it
1
.e
dt
=
e2it z
2i
La aplicacin evz : H
2
fuera denso en H (D), entonces
Z
T
f (w)
dw.
wz
(D) C es sobreyectiva
y continua. Si

evz Orb(f, M ) sera denso en C. Pero
evz (M (f )) = M (f )(z) = f (z)(z),

y entonces,
evz (Mn (f )) = Mn (f )(z) = f (z)((z))n .

En consecuencia,

evz Orb(f, M ) = ((z))n f (z) : n N0
nunca es denso en
C.
Por lo tanto,
nunca es hipercclico.
Sin embargo, algo ms se puede decir de los operadores de multiplicacin.
Observacin 2.3.4. Sea M : H 2 (D) H 2 (D) el operador adjunto de M . Entonces

hf, M (kz )iH 2 = hf, kz iH 2 = (z)f (z) = (z)hf, kz iH 2
= hf, (z)kz iH 2 , f H 2 (D).
Esto dice que
M (kz ) = (z)kz ,
es decir,
(z)
es autovalor de
para todo
z D.
34
CAPTULO 2.
Notemos que usando la Proposicin 1.2.3, nuevamente obtenemos que
cclico pues p (M ) 6= .
Proposicin 2.3.5.
M
Sea
H 2 (D).
es hipercclico
no es hiper-
Entonces,
si y solo si
no es constante y
(D) (D) 6= .
U = 1 (B(0, 1)) = {z D : |(z)| < 1} y V = 1 {w :

|w| > 1} = {z D : |(z)| > 1}, que por el teorema de la aplicacin abierta para
Demostracin. (=) Sean
funciones analticas, son abiertos no vacos. Usamos el Teorema 1.3.10. Para esto, basta
ver que,
[
Ker

(z)
= hkz ; z U igen
gen
zU
[
Ker

(z)

= hkz ; z V igen
gen
zV
H 2 (D). Vemoslo para U . Sea f H 2 (D) ortogonal a kz , z U . Por

(2.3) tenemos que f (z) = 0, z U , lo que implica f 0 por el principio de identidad
de funciones holomorfas. Del mismo modo se prueba para el abierto V . Luego, M es
son densos en
hipercclico.
M es hipercclico. Entonces kM k = kM k > 1 y, as por (2.2),

1 < kM k kk . Es ms, nf D |(z)| < 1. Si no lo fuera, tenemos que 1/ H (D).
De aqu podemos concluir que M1/ no es hipercclico, pues kM1/ k = kM1/ k =

1
| 1. Como M1/
= (M )1 , por el Corolario 1.3.3 obtenemos que M no es
supD | (z)
(=) Supongamos que
hipercclico, que contradice la hiptesis. Luego,
nf |(z)| < 1 < sup |(z)|.

D
De aqu obtenemos que
que
no es constante y, como
{|(D)|} R0
es conexo, se tiene
(D) (D) 6= .
2.4. Operadores de Composicin

: D D, nos interesa estudiar operadores del tipo C : H 2 (D) H 2 (D)
dados por C (f ) = f . La hiperciclicidad del operador C depende directamente
de las propiedades de la funcin . Particularmente, estudiaremos en profundidad los
operadores de composicin cuando es una homografa del plano complejo que cumple
(D) D. Comenzamos con una introduccin sobre homografas en C. Los resultados
Dada
de la subseccin que sigue pueden encontrarse con mayor detalle en los libros [13] o
[31].
2.4.
2.4.1.
Homografas
Denicin 2.4.1.
Una homografa es una funcin
(z) =
con
35
OPERADORES DE COMPOSICIN
C
,
:C
az + b
,
cz + d
al conjunto de todas las homografas.

a, b, c, d C y ad bc 6= 0. Notamos LF T (C)
Pensamos a las homografas como automorsmos de la esfera de Riemann

demos que
LF T (C)
.
C
Recor-
es un grupo bajo la composicin. Cada homografa manda circun-
ferencias de la esfera de Riemann en circunferencias de la esfera -circunferencias en la

esfera de Riemann son, va la proyeccin estereogrca, circunferencias o rectas en el
plano complejo-. Dados dos crculos de la esfera existe una homografa que aplica uno
en la otro. Lo mismo es cierto en ternas de puntos de la esfera, dados dos pares de
ternas de puntos de la esfera existe una nica homografa que manda una terna en la
otra. Las homografas preservan razn doble y ngulos. Cada matriz compleja de 2x2
inversible da lugar a una homografa,

A=
a b
c d

7 A (z) =
az + b
.
cz + d
Esta representacin es conveniente al trabajar con homografas porque mantiene las

operaciones del grupo,
A B = AB ,
(A )1 = A1 .
Debemos tener en cuenta que
A = A ,
para todo
C,
no nulo. Por esta razn,
trabajaremos con matrices normalizadas, con determinante 1.
Denicin 2.4.2.
Si
ad bc = 1,
decimos que
est en forma estndar.
Esto trae un pequeo inconveniente ya que para cada homografa hay dos matrices que
dan su forma estndar. Si
det(A) = 1
entonces
representan la misma homo-
grafa y estn en forma estndar. Podramos agregar ms condiciones a la denicin de

forma estndar, pero para solucionar este problema tendremos en cuenta este potencial
cuando sea necesario.
Denicin 2.4.3.
LF C(C)
tal que
Decimos que las homografas

= 1 .
son conjugadas si existe
Puntos Fijos
Proposicin 2.4.4. Toda homografa distinta a la identidad tiene a lo sumo dos puntos
jos.
36
CAPTULO 2.
Este hecho, depende directamente de las soluciones de una ecuacin cuadrtica en los
az+b
ja si y solo si c = 0; y es
coecientes de la homografa. Una homografa
cz+d
el nico punto jo si y slo si a = d. En otro caso, podemos calcular directamente los
puntos jos. Estos son:

1/2
(a d) (a d)2 + 4bc
, =
.
2c
Denicin 2.4.5. Decimos que es un punto jo atractivo de , si para todo punto z
la sucesin de iteraciones {n (z)} converge a . Por el contrario,

n
decimos que es repulsivo si la sucesin de iteraciones { (z)} se mantiene alejada del
punto jo para todo punto de algn entorno de .
de algn entorno de
Proposicin 2.4.6.
entonces
Sea
es atractivo. Si
Traza
Denicin 2.4.7.
Para
C1
| ()| > 1,
de clase
0
en un entorno del punto jo

entonces
Si
|0 ()| < 1,
es repulsivo.
en forma estndar, denimos la traza de
como
tr() = (a + d) ,
donde la ambigedad del signo viene dado por las dos posibilidades para la forma
estndar.
Observacin 2.4.8.
(z) = z + b,
tiene a como nico punto jo si

|tr()| = 2. Si no tiene a como punto jo,
La homografa
en cuyo caso
y slo si
podemos
expresar la frmula de los puntos jos usando la traza,
1/2
(a d) [tr()2 4]
, =
2c
Esta ecuacin, junto a lo que observamos recin nos permite concluir lo siguiente.
tiene un nico punto jo en C

si y solo si |tr()| = 2.
Proposicin 2.4.9. LF T (C)
Derivadas en los puntos jos

0 (z) =
Si
est en forma estndar, entonces
ad bc
1
=
.
2
(cz + d)
(cz + d)2
Usando la expresin anterior para los puntos jos
, ,
calculamos
h

1/2 i2
0 (), 0 () = 4 tr() tr()2 4
.
De ac, se deduce que
0 () =
1
0 ()
0 () + 0 () = tr()2 2.
tenga dos puntos jos, uno de ellos , debe ser de la forma (z) = az+
b, en donde denimos 0 () = 1/a. Resumimos lo anterior en la siguiente proposicin.
En caso de que
2.4.
37
Proposicin 2.4.10.
Sea
.
LF T (C)
Son equivalentes:
|tr()| = 2
0 = 1
en un punto jo de
tiene un nico punto jo en
Clasicacin de Homografas
es parablica si tiene
Decimos que LF T (C)
,
un nico punto jo en C. Supongamos que C es el punto jo, sea LF T (C)
1
1
, ja solamente a . Por lo tanto,
. Entonces =
LF T (C)
(z) = z
(z) = z + para 6= 0. Decimos que es una conjugada normal a . As, cualquier
homografa parablica es conjugada a una traslacin.
Si
. Sea LF T (C)
que manda
no es parablica, tiene dos puntos jos , C
1
, ja a 0 y a . Por lo tanto,
a 0 y a . Entonces =
LF T (C)
(z) = z ,
para
el multiplicador
6= 1, C. Decimos
de . De aqu,
que
es una conjugada normal a
(z) = 1 ( (z)) ,
Denicin 2.4.11.
cador de
Elptica si
Hiperblica si
Loxodrmica, en otro caso.
Clasicamos as
no parablica. Sea
{Id}:
LF T (C)
Elpticas (conjugadas a rotaciones),
Hiperblicas (conjugadas a dilataciones positivas),
Loxodrmicas (conjugadas a dilataciones complejas).
1
= tr()2 2, podemos clasicar las homografas por su traza.
una homografa no loxodrmica, entonces es:
parablica
elptica
|tr()| = 2,
|tr()| < 2,
es
el multipli-
R, > 0,
Homografas parablicas (conjugadas a traslaciones),
6= 1
|| = 1,
1
.
Al ser,
Sea
0 () =
, 6= Id
LF T (C)
C
que es:
Sea
Decimos
y que
z C.
Luego,
0 () =
38
CAPTULO 2.
|tr()| > 2.
hiperblica
Nos interesa estudiar homografas que cumplan
LF T (C)
(D) D, es decir, el subgrupo de

LF T (D) al conjunto de todas las
de homografas que jan el disco. Notamos
homografas que cumplen
(D) D.
Haremos hincapi en las homografas parablicas
e hiperblicas.
,
es parablica y una conjugada normal es = 1 LF T (C)
(z) = z + . El nico punto jo de es , y es atractivo pues n (z) = z + n
si n , para todo z C. Luego, si llamamos al punto jo de , tenemos que
n (z) = 1 (n ( (z))) 1 () = , o sea es atractivo para . Si adems
suponemos que LF T (D), tenemos que || 1. Veamos esto: si z, |z| < 1 tenemos
n
n
que | (z)| < 1, para todo n N y obtenemos que (z) .
Supongamos que
es hiperblica con puntos jos , . Sea

1
, (z) =
conjugada normal de . Tenemos que =
LF T (C)
Similarmente, supongamos que
R>0 ,
,
z
una
con
() = . El punto jo atractivo de es el 0, luego

0
0
es atractivo de . Del mismo modo, D. Observemos adems que | ()| = 1/| ()|,
entonces es punto jo repulsivo.
en donde
() = 0
Cuando la homografa cumple
(D) = D,
decimos que
es un automorsmo de
D.
Recordemos que

i p z
: con R, p D .
Aut(D) = e
1 pz
Mediante un anlisis de la forma conjugada normal de una homografa hiperblica, se
prueba que si
2.4.2.
|| = || = 1,
entonces es un automorsmo del disco.
Teorema de Littlewood
Habiendo introducido los requerimientos necesarios sobre homografas para analizar

los operadores de composicin, continuamos con el estudio de la hiperciclicidad de C .
C : H 2 (D) H 2 (D), C (f ) = f con holomorfa, (D) D.
Entonces, sea
Dedicamos esta seccin a la buena denicin y continuidad de este operador. Primero

holomorfa, (0) = 0 y (D) D. Luego con automorsmos del
pz
con p D. Por ltimo probaremos que resulta continua para
disco de la forma
1pz
cualquier holomorfa que verique (D) D.
trabajaremos con
Proposicin 2.4.12 (Principio de subordinacin de Littlewood).

morfa,
(0) = 0
(D) D.
Entonces
holoC : H (D) H (D), C (f ) = f est

2
Sea
bien denido y es contractivo.
P
B : H 2 (D) H 2 (D), Bf (z) = n0 f(n + 1)z n . El opera2
2
shift en l (N), visto en H (D). Es claro que B es contractivo en
Demostracin. Denimos
dor
acta como el
2.4.
39
H 2 (D)
y valen las siguientes identidades para
f H 2 (D):
f (z) = f (0) + z.Bf (z), z D

B k f (0) = f(k), k N0 .
f (z) = a0 + a1 z + + am z m es
k := |a0 | + |a1 | + + |am | pues,
Supongamos primero que
est acotada por
un polinomio. Tenemos que
|f (z)| sup |f (z)| k

D
r < 1, y as, f H 2 (D).

2
Para ver que C es contractivo debemos estimar la norma H (D) de f . Para z D,
y, como vimos, esto implica que
M2 (f , r) k
para todo
usamos que
f ((z)) = f (0) + (z)Bf ((z)),

o equivalentemente,
C f = f (0) + M (C (Bf )) .
Como
factor
(0) = 0, todos los factores del desarrollo en serie de (z)Bf ((z)) tienen un
z en comn, por lo tanto son ortogonales al trmino f (0). De aqu, tenemos que
kC f k2 = |f (0)|2 + kM (C (Bf )) k2 |f (0)|2 + kC (Bf )k2
donde la ltima desigualdad es por que M es contractivo. Cambiando sucesivamente

f por Bf , B 2 f , . . . en esta ltima expresin obtenemos:
kC Bf k2 |Bf (0)|2 + kC B 2 f k2
kC B 2 f k2 |B 2 f (0)|2 + kC B 3 f k2
.
.
.
kC B k f k2 |B k f (0)|2 + kC B k+1 f k2 , k N.
Poniendo juntas las desigualdades anteriores, llegamos a que
kC f k
k
X
|(B n f )(0)|2 + kC B k+1 f k2 , k N.
n=0
Como
gr(f ) = m, B m+1 f = 0,
2
kC f k
m
X
n=0
Por lo tanto,
y de esta forma,
|(B f )(0)| =
m
X
|f(n)|2 =
n=0
m
X
|an |2 = kf k2 .
n=0
es contractivo en el subespacio C[z].

2
Para el caso general, sea f H (D) cualquiera. Sea
fn
la
n-esima
suma parcial del
40
CAPTULO 2.
desarrollo de Taylor de
fn f
posicin 2.2.2,
f.
Tenemos que
H 2 (D),
en
y como vimos en la Pro-
D. Luego, fn f
kfn k kf k y por lo visto recin
0 < r < 1 tenemos:

para polinomios
fn f
kfn k kfn k.
D.
Es claro que
As, para
M2 (f , r) = lm M2 (fn , r)
(hay
convergencia uniforme)
lm sup kfn k
n
lm sup kfn k
n
kf k.
Concluimos que
f H 2 (D)
kf k2 = lm M2 (f , r)2 kf k2 ,
por lo que es
contractivo.
El siguiente paso de la prueba es verlo para
Lema 2.4.13.
Sean
p D
p (z) :=
p Aut(D).
pz
1pz
Entonces
Aut(D).
Cp : H 2 (D) H 2 (D)
es
continua.
Demostracin. Si f C[z], f es holomorfa en R.D para un R > 1 jo. Luego podemos
R
1
2
expresar kf k =
|f (ei )|2 d. Notemos que p es su propia inversa. Entonces
2
mediante un cambio de variables obtenemos la cota que buscamos:
1
kf p k =
2
1
=
2
1
|f (p (e ))| d =
2
|f (eit )|2 |p0 (eit )|dt
1 |p|2
1 |p|2
|f (e )|
dt
|1 peit |2
(1 |p|)2
it
1
2

|f (e )| dt
it
1 + |p|
kf k2 .
1 |p|
f H 2 (D) cualquiera y sea fn la n-esima suma parcial del desarrollo de Taylor de f .

Igual que en la demostracin anterior, fn f uniforme sobre compactos, kfn k kf k
q
Sea
y recin vimos que
kfn p k
1+|p|
kfn k. As, para
1|p|
M2 (f p , r) = lm M2 (fn p , r)
n
lm sup kfn p k
n
s
1 + |p|
lm sup
kfn k
1 |p|
n
s
1 + |p|
kf k.
1 |p|
(hay
0<r<1
tenemos:
convergencia uniforme)
2.4.
41
Por lo tanto,
s
kf p k
1 + |p|
kf k,
1 |p|
s
kCp k
1 + |p|
.
1 |p|
Para concluir el caso general descomponemos una funcin
H(D), (D) D,
como
composicin de funciones convenientes.
Teorema 2.4.14.
H 2 (D)
H(D), (D) D.
Sea
Entonces, el operador
C : H 2 (D)
est bien denido y es acotado.
p = (0) y = p , entonces (0) = p (p) = 0. Como p p =

IdD , tenemos que = p y as C es composicin de operadores continuos y podemos
Demostracin. Sean
estimar su norma:
C (f ) = f = (f p ) = C Cp (f ),
s
kC k kC k.kCp k
2.4.3.
1 + |(0)|
.
1 |(0)|
Hiperciclicidad
Ahora si, estamos en condiciones de tratar la hiperciclicidad de estos operadores. Trabajaremos con homografas parablicas e hiperblicas, y caracterizaremos cundo resultan
hipercclicos los respectivos operadores de composicin.
Proposicin 2.4.15.
tiene puntos jos en
Sea
H(D).
es hipercclico en
H 2 (D),
entonces
no
D.
Demostracin. Vimos que al ser
Si
hipercclico,
p (C ) = .
Supongamos que
() =
Entonces,
hf, C (k )iH 2 = hf , k iH 2 = f (()) = f () = hf, k iH 2 .

Esto dice que
es autovector de
de autovalor 1, lo que es absurdo.
Por lo tanto, nos reducimos a funciones
homogrcas sin puntos jos en
hecho previamente, tenemos las siguientes opciones
Homografas Parablicas
con un nico punto jo atractivo
T,
D.
Por lo
42
CAPTULO 2.
Homografas Hiperblicas
repulsivo
con un punto jo atractivo
D.
C
y otro punto jo
Probamos ahora un lema de utilidad para los resultados que queremos mostrar.
Lema 2.4.16.
P
es denso en
C D.
H (D).
Sea
2
Demostracin. Sea f (z)

z p P y tenemos que
Consideramos
n0
P = {P C[z] : P () = 0}.
f(n)z n H 2 (D)
ortogonal a
0 = hf, z p+1 z p iH 2 = f(p + 1) f(p),

f(p + 1) = f(p), para
f (p) = 0 para todo p N0 .
De ac,
que
Teorema 2.4.17.
Entonces
es
p N0 ,
todo
pero como
Aut(D) parablico
2
hipercclico en H (D).
Sea
P .
Entonces
Elegimos
z p+1
p N0 .
|| 1
f H 2 (D),
se tiene
o hiperblico sin puntos jos en
D.
, los puntos jos de . Tenemos que

. Aplicamos el criterio de hiperciclicidad
1
con los conjuntos densos D1 = P , D2 = P y el operador S = C = C1 . Debemos
n
n
ver entonces que C 0 en D1 . Sea z T {}, entonces (z) y si f D1 ,
n
f ( (z)) 0. Luego
Demostracin. Veamos el caso hiperblico: sean

1
porque es el punto jo atractivo de
kCn f k2
1
= kf k =
2
n 2
|f (n (ei ))|2 d,
que tiende a 0, por el Teorema de Convergencia Mayorada de Lebesgue. Anlogamente,

n
para C1 0 en D2 .
El caso parablico es ms sencillo. Tomamos D1 = D2 = P y S = C1 . Como es
1
parablico,
tambin y el resultado se sigue.
Teorema 2.4.18.
D.
Entonces
es
LF T (D) hiperblico
2
hipercclico en H (D).
Sea
no automorsmo sin puntos jos en
son los puntos jos de
Sabemos que
es
CD repulsivo. El hecho que no sea un automorsmo, necesariamente

|| > 1. Supongamos primero que el punto jo repulsivo se encuentra en
la lnea que une al origen con , pero del lado antipodal a . Sea el disco cuyo borde
es perpendicular a esta lnea y contiene a y a , como se ve en el siguiente grco.
atractivo y
implica que
2.4.
43
Como
es una homografa, manda el borde de
en una circunferencia o recta del
plano complejo. Esta circunferencia o recta, contiene a

ngulos, la nica posibilidad es que sea
que
() = ,
porque
(D) D.
y a
y como
preserva
Con un argumento de conexin tenemos
Aut().
construir Aut(D)
Entonces,
no est en el lugar deseado, podemos

que ja a y manda
al lugar que queremos. Veamos, tomando una rotacin adecuada podemos suponer
1+z
. Se cumplen las siguientes propiedades (D) =
que = 1. Consideramos (z) =
1z
{z : Re(z) > 0}, (1) = , Re(()) < 0. Aplicamos despus la homografa
Si
a
(z) =
z Im(())i
;
2Re(())
() = , (()) = 1/2 y Aut({z : Re(z) > 0}). Luego, tomamos la homo1

grafa =
, Aut(D), (1) = 1 y () = 3.
Suponiendo que tiene sus puntos jos donde queremos, Aut(). Denimos en
P
2
forma anloga H () = {f H() :
|f (n)|2 < }. Restringindonos a D, vemos
2
2
que H () |D H (D) es denso porque contiene a C[z], y este nuevo espacio tiene una
2
2
topologa ms fuerte. Si fn f en H (), entonces fn f en H (D) (los coecientes del desarrollo de Taylor son los mismos en ambos espacios). Como Aut(),
2
por el teorema anterior, C es hipercclico en H (). Aplicamos ahora el Criterio de
comparacin 1.3.11:
H 2 ()
|D
H 2 (D)
Resulta as,
es hipercclico en
H 2 ()

|D
/ H 2 (D)
H 2 (D).
Nos queda entonces determinar qu sucede cuando tenemos una homografa parablica
no automorsmo. Antes de dar la respuesta, veamos un poco ms sobre homografas
parablicas.
Observacin 2.4.19.
Sea
LF T (D)
parablica sin puntos jos en
cidad supongamos que el punto jo atractivo es 1. Conjugando
D.
Por simpli-
por la homografa
44
CAPTULO 2.
1+z
, obtenemos
(z) = 1z
Re(z) > 0}. As
otra homografa
que ja a
({z : Re(z) > 0}) {z :
(z) = z + a,
es el nico punto jo atractivo de , en realidad tenemos que = 1, y que
Re(a) 0 pues manda el semiplano derecho en s mismo. Mediante este anlisis,
como
obtenemos las frmulas:
(z) = z + a,
(z) = 1 +
con
Re(a) 0,
2(z 1)
.
2 a(z 1)
0 (1) = 1 (que ya sabamos, porque es parablica)

Si adems suponemos que no es un automorsmo del disco, debe ser
automorsmo del semiplano derecho, luego Re(a) > 0.
Derivando obtenemos
Teorema 2.4.20.
Si
LF T (D)
00 (1) = a.
que no es
parablico no automorsmo, entonces
no es
hipercclico.
Demostracin. El objetivo de la prueba es ver que el operador
no posee rbitas
densas. Veremos algo mucho ms fuerte, solamente las funciones constantes pueden ser
puntos lmites de las rbitas de
C .
Para esto, dividimos la prueba en pasos.
Paso 1. Por lo observado previamente, tenemos que (z) = z + a, con Re(a) > 0 es
. Luego, tenemos que las iteraciones de son conjugadas a las iteraciones
n (z) = z + na, tenemos que n se obtiene reemplazando a por na en la
, entonces
2(z 1)
n (z) = 1 +
.
2 na(z 1)
conjugada a
de
Como,
frmula de
Para la demostracin debemos estimar cuan rpido se juntan las rbitas de

de
de puntos
entre s y al punto jo atractivo 1. Para esto calculamos
4z
,
(2 + a)(2 + a az)
(z) (0) =
lm n[1 n (z)] = lm n
2(z 1)
2
= ,
2 na(z 1)
a
lm n2 [n (z) n (0)] = lm n2
4z
4z
= 2
.
(2 + na)(2 + na naz)
a (1 z)
Paso 2. Lo que sigue es una estimacin similar a la hecha en la Proposicin 2.2.1, pero
para las derivadas de una funcin
f H 2 (D).
Sea
z D,
2.4.
45
2

X

n1
0
2
nf (n)z
|f (z)| =

n=1
!
|f(n)|2
n=1
!
n2 |z|2(n1)
n=1
X
(n + 1)n|z|2(n1)
kf k
n=1
= kf k2
2
,
(1 |z|2 )3
= |f 0 (z)|
2kf k
.
(1 |z|2 )3/2
Para llegar a la estimacin que queremos, acotamos

el segmento que une
con
w.
Suponemos
|f (z) f (w)|
integrando
f0
sobre
|z| |w|,
|f 0 ()||d|
|f (z) f (w)|
z
2kf k
z
entonces, para cualquier par de puntos
|f (z) f (w)|
2kf k
1
|d|
(1 ||2 )3/2
|w z|
(1 |w|2 )3/2
z, w D,
2kf k
|w z|
.
(mn{1 |w|, 1 |z|})3/2
Paso 3. Ahora debemos estudiar la geometra de las rbitas de . La representacin

en el semiplano derecho de
El hecho de que
Re(a) > 0
n
n
entonces la de es (z) = z + na.
n
implica que los puntos (w) tienden a sobre una recta
es
(z) = z + a,
en el semiplano derecho que no es paralela al eje imaginario. Al volver al disco, esto

n
fuerza a las rbitas { (z)} a aproximarse al punto jo atractivo no tangencialmente
a 1 en
D.
O sea, existe
>0
tal que
3
+ < ang(1 n (z)) <
.
2
2
Es decir, los puntos de la sucesin
vemos en la siguiente gura.
{n (z)}
quedan dentro de una regin angular como
46
CAPTULO 2.
Sea ahora
positiva
c,
z D,
la convergencia no tangencial de las rbitas nos da una constante
tal que para todo
n N,
1 |n (z)| c|1 n (z)|
1 |n (0)| c|1 n (0)|.
Paso 4. Finalmente, juntando todos los resultados anteriores, llegamos a que

|f (n (z)) f (n (0))| K
|n (z) n (0)|
(mn {1 |n (z)|, 1 |n (0)|})3/2
n2
n3/2
K
= 0,
n n
K cambia en cada paso, depende de f , z y , pero no de n.
H (D) punto lmite de Orb(f, C ). Existe una subsucesin (nk ) %
g en H 2 (D). Entonces, como tenemos convergencia puntual en z ,
en donde la constante
2
Ahora s, sea g
n
tal que f k
g(z) g(0) = lm [f (nk (z)) f (nk (0))] = 0

k
por lo tanto,
es constante.
Por ltimo veamos una aplicacin del Criterio de comparacin 1.3.11.
Proposicin 2.4.21.
Sea
operador de composicin
Aut(D)
Demostracin. Sabemos que
holomorfa sin puntos jos en
actuando en
H(D)
C L(H 2 (D))
D.
Entonces el
es hipercclico.
es hipercclico,
H 2 (D) , H(D)
es con-
tinua de rango denso (los polinomios son densos en ambos espacios) y convergencia
2.4.
en
47
H 2 (D)
implica convergencia uniforme sobre compactos. Adems, es claro que el
siguiente diagrama
H 2 (D)
H(D)
H 2 (D)
/
H(D)
conmuta. Luego, por el Criterio de comparacin 1.3.11,
2.4.4.
Un ejemplo en
es hipercclico en
H(D)
Lp [0, 1]
Existen restricciones sobre el espacio
que debemos tener en cuenta para asegurar la
existencia de operadores hipercclicos. Es evidente que debemos trabajar en espacios

vectoriales separables, y mostramos que deben ser de dimensin innita. En 1969, S.
Rolewicz pregunt si esta es la nica restriccin que se debe tener en cuenta para
espacios de Banach, es decir, si todo espacio de Banach separable de dimensin innita
admite un operador hipercclico. Este problema fue resuelto, en forma independiente, en
el ao 1997 por S. Ansari y L. Bernal. S. Ansari mostr que una clase mucho mayor de
espacios siempre admiten operadores hipercclicos. En particular, espacios de Frchet
bajo cierta condicin admiten operadores hipercclicos. Un ao despus, J. Bonet y A.
Peris [10] demostraron que en todo espacio de Frchet hay operadores hipercclicos.
Teorema 2.4.22.
Todo espacio de Frchet separable de dimensin innita, admite un
operador hipercclico.
Por otro lado este resultado no se mantiene para espacios completos localmente convexos. Existen ejemplos de espacios separables localmente convexos que no admiten
operadores hipercclicos. Veremos un ejemplo en espacios no localmente convexos que
p
s admiten operadores hipercclicos. Consideramos los espacios L [0, 1], con 0 < p < 1.

L [0, 1] = f
p
Z
medible, tales que
Np (f ) :=

|f | dx < .
p
[0,1]
Tenemos que
Np (f )1/p
no cumple la desigualdad triangular, por lo tanto no da una
norma para el espacio; pero s se cumple
Np (f + g) Np (f ) + Np (g),
deniendo as una mtrica
d(f, g) = Np (f g), que lo hace completo, por lo tanto es un
F-espacio. No son espacios de Frchet, todo abierto convexo que contiene a la funcin
nula, es no acotado para la quasi-norma
Np ,
luego el vector 0 no posee una base de
entornos convexos.
S. Ansari plantea si estos espacios admiten operadores hipercclicos [1]. En efecto, los
admiten y podemos dar un ejemplo de un operador de composicin hipercclico en
Lp [0, 1]. Consideramos la funcin : [0, 1] [0, 1] denida por
(t) =
t
2
si
t 1/2
3t1
2
si
t 1/2
48
CAPTULO 2.
C : Lp Lp , C = f el operador de composicin correspondiente. Es claro

que C es continuo e inversible. Veamos que satisface el criterio de hiperciclicidad con
respecto a la sucesin {nk }kN , nk = 2k y a los conjuntos densos
Sea
D1 = D2 = {f
continua tal que,
f (0) = f (1) = 0}.
C2n (f ) 0
para f C[0, 1], f (0) = f (1) = 0. Para ello, debemos

n
estudiar el comportamiento de las funciones = . Mediante un rpido anlisis
n
vemos que cada composicin , es una funcin lineal a trozos. Es decir, para cada
Debemos ver que
{0 < a1 < a2 < < an < 1}, en n + 1 intervalos

n
intervalos, es una recta y se cumple lo siguiente:
tenemos una particin
En cada uno de estos
En
[0, a1 ], n (1/2)n+1 ,
En
[a1 , a2 ], n (1/2)n ,
En
[a2 , a3 ], n (1/2)n1 ,
del
[0, 1].
.
.
.
Con
En
[an1 , an ], n (1/2)2 ,
En
[an , 1], n 1.
an = 1 12 ( 23 )n1
las primeras 3
n 1. Mostramos
composiciones de .
para
en las siguientes guras, los grcos de
> 0, sean M > 0 tal que |f (t)| M en [0, 1], > 0 tal que |f (t)| < (/2)1/p
[0, ] y n N tal que (1/2)n+2 < y (2/3)n1 < /M p . Tenemos entonces que
Dado
En
[0, a1 ], 2n (1/2)2n+1 ,
En
[a1 , a2 ], 2n (1/2)2n ,
En
[a2 , a3 ], 2n (1/2)2n1 ,
.
.
.
En
[an1 , an ], 2n (1/2)n+2 ,
en
2.5.
49
OPERADORES SHIFT
.
.
.
En
[a2n2 , a2n1 ], 2n (1/2)3 ,
En
[a2n1 , a2n ], 2n (1/2)2 ,
En
[a2n , 1], 2n 1.
y as,
d(C2n (f ), 0)
|f (2n (t))|p dt
=
[0,1]
2n
|f ( (t))| dt +
|f (2n (t))|p dt
[0,a ]
[a ,1]
| n
{z
} | n
{z
}
(1)
En (1): tenemos que
t [0, an ],
entonces
(2)
2n (t) (1/2)n+2 < .
Luego,
|f (2n (t))|p dt sup |f (2n (t))|p .an /2.

[0,an ]
[0,an ]
En (2): tenemos que
|f (2n (t))|p dt M p .(1 an ) = M p (1/2)(2/3)n1 < /2.
[an ,1]
Anlogamente, usando que
f (1) = 0
probamos que
C2n1 (f ) 0
para
f C[0, 1].
Nota: De aqu, podemos destacar dos problemas que an se mantienen sin solucin.
1. Caracterizar los espacios vectoriales topolgicos que admiten operadores hipercclicos.
2. Determinar si en todo F-espacio separable de dimensin innita hay operadores
hipercclicos.
2.5. Operadores Shift

En esta seccin continuamos el estudio de los operadores shift. En el captulo anterior
vimos que si
es el shift unilateral a izquierda
, || > 1.
` (Z). Vamos

2
Estudiamos ahora operadores shift bilaterales con pesos en el espacio
a determinar cuando resultan hipercclicos en trminos de la sucesin de pesos. Los

2
resultados que veremos se deben a N. Salas [30]. En concreto, denimos B : ` (Z)
`2 (Z), B (en ) = wn en1 , en donde (en )nZ es la base cannica de `2 (Z) y = (wn )nZ
es una sucesin acotada de nmeros reales positivos, que llamaremos sucesin de pesos.
50
CAPTULO 2.
Es claro que
kBw k kwk .
En vez de trabajar con shifts con pesos en espacios sin
pesos, trabajaremos con el shift bilateral a izquierda sin pesos en un nuevo espacio
`2 (Z, ). Para cada sucesin de pesos = (wn )nZ , consideramos una nueva sucesin
= (n )nZ
de nmeros positivos denida por
diferencia entre
w).
0 = 1
n /n+1 = wn+1
(notar la
As introducimos el espacio
(
`2 (Z, ) :=
x CN ,
tal que
kxk2 :=
n2 x2n <
nZ
B : `2 (Z, ) `2 (Z, ). Tenemos que

B y Bw son unitariamente equivalentes mediante el operador U : `2 (Z) `2 (Z, ),
U (xn ) = (xn /n ). Es claro que U es unitario y que U Bw = B U . Luego, por el
Criterio de comparacin 1.3.11, la hiperciclicidad de Bw es equivalente a la de B .
y trabajaremos con el shift bilateral sin pesos
Teorema 2.5.1.
Sea
w = (n)nZ una sucesin de nmeros positivos tales que

sup
n
y sea
n
< ,
n+1
el shift bilateral sin pesos actuando en
`2 (Z, ).
Entonces
es hipercclico si
y slo si
q N : lm inf n+q = 0.
n+
Nota: Lo que queremos expresar en la tesis del teorema cuando escribimos

lm inf n+q = 0,
n+
es que para cada
qN
existe una sucesin creciente
(nk ) N
que cumple simultnea-
mente:
nk +q 0
nk +q 0
Demostracin. Supongamos primero que
es hipercclico. Fijemos
q N.
Tomamos
(0, 1) y consideramos la bola B(eq , ). Por la transitividad de B , podemos asegurar

2
que existe n > 2q y x ` (Z, ), tal que
kx eq k <
Mirando la
q -sima
y la
(n + q)-sima
kB n (x) eq k < .
coordenada de
|q (xq 1)| <

Mirando la
q -sima
y la
(n + q)-sima
kx eq k,
|n+q xn+q | < .
coordenada de
|q (xn+q 1)| <
obtenemos que
kB n (x) eq k,
|n+q xq | < .
obtenemos que
2.5.
51
OPERADORES SHIFT
Con esto tenemos que, para
< q ,
n+q |n+q xn+q | + |n+q (1 xn+q )| < + n+q .

<
= n+q . 1
q
= n+q <
q
.
q
Tambin,
n+q |n+q xq | + |n+q (1 xq )| < + n+q
= n+q . 1
q
= n+q <

<
q
.
q
Usando esta cota repetidas veces obtenemos la sucesin que buscamos. Tomamos
q
0, tal que q1
< 1/2, encontramos n1 N tal que
1
1 >
1
n1 +q < .
2
Para hallar
n2 ,
tomamos
2 > 0,
tal que
2 q
q 2
< 1/4,
encontramos
n2 n1
tal que
1
n2 +q < .
4
Repitiendo el procedimiento, obtenemos el resultado.
q N : lm inf n+q = 0.
n+
B satisface el criterio de hiperciclicidad. Sea C una constante positiva

C > max{1, supn (n /n+1 )}. Construimos una sucesin creciente (nk ) N, tal
y veamos que
tal que
que
nk +k C 3k
Para
n1 ,
tomamos
C 3 > 0
nk +k C 3k .
y podemos encontrar
n1 +1 C 3
n1
tal que
n1 +1 C 3 .
52
Para
CAPTULO 2.
n2 ,
C 6 > 0
tomamos
y podemos encontrar
n2 +2 C 6
n2 > n1
tal que
n2 +2 C 6 ,
y as sucesivamente.
Luego,
jamos
nk +i 0 y nk +i 0
i y k |i| tenemos,
cuando
para todo
i Z.
De hecho, si
nk +i C ki nk +k C 2ki C k
nk +i C ki nk +k C 2ki C k .
(nk ). Tomemos los conjuntos densos D1 = D2 = c00 (Z) = hei : i Zigen y sea S el shift a derecha S(ei ) = ei+1 .
n
n
Como BS = Id en D2 , debemos probar que B k (ei ) y S k (ei ) ambos tienden a 0 para
todo i Z (y luego concluimos usando linealidad), pero esto es claro pues
Entonces veamos que se satisface el criterio para la sucesin
kB nk (ei )k = nk +i
Volviendo a
`2 (Z)
kS nk (ei )k = nk +i .
y shifts con pesos, podemos dar la versin anloga del teorema
anterior.
Teorema 2.5.2.
de pesos
Sea
Bw
el shift bilateral a izquierda actuando en
`2 (Z),
con sucesin
w = (wn)nZ. Entonces Bw es hipercclico si y slo si, para todo q N,

lm inf max{(w1 wn+q )1 , (w0 wn+q+1 )} = 0
n+
Demostracin. Simplemente observar que la sucesin asociada
n+q = (w1 wn+q )1
(n )
cumple
n+q = (w0 wn+q+1 ).
Ahora damos la versin del teorema anterior para shifts unilaterales. Consideramos
2
en ` (N) el operador B , denido por B (e0 ) = 0 y B (en ) = wn en1 para n 1,
2
en donde (en )nN0 es la base cannica de ` (N) y
= (wn )n es una sucesin aco-
tada de nmeros positivos. Se pueden dar versiones similares a las que vimos en las
demostraciones pasadas. Pero esta vez daremos una prueba basndonos en que ya tenemos el resultado para shifts bilaterales. Procedemos mostrando que al comprimir
un operador hipercclico en un espacio de Hilbert, se mantiene la hiperciclicidad.
Denicin 2.5.3.
T a
sobre .
compresin de
ortogonal
H = `2 (Z), T L(H) y H un subespacio, denimos la

como el operador P T P restringido a , donde P es la proyeccin
Sean
Proposicin 2.5.4.
2
un operador hipercclico en ` (Z). Supongamos que es
un subespacio invariante para T . Entonces la compresin de T a es hipercclico en
Sea
2.5.
53
OPERADORES SHIFT
P la proyeccin ortogonal sobre y P T P la compresin de T a

. Notamos P := I P la proyeccin ortogonal sobre . Como es subespacio
invariante de T , es subespacio invariante de T . En otras palabras, P T P

= 0. Lo
que es equivalente a decir que P T = P T P . Armamos que
Demostracin. Sea
T = (P T P ) +
n
X
(P T )k (P T )nk P + (P T P )n .
(2.4)
k=1
Si
n = 1,
tenemos
P T P + (P T )P + P T P = P T P + (T P T )P + (T P T )(I P )
= P T P + T P P T P + T P T T P + P T P = T.
Supongamos que es cierto para
y probemos la ecuacin (2.4) para
n + 1.
Queremos
ver que:
T n+1 = (P T P )n+1 +
n+1
X
(P T )k (P T )n+1k P + (P T P )n+1 .
k=1
Veremos que
n+1
(P T P )
"
(P T P )n +
n+1
X
(P T )k (P T )n+1k P + (P T P )n+1
k=1
n
X
(P T )k (P T )nk P + (P T P )n T = 0
k=1
Hacemos las siguientes asociaciones:
"
n
n
X
X
k
n+1k
n+1
n
(P T ) (P T )
P
(P T )k (P T )nk P
(P T P )
(P T P ) T +
{z
}
|
(1)
| k=1
{z k=1
(2)
! #
T
}

+ (P T P )n+1 + (P T )n+1 P (P T P )n T
|
{z
}
(3)
en las que cada uno de los tres trminos es cero.

Para (1):
(P T P )n T = (P T P )n1 (P T )(P T ) = (P T P )n+1 .

Para (2):
"
n
X
(P T )k (P T )n+1k P
k=1
n
X
(P T )k (P T )nk P
! #
T =
k=1
n
X
k

(P T ) (P T )nk (P T P P T ) = 0.
k=1
54
CAPTULO 2.
Para (3):
(P T P )n T (P T )n+1 P (P T P )n+1 = (P T P )n [T T P ] (P T )n+1 P

= (P T P )n T P (P T )n+1 P = [(P T P )n (P T )n P ]T P = 0.
De la ecuacin (2.4), se deduce que para
xH
!
n
X
T n x z = ((P T P )n x z) +
(P T )k (P T )nk P x + (P T P )n x
{z
}
|
{z
}
| k=1
Luego,
k(P T P )n x zk kT n x zk.
De esta forma, si elegimos
PTP
en
tenemos que
Px
Teorema 2.5.5.
Bw
x HC(T ),
Bw
Sea
el shift unilateral a izquierda actuando en
es hipercclico si y slo si
`2 (N).
Entonces,
supn (w1 wn ) = .
supn (w1 wn ) = . Como vimos en la Subseccin

|| > 1, podemos aplicar el criterio de hiperciclicidad de
2
2
manera similar. Recprocamente, tomamos Bw L(` (N)) como la compresin a ` (N)
2
de un shift bilateral en ` (Z) cuyos pesos correspondientes a trminos negativos son

1.4.2, cuando
wn =
con
1/2. Aplicando el Teorema 2.5.2 y la proposicin anterior tenemos el resultado.
Observacin 2.5.6.
Un shift unilateral a derecha nunca puede ser hipercclico. De

(N)), B (en ) = an en+1 . Si x `2 (N), la proyeccin ortogonal de
Bw L(`
w
Orb(x, Bw ) sobre el subespacio
hecho, sea
generado por
{ek : k < n}
tiene a lo sumo
vectores.
2.6. La funcin Zeta de Riemann

Hasta ahora, en todos los ejemplos que estudiamos, obtuvimos que muchos operadores
son hipercclicos haciendo uso del criterio de hiperciclicidad. Sin embargo, poca informacin tenemos de los respectivos vectores hipercclicos, ms all de su existencia.
De hecho, la mayora de las veces probamos que existen mediante un argumento que
involucra el Teorema de la Categora de Baire. Sorprende el hecho de que existan tales
vectores, pero nunca hemos exhibido uno concreto. A pesar de todo, s existe un caso
que podemos destacar.
La funcin Zeta de Riemann se dene en el semiplano complejo
la frmula
(s) :=
{Re(s) > 1}
mediante
X 1
,
ns
n1
y luego se extiende a una funcin meromorfa en
con un polo simple en
franja crtica es
= {s C : 1/2 < Re(s) < 1}.
s = 1.
La
2.6.
55
LA FUNCIN ZETA DE RIEMANN
Notamos
H () = {f H(); f
no tiene ceros en
}.
no tiene ceros en la franja crtica . Es decir,

H (). Es uno de los problemas abiertos ms
La Hiptesis de Riemann arma que

la Hiptesis de Riemann dice que
importantes y tiene conexin con varias ramas de matemtica. Hasta el momento, todos
los ceros no triviales que se conocen de la funcin
tienen parte real 1/2 y los llamados
ceros triviales son los reales pares negativos.

La franja crtica es invariante por traslaciones puramente imaginarias, tenemos entonces
bien denido el semigrupo
actuando en el espacio
de traslacin
(Tt )t0
(bajo la composicin de operadores),
H()
Tt f (s) = f (s + ti).
El Teorema de Voronin [32] arma que cualquier funcin de
H () se puede aproximar
por traslaciones puramente imaginarias de la funcin Zeta de Riemann.
Teorema 2.6.1 (Teorema de Voronin).
K ,
podemos encontrar nmeros reales
f H (), > 0
positivos t tales que
Dados
|(s + it) f (s)| < ,
para todo
y un compacto
s K.
As, si la Hiptesis de Riemann es cierta entonces la funcin Zeta de Riemann es un

vector hipercclico del semigrupo de traslacin
H () H().
1 Un
(Tt ) actuando en el subespacio invariante
semigrupo es un grupo en el cul sus elementos no tienen inverso, i.e, un conjunto con una
operacin asociativa con elemento neutro.
56
CAPTULO 2.
Captulo 3
Criterio de Hiperciclicidad
En este captulo estudiamos operaciones que mantienen la hiperciclicidad de un operador. Ya obtuvimos ejemplos que muestran que esta propiedad no se mantiene bajo
composiciones y que el conjunto de operadores hipercclicos no es cerrado. Notemos que
tampoco se mantiene por sumas, si tomamos
con
un operador hipercclico,
ambos resultan hipercclicos mientras que la suma no lo es. Recientemente, S. Grivaux

mostr que todo operador en un espacio de Hilbert complejo y separable se escribe
como suma de dos hipercclicos. Puntualmente trataremos los siguientes problemas: si
es hipercclico, es cierto que
Tn
lo es?
lo es, con
T T
|| = 1?
lo es?
El ltimo de los tres, tiene grandes conexiones con la teora desarrollada y volveremos
sobre este problema en el captulo siguiente.
3.1. Primeros Resultados

Vimos que si
ces el conjunto
es un operador hipercclico en un espacio vectorial topolgico
HC(T )
de todos los vectores hipercclicos de
alcanza para probar que si un operador
T L(X)
X , enton-
es conexo. Este hecho

n
es hipercclico, entonces T es hi-
percclico, con los mismos vectores hipercclicos. Este resultado se debe a S. I. Ansari
[2].
Teorema 3.1.1 (Ansari).
Sea
x X es un vector hipercclico
T n para todo n N.
un espacio vectorial topolgico sobre
para
T L(X),
entonces
C.
Si
Demostracin. Antes de dar la prueba general veamos el caso

57
K=R
n = 2.
Sea
x HC(T ).
58
CAPTULO 3.
Dado
abierto no vaco, queremos encontrar
CRITERIO DE HIPERCICLICIDAD
qN
tal que
T 2q (x) U .
Denamos
F0 :=HC(T ) {T 2n (x) : n 0},

F1 :=HC(T ) {T 2n+1 (x) : n 0}.
x HC(T ), es fcil ver que F0 F1 = HC(T ). Estos conjuntos son cerrados
HC(T ) y no vacos pues x F0 y T (x) F1 . Por la conexin de HC(T ), existe
z F0 F1 . Como z HC(T ), existe m N tal que T m (z) U . En otras palabras,
T m (U ) es un entorno abierto de z .
Usando que
en
Si
m es par, usamos que z F0 para encontrar el q que buscamos. Tenemos que

z {T 2n (x) : n 0}, entonces existe n N tal que T 2n (x) T m (U ) y tomamos
q = n + m/2.
Si en cambio,
nN
m es impar, procediendo de forma similar usando que z F1 , existe

2n+1
que T
(x) T m (U ), y tomamos q = n + (m + 1)/2.
tal
V := K[T ]x = {p(T )x : p K[t]}, V es variedad hiT -invariante. Sea A := T |V . Todo vector no nulo de V es
hipercclico para T , entonces Orb(y, A) es denso en V para todo y V , o sea, todo elen
n
2n
mento de V es hipercclico para A. Sea n N y S = Orb(x, A ) = {x, A x, A x, . . . },
V
V
= V , en donde (.) denota la clausura en V . Una vez visto esto,
veremos que S
podemos deducir que S es denso en X . En efecto, tomamos U X abierto no vaco,
V
entonces V U V es abierto en V y no vaco. Luego, si S = V , se tiene que existe
s (U V ) S , y as U S 6= .
Para el caso general, notamos
percclica densa, conexa y
Denimos los conjuntos
Sk =
Ai1 S Aik S ,
para
1 k n.
0i1 <<ik n1
Es claro que
Sk
es cerrado en
S1 =
Ai S =
0in1
Sn Sn1 S1 .
V
Ai S =
0in1
2.
0 Sn ,
3.
Sn = V .
es
{Ai x, Ai+n x, . . . } = {Ak x : k N0 } = Orb(x, A) = V
Armamos que:
Sk
Ai (Orb(x, An ))
0in1
0in1
1.
Adems,
A-invariante
para todo
1 k n,
3.1.
59
PRIMEROS RESULTADOS
De aqu, podremos concluir el resultado, pues
Sn = S AS An1 S = V = V S .
Para 1.
0 i1 < < ik n 1, existe 0 j1 < < jk n 1 tal que

V
V
V
V
V
V
Ai1 +1 S Aik +1 S = Aj1 S Ajk S Sk ,
A Ai1 S Aik S
Para cualquier
si
ik < n 1,
entonces tomamos
jr = ir + 1
para
r k,
si
ik = n 1,
entonces tomamos
jr = ir + 1
para
r < k , jk = 0,
pues
An S = {An x, A2n x, . . . } = S {x}

Luego,
A(Sk ) Sk .
Para 2.
S1 = S AS An1 S = V y Sn = S AS An1 S .
V
Como 0 S1 , existe i tal que 0 Ai S . Aplicando, A repetidas veces y recordando que
V
V
V
V
V
A(Aj (S) ) Aj+1 S y An S S obtenemos que 0 Aj S para todo 0 j n1.
Notemos que
Para 3.
S1 = V y 0 Sn Sk para todo k n. Supongamos que Sk = V para

algn k, 1 k < n. Veremos que Sk+1 = V .
Si por el contrario suponemos Sk+1 6= V . Si existe x Sk+1 , x 6= 0, al ser A-invariante,
Ax Sk+1 . Entonces, Aj x Sk+1 para todo j N, y as Orb(x, A) Sk+1 . Pero,
Sabemos que
V = Orb(x, A) Sk+1 = Sk+1 ,

Sk+1 6= V . Por lo tanto, Sk+1 6= V
{i1 , . . . , ik } =
6 {j1 , . . . , jk }, entonces
lo que contradice
Notemos que si
Ai1 S
Aik S
hay al menos
{z
(k + 1)
Aj1 S
implica
Sk+1 = {0}.
Ajk S
trminos distintos
Sk+1
Por lo tanto,
h
Ai1 S Aik S
i h

i
V
V
{0} Aj1 S Ajk S {0} Sk+1 {0} = .
Se tiene entonces que,
V {0} = Sk {0} =
h
A i1 S A ik S
{z
0i1 <<ik n1 |
cerrados en
V {0},
{0}
disjuntos
i
}
60
CAPTULO 3.
V {0} = Sk {0} es conexo, uno de los conjuntos de la unin es V {0}

dems son vaco. Sea {l1 < < lk } esta k -upla. Tenemos que

V
V
V {0} si {i1 , . . . , ik } = {li , . . . , lk }
i
i
A 1 S A k S {0} =
si {i1 , . . . , ik } =
6 {li , . . . , lk }
Como
los
Tenemos que

A(V {0})

V
V
i
i
A A 1 S A k S {0} =
{i1 , . . . , ik } = {li , . . . , lk }
{i1 , . . . , ik } =
6 {li , . . . , lk }
si
si
Pero,

Al1 S Alk S

V
V
{0} Ai1 S Aik S
{0}.
Por lo tanto,
A(V {0}) {0},

lo que es una contradiccin, pues
A(V {0})
es denso en
V.
En el teorema anterior se puede identicar una conexin con la teora de grupos. Ten
nemos la familia de operadores generada por T , es decir, G = {T
: n N0 }. Esta
familia, es un semigrupo abeliano bajo la composicin. Si
es hipercclico, sta es una
familia hipercclica o universal. En este contexto, el teorema de Ansari arma que todo
subsemigrupo no trivial de
es hipercclico. Aqu, se trata de determinar subsemi-
grupos de una familia hipercclica que mantienen la hiperciclicidad. En algn sentido,

estamos tratando de achicar las rbitas mantenindolas densas. Otra instancia del
mismo fenmeno, es el siguiente resultado que se debe a F. Len-Saavedra y V. Muller
[24].
Teorema 3.1.2.
un espacio vectorial topolgico sobre
C.
Sea
T0
un semigrupo
el semigrupo de L(X) formado por todas las rotaciones complejas de

T0 , i.e, T = {S : (S, ) T0 T}. Supongamos que existe T L(X)
tal que T S = ST para todo S T0 y T tiene rango denso para todo C.
Entonces, si el semigrupo T es hipercclico, tambin lo es T0 , con los mismos vectores
de
L(X)
Sea
operadores de
hipercclicos.
Un caso particular de este resultado, se obtiene tomando
n
operador dado T L(X). Si el semigrupo T := {T : n
entonces
T0 = {T n : n N0 } para un
N, T} es hipercclico,
es hipercclico. Podemos entonces destacar un corolario que se deduce de
aqu.
Corolario 3.1.3.
T
Si
T L(X)
es hipercclico. Entonces para todo
T,
el operador
es hipercclico, con los mismos vectores hipercclicos.
Demostracin. Fijamos
T0 = {(T )n : n N0 }.
y aplicamos el teorema de Len-Saaverda y Muller con
El semigrupo asociado
es
T = {T n : n N, T}.
Es claro que se verican las hiptesis del Teorema 3.1.2. El semigrupo
contiene a
T y por lo tanto es hipercclico. El operador T conmuta con T0 y, por el Lema 1.3.17,

T tiene rango denso, para todo C. Luego, concluimos que T0 es hipercclico y,
por lo tanto tambin lo es T .
3.2.
61
EL PROBLEMA DEL CRITERIO DE HIPERCICLICIDAD
3.2. El problema del Criterio de Hiperciclicidad

Siguiendo en una direccin similar, es natural preguntarse si
ciclicidad de
T T
mantiene la hiper-
T . Esta pregunta, que puede parecer inocente, es mucho ms profunda de
lo que parece. Dio lugar a muchos trabajos, como por ejemplo [4], [6], [14] o [18]. Tiene
grandes conexiones con el Criterio de Hiperciclicidad que, como veremos, dejar de ser
simplemente una herramienta til para testear hiperciclicidad.
T T : X X X X denido por T T (x, y) = (T x, T y). Cuando

identicamos T T con el operador T T L(X X).
Consideramos
es lineal,
Denicin 3.2.1.
Sea
un espacio vectorial topolgico. Una funcin continua
X X se dice (topolgicamente)
X X.
mixing dbil si
T T
T :
es topolgicamente transitivo
en
Notemos que si
es un espacio de Baire separable sin puntos aislados, el Teorema de
Birkho 1.3.2 nos permite cambiar topolgicamente transitivo por hipercclico en

la denicin anterior. As, un operador
y slo si
T T
Ti
es
T = T1 T2 un operador
hipercclico en Xi , (i = 1, 2).
Sea
Demostracin. Consideramos para
i : X Xi .
en un F-espacio separable es mixing dbil si
es hipercclico.
Proposicin 3.2.2.
Entonces
Tenemos que
i = 1, 2,
hipercclico en
la proyeccin en la
X = X1 X2 .
i-esima
coordenada,
es continua, sobreyectiva y el siguiente diagrama
X
i
Xi
Ti
X

Xi
conmuta. Luego, por Criterio de Comparacin 1.3.11,
Ti es hipercclico, y i (HC(T ))
HC(Ti ).
Corolario 3.2.3.
Si
es mixing dbil, entonces es hipercclico.
Tenemos entonces el siguiente problema,
Problema - Mixing Dbil:

F-espacio separable
X,
Es cierto que si
es un operador hipercclico en un
entonces es mixing dbil? Antes de dar la solucin al proble-
ma, damos resultados relacionados a este problema, considerando sumas de distintos

operadores.
Proposicin 3.2.4.
Ti
Si
T = T1 T2
satisface el Criterio de Hiperciclicidad, entonces
tambin.
Demostracin. Notar que

1.3.11.
es lineal y aplicar nuevamente el Criterio de Comparacin
62
CAPTULO 3.
Proposicin 3.2.5.
Sean
T1 L(X1 )
el Criterio de Hiperciclicidad para la

hipercclico. Ms an,
T1 T2
Demostracin. Notar que en
T2 L(X2 ) dos operadores que satisfacen

misma sucesin (nk ) N. Entonces T1 T2 es
y
satisface el Criterio de Hiperciclicidad.
X1 X2
tenemos la topologa producto. Luego, producto
de conjuntos densos es denso y una sucesin en
X1 X2
converge si y slo si converge
en cada coordenada.
Corolario 3.2.6. Si T
satisface el Criterio de Hiperciclicidad, entonces es mixing dbil.
Surge aqu, otra pregunta muy importante para la teora de operadores hipercclicos.
Fue presentada por primera vez por D. A. Herrero y es considerada uno de los problemas
ms atractivos.
Problema - Criterio de Hiperciclicidad: Es cierto que todo operador hipercclico

en un F-espacio separable
X,
satisface el Criterio de Hiperciclicidad?
Todos los ejemplos que estudiamos en el Captulo 2, cumplen el Criterio de Hiperciclicidad, por lo tanto, sera razonable pensar que este problema tiene una respuesta
armativa. Esto implicara que el Problema - Mixing Dbil tiene respuesta armativa.
Vemos en este esquema, la relacin entre ambos problemas.
Problema - Mixing Dbil:
Hipercclico
Problema - Criterio Hiperciclicdad:
Hipercclico
+3
Mixing Dbil
KS
+3
Criterio
Antes de dar la respuesta a los problemas, damos otra denicin que se relaciona con
estos conceptos.
Denicin 3.2.7.
Sea
un F-espacio separable y
T L(X).
Sea
(nk )
una sucesin
creciente de nmeros naturales. Decimos que T es Hereditariamente Hipercclico con

0
n0
respecto a (nk ) si, para toda subsucesin (nk ) de (nk ), la familia {T k } es universal.
n0
Es decir, existe x X tal que {T k x : n N0 } es denso en X . Decimos que T es
Hereditariamente Hipercclico, si lo es con respecto a alguna sucesin
(nk ).
Es claro, que si un operador es hereditariamente hipercclico, entonces es hipercclico.

Adems, vimos en la Observacin 1.3.9, que si un operador satisface el Criterio de Hiperciclicidad, entonces es hereditariamente hipercclico. Para terminar de comprender
la conexin entre estos problemas, probamos el teorema de Bs-Peris, que arma que
los tres conceptos son equivalentes. Por lo tanto, los problemas tambin lo son.
Teorema 3.2.8 (Bs-Peris).
Sea
un F-espacio separable, y
valentes:
(i)
satisface el Criterio de Hiperciclicidad,
T L(X).
Son equi-
3.2.
EL PROBLEMA DEL CRITERIO DE HIPERCICLICIDAD
(ii)
es hereditariamente hipercclico,
(iii)
es mixing dbil.
Demostracin.
(ii) (iii)
cesin (nk ).
(i) (ii)
63
Lo vimos en la Observacin 1.3.9.
Supongamos que
T
V2
es hereditariamente hipercclico con respecto la sun

Sean U1 , U2 , V1 ,
abiertos no vacos de X . Como la familia {T k } es
mk
(U1 ) V1 6= para todo k N.
universal, existe (mk ) subsucesin de (nk ) tal que T
mk
} es universal, entonces existe k N tal
Nuevamente, por hiptesis, la familia {T
mk
mk
(U2 ) V2 6= . Luego, (T T ) (U1 U2 ) (V1 V2 ) 6= . Por lo tanto, T es
que T
mixing dbil.
(iii) (i) Supongamos que T T es hipercclico con x y HC(T T ). Veamos que T verica el Criterio de Hiperciclicidad con respecto a los conjuntos densos D1 = D2 = Orb(x, T ); como x = 1 (x y) es vector hipercclico de T , ten
nemos que Orb(x, T ) es denso. Armamos que x T (y) HC(T T ) para todo
n N. De hecho, x T n (y) = (I T n )(x y); I T n conmuta con T T y tiene
n
rango denso, pues T
tiene rango denso por ser hipercclico. Luego, por la Observan
cin 1.3.12, HC(T T ) es I T -invariante. Como y HC(T ), para cada abierto
n
no vaco U X , existe n N tal que T (y) U ; o sea, existe u U tal que
x u HC(T T ). En particular, existe uk B(0, 1/k) tal que x uk HC(T T ).
Tomando Vk := B(0, 1/k) B(x, 1/k), conseguimos una sucesin creciente (nk ) tal
n
n
n
que (T T ) k (x uk ) Vk , i.e, uk 0, T k (x) 0 y T k (uk ) x. Denimos
j
j
funciones, Snk : D2 X , Snk (T (x)) = T (uk ) para j N0 , notemos que Snk est
i
j
bien denido porque T (x) 6= T (x) si i 6= j . De esta forma:
T nk (T j (x)) = T j (T nk (x)) 0, j N
Snk (T j (x)) = T j (uk ) 0, j N
T nk Snk (T j (x)) = T j (T nk (uk )) T j (x), j N.
Por lo tanto,
satisface el Criterio con respecto a la sucesin
Observacin 3.2.9.
(nk ).
T satisface el Criterio de
Hiperciclicidad, lo hace con el mismo conjunto denso D = D1 = D2 , y como los
j
vectores T (x) son linealmente independientes, las funciones Snk se pueden extender
por linealidad a hOrb(x, T )igen ; as en el Criterio de Hiperciclicidad podemos tomar las
aplicaciones Snk lineales.
La prueba anterior muestra que si
Tenemos entonces, que los problemas Criterio de Hiperciclicidad y Mixing Dbil son
equivalentes.
Corolario 3.2.10.
Sea
un F-espacio separable. Si
T n tambin lo satisface.
T L(X)
satisface el Criterio
de Hiperciclicidad, entonces
n
satisface el Criterio, T T es hipercclico. Entonces, (T T ) =
n
n
es hipercclico. Luego, T es mixing dbil, por lo tanto T satisface Criterio.
Demostracin. Como
n
n
T T
64
CAPTULO 3.
3.3. Caracterizaciones del Criterio de Hiperciclicidad

En esta seccin damos ms caracterizaciones del Criterio de Hiperciclicidad. Estos
resultados se encuentran en el artculo de S. Grivaux [18].
Denicin 3.3.1.
Sea
T L(X) se
U y V , existe
un espacio vectorial topolgico. Un operador
dice (topolgicamente) mixing si para todo par de abiertos no vacos

n0 N tal que T n (U ) V 6= para todo n n0 .
Esta denicin es claramente una versin ms fuerte de la transitividad (topolgica).

Si
es un F-espacio separable, entonces los operadores mixing son hipercclicos. Pero,
vale un resultado ms fuerte.
Proposicin 3.3.2. Sea X un F-espacio separable y T

si y slo si
es hereditariamente hipercclico con
L(X). Entonces, T
respecto a N.
es mixing
no es mixing si y slo si existen abiertos no vacos U , V

n
y una sucesin innita (nk ) tales que T k (U ) V = para todo k N. Como vimos
n
en la Observacin 1.3.9, esto es equivalente a que la sucesin {T k } no sea universal.
Demostracin. El operador
Recordemos que un operador es hipercclico si y slo si es topolgicamente transitivo.
T T
(U2 , V2 ),
As,
y
es hipercclico si y slo si para cualquier par de abiertos no vacos (U1 , V1 )

n
existe n N tal que T (Ui ) Vi 6= , (i = 1, 2). O sea, mixing dbil es
una propiedad que involucra cuatro abiertos. Lo siguiente muestra que esta condicin
puede ser signicativamente debilitada a una propiedad que involucra tres abiertos. El
punto
(iv)
usualmente se llama Condicin de los Tres Abiertos.
Teorema 3.3.3.
Sean
un espacio de Banach separable y
T L(X).
Entonces, las
siguientes condiciones son equivalentes.
(i) T T
(ii)
es hipercclico
Para todo par de abiertos no vacos

n+1
y T
(U ) V 6= .
V,
existe
nN
tal que
T n (U ) V 6=
(iii)
Existe un nmero natural p tal que para todo par de abiertos no vacos
n
n+p
existe n N tal que T (U ) V 6= y T
(U ) V 6= .
V,
(iv)
Para todo par de abiertos no vacos U y V , y para cualquier entorno abierto

n
n
de 0, existe n N tal que T (U ) W 6= y T (W ) V 6= .
Demostracin. Dividiremos la prueba en dos partes. Primero veremos que las tres
primeras condiciones son equivalentes y luego que estas equivalen a la cuarta. Es fcil
n
ver que (i) implica (ii). Simplemente tomamos n N tal que T (U ) V 6= y
T n (U ) T 1 (V ) 6= . Es obvio que (ii) implica (iii). Luego, debemos probar que (iii)
implica (i). Para ello, consideramos abiertos no vacos U1 , U2 , V1 y V2 . Queremos ver
n
que T (Ui ) Vi 6= , (i = 1, 2). Notemos que en (iii), est implcita la transitividad de
T . Luego, podemos tomar v1 V1 HC(T ). Existe r1 N tal que u1 := T r1 (v1 ) U1 .
3.3.
65
CARACTERIZACIONES DEL CRITERIO DE HIPERCICLICIDAD
T r1 tiene rango denso, por ser hipercclico, existe algn vector w2 X tal
r
que u2 := T 1 (w2 ) U2 . Sea v2 cualquier elemento de V2 . Tomemos > 0 tal que
B(u2 , ) U2 y B(v2 , ) V2 . Por el Teorema 1.3.18, K[T ]v1 es variedad hipercclica
p
de T , y as (T I)v1 HC(T ). Entonces, existe q1 N tal que
Como
kT q1 (T p I)v1 (v2 + w2 )k <

Del mismo modo existe
p1 N
tal que
kT p1 v1 (v2 T q1 v1 )k <
Denotemos
.
2kT kr1
z = T p1 u1 + T q1 +p u1 ,
se tiene que
.
2kT kr1
z U2 .
De hecho,
z B(u2 , ),
kz u2 k =kT p1 +r1 v1 + T q1 +p+r1 v1 T r1 w2 k

kT r1 k.kT p1 v1 + T q1 +p v1 w2 k

kT r1 k. kT p1 v1 (v2 T q1 v1 )k + v2 T q1 v1 + T q1 +p v1 w2
< .
De forma similar, si denotamos
y = T p1 v1 + T q1 v1 , se tiene que y B(v2 , ) V2 , pues
ky v2 k = kT p1 v1 + T q1 v1 v2 k < .
Uk = B(u1 , 21k ) y Vk = B(v1 , 21k ). Aplicamos entonces la
de abiertos Uk y Vk . De esta forma, obtenemos una sucesin
Consideramos los abiertos,

hiptesis
(nk )kN
(iii)
para el par
tal que
T nk (Uk ) Vk 6=
Luego, tenemos dos sucesiones en
T nk +p (Uk ) Vk 6= .
Uk , (u0k )kN
T nk (u0k ) Vk
(u00k )kN
que verican simultneamente
T nk +p (u00k ) Vk .
En otras palabras, vemos que las sucesiones
(u0k )kN
(u00k )kN
u0k u1
u00k u1 ,
T nk (u0k ) v1
T nk +p (u00k ) v1 .
cumplen
0
n
0
Para concluir, usando que uk u1 y T k (uk ) v1 , obtenemos que existe
nk
tal que T
(U1 ) V1 6= para todo k k0 . Similarmente, observemos que
T p1 u0k + T q1 +p u00k T p1 u1 + T q1 +p u1 = z U2

T nk T p1 u0k + T q1 +p u00k T p1 v1 + T q1 v1 = y V2 .
k0 N
66
CAPTULO 3.
k1 k0 tal que T nk (U2 ) V2 6= , para todo k k1 . Concluimos

entonces que T T es topolgicamente transitivo, y por ende hipercclico. Hasta aqu
tenemos demostrada la equivalencia de las condiciones (i), (ii) y (iii). Observemos que
si T T es topolgicamente transitivo, entonces se verica (iv). Luego, para nalizar
la demostracin veremos que (iv) implica (ii). Consideremos dos abiertos no vacos U
1
y V cualesquiera, y un entorno W de 0. Aplicando (iv), a los abiertos U , W T
(W )
1
y T
(V ) obtenemos que existe n N tal que
Existe entonces,
T n (U ) (W T 1 (W )) 6=
T n (W T 1 (W )) T 1 (V ) 6= .
Lo que implica que,
T n (U ) W 6= ,
As, si
T n (W ) V 6= ,
son vectores de
T n+1 (U ) W 6= ,
T n+1 (W ) V 6= .
respectivamente, con un argumento similar al

0
y en 0, obtenemos sucesiones (uk )kN , (uk )kN ,
anterior, tomando bolas centradas en

(wk )kN y (wk0 )kN tales que
uk u
T nk (uk ) 0,
wk 0
T nk (wk ) v,
u0k u
T nk +1 (u0k ) 0,
wk0 0
T nk +1 (wk0 ) v.
De aqu, obtenemos que
uk + wk u
T nk (uk + wk ) v
u0k + wk0 u
T nk +1 (u0k + wk0 ) v.
Concluimos diciendo que si
V 6= .
es sucientemente grande,
Luego, se verica la condicin
Observacin 3.3.4.
T nk (U ) V 6=
T nk +1 (U )
(ii).
Hacemos notar que este resultado da una sensacin de cercana
a la teora de nmeros y la combinatoria. Denimos, para un par de abiertos no vacos
el conjunto
N (U, V ) = {n N
Para cada par de conjuntos
tales que
T n (U ) V 6= }.
de nmeros naturales, denimos el conjunto de las
diferencias como
A B = {n m
con
n A, m B
n m}.
3.4.
67
INDICIOS DE UNA RESPUESTA NEGATIVA
1 N (U, V ) N (U, V ) para

todo par de abiertos no vacos U y V , si y slo si existe algn natural p tal que
p N (U, V ) N (U, V ) para todo par de abiertos U y V . Tambin es equivalente
a que N (U, W ) N (W, V ) 6= para cualquier par de abiertos no vacos U y V y
cualquier entorno abierto W de 0. De aqu se desprende una nueva denicin respecto
Vemos que un operador es mixing dbil si y slo si
a la frecuencia con que las rbitas del operador visitan los abiertos del espacio.
Denicin 3.3.5.
Sea
A N.
Denimos la densidad inferior de
dens(A) := lm inf
N
donde
como
]{n A : n N }
.
N
denota la cantidad de elementos del conjunto.
Denicin 3.3.6.
xX
Sea
T L(X). Un vector
T , si para todo abierto no vaco U X ,
se dice frecuentemente hipercclico para
el conjunto
N (x, U ) := {n N : T n x U }
tiene densidad inferior positiva. En caso de que exista un vector as, decimos que
es
frecuentemente hipercclico.
Observacin 3.3.7.
Vimos en el segundo captulo que un operador en
H(C)
que
conmuta con todas las traslaciones y no es un mltiplo de la identidad, es hipercclico.

A. Bonilla y K.-G. Grosse-Erdmann muestran que estos operadores son frecuentemente
hipercclicos [11].
3.4. Indicios de una respuesta negativa

En un trabajo reciente de S. Grivaux, se demuestra que en todo espacio de Banach
separable de dimensin innita hay operadores mixing.
Proposicin 3.4.1.
Sea
un espacio de Banach separable. Entonces
admite un
operador mixing.
Por denicin, mixing dbil implica transitividad. En sistemas dinmicos topolgicos
se pueden encontrar contraejemplos para el recproco. Por ejemplo, podemos citar, la
rotacin por
en
[0, 1),
denida por
R (x) = x + mod 1.
68
CAPTULO 3.
Cuando
es irracional, la funcin es transitiva pero no es mixing dbil. Este
ejemplo, da indicios de que el problema Mixing Dbil debera tener respuesta negativa.
Insistimos en que todos los ejemplos estudiados anteriormente satisfacen el Criterio
de Hiperciclicidad. Sin embargo, existen operadores hipercclicos que no son mixing
dbil. Dedicaremos el cuarto captulo a este tema. Pero antes, veamos que existen
dos operadores hipercclicos tales que la suma directa no es hipercclica. Para ello
retomamos la clase de Operadores Shift. Enunciamos la versin anloga al Teorema
2.5.5, para sumas de operadores shifts unilaterales a izquierda.
Teorema 3.4.2.
(i)
wn en1
Bi , 1 i m, shifts unilaterales con pesos

L
Bi (e0 ) = 0. Entonces,
Bi es hipercclico si y slo si,
(
( n
))
Y
(i)
sup mn
ws : 1 i n
= .
Sean
nN
Corolario 3.4.3.
en
`2 (N), Bi (en ) =
s=1
Existen operadores hipercclicos
B1 , B2 ,
tales que
B1 B2
no es
hipercclico.
Demostracin. Tomamos shifts unilaterales con pesos,
(i)
Bi (en ) = wn en1 ,
de forma
tal que satisfacen la condicin del Teorema 3.4.2 cada una por separado, pero no la
satisfacen juntas. Por ejemplo, podemos tomar
(1)
w2n1 = n,
(2)
w2n = 1/n,
n1
n1
(2)
w1 = 1
(2)
w2n = 2n, n 1
w(2) = 1/2n, n 1
2n+1
Tenemos que
k
Y
(1)
wi
i=1

=
k+1
si k es impar
2
1 si k es par
k
Y
(2)
wi

=
i=1
1
k
k
si k
si
es impar
es par
y por lo tanto,
mn
( k
Y
i=1
(1)
wi ,
k
Y
)
(2)
wi
= 1.
i=1
Es claro que cada operador satisface la condicin por separado, pero no lo hacen juntos.
Luego
B1
B2
son hipercclicos pero
B1 B2
no lo es.
Captulo 4
Contraejemplo del problema Mixing
Dbil
Dedicamos este captulo a mostrar que existen operadores hipercclicos que no son
mixing dbil. Trabajaremos el problema en la forma
T T.
Es un trabajo en conjunto
de F. Bayart y . Matheron [4], publicado en el ao 2007. La construccin que haremos

nos servir para probar la existencia de estos operadores en muchos espacios de Banach
p
clsicos, como ser c0 (N) o ` (N), 1 p < . Anteriormente el problema fue encarado
por muchos autores. Recin en 2006 M. De La Rosa y C. Read [14] pudieron resolver
la incgnita construyendo un espacio de Banach y un operador hipercclico que no es
mixing dbil. Aunque no es difcil comprender la denicin del espacio
X,
no se sabe
si se puede identicar como un espacio de Banach clsico.
4.1. La estrategia
Primero jamos el contexto en el que trabajaremos y damos los preliminares que nos
permitirn demostrar el resultado.
Denicin 4.1.1.
Si
(ei )iN
es una sucesin linealmente independiente de vectores de
(ei )iN se dene

E = hei : i Nigen .
un espacio vectorial. Entonces el shift a derecha asociado a

operador lineal
S : E E , S(ei ) = ei+1 ,
en donde,
como el
El resultado principal al que queremos llegar es
Teorema 4.1.2.
Sea
un espacio de Banach. Supongamos que
incondicional normalizada
Entonces,
(ei )iN ,
tiene una base
para la cual el shift a derecha asociado es continuo.
admite un operador hipercclico tal que
Corolario 4.1.3.
T T
Existen operadores hipercclicos en
no es hipercclico.
c0 (N)
`p (N), 1 p <
que
no satisfacen el Criterio de Hiperciclicidad. En particular se puede encontrar este tipo

de operadores en todo espacio de Hilbert separable.
69
70
CAPTULO 4.
4.1.1.
CONTRAEJEMPLO DEL PROBLEMA MIXING DBIL
Sobre bases incondicionales en espacios de Banach
Trabajaremos en espacios de sucesiones, es decir, aquellos espacios de Banach que

pueden ser presentados en forma natural como espacios de sucesiones. Introduciremos
una nocin de sistema de coordenadas, en algn sentido, anlogo a una base en
espacios de dimensin nita.
Denicin 4.1.4.
Schauder de
P
que
x=
si para todo
xi e i .
{ei }iN en un espacio de Banach X , se dice base de

x X existe una nica sucesin de escalares {xi }iN tales
Una sucesin
Decimos que es normalizada si
kei k = 1,
para todo
i N.
i=1
Tenemos la siguiente caracterizacin de bases de Schauder.
Proposicin 4.1.5.
base de Schauder de
Sea
{ei }iN
X.
Entonces,
{ei }iN
es
si y slo si las siguientes tres condiciones se cumplen.
1. Todos los vectores
ei
2. Existe una constante
n < m,
una sucesin de vectores de
son no nulos.
tal que, para toda eleccin de escalares
{xi }iN
y naturales
se tiene que

n
m
X
X

xi ei K
xi e i .

i=1
3. El subespacio generado por
{ei }iN
i=1
es denso en
X.
Antes de dar la denicin de base incondicional, vemos en la siguiente proposicin

distintas formas equivalentes de denir convergencia incondicional.
Proposicin 4.1.6.
Sea
{ei }iN
una sucesin de vectores en el espacio de Banach
X.
Las siguientes condiciones son equivalentes.
1. La serie
e(i)
converge para toda permutacin
de
N.
i=1
2. La serie
e in
converge para toda sucesin creciente
(in )nN .
i ei
converge para toda eleccin de signos
i = 1.
n=1
3. La serie
P
i=1
4. Para todo
> 0,
existe
nN
tal que

P
ei <

para todo subconjunto
de
iS
que cumple
mn{i; i S} > n.
Una serie que cumple cualquiera de las cuatro condiciones anteriores se dice que converge incondicionalmente.
4.1.
71
LA ESTRATEGIA
Denicin 4.1.7.
Una base de Schauder
x X,
incondicional si para todo
{ei }iN
la expresin de
en un espacio de Banach
se dice
en la base converge incondicional-
mente.
La convergencia incondicional en una base de Schauder nos permite olvidarnos del

orden en la sucesin
Teorema 4.1.8.
{ei }iN ,
Sea
y poder mirarlo como un conjunto.
{ei }iN
una base incondicional. Existe una constante
que para toda eleccin de escalares {xi }iN para los cuales
cualquier sucesin ` (N), = {i }iN , se tiene que
i xi ei
K>0
tal
converge y para

X
X

x
e
x
e
2K
sup
|
|

i i .
i i i
i

i
i=1
i=1
= {i }iN , tenemos
M (ei ) = i ei . Resulta que
Es decir, para toda sucesin acotada
E = hei : i Nigen
denido por
un operador lineal en
kM k 2K sup |i |.
i
En particular, si consideramos sucesiones de la forma
para todo
i 6= j ,
llamamos
Mj = M
j = 1 para algn j N y i = 0
y obtenemos que
Mj (x) = Mj
!
xi ei
= xj e j ,
i=1
kMj k 2K . Pero, si consideramos {ei }iN la sucesin de funcionales de X asociadas

a {ei }iN , tenemos que
Mj (x) = ej (x)ej .
As,
kMj (x)k |ej (x)|kej k kej kkej kkxk.

kMj k = kej kkej k y entonces supj kej kkej k < .
normalizada, {ei }iN es acotada.
Luego,
base
4.1.2.
En particular, si
{ei }iN
es
Preliminares Algebraicos
Para demostrar el Teorema 4.1.2, daremos una especie de criterio de no-hiperciclicidad

para la suma directa
T T.
Empezamos con resultados algebraicos que darn lugar a
este nuevo criterio.
Lema 4.1.9.
. Sea n una
seminorma en A tal que la aplicacin (p, q) 7 pq es continua de (A, ) (A, ) en
(A, n). Dados a, a0 , b, b0 en A, supongamos que existen tres sucesiones (pn )nN , (qn )nN
0
0
0
0
y (rn )nN en A tales que pn a, qn b, rn pn a y rn qn b . Entonces n(ab a b) =
0.
Sea
un lgebra conmutativa junto con una topologa
72
CAPTULO 4.
Demostracin. Usamos que
Luego, al ser
(p, q) 7 pq
es un algebra conmutativa y tenemos que
pn (rn qn )
(rn pn )qn
/ a0 b
continua de
ab0
(A, ) (A, )
en
(A, n),
tenemos que
0 = n(0) = n(pn (rn qn ) (rn pn )qn ) n(ab0 a0 b).
Corolario 4.1.10. Supongamos que el lgebra A tiene unidad, y que para cualesquiera
a, a0 , b , b 0
en
A,
(pn )nN , (qn )nN

n = 0.
existen sucesiones
hiptesis del Lema 4.1.9. Entonces

Demostracin. Tomamos
n(a) = n(a1A 0) = 0
a A
para todo
cualquiera,
e0
es un vector cclico de
X.
en
a0 = b = 0.
que cumplen la
Luego, por 4.1.9,
K[T ]e0 , en donde T L(X), X
es un espacio
T . Recordemos que un vector cclico cumple que
K[T ]e0 = {P (T )e0 , P

es denso en
(rn )nN
a A.
Aplicaremos el Corolario 4.1.10, al lgebra

de Banach y
b0 = 1A
polinomio}
El producto en el lgebra
K[T ]e0
= hOrb(e0 , T )igen ,
est dado por
P (T )e0 .Q(T )e0 = (P.Q)(T )e0 ,

y
e0
es la unidad del lgebra. Adems,
Corolario 4.1.11.
Sea
K[T ]e0
hereda la topologa de
X.
un espacio de Banach de dimensin innita. Sea
T L(X)
e0 . Supongamos que existe una funcional lineal no

: K[T ]e0 K, tal que la aplicacin (x, y) 7 (x.y) es continua en K[T ]e0
K[T ]e0 . Entonces T T no es hipercclico en X X .
un operador cclico con vector cclico

nula
T T es hipercclico. Tenemos en0

tonces, que HC(T ) es denso en X X . Sean, a, a , b, b en K[T ]e0 cualesquiera. Existe
xk yk HC(T T ) tal que xk yk a b y una sucesin de nmeros naturales
(nk )kN tales que T nk xk T nk yk a0 b0 . Como K[T ]e0 es denso en X , podemos
encontrar sucesiones de polinomios en K, (Pk )kN , (Qk )kN tales que

1
1
1
1
kxk Pk (T )e0 k < mn
,
y
kyk Qk (T )e0 k < mn
,
.
k kkT nk k
k kkT nk k
Demostracin. Supongamos, por el absurdo, que
Es claro que
Pk (T )e0 a
y tambin
kT nk (Pk (T )e0 ) a0 k kT nk (Pk (T )e0 ) T nk xk k + kT nk xk a0 k

1
1
nk
kT k mn
,
+ kT nk xk a0 k 0.
k kkT nk k
4.2.
EL OPERADOR
73
Anlogamente para la sucesin Qk (T )e0 . Consideramos entonces

Qk (T )e0 y rk = T nk e0 . Tenemos que
pk
qk
rk .pk
rk .qk
pk = Pk (T )e0 , qk =
= Pk (T )e0 a,
= Qk (T )e0 b,
= T nk e0 .Pk (T )e0 = T nk Pk (T )e0 a0 ,
= T nk e0 .Qk (T )e0 = T nk Qk (T )e0 b0 .
K[T ]e0 , n(z) = |(z)|. Por hiptesis,

(z, w) 7 |(z.w)| es continua. Obtenemos de esta
Aplicamos el Corolario 4.1.10 con la seminorma de
K[T ]e0
es un lgebra conmutativa y
forma una contradiccin pues
4.1.3.
es no nula.
Pasos a seguir
En lo que resta de este captulo

incondicional
Nigen .
lineal
(ei )iN
ser un espacio de Banach con base normalizada
cuyo shift a derecha asociado es continuo. Notamos
c00 := hei ; i
El Teorema 4.1.2 quedar probado si somos capaces de construir un operador
T : c00 c00
y una funcional lineal no nula
: c00 K
tales que se verican
las propiedades siguientes.

(a)
hT i e0 ; i Nigen = hei ; i Nigen ,
(b) El conjunto
(c)
{T i e0 : i N}
i.e,
K[T ]e0 = c00 .
es denso en
c00 .
es continuo.
(d) La aplicacin
(x, y) 7 (x.y)
es continua en
c00 c00 .
X . Por (a) y (b), T

e0 como vector hipercclico. Finalmente resulta, por (a), (d) y el Corolario 4.1.11
que T T no es hipercclico. Lo que resta de la demostracin es construir el operador T
y la funcional . Ambos dependern de tres sucesiones de nmeros positivos (an )nN0 ,
(bn )nN0 y (w(n))nN . Especicaremos en el camino, las condiciones necesarias sobre
las sucesiones. Por conveniencia pedimos a0 = 1 y b0 = 0.
De hecho, (c) nos permite extender el operador a todo el espacio
tiene a
Notaciones
Si
es un polinomio, notamos
de los mdulos de los coecientes de

numerable
si
P0 = 0
P.
gr(P )
al grado de
|P |1
a la suma
Fijamos, de ahora en ms, un conjunto denso
Diremos que una sucesin de polinomios P = {Pn }nN es admisible

P enumera todos los polinomios con coecientes en Q (no necesariamente
Q K.
de forma inyectiva). Pedimos desde ahora que
bn 1 > gr(Pn )
para todo
n N.
4.2. El operador T
Armacin 4.2.1.
(an )nN , (bn )nN
Sea
P una sucesin admisible de polinomios. A las sucesiones P,
(w(n))nN ,
le podemos asociar un nico operador lineal
T : c00
74
c00
CAPTULO 4.
que cumple las siguientes dos condiciones.
i [bn1 , bn 2] para todo n N,

1
T bn (e0 ) = Pn (T )e0 + ebn para todo n N.
an
T ei = w(i + 1)ei+1
si
Demostracin. En efecto, notemos que en realidad estamos deniendo
(ei )iN . Para

n = 1. Tenemos
los vectores de
mostrar cmo es que queda denido
primero con
que
(4.1)
(4.2)
sobre todos
T (ebn 1 ),
lo vemos
i [b0 , b1 2],
1
T b1 (e0 ) = P1 (T )e0 + eb1 .
a1
T ei = w(i + 1)ei+1
Aplicamos
reiteradas veces al vector
e0
si
para despejar el valor de
T (eb1 1 ):
T e0 = w(1)e1 ,
T 2 e0 = w(1)w(2)e2 ,
.
.
.
T b1 1 e0 = w(1)w(2) . . . w(b1 1)eb1 1 := W eb1 1 .

Luego, tenemos las siguientes dos expresiones para
T b1 (e0 ).
Por un lado,
T b1 (e0 ) = W T (eb1 1 ),
y por el otro lado,
T b1 (e0 ) = P1 (T )e0 +
1
eb .
a1 1
As,
T (eb1 1 ) =
1
T b1 (e0 )
w(1) . . . w(b1 1)
1
=
w(1) . . . w(b1 1)
Como

1
P1 (T )e0 + eb1 .
a1
gr(P1 ) < b1 1, T (eb1 1 ) est bien denido. De igual forma, se despeja T (ebn 1 )
en el caso general:
T bn e0 = T bn bn1 T bn1 e0

bn bn1
=T
Pn1 (T )e0 +
eb
an1 n1
w(bn1 + 1) . . . w(bn 1)
= T bn bn1 Pn1 (T )e0 +
T (ebn 1 ).
an1
De aqu, podemos despejar
T (ebn 1 ) usando nuevamente que T bn e0 = Pn (T )e0 + a1n ebn .

T ebn 1 := n ebn + fn
(4.3)
4.2.
EL OPERADOR
75
con
n =
an1
an w(bn1 + 1) . . . w(bn 1)
fn =
Como
an1
(Pn (T )e0 T bn bn1 Pn1 (T )e0 ).
w(bn1 + 1) . . . w(bn 1)
gr(Pn ) < bn 1
para todo
n N,
tenemos denido
(4.4)
en todos los vectores de
la base por (4.1) y (4.3).
Observacin 4.2.2. Tenemos, por denicin de T , {P (T )e0 ;
gr(P ) N } = he0 , . . . , eN igen

para todo N N. Luego, K[T ]e0 = c00 . Se sigue que {Pn (T )e0 ; n N} es denso en c00 ,
i
puesto que P es admisible. Entonces por (4.2), tambin lo es el conjunto {T e0 ; i N}.
De esta forma, tenemos aseguradas las primeras dos condiciones (a) y (b).
Notemos que las sucesiones
T.
denicin de
P,
(an )nN , (bn )nN
(w(n))nN
son parmetros en la
Podemos entonces encontrar distintos operadores hipercclicos que no
satisfacen el Criterio de Hiperciclicidad. Para simplicar la notacin tomamos ahora y

para el resto de la construccin,

1
,
w(n) := 4 1
2 n
an := n + 1,
bn := 3n .
Observamos que
w(n)
Denicin 4.2.3.
es creciente y
2 w(n) 4,
para todo
Decimos que una sucesin admisible
sucesin de nmeros positivos
{un }nN ,
si
gr(Pn ) < un
n 1.
est controlada por una
|Pn |1 < un
para todo
n N.
{un }nN se llama una sucesin de control. Es claro que para

cualquier sucesin no acotada {un }nN , existe una sucesin admisible de polinomios P,
que est controlada por {un }nN .
P
Denicin 4.2.4. Para x c00 , x = iN xi ei , denimos la norma `1 , como kxk1 :=
P
iN |xi |.
En ese caso, tal sucesin
El prximo lema nos permitir probar la continuidad de
Lema 4.2.5.
1.
n 1
2. Si
T.
Notamos
dn = gr(Pn ).
Con las notaciones de la Armacin 4.2.1, se cumple:
para todo
n1
en donde
n 1.
kfk k1 1
k < n entonces

p
|Pn |1
m
ax(dn ,dn1 )+1
+ |Pn1 |1 exp(c bn1 ) ,
kfn k1 n 4
2bn1
y si
c>0
para todo
es una constante universal.
76
CAPTULO 4.
Demostracin. La primera parte es obvia pues,
w(n) 1,
entonces
n
n
<
< 1.
(n + 1)w(bn1 + 1) . . . w(bn 1)
n+1
n =
n N y supongamos que kfk k1 1, para todo

k < n. Para cada j N, notamos Ej := he0 , . . . , ej igen . Tenemos que como {w(i)} es
creciente y w(i) 2, si j < bn 1 entonces kT (x)k1 w(j + 1)kxk1 para todo x Ej .
j
P
Veamos, si x =
xi ei , se tiene que
Para probar la segunda parte, jemos
i=1
T (x) =
j
X
xi T (ei ) =
xi T (ei ) +
i=bk 1
i=1
xi T (ei )
i6=bk 1
xi (k ebk + fk ) +
i=bk 1
xi w(i + 1)ei .
i6=bk 1
As,
kT (x)k1
i=bk 1
|xi | (k kebk k1 + kfk k1 ) +

{z
}
|
w(j + 1)
2w(j+1)
j
X
|xi |w(i + 1)kei+1 k1
i6=bk 1
|xi | = w(j + 1)kxk1 .
i=1
De aqu, deducimos que
kT p e0 k1
p
Y
w(i),
i=1
para todo
p [1, bn ).
Mirando en (4.4), obtenemos que
kfn k1
y como,
2 w(i) 4
kfn k1 n

Qn
Qbn bn1 +dn1
n |Pn |1 di=1
w(i) + |Pn1 |1 i=1
w(i)
w(bn1 + 1) . . . w(bn 1)
para todo
i N,
se sigue que
|Pn |1 4dn
+ |Pn1 |1 4dn1 +1
2bn bn1 2
n4max(dn ,dn1 )+1
|Pn |1
2bn bn1 1
bn bn1 1
Y
i=1
w(i)
w(i + bn1 )
bn bn1 1
+ |Pn1 |1
i=1
w(i)
w(i + bn1 )
!
.
u
Consideramos la funcin h(u) = (1 u)e , con u [0, 1). Tenemos que h es decreciente
0
u
pues, h (u) = ue 0, si u [0, 1). Luego, si consideramos 0 u < v < 1, tenemos
que
(1 v)ev (1 u)eu 1
1v
euv ln
1u
(1 u)eu
(1 v)ev
1v
1u

u v.
4.2.
EL OPERADOR
77
As, obtenemos que
bn bn1 1
ln
i=1
w(i)
w(i + bn1 )
bn bn1 1
!
=
X
i=1
bn bn1 1
X
i=1
ln
1
1 2
i
1
2 i+bn1
1
1
p

2 i + bn1 2 i
!
.
Con lo cual,
bn bn1 1
Y
i=1
w(i)
exp
w(i + bn1 )
"bn bn1 1
X
i=1
1
1
p

2 i + bn1 2 i
, con x > 0. Tenemos que

2 x
Teorema del Valor Medio, y obtenemos que existe entre i y
Consideramos la funcin
g(u) =
!#
.
g 0 (x) = 4x1
3/2 . Usamos
i + bn1 , tal que
1
bn1
1
p
.
= g(i + bn1 ) g(i) = g 0 ()(bn1 ) =
43/2
2 i + bn1 2 i
Por lo tanto,
1
1
bn1
p

,
2 i + bn1 2 i 4(i + bn1 )3/2
el
78
CAPTULO 4.
Notemos que
bn1 = 3n1 3n 3n1 1 = bn bn1 1,
bn bn1 1
Y
i=1
w(i)
exp
w(i + bn1 )
"bn bn1 1
X
1
1
p

2 i + bn1 2 i
i=1
bn bn1 1
exp
i=1
tenemos entonces que,
bn1
4(i + bn1 )3/2
bn1
1X
bn1
exp
4 i=1 (i + bn1 )3/2
= exp
bn1 1
i i1/2
+1
X
n1
exp
2bn1
1
4 i=b
!#
2bn1
1 X
1
8 i=b +1 i1/2
n1

1 p
exp
bn1 .
8 2
c = 81 2 , obtenemos
bn bn1 1,
Tomando
bn1
el resultado. Por lo hecho anteriormente y usando que
kfn k1 n4max(dn ,dn1 )+1
m
ax(dn ,dn1 )+1
bn bn1 1
|Pn |1
2bn bn1 1

n4
|Pn |1
2bn bn1 1
m
ax(dn ,dn1 )+1
n4
+ |Pn1 |1
Y
i=1
w(i)
w(i + bn1 )
p
+ |Pn1 |1 exp(c bn1 )

p
|Pn |1
+ |Pn1 |1 exp(c bn1 ) .
2bn1
Podemos entonces, mostrar que si elegimos adecuadamente la sucesin admisible
P, T
resulta continua.
Proposicin 4.2.6. Existe una sucesin de control {un }nN tal que si P est controlada
por
{un }nN ,
entonces
es continuo en
c00
con respecto a la topologa de
X.
4.3.
LA FUNCIONAL LINEAL
Demostracin. Sea
{un }nN
79
una sucesin creciente de nmeros positivos tal que
lm un = y
u

p
1
n
un +1
n4
+ un exp(c bn1 ) n ,
b
n1
2
2
n 1, podemos encontrar tal sucesin pues bn = 3n .
n
para todo
por
{un }nN ,
Si
P est controlada
entonces aplicando el Lema anterior junto con una induccin directa,
tenemos que
1
, para todo n 1.
2n
Descomponemos entonces T como T = R + K , donde R es un shift a derecha con pesos
kfn k1
asociado a la sucesin acotada
w(i + 1)
n
rn =
si
si
i 6= bn 1
i = bn 1
K est denido por K(ebn 1 ) = fn para todo n N y K(ei ) = 0 si i no es de la forma

bn 1. Como el shift asociado a {ei }iN es continuo y la base {ei }iN es incondicional,
tenemos que R es continuo. Tambin, como {ei }iN es normalizada
y
kK(ebn 1 )k = kfn k kfn k1 .

As, si
|ei (x)|
P
x c00 , kxk 1, se expresa en la base {ei }iN , como x = i xi ei
kei kkxk kei k y la sucesin {ei }iN es acotada tenemos que

!
X

X

xbj 1 fbj 1
kK(x)k = K
xi e i =

|xbj 1 |kfbj 1 k1
j=1
est acotado y luego
|xi | =
j=1
i=1
con
kebj 1 k
j=1
es continuo. Por lo tanto,
1
,
2j
es continuo.
4.3. La funcional lineal

Para concluir con la prueba del Teorema 4.1.2, nos resta construir una funcional lineal
no nula
: c00 K,
tal que la aplicacin
(x, y) 7 (x.y)
sea continua en
c00 c00 .
El siguiente lema nos brinda una herramienta para asegurarla.
Lema 4.3.1.
Sea
una funcional lineal en
Entonces la aplicacin
(x, y) 7 (x.y)
c00 .
Supongamos que
es continua en
p,q
|(ep .eq )| < .
c00 c00 .
P
P
x = p xp ep y y = q yq eq , tenemos que
X
X
|(x.y)|
|xp ||yq ||(ep .eq )| C 2
|(ep .eq )|kxkkyk,
Demostracin. Escribimos
p,q
para todo
(x, y) c00 c00 ,
p,q
donde
C = supi kei k.
80
CAPTULO 4.
(ep .eq ). En este punto, se presenta el problema

Recordemos que c00 = K[T ]e0 , por esta razn
Debemos entonces, estimar los trminos
de comprender los productos ep .eq .

i
trabajamos con la base {T (e0 )}iN que es natural para trabajar con el producto que
hemos denido en
Denicin 4.3.2.
c00 = K[T ]e0 .

Decimos que
x c00
est soportado en
IN
si
x hT i (e0 ); i Iigen .
Observacin 4.3.3.
q = bl + v ,
con
|(ep .eq )|, jamos p q , y escribimos p = bk + u,

v [0, bl+1 bl ). Por denicin de T tenemos que
Para calcular
u [0, bk+1 bk )
bk
T (e0 ) = T (T (e0 )) = T
= Pk (T )T u (e0 ) +
1
Pk (T )(e0 ) +
eb
k+1 k
w(bk + 1) . . . w(bk + u)
ep .
k+1
Luego,
ep =

k+1
T bk Pk (T ) T u (e0 ).
w(bk + 1) . . . w(bk + u)
De forma similar,

l+1
T bl Pl (T ) T v (e0 ).
w(bl + 1) . . . w(bl + v)
eq =
Por lo tanto, para cualquier funcional lineal
|(ep .eq )|
: c00 K
se tiene que
(k + 1)(l + 1)
|(y(k,u)(l,v) )|,
2u+v
en donde
y(k,u)(l,v) = (T bk Pk (T ))(T bl Pl (T ))T u+v (e0 ).

Por lo tanto, bastar asegurar la convergencia de
X (k + 1)(l + 1)
2u+v
Denimos
n 1,
|(y(k,u)(l,v) )|.
como sigue: (e0 ) = 1 y (T i (e0 )) = 0 para i (0, b1 ). Si i [bn , bn+1 ),con
ponemos
(T i (e0 )) =
(Pn (T )T ibn (e0 ))
si
i [bn , 3bn /2) [2bn , 5bn /2),
en otro caso.
(T i (e0 )) est bien denido si conocemos todos los valores que toma en
ibn
potencias menores que i, pues dn + i bn < i y entonces Pn (T )T
(e0 ) est soportado
en [0, i).
Notemos que
4.3.
LA FUNCIONAL LINEAL
Lema 4.3.4.
0 k l,
Supongamos que
81
dn := gr(Pn ) < bn /3 = 3n1 ,
para todo
n N.
Si
se tienen las siguientes propiedades:
|(y(k,u)(l,v) )| = 0
si
u+v <
bl
.
6
|(y(k,u)(l,v) )| Ml (P) := max (1 + |Pj |1 )2

0jl
max(1, |Pj |1 )2 .
0<jl+1
Antes de dar la prueba, necesitamos un lema previo para poder demostrar el segundo
item.
Lema 4.3.5.
n N,
Para todo
se cumple que
max |(T i (e0 ))|
i[0,bn )
max(1, |Pj |1 )2 .
0<j<n
Demostracin. Observemos primero que si
es un polinomio entonces aplicando la
desigualdad triangular obtenemos,
|(R(T )e0 )| |R|1 max |(T j (e0 ))|.

jgr(R)
Notamos
Kn :=
max(1, |Pj |1 )2
i := |(T i (e0 ))|.
0<j<n
Si
n=0
n = 1,
asignamos el valor 1 a un producto vaco y el resultado es cierto.
Supongamos que es vlido para algn n 1, vemoslo para

Kn+1 = Kn . max(1, |Pn |1 )2 Kn . Queremos ver que
n + 1.
Tenemos que
max i Kn+1 .
i[0,bn+1 )
Aplicando la hiptesis inductiva tenemos que
max i Kn Kn+1 .
i[0,bn )
Luego, basta ver que
max
i[bn ,bn+1 )
i Kn+1 .
[bn , 2bn ), usamos

|Pn |1 max(1, |Pn |1 ) max(1, |Pn |1 )2 y tenemos
Lo haremos en dos partes. En
max i =
i[bn ,2bn )
max
i[bn ,3bn /2)
|Pn |1
las desigualdades
que
|(Pn (T )T ibn (e0 ))|
max
j<bn /2+dn
|Pn |1 Kn Kn+1 .
bn /2 + dn < bn
82
En
CAPTULO 4.
[2bn , bn+1 ),
usamos la desigualdad
max
i[2bn ,bn+1 )
3/2bn + dn < 2bn
i =
max
i[2bn ,5bn /2)
y tenemos que
|Pn |1 max j
j<2bn
|Pn |21 .Kn Kn+1 .

As, probamos el resultado.
Ahora s, damos la demostracin del Lema 4.3.4.
Demostracin. Veamos la primera parte: observemos primero que si z est soportado

b
en A := [0, bk /2) [bk , 3bk /2), entonces ((T k Pk (T ))z) = 0. Puesto que si z =
P
z T (e0 ), tenemos que
A
!
((T
bk
Pk (T ))z) =
z T
bk +
Pk (T )
(e0 )
z (T bk + (e0 ))
z T (e0 )
z (Pk (T )T (e0 ))
z (Pk (T )T bk +bk (e0 ))
A
Supongamos ahora que
z (Pk (T )T (e0 )) = 0.
u+v <
bl
, con
6
l 1.
Cuando
k = l 1,
escribimos
y(k,u)(l,v) = (T bk Pk (T ))(T bk Pk (T ))T u+v (e0 )

= (T bk Pk (T ))(z1 ) (T bk Pk (T ))(z2 ).
z1 := T bk +u+v (e0 ) est soportado en [bk , bk + u + v] [bk , 7bk /6) [bk , 3bk /2)
u+v
y z2 := Pk (T )T
(e0 ) est soportado en [0, dk + u + v] [0, bk /3 + bk /6) = [0, bk /2).
Luego, ambos trminos se anulan y (y(k,u)(l,v) ) = 0. Cuando l > k , escribimos
En donde,
y(k,u)(l,v) = (T bl Pl (T ))(z),
z := (T bk Pk (T ))T u+v (e0 )
[0, bk + u + v] [0, bl /2).

Para la segunda parte, notar que el vector y(k,u)(l,v) tiene la forma R(T )e0 , con R un
polinomio en K. Se cumple que gr(R) bk + bl + u + v < bk+1 + bl+1 < 2bl+1 < bl+2 y
|R|1 (1 + |Pk |1 )(1 + |Pl |1 ) (1 + |Pl |1 )2 . De aqu, junto con el Lema 4.3.5 se concluye
en donde,
el resultado.
est soportado en
4.4.
83
VARIACIONES DEL RESULTADO PRINCIPAL
Ahora s, podemos probar que si elegimos correctamente la sucesin admisible

funcional
{vn }nN ,
entonces la aplicacin
{vn }nN , tal que si

(x, y) 7 (x.y) es continua.
Existe una sucesin de control
Demostracin. Notamos
:= {(m, w) N N; w < bm+1 bm }.
Entonces,
(k,u)
(l,v)
X
X
X
(l + 1)2 Ml (P)
k=0 lk
X
X
u+v
(l + 1)2 Ml (P)
k=0 lk
Tomemos ahora, una sucesin

tal que
P est contro-
X (k + 1)(l + 1)
|(y(k,u)(l,v) )|
2u+v
|(ep .eq )|
p,q
An 2,
la
satisface lo que necesitamos.
Proposicin 4.3.6.
lada por
P,
{An }nN
X
X
bl
6
1
2u+v
X i+1
i
bl
6
2i
de nmeros positivos tendiendo a innito, con
(l + 1)2 Al
X i+1
b
i 6l
k=0 lk
2i
< .
{vn }nN , tal que si P est controlada por

Mn (P) An ; notar que Mn (P) depende solamente de los polinomios
Podemos entonces jar una sucesin de control
{vn }nN
de
entonces
P. Luego,
|(ep .eq )| <
p,q
y por el Lema 4.3.1, obtenemos el resultado.
Juntando las Proposiciones 4.2.6 y 4.3.6, tenemos que si la sucesin admisible
t controlada por
mn{un , vn },
es-
se cumplen las condiciones (c) y (d). De esta forma
concluimos la prueba del Teorema 4.1.2.
4.4. Variaciones del resultado principal

El mismo Teorema 4.1.2 nos permite encontrar operadores hipercclicos que no son
mixing dbil en una clase ms grande de espacios de Banach.
Lema 4.4.1.
Sean X0 , Y dos espacios de Banach separables de dimensin innita. Si

T0 es un operador hipercclico en X0 , entonces existe un operador R L(Y ) tal que
T := T0 R es hipercclico en X := X0 Y .
84
CAPTULO 4.
Demostracin. Por el Teorema 3.4.1, tomamos

ces,
T0 R
R L(Y )
un operador mixing. Enton-
es topolgicamente transitivo, luego hipercclico.
Con este lema y el Teorema 4.1.2, podemos concluir el siguiente teorema.
Teorema 4.4.2. Sea X un espacio de Banach separable. Supongamos que X admite un

subespacio complementado
X0
que tiene base normalizada incondicional cuyo shift aso-
ciado a derecha es continuo y tiene codimensin innita. Entonces existe un operador

hipercclico en
que no satisface el Criterio de Hiperciclicidad.
T0 L(X0 ) hipercclico que no satisface el Criterio de Hiper-
Demostracin. Tomamos
ciclicidad. Luego, aplicamos el Lema 4.4.1 y obtenemos un operador hipercclico que no

satisface el Criterio de Hiperciclicidad (recordemos que si
de Hiperciclicidad entonces
Corolario 4.4.3.
Si
complementada de algn
operador hipercclico en
T0
T0 R
satisface el Criterio
tambin lo satisface).
es un espacio de Banach separable que contiene una copia

`p (N), 1 p < o una copia de c0 (N), entonces existe un
que no satisface el Criterio de Hiperciclicidad. En particular,

1
podemos encontrar este tipo de operadores en L [0, 1] y C[0, 1].
Demostracin. El resultado es obvio si contiene una copia complementada de algn
`p (N), 1 p < . Para la parte de c0 (N), un resultado de A. Sobczyk arma que

si X contiene una copia de c0 (N), entonces c0 (N) est complementado en X . Para
1
1
aplicar el resultado a los espacios L [0, 1] y C[0, 1], notar que L [0, 1] contiene una copia
1
complementada de ` (N) y C[0, 1] contiene una copia de c0 (N), que necesariamente est
complementada.
Captulo 5
Comentarios Finales
Para nalizar el trabajo, damos algunos resultados de inters. Son problemas que quedan abiertos dentro de la teora. Por ejemplo, se trata de caracterizar los espacios en
los que todo operador hipercclico es mixing dbil o aproximarse a una solucin del
problema del subespacio (o subconjunto) invariante.
5.1. Operadores hipercclicos que son mixing dbil

Sabemos que los conceptos de hiperciclicidad y mixing dbil no son equivalentes. Veremos que agregando hiptesis extra de regularidad sobre el operador podemos asegurar
que
T T
sea hipercclico.
Teorema 5.1.1.
T L(X)
Sea
un espacio de Banach separable de dimensin innita. Dado
hipercclico, son equivalentes las siguientes condiciones.
(i)
T T
es hipercclico.
(ii)
T T
es cclico.
U1 , U2 , V1 y V2 de X , existe un polinomio
conjuntos p(T )(U1 ) V1 y p(T )(U2 ) V2 son
(iii) Para cualesquiera abiertos no vacos
con coecientes en
K,
tal que los
no vacos.
(iv) Para todo par de abiertos no vacos
existe un polinomio
y
p(T )(W ) V
V y
K,
con coecientes en
W , de 0,
p(T )(U ) W
para todo entorno abierto

tal que los conjuntos
son no vacos.
(i) (ii) y (iii) (iv) son obvias. Veamos (ii)

T es hipercclico y T T es cclico. Armamos que el conjunto
de vectores cclicos de T T es denso en X X . Tomamos x y vector cclico para
T T y p un polinomio cualquiera no nulo. Se tiene que p(T )x p(T )y es cclico de
T T , pues
Demostracin. Las implicaciones
(iii).
Supongamos que
K[T T ](p(T )x p(T )y) = (p(T ) p(T ))K[T T ](x y)

85
86
CAPTULO 5.
COMENTARIOS FINALES
(p(T ) p(T )) tiene rango denso y K[T T ](x y) es denso en X X .

Tenemos entonces los abiertos de X X , U1 U2 y V1 V2 . Tomamos x y U1 U2
vector cclico de T T . Como K[T T ](xy) es denso en X X , existe p polinomio, tal
que p(T )x p(T )y V1 V2 . Por lo tanto, los conjuntos p(T )(U1 ) V1 y p(T )(U2 ) V2
son no vacos. Por ltimo veremos (iv) (i). Mostraremos que se cumple la condicin
de los tres abiertos para T . Vimos en el Teorema 3.3.3, que esta es equivalente a que el
operador T sea mixing dbil. Tomemos entonces abiertos U y V no vacos y un entorno
n
n
abierto W de 0. Queremos ver que existe n N tal que T (U ) W y T (W ) V
son no vacos. Por hiptesis, elegimos un polinomio p con coecientes en K, tal que los
conjuntos p(T )(U ) W y p(T )(W ) V son no vacos. Sea x HC(T ) tal que x
U (p(T ))1 (W ), (podemos elegir tal x, pues U (p(T ))1 (W ) es un abierto no vaco y
HC(T ) es denso en X ). De aqu, podemos jar n N tal que T n (x) W (p(T ))1 (V )
1
(podemos elegir tal n, pues W (p(T )) (V ) es un abierto no vaco y Orb(x, T ) es denso
n
n
en X ). Luego podemos concluir que x U y T (x) W , por lo tanto T (U ) W es
n
n
no vaco. De forma similar, p(T )x W y T (p(T )x) = p(T )(T (x)) V , as tenemos
n
que T (W ) V es no vaco.
es denso por que
Observacin 5.1.2.
usamos que
p(T )
Notar que en la prueba de la implicacin
(iv) (i)
solamente
T conmutan. Luego la misma prueba sirve si para cualquier par de

U y V , y cualquier entorno no vaco W de 0, existe un operador A
T tal que A(U ) W y A(W ) V son no vacos.
abiertos no vacos
que conmuta con
El anterior es un resultado de S. Grivaux. Adems de ste, ella dio otros resultados que
aseguran que un operador hipercclico es mixing dbil. Por ejemplo, podemos citar que
si
tiene un conjunto denso de vectores con rbita acotada entonces es mixing dbil.
5.2. Caos y Caos Lineal

Recientemente los sistemas dinmicos caticos han sido un objeto de estudio en constante progreso al igual que los sistemas dinmicos lineales. Aunque no se reconoce una
denicin formal de caos, podemos decir que una de las ms estudiadas fue la denida
por R. L. Devaney en el ao 1989 [15]. Se intenta denir funciones cuyas rbitas se
comportan de manera complicada e impredecible. Esta denicin involucra tres conceptos que juntos dan la nocin de caos en el sentido de R. L. Devaney. Uno de ellos
es la transitividad topolgica que denimos en el Captulo 1. Las otras dos son las
siguientes.
Denicin 5.2.1. Sean (X, d) un espacio mtrico y f : X X una funcin continua.

x X es un punto peridico si existe k N tal que f k (x) = x.
decimos que k := m
n{n N : f n (x) = x} es el perodo de x.
Decimos que
caso,
En ese

f tiene sensibilidad a las condiciones iniciales si existe > 0 tal que para
x X y para cualquier entorno abierto N de x, existe y N y n N tal que
d(f (x), f n (y)) > . En ese caso, decimos que es una constante de sensibilidad para
f.
Decimos que
todo
n
5.2.
87
CAOS Y CAOS LINEAL
Con las deniciones anteriores podemos dar la denicin de caos en el sentido de R. L.

Devaney.

Decimos que
es catica si
es topolgicamente transitiva,
los puntos peridicos de
forman un conjunto denso en
X,
tiene sensibilidad a las condiciones iniciales.
Uno de los problemas que trae esta denicin es que la tercera condicin no es, en
general, preservada por conjugaciones topolgicas. Es decir, si tenemos una funcin
catica
y un diagrama conmutativo
X
h
X0
con
X0
otro espacio mtrico y
X

X0
un homeomorsmo. Es cierto que
es catica?
Queda claro que las primeras dos condiciones de la Denicin 5.2.3 son puramente topolgicas y por lo tanto son preservadas por conjugaciones topolgicas. Pero no podemos
decir lo mismo de la sensibilidad a las condiciones iniciales. Sin embargo, veremos en
el siguiente teorema que la transitividad y la existencia de un conjunto denso formado
por puntos peridicos aseguran que la sensibilidad se preserve por conjugaciones topolgicas. Ms an, el siguiente teorema muestra que la tercera condicin de la Denicin
5.2.3 es redundante.
Teorema 5.2.4.
continua. Si
Sean
(X, d)
un espacio mtrico innito y
f :X X
una funcin
es topolgicamente transitiva y admite un conjunto denso formado por
puntos peridicos, entonces
tiene sensibilidad a las condiciones iniciales.
q2 son dos puntos peridicos de f

tales que Orb(q1 , f ) Orb(q2 , f ) 6= , entonces Orb(q1 , f ) = Orb(q2 , f ). En efecto, si
q Orb(q1 , f )Orb(q2 , f ), se tiene que Orb(q, f ) = Orb(q1 , f ) y Orb(q, f ) = Orb(q2 , f ).
Puesto que, como q Orb(q1 , f ) obtenemos que Orb(q, f ) Orb(q1 , f ). Por otro lado,
k
j
si f (q1 ) = q1 y f (q1 ) = q con j k , entonces
Demostracin. Observemos primero que si
q1
q1 = f kj (f j (q1 )) = f kj (q) Orb(q, f ).

Orb(q1 , f ) Orb(q, f ). De igual forma se muestra que Orb(q, f ) = Orb(q2 , f ).
X es innito y el conjunto de puntos peridicos es denso,
podemos asegurar la existencia de dos puntos peridicos q1 y q2 tales que
Luego,
De aqu, asumiendo que
Orb(q1 , f ) Orb(q2 , f ) = .
0 = d(Orb(q1 , f ), Orb(q2 , f )). De esta forma, usando la desigualdad
conseguimos que para cualquier x X la distancia de x a alguna de
Sea
triangular,
las rbitas
88
CAPTULO 5.
Orb(q1 , f )
Orb(q2 , f )
es por lo menos
0 /2.
COMENTARIOS FINALES
Mostraremos que
tiene sensibilidad
:= 0 /8.
N un entorno abierto de x. Por densidad, existe p X
punto peridico de f tal que p U := N B(x, ). Sea n N el perodo de p. Por
lo observado previamente, existe un punto peridico q X tal que la rbita Orb(q, f )
dista de x como mnimo en 4 . Consideramos
a las condiciones iniciales con constante de sensibilidad

Sea
x X
arbitrario y sea
V :=
n
\
f i (B(f i (q), )).
i=0
V es abierto y no vaco pues q V . Como f es transitiva, existe k N

k
k
tal que V f (U ) 6= . Es decir, existe y U tal que f (y) V .
Consideramos ahora, j N la parte entera de k/n + 1. Se tiene que k/n < j k/n + 1,
y luego, 1 nj k n. Por construccin tenemos que
Es claro que
f nj (y) = f njk (f k (y)) f njk (V ) B(f njk (q), ).

Al ser,
f nj (p) = p
aplicando la desigualdad triangular obtenemos
d(f nj (p), f nj (y)) = d(p, f nj (y))

d(x, f njk (q)) d(f njk (q), f nj (y)) d(p, x).
Por lo tanto, usando que
p B(x, )
f nj (y) B(f njk (q), )
se tiene
d(f nj (p), f nj (y)) > 2.

Para concluir, notemos que aplicando una vez ms la desigualdad triangular tenemos
que
d(f nj (x), f nj (y)) >

y tanto
como
pertenecen a
N.
o bien
d(f nj (x), f nj (p)) > ,
Resulta entonces, que
tiene sensibilidad a las
condiciones iniciales.
Volviendo al contexto lineal, los operadores hipercclicos verican una especie de sensibilidad a las condiciones iniciales ms fuerte que la denicin 5.2.2.
Proposicin 5.2.5.
X un F-espacio separable y sea T L(X) hipercclico. Entonces, para cualquier x X existe un conjunto G denso G(x) X tal que el conjunto
{T n (y) T n (x); n 0} es denso en X para cualquier y G(x).
Sea
x X , buscamos un conjunto G denso tal que y x HC(T )

y G(x). Simplemente tomamos G(x) := x + HC(T ), y listo.
Demostracin. Dado
para cualquier
x X y cualquier entorno abierto

n
n
no vaco N de x, existe y G(x) N . Por lo tanto, y N y {T (y) T (x); n 0} es
denso en X . Mientras que en la denicin 5.2.2 pedamos que para cualquier elemento
x X y cualquier entorno abierto no vaco N de x, exista y N tal que alguna
iteracin de f separe a x de y en mayor distancia que .
As en el contexto lineal, para cualquier elemento
5.2.
89
CAOS Y CAOS LINEAL
X es un F-espacio complejo, separable de dimensin innita.

T L(X) es catico si y slo si T es hipercclico y
Desde aqu, asumimos que

Luego, un operador
P er(T ) := {x X; x
es punto peridico de
T }
X.
es denso en
Proposicin 5.2.6. Si admite T
puntos peridicos entonces existen autovectores de
cuyo autovalor en una raz ensima de la unidad. Ms an,
P er(T ) = h{x X
nN
tales que existe
con
n = 1
T x = x}igen .
P er(T ) es un subespacio vectorial, pues T es lineal. Si

T x = x para algn C y n N con n = 1, entonces T n x = x y luego x P er(T ).
n
n
Para la otra inclusin, si T x = x, descomponemos el polinomio z 1 en un producto
Demostracin. Es claro que
de monomios
z n 1 = (z 1 ) . . . (z n ).
i , con i = 1, . . . , n son distintas, es fcil ver que {p1 (z), . . . , pn (z)}
(z
j ), es una base del espacio de los polinomios de grado menor

j6=i
n. En particular, existen i , i = 1, . . . , n tales que
Como todas las races

con
pi (z) =
estricto que
n
X
1=
i pi (z).
i=1
Evaluando en
T,
obtenemos
I=
n
X
i pi (T ).
i=1
Consideramos ahora,
yi := pi (T )x.
Tenemos que
(T i )yi = (T i )
Y
(T j )x = (T n I)x = 0,
j6=i
Pn
ni = 1. Adems, x =
i=1 i yi . De esta forma, x es
combinacin lineal de autovectores de T asociados a autovalores que son races ensimas
y entonces
T yi = i yi
con
de la unidad.
Como consecuencia directa tenemos la siguiente generalizacin del Corolario 1.3.10.
Corolario 5.2.7.
T L(X).
Sea
un F-espacio complejo, separable de dimensin innita, y
Si
[
||>1
Ker(T ),
Ker(T )
||<1
generan subespacios densos, entonces
[
||=1
es catico.
Ker(T ),
90
CAPTULO 5.
5.2.1.
COMENTARIOS FINALES
Operadores Shift
`p (N)
B : `p `p con
|| > 1 es hipercclico. Veamos que son caticos. Debemos mostrar que P er(B) es
p
denso en ` . En efecto, observemos que dada una sucesin x = (x1 , x2 x3 , . . . ) podemos
(n)
(n)
encontrar x
puntos peridicos de B , tales que x
x en `p . Tomamos
En la Seccin 1.4.2, vimos que en
con
1 p < ,
el operador

xn x1 x2
xn
x1 x2
x(n) = x1 , x2 , . . . , xn , n , n , . . . , n , 2n , 2n , . . . , 2n , . . . .

Luego, como
x(n) , y
|| > 1
se tiene que
x(n) `p
kx x(n) kp =
n N.
para todo
5.2.2.
(B)n x(n) =
!1/p
(n)
|xi xi |p
0.
i=n+1
Concluimos que los puntos peridicos de
Es claro que
son densos, y luego el operador es catico.
Otro ejemplo de operador catico es el operador de derivacin que denimos en le
D : H(C) H(C) son

unidad. Luego e H(C) es un
Seccin 1.4.1. Veamos ahora que los puntos peridicos de

densos en
H(C).
Sea
una raz n-sima de la
D,
punto peridico de
Dn (e ) = n e = e .
Adems,
S := h{e ;
raz de la unidad}igen
2j
2i
es un subespacio formado por puntos peridicos. Puesto que si

son dos races de la unidad y
C,
1 = e n1
2 = e n2
entonces
Dn1 n2 (e1 + e2 ) = e1 + e2 .
Por Lema 2.1.1, como el conjunto
de acumulacin, tenemos que
5.2.3.
A := { C;
raz de la unidad
es denso. Por lo tanto,
tiene un punto
es catico.
Criterio de Caoticidad
Veremos a continuacin un criterio que da condiciones sucientes para determinar si

un operador es catico. Recordemos que seguimos trabajando en F-espacios complejos,
separables de dimensin innita.
Teorema 5.2.8.
una aplicacin
T L(X). Supongamos
S : D D que cumplen
(1) Las series
x D,
Sea
n1
T n (x)
n1
S n (x)
que existe un conjunto denso
DX
convergen incondicionalmente para todo
5.3.
(2)
91
EL PROBLEMA DEL SUBESPACIO INVARIANTE
TS = I
Entonces,
en
D.
es catico.
T n (x) 0
Demostracin. Se sigue de (1), que

Por lo tanto,
S n (x) 0
para cualquier
satisface el Criterio de Hiperciclicidad. Ahora, dados
consideramos
xk :=
nk
S (x) + x +
n=1
xD
x D.
k 1,
T nk (x).
n=1
Por la Denicin 4.1.6, las series denidas anteriormente convergen y entonces
xk x.
k
Adems, se sigue de (2) que
T k (xk ) =
T k (S nk (x)) + T k (x) +
n=1
T (n+1)k (x)
n=1
(n1)k
(x) + T (x) +
(n+1)k
(x) = x +
(n1)k
(x) +
n=2
n=1
n=1
T nk (x)
n=1
= xk .
D se aproxima por puntos peridicos de T , concluimos
entonces que P er(T ) es denso en X . De esta forma queda demostrado que T es catico.
Por lo tanto, cualquier punto de
Queda claro que si
satisface el Criterio de Caoticidad entonces es mixing dbil. Pero
vale notar que todos los operadores caticos son mixing dbil. Para mostrarlo, citamos
el siguiente resultado de S. Grivaux [18].
Teorema 5.2.9.
acotada es denso,
T L(X) es hipercclico
entonces T es mixing dbil.
Si
Corolario 5.2.10.
Si
T L(X)
y el conjunto de vectores con rbita
es catico entonces es mixing dbil.
5.3. El Problema del Subespacio Invariante

Para concluir, comentamos un resultado de C. Read [28], que resuelve de forma negativa
el problema del subespacio invariante para espacios de Banach.
Problema del Subespacio Invariante: es cierto que en un espacio de Banach todo

operador acotado admite un subespacio propio cerrado e invariante?
Encontrar un contraejemplo para el Problema del Subespacio Invariante, es equivalente
a encontrar un operador acotado, tal que el subespacio generado por la rbita de
cualquier elemento no nulo sea densa.
Teorema 5.3.1 (C. Read). Existe un operador lineal y continuo en `1 (N) tal que todo
vector no nulo es hipercclico.
Es ms, este operador no tiene conjuntos propios cerrados e invariantes. Si
cerrado,
T -invariante
xF
entonces,
X = Orb(x, T ) F .
Todava queda abierto el problema para espacios de Hilbert.
F 6=
es
92
CAPTULO 5.
COMENTARIOS FINALES
Bibliografa
[1] S. I. Ansari, Existence of hypercyclic operators on topological vector spaces, J.
Funct. Anal. 148 (1997), no. 2, 384390.
[2] S. I. Ansari, Hypercyclic and cyclic vectors, J. Funct. Anal. 128 (1995), 374-383.
[3] F. Bayart y . Matheron, Dynamics of linear operators, Cambridge University
Press, Vol. 179 (2009).
[4] F. Bayart y . Matheron, Hypercyclic operators failing the hypercyclicity criterion
on classical Banach spaces, J. Funct. Anal. 250 (2007), no. 2, 426441.

[5] J. Bs, Three problem`s on hypercyclic operators. Ph.D thesis, Bowling Green State
University, Bowling Green, Ohio, 1998.
[6] J. Bs y A. Peris, Hereditarily hypercyclic operators, J. Funct. Anal. 167 (1999)
94112.
[7] C. Bessaga y A. Pelczynski. Selected Topics in Innite-Dimensional Topology,
PWN, Warsaw, 1975.
[8] G. D. Birkho, Dmonstration d'un thoreme elementaire sur les fonctions entie-
res, C. R. Acad. Sci. Pars 189 (1929), 473475.

[9] G. D. Birkho Surface transformations and their dynamical applications. Acta
Math., 43:1-119, 1922.
[10] J. Bonet y A. Peris, Hypercyclic operators on non-normable Frchet spaces, J.
Funct. Anal. 159 (1998), 587595.
[11] A. Bonilla y K.-G. Grosse-Erdmann, On a theorem of Godefroy and Shapiro. Integral Equations Operator Theory 56 (2006), no. 2, 151162.
[12] P. S. Bourdon y J. H. Shapiro, Cyclic Phenomena for Composition Operators,
Memoirs AMS 596, Vol. 125 (1997), 1105.
[13] J. B. Conway, Functions of a complex variable, 2nd ed., Springer-Verlag, Berlin
and New York, 1978.
[14] M. De La Rosa y C. Read, A hypercyclic operator whose direct sum is not hypercy-
clic, preprint, 2006.

93
94
BIBLIOGRAFA
[15] R. L. Devaney, An introduction to chaotic dynamical systems. Second edition.

Addison-Wesley Studies in Nonlinearity. Addison-Wesley Publishing Company,
Advanced Book Program, Redwood City, CA, 1989.
[16] R. M. Gethner y J. H. Shapiro, Universal vectors for operators on spaces of holo-
morphic functions, Proc. Amer. Math. Soc. 100 (1987), 281288.

[17] G. Godefroy y J. H. Shapiro, Operators with dense, invariant, cyclic vector mani-
folds, Funct. Anal. 98 (1991), no. 2, 229269.

[18] S. Grivaux, Hypercyclic operators, mixing operators, and the bounded steps pro-
blem, J. Operator Theory 54 (1) (2005), 147168.

[19] K.-G. Grosse-Erdmann, Recent developments in hypercyclicity, Rev. R. Acad.
Cien. 97 (2003), 273286.
[20] K.-G. Grosse-Erdmann, Universal families and hypercyclic vectors, Bull. Amer.
Math. Soc., 36 (3) (1999), 345381.
[21] K.-G. Grosse-Erdmann y A. Peris, Linear Chaos, Universitext, Springer, to appear.
[22] D. Herrero, Limits of hypercyclic and supercyclic operators, J. Funct. Anal. 99
(1991) 179190.
[23] C. Kitai, Invariant closed sets for linear operators, Thesis, Univ. of Toronto, 1982.
[24] F. Len-Saavedra y V. Muller, Rotations of hypercyclic and supercyclic operators.
En Perspectives in Operator Theory, 50: 385-391, 2004.
[25] G. R. MacLane, Sequences of derivatives and normal families, J. Analyse Math.
2, (1952). 7287.
[26] A. Peris, Hypercyclicity criteria and the Mittag-Leer theorem, Bull. Soc. Roy. Sci.
Lige 70 (2001) 365-371.
[27] S. Rolewicz, On orbits of elements, Studia Math. 33 (1969), 1722.
[28] C. J. Read The invariant subspace problem for a class of Banach spaces. II. Hy-
percyclic operators. Israel J. Math., 63: 1-40, 1988.

[29] H. Salas, A hypercyclic operator whose adjoint is also hypercyclic, Proc. Amer.
Math. Soc. 112 (1991), 765770.
[30] H. N. Salas, Hypercyclic weighted shifts, Trans. Amer. Math. Soc. 347 (1995),
993-1004.
[31] J. H. Shapiro, Composition Operators and Classical Function Theory, SpringerVerlag, 1993.
[32] S. M. Voronin, A theorem on the universality of the Riemann zeta function,
Math. USSR-Izv., 9:443-453, 1975.

Savransky Martin

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Savransky Martin

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE BUENOS AIRES

Facultad de Ciencias Exactas y Naturales

Operadores Hipercclicos y el Criterio de Hiperciclicidad

Director: Pinasco Damian

Sistemas Dinmicos Lineales . . . . . . . . . . . . . . . . . . . . . . . .

Restricciones que trae la denicin

Propiedades de los operadores hipercclicos . . . . . . . . . . . . . . . .

Primeros Ejemplos de Operadores Hipercclicos

2. Ejemplos de operadores hipercclicos

La funcin Zeta de Riemann . . . . . . . . . . . . . . . . . . . . . . . .

El problema del Criterio de Hiperciclicidad . . . . . . . . . . . . . . . .

Caracterizaciones del Criterio de Hiperciclicidad . . . . . . . . . . . . .

Indicios de una respuesta negativa . . . . . . . . . . . . . . . . . . . . .

4. Contraejemplo del problema Mixing Dbil

Sobre bases incondicionales en espacios de Banach . . . . . . . .

Variaciones del resultado principal . . . . . . . . . . . . . . . . . . . . .

Operadores hipercclicos que son mixing dbil

Caos y Caos Lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

El Problema del Subespacio Invariante

subconjuntos invariantes: dado un operador lineal

un espacio de Frchet separable de dimensin innita y

operador lineal y continuo. Dado

T se dice hipercclico si existe x X

(vector hipercclico) tal que

con rbita densa de un operador hipercclico es denso, conexo y homeomorfo al espacio

Por supuesto, no exita an la nocin de hiperciclicidad,

y el inters de estos trabajos no se centraba en la dinmica de los operadores sino en

que conmute con las traslaciones y no sea un mltiplo de

la identidad es tambin hipercclico.

es hipercclico para todo

dotado con la topologa de convergencia uniforme sobre

compactos. Dada una funcin holomorfa

S. Bourdon y J. H. Shapiro determinan si el operador de composicin es hipercclico

que lo induce. En [31], se estudian operadores

T : X X permiten no solo probar su hiperciclicidad, sino tambin

troducen un criterio similar al anterior, conocido como el criterio de hiperciclicidad

implica que el operador

satisface las hip-

es hipercclico es equivalente a decir que las condiciones

del criterio de hiperciclicidad son necesarias para la hiperciclicidad de un operador

diversos ejemplos en espacios de Banach clsicos, como por ejemplo en

Estructuramos el trabajo de la siguiente forma.

junto con una topologa

operadores lineales y continuos sobre el espacio

El objeto de estudio sern

Denimos entonces, los sistemas dinmicos lineales.

Denicin 1.1.1. Un sistema dinmico lineal es un par (X, T ) donde X es un espacio

Decimos que el espacio mtrico

espacio vectorial real o complejo con una mtrica

es un F-espacio localmente convexo, decimos que

que lo hace completo. Si adems

rbita del elemento

(X, T ) un sistema dinmico

que admiten rbitas densas.

En ese caso, decimos que

al conjunto de los vectores hipercclicos de

Similarmente, denimos operadores cclicos.

hOrb(x, T )igen = K[T ]x = {P (T )x : P K[t]}

Teorema 1.1.7 (Teorema de la categora de Baire).

completo, entonces toda interseccin numerable de abiertos densos es densa en

1.2. Restricciones que trae la denicin

otras restricciones sobre el sistema

No existen operadores hipericclicos en espacios de dimensin nita.

X = KN y supongamos que existe un operador hipercclico, T

Restricciones que trae la denicin

un espacio de Frchet separable de dimensin innita y

troducen un criterio similar al anterior, conocido como el criterio de hiperciclicidad

es hipercclico es equivalente a decir que las condiciones

Denimos entonces, los sistemas dinmicos lineales.

Denicin 1.1.1. Un sistema dinmico lineal es un par (X, T ) donde X es un espacio

Similarmente, denimos operadores cclicos.

1.2. Restricciones que trae la denicin

No existen operadores hipericclicos en espacios de dimensin nita.

Continuamos analizando ms propiedades que surgen de la denicin. En este caso, una

Probemos ahora el mismo resultado en el caso real. Para eso, complejicaremos el

para complejicar el espacio y el operador. Consideramos

Denicin 1.3.1. Sea X un espacio topolgico y T

Teorema 1.3.2 (Teorema de Birkho ). Sean X un F-espacio separable y un operador

no tiene puntos aislados, al quitar nitos puntos el conjunto se mantiene

Es inmediato de la denicin de transitividad que si T es inversible, entonces es topo1

Denicin 1.3.4 (Criterio de Hiperciclicidad - Bs).

Observamos que, en la denicin, no se supone que los conjuntos densos

Denicin 1.3.5 (Criterio de Hiperciclicidad I).

Denicin 1.3.6 (Criterio de Hiperciclicidad II - Kitai).