Journal of Function Spaces

Journal of Function Spaces / 2021 / Article
Special Issue

Recent Advances in Function Spaces and its Applications in Fractional Differential Equations 2021

View this Special Issue

Research Article | Open Access

Volume 2021 |Article ID 6675826 | https://doi.org/10.1155/2021/6675826

Zhongyi Zhang, Ghulam Farid, Kahkashan Mahreen, "Inequalities for Unified Integral Operators via Strongly -Convexity", Journal of Function Spaces, vol. 2021, Article ID 6675826, 11 pages, 2021. https://doi.org/10.1155/2021/6675826

Inequalities for Unified Integral Operators via Strongly -Convexity

Academic Editor: Fu-Dong Ge
Received21 Dec 2020
Revised14 Apr 2021
Accepted08 May 2021
Published04 Jun 2021

Abstract

In this paper, we give a generalized definition namely strongly -convex function that unifies many known definitions. By applying this new definition, we present inequalities for unified integral operators which have connection with many of the well-known results for different kinds of convex functions. Moreover, this paper at once provides refinements and generalizations of a lot of fractional integral inequalities which are identified in remarks.

1. Introduction

There are many applications of convexity in diverse fields of mathematics including operation research, mathematical statistics, optimization theory, and graph theory. In mathematical inequalities’ point of view, convex functions are very important. They are extended and generalized in different ways to obtain corresponding generalizations and extensions of well-known inequalities. For the detail study of different kinds of convex functions, we refer the readers to [17].

In recent years, the researchers are working on fractional versions of mathematical inequalities by utilizing classical and new kinds fractional integral/derivative operators, see [811]. Also, several kinds of convex functions are applied to obtain these fractional versions, for example, see [1, 1217] and references therein. The inequalities for fractional integrals and derivatives are very useful in the study of fractional differential equations. Using fractional differential and integral inequalities, qualitative properties of fractional differential equations involving the Riemann-Liouville and the Caputo derivatives can be found frequently in literature.

Our objective is to investigate integral inequalities for newly defined function called strongly -convex function. Integral operators (5) and (6) are used to establish these inequalities, and they have interesting consequences for distinctive fractional inequalities for various types of functions. Next, we give some definitions of known generalized fractional integral operators which can be directly obtained from operators (5) and (6).

Definition 1 (see [18]). Let be an integrable function and be an increasing positive function defined on has a continuous derivative on . The fractional integrals of a function with respect to another function on of order are defined by here, represents the gamma function.

One can see a -analogue of Definition 1 in [16]. The following generalized integral operator is given in [19].

Definition 2. Let be the functions such that be positive and , and be differentiable and increasing. Also let be an increasing function on . Then, for , the left and right integral operators are defined by

The Mittag-Leffler function was introduced in 1903, which is generalization of the exponential function just by a single parameter with a convergence condition. The further generalization by another parameter was given by Wiman; further, it was extended by Prabhakar and then by other authors; to see the importance of these extensions, we suggest the reader to [20, 21]. By utilizing an extended generalized Mittag-Leffler function, we have defined a fractional integral operator.

Definition 3 (see [12]). Let , , and , with . Let and The generalized fractional integral operators and are defined by: where is the extended generalized Mittag-Leffler function.

Unified integral operator is based on a kernel which also involves a real valued strictly increasing function along with two variables. This integral operator also unifies the above definitions.

Definition 4 (see [22]). Let , be the functions such that be positive and , and be differentiable and strictly increasing. Also, let be differentiable and strictly increasing. Also, let and , , , and . Then, for , the left and right integral operators are defined by where we have

Several recently defined fractional integrals studied in [12, 14, 18, 21, 2330] can be reproduced from the above definition, see ([31], Remarks 6 and 7). The following results are obtained for strongly convex functions in [32].

Theorem 5. Let be a positive, integrable, and strongly convex function with modulus . Let be a strictly increasing and differentiable function, also let be an increasing function on . If , , and , then for , the following inequality holds: where is the identity function and .

Theorem 6. Under the assumptions of Theorem 5, in addition, if , then, we have

Theorem 7. Let be a differentiable function. If is strongly convex with modulus and be strictly increasing and differentiable, also let be an increasing function on . If , , and , then for , the following inequality holds:

Next, we give some definitions of convex functions. The definition of -convex function is given as follows:

Definition 8 (see [5]). Let be an interval containing and let be a nonnegative function. A nonnegative function is called -convex function if holds for all , , and .

Remark 9. (i)For , (11) gives the definition of -convex function(ii)For , (11) gives the definition of -convex function(iii)For and , (11) gives the definition of convex function(iv)For and , (11) gives the definition of -function(v)For and , (11) gives the definition of -convex function(vi)For and , (11) gives the definition of Godunova-Levin function(vii)For and , (11) gives the definition of -Godunova-Levin function of second

Definition 10 (see [4]). A function is said to be -convex if holds for all and .

Remark 11. (i)For =, (12) provides -convex function(ii)For =, (12) provides convex function(iii)For =, (12) provides star-shaped function

Definition 12 see ([33]). A function is said to be -convex, where if holds for all and

The following definition unifies -convex, -convex, and -convex functions in a single inequality.

Definition 13. Let be an interval containing and let be a nonnegative function. A nonnegative function is said to be -convex function if holds for all , .

Next, we give definitions of strongly convex, strongly -convex, and strongly -convex functions.

Definition 14 (see [34]). Let be a nonempty convex subset of normed space . A real valued function is said to be strongly convex, with modulus , on if for each and ,

Definition 15 (see [35]). A function is said to be strongly -convex function, with modulus , for , if holds for all and .

Definition 16 (see [36]). A function is said to be strongly -convex, where if holds for all and

Next, we give a property of the kernel given in (7), which will be useful for finding the results of this paper.

: Let and be increasing functions. Then, for , , the kernel satisfies the following inequality:

It is easy to prove by using the following inequalities:

If and are of opposite monotonicities, then (18) holds in reverse direction. For further properties, see [37].

In Section 2, we will define a new notion of strongly -convex function which unifies several kinds of convex functions in a single inequality. By applying this new definition, we give generalizations of results for strongly convex functions. The results established here will produce generalizations and refinements of fractional integral inequalities for different kinds of convex and strongly convex functions which have been published in various papers.

2. Main Results

We give the definition of a function will be called strongly -convex function.

Definition 17. Let be an interval containing and let be a nonnegative function. A nonnegative function is said to be strongly -convex function with modulus if holds for all , .

The definition of strongly -convexity can be achieved by taking in (20).

Definition 18. Let be an interval containing and let be a nonnegative function. A nonnegative function is said to be strongly -convex function with modulus if holds for all , .

One can obtain from (20) definitions of strongly convex, strongly -convex, strongly -convex, strongly -convex, strongly -convex, and strongly -convex functions.

Theorem 19. Let be a positive strongly -convex function with modulus , . Let be strictly increasing and differentiable function, also let be an increasing function on and . If , , and , then for , the following inequality holds: while , .

Proof. Using , we can write the following inequalities Using strongly -convexity of , we have From (23) and (25), the following inequality is obtained: By setting on the right side and using (5) on left side of above inequality, we get The inequality (28) can take the following form: On the other hand, multiplying (24) and (26), and adopting the same pattern as we did for (23) and (25), the following inequality holds true: The inequality (30) can take the following form: By adding (29) and (31), (22) can be achieved.☐

Corollary 20. For , (22) gives the following inequality obtained for fractional integral operator defined in [19]:

Remark 21. (i)For , (22) gives ([38], Theorem 1)(ii)For and , (22) gives ([39], Theorem 1)(iii)For , , , and , (22) gives ([31], Theorem 8)(iv)For , , , , and , (22) gives ([40], Theorem 1)(v)For , , the result of (iv) gives ([40], Corollary 1)(vi)For , , and or , the result of (v) gives ([40], Corollary 2)(vii)For , , and , the result of (v) gives ([40], Corollary 3)(viii)For , , , and , (22) gives ([41], Theorem 1)(ix)For , , , and , (22) gives ([41], Corollary 1)(x)For , , , , and , (22) gives ([42], Theorem 2.1)(xi)For , , the result of (x) gives ([42], Corollary 2.2)(xii)For , , , , , and and using ([12], Remark 11), (22) gives ([42], Corollary 2.3)(xiii)For , , , , , and , (22) gives inequality (26) of ([42], Corollary 2.4) similarly, under the same assumptions along with (22) gives inequality (27) of ([42], Corollary 2.4)(xiv)For , , , , and , (22) gives ([43], Theorem 1)(xv)For , , the result of (xiv) gives ([43], Corollary 1)(xvi)For , , , , and , (22) gives ([44], Theorem 1)(xvii)For , , , , , and , (22) gives ([44], Corollary 1)(xviii)For , , , and , , (22) gives ([45], Theorem 2.1)(xix)For , , , , , and , (22) gives ([45], Corollary 2.1)(xx)For , , , and , (22) gives ([46], Theorem 1)(xxi)For , , , , and , (22) gives ([47], Theorem 1)(xxii)For , , the result of (xxi) gives ([47], Corollary 1)(xxiii)For , , , and , (22) gives ([15], Theorem 1)(xxiv)For , , the result of (xxiii) gives ([15], Corollary 1)(xxv)For , , and , (22) gives ([36], Theorem 4)(xxvi)For , the result of (xxiv) gives ([36], Corollary 1)(xxvii)For , the result of (xxiv) gives ([36], Corollary 2)(xxviii)For , the result of (xxvii) gives ([36], Corollary 3)(xxix)For , , and , (22) gives ([48], Theorem 1)(xxx)For , the result of (xxix) gives ([48], Corollary 1)(xxxi)For , the result of (xxix) gives ([48], Corollary 2)(xxxii)For , the result of (xxxi), gives ([48], Corollary 3)

For the proof of next theorem, we need the following lemma.

Lemma 22. Let , be a strongly -convex function with modulus , . If , then the following inequality holds:

Proof. As is strongly -convex function, we have Let . Then, we have , and using , the inequality (33) is obtained.☐

The upcoming theorem provides the Hadamard inequality for strongly -convex function.

Theorem 23. Under the assumptions of Theorem 19, in addition, if , then, we have