Iterative Algorithms for General Multivalued Variational Inequalities

and Applied Analysis 3 which is called the general variational inequality, introduced and studied by Noor 19 . It has been shown that the minimum of a class of differentiable functions can be characterized by the general variational inequality of type 2.3 . B If g ≡ I, the identity operator, then 2.1 reduces to find u ∈ C and w ∈ A u such that 〈F u w,v − u〉 ≥ 0, ∀v ∈ C, 2.4 which is known as the mildly nonlinear multivalued variational inequality and has been studied extensively. If F and A are single-valued nonlinear operators, then problem 2.1 is equivalent to finding u ∈ C such that 〈F u A u , v − u〉 ≥ 0, ∀v ∈ C, 2.5 which is known as the mildly nonlinear variational inequality, the origin of which can be traced back to Noor 15 . C If w 0 and g ≡ I, then 2.1 reduces to: find u ∈ C such that 〈F u , v − u〉 ≥ 0, ∀v ∈ C, 2.6 which is wellknown as the variational inequality, originally introduced and studied by Stampacchia 24 in 1964. It is clear from the above discussion that general multivalued variational inequality is quite general one. It has been shown that a wide class of problems arising in various discipline of mathematical and engineering sciences can be studied via the general multivalued variational inequalities 2.1 and its special cases. In the sequel, we need the following well-known lemma. Lemma 2.1. For a given z ∈ H, u ∈ C satisfies the inequality 〈u − z, v − u〉, ∀v ∈ C, 2.7


Introduction
Variational inequality problems were initially studied by Stampacchia in 1964.Variational inequalities have applications in diverse disciplines such as partial differential equations, optimal control, optimization, mathematical programming, mechanics, and finance, see 1-33 and the references therein.Variational inequalities have been extended and generalized in several directions using novel and innovative techniques.It is a common practice to study these variational inequalities in the setting of convexity.It has been observed that the optimality conditions of the differentiable convex functions can be characterized by the variational inequalities.In recent years, it has been shown that the minimum of the differentiable nonconvex functions can also be characterized by the variational inequalities.Motivated and inspired by these developments, Noor 19 has introduced a new type of variational inequality involving two nonlinear operators, which is called the general variational inequality.It is worth mentioning that this general variational inequality is remarkable different from the so-called general variational inequality which was introduced by Noor 16 in 1988.Noor 19 proved that the general variational inequalities are equivalent to nonlinear projection equations and the Wiener-Hopf equations by using the projection technique.Using this equivalent formulation, Noor 19 suggested and analyzed some iterative algorithms for solving the special general variational inequalities and further proved these algorithms have strong convergence.In this paper, we introduce and consider a new class of variational inequalities, which is called the general multivalued variational inequality.Using essentially the projection technique, we establish the equivalence between the multivalued variational inequalities and the multivalued Wiener-Hopf equations.
Related to the variational inequalities, we have the problem of finding the fixed points of the nonexpansive mappings, which is the subject of current interest in functional analysis.It is natural to consider a unified approach to these two different problems.Noor and Huang 21 considered the problem of finding the common element of the set of the solutions of variational inequalities and the set of the fixed points of the nonexpansive mappings.We use the Wiener-Hopf technique to suggest and analyze some iterative methods for finding the common element the common element of the set of fixed points of a nonexpansive mapping and the set of solutions of the special general variational inequalities.We also consider the convergence criteria of the proposed algorithms under suitable conditions.Several special cases are also discussed.

Preliminaries
Let C be a nonempty closed convex subset of a real Hilbert space H. Let A : H → 2 H be a multivalued mapping.Let F, g : H → H be two nonlinear operators.We consider the problem of finding u ∈ C and w ∈ A u such that Inequality of type 2.1 is called the general multivalued variational inequality.We will denote the set of solutions of the special general variational inequality 2.1 by SGVI F, A, g .The general multivalued variational inequality 2.1 can be written in the following equivalent form, that is, find u ∈ C, w ∈ A u and g u ∈ C such that This equivalent formulation is very important and plays a crucial role in the development of the iterative methods for solving the general multivalued variational inequalities.We now discuss several special cases.

Special Cases
A If w 0, then 2.1 reduces to: which is called the general variational inequality, introduced and studied by Noor 19 .It has been shown that the minimum of a class of differentiable functions can be characterized by the general variational inequality of type 2.3 .B If g ≡ I, the identity operator, then 2.1 reduces to find u ∈ C and w ∈ A u such that which is known as the mildly nonlinear multivalued variational inequality and has been studied extensively.
If F and A are single-valued nonlinear operators, then problem 2.1 is equivalent to finding u ∈ C such that which is known as the mildly nonlinear variational inequality, the origin of which can be traced back to Noor 15 .C If w 0 and g ≡ I, then 2.1 reduces to: find u ∈ C such that which is wellknown as the variational inequality, originally introduced and studied by Stampacchia 24 in 1964.It is clear from the above discussion that general multivalued variational inequality is quite general one.It has been shown that a wide class of problems arising in various discipline of mathematical and engineering sciences can be studied via the general multivalued variational inequalities 2.1 and its special cases.
In the sequel, we need the following well-known lemma.
Using Remark 2.4 and Lemma 2.3, we can suggest the following algorithm for finding the common element of the solutions set of the variational inequalities and the set of fixed points of a nonexpansive mapping.Algorithm 2.5.For a given x 0 ∈ H arbitrarily, let the sequence {x n } be generated by where {α n } is a sequence in 0, 1 and ρ > 0 is some constant.
Note that, if S ≡ I, then Algorithm 2.5 reduces to the following iterative method for solving the general variational inequalities.
Algorithm 2.6.For a given x 0 ∈ H arbitrarily, let the sequence{x n } be generated by where {α n } is a sequence in 0, 1 and ρ > 0 is some constant.
If {w n } 0, then Algorithm 2.5 reduces to the following iterative method for solving the general variational inequalities 2.3 , which was considered by Noor 19 .
Algorithm 2.7.For a given x 0 ∈ H arbitrarily, let the sequence {x n } be generated by where {α n } is a sequence in 0, 1 and ρ > 0 is some constant.
If g S ≡ I and {w n } 0, then Algorithm 2.5 reduces to the following iterative method for solving the variational inequalities 2.6 .Algorithm 2.8.For a given x 0 ∈ H arbitrarily, let the sequence {x n } be generated by where {α n } is a sequence in 0, 1 and ρ > 0 is some constant.
We recall the well-known concepts.The multivalued mapping A is said to be γ-Lipschitzian if there exists a constant γ > 0 such that

