sign in sign up
<<
Home , Discontinuous linear map

arXiv:math/9906199v1 [math.FA] 28 Jun 1999 sdnein dense is usae sbes fadol if only for and if (subsets) subspaces h pc fetr ucin [ functions transl entire of of space orbits the the concerning Birkhoff G.D. of observation called rvddtelna pno h orbit the of span linear the provided .EesenadH ajv:De vr uhoeao aean a have operator such que every related Does A Radjavi: operator. invariant H. the by and itself Edelstein into M. mapped is which and rva lsdsbpcs oso h nwri eaiei g in negative is answer the show to subspaces, closed trivial edcntutda prtron operator an constructed Read pc,ta s lsdlna aiodwihi neither is which manifold linear closed a non-trivial a is, admits that space , dimensional infinite an on h nain usaePolmrmisoe o h aei w in case the space. for Hilbert open a is remains space Problem Subspace Invariant The nain usae n ust.Suppose F subsets. and subspaces invariant invariant closed non-trivial no admitting space Banach a on otmoayMathematics Contemporary sae(.. opee iermti space) metric linear complete, a (i.e., -space T n fteroso h oensuyo yecciiycmsf comes hypercyclicity of study modern the of roots the of One .Efl rae noeao na(o-ibrin aahspa Banach (non-Hilbertian) a on operator an created Enflo P. h nain usaePolmak hte vr one l bounded every whether asks Problem Subspace Invariant The h oin fcci n yecci etr rs natural arise vectors hypercyclic and cyclic of notions The 1991 . hypercyclic yedfie naBnc space Banach a on defined type cuaeya eie,oe n alo h ope ln.We plane. complex space the the to of generalized ball e be any may given over any desired, approximate as translates accurately whose entire an Abstract. ahmtc ujc Classification. Subject set X ([ ? fteobtisl sdne h operator the dense, is itself orbit the If . yecci ieetainOperators Differentiation Hypercyclic 18 ,p 1) p. ], lsia hoe u oG .Brhffsae htteeexi there that states Birkhoff D. G. to due theorem classical A nti a,a operator an way, this In . Orb ihr rnadJa B`es Juan and Aron Richard { 7 x .Let ]. 0 T , .Introduction. 1. l } all 1 H H E = bc ihtesm rpry n loa operator an also and property, same the with h o-eovcosaecci (hypercyclic) cyclic are vectors non-zero the ( ihsprbedual. separable with ( { C E x rmr:4G0 79;Scnay 30D05. Secondary: 47B99; 46G20, Primary: eoetesaeo niefntoso one of functions entire of space the denote ) fetr ucin fcmatbounded compact of functions entire of ) 1 0 x T , T T sacniuu ieroeao nan on operator linear continuous a is 0 X illc o-rva,coe invariant closed non-trivial, lack will T , vector A . 2 x 0 T . . . , n soitdvector associated and } { to prtr cigon acting operators ation 0 tr ucin as function, ntire x } lsdivratsub- invariant closed , nrl[ eneral hwti result this show 0 o h hl space whole the nor ust ([ subsets ∈

to a asdby raised was stion c yi hssuyof study this in ly 00(oyih holder) (copyright 0000 X o nintriguing an rom ihteBanach the hich ntiilclosed on-trivial ewtotnon- without ce is 13 na operator inear cyclic .Ltr C. Later, ]. sts 24 ,[ ], x for 25 0 are ]). T 2 RICHARD ARON AND JUAN BES` complex variable, endowed with the topology of uniform convergence on compact subsets of the plane, and let τb : H(C) → H(C) be the operator of “translation by the complex number b” defined by

τb(f)(z) := f(z + b) (f ∈ H(C),z ∈ C)

Birkhoff’s theorem asserts that if b 6= 0, then the operator τb is hypercyclic. In other words, Birkhoff’s theorem gives a “universal” entire function which, over any compact set, has translates that approximate any entire function as ac- curately as desired. In the language of dynamics, it states that each translation operator is topologically transitive on H(C), and this is a major step in proving that these operators are actually chaotic in one of the commonly accepted senses (cf. [15], section 6).

Birkhoff’s operator may be viewed in several different contexts. As a translation operator, W. Seidel and J. Walsh provided a non-Euclidean version of Birkhoff’s theorem in the space of holomorphic functions on the unit disc, by replacing trans- lation by certain conformal disc automorphisms [27]. It is essentially the only hypercyclic composition operator on H(C). Given ϕ ∈ H(C) fixed, the operator f 7→ f ◦ ϕ on H(C) is hypercyclic if and only if ϕ(z)= z + b for some non-zero complex number b ([5], Corollary 2.3). However, in other spaces such as the H2 the situation is quite different. P. Bourdon and J. Shapiro have studied the cyclic and hypercyclic behaviour of composition operators in this space, obtaining complete results for linear fractional maps of the unit disc into itself, and using these maps as “models” to extend this classification to a large class of composition operators ([9], [28]). Birkhoff’s translation has also been regarded as a differentiation operator. That bD is, τb = e , so that for every f ∈ H(C),

∞ bn τ (f)= Dnf (convergence in H(C)) . b n! n=o X From this perspective, G. R. MacLane showed in 1952 that the differentiation op- erator

f 7→ Df is also hypercyclic on H(C). Thus, MacLane’s theorem assures that there exists an entire function whose of has every entire function as a limit point ([21], Theorem 6). In 1991, a beautiful generalization of Birkhoff’s and MacLane’s theorems was provided by G. Godefroy and J. Shapiro ([15], Thm 5.1):

α Theorem 1.1. (Godefroy-Shapiro) Let Φ(z)= |α|≥0 cαz be a non-constant, entire function on CN of exponential type. Then the operator P Φ(D) α N f 7−→ cαD f f ∈ H(C ) |αX|≥0 is hypercyclic. HYPERCYCLIC DIFFERENTIATION OPERATORS 3

Moreover, they showed that a continuous linear operator T on H(CN ) com- mutes with translations if and only if it commutes with the differentiation opera- tors ∂ (1 ≤ k ≤ N), and if and only if it is of the form T = Φ(D), for some ∂zk Φ ∈ H(CN ) of exponential type ([15], Prop. 5.2). In the next section we will consider Theorem 1.1 for the case N = 1, and show how it may be generalized by replacing H(C) by the space Hbc(E) of complex valued, entire functions on E of compact type that are bounded on bounded subsets of E. In particular, an extension of Birkhoff’s theorem to all such spaces will be obtained. Our proof involves a technique that has become standard in this area, the so- called Hypercyclicity Criterion. In 1982, C. Kitai isolated conditions that ensure an operator to be hypercyclic ([18], Thm 1.4). This result was never published, and it was later rediscovered in a broader form by R. Gethner and J. Shapiro ([14],Thm 2.2), who used it to unify the previously mentioned theorems of Birkhoff, MacLane, and Seidel and Walsh, among others. It may be stated as follows:

Theorem 1.2. ( Kitai - Gethner - Shapiro ) Let X be an F-space, and T : X → X be linear, continuous. Suppose there exist X0, Y0 dense subsets of X, a sequence (nk) of positive integers, and a sequence of mappings (possibly nonlinear, possibly not continuous) Snk : Y0 → X so that nk i) T → 0 pointwise on X0. k→∞

ii) Snk → 0 pointwise on Y0. k→∞ nk iii) T Snk = Identity on Y0. Then T is hypercyclic. Note. It is an open problem whether the above conditions are also necessary ([19], p 544): (1.1) Does every hypercyclic operator satisfy the Hypercyclicity Criterion? There are hypercyclic operators, though, that do not satisfy the Criterion for the entire sequence (nk) = (k) of positive integers. Solving a problem of D. Herrero, H. Salas constructed a weighted shift A so that both it and its Hilbert Adjoint A∗ were hypercyclic, while their direct sum A ⊕ A∗ was not. As a consequence, A and ∗ A could not simultaneously satisfy the Criterion for the sequence (nk) = (k). For a while, some people were misled into thinking that it was a counterexample to (1.1) (cf. [17], p97), but both A and A∗ were later noticed in ([20], Section 2) to satisfy the Criterion (cf. also [5], Note 1.22). If requiring only pointwise convergence in (iii) instead of equality, it is shown in [6] that question (1.1) is equivalent to the following one of D. Herrero ([17], p. 97): Is T ⊕ T hypercyclic whenever T is? (A direct sum A ⊕ B may fail to be hypercyclic even if each of A and B is ([26], Corollary 2.6)). Interest in answering these questions comes also from the study of hypercyclic subspaces, that is, linear subspaces where all the non-zero vectors are hypercyclic. Although every hypercyclic operator admits a dense, invariant hypercyclic subspace ([17], [8], [4], [2]), they do not always admit a closed and infinite dimensional one. The situation is well understood for operators satisfying the Criterion. For instance, 4 RICHARD ARON AND JUAN BES` an operator on a Banach space satisfying the Hypercyclicity Criterion will admit a closed, infinite dimensional hypercyclic subspace if and only if its essential spectrum intersects the closed unit disk ([20], Thm 2.1; cf also [10], [22], [19], [3]).

2. Birkhoff’s theorem for the space Hbc(E).

Given a Banach Space E, let Hbc(E) be the Fr´echet Algebra generated by the elements of the E∗, endowed with the topology of uniform convergence on balls of E. The space Hbc(E) consists of entire functions f : E → C of so-called compact type that are bounded on bounded subsets of E. That is, Hbc(E) consists of all functions of the form ∞ ‘f = Pn, n=0 X where n ∗ Pn ∈ span {ϕ : ϕ ∈ E } n =0, 1, 2,... 1 1 n kPnk n = supkxk≤1|Pn(x)| → 0.  n→∞ Parenthetically, we remark that the terminology compact type apparently comes  from the fact that if E∗ has the (see, e.g., [23], p. 195), then any compact linear mapping E → E∗ is a uniform limit of finite rank mappings, k which are of the form j=1 φj ψj . The associated 2−homogeneous , x ∈ E k φ x ψ x → j=1 j ( ) j ( )P is of finite type, and limits of such finite type are called 2−homogeneous polynomials of compact type. Of course, the situation P generalizes to n−homogeneous polynomials. Also, the space Hbc(E) is not as arcane as may first appear to the non-specialist. Indeed, if E∗ has the approximation property, then Hbc(E) has a useful alternative description, as the space of entire functions which are uniformly continuous on bounded subsets of E, with respect to the ([1], [12]). Moreover if the Michael problem, which asks whether every C−valued homomorphism on a complex Fr´echet algebra is automatically continuous, has an affirmative solution for the Fr´echet algebra Hbc(c0), then it has an affirmative solution for every Fr´echet algebra ([23]). ∞ n C Given a ∈ E fixed and Φ = n=0 cnz ∈ H( ) of exponential type, let Φa(D) : Hbc(E) → Hbc(E) be defined as P ∞ \n Φa(D)(f)= cnd f(.)a . n=0 X That is, ∞ \n Φa(D)(f)(x)= cnd f(x)(a) for all x ∈ E , n=0 X \ where dnf(x) is the n-homogeneous polynomial associated with the nth-Fr´echet of f at the point x ∈ E. The operator Φa(D) is continuous on Hbc(E), and when Φ(z) = ez the induced operator is “translation by a” ([16], Lemma 8). i.e., ∞ 1 \ (2.1) τ (f)(x)= f(x + a)= dnf(x)(a)=Φ (D)(f)(x) a n! a n=0 X HYPERCYCLIC DIFFERENTIATION OPERATORS 5 for all x ∈ E and all f ∈ Hbc(E). We are ready now to state the main result: Theorem 2.1. Let E be a Banach space with separable dual E∗, and 0 6= a ∈ E. ∞ n C Let Φ(z) = n=0 cnz ∈ H( ) be non-constant, of exponential type. Then the operator P Φa(D) : Hbc(E) −→ Hbc(E) ∞ \n f 7→ cnd f(.)a n=0 X is hypercyclic.

∗ Note. If E fails to be separable, so does Hbc(E), and this prevents Φa(D) from being hypercyclic. Thus, from now on we assume E∗ to be separable. In particular, Birkhoff’s theorem for the spaces Hbc(E) follows: Corollary 2.2. Let E be a Banach space with separable dual E∗, and 0 6= a ∈ E. Then the operator “translation by ‘a’ ”

τa(f)(x)= f(x + a) (x ∈ E) is hypercyclic on Hbc(E). Proof. It follows immediately from (2.1) and Theorem 2.1.

We will make use of the following two lemmas.

ϕ ∗ Lemma 2.3. B = { e : ϕ ∈ E } is a linearly independent subset of Hbc(E).

ϕi Proof. Let {e }i∈I be a maximal linearly independent subset of B. Fix ∗ C ϕ ∈ E , and assume there exist non-zero constants ci1 ,...,cir ∈ so that

ϕi1 ϕir ϕ (2.2) ci1 e + · · · + cir e = e Let a ∈ E be arbitrary. Applying the operator f 7→ df(.)a in (2.2), it follows that

ϕi1 ϕir ϕ (2.3) ci1 ϕi1 (a)e + · · · + cir ϕir (a)e = ϕ(a)e .

ϕi Since {e }i∈I is linearly independent and ci1 ,...,cir are non-zero, by (2.2) and (2.3) we have

ϕi1 (a)= · · · = ϕir (a)= ϕ(a). Since a ∈ E is arbitrary,

ϕi1 = · · · = ϕir = ϕ. ∗ Hence, {ϕi}i∈I = E , and Lemma 2.3 follows. Our next lemma generalizes a result of Gupta, which was needed in [16] to obtain information about the range and kernel of convolution operators. Lemma 2.4. Let U be a non-empty open subset of E∗. Then S = span {eϕ : ϕ ∈ U} is dense in Hbc(E). 6 RICHARD ARON AND JUAN BES`

