## HYPERCYCLIC SUBSPACES FOR SEQUENCES OF FINITE ORDER DIFFERENTIAL OPERATORS

## L. BERNAL-GONZ ´ LEZ, M.C. CALDER ´ N-MORENO, J. L ´ PEZ-SALAZAR, A O O AND J.A. PRADO-BASSAS

Abstract. It is proved that, if ( P n ) is a sequence of polynomials with complex coefficients having unbounded valences and tending to infinity at sufficiently many points, then there is an infinite dimensional closed subspace of entire functions, as well a dense c -dimensional subspace of entire functions, all of whose nonzero members are hypercyclic for the corresponding sequence ( P n ( D )) of differential operators. In both cases, the subspace can be chosen so as to contain any prescribed hypercylic function.

## 1. Introduction.

Hypercyclicity and lineability are two subjects in functional analysis that have been thoroughly investigated for the last three decades. Hypercyclicity deals with the search for vectors whose orbits under an operator or sequence of operators is dense in the supporting space, while the goal of lineability is to find linear structures inside nonlinear subsets of a vector space. The connection between both theories starts with a result due to Herrero [21] in the Hilbert space setting asserting that, if the sets of vectors having dense orbit with respect an operator is nonempty, then the family of these vectors contains, except for zero, a dense vector subspace (in fact, such a subspace is invariant under the operator). The result was extended by Bourdon [13] and B`s [8] to e the complex locally convex case and the real locally convex case, respectively. Finally, Wengenroth [33] in 2003 was able to encompass the general case of any topological vector space. A number of analogous assertions for sequences of operators have been also found (see below).

Let us proceed by fixing some terminology. Let X and Y be two linear topological spaces (in many cases, X = Y ) and T n : X → Y be an operator (that is, a continuous linear mapping) for each n ∈ N . An element x 0 ∈ X is said to be hypercyclic or universal for the sequence ( T n ) whenever its orbit { T n ( x 0 ) : n ∈ N } under ( T n ) is dense in Y . The family ( T n ) is called hypercyclic whenever it has a hypercyclic vector. It is plain that, in order that a sequence ( T n ) can be hypercyclic, the space Y must be separable. If T : X → X is an operator, then a vector x 0 ∈ X is said to be

2020 Mathematics Subject Classification. 15A03, 30K15, 46B87, 47A16, 47B91.

Key words and phrases. Differential operator of finite order, hypercyclic sequence of operators, maximal dense lineability, spaceability, pointwise lineability.

hypercyclic for T provided that it is hypercyclic for the sequence ( T n ) of iterates of T , i.e., T n = T ◦ T ◦ · · · ◦ T ( n -fold). The operator T is hypercyclic when there is a hypercyclic vector for T . The symbols HC T ( ) and HC (( T n )) will denote, respectively, the set of hypercyclic vectors of an operator T and of a sequence ( T n ) of operators. For background on hypercyclity the reader is referred to the survey [19] and the books [2, 20].

Before going on, let us also introduce a number of notions coming from the modern theory of lineability. A subset A of a vector space X is said to be lineable whenever there is an infinite dimensional vector subspace M ⊂ X such that M ⊂ A ∪{ } 0 . If X is, in addition, a topological vector space, then A is said to be spaceable if there is a closed infinite-dimensional vector subspace M ⊂ X such that M ⊂ A ∪{ } 0 , while A is dense-lineable if there is a dense vector subspace M ⊂ X such that M ⊂ A ∪ { 0 } . Finally, A is called maximal dense-lineable if there is a dense vector subspace M ⊂ X such that dim( M ) = dim( X ) and M ⊂ A ∪{ } 0 . For concepts and results on lineability, the reader is referred to the book [1]. The more recent, finer, notion of pointwise lineability will be recalled in Section 4 below.

Note that under the preceding terminology, the assertion by Bourdon, B` es, and Wengenroth mentioned in the first paragraph tells us that HC T ( ) is dense-lineable provided that T is a hypercyclic operator on X . If X is a Banach space, then HC T ( ) is even maximal dense-lineable (see [5]). It is easy to provide examples showing that these properties are no longer true for hypercyclic sequences ( T n ) of operators. Nevertheless, some criteria have been given in order that HC (( T n )) can be dense-lineable (see [4, 6]). But the approach in [4, 6] only yields dense subspaces having countable dimension and so it does not give maximal dense lineability, because the dimension of an infinite dimensional F-space is at least c , the cardinality of the continuum (see [30]).

Turning our attention to spaceability, one can say that this is a more delicate question. In 1996, Montes [27] showed that if B : /lscript 2 → /lscript 2 is the backward shift operator on the Hilbert space of square-summable sequences, then, despite the hypercyclicity of 2 B , the set HC (2 B ) is not spaceable. Moreover, he provided a sufficient criterion for the spaceability of HC T ( ) in the setting of Banach spaces. These results have been extended in many directions, so that currently a number of sufficient criteria for spaceability and non-spaceability of HC T ( ) and HC (( T n )) are known, even in the case of Fr´chet spaces (see [11, 12, 18, 20, 23, 24, 26, 29]). e

In this paper, we are specially interested in differential operators defined on the Fr´ echet space H ( C ) of all entire functions, endowed with the topology of uniform convergence on compacta. An entire function Φ is said to be of exponential type whenever there exist positive constants A and B such that | Φ( ) z | ≤ Ae B z | | for all z ∈ C . The class of these functions will be denoted by E . It is easy to realize (see,

for instance, [3, 15]) that if Φ( ) = z ∑ ∞ n =0 a z n n is an entire function with exponential type, then the series Φ( D ) = ∑ ∞ n =0 a D n n defines an operator on H ( C ) acting in the following way:

for each f ∈ H ( C ) and z ∈ C . Hence, Φ( D ) defines, under the latter conditions, a (generally, infinite order) linear differential operator with constant coefficients.

$$( \Phi ( D ) f ) ( z ) & = \sum _ { n = 0 } ^ { \infty } a _ { n } f ^ { ( n ) } ( z ) \\ z \in \mathbb { C }. \text{ Hence, } \Phi ( D ) \text{ defines, under}$$

Godefroy and Shapiro proved in [17] the hypercyclicity of every non-scalar operator on H ( C ) commuting with the translation operator τ a for every a ∈ C , where τ f a ( z ) = f ( z + ) for each a f ∈ H ( C ) and z ∈ C . It was also shown in [17] that an operator L on H ( C ) commutes with every translation operator τ a if and only if L commutes with the derivative operator D , and if and only if L = Φ( D ) for some entire function Φ ∈ E . In particular, by choosing Φ( ) = z e az and Φ( ) = z z , one recovers the hypercyclicity of each nontrivial translation operator and of the derivative operator, that had been respectively obtained by Birkhoff [9] and MacLane [25]. Petersson [29] proved in 2006 the spaceability of HC (Φ( D )) if Φ is transcendental. The finite order case (that is, the polynomial case) turned out to be more refractory. In fact, it was not until 2010 that Shkarin [32] showed the spaceability of HC D ( ). Finally, Menet [26] in 2014 was able to prove the spaceability of HC P D ( ( )) for any nonconstant polynomial P .

