Hostname: page-component-5db58dd55d-mhzq2 Total loading time: 0 Render date: 2026-05-30T15:07:07.193Z Has data issue: false hasContentIssue false

Hereditarily frequently hypercyclic operators and disjoint frequent hypercyclicity

Published online by Cambridge University Press:  16 April 2025

FRÉDÉRIC BAYART
Affiliation:
Laboratoire de Mathématiques Blaise Pascal UMR 6620 CNRS, Université Clermont Auvergne, Campus universitaire des Cézeaux, 3 place Vasarely, 63178 Aubière Cedex, France (e-mail: frederic.bayart@uca.fr)
SOPHIE GRIVAUX
Affiliation:
Univ. Lille, CNRS, UMR 8524 - Laboratoire Paul Painlevé, F-59000 Lille, France (e-mail: sophie.grivaux@univ-lille.fr)
ÉTIENNE MATHERON
Affiliation:
Univ. Artois, UR 2462 - Laboratoire de Mathématiques de Lens (LML) F-62300 Lens, France (e-mail: etienne.matheron@univ-artois.fr)
QUENTIN MENET*
Affiliation:
Service d’Analyse fonctionnelle, Département de Mathématique, Université de Mons, Place du Parc 20, 7000 Mons, Belgium

Abstract

We introduce and study the notion of hereditary frequent hypercyclicity, which is a reinforcement of the well-known concept of frequent hypercyclicity. This notion is useful for the study of the dynamical properties of direct sums of operators; in particular, a basic observation is that the direct sum of a hereditarily frequently hypercyclic operator with any frequently hypercyclic operator is frequently hypercyclic. Among other results, we show that operators satisfying the frequent hypercyclicity criterion are hereditarily frequently hypercyclic, as well as a large class of operators whose unimodular eigenvectors are spanning with respect to the Lebesgue measure. However, we exhibit two frequently hypercyclic weighted shifts $B_w,B_{w'}$ on $c_0(\mathbb {Z}_+)$ whose direct sum ${B_w\oplus B_{w'}}$ is not $\mathcal {U}$-frequently hypercyclic (so that neither of them is hereditarily frequently hypercyclic), and we construct a C-type operator on $\ell _p(\mathbb {Z}_+)$, $1\le p<\infty $, which is frequently hypercyclic but not hereditarily frequently hypercyclic. We also solve several problems concerning disjoint frequent hypercyclicity: we show that for every $N\in \mathbb {N}$, any disjoint frequently hypercyclic N-tuple of operators $(T_1,\ldots ,T_N)$ can be extended to a disjoint frequently hypercyclic $(N+1)$-tuple $(T_1,\ldots ,T_N, T_{N+1})$ as soon as the underlying space supports a hereditarily frequently hypercyclic operator; we construct a disjoint frequently hypercyclic pair which is not densely disjoint hypercyclic; and we show that the pair $(D,\tau _a)$ is disjoint frequently hypercyclic, where D is the derivation operator acting on the space of entire functions and $\tau _a$ is the operator of translation by $a\in \mathbb {C}\setminus \{ 0\}$. Part of our results are in fact obtained in the general setting of Furstenberg families.

Information

Type
Original Article
Copyright
© The Author(s), 2025. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable