Abstract

We suggest and analyze some implicit iterative methods for solving the extended general nonconvex variational inequalities using the projection technique. We show that the convergence of these iterative methods requires only the gh-pseudomonotonicity, which is a weaker condition than gh-monotonicity. We also discuss several special cases. Our method of proof is very simple as compared with other techniques.

1. Introduction

Variational inequalities, which were introduced and studied in early sixties, contain wealth of new ideas. Variational inequalities can be considered as a natural extension of the variational principles. It is well known that the variational inequalities characterize the optimality conditions of the differentiable convex functions on the convex sets in normed spaces. In recent years, Noor [1–6] has introduced and studied a new class of variational inequalities involving three different operators, which is called the extended general variational inequalities. Noor [1–6] has shown that the minimum of a differentiable nonconvex (π‘”β„Ž-convex) function on the nonconvex set (π‘”β„Ž-convex) can be characterized by the class of extended general variational inequalities. The class of extended general variational include the general variational inequalities [1–33] and variational inequalities as special cases. This clearly shows that the extended general variational inequalities are more general and unifying ones. For applications, physical formulation, numerical methods, and other aspects of variational inequalities, see [1–35] and the references therein. However, all the work carried out in this direction assumes that the underlying set is a convex set. In many practical situations, a choice set may not be a convex set so that the existing results may not be applicable. To handle such situations, Noor [20–25] has introduced and considered a new class of variational inequalities, called the general nonconvex variational inequality on the uniformly prox-regular sets. It is well known that uniformly prox-regular sets are nonconvex and include the convex sets as special cases, see [8, 9, 32]. Using the projection operator, Noor [27] proved a new characterization of the projection operator for the prox-regular sets. Using this characterization, one can easily show that nonconvex projection operator is Lipschitz continuous, which is a new result. Using this new characterization of the projection of the prox-regular sets, one can establish the equivalence between the nonconvex variational inequalities and the fixed point problems. This equivalence is useful to study various concepts for the nonconvex variational inequalities.

Motivated and inspired by the recent activities in this dynamic field, we consider the extended general noncomvex variational inequalities on the prox-regular sets. We use the projection technique to establish the equivalence between the extended general nonconvex variational inequalities and the fixed point problems. We use this alternative formulation to some unified implicit and extragradient methods for solving the extended general nonconvex variational inequalities. These new methods include the modified projection method of Noor [27] and the extragradient method of Korpelevič [11] as special cases. The main motivation of this paper is to improve the convergence criteria. We show that the convergence of the implicit iterative methods requires only the π‘”β„Ž-pseudomonotonicity, which is weaker condition that π‘”β„Ž-monotonicity. It is worth mentioning that we do not need the Lipschitz continuity of the operator. In this sense, our result represents an improvement and refinement of the known results. Our method of proof is very simple.

2. Basic Concepts

Let 𝐻 be a real Hilbert space whose inner product and norm are denoted by βŸ¨β‹…,β‹…βŸ© and β€–β‹…β€–, respectively. Let 𝐾 be a nonempty closed convex set in 𝐻. The basic concepts and definitions used in this paper are exactly the same as in Noor [20, 22]. We now recall some basic concepts and results from nonsmooth analysis [9, 32].

Definition 2.1 (see [9, 32]). The proximal normal cone of 𝐾 at π‘’βˆˆπ» is given by 𝑁𝑃𝐾(𝑒)∢=πœ‰βˆˆπ»βˆΆπ‘’βˆˆπ‘ƒπΎ[]𝑒+π›Όπœ‰,(2.1) where 𝛼>0 is a constant and 𝑃𝐾[𝑒]=ξ€½π‘’βˆ—βˆˆπΎβˆΆπ‘‘πΎ(𝑒)=β€–π‘’βˆ’π‘’βˆ—β€–ξ€Ύ.(2.2) Here 𝑑𝐾(β‹…) is the usual distance function to the subset 𝐾, that is, 𝑑𝐾(𝑒)=infπ‘£βˆˆπΎβ€–π‘£βˆ’π‘’β€–.(2.3)

The proximal normal cone 𝑁𝑃𝐾(𝑒) has the following characterization.

