Generalized notion of integral inequalities of variables

Mashael M. AlBaidani; Abdul Hamid Ganie; Asia Fahd Mohammad Almuteb

doi:10.1515/phys-2022-0070

Open Access Published by De Gruyter Open Access August 23, 2022

Generalized notion of integral inequalities of variables

Mashael M. AlBaidani , Abdul Hamid Ganie and Asia Fahd Mohammad Almuteb

From the journal Open Physics

https://doi.org/10.1515/phys-2022-0070

Abstract

The fractional structures of variables using Riemann–Liouville notion have been analyzed by various authors. The novel idea of this article is to introduce the new notion of weighted behavior on random variables using integral inequalities. In view of these, we obtain some new generalized fractional inequalities by using this new fractional integration of continuous random variables.

Keywords: random variables; fractional integral inequalities; Riemann–Liouville integral

1 Introduction

In recent times, the integral inequalities play a vital role in science, engineering, and technology. The authors are much attracted to study and analyze the structure in the fields like physics, statistics, biology, chemistry, and engineering as witnessed in refs. [1,2,3] and many others. The basic concern of fractional calculus has a straight knock on the solution of various problems of fast growing sciences to stimulate much interest in such field and to show its visibility in them. The different types of procedures and applications of fractional derivatives have been developed as can be found in refs. [4,5, 6,7,8, 9,10]. In this direction, Riemann–Liouville (RL) and Grunwald–Letnikov are most notable authors. It was Leonhard Euler in around 1720s gave the concept of how to extend the factorial to noninteger values. This developed a rich theory utilizing over the scientific world.

For a real number ℧ , the Euler gamma function Γ ( ℧ ) for ℧ ∉ { 0 , − 1 , − 2 , − 3 , … } can be expressed as an improper integral:

Γ ( ℧ ) = ∫ 0 ∞ e − t t ℧ − 1 d t .

It is observed that

Γ ( ℧ + 1 ) = ℧ ! for ℧ ∈ N ,
Γ ( ℧ + 1 ) = ℧ Γ ( ℧ ) for ℧ ∈ R ⧹ { 0 , − 1 , − 2 , − 3 , … } .

It was Grunwald–Letnikow who forwarded the definition of fractional derivative order y as follows:

(1) ℐ y [ ξ ( t ) ] = lim h → 0 1 h y ∑ r = 0 ∞ γ ( y , r ) ξ ( t + ( h − r ) h ) ,

(2) γ ( y , r ) = ( − 1 ) r Γ ( y + 1 ) r ! Γ ( y − r + 1 ) ,

where Γ is the gamma function and h is the time increment as can be found in refs. [11, 12,13,14], and many others.

The Riemann–Liouville fractional integral of order η ≥ 0 as can be seen in refs. [15,16,17] is defined as follows:

(3) ℐ 0 y = ∫ 0 t g ( τ ) d τ

and

(4) g ( τ ) = 1 Γ ( y + 1 ) [ f ( τ ) ( t − τ ) y ] .

For 0 < y < 1 , we see from (2) that

(5) γ ( y , 0 ) = 1

and

(6) − ∑ r = 1 ∞ γ ( y , r ) = 1 .

Using the notion of theory of probability concept, we have following:

Using (5) the “present” (i.e., ξ ( 0 ) ) is noticed in (1) having one as probability.

The classical approach of the Riemann–Liouville fractional derivative was reformulated by Caputo and he then gave the solution of fractional differential equations under given initial conditions. It was Grunwald–Letnikov who later put forward the fractional calculus given by Leibnitz in a new way. Importance of fractional calculus by using its execution to real-world issues in applied analyses, statistics, physics, and fluid mechanics eta cetera can be witnessed in refs. [18,19,20, 21,22,23, 24,25,26, 27,28,29] and many others and the classical approach was generalized.

Now as in refs. [30,31, 32,33,34, 35,36,37, 38,39], we have following definitions in an extended sense:

Definition 1.1

The left and right Riemann–Liouville fractional integral of order κ ≥ 0 , respectively, are given by

(7) I α κ + = 1 Γ ( κ ) ∫ α u ( u − t ) κ − 1 F ( t ) d t for u > α ,

and

(8) I β κ − = 1 Γ ( κ ) ∫ u β ( u − t ) κ − 1 F ( t ) d t for u < β ,

where Γ ( κ ) = ∫ 0 ∞ e − v v κ − 1 d v is called as the Gamma function and I α 0 + = I α 0 + F ( u ) = F ( u ) .

For κ ≥ 0 and ℧ ≥ 0 , we have following well-known results:

(9) I α κ + I α ℧ + = I α κ + ℧ + I α κ + I α ℧ + = I α ℧ + I α κ + .

Also, as in refs. [30,35], and many others, we have following definitions:

Definition 1.2

For 1 ≤ p < ∞ , the space L p , k ( α , β ) of real-valued Lebesgue measurable functions F on [ α , β ] such that

