Local Pre-Hausdorffness and D-connectedness in $ \mathcal{L} $-valued closure spaces

Naveed Ahmad Malik; Sana Khyzer; Muhammad Qasim; Naveed Ahmad Malik; Sana Khyzer; Muhammad Qasim

doi:10.3934/math.2022513

AIMS Mathematics

2022, Volume 7, Issue 5: 9261-9277. doi: 10.3934/math.2022513

Previous Article Next Article

Research article

Local Pre-Hausdorffness and D-connectedness in $\mathcal{L}$ -valued closure spaces

Department of Mathematics, School of Natural Sciences (SNS), National University of Sciences and Technology (NUST), H-12 Islamabad, Pakistan

Received: 20 November 2021 Revised: 22 February 2022 Accepted: 01 March 2022 Published: 09 March 2022
MSC : 18B35, 54A05, 54B30, 54D10, 54E70

Previously, several characterization of local Pre-Hausdorffness and $D$ -connectedness have been examined in distinct topological categories. In this paper, we give the characterization of local $T_{0}$ (resp. local $T_{1}$ ) $\mathcal{L}$ -valued closure spaces, examine how their mutual relationship. Furthermore, we give the characterization of a closed point and $D$ -connectedness in $\mathcal{L}$ -valued closure spaces and examine their relations with local $T_{0}$ and local $T_{1}$ objects. Finally, we examine the characterization of local Pre-Hausdorff and local Hausdorff $\mathcal{L}$ -valued closure spaces and study their relationship with generic Hausdorff objects and $D$ -connectedness.

Keywords:

Citation: Naveed Ahmad Malik, Sana Khyzer, Muhammad Qasim. Local Pre-Hausdorffness and D-connectedness in $\mathcal{L}$ -valued closure spaces[J]. AIMS Mathematics, 2022, 7(5): 9261-9277. doi: 10.3934/math.2022513

Related Papers:

[1]	Miguel Vivas-Cortez, Muhammad Aamir Ali, Artion Kashuri, Hüseyin Budak . Generalizations of fractional Hermite-Hadamard-Mercer like inequalities for convex functions. AIMS Mathematics, 2021, 6(9): 9397-9421. doi: 10.3934/math.2021546
[2]	Saad Ihsan Butt, Artion Kashuri, Muhammad Umar, Adnan Aslam, Wei Gao . Hermite-Jensen-Mercer type inequalities via Ψ-Riemann-Liouville k-fractional integrals. AIMS Mathematics, 2020, 5(5): 5193-5220. doi: 10.3934/math.2020334
[3]	Miguel Vivas-Cortez, Muhammad Uzair Awan, Muhammad Zakria Javed, Artion Kashuri, Muhammad Aslam Noor, Khalida Inayat Noor . Some new generalized $\kappa$ –fractional Hermite–Hadamard–Mercer type integral inequalities and their applications. AIMS Mathematics, 2022, 7(2): 3203-3220. doi: 10.3934/math.2022177
[4]	Jia-Bao Liu, Saad Ihsan Butt, Jamshed Nasir, Adnan Aslam, Asfand Fahad, Jarunee Soontharanon . Jensen-Mercer variant of Hermite-Hadamard type inequalities via Atangana-Baleanu fractional operator. AIMS Mathematics, 2022, 7(2): 2123-2141. doi: 10.3934/math.2022121
[5]	Yanping Yang, Muhammad Shoaib Saleem, Waqas Nazeer, Ahsan Fareed Shah . New Hermite-Hadamard inequalities in fuzzy-interval fractional calculus via exponentially convex fuzzy interval-valued function. AIMS Mathematics, 2021, 6(11): 12260-12278. doi: 10.3934/math.2021710
[6]	Yamin Sayyari, Mana Donganont, Mehdi Dehghanian, Morteza Afshar Jahanshahi . Strongly convex functions and extensions of related inequalities with applications to entropy. AIMS Mathematics, 2024, 9(5): 10997-11006. doi: 10.3934/math.2024538
[7]	Jamshed Nasir, Saber Mansour, Shahid Qaisar, Hassen Aydi . Some variants on Mercer's Hermite-Hadamard like inclusions of interval-valued functions for strong Kernel. AIMS Mathematics, 2023, 8(5): 10001-10020. doi: 10.3934/math.2023506
[8]	Tahir Ullah Khan, Muhammad Adil Khan . Hermite-Hadamard inequality for new generalized conformable fractional operators. AIMS Mathematics, 2021, 6(1): 23-38. doi: 10.3934/math.2021002
[9]	Shahid Mubeen, Rana Safdar Ali, Iqra Nayab, Gauhar Rahman, Kottakkaran Sooppy Nisar, Dumitru Baleanu . Some generalized fractional integral inequalities with nonsingular function as a kernel. AIMS Mathematics, 2021, 6(4): 3352-3377. doi: 10.3934/math.2021201
[10]	Paul Bosch, Héctor J. Carmenate, José M. Rodríguez, José M. Sigarreta . Generalized inequalities involving fractional operators of the Riemann-Liouville type. AIMS Mathematics, 2022, 7(1): 1470-1485. doi: 10.3934/math.2022087

Abstract

1. Introduction

For a convex function $\sigma:\mathrm{I}\subseteq \bf{R}\to \bf{R}$ on $\mathrm{I}$ with $\nu_{1}, \nu_{2}\in \mathrm{I}$ and $\nu_{1} < \nu_{2}$ , the Hermite-Hadamard inequality is defined by ^[1]:

$\begin{equation} \sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \leq \frac{1}{\nu_{2}-\nu_{1}}\int_{\nu_{1}}^{\nu_{2}}\sigma(\eta)d\eta \leq \frac{\sigma(\nu_{1})+\sigma(\nu_{2})}{2}. \end{equation}$

(1.1)

The Hermite-Hadamard integral inequality (1.1) is one of the most famous and commonly used inequalities. The recently published papers ^[2,3,4] are focused on extending and generalizing the convexity and Hermite-Hadamard inequality.

The situation of the fractional calculus (integrals and derivatives) has won vast popularity and significance throughout the previous five decades or so, due generally to its demonstrated applications in numerous seemingly numerous and great fields of science and engineering ^[5,6,7].

Now, we recall the definitions of Riemann-Liouville fractional integrals.

Definition 1.1 (^[5,6,7]). Let $\sigma\in L_{1}[\nu_{1}, \nu_{2}].$ The Riemann-Liouville integrals $J_{\nu_{1}+}^{\vartheta }\sigma$ and $J_{\nu_{2}-}^{\vartheta }\sigma$ of order $\vartheta > 0$ with $\nu_{1}\geq 0$ are defined by

$\begin{equation} J_{\nu_{1}+}^{\vartheta }\sigma(x) = \frac{1}{\Gamma (\vartheta )}\int_{\nu_{1}}^{x}(x-\eta)^{\vartheta -1}\sigma(\eta)d\eta,\; \ \ \ \nu_{1} < x \end{equation}$

(1.2)

and

$\begin{equation} J_{\nu_{2}-}^{\vartheta }\sigma(x) = \frac{1}{\Gamma (\vartheta )}\int_{x}^{\nu_{2}}(\eta-x)^{\vartheta -1}\sigma(\eta)d\eta,\; \ \ x < \nu_{2}, \end{equation}$

(1.3)

respectively. Here $\Gamma (\vartheta)$ is the well-known Gamma function and $J_{\nu_{1}+}^{0}\sigma(x) = J_{\nu_{2}-}^{0}\sigma(x) = \sigma(x).$

With a huge application of fractional integration and Hermite-Hadamard inequality, many researchers in the field of fractional calculus extended their research to the Hermite-Hadamard inequality, including fractional integration rather than ordinary integration; for example see ^{[8,9,10,11,12,13,14,15,16,17,18,19,20,21]}.

