Bihypercyclic bilinear mappings (Q1933638)

A bounded linear operator \(T\) on a Banach space \(X\) is called \textit{hypercyclic} if there exists a vector \(x\) in \(X\) whose orbit \(\text{orb}(x,T) = \{ x,Tx,T^2x,\dots\}\) is dense in \(X\). The authors develop an analogous notion for the hypercyclicity of bilinear mappings. Suppose that \(B:X\times X \to X\) is a continuous bilinear map. For \((x,y)\) in \(X \times X\), let \(U_0 = \{x,y\}\) and \(U_n = U_{n-1} \cup \{ B(u,v) : u,v \in U_{n-1} \}\) for \(n \geq 1\). The orbit corresponding to a pair \((x,y)\) is defined by \(\text{orb}( (x,y),B ) = \bigcup_{n=0}^{\infty} U_n\). The bilinear map \(B\) is said to be \textit{bihypercyclic} if there exists a pair \((x,y)\) such that \(\text{orb}( (x,y),B )\) is dense in \(X\). The authors establish some of the basic properties of bihypercyclic maps and exhibit a variety of examples. One of their main results demonstrates that every separable Banach space supports a bihypercyclic mapping.