Generalization of some fractional versions of Hadamard inequalities via exponentially $ (\alpha, h-m) $-convex functions

Yu-Pei Lv; Ghulam Farid; Hafsa Yasmeen; Waqas Nazeer; Chahn Yong Jung; Yu-Pei Lv; Ghulam Farid; Hafsa Yasmeen; Waqas Nazeer; Chahn Yong Jung

doi:10.3934/math.2021521

AIMS Mathematics

2021, Volume 6, Issue 8: 8978-8999. doi: 10.3934/math.2021521

Previous Article Next Article

Research article

Generalization of some fractional versions of Hadamard inequalities via exponentially $(\alpha, h-m)$ -convex functions

1.
Department of Mathematics, Huzhou University, Huzhou 313000, China
2.
Department of Mathematics, COMSATS University Islamabad, Attock Campus, Pakistan
3.
Department of Mathematics, Govt. College University Lahore, Lahore, Pakistan
4.
Department of Business Administration, Gyeongsang National University, Jinju 52828, Korea

Received: 10 March 2021 Accepted: 11 June 2021 Published: 16 June 2021
MSC : 26A51, 26A33, 33E12

In this paper we give Hadamard inequalities for exponentially $(\alpha, h-m)$ -convex functions using Riemann-Liouville fractional integrals for strictly increasing function. Results for Riemann-Liouville fractional integrals of convex, $m$ -convex, $s$ -convex, $(\alpha, m)$ -convex, $(s, m)$ -convex, $(h-m)$ -convex, $(\alpha, h-m)$ -convex, exponentially convex, exponentially $m$ -convex, exponentially $s$ -convex, exponentially $(s, m)$ -convex, exponentially $(h-m)$ -convex, exponentially $(\alpha, h-m)$ -convex functions are particular cases of the results of this paper. The error estimations of these inequalities by using two fractional integral identities are also given.

Keywords:

Citation: Yu-Pei Lv, Ghulam Farid, Hafsa Yasmeen, Waqas Nazeer, Chahn Yong Jung. Generalization of some fractional versions of Hadamard inequalities via exponentially $(\alpha, h-m)$ -convex functions[J]. AIMS Mathematics, 2021, 6(8): 8978-8999. doi: 10.3934/math.2021521

Related Papers:

[1]	Moquddsa Zahra, Dina Abuzaid, Ghulam Farid, Kamsing Nonlaopon . On Hadamard inequalities for refined convex functions via strictly monotone functions. AIMS Mathematics, 2022, 7(11): 20043-20057. doi: 10.3934/math.20221096
[2]	Ghulam Farid, Hafsa Yasmeen, Hijaz Ahmad, Chahn Yong Jung . Riemann-Liouville Fractional integral operators with respect to increasing functions and strongly $ (\alpha, m) $-convex functions. AIMS Mathematics, 2021, 6(10): 11403-11424. doi: 10.3934/math.2021661
[3]	Hengxiao Qi, Muhammad Yussouf, Sajid Mehmood, Yu-Ming Chu, Ghulam Farid . Fractional integral versions of Hermite-Hadamard type inequality for generalized exponentially convexity. AIMS Mathematics, 2020, 5(6): 6030-6042. doi: 10.3934/math.2020386
[4]	Maryam Saddiqa, Ghulam Farid, Saleem Ullah, Chahn Yong Jung, Soo Hak Shim . On Bounds of fractional integral operators containing Mittag-Leffler functions for generalized exponentially convex functions. AIMS Mathematics, 2021, 6(6): 6454-6468. doi: 10.3934/math.2021379
[5]	Maryam Saddiqa, Saleem Ullah, Ferdous M. O. Tawfiq, Jong-Suk Ro, Ghulam Farid, Saira Zainab . $ k $-Fractional inequalities associated with a generalized convexity. AIMS Mathematics, 2023, 8(12): 28540-28557. doi: 10.3934/math.20231460
[6]	Atiq Ur Rehman, Ghulam Farid, Sidra Bibi, Chahn Yong Jung, Shin Min Kang . $k$-fractional integral inequalities of Hadamard type for exponentially $(s, m)$-convex functions. AIMS Mathematics, 2021, 6(1): 882-892. doi: 10.3934/math.2021052
[7]	Yue Wang, Ghulam Farid, Babar Khan Bangash, Weiwei Wang . Generalized inequalities for integral operators via several kinds of convex functions. AIMS Mathematics, 2020, 5(5): 4624-4643. doi: 10.3934/math.2020297
[8]	Manar A. Alqudah, Artion Kashuri, Pshtiwan Othman Mohammed, Muhammad Raees, Thabet Abdeljawad, Matloob Anwar, Y. S. Hamed . On modified convex interval valued functions and related inclusions via the interval valued generalized fractional integrals in extended interval space. AIMS Mathematics, 2021, 6(5): 4638-4663. doi: 10.3934/math.2021273
[9]	Moquddsa Zahra, Muhammad Ashraf, Ghulam Farid, Kamsing Nonlaopon . Inequalities for unified integral operators of generalized refined convex functions. AIMS Mathematics, 2022, 7(4): 6218-6233. doi: 10.3934/math.2022346
[10]	Wenfeng He, Ghulam Farid, Kahkashan Mahreen, Moquddsa Zahra, Nana Chen . On an integral and consequent fractional integral operators via generalized convexity. AIMS Mathematics, 2020, 5(6): 7632-7648. doi: 10.3934/math.2020488

Abstract

1. Introduction

Fractional calculus is the study of integrals and derivatives of any arbitrary real or complex order. Its origin goes far back in 1695 when Leibniz and l'Hospital started discussion on the meaning of semi-derivative. The $17^{th}$ century witnessed the attention of this debate by many researchers working in the field of mathematics. Seeking in the formulation of fractional derivative/integral formulas Riemann and Liouville obtained their definitions with complementary functions. Later by Sonin and Letnikov along with others worked out the final form of fractional integral operator named Riemann-Liouville fractional integral/derivative operator, see ^[1,2]. After this definition of fractional integral/derivative operator the subject of fractional calculus become prominent in generalizing and extending the concepts of calculus and their applications. From the last few years, use of fractional calculus is also followed by scientists from various fields of engineering, sciences and economics. Some fractional integral operators have also been introduced in recent past see ^[3,4,5]. By applying fractional operators, extensive research has been carried out to establish various inequalities with motivating results, see ^[6,7,8,9].

Definition 1. ^[10] Let $\varphi\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Then left-sided and right-sided Riemann-Liouville fractional integrals of a function $\varphi$ of order $\zeta$ where $\Re(\zeta) > 0$ are given by

$\begin{equation} I_{\varrho_{1}^+}^{\zeta}\varphi(x) = \frac{1}{\Gamma({\zeta})}\int_{\varrho_{1}}^{x}(x-t)^{\zeta-1}\varphi(t)dt, \quad x > \varrho_{1}, \end{equation}$

(1.1)

and

$\begin{equation} I_{\varrho_{2}^-}^{\zeta}\varphi(x) = \frac{1}{\Gamma({\zeta})}\int_{x}^{\varrho_{2}}(t-x)^{\zeta-1}\varphi(t)dt, \quad x < \varrho_{2}. \end{equation}$

(1.2)

The $k$ -analogue of the Riemann-Liouville fractional integral is defined as follows:

Definition 2. ^[11] Let $\varphi\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Then $k$ -fractional Riemann-Liouville integrals of order $\zeta$ where $\Re(\zeta) > 0$ , $k > 0$ , are given by

$\begin{equation} _{k}I_{\varrho_{1}^+}^{\zeta}\varphi(x) = \frac{1}{k\Gamma_{k}({\zeta})}\int_{\varrho_{1}}^{x}(x-t)^{\frac{\zeta}{k}-1}\varphi(t)dt, \quad x > \varrho_{1}, \end{equation}$

(1.3)

and

$\begin{equation} _{k}I_{\varrho_{2}^-}^{\zeta}\varphi(x) = \frac{1}{k\Gamma_{k}({\zeta})}\int_{x}^{\varrho_{2}}(t-x)^{\frac{\zeta}{k}-1}\varphi(t)dt, \quad x < \varrho_{2}, \end{equation}$

(1.4)

where $\Gamma_{k}(.)$ is defined by ^[12]:

$\begin{align} \Gamma_{k}(\zeta) = \int_{0}^{\infty}t^{\zeta-1}e^{-\frac{t^{k}}{k}}dt, \quad \Re(\zeta) > 0. \end{align}$

The generalized Riemann-Liouville fractional integrals via a monotonically increasing function are given as follows:

Definition 3. ^[1] Let $\varphi\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Also let $\psi$ be an increasing and positive monotone function on $(\varrho_{1}, \varrho_{2}]$ , further $\psi$ has a continuous derivative $\psi'$ on $(\varrho_{1}, \varrho_{2})$ . The left as well as right fractional integral operators of order $\zeta$ where $\Re(\zeta) > 0$ of $\varphi$ with respect to $\psi$ on $[\varrho_{1}, \varrho_{2}]$ are given by

$\begin{equation} ^{\psi}I_{\varrho_{1}^+}^{\zeta}\varphi(x) = \frac{1}{\Gamma({\zeta})}\int_{\varrho_{1}}^{x}\psi^\prime(t)(\psi(x)-\psi(t))^{\zeta-1}\varphi(t)dt, \quad x > \varrho_{1}, \end{equation}$

(1.5)

and

$\begin{equation} ^{\psi}I_{\varrho_{2}^-}^{\zeta}\varphi(x) = \frac{1}{\Gamma({\zeta})}\int_{x}^{\varrho_{2}}\psi^\prime(t)(\psi(t)-\psi(x))^{\zeta-1}\varphi(t)dt, \quad x < \varrho_{2}. \end{equation}$

(1.6)

The $k$ -analogues of the above generalized Riemann-Liouville fractional integrals are defined as follows:

Definition 4. ^[13] Let $\varphi\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Also let $\psi$ be an increasing and positive monotone function on $(\varrho_{1}, \varrho_{2}]$ , further $\psi$ has a continuous derivative $\psi'$ on $(\varrho_{1}, \varrho_{2})$ . Therefore left as well as right $k$ -fractional integral operators of order $\zeta$ where $\Re(\zeta) > 0$ of $\varphi$ with respect to $\psi$ on $[\varrho_{1}, \varrho_{2}]$ are given by