∗ Proof. Given ϕ0 ∈ E , the map

Hbc(E) −→ Hbc(E) g7→eϕ0 g is a homeomorphism. So

ϕ0+ϕ ϕ span e : ϕ ∈ U = Hbc(E) ⇔ span {e : ϕ ∈ U} = Hbc(E). Hence, we may assume that 0 ∈ U. Reducing U if necessary, we may also assume that for some δ > 0, U = {ϕ ∈ E∗ : kϕk <δ} . In particular, 1 ∈ S, for 0 ∈ U. It will then suffice to show the following: Claim: For every ϕ ∈ U and n ≥ 1, ϕn ∈ S. To prove the claim, let ϕ ∈ U and suppose the claim is true for n ≤ k − 1. Then for each 0

ϕk 1 [tϕ]2 [tϕ]k g − (x) = etϕ − 1 − tϕ − −···− (x) t k! tk 2! k!    

1 [tϕ]n ≤ (x) tk n! n≥k+1 X |ϕ(x )|n ≤ t tn−k−1 n ! n k ≥X+1 ≤ t eδkxk.

ϕk ϕk Thus, gt → in Hbc(E), and ∈ S. So the claim holds. t→0 k! k! Proof of Theorem 2.6. Consider the function g : E∗ −→ C defined by ∞ g(ϕ)= Pn(ϕ), n=0 X ∗ where each Pn : E −→ C is the n-homogeneous polynomial defined by n Pn(ϕ)= cnϕ (a) (n ≥ 0). Now, since Φ is of exponential type, there exists R> 0 so that Rn |c |≤ (n ≥ 1). n n! Given ϕ ∈ E∗ with kϕk≤ 1 and n ≥ 1, Rn e kakR n |P (ϕ)| = |c | |ϕn(a)|≤ kϕknkakn ≤ , n n n! n   and so 1 kPnk n −→ 0. n→∞ HYPERCYCLIC DIFFERENTIATION OPERATORS 7

Thus, g : E∗ −→ C is entire (moreover, it is of bounded type), and non- constant, since Φ is non-constant. So the sets ∞ ∗ n U := ϕ ∈ E : | cnϕ (a)| = |g(ϕ)| < 1 ( n=0 ) X∞ ∗ n V := ϕ ∈ E : | cnϕ (a)| = |g(ϕ)| > 1 ( n=0 ) X are both open, non-empty. Hence, according to Lemma 2.4, ϕ (2.4) X0 := span {e : ϕ ∈ U } ϕ (2.5) Y0 := span {e : ϕ ∈ V } ∗ are both dense subspaces of Hbc(E). Next, notice that if T =Φa(D), given ϕ ∈ E ∞ ϕ \n ϕ T (e )= cnd (e )a n=0 X∞ n ϕ = cnϕ (a) e n=0 X = g(ϕ)eϕ. By (2.4), n T −→ 0 pointwise on X0. n→∞

Also, by Lemma 2.3 there exists a (possibly discontinuous) S : Y0 −→ Y0 determined by (2.6) S(eϕ) = [g(ϕ)]−1 eϕ (ϕ ∈ E∗) which by (2.5) and (2.6) satisfies

n S −→ 0 pointwise on Y0. n→∞

(TS = idY0 on Y0.

By Theorem 1.2, T =Φa(D) is hypercyclic.

Remarks: i) For E = C and a = 1, Theorem 2.1 yields Theorem 1.1 (for the case N = 1), since Hbc(C)= H(C), and given any Φ ∈ H(C) of exponential type, Φ(D)=Φ1(D).

