 Research
 Open Access
 Published:
General nonconvex variational inclusions and fixed point problems
Journal of Inequalities and Applications volume 2013, Article number: 377 (2013)
Abstract
In this paper, we introduce and study a new system of general nonconvex variational inclusions involving four different nonlinear operators (SGNVI) and prove the equivalence between the SGNVI and a fixed point problem. By using this equivalent formulation, we establish the existence and uniqueness theorem for solution of the SGNVI. We use the foregoing equivalent alternative formulation and two nearly uniformly Lipschitzian mappings {S}_{1} and {S}_{2} to suggest and analyze some new twostep projection iterative algorithms for finding an element of the set of fixed points of the nearly uniformly Lipschitzian mapping \mathcal{Q}=({S}_{1},{S}_{2}), which is the unique solution of the SGNVI. Further, the convergence analysis of the suggested iterative algorithms under suitable conditions is studied.
MSC:47H05, 47J20, 49J40, 90C33.
1 Introduction
The variational principle, the origin of which can be traced back to Fermat, Newton, Leibniz, Bernoulli, Euler, and Lagrange, has been one of the major branches of mathematical and engineering sciences for more than two centuries. It can be used to interpret the basic principles of mathematical and physical sciences in the form of simplicity and elegance. The variational principles have played a fundamental and important part as unifying influence in sciences and have played a fundamental role in the development of general theory of relativity, gauge field theory in modern particle physics, and solution theory. In recent years, these variational principles have been enriched by the discovery of the variational inequalities theory, which is mainly due to Stampacchia [1] in 1964. The variational inequalities theory constituted a significant and novel extension of the variational principles and describe a broad spectrum of interesting and fascinating developments involving a link among various fields of mathematics, physics, economics, equilibrium, financial, optimization, regional, and engineering sciences. In fact, it has been shown that the variational inequalities theory provides the most natural, direct, simple, unified, and efficient framework for a general treatment of a wide class of problems. Many research papers have been written lately, both on the theory and applications of this field. Important connections with main areas of pure and applied sciences have been made, see for example [2–4] and the references cited therein. The development of variational inequality theory can be viewed as the simultaneous pursuit of two different lines of research. On the one hand, it reveals the fundamental facts on the qualitative aspects of the solution to important classes of problems; on the other hand, it also enables us to develop highly efficient and powerful new numerical methods to solve, for example, obstacle, unilateral, free, moving and the complex equilibrium problems. One of the most interesting and important problems in variational inequality theory is the development of an efficient numerical method. There is a substantial number of numerical methods, including projection method and its variant forms, WienerHolf (normal) equations, auxiliary principle, and descent framework for solving variational inequalities and complementarity problems.
Projection method and its variant forms represent important tool for finding the approximate solution of various types of variational and quasivariational inequalities, the origin of which can be traced back to Lions and Stampacchia [5]. The projection type methods were developed in 1970’s and 1980’s. The main idea in this technique is to establish the equivalence between the variational inequalities and the fixed point problems using the concept of projection. This alternative formulation enables us to suggest some iterative methods for computing the approximate solution.
Verma [6], Chang et al. [7] and Huang and Noor [8] introduced and studied systems of nonlinear variational inequalities, and by using the projection operator technique, they proposed some projection iterative algorithms for solving these systems of variational inequalities. They also studied the convergence analysis of the proposed iterative algorithms under some certain conditions.
It should be pointed out that almost all the results regarding the existence and iterative schemes for solving variational inequalities and related optimizations problems are being considered in the convexity setting. Consequently, all the techniques are based on the properties of the projection operator over convex sets, which may not hold in general, when the sets are nonconvex. It is known that the uniformly proxregular sets are nonconvex and include the convex sets as special cases, for more details, see for example [9–12]. In recent years, Balooee et al. [13], Bounkhel et al. [9], Noor et al. [14], Pang et al. [15], Petrot [16] and Suwannawit et al. [17] have considered variational inequalities in the context of uniformly proxregular sets.
On the other hand, related to the variational inequalities, we have the problem of finding the fixed points of 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. Motivated and inspired by the research going in this direction, Noor and Huang [18] considered the problem of finding a common element of the set of solutions of variational inequalities and the set of fixed points of nonexpansive mappings. It is well known that every nonexpansive mapping is a Lipschitzian mapping. Lipschitzian mappings have been generalized by various authors. Sahu [19] introduced and investigated nearly uniformly Lipschitzian mappings as a generalization of Lipschitzian mappings. In the recent past, some works in this direction for finding the solutions of the variational inequalities/inclusion problems and the fixed points of the nearly uniformly Lipschitzian mappings have been done, see, for example, [13, 20, 21].
Motivated and inspired by the above works, in the present paper, we first introduce and consider a new system of general nonconvex variational inclusions involving four different nonlinear operators (SGNVI). We prove the equivalence between the SGNVI and a fixed point problem, and then by this equivalent formulation, we discuss the existence and uniqueness of solution of the SGNVI. By using two nearly uniformly Lipschitzian mappings {S}_{1} and {S}_{2} and the aforesaid equivalent alternative formulation, we suggest and analyze some new projection twostep iterative algorithms for finding an element of the set of fixed points of the nearly uniformly Lipschitzian mapping \mathcal{Q}=({S}_{1},{S}_{2}), which is the unique solution of the SGNVI. The convergence analysis of the suggested iterative algorithms under suitable conditions is also studied.
2 Formulations and basic facts
Throughout this article, we let ℋ be a real Hilbert space, which is equipped with an inner product \u3008\cdot ,\cdot \u3009 and the corresponding norm \parallel \cdot \parallel, and we let K be a nonempty and closed subset of ℋ. We denote by {d}_{K}(\cdot ) or d(\cdot ,K) the usual distance function to the subset K, i.e., {d}_{K}(u)={inf}_{v\in K}\parallel uv\parallel. Let us recall the following wellknown definitions and some auxiliary results of nonlinear convex analysis and nonsmooth analysis [10–12, 22].
Definition 2.1 Let u\in \mathcal{H} be a point not lying in K. A point v\in K is called a closest point or a projection of u onto K if {d}_{K}(u)=\parallel uv\parallel. The set of all such closest points is denoted by {P}_{K}(u), i.e.,
Definition 2.2 The proximal normal cone of K at a point u\in K is given by
Clarke et al. [10], in Proposition 1.1.5, give a characterization of {N}_{K}^{P}(u) as follows.
Lemma 2.1 Let K be a nonempty closed subset in ℋ. Then \xi \in {N}_{K}^{P}(u) if and only if there exists a constant \alpha =\alpha (\xi ,u)>0 such that \u3008\xi ,vu\u3009\le \alpha {\parallel vu\parallel}^{2} for all v\in K.
The above inequality is called the proximal normal inequality. The special case in which K is closed and convex is an important one. In Proposition 1.1.10 of [10], the authors give the following characterization of the proximal normal cone for the closed and convex subset K\subset \mathcal{H}.
Lemma 2.2 Let K be a nonempty, closed and convex subset in ℋ. Then \xi \in {N}_{K}^{P}(u) if and only if \u3008\xi ,vu\u3009\le 0 for all v\in K.
Definition 2.3 Let X be a real Banach space, and let f:X\to \mathbb{R} be the Lipschitz with constant τ near a given point x\in X, that is, for some \epsilon >0, we have f(y)f(z)\le \tau \parallel yz\parallel for all y,z\in B(x;\epsilon ), where B(x;\epsilon ) denotes the open ball of radius \epsilon >0 and centered at x. The generalized directional derivative of f at x in the direction v, denoted as {f}^{\circ}(x;v), is defined as follows.
where y is a vector in X and t is a positive scalar.
The generalized directional derivative defined earlier can be used to develop a notion of tangency that does not require K to be smooth or convex.
Definition 2.4 The tangent cone {T}_{K}(x) to K at a point x in K is defined as follows:
Having defined a tangent cone, the likely candidate for the normal cone is the one obtained from {T}_{K}(x) by polarity. Accordingly, we define the normal cone of K at x by polarity with {T}_{K}(x) as follows:
The Clarke normal cone, denoted by {N}_{K}^{C}(x), is defined by {N}_{K}^{C}(x):=\overline{\mathit{co}}[{N}_{K}^{P}(x)], where \overline{\mathit{co}}[S] denotes the closure of the convex hull of S.
Clearly, {N}_{K}^{P}(x)\subseteq {N}_{K}^{C}(x). Note that {N}_{K}^{C}(x) is a closed and convex cone, whereas {N}_{K}^{P}(x) is convex, but may not be closed. For further details on this topic, we refer to [10, 12, 22] and the references therein.
In 1995, Clarke et al. [11] introduced and studied a new class of nonconvex sets, called proximally smooth sets; subsequently, Poliquin et al. in [12], investigated the aforementioned set under the name of uniformly proxregular sets. These have been successfully used in many nonconvex applications in areas such as optimizations, economic models, dynamical systems, differential inclusions, etc. For such applications, see [23–26]. This class seems particularly well suited to overcome the difficulties, which arise due to the nonconvexity assumptions on K. We take the following characterization, proved in [11], as a definition of this class. We point out that the original definition was given in terms of the differentiability of the distance function, see [11].
Definition 2.5 For any r\in (0,+\mathrm{\infty}], a subset {K}_{r} of ℋ is called normalized uniformly proxregular (or uniformly rproxregular [11]) if every nonzero proximal normal to {K}_{r} can be realized by an rball. This means that for all \overline{x}\in {K}_{r} and all 0\ne \xi \in {N}_{{K}_{r}}^{P}(\overline{x}),
Obviously, the class of normalized uniformly proxregular sets is sufficiently large to include the class of convex sets, pconvex sets, {C}^{1,1} submanifolds (possibly with a boundary) of ℋ, the images under a {C}^{1,1} diffeomorphism of convex sets and many other nonconvex sets, see [11, 27].
Lemma 2.3 [11]
A closed set K\subseteq \mathcal{H} is convex if and only if it is proximally smooth of radius r for every r>0.
If r=+\mathrm{\infty}, then, in view of Definition 2.5 and Lemma 2.3, the uniform rproxregularity of {K}_{r} is equivalent to the convexity of {K}_{r}, which makes this class of great importance. For the case of that r=+\mathrm{\infty}, we set {K}_{r}=K.
The following proposition summarizes some important consequences of the uniform proxregularity needed in the sequel.
Let r>0, and let {K}_{r} be a nonempty closed and uniformly rproxregular subset of ℋ. Let U(r)=\{u\in \mathcal{H}:{d}_{{K}_{r}}(u)<r\}. Then the following assertions hold

