On fractional biparameterized Newton-type inequalities

Abstract

In this work, we present a novel biparameterized identity that yields a family of one-, two-, three-, and four-point Newton-type formulas. Subsequently, we establish some new Newton-type inequalities for functions whose first derivatives are α-convex. The investigation is concluded with numerical examples accompanied by graphical representations to substantiate the accuracy of the obtained results.

1 Introduction

Convexity is a fundamental notion in mathematics with broad-ranging applications in pure and applied fields. It plays a key role in the development of inequality theory, which has been an active area of research for many years. Integral inequality theory has found applications in many scientific fields, including physics, economics, and engineering. For some works related to Newton-type inequalities via different types of convexity, we refer the readers to [1–6].

Orlicz [7] introduced the class of α-convex functions as follows.

Definition 1.1

A function $h:I\subset \mathbb{R}_{+}\rightarrow \mathbb{R}$ is said to be α-convex for some fixed $0<\alpha \leq 1$ if for all $u,v\in I$ and $t\in {}[ 0,1]$,

$$ h \bigl( tu+ ( 1-t ) v \bigr) \leq t^{\alpha}h ( u ) + \bigl( 1-t^{\alpha} \bigr) h(v). $$

This notion, also called s-convexity in the first sense, represents a generalization of classical convexity, which can be recovered for $\alpha =1$.

Recently, fractional calculus has emerged as a powerful tool for modeling various physical and real-world phenomena. The idea of fractional derivatives and integrals has been around for centuries, but it is only in the last few decades that fractional calculus has received significant attention from mathematicians and scientists. The notions of fractional derivatives and integrals have been used in many areas of mathematics, including differential equations, complex analysis, and numerical analysis. For a comprehensive overview of the applications and recent developments in fractional calculus, we refer the readers to [8–10].

Many researchers have devoted their efforts to the study of integral inequalities via different fractional operators, and their works have led to significant advances in various areas of mathematics and beyond. In [11] the authors investigated Hermite–Hadamard-type inequalities using the Riemann–Liouville fractional integrals. Hamida et al. [12] established the fractional Bullen-type inequality. Sarikaya et al. [13] derived the fractional Simpson-type inequalities based on convexity, whereas Chen et al. [14] extended them to s-convexity. For further related works, we refer to [15–21] and the references therein.

More recently, Ali et al. [22] explored parameterized inequalities of Simpson ${3}/{8}$ type for differentiable convex functions and established numerous classical and fractional inequalities of Newton type, trapezoidal type, and others.

In this paper, motivated by the above-mentioned results, we investigate a class of fractional inequalities, the biparametrized Newton-type inequalities for differentiable α-convex mappings. Our goal is to explore the general framework of quadrature formulas with one, two, three, and four points. To achieve this, we introduce a biparameterized identity involving the Riemann–Liouville fractional integrals, which enabled us to establish several new results for α-convex derivatives. We also review the existing literature on this topic and highlight the significance of our contributions. This study provides a plethora of new results, as well as some well-known ones, which can be applied in various fields of science and engineering.

Let us consider the following biparameterized four-point quadrature formula:

$$ \begin{aligned}[b] \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) &= \frac {\lambda ( x-\upsilon ) ^{\delta }}{\rho -\upsilon}h ( \upsilon )\\ &\quad {} + \frac {2^{\delta } ( 1-\lambda ) ( x-\upsilon ) ^{\delta }+ ( \upsilon +\rho -2x ) ^{\delta }}{2^{\delta } ( \rho -\upsilon ) } \bigl(h ( x ) +h ( \upsilon + \rho -x ) \bigr)\\ &\quad {} + \frac {\lambda ( x-\upsilon ) ^{\delta }}{\rho -\upsilon}h ( \rho ) , \end{aligned} $$

(1)

where $x\in [\upsilon ,\frac{\upsilon +\varrho}{2}]$ and $\lambda \in [0,1]$.

2 Preliminaries

In this section, we review some well-known definitions and essential tools related to fractional calculus.

Definition 2.1

([23])

The beta function is defined for complex numbers u and v such that $Re(u)>0$ and $Re(v)>0$ by

$$ B(u,v)= \int^{1}_{0}t^{u-1}(1-t)^{v-1}\,dt. $$

Definition 2.2

([23])

The incomplete beta function is defined for complex numbers u and v such that $Re(u)>0$ and $Re(v)>0$ and for $0< c<1$ by

$$ B(c;u,v)= \int^{c}_{0}t^{u-1}(1-t)^{v-1}\,dt. $$

Definition 2.3

([23])

The hypergeometric function is defined for complex numbers u, v, w, and z such that $Re(w)>Re(v)>0$ and $|z|<1$ by

$$ _{2}F_{1}(u,v,w;z)=\frac{1}{B(v,w-v)} \int^{1}_{0}t^{v-1}(1-t)^{w-v-1}(1-zt)^{-u}\,dt, $$

where $B(\cdot ,\cdot )$ is the beta function.

Definition 2.4

([23])

Given $h \in L^{1}[\upsilon ,\varrho ]$, the Riemann–Liouville fractional integrals of order $\delta >0$ with $\upsilon \geq 0$, denoted by $I_{\upsilon ^{+}}^{\delta }h$ and $I_{\varrho ^{-}}^{\delta }h$, are defined as follows:

$$\begin{aligned} &I_{\upsilon ^{+}}^{\delta }h(x) = \frac {1}{\Gamma ( \delta ) } \int _{\upsilon}^{x} ( x-t ) ^{\delta -1}h(t)\,dt, \quad x>\upsilon , \\ &I_{\varrho ^{-}}^{\delta }h(x) = \frac {1}{\Gamma ( \delta ) } \int _{x}^{\varrho} ( t-x ) ^{\delta -1}h(t)\,dt, \quad \varrho >x, \end{aligned}$$

respectively, where $\Gamma (\delta )=\int _{0}^{\infty } e^{-t}t^{\delta -1}\,dt$ is the gamma function, and $I_{\upsilon ^{+}}^{0}f(x)=I_{\varrho ^{-}}^{0}f(x)=f(x)$.

The paper is organized as follows. In Sect. 3, we introduce and prove a biparametric fractional identity, from which we establish a multitude of Newton-type inequalities with one, two, three, and four points for functions with α-convex derivatives. In Sect. 4, we provide illustrative examples along with graphical representations to confirm the accuracy of the obtained results and showcase some applications. The study concludes with a final section summarizing our findings and providing a comprehensive conclusion.

3 Main results

Our approach begins by introducing the following identity, which plays a central role in establishing our results.

Lemma 3.1

Let $h:I\subset \mathbb{R} \rightarrow \mathbb{R}$ be a differentiable function on $I^{\circ }$, $\upsilon ,\varrho \in I^{\circ }$ with $\upsilon <\varrho$, and $h^{\prime }\in L^{1} [ \upsilon ,\varrho ]$. Then we have the following equality for real numbers $\lambda \in [ 0,1 ]$, $x\in [ \upsilon ,\frac{\upsilon +\varrho}{2} ]$, and $0<\delta \leq 1$:

$$\begin{aligned} &\mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) - \Lambda ( \upsilon ,x, \varrho ;\delta ;\lambda ) \\ &\quad=\frac{ ( x-\upsilon ) ^{\delta +1}}{\varrho -\upsilon} \int _{0}^{1} \bigl( t^{\delta }-\lambda \bigr) h^{ \prime } \bigl( ( 1-t ) \upsilon +tx \bigr) \,dt \\ &\qquad {}- \frac{ ( \upsilon +\varrho -2x ) ^{\delta +1}}{2^{\delta +1} ( \varrho -\upsilon ) } \int _{0}^{1} ( 1-t ) ^{\delta }h^{\prime } \biggl( ( 1-t ) x+t\frac{\upsilon +\varrho}{2} \biggr) \,dt \\ &\quad\quad {}+ \frac{ ( \upsilon +\varrho -2x ) ^{\delta +1}}{2^{\delta +1} ( \varrho -\upsilon ) } \int _{0}^{1}t^{\delta }h^{\prime } \biggl( ( 1-t ) \frac{\upsilon +\varrho}{2}+t ( \upsilon +\varrho -x ) \biggr) \,dt \\ &\quad\quad {}- \frac{ ( x-\upsilon ) ^{\delta +1}}{\varrho -\upsilon} \int _{0}^{1} \bigl( ( 1-t ) ^{\delta }- \lambda \bigr) h^{\prime } \bigl( ( 1-t ) ( \upsilon +\varrho -x ) +t\varrho \bigr) \,dt, \end{aligned}$$

where $\mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda )$ is given by (1), and

$$ \begin{aligned}[b] \Lambda ( \upsilon ,x,\varrho ;\delta ) &= \frac{\Gamma ( \delta +1 ) }{\varrho -\upsilon} \biggl( I_{x^{-}}^{\delta }h( \upsilon )+ I_{x^{+}}^{\delta }h \biggl(\frac{\upsilon +\varrho}{2} \biggr)\\ &\quad {}+I_{ (\upsilon +\varrho -x )^{-}}^{\delta }h \biggl( \frac{\upsilon +\varrho}{2} \biggr)+I_{ ( \upsilon +\varrho -x ) ^{+}}^{\delta}h(\varrho ) \biggr) . \end{aligned} $$

(2)

Proof

Let

