Related papers: Fonctions arithm\'etiques multiplicativement monot…

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…

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…

The problem is considered as to whether a monotone function defined on a subset P of a Euclidean space can be strictly monotonically extended to the whole space. It is proved that this is the case if and only if the function is {\em…

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.…

In this article, we study exponents which preserve complete monotonicity of functions on lattices. We prove that for any completely monotone function $f$ on a finite lattice, $f^\alpha$ is completely monotone for all $\alpha\geq c$, where…

Let v be a multiplicative arithmetic function with support of positive asymptotic density. We prove that for any not identically zero arithmetic function f such that \sum_{f(n) \neq 0} 1 / n < \infty, the support of the Dirichlet…

We consider two operations on the Mittag-Leffler function which cancel the exponential term in the expansion at infinity, and generate a completely monotonic function. The first one is the action of a certain differential-difference…

We prove that a multiplicative function $f:\mathbb{N}\to\mathbb{C}$ is Toeplitz if and only if there are a Dirichlet character $\chi$ and a finite subset $F$ of prime numbers such that $f(n)=\chi(n)$ for each $n$ which is coprime to all…

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…

We mainly establish a monotonicity property between some special Riemann sums of a convex function $f$ on $[a,b]$, which in particular yields that $\frac{b-a}{n+1}\sum_{i=0}^n f\left(a+i\frac{b-a}{n}\right)$ is decreasing while…

We simplify the proof of some widely used theoretical theorems, extending their applicability, while correcting some erroneous results. We also generalize key results and present new results that contribute to the development of the theory.…

Associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=f^{(-1)}(T^*(f(x),f(y)))$ where $T^*:[0,1]^2\rightarrow[0,1]$ is an associative function with neutral element in $[0,1]$, $f: [0,1]\rightarrow [0,1]$ is…

We give some necessary and some sufficient conditions for the complete monotonicity on the negative half-line of a Mittag-Leffler function of Le Roy type. It is conjectured that the underlying positive random variable, when it exists, must…

Based on a sequence of numerical computations, a conjecture is presented regarding the class of functions $H(x;a)=\exp(a)-(1+a/x)^x$, and the open problem of determining the values of $a$ for which the functions are completely monotonic…

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) =…

If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The…

In this paper, the algebra of the differences of two multiply monotone functions on $\mathbb{R}_+=(0,+\infty)$ is studied. A sufficient condition for the function $f_0\big(|x|_{p,d}\big)$, where…

Let $s_0,s_1,s_2,\ldots$ be a sequence of rational numbers whose $m$th divided difference is integer-valued. We prove that $s_n$ is a polynomial function in $n$ if $s_n \ll \theta^n$ for some positive number $\theta$ satisfying $\theta <…

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…

In the paper, the authors concisely survey and review some functions involving the gamma function and its various ratios, simply state their logarithmically complete monotonicity and related results, and find necessary and sufficient…