Synchronization Analysis of Multiple Integral Inequalities Driven by Steklov Operator

We construct a subclass of Copson’s integral inequality in this article. In order to achieve this goal, we attempt to use the Steklov operator for generalizing different inequalities of the Copson type relevant to the situations ρ>1 as well as ρ<1. We demonstrate the inequalities with the guidance of basic comparison, Holder’s inequality, and the integration by parts approach. Moreover, some new variations of Hardy’s integral inequality are also presented with the utilization of Steklov operator. We also formulate many remarks and two examples to show the novelty and authenticity of our results.


Introduction
Historically, the main and essential branch of mathematics throughout the last three decades seems to have been mathematical research. Evidently, inequalities have been the core of mathematical studies. Numerous brilliant mathematicians have contributed immensely to many recent discoveries in this subject, referring to the exploration of several other new inequalities in certain areas of mathematical physics and theoretical and applied mathematics, including evidence and useful applications. In reality, numerical inequalities became a significant part of current science in the 20th century through the spearheading work entitled Inequalities by Hardy, Littlewood, and P'olya, which is the first composition to be released in 1934 [1]. This distinctive publication symbolizes a framework of precise logic filled with inequalities for the betterment pf relevant technologies in mathematics.
In the twentieth century, integral inequalities have played a central position in science and have a broad range of applications in most other fields of pure and applied mathematics. In [2], Hardy produced the inequality of the following kind: unless g ≡ 0. The best possible constant is ψ 2 = ψ 1 (ψ 1 − 1) −1 . The above inequality plays a crucial role in the assessment and its implementation. It is evident that, for parameters a and b where 0 < a < b < ∞, the corresponding inequality is also true: where 0 < ∞ 0 g ψ 1 (z 1 )dz 1 < ∞. The classical Hardy inequality declares that if ψ 1 > 1 and g is a non-negative measurable function on (a, b), then (2) is valid except g ≡ 0, i.e., in (a, b), where constant here is the best possible contant. This inequality stays relevant providing that 0 < a < b < 1. Then, the inequality (2) has now grown tremendously to what is now termed Hardytype inequalities. One interesting explanation is that this principle is very valuable across both mathematics and technological sciences.
Particularly, in 1928, the following integral inequalities were established by Hardy in [3]. Let g be a non-negative measurable function on (0, ∞) and the following is the case: Later in 1976, integral inequalities ( [4], Theorems 1 and 3) studied by Copson are as follows.
The aim of this research is to further generalize the basic integral inequalities of Hardy and Copson with the Steklov operator. The results can be achieved by using certain elementary techniques of analysis as well as integration by parts. We define the Hardy-Steklov operator in several formulas in order to prove a certain class of inequalities by inducing conditions related to Hardy-Steklov and Copson-Steklov operators in two cases, ρ > 1 and ρ < 1. Throughout the whole document, inequalities of the left-hand side exist if the ones on the right-hand side exist.
The paper is structured in the following manner: After the introduction, some basic concepts are mentioned in Section 2 that are essential for our main results. We construct a new class of generalized inequalities of the Copson form pertaining to Steklov operator in Section 3 and special cases are mentioned which result in some known results in the literature. Extensions of Hardy's integral inequality with the same operator are devoted to Section 4. Lastly, the conclusion of our results is presented.

Basic Concepts of Hardy-Steklov Operator
Some new inequalities are demonstrated through the Hardy-Steklov operator (see [16][17][18][19][20]). For the sake of completeness, before asserting the key results, we recall the following definitions: Definition 1. Hardy-Steklov operator is characterized as follows: where m is a non-negative measurable function and y(z 1 ) and s(z 1 ) are functions defined on an interval (a, b) provided with y(z 1 ) < s(z 1 ) for all z 1 ∈ (a, b).
Definition 2. The Hardy operator can be described as follows.

Definition 3.
A hardy averaging operator is defined by the following.
Definition 4. The operator related to Steklov is specified by the following: which has been concentrated on seriously (see [26] for instance).

