New generalizations of Popoviciu-type inequalities via new Green's functions and Montgomery identity.

The inequality of Popoviciu, which was improved by Vasić and Stanković (Math. Balk. 6:281-288, 1976), is generalized by using new identities involving new Green's functions. New generalizations of an improved Popoviciu inequality are obtained by using generalized Montgomery identity along with new Green's functions. As an application, we formulate the monotonicity of linear functionals constructed from the generalized identities, utilizing the recent theory of inequalities for n-convex functions at a point. New upper bounds of Grüss and Ostrowski type are also computed.

Introduction

Higher order convexity was introduced by Popoviciu, who defined it under the context of divided differences of a function (see Ch.1, [2]). Inequalities of higher order convex functions are very important and many physicists used them while dealing with higher dimensions. It is interesting to note that results for convex functions may not be true for convex functions of higher order. There are remarkable changes in the results, which force to think about the existence of such results. Butt and Pečarić paid tribute to Professor T. Popoviciu in their book [3] in 2015 to commemorate 50 years to Popoviciu’s inequality. They generalized Popoviciu’s inequality for higher order convex functions and gave its applications. Also in 2015 [4], a new class of n-convex functions at a point was introduced by Pečarić, Praljak and Witkowski. They developed a remarkable theory to investigate linear operator inequalities with the help of the functions, which are n-convex at a point. This theory leads to many interesting and fascinating results with a lot of applications in operator theory and statistics. A characterization of convex functions established by Popoviciu [5] has been studied by many people (see [1, 2] and the references therein). In recent years the inequality of Popoviciu was studied in [6-9]. The following form of Popoviciu’s inequality is by Vasić and Stanković in [1] (see page 173 [2]).

Theorem 1

Let be an interval in , for integers , , consider the m-tuples , be positive m-tuples along with the condition that . Then, for being a convex function, holds, where is the linear functional with respect to ψ.

By inequality (1), we write

Remark 1

Under the assumptions of Theorem 1, for ψ being a convex function and zero for a constant and linear function.

In order to obtain our main results in the present paper, we use the generalized Montgomery identity via Taylor’s formula given in paper [10].

Theorem 2

Let , be such that is absolutely continuous, is an open interval, , . Then the following identity holds: where

In the case , the sum is empty, so identity (3) reduces to the well-known Montgomery identity (see, for instance, [11]) where is the Peano kernel defined by

Remark 2

It is important to note that for even n, as Now . As , so .

Also . As , so .

The complete reference concerning the Abel-Gontscharoff polynomial and theorem for ‘two-point right focal’ problem is given in [12]. As a special choice for , the Abel-Gontscharoff polynomial for ‘two-point right focal’ interpolating polynomial can be given as where is the Green’s function for ‘two-point right focal problem’ given as In the next section, we present our main results by introducing some new types of Green’s functions.

Main results

We start this section by our nice observation about Abel-Gontscharoff identity (5) and the related Green’s function for ‘two-point right focal problem’. Therefore, keeping in view the Abel-Gontscharoff Green’s function for ‘two-point right focal problem’, we would like to introduce some new types of Green’s functions , () defined as The graphical representations of , , are depicted in Figure 1 which shows that all four Green’s functions are continuous and symmetric. Moreover, all functions are convex with respect to both the variables z and w. These new Green’s functions enable us to introduce some new identities, stated in the form of the following lemma.

Figure 1

Graph of Green’s functions for fixed .

Lemma 1

Let be a twice differentiable function and () be the new Green’s functions defined above. Then along with (5) the following identities hold:

Proof

We can give the proofs of the above identities by following the same integrating scheme. Therefore we would like to give the proof of (12) only.

As Now by simplifying terms, we will get our identity (12). □

Remark 3

Lemma 1 gives another proof of the special case of Abel-Gontscharoff identity (5). and are new Green’s functions, but the results are not so simple as in other two cases.

The inequality of Popoviciu, which was improved by Vasić and Stanković [1], is generalized by using the above new Green’s functions. In Theorem 1 we have that () are positive real numbers. Now we give the generalization of that result for real values of () with using the new Green’s functions , , as defined in Lemma 1.

Theorem 3

Let be an interval in , for integers , , consider the tuples , q be a real m-tuple such that for any and . Also, let for any . Then the following statements are equivalent: Moreover, the statements (i) and (ii) are also equivalent if we change the sign of the inequality in both (13) and (14).

For every continuous convex function , holds, where

For all and , where for the functions .

