Some parameterized Simpson’s type inequalities for differentiable convex functions involving generalized fractional integrals

Abstract

In this paper, we establish some new inequalities of Simpson’s type for differentiable convex functions involving some parameters and generalized fractional integrals. The results given in this study are a generalization of results proved in (Du, Li and Yang in Appl. Math. Comput. 293:358–369, 2017).

Introduction

Simpson’s rules are well-known ways for numerical integration and numerical estimation of definite integrals. This method is known as developed by Simpson (1710–1761). However, Kepler used the same approximation about 100 years ago, so that this method is also known as Kepler’s rule. Simpson’s rule includes the three-point Newton–Cotes quadrature rule, so estimation based on three-step quadratic kernel is sometimes called a Newton-type result.

1) Simpson’s quadrature formula (Simpson’s 1/3 rule)

$$ \int _{\kappa _{1}}^{\kappa _{2}}\mathcal{F}(\varkappa )\,{d} \varkappa \approx \frac{\kappa _{2}-\kappa _{1}}{6} \biggl[ \mathcal{F}(\kappa _{1})+4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F}(\kappa _{2}) \biggr] . $$

2) Simpson’s second formula or Newton–Cotes quadrature formula (Simpson’s 3/8 rule).

$$ \int _{\kappa _{1}}^{\kappa _{2}}\mathcal{F}(\varkappa )\,{d} \varkappa \approx \frac{\kappa _{2}-\kappa _{1}}{8} \biggl[ \mathcal{F}(\kappa _{1})+3\mathcal{F} \biggl( \frac{2\kappa _{1}+\kappa _{2}}{3} \biggr) +3 \mathcal{F} \biggl( \frac{\kappa _{1}+2\kappa _{2}}{3} \biggr) +\mathcal{F}( \kappa _{2}) \biggr] . $$

There are a large number of estimations related to these quadrature rules in the literature; one of them is the following estimation known as Simpson’s inequality.

Theorem 1

Suppose that $\mathcal{F}: [ \kappa _{1},\kappa _{2} ] \rightarrow \mathbb{R}$ is a four times continuously differentiable mapping on $( \kappa _{1},\kappa _{2} )$, and let $\Vert \mathcal{F}^{ ( 4 ) } \Vert _{\infty }= \underset{\varkappa \in ( \kappa _{1},\kappa _{2} ) }{\sup } \vert \mathcal{F}^{ ( 4 ) }(\varkappa ) \vert <\infty$. Then we have the inequality

$$\begin{aligned}& \biggl\vert \frac{1}{3} \biggl[ \frac{\mathcal{F}(\kappa _{1})+\mathcal{F}(\kappa _{2})}{2}+2\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) \biggr] -\frac{1}{\kappa _{2}-\kappa _{1}} \int _{\kappa _{1}}^{ \kappa _{2}}\mathcal{F}(\varkappa )\,d\varkappa \biggr\vert \\& \quad \leq \frac{1}{2880} \bigl\Vert \mathcal{F}^{ ( 4 ) } \bigr\Vert _{\infty } ( \kappa _{2}-\kappa _{1} ) ^{4}. \end{aligned}$$

Integral-type inequalities have numerous applications in the study of qualitative theory of different classes of differential equations and partial differential equations; see, for instance, [3, 4, 8, 11, 14, 15, 20–22] for more detail. In recent years, many authors have focused on Simpson’s type inequalities for various classes of functions. Specifically, some mathematicians have worked on Simpson’s and Newton’s type results for convex mappings, because convexity theory is an effective and powerful method for solving a large number of problems that arise within different branches of pure and applied mathematics. For example, Dragomir et al. [9] presented new Simpson’s type results and their applications to quadrature formulas in numerical integration. Moreover, some inequalities of Simpson’s type for s-convex functions are deduced by Alomari et al. [2]. Afterwards, Sarikaya et al. [30] observed variants of Simpson’s type inequalities based on convexity. In [25] and [26] the authors provided some Newton’s type inequalities for harmonic convex and p-harmonic convex functions. Additionally, new Newton’s type inequalities for functions whose local fractional derivatives are generalized convex are given by Iftikhar et al. [17]. For more recent developments, the reader can consult [1, 5, 12, 27, 31].

Generalized fractional integrals

In this section, we summarize the generalized fractional integrals defined by Sarikaya and Ertuğral [29].

Let a function $\varphi :[0,\infty )\rightarrow \lbrace 0,\infty )$ satisfy the following condition:

$$ \int _{0}^{1}\frac{\varphi ( \tau ) }{\tau }\,d\tau < \infty . $$

We define the following left-sided and right-sided generalized fractional integral operators, respectively, as follows:

$$\begin{aligned}& _{\kappa _{1}^{+}}I_{\varphi }\mathcal{F}(\varkappa )= \int _{\kappa _{1}}^{ \varkappa } \frac{\varphi ( \varkappa -\tau ) }{\varkappa -\tau } \mathcal{F}(\tau )\,d\tau ,\quad \varkappa >\kappa _{1}, \end{aligned}$$

(2.1)

$$\begin{aligned}& _{\kappa _{2}^{-}}I_{\varphi }\mathcal{F}(\varkappa )= \int _{ \varkappa }^{\kappa _{2}} \frac{\varphi ( \tau -\varkappa ) }{\tau -\varkappa } \mathcal{F}( \tau )\,d\tau ,\quad \varkappa < \kappa _{2}. \end{aligned}$$

(2.2)

The most important feature of generalized fractional integrals is that they generalize some types of fractional integrals such as the Riemann–Liouville fractional integral, k-Riemann–Liouville fractional integral, Katugampola fractional integral, conformable fractional integral, Hadamard fractional integral, etc. These important particular cases of the integral operators (2.1) and (2.2) are mentioned below.

i) If we take $\varphi ( \tau ) =\tau$, then operators (2.1) and (2.2) reduce to the Riemann integral:

$$\begin{aligned}& I_{{\kappa _{1}^{+}}}\mathcal{F}(\varkappa )= \int _{\kappa _{1}}^{ \varkappa }\mathcal{F}(\tau )\,d\tau ,\quad \varkappa >\kappa _{1}, \\& I_{\kappa _{2}^{-}}\mathcal{F}(\varkappa )= \int _{\varkappa }^{ \kappa _{2}}\mathcal{F}(\tau )\,d\tau ,\quad \varkappa < \kappa _{2}. \end{aligned}$$

ii) If we take $\varphi ( \tau ) = \frac{\tau ^{\alpha }}{\Gamma ( \alpha ) }$, then operators (2.1) and (2.2) reduce to the Riemann–Liouville fractional integral:

$$\begin{aligned}& I_{{\kappa _{1}^{+}}}^{\alpha }\mathcal{F}(\varkappa )= \frac{1}{\Gamma ( \alpha ) } \int _{\kappa _{1}}^{ \varkappa } ( \varkappa -\tau ) ^{\alpha -1}\mathcal{F}( \tau )\,d\tau ,\quad \varkappa >\kappa _{1}, \\& I_{\kappa _{2}^{-}}^{\alpha }\mathcal{F}(\varkappa )= \frac{1}{\Gamma ( \alpha ) } \int _{\varkappa }^{\kappa _{2}} ( \tau - \varkappa ) ^{\alpha -1}\mathcal{F}(\tau )\,d\tau ,\quad \varkappa < \kappa _{2}. \end{aligned}$$

iii) If we take $\varphi ( \tau ) = \frac{1}{k\Gamma _{k} ( \alpha ) }\tau ^{\frac{\alpha }{k}}$, then operators (2.1) and (2.2) reduce to the k-Riemann–Liouville fractional integral:

$$\begin{aligned}& I_{{\kappa _{1}^{+},k}}^{\alpha }\mathcal{F}(\varkappa )= \frac{1}{k\Gamma _{k} ( \alpha ) } \int _{\kappa _{1}}^{ \varkappa } ( \varkappa -\tau ) ^{\frac{\alpha }{k}-1} \mathcal{F}(\tau )\,d\tau ,\quad \varkappa >\kappa _{1}, \\& I_{\kappa _{2}^{-},k}^{\alpha }\mathcal{F}(\varkappa )= \frac{1}{k\Gamma _{k} ( \alpha ) } \int _{\varkappa }^{ \kappa _{2}} ( \tau -\varkappa ) ^{\frac{\alpha }{k}-1} \mathcal{F}(\tau )\,d\tau ,\quad \varkappa < \kappa _{2}, \end{aligned}$$

where

$$ \Gamma _{k} ( \alpha ) = \int _{0}^{\infty }\tau ^{\alpha -1}e^{-\frac{\tau ^{k}}{k}}\,d\tau ,\quad \mathcal{R}(\alpha )>0, $$

and

$$ \Gamma _{k} ( \alpha ) =k^{\frac{\alpha }{k}-1}\Gamma \biggl( \frac{\alpha }{k} \biggr) ,\quad \mathcal{R}(\alpha )>0, \ k>0, $$

are given by Mubeen and Habibullah [24].

Sarikaya and Ertuğral also established the following Hermite–Hadamard inequality for the generalized fractional integral operators.

Theorem 2

([29])

Let $\mathcal{F}: [ \kappa _{1},\kappa _{2} ] \rightarrow \mathbb{R}$ be a convex function on $[ \kappa _{1},\kappa _{2} ]$ with $\kappa _{1}<\kappa _{2}$. Then we have the following inequalities for fractional integral operators:

$$ \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) \leq \frac{1}{2\Delta (1)} \bigl[ _{\kappa _{1}+}I_{\varphi }\mathcal{F}(\kappa _{2})+_{ \kappa _{2}-}I_{\varphi } \mathcal{F}(\kappa _{1}) \bigr] \leq \frac{\mathcal{F}(\kappa _{1})+\mathcal{F}(\kappa _{2})}{2}, $$

(2.3)

where the mapping $\Delta : [ 0,1 ] \rightarrow \mathbb{R}$ is defined by

$$ \Delta (\tau )= \int _{0}^{\tau } \frac{\varphi ( ( \kappa _{2}-\kappa _{1} ) u ) }{u}\,du. $$

In the literature, there are several papers on inequalities for generalized fractional integrals. We refer the reader to [6, 7, 13, 16, 18, 19, 23, 28, 32].

A lemma

In this section, we propose a parameterized identity involving the ordinary first derivative via generalized fractional integrals.

Lemma 1

Let $\mathcal{F}: [ \kappa _{1},\kappa _{2} ] \rightarrow \mathbb{R}$ be a differentiable function on $( \kappa _{1},\kappa _{2} )$. If $\mathcal{F}^{\prime }$ is continuous on $[ \kappa _{1},\kappa _{2} ]$, then for $\lambda ,\mu \geq 0$, we have the identity

