arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.15242

Integral Representations and Sharp Numerical Radius Inequalities for Hilbert Space Operators

Wasim Audeh·Fuad Kittaneh·Hamid Reza Moradi
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the numerical radius \(ω(T)\) of a bounded linear operator \(T\) on a complex Hilbert space. Write \(T=A+iB\), where \(A\) and \(B\) are the real and imaginary parts of \(T\). A central result is the exact formula \[ ω(T)=\fracπ{2}\sup_{\|x\|=1}\int_0^1 \left|\left\langle (A\cos πt+B\sin πt)x,x\right\rangle\right|\,dt . \] For every \(n\in\mathbb N\), we also prove the power form \[ ω^{2n}(T)=\frac{4^n}{\binom{2n}{n}} \sup_{\|x\|=1}\int_0^1 \left\langle (A\cos πt+B\sin πt)x,x\right\rangle^{2n}\,dt . \] This yields sharp upper bounds; for \(n=1\), together with the matching integral lower bound, it recovers Kittaneh's classical two-sided inequality \[ \frac14\|T^*T+TT^*\|\le ω^2(T)\le \frac12\|T^*T+TT^*\|. \] Furthermore, we obtain exact numerical radius formulas for some block operator matrices, including a \(3\times3\) nilpotent matrix and longer alternating paths. The factor \(π/2\) is best possible.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Wasim Audeh, Fuad Kittaneh, Hamid Reza Moradi. 2026-10-11. Integral Representations and Sharp Numerical Radius Inequalities for Hilbert Space Operators. https://arxiv.org/abs/2610.15242

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Beurling and Model subspaces invariant under a universal operator

We classify the Beurling and model subspaces of the Hardy space $H^2(\mathbb D)$ that are invariant under the composition operators $C_{ϕ_a}$, where $ϕ_a(z)=az+1-a$ and $0<a<1$. These operators have universal translates in the sense of Rota and provide a function-theoretic approach to the Hilbert space Invariant Subspace Problem. For each fixed $a$, a Beurling subspace $ΘH^2$ is invariant precisely when \[ Θ(z)=λB(z)\exp\left(-c\,\frac{1+z}{1-z}\right), \qquad |λ|=1,\quad c\ge0, \] where $B$ is a possibly constant Blaschke product satisfying $m_B(w)\le m_B(ϕ_a(w))$ for every $w\in\mathbb D$, with $m_B$ denoting zero multiplicity. For every affine self-map $ϕ(z)=αz+β$ with $0<|α|<1$, we show that the nonzero invariant model spaces are exactly the spaces of polynomials of bounded degree. We also recover the corresponding Beurling and model subspace classifications for the classical Cesàro operator. Finally, we characterize when a cyclic invariant subspace contains a nonzero function analytic across $1$ through its intersections with model spaces whose boundary spectra omit $1$, and exhibit an infinite-dimensional cyclic subspace containing an eigenvector but no such analytic function.

math.FA↗
arXiv2026

Connectedness properties of small minimal clusters in Riemannian or Finsler manifolds

We prove that in a compact Riemannian manifold, the $m$-minimal clusters of sufficiently small total volume are connected and with small diameter, while in a more general Finsler manifold they are done by at most $m$ connected components of small diameter. We apply these results to calculate the asymptotic expansion of the multi-isoperimetric profile at the first nontrivial order, for small volumes.

math.FA↗
arXiv2026

Connections between Essential Norm, Bhatia-Šemrl Property and Strong Subdifferentiability of Operators on Banach Spaces

We study Birkhoff-James orthogonality in spaces of bounded linear operators between Banach spaces through the Bhatia-Šemrl property. We investigate the interplay among three key properties of bounded linear operators: strong subdifferentiability, the Bhatia-Šemrl property, and the condition that the essential norm is strictly less than the operator norm. If $X$ is a Banach space with a $1$-unconditional basis and $Y$ is any Banach space, we show that every nonzero operator $T \in B(X, Y)$ satisfying the Bhatia-Šemrl property satisfies $\|T\|_e<\|T\|$. We identify a class of pairs of Banach spaces $X$ and $Y$ for which the inequality $\|T\|_e<\|T\|$ can be characterized in terms of strong subdifferentiability of the operator norm at $T$ and compactness of the norm attainment set of $T$. We also study norm one projections satisfying the Bhatia-Šemrl property and provide examples of operators that possess this property.

math.FA↗