New Computation of Unified Bounds via a More General Fractional Operator Using Generalized Mittag-Leffler Function in the Kernel

Saima Rashid,Zakia Hammouch,Rehana Ashraf and Yu-Ming Chu

1Department of Mathematics,Government College University,Faisalabad,Pakistan

2Division of Applied mathematics,Thu Dau Mot University,Thu Dau Mot City,Vietnam

3Department of Mathematics,Lahore College Women University,Jhangh Campus,Lahore,Pakistan

4Department of Mathematics,Huzhou University,Huzhou,China

ABSTRACT In the present case,we propose the novel generalized fractional integral operator describing Mittag–Leffler function in their kernel with respect to another function Φ.The proposed technique is to use graceful amalgamations of the Riemann–Liouville (RL) fractional integral operator and several other fractional operators.Meanwhile,several generalizations are considered in order to demonstrate the novel variants involving a family of positive functions n(n ∈N) for the proposed fractional operator.In order to confirm and demonstrate the proficiency of the characterized strategy, we analyze existing fractional integral operators in terms of classical fractional order.Meanwhile, some special cases are apprehended and the new outcomes are also illustrated.The obtained consequences illuminate that future research is easy to implement,profoundly efficient,viable,and exceptionally precise in its investigation of the behavior of non-linear differential equations of fractional order that emerge in the associated areas of science and engineering.

KEYWORDS Integral inequality; generalized fractional integral with respect to another function; increasing and decreasing functions; Mittag–Leffler function

1 Introduction

A study was initiated in Newton’s time, but, lately, it has captivated the consideration of numerous researchers due to its intriguing nature, known as the fractional calculus.For the previous three decades, the most charming bounds in modelling and simulation have been discovered in the frame of fractional calculus.The idea of the fractional operators has been mechanized because of the complexities related to a heterogeneous phenomenon.The fractional differential operators are equipped for catching the conduct of multidimensional media as they have diffusion processes.It was considered to be an essential device, and numerous issues can be demonstrated more appropriately and more precisely with differential equations having an arbitrary order.Calculus with fractional order is related to concrete adventures and is widely utilized in nanotechnology,optics, diseases, chaos theory and different other fields [1-8].The fractional derivatives for various sorts of equations, describe that these models have a significant job in depicting the idea of mathematical problems that are linked with science and technology, see the references [9-11].

In the present scenario, numerous significant fractional derivative and integral operators are systematically and successfully analyzed with the assistance of fractional calculus, see [10,11].Several assorted operators that have been recommended by numerous senior researchers like,Riemann, Hadamard, Antagana-Baleanu, Caputo and Fabrizio.Nevertheless, these operators have their own repressions.Recently, Abdeljawad [1] reported fractional operators are known as fractional conformable derivatives and integrals.The exponential and Mittag-Leffler functions are used as kernels by several researchers for developing new fractional techniques that provide assistance to many researchers consult the derivative to model and integrals in order to analyze the nonlocal dynamics due to the presence of nonsingular kernels and helps to find the solution for diverse classes of non-linear complex problems.Kilbas et al.[11] and Almeida [9] introduced the generalized RL and Caputo derivative operators in the sense of another function.Rashid et al.[12] proposed another novel fractional approach which comes into existence in the theory of fractional calculus, which is known as generalized proportional fractional operators with respect to another functionΨ.

Adopting the aforementioned trend, we delineate the significance of the novel fractional operator and future plan, we, in the present the framework, consider the Mittag-Leffler function,which assumes a dynamic job in portraying the idea of porous media just as establishing the several generalizations by employing more generalized fractional operator with Mittag-Leffler in their kernels.

Mathematical inequalities considered to be a significant tool in diverse areas of science and technology, among others; especially we point out the initial value problem, the stability of linear transformation, integral differential equations, and impulse equations [13-15].Variants regarding fractional integral operators are the use of noteworthy significant strategies and are also highly implemented in natural and social sciences to portray real-world problems.

Briefly, inequalities involve solid and rich communication among analysis, geometry and technology.In [16], Agarwal explored some new inequalities for Hadamard fractional integral operators.Also, Rashid et al.[17] established Hermite-Hadamard inequalities for exponentiallym-convex functions via extended Mittag Leffler function.In [18], researchers have been focused their attention in order to find the distinguished version of the reverse Minkowski inequality for quantum Hahn fractional integral operators.Set et al.[19] derived Chebyshev type inequalities by employing fractional integral operator having Mittag-Leffler function in the kernel.For more details, see [20-38] and the reference cited therein.The diverse utilities of fractional integral operators compelled us to show the speculations by using a family ofnpositive functions involving generalized fractional integrals operators with respect to another functionΨas well-known special function in their kernel.

