Hermite–Hadamard-Type Inequalities Involving Harmonically Convex Function via the Atangana–Baleanu Fractional Integral Operator

Abstract

Fractional integrals and inequalities have recently become quite popular and have been the prime consideration for many studies. The results of many different types of inequalities have been studied by launching innovative analytical techniques and applications. These Hermite–Hadamard inequalities are discovered in this study using Atangana–Baleanu integral operators, which provide both practical and powerful results. In this paper, a symmetric study of integral inequalities of Hermite–Hadamard type is provided based on an identity proved for Atangana–Baleanu integral operators and using functions whose absolute value of the second derivative is harmonic convex. The proven Hermite–Hadamard-type inequalities have been observed to be valid for a choice of any harmonic convex function with the help of examples. Moreover, fractional inequalities and their solutions are applied in many symmetrical domains.

1. Introduction

Integral inequalities are fundamental to our comprehension of the cosmos, and there are a great deal of straightforward methods available for determining the uniqueness and existence of linear and nonlinear differential equations in which symmetry is a significant factor. Convex functions are of great interest to researchers in many applied fields, such as convex programming, because they are extremely important for the theory of inequality in a wide range of applications. Convex functions are also of great interest to researchers in many theoretical fields, such as probability theory. It is good to start by recognizing this class of function.

Definition 1.

A function $f:I\subseteq \mathbb{R}\to \mathbb{R}$ is convex if for all ${\varpi }_1$, ${\varpi }_2\in I$, the inequality

$$f\left(t{\varpi }_1+\left(1-t\right){\varpi }_2\right)\le tf\left({\varpi }_1\right)+\left(1-t\right)f\left({\varpi }_2\right)$$

(1)

holds. A function $f:I\to \mathbb{R}$ is concave in which the inequality (1) holds in the opposite direction.

In this case, convex functions play an important role in many areas of mathematics. They are especially important in the study of optimization problems where they are distinguished by a number of convenient properties. Moreover, convex functions are used to create a historical inequality, which is a kind of beautiful inequality in which one has the ability to express the lower and higher limits as arithmetic means. It is critical in numerical integration to understand the inequality described here because it is used in error estimation formulas such as the trapezoidal and midpoint formulas (for more details, see [1,2,3,4,5,6,7]):

$$f\left(\frac{{\varpi }_1+{\varpi }_2}{2}\right)\le \frac{1}{{\varpi }_2-{\varpi }_1}{\int }_{{\varpi }_1}^{{\varpi }_2}f\left(x\right)dx\le \frac{f\left({\varpi }_1\right)+f\left({\varpi }_2\right)}{2},$$

(2)

where the function $f:I\to \mathbb{R}$ is convex on I and $f\in L^1\left(\left[{\varpi }_1,{\varpi }_2\right]\right)$.

One of the generalizations of the convex functions is the harmonic convex functions, which are defined as follows:

Definition 2

([7]). A function $f:I\subset \mathbb{R}\setminus \left\{0\right\}\to \mathbb{R}$ is harmonic convex if for all ${\varpi }_1$, ${\varpi }_2\in I$, the inequality

$$f\left(\frac{{\varpi }_1{\varpi }_2}{t{\varpi }_2+\left(1-t\right){\varpi }_1}\right)\le tf\left({\varpi }_1\right)+\left(1-t\right)f\left({\varpi }_2\right)$$

(3)

holds. A function $f:I\subset \mathbb{R}\setminus \left\{0\right\}\to \mathbb{R}$ is harmonic concave in which the inequality (3) holds in the opposite direction. For more details about harmonic convex functions, please see [8,9,10,11].

A variant of the Hermite–Hadamard inequality (2) for harmonic convex functions was proved by İşcan [7].

Theorem 1

([7]). Let $f:I\subset \mathbb{R}\setminus \left\{0\right\}\to \mathbb{R}$ be a harmonically convex function and ${\varpi }_1,{\varpi }_2\in I$ with ${\varpi }_1<{\varpi }_2$. If $f\in L[{\varpi }_1,{\varpi }_2]$; then, the following inequalities hold:

$$f\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\le \frac{{\varpi }_1{\varpi }_2}{{\varpi }_2-{\varpi }_1}{\int }_{{\varpi }_1}^{{\varpi }_2}\frac{f\left(x\right)}{x^2}dx\le \frac{f\left({\varpi }_1\right)+f\left({\varpi }_2\right)}{2}.$$

Convexity and integral inequality are topics that are explored in several works. This type of research is oriented on examining the properties of Hadamard, Bullen, Ostrowski, and Simpson-type inequalities, which can be discovered in the results of Static Neural Networks, as well as the properties of other types of inequalities. Every study introduced a new strategy and opened new application opportunities for the literature. The articles [12,13,14,15,16,17,18] offer additional information on convexity and integral inequalities in various directions:

Fractional integral inequalities benefit from the properties and definition of convexity, and it has recently become an immensely important topic of research. A newly emerged field in applied mathematics, called fractional analysis, is concerned with finding answers to open problems involving fractional-order derivatives. After discovering this solution, mathematicians have found themselves embarking on brand-new lines of inquiry due to how much research interest there has been in the field for decades. In addition to the Riemann–Liouville fractional integrals, fractional integral operators and fractional derivatives have become major parts of applied mathematics and applied sciences. Solutions to real-world problems are proposed by fractional integral and derivative operators, which also improve the relationship between mathematics and other disciplines when it comes to applications. Those interested in learning more about fractional integral and derivative operators should begin with the articles [19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46]. An important concept, not long ago, that has emerged is the Caputo–Fabrizio integral operator, which was established in the last few years. This is how it is defined:

Definition 3

([47]). Let $f\in H^1\left(0,{\varpi }_2\right)$, ${\varpi }_1<{\varpi }_2$, $\alpha \in \left[0,1\right]$; then, the definition of the new Caputo fractional derivative is:

$${}^{CF}{D}^{\alpha }f\left(x\right)=\frac{M\left(\alpha \right)}{1-\alpha }{\int }_{{\varpi }_1}^x{f}^{{}^{\prime }}\left(t\right)exp\left[-\frac{\alpha \left(x-t\right)}{1-\alpha }\right]dt,$$

(4)

such that $M\left(\alpha \right)$ is a normalization function.

The Caputo–Fabrizio fractional integral formula is:

Definition 4

([21]). Let $f\in H^1\left(0,{\varpi }_2\right)$, ${\varpi }_1<{\varpi }_2$, $\alpha \in \left[0,1\right]$ So, the left and right sides of the Caputo–Fabrizio fractional integral are:

$$\left({}_{{\varpi }_1}^{CF}{I}^{\alpha }\right)f\left(x\right)=\frac{1-\alpha }{B\left(\alpha \right)}f\left(x\right)+\frac{\alpha }{B\left(\alpha \right)}{\int }_{{\varpi }_1}^{x}f\left(t\right)dt$$

(5)

and

$$\left({}^{CF}{I}_{{\varpi }_2}^{\alpha }\right)f\left(x\right)=\frac{1-\alpha }{B\left(\alpha \right)}f\left(x\right)+\frac{\alpha }{B\left(\alpha \right)}{\int }_x^{{\varpi }_2}f\left(t\right)dt,$$

(6)

where $B\left(\alpha \right)$ is normalization function.

Atangana–Baleanu [5] has found a solution to the problem of the Caputo–Fabrizio operator not being reduced to the original function in a special case, despite the fact that the operator is an effective tool in the solution of many systems of differential equations. The features of the Caputo–Fabrizio operator are present in the normalization function.

The power law is included in the kernel of some fractional order derivative and integral operators as well as some integral operators. Nature does not usually exhibit power law behavior. This novel derivative and integral operator incorporates the Mittag–Leffler function [48]. The Mittag–Leffler function is required to model nature. This improved the Atangana–Baleanu operator and piqued researchers’ interest. That the work uses the Atangana–Baleanu operator for Hermite–Hadamard inequalities is unusual. When the parameter is set to zero, the Atangana–Baleanu original function can be derived and compared to the Caputo–Fabrizio results.

Definition 5

([5]). Let $f\in H^1\left(0,{\varpi }_2\right)$, ${\varpi }_1<{\varpi }_2$, $\alpha \in \left[0,1\right];$ then, the definition of the new fractional derivative is given below

$${}_{{\varpi }_1}^{ABC}{D}_x^{\alpha }\left[f\left(x\right)\right]=\frac{B\left(\alpha \right)}{1-\alpha }{\int }_{{\varpi }_1}^x{f}^{{}^{\prime }}\left(t\right)E_{\alpha }\left[-\frac{\alpha {\left(x-t\right)}^{\alpha }}{1-\alpha }\right]dt.$$

(7)

Definition 6

([5]). Let $f\in H^1\left(0,{\varpi }_2\right)$, ${\varpi }_1<{\varpi }_2$, $\alpha \in \left[0,1\right];$ then, the definition of the new fractional derivative is given below:

$${}_{{\varpi }_1}^{ABC}{D}_x^{\alpha }\left[f\left(x\right)\right]=\frac{B\left(\alpha \right)}{1-\alpha }\frac{d}{dx}{\int }_{{\varpi }_1}^{x}f\left(t\right)E_{\alpha }\left[-\frac{\alpha {\left(x-t\right)}^{\alpha }}{1-\alpha }\right]dt.$$

(8)

Equations (7) and (8) have a non-local kernel. In addition, in (8), as a result, the constant function returns to zero. The following is the definition of the associated integral operator for the Atangana–Baleanu fractional derivative:

Definition 7

([5]). The new fractional derivative with a non-local kernel of a function is associated with the fractional integral $f\in H^1\left(0,{\varpi }_2\right)$ as defined:

$$\left({}_{{\varpi }_1}^{AB}{I}^{\alpha }\right)\left\{f\left(x\right)\right\}=\frac{1-\alpha }{B\left(\alpha \right)}f\left(x\right)+\frac{\alpha }{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_{{\varpi }_1}^{x}f\left(t\right){\left(x-t\right)}^{\alpha -1}dt,$$

(9)

where ${\varpi }_1<{\varpi }_2$, $\alpha \in \left[0,1\right]$.

The authors of [22] described the integral operator’s right-hand side as follows:

$${}^{AB}{I}_{{\varpi }_2}^{\alpha }\left\{f\left(x\right)\right\}=\frac{1-\alpha }{B\left(\alpha \right)}f\left(x\right)+\frac{\alpha }{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_x^{{\varpi }_2}f\left(t\right){\left(t-x\right)}^{\alpha -1}dt,$$

(10)

where ${\varpi }_1<{\varpi }_2$, $\alpha \in \left[0,1\right]$.

Mathematical concepts can be thought of as having practical and theoretical significance. Furthermore, among the qualities that make the concepts strong are that they solve a deficiency, provide a new workplace orientation and are more functional than existing concepts. The significance and power of fractional analysis investigations can be better understood when seen from this perspective. The literature acknowledges an operator whose definition and properties are expressed because it is popular in the domain of usage and invention. The Atangana–Baleanu derivative and related integral operator have proven particularly useful. Although many investigations on this unusual operator have been completed in a short time, the results demonstrate that the operator is efficient and valuable. We advise academics to undertake their own independent research to learn more about new directions and trends in fractional calculus.

In [37], Set et al. proved new Hermite–Hadamard-type inequalities, which are for functions whose absolute value of the second derivatives are convex, using Atangana–Baleanu integral operators. Set et al. [37] used Atangana–Baleanu operators to generate new and general Hermite–Hadamard-type inequalities and to make discoveries that better explain physical phenomena in terms of the kernel structure and characteristics of the operator. Selecting $\alpha$ equal to 1 will give a different classical Hermite–Hadamard inequality. In the first place, an identity using Atangana–Baleanu was obtained by various integration techniques, and on the other hand, a modification is made in this identity, and hence, a new set of integral inequalities was proved.

During the course of the last three decades, the study of mathematical inequalities that make use of convex functions has been recognized as a prominent field of research. The researchers are looking for new generalizations of convex functions, and as a consequence, new findings are being added to the theory of inequality as a result of their efforts. Within the scope of the present investigation, we have made use of harmonic convex functions in order to generalize a number of findings that are valid for convex functions. The study initiated by Set et al. [37] provided a sound motivation for us to conduct similar research toward harmonic convex functions. We first set up an identity using an Atangana–Baleanu integral operator as well as the properties of harmonic convexity and the use of several integration techniques to obtain new results of Hermite–Hadamard type. We also try to make amendments in the main identity and applications of a number of known famous integral inequalities to prove a new variety of integral inequalities of Hermite–Hadamard type in the next section, with the property that the derivative of the function in absolute value having certain powers is harmonic convex. The proven Hermite–Hadamard-type inequalities have been observed to be valid for a choice of any harmonic convex function with the help of examples. Moreover, the Figure 1 shows the validity of Theorem 7 and Figure 2 shows the validity of Theorem 3.

2. Main Results

The following lemma will be used to show the Hermite–Hadamard-type integral inequalities for the first time in the literature of inequalities theory. The following result is actually a consequence of the sum of two symmetric integrals and is useful to obtain our results.

Lemma 1.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. Then, the Atangana–Baleanu identity holds for fractional integral operators

$$\begin{array}{c}{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right):=-\frac{{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\left[\frac{\left(\alpha -1\right)xf\left({\varpi }_1\right)+{\varpi }_1\left(x-{\varpi }_1\right)\left(2f\left({\varpi }_1\right)-f^{{}^{\prime }}\left({\varpi }_1\right)\right)}{{\varpi }_1{x}^2\left(x-{\varpi }_1\right)}\right]\\ -\frac{{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\left[\frac{\left(\alpha -1\right)xf\left({\varpi }_2\right)+{\varpi }_2\left({\varpi }_2-x\right)\left(2f\left({\varpi }_2\right)-f^{{}^{\prime }}\left({\varpi }_2\right)\right)}{{\varpi }_2{x}^2\left({\varpi }_2-x\right)}\right]\\ +\frac{\left(\alpha -1\right)}{{\varpi }_1^2{x}^2}\left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}\left(f\circ h\right)\left(x\right)\right]-\frac{2\alpha B\left(\alpha +1\right)}{{\varpi }_1^2{x}^3\left(\alpha +1\right)B\left(\alpha \right)}\\ \times \left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha +1}\left\{{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right\}+\frac{\alpha }{B\left(\alpha +1\right)}{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right]\end{array}$$

$$\begin{array}{c}+\frac{\left(\alpha -1\right)}{{\varpi }_2^2{x}^2}\left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}\left(f\circ h\right)\left(x\right)\right]+\frac{2\alpha B\left(\alpha +1\right)}{{\varpi }_2^2{x}^3\left(\alpha +1\right)B\left(\alpha \right)}\end{array}$$

(11)

$$\begin{array}{c}\times \left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha +1}\left\{{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right\}+\frac{\alpha }{B\left(\alpha +1\right)}{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right]\\ -\frac{2}{{\varpi }_1^2{x}^3}\left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{h\left(x\right)\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}h\left(x\right)\left(f\circ h\right)\left(x\right)\right]\\ +\frac{2}{{\varpi }_2^2{x}^3}\left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{h\left(x\right)\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}h\left(x\right)\left(f\circ h\right)\left(x\right)\right]\\ =\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt.\end{array}$$

where $h\left(w\right)=\frac{1}{w}$, $w\in \left[\frac{1}{{\varpi }_2},\frac{1}{{\varpi }_1}\right],$$x\in \left[{\varpi }_1,{\varpi }_2\right]$ and $\alpha \in \left[0,1\right]$.

Proof. 

We observe by integration by parts that

$$\begin{array}{c}\frac{1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha }}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^2}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt=\frac{1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \times \left[\frac{1}{\alpha +1}\frac{f^{{}^{\prime }}\left({\varpi }_1\right)}{x^2}+{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{\alpha +1}\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\right.\\ \left.+{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{\alpha +1}\frac{2\left(x-{\varpi }_1\right)}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^3}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\right].\end{array}$$

(12)

From (12), we obtain

$$\begin{array}{cc}\hfill \frac{\alpha -1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}& {\int }_0^1\frac{{\left(1-t\right)}^{\alpha }}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^2}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\hfill \\ \hfill & +\frac{2{\varpi }_1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha }}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^3}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{1}x}{tx+\left(1-t\right){\varpi }_1}\right)dt=\frac{1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\hfill \\ \hfill & \times \left[\frac{f^{{}^{\prime }}\left({\varpi }_1\right)}{x^2}+{\varpi }_{1}x\left(x-{\varpi }_1\right){\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\right].\hfill \end{array}$$

(13)

By using the definition of Atangana–Baleanu fractional derivative, we observe that the following equalities hold

$$\begin{array}{c}\frac{\alpha -1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha }}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^2}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\hfill \\ =\frac{\alpha -1}{B\left(\alpha \right)\Gamma \left(\alpha \right){\varpi }_{1}x\left(x-{\varpi }_1\right)}{\int }_0^1{\left(1-t\right)}^{\alpha }d\left[f\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right]\hfill \\ =-\frac{\left(\alpha -1\right)f\left({\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right){\varpi }_{1}x\left(x-{\varpi }_1\right)}+\frac{\left(\alpha -1\right)}{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{\left(\frac{{\varpi }_{1}x}{x-{\varpi }_1}\right)}^{\alpha }\frac{\alpha }{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_{\frac{1}{x}}^{\frac{1}{{\varpi }_1}}{\left(w-\frac{1}{x}\right)}^{\alpha -1}f\left(\frac{1}{w}\right)dw\hfill \\ =-\frac{\left(\alpha -1\right)f\left({\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right){\varpi }_{1}x\left(x-{\varpi }_1\right)}+\frac{\left(\alpha -1\right)}{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{\left(\frac{{\varpi }_{1}x}{x-{\varpi }_1}\right)}^{\alpha }\hfill \\ \times \left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}\left(f\circ h\right)\left(x\right)\right]\hfill \end{array}$$

(14)

and

$$\begin{array}{c}\frac{2{\varpi }_1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha }}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^3}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\\ =\frac{2}{x\left(x-{\varpi }_1\right)B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha }}{t{\varpi }_1+\left(1-t\right)x}d\left[f\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right]\\ =-\frac{2f\left({\varpi }_1\right)}{x^2\left(x-{\varpi }_1\right)B\left(\alpha \right)\Gamma \left(\alpha \right)}-\frac{2\alpha }{\alpha xB\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha }}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^2}f\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\\ +\frac{2\alpha }{x^2\left(x-{\varpi }_1\right)B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha -1}}{t{\varpi }_1+\left(1-t\right)x}f\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt\\ =-\frac{2f\left({\varpi }_1\right)}{x^2\left(x-{\varpi }_1\right)B\left(\alpha \right)\Gamma \left(\alpha \right)}-\frac{2{\left(\frac{{\varpi }_{1}x}{x-{\varpi }_1}\right)}^{\alpha +1}B\left(\alpha +1\right)}{{\varpi }_1^2{x}^3\left(\alpha +1\right)B\left(\alpha \right)}\\ \times \left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha +1}\left\{{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right\}+\frac{\alpha }{B\left(\alpha +1\right)}{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right]\\ +\frac{2{\left(\frac{{\varpi }_{1}x}{x-{\varpi }_1}\right)}^{\alpha }}{{\varpi }_1{x}^2\left(x-{\varpi }_1\right)}\left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{h\left(x\right)\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}h\left(x\right)\left(f\circ h\right)\left(x\right)\right].\end{array}$$

(15)

By applying (14) and (15) in (13), we obtain

$$\begin{array}{c}-\frac{{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\left[\frac{\left(\alpha -1\right)xf\left({\varpi }_1\right)+2{\varpi }_1\left(x-{\varpi }_1\right)f\left({\varpi }_1\right)-{\varpi }_1\left(x-{\varpi }_1\right)f^{{}^{\prime }}\left({\varpi }_1\right)}{{\varpi }_1{x}^2\left(x-{\varpi }_1\right)}\right]\\ +\frac{\left(\alpha -1\right)}{{\varpi }_1^2{x}^2}\left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}\left(f\circ h\right)\left(x\right)\right]-\frac{2B\left(\alpha +1\right)}{{\varpi }_1^2{x}^3\left(\alpha +1\right)B\left(\alpha \right)}\\ \times \left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha +1}\left\{{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right\}+\frac{\alpha }{B\left(\alpha +1\right)}{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right]\\ +\frac{2}{{\varpi }_1^2{x}^3}\left[{}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{h\left(x\right)\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}h\left(x\right)\left(f\circ h\right)\left(x\right)\right]\\ =\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)dt.\end{array}$$

(16)

Now, we consider the integral

$$\begin{array}{c}\frac{1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha }}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^2}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt\hfill \\ =\frac{f^{{}^{\prime }}\left({\varpi }_2\right)}{x^2\left(\alpha +1\right)B\left(\alpha \right)\Gamma \left(\alpha \right)}-\frac{1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha +1}}{\alpha +1}\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt\hfill \\ -\frac{1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha +1}}{\alpha +1}\frac{2\left({\varpi }_2-x\right)}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^3}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt.\hfill \end{array}$$

(17)

which gives

$$\begin{array}{c}\frac{\alpha -1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha }}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^2}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt\\ +\frac{2{\varpi }_2}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha }}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^3}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt\\ =\frac{f^{{}^{\prime }}\left({\varpi }_2\right)}{x^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}-\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt.\end{array}$$

(18)

It is easy to see that

$$\begin{array}{c}\frac{\alpha -1}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha }}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^2}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt\\ =\frac{\left(\alpha -1\right)f\left({\varpi }_2\right)}{{\varpi }_{2}x\left({\varpi }_2-x\right)B\left(\alpha \right)\Gamma \left(\alpha \right)}-\frac{\left(\alpha -1\right){\left(\frac{{\varpi }_{2}x}{{\varpi }_2-x}\right)}^{\alpha }}{{\varpi }_{2}x\left({\varpi }_2-x\right)}\\ \times \left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}\left(f\circ h\right)\left(x\right)\right]\end{array}$$

(19)

and

$$\begin{array}{c}\frac{2{\varpi }_2}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\int }_0^1\frac{t^{\alpha }}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^3}{f}^{{}^{\prime }}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt\\ =\frac{2f\left({\varpi }_2\right)}{x^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}-\frac{2{\left(\frac{{\varpi }_{2}x}{{\varpi }_2-x}\right)}^{\alpha }}{{\varpi }_2{x}^2\left({\varpi }_2-x\right)}\left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{h\left(x\right)\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}h\left(x\right)\left(f\circ h\right)\left(x\right)\right]\\ -\frac{2{\left(\frac{{\varpi }_{2}x}{{\varpi }_2-x}\right)}^{\alpha +1}\alpha B\left(\alpha +1\right)}{{\varpi }_2^2{x}^3\left(\alpha +1\right)B\left(\alpha \right)}\times \left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right\}+\frac{\alpha }{B\left(\alpha +1\right)}{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right].\end{array}$$

(20)

A combination of (18)–(20) gives us

$$\begin{array}{c}-\frac{{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\left[\frac{\left(\alpha -1\right)xf\left({\varpi }_2\right)+2{\varpi }_2\left({\varpi }_2-x\right)f\left({\varpi }_2\right)-{\varpi }_2\left({\varpi }_2-x\right)f^{{}^{\prime }}\left({\varpi }_2\right)}{{\varpi }_2{x}^2\left({\varpi }_2-x\right)}\right]\\ +\frac{\left(\alpha -1\right)}{{\varpi }_2^2{x}^2}\left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}\left(f\circ h\right)\left(x\right)\right]+\frac{2\alpha B\left(\alpha +1\right)}{{\varpi }_2^2{x}^3\left(\alpha +1\right)B\left(\alpha \right)}\\ \times \left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right\}+\frac{\alpha }{B\left(\alpha +1\right)}{\left(h\left(x\right)\right)}^2\left(f\circ h\right)\left(x\right)\right]\\ +\frac{2}{{\varpi }_2^2{x}^3}\left[{}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\left\{h\left(x\right)\left(f\circ h\right)\left(x\right)\right\}-\frac{1-\alpha }{B\left(\alpha \right)}h\left(x\right)\left(f\circ h\right)\left(x\right)\right]\\ =\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}{f}^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)dt.\end{array}$$

(21)

The addition of (16) and (21) gives the required result. □

We also recall some special functions which we use to give our estimates.

The Beta or the Euler integral of the first kind and hypergeometric functions are defined as

$$\mathbb{B}(\alpha ,\beta )={\int }_0^1{t}^{\alpha -1}{(1-t)}^{\beta -1}dt,\alpha ,\beta >0.$$

$${}_2{F}_1(\alpha ,\beta ;\gamma ,z)=\frac{1}{\mathbb{B}(\beta ,\gamma -\beta )}{\int }_0^1{t}^{\beta -1}{(1-t)}^{\gamma -\beta -1}{(1-zt)}^{-\alpha }dt,\gamma >\beta >0,\left|z\right|<1,$$

respectively, (see [35]). The regularized hypergeometric function is defined as

$${}_2{\tilde{F}}_1(\alpha ,\beta ;\gamma ,z)=\frac{{}_2{F}_1(\alpha ,\beta ;\gamma ,z)}{\Gamma \left(\gamma \right)},$$

where $\Gamma \left(\gamma \right)$ is the gamma function.

We will now be able to generalize the Hermite–Hadamard-type inequalities using the harmonic convexity. One can easily observe that there is symmetry even in the estimates of $\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|$.

Theorem 2.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and $\left|f^{{}^{″}}\right|$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\hfill \\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\left[{\varphi }_1\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left(x\right)\right|+{\varphi }_2\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left({\varpi }_2\right)\right|\right]\hfill \\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left[{\varphi }_3\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left({\varpi }_1\right)\right|+{\varphi }_4\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left(x\right)\right|\right],\hfill \end{array}$$

(22)

where

$$\begin{array}{cc}\hfill {\varphi }_1\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)& =\frac{{\varpi }_2({\varpi }_2-2\alpha x)}{6{\varpi }_2^4{x}^2}+\frac{\alpha \left({\alpha }^2+3\alpha +2\right){}_2{F}_1\left(1,\alpha +3;\alpha +4;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4\left(\alpha +3\right)}\hfill \\ \hfill & -\frac{\alpha \left({\alpha }^2-1\right){}_2{F}_1\left(1,\alpha +2;\alpha +3;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4\left(\alpha +2\right)},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\varphi }_2\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)& =\frac{{\varpi }_2\left(2{\varpi }_2^2-\alpha {\varpi }_{2}x+\alpha (\alpha +1)x^2\right)}{6{\varpi }_2^4{x}^3}\hfill \\ \hfill & -\frac{\alpha (\alpha +1)(\alpha +2)\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,\alpha +3;\alpha +4;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\varphi }_3\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)& =\frac{2{\varpi }_1^2+\alpha (\alpha +1)x^2-\alpha {\varpi }_{1}x}{6{\varpi }_1^3{x}^3}\hfill \\ \hfill & -\frac{\alpha (\alpha +1)(\alpha +2)\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,1;\alpha +4;1-\frac{{\varpi }_1}{x}\right)}{6{\varpi }_1^{3}x},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\varphi }_4\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)& =\frac{\left({\varpi }_1^2-2\alpha {\varpi }_{1}x\right)\left(\alpha +2\right)-\alpha \left({\alpha }^2-1\right)x^2}{6\left(\alpha +2\right){\varpi }_1^4{x}^2}\hfill \\ \hfill & +\frac{\alpha (\alpha +1)\Gamma (\alpha +3)(3{\varpi }_1+(\alpha -1)x){}_2{\tilde{F}}_1\left(1,1;\alpha +4;1-\frac{{\varpi }_1}{x}\right)}{6{\varpi }_1^{4}x},\hfill \end{array}$$

$x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

According to (11) of Lemma 1, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\hfill \\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|dt\hfill \\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|dt.\hfill \end{array}$$

(23)

