Estimates of operator convex and operator monotone functions on bounded intervals (Q340996): Difference between revisions

A bounded linear operator \(A\) on a complex Hilbert space \(\mathcal H\) is said to be \textit{positive} if \(\langle Ax,x \rangle \geq 0\) for all \(x \in {\mathcal H}\) and this will be denoted by \(A \geq 0\). For self-adjoint operators \(A\) and \(B\) on \(\mathcal H\), we write \(A \leq B\) if \(B-A \geq 0\). Strict inequality will be used when \(B-A\) is invertible. Let \(f\) be a real-valued function defined on an interval \(J\) and \(A, B\) be self-adjoint operators on \(\mathcal H\) whose spectra lie in \(J\). Then \(f\) is called \textit{operator monotone} if one has \(f(A) \leq f(B)\); \(f\) is said to be \textit{operator convex} if for all \(\lambda \in [0,1]\), one has that \(f(\lambda A + (1-\lambda)B) \leq \lambda f(A) + (1-\lambda)f(B)\). The definitions for strict operator monotone functions and strict operator convex functions are analogous. It is shown that any operator convex function on a finite interval is operator convex on that interval. A short proof for a similar result in connection with an operator monotone function on the positive real axis is presented. An estimation of the Furuta inequality is also given.