nea Matema

tica 57 (2013) 103117

Miscela

SMM

Grados de ciclicidad de los operadores de

Ces`aro-Hardy
F. Galaz-Fontes
CIMAT
galaz@cimat.mx

R. W. Ruiz-Aguilar
CIMAT
rowenrva@cimat.mx

Introducci
on
Sea S el espacio vectorial formado por las sucesiones {an } K, donde
K := R o K := C y el ndice n vara en N0 := N {0}. El operador
de Ces`aro es el operador C que resulta al asignar a cada sucesion de
n
umeros reales o complejos, la sucesion formada por sus promedios. As,
dada una sucesion s := {an } S, el n-esimo termino de la sucesion Cs
es
a0 + . . . + an
.
(1)
(Cs)n :=
n+1
Notemos que C es un operador lineal, es decir, si s, son sucesiones y
es un escalar, entonces C(s + ) = C(s) + C() y C(s) = C(s).
Si s es una sucesion acotada entonces la sucesion Cs tambien lo es.
Cuando s es convergente, entonces Cs tambien es convergente y tiene
igual lmite que s. Estas propiedades del operador de Ces`aro son bien
conocidas y su prueba es sencilla, como lo veremos en la proposicion 4.
Las sucesiones de promedios fueron estudiadas desde 1821
Ppor Augustin Louis Cauchy (17891857), quien demostro que si n=0 bn es
una serie que converge a b, y {an } es la sucesion de sus sumas parciales,
n
se cumple entonces que a0 ++a
b [1, p. 102]. Sin embargo, fue Ern+1
nesto Ces`aro (18591906) quien en 1890 les dio relevancia al utilizarlas
como punto de partida en su estudio de las series divergentes [1, p. 102]

104

F. Galaz-Fontes y R. W. Ruiz-Aguilar

y donde la segunda de las propiedades de C que antes mencionamos

resulta basica.
Denotemos por ` el espacio formado por las sucesiones acotadas.
En ` hay diversos subespacios que son de interes. Ademas de `
dos de ellos ya aparecieron en relacion al operador de Ces`aro y son
el que consiste de las sucesiones convergentes, el cual se denotara por
c, y el constituido por las sucesiones convergentes a cero, el cual se
indicara por c0 . Dado p [1, ), tambien consideraremos el espacio `p ,
cuyos
son las sucesiones s := {an } que son p-sumables, esto
P elementos
p
es,
|
a
|
<
.
n
n=0
Un subconjunto X S es invariante bajo una funcion T : S S,
o T -invariante, si T (X) X, es decir si T (s) X siempre que s X.
Con la terminologa anterior, las propiedades del operador de Ces`aro
que mencionamos inicialmente (vease la proposicion 4) indican simplemente que si X = ` , X = c o X = c0 , entonces X es invariante bajo
C. Naturalmente, surge ahora la cuestion de determinar si cada espacio
`p es invariante bajo C.
Ejemplo 1. Denotemos por e0 la sucesi
rmino es 1 y
primer teP
on1 cuyo
1
.
Ya
que
todos los demas son 0. Entonces Ce0 = n+1
k=1 k = ,
n=0
1
1
concluimos que Ce0
/ ` . Puesto que e0 ` , esto muestra que el
1
espacio ` no es invariante bajo el operador de Ces`aro.
El caso previo resulta ser excepcional pues en 1920 Godfrey Harold
Hardy (18771947) demostro que, para 1 < p < , el espacio `p es
invariante bajo el operador de Ces`aro [5, p. 240]. Para ello establecio una desigualdad, que hoy lleva su nombre, y que probaremos en
la seccion 1. La prueba es sencilla de seguir, aunque requiere conocer
algunos resultados auxiliares.
El operador de Hardy H se obtiene al considerar en (1) en lugar de la
suma la integral (de Lebesgue) y cambiar las sucesiones por funciones
localmente integrables, esto es, funciones que son integrables en cada
intervalo (0, x) donde x I, siendo I = (0, 1) o I = (0, ). Esto
permite definir
Z
1 x
f (s)ds, x I.
(2)
Hf (x) :=
x 0
As, el operador de Hardy es la version continua del operador de Ces`aro
y como era de esperarse, tiene propiedades similares.
Si bien hasta este punto nos hemos referido a los conjuntos ` , c,
c0 y `p , 1 p < , simplemente como espacios (vectoriales), estos
tienen otras propiedades que resultan fundamentales para analizar las

Grados de ciclicidad de los operadores . . .

105

cuestiones que estamos tratando y que quedan comprendidas dentro

del concepto de espacio de Banach.
Un espacio de Banach X es un espacio vectorial provisto de una
norma, k k, con la propiedad de que cualquier sucesion de Cauchy
{xn } X es convergente. En este caso, a partir de su norma quedan
definidos conceptos como conjunto cerrado, cerradura y continuidad.
Ejemplo 2. Observemos que ` := {s S : ksk < }, donde
ksk := sup{|an | : n N0 }, s := {an }.
La funcion k k resulta ser una norma en ` , llamada norma del
supremo, y con ella ` es un espacio de Banach [8, 1.5].
Los espacios c y c0 son subconjuntos cerrados en ` . Lo cual implica
que, con la norma del supremo, tanto c como c0 tambien son espacios
de Banach.
Ejemplo 3. Dado p [1, ), observemos que el espacio `p consiste de
aquellas sucesiones s := {an } tales que
kskp :=