The principal objective of this article is that we demonstrate the notations of our newly introduced operator generalized fractional integral with respect to another functionΨby introducing Mittag-Leffler function in their kernel.Also, we present the results concerning for a class of family ofn (n∈N)continuous positive decreasing functions on [υ1,υ2] by employing generalized fractional integral operator proposed by Andric [39], Salim et al.[40], Rahman et al.[41], Srivastava et al.[42], Prabhakar [43] and Riemann-Liouville fractional integral operators [44].The idea is quite new and seems to have opened new doors of investigation towards various scientific fields of research including engineering, fluid dynamics, bio-sciences, chaos, meteorology, vibration analysis,bio-chemistry, aerodynamics and many more.The authors argued that the generalized fractional integral in Hilfer sense can capture a limited number of complex problems on one hand and on the other hands it can also capture different types of complexities, thus putting these two concepts together can help us to understand the complexities of existing nature in a much better way.

2 Prelude

Here, we define the basic notion of the more generalized fractional integral operator as Mittag-Leffler function introduced in their kernel.

We begin with fractional integral operators defined by Salim and Faraj in [40] containing generalized Mittag-Leffler function in their kernels as follows:

Definition 2.1.([40]) Letν,τ,j,ϑ,z,κbe positive real numbers andω∈R.Then the generalized fractional integral operators containing Mittag-Leffler function for a real-valued continuous functionΦare defined by

whereis the generalized Mittag-Leffler function defined as

Andric et al.[39], defined the following fractional integral operators containing an extended generalized Mittag-Leffler function in their kernels:

Definition 2.2.([39]) Letν,τ,j,ϑ,ε∈C,R(τ),R(j)＞0, R(ε)＞R(ϑ)＞0, withq≥0,ν,z ＞0 and 0＜κ≤z+ν.LetΦ∈L1([η1,η2])andz∈[η1,η2].Then the generalized fractional integral operatorsare defined by

whereis the generalized Mittag-Leffler function defined as

is the extended generalized Mittag-Leffler function.

Now we present the concept of the generalized fractional integral operator in the Hilfer sense having Mittag-Leffler function in the kernel as follows:

Definition 2.3.LetΦ:[η1,η2] →R, 0＜η1＜η2be a function such thatΦbe a positive and integrable andΨbe a differentiable and strictly increasing.Also, letν,τ,j,ω,ϑ,∈∈C,R(τ),R(j)＞0,R(∈)＞R(ϑ)＞0 withq≥0,ν,z ＞0 and 0＜κ≤z+ν.Then fors∈[η1,η2], the integral operatorsare stated as:

Remark 2.1.Definition 2.3 is the generalizations of the several noteworthy exisiting integrals are stated as follows:

(1) LettingΨ(s)=sandq=0, then the fractional integral operator (7) and (8) leads to the operators defined by Salim et al.[40].

(2) LettingΨ(s)=sandj=z=1, then the fractional integral operator (7) and (8) leads to the operators defined by Rahman et al.[41].

(3) LettingΨ(s)=s,q=0 andj=z=1, then the fractional integral operator (7) and (8) leads to the operators defined by Srivastava et al.[42].

(4) LettingΨ(s)=s,q=0 andj=z=κ=1, then the fractional integral operator (7) and (8)leads to the operators defined by Prabhakar [43].

(5) LettingΨ(s)=sandω=q=0 then the fractional integral operator (7) and (8) leads to the Riemann-Liouville fractional integral operators [44].

3 Main Results

In this section, we present the novel generalizations pertaining to the more generalized fractional integral operator using the Mittag-Leffler function in the kernel.

Theorem 3.1.SupposeΦbe a continuous positive decreasing function on [η1,η2] withη1＜s≤η2,σ ＞0 andς≥α ＞0.SupposeΨbe a differentiable and strictly increasing.Then the more generalized fractional integral operator defined in (7), we have

Proof.Using the hypothesis given in Theorem 3.1, we have