$\begin{equation} _{k}^{\psi}I_{\varrho_{1}^+}^{\zeta}\varphi(x) = \frac{1}{k\Gamma_{k}({\zeta})}\int_{\varrho_{1}}^{x}\psi^\prime(t)(\psi(x)-\psi(t))^{\frac{\zeta}{k}-1}\varphi(t)dt, \quad x > \varrho_{1}, \end{equation}$

(1.7)

and

$\begin{equation} _{k}^{\psi}I_{\varrho_{2}^-}^{\zeta}\varphi(x) = \frac{1}{k\Gamma_{k}({\zeta})}\int_{x}^{\varrho_{2}}\psi^\prime(t)(\psi(t)-\psi(x))^{\frac{\zeta}{k}-1}\varphi(t)dt, \quad x < \varrho_{2}. \end{equation}$

(1.8)

For a detailed study of fractional integrals we refer the readers to ^[2,14]. Next, we give the definition of exponentially $(\alpha, h-m)$ -convex function as follows:

Definition 5. ^[15] Let $J\subseteq\mathbb{R}$ be an interval containing $(0, 1)$ and let $h:J\rightarrow \mathbb{R}$ be a non-negative function. A function $\varphi:[0, \varrho_{2}]\rightarrow \mathbb{R}$ is called exponentially $(\alpha, h-m)$ -convex function, if for all $x, y\in[0, \varrho_{2}]$ , $t\in(0, 1)$ , $(\alpha, m)$ $\in(0, 1]^{2}$ and $\eta\in\mathbb{R}$ one has

$\begin{align} &\varphi(tx+m(1-t)y)\leq h(t^{\alpha})\frac{\varphi(x)}{e^{\eta x}}+mh(1-t^{\alpha}) \frac{\varphi(y)}{e^{\eta y}}. \end{align}$

(1.9)

The above definition provides some kinds of exponential convexities as follows:

Remark 1. (i) If we substitute $\alpha = 1$ and $h(t) = t^{s}$ , then exponentially $(s, m)$ -convex function in the second sense introduced by Qiang et al. in ^[16] can be obtained.

(ii) If we substitute $\alpha = m = 1$ and $h(t) = t^{s}$ , then exponentially $s$ -convex function introduced by Mehreen et al. in ^[17] can be obtained.

(iii) If we substitute $\alpha = m = 1$ and $h(t) = t$ , then exponentially convex function introduced by Awan et al. in ^[18] can be obtained.

In ^[19,20], the following Hadamard inequality for convex function $\varphi:[\varrho_{1}, \varrho_{2}]\rightarrow \mathbb{R}$ is studied:

$\begin{align} \varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\leq\frac{1}{\varrho_{2}-\varrho_{1}}\int_{\varrho_{1}}^{\varrho_{2}}\varphi(\nu)d\nu\leq\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}. \end{align}$

(1.10)

If this inequality holds in reverse order, then the function $f$ is called concave function. This inequality was first published by Hermite in 1883 and later Hadamard proved it independently in 1893. Since its occurrence, it is in focus of researchers and had/has been studied for different kinds of convex functions. In past two decades it is generalized by using various types of fractional integral operators and authors have investigated a lot of versions of this inequality, see ^[21,22,23] and references therein. Our aim in this article is to apply the generalized Riemann-Liouville fractional integrals with monotonically increasing function to obtain the Hadamard inequalities for exponentially $(\alpha, h-m)$ -convex functions. Two fractional integral identities are applied to get the error bounds of Hadamard type inequalities. Following two theorems give the fractional versions of Hadamard inequalities for Riemann-Liouville fractional integrals.

Theorem 1. ^[24] Let $\varphi:[\varrho_{1}, \varrho_{2}] \rightarrow \mathbb{R}$ be a positive function with $0\leq\varrho_{1} < \varrho_{2}$ and $\varphi\in L_{1}[\varrho_{1}, \varrho_{2}]$ . If $\varphi$ is a convex function on $[\varrho_{1}, \varrho_{2}]$ , then the following fractional integral inequality holds:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\leq\frac{\Gamma({\zeta}+1)}{2(\varrho_{2}-\varrho_{1})^\zeta}\left[I_{\varrho_{1}^+}^{\zeta}\varphi(\varrho_{2})+I_{\varrho_{2}^-}^{\zeta}\varphi(\varrho_{1})\right]\leq\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}, \end{align}$

(1.11)

with $\zeta > 0$ .

Theorem 2. ^[25] Under the assumptions of Theorem 1, the following fractional integral inequality holds:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\leq \frac{2^{\zeta-1}\Gamma({\zeta}+1)}{(\varrho_{2}-\varrho_{1})^\zeta}\left[I_{\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^+}^{\zeta}\varphi(\varrho_{2})+I_{\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^-}^{\zeta}\varphi(\varrho_{1})\right]\leq\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}, \end{align}$

(1.12)

with $\zeta > 0$ .

The following theorem gives an error estimation of the inequality (1.11).

Theorem 3. ^[24] Let $\varphi:[\varrho_{1}, \varrho_{2}] \rightarrow \mathbb{R}$ be a differentiable mapping on $(\varrho_{1}, \varrho_{2})$ with $\varrho_{1} < \varrho_{2}$ . If $\left|\varphi'\right|$ is convex on $[\varrho_{1}, \varrho_{2}]$ , then the following fractional integral inequality holds:

$\begin{align} &\left|\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma({\zeta}+1)}{2(\varrho_{2}-\varrho_{1})^\zeta}\left[I_{{\varrho_{1}}^+}^{\zeta}\varphi(\varrho_{2})+I_{\varrho_{2}^-}^{\zeta}\varphi(\varrho_{1})\right]\right|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{2(\zeta+1)}\left(1-\frac{1}{2^{\zeta}}\right)[|\varphi'(\varrho_{1})|+|\varphi'(\varrho_{2})|]. \end{align}$

(1.13)

The $k$ -analogues of Theorems 1 and 2 are given in the next two results.

Theorem 4. ^[26] Let $\varphi:[\varrho_{1}, \varrho_{2}] \rightarrow \mathbb{R}$ be a positive function with $0\leq\varrho_{1} < \varrho_{2}$ . If $\varphi$ is a convex function on $[\varrho_{1}, \varrho_{2}]$ , then the following inequality for $k$ -fractional integral holds:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\leq \frac{\Gamma_{k}({\zeta}+k)}{2(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\left[_{k}I_{\varrho_{1}^+}^{\zeta}\varphi(\varrho_{2})+ \quad _{k}I_{\varrho_{2}^-}^{\zeta}\varphi(\varrho_{1})\right]\leq\frac{\varphi(\varrho_{1})+f(\varrho_{2})}{2}, \end{align}$

(1.14)

with $\zeta > 0$ .

Theorem 5. ^[27] Under the assumptions of Theorem 4, the following inequality for $k$ -fractional integral holds:

$\begin{align} \varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(\varrho_{2}-\varrho_{1})^\frac{\zeta}{k}}\left[_{k}I_{\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^+}^{\zeta}\varphi(\varrho_{2})+ \quad _{k}I_{\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^-}^{\zeta}\varphi(\varrho_{1})\right]\leq\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}, \end{align}$

(1.15)

with $\zeta > 0$ .

An error estimation of the inequality (1.14) is given in the following theorem.

Theorem 6. ^[26] Let $\varphi:[\varrho_{1}, \varrho_{2}] \rightarrow \mathbb{R}$ be a differentiable mapping on $(\varrho_{1}, \varrho_{2})$ with $0\leq\varrho_{1} < \varrho_{2}$ . If $\left|\varphi'\right|$ is convex on $[\varrho_{1}, \varrho_{2}]$ , then the following inequality for $k$ -fractional integral holds:

$\begin{align} &\left|\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma_{k}({\zeta}+k)}{2(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\left[_{k}I_{{\varrho_{1}}^+}^{\zeta}\varphi(\varrho_{2})+ \quad _{k}I_{\varrho_{2}^-}^{\zeta}\varphi(\varrho_{1})\right]\right|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{2(\frac{\zeta}{k}+1)}\left(1-\frac{1}{2^{\frac{\zeta}{k}}}\right)[|\varphi'(\varrho_{1})|+|\varphi'(\varrho_{2})|]. \end{align}$

(1.16)

The rest of the paper is organized as follows: In Section 2, we establish Hadamard inequalities for generalized Riemann-Liouville fractional integrals of exponentially $(\alpha, h-m)$ -convex functions. The special cases, associated with previously published results are presented in terms of their generalizations. In Section 3, using two fractional integral identities, the error bounds of fractional Hadamard inequalities are established. Inequalities proved in this article are in line with the results established in ^{[24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39]}.

2. Main results

We give two fractional versions of the Hadamard inequality for exponentially $(\alpha, h-m)$ -convex functions, first one is given in the following theorem.

Theorem 7. Let $\varphi:[\varrho_{1}, \varrho_{2}]\rightarrow \mathbb{R}$ be a positive function with $0\leq \varrho_{1} < m\varrho_{2}$ and $\varphi\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Also suppose that $\varphi$ is exponentially $(\alpha, h-m)$ -convex function on $[\varrho_{1}, \varrho_{2}]$ , such that $\frac{\varrho_{1}}{m}$ , $\frac{\varrho_{2}}{m^{2}}$ $\in[\varrho_{1}, \varrho_{2}]$ . Then, for $\eta\in\mathbb{R}$ , $k > 0$ and $(\alpha, m)\in (0, 1]^{2}$ , the following $k$ -fractional integral inequality holds for operators given in (1.7) and (1.8):

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq\frac{\Gamma_{k}({\zeta+k})}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\!_{k}^{\psi}I_{\psi^{-1}(\varrho_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))+g_{2}(\eta)H\left(\frac{1}{2}\right)\\&\times m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)\left( \psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]\leq\frac{\zeta}{k}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi(\varrho_{2})}{e^{\eta\varrho_{2}}}\bigg]\\&\int_{0}^{1}h(t^{\alpha})t^{{\frac{\zeta}{k}-1}}dt+\frac{m\zeta}{k}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]\int_{0}^{1}t^{{\frac{\zeta}{k}-1}}H(t)dt, \end{align}$

