Related papers: Monotone trace functions of several variables
In this paper, we prove a trace inequality $\text{Tr}[ f(A) A^s B^s ] \leq \text{Tr}[ f(A) (A^{1/2} B A^{1/2} )^s ]$ for any positive and monotone increasing function $f$, $s\in[0,1]$, and positive semi-definite matrices $A$ and $B$. On the…
In metric measure spaces, we study boundary traces of BV functions in domains equipped with a doubling measure and supporting a Poincar\'e inequality, but possibly having a very large and irregular boundary. We show that the trace exists in…
Recently, the authors studied the connection between each maximal monotone operator T and a family H(T) of convex functions. Each member of this family characterizes the operator and satisfies two particular inequalities. The aim of this…
A monotone function interval is the set of monotone functions that lie pointwise between two fixed monotone functions. We characterize the set of extreme points of monotone function intervals and apply this to a number of economic settings.…
The dominant method for defining multivariate operator means is to express them as fix-points under a contraction with respect to the Thompson metric. Although this method is powerful, it crucially depends on monotonicity. We are developing…
We extend Hardy's inequality from sequences of non-negative numbers to sequences of positive semi-definite operators if the parameter p satisfies 1<p<=2, and to operators under a trace for arbitrary p>1. Applications to trace functions are…
We describe a type of n-point function associated to strongly regular vertex operator algebras V and their irreducible modules. Transformation laws with respect to the Jacobi group are developed for 1-point functions. For certain elements…
We consider the space of convex functions defined in the Euclidean $n$-dimensional space, which are lower semi-continuous and tend to infinity at infinity. We study real-valued valuations defined on this space of functions, which are…
We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of Lieb type $\mathrm{Tr}\,f(\Phi(A^p)^{1/2}\Psi(B^q)\Phi(A^p)^{1/2})$ and symmetric (anti-) norm functions of the form…
We consider the problem of testing equality of functions $f_j:[0,1]\to \mathbb{R}$ for $j=1,2,...,J$ the basis of $J$ independent samples from possibly different distributions under the assumption that the functions are monotone. We provide…
We prove two conjectures on correlation inequalities for functions that are linear combinations of unimodal Boolean monotone nondecreasing functions
In statistical modeling of computer experiments sometimes prior information is available about the underlying function. For example, the physical system simulated by the computer code may be known to be monotone with respect to some or all…
For \Omega a C^{2}-smooth domain, and a positive bounded continuous map a \in C(\Omega), we prove existence of a minimizer of the functional u \mapsto $\int_{\Omega} a|Du| over the space BV(\Omega) of functions of bounded variation with…
In this paper our aim is to prove some monotonicity and convexity results for the modified Struve function of the second kind by using its integral representation. Moreover, as consequences of these results, we present some functional…
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…
Inequalities play an important role in pure and applied mathematics. In particular, Jensen's inequality, one of the most famous inequalities, plays a main role in the study of the existence and uniqueness of initial and boundary value…
We generalize the phenomenon of continuation from complex anal- ysis to locally operator monotone functions. Along the lines of the egde-of- the-wedge theorem, we prove continuations exist dependent only on geometric features of the domain…
Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of set-valued mappings between function spaces. This paper deals with the computational properties of certain…
In this paper we initiate the study of real operator monotonicity for functions of tuples of operators, which are multivariate structured maps with a functional calculus called free functions that preserve the order between real parts (or…
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)$.…