Skip to main content

Advertisement

Chebyshev type inequalities via generalized fractional conformable integrals

Article metrics

  • 276 Accesses

Abstract

Our aim in this present paper is to establish several Chebyshev type inequalities involving generalized fractional conformable integral operator recently introduced by T.U. Khan and M.A. Khan (J. Comput. Appl. Math. 346:378–389, 2019). Also, we present Chebyshev type inequalities involving Riemann–Liouville type fractional conformable integral operators as a particular result of our main result.

Introduction

Fractional calculus is an extremely useful tool to carry out differentiation and integration of real or complex number orders. This subject has received great consideration from researchers and mathematicians throughout the last few decades. Beginning with the classical Riemann–Liouville fractional integral and derivative operators, a large number of fractional integral and derivative operators and their generalizations have been presented (see, e.g., [2,3,4]). Among a large number of the fractional integral operators developed, due to applications in many fields of sciences, the Riemann–Liouville fractional integral operator has been extensively investigated. Integrations with weight functions are utilized in numerous mathematical problems such as approximation theory, spectral analysis, statistical analysis, and the theory of statistical distributions. Recently Khan et al. [5] established certain inequalities of the Hermite–Hadamard type with applications. In [6], the authors established Ostrowski type inequalities involving conformable fractional integrals. In [7,8,9,10], the authors introduced Hermite–Hadamard–Fejer inequalities for conformable fractional integrals via preinvex functions, generalized inequalities via GG-convexity and GA-convexity, Hermite–Hadamard type inequalities via the Montgomery identity, and Hermite–Hadamard type inequalities pertaining conformable fractional integrals and their applications. Rahman et al. [11] established certain Chebyshev type inequalities involving fractional conformable integral operators. In [12], the authors introduced the Minkowski inequalities via generalized proportional fractional integral operators. Some new inequalities involving fractional conformable integrals are found in the work of Nisar et al. [13]. Also, many researchers (see, e.g., [14,15,16,17,18,19,20,21,22,23]) have established a variety of inequalities by employing Riemann–Liouville fractional integral and derivative operators and their generalizations.

Recall the Chebyshev inequality [24] for two integrable and synchronous functions Φ and Ψ defined on \([a,b]\)

$$ \frac{1}{b-a} \int _{a}^{b} \varPhi (\theta )\varPsi (\theta )\,d\theta \geq \biggl(\frac{1}{b-a} \int _{a}^{b} \varPhi (\theta )\,d\theta \biggr) \biggl( \frac{1}{b-a} \int _{a}^{b} \varPsi (\theta )\,d\theta \biggr). $$
(1)

The two functions Φ and Ψ are said to be synchronous on \([a,b]\) if

$$ \bigl(\varPhi (\zeta ) - \varPhi (\varrho )\bigr) \bigl(\varPsi (\zeta ) - \varPsi (\varrho )\bigr) \geq 0 \quad \bigl(\zeta , \varrho \in [a,b]\bigr). $$
(2)

In [25,26,27,28], various researchers studied and introduced various generalizations of inequality (1). In [29], Belarbi and Dahmani established the following results related to the Chebyshev inequalities via Riemann–Liouville fractional integral operators.

Theorem 1.1

Suppose that Φ and Ψ are two synchronous functions defined on \([0,\infty )\). Then the following inequality holds for all \(\theta > 0\), \(\xi > 0\):

$$ \mathcal{I}^{\xi }(\varPhi \varPsi ) (\theta ) \geq \frac{\varGamma (\xi +1)}{ \theta ^{\xi }} \mathcal{I}^{\xi }\varPhi (\theta ) \mathcal{I}^{\xi } \varPsi (\theta ). $$
(3)

Theorem 1.2

Suppose that Φ and Ψ are two synchronous functions defined on \([0,\infty )\). Then the following inequality holds for all \(\theta > 0\), \(\xi > 0\), \(\lambda > 0\):

$$ \frac{\theta ^{\xi }}{\varGamma (\xi +1)}\mathcal{I}^{\lambda }(\varPhi \varPsi ) (\theta ) + \frac{\theta ^{\lambda }}{\varGamma (\lambda +1)} \mathcal{I}^{\xi }(\varPhi \varPsi ) (\theta ) \geq \mathcal{I}^{\xi }\varPhi ( \theta ) \mathcal{I}^{\lambda }\varPsi (\theta ) + \mathcal{I}^{\lambda }\varPhi (\theta ) \mathcal{I}^{\xi }\varPsi (\theta ). $$
(4)

Theorem 1.3

Suppose that \((\varPhi _{j})_{j=1,\ldots,n}\) are n positive increasing functions defined on \([0,\infty )\). Then the following inequality holds for any \(\theta > 0\), \(\xi > 0\):

$$ \mathcal{I}^{\xi } \Biggl(\prod_{j=1}^{n} \varPhi _{j} \Biggr) (\theta ) \geq \bigl(\mathcal{I}^{\xi }(1) \bigr)^{1-n} \prod_{i=1}^{n} \mathcal{I}^{ \xi }\varPhi _{j}(\theta ) . $$
(5)

Theorem 1.4

Suppose that Φ and Ψ are two functions defined on \([0,\infty )\) such that Φ is increasing, Ψ is differentiable, and there exists a real number \(m := \inf_{\theta \geq 0} g^{\prime }(\theta )\). Then the following inequality is valid for all \(\theta > 0\), \(\xi > 0\):

$$ \mathcal{I}^{\xi }(\varPhi \varPsi ) (\theta ) \geq \bigl(\mathcal{I}^{\xi }(1) \bigr)^{-1} \mathcal{I}^{\xi }\varPhi (\theta ) \mathcal{I}^{\xi }\varPsi (\theta ) - \frac{m\theta }{\xi +1} \mathcal{I}^{\xi } \varPhi (\theta ) + m\mathcal{I}^{\xi }\bigl(\theta \varPsi ( \theta )\bigr). $$
(6)

The left and right generalized fractional conformable integral operators are presented respectively in [1] as follows:

$$\begin{aligned} _{\xi }^{\eta }\mathcal{I}_{a^{+}}^{\lambda } \varPhi (\theta )=\frac{1}{ \varGamma (\lambda )} \int _{a}^{\theta } \biggl(\frac{\theta ^{\xi +\eta }- \tau ^{\xi +\eta }}{\xi +\eta } \biggr)^{\lambda -1}\frac{\varPhi (\tau )}{ \tau ^{1-\xi -\eta }}\,d\tau ,\quad \theta >a, \end{aligned}$$
(7)

and

$$\begin{aligned} _{\xi }^{\eta }\mathcal{I}_{b^{-}}^{\lambda } \varPhi (\theta )=\frac{1}{ \varGamma (\lambda )} \int _{\theta }^{b} \biggl(\frac{\tau ^{\xi +\eta }- \theta ^{\xi +\eta }}{\xi +\eta } \biggr)^{\lambda -1}\frac{\varPhi ( \tau )}{\tau ^{1-\xi -\eta }}\,d\tau ,\quad \theta < b, \end{aligned}$$
(8)

where \(\lambda \in \mathbb{C}\), \(\Re (\lambda )>0\), \(\xi \in (0,1] \), \(\eta \in \mathbb{R}\), \(\xi +\eta \neq 0\), and Γ is the well-known gamma function [30].

Remark 1

(i) If \(\eta =0\) in (7) and (8), then we have the following Riemann–Liouville type fractional conformable integral operators:

$$\begin{aligned} _{\xi }\mathcal{I}_{a^{+}}^{\lambda }\varPhi ( \theta )=\frac{1}{\varGamma ( \lambda )} \int _{a}^{\theta } \biggl(\frac{\theta ^{\xi }-\tau ^{\xi }}{ \xi } \biggr)^{\lambda -1}\frac{\varPhi (\tau )}{\tau ^{1-\xi }}\,d\tau ,\quad \theta >a, \end{aligned}$$
(9)

and

$$\begin{aligned} _{\xi }\mathcal{I}_{b^{-}}^{\lambda }\varPhi ( \theta )=\frac{1}{\varGamma ( \lambda )} \int _{\theta }^{b} \biggl(\frac{\tau ^{\xi }-\theta ^{\xi }}{ \xi } \biggr)^{\lambda -1}\frac{\varPhi (\tau )}{\tau ^{1-\xi }}\,d\tau ,\quad \theta < b, \end{aligned}$$
(10)

where \(\lambda \in \mathbb{C}\), \(\Re (\lambda )>0\), \(\xi \in (0,1] \).

(ii) If \(\xi =1\) in (9) and (10), then we obtain the following Riemann–Liouville fractional integral operators:

$$\begin{aligned} \mathcal{I}_{a^{+}}^{\lambda }\varPhi (\theta )= \frac{1}{\varGamma (\lambda )} \int _{a}^{\theta } (\theta -\tau )^{\lambda -1}\varPhi ( \tau )\,d\tau ,\quad \theta >a, \end{aligned}$$
(11)

and

$$\begin{aligned} \mathcal{I}_{b^{-}}^{\lambda }\varPhi (\theta )= \frac{1}{\varGamma (\lambda )} \int _{\theta }^{b} (\tau -\theta )^{\lambda -1}\varPhi ( \tau )\,d\tau ,\quad \theta < b, \end{aligned}$$
(12)

where \(\lambda \in \mathbb{C}\), \(\Re (\lambda )>0\).

In this paper, we consider the following one-sided fractional conformable integral operator for conformable integrable function Φ:

