×

Mean-value inequalities for the polygamma functions. (English) Zbl 0968.33003

The polygamma functions are derivatives of the logarithmic derivative \(\psi\) of the gamma function. As one of the main results necessary and sufficient conditions are offered for the inequality \(|\psi^{(k)} [M^r (\mathbf{x},\mathbf{p})]|\leq M^s (|\psi^{(k)}(\mathbf{x)}|,\mathbf{p})\) to hold for all \(\mathbf{x}=(x_1,\dots ,x_n)\in ]0,\infty[^n\), \(\mathbf{p}=(p_1,\dots ,p_n)\in\{\mathbf{p}\in]0,\infty[^n\mid p_1 +\dots +p_n =1\}\) \(k\geq 1, n\geq 2\) fixed integers), where \(M^t(\mathbf{x},\mathbf{p})\) is the \(t\)-th power mean of \(x_1,\dots ,x_n\) with weights \(p_1,\dots ,p_n\) (including the weighted geometric mean if \(t=0\)). If these conditions connecting \(r\) and \(s\) are satisfied then there is equality in the above inequality iff \(x_1=\dots =x_n.\)

MSC:

33B15 Gamma, beta and polygamma functions
26D15 Inequalities for sums, series and integrals
Full Text: DOI