A system of nonlinear set valued variational inclusions

Yong-Kun Tang; Shih-sen Chang; Salahuddin Salahuddin

doi:10.1186/2193-1801-3-318

Research
Open Access

A system of nonlinear set valued variational inclusions

Yong-Kun Tang¹,
Shih-sen Chang¹Email author and
Salahuddin Salahuddin²

SpringerPlus20143:318

https://doi.org/10.1186/2193-1801-3-318

Received: 10 April 2014
Accepted: 5 June 2014
Published: 25 June 2014

Abstract

In this paper, we studied the existence theorems and techniques for finding the solutions of a system of nonlinear set valued variational inclusions in Hilbert spaces. To overcome the difficulties, due to the presence of a proper convex lower semicontinuous function ϕ and a mapping g which appeared in the considered problems, we have used the resolvent operator technique to suggest an iterative algorithm to compute approximate solutions of the system of nonlinear set valued variational inclusions. The convergence of the iterative sequences generated by algorithm is also proved.

AMS Mathematics subject classification

49J40; 47H06

Keywords

System of nonlinear set valued variational inclusions
Lipschitz continuity
Resolvent operators
Iterative sequences
Hilbert spaces

Introduction

It is well known that variational inequality theory and complementarity problems are very powerful tools of current mathematical technology. In recent years, the classical variational inequality and complementarity problems have been extended and generalized to study a large variety of problems arising in economics, control problems, contact problems, mechanics, transportation, equilibrium problems, optimization theory, nonlinear programming, transportation equilibrium and engineering sciences, see (Aubin 1982; Baiocchi and Capelo 1984; Chang 1984; Giannessi and Maugeri 1995). Hassouni and Moudafi 2001 introduced and studied a class of mixed type variational inequalities with single valued mappings which was called variational inclusions. Since many authors have obtained important extension generalizations of the results in (Hassouni and Moudafi 2001) from various directions, see (Agarwal et al. 2011; Fang et al. 2005; Kassay and Kolumban 2000; Petrot 2010). Verma 1999; 2001a introduced and studied some system of variational inequalities with iterative algorithms to compute approximate solutions in Hilbert spaces.

Inspired and motivated by the research work going on this field, in this works, the methods for finding the common solutions of a system of nonlinear set valued variational inclusions involving different nonlinear operators and fixed point problem are considered and studied, via proximal method in the framework of Hilbert spaces.

Since the problems of a system of a nonlinear set valued variational inequalities and fixed point are both important, the results present in this paper are useful and can be viewed as an improvement and extension of the previously known results appearing in literature, which are improves the results of Chang et al. 2007 and also extends the results of Verma 2001b; 2002, Ahmad and Salahuddin 2012, Ding and Luo 2000, Inchan and Petrot 2011, Kim and Kim 2004, Kim and Hu 2008, Nie et al. 2003 and Suantai and Petrot 2011, etc.

Let H be a real Hilbert space whose inner product and norm are denoted by 〈·,·〉 and ∥·∥ respectively and K be a nonempty closed convex subset of H. Let C B(H) be the family of all nonempty closed convex and bounded sets in H and ϕ:H→(−∞,+∞) be a proper convex lower semicontinuous function on H. Let N_i:H×H→H be a nonlinear function, g_i:K→H be a nonlinear operator, A_i,B_i:K→C B(H) be the nonlinear set valued mappings and let r_i be a fixed positive real number for each i=1,2,3. Set $Ξ = {N_{1}, N_{2}, N_{3}}, A = {A_{1}, A_{2}, A_{3}}, B = {B_{1}, B_{2}, B_{3}}, \land = {g_{1}, g_{2}, g_{3}} .$ The system of nonlinear set valued variational inclusions involving three different nonlinear operators is defined as follows:

Find

(x^{*}, y^{*}, z^{*}) \in H \times H \times H, u_{3}^{*} \in A_{3} (x^{*}), v_{3}^{*} \in B_{3} (x^{*}), u_{2}^{*} \in A_{2} (z^{*}), v_{2}^{*} \in B_{2} (z^{*}), u_{1}^{*} \in A_{1} (y^{*}), v_{1}^{*} \in B_{1} (y^{*}),

such that