$$ I=\frac{ ( x-\upsilon ) ^{\delta +1}}{\varrho -\upsilon}I_{1}- \frac{ ( \upsilon +\varrho -2x ) ^{\delta +1}}{2^{\delta +1} ( \varrho -\upsilon ) }I_{2}+ \frac{ ( \upsilon +\varrho -2x ) ^{\delta +1}}{2^{\delta +1} ( \varrho -\upsilon ) }I_{3}- \frac{ ( x-\upsilon ) ^{\delta +1}}{\varrho -\upsilon} I_{4}, $$

(3)

where

$$\begin{aligned} &I_{1} = \int _{0}^{1} \bigl( t^{\delta }-\lambda \bigr) h^{\prime } \bigl( ( 1-t ) \upsilon +tx \bigr) \,dt, \\ &I_{2} = \int _{0}^{1} ( 1-t ) ^{\delta }h^{ \prime } \biggl( ( 1-t ) x+t\frac{\upsilon +\varrho}{2} \biggr) \,dt, \\ &I_{3} = \int _{0}^{1}t^{\delta }h^{\prime } \biggl( ( 1-t ) \frac{\upsilon +\varrho}{2}+t ( \upsilon + \varrho -x ) \biggr) \,dt, \end{aligned}$$

and

$$ I_{4}= \int _{0}^{1} \bigl( ( 1-t ) ^{ \delta }-\lambda \bigr) h^{\prime } \bigl( ( 1-t ) ( \upsilon +\varrho -x ) +t\varrho \bigr) \,dt. $$

Integrating $I_{1}$ by parts, we get

$$\begin{aligned} I_{1} & = \int _{0}^{1} \bigl( t^{\delta }-\lambda \bigr) h^{\prime } \bigl( ( 1-t ) \upsilon +tx \bigr) \,dt \\ & = \frac{1}{x-\upsilon} \bigl( t^{\delta }-\lambda \bigr) h \bigl( ( 1-t ) \upsilon +tx \bigr) \bigg\vert _{t=0}^{t=1}- \frac{\delta }{x-\upsilon} \int _{0}^{1}t^{\delta -1}h \bigl( ( 1-t ) \upsilon +tx \bigr) \,dt \\ & = \frac{1-\lambda }{x-\upsilon}h ( x ) + \frac{\lambda }{x-\upsilon}h ( \upsilon ) - \frac{\delta }{ ( x-\upsilon ) ^{\delta +1}} \int _{\upsilon}^{x} ( u-\upsilon ) ^{\delta -1}h ( u ) \,du \\ & = \frac{1-\lambda }{x-\upsilon}h ( x ) + \frac{\lambda }{x-\upsilon}h ( \upsilon ) - \frac{\Gamma ( \delta +1 ) }{ ( x-\upsilon ) ^{\delta +1}}I_{x^{-}}^{ \delta }h(\upsilon ). \end{aligned}$$

(4)

Likewise, we get

$$\begin{aligned} &\begin{aligned}[b] I_{2} & = \int _{0}^{1} ( 1-t ) ^{\delta }h^{ \prime } \biggl( ( 1-t ) x+t\frac{\upsilon +\varrho}{2} \biggr) \,dt \\ & = \frac{2}{\upsilon +\varrho -2x} ( 1-t ) ^{ \delta }h \biggl( ( 1-t ) x+t \frac{\upsilon +\varrho}{2} \biggr) \bigg\vert _{t=0}^{t=1} \\ &\quad{}+\frac{2\delta }{\upsilon +\varrho -2x} \int _{0}^{1} ( 1-t ) ^{\delta -1}h \biggl( ( 1-t ) x+t\frac{\upsilon +\varrho}{2} \biggr) \,dt \\ & = -\frac{2}{\upsilon +\varrho -2x}h ( x ) + \frac{2^{\delta +1}\delta }{ ( \upsilon +\varrho -2x ) ^{\delta +1}} \int _{x}^{\frac{\upsilon +\varrho}{2}} \biggl( \frac{\upsilon +\varrho}{2}-u \biggr) ^{\delta -1}h ( u ) \,du \\ & = -\frac{2}{\upsilon +\varrho -2x}h ( x ) + \frac{2^{\delta +1}\Gamma ( \delta +1 ) }{ ( \upsilon +\varrho -2x ) ^{\delta +1}}I_{x^{+}}^{ \delta }h \biggl(\frac{\upsilon +\varrho}{2} \biggr), \end{aligned} \end{aligned}$$

(5)

$$\begin{aligned} &\begin{aligned}[b] I_{3} & = \int _{0}^{1}t^{\delta }h^{\prime } \biggl( ( 1-t ) \frac{\upsilon +\varrho}{2}+t ( \upsilon + \varrho -x ) \biggr) \,dt \\ & = \frac{2}{\upsilon +\varrho -2x}t^{\delta }h \biggl( ( 1-t ) \frac{\upsilon +\varrho}{2}+t ( \upsilon +\varrho -x ) \biggr) \bigg\vert _{t=0}^{t=1} \\ &\quad{}-\frac{2\delta }{\upsilon +\varrho -2x} \int _{0}^{1}t^{\delta -1}h \biggl( ( 1-t ) \frac{\upsilon +\varrho}{2}+t ( \upsilon +\varrho -x ) \biggr) \,dt \\ & = \frac{2}{\upsilon +\varrho -2x}h ( \upsilon +\varrho -x ) - \frac{2^{\delta +1}\delta }{ ( \upsilon +\varrho -2x ) ^{\delta +1}} \int _{\frac{\upsilon +\varrho}{2}}^{\upsilon +\varrho -x} \biggl( u-\frac{\upsilon +\varrho}{2} \biggr) ^{\delta -1}h ( u ) \,du \\ & = \frac{2}{\upsilon +\varrho -2x}h ( \upsilon +\varrho -x ) - \frac{2^{\delta +1}\Gamma ( \delta +1 ) }{ ( \upsilon +\varrho -2x ) ^{\delta +1}}I_{ (\upsilon +\varrho -x )^{-}}^{\delta }h \biggl( \frac{\upsilon +\varrho}{2} \biggr), \end{aligned} \end{aligned}$$

(6)

and

$$\begin{aligned} I_{4} & = \int _{0}^{1} \bigl( ( 1-t ) ^{ \delta }-\lambda \bigr) h^{\prime } \bigl( ( 1-t ) ( \upsilon +\varrho -x ) +t\varrho \bigr) \,dt \\ & = \frac{1}{x-\upsilon} \bigl( ( 1-t ) ^{\delta }- \lambda \bigr) h \bigl( ( 1-t ) ( \upsilon + \varrho -x ) +t\varrho \bigr) \bigg\vert _{t=0}^{t=1} \\ &\quad{}+\frac{\delta }{x-\upsilon} \int _{0}^{1} ( 1-t ) ^{\delta -1}h \bigl( ( 1-t ) ( \upsilon + \varrho -x ) +t\varrho \bigr) \,dt \\ & = -\frac{\lambda }{x-\upsilon}h ( \varrho ) - \frac{1-\lambda }{x-\upsilon}h ( \upsilon +\varrho -x ) + \frac{\delta }{ ( x-\upsilon ) ^{\delta +1}} \int _{\upsilon +\varrho -x}^{\varrho} ( \varrho -u ) ^{\delta -1}h ( u ) \,du \\ & = -\frac{\lambda }{x-\upsilon}h ( \varrho ) - \frac{1-\lambda }{x-\upsilon}h ( \upsilon +\varrho -x ) + \frac{\Gamma ( \delta +1 ) }{ ( x-\upsilon ) ^{\delta +1}}I_{ ( \upsilon +\varrho -x ) ^{+}}^{\delta }h( \varrho ). \end{aligned}$$

(7)

By substituting equations (4)–(7) into equation (3) we obtain the intended outcome. □

Theorem 3.2