$$\begin{aligned} _{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi ( \theta )=\frac{1}{\varGamma ( \lambda )} \int _{0}^{\theta } \biggl(\frac{\theta ^{\xi +\eta }- \tau ^{\xi +\eta }}{\xi +\eta } \biggr)^{\lambda -1}\frac{\varPhi (\tau )}{ \tau ^{1-\xi -\eta }}\,d\tau , \end{aligned}$$
(13)

where \(\lambda \in \mathbb{C}\), \(\Re (\lambda )>0\), \(\xi \in (0,1] \), \(\eta \in \mathbb{R}\), and \(\xi +\eta \neq 0\).

Remark 2

(i) When we let \(\eta =0\), then (13) will lead to the following Riemann–Liouville type fractional conformable integral operator:

$$\begin{aligned} _{\xi }\mathcal{I}^{\lambda }\varPhi (\theta )= \frac{1}{\varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{\theta ^{\xi }-\tau ^{\xi }}{\xi } \biggr) ^{\lambda -1}\frac{\varPhi (\tau )}{\tau ^{1-\xi }}\,d\tau . \end{aligned}$$
(14)

(ii) When we let \(\eta =0\) and \(\xi =1\), then (13) will lead to the following Riemann–Liouville fractional integral operator:

$$\begin{aligned} \mathcal{I}^{\lambda }\varPhi (\theta )=\frac{1}{\varGamma (\lambda )} \int _{0}^{\theta } (\theta -\tau )^{\lambda -1}\varPhi ( \tau )\,d \tau . \end{aligned}$$
(15)

Our aim is to establish Chebyshev type inequalities with two synchronous functions for a new generalized integral.

Main results

In this section, we present Chebyshev type inequalities involving generalized fractional conformable integral operator (13).

Theorem 2.1

Let Φ and Ψ be two integrable functions which are synchronous on \([0,\infty )\). Then

$$ \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) ( \theta ) \geq \frac{\varGamma (\lambda +1)(\xi +\eta )^{\lambda }}{ \theta ^{(\xi +\eta ) \lambda }} \bigl({}_{\xi }^{\eta }\mathcal{I} ^{\lambda }\varPhi \bigr) (\theta ) \bigl({}_{\xi }^{\eta } \mathcal{I} ^{\lambda }\varPsi \bigr) (\theta ), $$
(16)

where \(\lambda \in \mathbb{C}\), \(\Re (\lambda )>0\), \(\xi \in (0,1]\), \(\eta \in \mathbb{R}\), \(\xi +\eta \neq 0\), and Γ is the gamma function.

Proof

Since Φ and Ψ are synchronous on \([0,\infty )\), we have

$$ \bigl(\varPhi (\zeta ) - \varPhi (\varrho )\bigr) (\varPsi (\zeta ) - \varPsi (\varrho ) \geq 0, $$
(17)

or equivalently

$$ \varPhi (\zeta )\varPsi (\zeta )+\varPhi (\varrho )\varPsi (\varrho ) \geq \varPhi ( \zeta )\varPsi (\varrho )+\varPhi (\varrho )\varPsi (\zeta ). $$
(18)

Multiplying both sides of (18) by \(\frac{1}{\varGamma (\lambda ) \zeta ^{1-\xi -\eta }} (\frac{\theta ^{\xi +\eta } - \zeta ^{\xi +\eta }}{\xi +\eta } )^{\lambda -1}\) and integrating the resultant inequality with respect to ζ over \((0,\theta )\), we get

$$\begin{aligned} &\frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \zeta ^{\xi +\eta }}{\xi } \biggr)^{\lambda -1} \frac{\varPhi (\zeta )\varPsi (\zeta )}{\zeta ^{1-\xi -\eta }} \,d\zeta + \frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \zeta ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \lambda -1} \frac{\varPhi (\varrho )\varPsi (\varrho )}{\zeta ^{1-\xi - \eta }} \,d\zeta \\ &\quad \geq \frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \zeta ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \lambda -1} \frac{\varPhi (\zeta )\varPsi (\varrho )}{\zeta ^{1-\xi -\eta }} \,d\zeta \\ &\qquad {}+ \frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \zeta ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \lambda -1} \frac{\varPhi (\varrho )\varPsi (\zeta )}{\zeta ^{1-\xi -\eta }} \,d\zeta . \end{aligned}$$

It follows that

$$\begin{aligned} & \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) ( \theta ) + \varPhi (\varrho )\varPsi (\varrho ) \frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \zeta ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \lambda -1} \frac{d\zeta }{\zeta ^{1-\xi -\eta }} \\ &\quad \geq \varPsi (\varrho ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPhi \bigr) (\theta ) + \varPhi (\varrho ) \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda }\varPsi \bigr) (\theta ). \end{aligned}$$

Thus, we obtain

$$ \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPhi \varPsi \bigr) ( \theta ) + \frac{\theta ^{(\xi +\eta ) \lambda }}{\varGamma (\lambda +1)( \xi +\eta )^{\lambda }} \varPhi (\varrho )\varPsi (\varrho ) \geq \varPsi ( \varrho ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPhi \bigr) ( \theta ) + \varPhi (\varrho ) \bigl({}_{\xi }^{\eta } \mathcal{I}^{ \lambda }\varPsi \bigr) (\theta ), $$
(19)

where

$$ \int _{0}^{\theta } \biggl(\frac{\theta ^{\xi +\eta } - \zeta ^{\xi + \eta }}{\xi +\eta } \biggr)^{\lambda -1}\frac{d\zeta }{ \zeta ^{1-\xi -\eta }} = \frac{\theta ^{(\xi +\eta ) \lambda }}{\lambda (\xi +\eta )^{\lambda }}. $$

Multiplying both sides of (19) by \(\frac{1}{ \varGamma (\lambda ) \varrho ^{1-\xi -\eta }} (\frac{\theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } )^{\lambda -1}\) and integrating the resultant identity with respect to ϱ over \((0,\theta )\), we get

