Skip to main content
Journal of Inequalities and Applications
Journal of Inequalities and Applications Cover Image
Download PDF

Inequalities for \(\mathbb{B}\)-convex functions via generalized fractional integral

Journal of Inequalities and Applications volume 2019, Article number: 194 (2019) Cite this article

Abstract

Recently, fractional calculus has become a very popular and important area. Specially, fractional integral inequalities have been studied by different authors. In this article, we give new Hermite–Hadamard type inequalities for \(\mathbb{B}\)-convex functions via Riemann–Liouville and Hadamard fractional integrals. Also, we show that the inequalities involve the fractional integrals of a function with respect to the function g which are the more general form of these obtained Hermite–Hadamard inequalities.

Introduction

The idea of fractional calculus was suggested by Leibnitz via a letter to L’Hospital. Then, a lot of famous scientists studied this notion in different areas like inequality theory, applied mathematics, engineering [10, 12, 13, 15, 21, 26, 30, 31, 33] (see also [29] for the historical considerations). Recently, the importance of fractional calculus can be more understandable, and numerous works involving fractional calculus have been done. Specially, for integral inequalities, which is the topic of this work, fractional integrals have been used, thus familiar significant inequalities can be generalized using this type of integrals. Hermite–Hadamard inequality, which is one of these types of inequalities and one of important applications of convexity, was introduced in [19, 20]. Additionally, a lot of authors have examined different generalizations of the convexity [4, 6,7,8, 22, 34]. Then, it has been studied for different abstract convex functions [1,2,3, 5, 17, 18, 27, 28, 35]. Recently, these works have been given with a new generalized form of inequalities via fractional integrals [11, 14, 32, 36].

\(\mathbb{B}\)-convexity was introduced in [16]. Then, \(\mathbb{B}\)-convex sets, \(\mathbb{B}\)-convex functions, separation theorems, and application to mathematical economy were analyzed [4, 16, 23].

In this article, Hermite–Hadamard inequality is worked for \(\mathbb{B}\)-convex functions. The classic format of Hermite–Hadamard inequality for \(\mathbb{B}\)-convex functions was proved in [37]. For \(\mathbb{B}\)-convex functions, Riemann–Liouville fractional Hermite–Hadamard inequality was studied in [36]. Inequalities given in this paper differ from previous inequalities in using generalized fractional integral. Thus, the most general form of Hermite–Hadamard inequality for \(\mathbb{B}\)-convex functions is obtained.

We can point out the aim of the paper as follows. The most general Hermite–Hadamard inequality for \(\mathbb{B}\)-convex functions is proven, then we give the relation between this inequality and the previous inequalities which contain the Riemann–Liouville and Hadamard fractional integrals. Thus, it shows that the final inequality presented in the article is the generalization of the others as well as the classic one for \(\mathbb{B}\)-convex functions.

In the second section, we recall definitions of different types fractional integrals. Additionally, we give some required definitions and theorems about \(\mathbb{B}\)-convexity and former inequality for \(\mathbb{B}\)-convex functions. In the next section, we show inequalities involving Riemann–Liouville fractional integral. In the fourth section, we introduce Hermite–Hadamard type inequalities via Hadamard fractional integrals. In the last section, we prove Hermite–Hadamard inequalities for \(\mathbb{B}\)-convex functions via fractional integrals of a function with respect to the function g. Also, we show that the Hermite–Hadamard inequalities involving Riemann–Liouville fractional integral and Hadamard fractional integral can be obtained as our final inequalities.

Fractional integral types

Let us recall the following definitions of fractional integral types. Throughout the paper, let \(f: [a,b ]\rightarrow \mathbb{R}\) be a given function, where \(0 \leq a < b < +\infty \) and \(f\in L_{1} [a,b ]\). Also, \(\varGamma (\alpha )\) is the gamma function.

Definition 1

([24])

The left-sided Riemann–Liouville integral \(J^{\alpha } _{a+}f\) and the right-sided Riemann–Liouville integral \(J^{\alpha } _{b-}f\) of order \(\alpha >0\) with \(a\geq 0\) are defined by

$$ J^{\alpha }_{a+}f (x )= \frac{1}{\varGamma (\alpha )} \int ^{x}_{a} (x-t ) ^{\alpha -1}f (t )\,dt , \quad x>a, $$
(1)

and

$$ J^{\alpha }_{b-}f (x )= \frac{1}{\varGamma (\alpha )} \int ^{b}_{x} (t-x ) ^{\alpha -1}f (t )\,dt , \quad x< b, $$
(2)

respectively.

Definition 2

([24, 25])

The left-sided Hadamard fractional integral \(\mathbf{J}^{\alpha }_{a+}\) of order \(\alpha >0\) of f is defined by

$$ \mathbf{J}^{\alpha }_{a+}f (x )= \frac{1}{\varGamma (\alpha )} \int ^{x}_{a} \biggl(\ln \frac{x}{t} \biggr)^{\alpha -1}\frac{f (t )}{t}\,dt , \quad x>a, $$
(3)

provided that the integral exists. The right-sided Hadamard fractional integral \(\mathbf{J}^{\alpha }_{b-}\) of order \(\alpha >0\) of f is defined by

$$ \mathbf{J}^{\alpha }_{b-}f (x )= \frac{1}{\varGamma (\alpha )} \int ^{b}_{x} \biggl(\ln \frac{t}{x} \biggr)^{\alpha -1}\frac{f (t )}{t}\,dt , \quad x< b, $$
(4)

provided that the integral exists.

Definition 3

([24])

