Skip to main content

New error bounds for Newton’s formula associated with tempered fractional integrals

Abstract

In this paper, we first construct an integral identity associated with tempered fractional operators. By using this identity, we have found the error bounds for Simpson’s second formula, namely Newton–Cotes quadrature formula for differentiable convex functions in the framework of tempered fractional integrals and classical calculus. Furthermore, it is also shown that the newly established inequalities are the extension of comparable inequalities inside the literature.

1 Introduction

One of the most famous inequalities for convex functions is Hermite–Hadamard-type inequality on account of its rich geometrical importance and applications. Thus, remarkable number of mathematicians have considered the Hermite–Hadamard-type inequalities and related these inequalities such as trapezoid, midpoint, and Simpson’s inequality. In last decades, the fractional calculus has application areas in various fields such as engineering, chemistry, and physics as well as mathematics. Because of its basic properties and applications in domains of science, fractional calculus has been the center of attraction in applied and pure mathematics. The application of arithmetic carried out in classical analysis in fractional analysis is very significant in order to obtain more realistic results in the solution of many problems. It can be established the bounds of new formulas by using not only Hermite–Hadamard and Simpson type inequalities but also Newton-type inequalities. Because of the importance of fractional calculus mentioned in this paragraph, one can examined distinct fractional integral inequalities extensively. While integer orders are a model that is not suitable for nature in classical analysis, fractional computation in which arbitrary orders are examined enables us to obtain more realistic approaches.

Simpson’s second rule has the rule of three-point Newton–Cotes quadrature, thus evaluations for the case of three steps quadratic kernel are generally called Newton-type results. These results are also known as Newton-type inequalities in the literature. Many researchers have been investigated to Newton-type inequalities extensively. For example, in paper [1], some Newton-type inequalities for the case of functions whose first derivative in absolute value at certain power are arithmetically-harmonically convex. In addition to this, some new Newton-type inequalities for the case of differentiable convex functions involving Riemann–Liouville fractional integrals were proved in paper [2]. Moreover, the authors also presented some Newton-type inequalities including Riemann-Liouville fractional integrals for functions of bounded variation. Furthermore, new Newton-type inequalities based on convexity were given in paper [3]. It can be referred to [411], and the references therein to the case of more informations.

Tempered fractional calculus can be specified as the generalization of fractional calculus. The definitions of fractional integration with weak singular and exponential kernels were firstly reported in Buschman’s earlier work [12]. See the books [1315] and references therein for more information about the different definitions of the tempered fractional integration. Mohammed et al. [16] established several Hermite–Hadamard-type inequalities connected with the tempered fractional integrals for the case of convex functions, which cover the previously published result such as, Riemann–Liouville fractional integrals.

This paper is organized with respect to the following plans: In Sect. 2, the fundamental definitions of fractional calculus and other relevant research in this discipline are presented. In Sect. 3, we prove an integral equality that is critical in establishing our primary results. With the help of this identity, we establish several Newton-type inequalities involving the tempered fractional integrals. In Sect. 4, we provide our results by using special cases of obtained theorems. In other words, we find the error bound of Newton’s rule with the help of the obtained results. Finally, in Sect. 5, summary and concluding remarks are noted.

2 Preliminaries

Simpson-type inequalities are inequalities that are created from Simpson’s following rules:

  1. i.

    Simpson’s quadrature formula (Simpson’s \(1/3\) rule) is formulated as follows:

    $$ \int _{\sigma _{1}}^{\sigma _{2}}\mathfrak{F} ( x ) \,dx \approx \frac{\sigma _{2}-\sigma _{1}}{6} \biggl[ \mathfrak{F} ( \sigma _{1} ) +4\mathfrak{F} \biggl( \frac{\sigma _{1}+\sigma _{2}}{2} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] . $$
    (1)
  2. ii.

    Simpson’s second formula or Newton–Cotes quadrature formula (Simpson’s \(3/8\) rule (cf. [17])) is formulated as follows:

    $$ \int _{\sigma _{1}}^{\sigma _{2}}\mathfrak{F} ( x ) \,dx \approx \frac{\sigma _{2}-\sigma _{1}}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) +\mathfrak{F} ( \sigma _{2} ) \biggr] . $$
    (2)

Formulae (1) and (2) are satisfied for any function \(\mathfrak{F}\) with continuous \(4^{\mu h}\) derivative on \([\sigma _{1},\sigma _{2}]\).

The most popular and familiar Newton–Cotes quadrature involving three-point is Simpson-type inequality is as follows:

Theorem 1

If \(\mathfrak{F}: [ \sigma _{1},\sigma _{2} ] \rightarrow \mathbb{R}\) is a four times continuously differentiable function on \(( \sigma _{1},\sigma _{2} ) \), and \(\Vert \mathfrak{F}^{ ( 4 ) } \Vert _{\infty }= \sup_{x\in ( \sigma _{1},\sigma _{2} ) } \vert \mathfrak{F}^{ ( 4 ) }(x) \vert <\infty \), then the following inequality holds:

$$ \biggl\vert \frac{1}{6} \biggl[ \mathfrak{F}(\sigma _{1})+4 \mathfrak{F} \biggl( \frac{\sigma _{1}+\sigma _{2}}{2} \biggr) + \mathfrak{F}(\sigma _{2}) \biggr] -\frac{1}{\sigma _{2}-\sigma _{1}} \int _{\sigma _{1}}^{\sigma _{2}} \mathfrak{F}(x)\,dx \biggr\vert \leq \frac{1}{2880} \bigl\Vert \mathfrak{F}^{ ( 4 ) } \bigr\Vert _{\infty } ( \sigma _{2}-\sigma _{1} ) ^{4}. $$

One of the classical closed type quadrature rules is the Simpson \(3/8\) rule based on the Simpson \(3/8\) inequality as follows:

Theorem 2

(See [17])

Let us consider that \(\mathfrak{F}: [ \sigma _{1},\sigma _{2} ] \rightarrow \mathbb{R}\) is a four times continuously differentiable function on \(( \sigma _{1},\sigma _{2} ) \), and \(\Vert \mathfrak{F}^{ ( 4 ) } \Vert _{\infty }= \sup_{x\in ( \sigma _{1},\sigma _{2} ) } \vert \mathfrak{F}^{ ( 4 ) }(x) \vert <\infty \). Then, one has the inequality

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] - \frac{1}{\sigma _{2}-\sigma _{1}} \int _{\sigma _{1}}^{\sigma _{2}} \mathfrak{F}(x)\,dx \biggr\vert \\ &\quad \leq \frac{1}{6480} \bigl\Vert \mathfrak{F}^{ ( 4 ) } \bigr\Vert _{\infty } ( \sigma _{2}-\sigma _{1} ) ^{4}. \end{aligned}$$

Recall that the gamma function, incomplete gamma function, λ-incomplete gamma function are described by

$$\begin{aligned}& \Gamma ( \alpha ) := \int _{0}^{\infty }\mu ^{ \alpha -1}e^{-\mu } \,d\mu ,\\& \curlyvee ( \alpha ,x ) := \int _{0}^{x}\mu ^{ \alpha -1}e^{-\mu } \,d\mu , \end{aligned}$$

and

$$ \curlyvee _{\lambda } ( \alpha ,x ) := \int _{0}^{x} \mu ^{\alpha -1}e^{-\lambda \mu } \,d\mu , $$

respectively. Here, \(0<\alpha <\infty \) and \(\lambda \geq 0\).

Remark 1

[16] For the real numbers \(\alpha >0\); \(x,\lambda \geq 0\) and \(\sigma _{1}<\sigma _{2}\), we readily have

  1. i.

    \(\curlyvee _{\lambda (\sigma _{2}-\sigma _{1})} ( \alpha ,1 ) =\int _{0}^{1}\mu ^{\alpha -1}e^{-\lambda (\sigma _{2}- \sigma _{1})\mu }\,d\mu = \frac{1}{(\sigma _{2}-\sigma _{1})^{\alpha }}\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) \),

  2. ii.

    \(\int _{0}^{1}\curlyvee _{\lambda (\sigma _{2}-\sigma _{1})} ( \alpha ,x ) \,dx= \frac{\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) }{(\sigma _{2}-\sigma _{1})^{\alpha }}- \frac{\curlyvee _{\lambda } ( \alpha +1,\sigma _{2}-\sigma _{1} ) }{(\sigma _{2}-\sigma _{1})^{\alpha +1}}\).

Recall also that the Riemann–Liouville integrals of order \(\alpha >0 \) are given by

$$ J_{\sigma _{1}+}^{\alpha }\mathfrak{F}(x)= \frac{1}{\Gamma (\alpha )}\int _{\sigma _{1}}^{x} ( x-\mu ) ^{\alpha -1} \mathfrak{F}(\mu )\,d\mu ,\quad x>\sigma _{1} $$
(3)

and

$$ J_{\sigma _{2}-}^{\alpha }\mathfrak{F}(x)= \frac{1}{\Gamma (\alpha )}\int _{x}^{\sigma _{2}} ( \mu -x ) ^{\alpha -1} \mathfrak{F}(\mu )\,d\mu ,\quad x< \sigma _{2}. $$
(4)

for \(\mathfrak{F}\in L_{1}[\sigma _{1},\sigma _{2}]\). See [18, 19] for further information and unexplained subjects. Note that the Riemann–Liouville integrals reduce classical integrals for the condition \(\alpha =1\).

We shall now give the basic definitions and new notations of tempered fractional operators.

Definition 1

[20, 21] The fractional tempered integral operators \(\mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F}\) and \(\mathcal{J}_{\sigma _{2}-}^{ ( \sigma _{1},\lambda ) }\mathfrak{F}\) of order \(\alpha >0\) and \(\lambda \geq 0\) are given by

$$ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( x ) = \frac{1}{\Gamma (\alpha )} \int _{\sigma _{1}}^{x} ( x-\mu ) ^{\alpha -1}e^{-\lambda ( x-\mu ) } \mathfrak{F}(\mu )\,d\mu ,\quad x\in [ \sigma _{1},\sigma _{2} ] $$
(5)

and

