A new class of fractional inequalities through the convexity concept and enlarged Riemann–Liouville integrals

Abstract

Fractional inequalities play a crucial role in building mathematical mechanisms and their related solution functions across the majority of practical science domains. A variety of mathematical disciplines are significantly impacted by convexity as well. In this article, we describe and verify many new fractional inequalities using a thorough kind of Riemann–Liouville integral and the convexity criterion of the functions. Our approach for dealing with fractional integral inequalities is clear and easy to use, and the current study is a new addition to the literature. Additionally, it is simple to observe that all the inequalities produced are extensive and may be broken down into several and different inequalities that were previously in the literature.

1 Introduction

Researchers in geometry and analysis find convex analysis to be one of their most interesting fields. Convex functions differ from other topics due to their geometric, differential, and other supportive characteristics. Additionally, there are numerous applications for the convex set and convex function in mathematical physics, optimization theory, and others [1–6]. As fractional calculus has advanced so quickly in recent years, the connection to convexity has grown stronger.

Actually, fractional calculus provides several potentially useful techniques for resolving differential and integral equations, and it also addresses a number of other issues involving unique mathematical physics functions in addition to their generalizations and extensions in one or more variables.

In recognition of the significance of fractional calculus, scientists have used it to develop a number of fractional integral inequalities that have proven to be extremely valuable in approximation theory. By utilizing inequalities like the Hermite–Hadamard, Simpson’s, midpoint, Ostrowski, and trapezoidal inequalities, for instance, we can ascertain the boundaries of formulas employed in numerical integration. The Hermite–Hadamard-type and trapezoidal-type inequalities were first established using the Riemann–Liouville fractional integrals by Sarikaya et al. in [7]. Following that, Set demonstrated in [8] how the Riemann–Liouville fractional operator produces the Ostrowski inequality for differentiable functions. Using harmonic convexity, Iscan and Wu established Hermite–Hadamard-type inequalities in [9]. A fractional integral operator and p-convex function are used to create a new version of Hermite–Hadamard inequalities in [10]. Additionally, Park in [11] studied the $\mathcal{MT}$-convex functions using Riemann–Liouville fractional integrals and the Hermite–Hadamard inequality for $\mathcal{MT}$-convex functions was also proven by him. Generalized fractional integrals were recently described by Sarikaya and Ertugral [12], who used these integrals to demonstrate a generalization of Hermite–Hadamard-type inequalities for convex functions. We direct readers to these sources [13–18] for additional information.

This article uses a comprehensive kind of Riemann–Liouville integral and the convexity condition of the functions to explain and prove some novel fractional integral inequalities. Our technique for dealing with fractional integral inequalities is simple and straightforward, and the current study is a fresh contribution to the body of literature. Additionally, it is easy to see that all of the inequalities generated are significant and may be divided into a number of other, distinct inequalities that have already been published in the literature. We set up our results, which are divided into the following sections, using generalized fractional integrals. The first section provides an introduction to some fundamental concepts, relevant terminology, and the outcomes that pertain to our key goals. Examining the Hermite–Hadamard inequality’s error estimates with the expanded $({\mu},{\theta})$-order Riemann–Liouville integrals is covered in the second section that also studies related inequalities. Finally, the conclusion is provided at the end of our study.

2 Preliminaries

Before moving on to the essential outcomes of the research, it is necessary to have a discussion about some of the pertinent terminology and results. A convex function $\mathfrak{M}:[{a},{b}]\rightarrow{\mathbf{R}}$ is one that satisfies the following inequality:

$$ \mathfrak{M} \bigl(\lambda {x}_{1}+(1-\lambda ){x}_{2} \bigr)\le \lambda \mathfrak{M}({x}_{1})+(1-\lambda )\mathfrak{M}({x}_{2}),\quad \lambda \in [0,1],\ \text{and} \ {x}_{1}, {x}_{2} \in [{a},{b}]. $$

(1)

If the additive inverse of the function $\mathfrak{M}$ is convex, then the function $\mathfrak{M}$ is said to have a concave form. The following Hermite–Hadamard inequality gives us a tangible and geometric description of a convex function.

Theorem 2.1

[19] Given that $\mathfrak{M}:[{a},{b}]\rightarrow{\mathbf{R}}$ is a convex function, we acquire the subsequent inequality:

$$ \mathfrak{M} \biggl(\frac{{a}+{b}}{2} \biggr) \leq \frac{1}{{b}-{a}} \int _{{a}}^{{b}} \mathfrak{M}({t}) \,d {t} \leq \frac{\mathfrak{M}({a})+\mathfrak{M}({b})}{2}. $$

(2)

If $\mathfrak{M}$ is concave, the converse direction of (2) is valid.

The following are some basics and concepts of fractional calculus that will be utilized during the current research.

Definition 2.1

[20] Let $\mathfrak{M}\in L^{1}[{a},{b}]$, ${a},{b}\in \mathbf{R}$ with ${a}<{b}$. The fractional r-order integrals of Riemann–Liouville are suggested as:

