Some results on Kwong functions and related inequalities (Q2435422)

From MaRDI portal
Revision as of 22:23, 2 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Some results on Kwong functions and related inequalities
scientific article

    Statements

    Some results on Kwong functions and related inequalities (English)
    0 references
    0 references
    19 February 2014
    0 references
    A continuous real-valued function \(g\) defined on an interval \((a, b)\) with \(a \geq 0\) is called Kwong if the matrix whose \(ij\)-entry is \(\frac{g(\lambda_i)+g(\lambda_j)}{\lambda_i+\lambda_j}\) is positive semidefinite for any distinct real numbers \(\lambda_1, \dots, \lambda_n\) in \((a, b)\). The author proves that a continuous function \(f\) on \((0, \infty)\) is a Kwong function if and only if \(A B + BA \geq 0\) implies that \(f(A)B + Bf(A) \geq 0\) for each invertible positive operator \(A\) and positive operator \(B\). He shows that, if \(f\) is an operator monotone function on \((0,\infty)\), then \(g(x)=xf'(x)\) is Kwong. He also presents an arithmetic-geometric mean type inequality by showing that for two continuous functions \(f , g\) on \((0, \infty)\) such that \(h(t) = f (t)/g(t)\) is a Kwong function and \(f (t)g(t) \leq t\), any positive matrices \(A, B\) and any matrix \(X\), it holds that \(|||f(A)Xg(B) + g(A)Xf(B)||| \leq |||AX+XB|||\), where \(|||\cdot|||\) is a unitarily invariant norm.
    0 references
    Kwong function
    0 references
    operator monotone function
    0 references
    arithmetic-geometric mean inequality
    0 references

    Identifiers