(2.1)

where $\zeta > 0$ , $H(t) = h(1-t^{\alpha})$ and

$\begin{equation*} g_{1}(\eta) = \begin{cases} {}{e^{-\eta m\varrho_{2}}} & \mathit{\text{if}} \ \eta < 0\\ {}{e^{-\eta \varrho_{1}}} & \mathit{\text{if}} \ \eta > 0 \end{cases}, \quad g_{2}(\eta) = \begin{cases} {}{e^{-\eta \varrho_{2}}} & \mathit{\text{if}} \ \eta < 0\\ {}{e^{\frac{-\eta \varrho_{1}}{m}}} & \mathit{\text{if}} \ \eta > 0 \end{cases} . \end{equation*}$

Proof. From exponentially $(\alpha, h- m)$ -convexity of $\varphi$ , the following inequality holds:

$\begin{equation} \varphi\left(\frac{x+my}{2}\right)\leq {h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(x)}{e^{\eta x}}+mh\left(\frac{2^{\alpha}-1}{2^{\alpha}}\right)\frac{\varphi(y)}{e^{\eta y}}}. \end{equation}$

(2.2)

By setting $x = \varrho_{1}t+m(1-t)\varrho_{2}$ , $y = \frac{\varrho_{1}}{m}(1-t)+\varrho_{2}t$ , $t\in[0, 1]$ , in (2.2) and integrating the resulting inequality over $[0, 1]$ after multiplying with $t^{{\frac{\zeta}{k}-1}}$ , we get

$\begin{align} \frac{k}{\zeta}\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)&\leq h\left(\frac{1}{2^{\alpha}}\right)\int_{0}^{1}\frac{\varphi(\varrho_{1}t+m(1-t)\varrho_{2})}{e^{\eta(\varrho_{1}t+m(1-t)\varrho_{2})}}t^{{\frac{\zeta}{k}-1}}dt\\&+mH\left(\frac{1}{2}\right)\int_{0}^{1}\frac{\varphi\left(\frac{\varrho_{1}}{m}(1-t)+\varrho_{2}t\right)}{e^{\eta\left(\frac{\varrho_{1}}{m}(1-t)+\varrho_{2}t\right)}}t^{{\frac{\zeta}{k}-1}}dt. \end{align}$

(2.3)

By setting $\psi(u) = \varrho_{1}t+m(1-t)\varrho_{2}$ and $\psi(v) = \frac{\varrho_{1}}{m}(1-t)+\varrho_{2}t$ in (2.3), we obtain

$\begin{align} \frac{k}{\zeta}\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)&\leq\frac{1}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[h\left(\frac{1}{2^{\alpha}}\right)\int_{\psi^{-1}(\varrho_{1})}^{\psi^{-1}(m\varrho_{2})}\frac{\varphi(\psi(u))}{e^{\eta\psi(u)}}\left(m\varrho_{2}-\psi(u)\right)^{\frac{\zeta}{k}-1}d(\psi(u))\\&+mH\left(\frac{1}{2}\right)\int_{\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)}^{\psi^{-1}(\varrho_{2})}\frac{\varphi(\psi(v))}{e^{\eta\psi(v)}}\left(\psi(v)-\frac{\varrho_{1}}{m}\right)^{\frac{\zeta}{k}-1}d(\psi(v))\bigg]. \end{align}$

(2.4)

Further, taking the maximum value of exponential function and using Definition 4, we get

$\begin{align} \varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)&\leq \frac{\Gamma_{k}({\zeta+k})}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right) \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+g_{2}(\eta)m^{\frac{\zeta}{k}+1}H\left(\frac{1}{2}\right) \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\!\bigg]. \end{align}$

Again using exponentially $(\alpha, h-m)$ -convexity of $\varphi$ , for $t\in[0, 1]$ , we have

$\begin{align} &g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\varphi(\varrho_{1}t+m(1-t)\varrho_{2})+mg_{2}(\eta)H\left(\frac{1}{2}\right)\varphi\left(\frac{\varrho_{1}}{m}(1-t)+\varrho_{2}t\right)\\&\leq h(t^{\alpha})\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]\\&+mH(t)\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]. \end{align}$

(2.5)

By integrating (2.5) over the interval $[0, 1]$ after multiplying with $t^{{\frac{\zeta}{k}-1}}$ , we get

$\begin{align} &g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\int_{0}^{1}\varphi(t\varrho_{1}+m(1-t)\varrho_{2})t^{{\frac{\zeta}{k}-1}}dt+mg_{2}(\eta)H\left(\frac{1}{2}\right)\int_{0}^{1}\varphi\left(\frac{\varrho_{1}}{m}(1-t)+t\varrho_{2}\right)t^{{\frac{\zeta}{k}-1}}dt\\&\leq\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi(\varrho)}{e^{\eta \varrho_{2}}}\bigg]\int_{0}^{1}h(t^{\alpha})t^{{\frac{\zeta}{k}-1}}dt+m\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\\&+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]\int_{0}^{1}t^{{\frac{\zeta}{k}-1}}H(t)dt. \end{align}$

(2.6)

Again using substitutions as considered in (2.3), the inequality (2.6) leads to the second inequality of (2.1).

The following remark states the connection of Theorem 7 with already established results.

Remark 2. (i) If we substitute $\eta = 0$ , $\alpha = 1$ and $\psi(t) = t$ in (2.1), then [32,Theorem 2.1] can be obtained.

(ii) If we substitute $k = m = \alpha = 1$ , $\eta = 0$ and $h(t) = \psi(t) = t$ in (2.1), then Theorem 1 can be obtained.

(iii) If we substitute $\eta = 0$ , $h(t) = \psi(t) = t$ and $m = \alpha = 1$ in (2.1), then refinement of Theorem 1 can be obtained.

(iv) If we substitute $\alpha = k = \zeta = m = 1$ , $\eta = 0$ and $h(t) = \psi(t) = t$ in (2.1), then Hadamard inequality can be obtained.

(v) If we substitute $\eta = 0$ , $m = \alpha = 1$ and $h(t) = t$ in (2.1), then [28,Theorem 1] can be obtained.

(vi) If we substitute $\eta = 0$ , $k = m = \alpha = 1$ and $h(t) = t$ in (2.1), then [37,Theorem 2.1] can be obtained.

(vii) If we substitute $\alpha = k = 1$ , $h(t) = \psi(t) = t$ and $\eta = 0$ in (2.1), then [34,Theorem 2.1] can be obtained.

(viii) If we substitute $\alpha = 1$ , $h(t) = t^{s}$ and $\psi(t) = t$ in (2.1), then [39,Theorem 2] can be obtained.

(ix) If we substitute $\alpha = 1$ , $\eta = 0$ and $h(t) = t^{s}$ in (2.1), then [38,Corollary 1] can be obtained.

(x) If we substitute $\eta = 0$ and $k = 1$ in (2.1), then [31,Corollary 1] can be obtained.

(xi) If we substitute $\eta = 0$ and $\alpha = 1$ in (2.1), then [31,Corollary 1] gives the refinement of resulting inequality.

In the following we give inequality (2.1) for exponentially $(h-m)$ -convex, exponentially $(s, m)$ -convex, exponentially $s$ -convex, exponentially $m$ -convex and exponentially convex functions.

Corollary 1. If we take $\alpha = 1$ in (2.1), then the following inequality holds for exponentially $(h-m)$ -convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq \frac{h\left(\frac{1}{2}\right)\Gamma_{k}({\zeta+k})}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))+g_{2}(\eta)m^{\frac{\zeta}{k}+1}\\&\times \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)\left( \psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\!\bigg]\leq\frac{\zeta h\left(\frac{1}{2}\right)}{k}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]\\&\times\int_{0}^{1}h(t)t^{{\frac{\zeta}{k}-1}}dt+\frac{m\zeta h\left(\frac{1}{2}\right)}{k}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta\varrho_{1}}{m^{2}}}}\bigg]\int_{0}^{1}t^{{\frac{\zeta}{k}-1}}h(1-t)dt. \end{align}$

Corollary 2. If we take $\alpha = 1$ and $h(t) = t^{s}$ in (2.1), then the following inequality holds for exponentially $(s, m)$ -convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq \frac{\Gamma_{k}({\zeta+k})}{2^{s}(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))+m^{\frac{\zeta}{k}+1}g_{2}(\eta)\\&\times \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)\left( \psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]\leq\frac{\zeta}{2^{s}(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{2}}}\bigg]\\&+\frac{m\mu B\left(1+s, \frac{\mu}{k}\right)}{2^{s}k}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]. \end{align}$

If we put $m = 1$ in the above inequality, then the result of exponentially $s$ -convex function can be obtained.

Corollary 3. If we take $\alpha = 1$ and $h(t) = t$ in (2.1), then the following inequality holds for exponentially $m$ -convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq \frac{\Gamma_{k}({\zeta+k})}{2(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))+g_{2}(\eta)m^{\frac{\zeta}{k}+1}\\&\times \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)\left( \psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]\leq\frac{\zeta}{2(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]\\&+\frac{m}{2(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]. \end{align}$

Corollary 4. If we take $\alpha = m = 1$ and $h(t) = t$ in (2.1), then the following inequality holds for exponentially convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\leq\frac{\Gamma_{k}({\zeta+k})}{2(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\\\times&\left[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{2}))+g_{2}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{1}))\right]\\&\leq\frac{\zeta}{2(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+g_{2}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]+\frac{1}{2(\zeta+k)}\left[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+g_{2}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}\right]. \end{align}$

The next theorem is another version of the Hadamard inequality for exponentially $(\alpha, h-m)$ -convex functions.

Theorem 8. Under the assumptions of Theorem 7, the following $k$ -fractional integral inequality holds:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}}\Gamma_{k}(\zeta+k)}{^{}(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right) \quad _{k}^{\psi}I_{\psi^{-1}(\frac{\varrho_{1}+m\varrho_{2}}{2})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+g_{2}(\eta)H\left(\frac{1}{2}\right)m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}(\frac{\varrho_{1}+m\varrho_{2}}{2m})^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]\leq\frac{\zeta}{k}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}\\&+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)t^{{\frac{\zeta}{k}-1}}dt+\frac{\zeta m}{k}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\\&+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]\int_{0}^{1}H\left(\frac{t}{2}\right)t^{{\frac{\zeta}{k}-1}}dt, \end{align}$

(2.7)

where $\zeta > 0$ , $H(t) = h(1-t^{\alpha})$ and

$\begin{equation*} g_{1}(\eta) = \begin{cases} {}{e^{-\eta m\varrho_{2}}} & \mathit{\text{if}} \ \eta < 0 \\ {}{e^{-\eta\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)}} & \mathit{\text{if}} \ \eta > 0 \end{cases}, \quad g_{2}(\eta) = \begin{cases} {}{e^{-\eta\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)}} & \mathit{\text{if}} \ \eta < 0 \\ {}{e^{\frac{-\eta \varrho_{1}}{m}}} & \mathit{\text{if}} \ \eta > 0 \end{cases} . \end{equation*}$

Proof. By setting $x = \frac{\varrho_{1}t}{2}+m(\frac{2-t}{2})\varrho_{2}$ , $y = \frac{\varrho_{1}}{m}(\frac{2-t}{2})+\frac{\varrho_{2}t}{2}$ , $t\in[0, 1]$ , in (2.2) and integrating the resulting inequality over $[0, 1]$ after multiplying with $t^{{\frac{\zeta}{k}-1}}$ , we get

$\begin{align} &\frac{k}{\zeta}\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq h\left(\frac{1}{2^{\alpha}}\right)\int_{0}^{1}\frac{\varphi\left(\frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}\right)}{e^{\eta\left(\frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}\right)}}t^{{\frac{\zeta}{k}-1}}dt\\&+{m}H\left(\frac{1}{2}\right)\int_{0}^{1}\frac{\varphi\left(\frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}\right)}{e^{\eta\left(\frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}\right)}}t^{{\frac{\zeta}{k}-1}}dt. \end{align}$

(2.8)

By setting $\psi(u) = \frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}$ and $\psi(v) = \frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}$ in (2.8), we obtain

$\begin{align} &\frac{k}{\zeta}\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}}}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\\\times&\bigg[h\left(\frac{1}{2^{\alpha}}\right)\int_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)}^{\psi^{-1}(m\varrho_{2})}\frac{\varphi(\psi(u))}{e^{\eta\psi(u)}}\left({{{m\varrho_{2}-\psi(u)}}}\right)^{\frac{\zeta}{k}-1}d(\psi(u))\\&+m^{\frac{\zeta}{k}+1}H\left(\frac{1}{2}\right)\int_{\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)}^{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)}\frac{\varphi(\psi(v))}{e^{\eta\psi(v)}}\left({{\psi(v)-\frac{\varrho_{1}}{m}}}\right)^{\frac{\zeta}{k}-1}d(\psi(v))\bigg]. \end{align}$

(2.9)

Further, taking the maximum value of exponential function and using Definition 4, we get

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}}\Gamma_{k}(\zeta+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right) \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+g_{2}(\eta)h\left(\frac{2^{\alpha}-1}{2^{\alpha}}\right)m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]. \end{align}$

Again using exponentially $(\alpha, h-m)$ -convexity of $\varphi$ , for $t\in[0, 1]$ , we have

$\begin{align} &g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\varphi\left(\frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}\right)+mg_{2}(\eta)H\left(\frac{1}{2}\right)\varphi\left(\frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}\right)\\&\leq h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mH\left(\frac{1}{2}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]+mH\left(\frac{t}{2}\right)\\&\times\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]. \end{align}$

(2.10)

By integrating (2.10) over $[0, 1]$ after multiplying with $t^{{\frac{\zeta}{k}-1}}$ , the following inequality holds

$\begin{align} &g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\int_{0}^{1}\varphi\left(\frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}\right)t^{{\frac{\zeta}{k}-1}}dt+mg_{2}(\eta)H\left(\frac{1}{2}\right)\\&\times\int_{0}^{1}\varphi\left(\frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}\right)t^{{\frac{\zeta}{k}-1}}dt\leq \left[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\right]\\&\times\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)t^{{\frac{\zeta}{k}-1}}dt+m\bigg[g_{1}(\eta)h\left(\frac{1}{2^{\alpha}}\right)\frac{\varphi(\varrho_{2})}{e^{\eta\varrho_{2}}}+mg_{2}(\eta)H\left(\frac{1}{2}\right)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]\int_{0}^{1}h\left(\frac{2^{\alpha}-t^{\alpha}}{2^{\alpha}}\right)t^{{\frac{\zeta}{k}-1}}dt. \end{align}$

(2.11)

Again using substitutions as considered in (2.8), the second inequality of (2.7) can be obtained.

The following remark states the connection of Theorem 8 with already established results.

Remark 3. (i) If we substitute $\eta = 0$ and $k = 1$ in (2.7), then [31,Corollary 3] can be obtained.

(ii) If we substitute $\eta = 0$ and $\alpha = 1$ in (2.7), then [31,Theorem 10] gives the refinement of resulting inequality.

(iii) If we take $h(t) = \psi(t) = t$ , $m = k = \alpha = 1$ and $\eta = 0$ (2.7), then Theorem 2 can be obtained.

(iv) If we substitute $h(t) = \psi(t) = t$ , $m = \alpha = 1$ , $\eta = 0$ in (2.7), then refinement of Theorem 2 can be obtained.

(v) If we use $h(t) = \psi(t) = t$ , $m = \zeta = k = \alpha = 1$ , $\eta = 0$ and in (2.7), then the Hadamard inequality can be obtained.

(vi) If we substitute $h(t) = t, m = \alpha = 1$ and $\eta = 0$ in (2.7), then [35,Corrollary 3] can be obtained.

(vii) If we substitute $h(t) = \psi(t = )t, k = \alpha = 1$ and $\eta = 0$ in (2.7), then [33,Theorem 2.1] can be obtained.

(viii) If we substitute $\alpha = 1$ , $h(t) = t^{s}$ and $\eta = 0$ in (2.7), then [38,Corollary 3] can be obtained.

(ix) If we substitute $h(t) = t$ , $m = \alpha = k = 1$ and $\eta = 0$ in (2.7), then [40,Corrollary 3] can be obtained.

In the following we give inequality (2.7) for exponentially $(h-m)$ -convex, exponentially $(s, m)$ -convex, exponentially $s$ -convex, exponentially $m$ -convex and exponentially convex functions.

Corollary 5. If we take $\alpha = 1$ in (2.7), then the following inequality holds for exponentially $(h-m)$ -convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}}h\left(\frac{1}{2}\right)\Gamma_{k}(\zeta+k)}{^{}(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+g_{2}(\eta)m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]\\&\leq\frac{\zeta h\left(\frac{1}{2}\right)}{k}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]\int_{0}^{1}h\left(\frac{t}{2}\right)t^{{\frac{\zeta}{k}-1}}dt+\frac{\zeta mh\left(\frac{1}{2}\right)}{k}\\&\times\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]\int_{0}^{1}h\left(\frac{2-t}{2}\right)t^{{\frac{\zeta}{k}-1}}dt. \end{align}$

Corollary 6. If we take $\alpha = 1$ and $h(t) = t^{s}$ in (2.7), then the following inequality holds for exponentially $(s, m)$ -convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}-s}\Gamma_{k}(\zeta+k)}{^{}(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+g_{2}(\eta)m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2} }{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]\leq\frac{\zeta}{2^{2s}(\zeta+sk)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}\\&+mg_{2}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]+\frac{\zeta mB\left(1+s, \frac{\zeta}{k}\right)}{2^{2s}k}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]. \end{align}$

If we put $m = 1$ in the above inequality, then the result of exponentially $s$ -convex function can be obtained.

Corollary 7. If we take $\alpha = 1$ , $h(t) = t$ in (2.7), then the following inequality holds for exponentially $m$ -convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}(\zeta+k)}{^{}(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)^+}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(m\varrho_{2}\right)\right)+g_{2}(\eta)m^{\frac{\zeta}{k}+1}\\&\times \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]\leq\frac{\zeta}{4(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+mg_{2}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]\\&+\frac{m(\zeta+2k)}{4(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+mg_{2}(\eta)\frac{\varphi\left(\frac{\varrho_{1}}{m^{2}}\right)}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\bigg]. \end{align}$

Corollary 8. If we take $\alpha = m = 1$ , $h(t) = t$ in (2.7), then the following inequality holds for exponentially convex functions:

$\begin{align} &\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\leq\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}(\zeta+k)}{(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[g_{1}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{2}))\\&+g_{2}(\eta) \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^-}^{\zeta}(\varphi\circ\psi)(\psi^{-1}({\varrho_{1}}))\bigg]\leq\frac{\zeta}{4(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}+g_{2}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}\bigg]\\&+\frac{(\zeta+2k)}{4(\zeta+k)}\bigg[g_{1}(\eta)\frac{\varphi(\varrho_{2})}{e^{\eta \varrho_{2}}}+g_{2}(\eta)\frac{\varphi(\varrho_{1})}{e^{\eta \varrho_{1}}}\bigg]. \end{align}$

3. Error estimations of Hadamard inequalities for exponentially $(\alpha, h-m)$ -convex functions

In this section we give error estimations of the Hadamard inequalities by using exponentially $(\alpha, h-m)$ -convex functions via generalized Riemann-Liouville fractional integrals. The following identity is useful to prove the next theorem.

Lemma 1. ^[28] Let $\varrho_{1} < \varrho_{2}$ and $\varphi:[\varrho_{1}, \varrho_{2}]\rightarrow \mathbb{R}$ be a differentiable mapping on $(\varrho_{1}, \varrho_{2})$ . Also, suppose that $\varphi'\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Then, for $k > 0$ , the following identity holds for the operators given in (1.7) and (1.8):

