Volume 2011, Issue 1 734082
Research Article
Open Access

Strong Convergence Theorems for Family of Nonexpansive Mappings and System of Generalized Mixed Equilibrium Problems and Variational Inequality Problems

Yekini Shehu

Corresponding Author

Yekini Shehu

Mathematics Institute, African University of Science and Technology, Abuja, Nigeria aust.edu.ng

Search for more papers by this author
First published: 17 April 2011
Academic Editor: A. Zayed

Abstract

We introduce a new iterative scheme by hybrid method for finding a common element of the set of common fixed points of infinite family of nonexpansive mappings, the set of common solutions to a system of generalized mixed equilibrium problems, and the set of solutions to a variational inequality problem in a real Hilbert space. We then prove strong convergence of the scheme to a common element of the three sets. We give some applications of our results. Our results extend important recent results.

1. Introduction

Let K be a nonempty closed and convex subset of a real Hilbert space H. A mapping A : KH is called monotone if
(1.1)
The variational inequality problem is to find an x*K such that
(1.2)
(see, e.g., [1]). We will denote the set of solutions to the variational inequality problem (1.2) by VI(K, A).

A mapping A : KH is called inverse-strongly monotone (see, e.g., [2, 3]) if there exists a positive real number α such that 〈AxAy, xy〉≥αAxAy2, for all x, yK. For such a case, A is called α-inverse-strongly monotone.

A mapping T : KK is said to be nonexpansive if
(1.3)
for all x, yK. A point xK is called a fixed point of T if Tx = x. The set of fixed points of T is the set F(T)∶ = {xK : Tx = x}.
Let φ : K be a real-valued function and A : KH a nonlinear mapping. Suppose that F : K × K into is an equilibrium bifunction. That is, F(u, u) = 0, for all uK. The generalized mixed equilibrium problem is to find xK (see, e.g., [46]) such that
(1.4)
for all yK. We will denote the set of solutions of this generalized mixed equilibrium problem by GMEP(F, A, φ). Thus
(1.5)
If φ = 0, A = 0, then problem (1.4) reduces to equilibrium problem studied by many authors (see, e.g., [714]), which is to find x*K such that
(1.6)
for all yK. The set of solutions of (1.6) is denoted by EP (F).
If φ = 0, then problem (1.4) reduces to generalized equilibrium problem studied by many authors (see, e.g., [1518]), which is to find x*K such that
(1.7)
for all yK. The set of solutions of (1.7) is denoted by GEP (F, A).
If A = 0, then problem (1.4) reduces to mixed equilibrium problem considered by many authors (see, e.g., [1921]), which is to find x*K such that
(1.8)
for all yK. The set of solutions of (1.8) is denoted by MEP(F, φ).

The generalized mixed equilibrium problems include fixed point problems, optimization problems, variational inequality problems, Nash equilibrium problems, and equilibrium problems as special cases (see, e.g., [22]). Numerous problems in physics, optimization, and economics reduce to find a solution of problem (1.4). Several methods have been proposed to solve the fixed point problems, variational inequality problems, and equilibrium problems in the literature. See, for example, [2333].

One of the iterative processes (see Halpern [34]) which is often used to approximate a fixed point of a nonexpansive mapping T is defined as follows. Take an initial guess x0K arbitrarily and define {xn} recursively by
(1.9)
where {αn} is a sequence in [0, 1]. The iteration process (1.9) has been proved to be strongly convergent both in Hilbert spaces [3436] and uniformly smooth Banach spaces [37, 38] when the sequence {αn} satisfies the conditions
  • (i)

    lim nαn = 0,

  • (ii)

    ,

  • (iii)

    either or lim nαn/αn+1 = 1.

Motivated by (1.9), Martinez-Yanes and Xu [39] introduced the following iterative scheme for a single nonexpansive mapping T in a Hilbert space:
(1.10)
where PK denotes the metric projection of H onto a closed and convex subset K of H. They proved that if {αn}⊂(0,1) and lim nαn = 0, then the sequence {xn} converges strongly to PF(T)x0.

Furthermore, algorithm (1.10) has been modified by many authors for relatively nonexpansive mappings and quasi-ϕ-nonexpansive mappings in Banach spaces (see, e.g., [4043]).

Recently, Ceng and Yao [44] introduced a new iterative scheme of approximating a common element of the set of solutions to mixed equilibrium problem and set of common fixed points of finite family of nonexpansive mappings in a real Hilbert space H. In the proof process of their results, they imposed the following condition on a nonempty closed and convex subset K of H:
  • (E)

      A : K is η-strongly convex and its derivative A is sequentially continuous from weak topology to the strong topology.

