On the existence of transitive and topologically mixing semigroups (Q2469063)

An operator on a Banach space is said to be hypercyclic if it has a dense orbit. In 1969, S. Rolewicz asked if every separable infinite-dimensional Banach space supports a hypercyclic operator. This important question was independently answered in the affirmative by \textit{S.\,I.\thinspace Ansari} [J.~Funct.\ Anal.\ 148, No.\,2, 384--390 (1997; Zbl 0898.47019)] and \textit{L.\,Bernal--González} [Proc.\ Am.\ Math.\ Soc.\ 127, No.\,4, 1003--1010 (1999; Zbl 0911.47020)] for Banach spaces, and by \textit{J.\,Bonet} and \textit{A.\,Peris} [J.~Funct.\ Anal.\ 159, No.\,2, 587--595 (1998; Zbl 0926.47011)] for Fréchet spaces. The existence of hypercyclic semigroups is also considered by some authors. \textit{T.\,Bermúdez, A.\,Bonilla} and \textit{A.\,Martinón} [Proc.\ Am.\ Math.\ Soc.\ 131, No.\,8, 2435--2441 (2003; Zbl 1044.47006)] proved that there exists a hypercyclic uniformly continuous semigroup on every infinite-dimensional separable complex Banach space. This result was extended by \textit{T.\,Bermúdez, A.\,Bonilla, A.\,Peris} and the author [Stud.\ Math.\ 170, No.\,1, 57--75 (2005; Zbl 1064.47006)], showing that there exists a topologically mixing analytic uniformly continuous semigroup on such spaces. One of the main results in the present paper says that there exists a topologically mixing analytic uniformly continuous semigroup on every Fréchet space different from the countable product of lines \(\omega={\mathbb K}^{\mathbb N}\). In addition, the author proves that there exist topologically mixing semigroups on \(\varphi\), the space of all eventually null sequences endowed with its natural topology. The proof of the latter result relies on some techniques established by \textit{J.\,Bonet, L.\,Frerick, A.\,Peris} and \textit{J.\,Wengenroth} [Bull.\ Lond.\ Math.\ Soc.\ 37, 254--264 (2005; Zbl 1150.47005)] and on a result of \textit{W.\,Desch, W.\,Schappacher} and \textit{G.\,F.\thinspace Webb} [Ergodic Theory and Dynam.\ Syst.\ 17, No.\,4, 793--819 (1997; Zbl 0910.47033)].