$$\begin{aligned}& \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) +\Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1- \mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {}- \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \bigl( \Delta ( \tau ) -\Delta ( 1 ) \lambda \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {} + \int _{\frac{1}{2}}^{1} \bigl( \Delta ( \tau ) -\Delta ( 1 ) \mu \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

(3.1)

Proof

Applying fundamental rules of integration, we have

$$\begin{aligned}& \int _{0}^{\frac{1}{2}} \bigl( \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \quad =\frac{1}{\kappa _{2}-\kappa _{1}} \biggl[ \Delta \biggl( \frac{1}{2} \biggr) - \Delta ( 1 ) \lambda \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\lambda \Delta ( 1 ) \mathcal{F} ( \kappa _{1} ) -_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi } \mathcal{F} ( \kappa _{1} ) \biggr] \end{aligned}$$

(3.2)

and

$$\begin{aligned}& \int _{\frac{1}{2}}^{1} \bigl( \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \quad =\frac{1}{\kappa _{2}-\kappa _{1}} \biggl[ \Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) - \Delta \biggl( \frac{1}{2} \biggr) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) \\& \qquad {}+\Delta ( 1 ) \mu \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -_{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) \biggr] . \end{aligned}$$

(3.3)

By adding (3.1) and (3.3) we obtain the required equality (3.1). □

Remark 1

If $\varphi ( \tau ) =\tau$ in Lemma 1, then Lemma 1 becomes [10, Lemma 2.1 for $m=1$].

Corollary 1

In Lemma 1, if we set $\varphi ( \tau ) = \frac{\tau ^{\alpha }}{\Gamma ( \alpha ) }$, then we obtain the following new Riemann–Liouville fractional integral identity:

$$\begin{aligned}& \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu - \lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {}- \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \bigl( \tau ^{\alpha }- \lambda \bigr) \mathcal{F}^{ \prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau\\& \qquad {} + \int _{\frac{1}{2}}^{1} \bigl( \tau ^{\alpha }-\mu \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1- \tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

Corollary 2

In Lemma 1, if we set $\varphi ( \tau ) = \frac{\tau ^{\frac{\alpha }{k}}}{k\Gamma _{k} ( \alpha ) }$, then we obtain the following new k-Riemann–Liouville fractional integral identity:

$$\begin{aligned}& \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu - \lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {}- \frac{\Gamma _{k} ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \bigl( \tau ^{\frac{\alpha }{k}}- \lambda \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {}+ \int _{\frac{1}{2}}^{1} \bigl( \tau ^{\frac{\alpha }{k}}-\mu \bigr) \mathcal{F}^{ \prime } \bigl( \tau \kappa _{2}+ ( 1- \tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

Simpson’s inequalities for generalized fractional integrals

In this section, we establish some new Simpson’s type inequalities for differentiable convex functions via generalized fractional integrals.

Theorem 3

We assume that the conditions of Lemma 1hold. If the mapping $\vert \mathcal{F}^{\prime } \vert$ is convex on $[ \kappa _{1},\kappa _{2} ]$, then we have the following inequality for generalized fractional integrals:

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \bigl\{ \Pi _{1}^{ \varphi } ( \lambda ) +\Pi _{3}^{\varphi } ( \mu ) \bigr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \bigl\{ \Pi _{2}^{\varphi } ( \lambda ) +\Pi _{4}^{\varphi } ( \mu ) \bigr\} \bigr], \end{aligned}$$

(4.1)

where

$$\begin{aligned}& \Pi _{1}^{\varphi } ( \lambda ) = \int _{0}^{\frac{1}{2}} \tau \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \lambda \bigr\vert \,d\tau ,\qquad \Pi _{2}^{\varphi } ( \lambda ) = \int _{0}^{\frac{1}{2}} ( 1-\tau ) \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \lambda \bigr\vert \,d\tau , \\& \Pi _{3}^{\varphi } ( \mu ) = \int _{\frac{1}{2}}^{1} \tau \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \mu \bigr\vert \,d\tau ,\qquad \Pi _{4}^{\varphi } ( \mu ) = \int _{\frac{1}{2}}^{1} ( 1-\tau ) \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau . \end{aligned}$$

Proof

By taking the modulus in Lemma 1 and using the properties of the modulus, we obtain that

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert \bigl\vert \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \bigr\vert \,d\tau \\& \qquad {} + \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \bigl\vert \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \bigr\vert \,d\tau \biggr] . \end{aligned}$$

(4.2)

Since the mapping $\vert \mathcal{F}^{\prime } \vert$ is convex on $[ \kappa _{1},\kappa _{2} ]$, we have

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \biggl( \int _{0}^{ \frac{1}{2}}\tau \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \lambda \bigr\vert \,d\tau + \int _{\frac{1}{2}}^{1}\tau \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau \biggr) \\& \qquad {} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \biggl( \int _{0}^{\frac{1}{2}} ( 1-\tau ) \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \lambda \bigr\vert \,d\tau + \int _{\frac{1}{2}}^{1} ( 1- \tau ) \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \mu \bigr\vert \,d\tau \biggr) \biggr] \\& \quad {}= ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \bigl\{ \Pi _{1}^{ \varphi } ( \lambda ) +\Pi _{3}^{\varphi } ( \mu ) \bigr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \bigl\{ \Pi _{2}^{\varphi } ( \lambda ) +\Pi _{4}^{\varphi } ( \mu ) \bigr\} \bigr], \end{aligned}$$

which ends the proof. □

Remark 2

In Theorem 3, if we take $\varphi ( \tau ) =\tau$, then Theorem 3 reduces to [10, Theorem 2.1 for $s=m=1$].

Corollary 3

In Theorem 3, if we use $\varphi ( \tau ) =\frac{\tau ^{\alpha }}{\Gamma ( \kappa _{1} ) }$, then we obtain the following parameterized Simpson’s type inequality for Riemann–Liouville fractional integrals:

$$\begin{aligned}& \biggl\vert \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \bigl\{ \Pi _{1}^{ \alpha } ( \lambda ) +\Pi _{3}^{\alpha } ( \mu ) \bigr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \bigl\{ \Pi _{2}^{\alpha } ( \lambda ) +\Pi _{4}^{\alpha } ( \mu ) \bigr\} \bigr], \end{aligned}$$

(4.3)

where

$$\begin{aligned}& \Pi _{1}^{\alpha } ( \lambda ) = \frac{\alpha }{\alpha +2} \lambda ^{\frac{\alpha +2}{\alpha }}- \frac{\lambda }{8}+\frac{1}{2^{\alpha +2} ( \alpha +2 ) }, \\& \Pi _{2}^{\alpha } ( \lambda ) = \frac{2\alpha }{\alpha +1}\lambda ^{\frac{\alpha +1}{\alpha }}-\frac{\lambda }{2}+ \frac{1}{2^{\alpha +1} ( \alpha +1 ) }-\Pi _{1}^{\alpha } ( \lambda ) , \\& \Pi _{3}^{\alpha } ( \mu ) =\frac{\alpha }{\alpha +2} \mu ^{\frac{\alpha +2}{\alpha }}-\frac{5}{8}\mu + \frac{2^{\alpha +2}+1}{2^{\alpha +2} ( \alpha +2 ) }, \end{aligned}$$

and

$$ \Pi _{4}^{\alpha } ( \mu ) =\frac{2\alpha }{\alpha +1} \mu ^{\frac{\alpha +1}{\alpha }}-\frac{3}{2}\mu + \frac{2^{\alpha +1}+1}{2^{\alpha +1} ( \alpha +1 ) }-\Pi _{3}^{ \alpha } ( \mu ) . $$

Corollary 4

In Theorem 3, if we use $\varphi ( \tau ) =\frac{\tau ^{\frac{\alpha }{k}}}{k\Gamma _{k} ( \kappa _{1} ) }$, then we obtain the following parameterized Simpson’s type inequality for k-Riemann–Liouville fractional integrals:

$$\begin{aligned}& \biggl\vert \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \frac{\Gamma _{k} ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \bigl\{ \Pi _{1}^{ \frac{\alpha }{k}} ( \lambda ) +\Pi _{3}^{\frac{\alpha }{k}} ( \mu ) \bigr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \bigl\{ \Pi _{2}^{ \frac{\alpha }{k}} ( \lambda ) +\Pi _{4}^{ \frac{\alpha }{k}} ( \mu ) \bigr\} \bigr], \end{aligned}$$

(4.4)

where

$$\begin{aligned} \Pi _{1}^{\frac{\alpha }{k}} ( \lambda ) =& \frac{\alpha }{\alpha +2k} \lambda ^{\frac{\alpha +2k}{\alpha }}- \frac{\lambda }{8}+ \frac{1}{2^{\frac{\alpha +2k}{k}} ( \frac{\alpha +2k}{k} ) }, \\ \Pi _{2}^{\frac{\alpha }{k}} ( \lambda ) =& \frac{2\alpha }{\alpha +k} \lambda ^{\frac{\alpha +k}{\alpha }}- \frac{\lambda }{2}+ \frac{1}{2^{\frac{\alpha +k}{k}} ( \frac{\alpha +k}{k} ) }-\Pi _{1}^{ \frac{\alpha }{k}}, \\ \Pi _{3}^{\frac{\alpha }{k}} ( \mu ) =& \frac{\alpha }{\alpha +2k}\mu ^{\frac{\alpha +2k}{\alpha }}-\frac{5}{8}\mu + \frac{2^{\frac{\alpha +2k}{k}}+1}{2^{\frac{\alpha +2k}{k}} ( \frac{\alpha +2k}{k} )}, \end{aligned}$$

and

$$ \Pi _{4}^{\frac{\alpha }{k}} ( \mu ) = \frac{2\alpha }{\alpha +k}\mu ^{\frac{\alpha +1}{\alpha }}-\frac{3}{2}\mu + \frac{2^{\frac{\alpha +k}{k}}+1}{2^{\frac{\alpha +k}{k}} ( \frac{\alpha +k}{k} ) }- \Pi _{3}^{\frac{\alpha }{k}}. $$

Theorem 4

We assume that the conditions of Lemma 1hold. If the mapping $\vert \mathcal{F} \vert ^{p_{1}}$, $p_{1}\geq 1$, is convex on $[ \kappa _{1},\kappa _{2} ]$, then we have the following inequality of Simpson’s type for generalized fractional integrals:

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{1}^{\varphi } ( \lambda ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{2}^{\varphi } ( \lambda ) \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{ \frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{3}^{\varphi } ( \mu ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{ \varphi } ( \mu ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \biggr], \end{aligned}$$

(4.5)

where $\Pi _{1}^{\varphi } ( \lambda )$, $\Pi _{2}^{\varphi } ( \lambda )$, $\Pi _{3}^{\varphi } ( \mu )$, and $\Pi _{4}^{\varphi } ( \mu )$ are defined in Theorem 3.

Proof

Reusing inequality (4.2), by the power mean inequality we have

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \int _{0}^{\frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert \bigl\vert \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}}\\& \qquad {}\times \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \bigl\vert \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{ \frac{1}{p_{1}}} \biggr] . \end{aligned}$$

Using the convexity of $\vert \mathcal{F}^{\prime } \vert ^{p_{1}}$, we have

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}} \int _{0}^{\frac{1}{2}}\tau \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \lambda \bigr\vert \,d\tau \\& \qquad {}+ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \int _{0}^{\frac{1}{2}} ( 1-\tau ) \bigl\vert \Delta ( \tau ) -\Delta ( 1 ) \lambda \bigr\vert \,d\tau \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau \biggr) ^{1- \frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}} \int _{\frac{1}{2}}^{1}\tau \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau \\& \qquad {}+ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \int _{\frac{1}{2}}^{1} ( 1-\tau ) \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{1}^{ \varphi } ( \lambda ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{\varphi } ( \lambda ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{3}^{\varphi } ( \mu ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{ \varphi } ( \mu ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \biggr], \end{aligned}$$

which finishes the proof. □

Remark 3

In Theorem 4, if we assume that $\varphi ( \tau ) =\tau$, then Theorem 4 reduces to [10, Theorem 2.3 for $s=m=1$].

Corollary 5

If we assume that $\varphi ( \tau ) = \frac{\tau ^{\alpha }}{\Gamma ( \alpha ) }$ in Theorem 4, then we have the following parameterized Simpson’s type inequality for Riemann–Liouville fractional integrals:

$$\begin{aligned}& \biggl\vert \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl( \Pi _{1}^{ \alpha } ( \lambda ) +\Pi _{2}^{\alpha } ( \lambda ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{1}^{\alpha } ( \lambda ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{\alpha } ( \lambda ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{ \frac{1}{p_{1}}} \\& \qquad {}+ \bigl( \Pi _{3}^{\alpha } ( \mu ) +\Pi _{4}^{ \alpha } ( \mu ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{3}^{\alpha } ( \mu ) \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{ \alpha } ( \mu ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \bigr], \end{aligned}$$

(4.6)

where $\Pi _{1}^{\alpha } ( \lambda )$, $\Pi _{2}^{\alpha } ( \lambda )$, $\Pi _{3}^{\alpha } ( \mu )$, and $\Pi _{4}^{\alpha } ( \mu )$ are defined in Corollary 3.

Corollary 6

If we assume that $\varphi ( \tau ) = \frac{\tau ^{\frac{\alpha }{k}}}{k\Gamma _{k} ( \alpha ) }$ in Theorem 4, then we have the following parameterized Simpson’s type inequality for k-Riemann–Liouville fractional integrals:

$$\begin{aligned}& \biggl\vert \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \frac{\Gamma _{k} ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl( \Pi _{1}^{ \frac{\alpha }{k}} ( \lambda ) +\Pi _{2}^{\frac{\alpha }{k}} ( \lambda ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{1}^{ \frac{\alpha }{k}} ( \lambda ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{\frac{\alpha }{k}} ( \lambda ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \bigl( \Pi _{3}^{\frac{\alpha }{k}} ( \mu ) + \Pi _{4}^{\frac{\alpha }{k}} ( \mu ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{3}^{\frac{\alpha }{k}} ( \mu ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{4}^{\frac{\alpha }{k}} ( \mu ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \bigr], \end{aligned}$$

(4.7)

where $\Pi _{1}^{\frac{\alpha }{k}} ( \lambda )$, $\Pi _{2}^{ \frac{\alpha }{k}} ( \lambda )$, $\Pi _{3}^{\frac{\alpha }{k}} ( \mu )$, and $\Pi _{4}^{\frac{\alpha }{k}} ( \mu )$ are described in Corollary 4.

Theorem 5

We assume that the conditions of Lemma 1hold. If the mapping $\vert \mathcal{F}^{\prime } \vert ^{r_{1}}$, $r_{1}>1$ is convex on $[ \kappa _{1},\kappa _{2} ]$, then we have the following inequality of Simpson’s type for generalized fractional integrals:

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{ \frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{ \frac{1}{r_{1}}} \biggr], \end{aligned}$$

(4.8)

where $\frac{1}{p_{1}}+\frac{1}{r_{1}}=1$.

Proof

Reusing inequality (4.2), by the well-known Hölder inequality we have

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{ \frac{1}{p_{1}}} \biggl( \int _{0}^{\frac{1}{2}} \bigl\vert \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \bigr\vert ^{r_{1}}\,d\tau \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \bigr\vert ^{r_{1}}\,d\tau \biggr) ^{ \frac{1}{r_{1}}} \biggr] . \end{aligned}$$

Since $\vert \mathcal{F}^{\prime } \vert ^{r_{1}}$ is convex, we have

$$\begin{aligned}& \biggl\vert \Delta ( 1 ) \lambda \mathcal{F} ( \kappa _{1} ) + \Delta ( 1 ) ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{ \varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{ \frac{1}{p_{1}}}\\& \qquad {} \times \biggl( \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{r_{1}} \int _{0}^{\frac{1}{2}}\tau \,d\tau + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{r_{1}} \int _{0}^{\frac{1}{2}} ( 1-\tau ) \,d\tau \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}}\\& \qquad {} \times \biggl( \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{r_{1}} \int _{\frac{1}{2}}^{1}\tau \,d\tau + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{r_{1}} \int _{\frac{1}{2}}^{1} ( 1-\tau ) \,d\tau \biggr) ^{\frac{1}{r_{1}}} \biggr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \lambda \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \mu \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{ \frac{1}{r_{1}}} \biggr], \end{aligned}$$

which completes the proof. □

Remark 4

In Theorem 5, if we set $\varphi ( \tau ) =\tau$, then Theorem 5 reduces to [10, Theorem 2.2 for $s=m=1$].

Corollary 7

In Theorem 5, if we set $\varphi ( \tau ) =\frac{\tau ^{\alpha }}{\Gamma ( \alpha ) }$, then we obtain the following parameterized Simpson’s type inequality for Riemann-Liouville fractional integrals:

$$\begin{aligned}& \biggl\vert \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \tau ^{\alpha }-\lambda \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \tau ^{\alpha }- \mu \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

Corollary 8

In Theorem 5, if we set $\varphi ( \tau ) =\frac{\tau ^{\frac{\alpha }{k}}}{k\Gamma _{k} ( \alpha ) }$, then we obtain the following parameterized Simpson’s type inequality for k-Riemann–Liouville fractional integrals:

$$\begin{aligned}& \biggl\vert \lambda \mathcal{F} ( \kappa _{1} ) + ( \mu -\lambda ) \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + ( 1-\mu ) \mathcal{F} ( \kappa _{2} ) \\& \qquad {} - \frac{\Gamma _{k} ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \tau ^{\frac{\alpha }{k}}-\lambda \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \tau ^{ \frac{\alpha }{k}}-\mu \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr]. \end{aligned}$$

Particular cases

In this section, we give some particular cases of our main results.

Remark 5

From Lemma 1 we get the following identities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the new identity:

  $$\begin{aligned}& \frac{1}{6} \biggl[ \Delta ( 1 ) \mathcal{F} ( \kappa _{1} ) +\Delta ( 1 ) 4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \times \biggl[ \int _{0}^{ \frac{1}{2}} \biggl( \Delta ( \tau ) -\frac{\Delta ( 1 ) }{6} \biggr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {}+ \int _{\frac{1}{2}}^{1} \biggl( \Delta ( \tau ) - \frac{5\Delta ( 1 ) }{6} \biggr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1- \tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the identity

  $$\begin{aligned}& \frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \\& \quad = \frac{ ( \kappa _{2}-\kappa _{1} ) }{2\Delta ( 1 ) }\int _{0}^{1} \bigl( \Delta ( 1 ) -2\Delta ( \tau ) \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the identity

  $$\begin{aligned}& \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) - \frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = \frac{ ( \kappa _{2}-\kappa _{1} ) }{\Delta ( 1 ) } \biggl[ \int _{0}^{\frac{1}{2}}\Delta ( \tau ) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {}+ \int _{\frac{1}{2}}^{1} \bigl( \Delta ( \tau ) - \Delta ( 1 ) \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

Remark 6

From Corollary 1 we have the following identities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the identity

  $$\begin{aligned}& \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4 \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \biggl( \tau ^{\alpha }- \frac{1}{6} \biggr) \mathcal{F}^{ \prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {}+ \int _{\frac{1}{2}}^{1} \biggl( \tau ^{\alpha }- \frac{5}{6} \biggr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the identity

  $$\begin{aligned}& \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \\& \quad =\frac{ ( \kappa _{2}-\kappa _{1} ) }{2} \int _{0}^{1} \bigl( 1-2\tau ^{\alpha } \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1- \tau ) \kappa _{1} \bigr) \,d\tau . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the identity

  $$\begin{aligned}& \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) - \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{ \alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \bigl( \tau ^{\alpha }-1 \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1- \tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {}+ \int _{\frac{1}{2}}^{1}\tau ^{\alpha } \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

Remark 7

From Corollary 2 we have the following identities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the identity

  $$\begin{aligned}& \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4 \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{ \frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \biggl( \tau ^{\frac{\alpha }{k}}- \frac{1}{6} \biggr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {}+ \int _{\frac{1}{2}}^{1} \biggl( \tau ^{\frac{\alpha }{k}}- \frac{5}{6} \biggr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the identity

  $$\begin{aligned}& \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \\& \quad =\frac{ ( \kappa _{2}-\kappa _{1} ) }{2} \int _{0}^{1} \bigl( 1-2\tau ^{\frac{\alpha }{k}} \bigr) \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1- \tau ) \kappa _{1} \bigr) \,d\tau . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the identity

  $$\begin{aligned}& \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) - \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{ \alpha }\mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \\& \quad = ( \kappa _{2}-\kappa _{1} ) \biggl[ \int _{0}^{ \frac{1}{2}} \bigl( \tau ^{\frac{\alpha }{k}}-1 \bigr) \mathcal{F}^{ \prime } \bigl( \tau \kappa _{2}+ ( 1- \tau ) \kappa _{1} \bigr) \,d\tau \\& \qquad {}+ \int _{\frac{1}{2}}^{1}\tau ^{\frac{\alpha }{k}} \mathcal{F}^{\prime } \bigl( \tau \kappa _{2}+ ( 1-\tau ) \kappa _{1} \bigr) \,d\tau \biggr] . \end{aligned}$$

Remark 8

From Theorem 3 we have the following new inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \Delta ( 1 ) \mathcal{F} ( \kappa _{1} ) +\Delta ( 1 ) 4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \biggl\{ \Pi _{1}^{ \varphi } \biggl( \frac{1}{6} \biggr) +\Pi _{3}^{\varphi } \biggl( \frac{5}{6} \biggr) \biggr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \biggl\{ \Pi _{2}^{\varphi } \biggl( \frac{1}{6} \biggr) +\Pi _{4}^{\varphi } \biggl( \frac{5}{6} \biggr) \biggr\} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \biggl\{ \Pi _{1}^{ \varphi } \biggl( \frac{1}{2} \biggr) +\Pi _{3}^{\varphi } \biggl( \frac{1}{2} \biggr) \biggr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \biggl\{ \Pi _{2}^{\varphi } \biggl( \frac{1}{2} \biggr) +\Pi _{4}^{\varphi } \biggl( \frac{1}{2} \biggr) \biggr\} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \bigl\{ \Pi _{1}^{ \varphi } ( 0 ) +\Pi _{3}^{\varphi } ( 1 ) \bigr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \bigl\{ \Pi _{2}^{\varphi } ( 0 ) + \Pi _{4}^{\varphi } ( 1 ) \bigr\} \bigr] . \end{aligned}$$

Remark 9

From Corollary 3 we have the following inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{ \frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \biggl\{ \Pi _{1}^{ \alpha } \biggl( \frac{1}{6} \biggr) +\Pi _{3}^{\alpha } \biggl( \frac{5}{6} \biggr) \biggr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \biggl\{ \Pi _{2}^{\alpha } \biggl( \frac{1}{6} \biggr) +\Pi _{4}^{\alpha } \biggl( \frac{5}{6} \biggr) \biggr\} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \biggl\{ \Pi _{1}^{ \alpha } \biggl( \frac{1}{2} \biggr) +\Pi _{3}^{\alpha } \biggl( \frac{1}{2} \biggr) \biggr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \biggl\{ \Pi _{2}^{\alpha } \biggl( \frac{1}{2} \biggr) +\Pi _{4}^{\alpha } \biggl( \frac{1}{2} \biggr) \biggr\} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{ \alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \bigl\{ \Pi _{1}^{ \alpha } ( 0 ) +\Pi _{3}^{\alpha } ( 1 ) \bigr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \bigl\{ \Pi _{2}^{\alpha } ( 0 ) + \Pi _{4}^{\alpha } ( 1 ) \bigr\} \bigr] . \end{aligned}$$

Remark 10

From Corollary 4 we have the following inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{ \frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \biggl\{ \Pi _{1}^{ \frac{\alpha }{k}} \biggl( \frac{1}{6} \biggr) +\Pi _{3}^{\frac{\alpha }{k}} \biggl( \frac{5}{6} \biggr) \biggr\} \\& \qquad {} + \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{1} ) \bigr\vert \biggl\{ \Pi _{2}^{ \frac{\alpha }{k}} \biggl( \frac{1}{6} \biggr) +\Pi _{4}^{\frac{\alpha }{k}} \biggl( \frac{5}{6} \biggr) \biggr\} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \biggl\{ \Pi _{1}^{ \frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) +\Pi _{3}^{\frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \biggr\} \\& \qquad {} + \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{1} ) \bigr\vert \biggl\{ \Pi _{2}^{ \frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) +\Pi _{4}^{\frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \biggr\} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert \bigl\{ \Pi _{1}^{ \frac{\alpha }{k}} ( 0 ) +\Pi _{3}^{\frac{\alpha }{k}} ( 1 ) \bigr\} + \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert \bigl\{ \Pi _{2}^{\frac{\alpha }{k}} ( 0 ) +\Pi _{4}^{\frac{\alpha }{k}} ( 1 ) \bigr\} \bigr] . \end{aligned}$$

Remark 11

From Theorem 4 we have the following new inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \Delta ( 1 ) \mathcal{F} ( \kappa _{1} ) +\Delta ( 1 ) 4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) \mathcal{F} ( \kappa _{2} ) \biggr]\\& \qquad {} - \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \Delta ( \tau ) - \frac{\Delta ( 1 ) }{6} \biggr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \Pi _{1}^{\varphi } \biggl( \frac{1}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{2}^{\varphi } \biggl( \frac{1}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \Delta ( \tau ) - \frac{5\Delta ( 1 ) }{6} \biggr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times\biggl( \Pi _{3}^{\varphi } \biggl( \frac{5}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{\varphi } \biggl( \frac{5}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{ \frac{1}{p_{1}}} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \Delta ( \tau ) - \frac{\Delta ( 1 ) }{2} \biggr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \Pi _{1}^{\varphi } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{2}^{\varphi } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \Delta ( \tau ) - \frac{\Delta ( 1 ) }{2} \biggr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}}\\& \qquad {}\times \biggl( \Pi _{3}^{\varphi } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{\varphi } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{ \frac{1}{p_{1}}} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) \bigr\vert \,d\tau \biggr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{1}^{\varphi } ( 0 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{2}^{\varphi } ( 0 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{ \frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) - \Delta ( 1 ) \bigr\vert \,d\tau \biggr) ^{1- \frac{1}{p_{1}}} \bigl( \Pi _{3}^{\varphi } ( 1 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{4}^{\varphi } ( 1 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{ \frac{1}{p_{1}}} \biggr] . \end{aligned}$$

Remark 12

From Corollary 5 we have the following inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr] - \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{ \frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \Pi _{1}^{ \alpha } \biggl( \frac{1}{6} \biggr) +\Pi _{2}^{\alpha } \biggl( \frac{1}{6} \biggr) \biggr) ^{1-\frac{1}{p_{1}}}\\& \qquad {}\times \biggl( \Pi _{1}^{ \alpha } \biggl( \frac{1}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{\alpha } \biggl( \frac{1}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \Pi _{3}^{\alpha } \biggl( \frac{5}{6} \biggr) +\Pi _{4}^{ \alpha } \biggl( \frac{5}{6} \biggr) \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times\biggl( \Pi _{3}^{\alpha } \biggl( \frac{5}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{4}^{\alpha } \biggl( \frac{5}{6} \biggr) \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{ \frac{1}{p_{1}}} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \Pi _{1}^{ \alpha } \biggl( \frac{1}{2} \biggr) +\Pi _{2}^{\alpha } \biggl( \frac{1}{2} \biggr) \biggr) ^{1-\frac{1}{p_{1}}}\\& \qquad {}\times \biggl( \Pi _{1}^{ \alpha } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{\alpha } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \Pi _{3}^{\alpha } \biggl( \frac{1}{2} \biggr) + \Pi _{4}^{\alpha } \biggl( \frac{1}{2} \biggr) \biggr) ^{1- \frac{1}{p_{1}}} \\& \qquad {}\times\biggl( \Pi _{3}^{\alpha } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{\alpha } \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{ \alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl( \Pi _{1}^{ \alpha } ( 0 ) +\Pi _{2}^{\alpha } ( 0 ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{1}^{\alpha } ( 0 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{ \alpha } ( 0 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ \bigl( \Pi _{3}^{\alpha } ( 1 ) +\Pi _{4}^{ \alpha } ( 1 ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{3}^{ \alpha } ( 1 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{\alpha } ( 1 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{ \frac{1}{p_{1}}} \bigr] . \end{aligned}$$

Remark 13

From Corollary 6 we have the following inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{ \frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \Pi _{1}^{ \frac{\alpha }{k}} \biggl( \frac{1}{6} \biggr) +\Pi _{2}^{\frac{\alpha }{k}} \biggl( \frac{1}{6} \biggr) \biggr) ^{1-\frac{1}{p_{1}}}\\& \qquad {}\times \biggl( \Pi _{1}^{ \frac{\alpha }{k}} \biggl( \frac{1}{6} \biggr) \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{ \frac{\alpha }{k}} \biggl( \frac{1}{6} \biggr) \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{ \frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \Pi _{3}^{\frac{\alpha }{k}} \biggl( \frac{5}{6} \biggr) +\Pi _{4}^{\frac{\alpha }{k}} \biggl( \frac{5}{6} \biggr) \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times\biggl( \Pi _{3}^{\frac{\alpha }{k}} \biggl( \frac{5}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{\frac{\alpha }{k}} \biggl( \frac{5}{6} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{ \frac{1}{p_{1}}} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \Pi _{1}^{ \frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) +\Pi _{2}^{\frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \biggr) ^{1-\frac{1}{p_{1}}}\\& \qquad {}\times \biggl( \Pi _{1}^{ \frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{ \frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{ \prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{ \frac{1}{p_{1}}} \\& \qquad {}+ \biggl( \Pi _{3}^{\frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) +\Pi _{4}^{\frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times\biggl( \Pi _{3}^{\frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{4}^{\frac{\alpha }{k}} \biggl( \frac{1}{2} \biggr) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \biggr) ^{ \frac{1}{p_{1}}} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \bigl[ \bigl( \Pi _{1}^{ \frac{\alpha }{k}} ( 0 ) +\Pi _{2}^{\frac{\alpha }{k}} ( 0 ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{1}^{ \frac{\alpha }{k}} ( 0 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+\Pi _{2}^{ \frac{\alpha }{k}} ( 0 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{ \frac{1}{p_{1}}} \\& \qquad {}+ \bigl( \Pi _{3}^{\frac{\alpha }{k}} ( 1 ) + \Pi _{4}^{\frac{\alpha }{k}} ( 1 ) \bigr) ^{1-\frac{1}{p_{1}}} \bigl( \Pi _{3}^{\frac{\alpha }{k}} ( 1 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{2} ) \bigr\vert ^{p_{1}}+ \Pi _{4}^{\frac{\alpha }{k}} ( 1 ) \bigl\vert \mathcal{F}^{\prime } ( \kappa _{1} ) \bigr\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \bigr] . \end{aligned}$$

Remark 14

From Theorem 5 we have the following inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \Delta ( 1 ) \mathcal{F} ( \kappa _{1} ) +\Delta ( 1 ) 4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) +\Delta ( 1 ) \mathcal{F} ( \kappa _{2} ) \biggr] \\& \qquad {}- \bigl[ _{\frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \Delta ( \tau ) - \frac{\Delta ( 1 ) }{6} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \Delta ( \tau ) - \frac{5\Delta ( 1 ) }{6} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi } \mathcal{F} ( \kappa _{2} ) +_{\frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \Delta ( \tau ) - \frac{\Delta ( 1 ) }{2} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \Delta ( \tau ) - \frac{\Delta ( 1 ) }{2} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{1}{\Delta ( 1 ) } \bigl[ _{ \frac{\kappa _{1}+\kappa _{2}}{2}+}I_{\varphi }\mathcal{F} ( \kappa _{2} ) +_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}I_{\varphi }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \Delta ( \tau ) \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \Delta ( \tau ) -1 \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

Remark 15

From Corollary 7 we have the following inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr] - \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{ \frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \tau ^{\alpha }-\frac{1}{6} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \tau ^{\alpha }- \frac{5}{6} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \tau ^{\alpha }-\frac{1}{2} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \tau ^{\alpha }- \frac{1}{2} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

• (2) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for generalized fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{\Gamma ( \alpha +1 ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\alpha }} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-}^{ \alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \tau ^{\alpha } \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{ \frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{ \frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \tau ^{\alpha }-1 \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

Remark 16

From Corollary 8 we have the following inequalities.

• (1) For $\lambda =\frac{1}{6}$ and $\mu =\frac{5}{6}$, we have the following Simpson’s type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{1}{6} \biggl[ \mathcal{F} ( \kappa _{1} ) +4\mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) + \mathcal{F} ( \kappa _{2} ) \biggr]\\& \qquad {} - \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \tau ^{\frac{\alpha }{k}}-\frac{1}{6} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \tau ^{ \frac{\alpha }{k}}-\frac{5}{6} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

• (2) For $\lambda =\mu =\frac{1}{2}$, we have the following trapezoidal-type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha } \mathcal{F} ( \kappa _{2} ) +J_{\frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha } \mathcal{F} ( \kappa _{1} ) \bigr] - \frac{\mathcal{F} ( \kappa _{1} ) +\mathcal{F} ( \kappa _{2} ) }{2} \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \biggl\vert \tau ^{\frac{\alpha }{k}}-\frac{1}{2} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \biggl\vert \tau ^{ \frac{\alpha }{k}}-\frac{1}{2} \biggr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

• (3) For $\lambda =0$ and $\mu =1$, we have the following midpoint-type inequality for k-Riemann–Liouville fractional integrals:

  $$\begin{aligned}& \biggl\vert \mathcal{F} \biggl( \frac{\kappa _{1}+\kappa _{2}}{2} \biggr) -\frac{\Gamma _{k} ( \alpha +k ) }{ ( \kappa _{2}-\kappa _{1} ) ^{\frac{\alpha }{k}}} \bigl[ J_{\frac{\kappa _{1}+\kappa _{2}}{2}+,k}^{\alpha }\mathcal{F} ( \kappa _{2} ) +J_{ \frac{\kappa _{1}+\kappa _{2}}{2}-,k}^{\alpha }\mathcal{F} ( \kappa _{1} ) \bigr] \biggr\vert \\& \quad \leq ( \kappa _{2}-\kappa _{1} ) \biggl[ \biggl( \int _{0}^{ \frac{1}{2}} \bigl\vert \tau ^{\frac{\alpha }{k}} \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{ \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+3 \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \\& \qquad {}+ \biggl( \int _{\frac{1}{2}}^{1} \bigl\vert \tau ^{ \frac{\alpha }{k}}-1 \bigr\vert ^{p_{1}}\,d\tau \biggr) ^{\frac{1}{p_{1}}} \biggl( \frac{3 \vert \mathcal{F}^{\prime } ( \kappa _{2} ) \vert ^{r_{1}}+ \vert \mathcal{F}^{\prime } ( \kappa _{1} ) \vert ^{r_{1}}}{8} \biggr) ^{\frac{1}{r_{1}}} \biggr] . \end{aligned}$$

Application to some particular means

Let us recall the following means for real numbers $\kappa _{1}$ and $\kappa _{2}$.

• (1) The arithmetic mean of $\kappa _{1},\kappa _{2}\geq 0$ is

  $$ A=A(\kappa _{1},\kappa _{2})=\frac{\kappa _{1}+\kappa _{2}}{2}. $$

• (2) The generalized logarithmic mean of $\kappa _{1},\kappa _{2}>0$ is

  $$ L_{n}=L_{n}(\kappa _{1},\kappa _{2})=\textstyle\begin{cases} \kappa _{1}&\text{if }\kappa _{1}= \kappa _{2}, \\ \frac{\kappa _{2}^{n+1}-\kappa _{1}^{n+1}}{ ( n+1 ) (\kappa _{2}-\kappa _{1})} &\text{if }\kappa _{1}\neq \kappa _{2},\end{cases}\displaystyle \quad n\in R\backslash \{-1,0\}. $$

• (3) The logarithmic mean of $\kappa _{1},\kappa _{2}>0$ is

  $$ L=L ( \kappa _{1},\kappa _{2} ) =\textstyle\begin{cases} \kappa _{1}&\text{if }\kappa _{1}= \kappa _{2}, \\ [ \frac{\kappa _{2}-\kappa _{1}}{\ln \kappa _{2}-\ln \kappa _{1}} ] ^{\frac{1}{n}}&\text{if }\kappa _{1}\neq \kappa _{2}.\end{cases} $$

We further give some applications to above given means using the new inequalities.

Proposition 1

Let $\kappa _{1},\kappa _{2}\in \mathbb{R}$, $0<\kappa _{1}<\kappa _{2}$, and $p\in \mathbb{Z}$ with $\vert p \vert \geq 2$. Then we have the following inequalities:

$$\begin{aligned}& \bigl\vert L_{p}^{p} ( \kappa _{1}, \kappa _{2} ) -A \bigl( \kappa _{1}^{p}, \kappa _{2}^{p} \bigr) \bigr\vert \leq \frac{p ( \kappa _{2}-\kappa _{1} ) }{4}A \bigl( \kappa _{1}^{p-1}, \kappa _{2}^{p-1} \bigr) , \\& \bigl\vert A^{p} ( \kappa _{1},\kappa _{2} ) -L_{p}^{P} ( \kappa _{1},\kappa _{2} ) \bigr\vert \leq \frac{p ( \kappa _{2}-\kappa _{1} ) }{4}A \bigl( \kappa _{1}^{p-1}, \kappa _{2}^{p-1} \bigr) . \end{aligned}$$

Proof

Using Remark 9, parts (2) and (3), for $\alpha =1$ and $\mathcal{F} ( \varkappa ) =\varkappa ^{p}$, we immediately obtain the inequalities. □

Proposition 2

Let $\kappa _{1},\kappa _{2}\in \mathbb{R}$, $0<\kappa _{1}<\kappa _{2}$, and $p\in \mathbb{Z}$ with $\vert p \vert \geq 2$. Then we have the following inequalities:

$$\begin{aligned}& \bigl\vert L_{p}^{p} ( \kappa _{1}, \kappa _{2} ) -A \bigl( \kappa _{1}^{p}, \kappa _{2}^{p} \bigr) \bigr\vert \leq \frac{p ( \kappa _{2}-\kappa _{1} ) }{2}A \bigl( \kappa _{1}^{p-1}, \kappa _{2}^{p-1} \bigr) , \\& \bigl\vert A^{p} ( \kappa _{1},\kappa _{2} ) -L_{p}^{P} ( \kappa _{1},\kappa _{2} ) \bigr\vert \leq \frac{p ( \kappa _{2}-\kappa _{1} ) }{2}A \bigl( \kappa _{1}^{p-1}, \kappa _{2}^{p-1} \bigr) . \end{aligned}$$

Proof

Using Remark 12, parts (2) and (3), for $\alpha =1$ and $\mathcal{F} ( \varkappa ) =\varkappa ^{p}$, we immediately obtain the inequalities. □

Proposition 3

Let $\kappa _{1},\kappa _{2}\in \mathbb{R}$, $0<\kappa _{1}<\kappa _{2}$, $0\notin [ \kappa _{1},\kappa _{2} ]$. Then we have the inequality

$$ \bigl\vert A^{-1} ( \kappa _{1},\kappa _{2} ) -L^{-1} ( \kappa _{1},\kappa _{2} ) \bigr\vert \leq \frac{ ( \kappa _{2}-\kappa _{1} ) }{4}A \bigl( \kappa _{1}^{-2}, \kappa _{2}^{-2} \bigr) . $$

Proof

Using Remark 9, part (3), for $\alpha =1$ and $\mathcal{F} ( \varkappa ) =\frac{1}{\varkappa }$, we immediately obtain the inequality. □

Proposition 4

Let $\kappa _{1},\kappa _{2}\in \mathbb{R}$, $0<\kappa _{1}<\kappa _{2}$, $0\notin [ \kappa _{1},\kappa _{2} ]$. Then we have the inequality

$$ \bigl\vert A^{-1} ( \kappa _{1},\kappa _{2} ) -L^{-1} ( \kappa _{1},\kappa _{2} ) \bigr\vert \leq \frac{ ( \kappa _{2}-\kappa _{1} ) }{2}A \bigl( \kappa _{1}^{-2}, \kappa _{2}^{-2} \bigr) . $$

Proof

Using Remark 12, part (3), for $\alpha =1$ and $\mathcal{F} ( \varkappa ) =\frac{1}{\varkappa }$, we immediately obtain the inequality. □

Concluding remarks

In this study, we proved some new bounds for Simpson’s inequalities for differentiable convex functions via generalized fractional integrals. We also show that the results proved here are a strong generalization of some already published ones. It is an interesting and new problem that the forthcoming researchers can use the techniques of this study to obtain similar inequalities for different kinds of convexity in their future work.