We remark here that this condition (E) has been used by many authors for approximation of solution to mixed equilibrium problem in a real Hilbert space (see, e.g., [45, 46]). However, it is observed that condition (E) does not include the case A(x) = ∥x2/2 and η(x, y) = xy. Furthermore, Peng and Yao [19], Wangkeeree and Wangkeeree [47], and other authors replaced condition (E) with these conditions:
  • (B1)

      for each xH and r > 0, there exist a bounded subset DxK and yxK such that, for any zKDx,

    (1.11)
    or

  • (B2)

      K is a bounded set.

Consequently, conditions (B1) and (B2) have been used by many authors in approximating solution to generalized mixed equilibrium (mixed equilibrium) problems in a real Hilbert space (see, e.g., [19, 47]).

In [48], Takahashi et al. proved the following convergence theorem using hybrid method.

Theorem 1.1 (Takahashi et al. [48]). Let K be a nonempty closed and convex subset of a real Hilbert space H. Let T be a nonexpansive mapping of K into itself such that F(T) ≠ . For C1 = K, , define sequences and of K as follows:

(1.12)
Assume that satisfies 0 ≤ αn < α < 1. Then, converges strongly to PF(T)x0.

Motivated by the results of Takahashi et al. [48], Kumam [49] studied the problem of approximating a common element of set of solutions to an equilibrium problem, set of solutions to variational inequality problem, and set of fixed points of a nonexpansive mapping in a real Hilbert space. In particular, he proved the following theorem.

Theorem 1.2 (Kumam [49]). Let K be a nonempty closed convex subset of a real Hilbert space H. Let F be a bifunction from K × K satisfying (A1)–(A4), and let B be a β-inverse-strongly monotone mapping of K into H. Let T be a nonexpansive mapping of K into H such that F(T)∩EP (F)∩VI(K, B) ≠ . For C1 = K, , define sequences and of K as follows:

(1.13)
Assume that , , and satisfy
(1.14)
Then, converges strongly to PF(T)∩EP (F)∩VI(K,B)x0.

Quite recently, Chantarangsi et al. [50] proved the following convergence theorem for approximation of fixed point of a nonexpansive mapping which is also a common solution to a system of generalized mixed equilibrium problems and variational inequality problem in a real Hilbert space.

Theorem 1.3 (Chantarangsi et al. [50]). Let K be a nonempty closed and convex subset of a real Hilbert space H. Let θ1, θ2 be bifunctions from K × K satisfying (A1)–(A4), Ψ1 an ξ-inverse-strongly monotone mapping of K into H, Ψ2 a β-inverse-strongly monotone mapping of K into H with assumption (B1) or (B2), and T : KK a nonexpansive mapping. Let B be an ω-Lipschitz continuous and relaxed (υ, ν) co-coercive mapping of K into H, f : KK a contraction mapping with coefficient η ∈ (0,1), and A a strongly positive linear bounded selfadjoint operator with coefficient and . Suppose that F∶ = F(T)∩GMEP(θ1, φ, Ψ1)∩GMEP(θ2, φ, Ψ2)∩VI(K, B) ≠ . Let , , , and be generated by

(1.15)
where {rn}⊂[a, b]⊂[0,2ξ], {sn}⊂[c, d]⊂[0,2β], {γn}⊂[h, j]⊂(0,1), {γn}, {εn}, {βn} are three sequences in (0, 1) satisfying the following conditions:
  • (C1)

      lim nεn = 0 and ,

  • (C2)

      0 < liminf nβn ≤ limsup nβn < 1,

  • (C3)

      0 < liminf nrn ≤ limsup nrn < 2ξ and lim n | rn+1rn | = 0,

  • (C4)

      0 < liminf nsn ≤ limsup nsn < 2β and lim n | sn+1sn | = 0,

  • (C5)

      {αn}⊂[e, g]⊂(0, (2(νυω2))/ω2),   ν > υω2 and lim n | αn+1αn | = 0.

Then, {xn} converges strongly to z = PF(γf + (IA))(z).

Motivated by the ongoing research and the above-mentioned results, we modify algorithm (1.10) and introduce a new iterative scheme for finding a common element of the set of fixed points of an infinite family of nonexpansive mappings, the set of common solutions to a system of generalized mixed equilibrium problems, and the set of solutions to a variational inequality problem in a real Hilbert space. Furthermore, we show that our new iterative scheme converges strongly to a common element of the three sets. In the proof process of our results, we use conditions (B1) and (B2) mentioned above. Our result extends many important recent results. Finally, we give some applications of our results.

