[Paper Review] J-class operators and hypercyclicity

George Costakis, Antonios Manoussos|ArXiv.org|Apr 25, 2007

Holomorphic and Operator Theory29 references22 citations

TL;DR

This paper introduces J-class operators, a new class of linear operators on Banach spaces that generalize hypercyclicity by localizing the dynamics around a vector. It establishes that J(x) = X for some x implies hypercyclicity under certain conditions, and shows that non-separable spaces like $ l^∞(\mathbb{N}) $ support J-class operators despite lacking topologically transitive operators, extending the scope of linear dynamics beyond separable spaces.

ABSTRACT

The purpose of the present work is to treat a new notion related to linear dynamics, which can be viewed as a "localization" of the notion of hypercyclicity. In particular, let $T$ be a bounded linear operator acting on a Banach space $X$ and let $x$ be a non-zero vector in $X$ such that for every open neighborhood $U\subset X$ of $x$ and every non-empty open set $V\subset X$ there exists a positive integer $n$ such that $T^{n}U\cap V eq\emptyset$. In this case $T$ will be called a $J$-class operator. We investigate the class of operators satisfying the above property and provide various examples. It is worthwhile to mention that many results from the theory of hypercyclic operators have their analogues in this setting. For example we establish results related to the Bourdon-Feldman theorem and we characterize the $J$-class weighted shifts. We would also like to stress that even non-separable Banach spaces which do not support topologically transitive operators, as for example $l^{\infty}(\mathbb{N})$, do admit $J$-class operators.

Motivation & Objective

• To introduce and systematically study J-class operators as a generalization of hypercyclicity, focusing on local dynamical behavior around a vector.
• To investigate the conditions under which J(x) = X implies hypercyclicity, especially in relation to the Bourdon-Feldman theorem.
• To characterize J-class weighted shifts on $ l^2(\mathbb{N}) $ and $ l^2(\mathbb{Z}) $, showing equivalence between hypercyclicity and the J-class property.
• To demonstrate that non-separable Banach spaces, such as $ l^∞(\mathbb{N}) $, admit J-class operators, unlike topologically transitive operators.
• To pose open problems on spectral properties, universality, and decomposition of operators into J-class components.

Proposed method

• Define the J-set $ J(x) $ as the set of all limit points of $ T^{k_n}x_n $ where $ x_n \to x $, generalizing the notion of recurrent orbits.
• Use topological transitivity and orbit density arguments to relate J-sets to hypercyclicity, particularly through the condition $ J(x)^o \neq \emptyset $.
• Apply Salas' characterization of hypercyclic unilateral and bilateral weighted shifts to link the growth of weight products to the J-class property.
• Construct explicit examples of J-class operators on $ l^∞(\mathbb{N}) $, showing they exist even when hypercyclic operators do not.
• Prove that for weighted shifts, $ J(x) = X $ if and only if $ T $ is hypercyclic, using asymptotic behavior of weight sequences.
• Use sequential convergence and norm estimates in $ l^2 $ and $ l^∞ $ to analyze the closure and interior of J-sets.

Experimental results

Research questions

• RQ1 Does $ J(x)^o \neq \emptyset $ imply $ J(x) = X $ for a vector $ x $ in a Banach space?
• RQ2 Can every non-separable infinite-dimensional Banach space support a J-class operator, even if it does not support topologically transitive operators?
• RQ3 Is there a spectral characterization of the closure of the set of J-class operators on a Hilbert space?
• RQ4 If $ J(x)^o \neq \emptyset $ for every $ x \in X $, does it follow that $ T $ is hypercyclic on a separable Banach space?
• RQ5 Can every bounded linear operator on $ l^\infty(\mathbb{N}) $ be written as a sum of two J-class operators?

Key findings

• A bounded linear operator $ T $ on a Banach space is hypercyclic if and only if there exists a cyclic vector $ x $ such that $ J(x) = X $.
• For a unilateral weighted shift $ T $ on $ l^2(\mathbb{N}) $, $ T $ is hypercyclic if and only if $ J(x) = l^2(\mathbb{N}) $ for some non-zero $ x $, and this is equivalent to $ J(x)^o \neq \emptyset $.
• For bilateral weighted shifts on $ l^2(\mathbb{Z}) $, $ T $ is hypercyclic if and only if $ J(x) = l^2(\mathbb{Z}) $, with the same equivalence holding for the interior of $ J(x) $.
• The space $ l^\infty(\mathbb{N}) $, which does not support topologically transitive operators, does admit J-class operators, as shown in Proposition 5.2.
• If $ J(x)^o \neq \emptyset $ for a vector $ x $, then $ T $ is hypercyclic, as demonstrated via the divergence of weight products in the shift examples.
• The J-class property is strictly weaker than hypercyclicity, as there exist J-class operators that are not hypercyclic, though they share key dynamical features.