$$\begin{aligned} & \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) ( \theta ) \frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \lambda -1} \frac{d\varrho }{\varrho ^{1-\xi -\eta }} \\ &\qquad{}+ \frac{\theta ^{(\xi +\eta ) \lambda }}{\varGamma (\lambda +1)(\xi + \eta )^{\lambda }} \frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{\theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr) ^{\lambda -1} \frac{\varPhi (\varrho )\varPsi (\varrho )}{\varrho ^{1-\xi - \eta }} \,d\varrho \\ &\quad \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \bigr) ( \theta ) \frac{1}{\varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \lambda -1} \frac{\varPsi (\varrho )}{\varrho ^{1-\xi -\eta }} \,d\varrho \\ &\qquad{}+ \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPsi \bigr) ( \theta ) \frac{1}{ \varGamma (\lambda )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \lambda -1} \frac{\varPhi (\varrho )}{\varrho ^{1-\xi -\eta }} \,d\varrho . \end{aligned}$$

It follows that

$$\begin{aligned} & \frac{\theta ^{(\xi +\eta ) \lambda }}{\varGamma (\lambda +1)(\xi + \eta )^{\lambda }} \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPhi \varPsi \bigr) (\theta ) + \frac{\theta ^{(\xi +\eta ) \lambda }}{ \varGamma (\lambda +1)(\xi +\eta )^{\lambda }} \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda }\varPhi \varPsi \bigr) (\theta ) \\ &\quad \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \bigr) ( \theta ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPsi \bigr) ( \theta ) + \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPhi \bigr) ( \theta ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPsi \bigr) ( \theta ), \end{aligned}$$

which completes the desired proof. □

Corollary 1

Let Φ and Ψ be two integrable functions which are synchronous on \([0,\infty )\). Then

$$ \bigl({}_{\xi }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) (\theta ) \geq \frac{\varGamma (\lambda +1)\xi ^{\lambda }}{\theta ^{ \xi \lambda }} \bigl({}_{\xi }\mathcal{I}^{\lambda }g \bigr) (\theta ) \bigl({}_{\xi }\mathcal{I}^{\lambda }\varPsi \bigr) (\theta ), $$
(20)

where \(\xi \in (0,1] \), \(\lambda \in \mathbb{C}\), and \(\Re (\lambda )>0\).

Proof

If we take \(\eta =0\) in Theorem 2.1, then we get the desired inequality involving Riemann–Liouville type conformable fractional integral. □

Remark 3

Applying Theorem 2.1 for \(\eta =0\) and \(\xi =1\) will give Theorem 1.1.

Theorem 2.2

Let Φ and Ψ be two integrable functions which are synchronous on \([0,\infty )\). Then

$$\begin{aligned} &\frac{\theta ^{(\xi +\eta ) \tau }}{\varGamma (\tau +1)(\xi +\eta )^{ \tau }} \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPhi \varPsi \bigr) ( \theta ) + \frac{\theta ^{(\xi +\eta ) \lambda }}{\varGamma (\lambda +1)( \xi +\eta )^{\lambda }} \bigl({}_{\xi }^{\eta } \mathcal{I}^{\tau } \varPhi \varPsi \bigr) (\theta ) \\ &\quad \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \bigr) ( \theta ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{\tau }\varPsi \bigr) ( \theta ) + \bigl({}_{\xi }^{\eta }\mathcal{I}^{\tau } \varPhi \bigr) ( \theta ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPsi \bigr) ( \theta ), \end{aligned}$$
(21)

where \(\lambda , \tau \in \mathbb{C}\), \(\Re (\lambda )>0\), \(\Re (\tau )>0\), \(\xi \in (0,1]\), \(\eta \in \mathbb{R}\), and \(\xi +\eta \neq 0\).

Proof

Multiplying both sides of (19) by \(\frac{1}{\varGamma (\tau ) \varrho ^{1-\xi -\eta }} (\frac{\theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } )^{\tau -1}\) and integrating the resultant inequality with respect to ϱ over \((0,\theta )\), we get

$$\begin{aligned} & \frac{ ({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \varPsi )( \theta )}{\varGamma (\tau )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \tau -1}\frac{d\varrho }{\varrho ^{1-\xi -\eta }} \\ &\quad{}+ \frac{\theta ^{(\xi +\eta ) \lambda }}{\varGamma (\lambda +1)(\xi + \eta )^{\lambda }} \frac{1}{\varGamma (\tau )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \tau -1} \frac{\varPhi (\varrho ) \varPsi (\varrho )}{\varrho ^{1-\xi - \eta }} \,d\varrho \\ &\geq \frac{ ({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi )( \theta )}{\varGamma (\tau )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \tau -1} \frac{\varPsi (\varrho )}{\varrho ^{1-\xi -\eta }} \,d\varrho \\ &\quad{}+ \frac{ ({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPsi )( \theta )}{\varGamma (\tau )} \int _{0}^{\theta } \biggl(\frac{ \theta ^{\xi +\eta } - \varrho ^{\xi +\eta }}{\xi +\eta } \biggr)^{ \tau -1} \frac{\varPhi (\varrho )}{\varrho ^{1-\xi -\eta }} \,d\varrho . \end{aligned}$$

Therefore, we have

$$\begin{aligned} &\frac{\theta ^{(\xi +\eta ) \tau }}{\varGamma (\tau +1)(\xi +\eta )^{ \tau }} \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \varPhi \varPsi \bigr) ( \theta ) + \frac{\theta ^{(\xi +\eta ) \lambda }}{\varGamma (\lambda +1)( \xi +\eta )^{\lambda }} \bigl({}_{\xi }^{\eta } \mathcal{I}^{\tau } \varPhi \varPsi \bigr) (\theta ) \\ &\quad \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \bigr) ( \theta ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{\tau } \varPsi \bigr) ( \theta ) + \bigl({}_{\xi }^{\eta } \mathcal{I}^{\tau }\varPhi \bigr) ( \theta ) \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda }\varPsi \bigr) ( \theta ), \end{aligned}$$

which completes the desired proof of Theorem 2.2. □

Remark 4

If we consider \(\tau = \lambda \) in Theorem 2.2, then we obtain Theorem 2.1.

Corollary 2

Suppose that Φ and Ψ are two integrable functions which are synchronous on \([0,\infty )\). Then

$$\begin{aligned} &\frac{\theta ^{\xi \tau }}{\varGamma (\tau +1)\xi ^{\tau }} \bigl({}_{ \xi }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) (\theta ) + \frac{ \theta ^{\xi \lambda }}{\varGamma (\lambda +1)\xi ^{\lambda }} \bigl({}_{\xi }\mathcal{I}^{\tau } \varPhi \varPsi \bigr) (\theta ) \\ &\quad \geq \bigl({}_{\xi }\mathcal{I}^{\lambda }\varPhi \bigr) (\theta ) \bigl({}_{\xi }\mathcal{I}^{\tau }\varPsi \bigr) (\theta ) + \bigl({}_{\xi }\mathcal{I}^{\tau }\varPhi \bigr) (\theta ) \bigl({}_{\xi } \mathcal{I}^{\lambda }\varPsi \bigr) (\theta ), \end{aligned}$$
(22)

where \(\lambda , \tau \in \mathbb{C}\), \(\Re (\lambda )>0\), \(\Re (\tau )>0\), \(\xi \in (0,1]\).

Proof

If we take \(\eta = 0\) in Theorem 2.2, then we get the desired inequality involving Riemann–Liouville type fractional conformable integral operator. □

Remark 5

If we consider \(\eta =0\) and \(\xi =1\) 2.2, then we get Theorem 1.2.

Remark 6

The inequalities in Theorems 2.1 and 2.2 will be reversed if the functions are asynchronous on \([0,\infty )\).

Theorem 2.3

Let \((\varPhi _{j})_{j=1,2,\ldots,n}\) be n positive increasing functions on \([0,\infty )\). Then, for \(\theta >0\), \(\xi \in (0,1]\), \(\eta \in \mathbb{R}\), \(\lambda \in \mathbb{C}\), we have

$$ {}_{\xi }^{\eta }\mathcal{I}^{\lambda } \Biggl( \prod_{j=1}^{n} \varPhi _{j} \Biggr) (\theta ) \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{ \lambda }(1) \bigr)^{1-n} \prod_{j=1}^{n} \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda }\varPhi _{j} \bigr) (\theta ) . $$
(23)

Proof

To prove this theorem, we apply induction on n. Obviously, for \(n = 1\), we have

$$ {}_{\xi }^{\eta }\mathcal{I}^{\lambda }(\varPhi _{1}) ( \theta )\geq {}_{ \xi }^{\eta }\mathcal{I}^{\lambda }(\varPhi _{1}) (\theta ) \quad \text{for all } \theta >0 $$

holds. For \(n = 2\), since \(\varPhi _{1}\) and \(\varPhi _{2}\) are positive and increasing functions, therefore we have

$$\begin{aligned} \bigl(\varPhi _{1}(\theta )-\varPhi _{1}(y)\bigr) \bigl(\varPhi _{2}(\theta )-\varPhi _{2}(y)\bigr) \geq 0. \end{aligned}$$

Hence, by applying Theorem 2.1, we obtain

$$ {}_{\xi }^{\eta }\mathcal{I}^{\lambda }(\varPhi _{1} \varPhi _{2}) (\theta ) \geq \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda }(1) \bigr)^{-1} {}_{\xi }^{\eta } \mathcal{I}^{\lambda }(\varPhi _{1}) (\theta ){}_{\xi } ^{\eta }\mathcal{I}^{\lambda }(\varPhi _{2}) (\theta )\quad \text{for all } \theta >0. $$

Now, assume that by induction hypothesis

$$\begin{aligned} {}_{\xi }^{\eta }\mathcal{I}^{\lambda } \Biggl( \prod_{j=1}^{n-1} \varPhi _{j} \Biggr) (\theta ) \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{ \lambda }(1) \bigr)^{2-n} \prod_{j=1}^{n-1} \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda }\varPhi _{j} \bigr) (\theta ),\quad \theta >0. \end{aligned}$$
(24)