$$\begin{aligned}& \mathcal{N}_{{a}+}^{{r}} \mathfrak{M}({x})= \frac{1}{\Gamma ({r})} \int _{{a}}^{{x}} ( {x}-{t} ) ^{{r} -1} \mathfrak{M}({t}) \,d{t}, \quad {x}>{a}, \end{aligned}$$

(3)

$$\begin{aligned}& \mathcal{N}_{{b}-}^{{r} } \mathfrak{M}({x}) = \frac{1}{\Gamma ({r} )} \int _{{x}}^{{b}} ( {t}-{x} ) ^{{r} -1} \mathfrak{M}({t}) \,d{t}, \quad {x}< {b}, \end{aligned}$$

(4)

respectively. Here, $\Gamma ({r})=\int _{0}^{\infty }{t}^{{r} -1}\exp ({t})\,d{t}$, and $\mathcal{N}_{{a}+}^{0} \mathfrak{M}({x})=\mathcal{N}_{{b}-}^{0 } \mathfrak{M}({x})=\mathfrak{M}({x})$.

In their paper [21], Jarad et al. offered further exhaustive fractional integrals. In addition, they contributed a few features as well as links that included a variety of fractional integrals.

Definition 2.2

[21] Let $\mathfrak{M}\in L^{1}[{a},{b}]$. If ${\mu} >0$ and ${\theta} \in (0,1]$, the expanded $({\mu},{\theta})$-order Riemann–Liouville integrals are defined by:

$$ {}^{{\mu} }\mathcal{N}_{{a}+}^{{\theta} } \mathfrak{M}({x})= \frac{1}{\Gamma ({\mu} )} \int _{{a}}^{{x}} \biggl( \frac{({x}-{a})^{{\theta} }-({t}-{a})^{{\theta} }}{{\theta} } \biggr) ^{{ \mu} -1}\frac{\mathfrak{M}({t})}{({t}-{a})^{1-{\theta} }} \,d{t},\quad {x}>{a} $$

(5)

and

$$ {}^{{\mu} }\mathcal{N}_{{b}-}^{{\theta} } \mathfrak{M}({x})= \frac{1}{\Gamma ({\mu} )} \int _{{x}}^{{b}} \biggl( \frac{({b}-{x})^{{\theta} }-({b}-{t})^{{\theta} }}{{\theta} } \biggr) ^{{ \mu} -1}\frac{\mathfrak{M}({t})}{({b}-{t})^{1-{\theta} }} \,d{t},\quad {x}< {b}, $$

(6)

respectively.

It is interesting that Sarikaya et al. [7] established the subsequent inequality of Hermite–Hadamard type by employing Riemann–Liouville integrals $\mathcal{N}_{{a}+}^{{\mu}}$ and $\mathcal{N}_{{b}-}^{{\mu} }$.

Theorem 2.2

Let $\mathfrak{M}\in L_{1}[{a},{b}]$. If $\mathfrak{M}$ is convex and $\mathfrak{M}>0$, then we have:

$$ \mathfrak{M} \biggl(\frac {{a}+{b}}{2} \biggr) \leq \frac {\Gamma ({\mu}+1)}{2 ({b}-{a} )^{\mu}} \bigl[ \mathcal{N}_{{a}^{+}}^{\mu} \mathfrak{M} ({b} )+ \mathcal{N}_{{b}^{-}}^{\mu} \mathfrak{M} ({a} ) \bigr] \leq \frac {\mathfrak{M} ({a} )+\mathfrak{M} ({b} )}{2}. $$

(7)

In addition, Sarikaya and Yldrm [15] gave another inequality of Hermite–Hadamard type about the operators $\mathcal{N}_{{a}+}^{{\mu}}$ and $\mathcal{N}_{{b}-}^{{\mu} }$.

Theorem 2.3

Suppose $\mathfrak{M}:[{a},{b}]\rightarrow{\mathbf{R}}$ is convex, $\mathfrak{M}\in L_{1}[{a},{b}]$, and $\mathfrak{M}>0$. Then, the next inequalities are correct:

$$ \mathfrak{M} \biggl(\frac {{a}+{b}}{2} \biggr) \leq \frac {2^{{\mu}-1} \Gamma ({\mu} +1)}{ ({b}-{a} )^{\mu} } \bigl[ \mathcal{N}_{ (\frac{{a}+{b}}{2} )^{+}}^{\mu} \mathfrak{M} ({b} )+ \mathcal{N}_{ (\frac{{a}+{b}}{2} )^{-}}^{\mu} \mathfrak{M} ({a} ) \bigr] \leq \frac {\mathfrak{M} ({a} )+\mathfrak{M} ({b} )}{2} . $$

(8)

Set et al. [16] proposed an important Hermite–Hadamard-type inequality by making use of the fractional integrals in equations (5) and (6).

Theorem 2.4

Given that $\mathfrak{M}$ is a convex and positive function that goes from $[{a},{b}]$ to R, with $\mathfrak{M}$ being in $L_{1}[{a},{b}]$, the operators ${}^{{\mu} }\mathcal{N}_{{a}+}^{{\theta}}$ and ${}^{{\mu} }\mathcal{N}_{{b}-}^{{\theta} }$ fulfill the following inequality:

$$ \mathfrak{M} \biggl(\frac{{a}+{b}}{2} \biggr) \leq \frac{\Gamma ({\mu}+1) {\theta}^{\mu}}{2({b}-{a})^{{\theta} {\mu}}} \bigl[{}^{{\mu} }\mathcal{N}_{{a}+}^{{\theta} } \mathfrak{M}({b})+{}^{{ \mu} }\mathcal{N}_{{b}-}^{{\theta} } \mathfrak{M}({a}) \bigr] \leq \frac{\mathfrak{M}({a})+\mathfrak{M}({b})}{2}, $$

(9)

where $Re({\mu})>0$ and ${\theta}\in [0,1]$.

Based on Hermite–Hadamard form, Gözpınar [17] created an inequality for convex and positive functions that included the fractional operators (5) and (6) in the following manner:

Theorem 2.5

Assume that $\mathfrak{M}$ is a convex and positive function that goes from $[{a},{b}]$ to R, with $\mathfrak{M}$ being in $L_{1}[{a},{b}]$. Then, the operators ${}^{{\mu} }\mathcal{N}_{{a}+}^{{\theta}}$ and ${}^{{\mu} }\mathcal{N}_{{b}-}^{{\theta} }$ attain the following inequality:

$$ \begin{aligned} \mathfrak{M} \biggl(\frac{{a}+{b}}{2} \biggr) &\leq \frac{2^{{\theta}{\mu}-1}\Gamma ({\mu}+1) {\theta}^{\mu}}{({b}-{a})^{{\theta} {\mu}}} \bigl[{}^{{\mu} }\mathcal{N}_{ (\frac{{a}+{b}}{2} )+}^{{ \theta} } \mathfrak{M}({b})+{}^{{\mu} }\mathcal{N}_{ ( \frac{{a}+{b}}{2} )-}^{{\theta} } \mathfrak{M}({a}) \bigr]\\ & \leq \frac{\mathfrak{M}({a})+\mathfrak{M}({b})}{2}. \end{aligned} $$

(10)

3 Main outcomes

First, in order to investigate the error estimates of the Hermite–Hadamard inequality, the following integral identity is established:

Lemma 3.1

Let $a, b \in \mathbf{R}$ with $a < b$ and $\mathfrak{M}:[a, b] \to \mathbb{R}$ be a function, also let $\mathfrak{Z} : [a, b] \to \mathbb{R}$ be a strictly monotone function such that $\mathfrak{M}\circ \mathfrak{Z}^{-1}$ is differentiable and $(\mathfrak{M}\circ \mathfrak{Z}^{-1})^{\prime }\in L[a,b]$. Then, the following identity holds:

$$ \begin{aligned} &\frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \\ &\quad =\frac{\mathfrak{Z}(b)-\mathfrak{Z}(a)}{2} \int ^{1}_{0} \biggl(\biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu}-\biggl[\frac{1-(1-t)^{\theta}}{\theta}\biggr]^{ \mu} \biggr)\\ &\qquad {}\times \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(t \mathfrak{Z}(a)+(1-t) \mathfrak{Z}(b)\bigr)\,dt. \end{aligned} $$

(11)

Proof

First, we calculate the next integral:

$$ \begin{aligned} & \int ^{1}_{0} \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime }\bigl(t\mathfrak{Z}(a)+(1-t) \mathfrak{Z}(b)\bigr)\,dt \\ &\quad = \frac{-\mathfrak{M}(a)}{\theta ^{\mu}(\mathfrak{Z}(b)-\mathfrak{Z}(a))}\\ &\qquad {}+ \frac{\mu}{(\mathfrak{Z}(b)-\mathfrak{Z}(a))} \int ^{1}_{0}\biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu -1}\\ &\qquad {}\times\bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr) \bigl(t\mathfrak{Z}(a)+(1-t)\mathfrak{Z}(b)\bigr) \frac{dt}{(1-t)^{1-\theta}} \\ &\quad = \frac{-\mathfrak{M}(a)}{\theta ^{\mu}(\mathfrak{Z}(b)-\mathfrak{Z}(a))}\\ &\qquad {}+ \frac{\mu}{(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta +1}} \int ^{ \mathfrak{Z}(a)}_{\mathfrak{Z}(b)}\biggl[ \frac{(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\theta}-(u-\mathfrak{Z}(a))^{\theta}}{\theta} \biggr]^{ \mu -1}\\ &\qquad {}\times\bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr) (u) \frac{du}{(u-\mathfrak{Z}(a))^{1-\theta}} \\ &\quad = \frac{-\mathfrak{M}(a)}{\theta ^{\mu}(\mathfrak{Z}(b)-\mathfrak{Z}(a))}+ \frac{\Gamma (\mu +1)}{(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta +1}} J_{\mathfrak{Z}(a)^{+}}^{\mu} \mathfrak{M}(b). \end{aligned} $$

(12)

In a similar vein, the equation that follows can be obtained from integration by parts:

