Generalized fractional Hadamard type inequalities for \(Q_s\)-class functions of the second kind

Author(s): McSylvester Ejighikeme Omaba1, Louis O. Omenyi2
1Department of Mathematics, College of Science, University of Hafr Al Batin, P. O Box 1803 Hafr Al Batin 31991, Saudi Arabia.
2Department of Mathematics/Computer Science/Statistics/Informatics, Alex Ekwueme Federal University, Ndufu-Alike, Ikwo, Nigeria.
Copyright © McSylvester Ejighikeme Omaba, Louis O. Omenyi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

New Hadamard type inequalities for a class of \(s\)-Godunova-Levin functions of the second kind for fractional integrals are obtained. These new estimates extend and generalize some existing results for the \(Q\)-class and \(P\)-class functions. The generalized case for the Katugampola fractional integrals are also given.

Keywords: \(Q_s\)-class functions; Hadamard-type inequalities; Generalized Katugampola fractional integrals; Generalized Riemann-Liouville fractional integral.

1. Introduction and Preliminaries

Hermite-Hadamard (HH) inequalities and other related inequalities for convex functions have been extensively studied by different researchers, see [1,2] and their references. A much broader class of functions known as \(Q\)-class functions was proposed by Godunova and Levin [3,4]. This class of functions is very important because it contains all nonnegative monotone and nonnegative convex functions. Motivated by the fact that this class of functions is much bigger and broader than the class of convex functions (which many authors have given different HH and HH type inequalities on); we, therefore, present, extend and generalize the HH inequalities on this broader class of functions for fractional integrals.

Definition 1([5,6,7,8,9]). A nonnegative function \(f:I\rightarrow \mathbb{R}\) is said to be a \(Q\)-class function, if for all \( x,\,y\in I,\) and \( \lambda\in (0,1),\)

\begin{equation}\label{eqn-Q} f(\lambda x+(1-\lambda)y)\leq \frac{f(x)}{\lambda}+\frac{f(y)}{1-\lambda}. \end{equation}
(1)

Definition 2([5,6]). Let \(D\) be a subset of \(\mathbb{R}\) with at least two elements. A function \(f:I\rightarrow \mathbb{R}\) is said to be a Shur function if

\begin{equation}\label{eqn-Schur}f(x)(x-y)(x-z)+f(y)(y-x)(y-z)+f(z)(z-x)(z-y)\geq 0,\end{equation}
(2)
for all \(x,\,y,\,z\in D\).

Remark 1. Godunova and Levin [3] also showed that the class of Schur functions and the \(Q\)-class functions are equivalent. That is, (1) and (2) concide.

Definition 3 ([5,6]). A nonnegative function \(f:I\rightarrow \mathbb{R}\) is said to be a \(P\)-function, if \(\forall \,x,\,y\in I,\, \lambda\in [0,1]\),

\begin{equation}\label{eqn-P}f(\lambda x+(1-\lambda)y)\leq f(x)+f(y). \end{equation}
(3)

It is also known that \(P(I)\subset Q(I)\), and contains all nonnegative monotone, convex and quasi-convex functions: nonnegative functions satisfying \[f(\lambda x+(1-\lambda)y)\leq\max\{f(x),f(y)\}.\] The following Hamadard type inequalities have already been proved:

Theorem 1([4,5,6]). Let \(f\in Q(I),\,\,a,b\in I,\) with \(a< b\) and \(f\in L^1[a,b]\). Then \[f\bigg(\frac{a+b}{2}\bigg)\leq \frac{4}{b-a}\int_a^b f(x)dx,\] and \[\displaystyle \frac{1}{b-a}\int_a^bp(x)f(x)dx\leq\frac{f(a)+f(b)}{2},\] where \(p(x)=\frac{(b-x)(x-a)}{(b-a)^2}\).

Next, we state some generalizations of the \(Q\)-class function known as the \(s\)-Godunova-Levin functions (\(Q_s\)-class functions):

Definition 4([7,8,9]). A nonnegative function \(f:I\rightarrow \mathbb{R}\) is said to be a \(Q_s\)-class functions of first kind if for \(s\in(0,1]\),

\begin{equation}\label{eqn-Q1}f(\lambda x+(1-\lambda)y)\leq \frac{f(x)}{\lambda^s}+\frac{f(y)}{1-\lambda^s},\end{equation}
(4)
\(\forall\, x,\,y\in I,\, \lambda\in (0,1).\)

Remark 2. Taking \(s=1\) in (4), we obtain the definition of \(Q\)-class function in (1).

Definition 5. A function \(f:I\rightarrow \mathbb{R}\) is said to be a \(Q_s\)-class functions of second kind if for \(s\in[0,1]\),

\begin{equation}\label{eqn-Q2}f(\lambda x+(1-\lambda)y)\leq \frac{f(x)}{\lambda^s}+\frac{f(y)}{(1-\lambda)^s},\end{equation}
(5)
\(\forall x,\,y\in I,\, \lambda\in (0,1).\)

Remark 3. Observe that \(s=0\) in (5) gives the definition of \(P\)-class function in (3), and \(s=1\) gives the definition of \(Q\)-class function in (1).

The paper is organized as follows. Section 2 contains the main results of the paper. In Section 3, we give a concise summary of the paper.

2. Main Results

Our aim is to extend and generalize the result of Theorem 1 to \(s\)-Godunova-Levin functions of second kind given in (5):

2.1. Some Auxilliary Results

Definition 6. A function \(f(t)\) is said to be in \(L_{p,r}[a,b]\) if \[\bigg(\int_a^b|f(t)|^pt^r dt\bigg)^{\frac{1}{p}}< \infty,\,\,\,\,1\leq p< \infty,\,\,r\geq0,\] where \(L_{1,0}[a,b]=L_1[a,b]\).

Theorem 2. Let \(f\in Q_s(I),\,\,a,\,b\in I,\) with \(a< b\) and \(f\in L_1[a,b]\) satisfying (5). Then \[f\bigg(\frac{a+b}{2}\bigg)\leq \frac{2^{s+1}}{b-a}\int_a^b f(x)dx,\] and

\begin{equation}\label{eqn-rhs}\displaystyle \frac{1}{b-a}\int_a^bp_s(x)f(x)dx\leq\frac{f(a)+f(b)}{1+s}, \end{equation}
(6)
where \(p_s(x)=\frac{(b-x)^s(x-a)^s}{(b-a)^{2s}}.\)

Proof. Let \(\lambda=\frac{1}{2}\) in (5) to get \(2^s\big(f(x)+f(y)\big)\geq f\big(\frac{x+y}{2}\big)\). Define \(x=ta +(1-t)b,\,\, y=(1-t)a+tb\), then

\begin{equation}\label{eqn1} 2^s\big[f(ta +(1-t)b)+f((1-t)a+tb)\big]\geq f\bigg(\frac{a+b}{2}\bigg). \end{equation}
(7)
Integrate both sides of (7) over \(t\in[0,1]\) to obtain
\begin{equation}\label{eqn3}2^s\bigg[\int_0^1f(ta +(1-t)b)dt+\int_0^1f((1-t)a+tb)dt\bigg]\geq f\bigg(\frac{a+b}{2}\bigg). \end{equation}
(8)
Let \(I_1=\displaystyle\int_0^1f(ta +(1-t)b)dt\) and \(I_2=\displaystyle\int_0^1f((1-t)a+tb)dt\). For \(I_1\), let \(z=ta +(1-t)b, \,\,z-b=(a-b)t\) and \(dz=(a-b)dt\). Also, when \(t=0, \, z=b\) and when \(t=1, \, z=a\). Thus, \[I_1=\int_b^af(z)\frac{dz}{a-b}=\frac{1}{b-a}\int_a^bf(z)dz.\] Similarly, for \(I_2\), we let \(u=(1-t)a+tb), \,\,u-a=(b-a)t\) and \(du=(b-a)dt\); when \(t=0, \,u=a\) and when \(t=1,\, u=b\). Therefore, \[I_2=\int_a^bf(u)\frac{du}{b-a}=\frac{1}{b-a}\int_a^bf(u)du.\] Combining \(I_1\) and \(I_2\), Inequality (8) becomes \(2^s.2\displaystyle\int_a^bf(x)dx\geq f\bigg(\frac{a+b}{2}\bigg)\), and the first part of the result follows. For the second part of the proof, we multiply (5) by \(\lambda^s(1-\lambda)^s\),
\begin{equation}\label{eqn4} \lambda^s (1-\lambda)^s f(\lambda a+(1-\lambda)b)\leq (1-\lambda)^sf(a)+\lambda^sf(b). \end{equation}
(9)
Similarly,
\begin{equation}\label{eqn5} \lambda^s(1-\lambda)^sf((1-\lambda) a+\lambda b)\leq \lambda^sf(a)+(1-\lambda)^sf(b). \end{equation}
(10)
Now, add (9) and (10), and integrate over \(\lambda\in[0,1]\): \begin{eqnarray*} \int_0^1\lambda^s (1-\lambda)^s\bigg[f(\lambda a+(1-\lambda)b)+f((1-\lambda) a+\lambda b)\bigg]d\lambda\leq [f(a)+f(b)]\int_0^1[\lambda^s+ (1-\lambda)^s]d\lambda. \end{eqnarray*}Evaluating the integrals as before, we have \[\frac{2}{b-a}\int_a^b\frac{(b-x)^s(x-a)^s}{(b-a)^{2s}}f(x)dx\leq \frac{2\big(f(a)+f(b)\big)}{1+s}.\]

One can apply the Integral Chebyshev inequality, to get alternative inequalities of (6) of Theorem 2:

Corollary 1. Suppose that the hypotheses of Theorem 2 hold. Then \[\frac{\Gamma^2(1+s)}{\Gamma(2+2s)}\frac{1}{b-a}\int_a^bf(x)dx\leq \frac{f(a)+f(b)}{1+s},\] and \[\frac{1}{b-a}\int_a^bf(x)dx\leq\frac{f(a)+f(b)}{1-s},\,\,s\in[0,1).\]

Proof. Recall from the proof of Theorem 2, that \begin{eqnarray*} \int_0^1\lambda^s (1-\lambda)^s\bigg[f(\lambda a+(1-\lambda)b)+f((1-\lambda) a+\lambda b)\bigg]d\lambda \leq [f(a)+f(b)]\int_0^1[\lambda^s+ (1-\lambda)^s]d\lambda. \end{eqnarray*} Now, applying the Integral Chebyshev inequality on the integrals \[\displaystyle\int_0^1\lambda^s (1-\lambda)^sf(\lambda a+(1-\lambda)b)d\lambda,\] and \[\displaystyle\int_0^1\lambda^s (1-\lambda)^sf((1-\lambda) a+\lambda b)d\lambda.\] Thus, \begin{align*}\int_0^1\lambda^s (1-\lambda)^sf(\lambda a+(1-\lambda)b)d\lambda&\geq \int_0^1\lambda^s (1-\lambda)^sd\lambda\int_0^1f(\lambda a+(1-\lambda)b)d\lambda\\ &=\frac{\Gamma^2(1+s)}{\Gamma(2+2s)}\frac{1}{b-a}\int_a^bf(x)dx. \end{align*} Similarly, \[\displaystyle\int_0^1\lambda^s (1-\lambda)^sf((1-\lambda) a+\lambda b)d\lambda\geq\frac{\Gamma^2(1+s)}{\Gamma(2+2s)}\frac{1}{b-a}\int_a^bf(x)dx.\] So, we obtain that \[\frac{\Gamma^2(1+s)}{\Gamma(2+2s)}\frac{2}{b-a}\int_a^bf(x)dx\leq \frac{2\big(f(a)+f(b)\big)}{1+s},\] and the first inequality follows.

Next, we write Inequality (5) for \(a, b\) as follows: \[f(\lambda a+(1-\lambda)b)\leq\lambda^{-s}f(a)+(1-\lambda)^{-s}f(b),\] and integrate over \(\lambda\in[0,1]\) to get

\begin{align*}\frac{1}{b-a}\int_a^bf(x)dx&=\int_0^1f(\lambda a+(1-\lambda)b)d\lambda\\ &\leq f(a)\int_0^1\lambda^{-s}d\lambda+ f(b)\int_0^1(1-\lambda)^{-s}d\lambda\\&=\frac{f(a)+f(b)}{1-s}. \end{align*}

2.2. Fractional Hadamard type inequalities

Next, we extend the results for fractional integrals:

Definition 7([10,11]). If \(f\in L_1([a,b])\). Then the right (and respectively the left) Riemann-Liouville fractional integral of order \(\alpha\geq0\) is given by \[I^\alpha_{a^{+}}f(t)=\frac{1}{\Gamma(\alpha)}\int_a^t (t-s)^{\alpha-1} f(s) ds,\,\,\,t\in[a,b],\] and \[I^\alpha_{b^{-}}f(t)=\frac{1}{\Gamma(\alpha)}\int_t^b (s-t)^{\alpha-1} f(s) ds,\,\,\,t\in[a,b].\]

Theorem 3. Let \(f\in Q_s(I),\,\,a,b\in I,\) with \(a< b\) and \(f\in L_1[a,b]\) satisfying (5). Then \[f\bigg(\frac{a+b}{2}\bigg)\leq\frac{2^s\Gamma(\alpha+1)}{(b-a)^\alpha}\big[I_{b^{-}}^\alpha f(a)+I_{a^{+}}^\alpha f(b)\big],\] and \begin{eqnarray*} \frac{\Gamma^2(s\alpha+1)}{(b-a)^{s(\alpha+1)+1}\big[\Gamma(1+s\alpha)+\Gamma(1+s)\Gamma(1-s(1-\alpha))\big]}\bigg[I_{b^{-}}^{s\alpha+1}\big[(b-a)^sf(a)+I_{a^{+}}^{s\alpha+1}\big[(b-a)^sf(b)\bigg]\leq\frac{f(a)+f(b)}{1+s\alpha}. \end{eqnarray*}

Proof. Following similar steps as above, for \(\lambda=\frac{1}{2},\,\, x=ta +(1-t)b,\,\, y=(1-t)a+tb\), we have \[2^s\big[f(ta +(1-t)b)+f((1-t)a+tb)\big]\geq f\bigg(\frac{a+b}{2}\bigg).\] Multiply through by \(t^{\alpha-1}\) and integrate over \(t\in[0,1]\) to obtain

\begin{equation}\label{eqn6} 2^s\bigg[\int_0^1t^{\alpha-1}f(ta +(1-t)b)dt+\int_0^1t^{\alpha-1}f((1-t)a+tb)dt\bigg] \geq \frac{1}{\alpha}f\bigg(\frac{a+b}{2}\bigg). \end{equation}
(11)
Evaluating the integrals: \begin{eqnarray*}\int_0^1t^{\alpha-1}f(ta +(1-t)b)dt&=&\int_b^a\bigg(\frac{z-b}{a-b}\bigg)^{\alpha-1}f(z)\frac{dz}{a-b}\\ &=&\frac{1}{(b-a)^\alpha}\int_a^b(b-z)^{\alpha-1}dz\\&=&\frac{\Gamma(\alpha)}{(b-a)^\alpha}I_{b^{-}}^\alpha f(a). \end{eqnarray*} Similarly, \(\displaystyle\int_0^1t^{\alpha-1}f((1-t)a+tb)dt=\frac{\Gamma(\alpha)}{(b-a)^\alpha}I_{a^{+}}^\alpha f(b)\). Thus, inequality (11) becomes \[2^s\frac{\Gamma(\alpha)}{(b-a)^\alpha}\big[I_{b^{-}}^\alpha f(a)+I_{a^{+}}^\alpha f(b)\big]\geq \frac{1}{\alpha}f\bigg(\frac{a+b}{2}\bigg).\] On the other hand, \begin{eqnarray*} \int_0^1\lambda^s (1-\lambda)^s\bigg[f(\lambda a+(1-\lambda)b)+f((1-\lambda) a+\lambda b)\bigg]d\lambda \leq [f(a)+f(b)]\int_0^1[\lambda^s+ (1-\lambda)^s]d\lambda. \end{eqnarray*} Multiply through by \(\lambda^{s\alpha-s}\) and integrate over \(\lambda\in[0,1]\): \begin{eqnarray*} \int_0^1\lambda^{s\alpha} (1-\lambda)^s\bigg[f(\lambda a+(1-\lambda)b)+f((1-\lambda) a+\lambda b)\bigg]d\lambda \leq [f(a)+f(b)]\int_0^1[\lambda^{s\alpha}+\lambda^{s\alpha-s} (1-\lambda)^s]d\lambda. \end{eqnarray*}Evaluating each of the integrals gives, \begin{align*} \int_0^1\lambda^{s\alpha} (1-\lambda)^s f(\lambda a+(1-\lambda)b)d\lambda&=\int_b^a\bigg(\frac{b-x}{b-a}\bigg)^{s\alpha}\bigg(\frac{x-a}{b-a}\bigg)^sf(x)\frac{dx}{a-b}\\ &=\frac{1}{(b-a)^{s(\alpha+1)+1}}\int_a^b(b-x)^{s\alpha}(x-a)^sf(x)dx\\ &=\frac{\Gamma(s\alpha+1)}{(b-a)^{s(\alpha+1)+1}}I_{a^{+}}^{s\alpha+1}\big[(b-a)^sf(b)\big]. \end{align*} Also, \begin{align*} \int_0^1\lambda^{s\alpha} (1-\lambda)^s f((1-\lambda) a+\lambda b)d\lambda &=\int_a^b\bigg(\frac{x-a}{b-a}\bigg)^{s\alpha}\bigg(\frac{b-x}{b-a}\bigg)^sf(x)\frac{dx}{b-a}\\ &=\frac{1}{(b-a)^{s(\alpha+1)+1}}\int_a^b(x-a)^{s\alpha}(b-x)^sf(x)dx\\ &=\frac{\Gamma(s\alpha+1)}{(b-a)^{s(\alpha+1)+1}}I_{b^{-}}^{s\alpha+1}\big[(b-a)^sf(a)\big]. \end{align*} Finally, \begin{eqnarray*} \int_0^1[\lambda^{s\alpha}+\lambda^{s\alpha-s} (1-\lambda)^s]d\lambda&=&\frac{1}{1+s\alpha}+\frac{\Gamma(1+s)\Gamma(1-s+s\alpha)}{\Gamma(2+s\alpha)}\\ &=&\frac{\Gamma(1+s\alpha)+\Gamma(1+s)\Gamma(1-s(1-\alpha))}{(1+s\alpha)\Gamma(1+s\alpha)}. \end{eqnarray*}Combining the integrals together, we obtain \begin{eqnarray*} \frac{\Gamma(s\alpha+1)}{(b-a)^{s(\alpha+1)+1}}\bigg[I_{b^{-}}^{s\alpha+1}\big[(b-a)^sf(a)+I_{a^{+}}^{s\alpha+1}\big[(b-a)^sf(b)\bigg]\leq \frac{\Gamma(1+s\alpha)+\Gamma(1+s)\Gamma(1-s(1-\alpha))}{(1+s\alpha)\Gamma(1+s\alpha)}\big[f(a)+f(b)\big], \end{eqnarray*}and therefore, \begin{eqnarray*} \frac{\Gamma^2(s\alpha+1)}{(b-a)^{s(\alpha+1)+1}\big[\Gamma(1+s\alpha)+\Gamma(1+s)\Gamma(1-s(1-\alpha))\big]}\bigg[I_{b^{-}}^{s\alpha+1}\big[(b-a)^sf(a)+I_{a^{+}}^{s\alpha+1}\big[(b-a)^sf(b)\bigg]\leq\frac{f(a)+f(b)}{1+s\alpha}. \end{eqnarray*}

Katugampola generalized the above integrals for functions \(f\in X_c^p(a,b)\) as follows: Let \(X_c^p(a,b),\,c\in\mathbb{R},\) denote a set of complex valued Lebesgue measurable functions \(f\) on \([a,b]\) with the norm \[\|f\|_{X_c^p}=\bigg(\int_a^b|t^c f(t)|^p\frac{dt}{t}\bigg)^{\frac{1}{p}}< \infty,\,\,1\leq p< \infty,\] and \[ \|f\|_{X_c^\infty}=\sup ess_{x\in (a,b)}|t^c f(t)|.\]

Definition 8([12,13]). If \(f\in X^p_c(a,b)\). Then the left (and respectively the right) Katugampola fractional integral of order \(\alpha\geq0\) is given by \[^\rho I^{\alpha}_{a^{+}}f(t)=\frac{\rho^{1-\alpha}}{\Gamma(\alpha)}\int_a^t (t^\rho-s^\rho)^{\alpha-1}s^{\rho-1} f(s) ds,\,\,\,t\in[a,b]\] and \[^\rho I^{\alpha}_{b^{-}}f(t)=\frac{\rho^{1-\alpha}}{\Gamma(\alpha)}\int_t^b (s^\rho-t^\rho)^{\alpha-1}s^{\rho-1} f(s) ds,\,\,\,t\in[a,b].\]

Katugampola gave a generalization of different fractional integrals as follows:

Definition 9([12,13]). Let \(f\in X^p_c(a,b),\,\,\alpha\geq0\) and \(\beta, \rho,\eta,\kappa\in\mathbb{R}\). Then the left (and respectively the right) fractional integrals of \(f\) is given by \[^\rho I^{\alpha,\beta}_{a^{+},\eta,\kappa}f(t)=\frac{\rho^{1-\beta}t^\kappa}{\Gamma(\alpha)}\int_a^t (t^\rho-s^\rho)^{\alpha-1}s^{\rho(\eta+1)-1} f(s) ds,\,\,\,0\leq a< t< b\leq\infty\] and \[^\rho I^{\alpha,\beta}_{b^{-},\eta,\kappa}f(t)=\frac{\rho^{1-\beta}t^{\rho\eta}}{\Gamma(\alpha)}\int_t^b (s^\rho-t^\rho)^{\alpha-1}s^{\kappa+\rho-1} f(s) ds,\,\,\,0\leq a< t< b\leq\infty.\]

We generalize Inequality (5) as follows:
\begin{equation}\label{eqn-Q3} f(\lambda^{\tilde{\rho}}x^{\tilde{\rho}}+(1-\lambda^{\tilde{\rho}})y^{\tilde{\rho}})\leq\frac{f(x^{\tilde{\rho}})}{\lambda^{s\tilde{\rho}}}+\frac{f(y^{\tilde{\rho}})}{(1-\lambda^{\tilde{\rho}})^s}, \end{equation}
(12)
with \(\tilde{\rho}=\rho(\eta+1).\)

Theorem 4. Let \(f\in X^p_c(a^{\tilde{\rho}},b^{\tilde{\rho}})\). Suppose \(f\in Q_s(I)\) with \(I=[a^{\tilde{\rho}},b^{\tilde{\rho}}]\) and satisfies (12). Then \[ f\bigg(\frac{a^{\tilde{\rho}}+b^{\tilde{\rho}}}{2}\bigg)\leq \frac{2^s\Gamma(\alpha+1)}{\rho^{1-\beta}}\frac{\tilde{\rho}}{\big(b^{\tilde{\rho}}-a^{\tilde{\rho}}\big)^\alpha}\bigg[\frac{1}{(a^{\tilde{\rho}})^k}{}^\rho I^{\alpha,\beta}_{{b^{\tilde{\rho}}}^{-},\eta,\kappa}f(a^{\tilde{\rho}})+\frac{1}{(b^{\tilde{\rho}})^{\rho\eta}}{}^\rho I^{\alpha,\beta}_{{a^{\tilde{\rho}}}^{+},\eta,\rho\eta}f(b^{\tilde{\rho}})\bigg],\] and \begin{align*}\frac{1}{\rho^{1-\beta}}\frac{\Gamma^2\big(\frac{1+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)}{(b^{\tilde{\rho}}-a^{\tilde{\rho}})^{s(\alpha+1)+\frac{1}{\tilde{\rho}}}}&\frac{1}{\Gamma\big(\frac{1+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)+\Gamma(1+s)\Gamma\big(\frac{1+s\tilde{\rho}(\alpha-1)}{\tilde{\rho}}\big)}\\ \times&\bigg[\frac{1}{(a^{\tilde{\rho}})^k}{}^\rho I^{s\alpha+\frac{1}{\tilde{\rho}},\beta}_{{b^{\tilde{\rho}}}^{-},\eta,\kappa}\big[(b^{\tilde{\rho}}-a^{\tilde{\rho}})^sf(a^{\tilde{\rho}})\big]+\frac{1}{(b^{\tilde{\rho}})^{\rho\eta}}{}^\rho I^{s\alpha+\frac{1}{\tilde{\rho}},\beta}_{{a^{\tilde{\rho}}}^{+},\eta,\rho\eta}\big[(b^{\tilde{\rho}}-a^{\tilde{\rho}})^sf(b^{\tilde{\rho}})\big]\bigg]\leq \frac{f(a^{\tilde{\rho}})+f(b^{\tilde{\rho}})}{1+s\alpha\tilde{\rho}}, \end{align*}where \(\tilde{\rho}:=\rho(\eta+1)\).

Proof. For \(\lambda^{\tilde{\rho}}=\frac{1}{2},\, x^{\tilde{\rho}}=t^{\tilde{\rho}}a^{\tilde{\rho}}+(1-t^{\tilde{\rho}})b^{\tilde{\rho}},\,\,y^{\tilde{\rho}}=(1-t^{\tilde{\rho}})a^{\tilde{\rho}}+t^{\tilde{\rho}}b^{\tilde{\rho}}\), we have \[2^s\big[f(t^{\tilde{\rho}}a^{\tilde{\rho}}+(1-t^{\tilde{\rho}})b^{\tilde{\rho}})+f((1-t^{\tilde{\rho}})a^{\tilde{\rho}}+t^{\tilde{\rho}}b^{\tilde{\rho}})\big]\geq f\bigg(\frac{a^{\tilde{\rho}}+b^{\tilde{\rho}}}{2}\bigg).\] Multiply through by \(t^{\alpha\tilde{\rho}-1},\,\,\alpha,\tilde{\rho}>0\), and integrating over \(t\) in the interval \([0,1]\) to obtain: \begin{eqnarray*} 2^s\bigg[\int_0^1t^{\alpha\tilde{\rho}-1}f(t^{\tilde{\rho}}a^{\tilde{\rho}}+(1-t^{\tilde{\rho}})b^{\tilde{\rho}})dt+\int_0^1t^{\alpha\tilde{\rho}-1}f((1-t^{\tilde{\rho}})a^{\tilde{\rho}}+t^{\tilde{\rho}}b^{\tilde{\rho}})dt\bigg] \geq \frac{1}{\alpha\rho(\eta+1)}f\bigg(\frac{a^{\tilde{\rho}}+b^{\tilde{\rho}}}{2}\bigg){\color{red}.} \end{eqnarray*} Evaluating the first integral, we let \(t^{\tilde{\rho}}=\frac{b^{\tilde{\rho}}-x^{\tilde{\rho}}}{b^{\tilde{\rho}}-a^{\tilde{\rho}}}\) and \(\frac{x^{\tilde{\rho}-1}}{x^{\tilde{\rho}}-b^{\tilde{\rho}}}dx=\frac{1}{t}dt\), to have \begin{align*} \int_0^1t^{\alpha\tilde{\rho}-1}f(t^{\tilde{\rho}}a^{\tilde{\rho}}+(1-t^{\tilde{\rho}})b^{\tilde{\rho}})dt&= \int_0^1t^{\alpha\tilde{\rho}}f(t^{\tilde{\rho}}a^{\tilde{\rho}}+(1-t^{\tilde{\rho}})b^{\tilde{\rho}})t^{-1}dt\\ &=\int_b^a \bigg(\frac{b^{\tilde{\rho}}-x^{\tilde{\rho}}}{b^{\tilde{\rho}}-a^{\tilde{\rho}}}\bigg)^\alpha f(x^{\tilde{\rho}})\frac{x^{\tilde{\rho}-1}}{x^{\tilde{\rho}}-b^{\tilde{\rho}}}dx\\ &=\frac{1}{\big(b^{\tilde{\rho}}-a^{\tilde{\rho}}\big)^\alpha}\int_a^b\frac{x^{\tilde{\rho}-1}}{\big(b^{\tilde{\rho}}-x^{\tilde{\rho}}\big)^{1-\alpha}}f(x^{\tilde{\rho}})dx\\ &=\frac{\Gamma(\alpha)}{\rho^{1-\beta}(b^{\tilde{\rho}})^{\rho\eta}}\frac{1}{\big(b^{\tilde{\rho}}-a^{\tilde{\rho}}\big)^\alpha}{}^\rho I^{\alpha,\beta}_{{a^{\tilde{\rho}}}^{+},\eta,\rho\eta}f(b^{\tilde{\rho}}). \end{align*} Similarly, for the second integral, we obtain: \[\int_0^1t^{\alpha\tilde{\rho}-1}f((1-t^{\tilde{\rho}})a^{\tilde{\rho}}+t^{\tilde{\rho}}b^{\tilde{\rho}})dt=\frac{\Gamma(\alpha)}{\rho^{1-\beta}(a^{\tilde{\rho}})^k}\frac{1}{\big(b^{\tilde{\rho}}-a^{\tilde{\rho}}\big)^\alpha}{}^\rho I^{\alpha,\beta}_{{b^{\tilde{\rho}}}^{-},\eta,\kappa}f(a^{\tilde{\rho}}).\] Combine the two integrals to give, \[\frac{2^s\Gamma(\alpha)}{\rho^{1-\beta}}\frac{\alpha\rho(\eta+1)}{\big(b^{\tilde{\rho}}-a^{\tilde{\rho}}\big)^\alpha}\bigg[\frac{1}{(a^{\tilde{\rho}})^k}{}^\rho I^{\alpha,\beta}_{{b^{\tilde{\rho}}}^{-},\eta,\kappa}f(a^{\tilde{\rho}})+\frac{1}{(b^{\tilde{\rho}})^{\rho\eta}}{}^\rho I^{\alpha,\beta}_{{a^{\tilde{\rho}}}^{+},\eta,\rho\eta}f(b^{\tilde{\rho}})\bigg]\geq f\bigg(\frac{a^{\tilde{\rho}}+b^{\tilde{\rho}}}{2}\bigg).\] To prove the second part of the theorem, we start with the following

\begin{equation}\label{eqn7} \lambda^{s\tilde{\rho}} (1-\lambda^{\tilde{\rho}})^s f(\lambda^{\tilde{\rho}}a^{\tilde{\rho}}+(1-\lambda^{\tilde{\rho}})b^{\tilde{\rho}})\leq (1-\lambda^{\tilde{\rho}})^sf(a^{\tilde{\rho}})+\lambda^{s\tilde{\rho}}f(b^{\tilde{\rho}}), \end{equation}
(13)
and
\begin{equation}\label{eqn8} \lambda^{s\tilde{\rho}}(1-\lambda^{\tilde{\rho}})^s f((1-\lambda^{\tilde{\rho}})a^{\tilde{\rho}}+\lambda^{\tilde{\rho}}b^{\tilde{\rho}})\leq \lambda^{s\tilde{\rho}}f(a^{\tilde{\rho}})+(1-\lambda^{\tilde{\rho}})^sf(b^{\tilde{\rho}}). \end{equation}
(14)
First add (13) and (14); multiply it by \(\lambda^{s\alpha\tilde{\rho}-s\tilde{\rho}}\) and integrate over \(\lambda\in[0,1]\) to give
\begin{align}\label{eqn9} &\int_0^1\lambda^{s\alpha\tilde{\rho}} (1-\lambda^{\tilde{\rho}})^s\bigg[ f(\lambda^{\tilde{\rho}}a^{\tilde{\rho}}+(1-\lambda^{\tilde{\rho}})b^{\tilde{\rho}})+f((1-\lambda^{\tilde{\rho}})a^{\tilde{\rho}}+\lambda^{\tilde{\rho}}b^{\tilde{\rho}})\bigg]d\lambda\\& \leq [f(a^{\tilde{\rho}})+f(b^{\tilde{\rho}})]\int_0^1[\lambda^{s\alpha\tilde{\rho}}+\lambda^{s\alpha\tilde{\rho}-s\tilde{\rho}} (1-\lambda^{\tilde{\rho}})^s]d\lambda.\nonumber \end{align}
(15)
To evaluate the first integral, let \(\lambda^{\tilde{\rho}}=\frac{b^{\tilde{\rho}}-x^{\tilde{\rho}}}{b^{\tilde{\rho}}-a^{\tilde{\rho}}}\), \(\frac{x^{\tilde{\rho}-1}}{x^{\tilde{\rho}}-b^{\tilde{\rho}}}\big(\frac{b^{\tilde{\rho}}-x^{\tilde{\rho}}}{b^{\tilde{\rho}}-a^{\tilde{\rho}}}\big)^{\frac{1}{\tilde{\rho}}}dx=d\lambda\) and thus, \begin{align*} \int_0^1\lambda^{s\alpha\tilde{\rho}} (1-\lambda^{\tilde{\rho}})^sf(\lambda^{\tilde{\rho}}a^{\tilde{\rho}}+(1-\lambda^{\tilde{\rho}})b^{\tilde{\rho}})d\lambda &=\int_b^a\bigg(\frac{b^{\tilde{\rho}}-x^{\tilde{\rho}}}{b^{\tilde{\rho}}-a^{\tilde{\rho}}}\bigg)^{s\alpha}\bigg(\frac{x^{\tilde{\rho}}-a^{\tilde{\rho}}}{b^{\tilde{\rho}}-a^{\tilde{\rho}}}\bigg)^sf(x^{\tilde{\rho}})\frac{x^{\tilde{\rho}-1}}{x^{\tilde{\rho}}-b^{\tilde{\rho}}}\bigg(\frac{b^{\tilde{\rho}}-x^{\tilde{\rho}}}{b^{\tilde{\rho}}-a^{\tilde{\rho}}}\bigg)^{\frac{1}{\tilde{\rho}}}dx\\ &=\frac{1}{(b^{\tilde{\rho}}-a^{\tilde{\rho}})^{s\alpha+s+\frac{1}{\tilde{\rho}}}}\int^b_a(b^{\tilde{\rho}}-x^{\tilde{\rho}})^{s\alpha-1+\frac{1}{\tilde{\rho}}}(x^{\tilde{\rho}}-a^{\tilde{\rho}})^sx^{\tilde{\rho}-1}f(x^{\tilde{\rho}})dx\\ &=\frac{\Gamma(s\alpha+\frac{1}{\tilde{\rho}})}{\rho^{1-\beta}}\frac{1}{(b^{\tilde{\rho}}-a^{\tilde{\rho}})^{s\alpha+s+\frac{1}{\tilde{\rho}}}}\frac{1}{(b^{\tilde{\rho}})^{\rho\eta}}{}^\rho I^{s\alpha+\frac{1}{\tilde{\rho}},\beta}_{{a^{\tilde{\rho}}}^{+},\eta,\rho\eta}\big[(b^{\tilde{\rho}}-a^{\tilde{\rho}})^sf(b^{\tilde{\rho}})\big]. \end{align*} For the second integral, we follow the same procedure to arrive at \begin{eqnarray*} \int_0^1\lambda^{s\alpha\tilde{\rho}} (1-\lambda^{\tilde{\rho}})^sf((1-\lambda^{\tilde{\rho}})a^{\tilde{\rho}}+\lambda^{\tilde{\rho}}b^{\tilde{\rho}})d\lambda =\frac{\Gamma(s\alpha+\frac{1}{\tilde{\rho}})}{\rho^{1-\beta}}\frac{1}{(b^{\tilde{\rho}}-a^{\tilde{\rho}})^{s\alpha+s+\frac{1}{\tilde{\rho}}}}\frac{1}{(a^{\tilde{\rho}})^k}{}^\rho I^{s\alpha+\frac{1}{\tilde{\rho}},\beta}_{{b^{\tilde{\rho}}}^{-},\eta,\kappa}\big[(b^{\tilde{\rho}}-a^{\tilde{\rho}})^sf(a^{\tilde{\rho}})\big]. \end{eqnarray*}Evaluating the integral on the right hand side of (15), we have \begin{align*} \int_0^1[\lambda^{s\alpha\tilde{\rho}}+\lambda^{s\alpha\tilde{\rho}-s\tilde{\rho}} (1-\lambda^{\tilde{\rho}})^s]d\lambda&=\frac{1}{1+s\alpha\tilde{\rho}}+\frac{\Gamma(1+s)\Gamma\big(\frac{1+s\alpha\tilde{\rho}-s\tilde{\rho}}{\tilde{\rho}}\big)}{\tilde{\rho}\Gamma\big(\frac{1+\tilde{\rho}+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)}\\ &=\frac{1}{1+s\alpha\tilde{\rho}}+\frac{\Gamma(1+s)\Gamma\big(\frac{1+s\tilde{\rho}(\alpha-1)}{\tilde{\rho}}\big)}{(1+s\alpha\tilde{\rho})\Gamma\big(\frac{1+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)}\\ &=\frac{\Gamma\big(\frac{1+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)+\Gamma(1+s)\Gamma\big(\frac{1+s\tilde{\rho}(\alpha-1)}{\tilde{\rho}}\big)}{(1+s\alpha\tilde{\rho})\Gamma\big(\frac{1+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)}. \end{align*}Now, combine all the integrals of (15) together to obtain \begin{align*}\frac{\Gamma(s\alpha+\frac{1}{\tilde{\rho}})}{\rho^{1-\beta}}\frac{1}{(b^{\tilde{\rho}}-a^{\tilde{\rho}})^{s\alpha+s+\frac{1}{\tilde{\rho}}}}& \bigg[\frac{1}{(a^{\tilde{\rho}})^k}{}^\rho I^{s\alpha+\frac{1}{\tilde{\rho}},\beta}_{{b^{\tilde{\rho}}}^{-},\eta,\kappa}\big[(b^{\tilde{\rho}}-a^{\tilde{\rho}})^sf(a^{\tilde{\rho}})\big]+\frac{1}{(b^{\tilde{\rho}})^{\rho\eta}}{}^\rho I^{s\alpha+\frac{1}{\tilde{\rho}},\beta}_{{a^{\tilde{\rho}}}^{+},\eta,\rho\eta}\big[(b^{\tilde{\rho}}-a^{\tilde{\rho}})^sf(b^{\tilde{\rho}})\big]\bigg]\\&\leq\frac{\Gamma\big(\frac{1+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)+\Gamma(1+s)\Gamma\big(\frac{1+s\tilde{\rho}(\alpha-1)}{\tilde{\rho}}\big)}{(1+s\alpha\tilde{\rho})\Gamma\big(\frac{1+s\alpha\tilde{\rho}}{\tilde{\rho}}\big)} [f(a^{\tilde{\rho}})+f(b^{\tilde{\rho}})].\hskip1.45in \end{align*}

3. Conclusion

The results focus on new generalized fractional Hadamard type inequalities for \(s\)-Godunova-Levin functions of the second kind. The obtained results generalize and extend already existing results.

Conflicts of Interest

The authors declare no conflict of interest.

Data Availability

No data is required for this research.

Funding Information

No funding is available for this research.

Acknowledgments

The first author acknowledges the continuous support of the University of Hafr Al Batin, Saudi Arabia. We also extend our appreciation to the anonymous referee(s) for a job thoroughly well done.

References:

  1. Sarikaya, M. Z., Set, E., Yaldiz, H., & Basak, N. (2013). Hermite-Hadamard’s inequalities for fractional integrals and related fractional inequalities. Mathematical and Computer Modelling, 57(9-10), 2403-2407. [Google Scholor]
  2. Omaba, M. E., & Nwaeze, E. R. (2020). Generalized fractional inequalities of the Hermite-Hadamard type for convex stochastic processes. Annales Mathematicae Silesianae, 35(1), 90-104. [Google Scholor]
  3. Godunova, E. K., & Levin V. I. (1985). Inequalities for functions of a broad class that contains convex, monotone and some other forms of functions (Russian). Numerical Mathematics and Mathematical Physics, 138, 138-142. [Google Scholor]
  4. Pachpatte, B. G. (2005). Mathematical Inequalities, Volume 67. North-Holland Mathematical Library, Elsevier. [Google Scholor]
  5. Dragomir, S. S., Pecaric, J., & Persson, L. E. (1995). Some inequalities of Hadamard type. Soochow Journal of Mathematics, 21(3), 335-341. [Google Scholor]
  6. Dragomir, S. S., & Pearce, C. E. M. (1996). On Jensen’s inequality for a class of functions of Godunova and Levin. Periodica Mathematica Hungarica, 33(2), 93-100. [Google Scholor]
  7. Noor, M. A., Noor, K. I., Awan, M. U., & Khan, S. (2014). Fractional Hermite-Hadamard inequalities for some new classes of Godunova-Levin functions. Applied Mathematics & Information Sciences, 8(6), 2865-2872. [Google Scholor]
  8. Noor, M. A., Noor, K. I., & Awan, M. U. (2015). Fractional Ostrowski inequalities for \((s, m) \)-Godunova-Levin functions. Facta Universitatis, Series: Mathematics and Informatics, 30(4), 489-499.
  9. Ozdemir M. E. (2015). Some inequalities for \(s\)-Dodunova-Levin type functions. Mathematical Sciences, 9, 27-32. <a href="https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=Fractional+Ostrowski+inequalities+for+%5C%28%28s%2C+m%29+%5C%29-Godunova-Levin+functions.+[Google Scholor]
  10. Budak, H., & Sarikaya, M. Z. (2018). On generalized stochastic fractional integrals and related inequalities. Modern Stochastics: Theory and Applications, 5(4), 471-481. [Google Scholor]
  11. Hernández H, J. E., & Gômez, J. F. (2018). Hermite-Hadamard type inequalities, convex stochastic processes and Katugampola fractional integral. Revista Integración, Temas de Matematicas, 36(2), 133-149. [Google Scholor]
  12. da C. Sousa, J. V., Oliveira, D. S., & de Oliveira, E. C. (2017). Gruss-type inequality by mean of a fractional integral. arXiv preprint arXiv:1705.00965. <a href="https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=Gruss-type+inequality+by+mean+of+a+fractional+integral.+[Google Scholor]
  13. da C. Sousa, J. V., & de Oliveira, E. C. (2018). The Minkowski’s inequality by means of a generalized fractional integral. AIMS Mathematics, 3(1), 131-147. [Google Scholor]