In this paper, we consider the integral inequality of Hermite-Hadamard-Mercer type that relies on the Hermite-Hadamard and Jensen-Mercer inequalities. For this purpose, we recall the Jensen-Mercer inequality: Let $0 < x_{1}\leq x_{2}\leq \cdots\leq x_{n}$ and $\mu = (\mu _{1}, \mu_{2}, \ldots, \mu _{n})$ nonnegative weights such that $\sum_{i = 1}^{n}\mu_{i} = 1$ . Then, the Jensen inequality ^[22,23] is as follows, for a convex function $\sigma$ on the interval $[\nu_{1}, \nu_{2}]$ , we have

$\begin{equation} \sigma\Bigg(\sum\limits_{i = 1}^{n}\mu _{i}x_{i}\Bigg)\leq \sum\limits_{i = 1}^{n}\mu _{i}\sigma(x_{i}), \end{equation}$

(1.4)

where for all $x_{i}\in \lbrack \nu_{1}, \nu_{2}]$ and $\mu_{i}\in \lbrack 0, 1]$ , $(i = \overline{1, n})$ .

Theorem 1.1 (^[2,23]). If $\sigma$ is convex function on $[\nu_{1}, \nu_{2}]$ , then

$\begin{equation} \sigma\left(\nu_{1}+\nu_{2}-\sum\limits^{n}_{i = 1}\mu_{i}x_{i}\right)\leq \sigma(\nu_{1})+\sigma(\nu_{2})-\sum\limits^{n}_{i = 1}\mu_{i}\sigma(x_{i}), \end{equation}$

(1.5)

for each $x_{i}\in[\nu_{1}, \nu_{2}]$ and $\mu_{i}\in[0, 1]$ , $(i = \overline{1, n})$ with $\sum^{n}_{i = 1}\mu_{i} = 1$ . For some results related with Jensen-Mercer inequality, see ^[24,25,26].

In view of above indices, we establish new integral inequalities of Hermite-Hadamard-Mercer type for convex functions via the Riemann-Liouville fractional integrals in the current project. Particularly, we see that our results can cover the previous researches.

2. Main results

Theorem 2.1. For a convex function $\sigma:[\nu_{1}, \nu_{2}]\subseteq \bf{R} \to\bf{R}$ with $x, y\in[\nu_{1}, \nu_{2}]$ , we have:

$\begin{multline} \sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\leq \frac{2^{\vartheta -1} \Gamma\left(\vartheta +1\right)}{\left( y-x\right)^{\vartheta}} \Biggl[ J_{\left(\nu_{1}+\nu_{2}-y\right)+}^{\vartheta}\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \\ +\; J_{\left(\nu_{1}+\nu_{2}-x\right)-}^{\vartheta}\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\Biggr] \leq \sigma\left(\nu_{1}\right)+\sigma\left(\nu_{2}\right)-\frac{\sigma\left(x\right)+\sigma\left(y\right)}{2}. \end{multline}$

(2.1)

Proof. By using the convexity of $\sigma$ , we have

$\begin{equation} \sigma\left( \nu_{1}+\nu_{2}-\frac{u+v}{2}\right) \leq \frac{1}{2}\left[ \sigma\left( \nu_{1}+\nu_{2}-u\right) +\sigma\left( \nu_{1}+\nu_{2}-v\right) \right], \end{equation}$

(2.2)

and above with $u = \frac{1-\eta}{2}x+\frac{1+\eta}{2}y$ , $v = \frac{1+\eta}{2}x+\frac{1-\eta}{2}y$ , where $x, y\in[\nu_{1}, \nu_{2}]$ and $\eta\in [0, 1]$ , leads to

$\begin{multline} \sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\leq\frac{1}{2} \Biggl[\sigma\left(\nu_{1}+\nu_{2}-\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)\right) \\ +\sigma\left(\nu_{1}+\nu_{2}-\left(\frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right)\Biggr]. \end{multline}$

(2.3)

Multiplying both sides of (2.3) by $\eta^{\vartheta -1}$ and then integrating with respect to $\eta$ over $[0, 1]$ , we get

$\begin{align*} \frac{1}{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) &\leq \frac{1}{2}\left[\int_{0}^{1}\eta^{\vartheta-1} \sigma\left(\nu_{1}+\nu_{2}-\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)\right)d\eta\right. \\ &+\left. \int_{0}^{1}\eta^{\vartheta -1}\sigma\left( \nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right)d\eta\right] \\ & = \frac{1}{2}\left[ \frac{2^{\vartheta }}{\left( y-x\right) ^{\vartheta }}\int_{\nu_{1}+\nu_{2}-y}^{\nu_{1}+\nu_{2}-\frac{x+y}{2}} \left( \left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right)-w\right) ^{\vartheta -1}\sigma\left( w\right) dw\right. \\ &\left. +\frac{2^{\vartheta}}{\left(y-x\right)^{\vartheta}}\int_{\nu_{1}+\nu_{2}-\frac{x+y}{2}}^{\nu_{1}+\nu_{2}-x} \left( w-\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right) ^{\vartheta-1}\sigma\left( w\right) dw\right] \\ & = \frac{2^{\vartheta-1}\Gamma \left(\vartheta\right)}{\left(y-x\right)^{\vartheta}} \left[J_{\left(\nu_{1}+\nu_{2}-y\right)+}^{\vartheta}\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) +\; J_{\left(\nu_{1}+\nu_{2}-x\right)-}^{\vartheta}\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right], \end{align*}$

and thus the proof of first inequality in (2.1) is completed.

On the other hand, we have by using the Jensen-Mercer inequality:

$\begin{eqnarray} \sigma\left( \nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right) \right) &\leq &\sigma\left( \nu_{1}\right) +\sigma\left( \nu_{2}\right) -\left( \frac{1-\eta}{2}\sigma\left( x\right) +\frac{1+\eta}{2}\sigma\left( y\right) \right) \end{eqnarray}$

(2.4)

$\begin{eqnarray} \sigma\left( \nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right) \right) &\leq &\sigma\left( \nu_{1}\right) +\sigma\left( \nu_{2}\right) -\left( \frac{1+\eta}{2}\sigma\left( x\right) +\frac{1-\eta}{2}\sigma\left( y\right) \right). \end{eqnarray}$

(2.5)

Adding inequalities (2.4) and (2.5) to get

$\begin{multline} \sigma\left( \nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right) \right) +\sigma\left(\nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right) \right) \\ \leq 2\left[\sigma\left(\nu_{1}\right)+\sigma\left(\nu_{2}\right)\right]-\left[\sigma\left(x\right)+\sigma\left(y\right)\right]. \end{multline}$

(2.6)

Multiplying both sides of (2.6) by $\eta^{\vartheta -1}$ and then integrating with respect to $\eta$ over $[0, 1]$ to obtain

$\begin{multline*} \int_{0}^{1}\eta^{\vartheta -1}\sigma\left( \nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right) \right)d\eta +\int_{0}^{1}\eta^{\vartheta-1}\sigma\left(\nu_{1}+\nu_{2}-\left(\frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right)d\eta \\ \leq \frac{2}{\vartheta}\left[\sigma\left(\nu_{1}\right)+\sigma\left(\nu_{2}\right)\right] -\frac{1}{\vartheta }\left[ \sigma\left( x\right) +\sigma\left( y\right) \right]. \end{multline*}$

By making use of change of variables and then multiplying by $\frac{\vartheta }{2}$ , we get the second inequality in (2.1).

Remark 2.1. If we choose $\vartheta = 1$ , $x = \nu_{1}$ and $y = \nu_{2}$ in Theorem 2.1, then the inequality (2.1) reduces to (1.1).

Corollary 2.1. Theorem 2.1 with

● $\vartheta = 1$ becomes [24, Theorem 2.1].

● $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{align*} \sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right)\leq\frac{2^{\vartheta-1}\Gamma\left(\vartheta+1\right)}{\left(\nu_{2}-\nu_{1}\right)^{\vartheta}} \left[J_{\nu_{1}+}^{\vartheta }\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right)+\; J_{\nu_{2}-}^{\vartheta }\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right)\right] \leq \frac{\sigma\left(\nu_{1}\right)+\sigma\left(\nu_{2}\right) }{2}, \end{align*}$

which is obtained by Mohammed and Brevik in ^[10].

