Some new parameterized Newton-type inequalities for differentiable functions via fractional integrals

Abstract

The main goal of the current study is to establish some new parameterized Newton-type inequalities for differentiable convex functions in the setting of fractional calculus. For this, first we prove a parameterized integral identity involving fractional integrals and then prove Newton-type inequalities for differentiable convex functions. It is also shown that the newly established parameterized inequalities are refinements of the already proved inequalities in the literature for different choices of parameters. Finally, we discuss a mathematical example along with a plot to show the validity of the newly established inequalities.

1 Introduction

The Hermite–Hadamard inequality was the first result given between convex functions and integrals. This inequality was introduced by Hermite [1] in 1883 and was later proved by Hadamard [2] in 1893. This inequality has the following mathematical form:

$$ \mathfrak{G} \biggl( \frac{\theta _{1}+\theta _{2}}{2} \biggr) \leq \frac{1}{\theta _{2}-\theta _{1}} \int _{\theta _{1}}^{\theta _{2}}\mathfrak{G} {(\varkappa )} \,d\varkappa \leq \frac{\mathfrak{G}(\theta _{1})+\mathfrak{G}(\theta _{2})}{2}, $$

(1.1)

where $\mathfrak{G}$ is a convex function. This inequality also holds in the reverse direction for concave functions.

This inequality has many advantages, especially in approximation theory, and is widely used. Due to its wide applications, mathematicians started working on it and came up with many new results. For example, Dragomir and Agarwal [3] found the boundaries of the trapezoidal formula by taking the difference of the middle part and the right part of this inequality and used differentiable convexity in the whole process. Later, Kirmaci [4] gave the boundaries of the midpoint formula, which were formed from the same inequality, he took the difference of the middle part from the left part and he also derived his results by using differentiable convexity. Qi and Xi [5] took the difference of the middle part of this inequality with the average of the left and right parts to establish a new inequality that is known as Bullen’s inequality.

However, because of their significance, researchers have used fractional calculus to create a variety of fractional integral inequalities that are useful in approximation theory. The bounds of mathematical integration formulas can be determined using inequalities such as Hermite–Hadamard, Simpson’s, midpoint, Ostrowski’s, and trapezoidal inequalities. In [6], the Hermite–Hadamard-type inequality and the bounds for the trapezoidal formula were established. Differentiable convexity was used in Set [7] to establish fractional Ostrowski-type inequalities. Through the use of Riemann–Liouville fractional integrals (RLFIs), İşcan and Wu [8] established certain bounds for numerical integration as well as an inequality of the Hermite–Hadamard type for reciprocal convex functions. Sarikaya and Yildirim established the midpoint bounds and a new version of the fractional inequality of the Hermite–Hadamard type in [9]. Sarikaya et al. [10] used the general convexity and RLFIs to obtain the bounds for Simpson’s $1/3$ formula. In [11], the authors used the RLFIs to discover some new boundaries for Simpson’s $1/3$ formula. The s-convexity was utilized by the authors of [12] to analyze different Simpson’s $1/3$ formula bounds. Generalized RLFIs were introduced as a new class of fractional integrals in 2020 by Sarikaya and Ertugral [13]; they also established Hermite–Hadamard-type inequalities related to the newly defined class of integrals. The ability to be transformed into the classical integral, RLFIs, k-RLFIs, Hadamard fractional integrals, etc. is the main benefit of the newly defined class of fractional integral operators. Zhao et al. used generalized RLFIs and reciprocal convex functions in [14] to obtain some bounds for a trapezoidal formula. Using the generalized RLFIs, Budak et al. [15] found certain approximations for Simpson’s $1/3$ formula for differentiable convex functions.

Recently, Sitthiwirattham et al. [16] found some bounds for Simpson’s $3/8$ formula using the RLFIs. For further inequalities that can be addressed using fractional and quantum integrals, see [17–27] and the references therein.

Motivated by the ongoing studies, we obtain some new parameterized inequalities of Simpson’s $3/8$ formula type using the convexity and RLFIs. The main benefit of the newly established inequalities is that these can be converted into classical and fractional inequalities of Newton type, trapezoidal type, and many others for different choices of the parameters and $\alpha =1$ without being establishing one by one.

The following is a description of the paper: The basics of fractional calculus and more significant research in this area are briefly reviewed in Sect. 2. In Sect. 3, we establish an essential identity that is key in pinpointing the paper’s major findings. In Sect. 4, we construct some new parameterized Newton-type inequalities for differentiable convex functions using RLFIs. In Section 5, we find numerous inequalities for $\alpha =1$ and various parameter selections. A few suggestions for further research are included in Sect. 6.

2 Fractional integrals and related inequalities

In this section, some inequalities and basics of fractional calculus are recalled.

Definition 1

([28, 29])

Let $\mathfrak{G}\in L_{1} [ \theta _{1},\theta _{2} ]$. The RLFIs of order $\alpha >0$ with $\theta _{1}\geq 0$ are stated as follows:

$$ J_{\theta _{1}+}^{\alpha }\mathfrak{G} ( \varkappa ) = \frac{1}{\Gamma ( \alpha ) } \int _{\theta _{1}}^{\varkappa } ( \varkappa -\rho ) ^{\alpha -1} \mathfrak{G} ( \rho ) \,d\rho , \quad \varkappa >\theta _{1} $$

and

$$ J_{\theta _{2}-}^{\alpha }\mathfrak{G} ( \varkappa ) = \frac{1}{\Gamma ( \alpha ) } \int _{\varkappa }^{\theta _{2}} ( \rho -\varkappa ) ^{\alpha -1} \mathfrak{G} ( \rho ) \,d\rho , \quad \varkappa < \theta _{2}, $$

respectively, where Γ is used for the notation of the Gamma function.

The following fractional Hermite–Hadamard-type inequality was first demonstrated in 2013 by Sarikaya et al.

Theorem 1

([6])

For a positive and convex mapping $\mathfrak{G}:I\subset \mathbb{R}\to \mathbb{R}$ with $\mathfrak{G}\in L_{1} [ \theta _{1},\theta _{2} ]$ and $0\leq \theta _{1}<\theta _{2}$, the following inequality holds:

$$ \mathfrak{G} \biggl( \frac{\theta _{1}+\theta _{2}}{2} \biggr) \leq \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha }\mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha }\mathfrak{G} ( \theta _{1} ) \bigr] \leq \frac{\mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) }{2}. $$

Following that, Sarikaya and Yildrim demonstrated the new fractional Hermite–Hadamard inequality as follows:

Theorem 2

([9])

