Let $ E$ be a complex Hilbert space, with inner product $ \langle\cdot\;, \;\cdot\rangle$ and the norm $ \|\cdot\|$ and let $ \mathcal{L}(E)$ the algebra of all bounded linear operators from $ E$ to $ E$ . Let $ T\in \mathcal{L}(E)$ .
We recall for $ S=(S_1,S_2)\in \mathcal{L}(E)^2$ , the numerical range of $ S$ is defined as $ $ W(S)=\{(\langle S_1 x\;,\;x\rangle,\langle S_2 x ,\;x\rangle)\,;\,x \in E,\;\;\|x\|=1\}.$ $ We say that $ S=(S_1,S_2)$ satisfy the convex property $ (^*)$ if $ \forall\;\lambda_1,\lambda_2\in W(S)$ , and for any point $ \lambda_3$ on the line segment joining $ \lambda_1$ and $ \lambda_2$ , $ \exists\,\alpha,\,\beta\in \mathbb{C}$ such that $ \|\alpha x+\beta y\|=1$ and $ (\langle S_1(\alpha x+\beta y)\; ,\;\alpha x+\beta y\rangle,\langle S_2(\alpha x+\beta y)\; ,\;\alpha x+\beta y\rangle)=\lambda_3$ .
If $ T\in \mathcal{L}(E)$ , it is well known by the Toeplitz-Hausdorff Theorem for linear operators that $ W(T)$ is convex. One of the shortest proofs I have seen is one page by K Gustafson. Moreover, $ T$ satisfy the convex property $ (^*)$ . When I see the proof by K Gustafson, I remark that for construction of $ \alpha,\beta$ , it suffices to look at the (possibly complex) plane spanned by unit vectors $ x$ and $ y$ in order to find for any $ 0<\lambda<1$ a unit element $ z=\alpha x + \beta y$ so that $ $ (Tz|z) = \lambda (Tx|x) + (1-\lambda) (Ty|y)$ $
I see in a paper that $ W(S_1,S_2)$ is in general not convex and there are a cases in which $ W(S_1,S_2)$ is convex. My question is the following:
In the cases in which $ W(S_1,S_2)$ is convex. Do you think that $ S=(S_1,S_2)$ has the convex property $ (^*)$ or not?
I try as follows: Assume that $ W(S_1,S_2)$ is convex. Let $ \lambda_1,\lambda_2\in W(S)$ , and $ \lambda_3$ on the line segment joining $ \lambda_1$ and $ \lambda_2$ . Thus there exist $ z\in E$ such that $ \|z\|=1$ and $ (\langle S_1z\; ,\;z\rangle,\langle S_2z\; ,\;z\rangle)=\lambda_3$ . Do you think that we can show that $ z$ has the form $ \alpha x+\beta y$ or not??
Thank you!!