! p1
| an|p

< .

n=0

La funcion k kp resulta ser una norma en `p , y con ella `p es un

espacio de Banach [8, 1.5].
Sea X un espacio de Banach. Si T : X X es un operador lineal se
acostumbra escribir simplemente T x en lugar de T (x). Por otra parte,
su continuidad equivale a que sea acotado [8, 2.7], esto es,
kT k := sup{kT xk : kxk 1} < .
Sean X un espacio de Banach y T : X X un operador lineal
continuo. La orbita bajo T de un punto x X es el conjunto
Orb(x, T ) := {T n x : n N0 }.

(3)

Las orbitas correspondientes a T estan ntimamente relacionadas

con la existencia de conjuntos o subespacios T -invariantes. Esto motiva
las propiedades de hiperciclicidad, superciclicidad o ciclicidad que el
operador T puede tener. En la seccion 3 presentamos y discutimos estos
conceptos.
La ciclicidad es una nocion bien conocida, de hecho se maneja en
algebra lineal y es mas debil que la hiperciclicidad. Una razon por la

106

F. Galaz-Fontes y R. W. Ruiz-Aguilar

cual el fenomeno de ciclicidad resulta de particular relevancia es su

relacion con el problema que describimos a continuacion.
Dado un operador lineal continuo T : X X, observemos que X
y {0} son subespacios vectoriales cerrados de X que son T -invariantes.
Surge entonces la cuestion de determinar si hay otros subespacios cerrados que son T -invariantes. Mas a
un, nos podemos preguntar si otros
subconjuntos cerrados no-vacos son T -invariantes. Al primer problema
se le llama el problema del subespacio invariante para T y al segundo
se le conoce como problema del subconjunto invariante para T .
Per Enflo establecio en 1976 la existencia de un espacio de Banach
X con un operador lineal acotado cuyos u
nicos subespacios invariantes
cerrados son X y {0} [3]. Posteriormente, en 1986 Charles J. Read
probo que de hecho eso sucede cuando X := `1 [12]. Sin embargo, hasta hoy no se ha logrado determinar si esto tambien ocurre en el caso en
que X := `2 . A esta cuestion se le llama problema del subespacio invariante y es uno de los problemas abiertos mas importantes en analisis
funcional.
Para terminar este trabajo, en la seccion 4 discutimos si los operadores de Ces`aro o de Hardy son hipercclicos, supercclicos o cclicos. En
particular, presentamos una prueba sencilla de que, en ciertos casos, los
correspondientes operadores de Ces`aro y de Hardy no son supercclicos.

