Convergence and quasi-optimality based on an adaptive finite element method for the bilinear optimal control problem

Zuliang Lu; Xiankui Wu; Fei Huang; Fei Cai; Chunjuan Hou; Yin Yang; Zuliang Lu; Xiankui Wu; Fei Huang; Fei Cai; Chunjuan Hou; Yin Yang

doi:10.3934/math.2021553

AIMS Mathematics

2021, Volume 6, Issue 9: 9510-9535. doi: 10.3934/math.2021553

Previous Article Next Article

Research article

Convergence and quasi-optimality based on an adaptive finite element method for the bilinear optimal control problem

1.
Key Laboratory for Nonlinear Science and System Structure, Chongqing Three Gorges University, Chongqing, 404000, China
2.
Center for Mathematics and Economics, Tianjin University of Finance and Economics, Tianjin, 300222, China
3.
Guangzhou Huashang College, Guangzhou 511300, China
4.
School of Mathematics and Computational Science, Xiangtan University, Xiangtan, 411105, Hunan, China

Received: 05 March 2021 Accepted: 24 May 2021 Published: 24 June 2021
MSC : 49J20, 65M08

This paper investigates the adaptive finite element method for an optimal control problem governed by a bilinear elliptic equation. We establish the finite element discrete scheme for the bilinear optimal control problem and use a dual argument, linearization method, bubble function, and new bubble function to obtain a posteriori error estimates. To prove the convergence and the quasi-optimality for adaptive finite element methods, we introduce the adaptive finite element algorithm, local perturbation, error reduction, discrete local upper bound, Dörfler property, dual argument method, and quasi orthogonality. A few numerical examples are given at the end of the paper to demonstrate our theoretical analysis.

Keywords:

Citation: Zuliang Lu, Xiankui Wu, Fei Huang, Fei Cai, Chunjuan Hou, Yin Yang. Convergence and quasi-optimality based on an adaptive finite element method for the bilinear optimal control problem[J]. AIMS Mathematics, 2021, 6(9): 9510-9535. doi: 10.3934/math.2021553

Related Papers:

[1]	Shuang-Shuang Zhou, Saima Rashid, Muhammad Aslam Noor, Khalida Inayat Noor, Farhat Safdar, Yu-Ming Chu . New Hermite-Hadamard type inequalities for exponentially convex functions and applications. AIMS Mathematics, 2020, 5(6): 6874-6901. doi: 10.3934/math.2020441
[2]	Xinghua You, Ghulam Farid, Lakshmi Narayan Mishra, Kahkashan Mahreen, Saleem Ullah . Derivation of bounds of integral operators via convex functions. AIMS Mathematics, 2020, 5(5): 4781-4792. doi: 10.3934/math.2020306
[3]	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
[4]	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
[5]	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. AIMS Mathematics, 2022, 7(4): 7040-7055. doi: 10.3934/math.2022392
[6]	Yousaf Khurshid, Muhammad Adil Khan, Yu-Ming Chu . Conformable integral version of Hermite-Hadamard-Fejér inequalities via η-convex functions. AIMS Mathematics, 2020, 5(5): 5106-5120. doi: 10.3934/math.2020328
[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]	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
[9]	Mehmet Eyüp Kiriş, Miguel Vivas-Cortez, Gözde Bayrak, Tuğba Çınar, Hüseyin Budak . On Hermite-Hadamard type inequalities for co-ordinated convex function via conformable fractional integrals. AIMS Mathematics, 2024, 9(4): 10267-10288. doi: 10.3934/math.2024502
[10]	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

Abstract

1. Introduction

On different time ranges, fractional calculus has a great impact due to a diversity of applications that have contributed to several fields of technical sciences and engineering ^{[1,2,3,4,5,6,7,8,9,10,11,12]}. One of the principal options behind the popularity of the area is that fractional-order differentiations and integrations are more beneficial tools in expressing real-world matters than the integer-order ones. Various studies in the literature, on distinct fractional operators such as the classical Riemann-Liouville, Caputo, Katugamploa, Hadamard, and Marchaud versions have shown versatility in modeling and control applications across various disciplines. However, such forms of fractional derivatives may not be able to explain the dynamic performance accurately, hence, many authors are found to be sorting out new fractional differentiations and integrations which have a kernel depending upon a function and this makes the range of definition expanded ^[13,14]. Furthermore, models based on these fractional operators provide excellent results to be compared with the integer-order differentiations ^{[15,16,17,18,19,20,21,22,23,24,25,26,27]}.

The derivatives in this calculus seemed complicated and lost some of the basic properties that usual derivatives have such as the product rule and the chain rule. However, the semigroup properties of these operators behave well in some cases. Recently, the authors in ^[28] defined a new well-behaved simple derivative called "conformable fractional derivative" which depends just on the basic limit definition of the derivative. It will define the derivative of higher-order (i.e., order $\delta > 1$ ) and also define the integral of order $0 < \delta\leq1$ only. It will also prove the product rule and the mean value theorem and solve some (conformable) differential equations where the fractional exponential function $e^{\frac{\vartheta^{\delta}}{\delta}}$ plays an important rule. Inequalities and their utilities assume a crucial job in the literature of pure and applied mathematics ^{[29,30,31,32,33,34,35,36,37]}. The assortment of distinct kinds of classical variants and their modifications were built up by using the classical fractional operators.

Convexity and its applications exist in almost every field of mathematics due to impermanence in several areas of science, technology in nonlinear programming and optimization theory. By utilizing the idea of convexity, numerous variants have been derived by researchers, for example, Hardy, Opial, Ostrowski, Jensen and the most distinguished one is the Hermite-Hadamard inequality ^{[38,39,40,41]}.

Let $\mathcal{I}\subset\mathbb{R}$ be an interval and $\mathcal{Q}:\mathcal{I}\rightarrow\mathbb{R}$ be a convex function. Then the double inequality

$\begin{equation} (l_{2}-l_{1})\mathcal{Q}\Big(\frac{l_{1}+l_{2}}{2}\Big)\leq\int\limits_{l_{1}}^{l_{2}}\mathcal{Q}(z)dz\leq(l_{2}-l_{1})\frac{\mathcal{Q}(l_{1})+\mathcal{Q}(l_{2})}{2}, \end{equation}$

(1.1)

holds for all $l_{1}, l_{2}\in\mathcal{I}$ with $l_{1}\neq l_{2}.$ Clearly, if $\mathcal{Q}$ is concave on $\mathcal{I},$ then one has the reverse of inequality (1.1). By taking into account fractional integral operators, several lower and upper bounds for the mean value of a convex function can be obtained by utilizing of inequality (1.1).

Exponentially convex functions have emerged as a significant new class of convex functions, which have potential applications in technology, data science, and statistics. In ^[42], Bernstein introduced the concept of exponentially convex function in covariance formation, then the idea of an exponentially convex function is extended by inserting the condition of $r$ -convexity ^[43]. Following this tendency, Jakšetić and Pečarić introduced various kinds of exponentially convex functions in ^[44] and have contemplated the applications in Euler-Radau expansions and Stolarsky means. Our aim is to utilize the exponential convexity property of the functions as well as the absolute values of their derivatives in order to establish estimates for conformable fractional integral introduced by Abdeljawed ^[45] and Jarad et al. ^[46].

Following the above propensity, we present a novel technique for establishing new generalizations of Hermite-Hadamard inequalities that correlate with exponentially $tgs$ -convex functions and conformable fractional operator techniques in this paper. The main purpose is that our consequences, which are more consistent and efficient, are accelerated via the fractional calculus technique. In addition, our consequences also taking into account the estimates for Hermite-Hadamard inequalities for exponentially $tgs$ -convex functions. We also investigate the applications of the two proposed conformable fractional operator to exponentially $tgs$ -convex functions and fractional calculus. The proposed numerical experiments show that our results are superior to some related results.

2. Preliminaries

Before coming to the main results, we provide some significant definitions, theorems and properties of fractional calculus in order to establish a mathematically sound theory that will serve the purpose of the current article.

Awan et al. ^[47] proposed a new class of functions called exponentially convex functions.

Definition 2.1. (See ^[47]) A positive real-valued function $\mathcal{Q}:\mathcal{K}\subset\mathbb{R}\rightarrow(0, \infty)$ is said to be exponentially convex on $\mathcal{K}$ if the inequality

$\begin{equation} \mathcal{Q}(\vartheta l_{1}+(1-\vartheta)l_{2})\leq\vartheta\frac{\mathcal{Q}(l_{1})}{e^{\alpha l_{1}}} +(1-\vartheta)\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}, \end{equation}$

(2.1)

holds for all $l_{1}, l_{2}\in\mathbb{R}, \alpha\in\mathbb{R}$ and $\vartheta\in[0, 1].$

Now, we introduce a novel concept of convex function which is known as the exponentially $tgs$ -convex function.

Definition 2.2. A positive real-valued function $\mathcal{Q}:\mathcal{K}\subset\mathbb{R}\rightarrow(0, \infty)$ is said to be exponentially $tgs$ -convex on $\mathcal{K}$ if the inequality

$\begin{equation} \mathcal{Q}(\vartheta l_{1}+(1-\vartheta)l_{2})\leq\vartheta(1-\vartheta)\Big[\frac{\mathcal{Q}(l_{1})}{e^{\alpha l_{1}}} +\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big], \end{equation}$

(2.2)

holds for all $l_{1}, l_{2}\in\mathbb{R}, \alpha\in\mathbb{R}$ and $\vartheta\in[0, 1].$