(10) ‖ F ‖ L p , k ( α , β ) = ∫ α β ∣ F ( v ) ∣ p v k d v 1 p < ∞ ,

for κ ≥ 0 .

Definition 1.3

For c ∈ R and 1 ≤ p < ∞ , we consider the space X c p ( α , β ) of all real-valued Lebesgue measurable functions F on [ α , β ] such that

(11) ‖ F ‖ X c p = ∫ α β ∣ v c F ( v ) ∣ p d v v 1 p < ∞ ,

and choosing p = ∞ , we define it as follows:

(12) ‖ F ‖ X c ∞ = ess sup α ≤ v ≤ β ∣ v c F ( v ) ∣ .

Remark 1.4

By choosing c = ( k + 1 ) p with 1 ≤ p < ∞ , k ≥ 0 , then X c p ( α , β ) gets coincide to L p , k ( α , β ) -space, and when we assume c = 1 p for 1 ≤ p < ∞ then space X c p ( α , β ) reduced to the classical space L p ( α , β ) .

Definition 1.5

Let F ∈ L 1 , s and k ≥ 0 , the generalized Riemann–Liouville fractional integrals + I a κ , s and − I a κ , s with order κ ≥ 0 are given by

(13) I α κ , s + = ( s + 1 ) 1 − κ Γ ( κ ) ∫ α v ( v s + 1 − t s + 1 ) κ − 1 t s F ( t ) d t for v > a .

(14) I β κ , s − = ( s + 1 ) 1 − κ Γ ( κ ) ∫ v β ( v s + 1 − t s + 1 ) κ − 1 t s F ( t ) d t for β > v .

It is observed that the integral formulas given by (13) and (14) are, respectively, known as right generalized Riemann–Liouville integral and left generalized Riemann–Liouville fractional integral.

Throughout the article, random variable of X will be abbreviated by r.v. and ℧ : [ α , β ] → R + as a positive continuous function.

Following the authors [10,11,12, 13,14,15, 16,36,37, 38,39,40], we have following generalized definitions:

Definition 1.6

Let X be a r.v. having a positive p.d.f. F given on [ α , β ] . Then, for s ≥ 0 and α < ς ≤ β , the ℧ -weighted fractional expectation function of order κ is defined as follows:

(15) E X , κ , ℧ ( ς ) = I α κ , s + [ ς ℧ F ( ς ) ] = ( s + 1 ) 1 − κ Γ ( κ ) ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 t s + 1 ℧ ( t ) F ( t ) d t .

Definition 1.7

We define the ℧ -weighted fractional expectation for a r.v. X − E ( X ) of order κ as follows:

(16) E X − E ( X ) , κ , ℧ ( ς ) = ( s + 1 ) 1 − κ Γ ( κ ) ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 × ( t − E ( X ) ) ℧ ( t ) t s F ( t ) d t .

Note by choosing ς = β , the aforementioned definitions reduces to following:

Definition 1.8

Let X be a r.v. with a positive p.d.f. F defined on [ α , β ] . Then, for s ≥ 0 , we define the ℧ -weighted fractional expectation function of order κ as follows:

(17) E X , κ , ℧ , ℧ ( ς ) = ( s + 1 ) 1 − κ Γ ( κ ) ∫ α β ( β s + 1 − t s + 1 ) κ − 1 × t s + 1 ℧ ( t ) F ( t ) d t .

Definition 1.9

For mathematical expectation E ( X ) of r.v. X having a positive p.d.f. F . Then, on [ α , β ] , s ≥ 0 and α < ς ≤ β , the ℧ -weighted fractional variance function of order κ is defined as follows:

(18) σ X , κ , ℧ 2 ( ς ) = I α κ , s + [ ( ς − E ( X ) ) 2 ℧ F ( ς ) ] = ( s + 1 ) 1 − κ Γ ( κ ) ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 ( t − E ( X ) ) 2 t s × ℧ ( t ) F ( t ) d t .

Definition 1.10

If ς = β , then ℧ -weighted fractional variance function of order κ is given as follows:

(19) σ X , κ , ℧ 2 ( ς ) = ( s + 1 ) 1 − κ Γ ( κ ) ∫ α β ( β s + 1 − t s + 1 ) κ − 1 × ( t − E ( X ) ) 2 t s ℧ ( t ) F ( t ) d t .

We have following important points:

Remark 1.11

(D1): Choosing s = 0 and κ = 1 and ℧ ( t ) = 1 for every t ∈ [ α , β ] in Definition 1.6, we get E X , 1 , 1 = = E ( X ) as the classical expectation of r.v. X .

(D2): Setting s = 0 and κ = 1 and ℧ ( t ) = 1 for every t ∈ [ α , β ] in Definition 1.8, we get σ X , 1 , 1 2 = σ 2 ( X ) = ∫ α β ( t − E ( X ) ) 2 F ( t ) d t as classical variance of r.v. X .

