Ostrowski Type Fractional Integral Inequalities for S -Godunova-Levin Functions via Katugampola Fractional Integrals

Author(s): Ghulam Farid1, Udita N. Katugampola2, Muhammad Usman1
1COMSATS Institute of Information Technology, Attock Campus, Pakistan.
2Department of Mathematics, University of Delaware, Newark, DE 19716, USA.
Copyright © Ghulam Farid, Udita N. Katugampola, Muhammad Usman. 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

In this paper, we give some fractional integral inequalities of Ostrowski type for s-Godunova-Levin functions via Katugampola fractional integrals. We also deduce some known Ostrowski type fractional integral inequalities for Riemann-Liouville fractional integrals.

Keywords: Ostrowski inequality, Fractional integral, s-Godunova-Levin functions.

1. Introduction

In 1938 Ostrowski [1] proved an inequality stated in the following result (see also [2, p.468]).

Theorem 1.1. Let \( f:I \rightarrow \mathbb{R} \) where \(I\) is interval in \( \mathbb{R} \), be a mapping differentiable in \( I^{\circ} \) the interior of \(I\) and \(a, b \in I^{\circ}\), \(a < b \). If \( \big|f^{'}(t) \big| \leq M \), for all \(t \in [a , b] \), then we have \begin{equation*} \bigg| f(x)-\dfrac{1}{b-a}\int_{a} ^{b}f(t)dt \bigg|\leq \left[\frac{1}{4}+\frac{(x-\frac{a+b}{2})^{2}}{(b-a)^{2}}\right](b-a)M, x\in[a,b]. \end{equation*}

Ostrowski inequality gives bounds of integral average of a function \(f\) over an interval \([a,b]\) to its value \(f(x)\) at point \(x\in [a,b].\) Ostrowski and Ostrowski type inequalities have great importance in numerical analysis as they provide the error bound of many quaderature rules [3]. Therefore in recent years, so many such type of inequalities have been obtained and generalized (see [4, 5]).

As fractional calculus is a generalization of classical calculus concerned with operations of integration and differentiation of fractional order so in this research article we will use Katugampola fractional integrals to generalize the Ostrowski type inequalities given in [4].

In [6] Laurent give definition of Riemann-Liouville fractional integrals.

Definition 1.2. [6] Let \(f\in L_{1}[a,b]. \) The Riemann-Liouville fractional integrals \(J_{a+}^{\alpha}f\) and \(J_{b-}^{\alpha}f\) of order \(\alpha>0 \) with \(a\geq0\) are defined by \begin{equation*} J_{a+}^{\alpha}f(x)=\dfrac{1}{\Gamma(\alpha)}\int_{a}^{x}(x-t)^{\alpha-1}f(t)dt, x>a \end{equation*} and \begin{equation*} J_{b-}^{\alpha}f(x)=\dfrac{1}{\Gamma(\alpha)}\int_{x}^{b}(t-x)^{\alpha-1}f(t)dt, x< b, \end{equation*} respectively, where \( \Gamma(\alpha)=\int_{0}^{\infty}e^{-u}u^{\alpha-1}du.\) Here \(\Gamma(\alpha+1)=\alpha\Gamma(\alpha)\),
\( J_{a+}^{0}f(x)=J_{b-}^{0}f(x)=f(x).\) In case of \( \alpha=1 \), the fractional integral reduces to the classical integral.

Definition 1.3. J. Hadamard introduced the Hadamard fractional integral in [7], and is given by \begin{equation*} I_{a^{+}}^{\alpha}f(x)=\dfrac{1}{\Gamma(\alpha)}\int_{a}^{x}\left(log\dfrac{x}{\tau}\right)^{\alpha-1}f(\tau)\dfrac{d\tau}{\tau}, \end{equation*} for \(Re(\alpha)>0,\,x>a\geq0 \).

Recently Katugampola generalized Riemann-Liouville and Hadamard fractional integrals into a single form called Katugampola fractional integrals.

Definition 1.4. [8] Let \([a,b]\) be a finite interval in \( \mathbb{R}\). Then Katugampola fractional integrals of order \(\alpha>0\) for a real valued function \(f\) are defined by \begin{equation*} ^{\rho}I_{a+}^{\alpha}f\left(x\right)=\frac{\rho^{1-\alpha}}{\Gamma\left(\alpha\right)}\int_{a}^{x}t^{\rho-1} \left(x^{\rho}-t^{\rho}\right)^{\alpha-1}f\left(t\right)dt \end{equation*} and \begin{equation*} ^{\rho}I_{b-}^{\alpha}f\left(x\right)=\frac{\rho^{1-\alpha}}{\Gamma\left(\alpha\right)} \int_{x}^{b}t^{\rho-1}\left(t^{\rho}-x^{\rho}\right)^{\alpha-1}f\left(t\right)dt \end{equation*}

with \( a < x\) \(< b\) and \(\rho > 0\).

Where \(\Gamma\left(\alpha\right)\) is the Euler gamma function. For \(\rho=1\), Katugampola fractional integrals give Riemann-Liouville fractional integrals, while \(\rho \rightarrow 0^+\) produces the Hadamard fractional integral. For its proof one can check [8].

The \(\rho \)-Gamma function [9] for any two positive numbers \(x, y\) denoted by \( ^{\rho}\Gamma(x,y)\), is defined by \begin{equation*} ^{\rho}\Gamma(\alpha)=\int_{0}^{\infty}e^{-t^{\rho}}(t^{\rho})^{\alpha-\frac{1}{\rho}}dt. \end{equation*} We can have the following relation
\begin{equation} ^{\rho}\beta(x,y)=\dfrac{^{\rho}\Gamma(x)\,\,^{\rho}\Gamma(y)}{^{\rho}\Gamma(x,y)}. \end{equation}
(1)

Definition 1.5. [10] A non-negative function \(f:I\rightarrow \mathbb{R}\) is said to be \(p\)-function, if for any two points \(x,y \in I\) and \(t \in [0,1]\) \begin{align*} f\left(tx+(1-t)y\right)\leq f(x)+f(y). \end{align*}

Definition 1.6. [11] A function \(f:I\rightarrow \mathbb{R}\) is said to be Godunova-Levin function, if for any two points \(x,y \in I\) and \(t \in (0,1)\) \begin{align*} f\left(tx+(1-t)y\right)\leq \dfrac{f(x)}{t}+\dfrac{f(y)}{1-t}. \end{align*}

Definition 1.7. [12] A function \(f:I\rightarrow \mathbb{R}\) is said to be \(s\)-Godunova-Levin function of first kind, if \( s\in(0,1] \), for all \(x,y \in I\) and \(t \in (0,1)\) then we have \begin{align*} f\left(tx+(1-t)y\right)\leq \dfrac{f(x)}{t^{s}}+\dfrac{f(y)}{1-t^{s}}. \end{align*}

Definition 1.8. [13] A function \(f:I\rightarrow \mathbb{R}\) is said to be \(s\)-Godunova-Levin function of second kind, if \(s\in[0,1]\), for all \(x,y \in I\) and \(t \in (0,1)\) then we have \begin{align*} f\left(tx+(1-t)y\right)\leq \dfrac{f(x)}{t^{s}}+\dfrac{f(y)}{(1-t)^{s}}. \end{align*}

We organize the paper in such a way that in the following section we prove some Ostrowski type fractional integral inequalities for \(s\)-Godunova-Levin functions of second kind via Katugampola fractional integrals. Also we will obtain some corollaries for \(p\)-functions and Godunova-Levin functions and deduce some known results of [14].

2. Ostrowski type fractional integral inequalities for mappings whose derivatives are s-Godunova-Levin of second kind via Katugampola fractional integrals

The following lemma (given and also proved in [9]) is very useful to obtain our results.

Lemma 2.1. Let \(f:[a^{\rho},b^{\rho}] \rightarrow \mathbb{R} \) be a differentiable mapping on \((a^{\rho},b^{\rho})\) with \( a< b \) such that \(f^{'} \in L_{1}[a,b]\), where \(\rho>0 \). Then we have the following equality

\begin{align} \label{11} &\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber\\&=\dfrac{\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}t^{\alpha\rho+\rho-1}f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})dt\nonumber\\&-\dfrac{\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}t^{\alpha\rho+\rho-1}f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})dt;\,x\in[a,b]. \end{align}
(2)

Theorem 2.2. Let \(f:[a^{\rho},\,b^{\rho}]\rightarrow \mathbb{R} \), \( a,b\geq 0 \), \( a< b \) be a differentiable function on \((a^{\rho},b^{\rho})\) and \(f^{'} \in L_{1}[a,b]\). If \( \big|f^{'}\big| \) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{'}(x^{\rho})\big|\leq M\), \(x \in [a,b],\) then the following inequality holds

\begin{align}\label{2.1} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\leq M\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg]\times\nonumber\\&\left[\dfrac{1}{\alpha+1-s}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\,\,^{\rho}\Gamma(\alpha+2-s)}\right];\,x\in[a,b]. \end{align}
(3)

Proof. Using Lemma 2.1 and the fact that \(\big|f^{‘}\big| \) is \(s\)-Godunova-Levin function of second kind, we have \begin{align*} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber \\&\leq \frac{\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|dt \\&+\frac{\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\int_{0} ^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|dt \\& \leq \frac{\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\big|f^{‘}(a^{\rho})\big|\right]dt \\&+\frac{\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\big|f^{‘}(b^{\rho})\big|\right]dt \\& \leq \frac{M\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\right]dt \\&+\frac{M\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\right]dt \\&=M\rho\left[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{2(b-a)}\right]\times\nonumber\\&\int_{0}^{1}\left[t^{\alpha\rho-\rho s+\rho-1}+t^{\alpha\rho+\rho-1}(1-t^{\rho})^{-s}\right]dt. \\&=M\rho\left[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{2(b-a)}\right]\times\nonumber\\&\left[\dfrac{1}{\rho(\alpha+1-s)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha+2-s)}\right] \\&= M\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg]\times\nonumber\\&\left[\dfrac{1}{\alpha+1-s}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\,\,^{\rho}\Gamma(\alpha+2-s)}\right]. \end{align*} Here we use (1). The proof is completed.

Lemma 2.3. (i) If we put \( \rho=1 \) in (3), then we get [4, Theorem 3.1].
(ii) If we put \( \rho=1\) and \( \alpha=1 \) in (3), then we get [4, Corollary 3.1].

Corollary 2.4. In Theorem 2.2 , if we take \(s=0\), which means that \( \big|f^{‘}\big| \) is \(p\)-function, then (3) becomes the following inequality \begin{align*} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber\\ &\leq \dfrac{2M}{\alpha+1}\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg];\,x\in[a,b]. \end{align*}

Corollary 2.5. In Theorem 2.2, if we take \(s=1\), which means that \(\big|f^{‘}\big|\) is Godunova-Levin function, then (3) becomes the following inequality \begin{align*} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber\\ &\leq \dfrac{M(\alpha+1)}{\alpha}\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg];\,x\in[a,b]. \end{align*}

Theorem 2.6. Let \(f:[a^{\rho},b^{\rho}]\rightarrow \mathbb{R}\), \(a,b\geq 0\), \(a< b\) be a differentiable function on \((a^{\rho},b^{\rho})\) and \(f^{'} \in L_{1}[a,b]\). If \(\big|f^{'}\big|^{q},\) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{'}(x^{\rho})\big|\leq M\), \(x \in [a,b]\) then the following inequality for Katugampola fractional integrals holds

\begin{align} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber\\&\leq M\rho\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{(b-a)(1+p(\alpha\rho+\rho-1))^{\frac{1}{p}}}\bigg]\left[\dfrac{1}{1-\rho s}\right]^{\frac{1}{q}};\,x\in[a,b], \end{align}
(4)
with \(\frac{1}{p}+\frac{1}{q}=1\) where \(q>1\).

Proof. Using Lemma 2.1 and then Holder’s inequality, we have

\begin{align}\label{th2.3} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber \\&\leq \frac{\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|dt\nonumber\\ & +\frac{\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\int_{0} ^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|dt\nonumber\\ &\leq\frac{\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\left(\int_{0}^{1}t^{p(\alpha\rho+\rho-1)}dt\right)^{\frac{1}{p}}\left(\int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt\right)^{\frac{1}{q}}\nonumber\\ &+\frac{\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\left(\int_{0}^{1}t^{p(\alpha\rho+\rho-1)}dt\right)^{\frac{1}{p}}\left(\int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt\right)^{\frac{1}{q}}. \end{align}
(5)
Since \(\big|f^{‘}\big|^{q}\) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{‘}(x^{\rho})\big|\leq M\), we get
\begin{align}\label{th2.31} &\int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt \times\nonumber\\&\leq\int_{0}^{1}\left[\frac{1}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|^{q}+\frac{1}{(1-t^{\rho})^{s}}\big|f^{‘}(a^{\rho})\big|^{q}\right]dt\nonumber \\&\leq M^{q}\int_{0}^{1}\left[\frac{1}{(t^{\rho})^{s}}+\frac{1}{(1-t^{\rho})^{s}}\right]dt=\dfrac{1}{1-\rho s} \end{align}
(6)
similarly
\begin{equation} \int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt \leq\dfrac{1}{1-\rho s}. \end{equation}
(7)
We also have
\begin{equation} \int_{0}^{1}t^{p(\alpha\rho+\rho-1)}dt=\dfrac{1}{1+p(\alpha\rho+\rho-1)}. \end{equation}
(8)
Using (6), (7) and (8) in (5) we can get (4).

Remark 2.7. (i) If we put \(\rho=1\) in (4), then we get [4, Theorem 3.2].
(ii) If we put \(\rho=1\) and \(\alpha=1\) in (4), then we get [4, Corollary 3.2].

Corollary 2.8. In Theorem 2.6, if we take \(s=0\), which means that \(\big|f^{‘}\big|\) is \(p\)-function, then (4) becomes the following inequality \begin{align*} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber\\ &\leq \dfrac{M}{\left(1+p(\alpha\rho+\rho-1)\right)^{\frac{1}{p}}}\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg];\,x\in[a,b]. \end{align*}

Corollary 2.9. In Theorem 2.6, if we take \(s=1\), which means that \(\big|f^{‘}\big|\) is Godunova-Levin function, then (4) becomes the following inequality \begin{align*} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\leq \dfrac{M\rho}{\left(1+p(\alpha\rho+\rho-1)\right)^{\frac{1}{p}}}\times\nonumber\\&\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg]\left[\dfrac{1+\alpha}{\alpha\rho}\right]^{\frac{1}{q}};\,x\in[a,b]. \end{align*}

Theorem 2.10. Let \(f:[a^{\rho},b^{\rho}]\rightarrow \mathbb{R}\), \( a,b\geq 0 \), \( a< b \) be a differentiable function on \((a^{\rho},b^{\rho}) \) and \(f^{'} \in L_{1}[a,b]\). If \( \big|f^{'}\big|^{q} \) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{'}(x^{\rho})\big|\leq M\) , \( x \in [a,b] \) \(,q\geq 1,\) then the following inequality for Katugampola fractional integrals holds

\begin{align} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber\\&\leq \dfrac{M\rho}{(\alpha\rho+\rho)^{1-\frac{1}{q}}}\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg]\times\nonumber\\&\left(\dfrac{1}{\rho(\alpha-s+1)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha-s+2)}\right)^{\frac{1}{q}};\,x\in[a,b]. \end{align}
(9)

Proof. Using Lemma 2.1` and power mean inequality, we have

\begin{align} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber \\&\leq \frac{\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|dt\nonumber\\ & +\frac{\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\int_{0} ^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|dt\nonumber \\& \leq \frac{\rho(x^{\rho}-a^{\rho})^{\alpha+1}}{b-a}\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}dt\right)^{1-\frac{1}{q}}\times\nonumber\\&\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt\right)^{\frac{1}{q}}\nonumber \\&+ \frac{\rho(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}dt\right)^{1-\frac{1}{q}}\times\nonumber\\&\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt\right)^{\frac{1}{q}}. \end{align}
(10)
Since \(\big|f^{‘}\big|^{q}\) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{‘}(x^{\rho})\big|\leq M\), we get
\begin{align} &\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt\nonumber \\& \leq \int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|^{q}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\big|f^{‘}(a^{\rho})\big|^{q}\right]dt\nonumber \\& \leq M^{q}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\right]dt \times\nonumber\\&=M^{q}\left[\dfrac{1}{\rho(\alpha-s+1)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha-s+2)}\right] \end{align}
(11)
similarly
\begin{align}\label{2.52} &\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt\times\nonumber\\&\leq M^{q}\left[\dfrac{1}{\rho(\alpha-s+1)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha-s+2)}\right]. \end{align}
(12)
Using (11) and (12) in (10) we can attain (9).

Remarks 2.11. (i) If we put \(\rho=1\) in (9), then we get [4, Theorem 3.3].
(ii) If we put \(\rho=1\) and \(\alpha=1\) in (9), then we get [4, Corollary 3.3].

Corollary 2.12. In Theorem 2.10, if we take \(s=0\), which means that \(\big|f^{‘}\big|\) is \(p\)-function, then (9) becomes the following inequality \begin{align*} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber\\ &\leq \dfrac{M\rho}{(\alpha\rho+\rho)^{1-\frac{1}{q}}}\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg]\left[\dfrac{2}{\rho(\alpha+1)}\right]^{\frac{1}{q}};\,x\in[a,b]. \end{align*}

Corollary 2.13. In Theorem 2.10, if we take \(s=1\), which means that \(\big|f^{‘}\big|\) is Godunova-Levin function, then (9) becomes the following inequality \begin{align*} &\bigg|\left(\dfrac{(x^{\rho}-a^{\rho})^{\alpha}+(b^{\rho}-x^{\rho})^{\alpha}}{b-a}\right)f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}(b-a)}\times\nonumber\\&\left[^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})+\,\,^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})\right] \nonumber \bigg|\nonumber\\ &\leq \dfrac{M\rho}{(\alpha\rho+\rho)^{1-\frac{1}{q}}}\bigg[\frac{(x^{\rho}-a^{\rho})^{\alpha+1}+(b^{\rho}-x^{\rho})^{\alpha+1}}{b-a}\bigg]\left[\dfrac{1+\alpha}{\alpha\rho}\right]^{\frac{1}{q}};\,x\in[a,b]. \end{align*}

We use the following lemma to establish some new results. Its proof is similar to Lemma 2.1.

Lemma 2.14. Let \(f:[a^{\rho},b^{\rho}] \rightarrow \mathbb{R}\) be a differentiable mapping on \((a^{\rho},b^{\rho})\) with \( a^{\rho}< b^{\rho}\) such that \(f^{‘} \in L_{1}[a^{\rho},b^{\rho}]\), where \(\rho>0\). Then we have the following equality

\begin{align} &f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \nonumber\\&=\dfrac{\rho(x^{\rho}-a^{\rho})}{2}\int_{0}^{1}t^{\alpha\rho+\rho-1}f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})dt\nonumber\\&-\dfrac{(b^{\rho}-x^{\rho})}{2}\int_{0}^{1}t^{\alpha\rho+\rho-1}f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})dt;\,x\in[a,b]. \end{align}
(13)

Theorem 2.15. Let \(f:[a^{\rho},b^{\rho}]\rightarrow \mathbb{R}\), \(a,b\geq 0\), \(a< b\) be a differentiable function on \((a^{\rho},b^{\rho})\) and \(f^{'} \in L_{1}[a,b]\). If \(\big|f^{'}\big|\) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{'}(x^{\rho})\big|\leq M\), \(x \in [a,b],\) then the following inequality holds

\begin{align} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\ &\leq \frac{M(b^{\rho}-a^{\rho})}{2}\left[\dfrac{1}{\alpha-s+1}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{^{\rho}\Gamma(\alpha-s+2)}\right];\,x\in[a,b]. \end{align}
(14)

Proof. Using Corollary 2.8 and \(s\)-Godunova-Levin function of second kind of \(\big|f^{‘}\big|\) we proceed as follows \begin{align*} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber \\&\leq \frac{\rho(x^{\rho}-a^{\rho})}{2}\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|dt \\&+\frac{\rho(b^{\rho}-x^{\rho})}{2}\int_{0} ^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|dt \\& \leq \frac{\rho(x^{\rho}-a^{\rho})}{2}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\big|f^{‘}(a^{\rho})\big|\right]dt \\&+\frac{\rho(b^{\rho}-x^{\rho})}{2}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\big|f^{‘}(b^{\rho})\big|\right]dt \\& \leq \frac{M\rho(x^{\rho}-a^{\rho})}{2}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\right]dt \\&+\frac{M\rho(b^{\rho}-x^{\rho})}{2}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\right]dt \\&=M\rho\left[\frac{(x^{\rho}-a^{\rho})+(b^{\rho}-x^{\rho})}{2}\right]\int_{0}^{1}\left[t^{\alpha\rho-\rho s+\rho-1}+t^{\alpha\rho+\rho-1}(1-t^{\rho})^{-s}\right]dt. \\&=M\rho\left[\frac{(x^{\rho}-a^{\rho})+(b^{\rho}-x^{\rho})}{2}\right]\left[\dfrac{1}{\rho(\alpha-s+1)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha-s+2)}\right] \\&= \frac{M(b^{\rho}-a^{\rho})}{2}\left[\dfrac{1}{\alpha-s+1}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{^{\rho}\Gamma(\alpha-s+2)}\right]. \end{align*} Here we use (1). The proof is completed.

Corollary 2.16. In Theorem 2.15, if we take \(s=0\), which means that \( \big|f^{‘}\big|\) is \(p\)-function, then (14) becomes the following inequality \begin{align*} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\ &\leq \dfrac{M(b^{\rho}-a^{\rho})}{\alpha+1};\,x\in[a,b]. \end{align*}

Corollary 2.17. In Theorem 2.15, if we take \(s=1\), which means that \( \big|f^{‘}\big| \) is Godunova-Levin function, then (14) becomes the following inequality \begin{align*} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\ &\leq \dfrac{M(\alpha+1)(b^{\rho}-a^{\rho})}{2\alpha};\,x\in[a,b]. \end{align*}

Theorem 2.18. Let \(f:[a^{\rho},b^{\rho}]\rightarrow \mathbb{R}\), \(a,b\geq 0\), \(a< b\) be a differentiable function on \((a^{\rho},b^{\rho})\)) and \(f^{'} \in L_{1}[a,b]\). If \( \big|f^{'}\big|^{q},\) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{'}(x^{\rho})\big|\leq M\), \(x \in [a,b]\) then the following inequality for Katugampola fractional integrals holds

\begin{align}\label{3100} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\&\leq \frac{M\rho(b^{\rho}-a^{\rho})}{2(1+p(\alpha\rho+\rho-1))^{\frac{1}{p}}}\left[\dfrac{1}{1-\rho s}\right]^{\frac{1}{q}};\,x\in[a,b], \end{align}
(15)
with \(\frac{1}{p}+\frac{1}{q}=1\) where \(q>1\).

Proof. Using Corollary 2.8 and then Holder’s inequality, we have

\begin{align} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber \\&\leq \frac{\rho(x^{\rho}-a^{\rho})}{2}\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|dt\nonumber\\ & +\frac{\rho(b^{\rho}-x^{\rho})}{2}\int_{0} ^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|dt\nonumber\\ &\leq\frac{\rho(x^{\rho}-a^{\rho})}{2}\left(\int_{0}^{1}t^{p(\alpha\rho+\rho-1)}dt\right)^{\frac{1}{p}}\times\nonumber\\&\left(\int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt\right)^{\frac{1}{q}}\nonumber\\ &+\frac{\rho(b^{\rho}-x^{\rho})}{2}\left(\int_{0}^{1}t^{p(\alpha\rho+\rho-1)}dt\right)^{\frac{1}{p}}\times\nonumber\\&\left(\int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt\right)^{\frac{1}{q}}. \end{align}
(16)
Since \( \big|f^{‘}\big|^{q}\) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{‘}(x^{\rho})\big|\leq M\), we get
\begin{align}\label{th2.312} &\int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt\nonumber \\&\leq\int_{0}^{1}\left[\frac{1}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|^{q}+\frac{1}{(1-t^{\rho})^{s}}\big|f^{‘}(a^{\rho})\big|^{q}\right]dt\nonumber \\&\leq M^{q}\int_{0}^{1}\left[\frac{1}{(t^{\rho})^{s}}+\frac{1}{(1-t^{\rho})^{s}}\right]dt=\dfrac{M^{q}}{1-\rho s} \end{align}
(17)
similarly
\begin{equation}\label{th2.323} \int_{0}^{1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt \leq\dfrac{M^{q}}{1-\rho s}. \end{equation}
(18)
We also have
\begin{equation}\label{th2.334} \int_{0}^{1}t^{p(\alpha\rho+\rho-1)}dt=\dfrac{1}{1+p(\alpha\rho+\rho-1)}. \end{equation}
(19)
Using (17), (18) and (19) in (16) we can get (15).

Corollary 2.19. In Theorem 2.18, if we take \(s=0\), which means that \(\big|f^{‘}\big|\) is \(p\)-function, then (15) becomes the following inequality \begin{align*} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\ &\leq \dfrac{M\rho(b^{\rho}-a^{\rho})}{2(p(\alpha\rho+\rho-1)+1)^{\frac{1}{p}}};\,x\in[a,b]. \end{align*}

Corollary 2.20. In Theorem 2.18, if we take \(s=1\), which means that \(\big|f^{‘}\big|\) is Godunova-Levin function, then (15) becomes the following inequality \begin{align*} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\ &\leq \dfrac{M\rho(b^{\rho}-a^{\rho})}{2(p(\alpha\rho+\rho-1)+1)^{\frac{1}{p}}}\left[\dfrac{1}{1-\rho}\right]^{\frac{1}{q}};\,x\in[a,b]. \end{align*}

Theorem 2.21. Let \(f:[a^{\rho},b^{\rho}]\rightarrow \mathbb{R}\), \(a,b\geq 0\), \(a< b\) be a differentiable function on \((a^{\rho},b^{\rho})\) and \(f^{'} \in L_{1}[a,b]\). If \(\big|f^{'}\big|^{q}\) is \(s\)-Godunova-Levin function of second kind and \(\big|f^{'}(x^{\rho})\big|\leq M\), \( x \in [a,b]\)\(,q\geq 1,\) then the following inequality for Katugampola fractional integrals holds

\[\begin{align} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\&\leq \dfrac{M\rho(b^{\rho}-a^{\rho})}{2(\alpha\rho+\rho)^{1-\frac{1}{q}}}\left(\dfrac{1}{\rho(\alpha-s+1)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha-s+2)}\right)^{\frac{1}{q}};\,x\in[a,b]. \end{align}\tag{20}\]

Proof. Using Corollary 2.8 and power mean inequality, we have \[ \begin{align} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|&\leq \frac{\rho(x^{\rho}-a^{\rho})}{2}\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|dt & +\frac{\rho(b^{\rho}-x^{\rho})}{2}\int_{0} ^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|dt & \leq \frac{\rho(x^{\rho}-a^{\rho})}{2}\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}dt\right)^{1-\frac{1}{q}}\times &\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt\right)^{\frac{1}{q}} &+ \frac{\rho(b^{\rho}-x^{\rho})}{2}\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}dt\right)^{1-\frac{1}{q}}\times &\left(\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt\right)^{\frac{1}{q}}. \end{align}\tag{21}\]

Since \( \big|f^{‘}\big|^{q}\) is \(s\)-Godunova-Levin function of second kind on \([a^{\rho},b^{\rho}]\) and \(\big|f^{‘}(x^{\rho})\big|\leq M\), we get
\begin{align}\label{2.510} &\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})a^{\rho})\big|^{q}dt\nonumber \\& \leq \int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}\big|f^{‘}(x^{\rho})\big|^{q}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\big|f^{‘}(a^{\rho})\big|^{q}\right]dt\nonumber \\& \leq M^{q}\int_{0}^{1}\left[\frac{t^{\alpha \rho+\rho-1}}{(t^{\rho})^{s}}+\frac{t^{\alpha \rho+\rho-1}}{(1-t^{\rho})^{s}}\right]dt \nonumber\\&=M^{q}\left[\dfrac{1}{\rho(\alpha-s+1)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha-s+2)}\right] \end{align}
(22)
similarly
\begin{align}\label{2.520} &\int_{0}^{1}t^{\alpha \rho+\rho-1}\big|f^{‘}(t^{\rho}x^{\rho}+(1-t^{\rho})b^{\rho})\big|^{q}dt\nonumber\\&\leq M^{q}\left[\dfrac{1}{\rho(\alpha-s+1)}+\dfrac{^{\rho}\Gamma(\alpha+1)\,\,^{\rho}\Gamma(1-s)}{\rho\,\,^{\rho}\Gamma(\alpha-s+2)}\right]. \end{align}
(23)
Using (22) and (23) in (21) we can attain (20).

Corollary 2.22. In Theorem 2.21, if we take \(s=0\), which means that \(\big|f^{‘}\big|\) is \(p\)-function, then (20) becomes the following inequality \begin{align*} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\ &\leq \dfrac{M\rho(b^{\rho}-a^{\rho})}{2(\rho(\alpha+1))^{1-\frac{1}{q}}}\left[\dfrac{2}{\rho(\alpha+1)} \right]^{\frac{1}{q}};\,x\in[a,b]. \end{align*}

Corollary 2.23. In Theorem 2.21, if we take \(s=1\), which means that \(\big|f^{‘}\big|\) is Godunova-Levin function, then (20) becomes the following inequality \begin{align*} &\bigg|f(x^{\rho})-\dfrac{(\alpha \rho+\rho-1)\Gamma(\alpha)}{\rho^{1-\alpha}}\left[\dfrac{^{\rho}I_{x^{-}}^{\alpha}f(a^{\rho})}{2(x^{\rho}-a^{\rho})^{\alpha}}+\dfrac{^{\rho}I_{x^{+}}^{\alpha}f(b^{\rho})}{2(b^{\rho}-x^{\rho})^{\alpha}}\right] \bigg|\nonumber\\ &\leq \dfrac{M\rho(b^{\rho}-a^{\rho})}{2(\rho(\alpha+1))^{1-\frac{1}{q}}}\left[\dfrac{1+\alpha}{\rho\alpha} \right]^{\frac{1}{q}};\,x\in[a,b]. \end{align*}

Conclusion

All results proved in this research paper can also be deduced for Hadamard fractional integrals just by taking limits when parameter \(\rho \rightarrow 0^{+} \).

Acknowledgement

The research work of Ghulam Farid is supported by Higher Education Commission of Pakistan under NRPU 2016, Project No. 5421.

Competing Interests

The author(s) do not have any competing interests in the manuscript.

References:

  1. Ostrowski, A. (1937). Über die Absolutabweichung einer differentiierbaren Funktion von ihrem Integralmittelwert. Commentarii Mathematici Helvetici, 10(1), 226-227. [Google Scholor]
  2. Mitrinovic, D. S., Pecaric, J., & Fink, A. M. (2012). Inequalities involving functions and their integrals and derivatives (Vol. 53). Springer Science & Business Media.[Google Scholor]
  3. Dragomir, S. S. (2017). Ostrowski-type inequalities for Lebesgue integral: A survey of recent results, Aust. J. Math. Anal. Appl, 14(1), 1-287. [Google Scholor]
  4. Noor, M. A., Noor, K. I., & Awan, M. U. (2014). Fractional Ostrowski inequalities for s-Godunova-Levin functions. International Journal of Analysis and Applications, 5(2), 167-173. [Google Scholor]
  5. Farid, G. (2017). Some new Ostrowski type inequalities via fractional integrals. International Journal of Analysis and Applications, 14(1), 64-68.[Google Scholor]
  6. Laurent, H. (1884). Sur le calcul des dérivées à indices quelconques. Nouvelles annales de mathématiques: journal des candidats aux écoles polytechnique et normale, 3, 240-252.[Google Scholor]
  7. Hadamard, J. (1892). Essai sur l’etude des fonctions, donnees par leur developpement de Taylor. Gauthier-Villars. [Google Scholor]
  8. Katugampola, U. N. (2014). A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl, 6(4), 1-15. [Google Scholor]
  9. Farid, G., Katugampola, U. N. & Usman M. (2017). Ostrowski type fractional integral inequalities for mapping whose derivatives are h-convex via Katugampola fractional integrals. (Submitted). [Google Scholor]
  10. Dragomir, S. S., Pecaric, J., & Persson, L. E. (1995). Some inequalities of Hadamard type. Soochow J. Math, 21(3), 335-341. [Google Scholor]
  11. Godunova, E. K., & Levin, V. I. (1985). Inequalities for functions of a broad class that contains convex, monotone and some other forms of functions. Numerical mathematics and mathematical physics (Russian), 166, 138-142.[Google Scholor]
  12. 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.[Google Scholor]
  13. Dragomir, S. S. (2015). Inequalities of Hermite-Hadamard type for h-convex functions on linear spaces. Proyecciones (Antofagasta), 34(4), 323-341. [Google Scholor]