The Positive Supercyclicity Theorem

Transcription

1 E extracta mathematicae Vol. 19, Núm. 1, (2004) V Curso Espacios de Banach y Operadores. Laredo, Agosto de The Positive Supercyclicity Theorem F. León Saavedra Departamento de Matemáticas, Facultad de Ciencias, Universidad de Cádiz Puerto Real (Cádiz), Spain AMS Subject Class. (2000): 47B37, 47B38, 47B99 We present some recent results related with supercyclic operators, also some of its consequences. We will finalize with new related questions. A bounded linear operator T on a separable Banach space B is said to be supercyclic if there exists a vector x B such that the set {λt n x : n N, λ C} is dense in B. Of course, supercyclic operators cannot exist in non separable spaces. Supercyclicity is an intermediate property among the hypercyclicity and the cyclicity (an operator T L(B) is called hypercyclic if the orbit {T n x} of some vector x is dense in B, and is it called cyclic if the linear span of the orbit {T n x} of some vector x is dense in B). These notions are in the heart of operator theory and they are intimately related to the invariant subspace problem. The right reference on hypercyclic operators is a recent survey of Große-Erdman (see [7]). Supercyclicity was introduced in the sixties by Hilden and Wallen (see [9]). In 1991 this property is studied extensively, thanks to the interesting work of Godefroy and Shapiro (see [5]). In the trivial case B = C each nonzero linear operator is supercyclic, however if 2 dim B < then there are not supercyclic operators. The first example of supercyclic operator in infinite dimensional Banach spaces (moreover hypercyclic) was discovered by Rolewicz in 1969 (see [13]). This expository paper deals with positive supercyclicity Partially supported by Junta de Andalucía FQM-257 and Vicerrectorado de Investigación UCA. 145

2 146 f. león saavedra (this concept was introduced in [2]). An operator T is said to be positive supercyclic if the set { rt n x : r R +, n N } is dense for some x. In [2] arises the following question Question. Which supercyclic operators are positive supercyclic? The structure of the set of supercyclic operators is quite exotic (in some sense, this structure is inherited by the trivial case in dimension 1). Following Herrero [8] the class of supercyclic operators is divided into two classes: (1) Supercyclic operators T for which the point spectrum of its adjoint is empty: σ p (T ) =. (2) Supercyclic operators T for which the point spectrum of T is a nonzero complex number α. In that case T is decomposed in the following direct sum T = R α1c (in [6] is established that an operator with that decomposition is supercyclic if and only if (1/α)R is hypercyclic). In the trivial case (B = C) if α = re 2πθi with e 2πθi a root of the unity, then T is clearly not positive supercyclic. Moreover, it was pointed in [2] that if T = R α1c with α = re 2πθi and e 2πθi a root of the unity, then T is not positive supercyclic. On the other hand if α = re 2πθi with θ irrational, observe that T is trivially positive supercyclic. Our result on positive supercyclicity was originated solving the following question, which was formulated by several authors at the same time: Question. Let T be a hypercyclic operator in L(B) and suppose that α D. Is αt hypercyclic? If α 1 there exists a lot of examples for which αt is not hypercyclic, for instance each hypercyclic compact perturbation of the identity (see [4]). However the above question has a positive answer (see [10]). Moreover the proof can be extended for semigroups of operators, we can obtain the following general result: Theorem. (cf. [10]) Let M be a semigroup of operators for which there exists a vector x such that the set {λsx : S M, λ D} is dense. Suppose

