Elementary proof of Petz-Hasegawa theorem (Q692862)

An operator \(T\) on a Hilbert space \(\mathcal H\) is said to be \textit{positive} if \(\langle Tx,x \rangle \geq 0\) for all \(x \in {\mathcal H}\). This is denoted by \(T \geq 0\). If \(T - S \geq 0\), then we write \(T \geq S\). A real-valued continuous function \(f:(0,\infty) \rightarrow \mathbb{R}\) is called \textit{operator monotone} if \(f(T) \geq f(S)\) whenever \(T \geq S\). The author presents an elementary proof of the result that \[ f_p(t):=p(1-p) \frac{(t-1)^2}{(t^p-1)(t^{1-p}-1)}, ~~t \in (0,\infty), \] is operator monotone for \(-1 \leq p \leq 2\).