(a)
For all x\in U(r), {P}_{{K}_{r}}(x)\ne \mathrm{\varnothing};

(b)
For all {r}^{\prime}\in (0,r), {P}_{{K}_{r}} is Lipschitz continuous with constant \frac{r}{r{r}^{\prime}} on U({r}^{\prime})=\{u\in \mathcal{H}:{d}_{{K}_{r}}(u)<{r}^{\prime}\};

(c)
The proximal normal cone is closed as a setvalued mapping.
As a direct consequent of part (c) of Proposition 2.4, for any uniformly rproxregular subset {K}_{r} of ℋ, we have {N}_{{K}_{r}}^{C}(x)={N}_{{K}_{r}}^{P}(x). Therefore, we define {N}_{{K}_{r}}(x):={N}_{{K}_{r}}^{C}(x)={N}_{{K}_{r}}^{P}(x) for such a class of sets.
In order to make clear the concept of rproxregular sets, we state the following concrete example. The union of two disjoint intervals [a,b] and [c,d] is rproxregular with r=\frac{cb}{2}, see [9, 10, 12]. The finite union of disjoint intervals is also rproxregular, and r depends on the distances between the intervals.
3 System of general nonconvex variational inclusions
This section is concerned with the introduction of a new system of nonconvex variational inclusions and establishing of the existence and uniqueness theorem for solution of the aforesaid system.
Let {K}_{r} be a uniformly rproxregular subset of ℋ, and let {T}_{i}:\mathcal{H}\times \mathcal{H}\to \mathcal{H} and {g}_{i}:\mathcal{H}\to \mathcal{H} (i=1,2), be four nonlinear singlevalued operators. For any given constants \rho ,\eta >0, we consider the problem of finding ({x}^{\ast},{y}^{\ast})\in {K}_{r}\times {K}_{r} such that
which is called a system of general nonconvex variational inclusions involving four different nonlinear operators (SGNVI).
If for each i=1,2, {T}_{i}=T:{K}_{r}\to \mathcal{H}, is a univariate nonlinear operator and {g}_{i}\equiv I, the identity operator, then system (3.1) collapses to the system of finding ({x}^{\ast},{y}^{\ast})\in {K}_{r}\times {K}_{r} such that
which was considered and studied by Moudafi [28] and Petrot [16].
If r=\mathrm{\infty}, i.e., {K}_{r}=K, the convex set in ℋ, and for each i=1,2, {g}_{i}(\mathcal{H})=K, then it follows from Lemma 2.2 that ({x}^{\ast},{y}^{\ast})\in K\times K is a solution of system (3.1) if and only if
Problem (3.3) is called a system of general nonlinear variational inequalities in the sense of convex analysis.
If r=\mathrm{\infty} and for each i=1,2, {g}_{i}\equiv I, then system (3.3) collapses to the system of finding ({x}^{\ast},{y}^{\ast})\in K\times K such that
which was introduced and studied by Huang and Noor [8].
Some special cases of system (3.4) are introduced and studied by Chang et al. [7], Verma [6, 29, 30] and Stampacchia [1].
Now, we establish the existence and uniqueness of solution for SGNVI (3.1). For this end, we need the following lemma, in which the equivalence between SGNVI (3.1) and a fixed point problem is proved.
Lemma 3.1 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in SGNVI (3.1) such that for each i=1,2, {g}_{i}(\mathcal{H})={K}_{r}. Then ({x}^{\ast},{y}^{\ast})\in {K}_{r}\times {K}_{r} is a solution of system (3.1) if and only if
provided that \rho <\frac{{r}^{\prime}}{1+\parallel {T}_{1}({y}^{\ast},{x}^{\ast})\parallel} and \eta <\frac{{r}^{\prime}}{1+\parallel {T}_{2}({x}^{\ast},{y}^{\ast})\parallel}, for some {r}^{\prime}\in (0,r), where {P}_{{K}_{r}} is the projection of ℋ onto {K}_{r}.
Proof Let ({x}^{\ast},{y}^{\ast})\in {K}_{r}\times {K}_{r} be a solution of SGNVI (3.1). Since {g}_{1}({y}^{\ast}),{g}_{2}({x}^{\ast})\in {K}_{r}, \rho <\frac{{r}^{\prime}}{1+\parallel {T}_{1}({y}^{\ast},{x}^{\ast})\parallel} and \eta <\frac{{r}^{\prime}}{1+\parallel {T}_{2}({x}^{\ast},{y}^{\ast})\parallel}, for some {r}^{\prime}\in (0,r), it is easy to check that the two points {g}_{1}({y}^{\ast})\rho {T}_{1}({y}^{\ast},{x}^{\ast}) and {g}_{2}({x}^{\ast})\eta {T}_{2}({x}^{\ast},{y}^{\ast}) belong to U({r}^{\prime}). Therefore, the rprox regularity of {K}_{r} implies that the two sets {P}_{{K}_{r}}({g}_{1}({y}^{\ast})\rho {T}_{1}({y}^{\ast},{x}^{\ast})) and {P}_{{K}_{r}}({g}_{2}({x}^{\ast})\eta {T}_{2}({x}^{\ast},{y}^{\ast})) are nonempty and singleton, that is, equations (3.5) are well defined. Then, we have
where I is the identity operator, and we have used the wellknown fact that {P}_{{K}_{r}}={(I+{N}_{{K}_{r}}^{P})}^{1}. □
Definition 3.1 A singlevalued operator T:\mathcal{H}\to \mathcal{H} is called

(a)
monotone if
\u3008T(x)T(y),xy\u3009\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}; 
(b)
rstrongly monotone if there exists a constant r>0 such that
\u3008T(x)T(y),xy\u3009\ge r{\parallel xy\parallel}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}; 
(c)
γLipschitz continuous if there exists a constant \gamma >0 such that
\parallel T(x)T(y)\parallel \le \gamma \parallel xy\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}.
Theorem 3.2 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in system (3.1) such that for each i=1,2, {g}_{i}(\mathcal{H})={K}_{r}. Suppose further that for each i=1,2, the operator {T}_{i} is {\xi}_{i}strongly monotone and {\nu}_{i}Lipschitz continuous in the first variable, {g}_{i} is {\kappa}_{i}strongly monotone and {\theta}_{i}Lipschitz continuous. If the constants \rho ,\eta >0 satisfy the following conditions:
for some {r}^{\prime}\in (0,r) and for all x,y\in \mathcal{H}, and
then SGNVI (3.1) admits a unique solution.
Proof Define \mathrm{\Psi},\mathrm{\Phi}:\mathcal{H}\times \mathcal{H}\to {K}_{r} by
for all (x,y)\in \mathcal{H}\times \mathcal{H}. Since {g}_{1}(y),{g}_{2}(x)\in {K}_{r}, it follows from condition (3.6) that the mappings Ψ and Φ are well defined. Define {\parallel \cdot \parallel}_{\ast} on \mathcal{H}\times \mathcal{H} by
It is clear that (\mathcal{H}\times \mathcal{H},{\parallel \cdot \parallel}_{\ast}) is a Banach space. Also, define F:\mathcal{H}\times \mathcal{H}\to {K}_{r}\times {K}_{r}\subseteq \mathcal{H}\times \mathcal{H} as below:
We show that the mapping F is contraction. Let (x,y),(\stackrel{\u02c6}{x},\stackrel{\u02c6}{y})\in \mathcal{H}\times \mathcal{H} be given. Applying Proposition 2.4, we have
From {\kappa}_{1}strongly monotonicity and {\theta}_{1}Lipschitz continuity of {g}_{1}, it follows that
Since {T}_{1} is {\xi}_{1}strongly monotone and {\nu}_{1}Lipschitz continuous in the first variable, we get
Substituting (3.11) and (3.12) in (3.10), we obtain
Like in the proofs of (3.10)(3.13), one can obtain
Applying (3.13) and (3.14), we have
where
It follows from (3.9) and (3.15) that
where \vartheta =max\{\phi ,\psi \}. Condition (3.7) implies that 0\le \vartheta <1, and so, (3.16) guarantees that the mapping F is contraction. According to the Banach fixed point theorem, there exists a unique point ({x}^{\ast},{y}^{\ast})\in \mathcal{H}\times \mathcal{H} such that F({x}^{\ast},{y}^{\ast})=({x}^{\ast},{y}^{\ast}). It follows from (3.8) and (3.9) that {x}^{\ast}={P}_{{K}_{r}}({g}_{1}({y}^{\ast})\rho {T}_{1}({y}^{\ast},{x}^{\ast})) and {y}^{\ast}={P}_{{K}_{r}}({g}_{2}({x}^{\ast})\eta {T}_{2}({x}^{\ast},{y}^{\ast})). Now, from Lemma 3.1, it follows that ({x}^{\ast},{y}^{\ast})\in {K}_{r}\times {K}_{r} is a unique solution of SGNVI (3.1), and this completes the proof. □
Theorem 3.3 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in system (3.3) such that for each i=1,2, the operator {T}_{i} is {\xi}_{i}strongly monotone and {\nu}_{i}Lipschitz continuous in the first variable, {g}_{i} is {\kappa}_{i}strongly monotone and {\theta}_{i}Lipschitz continuous. If the constants \rho ,\eta >0 satisfy the following conditions:
then system (3.3) admits a unique solution.
4 Iterative algorithms and convergence analysis
We need to recall that a nonlinear mapping T:\mathcal{H}\to \mathcal{H} is called nonexpansive if \parallel TxTy\parallel \le \parallel xy\parallel for all x,y\in \mathcal{H}. In recent years, nonexpansive mappings have been generalized and investigated by various authors. One of these generalizations is the class of nearly uniformly Lipschitzian mappings. In this section, we first recall several generalizations of nonexpansive mappings, which have been introduced in recent years. Then, we use two nearly uniformly Lipschitzian mappings {S}_{1} and {S}_{2} and the equivalent alternative formulation (3.5) to suggest and analyze some new twostep projection iterative algorithms for finding an element of the set of fixed points \mathcal{Q}=({S}_{1},{S}_{2}), which is the unique solution of SGNVI (3.1). In the next definitions, several generalizations of nonexpansive mappings are stated.
Definition 4.1 A nonlinear mapping T:\mathcal{H}\to \mathcal{H} is called

