- Research
- Open access
- Published:

# Necessary and sufficient conditions for discrete inequalities of Jensen–Steffensen type with applications

*Journal of Inequalities and Applications*
**volume 2024**, Article number: 1 (2024)

## Abstract

In this paper we give a necessary and sufficient condition for the discrete Jensen inequality to be satisfied for real (not necessarily nonnegative) weights. The result generalizes and completes the classical Jensen–Steffensen inequality. The validity of the strict inequality is studied. As applications, we first give the form of our result for strongly convex functions, then we study discrete quasi-arithmetic means with real (not necessarily nonnegative) weights, and finally we refine the inequality obtained.

## 1 Introduction

By \(\mathbb{N}_{+}\) we denote the set of positive integers.

Let \(C\subset \mathbb{R}\) be an interval with nonempty interior. Let \(F_{C}\) denote the set of all convex functions on *C*.

A fundamental consequence of the notion of a convex set and a convex function is the following remarkable statement.

### Theorem 1

(*The discrete Jensen inequality*, *see* [9]) *Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\). *Assume that* \(p_{1},\ldots ,p_{m}\) *are nonnegative numbers such that* \(\sum_{i=1}^{m}p_{i}>0\), *and assume* \(( s_{1},\ldots ,s_{m} ) \in C^{m}\). *Then*

*and for every function* \(f\in F_{C}\), *the inequality*

*holds*.

*If* \(f\in F_{C}\) *is strictly convex*, *inequality* (2) *is strict if the points* \(s_{1},\ldots ,s_{m}\) *are not all equal and the scalars* \(p_{1},\ldots ,p_{m}\) *are positive*.

The following statement is from Steffensen [11]. Its significance is that it contains conditions under which inclusion (1) and inequality (2) are satisfied even if the numbers \(p_{1},\ldots ,p_{n}\) are not all nonnegative.

### Theorem 2

(*The discrete Jensen–Steffensen inequality*, *see* [9]) *Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\). *Assume that* \(p_{1},\ldots p_{m}\) *are real numbers such that* \(\sum_{i=1}^{m}p_{i}>0\) *and*

*and assume that* \(( s_{1},\ldots ,s_{m} ) \in C^{m}\) *is a monotonic* *m*-*tuple* (*either increasing or decreasing*).

*Then* (1) *is satisfied*, *and for every function* \(f\in F_{C}\) *inequality* (2) *holds*.

A natural question is whether condition (3) is not only sufficient but also necessary to satisfy (1) and (2). The answer is not, which is illustrated by the following example.

### Example 3

Let \(C:= [ 0,3 ] \), \(s_{1}:=3\), \(s_{2}:=1\), \(s_{3}:=0\), and \(p_{1}:=1\), \(p_{2}:=-5/2\), \(p_{3}:=2\). Then

Nevertheless,

and for every function \(f\in F_{ [ 0,3 ] }\), the inequality

obviously holds.

### Remark 4

From paper [3] comes the statement (adopted by some other papers on the subject) that conditions \(\sum_{i=1}^{m}p_{i}>0\) and (3) are necessary and sufficient for (1) to be satisfied (see Lemma 2 in [3]). The previous example shows that the conditions indicated are not necessary in general. The proof of the necessity statement of Lemma 2 in [3] is incorrect because it proves the satisfaction of each inequality in (3) using a different sequence \(( s_{1},\ldots ,s_{m} ) \).

Also interesting is the question of when there is a strict inequality in the discrete Jensen–Steffensen inequality. Nice necessary and sufficient conditions for this problem are given in [1]. A more complex set of conditions is needed than for the discrete Jensen inequality. However, the following answer can be found in some papers (see e.g. [7]): If *f* is strictly convex, then inequality (2) is strict unless \(s_{1}=\cdots =s_{m}\). The example below shows that this is usually not true even when \(p_{i}\neq 0\) \(( i=1,\ldots ,m ) \).

### Example 5

Let \(C:= [ 1,2 ] \), \(s_{1}:=2\), \(s_{2}=s_{3}:=1\), and \(p_{1}=p_{3}:=1\), \(p_{2}:=-1\). Then the conditions of Theorem 2 are satisfied, \(s_{1}\neq s_{2}\), but for every \(f\in F_{ [ 1,2 ] }\)

Of course, the case of equality in the previous example can be simply deduced from Theorem 1 in [1].

In this paper, we give necessary and sufficient conditions for satisfying inequality (2) in the case when \(p_{1},\ldots p_{m}\) are real numbers such that \(\sum_{i=1}^{m}p_{i}>0\). The result generalizes and completes the discrete Jensen–Steffensen inequality. We consider both the case where the points in the interval are ordered and the case where they are not. The validity of the strict inequality is studied. As applications, we first give the form of our result for strongly convex functions, then we study discrete quasi-arithmetic means with real (not necessarily nonnegative) weights, and finally we refine the inequality obtained.

## 2 Preliminary results

Let \(( X,\mathcal{A} ) \) be a measurable space (\(\mathcal{A}\) always means a *σ*-algebra of subsets of *X*). If *μ* is either a measure or a signed measure on \(\mathcal{A}\), then the real vector space of *μ*-integrable real functions on *X* is denoted by \(L ( \mu ) \). The integrable functions are considered to be measurable. The unit mass at \(x\in X\) (the Dirac measure at *x*) is denoted by \(\varepsilon _{x}\).

The set of all subsets of a set *X* is denoted by \(P ( X ) \).

Let \(C\subset \mathbb{R}\) be an interval with nonempty interior, which is denoted by \(C^{\circ}\).

Let \(( X,\mathcal{A},\mu ) \) be a measure space, where *μ* is a finite signed measure, and let \(\varphi :X\rightarrow C\) be a function such that \(\varphi \in L ( \mu ) \). We define \(F_{C} ( \varphi ) \) as the set of all functions \(f\in F_{C}\) such that \(f\circ \varphi \in L ( \mu ) \).

The following result is a version of the integral Jensen inequality for signed measures. It is proved in Theorem 12 of [5].

### Theorem 6

*Let* \(( X,\mathcal{A} ) \) *be a measurable space*, *and let* *μ* *be a finite signed measure on* \(\mathcal{A}\) *such that* \(\mu ( X ) >0\). *Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(\varphi :X\rightarrow C\) *be a* *μ*-*integrable function*. *Then*

(*a*) *If*

*and*

*are satisfied*, *then*

(*b*) *For every function* \(f\in F_{C} ( \varphi ) \), *the inequality*

*holds if and only if* (4) *and* (5) *are satisfied*.

Let \(C\subset \mathbb{R}\) be an interval with nonempty interior. A function \(g:C\rightarrow \mathbb{R}\) is called strongly convex with modulus \(d>0\) if

for all *s*, \(t\in C\) and \(\lambda \in [ 0,1 ] \).

The following statement is a special case of Lemma 2.1 in paper [10], which describes the close relationship between convex and strongly convex functions.

### Lemma 7

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior and* \(d>0\). *A function* \(g:C\rightarrow \mathbb{R}\) *is strongly convex with modulus* *d* *if and only if the function* \(g-d\cdot id_{\mathbb{R}}^{2}\) *is convex*.

The next extension of the Jensen–Steffensen inequality for strongly convex functions comes from [2].

### Theorem 8

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\). *Assume that* \(p_{1},\ldots p_{m}\) *are real numbers such that* \(\sum_{i=1}^{m}p_{i}=1\) *and* (3) *are satisfied*. *Assume that* \(( s_{1},\ldots ,s_{m} ) \in C^{m}\) *is a monotonic* *m*-*tuple* (*either increasing or decreasing*). *Then*

*and for every strongly convex function* \(g:C\rightarrow \mathbb{R}\) *with modulus* \(d>0\), *the inequality*

*holds*.

### Remark 9