Let \(g: [a,b ]\rightarrow \mathbb{R}\) be an increasing and positive monotone function on \((a,b ]\) having a continuous derivative \(g' (x )\) on \((a,b )\). The left-sided fractional integral of f with respect to the function g on \([a,b ]\) of order \(\alpha >0\) is defined by

$$ I^{\alpha }_{a^{+};g}f (x )=\frac{1}{\varGamma (\alpha )} \int ^{x}_{a}\frac{g' (t )f (t )}{ [g (x )-g (t ) ]^{1-\alpha }}\,dt , \quad x>a, $$
(5)

provided that the integral exists. The right-sided fractional integral of f with respect to the function g on \([a,b ]\) of order \(\alpha >0\) is defined by

$$ I^{\alpha }_{b^{-};g}f (x )=\frac{1}{\varGamma (\alpha )} \int ^{b}_{x}\frac{g' (t )f (t )}{ [g (t )-g (x ) ]^{1-\alpha }}\,dt , \quad x< b, $$
(6)

provided that the integral exists.

\(\mathbb{B}\)-Convexity

Let \(r\in \mathbb{N}\), \(\varphi _{r}:\mathbb{R}\rightarrow \mathbb{R}\), \(\varphi _{r}(x)=x^{2r+1}\) and \(\varPhi _{r}:\mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\), \(\varPhi _{r}(\boldsymbol{x})=\varPhi _{r}(x_{1},x_{2},\ldots,x_{n}) = ( \varphi _{r}(x_{1}), \varphi _{r}(x_{2}), \ldots ,\varphi _{r}(x_{n}))\). For a finite nonempty set \(A= \{ \boldsymbol{x^{(1)}}, \boldsymbol{x^{(2)}}, \ldots , \boldsymbol{x^{(m)}} \} \subset \mathbb{R}^{n}\), the r-convex hull of A, denoted as \(\mathrm{Co}^{r}(A)\), is given by

$$ \mathrm{Co}^{r}(A)= \Biggl\{ \varPhi _{r}^{-1} \Biggl(\sum^{m}_{i=1}{t_{i} \varPhi _{r}\bigl( \boldsymbol{x^{(i)}}\bigr)} \Biggr):t_{i} \geq 0,\sum^{m}_{i=1}{t_{i}}=1 \Biggr\} . $$

Definition 4

([16])

The Kuratowski–Painleve upper limit of the sequence of sets \((\mathrm{Co}^{r}(A) )_{r\in \mathbb{N}}\), denoted by \(\mathrm{Co}^{\infty }(A)\) where A is a finite subset of \(\mathbb{R}^{n}\), is called \(\mathbb{B}\)-polytope of A.

Definition 5

([16])

A subset U of \(\mathbb{R}^{n}\) is \(\mathbb{B}\)-convex if for all finite subsets \(A\subset U\) the \(\mathbb{B}\)-polytope \(\mathrm{Co}^{\infty }(A)\) is contained in U.

In \(\mathbb{R}^{n}_{+}\), a \(\mathbb{B}\)-convex set is defined in a different way [16]:

A subset U of \(\mathbb{R}^{n}_{+}\) is \(\mathbb{B}\)-convex if and only if, for all \(\boldsymbol{x^{(1)}}, \boldsymbol{x^{(2)}}\in U\) and all \(\lambda \in [0,1 ]\), one has \(\lambda \boldsymbol{x^{(1)}}\vee \boldsymbol{x^{(2)}} \in U\).

Here, we denote the least upper bound with respect to the coordinate-wise order relation of \(\boldsymbol{x^{(1)}}, \boldsymbol{x^{(2)}}, \ldots , \boldsymbol{x^{(m)}}\in \mathbb{R}^{n}\) by \(\bigvee ^{m}_{i=1}\boldsymbol{x^{(i)}}\), that is,

$$ \bigvee^{m}_{i=1}\boldsymbol{x^{(i)}}= \bigl(\max \bigl\{ x ^{(1)}_{1}, x^{(2)}_{1}, \ldots ,x^{(m)}_{1} \bigr\} ,\ldots,\max \bigl\{ x ^{(1)}_{n}, x^{(2)}_{n}, \ldots , x^{(m)}_{n} \bigr\} \bigr), $$

where \(x^{(i)}_{j}\) denotes jth coordinate of the point \(\boldsymbol{x^{(i)}}\).

Remark 1

In \(\mathbb{R}_{+}\), \(\mathbb{B}\)-convex sets are intervals because of definition. Indeed, for all \(x,y\in \mathbb{R}_{+}\) and \(\lambda \in [0,1 ]\), all the combinations of \(\lambda x\vee y\) are either an interval of \([y,x ]\) or the point y depends on the order of x and y. Since all the elements of a \(\mathbb{B}\)-convex set satisfy this condition, a \(\mathbb{B}\)-convex subset of \(\mathbb{R}_{+}\) is an interval.

Furthermore, in [16, 23], the definition of \(\mathbb{B}\)-convex functions is given as follows.

Definition 6

([16, 23])

Let \(U\subset \mathbb{R}^{n}\). A function \(f:U\rightarrow \mathbb{R} \cup \{\pm \infty \}\) is called a \(\mathbb{B}\)-convex function if \(\operatorname{epi} (f )= \{ (\boldsymbol{x}, \mu ) \vert \boldsymbol{x}\in U, \mu \in \mathbb{R}, \mu \geq f (\boldsymbol{x} ) \}\) is a \(\mathbb{B}\)-convex set.

The following theorem provides a sufficient and necessary condition for \(\mathbb{B}\)-convex functions in \(\mathbb{R}^{n}_{+}\).

Theorem 1

([16, 23])

Let \(U\subset \mathbb{R}^{n}_{+}\), \(f:U\rightarrow \mathbb{R}_{+}\cup \{+\infty \}\). The function f is \(\mathbb{B}\)-convex if and only if U is a \(\mathbb{B}\)-convex set, and for all \(\boldsymbol{x}, \boldsymbol{y} \in U\) and all \(\lambda \in [0,1 ]\), the following inequality holds:

$$ f (\lambda \boldsymbol{x}\vee \boldsymbol{y} )\leq \lambda f (\boldsymbol{x} ) \vee f (\boldsymbol{y} ) . $$
(7)

Hermite–Hadamard inequality for \(\mathbb{B}\)-convex functions

Hermite–Hadamard inequality for \(\mathbb{B}\)-convex functions was given with the following theorem in [37].

Theorem 2

([37])

Let \(f: [a,b ]\subset \mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) be a \(\mathbb{B}\)-convex function. Then one has the inequality

$$ \frac{1}{b-a} \int ^{b}_{a} f (t )\,dt\leq \textstyle\begin{cases} f (a ), & 1\leq \frac{f (a )}{f (b )}, \\ \frac{b ( [f (a ) ]^{2}+ [f (b ) ] ^{2} )-2af (a )f (b )}{2 (b-a )f (b )}, & 0\leq \frac{f (a )}{f (b )}< 1 . \end{cases} $$
(8)

Results and discussion

Hermite–Hadamard type inequalities involving Riemann–Liouville fractional integral

We proved the Riemann–Liouville fractional Hermite–Hadamard inequalities for \(\mathbb{B}\)-convex functions which were given in the following theorems for left-sided integral and right-sided integral, respectively, in [36].

Theorem 3

([36])

Let \(f: [a,b ]\subset \mathbb{R}_{+}\rightarrow \mathbb{R} _{+}\) and \(f\in L_{1} [a,b ]\). If f is a \(\mathbb{B}\)-convex function on \([a,b ]\), then the following inequality for fractional integrals holds:

$$ J^{\alpha }_{a+}f (b )\leq \textstyle\begin{cases} \frac{f (a ) (b-a )^{\alpha }}{\varGamma (\alpha +1 )}, & 1\leq \frac{f (a )}{f (b )}, \\ \frac{b^{\alpha } (f (b )-f (a ) ) ^{\alpha +1}+ (\alpha +1 )f (a ) (f (b ) ) ^{\alpha } (b-a )^{\alpha }}{\varGamma (\alpha +2 ) (f (b ) )^{\alpha }}, & 0\leq \frac{f (a )}{f (b )}< 1 \end{cases} $$
(9)

with \(\alpha >0\).

Theorem 4

([36])

Let \(f: [a,b ]\subset \mathbb{R}_{+}\rightarrow \mathbb{R} _{+}\) and \(f\in L_{1} [a,b ]\). If f is a \(\mathbb{B}\)-convex function on \([a,b ]\), then the following inequality for fractional integrals holds:

$$ J^{\alpha }_{b-}f (a )\leq \textstyle\begin{cases} \frac{f (a ) (b-a )^{\alpha }}{\varGamma (\alpha +1 )}, & 1\leq \frac{f (a )}{f (b )}, \\ \frac{ (bf (a )-af (b ) )^{\alpha +1}+ (f (b ) )^{\alpha +1} (b-a )^{ \alpha } (\alpha b+a )}{b\varGamma (\alpha +2 ) (f (b ) )^{\alpha }}, & \frac{a}{b}\leq \frac{f (a )}{f (b )}< 1, \\ \frac{f (b ) (b-a )^{\alpha } (\alpha b+a )}{b \varGamma (\alpha +2 )}, & 0\leq \frac{f (a )}{f (b )}< \frac{a}{b} \end{cases} $$
(10)

with \(\alpha >0\).

In Theorem 3 and Theorem 4, the inequalities were obtained by getting the multiplier \((1-\lambda )^{\alpha -1}\) and \((\lambda -\frac{a}{b} )^{\alpha -1}\). We derive nearly the same inequalities with changing the multipliers. For example, if we take the multiplier \(\frac{ (\max \{a, \lambda b\} )'}{ [b-\max \{a, \lambda b\} ]^{1-\alpha }}\) for left-sided integral, we deduce inequality (11) and the same inequality given in (10) to take the multiplier \(\frac{ (\max \{a, \lambda b\} )'}{ [\lambda b-a ]^{1-\alpha }}\) for the right-sided integral.

Theorem 5

Let \(f: [a,b ]\subset \mathbb{R}_{+}\rightarrow \mathbb{R} _{+}\) and \(f\in L_{1} [a,b ]\). If f is a \(\mathbb{B}\)-convex function on \([a,b ]\), then the following inequality holds:

$$ J^{\alpha }_{a+}f (b )\leq \textstyle\begin{cases} \frac{f (a ) (b-a )^{\alpha }}{\varGamma (\alpha +1 )}, & 1\leq \frac{f (a )}{f (b )}, \\ \frac{b^{\alpha } (f (b )-f (a ) ) ^{\alpha +1}+ (\alpha +1 )f (a ) (f (b ) ) ^{\alpha } (b-a )^{\alpha }}{\varGamma (\alpha +2 ) (f (b ) )^{\alpha }}, & \frac{a}{b}\leq \frac{f (a )}{f (b )}< 1, \\ \frac{f (b ) (b-a )^{\alpha } (\alpha a+b )}{b \varGamma (\alpha +2 )}, & 0\leq \frac{f (a )}{f (b )}< \frac{a}{b} \end{cases} $$
(11)

with \(\alpha >0\).

Proof

Let f be a \(\mathbb{B}\)-convex function. Thus, inequality (7) holds. For desired inequality, we will multiply both sides of inequality (7) by \(\frac{ (\max \{a, \lambda b\} )'}{ [b- \max \{a, \lambda b\} ]^{1-\alpha }}\) and then integrate with respect to λ over \([0,1 ]\). For the left-hand side of inequality, we get that

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b \} )'}{ [b-\max \{a, \lambda b \} ]^{1-\alpha }}f \bigl(\max \{a, \lambda b \} \bigr)\,d\lambda \\ &\quad = \int ^{\frac{a}{b}}_{0}\frac{ (a )'}{ [b-a ] ^{1-\alpha }}f (a )\,d \lambda + \int ^{1}_{\frac{a}{b}}\frac{ (\lambda b )'}{ [b-\lambda b ]^{1-\alpha }}f ( \lambda b )\,d\lambda \\ &\quad = \int ^{b}_{a}\frac{f (t )}{ [b-t ]^{1-\alpha }}\,dt = \varGamma ( \alpha )J^{\alpha }_{a^{+}}f (b ) . \end{aligned}$$

For the right-hand side of inequality, we have to examine two cases of \(1\leq \frac{f (a )}{f (b )}\) and \(0\leq \frac{f (a )}{f (b )}<1\). For the first case, we have

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b \} )'}{ [b-\max \{a, \lambda b \} ]^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{1}_{0}\frac{ (\max \{a, \lambda b \} )'}{ [b-\max \{a, \lambda b \} ]^{1-\alpha }}f (a )\,d \lambda \\ &\quad =f (a ) \biggl[ \int ^{\frac{a}{b}}_{0}\frac{ (a )'}{ [b-a ]^{1-\alpha }}\,d\lambda + \int ^{1}_{\frac{a}{b}}\frac{ (\lambda b )'}{ [b-\lambda b ]^{1-\alpha }}\,d \lambda \biggr] \\ &\quad =f (a ) b^{\alpha } \int ^{1}_{\frac{a}{b}} [1- \lambda ]^{\alpha -1}\,d \lambda = \frac{f (a ) (b-a ) ^{\alpha }}{\alpha } . \end{aligned}$$