$$ \begin{aligned} & \int ^{1}_{0}\biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}\bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime }\bigl(t\mathfrak{Z}(a)+(1-t) \mathfrak{Z}(b)\bigr)\,dt \\ &\quad = \frac{\mathfrak{M}(b)}{\theta ^{\mu}(\mathfrak{Z}(b)-\mathfrak{Z}(a))}- \frac{\Gamma (\mu +1)}{(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta +1}} {}^{{\mu} } \mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}}\mathfrak{M}(a). \end{aligned} $$

(13)

The left-hand side can be obtained by employing (12) and (13) in the right-hand side of (11). □

Theorem 3.1

Let $a, b \in {\mathbf{R}}$ with $a < b$ and $\mathfrak{M}:[a,b]\to \mathbb{R}$ be a function, also let $\mathfrak{Z} : [a, b]\to \mathbb{R}$ be a strictly monotone function such that $\mathfrak{M} \circ \mathfrak{Z}^{-1}$ is differentiable and $(\mathfrak{M} \circ \mathfrak{Z}^{1})^{\prime }\in L[a,b]$. If $|(\mathfrak{M} \circ \mathfrak{Z}^{-1})^{\prime }|$ is convex, then the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ & \quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2\theta ^{(\mu +1)}}\bigl(\bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\mathfrak{Z}(a)+\bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1}\bigr)^{\prime }\mathfrak{Z}(b)\bigr)\\ &\qquad {}\times \biggl(\beta \biggl( \frac{1}{2^{\theta}},\frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1- \frac{1}{2^{\theta}},\mu +1,\frac{1}{\theta}\biggr)\biggr). \end{aligned} $$

(14)

Proof

By involving the property of the function of the absolute value in Lemma 3.1, one can obtain the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ & \quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2} \int ^{1}_{0} \biggl\vert \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert \\ &\qquad {}\times \bigl\vert \bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1} \bigr)^{\prime }\bigl(t\mathfrak{Z}(a)+(1-t)\mathfrak{Z}(b)\bigr) \bigr\vert \,dt. \end{aligned} $$

(15)

The following inequality can be obtained by employing the convexity of $(\mathfrak{M}\circ \mathfrak{Z}^{-1})^{\prime }$ on the right-hand side of the preceding inequality (15):

$$\begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta -1}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2} \int ^{1}_{0} \biggl\vert \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert \\ &\qquad {}\times \bigl\vert \bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1} \bigr)^{\prime }\bigl(t\mathfrak{Z}(a)+(1-t)\mathfrak{Z}(b)\bigr) \bigr\vert \,dt \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2}\biggl( \int ^{\frac{1}{2}}_{0} \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \\ &\qquad {}\times \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime } \bigl(t\mathfrak{Z}(a)+(1-t)\mathfrak{Z}(b)\bigr) \bigr\vert \,dt \\ &\qquad{} + \int ^{1}_{\frac{1}{2}} \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}- \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu} \bigl\vert \bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime } \bigl(t\mathfrak{Z}(a)+(1-t) \mathfrak{Z}(b)\bigr) \bigr\vert \,dt\biggr) \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2}\biggl(\bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1}\bigr)^{\prime }\mathfrak{Z}(a) \biggl( \int ^{\frac{1}{2}}_{0}t \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{\frac{1}{2}}_{0}t \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt \\ &\qquad{}+ \int ^{1}_{\frac{1}{2}}t \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{1}_{\frac{1}{2}}t \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu}\,dt\biggr) \\ &\qquad{} + \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime }\mathfrak{Z}(b) \biggl( \int ^{ \frac{1}{2}}_{0}(1-t) \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{\frac{1}{2}}_{0}(1-t) \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt \\ &\qquad {}+ \int ^{1}_{\frac{1}{2}}(1-t) \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{1}_{\frac{1}{2}}(1-t) \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu} \,dt\biggr)\biggr) \\ &\quad = \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2 \theta ^{(\mu +1)}}\bigl(\bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime }\mathfrak{Z}(a)+\bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1}\bigr)^{\prime }\mathfrak{Z}(b)\bigr) \\ &\qquad {}\times \biggl(\beta \biggl( \frac{1}{2^{\theta}},\frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1- \frac{1}{2^{\theta}},\mu +1,\frac{1}{\theta}\biggr)\biggr). \end{aligned}$$

(16)

This completes the proof. □

Corollary 3.1

If $\theta =1$ in the inequality (14), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu}} \bigl({}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2(\mu +1)}\biggl(1- \frac{1}{2^{\mu}}\biggr) \bigl( \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime } \mathfrak{Z}(a) \bigr\vert +\bigl|\bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime } \mathfrak{Z}(b)\bigr)\bigr|. \end{aligned} $$

(17)

Corollary 3.2