Lemma 2.2. Let 𝐾 be a nonempty, closed and convex subset in 𝐻. Then πœβˆˆπ‘π‘ƒπΎ(𝑒), if and only if, there exists a constant 𝛼>0 such that ⟨𝜁,π‘£βˆ’π‘’βŸ©β‰€π›Όβ€–π‘£βˆ’π‘’β€–2,βˆ€π‘£βˆˆπΎ.(2.4)

Definition 2.3. The Clarke normal cone, denoted by 𝑁𝐢𝐾(𝑒), is defined as 𝑁𝐢𝐾(𝑒)=𝑁co𝑃𝐾(𝑒),(2.5) where co means the closure of the convex hull. Clearly 𝑁𝑃𝐾(𝑒)βŠ‚π‘πΆπΎ(𝑒), but the converse is not true. Note that 𝑁𝑃𝐾(𝑒) is always closed and convex, whereas 𝑁𝐢𝐾(𝑒) is convex, but may not be closed [32].

Definition 2.4 (see [29]). For a given π‘Ÿβˆˆ(0,∞], a subset πΎπ‘Ÿ is said to be normalized uniformly π‘Ÿ-prox-regular if and only if every nonzero proximal normal to πΎπ‘Ÿ can be realized by an π‘Ÿ-ball, that is, for all π‘’βˆˆπΎπ‘Ÿ and 0β‰ πœ‰βˆˆπ‘π‘ƒπΎπ‘Ÿ(𝑒), one has (πœ‰)≀1β€–πœ‰β€–,π‘£βˆ’π‘’ξ‚2π‘Ÿβ€–π‘£βˆ’π‘’β€–2,βˆ€π‘£βˆˆπΎπ‘Ÿ.(2.6) It is clear that the class of normalized uniformly prox-regular sets is sufficiently large to include the class of convex sets, 𝑝-convex sets, 𝐢1,1 submanifolds (possibly with boundary) of 𝐻, the images under a 𝐢1,1 diffeomorphism of convex sets, and many other nonconvex sets, see [11, 29]. It is well known [9, 32] that the union of two disjoint intervals [π‘Ž,𝑏] and [𝑐,𝑑] is a prox regular set with π‘Ÿ=(π‘βˆ’π‘)/2.Obviously, for π‘Ÿ=∞, the uniformly prox-regularity of πΎπ‘Ÿ is equivalent to the convexity of 𝐾. This class of uniformly prox-regular sets have played an important part in many nonconvex applications such as optimization, dynamic systems, and differential inclusions. It is known that if πΎπ‘Ÿ is a uniformly prox-regular set, then the proximal normal cone π‘π‘ƒπΎπ‘Ÿ(𝑒) is closed as a set-valued mapping.

We now recall the well-known proposition which summarizes some important properties of the uniformly prox-regular sets πΎπ‘Ÿ.

Lemma 2.5. Let 𝐾 be a nonempty closed subset of 𝐻,π‘Ÿβˆˆ(0,∞] and set πΎπ‘Ÿ={π‘’βˆˆπ»βˆΆπ‘‘πΎ(𝑒)<π‘Ÿ}. If πΎπ‘Ÿ is uniformly prox-regular, then(i)forallπ‘’βˆˆπΎπ‘Ÿ,π‘ƒπΎπ‘Ÿ(𝑒)β‰ βˆ…, (ii)forallπ‘Ÿξ…žβˆˆ(0,π‘Ÿ),π‘ƒπΎπ‘Ÿ is Lipschitz continuous with constant π‘Ÿ/(π‘Ÿβˆ’π‘Ÿξ…ž) on πΎπ‘Ÿβ€².

For given nonlinear operators 𝑇,𝑔,β„Ž, we consider the problem of finding π‘’βˆˆπ»βˆΆβ„Ž(𝑒)βˆˆπΎπ‘Ÿ such thatβ€–βŸ¨πœŒπ‘‡π‘’+β„Ž(𝑒)βˆ’π‘”(𝑒),𝑔(𝑣)βˆ’β„Ž(𝑒)⟩+𝛾‖𝑔(𝑣)βˆ’β„Ž(𝑒)2β‰₯0,βˆ€π‘£βˆˆπ»βˆΆπ‘”(𝑣)βˆˆπΎπ‘Ÿ,(2.7) which is called the extended general nonconvex variational inequality. Here 𝛾>0 and 𝜌>0 are constants.