The following Lemma linked with the left inequality of (2.1) is useful to obtain our next results.

Lemma 2.1. Let $\sigma:[\nu_{1}, \nu_{2}]\subseteq\bf{R} \to\bf{R}$ be a differentiable function on $(\nu_{1}, \nu_{2})$ and $\sigma'\in L[\nu_{1}, \nu_{2}]$ with $\nu_{1}\leq \nu_{2}$ and $x, y\in[\nu_{1}, \nu_{2}]$ . Then, we have:

$\begin{multline} \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left( y-x\right)^{\vartheta}} \left[ J_{\left( \nu_{1}+\nu_{2}-y\right) +}^{\vartheta }\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) +\; J_{\left( \nu_{1}+\nu_{2}-x\right)-}^{\vartheta}\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\right] \\ -\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) = \frac{\left(y-x\right)}{4}\int_{0}^{1}\eta^{\vartheta} \Bigl[\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)\right) \\ -\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right)\Bigr]d\eta. \end{multline}$

(2.7)

Proof. From right hand side of (2.7), we set

$\begin{align} \varpi_{1}-\varpi_{2}&:= \int_{0}^{1}\eta^{\vartheta}\left[\sigma'\left(\nu_{1}+\nu_{2} -\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)\right) -\sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right)\right]d\eta \\ & = \int_{0}^{1}\eta^{\vartheta }\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)\right)d\eta \\ &-\int_{0}^{1}\eta^{\vartheta}\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right) d\eta. \end{align}$

(2.8)

By integrating by parts with $w = \nu_{1}+\nu_{2}-\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)$ , we can deduce:

$\begin{align*} \varpi_{1}& = -\frac{2}{\left( y-x\right) }\sigma\left(\nu_{1}+\nu_{2}-y\right)+\frac{2\vartheta }{\left(y-x\right)} \int_{0}^{1}\eta^{\vartheta -1}\sigma\left( \nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right) \right) d\eta \\ & = -\frac{2}{\left(y-x\right)}\sigma\left(\nu_{1}+\nu_{2}-y\right)+\frac{2^{\vartheta+1}\vartheta}{\left(y-x\right)^{\vartheta+1}} \int_{\nu_{1}+\nu_{2}-y}^{\nu_{1}+\nu_{2}-\frac{x+y}{2}}\sigma\left(\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right)-w\right)^{\vartheta -1} \sigma\left(w\right) dw \\ & = -\frac{2}{\left(y-x\right)}\sigma\left( \nu_{1}+\nu_{2}-y\right) +\frac{2^{\vartheta+1}\Gamma\left(\vartheta+1\right)}{\left( y-x\right) ^{\vartheta +1}} J_{\left(\nu_{1}+\nu_{2}-y\right)+}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right). \end{align*}$

Similarly, we can deduce:

$\begin{equation*} \varpi_{2} = \frac{2}{y-x}\sigma\left(\nu_{1}+\nu_{2}-x\right) -\frac{2^{\vartheta+1}\Gamma\left(\vartheta+1\right)}{\left( y-x\right) ^{\vartheta +1}} J_{\left( \nu_{1}+\nu_{2}-x\right)-}^{\vartheta }\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right). \end{equation*}$

By substituting $\varpi_{1}$ and $\varpi_{2}$ in (2.8) and then multiplying by $\frac{\left(y-x\right)}{4}$ , we obtain required identity (2.7).

Corollary 2.2. Lemma 2.1 with

● $\vartheta = 1$ becomes:

$\begin{multline*} \frac{1}{y-x}\int_{\nu_{1}+\nu_{2}-y}^{\nu_{1}+\nu_{2}-x}\sigma\left(w\right) dw-\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) = \frac{\left( y-x\right) }{4}\int_{0}^{1}\eta\left[ \sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right) \right) \right. \\ \left. -\sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right) \right] d\eta. \end{multline*}$

● $\vartheta = 1$ , $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{multline*} \frac{1}{\nu_{2}-\nu_{1}}\int_{\nu_{1}}^{\nu_{2}}\sigma\left( w\right) dw-\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) = \frac{\left( \nu_{2}-\nu_{1}\right) }{4}\int_{0}^{1}\eta \left[ \sigma'\left(\nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}\nu_{1}+\frac{1+\eta}{2}\nu_{2}\right) \right) \right. \\ \left. -\sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}\nu_{1}+\frac{1-\eta}{2}\nu_{2}\right)\right) \right] d\eta. \end{multline*}$

● $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{multline*} \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left( \nu_{2}-\nu_{1}\right)^{\vartheta }} \left[ J_{\nu_{1}+}^{\vartheta }\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) +\; J_{\nu_{2}-}^{\vartheta }\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \right]-\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \\ = \frac{\left( \nu_{2}-\nu_{1}\right) }{4}\int_{0}^{1}\eta^{\vartheta } \left[\sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}\nu_{1}+\frac{1+\eta}{2}\nu_{2}\right) \right) \right. \left. -\sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}\nu_{1}+\frac{1-\eta}{2}\nu_{2}\right) \right) \right] d\eta. \end{multline*}$

Theorem 2.2. Let $\sigma:[\nu_{1}, \nu_{2}]\subseteq\bf{R}\to\bf{R}$ be a differentiable function on $(\nu_{1}, \nu_{2})$ and $|\sigma'|$ is convex on $[\nu_{1}, \nu_{2}]$ with $\nu_{1}\leq \nu_{2}$ and $x, y\in[\nu_{1}, \nu_{2}]$ . Then, we have:

$\begin{multline} \Biggl| \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left(y-x\right) ^{\vartheta }} \Biggl[ J_{\left( \nu_{1}+\nu_{2}-y\right) +}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \Biggr] \\ -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\Biggr| \leq \frac{\left( y-x\right) }{2\left( 1+\vartheta \right) }\left[ \left| \sigma'\left( \nu_{1}\right) \right| +\left| \sigma'\left(\nu_{2}\right) \right| -\frac{\left| \sigma'\left( x\right) \right| +\left| \sigma'\left( y\right) \right| }{2}\right]. \end{multline}$

(2.9)

Proof. By taking modulus of identity (2.7), we get

$\begin{multline*} \Biggl|\frac{2^{\vartheta-1}\Gamma\left(\vartheta+1\right)}{\left(y-x\right)^{\vartheta}} \left[J_{\left(\nu_{1}+\nu_{2}-y\right)+}^{\vartheta}\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right] \\ -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \Biggr|\leq \frac{\left( y-x\right) }{4} \left[\int_{0}^{1}\eta^{\vartheta }\left|\sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right) \right) \right| d\eta\right. \\ \left. +\int_{0}^{1}\eta^{\vartheta }\left| \sigma'\left( \nu_{1}+\nu_{2}-\left( \frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right) \right) \right| d\eta\right]. \end{multline*}$

Then, by applying the convexity of $|\sigma'|$ and the Jensen-Mercer inequality on above inequality, we get

