# Cauchy Means of the Popoviciu Type

- Matloob Anwar
^{1}, - Naveed Latif
^{1}Email author and - J. Pečarić
^{1, 2}

**2009**:628051

**DOI: **10.1155/2009/628051

© Matloob Anwar et al. 2009

**Received: **9 October 2008

**Accepted: **2 February 2009

**Published: **4 February 2009

## Abstract

We discuss log-convexity for the differences of the Popoviciu inequalities and introduce some mean value theorems and related results. Also we give the Cauchy means of the Popoviciu type and we show that these means are monotonic.

## 1. Introduction and Preliminaries

The following result was given in [4] (see also [5]).

Theorem 1.1.

Remark 1.2.

For extension of Theorem 1.1 see (cf. [4]).

Popoviciu ([6–8], [9, pages 214-215]) has proved the following results.

Theorem 1.3.

Theorem 1.4.

Let be continuous and convex, and let be convex of order such that for .

With the help of the following useful lemmas we prove our results.

Lemma 1.5.

Then , that is, is convex for .

The following lemma is equivalent to definition of convex function (see [9, page 2]).

Lemma 1.6.

We quote here another useful lemma from log-convexity theory (cf. [4]).

Lemma 1.7.

holds for each real and

The following lemma given in [10] gives the relation between Beta function and Hypergeometric function .

Lemma 1.8.

The paper is organized in the following way. After this introduction, in the second section we discuss the log-convexity of differences of the Popoviciu inequalities (1.4), (1.7), and (1.8). In the third section we introduce some mean value theorems and the Cauchy means of the Popoviciu-type and discuss its monotonicity.

## 2. Main Results

Theorem 2.1.

and let be positive.

Proof.

This implies is continuous, therefore it is log-convex.

which is equivalent to (2.2).

Theorem 2.2.

Proof.

Since by Theorem 2.1, is log-convex, we can set in (2.12):

and after applying exponential function, we get (2.11).

Theorem 2.3.

and let be positive.

Proof.

As in the proof of Theorem 2.1, we use Theorem 1.4 instead of Theorem 1.3.

Theorem 2.4.

Proof.

Similar to the proof of Theorem 2.2.

Lemma 2.5.

Proof.

Theorem 2.6.

Let be convex of order such that for , be defined in (1.5) and let defined in (2.20) be positive.

Proof.

As in the proof of Theorem 2.1, we use Theorem 1.4 instead of Theorem 1.3.

Theorem 2.7.

Proof.

Similar to the proof of Theorem 2.2.

## 3. Cauchy Means

Let us note that (2.11) has the form of some known inequalities between means (e.g., Stolarsky's means, etc.). Here we prove that expressions on both sides of (2.11) are also means.

Lemma 3.1.

are convex functions.

Theorem 3.2.

Proof.

By combining (3.4) and (3.5) and using the fact that for there exists such that we get (3.2).

Theorem 3.3.

Provided that denominators are non-zero.

Proof.

Since and satisfy (3.2), therefore as linear combination of and should also satisfy (3.2).

After putting values, we get (3.7).

Corollary 3.4.

where and .

Proof.

Set and in (3.7) we get (3.15).

Remark 3.5.

The expression on the right-hand side of (3.17) is also a mean.

for . Moreover we can extend these means in other cases. By limit we have

In our next result we prove that this new mean is monotonic.

Theorem 3.6.

Proof.

Since is log-convex, therefore by (2.11) we get (3.21).

Remark 3.7.

Similar results of the Cauchy means and related results can also proved for Theorems 2.3 and 2.6.

## Declarations

### Acknowledgments

This research work is funded by Higher Education Commission Pakistan. The research of the third author is supported by the Croatian Ministry of Science, Education and Sports under the Research Grants 117-1170889-0888.

## Authors’ Affiliations

## References

- Hardy GH, Littlewood JE, Pôlya G:
*Inequalities*. Cambridge University Press, Cambridge, UK; 1978.MATHGoogle Scholar - Mitrinović DS:
*Analytic Inequalities*. Springer, New York, NY, USA; 1970:xii+400.View ArticleMATHGoogle Scholar - Rossberg H-J, Jesiak B, Siegel G:
*Analytic Methods of Probability Theory, Mathematische Lehrbücher und Monographien, Abteilung 2: Mathematische Monographien*.*Volume 67*. Akademie, Berlin, Germany; 1985:311.Google Scholar - Simic S:
**On logarithmic convexity for differences of power means.***Journal of Inequalities and Applications*2007,**2007:**-8.Google Scholar - Anwar M, Pečarić :
**On logarithmic convexity for differences of power means and related results.***Mathematical Inequalities & Applications*2009,**12**(1):81–90.MathSciNetView ArticleMATHGoogle Scholar - T. Popoviciu :
**Sur quelques inégalités entre les fonctions convexes—I.***Comptes Rendus des Séances de l'Institut des Sciences de Roumainie*1938, (2):449–454.Google Scholar - T. Popoviciu :
**Sur quelques inégalités entre les fonctions convexes—II.***Comptes Rendus des Séances de l'Institut des Sciences de Roumainie*1938, (2):454–458.Google Scholar - T. Popoviciu :
**Sur quelques inégalités entre les fonctions convexes—III.***Comptes Rendus de l'Academie des Sciences de Roumanie*1939, (3):396–402.Google Scholar - Pečarić J, Proschan F, Tong YL:
*Convex Functions, Partial Orderings, and Statistical Applications, Mathematics in Science and Engineering*.*Volume 187*. Academic Press, Boston, Mass, USA; 1992:xiv+467.MATHGoogle Scholar - Krnić M:
**Hilbert inequality and Gausian hypergeometric functions.**to appear in*Journal of Mathematical Inequality*to appear in Journal of Mathematical Inequality

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.