We remark that if 𝑔=β„Ž, then problem (2.7) is equivalent to finding π‘’βˆˆπ»βˆΆπ‘”(𝑒)βˆˆπΎπ‘Ÿ such thatβ€–βŸ¨πœŒπ‘‡π‘’,𝑔(𝑣)βˆ’π‘”(𝑒)⟩+𝛾‖𝑔(𝑣)βˆ’π‘”(𝑒)2β‰₯0,βˆ€π‘£βˆˆπ»βˆΆπ‘”(𝑣)βˆˆπΎπ‘Ÿ,(2.8) which is called the general nonconvex variational inequality, introduced and studied by Noor [27].

We note that, if πΎπ‘Ÿβ‰‘πΎ, the convex set in 𝐻, then problem (2.7) is equivalent to finding π‘’βˆˆπ»βˆΆβ„Ž(𝑒)∈𝐾 such thatβŸ¨π‘‡π‘’+β„Ž(𝑒)βˆ’π‘”(𝑒),𝑔(𝑣)βˆ’β„Ž(𝑒)⟩β‰₯0,βˆ€π‘£βˆˆπ»βˆΆπ‘”(𝑣)∈𝐾,(2.9) which is known as the extended general variational inequality, introduced and studied by Noor [1–6]. For the applications, numerical methods, formulation, and other aspects of the extended general variational inequalities (2.8), see [1–6, 30, 31] and the references therein.

If π‘”β‰‘β„Žβ‰‘πΌ, the identity operator, then both problems (2.7) and (2.8) are equivalent to finding π‘’βˆˆπΎπ‘Ÿ such thatβŸ¨πœŒπ‘‡π‘’,π‘£βˆ’π‘’βŸ©+π›Ύβ€–π‘£βˆ’π‘’β€–2β‰₯0,βˆ€π‘£βˆˆπΎπ‘Ÿ,(2.10) which is called the nonconvex variational inequality. For the formulation and numerical methods for the nonconvex variational inequalities, see [3, 8, 18–27].

We note that if πΎπ‘Ÿβ‰‘πΎ, the convex set in 𝐻, then problem (2.8) is equivalent to finding π‘’βˆˆπ»βˆΆπ‘”(𝑒)∈𝐾 such thatβŸ¨π‘‡π‘’,𝑔(𝑣)βˆ’π‘”(𝑒)⟩β‰₯0,βˆ€π‘£βˆˆπ»βˆΆπ‘”(𝑣)∈𝐾.(2.11) Inequality of type (2.11) is called the general variational inequality involving two operators, which was introduced and studied by Noor [14] in 1988. It has been shown that the minimum of the differentiable 𝑔-convex function on a 𝑔-convex set can be characterized by the general variational inequality of type (3.4). It has been shown that a wide class of odd-order and nonsymmetric problems can be studied via the general variational inequalities. For the numerical method, sensitivity analysis, dynamical systems, and other aspects of general variational inequalities, see [7, 15, 16]. For 𝑔=𝐼, the identity operator, one can obtain the original variational inequality, which was introduced and studied by Stampacchia [33] in 1964. It turned out that a number of unrelated obstacle, free, moving, unilateral, and equilibrium problems arising in various branches of pure and applied sciences can be studied via variational inequalities, see [1–35] and the references therein.

If πΎπ‘Ÿ is a nonconvex (uniformly prox-regular) set, then problem (2.7) is equivalent to finding π‘’βˆˆπ»βˆΆπ‘”(𝑒)βˆˆπΎπ‘Ÿ such that0βˆˆπœŒπ‘‡π‘’+β„Ž(𝑒)βˆ’π‘”(𝑒)+π‘π‘ƒπΎπ‘Ÿ(β„Ž(𝑒)),(2.12) which is called the extended general nonconvex variational inclusion problem associated with general nonconvex variational inequality (2.7). Here π‘π‘ƒπΎπ‘Ÿ(β„Ž(𝑒)) denotes the normal cone of πΎπ‘Ÿ at β„Ž(𝑒) in the sense of nonconvex analysis. This equivalent formulation plays a crucial and basic part in this paper. We would like to point out that this equivalent formulation allows us to use the projection operator technique for solving the general nonconvex variational inequalities of the type (2.7).

