MULTIPLICATIVE STRUCTURES OF HYPERCYCLIC
FUNCTIONS FOR CONVOLUTION OPERATORS
LUIS BERNAL-GONZÁLEZ, J. ALBERTO CONEJERO, GEORGE COSTAKIS,
AND JUAN B. SEOANE-SEPÚLVEDA

arXiv:1710.10413v1 [math.FA] 28 Oct 2017

Dedicated to Professor Domingo Garcı́a on the occasion of his 60th birthday
Abstract. In this note, it is proved the existence of an infinitely generated
multiplicative group consisting of entire functions that are, except for the constant function 1, hypercyclic with respect to the convolution operator associated
to a given entire function of subexponential type. A certain stability under multiplication is also shown for compositional hypercyclicity on complex domains.

1. Introduction
Assume that X is a (Hausdorff) topological vector space over the real line R or
the complex plane C, and consider the vector space L(X) of all operators on X,
that is, the family of all continuous linear self-mappings T : X → X. An operator
T ∈ L(X) is said to be hypercyclic provided that it admits a dense orbit, that is,
provided that there is some vector x0 ∈ X (called hypercyclic for T ) such that
the orbit {T n x0 : n ∈ N} of x0 under T is dense in X (N := {1, 2, . . . }). The
set of hypercyclic vectors for T will be denoted by HC(T ). In this paper, we are
concerned with the size of HC(T ), mainly from an algebraic point of view and for
certain differential operators. For background on hypercyclic operators we refer
the reader to the excellent books [6, 20]. An account of concepts and results about
algebraic structures inside nonlinear sets can be found in [2, 5, 11, 15, 17, 29, 30].
It is well known that if X is an F-space (i.e., complete and metrizable) and T is
a hypercyclic operator then the set HC(T ) is residual, that is, it contains a dense
Gδ subset of the (Baire) space X; we can say that HC(T ) is topologically large.
Furthermore, for any topological vector space and any hypercyclic T ∈ L(X), the
family HC(T ) is algebraically large; specifically, it contains, except for 0, a dense
(even T -invariant) vector subspace of X (see [33]). Starting from [25], a number of
criteria have been established for an operator T ∈ L(X) to support a closed infinite
dimensional vector subspace all of whose nonzero vectors are T -hypercyclic on an
2010 Mathematics Subject Classification. 22A05, 30E10, 30K20, 46E10, 47A16.
Key words and phrases. hypercyclic operator, convolution operator, composition operator,
subexponential growth, group of non-vanishing entire functions, lineability, spaceability.
1

2

BERNAL, CONEJERO, COSTAKIS, AND SEOANE

F-space X; however, not all hypercyclic operators support such a subspace (see
[6, Chapter 8] and [20, Chapter 10]).
By a domain in C we mean a nonempty connected open subset G ⊂ C. It
is well known that the space H(G) of holomorphic functions G → C becomes
an F-space when endowed with the topology of uniform convergence on compact
subsets of G. We are mainly interested in operators defined on the space H(C)
of entire functions C → C. An operator T ∈ L(H(C)) is said to be a convolution
operator provided that it commutes with translations, that is,
T ◦ τa = τa ◦ T for all a ∈ C,
where τa f := f (· + a). Then T ∈ L(H(C)) happens to be a convolution operator
if and only if T is an infinite order linear differential operator with constant coefficients T = Φ(D), where Φ is an entire function with exponential type, that is,
there exist constants A,P
B ∈ (0, +∞) such that |Φ(z)| ≤ AeB|z| for all z ∈ C. For
such a function Φ(z) = n≥0 an z n and f ∈ H(C), we have
Φ(D)f =

∞
X

an f (n) .

n=0

Godefroy and Shapiro [18] proved that every non-scalar convolution operator is
hypercyclic, so covering the classical Birkhoff and MacLane results on hypercyclicity of the translation operator τa (take Φ(z) = eaz , a 6= 0) and of the derivative
operator D : f 7→ f ′ (take Φ(z) = z), respectively. It has been proved that,
for every non-scalar convolution operator T , the set HC(T ) contains, except for
0, a closed infinite dimensional vector subspace of H(C); see [24, 28, 32] and also
[2, Section 4.5] and [20, Section 10.1].
In view of the preceding paragraph, we can say that hypercyclic vectors of
convolution operators are rather stable under summation and scaling. However,
stability under multiplication does not seem to be so clear. For instance, for every
a 6= 0, every f ∈ HC(τa ) and every n ∈ N with n ≥ 2 we have that f n 6∈ HC(τa )
(see [3, Cor. 2.4]). As a positive result, it was proved in [3, Th. 2.3] the existence of
a function f ∈ H(C) –in fact, of a residual subset of them– such that f n ∈ HC(D)
for all n ∈ N, see also [4]. This result was extended by Bayart and Matheron
who proved that there is even a residual set of functions in H(C) generating a
hypercyclic algebra for the derivative operator, that is every non-null function in
one of these algebras is hypercyclic for the operator D [6, Th. 8.26]. Recall that
the algebra generated by a function f is nothing but the set {P ◦f : P polynomial,
P (0) = 0}. The existence of (one-generated) algebras of hypercyclic functions for
D was also independently proved by Shkarin in [32] and extended by Bès et al. in
[12] to operators of the form P (D), where P is a nonconstant polynomial with
P (0) = 0. The existence of hypercyclic algebras for many convolution operators

HYPERCYCLIC FUNCTIONS FOR CONVOLUTION OPERATOS

3

not induced by polynomials, such as cos(D), DeD , or eD − aI, where 0 < a ≤ 1
was recently shown in [13].
So far, the existence of multiply generated algebras of hypercyclic entire functions is unknown. The lack of knowledge about existence of families of hypercyclic
functions that are stable under multiplication seems to be one of the main obstacles. Our goal in this paper is to contribute to fill in this gap. Specifically, given
a nonconstant entire function Φ of subexponential type, we will construct in Section 3 an infinitely generated multiplicative group of entire functions all of whose
members, except for the constant function 1(z) = 1, are hypercyclic with respect
to the operator Φ(D). A certain multiplicative stability is also shown for hypercyclicity with respect to composition operators. Section 2 is devoted to provide the
necessary background and auxiliary results.
2. Non-vanishing hypercyclic entire functions
Recall that the exponential type of a Φ ∈ H(C) is defined as, see [14],
τ (Φ) = lim sup
r→∞

log max{|Φ(z)| : |z| = r}
.
r

Hence, f has subexponential type if and only if, given ε > 0, there exists A =
A(ε) ∈ (0, +∞) such that |f (z)| ≤ A eε|z| for all z ∈ C. In fact, if Φ has subexponential type then Φ(D) is a well defined operator on H(G) for any domain
G ⊂ C (see for instance [7] or [9, Theorem 4]). It should be underlined that if Φ
is of exponential type, then the operator Φ(D) does not act on proper domains
in general: take, for instance, G = D and Φ(z) = ez .
As we have mentioned in Section 1, there is no entire function f such that
f is hypercyclic for the translation operator τa = eaD (a 6= 0). If we observe
that Φ(z) := eaz has exponential type τ (Φ) = |a| > 0, then we may wonder
whether there are entire functions f such that f and f 2 are in HC(Φ(D)) if Φ has
subexponential type, i.e., if τ (Φ) = 0. This property happens to be true, in a strong
sense, in the special case of Φ = P , a nonconstant polynomial with P (0) = 0 [12].
The rate of growth of a hypercyclic function for D has been optimally estimated
in [19, 31].
2

It is well known (see, for instance, [1]) that a function f ∈ H(C) is never
zero if and only if there is g ∈ H(C) such that f = eg . Consistently, we can
denote the family of non-vanishing entire functions by eH(C) . This family forms,
trivially, a group under the pointwise multiplication. Moreover, eH(C) is –as it
is easily proven– a topological group (for background on topological groups, see
for instance [23]) under the topology of uniform convergence in compacta, that is,
both mappings
1
(f, g) ∈ eH(C) × eH(C) 7→ f g ∈ eH(C) and f ∈ eH(C) 7→ ∈ eH(C)
f

4

BERNAL, CONEJERO, COSTAKIS, AND SEOANE

are continuous, from which one can derive that each mapping f ∈ eH(C) 7→ f m ∈
eH(C) (m ∈ Z = the set of integers) is a continuous homomorphism (recall that a
mapping Φ : G1 → G2 between two groups G1 , G2 is an homomorphism whenever
Φ(ab) = Φ(a)Φ(b) for all a, b ∈ G1 ). Note that this mapping is not bijective
H(C)
(except for m = ±1), but if we consider the topological subgroup e+,0 := {f ∈
eH(C) : f (0) > 0} then each restriction
H(C)

H(C)

Φm : f ∈ e+,0 7→ f m ∈ e+,0

(m ∈ Z \ {0})

