Numerical radius inequality for \(C_0\) contractions (Q1002253)

\textit{K.\,R.\thinspace Davidson} and \textit{J.\,A.\,R.\thinspace Holbrook} [Mich.\ Math.\ J.\ 35, No.\,2, 261--267 (1988; Zbl 0692.47005)] gave the example of \(A=J_9\) and \(B=j_9^3+J_9^7\) that leads to the falsity of \(w(AB)\leq\|B\|w(B)\) for \(A=S(\varphi)\) and \(B\) commuting with \(A\). In this paper, the authors mention that the numerical radius inequalities have genesis from the power inequality. They prove that if \(A\) is a \(C_0\)-contraction with minimal function \(\varphi\) such that \(w(A)=w(S(\varphi))\), where \(w(\cdot)\) denotes the numerical radius of an operator and \(S(\varphi)\) is the compression of the shift on \(H^2\ominus\varphi H^2\) and \(B\) commutes with \(A\), then \(w(AB)\leq w(A)\|B\|\). This is in contrast to the known fact that, if \(A=S(\varphi)\), then \(w(AB)\leq\|A\|w(B)\) is not necessarily true. As a consequence, the authors deduce that \(w(AB)\leq w(A)\|B\|\) for any quadratic operator \(A\) and any \(B\) commuting with \(A\).