Invariant measures for frequently hypercyclic operators

We investigate frequently hypercyclic and chaotic linear operators from a measure-theoretic point of view. Among other things, we show that any frequently hypercyclic operator T acting on a reflexive Banach space admits an invariant probability measure with full support, which may be required to vanish on the set of all periodic vectors for T  ; that there exist frequently hypercyclic operators on the sequence space _c0$c_0$ admitting no ergodic measure with full support; and that if an operator admits an ergodic measure with full support, then it has a comeager set of distributionally irregular vectors. We also give some necessary and sufficient conditions (which are satisfied by all the known chaotic operators) for an operator T to admit an invariant measure supported on the set of its hypercyclic vectors and belonging to the closed convex hull of its periodic measures. Finally, we give a Baire category proof of the fact that any operator with a perfectly spanning set of unimodular eigenvectors admits an ergodic measure with full support.     

Dual disjoint hypercyclic operators

Let E be a separable Fréchet space. The operators T₁,…,Tm are disjoint hypercyclic if there exists x∈E such that the orbit of (x,…,x) under (T₁,…,Tm) is dense in E×?×E. We show that every separable Banach space E admits an m-tuple of bounded linear operators which are disjoint hypercyclic. If, in addition, its dual E^∗ is separable, then they can be constructed such that are also disjoint hypercyclic.     

On the minimal number of matrices which form a locally hypercyclic, non-hypercyclic tuple

In this paper we extend the notion of a locally hypercyclic operator to that of a locally hypercyclic tuple of operators. We then show that the class of hypercyclic tuples of operators forms a proper subclass to that of locally hypercyclic tuples of operators. What is rather remarkable is that in every finite dimensional vector space over R or C, a pair of commuting matrices exists which forms a locally hypercyclic, non-hypercyclic tuple. This comes in direct contrast to the case of hypercyclic tuples where the minimal number of matrices required for hypercyclicity is related to the dimension of the vector space. In this direction we prove that the minimal number of diagonal matrices required to form a hypercyclic tuple on Rn is n+1, thus complementing a recent result due to Feldman.     

Remarks on common hypercyclic vectors

We treat the question of existence of common hypercyclic vectors for families of continuous linear operators. It is shown that for any continuous linear operator T on a complex Fréchet space X and a set Λ⊆R₊×C which is not of zero three-dimensional Lebesgue measure, the family has no common hypercyclic vectors. This allows to answer negatively questions raised by Godefroy and Shapiro and by Aron. We also prove a sufficient condition for a family of scalar multiples of a given operator on a complex Fréchet space to have a common hypercyclic vector. It allows to show that if and φ∈H^∞(D) is non-constant, then the family has a common hypercyclic vector, where Mφ:H²(D)→H²(D), Mφf=φf, and , providing an affirmative answer to a question by Bayart and Grivaux. Finally, extending a result of Costakis and Sambarino, we prove that the family has a common hypercyclic vector, where Tbf(z)=f(z−b) acts on the Fréchet space H(C) of entire functions on one complex variable.     

Common hypercyclic vectors for the conjugate class of a hypercyclic operator

Given a separable, infinite dimensional Hilbert space, it was recently shown by the authors that there is a path of chaotic operators, which is dense in the operator algebra with the strong operator topology, and along which every operator has the exact same dense Gδ set of hypercyclic vectors. In the present work, we show that the conjugate set of any hypercyclic operator on a separable, infinite dimensional Banach space always contains a path of operators which is dense with the strong operator topology, and yet the set of common hypercyclic vectors for the entire path is a dense Gδ set. As a corollary, the hypercyclic operators on such a Banach space form a connected subset of the operator algebra with the strong operator topology.     

Hypercyclic subspaces in omega

We show that any countable family of operators of the form P(B), where P is a non-constant polynomial and B is the backward shift operator on ω, the countably infinite product of lines, has a common hypercyclic subspace.     

Unimodular eigenvalues, uniformly distributed sequences and linear dynamics

We study increasing sequences of positive integers (nk)_k?1 with the following property: every bounded linear operator T acting on a separable Banach (or Hilbert) space with supk?1‖Tnk‖<∞ has a countable set of unimodular eigenvalues. Whether this property holds or not depends on the distribution (modulo one) of sequences (nkα)_k?1, α∈R, or on the growth of nk+1/nk. Counterexamples to some conjectures in linear dynamics are given. For instance, a Hilbert space operator which is frequently hypercyclic, chaotic, but not topologically mixing is constructed. The situation of C₀-semigroups is also discussed.     

