Next Article in Journal
Relativistic Time-of-Arrival Measurements: Predictions, Post-Selection and Causality Problems
Next Article in Special Issue
Spatial Discretization for Stochastic Semilinear Superdiffusion Driven by Fractionally Integrated Multiplicative Space–Time White Noise
Previous Article in Journal
Comparison between Two Competing Newton-Type High Convergence Order Schemes for Equations on Banach Spaces
Previous Article in Special Issue
A Comprehensive Review of the Hermite–Hadamard Inequality Pertaining to Quantum Calculus
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Review

Ostrowski-Type Fractional Integral Inequalities: A Survey

1
Department of Basic Sciences and Related Studies, Mehran University of Engineering and Technology, Jamshoro 76062, Pakistan
2
Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece
3
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
*
Author to whom correspondence should be addressed.
Foundations 2023, 3(4), 660-723; https://doi.org/10.3390/foundations3040040
Submission received: 14 October 2023 / Revised: 7 November 2023 / Accepted: 9 November 2023 / Published: 13 November 2023

Abstract

:
This paper presents an extensive review of some recent results on fractional Ostrowski-type inequalities associated with a variety of convexities and different kinds of fractional integrals. We have taken into account the classical convex functions, quasi-convex functions, ( ζ , m ) -convex functions, s-convex functions, ( s , r ) -convex functions, strongly convex functions, harmonically convex functions, h-convex functions, Godunova-Levin-convex functions, M T -convex functions, P-convex functions, m-convex functions, ( s , m ) -convex functions, exponentially s-convex functions, ( β , m ) -convex functions, exponential-convex functions, ζ ¯ , β , γ , δ -convex functions, quasi-geometrically convex functions, s e -convex functions and n-polynomial exponentially s-convex functions. Riemann–Liouville fractional integral, Katugampola fractional integral, k-Riemann–Liouville, Riemann–Liouville fractional integrals with respect to another function, Hadamard fractional integral, fractional integrals with exponential kernel and Atagana-Baleanu fractional integrals are included. Results for Ostrowski-Mercer-type inequalities, Ostrowski-type inequalities for preinvex functions, Ostrowski-type inequalities for Quantum-Calculus and Ostrowski-type inequalities of tensorial type are also presented.

1. Introduction

The theory of convex analysis offers robust ideas and methodologies to address an extensive spectrum of issues in applied sciences. Numerous mathematicians and researchers have been striving to implement innovative ideas of convexity theory to handle the real world problems arising in nonlinear programming, statistics, control theory, optimization, etc. The theory of convexity also plays a leading role in establishing a wide class of inequalities. The theory of inequalities in the framework of fractional operators gives rise to integral inequalities. The Ostrowski-type inequalities have been developed in the literature for various types of convex functions. Ostrowski derived the following remarkable and amazing integral inequality in 1938.
Theorem 1
([1]). Let Π : I R be a differentiable function in the interior I of I , and let ς 1 , ς 2 I with ς 1 < ς 2 . If | Π ( x ) | M for all x [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( t ) d t | M ( ς 2 ς 1 ) 1 4 + x ς 1 + ς 2 2 2 ( ς 2 ς 1 ) 2
x [ ς 1 , ς 2 ] . In the above famous integral inequality the constant value 1 4 is an amazing choice in the aspect that it cannot be substituted by a smaller one.
The Ostrowski-type inequality is found to be an exalted and applicable tool in several branches of mathematics. Integral inequalities, which are used to determine the bounds of physical quantities, find extensive applications in operator theory, statistics, probability theory, numerical integration, nonlinear analysis, information theory, stochastic analysis, approximation theory, biological sciences, physics and technology. Many researchers have shown a keen interest in developing several variants and aspects of this inequality.
During the past few decades, fractional calculus has evolved as a fast-emerging and prominent area of investigation due to the nonlocal nature of fractional order integral and derivative operators. The tools of fractional calculus have been widely applied to formulate the mathematical models associated with various phenomena and processes occurring in engineering and scientific disciplines. The importance and applications of fractional calculus are eminent in the related literature. In the realm of inequalities, fractional order operators have played a fundamental role in the advancement of the topic. In particular, fractional integral operators are found to be of exceptional value in generalizing the standard integral inequalities. Here, we recall that certain inequalities are quite helpful in investigating optimization problems.
The main aim of this manuscript is to present an up-to-date review of Ostrowski-type inequalities involving different convexities and fractional integral operators. In each section/subsection of the paper, we first describe the fractional integral operators and convexities, related to the results collected for Ostrowski-type fractional integral inequalities. We provide comprehensive details for each Ostrowski-type inequality collected in this survey (without proof) for the convenience of the reader. Our survey paper contains the state-of-the-art literature review on fractional Ostrowski-type inequalities and serves as an excellent platform for the researchers who wish to initiate/develop new work on such inequalities.
The structure of this review paper is designed as follows. Section 2 summarizes Ostrowski-type fractional integral inequalities for different families of convexities, including classical convex functions, quasi-convex functions, ( ζ , m ) -convex functions, s-convex functions, ( s , r ) -convex functions, strongly convex functions, harmonically convex functions, h-convex functions, Godunova-Levin-convex functions, M T -convex functions, P-convex, m-convex functions, ( s , m ) -convex functions, exponentially s-convex functions, ( β , m ) -convex functions, exponential-convex functions, ζ ¯ , β , γ , δ -convex functions, quasi-geometrically convex functions, s e -convex functions and n-polynomial exponentially s-convex functions. Section 3 consists of Ostrowski-type fractional integral inequalities for Katugampola fractional integral operators. In Section 4, we present Ostrowski-type fractional integral inequalities involving k-Riemann–Liouville fractional integrals. Section 5 is concerned with Ostrowski-type fractional integral inequalities for preinvex functions, while Ostrowski-type fractional integral inequalities involving fractional integrals with respect to another function are described in Section 6. Mercer-Ostrowski-type fractional integral inequalities for Riemann–Liouville fractional integral operators are included in Section 7. Ostrowski-type fractional integral inequalities obtained via Hadamard fractional integral are discussed in Section 8. We collect Ostrowski-type fractional integral inequalities for integrals with exponential kernel function in Section 9. Section 10 deals with Ostrowski-type fractional integral inequalities for Atangana-Baleanu-type fractional integral operators, while Section 11 contains Ostrowski-type inequalities in terms of generalized fractional integral operators. In Section 12, we discuss Ostrowski-type fractional integral inequalities obtained via operators of quantum-calculus and Ostrowski-type inequalities of tensorial type are presented in Section 13.

2. Ostrowski-Type Inequalities via Riemann–Liouville Fractional Integral

First, we add the definitions of fractional operators, namely Riemann–Liouville, in the left and right aspects.
Definition 1
([2]). Let Π L [ ς 1 , ς 2 ] . Then, the Riemann–Liouville integrals (left and right aspect) J ς 1 + ζ Π and J ς 2 ζ Π , ζ > 0 , ς 1 0 are stated by
J ς 1 + ζ Π ( x ) = 1 Γ ( ζ ) ς 1 x ( x t ) ζ 1 Π ( t ) d t , x > ς 1 ,
and
J ς 2 ζ Π ( x ) = 1 Γ ( ζ ) x ς 2 ( t x ) ζ 1 Π ( t ) d t , x < ς 2 ,
respectively. Here, Γ ( ζ ) represent the Euler Gamma function and J ς 1 + 0 Π ( x ) = J ς 2 0 Π ( x ) = Π ( x ) .

2.1. Ostrowski-Type Fractional Integral Inequalities for Functions with Bounded Derivative

In this subsection, we present results on Ostrowski-type fractional integral inequalities for functions with bounded derivatives. We have the following results that provide lower and upper bounds for the Ostrowski differences.
Theorem 2
([3]). Let Π : [ ς 1 , ς 2 ] R be a differentiable mapping on ( ς 1 , ς 2 ) and | Π ( x ) | M for all x [ ς 1 , ς 2 ] . Then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) M ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ζ + 1 ,
for all x [ ς 1 , ς 2 ] and ζ 0 .
Theorem 3
([3]). Let the assumptions of this theorem be as stated in Theorem 2 and p > 1 with 1 p + 1 q = 1 . Then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) 1 ( ζ q + 1 ) 1 q ( x ς 1 ) ζ + 1 q Π p , [ ς 1 , x ] + ( ς 2 x ) ζ + 1 q Π p , [ x , ς 2 ] ,
x [ ς 1 , ς 2 ] and ζ 0 where Π p , [ ς 1 , x ] = ς 1 x | Π ( y ) | p d y 1 p .
Theorem 4
([4]). Let the assumptions of this theorem be as stated in Theorem 2. Then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ Γ ( ζ + 1 ) Π ( x ) J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 Γ ( ζ + 2 ) ,
for all x [ ς 1 , ς 2 ] and ζ 0 .
Theorem 5
([4]). Let the assumptions of this theorem be as stated in Theorem 2 and Π L 2 [ ς 1 , ς 2 ] . If m | Π ( x ) | M for all x [ ς 1 , ς 2 ] , then
| ζ Π ( x ) + Π ( ς 1 ) Γ ( ζ ) ( ζ + 1 ) ( x ς 1 ) ζ 1 ζ x ς 1 J x ζ Π ( ς 1 ) + ζ Π ( x ) + Π ( ς 2 ) Γ ( ζ ) ( ζ + 1 ) ( ς 2 x ) ζ 1 ζ ς 2 x J x ζ Π ( ς 2 ) | 1 2 ζ + 1 1 ( ζ + 1 ) 2 ( x ς 1 ) ζ K 1 + ( ς 2 x ) ζ K 2 Γ ( ζ ) 1 2 ζ + 1 1 ( ζ + 1 ) 2 ( x ς 1 ) ζ + ( ς 2 x ) ζ 2 Γ ( ζ ) ( M m )
for all x [ ς 1 , ς 2 ] and ζ 1 , where
K 1 2 = M ( Π 2 ; ς 1 , x ) M 2 ( Π ; ς 1 , x ) , K 2 2 = M ( Π 2 ; x ς 2 ) M 2 ( Π ; x , ς 2 )
and M ( Π ; ς 1 , ς 2 ) = 1 ς 2 ς 1 ς 1 ς 2 Π ( x ) d x .
In the next result, fractional integral inequalities of Ostrowski-Grüss type are presented.
Theorem 6
([5]). Suppose Π : I R is a differentiable function and ς 1 , ς 2 I with ς 1 < ς 2 . If Π : ( ς 1 , ς 2 ) R is bounded on ( ς 1 , ς 2 ) with m Π ( x ) M , for all x [ ς 1 , ς 2 ] , then
| Π ( x ) Γ ( ζ ) ( ς 2 x ) 1 ζ ς 2 ς 1 J ς 1 ζ Π ( ς 2 ) + ( ς 2 x ) 1 ζ J ς 1 ζ 1 Π ( ς 2 ) Π ( ς 2 ) Π ( ς 1 ) ς 2 ς 1 ( ς 2 x ) 1 ζ ( ς 2 ς 1 ) ζ Γ ( ζ + 2 ) ς 2 x Γ ( ζ + 1 ) | ( ς 2 ς 1 ) ( K ( x ) ) 1 2 1 ( ς 2 ς 1 ) Γ 2 ( ζ ) Π 2 2 Π ( ς 2 ) Π ( ς 1 ) ( ς 2 ς 1 ) Γ ( ζ ) 2 1 2 ( K ( x ) ) 1 2 2 Γ ( ζ ) ( ς 2 ς 1 ) ( M m ) ,
for all x [ ς 1 , ς 2 ] and ζ 1 , where
K ( x ) = ( ς 2 x ) 1 ζ ( ς 2 ς 1 ) 2 ζ 2 1 2 ζ + 1 + 1 2 ζ 1 1 ζ + ( v 2 x ) ζ ( ς 2 ς 1 ) 2 ς 2 x ζ ς 2 ς 1 2 ζ 1 ( ς 2 x ) 1 ζ ( ς 2 ς 1 ) ζ 1 ζ ( ζ + 1 ) ς 2 x ζ ( ς 2 ς 1 ) 2 .
Now we give one more Ostrowski-Grüss-type inequality of fractional type.
Theorem 7
([6]). Let the assumptions of this theorem be stated in Theorem 2. Then
| 1 2 Π ( x ) ( ζ + 1 ) Γ ( ζ ) ( ς 2 x ) 1 ζ 2 ( ς 2 ς 1 ) J ς 1 ζ Π ( ς 2 ) + 1 2 ( ς 2 x ) 1 ζ Γ ( ζ ) J ς 1 ζ 1 Π ( ς 2 ) + ( ς 2 x ) 2 ζ 2 ( ς 2 ς 1 ) Γ ( ζ ) J ς 1 ζ 1 Π ( ς 2 ) + ( ς 2 x ) 1 ζ ( x ς 1 ) 2 ( ς 2 ς 1 ) 2 ζ Π ( ς 1 ) | M ( ς 2 x ) 1 ζ ς 2 ς 1 ( ς 2 ς 1 ) ζ ( x ς 1 ) + ( ς 2 x ) ζ ( ς 1 + ς 1 2 x ) 2 ζ ,
where ς 1 x < ς 2 .

2.2. Ostrowski-Type Fractional Integral Inequalities for Convex Functions