(D3): Setting κ = 1 and ℧ ( t ) = 1 for every t ∈ [ α , β ] , we get the well-known result I κ [ F ( β ) ] = 1 .

2 Main results

This section will be concerning the new generalization of outcomes of continuous r.v. having fractional integral order.

Theorem 2.1

Let X be a r.v. with p.d.f. F : [ α , β ] → R + . Then for each α < ς ≤ β , κ ≥ 0 and s ≥ 0 , we see

(i) the inequality

(20) I α κ , s + [ ℧ F ( ς ) ] σ X , κ , ℧ 2 ( ς ) − ( E X − E ( X ) , κ , ℧ ( ς ) ) 2 ≤ ‖ F ‖ ∞ 2 ( s + 1 ) 1 − κ ( ς s + 1 − α s + 1 ) κ Γ ( κ + 1 ) I α κ , s + [ ℧ ( ς ) ς 2 s + 2 ] − ( I α κ , s + [ ℧ ( ς ) ς ] ) 2

holds provided F ∈ L ∞ [ α , β ] and

(ii) the inequality

(21) I α κ , s + [ ℧ F ( ς ) ] σ X , κ , ℧ 2 ( ς ) − ( E X − E ( X ) , κ , ℧ ( ς ) ) 2 ≤ 1 2 ( ς s + 1 − α s + 1 ) 2 ( I α κ , s + [ ℧ ( ς ) ς ] ) 2

holds.

Proof

Define a function Q for t , m ∈ ( α , ς ) , α < ς ≤ β as follows:

(22) Q ( t , m ) = ( Q 1 ( t ) − Q 1 ( m ) ) ( Q 2 ( t ) − Q 2 ( m ) ) ,

where κ ≥ 0 .

Now multiplying (22) by ( ς s + 1 − t s + 1 ) κ − 1 Γ ( κ ) t s p ( t ) both sides, where the p is a function p : [ α , β ] → R + with t ∈ ( α , ς ) , and then integrating the resulting identity from α to ς and have

(23) ( s + 1 ) 1 − κ Γ ( κ ) ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 p ( t ) Q ( t , m ) t s d t = I α , ℧ κ , s + [ p Q 1 Q 2 ( ς ) ] − Q 2 ( m ) I α , ℧ κ , s + [ p Q 1 ( ς ) ] − Q 1 ( m ) I α , ℧ κ , s + [ p Q 2 ( ς ) ] + Q 1 ( m ) Q 2 ( m ) I α , ℧ κ , s + [ p ( ς ) ] .

Now multiplying (23) by ( ς s + 1 − m s + 1 ) κ − 1 Γ ( κ ) p ( m ) m s for m ∈ ( α , ς ) , and then integrating the resulting identity over ( α , ς ) with respect to m , we see

