English

Inequalities for linear functionals and numerical radii on $\mathbf{C}^*$-algebras

Functional Analysis 2024-10-04 v1

Abstract

Let A\mathcal{A} be a unital C\mathbf{C}^*-algebra with unit ee. We develop several inequalities for a positive linear functional ff on A\mathcal{A} and obtain several bounds for the numerical radius v(a)v(a) of an element aAa\in \mathcal{A}. Among other inequalities, we show that if ak,bk,xkA a_k, b_k, x_k\in \mathcal{A}, rNr\in \mathbb{N} and f(e)=1f(e)=1, then \begin{eqnarray*} \left| f \left( \sum_{k=1}^n a_k^*x_kb_k\right)\right|^{r} &\leq& \frac{n^{r-1}}{\sqrt{2}} \left| f\left( \sum_{k=1}^n \big( (b_k^*|x_k| b_k)^{r}+ i (a_k^*|x_k^*|a_k)^{r} \big) \right) \right| \quad (i=\sqrt{-1}), \end{eqnarray*} \begin{eqnarray*} \left| f\left( \sum_{k=1}^n a_k\right)\right|^{2r} &\leq& \frac{n^{2r-1}}{2} f \left( \sum_{k=1}^n Re(|a_k|^r|a_k^*|^r) + \frac12 \sum_{k=1}^n (|a_k|^{2r}+ |a_k^*|^{2r} ) \right). \end{eqnarray*} We find several equivalent conditions for v(a)=a2v(a)=\frac{\|a\|}{2} and v2(a)=14aa+aav^2(a)={\frac{1}{4}\|a^*a+aa^*\|}. We prove that v2(a)=14aa+aav^2(a)={\frac{1}{4}\|a^*a+aa^*\|} (resp., v(a)=a2v(a)=\frac{\|a\|}{2}) if and only if S12aa+aa1/2V(a)D12aa+aa1/2\mathbb{S}_{\frac12{ \| a^*a+aa^*\|}^{1/2}} \subseteq V(a) \subseteq \mathbb{D}_{\frac12 {\| a^*a+aa^*\|}^{1/2}} (resp., S12aV(a)D12a\mathbb{S}_{\frac12 \| a\|} \subseteq V(a) \subseteq \mathbb{D}_{\frac12 \| a\|}), where V(a)V(a) is the numerical range of aa and Dk\mathbb{D}_k (resp., Sk\mathbb{S}_k) denotes the circular disk (resp., semi-circular disk) with center at the origin and radius kk. We also study inequalities for the (α,β)(\alpha,\beta)-normal elements in A.\mathcal{A}.

Keywords

Cite

@article{arxiv.2410.02435,
  title  = {Inequalities for linear functionals and numerical radii on $\mathbf{C}^*$-algebras},
  author = {Pintu Bhunia},
  journal= {arXiv preprint arXiv:2410.02435},
  year   = {2024}
}

Comments

22 pages

R2 v1 2026-06-28T19:06:55.050Z