The aim of this paper is to study lineability properties (specifically, spaceability, maximal dense lineability, and pointwise lineability) of the family of entire functions that are hypercyclic with respect to a sequence of differential operators generated by polynomials having unbounded valences. This will be carried out in Sections 3 and 4, while Section 2 will be devoted to establish a number of auxiliary results on hypercyclicity and lineability.

## 2. Preliminary results.

First of all, we present the following rather general spaceability criterion for HC (( T n )), that is due to Bonet, Mart´ ınez-Gim´nez and Peris [11, Theorem 3.5] (see also [29]). e

Theorem 2.1. Let T n : X → Y ( n ∈ N ) be a sequence of continuous linear mappings between two separable Fr´chet spaces such that e X supports a continuous norm. Suppose that there are respectively dense subsets X 0 ⊂ X and Y 0 ⊂ Y , a closed infinite dimensional subspace M 0 ⊂ X , and mappings S n : Y 0 → X ( n ∈ N ) satisfying the following properties:

- (i) lim n →∞ T x n = 0 for all x ∈ X 0 .
- (ii) lim n →∞ S y n = 0 for all y ∈ Y 0 .
- (iii) lim n →∞ T S y n n = y for all y ∈ Y 0 .
- (iv) lim n →∞ T x n = 0 for all x ∈ M 0 .

Then there exists a closed infinite dimensional subspace of X all of whose nonzero members are hypercyclic vectors for the sequence ( T n ) . In other words, the set HC (( T n )) is spaceable.

/negationslash

Second, we recall a sufficient condition for the denseness in H ( C ) of a family of exponential functions. If w ∈ C , we define e w ( z ) = e wz for each z ∈ C . Recall that E denotes the class of entire functions of exponential type. We say that a subset U ⊂ C is an E -unicity set whenever the following property holds: if f ∈ E and f ( z ) = 0 for all z ∈ U , then f ≡ 0. Note that, by the identity principle for holomorphic functions, if f is an arbitrary entire function vanishing on a nonempty open set U (or even just on a set U having some accumulation point in C ), then f ≡ 0. This is not necessary for the class E ; for instance, if U ⊂ C , n r ( ) is the number of points of U ∩{ z ∈ C : | z | ≤ } r , and χ = lim sup r →∞ log n r ( ) log r &gt; 1, then U is an E -unicity set (e.g., U = { n 1 2 / : n ∈ N } , which gives χ = 2). Indeed, if f ∈ E , f ( z ) = 0 for all z ∈ U , and f ≡ 0, the condition χ &gt; 1 would imply that the convergence exponent of the sequence of zeros of f is strictly greater than the growth order of f , which is clearly impossible (see, e.g., [10, p. 15-17]).

The next lemma, whose proof is classical, can be found in [7] (see also [17]).

Lemma 2.2. If U is an E -unicity set, then the linear span of { e w : w ∈ U } is dense in H ( C ) .

The following assertion, whose proof can be extracted from [1, Section 7.3], will be invoked to prove the maximal dense-lineability of the family of hypercyclic entire functions with respect to a sequence of differential operators:

Theorem 2.3. Assume that X is a metrizable separable topological vector space and that A and B are subsets of X fulfilling the following properties:

- (i) A + B ⊂ A .
- (ii) A ∩ B = ∅ .
- (iii) A ∪{ } 0 contains an infinite dimensional vector subspace M such that dim( M ) = dim( X ) .
- (iv) B is dense-lineable.

Then A is maximal dense-lineable.

## 3. Fr´ echet spaces of hypercyclic functions.

/negationslash

Recall that, for a nonconstant polynomial with complex coefficients P z ( ) = ∑ d j = m c z j j , with m ≤ d and c m = 0 = c d , its valence or multiplicity at the origin is m ∈ N ∪{ } 0 , while its degree is d ∈ N .

/negationslash

In this section we are going to consider the following three properties that may or may not be satisfied by a sequence ( P n ) of polynomials:

- (P) There is an E -unicity set U ⊂ C such that lim n →∞ | P n ( z ) | = + ∞ for all z ∈ U .
- (Q) If P n ( z ) = ∑ d n ( ) j = m n ( ) c j,n z j , then for each k ∈ N , it holds that

$$\lim _ { n \to \infty } m ( n ) | c _ { m ( n ), n } | ^ { k / m ( n ) } = + \infty$$

and the sequence { c k + m n ,n ( ) : n ∈ N } is bounded, where it is understood that c j,n = 0 if j &gt; d n ( ).

- (R) There is r &gt; 0 such that lim n →∞ min {| P n ( z ) | : | z | = r } = + ∞ .

It should be said that properties (P) and (Q) were dealt with in [7] in order to obtain residuality for HC ((Φ ( n D ))), but no lineability feature was aimed therein.

Let us analyze the connections among all these properties.

- · (R) implies (P): simply take U = { z ∈ C : | z | = r } , which is an E -unicity set.
- · (R) does not imply (Q), and, consequently, (P) does not imply (Q) either. For this, let P n ( z ) = z n n n + z n +1 for each n ≥ 1. On the one hand, given any r &gt; 1, we have

$$\min \{ | P _ { n } ( z ) | \colon | z | = r \} \geq r ^ { n } \cdot \left ( r - \frac { 1 } { n ^ { n } } \right ) \to + \infty \quad \text{as } n \to \infty, \\ \dots \colon \colon \dots \dots / \varpi \vee \ \varpi \colon \colon \colon \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \ delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \sigma \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \Delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta$$

which entails (R). On the other hand, we have m n ( ) = n and c m n ,n ( ) = n -n . Hence, lim n →∞ m n ( ) | c m n ,n ( ) | k/m n ( ) = 0 for all k ≥ 2, which tells us that (Q) is not satisfied.

- · (Q) does not imply (P), and so (Q) does not imply (R) either. Indeed, if c n = n -n/ log( n +1) and P n ( z ) = c n z n (1 + z ) for each n ∈ N , then the sequence of polynomials ( P n ) satisfies (Q), because m n ( ) = n , ( c n ) is bounded and, for every k ∈ N , we have

$$\lim _ { n \to \infty } m ( n ) | c _ { m ( n ), n } | ^ { k / m ( n ) } = \lim _ { n \to \infty } n ^ { 1 - \frac { k } { \log ( n + 1 ) } } = + \infty.$$

However, ( P n ) does not fulfill (P), because lim n →∞ c n r n = 0 for all r &gt; 0, and so lim n →∞ P n ( z ) = 0 for all z ∈ C .

