arXiv:1812.02294v2 [math.FA] 7 Dec 2018 ieroeaospsesn yecci etr r adt be to said are vectors hypercyclic possessing operators Linear fteeeitan exist there If ( ea(one rubudd ieroeao na(elo complex) or (real a in operator linear unbounded) ( or (bounded a be (1.1) x yecciiyadcraneape fhprylcadcatcunbo 1.1 Definition chaotic and hypercyclic conditions sufficient of operators. are examples differential found certain also and where hypercyclicity spaces, Banach in rators tr omloperator. normal ator, ( operator yecci ieroeaoswt es e fproi onsaes are points periodic of set dense a with chaotic operators linear Hypercyclic e for ied of notions The ieroeaoso aahsae,adsont eaprl infinite purely a be to [ shown e.g., and (see, spaces, phenomena Banach on operators linear A X, Z ∈ + 0 2010 e od n phrases. and words Key k · k := := D ( . I ahmtc ujc Classification. Subject Mathematics A { .Anneovector nonzero A ). continuous Abstract. aahsaewt cadrbasis. Schauder a in with operators space linear Banach unbounded chaotic straightf of a construct furnish general to operators Rolewicz’s shift backward , FCATCUBUDDLNA OPERATORS LINEAR UNBOUNDED CHAOTIC OF 0 A N I , NBNC PCSWT CADRBASES SCHAUDER WITH SPACES BANACH IN . 1 uhthat such ) sthe is , 2 . . . , hypercyclicity N Hprylct n hoiiy[ Chaoticity and (Hypercyclicity dniyoperator identity } euiieteie neligtecntuto h classica the of construct the underlying idea the utilize We ∈ ieroeaoso rehtsae,i atclrfor particular in Fr´echet spaces, on operators linear stesto ongtv nees sdnein dense is integers) nonnegative of set the is N NGNRLCONSTRUCT GENERAL ON 10 A ( yeccyiy hoiiy cadrbss clrtp s type scalar basis, Schauder chaoticity, Hyperciclycity, N N , 11 := x x , = and 17 { ∈ 1 A AA .MARKIN V. MARAT x 1. ) n[ in ]), , C 2 uhavco scle a called is vector a such , chaoticity : . . . , ∞ Introduction X { on ( A A ⊇ } n 2 rmr 71;Scnay4B0 47B15. 47B40, Secondary 47A16; Primary X := ) x , D stesto aua ubr)adavector a and numbers) natural of set the is 3 1 } scalled is ) r xeddto extended are ] ( n A rdtoal osdrdadwl stud- well and considered traditionally , ∈ n \ ∞ Z =0 ) + → D 2 X ( , A 3 hypercyclic n ]) ) . Let radapoc oa to approach orward ra rcomplex) or (real a unbounded eidcpoint periodic hypercyclic fisobtunder orbit its if X weighted l o unbounded for . aahspace Banach ne linear unded -dimensional eta oper- pectral ierope- linear i obe to aid . bounded o the for A 2 MARAT V. MARKIN

Remarks 1.1. • In the definition of hypercyclicity, the underlying space must necessarily be separable. • For a hypercyclic linear operator A, the subspace C∞(A) (see (1.1)), which contains the dense orbit of a hypercyclic vector, is also dense. • As is easily seen, a periodic point x of A, if any, also belongs to C∞(A).

In [14], (bounded or unbounded) scalar type spectral operators in a complex Banach, in particular normal ones in a complex Hilbert space, (see, e.g., [4–8,16]) are proven to be non-hypercyclic. In [17], S. Rolewicz gave the first example of a hypercyclic bounded linear operator on a Banach space (see also [10,11]), which on (real or complex) sequence space lp (1 ≤ p< ∞) or c0 (of vanishing sequences), the latter equipped with the supremum norm c0 ∋ x := (xk)k∈N 7→ kxk∞ := sup |xk|, k∈N is the following weighted backward shift:

A(xk)k∈N := λ(xk+1)k∈N, where λ ∈ R or λ ∈ C with |λ| > 1 is arbitrary. Rolewicz’s operators also happen to be chaotic (see, e.g., [10, Example 2.32]). In [15, Theorem 2.1], Rolewicz’s example is modified to produce hypercyclic un- bounded linear operators in lp (1 ≤ p< ∞) or c0 as follows.

Theorem 1.1 ([15, Theorem 2.1]). In the (real or complex) sequence space X := lp (1 ≤ p< ∞) or X := c0, the weighted backward shift k D(A) ∋ x := (xk)k∈N 7→ Ax := (λ xk+1)k∈N, where λ ∈ R or λ ∈ C, |λ| > 1 is arbitrary, with the domain k D(A) := (xk)k∈N ∈ X (λ xk+1)n∈N ∈ X is a hypercyclic unbounded linear operator.

We are to generalize the above construct of unbounded weighted backward shifts to Banach spaces with Schauder bases (see, e.g., [12, 13]) and show, in particular, that the operators in the prior theorem are chaotic.

2. Preliminaries

Here, for the reader’s convenience, we outline certain essential preliminaries con- cerning Banach spaces with Schauder bases. Definition 2.1 (Schauder Basis of a Banach Space). A Schauder basis (also a countable basis) of a (real or complex) Banach space (X, k·k) is a countably infinite set of elements {en}n∈N in X such that ∞

∀ x ∈ X ∃!(xk)k∈N ⊆ F : x = xkek, k X=1 GENERAL CONSTRUCT OF CHAOTIC UNBOUNDED LINEAR OPERATORS 3 where F := R or F := C, the series called the Schauder expansion of x and the numbers xk, k ∈ N, are called the coordinates of x relative to the Schauder basis {en}n∈N (see, e.g., [12, 13]). Examples 2.1. ∞ 1. Theset {en := {δnk}k=1}n∈N, where δnk is the Kronecker delta, is a Schauder basis for lp (1 ≤ p < ∞) and (c0, k·k∞) (c0 is the space of vanishing se- quences), the latter equipped with the supremum norm

c0 ∋ x := (xk)k∈N 7→ kxk∞ := sup |xk|, k∈N with ∞ x := (xk)k∈N = xkek, k X=1 e e , ,... c, 2. The set { n}n∈Z+ , where 0 := (1 1 ) is a Schauder basis for ( k·k∞) (c is the space of convergent sequences) with ∞ x := (xk)k∈N = xkek, k X=0 where

x0 = lim xk. k→∞

3. Other examples of Banach spaces with more intricate Schauder bases are Lp(a,b) (1 ≤ p < ∞) and C[a,b] (−∞

C[a,b] ∋ x 7→ kxk∞ := max |x(t)| a≤t≤b (see, e.g., [12, 18]). Remarks 2.1.

• Observe that the aforementioned Schauder bases for the spaces lp (1 ≤ p< ∞), (c0, k·k∞), and (c, k·k∞) consist of unit vectors. Always, without loss of generality, one can regard that, for a Schauder basis {en}n∈N of a Banach space (X, k·k),

(2.2) kenk =1, n ∈ N, which immediately implies that, for any ∞

x = xkek, k X=1 by the convergence of the series,

|xk| = kxkekk → 0, k → ∞.

• In particular, an orthonormal basis of a separable Hilbert space is a Schauder basis satisfying condition (2.2) (see, e.g., [1]). 4 MARAT V. MARKIN

• Every Banach space (X, k·k) with a Schauder basis is separable, a countable dense subset being n

(2.3) Y := x := xkek n ∈ N, x1,...,xn are rational/complex rational . ( ) k=1 X

The basis problem on whether every separable Banach space has a Schauder basis posed by Stefan Banach was negatively answered by Per Enflo in [9]. • The profound fact useful for our discourse is that, for each n ∈ N, the Schauder coordinate functional ∞

X ∋ x = xkek 7→ xn(x) := xn ∈ F k X=1 is well defined, linear, and bounded (see, e.g., [12, 13]). Hence, if ∞ ∞ (n) (n) X ∋ x = xk ek → x = xkek, n → ∞, in (X, k·k), k k X=1 X=1 then, for every k ∈ N, (n) xk → xk, n → ∞, the converse statement not being true (see, e.g., [13]).

3. Weighted Backward Shift Operators in Banach Spaces with Schauder Bases

In this section, we analyze the nature of generalized backward shift operators in Banach spaces with Schauder bases. Lemma 3.1. In the (real or complex) Banach space (X, k·k) with a Schauder basis {ek}k∈N such that

(3.4) kekk =1, k ∈ N, the weighted backward shift ∞ ∞

D(A) ∋ x = xkek 7→ Ax := wkxk+1ek, k k X=1 X=1 where (wk)k∈N is an arbitrary real- or complex-termed weight sequence such that

(3.5) 1 ≤ |wk| ≤ |wk+1|, k ∈ N, with the domain ∞ ∞

D(A) := x = xkek ∈ X wkxk+1ek ∈ X ( k k ) X=1 X=1 ∞ is a linear operator with a dense subspace C (A) (see (1.1)) and such that, for each n ∈ N, the operator An is closed and, provided

(3.6) lim |wk| = ∞, k→∞ is unbounded. GENERAL CONSTRUCT OF CHAOTIC UNBOUNDED LINEAR OPERATORS 5

Proof. The linearity of A is obvious. For each n ∈ N, ∞ n+k−1 n A x = wj xk nek,   + k j k X=1 Y= ∞ ∞  ∞ n+k−1 n x = xkek ∈ D(A )= x = xkek ∈ X wj xk nek ∈ X .    +  k=1 k=1 k=1 j=k X  X X Y    with   (3.7) D(An+1) ⊆ D(An), n ∈ N, the linear operator An being densely defined since the domain D(An) contains the countable dense in (X, k·k) subset Y (see (2.3)) and hence, so does the subspace ∞ C∞(A) := D(An) n=0 \ of all possible initial values for the orbits under A, which is also dense in (X, k·k). Let ∞ ∞ n (m) (m) D(A ) ∋ x = xk ek → x = xkek, m → ∞, k k X=1 X=1 and ∞ n+k−1 ∞ n (m) (m) A x = wj x ek → y = ykek, m → ∞,   k+n k j k k X=1 Y= X=1 then (see Preliminaries), for each k ∈ N, (m) xk → xk, m → ∞, and n+k−1 (m) wj x → yk, m → ∞.   k+n j k Y=   Whence, we infer that

n+k−1 yk = wj xk n, m ∈ N,   + j k Y= and therefore,   x ∈ D(An) and y = Ax, which implies that, for each n ∈ N, the operator An is closed (see, e.g., [6, 13]).

In view of (3.4), with the weight sequence (wk)k∈N satisfying conditions (3.5) and (3.6), for every n ∈ N, the operator An is unbounded since

2n−1 2n−1 n kA e nk = wj en = |wj | kenk ≥ |wn| → ∞, n → ∞. 2     j=n j=n Y Y     

6 MARAT V. MARKIN

Remark 3.1. Observe that, under restriction (3.4), conditions (3.5) and (3.6) are sufficient for the unboundedness of An (n ∈ N), but, generally, may not be necessary.

4. General Construct of Chaotic Unbounded Linear Operators in Banach Spaces with Schauder Bases

Here, we furnish a straightforward approach to a general construct of chaotic un- bounded linear operators in a (real or complex) Banach space with a Schauder basis utilizing the idea, which underlies the construct of the classical weighted backward shift Rolewicz’s operators, i.e., the denseness in the spaces lp (1 ≤ p < ∞) and (c0, k∞k∞) of the subspace c00 of eventually zero sequences. In a Banach space (X, k·k) with a Schauder basis {en}n∈N the natural analogue of such a subspace is that of “eventually zero” vectors relative to {en}n∈N: ∞

x := xkek ∈ X ∃ n ∈ N : xk =0, k>n . ( ) k=1 X

Thus, in the spaces lp (1 ≤ p < ∞ ) and (c0, k∞k∞) relative to their standard Schauder bases described in Preliminaries, this subspace merely coincides with c00, whereas in the space (c, k·k∞) relative to its standard Schauder basis described in Preliminaries, this subspace consists of all eventually constant sequences. Theorem 4.1. In the (real or complex) Banach space (X, k·k) with a Schauder basis {ek}k∈N such that

(4.8) kekk =1, k ∈ N, the weighted backward shift ∞ ∞

D(A) ∋ x = xkek 7→ Ax := wkxk+1ek, k k X=1 X=1 where (wk)k∈N is an arbitrary real- or complex-termed weight sequence satisfying (3.5) and such that ∞ −1 (4.9) |wk| < ∞, k X=1 with the domain ∞ ∞

D(A) := x = xkek ∈ X wkxk+1ek ∈ X ( ) k=1 k=1 X X is a chaotic unbounded linear operator.

Proof. Observe that, since condition (4.9), implies condition (3.6), and hence, by Lemma 3.1, A is a linear operator with a dense subspace C∞(A) (see (1.1)) and such that, for each n ∈ N, the operator An is closed and unbounded. We proceed in a similar fashion as in the proof of [15, Theorem 2.1] (cf. [17, Theorem 1] and [10, Example 2.18]). GENERAL CONSTRUCT OF CHAOTIC UNBOUNDED LINEAR OPERATORS 7

The right inverse of A ∞ −1 (4.10) Bx := wk xkek+1, k X=1 is linear operator well defined on the entire space X since, for any ∞

x = xkek ∈ X, k X=1 in view of (4.8), |xk| = kxkekk → 0, k → ∞, (see Preliminaries), and hence, by the estimate

−1 −1 −1 N wk xkek+1 = |wk| |xk|kek+1k≤ sup |xj | |wk| , k ∈ , N j∈  and, in view of condition (4.9), the series in (4.10) converges. Further, for any n ∈ N we have:

∞ n+k−1 ∞ n −1 B x = w xkek n, x = xkek ∈ X.  j  + k j k k X=1 Y= X=1   Let ∞ (m) (m) (4.11) y := yk ek ( k ) X=1 m∈N be an arbitrary enumeration of the countable dense subset Y (see (2.3)) with N (m) N (4.12) km := max k ∈ yk 6=0 , m ∈ . n o

Inductively, one can choose an increasing sequence (nm)m∈N of natural numbers such that, for all j, m ∈ N with m > j,

nm nm km (m) (4.13) nm − nj ≥ max(m, kj ) and |wi|≥ |wi| |wm| y .   k i=1 i=nm−nj +1 k=1 Y Y X   Let us show that the vector ∞ x := Bnj y(j) j=1 X is hypercyclic for A, the series converging in (X, k·k) by condition (4.9) since, for any j =2, 3,... , in view of (4.8), (3.5), and (4.13),

∞ nj +k−1 kj nj +k−1 nj (j) −1 (j) −1 (j) B y = w y ek n ≤ |wi| y kek n k  i  k + j   k + j k=1 i=k k=1 i=k X Y X Y nj kj    

−1 (j) −1 ≤ |wi| yk ≤ |wj | . " # i=1 k=1 Y X

8 MARAT V. MARKIN

Further, for each m ∈ N,

∞ m−1 ∞ Anm Bnj y(j) = Anm−nj y(j) + y(m) + Bnj −nm y(j) j=1 j=1 j=m+1 X X X nk−nj (j) since, by (4.13), for j =1,...,m − 1, nm − nj ≥ kj , by (4.12), A y = 0; ∞ = y(m) + Bnj −nm y(j). j=m+1 X Since, for all m, j ∈ N with j ≥ m + 1, in view of (4.8), (3.5), and (4.13),

∞ nj −nm+k−1 nj −nm (j) −1 (j) (4.14) B y = w y ek n −n  i  k + j m k=1 i=k X Y   kj nj −nm +k− 1 nj −nm kj −1 (j) −1 (j) −1 ≤ |wi| yk kek+nj −nm k≤ |wi| yk ≤ |wj | .   " # k=1 i=k i=1 k=1 X Y Y X  

This implies that, for any m ∈ N, the series ∞ Anm Bnj y(j) j=1 X converges in (X, k·k), and hence, by the closedness of Anm and in view of inclusion (3.7), ∞ x ∈ D(Anm )= C∞(A) m=1 \ and ∞ Anm x = y(m) + Bnj −nm y(j), m ∈ N. j=m+1 X Furthermore, since, by (4.14), for each k ∈ N, ∞ ∞ nm (m) nj −nm (j) −1 A x − y ≤ B y ≤ |wj | → 0, k → ∞, j=m+1 j=k+1 X X Y X, Anx which, in view of the denseness of in ( k·k ), shows that the orbit { }n∈Z+ of x under A is dense in (X, k·k) as well. This implies that the operator A is hypercyclic. Now, let us show that the operator A is chaotic (cf. [10, Example 2.32]). Indeed, for any N ∈ N, let x1,...,xN ∈ F be arbitrary, then

N ∞ N kN+m−1 −1 (4.15) x := xmem + w xmekN m ,   i  +  m=1 k m=1 X X=1 X i=(k−Y1)N+m the series converging in (X, k·k) by (4.9) since, for any k ∈ N, in view of (4.8) and (3.5), GENERAL CONSTRUCT OF CHAOTIC UNBOUNDED LINEAR OPERATORS 9

(4.16) N kN+m−1 N kN+m−1 −1 −1 w xmekN m ≤ |wi| |xm|kekN mk  i  +   + m=1 i=(k−1)N+m m=1 i=(k−1)N+m X Y X Y N    −1 ≤ |xm| |wkN | , "m=1 # X we have: x ∈ D(AN ) and AN x = x.

For any n y := ymem ∈ Y m=1 X with some n ∈ N (see (2.3)) and arbitrary N ≥ n, consider the periodic point defined by (4.15) with

ym, m =1, . . . , n, xm := (0, m = n +1,...,N.

Then, in view of (4.16), by condition (4.9),

∞ N kN+m−1 −1 kx − yk = w xmekN m   i  +  k=1 m=1 i=(k−1)N+m X X Y n ∞  n  ∞  −1 −1 ≤ |ym | |wkN | ≤ |ym| |wk| → 0, N → ∞. "m=1 # k "m=1 # k N X X=1 X X= Whence, in view of the denseness of Y in (X, k·k), we infer that the set of periodic points of A is dense in (X, k·k) as well, which completes the proof. 

The exponential weight sequence n wn := λ , n ∈ N, with λ ∈ R or λ ∈ C, |λ| > 1 satisfying conditions (3.5) and (4.9), for the sequence spaces lp (1 ≤ p< ∞)or(c0, k·k∞), we arrive at the following corollary improving the result of Theorem 1.1.

Corollary 4.1. In the (real or complex) sequence space lp (1 ≤ p< ∞) or (c0, k · k∞), the weighted backward shift k D(A) ∋ x := (xk)k∈N 7→ Ax := (λ xk+1)k∈N, where λ ∈ R or λ ∈ C, |λ| > 1 is arbitrary, with the domain k D(A) := (xk)n∈N ∈ X (λ xk+1)k∈N ∈ X is a chaotic unbounded linear operator.

Remark 4.1. For a detailed discourse on the weighted shifts in Fr´echet sequence spaces, see [10, Chapter 4]. 10 MARAT V. MARKIN

5. Acknowledgments

I would like to express sincere gratitude to my graduate advisees, Mr. Edward Sichel and Mr. John Jimenez, Department of Mathematics, California State Uni- versity, Fresno, for stimulating discussions and their keen interest in the subject matter.

References [1] Akhiezer, N.I. and Glazman, I.M. Theory of Linear Operators in Hilbert Space. Dover Pub- lications, Inc., New York, 1993. [2] J. B`es, K.C. Chan, and S.M. Seubert, Chaotic unbounded differentiation operators, Integral Equations and Operator Theory 40 (2001), no. 3, 257–267. [3] R. deLaubenfels, H. Emamirad, and K.-G. Grosse-Erdmann, Chaos for semigroups of un- bounded operators, Math. Nachr. 261/262 (2003), 47–59. [4] N. Dunford, Spectral operators, Pacific J. Math. 4 (1954), 321–354. [5] , A survey of the theory of spectral operators, Bull. Amer. Math. Soc. 64 (1958), 217–274. [6] N. Dunford and J.T. Schwartz with the assistance of W.G. Bade and R.G. Bartle, Linear Operators. Part I: General Theory, Interscience Publishers, New York, 1958. [7] , Linear Operators. Part II: Spectral Theory. Self Adjoint Operators in Hilbert Space, Interscience Publishers, New York, 1963. [8] , Linear Operators. Part III: Spectral Operators, Interscience Publishers, New York, 1971. [9] P. Enflo, A counterexample to the approximation problem in Banach spaces, Acta Math. 130 (1973), no. 2, 309–317. [10] K.-G. Grosse-Erdmann and A.P. Manguillot, Linear Chaos, Universitext, Springer-Verlag, London, 2011. [11] A.J. Guirao, V. Montesinos, and V. Zizler, Open Problems in the Geometry and Analysis of Banach Spaces, Springer International Publishing, Switzerland, 2016. [12] L.A. Lyusternik and V.I. Sobolev, A Short Course in Functional Analysis, Vysshaya Shkola, Moscow, 1982 (Russian). [13] M.V. Markin, Elementary Functional Analysis, Walter de Gruyter GmbH, Berlin/Boston, 2018. [14] , On the non-hypercyclicity of scalar type spectral operators and collections of their exponentials, Proceedings of the 9th International Conference on Topological Algebras and Their Applications, Nova Science Publishers, Inc., New York (to appear). [15] , On the notion of hypercyclicity for unbounded linear operators, arXiv:1811.06640. [16] A.I. Plesner, Spectral Theory of Linear Operators, Nauka, Moscow, 1965 (Russian). [17] S. Rolewicz, On orbits of elements, Studia Math. 32 (1969), 17–22. [18] I. Singer, Bases in Banach Spaces. I, Die Grundlehren der mathematischen Wissenschaften, Band 154, Springer-Verlag, New York-Berlin, 1970.

Department of Mathematics California State University, Fresno 5245 N. Backer Avenue, M/S PB 108 Fresno, CA 93740-8001

E-mail address: [email protected]