We now prove that the projection operator π‘ƒπΎπ‘Ÿ has the following characterization for the prox-regular sets. This result is due to Noor [27]. We include its proof for the sake of completeness and to convey an idea of the technique.

Lemma 2.6 (see [27]). Let πΎπ‘Ÿ be a prox-regular and closed set in 𝐻. Then, for a given π‘§βˆˆπ»,π‘’βˆˆπΎπ‘Ÿ satisfies the inequality βŸ¨π‘’βˆ’π‘§,π‘£βˆ’π‘’βŸ©+π›Ύβ€–π‘£βˆ’π‘’β€–2,βˆ€π‘£βˆˆπΎπ‘Ÿ,(2.13) if and only if, 𝑒=π‘ƒπΎπ‘Ÿ[𝑧],(2.14) where π‘ƒπΎπ‘Ÿ is the projection of 𝐻 onto the prox-regular set πΎπ‘Ÿ.

Proof. Let π‘’βˆˆπΎπ‘Ÿ. Then, for given π‘§βˆˆπ», we have (2.13)βŸΊπ‘’βˆ’π‘§βˆˆπ‘π‘ƒπΎπ‘Ÿξ‚€(𝑒)βŸΊπ‘§βˆˆπΌ+π‘π‘ƒπΎπ‘Ÿξ‚βˆ’1ξ‚€(𝑒)βŸΊπ‘’=𝐼+π‘π‘ƒπΎπ‘Ÿξ‚βˆ’1[𝑧]=π‘ƒπΎπ‘Ÿ[𝑧],(2.15) where π‘ƒπΎπ‘Ÿ=(𝐼+π‘π‘ƒπΎπ‘Ÿ)βˆ’1 is the projection operator.

We note that, if πΎπ‘Ÿβ‰‘πΎ, the closed convex set, then Lemma 2.6 is a well-known result, see [10]. Using Lemma 2.6, one can easily prove that the nonconvex projection operator π‘ƒπΎπ‘Ÿ is Lipschitz continuous.

Definition 2.7. An operator π‘‡βˆΆπ»β†’π» with respect to the arbitrary operators 𝑔,β„Ž is said to be π‘”β„Ž-pseudomonotone, if and only if, β€–βŸ¨πœŒπ‘‡π‘’,𝑔(𝑣)βˆ’β„Ž(𝑒)⟩+πœŒπ›Ύβ€–π‘”(𝑣)βˆ’β„Ž(𝑣)2β€–β‰₯0βŸΉβˆ’βŸ¨π‘‡π‘£,β„Ž(𝑣)βˆ’π‘”(𝑒)⟩+𝛾‖𝑔(𝑒)βˆ’β„Ž(𝑣)2β‰₯0,βˆ€π‘’,π‘£βˆˆπ».(2.16)

3. Main Results

It is known that the extended general nonconvex variational inequalities (2.7) are equivalent to the fixed point problem. One can also prove this result using Lemma 2.6.

Lemma 3.1. π‘’βˆˆπ»βˆΆβ„Ž(𝑒)βˆˆπΎπ‘Ÿ is a solution of the general nonconvex variational inequality (2.7) if and only if π‘’βˆˆπ»βˆΆβ„Ž(𝑒)βˆˆπΎπ‘Ÿ satisfies the relation β„Ž(𝑒)=π‘ƒπΎπ‘Ÿ[]𝑔(𝑒)βˆ’πœŒπ‘‡π‘’,(3.1) where π‘ƒπΎπ‘Ÿ is the projection of 𝐻 onto the uniformly prox-regular set πΎπ‘Ÿ.

Lemma 3.1 implies that (2.7) is equivalent to the fixed point problem (3.1). This alternative equivalent formulation is very useful from the numerical and theoretical points of view. Using the fixed point formulation (3.1), we suggest and analyze the following iterative methods for solving the extended general nonconvex variational inequality (2.7).

