Related papers: Functions preserving operator means
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…
It is well known that increasing functions do not preserve operator order in general; nor do decreasing functions reverse operator order. However, operator monotone increasing or operator monotone decreasing do. In this article, we employ a…
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…
Let $f$ be a function on a bounded domain $\Omega \subseteq \mathbb{R}^n$ and $\delta$ be a positive function on $\Omega$ such that $B(x,\delta(x))\subseteq \Omega$. Let $\sigma(f)(x)$ be the average of $f$ over the ball $B(x,\delta(x))$.…
Let $A,B\in \mathbb{B}(\mathscr{H})$ be such that $0<b_{1}I \leq A \leq a_{1}I$ and $0<b_{2}I \leq B \leq a_{2}I$ for some scalars $0<b_{i}< a_{i},\;\; i=1,2$ and $\Phi:\mathbb{B}(\mathscr{H})\rightarrow\mathbb{B}(\mathscr{K})$ be a…
We examine properties of Gelfand-Shilov spaces $S_s$, $S^\sigma$, $S^\sigma_s$, $\Sigma_s$, $\Sigma^\sigma$ and $\Sigma^\sigma_s$. These are spaces of smooth functions where the functions or their Fourier transforms admit sub-exponential…
Using the properties of geometric mean, we shall show for any $0\le \alpha ,\beta \le 1$, \[f\left( A{{\nabla }_{\alpha }}B \right)\le f\left( \left( A{{\nabla }_{\alpha }}B \right){{\nabla }_{\beta }}A \right){{\sharp}_{\alpha }}f\left(…
The main goal of this work is to determine which entire functions preserve nonnegativity of matrices of a fixed order $n$ -- i.e., to characterize entire functions $f$ with the property that $f(A)$ is entrywise nonnegative for every…
Let $X$ be a centered Gaussian random variable in a separable Hilbert space ${\mathbb H}$ with covariance operator $\Sigma.$ We study a problem of estimation of a smooth functional of $\Sigma$ based on a sample $X_1,\dots ,X_n$ of $n$…
Let $\sigma$ be an operator mean in the sense of Kubo and Ando. If the representation function $f$ of $\sigma$ satisfies $f_\sigma (t)^p\le f_\sigma(t^p) \text{ for all } p>1,$ then the operator mean is called a pmi mean. Our main interest…
This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…
In this note, some inequalities involving operator means of sectorial matrices are proved which are generalizations and refinements of previous known results. Among them, let $A$ and $B$ be two accretive matrices with…
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…
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…
We study operator log-convex functions on $(0,\infty)$, and prove that a continuous nonnegative function on $(0,\infty)$ is operator log-convex if and only if it is operator monotone decreasing. Several equivalent conditions related to…
We prove that a continuous function $f:(0,\infty) \to (0,\infty)$ is operator monotone increasing if and only if $f(A \: !_t \: B) \leqs f(A) \: !_t \: f(B)$ for any positive operators $A,B$ and scalar $t \in [0,1]$. Here, $!_t$ denotes the…
We show that a compact operator $A$ is a multiple of a positive semi-definite operator if and only if $$ \sigma(AB) \subseteq \overline{W(A)W(B)}, \quad\text{for all (rank one) operators $B$}. $$ An example of a normal operator is given to…
Let (M,\mu) be a sigma-finite measure space. Let (T_t) be a semigroup of positive preserving maps on (M,\mu) with standard assumptions. We prove a H_1-BMO duality theory with assumptions only on T_t. The BMO is defined as spaces of…
It is an open problem whether a separating operator acting between semiprime f-algebras is a weighted composition operator ( <cite>AAB</cite>). We prove that the answer is positive if and only if the separating operator is almost…
We consider some multivariate rational functions which have (or are conjectured to have) only positive coefficients in their series expansion. We consider an operator that preserves positivity of series coefficients, and apply the inverse…