Definition 2
([7]). A real-valued function Π is convex on an interval I, if
Π λ ς 1 + 1 λ ς 2 λ Π ς 1 + 1 λ Π ς 2 ,
holds for all ς 1 , ς 2 I and λ [ 0 , 1 ] .
In the following theorems, we show the Ostrowski-type inequalities in the frame of Riemann–Liouville fractional integrals for absolutely continuous and convex functions.
Theorem 8
([8]). Let Π : [ ς 1 , ς 2 ] R be an absolutely continuous function on [ ς 1 , ς 2 ] . If x ( ς 1 , ς 2 ) and there exist real numbers m 1 ( x ) , M 1 ( x ) , m 2 ( x ) , M 2 ( x ) such that
m 1 ( x ) Π ( t ) M 1 ( x ) , f o r   a l l t ( ς 1 , x )
and
m 2 ( x ) Π ( t ) M 2 ( x ) , f o r   a l l t ( x , ς 2 ) .
Then
1 Γ ( ζ + 2 ) m 2 ( x ) ( ς 2 x ) ζ + 1 M 1 ( x ) ( x ς 1 ) ζ + 1 1 Γ ( ζ + 1 ) ( x ς 1 ) ζ Π ( ς 1 ) + ( ς 2 x ) ζ Π ( ς 2 ) J ς 1 + ζ Π ( x ) J ς 2 ζ Π ( x ) Γ ( ζ + 2 ) M 2 ( x ) ( ς 2 x ) ζ + 1 m 1 ( x ) ( x ς 1 ) ζ + 1
and
1 Γ ( ζ + 2 ) m 2 ( x ) ( ς 2 x ) ζ + 1 M 1 ( x ) ( x ς 1 ) ζ + 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) 1 Γ ( ζ + 1 ) ( x ς 1 ) ζ Π ( x ) + ( ς 2 x ) ζ Π ( x ) 1 Γ ( ζ + 2 ) M 2 ( x ) ( ς 2 x ) ζ + 1 m 1 ( x ) ( x ς 1 ) ζ + 1 .
Theorem 9
([8]). Let Π : [ ς 1 , ς 2 ] R be a convex function and x ( ς 1 , ς 2 ) . Then
1 Γ ( ζ + 2 ) Π + ( x ) ( ς 2 x ) ζ + 1 Π ( x ) ( x ς 1 ) ζ + 1 1 Γ ( ζ + 1 ) ( x ς 1 ) ζ Π ( ς 1 ) + ( ς 2 x ) ζ Π ( ς 2 ) J ς 1 + ζ Π ( x ) J ς 2 ζ Π ( x ) 1 Γ ( ζ + 2 ) Π ( ς 2 ) ( ς 2 x ) ζ + 1 Π ( ς 1 ) ( x ς 1 ) ζ + 1
and
1 Γ ( ζ + 2 ) Π + ( x ) ( ς 2 x ) ζ + 1 Π ( x ) ( x ς 1 ) ζ + 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) 1 Γ ( ζ + 1 ) ( x ς 1 ) ζ Π ( x ) + ( ς 2 x ) ζ Π ( x ) 1 Γ ( ζ + 2 ) Π ( ς 2 ) ( ς 2 x ) ζ + 1 Π + ( ς 1 ) ( x ς 1 ) ζ + 1 ,
where Π ± ( · ) are the lateral derivatives of Π .
Theorem 10
([9]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is convex on [ ς 1 , ς 2 ] and x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ( ς 2 ς 1 ) ζ + 1 Π ( x ) Γ ( ζ + 1 ) ( ς 2 ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) + J x ζ Π ( ς 1 ) | 1 ζ + 2 { ( ς 2 x ) ζ + 2 ( ς 2 ς 1 ) ζ + 2 + ( x ς 1 ) ζ + 2 ( ς 2 ς 1 ) ζ + 2 1 ζ + 1 + ς 2 x ς 2 ς 1 | Π ( ς 1 ) | + ( x ς 1 ) ζ + 2 ( ς 2 ς 1 ) ζ + 2 + ( ς 2 x ) ζ + 2 ( ς 2 ς 1 ) ζ + 2 1 ζ + 1 + x ς 1 ς 2 ς 1 | Π ( ς 2 ) | } .
Theorem 11
([9]). Let Π be as in Theorem 10. If | Π | q , q > 1 is convex on [ ς 1 , ς 2 ] , and x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ( ς 2 ς 1 ) ζ + 1 Π ( x ) Γ ( ζ + 1 ) ( ς 2 ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) + J x ζ Π ( ς 1 ) | 1 ( ς 2 ς 1 ) ζ + 1 ( ζ p + 1 ) 1 p [ ( ς 2 x ) ζ + 1 | Π ( ς 1 ) | q + | Π ( ς 2 ) | q 2 1 q + ( x ς 1 ) ζ + 1 | Π ( ς 1 ) | q + | Π ( ς 2 ) | q 2 1 q ] ,
where 1 p + 1 q = 1 and ζ > 0 .
Theorem 12
([9]). Let Π be as in Theorem 10. If | Π | q , q 1 is convex on [ ς 1 , ς 2 ] , and x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ( ς 2 ς 1 ) ζ + 1 Π ( x ) Γ ( ζ + 1 ) ( ς 2 ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) + J x ζ Π ( ς 1 ) | 1 ζ + 1 1 1 q 1 ζ + 2 1 q × { ς 2 x ς 2 ς 1 ζ + 1 ς 2 x ς 2 ς 1 | Π ( ς 1 ) | q + 1 ζ + 1 + x ς 1 ς 2 ς 1 | Π ( ς 2 ) | q 1 q + x ς 1 ς 2 ς 1 ζ + 1 1 ζ + 1 + ς 2 x ς 2 ς 1 | Π ( ς 1 ) | q + x ς 1 ς 2 ς 1 | Π ( ς 2 ) | q 1 q } .
Theorem 13
([9]). Let Π be as in Theorem 10. If | Π | q , q 1 is convex on [ ς 1 , ς 2 ] , and x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ( ς 2 ς 1 ) ζ + 1 Π ( x ) Γ ( ζ + 1 ) ( ς 2 ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) + J x ζ Π ( ς 1 ) | 1 ( ς 2 ς 1 ) ζ + 1 ( ζ p + 1 ) 1 p ( ς 2 x ) ζ + 1 | Π ς 2 + x 2 | + ( x ς 1 ) ζ + 1 | Π ς 1 + x 2 | .
Now we give some weighted fractional Ostrowski-type integral inequalities.
Theorem 14
([10]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 and Π L [ ς 1 , ς 2 ] . If g : [ ς 1 , ς 2 ] R is continuous and | Π | is convex on [ ς 1 , ς 2 ] , then
| J ς 1 + ζ g ( x ) + J ς 2 ζ g ( x ) Π ( x ) J ς 1 + ζ ( Π g ) ( x ) + J ς 2 ζ ( Π g ) ( x ) | g ( ς 2 ς 1 ) Γ ( ζ + 1 ) [ ( x ς 1 ) ζ + 1 ς 2 ς 1 + x 2 ( ζ + 2 ) ( ς 2 x ) + ( ζ + 1 ) ( x ς 1 ) ( ζ + 1 ) ( ζ + 2 ) + ( ς 2 x ) ζ + 2 1 2 1 ( ζ + 1 ) ( ζ + 2 ) ] | Π ( ς 1 ) | + [ ( ς 2 x ) ζ + 1 ς 2 + x 2 ς 1 ( ζ + 1 ) ( ς 2 x ) + ( ζ + 2 ) ( x ς 1 ) ( ζ + 1 ) ( ζ + 2 ) + ( x ς 1 ) ζ + 2 1 2 1 ( ζ + 1 ) ( ζ + 2 ) ] | Π ( ς 2 ) | ,
for all x [ ς 1 , ς 2 ] , where g = sup { | g ( x ) | : x [ ς 1 , ς 2 ] } .
Theorem 15
([10]). Let Π and g be as in Theorem 14. If | Π | q , q > 1 is convex on [ ς 1 , ς 2 ] , then
| J ς 1 + ζ g ( x ) + J ς 2 ζ g ( x ) Π ( x ) J ς 1 + ζ ( Π g ) ( x ) + J ς 2 ζ ( Π g ) ( x ) | g ( ς 2 ς 1 ) 1 q Γ ( ζ + 1 ) 1 1 p ζ + 1 1 p [ ( x ς 1 ) ζ + 1 ( ς 2 ς 1 + x 2 | Π ( ς 1 ) | q + x ς 1 2 | Π ( ς 2 ) | q ) 1 q + ( ς 2 x ) ζ + 1 ς 2 x 2 | Π ( ς 1 ) | q + x + ς 2 2 ς 1 | Π ( ς 2 ) | q 1 q ] ,
for all x [ ς 1 , ς 2 ] , where 1 p + 1 q = 1 .

2.3. Ostrowski-Type Fractional Integral Inequalities for Quasi-Convex Functions

Definition 3
([11]). A real-valued Π is quasi-convex, if
Π λ x + 1 λ y max { Π ( x ) , Π ( y ) } ,
holds for all x , y I and λ [ 0 , 1 ] .
In the following theorems, we explore some weighted Ostrowski-type inequalities in the frame of fractional operator for quasi-convex functions.
Theorem 16
([12]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) where 0 ς 1 < ς 2 and g : [ ς 1 , ς 2 ] R be a continuous function. If | Π | is quasi-convex, then
| J x ζ ( Π g ) ( ς 1 ) + J x + ζ ( Π g ) ( ς 2 ) J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | ( ς 2 x ) ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | , | Π ( ς 2 ) | } g [ x , ς 2 ] , + ( x ς 1 ) ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | , | Π ( ς 1 ) | } g [ ς 1 , x ] , ,
for all x [ ς 1 , ς 2 ] .
Theorem 17
([12]). Let Π be as in Theorem 16. If | Π | q is quasi-convex, q > 1 and 1 p + 1 q = 1 , then
| J x ζ g Π ( ς 1 ) + J x + ζ g Π ( ς 2 ) J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | ( ς 2 x ) ζ + 1 ( ζ p + 1 ) 1 p Γ ( ζ + 1 ) max { | Π ( x ) | q , | Π ( ς 2 ) | q } 1 q g [ x , ς 2 ] , + ( x ς 1 ) ζ + 1 ( ζ p + 1 ) 1 p Γ ( ζ + 2 ) max { | Π ( x ) | q , | Π ( ς 1 ) | q } 1 q g [ ς 1 , x ] , ,
for all x [ ς 1 , ς 2 ] .
Theorem 18
([12]). Let Π be as in Theorem 16. If | Π | q is quasi-convex, q 1 then
| J x ζ g Π ( ς 1 ) + J x + ζ g Π ( ς 2 ) J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | ( ς 2 x ) ζ + 1 Γ ( ζ + 1 ) max { | Π ( x ) | q , | Π ( ς 2 ) | q } 1 q g [ x , ς 2 ] , + ( x ς 1 ) ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | q , | Π ( ς 1 ) | q } 1 q g [ ς 1 , x ] , ,
for all x [ ς 1 , ς 2 ] .
A further result for functions with a bounded first derivative is given in the next theorem.
Theorem 19
([12]). Let the assumptions of this theorem be as stated in Theorem 16. If there exist constants m < M such that < m Π ( x ) M < + for all x [ ς 1 , ς 2 ] , then
| J x ζ g Π ( ς 1 ) + J x + ζ g Π ( ς 2 ) J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | ( M + m ) ( ς 2 x ) ζ + 1 ( x ς 1 ) ζ + 1 2 Γ ( ζ ) 0 1 ( p 1 ( τ ) + p 2 ( τ ) ) d τ ( M m ) ( ς 2 x ) ζ + 1 2 Γ ( ζ + 2 ) g [ x , ς 2 ] , + ( M m ) ( x ς 1 ) ζ + 1 2 Γ ( ζ + 2 ) g [ ς 1 , x ] , ,
where
p 1 ( τ ) = τ 1 ( 1 σ ) ζ 1 g ( σ ς 2 + ( 1 σ ) x ) d σ , p 2 ( τ ) = τ 1 ( 1 σ ) ζ 1 g ( σ ς 1 + ( 1 σ ) x ) d σ .
Definition 4
([13]). A function Π : I R is said to be a strongly quasi-convex function with modulus c 0 , if
Π ( t x + ( 1 t ) y ) max { Π ( x ) , Π ( y ) } c t ( 1 t ) ( y x ) 2 , x , y I , t [ 0 , 1 ] .
The aim of this subsection is to give some Ostrowski-type fractional integral inequalities for strongly quasi-convex functions.
Theorem 20
([14]). Let Π : [ ς 1 , ς 2 ] [ 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) such that Π L [ ς 1 , ς 2 ] . If | Π | is a strongly quasi-convex function with modulus c 0 , on [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( s ) d s | ( ς 2 x ) 2 2 ( ς 2 ς 1 ) max { | Π ( x ) | , | Π ( ς 2 ) | } c ( ς 2 x ) 3 3 ( ς 2 ς 1 ) 2 ( ς 2 x ) 4 4 ( ς 2 ς 1 ) 3 ( x ς 2 ) 2 + ( x ς 1 ) 2 2 ( ς 2 ς 1 ) max { | Π ( x ) | , | Π ( ς 1 ) | } c ( x ς 1 ) 2 1 12 ( ς 2 x ) 2 2 ( ς 2 ς 1 ) + 2 ( ς 2 x ) 3 3 ( ς 2 ς 1 ) 2 ( ς 2 x ) 4 4 ( ς 2 ς 1 ) 3 ,
for each x [ ς 1 , ς 2 ] .
Theorem 21
([14]). Let Π be as in Theorem 20. If | Π | q is a strongly quasi-convex function with modulus c 0 , on [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( s ) d s | ( ς 2 x ) p + 1 ( ς 2 ς 1 ) ( p + 1 ) max { | Π ( x ) | q , | Π ( ς 2 ) | q } c ( ς 2 x ) 2 2 ( ς 2 ς 1 ) 2 ( ς 2 x ) 3 3 ( ς 2 ς 1 ) 3 ( x ς 2 ) 2 1 q + ( x ς 1 ) p + 1 ( ς 2 ς 1 ) ( p + 1 ) max { | Π ( x ) | q , | Π ( ς 1 ) | q } c 1 6 ( ς 2 x ) 2 2 ( ς 2 ς 1 ) 2 + ( ς 2 x ) 3 3 ( ς 2 ς 1 ) 3 ( x ς 1 ) 2 1 q ,
for each x [ ς 1 , ς 2 ] , q > 1 and 1 p + 1 q = 1 .
Theorem 22
([14]). Let Π be as in Theorem 20. If | Π | q is a strongly quasi-convex function with modulus c 0 , on [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( s ) d s | ( ς 2 x ) 2 2 ( ς 2 ς 1 ) max { | Π ( x ) | q , | Π ( ς 2 ) | q } c 2 ( ς 2 x ) 3 ( ς 2 ς 1 ) ( ς 2 x ) 2 2 ( ς 2 ς 1 ) 2 ( x ς 2 ) 2 1 q + ( x ς 1 ) 2 2 ( ς 2 ς 1 ) ( max { | Π ( x ) | q , | Π ( ς 1 ) | q } c ( ( ς 2 x ) 2 6 ( x ς 1 ) 2 ( ς 2 x ) 2 ( x ς 1 ) 2 + 4 ( ς 2 x ) 3 3 ( ς 2 ς 1 ) ( x ς 1 ) 2 ( ς 2 x ) 4 2 ( ς 2 ς 1 ) 2 ( x ς 1 ) 2 ) ( x ς 1 ) 2 ) 1 q ,
for each x [ ς 1 , ς 2 ] .
In the next, we present fractional weighted Ostrowski-type fractional integral inequalities via a strongly quasi-convex function.
Theorem 23
([14]). Let Π be as in Theorem 20 and g : [ ς 1 , ς 2 ] R be a continuous function. If | Π | is a strongly quasi-convex function with modulus c 0 , on [ ς 1 , ς 2 ] , then
| J x ζ g Π ( ς 1 ) + J x + ζ g Π ( ς 2 ) J x ζ g Π ( ς 1 ) + J x + ζ g Π ( ς 2 ) Π ( ς 1 ) | ( ς 2 x ) ζ + 1 Γ ( ζ + 1 ) max { | Π ( x ) | , | Π ( ς 2 ) | } g [ x , ς 2 ] , ( ς 2 x ) ζ + 1 Γ ( ζ + 3 ) ( ς 2 x ) ζ + 1 Γ ( ζ + 4 ) c ( x ς 2 ) 2 g [ x , ς 2 ] , + ( x ς 1 ) ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | , | Π ( ς 1 ) | } g [ ς 1 , x ] , ( ( x ς 1 ) ζ + 1 Γ ( ζ + 3 ) ( x ς 1 ) ζ + 1 Γ ( ζ + 4 ) c ( x ς 1 ) 2 ) g [ x , ς 2 ] , ,
for each x [ ς 1 , ς 2 ] .
Theorem 24
([14]). Let Π be as in Theorem 20 and g : [ ς 1 , ς 2 ] R be a continuous function. If | Π | q is a strongly quasi-convex function with modulus c 0 , q > 1 and 1 p + 1 q = 1 , then
| J x ζ g Π ( ς 1 ) + J x + ζ g Π ( ς 2 ) J x ζ g Π ( ς 1 ) + J x + ζ g Π ( ς 2 ) Π ( ς 1 ) | ( ς 2 x ) ζ + 1 ( ζ p + 1 ) 1 p Γ ( ζ + 1 ) g [ x , ς 2 ] , max { | Π ( x ) | q , | Π ( ς 2 ) | q } c 6 ( x ς 2 ) 2 1 q + ( x ς 1 ) ζ + 1 ( ζ p + 1 ) 1 p Γ ( ζ + 1 ) g [ ς 1 , x ] , max { | Π ( x ) | q , | Π ( ς 1 ) | q } c 6 ( x ς 1 ) 2 1 q ,
for each x [ ς 1 , ς 2 ] .

2.4. Ostrowski-Type Fractional Integral Inequalities for ( ζ , m ) -Convex Functions

Definition 5
([15]). The function Π : [ 0 , b ] R , b > 0 is said to be ( ζ , m ) -convex, if
Π ( t x + ( 1 t ) y ) t ζ Π ( x ) + m ( 1 t ζ ) Π ( y ) ,
for all x , y [ 0 , b ] , ( ζ , m ) [ 0 , 1 ] 2 and t [ 0 , 1 ] .
Ostrowski-type fractional integral inequalities pertaining to Riemann–Liouville fractional integral for ( ζ , m ) -convex functions are presented in the following theorems.
Theorem 25
([16]). Let I be an open real interval such that [ 0 , ) I and Π : I R be a differentiable mapping on I such that Π L [ m ς 1 , m ς 2 ] , where m ς 1 , m ς 2 I with ς 1 < ς 2 , m ( 0 , 1 ] . If | Π | is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] for ( ζ , m ) [ 0 , 1 ] 2 and | Π ( x ) | M , then
| ( x m ς 1 ) ζ + ( m ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 I x ζ Π ( m ς 1 ) + I x ζ Π ( m ς 1 ) M ( x m ς 1 ) ζ + 1 + ( m ς 2 x ) ζ + 1 ς 2 ς 1 1 + m ζ 1 + 2 ζ ,
for all x [ m ς 1 , m ς 2 ] .
Theorem 26
([16]). Let Π be as in Theorem 25. If | Π | q , q > 1 is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] for ( ζ , m ) [ 0 , 1 ] 2 and | Π ( x ) | M , then
| ( x m ς 1 ) ζ + ( m ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 I x ζ Π ( m ς 1 ) + I x ζ Π ( m ς 1 ) M 1 ζ p + 1 1 p ( x m ς 1 ) ζ + 1 + ( m ς 2 x ) ζ + 1 ς 2 ς 1 1 + m ζ 1 + ζ 1 q ,
with 1 p + 1 q = 1 and x [ m ς 1 , m ς 2 ] .
Theorem 27
([16]). Let Π be as in Theorem 25. If | Π | q , q 1 is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] for ( ζ , m ) [ 0 , 1 ] 2 and | Π ( x ) | M , then
| ( x m ς 1 ) ζ + ( m ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 I x ζ Π ( m ς 1 ) + I x ζ Π ( m ς 1 ) M ( x m ς 1 ) ζ + 1 + ( m ς 2 x ) ζ + 1 ( ς 2 ς 1 ) ( ζ + 1 ) 1 + ζ ( m + 1 ) 2 ζ + 1 1 q ,
for all x [ m ς 1 , m ς 2 ] .

2.5. Ostrowski-Type Fractional Integral Inequalities for s-Convex Functions

Definition 6
([17]). A function Π : [ 0 , ) R is said to be s-convex in the second sense, if
Π λ ς 1 + 1 λ ς 2 λ s Π ς 1 + 1 λ s Π ς 2 ,
holds for all ς 1 , ς 2 [ 0 , ) , λ [ 0 , 1 ] and for some fixed s ( 0 , 1 ] .
Ostrowski-type inequalities pertaining to Riemann–Liouville fractional integral for s-convex functions are presented.
Theorem 28
([18]). Let Π : [ ς 1 , ς 2 ] [ 0 , ) R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . Suppose | Π | is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] . Then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ς 2 ς 1 1 + Γ ( ζ + 1 ) Γ ( s + 1 ) Γ ( ζ + s + 1 ) ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ζ + s + 1 .
Theorem 29
([18]). Let Π be as in Theorem 28. If | Π | q , q > 1 is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( 1 + ζ p ) 1 p 2 s + 1 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 , f o r   a l l   x [ ς 1 , ς 2 ] ,
where ζ > 0 and 1 p + 1 q = 1 .
Theorem 30
([18]). Let Π be as in Theorem 28. If | Π | q , q 1 is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M 1 1 + ζ 1 1 q 1 ζ + s + 1 1 q 1 + Γ ( ζ + 1 ) Γ ( s + 1 ) Γ ( ζ + s + 1 ) ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 ,
for all x [ ς 1 , ς 2 ] , with ζ > 0 .
Theorem 31
([19]). Let Π be as in Theorem 28. If | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ( ς 2 ς 1 ) ζ + 1 Π ( x ) Γ ( ζ + 1 ) ( ς 2 ς 1 ) ζ + 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | 1 ζ + s + 1 ς 2 x ς 2 ς 1 ζ + s + 1 + B ς 2 x ς 2 ς 1 ; ζ + 1 , s + 1 | Π ( ς 1 ) | + 1 ζ + s + 1 x ς 1 ς 2 ς 1 ζ + s + 1 + B ς 2 x ς 2 ς 1 ; ζ + 1 , s + 1 | Π ( ς 2 ) | ,
for all x ( ς 1 , ς 2 ) .
Theorem 32
([19]). Let Π be as in Theorem 28. If | Π | q , q > 1 , 1 p + 1 q = 1 is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ( ς 2 ς 1 ) ζ + 1 Π ( x ) Γ ( ζ + 1 ) ( ς 2 ς 1 ) ζ + 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | 1 ζ p + 1 1 p ς 2 x ς 2 ς 1 ζ + 1 p 1 s + 1 ς 2 x ς 2 ς 1 s + 1 | Π ( ς 1 ) | q + 1 x ς 1 ς 2 ς 1 s + 1 | Π ( ς 2 ) | q 1 q + 1 ζ p + 1 1 p x ς 1 ς 2 ς 1 ζ + 1 p 1 s + 1 1 ς 2 x ς 2 ς 1 s + 1 | Π ( ς 1 ) | q + x ς 1 ς 2 ς 1 s + 1 | Π ( ς 2 ) | q 1 q ,
for all x ( ς 1 , ς 2 ) .
Theorem 33
([19]). Let Π be as in Theorem 28. If | Π | q , q > 1 , 1 p + 1 q = 1 is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ( ς 2 ς 1 ) ζ + 1 Π ( x ) Γ ( ζ + 1 ) ( ς 2 ς 1 ) ζ + 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | 1 ζ p + 1 1 p ς 2 x ς 2 ς 1 ζ + 1 | Π ( x ) | q + | Π ( ς 2 ) | q 2 1 q + x ς 1 ς 2 ς 1 ζ + 1 | Π ( x ) | q + | Π ( ς 1 ) | q 2 1 q ,
for all x ( ς 1 , ς 2 ) .

2.6. Ostrowski-Type Fractional Integral Inequalities for ( s , r ) -Convex Functions

Definition 7
([20]). A function Π : I [ 0 , ) [ 0 , ) is said to be ( s , r ) -convex in mixed kind, if
Π λ x + 1 λ y λ r s Π ( x ) + 1 λ r s Π ( y ) ,
holds for all x , y I , λ [ 0 , 1 ] and ( s , r ) [ 0 , 1 ] 2 .
Now, we state the generalization of the classical Ostrowski inequality via fractional integrals, which is obtained for ( s , r ) -convex function in mixed kind.
Theorem 34
([20]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 and Π L [ ς 1 , ς 2 ] . If | Π | is ( s , r ) -convex on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M 1 ζ + r s + 1 + B ( ζ + 1 r , s + 1 ) r ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ζ + s + 1 ,
for all x ( ς 1 , ς 2 ) .
Theorem 35
([20]). Let Π be as in Theorem 34. If | Π | q is ( s , r ) -convex on [ ς 1 , ς 2 ] , q 1 and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( ζ + 1 ) 1 1 q 1 ζ + r s + 1 + B ( ζ + 1 r , s + 1 ) r 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ζ + s + 1 ,
for all x ( ς 1 , ς 2 ) .
Theorem 36
([20]). Let Π be as in Theorem 34. If | Π | q be ( s , r ) -convex on [ ς 1 , ς 2 ] , q > 1 and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( ζ p + 1 ) 1 p 1 r s + 1 + B ( 1 r , s + 1 ) r 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ζ + s + 1 ,
for all x ( ς 1 , ς 2 ) and 1 p + 1 q = 1 .

2.7. Ostrowski-Type Fractional Integral Inequalities for Harmonically-Convex Functions

Definition 8
([21]). Let I R { 0 } be a real interval. A function Π : I R is harmonically convex, if
Π x y t x + ( 1 t ) y t Π ( y ) + ( 1 t ) Π ( x )
for all x , y I and t [ 0 , 1 ] .
Some new Ostrowski’s-type fractional integral inequalities for functions whose first derivatives are harmonically convex, via Riemann–Liouville fractional integrals are given in the next theorems.
Theorem 37
([22]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is harmonically convex on [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| Γ ( ζ + 1 ) 2 ς 1 ς 2 ς 2 ς 1 ζ J 1 ς 1 ζ ( Π h ) 1 ς 2 + J 1 ς 2 + ζ ( Π h ) 1 ς 1 Π ( x ) | ς 1 ς 2 ( ς 2 ς 1 ) 2 μ 1 ( ς 1 , ς 2 , ζ ) | Π ( ς 1 ) | + μ 2 ( ς 1 , ς 2 , ζ ) | Π ( ς 2 ) | ,
where
μ 1 ( ς 1 , ς 2 , ζ ) = 1 ( ς 2 ς 1 ) 2 ς 1 ς 2 1 + ln ς 2 ς 1 + 2 F 1 2 , 2 ; ζ + 3 ; 1 2 1 ς 2 ς 1 4 ς 1 2 ( ζ + 1 ) ( ζ + 2 ) + 2 F 1 2 , 1 ; ζ + 2 ; 1 2 1 ς 1 ς 2 2 ς 2 2 ( ζ + 1 ) 2 F 1 2 , 2 ; ζ + 3 ; 1 2 1 ς 1 ς 2 4 ς 2 2 ( ζ + 1 ) ( ζ + 2 ) , μ 2 ( ς 1 , ς 2 , ζ ) = 1 ( ς 2 ς 1 ) 2 ς 2 ς 1 1 + ln ς 1 ς 2 + 2 F 1 2 , 1 ; ζ + 2 ; 1 2 1 ς 2 ς 1 2 ς 1 2 ( ζ + 1 ) + 2 F 1 2 , 2 ; ζ + 3 ; 1 2 1 ς 1 ς 2 4 ς 2 2 ( ζ + 1 ) ( ζ + 2 ) 2 F 1 2 , 2 ; ζ + 3 ; 1 2 1 ς 2 ς 1 4 ς 2 2 ( ζ + 1 ) ( ζ + 2 ) ,
with 2 F 1 ( . , . ; . ; . ) the hypergeometric function and h ( x ) = 1 x , x 1 ς 2 , 1 ς 1 .
Theorem 38
([22]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | q is harmonically convex on [ ς 1 , ς 2 ] , where q > 1 and 1 p + 1 q = 1 , then, for all x [ ς 1 , ς 2 ] ,
| Γ ( ζ + 1 ) 2 ς 1 ς 2 ς 2 ς 1 ζ J 1 ς 1 ζ ( Π h ) 1 ς 2 + J 1 ς 2 + ζ ( Π h ) 1 ς 1 Π ( x ) | ς 1 ς 2 ( ς 2 ς 1 ) 2 [ 1 ( ς 2 ς 1 ) 1 p ( 2 p 1 ) 1 p 1 ς 1 2 p 1 1 ς 2 2 p 1 1 p | Π ( ς 1 ) | q + | Π ( ς 2 ) | q 2 1 q + 1 2 1 p ς 1 2 2 F 1 2 p , 1 ; ζ p + 2 ; 1 2 1 ς 2 ς 1 ζ p + 1 1 p | Π ( ς 1 ) | q + 3 | Π ( ς 2 ) | q 4 1 q + 1 2 1 p ς 2 2 2 F 1 2 p , 1 ; ζ p + 2 ; 1 2 1 ς 1 ς 2 ζ p + 1 1 p 3 | Π ( ς 1 ) | q + | Π ( ς 2 ) | q 4 1 q ] .

2.8. Ostrowski-Type Fractional Integral Inequalities for h-Convex Functions

Definition 9
([23]). Suppose h is a non-negative and real-valued function. Then Π : I R is an h-convex, if Π is non-negative and for all x , y I , λ ( 0 , 1 ) we have
Π ( λ x + ( 1 λ ) y ) h ( λ ) Π ( x ) + h ( 1 λ ) Π ( y ) .
Some Ostrowski-type inequalities via Riemann–Liouville fractional integrals for h-convex are given in the next theorems.
Theorem 39
([24]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 . If | Π | is h-convex on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| Π ( x ) Γ ( ζ + 1 ) 1 2 ( x ς 1 ) ζ J x ζ Π ( ς 1 ) + 1 2 ( ς 2 x ) ζ J x + ζ Π ( ς 2 ) | M ( ς 2 ς 1 ) 2 0 1 [ h ( 1 t ) + h ( t ) ] t ζ d t ,
for each x [ ς 1 , ς 2 ] .
Theorem 40
([24]). Let Π be as in the Theorem 39. If | Π | q is h-convex on [ ς 1 , ς 2 ] , p , q > 1 , 1 p + 1 q = 1 , then
| Π ( x ) Γ ( ζ + 1 ) 1 2 ( x ς 1 ) ζ J x ζ Π ( ς 1 ) + 1 2 ( ς 2 x ) ζ J x + ζ Π ( ς 2 ) | M ( ς 2 ς 1 ) 2 ( ζ p + 1 ) 1 p 2 0 1 h ( t ) d t 1 q ,
for each x [ ς 1 , ς 2 ] .
Theorem 41
([24]). Let Π be as in the Theorem 39. If | Π | q is h-convex on [ ς 1 , ς 2 ] , q 1 , then
| Π ( x ) Γ ( ζ + 1 ) 1 2 ( x ς 1 ) ζ J x ζ Π ( ς 1 ) + 1 2 ( ς 2 x ) ζ J x + ζ Π ( ς 2 ) | M ( ς 2 ς 1 ) 2 1 ζ + 1 1 1 q 0 1 t ζ [ h ( t ) + h ( 1 t ) ] d t 1 q ,
for each x [ ς 1 , ς 2 ] .
Ostrowski-type fractional integral inequalities for super-multiplicative functions pertaining to Riemann–Liouville fractional integrals are given now.
Definition 10
([25]). We say that h : J R is a super-multiplicative function, if for all x , y J , one has
h ( x , y ) h ( x ) h ( y ) .
Theorem 42
([26]). Let h : J R R ( [ 0 , 1 ] J ) be a super-multiplicative and non-negative function, h ( t ) t for 0 t 1 , Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable function on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is a h-convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 0 1 [ t ζ h ( t ) + t ζ h ( 1 t ) ] d t M ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 0 1 [ h ( t ζ + 1 ) + h ( t ζ ( 1 t ) ] d t .
Theorem 43
([26]). Let Π be as in Theorem 42. If | Π | q is a h-convex function on [ ς 1 , ς 2 ] , p , q > 1 1 p + 1 q = 1 and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ( 1 + p ζ ) 1 p ( ς 2 ς 1 ) 0 1 [ h ( t ) + h ( 1 t ) ] d t 1 q M ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ( 1 + p ζ ) 1 p ( ς 2 ς 1 ) h 1 q ( 1 ) .
Theorem 44
([26]). Let Π be as in Theorem 42. If | Π | q , q 1 is a h-convex function on [ ς 1 , ς 2 ] , and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( 1 + ζ ) 1 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 0 1 [ t ζ h ( t ) + t ζ h ( 1 t ) ] d t 1 q M ( 1 + ζ ) 1 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 0 1 [ h ( t ζ + 1 ) + h ( t ζ ( 1 t ) ) ] d t 1 q .

2.9. Ostrowski-Type Fractional Integral Inequalities for Godunova-Levin Functions

Definition 11
([27]). A function Π : [ ς 1 , ς 2 ] R is a Godunova–Levin function if
Π ( t x + ( 1 t ) y ) Π ( x ) t + Π ( y ) 1 t ,
for all x , y [ ς 1 , ς 2 ] and t [ 0 , 1 ] .
Definition 12
([28]). A function Π : [ ς 1 , ς 2 ] R is an s-Godunova-Levin function of the first kind, where s ( 0 , 1 ] , if
Π ( t x + ( 1 t ) y ) Π ( x ) t s + Π ( y ) 1 t s ,
for all x , y [ ς 1 , ς 2 ] and t ( 0 , 1 ) .
Definition 13
([28]). A function Π : [ ς 1 , ς 2 ] R is said to be an s-Godunova-Levin function of the second kind, where s ( 0 , 1 ] , if
Π ( t x + ( 1 t ) y ) Π ( x ) t s + Π ( y ) ( 1 t ) s ,
for all x , y [ ς 1 , ς 2 ] and t ( 0 , 1 ) .
In this subsection, we show some Ostrowski-type inequalities pertaining to Riemann–Liouville fractional integrals for s-Godunova-Levin functions.
Theorem 45
([29]). Suppose Π : [ ς 1 , ς 2 ] R is a differentiable function on ( ς 1 , ς 2 ) with ς 1 < ς 2 and Π L [ ς 1 , ς 2 ] . If | Π | is an s-Godunova-Levin function of the second kind on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M 1 1 + ζ s + Γ ( 1 s ) Γ ( ζ + 1 ) Γ ( 2 + ζ s ) ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 ,
for all x ( ς 1 , ς 2 ) .
Theorem 46
([29]). Let Π be as in Theorem 45. If | Π | q is an s-Godunova-Levin function of the second kind on [ ς 1 , ς 2 ] , p , q > 1 , 1 p + 1 q = 1 and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M 1 1 s 1 q 1 1 + p ζ 1 p ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 ,
for all x ( ς 1 , ς 2 ) .
Now, we present some new family of s-Godunova-Levin functions, which are called ( s , m ) -Godunova-Levin functions of the second kind. Next, we present some new Ostrowski-type integral inequalities for ( s , m ) -Godunova-Levin functions via fractional integrals.
Definition 14
([30]). A function Π : [ ς 1 , ς 2 ] R is said to be an ( s , m ) -Godunova-Levin function of the second kind, where s [ 0 , 1 ] , m ( 0 , 1 ] , if
Π ( t x + ( 1 t ) y ) Π ( x ) t s + m Π ( y ) ( 1 t ) s ,
for all x , y [ ς 1 , ς 2 ] and t ( 0 , 1 ) .
Theorem 47
([30]). Suppose Π : [ ς 1 , ς 2 ] R is a differentiable function on open interval ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is an ( s , m ) -Godunova-Levin function of the second kind on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | min { ϑ 1 ( ς 1 , ς 2 ; m , ζ ; x ) , ϑ 2 ( ς 1 , ς 2 ; m , ζ ; x ) } ,
where
ϑ 1 ( ς 1 , ς 2 ; m , ζ ; x ) = M 1 + ζ s ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 + m Γ ( 1 s ) Γ ( ζ + 1 ) Γ ( 2 + ζ s ) ( x ς 1 ) ζ + 1 | Π ς 2 m | + ( ς 2 x ) ζ + 1 | Π ς 1 m | ς 2 ς 1 , ϑ 2 ( ς 1 , ς 2 ; m , ζ ; x ) = m 1 + ζ s | Π x m | + M Γ ( 1 s ) Γ ( ζ + 1 ) Γ ( 2 + ζ s ) ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 .
Theorem 48
([30]). Let Π be as in Theorem 47. Then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | min { φ 1 ( ς 1 , ς 2 ; m , ζ ; x ) , φ 2 ( ς 1 , ς 2 ; m , ζ ; x ) } ,
where
φ 1 ( ς 1 , ς 2 ; m , ζ ; x ) = 1 p ζ + 1 1 p [ M q 1 s + m 1 s | Π ς 1 m | q 1 q ( x ς 1 ) ζ + 1 ς 2 ς 1 + M q 1 s + m 1 s | Π ς 2 m | q 1 q ( ς 2 x ) ζ + 1 ς 2 ς 1 ] , φ 2 ( ς 1 , ς 2 ; m , ζ ; x ) = 1 p ζ + 1 1 p m 1 s | Π x m | q + M q 1 s 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 .
Theorem 49
([30]). Let the assumptions of this theorem be stated in Theorem 47. Then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | min { ρ 1 ( ς 1 , ς 2 ; m , ζ ; x ) , ρ 2 ( ς 1 , ς 2 ; m , ζ ; x ) } ,
where
ρ 1 ( ς 1 , ς 2 ; m , ζ ; x ) = 1 ζ + 1 1 1 q [ ( x ς 1 ) ζ + 1 ς 2 ς 1 M q 1 + ζ s + m Γ ( 1 s ) Γ ( ζ + 1 ) Γ ( 2 + ζ s ) | Π ς 1 m | q 1 q + ( ς 2 x ) ζ + 1 ς 2 ς 1 M q 1 + ζ s + m Γ ( 1 s ) Γ ( ζ + 1 ) Γ ( 2 + ζ s ) | Π ς 2 m | q 1 q ] , ρ 2 ( ς 1 , ς 2 ; m , ζ ; x ) = 1 ζ + 1 1 1 q [ ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 × m 1 + ζ s | Π x m | q + M q Γ ( 1 s ) Γ ( ζ + 1 ) Γ ( 2 + ζ s ) 1 q ] .

2.10. Ostrowski-Type Fractional Integral Inequalities for M T -Convex Function

Definition 15
([31]). A real-valued and non-negative function Π is M T -convex function, if
Π ( t x + ( 1 t ) y ) t 2 1 t Π ( x ) + 1 t 2 t Π ( y ) ,
for all x , y I and t ( 0 , 1 ) .
In this subsection, we give some Ostrowski-type fractional integral inequalities for M T -convex functions via Riemann–Liouville fractional integrals.
Theorem 50
([32]). Suppose Π : [ ς 1 , ς 2 ] ( 0 , ) R is a mapping which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is MT-convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M Γ ζ + 1 2 Γ 1 2 2 Γ ( ζ + 1 ) ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 .
Theorem 51
([32]). Let Π be as in Theorem 50. If | Π | q is MT-convex function on [ ς 1 , ς 2 ] , q > 1 , 1 p + 1 q = 1 and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( 1 + p ζ ) 1 p π 2 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 .
Theorem 52
([32]). Let Π be as in Theorem 50. If | Π | q , q 1 is MT-convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( 1 + p ζ ) 1 p Γ ζ + 1 2 Γ 1 2 2 Γ ( ζ + 1 ) 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 .
Theorem 53
([33]). Let the assumptions of this theorem be stated in Theorem 50. Then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | 2 M B ζ + 1 2 , 1 2 ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 .
Theorem 54
([33]). Let Π be as in Theorem 50. If | Π | q is MT-convex function on [ ς 1 , ς 2 ] , q > 1 , 1 p + 1 q = 1 and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M ( 1 + p ζ ) 1 p π 4 1 q ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 ς 2 ς 1 .
Theorem 55
([34]). Let the assumptions of this theorem be stated in Theorem 50. Then for ζ > 0 , λ [ 0 , 1 ] and x [ ς 1 , ς 2 ] we have:
| ( 1 λ ) ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) + λ ( x ς 1 ) ζ Π ( ς 1 ) + ( ς 2 x ) ζ Π ( ς 2 ) ς 2 ς 1 Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M 1 2 ( ς 2 ς 1 ) ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 A ( ζ , λ ) ,
where
A ( ζ , λ ) = 2 λ ( B λ 1 ζ ; 3 2 , 1 2 + B λ 1 ζ ; 1 2 , 3 2 + B ζ + 1 2 , 1 2 λ π 2 B λ 1 ζ ; ζ + 3 2 , 1 2 + B λ 1 ζ ; ζ + 1 2 , 3 2 ,
and B ( a , ; x , y ) = 0 a t x 1 ( 1 t ) y 1 d t , 0 < a 1 , x , y > 0 the incomplete Beta function.
Theorem 56
([34]). Let Π be as in Theorem 50. If | Π | q is MT-convex function on [ ς 1 , ς 2 ] , q > 1 , 1 p + 1 q = 1 and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( 1 λ ) ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) + λ ( x ς 1 ) ζ Π ( ς 1 ) + ( ς 2 x ) ζ Π ( ς 2 ) ς 2 ς 1 Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M 1 2 ( ς 2 ς 1 ) ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 π 2 1 q B ( ζ , λ ) 1 p ,
where
B ( ζ , λ ) = 2 ζ 0 λ ( λ s ) p s 1 ζ 1 d s 1 ζ 0 1 ( λ s ) p s 1 ζ 1 d s .
Theorem 57
([34]). Let Π be as in Theorem 50. If | Π | q , q 1 is MT-convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( 1 λ ) ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) + λ ( x ς 1 ) ζ Π ( ς 1 ) + ( ς 2 x ) ζ Π ( ς 2 ) ς 2 ς 1 Γ ( ζ + 1 ) ς 2 ς 1 J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M 1 ς 2 ς 1 ( x ς 1 ) ζ + 1 + ( ς 2 x ) ζ + 1 A ( ζ , λ ) 2 1 q 2 ζ λ 1 + 1 ζ + 1 ζ + 1 λ 1 1 q ,
where A ( ζ , λ ) is given in Theorem 55.

2.11. Ostrowski-Type Fractional Integral Inequalities for P-Convex, m-Convex and ( s , m ) -Convex Functions

In this subsection, we show results on Ostrowski-type fractional integral inequalities for twice differentiable functions and different kinds of convexity.
Definition 16
([35]). The function Π : I R R is said to be P-convex, if is nonnegative and
Π ( t x + ( 1 t ) y ) Π ( x ) + Π ( y ) ,
x , y I and t [ 0 , 1 ] .
Definition 17
([36]). A real-valued function Π is m-convex, if
Π ( t x + m ( 1 t ) y ) t Π ( x ) + m ( 1 t ) Π ( y ) ,
x , y ( 0 , b ] t [ 0 , 1 ] and m ( 0 , 1 ] .
Definition 18
([15]). A real-valued function Π is ( s , m ) -convex, if
Π ( t x + m ( 1 t ) y ) t s Π ( x ) + m ( 1 t s ) Π ( y ) ,
x , y ( 0 , b ] t [ 0 , 1 ] and ( s , m ) ( 0 , 1 ] 2 .
Theorem 58
([37]). Let Π : I R be a twice differentiable function on I such that | Π | L [ ς 1 , ς 2 ] , where ς 1 , ς 2 I , with ς 1 < ς 2 . If | Π | is a convex function on [ ς 1 , ς 2 ] , and Π is bounded, i.e., Π = sup x [ ς 1 , ς 2 ] | Π ( x ) | < , for any x [ ς 1 , ς 2 ] , then
| ( ζ + 1 ) ( ς 2 x ) ζ ( x ς 1 ) ζ ( ς 2 ς 1 ) Π ( x ) Γ ( ζ + 2 ) [ ( ς 2 x ) ζ + 1 J x ζ Π ( ς 1 ) + ( x ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) | ( x ς 1 ) ζ + 1 ( ς 2 x ) ζ + 1 ( ς 2 ς 1 ) ζ + 2 Π .
Theorem 59
([37]). Let Π be as in Theorem 58. If | Π | is a P-convex function on [ ς 1 , ς 2 ] , and Π is bounded, i.e., Π = sup x [ ς 1 , ς 2 ] | Π ( x ) | < , for any x [ ς 1 , ς 2 ] , then
| ( ζ + 1 ) ( ς 2 x ) ζ ( x ς 1 ) ζ ( ς 2 ς 1 ) Π ( x ) Γ ( ζ + 2 ) [ ( ς 2 x ) ζ + 1 J x ζ Π ( ς 1 ) + ( x ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) | 2 ( x ς 1 ) ζ + 1 ( ς 2 x ) ζ + 1 ( ς 2 ς 1 ) ζ + 2 Π .
Theorem 60
([37]). Let Π be as in Theorem 58. If | Π | is s-convex on [ ς 1 , ς 2 ] , and Π is bounded, i.e., Π = sup x [ ς 1 , ς 2 ] | Π ( x ) | < , for any x [ ς 1 , ς 2 ] , then
| ( ζ + 1 ) ( ς 2 x ) ζ ( x ς 1 ) ζ ( ς 2 ς 1 ) Π ( x ) Γ ( ζ + 2 ) [ ( ς 2 x ) ζ + 1 J x ζ Π ( ς 1 ) + ( x ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) | ( ς 2 ς 1 ) ( x ς 1 ) ζ + 1 ( ς 2 x ) ζ + 1 1 ζ + s + 2 + B ( ζ + 2 , s + 1 ) Π .
Theorem 61
([37]). Let Π be as in Theorem 58. If | Π | is h-convex on [ ς 1 , ς 2 ] , and Π is bounded, i.e., Π = sup x [ ς 1 , ς 2 ] | Π ( x ) | < , for any x [ ς 1 , ς 2 ] , then
| ( ζ + 1 ) ( ς 2 x ) ζ ( x ς 1 ) ζ ( ς 2 ς 1 ) Π ( x ) Γ ( ζ + 2 ) [ ( ς 2 x ) ζ + 1 J x ζ Π ( ς 1 ) + ( x ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) | Π ( ς 2 ς 1 ) ( x ς 1 ) ζ + 1 ( ς 2 x ) ζ + 1 0 1 ( t ζ + 1 + ( 1 t ) ζ + 1 ) h ( t ) d t .
Theorem 62
([37]). Let Π be as in Theorem 58. If | Π | is m-convex on [ ς 1 , ς 2 ] , and Π is bounded, i.e., Π = sup x [ ς 1 , ς 2 ] | Π ( x ) | < , for any x [ ς 1 , ς 2 ] , then
| ( ζ + 1 ) ( ς 2 x ) ζ ( x ς 1 ) ζ ( ς 2 ς 1 ) Π ( x ) Γ ( ζ + 2 ) [ ( ς 2 x ) ζ + 1 J x ζ Π ( ς 1 ) + ( x ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) | Π ( 1 m ) ( ς 2 ς 1 ) ( x ς 1 ) ζ + 1 ( ς 2 x ) ζ + 1 { ( x ς 1 ) [ 1 ζ + 3 x ς 1 x m ς 1 + 1 ζ + 2 ( 1 m ) ς 1 x m ς 1 + m 1 m ] + ( ς 2 x ) 1 ζ + 3 ς 2 x ς 2 m x + 1 ζ + 2 1 1 m } .
Theorem 63
([37]). Let Π be as in Theorem 58. If | Π | is ( s , m ) -convex on [ ς 1 , ς 2 ] , ( s , m ) ( 0 , 1 ] 2 and Π is bounded, i.e., Π = sup x [ ς 1 , ς 2 ] | Π ( x ) | < , for any x [ ς 1 , ς 2 ] , then
| ( ζ + 1 ) ( ς 2 x ) ζ ( x ς 1 ) ζ ( ς 2 ς 1 ) Π ( x ) Γ ( ζ + 2 ) [ ( ς 2 x ) ζ + 1 J x ζ Π ( ς 1 ) + ( x ς 1 ) ζ + 1 J x + ζ Π ( ς 2 ) | Π ( 1 m ) [ m ( 1 m ) ( ζ + 2 ) ( ς 2 x ) ζ + 1 ( x ς 1 ) ζ + 1 ( ς 2 ς 1 ) + ( ς 2 x ) ζ + 1 ( x m ς 1 ) s ( ( 1 m ) ς 1 ) ζ + s + 2 B ( ζ + 2 , s ζ 2 ) + ( x ς 1 ) ζ + 1 ( ς 2 m x ) ζ + 2 B ( ζ + 2 , s + 1 ) ] .

2.12. Ostrowski-Type Fractional Integral Inequalities for n-Polynomial Exponentially s-Convex Functions

Now, we present some Ostrowski-type inequalities for differentiable exponentially s-convex functions.
Definition 19
([38]). Let s [ ln 2.4 , 1 ] . Then the real-valued function Π is an exponentially s-convex function if
Π ( t x + ( 1 t ) y ) ( e s t 1 ) Π ( x ) + ( e s ( 1 t ) 1 ) Π ( y ) ,
x , y I and t [ 0 , 1 ] .
Theorem 64
([38]). Let Π : I R R be a differentiable mapping on I , ς 1 , ς 2 I with ς 1 < ς 2 . If | Π | is an exponentially s-convex function on [ ς 1 , ς 2 ] for some s [ ln 2.4 , 1 ] , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( z ) d z | M ( ς 2 ς 1 ) [ ( x ς 1 ) 2 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 + 2 e s s 2 2 s 2 2 s 2 + ( ς 2 x ) 2 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 + 2 e s s 2 2 s 2 2 s 2 ] ,
for all x [ ς 1 , ς 2 ] .
Theorem 65
([38]). Let Π : I R R be a differentiable function on I , ς 1 , ς 2 I with ς 1 < ς 2 . If | Π | q is an exponentially s-convex function on [ ς 1 , ς 2 ] for some s [ ln 2.4 , 1 ] , q > 1 , 1 p + 1 q = 1 , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( z ) d z | 2 1 q M ( ς 2 ς 1 ) n q 1 p + 1 1 p ( x ς 1 ) 2 e s s 1 ) s 1 q + ( ς 2 x ) 2 e s s 1 ) s 1 q ,
for all x [ ς 1 , ς 2 ] .
Theorem 66
([38]). Let Π : I R R be a differentiable function on I , ς 1 , ς 2 I with ς 1 < ς 2 . If | Π | q , q 1 is an exponentially s-convex function on [ ς 1 , ς 2 ] for some s [ ln 2.4 , 1 ] , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( z ) d z | M ( ς 2 ς 1 ) 2 1 1 q [ ( x ς 1 ) 2 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 + 2 e s s 2 2 s 2 2 s 2 1 q + ( ς 2 x ) 2 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 + 2 e s s 2 2 s 2 2 s 2 1 q ] ,
for all x [ ς 1 , ς 2 ] .
Some enhancements of the Ostrowski-type inequality for differentiable n-polynomial exponentially s-convex functions are presented in the next theorems.
Definition 20
([39]). Let n N and s [ ln 2.4 , 1 ] . Then Π : I R R is an n-polynomial exponentially s-convex function if
Π ( t x + ( 1 t ) y ) 1 n i = 1 n ( e s t 1 ) i Π ( x ) + 1 n i = 1 n ( e s ( 1 t ) 1 ) i Π ( y ) ,
for all x , y I and t [ 0 , 1 ] .
Theorem 67
([39]). Let Π : I R R be a differentiable mapping on I , [ ς 1 , ς 2 ] I with ς 1 < ς 2 . If | Π | is an n-polynomial exponentially s-convex function on [ ς 1 , ς 2 ] for some s [ ln 2.4 , 1 ] , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( z ) d z | M ( ς 2 ς 1 ) n [ ( x ς 1 ) 2 i = 1 n 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 i + i = 1 n 2 e s s 2 2 s 2 2 s 2 i + ( ς 2 x ) 2 i = 1 n 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 i + i = 1 n 2 e s s 2 2 s 2 2 s 2 i ] ,
for all x [ ς 1 , ς 2 ] .
Theorem 68
([39]). Let Π be as in Theorem 67. If | Π | q is an n-polynomial exponentially s-convex function on [ ς 1 , ς 2 ] for some s [ ln 2.4 , 1 ] , q > 1 , and 1 p + 1 q = 1 , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then:
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( z ) d z | 2 1 q M ( ς 2 ς 1 ) n q 1 p + 1 1 p [ ( x ς 1 ) 2 i = 1 n e s s 1 ) s i 1 q + ( ς 2 x ) 2 i = 1 n e s s 1 ) s i 1 q ] ,
for all x [ ς 1 , ς 2 ] .
Theorem 69
([39]). Let Π be as in Theorem 67. If | Π | q , q 1 is an n-polynomial exponentially s-convex function on [ ς 1 , ς 2 ] for some s [ ln 2.4 , 1 ] , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( z ) d z | M ( ς 2 ς 1 ) n q 2 1 1 q [ ( x ς 1 ) 2 i = 1 n 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 i + i = 1 n 2 e s s 2 2 s 2 2 s 2 i 1 q + ( ς 2 x ) 2 i = 1 n 2 + 2 ( s 1 ) e s s 2 ) 2 s 2 i + i = 1 n 2 e s s 2 2 s 2 2 s 2 i 1 q ] ,
for all x [ ς 1 , ς 2 ] .
Theorem 70
([40]). Let the assumptions of this theorem be stated in Theorem 67. Then
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 [ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M n ( ς 2 ς 1 ) [ ( x ς 1 ) ζ + 1 { i = 1 n B ( ζ + 1 , s ) Γ ( ζ + 1 ) ( s ) ζ s 1 ζ + 1 i i = 1 n ( B ( ζ + 1 , s ) Γ ( ζ + 1 ) ) e s s ζ + 1 + 1 ζ + 1 i } + ( ς 2 x ) ζ + 1 { i = 1 n B ( ζ + 1 , s ) Γ ( ζ + 1 ) ( s ) ζ s 1 ζ + 1 i i = 1 n ( B ( ζ + 1 , s ) Γ ( ζ + 1 ) ) e s s ζ + 1 + 1 ζ + 1 i } ] ,
for all x ( ς 1 , ς 2 ) .
Theorem 71
([40]). Let Π be as in Theorem 67. If | Π | q is an n-polynomial exponentially s-convex function on [ ς 1 , ς 2 ] for some s ( 0 , 1 ) , q > 1 , and 1 p + 1 q = 1 , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 [ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | 2 1 q M n q ( ς 2 ς 1 ) 1 ζ p + 1 1 p [ ( x ς 1 ) ζ + 1 i = 1 n e s s 1 s i 1 q + ( ς 2 x ) ζ + 1 i = 1 n e s s 1 s i 1 q ] ,
for all x ( ς 1 , ς 2 ) .
Theorem 72
([40]). Let Π be as in Theorem 67. If | Π | q , q 1 is an n-polynomial exponentially s-convex function on [ ς 1 , ς 2 ] for some s ( 0 , 1 ) , Π L [ ς 1 , ς 2 ] and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then:
| ( x ς 1 ) ζ + ( ς 2 x ) ζ ς 2 ς 1 Π ( x ) Γ ( ζ + 1 ) ς 2 ς 1 [ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 2 ) | M n q ( ς 2 ς 1 ) 1 ζ + 1 1 1 p [ ( x ς 1 ) ζ + 1 { i = 1 n B ( ζ + 1 , s ) Γ ( ζ + 1 ) ( s ) ζ s 1 ζ + 1 i i = 1 n ( B ( ζ + 1 , s ) Γ ( ζ + 1 ) ) e s s ζ + 1 1 ζ + 1 i } 1 q + ( ς 2 x ) ζ + 1 { i = 1 n B ( ζ + 1 , s ) Γ ( ζ + 1 ) ( s ) ζ s 1 ζ + 1 i i = 1 n ( B ( ζ + 1 , s ) Γ ( ζ + 1 ) ) e s s ζ + 1 1 ζ + 1 i } 1 q ] ,
for all x ( ς 1 , ς 2 ) .

3. Ostrowski-Type Inequalities for Katugampola Fractional Integral Operator

Here, we present some Ostrowski-type inequalities via the Katugampola fractional integral operator.
Definition 21
([41]). Let [ ς 1 , ς 2 ] R be a finite interval. Then, the left- and right-side Katugampola fractional integral of order ζ > 0 of Π X c p ( ς 1 , ς 2 ) are defined by
ρ I ς 1 + ζ Π ( x ) = ρ 1 ζ Γ ( ζ ) ς 1 x t ρ 1 ( x ρ t ρ ) 1 ζ Π ( t ) d t a n d ρ I ς 2 ζ Π ( x ) = ρ 1 ζ Γ ( ζ ) x ς 2 t ρ 1 ( t ρ x ρ ) 1 ζ Π ( t ) d t ,
with ς 1 < x < ς 2 and ρ > 0 , if the integrals exist. Here, X c p ( ς 1 , ς 2 ) , c R , 1 p denote the space of those complex-valued Lebesque measurable functions Π on [ ς 1 , ς 2 ] for which Π X c p < , where Π X c p = ς 1 ς 2 | t c Π ( t ) | p d t t 1 / p < for 1 p < and Π X c p = e s s sup x 1 t x 2 [ t c | Π ( t ) | ] , if p = .
Theorem 73
([42]). Let Π : [ ς 1 ρ , ς 2 ρ ] [ 0 , ) R be a differentiable function on ( ς 1 ρ , ς 2 ρ ) with ς 1 ρ < ς 2 ρ such that Π L [ ς 1 ρ , ς 2 ρ ] . If Π is h-convex on [ ς 1 ρ , ς 2 ρ ] and | Π ( x ρ ) | M , x [ ς 1 , ς 2 ] , then
| Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ρ I x ζ Π ( ς 1 ρ ) 2 ( x ρ ς 1 ρ ) ζ + ρ I x + ζ Π ( ς 2 ρ ) 2 ( ς 2 ρ x ρ ) ζ | M ρ ( ς 2 ρ ς 1 ρ ) 2 0 1 t ζ ρ + ρ 1 [ h ( t ρ ) + h ( 1 t ρ ) ] d t ,
with ζ , ρ > 0 and x ( ς 1 ρ , ς 2 ρ ) .
Theorem 74
([42]). Let Π be as in Theorem 73. If | Π | q , q > 1 is h-convex on [ ς 1 ρ , ς 2 ρ ] and | Π ( x ρ ) | M , x [ ς 1 , ς 2 ] , then:
| Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ρ I x ζ Π ( ς 1 ρ ) 2 ( x ρ ς 1 ρ ) ζ + ρ I x + ζ Π ( ς 2 ρ ) 2 ( ς 2 ρ x ρ ) ζ | M ρ ( ς 2 ρ ς 1 ρ ) 2 ( p ( ζ ρ + ρ 1 ) + 1 ) 1 p 0 1 [ h ( t ρ ) + h ( 1 t ρ ) ] d t 1 q ,
with ζ , ρ > 0 , x ( ς 1 ρ , ς 2 ρ ) and 1 p + 1 q = 1 .
Theorem 75
([42]). Let Π be as in Theorem 73. If | Π | q , q 1 is h-convex on [ ς 1 ρ , ς 2 ρ ] and | Π ( x ρ ) | M , x [ ς 1 , ς 2 ] , then:
| Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ρ I x ζ Π ( ς 1 ρ ) 2 ( x ρ ς 1 ρ ) ζ + ρ I x + ζ Π ( ς 2 ρ ) 2 ( ς 2 ρ x ρ ) ζ | M ρ ( ς 2 ρ ς 1 ρ ) 2 1 ρ ( ζ + 1 ) 1 1 q 0 1 t ζ ρ + ρ 1 [ h ( t ρ ) + h ( 1 t ρ ) ] d t 1 q ,
with ζ , ρ > 0 and x ( ς 1 ρ , ς 2 ρ ) .
Some Ostrowski-type inequalities pertaining to Katugampola fractional integral for s-Godunova-Levin functions are presented.
Theorem 76
([43]). Let Π : [ ς 1 ρ , ς 2 ρ ] [ 0 , ) R be a function which is differentiable on ( ς 1 ρ , ς 2 ρ ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is an s-Godunova-Levin function of the second kind on [ ς 1 ρ , ς 2 ρ ] and | Π ( x ρ ) | M , x [ ς 1 , ς 2 ] , then:
| ( x ρ ς 1 ρ ) ζ + ( ς 2 ρ x ) ζ ς 2 ς 1 Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ( ς 2 ς 1 ) ρ I x ζ Π ( ς 1 ρ + ρ I x ζ Π ( ς 1 ρ | M ( x ρ ς 1 ρ ) ζ + 1 + ( ς 2 ρ x ) ζ + 1 ς 2 ς 1 1 ζ + 1 s + Γ ( ζ + 1 ) Γ ( 1 s ) Γ ( ζ + 2 s ) ,
with ζ , ρ > 0 and x ( ς 1 ρ , ς 2 ρ ) .
Theorem 77
([43]). Let Π be as in Theorem 76. If | Π | q , q > 1 is an s-Godunova-Levin function of the second kind on [ ς 1 ρ , ς 2 ρ ] and | Π ( x ρ ) | M , x [ ς 1 , ς 2 ] , then:
| ( x ρ ς 1 ρ ) ζ + ( ς 2 ρ x ) ζ ς 2 ς 1 Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ( ς 2 ς 1 ) ρ I x ζ Π ( ς 1 ρ + ρ I x ζ Π ( ς 1 ρ | M ρ ( x ρ ς 1 ρ ) ζ + 1 + ( ς 2 ρ x ) ζ + 1 ( ς 2 ς 1 ) ( 1 + p ( ζ ρ + ρ 1 ) ) 1 p 1 1 ρ s 1 q ,
with ζ , ρ > 0 , x ( ς 1 ρ , ς 2 ρ ) and 1 p + 1 q = 1 .
Theorem 78
([43]). Let Π be as in Theorem 76. If | Π | q , q 1 is an s-Godunova-Levin function of the second kind on [ ς 1 ρ , ς 2 ρ ] and | Π ( x ρ ) | M , x [ ς 1 , ς 2 ] , then
| ( x ρ ς 1 ρ ) ζ + ( ς 2 ρ x ) ζ ς 2 ς 1 Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ( ς 2 ς 1 ) ρ I x ζ Π ( ς 1 ρ + ρ I x ζ Π ( ς 1 ρ | M ρ ( ζ ρ + ρ ) 1 1 q ( x ρ ς 1 ρ ) ζ + 1 + ( ς 2 ρ x ) ζ + 1 ς 2 ς 1 1 ρ ( ζ s + 1 ) + Γ ( ζ + 1 ) Γ ( 1 s ) ρ Γ ( ζ s + 2 ) 1 q ,
with ζ , ρ > 0 and x ( ς 1 ρ , ς 2 ρ ) .
Theorem 79
([43]). Let the assumptions of this theorem be as stated in Theorem 76. Then:
| Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ρ I x ζ Π ( ς 1 ρ 2 ( x ρ ς 1 ρ ) ζ + ρ I x + ζ Π ( ς 2 ρ 2 ( ς 2 ρ x ρ ) ζ | M ( ς 2 ς 1 ) 2 1 ζ s + 1 + Γ ( ζ + 1 ) Γ ( 1 s ) Γ ( ζ s + 2 ) ,
with ζ , ρ > 0 and x ( ς 1 ρ , ς 2 ρ ) .
Theorem 80
([43]). Let Π be as in Theorem 76. If | Π | q , q > 1 is an s-Godunova-Levin function of the second kind on [ ς 1 ρ , ς 2 ρ ] and | Π ( x ρ ) | M , x [ ς 1 , ς 2 ] , then:
| Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ρ I x ζ Π ( ς 1 ρ 2 ( x ρ ς 1 ρ ) ζ + ρ I x + ζ Π ( ς 2 ρ 2 ( ς 2 ρ x ρ ) ζ | M ρ ( ς 2 ρ ς 1 ρ ) 2 ( 1 + p ( ζ ρ + ρ 1 ) ) 1 p 1 1 ρ s 1 q ,
with ζ , ρ > 0 , x ( ς 1 ρ , ς 2 ρ ) and 1 p + 1 q = 1 .
Using ( ζ , m ) -convex function with the aid of Katugampola fractional integral, some Ostrowski-type inequalities are obtained, which are given in the next theorems.
Theorem 81
([44]). Suppose Π : I R is a differentiable function on I such that Π L [ m ς 1 , m ς 2 ] , where m ς 1 , m ς 2 I with ς 1 < ς 2 , m ( 0 , 1 ] . If | Π | is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] and | Π ( x ρ ) | M , then
| ( x ρ m ρ ς 1 ρ ) ζ + ( m ρ ς 2 ρ x ) ζ ς 2 ς 1 Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ( ς 2 ς 1 ) ρ I x ζ Π ( m ρ ς 1 ρ ) + ρ I x ζ Π ( m ρ ς 1 ρ ) M ( x ρ m ρ ς 1 ρ ) ζ + 1 + ( m ρ ς 2 ρ x ) ζ + 1 ς 2 ς 1 1 + m ρ ζ 1 + 2 ζ ,
with ζ , ρ > 0 and x [ m ς 1 , m ς 2 ] .
Theorem 82
([44]). Let Π be as in Theorem 81. If | Π | q , q > 1 is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] and | Π ( x ρ ) | M , then:
| ( x ρ m ρ ς 1 ρ ) ζ + ( m ρ ς 2 ρ x ) ζ ς 2 ς 1 Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ( ς 2 ς 1 ) ρ I x ζ Π ( m ρ ς 1 ρ ) + ρ I x ζ Π ( m ρ ς 1 ρ ) M ρ ( x ρ m ρ ς 1 ρ ) ζ + 1 + ( m ρ ς 2 ρ x ) ζ + 1 ( ς 2 ς 1 ) ( p ( ζ ρ + ρ 1 ) + 1 ) 1 p 1 + m ρ ζ ρ 1 + ζ ρ 1 q ,
with ζ , ρ > 0 , 1 p + 1 q = 1 and x [ m ς 1 , m ς 2 ] .
Theorem 83
([44]). Let Π be as in Theorem 81. If | Π | q , q 1 is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] and | Π ( x ρ ) | M , then:
| ( x ρ m ρ ς 1 ρ ) ζ + ( m ρ ς 2 ρ x ) ζ ς 2 ς 1 Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ( ς 2 ς 1 ) ρ I x ζ Π ( m ρ ς 1 ρ ) + ρ I x ζ Π ( m ρ ς 1 ρ ) M ρ ( x ρ m ρ ς 1 ρ ) ζ + 1 + ( m ρ ς 2 ρ x ) ζ + 1 ( ς 2 ς 1 ) ( ρ ( ζ + 1 ) ) 1 1 q 1 + m ρ ζ ρ ( 2 ζ + 1 ) 1 q ,
with ζ , ρ > 0 , and x [ m ς 1 , m ς 2 ] .
Theorem 84
([44]). Let Π be as in Theorem 81. If | Π | q , q 1 is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] and | Π ( x ρ ) | M , then:
| Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ρ I x ζ Π ( m ρ ς 1 ρ 2 ( x ρ m ρ ς 1 ρ ) ζ + ρ I x + ζ Π ( m ρ ς 2 ρ 2 ( m ρ ς 2 ρ x ρ ) ζ | M m ρ [ ς 2 ρ ς 1 ρ ] 2 1 + m ρ ζ 2 ζ + 1 , x [ m ς 1 , m ς 2 ] ,
with ζ , ρ > 0 .
Theorem 85
([44]). Let Π be as in Theorem 81. If | Π | q , q > 1 is ( ζ , m ) -convex on [ m ς 1 , m ς 2 ] and | Π ( x ρ ) | M , then:
| Π ( x ρ ) ( ζ ρ + ρ 1 ) Γ ( ζ ) ρ 1 ζ ρ I x ζ Π ( m ρ ς 1 ρ 2 ( x ρ m ρ ς 1 ρ ) ζ + ρ I x + ζ Π ( m ρ ς 2 ρ 2 ( m ρ ς 2 ρ x ρ ) ζ | M ρ [ m ρ ς 2 ρ m ρ ς 1 ρ ] 2 ( p ( ζ ρ + ρ 1 ) + 1 ) 1 p 1 + m ρ ζ ρ ζ ρ + 1 1 q , x [ m ς 1 , m ς 2 ] ,
with ζ , ρ > 0 and 1 p + 1 q = 1 .
We continue by giving some Ostrowski-type inequalities for p-convex functions pertaining to the Katugampola fractional integral.
Definition 22
([45]). A function Π : I R is p-convex, if
Π [ t x p + ( 1 t ) y p ] 1 / p t Π ( x ) + ( 1 t ) Π ( y ) ,
x , y I and t [ 0 , 1 ] .
Theorem 86
([46]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . Let | Π | be a p-convex function, | Π ( x ) | M , x [ ς 1 , ς 2 ] and ζ > 0 .
( i )
If p ( , 0 ) ( 1 , ) , then
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I x ζ Π ) ( ς 1 ) + ( p I x + ζ Π ) ( ς 2 ) ς 1 1 p M p 1 + ζ ( ζ + 1 ) ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 ( ς 2 ς 1 ) , x ( ς 1 , ς 2 ) .
( i i )
If p ( 0 , 1 ) , then we have:
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I x ζ Π ) ( ς 1 ) + ( p I x + ζ Π ) ( ς 2 ) ς 2 1 p M p 1 + ζ ( ζ + 1 ) ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 ( ς 2 ς 1 ) , x ( ς 1 , ς 2 ) .
Theorem 87
([46]). Let Π be as in Theorem 86. Let | Π | q be a p-convex function, | Π ( x ) | M , x [ ς 1 , ς 2 ] , ζ > 0 and r > 1 .
( i )
If p ( , 0 ) ( 1 , ) , then
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I x ζ Π ) ( ς 1 ) + ( p I x + ζ Π ) ( ς 2 ) ς 1 1 p M p 1 + ζ ( 1 + r ζ ) 1 / r ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 ς 2 ς 1 , x ( ς 1 , ς 2 ) .
( i i )
If p ( 0 , 1 ) , then
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I x ζ Π ) ( ς 1 ) + ( p I x + ζ Π ) ( ς 2 ) ς 2 1 p M p 1 + ζ ( 1 + r ζ ) 1 / r ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 ς 2 ς 1 , x ( ς 1 , ς 2 ) .
Theorem 88
([46]). Let the assumptions of this theorem be as stated in Theorem 87, and r , q > 1 such that 1 / r + 1 / q = 1 .
( i )
Suppose p ( , 0 ) ( 1 , ) , then
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I x ζ Π ) ( ς 1 ) + ( p I x + ζ Π ) ( ς 2 ) ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 p 1 + ζ ( ς 2 ς 1 ) ( ς 1 1 p ) r r ( ζ r + 1 ) + M q q , x ( ς 1 , ς 2 ) .
( i i )
Suppose p ( 0 , 1 ) , then
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I x ζ Π ) ( ς 1 ) + ( p I x + ζ Π ) ( ς 2 ) ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 p 1 + ζ ( ς 2 ς 1 ) ( ς 2 1 p ) r r ( ζ r + 1 ) + M q q , x ( ς 1 , ς 2 ) .
Theorem 89
([46]). Let the assumptions of this theorem be as stated in Theorem 86 and r , q > 0 such that r + q = 1 .
( i )
Suppose p ( , 0 ) ( 1 , ) , then
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I b ζ Π ) ( ς 1 ) + ( p I a + ζ Π ) ( ς 2 ) ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 p 1 + ζ ( ς 2 ς 1 ) r ς 1 1 p ζ + 1 + M q , x ( ς 1 , ς 2 ) .
( i i )
If p ( 0 , 1 ) , then
( x p ς 1 p ) ζ Π ( ς 1 ) + ( ς 2 p x p ) ζ Π ( ς 2 ) p ζ ( ς 2 ς 1 ) Γ ( ζ + 1 ) ς 2 ς 1 ( p I b ζ Π ) ( ς 1 ) + ( p I a + ζ Π ) ( ς 2 ) ( x p ς 1 p ) ζ + 1 + ( ς 2 p x p ) ζ + 1 p 1 + ζ ( ς 2 ς 1 ) r ς 2 1 p ζ + 1 + M q , x ( ς 1 , ς 2 ) .
Theorem 90
([47]). Let Π : I ( 0 , ) R be a differentiable mapping on I and ς 1 , ς 2 I with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is p-convex on I and | Π ( x ) | M , for all x [ ς 1 , 2 1 ρ ς 1 ] (if 2 1 ρ ς 1 < ς 2 , otherwise x [ ς 1 , ς 2 ] ), then
| ρ Π ( x ) ς 2 ς 1 ( x ρ ς 1 ρ ) ζ + ( ς 2 ρ x ρ ) ζ ρ ζ + 1 Γ ( ζ + 1 ) ς 2 ς 1 ρ I x ζ Π ( ς 1 ) + ρ I x + ζ Π ( ς 2 ) M ( x ρ ς 1 ρ ) ζ + 1 ς 2 ς 1 [ R ( ς 1 ) + S ( ς 1 ) ] + M ( ς 1 ρ x ρ ) ζ + 1 ς 2 ς 1 [ R ( ς 2 ) + S ( ς 2 ) ] ,
where
R ( λ ) = λ 1 ρ ζ + 2 2 F 1 ζ + 2 , ρ 1 ρ ; ζ + 3 ; 1 x ρ λ ρ , S ( λ ) = λ 1 ρ ( ζ + 1 ) ( ζ + 2 ) [ ( ζ + 2 ) 2 F 1 ζ + 1 , ρ 1 ρ ; ζ + 2 ; 1 x ρ λ ρ ( ζ + 1 ) 2 F 1 ζ + 2 , ρ 1 ρ ; ζ + 3 ; 1 x ρ λ ρ ] ,
and ρ > 1 , ζ > 0 , λ { ς 1 , ς 2 } and 2 F 1 ( · , · ; · ; · ) is the hypergeometric function.
Theorem 91
([47]). Let Π be as in Theorem 90. If | Π | q is p-convex on I and | Π ( x ) | M , for all x I { ς 1 , ς 2 } then
| ρ Π ( x ) ς 2 ς 1 ( x ρ ς 1 ρ ) ζ + ( ς 2 ρ x ρ ) ζ ρ ζ + 1 Γ ( ζ + 1 ) ς 2 ς 1 ρ I x ζ Π ( ς 1 ) + ρ I x + ζ Π ( ς 2 ) M ς 2 ς 1 1 ζ q + 1 1 q ( x ρ ς 1 ρ ) ζ + 1 K 1 r ( ς 1 ) + ( ς 2 ρ x ρ ) ζ + 1 K 1 r ( ς 2 ) ,
where
K ( λ ) = ρ ( x r ( 1 ρ ) + ρ λ r ( 1 ρ ) + ρ ) ( x ρ λ ρ ) ( r ( 1 ρ ) + ρ ) ,
and ρ > 0 , ζ > 0 , λ { ς 1 , ς 2 } r > 1 and 1 r + 1 q = 1 .
Theorem 92
([47]). Let Π be as in Theorem 90. If | Π | is p-convex on I and | Π ( x ) | M , for all x [ ς 1 , 2 1 ρ ς 1 ] (if 2 1 ρ ς 1 < ς 2 , otherwise x [ ς 1 , ς 2 ] ), then
| ρ Π ( x ) ς 2 ς 1 ( x ρ ς 1 ρ ) ζ + ( ς 2 ρ x ρ ) ζ ρ ζ + 1 Γ ( ζ + 1 ) ς 2 ς 1 ρ I x ζ Π ( ς 1 ) + ρ I x + ζ Π ( ς 2 ) M ς 2 ς 1 ( x ρ ς 1 ρ ) ζ + 1 L 1 1 q ( ς 1 ) [ R ( ς 1 ) + S ( ς 1 ) ] 1 q + M ς 2 ς 1 ( ς 1 ρ x ρ ) ζ + 1 L 1 1 q ( ς 2 ) [ R ( ς 2 ) + S ( ς 2 ) ] 1 q ,
where
L ( λ ) = λ 1 ρ ζ + 1 2 F 1 ζ + 1 , ρ 1 ρ ; ζ + 2 ; 1 x ρ λ ρ ,
and ρ > 1 , ζ > 0 , λ { ς 1 , ς 2 } .

4. Ostrowski-Type Fractional Integral Inequalities via k -Riemann–Liouville Fractional Integral

Definition 23
([48]). Let Π L [ ς 1 , ς 2 ] , ς 1 0 , and k > 0 . The k-Riemann–Liouville fractional integrals I ς 1 + ζ , k Π and I ς 2 ζ , k Π of order ζ > 0 for a real-valued function Π are defined by
I ς 1 + ζ , k Π ( t ) = 1 k Γ k ( ζ ) x 1 t ( t s ) ζ k 1 Π ( s ) d s , t > ς 1 ,
and
I ς 2 ζ , k Π ( t ) = 1 k Γ k ( ζ ) t b ( s t ) ζ k 1 Π ( s ) d s , t < ς 2 ,
respectively, where Γ k is the k-Gamma function Γ k ( t ) = 0 s t 1 e s k k d s .
We present some Ostrowski-type inequalities for s-Godunova-Levin of a second kind via the Riemann–Liouville k-fractional integral.
Theorem 93
([49]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is an s-Godunova-Levin function of the second kind on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ k ( ζ + k ) ς 2 ς 1 J x ζ , k Π ( ς 1 ) + J x + ζ , k Π ( ς 2 ) | M ( x ς 1 ) ζ k + 1 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 1 ζ k + 1 s + Γ k ( ζ + k ) Γ k ( k s k ) Γ k ( ζ + 2 k s k ) .
Theorem 94
([49]). Let Π be as in Theorem 93. If | Π | q , q > 1 is an s-Godunova-Levin function of the second kind on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ k ( ζ + k ) ς 2 ς 1 J x ζ , k Π ( ς 1 ) + J x + ζ , k Π ( ς 2 ) | M ( x ς 1 ) ζ k + 1 + ( ς 2 x ) ζ k + 1 ( ς 2 ς 1 ) ( 1 + p ζ k ) 1 p 2 1 s 1 q ,
with 1 p + 1 q = 1 .
Theorem 95
([49]). Let Π be as in Theorem 93. If | Π | q , q 1 is an s-Godunova-Levin function of the second kind on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ k ( ζ + k ) ς 2 ς 1 J x ζ , k Π ( ς 1 ) + J x + ζ , k Π ( ς 2 ) | M 1 + ζ k 1 1 q ( x ς 1 ) ζ k + 1 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 1 ζ k + 1 s + Γ k ( ζ + k ) Γ k ( k s k ) Γ k ( ζ + 2 k s k ) 1 q .
Theorem 96
([49]). Let the assumptions of this theorem be stated in Theorem 93. Then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) Γ k ( ζ + k ) 1 2 ( x ς 1 ) ζ k J x ζ , k Π ( ς 1 ) + 1 2 ( ς 2 x ) ζ k J x + ζ , k Π ( ς 2 ) | M ( ς 2 ς 1 ) 2 1 ζ k + 1 s + Γ k ( ζ + k ) Γ k ( k s k ) Γ k ( ζ + 2 k s k ) .
Here, utilizing strongly ( β , m ) -convex via the k-Riemann–Liouville fractional integral, some Ostrowski-type inequalities are presented.
Definition 24
([50]). A real-valued function Π : [ 0 , d ] R R is strongly ( β , m ) -convex, if
Π ( t x + ( 1 t ) y ) t β Π ( x ) + m ( 1 t β ) Π ( y ) μ t ( 1 t ) ( y x ) 2 ,
for all x , y [ 0 , d ] and t [ 0 , 1 ] .
Theorem 97
([50]). Let Π : [ 0 , ) R be a differentiable function on ( 0 , ) such that Π L [ ς 1 , ς 2 ] with 0 ς 1 < ς 2 . If | Π | is strongly ( β , m ) -convex with modulus μ 0 for β [ 0 , 1 ] and m ( 0 , 1 ] , then
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ ( ζ + k ) ς 2 ς 1 J x ζ , k Π ( ς 1 ) + 1 2 ( ς 2 x ) ζ k J x + ζ , k Π ( ς 2 ) | ( x ς 1 ) ζ k + 1 ς 2 ς 1 | Π ( x ) | ζ k + β + 1 + β m | Π ς 1 m | ζ k + 1 ζ k + β + 1 μ x ς 1 m 2 ζ k + 2 ζ k + 3 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 | Π ( x ) | ζ k + β + 1 + β m | Π ς 2 m | ζ k + 1 ζ k + β + 1 μ ς 2 m x 2 ζ k + 2 ζ k + 3
for all x [ ς 1 , ς 2 ] and ζ , k > 0 .
Theorem 98
([50]). Let Π be as in Theorem 97. If | Π | q , q > 1 is strongly ( β , m ) -convex with modulus μ 0 for β [ 0 , 1 ] and m ( 0 , 1 ] , then:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ ( ζ + k ) ς 2 ς 1 J x ζ , k Π ( ς 1 ) + 1 2 ( ς 2 x ) ζ k J x + ζ , k Π ( ς 2 ) | ( x ς 1 ) ζ k + 1 ( ς 2 ς 1 ) ζ k p + 1 1 p | Π ( x ) | q β + 1 + β m | Π ς 1 m | q β + 1 μ x ς 1 m 2 6 1 q + ( ς 2 x ) ζ k + 1 ( ς 2 ς 1 ) ζ k p + 1 1 p | Π ( x ) | q β + 1 + β m | Π ς 2 m | q β + 1 μ ς 2 m x 2 6 1 q ,
for all x [ ς 1 , ς 2 ] , ζ , k > 0 and 1 p + 1 q = 1 .
Theorem 99
([50]). Let Π be as in Theorem 97. If | Π | q , q 1 is strongly ( β , m ) -convex with modulus μ 0 for β [ 0 , 1 ] and m ( 0 , 1 ] , then:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ ( ζ + k ) ς 2 ς 1 J x ζ , k Π ( ς 1 ) + 1 2 ( ς 2 x ) ζ k J x + ζ , k Π ( ς 2 ) | ( x ς 1 ) ζ k + 1 ( ς 2 ς 1 ) ζ k + 1 1 p | Π ( x ) | q ζ k + β + 1 + β m | Π ς 1 m | q ζ k + 1 ζ k + β + 1 μ x ς 1 m 2 ζ k + 2 ζ k + 3 1 q + ( ς 2 x ) ζ k + 1 ( ς 2 ς 1 ) ζ k + 1 1 p | Π ( x ) | q ζ k + β + 1 + β m | Π ς 2 m | q ζ k + 1 ζ k + β + 1 μ ς 2 m x 2 ζ k + 2 ζ k + 3 1 q
for all x [ ς 1 , ς 2 ] and ζ , k > 0 .
Here, we add some Ostrowski-type inequalities for exponentially convex functions via the k-Riemann–Liouville fractional integral.
Definition 25
([51]). A function Π : [ ς 1 , ς 2 ] R R is said to be an exponential-convex function, if
e Π ( t x + ( 1 t ) y ) t e Π ( x ) + ( 1 t ) e Π ( y ) ,
for all t [ 0 , 1 ] and all x , y [ ς 1 , ς 2 ] .
Theorem 100
([52]). Let Π : [ ς 1 , ς 2 ] R be a differentiable mapping on ( ς 1 , ς 2 ) . If Π is an exponential-convex function, then
| ( Π ( x ) Π ( ς 1 ) ) ζ k + ( Π ( ς 2 ) Π ( x ) ) ζ k e Π ( x ) Γ k ( ζ + k ) J ς 1 + ζ , k e Π ( x ) + Γ k ( ζ + k ) J ς 2 ζ , k e Π ( x ) | M ρ ρ + k ( Π ( x ) Π ( ς 1 ) ) ζ k + 1 + M ρ ρ + k ( Π ( ς 2 ) Π ( x ) ) ζ k + 1
if ψ ( x ) 1 and | e Π ( λ ) | M for all x , λ [ ς 1 , ς 2 ] .
Theorem 101
([52]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) , and ψ : [ ς 1 , ς 2 ] R be a strictly increasing function such that ψ ( x ) 1 , | ( e Π ( λ ) ) | M and m ( e Π ( λ ) ) M for all x , λ [ ς 1 , ς 2 ] , m 0 , M > 0 . If Π is an exponential-convex function, the following inequalities for k-fractional integrals hold:
| ( Π ( x ) Π ( ς 1 ) ) ζ k + ( Π ( ς 2 ) Π ( x ) ) ζ k e Π ( x ) Γ k ( ζ + k ) J ς 1 + ζ , k e Π ( x ) + Γ k ( ζ + k ) J ς 2 ζ , k e Π ( x ) | M ρ ρ + k ( Π ( x ) Π ( ς 1 ) ) ζ k + 1 + M ρ ρ + k ( Π ( ς 2 ) Π ( x ) ) ζ k + 1 ,
and
| ( Π ( x ) Π ( ς 1 ) ) ζ k + ( Π ( ς 2 ) Π ( x ) ) ζ k e Π ( x ) Γ k ( ζ + k ) J ς 1 + ζ , k e Π ( x ) + Γ k ( ζ + k ) J ς 2 ζ , k e Π ( x ) | m ρ ρ + k ( Π ( x ) Π ( ς 1 ) ) ζ k + 1 + m ρ ρ + k ( Π ( ς 2 ) Π ( x ) ) ζ k + 1 ,
for all x [ ς 1 , ς 2 ] .
Ostrowski-type fractional integral inequalities via k-fractional integral, which are obtained for ( s , r ) -convex in mixed kind, are presented in the next theorems.
Theorem 102
([53]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a function which is absolutely continuous and Π L [ ς 1 , ς 2 ] . If | Π | is an ( s , r ) -convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ , k > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) k Γ ( ζ + 1 ) ς 2 ς 1 I x ζ , k Π ( ς 1 ) + I x + ζ , k Π ( ς 2 ) | M 0 1 t ζ k t r s d t + 0 1 t ζ k ( 1 t r ) s d t ( x ς 1 ) ζ k + 1 ς 2 ς 1 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 .
Theorem 103
([53]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be an absolutely continuous function and Π L [ ς 1 , ς 2 ] . If | Π | q , q > 1 is an ( s , r ) -convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ , k > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) k Γ ( ζ + 1 ) ς 2 ς 1 I x ζ , k Π ( ς 1 ) + I x + ζ , k Π ( ς 2 ) | M 0 1 t ζ k d t 1 q 1 0 1 t ζ k t r s d t + 0 1 t ζ k ( 1 t r ) s d t 1 q ( x ς 1 ) ζ k + 1 ς 2 ς 1 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 .
Theorem 104
([53]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be an absolutely continuous function and Π L [ ς 1 , ς 2 ] . If | Π | q , p , q > 1 with 1 p + 1 q = 1 is an ( s , r ) -convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ , k > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) k Γ ( ζ + 1 ) ς 2 ς 1 I x ζ , k Π ( ς 1 ) + I x + ζ , k Π ( ς 2 ) | M 0 1 t ζ p k d t 1 p ς 2 ς 1 1 r s + 1 + 1 r B 1 r , s + 1 1 q ( x ς 1 ) ζ k + 1 + ( ς 2 x ) ζ k + 1 .
Here, we add some fractional Ostrowski-type inequalities via M T -convex functions.
Theorem 105
([54]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is an M T -convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ k ( ζ + k ) ς 2 ς 1 I x ζ , k Π ( ς 1 ) + I x + ζ , k Π ( ς 2 ) | M Γ ζ + k 2 Γ k k 2 2 Γ k ( ζ + k ) ( x ς 1 ) ζ k + 1 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 .
Theorem 106
([54]). Let Π be as in Theorem 105. If | Π | q is an M T -convex function on [ ς 1 , ς 2 ] , q > 1 , 1 p + 1 q = 1 , and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ k ( ζ + k ) ς 2 ς 1 I x ζ , k Π ( ς 1 ) + I x + ζ , k Π ( ς 2 ) | M ( 1 + p ζ k ) 1 p π 2 1 q ( x ς 1 ) ζ k + 1 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 .
Theorem 107
([54]). Let Π be as in Theorem 105. If | Π | q , q 1 is an M T -convex function on [ ς 1 , ς 2 ] , and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then for ζ > 0 and x [ ς 1 , ς 2 ] we have:
| ( x ς 1 ) ζ k + ( ς 2 x ) ζ k ς 2 ς 1 Π ( x ) Γ k ( ζ + k ) ς 2 ς 1 I x ζ , k Π ( ς 1 ) + I x + ζ , k Π ( ς 2 ) | M ( 1 + ζ ) 1 1 q Γ k ζ + k 2 Γ k k 2 2 Γ k ( ζ + k ) 1 q ( x ς 1 ) ζ k + 1 + ( ς 2 x ) ζ k + 1 ς 2 ς 1 .

5. Ostrowski-Type Fractional Integral Inequalities for Preinvex Functions

Definition 26
([55]). A set K R n is invex w.r.t η : K × K R n , if x , y K , we have
x + t η ( y , x ) K .
Definition 27
([55]). A function Π : K R is preinvex w.r.t. η if
Π ( x + t η ( y , x ) ) ( 1 t ) Π ( x ) + t Π ( y ) ,
x , y K , and all t [ 0 , 1 ] .
Definition 28
([56]). The nonnegative function Π on the invex set K is prequasi invex w.r.t. η , if
Π ( x + t η ( y , x ) ) max { Π ( x ) , Π ( y ) } ,
for all x , y K and t [ 0 , 1 ] .
Condition C.
[57] Suppose A R n be an invex subset w.r.t. η : K × K R n . We say that the function η satisfies the condition C if for any x , y K and t [ 0 , 1 ] ,
η ( y , y + t η ( x , y ) ) = t η ( x , y ) , η ( x , y + t η ( x , y ) ) = ( 1 t ) η ( x , y ) .
Ostrowski-type inequalities for preinvex and prequasiinvex functions are given in the next theorems.
Theorem 108
([58]). Let K R be an open invex subset with respect to η ( · , · ) : K × K R n and ς 1 , ς 2 K with ς 1 < ς 1 + η ( ς 2 , ς 1 ) . Suppose that Π : K R is a differentiable function. If Π is integrable on [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] and | Π | is a preinvex function on K , then
| [ ( x ς 1 ) ζ + ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ ] Π ( x ) + Γ ( ζ + 1 ) [ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 + η ( ς 2 , ς 1 ) ) ] ] ( x ς 1 ) ζ + 1 ζ + 1 + [ ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ + 2 ( x ς 1 ) ζ + 2 ] ( ζ + 2 ) η ( ς 2 , ς 1 ) | Π ( ς 1 ) | + [ ( x ς 1 ) ζ + 2 ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ + 2 ( ζ + 2 ) η ( ς 2 , ς 1 ) + ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ + 1 ζ + 1 | Π ( ς 2 ) | ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Theorem 109
([58]). Let Π be as in Theorem 108. If Π is integrable on [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] and | Π | q , q > 1 is a preinvex function on K , and η satisfies condition C, then
| [ ( x ς 1 ) ζ + ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ ] Π ( x ) + Γ ( ζ + 1 ) [ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 + η ( ς 2 , ς 1 ) ) ] ] 1 p ζ + 1 1 p [ ( x ς 1 ) ζ + 1 | Π ( ς 1 ) | q + | Π ( x ) | q 2 1 q + ( ς 1 + η ( ς 2 , ς 1 ) x ) ζ + 1 | Π ( ς 1 + η ( ς 2 , ς 1 ) ) | q + | Π ( x ) | q 2 1 q ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] where 1 p + 1 q = 1 .
Theorem 110
([58]). Let the assumptions of this theorem be as stated in Theorem 108. If Π is integrable on [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] and | Π | , is a prequasiinvex function on K , then
| [ ( x ς 1 ) ζ + ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ ] Π ( x ) Γ ( ζ + 1 ) [ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 + η ( ς 2 , ς 1 ) ) ] ] η ζ + 1 ( ς 2 , ς 1 ) max { | Π ( ς 1 ) | , | Π ( ς 2 ) | } ( x ς 1 ) ζ + 1 + ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ + 1 ζ + 1 ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Theorem 111
([58]). Let the assumptions of this theorem be stated in Theorem 108. If Π is integrable on [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] and | Π | q , q > 1 is a prequasiinvex function on K , η satisfies condition C , then
| [ ( x ς 1 ) ζ + ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ ] Π ( x ) Γ ( ζ + 1 ) [ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 + η ( ς 2 , ς 1 ) ) ] ] max { | Π ( ς 1 ) | , | Π ( ς 2 ) | } 1 p ζ + 1 1 p ( x ς 1 ) ζ + 1 + ( η ( ς 2 , ς 1 ) + ς 1 x ) ζ + 1 ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] where 1 p + 1 q = 1 .
Theorem 112
([59]). Let Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R be a differentiable mapping such that η ( ς 2 , ς 1 ) > 0 and Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] . If | Π | is a prequasiinvex function, then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) 2 [ x ς 1 η ( ς 2 , ς 1 ) ζ + 1 max { Π ( ς 1 ) | , Π ( x ) | } + 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 1 max { Π ( ς 1 + η ( ς 2 , ς 1 ) ) | , Π ( x ) | } ] ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Theorem 113
([59]). Let the assumptions of this theorem be as stated in Theorem 112. If | Π | q is a prequasiinvex function, where q > 1 , 1 p + 1 q = 1 , then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) ( ζ p + 1 ) 1 q [ x ς 1 η ( ς 2 , ς 1 ) ζ + 1 max { | Π ( ς 1 ) | q , | Π ( x ) | q } + 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 1 max { | Π ( ς 1 + η ( ς 2 , ς 1 ) ) | , | Π ( x ) | q } ] ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
In the next, we develop some fractional Ostrowski-type inequalities for twice differentiable preinvex mappings.
Theorem 114
([60]). Suppose that Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R is a twice differentiable mapping with ς 1 < ς 1 + η ( ς 2 , ς 1 ) . If Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] and | Π | is preinvex in [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] , then for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] ,
| η ζ + 1 ( x , ς 1 ) η ζ + 1 ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) Π ( x ) η ζ ( x , ς 1 ) + η ζ ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) Π ( x ) + Γ ( ζ + 1 ) η ( ς 2 , ς 1 ) J [ ς 1 + η ( ς 2 , ς 1 ) ] ζ Π ( ς 1 ) + J [ ς 1 + η ( ς 2 , ς 1 ) ] + ζ Π ( ς 2 ) | η ζ + 2 ( x , ς 1 ) ( ζ + 1 ) ( ζ + 3 ) η ( ς 2 , ς 1 ) | Π ( x ) | + | Π ( ς 1 ) | 1 ζ + 2 + η ζ + 2 ( ς 2 , x ) ( ζ + 1 ) ( ζ + 3 ) η ( ς 2 , ς 1 ) | Π ( x ) | + | Π ( ς 2 ) | 1 ζ + 2 .
Theorem 115
([60]). Suppose that Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R is a twice differentiable mapping with ς 1 < ς 1 + η ( ς 2 , ς 1 ) . If Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] and | Π | q , q > 1 is preinvex in [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] , then, for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] ,
| η ζ + 1 ( x , ς 1 ) η ζ + 1 ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) Π ( x ) η ζ ( x , ς 1 ) + η ζ ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) Π ( x ) + Γ ( ζ + 1 ) η ( ς 2 , ς 1 ) J [ ς 1 + η ( ς 2 , ς 1 ) ] ζ Π ( ς 1 ) + J [ ς 1 + η ( ς 2 , ς 1 ) ] + ζ Π ( ς 2 ) | 1 ( ζ + 1 ) p + 1 1 p [ η ζ + 2 ( x , ς 1 ) ( ζ + 1 ) η ( ς 2 , ς 1 ) | Π ( x ) | q + | Π ( ς 1 ) | q 2 1 q + η ζ + 2 ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) | Π ( x ) | q + | Π ( ς 2 ) | q 2 1 q ,
where 1 p + 1 q = 1 .
Theorem 116
([60]). Suppose that Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R is a function which is twice differentiable with ς 1 < ς 1 + η ( ς 2 , ς 1 ) . If Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] and | Π | q , q 1 is preinvex in [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] , then, for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] ,
| η ζ + 1 ( x , ς 1 ) η ζ + 1 ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) Π ( x ) η ζ ( x , ς 1 ) + η ζ ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) Π ( x ) + Γ ( ζ + 1 ) η ( ς 2 , ς 1 ) J [ ς 1 + η ( ς 2 , ς 1 ) ] ζ Π ( ς 1 ) + J [ ς 1 + η ( ς 2 , ς 1 ) ] + ζ Π ( ς 2 ) | 1 ζ + 2 1 1 q [ η ζ + 2 ( x , ς 1 ) ( ζ + 1 ) η ( ς 2 , ς 1 ) | Π ( x ) | q ζ + 3 + | Π ( ς 1 ) | q ( ζ + 2 ) ( ζ + 3 ) 1 q + η ζ + 2 ( ς 2 , x ) ( ζ + 1 ) η ( ς 2 , ς 1 ) | Π ( x ) | q ζ + 3 + | Π ( ς 2 ) | q ( ζ + 2 ) ( ζ + 3 ) 1 q .
Definition 29
([61]). A function Π : K ( 0 , ) R is s-preinvex in the second aspect w.r.t. η for some s ( 0 , 1 ] , if
Π ( x + t η ( y , x ) ) ( 1 t ) s Π ( x ) + t s Π ( y ) ,
for all x , y K , and all t [ 0 , 1 ] .
Some Ostrowski-type inequalities for s-preinvex in the second sense, are given in the next theorems.
Theorem 117
([62]). Let Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R be a differentiable function such that η ( ς 2 , ς 1 ) > 0 and Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] . If | Π | is s-preinvex, for s ( 0 , 1 ] , then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) ( B x ς 1 η ( ς 2 , ς 1 ) ( ζ + 1 , s + 1 ) + 1 ζ + s + 1 1 x ς 1 η ( ς 2 , ς 1 ) ζ + s + 1 | Π ( ς 1 ) | + 1 ζ + s + 1 x ς 1 η ( ς 2 , ς 1 ) ζ + s + 1 + B ( s + 1 , ζ + 1 ) B x ς 1 η ( ς 2 , ς 1 ) ( s + 1 , ζ + 1 ) | Π ( ς 2 ) | ) ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Theorem 118
([62]). Let Π be as in Theorem 117. If | Π | q is s-preinvex, for some fixed s ( 0 , 1 ] , q > 1 with 1 p + 1 q = 1 , then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) ( s + 1 ) 1 q ( ζ p + 1 ) 1 p ( x ς 1 η ( ς 2 , ς 1 ) ζ + 1 p ( x ς 1 η ( ς 2 , ς 1 ) s + 1 | Π ( ς 1 ) | q + 1 1 x ς 1 η ( ς 2 , ς 1 ) s + 1 | Π ( ς 2 ) | q ) 1 q + 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 1 p 1 x ς 1 η ( ς 2 , ς 1 ) s + 1 | Π ( ς 1 ) | q + 1 x ς 1 η ( ς 2 , ς 1 ) s + 1 | Π ( ς 2 ) | q 1 q ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Theorem 119
([62]). Let Π be as in Theorem 117. If | Π | q is s-preinvex for some fixed s ( 0 , 1 ] , q > 1 , Then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) ( ζ + 1 ) 1 1 q ( x ς 1 η ( ς 2 , ς 1 ) ( ζ + 1 ) ( 1 1 q ) B x ς 1 η ( ς 2 , ς 1 ) ( ζ + 1 , s + 1 ) | Π ( ς 1 ) | q + 1 ζ + s + 1 x ς 1 η ( ς 2 , ς 1 ) ζ + s + 1 | Π ( ς 2 ) | q ) 1 q + 1 x ς 1 η ( ς 2 , ς 1 ) ( ζ + 1 ) ( 1 1 q ) ( 1 ζ + s + 1 1 x ς 1 η ( ς 2 , ς 1 ) ζ + s + 1 | Π ( ς 1 ) | q + B ( s + 1 , ζ + 1 ) B x ς 1 η ( ς 2 , ς 1 ) ( s + 1 , ζ + 1 ) | Π ( ς 2 ) | q ) 1 q ) ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Definition 30
([63]). A non-negative function Π : K ( 0 , ) R is M T -preinvex w.r.t. η , if
Π ( x + t η ( y , x ) ) 1 t 2 t Π ( x ) + t 2 1 t Π ( y ) ,
for all x , y K , and all t ( 0 , 1 ) .
Here, we add some Ostrowski-type inequalities involving M T -preinvex via Reimann-Liouville integral operators.
Theorem 120
([64]). Suppose Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R be a differentiable mapping such that η ( ς 2 , ς 1 ) > 0 and Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] . If | Π | is M T -preinvex, then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) 2 ( B x ς 1 η ( ς 2 , ς 1 ) ζ + 1 2 , 3 2 + B 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 3 2 , 1 2 | Π ( ς 1 ) | + B x ς 1 η ( ς 2 , ς 1 ) ζ + 3 2 , 1 2 + B 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 1 2 , 3 2 | Π ( ς 2 ) | ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Theorem 121
([64]). Let Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R be a differentiable function such that η ( ς 2 , ς 1 ) > 0 and Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] . If | Π | q is M T -preinvex, q > 1 with 1 p + 1 q = 1 , then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) 2 1 q ( ζ p + 1 ) 1 q ( x ς 1 η ( ς 2 , ς 1 ) ζ + 1 p B x ς 1 η ( ς 2 , ς 1 ) 1 2 , 3 2 | Π ( ς 1 ) | q + B x ς 1 η ( ς 2 , ς 1 ) 3 2 , 1 2 | Π ( ς 2 ) | q 1 q + 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 1 p B 1 x ς 1 η ( ς 2 , ς 1 ) 1 2 , 3 2 | Π ( ς 1 ) | q + B 1 x ς 1 η ( ς 2 , ς 1 ) 3 2 , 1 2 | Π ( ς 2 ) | q 1 q ) ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .
Theorem 122
([64]). Let Π : [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] R be a differentiable mapping such that η ( ς 2 , ς 1 ) > 0 and Π L [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] . If | Π | q is M T -preinvex, q > 1 , then
| x ς 1 η ( ς 2 , ς 1 ) ζ + 1 x ς 1 η ( ς 2 , ς 1 ) ζ Π ( x ) Γ ( ζ + 1 ) ( η ( ς 2 , ς 1 ) ) ζ J x ζ Π ( ς 1 ) + J x + ζ Π ( ς 1 , ς 1 + η ( ς 2 , ς 1 ) ) | η ( ς 2 , ς 1 ) 2 1 q ( ζ p + 1 ) 1 1 q ( x ς 1 η ( ς 2 , ς 1 ) ( ζ + 1 ) ( 1 1 q ) × B x ς 1 η ( ς 2 , ς 1 ) ζ + 1 2 , 3 2 | Π ( ς 1 ) | q + B x ς 1 η ( ς 2 , ς 1 ) ζ + 3 2 , 1 2 | Π ( ς 2 ) | q 1 q + 1 x ς 1 η ( ς 2 , ς 1 ) ( ζ + 1 ) ( 1 1 q ) × B 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 3 2 , 1 2 | Π ( ς 1 ) | q + B 1 x ς 1 η ( ς 2 , ς 1 ) ζ + 1 2 , 3 2 | Π ( ς 2 ) | q 1 q ) ,
for all x [ ς 1 , ς 1 + η ( ς 2 , ς 1 ) ] .