(24) ( s + 1 ) 2 − 2 κ Γ 2 ( κ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 × ( ς s + 1 − m s + 1 ) κ − 1 p ( t ) p ( m ) Q ( t , m ) t s m s d t d m = 2 I α , ℧ κ , s + [ p ( ς ) ] I α , ℧ κ , s + [ p Q 1 Q 2 ( ς ) ] − 2 I α , ℧ κ , s + [ p Q 1 ( ς ) ] I α , ℧ κ , s + [ p Q 2 ( ς ) ] .

Now in (24), choosing p ( ς ) = ℧ ( ς ) F ( ς ) and Q 1 ( ς ) = Q 2 ( ς ) = ς s + 1 − E ( X ) , ς ∈ ( α , β ) , we see

(25) ( s + 1 ) 2 − 2 κ Γ 2 ( κ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 ( ς s + 1 − m s + 1 ) κ − 1 × ℧ ( t ) F ( t ) ℧ ( m ) F ( m ) ( t s + 1 − m s + 1 ) 2 t s m s d t d m = 2 I α κ , s + [ ℧ F ( ς ) ] I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] − 2 [ I α κ , s + ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] .

But, on the other hand, we see

(26) ( s + 1 ) 2 − 2 κ Γ 2 ( κ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 ( ς s + 1 − m s + 1 ) κ − 1 × F ( t ) ℧ ( t ) F ( m ) ℧ ( m ) ( t s + 1 − m s + 1 ) 2 t s m s d t d m ≤ ‖ F ‖ ∞ 2 2 ( s + 1 ) 1 − κ ( ς s + 1 − α s + 1 ) κ Γ ( κ + 1 ) I α κ , s + [ ℧ ( ς ) ς 2 s + 2 ] − 2 ( I α κ , s + [ ℧ ( ς ) ς ] ) 2 ) .

Consequently, using definitions 1.6, 1.7, and 1.9, the part (i) of the result follows from (25) and (26).

(ii) We have

(27) ( s + 1 ) 2 − 2 κ Γ 2 ( κ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 ( ς s + 1 − m s + 1 ) κ − 1 × F ( t ) F ( m ) ς ( t ) ς ( m ) ( t s + 1 − m s + 1 ) 2 t s m s d t d m ≤ sup t , m ∈ [ α , t ] ∣ ( t s + 1 − m s + 1 ) ∣ 2 ( I α κ , s + [ ℧ F ( ς ) ] ) 2 = ( t s + 1 − α s + 1 ) 2 ( I α κ , s + [ ℧ F ( ς ) ] ) 2 .

Consequently, from (25) and (27), we get (21) as desired.□

Corollary 2.2

If ℧ ( t ) = 1 for every t ∈ [ α , β ] and κ ≥ 0 , the continuous r.v. X having p.d.f. F in [ α , β ] , then,

(i) the inequality

(28) β s + 1 − α s + 1 Γ ( κ ) σ X , κ , ℧ 2 − E X , κ 2 ≤ ‖ F ‖ ∞ 2 ( β s + 1 − α s + 1 ) 2 κ + 2 Γ ( κ + 1 ) Γ ( κ + 3 ) − ( β s + 1 − α s + 1 ) κ + 1 Γ ( κ + 1 ) 2

gets satisfied if s ≥ 0 and F ∈ L ∞ [ α , β ] ;

(ii) the inequality

(29) β s + 1 − α s + 1 Γ ( κ ) σ X , κ , ℧ 2 − E X , κ 2 ≤ 1 2 ( β s + 1 − α s + 1 ) 2 κ Γ 2 ( κ )

gets satisfied for any s ≥ 0 .

Deduction 2.3

The first part of Theorem 1 in ref. [20] will be deduced if we set κ = 1 , ℧ ( t ) = 1 for every t ∈ [ α , β ] and s = 0 in (i) of Corollary 2.2.

Deduction 2.4

The last part of Theorem 1 in ref. [20] will be deduced if we set κ = 1 , ℧ ( t ) = 1 for every t ∈ [ α , β ] and s = 0 in (ii) of Corollary 2.2.

Theorem 2.5

For a r.v. X having a p.d.f. F : [ α , β ] → R + . Then

(i) for all α < ς ≤ β , κ ≥ 0 , ℧ ≥ 0 and s ≥ 0 , we have

(30) I α κ , s + [ ℧ F ( ς ) ] σ X , ℧ 2 ( ς ) + I α ℧ , s + [ ℧ F ( ς ) ] σ X , κ , ℧ 2 ( ς ) − 2 ( E X − E ( X ) , κ , ℧ ( ς ) ) ( E X − E ( X ) , ℧ ( ς ) ) ≤ ‖ F ‖ ∞ 2 ( s + 1 ) 1 − κ ( ς s + 1 − α s + 1 ) κ Γ ( κ + 1 ) I α ℧ , s + [ ℧ ς 2 s + 2 ] + ‖ F ‖ ∞ 2 ( s + 1 ) 1 − ℧ ( ς s + 1 − α s + 1 ) ℧ Γ ( ℧ + 1 ) I α κ , s + [ ℧ ς 2 s + 2 ] − 2 ( I α κ , s + [ ℧ ς ] ) ( I α ℧ , s + [ ℧ ς ] ) )

holds for F ∈ L ∞ [ α , β ] and

(ii) the inequality

(31) I α κ , s + [ ℧ F ( ς ) ] σ X , ℧ 2 ( ς ) + I α ℧ , s + [ ℧ F ( ς ) ] σ X , κ , ℧ 2 ( ς ) − 2 ( E X − E ( X ) , κ , ℧ ( ς ) ) ( E X − E ( X ) , ℧ ( ς ) ) ≤ ( ς s + 1 − α s + 1 ) ( I α κ , s + [ ℧ ς ] ) ( I α ℧ , s + [ ℧ ς ] )

holds for any α < ς ≤ β , κ ≥ 0 , ℧ ≥ 0 and s ≥ 0 .

Proof

From (22), we can write

(32) ( s + 1 ) 2 − κ − ℧ Γ ( κ ) Γ ( ℧ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 ( ς s + 1 − m s + 1 ) κ − 1 × p ( t ) p ( m ) Q ( t , m ) t s m s d t d m = I α , ℧ κ , s + [ p ( ς ) ] I α , ℧ ℧ , s + [ p Q 1 H 2 ( ς ) ] + I α , ℧ ℧ , s + [ p ( ς ) ] I α , ℧ κ , s + [ p Q 1 H 2 ( ς ) ] − I α , ℧ κ , s + [ p H 2 ( ς ) ] I α , ℧ ℧ , s + [ p Q 1 ( ς ) ] − I α , ℧ ℧ , s + [ p H 2 ( ς ) ] I α , ℧ κ , s + [ p Q 1 ( ς ) ] .

For ς ∈ ( α , β ) , put p ( ς ) = ℧ ( ς ) F ( ς ) , Q 1 ( ς ) = Q 2 ( ς ) = ς s + 1 − E ( X ) in (32), we see

(33) ( s + 1 ) 2 − κ − ℧ Γ ( κ ) Γ ( ℧ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 ( ς s + 1 − m s + 1 ) κ − 1 × ℧ ( t ) F ( t ) ℧ ( m ) F ( m ) ( t s + 1 − m s + 1 ) 2 t s m s d t d m = I α κ , s + [ ℧ F ( ς ) ] I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] + I α ℧ , s + [ ℧ F ( ς ) ] I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] − 2 I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] I α ℧ , s + [ ℧ F ( ς ) ( t s + 1 − E ( X ) ) ] .