(a) Of course, the previous statement can also be formulated by considering the weaker condition \(\sum_{i=1}^{m}p_{i}>0\) instead of the condition \(\sum_{i=1}^{m}p_{i}=1\).

(b) As a special case, the discrete Jensen inequality for strongly convex functions is formulated and proved in [8].

We need the following lemma.

### Lemma 10

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\). *Assume that* \(p_{1},\ldots p_{m}\) *are real numbers and* \(( s_{1},\ldots ,s_{m} ) \in C^{m}\) *such that* \(\sum_{i=1}^{m}p_{i}=1\) *and* \(\sum_{i=1}^{m}p_{i}s_{i}\in C\). *Then inequality* (7) *holds for every strongly convex function* \(g:C\rightarrow \mathbb{R}\) *with modulus* \(d>0\) *if and only if the inequality*

*holds for every convex function* \(f:C\rightarrow \mathbb{R}\).

### Proof

Assume that (8) holds for every convex function \(f:C\rightarrow \mathbb{R}\), and let \(g:C\rightarrow \mathbb{R}\) be a strongly convex function with modulus *d*. By Lemma 7, the function \(g-d\cdot id_{\mathbb{R}}^{2}\) is convex, and hence it satisfies (8), that is,

which is exactly (7).

Conversely, assume that (7) holds for every strongly convex function \(g:C\rightarrow \mathbb{R}\) with modulus *d*, and let \(f:C\rightarrow \mathbb{R}\) be a convex function. Also, because of Lemma 7, the function \(f+d\cdot id_{\mathbb{R}}^{2}\) is a strongly convex function with modulus *d*, and therefore (7) yields that

which gives (8) by an elementary calculation.

The proof is complete. □

## 3 Main results

We now formulate Theorem 6 for discrete signed measures. First, we assume that the points in the interval are in monotonic order, because this is the basis of the proof of the general case, and we need this special case.

### Theorem 11

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\). *Assume* \(\mathbf{p}:= ( p_{1},\ldots ,p_{m} ) \) *are real numbers such that* \(\sum_{i=1}^{m}p_{i}>0\), *and* \(\mathbf{s}:= ( s_{1},\ldots ,s_{m} ) \in C^{m}\) *is a monotonic* *m*-*tuple*.

*Suppose that* **s** *is decreasing*.

(*a*) *If*

*and*

*are satisfied*, *then*

(*b*) *For every function* \(f\in F_{C}\), *the inequality*

*holds if and only if* (9) *and* (10) *are satisfied*.

*Suppose that* **s** *is increasing*.

(*c*) *If*

*and*

*are satisfied*, *then*

(*d*) *For every function* \(f\in F_{C}\), *inequality* (12) *holds if and only if* (13) *and* (14) *are satisfied*.

### Proof

We first consider the case where \(s_{1}\geq s_{2}\geq \cdots \geq s_{m}\).

If \(m=1\), then the statement is obvious, and hence we can suppose that \(m\geq 2\).

Let \(X:= \{ 1,\ldots ,m \} \), and let the set function \(\mu :P ( X ) \rightarrow \mathbb{R}\) be defined by

Then \(( X,P ( X ) ,\mu ) \) is a measure space with the finite signed measure *μ*.

Let the function \(\varphi :X\rightarrow C\) be defined by

Then \(\varphi \in L ( \mu ) \) and \(F_{C} ( \varphi ) =F_{C}\).

Condition (9) implies \(t_{\mathbf{s},\mathbf{p}}\geq s_{m}\), while condition (10) yields \(t_{\mathbf{s},\mathbf{p}}\leq s_{1}\).

Now, by Theorem 6, it is enough to show that (9) is equivalent to (4), and (10) is equivalent to (5).

We prove the first equivalence, the second can be treated in a similar way.

(i) Suppose \(s_{1}>s_{2}>\cdots >s_{m}\).

Assume that (4) holds, that is,

If \(s_{l+1}\leq w< s_{l}\) for some \(l\in \{ 1,\ldots ,m-1 \} \), then we get from (15) that