1.

Operadores de Ces`
aro

Como se menciono en la introduccion, en esta seccion mostraremos

que diversos espacios de sucesiones son invariantes bajo el operador de
Ces`aro C : S S, definido en (1).
Proposici
on 4. Sea s S.
i) Si s ` , entonces Cs ` y kCsk ksk .
ii) Si s c, entonces Cs c y ademas tiene el mismo lmite que s.
iii) C(c0 ) c0 .
Demostracion.
i) Sea s = {an } ` , tomemos Cs = {bn } y fijemos
n N0 . Luego,


 a0 + . . . + an  |a0 | + . . . + |an |

ksk .
|bn | = 

n+1
n+1
Tomando ahora el supremo sobre los ndices n N0 , resulta que
Cs ` y kCsk ksk .

Grados de ciclicidad de los operadores . . .

107

ii) Sea s = {an } c y tomemos L = lm s := lmn an . Para

probar que lm Cs = L, observemos que para n, N N0 , n > N
se cumple
  Pn

 Pn
n
N
 


  j=0 (aj L)  X |aj L| X |aj L|
 j=0 aj
L = 
+
.


 

 n+1
n+1
n
+
1
n
+
1
j=0
j=N +1
(4)
Dado  > 0 elijamos N N tal que

|aj L| , n N.
2

(5)

P
|aj L|
Una vez fijada N se cumple que N
j=0 n+1 0 cuando n
y, por lo tanto, podemos encontrar N1 N tal que N1 > N y
N
X

|aj L|
, n N1 .
n+1
2
j=0

(6)

A partir de (4)-(6) resulta entonces que


 Pn
  n N    


 j=0 aj
L +
< , n N1 .

 2
 n+1
n+1
2
Esto prueba que L = lm Cs.
iii) La conclusion es consecuencia directa de ii).
Observaci
on 5. Notemos que la desigualdad que aparece en i) de la
proposicion anterior indica que
kC k 1,
donde C := C : ` ` . De esto se sigue que
kCc k 1

kC0 k 1,

donde Cc := C : c c y C0 := C : c0 c0 . As, los operadores lineales

C , Cc y C0 son acotados y por lo tanto, continuos.
A continuacion estableceremos que, para 1 < p < , el espacio
`p es invariante bajo el operador de Ces`aro y Cp := C : `p `p
es continuo. Esto se obtendra probando la desigualdad de Hardy. Al

108

F. Galaz-Fontes y R. W. Ruiz-Aguilar

respecto, cabe observar que en su demostracion Hardy no presento el

valor q que aparece en (7).
Para probar la desigualdad de Hardy necesitaremos del siguiente
teorema [8, 1.2]. Dado p [1, ], recordemos que su exponente conjugado q = q(p) esta definido por la condicion p1 + 1q = 1. Observemos
p
, si 1 < p < .
que q(1) = , q() = 1 y q(p) = p1
Teorema 6. Sean 1 < p < y q su exponente conjugado.
i) Entonces xy p1 xp + 1q y q , x, y 0.
ii) (Desigualdad de Holder) Si x0 , . . . , xn ; y0 , . . . , yn son n
umeros noPn
Pn
p p1 Pn
q 1q
negativos, entonces k=0 xk yk ( k=0 xk ) ( k=0 yk ) .
Teorema 7 (Desigualdad de Hardy, 1920). Sea 1 < p < y q su
exponente conjugado. Si s `p , entonces Cs `p y
kCskp qkskp .

(7)

Demostracion. Sean s = {an } `p y Cs = {bn }. Tomemos |s| :=

{|an |}. Entonces kCskp kC|s|kp . Trabajando directamente con |s|,
esto nos permitira suponer que an 0, n N0 . De acuerdo con i) del
teorema anterior se cumple
1
1
bn1 bp1
bpn1 + bpn , n N.
n
p
q

(8)

Empleando primero que an = (n + 1)bn nbn1 , usando despues (8)

y teniendo presente que pq = q 1, resulta
qan bp1
bpn = q(n + 1)bpn qnbn1 bp1
bpn
n
n
q
q(n + 1)bpn nbpn1 nbpn bpn
p
= (q 1)(n + 1)bpn (q 1)nbpn1 , n N.
Sumando ahora y observando que en el miembro derecho aparece
una suma telescopica, se sigue que
q

N
X

ak bp1

k=0

N
X

bpk (q 1)(N + 1)bpN 0, N N.

k=0

Usando lo anterior y la desigualdad de Holder se obtiene

N
X
k=0

bpk q

N
X
k=0

ak bp1
q
k

N
X
k=0

! p1
apk

N
X
k=0

! 1q
bpk

, N N.

Grados de ciclicidad de los operadores . . .

109

Ya que (7) se cumple si Cs = 0, podemos suponer que N es tal que

1
P
PN p
N
p q
=
6
0.
Luego,
despu
e
s
de
dividir
entre
b
resulta
b
k=0 k
k=0 k
N
X

! p1
bpk

k=0

N
X

! p1
apk

qkskp .

k=0

Haciendo finalmente N se concluye lo afirmado.

2.

Operadores de Hardy

Sea I el intervalo (0, 1) o el intervalo (0, ). Dada una funcion localmente integrable definimos la funcion Hf como en (2). Notemos que la
funcion Hf obtenida de esta manera siempre es continua.
En lugar de `p consideraremos ahora el espacio de Banach Lp (I),
donde 1 p < . Este consiste de las (clases de equivalencia de)
funciones medibles f : I K tales que kf kp < , donde
Z

| f|

kf kp :=

 p1
.

En Lp (I) trabajamos con la norma k kp .

Al igual que en el caso de las sucesiones, al cual nos referiremos
como el caso discreto, surge ahora la cuestion de si los espacios Lp (I)
son invariantes bajo el operador de Hardy H. Como antes, la respuesta
es afirmativa cuando 1 < p < . La correspondiente desigualdad de
Hardy indica que
kHf kp qkf kp , f Lp (I),
donde q es el exponente conjugado de p. Esta tambien fue demostrada
por Hardy en el artculo de 1920 antes citado.
Otro espacio de Banach que nos interesa es C[0, 1], el cual consiste de
las funciones continuas f : [0, 1] K. La norma en C[0, 1] esta definida
por
kf k := sup{| f (x)|: 0 x 1},
a la cual tambien se le llama norma del supremo.
Cada punto a [0, 1] define el funcional de evaluacion en a mediante
la correspondencia
a (f ) := f (a), f C[0, 1].

110

F. Galaz-Fontes y R. W. Ruiz-Aguilar

Ya que | f (a) | kf k , f C[0, 1], cada uno de estos funcionales

es continuo. Se sigue entonces que el espacio vectorial {h C[0, 1] :
h(0) = 0} es cerrado.
Denotaremos por C[0, ] al espacio que consiste de todas las funciones f : [0, ) K que son continuas y tales que lmx f (x)
existe. Asmismo, C0 [0, ) indicara el subespacio de C[0, ] formado
por aquellas funciones tales que lmx f (x) = 0. La norma que consideramos en C[0, ] y por lo tanto tambien en C0 [0, ), es la norma
del supremo,
kf k := {| f (x)|: 0 x < }.
Estos espacios resultan ser espacios de Banach.
Notemos que dada f X, donde X = C[0, 1], X = C0 [0, ) o bien
X = C[0, ], se satisface que
Rx

Z x

f
(s)ds
d
= f (0).
f (s)ds
=
lm+ Hf (x) = lm+ 0

x0
x0
x
dx
0
x=0
Esto permite extender continuamente la funcion Hf , definiendo
Z
Hf (0) := f (0), f X, Hf (1) :=

f (s)ds, f C[0, 1].

0