But we also see

(34) ( s + 1 ) 2 − κ − ℧ Γ ( κ ) Γ ( ℧ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 ( ς s + 1 − m s + 1 ) κ − 1 × ℧ ( t ) F ( t ) ℧ ( m ) F ( m ) ( t s + 1 − m s + 1 ) 2 t s m s d t d m ≤ ‖ F ‖ ∞ 2 ( s + 1 ) 1 − κ ( ς s + 1 − α s + 1 ) κ Γ ( κ + 1 ) I α ℧ , s + [ ℧ ς 2 s + 2 ] + ( s + 1 ) 1 − ℧ ( ς s + 1 − α s + 1 ) ℧ Γ ( ℧ + 1 ) I α κ , s + [ ℧ ς 2 s + 2 ] − 2 ( I α κ , s + [ ℧ ς ] ) ( I α ℧ , s + [ ℧ ς ] ) ] .

Consequently, using this and by involving (33) will establish part (i) of the result.

Now to establish (ii), we shall make use of following

sup t , m ∈ [ α , ς ] ∣ ( t s + 1 − m s + 1 ) ∣ 2 = ( ς s + 1 − α s + 1 ) 2

and get

( s + 1 ) 2 − κ − ℧ Γ ( κ ) Γ ( ℧ ) ∫ α ς ∫ α ς ( ς s + 1 − t s + 1 ) κ − 1 × ℧ ( t ) g ( t ) ℧ ( m ) g ( m ) ( t s + 1 − m s + 1 ) 2 t s m s d t d m ≤ ( ς s + 1 − α s + 1 ) 2 ( I α κ , s + [ ℧ ς ] ) ( I α ℧ , s + [ ℧ ς ] ) .

Thus, using this equation and applying (33) will prove part (ii), i.e., (31) is proved.□

Theorem 2.6

Let X be a r.v. having p.d.f. g : [ α , β ] → R + . Then

(35) I α κ , s + [ ℧ F ( ς ) ] σ X , κ , ℧ 2 ( ς ) − ( E X − E ( X ) , κ , ℧ ( ς ) ) 2 ≤ 1 4 ( β s + 1 − α s + 1 ) 2 ( I α κ , s + [ ℧ ς ] ) 2

for every α < ς ≤ β , κ ≥ 0 and s ≥ 0 .

Proof

From Theorem 3.1 of ref. [40], one can write

(36) 0 ≤ ∣ I α κ , s + [ p ( ς ) ] I α κ , s + [ p Q 1 2 ( ς ) ] − ( I α κ , s + [ p Q 1 ( ς ) ] ) 2 ∣ ≤ 1 4 ( I α κ , s + [ p ( ς ) ] ) 2 ( ℳ − m ) 2 .

For ς ∈ [ α , β ] , we choose p ( ς ) = ℧ F ( ς ) and Q 1 ( ς ) = ς s + 1 − E ( X ) , then ℳ = β s + 1 − E ( X ) and m = α s + 1 − E ( X ) . Thus, from (36), we can have

(37) 0 ≤ I α κ , s + [ ℧ F ( ς ) ] I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] − ( I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] ) 2 ≤ 1 4 ( I α κ , s + [ ℧ F ( ς ) ] ) 2 ( β s + 1 − α s + 1 ) 2 .

This yields that

(38) I α κ , s + [ ℧ F ( ς ) ] σ X , κ , ℧ 2 ( ς ) − ( E X − E ( X ) , κ , ℧ ( ς ) ) 2 ≤ 1 4 ( β s + 1 − α s + 1 ) 2 ( I α κ , s + [ ℧ ς ] ) 2 .

This completes the proof.□

Now choosing ς = β and ℧ = 1 , we have following corollary:

Corollary 2.7

For a p.d.f. g of r.v. X , we have

( β s + 1 − α s + 1 ) κ − 1 Γ ( κ ) σ X , κ 2 ( ς ) − ( E X − E ( X ) , κ ( ς ) ) 2 ≤ 1 4 Γ 2 ( κ ) ( β s + 1 − α s + 1 ) 2 κ

for κ ≥ 0 and s ≥ 0 .

Deduction 2.8

The Theorem 3.7 of ref. [22] will be deduced if we set s = 1 and ℧ ( t ) = 1 for every t ∈ [ α , β ] in Corollary 2.7.