Thus the inequality is

$$ J^{\alpha }_{a^{+}}f (b )\leq \frac{f (a ) (b-a ) ^{\alpha }}{\varGamma (\alpha +1 )} . $$
(12)

For the second case, it can be

  1. (i)

    \(\frac{a}{b}\leq \frac{f (a )}{f (b )}<1\) or

  2. (ii)

    \(0\leq \frac{f (a )}{f (b )}<\frac{a}{b}\).

Let us examine (i). If \(\frac{a}{b}\leq \frac{f (a )}{f (b )}<1\), then the following equality is obtained:

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b \} )'}{ [b-\max \{a, \lambda b \} ]^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{\frac{a}{b}}_{0}\frac{ ( a )'}{ [b-a ] ^{1-\alpha }}f (a )\,d \lambda + \int ^{\frac{f (a )}{f (b )}}_{\frac{a}{b}}\frac{ (\lambda b )'}{ [b-\lambda b ]^{1-\alpha }}f (a )\,d \lambda + \int ^{1}_{ \frac{f (a )}{f (b )}}\frac{ (\lambda b )'}{ [b-\lambda b ]^{1-\alpha }}\lambda f (b )\,d \lambda \\ &\quad =b^{\alpha }f (a ) \int ^{\frac{f (a )}{f (b )}}_{\frac{a}{b}} [1- \lambda ]^{\alpha -1}\,d \lambda +b^{\alpha }f (b ) \int ^{1}_{\frac{f (a )}{f (b )}}\lambda [1- \lambda ]^{\alpha -1}\,d\lambda \\ &\quad =\frac{b^{\alpha } (f (b )-f (a ) ) ^{\alpha +1}+ (\alpha +1 )f (a ) (f (b ) ) ^{\alpha } (b-a )^{\alpha }}{\alpha (\alpha +1 ) (f (b ) )^{\alpha }} . \end{aligned}$$

Hence, we obtain the inequality

$$ J^{\alpha }_{a^{+}}f (b )\leq \frac{b^{\alpha } (f (b )-f (a ) )^{\alpha +1}+ (\alpha +1 )f (a ) (f (b ) )^{\alpha } (b-a )^{\alpha }}{\varGamma (\alpha +2 ) (f (b ) )^{\alpha }} . $$
(13)

Let us introduce (ii). For the case of \(0\leq \frac{f (a )}{f (b )}<\frac{a}{b}\), we have

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b \} )'}{ [b-\max \{a, \lambda b \} ]^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{\frac{f (a )}{f (b )}}_{0}\frac{ ( a )'}{ [b-a ]^{1-\alpha }}f (a )\,d \lambda + \int ^{\frac{a}{b}}_{\frac{f (a )}{f (b )}}\frac{ ( a )'}{ [b-a ]^{1-\alpha }}\lambda f (b )\,d \lambda + \int ^{1}_{\frac{a}{b}}\frac{ (\lambda b )'}{ [b- \lambda b ]^{1-\alpha }}\lambda f (b )\,d\lambda \\ &\quad =b^{\alpha }f (b ) \int ^{1}_{\frac{a}{b}}\lambda [1- \lambda ]^{\alpha -1}\,d\lambda = \frac{f (b ) (b-a ) ^{\alpha } (\alpha a+b )}{b \alpha (\alpha +1 )} . \end{aligned}$$

Then we deduce that

$$ J^{\alpha }_{a^{+}}f (b )\leq \frac{f (b ) (b-a ) ^{\alpha } (\alpha a+b )}{b \varGamma (\alpha +2 )} . $$
(14)

From (12), (13), and (14), we get the desired inequality. □

For the right-sided integral, the inequality can be proved with the same method of the above theorem by using the multiplier \(\frac{ (\max \{a, \lambda b\} )'}{ [\lambda b-a ]^{1-\alpha }}\).

Hermite–Hadamard type inequalities involving Hadamard fractional integral

In this section, we introduce Hermite–Hadamard type inequalities via Hadamard fractional integral.

Theorem 6

Let \(\alpha >0\). If f is a \(\mathbb{B}\)-convex function on \([a,b ]\), then

$$ \mathbf{J}^{\alpha }_{a^{+}}f (b )\leq \textstyle\begin{cases} \frac{f (a ) (\ln \frac{b}{a} )^{\alpha }}{ \varGamma (\alpha +1 )}, & 1\leq \frac{f (a )}{f (b )}, \\ \frac{f (a ) [ (\ln \frac{b}{a} )^{\alpha }- (\ln \frac{f (b )}{f (a )} )^{ \alpha } ]}{\varGamma (\alpha +1 )}+\frac{f (b )}{ \varGamma (\alpha )}\int ^{1}_{\frac{f (a )}{f (b )}} (\ln \frac{1}{\lambda } )^{ (\alpha -1 )}\,d \lambda , & \frac{a}{b}\leq \frac{f (a )}{f (b )}< 1, \\ \frac{f (b )}{\varGamma (\alpha )}\int ^{1}_{ \frac{a}{b}} (\ln \frac{1}{\lambda } )^{ (\alpha -1 )}\,d \lambda , & 0\leq \frac{f (a )}{f (b )}< \frac{a}{b} . \end{cases} $$
(15)

Proof

Let us multiply inequality (7) that comes from \(\mathbb{B}\)-convexity of f by \(\frac{ (\max \{a, \lambda b\} )'}{ \max \{a, \lambda b\} [\ln b-\ln (\max \{a, \lambda b\} ) ] ^{1-\alpha }}\), then integrate with respect to λ over \([0,1 ]\). Hereby, for the left-hand side of inequality, we have that

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln b-\ln (\max \{a, \lambda b\} ) ] ^{1-\alpha }} f \bigl( \max \{a, \lambda b \} \bigr)\,d \lambda \\ &\quad = \int ^{\frac{a}{b}}_{0}\frac{ (a )'}{a [\ln b- \ln a ]^{1-\alpha }}f (a )\,d \lambda + \int ^{1}_{ \frac{a}{b}}\frac{ (\lambda b )'}{\lambda b [\ln b- \ln \lambda b ]^{1-\alpha }}f ( \lambda b )\,d\lambda \\ &\quad = \int ^{b}_{a}\frac{f (t )}{t [\ln \frac{b}{t} ] ^{1-\alpha }}\,dt = \varGamma ( \alpha )\mathbf{J}^{\alpha } _{a^{+}}f (b ) . \end{aligned}$$

If we introduce the right-hand side of the inequality, we come across two cases of \(\frac{f (a )}{f (b )}\). One of these cases is \(1\leq \frac{f (a )}{f (b )}\), and in this situation it is

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln b-\ln (\max \{a, \lambda b\} ) ] ^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{1}_{0}\frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln b-\ln (\max \{a, \lambda b\} ) ] ^{1-\alpha }} f (a ) \,d \lambda \\ &\quad =f (a ) \biggl[ \int ^{\frac{a}{b}}_{0}\frac{ (a )'}{a [\ln b- \ln a ]^{1-\alpha }}\,d\lambda + \int ^{1}_{\frac{a}{b}}\frac{ (\lambda b )'}{ \lambda b [\ln b-\ln \lambda b ]^{1-\alpha }} \,d\lambda \biggr] \\ &\quad =f (a ) \int ^{1}_{\frac{a}{b}}\frac{1}{\lambda } \biggl(\ln \frac{1}{ \lambda } \biggr)^{\alpha -1}\,d\lambda = \frac{f (a ) (\ln \frac{b}{a} )^{\alpha }}{\alpha } . \end{aligned}$$

Thence, with these calculations the first part of requested inequality is

$$ \mathbf{J}^{\alpha }_{a^{+}}f (b )\leq \frac{f (a ) (\ln \frac{b}{a} )^{\alpha }}{\varGamma (\alpha +1 )} . $$
(16)

The other case is \(0\leq \frac{f (a )}{f (b )}<1\) and it must be analyzed in the following separations:

(i) Let \(\frac{a}{b}\leq \frac{f (a )}{f (b )}<1\). We attain the following:

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln b-\ln (\max \{a, \lambda b\} ) ] ^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d\lambda \\ &\quad = \int ^{\frac{a}{b}}_{0} \frac{ (a )'}{a [\ln b- \ln a ]^{1-\alpha }}f (a )\,d \lambda + \int ^{\frac{f (a )}{f (b )}}_{\frac{a}{b}} \frac{ (\lambda b )'}{\lambda b [\ln b-\ln \lambda b ] ^{1-\alpha }} f (a )\,d \lambda \\ &\qquad {}+ \int ^{1}_{\frac{f (a )}{f (b )}} \frac{ (\lambda b )'}{ \lambda b [\ln b-\ln \lambda b ]^{1-\alpha }} \lambda f (b ) \,d\lambda \\ &\quad =f (a ) \int ^{\frac{f (a )}{f (b )}} _{\frac{a}{b}}\frac{1}{\lambda } \biggl(\ln \frac{1}{\lambda } \biggr) ^{\alpha -1} \,d\lambda +f (b ) \int ^{1}_{\frac{f (a )}{f (b )}} \biggl(\ln \frac{1}{\lambda } \biggr)^{\alpha -1}\,d \lambda \\ &\quad =\frac{f (a ) [ (\ln \frac{b}{a} )^{ \alpha }- (\ln \frac{f (b )}{f (a )} ) ^{\alpha } ]}{\alpha }+f (b ) \int ^{1}_{\frac{f (a )}{f (b )}} \biggl(\ln \frac{1}{\lambda } \biggr)^{\alpha -1}\,d \lambda . \end{aligned}$$

Consequently, we obtain that

$$ \mathbf{J}^{\alpha }_{a^{+}}f (b )\leq \frac{f (a ) [ (\ln \frac{b}{a} )^{\alpha }- (\ln \frac{f (b )}{f (a )} )^{\alpha } ]}{ \varGamma (\alpha +1 )}+\frac{f (b )}{\varGamma (\alpha )} \int ^{1}_{ \frac{f (a )}{f (b )}} \biggl(\ln \frac{1}{ \lambda } \biggr)^{\alpha -1}\,d\lambda . $$
(17)

(ii) For \(0\leq \frac{f (a )}{f (b )}< \frac{a}{b}\), we get that

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln b-\ln (\max \{a, \lambda b\} ) ] ^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d\lambda \\ &\quad = \int ^{\frac{f (a )}{f (b )}}_{0} \frac{ (a )'}{a [\ln b-\ln a ]^{1-\alpha }}f (a )\,d \lambda + \int ^{\frac{a}{b}}_{\frac{f (a )}{f (b )}} \frac{ (a )'}{a [\ln b-\ln a ] ^{1-\alpha }} \lambda f (b )\,d\lambda \\ &\qquad {}+ \int ^{1}_{\frac{a}{b}} \frac{ (\lambda b )'}{\lambda b [\ln b-\ln \lambda b ]^{1-\alpha }} \lambda f (b ) \,d\lambda \\ &\quad =f (b ) \int ^{1}_{\frac{a}{b}} \biggl(\ln \frac{1}{\lambda } \biggr)^{\alpha -1}\,d\lambda . \end{aligned}$$

Finally, the inequality is of the following shape:

$$ \mathbf{J}^{\alpha }_{a^{+}}f (b )\leq \frac{f (b )}{ \varGamma (\alpha )} \int ^{1}_{\frac{a}{b}} \biggl(\ln \frac{1}{ \lambda } \biggr)^{\alpha -1}\,d\lambda . $$
(18)

Hence, inequality (15) can be derived from (16), (17), and (18). □

Theorem 7

Let \(\alpha >0\). If f is a \(\mathbb{B}\)-convex function on \([a,b ]\), then

$$ \mathbf{J}^{\alpha }_{b^{-}}f (a )\leq \textstyle\begin{cases} \frac{f (a ) (\ln \frac{b}{a} )^{\alpha }}{ \varGamma (\alpha +1 )}, & 1\leq \frac{f (a )}{f (b )}, \\ \frac{f (a ) (\ln \frac{b f (a )}{a f (b )} )^{\alpha }}{\varGamma (\alpha +1 )}+\frac{f (b )}{\varGamma (\alpha )}\int ^{1}_{\frac{f (a )}{f (b )}} (\ln \frac{\lambda b}{a} ) ^{ (\alpha -1 )}\,d\lambda , & \frac{a}{b}\leq \frac{f (a )}{f (b )}< 1, \\ \frac{f (b )}{\varGamma (\alpha )}\int ^{1}_{ \frac{a}{b}} (\ln \frac{\lambda b}{a} )^{ (\alpha -1 )}\,d \lambda , & 0\leq \frac{f (a )}{f (b )}< \frac{a}{b} . \end{cases} $$
(19)

Proof

Since the function f is \(\mathbb{B}\)-convex, inequality (7) holds. Now, we have to multiply by \(\frac{ (\max \{a, \lambda b \} )'}{\max \{a, \lambda b\} [\ln \lambda b-\ln a ] ^{1-\alpha }}\) and integrate with respect to λ over \([0,1 ]\) to this inequality. Hence, we have

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln \lambda b-\ln a ]^{1-\alpha }} f \bigl( \max \{a, \lambda b \} \bigr)\,d\lambda \\ &\quad = \int ^{\frac{a}{b}}_{0} \frac{ (a )'}{a [\ln \lambda b-\ln a ]^{1-\alpha }}f (a )\,d \lambda + \int ^{1}_{\frac{a}{b}} \frac{ (\lambda b )'}{\lambda b [\ln \lambda b-\ln a ]^{1-\alpha }}f ( \lambda b )\,d\lambda \\ &\quad = \int ^{b}_{a}\frac{f (t )}{t [\ln \frac{t}{a} ] ^{1-\alpha }}\,dt = \varGamma ( \alpha )\mathbf{J}^{\alpha } _{b^{-}}f (a ) . \end{aligned}$$

For the right-hand side of inequality, there are the following two situations that have to be examined. The first is \(1\leq \frac{f (a )}{f (b )}\). Thus,

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln \lambda b-\ln a ]^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d\lambda \\ &\quad = \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln \lambda b-\ln a ]^{1-\alpha }} f (a ) \,d \lambda \\ &\quad =f (a ) \biggl[ \int ^{\frac{a}{b}}_{0} \frac{ (a )'}{a [\ln \lambda b-\ln a ]^{1- \alpha }}\,d\lambda + \int ^{1}_{\frac{a}{b}} \frac{ (\lambda b )'}{ \lambda b [\ln \lambda b-\ln a ]^{1-\alpha }} \,d\lambda \biggr] \\ &\quad =f (a ) \int ^{1}_{\frac{a}{b}}\frac{1}{\lambda } \biggl(\ln \frac{ \lambda b}{a} \biggr)^{\alpha -1}\,d\lambda = \frac{f (a ) (\ln \frac{b}{a} )^{\alpha }}{\alpha } . \end{aligned}$$

So, the inequality is in the following form:

$$ \mathbf{J}^{\alpha }_{b^{-}}f (a )\leq \frac{f (a ) (\ln \frac{b}{a} )^{\alpha }}{\varGamma (\alpha +1 )} . $$
(20)

The second case is \(0\leq \frac{f (a )}{f (b )}<1\), and it should be introduced with the following two cases:

(i) One of the cases is \(\frac{a}{b}\leq \frac{f (a )}{f (b )}<1\). At this stage, we get that

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln \lambda b-\ln a ]^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d\lambda \\ &\quad = \int ^{\frac{a}{b}}_{0} \frac{ (a )'}{a [\ln \lambda b-\ln a ]^{1-\alpha }}f (a )\,d \lambda + \int ^{\frac{f (a )}{f (b )}}_{\frac{a}{b}} \frac{ (\lambda b )'}{\lambda b [\ln \lambda b-\ln a ] ^{1-\alpha }} f (a )\,d \lambda \\ &\qquad {}+ \int ^{1}_{\frac{f (a )}{f (b )}} \frac{ (\lambda b )'}{ \lambda b [\ln \lambda b-\ln a ]^{1-\alpha }} \lambda f (b ) \,d\lambda \\ &\quad =f (a ) \int ^{\frac{f (a )}{f (b )}} _{\frac{a}{b}}\frac{1}{\lambda } \biggl(\ln \frac{\lambda b}{a} \biggr) ^{\alpha -1} \,d\lambda +f (b ) \int ^{1}_{\frac{f (a )}{f (b )}} \biggl(\ln \frac{\lambda b}{a} \biggr)^{\alpha -1}\,d \lambda \\ &\quad =\frac{f (a ) (\ln \frac{b f (a )}{a f (b )} )^{\alpha }}{\alpha }+f (b ) \int ^{1}_{\frac{f (a )}{f (b )}} \biggl(\ln \frac{ \lambda b}{a} \biggr)^{\alpha -1}\,d\lambda . \end{aligned}$$

Therefore, the inequality is obtained

$$ \mathbf{J}^{\alpha }_{b^{-}}f (a )\leq \frac{f (a ) (\ln \frac{b f (a )}{a f (b )} ) ^{\alpha }}{\varGamma (\alpha +1 )}+\frac{f (b )}{ \varGamma (\alpha )} \int ^{1}_{\frac{f (a )}{f (b )}} \biggl(\ln \frac{\lambda b}{a} \biggr)^{\alpha -1}\,d \lambda . $$
(21)

(ii) The other one of the cases is \(0\leq \frac{f (a )}{f (b )}<\frac{a}{b}\). So, we have

$$\begin{aligned} & \int ^{1}_{0} \frac{ (\max \{a, \lambda b\} )'}{\max \{a, \lambda b\} [\ln \lambda b-\ln a ]^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d\lambda \\ &\quad = \int ^{\frac{f (a )}{f (b )}}_{0} \frac{ (a )'}{a [\ln \lambda b-\ln a ]^{1- \alpha }}f (a )\,d \lambda + \int ^{\frac{a}{b}}_{\frac{f (a )}{f (b )}} \frac{ (a )'}{a [\ln \lambda b- \ln a ]^{1-\alpha }} \lambda f (b )\,d\lambda \\ &\qquad {}+ \int ^{1}_{\frac{a}{b}} \frac{ (\lambda b )'}{\lambda b [\ln \lambda b-\ln a ]^{1-\alpha }} \lambda f (b ) \,d\lambda \\ &\quad =f (b ) \int ^{1}_{\frac{a}{b}} \biggl(\ln \frac{\lambda b}{a} \biggr)^{\alpha -1}\,d\lambda . \end{aligned}$$

Thus, we get that

$$ \mathbf{J}^{\alpha }_{b^{-}}f (a )\leq \frac{f (b )}{ \varGamma (\alpha )} \int ^{1}_{\frac{a}{b}} \biggl(\ln \frac{ \lambda b}{a} \biggr)^{\alpha -1}\,d\lambda . $$
(22)

As a result, we have proven inequality (19) by using inequalities (20), (21), and (22). □

Hermite–Hadamard type inequalities involving fractional integral with respect to the function g

Theorem 8

Let \(\alpha >0\) and \(0\leq a< b<+\infty \), \(g: [a,b ]\rightarrow \mathbb{R}\) be an increasing and positive monotone function on \((a,b ]\), having a continuous derivative \(g' (x )\) on \((a,b )\). If \(f: [a,b ] \rightarrow \mathbb{R}_{+}\) is a \(\mathbb{B}\)-convex function and \(f\in L_{1} [a,b ]\), then

$$ \begin{aligned}[b] &I^{\alpha }_{a^{+};g}f (b )\\ &\quad \leq \textstyle\begin{cases} \frac{f (a ) [g (b )-g (a ) ] ^{\alpha }}{\varGamma (\alpha +1 )}, & 1\leq \frac{f (a )}{f (b )}, \\ \frac{f (a ) [ [g (b )-g (a ) ] ^{\alpha }- [g (b )-g (\frac{bf (a )}{f (b )} ) ]^{\alpha } ]}{\varGamma (\alpha +1 )}+\frac{bf (b )}{\varGamma (\alpha )}\int ^{1}_{\frac{f (a )}{f (b )}}\frac{g' (\lambda b ) \lambda }{ [g (b )-g (\lambda b ) ] ^{1-\alpha }}\,d\lambda , & \frac{a}{b}\leq \frac{f (a )}{f (b )}< 1, \\ \frac{bf (b )}{\varGamma (\alpha )}\int ^{1}_{ \frac{a}{b}}\frac{g' (\lambda b )\lambda }{ [g (b )-g (\lambda b ) ]^{1-\alpha }}\,d\lambda , & 0\leq \frac{f (a )}{f (b )}< \frac{a}{b} . \end{cases}\displaystyle \end{aligned} $$
(23)

Proof

Due to \(\mathbb{B}\)-convexity of \(f: [a,b ]\rightarrow \mathbb{R}_{+}\), inequality (7) is valid for all \(\lambda \in [0,1 ]\) and \(0< a< b<+\infty \). If we multiply both sides of this inequality by \(\frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}\) and integrate the resulting inequality with respect to λ over \([0,1 ]\), we obtain for the left-hand side of inequality the following equation:

$$\begin{aligned} & \int ^{1}_{0} \frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}f \bigl(\max \{a, \lambda b \} \bigr)\,d \lambda \\ &\quad = \int ^{\frac{a}{b}}_{0}\frac{g' (a ) (a )'}{ [g (b )-g (a ) ]^{1-\alpha }}f (a )\,d \lambda + \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) (\lambda b )'}{ [g (b )-g (\lambda b ) ]^{1-\alpha }}f ( \lambda b )\,d\lambda \\ &\quad = \int ^{b}_{a}\frac{g' (t )}{ [g (b )-g (t ) ]^{1-\alpha }}f ( t )\,dt \\ &\quad =\varGamma (\alpha )I^{\alpha }_{a^{+};g}f (b ) . \end{aligned}$$

For the right-hand side of inequality, we meet two possibilities. One of these is the possibility of \(1\leq \frac{f (a )}{f (b )}\). In this case, the equality is

$$\begin{aligned} & \int ^{1}_{0} \frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}\max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{1}_{0}\frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}f (a )\,d \lambda \\ &\quad =f (a ) \biggl[ \int ^{\frac{a}{b}}_{0}\frac{g' (a ) (a )'}{ [g (b )-g (a ) ] ^{1-\alpha }}\,d\lambda + \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) (\lambda b )'}{ [g (b )-g (\lambda b ) ] ^{1-\alpha }}\,d\lambda \biggr] \\ &\quad =f (a ) \int ^{b}_{a}\frac{g' (t )}{ [g (b )-g (t ) ]^{1-\alpha }}\,dt = f (a ) \frac{ [g (b )-g (a ) ]^{\alpha }}{\alpha } . \end{aligned}$$

Then we deduce that

$$\begin{aligned}& \int ^{1}_{0}\frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}f \bigl(\max \{a, \lambda b \} \bigr)\,d \lambda \\& \quad \leq \int ^{1}_{0}\frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}\max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda, \\& \varGamma (\alpha )I^{\alpha }_{a^{+};g}f (b ) \leq f (a ) \frac{ [g (b )-g (a ) ] ^{\alpha }}{\alpha }, \\& I^{\alpha }_{a^{+};g}f (b ) \leq \frac{f (a ) [g (b )-g (a ) ]^{\alpha }}{\varGamma (\alpha +1 )} . \end{aligned}$$

In the possibility of \(0\leq \frac{f (a )}{f (b )}<1\), we have to examine the following two cases:

  1. (i)

    \(\frac{a}{b}\leq \frac{f (a )}{f (b )}<1\),

  2. (ii)

    \(0\leq \frac{f (a )}{f (b )}<\frac{a}{b}\).

Let us investigate case (i). If \(\frac{a}{b}\leq \frac{f (a )}{f (b )}<1\), then we have

$$\begin{aligned} & \int ^{1}_{0} \frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}\max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{\frac{a}{b}}_{0}\frac{g' (a ) (a )'}{ [g (b )-g (a ) ]^{1-\alpha }}f (a )\,d \lambda + \int ^{\frac{f (a )}{f (b )}}_{ \frac{a}{b}}\frac{g' (\lambda b ) (\lambda b )'}{ [g (b )-g (\lambda b ) ]^{1-\alpha }}f (a )\,d \lambda \\ &\qquad {}+ \int ^{1}_{\frac{f (a )}{f (b )}}\frac{g' (\lambda b ) (\lambda b )'}{ [g (b )-g (\lambda b ) ]^{1-\alpha }}\lambda f (b )\,d \lambda \\ &\quad =\frac{f (a ) [ [g (b )-g (a ) ] ^{\alpha }- [g (b )-g (\frac{bf (a )}{f (b )} ) ]^{\alpha } ]}{\alpha } \\ &\qquad {}+b f (b ) \int ^{1}_{ \frac{f (a )}{f (b )}}\frac{g' (\lambda b ) \lambda }{ [g (b )-g (\lambda b ) ] ^{1-\alpha }}\,d\lambda . \end{aligned}$$

Therefore, we deduce that

$$ I^{\alpha }_{a^{+};g}f (b )\leq \frac{f (a ) [ [g (b )-g (a ) ]^{\alpha }- [g (b )-g (\frac{bf (a )}{f (b )} ) ] ^{\alpha } ]}{\varGamma (\alpha +1 )}+ \frac{bf (b )}{ \varGamma (\alpha )} \int ^{1}_{\frac{f (a )}{f (b )}}\frac{g' (\lambda b )\lambda }{ [g (b )-g (\lambda b ) ]^{1-\alpha }}\,d \lambda . $$

In the case of (ii), \(0\leq \frac{f (a )}{f (b )}<\frac{a}{b}\), we get

$$\begin{aligned} & \int ^{1}_{0} \frac{g' (\max \{a, \lambda b \} )}{ [g (b )-g (\max \{a, \lambda b \} ) ] ^{1-\alpha }}\max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{\frac{f (a )}{f (b )}}_{0}\frac{g' (a ) (a )'}{ [g (b )-g (a ) ] ^{1-\alpha }}f (a )\,d \lambda + \int ^{\frac{a}{b}}_{\frac{f (a )}{f (b )}}\frac{g' (a ) (a )'}{ [g (b )-g (a ) ]^{1-\alpha }}\lambda f (b )\,d\lambda \\ &\qquad {}+ \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) (\lambda b )'}{ [g (b )-g (\lambda b ) ]^{1-\alpha }}\lambda f (b )\,d\lambda \\ &\quad =b f (b ) \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) \lambda }{ [g (b )-g (\lambda b ) ] ^{1-\alpha }}\,d\lambda . \end{aligned}$$

Consequently, for this case, we obtain the following inequality:

$$ I^{\alpha }_{a^{+};g}f (b )\leq \frac{bf (b )}{ \varGamma (\alpha )} \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) \lambda }{ [g (b )-g (\lambda b ) ] ^{1-\alpha }}\,d\lambda . $$

 □

Theorem 9

