Orbits of coanalytic Toeplitz operators and weak hypercyclicity

Abstract

We prove a new criterion of weak hypercyclicity of a bounded linear operator on a Banach space. Applying this criterion, we solve few open questions. Namely, we show that if $G$ is a region of $\C$ bounded by a smooth Jordan curve $\Gamma$ such that $G$ does not meet the unit ball but $\Gamma$ intersects the unit circle in a non-trivial arc, then $M^*$ is a weakly hypercyclic operator on $H^2(G)$, where $M$ is the multiplication by the argument operator $Mf(z)=zf(z)$. We also prove that if $g$ is a non-constant function from the Hardy space $H^\infty(\D)$ on the unit disk $\D$ such that $g(\D)\cap\D=\varnothing$ and the set $\{z\in\C:|z|=1,\ |g(z)|=1\}$ is a subset of the unit circle $\T$ of positive Lebesgue measure, then the coanalytic Toeplitz operator $T^*_g$ on the Hardy space $H^2(\D)$ is weakly hypercyclic. On the contrary, if $g(\D)\cap\D=\varnothing$, $|g|>1$ almost everywhere on $\T$ and $\log(|g|-1)\in L^1(\T)$, then $T^*_g$ is not 1-weakly hypercyclic and hence is not weakly hypercyclic (a bounded linear operator $T$ on a complex Banach space $X$ is called $n$-weakly hypercyclic if there is $x\in X$ such that for every surjective continuous linear operator $S:X\to \C^n$, the set $\{S(T^mx):m\in\N\}$ is dense in $\C^n$). The last result is based upon lower estimates of the norms of the members of orbits of a coanalytic Toeplitz operator. Finally, we show that there is a 1-weakly hypercyclic operator on a Hilbert space, whose square is non-cyclic and prove that a Banach space operator is weakly hypercyclic if and only if it is $n$-weakly hypercyclic for every $n\in\N$.