Theorem 2.9

For a r.v. X with p.d.f. g : [ α , β ] → R + . Then

(39) I α κ , s + [ ℧ F ( ς ) ] σ X , ℧ 2 ( ς ) + I α ℧ , s + [ ℧ F ( ς ) ] σ X , κ , ℧ 2 ( ς ) + 2 ( α s + 1 − E ( X ) ) ( β s + 1 − E ( X ) ) × I α κ , s + [ ℧ F ( ς ) ] I α ℧ , s + [ ℧ F ( ς ) ] ≤ ( α s + 1 + β s + 1 − 2 E ( X ) ) ( I α κ , s + [ ℧ F ( ς ) ] ( E X − E ( X ) , ℧ ( ς ) ) + I α β , s + [ ℧ F ( ς ) ] ( E X − E ( X ) , α ( ς ) ) )

for every α < ς ≤ β , κ ≥ 0 , ℧ ≥ 0 and s ≥ 0 .

Proof

From Theorem 3.4 of ref. [40], we can write

(40) [ I α κ , s + [ p ( ς ) ] I α ℧ , s + [ p Q 1 2 ( ς ) ] + [ I α ℧ , s + [ p ( ς ) ] I α κ , s + [ p Q 1 2 ( ς ) ] − 2 I α κ , s + [ p Q 1 ( ς ) ] I α ℧ , s + [ p Q 1 ( ς ) ] ] 2 ≤ [ ( ℳ I α κ , s + [ p ( ς ) ] − I α κ , s + [ p Q 1 ( ς ) ] ) ( I α ℧ , s + [ p Q 1 ( ς ) ] − m I α ℧ , s + [ p ( ς ) ] ) + ( I α ℧ , s + [ p Q 1 ( ς ) ] − m I α ℧ , s + [ p ( ς ) ] ) ( ℳ I α ℧ , s + [ p ( ς ) ] − I α ℧ , s + [ p Q 1 ( ς ) ] ) ] 2 .

Choosing p ( ς ) = ℧ F ( ς ) and Q 1 ( ς ) = ς s + 1 − E ( X ) in (40) yields

(41) [ I α κ , s + [ ℧ F ( ς ) ] I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] + I α ℧ , s + [ ℧ F ( ς ) ] I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] − 2 I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] ] 2 ≤ [ ℳ I α κ , s + [ ℧ F ( ς ) ] − I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] × ( I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] − m I α ℧ , s + [ ℧ F ( ς ) ] ) × ( I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] − m I α κ , s + [ ℧ F ( ς ) ] ) × ( M I α ℧ , s + [ ℧ F ( ς ) ] − I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] ) ] 2 .

Now from (33) and (41) and using the fact that the left hand side of (33) is positive, we see

(42) I α κ , s + [ ℧ F ( ς ) ] I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] + I α ℧ , s + [ ℧ F ( ς ) ] I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] − 2 I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] ≤ ℳ I α κ , s + [ ℧ F ( ς ) ] − I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] × ( I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] − m I α ℧ , s + [ ℧ F ( ς ) ] ) × ( I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] − m I α κ , s + [ ℧ F ( ς ) ] ) × ( M I α ℧ , s + [ ℧ F ( ς ) ] − I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) ] ) .

This yields us

I α κ , s + [ ℧ F ( ς ) ] I α ℧ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] + I α ℧ , s + [ F ( ς ) ] I α κ , s + [ ℧ F ( ς ) ( ς s + 1 − E ( X ) ) 2 ] ≤ ℳ ( I α κ , s + [ ℧ F ( ς ) ] ( E X − E ( X ) , ℧ ( ς ) ) + I α ℧ , s + [ ℧ F ( ς ) ( E X − E ( X ) , κ , ℧ ( ς ) ) ] ) + m ( I α κ , s + [ ℧ F ( ς ) ] ( E X − E ( X ) , ℧ ( ς ) ) + I α ℧ , s + [ ℧ F ( ς ) ( E X − E ( X ) , κ , ℧ ( ς ) ) ] ) .

Consequently, the result is established by simple calculation with utilizing the values of ℳ and m from Theorem 2.6.□

3 Conclusion

In this paper, we have presented various concepts of fractional calculus. Also, some new generalizations of outcomes for continuous random variables having fractional order have been given. Furthermore, certain definitions like ℧-weighted fractional expectation and variance, have been introduced and their various properties have been studied. Moreover, new bounds and inequalities have been established. The consequences of the results obtained in this manuscript are more general and extensive than the pre-existing known results.

Acknowledgments

The authors are thankful to the anonymous reviewers for their valuable comments and suggestions towards the improvement of the article.

Funding information: The authors state no funding involved.
Author contributions: The author have accepted responsibility for the entire content of this manuscript and approved its submission.
Conflict of interest: The authors state no conflict of interest.

References

