Strong monotonicity for various means (Q403304)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strong monotonicity for various means |
scientific article |
Statements
Strong monotonicity for various means (English)
0 references
29 August 2014
0 references
A scalar mean is a symmetric and homogeneous continuous non-negative function \(M : [0, \infty)^2 \to \mathbb R^{\geq 0}\) such that (i) \(M (s, t) = M (t, s)\), (ii) \(M (rs, rt) = rM (s, t)\) (\(r > 0\)), (iii) \(M (s, t)\) is non-decreasing in \(s\) and \(t\), (iv) \(\min(s, t) \leq M (s, t) \leq \max(s, t)\). Assume that \(\mu\) is a probability measure on \(\mathbb R\). Then \(\mu\) is called infinitely divisible if \(\mu = \mu_1 \ast \dots \ast \mu_n\), where \(n \in \mathbb N\), \(\ast\) is the convolution product and \(\mu_n\) are probability measures. In the paper under review, the author studies norm comparison for operator means with the power difference means, binomial means and Stolarsky means. For instance, the ratio \(B_\alpha (e^{2t} , 1)/B_\beta (e^{2t} , 1)\) is infinitely divisible for \(\beta \geq \alpha\), where \[ B_\alpha (s, t) =\left(\frac{s^\alpha + t^\alpha} {2}\right)^\frac1\alpha \] is the binomial mean. In continuation, the author proves that, for Hilbert space operators \(H, K, X\) with \(H, K \geq 0\) and unitarily invariant norm \(||| \cdot |||\), the function \[ \alpha \in \mathbb R \mapsto |||B_\alpha (H, K)X||| \] is increasing.
0 references
infinitely divisible function
0 references
Lévy-Khintchine formula
0 references
operator mean
0 references
positive definite function
0 references