Formulation of Copson Type Integral Inequalities via Steklov Operator
Throughout this paper, we set (G s g) as the Hardy-Steklov type operator, whereas (P s g) is the Copson-Steklov type operator and 0 < b ≤ ∞ by considering that the integrals exist and are finite. In addition, y(z 1 ) and s(z 1 ) are increasing differentiable functions on [0, ∞), such that the following is the case.
By integrating the left hand side of (8) by parts from 0 to b and by using (9), we obtain the following: Since P s g is positive, from (7) and ρ > 1, we obtain the following.
The right hand side of (11) by applying Holder's inequality with indices ψ 1 , Hence, the following is the case.
The last inequality can be restated as follows which is the desired inequality (8).
Some of the important remarks are listed below.

Remark 3.
It is quite impressive to know that Theorem 1 reduces to [27] by substituting y(z 1 ) = 1,
Then, we obtain the following: where Corollary 2. Under the same supposition of g, σ, ϕ, j, and ρ of Theorem 1 and y(z 1 ) and s(z 1 ) of Corollary 1 if ψ 2 = ψ 1 , we have the following.
Theorem 2. If g, ϕ, σ, j, y, s, ψ 1 , and ψ 2 are the same as of Theorem 1 and satisfies the following: with for ρ < 1. Then the following is the case: where Proof. Differentiate (15), we obtain the following: (16) and by using (18), one obtains the following.
(P s g) (z 1 ) = −j (z 1 ) j(z 1 ) (P s g)(z 1 ) Integrate the left side of (17) by parts from 0 to b and use (16), we deduce the following: The remaining proof follows the same proof of Theorem 1 with some changes. We omit the details here.

Induction of Steklov Operator on Hardy Integral Inequalities
This section is related to the generalizations of Hardy style integral inequalities with the application of the Steklov operator. Theorem 3. Let g, σ, j, y, s, ψ 1 , and ψ 2 be defined as in Theorem 1 and u be a non-negative measurable function on (0, ∞). For ρ > 1, if the following is the case: j(z 2 )u(z 2 )g(z 2 )dy, (21) and Θ(z 1 ) = where and for some λ 1 , we have the following.
Proof. We calculate the derivative of G s g as follows: , clearly Θ (z 1 ) = u(z 1 ) from (22) and with (24), hence the following is the case.
Integrating (23) by parts and utilizing (22), we obtain the following: As ρ > 1, G s g is positive, the above equation with (25) becomes the following.
Employing Holder's inequality with indices ψ 1 , and, therefore, the following obtains.
The previous inequality provides the following estimation.
Theorem 4. Let g, u, σ, j, y, s, ψ 1 , and ψ 2 be satisfied under the same hypotheses of Theorem 2 and the following: with for ρ < 1. Then the following obtains: where the following is the case.
Proof. The proof can be carried out with suitable alterations of Theorem 3. Details are left to the readers.
Corollary 11. If y(z 1 ) = z 1 in Corollary 10, we have the following Theorem 5. Let g, σ, j, y, s, ψ 1 , ψ 2 , u, and Θ be as they are in Theorem 3 and ρ > 1. If the following is the case: (G s g)(z 1 ) = j(z 1 ) where for some β 2 , we obtain the following.
Proof. The application is the same as of Theorem 3 with appropriate modifications.
The counter example of Theorem 3 is as follows.
Since ρ < 1, hence the prescribed example is a contradiction of (23).

Conclusions
Inequalities are considered in rather general forms and contain various special integral and discrete inequalities. In the present article, several new integral inequalities have been developed and demonstrated through the operators of Hardy-Steklov and Copson-Steklov form and by the inclusion of a second q integrability parameter. These existing inequalities, such as those of Hardy, Copson and Pachpatte, are generalized by the fundamental inequalities and the technique is based on the applications of well-known literature. In consideration of this, we recommend the implementation of these results to R n or for n ≥ 2 on subsets of R n . Likewise, it would also be of great research interest to pursue any of these integral inequalities in the analysis of various mathematical areas such as partial differential equations, mathematical simulation, functional spaces, and so on. Our work formulates the results of the Hardy and Copson type inequalities and the generalization of the Hardy and Copson integral inequalities in one variable. In future research, we will continue to generalize some of the more established inequalities by using the Steklov operator based on two variables.