k ) -Proportional Fractional Integral Pólya–Szegö- and Grüss-Type Inequalities

: The purpose of this research was to discover a novel method to recover k -fractional integral inequalities of the Pólya–Szegö-type. We employ these generalized inequalities to investigate some new fractional integral inequalities of the Grüss-type. More precisely, we generalize the proportional fractional operators with respect to another strictly increasing continuous function ψ . Then, we state and prove some of its properties and special cases. With the help of this generalized operator, we investigate some Pólya–Szegö- and Grüss-type fractional integral inequalities. The functions used in this work are bounded by two positive functions to obtain Pólya–Szegö- and Grüss-type k -fractional integral inequalities in a new sense. Moreover, we discuss some new special cases of the Pólya–Szegö-and Grüss-type inequalities through this work.


Introduction
The topic of fractional calculus, which is concerned with integral and differential operators of noninteger orders, is just about as old as the conventional calculus that transacts with integer orders. Because not all real-world events can be represented using standard calculus operators, researchers and scientists sought extensions of these operators. As of now, the field of fractional calculus is of significant interest for numerous researchers. There has been an abundance of literature and research, especially on conventional fractional calculus, such as the Riemann-Liouville (RL) and Caputo definitions. The RL derivative is the most often used definition and, in some ways, the most natural; nevertheless, it has significant limitations when used to simulate physical problems, due to the fact that the necessary initial conditions are fractional, which may be inappropriate for physical conditions. The Caputo derivative enjoys the benefit of being appropriate for physical conditions since it needs only initial conditions in the classical type [1].
This notwithstanding, these are far from the only ways to characterize and define fractional calculus. There are many definitions of fractional operators, including RL, Caputo, Riesz, Hilfer, Hadamard, Katugampola, and Erdélyi-Kober [2,3]. Each definition is subject to its own set of rules and conditions, which explains why a significant number of these definitions are not identical. Practically, the physical framework under consideration decides the determination of an appropriate fractional operator. As a consequence of this, researchers have introduced the various definitions of inequivalent fractional operators, every one of which is helpful in its own specific context. Therefore, it is sensible that we ought to explore and develop fractional operators that are the generalized categories of the current, specific cases. Certain very wide fractional operators may be called classes, since they include a large number of different fractional operators of acceptable values. This approach is more effective for developing theoretical analysis in this area than repeatedly eliciting the same proofs in many distinct, but similar fractional calculus models [4].
One such wide category is the class of fractional operators with analytic kernels, which was proposed in [5] as a convenient way of generalizing a variety of different types of fractional calculus that have been intensively studied in recent years. We refer to one model within this class, which will be a major topic of this work, called extended proportional fractional calculus [6,7].
Another general class of fractional operators has been referred to as ψ-fractional calculus at times. Erdélyi first proposed the idea in a 1964 paper [8], in which he discussed fractional integration with regard to a power function x n . In 2011, Katugampola [9] presented a comparable operator to Erdélyi's operator, which has been known as Katugampola fractional calculus in recent years. Indeed, Osler inspired and developed this category in 1970 [10], and it was briefly mentioned by Oldham and Spanier [11], despite the fact that it is often cited instead in the book by Kilbas et al. [3], which delves further into the subject. For some works on ψ-fractional calculus, see [12,13].
From the fact that Γ k (·) is the natural generalization of Γ(·), it is natural to anticipate new concepts of fractional operators with the additional parameter k, and this has already been done by merging this parameter with many fractional operators and its generalizations; for more details, see the recent works [15][16][17][18][19][20][21][22].
On the other hand, in mathematical science, mathematical inequalities have great importance due to their useful applications, especially in classical differential equations and integrals; consequentially, only a few decades ago, many useful and noteworthy mathematical inequalities were investigated by numerous authors. One inequality, which has a well-known space in inequality theory, is the Chebyshev inequality; this inequality helps to build new inequalities of several different types and generates limit values for synchronous functions. The grounds of this inequality type lie in the following functional (Chebyshev (1882) [23]): where η and ς are two integrable functions on [a, b]. A number of investigators have given great attention to this functional, and several inequalities, generalizations, and extensions have appeared in the literature; for more details, see [24][25][26]. For η and ς, two differentiable functions, Dragomir (2000) [27] proved the following inequality for any µ, σ ∈ [a, b] (see also [28]): where η ∈ L (a, b), ς ∈ L ε (a, b), > 1, 1 + 1 ε = 1. Dahmani (2010) [29], for all γ > 0, ω > 0, proved the following fractional version of Inequality (2) (see also [30,31]): One of the most important inequalities that is of great interest to the authors is the well-known Grüss inequality [32] (see also [33]): where η, ς are two integrable functions on [a, b], which satisfy the conditions: The fractional version inequality of Inequality (4) was given by Dahmani et al. [34] in 2010 by employing the Riemann-Liouville fractional integral as follows: for one parameter. The authors also gave the fractional integral version inequality on [0, ∞) for two parameters (see [34]). Tariboon et al. (2014) [35] replaced the bounds of the functions η and ς with four integrable functions on [0, ∞), as: and they gained the inequality: where ξ(l, s, t) is defined as: for one parameter. The two-parameter fractional integral version of Inequality (4) for functional bounds was given by Aljaaidi and Pachpatte (2020) in [36] by using the Katugampola fractional integral; in 2020, they also presented the same inequality for functional bounds by using the ψ-Riemann-Liouville fractional integral (see [37]). Another inequality that is beneficial for this article is the Pólya-Szegö inequality, which was introduced by Pólya and Szegő [38] in 1925 as follows: Dragomir and Diamond [39], in 2003, by employing the Pólya-Szegö inequality with the integrable functions η and ς on [a, b], which satisfy the conditions: proved the following Grüss-type inequality: The fractional integral version of the Pólya-Szegö inequality was given by Amber and Dahmani [40] in 2013 as follows: where η and ς are two integrable functions on [a, b] satisfying the condition (8).
Ntouyas et al. [41] in 2016 investigated some new Pólya-Szegö-type integral inequalities by employing the Riemann-Liouville fractional integral. They replaced the constants that restrict the functions it uses with four new integrable functions, and they used them to investigate some factional integral inequalities of the Grüss-type. The same authors [42] in the same year presented a study to prove new Pólya-Szegö integral inequalities via the generalized k-fractional integral operator and then employed it to establish some Chebyshev fractional integral inequalities. Set et al. [43] in 2018 established some new Pólya-Szegö inequalities using the generalized Katugampola fractional integral, and they used them to investigate some new fractional Chebyshev inequalities. Nikolova and Varosanes [44] in 2018 gave two variants of Cauchy inequalities and the Pólya-Szegö-type inequalities, and they obtained a new bound for the Chebyshev-type inequalities. Rahman et al. [45] in 2020 established some new weighted fractional Chebyshev-Pólya-Szegö-type integral inequalities by using the generalized weighted fractional integral containing another function in the kernel. Recently, in 2020 and 2021, several types of research on Pólya-Szegö-type inequalities were published; among them, we refer to [46][47][48].
Motivated by the above discussion and inspired by [7,41], in this paper, we establish an important connection between proportional and generalized RL-type fractional calculus with respect to another strictly increasing continuous function ψ. To the best of our knowledge, this has not yet been considered until now. Specifically, we propose a more generalized version of the proportional fractional operators, the so-called (k, ψ)-proportional fractional operators. We obtain several definitions of classical fractional operators as a special case of our generalized version. Some properties of (k, ψ)-proportional fractional operators are proven and applied to develop the (k, ψ)-proportional fractional calculus. In this regard, we introduce the Pólya-Szegö inequality and then employ it to prove some new Grüss-type inequalities. Moreover, we enrich this work by discussing some special cases related to the current research paper. In the Conclusion, we list future directions for extending and proving new properties of the proposed operator and its corresponding differential operator. We apply this operator in a qualitative analysis of fractional differential equations. This paper is organized as follows: In the Section 2, we recollect some definitions, results, notations, and introductory information used throughout this work. The Section 3 is devoted to giving the proposed fractional integral in the frame of a generalized proportional operator. The major results of Pólya-Szegö-and Grüss-type inequalities are obtained in the Section 4. In the Conclusions, we list future directions relevant to the current work.