(a)
LLipschitzian if there exists a constant L>0 such that
\parallel TxTy\parallel \le L\parallel xy\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}; 
(b)
generalized Lipschitzian if there exists a constant L>0 such that
\parallel TxTy\parallel \le L(\parallel xy\parallel +1),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}; 
(c)
generalized (L,M)Lipschitzian [19] if there exist two constants L,M>0 such that
\parallel TxTy\parallel \le L(\parallel xy\parallel +M),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}; 
(d)
asymptotically nonexpansive [31] if there exists a sequence \{{k}_{n}\}\subseteq [1,\mathrm{\infty}) with {lim}_{n\to \mathrm{\infty}}{k}_{n}=1 such that for each n\in \mathbb{N},
\parallel {T}^{n}x{T}^{n}y\parallel \le {k}_{n}\parallel xy\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}; 
(e)
pointwise asymptotically nonexpansive [32] if, for each integer n\ge 1,
\parallel {T}^{n}x{T}^{n}y\parallel \le {\alpha}_{n}(x)\parallel xy\parallel ,\phantom{\rule{1em}{0ex}}x,y\in \mathcal{H},
where {\alpha}_{n}\to 1 pointwise on X;

(f)
uniformly LLipschitzian if there exists a constant L>0 such that for each n\in \mathbb{N},
\parallel {T}^{n}x{T}^{n}y\parallel \le L\parallel xy\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}.
Definition 4.2 [19]
A nonlinear mapping T:\mathcal{H}\to \mathcal{H} is said to be

(a)
nearly Lipschitzian with respect to the sequence \{{a}_{n}\} if for each n\in \mathbb{N}, there exists a constant {k}_{n}>0 such that
\parallel {T}^{n}x{T}^{n}y\parallel \le {k}_{n}(\parallel xy\parallel +{a}_{n}),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H},(4.1)
where \{{a}_{n}\} is a fix sequence in [0,\mathrm{\infty}) with {a}_{n}\to 0, as n\to \mathrm{\infty}.
For an arbitrary, but fixed n\in \mathbb{N}, the infimum of constants {k}_{n} in (4.1) is called nearly Lipschitz constant and is denoted by \eta ({T}^{n}). Notice that
A nearly Lipschitzian mapping T with the sequence \{({a}_{n},\eta ({T}^{n}))\} is said to be

(b)
nearly nonexpansive if \eta ({T}^{n})=1 for all n\in \mathbb{N}, that is,
\parallel {T}^{n}x{T}^{n}y\parallel \le \parallel xy\parallel +{a}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{H}; 
(c)
nearly asymptotically nonexpansive if \eta ({T}^{n})\ge 1 for all n\in \mathbb{N} and {lim}_{n\to \mathrm{\infty}}\eta ({T}^{n})=1, in other words, {k}_{n}\ge 1 for all n\in \mathbb{N} with {lim}_{n\to \mathrm{\infty}}{k}_{n}=1;

(d)
nearly uniformly LLipschitzian if \eta ({T}^{n})\le L for all n\in \mathbb{N}, in other words, {k}_{n}=L for all n\in \mathbb{N}.
Remark 4.1 It should be pointed out that

(a)
Every nonexpansive mapping is an asymptotically nonexpansive mapping, and every asymptotically nonexpansive mapping is a pointwise asymptotically nonexpansive mapping. Also, the class of Lipschitzian mappings properly includes the class of pointwise asymptotically nonexpansive mappings.

(b)
It is obvious that every Lipschitzian mapping is a generalized Lipschitzian mapping. Furthermore, every mapping with a bounded range is a generalized Lipschitzian mapping. It is easy to see that the class of generalized (L,M)Lipschitzian mappings is more general than the class of generalized Lipschitzian mappings.