- · (P) does not imply (R). In order to see this, we consider an enumeration ( q n ) of the positive rational numbers and define P n ( z ) = z n ( z -q n ) n for each n ≥ 1. The interval U = ( -∞ -, 1) is an E -unicity set. For every x &gt; 1 and z = -x ∈ U , we have

$$| P _ { n } ( z ) | = x ^ { n } \cdot ( x + q _ { n } ) ^ { n } > x ^ { n } \to + \infty \ \text{ as } n \to \infty.$$

Therefore, the sequence ( P n ) satisfies (P). On the other hand, fixed any r &gt; 0, there exists a subsequence ( q n k ) such that 0 &lt; r -q n k &lt; 1 / (2 r ) for all k ∈ N . Then

$$\i m \, \left | P _ { n _ { k } } ( r ) \right | = r ^ { n _ { k } } \cdot ( r - q _ { n _ { k } } ) ^ { n _ { k } } < \frac { 1 } { 2 ^ { n _ { k } } } \to 0 \text{ \ as } k \to \infty \, \right.$$

and so (R) does not hold.

- · There are sequences of polynomials ( P n ) satisfying all three properties (P), (Q), and (R): simply take P n ( z ) = c n z n , where ( c n ) is a sequence of complex numbers such that lim inf n →∞ | c n | 1 /n &gt; 0. Contrary to this, none of the properties (P), (Q), or (R) is fulfilled if lim n →∞ | c n | 1 /n 2 = 0.

We are now ready to establish the promised result. As an application of it, notice that all sequences ( P n ) considered in the preceding items satisfy condition (a) of the following theorem. Observe also that the conclusion yields the existence, under appropriate assumptions, of an infinite dimensional Fr´chet space consisting, e except for zero, of ( P n ( D ))-hypercyclic functions.

$$\begin{array} { c c c } \text{Theorem } 3. 1. \, \text{Let } \left \{ P _ { n } ( z ) = \sum _ { j = m ( n ) } ^ { d ( n ) } c _ { j, n } z ^ { j } \, \colon n \in \mathbb { N } \right \} \, \text{ be a sequence of nonconstant} \\ \text{polynomials fulfillment the following conditions:} \\ ( a ) \, \text{The sequence $(m(n))$ of valences is unbounded.} \end{array}$$

- (a) The sequence ( m n ( )) of valences is unbounded.
- (b) At least one of the properties (P) , (Q) , or (R) is satisfied.

Then the set HC (( P n ( D ))) is spaceable in H ( C ) .

Proof. Note that, by passing to a subsequence if necessary, we can suppose without loss of generality that the sequence ( m n ( )) is strictly increasing and even that

$$3 \leq m ( 1 ) \leq d ( 1 ) < m ( 2 ) \leq d ( 2 ) < m ( 3 ) \leq d ( 3 ) < \dots < m ( n ) \leq d ( n ) \cdots \to \infty.$$

The space H ( C ) is metrizable and separable (see [22, pp. 370 and 373]). Thus, we will check all properties (i) to (iv) in Theorem 2.1 for X = Y = H ( C ), T n = P n ( D ), and appropriate dense subsets X 0 ⊂ H ( C ), Y 0 ⊂ H ( C ), closed infinite dimensional subspace M 0 ⊂ H ( C ), and mappings S n : Y 0 → H ( C ).

First of all, let us prove that if (a) is satisfied, then (iv) in Theorem 2.1 holds for a suitable M 0 . For this, we shall extend the nice approach given in [20, Example 10.13]. Set n 1 := 1 and, proceeding recursively, suppose that for some k ∈ N the naturals n 1 &lt; n 2 &lt; · · · &lt; n k have been selected. Since x · log 2 log x → + ∞ as x → + ∞ and ( m n ( )) increases unboundedly, we can choose n k +1 ∈ N with n k +1 &gt; n k and

$$\log ( A _ { k } ) + d ( n _ { k } ) < \frac { m ( n _ { k + 1 } ) } { \log ( m ( n _ { k + 1 } ) ) } \cdot \log 2,$$

where

$$A _ { k } \coloneqq \sum _ { s = m ( n _ { k } ) } ^ { d ( n _ { k } ) } | c _ { n _ { k }, s } |. \\ \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \end{array}$$

Thus, a sequence ( n j ) of positive integers has been defined. Note that ( n j ) is a strictly increasing sequence with log( m n ( j )) ≥ log 3 &gt; 1 and that x · log 2 log x is a strictly increasing

function on [ e, + ∞ ), so on [3 , + ∞ ). As a consequence, we get

$$\frac { \log ( A _ { k } ) } { \log ( m ( n _ { j } ) ) } + d ( n _ { k } ) < \log ( 2 ) \cdot \frac { m ( n _ { j } ) } { \log ( m ( n _ { j } ) ) }$$

for all j ≥ k +1, or equivalently,

$$& \kappa - \cdots \cdots \cdots \\ & ( 3. 1 ) & & \left ( \sum _ { s = m ( n _ { k } ) } ^ { d ( n _ { k } ) } | c _ { n _ { k }, s } | \right ) \cdot m ( n _ { j } ) ^ { d ( n _ { k } ) } < 2 ^ { m ( n _ { j } ) } \\ & \text{for all } j \geq k + 1.$$

for all j ≥ k +1.

Let us define M 0 as the set of all entire functions of the form

$$f ( z ) & = \sum _ { j = 1 } ^ { \infty } a _ { j } z ^ { m ( n _ { j } ) }, \\ \intertext { h o t i o n } \det \left ( f ( k ) / \partial \right ) = \partial \left ( \epsilon \cap \left ( k \cap \right ) \left ( \Delta \left ( \Delta \left ( \Delta \right ) \right ) \right ) \left ( \Delta \left ( \Delta \left ( \Delta \right ) \right ) \right ) \left ( \Delta \left ( \Delta \left ( \Delta \right ) \right ) \right ) \right ) } \,.$$

that is, f ( k ) (0) = 0 for all k / ∈ { m n ( j ) : j ∈ N } . If a sequence ( f n ) in H ( C ) converges to a function f uniformly on compacta, then lim n →∞ f ( k ) n (0) = f ( k ) (0) for all k ∈ N ∪ { 0 } , which implies that M 0 is a closed subspace of H ( C ). Moreover, since the function f j ( z ) = z m n ( j ) belongs to M 0 for each j , it follows that M 0 is infinitedimensional.

Let us show that P n k ( D f ) → 0 as k → ∞ for every f ∈ M 0 , which will yield the desired property (iv) in Theorem 2.1 for the sequence of operators ( P n k ( D )). Take f ∈ M 0 as in (3.2). Given a compact subset K ⊂ C , there is r &gt; 1 such | z | ≤ r for all z ∈ K . For every z ∈ K we have