is not only continuous (and homomorphic) but also bijective, because for any
H(C)
g ∈ e+,0 there are exactly m entire functions f with f m = g (necessarily, such
f ’s are non-vanishing), but only one of them satisfies f (0) > 0. In fact, in the
H(C)
following two lemmas it is shown that the group e+,0 also enjoys a nice topological
structure and that every Φm is an automorphism of it.
H(C)

Lemma 2.1. The set e+,0 is a Gδ -subset of H(C). In particular, it is a separable
completely metrizable space, as well as a Baire space.
Proof. The second part is a consequence of the first one. Indeed, Alexandroff’s
theorem (see e.g. [27, pp. 47–48]) asserts that a Gδ -set is homeomorphic to a
complete metrizable space; separability is inherited by any subspace of a separable
metrizable space; finally, any completely metrizable space is a Baire space (see
T
H(C)
e.g. [26]). As for the first part, simply put e+,0 = ∞
k=1 Ak , where Ak is defined
as


1
Ak := f ∈ H(C) : inf |f (z)| > 0, |Imf (0)| < and Ref (0) > 0 .
|z|≤k
k
That each Ak is open follows from the facts that {z ∈ C : |z| ≤ k} is compact
and that both evaluation mappings f ∈ H(C) 7→ Ref (0) ∈ R, f ∈ H(C) 7→
Imf (0) ∈ R are continuous.

Lemma 2.2. For each m ∈ Z\ {0}, the mapping Φm is an onto homeomorphism.
Proof. The unique property to be proved is that every Φm has inverse continuous.
Since Φ−1 is an onto homeomorphism, it is enough to see that, given m ∈ N
H(C)
H(C)
with m ≥ 2, the mapping Ψ = (Φm )−1 : e+,0 → e+,0 is continuous. By
H(C)
Lemma 2.1, e+,0 is a completely metrizable topological group. Note that Ψ is a
H(C)
homomorphism from the group e+,0 into itself. According to the abstract closed
graph theorem (see, e.g., [16, Theorem 5.2]), it is enough to show that Ψ has closed
H(C)
graph. To this end, assume that (fk ) ⊂ e+,0 is a sequence such that there are
H(C)
f, g ∈ e+,0 with (fk , Ψ(fk )) → (f, g) as k → ∞ in the topology product. Then
fk → f and Ψ(fk ) → g. The continuity of Φm yields fk = Φm Ψ(fk ) → Φm (g),
and the uniqueness of the limit implies f = Φm (g) or, that is the same, g = Ψ(f ),
which proves that the graph of Ψ is closed, as required.


HYPERCYCLIC FUNCTIONS FOR CONVOLUTION OPERATOS

5

Finally, we will use in the next section the following theorem, that is contained
in [8, Theorem 5]. This theorem is, in turn, an extension of a result about inherited
D-hypercyclicity due to Herzog [21].
Theorem 2.3. If Φ is a nonconstant entire function of subexponential type, then
the set HC(Φ(D)) ∩ eH(C) is residual in eH(C) .
Additional statements on zero-free D-hypercyclic entire functions can be found
in [10].
3. Groups of hypercyclic functions
Firstly, we show that the family of entire functions f that are hypercyclic
with respect to certain convolution operators (including D) satisfying f (0) > 0 is
topologically large.
Proposition 3.1. If Φ is a nonconstant entire function of subexponential type,
H(C)
H(C)
then the set HC(Φ(D)) ∩ e+,0 is residual in e+,0 .
Proof. According to Birkhoff transitivity theorem (see e.g. [20]), if Tn : X → Y
(n ∈ N) is a sequence of continuous mappings between two Hausdorff topological
spaces, with X Baire and first-countable and Y second-countable, then the set
U = U((Tn )) of points x ∈ X whose orbit {Tn x : n ∈ N} is dense in Y is a Gδ
subset of X; consequently, U is residual as soon as it is dense. By Theorem 2.3,
the set HC(Φ(D)) ∩ eH(C) is residual in eH(C) . It is easy to see that the mapping
|f (0)|
H(C)
· f ∈ e+,0
f (0)
is continuous and onto. Then it takes dense sets into dense sets. In particular, the
H(C)
image Π(HC(Φ(D)) ∩ eH(C) ) is dense in e+,0 . Since any nonzero scalar multiple
of a hypercyclic vector is also hypercyclic, we obtain Π(HC(Φ(D)) ∩ eH(C) ) ⊂
H(C)
H(C)
HC(Φ(D)) ∩ e+,0 . But U := HC(Φ(D)) ∩ e+,0 equals the set of elements
H(C)
f ∈ X := e+,0 whose orbit under the sequence (Tn ) := ((Φ(D))n |eH(C) ) is dense
Π : f ∈ eH(C) 7→