Essential Preliminaries
Here, we provide some definitions, notations, and clarifications related to our new generalized k-fractional integral used throughout this work. Let us start with the following well-known Gama function, which was first introduced by Leonhard Euler, and the k-Gamma function [14]. Definition 1. The notation: is called the Gamma function, while the notation: is called the k-Gama function, where ω, k > 0. The k-Gamma function has the following relationships:

Definition 2.
The notation: is called the Beta function. In terms of the Gamma function, it has the following relationship: The notation: is called the k-Beta function. In terms of the k-Gamma function, it has the following relationship:

Definition 4 ([2,3]). For the integrable function η on the interval and for the increasing function
The notations ψ I γ a + η (ω) and ψ I γ b − η (ω) are called the left-and right-sided ψ-Riemann-Liouville fractional integrals of the function η, respectively.
The notations ψ a D γ,υ η (ω) and ψ D γ,υ b η (ω) are called, respectively, the left-and rightsided proportional fractional derivatives of a function η with respect to the function ψ for the order γ. and: where ψ a I γ,υ η (ω) and ψ I γ,υ b η (ω) are called, respectively, the left-and right-sided proportional fractional integrals of a function η with respect to the function ψ for the order γ.

(k, ψ)-Proportional Fractional Integrals and Derivatives
In this section, we define the most generalized version of proportional fractional integrals and derivatives, namely (k, ψ)-proportional operators.

Certain Pólya-Szegö-and Grüss-Type Inequalities Involving the Proportional k-Fractional Integral concerning Another Strictly Increasing Continuous Function
This section is concerned with the use of the left-sided (k, ψ)-proportional fractional integral (29) to obtain the main results. To reach our desired results, we first need to prove the following lemmas: Lemma 4. For the positive integrable functions η, ς on [0, ∞) and for the positive integrable functions G 1 , G 2 , H 1 , H 2 , let υ ∈ (0, 1], γ ∈ C, (γ) ≥ 0, and ψ be a strictly increasing continuous function. If the following conditions: hold, then the following inequality also holds: Proof. According to (Z 1 ), we can write for (µ ∈ [0, ω], ω > 0), and: By carrying out the multiplication between (32) and (33), we obtain: which leads to: On both sides of (34), taking multiplication by the positive quantity , then integrating the estimation with respect to µ over (0, ω), we obtain: Now, applying the arithmetic mean and geometric mean inequality i.e. (s + t ≥ 2 √ st, s, t ∈ R + ) on the right-hand side of Inequality (35), we conclude that: which can be written as: The proof is complete.
The following corollary is a special case of Lemma 4.
The following result is a special case of Lemma 5.
The next result is a special case of Theorem 1.