For a positive and convex mapping $\mathfrak{G}:I\subset \mathbb{R}\to \mathbb{R}$ with $\mathfrak{G}\in L_{1} [ \theta _{1},\theta _{2} ]$, $0\leq \theta _{1}<\theta _{2}$ and $\theta _{1},\theta _{2}\in I$, the following inequality holds:

$$ \mathfrak{G} \biggl( \frac{\theta _{1}+\theta _{2}}{2} \biggr) \leq \frac{\Gamma ( \alpha +1 ) }{2^{1-\alpha } ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{ ( \frac{\theta _{1}+\theta _{2}}{2} ) +}^{\alpha }\mathfrak{G} ( \theta _{2} ) +J_{ ( \frac{\theta _{1}+\theta _{2}}{2} ) -}^{\alpha }\mathfrak{G} ( \theta _{1} ) \bigr] \leq \frac{\mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) }{2}. $$

3 A new and crucial identity

In this paper, we prove a RLFIs identity involving a three-step kernel and differentiable functions.

Lemma 1

For a differentiable function $\mathfrak{G}:[{\theta }_1,{\theta }_2]\to \mathbb{R}$ over $( \theta _{1},\theta _{2} )$ with $\mathfrak{G}\in L [ \theta _{1},\theta _{2} ]$, the following equality holds:

$$\begin{aligned}& ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {}- \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha }\mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha }\mathfrak{G} ( \theta _{1} ) \bigr] \\& \quad = ( \theta _{2}-\theta _{1} ) \int _{0}^{1}\Delta ( \rho ) \bigl[ \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) -\mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr] \,d\rho , \end{aligned}$$

(3.1)

where $\lambda ,\mu ,\nu \geq 0$ and

$$ \Delta ( \rho ) =\textstyle\begin{cases} \rho ^{\alpha }-\lambda ,& \rho \in [ 0,\frac{1}{3} ), \\ \rho ^{\alpha }-\mu ,& \rho \in [ \frac{1}{3}, \frac{2}{3} ), \\ \rho ^{\alpha }-\nu ,& \rho \in [ \frac{2}{3},1 ] .\end{cases} $$

Proof

From the definition of $\Delta ( \rho )$, we have

$$\begin{aligned}& \int _{0}^{1}\Delta ( \rho ) \bigl[ \mathfrak{G}^{ \prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) -\mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr] \,d\rho \\& \quad = \int _{0}^{\frac{1}{3}} \bigl( \rho ^{\alpha }-\lambda \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \,d\rho + \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl( \rho ^{ \alpha }-\mu \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \,d\rho \\& \qquad {}+ \int _{\frac{2}{3}}^{1} \bigl( \rho ^{\alpha }-\nu \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \,d\rho \\& \qquad {}+ \int _{0}^{\frac{1}{3}} \bigl( \lambda -\rho ^{\alpha } \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \,d\rho + \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl( \mu -\rho ^{ \alpha } \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \,d\rho \\& \qquad {}+ \int _{\frac{2}{3}}^{1} \bigl( \nu -\rho ^{\alpha } \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \,d\rho \\& \quad =I_{1}+I_{2}+I_{3}+I_{4}+I_{5}+I_{6}. \end{aligned}$$

(3.2)

From integration by parts, we have

$$\begin{aligned}& \begin{aligned}[t] I_{1} &= \int _{0}^{\frac{1}{3}} \bigl( \rho ^{\alpha }-\lambda \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1- \rho ) \theta _{1} \bigr) \,d\rho \\ &= \bigl( \rho ^{\alpha }-\lambda \bigr) \frac{\mathfrak{G} ( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} ) }{\theta _{2}-\theta _{1}} \bigg\vert _{0}^{\frac{1}{3}}- \frac{\alpha }{\theta _{2}-\theta _{1}} \int _{0}^{\frac{1}{3}}\rho ^{ \alpha -1}\mathfrak{G} \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \,d \rho \\ &=\frac{1}{\theta _{2}-\theta _{1}} \biggl[ \biggl( \biggl( \frac{1}{3} \biggr) ^{\alpha }-\lambda \biggr) \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) + \lambda \mathfrak{G} ( \theta _{1} ) \biggr]\\ &\quad {} -\frac{\alpha }{\theta _{2}-\theta _{1}} \int _{0}^{\frac{1}{3}}\rho ^{ \alpha -1}\mathfrak{G} \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \,d\rho , \end{aligned} \end{aligned}$$

(3.3)

$$\begin{aligned}& \begin{aligned}[t] I_{2} &= \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl( \rho ^{\alpha }- \mu \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1- \rho ) \theta _{1} \bigr) \,d\rho \\ &=\frac{1}{\theta _{2}-\theta _{1}} \biggl[ \biggl( \biggl( \frac{2}{3} \biggr) ^{\alpha }-\mu \biggr) \mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) - \biggl( \biggl( \frac{1}{3} \biggr) ^{\alpha }-\mu \biggr) \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) \biggr] \\ &\quad {}-\frac{\alpha }{\theta _{2}-\theta _{1}} \int _{\frac{1}{3}}^{ \frac{2}{3}}\rho ^{\alpha -1}\mathfrak{G} \bigl( \rho \theta _{2}+ ( 1- \rho ) \theta _{1} \bigr) \,d\rho , \end{aligned} \end{aligned}$$

(3.4)

and

$$\begin{aligned} I_{3} =& \int _{\frac{2}{3}}^{1} \bigl( \rho ^{\alpha }-\nu \bigr) \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \,d\rho \\ =&\frac{1}{\theta _{2}-\theta _{1}} \biggl[ ( 1-\nu ) \mathfrak{G} ( \theta _{2} ) - \biggl( \biggl( \frac{2}{3} \biggr) ^{ \alpha }- \nu \biggr) \mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\ &{} - \frac{\alpha }{\theta _{2}-\theta _{1}} \int _{\frac{2}{3}}^{1}\rho ^{ \alpha -1}\mathfrak{G} \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \,d\rho . \end{aligned}$$

(3.5)

By adding the equalities (3.3)–(3.5) and from the definition of the right RLFI, we have the following relation

$$\begin{aligned}& ( \theta _{2}-\theta _{1} ) [ I_{1}+I_{2}+I_{3} ] \\& \quad =\lambda \mathfrak{G} ( \theta _{1} ) + ( \mu - \lambda ) \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) + ( \nu -\mu ) \mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \\& \qquad {} + ( 1-\nu ) \mathfrak{G} ( \theta _{2} )- \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }}J_{\theta _{2}-}^{\alpha }\mathfrak{G} ( \theta _{1} ) . \end{aligned}$$

(3.6)

Similarly, from the definition of the left RLFI, we have

