1 Introduction

Mathematics has basically started its adventure as a theoretical field with the efforts of researchers for centuries, and has continuously aimed to formulate events and phenomena in various fields such as physics, engineering, modeling, and mathematical biology into a form that can be calculated. Not content with this, it has always been looking for more effective and original solutions to problems. Fractional analysis is also one of the important tools that serve mathematics to find solutions to real world problems. In fact, recent studies have shown that fractional analysis serves this purpose more than classical analysis. The basic working principle of fractional analysis is to introduce new fractional derivatives and integral operators and to analyze the advantages of these operators with the help of real world problem solutions, modeling studies, and comparisons. New fractional derivatives and related integral operators are a quest to gain momentum to fractional analysis and to gain the most effective operators to the literature. This search is a dynamic process, and different features of kernel structures, time memory effect, and the desire to reach general forms are factors that differentiate fractional operators in this dynamic process. We will now take a look at some of the basic concepts of fractional analysis and build the basis for our work.

Definition 1

(see [1])

Let \(\vartheta \in L [ \varphi _{1},\varphi _{2} ] \). The Riemann–Liouville integrals \(J_{\varphi _{1}+}^{\zeta }\vartheta \) and \(J_{\varphi _{2}-}^{\zeta }\vartheta \) of order \(\zeta >0\) with \(\varphi _{1},\varphi _{2}\geq 0\) are defined by

$$\begin{aligned} \bigl(J_{\varphi _{1}{+}}^{\zeta }\bigr)\vartheta (y)= \frac{1}{\Gamma (\zeta )}\int _{\varphi _{1}}^{y}(y-\sigma )^{\zeta -1}\vartheta ( \sigma )\,d \sigma;\quad y>\varphi _{1}, \end{aligned}$$

and

$$\begin{aligned} \bigl(J_{\varphi _{2}-}^{\zeta }\bigr)\vartheta (y)=\frac{1}{\Gamma (\zeta )}\int _{y}^{\varphi _{2}}(\sigma -y)^{\zeta -1}\vartheta ( \sigma )\,d \sigma;\quad y< \varphi _{2}, \end{aligned}$$

respectively, where \(\Gamma (\cdot)\) is the gamma function and \((J_{\varphi _{1}^{+}}^{0})\vartheta (y)=(J_{\varphi _{2}-}^{0}) \vartheta (y)=\vartheta (y)\).

The Riemann–Liouville fractional integral operator is a very useful operator and has been applied to many problems by researchers in both mathematical analysis and applied mathematics (see [2–4]). For many years, Caputo derivative and Riemann–Liouville integrals have been the best known operators in fractional analysis. Recently, the development of new fractional operators has accelerated and comparisons have been made by taking these operators as reference. We will now proceed with the definition of a new fractional integral operator that contains the kernel of the Riemann–Liouville integral operator.

Definition 2

(see [5])

The fractional integral related to the new fractional derivative with nonlocal kernel of a mapping \(\vartheta \in H^{1}(\varphi _{1},\varphi _{2})\) is defined as follows:

$$\begin{aligned} _{ \varphi _{1}}^{AB}I_{t}^{\zeta } \bigl\{ \vartheta (t) \bigr\} =\frac{1-\zeta }{B(\zeta )}\vartheta (t)+ \frac{\zeta }{B(\zeta )\Gamma (\zeta )}\int _{\varphi _{1}}^{t}\vartheta (\sigma ) (t-\sigma )^{\zeta -1}\,d \sigma, \end{aligned}$$

where \(\varphi _{2}>\varphi _{1}\), \(\zeta \in [ 0,1]\).

In [6], the authors gave the right-hand side of integral operator as follows:

$$\begin{aligned} \bigl( {}^{AB}I_{\varphi _{2}}^{\zeta } \bigr) \bigl\{ \vartheta (t) \bigr\} =\frac{1-\zeta }{B(\zeta )}\vartheta (t)+ \frac{\zeta }{B(\zeta )\Gamma (\zeta )} \int _{t}^{\varphi _{2}} \vartheta (\sigma ) (\sigma -t)^{\zeta -1}\,d\sigma. \end{aligned}$$

Here, \(\Gamma (\zeta )\) is the gamma function. Due to \(B(\zeta )>0\) that is called the normalization function, this yields that the fractional Atangana–Baleanu integral of a positive function is positive. It should be noted that, when the order \(\zeta \longrightarrow 1\), we recapture the standard integral. Also, the original function is recovered whenever the fractional order \(\zeta \longrightarrow 0\).

This interesting integral operator owes its strong kernel to its associated fractional derivative operator. The Atangana–Baleanu fractional derivative operator is a nonsingular and nonlocal fractional integral operator with its kernel structure containing the Mittag-Leffler function. This rare operator is described in the Caputo sense and the Riemann–Liouville sense as follows.

Definition 3

(see [5])

Let \(\vartheta \in H^{1}(\varphi _{1},\varphi _{2})\), \(\varphi _{2}>\varphi _{1}\), \(\zeta \in [ 0,1]\). Then the definition of the new fractional derivative is given as follows:

$$\begin{aligned} _{ \varphi _{1}}^{ABC}D_{t}^{\zeta } \bigl[ \vartheta (t) \bigr] =\frac{B(\zeta )}{1-\zeta } \int _{\varphi _{1}}^{t}\vartheta ^{\prime }( \sigma )E_{\zeta } \biggl[ -\zeta \frac{(t-\sigma )^{\zeta }}{(1-\zeta )} \biggr] \,d\sigma. \end{aligned}$$
(1.1)

Definition 4

(see [5])

Let \(\vartheta \in H^{1}(\varphi _{1},\varphi _{2})\), \(\varphi _{2}>\varphi _{1}\), \(\zeta \in [ 0,1]\). Then the definition of the new fractional derivative is given as follows:

$$\begin{aligned} _{ \varphi _{1}}^{ABR}D_{t}^{\zeta } \bigl[ \zeta (t) \bigr] =\frac{B(\zeta )}{1-\zeta }\frac{d}{dt} \int _{\varphi _{1}}^{t}\vartheta ( \sigma )E_{\zeta } \biggl[ -\zeta \frac{(t-\sigma )^{\zeta }}{(1-\zeta )} \biggr] \,d\sigma. \end{aligned}$$
(1.2)

To obtain more information related to structures and further properties of fractional operators, the interested readers can consider the following papers [3, 6–19].