especially

It now follows that (9) is satisfied.

Now assume conversely that (9) holds.

If \(w\geq s_{1}\), then either \(\{ \varphi \geq w \} =\emptyset \) or \(\{ \varphi \geq w \} = \{ s_{1} \} \), and hence (15) is obvious.

If \(s_{l+1}\leq w< s_{l}\) for some \(l\in \{ 1,\ldots ,m-1 \} \), then

By (9), expression (16) is nonnegative.

If \(w< s_{m}\), then by \(\sum_{i=1}^{m}p_{i}>0\) and (9),

(ii) Now we consider the general case.

If either \(s_{l+k+2}< s_{l+1+k}=\cdots =s_{l+1}< s_{l}\) for some \(l\in \{ 1,\ldots ,m-3 \} \) and \(k\in \{ 1,\ldots ,m-l-2 \} \) or \(s_{m}=\cdots =s_{l+1}< s_{l}\) for some \(l\in \{ 1,\ldots ,m-2 \} \) (in this case \(k=m-l\), then

is equivalent to

and therefore (i) can be applied to the different elements of \(( s_{i} ) _{i=1}^{m}\).

We now turn to the case \(s_{m}\geq s_{m-1}\geq \cdots \geq s_{1}\).

Define

and apply the first part by using \(q_{1},\ldots q_{m}\) instead of \(p_{1},\ldots p_{m}\) and \(t_{1},\ldots t_{m}\) instead of \(s_{1},\ldots s_{m}\).

The proof is complete. □

### Remark 12

Assume that \(p_{1},\ldots p_{m}\) are real numbers such that \(\sum_{i=1}^{m}p_{i}>0\) and (3) are satisfied.

(a) If **s** is decreasing, it follows from Theorem 2 and Theorem 11 that conditions (9) and (10) must also be satisfied. This can also be easily shown directly by induction on *l*. If **s** is increasing, an analogous remark applies.

(b) We can see that Theorem 11 is a generalization of the discrete Jensen–Steffensen inequality, and since it contains necessary and sufficient conditions, it is the best result of this kind.

### Remark 13

Assume \(\sum_{i=1}^{m}p_{i}>0\). Conditions (9) and (10), although weaker than condition (3), are also only sufficient, but not necessary, to satisfy (11). Indeed, let us start again from Example 3: Let \(C:= [ 0,3 ] \) and \(s_{1}:=3\), \(s_{2}:=1\). Then \(p_{1}+p_{2}+p_{3}>0\) and (11) are equivalent to

These conditions are satisfied, for example, if \(p_{1}:=-2\), \(p_{2}:=8\), \(p_{3}:=-1\), but neither (9) nor (10) hold since in this case the latter conditions imply that \(p_{1}\), \(p_{3}\geq 0\).

We now turn to the study of the strict inequality in (12).

### Theorem 14

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\), \(m\geq 3\). *Assume that* \(\mathbf{p}:= ( p_{1},\ldots p_{m} ) \) *are real numbers*, *and* \(\mathbf{s}:= ( s_{1},\ldots ,s_{m} ) \in C^{m}\) *is a decreasing* *m*-*tuple*. *If either*

*or*

*and* (9) *and* (10) *are satisfied*, *then for every strictly convex function* \(f\in F_{C}\), *inequality* (12) *is strict*.

### Proof

The conditions of Theorem 11(a) are satisfied, and therefore inequality (12) holds for every \(f\in F_{C}\).

Assume that (17) is satisfied.

We first show that \(( p_{2},\ldots p_{m} ) \) and \(( s_{2},\ldots ,s_{m} ) \) satisfy conditions analogous to (9) or (10), that is,

and

Since **p** and **s** satisfy (10), (20) is also obviously true.

By using \(p_{1}>0\) and \(s_{1}>s_{l+1}\), it comes from (9) that