The conformable fractional integral operator was introduced by Abdeljawad ^[45].

Definition 2.3. (See ^[45]) Let $\rho\in(n, n+1]$ and $\delta = \rho-n.$ Then the left and right-sided conformable fractional integrals of order $\rho > 0$ is defined by

$\begin{equation} \mathcal{J}_{l_{1}^{+}}^{\rho}\mathcal{Q}(z) = \frac{1}{n!}\int\limits_{l_{1}}^{z}(z-\vartheta)^{n}(\vartheta-l_{1})^{\rho-1}\mathcal{Q}(\vartheta)d\vartheta \end{equation}$

(2.3)

and

$\begin{equation} \mathcal{J}_{l_{2}^{-}}^{\rho}\mathcal{Q}(z) = \frac{1}{n!}\int\limits_{z}^{l_{2}}(\vartheta-z)^{n}(l_{2}-\vartheta)^{\rho-1}\mathcal{Q}(\vartheta)d\vartheta. \end{equation}$

(2.4)

Next, we demonstrate the following fractional integral operator introduced by Jarad et al. ^[46].

Definition 2.4. (See ^[46]) Let $\delta\in\mathbb{C}$ and $\Re(\delta) > 0.$ Then the left and right-sided fractional conformable integral operators of order $\rho > 0$ are stated as:

$\begin{equation} \mathcal{J}_{l_{1}^{+}}^{\rho, \delta}\mathcal{Q}(z) = \frac{1}{\Gamma(\delta)}\int\limits_{l_{1}}^{z}\Big(\frac{(z-l_{1})^{\rho}-(\vartheta-l_{1})^{\rho}}{\rho}\Big)^{\delta-1}\frac{\mathcal{Q}(\vartheta)}{(\vartheta-l_{1})^{1-\rho}}d\vartheta \end{equation}$

(2.5)

and

$\begin{equation} \mathcal{J}_{l_{2}^{-}}^{\rho, \delta}\mathcal{Q}(z) = \frac{1}{\Gamma(\delta)}\int\limits_{l_{1}}^{z}\Big(\frac{(l_{2}-z)^{\rho}-(l_{2}-\vartheta)^{\rho}}{\rho}\Big)^{\delta-1}\frac{\mathcal{Q}(\vartheta)}{(l_{2}-\vartheta)^{1-\rho}}d\vartheta. \end{equation}$

(2.6)

Recalling some special functions which are known as beta and incomplete beta function.

$\begin{equation*} \mathbb{B}(l_{1}, l_{2}) = \int\limits_{0}^{1}\vartheta^{l_{1}-1}(1-\vartheta)^{l_{2}-1}d\vartheta, \end{equation*}$

$\begin{equation*} \mathbb{B}_{v}(l_{1}, l_{2}) = \int\limits_{0}^{v}\vartheta^{l_{1}-1}(1-\vartheta)^{l_{2}-1}d\vartheta, \quad \quad v\in[0, 1]. \end{equation*}$

Further, the following relationship holds between classical Beta and incomplete Beta functions:

$\begin{equation*} \mathbb{B}(l_{1}, l_{2}) = \mathbb{B}_{v}(l_{1}, l_{2})+\mathbb{B}_{1-v}(l_{1}, l_{2}), \end{equation*}$

$\begin{equation*} \mathbb{B}_{v}(l_{1}+1, l_{2}) = \frac{l_{1}\mathbb{B}_{v}(l_{1}, l_{2})-(\frac{1}{2})^{l_{1}+l_{2}}}{l_{1}+l_{2}} \end{equation*}$

and

$\begin{equation*} \mathbb{B}_{v}(l_{1}, l_{2}+1) = \frac{l_{2}\mathbb{B}_{v}(l_{1}, l_{2})-(\frac{1}{2})^{l_{1}+l_{2}}}{l_{1}+l_{2}}. \end{equation*}$

3. Hermite-Hadamard type inequality for exponentially tgs-convex functions via conformable fractional integrals

Throughout the article, let $\mathcal{I} = [l_{1}, l_{2}]$ be an interval in real line $\mathbb{R}$ . In this section, we shall demonstrate some integral versions of exponentially tgs-convex functions via conformable fractional integrals.

Theorem 3.1. For $\rho\in(n, n+1])$ with $\rho > 0$ and let $\mathcal{Q}: \mathcal{I}\subset \mathbb{R} \rightarrow \mathbb{R}$ be an exponentially tgs-convex function such that $\mathcal{Q} \in L_{1} ([l_{1}, l_{2}])$ , then the following inequalities hold:

$\begin{equation*} \frac{4 \Gamma (\rho -n)}{\Gamma (\rho +1)} \mathcal{Q}\left(\frac{l_{1} + l_{2}}{2}\right) \end{equation*}$

$\begin{equation*} \leq \frac{1}{(l_{2} - l_{1})^{\rho}} \left[{\mathcal{J}_{l_{1}^{+}}^{\rho}} \frac{\mathcal{Q} (l_{2})}{e^{\alpha l_{2}}} +{\mathcal{J}_{l_{2}^{-}}^{\rho}} \frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}}\right] \end{equation*}$

$\begin{equation} \leq \frac{2(n+1) \Gamma (\rho - n+1)}{\Gamma (\rho+3)} \left(\frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}} + \frac{\mathcal{Q} (l_{2})}{e^{\alpha l_{2}}}\right). \end{equation}$

(3.1)

Proof. By using exponentially tgs-convexity of $\mathcal{Q}$ , we have

$\begin{equation} \mathcal{Q} \bigg(\frac{x+y}{2} \bigg)\leq \frac{1}{4}\left(\frac{\mathcal{Q}(x)}{e^{\alpha x}} + \frac{\mathcal{Q}(y)}{e^{\alpha y}}\right). \end{equation}$

(3.2)

Let $x = \vartheta l_{1}+ (1- \vartheta)l_{2}$ and $y = (1-\vartheta) l_{1}+ \vartheta l_{2}$ , we get

$\begin{equation} 4 \mathcal{Q}\bigg(\frac{l_{1} + l_{2}}{2}\bigg)\leq \frac{\mathcal{Q}(\vartheta l_{1}+ (1-\vartheta)l_{2})}{e^{\alpha \mathcal{Q} (\vartheta l_{1}+ (1-\vartheta)l_{2})}}+ \frac{\mathcal{Q} (\vartheta l_{2}+(1-\vartheta) l_{1})}{e^{\alpha[(1-\vartheta) l_{1}+\vartheta l_{2}]}}. \end{equation}$

(3.3)

If we multiply (3.3) by $\frac{1}{n!} {\vartheta}^{n}(1-\vartheta)^{\rho-n-1}$ with $\vartheta \in (0, 1), \rho > 0$ and then integrating the resulting estimate with respect to $\vartheta$ over $[0, 1]$ , we find

$\begin{equation*} \frac{4}{n!}\mathcal{Q} \bigg(\frac{l_{1} + l_{2}}{2}\bigg)\int_{0}^{1} {\vartheta}^{n} (1- \vartheta)^{\rho-n-1} d\vartheta \end{equation*}$

$\begin{equation*} \leq\frac{1}{n!}\int_{0}^{1}{\vartheta}^{n} (1-\vartheta)^{\rho-n-1}\frac{\mathcal{Q}(\vartheta l_{1}+ (1-\vartheta)l_{2})}{e^{\alpha \mathcal{Q} (\vartheta l_{1} +(1-\vartheta)l_{2})}} d\vartheta \end{equation*}$

$\begin{equation*} +\frac{1}{n!}\int_{0}^{1} {\vartheta}^{n} (1- \vartheta)^{\rho-n-1} \frac{\mathcal{Q}(\vartheta l_{2}+(1-\vartheta) l_{1})}{e^{\alpha[(1-\vartheta) l_{1}+\vartheta l_{2}]}}d\vartheta \end{equation*}$

$\begin{equation} = I_{1} + I_{2} \end{equation}$

(3.4)

By setting $u = \vartheta l_{1}+(1-\vartheta)l_{2}$ , we have

$\begin{equation*} I_{1} = \frac{1}{n!} \int_{0}^{1} {\vartheta}^{n} (1- \vartheta)^{\rho-n-1}\frac{\mathcal{Q} (\vartheta l_{1}+ (1- \vartheta)l_{2})}{e^{\alpha \mathcal{Q} (\vartheta l_{1}+ (1-\vartheta)l_{2})}} d\vartheta \end{equation*}$

$\begin{equation*} = \frac{1}{n!(l_{2}-l_{1})^{\rho}} \int_{l_{1}}^{l_{2}} (l_{2}-1)^{n}(u-l_{1})^{\rho-m-1} \frac{\mathcal{Q}(u)}{e^{\alpha u}} du \end{equation*}$

$\begin{equation} = \frac{1}{(l_{2}-l_{1})^{\rho}} {\mathcal{J}_{l_{1}^{+}}^{\rho}} \frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}. \end{equation}$

(3.5)

Analogously, by setting $v = \vartheta l_{2}+(1-\vartheta)l_{1}$ , we have

$\begin{equation*} I_{2} = \frac{1}{n!} \int_{0}^{1} {\vartheta}^{n} (1- \vartheta)^{\rho-n-1} \mathcal{Q} (\vartheta l_{2} + (1-\vartheta)l_{1}) d\vartheta \end{equation*}$

$\begin{equation*} = \frac{1}{n!(l_{2}-l_{1})^{\rho}} \int_{l_{1}}^{l_{2}} (v-l_{1})^{n} (l_{2}-v)^{\rho-n-1} \frac{\mathcal{Q}(v)}{e^{\alpha v}} dv \end{equation*}$

$\begin{equation} = \frac{1}{(l_{2}-l_{1})^{\rho}} {{J}_{l_{2}^{-}}^{\rho}} \frac{\mathcal{Q}(l_{1})}{e^{\alpha l_{1}}}. \end{equation}$

(3.6)

Thus by using (3.5) and (3.6) in (3.4), we get the first inequality of (3.1).

Consider

$\begin{equation*} \mathcal{Q} (\vartheta l_{1}+(1-\vartheta)l_{2}) \leq \vartheta (1-\vartheta) \Big(\frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}}+\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big) \end{equation*}$

and

$\begin{equation*} \mathcal{Q} (\vartheta l_{2}+(1-\vartheta)l_{1}) \leq \vartheta (1-\vartheta) \Big(\frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}}+\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big). \end{equation*}$

By adding

$\begin{equation} \mathcal{Q} (\vartheta l_{1}+(1-\vartheta)l_{2}) + \mathcal{Q} (\vartheta l_{2}+(1-\vartheta)l_{1}) \leq 2 \vartheta (1-\vartheta) \Big(\frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}}+\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big). \end{equation}$

(3.7)

If we multiply (3.7) by $\frac{1}{n!} {\vartheta}^{n}(1-\vartheta)^{\rho-n-1}$ with $\vartheta \in (0, 1), \rho > 0$ and then integrating the resulting inequality with respect to $\vartheta$ over $[0, 1]$ , we get

$\begin{equation*} \frac{1}{(l_{2}-l_{1})^{\rho}} \Big[{\mathcal{J}_{l_{1}^{+}}^{\rho}} \frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}} +{\mathcal{J}_{l_{2}^{-}}^{\rho}} \frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}}\Big] \end{equation*}$

$\begin{equation} \leq\frac{2(n+1)\Gamma(\rho-n+1)}{\Gamma(\rho+3)} \Big(\frac{\mathcal{Q}(l_{1})}{e^{\alpha l_{1}}}+\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big), \end{equation}$

(3.8)

which is the required result.

Some special cases of above theorem are stated as follows:

Corollary 3.1. Choosing $\alpha = 0,$ then Theorem 3.1 reduces to a new result

$\begin{equation*} \frac{4\Gamma (\rho-n)}{\Gamma(\rho+1)} \mathcal{Q}\bigg(\frac{l_{1} + l_{2}}{2}\bigg) \end{equation*}$

$\begin{equation*} \leq \frac{1}{(l_{2} - l_{1})^{\rho}} \Big[{\mathcal{J}_{l_{1}^{+}}^{\rho}} {\mathcal{Q} (l_{2})} +{\mathcal{J}_{l_{2}^{-}}^{\rho}} {\mathcal{Q} (l_{1})}\Big] \end{equation*}$

$\begin{equation*} \leq \frac{2(n+1) \Gamma (\rho - n+1)}{\Gamma (\rho+3)} \Big({\mathcal{Q} (l_{1})} +{\mathcal{Q} (l_{2})}\Big). \end{equation*}$

Remark 3.1. Choosing $\rho = n+1$ and $\alpha = 0,$ then Theorem 3.1 reduces to Theorem 3.1 in ^[19].

4. Hermite-Hadamard type inequality for differentiable exponentially tgs-convex functions via conformable fractional integrals

Our next result is the following lemma which plays a dominating role in proving our coming results.

Lemma 4.1. For $\rho\in(n, n+1])$ with $\rho > 0$ and let $\mathcal{Q}:\mathcal{I}\subset\mathbb{R}\rightarrow \mathbb{R}$ be differentiable function on $\mathcal{I}^{\circ}$ (interior of $\mathcal{I}$ ) with $l_{1} < l_{2}$ such that ${\mathcal{Q}}^{\prime}\in L_{1}([l_{1}, l_{2}]),$ then the following inequality holds:

$\begin{equation*} \mathbb{B}(n+1, \rho-n) \bigg(\frac{\mathcal{Q}(l_{1})+\mathcal{Q}(l_{2})}{2}\bigg)-\frac{n!}{2(l_{2}-l_{1})^{\rho}}[{\mathcal{J}_{l_{1}^{+}}^{\rho}} \mathcal{Q} (l_{2})+{\mathcal{J}_{l_{2}^{-}}^{\rho}} \mathcal{Q} (l_{1})] \end{equation*}$

$\begin{equation} = \int_{0}^{1} (\mathbb{B}_{1-u}(n+1, \rho-n)-\mathbb{B}_{u}(n+1, \rho-n)) {\mathcal{Q}}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta. \end{equation}$

(4.1)

Proof. It suffices that

$\begin{equation*} \int_{0}^{1} (\mathbb{B}_{1-u}(n+1, \rho-n)-\mathbb{B}_{u}(n+1, \rho-n)) {\mathcal{Q}}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} = \int_{0}^{1}\mathbb{B}_{1-u}(n+1, \rho-n){\mathcal{Q}}^{\prime}(\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} -\int_{0}^{1}\mathbb{B}_{u}(n+1, \rho-n){\mathcal{Q}}^{\prime}(\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation} = S_{1}-S_{2} \end{equation}$

(4.2)

Then by integration by parts, we have

$\begin{equation*} S_{1} = \int_{0}^{1} \mathbb{B}_{1-u}(n+1, \rho-n){\mathcal{Q}}^{\prime}(\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} = \int_{0}^{1} \bigg(\int_{0}^{1-u} v^{n} (1-v)^{\rho-n-1} dv \bigg) \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} = \frac{1}{l_{2}-l_{1}} \mathbb{B} (n+1, \rho-n) \mathcal{Q} (l_{2}) \end{equation*}$

$\begin{equation*} -\frac{1}{l_{2}-l_{1}} \int_{0}^{1}(1-u)^{n} u^{\rho-n-1} \mathcal{Q} (\vartheta l_{1} + (1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} = \frac{1}{l_{2}-l_{1}} \mathbb{B}(n+1, \rho-n) \mathcal{Q}(l_{2}) \end{equation*}$

$\begin{equation*} - \frac{1}{l_{2}-l_{1}} \int_{l_{2}}^{l_{1}} \bigg(\frac{l_{1}-z}{l_{1}-l_{2}} \bigg)^{n} \bigg(\frac{z-l_{2}}{l_{1}-l_{2}} \bigg)^{\rho-n-1} \frac{\mathcal{Q} (z)}{l_{1}-l_{2}} dz \end{equation*}$

$\begin{equation} = \frac{1}{l_{2}-l_{1}} \mathbb{B}(n+1, \rho-n) \mathcal{Q} (l_{2}) - \frac{n!}{(l_{2}-l_{1})^{\rho+1}} {\mathcal{J}_{l_{2}^{-}}^{\rho}} \mathcal{Q}(l_{1}). \end{equation}$

(4.3)

Analogously

$\begin{equation*} S_{2} = \int_{0}^{1} \mathbb{B}_{u}(n+1, \rho-n){\mathcal{Q}}^{\prime}(\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} = \int_{0}^{1}\bigg(\int_{0}^{u} v^{m} (1-v)^{\rho-n-1} dv \bigg)\mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} = -\frac{1}{l_{2}-l_{1}} \mathbb{B} (n+1, \rho-n) \mathcal{Q} (l_{1}) \end{equation*}$

$\begin{equation*} + \frac{1}{l_{2}-l_{1}} \int_{0}^{1}(u)^{n}(1-u)^{\rho-n-1} \mathcal{Q} (\vartheta l_{1} + (1-\vartheta)l_{2})d\vartheta \end{equation*}$

$\begin{equation*} = -\frac{1}{l_{2}-l_{1}} \mathbb{B}(n+1, \rho-n) \mathcal{Q}(l_{1}) \end{equation*}$

$\begin{equation*} + \frac{1}{l_{2}-l_{1}} \int_{l_{2}}^{l_{1}}\bigg(\frac{z-l_{2}}{l_{1}-l_{2}} \bigg)^{n} \bigg( \frac{l_{1}-z}{l_{1}-l_{2}} \bigg)^{\rho-n-1} \frac{\mathcal{Q}(z)}{l_{1}-l_{2}} dz \end{equation*}$

$\begin{equation} = -\frac{1}{l_{2}-l_{1}}\mathbb{B}(n+1, \rho-n) \mathcal{Q} (l_{1}) - \frac{n!}{(l_{2}-l_{1})^{\rho+1}} {\mathcal{J}_{l_{1}^{+}}^{\rho}} \mathcal{Q}(l_{2}). \end{equation}$

(4.4)

By substituting values of $S_{1}$ and $S_{2}$ in (4.2) and then If we multiply by $\frac{l_{2}-l_{1}}{2}$ , we get (4.1).

For the sake of simplicity, we use the following notation:

$\begin{equation*} \Upsilon_{\mathcal{Q}}(\rho;\mathbb{B};n;l_{1}, l_{2}) = \mathbb{B}(n+1, \rho-n) \bigg(\frac{\mathcal{Q}(l_{1})+\mathcal{Q}(l_{2})}{2} \bigg)-\frac{n!}{2(l_{2}-l_{1})^{\rho}}\Big[{\mathcal{J}_{l_{1}^{+}}^{\rho}} \mathcal{Q} (l_{2})+{\mathcal{J}_{l_{2}^{-}}^{\rho}} \mathcal{Q} (l_{1})\Big]. \end{equation*}$

