New Chebyshev type inequalities via a general family of fractional integral

The main goal of this article is first to introduce a new generalization of the fractional integral operators with a certain modified Mittag-Leffler kernel and then investigate the Chebyshev inequality via this general family of fractional integral operators. We improve our results and we investigate the Chebyshev inequality for more than two functions. We also derive some inequalities of this type for functions whose derivatives are bounded above and bounded below. In addition, we establish an estimate for the Chebyshev functional by using the new fractional integral operators. Finally, we find similar inequalities for some specialized fractional integrals keeping some of the earlier results in view. 11168

Abstract: The main goal of this article is first to introduce a new generalization of the fractional integral operators with a certain modified Mittag-Leffler kernel and then investigate the Chebyshev inequality via this general family of fractional integral operators. We improve our results and we investigate the Chebyshev inequality for more than two functions. We also derive some inequalities of this type for functions whose derivatives are bounded above and bounded below. In addition, we establish an estimate for the Chebyshev functional by using the new fractional integral operators. Finally, we find similar inequalities for some specialized fractional integrals keeping some of the earlier results in view.

Introduction
For the last few decades, the study of integral inequalities has been a significant field of fractional calculus and its applications, connecting with such other areas as differential equations, mathematical analysis, mathematical physics, convexity theory, and discrete fractional calculus [1][2][3][4][5][6][7][8][9][10][11][12][13]. One important type of integral inequalities consists of the familiar Chebyshev inequality which is related to the synchronous functions. This has been intensively studied, with many book chapters and important research articles dedicated to the Chebyshev type inequalities [14][15][16][17][18]. The Chebyshev inequality is given as follows (see [16]): where ζ 1 and ζ 2 are assumed to be integrable and synchronous functions on [b 1 , b 2 ]. By definition, two functions are called synchronous on [b 1 , b 2 ] if the following inequality holds true: In particular, the Chebyshev inequality (1.1) is useful due to its connections with fractional calculus and it arises naturally in existence of solutions to various integer-order or fractional-order differential equations including some which are useful in practical applications such as those in numerical quadrature, transform theory, statistics and probability [19][20][21][22][23][24].
In the context of fractional calculus, the study of the derivative and integral operators of calculus is extended to non-integer orders [25][26][27], but most (if not all) of the potentially useful studies come about only along the real line. The standard left-side and right-side Riemann-Liouville (RL) fractional integrals of order µ > 0 are defined, respectively, by and . Furthermore, the left-side and right-side Riemann-Liouville (RL) fractional derivatives are defined, respectively, by means of the following expressions for (µ) 0: in each of which n (µ) + 1. There are many ways to define fractional derivatives and fractional integrals, often related to or inspired by the RL definitions (see, for example, [28][29][30]), with reference to some general classes into which such fractional derivative and fractional integral operators can be classified. In pure mathematics, we always consider the most general possible setting in which a specific behaviour or result can be obtained. However, in applied mathematics, it is important to consider particular types of fractional calculus, which are suited to the model of a given real-world problem.
Some of these definitions of fractional calculus have properties which are from those of the standard RL definitions, and some of them can be used to the model of real-life data more effectively than the RL model [31][32][33][34][35][36][37]. As described in many recent articles which are cited herein, the fractional calculus definitions, which are discussed in this article, have been found to be useful, particularly in the modelling of real-world problems.
The familiar Mittag-Leffler function E α (z) and its two-parameter version E α,β (z) are defined, respectively, by In many recent investigations, the interest in the families of Mittag-Leffler type functions has grown considerably due mainly to their potential for applications in some reaction-diffusion and other applied problems and their various generalizations appear in the solutions of fractional-order differential and integral equations (see, for example, [43]; see also [44] and [45]). The following family of the multiindex Mittag-Leffler functions: E γ,κ, (α j , β j ) m j=1 ; z was considered and used as a kernel of some fractional-calculus operators by Srivastava et al. (see [46] and [47]; see also the references cited in each of these papers): defined (for λ, ν ∈ C and in terms of the familiar Gamma function) by it being assumed conventionally that (0) 0 := 1 and understand tacitly that the Γ-quotient in (1.6) exists. Some of the special cases of the multi-index Mittag-Leffler function: include (for example) the following generalizations of the Mittag-Leffler type functions: (i) By using the relation between the Gamma function and the Pochhammer symbol in (1.6), the case when m = 2, δ = = 1, κ = q, α 1 = α, β 1 = β, and α 2 = p, and β 2 = δ, the definition (1.5) would correspond to [Γ(δ)] −1 times the Mittag-Leffler type function E γ,δ,q α,β,p (z), which was considered by Salim and Faraj [48].
(ii) A special case of the multi-index Mittag-Leffler function defined by (1.5) when m = 2 can be shown to correspond to the Mittag-Leffler function E γ,κ α,β (z), which was introduced by Srivastava and Tomovski [49] (see also [50]).
(iii) For m = 2 and κ = 1, the multi-index Mittag-Leffler function defined by (1.5) would readily correspond to the Mittag-Leffler type function E γ α,β (z), which was studied by Prabhakar [51]. We now turn to the familiar Fox-Wright hypergeometric function p Ψ q (z) (with p numerator and q denominator parameters), which is given by the following series (see Fox [52] and Wright [53,54]; see also [1,p. 67,Eq (1.12 (68)] and [55, p. 21, Eq 1.2 (38)]): in which we have made use of the general Pochhammer symbol (λ) ν (λ, ν ∈ C) defined by (1.6), the parameters α j , β k ∈ C ( j = 1, . . . , p; k = 1, · · · , q) and the coefficients A 1 , . . . , A p ∈ R + and B 1 , . . . , B q ∈ R + are so constrained that with the equality for appropriately constrained values of the argument z. Thus, if we compare the definition (1.5) of the general multi-index Mittag-Leffler function: In particular, for the above-mentioned Mittag-Leffler type functions E γ,δ,q α,β,p (z), E γ,κ α,β (z) and E γ α,β (z), we have the following relationships with the Fox-Wright hypergeometric function defined by (1.7): (1.12) The relationships in (1.9), (1.10), (1.11) and (1.12) exhibit the fact that, not only this general multiindex Mittag-Leffler function defined by (1.5), but indeed also all of the above-mentioned Mittag-Leffler type functions and many more, are contained, as special cases, in the the extensively-and widely-investigated Fox-Wright hypergeometric function p Ψ q (z) defined by (1.7). The interested reader will find it to be worthwhile to refer also to the aforecited work of Srivastava and Tomovski [49, p. 199] for similar remarks about the much more general nature of the Fox-Wright hypergeometric function p Ψ q (z) than any of these Mittag-Leffler type functions.
It should be mentioned in passing that, not only Fox-Wright hypergeometric function p Ψ q (z) defined by (1.7), but also much more general functions such as (for example) the Meijer G-function and the Fox H-function, have already been used as kernels of various families of fractional-calculus operators (see, for details, [56][57][58]; see also the references cited therein). In fact, Srivastava et al. [57] not only used the Riemann-Liouville type fractional integrals with the Fox H-function and the Fox-Wright hypergeometric function p Ψ q (z) as kernels, but also applied their results to the substantially more general H-function (see, for example, [59,60]).
Our present investigation is based essentially upon the operators of the fractional integrals of the Riemann-Liouville type (1.2), which are defined below. Definition 1.1 (see [61]). For a given L 1 -function ϕ on an interval [b 1 , b 2 ], the general left-side and right-side fractional integral operators, applied to ϕ(z), are defined for λ, ρ > 0 and w ∈ R by where the function ϕ is so constrained that the integrals on the right-hand sides exit and F σ ρ,λ is the modified Mittag-Leffler function given by (see [62]) where ρ, λ > 0, |z| < R, and {σ(n)} n∈N 0 is a bounded sequence in the real-number set R.
in the definition (1.15), we are led to the following special case: in terms of the Fox-Wright hypergeometric function p Ψ q (z) defined by (1.7).
A slightly modified version of the fractional integrals in Definition 1.1, which we find to be convenient to use in this paper, is given by Definition 1.2 below. Definition 1.2 (The ν-modified fractional integral operators). For a given L 1 -function ϕ on an interval [b 1 , b 2 ], the general left-side and right-side fractional integral operators, applied to ϕ(z), are defined for λ, ρ, ν > 0 and w ∈ R by In view of the generality of the sequence {σ(n)} n∈N 0 , the fractional integral operators given by Definition 1.1 and Definition 1.2 can be appropriately specialized to yield all those Riemann-Liouville type fractional integrals involving not only the Fox-Wright hypergeometric function p Ψ q (z) kernel given by (1.17), but also involving all those multi-index Mittag-Leffler type kernels which are further special cases of the Fox-Wright hypergeometric function p Ψ q (z) defined by (1.7).
There exist many classes integral inequalities related to the fractional integral operators given by Definition 1.1 (see, for example, [64][65][66][67][68]). Our objective in this work is to present a study of Chebyshev's inequality in terms of the fractional integrals given by Definition 1.2. We also apply our results to deduce several results by following the lines used in some of the earlier works.

Main results and their consequences
Throughout our study, we suppose that {σ(n)} n∈N 0 is a sequence of non-negative real numbers.
In the case when n = 2, by making use of Theorem 2.1, we have We now assume that the inequality (2.2) holds true for some n ∈ N. Then, since the n functions {ζ i } n i=1 are positive and increasing on [0, ∞), n i=1 ζ i is also an increasing function. Hence, we can apply Theorem 2.1 with Thus, if we make use of our assumed inequality (2.2) in the last inequality, we have which was considered in in [69,Theorem 3.3]. Moreover, just as we pointed out in Remark 2.3, with appropriate choices of, and under sufficient conditions on, the parameters and the arguments involved, we can express the result of Theorem 2.2 in terms of fractional integrals with the aforementioned Mittag-leffler type kernels: E γ,δ,q α,β,p (z), E γ,κ α,β (z) and E γ α,β (z), given by (1.10), (1.11) and (1.12), respectively. The details involved are being skipped here.
Proof. By the same technique as that used for proving Theorem 2.3, together with we can obtain the desired result asserted by Corollary 2.1.
Proof. By the same technique used for Theorem 2.3 with the setting we can obtain the desired result asserted by Corollary 2.2.
Proof. By the same technique used for proving Theorem 2.3 with the setting we can derive the desired result asserted by Corollary 2.3.
Remark 2.7. Some particularly simple cases of Theorem 2.4 are given below.
• Just as we pointed out in Remark 1.4, with appropriate choices of, and under sufficient conditions on, the arguments and the parameters involved, we can express the result of Theorem 2.4 in terms of fractional integrals with kernels involving not only the Fox-Wright hypergeometric function p Ψ q (z) , given by (1.7), (1.16) and (1.17), but also in terms of the aforementioned Mittag-Leffler type kernels such as E γ,κ, (α j , β j ) m j=1 ; z , given by (1.5) and (1.9), as well as its further special cases: E γ,δ,q α,β,p (z), E γ,κ α,β (z) and E γ α,β (z), given by (1.10), (1.11) and (1.12), respectively. The details of these and various other deductions and derivations from Theorem 2.4 are being left as an exercise for the interested reader.

Conclusions
In the development of the present work, the Chebyshev inequality was established via a certain family of modified fractional integral operators in Theorem 2.1. Moreover, Chebyshev's inequality was proved for more than two functions in Theorem 2.2. Several inequalities of this type were established in Theorem 2.3 as well as in and Corollaries 2.1, Corollary 2.2 and 2.3 for functions whose derivatives are bounded above or bounded below. Furthermore, an estimate for the Chebyshev functional was established in Theorem 2.4 by using the above-mentioned family of modified fractional integrals. Finally, from the main results, similar inequalities can be deduced for each of the aforementioned simpler Riemann-Liouville fractional integrals with other specialized Fox-Wright and Mittag-Leffler type kernels.