$\begin{align} &\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma_{k}({\zeta+k})}{2(\varphi_{2}-\varphi_{1})^\frac{\zeta}{k}}\left[_{k}^{\psi}I_{\psi^{-1}(\varphi_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varphi_{2}))+\!_{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^{-}}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{1}))\right]\\& = \frac{\varrho_{2}-\varrho_{1}}{2}\int_{0}^{1}\left((1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right)\varphi'\left(t\varrho_{1}+(1-t)\varrho_{2}\right)dt. \end{align}$

(3.1)

Theorem 9. Let $\varphi: [\varrho_{1}, \varrho_{2}]\rightarrow \mathbb{R}$ be a differentiable mapping on $(\varrho_{1}, \varrho_{2})$ such that $\varphi'\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Also suppose that $|\varphi^\prime|$ is exponentially $(\alpha, h-m)$ -convex on $[\varrho_{1}, \varrho_{2}]$ . Then, for $k > 0$ , $\eta\in\mathbb{R}$ and $(\alpha, m)\in(0, 1]^{2}$ , the following $k$ -fractional integral inequality holds for the operators given in (1.7) and (1.8):

$\begin{align} &\left|\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma_{k}({\zeta}+k)}{2(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\left[_{k}^{\psi}I_{\psi^{-1}({\varrho_{1}})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{2}))+\!_{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{1}))\right]\right|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{2}\bigg[\frac{\left|\varphi'(\varrho_{1})\right|}{e^{\eta \varrho_{1}}}\bigg(\int_{0}^{\frac{1}{2}}h(t^{\alpha})\left((1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right)dt+\int_{\frac{1}{2}}^{1}h(t^{\alpha})\left(t^{\frac{\zeta}{k}}-(1-t)^{\frac{\zeta}{k}}\right)dt\bigg)\\ &+\frac{m\left|\varphi'\left(\frac{\varrho_{2}}{m}\right)\right|}{e^{\frac{\eta \varrho_{2}}{m}}}\bigg(\int_{0}^{\frac{1}{2}}H(t)\left((1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right)dt+\int_{\frac{1}{2}}^{1}H(t)\left(t^{\frac{\zeta}{k}}-(1-t)^{\frac{\zeta}{k}}\right)dt\bigg)\bigg], \end{align}$

(3.2)

where $H(t)$ is defined in Theorem 7.

Proof. From Lemma 1, it follows that

(3.3)

By using exponentially $(\alpha, h-m)$ -convexity of $|\varphi'|$ , for $t\in[0, 1]$ , we have

$\begin{align} &|\varphi'(t\varrho_{1}+(1-t)\varrho_{2})|\leq h(t^{\alpha})\frac{|\varphi'(\varrho_{1})|}{e^{\eta \varrho_{1}}}+mH(t)\frac{\left|\varphi'\left(\frac{\varrho_{2}}{m}\right)\right|}{e^{\frac{\eta \varrho_{2}}{m}}}. \end{align}$

(3.4)

Using (3.4) in (3.3), we get

$\begin{align} &\left|\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma_{k}({\zeta+k})}{2(\varphi_{2}-\varphi_{1})^\frac{\zeta}{k}}\left[_{k}^{\psi}I_{\psi^{-1}(\varphi_{1})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varphi_{2}))+\!_{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^{-}}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{1}))\right]\right|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{2}\int_{0}^{1}\left|(1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right|\bigg[h(t^{\alpha})\frac{|\varphi'(\varrho_{1})|}{e^{\eta \varrho_{1}}}+mH(t)\frac{\left|\varphi'\left(\frac{\varrho_{2}}{m}\right)\right|}{e^{\frac{\eta \varrho_{2}}{m}}}\bigg] \\& = \frac{\varrho_{2}-\varrho_{1}}{2}\bigg[\frac{\left|\varphi'(\varrho_{1})\right|}{e^{\eta \varrho_{1}}}\left[\int_{0}^{\frac{1}{2}}h(t^{\alpha})\left((1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right)dt+\int_{\frac{1}{2}}^{1}h(t^{\alpha})\left(t^{\frac{\zeta}{k}}-(1-t)^{\frac{\zeta}{k}}\right)dt\right]\\&+\frac{m\left|\varphi'\left(\frac{\varrho_{2}}{m}\right)\right|}{e^{\frac{\eta \varrho_{2}}{m}}}\bigg[\int_{0}^{\frac{1}{2}}H(t)\left((1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right)dt+\int_{\frac{1}{2}}^{1}H(t)\left(t^{\frac{\zeta}{k}}-(1-t)^{\frac{\zeta}{k}}\right)dt\bigg]. \end{align}$

The following remark states the connection of Theorem 9 with already established results.

Remark 4. (i) If we substitute $\eta = 0$ and $k = 1$ in (3.2), then [31,Corllary 7] can be obtained.

(ii) If we substitute $\eta = 0$ and $\alpha = 1$ in (3.2), then [31,Theorem 11] gives the refinement of resulting inequality.

(iii) If we substitute $h(t) = t$ , $m = \alpha = 1$ and $\eta = 0$ in (3.2), then [35,Corollary 10] can be obtained.

(iv) If we substitute $m = \alpha = 1$ , $\eta = 0$ and $h(t) = t^{s}$ in (3.2), then [28,Theorem 2] can be obtained.

(v) If we substitute $m = \alpha = 1$ , $h(t) = \psi(t) = t$ and $\eta = 0$ in (3.2), then [26,Theorem 2.4] can be obtained.

(vi) If we substitute $k = m = \alpha = 1$ , $h(t) = \psi(t) = t$ and $\eta = 0$ in (3.2), then Theorem 3 can be obtained.

(vii) If we substitute $k = \alpha = \zeta = m = 1$ , $h(t) = \psi(t) = t$ and $\eta = 0$ in (3.2), then [29,Theorem 2.2] can be obtained.

(viii) If we substitute $\alpha = 1$ , $\eta = 0$ and $h(t) = t^{s}$ in (3.2), then [38,Corollary 5] can be obtained.

In the following we present the inequality (3.2) for exponentially $(h-m)$ -convex, exponentially $(s, m)$ -convex, exponentially $s$ -convex, exponentially $m$ -convex and exponentially convex functions.

Corollary 9. If we take $\alpha = 1$ in (3.2), then the following inequality holds for exponentially $(h-m)$ -convex functions:

$\begin{align} &\left|\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma_{k}({\zeta}+k)}{2(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\left[_{k}^{\psi}I_{\psi^{-1}({\varrho_{1}})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{2}))+\!_{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{1}))\right]\right|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{2}\bigg[\frac{\left|\varphi'(\varrho_{1})\right|}{e^{\eta \varrho_{1}}}\bigg(\int_{0}^{\frac{1}{2}}h(t)\left((1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right)dt+\int_{\frac{1}{2}}^{1}h(t)\left(t^{\frac{\zeta}{k}}-(1-t)^{\frac{\zeta}{k}}\right)dt\bigg)\\ &+\frac{m\left|\varphi'\left(\frac{\varrho_{2}}{m}\right)\right|}{e^{\frac{\eta \varrho_{2}}{m}}}\bigg(\int_{0}^{\frac{1}{2}}h(1-t)\left((1-t)^{\frac{\zeta}{k}}-t^{\frac{\zeta}{k}}\right)dt+\int_{\frac{1}{2}}^{1}h(1-t)\left(t^{\frac{\zeta}{k}}-(1-t)^{\frac{\zeta}{k}}\right)dt\bigg)\bigg]. \end{align}$

Corollary 10. If we take $\alpha = 1$ and $h(t) = t^{s}$ in (3.2), then the following inequality holds for exponentially $(s, m)$ -convex functions:

$\begin{align} &\left|\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma_{k}({\zeta}+k)}{2(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\left[_{k}^{\psi}I_{\psi^{-1}({\varrho_{1}})^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{2}))+\!_{k}^{\psi}I_{\psi^{-1}(\varrho_{2})^-}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{1}))\right]\right|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{2}\bigg[\frac{|\varphi'(\varrho_{1})|}{e^{\eta \varrho_{1}}}\bigg(2B\left(\frac{1}{2};s+1, \frac{\zeta}{k}+1\right)+\frac{1-\left(\frac{1}{2}\right)^{s+\frac{\zeta}{k}}}{s+\frac{\zeta}{k}+1}-B\left(1+s, 1+\frac{\zeta}{k}\right)\bigg)\\&+\frac{m\bigg|\varphi'\left(\frac{\varrho_{2}}{m}\right)\bigg|}{e^{\frac{\eta \varrho_{2}}{m}}}\bigg(\frac{1-\left(\frac{1}{2}\right)^{s+\frac{\zeta}{k}+1}}{s+\frac{\zeta}{k}+1}-\frac{_{2}F_{1}\!\left(-s, 1+\frac{\zeta}{k}, 2+\frac{\zeta}{k};\frac{1}{2}\right)}{{}{2}^{1+\frac{\zeta}{k}}\left(\frac{\zeta}{k}+1\right)}+B\left(1+s, 1+\frac{\zeta}{k}\right)\\&-\frac{k(k+\zeta+2^{s}(k+ks+\zeta) \quad _{2}F_{1}\!\left(-s, 1+\frac{\zeta}{k}, 2+\frac{\zeta}{k};\frac{1}{2}\right)}{2^{s+\frac{\zeta}{k}+1}(sk+{\zeta}+k)(\zeta+k)}\bigg)\bigg]. \end{align}$

If we put $m = 1$ in the above inequality, then the result of exponentially $s$ -convex function can be obtained.

Corollary 11. If we take $\alpha = m = 1$ and $h(t) = t$ in (3.2), then the following inequality holds for exponentially convex functions:

Corollary 12. If we take $\alpha = m = k = 1$ and $h(t) = \psi(t) = t$ in (3.2), then the following inequality holds for exponentially convex functions via Riemann-Liouville fractional integrals:

$\begin{align} &\left|\frac{\varphi(\varrho_{1})+\varphi(\varrho_{2})}{2}-\frac{\Gamma({\zeta}+1)}{2(\varrho_{2}-\varrho_{1})^{{\zeta}}}\left[_{}^{}I_{({\varrho_{1}})^+}^{\zeta}\varphi(\varrho_{2})+_{}^{}I_{(\varrho_{2})^-}^{\zeta}\varphi(\varrho_{1})\right]\right|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{2(\frac{\zeta}{k}+1)} \left(1-\frac{1}{2^{\frac{\zeta}{k}}}\right)\left(\frac{|\varphi'(\varrho_{1})|}{e^{\eta\varrho_{1}}}+\frac{|\varphi^\prime(\varrho_{2})|}{e^{\eta\varrho_{2}}}\right). \end{align}$

The following identity will be useful to obtain the next results.

Lemma 2. ^[38] Let $\varphi:[\varrho_{1}, \varrho_{2}]\rightarrow \mathbb{R}$ be a differentiable mapping on $(\varrho_{1}, \varrho_{2})$ such that $\varphi\in L_{1}[\varrho_{1}, \varrho_{2}]$ . Then for $k > 0$ and $m\in(0, 1]$ , the following integral identity holds for operators given in (1.7) and (1.8):

$\begin{align} &\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\\& = \frac{m\varrho_{2}-\varrho_{1}}{4}\bigg[\int_{0}^{1}t^{\frac{\zeta}{k}}\varphi'\left(\frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}\right)dt-\int_{0}^{1}t^{\frac{\zeta}{k}}\varphi'\left(\frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}\right)dt\bigg]. \end{align}$

(3.5)

Theorem 10. Let $\varphi: [\varrho_{1}, \varrho_{2}]\rightarrow \mathbb{R}$ be a differentiable mapping on $(\varrho_{1}, \varrho_{2})$ such that $\varphi'\in\text{Ł}_{1}[\varrho_{1}, \varrho_{2}]$ . Also suppose that $|\varphi'|^{q}$ is exponentially $(\alpha, h-m)$ -convex function on $[\varrho_{1}, \varrho_{2}]$ for $q\geq1$ . Then, for $\eta\in\mathbb{R}$ , $k > 0$ and $(\alpha, m)\in(0, 1]^{2}$ , the following fractional integral inequality holds for operators given in (1.7) and (1.8):

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4\left(\frac{\zeta}{k}+1\right)^{1-\frac{1}{q}}}\bigg[\bigg(\frac{{|\varphi'(\varrho_{1})|^{q}}}{e^{\eta \varrho_{1}}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)t^{\frac{\zeta}{k}}dt+\frac{{m|\varphi'(\varrho_{2})|^{q}}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{2^{\alpha}-t^{\alpha}}{2^{\alpha}}\right)t^{\frac{\zeta}{k}}dt\bigg)^{\frac{1}{q}}\\&+\bigg(\frac{{m\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}}{e^{{\frac{\eta \varrho_{1}}{m^{2}}}}}\int_{0}^{1}H\left(\frac{t}{2}\right)t^{\frac{\zeta}{k}}dt+\frac{{|\varphi'(\varrho_{2})|^{q}}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)t^{\frac{\zeta}{k}}dt\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

(3.6)

Proof. We divide the proof in two cases:

Case 1. For $q = 1$ . Applying Lemma 2 and using exponentially $(\alpha, h-m)$ -convexity of $|\varphi'|$ , we have

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4}\bigg[\int_{0}^{1}\bigg|t^{\frac{\zeta}{k}}\varphi'\left(\frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}\right)\bigg|dt+\int_{0}^{1}\bigg|t^{\frac{\zeta}{k}}\varphi'\left(\frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}\right)\bigg|dt\bigg] \\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4}\bigg[\left(\frac{|\varphi'(\varrho_{1})|}{e^{\eta \varrho_{1}}}+\frac{|\varphi'(\varrho_{2})|}{e^{\eta \varrho_{2}}}\right)\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)t^{\frac{\zeta}{k}}dt+m\left(\frac{|\varphi'(\varrho_{2})|}{e^{\eta \varrho_{2}}}+\frac{\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\right)\\&\times\int_{0}^{1}H\left(\frac{t}{2}\right)t^{\frac{\zeta}{k}}dt\bigg]. \end{align}$

Case 2. Now for $q > 1$ . From Lemma 2 and using power mean inequality, we get

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4}\left(\int_{0}^{1}t^{\frac{\zeta}{k}}dt\right)^{1-\frac{1}{q}}\bigg[\bigg(\int_{0}^{1}t^{\frac{\zeta}{k}}\bigg|\varphi'\bigg(\frac{\varrho_{1}t}{2}+m\left(\frac{2-t}{2}\right)\varrho_{2}\bigg)\bigg|^{q}dt\bigg)^{\frac{1}{q}}\\&+\bigg(\int_{0}^{1}t^{\frac{\zeta}{k}}\bigg|\varphi'\left(\frac{\varrho_{1}}{m}\left(\frac{2-t}{2}\right)+\frac{\varrho_{2}t}{2}\right)\bigg|^{q}dt\bigg)^{\frac{1}{q}}\bigg]\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4\left(\frac{\zeta}{k}+1\right)^{1-\frac{1}{q}}}\bigg[\bigg(\frac{{|\varphi'(\varrho_{1})|^{q}}}{e^{\eta \varrho_{1}}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)t^{\frac{\zeta}{k}}dt+\frac{{m|\varphi'(\varrho_{2})|^{q}}}{e^{\eta \varrho_{2}}}\int_{0}^{1}H\left(\frac{t}{2}\right)t^{\frac{\zeta}{k}}dt\bigg)^{\frac{1}{q}}\\&+\bigg(\frac{{m\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}}{e^{{\frac{\eta \varrho_{1}}{m^{2}}}}}\int_{0}^{1}H\left(\frac{t}{2}\right)t^{\frac{\zeta}{k}}dt+\frac{{|\varphi'(\varrho)_{2}|^{q}}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)t^{\frac{\zeta}{k}}dt\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

Hence (3.6) is obtained.

The following remark states the connection of Theorem 10 with already established results.

Remark 5. (i) If we substitute $\eta = 0$ , $\alpha = 1$ and $h(t) = t^{s}$ in (3.6), then [38,Corollary 7] can be obtained.

(ii) If we substitute $h(t) = \psi(t) = t$ , $k = \alpha = 1$ and $\eta = 0$ in (3.6), then [33,Theorem 2.4] can be obtained.

(iii) If we substitute $\eta = 0$ , $h(t) = \psi(t) = t$ and $\alpha = m = 1$ in (3.6), then [27,Theorem 3.1] can be obtained.

(iv) If we substitute $h(t) = \psi(t) = t$ , $m = k = \alpha = 1$ and $\eta = 0$ in (3.6), then [25,Theorem 5] can be obtained.

(v) If we substitute $q = m = k = \zeta = \alpha = 1$ , $h(t) = \psi(t) = t$ and $\eta = 0$ in (3.6), then [36,Theorem 2.2] can be obtained.

(vi) If we substitute $\eta = 0$ , $m = \alpha = 1$ and $h(t) = t$ in (3.6), then [35,Corollary 10] can be obtained.

(vii) If we substitute $\eta = 0$ and $k = 1$ in (3.6), then [31,Corollary 10] can be obtained.

(viii) If we substitute $\eta = 0$ and $\alpha = 1$ in (3.6), then [31,Theorem 12] gives the refinement of resulting inequality.

In the following we present the inequality (3.6) for exponentially $(h-m)$ -convex, exponentially $(s, m)$ -convex, exponentially $s$ -convex, exponentially $m$ -convex and exponentially convex functions.

Corollary 13. If we take $\alpha = 1$ in (3.6), then the following inequality holds for exponentially $(h-m)$ -convex functions:

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4\left(\frac{\zeta}{k}+1\right)^{1-\frac{1}{q}}}\bigg[\bigg(\frac{{|\varphi'(\varrho_{1})|^{q}}}{e^{\eta \varrho_{1}}}\int_{0}^{1}h\left(\frac{t}{2}\right)t^{\frac{\zeta}{k}}dt+\frac{{m|\varphi'(\varrho_{2})|^{q}}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{2-t}{2}\right)t^{\frac{\zeta}{k}}dt\bigg)^{\frac{1}{q}}\\&+\bigg(\frac{{m\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}}{e^{{\frac{\eta \varrho_{1}}{m^{2}}}}}\int_{0}^{1}h\left(\frac{2-t}{2}\right)t^{\frac{\zeta}{k}}dt+\frac{{|\varphi'(\varrho_{2})|^{q}}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{t}{2}\right)t^{\frac{\zeta}{k}}dt\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

Corollary 14. If we take $\alpha = 1$ and $h(t) = t^{s}$ in (3.6), then the following inequality holds for exponentially $(s, m)$ -convex functions:

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4(\frac{\zeta}{k}+1)\left(2^{s}(\frac{\zeta}{k}+s+1)\right)^{\frac{1}{q}}}\bigg[\bigg(\left(\frac{\zeta}{k}+1\right)\frac{\left|\varphi'(\varrho_{1})\right|^{q}}{e^{\eta \varrho_{1}}}\\&+2^{s}m\left(\frac{\zeta}{k}+s+1\right) \quad _{2}F_{1}\left(-s, 1+\frac{\zeta}{k}, 2+\frac{\zeta}{k};\frac{1}{2}\right)\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\bigg)^{\frac{1}{q}}\\&+\bigg(2^{s}m\; \quad _{2}F_{1}\!\left(-s, 1+\frac{\zeta}{k}, 2+\frac{\zeta}{k};\frac{1}{2}\right)\left(\frac{\zeta}{k}+s+1\right)\frac{{\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}}{e^{{\frac{\eta \varrho_{1}}{m^{2}}}}}+\left(\frac{\zeta}{k}+1\right)\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

If we put $m = 1$ in the above inequality, then the result of exponentially $s$ -convex function can be obtained.

Corollary 15. If we take $\alpha = m = 1$ and $h(t) = t$ in (3.6), then the following inequality holds for exponentially convex functions:

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{2}))+ \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^-}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{1}))\bigg]\\&-\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\bigg|\leq\frac{\varrho_{2}-\varrho_{1}}{4\left(\frac{\zeta}{k}+1\right)\left(2(\frac{\zeta}{k}+2)\right)^{\frac{1}{q}}}\bigg[\bigg(\left(\frac{\zeta}{k}+1\right)\frac{\left|\varphi'(\varrho_{1})\right|^{q}}{e^{\eta \varrho_{1}}}+\left(\frac{\zeta}{k}+3\right)\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\bigg)^{\frac{1}{q}}\\&+\bigg(\left(\frac{\zeta}{k}+3\right)\frac{\left|\varphi'(\varrho_{1}))\right|^{q}}{e^{\eta \varrho_{1}}}+\left(\frac{\zeta}{k}+1\right)\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

Corollary 16. If we take $\alpha = k = m = q = \zeta = 1$ , $h(t) = \psi(t) = t$ in (3.6), then the following inequality is obtained:

$\begin{align} &\bigg|\frac{1}{(\varrho_{2}-\varrho_{1})}\int_{0}^{1}\varphi(\nu)d\nu-\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\bigg|\leq\frac{\varrho_{2}-\varrho_{1}}{8}\bigg[\frac{{|\varphi'(\varrho_{1})|}}{e^{\eta \varrho_{1}}}+\frac{{|\varphi'(\varrho_{2})|}}{e^{\eta \varrho_{2}}}\bigg]. \end{align}$

Theorem 11. Let $\varphi:[\varrho_{1}, \varrho_{2}]\rightarrow \mathbb{R}$ be a differentiable mapping on $(\varrho_{1}, \varrho_{2})$ with $0\leq \varrho_{1} < m\varrho_{2}$ . Also suppose that $|\varphi'|^{q}$ is exponentially $(\alpha, h-m)$ -convex function on $[\varrho_{1}, \varrho_{2}]$ for $q > 1$ . Then, for $k > 0$ and $(\alpha, m)\in(0, 1]^{2}$ , the following fractional integral inequality holds for the operators given in (1.7) and (1.8):

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4\left(\frac{{\zeta}p}{k}+1\right)^{\frac{1}{p}}}\bigg[\bigg(\frac{\left|\varphi'(\varrho_{1})\right|}{e^{\eta \varrho_{1}}}^{q}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)dt+\frac{m\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{2^{\alpha}-t^{\alpha}}{2^{\alpha}}\right)dt\bigg)^{\frac{1}{q}}\\&+\Bigg(\frac{m\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\int_{0}^{1}H\left(\frac{t}{2}\right)dt+\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)dt\bigg)^{\frac{1}{q}}\Bigg], \end{align}$

(3.7)

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

Proof. By applying Lemma 2 and using the property of modulus, we get

Now applying Hölder's inequality for integrals, we get

Using exponentially $(\alpha, h-m)$ -convexity of $\left|\varphi'\right|^{q}$ , we get

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4\left(\frac{{\zeta}p}{k}+1\right)^{\frac{1}{p}}}\bigg[\bigg({\frac{\left|\varphi'(\varrho_{1})\right|}{e^{\eta \varrho_{1}}}^{q}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)dt+{\frac{m\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}}\int_{0}^{1}h\left(\frac{2^{\alpha}-t^{\alpha}}{2^{\alpha}}\right)dt\bigg)^{\frac{1}{q}}\\&+\bigg({\frac{m\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}}\int_{0}^{1}h\left(\frac{2^{\alpha}-t^{\alpha}}{2^{\alpha}}\right)dt+{\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)dt\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

The following remark is the connection of Theorem 3.3 with already established results.

Remark 6. (i) If we substitute $\eta = 0$ and $k = 1$ in (3.7), then [31,Corollary 12] can be obtained.

(ii) If we substitute $\eta = 0$ and $\alpha = 1$ in (3.7), then [31,Theorem 13] gives the refinement of resulting inequality.

(iii) If we substitute $h(t) = \psi(t) = t$ , $k = \alpha = 1$ and $\eta = 0$ in (3.7), then [33,Theorem 2.7] can be obtained.

(iv) If we substitute $\eta = 0$ , $h(t) = \psi(t) = t$ and $\alpha = m = 1$ in (3.7), then [27,Theorem 3.2] can be obtained.

(v) If we substitute $k = m = \zeta = \alpha = 1$ , $h(t) = \psi(t) = t$ and $\eta = 0$ in (3.7), then [36,Theorem 2.4] can be obtained.

(vi) If we substitute $\eta = 0$ , $\alpha = 1$ and $h(t) = t^{s}$ in (3.7), then [38,Corollary 9] can be obtained.

(vii) If we substitute $\alpha = m = 1$ , $h(t) = t$ and $\eta = 0$ in (3.7), then [35,Corollary 14] can be obtained.

In the following we give inequality (3.7) for exponentially $(h-m)$ -convex, exponentially $(s, m)$ -convex, exponentially $s$ -convex, exponentially $m$ -convex and exponentially convex functions.

Corollary 17. If we take $\alpha = 1$ in (3.7), then the following inequality holds for exponentially $(h-m)$ -convex functions:

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(m\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{\frac{\zeta}{k}+1} \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-\varrho_{1}}{4\left(\frac{{\zeta}p}{k}+1\right)^{\frac{1}{p}}}\bigg[\bigg(\frac{\left|\varphi'(\varrho_{1})\right|}{e^{\eta \varrho_{1}}}^{q}\int_{0}^{1}h\left(\frac{t}{2}\right)dt+\frac{m\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{2-t}{2}\right)dt\bigg)^{\frac{1}{q}}\\&+\bigg(\frac{m\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\int_{0}^{1}h\left(\frac{2-t}{2}\right)dt+\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{t}{2}\right)dt\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

Corollary 18. If we take $\alpha = 1$ and $h(t) = t^{s}$ in (3.7), then the following inequality holds for exponentially $(s, m)$ -convex functions:

If we put $m = 1$ in the above inequality, then the result of exponentially $s$ -convex function can be obtained.

Corollary 19. If we take $\alpha = 1$ and $h(t) = t$ in (3.7), then the following inequality holds for exponentially $m$ -convex functions:

Corollary 20. If we take $\alpha = m = 1$ and $h(t) = t$ in (3.7), then the following inequality holds for exponentially convex functions:

$\begin{align} &\bigg|\frac{2^{\frac{\zeta}{k}-1}\Gamma_{k}({\zeta}+k)}{(\varrho_{2}-\varrho_{1})^{\frac{\zeta}{k}}}\bigg[ \quad _{k}^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(\varrho_{2}))+ \quad _{k}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)^-}^{\zeta}(\varphi\circ\psi)(\psi^{-1}({\varrho_{1}}))\bigg]-\varphi\left(\frac{\varrho_{1}+\varrho_{2}}{2}\right)\bigg|\\&\leq\frac{\varrho_{2}-\varrho_{1}}{16}\left(\frac{4}{{\frac{\alpha p}{k}}+1}\right)^\frac{1}{p}\bigg[\left(\frac{|\varphi'(\varrho_{1})|^{q}}{e^{\eta \varrho_{1}}}+\frac{3|\varphi'(\varrho_{2})|^{q}}{e^{\eta \varrho_{2}}}\right)^{\frac{1}{q}}+\left(\frac{3\left|\varphi'(\varrho_{1})\right|^{q}}{e^{\eta \varrho_{1}}}+\frac{|\varphi'(\varrho_{2})|^{q}}{e^{\eta \varrho_{2}}}\right)^{\frac{1}{q}}\bigg]. \end{align}$

In the following, we give inequality (3.7) for the operators given in (1.5) and (1.6).

Corollary 21. If we take $k = 1$ in (3.7), then the following inequality holds for exponentially convex functions:

$\begin{align} &\bigg|\frac{2^{{\zeta}{}-1}\Gamma({\zeta}+1)}{(m\varrho_{2}-\varrho_{1})^{\zeta}}\bigg[ \quad ^{\psi}I_{\psi^{-1}\left({\frac{\varrho_{1}+m\varrho_{2}}{2}}\right)^+}^{\zeta}(\varphi\circ\psi)(\psi^{-1}(m\varrho_{2}))\\&+m^{{\zeta}+1}\; _{}^{\psi}I_{\psi^{-1}\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)^-}^{\zeta}(\varphi\circ\psi)\left(\psi^{-1}\left(\frac{\varrho_{1}}{m}\right)\right)\bigg]-\frac{1}{2}\bigg[\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2}\right)+m\varphi\left(\frac{\varrho_{1}+m\varrho_{2}}{2m}\right)\bigg]\bigg|\\&\leq\frac{m\varrho_{2}-a}{4\left({{\zeta}p}{}+1\right)^{\frac{1}{p}}}\bigg[\bigg(\frac{\left|\varphi'(\varrho_{1})\right|}{e^{\eta \varrho_{1}}}^{q}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)dt+\frac{m\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{2^{\alpha}-t^{\alpha}}{2^{\alpha}}\right)dt\bigg)^{\frac{1}{q}}\\&+\bigg(\frac{m\left|\varphi'\left(\frac{\varrho_{1}}{m^{2}}\right)\right|^{q}}{e^{\frac{\eta \varrho_{1}}{m^{2}}}}\int_{0}^{1}H\left(\frac{t}{2}\right)dt+\frac{\left|\varphi'(\varrho_{2})\right|^{q}}{e^{\eta \varrho_{2}}}\int_{0}^{1}h\left(\frac{t^{\alpha}}{2^{\alpha}}\right)dt\bigg)^{\frac{1}{q}}\bigg]. \end{align}$

4. Conclusions

The Hadamard inequalities presented in this work behave as generalized formulas which generate a number of fractional integral inequalities for all kinds of convex functions connected with exponentially $(\alpha, h-m)$ -convex function. Inequalities for Riemann-Liouville fractional integrals can also be deduced from the results of this paper. This work can be extended for other kinds of fractional integral operators exist in the literature.

Acknowledgments

We would like to thank reviewers for evaluating the work and giving useful suggestions.

Conflict of interest

The authors do not have competing interests.

References

[1]	A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, Elsevier, 2006.
[2]	V. Mladenov, N. Mastorakis, Advanced Topics on Applications of Fractional Calculus on Control Problems, System Stability and Modeling, Belgrade: WSEAS Press, 2014.
[3]	F. Jarad, E. Uǧurlu, T. Abdeljawad, D. Baleanu, On a new class of fractional operators, Adv. Differ. Equations, 2017 (2017), 247. doi: 10.1186/s13662-017-1306-z
[4]	M. Z. Sarikaya, Z. Dahmani, M. E. Kiris, F. Ahmad, $(k, s)$ -Riemann-Liouville fractional integral and applications, Hacettepe J. Math. Stat., 45 (2016), 77–89.
[5]	T. Tunç, H. Budak, F. Usta, M. Z. Sarikaya, On new generalized fractional integral operators and related fractional inequalities, Konuralp J. Math., 8 (2020), 268–278.
[6]	S. Iqbal, K. H. Kristina, J. Pečarić, Weighted Hardy-type inequalities for monotone convex functions with some applications, Fractional Differ. Calculus, 3 (2013), 31–53.
[7]	A. O. Akdemir, E. Deniz, E. Yüksel, On some integral inequalities via conformable fractional untegrals, Appl. Math. Nonlinear Sci., 2021. Available from: https://doi.org/10.2478/amns.2020.2.00071.
[8]	E. Set, J. Choi, A. Gözpinar, Hermite-Hadamard type inequalities for the generalized $k$ -fractional integral operators, J. Inequalities Appl., 1 (2017), 1–17.
[9]	E. Set, A. Gözpinar, Hermite-Hadamard type inequalities for convex functions via generalized fractional integral operators, Topol. Algebra Appl., 5 (2016), 55–62.
[10]	S. G. Samko, A. A. Kilbas, O. I. Marichev, Fractional Integrals and Derivatives-Theory and Applications, USA : Gordon and Breach Science Publishers, 1993.
[11]	S. Mubeen, G. M. Habibullah, $k$ -fractional integrals and applications, Int. J. Math. Math. Sci., 7 (2012), 89–94.
[12]	S. Mubeen, A. Rehman, A note on $k$ -Gamma function and Pochhammer $k$ -symbol, J. Inform. Math. Sci., 6 (2014), 93–107.
[13]	A. Akkurt, M. E. Yildirim, H. Yildirim, On some integral inequalities for $(k, h)$ -Riemann-Liouville fractional integral, New Trends Math. Sci., 4 (2016), 138–146. doi: 10.20852/ntmsci.2016217824
[14]	K. Miller, B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, New York: John Wiley and Sons, Inc., 1993.
[15]	W. F. He, G. Farid, K. Mahreen, M. Zahra, N. Chen, On an integral and consequent fractional integral operators via generalized convexity, AIMS Math., 5 (2020), 7632–7648.
[16]	X. L. Qiang, G. Farid, J. Pečarić, S. B. Akbar, Generalized fractional integral inequalities for exponentially $(s, m)$ -convex functions, J. Inequal. Appl., 2020 (2020), 70. doi: 10.1186/s13660-020-02335-7
[17]	N. Mehreen, M. Anwar, Hermite-Hadamard type inequalities for exponentially $p$ -convex functions and exponentially $s$ -convex functions in the second sense with applications, J. Inequal. Appl., 2019 (2019), 92.
[18]	M. U. Awan, M. A. Noor, K. I. Noor, Hermite-Hadamard inequalities for exponentially convex functions, Appl. Math. Inf. Sci, 12 (2018), 405–409. doi: 10.18576/amis/120215
[19]	J. Hadamard, Étude sur les propriétés des fonctions entières et en particulier d'une fonction considérée par Riemann, J. Math. Pures Appl., 58 (1893), 171–215.
[20]	C. Hermite, Sur deux limites d'une intégrale définie, Mathesis, 3 (1883), 82.
[21]	P. O. Mohammed, T. Abdeljawad, S. D. Zeng, A. Kashuri, Fractional Hermite-Hadamard integral inequalities for a new class of convex functions, Symmetry, 12 (2020), 1485.
[22]	M. E. Özdemir, A. A. Merve, H. Kavurmaci-Önalan, Hermite-Hadamard type inequalities for $s$ -convex and $s$ -concave functions via fractional integrals, Turkish J. Sci., 1 (2016), 28–40.
[23]	E. Set, M. A. Noor, M. U. Awan, A. Gözpinar, Generalized Hermite-Hadamard type inequalities involving fractional integral operators, J. Inequal. Appl., 2017 (2017), 169.
[24]	M. Z. Sarikaya, E. Set, H. Yaldiz, N. Başak, Hermite-Hadamard's inequalities for fractional integrals and related fractional inequalities, Math. Comput. Modell., 57 (2013), 2403–2407. doi: 10.1016/j.mcm.2011.12.048
[25]	M. Z. Sarikaya, H. Yildirim, On Hermite-Hadamard type inequalities for Riemann-Liouville fractional integrals, Miskolc Math. Notes, 17 (2017), 1049–1059. doi: 10.18514/MMN.2017.1197
[26]	G. Farid, A. U. Rehman, M. Zahra, On Hadamard-type inequalities for $k$ -fractional integrals, Nonlinear Funct. Anal. Appl., 21 (2016), 463–478.
[27]	G. Farid, A. U. Rehman, M. Zahra, On Hadamard inequalities for $k$ -fractional integrals, Konuralp J. Math., 4 (2016), 79–86.
[28]	M. U. Awan, S. Talib, Y. M. Chu, M. A. Noor, K. I. Noor, Some new refinements of Hermite-Hadamard-type inequalities involving $\psi_{k}$ -Riemann-Liouville fractional integrals and applications, Math. Probl. Eng., 2020 (2020), 3051920.
[29]	S. S. Dragomir, R. P. Agarwal, Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula, Appl. Math. Lett., 11 (1998), 91–95.
[30]	G. Farid, S. B. Akbar, L. N. Mishra, V. N. Mishra, Riemann-Liouville fractional versions of Hadamard inequality for strongly $m$ -convex functions, unpublished work.
[31]	G. Farid, Y. Kwun, H. Yasmeen, A. Akkurt, S. M. Kang, Inequalities for generalized Riemann-Liouville fractional integrals of generalized strongly convex functions, unpublished work.
[32]	G. Farid, A. U. Rehman, Q. U. Ain, $k$ -fractional integral inequalities of Hadamard type for $(h-m)$ -convex functions, Comput. Methods Differ. Equations, 8 (2020), 119–140.
[33]	G. Farid, A. U. Rehman, B. Tariq, On Hadamard-type inequalities for $m$ -convex functions via Riemann-Liouville fractional integrals, Stud. Univ. Babeş-Bolyai Math., 62 (2017), 141–150.
[34]	G. Farid, A. U. Rehman, B. Tariq, A. Waheed, On Hadamard type inequalities for $m$ -convex functions via fractional integrals, J. Inequal. Spec. Funct., 7 (2016), 150–167.
[35]	G. Farid, H. Yasmeen, C. Y. Jung, S. H. Shim, G. Ha, Refinements and generalizations of some fractional integral inequalities via strongly convex functions, Math. Probl. Eng., 2021 (2021), 6667226.
[36]	U. S. Kirmaci, Inequalities for differentiable mappings and applications to special means of real numbers to midpoint formula, Appl. Math. Comput., 147 (2004), 137–146.
[37]	K. Liu, J. R. Wang, D. O'Regan, On the Hermite-Hadamard type inequality for $\psi$ -Riemann-Liouville fractional integrals via convex functions, J. Inequal. Appl., 2019 (2019), 27.
[38]	C. Miao, G. Farid, H. Yasmeen, Y. Bian, Generalized Hadamard fractional integral inequalities for strongly $(s, m)$ -convex functions, J. Math., 2021 (2021), 6642289.
[39]	A. U. Rehman, G. Farid, S. Bibi, C. Y. Jung, S. M. Kang, $k$ -fractional integral inequalities of Hadamard type for exponentially $(s, m)$ -convex functions, AIMS Math., 6 (2021), 882–892.
[40]	P. O. Mohammed, Hermite-Hadamard inequalities for Riemann-Liouville fractional integrals of a convex function with respect to a monotone function, Math. Methods Appl. Sci., 44 (2021), 2314–2324.

This article has been cited by:

1.	Muhammad Bilal Khan, Muhammad Aslam Noor, Nehad Ali Shah, Khadijah M. Abualnaja, Thongchai Botmart, Some New Versions of Hermite–Hadamard Integral Inequalities in Fuzzy Fractional Calculus for Generalized Pre-Invex Functions via Fuzzy-Interval-Valued Settings, 2022, 6, 2504-3110, 83, 10.3390/fractalfract6020083
2.	Soubhagya Kumar Sahoo, Hijaz Ahmad, Muhammad Tariq, Bibhakar Kodamasingh, Hassen Aydi, Manuel De la Sen, Hermite–Hadamard Type Inequalities Involving k-Fractional Operator for (h¯,m)-Convex Functions, 2021, 13, 2073-8994, 1686, 10.3390/sym13091686
3.	Hongling Zhou, Muhammad Shoaib Saleem, Waqas Nazeer, Ahsan Fareed Shah, Hermite-Hadamard type inequalities for interval-valued exponential type pre-invex functions via Riemann-Liouville fractional integrals, 2022, 7, 2473-6988, 2602, 10.3934/math.2022146
4.	Tareq Saeed, Muhammad Bilal Khan, Savin Treanțǎ, Hamed H. Alsulami, Mohammed Sh. Alhodaly, Interval Fejér-Type Inequalities for Left and Right-λ-Preinvex Functions in Interval-Valued Settings, 2022, 11, 2075-1680, 368, 10.3390/axioms11080368

Reader Comments

Your name:*

Email:*
© 2021 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(2730) PDF downloads(102) Cited by(4)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

AIMS Mathematics

Generalization of some fractional versions of Hadamard inequalities via exponentially $(\alpha, h-m)$ -convex functions

Related Papers:

Abstract

1. Introduction

2. Main results

3. Error estimations of Hadamard inequalities for exponentially $(\alpha, h-m)$ -convex functions

4. Conclusions

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

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

Metrics

Other Articles By Authors

Catalog

AIMS Mathematics

Generalization of some fractional versions of Hadamard inequalities via exponentially (α,h−m) (\alpha, h-m) -convex functions

Related Papers:

Abstract

1. Introduction

2. Main results

3. Error estimations of Hadamard inequalities for exponentially (α,h−m) (\alpha, h-m) -convex functions

4. Conclusions

Acknowledgments

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

Generalization of some fractional versions of Hadamard inequalities via exponentially $(\alpha, h-m)$ -convex functions

3. Error estimations of Hadamard inequalities for exponentially $(\alpha, h-m)$ -convex functions