Strong mixing measures for linear operators and frequent hypercyclicity (Q695097)

The authors show the following theorem for operators \(T\) on \(F\)-spaces \(X\) that satisfy the Frequent Hypercyclic Criterion: Theorem. If there is a dense subset \(X_0\) of \(X\) and a sequence of maps \(S_n:X_0\to X\) such that, for every \(x\in X_0\), the sums \(\sum_{n=0}^\infty T^nx \) and \(\sum_{n=0}^\infty S_nx\) converge unconditionally, and such that \(T^nS_nx=x\) and \(T^mS_nx=S_{n-m}x\) for \(n>m\), then there is a \(T\)-invariant strongly mixing Borel probability measure on \(X\) with full support. An application to backward shift operators is given.