Next Article in Journal
Multiplier Left Hopf Algebras
Previous Article in Journal
Odd Generalized Exponential Kumaraswamy–Weibull Distribution
Previous Article in Special Issue
On the Martínez–Kaabar Fractal–Fractional Reduced Pukhov Differential Transformation and Its Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Review

A Review of the Chebyshev Inequality Pertaining to Fractional Integrals

by
Péter Kórus
1,*,† and
Juan Eduardo Nápoles Valdés
2,3,†
1
Department of Mathematics, Juhász Gyula Faculty of Education, University of Szeged, Hattyas utca 10, H-6725 Szeged, Hungary
2
Facultad de Ciencias Exactas y Naturales y Agrimensura, Universidad Nacional del Nordeste, Ave. Libertad 5450, Corrientes 3400, Argentina
3
Facultad Regional Resistencia, Universidad Tecnológica Nacional, French 414, Resistencia, Chaco 3500, Argentina
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2025, 13(7), 1137; https://doi.org/10.3390/math13071137
Submission received: 22 January 2025 / Revised: 28 March 2025 / Accepted: 28 March 2025 / Published: 30 March 2025
(This article belongs to the Special Issue Mathematical Inequalities and Fractional Calculus)

Abstract

:
In this article, we give a brief review of a well-known integral inequality that gives information about the integral of the product of two functions using synchronous functions, the Chebyshev inequality. We have compiled the most relevant information about fractional and generalized integrals, which are one of the most dynamic topics in today’s mathematical sciences. After presenting the classical formulation of the inequality using Lebesgue integrable functions, the most general results known from the literature are collected in an attempt to present the reader with a current overview of this research topic.

1. Introduction

