Mini-Workshop: Hypercyclicity and Linear Chaos

  • Teresa Bermudez

    Universidad de La Laguna, Spain
  • Gilles Godefroy

    Université Pierre et Marie Curie, Paris, France
  • Karl-Goswin Grosse-Erdmann

    Fernuniversität-GHS, Hagen, Germany
  • Alfredo Peris

    Universidad Politecnia de Valencia, Spain
Mini-Workshop: Hypercyclicity and Linear Chaos cover
Download PDF

A subscription is required to access this article.

Abstract

Chaos has long been thought of as being intrinsically linked to non-linearity. The investigations into hypercyclicity in the last two decades have thoroughly refuted this assumption. Many, even quite natural, linear dynamical systems exhibit chaos; this effect, however, only becomes visible when one studies infinite-dimensional state spaces. Starting from the seemingly innocent definition of a hypercyclic operator, that is, an operator with a dense orbit, the theory has developped into a very active research area, the Theory of Linear Dynamical Systems. In recent years, several open problems have been solved. For example, Ansari and Bernal have given a positive answer to Rolewicz' question if every separable infinite-dimensional Banach space supports a hypercyclic operator, and Costakis and Peris have given a positive answer to Herrero's question if every multi-hyper\-cyclic operator is hypercyclic. On the other hand, Herrero's problem if for every hypercyclic operator TT also TTT\oplus T is hypercyclic has turned out to be a major challenge. This Great Open Problem in hypercyclicity has, in fact, motivated a fair number of recent investigations. The solution of another major problem in hypercyclicity was announced by A. Peris during the workshop. In his talk he showed that if {Tt:t0}\{T_t:t\geq 0\} is a hypercyclic C0C_0-semigroup then every operator Tt,t>0,T_t, t>0, in the semigroup must itself be hypercyclic. This problem had previously evaded the efforts of several researchers. In an attempt to better understand the Great Open Problem, H. Petersson studied the set of hypercyclic vectors for direct sums of operators. He found conditions under which there are dense subspaces Ui,1iN,U_i, 1\leq i\leq N, such that every vector (ui)1iNU1××UN(u_i)_{1\leq i\leq N}\in U_1\times\ldots \times U_N with ui0u_i\neq 0 for all ii is hypercyclic for T1TNT_1\oplus\ldots\oplus T_N. Hypercyclic vectors for T1TNT_1\oplus\ldots \oplus T_N were also studied by J. B\`es. However, motivated by an investigation of Furstenberg, he only considered vectors of the form (x,,x)(x,\ldots,x), and called these vectors d-hypercyclic. He obtained examples of such vectors based on a d-Hypercyclicity Criterion. In a different direction, N. Feldman called an NN-tuple (T1,,TN)(T_1,\ldots,T_N) of commuting operators hypercyclic if the orbit {T1k1TNkNx:ki0}\{T_1^{k_1}\cdots T_N^{k_N}x : k_i\geq 0\} is dense in XX for some vector xx. He discussed many examples and presented extensions of results in hypercyclicity to the new setting. Spectral results in hypercyclicity often involve the unit circle. The talk of S. Grivaux explained why this is so. Replacing the polynomials znz^n by the Faber-polynomials FnΩF_n^\Omega of a non-empty simply connected domain Ω\Omega in C\mathbb{C} with compact closure and rectifiable boundary, she defined a vector xx to be Ω\Omega-hypercyclic for an operator TT if {FnΩ(T)x:n0}\{F_n^\Omega(T)x:n\geq 0\} is dense in XX. She presented analogs of results in hypercyclicity in this context, where now the r\^ole of the unit disk is taken over by Ω\Omega. In a similar vein, a vector xx is called Ces\`aro-hypercyclic if the set {1nk=0nTkx:n0}\{\tfrac 1 n \sum_{k=0}^n T^kx : n\geq 0\} is dense in XX. For this setting, G. Costakis obtained a version of the somewhere dense orbit theorem of Bourdon and Feldman. Another topic of the workshop were common hypercyclic vectors. F. Bayart obtained a new condition on a parametrized family (Tλ)λΛ(T_\lambda)_{\lambda\in \Lambda} to have a dense GδG_\delta-set of common hypercyclic vectors. The proof used both the Baire category theorem and a nontrivial result from probability theory. A different sufficient condition for the same problem was given by K. Chan. He employed his condition to show that any two hypercyclic unilateral weighted backward shifts can be connected by a path of such operators having a dense GδG_\delta-set of common hypercyclic vectors. H. N. Salas studied the existence of supercyclic subspaces, that is, closed infinite-dimensional subspaces of supercyclic vectors. He presented two sufficient conditions for their existence, and studied their necessity in the special case of backward shift operators. K.-G. Grosse-Erdmann extended the known sufficient condition for the existence of hypercyclic subspaces to the setting of F-spaces, and he obtained an analogous result on frequently hypercyclic subspaces. The topic of supercyclicity was also taken up by \'E. Matheron. He first showed that unitary operators can be weakly supercyclic; his example was the multiplication operator MzM_z on a space L2(μ)L^2(\mu), where μ\mu is a probability measure on T\mathbb{T} of small support. He then presented recent work of S. Shkarin saying that the measure μ\mu may even be such that its Fourier coefficients tend to 0. J. Bonet studied hypercyclicity and chaos of the differentiation operator on some natural spaces of holomorphic functions. The special interest of these results was that he considered spaces that are non-metrizable, so that the Baire category theorem is not available. He also presented a characterization of topological transitivity and chaos of the backward shift on non-metrizable sequence spaces. F. Mart\'{i}nez characterized hypercyclicity and chaos of certain polynomials on K\"othe echelon spaces. He also discussed a result that links the infinite-dimensional dynamics of polynomials to the Julia set of a corresponding complex polynomial. Two of the talks studied the behaviour of the sequence of norms Tn,n1,\|T^n\|, n\geq 1, of operators TT on Banach spaces. C. Badea characterized those sequences (nk)(n_k) such that, for any operator TT on any separable Banach space XX, supk0Tnk<\sup_{k\geq 0} \|T^{n_k}\|<\infty implies that the unimodular point spectrum σp(T)T\sigma_p(T)\cap \mathbb{T} is at most countable. As an application he obtained an example of a chaotic and frequently hypercyclic operator on Hilbert space that is not topologically mixing, thereby answering a question of Peris. V. M\"uller considered an opposite of hypercyclicity, vectors xx for which Tnx\|T^nx\| is big in some sense. He showed that, for any sequence (Tn)(T_n) of operators and any positive sequence (an)(a_n) with nan<\sum_n a_n<\infty there is a vector xx so that TnxanTn\|T^nx\|\geq a_n\|T_n\| for all n0n\geq 0. He also obtained analogues for weak orbits. R. Mortini investigated composition operators ffϕn,n1,f\mapsto f\circ \phi_n, n\geq 1, on the space B={fH(Ω):supzΩf(z)1}\mathcal{B}=\{f\in H(\Omega): \sup_{z\in\Omega}|f(z)|\leq 1\}, where Ω\Omega is a domain in CN\mathbb{C}^N and the ϕn\phi_n are automorphisms or, more generally, holomorphic self-maps of Ω\Omega. He characterized when there exists an fBf\in \mathcal{B} so that {fϕn:n1}\{f\circ \phi_n: n\geq 1\} is locally uniformly dense in B\mathcal{B}, and also presented an analogous result when B\mathcal{B} is replaced by the space H(Ω)H(\Omega) of all holomorphic functions on Ω\Omega. It is a distinctive feature of hypercyclicity that it unites researchers from various backgrounds, be it topological dynamics, operator theory, semigroup theory, the theory of locally convex spaces or complex analysis, which was also reflected in the composition of the participants. A very lively exchange of ideas characterized the mini-workshop, which was particularly apparent in the two Special Sessions that both ran overtime. Some of the problems discussed in the Problem Session on Wednesday morning and some of the contributions presented in the Informal Session on Friday morning are collected at the end of this report, while additional problems can be found in the abstracts of J. B\`es, N. Feldman, F. Mart\'{i}nez, H. Petersson and H. N. Salas. The mini-workshop was organized by Teresa Berm\'udez (La Laguna), Gilles Godefroy (Paris), Karl-G. Grosse-Erdmann (Hagen), and Alfredo Peris (Valencia). Unfortunately, Teresa Berm\'udez was unable to participate. The participants greatly appreciated the hospitality and the stimulating atmosphere of the Forschungsinstitut Oberwolfach.

Cite this article

Teresa Bermudez, Gilles Godefroy, Karl-Goswin Grosse-Erdmann, Alfredo Peris, Mini-Workshop: Hypercyclicity and Linear Chaos. Oberwolfach Rep. 3 (2006), no. 3, pp. 2227–2276

DOI 10.4171/OWR/2006/37