Since \(\varPhi _{j}\); \(j=1,2,\ldots ,n\), are positive increasing functions on \(\mathbb{R^{+}}\), therefore \(g:=\prod_{j=1}^{n-1} \varPhi _{j}\) is increasing on \(\mathbb{R^{+}}\). Let \(h:=\varPhi _{n}\). Applying Theorem 2.1 to the functions Φ and Ψ, we have

$$\begin{aligned} & {}_{\xi }^{\eta }\mathcal{I}^{\lambda } \Biggl( \prod _{j=1}^{n} \varPhi _{j} \Biggr) ( \theta )={}_{\xi }^{\eta }\mathcal{I}^{\lambda }(\varPhi \varPsi ) ( \theta ) \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }(1) \bigr) ^{-1} {}_{\xi }^{\eta }\mathcal{I}^{\lambda } \Biggl( \prod_{j=1}^{n-1} \varPhi _{j} \Biggr) (\theta ) \bigl({}_{\xi }^{\eta }\mathcal{I}^{ \lambda } \varPhi _{n} \bigr) (\theta ). \end{aligned}$$

By using (24), we obtain

$$\begin{aligned} & {}_{\xi }^{\eta }\mathcal{I}^{\lambda } \Biggl( \prod _{j=1}^{n} \varPhi _{j} \Biggr) ( \theta ) \geq \bigl({}_{\xi }^{\eta }\mathcal{I}^{ \lambda }(1) \bigr)^{-1} \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }(1) \bigr)^{2-n} \Biggl({}_{\xi }^{\eta }\mathcal{I}^{\lambda } \prod_{j=1}^{n-1} \varPhi _{j} \Biggr) (\theta ) \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda } \varPhi _{n} \bigr) (\theta ), \end{aligned}$$

which completes the desired proof. □

Corollary 3

Suppose that \((\varPhi _{j})_{j=1,2,\ldots,n}\) are n positive increasing functions on \([0,\infty )\). Then, for \(\theta >0\), \(\xi \in (0,1]\), \(\lambda \in \mathbb{C}\), and \(\Re (\lambda )>0\), we have

$$ {}_{\xi }\mathcal{I}^{\lambda } \Biggl( \prod _{j=1}^{n} \varPhi _{j} \Biggr) ( \theta ) \geq \bigl({}_{\xi }\mathcal{I}^{\lambda }(1) \bigr)^{n-1} \prod_{j=1}^{n} \bigl({}_{\xi } \mathcal{I}^{\lambda }\varPhi _{j} \bigr) ( \theta ) . $$
(25)

Proof

If we let \(\eta =0\) in Theorem 2.3, then we get the desired corollary involving Riemann–Liouville type fractional conformable integral operator. □

Remark 7

If we let \(\eta =0\) and \(\xi =1\) in Theorem 2.3, we get Theorem 1.3.

Theorem 2.4

Let \(\xi \in (0,1]\), \(\eta \in \mathbb{R}\), \(\lambda \in \mathbb{C}\), \(\Re (\lambda )>0\), and \(\xi +\eta \neq 0\). Also, let two functions \(\varPhi , \varPsi : \mathbb{R}_{0}^{+} \rightarrow \mathbb{R}\) such that Φ is increasing and Ψ is differentiable with \(\varPsi ^{ \prime }\) bounded below, and let \(m = \inf_{\theta \in \mathbb{R}_{0} ^{+}} \varPsi ^{\prime }(\theta )\). Then

$$\begin{aligned} \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) ( \theta ) &\geq \frac{\varGamma (\lambda +1) (\xi +\eta )^{\lambda }}{ \theta ^{(\xi +\eta ) \lambda }} \bigl({}_{\xi }^{\eta } \mathcal{I} ^{\lambda }\varPhi \bigr) (\theta ) \bigl({}_{\xi }^{\eta } \mathcal{I} ^{\lambda }\varPsi \bigr) (\theta ) \end{aligned}$$
(26)
$$\begin{aligned} &\quad{}- \frac{m x}{(\lambda +1) } \bigl({}_{\xi }^{\eta }\mathcal{I} ^{\lambda }\varPhi \bigr) (\theta ) + m \bigl({}_{\xi }^{\eta } \mathcal{I}^{\lambda }i \varPhi \bigr) (\theta ), \end{aligned}$$
(27)

where \(i(\theta )\) is the identity function.

Proof

Let \(\varPsi (\theta ) = \varPsi (\theta ) - m\theta ^{\xi +\eta }\). We find that Ψ is differentiable and increasing on \(\mathbb{R}_{0}^{+}\). As in the process of Theorem 2.3, for clarity, let \(p(\theta ) := m\theta ^{\xi +\eta }\), we obtain

$$\begin{aligned} \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }g (h-p) \bigr) ( \theta ) &\geq \frac{\varGamma (\lambda +1) (\xi +\eta )^{\lambda }}{ \theta ^{(\xi +\eta ) \lambda }} \bigl({}_{\xi }^{\eta }\mathcal{I} ^{\lambda }\varPhi \bigr) (\theta ) \bigl({}_{\xi }^{\eta } \mathcal{I} ^{\lambda }(h-p) \bigr) (\theta ) \\ &= \frac{\varGamma (\lambda +1) (\xi +\eta )^{\lambda }}{ \theta ^{(\xi +\eta ) \lambda }} \bigl({}_{\xi }^{\eta }\mathcal{I} ^{\lambda }\varPhi \bigr) (\theta ) \bigl({}_{\xi }^{\eta } \mathcal{I} ^{\lambda }\varPsi \bigr) (\theta ) \\ &\quad{}- \frac{\varGamma (\lambda +1) (\xi +\eta )^{\lambda }}{ \theta ^{(\xi +\eta ) \lambda }} \bigl({}_{\xi }^{\eta }\mathcal{I} ^{\lambda }\varPhi \bigr) (\theta ) \bigl({}_{\xi }^{\eta } \mathcal{I} ^{\lambda }p \bigr) (\theta ). \end{aligned}$$
(28)