We recall the well-known Chebyshev inequality (see [1]
1 b a a b f ( x ) g ( x ) d x 1 b a a b f ( x ) d x 1 b a a b g ( x ) d x ,
where a < b , a , b R , and f and g are two Lebesgue integrable functions on [ a , b ] which are synchronous on [ a , b ] , that is
( f ( x ) f ( y ) ) ( g ( x ) g ( y ) ) 0 ( x , y [ a , b ] ) .
This integral inequality is one of those that provides an upper bound on the product of the mean value of two functions by the mean value of the product of said functions. This has caught the attention of many researchers who have made it an object of study, which has led to an increase in related publications; as we will see below, this development has occurred in the following basic directions: on the one hand, through the approach of synchronous functions (or equivalent arguments); on the other, through new integral operators (fractional or generalized); and finally, through considering the functional
T ( f , g ) = 1 b a a b f ( x ) g ( x ) d x 1 b a a b f ( x ) d x 1 b a a b g ( x ) d x ,
which is useful to give a lower or upper bound for T ( f , g ) in the theory of approximations since Chebyshev’s inequality follows from T ( f , g ) 0 . Each of the above has converted this integral inequality into a current research topic.
Inequality (1) has many applications in diverse research areas such as probability and statistics [2,3,4,5], quantum calculus [6,7], time scale calculus [8,9], and economics [10]. Several authors have investigated generalizations of the Chebyshev inequality (1), and these are called Chebyshev-type inequalities. An important way of generalization is via fractional or generalized integral operators. Recently, several kinds of various fractional integrals and derivatives have been investigated by many researchers. Chebyshev-type inequalities were considered via Riemann–Liouville [11,12,13,14], Hadamard [15,16,17], Caputo–Fabrizio [18], Katugampola [19,20], generalized Riemann–Liouville [21,22,23,24,25], Erdélyi–Kober [26,27], Saigo [28], Atangana–Baleanu [29], Raina fractional integrals [30,31], generalized Raina fractional integrals [32,33], and other types of generalized integral operators [34,35,36,37,38,39,40,41,42,43,44,45,46].
In the rest of this paper, we present a review of the latest results concerning inequality (1) in the framework of fractional and generalized integral operators.

2. Inequalities

In this section, we recall different definitions of fractional and generalized integrals, as well as different versions of Chebyshev’s inequality.
The well-known definition of the Riemann–Liouville fractional integrals reads as follows.
Definition 1 
([47]). Let a < b and f L l o c 1 ( [ a , b ] ) . The left and right side Riemann–Liouville fractional integrals of order α, with R e ( α ) > 0 , are defined, respectively, by
I α a R L f ( t ) = 1 Γ ( α ) a t ( t s ) α 1 f ( s ) d s ,
and
I b α R L f ( t ) = 1 Γ ( α ) t b ( s t ) α 1 f ( s ) d s ,
where t ( a , b ) and Γ ( . ) is the Gamma function Γ ( α ) = 0 e s s α 1 d s .
Belarbi and Dahmani proved the following theorems related to the Chebyshev inequality involving Riemann–Liouville fractional integral operator I α 0 R L f ( t ) .
Theorem 1 
([11]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then, for all t , α > 0 , we have
I α 0 R L f g ( t ) Γ ( α + 1 ) t α I α 0 R L f ( t ) I α 0 R L g ( t ) .
Theorem 2 
([11]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then, for all t , α , β > 0 , we have
t α Γ ( α + 1 ) I β 0 R L f g ( t ) + t β Γ ( β + 1 ) I α 0 R L f g ( t ) I α 0 R L f ( t ) I β 0 R L g ( t ) + I β 0 R L f ( t ) I α 0 R L g ( t ) .
Dahmani et al. proved the following result for Riemann–Liouville fractional integral operators in the case when the synchronicity of the two functions is replaced by a more general condition. This result generalizes the Chebyshev-type inequality in [48] Theorem 1).
Theorem 3 
([13]). Let f and g be two functions of the space L ( [ a , b ] ) and suppose that for any α 1 and for any a < t x b , the inequality
f ( t ) 1 t a a t f ( s ) d s ( x t ) α 1 g ( t ) 1 t a a t ( x s ) α 1 g ( s ) d s 0
is satisfied. Then, we have
1 t a I α a R L f g ( t ) 1 t a a t f ( s ) d s 1 t a I α a R L g ( t ) .
The Hadamard fractional integrals were defined in the following way.
Definition 2 
([15]). The Hadamard fractional integral of order α R + of a Lebesgue integrable function f, for all t > 1 , is defined as
I α 1 H f ( t ) = 1 Γ ( α ) 1 t ln t s α 1 f ( s ) d s s ,
where Γ ( . ) is the Gamma function.
From above definitions, we see the difference between Hadamard and Riemann–Liouville fractional integrals is that the kernel in the Hadamard integral has the form of ln t s instead of the form of ( t s ) , which is involved in the Riemann–Liouville integral. Hadamard fractional calculus is more suitable for describing phenomena unrelated to dilation on the semi-axis, while Riemann–Liouville fractional calculus is better appropriate to describe abnormal convection and diffusion phenomena [49].
Chebyshev’s inequality was extended in [15] for the Hadamard fractional integrals.
Theorem 4 
([15]). Let f , g : [ 0 , ) R be two Lebesgue integrable functions which are synchronous on [ 0 , ) . Then for all t , α , β > 0 , we have
I α 1 H f g ( t ) Γ ( α + 1 ) ( ln t ) α I α 1 H f ( t ) I α 1 H g ( t )
and
( ln t ) β Γ ( β + 1 ) I α 1 H f g ( t ) + ( ln t ) α Γ ( α + 1 ) I β 1 H f g ( t ) I α 1 H f ( t ) I β 1 H g ( t ) + I α 1 H g ( t ) I β 1 H f ( t ) .
Recently, Caputo and Fabrizio introduced a new fractional integral operator without a singular kernel in [50]. This fractional integral involves the nonsingular kernel e 1 α α ( t s ) , 0 < α < 1 . The main advantage of the Caputo–Fabrizio integral operator is that the boundary condition of the fractional differential equations with Caputo–Fabrizio derivatives admits the same form as for the integer-order differential equations [18].
Definition 3 
([50]). Let α R such that 0 < α 1 . The Caputo–Fabrizio fractional integral of order α of a Lebesgue integrable function f is defined by
I α 0 C F f ( t ) = 1 α 0 t e 1 α α ( t s ) f ( s ) d s
for all t > 0 .
Theorem 5 
([18]). Let f , g : [ 0 , ) R be two Lebesgue integrable functions which are synchronous on [ 0 , ) . Then, for all t > 0 and 0 < α , β 1 , we have
I α 0 C F f g ( t ) 1 α 1 e 1 α α t I α 0 C F f ( t ) I α 0 C F g ( t )
and
1 e 1 β β t 1 β I α 0 C F f g ( t ) + 1 e 1 α α t 1 α I β 0 C F f g ( t ) I α 0 C F f ( t ) I β 0 C F g ( t ) + I α 0 C F g ( t ) I β 0 C F f ( t ) .
Katugampola defined the following fractional integral operator in [51], which generalizes both the Riemann–Liouville and Hadamard fractional integrals into a single form:
I α , β a K f ( t ) = β 1 α Γ ( α ) a t s β 1 f ( s ) ( t β s β ) 1 α d s ,
where f X c p ( a , b ) , t > a , α C , R e ( α ) > 0 , β > 0 . Here, the space X c p ( a , b ) for c R , 1 p , consists of those complex-valued Lebesgue measurable functions f on [ a , b ] for which f X c p < , where the norm is defined by
f X c p = a b | t c f ( t ) | p d t t 1 / p < ,
for 1 p < , c R and for the case p = , c R ,
f X c = ess sup a t b t c | f ( t ) | .
Dubey and Goswami and also Set, Mumcu, and Demirbas proved the Chebyshev-type inequality involving the Katugampola fractional integrals.
Theorem 6 
([19,20]). Let f , g : [ 0 , ) R be two Lebesgue integrable functions which are synchronous on [ 0 , ) . Then, for all t , α , β > 0 , we have
I α , β 0 K f g ( t ) I α , β 0 K f ( t ) I α , β 0 K g ( t ) I α , β 0 K 1 .
Here, I α , β 0 K 1 = t α β Γ ( α + 1 ) β α , which was correctly indicated in [20,33].
Theorem 7 
([20]). Let f , g : [ 0 , ) R be two Lebesgue integrable functions which are synchronous on [ 0 , ) . Then, for all t , α , β , τ > 0 , we have
t τ β Γ ( τ + 1 ) β τ I α , β 0 K f g ( t ) + t α β Γ ( α + 1 ) β α I τ , β 0 K f g ( t ) I α , β 0 K f ( t ) I τ , β 0 K g ( t ) + I τ , β 0 K f ( t ) I α , β 0 K g ( t ) .
Sarikaya et al. in [24] defined the ( k , s ) -Riemann–Liouville fractional integrals of order α , which generalizes all of the fractional integrals above. They provided the following Chebyshev-type inequalities for this type of integrals together with the proof of commutativity and the semigroup properties of the ( k , s ) -Riemann–Liouville fractional integrals.
Definition 4 
([24]). Let f be a continuous function on on a the finite real interval [ a , b ] . Then, the ( k , s ) -Riemann–Liouville fractional integral of f of order α > 0 is defined by
I α a k , s f ( t ) = ( s + 1 ) 1 α k k Γ k ( α ) a t ( t s + 1 x s + 1 ) α k 1 x s f ( x ) d x ,
where t [ a , b ] , k > 0 , s R { 1 } and Γ k ( α ) = 0 e x k k x α 1 d x .
Theorem 8 
([24]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then, for all t > a 0 , α , β > 0 , the following inequalities hold for ( k , s ) -Riemann–Liouville fractional integrals:
I α a k , s f g ( t ) 1 I α a k , s 1 I α a k , s f ( t ) I α a k , s g ( t )
and
I α a k , s f g ( t ) I β a k , s 1 + I β a k , s f g ( t ) I α a k , s 1 I α a k , s f ( t ) I β a k , s g ( t ) + I α a k , s g ( t ) I β a k , s f ( t ) .
Akkurt et al. considered the ( k , h ) -Riemann–Liouville fractional integral and proved the appropriate extension of Chebyshev inequality via the defined integral.
Definition 5 
([21]). Let ( a , b ) be a finite interval of the real line R and R e ( α ) > 0 . Also, let h ( t ) be an increasing and positive monotone function on ( a , b ] , having a continuous derivative h ( t ) on ( a , b ) . The left-sided fractional integral of a function f with respect to another function h on [ a , b ] is defined by
I α a k , h f ( t ) = 1 k Γ k ( α ) a t [ ( h ( t ) h ( s ) ] α k 1 h ( s ) f ( s ) d s ,
for t > a , k > 0 .
Theorem 9 
([21]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then, for all t > a 0 , α , β > 0 and k > 0 , we have
I α a k , h f g ( t ) Γ k ( α + k ) [ ( h ( t ) h ( a ) ] α k I α a k , h f ( t ) I α a k , h g ( t )
and
[ ( h ( t ) h ( a ) ] β k Γ k ( β + k ) I α a k , h f g ( t ) + [ ( h ( t ) h ( a ) ] α k Γ k ( α + k ) I β a k , h f g ( t ) I α a k , h f ( t ) I β a k , h g ( t ) + I α a k , h g ( t ) I β a k , h f ( t ) .
The following generalization of the Riemann–Liouville fractional integral is called the Erdélyi–Kober integral operator [52]:
I α , β , η 0 E K f ( t ) = β t β ( η + α ) Γ ( α ) 0 t s β ( η + 1 ) 1 ( t β s β ) α 1 f ( s ) d s ,
where t , α , β > 0 , η R and f ( t ) is a real-valued continuous function.
The Erdélyi–Kober integral operator has number of applications in the generalized axially symmetric potential theory and other physical problems in electrostatics, elasticity, etc. (see [53]. Purohit and Kalla proved the following theorems for this integral operator.
Theorem 10 
([27]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then,
I α , β , η 0 E K f g ( t ) Γ ( 1 + α + η ) Γ ( 1 + η ) I α , β , η 0 E K f ( t ) I α , β , η 0 E K g ( t ) ,
for all t , α , β > 0 and η > 1 .
Theorem 11 
([27]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then,
Γ ( 1 + η ) Γ ( 1 + α + η ) I γ , δ , ζ 0 E K f g ( t ) + Γ ( 1 + ζ ) Γ ( 1 + γ + ζ ) I α , β , η 0 E K f g ( t ) I α , β , η 0 E K f ( t ) I γ , δ , ζ 0 E K g ( t ) + I γ , δ , ζ 0 E K f ( t ) I α , β , η 0 E K g ( t ) ,
for all t , α , β , γ , δ > 0 and η , ζ > 1 .
In [54], Saigo defined an integral operator which includes both the Riemann–Liouville and the Erdélyi–Kober fractional integral operators.
Definition 6 
([54]). Let α > 0 , β , η R . Then, the Saigo fractional integral of order α for a real-valued continuous function f is defined by
I α , β , η 0 S f ( t ) = t α β Γ ( α ) 0 t ( t s ) α 1 F 1 2 α + β , η ; α ; 1 s t f ( s ) d s
where Γ ( . ) is the Gamma function, F 1 2 denotes the Gaussian hypergeometric function
F 1 2 ( a , b ; c ; t ) = n = 0 ( a ) n ( b ) n ( c ) n n ! t n , | t | < 1 ,
and ( a ) n = Γ ( a + n ) / Γ ( a ) .
Purohit and Raina proved new generalizations of the Chebyshev inequality for the Saigo integral operator in [28].
Theorem 12 
([28]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then,
I α , β , η 0 S f g ( t ) Γ ( 1 β ) Γ ( 1 + α + η ) t β Γ ( 1 β + η ) I α , β , η 0 S f ( t ) I α , β , η 0 S g ( t ) ,
for all t > 0 , α > max { 0 , β } , β < 1 , β 1 < η < 0 .
Theorem 13 
([28]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then,
Γ ( 1 β + η ) Γ ( 1 β ) Γ ( 1 + α + η ) t β I γ , δ , ζ 0 S f g ( t ) + Γ ( 1 δ + ζ ) Γ ( 1 δ ) Γ ( 1 + γ + ζ ) t δ I α , β , η 0 S f g ( t ) I α , β , η 0 S f ( t ) I γ , δ , ζ 0 S g ( t ) + I γ , δ , ζ 0 S f ( t ) I α , β , η 0 S g ( t ) ,
for all t > 0 , α > max { 0 , β } , γ > max { 0 , δ } , β < 1 , δ < 1 , β 1 < η < 0 , δ 1 < ζ < 0 .
The Atangana–Baleanu fractional integral operator was defined as follows.
Definition 7 
([55]). The fractional integral associate to the Atangana–Baleanu fractional derivative with non-local kernel of a function f H 1 ( a , b ) is defined by
I α a A B f ( t ) = 1 α B ( α ) f ( t ) + α B ( α ) Γ ( α ) a t f ( s ) ( t s ) α 1 d s
where a < b and α ( 0 , 1 ] , B ( α ) > 0 is normalization function, Γ ( . ) is the Gamma function, and H 1 ( a , b ) is the Sobolev space of order one defined as
H 1 ( a , b ) = { g L 2 ( a , b ) : g L 2 ( a , b ) } ,
where
L 2 ( a , b ) = { g ( z ) : a b g 2 ( z ) d z 1 2 < } .
In [56], Abdeljawad and Baleanu introduced the right fractional integral with Mittag-Leffler kernel of order α ( 0 , 1 ] .
Definition 8 
([56]). The right Atangana–Baleanu fractional integral of a function f H 1 ( a , b ) is defined by
I b α A B f ( t ) = 1 α B ( α ) f ( t ) + α B ( α ) Γ ( α ) t b f ( s ) ( s t ) α 1 d s .
Applications of the the Atangana–Baleanu operators have been explored in fields as diverse as chaos theory, heat transfer, and variational problems [57].
Theorem 14 
([29]). Let f , g : [ 0 , ) R be two Lebesgue integrable functions which are synchronous on [ 0 , ) , a , b [ 0 , ) and a < b . Then, we have the following inequality for Atangana–Baleanu fractional integral operators
( b a ) α B ( α ) Γ ( α ) I α a A B f g ( b ) 1 α B ( α ) f g ( b ) I α a A B f ( b ) 1 α B ( α ) f ( b ) I α a A B g ( b ) 1 α B ( α ) g ( b ) ,
and
( b a ) α B ( α ) Γ ( α ) I b α A B f g ( a ) 1 α B ( α ) f g ( a ) I b α A B f ( a ) 1 α B ( α ) f ( a ) I b α A B g ( a ) 1 α B ( α ) g ( a ) ,
where α ( 0 , 1 ] , B ( α ) > 0 is normalization function and Γ ( . ) is the Gamma function.
Raina introduced fractional integral in [58].
Definition 9 
([58]). The Raina fractional integral operator of f is defined by
I α , β , ω , σ a R f ( t ) = a t ( t s ) β 1 F α , β σ [ ω ( t s ) α ] f ( s ) d s ,
where
F α , β σ ( x ) = k = 0 σ ( k ) Γ ( α k + β ) x k
and t > a > 0 , α , β , ω C , R e ( α ) , R e ( β ) > 0 , f ( t ) is such that the integral on the right side exists.
Raina’s fractional operators are important due to their level of generality. More precisely, by specifying the coefficient ω ( k ) , we can obtain many fractional integral operators, e.g., Riemann–Liouville, Prabhakar [59], and Salim [60]. Usta et al. proved the following theorems for the Raina fractional integral operator.
Theorem 15 
([30]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then, for all t , α , β > 0 and ω R , we have
I α , β , ω , σ 0 R 1 + I α , β , ω , σ 0 R f g ( t ) I α , β , ω , σ 0 R f ( t ) + I α , β , ω , σ 0 R g ( t ) ,
where the coefficients σ ( k ) ( k N 0 ) is a bounded sequence of positive real numbers.
Theorem 16 
([30]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then, for all t , α 1 , α 2 , β 1 , β 2 > 0 and ω 1 , ω 2 R , we have
t β 2 F α 2 , β 2 + 1 σ 2 [ ω 2 t α 2 ] I α 1 , β 1 , ω 1 , σ 1 0 R f g ( t ) + t β 1 F α 1 , β 1 + 1 σ 1 [ ω 1 t α 1 ] I α 2 , β 2 , ω 2 , σ 2 0 R f g ( t ) I α 1 , β 1 , ω 1 , σ 1 0 R f ( t ) I α 2 , β 2 , ω 2 , σ 2 0 R g ( t ) + I α 2 , β 2 , ω 2 , σ 2 0 R f ( t ) I α 1 , β 1 , ω 1 , σ 1 0 R g ( t ) ,
where the coefficients σ 1 ( k ) , σ 2 ( k ) ( k N 0 ) are bounded sequences of positive real numbers.
Vivas-Cortez et al. introduced and investigated the generalized Raina fractional integral in [33].
Definition 10 
([33]). Let 0 a < b and f L 1 ( [ a , b ] ) . The generalized (left) Raina fractional integral operator of f associated with the parameters α , β > 0 , ω R , θ ( 0 , 1 ] , η 0 , and σ any bounded arbitrary sequence of real (or complex) numbers, are defined by the following integral transform for any t ( a , b ) :
I α , β , ω , σ , θ , η a G R f ( t ) = a t t θ + η s θ + η θ + η β 1 s θ + η 1 F α , β σ ω ( t θ + η s θ + η ) α f ( s ) d s .
Theorem 17 
([33]). Let α , β > 0 , θ ( 0 , 1 ] and η 0 , and suppose that f and g are two synchronous functions defined on [ 0 , ) . Then, for all t > 0 , we have
I α , β , ω , σ , θ , η 0 G R f g ( t ) ( θ + η ) β F α , β + 1 σ [ ω ( t θ + η ) α ] ( t θ + η ) β I α , β , ω , σ , θ , η 0 G R f ( t ) I α , β , ω , σ , θ , η 0 G R g ( t ) .
Nápoles Valdés and Rabossi investigated the generalized k-proportional fractional integral as follows.
Definition 11 
([41]). Let f X F q ( 0 , ) and F be a continuous and positive function on [ 0 , ) with F ( 0 ) = 0 . The (left side) generalized k-proportional fractional integral operator with general kernel of order γ of f is defined by
I F , γ k , α a N R f ( t ) = 1 α γ k Γ k ( γ ) a t G ( F ( t , s ) , α ) F ( s ) f ( s ) F ( t , s ) ) 1 γ k d s ,
where the proportionality index α ( 0 , 1 ) , γ C , R e ( γ ) > 0 , t > a , F ( t , s ) = s t F ( r ) d r , G ( F ( t , s ) , 1 ) = 1 , and the space X F q ( 0 , ) for 1 q , consists of those real-valued Lebesgue measurable functions f on [ 0 , ) for which f X F q < , where the norm is defined by
f X F q = a b | f ( t ) | q F ( t ) d t 1 / q < ,
for 1 q < , and for the case q = ,
f X F = ess sup 0 t < F ( t ) | f ( t ) | .
It is shown in [41] that many integral operators are particular cases of the generalized k-proportional fractional integral, e.g., Hadamard, Riemann–Liouville, Katugampola, and the generalized proportional fractional integral operator [61].
Theorem 18 
([41]). Let f , g : [ 0 , ) R be two synchronous functions on [ 0 , ) . Then, for all t > a 0 , α ( 0 , 1 ) , γ , δ C , R e ( γ ) , R e ( δ ) > 0 ,
I F , γ k , α a N R f g ( t ) I F , γ k , α a N R f ( t ) I F , γ k , α a N R g ( t ) I F , γ k , α a N R 1
and
I F , γ k , α a N R f g ( t ) I F , γ k , α a N R 1 + I F , δ k , α a N R f g ( t ) I F , δ k , α a N R 1 I F , γ k , α a N R f ( t ) I F , δ k , α a N R g ( t ) + I F , δ k , α a N R f ( t ) I F , γ k , α a N R g ( t ) I F , γ k , α a N R 1 I F , δ k , α a N R 1
hold.

3. Conclusions

In this work, we presented several Chebyshev-type inequalities known from the literature within the framework of fractional integral operators and different variants of them.
The results presented in the thesis do not exhaust what is known in the literature. For example, in [23,35,39], generalized integral operators are defined and in that framework a number of Chebyshev-type inequalities are presented, which contain as particular cases results reported in the literature. In some papers [13,44], the synchronicity of the two functions is relaxed via more general conditions.
We note that by choosing measures appropriately for the fractional integrals of Section 2, one could easily see that Theorems 1, 4, 5, 6, 8–10, 12, 14, 15, 17 and 18 are consequences of the measurable version of the Chebyshev inequality
a b d μ a b f g d μ a b f d μ a b g d μ ,
observed by Andréief in [62] (see [63], where a < b , a , b R , μ is a non-negative measure, and f and g are two measurable functions synchronous on [ a , b ] .
Finally, we note that possible future generalizations of Chebyshev’s inequality can be considered through newer definitions of general fractional integral operators or through appropriate relaxation of the synchronicity condition.

Author Contributions

Writing—original draft preparation, P.K. and J.E.N.V. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Chebyshev, P.L. Sur les expressions approximatives des integrales definies par les autres prises entre les mêmes limites. Proc. Math. Soc. Charkov 1882, 2, 93–98. [Google Scholar]
  2. Bhat, M.A.; Kosuru, G.S.R. Generalizations of some concentration inequalities. Stat. Probab. Lett. 2022, 182, 109298. [Google Scholar] [CrossRef]
  3. Hürlimann, W. An Improved Laguerre-Samuelson Inequality of Chebyshev-Markov Type. J. Optim. 2014, 2014, 832123. [Google Scholar] [CrossRef]
  4. Liu, R.; Wen, J.; Zhao, L. Chebyshev–Jensen-Type Inequalities Involving χ-Products and Their Applications in Probability Theory. Mathematics 2024, 12, 1495. [Google Scholar] [CrossRef]
  5. Ogasawara, H. The multivariate Markov and multiple Chebyshev inequalities. Comm. Statist. Theory Methods 2020, 49, 441–453. [Google Scholar] [CrossRef]
  6. Arunrat, N.; Nakprasit, K.M.; Nonlaopon, K.; Agarwal, P.; Ntouyas, S.K. Post-Quantum Chebyshev-Type Integral Inequalities for Synchronous Functions. Mathematics 2022, 10, 468. [Google Scholar] [CrossRef]
  7. Brahim, K.; Taf, S. On some fractional q-Integral inequalities. Malaya J. Mat. 2013, 3, 21–26. [Google Scholar] [CrossRef]
  8. Ajega-Akem, S.N.; Iddrisu, M.M.; Nantomah, K. Some Chebyshev type inequalities on time scales. J. Math. Anal. Model. 2024, 5, 53–63. [Google Scholar]
  9. Akin, L. On the Fractional Maximal Delta Integral Type Inequalities on Time Scales. Fractal Fract. 2020, 4, 26. [Google Scholar] [CrossRef]
  10. Jeong, S.E. A Note on a Moment Inequality. B.E. J. Theor. Econ. 2024, 24, 435–440. [Google Scholar] [CrossRef]
  11. Belarbi, S.; Dahmani, Z. On some new fractional integral inequalities. JIPAM J. Inequal. Pure Appl. Math. 2009, 10, 86. [Google Scholar]
  12. Dahmani, Z. About some integral inequalities using Riemann-Liouville integrals. Gen. Math. 2012, 20, 63–69. [Google Scholar]
  13. Dahmani, Z.; Khameli, A.; Freha, K. Fractional integral Chebyshev inequality without synchronous functions condition. Malaya J. Mat. 2016, 4, 448–452. [Google Scholar] [CrossRef]
  14. Dahmani, Z.; Mechouar, O.; Brahami, S. Certain inequalities related to the Chebyshev’s functional involving a Riemann-Liouville operator. Bull. Math. Anal. Appl. 2011, 3, 38–44. [Google Scholar]
  15. Chinchane, V.L.; Pachpatte, D.B. A note on some fractional integral inequalities via Hadamard integral. J. Fract. Calc. Appl. 2013, 4, 125–129. [Google Scholar]
  16. Ntouyas, S.K.; Purohit, S.D.; Tariboon, J. Certain Chebyshev Type Integral Inequalities Involving Hadamard’s Fractional Operators. Abstr. Appl. Anal. 2014, 2014, 249091. [Google Scholar] [CrossRef]
  17. Set, E.; Kashuri, A.; Mumcu, I. Chebyshev type inequalities by using generalized proportional Hadamard fractional integrals via Polya–Szegö inequality with applications. Chaos Solitons Fractals 2021, 146, 110860. [Google Scholar] [CrossRef]
  18. Chinchane, V.L.; Nale, A.B.; Panchal, S.K.; Chesneau, C. On Some Fractional Integral Inequalities Involving Caputo–Fabrizio Integral Operator. Axioms 2021, 10, 255. [Google Scholar] [CrossRef]
  19. Dubey, R.S.; Goswami, P. Some fractional integral inequalities for the Katugampola integral operator. AIMS Math. 2019, 4, 193–198. [Google Scholar] [CrossRef]
  20. Set, E.; Mumcu, I.; Demirbas, S. Conformable fractional integral inequalities of Chebyshev type. RACSAM 2019, 113, 2253–2259. [Google Scholar] [CrossRef]
  21. Akkurt, A.; Yildirim, M.E.; Yildirim, H. On some integral inequalities for (k,h)-Riemann-Liouville fractional integral. New Trends Math. Sci. 2016, 4, 138–146. [Google Scholar] [CrossRef]
  22. Bezziou, M.; Dahmani, Z.; Sarikaya, M.Z. The (k,s,h)-Riemann-Liouville and the (k,s)-Hadamard Operators. J. Math. Ext. 2022, 16, 10. [Google Scholar] [CrossRef]
  23. Halim, B.; Senouci, A.; Sofrani, M. Some Chebyshev type inequalities for generalized Riemann-Liouville operator. Ufa Math. J. 2020, 12, 88–96. [Google Scholar] [CrossRef]
  24. Sarikaya, M.Z.; Dahmani, Z.; Kiris, M.E.; Ahmad, F. (k,s)-Riemann–Liouville fractional integral and applications. Hacet. J. Math. Stat. 2016, 45, 77–89. [Google Scholar] [CrossRef]
  25. Varosanec, S. New Chebyshev-type inequalities for the generalized Riemann-Liouville fractional integral with respect to an increasing function. J. Math. Inequal. 2023, 17, 1351–1361. [Google Scholar] [CrossRef]
  26. Baleanu, D.; Purohit, S.D.; Prajapati, J.C. Integral inequalities involving generalized Erdélyi-Kober fractional integral operators. Open Math. 2016, 14, 89–99. [Google Scholar] [CrossRef]
  27. Purohit, S.D.; Kalla, S.L. Certain inequalities related to the Chebyshev’s functional involving Erdélyi-Kober operators. Sci. Ser. A Math. Sci. 2014, 25, 55–63. [Google Scholar]
  28. Purohit, S.D.; Raina, R.K. Chebyshev type inequalities for the Saigo fractional integrals and their q-analogues. J. Math. Inequal. 2013, 7, 239–249. [Google Scholar] [CrossRef]
  29. Set, E.; Akdemir, A.O.; Karaoglan, A. New integral inequalities for synchronous functions via Atangana–Baleanu fractional integral operators. Chaos Solitons Fractals 2024, 186, 115193. [Google Scholar] [CrossRef]
  30. Usta, F.; Budak, H.; Sarikaya, M.Z. On Chebychev type inequalities for fractional integral operators. AIP Conf. Proc. 2017, 1833, 020045. [Google Scholar] [CrossRef]
  31. Alan, E.A.; Celik, B.; Set, E.; Dahmani, Z. On new Chebyshev inequalities via fractional operators. Miskolc Math. Notes 2021, 22, 557–569. [Google Scholar] [CrossRef]
  32. Srivastava, H.M.; Kashuri, A.; Mohammed, P.O.; Alsharif, A.M.; Guirao, J.L. New Chebyshev type inequalities via a general family of fractional integral operators with a modified Mittag-Leffler kernel. AIMS Math. 2021, 6, 11167–11186. [Google Scholar] [CrossRef]
  33. Vivas-Cortez, M.; Mohammed, P.O.; Hamed, Y.S.; Kashuri, A.; Hernández, J.E.; Macías-Díaz, J.E. On some generalized Raina-type fractional-order integral operators and related Chebyshev inequalities. AIMS Math. 2022, 7, 10256–10275. [Google Scholar] [CrossRef]
  34. Ahmad, A.; Anwar, M. Refinements of Pólya-Szegö and Chebyshev type inequalities via different fractional integral operators. Heliyon 2024, 10, e35057. [Google Scholar] [CrossRef] [PubMed]
  35. Akdemir, A.O.; Butt, S.I.; Nadeem, M.; Ragusa, M.A. New General Variants of Chebyshev Type Inequalities via Generalized Fractional Integral Operators. Mathematics 2021, 9, 122. [Google Scholar] [CrossRef]
  36. Baleanu, D.; Purohit, S.D. Chebyshev Type Integral Inequalities Involving the Fractional Hypergeometric Operators. Abstr. Appl. Anal. 2014, 2014, 609160. [Google Scholar] [CrossRef]
  37. Celik, B.; Set, E. On new integral inequalities using mixed conformable fractional integrals. Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 2020, 69, 1057–1069. [Google Scholar] [CrossRef]
  38. Chinchane, V.L. On Chebyshev Type Inequalities Using Generalized k-Fractional Integral Operator. Progr. Fract. Differ. Appl. 2017, 3, 219–226. [Google Scholar] [CrossRef]
  39. Guzmán, P.M.; Kórus, P.; Nápoles Valdés, J.E. Generalized Integral Inequalities of Chebyshev Type. Fractal Fract. 2020, 4, 10. [Google Scholar] [CrossRef]
  40. Nale, A.B.; Panchal, S.K.; Chinchane, V.L.; Al-Bayatti, H.M.Y. Fractional Integral Inequalities Using Marichev-Saigo-Maeda Fractional Integral Operator. Progr. Fract. Differ. Appl. 2021, 7, 249–255. [Google Scholar] [CrossRef]
  41. Nápoles Valdés, J.E.; Rabossi, F. A note on Chebyshev inequality via k-generalized fractional integrals. Electron. J. Math. 2021, 1, 41–51. [Google Scholar] [CrossRef]
  42. Rahman, G.; Nisar, K.S.; Abdeljawad, T.; Samraiz, M. Some New Tempered Fractional Pólya-Szegö and Chebyshev-Type Inequalities with Respect to Another Function. J. Math. 2020, 2020, 9858671. [Google Scholar] [CrossRef]
  43. Set, E.; Choi, J.; Demirbas, S. Some new Chebyshev type inequalities for fractional integral operator containing a further extension of Mittag-Leffler function in the kernel. Afr. Mat. 2022, 33, 42. [Google Scholar] [CrossRef]
  44. Set, E.; Choi, J.; Mumcu, I. Chebyshev type inequalities involving generalized Katugampola fractional integral operators. Tamkang J. Math. 2019, 50, 381–390. [Google Scholar] [CrossRef]
  45. Set, E.; Dahmani, Z.; Mumcu, I. New extensions of Chebyshev type inequalities using generalized Katugampola integrals via Polya-Szegö inequality. Int. J. Optim. Control. Theor. Appl. 2018, 8, 137–144. [Google Scholar] [CrossRef]
  46. Srivastava, H.M.; Kashuri, A.; Mohammed, P.O.; Nonlaopon, K. Certain Inequalities Pertaining to Some New Generalized Fractional Integral Operators. Fractal Fract. 2021, 5, 160. [Google Scholar] [CrossRef]
  47. Gorenflo, R.; Mainardi, F. Fractals and Fractional Calculus in Continuum Mechanics, 1st ed.; Springer: Vienna, Austria, 1997. [Google Scholar]
  48. Niculescu, C.P.; Roventa, I. An extention of Chebyshev’s algebric inequality. Math. Rep. 2013, 15, 91–95. [Google Scholar]
  49. Liu, W.; Liu, L. Properties of Hadamard Fractional Integral and Its Application. Fractal Fract. 2022, 6, 670. [Google Scholar] [CrossRef]
  50. Caputo, M.; Fabrizio, M. Applications of new time and Spatial fractional derivative with exponential kernels. Progr. Fract. Differ. Appl. 2016, 2, 7–8. [Google Scholar] [CrossRef]
  51. Katugampola, U.N. A New Approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 2014, 6, 1–15. [Google Scholar]
  52. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives: Theory and Applications; Gordon and Breach Science: Amsterdam, The Netherlands, 1993. [Google Scholar]
  53. Sneddon, I.N. Mixed Boundary Value Problems in Potential Theory; North-Holland Publ. Co.: Amsterdam, The Netherlands, 1966. [Google Scholar]
  54. Saigo, M. A remark on integral operators involving the Gauss hypergeometric functions. Math. Rep. Kyushu Univ. 1978, 11, 135–143. [Google Scholar]
  55. Atangana, A.; Baleanu, D. New fractional derivatices with non-local and non-singular kernel. Therm. Sci. 2016, 20, 763–769. [Google Scholar] [CrossRef]
  56. Abdeljawad, T.; Baleanu, D. Integration by parts and its applications of a new nonlocal fractional derivative with Mittag-Leffler nonsingular kernel. J. Nonlinear Sci. Appl. 2017, 10, 1098–1107. [Google Scholar] [CrossRef]
  57. Baleanu, D.; Fernandez, A. On some new properties of fractional derivatives with Mittag-Leffler kernel. Commun. Nonlinear Sci. Numer. Simul. 2018, 59, 444–462. [Google Scholar] [CrossRef]
  58. Raina, R.K. On generalized Wright’s hypergeometric functions and fractional calculus operators. East Asian Math. J. 2005, 21, 191–203. [Google Scholar]
  59. Prabhakar, T.R. A singular integral equation with a generalized Mittag-Leffler function in the kernel. Yokohama Math. J. 1971, 19, 7–15. [Google Scholar]
  60. Salim, T.O.; Faraj, A.W. A generalization of Mittag-Leffler function and integral operator associated with fractional calculus. J. Fract. Calc. Appl. 2012, 3, 1–13. [Google Scholar]
  61. Rashid, S.; Jarad, F.; Noor, M.A.; Kalsoom, H.; Chu, Y.-M. Inequalities by Means of Generalized Proportional Fractional Integral Operators with Respect to Another Function. Mathematics 2019, 7, 1225. [Google Scholar] [CrossRef]
  62. Andréief, C. Note sur une relation entre les intǵrales définies des produits des fonctions. Mém. Soc. Sci. Phys. Nat. Bordeaux 1886, 2, 1–14. [Google Scholar]
  63. Fink, A.M.; Jodeit, M. On Chebyshev’s Other Inequality. IMS Lect. Notes Monogr. Ser. 1984, 5, 115–120. [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

Kórus, P.; Nápoles Valdés, J.E. A Review of the Chebyshev Inequality Pertaining to Fractional Integrals. Mathematics 2025, 13, 1137. https://doi.org/10.3390/math13071137

AMA Style

Kórus P, Nápoles Valdés JE. A Review of the Chebyshev Inequality Pertaining to Fractional Integrals. Mathematics. 2025; 13(7):1137. https://doi.org/10.3390/math13071137

Chicago/Turabian Style

Kórus, Péter, and Juan Eduardo Nápoles Valdés. 2025. "A Review of the Chebyshev Inequality Pertaining to Fractional Integrals" Mathematics 13, no. 7: 1137. https://doi.org/10.3390/math13071137

APA Style

Kórus, P., & Nápoles Valdés, J. E. (2025). A Review of the Chebyshev Inequality Pertaining to Fractional Integrals. Mathematics, 13(7), 1137. https://doi.org/10.3390/math13071137

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop