An E-extra iteration method for solving reduced biquaternion matrix equation $AX+XB = C$

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

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

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

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

and

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:

and

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

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

and

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:

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

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

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

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

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

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

Consider

and

By adding

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

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

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:

Proof. It suffices that

Then by integration by parts, we have

Analogously

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:

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:

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

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:

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

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:

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

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

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

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

Consider

and

By adding

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

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:

Proof. It suffices that

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

Analogously

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

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

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

and

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

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

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

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.