Related papers: A Characterisation of Anti-Lowner Functions

The operator monotone functions defined in the positive half-line are of particular importance. We give a version of the theory in which integral representations for these functions can be established directly without invoking L\"owner's…

Given a function $f: (a,b) \rightarrow \mathbb{R},$ L\"owner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In…

We characterize real functions $f$ on an interval $(-\alpha,\alpha)$ for which the entrywise matrix function $[a_{ij}] \mapsto [f(a_{ij})]$ is positive, monotone and convex, respectively, in the positive semidefiniteness order. Fractional…

In this paper we establish a multivariable non-commutative generalization of L\"owner's classical theorem from 1934 characterizing operator monotone functions as real functions admitting analytic continuation mapping the upper complex…

This paper concerns three classes of real-valued functions on intervals, operator monotone functions, operator convex functions, and strongly operator convex functions. Strongly operator convex functions were previously treated in [3] and…

Operator monotone functions, introduced by Lowner in 1934, are an important class of real-valued functions. They arise naturally in matrix and operator theory and have various applications in other branches of mathematics and related…

Let $A$ be a positive definite operator on a Hilbert space $H$, and $|||.|||$ be a unitarily invariant norm on $B(H)$. We show that if $f$ is an operator monotone function on $(0,\infty)$ and $n\in \mathbb{N}$, then $|||D^n…

The matrix convexity and the matrix monotony of a real $C^1$ function $f$ on $(0,\infty)$ are characterized in terms of the conditional negative or positive definiteness of the Loewner matrices associated with $f$, $tf(t)$, and $t^2f(t)$.…

Let $\varphi$ be a normal state on the algebra $B(H)$ of all bounded operators on a Hilbert space $H$, $f$ a strictly positive, continuous function on $(0, \infty)$, and let $g$ be a function on $(0, \infty)$ defined by $g(t) =…

A real arithmetic function f is multiplicatively monotonous if f (mn) -- f (m) has constant sign for m, n positive integers. Properties and examples of such functions are discussed, with applications to positive hermitian…

We prove generalizations of L\"owner's results on matrix monotone functions to several variables. We give a characterization of when a function of $d$ variables is locally monotone on $d$-tuples of commuting self-adjoint $n$-by-$n$…

In this paper we show that for a non-negative operator monotone function $f$ on $[0, \infty)$ such that $f(0)= 0$ and for any positive semidefinite matrices $A$ and $B$, $$ Tr((A-B)(f(A)-f(B))) \le Tr(|A-B|f(|A-B|)). $$ When the function…

Recently the behavior of operator monotone functions on unbounded intervals with respect to the relation of strictly positivity has been investigated. In this paper we deeply study such behavior not only for operator monotone functions but…

We show that the symmetrized product $AB+BA$ of two positive operators $A$ and $B$ is positive if and only if $f(A+B)\leq f(A)+f(B)$ for all non-negative operator monotone functions $f$ on $[0,\infty)$ and deduce an operator inequality. We…

If $\sigma$ is a symmetric mean and $f$ is an operator monotone function on $[0, \infty)$, then $$f(2(A^{-1}+B^{-1})^{-1})\le f(A\sigma B)\le f((A+B)/2).$$ Conversely, Ando and Hiai showed that if $f$ is a function that satisfies either one…

We adapt the "royal road" method used to simplify automatic analyticity theorems in noncommutative function theory to several complex variables. We show that certain families of functions must be real analytic if they have certain nice…

Let $\phi(x)=\sum \alpha_n x^n$ be a formal power series with real coefficients, and let $D$ denote differentiation. It is shown that "for every real polynomial $f$ there is a positive integer $m_0$ such that $\phi(D)^mf$ has only real…

The classical Loewner's theorem states that operator monotone functions on real intervals are described by holomorphic functions on the upper half-plane. We characterize local order isomorphisms on operator domains by biholomorphic…

For positive definite matrices $A$ and $B$, the Kubo-Ando matrix power mean is defined as $$ P_\mu(p, A, B) = A^{1/2}\left(\frac{1+(A^{-1/2}BA^{-1/2})^p}{2}\right )^{1/p} A^{1/2}\quad (p \ge 0). $$ In this paper, for $0\le p \le 1 \le q$,…

We generalize Loewner's method for proving that matrix monotone functions are operator monotone. The relation x \leq y on bounded operators is our model for a definition for C*-relations of being residually finite dimensional. Our main…