If $\mathfrak{Z}(x)=\frac{1}{x}$ in the inequality (14), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2} \biggl(\frac{ab}{b-a} \biggr)^{\mu \theta} \biggl({}^{{ \mu} }\mathcal{N}^{\theta}_{(\frac{1}{a})^{+}}\mathfrak{M}\circ g\biggl( \frac{1}{b}\biggr)+{}^{{\mu} }\mathcal{N}^{\theta}_{(\frac{1}{b})^{-}} \mathfrak{M}\circ g\biggl(\frac{1}{a}\biggr)\biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{2ab\theta ^{\mu +1}}\bigl(a^{2}\mathfrak{M}^{\prime }(a)+b^{2} \mathfrak{M}^{\prime }(b)\bigr) \biggl(\beta \biggl(\frac{1}{2^{\theta}}, \frac{1}{\theta}, \mu +1\biggr)-\beta \biggl(1-\frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr)\biggr), \end{aligned} $$

(18)

where $g(s) = \frac{1}{s}$.

Corollary 3.3

If $\mathfrak{Z}(x)=\frac{1}{x}$ and $\theta =1$ in the inequality (14), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2}- \frac{\Gamma (\mu +1)}{2} \biggl(\frac{ab}{b-a} \biggr)^{\mu -1} \biggl({}^{{ \mu} }\mathcal{N}^{\theta}_{(\frac{1}{a})^{+}}\mathfrak{M}\circ g\biggl( \frac{1}{b}\biggr)+{}^{{\mu} }\mathcal{N}^{\theta}_{(\frac{1}{b})^{-}} \mathfrak{M}\circ g\biggl(\frac{1}{a}\biggr)\biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{2ab}\bigl(a^{2}\mathfrak{M}^{\prime }(a) +b^{2}\mathfrak{M}^{\prime }(b)\bigr) \biggl( \beta \biggl( \frac{1}{2},1,\mu +1\biggr)-\beta \biggl(\frac{1}{2},\mu +1,1\biggr) \biggr), \end{aligned} $$

(19)

where $g(s) = \frac{1}{s}$.

Corollary 3.4

If $\mathfrak{Z}(x)=\frac{1}{x}$, $\mu =1$ and $\theta =1$ in the inequality (14), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2}- \frac{ab}{(b-a)} \int _{\frac{1}{b}}^{\frac{1}{a}}\mathfrak{M}\circ g(s)\,ds \biggr\vert \leq \frac{b-a}{8ab}\bigl\{ \bigl\vert a^{2}\mathfrak{M}^{\prime }(a)+b^{2} \mathfrak{M}^{\prime }(b) \bigr\vert \bigr\} , \end{aligned} $$

(20)

where $g(t) = \frac{1}{t}$.

Theorem 3.2

Let $a, b \in {r}$ with $a < b$ and $\mathfrak{M}:[a,b]\to \mathbb{R}$ be a function, also let $\mathfrak{Z} : [a, b]\to \mathbb{R}$ be a strictly monotone function such that $\mathfrak{M}\circ \mathfrak{Z}^{-1}$ is differentiable and $(\mathfrak{M} \circ \mathfrak{Z}^{1})^{\prime }\in L[a,b]$. If $|(\mathfrak{M} \circ \mathfrak{Z}^{-1})^{\prime }|^{q}, q> 1$ is convex, then the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2^{\frac{1}{q}}\theta ^{(\mu +1)}} \biggl(\beta \biggl(\frac{1}{2^{\theta}}, \frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1- \frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr) \biggr)\\ &\qquad {}\times \bigl( \bigl\vert \bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(\mathfrak{Z}(a)\bigr) \bigr\vert ^{q}+ \bigl\vert \bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(\mathfrak{Z}(b)\bigr) \bigr\vert ^{q}\bigr)^{\frac{1}{q}}. \end{aligned} $$

(21)

Proof

The proof can be divided into two cases. Case 1: $q = 1$. By using the property of the absolute value function and the convexity of $|(\mathfrak{M} \circ \mathfrak{Z}^{-1})^{\prime }|$ in Lemma 3.1, inequality (14) is obtained.

Case 2: $q > 1$. By using the property of the absolute value function and power mean inequality on the right-hand side of inequality (11), the following inequality is established:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2} \biggl( \int ^{1}_{0} \biggl\vert \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert \biggr)^{1- \frac{1}{q}} \\ &\qquad {} \times \biggl( \int ^{1}_{0} \biggl\vert \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert \\ &\qquad {}\times\bigl\vert \bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(t\mathfrak{Z}(a)+(1-t) \mathfrak{Z}(b)\bigr) \bigr\vert ^{q}\,dt \biggr)^{\frac{1}{q}}. \end{aligned} $$

(22)

We also have that

$$ \begin{aligned} &\int ^{1}_{0} \biggl\vert \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert \,dt \\ &\quad = \int ^{\frac{1}{2}}_{0} \biggl( \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr)\,dt \\ &\qquad{}+ \int ^{1}_{\frac{1}{2}} \biggl( \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu} \biggr)\,dt\\ &\quad = \frac{2}{\theta ^{\mu +1}} \biggl(\beta \biggl(\frac{1}{2^{\theta}}, \frac{1}{\theta}, \mu +1\biggr)-\beta \biggl(1-\frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr) \biggr). \end{aligned} $$

(23)

Also, by the convexity of $|(\mathfrak{M}\circ \mathfrak{Z}^{-1})^{\prime }|^{q}$, we obtain the following inequality:

$$\begin{aligned} & \int ^{1}_{0} \biggl\vert \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime }\bigl(t \mathfrak{Z}(a)+(1-t)\mathfrak{Z}(b)\bigr) \bigr\vert ^{q}\,dt \\ &\quad \leq \int ^{\frac{1}{2}}_{0} \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \\ &\qquad {}\times (t \bigl| \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(a)\bigr) \bigr\vert ^{q}+(1-t) \bigl\vert \bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(b)\bigr)\bigr|^{q} \bigr)\,dt \\ &\quad\quad{}+ \int ^{1}_{\frac{1}{2}} \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}- \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu} \\ &\qquad {}\times (t \bigl| \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(a)\bigr) \bigr\vert ^{q}+(1-t) \bigl\vert \bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(b)\bigr)\bigr|^{q}\bigr)\,dt \\ &\quad \leq \bigl|\bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(a)\bigr) \bigr\vert ^{q}\biggl( \int ^{\frac{1}{2}}_{0}t \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{\frac{1}{2}}_{0}t \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt \\ &\quad\quad{}+ \int ^{1}_{\frac{1}{2}}t \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{1}_{\frac{1}{2}}t \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu}\,dt\biggr) \\ &\quad\quad{}+ \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime }\bigl(\mathfrak{Z}(b)\bigr) \bigr|^{q}\biggl( \int ^{\frac{1}{2}}_{0}(1-t) \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{\frac{1}{2}}_{0}(1-t) \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt \\ &\quad\quad{}+ \int ^{1}_{\frac{1}{2}}(1-t) \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu}\,dt- \int ^{1}_{\frac{1}{2}}(1-t) \biggl[ \frac{1-t^{\theta}}{\theta} \biggr]^{\mu} \,dt\biggr) \\ &\quad = \frac{1}{\theta ^{\mu +1}}(\bigl|\bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1} \bigr)^{\prime }\bigl( \mathfrak{Z}(a)\bigr) \bigr\vert ^{q} \\ &\qquad {}+ \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(b)\bigr)\bigr|^{q}\bigr) \biggl(\beta \biggl(\frac{1}{2^{\theta}}, \frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1-\frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr)\biggr). \end{aligned}$$

(24)

Using (23) and (24) in (22), the inequality (21) can be obtained. □

Remark 3.1

If $\theta =1$ in the inequality (21), then one can obtain Theorem 4 in [22].

Corollary 3.5