Theorem 4.2. For $\rho\in(n, n+1])$ with $\rho > 0$ and let $\mathcal{Q}: \mathcal{I}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a differentiable function on $\mathcal{I}^{\circ}$ with $l_{1} < l_{2}$ such that $\mathcal{Q}^{\prime} \in L_{1} ([l_{1}, l_{2}]).$ If ${\vert\ \mathcal{Q}^{\prime} \vert}^{r}$ , with $r\geq 1$ , is an exponentially tgs-convex function, then the following inequality holds:

$\begin{equation*} \vert\ \Upsilon_{\mathcal{Q}}(\rho;\mathbb{B};n;l_{1}, l_{2}) \vert \leq \frac{l_{2}-l_{1}}{2} \Big(\mathbb{B}(n+1, \rho-n+1) - \mathbb{B}(n+1, \rho-n)+ \mathbb{B}(n+2, \rho-n)\Big)^{1-\frac{1}{r}} \end{equation*}$

$\begin{equation} \times \bigg(\frac{e^{\alpha r l_{2}}\vert\mathcal{Q}^{\prime}(l_{1})\vert^{r}+e^{\alpha r l_{1}}\vert\mathcal{Q}^{\prime}(l_{2})\vert^{r}}{6e^{\alpha r l_{1}}e^{\alpha r l_{2}}} \bigg)^{\frac{1}{r}}. \end{equation}$

(4.5)

Proof. Utilizing exponentially tgs-convex function of $\vert\ \mathcal{Q}^{\prime}\vert^{r},$ Lemma 4.1 and Hölder's inequality, one obtains

$\begin{equation*} \vert\ \Upsilon_{\mathcal{Q}}(\rho;\mathbb{B};n;l_{1}, l_{2}) \vert \end{equation*}$

$\begin{equation*} = \bigg\vert\ \frac{l_{2}-l_{1}}{2} \int_{0}^{1}(\mathbb{B}_{1-u}(n+1, \rho-n) - \mathbb{B}_{u}(n+1, \rho-n)) \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \bigg\vert \end{equation*}$

$\begin{equation*} \leq\frac{l_{2}-l_{1}}{2} \bigg(\int_{0}^{1}( \mathbb{B}_{1-u}(n+1, \rho-n)-\mathbb{B}_{u}(n+1, \rho-n))d\vartheta \bigg)^{1-\frac{1}{r}} \end{equation*}$

$\begin{equation*} \times \bigg(\int_{0}^{1} \vert\ \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) \vert^{r} d\vartheta\bigg)^{\frac{1}{r}} \end{equation*}$

$\begin{equation*} \leq \frac{l_{2}-l_{1}}{2} \Big(\mathbb{B}(n+1, \rho-n+1) - \mathbb{B}(n+1, \rho-n)+ \mathbb{B}(n+2, \rho-n)\Big)^{1-\frac{1}{r}} \end{equation*}$

$\begin{equation*} \times \bigg(\int_{0}^{1} \vartheta(1-\vartheta) \Big(\Big\vert\ \frac{\mathcal{Q}^{\prime} (l_{1})}{e^{\alpha l_{1}}} \Big\vert^{r}+\Big\vert\ \frac{\mathcal{Q}^{\prime} (l_{2})}{e^{\alpha l_{2}}} \Big\vert^{r}\Big) d\vartheta\bigg)^{\frac{1}{r}} \end{equation*}$

$\begin{equation*} \leq \frac{l_{2}-l_{1}}{2} \Big(\mathbb{B}(n+1, \rho-n+1) -\mathbb{B}(n+1, \rho-n)+ \mathbb{B}(n+2, \rho-n)\Big)^{1-\frac{1}{r}} \end{equation*}$

(4.6)

which is the required result.

Theorem 4.3. For $\rho\in(n, n+1]$ with $\rho > 0$ and let $\mathcal{Q}: \mathcal{I}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a differentiable function on $\mathcal{I}^{\circ}$ with $l_{1} < l_{2}$ such that $\mathcal{Q}^{\prime} \in L_{1} ([l_{1}, l_{2}]).$ If ${\vert\mathcal{Q}^{\prime} \vert}^{r}$ , with $r, s > 1$ such that $\frac{1}{s}+\frac{1}{r} = 1$ , is exponentially tgs-convex function, then the following inequality holds:

$\begin{equation*} \vert\ \Upsilon_{\mathcal{Q}}(\rho;\mathbb{B};n;l_{1}, l_{2}) \vert \leq \frac{l_{2}-l_{1}}{2}\bigg( 2\int_{0}^{\frac{1}{2}} \bigg(\int_{u}^{1-u} v^{n} (1-v)^{\rho-n-1} dv \bigg)^{s}du \bigg)^{\frac{1}{s}} \end{equation*}$

$\begin{equation} \times\bigg(\frac{e^{\alpha r l_{2}}\vert\mathcal{Q}^{\prime}(l_{1})\vert^{r}+e^{\alpha r l_{1}}\vert\mathcal{Q}^{\prime}(l_{2})\vert^{r}}{6e^{\alpha r l_{1}}e^{\alpha r l_{2}}} \bigg)^{\frac{1}{r}}. \end{equation}$

(4.7)

Proof. Utilizing exponentially tgs-convex function of $\vert\ \mathcal{Q}^{\prime}\vert^{r}$ and well-known Hölder inequality, one obtains

$\begin{equation*} \vert\ \Upsilon_{\mathcal{Q}}(\rho;\mathbb{B};n;l_{1}, l_{2}) \vert \end{equation*}$

$\begin{equation*} = \bigg\vert\ \frac{l_{2}-l_{1}}{2} \int_{0}^{1}( \mathbb{B}_{1-u}(n+1, \rho-n) - \mathbb{B}_{u}(n+1, \rho-n)) \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2})d\vartheta \bigg\vert \end{equation*}$

$\begin{equation*} \leq \frac{l_{2}-l_{1}}{2} \bigg(\int_{0}^{1} \vert\ \mathbb{B}_{1-u}(n+1, \rho-n) - \mathbb{B}_{n}(n+1, \rho-n) \vert^{s} d\vartheta \bigg)^{\frac{1}{s}} \end{equation*}$

$\begin{equation*} \times \bigg(\int_{0}^{1} \vert\ \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) \vert^{r} d\vartheta\bigg)^{\frac{1}{r}} \end{equation*}$

$\begin{equation*} \leq \frac{l_{2}-l_{1}}{2} \bigg( \int_{0}^{\frac{1}{2}} (\mathbb{B}_{1-u}(n+1, \rho-n) - \mathbb{B}_{u}(n+1, \rho-n))^{s} du \end{equation*}$

$\begin{equation*} +\int_{\frac{1}{2}}^{1} (\mathbb{B}_{u}(n+1, \rho-n)-\mathbb{B}_{1-u}(n+1, \rho-n))^{s} du\bigg)^{\frac{1}{s}} \bigg(\int_{0}^{1} \vartheta(1-\vartheta)\Big (\frac{\vert\ \mathcal{Q}^{\prime} (l_{1}) \vert^{r}}{e^{\alpha r l_{1}}}+\frac{\vert\ \mathcal{Q}^{\prime} (l_{2}) \vert^{q}}{e^{\alpha r l_{2}}}\Big) d\vartheta \bigg)^{\frac{1}{r}} \end{equation*}$

$\begin{equation*} = \frac{l_{2}-l_{1}}{2}\bigg( \int_{0}^{\frac{1}{2}} \bigg(\int_{u}^{1-u} v^{n} (1-v)^{\rho-n-1} dv \bigg)^{s} dv+\int_{\frac{1}{2}}^{1} \bigg(\int_{1-u}^{u} v^{n} (1-v)^{\rho-n-1}dv \bigg)^{s} dv\bigg)^{\frac{1}{s}} \end{equation*}$

$\begin{equation*} \times\bigg(\frac{e^{\alpha r l_{2}}\vert\mathcal{Q}^{\prime}(l_{1})\vert^{r}+e^{\alpha r l_{1}}\vert\mathcal{Q}^{\prime}(l_{2})\vert^{r}}{6e^{\alpha r l_{1}}e^{\alpha r l_{2}}} \bigg)^{\frac{1}{r}} \end{equation*}$

$\begin{equation} = \frac{l_{2}-l_{1}}{2}\bigg( 2\int_{0}^{\frac{1}{2}}\bigg(\int_{u}^{1-u} v^{n} (1-v)^{\rho-n-1} dv \bigg)^{s}du \bigg)^{\frac{1}{s}}\bigg(\frac{e^{\alpha r l_{2}}\vert\mathcal{Q}^{\prime}(l_{1})\vert^{r}+e^{\alpha r l_{1}}\vert\mathcal{Q}^{\prime}(l_{2})\vert^{r}}{6e^{\alpha r l_{1}}e^{\alpha r l_{2}}} \bigg)^{\frac{1}{r}}, \end{equation}$

(4.8)

which is the required result.

5. Hermite-Hadamard inequality within the generalized conformble integral operator

This section is devoted to proving some new generalizations for exponentially tgs-convex functions within the generalized conformable integral operator.

Theorem 5.1. For $\rho > 0$ and let $\mathcal{Q} : [l_{1}, l_{2}] \subset \mathbb{R} \rightarrow \mathbb{R}$ be an exponentially tgs-convex function such that $\mathcal{Q} \in L_{1} [l_{1}, l_{2}],$ then the following inequality holds:

$\begin{equation*} \frac{4}{\delta\rho^{\delta}}\mathcal{Q}\Big(\frac{l_{1}+l_{2}}{2}\Big)\leq \frac{\Gamma(\delta)}{(l_{2}-l_{1})^{\rho\delta}} \left[{\mathcal{J}}^{\rho, \delta}_{l_{1}^{+}} \frac{\mathcal{Q} (l_{2})}{e^{\alpha l_{2}}}+{\mathcal{J}}^{\rho, \delta}_{l_{2}^{-}} \frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}} \right] \end{equation*}$

$\begin{equation} \leq \frac{1}{\rho}\left[\mathbb{B}\Big(\frac{\rho+1}{\rho} , \delta\Big)+ \mathbb{B}\Big(\frac{\rho+2}{\rho} , \delta\Big)\right] \Big(\frac{\mathcal{Q}(l_{1})}{e^{\alpha l_{1}}}+\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big). \end{equation}$

(5.1)

Proof. Taking into account (3.3) and conducting product of (3.3) by $(\frac{1- \vartheta^{\rho}}{\rho})^{\delta-1} \vartheta^{\rho-1}$ with $\vartheta\in (0, 1), \rho > 0$ and then integrating the resulting estimate with respect to $\vartheta$ over $[0, 1]$ , we find

$\begin{equation*} 4\mathcal{Q} \bigg(\frac{l_{1}+l_{2}}{2} \bigg)\int_{0}^{1} \bigg(\frac{1-\vartheta^{\rho}}{\rho} \bigg)^{\delta-1} \vartheta^{\rho-1} d\vartheta \end{equation*}$

$\begin{equation*} \leq \int_{0}^{1} \bigg(\frac{1-\vartheta^{\rho}}{\rho} \bigg)^{\delta-1} \vartheta^{\rho -1}\frac{\mathcal{Q} (\vartheta l_{1} + (1-\vartheta)l_{2})}{e^{\alpha (\vartheta l_{1} + (1-\vartheta)l_{2})}}d\vartheta \end{equation*}$

$\begin{equation*} + \int_{0}^{1} \bigg(\frac{1-\vartheta^{\rho}}{\rho} \bigg)^{\delta-1} \vartheta^{\rho -1}\frac{\mathcal{Q} (\vartheta l_{2} + (1-\vartheta)l_{1})}{e^{\alpha (\vartheta l_{2} + (1-\vartheta)l_{1})}}d\vartheta \end{equation*}$

$\begin{equation} = R_{1} + R_{2}. \end{equation}$

(5.2)

By making change of variable $u = \vartheta l_{1}+(1-\vartheta)l_{2}$ , we have

$\begin{equation*} R_{1} = \int_{0}^{1} \bigg(\frac{1-\vartheta^{\rho}}{\rho} \bigg)^{\delta-1} \vartheta^{\rho -1}\frac{\mathcal{Q} (\vartheta l_{1}+(1-\vartheta)l_{2})}{e^{\alpha (\vartheta l_{1} + (1-\vartheta)l_{2})}}d\vartheta \end{equation*}$

$\begin{equation*} = \int_{l_{2}}^{l_{1}} \bigg(\frac{1- \big(\frac{u-l_{2}}{l_{1}-l_{2}} \big)^{\rho}}{\rho} \bigg)^{\delta -1} \bigg(\frac{u-l_{2}}{l_{1}-l_{2}} \bigg)^{\rho-1} \frac{\mathcal{Q}(u)}{e^{\alpha u}} \frac{du}{l_{1}-l_{2}} \end{equation*}$

$\begin{equation*} = \frac{1}{(l_{2}-l_{1})^{\rho \delta}} \int_{l_{1}}^{l_{2}} (\frac{(l_{2}-l_{1})^{\rho}-(l_{2}-u)^{\rho}}{\rho})^{\delta-1} (l_{2}-u)^{\rho-1} \frac{\mathcal{Q}(u)}{e^{\alpha u}} du \end{equation*}$

$\begin{equation} = \frac{\Gamma(\delta}{(l_{2}-l_{1})^{\rho \delta}} {\mathcal{J}}^{\rho, \delta}_{l_{2}^{-}} \frac{\mathcal{Q}(l_{1})}{e^{\alpha l_{1}}}. \end{equation}$

(5.3)

Substituting $v = \vartheta l_{2} +(1-\vartheta)l_{1}$ , we have

$\begin{equation*} R_{2} = \int_{0}^{1} \bigg(\frac{1-\vartheta^{\rho}}{\rho} \bigg)^{\delta-1} \vartheta^{\rho -1}\frac{\mathcal{Q} (\vartheta l_{2} + (1-\vartheta)l_{1})}{e^{\alpha (\vartheta l_{2} + (1-\vartheta)l_{1}) }}d\vartheta \end{equation*}$

$\begin{equation*} = \int_{l_{2}}^{l_{1}} \bigg(\frac{1- \big(\frac{v-l_{1}}{l_{2}-l_{1}} \big)^{\rho}}{\rho} \bigg)^{\delta -1} \bigg(\frac{v-l_{1}}{l_{2}-l_{1}} \bigg)^{\rho-1} \frac{\mathcal{Q}(v)}{e^{\alpha v}} \frac{du}{l_{2}-l_{1}} \end{equation*}$

$\begin{equation*} = \frac{1}{(l_{2}-l_{1})^{\rho \delta}} \int_{l_{1}}^{l_{2}} (\frac{(l_{2}-l_{1})^{\rho}-(v-l_{1})^{\rho}}{\rho})^{\delta-1} (v-l_{1})^{\rho-1} \frac{\mathcal{Q}(v)}{e^{\alpha v}} dv \end{equation*}$

$\begin{equation} = \frac{\Gamma (\delta)}{(l_{2}-l_{1})^{\rho \mathcal{Q}}} {\mathcal{J}}^{\rho, \delta}_{l_{2}^{-}}\frac{\mathcal{Q} (l_{2})}{e^{\alpha l_{2}}}. \end{equation}$

(5.4)

Thus by using (5.2) and (5.3) in (5.4), we get the first inequality of (5.1).

Consider

and

By adding

$\begin{equation} \mathcal{Q} (\vartheta l_{1}+(1-\vartheta)l_{2}) + \mathcal{Q} (\vartheta l_{2}+(1-\vartheta)l_{1}) \leq 2\vartheta (1-\vartheta) \Big(\frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}}+\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big). \end{equation}$

(5.5)

If we multiply (5.5) by $(\frac{1-\vartheta^{\rho}}{\rho})^{\delta -1} \vartheta^{\rho-1}$ with $\vartheta\in (0, 1), \rho > 0$ and then integrating the resulting estimate with respect to $\vartheta$ over $[0, 1]$ , we get

$\begin{equation*} \frac{\Gamma(\delta)}{(l_{2}-l_{1})^{\rho \delta}} \big[{\mathcal{J}}^{\rho, \delta}_{l_{1}^{+}} \frac{\mathcal{Q} (l_{2})}{e^{\alpha l_{2}}} +{\mathcal{J}}^{\rho, \delta}_{l_{2}^{-}} \frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}} \big] \end{equation*}$

$\begin{equation} \leq \frac{1}{\rho}\Big[\mathbb{B}\Big(\frac{\rho+1}{\rho} , \delta\Big)+ \mathbb{B}\Big(\frac{\rho+2}{\rho} , \delta\Big)\Big] \Big(\frac{\mathcal{Q} (l_{1})}{e^{\alpha l_{1}}}+\frac{\mathcal{Q}(l_{2})}{e^{\alpha l_{2}}}\Big), \end{equation}$

(5.6)

the desired inequality is the right hand side of (5.1).

Our main results depend on the following identity.

Lemma 5.2. For $\rho > 0$ and let $\mathcal{Q}:\mathcal{I}\subset\mathbb{R}\rightarrow \mathbb{R}$ be a differentiable function on $(l_{1}, l_{2})$ with $l_{1} < l_{2}$ such that ${\mathcal{Q}}^{\prime}\in L_{1}[l_{1}, l_{2}],$ then the following identity holds:

$\begin{equation*} \bigg(\frac{\mathcal{Q}(l_{1})+\mathcal{Q}(l_{2})}{2}\bigg)- \frac{\rho^{\delta} \Gamma(\delta+1)}{2(l_{2}-l_{1})^{\rho\delta}} \big[{\mathcal{J}}^{\rho, \delta}_{l_{1}^{+}} \mathcal{Q} (l_{2}) +{\mathcal{J}}^{\rho, \delta}_{l_{2}^{+}} \mathcal{Q} (l_{1}) \big] \end{equation*}$

$\begin{equation} = \frac{(l_{2}-l_{1}) \rho^{\delta}}{2} \int_{0}^{1} \bigg[ \bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta}-\bigg(\frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta} \bigg] \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta. \end{equation}$

(5.7)

Proof. It suffices that

$\begin{equation*} \int_{0}^{1} \bigg[\bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta}-\bigg(\frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta} \bigg] \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation*} = \int_{0}^{1}\bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta} \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta -\bigg(\frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta}\mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation} = M_{1}-M_{2}. \end{equation}$

(5.8)

Using integration by parts and making change of variable technique, we have