It follows from the above that Theorem 11 (a–b) can be applied to \(( p_{2},\ldots p_{m} ) \) and \(( s_{2},\ldots ,s_{m} ) \), and it gives that

and for every \(f\in F_{C}\), the inequality

holds.

Since

we obtain from the discrete Jensen inequality by using the conditions in (17), (21), and (22) that

We can prove similarly if (18) is satisfied.

The proof is complete. □

### Remark 15

The previous result contains the condition for strict inequality given in the discrete Jensen inequality, and from it we can derive conditions for strict inequality for the discrete Jensen–Steffensen inequality. Of course, conditions (17) and (18) for the discrete Jensen–Steffensen inequality are not as sharp as the conditions in Theorem 1 of paper [1]. Their importance lies in the fact that we can say at least sufficient conditions for the strict inequality in Theorem 11. It may be an interesting problem to give necessary and sufficient conditions for strict inequality in Theorem 11, but this does not seem to be an easy task.

Conditions (17) and (18) are more related to the conditions of the discrete Jensen–Steffensen inequality than to the conditions of Theorem 11. It would be interesting if we could formulate conditions for the strict inequality that are related to conditions (9) and (10). The following statement illustrates this for \(m=3\).

### Proposition 16

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*. *Assume that* \(\mathbf{p}:= ( p_{1},p_{2},p_{3} ) \) *are real numbers such that* \(p_{1}\neq 0\), \(p_{3}\neq 0\), *and* \(\sum_{i=1}^{3}p_{i}>0\), *and* \(\mathbf{s}:= ( s_{1},s_{2},s_{3} ) \in C^{3}\) *is a decreasing* 3-*tuple*. *If*

*and*

*are satisfied*, *then for every strictly convex function* \(f\in F_{C}\), *the inequality*

*holds*.

### Proof

For \(m=3\), conditions (23) and (24) imply conditions (9) and (10), respectively, and therefore Theorem 11(a) gives that

for every \(f\in F_{C}\).

From the second inequality in either (23) or (24) it follows that \(s_{3}< s_{1}\).

Assume \(p_{1}<0\) and \(p_{3}<0\). Then it comes from the first inequalities in (23) and (24) that \(s_{1}=s_{2}=s_{3}\), which contradicts \(s_{3}< s_{1}\). It follows that either \(p_{1}>0\) or \(p_{3}>0\).

(i) Consider the case \(p_{2}>0\).

Suppose \(p_{1}>0\). If \(p_{3}>0\) too, then the result follows from the discrete Jensen inequality. If \(p_{3}<0\), then \(s_{2}=s_{3}\), and hence

and this yields that \(p_{2}+p_{3}>0\). We can also apply the discrete Jensen inequality by \(s_{2}< s_{1}\).

The case \(p_{3}>0\) can be handled similarly.

(ii) Assume \(p_{2}\leq 0\) and equality is satisfied in (25).

It is easy to check that

By the second inequalities in (23) and (24), \(\alpha >0\) and \(\beta >0\). Since \(\alpha +\beta =1\), we obtain from the discrete Jensen inequality that

By a simple calculation we obtain from the previous inequality that

and therefore \(p_{2}<0\), and thus

which contradicts the discrete Jensen inequality.

The proof is complete. □

### Remark 17

(a) Conditions (23) and (24) may be fulfilled even if none of the conditions (17) and (18) are fulfilled. Really, let

Then it is easy to check that (23) and (24) are satisfied, but (17) and (18) are not satisfied.

(b) It is worth noting that the method of proof of Proposition 16 is different from that of Theorem 14.

If points in the interval are not ordered, Theorem 11 can be formulated as follows.

### Corollary 18

*Let* \(X:= \{ 1,\ldots ,m \} \) *for some* \(m\in \mathbb{N}_{+}\). *Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*. *Assume that* \(p_{1},\ldots p_{m}\) *are real numbers such that* \(\sum_{i=1}^{m}p_{i}>0\), *and* \(\mathbf{s}:= ( s_{1},\ldots ,s_{m} ) \in C^{m}\). *Let* \(u_{1}>u_{2}>\cdots >u_{o}\) *be the different elements of* **s** *in decreasing order* \(( 1\leq o\leq m ) \).