Algorithm 3.2. For a given 𝑒0∈𝐻, find the approximate solution 𝑒𝑛+1 by the iterative scheme β„Žξ€·π‘’π‘›+1ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›ξ€Έβˆ’πœŒπ‘‡π‘’π‘›ξ€»,𝑛=0,1,…,(3.2) which is called the explicit iterative method. For the convergence analysis of Algorithm 3.2, see Noor [19].

We again use the fixed point formulation is used to suggest and analyze the following iterative method for solving (2.7).

Algorithm 3.3. For a given 𝑒0∈𝐻, find the approximate solution 𝑒𝑛+1 by the iterative scheme β„Žξ€·π‘’π‘›+1ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›ξ€Έβˆ’πœŒπ‘‡π‘’π‘›+1ξ€»,𝑛=0,1,….(3.3) Algorithm 3.3 is an implicit iterative method for solving the extended general nonconvex variational inequalities (2.7) and is a new one. Using Lemma 2.6, one can rewrite Algorithm 3.3 in the following equivalent form.

Algorithm 3.4. For a given 𝑒0∈𝐻, find the approximate solution 𝑒𝑛+1 by the iterative schemes ξ«πœŒπ‘‡π‘’π‘›+1𝑒+β„Žπ‘›+1ξ€Έξ€·π‘’βˆ’π‘”π‘›ξ€Έξ€·π‘’,𝑔(𝑣)βˆ’β„Žπ‘›+1‖‖𝑒+𝛾𝑔(𝑣)βˆ’β„Žπ‘›+1ξ€Έβ€–β€–2β‰₯0,βˆ€π‘£βˆˆπ»βˆΆπ‘”(𝑣)βˆˆπΎπ‘Ÿ.(3.4)

To implement Algorithm 3.3, we use the predictor-corrector technique. We use Algorithm 3.2 as predictor and Algorithm 3.3 as a corrector to obtain the following predictor-corrector method for solving the extended general nonconvex variational inequality (2.7).

Algorithm 3.5. For a given 𝑒0∈𝐻, find the approximate solution 𝑒𝑛+1 by the iterative schemes 𝑔𝑀𝑛=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›ξ€Έβˆ’πœŒπ‘‡π‘’π‘›ξ€»,β„Žξ€·π‘’π‘›+1ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›ξ€Έβˆ’πœŒπ‘‡π‘€π‘›ξ€»,𝑛=0,1,….(3.5)

Algorithm 3.5 is known as the extended extragradient method. This method includes the extragradient method of Korpelevič [11] for β„Ž=𝑔=𝐼. Here we would like to point out that the implicit method (Algorithm 3.3) and the extragradient method (Algorithm 3.5) are equivalent.

We now consider the convergence analysis of Algorithm 3.3, and this is the main motivation of our next result.

