Abstract
We provide a complete characterization of the possible sets of periods for Devaney chaotic linear operators on Hilbert spaces. As a consequence, we also derive this characterization for linearizable maps on Banach spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let X be a infinite dimensional separable complex Banach space. Let L(X) denote the set of linear and continuous operators from X to X. Given an operator \(T\in L(X)\), a vector \(x\in X{\setminus } \{0\}\) is called n-periodic for T, for some \(n\in \mathbb {N}\), if \(T^nx=x\) and \(T^mx\ne x\) for each \(1\le m<n\). An integer \(n\in \mathbb {N}\) is a period for T, if T admits an n-periodic vector. The set of periods for T is denoted by
The set of periods of a map is strongly related with its chaotic behavior, as it was firstly observed by Li and Yorke in [24]. There is a wide study of the periodic structures for chaotic (and non-chaotic) discrete dynamical systems. The most celebrated result, which was the starting point for a huge line of research, was the theorem of Šarkovskiĭ [27] that established a total order in \(\mathbb {N}\cup \{2^\infty \}\) so that, for every continuous map \(f:I\rightarrow I\) on an interval I, there is \(n\in \mathbb {N}\cup \{2^\infty \}\) with \(\mathcal {P}(f)=\{ m\in \mathbb {N}\ ; \ n\unrhd m\}\) (where \(\unrhd \) is Sharkovsky’s order) and, for every \(n\in \mathbb {N}\cup \{2^\infty \}\), there is a continuous map \(f_n:[0,1]\rightarrow [0,1]\) such that \(\mathcal {P}(f_n)=\{ m\in \mathbb {N}\ ; \ n\unrhd m\}\). That is, he completely characterized the possible sets of periods for interval maps.
Šarkovskiĭ’s theorem motivated researchers to characterize the sets of periods for certain classes of self maps. As a sample of this effort, we mention here the characterizations of the sets of periods for some polynomials and rational functions on \(\mathbb {C}\) in the early work [7], for interval and circle maps [4,5,6], for continuous self maps of the real line \(\mathbb {R}\) [16], for triangular maps on a cartesian product of arbitrary spaces [2] or of compact intervals [14], for tree maps [3] and also for different classes of automorphisms [17, 18].
Concerning linear operators, the sets of periods for linear operators on \(\mathbb {C}^n\), \(\mathbb {R}^n\) and \(\ell ^2\) were characterized in [1], see also [23], and on a Hilbert space in [15].
We point out that an earlier version of our results was fundamental for the study of the structure of the set of periods of chaotic strongly continuous semigroups by Muñoz, Seoane and Weber in [25, 26].
According to Devaney a dynamical system, consisting of a continuous map on a metric space, is said to be chaotic if it is topologically transitive, its periodic points form a dense set and it has sensitive dependence on the initial conditions. Subsequently, the third condition was showed to be redundant (see [8]). The concept of chaos was associated to the behavior of certain nonlinear dynamical systems. However, chaos may occur also in linear systems, provided they are infinite-dimensional. A theory of the dynamics of linear operators on infinite-dimensional spaces has been extensively studied for over twenty years. An overview of the state of the art in the area of linear chaos can be found in the monographs [10, 22].
An operator \(T : X \rightarrow X\) on a Banach space X is called topologically transitive if, for any \(U,V\subset X\) non-empty open sets there exists \(n\in \mathbb {N}\) such that \(T^n(U)\cap V\ne \emptyset \). Within this context, transitivity is equivalent to hypercyclicity, that is, the existence of vectors \(x\in X\) whose orbit under T is dense in X. In such a case, x is called a hypercyclic vector for T. The operator T is said to be Devaney chaotic if it is hypercyclic and admits a dense set of periodic points.
In the context of operators with a chaotic dynamics, a natural question arises: Is there a chaotic operator on any separable Hilbert space with a prescribed set of periods? In this note, we give a positive answer to this question and, as a consequence, we also show how to extend this result to linearizable maps on Banach spaces.
2 Periodic structure of chaotic operators
It is well-known that whenever an operator T on a complex space admits nontrivial n-periodic points, then there are eigenvectors whose eigenvalue is an n-root of the unity (see, for instance, see [13]). In fact, the set of periodic points of T is the vector space \({\text {span}}\{x \in X \, / \; \exists n \in \mathbb {N}\, , \; \exists \lambda \in \mathbb {C} \,:\, \lambda ^n=1\,, \; Tx=\lambda x \}\).
Given \(n\in \mathbb {N}\) and \(\lambda \in \mathbb {C}\) we say that \(\lambda \) is a primitive n-th root of 1 if \(\lambda ^n=1\) and \(\lambda ^m\ne 1\) for \(1\le m <n\). We denote by
For \(\lambda \) in the unit circle \(\mathbb {T}\) and \(\varepsilon >0\), we denote by \(I_{\lambda ,\varepsilon }\) the open arc of the unit circle of length \(\varepsilon \) centered at \(\lambda \).
The following characterizes the set of periods for a chaotic operator on a separable Hilbert space. We were inspired by a result of Bayart and Grivaux [9], where they showed that an operator on a separable complex Banach space with sufficiently many eigenvectors associated to eigenvalues of modulus 1 is hypercyclic. As a consequence, they constructed hypercyclic operators with prescribed unimodular point spectrum, see Theorem 2.11 and Lemma 2.12 in [9]. We notice that (i) below was also observed in [1]. Also notice that in [1] the sets of periods for an operator included always 1 since the vector 0 was also considered to determine the sets of periods. In our case, for convenience, we only consider periodic vectors \(x\in X{\setminus } \{0\}\). This is a slight difference in (i) below.
Theorem 1
-
(i)
If \(A\subset \mathbb {N}\) is a set of periods for an operator on a Banach space X, then A contains the least common multiple (lcm) of each pair of elements in A.
-
(ii)
If \(A \subset \mathbb {N}\) is infinite and contains the lcm of each pair of elements in A, then there exists a chaotic operator \(T\in L(\ell ^2)\) such that \(\mathcal {P}(T)=A\).
Proof
(i) Suppose that \(A=\mathcal {P}(T)\) for some operator \(T\in L(X)\). Let \(n,m\in A\), \(p={{\,\mathrm{lcm}\,}}(m,n)\), and \(x_1,x_2\in X\) be n and m periodic vectors, respectively. These vectors can be expressed as a linear combination of eigenvectors corresponding to n-roots and m-roots of unity, see e.g. [13], Sec.3]:
Let \(\lambda _i\in \Gamma _n\) be the eigenvalue of \(y_i\), \(i=1,\ldots k_n\), and let \(\lambda '_j\in \Gamma _m\) be the eigenvalue of \(z_j\), \(j=1,\ldots ,k_m\). We have that there are \(n_i,m_j\in \mathbb {N}\), such that \(\lambda _i\in \Lambda _{n_i}\) and \(\lambda '_j\in \Lambda _{m_j}\), for \(i=1,\ldots ,k_n\), \(j=1,\ldots ,k_m\). Since \(x_1\) is n-periodic and \(x_2\) is m-periodic, we get \(n={{\,\mathrm{lcm}\,}}(n_1,\ldots ,n_{k_n})\) and \(m={{\,\mathrm{lcm}\,}}(m_1,\ldots ,m_{k_m})\). We define \(x:=\sum _{i=1}^{k_n}y_i+\sum _{j=1}^{k_m} z_j\), where we identify \(y_i=z_j\) if \(\lambda _i=\lambda _j'\) for some i and j. Finally, since \(p={{\,\mathrm{lcm}\,}}(n_1,\ldots ,n_{k_n}, m_1,\ldots ,m_{k_m})\), we deduce that x is a p-periodic vector for T and \(p\in A\).
(ii) Fix \(\theta \in ]1,4/3[{\setminus } \mathbb {Q}\). We select a non decreasing sequence \((n_m)_m\) of positive integers such that \(\lim _m\frac{n_m}{m} =\theta /2\) and \(m/2<n_m<4m/6\) for all \(m>4\). A well-known easy consequence of the Prime Number Theorem and the fact that \((n_m)_m\) is non decreasing and unbounded yields that, for every \(\varepsilon >0\), there is \(m_\varepsilon \in \mathbb {N}\) such that, if \(m\ge m_\varepsilon \), then there is a prime number p satisfying \(n_m<p<(1+\varepsilon )n_m\). Applying this result to \((1/k)_k\), \(k \in \mathbb {N}\), we get an increasing sequence of positive integers \((m_k)_k\), with \(m_1>4\), such that for each \(k\in \mathbb {N}\) and for \(m\in \mathbb {N}\) with \(m_{k}\le m<m_{k+1}\), there exists a prime number \(p_{k,m}\) satisfying
Now define
to get a sequence of integers \((p_m)_m\), with \(p_m\) prime for \(m\ge m_2\), such that \(\lim _m\frac{p_m}{m}=\theta /2\). We observe that \(p_m\) and m are coprime for \(m\ge m_2\). Otherwise either \(p_m=m\) or \(p_m\le m/2\), which yields a contradiction with the selection of \((n_m)_m\). This shows that \(\eta _m :=e^{2\pi i \frac{p_m}{m}} \in \Lambda _m\), \(m\in \mathbb {N}\). Moreover, \(\lim _m\eta _m=e^{\pi \theta i} \in \mathbb {T}{\setminus } e^{i \pi \mathbb {Q}}\).
For convenience, sort positive integers not in A in increasing order and denote them as
Claim: There exists a sequence \(\{U_k\}_k\) with the following properties:
-
1.
\(\cup _{k=1}^{\infty } U_k\) consists of a countable union of pairwise disjoint open arcs in \(\mathbb {T}\), not sharing endpoints, where all endpoints have the form \(e^{i\phi \pi }\) with \(\phi \in ]0,2[{\setminus }\mathbb {Q}\),
-
2.
\(\cup _{k=1}^{\infty } \Lambda _{j_k}\subset \cup _{k=1}^{\infty } U_k\),
-
3.
\(\eta _m\not \in \cup _{k=1}^{\infty } U_k\) for \(m\ne j_k\) and \(k\in \mathbb {N}\).
We prove the claim by induction. Since \(e^{i\theta \pi }\not \in \Lambda _{j_1}\) and \(\Lambda _{j_1}\) is finite, set \(\delta =d(e^{i\theta \pi },\Lambda _{j_1})\) and find \(M_1\in \mathbb {N}\) such that
Compute
and take \(0<\varepsilon <\min \{\delta ,\varepsilon _1,\varepsilon _2\}/2\). For each \(\lambda \in \Lambda _{j_1}\) we associate an open arc \(I_{\lambda ,\varepsilon }\) containing \(\lambda \), with diameter \(\varepsilon \), and with the property that both endpoints of the arc have the form \(e^{i\phi \pi }\) with \(\phi \in ]0,2[{\setminus }\mathbb {Q}\). By construction, the family of open arcs \(\{I_{\lambda ,\varepsilon },\ \lambda \in \Lambda _{j_1}\}\) is pairwise disjoint and no endpoint is shared by two arcs.
Suppose we have a sequence \(\{U_i\}_{i=1}^{k-1}\) with the following properties:
-
1.
\(\cup _{i=1}^{k-1} U_i\) consists of a finite union of pairwise disjoint open arcs not sharing endpoints where all endpoints have the form \(e^{i\phi \pi }\) with \(\phi \in ]0,2[{\setminus }\mathbb {Q}\),
-
2.
\(\cup _{i=1}^{k-1} \Lambda _{j_i}\subset \cup _{i=1}^{k-1} U_i\),
-
3.
\(\eta _m\not \in \cup _{i=1}^{k-1} U_i\) for \(m\ne j_i\) and \(1\le i\le k-1\). In order to complete the induction process we have to construct \(U_k\). Since \(e^{i\theta \pi }\not \in \cup _{i=1}^{k} \Lambda _{j_i}\), set \(\delta _k=d(e^{i\theta \pi },\cup _{i=1}^{k} \Lambda _{j_i})\) and find \(M_k\in \mathbb {N}\) such that
$$\begin{aligned} \eta _m\in B(e^{i\theta \pi },\delta /2), \ m>M_k. \end{aligned}$$Compute
$$\begin{aligned} \varepsilon _{3k-2}&=\min \{d(\lambda ,\mu ),\ \lambda ,\mu \in \Lambda _{j_k},\ \lambda \ne \mu \},\\ \varepsilon _{3k-1}&=\min \{d(\lambda ,e^{i\phi \pi }),\ \lambda \in \Lambda _{j_k},\ e^{i\phi \pi }\text { is an endpoint of }\cup _{i=1}^{k-1} U_i\},\\ \varepsilon _{3k}&=\min \{d(\lambda ,\eta _m),\ \lambda \in \Lambda _{j_k},\ 1\le m\le M_k,\ m\notin \{j_1,j_2,\dots ,j_{k}\}\}, \end{aligned}$$and take \(0<\varepsilon <\min \{\delta _k,\varepsilon _{3k-2},\varepsilon _{3k-1},\varepsilon _{3k}\}/2\). For each \(\lambda \in \Lambda _{j_k}{\setminus }\cup _{i=1}^{k-1} U_i\) we associate an open arc \(I_{\lambda ,\varepsilon }\) containing \(\lambda \), with diameter \(\varepsilon \), and with the property that both endpoints of the arc have the form \(e^{i\phi \pi }\) with \(\phi \in ]0,2[{\setminus }\mathbb {Q}\). Define
$$\begin{aligned} U_k:=\bigcup _{\lambda \in \Lambda _{j_k}{\setminus }\cup _{i=1}^{k-1} U_i} I_{\lambda ,\varepsilon }, \end{aligned}$$and the claim is proved. Observe that in the case where \(\mathbb {N}{\setminus } A\) is finite, we have that \(U_k=\emptyset \) after a finite number of induction steps. Define now \(U:=\cup _{k=1}^\infty U_k\), which is an open subset of \(\mathbb {T}\) and, by construction, \(\mathbb {T}{\setminus } U\) does not have isolated points (i.e., it is a perfect set) and the primitive roots of the unity \( \mu _m \in \mathbb {T}{\setminus } U\) if and only if \(m \in A\). To finish our proof we will need the Kalisch operator, that was used for the first time in [9] in the context of chaotic properties in linear dynamics. More precisely, let \(K:L^2[0,2\pi ]\rightarrow L^2[0,2\pi ]\) be defined as
$$\begin{aligned} Kf(\theta )=e^{i\theta }f(\theta )-\int _0^\theta ie^{it}f(t)dt, \ \ \ \theta \in [0,2\pi ]. \end{aligned}$$It is well known (and easy to see) that, for any \(\lambda \in \mathbb {T}{\setminus } \{1\}\), \(\lambda =e^{i\beta }\) with \(\beta \in ]0,2\pi [\), we have
$$\begin{aligned} \ker (K-\lambda I)={\text {span}}(f_\lambda ), \ \ \hbox { where } \ \ f_\lambda :=\mathbf {1}_{[\beta ,2\pi ]} . \end{aligned}$$W.l.o.g. we suppose that \(1\in U\). Otherwise a suitable rotation of K does the job. We consider the Hilbert space \(H:=\overline{{\text {span}}}\{ f_\lambda \ ; \ \lambda \in \mathbb {T}{\setminus } U\}\), which is K-invariant. Since \(\mathbb {T}{\setminus } U\) is a compact perfect set and, by continuity of the map \(\lambda \mapsto f_\lambda \), the set of eigenvectors of \(T:=K|_H\) associated to roots of unity is dense in H, T is chaotic (see, e.g., [10, Section 5.5.3] or [20, Fact 3.5]). Moreover, \(\sigma _p(T)=\sigma (T)=\mathbb {T}{\setminus } U\), where \(\sigma (T)\) and \(\sigma _p(T)\) denote the spectrum and the point spectrum of the operator T respectively. Given \(m\in A\), we have that \(\eta _m\in \Lambda _m\cap \sigma _p(T)\). Since all separable infinite dimensional Hilbert spaces are equivalent, we replace H by \(\ell ^2\) from now on. Let \(x\in \ell ^2\) be an eigenvector of T associated to \(\eta _m\), then x is m-periodic, and \(A\subseteq \mathcal {P}(T)\).
On the other hand, if \(m\in \mathcal {P}(T)\), proceeding as in (i), we find a finite family \(x_1,\ldots ,x_k\in \ell ^2\) of eigenvectors of T such that if \(\lambda _1,\ldots ,\lambda _k\) are the respective associated eigenvalues and \(m_1,\ldots ,m_k\in \mathbb {N}\) are so that \(x_i\in \Lambda _{m_i}\), \(i=1,\ldots ,k\), then \(m={{\,\mathrm{lcm}\,}}(m_1,\ldots ,m_k)\). If \(m_i\in A, i=1,\ldots , k\), then the hypothesis on A imply that \(m\in A\). If there was some \(m_j\notin A\), then \(\lambda _j\in U\cap \sigma _p(T)\) which is a contradiction.
Remark 2
The Kalisch type operator K of the proof was used several times in connection with ergodic theory in linear dynamics (see, e.g., [9, 10, 20]). In particular, when the spectrum of \(T:=K|_H\) is perfect, T admits an invariant ergodic measure with full support (see, e.g., [10, Section 5.5.3]). Also, Grivaux and Matheron observed in [19, Theorem 1.10] that, in this case, T is densely distributionally chaotic. As a consequence, we have that, if \(A \subset \mathbb {N}\) is infinite and contains the lcm of each pair of elements in A, then there exists an operator \(T\in L(\ell ^2)\) such that \(\mathcal {P}(T)=A\), and T is ergodic and (densely) distributionally chaotic (therefore, Li-Yorke chaotic). We refer the reader to [11] and [12] for the basic notions and results on distributional and Li-Yorke chaos, respectively, in linear dynamics.
The most important properties of dynamical systems are preserved under conjugacy, and so does the set of periods. If we take this into account, and call a continuous map \(f:X\rightarrow X\) to be linearizable if it is topologically conjugate to an operator \(T\in L(Y)\) on a, possibly different, Banach space Y, one can consider the problem of studying the set of periods for linearizable maps. A very useful result to face this problem is stated in [21, page 357]. As a consequence of the Anderson-Kadec Theorem, any separable infinite-dimensional Banach space is homeomorphic to the Hilbert space \(\ell ^2\). Together with our Theorem 1, this shows a very powerful result for linearizable maps.
Theorem 3
Given any separable infinite-dimensional Banach space X and an infinite set \(A\subset \mathbb {N}\), there exists a chaotic linearizable map \(f:X\rightarrow X\) such that \(\mathcal {P}(f)=A\) if and only if A contains the least common multiples of all pairs of elements in A.
References
Ali Akbar, K., Kannan, V., Gopal, S., Chiranjeevi, P.: The set of periods of periodic points of a linear operator. Linear Algebra Appl. 431(1–2), 241–246 (2009)
Alsedà, L., Llibre, J.: Periods for triangular maps. Bull. Austral. Math. Soc. 47(1), 41–53 (1993)
Alsedà, L., Juher, D., Mumbrú, P.: Periodic behavior on trees. Ergod. Theory Dynam. Syst. 25(5), 1373–1400 (2005)
Alsedà, L., Ruette, S.: On the set of periods of sigma maps of degree 1. Discrete Continuous Dyn. Syst. 35(10), 4683–4734 (2015)
Alsedà, L., Ruette, S.: Periodic orbits of large diameter for circle maps. Proc. Am. Math. Soc. 138(9), 3211–3217 (2010)
Alsedà, L., Llibre, J., Misiurewicz, M.: Combinatorial Dynamics and Entropy in Dimension One, Advanced Series in Nonlinear Dynamics, vol. 5. World Scientific Publishing Co. Inc, River Edge (1993)
Baker, I.N.: Fixpoints of polynomials and rational functions. J. Lond. Math. Soc. 39, 615–622 (1964)
Banks, J., Brooks, J., Cairns, G., Davis, G., Stacey, P.: On Devaney’s definition of chaos. Am. Math. Mon. 99, 332–334 (1992)
Bayart, F., Grivaux, S.: Hypercyclicity and unimodular point spectrum. J. Funct. Anal. 226(2), 281–300 (2005)
Bayart, F., Matheron, É.: Dynamics of Linear Operators, Cambridge Tracts in Mathematics, vol. 179. Cambridge University Press, Cambridge (2009)
Bernardes Jr., N.C., Bonilla, A., Müller, V., Peris, A.: Distributional chaos for linear operators. J. Funct. Anal. 265, 2143–2163 (2013)
Bernardes Jr., N.C., Bonilla, A., Müller, V., Peris, A.: Li-Yorke chaos in linear dynamics. Ergod. Theory Dynam. Syst. 35, 1723–1745 (2015)
Bonet, J., Martínez-Giménez, F., Peris, A.: Linear chaos on Fréchet spaces. Int. J. Bifur. Chaos Appl. Sci. Eng. 13(7), 1649–1655 (2003)
Cabral Balreira, E., Elaydi, S., Luís, V.: Global dynamics of triangular maps. Nonlinear Anal. 104, 75–83 (2014)
Chiranjeevi, P., Kannan, V., Gopal, S.: Periodic points and periods for operators on Hilbert space. Discrete Continuous Dynam. Syst. 33(9), 4233–4237 (2013)
Devaney, R.L.: An Introduction to Chaotic Dynamical Systems, 2nd edn. Addison-Wesley Studies in Nonlinearity. Addison-Wesley Publishing Company Advanced Book Program, Redwood City (1989)
Gopal, S., Raja, C.: Periodic points of solenoidal automorphisms. Topol. Proc. 50, 49–57 (2017)
Gouveia, M.R., Llibre, J.: Periods of periodic homeomorphisms of pinched surfaces with one or two branching points. Houst. J. Math. 45(4), 1227–1243 (2019)
Grivaux, S., Matheron, E.: Invariant measures for frequently hypercyclic operators. Adv. Math. 265, 371–427 (2014)
Grivaux, S., Matheron, É., Menet, Q.: Linear dynamical systems on Hilbert spaces: typical properties and explicit examples, Mem. Am. Math. Soc. 269(1315), 143 (2021). arXiv:1703.01854v1
Grosse-Erdmann, K.-G.: Universal families and hypercyclic operators. Bull. Am. Math. Soc. (N.S.) 36(3), 345–381 (1999)
Grosse-Erdmann, K.-G., Peris Manguillot, A.: Linear Chaos. Universitext. Springer, London (2011)
Li, H.-C.: Periodic points of a linear transformation. Linear Algebra Appl. 437(10), 2489–2497 (2012)
Li, T.Y., Yorke, J.A.: Period three implies chaos. Am. Math. Mon. 82(10), 985–992 (1975)
Muñoz-Fernández, G.A., Seoane-Sepúlveda, J.B., Weber, A.: The set of periods of chaotic operators and semigroups. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM 105(2), 397–402 (2011)
Muñoz-Fernández, G.A., Seoane-Sepúlveda, J.B., Weber, A.: Periods of strongly continuous semigroups. Bull. Lond. Math. Soc. 44(3), 480–488 (2012)
Šarkovskiĭ, O. M.: Co-existence of cycles of a continuous mapping of the line into itself. Ukrain. Mat. Z̆. 16, 61–71 (1964)
Acknowledgements
This work was supported by MICINN and FEDER, Projects MTM2016-75963-P and PID2019-105011GB-I00. The second and third authors were also supported by Generalitat Valenciana, Project PROMETEO/2017/102. We would to that the referees whose careful reading and observations produced an improvement in the presentation of the article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Conejero, J.A., Martínez-Giménez, F., Peris, A. et al. Sets of periods for chaotic linear operators. RACSAM 115, 63 (2021). https://doi.org/10.1007/s13398-020-00996-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-020-00996-z