\begin{array}{l} \{\begin{array}{l} 〈 r_{1} N_{1} (u_{1}^{*}, v_{1}^{*}) + g_{1} (x^{*}) - g_{1} (y^{*}), g_{1} (x) - g_{1} (x^{*}) 〉 - r_{1} ϕ (g_{1} (x^{*})) + r_{1} ϕ (g_{1} (x)) \geq 0, g_{1} (x) \in K, \\ 〈 r_{2} N_{2} (u_{2}^{*}, v_{2}^{*}) + g_{2} (y^{*}) - g_{2} (z^{*}), g_{2} (x) - g_{2} (y^{*}) 〉 - r_{2} ϕ (g_{2} (y^{*})) + r_{2} ϕ (g_{2} (x)) \geq 0, g_{2} (x) \in K, \\ 〈 r_{3} N_{3} (u_{3}^{*}, v_{3}^{*}) + g_{3} (z^{*}) - g_{3} (x^{*}), g_{3} (x) - g_{3} (z^{*}) 〉 - r_{3} ϕ (g_{3} (z^{*})) + r_{3} ϕ (g_{3} (x)) \geq 0, g_{3} (x) \in K. \end{array} \end{array}

(1)

We denote the set of all solutions $(x^{*}, y^{*}, z^{*}, u_{1}^{*}, v_{1}^{*}, u_{2}^{*}, v_{2}^{*}, u_{3}^{*}, v_{3}^{*})$ of problem (1) by SNSVVID $(Ξ, A, B, \land, K)$ .

We first recall some basic concepts and well known results.

Definition 1

A mapping g:H→H is said to be

(i)

monotone, if
$〈 g (x) - g (y), x - y 〉 \geq 0 \forall x, y \in H;$
(ii)

strictly monotone, if g is monotone and
$〈 g (x) - g (y), x - y 〉 = 0 ifandonlyif x = y;$
(iii)

υ-strongly monotone, if there exists a constant υ>0 such that
$〈 g (x) - g (y), x - y 〉 \geq υ ∥ x - y ∥^{2}, \forall x, y \in H;$
(iv)

Lipschitz continuous, if there exists a constant υ>0 such that
$∥ g (x) - g (y) ∥ \leq υ ∥ x - y ∥, \forall x, y \in H.$

Definition 2

A set valued mapping A:H→2^H is said to be υ -strongly monotone, if there exists a constant υ>0 such that

\begin{array}{l} 〈 w_{1} - w_{2}, x - y 〉 \geq υ ∥ x - y ∥^{2}, \forall x, y \in H, w_{1} \in A (x), w_{2} \in Ay. \end{array}

Definition 3

A set valued mapping A:H→C B(H) is said to be τ-Lipschitz continuous if there exists a constant τ>0 such that

\begin{array}{l} ℋ (Ax, Ay) \leq τ ∥ x - y ∥, \forall x, y \in H, \end{array}

where (·,·) is the Hausdorff metric on CB( ).

Definition 4

(Brezis 1973)

If M is maximal monotone operator on H then for any λ>0the resolvent operator associated with M is defined by

\begin{array}{l} J_{M} (x) = {(I + λM)}^{- 1} (x), \forall x \in H. \end{array}

It is well know that a monotone operator is maximal iff its resolvent operator is defined every where. Furthermore the resolvent operator is single valued and nonexpansive. In particular the subdifferential ∂ ϕ of a proper convex lower semicontinuous function ϕ:H→(−∞,+∞) is a maximal monotone operator.

Lemma 1

(Brezis 1973) The points u,z∈H satisfies the inequality

\begin{array}{l} 〈 u - z, x - u 〉 + λϕ (x) - λϕ (u) \geq 0, \forall x \in H, \end{array}

if and only if

\begin{array}{l} u = J_{ϕ}^{λ} (z), \end{array}

where $J_{ϕ}^{λ} = {(I + λ∂ϕ)}^{- 1}$ is a resolvent operator and λ>0 is a constant.

For any

x, y \in H, J_{ϕ}^{λ}

is nonexpansive, i.e.,

\begin{array}{l} ∥ J_{ϕ}^{λ} (x) - J_{ϕ}^{λ} (y) ∥ \leq ∥ x - y ∥, \forall x, y \in H. \end{array}

Assume that g:H→H is a surjective mapping and from Lemma 1 and (1) we have the following proximal point problem:

\begin{array}{l} \{\begin{array}{l} g_{1} (x^{*}) & = J_{ϕ}^{r_{1}} [g_{1} (y^{*}) - r_{1} N_{1} (u_{1}^{*}, v_{1}^{*})], \\ g_{2} (y^{*}) & = J_{ϕ}^{r_{2}} [g_{2} (z^{*}) - r_{2} N_{2} (u_{2}^{*}, v_{2}^{*})], \\ g_{3} (z^{*}) & = J_{ϕ}^{r_{3}} [g_{3} (x^{*}) - r_{3} N_{3} (u_{3}^{*}, v_{3}^{*})], \end{array} \end{array}

(2)

provided K⊂g_i(H) for each i=1,2,3.

Lemma 2

(Weng 1991)

Let {a_n},{b_n} and {c_n} be three sequences of nonnegative real numbers such that

\begin{array}{l} a_{n + 1} \leq (1 - t_{n}) a_{n} + b_{n} + c_{n} \forall n > n_{0}, \end{array}

where n₀ is a nonnegative integer, {t_n} is a sequence in (0,1) with $\sum_{n = 0}^{\infty} t_{n} = + \infty, {lim}_{n \to \infty} b_{n} = 0 (t_{n})$ and $\sum_{n = 0}^{\infty} c_{n} < + \infty$ . Than a_n→0 as n→+∞.

Definition 5

Let A,B:H→2^H be set valued mappings and N:H×H→H be a nonlinear mapping.

(i)

N is said to be A-strongly monotone with respect to the first argument, if there exists a constant υ>0 such that for all x,y∈H
$\begin{array}{l} 〈N (u_{1}, w) - N (u_{2}, w), x - y〉 \geq υ ∥ x - y ∥^{2} \forall u_{1} \in A (x), u_{2} \in A (y), w \in H; \end{array}$
(ii)

N is said to be B-relaxed monotone with respect to the second argument, if there exists a constant ξ>0 such that for all x,y∈H,v ₁∈B(x),v ₂∈B(y)
$\begin{array}{l} 〈 N (u, v_{1}) - N (u, v_{2}), x - y 〉 \geq - ξ ∥ x - y ∥^{2}, \forall u \in H. \end{array}$

Main results

We begin with some observations which are related to the problem (1).

Remark 1

If (x^∗,y^∗,z^∗)∈ SNSVVID

(Ξ, A, B, \land, K)

, by (2) we have that

\begin{array}{l} x^{*} = x^{*} - g_{1} (x^{*}) + J_{ϕ}^{r_{1}} [g_{1} (y^{*}) - r_{1} N_{1} (u_{1}^{*}, v_{1}^{*})] . \end{array}

(3)

provided K⊂g₁(H).

Consequently if S is a Lipschitz mapping such that x^∗∈F(S), then it follows from (3) that

\begin{array}{l} x^{*} = S (x^{*}) = S (x^{*} - g_{1} (x^{*}) + J_{ϕ}^{r_{1}} [g_{1} (y^{*}) - r_{1} N_{1} (u_{1}^{*}, v_{1}^{*})]) . \end{array}

(4)

By virtue of (4) and Nadler’s Theorem (Nadler 1969), we suggest the following iterative algorithm.

Algorithm 1 Let ε_n be a sequence of nonnegative real number with ε_n→0 as n→∞. Let r₁,r₂,r₃ be three given positive real numbers in (0,1). For arbitrary chosen initial x₀∈H, compute the sequences {x_n},{y_n} and {z_n} in H, such that

\begin{array}{l} \{\begin{array}{l} g_{3} (z_{n}) & = J_{ϕ}^{r_{3}} [g_{3} (x_{n}) - r_{3} N_{3} (u_{n, 3}, v_{n, 3})], \\ g_{2} (y_{n}) & = J_{ϕ}^{r_{2}} [g_{2} (z_{n}) - r_{2} N_{2} (u_{n, 2}, v_{n, 2})], \forall n \geq 1 \\ x_{n + 1} & = (1 - α_{n}) x_{n} + α_{n} S (x_{n} - g_{1} (x_{n}) + J_{ϕ}^{r_{1}} [g_{1} (y_{n}) - r_{1} N_{1} (u_{n, 1}, v_{n, 1})]), \end{array} \end{array}

(5)

where

\begin{array}{l} \{\begin{array}{l} u_{n, 3} \in A_{3} (x_{n}), u_{n - 1, 3} \in A_{3} (x_{n - 1}) : ∥ u_{n, 3} - u_{n - 1, 3} ∥ \leq (1 + ε_{n}) ℋ (A_{3} (x_{n}), A_{3} (x_{n - 1})), \\ v_{n, 3} \in B_{3} (x_{n}), v_{n - 1, 3} \in B_{3} (x_{n - 1}) : ∥ v_{n, 3} - v_{n - 1, 3} ∥ \leq (1 + ε_{n}) ℋ (B_{3} (x_{n}), B_{3} (x_{n - 1})), \\ u_{n, 2} \in A_{2} (z_{n}), u_{n - 1, 2} \in A_{2} (z_{n - 1}) : ∥ u_{n, 2} - u_{n - 1, 2} ∥ \leq (1 + ε_{n}) ℋ (A_{2} (z_{n}), A_{2} (z_{n - 1})), \\ v_{n, 2} \in B_{2} (z_{n}), v_{n - 1, 2} \in B_{2} (z_{n - 1}) : ∥ v_{n, 2} - v_{n - 1, 2} ∥ \leq (1 + ε_{n}) ℋ (B_{2} (z_{n}), B_{2} (z_{n - 1})), \\ u_{n, 1} \in A_{1} (y_{n}), u_{n - 1, 1} \in A_{1} (y_{n - 1}) : ∥ u_{n, 1} - u_{n - 1, 1} ∥ \leq (1 + ε_{n}) ℋ (A_{1} (y_{n}), A_{1} (y_{n - 1})), \\ v_{n, 1} \in B_{1} (y_{n}), v_{n - 1, 1} \in B_{1} (y_{n - 1}) : ∥ v_{n, 1} - v_{n - 1, 1} ∥ \leq (1 + ε_{n}) ℋ (B_{1} (y_{n}), B_{1} (y_{n - 1})), \end{array} \end{array}

(6)

and {α_n} is a sequence in (0,1) and S:H→H is a mapping.

Theorem 1

Let K be a nonempty closed and convex subset of a real Hilbert space H and ϕ:H→(−∞,+∞) be a proper convex lower semicontinuous function. Let A_i:H→2^H be a μ_i-Lipschitz continuous mapping with μ_i<1 and B_i:H→2^H be a σ_i-Lipschitz continuous mapping with σ_i<1, i=1,2,3. Let N_i:H×H→H be a ρ_i-Lipschitz continuous with respect to the first variable and η_i-Lipschitz continuous with respect to the second variable and N_i be A_i-strongly monotone with constant υ_i>0 and B_i-relaxed monotone with constant ξ_i>0, i=1,2,3. Let g_i:H→H be a λ_i-strongly monotone and γ_i-Lipschitz continuous mapping, i=1,2,3. Let S:H→H be a τ-Lipschitz continuous mapping with 0<τ≤1. If

SNSVVID (Ξ, A, B, \land, K) \cap F (S) \neq \emptyset

, and the following conditions are satisfied:

(i)

$\begin{array}{l} h_{i} \in [0, \frac{(ρ_{i} μ_{i} + η_{i} σ_{i}) - \sqrt{{(ρ_{i} μ_{i} + η_{i} σ_{i})}^{2} - {(υ_{i} - ξ_{i})}^{2}}}{2 (ρ_{i} μ_{i} + η_{i} σ_{i})}) ⋃ [\frac{(ρ_{i} μ_{i} + η_{i} σ_{i}) + \sqrt{{(ρ_{i} μ_{i} + η_{i} σ_{i})}^{2} - {(υ_{i} - ξ_{i})}^{2}}}{2 (ρ_{i} μ_{i} + η_{i} σ_{i})}, 1) \end{array}$

where $h_{i} = \sqrt{1 - 2 λ_{i} + γ_{i}^{2}}, i = 1, 2, 3$ ;
(ii)

$\begin{array}{l} | r_{i} - \frac{υ_{i} - ξ_{i}}{{(ρ_{i} μ_{i} + η_{i} σ_{i})}^{2}} | < \frac{\sqrt{{(υ_{i} - ξ_{i})}^{2} - {(ρ_{i} μ_{i} + η_{i} σ_{i})}^{2} (4 h_{i}) (1 - h_{i})}}{{(ρ_{i} μ_{i} + η_{i} σ_{i})}^{2}}, i = 1, 2, 3; \end{array}$
(iii)

for each i=1,2,3
$\begin{array}{l} \frac{Φ_{n, N_{i}} (r_{i}) + h_{i}}{1 - h_{i}} \leq \frac{Φ_{N_{i}} (r_{i}) + h_{i}}{1 - h_{i}} < 1, \end{array}$

where
$\begin{array}{l} \{\begin{array}{l} Φ_{N_{i}} (r_{i}) = \sqrt{1 - 2 r_{i} (υ_{i} - ξ_{i}) + r_{i}^{2} {((ρ_{i} μ_{i} + η_{i} σ_{i}) (1 + M))}^{2}}; \\ Φ_{n, N_{i}} (r_{i}) = \sqrt{1 - 2 r_{i} (υ_{i} - ξ_{i}) + r_{i}^{2} {((ρ_{i} μ_{i} + η_{i} σ_{i}) (1 + ε_{n}))}^{2}}; \end{array} \end{array}$

(7)

where M= supn≥1ε_n.
(iv)

{α _n}⊂(0,1) such that $\sum_{n = 0}^{\infty} α_{n} = \infty$ .

Then the sequences {x_n},{y_n},{z_n},{u_n,i},{v_n,i} suggested by Algorithm 1 converge strongly to $x^{*}, y^{*}, z^{*}, u_{i}^{*}, v_{i}^{*} i = 1, 2, 3$ respectively, and $(x^{*}, y^{*}, z^{*}, u_{i}^{*}, v_{i}^{*}) \in$ SNSVVID $(Ξ, A, B, \land, K)$ , x^∗∈F(S).

Proof. Let

(x^{*}, y^{*}, z^{*}, u_{i}^{*}, v_{i}^{*}) \in SNSVVID (Ξ, A, B, \land, K)

and x^∗∈F(S). By (2) and (4) we have

\begin{array}{l} \{\begin{array}{l} g_{3} (z^{*}) = J_{ϕ}^{r_{3}} [g_{3} (x^{*}) - r_{3} N_{3} (u_{3}^{*}, v_{3}^{*})], \\ g_{2} (y^{*}) = J_{ϕ}^{r_{2}} [g_{2} (z^{*}) - r_{2} N_{2} (u_{2}^{*}, v_{2}^{*})], \\ x^{*} = (1 - α_{n}) x^{*} + α_{n} S (x^{*} - g_{1} (x^{*}) + J_{ϕ}^{r_{1}} [g_{1} (y^{*}) - r_{1} N_{1} (u_{1}^{*}, v_{1}^{*})]) \end{array} \end{array}

(8)

Consequently, by (5) and (6), we have

\begin{array}{l} \begin{array}{l} ∥ x_{n + 1} - x^{*} ∥ \\ = ∥ (1 - α_{n}) x_{n} + α_{n} S (x_{n} - g_{1} (x_{n}) + J_{ϕ}^{r_{1}} [g_{1} (y_{n}) - r_{1} N_{1} (n_{n, 1}, v_{n, 1})]) - x^{*} ∥ \\ \leq (1 - α_{n}) ∥ x_{n} - x^{*} ∥ + α_{n} ∥ S (x_{n} - g_{1} (x_{n}) + J_{ϕ}^{r_{1}} [g_{1} (y_{n}) - r_{1} N_{1} (u_{n, 1}, v_{n, 1})]) \\ - S (x^{*} - g_{1} (x^{*}) + J_{ϕ}^{r_{1}} [g_{1} (y^{*}) - r_{1} N_{1} (u_{1}^{*}, v_{1}^{*})]) ∥ \\ \leq (1 - α_{n}) ∥ x_{n} - x^{*} ∥ + α_{n} τ [∥ x_{n} - x^{*} - (g_{1} (x_{n}) - g_{1} (x^{*})) ∥ \\ + ∥ J_{ϕ}^{r_{1}} [g_{1} (y_{n}) - r_{1} N_{1} (u_{n, 1}, v_{n, 1})] - J_{ϕ}^{r_{1}} [g_{1} (y^{*}) - r_{1} N_{1} (u_{1}^{*}, v_{1}^{*})] ∥] \\ \leq (1 - α_{n}) ∥ x_{n} - x^{*} ∥ + α_{n} τ [∥ x_{n} - x^{*} - (g_{1} (x_{n}) - g_{1} (x^{*})) ∥ \\ + ∥ y_{n} - y^{*} - (g_{1} (y_{n}) - g_{1} (y^{*})) ∥ + ∥ y_{n} - y^{*} - r_{1} (N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*})) ∥] . \end{array} \end{array}

(9)

Since N₁(·,·) is ρ₁-Lipschitz continuous with respect to the first variable and η₁-Lipschitz continuous with respect to the second variable, and A₁ is μ₁-Lipschitz continuous, and B₁ is σ₁-Lipschitz continuous, we have

\begin{array}{l} ∥ N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*}) ∥ \leq ρ_{1} ∥ u_{n, 1} - u_{1}^{*} ∥ + η_{1} ∥ v_{n, 1} - v_{1}^{*} ∥ \\ \leq ρ_{1} (1 + ε_{n}) ℋ (A_{1} (y_{n}), A_{1} (y^{*})) + η_{1} (1 + ε_{n}) ℋ (B_{1} (y_{n}), B_{1} (y^{*})) \\ \leq ρ_{1} μ_{1} (1 + ε_{n}) ∥ y_{n} - y^{*} ∥ + η_{1} σ_{1} (1 + ε_{n}) ∥ y_{n} - y^{*} ∥ \\ \leq (ρ_{1} μ_{1} + η_{1} σ_{1}) (1 + ε_{n}) ∥ y_{n} - y^{*} ∥ . \end{array}

(10)

Since N₁ is A₁-strongly monotone with constant υ₁>0 and B₁-relaxed monotone with constant ξ_i>0, it follows from (10) that

\begin{array}{l} ∥ y_{n} - y^{*} - r_{1} (N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*})) ∥^{2} \\ = & ∥ y_{n} - y^{*} ∥^{2} - 2 r_{1} 〈 N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*}), y_{n} - y^{*} 〉 \\ + r_{1}^{2} ∥ N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*}) ∥^{2} \\ = & ∥ y_{n} - y^{*} ∥^{2} - 2 r_{1} 〈 N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{n, 1}), y_{n} - y^{*} 〉 \\ - 2 r_{1} 〈 N_{1} (u_{1}^{*}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*}), y_{n} - y^{*} 〉 + r_{1}^{2} ∥ N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*}) ∥^{2} \\ \leq & ∥ y_{n} - y^{*} ∥^{2} - 2 r_{1} υ_{1} ∥ y_{n} - y^{*} ∥^{2} + 2 r_{1} ξ_{1} ∥ y_{n} - y^{*} ∥^{2} \\ + r_{1}^{2} {((ρ_{1} μ_{1} + η_{1} σ_{1}) (1 + ε_{n}))}^{2} ∥ y_{n} - y^{*} ∥^{2} \\ \leq & (1 - 2 r_{1} υ_{1} + 2 r_{1} ξ_{1} + r_{1}^{2} {((ρ_{1} μ_{1} + η_{1} σ_{1}) (1 + ε_{n}))}^{2}) ∥ y_{n} - y^{*} ∥^{2} \end{array}

i.e.,

\begin{array}{l} ∥ y_{n} - y^{*} - r_{1} (N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*})) ∥^{2} \leq {({Φ_{n}}_{N_{1}} (r_{1}))}^{2} ∥ y_{n} - y^{*} ∥^{2}, \end{array}

(11)

where

\begin{array}{l} Φ_{n, N_{1}} (r_{1}) : = \sqrt{1 - 2 r_{1} (υ_{1} - ξ_{1}) + r_{1}^{2} {((ρ_{1} μ_{1} + η_{1} σ_{1}) (1 + ε_{n}))}^{2}} . \end{array}

Note that

\begin{array}{l} ∥ y_{n} & - & y^{*} ∥ = ∥ y_{n} - y^{*} - [g_{2} (y_{n}) - g_{2} (y^{*})] + [g_{2} (y_{n}) - g_{2} (y^{*})] ∥ \\ \leq & ∥ y_{n} - y^{*} - [g_{2} (y_{n}) - g_{2} (y^{*})] ∥ + ∥ g_{2} (y_{n}) - g_{2} (y^{*}) ∥ . \end{array}

(12)

Since g₂ is λ₂-strongly monotone and γ₂-Lipschitz continuous mapping, we have

\begin{array}{l} ∥ & y_{n} - y^{*} - [g_{2} (y_{n}) - g_{2} (y^{*})] ∥^{2} \\ = & ∥ y_{n} - y^{*} ∥^{2} - 2 〈 g_{2} (y_{n}) - g_{2} (y^{*}), y_{n} - y^{*} 〉 + ∥ g_{2} (y_{n}) - g_{2} (y^{*}) ∥^{2} \\ \leq & ∥ y_{n} - y^{*} ∥^{2} - 2 λ_{2} ∥ y_{n} - y^{*} ∥^{2} + γ_{2}^{2} ∥ y_{n} - y^{*} ∥^{2} \\ \leq & (1 - 2 λ_{2} + γ_{2}^{2}) ∥ y_{n} - y^{*} ∥^{2} \\ = & {(h_{2})}^{2} ∥ y_{n} - y^{*} ∥^{2}, \end{array}