$$ \mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) } \mathfrak{F}(x)= \frac{1}{\Gamma (\alpha )} \int _{x}^{\sigma _{2}} ( \mu -x ) ^{\alpha -1}e^{-\lambda ( \mu -x ) } \mathfrak{F}( \mu )\,d\mu ,\quad x\in [ \sigma _{1},\sigma _{2} ] , $$
(6)

respectively for \(\mathfrak{F}\in L_{1}[\sigma _{1},\sigma _{2}]\).

If we choose \(\lambda =0\), then the fractional integrals in (5) and (6) are equal to the Riemann–Liouville fractional integrals in (3) and (4), respectively.

3 Main results

Lemma 1

Let \(\mathfrak{F}:[\sigma _{1},\sigma _{2}]\rightarrow \mathbb{R} \) be an absolutely continuous mapping on \((\sigma _{1},\sigma _{2})\) so that \(\mathfrak{F}^{\prime }\in L_{1} [ \sigma _{1},\sigma _{2} ] \). Then, the following equality holds:

$$\begin{aligned} & \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3 \mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3\mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) +\mathfrak{F} ( \sigma _{2} ) \biggr] \\ & \quad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] = \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \sum ^{3}_{i=1}I_{i}. \end{aligned}$$
(7)

Here,

$$ \textstyle\begin{cases} I_{1}=\int _{0}^{\frac{1}{3}} \{ \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) - \frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \}\\ \hphantom{I_{1}}\quad \times [ \mathfrak{F}^{\prime } ( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} ) - \mathfrak{F}^{\prime } ( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} ) ] \,d\mu , \\ I_{2}=\int _{\frac{1}{3}}^{\frac{2}{3}} \{ \curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \} \\ \hphantom{I_{1}}\quad \times [ \mathfrak{F}^{\prime } ( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} ) - \mathfrak{F}^{\prime } ( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} ) ] \,d\mu , \\ I_{3}=\int _{\frac{2}{3}}^{1} \{ \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) - \frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \} \\ \hphantom{I_{1}}\quad \times [ \mathfrak{F}^{\prime } ( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} ) - \mathfrak{F}^{\prime } ( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} ) ] \,d\mu .\end{cases} $$

Proof

From fundamental rules of integration by parts, we have

$$\begin{aligned} I_{1}& = \int _{0}^{\frac{1}{3}} \biggl\{ \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) - \frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\} \\ &\quad \times\bigl[ \mathfrak{F}^{\prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) - \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr] \,d\mu \\ & =\frac{1}{\sigma _{2}-\sigma _{1}} \biggl\{ \curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\} \\ &\quad \times\bigl[ \mathfrak{F} \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) +\mathfrak{F} \bigl( \mu \sigma _{1}+ ( 1- \mu ) \sigma _{2} \bigr) \bigr] \bigg\vert _{0}^{\frac{1}{3}} \\ & \quad -\frac{\alpha }{\sigma _{2}-\sigma _{1}} \int _{0}^{ \frac{1}{3}}\mu ^{\alpha -1}e^{-\lambda (\sigma _{2}-\sigma _{1})\mu } \bigl[ \mathfrak{F} \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) + \mathfrak{F} \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr] \,d\mu \\ & =\frac{1}{\sigma _{2}-\sigma _{1}} \biggl\{ \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } \biggl( \alpha , \frac{1}{3} \biggr) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\} \biggl[ \mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) + \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) \biggr] \\ & \quad +\frac{1}{8 ( \sigma _{2}-\sigma _{1} ) } \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \bigl[ \mathfrak{F} ( \sigma _{1} ) + \mathfrak{F} ( \sigma _{2} ) \bigr] \\ & \quad -\frac{1}{\sigma _{2}-\sigma _{1}} \int _{0}^{ \frac{1}{3}}\mu ^{\alpha -1}e^{-\lambda (\sigma _{2}-\sigma _{1})\mu } \bigl[ \mathfrak{F} \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) + \mathfrak{F} \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr] \,d \mu . \end{aligned}$$
(8)

In a similar manner, applying the fundamental rules of integration by parts, we obtain

$$\begin{aligned} I_{2}& =\frac{1}{\sigma _{2}-\sigma _{1}} \biggl\{ \curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } \biggl( \alpha , \frac{2}{3} \biggr) -\frac{1}{2}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\} \\ &\quad \times\biggl[ \mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +\mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) \biggr] \\ & \quad -\frac{1}{ ( \sigma _{2}-\sigma _{1} ) } \biggl\{ \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } \biggl( \alpha ,\frac{1}{3} \biggr) -\frac{1}{2}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\} \\ &\quad \times\biggl[ \mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +\mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) \biggr] \\ & \quad -\frac{1}{\sigma _{2}-\sigma _{1}} \int _{\frac{1}{3}}^{ \frac{2}{3}}\mu ^{\alpha -1}e^{-\lambda (\sigma _{2}-\sigma _{1})\mu } \bigl[ \mathfrak{F} \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) +\mathfrak{F} \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr] \,d\mu \end{aligned}$$
(9)

and

$$\begin{aligned} I_{3}& =\frac{1}{8 ( \sigma _{2}-\sigma _{1} ) }\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \bigl[ \mathfrak{F} ( \sigma _{1} ) + \mathfrak{F} ( \sigma _{2} ) \bigr] \\ & \quad -\frac{1}{\sigma _{2}-\sigma _{1}} \biggl\{ \curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } \biggl( \alpha , \frac{2}{3} \biggr) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\} \biggl[ \mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +\mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) \biggr] \\ & \quad -\frac{1}{\sigma _{2}-\sigma _{1}} \int _{\frac{2}{3}}^{ \frac{1}{3}}\mu ^{\alpha -1}e^{-\lambda (\sigma _{2}-\sigma _{1})\mu } \\ &\quad \times\bigl[ \mathfrak{F} \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) +\mathfrak{F} \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr] \,d\mu . \end{aligned}$$
(10)

Let us collect from the equality (8) to (10). Then, it yields

$$\begin{aligned} \sum^{3}_{i=1}I_{i}& = \frac{\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\sigma _{2}-\sigma _{1} ) }{4 ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3 \mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3\mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) +\mathfrak{F} ( \sigma _{2} ) \biggr] \\ & \quad -\frac{1}{\sigma _{2}-\sigma _{1}} \int _{0}^{1}\mu ^{ \alpha -1}e^{-\lambda (\sigma _{2}-\sigma _{1})\mu } \\ &\quad \times\bigl[ \mathfrak{F} \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) +\mathfrak{F} \bigl( \mu \sigma _{1}+ ( 1- \mu ) \sigma _{2} \bigr) \bigr] \,d\mu . \end{aligned}$$
(11)

By using the equality (11) and with the help of the change of the variable \(x=\mu \sigma _{2}+ ( 1-\mu ) \sigma _{1}\) and \(x=\mu \sigma _{1}+ ( 1-\mu ) \sigma _{2}\) for \(\mu \in [ 0,1 ] \) respectively, it can be rewritten as follows

$$\begin{aligned} \sum^{3}_{i=1}I_{i}& = \frac{\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\sigma _{2}-\sigma _{1} ) }{4 ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3 \mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3\mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) +\mathfrak{F} ( \sigma _{2} ) \biggr] \\ & \quad - \frac{\Gamma ( \alpha ) }{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}} \bigl[ \mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{1} ) +\mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) \bigr] . \end{aligned}$$
(12)

If we multiply both sides of (12) by \(\frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) }\), then the equality (7) is obtained readily. This finishes the proof of Lemma 1. □

Theorem 3

Let us consider that the assumptions of Lemma 1are valid and the function \(\vert \mathfrak{F}^{\prime } \vert \) is convex on \([ \sigma _{1},\sigma _{2} ] \). Then, the following Newton’s rule inequality holds:

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ &\qquad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] \biggr\vert \\ &\quad \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl( \Omega _{1} ( \alpha ,\lambda ) +\Omega _{2} ( \alpha ,\lambda ) +\Omega _{3} ( \alpha ,\lambda ) \bigr) \bigl[ \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert + \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert \bigr] , \end{aligned}$$
(13)

where

$$ \textstyle\begin{cases} \Omega _{1} ( \alpha ,\lambda ) =\int _{0}^{ \frac{1}{3}} \vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert \,d\mu , \\ \Omega _{2} ( \alpha ,\lambda ) =\int _{ \frac{1}{3}}^{\frac{2}{3}} \vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert \,d\mu , \\ \Omega _{3} ( \alpha ,\lambda ) =\int _{ \frac{2}{3}}^{1} \vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert \,d\mu .\end{cases} $$
(14)

Proof

We shall first take modulus in Lemma 1. Then, we get

$$\begin{aligned} & \bigg\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ & \qquad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] \bigg\vert \\ & \quad \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \\ & \qquad \times \bigg\{ \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times\bigl\vert \mathfrak{F}^{ \prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) - \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1- \mu ) \sigma _{2} \bigr) \bigr\vert \,d\mu \\ & \qquad + \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times\bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) -\mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr\vert \,d\mu \\ & \qquad + \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times\bigl\vert \mathfrak{F}^{ \prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) - \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1- \mu ) \sigma _{2} \bigr) \bigr\vert \,d\mu \bigg\} . \end{aligned}$$
(15)

With the aid of the convexity of \(\vert \mathfrak{F}^{\prime } \vert \), it follows

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ & \qquad - \frac{\Gamma ( \alpha +1 ) }{2 ( \sigma _{2}-\sigma _{1} ) ^{\alpha }} \bigl[ J_{\sigma _{1}+}^{\alpha } \mathfrak{F} ( \sigma _{2} ) +J_{\sigma _{2}-}^{\alpha } \mathfrak{F} ( \sigma _{1} ) \bigr] \biggr\vert \\ &\quad \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \biggl\{ \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ & \qquad \times \bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert + ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert +\mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert + ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert \bigr] \,d\mu \\ & \qquad + \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ & \qquad \times \bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert + ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert +\mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert + ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert \bigr] \,d\mu \\ & \qquad + \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ & \qquad \times \bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert + ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert +\mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert + ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert \bigr] \,d\mu \biggr\} \\ & \quad = \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl( \Omega _{1} ( \alpha ,\lambda ) + \Omega _{2} ( \alpha ,\lambda ) +\Omega _{3} ( \alpha , \lambda ) \bigr) \bigl[ \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert + \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert \bigr] . \end{aligned}$$

