A few remarks on mixing properties of \(C^*\)-dynamical systems (Q2478050)

The following result is known: Let \(T: L^1(X,{\mathcal F},\mu )\rightarrow L^1 (X,{\mathcal F},\mu )\) be a positive contraction. Assume that for \(x\in L^1 (X,{\mathcal F},\mu )\), the sequence \(\{ T^n x\}\) converges weakly in \(L^1 (X,{\mathcal F},\mu )\). Then either \(\lim _{n\rightarrow \infty }||T^n x||=0\) or there exists a positive function \(h\in L^1 (X,{\mathcal F},\mu)\), \(h\neq 0\), such that \(Th=h\). In the present paper, an extension of the result in a finite von Neumann algebra setting is proven. The main result of the paper is as follows. Let \(M\) be a von Neumann algebra with faithful normal finite trace \(\tau \). Let \(L^1 (M,\tau )\) be an \(L^1\)-space. Let \(T: L^1 (M,\tau )\rightarrow L^1 (M,\tau )\) be a contraction such that \(|T(x)|\leq T(|x|) \text{ for all }x\in L^1 (M,\tau )\), \(x=x^* \). Assume that there exists \(y\in L^1 (M,\tau )\), \(y>0\), such that \(Ty=y\). If for \(z\in L^1 (M,\tau )\), the sequence \((T^n z)\) converges weakly to some element of \(L^1 (M,\tau )\), then \(\lim _{n\rightarrow\infty } ||T^n x||=0\). In particular, if \(T\) is mixing, then \(T\) is completely mixing.