(13)

where $h_{2} = \sqrt{1 - 2 λ_{2} + γ_{2}^{2}}$ .

On the other hand, by (2) and (5), we have

\begin{array}{l} ∥ & g_{2} (y_{n}) - g_{2} (y^{*}) ∥ \\ = & ∥ J_{ϕ}^{r_{2}} [g_{2} (z_{n}) - r_{2} N_{2} (u_{n, 2}, v_{n, 2})] - J_{ϕ}^{r_{2}} [g_{2} (z^{*}) - r_{2} N_{2} (u_{2}^{*}, v_{2}^{*})] ∥ \\ \leq & ∥ g_{2} (z_{n}) - g_{2} (z^{*}) - r_{2} (N_{2} (u_{n, 2}, v_{n, 2}) - N_{2} (u_{2}^{*}, v_{2}^{*})) ∥ \\ \leq & ∥ z_{n} - z^{*} - (g_{2} (z_{n}) - g_{2} (z^{*})) ∥ + ∥ z_{n} - z^{*} - r_{2} (N_{2} (u_{n, 2}, v_{n, 2}) - N_{2} (u_{2}^{*}, v_{2}^{*})) ∥ . \end{array}

(14)

In view of the assumptions of N₂,A₂,B₂, g₂ and by using the same method as given in the proofs in (11) and (13), we can obtain that

\begin{array}{l} ∥ z_{n} - z^{*} - r_{2} (N_{2} (u_{n, 2}, v_{n, 2}) - N_{2} (u_{2}^{*}, v_{2}^{*})) ∥^{2} \leq {(Φ_{n, N_{2}} (r_{2}))}^{2} ∥ z_{n} - z^{*} ∥^{2}, \end{array}

(15)

where

\begin{array}{l} (Φ_{n, N_{2}} (r_{2}) = \sqrt{1 - 2 r_{2} (υ_{2} - ξ_{2}) + r_{2}^{2} {((ρ_{2} μ_{2} + η_{2} σ_{2}) (1 + ε_{n}))}^{2}} \end{array}

and

\begin{array}{l} ∥ z_{n} - z^{*} - (g_{2} (z_{n}) - g_{2} (z^{*})) ∥^{2} \leq {(h_{2})}^{2} ∥ z_{n} - z^{*} ∥^{2} . \end{array}

(16)

From (15), (16) and (14), we have

\begin{array}{l} ∥ g_{2} (y_{n}) - g_{2} (y^{*}) ∥ \leq (Φ_{n, N_{2}} (r_{2}) + h_{2}) ∥ z_{n} - z^{*} ∥ . \end{array}

(17)

Combining (12), (13) and (17) we obtained

\begin{array}{l} ∥ y_{n} - y^{*} ∥ \leq h_{2} ∥ y_{n} - y^{*} ∥ + ({Φ_{n}}_{N_{2}} (r_{2}) + h_{2}) ∥ z_{n} - z^{*} ∥ . \end{array}

(18)

Observe that

\begin{array}{l} ∥ z_{n} - z^{*} ∥ & = & ∥ z_{n} - z^{*} - [g_{3} (z_{n}) - g_{3} (z^{*})] + [g_{3} (z_{n}) - g_{3} (z^{*})] ∥ \\ \leq & ∥ z_{n} - z^{*} - [g_{3} (z_{n}) - g_{3} (z^{*})] ∥ + ∥ g_{3} (z_{n}) - g_{3} (z^{*}) ∥ . \end{array}

(19)

and in view of (2) and (5), we have

\begin{array}{l} ∥ g_{3} (z_{n}) - g_{3} (z^{*}) ∥ & \leq & ∥ x_{n} - x^{*} - [g_{3} (x_{n}) - g_{3} (x^{*})] ∥ \\ + ∥ x_{n} - x^{*} - r_{3} (N_{3} (u_{n, 3}, v_{n, 3}) - N_{3} (u_{3}^{*}, v_{3}^{*})) ∥ . \end{array}

(20)

By using the assumptions on N₃,A₃,B₃ and g₃, we have

\begin{array}{l} ∥ x_{n} - x^{*} - r_{3} (N_{3} (u_{n, 3}, v_{n, 3}) - N_{3} (u_{3}^{*}, v_{3}^{*})) ∥^{2} \leq {(Φ_{n, N_{3}} (r_{3}))}^{2} ∥ x_{n} - x^{*} ∥^{2} . \end{array}

(21)

where

\begin{array}{l} Φ_{n, N_{3}} (r_{3}) & = & \sqrt{1 - 2 r_{3} (υ_{3} - ξ_{3}) + r_{3}^{2} {((ρ_{3} μ_{3} + η_{3} σ_{3}) (1 + ε_{n}))}^{2}} \\ ∥ x_{n} - x^{*} & - & [g_{3} (x_{n}) - g_{3} (x^{*})] ∥^{2} \leq {(h_{3})}^{2} ∥ x_{n} - x^{*} ∥^{2} . \end{array}

(22)

\begin{array}{l} ∥ z_{n} - z^{*} - [g_{3} (z_{n}) - g_{3} (z^{*})] ∥^{2} \leq {(h_{3})}^{2} ∥ z_{n} - z^{*} ∥^{2} . \end{array}

(23)

Substituting (21) and (22) into (20), we have

\begin{array}{l} ∥ g_{3} (z_{n}) - g_{3} (z^{*}) ∥ \leq (Φ_{n, N_{3}} (r_{3}) + h_{3}) ∥ x_{n} - x^{*} ∥ . \end{array}

(24)

Combining (19), (23) and (24), it yields that

\begin{array}{l} ∥ z_{n} - z^{*} ∥ \leq h_{3} ∥ z_{n} - z^{*} ∥ + (Φ_{n, N_{3}} (r_{3}) + h_{3}) ∥ x_{n} - x^{*} ∥ . \end{array}

(25)

This imply that

\begin{array}{l} ∥ z_{n} - z^{*} ∥ \leq \frac{(Φ_{n, N_{3}} (r_{3}) + h_{3})}{1 - h_{3}} ∥ x_{n} - x^{*} ∥ . \end{array}

(26)

Substituting (26) into (18) we have

\begin{array}{l} ∥ & y_{n} - y^{*} ∥ \leq h_{2} ∥ y_{n} - y^{*} ∥ + \frac{(Φ_{n, N_{2}} (r_{2}) + h_{2}) (Φ_{n, N_{3}} (r_{3}) + h_{3})}{1 - h_{3}} ∥ x_{n} - x^{*} ∥, \end{array}

(27)

that is

\begin{array}{l} ∥ y_{n} - y^{*} ∥ \leq \frac{(Φ_{n, N_{2}} (r_{2}) + h_{2}) (Φ_{n, N_{3}} (r_{3}) + h_{3})}{(1 - h_{2}) (1 - h_{3})} ∥ x_{n} - x^{*} ∥ . \end{array}

(28)

From (11) and (28), we get

\begin{array}{l} ∥ & y_{n} - y^{*} - r_{1} [N_{1} (u_{n, 1}, v_{n, 1}) - N_{1} (u_{1}^{*}, v_{1}^{*})] ∥ \\ \leq & \frac{(Φ_{n, N_{1}} (r_{1})) (Φ_{n, N_{2}} (r_{2}) + h_{2}) (Φ_{n, N_{3}} (r_{3}) + h_{3})}{(1 - h_{2}) (1 - h_{3})} ∥ x_{n} - x^{*} ∥ . \end{array}

(29)

On the other hand, since g₁ is λ₁-strongly monotone and γ₁-Lipschitz continuous mapping, we have

\begin{array}{l} ∥ x_{n} - x^{*} - & (g_{1} (x_{n}) - g_{1} (x^{*})) ∥^{2} = | | x_{n} - x^{*} | |^{2} + | | g_{1} (x_{n}) - g_{1} (x^{*}) | |^{2} \\ - 2 〈 x_{n} - x^{*}, g_{1} (x_{n}) - g_{1} (x^{*}) 〉 \\ \leq (1 - 2 λ_{1} + γ_{1}^{2}) | | x_{n} - x^{*} | |^{2} = h_{1}^{2} | | x_{n} - x^{*} | |^{2}, \end{array}

i.e.,

\begin{array}{l} ∥ x_{n} - x^{*} - (g_{1} (x_{n}) - g_{1} (x^{*})) ∥ \leq h_{1} ∥ x_{n} - x^{*} ∥ . \end{array}

(30)

Similarly, we have

\begin{array}{l} ∥ y_{n} - y^{*} - (g_{1} (y_{n}) - g_{1} (y^{*})) ∥ \leq h_{1} ∥ y_{n} - y^{*} ∥ . \end{array}

(31)

Substituting (28) into (31), we have

\begin{array}{l} ∥ & y_{n} - y^{*} - (g_{1} (y_{n}) - g_{1} (y^{*})) ∥ \\ \leq & h_{1} \frac{(Φ_{n, N_{2}} (r_{2}) + h_{2}) (Φ_{n, N_{3}} (r_{3}) + h_{3})}{(1 - h_{2}) (1 - h_{3})} ∥ x_{n} - x^{*} ∥ . \end{array}

(32)

Set

\begin{array}{l} ℓ_{n} = \frac{(Φ_{n, N_{2}} (r_{2}) + h_{2}) (Φ_{n, N_{3}} (r_{3}) + h_{3})}{(1 - h_{2}) (1 - h_{3})} . \end{array}

(33)

Substituting (30), (31), (32) and (33) into (9), we get

\begin{array}{l} ∥ & x_{n + 1} - x^{*} ∥ \leq (1 - α_{n} (1 - τ (h_{1} + h_{1} ℓ_{n} + Φ_{n, N_{1}} (r_{1}) ℓ_{n}))) ∥ x_{n} - x^{*} ∥ . \end{array}

(34)

Since

\begin{array}{l} Φ_{n, N_{i}} (r_{i}) & : = & \sqrt{1 - 2 r_{i} (υ_{i} - ξ_{n}) + r_{i}^{2} {((ρ_{i} μ_{i} + η_{i} σ_{i}) (1 + ε_{n}))}^{2}} \\ \leq & \sqrt{1 - 2 r_{i} (υ_{i} - ξ_{n}) + r_{i}^{2} {((ρ_{i} μ_{i} + η_{i} σ_{i}) (1 + M))}^{2}} : = Φ_{N_{i}} (r_{i}), \end{array}

letting

ℓ : = \frac{(Φ_{N_{2}} (r_{2}) + h_{2}) (Φ_{N_{3}} (r_{3}) + h_{3})}{(1 - h_{2}) (1 - h_{3})}

, then we have ℓ_n≤ℓ. Therefore from (34) we have that

\begin{array}{l} ∥ & x_{n + 1} - x^{*} ∥ \leq (1 - α_{n} (1 - τ (h_{1} + h_{1} ℓ + Φ_{N_{1}} (r_{1}) ℓ))) ∥ x_{n} - x^{*} ∥ . \end{array}

(35)

By condition (iii)

\begin{array}{l} \prod_{i = 1}^{3} \frac{Φ_{N_{i}} (r_{i}) + h_{i}}{1 - h_{i}} < 1, \end{array}

(36)

this imply that

\begin{array}{l} ℓ < \frac{1 - h_{1}}{Φ_{N_{1}} (r_{1}) + h_{1}} \end{array}

(37)

that is

\begin{array}{l} I : = h_{1} + h_{1} ℓ + Φ_{N_{1}} (r_{1}) ℓ < 1 . \end{array}

(38)

Put

\begin{array}{l} \{\begin{array}{l} a_{n} & = ∥ x_{n} - x^{*} ∥ \\ t_{n} & = α_{n} (1 - τI) . \end{array} \end{array}

(39)

By the assumption that 0<τ≤1, it follows that

\begin{array}{l} τI \in (0, 1) . \end{array}

This imply that t_n∈(0,1). From assumption (iv) we have

\begin{array}{l} \sum_{n = 0}^{\infty} t_{n} = ∞. \end{array}

These show that all conditions in Lemma 2 are satisfied. Hence x_n→x^∗ as n→∞. Consequently from (26) and (28), we have z_n→z^∗ and y_n→y^∗ as n→∞, respectively. Moreover since A_i is μ_i-Lipschitz continuous and B_i is σ_i-Lipschitz continuous with μ_i<1, σ_i<1, we can also prove that {u_n,i} and {v_n,i}, i=1,2,3 are Cauchy sequences. Thus there exists

u_{i}^{*}, v_{i}^{*} \in H

such that

u_{n, i} \to u_{i}^{*}, v_{n, i} \to v_{i}^{*}, (i = 1, 2, 3)

as n→∞. Moreover by using the continuity of mappings

A_{i}, B_{i}, g_{i}, N_{i}, J_{ϕ}^{r_{i}}

, i=1,2,3, it follows from (5) that

\begin{array}{l} g_{3} (z^{*}) = J_{ϕ}^{r_{3}} [g_{3} (x^{*}) - r_{3} N_{3} (u_{3}^{*}, v_{3}^{*})], \end{array}

\begin{array}{l} g_{2} (y^{*}) = J_{ϕ}^{r_{2}} [g_{2} (z^{*}) - r_{2} N_{2} (u_{2}^{*}, v_{2}^{*})], \end{array}

\begin{array}{l} x^{*} = S (x^{*} - g_{1} (x^{*}) + J_{ϕ}^{r_{1}} [g_{1} (y^{*}) - r_{1} N_{1} (u_{1}^{*}, v_{1}^{*})]) . \end{array}

Hence from Lemma 2 it follows that

(x^{*}, y^{*}, z^{*}, u_{i}^{*}, v_{i}^{*}) \in

SNSVVID

(Ξ, A, B, \land, K) .

Finally we prove that

u_{i}^{*} \in A_{i} (y^{*})

and

v_{i}^{*} \in B_{1} (y^{*})

Indeed we have

\begin{array}{l} d (u_{1}^{*}, A_{1} (y^{*})) & = & inf {∥ u_{1}^{*} - w ∥ : w \in A_{1} (y^{*})} \\ \leq & ∥ u_{1}^{*} - u_{n, 1} ∥ + d (u_{n, 1}, A_{1} (y^{*})) \\ \leq & ∥ u_{1}^{*} - u_{n, 1} ∥ + ℋ (A_{1} (y_{n}), A_{1} (y^{*})) \\ \leq & ∥ u_{1}^{*} - u_{n, 1} ∥ + μ_{1} ∥ y_{n} - y^{*} ∥ \to 0 as n \to ∞. \end{array}

That is $d (u_{1}^{*}, A_{1} (y^{*})) = 0$ . Since A₁(y^∗)∈C B(H), we must have $u_{1}^{*} \in A_{1} (y^{*})$ . Similarly we can show that $u_{2}^{*} \in A_{2} (z^{*}), u_{3}^{*} \in A_{3} (x^{*}), v_{1}^{*} \in B_{1} (y^{*}), v_{2}^{*} \in B_{2} (z^{*})$ and $v_{3}^{*} \in B_{3} (x^{*}) .$ This complete the proof. â–

Declarations

Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant No.11361070).

Authors’ Affiliations

(1)

College of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming, Yunnan, 650221, China

(2)

Department of Mathematics, Jazan University, Jazan, Kingdom of Saudi Arabia

References

Agarwal RP, Cho YJ, Petrot N: System of general nonlinear set valued mixed variational inequality problems in Hilbert spaces. Fixed Point Theory Appl 2011, 2011(31):10.Google Scholar
Ahmad MK, Salahuddin S: Stable perturbed algorithms for a new class of generalized nonlinear implicit quasi variational inclusions in Banach spaces. Adv Pure Math 2012, 2(3):139-148. 10.4236/apm.2012.23021View ArticleGoogle Scholar
Aubin JP: Mathematical Methods of game theory and economics. 1982. North Holland, Amsterdam, The NetherlandsGoogle Scholar
Baiocchi C, Capelo A: Variational and Quasi variational inequalities. 1984. Applications to Free Boundary Problems, John Wiley and Sons, New YorkGoogle Scholar
Brezis H: Operateurs maximaux monotone er semi groupes de contractions dans les espaces de Hilbert. 1973. North-Holland Mathematices Studies 5 Notes de Matematica (50) North-Holland, AmsterdamGoogle Scholar
Chang SS: Fixed point theory with applications. 1984. Chongqing Publishing House, ChongqingGoogle Scholar
Chang SS, Lee HWJ, Chan CK: Generalized system for relaxed cocoercive variational inequalities in Hilbert spaces. Appl Math Lett 2007, 20(3):329-334. 10.1016/j.aml.2006.04.017View ArticleGoogle Scholar
Ding XP, Luo CL: Perturbed proximal point algorithms for generalized quasi variational like inclusions. J Comput Appl Math 2000, 113: 153-165. 10.1016/S0377-0427(99)00250-2View ArticleGoogle Scholar
Fang YP, Huang NJ, Thompson HB: A new system of variational inclusisons with ( H , η )-monotone operators in Hilbert spaces. Comput Math Appl 2005, 49: 365-374. 10.1016/j.camwa.2004.04.037View ArticleGoogle Scholar
Giannessi F, Maugeri A: Variational inequalities and network equilibrium problems. 1995. Plenum Press, New York NY USAView ArticleGoogle Scholar
Hassouni A, Moudafi A: A perturbed algorithms for variational inequalities. J Math Anal Appl 2001, 185: 706-712.View ArticleGoogle Scholar
Inchan I, Petrot N: System of general variational inequalities involving different nonlinear operators related to fixed point problems and its applications. Fixed Point Theory 2011. 2011: 17, Article ID 689478, doi:10.1155/2011/689478Google Scholar
Kassay G, Kolumban J: System of multivalued variational inequalities. Publ Mathematicae Debrecen 2000, 56(1–2):185-195.Google Scholar
Kim JK, Kim DS: A new system of generalized nonlinear mixed variational inequalities in Hilbert spaces. J Convex Anal 2004, 11(1):235-243.Google Scholar
Kim TH, Xu HK: Convergence of the modified Mann’s iterative method for asymptotically strict pseudo-contractive mappings. Nonlinear Anal Theory Methods Appl 2008, 68(9):2828-2836. 10.1016/j.na.2007.02.029View ArticleGoogle Scholar
Nadler SBJr: Multivalued contraction mappings. Pacific J Math 1969, 30: 475-487. 10.2140/pjm.1969.30.475View ArticleGoogle Scholar
Nie H, Liu Z, Kim KH, Kang SM: A system of nonlinear variational inequalities strongly monotone and pseudo contractive mappings. Adv Nonlinear Var Inequal 2003, 6(2):91-99.Google Scholar
Petrot N: A resolvent operator technique for approximate solving of generalized system mixed variational inequalities and fixed point problems. Appl Math Lett 2010, 23(4):440-445. 10.1016/j.aml.2009.12.001View ArticleGoogle Scholar
Suantai S, Petrot N: Existence and stability of iterative algorithms for the system of nonlinear quasi mixed equilibrium problems. Appl Math Lett 2011, 24: 308-313. 10.1016/j.aml.2010.10.011View ArticleGoogle Scholar
Verma RU: On a new system of nonlinear variational inequalities and associated iterative algorithms. Math-Sci Res Hotline 1999, 3(8):65-68.Google Scholar
Verma, RU: Iterative algorithms and a new system of nonlinear quasivariational inequalities. Adv Nonlinear Var Inequal 2001a, 4(1):117-124.Google Scholar
Verma RU: Projection methods, algorithm and a new system of nonlinear variational inequalities. Comput Math Appl 2001b, 41(7–8):1023-1031.Google Scholar
Verma, RU: Projection methods and a new system of cocoercive variational inequality problems. Inter. J Diff Equ Appl 2002, 6(4):359-367.Google Scholar
Weng X: Fixed point iteration for local strictly pseudo contractive mapping. Proc Am Math Soc 1991, 113(3):727-737. 10.1090/S0002-9939-1991-1086345-8View ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License(http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.