This completes the proof of Theorem 3. □

Theorem 4

Suppose that the assumptions of Lemma 1hold. Suppose also that the function \(\vert \mathfrak{F}^{\prime } \vert ^{q}\), \(q>1\) is convex on \([\sigma _{1},\sigma _{2}]\). Then, we have the following Newton’s rule inequality

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ &\qquad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] \biggr\vert \\ & \quad \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \biggl\{ \bigl( \varphi _{1} ( \alpha ,\lambda ,p ) + \varphi _{3} ( \alpha ,\lambda ,p ) \bigr) \\ & \qquad \times \biggl[ \biggl( \frac{5 \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+ \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}}+ \biggl( \frac{ \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+5 \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{18} \biggr) ^{\frac{1}{q}} \biggr] \\ & \qquad +2\varphi _{2} ( \alpha ,\lambda ,p ) \biggl( \frac{ \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+ \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{6} \biggr) ^{\frac{1}{q}} \biggr\} . \end{aligned}$$

Here, \(\frac{1}{p}+\frac{1}{q}=1\) and

$$ \textstyle\begin{cases} \varphi _{1} ( \alpha ,\lambda ,p ) = ( \int _{0}^{ \frac{1}{3}} \vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert ^{p}\,d\mu ) ^{\frac{1}{p}}, \\ \varphi _{2} ( \alpha ,\lambda ,p ) = ( \int _{ \frac{1}{3}}^{\frac{2}{3}} \vert \curlyvee _{\lambda ( \sigma _{2}- \sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2} \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert ^{p}\,d\mu ) ^{\frac{1}{p}}, \\ \varphi _{3} ( \alpha ,\lambda ,p ) = ( \int _{ \frac{2}{3}}^{1} \vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert ^{p}\,d\mu ) ^{\frac{1}{p}}.\end{cases} $$

Proof

Now, applying Hölder inequality in inequality (15), it follows

$$\begin{aligned} & \bigg\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ &\qquad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] \bigg\vert \\ & \quad \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \\ &\qquad \times \bigg\{ \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert ^{p}\,d\mu \biggr) ^{ \frac{1}{p}}\\ &\qquad \times\biggl( \int _{0}^{\frac{1}{3}} \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert ^{p}\,d\mu \biggr) ^{ \frac{1}{p}}\\ &\qquad \times \biggl( \int _{0}^{\frac{1}{3}} \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert ^{p}\,d\mu \biggr) ^{\frac{1}{p}} \\ &\qquad \times\biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{2}+ ( 1- \mu ) \sigma _{1} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert ^{p}\,d\mu \biggr) ^{\frac{1}{p}} \\ &\qquad \times\biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1- \mu ) \sigma _{2} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert ^{p}\,d\mu \biggr) ^{ \frac{1}{p}} \\ &\qquad \times\biggl( \int _{\frac{2}{3}}^{1} \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert ^{p}\,d\mu \biggr) ^{ \frac{1}{p}}\\ &\qquad \times \biggl( \int _{\frac{2}{3}}^{1} \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}}\bigg\} . \end{aligned}$$

It is known that \(\vert \mathfrak{F}^{\prime } \vert ^{q}\) is convex. Then, we have

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

This ends the proof of Theorem 4. □

Theorem 5

