Abstract
We study the following \((q-1)\)th convex ordering relation for qth convolution power of the difference of probability distributions \(\mu \) and \(\nu \)
and we obtain the theorem providing a useful sufficient condition for its verification. We apply this theorem for various families of probability distributions and we obtain several inequalities related to the classical interpolation operators. In particular, taking binomial distributions, we obtain a new, very short proof of the inequality given recently by Abel and Leviatan (2020).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(I\subset {{\mathbb {R}}}\) be an interval (finite or infinite). Recall that a function \(\varphi :I\rightarrow {{\mathbb {R}}}\) is convex, if the inequality
holds for all \(x,y\in I\) and for all \(t\in [0,1]\).
The Bernstein operator \(B_n\) associated with a continuous function \(\varphi :[0,1]\rightarrow {\mathbb {R}}\) (see [10]) is defined by
where
Mrowiec et al. [11] proved the following theorem on inequality for Bernstein operators.
Theorem 1
Let \(n\in {{\mathbb {N}}}\) and \(x,y\in [0,1]\). Then
for all convex functions \(\varphi \in {{\mathcal {C}}}([0,1])\).
This inequality was stated by Ioan Raşa as an open problem about thirty years ago. During the Conference on Ulam’s Type Stability (Rytro, Poland, 2014), Raşa [14] recalled his problem. Theorem 1 affirms the conjecture (see also [1,2,3,4, 7, 8, 15] for further results on the I. Raşa problem).
The proof given by Mrowiec et al. [11] makes use of probability theory. Let \(\mu \) and \(\nu \) be two finite Borel measures on \({\mathbb {R}}\) such that
provided the integrals exist. Then \(\mu \) is said to be smaller then \(\nu \) in the convex order (denoted as \(\mu \le _{cx}\nu \) ). In [11], the authors proved the following stochastic convex ordering relation for convolutions of binomial distributions B(n, x) and B(n, y) (\(n\in {{\mathbb {N}}}\), \(x,y\in [0,1]\)):
which is a probabilistic version of inequality (1).
In [6], we gave a generalization of inequality (2). We introduced and studied the following convex ordering relation
where \(\mu \) and \(\nu \) are two probability distributions on \({\mathbb {R}}\). We note, that inequality (3) can be regarded as the Raşa type inequality. In [6], we proved Theorem 2.3 providing a very useful sufficient condition for verification that \(\mu \) and \(\nu \) satisfy (3). We applied Theorem 2.3 for \(\mu \) and \(\nu \) from various families of probability distributions. In particular, we obtained a new proof for binomial distributions, which is significantly simpler and shorter than that given in [11]. By (3), we can also obtain inequalities related to some approximation operators associated with \(\mu \) and \(\nu \) (such as Bernstein-Schnabl operators, Mirakyan-Szász operators, Baskakov operators and others, cf. [6]). Note, that in [8], we gave also necessary and sufficient condition for verification that \(\mu \) and \(\nu \) satisfy (3).
Recently, Abel and Leviatan [2] gave a generalization of the Raşa inequality (1) to q-monotone functions. Given a function \(f:I\rightarrow {\mathbb {R}}\), denote
for \(n\in {{\mathbb {N}}}\), \(x\in I\) and \(h, h_1,\dots ,h_n,h_{n+1}\ge 0\) with all needed arguments belonging to I. Let \(q\ge 1\). A function \(f: I\rightarrow {\mathbb {R}}\) is q-monotone if \(\Delta _h^{q}\,f(x)\ge 0\) for all \(h\ge 0\) and \(x \in {\mathbb {R}}\) such that \(x,\,x+qh\in I\).
Theorem 2
[2] Let \(q,\,n\in {{\mathbb {N}}}\). If \(f\,\in \,{{\mathcal {C}}}([0,1])\) is a q-monotone function, then
In this paper, we give a generalization of inequality (3) to higher order convex order. Let us review some notations. In the classical theory of convex functions their natural generalization are convex functions of higher-order.
Let \(n\in {\mathbb {N}}\) and \(x_0, \ldots , x_n\) be distinct points in I. Denote by \([x_0, \ldots , x_n;f]\) the divided difference of f at \(x_0, \ldots , x_n\) defined by the recurrence
Following Hopf [5] and Popoviciu [12, 13], a function \(f:I\rightarrow {\mathbb {R}}\,\) is called convex of order n (or n-convex) if
for all \(x_0<\ldots <x_{n+1}\) in I.
We list some properties of n-th order convexity (see [9]).
Proposition 1
If the function \(f :I\rightarrow {{\mathbb {R}}}\) is n-convex on I \((n \ge 1)\), then
for all \(x\in I\), \(h_1,\dots ,h_n,h_{n+1}\ge 0\) such that \(x+h_1+\dots +h_{n+1}\in I\).
Proposition 2
If \(I\subset {{\mathbb {R}}}\) is an open interval, then a function \(f :I\rightarrow {{\mathbb {R}}}\) is n-convex on I \((n \ge 1)\) if, and only if, its derivative \(f^{(n-1)}\) exists and is convex on I (with the convention \(f^{(0)}(x) = f(x)\)).
Proposition 3
Let \(f\,\in \,{{\mathcal {C}}}(I)\) and \(n \ge 1\). Then the following statements are equivalent.
- (a):
-
f is n-convex on I.
- (b):
-
f is \((n+1)\)-monotone on I.
- (c):
-
\(\Delta _h^{n+1}\,f(x)\ge 0\) for all \(x\in I\) and \(h\ge 0\) with \(x+(n+1)h\in I\).
- (d):
-
\(\Delta _{h_1}\dots \,\Delta _{h_n}\Delta _{h_{n+1}}\,f(x)\ge 0\) for all \(x\in I\) and \(h_1,\dots ,h_n,h_{n+1}\ge 0\) with \(x+h_1+\dots +h_{n+1}\in I\).
Recall the definition of n-convex orders.
Definition 1
Let \(n \ge 1\). Let \(\mu \) and \(\nu \) be two finite signed Borel measures on I such that
provided the integrals exist. Then \(\mu \) is said to be smaller then \(\nu \) in the n-convex order (denoted as \(\mu \le _{n-cx}\nu \) ).
In particular, \(\mu \le _{1-cx}\nu \) coincides with \(\mu \le _{cx}\nu \). Observe, that this definition does not depend on the choice of the interval I. Indeed, let \(I_1, I_2\subset {\mathbb {R}}\) be two intervals and let \(\mu ,\nu \) be two finite signed Borel measures on \(I_1\cap I_2\). Assume that (5) is satisfied for the interval \(I_1\). Then for every n-convex function \(\varphi :I_2\rightarrow {\mathbb {R}}\) there exist n-convex functions \(\psi _k:{\mathbb {R}}\rightarrow {\mathbb {R}}\) such that \(\int _{I_1}\psi _k(x)\mu (dx)=\int _{I_2}\psi _k(x)\mu (dx)\underset{k\rightarrow \infty }{\longrightarrow }\int _{I_2}\varphi (x)\mu (dx)\) and \(\int _{I_1}\psi _k(x)\nu (dx)=\int _{I_2}\psi _k(x)\nu (dx)\underset{k\rightarrow \infty }{\longrightarrow } \int _{I_2}\varphi (x)\nu (dx)\) (if \(\int _{I_2}\varphi (x)\mu (dx)\) and \(\int _{I_2}\varphi (x)\nu (dx)\) exist). Clearly, \(\psi _k|_{I_1}\) are n-convex on \(I_1\). It follows that (5) is satisfied for \(I_2\). Similarly, if (5) is satisfied for \(I_2\) then it is also satisfied for \(I_1\). We do not give a precise proof, because we will not use this observation any further.
We study the following generalization of (3)
where \(\mu \), \(\nu \) are probability measures and \((\nu -\mu )^{*q}\) is the convolution \((\nu -\mu )*(\nu -\mu )*\dots *(\nu -\mu )\) with q terms \((\nu -\mu )\). Note, that \((\nu -\mu )^{*2}=\nu *\nu - 2\,\nu * \mu +\mu *\mu \), thus (6) for \(q=2\) is equivalent to (3). Inequality (6) can be regarded as the Raşa type inequality.
In Theorem 4, we give a very useful sufficient condition for verification that \(\mu \) and \(\nu \) satisfy (6). In particular, by Theorem 4, taking binomial distributions (Theorem 10 (a)), we obtain
which is equivalent to inequality (4). Consequently, we obtain a new proof of inequality (4) given by Abel and Leviatan [2], which is significantly simpler and shorter than that given in [2].
We apply Theorem 4 for \(\mu \) and \(\nu \) from various families of probability distributions. Using inequality (6), we can also obtain inequalities related to some approximation operators associated with \(\mu \) and \(\nu \) (such as Bernstein-Schnabl operators, Mirakyan-Szász operators, Baskakov operators and others).
2 The Raşa Type Inequality for \((q-1)\)-Convex Orders
In the sequel, we make use of the theory of stochastic orders. Let us recall some basic notations and results (see [16]). Let \(\mu \) be a probability distribution on \({\mathbb {R}}\). For \(x\in {\mathbb {R}}\) the delta symbol \(\delta _x\) denotes one-point probability distribution satisfying \(\delta _x(\{x\})=1\). As usual, \(F_\mu (x)=\mu ((-\infty ,x])\) (\(x\in {\mathbb {R}}\)) stands for the cumulative distribution function of \(\mu \). If \(\mu \) and \(\nu \) are two probability distributions such that \(F_\mu (x)\ge F_\nu (x)\) for all \(x\in {\mathbb {R}}\), then \(\mu \) is said to be smaller than \(\nu \) in the usual stochastic order (denoted by \(\mu \le _{\text {st}}\nu \)). An important characterization of the usual stochastic order is given by the following theorem.
Theorem 3
[16, p. 5] Two probability distributions \(\mu \) and \(\nu \) satisfy \(\mu \le _{\text {st}}\nu \) if, and only if there exist two random variables X and Y defined on the same probability space, such that \(\mu \) is the distribution of X, \(\nu \) is the distribution of Y (\(X\sim \mu \) and \(Y\sim \nu \) for short) and \(P(X\le Y)=1\).
In the following theorem, we give a very useful sufficient condition that will be used for verification of some convex orders.
Theorem 4
Let \(q\ge 2\). Let \(\mu \) and \(\nu \) be two probability distributions on I, such that \(\mu \le _{\text {st}}\nu \). Then
Proof
Note that \((\nu -\mu )^{*q}\) is a signed measure on \(qI=\{qx:x\in I\}\). Let \(f:qI\rightarrow {\mathbb {R}}\) be a \((q-1)\)-convex function on qI. Then, by Proposition 1,
for all \(x\in qI\), \(h_1,\dots ,h_{q-1},h_{q}\ge 0\) such that \(x+h_1+\dots +h_{q}\in qI\).
Let \(x_1,\ldots ,x_q,y_1,\ldots ,y_q\in I\) be such that \(x_1\le y_1,\ldots ,x_q\le y_q\). Then taking \(h_i=y_i-x_i\) for \(i=1,\ldots ,q\) and \(x=x_1+\ldots +x_q\), by (7), we obtain
where \(z_i=x_i\) if \(i\in A\) and \(z_i=y_i\) if \(i\notin A\), \(i=1,\ldots ,q\).
Since \(\mu \le _{\text {st}}\nu \), by Theorem 3, there exist independent random vectors \((X_1,Y_1)\), \((X_2,Y_2)\), ..., \((X_q,Y_q)\), such that
Let \(H_i=Y_i-X_i\), \(i=1,\ldots ,q\). Since the measures \(\mu \) and \(\nu \) are concentrated on I, from (9) it follows that
Let \(X=X_1+\ldots +X_q\). Taking into account that \(Y_1+\ldots +Y_q=X+H_1+\ldots +H_q\), by (9), we obtain
By inequality (8), with \(x_i=X_i\) and \(y_i=Y_i\), we obtain
where \(Z_i=X_i\) if \(i\in A\) and \(Z_i=Y_i\) if \(i\notin A\), \(i=1,\ldots ,q\), consequently, we have
We have
where \(\pi _i=\mu \) if \(i\in A\) and \(\pi _i=\nu \) if \(i\notin A\), \(i=1,\ldots ,q \).
Then, by (10) and (11), we obtain
The theorem is proved. \(\square \)
Theorem 5
Let \(q\ge 2\).Let \(\mu \) and \(\nu \) be two probability distributions on I, such that \(\mu \ge _{st}\nu \). Then
Proof
If \(\mu \ge _{st}\nu \), then \(\nu \le _{\text {st}}\mu \). Then, applying Theorem 4, we obtain
Since \((\mu -\nu )^{*q}=(-1)^q(\nu -\mu )^{*q}\), the theorem is proved. \(\square \)
We consider also some generalization of Theorem 4 to signed measures.
If \(\mu \) and \(\nu \) are two finite signed Borel measures on \({\mathbb {R}}\) such that \(\mu ({\mathbb {R}})=\nu ({\mathbb {R}})\) and \(\mu ((-\infty ,x])\ge \nu ((-\infty ,x])\) (\(x\in {\mathbb {R}}\)), then \(\mu \) is said to be smaller than \(\nu \) in the usual stochastic order (denoted by \(\mu \le _{\text {st}}\nu \)).
Theorem 6
Let \(q\ge 2\). Let \(\mu \) and \(\nu \) be two finite signed Borel measures on I such that \(\mu (I)=\nu (I)\) and \(\mu \le _{\text {st}}\nu \). Then
Proof
Let \(\mu \) and \(\nu \) be two finite signed Borel measures on I such that \(\mu (I)=\nu (I)\) and \(\mu \le _{\text {st}}\nu \). By the Hahn decomposition theorem, there exist two non-negative finite measures \((\nu -\mu )^+\) and \((\nu -\mu )^-\) (the positive part and negative part of \(\nu -\mu \)), such that \(\nu -\mu =(\nu -\mu )^+-(\nu -\mu )^-\). Since \(\mu (I)=\nu (I)\), it follows that \((\nu -\mu )^+(I)=(\nu -\mu )^-(I)\), consequently, without loss of generality we may assume, that both \((\nu -\mu )^+\) and \((\nu -\mu )^-\) are probability measures. Moreover, the condition \(\mu \le _{\text {st}}\nu \) is equivalent to \((\nu -\mu )((-\infty ,x])\le 0\) (\(x\in {\mathbb {R}}\)), consequently, we have \((\nu -\mu )^+\ge _{\text {st}}(\nu -\mu )^-\). Then, by Theorem 4, we obtain
Since \((\nu -\mu )^+-(\nu -\mu )^-=\nu -\mu \), this completes the proof. \(\square \)
As an immediate consequence of Theorem 6, we obtain the following theorem.
Theorem 7
Let \(q\ge 2\). Let \(\tau \) be a finite signed Borel measure on I such that \(\tau (I)=0\) and \(\tau \ge _{st}0\). Then
Similarly to Theorem 4, the following theorems can be proved.
Theorem 8
Let \(q\ge 2\). Let \(\mu _1, \ldots , \mu _q\) and \(\nu _1, \ldots , \nu _q\) be probability distributions on I, such that \(\mu _i\le _{\text {st}}\nu _i\) for \(i=1,\ldots ,q\). Then
Theorem 9
Let \(q\ge 2\). Let \(\tau _1, \ldots , \tau _q\) be finite signed Borel measures on I, such that \(\tau _i(I)=0\) and \(\tau _i \ge _{st}0\) for \(i=1,\ldots ,q\). Then
We will apply Theorems 4 and 5 for \(\mu \) and \(\nu \) from various families of probability distributions. As a result, we obtain new proofs of the results of Abel and Leviatan [2] and several new inequalities, which are analogues of (1).
The binomial distribution B(n, x) (\(n\in {{\mathbb {N}}}\), \(x\in [0,1]\)) is the probability distribution given by \(B(n,x)(\{i\})=p_{n,i}(x)=\left( {\begin{array}{c}n\\ i\end{array}}\right) x^i(1-x)^{n-i}\) for \(i=0,1,\dots ,n\).
The Poisson distribution \(Poiss(\lambda )\) (\(\lambda >0\)) is the probability distribution given by \(Poiss(\lambda )(\{i\})=s_i(\lambda )=e^{-\lambda }\cdot \tfrac{\lambda ^i}{i!}\) for \(i=0,1,\dots \) (\(Poiss(0)=\delta _0\) i.e. \(s_0(0)=1 \), \(s_i(0)=0\) for \(i=1,2,\dots \)).
The negative binomial distribution NB(r, p) (\(r>0\), \(0\le p<1\)) is the probability distribution given by
(if \(r=0\), then \(NB(0,p)=\delta _0\) i.e., \(nb_0(0,p)=1\) and \(nb_i(0,p)=0\) for \(i>0\)).
The gamma distribution \(\Gamma (\alpha ,\beta )\) (\(\alpha , \beta >0\)) is the distribution given by the density function \(\gamma _{\alpha ,\beta }(x)=\frac{\beta ^{\alpha }x^{\alpha -1}e^{-x\beta }}{\Gamma (\alpha )}\) for \(x>0\) and \(\gamma _{\alpha ,\beta }(x)=0\) for \(x\le 0\). By convention, we define \(\Gamma (0,\beta )=\delta _0\) for every \(\beta >0\).
The beta distribution \(Beta(\alpha ,\beta )\) (\(\alpha ,\beta >0\)) is the distribution given by the density function
and \(b_{\alpha ,\beta }(x)=0\) for \(x\notin (0,1)\). By convention, we define \(Beta(0,\beta )=\delta _0\) and \(Beta(\alpha ,0)=\delta _1\) for every \(\alpha ,\beta >0\).
By \(N(m,\sigma ^2)\), we denote the normal (Gaussian) distribution with expected value m and variance \(\sigma ^2\).
Proposition 4
[6]
- (a):
-
Let \(n\in {\mathbb {N}}\) and \(x_1,x_2\in [0,1]\). Then \(B(n,x_1)\le _{\text {st}}B(n,x_2)\ \Leftrightarrow \ x_1\le x_2\).
- (b):
-
Let \(\lambda _1,\lambda _2\ge 0\). Then \(Poiss(\lambda _1)\le _{\text {st}}Poiss(\lambda _2)\ \Leftrightarrow \ \lambda _1\le \lambda _2\).
- (c):
-
Let \(r_1,r_2\ge 0\) and \(p_1,p_2\in [0,1)\). If \(r_1\le r_2\) and \(p_1\le p_2\), then \(NB(r_1,p_1)\le _{\text {st}}NB(r_2,p_2)\).
- (d):
-
Let \(\alpha _1,\alpha _2\ge 0\) and \(\beta _1,\beta _2>0\). If \(\alpha _1\le \alpha _2\) and \(\beta _1\ge \beta _2\), then \(\Gamma (\alpha _1,\beta _1)\le _{\text {st}}\Gamma (\alpha _2,\beta _2)\).
- (e):
-
Let \(\alpha _1,\beta _1,\alpha _2,\beta _2\ge 0\) be such that \(\alpha _1+\beta _1>0\) and \(\alpha _2+\beta _2>0\). If \(\alpha _1\le \alpha _2\) and \(\beta _1\ge \beta _2\), then \(Beta(\alpha _1,\beta _1)\le _{\text {st}}Beta(\alpha _2,\beta _2)\).
- (f):
-
Let \(m_1,m_2\in {\mathbb {R}}\) and \(\sigma _1^2,\sigma _2^2>0\). Then \(N(m_1,\sigma _1^2)\le _{\text {st}}N(m_2,\sigma _2^2)\) \(\Leftrightarrow \) \((m_1\le m_2\) and \(\sigma _1^2=\sigma _2^2)\).
From Theorems 4, 5 and Proposition 4, we obtain immediately the following theorem.
Theorem 10
- (a):
-
Let \(n\in {\mathbb {N}}\) and \(x,y\in [0,1]\). Then
$$\begin{aligned} \left[ sgn{(x-y)}\right] ^q(B(n,x)-B(n,y))^{*q}\ge _{(q-1)cx}0. \end{aligned}$$ - (b):
-
Let \(x,y\ge 0\). Then
$$\begin{aligned} \left[ sgn{(x-y)}\right] ^q(Poiss(x)-Poiss(y))^{*q}\ge _{(q-1)cx} 0 . \end{aligned}$$ - (c):
-
Let \(r_1,r_2\ge 0\) and \(p_1,p_2\in [0,1)\). If \((r_1-r_2)(p_1-p_2)\ge 0\), then
$$\begin{aligned} \left[ \frac{1}{2}\left( sgn(r_1-r_2)+sgn(p_1-p_2)\right) \right] ^q\left( NB(r_1,p_1)- NB(r_2,p_2)\right) ^{*q}\ge _{(q-1)cx} 0 . \end{aligned}$$ - (d):
-
Let \(\alpha _1,\alpha _2\ge 0\) and \(\beta _1,\beta _2>0\) satisfy \((\alpha _1-\alpha _2)(\beta _1-\beta _2)\le 0\). Then
$$\begin{aligned} \left[ \frac{1}{2}\left( sgn(\alpha _1-\alpha _2)+sgn(\beta _2-\beta _1)\right) \right] ^q\left( \Gamma (\alpha _1,\beta _1)-\Gamma (\alpha _2,\beta _2)\right) ^{*q}\ge _{(q-1)cx} 0 . \end{aligned}$$ - (e):
-
Let \(\alpha _1,\beta _1,\alpha _2,\beta _2>0\) satisfy \((\alpha _1-\alpha _2)(\beta _1-\beta _2)\le 0\). Then
$$\begin{aligned}&\left[ \frac{1}{2}\left( sgn(\alpha _1-\alpha _2)+sgn(\beta _2-\beta _1)\right) \right] ^q\left( Beta(\alpha _1,\beta _1)-Beta(\alpha _2,\beta _2)\right) ^{*q}\\&\quad \ge _{(q-1)cx} 0 . \end{aligned}$$ - (f):
-
Let \(x,y\in {\mathbb {R}}\) and \(\sigma ^2>0\). Then
$$\begin{aligned} sgn{(x-y)}^q(N(x,\sigma ^2)-N(y,\sigma ^2))^{*q}\ge _{(q-1)cx} 0 . \end{aligned}$$
Note that Theorem 2 is an immediate consequence of Theorem 10 (a) and Definition 1. If \(n\in {\mathbb {N}}\) and \(x,y\in [0,1]\), then B(n, x) and B(n, y) are probability distributions on [0, n]. Let \(q=2,3,\dots \) and \(f:[0,1]\rightarrow {\mathbb {R}}\) be a \((q-1)\)-convex function. Then the function \(\varphi :[0,qn]\rightarrow {\mathbb {R}}\) given by \(\varphi (t)=f\left( \frac{t}{qn}\right) \) is a \((q-1)\)-convex (q-monotone) function. By Theorem 10 (a) and Definition 1, we obtain (4). Since \(B(n,x)*B(m,x)=B(n+m,x)\), (4) can be also written as
Theorem 2 is closely related to Bernstein operator (or Bernstein-Schnabl operator) and the binomial probability distribution. Theorem 10 allows to obtain similar results related to other distributions and other interpolation operators, such as Mirakyan-Szász operators \(S_t\), Baskakov operators \(V_t\), Bleimann-Butzer-Hahn operators \(L_n\), gamma operators \(G_t\), Müller gamma operators \(G^*_t\), Lupaş beta operators \({\mathcal {B}}^*_t\), inverse beta operators \(T_t\), Meyer–König–Zeller operators \(M_t\) and others.
Mirakyan-Szász operator \(S_t:D_S\rightarrow {{\mathcal {C}}}([0,\infty ))\) (where \(t>0\) and \(D_S\subset {{\mathcal {C}}}([0,\infty ))\) consists of functions of at most exponential growth) is related to the Poisson distribution and is given by
where \(s_{i}(x)=e^{-x}\frac{x^i}{i!}\). By Theorem 10 (b), we obtain immediately:
for every \(t>0\) and \((q-1)\)-convex (q-monotone) function \(f\in D_S\) (cf. [2, Theorem 3.1]).
Baskakov operator \(V_t:D_V\rightarrow {{\mathcal {C}}}([0,\infty ))\) (where \(t>0\) and \(D_V\subset {{\mathcal {C}}}([0,\infty ))\) consists of functions of at most polynomial growth) is related to the negative binomial distribution and is given by
where \(v_{t,i}(x)=\left( {\begin{array}{c}t+i-1\\ i\end{array}}\right) \frac{x^i}{(1+x)^{t+i}}=nb_i\left( t,\frac{x}{x+1}\right) \). Theorem 10 (c) yields the inequality
for every \(q=2,3,\dots \), \(t>0\) and \((q-1)\)-convex (q-monotone) function \(f\in D_V\) (cf. [2, Theorem 3.2]).
Theorem 10(d)–(f) leads in the obvious way to other inequalities related to integral interpolation operators. These inequalities are integral counterparts of the above inequalities. E.g. Theorem 10(d) leads to
which is related to the gamma distribution and the operator
References
Abel, U.: An inequality involving Bernstein polynomials and convex functions. J. Approx. Theory 222, 1–7 (2017)
Abel, U., Leviatan, D.: An extension of Raşa’s conjecture to q-monotone functions. Results Math. 75(4), 181–193 (2020)
Abel, U., Raşa, I.: A sharpening problem on Bernstein polynomials and convex functions. Math. Inequal. Appl. 21(3), 773–777 (2018)
Gavrea, B.: On a convexity problem in connection with some linear operators. J. Math. Anal. Appl. 461, 319–332 (2018)
Hopf, E.: Uber die Zusammen hange zwischen gewissen hoheren Differenzen-qoutienten reelen Funktionen einer reelen Variablen und deren Differenzierbarkeitseigenschaften. Thesis Univ. of Berlin, Berlin (1926)
Komisarski, A., Rajba, T.: Muirhead inequality for convex orders and a problem of I. Raşa on Bernstein polynomials. J. Math. Anal. Appl. 458, 821–830 (2018)
Komisarski, A., Rajba, T.: A sharpening of a problem on Bernstein polynomials and convex functions and related results. Math. Inequal. Appl. 21(4), 1125–1133 (2018)
Komisarski, A., Rajba, T.: Convex order for convolution polynomials of Borel measures. J. Math. Anal. Appl. 478, 182–194 (2019)
Kuczma, M.: An Introduction to the Theory of Functional Equations and Inequalities. Prace Naukowe Uniwersytetu Śla̧skiego w Katowicach, vol. 489. Państwowe Wydawnictwo Naukowe – Uniwersytet Śla̧ski, Warszawa, Kraków, Katowice (1985)
Lorentz, G.G.: Bernstein polynomials. Mathematical Expositions. No. 8., University of Toronto Press, Toronto (1953)
Mrowiec, J., Rajba, T., Wa̧sowicz, S.: A solution to the problem of Raşa connected with Bernstein polynomials. J. Math. Anal. Appl. 446, 864–878 (2017)
Popoviciu, T.: Sur quelques proprietes des fonctions d’une ou de deux variables reelles. Mathematica 8, 1–85 (1934)
Popoviciu, T.: Les Fonctions Convexes. Hermann, Paris (1944)
Raşa, I.: 2. Problem, p. 164. In: Report of Meeting Conference on Ulam’s Type Stability, Rytro, Poland, June 2–6, 2014, Ann. Univ. Paedagog. Crac. Stud. Math. 13, 139–169 (2014). https://doi.org/10.2478/aupcsm-2014-0011
Raşa, I.: Bernstein polynomials and convexity: recent probabilistic and analytic proofs. The Workshop “Numerical Analysis, Approximation and Modeling”, T. Popoviciu Institute of Numerical Analysis, Cluj-Napoca, June 14, (2017). http://ictp.acad.ro/zileleacademice-clujene-2017/
Shaked, M., Shanthikumar, J.G.: Stochastic Orders. Springer, Berlin (2007)
Funding
No extra funding for this research.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally.
Corresponding author
Ethics declarations
Conflict of interest
No potential conflict of interest was reported by the authors.
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
Komisarski, A., Rajba, T. On the Raşa Inequality for Higher Order Convex Functions. Results Math 76, 103 (2021). https://doi.org/10.1007/s00025-021-01417-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-021-01417-2