(*a*) *If*

*and*

*are satisfied*, *then*

(*b*) *For every function* \(f\in F_{C}\), *inequality* (12) *holds if and only if* (26) *and* (27) *are satisfied*.

### Proof

Let

Then

and

and therefore the result is an immediate consequence of Theorem 11 (a–b).

The proof is complete. □

## 4 Applications

In this section, the statements are formulated only for decreasing sequences for clarity, but the results are valid for increasing or general sequences with appropriate reformulation.

The conditions of Theorem 8, as for the Jensen–Steffensen inequality for convex functions, are only sufficient but not necessary for the inequality to be fulfilled. Using our main result, we can generalize Bakula’s result considerably, obtaining necessary and sufficient conditions for the strongly convex case as well.

### Theorem 19

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\). *Assume that* \(\mathbf{p}:= ( p_{1},\ldots p_{m} ) \) *are real numbers such that* \(\sum_{i=1}^{m}p_{i}=1\), *and* \(\mathbf{s}:= ( s_{1},\ldots ,s_{m} ) \in C^{m}\) *is a decreasing* *m*-*tuple*. *Then inequality* (7) *holds for every strongly convex function* \(g:C\rightarrow \mathbb{R}\) *with modulus* \(d>0\) *if and only if* (9) *and* (10) *are satisfied*.

### Proof

It follows from Theorem 11 (a–b) by applying Lemma 10.

The proof is complete. □

The second application concerns quasi-arithmetic means.

Let \(C\subset \mathbb{R}\) be an interval, and let \(z:C\rightarrow \mathbb{R}\) be a continuous and strictly monotone function. If \(\mathbf{p}:= ( p_{1},\ldots p_{m} ) \) are nonnegative numbers such that \(\sum_{i=1}^{m}p_{i}>0\) and \(\mathbf{s}:= ( s_{1},\ldots ,s_{m} ) \in C^{m}\), then the weighted quasi-arithmetic mean is defined by

The quantity (28) is called mean because

This property is equivalent to

regardless of whether the numbers \(p_{1},\ldots p_{m}\) are nonnegative or not.

In the following statement we compare quasi-arithmetic means with real (not necessarily nonnegative) weights.

### Theorem 20

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* \(m\in \mathbb{N}_{+}\). *Assume that* \(\mathbf{p}:= ( p_{1},\ldots p_{m} ) \) *are real numbers such that* \(\sum_{i=1}^{m}p_{i}>0\), \(\mathbf{s}:= ( s_{1},\ldots ,s_{m} ) \in C^{m}\) *is a decreasing* *m*-*tuple*, *and* *h*, \(g:C\rightarrow \mathbb{R}\) *are continuous and strictly monotone functions*. *Assume further that*

*and*

*are satisfied*, *where the function* *z* *is either* *h* *or* *g*. *If*

(*a*) *either* \(h\circ g^{-1}\) *is convex and* *h* *is increasing or* \(h\circ g^{-1}\) *is concave and* *h* *is decreasing*,

(*b*) *either* \(g\circ h^{-1}\) *is convex and* *g* *is decreasing or* \(g\circ h^{-1}\) *is concave and* *g* *is increasing*,

*then*

### Proof

It follows from Theorem 11(a) that

for both \(z=g\) and \(z=h\), so the expressions on the left- and right-hand sides of (29) are well defined.

We only prove the case where \(h\circ g^{-1}\) is convex and *h* is increasing, the others can be treated similarly.

Since \(h\circ g^{-1}\) is convex, Theorem 11(b) implies that

By applying \(h^{-1}\) to this inequality, we obtain (29).

The proof is complete. □

Finally, a refinement of the generalized discrete Jensen–Steffensen inequality is given. This is interesting because while there are many refinements for the discrete Jensen inequality (see e.g. the book [6] and the references therein), there are relatively few for the discrete Jensen–Steffensen inequality (see [2, 4], and [12]).