whereσ ＞0,ς≥α ＞0,η1＜s≤η2andβ,δ∈[η1,s].

By (10), we have

Let us define a function

Accordingly, the function J(s,β)is positive for allβ∈(η1,s),η1＜s≤η2, as every term of the supposed function is positive and explained in Theorem 3.1.Therefore, multiplying both sides of(11) with

we have

Integrating on both sides with respect toβfromη1tos, we have

It follows that

Multiplying (14) by

forδ∈(η1,s),η1＜s≤η2, and integrating the subsequent identity w.r.tδfromη1tosshows

Dividing the above inequality bywe get the desired inequality (9).

Some special remarkable cases of Theorem 3.1 are stated as follows:

Remark 3.1.In Theorem 3.1:

I.TakeΨ(s)=s.Then we get a new result for generalized fractional integral operator having Mittag-Leffler in the kernel as follows:

II.TakeΨ(s)=salong withq=0 Then we have a new result

III.TakeΨ(s)=salong withj=z=1 Then we have a new result

IV.TakeΨ(s)=s,q=0 along withj=z=1 Then we have a new result

V.TakeΨ(s)=s,q=0 along withj=z=κ=1 Then we have a new result

Remark 3.2.IfΨ(s)=s,τ=1 andω=q=0, then Theorem 3.1 reduces to Theorem 3 of [45].Moreover, the inequality (15) will reverse ifΦis an increasing function on [η1,η2].

Theorem 3.2.SupposeΦbe a continuous positive decreasing function on [η1,η2] withη1＜s≤η2,σ ＞0 andς≥α ＞0.SupposeΨbe a differentiable and strictly increasing.Then the more generalized fractional integral operator defined in (7), we have

Proof.Taking product on both sides of (14) by

forδ∈(η1,r),η1＜s≤η2and integrating the subsequent identity w.r.tδfromη1tosshows

Hence, dividing (16) by

the proof of (15) is complete.

Remark 3.3.Lettingτ=λin inequality (15), then we attain the inequality (9).

Theorem 3.3LetΦbe a continuous positive decreasing function on [η1,η2] andHbe a continuous positive increasing function on [η1,η2] withη1＜s≤η2,σ ＞0, andς≥α ＞0.SupposeΨbe a differentiable and strictly increasing.Then the more generalized fractional integral operator defined in (7), we have

Proof.Using the hypothesis given in Theorem 3.3, we have

whereσ ＞0,ς≥α ＞0 andβ,δ∈[η1,s].From (18), we have

Taking product of (19) by

Integrating (20) with respect toβfromη1tos, we have

From (21), it follows that

Again, taking product (14) by

forδ∈(η1,s),η1＜s≤η2and integrating the subsequent identity w.r.tδfromη1tosshows

which completes the desired inequality (17) of Theorem 3.3.

Theorem 3.4.LetΦbe a continuous positive decreasing function on [η1,η2] andHbe a continuous positive increasing function on [η1,η2] withη1＜s≤η2,σ ＞0 andς≥α ＞0.SupposeΨbe a differentiable and strictly increasing.Then the more generalized fractional integral operator defined in (7), we have

Proof.Taking product on both sides of (22) by

forδ∈(η1,s),η1＜s≤η2, and integrating the subsequent identity w.r.tδfromη1tosshows

It follows that

Dividing the above inequality by

acquires the desired inequality (24).

Remark 3.4.Lettingτ=λin inequality (24), then we attain the inequality (17).

Now, we demonstrate the following generalizations for more generalized fractional to derive some novel inequalities for a class ofn-decreasing positive functions.

Theorem 3.5.Let {Φi,i=1,2,3,...,n}be a sequence of continuous positive decreasing functions on [η1,η2].Letη1＜s≤η2,σ ＞0,ς≥αp ＞0 for any fixedp∈{1,2,3,...,n}.SupposeΨbe a differentiable and strictly increasing.Then the more generalized fractional integral operator defined in (7), we have

Proof.Let {Φi,i=1,2,3,...,n}be a sequence of continuous positive decreasing functions on[η1,s], we have

for any fixedp∈{1,2,3,...,n},σ ＞0,ς≥αp ＞0, andβ,δ∈[η1,s].

By (26), we have

Taking product of (27) by

forβ∈(η1,s),η1＜s≤η2, where J(s,β)is defined by (12), and integrating the subsequent identity w.r.tβfromη1toswe have

