Next Article in Journal
New Machine-Learning Control Charts for Simultaneous Monitoring of Multivariate Normal Process Parameters with Detection and Identification
Next Article in Special Issue
Novel Kinds of Fractional λ–Kinetic Equations Involving the Generalized Degenerate Hypergeometric Functions and Their Solutions Using the Pathway-Type Integral
Previous Article in Journal
PQ-Mist: Priority Queueing-Assisted Mist–Cloud–Fog System for Geospatial Web Services
Previous Article in Special Issue
A Proposed Application of Fractional Calculus on Time Dilation in Special Theory of Relativity
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On a General Formulation of the Riemann–Liouville Fractional Operator and Related Inequalities

by
Juan Gabriel Galeano Delgado
1,
Juan Eduardo Nápoles Valdés
2,3 and
Edgardo Enrique Pérez Reyes
1,*
1
Departamento de Matemáticas y Estadística, Universidad de Córdoba, Montería 230002, Colombia
2
UNNE, FaCENA, Av. Libertad 5450, Corrientes 3400, Argentina
3
UTN-FRRE, Resistencia, Chaco 3500, Argentina
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(16), 3565; https://doi.org/10.3390/math11163565
Submission received: 31 May 2023 / Revised: 14 August 2023 / Accepted: 16 August 2023 / Published: 17 August 2023

Abstract

:
In this paper, we present a general formulation of the Riemann–Liouville fractional operator with generalized kernels. Many of the known operators are shown to be particular cases of the one we present. In this new framework, we prove several known integral inequalities in the literature.

1. Introduction

Although the topic of inequalities has been dealt with since the Greeks, the consolidation of this discipline as a theoretical corpus is attributed to the classic text by Hardy, Littlewood, and Pólya [1], which was influential in increasing research on the study of different types of inequalities (such as the inequalities of Jensen, Gruss, Hermite–Hadamard, Fejer, which generalizes this list, Minkowski, and Polya–Szego, among others). Interested readers may refer to [2,3,4,5,6].
In the last 50 years, this area has become an object of attention for researchers from various disciplines (pure and applied) since the advent of what is now recognized as fractional calculus.
Throughout this work, we use the functions Γ (see [7,8,9,10]) and Γ k (cf. defined by [11]):
Γ ( z ) = 0 τ z 1 e τ d τ , Re ( z ) > 0 ,
Γ k ( z ) = 0 τ z 1 e τ k / k d τ , k > 0 .
Evidently, as k approaches 1, we observe the convergence of Γ k ( z ) to Γ ( z ) , where Γ k ( z ) = ( k ) z k 1 Γ z k and Γ k ( z + k ) = z Γ k ( z ) . Additionally, we establish the k-beta function through the subsequent definition:
B k ( u , v ) = 1 k 0 1 τ u k 1 ( 1 τ ) v k 1 d τ ,
noting that B k ( u , v ) = 1 k B ( u k , v k ) and B k ( u , v ) = Γ k ( u ) Γ k ( v ) Γ k ( u + v ) .
For the purpose of enhancing comprehension of the subject, we provide several definitions of fractional integrals, including some that are very recent (with 0 a 1 < τ < a 2 ). The first is the classic Riemann–Liouville fractional integrals.
Definition 1. 
Let f L 1 [ a 1 , a 2 ] ; subsequently, the Riemann–Liouville fractional integrals of order α C , with Re ( α ) > 0 , are given explicit definitions for the right and left cases as follows:
For u > a 1 : I a 1 + α f ( u ) = 1 Γ ( α ) a 1 u ( u τ ) α 1 f ( τ ) d τ .
For u < a 2 : I a 2 α f ( u ) = 1 Γ ( α ) u a 2 ( τ u ) α 1 f ( τ ) d τ .
Furthermore, the fractional derivatives, of any order n, corresponding to the aforementioned operators can be defined as follows:
Definition 2. 
Given f ( u ) belonging to L 1 ( a 1 , a 2 ) , where α is a complex number with Re ( α ) > 0 , and satisfying n 1 < α < n , the left- and right-sided Riemann–Liouville fractional derivatives are characterized by
( D a 1 + α f ) ( u ) = d n d u n I a 1 + n α f ( u ) ,
( D a 2 α f ) ( u ) = ( 1 ) n d n d u n I a 2 n α f ( u ) .
The left- and right-sided Riemann–Liouville k-fractional integrals are given in [12].
Definition 3. 
Now, suppose we have a function f belonging to the space L 1 [ a 1 , a 2 ] . The expressions that define the Riemann–Liouville k-fractional integrals of order α C , where the real part of α is greater than 0 and k > 0 is a positive value, can be stated as follows:
α I a 1 + k f ( u ) = 1 k Γ k ( α ) a 1 u ( u τ ) α k 1 f ( τ ) d τ , u > a 1 ,
α I a 2 k f ( u ) = 1 k Γ k ( α ) u a 2 ( τ u ) α k 1 f ( τ ) d τ , u < a 2 .
A more general definition of the Riemann–Liouville fractional integrals is given in [13].
Definition 4. 
Consider a function f : [ a 1 , a 2 ] R that is integrable. Additionally, let us suppose we have a function g defined on the interval ( a 1 , a 2 ] which is both increasing and positive. This function g should have a continuous derivative g′ within the interval ( a 1 , a 2 ) . Now, turning our attention to the fractional integrals of function f with respect to another function g over the interval [ a 1 , a 2 ] of a given order α C , where the real part of α is greater than 0, we can represent these integrals as follows:
g α I a 1 + f ( u ) = 1 Γ ( α ) a 1 u g ( u ) g ( τ ) α 1 g ( τ ) f ( τ ) d τ , u > a 1 ,
g α I a 2 f ( u ) = 1 Γ ( α ) u a 2 g ( τ ) g ( u ) α 1 g ( τ ) f ( τ ) d τ , u < a 2 .
A k-fractional analogue of Definition 4 is given in the following (see [14,15,16]):
Definition 5. 
Let f : [ a 1 , a 2 ] R be an integrable function. Let g be an increasing and positive function on ( a 1 , a 2 ] with a continuous derivative g on ( a 1 , a 2 ) . The left- and right-sided k-fractional integrals of a function f with respect to another function g on [ a 1 , a 2 ] of order α C , Re ( α ) > 0 and k > 0 are expressed by
α I a 1 + k f ( u ) = 1 k Γ k ( α ) a 1 u g ( u ) g ( τ ) α k 1 g ( τ ) f ( τ ) d τ , u > a 1 ,
α I a 2 k f ( u ) = 1 k Γ k ( α ) u a 2 g ( τ ) g ( u ) α k 1 g ( τ ) f ( τ ) d τ , u < a 2 .
On the other hand, in 2011, Katugampola defined a new integral operator as a generalization of the n-integral, as follows:
Definition 6. 
Let f : [ a 1 , a 2 ] R be an integrable function. The general Katugampola fractional integrals of a function f of order α R , with Re ( α ) > 0 and s 1 , is expressed by
a 1 s I u α f ( u ) = ( s + 1 ) 1 α Γ ( α ) a 1 u ( u α + 1 τ α + 1 ) α 1 τ s f ( τ ) d τ .
We are now in a position to define the k-generalized fractional Riemann–Liouville integral.
Definition 7. 
The k-generalized fractional Riemann–Liouville integral of order α with Re ( α ) > 0 and the s 1 of an integrable and non-negative function f ( u ) on [ 0 , ) are given as follows:
s J F , a 1 α k f ( u ) = 1 k Γ k ( α ) a 1 u F ( τ , s ) f ( τ ) d τ F ( u , τ ) 1 α k ,
with F ( τ , s ) , an integrable and non-negative function on [ 0 , + ) , and F ( τ , 0 ) = 1 , with F ( u , τ ) = τ u F ( θ , s ) d θ and F ( τ , u ) = u τ F ( θ , s ) d θ .
In the subsequent remark, we will establish relationships between our generalized operator and some of the operators introduced in the earlier definitions.
Remark 1. 
Let us consider the kernel F ( τ , s ) = τ s ; then, we will have, successively,
F ( u , τ ) = τ u θ s d θ = u s + 1 τ s + 1 s + 1 ,
F ( u , τ ) 1 α k = u s + 1 τ s + 1 s + 1 1 α k .
The (k,s)-Riemann–Liouville fractional integral is defined in Definition 2.1 of [17], and from here, we have the integral of Definition 6 with k 1 .
Similarly, when we set s 0 and k 1 , we arrive at the well-known Riemann–Liouville operator in its traditional form.
Remark 2. 
Following Definition 2, it is not difficult to define the generalized derivative of the Riemann–Liouville type, following this formalism. So, we have
s D F , a 1 α k f ( u ) = d n d u n s J F , a 1 n α k f ( u ) ,
with n 1 < α < n .
One of the fundamental inquiries regarding a new integral operator is its boundedness.
Theorem 1. 
Let f : [ a 1 , a 2 ] R be a continuous function, with α , k > 0 and s 1 . Then, s J F , a 1 α k f ( u ) exists for all u [ a 1 , a 2 ] .
Proof. 
For all f C [ a 1 , a 2 ] , and u [ a 1 , a 2 ] , we have
| s J F , a 1 α k f ( u ) | 1 k Γ k ( α ) a 1 u F ( τ , s ) F ( u , τ ) α k 1 | f ( τ ) | d τ f k Γ k ( α ) a 1 u F ( τ , s ) F ( u , τ ) α k 1 d τ = f Γ k ( α + k ) F ( u , a 1 ) α k .
Subsequently, we derive a targeted characteristic of the aforementioned integral operator: the commutativity and the semigroup property of the operator, as presented in Definition 7. We have the following:
Theorem 2. 
Let f be a continuous function on [ a 1 , a 2 ] , k > 0 and s 1 . Then, we have
s J F , a 1 α k s J F , a 1 β k f ( u ) = s J F , a 1 α + β k f ( u ) = s J F , a 1 β k s J F , a 1 α k f ( u ) ,
for all α > 0 , β > 0 , u [ a 1 , a 2 ] .
Proof. 
Taking into account Definition 7 and the Dirichlet formula, we have
s J F , a 1 α k s J F , a 1 β k f ( u ) = 1 k Γ k α a 1 u F ( u , τ ) α k 1 F ( τ , s ) s J F , a 1 β k f ( τ ) d τ = 1 k Γ k α a 1 u F ( u , τ ) α k 1 F ( τ , s ) 1 k Γ k β a 1 τ F ( τ , w ) β k 1 F ( w , s ) f ( w ) d w d τ = 1 k Γ k α 1 k Γ k β a 1 u F ( w , s ) f ( w ) w u F ( u , τ ) α k 1 F ( τ , w ) β k 1 F ( τ , s ) d τ d w .
Making ρ = F ( τ , w ) F ( u , w ) , we have
1 k Γ k α 1 k Γ k β a 1 u F ( w , s ) f ( w ) w u F ( u , τ ) α k 1 F ( τ , w ) β k 1 F ( τ , s ) d τ d w = 1 k 2 Γ k α Γ k β a 1 u F ( w , s ) F ( u , w ) α + β k 1 f ( w ) 0 1 1 ρ α k 1 ρ β k 1 d ρ d w = k B k ( α , β ) k 2 Γ k α Γ k β a 1 u F ( w , s ) F ( u , w ) α + β k 1 f ( w ) d w = 1 k Γ k ( α + β ) a 1 u F ( w , s ) F ( u , w ) α + β k 1 f ( w ) d w = s J F , a 1 α + β k f ( u ) .
The second part of equality of (18) is trivial. This completes the proof. □
Example 1. 
If we take a 1 = 0 and F 1 , then we have F ( u , τ ) = u τ , so we have the k-Riemann–Liouville fractional integral of order α [12]. In terms of this operator, we can formulate equality (18):
Theorem 3. 
Let f Q ( I ) , a 1 , a 2 I with 1 < a < b and f L 1 [ a 1 , a 2 ] . Then, for ( 0 , 1 ] , the following equality for the k-Riemann–Liouville fractional integral of order α holds:
I k α I k β f ( u ) = I k α + β f ( u ) = I k β I k α f ( u )
This is the theorem presented in [18], p. 2.
If we take k = 1 , a 1 = 1 , and F ( τ , s ) = τ 1 , the above is still valid for the Hadamark fractional integral (see [19,20]).
Theorem 4. 
Let α , β > 0 , k > 0 and s 1 . Then, we obtain
s J F , a 1 α k [ F ( u , a 1 ) β k 1 ] = Γ k ( β ) F ( u , a 1 ) α + β k 1 Γ k ( α + β ) .
Proof. 
Here,
s J F , a 1 α k [ F ( u , a 1 ) β k 1 ] = 1 k Γ k ( α ) a 1 u F ( τ , s ) F ( u , τ ) α k 1 F ( τ , a 1 ) β k 1 d τ .
Using the change in variable ρ = F ( τ , a 1 ) F ( u , a 1 ) , we obtain
= F ( u , a 1 ) α + β k 1 k Γ k ( α ) 0 1 ( 1 ρ ) α k 1 ρ β k 1 d ρ = F ( u , a 1 ) α + β k 1 B k ( α , β ) Γ k ( α ) = Γ k ( β ) F ( u , a 1 ) α + β k 1 Γ k ( α + β ) .
Thus, the proof is complete. □
An integral inequality that holds significant recognition is Chebyshev’s inequality. When applied to the k-generalized Riemann–Liouville fractional integral operator defined in Definition 7, Chebyshev’s inequality can be expressed as follows:
Theorem 5. 
Suppose we have two synchronous functions, denoted as f and g, over the interval [ 0 , ) . Under these conditions, for any values of τ, a 1 , α, and λ satisfying τ > a 1 0 , α > 0 , and λ > 0 , the ensuing set of inequalities holds:
s J F , a 1 α k ( f g ) ( τ ) 1 s J F , a 1 α k ( 1 ) s J F , a 1 α k f ( τ ) s J F , a 1 α k g ( τ ) ,
and
s J F , a 1 α k ( f g ) ( τ ) s J F , a 1 λ k ( 1 ) + s J F , a 1 λ k ( f g ) ( τ ) s J F , a 1 α k ( 1 ) s J F , a 1 α k f ( τ ) s J F , a 1 λ k g ( τ ) + s J F , a 1 α k g ( τ ) s J F , a 1 λ k f ( τ ) .
Proof. 
We say that the pair f and g are synchronous on [ 0 , ) , if for all u , v 0 , we have
( f ( u ) f ( v ) ) ( g ( u ) g ( v ) ) 0 .
Therefore,
f ( u ) g ( u ) + f ( v ) g ( v ) f ( u ) g ( v ) + f ( v ) g ( u ) .
Then, multiplying both sides of (24) by F ( u , s ) k Γ k ( α ) [ F ( τ , u ) ] 1 α k , we integrate the resulting inequality with respect to u over ( a 1 , τ ) . It holds that
1 k Γ k ( α ) a 1 τ f ( u ) g ( u ) F ( u , s ) d u [ F ( τ , u ) ] 1 α k + f ( v ) g ( v ) k Γ k ( α ) a 1 τ F ( u , s ) d u [ F ( τ , u ) ] 1 α k g ( v ) k Γ k ( α ) a 1 τ f ( u ) F ( u , s ) d u [ F ( τ , u ) ] 1 α k + f ( v ) k Γ k ( α ) a 1 τ g ( u ) F ( u , s ) d u [ F ( τ , u ) ] 1 α k ,
and thus,
s J F , a 1 α k ( f g ) ( τ ) + f ( v ) g ( v ) s J F , a 1 α k ( 1 ) g ( v ) s J F , a 1 α k f ( τ ) + f ( v ) s J F , a 1 α k g ( τ ) .
Multiplying both sides of (25) by F ( v , s ) k Γ k ( α ) [ F ( τ , v ) ] 1 α k , and then integrating the resulting inequality with respect to v over ( a 1 , τ ) , we obtain
s J F , a 1 α k ( f g ) ( τ ) 1 k Γ k ( α ) a 1 τ F ( v , s ) d v [ F ( τ , v ) ] 1 α k + s J F , a 1 α k ( 1 ) 1 k Γ k ( α ) a 1 τ F ( v , s ) f ( v ) g ( v ) d v [ F ( τ , v ) ] 1 α k s J F , a 1 α k f ( τ ) 1 k Γ k ( α ) a 1 τ F ( v , s ) g ( v ) d v [ F ( τ , v ) ] 1 α k + s J F , a 1 α k g ( τ ) 1 k Γ k ( α ) a 1 τ F ( v , s ) f ( v ) d v [ F ( τ , v ) ] 1 α k ,
that is,
2 [ s J F , a 1 α k ( f g ) ( τ ) s J F , a 1 α k ( 1 ) ] 2 [ s J F , a 1 α k f ( τ ) s J F , a 1 α k g ( τ ) ] .
Thus, we obtain the first inequality. Now, multiplying both sides of (25) by F ( v , s ) k Γ k ( λ ) [ F ( τ , v ) ] 1 λ k , we integrate the resulting inequality with respect to v over ( a 1 , τ ) . It holds that
s J F , a 1 α k ( f g ) ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) d v [ F ( τ , v ) ] 1 λ k + s J F , a 1 α k ( 1 ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) f ( v ) g ( v ) d v [ F ( τ , v ) ] 1 λ k s J F , a 1 α k f ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) g ( v ) d v [ F ( τ , v ) ] 1 λ k + s J F , a 1 α k g ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) f ( v ) d v [ F ( τ , v ) ] 1 λ k ,
that is,
s J F , a 1 α k ( f g ) ( τ ) s J F , a 1 λ k ( 1 ) + s J F , a 1 λ k ( f g ) ( τ ) s J F , a 1 α k ( 1 ) s J F , a 1 α k f ( τ ) s J F , a 1 λ k g ( τ ) + s J F , a 1 α k g ( τ ) s J F , a 1 λ k f ( τ ) .
This completes the proof. □
Remark 3. 
If in Theorem 5 we take the kernel F ( u , s ) = u s , we obtain Theorem 3.1 of [17]. In the case that F ( u , s ) = 1 u and k = 1 from the previous result, Theorem 3.1 of [21] is obtained.
The preceding outcome can be expanded by taking into account a specific positive “weight” function, denoted as h.
Theorem 6. 
Considering two functions, f and g, synchronous over the interval [ 0 , ) , with h being non-negative, we derive the subsequent inequality for all τ > a 1 0 , α > 0 , λ > 0 :
s J F , a 1 α k ( f g h ) ( τ ) s J F , a 1 λ k ( 1 ) + s J F , a 1 α k ( 1 ) s J F , a 1 λ k ( f g h ) ( τ ) s J F , a 1 α k ( f h ) ( τ ) s J F , a 1 λ k g ( τ ) + s J F , a 1 α k ( g h ) ( τ ) s J F , a 1 λ k f ( τ ) s J F , a 1 α k h ( τ ) s J F , a 1 λ k ( f g ) ( τ ) s J F , a 1 α k ( f g ) ( τ ) s J F , a 1 λ k h ( τ ) + s J F , a 1 α k f ( τ ) s J F , a 1 λ k ( g h ) ( τ ) + s J F , a 1 α k g ( τ ) s J F , a 1 λ k ( f h ) ( τ ) .
Proof. 
Given that h 0 and the functions f and g are synchronous over the interval [ 0 , ) , we can deduce the following inequality for all u , v 0 :
( h ( v ) + h ( u ) ) ( f ( v ) f ( u ) ) ( g ( v ) g ( u ) ) 0 .
Consequently, we have
f ( u ) g ( u ) h ( u ) + f ( v ) g ( v ) h ( v ) f ( u ) g ( v ) h ( u ) + f ( v ) g ( u ) h ( u ) f ( v ) g ( v ) h ( u ) f ( u ) g ( u ) h ( v ) + f ( u ) g ( v ) h ( v ) + f ( v ) g ( u ) h ( v ) .
Multiplying both sides of (26) by F ( u , s ) k Γ k ( α ) [ F ( τ , u ) ] 1 α k , we integrate the resulting inequality with respect to u over ( a 1 , τ ) . We have
1 k Γ k ( α ) a 1 τ F ( u , s ) f ( u ) g ( u ) h ( u ) d u [ F ( τ , u ) ] 1 α k + f ( v ) g ( v ) h ( v ) k Γ k ( α ) a 1 τ F ( u , s ) d u [ F ( τ , u ) ] 1 α k g ( v ) k Γ k ( α ) a 1 τ F ( u , s ) f ( u ) h ( u ) d u [ F ( τ , u ) ] 1 α k + f ( v ) k Γ k ( α ) a 1 τ F ( u , s ) g ( u ) h ( u ) d u [ F ( τ , u ) ] 1 α k f ( v ) g ( v ) k Γ k ( α ) a 1 τ F ( u , s ) h ( u ) d u [ F ( τ , u ) ] 1 α k h ( v ) k Γ k ( α ) a 1 τ F ( u , s ) f ( u ) g ( u ) d u [ F ( τ , u ) ] 1 α k + g ( v ) h ( v ) k Γ k ( α ) a 1 τ F ( u , s ) f ( u ) d u [ F ( τ , u ) ] 1 α k + f ( v ) h ( v ) k Γ k ( α ) a 1 τ F ( u , s ) g ( u ) d u [ F ( τ , u ) ] 1 α k .
that is,
s J F , a 1 α k ( f g h ) ( τ ) + f ( v ) g ( v ) h ( v ) s J F , a 1 α k ( 1 ) g ( v ) s J F , a 1 α k ( f h ) ( τ ) + f ( v ) s J F , a 1 α k ( g h ) ( τ ) f ( v ) g ( v ) s J F , a 1 α k h ( τ ) h ( v ) s J F , a 1 α k ( f g ) ( τ ) + g ( v ) h ( v ) s J F , a 1 α k f ( τ ) + f ( v ) h ( v ) s J F , a 1 α k g ( τ ) .
Now, multiplying both sides of (27) by F ( v , s ) k Γ k ( λ ) [ F ( τ , v ) ] 1 λ k , we integrate the resulting inequality with respect to v over ( a 1 , τ ) . We obtain
s J F , a 1 α k ( f g h ) ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) d v [ F ( τ , v ) ] 1 λ k + s J F , a 1 α k ( 1 ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) f ( v ) g ( v ) h ( v ) d v [ F ( τ , v ) ] 1 λ k s J F , a 1 α k ( f h ) ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) g ( v ) d v [ F ( τ , v ) ] 1 λ k + s J F , a 1 α k ( g h ) ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) f ( v ) d v [ F ( τ , v ) ] 1 λ k s J F , a α k h ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) f ( v ) g ( v ) d v [ F ( τ , v ) ] 1 λ k s J F , a 1 α k ( f g ) ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) h ( v ) d v [ F ( τ , v ) ] 1 λ k + s J F , a 1 α k f ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) g ( v ) h ( v ) d v [ F ( τ , v ) ] 1 λ k + s J F , a 1 α k g ( τ ) 1 k Γ k ( λ ) a 1 τ F ( v , s ) f ( v ) h ( v ) d v [ F ( τ , v ) ] 1 λ k .
Thus, we obtain
s J F , a 1 α k ( f g h ) ( τ ) s J F , a 1 λ k ( 1 ) + s J F , a 1 α k ( 1 ) s J F , a 1 λ k ( f g h ) ( τ ) s J F , a 1 α k ( f h ) ( τ ) s J F , a 1 λ k g ( τ ) + s J F , a 1 α k ( g h ) ( τ ) s J F , a 1 λ k f ( τ ) s J F , a 1 α k h ( τ ) s J F , a 1 λ k ( f g ) ( τ ) s J F , a 1 α k ( f g ) ( τ ) s J F , a 1 λ k h ( τ ) + s J F , a 1 α k f ( τ ) s J F , a 1 λ k ( g h ) ( τ ) + s J F , a 1 α k g ( τ ) s J F , a 1 λ k ( f h ) ( τ ) .
Remark 4. 
If in the previous theorem we take the kernel F ( u , s ) = u s , this is reduced to Theorem 3.2 of [17]. Analogously with F ( u , s ) = 1 u and k = 1 in this result, we obtain Theorem 3.2 of [21].
If in Theorem 6 we consider α = λ , then we have the following results.
Corollary 1. 
Let f and g be two synchronous functions on [ 0 , ) , h 0 . Then, for all τ > a 1 0 , α > 0 , we obtain the following inequality:
s J F , a 1 α k ( f g h ) ( τ ) s J F , a 1 α k ( f h ) ( τ ) s J F , a 1 α k g ( τ ) + s J F , a 1 α k ( g h ) ( τ ) s J F , a 1 α k f ( τ ) s J F , a 1 α k h ( τ ) s J F , a 1 α k ( f g ) ( τ ) .
Remark 5. 
If in the previous result F ( u , s ) = u s , we have Corollary 3.3 of [17].
More refined outcomes can be achieved by introducing supplementary constraints on the function h in the preceding theorem.
Theorem 7. 
Consider three monotonically increasing functions, denoted as f, g, and h, defined over the interval [ 0 , ) . These functions fulfill the subsequent inequality for all u , v [ a 1 , τ ] :
( f ( v ) f ( u ) ) ( g ( v ) g ( u ) ) ( h ( v ) h ( u ) ) 0 .
Thus, for all τ > a 1 0 , α > 0 , λ > 0 , we have that
s J F , a 1 α k ( f g h ) ( τ ) s J F , a 1 λ k ( 1 ) s J F , a 1 α k ( 1 ) s J F , a 1 λ k ( f g h ) ( τ ) s J F , a 1 α k ( f h ) ( τ ) s J F , a 1 λ k g ( τ ) + s J F , a 1 α k ( g h ) ( τ ) s J F , a 1 λ k f ( τ ) s J F , a 1 α k h ( τ ) s J F , a 1 λ k ( f g ) ( τ ) + s J F , a 1 α k ( f g ) ( τ ) s J F , a 1 λ k h ( τ ) s J F , a 1 α k f ( τ ) s J F , a 1 λ k ( g h ) ( τ ) s J F , a 1 α k g ( τ ) s J F , a 1 λ k ( f h ) ( τ ) .
Proof. 
We use the same arguments as in the proof of Theorem 6. □
An inequality concerning the squares of functions f and g can be expressed in the following manner.
Theorem 8. 
Consider functions f and g defined over the interval [ 0 , ) . For any values of τ > a 1 0 , α > 0 , and λ > 0 , the ensuing set of inequalities in terms of integrals holds:
s J F , a 1 α k f 2 ( τ ) s J F , a 1 λ k ( 1 ) + s J F , a 1 α k ( 1 ) s J F , a 1 λ k g 2 ( τ ) 2 s J F , a 1 α k f ( τ ) s J F , a 1 λ k g ( τ ) .
s J F , a 1 α k f 2 ( τ ) s J F , a 1 λ k g 2 ( τ ) + s J F , a 1 λ k f 2 ( τ ) s J F , a 1 α k g 2 ( τ ) 2 s J F , a 1 α k ( f g ) ( τ ) s J F , a 1 λ k ( f g ) ( τ )
Proof. 
Since ( f ( u ) g ( v ) ) 2 0 , we have
f 2 ( u ) + g 2 ( v ) 2 f ( u ) g ( v ) .
Now, if we multiply both sides of inequality (30) by F ( u , s ) k Γ k ( α ) [ F ( τ , u ) ] 1 α k and F ( v , s ) k Γ k ( λ ) [ F ( τ , v ) ] 1 λ k , subsequently integrating the result obtained in terms of u and v over the interval ( a 1 , τ ) , respectively, we arrive at expression (28).
Furthermore, since ( f ( u ) g ( v ) f ( v ) g ( u ) ) 2 0 , consequently, employing the identical reasoning as previously, we obtain (29). □
Remark 6. 
Theorem 3.5 of [17] is obtained from the previous result, making F ( u , s ) = u s .
If we consider α = λ , we obtain the following consequence.
Corollary 2. 
Let f and g be on [ 0 , ) ; then, for all τ > a 1 0 , α > 0 , we obtain
s J F , a 1 α k ( 1 ) [ s J F , a 1 α k f 2 ( τ ) + s J F , a 1 α k g 2 ( τ ) ] 2 s J F , a 1 α k f ( τ ) s J F , a 1 α k g ( τ ) ,
and
s J F , a 1 α k f 2 ( τ ) s J F , a 1 α k g 2 ( τ ) [ s J F , a 1 α k ( f g ) ( τ ) ] 2 .
A result in a different direction is that which shows the following result.
Theorem 9. 
Let f : R R with f ¯ ( u ) = a 1 u F ( τ , s ) f ( τ ) d τ , u > a 1 0 , s 1 . Then, for α k > 0 we have
s J F , a 1 α + k k f ( u ) = 1 k s J F , a 1 α k f ¯ ( u ) .
Proof. 
Here,
s J F , a 1 α k f ¯ ( u ) = 1 k Γ k ( α ) a 1 u F ( τ , s ) F ( u , τ ) α k 1 a 1 τ F ( z , s ) f ( z ) d z d τ .
Then, by the Dirichlet formula, we see that the last expression becomes
1 k Γ k ( α ) a 1 u F ( z , s ) f ( z ) z u F ( τ , s ) F ( u , τ ) α k 1 d τ d z
= 1 α Γ k ( α ) a 1 u F ( z , s ) f ( z ) F ( u , z ) α k d z
= 1 Γ k ( α + k ) a 1 u F ( z , s ) f ( z ) F ( u , z ) α k d z
= k s J F , a 1 α + k k f ( u ) .
This complete the proof. □
Remark 7. 
Theorem 3.7 of [17] is obtained from this result if we consider the kernel F ( u , s ) = u s .