$$\begin{aligned}& ( \theta _{2}-\theta _{1} ) [ I_{4}+I_{5}+I_{6} ] \\& \quad =\lambda \mathfrak{G} ( \theta _{2} ) + ( \mu - \lambda ) \mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) + ( \nu -\mu ) \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) \\& \qquad {} + ( 1-\nu ) \mathfrak{G} ( \theta _{1} ) - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }}J_{\theta _{1}+}^{\alpha }\mathfrak{G} ( \theta _{2} ) . \end{aligned}$$

(3.7)

Thus, we obtain the desired equality by summing (3.6) and (3.7). □

4 Fractional Newton inequalities

In this section, some inequalities of Newton type are established using the RLFIs.

Theorem 3

Let $\mathfrak{G}$ as in Lemma 1hold. If $\vert \mathfrak{G}^{\prime } \vert$ contains the convexity property, then we have:

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} ) \bigl[ A_{1} ( \lambda ,\alpha ) +A_{2} ( \mu ,\alpha ) +A_{3} ( \nu ,\alpha ) \bigr] \bigl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert \bigr) , \end{aligned}$$

(4.1)

where

$$\begin{aligned}& A_{1} ( \lambda ,\alpha ) = \int _{0}^{\frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \,d\rho =\textstyle\begin{cases} \frac{2\alpha }{1+\alpha }\lambda ^{1+\frac{1}{\alpha }}+ \frac{1}{3^{\alpha +1} ( \alpha +1 ) }-\frac{\lambda }{3}, & 0< \lambda \leq ( \frac{1}{3} ) ^{\alpha }, \\ \frac{\lambda }{3}-\frac{1}{3^{\alpha +1} ( \alpha +1 ) }, & \lambda > ( \frac{1}{3} ) ^{\alpha },\end{cases}\displaystyle \\& A_{2} ( \mu ,\alpha ) = \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \,d\rho =\textstyle\begin{cases} \frac{2^{1+\alpha }-1}{3^{\alpha +1} ( \alpha +1 ) }- \frac{\mu }{3}, & 0< \mu \leq ( \frac{1}{3} ) ^{\alpha }, \\ \frac{2\alpha }{1+\alpha }\mu ^{1+\frac{1}{\alpha }}+ \frac{1+2^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }-\mu, & ( \frac{1}{3} ) ^{\alpha }< \mu \leq ( \frac{2}{3} ) ^{\alpha }, \\ \frac{\mu }{3}- \frac{2^{1+\alpha }-1}{3^{\alpha +1} ( \alpha +1 ) }, & \mu > ( \frac{2}{3} ) ^{\alpha }\end{cases}\displaystyle \end{aligned}$$

and

$$ A_{3} ( \nu ,\alpha ) = \int _{\frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \,d\rho =\textstyle\begin{cases} \frac{3^{1+\alpha }-2^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }-\frac{\nu }{3}, & 0< \nu \leq ( \frac{2}{3} ) ^{\alpha }, \\ \frac{2\alpha }{1+\alpha }\nu ^{1+\frac{1}{\alpha }}+ \frac{2^{1+\alpha }+3^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }- \frac{5\nu }{3}, & ( \frac{2}{3} ) ^{\alpha }< \nu \leq 1, \\ \frac{\nu }{3}- \frac{3^{1+\alpha }-2^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }, & \nu >1.\end{cases} $$

Proof

Taking the modulus in (3.1) and using the convexity of $\vert \mathfrak{G}^{\prime } \vert$, we have

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} ) \int _{0}^{1} \bigl\vert \Delta ( \rho ) \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d\rho \\& \quad = ( \theta _{2}-\theta _{1} ) \biggl[ \int _{0}^{ \frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d \rho \\& \qquad {}+ \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1- \rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d\rho \\& \qquad {} + \int _{\frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d \rho \biggr] \\& \quad \leq ( \theta _{2}-\theta _{1} ) \biggl[ \bigl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert \bigr)\\& \qquad {}\times \biggl( \int _{0}^{\frac{1}{3}} \bigl\vert \rho ^{ \alpha }- \lambda \bigr\vert \,d\rho + \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \,d\rho + \int _{ \frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \,d\rho \biggr) \biggr] \\& \quad = ( \theta _{2}-\theta _{1} ) \bigl[ A_{1} ( \lambda ,\alpha ) +A_{2} ( \mu ,\alpha ) +A_{3} ( \nu , \alpha ) \bigr] \bigl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert \bigr) . \end{aligned}$$

Thus, the proof is completed. □

Theorem 4

Let $\mathfrak{G}$ as in Lemma 1hold. If $\vert \mathfrak{G}^{\prime } \vert ^{q}$, $q\geq 1$ contains the convexity property, then we have

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} ) \bigl[ A_{1}^{1- \frac{1}{q}} ( \lambda ,\alpha ) \bigl\{ \bigl( A_{4} ( \lambda ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( A_{1} ( \lambda , \alpha ) -A_{4} ( \lambda ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( A_{4} ( \lambda ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( A_{1} ( \lambda ,\alpha ) -A_{4} ( \lambda ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+A_{2}^{1-\frac{1}{q}} ( \mu ,\alpha ) \bigl\{ \bigl( A_{5} ( \mu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( A_{2} ( \mu , \alpha ) -A_{5} ( \mu ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( A_{5} ( \mu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( A_{2} ( \mu ,\alpha ) -A_{5} ( \mu ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+A_{3}^{1-\frac{1}{q}} ( \nu ,\alpha ) \bigl\{ \bigl( A_{6} ( \nu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( A_{3} ( \nu , \alpha ) -A_{6} ( v,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( A_{6} ( \nu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( A_{3} ( \nu ,\alpha ) -A_{6} ( \nu ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \bigr] , \end{aligned}$$

where

$$\begin{aligned}& A_{4} ( \lambda ,\alpha ) = \int _{0}^{\frac{1}{3}}\rho \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \,d\rho =\textstyle\begin{cases} \frac{\alpha }{2+\alpha }\lambda ^{1+\frac{2}{\alpha }}+ \frac{1}{3^{\alpha +2} ( \alpha +2 ) }-\frac{\lambda }{18}, & 0< \lambda \leq ( \frac{1}{3} ) ^{\alpha }, \\ \frac{\lambda }{18}-\frac{1}{3^{\alpha +2} ( \alpha +2 ) }, & \lambda > ( \frac{1}{3} ) ^{\alpha } ,\end{cases}\displaystyle \\& A_{5} ( \mu ,\alpha ) = \int _{\frac{1}{3}}^{\frac{2}{3}} \rho \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \,d\rho =\textstyle\begin{cases} \frac{2^{2+\alpha }-1}{3^{\alpha +2} ( \alpha +2 ) }- \frac{\mu }{6} ,& 0< \mu \leq ( \frac{1}{3} ) ^{\alpha }, \\ \frac{\alpha }{2+\alpha }\mu ^{1+\frac{2}{\alpha }}+ \frac{1+2^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }-\frac{5\mu }{18}, & ( \frac{1}{3} ) ^{\alpha }< \mu \leq ( \frac{2}{3} ) ^{\alpha }, \\ \frac{\mu }{6}- \frac{2^{2+\alpha }-1}{3^{\alpha +2} ( \alpha +2 ) }, & \mu > ( \frac{2}{3} ) ^{\alpha }\end{cases}\displaystyle \end{aligned}$$

and

$$ A_{6} ( \nu ,\alpha ) = \int _{\frac{2}{3}}^{1}\rho \bigl\vert \rho ^{\alpha }- \nu \bigr\vert \,d\rho =\textstyle\begin{cases} \frac{3^{2+\alpha }-2^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }-\frac{5\nu }{18}, & 0< \nu \leq ( \frac{2}{3} ) ^{\alpha }, \\ \frac{\alpha }{2+\alpha }\nu ^{1+\frac{2}{\alpha }}+ \frac{2^{2+\alpha }+3^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }- \frac{13\nu }{18}, & ( \frac{2}{3} ) ^{\alpha }< \nu \leq 1, \\ \frac{5\nu }{18}- \frac{3^{2+\alpha }-2^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }, & \nu >1.\end{cases} $$

Proof

Using the power mean inequality in (3.1) after taking the modulus and using the properties of the modulus, we have

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} ) \int _{0}^{1} \bigl\vert \Delta ( \rho ) \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d\rho \\& \quad = ( \theta _{2}-\theta _{1} ) \biggl[ \int _{0}^{ \frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d \rho \\& \qquad {}+ \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1- \rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d\rho \\& \qquad {} + \int _{\frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d \rho \biggr] \\& \quad \leq ( \theta _{2}-\theta _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \,d\rho \biggr) ^{1-\frac{1}{q}} \biggl\{ \biggl( \int _{0}^{\frac{1}{3}} \bigl\vert \rho ^{ \alpha }- \lambda \bigr\vert \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{\frac{1}{q}} \\& \qquad {} + \biggl( \int _{0}^{\frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert ^{q}\,d \rho \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {}+ \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{ \alpha }-\mu \bigr\vert \,d\rho \biggr) ^{1-\frac{1}{q}} \biggl\{ \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{ \frac{1}{q}} \\& \qquad {}+ \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{ \alpha }-\mu \bigr\vert \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {}+ \biggl( \int _{\frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \,d\rho \biggr) ^{1-\frac{1}{q}} \biggl\{ \biggl( \int _{ \frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{ \frac{1}{q}} \\& \qquad {} + \biggl( \int _{\frac{2}{3}}^{1} \bigl\vert \rho ^{ \alpha }-\nu \bigr\vert \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \biggr] . \end{aligned}$$

Now, using the convexity of $\vert \mathfrak{G}^{\prime } \vert ^{q}$, we have

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} )\\& \qquad {}\times \biggl[ A_{1}^{1- \frac{1}{q}} ( \lambda ,\alpha ) \biggl\{ \biggl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \int _{0}^{ \frac{1}{3}}\rho \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \,d\rho + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \int _{0}^{\frac{1}{3}} ( 1-\rho ) \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \,d\rho \biggr) ^{\frac{1}{q}} \\& \qquad {} + \biggl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \int _{0}^{\frac{1}{3}}\rho \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \,d\rho + \bigl\vert \mathfrak{G}^{ \prime } ( \theta _{2} ) \bigr\vert ^{q} \int _{0}^{ \frac{1}{3}} ( 1-\rho ) \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {}+A_{2}^{1-\frac{1}{q}} ( \mu ,\alpha ) \biggl\{ \biggl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \int _{\frac{1}{3}}^{\frac{2}{3}}\rho \bigl\vert \rho ^{\alpha }- \mu \bigr\vert \,d\rho + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \int _{\frac{1}{3}}^{\frac{2}{3}} ( 1- \rho ) \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \,d\rho \biggr) ^{\frac{1}{q}} \\& \qquad {} + \biggl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \int _{\frac{1}{3}}^{\frac{2}{3}}\rho \bigl\vert \rho ^{\alpha }- \mu \bigr\vert \,d\rho + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \int _{\frac{1}{3}}^{\frac{2}{3}} ( 1-\rho ) \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {}+A_{3}^{1-\frac{1}{q}} ( \nu ,\alpha ) \biggl\{ \biggl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \int _{\frac{2}{3}}^{1}\rho \bigl\vert \rho ^{\alpha }- \nu \bigr\vert \,d \rho + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \int _{\frac{2}{3}}^{1} ( 1-\rho ) \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \,d\rho \biggr) ^{ \frac{1}{q}} \\& \qquad {} + \biggl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \int _{\frac{2}{3}}^{1}\rho \bigl\vert \rho ^{\alpha }- \nu \bigr\vert \,d\rho + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \int _{\frac{2}{3}}^{1} ( 1-\rho ) \bigl\vert \rho ^{ \alpha }-\nu \bigr\vert \,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \biggr] \\& \quad = ( \theta _{2}-\theta _{1} ) \bigl[ A_{1}^{1- \frac{1}{q}} ( \lambda ,\alpha ) \bigl\{ \bigl( A_{4} ( \lambda ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( A_{1} ( \lambda ,\alpha ) -A_{4} ( \lambda ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( A_{4} ( \lambda ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( A_{1} ( \lambda ,\alpha ) -A_{4} ( \lambda ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+A_{2}^{1-\frac{1}{q}} ( \mu ,\alpha ) \bigl\{ \bigl( A_{5} ( \mu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( A_{2} ( \mu , \alpha ) -A_{5} ( \mu ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( A_{5} ( \mu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( A_{2} ( \mu ,\alpha ) -A_{5} ( \mu ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+A_{3}^{1-\frac{1}{q}} ( \nu ,\alpha ) \bigl\{ \bigl( A_{6} ( \nu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( A_{3} ( \nu , \alpha ) -A_{6} ( v,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( A_{6} ( \nu ,\alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( A_{3} ( \nu ,\alpha ) -A_{6} ( \nu ,\alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \bigr] . \end{aligned}$$

Thus, the proof is completed. □

Theorem 5

Let $\mathfrak{G}$ as in Lemma 1hold. If $\vert \mathfrak{G}^{\prime } \vert ^{q}$, $q>1$ contains the convexity property, then we have

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} ) \biggl[ \bigl( A_{7} ( \lambda ,\alpha ,p ) +A_{8} ( \upsilon ,\alpha ,p ) \bigr) \\& \qquad {}\times \biggl\{ \biggl( \frac{5 \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}}+ \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+5 \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {} +2A_{9} ( \mu ,\alpha ,p ) \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{6} \biggr) ^{\frac{1}{q}} \biggr] , \end{aligned}$$

where

$$\begin{aligned} A_{7} ( \lambda ,\alpha ,p ) =& \biggl( \int _{0}^{ \frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert ^{p}\,d\rho \biggr) ^{ \frac{1}{p}}, \\ A_{8} ( \upsilon ,\alpha ,p ) =& \biggl( \int _{ \frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert ^{p}\,d\rho \biggr) ^{ \frac{1}{p}}, \\ A_{9} ( \mu ,\alpha ,p ) =& \biggl( \int _{\frac{1}{3}}^{ \frac{2}{3}} \bigl\vert \rho ^{\alpha }-\mu \bigr\vert ^{p}\,d\rho \biggr) ^{ \frac{1}{p}} \end{aligned}$$

and $q^{-1}+p^{-1}=1$.

Proof

Using the Hölder inequality in (3.1) after taking the modulus and using the properties of the modulus, we have

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} ) \int _{0}^{1} \bigl\vert \Delta ( \rho ) \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d\rho \\& \quad = ( \theta _{2}-\theta _{1} ) \biggl[ \int _{0}^{ \frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d \rho \\& \qquad {}+ \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{\alpha }-\mu \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1- \rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d\rho \\& \qquad {} + \int _{\frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert \bigl[ \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert \bigr] \,d \rho \biggr] \\& \quad \leq ( \theta _{2}-\theta _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{3}} \bigl\vert \rho ^{\alpha }- \lambda \bigr\vert ^{p}\,d\rho \biggr) ^{\frac{1}{p}} \biggl\{ \biggl( \int _{0}^{\frac{1}{3}} \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{\frac{1}{q}} \\& \qquad {} + \biggl( \int _{0}^{\frac{1}{3}} \bigl\vert \mathfrak{G}^{ \prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {}+ \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \rho ^{ \alpha }-\mu \bigr\vert ^{p}\,d\rho \biggr) ^{\frac{1}{p}} \biggl\{ \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert ^{q}\,d \rho \biggr) ^{\frac{1}{q}} \\& \qquad {}+ \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {}+ \biggl( \int _{\frac{2}{3}}^{1} \bigl\vert \rho ^{\alpha }-\nu \bigr\vert ^{p}\,d\rho \biggr) ^{\frac{1}{p}} \biggl\{ \biggl( \int _{ \frac{2}{3}}^{1} \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) \bigr\vert ^{q}\,d \rho \biggr) ^{\frac{1}{q}} \\& \qquad {} + \biggl( \int _{\frac{2}{3}}^{1} \bigl\vert \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr\vert ^{q}\,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \biggr] . \end{aligned}$$

Now, using convexity we have,

$$\begin{aligned}& \biggl\vert ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) + \mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \theta _{2}-\theta _{1} ) \biggl[ A_{7} ( \lambda ,\alpha ,p ) \biggl\{ \biggl( \int _{0}^{\frac{1}{3}} \bigl( \rho \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ ( 1-\rho ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) \,d\rho \biggr) ^{\frac{1}{q}} \\& \qquad {} + \biggl( \int _{0}^{\frac{1}{3}} \bigl( \rho \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ ( 1- \rho ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) \,d\rho \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {}+A_{9} ( \mu ,\alpha ,p ) \biggl\{ \biggl( \int _{ \frac{1}{3}}^{\frac{2}{3}} \bigl( \rho \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ ( 1-\rho ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) \,d \rho \biggr) ^{\frac{1}{q}} \\& \qquad {}+ \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl( \rho \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ ( 1-\rho ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) \,d\rho \biggr) ^{ \frac{1}{q}} \biggr\} \\& \qquad {}+A_{8} ( \nu ,\alpha ,p ) \biggl\{ \biggl( \int _{ \frac{2}{3}}^{1} \bigl( \rho \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ ( 1-\rho ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) \,d\rho \biggr) ^{\frac{1}{q}} \\& \qquad {} + \biggl( \int _{\frac{2}{3}}^{1} \bigl( \rho \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ ( 1-\rho ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) \,d\rho \biggr) ^{ \frac{1}{q}} \biggr\} \biggr] . \\& \quad = ( \theta _{2}-\theta _{1} ) \biggl[ \bigl( A_{7} ( \lambda ,\alpha ,p ) +A_{8} ( \nu ,\alpha ,p ) \bigr) \\& \qquad {}\times \biggl\{ \biggl( \frac{5 \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}}+ \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+5 \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {} +2A_{9} ( \mu ,\alpha ,p ) \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{6} \biggr) ^{\frac{1}{q}} \biggr] . \end{aligned}$$

Thus, the proof is completed. □

5 Special cases and an example

In this section, we give some special cases of newly established inequalities on the basis of the parameters used in the inequalities. We also present an example to show the validity of the given inequality.

From Lemma 1 , we have the following special cases:

• (i) By setting $\lambda =\frac{1}{8}$, $\mu =\frac{1}{2}$, and $\nu =\frac{7}{8}$, we have the following equality

  $$\begin{aligned}& \frac{1}{8} \biggl[ \mathfrak{G} ( \theta _{1} ) +3 \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +3\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) +\mathfrak{G} ( \theta _{2} ) \biggr] \\& \qquad {}- \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha }\mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha }\mathfrak{G} ( \theta _{1} ) \bigr] \\& \quad =\frac{ ( \theta _{2}-\theta _{1} ) }{2} \int _{0}^{1} \Delta ( \rho ) \bigl[ \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) - \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr] \,d\rho , \end{aligned}$$

  where

  $$ \Delta ( \rho ) =\textstyle\begin{cases} \rho ^{\alpha }-\frac{1}{8},& \rho \in [ 0, \frac{1}{3} ), \\ \rho ^{\alpha }-\frac{1}{2},& \rho \in [ \frac{1}{3}, \frac{2}{3} ), \\ \rho ^{\alpha }-\frac{7}{8},& \rho \in [ \frac{2}{3},1 ] .\end{cases} $$

  This is established by Hezenci et al. in [30] and this identity helps us to obtain Newton inequalities for Riemann–Liouville fractional integrals.

• (ii) By setting $\mu =\lambda =\nu =\frac{1}{2}$, we have the following new equality

  $$\begin{aligned}& \frac{\mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) }{2}- \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha }\mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \\& \quad =\frac{ ( \theta _{2}-\theta _{1} ) }{2} \int _{0}^{1} \biggl( \rho ^{\alpha }- \frac{1}{2} \biggr) \bigl[ \mathfrak{G}^{ \prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) -\mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1- \rho ) \theta _{2} \bigr) \bigr] \,d\rho . \end{aligned}$$

  This new identity can help us to obtain the bounds of the trapezoidal formula for Riemann–Liouville fractional integrals.

• (iii) By setting $\alpha =1$, we have the following equality

  $$\begin{aligned}& \frac{1}{2} \biggl[ ( 1+\lambda -\nu ) \bigl[ \mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) \bigr] + ( \nu -\lambda ) \biggl[ \mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +\mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) \biggr] \biggr] \\& \qquad {}-\frac{1}{\theta _{2}-\theta _{1}} \int _{\theta _{1}}^{\theta _{2}}\mathfrak{G} ( \varkappa ) \,d\varkappa \\& \quad =\frac{ ( \theta _{2}-\theta _{1} ) }{2} \int _{0}^{1} \Delta ( \rho ) \bigl[ \mathfrak{G}^{\prime } \bigl( \rho \theta _{2}+ ( 1-\rho ) \theta _{1} \bigr) - \mathfrak{G}^{\prime } \bigl( \rho \theta _{1}+ ( 1-\rho ) \theta _{2} \bigr) \bigr] \,d\rho , \end{aligned}$$

  where

  $$ \Delta ( \rho ) =\textstyle\begin{cases} \rho -\lambda ,& \rho \in [ 0,\frac{1}{3} ), \\ \rho -\mu ,& \rho \in [ \frac{1}{3},\frac{2}{3} ), \\ \rho -\nu ,& \rho \in [ \frac{2}{3},1 ] .\end{cases} $$

  This equality was established by You et al. in [31, Corollary 2].

From Theorem 3 , we have the following special cases:

• (i) By setting $\lambda =\frac{1}{8}$, $\mu =\frac{1}{2}$, and $\nu =\frac{7}{8}$, we have the following fractional Newton inequality

  $$\begin{aligned}& \biggl\vert \frac{1}{8} \biggl[ \mathfrak{G} ( \theta _{1} ) +3\mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +3 \mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) +\mathfrak{G} ( \theta _{2} ) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq \frac{\theta _{2}-\theta _{1}}{2} \bigl[ B_{1} ( \alpha ) +B_{2} ( \alpha ) +B_{2} ( \alpha ) \bigr] \bigl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert \bigr) , \end{aligned}$$

  where

  $$\begin{aligned}& B_{1} ( \alpha ) = \int _{0}^{\frac{1}{3}} \biggl\vert \rho ^{\alpha }- \frac{1}{8} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{2\alpha }{1+\alpha } ( \frac{1}{8} ) ^{1+ \frac{1}{\alpha }}+\frac{1}{3^{\alpha +1} ( \alpha +1 ) }-\frac{1}{24}, & 0< \alpha \leq \frac{\ln ( \frac{1}{8} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{1}{24}-\frac{1}{3^{\alpha +1} ( \alpha +1 ) }, & \alpha >\frac{\ln ( \frac{1}{8} ) }{\ln ( \frac{1}{3} ) } ,\end{cases}\displaystyle \\& B_{2} ( \alpha ) = \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \rho ^{\alpha }- \frac{1}{2} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{2^{1+\alpha }-1}{3^{\alpha +1} ( \alpha +1 ) }- \frac{1}{6}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{\alpha }{1+\alpha } ( \frac{1}{2} ) ^{ \frac{1}{\alpha }}+\frac{1+2^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }- \frac{1}{2}, & \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{1}{6}- \frac{2^{1+\alpha }-1}{3^{\alpha +1} ( \alpha +1 ) }, & \alpha > \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }\end{cases}\displaystyle \end{aligned}$$

  and

  $$ B_{3} ( \alpha ) = \int _{\frac{2}{3}}^{1} \biggl\vert \rho ^{\alpha }- \frac{7}{8} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{3^{1+\alpha }-2^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }-\frac{7}{24}, & 0< \alpha \leq \frac{\ln ( \frac{7}{8} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{2\alpha }{1+\alpha } ( \frac{7}{8} ) ^{1+ \frac{1}{\alpha }}+\frac{2^{1+\alpha }+3^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }-\frac{35}{24}, & \alpha > \frac{\ln ( \frac{7}{8} ) }{\ln ( \frac{2}{3} ) }.\end{cases} $$

  This was established by Hezenci et al. in [30].

• (ii) By setting $\mu =\lambda =\nu =\frac{1}{2}$, we have the following fractional trapezoidal-type new inequality

  $$\begin{aligned}& \biggl\vert \frac{\mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) }{2}- \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{ \theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{ \theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq \frac{\theta _{2}-\theta _{1}}{2} \bigl[ C_{1} ( \alpha ) +C_{2} ( \alpha ) +C_{3} ( \alpha ) \bigr] \bigl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert \bigr) \\& \quad =\frac{\theta _{2}-\theta _{1}}{2} \biggl[ \frac{\alpha }{1+\alpha } \biggl( \frac{1}{2} \biggr) ^{\frac{1}{\alpha }}+\frac{1}{\alpha +1}- \frac{1}{2} \biggr] \bigl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert \bigr) , \end{aligned}$$

  (5.1)

  where

  $$\begin{aligned}& C_{1} ( \alpha ) = \int _{0}^{\frac{1}{3}} \biggl\vert \rho ^{\alpha }- \frac{1}{2} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{\alpha }{1+\alpha } ( \frac{1}{2} ) ^{ \frac{1}{\alpha }}+\frac{1}{3^{\alpha +1} ( \alpha +1 ) }-\frac{1}{6}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{1}{6}-\frac{1}{3^{\alpha +1} ( \alpha +1 ) }, & \alpha > \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) },\end{cases}\displaystyle \\& C_{2} ( \alpha ) = \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \rho ^{\alpha }- \frac{1}{2} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{2^{1+\alpha }-1}{3^{\alpha +1} ( \alpha +1 ) }- \frac{1}{6}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{\alpha }{1+\alpha } ( \frac{1}{2} ) ^{ \frac{1}{\alpha }}+\frac{1+2^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }- \frac{1}{2}, & \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{1}{6}- \frac{2^{1+\alpha }-1}{3^{\alpha +1} ( \alpha +1 ) }, & \alpha > \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }\end{cases}\displaystyle \end{aligned}$$

  and

  $$ C_{3} ( \alpha ) = \int _{\frac{2}{3}}^{1} \biggl\vert \rho ^{\alpha }- \frac{1}{2} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{3^{1+\alpha }-2^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }-\frac{1}{6}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{\alpha }{1+\alpha } ( \frac{1}{2} ) ^{ \frac{1}{\alpha }}+\frac{2^{1+\alpha }+3^{1+\alpha }}{3^{\alpha +1} ( \alpha +1 ) }-\frac{5}{6}, & \alpha > \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }.\end{cases} $$

• (iii) By setting $\alpha =1$, we recapture the inequality established in [31, Corollary 5].

Example 1

Let us consider a function $\mathfrak{G}:[{\theta }_1,{\theta }_2]=[0,1]\to \mathbb{R}$ given by $\mathfrak{G}(\rho )=\rho ^{2}$ in the inequality (5.1). Then, the left-hand side of (5.1) reduces to

$$\begin{aligned} & \biggl\vert \frac{\mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) }{2}- \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{ \theta _{1}+}^{\alpha }\mathfrak{G} ( \theta _{2} ) +J_{ \theta _{2}-}^{\alpha }\mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\ &\quad = \biggl\vert \frac{1}{2}-\frac{\alpha }{2} \biggl[ \int _{0}^{1} ( 1-\rho ) ^{\alpha -1}\rho ^{2}\,d\rho + \int _{0}^{1} \rho ^{\alpha -1}\rho ^{2}\,d\rho \biggr] \biggr\vert = \biggl\vert \frac{1}{2}- \frac{\alpha ^{2}+\alpha +2}{2 ( \alpha +1 ) ( \alpha +2 ) } \biggr\vert . \end{aligned}$$

The right hand-side of (5.1) becomes

$$\begin{aligned}& \frac{\theta _{2}-\theta _{1}}{2} \bigl[ C_{1} ( \alpha ) +C_{2} ( \alpha ) +C_{3} ( \alpha ) \bigr] \bigl( \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert + \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert \bigr) \\& \quad =\frac{\alpha }{1+\alpha } \biggl( \frac{1}{2} \biggr) ^{ \frac{1}{\alpha }}+\frac{1}{\alpha +1}-\frac{1}{2}. \end{aligned}$$

Then, by the inequality, we have

$$ \biggl\vert \frac{1}{2}- \frac{\alpha ^{2}+\alpha +2}{2 ( \alpha +1 ) ( \alpha +2 ) } \biggr\vert \leq \frac{\alpha }{1+\alpha } \biggl( \frac{1}{2} \biggr) ^{\frac{1}{\alpha }}+ \frac{1}{\alpha +1}-\frac{1}{2}. $$

(5.2)

One can see the validity of the inequality (5.2) in Fig. 1.

Figure 1

An example of the inequality (5.2) depending on α, computed and plotted with MATLAB

As can be seen in Fig. 1, the left-hand side of (5.1) in Example 1 is always below the right-hand side of this equation, for all values of $\alpha \in ( 0,5 ]$.

From Theorem 4 , we have the following special cases:

• (i) By setting $\lambda =\frac{1}{8}$, $\mu =\frac{1}{2}$, and $\nu =\frac{7}{8}$, we have the following fractional Newton inequality

  $$\begin{aligned}& \biggl\vert \frac{1}{8} \biggl[ \mathfrak{G} ( \theta _{1} ) +3\mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +3 \mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) +\mathfrak{G} ( \theta _{2} ) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq \frac{\theta _{2}-\theta _{1}}{2} \bigl[ B_{1}^{1-\frac{1}{q}} ( \alpha ) \bigl\{ \bigl( B_{4} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( B_{1} ( \alpha ) -B_{4} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( B_{4} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( B_{1} ( \alpha ) -B_{4} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+B_{2}^{1-\frac{1}{q}} ( \alpha ) \bigl\{ \bigl( B_{5} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( B_{2} ( \alpha ) -B_{5} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( B_{5} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( B_{2} ( \alpha ) -B_{5} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+B_{3}^{1-\frac{1}{q}} ( \alpha ) \bigl\{ \bigl( B_{6} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( B_{3} ( \alpha ) -B_{6} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( B_{6} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( B_{3} ( \alpha ) -B_{6} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{ \frac{1}{q}} \bigr\} \bigr] , \end{aligned}$$

  where

  $$\begin{aligned}& B_{4} ( \alpha ) = \int _{0}^{\frac{1}{3}}\rho \biggl\vert \rho ^{\alpha }-\frac{1}{8} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{\alpha }{2+\alpha } ( \frac{1}{8} ) ^{1+ \frac{2}{\alpha }}+\frac{1}{3^{\alpha +2} ( \alpha +2 ) }-\frac{1}{144}, & 0< \alpha \leq \frac{\ln ( \frac{1}{8} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{1}{144}-\frac{1}{3^{\alpha +2} ( \alpha +2 ) }, & \alpha >\frac{\ln ( \frac{1}{8} ) }{\ln ( \frac{1}{3} ) },\end{cases}\displaystyle \\& B_{5} ( \alpha ) = \int _{\frac{1}{3}}^{\frac{2}{3}}\rho \biggl\vert \rho ^{\alpha }-\frac{1}{2} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{2^{2+\alpha }-1}{3^{\alpha +2} ( \alpha +2 ) }- \frac{1}{12}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{\alpha }{2+\alpha } ( \frac{1}{2} ) ^{1+ \frac{2}{\alpha }}+\frac{1+2^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }- \frac{5}{36}, & \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{1}{12}- \frac{2^{2+\alpha }-1}{3^{\alpha +2} ( \alpha +2 ) }, & \alpha > \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }\end{cases}\displaystyle \end{aligned}$$

  and

  $$ B_{6} ( \alpha ) = \int _{\frac{2}{3}}^{1}\rho \biggl\vert \rho ^{\alpha }- \frac{7}{8} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{3^{2+\alpha }-2^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }-\frac{35}{144}, & 0< \alpha \leq \frac{\ln ( \frac{7}{8} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{\alpha }{2+\alpha } ( \frac{7}{8} ) ^{1+ \frac{2}{\alpha }}+\frac{2^{2+\alpha }+3^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }-\frac{91}{144}, & \alpha > \frac{\ln ( \frac{7}{8} ) }{\ln ( \frac{2}{3} ) }.\end{cases} $$

  This was established by Hezenci et al. in [30].

• (ii) By setting $\mu =\lambda =\nu =\frac{1}{2}$, we have the following fractional trapezoidal-type new inequality

  $$\begin{aligned}& \biggl\vert \frac{\mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) }{2}- \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{ \theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{ \theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq \frac{\theta _{2}-\theta _{1}}{2} \bigl[ C_{1}^{1-\frac{1}{q}} ( \alpha ) \bigl\{ \bigl( C_{4} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( C_{1} ( \alpha ) -C_{4} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( C_{4} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( C_{1} ( \alpha ) -C_{4} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+C_{2}^{1-\frac{1}{q}} ( \alpha ) \bigl\{ \bigl( C_{5} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( C_{2} ( \alpha ) -C_{5} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( C_{5} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( C_{2} ( \alpha ) -C_{5} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr\} \\& \qquad {}+C_{3}^{1-\frac{1}{q}} ( \alpha ) \bigl\{ \bigl( C_{6} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q}+ \bigl( C_{3} ( \alpha ) -C_{6} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\& \qquad {} + \bigl( C_{6} ( \alpha ) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{1} ) \bigr\vert ^{q}+ \bigl( C_{3} ( \alpha ) -C_{6} ( \alpha ) \bigr) \bigl\vert \mathfrak{G}^{\prime } ( \theta _{2} ) \bigr\vert ^{q} \bigr) ^{ \frac{1}{q}} \bigr\} \bigr] , \end{aligned}$$

  where

  $$\begin{aligned}& C_{4} ( \alpha ) = \int _{0}^{\frac{1}{3}}\rho \biggl\vert \rho ^{\alpha }-\frac{1}{2} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{\alpha }{2+\alpha } ( \frac{1}{2} ) ^{1+ \frac{2}{\alpha }}+\frac{1}{3^{\alpha +2} ( \alpha +2 ) }-\frac{1}{36}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{1}{36}-\frac{1}{3^{\alpha +2} ( \alpha +2 ) }, & \alpha >\frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) },\end{cases}\displaystyle \\& C_{5} ( \alpha ) = \int _{\frac{1}{3}}^{\frac{2}{3}}\rho \biggl\vert \rho ^{\alpha }-\frac{1}{2} \biggr\vert \,d\rho =\textstyle\begin{cases} \frac{2^{2+\alpha }-1}{3^{\alpha +2} ( \alpha +2 ) }- \frac{1}{12}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }, \\ \frac{\alpha }{2+\alpha } ( \frac{1}{2} ) ^{1+ \frac{2}{\alpha }}+\frac{1+2^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }- \frac{5}{36}, & \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{1}{3} ) }< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{1}{12}- \frac{2^{2+\alpha }-1}{3^{\alpha +2} ( \alpha +2 ) }, & \alpha > \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }\end{cases}\displaystyle \end{aligned}$$

  and

  $$ C_{6} ( \alpha ) = \int _{\frac{2}{3}}^{1}\rho \bigl\vert \rho ^{\alpha }- \nu \bigr\vert \,d\rho =\textstyle\begin{cases} \frac{3^{2+\alpha }-2^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }-\frac{5}{36}, & 0< \alpha \leq \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }, \\ \frac{\alpha }{2+\alpha } ( \frac{1}{2} ) ^{1+ \frac{2}{\alpha }}+\frac{2^{2+\alpha }+3^{2+\alpha }}{3^{\alpha +2} ( \alpha +2 ) }-\frac{13}{36}, & \alpha > \frac{\ln ( \frac{1}{2} ) }{\ln ( \frac{2}{3} ) }.\end{cases} $$

• (iii) By setting $\alpha =1$, we recapture the inequality established in [31, Corollary 6].

From Theorem 5 , we have the following special cases:

• (i) By setting $\lambda =\frac{1}{8}$, $\mu =\frac{1}{2}$, and $\nu =\frac{7}{8}$, we have the following fractional Newton inequality

  $$\begin{aligned}& \biggl\vert \frac{1}{8} \biggl[ \mathfrak{G} ( \theta _{1} ) +3\mathfrak{G} \biggl( \frac{2\theta _{1}+\theta _{2}}{3} \biggr) +3 \mathfrak{G} \biggl( \frac{\theta _{1}+2\theta _{2}}{3} \biggr) +\mathfrak{G} ( \theta _{2} ) \biggr] \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{\theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{\theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq \frac{\theta _{2}-\theta _{1}}{2} \biggl[ \biggl( A_{7} \biggl( \frac{1}{8},\alpha ,p \biggr) +A_{8} \biggl( \frac{7}{8},\alpha ,p \biggr) \biggr) \\& \qquad {}\times \biggl\{ \biggl( \frac{5 \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}}+ \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+5 \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {} +2A_{9} \biggl( \frac{1}{2},\alpha ,p \biggr) \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{6} \biggr) ^{\frac{1}{q}} \biggr] . \end{aligned}$$

  This was established by Hezenci et al. in [30].

• (ii) By setting $\mu =\lambda =\nu =\frac{1}{2}$, we have the following fractional trapezoidal-type new inequality

  $$\begin{aligned}& \biggl\vert \frac{\mathfrak{G} ( \theta _{1} ) +\mathfrak{G} ( \theta _{2} ) }{2}- \frac{\Gamma ( \alpha +1 ) }{2 ( \theta _{2}-\theta _{1} ) ^{\alpha }} \bigl[ J_{ \theta _{1}+}^{\alpha } \mathfrak{G} ( \theta _{2} ) +J_{ \theta _{2}-}^{\alpha } \mathfrak{G} ( \theta _{1} ) \bigr] \biggr\vert \\& \quad \leq \frac{\theta _{2}-\theta _{1}}{2} \biggl[ \biggl( A_{7} \biggl( \frac{1}{2},\alpha ,p \biggr) +A_{8} \biggl( \frac{1}{2},\alpha ,p \biggr) \biggr) \\& \qquad {}\times \biggl\{ \biggl( \frac{5 \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}}+ \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+5 \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}} \biggr\} \\& \qquad {} +2A_{9} \biggl( \frac{1}{2},\alpha ,p \biggr) \biggl( \frac{ \vert \mathfrak{G}^{\prime } ( \theta _{1} ) \vert ^{q}+ \vert \mathfrak{G}^{\prime } ( \theta _{2} ) \vert ^{q}}{6} \biggr) ^{\frac{1}{q}} \biggr] . \end{aligned}$$

6 Conclusion

Using the RLFIs, we illustrated several novel Simpson’s second-type inequalities for differentiable convex functions. Additionally, it is demonstrated that the newly established inequalities are a continuation of those that already existed. We used specific choices for the parameters in the new inequalities because we attained some known inequalities for these choices. It is important to note that equivalent inequalities can also be obtained using Hadamard, Conformable, and Katugampola fractional operators as well as fractional operators with an exponential kernel. Future workers will be able to obtain comparable inequalities for multiple convexity types and coordinated convexity on fractals, which is a fascinating and novel challenge.