$\begin{align*} &\Biggl|\frac{2^{\vartheta-1}\Gamma\left(\vartheta+1\right)}{\left(y-x\right)^{\vartheta}} \left[J_{\left(\nu_{1}+\nu_{2}-y\right)+}^{\vartheta}\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right] \\ &-\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \Biggr|\leq \frac{\left( y-x\right) }{4}\left[ \int_{0}^{1}\eta^{\vartheta }\left[ \left| \sigma'\left( \nu_{1}\right) \right| +\left| \sigma'\left( \nu_{2}\right) \right| -\left( \frac{1+\eta}{2}\left| \sigma^{\prime }\left( x\right) \right| +\frac{1-\eta}{2}\right) \left| \sigma'\left( y\right) \right| \right] d\eta\right. \\ &\left. +\int_{0}^{1}\eta^{\vartheta }\left[ \left| \sigma'\left(\nu_{1}\right) \right| +\left| \sigma'\left( \nu_{2}\right) \right| -\left(\frac{1-\eta}{2}\left|\sigma'\left(x\right) \right| +\frac{1+\eta}{2}\right)\left| \sigma'\left( y\right)\right| \right] d\eta\right] \\ & = \frac{\left(y-x\right)}{2\left(1+\vartheta \right)}\left[ \left|\sigma'\left( \nu_{1}\right)\right| +\left|\sigma'(\nu_{2})\right|-\frac{\left|\sigma'\left(x\right)\right|+\left|\sigma'\left(y\right)\right|}{2}\right], \end{align*}$

which completes the proof of Theorem 2.2.

Corollary 2.3. Theorem 2.2 with

● $\vartheta = 1$ becomes:

$\begin{align*} \left|\frac{1}{y-x}\int_{\nu_{1}+\nu_{2}-y}^{\nu_{1}+\nu_{2}-x}\sigma(w)dw-\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\right| \leq \frac{\left(y-x\right)}{4}\left[\left| \sigma'\left(\nu_{1}\right)\right|+\left|\sigma'\left(\nu_{2}\right)\right| -\frac{\left|\sigma'\left(x\right)\right|+\left|\sigma'\left(y\right)\right|}{2}\right]. \end{align*}$

● $\vartheta = 1$ , $x = \nu_{1}$ and $y = \nu_{2}$ becomes [27, Theorem 2.2].

● $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{align*} \left\vert \frac{1}{\nu_{2}-\nu_{1}}\int_{\nu_{1}}^{\nu_{2}}\sigma\left( w\right) dw-\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \right\vert \leq \frac{\left( \nu_{2}-\nu_{1}\right) }{4}\left[ \frac{\left\vert \sigma^{\prime }\left( \nu_{1}\right) \right\vert +\left\vert \sigma^{\prime }\left( \nu_{2}\right) \right\vert }{2}\right] . \end{align*}$

Theorem 2.3. Let $\sigma:[\nu_{1}, \nu_{2}]\subseteq\bf{R}\to\bf{R}$ be a differentiable function on $(\nu_{1}, \nu_{2})$ and $\left| \sigma'\right|^{q}, q > 1$ is convex on $[\nu_{1}, \nu_{2}]$ with $\nu_{1}\leq \nu_{2}$ and $x, y\in[\nu_{1}, \nu_{2}]$ . Then, we have:

$\begin{multline} \left| \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left( y-x\right) ^{\vartheta }}\left[ J_{\left( \nu_{1}+\nu_{2}-y\right) +}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}- \frac{x+y}{2}\right) \right. \right. \\ \left. \left. +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right] -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right| \\ \leq \frac{\left( y-x\right) }{4\sqrt[p]{\vartheta p+1}} \left[ \left( \left| \sigma'\left( \nu_{1}\right) \right|^{q}+\left| \sigma'\left(\nu_{2}\right)\right| ^{q} -\left(\frac{\left|\sigma'(x) \right|^{q}+3\left|\sigma'(y)\right|^{q}}{4}\right)\right)^{\frac{1}{q}}\right. \\ \left. +\left( \left| \sigma'\left( \nu_{1}\right) \right|^{q}+\left|\sigma'\left(\nu_{2}\right)\right|^{q} -\left(\frac{3\left|\sigma'(x)\right|^{q}+\left|\sigma'(y)\right|^{q}}{4}\right)\right)^{\frac{1}{q}}\right], \end{multline}$

(2.10)

where $\frac{1}{p}+\frac{1}{q} = 1$ .

Proof. By taking modulus of identity (2.7) and using Hölder's inequality, we get

$\begin{multline*} \left| \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left(y-x\right)^{\vartheta }} \left[ J_{\left( \nu_{1}+\nu_{2}-y\right)+}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right. \right. \\ \left. \left. +\; J_{\left(\nu_{1}+\nu_{2}-x\right)-}^{\vartheta }\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right] -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right| \\ \leq \frac{\left( y-x\right) }{4}\left( \int_{0}^{1}\eta^{\vartheta p}\right)^{\frac{1}{p}} \left\{\left(\int_{0}^{1} \left|\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)\right)\right|^{q}d\eta\right) ^{\frac{1}{q}}\right. \\ \left. +\left(\int_{0}^{1} \left|\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right)\right|^{q}d\eta\right) ^{\frac{1}{q}}\right\}. \end{multline*}$

Then, by applying the Jensen-Mercer inequality with the convexity of $\left|\sigma'\right|^{q}$ , we can deduce

$\begin{align*} &\left| \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left(y-x\right) ^{\vartheta }} \left[J_{\left(\nu_{1}+\nu_{2}-y\right)+}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right. \right. \\ &\left. \left. +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right] -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right| \\ &\leq \frac{\left( y-x\right) }{4}\left( \int_{0}^{1}\eta^{\vartheta p}\right)^{\frac{1}{p}} \left\{ \left( \int_{0}^{1}\left| \sigma'\left( \nu_{1}\right)\right| ^{q}+\left| \sigma'\left( \nu_{2}\right) \right|^{q} -\left(\frac{1-\eta}{2}\left|\sigma'(x)\right|^{q}+\frac{1+\eta}{2}\left|\sigma'(y)\right|^{q}\right)\right)^{\frac{1}{q}}\right. \\ &\left. +\left( \int_{0}^{1}\left| \sigma'\left( \nu_{1}\right)\right| ^{q}+\left| \sigma'\left( \nu_{2}\right) \right|^{q} -\left(\frac{1+\eta}{2}\left| \sigma'\left( x\right)\right|^{q}+\frac{1-\eta}{2}\left| \sigma'\left( y\right) \right|^{q} \right) \right)^{\frac{1}{q}}\right\} \\ & = \frac{\left(y-x\right)}{4\sqrt[p]{\vartheta p+1}}\left[\left( \left| \sigma'\left( \nu_{1}\right) \right| ^{q} +\left|\sigma'\left( \nu_{2}\right) \right| ^{q}-\left( \frac{\left|\sigma'\left( x\right) \right|^{q} +3\left| \sigma'\left(y\right) \right|^{q} }{4}\right) \right) ^{\frac{1}{q}}\right. \\ &\left. +\left( \left| \sigma'\left( \nu_{1}\right) \right|^{q}+\left| \sigma'\left( \nu_{2}\right) \right| ^{q} -\left(\frac{3\left|\sigma'(x)\right|^{q}+\left|\sigma'(y)\right|^{q}}{4}\right)\right)^{\frac{1}{q}}\right], \end{align*}$

which completes the proof of Theorem 2.3.

Corollary 2.4. Theorem 2.3 with

● $\vartheta = 1$ becomes:

$\begin{multline*} \left|\frac{1}{y-x}\int_{\nu_{1}+\nu_{2}-y}^{\nu_{1}+\nu_{2}-x}\sigma\left(w\right)dw -\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\right| \\ \leq \frac{\left( y-x\right)}{4\sqrt[p]{p+1}}\left[\left( \left| \sigma'\left( \nu_{1}\right) \right|^{q} +\left|\sigma'\left( \nu_{2}\right) \right| ^{q}-\left( \frac{\left|\sigma'\left( x\right) \right|^{q} +3\left|\sigma'\left(y\right) \right|^{q}}{4}\right)\right)^{\frac{1}{q}}\right. \\ \left. +\left(\left|\sigma'\left( \nu_{1}\right)\right|^{q}+\left| \sigma'\left( \nu_{2}\right)\right|^{q} -\left(\frac{3\left|\sigma'(x)\right|^{q}+\left|\sigma'(y)\right|^{q} }{4}\right)\right)^{\frac{1}{q}}\right]. \end{multline*}$

● $\vartheta = 1$ , $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{align*} &&\left\vert \frac{1}{\nu_{2}-\nu_{1}}\int_{\nu_{1}}^{\nu_{2}}\sigma\left( w\right) dw-\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \right\vert \leq \frac{\left( \nu_{2}-\nu_{1}\right) }{2^{\frac{2}{p}}}\left(\frac{1}{p+1}\right)^{\frac{1}{p}}\left[ \left\vert \sigma^{\prime }\left( \nu_{1}\right) \right\vert +\left\vert \sigma^{\prime }\left( \nu_{2}\right) \right\vert \right] . \end{align*}$