We have

$$ \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }g (h-p) \bigr) ( \theta ) = \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) ( \theta ) - m \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }i \varPhi \bigr) ( \theta ) $$
(29)

and

$$ \bigl({}_{\xi }^{\eta }\mathcal{I}^{\lambda }p \bigr) (\theta ) = \frac{m \theta ^{(\xi +\eta ) \lambda +1}}{\varGamma (\lambda +2) (\xi + \eta )^{\lambda }}. $$
(30)

Finally using (29) and (30) in (28), we obtain the desired result. □

Corollary 4

Let \(\xi \in (0,1]\), \(\lambda \in \mathbb{C}\), and \(\Re (\lambda )>0\). Also, let two functions \(\varPhi , \varPsi : \mathbb{R}_{0}^{+} \rightarrow \mathbb{R}\) such that Φ is increasing and Ψ is differentiable with \(\varPsi ^{\prime }\) bounded below, and let \(m = \inf_{\theta \in \mathbb{R}_{0}^{+}} \varPsi ^{\prime }(\theta )\). Then

$$\begin{aligned} \bigl({}_{\xi }\mathcal{I}^{\lambda }\varPhi \varPsi \bigr) (\theta ) &\geq \frac{\varGamma (\lambda +1) \xi ^{\lambda }}{\theta ^{\xi \lambda }} \bigl({}_{\xi }\mathcal{I}^{\lambda }\varPhi \bigr) ( \theta ) \bigl({}_{\xi }\mathcal{I}^{\lambda }\varPsi \bigr) (\theta ) \end{aligned}$$
(31)
$$\begin{aligned} &\quad{}- \frac{m x}{(\lambda +1) } \bigl({}_{\xi }\mathcal{I}^{\lambda }\varPhi \bigr) (\theta ) + m \bigl({}_{\xi }\mathcal{I}^{\lambda }i \varPsi \bigr) (\theta ), \end{aligned}$$
(32)

where \(i(\theta )\) is the identity function.

Proof

If we take \(\eta = 0\) in Theorem 2.4, then we get the desired Corollary 4, which involves Riemann–Liouville type fractional conformable integral operator. □

Remark 8

If we let \(\xi =1\) and \(\eta =0\) in Theorem 2.4, then we obtain Theorem 1.4.

Concluding remarks

Several Chebyshev type inequalities involving generalized conformable fractional integral operators are introduced in this paper. Also, we presented some particular results which involve Riemann–Liouville type conformable fractional integral operator. We observed that if we let \(\xi =1\) and \(\eta =0\), then the inequalities obtained in this paper will reduce to the inequalities obtained earlier by Belarbi and Dahmani [29].