### Theorem 21

*Let* \(C\subset \mathbb{R}\) *be an interval with nonempty interior*, *and let* *k*, \(m\in \mathbb{N}_{+}\), \(k< m\). *Assume that* \(\mathbf{p}:= ( p_{1},\ldots p_{m} ) \) *are real numbers such that* \(\sum_{i=1}^{k}p_{i}>0\), *and* \(\sum_{i=k+1}^{m}p_{i}>0\). *Assume that* \(\mathbf{s}:= ( s_{1},\ldots ,s_{m} ) \in C^{m}\) *is a decreasing* *m*-*tuple*.

*If*

*and*

*are satisfied*, *then for every function* \(f\in F_{C}\), *the inequalities*

*hold*.

### Proof

We can apply Theorem 11(a), which implies that

and

Since

from the previous inequalities and the discrete Jensen inequality it follows

and the first inequality in (30).

The second inequality in (30) is obtained by applying Theorem 11(b) to both members of the sum.

The proof is complete. □

### Remark 22

(a) The previous theorem can be extended analogously by splitting the set \(\{ 1,\ldots,m \} \) into more than two blocks.

(b) The refinement in Theorem 21 shows a technique for obtaining refinements of the generalized discrete Jensen–Steffensen inequality from refinements to the discrete Jensen inequality.

## Data availability

Not applicable.

## References

Abramovich, S., Bakula, M.K., Matić, M., Pečarić, J.: A variant of Jensen–Steffensen’s inequality and quasi-arithmetic means. J. Math. Anal. Appl.

**307**(1), 370–386 (2005)Bakula, M.K.: Jensen–Steffensen inequality for strongly convex functions. J. Inequal. Appl.

**2018**, Article ID 206 (2018)Bullen, P.S.: The Steffensen inequality. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. Fiz.

**320**(328), 59–63 (1970)Franjić, I., Khalid, S., Pečarić, J.: On the refinements of the Jensen–Steffensen inequality. J. Inequal. Appl.

**2011**, Article ID 12 (2011)Horváth, L.: Integral inequalities using signed measures corresponding to majorization. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat.

**117**(2), 80 (2023)Horváth, L., Khan, K.A., Pečarić, J.: Combinatorial Improvements of Jensen’s Inequality, Classical and New Refinements of Jensen’s Inequality with Applications. Element, Zagreb (2014)

Jakšetić, J., Pečarić, J., Praljak, M.: Generalized Jensen–Steffensen and related inequalities. J. Math. Inequal.

**9**(4), 1287–1302 (2015)Merentes, N., Nikodem, K.: Remarks on strongly convex functions. Aequ. Math.

**80**, 193–199 (2010)Niculescu, C.P., Persson, L.E.: Convex Functions and Their Applications. A Contemporary Approach. Springer, Berlin (2006)

Nikodem, K., Páles, Z.: Characterizations of inner product spaces by strongly convex functions. Banach J. Math. Anal.

**5**(1), 83–87 (2011)Steffensen, J.S.: On certain inequalities and methods of approximation. J. Inst. Actuar.

**51**(3), 274–297 (1919)Vasić, P.M., Pečarić, J.: Sur une inegalite de Jensen–Steffensen. In: Walter, W. (ed.) General Inequalities, vol. 4, pp. 87–92. Birkhäuser, Basel (1984)

## Acknowledgements

The author would like to thank the reviewers for their suggestions.

## Funding

Research supported by the Hungarian National Research, Development and Innovation Office grant no. K139346.

## Author information

### Authors and Affiliations

### Contributions

The manuscript was written by the author alone.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare no competing interests.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Horváth, L. Necessary and sufficient conditions for discrete inequalities of Jensen–Steffensen type with applications.
*J Inequal Appl* **2024**, 1 (2024). https://doi.org/10.1186/s13660-023-03073-2

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-023-03073-2