3 the positive supercyclicity theorem 147 that there exists a bounded linear operator T such that σ p (T ) = and ST = T S for all S M, then the set {Sx : S M} is dense. As a consequence we obtain the Positive Supercyclicity Theorem: Theorem. (cf. [10]) Let T be a supercyclic operator satisfying σ p (T ) =, then T is positive supercyclic. Let us observe that the above theorem simplify obviously the concept of supercyclicity. In fact, when the Positive Supercyclicity Theorem was discovered, several consequences were obtained. We show some of these consequences. Let (B, ) a Banach lattice, and T a positive bounded linear operator on B. The invariant subspace problem is open even in this situation, that is for positive operators on a general Banach lattice (cf. [1]). The invariant subspace problem can be easily reformulated in terms of cyclic vectors. Namely: An operator T has a non-trivial invariant closed subspace if and only if there exists a non-cyclic vector (non trivial) for T. The following partial result can be obtained directly form the Positive Supercyclicity Theorem: Corollary. If T is a positive operator on a Banach lattice (B, ) then each non-zero vector in the positive conus of B is a non-supercyclic vector for T. As a second consequence, let us recall the well-known result of Brown, Chevreau and Pearcy [3], each Hilbert space contraction whose spectrum contains the unit circle has a nontrivial closed invariant subspace. Equivalently, there is a nonzero vector which is not cyclic. And it is a well known open question to reduce the hypothesis on the spectrum. Question. Let T be a Hilbert space contraction whose spectral radius is 1 (that is, contains at most a point of the unit circle). Is there a non cyclic (nontrivial) vector for T? In this direction, Müller proved recently (see [12]) that each Hilbert space contraction (or more generally, a power bounded operator) with spectrum containing at least one point from the unit circle, has a nonzero vector which is not supercyclic. The main ingredient in the proof is the Positive Supercyclicity Theorem.

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

Preface According to a widely held view, chaos is intimately linked to nonlinearity. It is usually taken to be self-evident that a linear system behaves in a predictable manner. However, as early as 1929,

Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES FERNANDO BOMBAL AND IGNACIO VILLANUEVA Abstract. We study and characterize the integral multilinear operators on a product of C(K) spaces in terms of the

Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this

Contemporary Mathematics Isometries of some classical function spaces among the composition operators María J. Martín and ragan Vukotić edicated to Professor Joseph Cima on the occasion of his 7th birthday

BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

WHEN DOES A CROSS PRODUCT ON R n EXIST? PETER F. MCLOUGHLIN It is probably safe to say that just about everyone reading this article is familiar with the cross product and the dot product. However, what

PORTUGALIAE MATHEMATICA Vol 54 Fasc 3 1997 AXIOMS FOR INVARIANT FACTORS* João Filipe Queiró Abstract: We show that the invariant factors of matrices over certain types of rings are characterized by a short

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

Dynamics for the solutions of the water-hammer equations J. Alberto Conejero (IUMPA-Universitat Politècnica de València). Joint work with C. Lizama (Universidad Santiado de Chile) and F. Ródenas (IUMPA-Universitat

Math 5. Selected Solutions for Week 2 Section. (Page 2). Let u = and A = 5 2 6. Is u in the plane in R spanned by the columns of A? (See the figure omitted].) Why or why not? First of all, the plane in

MATH 37 Linear Transformations from Rn to Rm Dr. Neal, WKU Let T : R n R m be a function which maps vectors from R n to R m. Then T is called a linear transformation if the following two properties are

POSTECH SUMMER SCHOOL 2013 LECTURE 4 INTRODUCTION TO THE TRACE FORMULA 1. Kernel and the trace formula Beginning from this lecture, we will discuss the approach to Langlands functoriality conjecture based

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

4.1 VECTOR SPACES AND SUBSPACES What is a vector space? (pg 229) A vector space is a nonempty set, V, of vectors together with two operations; addition and scalar multiplication which satisfies the following

GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix. Nullspace Let A = (a ij ) be an m n matrix. Definition. The nullspace of the matrix A, denoted N(A), is the set of all n-dimensional column

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

DIVISORS IN A DEDEKIND DOMAIN Javier Cilleruelo and Jorge Jiménez-Urroz 1 Introduction Let A be a Dedekind domain in which we can define a notion of distance. We are interested in the number of divisors

LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how

Three observations regarding Schatten p classes Gideon Schechtman Abstract The paper contains three results, the common feature of which is that they deal with the Schatten p class. The first is a presentation

9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on

Solutions to Math 5 First Exam January 29, 25. ( points) (a) Complete the following sentence: A set of vectors {v,..., v k } is defined to be linearly dependent if (2 points) there exist c,... c k R, not

Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

ON HÖRMANDER S SOLUTION OF THE -EQUATION. I HAAKAN HEDENMALM ABSTRAT. We explain how Hörmander s classical solution of the -equation in the plane with a weight which permits growth near infinity carries

8.7. MATHEMATICAL INDUCTION 8-135 8.7 Mathematical Induction Objective Prove a statement by mathematical induction Many mathematical facts are established by first observing a pattern, then making a conjecture

Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer

RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in

On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large