After giving some basic information and concepts about fractional analysis, which is one of the basic foundations of the study, we will continue by reminding some basic concepts on convex functions and inequalities. Analytical and geometric inequalities are a topic that researchers focus on in mathematics both theoretically and practically. Especially in the last centuries, with the effect of convex analysis on theory, new inequalities and its applications have expanded the field. The contribution of different types of convex functions to the literature is supported by the inequalities proved based on them. The concept of convexity, which has a special position among functions with the aesthetics of its algebraic structure, its geometrical properties and the richness of its application areas, encounters the interest of researchers in many disciplines such as physics, engineering, economics, and approximation theory, as well as in mathematics. With the effect of this interest, many new types of convex functions have been introduced, and the concept of convexity has been carried to different spaces with multidimensional versions. The diverging and convergent aspects of each new convex function type have been identified, and enrichment has been added to the field of convex analysis.

Now let us refresh our memory by talking about the convex function, the s-convex function in the second sense, and the HH-inequality.

Definition 5

(see [20])

The function \(\vartheta:[\varphi _{1},\varphi _{2}]\subseteq \mathbb{R} \rightarrow \mathbb{R}\) is called a convex function if the inequality

$$\begin{aligned} \vartheta \bigl(\sigma x+(1-\sigma )y\bigr)\leq \sigma \vartheta (x)+(1-\sigma ) \vartheta (y) \end{aligned}$$
(1.3)

is satisfied for all \(x,y\in [ \varphi _{1},\varphi _{2}]\) and \(\sigma \in [ 0,1]\).

In [21], Orlicz has given the definition of s-convexity as follows.

Definition 6

A function \(\vartheta:\mathbb{R} ^{+}\rightarrow \mathbb{R} \), where \(\mathbb{R} ^{+}=[0,\infty )\), is called s-convex in the first sense if

$$\begin{aligned} \vartheta (\kappa _{1} \varphi _{1}+\kappa _{2} \varphi _{2})\leq \kappa _{1} ^{s}\vartheta ( \varphi _{1})+\kappa _{2} ^{s}\vartheta ( \varphi _{2}) \end{aligned}$$

for all \(\varphi _{1},\varphi _{2}\in [ 0,\infty )\), \(\kappa _{1},\kappa _{2} \geq 0\) with \(\kappa _{1} ^{s}+\kappa _{2} ^{s}=1\) and for some fixed \(s\in (0,1]\).

Definition 7

A function \(\vartheta:\mathbb{R} ^{+}\rightarrow \mathbb{R} \), where \(\mathbb{R} ^{+}=[0,\infty )\), is said to be s-convex in the second sense if

$$\begin{aligned} \vartheta (\kappa _{1} \varphi _{1}+\kappa _{2} \varphi _{2})\leq \kappa _{1} ^{s}\vartheta ( \varphi _{1})+\kappa _{2} ^{s}\vartheta ( \varphi _{2}) \end{aligned}$$

for all \(\varphi _{1},\varphi _{2}\in [ 0,\infty )\), \(\kappa _{1},\kappa _{2} \geq 0\) with \(\kappa _{1} +\kappa _{2} =1\) and for some fixed \(s\in (0,1]\).

Obviously, one can see that in case of \(s=1\), both definitions overlap with the standard concept of convexity.

The famous HH-inequality, which is built on convex functions with its different modifications, generalizations, and iterations, generates lower and upper limits for the mean value in the Cauchy sense and is given as follows.

Assume that \(\vartheta:I\subset \mathbb{R} \rightarrow \mathbb{R} \) is a convex mapping on \(I\subseteq \mathbb{R} \), where \(\varphi _{1},\varphi _{2}\in I\), with \(\varphi _{1}<\varphi _{2}\). The HH-inequality for convex mappings can be presented as follows (see [20]):

$$\begin{aligned} \vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) \leq \frac{1}{\varphi _{2}-\varphi _{1}} \int _{\varphi _{1}}^{\varphi _{2}} \vartheta ( \sigma ) \,d\sigma \leq \frac{\vartheta ( \varphi _{1} ) +\vartheta ( \varphi _{2} ) }{2}. \end{aligned}$$
(1.4)

In [22], a new variant of HH-inequality for s-convex mappings in the second sense has been performed by Dragomir and Fitzpatrick.

Theorem 1

Assume that \(\vartheta:[0,\infty )\rightarrow [ 0,\infty )\) is an s-convex function in the second sense, where \(s\in (0,1)\), and let \(\varphi _{1},\varphi _{2}\in [ 0,\infty )\), \(\varphi _{1}<\varphi _{2}\). If \(\vartheta \in L[\varphi _{1},\varphi _{2}]\), then one has the following:

$$\begin{aligned} 2^{s-1}\vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) \leq \frac{1}{\varphi _{2}-\varphi _{1}} \int _{\varphi _{1}}^{ \varphi _{2}}\vartheta ( \sigma ) \,d\sigma \leq \frac{\vartheta ( \varphi _{1} ) +\vartheta ( \varphi _{2} ) }{s+1}. \end{aligned}$$
(1.5)

Here, we must note that \(k=\frac{1}{s+1}\) is the best possible constant in (1.5).

To provide more details related to different kinds of convex functions and generalizations, new variants and different forms of this important double inequality, we suggest to read the papers [20–42].

This study is organized as follows. First of all, the basic concepts to be used in the study were defined, and the scientific infrastructure required for the proof of the findings was created. In the main findings section, a new generalization of the HH-inequality, which includes Atangana–Baleanu integral operators for s-convex functions in the second sense, is obtained. Then, by giving an integral identity for differentiable s-convex functions in the second sense, new HH-type inequalities are proved for functions whose absolute value is s-convex in the second sense with the help of this identity. Also, a similar inequality is obtained for s-concave functions.

2 New results by Atangana–Baleanu fractional integral operators

We start this section by giving the following inequalities containing the versions of the HH-inequality for s-convex mappings in the second sense via new fractional integral operators defined by Atangana and Baleanu.

Throughout the study, we denote the terms \(\Gamma (\zeta )\), \(B(\zeta )>0\), and \(\beta _{x}\) as gamma function, normalization function, and incomplete beta function, respectively.

Theorem 2

Let \(\vartheta:\mathbb{R} _{+}\rightarrow \mathbb{R} _{+}\) be an s-convex function in the second sense, \(s\in ( 0,1 ] \), and \(\varphi _{1},\varphi _{2}\in \mathbb{R} _{+}\) with \(\varphi _{1}<\varphi _{2}\). If \(\vartheta \in L [ \varphi _{1},\varphi _{2} ] \), the inequalities for Atangana–Baleanu integral operators for all \(\zeta \in ( 0,1 ] \) are obtained as follows:

$$\begin{aligned} &2^{s} \frac{\vartheta ( \frac{\varphi _{1}+\varphi _{2}}{2} ) }{B(\zeta )\Gamma (\zeta )}+ \frac{1-\zeta }{(\varphi _{2}-\varphi _{1})^{\zeta }} \biggl[ \frac{\vartheta ( \varphi _{1} ) +\vartheta ( \varphi _{2} ) }{B(\zeta )} \biggr] \\ &\quad\leq \frac{1}{ ( \varphi _{2}-\varphi _{1} ) ^{\zeta }} \bigl[ _{\varphi _{1}}^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta (\varphi _{2}) \bigr\} +^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta (\varphi _{1}) \bigr\} \bigr] \\ &\quad\leq \biggl[ \frac{\vartheta (\varphi _{1})+\vartheta (\varphi _{2})}{B(\zeta )} \biggr] \biggl[ \frac{\zeta }{\Gamma (\zeta ) ( \zeta +s ) }+ \frac{1-\zeta }{(\varphi _{2}-\varphi _{1})^{\zeta }}+ \frac{\zeta \beta ( \zeta,s+1 ) }{\Gamma (\zeta )} \biggr]. \end{aligned}$$
(2.1)

Proof

As ϑ is an s-convex function in the second sense, we can write

$$\begin{aligned} \vartheta \bigl( \sigma \varphi _{1}+(1-\sigma )\varphi _{2} \bigr) \leq \sigma ^{s}\vartheta ( \varphi _{1} ) + ( 1- \sigma ) ^{s}\vartheta ( \varphi _{2} ) \end{aligned}$$

for all \(\sigma \in [ 0,1 ]\). Multiplying the above inequality with \(\sigma ^{\zeta -1}\) and then integrating the obtained inequality on \([ 0,1 ] \), we have

$$\begin{aligned} & \int _{0}^{1}\sigma ^{\zeta -1}\vartheta \bigl( \sigma \varphi _{1}+(1- \sigma )\varphi _{2} \bigr) \,d\sigma \\ &\quad\leq \biggl[ \vartheta (\varphi _{1}) \int _{0}^{1}\sigma ^{\zeta +s-1}\,d \sigma + \vartheta ( \varphi _{2} ) \int _{0}^{1}\sigma ^{ \zeta -1} ( 1-\sigma ) ^{s}\,d\sigma \biggr]. \end{aligned}$$

If we multiply both sides of the last inequality by \(\frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )}\), and then if we add the term \(\frac{1-\zeta }{B(\zeta )}\vartheta ( \varphi _{2} ) \), we get

$$\begin{aligned} &\frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )}\int _{0}^{1}\sigma ^{\zeta -1}\vartheta \bigl( \sigma \varphi _{1}+(1- \sigma )\varphi _{2} \bigr) \,d\sigma +\frac{1-\zeta }{B(\zeta )} \vartheta ( \varphi _{2} ) \\ &\quad\leq \frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )} \biggl[ \vartheta (\varphi _{1}) \int _{0}^{1}\sigma ^{\zeta +s-1}\,d \sigma + \vartheta ( \varphi _{2} ) \int _{0}^{1}\sigma ^{ \zeta -1} ( 1-\sigma ) ^{s}\,d\sigma \biggr] + \frac{1-\zeta }{B(\zeta )}\vartheta ( \varphi _{2} ). \end{aligned}$$

By making use of the change of variable \(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}=y\), we have

$$\begin{aligned} &{}_{\varphi _{1}}^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta ( \varphi _{2}) \bigr\} \\ &\quad\leq \vartheta ( \varphi _{2} ) \biggl[ \frac{1-\zeta }{B(\zeta )}+ \frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }\beta ( \zeta,s+1 ) }{B(\zeta )\Gamma (\zeta )} \biggr] + \frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta ) ( \zeta +s ) }\vartheta (\varphi _{1}). \end{aligned}$$
(2.2)

And similarly we get

$$\begin{aligned} & \bigl( {}^{AB}I_{\varphi _{2}}^{\zeta } \bigr) \bigl\{ \vartheta ( \varphi _{1}) \bigr\} \\ &\quad \leq \vartheta ( \varphi _{1} ) \biggl[ \frac{1-\zeta }{B(\zeta )}+ \frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }\beta ( \zeta,s+1 ) }{B(\zeta )\Gamma (\zeta )} \biggr] + \frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta ) ( \zeta +s ) }\vartheta (\varphi _{2}). \end{aligned}$$
(2.3)

If we consider the inequalities in (2.2) and (2.3), we conclude the second inequality in (2.1).

For obtaining the first inequality in (2.1), we use that, for all \(u,v\in \mathbb{R} _{+}\), we have

$$\begin{aligned} \vartheta \biggl( \frac{u+v}{2} \biggr) \leq \frac{\vartheta ( u ) +\vartheta ( v ) }{2^{s}}. \end{aligned}$$
(2.4)

Now, let \(u=\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\) and \(v=(1-\sigma )\varphi _{1}+\sigma \varphi _{2}\) with \(\sigma \in [ 0,1 ] \). Then we get by (2.4) that

$$\begin{aligned} \vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) \leq \frac{\vartheta ( \sigma \varphi _{1}+(1-\sigma )\varphi _{2} ) +\vartheta ( (1-\sigma )\varphi _{1}+\sigma \varphi _{2} ) }{2^{s}}. \end{aligned}$$

Multiplying the above inequality with \(\sigma ^{\zeta -1}\) and then integrating this inequality on \([ 0,1 ]\), we have

$$\begin{aligned} &2^{s} \frac{\vartheta ( \frac{\varphi _{1}+\varphi _{2}}{2} ) }{\zeta } \\ &\quad\leq \int _{0}^{1}\sigma ^{\zeta -1}\vartheta \bigl( \sigma \varphi _{1}+(1-\sigma )\varphi _{2} \bigr) \,d\sigma + \int _{0}^{1} \sigma ^{\zeta -1}\vartheta \bigl( (1-\sigma )\varphi _{1}+\sigma \varphi _{2} \bigr) \,d \sigma. \end{aligned}$$

If we multiply both sides of the last inequality \(\frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )}\) and then if we add the term \(\frac{1-\zeta }{B(\zeta )} [ \vartheta ( \varphi _{1} ) +\vartheta ( \varphi _{2} ) ] \) to two sides of the resulting inequality, we get

$$\begin{aligned} &2^{s} \frac{(\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )}\vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) + \frac{1-\zeta }{B(\zeta )} \bigl[ \vartheta ( \varphi _{1} ) +\vartheta ( \varphi _{2} ) \bigr] \\ &\quad\leq \frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )} \int _{0}^{1}\sigma ^{\zeta -1}\vartheta \bigl( \sigma \varphi _{1}+(1- \sigma )\varphi _{2} \bigr) \,d\sigma \\ &\qquad{}+ \frac{\zeta (\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )} \int _{0}^{1}\sigma ^{\zeta -1}\vartheta \bigl( (1-\sigma )\varphi _{1}+ \sigma \varphi _{2} \bigr) \,d \sigma \\ &\qquad{}+\frac{1-\zeta }{B(\zeta )} \bigl[ \vartheta ( \varphi _{1} ) +\vartheta ( \varphi _{2} ) \bigr]. \end{aligned}$$

The change of variables \(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}=y\) and \(\sigma \varphi _{2}+(1-\sigma )\varphi _{1}=z\) gives us

$$\begin{aligned} &2^{s} \frac{(\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )}\vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) + \frac{1-\zeta }{B(\zeta )} \bigl[ \vartheta ( \varphi _{1} ) +\vartheta ( \varphi _{2} ) \bigr] \\ &\quad\leq \bigl[ _{\varphi _{1}}^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta (\varphi _{2}) \bigr\} + \bigl( {}^{AB}I_{\varphi _{2}}^{ \zeta } \bigr) \bigl\{ \vartheta (\varphi _{1}) \bigr\} \bigr]. \end{aligned}$$
(2.5)

If we multiply both sides of (2.5) by \(\frac{1}{ ( \varphi _{2}-\varphi _{1} ) ^{\zeta }}\), we get the first inequality in (2.1). □

We continue this section by giving an equality containing second order derivatives for Atangana–Baleanu integral operators.

Lemma 1

Let \(\varphi _{1}<\varphi _{2}\), \(\varphi _{1},\varphi _{2}\in I^{\circ }\)and \(\vartheta:I\subset \mathbb{R} \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\). If \(\vartheta ^{\prime \prime }\in L[\varphi _{1},\varphi _{2}]\), the identity for Atangana–Baleanu integral operators in equation (2.6) is valid for all \(\zeta \in ( 0,1 ]\):

$$\begin{aligned} &\frac{1}{\varphi _{2}-\varphi _{1}} \bigl[ \bigl( {}^{AB}I_{ \frac{\varphi _{1}+\varphi _{2}}{2}}^{\zeta } \bigr) \bigl\{ \vartheta (\varphi _{1}) \bigr\} +{}_{ \frac{\varphi _{1}+\varphi _{2}}{2}}^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta (\varphi _{2}) \bigr\} \bigr] \\ &\qquad{}-\frac{1-\zeta }{(\varphi _{2}-\varphi _{1})B(\zeta )} \bigl[ \vartheta (\varphi _{1})+\vartheta ( \varphi _{2}) \bigr] \\ &\qquad{}- \frac{(\varphi _{2}-\varphi _{1})^{\zeta -1}}{2^{\zeta -1}B(\zeta )\Gamma (\zeta )} \vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) \\ &\quad=\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \\ &\qquad{}\times \int _{0}^{1}m^{\zeta } ( \sigma ) \bigl[ \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr)+ \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma )\varphi _{1}\bigr) \bigr] \,d\sigma, \end{aligned}$$
(2.6)

where

$$\begin{aligned} m^{\zeta } ( \sigma ) = \textstyle\begin{cases} \sigma ^{\zeta +1}, & \sigma \in [ 0,\frac{1}{2} ), \\ ( 1-\sigma ) ^{\zeta +1}, & \sigma \in [ \frac{1}{2},1 ],\end{cases}\displaystyle \end{aligned}$$

and also \(\Gamma (\zeta )\) is a gamma function and \(B(\zeta )>0\).

Proof

By using the integration by parts, we can get

$$\begin{aligned} &\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \int _{0}^{1}m^{\zeta } ( \sigma ) \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma ) \varphi _{2}\bigr)\,d\sigma \\ &\quad=\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl[ \int _{0}^{\frac{1}{2}}\sigma ^{ \zeta +1}\vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma ) \varphi _{2}\bigr)\,d\sigma \\ &\qquad{} + \int _{\frac{1}{2}}^{1} ( 1-\sigma ) ^{\zeta +1} \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr)\,d \sigma \biggr] \\ &\quad=\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ \sigma ^{\zeta +1} \frac{\vartheta ^{\prime }(\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})} \bigg\vert _{0}^{\frac{1}{2}} \\ &\qquad{}- \int _{0}^{\frac{1}{2}} ( \zeta +1 ) \sigma ^{\zeta } \frac{\vartheta ^{\prime }(\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})}\,d \sigma \\ &\qquad{}+ ( 1-\sigma ) ^{\zeta +1} \frac{\vartheta ^{\prime }(\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})}\bigg\vert _{\frac{1}{2}}^{1} \\ &\qquad{} + \int _{\frac{1}{2}}^{1} ( \zeta +1 ) ( 1- \sigma ) ^{\zeta } \frac{\vartheta ^{\prime }(\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})}\,d \sigma \biggr\} \\ &\quad=\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ - \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \int _{0}^{ \frac{1}{2}}\sigma ^{\zeta }\vartheta ^{\prime }\bigl(\sigma \varphi _{1}+(1- \sigma )\varphi _{2}\bigr)\,d\sigma \\ &\qquad{}+ \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \int _{\frac{1}{2}}^{1} ( 1-\sigma ) ^{\zeta }\vartheta ^{ \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr)\,d\sigma \biggr\} . \end{aligned}$$

If we use the integration by parts again, we can write

$$\begin{aligned} &\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ - \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \int _{0}^{ \frac{1}{2}}\sigma ^{\zeta }\vartheta ^{\prime }\bigl(\sigma \varphi _{1}+(1- \sigma )\varphi _{2}\bigr)\,d\sigma \\ &\qquad{}+ \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \int _{\frac{1}{2}}^{1} ( 1-\sigma ) ^{\zeta }\vartheta ^{ \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr)\,d\sigma \biggr\} \\ &\quad=\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ - \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \\ &\qquad{}\times \biggl( \sigma ^{\zeta } \frac{\vartheta (\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})} \bigg\vert _{0}^{\frac{1}{2}}- \int _{0}^{\frac{1}{2}}\zeta \sigma ^{\zeta -1} \frac{\vartheta (\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})}\,d\sigma \biggr) \\ &\qquad{}+ \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \biggl( ( 1-\sigma ) ^{\zeta } \frac{\vartheta (\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})} \bigg\vert _{\frac{1}{2}}^{1} \\ &\qquad{} + \int _{\frac{1}{2}}^{1}\zeta ( 1-\sigma ) ^{\zeta -1} \frac{\vartheta (\sigma \varphi _{1}+(1-\sigma )\varphi _{2})}{(\varphi _{1}-\varphi _{2})}\,d \sigma \biggr) \biggr\} \\ &\quad=\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ - \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \\ &\qquad{}\times \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta }\vartheta ( \frac{\varphi _{1}+\varphi _{2}}{2} ) }{(\varphi _{1}-\varphi _{2})}-\frac{\zeta }{(\varphi _{1}-\varphi _{2})} \int _{0}^{\frac{1}{2}} \sigma ^{\zeta -1}\vartheta \bigl( \sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr)\,d \sigma \biggr) \\ &\qquad{}+ \biggl( \frac{\zeta +1}{\varphi _{1}-\varphi _{2}} \biggr) \\ &\qquad{} \times \biggl( - \frac{ ( \frac{1}{2} ) ^{\zeta }\vartheta ( \frac{\varphi _{1}+\varphi _{2}}{2} ) }{(\varphi _{1}-\varphi _{2})}+ \frac{\zeta }{(\varphi _{1}-\varphi _{2})} \int _{\frac{1}{2}}^{1} ( 1-\sigma ) ^{\zeta -1}\vartheta \bigl(\sigma \varphi _{1}+(1- \sigma )\varphi _{2}\bigr)\,d \sigma \biggr) \biggr\} \\ &\quad=\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ \frac{-2 ( \zeta +1 ) ( \frac{1}{2} ) ^{\zeta }\vartheta ( \frac{\varphi _{1}+\varphi _{2}}{2} ) }{(\varphi _{1}-\varphi _{2})^{2}} \\ &\qquad{}+ \frac{\zeta ( \zeta +1 ) }{(\varphi _{1}-\varphi _{2})^{2}}\int _{0}^{\frac{1}{2}}\sigma ^{\zeta -1}\vartheta \bigl( \sigma \varphi _{1}+(1- \sigma )\varphi _{2}\bigr)\,d\sigma \\ &\qquad{} + \frac{\zeta ( \zeta +1 ) }{(\varphi _{1}-\varphi _{2})^{2}} \int _{\frac{1}{2}}^{1} ( 1-\sigma ) ^{\zeta -1} \vartheta \bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr)\,d \sigma \biggr\} . \end{aligned}$$

By using the changing of variable, we get the term for Atangana–Baleanu integral operators

$$\begin{aligned} &\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ \frac{-2 ( \zeta +1 ) ( \frac{1}{2} ) ^{\zeta }\vartheta ( \frac{\varphi _{1}+\varphi _{2}}{2} ) }{(\varphi _{1}-\varphi _{2})^{2}} \\ &\qquad{}+ \frac{\zeta ( \zeta +1 ) }{(\varphi _{1}-\varphi _{2})^{2}}\int _{\varphi _{2}}^{\frac{\varphi _{1}+\varphi _{2}}{2}} \biggl( \frac{y-\varphi _{2}}{\varphi _{1}-\varphi _{2}} \biggr) ^{\zeta -1} \vartheta (y)\frac{dy}{\varphi _{1}-\varphi _{2}} \\ &\qquad{}+ \frac{\zeta ( \zeta +1 ) }{(\varphi _{1}-\varphi _{2})^{2}} \int _{\frac{\varphi _{1}+\varphi _{2}}{2}}^{\varphi _{1}} \biggl( \frac{\varphi _{1}-y}{\varphi _{1}-\varphi _{2}} \biggr) ^{\zeta -1} \vartheta (y)\frac{dy}{\varphi _{1}-\varphi _{2}} \biggr\} \\ &\quad=- \frac{(\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )} \biggl( \frac{1}{2} \biggr) ^{\zeta }\vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) +\frac{1}{2} \bigl( {}_{ \frac{\varphi _{1}+\varphi _{2}}{2}}^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta (\varphi _{2}) \bigr\} \bigr) \\ &\qquad{}-\frac{1-\zeta }{2B(\zeta )} \bigl\{ \vartheta ( \varphi _{2} ) \bigr\} + \frac{1}{2} \bigl( {}^{AB}I_{ \frac{\varphi _{1}+\varphi _{2}}{2}}^{\zeta } \bigr) \bigl\{ \vartheta (\varphi _{1}) \bigr\} - \frac{1-\zeta }{2B(\zeta )} \bigl\{ \vartheta ( \varphi _{1} ) \bigr\} . \end{aligned}$$
(2.7)

As a similar calculation of (2.7), we get

$$\begin{aligned} &\frac{(\varphi _{2}-\varphi _{1})^{\zeta +2}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \int _{0}^{1}m^{\zeta } ( \sigma ) \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma ) \varphi _{1}\bigr)\,d\sigma \\ &\quad=- \frac{(\varphi _{2}-\varphi _{1})^{\zeta }}{B(\zeta )\Gamma (\zeta )} \biggl( \frac{1}{2} \biggr) ^{\zeta }\vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) +\frac{1}{2} \bigl( {}_{ \frac{\varphi _{1}+\varphi _{2}}{2}}^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta (\varphi _{2}) \bigr\} \bigr) \\ &\qquad{}-\frac{1-\zeta }{2B(\zeta )} \bigl\{ \vartheta ( \varphi _{2} ) \bigr\} + \frac{1}{2} \bigl( {}^{AB}I_{ \frac{\varphi _{1}+\varphi _{2}}{2}}^{\zeta } \bigr) \bigl\{ \vartheta (\varphi _{1}) \bigr\} - \frac{1-\zeta }{2B(\zeta )} \bigl\{ \vartheta ( \varphi _{1} ) \bigr\} . \end{aligned}$$
(2.8)

If we add (2.7) and (2.8), and after this step if we multiply the resulting equality by \(\frac{1}{(\varphi _{2}-\varphi _{1})}\), we complete the proof of the inequality in (2.6). □

Now, we are going to produce generalizations of the HH-type inequalities for Atangana–Baleanu fractional integral operators by using the new integral equation and s-convexity identity. Throughout the study, we denote the following terms with F:

$$\begin{aligned} &F=\frac{1}{\varphi _{2}-\varphi _{1}} \bigl[{} ^{AB}I_{ \frac{\varphi _{1}+\varphi _{2}}{2}}^{\zeta } \bigl\{ \vartheta ( \varphi _{1}) \bigr\} +{}_{\frac{\varphi _{1}+\varphi _{2}}{2}}^{AB}I_{\varphi _{2}}^{\zeta } \bigl\{ \vartheta (\varphi _{2}) \bigr\} \bigr] \\ &\quad{}-\frac{1-\zeta }{(\varphi _{2}-\varphi _{1})B(\zeta )} \bigl[ \vartheta (\varphi _{1})+\vartheta ( \varphi _{2}) \bigr] - \frac{(\varphi _{2}-\varphi _{1})^{\zeta -1}}{2^{\zeta -1}B(\zeta )\Gamma (\zeta )} \vartheta \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr). \end{aligned}$$

Theorem 3

Let \(\varphi _{1}<\varphi _{2}\), \(\varphi _{1},\varphi _{2}\in I^{\circ }\) and \(\vartheta:I\subset [ 0,\infty ) \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\) and \(\vartheta ^{\prime \prime }\in L[\varphi _{1},\varphi _{2}]\). If \(\vert \vartheta ^{\prime \prime } \vert \) is an s-convex function in the second sense on \([ \varphi _{1},\varphi _{2} ] \) for some fixed \(s\in (0,1]\), we obtain the following inequality for Atangana–Baleanu integral operators:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta +s+2}}{\zeta +s+2}+\beta _{\frac{1}{2}} ( \zeta +2,s+1 ) \biggr) \bigl( \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert \bigr), \end{aligned}$$
(2.9)

where \(\zeta \in (0,1]\).

Proof

By using the equality in (2.6) and the s-convexity of \(\vert \vartheta ^{\prime \prime } \vert \), we have

$$\begin{aligned} \vert F \vert \leq{}& \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \\ &{}\times \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert \bigl[ \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma ) \varphi _{1}\bigr) \bigr\vert \bigr] \,d\sigma \\ \leq{} &\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ \int _{0}^{\frac{1}{2}}\sigma ^{ \zeta +1} \bigl[ \sigma ^{s} \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert +(1-\sigma )^{s} \bigl\vert \vartheta ^{\prime \prime }( \varphi _{2}) \bigr\vert \bigr] \,d\sigma \\ &{}+ \int _{\frac{1}{2}}^{1} ( 1-\sigma ) ^{\zeta +1} \bigl[ \sigma ^{s} \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert +(1-\sigma )^{s} \bigl\vert \vartheta ^{\prime \prime }( \varphi _{2}) \bigr\vert \bigr] \,d\sigma \\ &{}+ \int _{0}^{\frac{1}{2}}\sigma ^{\zeta +1} \bigl[ \sigma ^{s} \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert +(1- \sigma )^{s} \bigl\vert \vartheta ^{\prime \prime }( \varphi _{1}) \bigr\vert \bigr] \,d\sigma \\ &{} + \int _{\frac{1}{2}}^{1} ( 1-\sigma ) ^{\zeta +1} \bigl[ \sigma ^{s} \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert +(1-\sigma )^{s} \bigl\vert \vartheta ^{\prime \prime }( \varphi _{1}) \bigr\vert \bigr] \,d\sigma \biggr\} . \end{aligned}$$

Afterwards, by getting the necessary calculations, we complete the proof of the inequality in (2.9). □

Corollary 1

In Theorem 3, if we choose \(s=1\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta +3}}{\zeta +3}+\beta _{\frac{1}{2}} ( \zeta +2,2 ) \biggr) \bigl( \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert \bigr). \end{aligned}$$

Corollary 2

In Theorem 3, if \(\vert \vartheta ^{\prime \prime } \vert \leq M\) on \(I^{\circ }\), \(M>0\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq \frac{2M(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta +s+2}}{\zeta +s+2}+\beta _{\frac{1}{2}} ( \zeta +2,s+1 ) \biggr). \end{aligned}$$

Theorem 4

Let \(\varphi _{1}<\varphi _{2}\), \(\varphi _{1},\varphi _{2}\in I^{\circ }\) and \(\vartheta:I\subset [ 0,\infty ) \longrightarrow \mathbb{R} \) be a differentiable mapping on \(I^{\circ }\) and \(\vartheta ^{\prime \prime }\in L[\varphi _{1},\varphi _{2}]\). If \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) is an s-convex function in the second sense on \([ \varphi _{1},\varphi _{2} ] \) for some fixed \(s\in (0,1]\), we obtain the following inequality for Atangana–Baleanu integral operators:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta p+p}}{\zeta p+p+1} \biggr) ^{\frac{1}{p}} \frac{1}{ ( s+1 ) ^{\frac{1}{q}}} \bigl( \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert \bigr), \end{aligned}$$
(2.10)

where \(\zeta \in ( 0,1 ] \), \(q>1\), and \(\frac{1}{p}+\frac{1}{q}=1\).

Proof

By using the equality in (2.6) and Hölder’s inequality, we get

$$\begin{aligned} \vert F \vert \leq{} &\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \\ &{}\times \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert \bigl[ \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma ) \varphi _{1}\bigr) \bigr\vert \bigr] \,d\sigma \\ \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p}\,d\sigma \biggr) ^{ \frac{1}{p}} \\ &{}\times \biggl[ \biggl( \int _{0}^{1} \bigl\vert \vartheta ^{\prime \prime } \bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert ^{q}\,d \sigma \biggr) ^{\frac{1}{q}}+ \biggl( \int _{0}^{1} \bigl\vert \vartheta ^{\prime \prime } \bigl(\sigma \varphi _{2}+(1-\sigma )\varphi _{1}\bigr) \bigr\vert ^{q}\,d\sigma \biggr) ^{\frac{1}{q}} \biggr]. \end{aligned}$$

To reach the result, we use the s-convexity in the second sense on \([ \varphi _{1},\varphi _{2} ] \), and then we use the fact that

$$\begin{aligned} \sum_{k=1}^{n} ( u_{k}+v_{k} ) ^{m}\leq \sum_{k=1}^{n}u_{k}^{m}+ \sum_{k=1}^{n}v_{k}^{m} \end{aligned}$$

for \(0\leq m<1\), \(u_{1},u_{2},\ldots,u_{n}\geq 0\), \(v_{1},v_{2},\ldots,v_{n}\geq 0 \). So, we obtained the inequality in (2.10). The proof is completed. □

Corollary 3

In Theorem 4, if we choose \(s=1\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta p+p}}{\zeta p+p+1} \biggr) ^{\frac{1}{p}} \frac{1}{2^{\frac{1}{q}}} \bigl( \bigl\vert \vartheta ^{\prime \prime }( \varphi _{1}) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }( \varphi _{2}) \bigr\vert \bigr). \end{aligned}$$

Corollary 4

In Theorem 4, if \(\vert \vartheta ^{\prime \prime } \vert \leq M\) on \(I^{\circ }\), \(M>0\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq \frac{2M(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta p+p}}{\zeta p+p+1} \biggr) ^{\frac{1}{p}} \frac{1}{ ( s+1 ) ^{\frac{1}{q}}}. \end{aligned}$$

Theorem 5

Under the assumptions of Theorem 4, we get the inequality in (2.11):

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{1}{2^{\zeta +1} ( \zeta +2 ) } \biggr) ^{\frac{1}{p}} \\ &{}\times \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta +s+2}}{\zeta +s+2}+\beta _{\frac{1}{2}} ( \zeta +2,s+1 ) \biggr) ^{ \frac{1}{q}} \bigl( \bigl\vert \vartheta ^{\prime \prime }( \varphi _{1}) \bigr\vert ^{q}+ \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}}, \end{aligned}$$
(2.11)

where \(\zeta \in (0,1]\), \(q>1\), \(\frac{1}{p}+\frac{1}{q}=1\).

Proof

When we use Hölder’s inequality from a different point of view, we can write

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \\ &{}\times \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert \bigl[ \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma ) \varphi _{1}\bigr) \bigr\vert \bigr] \,d\sigma \\ \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert \,d\sigma \biggr) ^{\frac{1}{p}} \\ &{}\times \biggl[ \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert \bigl\vert \vartheta ^{\prime \prime }\bigl( \sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert ^{q}\,d\sigma \biggr) ^{\frac{1}{q}} \\ &{} + \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma )\varphi _{1}\bigr) \bigr\vert ^{q}\,d\sigma \biggr) ^{\frac{1}{q}} \biggr]. \end{aligned}$$

If we apply the s-convexity of \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) and calculate the above integrals, we get the desired. □

Corollary 5

In Theorem 5, if we choose \(s=1\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{1}{2^{\zeta +1} ( \zeta +2 ) } \biggr) ^{\frac{1}{p}} \\ &{}\times \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta +3}}{\zeta +3}+\beta _{ \frac{1}{2}} ( \zeta +2,2 ) \biggr) ^{\frac{1}{q}} \bigl( \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert ^{q}+ \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}}. \end{aligned}$$

Corollary 6

In Theorem 5, if \(\vert \vartheta ^{\prime \prime } \vert \leq M\) on \(I^{\circ },M>0\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq {}&\frac{2^{\frac{1}{q}}M(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{1}{2^{\zeta +1} ( \zeta +2 ) } \biggr) ^{ \frac{1}{p}} \\ &{}\times \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta +s+2}}{\zeta +s+2}+\beta _{\frac{1}{2}} ( \zeta +2,s+1 ) \biggr) ^{ \frac{1}{q}}. \end{aligned}$$

Theorem 6

Let \(\varphi _{1}<\varphi _{2}\), \(\varphi _{1},\varphi _{2}\in I^{\circ }\) and \(\vartheta:I\subset [ 0,\infty ) \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\) and \(\vartheta ^{\prime \prime }\in L[\varphi _{1},\varphi _{2}]\). If \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) is an s-convex function in the second sense on \([ \varphi _{1},\varphi _{2} ] \) for some fixed \(s\in (0,1]\), we obtain the following inequality in (2.12) for Atangana–Baleanu integral operators:

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) ( \frac{q-p}{q-1} ) } ( q-1 ) }{(\zeta +1) ( q-p ) +q-1} \biggr) ^{1-\frac{1}{q}} \bigl( \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert ^{q}+ \bigl\vert \vartheta ^{ \prime \prime }(\varphi _{2}) \bigr\vert ^{q} \bigr) ^{ \frac{1}{q}} \\ &{}\times \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) p+s+1}}{ ( \zeta +1 ) p+s+1}+\beta _{\frac{1}{2}} \bigl( ( \zeta +1 ) p+1,s+1 \bigr) \biggr) ^{\frac{1}{q}}, \end{aligned}$$
(2.12)

where \(\zeta \in (0,1] \), \(q\geq p>1\).

Proof

By using Hölder’s inequality in a different way, we can write

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl\{ \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{\frac{q-p}{q-1}}\,d\sigma \biggr) ^{1-\frac{1}{q}} \\ &{}\times \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p} \bigl\vert \vartheta ^{\prime \prime }\bigl( \sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert ^{q}\,d\sigma \biggr) ^{\frac{1}{q}} \\ &{}+ \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{\frac{q-p}{q-1}}\,d\sigma \biggr) ^{1-\frac{1}{q}} \\ &{} \times \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p} \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma )\varphi _{1}\bigr) \bigr\vert ^{q}\,d \sigma \biggr) ^{\frac{1}{q}} \biggr\} . \end{aligned}$$

If we use the s-convexity of \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) above, we have

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{ \frac{q-p}{q-1}}\,d\sigma \biggr) ^{1-\frac{1}{q}} \\ &{}\times \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p} \bigl[ \sigma ^{s} \bigl\vert \vartheta ^{ \prime \prime }(\varphi _{1}) \bigr\vert ^{q}+(1-\sigma )^{s} \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert ^{q} \bigr] \,d\sigma \biggr) ^{\frac{1}{q}} \\ &{}+ \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{\frac{q-p}{q-1}}\,d\sigma \biggr) ^{1-\frac{1}{q}} \\ &{}\times \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p} \bigl[ \sigma ^{s} \bigl\vert \vartheta ^{ \prime \prime }(\varphi _{2}) \bigr\vert ^{q}+(1-\sigma )^{s} \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert ^{q} \bigr] \,d\sigma \biggr) ^{\frac{1}{q}}. \end{aligned}$$

By making the necessary integral calculations, the proof is completed. □

Corollary 7

In Theorem 6, if we choose \(s=1\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq{} &\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) ( \frac{q-p}{q-1} ) } ( q-1 ) }{(\zeta +1) ( q-p ) +q-1} \biggr) ^{1-\frac{1}{q}} \\ &{}\times \bigl( \bigl\vert \vartheta ^{\prime \prime }(\varphi _{1}) \bigr\vert ^{q}+ \bigl\vert \vartheta ^{\prime \prime }(\varphi _{2}) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}} \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) p+2}}{ ( \zeta +1 ) p+2}+ \beta _{\frac{1}{2}} \bigl( ( \zeta +1 ) p+1,2 \bigr) \biggr) ^{ \frac{1}{q}}. \end{aligned}$$

Corollary 8

In Theorem 6, if \(\vert \vartheta ^{\prime \prime } \vert \leq M\) on \(I^{\circ }\), \(M>0\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq{}&\frac{2^{\frac{1}{q}}M(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) ( \frac{q-p}{q-1} ) } ( q-1 ) }{(\zeta +1) ( q-p ) +q-1} \biggr) ^{1-\frac{1}{q}} \\ &{}\times [ \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) p+s+1}}{ ( \zeta +1 ) p+s+1}+ \beta _{\frac{1}{2}} \bigl( ( \zeta +1 ) p+1,s+1 \bigr) \biggr) ^{\frac{1}{q}}. \end{aligned}$$

Theorem 7

Let \(\varphi _{1}<\varphi _{2}\), \(\varphi _{1},\varphi _{2}\in I^{\circ }\) and \(\vartheta:I\subset [ 0,\infty ) \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\) and \(\vartheta ^{\prime \prime }\in L[\varphi _{1},\varphi _{2}]\). If \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) is an s-convex function in the second sense on \([ \varphi _{1},\varphi _{2} ] \) for some fixed \(s\in (0,1]\), we obtain the following inequality in (2.13) for Atangana–Baleanu integral operators:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) p}}{ ( (\zeta +1)p+1 ) p}+\frac{ \vert \vartheta ^{\prime \prime }(\varphi _{1}) \vert ^{q}+ \vert \vartheta ^{\prime \prime }(\varphi _{2}) \vert ^{q}}{ ( s+1 ) q} \biggr), \end{aligned}$$
(2.13)

where \(\zeta \in (0,1]\) and \(q>1\).

Proof

By using Lemma 1, we have

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \\ &{}\times \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert \bigl[ \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert + \bigl\vert \vartheta ^{\prime \prime }\bigl(\sigma \varphi _{2}+(1-\sigma ) \varphi _{1}\bigr) \bigr\vert \bigr] \,d\sigma. \end{aligned}$$

By using Young’s inequality as \(xy\leq \frac{1}{p}x^{p}+\frac{1}{q}y^{q}\), we get

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \\ &{}\times \biggl\{ \frac{1}{p} \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p}\,d\sigma +\frac{1}{q} \int _{0}^{1} \bigl\vert \vartheta ^{\prime \prime } \bigl(\sigma \varphi _{1}+(1- \sigma )\varphi _{2}\bigr) \bigr\vert ^{q}\,d\sigma \\ &{} +\frac{1}{p} \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p}\,d\sigma +\frac{1}{q} \int _{0}^{1} \bigl\vert \vartheta ^{\prime \prime } \bigl(\sigma \varphi _{2}+(1- \sigma )\varphi _{1}\bigr) \bigr\vert ^{q}\,d\sigma \biggr\} . \end{aligned}$$

By using the s-convexity of \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) and by simple calculations, we provide the result. □

Corollary 9

In Theorem 7, if we choose \(s=1\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) p}}{ ( (\zeta +1)p+1 ) p}+\frac{ \vert \vartheta ^{\prime \prime }(\varphi _{1}) \vert ^{q}+ \vert \vartheta ^{\prime \prime }(\varphi _{2}) \vert ^{q}}{2q} \biggr). \end{aligned}$$

Corollary 10

In Theorem 7, if \(\vert \vartheta ^{\prime \prime } \vert \leq M\) on \(I^{\circ },M>0\), we have the following inequality:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{ ( \zeta +1 ) p}}{ ( (\zeta +1)p+1 ) p}+\frac{2M^{q}}{ ( s+1 ) q} \biggr). \end{aligned}$$

Theorem 8

Let \(\varphi _{1}<\varphi _{2}\), \(\varphi _{1},\varphi _{2}\in I^{\circ }\) and \(\vartheta:I\subset [ 0,\infty ) \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\) and \(\vartheta ^{\prime \prime }\in L[\varphi _{1},\varphi _{2}]\). If \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) is an s-concave function in the second sense on \([ \varphi _{1},\varphi _{2} ] \) for some fixed \(s\in (0,1]\), we obtain the following inequality in (2.14) for Atangana–Baleanu integral operators:

$$\begin{aligned} \vert F \vert \leq \frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{ ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \frac{ ( \frac{1}{2} ) ^{\zeta p+p}}{\zeta p+p+1} \biggr) ^{\frac{1}{p}}2^{ \frac{s-1}{q}} \biggl\vert \vartheta ^{\prime \prime } \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) \biggr\vert , \end{aligned}$$
(2.14)

where \(\zeta \in ( 0,1 ] \), \(q>1\), \(\frac{1}{p}+\frac{1}{q}=1\).

Proof

If we apply Hölder’s inequality, we have

$$\begin{aligned} \vert F \vert \leq {}&\frac{(\varphi _{2}-\varphi _{1})^{\zeta +1}}{2 ( \zeta +1 ) B(\zeta )\Gamma (\zeta )} \biggl( \int _{0}^{1} \bigl\vert m^{\zeta } ( \sigma ) \bigr\vert ^{p}\,d\sigma \biggr) ^{ \frac{1}{p}} \\ &{}\times \biggl[ \biggl( \int _{0}^{1} \bigl\vert \vartheta ^{\prime \prime } \bigl(\sigma \varphi _{1}+(1-\sigma )\varphi _{2}\bigr) \bigr\vert ^{q}\,d \sigma \biggr) ^{\frac{1}{q}}+ \biggl( \int _{0}^{1} \bigl\vert \vartheta ^{\prime \prime } \bigl(\sigma \varphi _{2}+(1-\sigma )\varphi _{1}\bigr) \bigr\vert ^{q}\,d\sigma \biggr) ^{\frac{1}{q}} \biggr]. \end{aligned}$$

Since \(\vert \vartheta ^{\prime \prime } \vert ^{q}\) is s-concave on \([\varphi _{1},\varphi _{2}]\), we can write the following results by taking into account the variant of the HH-inequality for s-concave functions:

$$\begin{aligned} &\int _{0}^{1} \bigl\vert \vartheta ^{\prime \prime } \bigl(\sigma \varphi _{1}+(1- \sigma )\varphi _{2}\bigr) \bigr\vert ^{q}\,d\sigma \leq 2^{s-1} \biggl\vert \varphi ^{\prime \prime } \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) \biggr\vert ^{q}, \\ &\int _{0}^{1} \bigl\vert \varphi ^{\prime \prime } \bigl(\sigma \varphi _{2}+(1- \sigma )\varphi _{1}\bigr) \bigr\vert ^{q}\,d\sigma \leq 2^{s-1} \biggl\vert \varphi ^{\prime \prime } \biggl( \frac{\varphi _{1}+\varphi _{2}}{2} \biggr) \biggr\vert ^{q}. \end{aligned}$$

By using these results in the above inequality, we complete the proof. □

3 Conclusion

We see that the main idea for most of the studies in the field of inequalities is to generalize, to reveal new boundaries, and to create findings that will allow different applications. In this direction, sometimes the features of the function, sometimes new methods, and sometimes new operators are used, and these choices add original value to the studies. In this context, in the paper, which includes reflections of fractional analysis to inequality theory, the main motivation point is to obtain new integral inequalities for s-convex and s-concave functions that involve Atangana–Baleanu fractional integral operators. First, a general form of the HH-inequality for Atangana–Baleanu fractional integral operators has been obtained. Then, using a newly established integral identity, various HH-type inequalities have been derived. The special cases of these inequalities, which are presented in general forms, have been taken into consideration.