6. Ostrowski-Type Fractional Integral Inequalities via Riemann–Liouville Fractional Integrals of a Function with Respect to Another Function

In this section, we add some fractional Ostrowski-type inequalities w.r.t. another function.
Definition 31
([2,65]). Let ( ς 1 , ς 2 ) ( ς 1 < ς 2 ) be the interval of R and ζ > 0 . Suppose ψ ( x ) is a positive monotone and increasing function on ( ς 1 , ς 2 ] , having ψ ( x ) on ( ς 1 , ς 2 ) . The ψ-Riemann–Liouville fractional integrals of a function (left and right sided) g w.r.t. another function ψ on [ ς 1 , ς 2 ] are defined by
J ς 1 + ζ ; ψ g ( x ) = 1 Γ ( ζ ) ς 1 x ψ ( t ) ( ψ ( x ) ψ ( t ) ) ζ 1 g ( t ) d t ,
J ς 2 ζ ; ψ g ( x ) = 1 Γ ( ζ ) x ς 2 ψ ( t ) ( ψ ( t ) ψ ( x ) ) ζ 1 g ( t ) d t ,
respectively.
We start with Ostrowski-type fractional inequalities involving fractional integrals with respect to another function and h-convex functions.
Theorem 123
([66]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 , Π : [ ς 1 , ς 2 ] R is integrable on [ ς 1 , ς 2 ] . Additionally, let | Π | be h-convex on [ ς 1 , ς 2 ] and | Π ( x ) | M , | ψ ( x ) | L , x [ ς 1 , ς 2 ] . Then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) Γ ( ζ + 1 ) 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ J x ζ , ψ Π ( ς 1 ) + 1 2 ( ψ ( ( ς 2 ) ψ ( x ) ) ζ J x + ζ , ψ Π ( ς 2 ) | ( x ς 1 ) ζ + 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ + ( ς 2 x ) ζ + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ M L ζ 0 1 t ζ [ h ( t ) + h ( 1 t ) ] d t .
Theorem 124
([66]). Let Π be as in Theorem 123. Additionally, let | Π | q , q > 1 be h-convex on [ ς 1 , ς 2 ] and | Π ( x ) | M , | ψ ( x ) | L , x [ ς 1 , ς 2 ] . Then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) Γ ( ζ + 1 ) 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ J x ζ , ψ Π ( ς 1 ) + 1 2 ( ψ ( ( ς 2 ) ψ ( x ) ) ζ J x + ζ , ψ Π ( ς 2 ) | ( x ς 1 ) ζ + 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ + ( ς 2 x ) ζ + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ M L ζ ( ζ p + 1 ) 1 p 2 0 1 h ( t ) d t 1 q ,
where 1 p + 1 q = 1 .
Theorem 125
([66]). Let Π be as in Theorem 123. Additionally, let | Π | q , q 1 be h-convex on [ ς 1 , ς 2 ] and | Π ( x ) | M , | ψ ( x ) | L , x [ ς 1 , ς 2 ] . Then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) Γ ( ζ + 1 ) 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ J x ζ , ψ Π ( ς 1 ) + 1 2 ( ψ ( ( ς 2 ) ψ ( x ) ) ζ J x + ζ , ψ Π ( ς 2 ) | ( x ς 1 ) ζ + 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ + ( ς 2 x ) ζ + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ M L ζ 1 ζ + 1 1 1 q 0 1 t ζ [ h ( t ) + h ( 1 t ) ] d t 1 q .
Theorem 126
([66]). Let Π be as in Theorem 123. Additionally, let | Π | q , q > 1 be h-convex on [ ς 1 , ς 2 ] and | Π ( x ) | M , | ψ ( x ) | L , x [ ς 1 , ς 2 ] . Then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) Γ ( ζ + 1 ) 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ J x ζ , ψ Π ( ς 1 ) + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ J x + ζ , ψ Π ( ς 2 ) | ( x ς 1 ) ζ + 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ + ( ς 2 x ) ζ + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ 2 M q L ζ 1 ζ p + 1 1 p 0 1 h ( t ) d t 1 q ,
where 1 p + 1 q = 1 .
Now, we add some Ostrowski-type inequalities via fractional integrals with respect to another function, i.e., ζ ¯ , β , γ , δ -convex functions in mixed kind, according to the following definition.
Definition 32
([67]). Let ( ζ ¯ , β , γ , δ ) ( 0 , 1 ] 4 . The function Π : I [ 0 , ) [ 0 , ) is ζ ¯ , β , γ , δ -convex function, if
Π ( t x + ( 1 t ) y ) t ζ ¯ γ Π ( x ) + ( 1 t β ) δ Π ( y ) ,
for all x , y I and t [ 0 , 1 ] .
Theorem 127
([67]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 and Π : [ ς 1 , ς 2 ] R is integrable on [ ς 1 , ς 2 ] . Additionally, let | Π | be a ζ ¯ , β , γ , δ -convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , | ψ ( x ) | L for all x ( ς 1 , ς 2 ) , ψ is a Lipschizian function. Then
| Π ( x ) Γ ( ζ + 1 ) J x + ζ , ψ Π ( ς 2 ) 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ + J x ζ , ψ Π ( ς 1 2 ( ψ ( ψ ( x ) ς 1 ) ) ζ M L ζ 1 ζ + ζ ¯ γ + 1 + B ζ + 1 β , δ + 1 β ( x ς 1 ) ζ + 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ + ( ς 2 x ) ζ + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ ,
for all x ( ς 1 , ς 2 ) .
Theorem 128
([67]). Let Π be as in Theorem 127. Additionally, let | Π | q , q 1 be a ζ ¯ , β , γ , δ -convex function on [ ς 1 , ς 2 ] and | Π ( x ) | M , | ψ ( x ) | L for all x ( ς 1 , ς 2 ) , ψ is a Lipschizian function. Then
| Π ( x ) Γ ( ζ + 1 ) J x + ζ , ψ Π ( ς 2 ) 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ + J x ζ , ψ Π ( ς 1 2 ( ψ ( ψ ( x ) ς 1 ) ) ζ M L ζ ( ζ + 1 ) 1 1 q 1 ζ + ζ ¯ γ + 1 + B ζ + 1 β , δ + 1 β 1 q ( x ς 1 ) ζ + 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ + ( ς 2 x ) ζ + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ ,
for all x ( ς 1 , ς 2 ) .
Theorem 129
([67]). Let Π be as in Theorem 127. Additionally, let | Π | q be a ζ ¯ , β , γ , δ -convex function on [ ς 1 , ς 2 ] , q > 1 such that 1 p + 1 q = 1 and | Π ( x ) | M , | ψ ( x ) | L for all x ( ς 1 , ς 2 ) , ψ is a Lipschizian function. Then
| Π ( x ) Γ ( ζ + 1 ) J x + ζ , ψ Π ( ς 2 ) 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ + J x ζ , ψ Π ( ς 1 2 ( ψ ( ψ ( x ) ς 1 ) ) ζ M L ζ ( ζ p + 1 ) 1 p 1 ζ ¯ γ + 1 + B 1 β , δ + 1 β 1 q ( x ς 1 ) ζ + 1 2 ( ψ ( x ) ψ ( ς 1 ) ) ζ + ( ς 2 x ) ζ + 1 2 ( ψ ( ς 2 ) ψ ( x ) ) ζ ,
for all x ( ς 1 , ς 2 ) .
Here, we add some fractional Ostrowski-type inequalities for functions with respect to another function.
Theorem 130
([68]). Let Π : I R be a mapping differentiable on I and ς 1 , ς 2 I , ς 1 < ς 2 and | Π ( x ) | M , for all x [ ς 1 , ς 2 ] . Suppose ψ C 1 ( I ) is positive monotone and increasing, and ψ ( x ) 1 for all x I . Let J ς 1 + ζ , ψ and J ς 2 β , ψ be the left- and right-Riemmansided fractional integrals. Then
| ( ψ ( ς 2 ) ψ ( x ) ) β + ( ψ ( x ) ψ ( ς 1 ) ) ζ Π ( x ) Γ ( β + 1 ) J ς 2 β , ψ Π ( x ) + Γ ( ζ + 1 ) J ς 1 + β , ψ Π ( x ) | M β β + 1 ( ψ ( ς 2 ) ψ ( x ) ) β + 1 + ζ ζ + 1 ( ψ ( x ) ψ ( ς 1 ) ) ζ + 1 ,
where ζ , β > 0 and x [ ς 1 , ς 2 ] .
Theorem 131
([68]). Assume that Π and ψ are as in Theorem 130. If m Π ( x ) | M , for all M 0 , m 0 and all x [ ς 1 , ς 2 ] , then
( ψ ( x ) ψ ( ς 1 ) ) ζ ( ψ ( ς 2 ) ψ ( x ) ) β Π ( x ) Γ ( ζ + 1 ) J ς 1 + ζ , ψ Π ( x ) Γ ( β + 1 ) J ς 2 β , ψ Π ( x ) | M ζ ζ + 1 ( ψ ( x ) ψ ( ς 1 ) ) ζ + 1 + β β + 1 ( ψ ( ς 2 ) ψ ( x ) ) β + 1 ,
and
( ψ ( ς 2 ) ψ ( x ) ) β ( ψ ( x ) ψ ( ς 1 ) ) ζ Π ( x ) + Γ ( ζ + 1 ) J ς 1 + ζ , ψ Π ( x ) Γ ( β + 1 ) J ς 2 β , ψ Π ( x ) | m β β + 1 ( ψ ( ς 2 ) ψ ( x ) ) β + 1 + ζ ζ + 1 ( ψ ( x ) ψ ( ς 1 ) ) ζ + 1 ,
where ζ , β > 0 and x [ ς 1 , ς 2 ] .
Theorem 132
([68]). Assume that Π and ψ are as in Theorem 130. Then
| ( ψ ( ς 2 ) ψ ( x ) ) β Π ( ς 2 ) + ( ψ ( x ) ψ ( ς 1 ) ) ζ Π ( ς 1 ) Γ ( β + 1 ) J ς 2 β , ψ + Γ ( ζ + 1 ) J ς 1 + β , ψ Π ( x ) | M β β + 1 ( ψ ( ς 2 ) ψ ( x ) ) β + 1 + ζ ζ + 1 ( ψ ( x ) ψ ( ς 1 ) ) ζ + 1 ,
where ζ , β > 0 and x [ ς 1 , ς 2 ] .

7. Mercer-Ostrowski-Type Fractional Integral Inequalities for Riemann–Liouville Fractional Integral Operator

In this section, we present Mercer-Ostrowski-type fractional integral inequalities for first order differentiable functions for the Riemann–Liouville integral operator.
Theorem 133
([69]). Let Π : [ ς 1 , ς 2 ] R be a differentiable function on ( ς 1 , ς 2 ) with ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is a convex function on [ ς 1 , ς 2 ] , then
| ( s 1 ) ζ Π ( + ς 1 s 1 ) + ( s 2 ) ζ Π ( + ς 2 s 2 ) Γ ( ζ + 1 ) J ( + ς 1 s 1 ) ζ Π ( ς 1 ) + J ( + ς 2 s 2 ) + ζ Π ( ς 2 ) | ( s 1 ) ζ 1 ζ + 1 ( | Π ( ) | + | Π ( ς 1 ) | ) 1 Γ ( ζ + 2 ) | Π ( s 1 ) | + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( ) | + ( s 2 ) ζ 1 ζ + 1 ( | Π ( ) | + | Π ( ς 2 ) | ) 1 Γ ( ζ + 2 ) | Π ( s 2 ) | + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( ) | .
Theorem 134
([69]). Let Π be as in Theorem 133. If | Π | q is a convex function on [ ς 1 , ς 2 ] , q > 1 , then
| ( s 1 ) ζ Π ( + ς 1 s 1 ) + ( s 2 ) ζ Π ( + ς 2 s 2 ) Γ ( ζ + 1 ) J ( + ς 1 s 1 ) ζ Π ( ς 1 ) + J ( + ς 2 s 2 ) + ζ Π ( ς 2 ) | ( s 1 ) ζ 1 ζ p + 1 1 p ( | Π ( ) | q + | Π ( ς 1 ) | q ) 1 2 | Π ( s 1 ) | q + | Π ( ) | 1 q + ( s 2 ) ζ 1 ζ p + 1 1 p ( | Π ( ) | q + | Π ( ς 2 ) | q ) 1 2 | Π ( s 2 ) | q + | Π ( ) q | 1 q ,
where 1 p + 1 q = 1 .
Theorem 135
([69]). Let Π be as in Theorem 133. If | Π | q is a convex function on [ ς 1 , ς 2 ] , q 1 , then
| ( s 1 ) ζ Π ( + ς 1 s 1 ) + ( s 2 ) ζ Π ( + ς 2 s 2 ) Γ ( ζ + 1 ) J ( + ς 1 s 1 ) ζ Π ( ς 1 ) + J ( + ς 2 s 2 ) + ζ Π ( ς 2 ) | ( s 1 ) ζ 1 ζ + 1 1 1 q { 1 ζ + 1 ( | Π ( ) | q + | Π ( ς 1 ) | q ) 1 Γ ( ζ + 2 ) | Π ( s 1 ) | q + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( ) | q } 1 q + ( s 2 ) ζ 1 ζ + 1 1 1 q { 1 ζ + 1 ( | Π ( ) | q + | Π ( ς 2 ) | q ) 1 Γ ( ζ + 2 ) | Π ( s 2 ) | q + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( ) | q } 1 q .
Throughout this portion, Mercer-Ostrowski-type inequalities for differentiable functions via ψ -Riemann–Liouville fractional integral operators are obtained.
Theorem 136
([70]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable on ( ς 1 , ς 2 ) with ς 1 < ς 2 , Π : [ ς 1 , ς 2 ] R be integrable on [ ς 1 , ς 2 ] . Let ψ ( x ) be an increasing and positive monotone function on ( ς 1 , ς 2 ] , having a continuous derivative ψ ( x ) on ( ς 1 , ς 2 ) . If | Π | is a convex function on [ ς 1 , ς 2 ] , then for ζ > 0 and x , a , b , y [ ς 1 , ς 2 ] , we have:
| ( y a ) ζ b a Π ( x + ς 1 a ) + ( b y ) ζ b a Π ( x + ς 2 b ) Γ ( ζ + 1 ) b a [ J ψ 1 ( x + ς 1 a ) ζ , ψ ( Π ψ ) ( ψ 1 ( x + ς 1 y ) ) + J ψ 1 ( x + ς 2 b ) + ζ , ψ ( Π ψ ) ( ψ 1 ( x + ς 2 y ) ) ] ( y a ) ζ + 1 b a 1 ζ + 1 | Π ( x ) | + | Π ( ς 1 ) | 1 ζ + 2 | Π ( a ) | + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( y ) | + ( b y ) ζ + 1 b a 1 ζ + 1 | Π ( x ) | + | Π ( ς 2 ) | 1 ζ + 2 | Π ( b ) | + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( y ) | .
Theorem 137
([70]). Assume that Π and ψ are as in Theorem 136. If | Π | q is a convex function on [ ς 1 , ς 2 ] , then for ζ > 0 and x , a , b , y [ ς 1 , ς 2 ] , we have:
| ( y a ) ζ b a Π ( x + ς 1 a ) + ( b y ) ζ b a Π ( x + ς 2 b ) Γ ( ζ + 1 ) b a [ J ψ 1 ( x + ς 1 a ) ζ , ψ ( Π ψ ) ( ψ 1 ( x + ς 1 y ) ) + J ψ 1 ( x + ς 2 b ) + ζ , ψ ( Π ψ ) ( ψ 1 ( x + ς 2 y ) ) ] ( y a ) ζ + 1 b a 1 ζ p + 1 1 p | Π ( x ) | q + | Π ( ς 1 ) | q 1 2 | Π ( a ) | q + | Π ( y ) | q 1 p + ( b y ) ζ + 1 b a 1 ζ p + 1 1 p | Π ( x ) | q + | Π ( ς 2 ) | q 1 2 | Π ( b ) | q + | Π ( y ) | q 1 p ,
where p , q > 1 and 1 p + 1 q = 1 .
Theorem 138
([70]). Assume that Π and ψ are as in Theorem 136. If | Π | q , q 1 is a convex function on [ ς 1 , ς 2 ] , then for ζ > 0 and x , a , b , y [ ς 1 , ς 2 ] , we have:
| ( y a ) ζ b a Π ( x + ς 1 a ) + ( b y ) ζ b a Π ( x + ς 2 b ) Γ ( ζ + 1 ) b a [ J ψ 1 ( x + ς 1 a ) ζ , ψ ( Π ψ ) ( ψ 1 ( x + ς 1 y ) ) + J ψ 1 ( x + ς 2 b ) + ζ , ψ ( Π ψ ) ( ψ 1 ( x + ς 2 y ) ) ] ( y a ) ζ + 1 b a 1 ζ + 1 1 1 q 1 ζ + 1 | Π ( x ) | q + | Π ( ς 1 ) | q 1 ζ + 2 | Π ( a ) | q + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( y ) | q 1 q + ( b y ) ζ + 1 b a 1 ζ + 1 1 1 q 1 ζ + 1 | Π ( x ) | q + | Π ( ς 2 ) | q 1 ζ + 2 | Π ( b ) | q + 1 ( ζ + 1 ) ( ζ + 2 ) | Π ( y ) | q 1 q .

8. Ostrowski-Type Fractional Integral Inequalities via Hadamard Fractional Integral

Definition 33
([2]). Hadamard fractional integrals (left and right) of order ζ R + of function Π are defined by
( H J ς 1 + ζ Π ) ( x ) = 1 Γ ( ζ ) ς 1 x ln x t ζ 1 Π ( t ) d t t , 0 < ς 1 < x ς 2 ,
and
( H J ς 2 ζ Π ) ( x ) = 1 Γ ( ζ ) x ς 2 ln t x ζ 1 Π ( t ) d t t , 0 < ς 1 x < ς 2 .
Definition 34
([71]). The function Π : I ( 0 , ) R is called quasi-geometrically convex on I if
Π ( x t y 1 t ) max { Π ( x ) , Π ( y ) } ,
for all x , y I and t [ 0 , 1 ] .
Fractional Ostrowski-type fractional integral inequalities for functions which are differentiable and quasi-geometrically convex, are given now.
Theorem 139
([72]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 < ς 2 . Let g : [ ς 1 , ς 2 ] ( 0 , ) be a continuous, positive and geometrically symmetric to ς 1 ς 2 and Π L [ ς 1 , ς 2 ] . If | Π | is quasi-geometrically convex, then, for all x [ ς 1 , ς 2 ] ,
| H J x ζ g Π ( ς 1 ) + H J x + ζ g Π ( ς 2 ) H J x ζ Π ( ς 1 ) + H J x + ζ Π ( ς 2 ) | ln ς 2 x ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | , | Π ( ς 2 ) | } g [ x , ς 2 ] , + ln ς 1 x ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | , | Π ( ς 1 ) | } g [ ς 1 , x ] , .
Theorem 140
([72]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 < ς 2 . Let g : [ ς 1 , ς 2 ] ( 0 , ) be a continuous, positive and geometrically symmetric to ς 1 ς 2 and Π L [ ς 1 , ς 2 ] . If | Π | q is quasi-geometrically convex, q > 1 and 1 p + 1 q = 1 , then
| H J x ζ g Π ( ς 1 ) + H J x + ζ g Π ( ς 2 ) H J x ζ Π ( ς 1 ) + H J x + ζ Π ( ς 2 ) | ln ς 2 x ζ + 1 ( ζ p + 1 ) 1 p Γ ( ζ + 1 ) max { | Π ( x ) | , | Π ( ς 2 ) | } 1 q g [ x , ς 2 ] , + ln ς 1 x ζ + 1 ( ζ p + 1 ) 1 p Γ ( ζ + 1 ) max { | Π ( x ) | , | Π ( ς 1 ) | } 1 q g [ ς 1 , x ] , ,
for all  x [ ς 1 , ς 2 ] .
Theorem 141
([72]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 < ς 2 . Let g : [ ς 1 , ς 2 ] ( 0 , ) be a continuous, positive and geometrically symmetric to ς 1 ς 2 and Π L [ ς 1 , ς 2 ] . If | Π | q , q 1 is quasi-geometrically convex, then, for all x [ ς 1 , ς 2 ] ,
| H J x ζ g Π ( ς 1 ) + H J x + ζ g Π ( ς 2 ) H J x ζ Π ( ς 1 ) + H J x + ζ Π ( ς 2 ) | ln ς 2 x ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | , | Π ( ς 2 ) | } 1 q g [ x , ς 2 ] , + ln ς 1 x ζ + 1 Γ ( ζ + 2 ) max { | Π ( x ) | , | Π ( ς 1 ) | } 1 q g [ ς 1 , x ] , .
Definition 35
([73]). A function Π : I ( 0 , ) R is said to satisfy the s e -condition if
Π ( e t x + ( 1 t ) y ) t s Π ( e x ) + ( 1 t ) s Π ( e y ) ,
for all x , y I , t [ 0 , 1 ] and for some fixed s ( 0 , 1 ] .
Here, we add some fractional Ostrowski inequalities for s e -condition.
Theorem 142
([73]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a function which is differentiable on ( ς 1 , ς 2 ) with 0 < ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | satisfies the s e -condition on [ ς 1 , ς 2 ] for s ( 0 , 1 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( ln x ln ς 1 ) ζ + ( ln ς 2 ln x ) ζ ln ς 2 ln ς 1 Π ( x ) Γ ( ζ + 1 ) ln ς 2 ln ς 1 H J x ζ Π ( ς 1 ) + H J x + ζ Π ( ς 2 ) | M ς 2 ln ς 2 ln ς 1 1 + Γ ( ζ + 1 ) Γ ( s + 1 ) Γ ( ζ + s + 1 ) ( ln x ln ς 1 ) ζ + 1 + ( ln ς 2 ln x ) ζ + 1 ζ + s + 1 ,
for all x ( ς 1 , ς 2 ) .
Theorem 143
([73]). Let Π be as in Theorem 142. If | Π | q , q > 1 satisfies the s e -condition on [ ς 1 , ς 2 ] for s ( 0 , 1 ] and | Π ( x ) | M , x [ ς 1 , ς 2 ] , then
| ( ln x ln ς 1 ) ζ + ( ln ς 2 ln x ) ζ ln ς 2 ln ς 1 Π ( x ) Γ ( ζ + 1 ) ln ς 2 ln ς 1 H J x ζ Π ( ς 1 ) + H J x + ζ Π ( ς 2 ) | M ς 2 ( 1 + p ζ ) 1 p 2 s + 1 1 q ( ln x ln ς 1 ) ζ + 1 + ( ln ς 2 ln x ) ζ + 1 ln ς 2 ln ς 1 ,
for all x ( ς 1 , ς 2 ) , where 1 p + 1 q = 1 .
Theorem 144
([73]). Let the assumptions of this theorem be stated in Theorem 143. Then
| ( ln x ln ς 1 ) ζ + ( ln ς 2 ln x ) ζ ln ς 2 ln ς 1 Π ( x ) Γ ( ζ + 1 ) ln ς 2 ln ς 1 H J x ζ Π ( ς 1 ) + H J x + ζ Π ( ς 2 ) | M ς 2 1 ζ q + s + 1 1 q 1 + Γ ( ζ q + 1 ) Γ ( s + 1 ) Γ ( ζ q + s + 1 ) 1 q ( ln x ln ς 1 ) ζ + 1 + ( ln ς 2 ln x ) ζ + 1 ln ς 2 ln ς 1 ,
for all x ( ς 1 , ς 2 ) , where 1 p + 1 q = 1 .

9. Ostrowski-Type Fractional Integral Inequalities for Exponential Kernel

Here, in this section, we add some Ostrowski-type inequalities for exponential kernel.
Definition 36
([74]). Let Π L ( ς 1 , ς 2 ) . The left and right fractional integrals of order ζ ( 0 , 1 ) are defined by
I ς 1 ζ Π ( x ) = 1 ζ ς 1 x exp 1 ζ ζ ( x s ) Π ( s ) d s , x > ς 1 ,
and
I ς 2 ζ Π ( x ) = 1 ζ x ς 2 exp 1 ζ ζ ( s x ) Π ( s ) d s , x < ς 2 ,
respectively.
Theorem 145
([75]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable with 0 ς 1 < ς 2 and Π L [ ς 1 , ς 2 ] . If | Π | q , q > 1 , is a convex function on [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) 1 ζ 2 exp 1 ζ ζ ( x ς 1 ) exp 1 ζ ζ ( ς 2 x ) I x ζ Π ( ς 1 ) + x + ζ Π ( ς 2 ) | 1 ζ 2 exp { θ ς 1 } exp { θ ς 2 } [ ( x ς 1 ) A 1 ( ζ , p ) | Π ( x ) | q + | Π ( ς 1 ) | q 2 1 q + ( ς 2 x ) A 2 ( ζ , p ) | Π ( x ) | q + | Π ( ς 2 ) | q 2 1 q ] ,
where 1 p + 1 q = 1 , θ ς 1 = 1 ζ ζ ( x ς 1 ) , θ ς 2 = 1 ζ ζ ( ς 2 x ) and
A 1 ( ζ , p ) = 0 1 [ 1 exp 1 ζ ζ ( x ς 1 ) t ] p d t 1 p , A 2 ( ζ , p ) = 0 1 [ 1 exp 1 ζ ζ ( ς 2 x ) t ] p d t 1 p .
Theorem 146
([75]). Let Π : [ ς 1 , ς 2 ] R be a function which is differentiable with 0 ς 1 < ς 2 and Π L [ ς 1 , ς 2 ] . If | Π | q , q 1 , is a convex function on [ ς 1 , ς 2 ] , then
| Π ( x ) 1 ζ 2 exp 1 ζ ζ ( x ς 1 ) exp 1 ζ ζ ( ς 2 x ) I x ζ Π ( ς 1 ) + x + ζ Π ( ς 2 ) | 1 2 exp { θ ς 1 } exp { θ ς 2 } { x ς 1 θ ς 1 1 1 q [ 1 + θ ς 1 exp { θ ς 1 } ] 1 1 q × ( | Π ( x ) | q 1 2 1 θ ς 1 2 [ 1 exp { θ ς 1 } ( θ ς 1 + 1 ) ] + | Π ( ς 1 ) | q 1 2 1 θ ς 1 2 [ θ ς 1 + exp { θ ς 1 } 1 ] ) 1 q + ς 2 x θ ς 2 1 1 q [ 1 + θ ς 2 exp { θ ς 2 } ] 1 1 q ( | Π ( x ) | q 1 2 1 θ ς 2 2 [ 1 exp { θ ς 2 } ( θ ς 2 + 1 ) ] + | Π ( ς 2 ) | q 1 2 1 θ ς 2 2 [ θ ς 2 + exp { θ ς 2 } 1 ] ) 1 q } ,
for all x [ ς 1 , ς 2 ] , where θ ς 1 , θ ς 2 defined in the previous theorem.

10. Ostrowski-Type Fractional Integral Inequalities via Atangana-Baleanu Fractional Integrals Operator

In this section, we give Ostrowski-type fractional integral inequalities for Atangana-Baleanu fractional integral operator for twice differentiable functions.
Definition 37
([76]). The left and right Atangana-Baleanu fractional integrals operators with nonlocal kernel of a function Π H 1 ( ς 1 , ς 2 ) = { Π L 2 ( ς 1 , ς 2 ) : Π L 2 ( ς 1 , ς 2 ) } , are defined as
A B t I ς 1 δ Π ( t ) = 1 δ M ( δ ) Π ( t ) + δ M ( δ ) Γ ( δ ) ς 1 t Π ( y ) ( t y ) δ 1 d y ,
A B t I ς 2 δ Π ( t ) = 1 δ M ( δ ) Π ( t ) + δ M ( δ ) Γ ( δ ) t ς 2 Π ( y ) ( y t ) δ 1 d y ,
for δ [ 0 , 1 ] and M ( δ ) a normalization function satisfying M ( 0 ) = M ( 1 ) = 1 .
Theorem 147
([77]). Let Π : [ ς 1 , ς 2 ] R be a differentiable mapping on ( ς 1 , ς 2 ) such that Π L [ ς 1 , ς 2 ] . If | Π | is a convex on [ ς 1 , ς 2 ] , then ∀ x [ ς 1 , ς 2 ] , δ ( 0 , 1 ] the inequality is given as
| ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) + 1 δ ς 2 ς 1 [ Π ( ς 1 ) + Π ( ς 2 ) ] M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) | ( x ς 1 ) δ + 1 ς 2 ς 1 | Π ( x ) | δ + 2 + | Π ( ς 1 ) | ( δ + 1 ) ( δ + 2 ) + ( ς 2 x ) δ + 1 ς 2 ς 1 | Π ( x ) | δ + 2 + | Π ( ς 2 ) | ( δ + 1 ) ( δ + 2 ) .
Theorem 148
([77]). Let Π : [ ς 1 , ς 2 ] R be a differentiable mapping on ( ς 1 , ς 2 ) such that Π L [ ς 1 , ς 2 ] . If | Π | q is a convex on [ ς 1 , ς 2 ] , then x [ ς 1 , ς 2 ] , δ ( 0 , 1 ] the inequality is given as:
| ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) + 1 δ ς 2 ς 1 [ Π ( ς 1 ) + Π ( ς 2 ) ] M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) | ( x ς 1 ) δ + 1 ς 2 ς 1 1 δ p + 1 1 p | Π ( x ) | q + | Π ( ς 1 ) | q 2 1 q + ( ς 2 x ) δ + 1 ς 2 ς 1 1 δ p + 1 1 p | Π ( x ) | q + | Π ( ς 2 ) | q 2 1 q ,
where 1 p + 1 q = 1 and q > 1 .
Theorem 149
([78]). Let Π : I [ 0 , ) R be a twice differentiable mapping on ( ς 1 , ς 2 ) with ς 1 , ς 2 I , ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is a convex function on [ ς 1 , ς 2 ] , then for all δ ( 0 , 1 ] the inequality is given as:
| ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ( δ + 1 ) ( ς 2 ς 1 ) Π ( x ) ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 2 ( 1 δ ) Γ ( δ ) ς 2 ς 1 Π ( x ) | ( x ς 1 ) δ + 2 ( δ + 1 ) ( δ + 3 ) ( ς 2 ς 1 ) | Π ( x ) | + | Π ( ς 1 ) | 1 δ + 2 + ( ς 2 x ) δ + 2 ( δ + 1 ) ( δ + 3 ) ( ς 2 ς 1 ) | Π ( x ) | + | Π ( ς 2 ) | 1 δ + 2 ,
for all x [ ς 1 , ς 2 ] .
Theorem 150
([78]). Let Π : I [ 0 , ) R be a twice differentiable mapping on ( ς 1 , ς 2 ) with ς 1 , ς 2 I , ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | q is a convex function on [ ς 1 , ς 2 ] , q > 1 then for all δ ( 0 , 1 ] the inequality is given as:
| ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ( δ + 1 ) ( ς 2 ς 1 ) Π ( x ) ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ + A B x I ς 2 δ 2 ( 1 δ ) Γ ( δ ) ς 2 ς 1 Π ( x ) | 1 ( δ + 1 ) p + 1 1 p [ ( x ς 1 ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q + | Π ( ς 1 ) | q 2 1 q + ( ς 2 x ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q + | Π ( ς 2 ) | q 2 1 q ] ,
for all x [ ς 1 , ς 2 ] , where 1 p + 1 q = 1 .
Theorem 151
([78]). Let Π : I [ 0 , ) R be a twice differentiable mapping on ( ς 1 , ς 2 ) with ς 1 , ς 2 I , ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | q is a convex on [ ς 1 , ς 2 ] , q 1 then δ ( 0 , 1 ] the inequality is given as:
| ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ( δ + 1 ) ( ς 2 ς 1 ) Π ( x ) ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ + A B x I ς 2 δ 2 ( 1 δ ) Γ ( δ ) ς 2 ς 1 Π ( x ) | 1 δ + 2 1 1 q [ ( x ς 1 ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q δ + 3 + | Π ( ς 1 ) | q ( δ + 2 ) ( δ + 3 ) 1 q + ( ς 2 x ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q δ + 3 + | Π ( ς 2 ) | q ( δ + 2 ) ( δ + 3 ) 1 q ] ,
for all x [ ς 1 , ς 2 ] .
Now, we give Ostrowski-type fractional integral inequalities for Atangana-Baleanu fractional integral operators for twice differentiable s-convex functions.
Theorem 152
([79]). Let Π : I [ 0 , ) R be a twice differentiable mapping on ( ς 1 , ς 2 ) with ς 1 , ς 2 I , ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ( δ + 1 ) ( ς 2 ς 1 ) Π ( x ) ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 2 ( 1 δ ) Γ ( δ ) ς 2 ς 1 Π ( x ) | ( x ς 1 ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | δ + s + 2 + | Π ( ς 1 ) | B ( δ + 2 , s + 1 ) + ( ς 2 x ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | δ + s + 2 + | Π ( ς 2 ) | B ( δ + 2 , s + 1 ) .
Theorem 153
([79]). Let Π be as in Theorem 152. If | Π | q , q > 1 is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ( δ + 1 ) ( ς 2 ς 1 ) Π ( x ) ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 2 ( 1 δ ) Γ ( δ ) ς 2 ς 1 Π ( x ) | 1 ( δ + 1 ) p + 1 1 p [ ( x ς 1 ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q + | Π ( ς 1 ) | q s + 1 1 q + ( ς 2 x ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q + | Π ( ς 2 ) | q s + 1 1 q ] ,
where 1 p + 1 q = 1 .
Theorem 154
([79]). Let Π be as in Theorem 152. If | Π | q , q 1 is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ( δ + 1 ) ( ς 2 ς 1 ) Π ( x ) ( x ς 1 ) δ + ( ς 2 x ) δ ς 2 ς 1 Π ( x ) M ( δ ) Γ ( δ ) ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 2 ( 1 δ ) Γ ( δ ) ς 2 ς 1 Π ( x ) | 1 δ + 2 1 1 q [ ( x ς 1 ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q δ + s + 2 + B ( δ + 2 , s + 1 ) | Π ( ς 1 ) | q 1 q + ( ς 2 x ) δ + 2 ( δ + 1 ) ( ς 2 ς 1 ) | Π ( x ) | q δ + s + 2 + B ( δ + 2 , s + 1 ) | Π ( ς 2 ) | q s + 1 1 q ] .
Theorem 155
([80]). Let Π : I [ 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 , ς 2 I , ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is an s-convex function in the second sense on [ ς 1 , ς 2 ] and | Π ( x ) | K , for all x [ ς 1 , ς 2 ] , for some fixed s ( 0 , 1 ] , then, for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) δ + ( ς 2 x ) δ M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) Π ( x ) 1 ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 1 δ ( ς 2 ς 1 ) M ( δ ) Π ( ς 1 ) + Π ( ς 2 ) | K M ( δ ) Γ ( δ ) ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ς 2 ς 1 1 δ + s + 1 + B ( δ + 1 , s + 2 ) .
Theorem 156
([80]). Let Π be as in Theorem 155. If | Π | q is an s-convex function in the second sense on [ ς 1 , ς 2 ] and | Π ( x ) | K , for all x [ ς 1 , ς 2 ] , for some fixed s ( 0 , 1 ] , then
| ( x ς 1 ) δ + ( ς 2 x ) δ M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) Π ( x ) 1 ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 1 δ ( ς 2 ς 1 ) M ( δ ) Π ( ς 1 ) + Π ( ς 2 ) | K M ( δ ) Γ ( δ ) 1 δ p + 1 1 p 2 s + 1 1 q ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ς 2 ς 1 ,
for all x [ ς 1 , ς 2 ] , where q > 1 and 1 p + 1 q = 1 .
Theorem 157
([80]). Let the assumptions of this theorem be as stated in Theorem 156. Then
| ( x ς 1 ) δ + ( ς 2 x ) δ M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) Π ( x ) 1 ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 1 δ ( ς 2 ς 1 ) M ( δ ) Π ( ς 1 ) + Π ( ς 2 ) | K M ( δ ) Γ ( δ ) 1 δ + 1 1 p 2 δ + s + 1 + B ( δ + 1 , s + 1 ) 1 q ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 ς 2 ς 1 ,
for all x [ ς 1 , ς 2 ] .
We will give now results on Ostrowski-type fractional integral inequalities containing second order derivatives for s-convex functions in the second sense.
Theorem 158
([80]). Let Π : I [ 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) with ς 1 , ς 2 I , ς 1 < ς 2 such that Π L [ ς 1 , ς 2 ] . If | Π | is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] , then, for all x [ ς 1 , ς 2 ] ,
| 1 ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 1 δ ( ς 2 ς 1 ) M ( δ ) Π ( ς 1 ) + Π ( ς 2 ) ( x ς 1 ) δ + ( ς 2 x ) δ M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) Π ( x ) + ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) ( δ + 1 ) Π ( x ) | | Π ( x ) | δ + s + 1 ( x ς 1 ) δ + 2 + ( ς 2 x ) δ + 2 M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) ( δ + 1 ) + B ( δ + 3 , s + 1 ) M ( δ ) Γ ( δ ) ( δ + 1 ) ( x ς 1 ) δ + 2 | Π ( ς 1 ) | + ( ς 2 x ) δ + 2 | Π ( ς 2 ) | ς 2 ς 1 .
Theorem 159
([80]). Let Π be as in Theorem 158. If | Π | q is s-convex in the second sense on [ ς 1 , ς 2 ] for s ( 0 , 1 ] , then
| 1 ς 2 ς 1 A B x I ς 1 δ Π ( ς 1 ) + A B x I ς 2 δ Π ( ς 2 ) 1 δ ( ς 2 ς 1 ) M ( δ ) Π ( ς 1 ) + Π ( ς 2 ) ( x ς 1 ) δ + ( ς 2 x ) δ M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) Π ( x ) + ( x ς 1 ) δ + 1 + ( ς 2 x ) δ + 1 M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) ( δ + 1 ) Π ( x ) | ( x ς 1 ) δ + 2 M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) ( δ + 1 ) 1 ( δ + 1 ) p + 1 1 p | Π ( x ) | q + | Π ( ς 1 ) | q s + 1 1 q + ( ς 2 x ) δ + 2 M ( δ ) Γ ( δ ) ( ς 2 ς 1 ) ( δ + 1 ) 1 ( δ + 1 ) p + 1 1 p | Π ( x ) | q + | Π ( ς 2 ) | q s + 1 1 q ,
for all x [ ς 1 , ς 2 ] , where q > 1 and 1 p + 1 q = 1 .

11. Ostrowski-Type Fractional Integral Inequalities via Generalized Fractional Integrals

We define the left and right sided generalized fractional integrals as:
Definition 38
([81]). The left and right-sided generalized fractional integrals given as follows:
ς 1 + I φ Π ( ϰ ) = ς 1 ϰ φ ϰ σ ϰ σ Π ( σ ) d σ , ϰ > ς 1 ,
ς 2 I φ Π ( ϰ ) = ϰ ς 2 φ σ ϰ σ ϰ Π ( σ ) d σ , ϰ < ς 2 ,
where the function φ : [ 0 , ) [ 0 , ) satisfies 0 1 φ ( σ ) σ d σ < .
Some inequalities connected with the Ostrowski-type inequality using of generalized fractional integral operators are presented now.
Theorem 160
([82]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) and | Π ( x ) | M for all x [ ς 1 , ς 2 ] . Then, for all x [ ς 1 , ς 2 ] ,
| φ ( ς 2 x ) ς 2 x Π ( x ) ς 1 + I φ ( P 1 ( x , ς 2 ) Π ( ς 2 ) ) 1 ς 2 ς 1 ς 1 + I φ Π ( ς 2 ) | M ς 2 ς 1 ς 1 x | φ ( ς 2 t ) ς 2 t | ( t ς 1 ) d t + x ς 2 | φ ( ς 2 t ) ς 2 t | ( ς 2 t ) d t ,
where P 1 ( x , t ) = t ς 1 ς 2 ς 1 , ς 1 t < x , t ς 2 ς 2 ς 1 , x t ς 2 is the Peano kernel function.
Theorem 161
([82]). Suppose Π : [ ς 1 , ς 2 ] ( 0 , ) R be a function which is differentiable on ( ς 1 , ς 2 ) and | Π ( x ) | q M 1 for all x [ ς 1 , ς 2 ] and p , q 1 , 1 p + 1 q = 1 . Then
| φ ( ς 2 x ) ς 2 x Π ( x ) ς 1 + I φ ( P 1 ( x , ς 2 ) Π ( ς 2 ) ) 1 ς 2 ς 1 ς 1 + I φ Π ( ς 2 ) | M 1 [ ς 1 ς 2 | φ ( ς 2 t ) ς 2 t | p | P 1 ( x , t ) | p d t 1 p B i g ] ,
for all x [ ς 1 , ς 2 ] , where P 1 ( x , t ) is the Peano kernel function defined in previous theorem.
In the following, we present some Ostrowski-type inequalities for differentiable harmonically convex functions via the generalized fractional integrals.
Theorem 162
([83]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) such that Π L [ ς 1 , ς 2 ] . If | Π | q is harmonically convex on [ ς 1 , ς 2 ] for some q 1 , then for all x [ ς 1 , ς 2 ] ,
( Δ 1 + Λ ( 1 ) ) Π ϰ 1 ϰ + I φ Π g 1 ς 1 + 1 ϰ I φ Π g 1 ς 2 ς 1 ϰ ϰ ς 1 Θ 1 1 1 q Θ 2 Π ϰ q + Θ 3 Π ς 1 q 1 q + ς 2 ϰ ς 2 ϰ Θ 4 1 1 q Θ 5 Π ϰ q + Θ 6 Π ς 2 q 1 q ,
where the mappings Δ and Λ are defined as:
Δ σ = 0 σ φ ϰ ς 1 ς 1 ϰ s s d s < + , Λ σ = 0 σ φ ς 2 ϰ ς 2 ϰ s s d s < + ,
and
Θ 1 = 0 1 Δ σ σ ς 1 + 1 σ ϰ 2 d σ , Θ 2 = 0 1 σ Δ σ σ ς 1 + 1 σ ϰ 2 d σ , Θ 3 = 0 1 1 σ Δ σ σ ς 1 + 1 σ ϰ 2 d σ , Θ 4 = 0 1 Λ σ σ ς 2 + 1 σ ϰ 2 d σ , Θ 5 = 0 1 σ Λ σ σ ς 2 + 1 σ ϰ 2 d σ , Θ 6 = 0 1 1 σ Λ σ σ ς 2 + 1 σ ϰ 2 d σ .
Theorem 163
([83]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a differentiable mapping on ( ς 1 , ς 2 ) such that Π L [ ς 1 , ς 2 ] . If | Π | q is harmonically convex on [ ς 1 , ς 2 ] for some q > 1 , then, for all x [ ς 1 , ς 2 ] ,
( Δ 1 + Λ ( 1 ) ) Π ϰ 1 ϰ + I φ Π g 1 ς 1 + 1 ϰ I φ Π g 1 ς 2 ς 1 ϰ ϰ ς 1 Θ 7 1 p Π ϰ q + Π ς 1 q 2 1 q + ς 2 ϰ ς 2 ϰ Θ 8 1 p Π ϰ q + Π ς 2 q 2 1 q ,
where 1 p + 1 q = 1 and
Θ 7 = 0 1 Δ σ σ ς 1 + 1 σ ϰ 2 p d σ , Θ 8 = 0 1 Λ σ σ ς 2 + 1 σ ϰ 2 p d σ .

12. Ostrowski-Type Fractional Integral Inequalities via Quantum Calculus

Definition 39
([84]). Let function Π : [ ς 1 , ς 2 ] R be continuous. Then
ς 1 D q Π ( t ) = Π ( t ) Π ( q t + ( 1 q ) ς 1 ) ( 1 q ) ( t ς 1 ) , t ς 1 , ς 1 D q Π ( ς 1 ) = lim t ς 1 ς 1 D q Π ( t ) ,
is called q ς 1 -derivative of Π at t [ ς 1 , ς 2 ] .
Definition 40
([84]). Let function Π : [ ς 1 , ς 2 ] R be continuous. Then
ς 1 t Π ( x ) ς 1 d q x = ( 1 q ) ( t ς 1 ) n = 0 q n Π ( q n t + ( 1 q n ) ς 1 ) ,
is called q ς 1 -integral of Π for x [ ς 1 , ς 2 ] .
Definition 41
([85]). Let function Π : [ ς 1 , ς 2 ] R be continuous. Then
ς 2 D q Π ( t ) = Π ( q t + ( 1 q ) ς 2 ) Π ( t ) ( 1 q ) ( ς 2 t ) , t ς 2 , ς 2 D q Π ( ς 2 ) = lim t ς 2 ς 2 D q Π ( t ) ,
is called q ς 2 -derivative of Π at t [ ς 1 , ς 2 ] .
Definition 42
([85]). Let function Π : [ ς 1 , ς 2 ] R be continuous. Then
t ς 2 Π ( x ) ς 2 d q x = ( 1 q ) ( ς 2 t ) n = 0 q n Π ( q n t + ( 1 q n ) ς 2 ) ,
is called q ς 2 -integral of Π for x [ ς 1 , ς 2 ] .
We give now some Ostrowski-type inequalities for q-differentiable convex functions.
Theorem 164
([86]). Let Π : I = [ ς 1 , ς 2 ] R R be a q-differentiable function on I with ς 1 D q continuous and integrable on I where 0 < q < 1 . If | ς 1 D q Π | r is a convex function and | ς 1 D q Π ( x ) | M , then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( u ) ς 1 d q u | q M [ ( x ς 1 ) 2 + ( ς 2 x ) 2 ] ( ς 2 ς 1 ) ( 1 + q ) .
Theorem 165
([86]). Let Π : I = [ ς 1 , ς 2 ] R R be a q-differentiable function on I with ς 1 D q continuous and integrable on I where 0 < q < 1 . If | ς 1 D q Π | is a convex function and | ς 1 D q Π ( x ) | M , then for p , r > 1 , 1 p + 1 r = 1 , we have for all x [ ς 1 , ς 2 ] ,
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( u ) ς 1 d q u | q M [ ( x ς 1 ) 2 + ( ς 2 x ) 2 ] ( ς 2 ς 1 ) 1 q 1 q p + 1 1 p .
For q-differentiable bounded functions, we present some Ostrowski-type inequalities.
Theorem 166
([87]). Let Π : [ ς 1 , ς 2 ] R be a continuous and q-differentiable function on [ ς 1 , ς 2 ] . If ς 1 D q Π t , ς 2 D q Π t M , then, for all x [ ς 1 , ς 2 ] ,
ς 2 ς 1 h Π ς 1 + Π ς 2 2 + ς 2 ς 1 1 h Π x ς 1 x Π q t + 1 q ς 1 ς 1 d q t + x ς 2 Π q t + 1 q ς 2 ς 2 d q t M P ς 1 , ς 2 , h , x ; q + Q ς 1 , ς 2 , h , x ; q ,
for h 0 , 1 where
P ς 1 , ς 2 , h , x ; q = ς 1 x t ς 1 + h ς 2 ς 1 2 ς 1 d q t
and
Q ς 1 , ς 2 , h , x ; q = x ς 2 t ς 2 h ς 2 ς 1 2 ς 2 d q t .
Theorem 167
([87]). Let Π : [ ς 1 , ς 2 ] R be a continuous and q-differentiable function on [ ς 1 , ς 2 ] . If for p > 1 , ς 1 D q Π t p , ς 2 D q Π t p M , then, for all x [ ς 1 , ς 2 ] ,
ς 2 ς 1 h Π ς 1 + Π ς 2 2 + ς 2 ς 1 1 h Π x ς 1 x Π q t + 1 q ς 1 ς 1 d q t + x ς 2 Π q t + 1 q ς 2 ς 2 d q t M x ς 1 A 1 ς 1 , ς 2 , h , x ; q + ς 2 x A 2 ς 1 , ς 2 , h , x ; q
where
A 1 ς 1 , ς 2 , h , x ; q = ς 1 x t ς 1 + h ς 2 ς 1 2 s ς 1 d q t 1 s , A 2 ς 1 , ς 2 , h , x ; q = x ς 2 t ς 2 h ς 2 ς 1 2 s ς 1 d q t 1 s
and 1 p + 1 s = 1 .
In the next, we give Ostrowski-type inequalities for s-convex functions in the second sense.
Theorem 168
([88]). Let Π : I = [ ς 1 , ς 2 ] R + R be a q-differentiable function on I with ς 1 D q integrable on I . If ς 1 D q is s-convex in the second sense on [ ς 1 , ς 2 ] for unique s ( 0 , 1 ] and | ς 1 D q Π ( x ) | M for all x [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( u ) ς 1 d q u | q M [ ( x ς 1 ) 2 + ( ς 2 x ) 2 ] ( ς 2 ς 1 ) × q [ s + 1 ] ( 1 q 1 ) q s + 1 + q ( 1 q 1 ) q s + 1 [ s + 2 ] q [ s + 2 ] + 1 [ s + 2 ] .
Theorem 169
([88]). Let Π be as in Theorem 168. If | ς 1 D q | m is s-convex in the second sense on [ ς 1 , ς 2 ] for unique s ( 0 , 1 ] , m > 1 , m 1 + n 1 = 1 and | ς 1 D q Π ( x ) | M for all x [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( u ) ς 1 d q u | q M [ n + 1 ] 1 / n [ ( x ς 1 ) 2 + ( ς 2 x ) 2 ] ( ς 2 ς 1 ) 1 + q ( 1 ( 1 q 1 ) s + 1 [ s + 1 ] 1 / m .
Theorem 170
([88]). Let Π be as in Theorem 168. If | ς 1 D q | m is s-convex in the second sense on [ ς 1 , ς 2 ] for unique s ( 0 , 1 ] , m 1 , and | ς 1 D q Π ( x ) | M for all x [ ς 1 , ς 2 ] , then, for all x [ ς 1 , ς 2 ] ,
| Π ( x ) 1 ς 2 ς 1 ς 1 ς 2 Π ( u ) ς 1 d q u | q M [ ( x ς 1 ) 2 + ( ς 2 x ) 2 ] ( ς 2 ς 1 ) + 1 [ 2 ] 1 1 m q [ s + 1 ] ( 1 q 1 ) q s + 1 + q ( 1 q 1 ) q s + 2 [ s + 2 ] q [ s + 2 ] 1 m .
We present Ostrowski-type inequalities for twice quantum differentiable functions involving the quantum integrals.
Theorem 171
([89]). Let Π : [ ς 1 , ς 2 ] R R be a twice q-differentiable function on ( ς 1 , ς 2 ) , such that ς 1 D q 2 Π and ς 1 D q 2 Π are continuous and integrable on [ ς 1 , ς 2 ] . Then, we have for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ( ς 2 x ) ( 1 q ) q 3 [ ( x ς 1 ) q Π ( q x + ( 1 x ) ς 2 ) + ( ς 2 x ) q Π ( q x + ( 1 x ) ς 1 ) ( q 2 + q 1 ) ( ς 2 ς 1 ) Π ( x ) [ 2 ] q q 3 [ ( x ς 1 ) 2 x ς 2 Π ( t ) ς 2 d q t + ( ς 2 x ) 2 ς 1 x Π ( t ) ς 1 d q t ] | ( x ς 1 ) 2 ( ς 2 x ) 2 [ ( x ς 1 ) 1 [ 4 ] q | ς 1 D q 2 Π ( x ) | + q 3 [ 3 ] q [ 4 ] q | ς 1 D q 2 Π ( x ) | + ( ς 2 x ) 1 [ 4 ] q | ς 2 D q 2 Π ( x ) | + q 3 [ 3 ] q [ 4 ] q | ς 2 D q 2 Π ( x ) | ] .
Theorem 172
([89]). Let Π : [ ς 1 , ς 2 ] R R be a twice q-differentiable function on ( ς 1 , ς 2 ) , such that | ς 1 D q 2 Π | p 1 and | ς 1 D q 2 Π | p 1 , p 1 1 are convex on [ ς 1 , ς 2 ] . Then, we have for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ( ς 2 x ) ( 1 q ) q 3 [ ( x ς 1 ) q Π ( q x + ( 1 x ) ς 2 ) + ( ς 2 x ) q Π ( q x + ( 1 x ) ς 1 ) ( q 2 + q 1 ) ( ς 2 ς 1 ) Π ( x ) [ 2 ] q q 3 [ ( x ς 1 ) 2 x ς 2 Π ( t ) ς 2 d q t + ( ς 2 x ) 2 ς 1 x Π ( t ) ς 1 d q t ] | ( x ς 1 ) 2 ( ς 2 x ) 2 1 [ 3 ] q 1 1 p 1 [ ( x ς 1 ) 1 [ 4 ] q | ς 1 D q 2 Π ( x ) | p 1 + q 3 [ 3 ] q [ 4 ] q | ς 1 D q 2 Π ( x ) | p 1 1 p 1 + ( ς 2 x ) 1 [ 4 ] q | ς 2 D q 2 Π ( x ) | p 1 + q 3 [ 3 ] q [ 4 ] q | ς 2 D q 2 Π ( x ) | p 1 1 p 1 ] .
Theorem 173
([89]). Let Π : [ ς 1 , ς 2 ] R R be a twice q-differentiable function on ( ς 1 , ς 2 ) , such that | ς 1 D q 2 Π | p 1 and | ς 1 D q 2 Π | p 1 , for some p 1 > 1 and 1 r 1 + 1 p 1 = 1 , are convex on [ ς 1 , ς 2 ] . Then, we have for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) ( ς 2 x ) ( 1 q ) q 3 [ ( x ς 1 ) q Π ( q x + ( 1 x ) ς 2 ) + ( ς 2 x ) q Π ( q x + ( 1 x ) ς 1 ) ( q 2 + q 1 ) ( ς 2 ς 1 ) Π ( x ) [ 2 ] q q 3 [ ( x ς 1 ) 2 x ς 2 Π ( t ) ς 2 d q t + ( ς 2 x ) 2 ς 1 x Π ( t ) ς 1 d q t ] | ( x ς 1 ) 2 ( ς 2 x ) 2 1 [ 2 r 1 + 1 ] q 1 r 1 [ ( x ς 1 ) ς 1 D q 2 Π ( x ) | p 1 + q ς 1 D q 2 Π ( ς 1 ) | p 1 [ 2 ] q 1 p 1 + ( ς 2 x ) ς 1 D q 2 Π ( x ) | p 1 + q ς 1 D q 2 Π ( ς 2 ) | p 1 [ 2 ] q 1 p 1 ] .
Definition 43
([90]). Let Π L [ ς 1 , ς 2 ] . The Riemann–Liouville q-integrals of order ζ > 0 are defined by
J q , ς 1 + β Π ( x ) = 1 Γ q ( β ) ς 1 x ( x q u ) ( β 1 ) Π ( u ) d q u , ς 1 < x ,
J q , ς 2 β Π ( x ) = 1 Γ q ( β ) q x ς 2 ( u q x ) ( β 1 ) Π ( u ) d q u , ς 2 > x .
In this section, q-fractional integral operators are used to construct a quantum analogue of Ostrowski-type fractional integral inequalities for the class of s-convex functions.
Theorem 174
([91]). Let Π : [ ς 1 , ς 2 ] ( 0 , ) R be a q-differentiable mapping in such a way D q Π L [ ς 1 , ς 2 ] . If | D q Π | is s-convex in the second sense on [ ς 1 , ς 2 ] for s , q ( 0 , 1 ] and | D q Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then for β > 0 and for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) β + ( ς 2 x ) β ς 2 ς 1 q β + [ β ] ( 1 q ) q β Π ( x ) Γ q ( β + 1 ) q β ( ς 2 ς 1 ) J q , x β Π ( ς 1 ) + J q , x + β Π ( ς 2 ) | M ς 2 ς 1 1 + Γ q ( β + 1 ) Γ q ( s + 1 ) Γ q ( β + s + 1 ) ( x ς 1 ) β + 1 + ( ς 2 x ) β + 1 [ β + s + 1 ] .
Theorem 175
([91]). Let Π be as in Theorem 174. If | D q Π | m is s-convex in the second sense on [ ς 1 , ς 2 ] for s , q ( 0 , 1 ] , n , m > 1 , 1 n + 1 m = 1 and | D q Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then we have for β > 0 and for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) β + ( ς 2 x ) β ς 2 ς 1 q β + [ β ] ( 1 q ) q β Π ( x ) Γ q ( β + 1 ) q β ( ς 2 ς 1 ) J q , x β Π ( ς 1 ) + J q , x + β Π ( ς 2 ) | M ( 1 + n β ) 1 n 1 + q { 1 ( 1 q 1 ) s + 1 } [ s + 1 ] 1 m ( x ς 1 ) β + 1 + ( ς 2 x ) β + 1 ς 2 ς 1 .
Theorem 176
([91]). Let Π be as in Theorem 174. If | D q Π | m is s-convex in the second sense on [ ς 1 , ς 2 ] for s , q ( 0 , 1 ] , m 1 and | D q Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then, we have for β > 0 and for all x [ ς 1 , ς 2 ] ,
| ( x ς 1 ) β + ( ς 2 x ) β ς 2 ς 1 q β + [ β ] ( 1 q ) q β Π ( x ) Γ q ( β + 1 ) q β ( ς 2 ς 1 ) J q , x β Π ( ς 1 ) + J q , x + β Π ( ς 2 ) | M 1 [ β + 1 ] 1 1 m 1 [ β + s + 1 ] 1 m 1 + Γ q ( β + 1 ) Γ q ( s + 1 ) Γ q ( β + s + 1 ) 1 q × ( x ς 1 ) β + 1 + ( ς 2 x ) β + 1 ς 2 ς 1 .
In the following theorems, we present some post-quantum estimates of the Ostrowski-type inequality for n-polynomial convex functions.
Definition 44
([92]). Let n N . A nonnegative function Π : I R is said to be an n-polynomial convex function if for every x , y I and t [ 0 , 1 ] , we have
Π ( t x + ( 1 t ) y ) 1 n s = 1 n [ 1 ( 1 t ) s ] Π ( x ) + 1 n s = 1 n [ 1 t s ] Π ( y ) .
Definition 45
([93]). If function Π : [ ς 1 , ς 2 ] R is continuous, then the left ( p , q ) -derivative of Π at x is stated by
ς 1 D p , q Π ( x ) = Π ( p x + ( 1 p ) ς 1 ) Π ( q x + ( 1 q ) ς 1 ) ( p q ) ( x ς 1 ) , x ς 1 , ς 1 D p , q Π ( a ) = lim x x 1 ς 1 D p , q Π ( x ) .
If ς 1 D p , q Π ( x ) exists for all x [ ς 1 , ς 2 ] , then the function Π is called ( p , q ) -differentiable on [ ς 1 , ς 2 ] .
The left ς 1 ( p , q ) -integral ς 1 x Π ( t ) ς 1 d p , q t is defined by
ς 1 x Π ( t ) ς 1 d p , q t = ( p q ) ( x ς 1 ) n = 0 q n p n + 1 Π q n p n + 1 x + 1 q n p n + 1 ς 1 .
Definition 46
([94]). If function Π : [ ς 1 , ς 2 ] R is continuous, then the right ( p , q ) -derivative of Π at x is stated by
ς 2 D p , q Π ( x ) = Π ( p x + ( 1 p ) ς 2 ) Π ( q x + ( 1 q ) ς 2 ) ( p q ) ( ς 2 x ) , x ς 2 , ς 2 D p , q Π ( ς 2 ) = lim x ς 2 ς 2 D p , q Π ( x ) .
If ς 2 D p , q Π ( x ) exists for all x [ ς 1 , ς 2 ] , then the function Π is called ( p , q ) -differentiable on [ ς 1 , ς 2 ] .
The right ς 2 ( p , q ) -integral x ς 2 Π ( t ) ς 2 d p , q t is defined by
x ς 2 Π ( t ) ς 2 d p , q t = ( p q ) ( ς 2 x ) n = 0 q n p n + 1 Π q n p n + 1 x + 1 q n p n + 1 ς 2 .
Theorem 177
([94]). Let Π : [ ς 1 , ς 2 ] R be continuous and ( p , q ) - differentiable function on ( ς 1 , ς 2 ) with ς 1 < ς 2 and ς 1 D p , q Π , ς 2 D p , q Π be ( p , q ) -integrable. If | ς 1 D p , q Π | , | ς 2 D p , q Π | are n-polynomial convex functions and | ς 1 D p , q Π ( x ) | , | ς 2 D p , q Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then
| Π ( x ) 1 p ( ς 2 ς 1 ) ς 1 p x + ( 1 p ) ς 1 Π ( x ) ς 1 + d p , q x 1 p ( ς 2 ς 1 ) p x + ( 1 p ) ς 2 ς 2 Π ( x ) ς 2 d p , q x | q M ( x ς 1 ) 2 n ( ς 2 ς 1 ) s = 1 2 p + q p q p s + 2 q s + 2 ( p q ) n = 0 q 2 n p 2 n + 2 1 q n p n + 1 s + q M ( ς 2 x ) 2 n ( ς 2 ς 1 ) s = 1 2 ( p + q 1 ) p + q ( p q ) n = 0 q n p n + 1 q n p n + 1 s ( p q ) n = 0 q n ( s + 2 ) p ( n + 1 ) ( s + 2 ) ,
for all x [ ς 1 , ς 2 ] .
Theorem 178
([94]). Let Π be as in Theorem 177. If | ς 1 D p , q Π | , | ς 2 D p , q Π | are n-polynomial convex functions, r , s > 1 , 1 r + 1 s = 1 , and | ς 1 D p , q Π ( x ) | , | ς 2 D p , q Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then:
| Π ( x ) 1 p ( ς 2 ς 1 ) ς 1 p x + ( 1 p ) ς 1 Π ( x ) ς 1 + d p , q x 1 p ( ς 2 ς 1 ) p x + ( 1 p ) ς 2 ς 2 Π ( x ) ς 2 d p , q x | q M [ ( ς 2 x ) 2 + ( x ς 1 ) 2 ] ς 2 ς 1 ( p q ) n = 0 q n p n + 1 1 q n p n + 1 r 1 r 2 n 1 s s = 1 n ( p q ) n = 0 q n s + 1 p ( s + 1 ) ( n + 1 ) ,
for all x [ ς 1 , ς 2 ] .
Theorem 179
([94]). Let Π be as in Theorem 177. If | ς 1 D p , q Π | , | ς 2 D p , q Π | are n-polynomial convex functions, s > 1 , and | ς 1 D p , q Π ( x ) | , | ς 2 D p , q Π ( x ) | M , for all x [ ς 1 , ς 2 ] , then:
| Π ( x ) 1 p ( ς 2 ς 1 ) ς 1 p x + ( 1 p ) ς 1 Π ( x ) ς 1 + d p , q x 1 p ( ς 2 ς 1 ) p x + ( 1 p ) ς 2 ς 2 Π ( x ) ς 2 d p , q x | q M ( x ς 1 ) 2 n ( ς 2 ς 1 ) 1 p + q 1 1 s s = 1 2 p + q p q p s + 2 q s + 2 ( p q ) n = 0 q 2 n p 2 n + 2 1 q n p n + 1 s 1 s + q M ( ς 2 x ) 2 n ( ς 2 ς 1 ) p + q 1 p + q 1 1 s × s = 1 2 ( p + q 1 ) p + q ( p q ) n = 0 q n p n + 1 q n p n + 1 s ( p q ) n = 0 q n ( s + 2 ) p ( n + 1 ) ( s + 2 ) 1 s ,
for all x [ ς 1 , ς 2 ] .
Now, we give some estimates of post quantum Ostrowski-type inequalities for twice ( p , q ) -differentiable functions involving ( p , q ) ς 1 - and ( p , q ) ς 2 -integrals. Let J 1 = [ ς 2 p ( ς 2 x ) , ς 2 ] and J 2 = [ ς 1 , ς 1 + p ( x ς 1 ) ] .
Theorem 180
([95]). If Π : [ ς 1 , ς 2 ] R is a twice ( p , q ) -differentiable function such that ς 2 D p , q 2 Π and ς 1 D p , q 2 Π are continuous and integrable functions on J 1 and J 2 , respectively. Then
| ( x ς 1 ) ( ς 2 x ) p q 3 ( p q ) [ ( x ς 1 ) p q Π ( q x + ( 1 q ) ς 2 ) + ( ς 2 x ) p q Π ( q x + ( 1 q ) ς 1 ) ( x ς 1 ) ( q 2 + p q p 2 ) Π ( p x + ( 1 p ) ς 2 ) ( ς 2 x ) ( q 2 + p q p 2 ) Π ( p x + ( 1 p ) ς 1 ) ] [ 2 ] p , q p 3 q 3 ( x ς 1 ) 2 p 2 x + ( 1 p 2 ) ς 2 ς 2 Π ( t ) ς 2 d p , q t + ( ς 2 x ) 2 ς 1 p 2 x + ( 1 p 2 ) ς 1 Π ( t ) ς 1 d p , q t | ( x ς 1 ) 2 ( ς 2 x ) 2 ( x ς 1 ) 1 [ 4 ] p , q ς 1 D p , q 2 Π ( x ) + [ 4 ] p , q [ 3 ] p , q [ 3 ] p , q [ 4 ] p , q ς 1 D p , q 2 Π ( ς 1 ) + ( ς 2 x ) 1 [ 4 ] p , q ς 2 D p , q 2 Π ( x ) + [ 4 ] p , q [ 3 ] p , q [ 3 ] p , q [ 4 ] p , q ς 2 D p , q 2 Π ( ς 2 ) .
Theorem 181
([95]). Let Π be as in Theorem 180. If | ς 2 D p , q 2 Π | r and | ς 1 D p , q 2 Π | r are convex functions for r > 1 , then
| ( x ς 1 ) ( ς 2 x ) p q 3 ( p q ) [ ( x ς 1 ) p q Π ( q x + ( 1 q ) ς 2 ) + ( ς 2 x ) p q Π ( q x + ( 1 q ) ς 1 ) ( x ς 1 ) ( q 2 + p q p 2 ) Π ( p x + ( 1 p ) ς 2 ) ( ς 2 x ) ( q 2 + p q p 2 ) Π ( p x + ( 1 p ) ς 1 ) ] [ 2 ] p , q p 3 q 3 ( x ς 1 ) 2 p 2 x + ( 1 p 2 ) ς 2 ς 2 Π ( t ) ς 2 d p , q t + ( ς 2 x ) 2 ς 1 p 2 x + ( 1 p 2 ) a Π ( t ) ς 1 d p , q t | ( x ς 1 ) 2 ( ς 2 x ) 2 1 [ 3 ] p , q 1 1 / r ( x ς 1 ) 1 [ 4 ] p , q ς 1 D p , q 2 Π ( x ) r + [ 4 ] p , q [ 3 ] p , q [ 3 ] p , q [ 4 ] p , q ς 1 D p , q 2 Π ( ς 1 ) r 1 / r + ( ς 2 x ) 1 [ 4 ] p , q ς 2 D p , q 2 Π ( x ) r + [ 4 ] p , q [ 3 ] p , q [ 3 ] p , q [ 4 ] p , q ς 2 D p , q 2 Π ( ς 2 ) r 1 / r .
Theorem 182
([95]). Let Π be as in Theorem 180. If | ς 2 D p , q 2 Π | r and | ς 1 D p , q 2 Π | r are convex functions for r > 1 and 1 / s + 1 / r = 1 , then
| ( x ς 1 ) ( ς 2 x ) p q 3 ( p q ) [ ( x ς 1 ) p q Π ( q x + ( 1 q ) ς 2 ) + ( ς 2 x ) p q Π ( q x + ( 1 q ) ς 1 ) ( x ς 1 ) ( q 2 + p q p 2 ) Π ( p x + ( 1 p ) ς 2 ) ( ς 2 x ) ( q 2 + p q p 2 ) Π ( p x + ( 1 p ) ς 1 ) ] [ 2 ] p , q p 3 q 3 ( x ς 1 ) 2 p 2 x + ( 1 p 2 ) ς 2 ς 2 Π ( t ) ς 2 d p , q t + ( ς 2 x ) 2 ς 1 p 2 x + ( 1 p 2 ) ς 1 Π ( t ) ς 1 d p , q t | ( x ς 1 ) 2 ( ς 2 x ) 2 1 [ 2 s + 1 ] p , q 1 / s ( x ς 1 ) ς 1 D q 2 Π ( x ) r + ( p + q 1 ) ς 1 D q 2 Π ( ς 1 ) r [ 2 ] p , q 1 / r + ( ς 2 x ) ς 2 D q 2 Π ( x ) r + ( p + q 1 ) ς 2 D q 2 Π ( ς 2 ) r [ 2 ] p , q 1 / r .

13. Ostrowski-Type Tensorial Inequalities in Hilbert Space

In this section we present Ostrowski-type inequalities for twice differentiable functions in the Hilbert space of tensorial type. Some preliminary concepts are necessary [96]. Let I 1 , , I k be intervals from R and let f : I 1 × × I k R be an essentially bounded real function defined on the product of the intervals. Let A = ( A 1 , , A k ) be a k-tuple of bounded selfadjoint operators on Hilbert spaces H 1 , , H k such that the spectrum of A i is contained in I i for i = 1 , , k . We say that such a k-tuple is in the domain of f . If
A i = I i λ i d E i ( λ i )
is the spectral resolution of A i for i = 1 , , k we define
f ( A 1 , , A k ) : = I 1 I k f ( λ 1 , , λ k ) d E 1 ( λ 1 ) d E k ( λ k )
as bounded selfadjoint operator on the tensorial product H 1 H k .
Now, we present Ostrowski-type inequalities for twice differentiable functions in the Hilbert space of tensorial type for fractional differential equations of order ζ > 0 , for convex and quasi-convex functions.
Theorem 183
([96]). Suppose that f is continuously differentiable on I and | f | is convex and A , B are self-adjoint operators with S p ( A ) , S p ( B ) I , then
1 6 f ( A ) 1 + 4 f A 1 + 1 B 2 + 1 f ( B ) 1 2 ζ ( 0 1 f 1 k 2 A 1 + 1 + k 2 1 B k ζ 1 d k + 0 1 f 1 k 2 A 1 + k 2 1 B ( 1 k ) ζ 1 ) 1 B A 1 2 ( f ( A ) + f ( B ) ) ( 3 ζ 2 + 8 ζ + 7 ) ( ζ + 2 ) ( 24 ζ + 24 ) .
Theorem 184
([96]). Suppose that f is continuously differentiable on I and | f | is quasi-convex and A , B are self-adjoint operators with S p ( A ) , S p ( B ) I , then
1 6 f ( A ) 1 + 4 f A 1 + 1 B 2 + 1 f ( B ) 1 2 ζ ( 0 1 f 1 k 2 A 1 + 1 + k 2 1 B k ζ 1 d k + 0 1 f 1 k 2 A 1 + k 2 1 B ( 1 k ) ζ 1 ) 1 B A 1 2 3 ζ 2 + 8 α + 7 ( ζ + 2 ) ( 24 ζ + 24 ) × ( | f ( A ) | 1 + 1 | f ( B ) | + | f ( A ) | 1 1 | f ( B ) | ) .

14. Conclusions

In this survey, we have presented a variety of results on Ostrowski-type inequalities involving fractional integral operators and convex functions. This comprehensive review will inspire the researchers to acquire useful information about Ostrowski-type integral inequalities before pursuing their new research on the topic to develop it further. Moreover, it is expected that the present work will provide a guideline for developing numerous new results for Ostrowski-type inequalities involving the new fractional integral operators combined with different types of convex functions.

Author Contributions

Conceptualization, M.T. and S.K.N.; methodology, M.T., S.K.N. and B.A.; validation, M.T., S.K.N. and B.A.; supervision, S.K.N. and B.A.; formal analysis, M.T., S.K.N. and B.A.; writing—original draft preparation, M.T., S.K.N. and B.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ostrowski, A.M. Über die absolutabweichung einer differentierbaren funktion von ihren Integralmittelwert. Comment. Math. Helv. 1938, 10, 226–227. [Google Scholar] [CrossRef]
  2. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematics Studies: Amsterdam, The Netherlands, 2006. [Google Scholar]
  3. Sarikaya, M.Z.; Filiz, H. Note on the Ostrowski-type fractional integral inequalities for fractional integrals. Vietnam J. Math. 2014, 42, 187–190. [Google Scholar] [CrossRef]
  4. Hu, Y. Ostrowski inequality for fractional integrals and related fractional inequalities. TJMM 2013, 5, 85–89. [Google Scholar]
  5. Sarikaya, M.Z.; Yaldiz, H. New generalization fractional inequalities of Ostrowski-Grüss type. Lobachevskii J. Math. 2013, 34, 326–331. [Google Scholar] [CrossRef]
  6. Sarikaya, M.Z.; Yaldiz, H.; Basak, N. New fractional inequalities of Ostrowski-Grüss type. Matematiche 2014, 69, 227–235. [Google Scholar]
  7. Niculescu, C.P.; Persson, L.E. Convex Functions and Their Applications; Springer: New York, NY, USA, 2006. [Google Scholar]
  8. Dragomir, S.S. Ostrowski and trapezoid type inequalities for Riemann-Liouville fractional integrals of absolutely continuous functions with bounded derivatives. Fract. Differ. Calc. 2020, 10, 307–320. [Google Scholar] [CrossRef]
  9. Yildiz, Ç.; Özdemir, M.E.; Sarikaya, M.Z. New generalizations of Ostrowski-like type inequalities for fractional integrals. Kyungpook Math. J. 2016, 56, 161–172. [Google Scholar] [CrossRef]
  10. Budak, H.; Pehlivan, E. Weighted Ostrowski, trapezoid and midpoint type inequalities for Riemann-Liouville fractional integrals. AIMS Math. 2020, 5, 1960–1984. [Google Scholar] [CrossRef]
  11. Ion, D.A. Some estimates on the Hermite-Hadamard inequality through quasi-convex functions. An. Univ. Craiova Ser. Mat. Inform. 2007, 34, 83–88. [Google Scholar]
  12. Kashuri, A.; Meftah, B.; Mohammed, P.O.; Alina Alb Lupas, A.A.; Abdalla, B.; Hamed, Y.S.; Abdeljawad, T. Fractional weighted Ostrowski-type fractional integral inequalities and their applications. Symmetry 2021, 13, 968. [Google Scholar] [CrossRef]
  13. Sun, Y.X.; Wang, J.Y.; Guo, B.N. Some integral inequalities of the Hermite-Hadamrd type for strongly quasi-convex functions. Turk. J. Anal. Number Theory 2016, 4, 132–134. [Google Scholar]
  14. Vivas-Cortez, M.; Saleem, M.S.; Sajid, S. Some fractional inequalities of Ostrowski-type and related applications. Appl. Math. Inf. Sci. 2022, 16, 479–489. [Google Scholar]
  15. Mihesan, V.G. A Generalization of the Convexity. In Seminar of Functional Equations, Approximation and Convexity; University Cluj-Napoca: Cluj-Napoca, Romania, 1993. [Google Scholar]
  16. Özdemir, M.E.; Kavurmaci-Önalan, H.; Avci-Ardic, M. New inequalities of Ostrowski type for mappings whose derivatives are (ζ,m)-convex via fractional integrals. Thai J. Math. 2018, 16, 723–731. [Google Scholar]
  17. Hudzik, H.; Maligranda, L. Some remarks on s-convex functions. Aequationes Math. 1994, 48, 100–111. [Google Scholar] [CrossRef]
  18. Set, E. New inequalities of Ostrowski type for mappings whose derivatives are s-convex in the second sense via fractional integrals. Comput. Math. Appl. 2012, 63, 1147–1154. [Google Scholar] [CrossRef]
  19. Özdemir, M.E.; Yildiz, C. An Ostrowski type inequality for derivatives of q-th power of s-convex functions via fractional integrals. Georgian Math. J. 2014, 21, 491–498. [Google Scholar] [CrossRef]
  20. Hassan, A.; Khan, A.R. Fractional Ostrowski-type fractional integral inequalities via (s,r)-convex function. Jordan J. Math. Stat. 2022, 15, 1031–1047. [Google Scholar]
  21. İşcan, I. Hermite-Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 2014, 43, 935–942. [Google Scholar] [CrossRef]
  22. Meftah, B.; Merad, M. New Ostrowski-type fractional integral inequalities for differentiable harmonically convex functions via fractional integral. Indian J. Math. 2019, 61, 343–357. [Google Scholar]
  23. Varosanec, S. On h-convexity. J. Math. Anal. Appl. 2007, 326, 303–311. [Google Scholar] [CrossRef]
  24. Matloka, M. Ostrowski-type fractional integral inequalities for functions whose derivatives are h-convex via fractional integrals. J. Sci. Res. Rep. 2014, 3, 1633–1641. [Google Scholar] [CrossRef] [PubMed]
  25. Alzer, H. A superadditive property of Hadamard’s gamma function. Abh. Math. Semin. Univ. Hambg. 2009, 79, 11–23. [Google Scholar] [CrossRef]
  26. Liu, W. Some Ostrowski-type fractional integral inequalities via Riemann-Liouville fractional integrals for h-convex functions. J. Comput. Anal. Appl. 2014, 16, 998–1004. [Google Scholar]
  27. Godunova, E.K.; Levin, V.I. Inequalities for functions of a broad class that contains convex, monotone and some other forms of functions. (Russian) Numerical mathematics and mathematical physics (Russian). Moskov. Gos. Ped. Inst. 1985, 166, 138–142. [Google Scholar]
  28. Noor, M.A.; Noor, K.I.; Awan, M.U.; Khan, S. Fractional Hermite-Hadamard inequalities for some new classes of Godunova-Levin functions. Appl. Math. Inf. Sci. 2014, 8, 2865–2872. [Google Scholar] [CrossRef]
  29. Noor, M.A.; Noor, K.I.; Awan, M.U. Fractional Ostrowski inequalities for s-Godunova-Levin functions. Int. J. Anal. Appl. 2014, 5, 167–173. [Google Scholar]
  30. Noor, M.A.; Noor, K.I.; Awan, M.U. Fractional Ostrowski inequalities for (s,m)-Godunova-Levin functions. Facta Univ. Ser. Math. Inf. 2015, 30, 489–499. [Google Scholar]
  31. Tunc, M.; Subas, Y.; Karabayir, I. On some Hadamard type inequalities for MT-convex functions. Int. J. Open Probl.Comput. Sci. Math. 2013, 6, 102–113. [Google Scholar] [CrossRef]
  32. Liu, W. Ostrowski type fractional integral inequalities for MT-convex functions. Miskolc Math. Notes 2015, 16, 249–256. [Google Scholar] [CrossRef]
  33. Hussain, S.; Qaisar, S. New fractional integral inequalities of type Ostrowski through generalized convex function. J. Appl. Math. Inform. 2018, 36, 107–114. [Google Scholar]
  34. Liu, W.; Wen, W. Some generalizations of different type of integral inequalities for MT-convex functions. Filomat 2016, 30, 333–342. [Google Scholar] [CrossRef]
  35. Dragomir, S.S.; Pecaric, J.; Persson, L.E. Some inequalities of Hadamard type. Soochow J. Math. 1995, 21, 335–341. [Google Scholar]
  36. Toader, G. Some generalizations of the convexity. In Proceedings of the Colloquium on Approximation and Optimization, Cluj-Napoca, Romania, 25–27 October 1984; University of Cluj-Napoca: Cluj-Napoca, Romania, 1985; pp. 329–338. [Google Scholar]
  37. Meftah, B.; Boukerrioua, K. Some new Ostrowski-type fractional integral inequalities for functions whose second derivative is h-convex via Riemann-Liouville fractionals. Malaya J. Mat. 2014, 2, 445–459. [Google Scholar] [CrossRef] [PubMed]
  38. Tariq, M.; Nasir, J.; Sahoo, S.K.; Mallah, A. A note on some Ostrowski-type fractional integral inequalities via generalized exponentially convex functions. J. Math. Anal. Model. 2021, 2, 1–15. [Google Scholar] [CrossRef]
  39. Tariq, M.; Sahoo, S.K.; Nasir, J.; Aydi, H.; Alsamir, H. Some Ostrowski-type fractional integral inequalities via n-polynomial exponentially s-convex functions and their applications. AIMS Math. 2021, 6, 13272–13290. [Google Scholar] [CrossRef]
  40. Sahoo, S.K.; Tariq, M.; Ahmad, H.; Nasir, J.; Aydi, H.; Mukheimer, A. New Ostrowski-type fractional integral inequalities via generalized exponential-type convex functions and applications. Symmetry 2021, 13, 1429. [Google Scholar] [CrossRef]
  41. Katugampola, U.N. New approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 2014, 6, 1–15. [Google Scholar]
  42. Farid, G.; Katugampola, U.N.; Usman, M. Ostrowski-type fractional integral inequalities for mappings whose derivatives are h-convex via Katugampola fractional integrals. Stud. Univ. Babes-Bolyai Math. 2018, 63, 465–474. [Google Scholar] [CrossRef]
  43. Farid, G.; Katugampola, U.; Usman, M. Ostrowski type fractional integral inequalities for s-Godunova-Levin functions via Katugampola fractional integrals. Open J. Math. Sci. 2017, 1, 97–110. [Google Scholar] [CrossRef]
  44. Kang, S.M.; Farid, G.; Nazeer, W.; Usman, M. Ostrowski type fractional integral inequalities for mappings whose derivatives are (ζ,m)-convex via Katugampola fractional integrals. Nonlinear Funct. Anal. Appl. 2019, 24, 109–126. [Google Scholar]
  45. Iscan, I. Ostrowski-type fractional integral inequalities for p-convex functions. New Trends Math. Sci. 2016, 4, 140–150. [Google Scholar] [CrossRef]
  46. Thatsatian, A.; Ntouyas, S.K.; Tariboon, J. Some Ostrowski-type fractional integral inequalities for p-convex functions via generalized fractional integrals. J. Math. Inequal. 2019, 13, 467–478. [Google Scholar] [CrossRef]
  47. Gürbüz, M.; Tasdan, Y.; Set, E. Ostrowski-type fractional integral inequalities via the Katugampola fractional integrals. AIMS Math. 2020, 5, 42–53. [Google Scholar] [CrossRef]
  48. Mubeen, S.; Habibullah, G.M. k-Fractional integrals and applications. Int. J. Contemp. Math. Sci. 2012, 7, 89–94. [Google Scholar]
  49. Farid, G.; Rehman, A.U.; Usman, M. Ostrowski type fractional integral inequalities for s-Godunova-Levin functions via k-fractional integrals. Proyecciones 2017, 36, 753–767. [Google Scholar] [CrossRef]
  50. Kermausuor, S. Ostrowski-type fractional integral inequalities for functions whose derivatives are strongly (α,m)-convex via k-Riemann-Liouville fractional integrals. Stud. Univ. Babes-Bolyai Math. 2019, 64, 25–34. [Google Scholar] [CrossRef]
  51. Dragomir, S.S.; Gomm, I. Some Hermite-Hadamard type inequalities for functions whose exponentials are convex. Stud. Univ. Babes-Bolyai Math. 2015, 60, 527–534. [Google Scholar]
  52. Rashid, S.; Noor, M.A.; Noor, K.I.; Chu, Y.-M. Ostrowski-type fractional integral inequalities in the sense of generalized k-fractional integral operator for exponentially convex functions. AIMS Math. 2020, 5, 2629–2645. [Google Scholar] [CrossRef]
  53. Hassan, A.; Khan, A.R. k-fractional Ostrowski-type fractional integral inequalities via (s,r)-convex. Ann. Univ. Craiova Math. Comput. Sci. Ser. 2010, 37, 1–13. [Google Scholar]
  54. Farid, G.; Usman, M. Ostrowski type k-fractional integral inequalities for MT-convex and h-convex functions. Nonlinear Funct. Anal. Appl. 2017, 22, 627–639. [Google Scholar]
  55. Weir, T.; Mond, B. Pre-invex functions in multiple objective optimizations. J. Math. Anal. Appl. 1988, 136, 29–38. [Google Scholar] [CrossRef]
  56. Sarikaya, M.Z.; Alp, N.; Bozkurt, H. On Hermite-Hadamard type integral inequalities for preinvex and log-preinvex functions. Contemp. Anal. Appl. Math. 2013, 1, 237–252. [Google Scholar]
  57. Sharma, N.; Mishra, S.K.; Hamdi, A. Hermite-Hadamard type inequality for ψ-Riemann-Liouville fractional integrals via preinvex functions. Int. J. Nonlinear Anal. Appl. 2022, 13, 3333–3345. [Google Scholar]
  58. Avazpour, L. Fractional Ostrowski-type fractional integral inequalities for functions whose derivatives are prequasiinvex. J. Inequal. Spec. Funct. 2018, 9, 15–29. [Google Scholar]
  59. Meftah, B. Fractional Ostrowski-type fractional integral inequalities for functions whose modulus of the first derivatives are prequasi-invex. J. Appl. Anal. 2019, 25, 165–171. [Google Scholar] [CrossRef]
  60. Nasir, J.; Qaisar, S.; Butt, S.I.; Qayyum, A. Some Ostrowski-type fractional integral inequalities for mappings whose second derivatives are preinvex function via fractional integral operator. AIMS Math. 2021, 7, 3303–3320. [Google Scholar] [CrossRef]
  61. Li, J.-Y. On Hadamard-type inequalities for s-preinvex functions. J. Chongqing Norm. Univ. (Nat. Sci.) 2010, 27, 003. [Google Scholar]
  62. Meftah, B. Fractional Ostrowski-type fractional integral inequalities for functions whose first derivatives are s-preinvex in the second sense. Int. J. Anal. Appl. 2017, 15, 146–154. [Google Scholar]
  63. Zheng, S.; Du, T.S.; Zhao, S.S.; Chen, L.Z. New Hermite-Hadamard inequalities for twice differentiable ϕ-MT-preinvex functions. J. Nonlinear Sci. Appl. 2016, 9, 5648–5660. [Google Scholar] [CrossRef]
  64. Meftah, B.; Azaizia, A. Fractional Ostrowski-type fractional integral inequalities for functions whose first derivatives are MT-preinvex. Matua Rev. Programa Mat. 2019, 6, 33–43. [Google Scholar]
  65. Sousa, J.V.C.; Oliveira, E.C. On the Π-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 2018, 60, 72–91. [Google Scholar] [CrossRef]
  66. Matloka, M. On Ostrowski-type fractional integral inequalities via fractional integrals of a function with respect to another function. J. Nonlinear Sci. Appl. 2020, 13, 100–106. [Google Scholar] [CrossRef]
  67. Hassan, A.; Khan, A.R. Generalized fractional Ostrowski-type fractional integral inequalities via (α,β,γ,δ)-convex functions. Fract. Differ. Calc. 2022, 12, 13–36. [Google Scholar]
  68. Basci, Y.; Baleanu, D. Ostrowski-type fractional integral inequalities involving ψ-Hilfer fractional integrals. Mathematics 2019, 7, 770. [Google Scholar] [CrossRef]
  69. Sahoo, S.K.; Kashuri, A.; Aljuaid, M.; Mishra, S.; De La Sen, M. On Ostrowski-Mercer’s type fractional inequalities for convex functions and applications. Fractal Fract. 2023, 7, 215. [Google Scholar] [CrossRef]
  70. Butt, S.I.; Nosheen, A.; Nasir, J.; Khan, K.A.; Mabela, R.M. New fractional Mercer-Ostrowski-type fractional integral inequalities with respect to monotone function. Math. Probl. Eng 2022, 2022, 7067543. [Google Scholar] [CrossRef]
  71. Iscan, I. New general integral inequalities for quasi-geometrically convex functions via fractional integrals. J. Inequal. Appl. 2013, 491, 1–15. [Google Scholar]
  72. Kalsoom, H.; Latif, M.A. Some weighted Hadamard and Ostrowski-type fractional inequalities for quasi-geometrically convex functions. Filomat 2023, 37, 5921–5942. [Google Scholar]
  73. Wang, J.R.; Deng, J.H.; Feckan, M. Exploring se-condition and applications to some Ostrowski-type fractional integral inequalities via Hadamard fractional integrals. Math. Slovaca 2014, 64, 1381–1396. [Google Scholar] [CrossRef]
  74. Ahmad, B.; Alsaedi, A.; Kirane, M.; Torebek, B.T. Hermite-Hadamard, Hermite-Hadamard-Fejér, Dragomir-Agarwal and Pachpatte type inequalities for convex functions via new fractional integrals. J. Comput. Appl. Math. 2019, 353, 120–129. [Google Scholar] [CrossRef]
  75. Budak, H.; Sarikaya, M.Z.; Usta, F.; Yildirim, H. Some Hermite-Hadamard and Ostrowski-type fractional integral inequalities for fractional integral operators with exponential kernel. Acta Comment. Univ. Tartu. Math. 2019, 23, 25–36. [Google Scholar] [CrossRef]
  76. Liu, J.B.; Butt, S.I.; Nasir, J.; Aslam, A.; Fahad, A.; Soontharanon, J. Jensen-Mercer variant of Hermite-Hadamard type inequalities via Atangana-Baleanu fractional operator. AIMS Math. 2022, 7, 2123–2141. [Google Scholar] [CrossRef]
  77. Ahmad, H.; Tariq, M.; Sahoo, S.K.; Askar, S.; Ahmed, E.; Abouelregal, A.; Khedher, K.M. Refinements of Ostrowski type Integral inequalities involving Atangana-Baleanu fractional integral operator. Symmetry 2021, 13, 2059. [Google Scholar] [CrossRef]
  78. Karim, M.; Fahmi, A.; Ullah, Z.; Bhatti, M.A.T.; Qayyum, A. On certain Ostrowski type integral inequalities for convex function via AB-fractional integral operator. AIMS Math. 2023, 8, 9166–9184. [Google Scholar] [CrossRef]
  79. Sahoo, S.K.; Kodamasingh, B.; Kashuri, A.; Aydi, H.; Ameer, E. Ostrowski-type fractional integral inequalities pertaining to Atangana–Baleanu fractional operators and applications containing special functions. J. Inequal. Appl. 2022, 2022, 162. [Google Scholar] [CrossRef]
  80. Ardic, M.A.; Akdemir, A.O.; Önalan, H.K. Integral inequalities for differentiable s-convex functions in the second sense via Atangana-Baleanu fractional integral operators. Filomat 2023, 37, 6229–6244. [Google Scholar]
  81. Sarikaya, M.Z.; Ertugral, F. On the generalized Hermite-Hadamard inequalities. An. Univ. Craiova Ser. Mat. Inform. 2020, 47, 193–213. [Google Scholar]
  82. Yaldiz, H.; Set, E. Some new Ostrowski type inequalities for generalized fractional integrals. In Proceedings of the 1st International Conference on Mathematical and Related Sciences (ICMRS 2018), Antalya, Turkey, 30 April–4 May 2018; Volume 1991, p. 020018. [Google Scholar]
  83. Sitthiwirattham, T.; Ali, M.A.; Budak, H.; Ntouyas, S.K.; Promsakon, C. Fractional Ostrowski type inequalities for differentiable harmonically convex functions. AIMS Math. 2021, 7, 3939–3958. [Google Scholar] [CrossRef]
  84. Tariboon, J.; Ntouyas, S.K. Quantum calculus on finite intervals and applications to impulsive differential equations. Adv. Differ. Equ. 2013, 2013, 282. [Google Scholar] [CrossRef]
  85. Bermudo, S.; Kórus, P.; Valdés, J.N. On q-Hermite-Hadamard inequalities for general convex functions. Acta Math. Hungar. 2020, 162, 364–374. [Google Scholar] [CrossRef]
  86. Noor, M.A.; Awan, M.U.; Noor, K.I. Quantum Ostrowski inequalities for q-differentiable convex functions. J. Math. Inequal. 2016, 10, 1013–1018. [Google Scholar] [CrossRef]
  87. Ali, M.A.; Ntouyas, S.K.; Tariboon, J. Generalization of quantum Ostrowski type integral inequalities. Mathematics 2021, 9, 1155. [Google Scholar] [CrossRef]
  88. Khan, K.A.; Ditta, A.; Nosheen, A.; Awan, K.M.; Mabela, R.M. Ostrowski Type inequalities for s-convex functions via q-integrals. J. Funct. Spaces 2022, 2022, 8063803. [Google Scholar] [CrossRef]
  89. Ali, M.A.; Budak, H.; Akkurt, A.; Chu, Y.-M. Quantum Ostrowski-type inequalities for twice quantum differentiable functions in quantum calculus. Open Math. 2021, 19, 440–449. [Google Scholar] [CrossRef]
  90. Mansour, Z.S.I. On fractional q-Sturm-Liouville problems. J. Fixed Point Theory Appl. 2017, 19, 1591–1612. [Google Scholar] [CrossRef]
  91. Wang, X.; Khan, K.A.; Ditta, A.; Nosheen, A.; Awan, K.M.; Mabela, R.M. New Developments on Ostrowski-type fractional integral inequalities via q-fractional integrals involving s-convex functions. J. Funct. Spaces 2022, 2022, 9742133. [Google Scholar] [CrossRef]
  92. Toplu, T.; Kadakal, M.; Iscan, I. On n-polynomial convexity and some related inequalities. AIMS Math. 2020, 5, 1304–1318. [Google Scholar] [CrossRef]
  93. Tunç, M.; Göv, E. Some integral inequalities via (p,q)-calculus on finite intervals. RGMIA Res. Rep. Coll. 2016, 19, 95. [Google Scholar] [CrossRef]
  94. Chu, Y.-M.; Awan, M.U.; Talib, S.; Noor, M.A.; Noor, K.I. New post quantum analogues of Ostrowski-type fractional integral inequalities using new definitions of left-right (p,q)-derivatives and definite integrals. Adv. Differ. Equ. 2020, 2020, 634. [Google Scholar] [CrossRef]
  95. Luangboon, W.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K.; Budak, H. Post quantum Ostrowski-type inequalities for twice (p,q)-differentiable functions. J. Math. Inequal. 2022, 15, 1129–1144. [Google Scholar] [CrossRef]
  96. Stojiljkovic, V. Twice differentiable Ostrowski type tensorial norm inequality for continuous functions of selfadjoint operators in Hilbert spaces. Electron. J. Math. Anal. Appl. 2023, 11, 1–15. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Tariq, M.; Ntouyas, S.K.; Ahmad, B. Ostrowski-Type Fractional Integral Inequalities: A Survey. Foundations 2023, 3, 660-723. https://doi.org/10.3390/foundations3040040

AMA Style

Tariq M, Ntouyas SK, Ahmad B. Ostrowski-Type Fractional Integral Inequalities: A Survey. Foundations. 2023; 3(4):660-723. https://doi.org/10.3390/foundations3040040

Chicago/Turabian Style

Tariq, Muhammad, Sotiris K. Ntouyas, and Bashir Ahmad. 2023. "Ostrowski-Type Fractional Integral Inequalities: A Survey" Foundations 3, no. 4: 660-723. https://doi.org/10.3390/foundations3040040

Article Metrics

Back to TopTop