Entonces Hf X y ademas, tomando H := H : X X, se cumple

que
kH k 1.

3.

Orbita
de un punto bajo un operador

En todo lo que sigue X es un espacio de Banach distinto de {0}, real o

complejo y T : X X un operador lineal continuo. Dado un conjunto
A X, A denotara su cerradura y spanA el espacio vectorial generado por A. En este caso es sencillo verificar que si A es T -invariante,
entonces A y spanA tambien lo son.
Fijemos x X y empecemos observando que su orbita Orb(x, T ) es
T -invariante. Luego, Vx := span(Orb(x, T )) sigue siendo T -invariante
y, por lo tanto, tambien lo es su cerradura. Claramente, Vx es un subespacio vectorial cerrado y x Vx .
Supongamos ahora que V X es cualquier subespacio de X que
es cerrado, T -invariante y tal que x V . Entonces T n x V, n N0 ,
esto es, Orb(x, T ) V . Lo cual implica que Vx V . Siendo V un
conjunto cerrado, esto lleva a concluir que Vx V .

Grados de ciclicidad de los operadores . . .

111

Lo anterior muestra que entre los subespacios vectoriales de X a los

cuales pertenece x y que son cerrados y T -invariantes, el mas peque
no
es span(Orb(x, T )).
Supongamos ahora que no se esta interesado en que el subconjunto
cerrado y T -invariante sea un subespacio vectorial sino simplemente que
sea no-vaco. Dado x X, el desarrollo previo indica que Orb(x, T ) es
el subconjunto cerrado de X mas peque
no al cual x pertenece y que es
invariante bajo T .
La discusion anterior motiva las siguientes definiciones.
Definici
on 8.
a) Si existe x X cuya orbita Orb(x, T ) es densa en
X, al operador T se le llama hipercclico y a x vector hipercclico
de T .
b) Si existe x X tal que el espacio vectorial span(Orb(x, T )) es
denso en X, al operador T se le llama cclico y a x vector cclico
de T .
Observemos que se cumple entonces lo siguiente.
Lema 9.
i) X y {0} son los u
nicos subespacios vectoriales cerrados
invariantes bajo T si y solo si, todo vector x X que es distinto
de cero, es un vector cclico de T .
ii) X y {0} son los u
nicos subconjuntos no-vacos invariantes bajo
T si y solo si, todo vector x X que es distinto de cero, es un
vector hipercclico de T .
En la introduccion mencionamos que Read construyo un operador
lineal continuo T : `1 `1 que solo tiene a {0} y `1 como subespacios cerrados invariantes. En 1988 mejoro este resultado al construir,
tambien en `1 , un operador lineal continuo T que tiene a todos los vectores diferentes de cero como vectores hipercclicos. Por lo tanto, de
acuerdo con ii) del lema anterior, en este caso `1 y {0} son los u
nicos
subconjuntos cerrados y no-vacos que son invariantes bajo T .
Cabe mencionar que la ciclicidad en un espacio normado X solo se
pueden presentar cuando X es separable, esto es, existe un conjunto
A X que es denso y numerable.
El primer ejemplo de un operador hipercclico surgio en el contexto
de variable compleja. Fue G. D. Birkhoff quien en 1929 demostro que,
para cada a C \ {0}, el operador de ((traslacion)) Ta : H(C) H(C),
dado por
Ta (f )(z) := f (z + a), z C

112

F. Galaz-Fontes y R. W. Ruiz-Aguilar

es hipercclico [14]. Aunque en H(C), el espacio formado por las funciones holomorfas f : C C, la topologa no proviene de una norma sino
de una metrica, el concepto de hiperciclicidad sigue teniendo sentido.
Por otra parte, en 1969, S. Rolewicz fue el primero en presentar

operadores hipercclicos en un espacio de Banach [13]. Estos

fueron
aquellos de la forma B, donde B es el operador de desplazamiento
hacia atras definido en el espacio lp , 1 p < , por
B(a0 , a1 , . . .) := (a1 , a2 , . . . ).
En 1982 y 1987 aparecieron, respectivamente, la tesis doctoral de
Kitai [7] y el trabajo de Gethner y Shapiro [4], quienes independientemente encontraron un criterio de sencilla aplicacion que brinda condiciones suficientes para que un operador sea hipercclico.
En los u
ltimos a
nos el estudio de la hiperciclicidad ha tenido un desarrollo importante. Entre otros resultados de interes, se encuentra el
que la hiperciclicidad es un fenomeno que solo puede ocurrir en espacios
de Banach de dimension infinita [14]. Por otra parte, en 2007 Manuel de
la Rosa y C. J. Read, quien hizo su doctorado con Read y realizo sus
estudios de licenciatura en la UNAM, resolvieron una cuestion muy
importante conocida como ((el gran problema abierto en hiperciclicidad))
[2].
Observemos que si T es un operador hipercclico, entonces T es cclico. Como una propiedad intermedia entre hiperciclicidad y ciclicidad,
Hilden y Wallen introdujeron en 1974 la siguiente propiedad [6].
Definici
on 10. Si existe x X tal que el conjunto {T n x : K, n
N0 } es denso en X, al operador lineal continuo T : X X se le llama
supercclico y a x vector supercclico de T .

4.

Grados de ciclicidad de los operadores

de Ces`
aro-Hardy