Assume that the assumptions of Lemma 1are valid. Assume also that the function \(\vert \mathfrak{F}^{\prime } \vert ^{q}\), \(q\geq 1\) is convex on \([\sigma _{1},\sigma _{2}]\). Then, the following Newton’s rule inequality holds:

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ & \qquad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] \biggr\vert \\ & \quad \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl\{ \bigl( \Omega _{1} ( \alpha , \lambda ) \bigr) ^{1- \frac{1}{q}} \bigl[ \bigl( \Omega _{4} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}\\ &\qquad + \bigl( \Omega _{1} ( \alpha ,\lambda ) -\Omega _{4} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\ & \qquad + \bigl( \Omega _{4} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ \bigl( \Omega _{1} ( \alpha ,\lambda ) - \Omega _{4} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr] \\ & \qquad + \bigl( \Omega _{2} ( \alpha ,\lambda ) \bigr) ^{1- \frac{1}{q}} \bigl[ \bigl( \Omega _{5} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}+ \bigl( \Omega _{2} ( \alpha ,\lambda ) - \Omega _{5} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\ & \qquad + \bigl( \Omega _{5} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ \bigl( \Omega _{2} ( \alpha ,\lambda ) - \Omega _{5} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr] \\ & \qquad + \bigl( \Omega _{3} ( \alpha ,\lambda ) \bigr) ^{1- \frac{1}{q}} \bigl[ \bigl( \Omega _{6} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}+ \bigl( \Omega _{3} ( \alpha ,\lambda ) - \Omega _{6} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\ & \qquad + \bigl( \Omega _{6} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ \bigl( \Omega _{3} ( \alpha ,\lambda ) - \Omega _{6} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr] \bigr\} . \end{aligned}$$

Here, \(\Omega _{1} ( \alpha ,\lambda ) \), \(\Omega _{2} ( \alpha ,\lambda ) \) and \(\Omega _{3} ( \alpha ,\lambda ) \) are described in (14) and

$$ \textstyle\begin{cases} \Omega _{4} ( \alpha ,\lambda ) =\int _{0}^{ \frac{1}{3}}\mu \vert \curlyvee _{\lambda ( \sigma _{2}- \sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8} \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert \,d\mu , \\ \Omega _{5} ( \alpha ,\lambda ) =\int _{ \frac{1}{3}}^{\frac{2}{3}}\mu \vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert \,d\mu , \\ \Omega _{6} ( \alpha ,\lambda ) =\int _{ \frac{2}{3}}^{1}\mu \vert \curlyvee _{\lambda ( \sigma _{2}- \sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8} \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \vert \,d\mu .\end{cases} $$

Proof

Let us start with applying power-mean inequality in inequality (15). Then, we have

$$\begin{aligned} & \bigg\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ &\quad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] \bigg\vert \\ & \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigg\{ \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}- \sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \quad \times \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \bigl\vert \mathfrak{F}^{ \prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \quad + \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \quad \times \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \bigl\vert \mathfrak{F}^{ \prime } \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \quad + \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \quad \times \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \quad + \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \quad \times \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \quad + \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \quad \times \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \bigl\vert \mathfrak{F}^{ \prime } \bigl( \mu \sigma _{2}+ ( 1-\mu ) \sigma _{1} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}} \\ & \quad + \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \quad \times \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \bigl\vert \mathfrak{F}^{\prime } \bigl( \mu \sigma _{1}+ ( 1-\mu ) \sigma _{2} \bigr) \bigr\vert ^{q}\,d\mu \biggr) ^{\frac{1}{q}}\bigg\} . \end{aligned}$$

From the fact of convexity of \(\vert \mathfrak{F}^{\prime } \vert ^{q}\), we can readily obtain

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] \\ & \qquad - \frac{\Gamma ( \alpha ) }{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl[ \mathcal{J}_{\sigma _{1}+}^{ ( \alpha ,\lambda ) } \mathfrak{F} ( \sigma _{2} ) +\mathcal{J}_{\sigma _{2}-}^{ ( \alpha ,\lambda ) }\mathfrak{F} ( \sigma _{1} ) \bigr] \biggr\vert \\ &\quad \leq \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \biggl\{ \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}- \sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \qquad \times \biggl[ \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times\bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}+ ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr] \,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{0}^{\frac{1}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times\bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr] \,d\mu \biggr) ^{\frac{1}{q}} \biggr] \\ & \qquad + \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \qquad \times \biggl[ \biggl( \int _{\frac{1}{3}}^{ \frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}- \sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2} \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times\bigl[ \mu \bigl\vert \mathfrak{F}^{ \prime } ( \sigma _{2} ) \bigr\vert ^{q}+ ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr] \,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{\frac{1}{3}}^{\frac{2}{3}} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{1}{2}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times \bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr] \,d\mu \biggr) ^{\frac{1}{q}} \biggr] \\ & \qquad + \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \,d\mu \biggr) ^{1-\frac{1}{q}} \\ & \qquad \times \biggl[ \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times \bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}+ ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr] \,d\mu \biggr) ^{\frac{1}{q}} \\ & \qquad + \biggl( \int _{\frac{2}{3}}^{1} \biggl\vert \curlyvee _{\lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,\mu ) -\frac{7}{8}\curlyvee _{ \lambda ( \sigma _{2}-\sigma _{1} ) } ( \alpha ,1 ) \biggr\vert \\ &\qquad \times\bigl[ \mu \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ ( 1-\mu ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr] \,d\mu \biggr) ^{\frac{1}{q}} \biggr] \biggr\} . \\ & \quad = \frac{ ( \sigma _{2}-\sigma _{1} ) ^{\alpha +1}}{2\curlyvee _{\lambda } ( \alpha ,\sigma _{2}-\sigma _{1} ) } \bigl\{ \bigl( \Omega _{1} ( \alpha , \lambda ) \bigr) ^{1- \frac{1}{q}} \bigl[ \bigl( \Omega _{4} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}\\ &\qquad + \bigl( \Omega _{1} ( \alpha ,\lambda ) -\Omega _{4} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\ & \qquad + \bigl( \Omega _{4} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ \bigl( \Omega _{1} ( \alpha ,\lambda ) - \Omega _{4} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr] \\ & \qquad + \bigl( \Omega _{2} ( \alpha ,\lambda ) \bigr) ^{1- \frac{1}{q}} \bigl[ \bigl( \Omega _{5} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}+ \bigl( \Omega _{2} ( \alpha ,\lambda ) - \Omega _{5} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\ & \qquad + \bigl( \Omega _{5} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ \bigl( \Omega _{2} ( \alpha ,\lambda ) - \Omega _{5} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr] \\ & \qquad + \bigl( \Omega _{3} ( \alpha ,\lambda ) \bigr) ^{1- \frac{1}{q}} \bigl[ \bigl( \Omega _{6} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q}+ \bigl( \Omega _{3} ( \alpha ,\lambda ) - \Omega _{6} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \\ & \qquad + \bigl( \Omega _{6} ( \alpha ,\lambda ) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert ^{q}+ \bigl( \Omega _{3} ( \alpha ,\lambda ) - \Omega _{6} ( \alpha ,\lambda ) \bigr) \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \bigr] \bigr\} . \end{aligned}$$

 □

4 Special cases

Remark 2

Let us consider \(\lambda =0\) in Theorem 3. Then, the following Newton-type inequality holds:

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

Here,

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

and

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

This result is established by Hezenci et al. in [2, Theorem 7].

Remark 3

If we choose \(\alpha =1\) and \(\lambda =0\) in Theorem 3, then the following Newton-type inequality holds:

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] - \frac{1}{\sigma _{2}-\sigma _{1}} \int _{\sigma _{1}}^{\sigma _{2}} \mathfrak{F} ( \mu ) \,d\mu \biggr\vert \\ &\quad \leq \frac{25 ( \sigma _{2}-\sigma _{1} ) ^{2}}{576} \bigl[ \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \bigr\vert + \bigl\vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \bigr\vert \bigr] , \end{aligned}$$

which is given by [9, Remark 3]. This inequality helps us to find the error bound of Newton’s rule.

Remark 4

Consider \(\lambda =0\) in Theorem 4. Then, the following Newton-type inequality holds:

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

which is presented by [2, Theorem 10].

Remark 5

If we assign \(\alpha =1\) and \(\lambda =0\) in Theorem 4, then we have the following Newton-type inequality

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] - \frac{1}{\sigma _{2}-\sigma _{1}} \int _{\sigma _{1}}^{\sigma _{2}} \mathfrak{F} ( \mu ) \,d\mu \biggr\vert \\ &\quad \leq \frac{\sigma _{2}-\sigma _{1}}{9} \biggl\{ \biggl( \frac{5^{p+1}+3^{p+1}}{8^{p+1}(p+1)} \biggr) ^{\frac{1}{p}} \\ &\qquad \times\biggl[ \biggl( \frac{5 \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+ \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{6} \biggr) ^{\frac{1}{q}}+ \biggl( \frac{ \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+5 \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{6} \biggr) ^{\frac{1}{q}} \biggr] \\ & \qquad + \biggl( \frac{1}{2^{p}(p+1)} \biggr) ^{\frac{1}{p}} \biggl( \frac{ \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+ \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{2} \biggr) ^{\frac{1}{q}} \biggr\} , \end{aligned}$$

which is given by Sitthiwirattham et al. in [9, Remark 5].

Remark 6

If we choose \(\lambda =0\) in Theorem 5, then we have the following Newton-type inequality

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

Here, \(\Omega _{1} ( \alpha ,0 ) \), \(\Omega _{2} ( \alpha ,0 ) \), and \(\Omega _{3} ( \alpha ,0 ) \) are defined in Remark 2 and

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

and

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

This result is proved by Hezenci et al. in [2, Theorem 12].

Remark 7

For \(\alpha =1\) and \(\lambda =0\) in Theorem 5, we have the following Newton-type inequality

$$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl[ \mathfrak{F} ( \sigma _{1} ) +3\mathfrak{F} \biggl( \frac{2\sigma _{1}+\sigma _{2}}{3} \biggr) +3 \mathfrak{F} \biggl( \frac{\sigma _{1}+2\sigma _{2}}{3} \biggr) + \mathfrak{F} ( \sigma _{2} ) \biggr] - \frac{1}{\sigma _{2}-\sigma _{1}} \int _{\sigma _{1}}^{\sigma _{2}} \mathfrak{F} ( \mu ) \,d\mu \biggr\vert \\ & \quad \leq \frac{\sigma _{2}-\sigma _{1}}{2} \biggl\{ \frac{17}{32\cdot 9}\\ &\qquad \times \biggl[ \biggl( \frac{251 \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}+973 \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}}{72} \biggr) ^{\frac{1}{q}}+ \biggl( \frac{251 \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+973 \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{72} \biggr) ^{\frac{1}{q}} \biggr] \\ & \qquad +\frac{1}{18} \biggl( \frac{ \vert \mathfrak{F}^{\prime } ( \sigma _{1} ) \vert ^{q}+ \vert \mathfrak{F}^{\prime } ( \sigma _{2} ) \vert ^{q}}{2} \biggr) ^{ \frac{1}{q}} \biggr\} , \end{aligned}$$

which is proved by [9, Remark 4]. This inequality helps us to find the error bound of Newton’s rule.

5 Summary & concluding remarks

In this paper, we first establish an integral equality connected with tempered fractional operators. With the help of this equality, we have found the error bounds for Simpson’s second formula, namely Newton–Cotes quadrature formula for differentiable convex functions in the framework of tempered fractional integrals and classical calculus. More precisely, with the help of the Hölder and power-mean inequality, we prove several Newton-type inequalities involving tempered fractional operators. Furthermore, some results are presented by using special choices of obtained inequalities.

These type of inequalities will inspire new studies in various fields of mathematics. In the future works, mathematicians can try to generalize our results by utilizing a different version of convex function classes or another type fractional integral operators. Moreover, the researchers may derive new inequalities of different fractional types related to these Newton’s rule type inequality. Furthermore, one can obtain these type of inequalities by tempered fractional integrals for convex functions by using quantum calculus.

Data Availability

No datasets were generated or analysed during the current study.

References

  1. Erden, S., Iftikhar, S., Kumam, P., Awan, M.U.: Some Newton’s like inequalities with applications. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(4), 1–13 (2020)

    MathSciNet  Google Scholar 

  2. Hezenci, F., Budak, H., Kosem, P.: A new version of Newton’s inequalities for Riemann-Liouville fractional integrals. Rocky Mt. J. Math. 53(1), 49–64 (2023)

    Article  MathSciNet  Google Scholar 

  3. Gao, S., Shi, W.: On new inequalities of Newton’s type for functions whose second derivatives absolute values are convex. Int. J. Pure Appl. Math. 74(1), 33–41 (2012)

    Google Scholar 

  4. Hezenci, F., Budak, H.: Some perturbed Newton type inequalities for Riemann-Liouville fractional integrals. Rocky Mt. J. Math. 53(4), 1117–1127 (2023)

    Article  MathSciNet  Google Scholar 

  5. Iftikhar, S., Kumam, P., Erden, S.: Newton’s-type integral inequalities via local fractional integrals. Fractals 28(03), 2050037 (2020)

    Article  Google Scholar 

  6. Iftikhar, S., Erden, S., Kumam, P., Awan, M.U.: Local fractional Newton’s inequalities involving generalized harmonic convex functions. Adv. Differ. Equ. 2020(1), 185 (2020)

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

  9. Sitthiwirattham, T., Nonlaopon, K., Ali, M.A., Budak, H.: Riemann-Liouville fractional Newton’s type inequalities for differentiable convex functions. Fractal Fract. 6(3), 175 (2022)

    Article  Google Scholar 

  10. Qi, Y., Wen, Q., Li, G., Xiao, K., Wang, S.: Discrete Hermite–Hadamard-type inequalities for \((s, m) \)-convex function. Fractals 30(07), 2250160 (2022)

    Article  Google Scholar 

  11. Qi, Y., Li, G., Wang, S., Wen, Q.Z.: Hermite-Hadamard-Fejer type inequalities via Katugampola fractional integrals for s-convex functions in the second sense. Fractals 30(07), 2250131 (2022)

    Article  Google Scholar 

  12. Buschman, R.G.: Decomposition of an integral operator by use of Mikusinski calculus. SIAM J. Math. Anal. 3, 83–85 (1972)

    Article  MathSciNet  Google Scholar 

  13. Meerschaert, M.M., Sikorskii, A.: Stochastic Models for Fractional Calculus. De Gruyter Studies in Mathematics, vol. 43 (2012)

    Google Scholar 

  14. Samko, S., Kilbas, A., Marichev, O.: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, London (1993)

    Google Scholar 

  15. Srivastava, H.M., Buschman, R.G.: Convolution Integral Equations with Special Function Kernels. John Wiley & Sons, New York (1977)

    Google Scholar 

  16. Mohammed, P.O., Sarikaya, M.Z., Baleanu, D.: On the generalized Hermite–Hadamard inequalities via the tempered fractional integrals. Symmetry 12(4), 595 (2020)

    Article  Google Scholar 

  17. Davis, P.J., Rabinowitz, P.: Methods of Numerical Integration. Academic Press, New York-San Francisco-London (1975)

    Google Scholar 

  18. Gorenflo, R., Mainardi, F.: Fractional Calculus: Integral and Differential Equations of Fractional Order. Springer, Wien (1997)

    Google Scholar 

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

    Google Scholar 

  20. Li, C., Deng, W., Zhao, L.: Well-posedness and numerical algorithm for the tempered fractional ordinary differential equations. Discrete Contin. Dyn. Syst., Ser. B 24, 1989–2015 (2019)

    MathSciNet  Google Scholar 

  21. Meerschaert, M.M., Sabzikar, F., Chen, J.: Tempered fractional calculus. J. Comput. Phys. 293, 14–28 (2015)

    Article  MathSciNet  Google Scholar 

Download references

Funding

There is no funding.

Author information

Authors and Affiliations

Authors

Contributions

Conceptualization, F.H. and H.B.; investigation, F.H. and H.B.; methodology, F.H.; validation, H.B. and F.H.; visualization, H.B. and F.H.; writing-original draft, F.H.; writing-review and editing, H.B. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Fatih Hezenci.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hezenci, F., Budak, H. New error bounds for Newton’s formula associated with tempered fractional integrals. Bound Value Probl 2024, 61 (2024). https://doi.org/10.1186/s13661-024-01870-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-024-01870-2

Mathematics Subject Classification

Keywords