: Let (i) be valid. Fix . Then as the functions for all k () are also continuous and convex, it follows that for these functions (13) also holds for each fix k, i.e., (14) is valid.

: Let be a convex function, and (ii) holds. Then, by Lemma 1, we can represent a function ψ in the form (5), (10), (11) and (12) for their respective fixed k. Now, by means of some simple calculations, we can write By the convexity of ψ, we have for all . Hence, if for every , (14) is valid for each , then it follows that for every convex function , with , (13) is valid.

Here we can eliminate the differentiability condition due to the fact that it is possible to approximate uniformly a continuous convex function by convex polynomials (see [2], p.172).

Analogous to the above proof, we can give the proof of the last part of our theorem. □

Next we formulate generalized identities with the help of identities defined in Lemma 1 and Fink’s identity.

Theorem 4

Let all the assumptions of Theorem  2 be valid with , and let , , , , q be a real m-tuple such that for any and . Also let for any with and , () be the same as defined in (4) and Lemma  1, respectively. Then we have the following new identities for : where and

Fix . Applying Popoviciu’s functional (2) to identities (5), (10), (11), (12) along with their respective new Green’s functions and following the properties of , we get Differentiating (3) twice with respect to the first variable, we have Using (19) in (18), we get By executing Fubini’s theorem in the last term, we have (16) respectively for .

Next, using formula (3) on the function , replacing n by () and rearranging the indices, we have Similarly, using (20) in (18) and employing Fubini’s theorem, we get (17) respectively for . □

As an application of the above obtained identities, the next theorem gives artistic generalization of Popoviciu-type inequalities for n-convex functions involving new Green’s functions.

Theorem 5

Let all the assumptions of Theorem  4 be satisfied and . Also let ψ be an n-convex function such that is absolutely continuous. Then we have the following two results:

If for , then and if for , then

Fix . Since is absolutely continuous on , exists almost everywhere. As ψ is n-convex, so for all (see [2], p.16). Hence we can apply Theorem 4 to obtain (22) and (24) respectively. □

Remark 4

Inequalities (22) and (23) hold in reverse directions if the inequalities in (21) and (23) are reversed.

Now we state the final result of this section in the form of the following theorem.

Theorem 6

In addition to the assumptions of Theorem  4, let be a positive m-tuple such that , and be an n-convex function.

For fixed , inequalities (22) and (24) hold provided that n is even and ().

For fixed , let inequality (22) be satisfied and OR (24) be satisfied and Then we have

It is clear from Figure 1 that Green’s function is convex for all , and the weights are assumed to be positive. Therefore, applying Theorem 1 and taking into account Remark 1, we can obtain for all .

and for  , so (21) and (23) hold. As ψ is n-convex, hence by following Theorem 5, we obtain (22) and (24).

Using (25) in (22) and (26) in (24), (27) is established for all . □

Applications to -convex functions at a point

In the present section we give related results for the class of -convex functions at a point introduced in [4].

Definition 1

Let be an interval, and . A function is said to be -convex at point c if there exists a constant such that the function is n-concave on and n-convex on . A function ψ is said to be -concave at point c if the function −ψ is -convex at point c.

A function is -convex on an interval if and only if it is -convex at every point of the interval (see [4]). Pečarić, Praljak and Witkowski in [4] studied necessary and sufficient conditions on two linear functionals and so that the inequality holds for every function ψ that is -convex at point c. In the present section we give inequalities of such type for the particular linear functionals obtained from the inequalities in the previous section. Let denote the monomials , . For the rest of this section, and for fixed will denote the linear functionals obtained as the difference of the L.H.S. and R.H.S. of inequality (22), applied to the intervals and , respectively, i.e., for , , and , let It is important to notify that by introducing new linear functionals for , and , identity (16) applied to the respective intervals and takes the shape: Now we are ready to state the following theorem for inequalities involving -convex function at a point.

Theorem 7

Let , , and in such a way that for , where and , () be the same as defined in Theorem  4 and Lemma  1, respectively, and let , be the linear functionals given by (29) and (30). If is -convex at point c, then we get the monotonicity If the inequalities in (33) and (34) are reversed, then (36) holds with the reversed sign of inequality.

Using Definition 1, construct the function in such a way that the function Ψ is n-concave on and n-convex on . Fix , and applying Theorem 5 to Ψ on the interval , we have Analogously applying Theorem 5 to Ψ on the interval , we get Moreover, identities (33) and (34) applied to the function gives Therefore assumption (35) is equivalent to So, from (37) and (38), we obtain the desired result. □

Remark 5

In the proof of Theorem 7, we have shown that for , More importantly, inequality (36) still holds if we replace assumption (35) with the weaker assumption that is .

We conclude this section by adding the following remark.

Remark 6

Similar results can also be given by constructing linear functionals from inequality (24) involving new Green’s functions for .

New upper bounds of Grüss and Ostrowski type for generalized identities

In the present section we use Čebyšev’s functional defined for Lebesgue integrable functions as to construct some new upper bounds.

The following inequalities of Grüss type were given in [13].

Theorem 8

Let and be an absolutely continuous function along with . Then the inequality holds with being the best possible constant.

Theorem 9

Let be an absolutely continuous function with and be a monotonic nondecreasing function. Then the inequality holds with the best possible constant .

In the sequel, we consider the above theorems to construct new estimations of generalized identities proved earlier. In what follows, we let for , and First we express some Ostrowski-type inequalities affiliated with our generalized Popoviciu’s inequality.

Theorem 10

Consider the suppositions of Theorem  4 be satisfied. Let be an R-integrable function for some with such that . Then, for , we have The constants on the R.H.S. of (46) and (47) are sharp for and best possible for .

Fix . Rearrange identity (16) in such a way that Employing the classical Holder’s inequality to R.H.S. of (48) yields (46). The proof for sharpness is similar to Theorem 3.5 in [14] (see also [15]).

The proof of (47) is similar to that of (46), but we utilize identity (17) instead of (16). □

Next we give some upper bounds of Grüss type.

Theorem 11

Consider the suppositions of Theorem  4 be fulfilled. Also let be absolutely continuous with such that , () defined in (44) and (45) respectively. Then the remainders , given in the following identities satisfy the bounds and respectively.

Fix . Using Čebyšev’s functional for , and by comparing (49) with (16), we have Now applying Theorem 8 for the corresponding functions, we get the required bound.

Similarly, by comparing (50) with identity (17), we get the respective bound. □

Theorem 12

Consider the suppositions of Theorem  4 be fulfilled, and let on with , () defined in (44) and (45), respectively. Then in representation (49) the remainder satisfies the estimation whereas in representation (50) the remainder satisfies the estimation

Fix . We have established Now applying Theorem 9 for and , we have Simplifying the integral on R.H.S. of (53), we get the estimation in (52). □

Mean value theorems and n-exponential convexity

In the present section, we construct positive linear functionals and then give mean value theorems of Lagrange and Cauchy type.

Remark 7

By virtue of Theorem 5, we can define the positive linear functionals from (22) (), with respect to n-convex function ψ as follows:

We give results related to as we can also consider in the similar fashion for (). Lagrange- and Cauchy-type mean value theorems related to the above functionals are given in the following theorems.

Theorem 13

Let be such that . If the inequality in (21) () holds, then there exist such that where is defined by (54).

Similar to the proof of Theorem 4.1 in [16] (see also [17]). □

Theorem 14

Let be such that . If the inequality in (21) () holds, then there exist such that provided that the denominators are non-zero, where is defined by (54).

Similar to the proof of Corollary 4.2 in [16] (see also [17]). □

Theorem 14 enables us to define Cauchy means for (), in fact means that ξ is the mean of , for given functions ψ and μ.

We conclude our paper with the following remark.

Remark 8

One can also construct the nontrivial examples of n-exponentially and exponentially convex functions from positive linear functionals and () by following the n-exponential method introduced by Pečarić et al. in [18] and [19] (see also [14, 20] and [15]). As an application it enables us to construct large families of functions which are exponentially convex. Moreover, by considering the class of 2-convex functions, we can get the log-convexity of these functionals and new Cauchy means, which are monotonic in nature.

Conclusions

By integration techniques new Green’s functions are constructed, which are convex symmetric and continuous. Graphical representation of these new Green’s functions is also included. These new Green’s functions are then used to extend the inequality of Popoviciu given by Vasić and Stanković from nonnegative to real weights. Generalized identities are obtained using generalized Montgomery identity and new Green’s functions which further establish the extension of Popoviciu inequality from a convex function to higher order convex functions along with real weights. The obtained results are then applied to establish the monotonicity of the linear functionals constructed from generalized inequalities. New upper bounds are obtained using the Čebyšev functional. A new way is introduced to construct new n-exponential and logarithmic convex functions, which are then further used to give the Stolarsky means.