Let $h: [ \upsilon ,\varrho ] \rightarrow \mathbb{R}$ be a differentiable function on $[ \upsilon ,\varrho ]$ such that $h^{\prime}\in L^{1} [ \upsilon ,\varrho ]$ with $0\leq \upsilon <\varrho$. If $\vert h^{\prime} \vert$ is α-convex on $[\upsilon ,\varrho ]$, then we have

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac {(x-\upsilon )^{\delta +1}}{\varrho -\upsilon} \bigl[ \bigl(\mathcal{C}_{1} (\lambda , \delta )-\mathcal{C}_{2} (\lambda ,\delta ,\alpha ) \bigr) \bigl\vert h'( \upsilon ) \bigr\vert +\mathcal{C}_{2} (\lambda , \delta , \alpha ) \bigl\vert h'(x) \bigr\vert \\ &\qquad {} + \bigl( \mathcal{C}_{1} (\lambda ,\delta )-\mathcal{C}_{3} (\lambda , \delta ,\alpha ) \bigr) \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert +\mathcal{C}_{3} (\lambda ,\delta ,\alpha ) \bigl\vert h'(\varrho ) \bigr\vert \bigr] \\ &\quad\quad{}+ \frac {(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon )} \biggl[ \biggl(\frac {1}{\delta +1}-B(\delta +1,\alpha +1) \biggr) \bigl\vert h'(x) \bigr\vert +\frac {1}{\alpha +\delta +1} \bigl\vert h'( \upsilon +\varrho -x) \bigr\vert \\ &\quad\quad{}+ \biggl(B(\delta +1,\alpha +1)+ \frac {\alpha}{(\delta +1)(\alpha +\delta +1)} \biggr) \biggl\vert h' \biggl(\frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \biggr], \end{aligned}$$

where $B(\cdot ,\cdot )$ and $B(\cdot ;\cdot ,\cdot )$ are beta and incomplete beta functions, respectively, and $\mathcal{C}_{i}$ ($i=1,2,3$) are given by

$$\begin{aligned}& \mathcal{C}_{1} (\lambda ,\delta )= \frac{2\delta \lambda ^{\frac {\delta +1}{\delta}}-\lambda (\delta +1)+1}{\delta +1}, \end{aligned}$$

(8)

$$\begin{aligned}& \mathcal{C}_{2} (\lambda ,\delta ,\alpha )= \frac{2\delta \lambda ^{\frac {\alpha +\delta +1}{\delta}}}{(\alpha +1)(\alpha +\delta +1)}+ \frac{1}{\alpha +\delta +1}-\frac{\lambda}{\alpha +1}, \end{aligned}$$

(9)

and

$$ \mathcal{C}_{3} (\lambda ,\delta ,\alpha )=B(\delta +1, \alpha +1)-2B \bigl(\lambda ^{{1}/{\delta}};\delta +1,\alpha +1 \bigr)- \frac{2\lambda (1-\lambda ^{{1}/{\delta}} )^{\alpha +1}-\lambda}{\alpha +1}. $$

(10)

Proof

From Lemma 3.1 we have

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon} \biggl( \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert \bigl\vert h' \bigl((1-t)\upsilon +tx \bigr) \bigr\vert \,dt\\ &\qquad {}+ \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert \bigl\vert h' \bigl((1-t) (\upsilon +\varrho -x)+t\varrho \bigr) \bigr\vert \,dt \biggr) \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon )} \biggl( \int^{1}_{0}(1-t)^{\delta} \biggl\vert h' \biggl((1-t)x+t \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \,dt\\ &\qquad {}+ \int^{1}_{0}t^{\delta} \biggl\vert h' \biggl((1-t) \frac {\upsilon +\varrho}{2}+t(\upsilon +\varrho -x) \biggr) \biggr\vert \,dt \biggr). \end{aligned}$$

Using the α-convexity of $\vert h' \vert$, we get

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon} \biggl( \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert \bigl\{ \bigl(1-t^{\alpha } \bigr) \bigl\vert h'( \upsilon ) \bigr\vert +t^{ \alpha} \bigl\vert h'(x) \bigr\vert \bigr\} \,dt \\ &\quad\quad{}+ \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert \bigl\{ \bigl(1-t^{\alpha}\bigr) \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert +t^{\alpha} \bigl\vert h'(\varrho ) \bigr\vert \bigr\} \,dt \biggr) \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon )} \biggl( \int^{1}_{0}(1-t)^{\delta} \biggl\{ \bigl(1-t^{ \alpha}\bigr) \bigl\vert h' (x) \bigr\vert +t^{\alpha} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \biggr\} \,dt \\ &\quad\quad{}+\, \int^{1}_{0}t^{\delta} \biggl\{ \bigl(1-t^{ \alpha}\bigr) \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert +t^{ \alpha} \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert \biggr\} \,dt \biggr) \\ &\quad = \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon} \biggl( \bigl\vert h'( \upsilon ) \bigr\vert \int^{1}_{0} \bigl\vert t^{\delta}- \lambda \bigr\vert \bigl(1-t^{\alpha } \bigr)\,dt+ \bigl\vert h'(x) \bigr\vert \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert t^{ \alpha}\,dt \\ &\quad\quad{}+ \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert \bigl(1-t^{ \alpha}\bigr)\,dt+ \bigl\vert h'(\varrho ) \bigr\vert \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert t^{ \alpha}\,dt \biggr) \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon )} \biggl( \bigl\vert h' (x) \bigr) \bigr\vert \int^{1}_{0}(1-t)^{\delta} \bigl(1-t^{\alpha}\bigr)\,dt+ \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \int^{1}_{0}(1-t)^{\delta}t^{\alpha}\,dt \\ &\quad\quad{}+ \,\biggl\vert h' \biggl(\frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \int^{1}_{0}t^{\delta}\bigl(1-t^{\alpha} \bigr)\,dt+ \bigl\vert h'( \upsilon +\varrho -x) \bigr\vert \int^{1}_{0}t^{ \delta +\alpha}\,dt \biggr) \\ &\quad = \frac {(x-\upsilon )^{\delta +1}}{\varrho -\upsilon} \bigl[ \bigl( \mathcal{C}_{1} (\lambda ,\delta )-\mathcal{C}_{2} ( \lambda ,\delta ,\alpha ) \bigr) \bigl\vert h'(\upsilon ) \bigr\vert +\mathcal{C}_{2} (\lambda , \delta ,\alpha ) \bigl\vert h'(x) \bigr\vert \\ &\qquad {}+ \bigl( \mathcal{C}_{1} (\lambda , \delta )-\mathcal{C}_{3} (\lambda ,\delta ,\alpha ) \bigr) \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert +\mathcal{C}_{3} (\lambda ,\delta ,\alpha ) \bigl\vert h'(\varrho ) \bigr\vert \bigr] \\ &\quad\quad{}+ \frac {(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon )} \biggl[ \biggl(\frac {1}{\delta +1}-B(\delta +1,\alpha +1) \biggr) \bigl\vert h'(x) \bigr\vert +\frac {1}{\alpha +\delta +1} \bigl\vert h'( \upsilon +\varrho -x) \bigr\vert \\ &\quad\quad{}+ \biggl(B(\delta +1,\alpha +1)+ \frac {\alpha}{(\delta +1)(\alpha +\delta +1)} \biggr) \biggl\vert h' \biggl(\frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \biggr]. \end{aligned}$$

This deduction is based on the fact that

$$\begin{aligned}& \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert \bigl(1-t^{\alpha } \bigr)\,dt=\mathcal{C}_{1} (\lambda ,\delta )- \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert t^{\alpha}\,dt=\mathcal{C}_{1} (\lambda ,\delta )- \mathcal{C}_{2} (\lambda ,\delta ,\alpha ), \end{aligned}$$

(11)

$$\begin{aligned}& \begin{aligned}[b] \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert \bigl(1-t^{ \alpha}\bigr)\,dt&=\mathcal{C}_{1} ( \lambda ,\delta )- \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert t^{ \alpha}\,dt\\ &=\mathcal{C}_{1} (\lambda ,\delta )-\mathcal{C}_{3} (\lambda ,\delta ,\alpha ),\end{aligned} \end{aligned}$$

(12)

$$\begin{aligned}& \int^{1}_{0}(1-t)^{\delta} \bigl(1-t^{\alpha}\bigr)\,dt= \frac{1}{\delta +1}- \int^{1}_{0}(1-t)^{\delta}t^{ \alpha}\,dt= \frac{1}{\delta +1}-B(\delta +1,\alpha +1), \end{aligned}$$

(13)

and

$$ \int^{1}_{0}t^{\delta}\bigl(1-t^{\alpha} \bigr)\,dt= \frac{1}{\delta +1}- \int^{1}_{0}t^{\delta +\alpha}\,dt= \frac{\alpha}{(\delta +1)(\alpha +\delta +1)} $$

(14)

with $\mathcal{C}_{1} (\lambda ,\delta )$, $\mathcal{C}_{2} (\lambda ,\delta ,\alpha )$, and $\mathcal{C}_{3} (\lambda ,\delta ,\alpha )$ as defined in (8), (9), and (10), respectively.

Hence the proof is complete. □

Theorem 3.2 presents a diverse array of findings regarding one-, two-, three-, and four-point Newton-type inequalities, encompassing both original discoveries and preexisting results. Notably, by scrutinizing select parameter values of x and λ, a wealth of new inequalities arises for various categories of convexity, and certain known ones are also reencountered, some of them even improved. We will enumerate a selection of such results.

Corollary 3.3

Setting $\alpha =1$ in Theorem 3.2, we obtain the following fractional biparameterized four-point Newton-type inequality for convex functions:

$$\begin{aligned} & \bigl\vert \mathcal{P}(\upsilon ,x,\varrho ;\delta ;\lambda )- \Lambda ( \upsilon ,x,\varrho , \delta ) \bigr\vert \\ &\quad \leq \frac{ ( x-\upsilon ) ^{\delta +1}}{\varrho -\upsilon } \biggl( \biggl( \frac {1}{ ( \delta +1 ) ( \delta +2 ) }+ \frac {2\delta }{\delta +1} \lambda ^{\frac{\delta +1}{\delta }}- \frac {\delta }{\delta +2}\lambda ^{\frac{\delta +2}{\delta }}- \frac {\lambda }{2} \biggr) \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \bigr) \\ &\quad\quad{}+ \biggl( \frac {1}{\delta +2}+\frac {\delta }{\delta +2} \lambda ^{ \frac{\delta +2}{\delta }}-\frac {\lambda }{2} \biggr) \bigl( \bigl\vert h^{\prime } ( x ) \bigr\vert + \bigl\vert h^{\prime } ( \upsilon +\varrho -x ) \bigr\vert \bigr) \biggr) \\ &\quad\quad{}+ \frac{ ( \upsilon +\varrho -2x ) ^{\delta +1}}{2^{\delta +1} (\varrho -\upsilon ) ( \delta +2 )} \biggl( \bigl\vert h^{\prime } ( x ) \bigr\vert +\frac {2}{\delta +1 } \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert + \bigl\vert h^{ \prime } ( \upsilon +\varrho -x ) \bigr\vert \biggr) . \end{aligned}$$

Corollary 3.4

Setting $x=\upsilon$ in Corollary 3.3, we obtain the following fractional trapezoidal-type inequality for convex functions:

$$\begin{aligned} & \biggl\vert \frac{h (\upsilon )+h (\varrho )}{2}- \frac{2^{\delta -1}\Gamma (\delta +1)}{(\varrho -\upsilon )^{\delta}} \biggl(I_{\upsilon ^{+}}^{\delta }h \biggl( \frac {\upsilon +\varrho}{2} \biggr)+I_{\varrho ^{-}}^{\delta }h \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{\varrho -\upsilon}{4(\delta +2)} \biggl[ \bigl\vert h'( \upsilon ) \bigr\vert +\frac{2}{\delta +1} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert + \bigl\vert h'( \varrho ) \bigr\vert \biggr]. \end{aligned}$$

Moreover, using the convexity of $\vert h' \vert$, we obtain

$$\begin{aligned} & \biggl\vert \frac{h (\upsilon )+h (\varrho )}{2}- \frac{2^{\delta -1}\Gamma (\delta +1)}{(\varrho -\upsilon )^{\delta}} \biggl(I_{\upsilon ^{+}}^{\delta }h \biggl( \frac {\upsilon +\varrho}{2} \biggr)+I_{\varrho ^{-}}^{\delta }h \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{\varrho -\upsilon}{4(\delta +1)} \bigl[ \bigl\vert h'( \upsilon ) \bigr\vert + \bigl\vert h'(\varrho ) \bigr\vert \bigr]. \end{aligned}$$

This improves the result obtained in Corollary 3.6 of [17].

Corollary 3.5

Setting $x=\frac{\upsilon +\varrho}{2}$ in Corollary 3.3, we obtain the following fractional parameterized three-point Newton–Cotes-type inequality for convex functions:

$$\begin{aligned} & \biggl\vert \frac {\lambda }{2}h ( \upsilon ) + ( 1- \lambda ) h \biggl( \frac {\upsilon +\varrho }{2} \biggr) + \frac {\lambda }{2}h ( \varrho ) - \frac {2^{\delta -1}\Gamma ( \delta +1 ) }{ ( \varrho -\upsilon ) ^{\delta }} \bigl( I_{ ( \frac{\upsilon +\varrho }{2} ) ^{-}}^{\delta }h(\upsilon )+I_{ ( \frac{\upsilon +\varrho }{2} ) ^{+}}^{\delta }h(\varrho ) \bigr) \biggr\vert \\ &\quad \leq \frac {\varrho -\upsilon }{4} \biggl( \biggl( \frac {1}{ ( \delta +1 ) ( \delta +2 ) }+ \frac {2\delta }{\delta +1} \lambda ^{\frac{\delta +1}{\delta }}-\frac {\delta }{\delta +2}\lambda ^{ \frac{\delta +2}{\delta }}- \frac {\lambda }{2} \biggr) \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{ \prime } ( \varrho ) \bigr\vert \bigr) \\ &\qquad{}+ 2 \biggl( \frac {1}{\delta +2}+\frac {\delta }{\delta +2} \lambda ^{ \frac{\delta +2}{\delta }}-\frac {\lambda }{2} \biggr) \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho }{2} \biggr) \biggr\vert \biggr) . \end{aligned}$$

Remark 3.6

Consider some particular cases in Corollary 3.5.

• If $\lambda =0$, then we obtain the following fractional midpoint inequality for convex functions:

  $$\begin{aligned} & \biggl\vert h \biggl(\frac{\upsilon +\varrho}{2} \biggr)- \frac{2^{\delta -1}\Gamma (\delta +1)}{(\varrho -\upsilon )^{\delta}} \bigl(I_{ (\frac{\upsilon +\varrho}{2} )^{-}}^{\delta }h( \upsilon )+I_{ (\frac{\upsilon +\varrho}{2} )^{+}}^{ \delta }h( \varrho ) \bigr) \biggr\vert \\ &\quad \leq \frac{\varrho -\upsilon}{4(\delta +2)} \biggl( \frac{1}{\delta +1} \bigl\vert h'(\upsilon ) \bigr\vert +2 \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert + \frac{1}{\delta +1} \bigl\vert h'(\varrho ) \bigr\vert \biggr). \end{aligned}$$

  This result improves that of Sarikaya et al. [11] (Theorem 5 for $q=1$), which can be derived by using the convexity of $\vert h' \vert$ in the preceding inequality.

• If $\lambda =1$, then we obtain another variant of fractional trapezoidal-type inequality for convex functions,

  $$\begin{aligned} & \biggl\vert \frac{h (\upsilon )+h (\varrho )}{2}- \frac{2^{\delta -1}\Gamma (\delta +1)}{(\varrho -\upsilon )^{\delta}} \bigl(I_{ (\frac{\upsilon +\varrho}{2} )^{-}}^{\delta }h( \upsilon )+I_{ (\frac{\upsilon +\varrho}{2} )^{+}}^{ \delta }h(\varrho ) \bigr) \biggr\vert \\ &\quad \leq \frac{\varrho -\upsilon }{4} \biggl( \frac {\delta ^{2}+3\delta}{2 ( \delta +1 ) ( \delta +2 ) } \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \bigr) + \frac {\delta}{\delta +2} \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho }{2} \biggr) \biggr\vert \biggr) . \end{aligned}$$

  Moreover, using the convexity of $\vert h' \vert$, we can recover the result established in Corollary 3.4.

• If $\lambda =\frac{1}{2}$, then we obtain the following fractional Bullen-type inequality for convex functions:

  $$\begin{aligned} & \biggl\vert \frac{1}{4} \biggl(h (\upsilon )+2h \biggl( \frac {\upsilon +\varrho}{2} \biggr)+h (\varrho ) \biggr)- \frac{2^{\delta -1}\Gamma (\delta +1)}{(\varrho -\upsilon )^{\delta}} \bigl(I_{ (\frac{\upsilon +\varrho}{2} )^{-}}^{\delta }h( \upsilon )+I_{ (\frac{\upsilon +\varrho}{2} )^{+}}^{ \delta }h( \varrho ) \bigr) \biggr\vert \\ &\quad \leq \frac {\varrho -\upsilon }{4} \biggl( \biggl( \frac {1}{ ( \delta +1 ) ( \delta +2 ) }+ \frac {2\delta }{\delta +1} \biggl(\frac {1}{2} \biggr) ^{\frac{\delta +1}{\delta }}-\frac {\delta }{\delta +2} \biggl( \frac {1}{2} \biggr) ^{\frac{\delta +2}{\delta }}-\frac {1}{4} \biggr)\\ &\qquad {}\times \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \bigr) \\ &\qquad{}+ 2 \biggl( \frac {1}{\delta +2}+\frac {\delta }{\delta +2} \biggl( \frac {1}{2} \biggr) ^{\frac{\delta +2}{\delta }}-\frac {1}{4} \biggr) \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho }{2} \biggr) \biggr\vert \biggr) . \end{aligned}$$

• If $\lambda =\frac{1}{3}$, then we obtain the following fractional Simpson-type inequality for convex functions:

  $$\begin{aligned} & \biggl\vert \frac{1}{6} \biggl(h (\upsilon )+4h \biggl( \frac {\upsilon +\varrho}{2} \biggr)+h (\varrho ) \biggr)- \frac{2^{\delta -1}\Gamma (\delta +1)}{(\varrho -\upsilon )^{\delta}} \bigl(I_{ (\frac{\upsilon +\varrho}{2} )^{-}}^{\delta }h( \upsilon )+I_{ (\frac{\upsilon +\varrho}{2} )^{+}}^{ \delta }h( \varrho ) \bigr) \biggr\vert \\ &\quad \leq \frac {\varrho -\upsilon }{4} \biggl( \biggl( \frac {1}{ ( \delta +1 ) ( \delta +2 ) }+ \frac {2\delta }{\delta +1} \biggl(\frac {1}{3} \biggr) ^{\frac{\delta +1}{\delta }}-\frac {\delta }{\delta +2} \biggl( \frac {1}{3} \biggr) ^{\frac{\delta +2}{\delta }}-\frac {1}{6} \biggr)\\ &\qquad {}\times \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \bigr) \\ &\qquad{}+ 2 \biggl( \frac {1}{\delta +2}+\frac {\delta }{\delta +2} \biggl( \frac {1}{3} \biggr) ^{\frac{\delta +2}{\delta }}-\frac {1}{6} \biggr) \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho }{2} \biggr) \biggr\vert \biggr) . \end{aligned}$$

• If $\lambda =\frac{1}{4}$, then we obtain the following fractional Simpson-type inequality for convex functions:

  $$\begin{aligned} & \biggl\vert \frac{1}{8} \biggl(h (\upsilon )+6h \biggl( \frac {\upsilon +\varrho}{2} \biggr)+h (\varrho ) \biggr)- \frac{2^{\delta -1}\Gamma (\delta +1)}{(\varrho -\upsilon )^{\delta}} \bigl(I_{ (\frac{\upsilon +\varrho}{2} )^{-}}^{\delta }h( \upsilon )+I_{ (\frac{\upsilon +\varrho}{2} )^{+}}^{ \delta }h( \varrho ) \bigr) \biggr\vert \\ & \quad \leq \frac {\varrho -\upsilon }{4} \biggl( \biggl( \frac {1}{ ( \delta +1 ) ( \delta +2 ) }+ \frac {2\delta }{\delta +1} \biggl(\frac {1}{4} \biggr) ^{\frac{\delta +1}{\delta }}-\frac {\delta }{\delta +2} \biggl( \frac {1}{4} \biggr) ^{\frac{\delta +2}{\delta }}-\frac {1}{8} \biggr)\\ &\qquad {}\times \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \bigr) \\ &\qquad{}+ 2 \biggl( \frac {1}{\delta +2}+\frac {\delta }{\delta +2} \biggl( \frac {1}{4} \biggr) ^{\frac{\delta +2}{\delta }}-\frac {1}{8} \biggr) \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho }{2} \biggr) \biggr\vert \biggr) . \end{aligned}$$

Corollary 3.7

Setting $\lambda =0$ in Corollary 3.3, we obtain the following fractional symmetrical two-point type inequality for convex functions:

$$\begin{aligned} & \biggl\vert \frac{2^{\delta } ( x-\upsilon ) ^{\delta }+ ( \upsilon +\varrho -2x ) ^{\delta }}{2^{\delta} ( \varrho -\upsilon ) } \bigl(h ( x ) +h ( \upsilon +\varrho -x ) \bigr)-\Lambda (\upsilon ,x,\varrho ;\delta ) \biggr\vert \\ &\quad \leq \frac{ ( x-\upsilon ) ^{\delta +1}}{(\varrho -\upsilon )(\delta +2)} \biggl( \frac {1}{ \delta +1 } \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \bigr)+ \bigl( \bigl\vert h^{ \prime } ( x ) \bigr\vert + \bigl\vert h^{\prime } ( \upsilon +\varrho -x ) \bigr\vert \bigr) \biggr) \\ &\qquad{}+ \frac{ ( \upsilon +\varrho -2x ) ^{\delta +1}}{2^{\delta +1} (\varrho -\upsilon ) ( \delta +2 )} \biggl( \bigl\vert h^{\prime } ( x ) \bigr\vert +\frac {2}{\delta +1 } \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert + \bigl\vert h^{ \prime } ( \upsilon +\varrho -x ) \bigr\vert \biggr) . \end{aligned}$$

Moreover, taking $\delta =1$, we obtain the following companion Ostrowski-type inequality for convex functions:

$$\begin{aligned} & \biggl\vert \frac{h ( x ) +h ( \upsilon +\varrho -x )}{2}- \frac {1}{\varrho -\upsilon} \int^{\varrho}_{\upsilon}h(z) \,dz \biggr\vert \\ &\quad \leq \frac{ ( x-\upsilon ) ^{2}}{3(\varrho -\upsilon )} \biggl( \frac {1}{2} \bigl( \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \bigr)+ \bigl( \bigl\vert h^{\prime } ( x ) \bigr\vert + \bigl\vert h^{\prime } ( \upsilon + \varrho -x ) \bigr\vert \bigr) \biggr) \\ &\qquad{}+ \frac{ ( \upsilon +\varrho -2x ) ^{2}}{12 (\varrho -\upsilon ) } \biggl( \bigl\vert h^{\prime } ( x ) \bigr\vert + \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert + \bigl\vert h^{\prime } ( \upsilon +\varrho -x ) \bigr\vert \biggr) . \end{aligned}$$

Corollary 3.8

Setting $x=\frac{2\upsilon +\varrho}{3}$ and $\lambda =\frac{3}{8}$ in Corollary 3.3, we obtain the following fractional four-point type inequality for convex functions:

$$\begin{aligned} & \biggl\vert \frac { ( \varrho -\upsilon ) ^{\delta -1}}{8\times 3^{\delta -1}}h (\upsilon ) + \frac { ( 5\times 2^{\delta}+8 ) ( \varrho -\upsilon ) ^{\delta -1}}{8\times 6^{\delta }} \biggl(h \biggl( \frac {2\upsilon +\varrho}{3} \biggr) +h \biggl( \frac {\upsilon +2\varrho}{3} \biggr) \biggr)\\ &\qquad {} + \frac { ( \varrho -\upsilon ) ^{\delta -1}}{8\times 3^{\delta -1}}h ( \varrho )-\Lambda \biggl(\upsilon , \frac {2\upsilon +\varrho}{3}, \varrho ;\delta \biggr) \biggr\vert \\ &\quad \leq \frac{ (\varrho - \upsilon )^{\delta}}{3^{\delta +1}} \biggl[ \biggl( \frac {1}{ (\delta +1 ) (\delta +2 )}+ \frac {2\delta}{\delta +1} \biggl(\frac {3}{8} \biggr)^{ \frac{\delta +1}{\delta}}-\frac {\delta}{\delta +2} \biggl( \frac {3}{8} \biggr)^{\frac{\delta +2}{\delta}}-\frac {3}{16} \biggr)\\ &\qquad {}\times \bigl( \bigl\vert h^{\prime} (\upsilon ) \bigr\vert + \bigl\vert h^{\prime} (\varrho ) \bigr\vert \bigr) \\ &\qquad{}+ \biggl(\frac {1}{\delta +2}+\frac {\delta}{\delta +2} \biggl( \frac {3}{8} \biggr)^{\frac{\delta +2}{\delta}}-\frac {3}{16}+ \frac {1}{2^{\delta +1} (\delta +2 )} \biggr) \biggl( \biggl\vert h^{\prime} \biggl(\frac {2\upsilon +\varrho}{3} \biggr) \biggr\vert + \biggl\vert h^{\prime} \biggl(\frac {\upsilon +2\varrho}{3} \biggr) \biggr\vert \biggr)\\ &\qquad{}+ \frac {1}{2^{\delta} (\delta +1 ) (\delta +2 )} \biggl\vert h^{\prime} \biggl(\frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \biggr]. \end{aligned}$$

Moreover, taking $\delta =1$, we obtain the following Simpson-type ${3}/{8}$ inequality for convex functions:

$$\begin{aligned} & \biggl\vert \frac {1}{8}h (\upsilon ) +\frac {3}{8} \biggl(h \biggl( \frac {2\upsilon +\varrho}{3} \biggr) +h \biggl( \frac {\upsilon +2\varrho}{3} \biggr) \biggr) + \frac {1}{8}h ( \varrho )-\frac {1}{\varrho -\upsilon} \int^{\varrho}_{\upsilon}h(z) \,dz \biggr\vert \\ &\quad \leq \frac{\varrho - \upsilon}{9} \biggl[\frac {157}{1536} \bigl( \bigl\vert h^{\prime} (\upsilon ) \bigr\vert + \bigl\vert h^{\prime} ( \varrho ) \bigr\vert \bigr)+ \frac {379}{1536} \biggl( \biggl\vert h^{\prime} \biggl( \frac {2\upsilon +\varrho}{3} \biggr) \biggr\vert + \biggl\vert h^{ \prime} \biggl(\frac {\upsilon +2\varrho}{3} \biggr) \biggr\vert \biggr)\\ &\qquad {}+ \frac {1}{12} \biggl\vert h^{\prime} \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert \biggr]. \end{aligned}$$

Remark 3.9

Using the convexity of $\vert h^{\prime } \vert$, i.e., $\vert h^{\prime } ( \frac{\upsilon +\varrho }{2} ) \vert \leq \frac{1}{2} ( \vert h^{\prime } ( \frac{3\upsilon +\varrho }{4} ) \vert + \vert h^{\prime } ( \frac{\upsilon +3\varrho }{4} ) \vert )$, the second inequality of Corollary 3.8 recaptures Corollary 3.8 from [24].

Corollary 3.10

In Theorem 3.2, taking $\delta =1$, we obtain the following biparameterized Newton-type inequality via α-convexity:

$$\begin{aligned} & \biggl\vert \frac {\lambda ( x-\upsilon ) }{\varrho -\upsilon }h ( \upsilon ) + \frac {2 ( 1-\lambda ) ( x-\upsilon ) +\upsilon +\varrho -2x}{2 ( \varrho -\upsilon ) } \bigl( h ( x ) +h ( \upsilon +\varrho -x ) \bigr) \\ &\qquad {}+ \frac {\lambda ( x-\upsilon ) }{\varrho -\upsilon }h ( \varrho ) -\frac {1}{\varrho -\upsilon } \int ^{\varrho }_{\upsilon }h ( z ) \,dz \biggr\vert \\ &\quad \leq \frac{ ( x-\upsilon ) ^{2}}{\varrho -\upsilon } \biggl( \biggl( \frac {2\lambda ^{2}-2\lambda +1}{2}+ \frac {\lambda ( \alpha +2 ) - ( \alpha +1 ) -2\lambda ^{\alpha +2}}{ ( \alpha +1 ) ( \alpha +2 ) } \biggr) \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert \\ &\qquad {} + \biggl( \frac {2\lambda ^{\alpha +2}}{ ( \alpha +1 ) ( \alpha +2 ) }+ \frac {1}{\alpha +2}-\frac {\lambda }{\alpha +1} \biggr) \bigl\vert h^{\prime } ( x ) \bigr\vert \\ &\quad\quad{}+ \biggl( \frac {2\lambda ^{2}-2\lambda +1}{2}- \frac {2 ( 1-\lambda ) ^{\alpha +2}+\lambda ( \alpha +2 ) -1}{ ( \alpha +1 ) ( \alpha +2 ) } \biggr) \bigl\vert h^{ \prime } ( \upsilon +\varrho -x ) \bigr\vert \\ &\qquad {}+ \frac {2 ( 1-\lambda ) ^{\alpha +2}+\lambda ( \alpha +2 ) -1}{ ( \alpha +1 ) ( \alpha +2 ) } \bigl\vert h^{\prime } ( \varrho ) \bigr\vert \biggr) \\ &\quad\quad{}+ \frac{ ( \upsilon +\varrho -2x ) ^{2}}{4 ( \varrho -\upsilon ) } \biggl( \frac {\alpha ^{2}+3\alpha }{2 ( \alpha +1 ) ( \alpha +2 ) } \bigl\vert h^{\prime } ( x ) \bigr\vert +\frac {1}{\alpha +2} \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho }{2} \biggr) \biggr\vert \\ &\qquad {} + \frac {\alpha ^{2}+\alpha +2}{2 ( \alpha +1 ) ( \alpha +2 ) } \bigl\vert h^{\prime } ( \upsilon +\varrho -x ) \bigr\vert \biggr). \end{aligned}$$

Corollary 3.11

In Corollary 3.10, taking $\alpha =1$, we obtain the following biparameterized Newton-type inequality for convex functions:

$$\begin{aligned} & \biggl\vert \frac {\lambda ( x-\upsilon ) }{\varrho -\upsilon }h ( \upsilon ) + \frac {2 ( 1-\lambda ) ( x-\upsilon ) +\upsilon +\varrho -2x}{2 ( \varrho -\upsilon ) } \bigl( h ( x ) +h ( \upsilon +\varrho -x ) \bigr)\\ &\qquad {} + \frac {\lambda ( x-\upsilon ) }{\varrho -\upsilon }h ( \varrho ) -\frac {1}{\varrho -\upsilon } \int ^{\varrho }_{\upsilon }h ( z ) \,dz \biggr\vert \\ &\quad \leq \frac { ( x-\upsilon ) ^{2}}{\varrho -\upsilon } \biggl( \frac {1-3\lambda +6\lambda ^{2}-2\lambda ^{3}}{6} \bigl\vert h^{\prime } ( \upsilon ) \bigr\vert + \frac {2-3\lambda +2\lambda ^{3}}{6} \bigl\vert h^{\prime } ( x ) \bigr\vert \\ &\qquad {}+ \frac {2-3\lambda +2\lambda ^{3}}{6} \bigl\vert h^{\prime } ( \upsilon +\varrho -x ) \bigr\vert + \frac {1-3\lambda +6\lambda ^{2}-2\lambda ^{3}}{6} \bigl\vert h^{ \prime } ( \varrho ) \bigr\vert \biggr) \\ &\quad\quad{}+ \frac { ( \upsilon +\varrho -2x ) ^{2}}{12 ( \varrho -\upsilon ) } \biggl( \bigl\vert h^{\prime } ( x ) \bigr\vert + \biggl\vert h^{\prime } \biggl( \frac {\upsilon +\varrho }{2} \biggr) \biggr\vert + \bigl\vert h^{\prime } ( \upsilon +\varrho -x ) \bigr\vert \biggr) . \end{aligned}$$

Remark 3.12

In Corollary 3.11:

• If we take $x=\upsilon$, then we obtain Corollary 2 from [4]. Moreover, if we use the convexity of $\vert h' \vert$, then we obtain Theorem 2.2 from [3].

• If we take $x=\frac{\upsilon +\varrho}{2}$ and $\lambda =0$, then we obtain Corollary 2 (for $q=1$) from [6]. Moreover, if we use the convexity of $\vert h' \vert$, then we obtain Theorem 2.2 from [5].

• If we take $x=\frac{\upsilon +\varrho}{2}$ and $\lambda =\frac{1}{3}$, then using the convexity of $\vert h' \vert$, we obtain Theorem 5 from [13].

• If we take $x=\frac{\upsilon +\varrho}{2}$ and $\lambda =\frac{1}{2}$, then using the convexity of $\vert h' \vert$, we obtain Corollary 3.2 from [12].

• If we take $\lambda =0$, then using the convexity of $\vert h' \vert$, we obtain Theorem 5 from [2].

In the following theorems, we will not provide specific cases, as these are left to the reader’s curiosity.

Theorem 3.13

Let $h: [ \upsilon ,\varrho ] \rightarrow \mathbb{R}$ be a differentiable function on $[ \upsilon ,\varrho ]$ such that $h'\in L^{1} [\upsilon ,\varrho ]$ with $0\leq \upsilon <\varrho$. If $\vert h' \vert ^{q}$ is α-convex for $q>1$ and $p>1$ with $\frac {1}{q}+\frac {1}{p}=1$, then we have

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon}\Omega ^{ \frac {1}{p}} \biggl\{ \biggl( \frac {\alpha}{\alpha +1} \bigl\vert h'( \upsilon ) \bigr\vert ^{q}+\frac {1}{\alpha +1} \bigl\vert h'(x) \bigr\vert ^{q} \biggr)^{\frac {1}{q}}\\ &\qquad {}+ \biggl(\frac {\alpha}{\alpha +1} \bigl\vert h'( \upsilon +\varrho -x) \bigr\vert ^{q}+ \frac {1}{\alpha +1} \bigl\vert h'( \varrho ) \bigr\vert ^{q} \biggr)^{\frac {1}{q}} \biggr\} \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon ) (p\delta +1 )^{{1}/{p}}} \biggl\{ \biggl(\frac{\alpha}{\alpha +1} \bigl\vert h' (x) \bigr\vert ^{q}+\frac{1}{\alpha +1} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q} \biggr)^{ \frac {1}{q}} \\ &\quad\quad{}+ \biggl(\frac{\alpha}{\alpha +1} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q}+ \frac{1}{\alpha +1} \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q} \biggr)^{\frac {1}{q}} \biggr\} , \end{aligned}$$

where $\mathcal{P}$ and Λ are defined by (1) and (2), respectively, and

$$ \Omega =\frac{\lambda ^{p+\frac {1}{\delta}}}{\delta}B \biggl( \frac {1}{\delta},p+1 \biggr)+\frac{(1-\lambda )^{p+1}}{\delta (p+1)} _{2}F_{1} \biggl(1- \frac {1}{\delta},1,p+2;1-\lambda \biggr), $$

(15)

with $B(\cdot ,\cdot ,\cdot )$ and $_{2}F_{1}(\cdot ,\cdot ,\cdot ;\cdot )$ are the beta and hypergeometric functions, respectively.

Proof

From modulus applied to Lemma 3.1, using the Hölder inequality, we have

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon} \biggl( \biggl( \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}} \biggl( \int^{1}_{0} \bigl\vert h' \bigl((1-t)\upsilon +tx \bigr) \bigr\vert ^{q}\,dt \biggr)^{\frac {1}{q}} \\ &\quad\quad{}+ \biggl( \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}} \biggl( \int^{1}_{0} \bigl\vert h' \bigl((1-t) (\upsilon + \varrho -x)+t\varrho \bigr) \bigr\vert ^{q}\,dt \biggr)^{\frac {1}{q}} \biggr) \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon )} \biggl( \biggl( \int^{1}_{0}(1-t)^{\delta p}\,dt \biggr)^{\frac {1}{p}} \biggl( \int^{1}_{0} \biggl\vert h' \biggl((1-t)x+t\frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q}\,dt \biggr)^{\frac {1}{q}} \\ &\quad\quad{}+ \biggl( \int^{1}_{0}t^{\delta p}\,dt \biggr)^{ \frac {1}{p}} \biggl( \int^{1}_{0} \biggl\vert h' \biggl((1-t) \frac {\upsilon +\varrho}{2}+t(\upsilon +\varrho -x) \biggr) \biggr\vert ^{q}\,dt \biggr)^{\frac {1}{q}} \biggr). \end{aligned}$$

Using the α-convexity of $\vert h' \vert ^{q}$, we get

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon}\Omega ^{ \frac {1}{p}} \biggl( \biggl( \int^{1}_{0} \bigl[ \bigl(1-t^{\alpha} \bigr) \bigl\vert h'(\upsilon ) \bigr\vert ^{q}+t^{ \alpha} \bigl\vert h'(x) \bigr\vert ^{q} \bigr]\,dt \biggr)^{\frac {1}{q}} \\ &\quad\quad{}+ \biggl( \int^{1}_{0} \bigl[\bigl(1-t^{\alpha}\bigr) \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q}+t^{\alpha} \bigl\vert h'( \varrho ) \bigr\vert ^{q} \bigr]\,dt \biggr)^{\frac {1}{q}} \biggr) \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon ) (p\delta +1 )^{{1}/{p}}} \biggl( \biggl( \int^{1}_{0} \biggl[\bigl(1-t^{\alpha}\bigr) \bigl\vert h' (x) \biggr) \bigr\vert ^{q}+t^{\alpha} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q} \biggr]\,dt \biggr)^{ \frac {1}{q}} \\ &\quad\quad{}+ \biggl( \int^{1}_{0} \biggl[\bigl(1-t^{\alpha}\bigr) \biggl\vert h' \biggl(\frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q}+t^{ \alpha} \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q} \biggr]\,dt \biggr)^{ \frac {1}{q}} ) \\ &\quad = \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon}\Omega ^{ \frac {1}{p}} \biggl\{ \biggl( \frac {\alpha}{\alpha +1} \bigl\vert h'( \upsilon ) \bigr\vert ^{q}+\frac {1}{\alpha +1} \bigl\vert h'(x) \bigr\vert ^{q} \biggr)^{\frac {1}{q}}\\ &\qquad {}+ \biggl(\frac {\alpha}{\alpha +1} \bigl\vert h'( \upsilon +\varrho -x) \bigr\vert ^{q}+ \frac {1}{\alpha +1} \bigl\vert h'( \varrho ) \bigr\vert ^{q} \biggr)^{\frac {1}{q}} \biggr\} \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon ) (p\delta +1 )^{{1}/{p}}} \biggl\{ \biggl(\frac{\alpha}{\alpha +1} \bigl\vert h' (x) \bigr\vert ^{q}+\frac{1}{\alpha +1} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q} \biggr)^{ \frac {1}{q}} \\ &\quad\quad{}+ \biggl(\frac{\alpha}{\alpha +1} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q}+ \frac{1}{\alpha +1} \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q} \biggr)^{\frac {1}{q}} \biggr\} , \end{aligned}$$

where

$$\begin{aligned} \Omega &= \int^{1}_{0} \bigl\vert (1-t )^{ \delta}- \lambda \bigr\vert ^{p}\,dt = \int^{1}_{0} \bigl\vert t^{ \delta}-\lambda \bigr\vert ^{p}\,dt \\ & = \int^{\lambda ^{\frac {1}{\delta}}}_{0}\bigl(\lambda -t^{ \delta} \bigr)^{p}\,dt+ \int^{1}_{\lambda ^{\frac {1}{\delta}}}\bigl(t^{\delta}- \lambda \bigr)^{p}\,dt \\ & = \frac{1}{\delta} \biggl( \int^{\lambda}_{0}( \lambda -u)^{p}u^{\frac {1}{\delta}-1}\,du+ \int^{1}_{\lambda}(u-\lambda )^{p}u^{ \frac {1}{\delta}-1}\,du \biggr) \\ & = \frac{\lambda ^{p+\frac {1}{\delta}}}{\delta} \int^{1}_{0}(1-v)^{p}v^{\frac {1}{\delta}-1}\,dv+ \frac{(1-\lambda )^{p+1}}{\delta} \int^{1}_{0}(1-v)^{p} \bigl(1-(1-\lambda )v \bigr)^{\frac {1}{\delta}-1}\,dv \\ & = \frac{\lambda ^{p+\frac {1}{\delta}}}{\delta}B \biggl( \frac {1}{\delta},p+1 \biggr)+ \frac{(1-\lambda )^{p+1}}{\delta}B(1,p+1) _{2}F_{1} \biggl(1- \frac {1}{\delta},1,p+2;1-\lambda \biggr) \\ & = \frac{\lambda ^{p+\frac {1}{\delta}}}{\delta}B \biggl( \frac {1}{\delta},p+1 \biggr)+ \frac{(1-\lambda )^{p+1}}{\delta (p+1)} _{2}F_{1} \biggl(1- \frac {1}{\delta},1,p+2;1-\lambda \biggr). \end{aligned}$$

The proof is complete. □

Theorem 3.14

Let $h: [ \upsilon ,\varrho ] \rightarrow \mathbb{R}$ be a differentiable function on $[ \upsilon ,\varrho ]$ such that $h'\in L^{1} [\upsilon ,\varrho ]$ with $0\leq \upsilon <\varrho$. If $\vert h' \vert ^{q}$ is α-convex for $q>1$, then we have

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon}\mathcal{C}_{1}^{1- \frac {1}{q}} (\lambda , \delta ) \bigl[ \bigl( \bigl( \mathcal{C}_{1} (\lambda ,\delta )- \mathcal{C}_{2} ( \lambda ,\delta ,\alpha ) \bigr) \bigl\vert h'(\upsilon ) \bigr\vert ^{q}+\mathcal{C}_{2} (\lambda ,\delta ,\alpha ) \bigl\vert h'(x) \bigr\vert ^{q} \bigr)^{\frac {1}{q}} \\ &\quad\quad{}+ \bigl( \bigl(\mathcal{C}_{1} (\lambda ,\delta )- \mathcal{C}_{3} (\lambda ,\delta ,\alpha ) \bigr) \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q}+ \mathcal{C}_{3} ( \lambda ,\delta ,\alpha ) \bigl\vert h'(\varrho ) \bigr\vert ^{q} \bigr)^{\frac {1}{q}} \bigr] \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon ) (\delta +1 )^{1-\frac {1}{q}}}\\ &\qquad {}\times \biggl[ \biggl( \biggl(\frac{1}{\delta +1}-B(\delta +1,\alpha +1) \biggr) \bigl\vert h'(x) \bigr\vert ^{q} +B(\delta +1,\alpha +1) \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q} \biggr)^{\frac {1}{q}} \\ &\quad\quad{}+ \biggl(\frac{\alpha}{(\delta +1)(\alpha +\delta +1)} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q}+ \frac{1}{\alpha +\delta +1} \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q} \biggr)^{\frac {1}{q}} \biggr], \end{aligned}$$

where $B(\cdot ,\cdot )$ and $B(\cdot ;\cdot ,\cdot )$ are the beta and incomplete beta functions, respectively, and $\mathcal{C}_{i}$ ($i=1,2,3$) as defined in (8), (9), and (10).

Proof

From modulus applied to Lemma 3.1, the power mean inequality, and the α-convexity of $\vert h' \vert ^{q}$ we have

$$\begin{aligned} & \bigl\vert \mathcal{P} ( \upsilon ,x,\varrho ;\delta ;\lambda ) -\Lambda ( \upsilon ,x,\varrho ;\delta ) \bigr\vert \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon} \biggl( \biggl( \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert \,dt \biggr)^{1-\frac {1}{q}} \biggl( \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert \bigl\vert h' \bigl((1-t)\upsilon +tx \bigr) \bigr\vert ^{q}\,dt \biggr)^{ \frac {1}{q}} \\ &\quad\quad{}+ \biggl( \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert \,dt \biggr)^{1-\frac {1}{q}} \biggl( \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert \bigl\vert h' \bigl((1-t) (\upsilon +\varrho -x)+t\varrho \bigr) \bigr\vert ^{q}\,dt \biggr)^{\frac {1}{q}} \biggr) \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon )} \\ &\qquad {}\times\biggl( \biggl( \int^{1}_{0}(1-t)^{\delta}\,dt \biggr)^{1- \frac {1}{q}} \biggl( \int^{1}_{0}(1-t)^{\delta} \biggl\vert h' \biggl((1-t)x+t\frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q}\,dt \biggr)^{\frac {1}{q}} \\ &\quad\quad{}+ \biggl( \int^{1}_{0}t^{\delta}\,dt \biggr)^{1- \frac {1}{q}} \biggl( \int^{1}_{0}t^{\delta} \biggl\vert h' \biggl((1-t)\frac {\upsilon +\varrho}{2}+t(\upsilon +\varrho -x) \biggr) \biggr\vert \,dt \biggr)^{\frac {1}{q}} \biggr) \\ &\quad \leq \frac{(x-\upsilon )^{\delta +1}}{\varrho -\upsilon}\mathcal{C}_{1}^{1- \frac {1}{q}} (\lambda , \delta ) \bigl[ \bigl( \bigl( \mathcal{C}_{1} (\lambda ,\delta )- \mathcal{C}_{2} ( \lambda ,\delta ,\alpha ) \bigr) \bigl\vert h'(\upsilon ) \bigr\vert ^{q}+\mathcal{C}_{2} (\lambda ,\delta ,\alpha ) \bigl\vert h'(x) \bigr\vert ^{q} \bigr)^{\frac {1}{q}} \\ &\quad\quad{}+ \bigl( \bigl(\mathcal{C}_{1} (\lambda ,\delta )- \mathcal{C}_{3} (\lambda ,\delta ,\alpha ) \bigr) \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q}+ \mathcal{C}_{3} ( \lambda ,\delta ,\alpha ) \bigl\vert h'(\varrho ) \bigr\vert ^{q} \bigr)^{\frac {1}{q}} \bigr] \\ &\quad\quad{}+ \frac{(\upsilon +\varrho -2x)^{\delta +1}}{2^{\delta +1}(\varrho -\upsilon ) (\delta +1 )^{1-\frac {1}{q}}}\\ &\qquad {}\times \biggl[ \biggl( \biggl(\frac{1}{\delta +1}-B(\delta +1,\alpha +1) \biggr) \bigl\vert h'(x) \bigr\vert ^{q} +B(\delta +1,\alpha +1) \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q} \biggr)^{\frac {1}{q}} \\ &\quad\quad{}+ \biggl(\frac{\alpha}{(\delta +1)(\alpha +\delta +1)} \biggl\vert h' \biggl( \frac {\upsilon +\varrho}{2} \biggr) \biggr\vert ^{q}+ \frac{1}{\alpha +\delta +1} \bigl\vert h'(\upsilon +\varrho -x) \bigr\vert ^{q} \biggr)^{\frac {1}{q}} \biggr]. \end{aligned}$$

Here we have used (11)–(14) and the fact that

$$ \int^{1}_{0} \bigl\vert t^{\delta}-\lambda \bigr\vert \,dt= \int^{1}_{0} \bigl\vert (1-t)^{\delta}- \lambda \bigr\vert \,dt= \mathcal{C}_{1} (\lambda ,\delta ) $$

and

$$ \int^{1}_{0} (1-t )^{\delta}\,dt= \int^{1}_{0}t^{\delta}\,dt=\frac{1}{\delta +1}. $$

The proof is complete. □

4 Examples and applications

4.1 Illustrative examples

In this section, we presnt several two- and three-dimensional graphical representations to corroborate the accuracy of the results obtained in our study.

Note that the graphical representations in this section were created using Matlab software, and in all the figures, the red color is used to depict the left-hand side (LHS), whereas blue is used for the right-hand side (RHS), consistently across all results.

Example 4.1

In this particular example, we initiate the analysis by establishing the parameter values of $x=\frac{\upsilon +\varrho}{2}=\frac{1}{2}$ and $\alpha =1$, and subsequently exhibit the outcomes as functions of the remaining parameters λ and δ. The function h defined over the interval $[0,1]$ as $h(u)=u^{2}$ is considered for this purpose. Accordingly, $\vert h'(u) \vert =2u$ is a convex function over $[0,1]$, and hence Corollary 3.5 gives

$$\begin{aligned} & \biggl\vert \frac{\lambda }{2}h ( 0 )+ ( 1-\lambda ) h \biggl( \frac{1}{2} \biggr) +\frac{\lambda }{2}h ( 1 ) -\Lambda \biggl(0,\frac{1}{2},1;\delta \biggr) \biggr\vert \\ &\quad = \biggl\vert \frac{1-\lambda}{4} +\frac{\lambda }{2}- \frac{\delta (\delta +1)+(\delta +2)(\delta +3)+2}{2^{3}(\delta +1)(\delta +2)} \biggr\vert \\ &\quad \leq \frac{1}{4} \biggl( 2 \biggl( \frac{1}{ ( \delta +1 ) ( \delta +2 ) }+ \frac{2\delta }{\delta +1}\lambda ^{\frac{\delta +1}{\delta }}-\frac{\delta }{\delta +2}\lambda ^{ \frac{\delta +2}{\delta }}-\frac{\lambda }{2} \biggr) \\ &\qquad {}+ \frac{1}{2} \biggl( \frac{1}{\delta +2}+\frac{\delta }{\delta +2}\lambda ^{1+\frac{2}{\delta }}-\frac{\lambda }{2} \biggr) \biggr) . \end{aligned}$$

The surface plot of this result is depicted in Fig. 1.

Figure 1

The comparative analysis between the left and right sides of Corollary 3.5

Some particular cases:

• By fixing $\lambda =0$ we obtain the curve related to the fractional midpoint rule with respect to δ, as shown in Fig. 2 (Case 1).

  Figure 2

  

  Particular cases

• By fixing $\lambda =1$ we obtain the curve related to the fractional trapezoidal rule with respect to δ, as shown in Fig. 2 (Case 2).

• By fixing $\lambda =\frac{1}{3}$ we obtain the curve related to the fractional Simpson rule with respect to δ, as shown in Fig. 2 (Case 3).

Example 4.2

In this example, we focus on the classical four-point Newton-type inequalities. Specifically, we fix $x=\frac{2\upsilon +\varrho}{3}=\frac{1}{3}$ and $\delta =1$, and represent the resultant output with respect to λ and α. To accomplish this, we consider the function h defined over the interval $[0,1]$ as $h(u) = \frac{u^{\alpha +1}}{\alpha +1}$ with $0<\alpha \leq 1$, whose derivative $\vert h'(u) \vert = u^{\alpha}$ is α-convex. Thus by Corollary 3.10 we obtain

$$\begin{aligned} & \biggl\vert \frac{\lambda }{3}h ( 0 ) + \frac{3-2\lambda}{6} \biggl( h \biggl( \frac{1}{3} \biggr) +h \biggl( \frac{2}{3} \biggr) \biggr) +\frac{\lambda}{3}h ( 1 ) - \int ^{1 }_{0 }h ( z ) \,dz \biggr\vert \\ &\quad = \biggl\vert \frac{3-2\lambda}{6(\alpha +1)} \biggl( \frac{1+2^{\alpha +1}}{3^{\alpha +1}} \biggr) + \frac{\lambda}{3(\alpha +1)} -\frac{1}{(\alpha +1)(\alpha +2)} \biggr\vert \\ &\quad \leq \frac{1}{9} \biggl( \frac{1}{3^{\alpha}} \biggl( \frac {2\lambda ^{\alpha +2}}{ ( \alpha +1 ) ( \alpha +2 ) }+ \frac {1}{\alpha +2}-\frac {\lambda }{\alpha +1} \biggr)\\ &\qquad {}+ \frac{2^{\alpha}}{3^{\alpha}} \biggl( \frac {2\lambda ^{2}-2\lambda +1}{2}- \frac {2 ( 1-\lambda ) ^{\alpha +2}+\lambda ( \alpha +2 ) -1}{ ( \alpha +1 ) ( \alpha +2 ) } \biggr) + \frac {2 ( 1-\lambda ) ^{\alpha +2}+\lambda ( \alpha +2 ) -1}{ ( \alpha +1 ) ( \alpha +2 ) } \biggr) \\ &\quad\quad{}+\frac{1}{36} \biggl( \frac{1}{3^{\alpha}} \biggl( \frac {\alpha ^{2}+3\alpha }{2 ( \alpha +1 ) ( \alpha +2 ) } \biggr) +\frac {1}{2^{\alpha}(\alpha +2)} + \frac{2^{\alpha}}{3^{\alpha}} \biggl( \frac {\alpha ^{2}+\alpha +2}{2 ( \alpha +1 ) ( \alpha +2 ) } \biggr) \biggr). \end{aligned}$$

The surface plot of this result is depicted in Fig. 3.

Figure 3

The comparative analysis between the left and right sides of Corollary 3.10

Particular case:

• By fixing $\lambda =\frac{3}{8}$ we obtain the curve related to the Simpson-type $3/8$ inequality via α-convexity, as shown in Fig. 4.

  Figure 4

  

  Particular case

The graphical representation of the results of these examples demonstrates the accuracy of the findings obtained in this study.

4.2 Applications

For arbitrary real numbers $a_{1},a_{2},\dots ,a_{n}$, we have:

The arithmetic mean $A ( a_{1},a_{2},\dots ,a_{n} ) = \frac{a_{1}+a_{2}+\dots+a_{n}}{n}$.

The harmonic mean $H ( a_{1},a_{2},\dots ,a_{n} ) = \frac{n}{\frac{1}{a_{1}}+\frac{1}{a_{2}}+\cdots+\frac{1}{a_{n}}}$, $a_{1},a_{2},\dots ,a_{n}>0$.

The geometric mean $G ( a_{1},a_{2},\dots ,a_{n} ) = \sqrt[n]{a_{1}a_{2}\dots a_{n}}$

The logarithmic mean $L ( a_{1},a_{2} ) = \frac{a_{2}-a_{1}}{\ln a_{2}-\ln a_{1}}$, $a_{1}, a_{2}>0$, $a_{1}\neq a_{2}$.

The p-logarithmic mean $L_{p} ( a_{1},a_{2} ) = ( \frac{a_{2}^{p+1}-a_{1}^{p+1}}{ ( p+1 ) ( a_{2}-a_{1} ) } ) ^{\frac{1}{p}}$, $a_{1}\neq a_{2}$, $p\in \mathbb{R}\backslash \{ -1,0 \}$.

Proposition 4.3

Let $a,b\in \mathbb{R}$ with $0< a< b$. Then we have

$$\begin{aligned} & \bigl\vert H ( a,a,a,b ) +H ( a,b,b,b ) -G^{2} ( a,b ) L^{-1} ( a,b ) \bigr\vert \\ &\quad \leq \frac{b-a}{48ab} \biggl( \frac{a^{2}+b^{2}}{2}+2 \biggl( \biggl( \frac{4ab}{3a+b} \biggr) ^{2}+ \biggl( \frac{4ab}{a+3b} \biggr) ^{2} \biggr) + \biggl( \frac{ 2ab}{a+b} \biggr) ^{2} \biggr) . \end{aligned}$$

Proof

The claim is a consequence of the second inequality in Corollary 3.7 applied to the function $h(z) = \frac{1}{z}$ on the interval $[\frac{1}{b}, \frac{1}{a} ]$ with $x = \frac{3a+b}{4ab}$. □

Proposition 4.4

Let $a,b\in \mathbb{R}$ with $0< a< b$. Then we have

$$ \bigl\vert A \bigl( a^{2},b^{2} \bigr) -L_{2}^{2} ( a,b ) \bigr\vert \leq \frac{ ( b-a ) \sqrt[3]{10}}{10} \biggl( \biggl( a^{3}+ \biggl( \frac{a+b}{2} \biggr) ^{3} \biggr) ^{ \frac{1}{3}}+ \biggl( \biggl( \frac{a+b}{2} \biggr) ^{3}+b^{3} \biggr) ^{ \frac{1}{3}} \biggr) . $$

Proof

The statement can be derived from Theorem 3.13 by setting $\alpha = \delta = 1$ and applying it to the function $h(z) = \frac{1}{2}z^{2}$ on the interval $[a, b ]$ with $q = 3$ and $x = a$. □

5 Conclusions

We have investigated a class of fractional biparameterized four-point Newton-type inequalities via α-convexity. By introducing a general identity involving Riemann–Liouville integral operators we have derived several new results that complement and extend the existing literature on this topic. Our contributions provide a broad range of tools that can be used in diverse fields of science and engineering. Furthermore, our findings can potentially have practical implications in numerical integration, optimization, and other related areas.

Note that from a purely practical standpoint, this result is used to choose the value of λ and possibly that of x to achieve the minimum of the right-hand side, which are obviously specific to the function h.

Finally, we hope that this work will inspire further research in this direction and lead to new applications and developments.