+,0

in Y := H(C) (note that X is Baire and first-countable by Lemma 2.1). Therefore
H(C)
U is a Gδ dense subset of e+,0 , hence residual.

Our main result (Theorem 3.3) will be deduced as a consequence of the following,
more abstract, assertion.
Theorem 3.2. Let X be a separable infinite dimensional F-space. Assume that
X is also a unitary commutative linear algebra, and that the corresponding multiplication law (f, g) ∈ X × X 7→ f ∗ g ∈ X is continuous. Suppose also that Z is a
subset of X fulfilling the following conditions:
(i) Z is a Gδ -subset of X.
(ii) (Z, ∗) is a topological group.

6

BERNAL, CONEJERO, COSTAKIS, AND SEOANE

(iii) The mappings u ∈ Z 7→ uk ∈ Z (k ∈ N) are onto homeomorphisms.
(iv) No nonempty relatively open subset of Z is contained in a countable dimensional vector subspace of X.
Then for each residual subset R of Z there exists a subset G ⊂ Z satisfying the
following properties:
(a) G is a subgroup of Z.
(b) G is dense in Z.
(c) R ⊃ G \ {e}, where e denotes the unit element of X.
(d) G is infinitely generated in a strong sense, namely, the algebra generated
by G is infinitely generated.
Proof. By Alexandroff’s theorem and by the fact that X is a separable F-space,
we have (thanks to (i)) that Z is a completely metrizable space that, in addition,
is second-countable. Then Z is a Baire space and there is a countable open basis
{Gn }n≥1 for the topology of Z. From (ii) and (iii) one takes out that every
mapping Ψk : u ∈ Z 7→ uk ∈ Z (k ∈ Z \ {0}) is an onto homeomorphism.
Moreover, it follows from (ii) that, for every v ∈ Z, the multiplication mapping
Mv : u ∈ Z 7→ v ∗ u ∈ Z is also an onto homeomorphism.
Fix a residual subset R of Z. Then, for each k ∈ Z \ {0}, the set Ψ−1
k (R) is
residual in Z. Then the countable intersection
\
R0 :=
Ψ−1
k (R)
k∈Z\{0}

is also residual –and, in particular, dense– in Z. Let us set L0 := span{e}, which
equals the algebra generated by e. Since L0 is a finite dimensional subspace, it is
closed in X. Then G1 \ L0 is a nonempty (otherwise, G1 ⊂ L0 , contradicting (iv))
open set in the topology of Z. Then there exists v1 ∈ G1 ∩ R0 .
Let us proceed by induction. Assume that, for some n ∈ N, the vectors v1 , . . . , vn
have been selected. Let Ln denote the linear algebra generated by v0 , v1 , . . . , vn ,
that is, Ln = span{v1jn ∗ · · · ∗ vnjn : (j1 , . . . , jn ) ∈ Nn0 }, where N0 := N ∪ {0}.
Observe that Ln is a countable dimensional vector subspace of X. Since X is a
Baire space, if follows that Ln is an Fσ set with empty interior. Now, we set


\
\
−1
−1
M k1
Rn :=
Ψk
kn (R) .
k∈Z\{0}

(k1 ,...,kn )∈Zn

v1 ∗···∗vn

Observe that the choice (k1 , . . . , kn ) = (0, . . . , 0) gives Rn ⊂ R0 . Since the Ψk ’s
as well as the M −1
k1
kn ’s are onto homeomorphisms and countable intersections
v1 ∗···∗vn

of residual sets are residual, we get that each Rn is residual in Z. Assume, by
way of contradiction, that Gn+1 \ Ln is of first category (in the sense of Baire) in
Z. Then Gn+1 = (Gn+1 \ Ln ) ∪ (Gn+1 ∩ Ln ) and, by the assumption (iv), Ln ∩ Z
is a (relatively Fσ ) set with empty interior in Z, so of first category in Z. This

HYPERCYCLIC FUNCTIONS FOR CONVOLUTION OPERATOS

7

implies that its subset Gn+1 ∩Ln is also of first category in Z, hence Gn+1 is, which
is absurd because Z is a Baire space. Thus, Gn+1 \ Ln is of second category (in
the sense of Baire) in Z. As Rn is residual in Z, we have Rn ∩ (Gn+1 \ Ln ) 6= ∅.
Therefore, we can select vn+1 ∈ Rn ∩ (Gn+1 \ Ln ) and the induction procedure is
finished.
Define G as the group generated by {vn }n∈N , that is

G = v1k1 ∗ · · · ∗ vnkn : (k1 , . . . , kn ) ∈ Zn , n ∈ N .

Since each vn belongs to Z and vn ∈ Gn (n ∈ N), we obtain conclusions (a) and
(b). Property (c) is derived from the fact that, by construction, each combination
v1k1 ∗ · · · ∗ vnkn ∈ R as soon as (k1 , . . . , kn ) ∈ Zn \ {(0, . . . , 0)}. Finally, S
property
(d) is true because the algebra generated by G contains the algebra A := n≥0 Ln ,
and A is infinitely generated. Indeed, assume that A is generated by some finite
subset F ⊂ A. Since Ln ⊂ Ln+1 (n ≥ 0), there is N ∈ N such that F ⊂ LN .
Then LN generates A. But LN is itself an algebra, so A = LN , which is absurd
because vN +1 ∈ A \ LN . Hence A cannot be finitely generated, which concludes
the proof.

Theorem 3.3. Assume that Φ is a nonconstant entire function of subexponential type. Consider the convolution operator T = Φ(D) associated to Φ. Then
there exists an infinitely generated multiplicative group G ⊂ H(C) such that every
member of G –except for 1– is Φ(D)-hypercyclic. Moreover, G is a dense subgroup
H(C)
of e+,0 and the algebra generated by G is infinitely generated.
Proof. It suffices to apply Theorem 3.2 with the following “characters”: Take X :=
H(C)
H(C), Z := e+,0 , ∗ := the usual multiplication, e := 1 and R := HC(Φ(D)) ∩
H(C)
e+,0 . Now, Z is a topological group for which the mappings f 7→ f k (k ∈ N) are
onto homeomorphisms by Lemma 2.2, Z is a Gδ subset of X by Lemma 2.1, and
R is residual in Z by Proposition 3.1.
H(C)

Now, assume that O is a nonempty open subset in e+,0 and that, by way of
contradiction, Y is a countable dimensional space of H(C) with O ⊂ Y . Then
span{hn }n≥1 =
SY for certain hn ∈ H(C) (n ≥ 1). Setting Yn := span{h1 , . . . , hn }
we get Y = n≥1 Yn . But each Yn is a finite dimensional subspace, hence σcompact, and so Y is. In other words, there are countably many compact sets
S
H(C)
H(C)
Kn ⊂ e+,0 (n ∈ N) such that Y = n≥1 Kn . Therefore each set Zn := e+,0 ∩
S
H(C)
H(C)
Kn is compact (hence closed) in e+,0 and O ⊂ n≥1 Zn . Since e+,0 is a
completely metrizable space, Baire’s category theorem tells us that at least one
H(C)
H(C)
Zm has nonempty interior in e+,0 . Now, the group structure of e+,0 entails that
H(C)
the function 1 possesses a compact neighborhood W in e+,0 .
Now, consider the vector space S := {g ∈ H(C) : Im g(0) = 0} endowed
with the topology inherited from H(C). Trivially, S is a topological group for the

8

BERNAL, CONEJERO, COSTAKIS, AND SEOANE
H(C)

operation “+” and the same topology. For every f ∈ e+,0 there is a unique g ∈ S
H(C)
such that f = eg . Hence the mapping T : f = eg ∈ (e+,0 , ·) 7→ g ∈ (S, +) is an
algebraic group isomorphism. But it is in fact a topological isomorphism. Indeed,
T −1 : g 7→ eg is trivially continuous (any superposition mapping g ∈ H(C) 7→
ϕ ◦ g ∈ H(C), with ϕ ∈ H(C), is continuous), and T is continuous because it is
continuous at the neutral element 1. This means that if a sequence (fn = egn ) ⊂
H(C)
e+,0 (with gn = un + ivn ∈ S, so that vn (0) = 0 for all n) satisfies fn → 1 then
gn = un + ivn = T (fn ) → T (1) = 0 uniformly on compacta. This, in turn, follows
by invoking the continuity of the principal branch logp w := ln |w| + i argp w of
the logarithm on C \ (−∞, 0]. Indeed, since 1 ∈ C \ (−∞, 0], for given R > 0
we have that fn (K) ⊂ C \ (−∞, 0] eventually, where K = {z : |z| ≤ R}. Then
logp (fn ) → logp 1 = 0 uniformly on K. But logp (fn (z)) = un (z) + i argp (eivn (z) ) =
un (z) + i(vn (z) + 2kn π) for certain kn ∈ Z not depending on z. Hence un → 0 and
vn + 2kn π → 0 uniformly on K. In particular, 2kn π = vn (0) + 2kn π → 0, so kn → 0
and, since kn ∈ Z, we get kn = 0 eventually. This implies vn → 0 uniformly on
K, and so does gn = un + ivn as n → ∞, as required. We have proved that T
is a homeomorphism. Thus T (W ) is a compact neighborhood of 0 in S. But
Riesz’s theorem (see, e.g., [22, page 147, Theorem 3]) implies that dim (S) < ∞,
which is absurd because S contains all functions z n (n ∈ N). This is the desired
contradiction.
Hence O is not contained in any countable dimensional subspace of H(C). Consequently, conditions (i)–(iv) in Theorem 3.2 are fulfilled and the conclusion follows.