$\begin{equation*} M_{1} = \int_{0}^{1}\bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta} \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation*} = \frac{1}{l_{1}-l_{2}}\bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta} \mathcal{Q}(\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta |_{0}^{1} \end{equation*}$

$\begin{equation*} +\frac{\delta}{l_{1}-l_{2}} \int_{0}^{1}\bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta-1} \vartheta^{\rho-1}\mathcal{Q} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation*} = \frac{\mathcal{Q}(l_{2})}{(l_{2}-l_{1})\rho^{\delta}} - \frac{\delta}{l_{2}-l_{1}} \int_{0}^{1}\bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta-1} \vartheta^{\rho-1} \mathcal{Q} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation*} \label{eq.0.27} = \frac{\mathcal{Q}(l_{2})}{(l_{2}-l_{1})\rho^{\delta}} - \frac{\delta\Gamma(\delta)}{(l_{2}-l_{1})^{\rho\delta+1}} \mathcal{J}_{l_{2}^{-}}^{\rho, \delta}\mathcal{Q}(l_{1}) \end{equation*}$

Analogously

$\begin{equation*} M_{2} = \int_{0}^{1} \bigg(\frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta} \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation*} = \frac{1}{l_{1}-l_{2}} \bigg(\frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta} \mathcal{Q}(\vartheta l_{1}+(1-\vartheta)l_{2}) |_{0}^{1} \end{equation*}$

$\begin{equation*} -\frac{1}{l_{1}-l_{2}} \int_{0}^{1} \mathcal{Q} \bigg(\frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta-1} (1-\vartheta)^{\rho-1} \mathcal{Q}(\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation*} = \frac{-\mathcal{Q} (l_{1})}{(l_{2}-l_{1})\rho^{\delta}} + \frac{\delta}{l_{2}-l_{1}} \int_{0}^{1} \bigg(\frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta-1} (1-\vartheta)^{\rho-1} \mathcal{Q}(\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation} = \frac{-\mathcal{Q} (l_{1})}{(l_{2}-l_{1})\rho^{\delta}} + \frac{\delta\Gamma(\delta)}{(l_{2}-l_{1})^{\rho\delta+1}} {\mathcal{J}}^{\rho, \delta}_{l_{1}^{+}}\mathcal{Q}(l_{2}). \end{equation}$

(5.9)

By substituting values of $M_{1}$ and $M_{2}$ in (5.8) and then conducting product on both sides by $\frac{(l_{2}-l_{1})\rho^{\delta}}{2}$ , we get the desired result.

Theorem 5.3. For $\rho > 0$ and let $\mathcal{Q}:\mathcal{I}\subset \mathbb{R} \rightarrow\mathbb{R}$ be a differentiable function on $\mathcal{I}^{\circ}$ with $l_{1} < l_{2}$ such that $\mathcal{Q}^{\prime} \in L_{1} ([l_{1}, l_{2}]).$ If ${\vert\ \mathcal{Q}^{\prime} \vert}^{r}$ , with $r\geq 1$ , is an exponentially tgs-convex function, then the following inequality holds

$\begin{equation*} \Big\vert\bigg(\frac{\mathcal{Q}(l_{1})+\mathcal{Q}(l_{2})}{2}\bigg)- \frac{\rho^{\delta}\Gamma(\delta+1)}{2(l_{2}-l_{1})^{\rho\delta}} \big[{\mathcal{J}}^{\rho, \delta}_{l_{1}^{+}} \mathcal{Q} (l_{2}) +{\mathcal{J}}^{\rho, \delta}_{l_{2}^{+}} \mathcal{Q} (l_{1}) \big] \Big \vert \end{equation*}$

$\begin{equation} \leq \frac{(l_{2}-l_{1}) \rho^{\delta}}{2}\bigg(\frac{1}{\rho^{\delta+1}}{\mathbb{B}\Big(\frac{1}{\rho}, \delta+1\Big)}+\frac{1}{\rho^{\delta+2}}\mathbb{B}\Big(\frac{1}{\rho^{2}}, \delta+1\Big)\bigg)^{1-\frac{1}{r}}\bigg(\frac{e^{\alpha r l_{2}}\vert\mathcal{Q}^{\prime}(l_{1})\vert^{r}+e^{\alpha r l_{1}}\vert\mathcal{Q}^{\prime}(l_{2})\vert^{r}}{6e^{\alpha r l_{1}}e^{\alpha r l_{2}}} \bigg)^{\frac{1}{r}}. \end{equation}$

(5.10)

Proof. Using exponentially tgs-convexity of $\vert\ \mathcal{Q}^{\prime}\vert^{r},$ Lemma 5.2, and the well-known Hölder inequality, we have

$\begin{equation*} \Big\vert\bigg(\frac{\mathcal{Q}(l_{1})+\mathcal{Q}(l_{2})}{2}\bigg)-\frac{\rho^{\delta} \Gamma(\delta+1)}{2(l_{2}-l_{1})^{\rho \delta}} \big[{\mathcal{J}}^{\rho, \delta}_{l_{1}^{+}} \mathcal{Q} (l_{2}) +{\mathcal{J}}^{\rho, \delta}_{l_{2}^{+}} \mathcal{Q} (l_{1}) \big]\Big \vert \end{equation*}$

$\begin{equation*} = \bigg\vert\ \frac{(l_{2}-l_{1}) \rho^{\delta}}{2}\int_{0}^{1} \bigg[ \bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta}-\bigg( \frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta} \bigg] \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) d\vartheta \end{equation*}$

$\begin{equation*} \leq\frac{(l_{2}-l_{1}) \rho^{\delta}}{2} \bigg(\int_{0}^{1}\bigg[\bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta}-\bigg( \frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta} \bigg] d\vartheta \bigg)^{1-\frac{1}{r}} \end{equation*}$

$\begin{equation*} \times \bigg( \int_{0}^{1} \vert\ \mathcal{Q}^{\prime} (\vartheta l_{1}+(1-\vartheta)l_{2}) \vert^{r} d\vartheta \bigg)^{\frac{1}{r}} \end{equation*}$

$\begin{equation*} \leq \frac{(l_{2}-l_{1})\rho^{\delta}}{2} \bigg(\int_{0}^{1} \bigg(\frac{1-\vartheta^{\rho}}{\rho}\bigg)^{\delta} d\vartheta-\int_{0}^{1} \bigg( \frac{1-(1-\vartheta)^{\rho}}{\rho}\bigg)^{\delta}d\vartheta \bigg)^{1-\frac{1}{r}} \end{equation*}$

$\begin{equation*} \times\bigg(\int_{0}^{1}\vartheta(1-\vartheta)\Big(\frac{\vert\ \mathcal{Q}^{\prime} (l_{1})\vert^{r}}{e^{\alpha r l_{1}}}+\frac{\vert\ \mathcal{Q}^{\prime} (l_{2})\vert^{r}}{e^{\alpha r l_{2}}}\Big)d\vartheta \bigg)^{\frac{1}{r}} \end{equation*}$

$\begin{equation*} \label{eq 0.30} = \frac{(l_{2}-l_{1})\rho^{\delta}}{2}\bigg(\frac{1}{\rho^{\delta+1}}{\mathbb{B}\Big(\frac{1}{\rho}, \delta+1\Big)}+\frac{1}{\rho^{\delta+2}}\mathbb{B}\Big(\frac{1}{\rho^{2}}, \delta+1\Big)\bigg)^{1-\frac{1}{r}}\bigg(\frac{e^{\alpha r l_{2}}\vert\mathcal{Q}^{\prime}(l_{1})\vert^{r}+e^{\alpha r l_{1}}\vert\mathcal{Q}^{\prime}(l_{2})\vert^{r}}{6e^{\alpha r l_{1}}e^{\alpha r l_{2}}} \bigg)^{\frac{1}{r}}, \end{equation*}$

the required result.

6. Applications

Let $l_{1}, l_{2} > 0$ with $l_{1}\neq l_{2}.$ Then the arithmetic mean $\mathcal{A}(l_{1}, l_{2}),$ harmonic mean $\mathcal{H}(l_{1}, l_{2}),$ logarithmic mean $\mathcal{L}(l_{1}, l_{2})$ and $n$ -th generalized logarithmic mean $L_{n}(l_{1}, l_{2})$ are defined by

$\begin{equation*} \mathcal{A}(l_{1}, l_{2}) = \frac{l_{1}+l_{2}}{2}, \end{equation*}$

$\begin{equation*} \mathcal{G}(l_{1}, l_{2}) = \sqrt{l_{1}l_{2}}, \end{equation*}$

$\begin{equation*} \mathcal{L}(l_{1}, l_{2}) = \frac{l_{2}-l_{1}}{\ln l_{2}-\ln l_{1}} \end{equation*}$

and

$\begin{equation*} \mathcal{L}_{n}(l_{1}, l_{2}) = \left[\frac{l_{2}^{n+1}-l_{1}^{n+1}}{(n+1)( l_{2}- l_{1})}\right]^{\frac{1}{n}} \quad (n\neq 0, -1), \end{equation*}$

respectively. Recently, the bivariate means have attracted the attention of many researchers ^{[47,48,49,50,51,52,53,54,55,56,57,58]} due to their are closely related to the special functions.

In this section, we use our obtained results in section 5 to provide several novel inequalities involving the special bivariate means mentioned above.

Proposition 6.1. Let $l_{1}, l_{2} > 0$ with $l_{2} > l_{1}$ . Then