2.23
Recall that a mapping S :

2.24
We will use F S to denote the set of fixed points of S.
A mapping F : C → H is called α-strongly monotone if there exists a constant α > 0 such that and β-Lipschitz continuous if there exists a constant β > 0 such that

Main Results
Now we state and prove our main result.
Theorem 3.1.Let C be a nonempty closed convex subset of a real Hilbert space H. Let F : C → H be an α-strongly monotone and β-Lipschitz continuous mapping, g : C → H an σ-strongly monotone and δ-Lipschitz continuous mapping and A : H → 2 H be a γ-Lipschitz continuous mapping.Let S : C → C be a nonexpansive mapping such that F S ∩ SGVI F, A, g / ∅.Assume that

3.1
where then the approximate solution {y n 1 } obtained from Algorithm 2.5 converges strongly to y ∈ SGWH F, A, g .
Proof.Let x * ∈ F S ∩ SGVI F, A, g .Then, from Remark 2.4, we have where y ∈ H and w ∈ A y satisfy the general Wiener-Hopf equations 2.10 .From 2.19 and 3.1 , we have From 2.19 , we have

3.5
Since g is an σ-strongly monotone and δ-Lipschitz continuous mapping, we have

Abstract and Applied Analysis
At the same time, we note that F is an α-strongly monotone and β-Lipschitz continuous mapping, so we have

Conclusion
One of the most difficult and important problems in variational inequalities is the development of an efficient numerical methods.One of the technique is called the projection method and its variant forms.Projection method represent an important tool for finding the approximate solution of various types of variational inequalities.The projection type methods were developed in 1970s.The main idea in this techniques is to establish the equivalence between the variational inequalities and the fixed point problem using the concept of projection.These methods have been extended and modified in various ways.Shi 22 considered the problem of solving a system of nonlinear projections, which are called the Wiener-Hopf equations.It has been shown by Shi 22 that the Wiener-Hopf equations are equivalent to the variational inequalities.It turns out that this alternative formulation is more general and flexible.It has been shown that the Wiener-Hopf equations provide us a simple, natural, elegant, and convenient device to develop some efficient numerical methods for solving variational and complementarity problems.In this paper, we introduce and study some new classes of variational inequalities and Wiener-Hopf equations.Using essentially the projection technique, we establish the equivalence between these problems.This equivalence is used to suggest and analyze some iterative methods for solving the general multivalued variational inequalities in conjunction with nonexpansive mappings.We prove a strong convergence result for finding the common element of the set of fixed points of a nonexpansive mapping and the set of solutions of the general multivalued variational inequalities under some mild conditions.Several special cases are also discussed.The ideas and techniques of this paper may be a starting point for a wide range of novel and innovative applications in various fields.
By using18emma 2.1, one can prove that the general multivalued variational inequality 2.1 is equivalent to the following fixed point problem.Related to the general multivalued variational inequality 2.1 , we consider the problem of solving the Wiener-Hopf equations.Let F, g : H → H be two nonlinear operators and A : H → 2 H be a multi-valued relaxed monotone operator.Let Q C I − gP C , where I is the identity operator.We consider the problem of finding y ∈ H : w ∈ A y such thatFP C y w ρ −1 Q C y 0, 2.10which is called the special general multivalued Wiener-Hopf equations.We use SGWH F, A, g to denote the set of solutions of the special general multivalued Wiener-Hopf equations.For different and suitable choice of the operators F, A, we can obtain various forms of the Wiener-Hopf equations, which have been studied byNoor 17 , Shi 22, and others.Using essentially the technique ofNoor 17,18and applying Lemma 2.2, one can establish the equivalence between the Wiener-Hopf equations and the general multivalued variational inequalities 2.1 .To convey an idea of the technique and for the sake of completeness, we include its proof.If u ∈ SGVI F, A, g , then y ∈ H and w ∈ A y satisfy the general Wiener-Hopf equations 2.10 , where I − gP C , which is exactly the general Wiener-Hopf equations 2.10 .This completes the proof.
Lemma 2.1.For a given z ∈ H, u ∈ C satisfies the inequality u − z, v − u , ∀v ∈ C, C is the projection of H into the closed convex set C.Proof.Let u ∈ SGVI F, A, g .Then, from Lemma 2.2, we have u P C g u − ρ F u w .2.12Lety g u − ρ F u w , ∀w ∈ A u .C y w ρ −1 Q C y 0, ∀w ∈ AP C y, 2.16where Q C