Strong Convergence Theorems for Family of Nonexpansive Mappings and System of Generalized Mixed Equilibrium Problems and Variational Inequality Problems
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
A mapping A : K → H is called inverse-strongly monotone (see, e.g., [2, 3]) if there exists a positive real number α such that 〈Ax − Ay, x − y〉≥α∥Ax − Ay∥2, for all x, y ∈ K. For such a case, A is called α-inverse-strongly monotone.
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, [23–33].
- (i)
lim n→∞αn = 0,
- (ii)
,
- (iii)
either or lim n→∞αn/αn+1 = 1.
Furthermore, algorithm (1.10) has been modified by many authors for relatively nonexpansive mappings and quasi-ϕ-nonexpansive mappings in Banach spaces (see, e.g., [40–43]).
- (E)
A : K → ℝ is η-strongly convex and its derivative A′ is sequentially continuous from weak topology to the strong topology.
- (B1)
for each x ∈ H and r > 0, there exist a bounded subset Dx⊆K and yx ∈ K such that, for any z ∈ K∖Dx,
(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:
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:
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 : K → K a nonexpansive mapping. Let B be an ω-Lipschitz continuous and relaxed (υ, ν) co-coercive mapping of K into H, f : K → K 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
- (C1)
lim n→∞εn = 0 and ,
- (C2)
0 < liminf n→∞βn ≤ limsup n→∞βn < 1,
- (C3)
0 < liminf n→∞rn ≤ limsup n→∞rn < 2ξ and lim n→∞ | rn+1 − rn | = 0,
- (C4)
0 < liminf n→∞sn ≤ limsup n→∞sn < 2β and lim n→∞ | sn+1 − sn | = 0,
- (C5)
{αn}⊂[e, g]⊂(0, (2(ν − υω2))/ω2), ν > υω2 and lim n→∞ | αn+1 − αn | = 0.
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 xn → x as n → ∞.
- (A1)
F(x, x) = 0 for all x ∈ K,
- (A2)
F is monotone, that is, F(x, y) + F(y, x) ≤ 0 for all x, y, ∈K,
- (A3)
for each x, y, z ∈ K, lim t→0F(tz + (1 − t)x, y) ≤ F(x, y),
- (A4)
for each x ∈ K, y ↦ F(x, y) is convex and lower semicontinuous,
- (B1)
for each x ∈ H and r > 0 there exist a bounded subset Dx⊆K and yx ∈ K such that for any z ∈ K∖Dx,
- (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 x ∈ H, define a mapping as follows:
- (1)
for each x ∈ H, ,
- (2)
is single-valued,
- (3)
is firmly nonexpansive, that is, for any x, y ∈ H,
(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 : K → K 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 x0 ∈ K, C1,i = K, , ,
- (i)
0 < a ≤ rn ≤ b < 2α,
- (ii)
0 < c ≤ λn ≤ f < 2β,
- (iii)
lim n→∞αn,i = 0,
- (iv)
0 < h ≤ sn ≤ j < 2γ.
Proof. Let x* ∈ F. Then,
Since , then
Since , n ≥ 1, we have, for any y ∈ K, that
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),
Corollary 3.2. Let K be a nonempty closed and convex subset of a real Hilbert space H. Let T : K → K be a nonexpansive mapping such that F(T) ≠ ∅. Let be generated by
4. Applications
- (E1)
D is γ-inverse strongly monotone,
- (E2)
C(C, D) ≠ ∅.
- (D1)
for each x ∈ H and r > 0, there exist a bounded subset Dx⊆C and yx ∈ C such that, for any z ∈ C∖Dx,
(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 : C → C 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 x0 ∈ C, C1,i = C, , ,
- (i)
0 < a ≤ rn ≤ b < 2α,
- (ii)
0 < c ≤ λn ≤ f < 2β,
- (iii)
lim n→∞αn,i = 0,
- (iv)
0 < h ≤ sn ≤ j < 2γ.
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 : H → H 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 = {z ∈ H : f(z) = min y∈Hf(y)} ≠ ∅.
- (i)
0 < a ≤ rn ≤ b < 2α,
- (ii)
0 < c ≤ λn ≤ f < 2β,
- (iii)
lim n→∞αn,i = 0,
- (iv)
0 < h ≤ sn ≤ j < 2γ.
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.
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 x0 ∈ K, C1 = K, ,
- (i)
liminf n→∞rn > 0,
- (ii)
liminf n→∞λn > 0,
- (iii)
lim n→∞αn = 0.
Remark 4.4. Our results in this paper also hold for infinite family of uniformly continuous quasi-nonexpansive mappings in a real Hilbert space.