If $\mathfrak{Z}(x)=x$ in the inequality (21), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(b-a)^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{ \theta}_{(a)^{+}} \mathfrak{M}(b)+{}^{{\mu} }\mathcal{N}^{\theta}_{(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{b-a}{2^{\frac{1}{q}}\theta ^{(\mu +1)}} \biggl(\beta \biggl( \frac{1}{2^{\theta}}, \frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1- \frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr) \biggr)\\ &\qquad {}\times \biggl( \bigl\vert \mathfrak{M}^{\prime }(a) \bigr\vert ^{q}+ \bigl\vert \bigl( \mathfrak{M}^{\prime }(b) \bigr\vert ^{q}\biggr)^{\frac{1}{q}}. \end{aligned} $$

(25)

Corollary 3.6

If $\mathfrak{Z}(x)=\frac{1}{x}$ in the inequality (21), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2}\biggl(\frac{ab}{b-a}\biggr)^{\mu \theta} \biggl({}^{{\mu} } \mathcal{N}^{\theta}_{(\frac{1}{a})^{+}}\mathfrak{M} \circ g\biggl( \frac{1}{b}\biggr)+{}^{{\mu} }\mathcal{N}^{\theta}_{(\frac{1}{b})^{-}} \mathfrak{M}\circ g\biggl(\frac{1}{a}\biggr)\biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{2^{\frac{1}{q}}ab \theta ^{(\mu +1)}} \biggl(\beta \biggl( \frac{1}{2^{\theta}}, \frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1- \frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr) \biggr)\\ &\qquad {}\times \biggl(a^{2q} \bigl\vert \mathfrak{M}^{\prime }\mathfrak{Z}(a) \bigr\vert ^{q}+ \bigl\vert \bigl(b^{2q}\mathfrak{M}^{\prime } \mathfrak{Z}(b) \bigr\vert ^{q}\biggr)^{\frac{1}{q}}. \end{aligned} $$

(26)

Corollary 3.7

If $\mathfrak{Z}(x)=\ln{x}$ in the inequality (21), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\ln{b}-\ln{a})^{\mu \theta}} \bigl({}^{{\mu} } \mathcal{N}^{\theta}_{\ln{a}^{+}} \mathfrak{M}(b)+{}^{{\mu} } \mathcal{N}^{\theta}_{\ln{b}^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{\ln{b}-\ln{a}}{2^{\frac{1}{q}} \theta ^{(\mu +1)}} \biggl( \beta \biggl(\frac{1}{2^{\theta}}, \frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1- \frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr) \biggr)\\ &\qquad {}\times \biggl(a^{q} \bigl\vert \mathfrak{M}^{\prime }\mathfrak{Z}(a) \bigr\vert ^{q}+ \bigl\vert \bigl(b^{q}\mathfrak{M}^{\prime } \mathfrak{Z}(b) \bigr\vert ^{q}\biggr)^{\frac{1}{q}}. \end{aligned} $$

(27)

Corollary 3.8

If $\mathfrak{Z}(x)=x^{r}, r\ne 0$, in the inequality (21), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{r^{\mu \theta}\Gamma (\mu +1)}{2(b^{r}-a^{r})^{\mu \theta}} \bigl({}^{{ \mu} }\mathcal{N}^{\theta}_{(a)^{+}} \mathfrak{M}(b)+{}^{{\mu} } \mathcal{N}^{\theta}_{(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{ \vert b^{r}-a^{r} \vert }{2^{\frac{1}{q}}\theta ^{(\mu +1)}} \biggl( \beta \biggl(\frac{1}{2^{\theta}}, \frac{1}{\theta},\mu +1\biggr)-\beta \biggl(1- \frac{1}{2^{\theta}},\mu +1, \frac{1}{\theta}\biggr) \biggr)\\ &\qquad {}\times \biggl(a^{(1-r)q} \bigl\vert \mathfrak{M}^{\prime }(a) \bigr\vert ^{q}+b^{(1-r)q} \bigl\vert \bigl(\mathfrak{M}^{\prime }(b) \bigr\vert ^{q} \biggr)^{ \frac{1}{q}}. \end{aligned} $$

(28)

The next lemma is helpful to prove the upcoming theorem.

Lemma 3.2

For $0 < \alpha < 1$ and $0 \leq a < b$, we have

$$ \bigl\vert a^{\alpha }- b^{\alpha} \bigr\vert \leq (b - a)^{\alpha}. $$

(29)

Theorem 3.3

Let $a, b \in {r}$ with $a < b$ and $\mathfrak{M}:[a,b]\to \mathbb{R}$ be a function, also let $\mathfrak{Z} : [a, b]\to \mathbb{R}$ be a strictly monotone function such that $\mathfrak{M}\circ \mathfrak{Z}^{-1}$ is differentiable and $(\mathfrak{M} \circ \mathfrak{Z}^{1})^{\prime }\in L[a,b]$. If $|(\mathfrak{M} \circ \mathfrak{Z}^{-1})^{\prime }|^{q}, q> 1$ is convex, then the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2^{1+\frac{1}{q}}\theta ^{\mu}(\theta \mu p + 1)^{\frac{1}{p}}}\bigl( \bigl\vert \bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(\mathfrak{Z}(a)\bigr) \bigr\vert ^{q}+ \bigl\vert \bigl( \mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(\mathfrak{Z}(b)\bigr) \bigr\vert ^{q}\bigr)^{ \frac{1}{q}}, \end{aligned} $$

(30)

where $\frac{1}{p}+\frac{1}{q}=1$.

Proof

By using the property of the absolute value function and then Holder’s inequality on the right-hand side of (2.1), the following inequality is obtained:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\mathfrak{Z}(b)-\mathfrak{Z}(a))^{\mu \theta}} \bigl({}^{{\mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(a)^{+}} \mathfrak{M}(b)+{}^{{ \mu} }\mathcal{N}^{\theta}_{\mathfrak{Z}(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \mathfrak{Z}(b)-\mathfrak{Z}(a) \vert }{2} \biggl( \int ^{1}_{0} \biggl\vert \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[ \frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert ^{p} \biggr)^{ \frac{1}{p}} \\ &\qquad {} \times \biggl( \int ^{1}_{0} \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(t \mathfrak{Z}(a)+(1-t) \mathfrak{Z}(b)\bigr) \bigr\vert ^{q}\,dt \biggr)^{ \frac{1}{q}}. \end{aligned} $$

(31)

Using Lemma 3.2, we have

$$ \begin{aligned} & \int ^{1}_{0} \biggl\vert \biggl[\frac{1-t^{\theta}}{\theta} \biggr]^{\mu}- \biggl[\frac{1-(1-t)^{\theta}}{\theta} \biggr]^{\mu} \biggr\vert ^{p}\,dt \\ &\quad\leq \frac{1}{\theta ^{\mu p}} \int ^{1}_{0} \bigl\vert (1-t)^{ \theta}-t^{\theta} \bigr\vert ^{\mu p}\,dt \\ &\quad\leq \frac{1}{\theta ^{\mu p}} \int ^{1}_{0} \vert 2t-1 \vert ^{ \theta \mu p}\,dt = \frac{1}{\theta ^{\mu p}} \int ^{\frac{1}{2}}_{0}(1-2t)^{ \theta \mu p}\,dt + \frac{1}{\theta ^{\mu p}} \int ^{1}_{\frac{1}{2}}(2t-1)^{ \theta \mu p}\,dt \\ &\quad = \frac{1}{\theta ^{\mu p}(\theta \mu p + 1)}. \end{aligned} $$

(32)

Also, by the convexity of $|(\mathfrak{M}\circ \mathfrak{Z}^{-1})^{\prime }|^{q}$, we obtain the following inequality:

$$ \begin{aligned} & \int ^{1}_{0} \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl(t \mathfrak{Z}(a)+(1-t) \mathfrak{Z}(b)\bigr) \bigr\vert ^{q}\,dt \\ &\quad \leq \int ^{1}_{0} \bigl(t \bigl\vert \bigl(\mathfrak{M} \circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(a)\bigr) \bigr\vert ^{q}+(1-t) \bigl\vert \bigl(\mathfrak{M}\circ \mathfrak{Z}^{-1}\bigr)^{\prime }\bigl( \mathfrak{Z}(b)\bigr) \bigr\vert ^{q}\bigr)\,dt \\ &\quad = \frac{ \vert (\mathfrak{M}\circ \mathfrak{Z}^{-1})^{\prime }(\mathfrak{Z}(a)) \vert ^{q}+ \vert (\mathfrak{M}\circ \mathfrak{Z}^{-1})^{\prime }(\mathfrak{Z}(b)) \vert ^{q}}{2}. \end{aligned} $$

(33)

Therefore, the inequality can be obtained using the aforementioned integral calculations (30). □

Corollary 3.9

If $\mathfrak{Z}(x)=\frac{1}{x}$ in the inequality (30), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2}\biggl(\frac{ab}{b-a}\biggr)^{\mu \theta} \biggl({}^{{\mu} } \mathcal{N}^{\theta}_{(\frac{1}{a})^{+}}\mathfrak{M} \circ g\biggl( \frac{1}{b}\biggr)+{}^{{\mu} }\mathcal{N}^{\theta}_{(\frac{1}{b})^{-}} \mathfrak{M}\circ g\biggl(\frac{1}{a}\biggr)\biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{2^{1+\frac{1}{q}}ab\theta ^{\mu}(\theta \mu p + 1)^{\frac{1}{p}}}\biggl(a^{2q} \bigl\vert \mathfrak{M}^{\prime }\mathfrak{Z}(a) \bigr\vert ^{q}+ b^{2q} \bigl\vert \mathfrak{M}^{\prime } \mathfrak{Z}(b) \bigr\vert ^{q}\biggr)^{\frac{1}{q}}, \end{aligned} $$

(34)

where $g(x)=\frac{1}{x}$.

Corollary 3.10

If $\mathfrak{Z}(x)=\ln{x}$ in the inequality (30), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{\Gamma (\mu +1)}{2(\ln{b}-\ln{a})^{\mu \theta}} \bigl({}^{{\mu} } \mathcal{N}^{\theta}_{(\ln{a})^{+}} \mathfrak{M}(b)+{}^{{\mu} } \mathcal{N}^{\theta}_{(\ln{b})^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ &\quad \leq \frac{\ln{b}-\ln{a}}{2^{1+\frac{1}{q}}\theta ^{\mu}(\theta \mu p + 1)^{\frac{1}{p}}}\biggl(a^{q} \bigl\vert \mathfrak{M}^{\prime }(a) \bigr\vert ^{q}+ b^{q} \bigl\vert \mathfrak{M}^{\prime }(b) \bigr\vert ^{q} \biggr)^{ \frac{1}{q}}. \end{aligned} $$

(35)

Corollary 3.11

If $\mathfrak{Z}(x)=x^{r}, r\ne 0$, in the inequality (30), then one can obtain the next inequality:

$$ \begin{aligned} & \biggl\vert \frac{\mathfrak{M}(a)+\mathfrak{M}(b)}{2\theta ^{\mu}}- \frac{r^{\mu \theta}\Gamma (\mu +1)}{2(b^{r}-a^{r})^{\mu \theta}} \bigl({}^{{ \mu} }\mathcal{N}^{\theta}_{(a)^{+}} \mathfrak{M}(b)+{}^{{\mu} } \mathcal{N}^{\theta}_{(b)^{-}} \mathfrak{M}(a)\bigr) \biggr\vert \\ & \quad \leq \frac{ \vert b^{r}-a^{r} \vert }{2^{1+\frac{1}{q}}\theta ^{\mu}(\theta \mu p + 1)^{\frac{1}{p}} \vert r \vert }\biggl(a^{(1-r)q} \bigl\vert \mathfrak{M}^{\prime }(a) \bigr\vert ^{q}+b^{(1-r)q} \bigl\vert \bigl(\mathfrak{M}^{\prime }(b) \bigr\vert ^{q} \biggr)^{ \frac{1}{q}}. \end{aligned} $$

(36)

Remark 3.2

If $\theta =1$ in the inequality (21), then one can obtain Theorem 5 in [22].

4 Conclusions

As is widely known, in nearly all fields of scientific study, inequalities are important in constructing mathematical frameworks and associated state functions. Convexity also has a significant impact on the optimization topic. This pushes us to address their expansions of inequalities in a variety of ways. With the use of the enlarged Riemann–Liouville integrals (5) and (6) and the convexity feature of the functions, we presented and established novel fractional inequalities in the current study. The technique proposed in this study, with fractional integral inequalities, is simple and straightforward, and can be applied to many different inequalities, like Ostrowski, Minkowski, midpoint, and Simpson inequalities. In addition, it is easy to recognize that each of the inequalities that have been constructed are encompassing and may be lowered to numerous other inequalities that were suggested earlier in the research literature.