(c)
Clearly, the class of nearly uniformly LLipschitzian mappings properly includes the class of generalized (L,M)Lipschitzian mappings and that of uniformly LLipschitzian mappings. Note that every nearly asymptotically nonexpansive mapping is nearly uniformly LLipschitzian.
Some interesting examples to investigate relations between these mappings, introduced in Definitions 4.1 and 4.2, can be found in [13].
Let {S}_{1}:{K}_{r}\to {K}_{r} be a nearly uniformly {L}_{1}Lipschitzian mapping with the sequence {\{{a}_{n}\}}_{n=0}^{\mathrm{\infty}}, and let {S}_{2}:{K}_{r}\to {K}_{r} be a nearly uniformly {L}_{2}Lipschitzian mapping with the sequence {\{{b}_{n}\}}_{n=0}^{\mathrm{\infty}}. We define the selfmapping of {K}_{r}\times {K}_{r} as follows:
Then \mathcal{Q}=({S}_{1},{S}_{2}):{K}_{r}\times {K}_{r}\to {K}_{r}\times {K}_{r} is a nearly uniformly max\{{L}_{1},{L}_{2}\}Lipschitzian mapping with the sequence {\{{a}_{n}+{b}_{n}\}}_{n=0}^{\mathrm{\infty}} with respect to the norm {\parallel \cdot \parallel}_{\ast} in \mathcal{H}\times \mathcal{H}. Because, for any (x,y),({x}^{\prime},{y}^{\prime})\in {K}_{r}\times {K}_{r} and n\in \mathbb{N}, we have
We denote the sets of all fixed points of {S}_{i} (i=1,2) and by Fix({S}_{i}) and Fix(\mathcal{Q}), respectively, and the set of all solutions of system (3.1) by SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2). In view of (4.2), for any (x,y)\in {K}_{r}\times {K}_{r}, (x,y)\in Fix(\mathcal{Q}) if and only if x\in Fix({S}_{1}) and y\in Fix({S}_{2}), that is, Fix(\mathcal{Q})=Fix({S}_{1},{S}_{2})=Fix({S}_{1})\times Fix({S}_{2}). We now characterize the problem. Let the operators {T}_{i}, {g}_{i} (i=1,2), and the constants ρ, η be the same as in system (3.1). If ({x}^{\ast},{y}^{\ast})\in Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2), \rho <\frac{{r}^{\prime}}{1+\parallel {T}_{1}({y}^{\ast},{x}^{\ast})\parallel} and \eta <\frac{{r}^{\prime}}{1+\parallel {T}_{2}({x}^{\ast},{y}^{\ast})\parallel}, for some {r}^{\prime}\in (0,r), then by using Lemma 3.1, it is easy to see that for each n\in \mathbb{N}\cup \{0\},
The fixed point formulation (4.3) enables us to suggest the following iterative algorithm for finding an element of the set of fixed points of the nearly uniformly Lipschitzian mapping \mathcal{Q}=({S}_{1},{S}_{2}), which is the unique solution of SGNVI (3.1).
Algorithm 4.2 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in SGNVI (3.1), and let the constants ρ, η satisfy condition (3.6). For an arbitrary chosen initial point ({x}_{0},{y}_{0})\in \mathcal{H}\times \mathcal{H}, compute the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}} in \mathcal{H}\times \mathcal{H} in the following way:
where {S}_{1},{S}_{2}:{K}_{r}\to {K}_{r} are two nearly uniformly Lipschitzian mappings, and {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}} is a sequence in the interval [0,1] such that {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}.
If for each i=1,2, {S}_{i}\equiv I, then Algorithm 4.2 reduces to the following algorithm.
Algorithm 4.3 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in SGNVI (3.1), and let the constants ρ, η satisfy condition (3.6). For an arbitrary chosen initial point ({x}_{0},{y}_{0})\in \mathcal{H}\times \mathcal{H}, compute the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}} in \mathcal{H}\times \mathcal{H} in the following way:
where the sequence {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}} is the same as in Algorithm 4.2.
Now, we discuss the convergence analysis of iterative sequence generated by the projection iterative Algorithm 4.2. We need the following lemma for verifying our main results.
Lemma 4.4 [33]
Let \{{a}_{n}\} be a nonnegative real sequence, and let \{{b}_{n}\} be a real sequence in [0,1] such that {\sum}_{n=0}^{\mathrm{\infty}}{b}_{n}=\mathrm{\infty}. If there exists a positive integer {n}_{0} such that
where {c}_{n}\ge 0 for all n\ge 0 and {lim}_{n\to \mathrm{\infty}}{c}_{n}=0, then {lim}_{n\to 0}{a}_{n}=0.
Theorem 4.5 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in Theorem 3.2. Assume that all the conditions of Theorem 3.2 hold and the constants ρ, η satisfy condition (3.6). Suppose that {S}_{1}:{K}_{r}\to {K}_{r} is a nearly uniformly {L}_{1}Lipschitzian mapping with the sequence {\{{b}_{n}\}}_{n=0}^{\mathrm{\infty}}, {S}_{2}:{K}_{r}\to {K}_{r} is a nearly uniformly {L}_{2}Lipschitzian mapping with the sequence {\{{c}_{n}\}}_{n=0}^{\mathrm{\infty}}, and is a selfmapping of {K}_{r}\times {K}_{r}, defined by (4.2) such that Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2)\ne \mathrm{\varnothing}. Further, let for each i=1,2, {L}_{i}\vartheta <1, where ϑ is the same as in (3.16). Then the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}} generated by Algorithm 4.2, converges strongly to the only element of Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2).
Proof In view of Theorem 3.2, SGNVI (3.1) has a unique solution ({x}^{\ast},{y}^{\ast})\in {K}_{r}\times {K}_{r}. Since \rho <\frac{{r}^{\prime}}{1+\parallel {T}_{1}({y}^{\ast},{x}^{\ast})\parallel} and \eta <\frac{{r}^{\prime}}{1+\parallel {T}_{2}({x}^{\ast},{y}^{\ast})\parallel}, for some {r}^{\prime}\in (0,r), it follows from Lemma 3.1 that ({x}^{\ast},{y}^{\ast}) satisfies equations (3.5). Since SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2) is a singleton set and Fix(Q)\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2)\ne \mathrm{\varnothing}, we deduce that {x}^{\ast}\in Fix({S}_{1}) and {y}^{\ast}\in Fix({S}_{2}). Hence, for each n\in \mathbb{N}\cup \{0\}, we can write
where the sequence \{{\alpha}_{n}\} is the same as in Algorithm 4.2. Since {g}_{1}({y}^{\ast}),{g}_{1}({y}_{n})\in {K}_{r}, \rho <\frac{{r}^{\prime}}{1+\parallel {T}_{1}({y}^{\ast},{x}^{\ast})\parallel} and \rho <\frac{{r}^{\prime}}{1+\parallel {T}_{1}({y}_{n},{x}_{n})\parallel}, for some {r}^{\prime}\in (0,r) and for all n\in \mathbb{N}, we can easily check that the points {g}_{1}({y}^{\ast})\rho {T}_{1}({y}^{\ast},{x}^{\ast}) and {g}_{1}({y}_{n})\rho {T}_{1}({y}_{n},{x}_{n}) (n\in \mathbb{N}\cup \{0\}), belong to U({r}^{\prime}). By using (4.4), (4.5) and Proposition 2.4, we have
Since {T}_{1} is {\xi}_{1}strongly monotone and {\nu}_{1}Lipschitz continuous in the first variable, {g}_{1} is {\kappa}_{1}strongly monotone and {\theta}_{1}Lipschitz continuous, in a similar way to the proofs of (3.11) and (3.12), we can get
By combining (4.6) and (4.7), we obtain
where ψ is the same as in (3.15). Like in the proofs of (4.6)(4.8), one can prove that
where φ is the same as in (3.15). Letting L=max\{{L}_{1},{L}_{2}\}, it follows from (4.8) and (4.9) that
where ϑ is the same as in (3.16). Since L\vartheta <1, {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty} and {lim}_{n\to \mathrm{\infty}}{b}_{n}={lim}_{n\to \mathrm{\infty}}{c}_{n}=0, we note that all the conditions of Lemma 4.4 are satisfied, and so, Lemma 4.4 and (4.10) imply that ({x}_{n},{y}_{n})\to ({x}^{\ast},{y}^{\ast}) as n\to \mathrm{\infty}. Hence, the sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}, generated by Algorithm 4.2, converges strongly to the unique solution ({x}^{\ast},{y}^{\ast}) of SGNVI (3.1), that is, the only element of Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2). This completes the proof. □
Theorem 4.6 Suppose that {T}_{i}, {g}_{i} (i=1,2), ρ and η are the same as in Theorem 3.2, and let all the conditions of Theorem 3.2 hold. Then the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}, generated by Algorithm 4.3, converges strongly to the unique solution ({x}^{\ast},{y}^{\ast}) of SGNVI (3.1).
Remark 4.7 Equality (4.3) can be written as follows:
where n\ge 0.
The fixed point formulation (4.11) enables us to suggest the following iterative algorithm for finding an element of the set of fixed points of the nearly uniformly Lipschitzian mapping \mathcal{Q}=({S}_{1},{S}_{2}), which is the unique solution of SGNVI (3.1).
Algorithm 4.8 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in SGNVI (3.1). Suppose further that the constants ρ and η satisfy condition (3.6) for some {r}^{\prime}\in (0,r). For a given ({z}_{0},{t}_{0})\in U({r}^{\prime})\times U({r}^{\prime}), compute the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}} in {K}_{r}\times {K}_{r} in the following way:
where {S}_{i} (i=1,2) and {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}} are the same as in Algorithm 4.2.
If for each i=1,2, {S}_{i}\equiv I, then Algorithm 4.8 reduces to the following algorithm.
Algorithm 4.9 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in SGNVI (3.1). Assume further that the constants ρ and η satisfy condition (3.6) for some {r}^{\prime}\in (0,r). For an arbitrary chosen initial point ({z}_{0},{t}_{0})\in U({r}^{\prime})\times U({r}^{\prime}), compute the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}} in {K}_{r}\times {K}_{r} in the following way:
where the sequence {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}} is the same as in Algorithm 4.2.
Theorem 4.10 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in Theorem 3.2, and let all the conditions of Theorem 3.2 hold. Assume that {S}_{i} (i=1,2) and are the same as in Theorem 4.5 such that Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2)\ne \mathrm{\varnothing}. Further, let {L}_{i}\vartheta <1 for i=1,2, where ϑ is the same as in (3.16). Then the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}} generated by Algorithm 4.8, converges strongly to the only element of Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2).
Proof In view of Theorem 3.2, SGNVI (3.1) admits a unique solution ({x}^{\ast},{y}^{\ast})\in {K}_{r}\times {K}_{r}. It follows from Lemma 3.1 that {x}^{\ast}={P}_{{K}_{r}}({g}_{1}({y}^{\ast})\rho {T}_{1}({y}^{\ast},{x}^{\ast})) and {y}^{\ast}={P}_{{K}_{r}}({g}_{2}({x}^{\ast})\eta {T}_{2}({x}^{\ast},{y}^{\ast})). Since SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2) is a singleton set and Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2)\ne \mathrm{\varnothing}, we deduce that {x}^{\ast}\in Fix({S}_{1}) and {y}^{\ast}\in Fix({S}_{2}). Accordingly, in view of Remark 4.7, for each n\ge 0, we can write
From (4.12), (4.13) and the assumptions, it follows that
Since {g}_{1} is {\kappa}_{1}strongly monotone and {\theta}_{1}Lipschitz continuous, and {T}_{1} is {\xi}_{1}strongly monotone and {\nu}_{1}Lipschitz continuous in the first variable, similar to the proofs of (3.11) and (3.12), one can prove that
and
By combining (4.14)(4.16), we get
By using (4.12), (4.13) and Proposition 2.4, we have
Substituting (4.18) in (4.17), we get
where ψ is the same as in (3.15). Like in the proofs of (4.14)(4.19), one can establish that
where φ is the same as in (3.15). Let L=max\{{L}_{i}:i=1,2\}. Then, applying (4.19) and (4.20), we obtain
where ϑ is the same as in (3.16). Since L\vartheta <1 and {lim}_{n\to \mathrm{\infty}}{b}_{n}={lim}_{n\to \mathrm{\infty}}{c}_{n}=0, it follows that the right side of the above inequality tends to zero, as n\to \mathrm{\infty} and so ({z}_{n},{t}_{n})\to (z,t), as n\to \mathrm{\infty}. By using (4.12), (4.13) and Proposition 2.4, we have
Since {lim}_{n\to \mathrm{\infty}}{z}_{n}=z, {lim}_{n\to \mathrm{\infty}}{t}_{n}=t and {lim}_{n\to \mathrm{\infty}}{b}_{n}={lim}_{n\to \mathrm{\infty}}{c}_{n}=0, from inequalities (4.18) and (4.22), it follows that {y}_{n}\to {y}^{\ast}, {x}_{n}\to {x}^{\ast}, as n\to \mathrm{\infty}. Hence, the sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}, generated by Algorithm 4.8, converges strongly to the unique solution ({x}^{\ast},{y}^{\ast}) of system (3.1), that is, the only element of Fix(\mathcal{Q})\cap SGNVI({K}_{r},{T}_{i},{g}_{i},i=1,2). This completes the proof. □
Theorem 4.11 Let {T}_{i}, {g}_{i} (i=1,2), ρ and η be the same as in Theorem 3.2, and let all the conditions of Theorem 3.2 hold. Then the iterative sequence {\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}, generated by Algorithm 4.9, converges strongly to the unique solution ({x}^{\ast},{y}^{\ast}) of SGNVI (3.1).
References
Stampacchia G: Formes bilineaires coercitives sur les ensembles convexes. C. R. Acad. Sci. Paris 1964, 258: 4413–4416.
Bensoussan A, Lions JL: Application des Inéquations Variationelles en Control et en Stochastiques. Dunod, Paris; 1978.
Glowinski R, Letallec P SIAM Stud. Appl. Math. In Augmented Lagrangian and OperatorSplitting Methods in Nonlinear Mechanics. SIAM, Philadelphia; 1989.
Harker PT, Pang JS: Finitedimensional variational inequality and nonlinear complementarity problems: a survey of theory, algorithm and applications. Math. Program. 1990, 48: 161–220.
Lions JL, Stampacchia G: Variational inequalities. Commun. Pure Appl. Math. 1967, 20: 493–512.
Verma RU: Generalized system for relaxed cocoercive variational inequalities and projection methods. J. Optim. Theory Appl. 2004, 121: 203–210.
Chang SS, Joseph Lee HW, Chan CK: Generalized system for relaxed cocoercive variational inequalities in Hilbert spaces. Appl. Math. Lett. 2007, 20: 329–334.
Huang Z, Noor MA:An explicit projection method for a system of nonlinear variational inequalities with different (\gamma ,r)cocoersive mappings. Appl. Math. Comput. 2007, 190: 356–361.
Bounkhel M, Tadji L, Hamdi A: Iterative schemes to solve nonconvex variational problems. J. Inequal. Pure Appl. Math. 2003, 4: 1–14.
Clarke FH, Ledyaev YS, Stern RJ, Wolenski PR: Nonsmooth Analysis and Control Theory. Springer, New York; 1998.
Clarke FH, Stern RJ, Wolenski PR:Proximal smoothness and the lower {C}^{2} property. J. Convex Anal. 1995, 2: 117–144.
Poliquin RA, Rockafellar RT, Thibault L: Local differentiability of distance functions. Trans. Am. Math. Soc. 2000, 352: 5231–5249.
Balooee J, Cho YJ, Kang MK: The WienerHopf equation technique for solving general nonlinear regularized nonconvex variational inequalities. Fixed Point Theory Appl. 2011., 2011: Article ID 87 10.1186/16871812201186
Noor MA, Petrot N, Suwannawit J: Existence theorems for multivalued variational inequality problems on uniformly proxregular sets. Optim. Lett. 2012. 10.1007/s115900120545x
Pang LP, Shen J, Song HS: A modified predictorcorrector algorithm for solving nonconvex generalized variational inequalities. Comput. Math. Appl. 2007, 54: 319–325.
Petrot N: Some existence theorems for nonconvex variational inequalities problems. Abstr. Appl. Anal. 2010., 2010: Article ID 472760 10.1155/2010/472760
Suwannawit J, Petrot N: Existence theorems for quasivariational inequality problem on proximally smooth sets. Abstr. Appl. Anal. 2013., 2013: Article ID 612819
Noor MA, Huang Z: Threestep iterative methods for nonexpansive mappings and variational inequalities. Appl. Math. Comput. 2007, 187: 680–685.
Sahu DR: Fixed points of demicontinuous nearly Lipschitzian mappings in Banach spaces. Comment. Math. Univ. Carol. 2005, 46: 653–666.
Balooee J, Cho YJ: Algorithms for solutions of extended general mixed variational inequalities and fixed points. Optim. Lett. 2012. 10.1007/s1159001205162
Balooee J, Petrot N: Algorithms for solving system of extended general variational inclusions and fixed points problems. Abstr. Appl. Anal. 2012., 2012: Article ID 569592
Clarke FH: Optimization and Nonsmooth Analysis. Wiley, New York; 1983.
Bounkhel M: Existence results of nonconvex differential inclusions. Port. Math. 2002, 59: 283–309.
Bounkhel M: General existence results for second order nonconvex sweeping process with unbounded perturbations. Port. Math. 2003, 60(3):269–304.
Bounkhel M, Azzam L: Existence results on the second order nonconvex sweeping processes with perturbations. SetValued Anal. 2004, 12(3):291–318.
Bounkhel, M, Thibault, L: Further characterizations of regular sets in Hilbert spaces and their applications to nonconvex sweeping process. Preprint, Centro de Modelamiento Matematico (CMM), Universidad de Chile (2000)
Canino A: On p convex sets and geodesics. J. Differ. Equ. 1988, 75: 118–157.
Moudafi A: Projection methods for a system of nonconvex variational inequalities. Nonlinear Anal. 2009, 71: 517–520.
Verma RU: Projection methods, algorithms, and a new system of nonlinear variational inequalities. Comput. Math. Appl. 2001, 41: 1025–1031.
Verma RU: General convergence analysis for twostep projection methods and applications to variational problems. Appl. Math. Lett. 2005, 18: 1286–1292.
Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972, 35: 171–174.
Kirk WA, Xu HK: Asymptotic pointwise contractions. Nonlinear Anal. 2008, 69: 4706–4712.
Weng XL: Fixed point iteration for local strictly pseudocontractive mapping. Proc. Am. Math. Soc. 1991, 113: 727–732.
Acknowledgements
The authors would like to thank the referees for the complete reading of the first version of this work and for the pertinent suggestions allowing us to improve the presentation of the paper. The first author is supported by the National Research Council of Thailand (Project No. R2555B025).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Petrot, N., Balooee, J. General nonconvex variational inclusions and fixed point problems. J Inequal Appl 2013, 377 (2013). https://doi.org/10.1186/1029242X2013377
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2013377
Keywords
 variational inclusions
 fixed point problems
 proxregularity
 nearly uniformly Lipschitzian mappings
 twostep projection iterative algorithms
 convergence analysis