Since $\left|f^{{}^{″}}\right|$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|dt\\ \le \left|f^{{}^{″}}\left(x\right)\right|{\int }_0^1\frac{t^{\alpha +1}\left(1-t\right)}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}dt+\left|f^{{}^{″}}\left({\varpi }_2\right)\right|{\int }_0^1\frac{t^{\alpha +2}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}dt\\ =\left[\frac{{\varpi }_2({\varpi }_2-2\alpha x)}{6{\varpi }_2^4{x}^2}+\frac{\alpha \left({\alpha }^2+3\alpha +2\right){}_2{F}_1\left(1,\alpha +3;\alpha +4;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4\left(\alpha +3\right)}\right.\\ \left.-\frac{\alpha \left({\alpha }^2-1\right){}_2{F}_1\left(1,\alpha +2;\alpha +3;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4\left(\alpha +2\right)}\right]\left|f^{{}^{″}}\left(x\right)\right|+\left[\frac{{\varpi }_2\left(2{\varpi }_2^2-\alpha {\varpi }_{2}x+\alpha (\alpha +1)x^2\right)}{6{\varpi }_2^4{x}^3}\right.\\ \left.-\frac{\alpha (\alpha +1)(\alpha +2)\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,\alpha +3;\alpha +4;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4}\right]\left|f^{{}^{″}}\left({\varpi }_2\right)\right|\end{array}$$

(24)

and

$$\begin{array}{c}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|dt\\ \le \left|f^{{}^{″}}\left({\varpi }_1\right)\right|\left[\frac{2{\varpi }_1^2+\alpha (\alpha +1)x^2-\alpha {\varpi }_{1}x}{6{\varpi }_1^3{x}^3}\right.\\ \left.-\frac{\alpha (\alpha +1)(\alpha +2)x^2\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,1;\alpha +4;1-\frac{{\varpi }_1}{x}\right)}{6{\varpi }_1^3{x}^3}\right]\\ +\left|f^{{}^{″}}\left(x\right)\right|\left[\frac{\left({\varpi }_1^2-2\alpha {\varpi }_{1}x\right)\left(\alpha +2\right)-\alpha \left({\alpha }^2-1\right)x^2}{6\left(\alpha +2\right){\varpi }_1^4{x}^2}\right.\\ \left.+\frac{\alpha (\alpha +1)x\Gamma (\alpha +3)(3{\varpi }_1+(\alpha -1)x){}_2{\tilde{F}}_1\left(1,1;\alpha +4;1-\frac{{\varpi }_1}{x}\right)}{6{\varpi }_1^4{x}^2}\right].\end{array}$$

(25)

Applying (24) and (25) together in (23), we obtain the desired result. □

Corollary 1.

The substitution of $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$ in Theorem 2 produces the following result

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\\ \times \left\{{\varpi }_2^2\left[{\varphi }_1\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|+{\varphi }_1\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\left|f^{{}^{″}}\left({\varpi }_2\right)\right|\right]\right.\\ \left.+{\varpi }_1^2\left[{\varphi }_3\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\left|f^{{}^{″}}\left({\varpi }_1\right)\right|+{\varphi }_4\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|\right]\right\},\end{array}$$

(26)

where

$$\begin{array}{cc}\hfill {\varphi }_1\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{\alpha \left({\alpha }^2+3\alpha +2\right){}_2{F}_1\left(1,\alpha +3;\alpha +4;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{6{\varpi }_2^4\left(\alpha +3\right)}\hfill \\ \hfill & -\frac{\alpha \left({\alpha }^2-1\right){}_2{F}_1\left(1,\alpha +2;\alpha +3;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{6{\varpi }_2^4\left(\alpha +2\right)}-\frac{({\varpi }_1+{\varpi }_2)({\varpi }_1(4\alpha -1)-{\varpi }_2)}{24{\varpi }_1^2{\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\varphi }_2\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{\left({\varpi }_1+{\varpi }_2\right)\left({\varpi }_1\alpha \left({\varpi }_1-{\varpi }_2+2{\varpi }_1\alpha \right)+\left({\varpi }_1+{\varpi }_2\right)\right)}{24{\varpi }_1^3{\varpi }_2^4}\hfill \\ \hfill & -\frac{\alpha (\alpha +1)(\alpha +2)\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,\alpha +3;\alpha +4;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{6{\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\varphi }_3\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{({\varpi }_1+{\varpi }_2)\left(\alpha {\varpi }_2({\varpi }_2-{\varpi }_1)+{({\varpi }_1+{\varpi }_2)}^2+2{\alpha }^2{\varpi }_2^2\right)}{24{\varpi }_1^4{\varpi }_2^3}\hfill \\ \hfill & -\frac{\alpha (\alpha +1)(\alpha +2)({\varpi }_1+{\varpi }_2)\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,1;\alpha +4;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{12{\varpi }_1^4{\varpi }_2},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\varphi }_4\left({\varpi }_1,{\varpi }_2,\alpha ;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{\left({\varpi }_1^2+2(1-2\alpha ){\varpi }_1{\varpi }_2\right)\left(\alpha +2\right)-(\alpha (4\alpha (\alpha +1)+3)-2){\varpi }_2^2}{24{\varpi }_1^4{\varpi }_2^2\left(\alpha +2\right)}\hfill \\ \hfill & +\frac{\alpha (\alpha +1)\Gamma (\alpha +3)(3{\varpi }_1+2\alpha {\varpi }_2+{\varpi }_2){}_2{\tilde{F}}_1\left(1,1;\alpha +4;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{12{\varpi }_1^4{\varpi }_2},\hfill \end{array}$$

$\alpha \in \left[0,1\right]$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 3.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$; then, the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\right.\\ \times {\left[{\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q+{\phi }_2\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]}^{\frac{1}{q}}+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \left.\times {\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left[{\phi }_3\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\phi }_4\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q\right]}^{\frac{1}{q}}\right\},\end{array}$$

(27)

where

$${\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{{\varpi }_2^{2-4q}-2{\varpi }_2^{1-4q}x-4{\varpi }_2^{2-4q}q+x^{2-4q}+4{\varpi }_2^{1-4q}qx}{2{\left({\varpi }_2-x\right)}^2\left(8q^2-6q+1\right)},$$

$${\phi }_2\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{{\varpi }_2^{-4q}{x}^{-4q}\left(x{\varpi }_2^{4q}({\varpi }_2(4q-2)-4qx+x)+{\varpi }_2^2{x}^{4q}\right)}{2\left(8q^2-6q+1\right){({\varpi }_2-x)}^2},$$

$${\phi }_3\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{{\varpi }_1^{-4q}{x}^{-4q}\left(x{\varpi }_1^{4q}({\varpi }_1(4q-2)-4qx+x)+{\varpi }_1^2{x}^{4q}\right)}{2\left(8q^2-6q+1\right){({\varpi }_1-x)}^2},$$

$${\phi }_4\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{{\varpi }_1^{-4q}{x}^{-4q}\left(x^2{\varpi }_1^{4q}-{\varpi }_1{x}^{4q}({\varpi }_1(4q-1)+(2-4q)x)\right)}{2\left(8q^2-6q+1\right){({\varpi }_1-x)}^2},$$

$p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Hölder’s inequality and using the fact that ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\hfill \left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left({\int }_0^1{t}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}\\ \hfill \times {\left({\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\\ \hfill +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}\\ \hfill \times {\left({\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}.\end{array}$$

(28)

It is easy to observe that

$${\int }_0^1{t}^{p\left(\alpha +1\right)}dt={\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt=\frac{1}{\alpha p+p+1}.$$

(29)

Since ${\left|f^{{}^{″}}\right|}^q$ is harmonic convex on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}{\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\\ \le {\int }_0^1\frac{\left[\left(1-t\right){\left|f^{{}^{″}}\left(x\right)\right|}^q+t{\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4q}}dt\\ =\left[\frac{{\varpi }_2^{2-4q}-2{\varpi }_2^{1-4q}x-4{\varpi }_2^{2-4q}q+x^{2-4q}+4{\varpi }_2^{1-4q}qx}{2{\left({\varpi }_2-x\right)}^2\left(8q^2-6q+1\right)}\right]{\left|f^{{}^{″}}\left(x\right)\right|}^q\\ +\left[\frac{{\varpi }_2^{-4q}{x}^{-4q}\left(x{\varpi }_2^{4q}({\varpi }_2(4q-2)-4qx+x)+{\varpi }_2^2{x}^{4q}\right)}{2\left(8q^2-6q+1\right){({\varpi }_2-x)}^2}\right]{\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\end{array}$$

(30)

and similarly, we obtain

$$\begin{array}{c}{\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\\ \le \left[\frac{{\varpi }_1^{-4q}{x}^{-4q}\left(x{\varpi }_1^{4q}({\varpi }_1(4q-2)-4qx+x)+{\varpi }_1^2{x}^{4q}\right)}{2\left(8q^2-6q+1\right){({\varpi }_1-x)}^2}\right]{\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q\\ +\left[\frac{{\varpi }_1^{-4q}{x}^{-4q}\left(x^2{\varpi }_1^{4q}-{\varpi }_1{x}^{4q}({\varpi }_1(4q-1)+(2-4q)x)\right)}{2\left(8q^2-6q+1\right){({\varpi }_1-x)}^2}\right]{\left|f^{{}^{″}}\left(x\right)\right|}^q.\end{array}$$

(31)

Applying (29)–(31) in (28), we obtain (27). □

Corollary 2.

In Theorem 3, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\\ \times \left\{{\varpi }_2^2{\left[{\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q+{\phi }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]}^{\frac{1}{q}}\right.\\ \left.+{\varpi }_1^2{\left[{\phi }_3\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\phi }_4\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q\right]}^{\frac{1}{q}}\right\},\end{array}$$

(32)

where

$${\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{4{\varpi }_1^2{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4q}+({\varpi }_1+{\varpi }_2){\varpi }_2^{-4q}({\varpi }_1(4q-3)-4{\varpi }_{2}q+{\varpi }_2)}{2\left(8q^2-6q+1\right){({\varpi }_1-{\varpi }_2)}^2},$$

$${\phi }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{{({\varpi }_1+{\varpi }_2)}^2{\varpi }_2^{-4q}}{2\left(8q^2-6q+1\right){({\varpi }_1-{\varpi }_2)}^2}-\frac{2{\varpi }_1{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4q}(2{\varpi }_{1}q-2{\varpi }_{2}q+{\varpi }_2)}{\left(8q^2-6q+1\right){({\varpi }_1-{\varpi }_2)}^2},$$

$${\phi }_3\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{{({\varpi }_1+{\varpi }_2)}^2{\varpi }_1^{-4q}}{2\left(8q^2-6q+1\right){({\varpi }_1-{\varpi }_2)}^2}-\frac{{\varpi }_2{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4q}({\varpi }_1(2-4q)+4{\varpi }_{2}q)}{\left(8q^2-6q+1\right){({\varpi }_1-{\varpi }_2)}^2},$$

$${\phi }_4\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{2{\varpi }_2^2{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4q}}{\left(8q^2-6q+1\right){({\varpi }_1-{\varpi }_2)}^2}-\frac{({\varpi }_1+{\varpi }_2){\varpi }_1^{-4q}((4q-1)({\varpi }_1-{\varpi }_2)+2{\varpi }_2)}{2\left(8q^2-6q+1\right){({\varpi }_1-{\varpi }_2)}^2},$$

$p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 4.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left[L_{-4p}^{-4p}\left({\varpi }_2,x\right)\right]}^{\frac{1}{p}}\\ \times {\left[\frac{{\left|f^{{}^{″}}\left(x\right)\right|}^q+(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q}{(\alpha q+q+1)(\alpha q+q+2)}\right]}^{\frac{1}{q}}+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\\ \times {\left[L_{-4p}^{-4p}\left(x,{\varpi }_1\right)\right]}^{\frac{1}{p}}{\left[\frac{(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\left|f^{{}^{″}}\left(x\right)\right|}^q}{(\alpha q+q+1)(\alpha q+q+2)}\right]}^{\frac{1}{q}},\end{array}$$

(33)

where $p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Hölder’s inequality and using the fact that ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left({\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4p}}dt\right)}^{\frac{1}{p}}\\ \times {\left({\int }_0^1{t}^{q\left(\alpha +1\right)}\left[\left(1-t\right){\left|f^{{}^{″}}\left(x\right)\right|}^q+t{\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]dt\right)}^{\frac{1}{q}}\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4p}}dt\right)}^{\frac{1}{p}}\\ \times {\left({\int }_0^1{\left(1-t\right)}^{q\left(\alpha +1\right)}\left[\left(1-t\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+t{\left|f^{{}^{″}}\left(x\right)\right|}^q\right]dt\right)}^{\frac{1}{q}}.\end{array}$$

(34)

It is easy to observe that

$${\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4p}}dt=\frac{x^{1-4p}-{\varpi }_2^{1-4p}}{\left(4p-1\right)\left({\varpi }_2-x\right)}$$

and

$${\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4p}}dt=\frac{{\varpi }_1^{1-4p}-x^{1-4p}}{\left(4p-1\right)\left(x-{\varpi }_1\right)}.$$

It is not difficult to notice that

$${\int }_0^1{t}^{q\left(\alpha +1\right)}\left(1-t\right)dt={\int }_0^{1}t{\left(1-t\right)}^{q\left(\alpha +1\right)}dt=\frac{1}{(\alpha q+q+1)(\alpha q+q+2)}$$

and

$${\int }_0^1{t}^{q\left(\alpha +1\right)+1}dt={\int }_0^1{\left(1-t\right)}^{q\left(\alpha +1\right)+1}dt=\frac{1}{\alpha q+q+2}$$

Hence, (34) leads to the proof of the inequality (33). □

Corollary 3.

In Theorem 4, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\hfill \\ \le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\left\{{\varpi }_2^2{\left[L_{-4p}^{-4p}\left({\varpi }_2,\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]}^{\frac{1}{p}}\right.\hfill \\ \times {\left[\frac{{\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q+(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q}{(\alpha q+q+1)(\alpha q+q+2)}\right]}^{\frac{1}{q}}+{\varpi }_1^2{\left[L_{-4p}^{-4p}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2},{\varpi }_1\right)\right]}^{\frac{1}{p}}\hfill \\ \left.\times {\left[\frac{(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q}{(\alpha q+q+1)(\alpha q+q+2)}\right]}^{\frac{1}{q}}\right\},\hfill \end{array}$$

(35)

where $p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 5.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$; then, the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \left\{\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\right.\hfill \\ \times \left[\frac{1}{p\left(\alpha p+p+1\right)}+\frac{{\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q+{\phi }_2\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q}{q}\right]\hfill \\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left[\frac{1}{p\left(\alpha p+p+1\right)}\right.\hfill \\ \left.\left.+\frac{{\phi }_3\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\phi }_4\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q}{q}\right]\right\},\hfill \end{array}$$

(36)

where ${\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)$, ${\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)$, ${\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)$, $and$${\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)$ are defined in Theorem 3, $p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right],$$q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Young inequality $xy\le \frac{x^p}{p}+\frac{y^q}{q}$ and using the harmonic convexity of ${\left|f^{{}^{″}}\right|}^q$ on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|dt\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|dt\\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\left[\frac{1}{p}{\int }_0^1{t}^{p\left(\alpha +1\right)}dt\right.\\ \left.+\frac{1}{q}{\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\right]+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\\ \times \left[\frac{1}{p}{\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt+\frac{1}{q}{\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\right].\end{array}$$

(37)

The integrals involved in (37) have already been evaluated in the proof of Theorem 3. This proves the proof of the result. □

Corollary 4.

In Theorem 3, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2}{{\left({\varpi }_1+{\varpi }_2\right)}^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\left\{{\varpi }_2^2\left[\frac{1}{p\left(\alpha p+p+1\right)}\right.\right.\\ \left.+\frac{{\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q+{\phi }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q}{q}\right]+{\varpi }_1^2\left[\frac{1}{p\left(\alpha p+p+1\right)}\right.\\ \left.\left.+\frac{{\phi }_3\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\phi }_4\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q}{q}\right]\right\},\end{array}$$

(38)

where ${\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)$, ${\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)$, ${\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)$, and ${\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)$ are defined in Theorem 3, $p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ is the normalization function and $\Gamma \left(\alpha \right)$ is the gamma function.

Theorem 6.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\right.\\ \times \left[\frac{x^{1-4p}-{\varpi }_2^{1-4p}}{p\left(4p-1\right)\left({\varpi }_2-x\right)}+\frac{{\left|f^{{}^{″}}\left(x\right)\right|}^q+(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q}{q(\alpha q+q+1)(\alpha q+q+2)}\right]+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \left.\times {\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left[\frac{{\varpi }_1^{1-4p}-x^{1-4p}}{p\left(4p-1\right)\left(x-{\varpi }_1\right)}\frac{(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\left|f^{{}^{″}}\left(x\right)\right|}^q}{q(\alpha q+q+1)(\alpha q+q+2)}\right]\right\},\end{array}$$

(39)

where $p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Young inequality $xy\le \frac{x^p}{p}+\frac{y^q}{q}$ and using the harmonic convexity of ${\left|f^{{}^{″}}\right|}^q$ on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|dt\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|dt\end{array}$$

$$\begin{array}{c}\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\left[\frac{1}{p}{\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4p}}dt\right.\\ \left.+\frac{1}{q}{\int }_0^1{t}^{q\left(\alpha +1\right)}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\right]\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left[\frac{1}{p}{\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4p}}dt\right.\\ \left.+\frac{1}{q}{\int }_0^1{\left(1-t\right)}^{q\left(\alpha +1\right)}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\right].\end{array}$$

(40)

After solving the integrals involved in (40), we obtain (39). □

Corollary 5.

In Theorem 3, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\right.\\ \times \left[\frac{x^{1-4p}-{\varpi }_2^{1-4p}}{p\left(4p-1\right)\left({\varpi }_2-x\right)}+\frac{{\left|f^{{}^{″}}\left(x\right)\right|}^q+(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q}{q(\alpha q+q+1)(\alpha q+q+2)}\right]+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \left.\times {\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left[\frac{{\varpi }_1^{1-4p}-x^{1-4p}}{p\left(4p-1\right)\left(x-{\varpi }_1\right)}\frac{(\alpha q+q+1){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\left|f^{{}^{″}}\left(x\right)\right|}^q}{q(\alpha q+q+1)(\alpha q+q+2)}\right]\right\},\end{array}$$

(41)

where $p^{-1}+q^{-1}=1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 7.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left[{\psi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)\right]}^{1-\frac{1}{q}}\\ \times {\left[{\psi }_2\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q+{\psi }_3\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]}^{\frac{1}{q}}+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\\ \left.\times {\left[{\psi }_4\left({\varpi }_1,{\varpi }_2,q;x\right)\right]}^{1-\frac{1}{q}}{\left[{\psi }_5\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\psi }_6\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q\right]}^{\frac{1}{q}}\right\},\end{array}$$

(42)

where

$$\begin{array}{cc}\hfill {\psi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)& =\frac{{\varpi }_2\left(-\alpha x({\varpi }_2+x)+{\varpi }_2(2{\varpi }_2+x)+{\alpha }^2{x}^2\right)}{6{\varpi }_2^4{x}^3}\hfill \\ \hfill & -\frac{\alpha \left({\alpha }^2-1\right)\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,\alpha +2;\alpha +3;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_2\left({\varpi }_1,{\varpi }_2,q;x\right)& =\frac{\alpha \left({\alpha }^2+3\alpha +2\right){}_2{F}_1\left(1,\alpha +3;\alpha +4;1-\frac{x}{{\varpi }_2}\right)}{6\left(\alpha +3\right){\varpi }_2^4}\hfill \\ \hfill & -\frac{\alpha \left({\alpha }^2-1\right){}_2{F}_1\left(1,\alpha +2;\alpha +3;1-\frac{x}{{\varpi }_2}\right)}{6\left(\alpha +2\right){\varpi }_2^4}+\frac{{\varpi }_2({\varpi }_2-2\alpha x)}{6{\varpi }_2^4{x}^2},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_3\left({\varpi }_1,{\varpi }_2,q;x\right)& =\frac{{\varpi }_2\left(2{\varpi }_2^2-\alpha {\varpi }_{2}x+\alpha (\alpha +1)x^2\right)}{6{\varpi }_2^4{x}^3}\hfill \\ \hfill & -\frac{\alpha (\alpha +1)(\alpha +2)\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,\alpha +3;\alpha +4;1-\frac{x}{{\varpi }_2}\right)}{6{\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_4\left({\varpi }_1,{\varpi }_2,q;x\right)& =\frac{{\varpi }_1(2{\varpi }_1+x)+{\alpha }^2{x}^2-\alpha x({\varpi }_1+x)}{6{\varpi }_1^3{x}^3}\hfill \\ \hfill & -\frac{\alpha \left({\alpha }^2-1\right)x^2\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,1;\alpha +3;1-\frac{{\varpi }_1}{x}\right)}{6{\varpi }_1^3{x}^3},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_5\left({\varpi }_1,{\varpi }_2,q;x\right)& =\frac{2{\varpi }_1^2-\alpha {\varpi }_{1}x+\alpha (\alpha +1)x^2}{6{\varpi }_1^3{x}^3}\hfill \\ \hfill & -\frac{\alpha (\alpha +1)(\alpha +2)x^2\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,1;\alpha +4;1-\frac{{\varpi }_1}{x}\right)}{6{\varpi }_1^3{x}^3},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_5\left({\varpi }_1,{\varpi }_2,q;x\right)& =\frac{\left({\varpi }_1^2-2\alpha {\varpi }_{1}x\right)\left(\alpha +2\right)-\alpha \left({\alpha }^2-1\right)x^2}{\alpha +2}\hfill \\ \hfill & +\frac{\alpha (\alpha +1)x\Gamma (\alpha +3)(3{\varpi }_1+(\alpha -1)x){}_2{\tilde{F}}_1\left(1,1;\alpha +4;1-\frac{{\varpi }_1}{x}\right)}{6{\varpi }_1^4{x}^2},\hfill \end{array}$$

$q\ge 1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying power-mean inequality and using the fact that ${\left|f^{{}^{″}}\right|}^q$ is a harmonic convex mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left({\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}dt\right)}^{1-\frac{1}{q}}\hfill \\ \times {\left({\int }_0^1\frac{t^{\alpha +1}\left[\left(1-t\right){\left|f^{{}^{″}}\left(x\right)\right|}^q+t{\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}dt\right)}^{\frac{1}{q}}\hfill \\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}dt\right)}^{1-\frac{1}{q}}\hfill \\ \times {\left({\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}\left[\left(1-t\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+t{\left|f^{{}^{″}}\left(x\right)\right|}^q\right]}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}dt\right)}^{\frac{1}{q}}.\hfill \end{array}$$

(43)

Evaluating the integrals involved in (43), we obtain (42). □

Corollary 6.

In Theorem 7, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\hfill \\ \times \left\{{\varpi }_2^2{\left[{\psi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]}^{1-\frac{1}{q}}\left[{\psi }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q\right.\right.\hfill \\ {\left.+{\psi }_3\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]}^{\frac{1}{q}}+{\varpi }_1^2{\left[{\psi }_4\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]}^{1-\frac{1}{q}}\hfill \\ \left.+{\left[{\psi }_5\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\psi }_6\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right){\left|f^{{}^{″}}\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right|}^q\right]}^{\frac{1}{q}}\right\},\hfill \end{array}$$

(44)

where

$$\begin{array}{cc}\hfill {\psi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{({\varpi }_1+{\varpi }_2)\left((\alpha (2\alpha -3)+2){\varpi }_1^2-(\alpha -3){\varpi }_1{\varpi }_2+{\varpi }_2^2\right)}{24{\varpi }_1^3{\varpi }_2^4}\hfill \\ \hfill & -\frac{4\alpha \left({\alpha }^2-1\right)\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,\alpha +2;\alpha +3;1-\frac{2{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{24{\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{({\varpi }_1+{\varpi }_2)({\varpi }_1(4\alpha -1)-{\varpi }_2)}{24{\varpi }_1^2{\varpi }_2^4}\hfill \\ \hfill & +\frac{\alpha \left({\alpha }^2-1\right){}_2{F}_1\left(1,\alpha +2;\alpha +3;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{6\left(\alpha +2\right){\varpi }_2^4}\hfill \\ \hfill & -\frac{\alpha \left({\alpha }^2+3\alpha +2\right){}_2{F}_1\left(1,\alpha +3;\alpha +4;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{6\left(\alpha +3\right){\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_3\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{({\varpi }_1+{\varpi }_2)\left(2{\varpi }_1^2{\alpha }^2+{\varpi }_1\alpha ({\varpi }_1-{\varpi }_2)+{({\varpi }_1+{\varpi }_2)}^2\right)}{24{\varpi }_1^3{\varpi }_2^4}\hfill \\ \hfill & -\frac{4\alpha (\alpha +1)(\alpha +2)\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,\alpha +3;\alpha +4;1-\frac{2{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{24{\varpi }_2^4},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_4\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{({\varpi }_1+{\varpi }_2)\left({\varpi }_1^2+(\alpha (2\alpha -3)+2){\varpi }_2^2-(\alpha -3){\varpi }_1{\varpi }_2\right)}{24{\varpi }_1^4{\varpi }_2^3}\hfill \\ \hfill & -\frac{2\alpha \left({\alpha }^2-1\right)({\varpi }_1+{\varpi }_2){\varpi }_2^2\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,1;\alpha +3;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{24{\varpi }_1^4{\varpi }_2^3},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_5\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{\alpha {\varpi }_2({\varpi }_2-{\varpi }_1)+{({\varpi }_1+{\varpi }_2)}^2+2{\alpha }^2{\varpi }_2^2}{24{\varpi }_1^4{\varpi }_2^3}\hfill \\ \hfill & -\frac{2\alpha (\alpha +1)(\alpha +2)({\varpi }_1+{\varpi }_2){\varpi }_2^2\Gamma (\alpha +3){}_2{\tilde{F}}_1\left(1,1;\alpha +4;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{24{\varpi }_1^4{\varpi }_2^3},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\psi }_6\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{\left(\alpha +2\right)\left({\varpi }_1^2+2(1-2\alpha ){\varpi }_1{\varpi }_2\right)-(\alpha (4\alpha (\alpha +1)+3)-2){\varpi }_2^2}{\alpha +2}\hfill \\ \hfill & +\frac{2\alpha (\alpha +1){\varpi }_2\Gamma (\alpha +3)(3{\varpi }_1+2\alpha {\varpi }_2+{\varpi }_2){}_2{\tilde{F}}_1\left(1,1;\alpha +4;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{24{\varpi }_1^4{\varpi }_2^2},\hfill \end{array}$$

$q\ge 1$, $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

We mention here an important result to prove our next results for concave functions.

Theorem 8.

Let $h:I\subset \left(0,\infty \right)\to \mathbb{R}$ be an HA convex function and $\left[{\varpi }_1,{\varpi }_2\right]\subset I^{\circ }$ (the interior of I). Assume also that $w\left(t\right)\ge 0$ a.e. on $\left[{\varpi }_1,{\varpi }_2\right]$ with ${\int }_{{\varpi }_1}^{{\varpi }_2}w\left(t\right)dt>0$, then

$$h\left(\frac{{\int }_{{\varpi }_1}^{{\varpi }_2}w\left(t\right)dt}{{\int }_{{\varpi }_1}^{{\varpi }_2}\frac{w\left(t\right)}{t}dt}\right)\le \frac{{\int }_{{\varpi }_1}^{{\varpi }_2}h\left(t\right)w\left(t\right)dt}{{\int }_{{\varpi }_1}^{{\varpi }_2}w\left(t\right)dt}.$$

Theorem 9.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$; then, the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\left|f^{{}^{″}}\left({\kappa }_1\left({\varpi }_1,{\varpi }_2,q;x\right)\right)\right|\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left|f^{{}^{″}}\left({\kappa }_2\left({\varpi }_1,{\varpi }_2,q;x\right)\right)\right|,\end{array}$$

(45)

where

$${\kappa }_1\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{\alpha (\alpha +1)x^2\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,\alpha +2;\alpha +3;1-\frac{x}{{\varpi }_2}\right)+{\varpi }_2({\varpi }_2-\alpha x)}{2{\varpi }_2^2{x}^2},$$

$${\kappa }_2\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{\alpha (\alpha +1)x\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,1;\alpha +3;1-\frac{{\varpi }_1}{x}\right)+{\varpi }_1-\alpha x}{2{\varpi }_{1}x},$$

$x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Jensen’s inequality for harmonic convex mappings and using the fact that if ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$ then $\left|f^{{}^{″}}\right|$ is a also a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|dt\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\int }_0^1\frac{{\left(1-t\right)}^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^4}\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|dt\\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{{\int }_0^1\frac{t^{\alpha +1}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^3}}\right)\right|dt\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{{\int }_0^1\frac{t^{\alpha +1}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^3}}\right)\right|dt.\end{array}$$

(46)

Evaluating the integrals involved in (46), we obtain (45). □

Corollary 7.

In Theorem 7, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\hfill \\ \times \left\{{\varpi }_2^2\left|f^{{}^{″}}\left({\kappa }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right)\right|+{\varpi }_1^2\left|f^{{}^{″}}\left({\kappa }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right)\right|\right\},\hfill \end{array}$$

(47)

where

$$\begin{array}{cc}\hfill & {\kappa }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\hfill \\ \hfill & =\frac{({\varpi }_1+{\varpi }_2)({\varpi }_1+{\varpi }_2-2\alpha {\varpi }_1)+4{\varpi }_1\alpha (\alpha +1)\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,\alpha +2;\alpha +3;1-\frac{2{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{4{\varpi }_1{\varpi }_2({\varpi }_1+{\varpi }_2)},\hfill \end{array}$$

$${\kappa }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{2\alpha (\alpha +1){\varpi }_2\Gamma (\alpha +2){}_2{\tilde{F}}_1\left(1,1;\alpha +3;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)+{\varpi }_1-2\alpha {\varpi }_2+{\varpi }_2}{4{\varpi }_1{\varpi }_2},$$

$x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 10.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left[{\upsilon }_1\left({\varpi }_1,{\varpi }_2,q;x\right)\right]}^{\frac{1}{p}}\left|f^{{}^{″}}\left(\frac{2{\varpi }_2^2{x}^2}{{\varpi }_2+x}\right)\right|\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left[{\upsilon }_2\left({\varpi }_1,{\varpi }_2,q;x\right)\right]}^{\frac{1}{p}}\left|f^{{}^{″}}\left(\frac{2{\varpi }_1^2{x}^2}{x+{\varpi }_1}\right)\right|,\end{array}$$

(48)

where

$${\upsilon }_1\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{{\varpi }_2^{-4p}{}_2{F}_1\left(4p,\alpha p+p+1;\alpha p+p+2;1-\frac{x}{{\varpi }_2}\right)}{\alpha p+p+1},$$

$${\upsilon }_2\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{x^{-4p}{}_2{F}_1\left(1,4p;\alpha p+p+2;1-\frac{{\varpi }_1}{x}\right)}{\alpha p+p+1},$$

$x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Hölder’s inequality, using Jensen’s inequality for harmonic convex mappings and using the fact that if ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left({\int }_0^1\frac{t^{p\left(\alpha +1\right)}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4p}}dt\right)}^{\frac{1}{p}}{\left({\int }_0^1{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1\frac{{\left(1-t\right)}^{p\left(\alpha +1\right)}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4p}}dt\right)}^{\frac{1}{p}}\end{array}$$

(49)

$$\begin{array}{c}\times {\left({\int }_0^1{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left({\int }_0^1\frac{t^{p\left(\alpha +1\right)}}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4p}}dt\right)}^{\frac{1}{p}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{{\int }_0^{1}tx+\left(1-t\right){\varpi }_{2}dt}\right)\right|}^q+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \times {\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1\frac{{\left(1-t\right)}^{p\left(\alpha +1\right)}}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4p}}dt\right)}^{\frac{1}{p}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{{\int }_0^{1}t{\varpi }_1+\left(1-t\right)xdt}\right)\right|}^q.\end{array}$$

Evaluating the integrals involved in (49), we obtain (48). □

Corollary 8.

In Theorem 7, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^{2}B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\\ \times \left\{{\varpi }_2^2{\left[{\upsilon }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]}^{\frac{1}{p}}\left|f^{{}^{″}}\left(\frac{8{\varpi }_1^2{\varpi }_2^3}{\left(3{\varpi }_1+{\varpi }_2\right)\left({\varpi }_1+{\varpi }_2\right)}\right)\right|\right.\\ \left.+{\varpi }_1^2{\left[{\upsilon }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]}^{\frac{1}{p}}\left|f^{{}^{″}}\left(\frac{8{\varpi }_1^3{\varpi }_2^2}{\left({\varpi }_1+{\varpi }_2\right)\left({\varpi }_1+3{\varpi }_2\right)}\right)\right|\right\},\end{array}$$

(50)

where

$${\upsilon }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{{\varpi }_2^{-4p}{}_2{F}_1\left(4p,\alpha p+p+1;\alpha p+p+2;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{\alpha p+p+1},$$

$${\upsilon }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{2^{-4p}{\left(\frac{{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4p}{}_2{F}_1\left(1,4p;\alpha p+p+2;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{\alpha p+p+1},$$

$x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 11.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\\ \times \left\{\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left|f^{{}^{″}}\left(\frac{2{\varpi }_{2}x\left(1-2q\right)\left({\varpi }_2-x\right)}{{\varpi }_2^{2-4q}-x^{2-4q}}\right)\right|}^q\right.\\ \left.+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left|f^{{}^{″}}\left(\frac{2{\varpi }_{1}x\left(1-2q\right)\left({\varpi }_1-x\right)}{{\varpi }_1^{2-4q}-x^{2-4q}}\right)\right|}^q\right\},\end{array}$$

(51)

where $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Hölder’s inequality, using Jensen’s inequality for harmonic convex mappings and using the fact that if ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left({\int }_0^1{t}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}{\left({\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}\\ \times {\left({\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left({\int }_0^1{t}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{{\int }_0^1{\left(tx+\left(1-t\right){\varpi }_2\right)}^{1-4q}dt}\right)\right|}^q+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \times {\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{{\int }_0^1{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{1-4q}dt}\right)\right|}^q.\end{array}$$

(52)

Evaluating the integrals involved in (52), we obtain (51). □

Corollary 9.

In Theorem 7, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right){\left({\varpi }_1+{\varpi }_2\right)}^2}{\left(\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\\ \times {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{{\varpi }_2^2\left|f^{{}^{″}}\left(\frac{4\left(1-2q\right){\varpi }_1{\varpi }_2^3{\left({\varpi }_1+{\varpi }_2\right)}^{4q}\left({\varpi }_2-{\varpi }_1\right)}{{\varpi }_2^{2-4q}{\left({\varpi }_1+{\varpi }_2\right)}^{2-4q}-{\left(2{\varpi }_1{\varpi }_2\right)}^{2-4q}}\right)\right|\right.\\ \left.+{\varpi }_1^2\left|f^{{}^{″}}\left(\frac{4\left(1-2q\right){\varpi }_1^3{\varpi }_2{\left({\varpi }_1+{\varpi }_2\right)}^{4q}\left({\varpi }_2-{\varpi }_1\right)}{{\left(2{\varpi }_1{\varpi }_2\right)}^{2-4q}-{\varpi }_1^{2-4q}{\left({\varpi }_1+{\varpi }_2\right)}^{2-4q}}\right)\right|\right\},\end{array}$$

(53)

where $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 12.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\\ \times \left\{\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left|f^{{}^{″}}\left(\frac{2{\varpi }_{2}x\left(1-2q\right)\left({\varpi }_2-x\right)}{{\varpi }_2^{2-4q}-x^{2-4q}}\right)\right|}^q\right.\\ \left.+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left|f^{{}^{″}}\left(\frac{2{\varpi }_{1}x\left(1-2q\right)\left({\varpi }_1-x\right)}{{\varpi }_1^{2-4q}-x^{2-4q}}\right)\right|}^q\right\},\end{array}$$

(54)

where $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Hölder’s inequality, using Jensen’s inequality for harmonic concave mappings and using the fact that if ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left({\int }_0^1{t}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}{\left({\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}\\ \times {\left({\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4q}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left({\int }_0^1{t}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{{\int }_0^1{\left(tx+\left(1-t\right){\varpi }_2\right)}^{1-4q}dt}\right)\right|}^q+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \times {\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{{\int }_0^1{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{1-4q}dt}\right)\right|}^q.\end{array}$$

(55)

Evaluating the integrals involved in (52), we obtain (51). □

Corollary 10.

In Theorem 12, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right){\left({\varpi }_1+{\varpi }_2\right)}^2}{\left(\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\\ \times {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{{\varpi }_2^2\left|f^{{}^{″}}\left(\frac{4\left(1-2q\right){\varpi }_1{\varpi }_2^3{\left({\varpi }_1+{\varpi }_2\right)}^{4q}\left({\varpi }_2-{\varpi }_1\right)}{{\varpi }_2^{2-4q}{\left({\varpi }_1+{\varpi }_2\right)}^{2-4q}-{\left(2{\varpi }_1{\varpi }_2\right)}^{2-4q}}\right)\right|\right.\\ \left.+{\varpi }_1^2\left|f^{{}^{″}}\left(\frac{4\left(1-2q\right){\varpi }_1^3{\varpi }_2{\left({\varpi }_1+{\varpi }_2\right)}^{4q}\left({\varpi }_2-{\varpi }_1\right)}{{\left(2{\varpi }_1{\varpi }_2\right)}^{2-4q}-{\varpi }_1^{2-4q}{\left({\varpi }_1+{\varpi }_2\right)}^{2-4q}}\right)\right|\right\},\end{array}$$

(56)

where $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Theorem 13.

Let $f:I\subseteq \left(0,\infty \right)\to \mathbb{R}$ be differentiable mapping on $I^{\circ }$ (the interior of I) and ${\varpi }_1,{\varpi }_2\in I^{\circ }$ with ${\varpi }_1<{\varpi }_2$. If $f^{{}^{″}}\in L_1\left[{\varpi }_1,{\varpi }_2\right]$ and ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, then the following inequality for Atangana–Baleanu fractional integral operators holds

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le {\left(\frac{{\varpi }_2^{1-4p}-x^{1-4p}}{\left(1-4p\right)\left({\varpi }_2-x\right)}\right)}^{\frac{1}{p}}\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x\left(q+q\alpha +1\right)\left(q+q\alpha +2\right)}{{\varpi }_2+x+qx+qx\alpha }\right)\right|}^q+{\left(\frac{{\varpi }_1^{1-4p}-x^{1-4p}}{\left(1-4p-1\right)\left({\varpi }_1-x\right)}\right)}^{\frac{1}{p}}\\ \left.\times \frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x\left(q+q\alpha +1\right)\left(q+q\alpha +2\right)}{{\varpi }_1+x+qx+qx\alpha }\right)\right|}^q\right\},\end{array}$$

(57)

where $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Proof. 

Taking the absolute value on both sides of Lemma 1, applying Hölder’s inequality, using Jensen’s inequality for harmonic concave mappings and using the fact that if ${\left|f^{{}^{″}}\right|}^q$ is a harmonic-concave mapping on $\left[{\varpi }_1,{\varpi }_2\right]$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|\le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\\ \times {\left({\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4p}}dt\right)}^{\frac{1}{p}}{\left({\int }_0^1{t}^{q\left(\alpha +1\right)}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{tx+\left(1-t\right){\varpi }_2}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left({\int }_0^1\frac{1}{{\left(t{\varpi }_1+\left(1-t\right)x\right)}^{4p}}dt\right)}^{\frac{1}{p}}\\ \times {\left({\int }_0^1{\left(1-t\right)}^{q\left(\alpha +1\right)}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{t{\varpi }_1+\left(1-t\right)x}\right)\right|}^{q}dt\right)}^{\frac{1}{q}}\\ \le \frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}{\left({\int }_0^1\frac{1}{{\left(tx+\left(1-t\right){\varpi }_2\right)}^{4p}}dt\right)}^{\frac{1}{p}}\\ \times {\left|f^{{}^{″}}\left(\frac{{\varpi }_{2}x}{{\int }_0^1{t}^{q\left(\alpha +1\right)}\left(tx+\left(1-t\right){\varpi }_2\right)dt}\right)\right|}^q+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\\ {\left({\int }_0^1{\left(1-t\right)}^{p\left(\alpha +1\right)}dt\right)}^{\frac{1}{p}}{\left|f^{{}^{″}}\left(\frac{{\varpi }_{1}x}{{\int }_0^1{\left(1-t\right)}^{q\left(\alpha +1\right)}\left(t{\varpi }_1+\left(1-t\right)x\right)dt}\right)\right|}^q.\end{array}$$

(58)

Evaluating the integrals involved in (52), we obtain (51). □

Corollary 11.

In Theorem 7, especially when we take $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$, we obtain

$$\begin{array}{c}\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_1{\varpi }_2}}^{\alpha }\right)\right|\le \frac{2{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right){\left({\varpi }_1+{\varpi }_2\right)}^2}{\left(\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1{\varpi }_2}\right)}^{\alpha +1}\\ \times {\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{{\varpi }_2^2\left|f^{{}^{″}}\left(\frac{4\left(1-2q\right){\varpi }_1{\varpi }_2^3{\left({\varpi }_1+{\varpi }_2\right)}^{4q}\left({\varpi }_2-{\varpi }_1\right)}{{\varpi }_2^{2-4q}{\left({\varpi }_1+{\varpi }_2\right)}^{2-4q}-{\left(2{\varpi }_1{\varpi }_2\right)}^{2-4q}}\right)\right|\right.\\ \left.+{\varpi }_1^2\left|f^{{}^{″}}\left(\frac{4\left(1-2q\right){\varpi }_1^3{\varpi }_2{\left({\varpi }_1+{\varpi }_2\right)}^{4q}\left({\varpi }_2-{\varpi }_1\right)}{{\left(2{\varpi }_1{\varpi }_2\right)}^{2-4q}-{\varpi }_1^{2-4q}{\left({\varpi }_1+{\varpi }_2\right)}^{2-4q}}\right)\right|\right\},\end{array}$$

(59)

where $x\in \left[{\varpi }_1,{\varpi }_2\right]$, $\alpha \in \left[0,1\right]$, $q>1$, $B\left(\alpha \right)$ and $\Gamma \left(\alpha \right)$ are the normalization and gamma function, respectively.

Now, we provide some examples to show the validity of the results that have been proved so far.

Example 1.

By using the all conditions of Theorem 2 and $f:\left[{\varpi }_1,{\varpi }_2\right]\subset \left(0,\infty \right)\to \mathbb{R}$ be defined as $f\left(t\right)=t^2$. Then, f is a harmonically convex on $\left[{\varpi }_1,{\varpi }_2\right]$. Suppose that $\alpha =1$, $B\left(\alpha \right)=B\left(1\right)=1$ and $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$; then

$$\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|=-\frac{{(u-v)}^2\left(u^2(24v+1)+uv(24v+29)+18v^2\right)}{48u^3{v}^4}.$$

(60)

And

$$\begin{array}{c}\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\left[{\varphi }_1\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left(x\right)\right|+{\varphi }_2\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left({\varpi }_2\right)\right|\right]\\ +\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}\left[{\varphi }_3\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left({\varpi }_1\right)\right|+{\varphi }_4\left({\varpi }_1,{\varpi }_2,\alpha ;x\right)\left|f^{{}^{″}}\left(x\right)\right|\right]\\ =\frac{4{\varpi }_1{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^2}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^2\\ \times \left[{\varpi }_2^2\left\{{\varphi }_1\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)+{\varphi }_2\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right\}\right.\\ \left.+{\varpi }_1^2\left\{{\varphi }_3\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)+{\varphi }_4\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right\}\right],\end{array}$$

(61)

where

$${\varphi }_1\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{\left({\varpi }_2-3{\varpi }_1\right)}{24{\varpi }_2^4{\varpi }_1^2}+\frac{6{}_2{F}_1\left(1,4;5;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{24{\varpi }_2^4},$$

$${\varphi }_2\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{2\left(4{\varpi }_1^2+{\varpi }_1{\varpi }_2+{\varpi }_2^2\right)}{48{\varpi }_2^4{\varpi }_1^3}-\frac{6{}_2{\tilde{F}}_1\left(1,4;5;\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)}{{\varpi }_2^4},$$

$${\varphi }_3\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{2{\varpi }_1^2\left({\varpi }_1^2+{\varpi }_1{\varpi }_2+4{\varpi }_2^2\right)}{6{\varpi }_1^6{\varpi }_2^3}-\frac{6{}_2{\tilde{F}}_1\left(1,1;5;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{{\varpi }_1^3},$$

$$\begin{array}{cc}\hfill {\varphi }_4\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)& =\frac{\left({\varpi }_1-3{\varpi }_2\right)\left({\varpi }_1+{\varpi }_2\right)}{72{\varpi }_1^4{\varpi }_2^2}\hfill \\ \hfill & +\frac{3\left({\varpi }_1+{\varpi }_2\right){}_2{\tilde{F}}_1\left(1,1;5;\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_2}\right)}{2{\varpi }_1^4{\varpi }_2}.\hfill \end{array}$$

Thus

$$\begin{array}{c}=\frac{4{\varpi }_1{\varpi }_2^3\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^2}{\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^2\left[{\varphi }_1\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)+{\varphi }_2\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]\end{array}$$

$$\begin{array}{c}+\frac{4{\varpi }_2{\varpi }_1^3\left({\varpi }_2-{\varpi }_1\right)}{{\left({\varpi }_1+{\varpi }_2\right)}^2}\left[{\varphi }_3\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)+{\varphi }_4\left({\varpi }_1,{\varpi }_2,1;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]\\ =\frac{1}{72{\varpi }_1^6{\varpi }_2^3({\varpi }_1-{\varpi }_2){({\varpi }_1+{\varpi }_2)}^2}\left[-{\varpi }_1^9+{\varpi }_1^8(6{\varpi }_2-3)+{\varpi }_1^7{\varpi }_2\left(-264{\varpi }_2^2+55{\varpi }_2+6\right)\right.\\ +{\varpi }_1^6{\varpi }_2^2\left(72{\varpi }_2^2+52{\varpi }_2-21\right)+3{\varpi }_1^5{\varpi }_2^3\left(24{\varpi }_2^2-9{\varpi }_2+20\right)\\ +{\varpi }_1^4{\varpi }_2^4\left(120{\varpi }_2^2-58{\varpi }_2-141\right)-507{\varpi }_1^2{\varpi }_2^6+360{\varpi }_1{\varpi }_2^7-96{\varpi }_2^8\\ \left.-9{\varpi }_1^3{\varpi }_2^5(3{\varpi }_2-38)+36{\varpi }_1^3{\varpi }_2^2{({\varpi }_1+{\varpi }_2)}^3({\varpi }_1(4{\varpi }_2-1)-{\varpi }_2)ln\left(\frac{{\varpi }_1+{\varpi }_2}{2{\varpi }_2}\right)\right].\end{array}$$

(62)

If we choose $1\le {\varpi }_1\le 8$ and $9\le {\varpi }_2\le 18$, then the graph below validates the result of Theorem 2.

Example 2.

By using all the conditions of Theorem 3 and $f:\left[{\varpi }_1,{\varpi }_2\right]\subset \left(0,\infty \right)\to \mathbb{R}$ be defined as $f\left(t\right)=t^2$. Then, f is a harmonically convex on $\left[{\varpi }_1,{\varpi }_2\right]$. Suppose that $\alpha =1$, $B\left(\alpha \right)=B\left(1\right)=1$, $x=\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}$ and $q=\frac{4}{3}$, then

$$\left|{\Phi }_{f\circ h}\left({}_{\frac{1}{{\varpi }_1}}^{AB}{I}_{\frac{1}{x}}^{\alpha }{,}_{\frac{1}{{\varpi }_2}}^{AB}{I}_{\frac{1}{x}}^{\alpha }\right)\right|=-\frac{{(u-v)}^2\left(u^2(24v+1)+uv(24v+29)+18v^2\right)}{48u^3{v}^4}.$$

(63)

And

$$\begin{array}{c}{\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{\frac{{\varpi }_{2}x\left({\varpi }_2-x\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}{\left(\frac{{\varpi }_2-x}{{\varpi }_{2}x}\right)}^{\alpha +1}\right.\\ \times {\left[{\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q+{\phi }_2\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_2\right)\right|}^q\right]}^{\frac{1}{q}}+\frac{{\varpi }_{1}x\left(x-{\varpi }_1\right)}{B\left(\alpha \right)\Gamma \left(\alpha \right)}\\ \left.\times {\left(\frac{x-{\varpi }_1}{x{\varpi }_1}\right)}^{\alpha +1}{\left[{\phi }_3\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left({\varpi }_1\right)\right|}^q+{\phi }_4\left({\varpi }_1,{\varpi }_2,q;x\right){\left|f^{{}^{″}}\left(x\right)\right|}^q\right]}^{\frac{1}{q}}\right\},\\ =2{\left(\frac{1}{\alpha p+p+1}\right)}^{\frac{1}{p}}\left\{\frac{2{\varpi }_1{\varpi }_2^3}{{\varpi }_1+{\varpi }_2}\left(\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right){\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^2\right.\\ \times {\left[{\phi }_1\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)+{\phi }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]}^{\frac{1}{q}}+\frac{2{\varpi }_1^3{\varpi }_2}{{\varpi }_1+{\varpi }_2}\left(\frac{{\varpi }_2-{\varpi }_1}{{\varpi }_1+{\varpi }_2}\right)\\ \left.\times {\left(\frac{{\varpi }_2-{\varpi }_1}{2{\varpi }_1{\varpi }_2}\right)}^2{\left[{\phi }_3\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)+{\phi }_4\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right]}^{\frac{1}{q}}\right\}.\end{array}$$

$$\begin{array}{c}\hfill =\frac{v^2{\left(\frac{q-1}{3q-1}\right)}^{\frac{q-1}{q}}{(v-u)}^3}{uv{(u+v)}^2}{\left(\frac{2^{-8q}{v}^{-4q}{\left(\frac{uv}{u+v}\right)}^{-8q}\left(\begin{array}{c}{u}^2\left(\begin{array}{c}{v}^{4q}\left(2^{4q+2}q{\left(\frac{uv}{u+v}\right)}^{4q}+2\right)\\ +{256}^q(2q-1){\left(\frac{uv}{u+v}\right)}^{8q}\end{array}\right)\\ +2^{4q+1}(2q-1)u{v}^{4q+1}{\left(\frac{uv}{u+v}\right)}^{4q}\\ -{256}^q(2q-1)v^2{\left(\frac{uv}{u+v}\right)}^{8q}\end{array}\right)}{\left(8q^2-6q+1\right){(u-v)}^2}\right)}^{1/q}\\ \hfill +\frac{u^2{\left(\frac{q-1}{3q-1}\right)}^{\frac{q-1}{q}}{(v-u)}^3}{uv{(u+v)}^2}{\left(\frac{v{u}^{-4q}+u^{1-4q}-2^{1-4q}v{\left(\frac{uv}{u+v}\right)}^{-4q}}{-4qu+4qv+u-v}\right)}^{1/q},\end{array}$$

(64)

where

$$\begin{array}{c}{\phi }_1\left({\varpi }_1,{\varpi }_2,q;x\right)=\frac{{\left({\varpi }_1+{\varpi }_2\right)}^2}{2{\varpi }_2^2{\left({\varpi }_2-{\varpi }_1\right)}^2\left(8q^2-6q+1\right)}\hfill \\ \hfill \times \left(\left(1-4q\right){\varpi }_2^{2-4q}-\frac{4{\varpi }_1{\varpi }_2^{2-4q}}{{\varpi }_1+{\varpi }_2}+{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{2-4q}+\frac{8q{\varpi }_1{\varpi }_2^{2-4q}}{{\varpi }_1+{\varpi }_2}\right),\end{array}$$

$$\begin{array}{c}{\phi }_2\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{{\varpi }_2^{-4q}{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4q+1}}{2\left(8q^2-6q+1\right){\left(\frac{{\varpi }_2\left({\varpi }_2-{\varpi }_1\right)}{{\varpi }_1+{\varpi }_2}\right)}^2}\hfill \\ \hfill \times \left({\varpi }_2^{4q}\left({\varpi }_2(4q-2)+\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\left(1-4q\right)\right)+{\varpi }_2^2{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{4q-1}\right),\end{array}$$

$$\begin{array}{c}{\phi }_3\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{{\varpi }_1^{-4q}{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4q}}{2\left(8q^2-6q+1\right){\left(\frac{{\varpi }_1\left({\varpi }_2-{\varpi }_1\right)}{{\varpi }_1+{\varpi }_2}\right)}^2}\hfill \\ \hfill \times \left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}{\varpi }_1^{4q}({\varpi }_1(4q-2)+\frac{2\left(1-4q\right){\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2})+{\varpi }_1^2{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{4q}\right),\end{array}$$

$$\begin{array}{c}{\phi }_4\left({\varpi }_1,{\varpi }_2,q;\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)=\frac{{\varpi }_1^{-4q}{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{-4q}}{2\left(8q^2-6q+1\right){\left(\frac{{\varpi }_1\left({\varpi }_2-{\varpi }_1\right)}{{\varpi }_1+{\varpi }_2}\right)}^2}\hfill \\ \hfill \times \left({\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^2{\varpi }_1^{4q}-{\varpi }_1{\left(\frac{2{\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)}^{4q}\left({\varpi }_1(4q-1)+\frac{4(1-2q){\varpi }_1{\varpi }_2}{{\varpi }_1+{\varpi }_2}\right)\right).\end{array}$$

If we choose $1\le {\varpi }_1\le 8$ and $9\le {\varpi }_2\le 18$, then the graph below validates the result of Theorem 3.