Non-sequential weak supercyclicity and hypercyclicity

A bounded linear operator T acting on a Banach space B is called weakly hypercyclic if there exists x∈B such that the orbit is weakly dense in B and T is called weakly supercyclic if there is x∈B for which the projective orbit is weakly dense in B. If weak density is replaced by weak sequential density, then T is said to be weakly sequentially hypercyclic or supercyclic, respectively. It is shown that on a separable Hilbert space there are weakly supercyclic operators which are not weakly sequentially supercyclic. This is achieved by constructing a Borel probability measure μ on the unit circle for which the Fourier coefficients vanish at infinity and the multiplication operator Mf(z)=zf(z) acting on L₂(μ) is weakly supercyclic. It is not weakly sequentially supercyclic, since the projective orbit under M of each element in L₂(μ) is weakly sequentially closed. This answers a question posed by Bayart and Matheron. It is proved that the bilateral shift on ?p(Z), 1?p<∞, is weakly supercyclic if and only if 2<p<∞ and that any weakly supercyclic weighted bilateral shift on ?p(Z) for 1?p?2 is norm supercyclic. It is also shown that any weakly hypercyclic weighted bilateral shift on ?p(Z) for 1?p<2 is norm hypercyclic, which answers a question of Chan and Sanders.     

Hypercyclic convolution operators on Fréchet spaces of analytic functions

A result of Godefroy and Shapiro states that the convolution operators on the space of entire functions on Cn, which are not multiples of identity, are hypercyclic. Analogues of this result have appeared for some spaces of holomorphic functions on a Banach space. In this work, we define the space holomorphic functions associated to a sequence of spaces of polynomials and determine conditions on this sequence that assure hypercyclicity of convolution operators. Some known results come out as particular cases of this setting. We also consider holomorphic functions associated to minimal ideals of polynomials and to polynomials of the Schatten-von Neumann class.     

On the eigenvalues of specially low-rank perturbed matrices

We study the eigenvalues of a matrix A perturbed by a few special low-rank matrices. The perturbation is constructed from certain basis vectors of an invariant subspace of A, such as eigenvectors, Jordan vectors, or Schur vectors. We show that most of the eigenvalues of the low-rank perturbed matrix stayed unchanged from the eigenvalues of A; the perturbation can only change the eigenvalues of A that are related to the invariant subspace. Existing results mostly studied using eigenvectors with full column rank for perturbations, we generalize the results to more general settings. Applications of our results to a few interesting problems including the Google’s second eigenvalue problem are presented.     

Existence of disjoint weakly mixing operators that fail to satisfy the Disjoint Hypercyclicity Criterion

Recently, Bès, Martin, and Sanders [11] provided examples of disjoint hypercyclic operators which fail to satisfy the Disjoint Hypercyclicity Criterion. However, their operators also fail to be disjoint weakly mixing. We show that every separable, infinite dimensional Banach space admits operators _T1,_T2,…,_TN$T_1,T_2,\dots ,T_N$ with N?2$N?2$ which are disjoint weakly mixing, and still fail to satisfy the Disjoint Hypercyclicity Criterion, answering a question posed in [11]. Moreover, we provide examples of disjoint hypercyclic operators _T1$T_1$, _T2$T_2$ whose corresponding set of disjoint hypercyclic vectors is nowhere dense, answering another question posed in [11]. In fact, we explicitly describe their set of disjoint hypercyclic vectors. Those same disjoint hypercyclic operators fail to be disjoint topologically transitive. Lastly, we create examples of two families of d-hypercyclic operators which fail to have any d-hypercyclic vectors in common.     

The product of linear nonhomogeneous forms

We show that for an arbitrary unimodular lattice Λ of dimension n and an arbitrary point C =(c₁, c₂...c_n) ? Rⁿ a point Y = (y₁, y₂,..., y_n) ε Λ can be found and also a number h, satisfying the condition 1 ?h ? 2^?n/2 θ^?1 + 1 (0 < θ ? 2^?n/2), such that the inequality $$\prod\nolimits_{i = 1}^n {\left| {Y_i + hc_i } \right|}< \theta $$ will be satisfied.     