En 2009 F. Leon Saavedra, A. Piqueras Lerena y J. B. Seoane Sep

ulveda
p
p
establecieron que el operador de Hardy Hp := H : L (0, 1) L (0, 1),
donde 1 < p < , es hipercclico y que, por otra parte, el operador de
Hardy H := H : C[0, 1] C[0, 1] no es supercclico [11]. En seguida
demostraremos el u
ltimo resultado siguiendo otras ideas.
En [11] tambien se afirmo que el operador de Ces`aro Cp : `p `p ,
donde 1 < p < , no es supercclico. Aunque esto es cierto, la demostracion presentada en dicho trabajo tiene un error, pues el teorema
de superciclicidad positiva establecido en [10] no se puede aplicar a

Grados de ciclicidad de los operadores . . .

113

los operadores de Ces`aro Cp . El metodo que en seguida usaremos nos

permitira dar una prueba correcta.
Introduzcamos el operador de Ces`aro en K2 , F : K2 K2 , definido
por


a0 + a1
.
F (a0 , a1 ) := a0 ,
2
En K2 tomaremos la norma del supremo, esto es k(a, b)k := max{| a|
, | b|}. Se cumple entonces que kF k 1.
Lema 11. El operador de Ces`aro F no es supercclico.
Demostracion. Consideremos
V := {(0, c) : c K}
y notemos que V es un subespacio cerrado de K2 que es F -invariante.
Sea x := (a, b) K2 . Si x V , esto es a = 0, entonces Orb(x, F ) V .
De lo cual resulta que {F n x : K, n N0 } V . Por consiguiente,
en este caso x no es vector supercclico de F .
Supongamos ahora que a 6= 0 y que existen sucesiones {k } K
y {n(k)} N0 tales que k F n(k) x (0, c), donde c K. Ya que
(F n x)0 = a, n N0 , esto implica que k a 0 y, por lo tanto,
k 0.
Por otra parte, de kF k 1 se sigue que kF n(k) xk kxk, k N0 .
Puesto que k 0, esto lleva a concluir que k F n(k) x (0, 0) y por
lo tanto, c = 0. As, en este caso x tampoco es vector supercclico de
F.
Proposici
on 12.
i) El operador de Hardy H : X X, donde
X = C[0, 1], X = C[0, ] o X = C0 [0, ), no es supercclico.
ii) El operador de Ces`aro Cp : `p `p , 1 < p < , no es supercclico.
iii) El operador de Ces`aro C : X X, donde X = c0 o X = c, no
es supercclico.
Demostracion.
i) Probaremos el caso en que X = C[0, 1], los otros
casos se pueden establecer de igual forma. De hecho, la prueba es
enteramente analoga a la del lema anterior.
Tomemos
V := {h C[0, 1] : h(0) = 0}