● $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{align*} &\left\vert \frac{2^{\vartheta-1}\Gamma\left(\vartheta+1\right)}{\left(\nu_{2}-\nu_{1}\right)^{\vartheta}} \left[ J_{\nu_{1}+}^{\vartheta }\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \right. \right. \left. \left. +\; J_{\nu_{2}-}^{\vartheta }\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \right] -\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right) \right\vert \\ &\leq \frac{2^{\vartheta-1-\frac{2}{q}}}{\nu_{2}-\nu_{1}}\left(\frac{1}{p+1}\right)^{\frac{1}{p}}\left[ \left\vert \sigma'\left( \nu_{1}\right) \right\vert +\left\vert \sigma'\left( \nu_{2}\right) \right\vert \right]. \end{align*}$

Theorem 2.4. Let $\sigma:[\nu_{1}, \nu_{2}]\subseteq\bf{R}\to\bf{R}$ be a differentiable function on $(\nu_{1}, \nu_{2})$ and $\left|\sigma'\right|^{q}, q\geq 1$ is convex on $[\nu_{1}, \nu_{2}]$ with $\nu_{1}\leq \nu_{2}$ and $x, y\in[\nu_{1}, \nu_{2}]$ . Then, we have:

$\begin{multline} \left| \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left(y-x\right) ^{\vartheta }} \left[ J_{\left( \nu_{1}+\nu_{2}-y\right) +}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\right.\right. \\ \left. \left. +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right] -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right| \\ \leq \frac{\left(y-x\right)}{4\left(\vartheta+1\right)}\left[\left(\left|\sigma'(\nu_{1})\right|^{q} +\left|\sigma'\left(\nu_{2}\right)\right|^{q}-\left( \frac{\left| \sigma'\left(x\right)\right|^{q} +\left( 2\vartheta+3\right)\left|\sigma'(y)\right|^{q}}{2\left(\vartheta+2\right) }\right)\right)^{\frac{1}{q}}\right. \\ \left. +\left( \left|\sigma'\left(\nu_{1}\right)\right|^{q}+\left| \sigma'\left( \nu_{2}\right)\right|^{q} -\left(\frac{\left(2\vartheta+3\right)\left|\sigma'(x)\right|^{q}+\left|\sigma'(y)\right|^{q}}{2\left( \vartheta+2\right) }\right) \right) ^{\frac{1}{q}}\right]. \end{multline}$

(2.11)

Proof. By taking modulus of identity (2.7) with the well-known power mean inequality, we can deduce

$\begin{multline*} \left| \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left(y-x\right) ^{\vartheta }} \left[ J_{\left( \nu_{1}+\nu_{2}-y\right) +}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right. \right. \\ \left. \left. +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right] -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right| \\ \leq \frac{\left( y-x\right) }{4}\left( \int_{0}^{1}\eta^{\vartheta }\right) ^{1-\frac{1}{q}} \left\{\left(\int_{0}^{1}\eta^{\vartheta} \left|\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1-\eta}{2}x+\frac{1+\eta}{2}y\right)\right)\right|^{q}d\eta\right)^{\frac{1}{q}}\right. \\ \left. +\left( \int_{0}^{1}\eta^{\vartheta } \left|\sigma'\left(\nu_{1}+\nu_{2}-\left(\frac{1+\eta}{2}x+\frac{1-\eta}{2}y\right)\right)\right|^{q}d\eta\right)^{\frac{1}{q}}\right\} . \end{multline*}$

By applying the Jensen-Mercer inequality with the convexity of $\left|\sigma'\right|^{q}$ , we can deduce

$\begin{align*} &\left| \frac{2^{\vartheta -1}\Gamma \left( \vartheta +1\right) }{\left(y-x\right)^{\vartheta}} \left[ J_{\left( \nu_{1}+\nu_{2}-y\right)+}^{\vartheta}\sigma\left(\nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right. \right. \\ &\left. \left. +\; J_{\left( \nu_{1}+\nu_{2}-x\right) -}^{\vartheta }\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right)\right] -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right| \\ &\leq \frac{\left( y-x\right)}{4}\left(\int_{0}^{1}\eta^{\vartheta }\right)^{1-\frac{1}{q}} \left\{ \left( \int_{0}^{1}\eta^{\vartheta }\left[ \left|\sigma'\left( \nu_{1}\right) \right|^{q} +\left| \sigma'\left(\nu_{2}\right) \right| ^{q}-\left( \frac{1-\eta}{2}\left| \sigma'\left(x\right)\right|^{q} +\frac{1+\eta}{2}\left| \sigma'\left( y\right)\right| ^{q}\right) \right] \right) ^{\frac{1}{q}}\right. \\ &\left. +\left( \int_{0}^{1}\eta^{\vartheta }\left[ \left| \sigma'\left(\nu_{1}\right)\right|^{q} +\left| \sigma'\left( \nu_{2}\right) \right|^{q}-\left( \frac{1+\eta}{2}\left| \sigma'\left( x\right) \right|^{q} +\frac{1-\eta}{2}\left| \sigma'\left( y\right) \right|^{q}\right) \right] \right) ^{\frac{1}{q}}\right\} \\ & = \frac{\left( y-x\right) }{4\left( \vartheta +1\right) }\left[\left(\left|\sigma'\left(\nu_{1}\right)\right|^{q} +\left|\sigma'\left( \nu_{2}\right) \right| ^{q}-\left( \frac{\left| \sigma'\left(x\right) \right|^{q} +\left(2\vartheta +3\right)\left|\sigma'(y)\right|^{q}}{2\left(\vartheta+2\right)}\right)\right)^{\frac{1}{q}}\right. \\ &\left. +\left( \left| \sigma'\left( \nu_{1}\right) \right|^{q}+\left|\sigma'\left( \nu_{2}\right)\right|^{q} -\left( \frac{\left( 2\vartheta +3\right) \left| \sigma'\left( x\right) \right|^{q} +\left|\sigma'\left( y\right)\right|^{q}}{2\left(\vartheta+2\right)}\right)\right)^{\frac{1}{q}}\right], \end{align*}$

which completes the proof of Theorem 2.4.

Corollary 5. Theorem 2.4 with

● $q = 1$ becomes Theorem 2.2.

● $\vartheta = 1$ becomes:

$\begin{multline*} \left| \frac{1}{y-x}\int_{\nu_{1}+\nu_{2}-y}^{\nu_{1}+\nu_{2}-x}\sigma\left(w\right) dw -\sigma\left( \nu_{1}+\nu_{2}-\frac{x+y}{2}\right) \right| \\ \leq \frac{\left( y-x\right) }{8}\left[ \left( \left|\sigma'\left( \nu_{1}\right)\right|^{q} +\left| \sigma'\left( \nu_{2}\right)\right|^{q}-\left( \frac{\left| \sigma'\left( x\right)\right|^{q} +5\left|\sigma'\left(y\right)\right|^{q}}{6}\right)\right)^{\frac{1}{q}}\right. \\ \left. +\left( \left| \sigma'\left( \nu_{1}\right) \right|^{q}+\left|\sigma'\left(\nu_{2}\right)\right|^{q} -\left(\frac{5\left|\sigma'(x)\right|^{q}+\left|\sigma'(y)\right|^{q}}{6}\right)\right)^{\frac{1}{q}}\right]. \end{multline*}$

● $\vartheta = 1$ , $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{multline*} \left| \frac{1}{\nu_{2}-\nu_{1}}\int_{\nu_{1}}^{\nu_{2}}\sigma\left( w\right) dw -\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right)\right| \\ \leq \frac{\left(y-x\right)}{8}\left[\left(\frac{5\left|\sigma'\left(\nu_{1}\right)\right|^{q} +\left| \sigma'\left( \nu_{2}\right)\right| ^{q}}{6}\right)^{\frac{1}{q}} +\left(\frac{\left|\sigma'(\nu_{1})\right|^{q}+5\left| \sigma'(\nu_{2})\right|^{q}}{6}\right)^{\frac{1}{q}}\right]. \end{multline*}$

● $x = \nu_{1}$ and $y = \nu_{2}$ becomes:

$\begin{multline*} \left| \frac{2^{\vartheta-1}\Gamma\left(\vartheta+1\right)}{\left(\nu_{2}-\nu_{1}\right)^{\vartheta}} \left[J_{\nu_{1} +}^{\vartheta}\sigma\left(\frac{\nu_{1}+\nu_{2}}{2}\right)+\; J_{\nu_{2} -}^{\vartheta }\sigma\left( \frac{\nu_{1}+\nu_{2}}{2}\right)\right] -\sigma\left( \frac{\nu_{1}+\nu_{2}}{2}\right)\right| \\ \leq \frac{\left(\nu_{2}-\nu_{1}\right)}{4\left(\vartheta+1\right)} \left[\left(\frac{\left(2\vartheta+3\right)\left|\sigma'(\nu_{1})\right|^{q}+\left|\sigma'(\nu_{2})\right|^{q}}{2\left(\vartheta+2\right)}\right)^{\frac{1}{q}} +\left(\frac{\left|\sigma'(\nu_{1})\right|^{q}+\left(2\vartheta+3\right)\left|\sigma'(\nu_{2})\right|^{q}}{2\left(\vartheta+2\right)}\right) ^{\frac{1}{q}}\right]. \end{multline*}$

3. Applications to special means

Here, we consider the following special means:

● The arithmetic mean:

$\mathcal{A}(\nu_{1},\nu_{2}) = \frac{\nu_{1}+\nu_{2}}{2}, \quad \nu_{1}, \nu_{2}\geq 0.$

● The harmonic mean:

$\mathcal{H}(\nu_{1},\nu_{2}) = \frac{2\nu_{1}\nu_{2}}{\nu_{1}+\nu_{2}}, \quad \nu_{1}, \nu_{2} > 0.$

● The logarithmic mean:

$\begin{equation*} \mathcal{L}(\nu_{1},\nu_{2}) = \begin{cases} \frac{\nu_{2}-\nu_{1}}{\ln \nu_{2}-\ln \nu_{1}}, & \text{if}\; \nu_{1}\neq \nu_{2}, \\ \nu_{1}, & \text{if}\; \nu_{1} = \nu_{2}, \end{cases} \quad \nu_{1}, \nu_{2} > 0. \end{equation*}$

● The generalized logarithmic mean:

$\begin{equation*} \mathcal{L}_{n}(\nu_{1},\nu_{2}) = \begin{cases} \left[\frac{\nu_{2}^{n+1}-\nu_{1}^{n+1}}{\left(n+1\right)(\nu_{2}-\nu_{1})}\right]^{\frac{1}{n}}, & \text{if}\; \nu_{1}\neq \nu_{2} \\ \nu_{1}, & \text{if}\; \nu_{1} = \nu_{2}, \end{cases} \quad \nu_{1},\nu_{2} > 0;\; n\in\bf{Z}\setminus \{-1,0\}. \end{equation*}$

Proposition 3.1. Let $0 < \nu_{1} < \nu_{2}$ and $n\in\bf{N}$ , $n \geq 2$ . Then, for all $x, y\in[\nu_{1}, \nu_{2}]$ , we have:

(3.1)

Proof. By applying Corollary 2.3 (first item) for the convex function $\sigma(x) = x^{n}, \, x > 0$ , one can obtain the result directly.

Proposition 3.2. Let $0 < \nu_{1} < \nu_{2}$ . Then, for all $x, y\in[\nu_{1}, \nu_{2}]$ , we have:

(3.2)

Proof. By applying Corollary 2.3 (first item) for the convex function $\sigma(x) = \frac{1}{x}, \, x > 0$ , one can obtain the result directly.

Proposition 3.3. Let $0 < \nu_{1} < \nu_{2}$ and $n\in\bf{N}$ , $n \geq 2$ . Then, we have:

$\begin{equation} \left| \mathcal{L}_{n}^{n}(\nu_{1},\nu_{2}) -\mathcal{A}^{n}(\nu_{1},\nu_{2}) \right| \leq \frac{n(\nu_{2}-\nu_{1})}{4} \left[ \mathcal{A}\left(\nu_{1}^{n-1}, \nu_{2}^{n-1}\right) \right], \end{equation}$

(3.3)

and

$\begin{equation} \left| \mathcal{L}^{-1}(\nu_{1},\nu_{2}) -\mathcal{A}^{-1}(\nu_{1},\nu_{2}) \right| \leq \frac{(\nu_{2}-\nu_{1})}{4}\mathcal{H}^{-1}\left( \nu_{1}^{2},\nu_{2}^{2}\right) . \end{equation}$

(3.4)

Proof. By setting $x = \nu_{1}$ and $y = \nu_{2}$ in results of Proposition 3.1 and Proposition 3.2, one can obtain the Proposition 3.3.

Proposition 3.4. Let $0 < \nu_{1} < \nu_{2}$ and $n\in\bf{N}$ , $n \geq 2$ . Then, for $q > 1, \, \frac{1}{p}+\frac{1}{q} = 1$ and for all $x, y\in[\nu_{1}, \nu_{2}],$ we have:

$\begin{multline} \left| \mathcal{L}_{n}^{n}\left( \nu_{1}+\nu_{2}-y,\nu_{1}+\nu_{2}-x\right) -\left( 2\mathcal{A}(\nu_{1},\nu_{2}) -\mathcal{A}\left( x,y\right) \right) ^{n}\right| \\ \leq \frac{n(y-x)}{4\sqrt[p]{p+1}}\Bigg\{\left[ 2\mathcal{A}\left( \nu_{1}^{q(n-1)}, \nu_{2}^{q(n-1)}\right) -\frac{1}{2}\mathcal{A}\left(x^{q(n-1)}, 3y^{q(n-1)}\right) \right]^{\frac{1}{q}} \\ +\left[ 2\mathcal{A}\left( \nu_{1}^{q(n-1)}, \nu_{2}^{q(n-1)}\right) -\frac{1}{2}\mathcal{A}\left(3x^{q(n-1)}, y^{q(n-1)}\right) \right]^{\frac{1}{q}}\Bigg\}. \end{multline}$

(3.5)

Proof. By applying Corollary 2.4 (first item) for convex function $\sigma\left(x\right) = x^{n}, \, x > 0$ , one can obtain the result directly.

Proposition 3.5. Let $0 < \nu_{1} < \nu_{2}$ . Then, for $q > 1, \, \frac{1}{p}+\frac{1}{q} = 1$ and for all $x, y\in[\nu_{1}, \nu_{2}]$ , we have:

$\begin{multline} \left| \mathcal{L}^{-1}\left( \nu_{1}+\nu_{2}-y,\nu_{1}+\nu_{2}-x\right) -\left( 2\mathcal{A}(\nu_{1},\nu_{2}) -\mathcal{A}\left(x,y\right)\right)^{-1}\right| \\ \leq \frac{\sqrt[q]{2}(y-x)}{4\sqrt[p]{p+1}}\Bigg\{\left[ \mathcal{H}^{-1}\left(\nu_{1}^{2q},\nu_{2}^{2q}\right) -\frac{3}{4}\mathcal{H}^{-1}\left(x^{2q}, 3y^{2q}\right) \right]^{\frac{1}{q}} \\ +\left[\mathcal{H}^{-1}\left(\nu_{1}^{2q},\nu_{2}^{2q}\right) -\frac{3}{4}\mathcal{H}^{-1}\left(3x^{2q}, y^{2q}\right) \right]^{\frac{1}{q}}\Bigg\}. \end{multline}$

(3.6)

Proof. By applying Corollary 2.4 (first item) for the convex function $\sigma\left(x\right) = \frac{1}{x}, \, x > 0$ , one can obtain the result directly.

Proposition 3.6. Let $0 < \nu_{1} < \nu_{2}$ and $n\in\bf{N}$ , $n \geq 2$ . Then, for $q > 1$ and $\frac{1}{p}+\frac{1}{q} = 1$ , we have:

$\begin{multline} \left| \mathcal{L}_{n}^{n}(\nu_{1},\nu_{2}) -\mathcal{A}^{n}(\nu_{1},\nu_{2}) \right| \leq \frac{n(\nu_{2}-\nu_{1})}{4\sqrt[p]{p+1}} \Bigg\{\left[ 2\mathcal{A}\left( \nu_{1}^{q(n-1)}, \nu_{2}^{q(n-1)}\right) -\frac{1}{2}\mathcal{A}\left( \nu_{1}^{q(n-1)}, 3\nu_{2}^{q(n-1)}\right) \right]^{\frac{1}{q}} \\ +\left[ 2\mathcal{A}\left( \nu_{1}^{q(n-1)}, \nu_{2}^{q(n-1)}\right) -\frac{1}{2}\mathcal{A}\left(3\nu_{1}^{q(n-1)}, \nu_{2}^{q(n-1)}\right) \right]^{\frac{1}{q}}\Bigg\}, \end{multline}$

(3.7)

and

$\begin{multline} \left| \mathcal{L}^{-1}(\nu_{1},\nu_{2}) -\mathcal{A}^{-1}(\nu_{1},\nu_{2}) \right| \leq \frac{\sqrt[q]{2}(\nu_{2}-\nu_{1})}{4\sqrt[p]{p+1}} \Bigg\{\left[ \mathcal{H}^{-1}\left( \nu_{1}^{2q}, \nu_{2}^{2q}\right) -\frac{3}{4}\mathcal{H}^{-1}\left(\nu_{1}^{2q}, 3\nu_{2}^{2q}\right) \right]^{\frac{1}{q}} \\ +\left[ \mathcal{H}^{-1}\left( \nu_{1}^{2q}, \nu_{2}^{2q}\right) -\frac{3}{4}\mathcal{H}^{-1}\left(3\nu_{1}^{2q}, \nu_{2}^{2q}\right) \right]^{\frac{1}{q}}\Bigg\}. \end{multline}$

(3.8)

Proof. By setting $x = \nu_{1}$ and $y = \nu_{2}$ in results of Proposition 3.4 and Proposition 3.5, one can obtain the Proposition 3.6.

4. Conclusions

As we emphasized in the introduction, integral inequality is the most important field of mathematical analysis and fractional calculus. By using the well-known Jensen-Mercer and power mean inequalities, we have proved new inequalities of Hermite-Hadamard-Mercer type involving Riemann-Liouville fractional operators. In the last section, we have considered some propositions in the context of special functions; these confirm the efficiency of our results.

Acknowledgements

We would like to express our special thanks to the editor and referees. Also, the first author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.

Conflict of interest

The authors declare no conflict of interest.

References

[1]	D. Aerts, Foundations of quantum physics: A general realistic and operational approach, Int. J. Theor. Phys., 38 (1999), 289–358. https://doi.org/10.1023/A:1026605829007 doi: 10.1023/A:1026605829007
[2]	D. Aerts, E. Colebunders, A. Van der Voorde, B. Van Steirteghem, State property systems and closure spaces: A study of categorical equivalence, Int. J. Theor. Phys., 38 (1999), 359–385. https://doi.org/10.1023/A:1026657913077 doi: 10.1023/A:1026657913077
[3]	G. Aumann, Kontakt-relationen, 1970, 67–77.
[4]	J. Adamek, H. Herrlich, G. E. Strecker, Abstract and concrete categories, New York: John Wiley & Sons, 1990.
[5]	G. Birkhoff, Lattice theory, American Mathematical Society, 1940.
[6]	M. Baran, Separation properties, Indian J. Pure Ap. Mat., 23 (1991), 333–341.
[7]	M. Baran, The notion of closedness in topological categories, Comment. Math. Univ. Ca., 34 (1993), 383–395.
[8]	M. Baran, H. Altındiş, $T_{2}$ objects in topological categories, Acta Math. Hung., 71 (1996), 41–48. https://doi.org/10.1007/BF00052193 doi: 10.1007/BF00052193
[9]	M. Baran, Separation properties in topological categories, Math. Balkanica, 10 (1996), 39–48.
[10]	M. Baran, A note on compactness in topological categories, Publ. Math. Debrecen, 50 (1997), 221–234.
[11]	M. Baran, $T_{3}$ and $T_{4}$ -objects in topological categories, Indian J. Pure Ap. Mat., 29 (1998), 59–69.
[12]	M. Baran, Completely regular objects and normal objects in topological categories, Acta Math. Hung., 80 (1998), 211–224. https://doi.org/10.1023/A:1006550726143 doi: 10.1023/A:1006550726143
[13]	M. Baran, Closure operators in convergence spaces, Acta Math. Hung., 87 (2000), 33–45. https://doi.org/10.1023/A:1006768916033 doi: 10.1023/A:1006768916033
[14]	M. Baran, Compactness, perfectness, separation, minimality and closedness with respect to closure operators, Appl. Categor. Struct., 10 (2002), 403–415. https://doi.org/10.1023/A:1016388102703 doi: 10.1023/A:1016388102703
[15]	M. Baran, M. Kula, A note on connectedness, Publ. Math. Debrecen, 68 (2006), 489–501.
[16]	M. Baran, Pre $T_{2}$ objects in topological categories, Appl. Categor. Struct., 17 (2009), 591–602. https://doi.org/10.1007/s10485-008-9161-4 doi: 10.1007/s10485-008-9161-4
[17]	M. Baran, S. Kula, T. M. Baran, M. Qasim, Closure operators in semiuniform convergence spaces, Filomat, 30 (2016), 131–140. https://doi.org/10.2298/FIL1601131B doi: 10.2298/FIL1601131B
[18]	M. Baran, H. Abughalwa, Sober spaces, Turk. J. Math., 46 (2022), 299–310. https://doi.org/10.3906/mat-2109-95 doi: 10.3906/mat-2109-95
[19]	E. Čech, On bicompact spaces, Ann. Math., 38 (1937), 823–844.
[20]	D. Deses, E. Giuli, E. Lowen-Colebunders, On the complete objects in the category of $T_{0}$ closure spaces, Appl. Gen. Topol., 4 (2003), 25–34. https://doi.org/10.4995/agt.2003.2007 doi: 10.4995/agt.2003.2007
[21]	D. Dikranjan, E. Giuli, Closure operators I, Topol. Appl., 27 (1987), 129–143. https://doi.org/10.1016/0166-8641(87)90100-3 doi: 10.1016/0166-8641(87)90100-3
[22]	A. Erciyes, T. M. Baran, M. Qasim, Closure operators in constant filter convergence spaces, Konuralp J. Math., 8 (2020), 185–191.
[23]	M. Erné, Lattice representations for categories of closure spaces, In: Categorical topology, 1984,197–222.
[24]	R. C. Flagg, Quantales and continuity spaces, Algebra Univ., 37 (1997), 257–276.
[25]	P. Hertz, Über Axiomensysteme für beliebige Satzsysteme, Math. Ann., 87 (1922), 246–269. https://doi.org/10.1007/BF01459067 doi: 10.1007/BF01459067
[26]	G. Jäger, Probabilistic approach spaces, Math. Bohem., 142 (2017), 277–298. https://doi.org/10.21136/MB.2017.0064-15 doi: 10.21136/MB.2017.0064-15
[27]	K. Kuratowski, Sur L'operation $\overline{A}$ de l'analysis situs, Fund. Math., 3 (1992), 182–199.
[28]	M. Kula, S. Özkan, $T_{2}$ and $T_{3}$ objects at $p$ in the category of proximity spaces, Math. Bohem., 145 (2020), 177–190. https://doi.org/10.21136/MB.2019.0144-17 doi: 10.21136/MB.2019.0144-17
[29]	H. Lai, W. Tholen, Quantale-valued topological spaces via closure and convergence, Topol. Appl., 30 (2017), 599–620. https://doi.org/10.1016/j.topol.2017.08.038 doi: 10.1016/j.topol.2017.08.038
[30]	H. Lai, W. Tholen, A note on the topologicity of quantale-valued topological spaces, Log. Meth. Comput. Sci., 13 (2017), 1–13. https://doi.org/10.23638/LMCS-13(3:12)2017 doi: 10.23638/LMCS-13(3:12)2017
[31]	R. Lowen, Approach spaces: The missing link in the topology-uniformity-metric triad, Oxford University Press, 1997.
[32]	E. H. Moore, On a form of general analysis with applications to linear differential and integral equations, Tipografia della R. Accademia dei Lincei, proprietà del cav. V. Salviucci, 1909.
[33]	B. Pang, L. Zhao, Characterizations of $L$ -convex spaces, Iran. J. Fuzzy Syst., 13 (2016), 51–61. https://dx.doi.org/10.22111/ijfs.2016.2595 doi: 10.22111/ijfs.2016.2595
[34]	G. Preuss, Foundations of topology, an approach to convenient topology, Dordrecht: Kluwer Academic Publishers, 2002.
[35]	R. S. Pierce, Closure spaces with applications to ring theory, In: Lectures on rings and modules, Berlin: Springer, 1972. https://doi.org/10.1007/BFb0059570
[36]	M. Qasim, S. Özkan, The notions of closedness and $D$ -connectedness in quantale-valued approach spaces, Categ. Gen. Algebraic, 12 (2020), 149–173. https://doi.org/10.29252/CGASA.12.1.149 doi: 10.29252/CGASA.12.1.149
[37]	M. Qasim, B. Pang, Pre-Hausdorff and Hausdorff objects in the category of quantale-valued closure spaces, Hacet. J. Math. Stat., 50 (2021), 612–623. https://doi.org/10.15672/hujms.740593 doi: 10.15672/hujms.740593
[38]	M. Qasim, M. Baran, H. Abughalwa, Closure operators in convergence approach spaces, Turk. J. Math., 45 (2021), 139–152. https://doi.org/10.3906/mat-2008-65 doi: 10.3906/mat-2008-65
[39]	G. J. Seal, Canonical and op-canonical lax algebras, Theor. Appl. Categ., 14 (2005), 221–243.
[40]	G. J. Seal, A Kleisli-based approach to lax algebras, Appl. Categor. Struct., 17 (2009), 75–89. https://doi.org/10.1007/s10485-007-9080-9 doi: 10.1007/s10485-007-9080-9