2. Preliminaries

Let H be a real Hilbert space with inner product 〈·, ·〉 and norm ∥·∥, and let K be a nonempty closed and convex subset of H. The strong convergence of to x is written xnx as n.

For any point uH, there exists a unique point PKuK such that
(2.1)
PK is called the metric projection of H onto K. We know that PK is a nonexpansive mapping of H onto K. It is also known that PK satisfies
(2.2)
for all x, yH. Furthermore, PKx is characterized by the properties PKxK and
(2.3)
for all yK and
(2.4)
In the context of the variational inequality problem, (2.3) implies that
(2.5)
If A is an α-inverse-strongly monotone mapping of K into H, then it is obvious that A is a (1/α)-Lipschitz continuous. We also have that, for all x, yK and r > 0,
(2.6)
So, if r ≤ 2α, then IrA is a nonexpansive mapping of K into H.
For solving the generalized mixed equilibrium problem for a bifunction F : K × K, let us assume that F, φ, and K satisfy the following conditions:
  • (A1)

    F(x, x) = 0 for all xK,

  • (A2)

    F is monotone, that is, F(x, y) + F(y, x) ≤ 0 for all x, y, ∈K,

  • (A3)

    for each x, y, zK, lim t→0F(tz + (1 − t)x, y) ≤ F(x, y),

  • (A4)

    for each xK, yF(x, y) is convex and lower semicontinuous,

  • (B1)

    for each xH and r > 0 there exist a bounded subset DxK and yxK such that for any zKDx,

(2.7)
  • (B2)

    K is a bounded set.

Then, we have the following lemma.

Lemma 2.1 (Wangkeeree and Wangkeeree [47]). Assume that F : K × K satisfies (A1)–(A4), and let φ : K be a proper lower semicontinuous and convex function. Assume that either (B1) or (B2) holds. For r > 0 and xH, define a mapping as follows:

(2.8)
for all zH. Then, the following hold:
  • (1)

    for each xH, ,

  • (2)

    is single-valued,

  • (3)

    is firmly nonexpansive, that is, for any x, yH,

    (2.9)

  • (4)

    ,

  • (5)

    GMEP(F) is closed and convex.

We will also use the following lemma in our results.

Lemma 2.2 (Baillon and Haddad [51]). Let E be a Banach space, let f be a continuously Fréchet differentiable convex functional on E, and let ∇f be the gradient of f. If ∇f is (1/α)-Lipschitz continuous, then ∇f is α-inverse-strongly monotone.

3. Main Results

Theorem 3.1. Let K be a nonempty closed and convex subset of a real Hilbert space H. For each m = 1,2, let Fm be a bifunction from K × K satisfying (A1)–(A4), φm : K ∪ {+} a proper lower semicontinuous and convex function with assumption (B1) or (B2), A be an α-inverse-strongly monotone mapping of K into H, and B a β-inverse-strongly monotone mapping of K into H, and, for each i = 1,2, …, let Ti : KK be a nonexpansive mapping such that . Let D be a γ-inverse-strongly monotone mapping of K into H. Suppose that . Let , , , (i = 1,2, …), and be generated by x0K, C1,i = K, , ,

(3.1)
Assume that (i = 1,2, …), , and satisfy
  • (i)

    0 < arnb < 2α,

  • (ii)

    0 < cλnf < 2β,

  • (iii)

    lim nαn,i = 0,

  • (iv)

    0 < hsnj < 2γ.

Then, converges strongly to PFx0.

Proof. Let x*F. Then,

(3.2)
Since both IrnA and IλnB are nonexpansive for each n ≥ 1 and , , from (2.6), we have that
(3.3)
Therefore,
(3.4)
Let n = 1, then C1,i = K is closed convex for each i = 1,2, …. Now assume that Cn,i is closed convex for some n > 1. Then, from definition of Cn+1,i, we know that Cn+1,i is closed convex for the same n > 1. Hence, Cn,i is closed convex for n ≥ 1 and for each i = 1,2, …. This implies that Cn is closed convex for n ≥ 1. Furthermore, we show that FCn. For n = 1, FK = C1,i. For n ≥ 2, let x*F. Then,
(3.5)
which shows that x*Cn,i, for all n ≥ 2, for all i = 1,2, …. Thus, FCn,i, for all n ≥ 1, for all i = 1,2, …. Hence, it follows that FCn, for all n ≥ 1. Since , for all n ≥ 1, and xn+1Cn+1Cn, for all n ≥ 1, we have that
(3.6)
Also, as FCn by (2.1), it follows that
(3.7)
From (3.6) and (3.7), we have that lim nxnx0∥ exists. Hence, is bounded and so are , , , , , , , and , i = 1,2, …. For m > n ≥ 1, we have that . By (2.4), we obtain
(3.8)
Letting m, n and taking the limit in (3.8), we have that xmxn → 0, m, n, which shows that is Cauchy. In particular, lim nxn+1xn∥ = 0. Since, is Cauchy, we assume that xnzK.

Since , then

(3.9)
and it follows that
(3.10)
Thus,
(3.11)
Furthermore,
(3.12)
Since 0 < cλnf < 2β, we have that
(3.13)
Hence, lim nBznBx*∥ = 0. From (3.1), we have that
(3.14)
On the other hand,
(3.15)
and, hence,
(3.16)
Putting (3.16) into (3.14), we have that
(3.17)
It follows that
(3.18)
Therefore, lim nznun∥ = 0. Furthermore,
(3.19)
Since 0 < arnb < 2α, we have that
(3.20)
Hence, lim nAxnAx*∥ = 0. From (3.1), we have that
(3.21)
On the other hand,
(3.22)
and, hence,
(3.23)
Putting (3.23) into (3.21), we have that
(3.24)
It follows that
(3.25)
Therefore, lim nxnzn∥ = 0. But yn,i = αn,ix0 + (1 − αn,i)Tiwn implies that
(3.26)
Furthermore, we have that
(3.27)
Furthermore,
(3.28)
Thus,
(3.29)
Since 0 < hsnj < 2γ, condition (iii) and ∥yn,ixn∥→0 as n, we have that lim nDunDx*∥ = 0. Now, using (2.2), we obtain
(3.30)
Thus,
(3.31)
Using this last inequality, we obtain from (3.1)
(3.32)
This implies that
(3.33)
Since lim nαn,i = 0, ∥yn,ixn∥→0 as n, and ∥DunDx*∥→0 as n, we have that lim nwnun∥ = 0. Also since lim nwnxn∥ = 0 and lim nxnz∥ = 0, we have that lim nwnz∥ = 0. Now,
(3.34)
Hence, lim nwnTiwn∥ = 0, i = 1,2, …. By lim nwnz∥ = 0 and lim nwnTiwn∥ = 0, i = 1,2, …, we have that .

Since , n ≥ 1, we have, for any yK, that

(3.35)
Furthermore, replacing n by nj in the last inequality and using (A2), we obtain
(3.36)
Let zt∶ = ty + (1 − t)z for all t ∈ (0,1] and yK. This implies that ztK. Then, we have that
(3.37)
Since , j, we obtain , j. Furthermore, by the monotonicity of A, we obtain . Then, by (A4), we obtain (noting that )
(3.38)
Using (A1), (A4), and (3.38), we also obtain
(3.39)
and, hence,
(3.40)
Letting t → 0, we have, for each yK, that
(3.41)
This implies that z ∈ GMEP(F1, A, φ1). By following the same arguments, we can show that z ∈ GMEP(F2, B, φ2).

Following the arguments of [3, Theorem 3.1, pages 346-347], we can show that z ∈ VI(K, D). Therefore, .

Noting that , we have by (2.3),

(3.42)
for all yCn. Since FCn and by the continuity of inner product, we obtain, from the above inequality,
(3.43)
for all yF. By (2.3) again, we conclude that z = PFx0. This completes the proof.

Corollary 3.2. Let K be a nonempty closed and convex subset of a real Hilbert space H. Let T : KK be a nonexpansive mapping such that F(T) ≠ . Let be generated by

(3.44)
Assume that such that lim nαn = 0. Then, converges strongly to PF(T)x0.

Remark 3.3. Corollary 3.2 can be viewed as an improvement of Theorem 3.1 of Martinez-Yanes and Xu [39] because we relax the iterative step Qn in the algorithm of Theorem 3.1 of [39].

4. Applications

Let C be a nonempty closed and convex cone in H and D an operator of C into H. We define the polar of C in H to be the set
(4.1)
Then, the element uC is called a solution of the complementarity problem if
(4.2)
The set of solutions of the complementarity problem is denoted by C(C, D). We will assume that D satisfies the following conditions:
  • (E1)

      D is γ-inverse strongly monotone,

  • (E2)

      C(C, D) ≠ .

Also, we replace conditions (B1) and (B2) with
  • (D1)

      for each xH and r > 0, there exist a bounded subset DxC and yxC such that, for any zCDx,

    (4.3)

  • (D2)

      C is a bounded set.

Theorem 4.1. Let C be a nonempty closed and convex subset of a real Hilbert space H. For each m = 1,2, let Fm be a bifunction from C × C satisfying (A1)–(A4), φm : C ∪ {+} a proper lower semicontinuous and convex function with assumption (B1) or (B2), A an α-inverse-strongly monotone mapping of C into H, and B a β-inverse-strongly monotone mapping of C into H, and, for each i = 1,2, …, let Ti : CC be a nonexpansive mapping such that . Let D be a γ-inverse-strongly monotone mapping of K into H. Suppose that . Let , , , (i = 1,2, …), and be generated by x0C, C1,i = C, , ,

(4.4)
Assume that (i = 1,2, …), , and satisfy
  • (i)

    0 < arnb < 2α,

  • (ii)

    0 < cλnf < 2β,

  • (iii)

      lim nαn,i = 0,

  • (iv)

    0 < hsnj < 2γ.

Then, converges strongly to PFx0.

Proof. Using Lemma 7.1.1 of [52], we have that VI(C, D) = C(C, D). Hence, by Theorem 3.1 we obtain the desired conclusion.

Next we study the problem of finding a minimizer of a continuously Fréchet differentiable convex functional in a Hilbert space.

Theorem 4.2. For each m = 1,2, let Fm be a bifunction from H × H satisfying (A1)–(A4), φm : H ∪ {+} a proper lower semicontinuous and convex function with assumption (B1) or (B2), A an α-inverse-strongly monotone mapping of H into itself, and B a β-inverse-strongly monotone mapping of H into itself, and, for each i = 1,2, …, let Ti : HH be a nonexpansive mapping such that . Suppose that f is a functional on H which satisfies the following conditions:

  • (1)

    f is a continuously Fréchet differentiable convex functional on H and ∇f is (1/γ)-Lipschitz continuous,

  • (2)

    (∇f) −10 = {zH : f(z) = min yHf(y)} ≠ .

Suppose that . Let , , , (i = 1,2, …), and be generated by x0K, C1,i = K, , ,
(4.5)
Assume that (i = 1,2, …), , and satisfy
  • (i)

    0 < arnb < 2α,

  • (ii)

    0 < cλnf < 2β,

  • (iii)

    lim nαn,i = 0,

  • (iv)

    0 < hsnj < 2γ.

Then, converges strongly to PFx0.

Proof. We know from condition (i) and Lemma 2.2 that ∇f is an γ-inverse-strongly monotone operator from H into H. Using Theorem 3.1, we have the desired conclusion.

We now study a kind of multiobjective optimization problem with nonempty set of solutions:
(4.6)
where K is a nonempty closed convex subset of a real Hilbert space H, and hi : K, i = 1,2, is a convex and a lower semicontinuous functional. Let us denote the set of solutions to (4.6) by Ω and assume that Ω ≠ .
We will denote the set of solutions of the following two optimization problems by Ω1 and Ω2, respectively:
(4.7)
Clearly, if we find a solution x ∈ Ω1∩Ω2, then one must have x ∈ Ω.
Now, for each i = 1,2, let Fi : K × K be defined by Fi(x, y)∶ = hi(y) − hi(x). Let us now find the following equilibrium problem: find xK such that
(4.8)
for all yK. It is obvious that Fi satisfies conditions (A1)–(A4) and EP (Fi) = Ωi, i = 1,2, where EP (Fi) is the set of solutions to (4.8). By Theorem 3.1, we have the following theorem.

Theorem 4.3. Let K be a nonempty closed and convex subset of a real Hilbert space H. For each i = 1,2, let hi be a lower semicontinuous and convex function such that Ω1∩Ω2. Let , , , and be generated by x0K, C1 = K, ,

(4.9)
Assume that , , and satisfy
  • (i)

    liminf nrn > 0,

  • (ii)

    liminf nλn > 0,

  • (iii)

    lim nαn = 0.

Then, converges strongly to .

Remark 4.4. Our results in this paper also hold for infinite family of uniformly continuous quasi-nonexpansive mappings in a real Hilbert space.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.