ii) Using similar arguments, one may obtain the following two theorems (cf [5], Chapter 2):

∗ Theorem 2.5. Let E be a Banach space with separable dual E . Let {b1,b2,...,br} be a linearly independent subset of E, and let Φ1,..., Φr in H(C) be non-constant, of exponential type. Then 1 2 r A =Φb1 (D)+Φb2 (D)+ · · · +Φbr (D) is hypercyclic on Hbc(E). 8 RICHARD ARON AND JUAN BES`

∗ Theorem 2.6. Let E be a Banach space with separable dual E , and let {bi}i≥0 ⊂ E \{0} be bounded. Then the operator

A : Hbc(E) −→ Hbc(E) ∞ \n f 7→ cnd f(.)bn n=0 X ∞ n C is hypercyclic, where Φ(z) = n=0 cnz ∈ H( ) is entire, non-constant and of exponential type. P

References [1] R. M. Aron, Weakly uniformly and weakly sequentially continuous entire functions, in Adv. in Holomorphy (J. A. Barroso, ed.), North-Holland (1979), 47 - 65. [2] B. Beauzamy, An operator in a separable with many hypercyclic vectors, Studia Math. 87 (1987), 71-78. [3] L. Bernal-Gonz´alez and A. Montes-Rodr´ıguez, Non-finite dimensional closed vector spaces of universal functions for composition operators J. Approx. Theory 82, (1995), 375-391. [4] J. B`es, Invariant manifolds of hypercyclic vectors for the real scalar case, Proc. Amer. Math. Soc. 127 (1999) pp1801-1804. [5] J. B`es, Three problems on hypercyclic operators, Thesis, Kent State Univ., (1998). [6] J. B`es and A. Peris-Manguillot, Hereditarily hypercyclic operators, preprint. [7] G. D. Birkhoff, D´emonstration d’un th´eoreme ´el´ementaire sur les fonctions enti`eres, C. R. Acad. Sci. Paris 189 (1929), 473-475. [8] P. Bourdon, Invariant Manifolds of Hypercyclic Vectors, Proc. Amer. Math. Soc. 118 No. 3 (1993), 845-847. [9] P. S. Bourdon and J. H. Shapiro, Cyclic phenomena for composition operators, Mem. Amer. Math. Soc. 125 (1997). [10] K. C. Chan, Hypercyclicity of the for a separable Hilbert space, preprint. [11] R. L. Devaney, “An introduction to Chaotic Dynamical Systems”, 2nd ed., Addison-Wesley, Reading, MA. 1989. [12] S. Dineen, Entire functions on c0, J. Funct. Anal. 52 no. 2, (1983) 205–218. [13] P. Enflo, On the invariant subspace problem for Banach spaces, Acta Math. 158 (1987), 213-313. [14] R. M. Gethner and J. H. Shapiro, Universal vectors for operators on spaces of holomorphic functions, Proc. Amer. Math. Soc. 100, No. 2 (1987), 281-288. [15] G. Godefroy and J. H. Shapiro, Operators with dense, invariant, cyclic vector manifolds, J. Funct. Anal. 98 (1991), 229-269. [16] C. P. Gupta, Malgrange Theorem for Nuclearly Entire Functions of Bounded Type on a Banach Space, Thesis, University of Rochester (1966). [17] D. A. Herrero, Hypercyclic Operators and Chaos, Journal of Op. Theory 28 (1992), 93-103. [18] C. Kitai, Invariant Closed Sets for Linear Operators, Ph.D. thesis, Univ. of Toronto, 1982. [19] F. Le´on-Saavedra and A. Montes-Rodr´ıguez, Linear structure of hypercyclic vectors J. Funct. Anal. 148 No. 2 (1997), 524-545. [20] F. Le´on-Saavedra and A. Montes-Rodr´ıguez, Spectral Theory and Hypercyclic Subspaces, Trans. Amer. Math. Soc. (to appear). [21] G. R. MacLane, of derivatives and normal families, J. Analyse Math. 2 (1952), 72-87. [22] A. Montes-Rodr´ıguez, Banach spaces of hypercyclic vectors, Michigan Math. J. 43 No. 3 (1996), 419-436. [23] J. Mujica, “Complex analysis in Banach spaces,” Math. Studies, North-Holland, 120 (1986). [24] C. Read, A solution to the invariant subspace problem on the space l1, Bull. London Math. Soc. 17 (1985), 305-317. [25] C. Read, The invariant subspace problem for a Class of Banach spaces 2: Hypercyclic Op- erators, Israel J. Math. 63, No. 1, 1998. [26] H. Salas, Hypercyclic weighted shifts, Trans. Amer. Math. Soc. 347, No. 3 (1995), 993-1004. HYPERCYCLIC DIFFERENTIATION OPERATORS 9

[27] W. P. Seidel and J. L. Walsh, On Approximation by Euclidean and non-Euclidean translates of an Analytic Function, Bull. Amer. Math. Soc. 47 (1941), 916-920. [28] J. H. Shapiro, “Composition Operators and classical function theory”, Springer-Verlag (1993).

Department of Mathematics and Computer Science, Kent State University, Kent, OH 44242. U.S.A. E-mail address: [email protected]

Department of Mathematics and Statistics, Bowling Green State University, Bowl- ing Green, OH 43403. U.S.A. E-mail address: [email protected]