[1] Barnett NS, Cerone P, Dragomir SS, Roumeliotis J. Some inequalities for the expectation and variance of a random variable whose PDF is n-time differentiable. J Inequalit Pure Appl Math (JIPAM). 2000;1(2):1–13. Search in Google Scholar

[2] Qi F, Li AJ, Zhao WZ, Niu DW, Cao J. Extensions of several integral inequalities. J Inequalit Pure Appl Math. 2006;7(3):1–6. Search in Google Scholar

[3] Qi F. Several integral inequalities. J Inequalit Pure Appl Math. 2000;1(2):1–9. Search in Google Scholar

[4] Agarwal P, Dragomir SS, Jleli M, Samet B. Advances in mathematical inequalities and applications. 1st ed. Birkhäuser, Singapore: Springer Nature Singapore Pte Ltd.; 2018. 978-981-13-3012-4, 978-981-13-3013-1. 10.1007/978-981-13-3013-1Search in Google Scholar

[5] Agarwal P, Jleli M, Tomar M. Certain Hermite-Hadamard type inequalities via generalized k-fractional integrals. J Inequal Appl. 2017;2017:55. 10.1186/s13660-017-1318-ySearch in Google Scholar PubMed PubMed Central

[6] Agarwal P. Some inequalities involving Hadamard-type k-fractional integral operators. Math Methods Appl Sci. 2017;40(11):3882–91. 10.1002/mma.4270. Search in Google Scholar

[7] Ali MA, Abbas M, Budak H, Agarwal P, Murtaza G, Chu Yu-M. New quantum boundaries for quantum Simpson’s and quantum Newton’s type inequalities for preinvex functions. Adv Differ Equ. 2021;2021:64. 10.1186/s13662-021-03226-xSearch in Google Scholar

[8] Ganie AH. New bounds for random variables of fractional order. Pak J Stat. 2022;38(2):211–8. Search in Google Scholar

[9] Higazy M, Hijaz H, Ganie AH, Botmart T, El-Mesady A. Theoretical analysis and computational modeling of nonlinear fractional-order-two predators mode. Results Phys. 2021;17:1–26. 10.1016/j.rinp.2021.105139Search in Google Scholar

[10] Agarwal P, Restrepo JE. An extension by means of ω-weighted classes of the generalized Riemann–Liouville k-fractional integral inequalities. J Math Inequalities. 2020;14(1):35–46. 10.7153/jmi-2020-14-03Search in Google Scholar

[11] Anastassiou GA, Hooshamandasl MR, Ghasemi A, Moftakharzadeh F. Montgomery identities for fractional integrals and related fractional inequalities. J Ineq Pure Appl Math. 2009;10(4):1–6. Search in Google Scholar

[12] Ganie AH, Saeed AM, Sadia S, Ali U. The Rayleigh-Stokes problem for a heated generalized second-graded fluid with fractional derivative: an implicit scheme via Riemann–Liouville integral. Math Probl Eng. 2022;2022. Article ID 6948461, 13 pp. 10.1155/2022/6948461Search in Google Scholar

[13] Amin R, Shah K, Ahmad H, Abdul HG, Haleem A, Botmart T. Haar wavelet method for solution of variable order linear fractional integro-differential equations. AIMS Math. 2022;7(4):5431–43. 10.3934/math.2022301Search in Google Scholar

[14] Machado JAT. A probabilistic interpretation of the fractional-order differentiation. Fract Calc Appl Anal. 2003;6(1):73–80. Search in Google Scholar

[15] Podlubny I. Geometri and physical interpretation of fractional integration and fractional differentiation. Fract Calc Appl Anal. 2002;5(4):367–86. Search in Google Scholar

[16] Das S, Pan I, Halder K, Gupta A. LQR based improved discrete PID controller design via optimum selection of weighting matrices using fractional order integral performance index. Appl Mat Model. 2013;37:4253–368. 10.1016/j.apm.2012.09.022Search in Google Scholar

[17] Ganie AH. Some new approach of spaces of non-integral order. Nonlinear Sci Appl. 2021;14(2):89–96. 10.22436/jnsa.014.02.04Search in Google Scholar

[18] Ganie AH. New approach for structural behaviour of variables. J Nonlinear Sci Appl. 2021;14:351–8. 10.22436/jnsa.014.05.05Search in Google Scholar

[19] Mehrez K, Agarwal P. New Hermite-Hadamard type integral inequalities for convex functions and their applications. J Comput Appl Math. 2019;350:274–85. 10.1016/j.cam.2018.10.022Search in Google Scholar

[20] Barnett NS, Cerone P, Dragomir SS, Roumeliotis J. Some inequalities for the dispersion of a random variable whose PDF is defined on a finite interval. J Inequalities Pure Appl Math. 2001;9(1):1–18. Search in Google Scholar

[21] Belarbi S, Dahmani Z. On some new fractional integral inequalities. J Inequalities Pure Appl Math. 2009;10(3):1–12. Search in Google Scholar