2. Applications

Following the idea presented in Example 1, we can obtain various inequalities in terms of other integral operators, fractional or not. In [22], the following functional was considered:
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
From Theorem 1, with F 1 and α = k = 1 , we have a direct estimation of (37). On the other hand, if we take F 1 and k = 1 , it is clear that Theorem 3.1 of [23] is a particular case of our result. Under the last assumption, we can easily formulate a more general result than Theorem 4 of [24] and all the results of [25].
The generality of our results can also be checked if we apply our integral operator to the results of [26], which can be easily generalized, as readers can check if we consider F ( τ , s ) = ( τ a 1 ) 1 s and F ( τ , s ) = ( a 2 τ ) 1 s for the left- and right-sided integrals.

3. Conclusions and Recommendations

Within this research, we introduce a comprehensive formulation of the Riemann–Liouville fractional integral formulation, encompassing numerous integral operators documented in the existing literature. Within this framework, we unveil a variety of integral inequalities that extend the scope of various well-known inequalities.
We aim to emphasize the robustness of Definition 7, elucidating the following points. If we consider the kernel F ( τ , s ) = τ 1 s , we obtain a variant of the (k,s)-Riemann–Liouville fractional integral [17]:
a 1 s I u α f ( u ) = ( 2 s ) 1 α k k Γ k ( α ) a 1 u ( u 2 s τ 2 s ) α k 1 τ 1 s f ( τ ) d τ .
This opens up a wide range of possibilities in obtaining new integral inequalities.
On the other hand, taking into account some recent results (see, for example, [27,28]), this integral operator in our work, and its corresponding differential operator, can be used in investigations related to very general fractional differential equations.