$$f \in M _ { 0 } \text{ as in } ( 3. 2 ). \text{ Given a compact subset } K \subset \mathbb { C }, \text{ there is } r > 1 \text{ such } | z | \leq r \text{ for } \\ \text{all } z \in K. \text{ For every } z \in K \text{ we have } \\ | ( P _ { n _ { k } } ( D ) f ) ( z ) | & = \left | \sum _ { s = m ( n _ { k } ) } ^ { d ( n _ { k } ) } c _ { n _ { k }, s } \cdot D ^ { s } \left ( \sum _ { j = 1 } ^ { \infty } a _ { j } z ^ { m ( n _ { j } ) } \right ) \right | \\ & = \left | \sum _ { s = m ( n _ { k } ) } ^ { d ( n _ { k } ) } c _ { n _ { k }, s } \cdot D ^ { s } \left ( \sum _ { j = k } ^ { \infty } a _ { j } z ^ { m ( n _ { j } ) } \right ) \right | \\ & = \left | \sum _ { j = k } ^ { \infty } a _ { j } \sum _ { s = m ( n _ { k } ) } ^ { d ( n _ { k } ) } c _ { n _ { k }, s } \cdot m ( n _ { j } ) \cdot ( m ( n _ { j } ) - 1 ) \cdots ( m ( n _ { j } ) - s + 1 ) z ^ { m ( n _ { j } ) - s } \right | \\ & \leq \sum _ { j = k } ^ { \infty } | a _ { j } | \left ( \sum _ { s = m ( n _ { k } ) } ^ { d ( n _ { k } ) } | c _ { n _ { k }, s } | \right ) \cdot m ( n _ { j } ) ^ { d ( n _ { k } ) } \cdot r ^ { m ( n _ { j } ) }. \\ \text{Then the inequality in } ( 3. 1 ) \text{ implies that } \\ & | ( P _ { n. } ( D ) f ) ( z ) | < \sum _ { j = k } ^ { \infty } | a _ { j } | ( 2 r ) ^ { m ( n _ { j } ) } \rightarrow 0 \text{ as } k \rightarrow \infty.$$

Then the inequality in (3.1) implies that

$$| ( P _ { n _ { k } } ( D ) f ) ( z ) | \leq \sum _ { j = k } ^ { \infty } | a _ { j } | ( 2 r ) ^ { m ( n _ { j } ) } \to 0 \quad \text{as } k \to \infty, \\ \intertext { a l e t i m i t i e d i n a t o t h a f e t t h a f i c a t i n t i e d i n } \, \text{The above that } D \quad \text{$1$}$$

where the last limit is due to the fact that f is entire. This shows that P n k ( D f ) → 0 uniformly on compacta for all f ∈ M 0 , as required.

Next we will prove that if the property (P) is satisfied, then (i), (ii), and (iii) in Theorem 2.1 hold for suitable X 0 , Y 0 , and S n ( n ∈ N ). Here, we shall follow the lines given in the proof of Theorem 2.4 in [7]. Assume that (P) is satisfied, that is, there is an E -unicity set U ⊂ C with lim n →∞ | P n ( z ) | = + ∞ for all z ∈ U . Define X 0 as the set of all polynomials on C and Y 0 := span { e w : w ∈ U } . For each n ∈ N , the mapping S n : Y 0 → H ( C ) is defined by extending linearly the following one defined on { e w : w ∈ U } :

$$S _ { n } ( e _ { w } ) = \begin{cases} 0 & \text{if $P_{n}(w)=0$} \\ \frac { e _ { w } } { P _ { n } ( w ) } & \text{otherwise.} \end{cases}$$

 Let us recall that the sequence ( m n ( )) strictly increases to infinity. On the one hand, given a polynomial g , we have D g j = 0 for every j &gt; degree ( g ). Hence, T g n = P n ( D g ) = 0 for n large enough, which entails T g n → 0 as n →∞ for all g ∈ X 0 . On the other hand, the property (P) implies that S n → 0 as n → ∞ on { e w : w ∈ U } , and so on its linear span Y 0 .

For fixed n ∈ N and w ∈ C , the following equalities hold for all z ∈ C :

$$( T _ { n } e _ { w } ) ( z ) = ( P _ { n } ( D ) e _ { w } ) ( z ) = \sum _ { j = m ( n ) } ^ { d ( n ) } c _ { j, n } D ^ { j } ( e ^ { w z } ) = \sum _ { j = m ( n ) } ^ { d ( n ) } c _ { j, n } w ^ { j } e ^ { w z } = P _ { n } ( w ) e ^ { w z }.$$

That is, T e n w = P n ( w e ) w . Hence, for each w ∈ U and for n large enough we get

$$T _ { n } S _ { n } ( e _ { w } ) = T _ { n } \left ( \frac { e _ { w } } { P _ { n } ( w ) } \right ) = \frac { P _ { n } ( w ) e _ { w } } { P _ { n } ( w ) } = e _ { w }.$$

Therefore, the sequence ( T S n n ) tends to the identity on { e w : w ∈ U } and, consequently, on its span Y 0 . This concludes the proof of (i), (ii), and (iii) in Theorem 2.1 in the case that (P) holds.

Finally, let us assume that (Q) is fulfilled and prove the properties (i), (ii), and (iii) in Theorem 2.1. In this case, we shall follow closely the lines given in the proof of Theorem 2.15 in [7]. Although only a minimal adaptation of the proof is necessary, it will be reproduced for the sake of completeness. This time both X 0 and Y 0 will be the set of all polynomials on C . As it has been mentioned previously, we have that T n → 0 pointwise on X 0 .

For fixed k ∈ N ∪ { 0 } and n ∈ N , our aim now is to find a polynomial f such that T f z n ( ) = z k . In order to do that, we define the coefficient a j,n as follows:

$$a _ { j, n } = \begin{cases} c _ { j + m ( n ), n } & \text{if $0\leq j\leq d(n)-m(n)$,} \\ 0 & \text{otherwise.} \end{cases}$$

/negationslash

In particular, a 0 ,n = c m n ,n ( ) = 0 by the definition of valence. We consider the function

$$\Psi _ { n } ( z ) = \sum _ { j = 0 } ^ { \infty } a _ { j, n } z ^ { j } = \sum _ { j = 0 } ^ { d ( n ) - m ( n ) } a _ { j, n } z ^ { j } \\ \text{contin}$$

and the associated equation

$$\Psi _ { n } ( D ) g ( z ) = z ^ { k },$$

where g will be a polynomial of degree not greater than k , say, g z ( ) = ∑ k s =0 b s,n z s . That is,

Since g ( j ) ( z ) = 0 for all j &gt; k and a j,n = 0 for all j &gt; d n ( ) -m n ( ), the equation (3.3) is equivalent to

