*Article* **Fractional Weighted Midpoint-Type Inequalities for** *s***-Convex Functions**

**Nassima Nasri 1, Fatima Aissaoui 2, Keltoum Bouhali 1,3, Assia Frioui 2, Badreddine Meftah 2, Khaled Zennir <sup>3</sup> and Taha Radwan 3,4,\***


**Abstract:** In the present paper, we first prove a new integral identity. Using that identity, we establish some fractional weighted midpoint-type inequalities for functions whose first derivatives are extended *s*-convex. Some special cases are discussed. Finally, to prove the effectiveness of our main results, we provide some applications to numerical integration as well as special means.

**Keywords:** fractional derivatives; weighted integral; midpoint formula; integral inequalities; *s*-convex functions

#### **1. Introduction**

It is well known that convexity is one of the most fundamental principles of analysis that is widely used in several fields of pure and applied sciences. Especially, in the classical theory of optimization where convexity causes it to be possible to obtain necessary and sufficient global optimality conditions; in consumer theory in economics, information theory as well as in the field of inequalities where the relationship is closely linked. For papers related to convexity and integral inequalities we refer readers to [1–5].

A real function defined on *E* is called convex; if for all *x*, *z* ∈ *E* and all *a* ∈ [0, 1], we have

$$
\lg(a\varkappa + (1-a)z) \le a\lg(\varkappa) + (1-a)\lg(z).
$$

We note that all convex function on a finite interval, and [, ] must satisfy the so called Hermite–Hadamard inequality (see [6]).

$$\lg\left(\frac{\varrho+\mathcal{O}}{2}\right) \le \frac{1}{\mathcal{O}-\varrho} \int\_{\varrho}^{\mathcal{O}} g(\mathbf{x})d\mathbf{x} \le \frac{g(\varrho)+g(\mathcal{O})}{2}.\tag{1}$$

Inequality (1) can be seen as a second definition of convex functions equivalent to the first one for continuous function (see [7]); it is a character of which all convex functions must satisfy at least the left- or right-hand side.

Pearce and Peˇcari´c [8] introduced the following inequality connected with (1)

$$\left| \left\{ g\left(\frac{\varrho + \mathcal{O}}{2}\right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(x) dx \right| \leq \frac{\mathcal{O} - \varrho}{4} \left( \frac{|\mathbf{g}'(\varrho)|^{q} + |\mathbf{g}'(\varrho)|^{q}}{2} \right)^{\frac{1}{q}}.$$

where *q* ≥ 1.

**Citation:** Nasri, N.; Aissaoui, F.; Bouhali, K.; Frioui, A.; Meftah, B.; Zennir, K.; Radwan, T. Fractional Weighted Midpoint-Type Inequalities for *s*-Convex Functions. *Symmetry* **2023**, *15*, 612. https://doi.org/ 10.3390/sym15030612

Academic Editors: Sergei D. Odintsov, Junesang Choi, Francisco Martínez González and Mohammed K. A. Kaabar

Received: 1 January 2023 Revised: 7 February 2023 Accepted: 23 February 2023 Published: 28 February 2023

**Copyright:** © 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https:// creativecommons.org/licenses/by/ 4.0/).

Kirmaci [9] proved that, for all function *f* such that |*g* | or |*g* | *<sup>q</sup>* are convex, the following inequalities hold:

$$\left| g\left(\frac{\varrho + \mathcal{O}}{2}\right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(x) dx \right| \leq \frac{\mathcal{O} - \varrho}{8} (|g'(\varrho)| + |g'(\mathcal{O})|).$$

where *q* ≥ 1. Furthermore, they proved the following result

$$\begin{aligned} & \left| \mathcal{g} \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} \mathbf{g}(\mathbf{x}) d\mathbf{x} \right| \\ & \leq \frac{\mathcal{O} - \varrho}{16} \left( \frac{4}{p+1} \right)^{\frac{1}{p}} \left( \left( 3 \left| \mathbf{g}'(\varrho) \right|^{q} + \left| \mathbf{g}'(\varrho) \right|^{q} \right)^{\frac{1}{q}} + \left( \left| \mathbf{g}'(\varrho) \right|^{q} + 3 \left| \mathbf{g}'(\varrho) \right|^{q} \right)^{\frac{1}{q}} \right), \end{aligned}$$

where *q*, *p* > 1 with <sup>1</sup> *<sup>p</sup>* <sup>+</sup> <sup>1</sup> *<sup>q</sup>* = 1.

> ˙ I¸scan et al. [10] showed the following midpoint inequalities for *P*-functions (see (3) below):

$$\left| \left\| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(\mathbf{x}) d\mathbf{x} \right| \right| \leq \frac{\mathcal{O} - \varrho}{4} \left( \left| g'(\varrho) \right|^{\mathcal{C}} + \left| g'(\mathcal{O}) \right|^{\mathcal{C}} \right)^{\frac{1}{\mathcal{C}}},$$

where *c* ≥ 1. Furthermore, they proved the following result:

$$\begin{split} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(\mathbf{x}) d\mathbf{x} \right| \\ & \leq \frac{\mathcal{O} - \varrho}{4} \left( \frac{1}{b + 1} \right)^{\frac{1}{b}} \left( \left( \left| \mathcal{g}'(\varrho) \right|^{c} + \left| \mathcal{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{c} \right)^{\frac{1}{c}} + \left( \left| \mathcal{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{c} + \left| \mathcal{g}'(\mathcal{o}) \right|^{c} \right)^{\frac{1}{c}} \right) \\ & \leq \frac{\mathcal{O} - \varrho}{4} \left( \frac{1}{b + 1} \right)^{\frac{1}{b}} \left( \left( 2 \left| \mathcal{g}'(\varrho) \right|^{c} + \left| \mathcal{g}'(\mathcal{o}) \right|^{c} \right)^{\frac{1}{c}} + \left( \left| \mathcal{g}'(\varrho) \right|^{c} + 2 \left| \mathcal{g}'(\mathcal{o}) \right|^{c} \right)^{\frac{1}{c}} \right). \end{split}$$

where *c*, *b* > 1 with <sup>1</sup> *<sup>c</sup>* <sup>+</sup> <sup>1</sup> *<sup>b</sup>* = 1.

Nowadays, fractional calculus has become a popular implement for scientists. It has been successfully used in various fields of science and engineering see [11–18]. Its main strength in the description of memory and genetic properties of different materials and processes has aroused great interest for researchers in different domains. This innovative idea of fractional calculus has attracted many researchers in recent years, several generalizations, extensions, refinements, and finding a counterpart have appeared (see [19–26]).

In [6], Sarikaya and Yildirim established the analogue fractional of inequality (1) as follows:

$$\log\left(\frac{\varrho+\mathcal{O}}{2}\right) \le \frac{2^{\alpha-1}\Gamma(\alpha+1)}{(\mathcal{O}-\varrho)^{\alpha}} \left(f^{\mathfrak{a}}\_{(\frac{\varrho+\mathcal{O}}{2})^{+}}\mathcal{g}(\mathcal{O}) + f^{\mathfrak{a}}\_{(\frac{\varrho+\mathcal{O}}{2})^{-}}\mathcal{g}(\varrho)\right) \le \frac{\mathcal{g}(\varrho)+\mathcal{g}(\mathcal{O})}{2}.$$

Furthermore, the authors investigate the following fractional midpoint inequalities for convex-first derivatives

$$\begin{aligned} &\left|\frac{2^{\alpha-1}\Gamma(\alpha+1)}{(\alpha-\varrho)^{\alpha}}\left(f^{\operatorname{\boldsymbol{\alpha}}}\_{\left(\frac{\varrho+\omega}{2}\right)^{+}}\operatorname{g}(\boldsymbol{\alpha})+f^{\operatorname{\boldsymbol{\alpha}}}\_{\left(\frac{\varrho+\omega}{2}\right)^{-}}\operatorname{g}(\boldsymbol{\varrho})\right)-\operatorname{g}\left(\frac{\varrho+\varpi}{2}\right)\right|\\ &\leq\frac{\varpi-\varrho}{4\left(\alpha+1\right)}\left(\left(\frac{(\alpha+1)|\operatorname{g}'(\varrho)|^{q}+(\alpha+3)|\operatorname{g}'(\boldsymbol{\alpha})|^{q}}{2(\alpha+2)}\right)^{\frac{1}{q}}\end{aligned}$$

$$+\left(\frac{(\alpha+\mathfrak{z})|g'(\varrho)|^{\mathfrak{q}}+(\alpha+1)|g'(\varpi)|^{\mathfrak{q}}}{2(\alpha+2)}\right)^{\frac{1}{\mathfrak{q}}},$$

and

$$\begin{aligned} &\left|\frac{2^{\alpha-1}\Gamma(\alpha+1)}{(\alpha-\varrho)^{\alpha}}\left(l^{\alpha}\_{\left(\frac{\varrho+\alpha}{2}\right)+\mathfrak{f}}(\mathcal{Q})+l^{\alpha}\_{\left(\frac{\varrho+\alpha}{2}\right)-\mathfrak{f}}(\varrho)\right)-\mathfrak{g}\left(\frac{\varrho+\alpha}{2}\right)\right|\\ &\leq \frac{\mathfrak{O}-\varrho}{4}\left(\frac{1}{\alpha p+1}\right)^{\frac{1}{p}}\left(\left(\frac{|\mathcal{G}'(\varrho)|^{q}+3|\mathcal{G}'(\omega)|^{q}}{4}\right)^{\frac{1}{q}}+\left(\frac{3|\mathcal{G}'(\varrho)|^{q}+|\mathcal{G}'(\omega)|^{q}}{4}\right)^{\frac{1}{q}}\right)\\ &\leq \frac{\mathfrak{O}-\varrho}{4}\left(\frac{4}{\alpha p+1}\right)^{\frac{1}{p}}(|\mathcal{G}'(\varrho)|+|\mathcal{G}'(\omega)|),\end{aligned}$$

where *α* > 0, *p*, *q* > 1 with <sup>1</sup> *<sup>p</sup>* <sup>+</sup> <sup>1</sup> *<sup>q</sup>* = 1, <sup>Γ</sup> is the gamma function and *<sup>J</sup><sup>α</sup>* ( + <sup>2</sup> )<sup>+</sup> and *<sup>J</sup><sup>α</sup>* ( + <sup>2</sup> )<sup>−</sup> are the Riemann–Liouville integrals (see Definition 1 below).

Motivated by the above results, here, we first prove a new integral identity and, then, by using this identity, we establish some fractional weighted midpoint-type inequalities for functions that the first derivatives are extended *s*-convex functions. We also derive some known results and, state applications in numerical integration and in special means are presented to prove the effectiveness of our main results.

The paper is organized as follows. In the next section, we provide some auxiliary results as a preliminaries. In Section 3, we provide the main results and proofs. In Section 4, we will provide an applications of our analysis to illustrate our main results. In Section 5, we conclude our work.

#### **2. Preliminaries**

In this section, we recall certain notions concerning special functions, some classes of convex functions, and the Riemann–Liouville integral operator.

A non-negative function *<sup>g</sup>* : *<sup>E</sup>* <sup>⊂</sup> [0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup> is said to be *<sup>s</sup>*-convex in the second sense for some fixed *s* ∈ (0, 1], if

$$\lg(a\mathbf{x} + (1 - a)\mathbf{z}) \le a^s \mathbf{g}(\mathbf{x}) + (1 - a)^s \mathbf{g}(\mathbf{z}),\tag{2}$$

holds for all *x*, *z* ∈ *E* and *a* ∈ [0, 1].

Whereas, a non-negative function *<sup>g</sup>* : *<sup>E</sup>* <sup>→</sup> <sup>R</sup> is said to be *<sup>P</sup>*-convex; if for all *<sup>x</sup>*, *<sup>z</sup>* <sup>∈</sup> *<sup>E</sup>* and all *a* ∈ (0, 1), we have

$$
\lg(a\mathbf{x} + (1 - a)\mathbf{z}) \le \mathbf{g}(\mathbf{x}) + \mathbf{g}(\mathbf{z}).\tag{3}
$$

A non-negative function *<sup>g</sup>* : *<sup>E</sup>* <sup>→</sup> <sup>R</sup> is said to be *<sup>s</sup>*-Godunova–Levin function, where *s* ∈ [0, 1]; if for all *x*, *z* ∈ *E*, and all *a* ∈ (0, 1), we have

$$g(ax + (1 - a)z) \le \frac{g(x)}{a^s} + \frac{g(z)}{(1 - a)^s}.\tag{4}$$

A non-negative function *<sup>g</sup>* : *<sup>E</sup>* <sup>⊂</sup> [0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup> is said to be an extended *<sup>s</sup>*-convex for some fixed *s* ∈ [−1, 1]; if for all *x*, *z* ∈ *E* and all *a* ∈ (0, 1), we have

$$\lg(a\mathbf{x} + (1 - a)\mathbf{z}) \le a^s \mathbf{g}(\mathbf{x}) + (1 - a)^s \mathbf{g}(\mathbf{z}).\tag{5}$$

**Definition 1** ([12])**.** *Let* <sup>Ω</sup> <sup>∈</sup> *<sup>L</sup>*1[, ]*. The Riemann–Liouville integrals <sup>J</sup><sup>α</sup>* <sup>+</sup><sup>Ω</sup> *and <sup>J</sup><sup>α</sup>* −Ω *of order α* > 0 *with* > ≥ 0 *are defined by*

$$J\_{\varrho^{+}}^{\alpha}\Omega(d) = \begin{array}{c} \frac{1}{\Gamma(\alpha)} \int\_{\varrho}^{d} (d-a)^{\alpha-1} \Omega(a) da, \quad d > \varrho\_{\ast} \end{array}$$

$$J\_{\mathcal{O}^-}^{\alpha} \Omega(d) = \begin{array}{c} \frac{1}{\Gamma(\alpha)} \int\_d^{\mathcal{O}} (a-d)^{\alpha-1} \Omega(a) da, \quad \mathcal{O} > d, \end{array}$$

*respectively, where*

$$\Gamma(\alpha) = \int\_0^\infty e^{-a} a^{\alpha - 1} da\_\alpha$$

*and J*<sup>0</sup> <sup>+</sup>Ω(*d*) = *<sup>J</sup>*<sup>0</sup> −Ω(*d*) = Ω(*d*)*.*

For any complex numbers *k*, *l* such that *Re*(*k*) > 0 and *Re*(*l*) > 0. The beta function is provided by

$$B(k,l) = \int\_0^1 a^{k-1}(1-a)^{l-1} da = \frac{\Gamma(k)\Gamma(l)}{\Gamma(k+l)}.$$

#### **3. Main Results and Proofs**

To prepare the proofs of our main results, we will need the following Lemma.

**Lemma 1.** *Let <sup>g</sup>* : *<sup>E</sup>* = [, ] <sup>→</sup> <sup>R</sup> *be a differentiable map on <sup>I</sup>*◦ *(I*◦ *is the interior of I), with* <sup>&</sup>lt; *, and let w* : [, ] <sup>→</sup> <sup>R</sup> *be symmetric as regards* + <sup>2</sup> *. If g*, *w* ∈ *L*[, ]*, then*

$$\begin{aligned} &L^a[w]\mathfrak{g}\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^a[w\mathfrak{g}]\\ &= \frac{(\mathcal{O}-\varrho)^2}{4} \left( \int\_0^1 p\_1(a)\mathfrak{g}'\left(a\varrho + (1-a)\frac{\varrho+\mathcal{O}}{2}\right)da - \int\_0^1 p\_2(a)\mathfrak{g}'\left((1-a)\frac{\varrho+\mathcal{O}}{2} + a\mathfrak{o}\right)da \right). \end{aligned}$$

*where*

$$p\_1(a) = \int\_a^1 (1 - b)^{a - 1} w \left( b\varrho + (1 - b)\frac{\varrho + \varpi}{2} \right) db,\tag{6}$$

$$p\_2(a) = \int\_a^1 (1-b)^{a-1} w \left( ba \overline{\sigma} + (1-b) \frac{\varrho + \varpi}{2} \right) db,\tag{7}$$

*and*

$$L^{a}[\mathcal{g}] = \left(\frac{2}{\mathcal{O} - \varrho}\right)^{a-1} \Gamma(a) \left(J^{a}\_{\left(\frac{\varrho + \omega}{2}\right)^{-}} g(\varrho) + J^{a}\_{\left(\frac{\varrho + \omega}{2}\right)^{+}} g(\mathcal{o})\right). \tag{8}$$

**Proof.** Let

$$I = I\_1 - I\_2 \tag{9}$$

where

$$I\_1 = \int\_0^1 p\_1(a)g'(a\varrho + (1-a)\frac{\varrho + \varpi}{2})da\,\iota$$

and

$$I\_2 = \int\_0^1 p\_2(a)g'(a\omega + (1-a)\frac{\varrho + \mathcal{O}}{2})da.$$

Integrating by parts *I*1, we obtain

$$\int\_0^1 p\_1(a)g'\left(a\varrho + (1-a)\frac{\varrho + \mathcal{O}}{2}\right)da$$

$$\begin{split} &= \int\_{0}^{1} \left[ \int\_{a}^{1} (1-b)^{a-1} w \left( bq + (1-b) \frac{q+\alpha}{2} \right) db \right] g' \left( aq + (1-a) \frac{q+\alpha}{2} \right) da \\ &= -\frac{2}{\overline{\alpha} - q} \left[ \int\_{a} (1-b)^{a-1} w \left( bq + (1-b) \frac{q+\alpha}{2} \right) db \right] g \left( aq + (1-a) \frac{q+\alpha}{2} \right) \bigg|\_{a=0}^{a=1} \\ & \quad - \frac{2}{\overline{\alpha} - q} \int\_{0}^{1} (1-a)^{a-1} w \left( aq + (1-a) \frac{q+\alpha}{2} \right) g \left( aq + (1-a) \frac{q+\alpha}{2} \right) da \\ &= -\frac{2}{\overline{\alpha} - q} \left[ \int\_{a} (1-a)^{a-1} w \left( bq + (1-b) \frac{q+\alpha}{2} \right) db \right] g \left( \frac{q+\alpha}{2} \right) \\ & \quad - \frac{2}{\overline{\alpha} - q} \int\_{0} (1-a)^{a-1} w \left( aq + (1-a) \frac{q+\alpha}{2} \right) g \left( aq + (1-a) \frac{q+\alpha}{2} \right) da \\ &= \left( \frac{2}{\overline{\alpha} - q} \right)^{a+1} \left[ \int\_{a}^{\frac{a+\alpha}{\overline{\alpha}}} (u-a)^{a-1} w(u) du \right] g \left( \frac{q+\alpha}{2} \right) \\ & \quad - \left( \frac{2}{\overline{\alpha} - q} \right)^{a+1} \int\_{a}^{\frac{a+\alpha}{\overline{\alpha}}} (u-q)^{a-1} w(u) g(u) du \$$

Similarly, we have

 1 0 *p*2(*a*)*g a* + (1 − *a*) + 2 *da* = 1 0 ⎛ ⎝ ⎡ ⎣ 1 *a* (1 − *b*) *α*−1 *w b* + (1 − *b*) + 2 *db* ⎤ ⎦*g a* + (1 − *a*) + 2 *da* <sup>=</sup> <sup>2</sup> − ⎡ ⎣ 1 *a* (1 − *b*) *α*−1 *w b* + (1 − *b*) + 2 *db* ⎤ ⎦*g a* + (1 − *a*) + 2 ' ' ' ' ' ' *a*=1 *a*=0 + 2 − 1 0 (1 − *a*) *α*−1 *w a* + (1 − *a*) + 2 *g a* + (1 − *a*) + 2 *da* <sup>=</sup> <sup>−</sup> <sup>2</sup> − ⎡ ⎣ 1 0 (1 − *b*) *α*−1 *w b* + (1 − *b*) + 2 *db* ⎤ ⎦*g* + 2 + 2 − 1 0 (1 − *a*) *α*−1 *w a* + (1 − *a*) + 2 *g a* + (1 − *a*) + 2 *da* = − 2 − *α*+<sup>1</sup> ⎡ ⎢ ⎣ + 2 ( − *u*) *α*−1 *w*(*u*)*du* ⎤ ⎥ ⎦*g* + 2 + 2 − *α*+<sup>1</sup> + 2 ( − *u*) *α*−1 *w*(*u*)*g*(*u*)*du* (11)

$$= -\left(\frac{2}{\varpi-\varrho}\right)^{a+1} \Gamma(a) \left(l^{a}\_{\left(\frac{\varrho+\varrho}{2}\right)^{+}}, w(\mathcal{a})\right) \mathfrak{g}\left(\frac{\varrho+\mathcal{a}}{2}\right) + \left(\frac{2}{\varpi-\varrho}\right)^{a+1} \Gamma(a)l^{a}\_{\left(\frac{\varrho+\mathcal{a}}{2}\right)^{+}}(w\mathbf{g})(\mathcal{a}).$$

Substituting (10) and (11) into (9), then multiplying the resulting equality by (−) 2 4 and using (8), we obtain the desired result.

**Theorem 1.** *Let <sup>g</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a differentiable function on* (, ) *such that <sup>g</sup>* <sup>∈</sup> *<sup>L</sup>*([, ]) *with* <sup>0</sup> <sup>≤</sup> <sup>&</sup>lt; *, and let <sup>w</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a continuous and symmetric function as regards* + <sup>2</sup> *. If* |*g* | *is an extended s-convex for some fixed s* ∈ (−1, 1]*, then we have*

$$\begin{aligned} & \left| L^a[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^a[wg] \right| \\ & \leq \frac{(\mathcal{O}-\varrho)^2}{4\alpha} ||w||\_{[\varrho,\mathcal{O}]\_{\infty}} \\ & \times \left( \frac{\Gamma(s+1)\Gamma(a+1)|g'(\varrho)| + 2\Gamma(s+a+1)\left|g'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right| + \Gamma(s+1)\Gamma(a+1)|g'(\varrho)|}{\Gamma(s+a+2)} \right) . \end{aligned} $$

*where* Γ *is the gamma function.*

**Proof.** Using Lemma 1, the absolute value and *s*-convexity of |*g* | provide

' ' ' ' *Lα*[*w*]*g* + 2 <sup>−</sup> *<sup>L</sup>α*[*wg*] ' ' ' ' ≤( <sup>−</sup> ) 2 4 ⎛ ⎝ 1 0 |*p*1(*a*)| ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *da* + 1 0 |*p*2(*a*)| ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *da* ⎞ ⎠ ≤( <sup>−</sup> ) 2 <sup>4</sup> *w*[,],<sup>∞</sup> ⎛ ⎝ 1 0 ⎛ ⎝ 1 *a* (1 − *b*) *α*−1 *db* ⎞ ⎠ ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *da* + 1 0 ⎛ ⎝ 1 *a* (1 − *b*) *α*−1 *db* ⎞ ⎠ ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *da* ⎞ ⎠ ≤( <sup>−</sup> ) 2 <sup>4</sup>*<sup>α</sup> w*[,],<sup>∞</sup> ⎛ ⎝ 1 0 (1 − *a*) *α as* ' '*g* () ' ' + (1 − *a*) *s* ' ' ' ' *g* + 2 ' ' ' ' *da* + 1 0 (1 − *a*) *α as* ' '*g* () ' ' + (1 − *a*) *s* ' ' ' ' *g* + 2 ' ' ' ' *da* ⎞ ⎠ <sup>=</sup>( <sup>−</sup> ) 2 <sup>4</sup>*<sup>α</sup> w*[,],<sup>∞</sup> × ⎛ ⎝ Γ(*s* + 1)Γ(*α* + 1)|*g* ()| + 2Γ(*s* + *α* + 1) ' ' '*g* + 2 ' ' ' + <sup>Γ</sup>(*<sup>s</sup>* + <sup>1</sup>)Γ(*<sup>α</sup>* + <sup>1</sup>)|*g* ()| Γ(*s* + *α* + 2) ⎞ ⎠.

Then, the proof is now completed.

**Corollary 1.** *In Theorem 1, if we use:*

*1. s* = 0*, we obtain*

$$\begin{aligned} &\left| L^{\alpha}[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^{\alpha}[wg] \right| \\ \leq &\frac{\left(\mathcal{O}-\varrho\right)^{2}}{4\alpha(\alpha+1)}||w||\_{\left[\varrho,\mathcal{O}\right],\infty} \left( \left| g'(\varrho) \right| + 2\left| g'\left(\frac{\varrho+\mathcal{O}}{2}\right) \right| + \left| g'(\varrho) \right| \right). \end{aligned}$$

*2. s* = 1*, we obtain*

$$\begin{aligned} & \left| L^{\alpha}[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^{\alpha}[wg] \right| \\ \leq & \frac{(\mathcal{O}-\varrho)^{2}}{2\alpha(\alpha+1)}||w||\_{[\varrho,\mathcal{O}],\infty} \left( \frac{|g'(\varrho)|+2(\alpha+1)\left|g'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right|+|g'(\varrho)|}{2(\alpha+2)} \right). \end{aligned}$$

**Corollary 2.** *In Theorem 1, if we use α* = 1*, we obtain*

$$\begin{aligned} & \left| \lg \left( \frac{\varrho + \mathcal{Q}}{2} \right) \right|\_{\varrho}^{\mathcal{Q}} w(\mathbf{N}) d\mathbf{N} - \int\_{\varrho}^{\mathcal{Q}} w(\mathbf{N}) \lg(\mathbf{N}) d\mathbf{N} \right| \\ & \leq \frac{(\mathcal{Q} - \varrho)^{2}}{4(s+1)(s+2)} ||w||\_{[\varrho, \mathcal{Q}], \infty} \left( \left| \lg'(\varrho) \right| + 2(s+1) \left| \lg' \left( \frac{\varrho + \mathcal{Q}}{2} \right) \right| + \left| \lg'(\sigma) \right| \right). \end{aligned}$$

**Remark 1.** *In Corollary 2, if we use s* ∈ (0, 1]*, we obtain the first inequality of Corollary 2.2.1 in [27]. Moreover, if we use s* = 0 *and s* = 1*, we obtain Corollary 2 and Corollary 3 in [28] respectively.*

**Corollary 3.** *In Theorem 1, if we choose:*

*1. w*(*u*) = <sup>1</sup> − *, we obtain*

$$\begin{aligned} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{2^{\mathfrak{a} - 1}}{\left( \mathfrak{a} - \varrho \right)^{\mathfrak{a}}} \Gamma(\mathfrak{a} + 1) \left( I^{\mathfrak{a}}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)} - \mathfrak{g}(\varrho) + I^{\mathfrak{a}}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{+}} \mathfrak{g}(\mathfrak{a}) \right) \right| \\ & \leq \frac{\mathfrak{a} - \varrho}{4 \Gamma(s + \mathfrak{a} + 2)} \left( \Gamma(s + 1) \Gamma(\mathfrak{a} + 1) \left| \mathfrak{g}'(\varrho) \right| + 2 \Gamma(s + \mathfrak{a} + 1) \left| \mathfrak{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right| \right) \\ & + \Gamma(s + 1) \Gamma(\mathfrak{a} + 1) \left| \mathfrak{g}'(\mathfrak{a}) \right| ). \end{aligned}$$

*2. w*(*u*) = <sup>1</sup> − *and <sup>α</sup>* <sup>=</sup> <sup>1</sup>*, we obtain*

$$\begin{aligned} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(u) du \right| \\ & \leq \frac{\mathcal{O} - \varrho}{4(s+2)(s+1)} \left( \left| g'(\varrho) \right| + 2(s+1) \left| g' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right| + \left| g'(\mathcal{O}) \right| \right). \end{aligned}$$

**Corollary 4.** *In Theorem 1, using the s-convexity of* |*g* |*, i.e.,*

$$\left| \mathcal{g}' \left( \frac{\varrho + \mathcal{a}}{2} \right) \right| \le \frac{|\mathcal{g}'(\varrho)| + |\mathcal{g}'(\mathcal{a})|}{2^{s-1} (1 + s)} \lambda$$

*we obtain*

$$\left| L^{\mathfrak{a}}[w]g\left(\frac{\varrho+\mathfrak{a}}{2}\right) - L^{\mathfrak{a}}[wg] \right| $$

' ' ' '

$$\leq \frac{(\mathcal{O}-\varrho)^{2}}{4a(1+s)}||w||\_{\left[\varrho,\mathcal{O}\right],\infty} \left(\frac{2^{2-s}\Gamma(s+a+1)+\Gamma(s+2)\Gamma(a+1)}{\Gamma(s+a+2)}\right) \left(|g'(\varrho)|+|g'(\varrho)|\right).$$

**Corollary 5.** *In Corollary 4, if we use:*

*1. α* = 1*, we obtain*

$$\begin{aligned} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) \int\_{\varrho}^{\mathcal{O}} w(\aleph) d\aleph - \int\_{\varrho}^{\mathcal{O}} w(\aleph) g(\aleph) d\aleph \right| \\ & \leq \frac{\left( 2^{2-s} + 1 \right) \left( \mathcal{O} - \varrho \right)^{2}}{4 \left( 1 + s \right) \left( s + 2 \right)} \left\| w \right\|\_{[\varrho, \mathcal{O}], \infty} \left( \left| g' \left( \varrho \right) \right| + \left| g' \left( \varpi \right) \right| \right) . \end{aligned} $$

*2. w*(*u*) = <sup>1</sup> − *, we obtain*

$$\begin{aligned} &\left|\mathcal{g}\left(\frac{\varrho+\mathcal{o}}{2}\right)-\frac{2^{\mathfrak{a}-1}}{\left(\mathfrak{o}-\mathfrak{e}\right)^{\mathfrak{a}}}\Gamma(\mathfrak{a}+1)\left(I^{\mathfrak{a}}\_{\left(\frac{\mathfrak{e}+\mathfrak{a}}{2}\right)^{-}}\mathfrak{g}(\mathfrak{e})+I^{\mathfrak{a}}\_{\left(\frac{\mathfrak{e}+\mathfrak{a}}{2}\right)^{+}}\mathfrak{g}(\mathfrak{o})\right)\right|\\ &\leq \frac{\mathfrak{o}-\mathfrak{e}}{4(1+s)}\left(\frac{2^{2-s}\Gamma(s+\mathfrak{a}+1)+\Gamma(s+2)\Gamma(\mathfrak{a}+1)}{\Gamma(s+\mathfrak{a}+2)}\right)\left(|\mathcal{g}'(\mathfrak{o})|+|\mathcal{g}'(\mathfrak{o})|\right). \end{aligned}$$

*3. w*(*u*) = <sup>1</sup> − *and <sup>α</sup>* <sup>=</sup> <sup>1</sup>*, we obtain*

$$\left| \left\| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(u) du \right\| \leq \frac{\left( 2^{2-s} + 1 \right) (\mathcal{O} - \varrho)}{4 (1 + s)(s + 2)} \left( \left| g'(\varrho) \right| + \left| g'(\mathcal{O}) \right| \right).$$

**Remark 2.** *Corollary 5, the third point will be reduced to Theorem 2.2 in [9] when s* = 1*.*

**Theorem 2.** *Let <sup>g</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a differentiable function on* (, ) *such that <sup>g</sup>* <sup>∈</sup> *<sup>L</sup>*([, ]) *with* <sup>0</sup> <sup>≤</sup> <sup>&</sup>lt; *, and let <sup>w</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a continuous and symmetric function with respect to* + <sup>2</sup> *. If* |*g* | *<sup>q</sup> is an extended s-convex for some fixed <sup>s</sup>* <sup>∈</sup> (−1, 1] *and <sup>q</sup>* <sup>&</sup>gt; <sup>1</sup> *with* <sup>1</sup> *<sup>p</sup>* <sup>+</sup> <sup>1</sup> *<sup>q</sup>* = 1*, then we have*

$$\begin{aligned} & \left| L^a[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^a[wg] \right| \\ \leq & \frac{(\mathcal{O}-\varrho)^2}{4a(p\alpha+1)^{\frac{1}{p}}} \||w\|\_{[\varrho,\mathcal{O}],\infty} \left( \left( \frac{|\mathcal{g}'(\varrho)|^q + \left|\mathcal{g}'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right|^q}{s+1} \right)^{\frac{1}{q}} + \left( \frac{|\mathcal{g}'(\mathcal{O})|^q + \left|\mathcal{g}'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right|^q}{s+1} \right)^{\frac{1}{q}} \right). \end{aligned}$$

*where B*(., .) *is the beta function.*

**Proof.** Using Lemma 1, the absolute value, Hölder's inequality, and *s*-convexity of |*g* |, we obtain

$$\begin{aligned} & \left| L^{\alpha}[w]g\left(\frac{\varrho+\alpha}{2}\right) - L^{\alpha}[w\varrho] \right| \\ \leq & \frac{(\varpi-\varrho)^{2}}{4} \left( \int\_{0}^{1} |p\_{1}(a)| \left| g'\left(a\varrho + (1-a)\frac{\varrho+\alpha}{2}\right) \right| da \right) \\ & + \int\_{0}^{1} |p\_{2}(a)| \left| g'\left(a\varrho + (1-a)\frac{\varrho+\alpha}{2}\right) \right| da \right) \end{aligned}$$

≤( <sup>−</sup> ) 2 4 ⎛ ⎜⎝ ⎛ ⎝ 1 0 |*p*1(*a*)| *p da* ⎞ ⎠ 1 *<sup>p</sup>* ⎛ ⎝ 1 0 ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *q da* ⎞ ⎠ 1 *q* + ⎛ ⎝ 1 0 |*p*2(*a*)| *p da* ⎞ ⎠ 1 *<sup>p</sup>* ⎛ ⎝ 1 0 ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *q da* ⎞ ⎠ 1 *q* ⎞ ⎟⎠ ≤( <sup>−</sup> ) 2 <sup>4</sup> *w*[,],<sup>∞</sup> ⎛ ⎝ 1 0 ⎛ ⎝ 1 *a* (1 − *b*) *α*−1 *db* ⎞ ⎠ *p da* ⎞ ⎠ 1 *p* × ⎛ ⎜⎝ ⎛ ⎝ 1 0 *as* ' '*g* () ' ' *<sup>q</sup>* <sup>+</sup> (<sup>1</sup> <sup>−</sup> *<sup>a</sup>*) *s* ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup> da* ⎞ ⎠ 1 *q* + ⎛ ⎝ 1 0 *as* ' '*g* () ' ' *<sup>q</sup>* <sup>+</sup> (<sup>1</sup> <sup>−</sup> *<sup>a</sup>*) *s* ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup> da* ⎞ ⎠ 1 *q* ⎞ ⎟⎠ ≤( <sup>−</sup> ) 2 <sup>4</sup>*<sup>α</sup> w*[,],<sup>∞</sup> ⎛ ⎝ 1 0 (1 − *a*) *pα da* ⎞ ⎠ 1 *p* × ⎛ ⎜⎜⎝ ⎛ ⎜⎝ |*g* ()| *<sup>q</sup>* + ' ' '*g* + 2 ' ' ' *q s* + 1 ⎞ ⎟⎠ 1 *q* + ⎛ ⎜⎝ |*g* ()| *<sup>q</sup>* + ' ' '*g* + 2 ' ' ' *q s* + 1 ⎞ ⎟⎠ 1 *q* ⎞ ⎟⎟⎠ <sup>=</sup> ( <sup>−</sup> ) 2 4*α*(*pα* + 1) 1 *p w*[,],<sup>∞</sup> ⎛ ⎜⎜⎝ ⎛ ⎜⎝ |*g* ()| *<sup>q</sup>* + ' ' '*g* + 2 ' ' ' *q s* + 1 ⎞ ⎟⎠ 1 *q* + ⎛ ⎜⎝ |*g* ()| *<sup>q</sup>* + ' ' '*g* + 2 ' ' ' *q s* + 1 ⎞ ⎟⎠ 1 *q* ⎞ ⎟⎟⎠.

The proof is now finished.

**Corollary 6.** *In Theorem 2, if we use:*

*1. s* = 0*, we obtain*

$$\begin{split} & \left| L^{a}[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^{a}[w\varrho] \right| \\ \leq & \frac{(\mathcal{O}-\varrho)^{2}}{4a(p\mathfrak{a}+1)^{\frac{1}{p}}} \||w\|\_{[\varrho,\mathfrak{a}],\infty} \\ & \qquad \times \left( \left( |g'(\varrho)|^{q} + \left| g'\left(\frac{\varrho+\mathcal{O}}{2}\right) \right|^{q} \right)^{\frac{1}{q}} + \left( |g'(\varrho)|^{q} + \left| g'\left(\frac{\varrho+\mathcal{O}}{2}\right) \right|^{q} \right)^{\frac{1}{q}} \right). \end{split}$$

' ' ' '

*2. s* = 1*, we obtain*

$$\begin{aligned} & \left| L^{\alpha}[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^{\alpha}[wg] \right| \\ & \leq \frac{\left(\mathcal{O}-\varrho\right)^{2}}{4\alpha(p\alpha+1)^{\frac{1}{p}}}||w||\_{[\varrho,\mathcal{O}],\infty} \end{aligned}$$

$$\times \left( \left( \frac{|\mathbf{g}'(\varrho)|^{q} + \left|\mathbf{g}'\left(\frac{\varrho + \alpha}{2}\right)\right|^{q}}{2} \right)^{\frac{1}{q}} + \left( \frac{|\mathbf{g}'(\varrho)|^{q} + \left|\mathbf{g}'\left(\frac{\varrho + \alpha}{2}\right)\right|^{q}}{2} \right)^{\frac{1}{q}} \right).$$

**Corollary 7.** *In Theorem 2, if we use α* = 1*, we obtain*

$$\begin{split} & \left| \mathcal{S} \left( \frac{\varrho + \mathcal{O}}{2} \right) \int\_{\varrho}^{\mathcal{O}} w(\mathcal{N}) d\mathcal{N} - \int\_{\varrho}^{\mathcal{O}} w(\mathcal{N}) \mathcal{g}(\mathcal{N}) d\mathcal{N} \right| \\ & \leq \frac{(\mathcal{O} - \varrho)^{2}}{4(p+1)^{\frac{1}{p}}} ||w||\_{[\varrho,\mathcal{O}],\infty} \left( \left( \frac{|\mathcal{g}'(\varrho)|^{q} + \left| \mathcal{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{q}}{s+1} \right)^{\frac{1}{q}} + \left( \frac{|\mathcal{g}'(\mathcal{O})|^{q} + \left| \mathcal{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{q}}{s+1} \right)^{\frac{1}{q}} \right). \end{split}$$

**Remark 3.** *In Corollary 7, if we assume that s* ∈ (0, 1]*, we obtain Theorem 2.4 in [27]. Moreover, if we use s* = 1*, we obtain Corollary 7 in [28], respectively.*

**Corollary 8.** *In Theorem 2, if we choose*

*1. w*(*u*) = <sup>1</sup> − *, we obtain*

$$\begin{split} & \left| \lg \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{2^{\mathfrak{a} - 1}}{\left( \mathcal{O} - \varrho \right)^{\mathfrak{a}}} \Gamma(\mathfrak{a} + 1) \left( f^{\mathfrak{a}}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{-}} \mathfrak{g}(\mathfrak{o}) + f^{\mathfrak{a}}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{+}} \mathfrak{g}(\mathfrak{o}) \right) \right| \\ & \leq \frac{\mathfrak{o} - \varrho}{4 \left( p\mathfrak{a} + 1 \right)^{\frac{1}{p}}} \left( \left( \frac{|\mathfrak{g}'(\mathfrak{o})|^{\mathfrak{q}} + \left| \mathfrak{g}'\left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{\mathfrak{q}}}{\mathfrak{s} + 1} \right)^{\frac{1}{q}} + \left( \frac{|\mathfrak{g}'(\mathfrak{o})|^{\mathfrak{q}} + \left| \mathfrak{g}'\left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{\mathfrak{q}}}{\mathfrak{s} + 1} \right)^{\frac{1}{q}} \right). \end{split}$$

$$2. \quad w(\mu) = \frac{1}{\phi - \phi} \text{ and } \alpha = 1, \text{ we obtain}$$

$$\begin{aligned} & \left| g\left(\frac{\varrho+\mathcal{O}}{2}\right) - \frac{1}{\mathcal{O}-\varrho} \int\_{\varrho}^{\mathcal{O}} g(u) du \right| \\ & \leq \frac{\mathcal{O}-\varrho}{4(p+1)^{\frac{1}{p}}} \left( \left( \frac{|\mathcal{g}'(\varrho)|^{q} + \left|\mathcal{g}'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right|^{q}}{s+1} \right)^{\frac{1}{q}} + \left( \frac{|\mathcal{g}'(\mathcal{o})|^{q} + \left|\mathcal{g}'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right|^{q}}{s+1} \right)^{\frac{1}{q}} \right). \end{aligned}$$

**Remark 4.** *Corollary 8, the second point will be reduced to Corollary 6 in [10] when s* = 0*.* **Corollary 9.** *In Theorem 2, using the s-convexity of* |*g* | *q , i.e.,*

$$\left| \mathcal{g}' \left( \frac{\varrho + \mathcal{a}}{2} \right) \right|^q \le \frac{|\mathcal{g}'(\varrho)|^q + |\mathcal{g}'(\mathcal{a})|^q}{2^{s-1}(1+s)} \lambda$$

*we obtain*

$$\begin{aligned} & \left| L^a[w]g\left(\frac{\varrho + \mathcal{Q}}{2}\right) - L^a[wg] \right| \\ & \le \frac{\left(\mathcal{Q} - \varrho\right)^2}{4a\left(p\alpha + 1\right)^{\frac{1}{p}}} ||w||\_{\left[\varrho, \mathcal{Q}\right], \infty} \left( \left(\frac{\left(1 + s + 2^{1-s}\right)|g'(\varrho)|^{q} + 2^{1-s}|g'(\varrho)|^{q}}{\left(1 + s\right)^{2}}\right)^{\frac{1}{q}} \right) \end{aligned}$$

$$+ \left( \frac{2^{1-s}|g'(\varrho)|^q + \left(1+s+2^{1-s}\right)|g'(\varrho)|^q}{\left(1+s\right)^2} \right)^{\frac{1}{q}} \Big| .$$

#### **Corollary 10.** *In Corollary 9:*

*1. If we use α* = 1*, we obtain*

$$\begin{split} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) \int\_{\varrho}^{\mathcal{O}} w(\mathbf{N}) d\mathbf{N} - \int\_{\varrho}^{\mathcal{O}} w(\mathbf{N}) g(\mathbf{N}) d\mathbf{N} \right| \\ & \leq \frac{(\mathcal{O} - \varrho)^{2}}{4(p+1)^{\frac{1}{p}}} ||w||\_{[\varrho, \mathcal{O}], \infty} \left( \left( \frac{(1+s+2^{1-s})|g'(\varrho)|^{q} + 2^{1-s}|g'(\varrho)|^{q}}{(1+s)^{2}} \right)^{\frac{1}{q}} \\ & \quad + \left( \frac{2^{1-s}|g'(\varrho)|^{q} + \left(1+s+2^{1-s}\right)|g'(\varrho)|^{q}}{(1+s)^{2}} \right)^{\frac{1}{q}} \right). \end{split}$$

*2. If we choose w*(*u*) = <sup>1</sup> − *, we obtain*

$$\begin{split} & \left| \mathcal{g} \left( \frac{\varrho + \mathcal{Q}}{2} \right) - \frac{2^{a-1}}{\left( \mathcal{Q} - \varrho \right)^{a}} \Gamma(a+1) \left( I^{\alpha}\_{\left( \frac{\varrho + \mathcal{Q}}{2} \right)^{-s}} g(\varrho) + I^{\alpha}\_{\left( \frac{\varrho + \mathcal{Q}}{2} \right)^{+}} g(\varrho) \right) \right|^{\frac{1}{q}} \\ & \leq \frac{\mathcal{Q} - \varrho}{4 \left( p\alpha + 1 \right)^{\frac{1}{p}}} \left( \left( \frac{\left( 1 + s + 2^{1-s} \right) |g'(\varrho)|^{q} + 2^{1-s} |g'(\varrho)|^{q}}{\left( 1 + s \right)^{2}} \right)^{\frac{1}{q}} \\ & \quad + \left( \frac{2^{1-s} |g'(\varrho)|^{q} + \left( 1 + s + 2^{1-s} \right) |g'(\varrho)|^{q}}{\left( 1 + s \right)^{2}} \right)^{\frac{1}{q}} \right). \end{split}$$

*3. If we choose w*(*u*) = <sup>1</sup> − *and <sup>α</sup>* <sup>=</sup> <sup>1</sup>*, we obtain*

$$\begin{split} & \left| \mathcal{S} \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(u) du \right| \\ & \leq \frac{\mathcal{O} - \varrho}{4(p+1)^{\frac{1}{p}}} \left( \left( \frac{(1+s+2^{1-s})|g'(\varrho)|^{q} + 2^{1-s}|g'(\varrho)|^{q}}{(1+s)^{2}} \right)^{\frac{1}{q}} \right) \\ & \quad + \left( \frac{2^{1-s}|g'(\varrho)|^{q} + \left(1+s+2^{1-s}\right)|g'(\varrho)|^{q}}{(1+s)^{2}} \right) . \end{split}$$

#### **Remark 5.**


**Corollary 11.** *In Corollary 9, if we use the discrete power mean inequality, we obtain*

$$\begin{aligned} &\left| L^a[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^a[wg] \right| \\ &\leq \frac{\left(\mathcal{O}-\varrho\right)^2}{2a\left(p\varrho+1\right)^{\frac{1}{p}}}||w||\_{\left[\varrho,\mathcal{O}\right],\infty} \left(\frac{1+s+2^{2-s}}{\left(1+s\right)^2}\right)^{\frac{1}{q}} \left(\frac{|\mathcal{G}'(\varrho)|^{q}+|\mathcal{G}'(\mathcal{O})|^{q}}{2}\right)^{\frac{1}{q}}. \end{aligned}$$

**Corollary 12.** *In Corollary 11:*

*1. If we use α* = 1*, we obtain*

$$\begin{aligned} & \left| \mathcal{S} \left( \frac{\varrho + \mathcal{O}}{2} \right) \int\_{\varrho}^{\mathcal{O}} w(\mathbf{N}) d\mathbf{N} - \int\_{\varrho}^{\mathcal{O}} w(\mathbf{N}) \mathcal{g}(\mathbf{N}) d\mathbf{N} \right| \\ & \leq \frac{\left(\mathcal{O} - \varrho\right)^{2}}{2\left(p + 1\right)^{\frac{1}{p}}} \left\| w \right\|\_{\left[\varrho, \mathcal{O}\right], \infty} \left( \frac{1 + s + 2^{2-s}}{\left(1 + s\right)^{2}} \right)^{\frac{1}{q}} \left( \frac{|\mathcal{g}'(\varrho)|^{q} + |\mathcal{g}'(\varrho)|^{q}}{2} \right)^{\frac{1}{q}}. \end{aligned}$$

*2. If we choose w*(*u*) = <sup>1</sup> − *, we obtain*

$$\begin{aligned} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{2^{\mathfrak{a} - 1}}{\left( \mathfrak{a} - \varrho \right)^{\mathfrak{a}}} \Gamma(\mathfrak{a} + 1) \left( l\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{-}}^{\mathfrak{a}} g(\varrho) + l\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{+}}^{\mathfrak{a}} g(\mathfrak{a} ) \right) \right|^{\frac{1}{\mathfrak{a}}} \\ & \leq \frac{\mathfrak{a} - \varrho}{2 \left( p \mathfrak{a} + 1 \right)^{\frac{1}{p}}} \left( \frac{1 + s + 2^{2 - s}}{\left( 1 + s \right)^{2}} \right)^{\frac{1}{q}} \left( \frac{|g'(\varrho)|^{q} + |g'(\varrho)|^{q}}{2} \right)^{\frac{1}{q}}. \end{aligned}$$

*3. If we choose w*(*u*) = <sup>1</sup> − *and <sup>α</sup>* <sup>=</sup> <sup>1</sup>*, we obtain*

$$\begin{aligned} & \left| \mathcal{S} \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(u) du \right| \\ & \leq \frac{\mathcal{O} - \varrho}{2(p+1)^{\frac{1}{p}}} \left( \frac{1 + s + 2^{2-s}}{(1+s)^2} \right)^{\frac{1}{q}} \left( \frac{|\mathcal{g}'(\varrho)|^{\frac{q}{q}} + |\mathcal{g}'(\varrho)|^{\frac{q}{q}}}{2} \right)^{\frac{1}{q}}. \end{aligned}$$

**Theorem 3.** *Let <sup>g</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a differentiable function on* (, ) *such that <sup>g</sup>* <sup>∈</sup> *<sup>L</sup>*([, ]) *with* <sup>0</sup> <sup>≤</sup> <sup>&</sup>lt; *, and let <sup>w</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a continuous and symmetric function with respect to* + <sup>2</sup> *. If* |*g* | *<sup>q</sup> is an extended s-convex for some fixed s* <sup>∈</sup> (−1, 1] *and q* <sup>≥</sup> <sup>1</sup>*, then we have*

$$\begin{split} & \left| L^{a}[w] \mathfrak{z} \left( \frac{\varrho + \mathcal{O}}{2} \right) - L^{a}[w \mathfrak{g}] \right| \\ & \leq \frac{(\mathcal{O} - \mathfrak{q})^{2}}{4a(a+1)^{1-\frac{1}{q}}} ||w||\_{[\varrho, \mathfrak{o}], \infty} \left( \left( B(s+1, a+1) \big| \mathcal{g}'(\mathfrak{q}) \big|^{q} + \frac{1}{a+s+1} \Bigg| \mathcal{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \Bigg| \mathcal{g}' \right)^{\frac{1}{q}} \right) \\ & \quad + \left( B(s+1, a+1) \big| \mathcal{g}'(\mathfrak{o}) \big|^{q} + \frac{1}{a+s+1} \Bigg| \mathcal{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \Bigg| \mathcal{g}' \right)^{\frac{1}{q}}, \end{split}$$

*where B*(., .) *is the beta function.*

**Proof.** Using Lemma 1, the absolute value, power mean inequality, and *s*-convexity of |*g* |, we obtain

$$\begin{aligned} & \left| L^a[w]g\left(\frac{\varrho + \varpi}{2}\right) - L^a[wg] \right| \\ \leq & \frac{(\varpi - \varrho)^2}{4} \left( \int\_0^1 |p\_1(a)| \left| g'\left(a\varrho + (1 - a)\frac{\varrho + \varpi}{2}\right) \right| da \right) \\ & + \int\_0^1 |p\_2(a)| \left| g'\left(a\varrho + (1 - a)\frac{\varrho + \varpi}{2}\right) \right| da \right) \end{aligned}$$

≤( <sup>−</sup> ) 2 4 ⎛ ⎜⎝ ⎛ ⎝ 1 0 |*p*1(*a*)|*dt* ⎞ ⎠ <sup>1</sup><sup>−</sup> <sup>1</sup> *q* ⎛ ⎝ 1 0 |*p*1(*a*)| ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *q da* ⎞ ⎠ 1 *q* + ⎛ ⎝ 1 0 |*p*2(*a*)|*da* ⎞ ⎠ <sup>1</sup><sup>−</sup> <sup>1</sup> *q* ⎛ ⎝ 1 0 |*p*2(*a*)| ' ' ' ' *g a* + (1 − *a*) + 2 ' ' ' ' *q da* ⎞ ⎠ 1 *q* ⎞ ⎟⎠ ≤( <sup>−</sup> ) 2 <sup>4</sup> *w*[,],<sup>∞</sup> ⎛ ⎝ 1 0 ⎛ ⎝ 1 *a* (1 − *b*) *α*−1 *db* ⎞ ⎠*da* ⎞ ⎠ <sup>1</sup><sup>−</sup> <sup>1</sup> *q* × ⎛ ⎜⎝ ⎛ ⎝ 1 0 ⎛ ⎝ 1 *a* (1 − *b*) *α*−1 *db* ⎞ ⎠ *as* ' '*g* () ' ' *<sup>q</sup>* <sup>+</sup> (<sup>1</sup> <sup>−</sup> *<sup>a</sup>*) *s* ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup> da* ⎞ ⎠ 1 *q* + ⎛ ⎝ 1 0 ⎛ ⎝ 1 *a* (1 − *b*) *α*−1 *db* ⎞ ⎠ *as* ' '*g* () ' ' *<sup>q</sup>* <sup>+</sup> (<sup>1</sup> <sup>−</sup> *<sup>a</sup>*) *s* ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup> da* ⎞ ⎠ 1 *q* ⎞ ⎟⎠ <sup>=</sup>( <sup>−</sup> ) 2 <sup>4</sup>*<sup>α</sup> w*[,],<sup>∞</sup> ⎛ ⎝ 1 0 (1 − *a*) *α da* ⎞ ⎠ <sup>1</sup><sup>−</sup> <sup>1</sup> *q* × ⎛ ⎜⎝ ⎛ ⎝ 1 0 (1 − *a*) *α as* ' '*g* () ' ' *<sup>q</sup>* <sup>+</sup> (<sup>1</sup> <sup>−</sup> *<sup>a</sup>*) *s* ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup> da* ⎞ ⎠ 1 *q* + ⎛ ⎝ 1 0 (1 − *a*) *α as* ' '*g* () ' ' *<sup>q</sup>* <sup>+</sup> (<sup>1</sup> <sup>−</sup> *<sup>a</sup>*) *s* ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup> da* ⎞ ⎠ 1 *q* ⎞ ⎟⎠ <sup>=</sup> ( <sup>−</sup> ) 2 4*α*(*α* + 1) <sup>1</sup><sup>−</sup> <sup>1</sup> *q w*[,],<sup>∞</sup> × ⎛ ⎜⎝ ⎛ ⎝' '*g* () ' ' *q* 1 0 (1 − *a*) *αas da* + ' ' ' ' *g* + 2 ' ' ' ' *q* 1 0 (1 − *a*) *α*+*s da* ⎞ ⎠ 1 *q* + ⎛ ⎝' '*g* () ' ' *q* 1 0 (1 − *a*) *αas da* + ' ' ' ' *g* + 2 ' ' ' ' *q* 1 0 (1 − *a*) *α*+*s da* ⎞ ⎠ 1 *q* ⎞ ⎟⎠ <sup>=</sup> ( <sup>−</sup> ) 2 4*α*(*α* + 1) <sup>1</sup><sup>−</sup> <sup>1</sup> *q w*[,],<sup>∞</sup> ⎛ ⎝ *B*(*s* + 1, *α* + 1) ' '*g* () ' ' *<sup>q</sup>* + 1 *α* + *s* + 1 ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup>*<sup>1</sup> *q* + *B*(*s* + 1, *α* + 1) ' '*g* () ' ' *<sup>q</sup>* + 1 *α* + *s* + 1 ' ' ' ' *g* + 2 ' ' ' ' *<sup>q</sup>*<sup>1</sup> *q* ⎞ ⎠.

' ' ' '

The proof is now completed.

**Corollary 13.** *In Theorem 3, if we use:*

*1. s* = 0*, we get* ' ' ' ' *Lα*[*w*]*g* + 2 <sup>−</sup> *<sup>L</sup>α*[*wg*]

$$\begin{split} &\leq \frac{(\mathcal{Q}-\varrho)^{2}}{4\alpha(\alpha+1)}||w||\_{\left[\varrho,\mathcal{Q}\right],\infty} \left( \left( |\mathcal{g}'(\varrho)|^{q} + \left| \mathcal{g}'\left(\frac{\varrho+\mathcal{Q}}{2}\right) \right|^{q} \right)^{\frac{1}{q}} \right) \\ &\quad + \left( |\mathcal{g}'(\mathcal{O})|^{q} + \left| \mathcal{g}'\left(\frac{\varrho+\mathcal{Q}}{2}\right) \right|^{q} \right)^{\frac{1}{q}} \right). \end{split}$$

*2. If we use s* = 1*, we obtain*

$$\begin{split} & \left| L^{\mathfrak{a}}[w]g\left(\frac{\varrho+\mathcal{O}}{2}\right) - L^{\mathfrak{a}}[w\mathfrak{g}] \right| \\ & \leq \frac{\left(\mathcal{O}-\varrho\right)^{2}}{4\mathfrak{a}\left(\mathfrak{a}+1\right)}||w||\_{\left[\varrho,\mathcal{O}\right],\infty} \left( \left(\frac{1}{\mathfrak{a}+2}|\mathfrak{g}'(\varrho)|^{q} + \frac{\mathfrak{a}+1}{\mathfrak{a}+2}\left|\mathfrak{g}'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right|^{q}\right)^{\frac{1}{q}} \right) \\ & \quad + \left(\frac{1}{\mathfrak{a}+2}|\mathfrak{g}'(\mathfrak{o})|^{q} + \frac{\mathfrak{a}+1}{\mathfrak{a}+2}\left|\mathfrak{g}'\left(\frac{\varrho+\mathcal{O}}{2}\right)\right|^{q}\right)^{\frac{1}{q}}. \end{split}$$

*3. If we choose α* = 1*, we obtain*

$$\begin{split} & \left| \left\| \mathbf{g} \left( \frac{\varrho + \mathcal{O}}{2} \right) \right\|\_{\varrho}^{\mathcal{O}} w(\mathbf{N}) d\mathbf{N} - \int\_{\varrho}^{\mathcal{O}} w(\mathbf{N}) \mathbf{g}(\mathbf{N}) d\mathbf{N} \right| \\ & \leq \frac{(\mathcal{O} - \varrho)^{2}}{8} ||w||\_{[\varrho, \mathcal{O}], \infty} \left( \frac{2}{(s+1)(s+2)} \right)^{\frac{1}{q}} \left( \left( |\mathbf{g}'(\varrho)|^{q} + (s+1) \left| \mathbf{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{q} \right)^{\frac{1}{q}} \right) \\ & \quad + \left( |\mathbf{g}'(\varrho)|^{q} + (s+1) \left| \mathbf{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{q} \right)^{\frac{1}{q}} . \end{split}$$

**Remark 6.** *In the third point of Corollary 13, if we assume that s* ∈ (0, 1]*, we obtain Theorem 2.2 in [27]. Moreover, if we use s* = 1*, we obtain Corollary 12 in [28].*

**Corollary 14.** *In Theorem 3, if we choose:*

*1. w*(*u*) = <sup>1</sup> − *, we obtain*

$$\begin{split} & \left| \left\| \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{2^{\mathfrak{a} - 1}}{\left( \mathfrak{a} - \varrho \right)^{\mathfrak{a}}} \Gamma(\mathfrak{a} + 1) \left( I^{\mathfrak{a}}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{-}} \mathfrak{g}'(\mathfrak{o}) + I^{\mathfrak{a}}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{+}} \mathfrak{g}(\mathfrak{o}) \right) \right| \\ & \leq \frac{\mathcal{O} - \varrho}{4 \left( \mathfrak{a} + 1 \right)^{1 - \frac{1}{q}}} \left( \left( B(\mathfrak{s} + 1, \mathfrak{a} + 1) \left| \mathfrak{g}'(\mathfrak{o}) \right|^{q} + \frac{1}{\mathfrak{a} + s + 1} \left| \mathfrak{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{q} \right)^{\frac{1}{q}} \right) \\ & \quad + \left( B(\mathfrak{s} + 1, \mathfrak{a} + 1) \left| \mathfrak{g}'(\mathfrak{o}) \right|^{q} + \frac{1}{\mathfrak{a} + s + 1} \left| \mathfrak{g}' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{q} \right)^{\frac{1}{q}}. \end{split}$$

*2. If we choose w*(*u*) = <sup>1</sup> − *and <sup>α</sup>* <sup>=</sup> <sup>1</sup>*, we obtain*

$$\begin{aligned} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho}^{\mathcal{O}} g(u) du \right| \\ & \leq \frac{\mathcal{O} - \varrho}{8} \left( \frac{2}{(s+1)(s+2)} \right)^{\frac{1}{q}} \left( \left( |g'(\varrho)|^{q} + (s+1) \left| g' \left( \frac{\varrho + \mathcal{O}}{2} \right) \right|^{q} \right)^{\frac{1}{q}} \right) \end{aligned}$$

$$+ \left( |g'(\mathcal{O})|^{\
\eta} + (s+1) \left| g'\left(\frac{\varrho + \mathcal{O}}{2}\right) \right|^{\eta} \right)^{\frac{1}{\eta}} \right).$$

**Corollary 15.** *In Theorem 3, using the s-convexity of* |*g* |*, we obtain*

$$\begin{split} & \left| L^{\operatorname{a}}[w]g\left(\frac{\varrho+\mathcal{Q}}{2}\right) - L^{\operatorname{a}}[w\varrho] \right| \leq \frac{\left(\varrho-\varrho\right)^{2}}{4a(a+1)^{1-\frac{1}{q}}} \left||w\mathbf{v}||\_{[\varrho,\alpha],\infty} \\ & \times \left( \left(\frac{(1+s)(a+s+1)B(s+1,a+1)+2^{1-s}}{(1+s)(a+s+1)}|\mathbf{g}'(\varrho)|^{q} + \frac{2^{1-s}}{(1+s)(a+s+1)}|\mathbf{g}'(\alpha)|^{q}\right)^{\frac{1}{q}} \right. \\ & \left. + \left(\frac{2^{1-s}}{(1+s)(a+s+1)}|\mathbf{g}'(\varrho)|^{q} + \frac{(1+s)(a+s+1)B(s+1,a+1)+2^{1-s}}{(1+s)(a+s+1)}|\mathbf{g}'(\alpha)|^{q}\right)^{\frac{1}{q}} \right). \end{split}$$

**Corollary 16.** *In Corollary 9, if we use:*

*1. α* = 1*, we obtain*

$$\begin{split} & \left| g \left( \frac{\varrho + \varrho \mathfrak{I}}{2} \right) \int\_{\varrho}^{\mathfrak{Q}} w(\mathbf{N}) d\mathbf{N} - \int\_{\varrho}^{\mathfrak{Q}} w(\mathbf{N}) g(\mathbf{N}) d\mathbf{N} \right| \\ & \leq \frac{(\mathfrak{Q} - \varrho)^{2}}{8} ||w||\_{[\varrho, \mathfrak{Q}], \infty} \left( \frac{2}{(1 + s)(s + 2)} \right)^{\frac{1}{q}} \left( \left( \left( 1 + 2^{1 - s} \right) |g'(\varrho)|^{q} + 2^{1 - s} |g'(\varrho)|^{q} \right)^{\frac{1}{q}} \right) \\ & \quad + \left( 2^{1 - s} |g'(\varrho)|^{q} + \left( 1 + 2^{1 - s} \right) |g'(\varrho)|^{q} \right)^{\frac{1}{q}}. \end{split}$$

$$2. \qquad w(u) = \frac{1}{\overline{\omega} - \overline{\varrho}}, \text{ we obtain}$$

$$\begin{split} & \left| \mathcal{S} \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{2^{a-1}}{\left( \mathcal{O} - \varrho \right)^{a}} \Gamma(a+1) \left( l^{a}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)} - \mathcal{S} \left( \varrho \right) + l^{a}\_{\left( \frac{\varrho + \mathcal{O}}{2} \right)^{+}} \mathcal{S} \left( \varrho \right) \right) \right| \\ & \leq \frac{\mathcal{O} - \varrho}{4 \left( a+1 \right)^{1-\frac{1}{q}}} \left( \left( \frac{\left( 1+s \right) \left( a+s+1 \right) B(s+1, a+1) + 2^{1-s}}{\left( 1+s \right) \left( a+s+1 \right)} \left| \mathcal{S}'(\varrho) \right|^{q} \right) \right| \\ & \quad + \frac{2^{1-s}}{\left( 1+s \right) \left( a+s+1 \right)} |\mathcal{S}'(\varrho)|^{q} \right)^{\frac{1}{q}} + \left( \frac{2^{1-s}}{\left( 1+s \right) \left( a+s+1 \right)} |\mathcal{S}'(\varrho)|^{q} \right) \\ & \quad + \frac{\left( 1+s \right) \left( a+s+1 \right) B(s+1, a+1) + 2^{1-s}}{\left( 1+s \right) \left( a+s+1 \right)} |\mathcal{S}'(\varrho)|^{q} \right)^{\frac{1}{q}} \bigg| . \end{split}$$

*3. If we choose w*(*u*) = <sup>1</sup> − *and <sup>α</sup>* <sup>=</sup> <sup>1</sup>*, we obtain*

$$\begin{split} & \left| g \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\varpi - \varrho} \int\_{\varrho}^{\mathcal{O}} g(u) du \right| \\ & \leq \frac{\mathcal{O} - \varrho}{8} \left( \frac{2}{(1 + s)(s + 2)} \right)^{\frac{1}{\theta}} \left( \left( \left( 1 + 2^{1 - s} \right) |g'(\varrho)|^{q} + 2^{1 - s} |g'(\sigma)|^{q} \right)^{\frac{1}{\theta}} \right) \\ & \quad + \left( 2^{1 - s} |g'(\varrho)|^{q} + \left( 1 + 2^{1 - s} \right) |g'(\sigma)|^{q} \right)^{\frac{1}{q}}. \end{split}$$

**Remark 7.** *Corollary 16, the second point will be reduced to Theorem 5 in [6] when s* = 1*.*

**Corollary 17.** *In Corollary 15, if we use the discrete power mean inequality, we obtain*

$$\left| L^a[w]g\left(\frac{\varrho+\alpha}{2}\right) - L^a[wg] \right|$$

$$\leq \inf\_{2a(a+1)^{1-\frac{1}{q}}} \|w\|\_{\left[\varrho,\alpha\right],\infty} \left( \frac{(1+s)(a+s+1)B(s+1,a+1) + 2^{2-s}}{(1+s)(a+s+1)} \right)^{\frac{1}{q}} \left( \frac{|g'(\varrho)|^q + |g'(\varrho)|^q}{2} \right)^{\frac{1}{q}}.$$

**Corollary 18.** *In Corollary 17, if we use:*

*1. α* = 1*, we obtain*

$$\begin{aligned} & \left| \lg \left( \frac{\varrho + \mathcal{O}}{2} \right) \int\_{\varrho}^{\mathcal{O}} w(\mathcal{N}) d\mathcal{N} - \int\_{\varrho}^{\mathcal{O}} w(\mathcal{N}) \mathcal{g}(\mathcal{N}) d\mathcal{N} \right| \\ & \leq \frac{\left( \mathcal{O} - \varrho \right)^{2}}{4} ||w||\_{[\varrho, \mathcal{O}], \infty} \left( \frac{1 + 2^{2 - s}}{(1 + s)(s + 2)} \right)^{\frac{1}{q}} \left( |\mathcal{g'}(a)|^{q} + |\mathcal{g'}(\mathcal{o})|^{q} \right)^{\frac{1}{q}}. \end{aligned}$$

*2. w*(*u*) = <sup>1</sup> − *, we obtain*

$$\begin{aligned} &\left|\mathcal{g}\left(\frac{\varrho+\mathcal{a}}{2}\right)-\frac{2^{\mathfrak{a}-1}}{\left(\mathfrak{a}-\varrho\right)^{\mathfrak{a}}}\Gamma(\mathfrak{a}+1)\left(\binom{\mathfrak{a}}{\left(\frac{\mathfrak{a}+\mathfrak{a}}{2}\right)^{-}}\mathfrak{g}(\mathfrak{a})+\binom{\mathfrak{a}}{\left(\frac{\mathfrak{a}+\mathfrak{a}}{2}\right)^{+}}\mathfrak{g}(\mathfrak{a})\right)\right|\\ &\leq \frac{\mathfrak{a}-\varrho}{2\left(\mathfrak{a}+1\right)^{1-\frac{1}{q}}}\left(\frac{\left(1+s\right)\mathfrak{a}+s+1\right)\mathcal{B}(s+1,\mathfrak{a}+1)+2^{2-s}}{\left(1+s\right)\left(\mathfrak{a}+s+1\right)}\right)^{\frac{1}{q}}\left(\frac{\left|\mathcal{g}'(\mathfrak{a})\right|^{q}+\left|\mathcal{g}'(\mathfrak{a})\right|^{q}}{2}\right)^{\frac{1}{q}}.\end{aligned}$$

$$\text{3. }\quad w(\mu) = \frac{1}{\vec{\omega} - \vec{\varrho}} \text{ and } \mathfrak{a} = 1, \text{ we obtain}$$

$$\left| \left\| \left( \frac{\varrho + \mathcal{O}}{2} \right) - \frac{1}{\mathcal{O} - \varrho} \int\_{\varrho} g(u) du \right\| \leq \frac{\mathcal{O} - \varrho}{4} \left( \frac{1 + 2^{2 - s}}{(1 + s)(s + 2)} \right)^{\frac{1}{q}} \left( |g'(\varrho)|^{q} + |g'(\varrho)|^{q} \right)^{\frac{1}{q}}.$$

**Remark 8.** *Corollary 18, the first point will be reduced to Theorem 2 in [8] when s* = 1*.*

#### **4. Applications**

*4.1. Weighted Midpoint Quadrature*

Let Υ be the partition of the points = ℘<sup>0</sup> < ℘<sup>1</sup> < ... < ℘*<sup>n</sup>* = of the interval [, ], and consider the quadrature formula

$$\int\_{\varrho}^{\mathcal{O}} w(u)g(u)du = \lambda\_w(\mathcal{g}, \mathcal{Y}) + \mathcal{R}\_w(\mathcal{g}, \mathcal{Y})\_w$$

where

$$\lambda\_w(\mathcal{g}\_\prime \mathcal{Y}) = \sum\_{i=0}^{n-1} \mathcal{g}\left(\frac{\wp\_i + \wp\_{i+1}}{2}\right) \int\_{\wp\_i}^{\wp\_{i+1}} w(u) du$$

and *Rw*(*g*, Υ) is the associated approximation error.

**Proposition 1.** *Let <sup>g</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a differentiable function on* (, ) *with* <sup>0</sup> <sup>≤</sup> <sup>&</sup>lt; *and <sup>g</sup>* <sup>∈</sup> *<sup>L</sup>*1[, ]*, and let <sup>w</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be symmetric as regards* + <sup>2</sup> *. If* |*g* | *is s-convex function, then for n* <sup>∈</sup> <sup>N</sup> *we have*

$$|R\_w(\mathcal{g}, \mathcal{Y})| \le \frac{(2^{2-s} + 1)}{4(1+s)(s+2)} ||w||\_{[\varrho, \mathcal{Q}], \infty} \sum\_{i=0}^{n-1} (\wp\_{i+1} - \wp\_i)^2 \left( |\mathcal{g'}(\wp\_i)| + |\mathcal{g'}(\wp\_{i+1})| \right).$$

**Proof.** Applying Corollary 5 on the subintervals [℘*i*, ℘*i*+1] (*i* = 0, 1, ..., *n* − 1) of the partition Υ, we obtain

$$\left| \mathcal{g} \left( \frac{\wp\_{i} + \wp\_{i+1}}{2} \right) \int\_{\wp\_{i}}^{\wp\_{i+1}} w(u) du - \int\_{\wp\_{i}}^{\wp\_{i+1}} w(u)g(u) du \right| $$

$$\leq \frac{\left( 2^{2-s} + 1 \right) \left( \wp\_{i+1} - \wp\_{i} \right)^{2}}{4(1+s)(s+2)} ||w||\_{\left[ \wp\_{i}, \wp\_{i+1} \right], \infty} \left( \left| g'(\wp\_{i}) \right| + \left| g'(\wp\_{i+1}) \right| \right)$$

Add the above inequalities for all *i* = 0, 1, ..., *n* − 1 and using the triangular inequality to obtain the desired result.

.

**Proposition 2.** *Let <sup>g</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a differentiable function on* (, ) *with* <sup>0</sup> <sup>≤</sup> <sup>&</sup>lt; *and <sup>g</sup>* <sup>∈</sup> *<sup>L</sup>*1[, ]*, and let <sup>w</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be symmetric as regards* + <sup>2</sup> *. If* |*g* | *<sup>q</sup> is a s-convex function, then for n* <sup>∈</sup> <sup>N</sup> *we have*

$$|\mathbb{R}(\mathbf{g},\mathbf{Y})| \le \frac{||w||\_{\left[\varrho,\varrho\right],\infty}}{2(p+1)^{\frac{1}{p}}} \sum\_{i=0}^{n-1} (\wp\_{i+1} - \wp\_i)^2 \left(\frac{1+s+2^{2-s}}{(1+s)^2}\right)^{\frac{1}{q}} \left(\frac{|\mathbf{g}'(\wp\_i)|^q + |\mathbf{g}'(\wp\_{i+1})|^q}{2}\right)^{\frac{1}{q}}.$$

**Proof.** Applying Corollary 12 on the subintervals [℘*i*, ℘*i*+1] (*i* = 0, 1, ..., *n* − 1) of the partition Υ, we obtain

$$\left| \mathcal{S} \left( \frac{\wp\_{i} + \wp\_{i+1}}{2} \right) \int\_{\wp\_{i}}^{\wp\_{i+1}} w(u) du - \int\_{\wp\_{i}}^{\wp\_{i+1}} w(u) \mathcal{g}(u) du \right| $$

$$\leq \frac{\left( \wp\_{i+1} - \wp\_{i} \right)^{2}}{2(p+1)^{\frac{1}{p}}} ||w||\_{\left[\wp\_{i}, \wp\_{i+1}\right], \infty} \left( \frac{1+s+2^{2-s}}{\left(1+s\right)^{2}} \right)^{\frac{1}{q}} \left( \frac{|\mathcal{g}'(\wp\_{i})|^{q} + |\mathcal{g}'(\wp\_{i+1})|^{q}}{2} \right)^{\frac{1}{q}}.$$

Add the above inequalities for all *i* = 0, 1, ..., *n* − 1 and using the triangular inequality to obtain the desired result.

**Proposition 3.** *Let <sup>g</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be a differentiable function on* (, ) *with* <sup>0</sup> <sup>≤</sup> <sup>&</sup>lt; *and <sup>g</sup>* <sup>∈</sup> *<sup>L</sup>*1[, ]*, and let <sup>w</sup>* : [, ] <sup>→</sup> <sup>R</sup> *be symmetric as regards* + <sup>2</sup> *. If* |*g* | *<sup>q</sup> is a s-convex function, then, for n* <sup>∈</sup> <sup>N</sup>*, we have*

$$|R(\mathcal{g}, \mathcal{Y})| \le \frac{||w||\_{[a\_i b], \infty}}{4} \left(\frac{1 + 2^{2 - s}}{(1 + s)(s + 2)}\right)^{\frac{1}{q}} \sum\_{i = 0}^{n - 1} (\wp\_{i + 1} - \wp\_i)^2 \left( |\mathcal{g}'(\wp\_i)|^q + |\mathcal{g}'(\wp\_{i + 1})|^q \right)^{\frac{1}{q}}.$$

**Proof.** Applying Corollary 18 on the subintervals [℘*i*, ℘*i*+1] (*i* = 0, 1, ..., *n* − 1) of the partition Υ, we obtain

$$\left| g \left( \frac{\wp\_{i} + \wp\_{i+1}}{2} \right) \int\_{\wp\_{i}}^{\wp\_{i+1}} w(u) du - \int\_{\wp\_{i}}^{\wp\_{i+1}} w(u)g(u) du \right| $$

$$\leq \frac{\left( \wp\_{i+1} - \wp\_{i} \right)^{2}}{4} ||w||\_{\left[ \wp\_{i}, \wp\_{i+1} \right], \infty} \left( \frac{1 + 2^{2-s}}{(1+s)(s+2)} \right)^{\frac{1}{q}} \left( |g'(\wp\_{i})|^{q} + |g'(\wp\_{i+1})|^{q} \right)^{\frac{1}{q}}.$$

Add the above inequalities for all *i* = 0, 1, ..., *n* − 1 and using the triangular inequality to obtain the desired result.

*4.2. Application to Special Means*

Let , be two arbitrary real numbers:

The Arithmetic mean:

$$A(\varrho, \mathcal{O}) = \frac{\varrho + \mathcal{O}}{2}.$$

The Logarithmic mean:

$$L(\varrho, \mathcal{O}) = \frac{\mathcal{O} - \varrho}{\ln \mathcal{O} - \ln \varrho}, \; \varrho, \mathcal{O} > 0, \; \varrho \neq \mathcal{O}.$$

The *p*-Logarithmic mean:

$$L\_p(\varrho, \mathcal{O}) = \left(\frac{\mathfrak{o}^{p+1} - \mathfrak{e}^{p+1}}{(p+1)(\mathfrak{o} - \mathfrak{e})}\right)^{\frac{1}{p}}, \varrho, \mathfrak{o} > 0, \ \mathfrak{e} \neq \mathfrak{o} \ \text{and} \ p \in \mathbb{R} \mathbb{V}\{-1, 0\}.$$

**Proposition 4.** *Let* , <sup>∈</sup> <sup>R</sup> *with* <sup>0</sup> <sup>&</sup>lt; <sup>&</sup>lt; *, then we have*

$$\left| A^{\frac{3}{2}}(\varrho,\mathcal{O}) - L^{\frac{\frac{3}{2}}{2}}(\varrho,\mathcal{O}) \right| \leq \frac{\mathcal{O} - \varrho}{10} \left( \varrho^{\frac{1}{2}} + 3 \left( \frac{\varrho + \mathcal{O}}{2} \right)^{\frac{1}{2}} + \mathcal{O}^{\frac{1}{2}} \right).$$

**Proof.** Using Corollary 3 for function *g*(*k*) = *k* 3 <sup>2</sup> whose derivative *g* (*k*) = <sup>3</sup> 2 *k* 1 <sup>2</sup> is <sup>1</sup> 2 convex.

**Proposition 5.** *Let* , <sup>∈</sup> <sup>R</sup> *with* <sup>0</sup> <sup>&</sup>lt; <sup>&</sup>lt; *, then we have*

$$\left| A^{-1}(\varrho, \mathcal{O}) - L^{-1}(\varrho, \mathcal{O}) \right| \le \frac{(\mathcal{O} - \varrho)\sqrt{3}}{12} \left( \left( \frac{2\varrho + \mathcal{O}}{\varrho \mathcal{O}} \right)^{\frac{1}{2}} + \left( \frac{\mathcal{O} + 2\varrho}{\varrho \mathcal{O}} \right)^{\frac{1}{2}} \right).$$

**Proof.** Applying Corollary 17 with *q* = 2 to the function *g*(*k*) = <sup>1</sup> *<sup>k</sup>* whose derivative |*g* (*k*)| <sup>2</sup> = <sup>1</sup> *<sup>k</sup>* is *P*-function.

#### **5. Conclusions**

In this study, we considered the weighted midpoint-type integral inequalities for *s*-convex first derivatives using Riemann–Liouville integrals operators, where the main novelties of the paper are provided by a new identity regarding the weighted midpoint-type inequalities being presented and some new fractional weighted midpoint-type inequalities for functions whose first derivatives are *s*-convex being established. Some special cases are derived and the applications of our results are provided.

**Author Contributions:** Writing—original draft preparation, N.N., F.A. and A.F.; writing—review and editing, K.B.; visualization, B.M.; supervision, K.Z.; project administration, T.R.; funding acquisition, T.R. All authors have read and agreed to the published version of the manuscript.

**Funding:** This research received no external funding.

**Data Availability Statement:** Not applicable.

**Acknowledgments:** Researchers would like to thank the Deanship of Scientific Research, Qassim University for funding the publication of this project.

**Conflicts of Interest:** The authors declare no conflict of interest.

#### **References**


**Disclaimer/Publisher's Note:** The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