[22] Dahmani Z. New applications of fractional calculus on probabilistic random variables. Acta Math Univ Comen. 2017;86(2):299–307. Search in Google Scholar

[23] Dahmani Z. New inequalities in fractional integrals. Int J Nonlinear Sci. 2010;9(4):493–7. Search in Google Scholar

[24] Kumar P. Moment inequalities of a r.v. defined over a finite interval. J Inequalities Pure Appl Math. 2002;3(3):1–24. Search in Google Scholar

[25] Dahmani Z. Fractional integral inequalities for continuous r.v.s. Malaya J Math. 2014;2(2):172–9. Search in Google Scholar

[26] Kilbas AA, Srivastava HM, Trujillo JJ. Theory and applications of fractional differential equations. North-Holland Mathematics Studies. vol. 204. Amsterdam: Elsevier; 2006. Search in Google Scholar

[27] Blutzer RL, Torvik PJ. On the fractional calculus model of viscoelastic behaviour. J Rheol. 1996;30:133–5. 10.1122/1.549887Search in Google Scholar

[28] Jonsson T, Yngvason J. Waves and distributions. River Edge, NJ: World Scientific Publishing Co., Inc.; 1995. 10.1142/1673Search in Google Scholar

[29] Khan Z, Ahmad H. Qualitative properties of solutions of fractional differential and difference equations arising in physical models. Fractals. 2021;29(5):2140024. 10.1142/S0218348X21400247Search in Google Scholar

[30] Houas M. Certain weighted integral inequalities involving the fractional hypergeometric operators. Sci A Math Sci. 2016;27:87–97. Search in Google Scholar

[31] Liu W, Ngo QA, Huy VN. Several interesting integral inequalities. J Math Inequal. 2009;3(2):201–12. 10.7153/jmi-03-20Search in Google Scholar

[32] Sharma R, Devi S, Kapoor G, Ram S, Barnett NS. A brief note on some bounds connecting lower order moments for r.v.s defined on a finite interval. Int J Theoret Appl Sci (IJTAS). 2009;1(2):83–5. Search in Google Scholar

[33] Samko SG, Kilbas AA, Marichev OI. Fractional integrals and derivatives, theory and applications. Yverdon, Switzerland: Gordon and Breach; 1993. Search in Google Scholar

[34] Troparevsky MI, Seminara SA, Fabio MA. A review on fractional differential equations and a numerical method to solve some boundary value problems. In: Nonlinear systems-theoretical aspects and recent applications. United Kingdom: IntechOpen Limited; 2019. 10.5772/intechopen.86273. Search in Google Scholar

[35] Yıldırım H, Kırtay Z. Ostrowski inequality for generalized fractional integral and related inequalities. Malaya J Mat. 2014;2(3):322–9. Search in Google Scholar

[36] Nale AB, Panchal SK, Chinchane VL. On weighted fractional inequalities using Hadmard fractiona integral operator. Palestine J Math. 2021;10(2):614–24. 10.7153/fdc-2020-10-16Search in Google Scholar

[37] Naik PA, Owolabi K, Zu J, Naik MD. Modeling the transmission dynamics of COVID-19 pandemic in Caputo type fractional derivative. J Multiscale Model. 2021;12(3):2150006. 10.1142/S1756973721500062. Search in Google Scholar

[38] Singh A, Ganie AH, Albaidan MM. Some new inequalities using nonintegral notion of variables. Adv Math Phys. 2021;2021. Article ID 8045406, 6pp. 10.1155/2021/8045406Search in Google Scholar

[39] Naik PA, Zu J, Owolabi K. Modeling the mechanics of viral kinetics under immune control during primary infection of HIV-1 with treatment in fractional order. Physics A. 2020;545:123816. 10.1016/j.physa.2019.123816Search in Google Scholar

[40] Dahmani Z, Khameli A, Bezziou M, Sarikaya MZ. Some estimations on continuous random variables involving fractional calculus. Int J Anal Appl. 2017;1(15):8–17. Search in Google Scholar

Received: 2022-02-18

Revised: 2022-03-30

Accepted: 2022-07-10

Published Online: 2022-08-23

This work is licensed under the Creative Commons Attribution 4.0 International License.

Generalized notion of integral inequalities of variables

Abstract

1 Introduction

Definition 1.1

Definition 1.2

Definition 1.3

Remark 1.4

Definition 1.5

Definition 1.6

Definition 1.7

Definition 1.8

Definition 1.9

Definition 1.10

Remark 1.11

2 Main results

Theorem 2.1

Proof

Corollary 2.2

Deduction 2.3

Deduction 2.4

Theorem 2.5

Proof

Theorem 2.6

Proof

Corollary 2.7

Deduction 2.8

Theorem 2.9

Proof

3 Conclusion

Acknowledgments

References

Journal and Issue

Articles in the same Issue