$$& \sum _ { j = 0 } ^ { d ( n ) - m ( n ) } a _ { j, n } \left ( \sum _ { s = 0 } ^ { k } b _ { s, n } z ^ { s } \right ) ^ { ( j ) } = z ^ { k }. \\ r \, \text{all} \ \ i \ > \, k \ \text{ and } \ a _ { i } \, \sim \, 0 \ \text{ for all } \ i \ > \, d ( n ) \, -$$

$$\sum _ { j = 0 } ^ { k } a _ { j, n } \left ( \sum _ { s = 0 } ^ { k } b _ { s, n } z ^ { s } \right ) ^ { ( j ) } = z ^ { k }, \\ \text{ent to the following system:}$$

which in turn is equivalent to the following system:

$$\begin{cases} \sum _ { j = s } ^ { k } a _ { j - s, n } b _ { j, n } \cdot \frac { j! } { s! } = 0 & \text{for each $s=0,1,\dots,k-1$} \\ a _ { 0, n } b _ { k, n } = 1. \end{cases}$$

/negationslash

 This is a square linear system with determinant a k +1 0 ,n = 0, so it has a unique solution ( b 0 ,n , ..., b k,n ). Cramer's rule yields

$$b _ { s, n } = \frac { 1 } { a _ { 0, n } ^ { k + 1 } } \cdot \sum _ { j = 1 } ^ { k } \Phi _ { j, s, k } ( a _ { 1, n }, \dots, a _ { k, n } ) \, a _ { 0, n } ^ { j } \\ \vdots \, \wr \, \text{where} \, \text{each} \, \Phi \,. \, \text{ is to normal of } \, \wr \, \text{comr}$$

for each s ∈ { 0 1 , , ..., k } , where each Φ j,s,k is a polynomial of k complex variables not depending on n . With these values, the function g n,k ( z ) = ∑ k s =0 b s,n z s satisfies the equation Ψ ( n D g ) n,k = z k . Therefore, if the polynomial f n,k is defined as

$$& ( 3. 4 ) & & f _ { n, k } ( z ) = \sum _ { s = 0 } ^ { k } b _ { s, n } \frac { z ^ { s + m ( n ) } } { ( s + 1 ) ( s + 2 ) \cdots ( s + m ( n ) ) }, \\ & \text{then}$$

then

$$( T _ { n } f _ { n, k } ) ( z ) = ( P _ { n } ( D ) f ) ( z ) = \sum _ { j = m ( n ) } ^ { d ( n ) } c _ { j, n } f _ { n, k } ^ { ( j ) } ( z ) = \sum _ { j = 0 } ^ { d ( n ) - m ( n ) } a _ { j, n } D ^ { j } \left ( f _ { n, k } ^ { ( m ( n ) ) } \right ) ( z )$$

$$( T _ { n } f _ { n, k } ) ( z ) & = ( P _ { n } ( D ) f ) ( z ) = \sum _ { j = m ( n ) } ^ { d ( n ) } c _ { j, n } f _ { n, k } ^ { ( j ) } ( z ) = \sum _ { j = 0 } ^ { d ( n ) - m ( n ) } a _ { j, n } D ^ { j } \left ( f _ { n, k } ^ { ( m ( n ) ) } \right ) ( z ) \\ & = \sum _ { j = 0 } ^ { d ( n ) - m ( n ) } a _ { j, n } g _ { n, k } ^ { ( j ) } ( z ) = ( \Psi _ { n } ( D ) g _ { n, k } ) ( z ) = z ^ { k }. \\ \text{This proves that the polynomial } f _ { n, k } \text{ satisfies the equation } T _ { n } f _ { n, k } ( z ) = z ^ { k }.$$

This proves that the polynomial f n,k satisfies the equation T f n n,k ( z ) = z k .

From (Q), the sequence { c j + m n ,n ( ) : n ∈ N } is bounded for each j ∈ N , so the sequences ( a 1 ,n ) , ( a 2 ,n ) , . . . , ( a k,n ) are bounded. As a consequence, there exists a finite positive constant C , not depending on n , such that

$$| \Phi _ { j, s, k } ( a _ { 1, n }, \dots, a _ { k, n } ) | \leq C$$

for all s ∈ { 0 1 , , ..., k } and all j ∈ { 1 , ..., k } , which implies

$$& ( 3. 5 ) & & | b _ { s, n } | \leq \frac { 1 } { | a _ { 0, n } | ^ { k + 1 } } \cdot \sum _ { j = 1 } ^ { k } C | a _ { 0, n } | ^ { j } = \sum _ { j = 1 } ^ { k } \frac { C } { | a _ { 0, n } | ^ { k + 1 - j } }. \\ & \text{Let us fix $r>1$ $R$ equations (3 4) and (3 5)$ if $|z| < r$ then}$$

Let us fix r &gt; 1. By equations (3.4) and (3.5), if | z | ≤ r , then

$$\text{ use fix } r > 1. \, By equations ( 3. 4 ) \, \text{ and } ( 3. 5 ), \, \text{if } | z | \leq r, \, \text{then} \\ | f _ { n, k } ( z ) | & \leq \sum _ { s = 0 } ^ { k } | b _ { s, n } | \cdot \frac { r ^ { s + m ( n ) } } { ( s + 1 ) ( s + 2 ) \cdots ( s + m ( n ) ) } \\ & \leq \sum _ { s = 0 } ^ { k } \sum _ { j = 1 } ^ { k } \frac { C } { | a _ { 0, n } | ^ { k + 1 - j } } \cdot \frac { r ^ { k + m ( n ) } } { ( s + 1 ) ( s + 2 ) \cdots ( s + m ( n ) ) } \\ & = \sum _ { s = 0 } ^ { k } \sum _ { j = 1 } ^ { k } \frac { C } { | a _ { 0, n } | ^ { k + 1 - j } } \cdot \frac { r ^ { k + m ( n ) } \cdot s! } { ( s + m ( n ) )! }. \\ \text{ice } \ p! \cdot q! \leq ( p + q )! \text{ for all } \ p, q \in \mathbb { N }, \, \text{if } | z | \leq r, \, \text{we obtain} \\ \quad \iota. \quad \iota. \quad \dots$$

Since p ! · q ! ≤ ( p + )! for all q p, q ∈ N , if | z | ≤ r , we obtain

$$| f _ { n, k } ( z ) | & \leq \sum _ { s = 0 } ^ { k } \sum _ { j = 1 } ^ { k } \frac { C } { | a _ { 0, n } | ^ { k + 1 - j } } \cdot \frac { r ^ { k + m ( n ) } } { m ( n )! } = ( k + 1 ) \sum _ { j = 1 } ^ { k } C r ^ { k } \cdot \frac { r ^ { m ( n ) } } { | c _ { m ( n ), n } | ^ { k + 1 - j } \cdot m ( n )! }. \\ \intertext { s } \quad \mathfrak { m..... } \quad \mathfrak { m.... } \quad \mathfrak { m.... } \quad \mathfrak { m.... } \quad \mathfrak { m.... } \quad \mathfrak { m.... } \quad \mathfrak { m.... } \quad \cdot \,,$$

Recall that lim n →∞ m n ( ) = + ∞ and lim n →∞ m n ( ) | c m n ,n ( ) | k +1 -j m n ( ) = + ∞ for every j by the property (Q). Then Stirling's formula leads us to

$$\lim _ { n \to \infty } \left ( | c _ { m ( n ), n } | ^ { k + 1 - j } \cdot m ( n )! \right ) ^ { \frac { 1 } { m ( n ) } } = + \infty, \\ \mathbb { N } \text{ such that}$$

so there is n 0 ∈ N such that

$$& \left ( | c _ { m ( n ), n } | ^ { k + 1 - j } \cdot m ( n )! \right ) ^ { \frac { 1 } { m ( n ) } } > 2 r \\, \, \text{if } | z | \leq r \text{ and } n \geq n _ { 0 }, \, \text{then}$$

for all n ≥ n 0 . Hence, if | z | ≤ r and n ≥ n 0 , then

$$| f _ { n, k } ( z ) | \leq ( k + 1 ) \sum _ { j = 1 } ^ { k } C r ^ { k } \cdot \frac { r ^ { m ( n ) } } { ( 2 r ) ^ { m ( n ) } } \to 0 \quad \text{as } n \to \infty. \\ \text{ore for each } k \in \mathbb { N } \, \det \, 0 \, \frac { \tilde { f } _ { n } } { \tilde { \omega } } \to 0 \, \text{uniformly on comnact} a \, \text{as } n \to \infty$$

Therefore, for each k ∈ N ∪ { 0 } , f n,k → 0 uniformly on compacta as n →∞ .

The mapping S n : Y 0 → H ( C ) is defined on the space Y 0 of all polynomials by

$$S _ { n } \left ( z ^ { k } \right ) = f _ { n, k } ( z ) \\ \text{and then extended to }!$$

for each k ∈ N ∪{ } 0 and n ∈ N and then extended to Y 0 by linearity. We have already proved that, for each k , S n ( z k ) = f n,k → 0 as n → ∞ and T n ( S z n k ) = z k . Hence, it is plain that S f n → 0 and T n ( S f n ) = f → f as n → ∞ for every polynomial

f ∈ Y 0 . Consequently, properties (i)-(ii)-(iii) in Theorem 2.1 are satisfied also in this case. This concludes the proof. /square

Notice that, for any nonconstant polynomial P with P (0) = 0, the valences of the sequence of polynomials ( P z ( ) n ) are unbounded. Moreover, since | P z ( ) | → ∞ as | z | →∞ , it follows that | P z ( ) | &gt; 2 on some circle | z | = r and then the property (R) is satisfied. Hence, Menet's result of spaceability of HC P D ( ( )) is recovered in this case, since ( P n )( D ) = P D ( ) ◦ · · · ◦ P D ( ) ( n times) for all n ∈ N .

Theorem 3.2. Let    P n ( z ) = d n ( ) ∑ j = m n ( ) c j,n z j    n ≥ 1 be a sequence of nonconstant polynomials fulfilling the following conditions:

- (a) The sequence ( m n ( )) of valences is unbounded.
- (b) At least one of the properties (P), (Q) or (R) is satisfied.

Then the set HC (( P n ( D ))) is maximal dense-lineable in H ( C ) .

Proof. By Theorem 3.1, there exists an infinite dimensional closed subspace M ⊂ HC (( P n ( D ))) ∪ { 0 } . By [30], the dimension of both M and H ( C ) is c . Then the maximal dense-lineability of HC (( P n ( D ))) follows from Theorem 2.3 with the following choice of characters: X = H ( C ), A = HC (( P n ( D ))), and B the set of all polynomials on C . Indeed, since the polynomials form a dense subspace of H ( C ), we obtain the dense-lineability of B . Now, for a prescribed polynomial g there is n 0 ∈ N such that m n ( ) &gt; degree ( g ) for all n ≥ n 0 , so D g j = 0 for all j ≥ m n ( ) if n ≥ n 0 . Thus, P n ( D g ) = 0 for every n ≥ n 0 . Therefore, no polynomial can be hypercyclic, that is, A ∩ B = ∅ . Finally, let f ∈ A g , ∈ B , and h ∈ H ( C ). Since f is hypercyclic, there is a strictly increasing sequence ( n k ) ⊂ N such that P n k ( D f ) → h uniformly on compacta. As P n ( D g ) → 0 as n →∞ , we obtain that P n k ( D f )( + ) g → h as k →∞ as well. In other words, f + g is hypercyclic or, with language of sets, A + B ⊂ A . This completes the checking of all properties (i) to (iv) in Theorem 2.3. /square

## 4. Subspaces with prefixed hypercyclic functions.

In [28], Pellegrino and Raposo introduced the notion of pointwise lineable set, which in turn led to the concept of infinitely pointwise lineable set defined in [14]. Given a cardinal number α , a subset A of a topological vector space X is said to be pointwise α -lineable if for every x ∈ A there exists a vector subspace W x ⊂ X such that dim( W x ) = α and x ∈ W x ⊂ A ∪ { 0 } . If each W x can be chosen to be closed, then A is said to be pointwise α -spaceable . In addition, if λ is an infinite cardinal number, the subset A is λ -infinitely pointwise α -dense-lineable if for every x ∈ A there is a family { W k : k ∈ Λ , } where Λ is set of cardinality λ , such that each W k is a dense subspace of X , dim( W k ) =

/negationslash

α , x ∈ W k ⊂ A ∪ { 0 } , and W k ∩ W l = span { x } whenever k = . l When λ = ℵ 0 , we recover the original definition given in [14] (see also [16] for an arbitrary λ ).

Theorem 4.1. Let us suppose that X and Y are two topological vector spaces, Y is metrizable and separable, and T n : X → Y is a continuous linear mapping for each n ∈ N . Let α be an infinite cardinal number and assume that, for each subsequence ( T n k ) of ( T n ) , the set HC (( T n k )) is α -spaceable. Then HC (( T n )) is pointwise α -spaceable.

Proof. Plainly, there exists an element x 0 ∈ HC (( T n )). Then there exists a subsequence ( T n k ) of ( T n ) such that T n k x 0 → 0 as k → ∞ . From the assumption, the set HC (( T n k )) is α -spaceable. That is, there is a closed subspace V ⊂ X such that dim( V ) = α and V ⊂ HC (( T n k )) ∪ { 0 } . Since { T x n 0 : n ∈ N } is dense in Y and T n k x 0 → 0, it follows that x 0 / HC ∈ (( T n k )) ∪ { 0 } and, consequently, x 0 / V ∈ . Since V is closed, the direct sum W = V ⊕ span { x 0 } is also closed (see, e.g., [31, p. 32]). Thus, W is a closed subspace of X such that dim( W ) = α and x 0 ∈ W .