114

F. Galaz-Fontes y R. W. Ruiz-Aguilar
y notemos que V es un subespacio cerrado que es invariante bajo
n
f :
H . Consideremos f C[0, 1]. Si f V , entonces {H
K, n N0 } V . Por consiguiente, en este caso f no es vector
supercclico de H. Supongamos ahora que f (0) 6= 0 y que existen
n(k)
sucesiones {k } K y {n(k)} N0 tales que k H f g
n
C[0, 1], donde g(0) = 0. Puesto que (H
f )(0) = f (0), n N0 ,
esto implica que k f (0) 0 y por lo tanto, k 0. Ya que
n(k)
kH k 1, se sigue que k H f 0. As g = 0. Esto muestra
que en este caso f tampoco es vector supercclico de H .

ii) Fijemos p (1, ) y consideremos en K2 la ((norma p)), definida

por
1
k(a, b)kp := (| a|p + | b|p ) p .
Sea {xn } K2 . Es sencillo establecer entonces que
kxn kp 0 si y solo si, kxn k 0.

(9)

Sea F el operador de Ces`aro en K2 . Si x = (a, b) K2 definamos

como s := {sn } la sucesion tal que s0 := a, s1 := b y sm :=
0, m 2. Entonces
(F x)m = (Cs)m , m = 0, 1.

(10)

Supongamos que Cp : `p `p tiene un vector supercclico :=

{n }. En virtud de (10) y (9), esto implica que x0 := (0 , 1 ) K2
es un vector supercclico de F . Sin embargo, de acuerdo al lema
11 esto no es posible.
iii) La demostracion es analoga a la de ii).
Recordemos que Cp := C : `p `p , 1 < p < , Cc := C : c c y
C0 := C : c0 c0 . En 1971 T. L. Kriete y David Trutt [9] demostraron
que e0 `2 es un vector cclico del operador T := I C2 , definido en el
espacio complejo `p . A partir de este resultado obtuvieron el siguiente
teorema.
Teorema 13. El operador de Ces`aro C2 tiene a e0 como vector cclico.
A continuacion usaremos el teorema anterior y la siguiente proposicion auxiliar para analizar la ciclicidad de los operadores de Ces`aro Cp
y C0 .

Grados de ciclicidad de los operadores . . .

Proposici
on 14.

115

i) El subespacio de sucesiones

c00 := {{an }
n=0 S : k N tal que an = 0, n k}
es denso en lp , 1 p < , y en c0 .
ii) Sean 1 p < r < . Entonces, lp lr y
kskr kskp , s lp .

(11)

Ademas `p c0 y ksk kskp , s lp .

Corolario 15.

i) El operador de Ces`aro Cp es cclico, p [2, ).

ii) El operador de Ces`aro C0 es cclico.

Demostracion.
i) Sean p [2, ), x c00 y V := Span (Orb(e0 , Cp )).
Puesto que e0 lp , observemos que V lp . Ya que c00 l2 , por el
teorema 13, existe una sucesion {xn } V tal que xn x en l2 .
Luego, usando (11) se sigue que xn x en lp .
Por lo tanto, c00 V , donde la cerradura se refiere a la norma
k kp . Finalmente, por i) de la proposicion 14, esto implica que
lp = V . As, e0 es un vector cclico de Cp .
ii) La demostracion es analoga a la de i).
Antes de continuar hacemos notar que, hasta donde los autores
conocen, no se sabe si el operador de Ces`aro Cp es cclico, cuando
1 < p < 2.
Proposici
on 16. El operador de Ces`aro Cc no es cclico.
Demostracion. Supongamos que w = {wn } c es un vector cclico de
Cc . Definamos las funciones L, : c K por
Lx := lm xn y x := x0 , x = {xn } c.
n