Theorem 3.6. Let π‘’βˆˆπ»βˆΆβ„Ž(𝑒)βˆˆπΎπ‘Ÿ be a solution of (2.7) and let 𝑒𝑛+1 be the approximate solution obtained from Algorithm 3.3. If the operator 𝑇 is π‘”β„Ž-pseudomonotone, then ‖‖𝑒𝑔(𝑒)βˆ’β„Žπ‘›+1ξ€Έβ€–β€–2≀‖‖𝑒𝑔(𝑒)βˆ’π‘”π‘›ξ€Έβ€–β€–2βˆ’β€–β€–ξ€·π‘’(π‘”π‘›ξ€Έξ€·π‘’βˆ’β„Žπ‘›+1ξ€Έβ€–β€–2.(3.6)

Proof. Let π‘’βˆˆπ»βˆΆβ„Ž(𝑒)βˆˆπΎπ‘Ÿ be a solution of (2.7). Then β€–βŸ¨πœŒπ‘‡π‘£,β„Ž(𝑣)βˆ’π‘”(𝑒)⟩+𝛾‖𝑔(𝑒)βˆ’β„Ž(𝑣)2β‰₯0,βˆ€π‘£βˆˆπ»βˆΆπ‘”(𝑣)βˆˆπΎπ‘Ÿ,(3.7) since the operator 𝑇 is π‘”β„Ž-pseudomonotone. Take 𝑣=𝑒𝑛+1 in (3.7), we have ξ«πœŒπ‘‡π‘’π‘›+1𝑒,β„Žπ‘›+1ξ€Έξ¬β€–β€–ξ€·π‘’βˆ’π‘”(𝑒)+𝛾𝑔(𝑒)βˆ’β„Žπ‘›+1ξ€Έβ€–β€–2β‰₯0.(3.8) Taking 𝑣=𝑒 in (3.4), we have ξ«πœŒπ‘‡π‘’π‘›+1𝑒+β„Žπ‘›+1ξ€Έξ€·π‘’βˆ’π‘”π‘›ξ€Έξ€·π‘’,𝑔(𝑒)βˆ’β„Žπ‘›+1‖‖𝑒+𝛾𝑔(𝑒)βˆ’β„Žπ‘›+1ξ€Έβ€–β€–2β‰₯0.(3.9) From (3.8) and (3.9), we have ξ«β„Žξ€·π‘’π‘›+1ξ€Έξ€·π‘’βˆ’π‘”π‘›ξ€Έξ€·π‘’,𝑔(𝑒)βˆ’β„Žπ‘›+1+ξ«ξ€Έξ¬πœŒπ‘‡π‘’π‘›+1𝑒,𝑔(𝑒)βˆ’β„Žπ‘›+1+‖‖𝑔(𝑒)βˆ’β„Ž(𝑒𝑛+1)β€–β€–2β‰₯0.(3.10) It is well known that 2βŸ¨π‘£,π‘’βŸ©=‖𝑒+𝑣‖2βˆ’β€–π‘£β€–2βˆ’β€–π‘’β€–2,βˆ€π‘’,π‘£βˆˆπ».(3.11) Using (3.11), from (3.10), one can easily obtain ‖‖𝑔(𝑒)βˆ’β„Ž(𝑒𝑛+1)β€–β€–2β€–β€–les𝑔(𝑒)βˆ’π‘”(𝑒𝑛)β€–β€–2βˆ’β€–β€–(𝑔(𝑒𝑛)βˆ’β„Ž(𝑒𝑛+1)β€–β€–2,(3.12) the required result (3.6).

Theorem 3.7. Let π‘’βˆˆπ»βˆΆβ„Ž(𝑒)βˆˆπΎπ‘Ÿ be a solution of (2.7) and let 𝑒𝑛+1 be the approximate solution obtained from Algorithm 3.3. Let 𝐻 be a finite dimensional space. Then limπ‘›β†’βˆž(β„Ž(𝑒𝑛+))=𝑔(𝑒).

Proof. Let π‘’βˆˆπ»βˆΆβ„Ž(𝑒)βˆˆπΎπ‘Ÿ be a solution of (2.7). Then, the sequence {β€–β„Ž(𝑒𝑛)βˆ’π‘”(𝑒)β€–} is nonincreasing and bounded and βˆžξ“π‘›=0β€–β€–β„Žξ€·π‘’π‘›+1ξ€Έξ€·π‘’βˆ’π‘”π‘›ξ€Έβ€–β€–2≀‖‖𝑔𝑒0ξ€Έβ€–β€–βˆ’π‘”(𝑒)2,(3.13) which implies limπ‘›β†’βˆžβ€–β€–β„Žξ€·π‘’π‘›+1ξ€Έξ€·π‘’βˆ’π‘”π‘›ξ€Έβ€–β€–=0.(3.14) Let ̂𝑒 be a cluster point of {𝑒𝑛}. Then, there exists a subsequence {𝑒𝑛𝑖} such that {𝑒𝑛𝑖} converges to ̂𝑒. Replacing 𝑒𝑛+1 by 𝑒𝑛𝑖 in (3.4), taking the limits in (3.4) and using (3.14), we have β€–βŸ¨πœŒπ‘‡Μ‚π‘’,𝑔(𝑣)βˆ’β„Ž(̂𝑒)⟩+𝛾‖𝑔(𝑣)βˆ’β„Ž(̂𝑒)2β‰₯0,βˆ€π‘£βˆˆπ»βˆΆπ‘”(𝑣)βˆˆπΎπ‘Ÿ.(3.15) This shows that Μ‚π‘’βˆˆπ»βˆΆβ„Ž(̂𝑒)βˆˆπΎπ‘Ÿ solves the extended general nonconvex variational inequality (2.7) and β€–β€–β„Ž(𝑒𝑛+1β€–β€–)βˆ’π‘”(̂𝑒)2≀‖‖𝑔(𝑒𝑛‖‖)βˆ’π‘”(̂𝑒)2,(3.16) which implies that the sequence {𝑒𝑛} has a unique cluster point, and limπ‘›β†’βˆž(β„Ž(𝑒𝑛+1))=𝑔(̂𝑒) is the solution of (2.7), the required result.

We again use the fixed point formulation (3.1) to suggest the following method for solving (2.7).

Algorithm 3.8. For a given 𝑒0∈𝐻, find the approximate solution 𝑒𝑛+1 by the iterative schemes β„Žξ€·π‘’π‘›+1ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›+1ξ€Έβˆ’πœŒπ‘‡π‘’π‘›+1ξ€»,𝑛=0,1,2,…,(3.17) which is also known an implicit method. To implement this method, we use the prediction-correction technique. We use Algorithm 3.2 as the predictor and Algorithm 3.8 as the corrector. Consequently, we obtain the following iterative method.

Algorithm 3.9. For a given 𝑒0∈𝐻, find the approximate solution 𝑒𝑛+1 by the iterative schemes: β„Žξ€·π‘¦π‘›ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›ξ€Έβˆ’πœŒπ‘‡π‘’π‘›ξ€»,β„Žξ€·π‘’π‘›+1ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘¦π‘›ξ€Έβˆ’πœŒπ‘‡π‘¦π‘›ξ€»,𝑛=0,1,2,….(3.18) Algorithm 3.9 is called the two-step or predictor-corrector method for solving the extended general nonconvex variational inequality (2.7).

For a given step size πœ‚>0, one can suggest and analyze the following two-step iterative method.

Algorithm 3.10. For a given 𝑒0∈𝐻, find the approximate solution by the iterative schemes: β„Žξ€·π‘¦π‘›ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›ξ€Έβˆ’πœŒπ‘‡π‘’π‘›ξ€»,β„Žξ€·π‘’π‘›+1ξ€Έ=π‘ƒπΎπ‘Ÿξ€Ίπ‘”ξ€·π‘’π‘›ξ€Έξ€½π‘”ξ€·π‘’βˆ’πœ‚π‘›ξ€Έξ€·π‘¦βˆ’π‘”π‘›ξ€Έ+πœŒπ‘‡π‘¦π‘›ξ€Ύξ€»,𝑛=0,1,2,….(3.19) Note that for πœ‚=1, Algorithm 3.10 reduces to Algorithm 3.9. Using the technique of Noor [16], one may study the convergence analysis of Algorithms 3.9 and 3.10.

4. Conclusion

In this paper, we have introduced and considered a new class of general variational inequalities, which is called the general nonconvex variational inequalities. Some new characterizations of the nonconvex projection operator are proved. We have established the equivalent between the general nonconvex variational inequalities and fixed point problem using the technique of the projection operator. This equivalence is used to suggest and analyze some iterative methods for solving the nonconvex general variational inequalities. Several special cases are also discussed. Results proved in this paper can be extended for multivalued and system of general nonconvex variational inequalities using the technique of this paper. The comparison of the iterative method for solving nonconvex general variational inequalities is an interesting problem for future research. We hope that the ideas and technique of this paper may stimulate further research in this field.

Acknowledgment

This research is supported by the Visiting Professorship Program of King Saud University, Riyadh, Saudi Arabia, and Research Grant no. KSU.VPP.108. The research of Z. Huang is supported by National Natural Science Foundation of China (NSFC Grant no. 10871092), supported by the Fundamental Research Funds for the Central University of China (Grant no. 1113020301 and Grant no. 1116020301), and supported by A Project Funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions (PAPD Grant). The authors are also grateful to Dr. S. M. Junaid Zaidi, Rector, COMSATS Institute of Information Technology, Pakistan, for providing the excellent research facilities.