Our final task is to show that W ⊂ HC (( T n )) ∪ { 0 } . With this aim, let us fixed an element w ∈ W \{ } 0 . Then there are a vector v ∈ V and a scalar λ such that w = v + λx 0 . At this point, we have to distinguish two cases:

/negationslash

- · If v = 0, then λ = 0 and hence w = λx 0 ∈ HC (( T n )).

/negationslash

- · Let us suppose now that v = 0 and let us prove that w is hypercyclic for the sequence ( T n ). For a fixed vector y ∈ Y , since v ∈ V \{ } ⊂ 0 HC (( T n k )), there exists a subsequence ( T n k j ) of ( T n k ) such that T n k j v → y as j → ∞ . As T n k x 0 → 0 as k →∞ , we also have that T n k j x 0 → 0 as j →∞ . Therefore, by linearity, we get that

$$T _ { n _ { k _ { j } } } w = T _ { n _ { k _ { j } } } v + \lambda T _ { n _ { k _ { j } } } x _ { 0 } \to y + 0 = y \ \text{ as } j \to \infty.$$

This shows that w ∈ HC (( T n k )) in this case too.

Summarizing, any vector in W \{ } 0 is hypercyclic for the sequence ( T n ). Thus, the proof is finished. /square

The following assertion, that reinforces Theorem 3.1, is an immediate consequence of Theorems 3.1 and 4.1, since the dimension of every infinite dimensional closed subspace of H ( C ) is c (see [30]). Note also that, in order to apply Theorem 4.1, we may start with any subsequence ( P n k ( D )) of ( P n ( D )) satisfying that m n ( k ) is increasing to infinity.

Theorem 4.2. Let    P n ( z ) = d n ( ) ∑ j = m n ( ) c j,n z j    n ≥ 1 be a sequence of nonconstant polynomials fulfilling the following conditions:

- (a) The sequence ( m n ( )) of valences is unbounded.
- (b) At least one of the properties (P) , (Q) , or (R) is satisfied.

Then the set HC (( P n ( D ))) is pointwise c -spaceable in H ( C ) .

Observe that the last result is optimal in terms of the dimension of the closed subspace.

Inspired by [14, Theorem 2.3] (see also [16]), we obtain the next pointwise version of Theorem 2.3:

Theorem 4.3. Let us suppose that X is a metrizable separable topological vector space, α is an infinite cardinal number, and A and B are two subsets of X with the following properties:

- (ii) A + B ⊂ A .
- (ii) A ∩ B = ∅ .
- (iii) A is pointwise α -lineable.
- (iv) B is dense-lineable.

Then the set A is α -infinitely pointwise α -dense-lineable.

Proof. It is essentially the same proof done in [14, Theorem 2.3] for a countable collection of subspaces. We will only indicate the part that is different. Let us fix an element x ∈ A . Note that x cannot be 0. Indeed, if x = 0, it would follow that

$$B = \{ 0 \} + B \subset A + B \subset A,$$

so B ⊂ A , which is impossible because A B ∩ = ∅ . Since A is pointwise α -lineable, there is a vector space W ⊂ A ∪ { 0 } such that dim( W ) = α and x ∈ W . Let { e γ : γ ∈ Γ } be chosen so that { x } ∪ { e γ : γ ∈ Γ } is a basis of W .

/negationslash

The cardinal number α is infinite, so α 2 = α and then it is possible to split Γ into α subsets, each one with cardinality α . That is, Γ = ⋃ k ∈K Γ , where the cardinality k of the index set K is α , the cardinality of each Γ k is α , and Γ k ∩ Γ = l ∅ if k = . For l each k ∈ K , we define

$$W _ { k } = \text{span} \left ( \left \{ x \right \} \cup \left \{ e _ { \gamma } \, \colon \gamma \in \Gamma _ { k } \right \} \right ).$$

/negationslash

Note that x ∈ W k , dim( W k ) = α , and W k ∩ W l = span { x } if k = . l In addition, we have

$$W _ { k } + W _ { l } \subset W \subset A \cup \{ 0 \}.$$

The basis of each W k can be renamed in the following way:

$$\left \{ x \right \} \cup \left \{ e _ { \gamma } \, \colon \gamma \in \Gamma _ { k } \right \} = \left \{ \omega _ { i } ^ { ( k ) } \, \colon i \in I \right \}, \\ \text{set with cardinality} \, \alpha \, \text{such that} \, 1 \in I \text{ and we ass}$$

/negationslash where I is a index set with cardinality α such that 1 ∈ I and we assume that ω ( k ) 1 = x . Now we can split I into infinitely many pairwise disjoint nonempty sets: I = ⋃ n ∈ N I n , where 1 ∈ I 1 and I n ∩ I m = ∅ if n = m . From this point, the proof continues exactly as in [14, Theorem 2.3]. /square

The following assertion is an improvement of Theorem 3.2.

Theorem 4.4. Let    P n ( z ) = d n ( ) ∑ j = m n ( ) c j,n z j    n ≥ 1 be a sequence of nonconstant polynomials fulfilling the following conditions:

- (a) The sequence ( m n ( )) of valences is unbounded.
- (b) At least one of the properties (P), (Q) or (R) is satisfied.

Then the set HC (( P n ( D ))) is c -infinitely pointwise c -dense-lineable in H ( C ) .

Proof. It is a consequence of Theorem 4.3 with A = HC (( P n ( D ))) and B the set of all polynomials on C . It was shown in the proof of Theorem 3.2 that A + B ⊂ A and A ∩ B = ∅ . Moreover, A is pointwise c -lineable by Theorem 4.2, while B is dense-lineable because the polynomials form a dense subspace of H ( C ). /square

Wewant to finish this section by posing the following question, which arises naturally.

Question. Under similar assumptions to those of Theorems 3.1 and 3.2 for a sequence (Φ ) of entire n functions with exponential type, is the set HC ((Φ ( n D ))) spaceable, maximal dense-lineable, and even infinitely pointwise c -dense-lineable and pointwise spaceable, in H ( C )?

Acknowledgments. This paper has been made during a stay of the third author at the Instituto de Matem´ticas de la Universidad de Sevilla (IMUS). The third author a wants to thank this institution for its support and hospitality.

Authors contribution. All four authors have contributed equally to this work.

## References

- [1] R.M. Aron, L. Bernal-Gonz´ alez, D. Pellegrino, and J.B. Seoane-Sep´lveda, u Lineability: The Search for Linearity in Mathematics , Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, 2016.
- [2] F. Bayart and E. Matheron, Dynamics of Linear Operators , Cambridge Tracts in Mathematics, Cambridge University Press, 2009.
- [3] C.A. Berenstein and R. Gay, Complex analysis and special topics in harmonic analysis , Springer, New York, 1995.
- [4] L. Bernal-Gonz´lez, a Densely hereditarily hypercyclic sequences and large hypercyclic manifolds , Proc. Amer. Math. Soc. 127 (1999), no. 11, 3279-3285.
- [5] L. Bernal-Gonz´lez, a Universal images of universal elements , Studia Math. 138 (2000), no. 3, 241-250.
- [6] L. Bernal-Gonz´lez and M.C. Calder´n-Moreno, a o Dense linear manifolds of monsters , J. Approx. Theory 119 (2002), 156-180.
- [7] L. Bernal-Gonz´lez and J.A. Prado-Tendero, a Sequences of differential operators: exponentials, hypercyclicity and equicontinuity , Ann. Polon. Math. 77 (2001), no. 2, 169-187.
- [8] J.P. B`s, e Invariant manifolds of hypercyclic vectors for the real scalar case , Proc. Amer. Math. Soc. 127 (1999), no. 6, 1801-1804.

- [9] G.D. Birkhoff, D´ emonstration d'un th´or`me e e ´ el´mentaire e sur les fonctions enti`res e , C. R. Acad. Sci. Paris 189 (1929), 473-475.
- [10] R.P. Boas, Entire functions , Academic Press, New York, 1954.
- [11] J. Bonet, F. Mart´ ınez-Gim´nez, e and A. Peris, Universal and chaotic multipliers on spaces of operators , J. Math. Anal. Appl. 297 (2004), no. 2, 599-611.
- [12] A. Bonilla and K.-G. Grosse-Erdmann, Frequently hypercyclic subspaces , Monatsh. Math. 168 (2012), no. 3-4, 305-320.
- [13] P.S. Bourdon, Invariant manifolds of hypercyclic operators , Proc. Amer. Math. Soc. 118 (1993), no. 3, 845-847.
- [14] M.C. Calder´n-Moreno, P. Gerlach-Mena, and J.A. Prado-Bassas, o Infinite pointwise lineability: general criteria and applications , Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM 118 (2024), paper no. 25.
- [15] D.G. Dickson, Expansions in series of solutions of linear difference-differential and infinite order differential equations with constant coefficients , Memoirs of the Amer. Math. Soc. 23 , Providence, Rhode Island, 1957.
- [16] P. Emerick and L.A. Belmonte, Infinite Lineability: On the Abundance of Dense Subspaces , preprint, available at arXiv:2401.00382 (2023).
- [17] G. Godefroy and J.H. Shapiro, Operators with dense, invariant, cyclic vector manifolds , J. Funct. Anal. 98 (1991), no. 2, 229-269.
- [18] M. Gonz´ alez, F. Le´n-Saavedra and A. Montes-Rodr´ ıguez, o Semi-Fredholm Theory: hypercyclic and supercyclic subspaces , Proc. London Math. Soc. 81 (2000), no. 1, 169-189.
- [19] K.-G. Grosse-Erdmann, Universal families and hypercyclic operators , Bull. Amer. Math. Soc. 36 (1999), no. 3, 345-381.
- [20] K.-G. Grosse-Erdmann and A. Peris, Linear Chaos , Springer, London, 2011.
- [21] D. Herrero, Limits of hypercyclic and supercyclic operators , J. Funct. Anal. 99 (1991), 179-190.
- [22] G. K¨ othe, Topological Vector Spaces I , Springer-Verlag, Berlin, 1983.
- [23] F. Le´n-Saavedra and A. Montes-Rodr´ ıguez, o Linear structure of hypercyclic vectors , J. Funct. Anal. 148 (1997), no. 2, 524-545.
- [24] F. Le´n-Saavedra and V. M¨ller, o u Hypercyclic sequences of operators , Studia Math. 175 (2006), no. 1, 1-18.
- [25] G.R. MacLane, Sequences of derivatives and normal families , J. Analyse Math. 2 (1952), 72-87.
- [26] Q. Menet, Hypercyclic subspaces and weighted shifts , Adv. Math. 255 (2014), 305-337.
- [27] A. Montes-Rodr´ ıguez, Banach spaces of hypercyclic vectors , Michigan Math. J. 43 (1996), no. 3, 419-436.
- [28] D. Pellegrino and A. Raposo, Jr., Pointwise lineability in sequence spaces , Indag. Math. (N.S.) 32 (2021), 536-546.
- [29] H. Petersson, Hypercyclic subspaces for Fr´chet space operators e , J. Math. Anal. Appl. 319 (2006), no. 2, 764-782.
- [30] J.O. Popoola and I. Tweddle, On the dimension of a complete metrizable topological vector space , Canad. Math. Bull. 20 (1977), no. 2, 271-272.
- [31] W. Rudin, Functional Analysis , 2nd. edition, McGraw-Hill Book Co., New York, 1991.
- [32] S. Shkarin, On the set of hypercyclic vectors for the differentiation operators , 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.

(L. Bernal-Gonz´lez) a

Departamento de An´lisis Matem´tico a a

Facultad de Matem´ticas a

Instituto de Matem´ticas de la Universidad de Sevilla (IMUS) a

Universidad de Sevilla

Avenida Reina Mercedes s/n, 41012-Sevilla (Spain).

Email address :

lbernal@us.es

(M.C. Calder´n-Moreno) o

Departamento de An´lisis Matem´tico a a

Facultad de Matem´ticas a

Instituto de Matem´ticas de la Universidad de Sevilla (IMUS) a

Universidad de Sevilla

Avenida Reina Mercedes s/n, 41012-Sevilla (Spain).

Email address : mccm@us.es

## (J. L´pez-Salazar) o

Departamento de Matem´ atica Aplicada a las Tecnolog´ ıas de la Informaci´n y de las Comunicaciones o Escuela T´ ecnica Superior de Ingenier´ ıa y Sistemas de Telecomunicaci´n o Universidad Polit´cnica de Madrid e Nikola Tesla s/n, 28031-Madrid (Spain). Email address : jeronimo.lopezsalazar@upm.es

## (J.A. Prado-Bassas)

Departamento de An´lisis Matem´tico a a

Facultad de Matem´ticas a

Instituto de Matem´ticas de la Universidad de Sevilla (IMUS) a

Universidad de Sevilla

Avenida Reina Mercedes s/n, 41012-Sevilla (Spain).

Email address : bassas@us.es
L. Bernal-González M. C. Calderón-Moreno J. López-Salazar J. A. Prado-Bassas
Hypercyclic subspaces for sequences of finite order differential operators
It is proved that, if $(P_n)$ is a sequence of polynomials with complex
coefficients having unbounded valences and tending to infinity at sufficiently
many points, then there is an infinite dimensional closed subspace of entire
functions, as well a dense $\mathfrak{c}$-dimensional subspace of entire
functions, all of whose nonzero members are hypercyclic for the corresponding
sequence $(P_n(D))$ of differential operators. In both cases, the subspace can
be chosen so as to contain any prescribed hypercylic function.