$\begin{equation*} \Big\vert\mathcal{A}(l_{1}^{2}, l_{2}^{2})-\frac{1}{2}\mathcal{L}_{3}^{3}(l_{1}, l_{2})\Big\vert\leq\frac{l_{2}-l_{1}}{(6)^{\frac{1}{r}}e^{\alpha(l_{1}+l_{2})}} \Big[(e^{\alpha l_{2}}l_{1})^{r}+(e^{\alpha l_{1}}l_{2})^{r}\Big]^{\frac{1}{r}}. \end{equation*}$

Proof. Let $\rho = \delta = 1$ and $\mathcal{Q}(z) = z^{2}.$ Then the desired result follows from Theorem 5.3.

Proposition 6.2. Let $l_{1}, l_{2} > 0$ with $l_{2} > l_{1}$ . Then

$\begin{equation*} \Big\vert\mathcal{H}^{-1}(l_{1}^{2}, l_{2}^{2})-\frac{1}{2}\mathcal{L}^{-1}(l_{1}, l_{2})\Big\vert\leq\frac{l_{2}-l_{1}}{2(6)^{\frac{1}{r}}e^{\alpha(l_{1}+l_{2})}} \Big[\frac{(e^{\alpha l_{2}}l_{2}^{2})^{r}+(e^{\alpha l_{1}}l_{1}^{2})^{r}}{(l_{1}l_{2})^{2r}}\Big]^{\frac{1}{r}}. \end{equation*}$

Proof. Let $\rho = \delta = 1$ and $\mathcal{Q}(z) = \frac{1}{z}.$ Then the desired result follows from Theorem 5.3.

Proposition 6.3. Let $l_{1}, l_{2} > 0$ with $l_{2} > l_{1}$ . Then

$\begin{equation*} \Big\vert\mathcal{A}(l_{1}^{n}, l_{2}^{n})-\frac{1}{2}\mathcal{L}^{n}_{n}(l_{1}, l_{2})\Big\vert\leq\frac{(l_{2}-l_{1})\vert n\vert}{2} \Big[\frac{(e^{\alpha l_{2}}l_{1}^{n-1})^{r}+(e^{\alpha l_{1}}l_{2}^{n-1})^{r}}{6e^{\alpha r(l_{1}+l_{2})}}\Big]^{\frac{1}{r}}. \end{equation*}$

Proof. Let $\rho = \delta = 1$ and $\mathcal{Q}(z) = z^{n}.$ Then the desired result follows from Theorem 5.3.

7. Conclusions

In this paper, we proposed a novel technique with two different approaches for deriving several generalizations for an exponentially $tgs$ -convex function that accelerates with a conformable integral operator. We have generalized the Hermite-Hadamard type inequalities for exponentially $tgs$ -convex functions. By choosing different parametric values $\rho$ and $\delta$ , we analyzed the convergence behavior of our proposed methods in form of corollaries. Another aspect is that to show the effectiveness of our novel generalizations, our results have potential applications in fractional integrodifferential and fractional Schrödinger equations. Numerical applications show that our findings are consistent and efficient. Finally, we remark that the framework of the conformable fractional integral operator, it is of interest to further our results to the framework of Riemann-Liouville, Hadamard and Katugampola fractional integral operators. Our ideas and the approach may lead to a lot of follow-up research.

Acknowledgements

The authors would like to thank the anonymous referees for their valuable comments and suggestions, which led to considerable improvement of the article.

The work was supported by the Natural Science Foundation of China (Grant Nos. 61673169, 11971142, 11701176, 11626101, 11601485).

Conflict of interest

The authors declare no conflict of interest.

References

[1]	M. Ainsworth, J. T. Oden, A posteriori error estimators in finite element analysis, Comput. Methods Appl. Mech. Engrg., 142 (1997), 1–88. doi: 10.1016/S0045-7825(96)01107-3
[2]	I. Babuška, W. C. Rheinboldt, Error estimates for adaptive finite computations, SIAM J. Numer. Anal., 15 (1978), 736–754. doi: 10.1137/0715049
[3]	P. Binev, W. Dahmen, R. Devore, Adaptive finite element approximation for distributed elliptic optimal control problems, SIAM J. Control Optim., 97 (2004), 219–268.
[4]	L. Zhang, Z. Zhou, Spectral galerkin approximation of optimal control problem governed by riesz fractional differential equation, Appl. numer. math., 143 (2019), 247–262. doi: 10.1016/j.apnum.2019.04.003
[5]	F. Wang, Z. Zhang, Z. Zhou, A spectral galerkin approximation of optimal control problem governed by fractional advection diffusion reaction equations, J. Comput. Appl. Math., 386 (2021), 113–129.
[6]	N. Du, H. Wang, W. B. Liu, A fast gradient projection method for a constrained fractional optimal control, J. Sci. Comput., 68 (2016), 1–20. doi: 10.1007/s10915-015-0125-1
[7]	P. G. Ciarlet, The Finite Element Method for Elliptic Problems, Amsterdam: North-Holland, 1978.
[8]	Z. Chen, J. Feng, An adaptive finite element algorithm with reliable and efficient error for linear parabolic problems, Math. Comput., 73 (2004), 1167–1193. doi: 10.1090/S0025-5718-04-01634-5
[9]	Y. Chen, Z. Lu, High Efficient and Accuracy Numerical Methods for Opyimal Control Problems, Science Press, Beijing, 2015.
[10]	Y. Chen, Z. Lu, Y. Huang, Superconvergence of triangular Raviart-Thomas mixed finite element methods for a bilinear constrained optimal control problem, Comput. Math. Appl., 66 (2013), 1498–1513. doi: 10.1016/j.camwa.2013.08.019
[11]	Y. Chen, Z. Lu, L. Liu, Numerical Methods for Partial Differential Equations, Science Press, Beijing, 2015.
[12]	J. M. Cascon, C. Kreuzer, R. H. Nochetto, K. G. Siebert, Qusi-optimal convergence rate for an adaptive finite element method, SIAM J. Numer. Anal., 46 (2008), 2524–2550. doi: 10.1137/07069047X
[13]	W. Dörfler, A convergent adaptive algorithm for Poisson equation, SIAM J. Numer. Anal., 33 (1996), 1106–1124. doi: 10.1137/0733054
[14]	A. Demlow, R. Stevenson, Convergence and quasi-optimality of an adaptive finite element method for controlling $L^2$ errors, Numer. Math., 117 (2011), 185–218. doi: 10.1007/s00211-010-0349-9
[15]	A. Gaevskaya, R. H. W. Hoppe, Y. Iliash, M. Kieweg, Convergence anlysis of an adaptive finite element for distributed control problems with control constraints, Int. Serises Numer. Math., 155 (2007), 47–68. doi: 10.1007/978-3-7643-7721-2_3
[16]	L. Ge, W. Liu, D. Yang, Adaptive finite element approximation for a constrained optimal control problem via multi-meshes, J. Sci. Comput., 41 (2009), 238–255. doi: 10.1007/s10915-009-9296-y
[17]	L. Ge, W. Liu, D. Yang, $L^2$ norm equivalent a posteriori error estimate for a constrained optimal control problem, Inter. J. Numer. Anal. Model., 6 (2009), 335–353.
[18]	W. Gong, N. Yan, Adaptive finite element method for elliptic optimal control problems: convergence and optimality, Numer. Math., 135 (2017), 1121–1170. doi: 10.1007/s00211-016-0827-9
[19]	L. He, A. Zhou, Comvergence and optimality of adaptive finite element methods for elliptic partial differential equations, Int. J. Numer. Anal. Model., 8 (2011), 1721–1743.
[20]	H. Leng, Y. Chen, Convergence and quasi-optimality of an adaptive finite element method for optimal control problems with integral control constraint, Adv. Comput. Math., 44 (2018), 1367–1394.
[21]	R. Li, W. Liu, H. Ma, T. Tang, Adaptive finite element methods with convergence rates, Numer. Math., 41 (2002), 1321–1349.
[22]	W. Liu, N. Yan, Adaptive Finite Element Methods for Optimal Control Governed by PDEs, Science Press, Beijing, 2008.
[23]	Z. Lu, S. Zhang, $L^\infty$ -error estimates of rectangular mixed finite element methods for bilinear optimal control problem, Appl. Math. Comput., 300 (2017), 79–94.
[24]	P. Morin, R. H. Nochetto, K. G. Siebert, Data oscillation and convergence of adaptive FEM, SIAM J. Numer. Anal., 33 (1996), 1106–1124. doi: 10.1137/0733054
[25]	P. Morin, R. H. Nochetto, K. G. Siebert, Convergence of adaptive finite element methods, SIAM Reviews, 44 (2000), 466–488.
[26]	R. Stevenson, Optimality of a standard adaptive finite element method, Found Comput. Math., 7 (2007), 245–269. doi: 10.1007/s10208-005-0183-0
[27]	R. Verfurth, A Review of A Posteriori Error Estimation and Adaptive Mesh Refinement, Comput. Methods Appl. Mech. Engrg., Wiley-Teubner, London, 1996.
[28]	J. Xu, A. Zhou, Local and parallel finite element algorithms based on two-grid discretizations, Math. Comput., 69 (1996), 881–909.

This article has been cited by:

1.	Humaira Kalsoom, Muhammad Idrees, Artion Kashuri, Muhammad Uzair Awan, Yu-Ming Chu, Some New $(p_1p_2,q_1q_2)$ -Estimates of Ostrowski-type integral inequalities via n-polynomials s-type convexity, 2020, 5, 2473-6988, 7122, 10.3934/math.2020456
2.	Thabet Abdeljawad, Saima Rashid, A. A. El-Deeb, Zakia Hammouch, Yu-Ming Chu, Certain new weighted estimates proposing generalized proportional fractional operator in another sense, 2020, 2020, 1687-1847, 10.1186/s13662-020-02935-z
3.	Thabet Abdeljawad, Saima Rashid, Zakia Hammouch, İmdat İşcan, Yu-Ming Chu, Some new Simpson-type inequalities for generalized p-convex function on fractal sets with applications, 2020, 2020, 1687-1847, 10.1186/s13662-020-02955-9
4.	Shu-Bo Chen, Saima Rashid, Muhammad Aslam Noor, Rehana Ashraf, Yu-Ming Chu, A new approach on fractional calculus and probability density function, 2020, 5, 2473-6988, 7041, 10.3934/math.2020451
5.	Shuang-Shuang Zhou, Saima Rashid, Saima Parveen, Ahmet Ocak Akdemir, Zakia Hammouch, New computations for extended weighted functionals within the Hilfer generalized proportional fractional integral operators, 2021, 6, 2473-6988, 4507, 10.3934/math.2021267
6.	Shuang-Shuang Zhou, Saima Rashid, Muhammad Aslam Noor, Khalida Inayat Noor, Farhat Safdar, Yu-Ming Chu, New Hermite-Hadamard type inequalities for exponentially convex functions and applications, 2020, 5, 2473-6988, 6874, 10.3934/math.2020441
7.	Tie-Hong Zhao, Zai-Yin He, Yu-Ming Chu, On some refinements for inequalities involving zero-balanced hypergeometric function, 2020, 5, 2473-6988, 6479, 10.3934/math.2020418
8.	Shu-Bo Chen, Saima Rashid, Muhammad Aslam Noor, Zakia Hammouch, Yu-Ming Chu, New fractional approaches for n-polynomial P-convexity with applications in special function theory, 2020, 2020, 1687-1847, 10.1186/s13662-020-03000-5
9.	Muhammad Uzair Awan, Sadia Talib, Artion Kashuri, Muhammad Aslam Noor, Khalida Inayat Noor, Yu-Ming Chu, A new q-integral identity and estimation of its bounds involving generalized exponentially μ-preinvex functions, 2020, 2020, 1687-1847, 10.1186/s13662-020-03036-7
10.	Shyam S. Santra, Omar Bazighifan, Hijaz Ahmad, Yu-Ming Chu, Fateh Mebarek-Oudina, Second-Order Differential Equation: Oscillation Theorems and Applications, 2020, 2020, 1563-5147, 1, 10.1155/2020/8820066
11.	Saad Ihsan Butt, Muhammad Umar, Saima Rashid, Ahmet Ocak Akdemir, Yu-Ming Chu, New Hermite–Jensen–Mercer-type inequalities via k-fractional integrals, 2020, 2020, 1687-1847, 10.1186/s13662-020-03093-y
12.	Imran Abbas Baloch, Aqeel Ahmad Mughal, Yu-Ming Chu, Absar Ul Haq, Manuel De La Sen, A variant of Jensen-type inequality and related results for harmonic convex functions, 2020, 5, 2473-6988, 6404, 10.3934/math.2020412
13.	Artion Kashuri, Sajid Iqbal, Saad Ihsan Butt, Jamshed Nasir, Kottakkaran Sooppy Nisar, Thabet Abdeljawad, Basil K. Papadopoulos, Trapezium-Type Inequalities for k -Fractional Integral via New Exponential-Type Convexity and Their Applications, 2020, 2020, 2314-4785, 1, 10.1155/2020/8672710
14.	Maysaa Al Qurashi, Saima Rashid, Sobia Sultana, Hijaz Ahmad, Khaled A. Gepreel, New formulation for discrete dynamical type inequalities via $h$ -discrete fractional operator pertaining to nonsingular kernel, 2021, 18, 1551-0018, 1794, 10.3934/mbe.2021093
15.	Yu‐ming Chu, Saima Rashid, Jagdev Singh, A novel comprehensive analysis on generalized harmonically ψ ‐convex with respect to Raina's function on fractal set with applications , 2021, 0170-4214, 10.1002/mma.7346
16.	Chahn Yong Jung, Ghulam Farid, Hafsa Yasmeen, Yu-Pei Lv, Josip Pečarić, Refinements of some fractional integral inequalities for refined $(\alpha ,h-m)$ -convex function, 2021, 2021, 1687-1847, 10.1186/s13662-021-03544-0
17.	Mubashir Qayyum, Efaza Ahmad, Sidra Afzal, Tanveer Sajid, Wasim Jamshed, Awad Musa, El Sayed M. Tag El Din, Amjad Iqbal, Fractional analysis of unsteady squeezing flow of Casson fluid via homotopy perturbation method, 2022, 12, 2045-2322, 10.1038/s41598-022-23239-0
18.	Saima Rashid, Aasma Khalid, Omar Bazighifan, Georgia Irina Oros, New Modifications of Integral Inequalities via ℘-Convexity Pertaining to Fractional Calculus and Their Applications, 2021, 9, 2227-7390, 1753, 10.3390/math9151753
19.	Ahmed A. El‐Deeb, Novel dynamic Hardy‐type inequalities on time scales, 2023, 46, 0170-4214, 5299, 10.1002/mma.8834
20.	Ahmed A. El-Deeb, Dumitru Baleanu, Nehad Ali Shah, Ahmed Abdeldaim, On some dynamic inequalities of Hilbert's-type on time scales, 2023, 8, 2473-6988, 3378, 10.3934/math.2023174
21.	Naqash Sarfraz, Muhammad Aslam, Mir Zaman, Fahd Jarad, Estimates for p-adic fractional integral operator and its commutators on p-adic Morrey–Herz spaces, 2022, 2022, 1029-242X, 10.1186/s13660-022-02829-6
22.	Wei Liu, Fangfang Shi, Guoju Ye, Dafang Zhao, Some inequalities for cr-log-h-convex functions, 2022, 2022, 1029-242X, 10.1186/s13660-022-02900-2
23.	JIAN-GEN LIU, XIAO-JUN YANG, YI-YING FENG, LU-LU GENG, ON THE GENERALIZED WEIGHTED CAPUTO-TYPE DIFFERENTIAL OPERATOR, 2022, 30, 0218-348X, 10.1142/S0218348X22500323
24.	Waewta Luangboon, Kamsing Nonlaopon, Jessada Tariboon, Sotiris K. Ntouyas, Simpson- and Newton-Type Inequalities for Convex Functions via (p,q)-Calculus, 2021, 9, 2227-7390, 1338, 10.3390/math9121338
25.	Shasha Li, Ghulam Farid, Atiq Ur Rehman, Hafsa Yasmeen, Ahmet Ocak Akdemir, Fractional Versions of Hadamard-Type Inequalities for Strongly Exponentially α , h − m -Convex Functions, 2021, 2021, 2314-4785, 1, 10.1155/2021/2555974
26.	Ahmed A. El-Deeb, On dynamic inequalities in two independent variables on time scales and their applications for boundary value problems, 2022, 2022, 1687-2770, 10.1186/s13661-022-01636-8
27.	Artion Kashuri, Soubhagya Kumar Sahoo, Bibhakar Kodamasingh, Muhammad Tariq, Ahmed A. Hamoud, Homan Emadifar, Faraidun K. Hamasalh, Nedal M. Mohammed, Masoumeh Khademi, Guotao Wang, Integral Inequalities of Integer and Fractional Orders for n –Polynomial Harmonically t g s –Convex Functions and Their Applications, 2022, 2022, 2314-4785, 1, 10.1155/2022/2493944
28.	MAYSAA AL-QURASHI, SAIMA RASHID, YELIZ KARACA, ZAKIA HAMMOUCH, DUMITRU BALEANU, YU-MING CHU, ACHIEVING MORE PRECISE BOUNDS BASED ON DOUBLE AND TRIPLE INTEGRAL AS PROPOSED BY GENERALIZED PROPORTIONAL FRACTIONAL OPERATORS IN THE HILFER SENSE, 2021, 29, 0218-348X, 2140027, 10.1142/S0218348X21400272
29.	Saima Rashid, Zakia Hammouch, Rehana Ashraf, Yu-Ming Chu, New Computation of Unified Bounds via a More General Fractional Operator Using Generalized Mittag–Leffler Function in the Kernel, 2021, 126, 1526-1506, 359, 10.32604/cmes.2021.011782
30.	YunPeng Chang, LiangJuan Yu, LinQi Sun, HuangZhi Xia, $L\log L$ Type Estimates for Commutators of Fractional Integral Operators on the p-Adic Vector Space, 2024, 18, 1661-8254, 10.1007/s11785-024-01514-4
31.	Fangfang Shi, Guoju Ye, Wei Liu, Dafang Zhao, A class of nonconvex fuzzy optimization problems under granular differentiability concept, 2023, 211, 03784754, 430, 10.1016/j.matcom.2023.04.021
32.	Amit Prakash, Vijay Verma, Dumitru Baleanu, Two Novel Methods for Fractional Nonlinear Whitham–Broer–Kaup Equations Arising in Shallow Water, 2023, 9, 2349-5103, 10.1007/s40819-023-01497-4
33.	Umair Manzoor, Hassan Waqas, Taseer Muhammad, Hamzah Naeem, Ahmed Alshehri, Characteristics of hybrid nanofluid induced by curved surface with the consequences of thermal radiation: an entropy optimization, 2023, 1745-5030, 1, 10.1080/17455030.2023.2226251

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)