Author Contributions

J.G.G.D., J.E.N.V. and E.E.P.R. contributed equally and significantly to the preparation and writing of this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Hardy, G.H.; Littlewood, J.E.; Pólya, G. Inequalities; Cambridge University Press: Cambridge, MA, USA, 1934. [Google Scholar]
  2. Galeano, J.; Nápoles, J.; Pérez, E. New Hermite-Hadamard inequalities in the framework of generalized fractional integrals. Ann. Univ. Craiova Math. Comput. Sci. Ser. 2021, 48, 319–327. [Google Scholar] [CrossRef]
  3. Galeano, J.; Loreda, J.; Nápoles, J.; Pérez, E. Certain integral inequalities of Hermite-Hadamard type for h-convex functions. JMCSA 2021, 7, 129–140. [Google Scholar]
  4. Galeano, J.; Nápoles, J.; Pérez, E. Several integral inequalities for generalized Riemann–Liouville fractional operators. Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 2021, 70, 269–278. [Google Scholar] [CrossRef]
  5. Galeano, J.; Nápoles, J.; Pérez, E. A note on some integral inequalities in a generalized framework. IJAMAS 2021, 60, 45–52. [Google Scholar]
  6. Galeano, J.; Nápoles, J.; Pérez, E.; Vivas, M. The Minkowski Inequality for Generalized Fractional Integrals. AMIS 2021, 15, 1–7. [Google Scholar]
  7. Qi, F.; Guo, B.N. Integral representations and complete monotonicity of remainders of the Binet and Stirling formulas for the gamma function. Rev. R Acad. Cienc. Exactas Fís. Nat. Ser. A Math. 2017, 111, 425–434. [Google Scholar] [CrossRef]
  8. Rainville, E.D. Special Functions; Macmillan Co.: New York, NY, USA, 1960. [Google Scholar]
  9. Yang, Z.H.; Tian, J.F. Monotonicity and inequalities for the gamma function. J. Inequal. Appl. 2017, 2017, 317. [Google Scholar] [CrossRef]
  10. Yang, Z.H.; Tian, J.F. Monotonicity and sharp inequalities related to gamma function. J. Math. Inequal. 2018, 12, 1–22. [Google Scholar] [CrossRef]
  11. Díaz, R.; Pariguan, E. On hypergeometric functions and Pochhammer k-symbol. Divulg. Mat. 2007, 15, 179–192. [Google Scholar]
  12. Mubeen, S.; Habibullah, G.M. K-fractional integrals and applications. Int. J. Contemp. Math. Sci. 2012, 7, 89–94. [Google Scholar]
  13. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies; Elsevier: New York, NY, USA, 2006; Volume 204. [Google Scholar]
  14. 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]
  15. Kwun, Y.C.; Farid, G.; Nazeer, W.; Ullah, S.; Kang, S.M. Generalized Riemann–Liouville k-fractional integrals associated with Ostrowski type inequalities and error bounds of Hadamard inequalities. IEEE Access 2018, 6, 64946–64953. [Google Scholar] [CrossRef]
  16. Rashid, S.; Hammouch, Z.; Kalsoom, H.; Ashraf, R.; Chu, Y.M. New Investigation on the Generalized K-Fractional Integral Operators. Front. Phys. 2020, 8, 25. [Google Scholar] [CrossRef]
  17. Sarikaya, M.Z.; Dahmani, Z.; Kiris, M.E.; Ahmad, F. (k,s)-Riemann–Liouville fractional integral and applications. HJMS 2016, 45, 77–89. [Google Scholar] [CrossRef]
  18. Holambe, T.L.; Ul-Haque, M.M. A remark on semigroup property in fractional calculus. IJMCAR 2014, 4, 27–32. [Google Scholar]
  19. Baleanu, D.; Machado, J.A.T.; Luo, C.J. Fractional Dynamic and Control; Springer: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
  20. Dubey, R.S.; Goswami, P. Some fractional integral inequalities for the Katugampola integral operator. AIMS Math. 2019, 4, 193–198. [Google Scholar] [CrossRef]
  21. Chinchane, V.L.; Pachpatte, D.B. A note on some fractional integral inequalities via Hadamard integral. JFCA 2013, 4, 125–129. [Google Scholar]
  22. Chebyshev, P.L. Sur les expressions approximatives des integrales definies par les autres prises entre les mêmes limites. Proc. Math. Soc. Charkov 1982, 2, 93–98. [Google Scholar]
  23. Belarbi, S.; Dahmani, Z. On some new fractional integral inequality. J. Inequal. Pure Appl. Math. 2009, 10, 5. [Google Scholar]
  24. Alsalami, O.M.; Sahoo, S.K.; Tariq, M.; Shaikh, A.A.; Cesarano, C.; Nonlaopon, K. Some New Fractional Integral Inequalities Pertaining to Generalized Fractional Integral Operator. Symmetry 2022, 14, 1691. [Google Scholar] [CrossRef]
  25. Jenber, D.; Haile, M.; Gizachew, A. Gizachew, Chebyshev Type Inequalities for the Riemann–Liouville Variable-Order Fractional Integral Operator. Preprints 2021, 2021010310. [Google Scholar] [CrossRef]
  26. Qi, F.; Habib, S.; Mubeen, S.; Naeem, M.N. Generalized k-fractional conformable integrals and related inequalities. AIMS Math. 2019, 4, 343–358. [Google Scholar] [CrossRef]
  27. Patel, U.D.; Todorcevic, V.; Radojevic, S.; Radenovic, S. Best Proximity Point for ΓτF-Fuzzy Proximal Contraction. Axioms 2023, 12, 165. [Google Scholar] [CrossRef]
  28. Patel, U.D.; Radenovic, S. An Application to Nonlinear Fractional Differential Equation via α-ΓF-Fuzzy Contractive Mappings in a Fuzzy Metric Space. Mathematics 2022, 10, 2831. [Google Scholar] [CrossRef]
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

Galeano Delgado, J.G.; Nápoles Valdés, J.E.; Pérez Reyes, E.E. On a General Formulation of the Riemann–Liouville Fractional Operator and Related Inequalities. Mathematics 2023, 11, 3565. https://doi.org/10.3390/math11163565

AMA Style

Galeano Delgado JG, Nápoles Valdés JE, Pérez Reyes EE. On a General Formulation of the Riemann–Liouville Fractional Operator and Related Inequalities. Mathematics. 2023; 11(16):3565. https://doi.org/10.3390/math11163565

Chicago/Turabian Style

Galeano Delgado, Juan Gabriel, Juan Eduardo Nápoles Valdés, and Edgardo Enrique Pérez Reyes. 2023. "On a General Formulation of the Riemann–Liouville Fractional Operator and Related Inequalities" Mathematics 11, no. 16: 3565. https://doi.org/10.3390/math11163565

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