This article has been cited by:

1.	Tariq A. Aljaaidi, Deepak B. Pachpatte, Ram N. Mohapatra, The Hermite–Hadamard–Mercer Type Inequalities via Generalized Proportional Fractional Integral Concerning Another Function, 2022, 2022, 1687-0425, 1, 10.1155/2022/6716830
2.	Saad Ihsan Butt, Ahmet Ocak Akdemir, Muhammad Nadeem, Nabil Mlaiki, İşcan İmdat, Thabet Abdeljawad, $(m, n)$ -Harmonically polynomial convex functions and some Hadamard type inequalities on the co-ordinates, 2021, 6, 2473-6988, 4677, 10.3934/math.2021275
3.	Ifra Bashir Sial, Nichaphat Patanarapeelert, Muhammad Aamir Ali, Hüseyin Budak, Thanin Sitthiwirattham, On Some New Ostrowski–Mercer-Type Inequalities for Differentiable Functions, 2022, 11, 2075-1680, 132, 10.3390/axioms11030132
4.	Deniz Uçar, Inequalities for different type of functions via Caputo fractional derivative, 2022, 7, 2473-6988, 12815, 10.3934/math.2022709
5.	Soubhagya Kumar Sahoo, Y.S. Hamed, Pshtiwan Othman Mohammed, Bibhakar Kodamasingh, Kamsing Nonlaopon, New midpoint type Hermite-Hadamard-Mercer inequalities pertaining to Caputo-Fabrizio fractional operators, 2023, 65, 11100168, 689, 10.1016/j.aej.2022.10.019
6.	Muhammad Imran Asjad, Waqas Ali Faridi, Mohammed M. Al-Shomrani, Abdullahi Yusuf, The generalization of Hermite-Hadamard type Inequality with exp-convexity involving non-singular fractional operator, 2022, 7, 2473-6988, 7040, 10.3934/math.2022392
7.	Churong Chen, Discrete Caputo Delta Fractional Economic Cobweb Models, 2023, 22, 1575-5460, 10.1007/s12346-022-00708-5
8.	Soubhagya Kumar Sahoo, Ravi P. Agarwal, Pshtiwan Othman Mohammed, Bibhakar Kodamasingh, Kamsing Nonlaopon, Khadijah M. Abualnaja, Hadamard–Mercer, Dragomir–Agarwal–Mercer, and Pachpatte–Mercer Type Fractional Inclusions for Convex Functions with an Exponential Kernel and Their Applications, 2022, 14, 2073-8994, 836, 10.3390/sym14040836
9.	Muhammad Tariq, Sotiris K. Ntouyas, Asif Ali Shaikh, A Comprehensive Review of the Hermite–Hadamard Inequality Pertaining to Fractional Integral Operators, 2023, 11, 2227-7390, 1953, 10.3390/math11081953
10.	Loredana Ciurdariu, Eugenia Grecu, Hermite–Hadamard–Mercer-Type Inequalities for Three-Times Differentiable Functions, 2024, 13, 2075-1680, 413, 10.3390/axioms13060413
11.	Muhammad Aamir Ali, Thanin Sitthiwirattham, Elisabeth Köbis, Asma Hanif, Hermite–Hadamard–Mercer Inequalities Associated with Twice-Differentiable Functions with Applications, 2024, 13, 2075-1680, 114, 10.3390/axioms13020114
12.	Muhammad Aamir Ali, Christopher S. Goodrich, On some new inequalities of Hermite–Hadamard–Mercer midpoint and trapezoidal type in q-calculus, 2024, 44, 0174-4747, 35, 10.1515/anly-2023-0019
13.	Thanin Sitthiwirattham, Ifra Sial, Muhammad Ali, Hüseyin Budak, Jiraporn Reunsumrit, A new variant of Jensen inclusion and Hermite-Hadamard type inclusions for interval-valued functions, 2023, 37, 0354-5180, 5553, 10.2298/FIL2317553S
14.	Muhammad Aamir Ali, Zhiyue Zhang, Michal Fečkan, GENERALIZATION OF HERMITE–HADAMARD–MERCER AND TRAPEZOID FORMULA TYPE INEQUALITIES INVOLVING THE BETA FUNCTION, 2024, 54, 0035-7596, 10.1216/rmj.2024.54.331
15.	Bahtiyar Bayraktar, Péter Kórus, Juan Eduardo Nápoles Valdés, Some New Jensen–Mercer Type Integral Inequalities via Fractional Operators, 2023, 12, 2075-1680, 517, 10.3390/axioms12060517
16.	THANIN SITTHIWIRATTHAM, MIGUEL VIVAS-CORTEZ, MUHAMMAD AAMIR ALI, HÜSEYIN BUDAK, İBRAHIM AVCI, A STUDY OF FRACTIONAL HERMITE–HADAMARD–MERCER INEQUALITIES FOR DIFFERENTIABLE FUNCTIONS, 2024, 32, 0218-348X, 10.1142/S0218348X24400164
17.	Muhammad Ali, Hüseyin Budak, Elisabeth Köbis, Some new and general versions of q-Hermite-Hadamard-Mercer inequalities, 2023, 37, 0354-5180, 4531, 10.2298/FIL2314531A

Reader Comments

Your name:*

Email:*
© 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

AIMS Mathematics

1.8 3.4

Metrics

Article views(1810) PDF downloads(60) Cited by(0)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

AIMS Mathematics

Local Pre-Hausdorffness and D-connectedness in $\mathcal{L}$ -valued closure spaces

Related Papers:

Abstract

1. Introduction

2. Main results

3. Applications to special means

4. Conclusions

Acknowledgements

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

AIMS Mathematics

Local Pre-Hausdorffness and D-connectedness in L \mathcal{L} -valued closure spaces

Related Papers:

Abstract

1. Introduction

2. Main results

3. Applications to special means

4. Conclusions

Acknowledgements

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Local Pre-Hausdorffness and D-connectedness in $\mathcal{L}$ -valued closure spaces