Some operator convex functions of several variables (Q744109): Difference between revisions

\textit{E. G. Effros} [Proc. Natl. Acad. Sci. USA 106, No. 4, 1006--1008 (2009; Zbl 1202.81018)] introduced the perspective of a matrix convex function and proved that it is jointly matrix convex. \textit{E. G. Effros} and \textit{F. Hansen} [Ann. Funct. Anal. 5, No. 2, 74--79 (2014; Zbl 1308.47014)] studied the perspectives of regular mappings. Continuing the subject, \textit{F. Hansen} [Linear Algebra Appl. 461, 123--138 (2014; Zbl 1308.47022)] introduced the notion of regular operator mappings of several variables and investigated the related perspectives. In the present article, the author applies the concept of regular operator mappings and perspectives to prove the operator concavity of some several variable functions. In particular, it is shown that, if \(0< p\leq 1\), then the function \[ G(s,t)=\begin{cases} \frac{t^{p+1}-s^{p+1}}{t-s} & t\neq s,\\ \frac{1}{p+1}t^p & t=s,\end{cases} \] defined in \((0,\infty)\times(0,\infty)\), is operator concave. The author also proves that, if \(0<p\leq 1\) and \(f(t)=t^{p+1}\) defined on \((0,\infty)\), then the Fréchet differential mapping \(A\mapsto df(A)\) is concave on the set of positive operators. Moreover, the operator concavity of some three variable functions is presented as well.