Numerical ranges of the powers of an operator (Q2267467)

From MaRDI portal
Revision as of 06:30, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Numerical ranges of the powers of an operator
scientific article

    Statements

    Numerical ranges of the powers of an operator (English)
    0 references
    0 references
    0 references
    1 March 2010
    0 references
    For a bounded linear operator \(A\) on a complex Hilbert space \(H\) with inner product \(\langle\cdot,\cdot\rangle\), its numerical range \(W(A)\), numerical radius \(w(A)\) and Crawford number \(c(A)\) are defined by \[ W(A)= \{\langle Ax,x\rangle: x\in H,\;\| x\|= 1\},\quad w(A)= \sup\{|z|: z\in W(A)\} \] and \[ c(A)= \text{inf}\{|z|: z\in W(A)\}, \] respectively. In this paper, results are derived which relate \(W(A^k)\), \(w(A^k)\) and \(c(A^k)\) (for \(k\) a positive integer or a negative integer if \(A\) is invertible) to \(W(A)\), \(w(A)\) and \(c(A)\). More specifically, it is shown for \(k\geq 1\) that {\parindent=6mm \begin{itemize}\item[(1)] \(W(A^k)\) is contained in \(W(\widetilde A)^k\), where \(\widetilde A= A\oplus uA\oplus\cdots\oplus u^{k-1} A\), \(u= \exp(2\pi i/k)\) and \(W(\widetilde A)^k\) denotes the convex set \(\{z^k: z\in W(\widetilde A)\}\), \item[(2)] if \(W(A)\) is contained in the circular segment \(\{z\in\mathbb{C}:|z|\leq 1,\,\text{Re\,}z\geq \cos\varphi\}\) \((0<\varphi\leq\pi/2)\), then \(W(A^k)\) is contained in \(\{z\in\mathbb{C}: |z|\leq 1\), \(\text{Re\,}z\geq \cos(k\varphi)\}\) for \(\lceil k/2\rceil\leq \pi/(2\varphi)\), \item[(3)] if \(c(A)= w(A)\cos\varphi\) \((0< \varphi\leq \pi/2)\), then \(c(A^k)\geq w(A^k)\cos(k\varphi)\) for \(k\leq \pi/(2\varphi)\), and \item[(4)] if \(c(A)\geq w(A)\cos(\pi/(2k))\), then \(c(A)^k\geq c(A^k)\). \end{itemize}} In the case of \(A\) invertible, the authors obtain \(c(A^{-1})\geq c(A)/w(A)^2\) and \(w(A^{-k})\geq w(A)^{-k}\) for all \(k\geq 1\). In the latter, the equality holds if and only if \(A\) is a nonzero multiple of a unitary operator. This is a generalization of a result of Stampfli that if \(A\) is invertible such that \(w(A)= w(A^{-1})= 1\), then \(A\) is unitary.
    0 references
    numerical range
    0 references
    numerical radius
    0 references
    Crawford number
    0 references
    bounded linear operator
    0 references
    Hilbert space
    0 references

    Identifiers