Weak* Hypercyclicity and Supercyclicity of Shifts on ℓ∞

We study hypercyclicity and supercyclicity of weighted shifts on ℓ^∞, with respect to the weak * topology. We show that there exist bilateral shifts that are weak * hypercyclic but fail to be weak * sequentially hypercyclic. In the unilateral case, a shift T is weak * hypercyclic if and only if it is weak * sequentially hypercyclic, and this is equivalent to T being either norm, weak, or weak-sequentially hypercyclic on c₀ or ℓ^p (1 ≤ p < ∞). We also show that the set of weak * hypercyclic vectors of any unilateral or bilateral shift on ℓ^∞ is norm nowhere dense. Finally, we show that ℓ^∞ supports an isometry that is weak * sequentially supercyclic.     

Common hypercyclic vectors for families of operators

We provide a criterion for the existence of a residual set of common hypercyclic vectors for an uncountable family of hypercyclic operators which is based on a previous one given by Costakis and Sambarino. As an application, we get common hypercyclic vectors for a particular family of hypercyclic scalar multiples of the adjoint of a multiplier in the Hardy space, generalizing recent results by Abakumov and Gordon and also Bayart. The criterion is applied to other specific families of operators.

     

Hypercyclic composition operators on Hv0‐spaces

We consider analytic self‐maps φ on $\mathbf {D}$ and prove that the composition operator C_φ acting on $H_{v}^0$ is hypercyclic if φ is an automorphism or a hyperbolic non‐automorphic symbol with no fixed point. We give examples of weights v and parabolic non‐automorphisms φ on $\mathbf {D}$ which yield non‐hypercyclic composition operators C_φ on $H_{v}^0$.     

Multiplier operators and extremal functions related to the dual dunkl-sonine operator

We study the dual Dunkl-Sonine operator ^tS_k,? on ?^d, and give expression of ^tS_k,?, using Dunkl multiplier operators on ?^d. Next, we study the extremal functions f^*_λ, λ >0 related to the Dunkl multiplier operators, and more precisely show that {f^*_λ} λ >0 converges uniformly to ^tS_k,?(f) as λ → 0+. Certain examples based on Dunkl-heat and Dunkl-Poisson kernels are provided to illustrate the results.     

Size of the peripheral point spectrum under power or resolvent growth conditions

We characterize Jamison sequences, that is sequences (nk) of positive integers with the following property: every bounded linear operator T acting on a separable Banach space with supk‖Tnk‖<+∞ has a countable set of peripheral eigenvalues. We also discuss partially power-bounded operators acting on Banach or Hilbert spaces having peripheral point spectra with large Hausdorff dimension. For a Lavrentiev domain Ω in the complex plane, we show the uniform minimality of some families of eigenvectors associated with peripheral eigenvalues of operators satisfying the Kreiss resolvent condition with respect to Ω. We introduce and study the notion of Ω-Jamison sequence, which is defined by replacing the partial power-boundedness condition supk‖Tnk‖<+∞ by , where is the nth Faber polynomial of Ω. A characterization of Ω-Jamison sequences is obtained for domains with sufficiently smooth boundary.     

Numerically hypercyclic polynomials

In this paper, we show that every complex Banach space X with dimension at least 2 supports a numerically hypercyclic d-homogeneous polynomial P for every ${d\in \mathbb{N}}$ . Moreover, if X is infinite-dimensional, then one can find hypercyclic non-homogeneous polynomials of arbitrary degree which are at the same time numerically hypercyclic. We prove that weighted shift polynomials cannot be numerically hypercyclic neither on c ₀ nor on ? _p for 1??? p?<???. In contrast, we characterize numerically hypercyclic weighted shift polynomials on ?_??.     

Disjointness in hypercyclicity

We introduce a notion of disjointness for finitely many hypercyclic operators acting on a common space, notion that is weaker than Furstenberg's disjointness of fluid flows. We provide a criterion to construct disjoint hypercyclic operators, that generalizes some well-known connections between the Hypercyclicity Criterion, hereditary hypercyclicity and topological mixing to the setting of disjointness in hypercyclicity. We provide examples of disjoint hypercyclic operators for powers of weighted shifts on a Hilbert space and for differentiation operators on the space of entire functions on the complex plane.