Observemos que L y son operadores lineales continuos y ademas,

LCc x = Lx y Cc x = x, x c.
Puesto que e0 c, existe una sucesion {Sn w} Span(Orb(w, Cc )),
Pm(n)
donde Sn = k=0 k,n Cck , tal que Sn w e0 . Por la continuidad de L
y esto implica
L (Sn w) Le0 = 0 y (Sn w) (e0 ) = 1.

(12)

116

F. Galaz-Fontes y R. W. Ruiz-Aguilar

Por otra parte, notemos que para cada n N,

m(n)

m(n)

k,n L Cck w = L(w)

k,n

L (Sn w) =

k=0

(13)

k=0

y
m(n)

m(n)

k,n Cck w = w0

(Sn w) =

k=0

k,n .

(14)

k=0

De (12) y (14) obtenemos que w0 6= 0 y

m(n)

lm

X
k=0

k,n =

1
.
w0

(15)

Usando (12), (13) y (15) se sigue que L(w) = 0, esto es, w c0 . Ya que
c0 es invariante bajo Cc , esto implica que Span(Orb(w, Cc )) c0 ( c.
Lo cual contradice que w c es un vector cclico de Cc . Por lo tanto,
el operador Cc no es cclico.

Agradecimientos
Los autores agradecen la valiosa revision de los arbitros, cuyos comentarios condujeron a elaborar una presentacion mas adecuada.

Bibliografa
1. J. L. Bosanquet, ((Some aspects of Hardys mathematical work. (1) Early
work on divergent series)), J. London Math. Soc., vol. s1-25 (2), 1950,
102106.
2. M. de la Rosa y C. Read, ((A hypercyclic operator whose direct sum T T
is not hypercyclic)), J. Operator Theory, vol. 61 (2), 2009, 369380.
3. P. Enflo, ((On the invariant subspace problem in Banach spaces, Seminaire Maurey-Schwartz)), en Espaces Lp, applications radonifiantes et
geometrie des espaces de Banach, Exp. Nos. 14-15, pp. 7, MR0473871,

Centre Math., Ecole

Polytech., Palaiseau, 19751976.
4. R. M. Gethner y J. L. Shapiro, ((Universal vectors for operators on spaces
of holomorphic functions)), Proc. Amer. Math. Soc., vol. 100 (2), 1987,
281288.
5. G. H. Hardy, J. E. Littlewood y G. Polya, Inequalities, Cambridge University Press, Cambridge, 1934.

Grados de ciclicidad de los operadores . . .

117

6. H. M. Hilden y L. J. Wallen, ((Some cyclic and non-cyclic vectors od

certain operators)), Indiana University Mathematics J., vol. 23, 1974,
557565.
7. C. Kitai, ((Invariant closed sets for linear operators)), 1982, Ph. D. Thesis,
University of Toronto.
8. E. Kreyszig, Introductory functional analysis with applications, John Wiley & Sons, New York, 1978.
9. T. L. Kriete, III y D. Trutt, ((The Ces`aro operator in l2 is subnormal)),
Amer. J. Math., vol. 93, 1971, 215225.
10. F. Le
on-Saavedra y V. M
uller, ((Rotations of Hypercyclic and Supercyclic Operators)), Integral Equations and Operator Theory, vol. 50 (3),
2004, 385391.
11. F. Le
on-Saavedra, A. Piqueras-Lerena y J. B. Seoane-Sep
ulveda, ((Orbits
of Cesaro type operators)), Math. Nachrichten, vol. 282 (5), 2009, 764
773.
12. C. J. Read, ((A solution to the invariant subspace problem on the space
`1 )), Bull. London Math. Soc., vol. 17 (4), 1985, 305317.
13. S. Rolewicz, ((On orbits of elements)), Studia Math., vol. 32, 1969, 1722.
14. J. H. Shapiro, ((Notes on the Dynamics of Linear Operators)), unpublished lecture notes (Disponible en http://www.math.msu.edu/
~shapiro), 2001.