References

  1. 1.

    Khan, T.U., Khan, M.A.: Generalized conformable fractional integral operators. J. Comput. Appl. Math. 346, 378–389 (2019). https://doi.org/10.1016/j.cam.2018.07.018

  2. 2.

    Kilbas, A.A., Srivastava, H.M., Truhillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

  3. 3.

    Podlubny, I.: Fractional Differential Equations. Academic Press, London (1999)

  4. 4.

    Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Reading (1993)

  5. 5.

    Khan, M.A., Khurshid, Y., Dragomir, S.S., Ullah, R.: Inequalities of the Hermite–Hadamard type with applications. Punjab Univ. J. Math. 50(3), 1–12 (2018)

  6. 6.

    Khan, M.A., Begum, S., Khurshid, Y., Chu, Y.M.: Ostrowski type inequalities involving conformable fractional integrals. J. Inequal. Appl. 2018, 70, 1–14 (2018)

  7. 7.

    Khurshid, Y., Adil Khan, M., Chu, Y.M.: Hermite–Hadamard–Fejer inequalities for conformable fractional integrals via preinvex functions. J. Funct. Spaces 2019, 1–9 Article ID 3146210 (2019)

  8. 8.

    Khurshid, Y., Khan, M.A., Chu, Y.M.: Generalized inequalities via GG-convexity and GA-convexity. J. Funct. Spaces 2019, Article ID 6926107, 1–8 (2019)

  9. 9.

    Khan, M.A., Khurshid, Y., Chu, Y.M.: Hermite–Hadamard type inequalities via the Montgomery identity. Commun. Math. Appl. 10(1), 85–97 (2019)

  10. 10.

    Iqbal, A., Khan, M.A., Ullah, S., Kashuri, A., Chu, Y.M.: Hermite–Hadamard type inequalities pertaining conformable fractional integrals and their applications. AIP Adv. 8, 075101, 1–18 (2018)

  11. 11.

    Rahman, G., Ullah, Z., Khan, A., Set, E., Nisar, K.S.: Certain Chebyshev type inequalities involving fractional conformable integral operators. Mathematics 7, 364 (2019). https://doi.org/10.3390/math7040364

  12. 12.

    Rahman, G., Khan, A., Abdeljawad, T., Nisar, K.S.: The Minkowski inequalities via generalized proportional fractional integral operators. Adv. Differ. Equ. 2019, 287 (2019). https://doi.org/10.1186/s13662-019-2229-7

  13. 13.

    Nisar, K.S., Tassaddiq, A., Rahman, G., Khan, A.: Some inequalities via fractional conformable integral operators. J. Inequal. Appl. 2019, 217 (2019)

  14. 14.

    Dahmani, Z., Tabharit, L.: On weighted Gruss type inequalities via fractional integration. J. Adv. Res. Pure Math. 2, 31–38 (2010)

  15. 15.

    Dahmani, Z.: New inequalities in fractional integrals. Int. J. Nonlinear Sci. 9(4), 493–497 (2010)

  16. 16.

    Kiryakova, V.: Generalized Fractional Calculus and Applications. Pitman Res. Notes Math. Ser., vol. 301. Longman, New York (1994)

  17. 17.

    Katrakhov, V.V., Sitnik, S.M.: The transmutation method and boundary-value problems for singular elliptic equations. Contemp. Math Fundam. Dir. 64, 211–426 (2018)

  18. 18.

    Ntouyas, K.S., Agarwal, P., Tariboon, J.: On Polya–Szego and Chebyshev types inequalities involving the Riemann–Liouville fractional integral operators. J. Math. Inequal. 10(2), 491–504 (2016)

  19. 19.

    Nisar, K.S., Qi, F., Rahman, G., Mubeen, S., Arshad, M.: Some inequalities involving the extended gamma function and the Kummer confluent hypergeometric k-function. J. Inequal. Appl. 2018, 135 (2018)

  20. 20.

    Nisar, K.S., Rahman, G., Choi, J., Mubeen, S., Arshad, M.: Certain Gronwall type inequalities associated with Riemann–Liouville k- and Hadamard k-fractional derivatives and their applications. East Asian Math. J. 34(3), 249–263 (2018)

  21. 21.

    Sarikaya, M.Z., Dahmani, Z., Kiris, M.E., Ahmad, F.: \((k, s)\)-Riemann–Liouville fractional integral and applications. Hacet. J. Math. Stat. 45(1), 77–89 (2016)

  22. 22.

    Set, E., Tomar, M., Sarikaya, M.Z.: On generalized Grüss type inequalities for k-fractional integrals. Appl. Math. Comput. 269, 29–34 (2015)

  23. 23.

    Rahman, G., Nisar, K.S., Mubeen, S., Choi, J.: Certain inequalities involving the \((k,\rho )\)-fractional integral operator. Far East J. Math. Sci.: FJMS 103(11), 1879–1888 (2018)

  24. 24.

    Chebyshev, P.L.: Sur les expressions approximatives des integrales definies par les autres prises entre les mmes limites. Proc. Math. Soc. Charkov 2, 93–98 (1882)

  25. 25.

    Rahman, G., Nisar, K.S., Qi, F.: Some new inequalities of the Gruss type for conformable fractional integrals. AIMS Math. 3(4), 575–583 (2018)

  26. 26.

    Qi, F., Rahman, G., Hussain, S.M., Du, W.S., Nisar, K.S.: Some inequalities of Čebyšev type for conformable k-fractional integral operators. Symmetry 10, 614 (2018). https://doi.org/10.3390/sym10110614

  27. 27.

    Özdemir, M.E., Set, E., Akdemir, A.O., Sarkaya, M.Z.: Some new Chebyshev type inequalities for functions whose derivatives belong to \(L_{p}\) spaces. Afr. Math. 26, 1609–1619 (2015)

  28. 28.

    Set, E., Dahmani, Z., Mumcu, I.: New extensions of Chebyshev type inequalities using generalized Katugampola integrals via Polya–Szeg inequality. Int. J. Optim. Control Theor. Appl. 8(2), 137–144 (2018)

  29. 29.

    Belarbi, S., Dahmani, Z.: On some new fractional integral inequalities. J. Inequal. Pure Appl. Math. 10(3), Article 86, 5 pp. (2009)

  30. 30.

    Srivastava, H.M., Choi, J.: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam (2012)

Download references

Acknowledgements

This project was supported by the Deanship of Scientific Research at Prince Sattam Bin Abdulaziz University under the research project # 2019/01/10384.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

All authors contributed equally. All authors read and approved the final manuscript.

Correspondence to Kottakkaran Sooppy Nisar.

Ethics declarations

Competing interests

The authors declare that they have 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Nisar, K.S., Rahman, G. & Mehrez, K. Chebyshev type inequalities via generalized fractional conformable integrals. J Inequal Appl 2019, 245 (2019) doi:10.1186/s13660-019-2197-1

Download citation

MSC

  • 26A33
  • 26D10
  • 26D15
  • 90C23
  • 33B20

Keywords

  • Fractional integral
  • Generalized fractional conformable integral
  • Inequalities