Alzer Inequality for Hilbert Spaces Operators

Abstract

In this paper, we give the Alzer inequality for Hilbert space operators as follows: Let $A, B$ be two selfadjoint operators on a Hilbert space $\mathcal H$ such that $0 < A, B \le \frac{1}{2}I$, where $I$ is identity operator on $\mathcal H$. Also, assume that $A \nabla_λB:=(1-λ)A+λB$ and $A \sharp_λB:=A^{\frac{1}{2}}\left(A^{-\frac{1}{2}}BA^{-\frac{1}{2}}\right)^λA^{\frac{1}{2}}$ are arithmetic and geometric means of $A, B$, respectively, where $0 < λ< 1$. We show that if $A$ and $B$ are commuting, then $$ B'~\nabla_λ~A' - B'~\sharp_λ~A' \le A~\nabla_λ~B - A~\sharp_λ~B\,, $$ where $A':=I-A$, $B':=I-B$ and $0 < λ\le \frac{1}{2}$. Also, we state an open problem for an extension of Alzer inequality.