Integrating (28) with respect toβfromη1tos, we have

From (29), it follows that

Again, taking product of (30) by

forδ∈(η1,s),η1＜s≤η2, where J(r,δ)is defined by (12), and integrating the subsequent identity w.r.tδfromη1tos, we have

which gives the desired inequality (25).

Theorem 3.6.Let {Φi,i=1,2,3,...,n}be a sequence of continuous positive decreasing functions on [η1,η2].Letη1＜s≤η2,σ ＞0,ς≥αp ＞0 for any fixedp∈{1,2,3,...,n}.SupposeΨbe a differentiable and strictly increasing.Then the more generalized fractional integral operator defined in (7), we have

Proof.Taking product on both sides of (30) by

forδ∈(η1,s),η1＜s≤η2, where J(s,δ)is defined by (12) and integrating the subsequent identity w.r.tδfromη1tos, we have

Dividing the above inequality by

which gives the desired inequality (32).

Remark 3.5.Lettingτ=λin inequality (32), then we attain the inequality (25).

Theorem 3.7.LetHbe a continuous positive increasing functions and {Φi,i=1,2,3,...,n} be a sequence of continuous positive decreasing functions on [η1,η2].Letη1＜s≤η2,σ ＞0,ς≥αp ＞0 for any fixedp∈{1,2,3,...,n}.SupposeΨbe a differentiable and strictly increasing.Then the more generalized fractional integral operator defined in (7), we have

Proof.Under the given hypothesis, we have

for any fixedp∈{1,2,3,...,n},σ ＞0,ς≥αp ＞0, andβ,δ∈[η1,s].

From (41), we have

Taking product on both sides of (39) by

forβ∈(η1,s),η1＜s≤η2, where J(s,β)is defined by (12), and integrating the subsequent identity w.r.tβfromη1tos, we have

Integrating (41) with respect toβfromη1tos, we have

From (39), it follows that

Again, taking product on both sides of (40) by

forδ∈(η1,s),η1＜s≤η2, where J(s,δ)is defined by (12), and integrating the subsequent identity w.r.tδfromη1tos, we have

which establishes the desired inequality (35).

Theorem 3.8.LetHbe a continuous positive increasing functions and {Φi,i=1,2,3,...,n}be a sequence of continuous positive decreasing functions on [η1,η2].Letη1＜s≤η2,σ ＞0,ς≥αp ＞0 for any fixedp∈{1,2,3,...,n}.Then the more generalized fractional integral operator defined in (7), we have

Proof.Taking product on both sides of (40) by

forδ∈(η1,s),η1＜s≤η2, where J(s,δ)is defined by (12) and integrating the subsequent identity w.r.tδfromη1tos, we have

It follows that

Dividing both sides by

acquire the desired inequality (42).

Remark 3.6.Lettingτ=λin inequality (42), then we attain the inequality (35).

4 Conclusion

A new concept of integration is introduced in this paper is known as the generalized fractional integral operator in the Hilfer sense having Mittag-Leffler function in the kernel.This new formulation admits as particular cases of the well-known fractional integrals, introduced by Andric et al.[39], Salim et al.[40], Rahman et al.[41], Srivastava et al.[42], Prabhakar [43]and RL-fractional integral operators.The new integration is combining of Mittag-Leffler function and fractional integration.New features are presented and some new theorems established for a class ofnpositive continuous and decreasing functions on the interval [η1,η2].The derived consequences are the generalizations of the results presented in [45,46].In addition to this, the established outcomes for the new fractional integral concedes as specific cases the notable fractional integrals of Hilfer, Hilfer-Hadamard, Riemann-Liouville, Hadamard, Weyl and Liouville.The newly introduced scheme will be used to solve a couple of equations at the Darcy scale describing flow in a dual medium, the solution of the non-linear problem without considering any discretization, perturbation or transformations.Finally, we can obtain the analytical solutions,using the method of successive approximations, to some fractional differential equations by the proposed study.This new scheme will be opening new doors of investigation toward fractional and fractal differentiations.

Availability of Supporting Data:No data were used to support this study.

Author Contributions:All authors read and approved the final manuscript.

Funding Statement:This work was supported by the National Natural Science Foundation of China (Grant No.61673169).

Conflicts of Interest:The authors declare that they have no conflicts of interest to report regarding the present study.