Let \(\alpha >0\) and \(0< a< b<+\infty \), \(g: [a,b ]\rightarrow \mathbb{R}\) be an increasing and positive monotone function on \((a,b ]\), having a continuous derivative \(g' (x )\) on \((a,b )\). If \(f: [a,b ] \rightarrow \mathbb{R}_{+}\) is a \(\mathbb{B}\)-convex function and \(f\in L_{1} [a,b ]\), then the following inequality for fractional integrals holds:

$$ I^{\alpha }_{b^{-};g}f (a )\leq \textstyle\begin{cases} \frac{f (a ) [g (b )-g (a ) ] ^{\alpha }}{\varGamma (\alpha +1 )}, & 1\leq \frac{f (a )}{f (b )}, \\ \frac{f (a ) [g (\frac{bf (a )}{f (b )} )-g (a ) ]^{\alpha }}{\varGamma (\alpha +1 )}+ \frac{bf (b )}{\varGamma (\alpha )}\int ^{1}_{\frac{f (a )}{f (b )}}\frac{g' (\lambda b ) \lambda }{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\,d\lambda , & \frac{a}{b}\leq \frac{f (a )}{f (b )}< 1, \\ \frac{bf (b )}{\varGamma (\alpha )}\int ^{1}_{ \frac{a}{b}}\frac{g' (\lambda b )\lambda }{ [g (\lambda b )-g (a ) ]^{1-\alpha }}\,d\lambda , & 0\leq \frac{f (a )}{f (b )}< \frac{a}{b} . \end{cases} $$
(24)

Proof

For the \(\mathbb{B}\)-convex function \(f: [a,b ]\rightarrow \mathbb{R}_{+}\), we have the following inequality:

$$ f \bigl(\max \{a, \lambda b \} \bigr)\leq \max \bigl\{ f (a ), \lambda f (b ) \bigr\} $$
(25)

for all \(\lambda \in [0,1 ]\). To obtain inequality (24), we should multiply both sides of (25) by \(\frac{g' (\max \{a, \lambda b \} )}{ [g (\lambda b )-g (a ) ]^{1-\alpha }}\) and integrate the resulting inequality with respect to λ over \([0,1 ]\). Thus, for the left-hand side of inequality, we get

$$\begin{aligned} & \int ^{1}_{0} \frac{g' (\max \{a, \lambda b \} )}{ [g (\lambda b )-g (a ) ]^{1-\alpha }}f \bigl(\max \{a, \lambda b \} \bigr)\,d\lambda \\ &\quad = \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) (\lambda b )'}{ [g (\lambda b )-g (a ) ]^{1-\alpha }}f (\lambda b )\,d\lambda \\ &\quad = \int ^{b}_{a}\frac{g' (t )}{ [g (t )-g (a ) ]^{1-\alpha }}f (t )\,dt = \varGamma (\alpha ) I^{\alpha }_{b^{-};g}f (a ). \end{aligned}$$

For the right-hand side of inequality, we have to consider two cases as follows.

Firstly, it can be \(1\leq \frac{f (a )}{f (b )}\). In this case, for the right-hand side, we obtain that

$$\begin{aligned} \int ^{1}_{0}\frac{g' (\max \{a, \lambda b \} )}{ [g (\lambda b )-g (a ) ]^{1-\alpha }}\max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda =& \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) (\lambda b )'}{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}f (a )\,d \lambda \\ =&\frac{f (a ) [g (b )-g (a ) ] ^{\alpha }}{\alpha } . \end{aligned}$$

Hence,

$$ \begin{aligned}[b] &\varGamma (\alpha ) I^{\alpha }_{b^{-};g}f (a ) \leq \frac{f (a ) [g (b )-g (a ) ] ^{\alpha }}{\alpha }, \\ &I^{\alpha }_{b^{-};g}f (a )\leq \frac{f (a ) [g (b )-g (a ) ]^{\alpha }}{\varGamma (\alpha +1 )} . \end{aligned} $$
(26)

When we handle the second case \(0\leq \frac{f (a )}{f (b )}<1\), we meet the following two possibilities:

  1. (i)

    \(\frac{a}{b}\leq \frac{f (a )}{f (b )}<1\),

  2. (ii)

    \(0\leq \frac{f (a )}{f (b )}< \frac{a}{b}\).

For (i), let us calculate the right-hand side of inequality and then show the last case.

$$\begin{aligned} & \int ^{1}_{0} \frac{g' (\max \{a, \lambda b \} )}{ [g (\lambda b )-g (a ) ]^{1-\alpha }} \max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda \\ &\quad = \int ^{\frac{f (a )}{f (b )}}_{\frac{a}{b}}\frac{g' ( \lambda b ) (\lambda b )'}{ [g (\lambda b )-g (a ) ]^{1-\alpha }}f (a )\,d \lambda + \int ^{1}_{\frac{f (a )}{f (b )}}\frac{g' ( \lambda b ) (\lambda b )'}{ [g ( \lambda b )-g (a ) ]^{1-\alpha }}\lambda f (b )\,d\lambda \\ &\quad =\frac{f (a ) [g (\frac{bf (a )}{f (b )} )-g (a ) ]^{\alpha }}{\alpha } + b f (b ) \int ^{1}_{ \frac{f (a )}{f (b )}}\frac{g' (\lambda b ) \lambda }{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\,d\lambda . \end{aligned}$$

Thus, we have that

$$ \begin{aligned}[b] &\varGamma (\alpha ) I^{\alpha }_{b^{-};g}f (a ) \leq \frac{f (a ) [g (\frac{bf (a )}{f (b )} )-g (a ) ]^{\alpha }}{\alpha } + b f (b ) \int ^{1}_{ \frac{f (a )}{f (b )}}\frac{g' (\lambda b ) \lambda }{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\,d\lambda , \\ &I^{\alpha }_{b^{-};g}f (a )\leq \frac{f (a ) [g (\frac{bf (a )}{f (b )} )-g (a ) ]^{\alpha }}{\varGamma (\alpha +1 )}+ \frac{bf (b )}{\varGamma (\alpha )} \int ^{1}_{\frac{f (a )}{f (b )}}\frac{g' (\lambda b ) \lambda }{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\,d\lambda . \end{aligned} $$
(27)

For case (ii), we have that

$$\begin{aligned} \int ^{1}_{0}\frac{g' (\max \{a, \lambda b \} )}{ [g (\lambda b )-g (a ) ]^{1-\alpha }}\max \bigl\{ f (a ), \lambda f (b ) \bigr\} \,d \lambda =& \int ^{1}_{\frac{a}{b}}\frac{g' ( \lambda b ) (\lambda b )'}{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\lambda f (b )\,d\lambda \\ =& b f (b ) \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) \lambda }{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\,d\lambda . \end{aligned}$$

Thus, we deduce

$$ \begin{aligned}[b] &\varGamma (\alpha ) I^{\alpha }_{b^{-};g}f (a ) \leq b f (b ) \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b )\lambda }{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\,d\lambda, \\ &I^{\alpha }_{b^{-};g}f (a )\leq \frac{bf (b )}{ \varGamma (\alpha )} \int ^{1}_{\frac{a}{b}}\frac{g' (\lambda b ) \lambda }{ [g (\lambda b )-g (a ) ] ^{1-\alpha }}\,d\lambda . \end{aligned} $$
(28)

Consequently, from (26), (27), and (28), we have inequality (24). □

The given results in Theorem 8 and Theorem 9 are the most general Hermite–Hadamard inequalities for \(\mathbb{B}\)-convex functions.

Corollary 1

Inequalities (23) and (24) are generalized forms of inequalities (11) and (10), respectively.

Indeed, observe that for \(g (x ) = x\), the fractional integral (5) reduces to the left-sided Riemann–Liouville fractional integral (1), and the fractional integral (6) reduces to the right-sided Riemann–Liouville fractional integral (2).

Additionally, these hypotheses are valid in our results. Namely, if we get \(g (x ) = x\) in (23), the inequality returns to (11). Similarly, getting \(g (x ) = x\) in (24) gives inequality (10).

Corollary 2

Hermite–Hadamard inequality for a \(\mathbb{B}\)-convex function involving Hadamard fractional integral is obtained from inequalities (23) and (24).

This can be seen by using the same method in Corollary 1.

We can give the following examples for inequalities (23) and (24) to be more precise.

Example 1

Let us assume that \(\alpha =2\), \(f: [1,2 ]\rightarrow \mathbb{R}_{+}\), \(f (x )=x^{2}\), and \(g: [1,2 ] \rightarrow \mathbb{R}_{+}\), \(g (x )=x^{3}\). Indeed the function f satisfies inequality (7), namely it is a \(\mathbb{B}\)-convex function. Thus, if we examine inequality (23) under all these assumptions, then we deduce

$$ I^{2}_{1^{+};x^{3}}f (2 )= \frac{1}{\varGamma (2 )} \int ^{2}_{1}\frac{3t^{2}\cdot t^{2}}{ [2^{3}-t^{3} ]^{1-2}}\,dt= \frac{2127}{40} < \frac{2\cdot 2^{2}}{ \varGamma (2 )} \int ^{1}_{\frac{1}{2}}\frac{3 (2\lambda )^{2}\lambda }{ [2^{3}- (2\lambda )^{3} ] ^{1-2}}\,d\lambda = \frac{498}{7} $$

because of \(0\leq \frac{f (a )}{f (b )}= \frac{1}{4}<\frac{a}{b}=\frac{1}{2}\). Additionally, if inequality (24) is analyzed in the present circumstances, then one has

$$ I^{2}_{2^{-};x^{3}}f (1 )= \frac{1}{\varGamma (2 )} \int ^{2}_{1}\frac{3t^{2}\cdot t^{2}}{ [t^{3}-1^{3} ]^{1-2}}\,dt= \frac{3081}{40} < \frac{2\cdot 2^{2}}{ \varGamma (2 )} \int ^{1}_{\frac{1}{2}}\frac{3 (2\lambda )^{2}\lambda }{ [ (2\lambda )^{3}-1^{3} ] ^{1-2}}\,d\lambda = \frac{1209}{14} . $$

Furthermore, it can be seen that all inequalities (10), (11), (15), and (19) are valid for the same function.

For more examples of \(\mathbb{B}\)-convex functions, see [9].

References

  1. 1.

    Adilov, G.: Increasing co-radiant functions and Hermite–Hadamard type inequalities. Math. Inequal. Appl. 14(1), 45–60 (2011)

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Adilov, G., Kemali, S.: Hermite–Hadamard-type inequalities for increasing positively homogeneous functions. J. Inequal. Appl. 2007, 021430 (2007)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Adilov, G., Kemali, S.: Abstract convexity and Hermite–Hadamard type inequalities. J. Inequal. Appl. 2009, 943534 (2009)

    MathSciNet  MATH  Article  Google Scholar 

  4. 4.

    Adilov, G., Rubinov, A.: \(\mathbb{B}\)-Convex sets and functions. Numer. Funct. Anal. Optim. 27(3–4), 237–257 (2006)

    MathSciNet  MATH  Article  Google Scholar 

  5. 5.

    Adilov, G., Tinaztepe, G.: The sharpening of some inequalities via abstract convexity. Math. Inequal. Appl. 12(1), 33–51 (2009)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Adilov, G., Yesilce, I.: \(\mathbb{B}^{-1}\)-Convex sets and \(\mathbb{B} ^{-1}\)-measurable maps. Numer. Funct. Anal. Optim. 33(2), 131–141 (2012)

    MathSciNet  MATH  Article  Google Scholar 

  7. 7.

    Adilov, G., Yesilce, I.: On generalization of the concept of convexity. Hacet. J. Math. Stat. 41(5), 723–730 (2012)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    Adilov, G., Yesilce, I.: \(\mathbb{B}^{-1}\)-Convex functions. J. Convex Anal. 24(2), 505–517 (2017)

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Adilov, G., Yesilce, I.: Some important properties of \(\mathbb{B}\)-convex function. J. Nonlinear Convex Anal. 19(4), 669–680 (2018)

    MathSciNet  Google Scholar 

  10. 10.

    Agarwal, P.: Further results on fractional calculus of Saigo operators. Appl. Appl. Math. 7(2), 585–594 (2012)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Agarwal, P.: Some inequalities involving Hadamard-type k-fractional integral operators. Math. Methods Appl. Sci. 40(11), 3882–3891 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Agarwal, P., Al-Mdallal, Q., Cho, Y.J., Jain, S.: Fractional differential equations for the generalized Mittag-Leffler function. Adv. Differ. Equ. 2018, 58 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  13. 13.

    Agarwal, P., Dragomir, S.S., Jleli, M., Samet, B.: Advances in Mathematical Inequalities and Applications. Springer, Berlin (2018)

    Google Scholar 

  14. 14.

    Agarwal, P., Jleli, M., Tomar, M.: Certain Hermite–Hadamard type inequalities via generalized k-fractional integrals. J. Inequal. Appl. 2017, 55 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  15. 15.

    Agarwal, P., Nieto, J.J.: Some fractional integral formulas for the Mittag-Leffler type function with four parameters. Open Math. 13(1), 537–546 (2015)

    MathSciNet  MATH  Article  Google Scholar 

  16. 16.

    Briec, W., Horvath, C.D.: \(\mathbb{B}\)-Convexity. Optimization 53(2), 107–127 (2004)

    MATH  Article  Google Scholar 

  17. 17.

    Dahmani, Z.: On Minkowski and Hermite–Hadamard integral inequalities via fractional integration. Ann. Funct. Anal. 1(1), 51–58 (2010)

    MathSciNet  MATH  Article  Google Scholar 

  18. 18.

    Dragomir, S.S., Pearce, C.E.M.: Selected topics on Hermite–Hadamard inequalities and applications (2000)

  19. 19.

    Hadamard, J.: Etude sur les proprietes des fonctions entieres et en particulier d’une fonction consideree par Riemann. J. Math. Pures Appl. 58, 171–215 (1893)

    MATH  Google Scholar 

  20. 20.

    Hermite, C.H.: Sur deux limites d’une integrale define. Mathesis 3, 82 (1883)

    Google Scholar 

  21. 21.

    Jain, S., Agarwal, P., Kiymaz, I.O., Cetinkaya, A.: Some composition formulae for the MSM fractional integral operator with the multi-index Mittag-Leffler functions. AIP Conf. Proc. 1926(1), 020020 (2018)

    Article  Google Scholar 

  22. 22.

    Jain, S., Mehrez, K., Baleanu, D., Agarwal, P.: Certain Hermite–Hadamard inequalities for logarithmically convex functions with applications. Mathematics 7(2), 163 (2019)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Kemali, S., Yesilce, I., Adilov, G.: \(\mathbb{B}\)-Convexity, \(\mathbb{B} ^{-1}\)-convexity, and their comparison. Numer. Funct. Anal. Optim. 36(2), 133–146 (2015)

    MathSciNet  MATH  Article  Google Scholar 

  24. 24.

    Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives. Theory and Applications. Gordon & Breach, Switzerland (1993)

    Google Scholar 

  25. 25.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    Google Scholar 

  26. 26.

    Liouville, J.: Memoire sur le calcul des differentielles a indices quelconques. J. Éc. Polytech. 13(21), 71–162 (1832)

    Google Scholar 

  27. 27.

    Mehrez, K., Agarwal, P.: New Hermite–Hadamard type integral inequalities for convex functions and their applications. J. Comput. Appl. Math. 350, 274–285 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  28. 28.

    Niculescu, C.P., Persson, L.E.: Old and new on the Hermite–Hadamard inequality. Real Anal. Exch. 29(2), 663–685 (2003)

    MathSciNet  MATH  Article  Google Scholar 

  29. 29.

    Oldham, K.B., Spanier, J.: The Fractional Calculus. Theory and Applications of Differentiation and Integration of Arbitrary Order. Dower, New York (2006)

    Google Scholar 

  30. 30.

    Riemann, B.: Versuch einer allgemeinen Auffasung der Integration und Differentiation. In: Weber, H. (ed.) Bernhard Riemanns gesammelte mathematische Werke und wissenschaftlicher Nachlass. Dover, New York (1953), 353

    Google Scholar 

  31. 31.

    Ruzhansky, M.V., Je Cho, Y., Agarwal, P., Area, I.: Advances in Real and Complex Analysis with Applications. Springer, Singapore (2017)

    Google Scholar 

  32. 32.

    Sarikaya, M.Z., Set, E., Yaldiz, H., Basak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57(9), 2403–2407 (2013)

    MATH  Article  Google Scholar 

  33. 33.

    Sitho, S., Ntouyas, S.K., Agarwal, P., Tariboon, J.: Noninstantaneous impulsive inequalities via conformable fractional calculus. J. Inequal. Appl. 2018, 261 (2018)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Tinaztepe, G., Yesilce, I., Adilov, G.: Separation of \(\mathbb{B}^{-1}\)-convex sets by \(\mathbb{B}^{-1}\)-measurable maps. J. Convex Anal. 21(2), 571–580 (2014)

    MathSciNet  MATH  Google Scholar 

  35. 35.

    Yesilce, I., Adilov, G.: Hermite–Hadamard inequalities for \(L(j)\)-convex functions and \(S(j)\)-convex functions. Malaya J. Mat. 3(3), 346–359 (2015)

    MATH  Google Scholar 

  36. 36.

    Yesilce, I., Adilov, G.: Fractional integral inequalities for \(\mathbb{B}\)-convex functions. Creative Math. Inform. 26(3), 345–351 (2017)

    MathSciNet  MATH  Google Scholar 

  37. 37.

    Yesilce, I., Adilov, G.: Hermite–Hadamard inequalities for \(\mathbb{B}\)-convex and \(\mathbb{B}^{-1}\)-convex functions. Int. J. Nonlinear Anal. Appl. 8(1), 225–233 (2017)

    MATH  Google Scholar 

Download references

Acknowledgements

The author wishes to thank Aksaray University and TUBITAK (The Scientific and Technological Research Council of Turkey).

Availability of data and materials

Not applicable.

Authors’ information

IY is an Assistant Professor in the Department of Mathematics at Aksaray University, Aksaray, Turkey.

Funding

Not applicable.

Author information

Affiliations

  1. Faculty of Science and Letters, Aksaray University, Aksaray, Turkey

    Ilknur Yesilce

Authors
  1. Ilknur Yesilce
    View author publications

    You can also search for this author in PubMed Google Scholar

Contributions

IY completed the work alone. The author read and approved the final manuscript.

Corresponding author

Correspondence to Ilknur Yesilce.

Ethics declarations

Competing interests

The author declares that she has no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Yesilce, I. Inequalities for \(\mathbb{B}\)-convex functions via generalized fractional integral. J Inequal Appl 2019, 194 (2019). https://doi.org/10.1186/s13660-019-2150-3

Download citation

MSC

  • 26A33
  • 52A40
  • 52A41

Keywords

  • Generalized fractional integral
  • Hermite–Hadamard inequality
  • \(\mathbb{B}\)-convex functions
  • Abstract convexity