A short proof of existence of disjoint hypercyclic operators (Q968868)

Let \(X\) be an infinite-dimensional separable Fréchet space. An operator \(T\in L(X)\) is called hypercyclic if there exists \(x\in X\) such that \(\{T^nx:n\in\mathbb{N}\}\) is dense in \(X\). An \(m\)-tuple of operators \((T_1,\dots, T_m)\) in \(L(X)\) is said to be disjoint hypercyclic if there exists some \(x\in X\) such that \(\{(T_{1}^nx,\ldots,T_{m}^nx):n\in\mathbb{N}\}\) is dense in \(X^m\). This notion has been recently introduced by \textit{L.\,Bernal-González} [Stud.\ Math.\ 182, No.\,2, 113--131 (2007; Zbl 1134.47006)] and by \textit{J.\,Bès} and \textit{A.\,Peris} [J.~Math.\ Anal.\ Appl.\ 336, No.\,1, 297--315 (2007; Zbl 1129.47007)]. On the other hand, the \(m\)-tuple \((T_1,\dots, T_m)\) is said to be disjoint dual hypercyclic if\break \(\{(T'{}_{1}^nx,\dots,T'{}_{m}^nx):n\in\mathbb{N}\}\) is dense in \(X'{}^{m}\). This notion is due to \textit{H.\,N.\thinspace Salas} [Glasg.\ Math.\ J.\ 49, No.\,2, 281--290 (2007; Zbl 1129.47009)]. The existence of hypercyclic operators was proved in the Banach setting 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)], and by \textit{J.\,Bonet} and \textit{A.\,Peris} in the Fréchet case [J.~Funct.\ Anal.\ 159, No.\,2, 587--595 (1998; Zbl 0926.47011)]. The existence of dual hypercyclic operators on Banach spaces with separable dual is due to \textit{H.\,N.\thinspace Salas} [loc. cit.]. Recently, the existence of disjoint hypercyclic \(m\)-tuples of operators in the Banach setting has been proved by \textit{J.\,Bès, Martin} and \textit{A.\,Peris} in [``Disjoint hypercyclic linear fractional composition operators'', preprint (2009)], and by \textit{H.\,N.\thinspace Salas} in [``Dual disjoint hypercyclic operators'', J.~Math.Anal.\ Appl.\ 374, No.\,1, 106--117 (2011; doi:10.1016/j.\ jmaa.2010.09.003)]. In fact, Salas also showed the existence of disjoint dual hypercyclic \(m\)-tuples of operators on Banach spaces with separable dual. In the paper under review, the author gives a simplied proof of these two results, pointing out that the first one also works in the Fréchet setting. This is obtained as a result of the fact that the operators constructed by Bonet and Peris and by Salas are hereditarily hypercyclic, therefore the direct sum of \(m\) copies of them it is also hypercyclic as was firstly noticed by \textit{J.\,Bès} and \textit{A.\,Peris} in [J.~Funct.\ Anal.\ 167, No.\,1, 94--112 (1999; Zbl 0941.47002)], and an elegant (and nontrivial) application of the conjugation lemma.