1. Introduction
It is recognized that the theory related to variational inequalities has provided an important part in the development of diverse areas of applied and pure mathematics in the field of sciences, such as gauge field theory in particle physics and the general theory of relativity. This is the most important and main field of engineering and advancement in the discipline of mathematics. Lagrange, Newton, Leibniz, Fermat, and Bernoulli set the basis for variational theories, see [
1,
2,
3,
4,
5,
6] for more information.
In previous years, the advancement in variational expansions has been upgraded in the variational inequalities (VI) field, generally owing to Stampacchia [
6]. Variational inequalities theory involved an important and novel expansion of variational fields. It explained on a broader scale of absorbing developments and a link surrounded by many fields of mathematics, economics, optimization, equilibrium, finance, physics, and regional and engineering disciplines. This is because of advancement in the variational inequality theory that gives the main idea of straight, easy, and efficient construction for the formation of wider problems.
In VI theory, numerical methods play an essential role in solving given problems. VI problems are transformed into fixed-point problems by using these methods. Fixed-point formulation is equivalent to VI problems as it is utilized to solve VI problems and design new iterative strategies. The projection technique, implicit techniques, and their various variants are examples of iterative schemes. We know [
6,
7,
8,
9] that variational inequalities theory has appeared as an effective and powerful tool of the current mathematical technology. The theory of variational inequalities has been considered in various fields of mathematics arising in both pure and applied sciences. The theory of VI provides us with a tool for formulalting a series of equilibrium figures, qualitatively analyzing for the existence and uniqueness of solutions, analyzing stability and sensitivity, and providing us with algoritms along with convergence analysis for computational purposes, see [
9,
10,
11,
12,
13]. It contains, as special cases, such well-known issues in mathematical programming as a system of nonlinear equations, optimization, and complementarity problems. It is also related to fixed-point formulation. An approximate proximal-extra gradient-type method presents in [
7,
14] for monotone variational inequalities. A new predictor-corrector self-adaptive approach for solving nonlinear variational inequalities was proposed in [
11,
13,
14,
15,
16,
17]. The theory of VI has been developed in several directions using new and novel methods. Some of these developments have made mutually enriching contacts with other pure and applied science areas. In [
12,
18], we focus mainly on the recent iterative algorithms for solving various variational inequalities.
The projection method is a useful resource for obtaining VI solutions. The major point of this method is to establish the theory of projection by applying fixed-point formulation. The development of various projection-type algorithms for addressing VI was greatly assisted by this alternative formulation. By using the projection theory, we make fixed-point formulation and generate a new iterative scheme. Then, under the conditions, we can demonstrate the fixed-point uniqueness and convergence criteria of the new generated scheme. The projection operator restricts us when we have VI with a non-linear term, then other stratagies are considered to tackle the problems.
Variational inequality has been expanded in many directions. Different techniques have been used to extend and broaden VI problems. An important and constructive expansion of the variational theory is recognized as the MVI or the variational inequality of the II kind because of the involvement of the term
, which is nonlinear. For the function
and nonlinear
, we consider the problem to find a point
where
H is a Hilbert space, such that
The expression (1) is known as the MVI. Also the auxiliary principle technique is suggested for solving general mixed variational inequalities see, [
10,
19,
20,
21]. The origin of this method can be traced back to Lions and Stampaccbia. Glowinski, Lions, and Tremolieres [
9] used this technique to study the existence of a solution of the mixed variational inequalities. It has been considered that a large class of problems, including linear and non-linear operators, considering the fields of applied and pure areas of mathematics, can be investigated in the structure of MVI (1), see [
4,
20]. If we consider that the term
is semi-lower continuous, proper, and convex, then the inequality (1) is considered to find a point
such that
where
is defined as function of the subdifferential term. We called this expression (2) a variational problem. One can also say that the expression (2) is also known as the challenge of sum of two operators finding zeros that are considered monotone . For further theory and applications in the field mathematics and particularly in the numerical areas and other importance of mixed MVI, see [
10,
22].
As we know, the projection technique cannot be used to a set the equivalent relation between MVI and the fixed-point problem just because of term
However, if we define
, which is the nonlinear term in the MVI as a lower semicontinuous function, convex and proper, then the resolvent operator technique plays an important role in establishing the equivalence between the MVI and the fixed-point problem. The resolvent step only constitutes the sub-differential of a proper, convex, and lower semicontinuous function component and the other part describes the problem of disintegration. This step helps to establish very proficient techniques for solving the MVI by means of resolvent equations, see [
21]. In this research, we suggest a new self adaptive technique involving step size to solve the MVI. The convergence analysis of the proposed method is also provided.
2. Preliminaries
In this section, we provide necessary and basic information, which are required for constructing new results. These basic lemmas help us to develop linkage and correlation to understand the new iterative schemes. These are basic and important results. We require the following familiar results.
Lemma 1. Consider F is a differentiable convex function and E is a convex set. Then, is the minimum of f, iff satisfies the inequality Proof. Consider
be the minimum of function
, then
, we know that
and let
Replace
g by
in Equation (
4), we have
Divide by
t and then take limit
Conversely: As
F is known as convex function then let
satisfies
Rearrange the expression, we have
After adjustment, we obtain
From Equation (5), we have
□
This shows that is the minimum of Where is the Frechet derivative of F at The inequality (3) is called the variational inequality. From this lemma, we conclude that convexity plays an important role in VI.
We know that VI have been extended in various directions. An important generalization of VI is MVI or VI of the second kind involving the non-linear term
We observe that if
is defined as the indicator function of a close convex set
E in
that is
then the inequality (1) is equivalent to find
such that
problem (7) is called the classical variational inequality, which was investigated by Stampacchia, see [
6]. Application purpose VI is used to investigate many problems of unrelated odd order and nonsymetric obstacles, as well as free, moving, and equilibrium problems arising in regional, engineering and applied sciences, and in physical and mathematical fields , see [
7,
10,
12,
18,
23,
24].
We know that the projection technique along with Wiener–Hopf equations is not useful for the solution of MVI. To overcome this draw back, we use resolvent operator technique.
We now define some basic concepts.
Definition 1 ([
2])
. We can define the resolvent operator involving a maximal monotone operator A on H, for a given constant such as:This is the fact that the resolvent operator is defined everywhere, if and only if the monotone operator is maximal. Additionally, it is a nonexpansive single valued function and satisfied the given inequality, Remark 1. Being maximal monotone subdifferential of a proper, convex, and lower semicontineous function so it can be written as The following are the characterization of the resolvent operator .
Lemma 2 ([
2])
. For a given and we haveiff,where, here known as the resolvent operator.
This lemma shows the equivalence relation between MVI and the fixed-point problem.
Lemma 3 ([
19,
21])
. Given a function as a solution of the inequality (1), then we haveThis formulation is used to establish a self-adaptive technique for the solution of the MVI. Consider We now define the residue vector as From Lemma 2, we can see that if f is a solution of (1), then Related to the MVI (1), we take the problem for resolvent equations. Suppose where I and are the identity and resolvent operators, respectively. For given operator where is a Hilbert space then the problem of finding defined the resolvent equation, such thatwhich was studied and introduced by Noor [14]. The resolvent equation is used to develop various efficient numerical techniques, which are more flexible. Lemma 4. For , satisfies the resolvent Equation (14) iff, where, is constant. From Lemma 4, the MVI (1) and resolvent Equation (14) are equal. This can be verified as: From (15) and (16), we can writewhere we see We consider then This indicates that MVI and resolvent equation are equivalent.
This alternative method of equivalence has been considered for studying many efficient iterative schemes for MVI and is also related to optimization problems. This represents the solution of MVI (1) from the Lemma 3; we see that the inequality (1) and the resolvent equation are the same. This alternating formulation is useful for numerical and approximation schemes. We exercise this formulation to establish and analyze a number of iterative schemes for solving the MVI (1).
3. Main Results
In this section, first by using the basic lemmas and results captioned in preliminaries, we establish the new and modified scheme. By using this scheme, we modify the fixed-point formulation, and this updates the solution. This scheme is a new in the theory of MVI and is also a extention of VI.
Using (13), (15) and (16), the Equation (
14) can be considered in the form
We now define the relation
It is known that
is a solution of MVI (1.1), if and only if
is a zero of the function
Using (11) and (18), we can rewrite as
The above results are used for establishing the iterative schemes for the MVI problem (1). This is a modification to upgrade the iterative scheme and is new in the theory of MVI.
For solving the MVI (1), the above modification in the result has provoked us to make the following new self-adaptive iterative schemes.
This technique has their own standard procedure closely related to projection residue technique.
In the next section we consider the convergence criteria of Algorithm 1 and this is main motivation of our results and output. Convergence analysis is very important to define existence of the solution under cetain conditions. The Theorem 1 is the convergence of the newly established results.
Algorithm 1 Self-adaptive Iterative Scheme |
Step 0: Given and set Step 1: Stopping criteria: Set If where Step 2: where Step 3: then set else set Repeat step 1 by substituting . |
Theorem 1. Let the operators be strongly monotone and Lipschitz continous with constant and respectively. Ifwhereand for all then the approximate solution obtained from the Algorithm 1 converges to a solution satisfying the MVI (1). Proof. Since
is a solution of MVI (1), it follows from Lemma 2 that
Applying Algorithm 1 and using the property of nonexpansive of
, we obtain the following result:
By using the strong monotocity and Lipschitz continuity property of
, we have
which is equivalent to
From (25) and (26), we obtain
Let
and equation
becomes
The results of (21), (24) and the definition of
f give the following expression:
It follows that
Similarly,
From (29)–(31), we have
From (28) and (32), we obtain
Let
where
Inequality (33) becomes
By applying quadratic formula
From (33), we obatin
In a similar way, we obtain
□
The above result shows that the general solution of Algorithm 1 converges to approximate solution Since and the problem (1) has a unique solution consequently which is the required result. These results show that under certain conditions, the solution exists and it is unique. This was the main target of the results.
In the next section, we provide the numerical example for the solution of the problem. This is the implementation of the defined results.