Another important class of operators is the one formed by the composition
operators. If G ⊂ C is a domain and ϕ : G → G is a holomorphic self-map of G,
the mapping
Cϕ : f ∈ (G) 7→ f ◦ ϕ ∈ H(G)
is well defined, linear and continuous, and it is called the composition operator
with symbol ϕ. By Aut(G) we denote the group of automorphisms of G, i.e., the
family of all bijective holomorphic functions G → G. The translations τa (a ∈ C)
form a special instance when G = C and ϕ(z) := z + a. We have already seen
that, even for translations, the set of hypercyclic functions is not stable under
products (f 2 is never τa -hypercyclic, whatever f is). Nevertheless, we obtain a
reasonably degree of stability if the products do not allow repetition of factors.
This can be done for many composition operators, as the following theorem –with
which we conclude this paper– shows. Recall that a domain G ⊂ C is called simply
connected if it lacks holes, that is, if C∞ \ G is connected.
Theorem 3.4. Let G ⊂ C be a simply connected domain. Assume that ϕ ∈
Aut(G) and ϕ has no fixed points. Then for every f ∈ HC(Cϕ ) there is a family
F ⊂ H(G) satisfying the following properties:

HYPERCYCLIC FUNCTIONS FOR CONVOLUTION OPERATOS

(a)
(b)
(c)
(d)

9

f ∈ F ⊂ HC(Cϕ ).
F is dense in H(G).
Q
For each finite nonempty subfamily F0 ⊂ F , one has g∈F0 g ∈ HC(Cϕ ).
F is a linearly free system.

Proof. Since ϕ has no fixed points, the operator Cϕ is mixing (see [20, Theorem
4.37]). In the context of F-spaces (as H(G) is), this is equivalent to the fact
that, for every (strictly increasing) subsequence (nk ) ⊂ N, the set U((Cϕnk )) of
functions having dense (Cϕnk )-orbit is dense (even residual) in H(G). Of course,
mixing property implies hypercyclicity. Observe that (Cϕ )m = Cϕm for m ∈ N,
where ϕ1 := ϕ and ϕm+1 := ϕ ◦ ϕm .
Fix f ∈ HC(Cϕ ) as well as a countable topological basis (Gn ) for the topology
of H(G) (recall that H(G) is metrizable and separable, hence second countable).
We set f0 := f and G0 := H(G). Then there is a sequence (p(1, k)) ⊂ N such that
f0 ◦ ϕp(1,k) → 1 (k → ∞) uniformly on each compact subset of G. Since the set
p(1,k)
p(1,k)
U((Cϕ )) is dense in H(G), there exists f1 ∈ G1 ∩ U((Cϕ )). In particular, for
the constant function z 7→ 1, there is a subsequence (p(2, k)) ⊂ (p(1, k)) satisfying
f1 ◦ ϕp(2,k) → 1 (k → ∞) in H(G). Of course, f0 ◦ ϕp(2,k) → 1 in H(G).
By following this procedure, we can obtain recursively a countable family F :=
{fn }n≥0 ⊂ H(G) as a well as countable family {(p(n, k))k≥1 }n≥0 of strictly increasing sequences of natural numbers, satisfying, for each n ≥ 0, the following:
p(n,k)

• fn ∈ Gn ∩ U((Cϕ
)),
• (p(n + 1, k)) ⊂ (p(n, k)), and
• fj ◦ ϕp(n+1,k) → 1 (k → ∞) in H(G) for all j = 0, . . . , n.
Since (Gn ) is a topological basis and fn ∈ Gn , the set F is dense in H(G).
p(n,k)
By construction, f ∈ F and, since HC(Cϕ ) ⊃ U((Cϕ
)) for every n, we get
F ⊂ HC(Cϕ ). Now, if ∅ 6= F0 ⊂ F with F0 finite, we can write F0 =
{fm(1) , . . . , fm(N ) }, with 0 ≤ m(1) < m(2) < · · · < m(N). Let
h :=

Y

g∈F0

g=

N
Y

fm(j) .

j=1

Trivially, h ∈ HC(Cϕ ) if N = 1. If N > 1 then h = h0 · fm(N ) , where h0 :=
QN −1
p(m(N ),k)
)), there is a subsequence
j=1 fm(j) . Fix F ∈ H(G). As fm(N ) ∈ U((Cϕ
(νk ) ⊂ (p(m(N), k)) such that fm(N ) ◦ ϕνk → F (k → ∞) uniformly on compacta
in G. But fm(j) ◦ ϕνk → 1 (k → ∞) uniformly on compacta in G for each
j ∈ {1, . . . , N − 1}. This entails h0 ◦ ϕνk → 1 in H(G). Thus
h ◦ ϕνk = (h0 ◦ ϕνk ) · (fm(N ) ◦ ϕνk ) −→ 1 · F = F in H(G).
Consequently, h ∈ HC(Cϕ ). So far, (a), (b) and (c) have been proved.

10

BERNAL, CONEJERO, COSTAKIS, AND SEOANE

In order to prove (d), assume, by way of contradiction, that there is some Ntuple (c0 , c1 , . . . , cN ) ∈ CN +1 \ {(0, . . . , 0)} such that c0 f0 + · · · + cN fN = 0, where,
without loss of generality, we can suppose cN 6= 0. Then c0 (f0 ◦ ϕp(N,k) ) + · · · +
cN (fN ◦ ϕp(N,k) ) = 0 for all k ≥ 1. Letting k → ∞ we get c0 · 1 + · · · + cN −1 · 1 +
cN (fN ◦ ϕp(N,k) ) → 0, so
fN ◦ ϕ

p(N,k)

−→ −

N
−1
X

cj c−1
in H(G) as k → ∞,
N

j=0

which is absurd because {fN ◦ ϕp(N,k) }k≥1 is dense in H(G). The theorem is now
totally proved.

Acknowledgments.
The authors are indebted to the referee for helpful comments and suggestions,
specially for nice simplifications of the proofs of some results.
The first author has been supported by the Plan Andaluz de Investigación
de la Junta de Andalucı́a FQM-127 Grant P08-FQM-03543 and by MEC Grant
MTM2015-65242-C2-1-P. The second author has been supported by MEC Grant
MTM2016-75963-P. The second and third authors were also supported by Generalitat Valenciana, Project GV/2010/091, and by Universitat Politècnica de València,
Project PAID-06-09-2932. The fourth author has been supported by Grant MTM201565825-P.
References
[1] L. V. Ahlfors, Complex Analysis, 3rd ed., McGraw-Hill, London, 1979.
[2] R. M. Aron, L. Bernal-González, D. Pellegrino, and J. B. Seoane-Sepúlveda, Lineability:
The search for linearity in Mathematics, Monographs and Research Notes in Mathematics,
Chapman & Hall/CRC, Boca Raton, FL, 2016.
[3] R. M. Aron, J. A. Conejero, A. Peris, and J. B. Seoane-Sepúlveda, Powers of hypercyclic
functions for some classical hypercyclic operators, Integr. Equ. Oper. Theory 58 (2007),
no. 4, 591–596.
[4] R. M. Aron, J. A Conejero, A. Peris, and J. B. Seoane-Sepulveda, Sums and products of bad
functions, Contemporary Mathematics 435 (2007), 47–52.
[5] R. M. Aron, V. I. Gurariy, and J. B. Seoane-Sepúlveda, Lineability and spaceability of sets
of functions on R, Proc. Amer. Math. Soc. 133 (2005), no. 3, 795–803.
[6] F. Bayart and E. Matheron, Dynamics of Linear Operators, Cambridge Tracts in Mathematics, Cambridge University Press, 2009.
[7] C. A. Berenstein and R. Gay, Complex analysis and special topics in harmonic analysis,
Springer, New York, 1995.
[8] L. Bernal-González, On universal functions with zero-free derivatives, Arch. Math. 68
(1997), 145–150.
, Hypercyclic sequences of differential and antidifferential operators, J. Approx. The[9]
ory 96 (1999), 323–337.
[10] L. Bernal-González, A. Bonilla, and G. Costakis, On the growth of zero-free MacLaneuniversal entire functions, Indag. Math. 23 (2012), 311–317.

HYPERCYCLIC FUNCTIONS FOR CONVOLUTION OPERATOS

11

[11] L. Bernal-González, D. Pellegrino, and J. B. Seoane-Sepúlveda, Linear subsets of nonlinear
sets in topological vector spaces, Bull. Amer. Math. Soc. (N.S.) 51 (2014), no. 1, 71–130.
[12] J. Bès, J. A. Conejero, and D. Papathanasiou, Convolution operators supporting hypercyclic
algebras, J. Math. Anal. Appl. 445 (2017), no. 2, 1232–1238.
, Hypercyclic algebras for convolution and composition operators, Preprint (2017).
[13]
[14] R. P. Boas Jr., Entire functions, Academic Press, New York, 1954.
[15] D. Cariello and J. B. Seoane-Sepúlveda, Basic sequences and spaceability in ℓp spaces, J.
Funct. Anal. 266 (2014), no. 6, 3797–3814, DOI 10.1016/j.jfa.2013.12.011.
[16] J. P. R. Christensen., Topology and Borel structure, North Holland, Amsterdam, 1974.
[17] P. H. Enflo, V. I. Gurariy, and J. B. Seoane-Sepúlveda, Some results and open questions on
spaceability in function spaces, Trans. Amer. Math. Soc. 366 (2014), no. 2, 611–625.
[18] G. Godefroy and J. H. Shapiro, Operators with dense, invariant, cyclic vectors manifolds,
J. Funct. Anal. 98 (1991), no. 2, 229–269.
[19] K.-G. Grosse-Erdmann, On the universal functions of G.R. MacLane, Complex Variables
and Elliptic Equations 15 (1990), no. 3, 193–196.
[20] K.-G. Grosse-Erdmann and A. Peris, Linear Chaos, Springer, London, 2011.
[21] G. Herzog, On zero-free universal entire functions, Arch. Math. 63 (1994), 329–332.
[22] J. Horváth, Topological vector spaces and distributions, Vol. I, Addison-Wesley, Reading,
Massachusetts, 1966.
[23] N. G. Markley, Topological Groups: An Introduction, Wiley, NJ, 2010.
[24] Q. Menet, Hypercyclic subspaces and weighted shifts, Adv. Math. 255 (2014), 305–337.
[25] A. Montes-Rodrı́guez, Banach spaces of hypercyclic vectors, Michigan Math. J. 43 (1996),
no. 3, 419–436.
[26] J. R. Munkres, Topology: A First Course, 2nd ed., Prentice-Hall Inc., Upper Saddle River,
NJ, 2000.
[27] J. C. Oxtoby, Measure and Category, 2nd edition, Springer-Verlag, New York, 1980.
[28] H. Petersson, Hypercyclic subspaces for Fréchet spaces operators, J. Math. Anal. Appl. 319
(2006), no. 2, 764–782.
[29] J. B. Seoane-Sepúlveda, Chaos and lineability of pathological phenomena in analysis, ProQuest LLC, Ann Arbor, MI, 2006. Thesis (Ph.D.)–Kent State University.
, Explicit constructions of dense common hypercyclic subspaces, Publ. Res. Inst.
[30]
Math. Sci. 43 (2007), no. 2, 373–384.
[31] S. A. Shkarin, On the growth of D-universal functions, On the growth of D-universal functions 48 (1993), no. 6, 49–51.
[32] S. Shkarin, On the set of hypercyclic vectors for the differentiation operator, Israel J. Math.
180 (2010), no. 1, 271–283.
[33] J. Wengenroth, Hypercyclic operators on nonlocally convex spaces, Proc. Amer. Math. Soc.
131 (2003), no. 6, 1759–1761.

12

BERNAL, CONEJERO, COSTAKIS, AND SEOANE

Departamento de Análisis Matemático,
Facultad de Matemáticas, Universidad de Sevilla,
Avenida Reina Mercedes,
41080 Sevilla, Spain.
E-mail address: lbernal@us.es
Instituto Universitario de Matemática Pura y Aplicada,
Universitat Politècnica de València,
46022 València, Spain.
E-mail address: aconejero@upv.es
Department of Mathematics and Applied Mathematics,
University of Crete, Voutes Campus,
70013 Heraklion, Crete, Greece.
E-mail address: costakis@math.uoc.gr
IMI and Departamento de Análisis Matemático,
Facultad de Ciencias Matemáticas,
Plaza de Ciencias 3,
Universidad Complutense de Madrid,
28040 Madrid, Spain.
E-mail address: jseoane@mat.ucm.es

