Theory and Modern Applications

# 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).

## 1 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, 2022] 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.  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. . Afterwards, Sarikaya et al.  observed variants of Simpson’s type inequalities based on convexity. In  and  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. . For more recent developments, the reader can consult [1, 5, 12, 27, 31].

## 2 Generalized fractional integrals

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

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 .

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

### Theorem 2

()

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].

## 3 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}

## 4 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}

## 5 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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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. (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}
3. (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. (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. (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. (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}

## 6 Application to some particular means

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

1. (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. (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. (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. □

## 7 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.

## Availability of data and materials

Data sharing is not applicable to this paper as no data sets were generated or analyzed during the current study.

## References

1. Ali, M.A., Budak, H., Zhang, Z., Yildrim, H.: Some new Simpson’s type inequalities for co-ordinated convex functions in quantum calculus. Math. Methods Appl. Sci. 44(6), 4515–4540 (2021)

2. Alomari, M., Darus, M., Dragomir, S.S.: New inequalities of Simpson’s type for s-convex functions with applications. RGMIA Res. Rep. Collect. 12(4), 1–18 (2009)

3. Bohner, M., Hassan, T.S., Li, T.: Fite–Hille–Wintner-type oscillation criteria for second-order half-linear dynamic equations with deviating arguments. Indag. Math. 29(2), 548–560 (2018)

4. Bohner, M., Li, T.: Kamenev-type criteria for nonlinear damped dynamic equations. China Math. 58(7), 1445–1452 (2015)

5. Budak, H., Erden, S., Ali, M.A.: Simpson and Newton type inequalities for convex functions via newly defined quantum integrals. Math. Methods Appl. Sci. 44(1), 378–390 (2021)

6. Budak, H., Kara, H., Kapucu, R.: New midpoint type inequalities for generalized fractional integral. Comput. Methods Differ. Equ. 10(1), 93–108 (2022)

7. Budak, H., Pehlivan, E., Kösem, P.: On new extensions of Hermite–Hadamard inequalities for generalized fractional integrals. Sahand Commu. Math. Anal. 18(1), 73–88 (2021)

8. Chiu, K.-S., Li, T.: Oscillatory and periodic solutions of differential equations with piecewise constant generalized mixed arguments. Math. Nachr. 292(10), 2153–2164 (2019)

9. Dragomir, S.S., Agarwal, R.P., Cerone, P.: On Simpson’s inequality and applications. J. Inequal. Appl. 5, 533–579 (2000)

10. Du, T., Li, Y., Yang, Z.: A generalization of Simpson’s inequality via differentiable mapping using extended $$(s,m)$$-convex functions. Appl. Math. Comput. 293, 358–369 (2017)

11. Dz̆urina, J., Grace, S.R., Jadlovská, I., Li, T.: Oscillation criteria for second-order Emden–Fowler delay differential equations with a sublinear neutral term. Math. Nachr. 293(5), 910–922 (2020)

12. Erden, S., Iftikhar, S., Delavar, R.M., Kumam, P., Thounthong, P., Kumam, W.: On generalizations of some inequalities for convex functions via quantum integrals. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(3) (2020). https://doi.org/10.1007/s13398-020-00841-31-15

13. Ertuğral, F., Sarikaya, M.Z.: Simpson type integral inequalities for generalized fractional integral. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113(4), 3115–3124 (2019)

14. Frassu, S., van der Mee, C., Viglialoro, G.: Boundedness in a nonlinear attraction-repulsion Keller–Segel system with production and consumption. J. Math. Anal. Appl. 504(2), 125428 (2021)

15. Frassu, S., Viglialoro, G.: Boundedness for a fully parabolic Keller–Segel model with sublinear segregation and superlinear aggregation. Acta Appl. Math. 171, 19 (2021). https://doi.org/10.1007/s10440-021-00386-6

16. Han, J., Mohammed, P.O., Zeng, H.: Generalized fractional integral inequalities of Hermite–Hadamard-type for a convex function. Open Math. 18(1), 794–806 (2020)

17. Iftikhar, S., Komam, P., Erden, S.: Newton’s type Integral Inequalities via Local Fractional Integrals. Fractals 28(3) (2020). https://doi.org/10.1142/S0218348X20500371

18. Kashuri, A., Ali, M.A., Abbas, M., Budak, H.: New inequalities for generalized m-convex functions via generalized fractional integral operators and their applications. Int. J. Nonlinear Anal. Appl. 10(2), 275–299 (2019)

19. Kashuri, A., Liko, R.: On Fejér type inequalities for convex mappings utilizing generalized fractional integrals. Appl. Appl. Math. 15(1), 240–255 (2020)

20. Li, T., Pintus, N., Viglialoro, G.: Properties of solutions to porous medium problems with different sources and boundary conditions. Z. Angew. Math. Phys. 70(3), 1–18 (2019)

21. Li, T., Rogovchenko, Y.V.: On the asymptotic behavior of solutions to a class of third-order nonlinear neutral differential equations. Appl. Math. Lett. 105, 1–7 (2020)

22. Li, T., Viglialoro, G.: Boundedness for a nonlocal reaction chemotaxis model even in the attraction dominated regime. Differ. Integral Equ. 34(5), 315–336 (2021)

23. Mohammed, P.O., Sarikaya, M.Z.: On generalized fractional integral inequalities for twice differentiable convex functions. J. Comput. Appl. Math. 372, 112740 (2020)

24. Mubeen, S., Habibullah, G.M.: k-Fractional integrals and application. Int. J. Contemp. Math. Sci. 7(2), 89–94 (2012)

25. Noor, M.A., Noor, K.I., Iftikhar, S.: Some Newton’s type inequalities for harmonic convex functions. J. Adv. Math. Stud. 9(1), 7–16 (2016)

26. Noor, M.A., Noor, K.I., Iftikhar, S.: Newton inequalities for p-harmonic convex functions. Honam Math. J. 40(2), 239–250 (2018)

27. Park, J.: On Simpson-like type integral inequalities for differentiable preinvex functions. Appl. Math. Sci. 121(7), 6009–6021 (2013)

28. Qi, F., Mohammed, P.O., Yao, J.-C., Yao, Y.-H.: Generalized fractional integral inequalities of Hermite–Hadamard type for (α, m)-convex functions. J. Inequal. Appl. 2019, 135 (2019). https://doi.org/10.1186/s13660-019-2079-6

29. Sarikaya, M.Z., Ertuğral, F.: On the generalized Hermite–Hadamard inequalities. An. Univ. Craiova, Ser. Mat. Inform. 47(1), 193–213 (2020)

30. Sarikaya, M.Z., Set, E., Özdemir, M.E.: On new inequalities of Simpson’s type for convex functions. RGMIA Res. Rep. Collect. 13(2), (2010) Article ID 2

31. Vivas-Cortez, M., Ali, M.A., Kashuri, A., Sial, I.B., Zhang, Z.: Some new Newton’s type integral inequalities for co-ordinated convex functions in quantum calculus. Symmetry 12(9) (2020). https://doi.org/10.3390/sym12091476

32. Zhao, D.F., Ali, M.A., Kashuri, A., Budak, H., Sarikaya, M.Z.: Hermite–Hadamard-type inequalities for the interval-valued approximately h-convex functions via generalized fractional integrals. J. Inequal. Appl. 2020, 222 (2020). https://doi.org/10.1186/s13660-020-02488-5

## Acknowledgements

The authors would like to express their sincere thanks to the editor and anonymous reviewers for their helpful comments and suggestions.

## Funding

The work was supported by Key Projects of Educational Commission of Hubei Province of China (Grant No. D20192501), Philosophy and Social Sciences of Educational Commission of Hubei Province of China (Grant No. 20Y109), Open Fund of National Cryosphere Desert Data Center of China (2021kf03), and Foundation of Hubei Normal University (Grant Nos. 2021YJSKCSZY06, 2021056).

## Author information

Authors

### Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Dafang Zhao.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions 