Skip to main content

On the equivalence between some kinds of implicit and explicit iterations with applications

Abstract

The purpose of this article is to study the equivalence between some kinds of implicit and explicit iterative approximations. As applications, we utilize our results to study the approximation problems arising in nonexpansive semigroup, variational inclusions and equilibrium problem.

1 Introduction

Definition 1.1 Let (X, d) be a metric space and let S: XX be a mapping. S is said to be ψ- weakly contractive (weak contraction, for short) [1], if there exists a continuous and strictly increasing function ψ: [0, +) [0, +) with ψ(t) > 0, t (0, +) and ψ(0) = 0 such that

d S x , S y d x , y - ψ d x , y , x , y X .
(1.1)

From Definition 1.1, it is easy to see that if ψ (t) = (1 - h)t, h (0, 1), then S is a contractive mapping with the contractive constant h.

In 2001, Rhoades [2] proved the following interesting fixed point theorem:

Theorem 1.2 (Rhoades [2]) Let (X, d) be a complete metric space and let T: XX be a weakly contractive mapping. Then T has a unique fixed point in X. Moreover, for any given x X, the iterative sequence {Tnx} converges strongly to this fixed point.

This theorem is one of the generalization of Banach contraction Theorem.

Let E be a Banach space and let C be a nonempty, closed and convex subset of E. A mapping T: CC is said to be nonexpansive, if

T x - T y x - y , for all x , y C .
(1.2)

Denote by F(T) the fixed point set of T. It is well-known that if E is uniformly smooth C is bounded and T: CC is nonexpansive then F(T) is nonempty (see, Gö hde [3]).

Recently, many convergence theorems to fixed points of nonexpansive mappings have been established.

In 1967, Browder [4] and Halpern [5] proved some strong convergence theorems in Hilbert spaces for implicit and explicit iteration, respectively. Later these theorems have been extended in several directions. In 1980, Reich [6] proved the following:

Theorem 1.3 (Reich [6]) Let E be a uniformly smooth Banach space, C be a bounded, closed and convex subset of E and let T: CC be a nonexpansive mapping. Fix u C and define a net {y t } in C by

y t = t u + 1 - t T y t , t 0 , 1 .
(1.3)

Then {y t } converges strongly to Pu as t → 0+, where P is the unique sunny nonexpansive retraction from C onto F(T). (The relative definitions are given in Section 2.)

In the sequel, this theorem is called Reich's convergence theorem.

In 2004 Xu [7] proved the following

Theorem 1.4 (Xu [7]) Let E be a uniformly smooth Banach space and let C be a bounded, closed and convex subset of E. Let T: CC be a nonexpansive mapping with F (T) ≠ Ø, P be the unique sunny nonexpansive retraction from C onto F (T) and let f: CC be a contractive mapping with a contractive constant h (0, 1). Let {x t } be the net in C which is defined by

x t = t f ( x t ) + 1 - t T x t , t 0 , 1 .
(1.4)

Then as t → 0+, {x t } converges strongly to the unique point z C satisfying P f(z) = z.

On the other hand, in 2002, Xu proved the following.

Theorem 1.5 (Xu [8, 9]) Let E, C, T, P be as in Theorem 1.3. Let {y n } be the sequence in C defined by y1 C and

y n + 1 = α n u + ( 1 - α n ) T y n , n 1 ,
(1.5)

where {α n } is a sequence in (0, 1) which satisfies the following conditions:

(C1) limn→∞α n = 0;

(C2) n = 1 α n =;

(C3) lim n α n + 1 α n =1.

Then {y n } converges strongly to Pu.

In the sequel, this theorem is called Xu's convergence theorem.

Moreover, in 2000, Moudafi [10] introduced the concept of viscosity approximation and proved the following result

Theorem 1.6 (Moudafi [10]) Let H be a real Hilbert space, C be a nonempty closed convex subset of H, T: CC be a nonexpansive mapping with F(T) ≠ Ø and f: CC be a contractive mapping. Let {x n } be the sequence defined by:

x n + 1 = α n f ( x n ) + ( 1 - α n ) T x n , n 1 .
(1.6)

Then {x n } converge strongly to a fixed point of T in Hilbert space H.

In the sequel, this theorem is called Moudafi's viscosity convergence theorem.

Moudafi's viscosity convergence theorem is very important, because it can be applied to convex optimization, linear programming, monotone inclusions and elliptic differential equations (see [11]).

In 2004, Xu [7] extended Moudafi's results to a uniformly smooth Banach space. Song and Chen [1214] also obtained some strong convergence theorems about viscosity approximations in more general Banach space. More recently, Suzuki [11] and Petrusel and Yao [15] replace a contraction f in (1.6) by a Meir-Keeler contraction [16] and a generalized contraction [15], respectively, to approximate a common fixed point for an infinite family of nonexpansive mappings.

The purpose of this article is to study the equivalence between some kinds of implicit and explicit iterative approximations approximations. As applications, we utilize our results to study some approximation problems arising in nonexpansive semigroup, variational inclusions and equilibrium problems.

2 Preliminaries

In this section, we give some preliminaries which will be needed in proving our main results.

Throughout this article, we assume that E is a real Banach space, E* is the dual of E. The space E is said to be smooth or said to have a Gâteaux differentiable norm, if the limit lim t 0 x + t y - x t exists for each x, y U = {x E: ||x|| = 1}. The space E is said to have a uniformly Gâteaux differentiable norm, if for each y U, the limit is attained uniformly in x U. The space E is said to be uniformly smooth or said to have a uniformly Fréchet differentiable norm, if the limit is attained uniformly in x, y U.

Let C and K be subsets of E. Recall that A mapping P: CK is called sunny, if P(Px + t(x - Px)) = Px for any x C with Px + t(x - Px) C and t ≥ 0.

Let C be a convex subset of E and K be a subset of C. A mapping P: CK is called retraction from C onto K, if P2 = P .

Lemma 2.1 (Reich [17]) Let E be a smooth Banach space, and J: EE* be the normalized duality mapping. Let C be a convex subset of E, K be a subset of C and let P be a retraction from C onto K. Then the following are equivalent:

  1. (1)

    x - Px, J(Px - y)〉 0, x C and y K;

  2. (2)

    P is sunny and nonexpansive.

Hence there is at most one sunny nonexpansive retraction from C onto K.

Remark 2.2 We note that if E is a real Hilbert space and K is a closed and convex subset of C, then the metric projection and the sunny nonexpansive retraction from C onto K coincide, i.e., when T: CC is a nonexpansive mapping, the sunny nonexpansive retraction from C onto F(T) is the metric projection.

Proposition 2.3 (Suzuki [11]) Let E be a smooth Banach space and let C be a closed and convex subset of E. Let K be a subset of C and let P be the unique sunny nonexpansive retraction from C onto K. Let f: CC be a mapping and z K be a point. Then the following statements are equivalent:

  1. (1)

    z is a fixed point of P f;

  2. (2)

    z is a solution to the following variational inequality:

    f z - z , J ( z - y ) 0 , v K .

Proposition 2.4 (Song [14]) Let E be a Banach space and let C be a convex subset of E. Let T: CC be a nonexpansive mapping and let g: CC be a weakly contractive mapping. Then the following conclusions hold:

  1. (1)

    T g is weakly contractive;

  2. (2)

    for each t (0, 1), the mapping x α tg(x) + (1 - t)Tx is weakly contractive and the net {x t } defined by

    x t = t g ( x t ) + ( 1 - t ) T x t

is well-defined.

Lemma 2.5 (Alber and Guerre-Delabriere [1]) Let {λ n } and {β n } be two sequences of nonnegative real numbers and let {α n } be a sequence of positive numbers satisfying the conditions n = 1 α n = and lim n β n α n =0. Let the recursive inequality

λ n + 1 λ n - α n ψ ( λ n ) + β n , n 1

be given where ψ: [0, +) [0, +) is a continuous and strictly increasing function with ψ(0) = 0. Then {λ n } converges to 0 as n → ∞.

3. Equivalence between some implicit and explicit iterative schemes

We first give the following result.

Theorem 3.1 Let E be a uniformly smooth Banach space and let C be a bounded, closed and convex subset of E. Let T: CC be a nonexpansive mapping with F (T) ≠ Ø, P be the unique sunny nonexpansive retraction from C onto F (T) and let g: CC be a ψ- weakly contractive mapping. Let {x t } be the net in C defined by

x t = t g ( x t ) + 1 - t T x t , t 0 , 1 .
(3.1)

Then {x t } converges strongly to the unique point z C satisfying P g(z) = z as t → 0+.

Proof. Since P is nonexpansive and g is ψ- weakly contractive, by Proposition 2.4 (1), P g: CC is ψ- weakly contractive. From Theorem 1.2, there exists a unique z C such that z = P g(z).

Now we define a net {y t } as follows:

y t = t g z + 1 - t T y t , t 0 , 1 .

By virtue of Theorem 1.3, y t → P g(z) = z, as t → 0+. Moreover, for each t (0, 1), we have

x t - y t t g ( x t ) - g ( y t ) + g ( y t ) - g z + 1 - t T x t - T y t t { x t - y t - ψ ( x t - y t ) } + t { y t - z - ψ ( y t - z ) } + 1 - t x t - y t = x t - y t - t ψ ( x t - y t ) + t { y t - z - ψ ( y t - z ) } .

This implies that

ψ ( x t - y t ) + ψ ( y t - z ) y t - z 0 as  t 0 + .

Since ψ is continuous and strictly increasing, we have

x t - y t 0 , y t - z 0 as  t 0 + .
(3.2)

Therefore we have

x t - z x t - y t + y t - z 0 , as  t 0 + .

This completes the proof of Theorem 3.1.

Theorem 3.2 Let E, C, T, P, g be the same as in Theorem 3.1. Then Theorems 1.3, 1.4, and 3.1 are equivalent.

Proof. Theorem 1.3 Theorem 3.1 has been proved in Theorem 3.1. Now we proved that Theorem 3.1 Theorem 1.4 Theorem 1.3.

In fact, in Theorem 3.1 take g: CC to be a contractive mapping, then the conclusion of Theorem 1.4 can be obtained from Theorem 3.1. As well as in Theorem 1.4 take f as a constant valued mapping, then the conclusion Theorem 1.3 can be obtained from Theorem 1.4 immediately. This completes the proof of Theorem 3.2.

Remark 3.3 From Theorems 3.1 and 3.2, it follows that the convergence of the implicit iterative sequences defined by (1.3), (1.4), and (3.1) are equivalent.

Next we consider the equivalence between some explicit iterative sequences

In 2004, Xu [7] proved the following result:

Theorem 3.4 (Xu [7]) Let E be a uniformly smooth Banach space and let C be a bounded, closed and convex subset of E. Let T: CC be a nonexpansive mapping with F (T) ≠ Ø, P be the unique sunny nonexpansive retraction from C onto F(T) and let f: CC be a contractive mapping. Let {x n } be the sequence in C which is defined by

x n + 1 = α n f ( x n ) + ( 1 - α n ) T x n , n 1 ,
(3.3)

where {α n } is a sequence in (0, 1) satisfying the conditions (C1), (C2) and (C3) in Theorem 1.5. Then {x n } converges strongly to the unique point z C satisfying P f(z) = z.

It is easy to see that Theorem 3.4 is a generalization of Moudafi's Theorem 1.6.

Now we give the following result.

Theorem 3.5 Let E, C, T , P be the same as in Theorem 3.4. Let g: CC be a ψ- weakly contractive mapping. Let {x n } be the sequence in C which is defined by

x n + 1 = a n g ( x n ) + ( 1 - a n ) T x n , n 1 ,
(3.4)

where {α n } is a sequence in (0, 1) satisfying the conditions (C1), (C2), and (C3) in Theorem 1.5. Then {x n } converges strongly to the unique point z C satisfying P g(z) = z;

Proof. Since P is nonexpansive and g is a ψ- weak contraction, by Proposition 2.4 (1), P g: CC is weakly contractive. From Theorem 1.2, there exists a unique z C such that z = P g(z).

Now we define a sequence {y n } as follows:

y n + 1 = α n g z + ( 1 - α n ) T y n , n 1 .

By Theorem 1.5, y n → P g(z) = z, as n. Moreover, for each n ≥ 1, we have

x n + 1 - y n + 1 α n g ( x n ) - g ( y n ) + g ( y n ) - g z + ( 1 - α n ) T x n - T y n α n { x n - y n - ψ ( x n - y n ) } + α n { y n - z - ψ ( y n - z ) } + ( 1 - α n ) x n - y n = x n - y n - α n ψ ( x n - y n ) + α n { y n - z - ψ ( y n - z ) } .
(3.5)

Letting λ n = ||x n -y n ||, β n = α n {||y n -z||-ψ(||y n -z||)} in Lemma 2.5, from the assumptions, we know that all the conditions in Lemma 2.5 are satisfied. It follows from Lemma 2.5 and (3.5) that

lim n x n - y n = 0 .

Therefore we have

x n - z x n - y n + y n - z 0 , as  n .

The conclusion of Theorem 3.5 is proved.

Theorem 3.6 Let E, C, T, P, g be the same as in Theorem 3.5. Then Theorems 3.5, 3.4, and 1.5 are equivalent.

Indeed, the conclusion that Theorem 1.5 Theorem 3.5 has been proved in Theorem 3.5. Now we proved that Theorem 3.5 Theorem 3.4 Theorem 1.5. In fact, in Theorem 3.5 take g: CC to be a contractive mapping, the conclusion of Theorem 3.4 can be obtained from Theorem 3.5 immediately. Again in Theorem 3.4 take f: CC to be a constant-valued mapping, the conclusion of Theorem 1.5 can be obtained from Theorem 3.4 immediately.

Remark 3.7 From Theorem 3.5, it follows that the convergence of the explicit iterative sequences defined by (1.5), (3.4), and (3.3) are equivalent.

4. Equivalence between some more general implicit and explicit iterative schemes

In this section we study the equivalence between some more general implicit and explicit iterative schemes. Following Suzuki [11], we introduce the following concepts.

Definition 4.1 (1) Let E be a Banach space and let C be a nonempty, closed and convex subset of E. Let {S n }: CC be an infinite family of nonexpansive mappings and {α n } be a sequence in (0, 1) satisfying the condition (C1) in Theorem 1.5. The tuple (E, C, {S n }, {α n }) is said to have Browder's property, if for each u C the implicit iterative sequence {y n } defined by

y n = α n u + ( 1 - α n ) S n y n , n 1 ,
(4.1)

converges strongly.

  1. (2)

    Let {α n } be a sequence in (0, 1) satisfying the conditions (C1) and (C2) in Theorem 1.4 Then the tuple (E, C, {S n }, {α n }) is said to have Halpern's property, if for each u C the explicit iterative sequence {y n } defined by y1 C and

    y n + 1 = α n u + ( 1 - α n ) S n y n , n 1 ,
    (4.2)

converges strongly.

It is well known that if E is a Hilbert space, C is a bounded subset of E and {S n } = {S} is a constant sequence of nonexpansive mappings, then the tuple (E, C, {S n }, { 1 n } ) has both Browder's and Halpern's property.

Lemma 4.2 (Suzuki [11])

  1. (1)

    Let (E, C, {S n }, {α n }) have the "Browder's property". For each u C, let {y n } be the sequence in C defined by (4.1). Denote Pu = limn→∞y n , then P is a nonexpansive mapping from C to C;

  2. (2)

    Let (E, C, {S n }, {α n }) have the "Halpern's property". For each u C, let {y n } be the sequence in C defined by (4.2). Denote Pu = limn→∞y n , then the following hold:

  3. (i)

    Pu does not depend on the initial point y1 C;

  4. (ii)

    P is a nonexpansive mapping from C into C.

Theorem 4.3 Let (E, C, {S n }, {α n }, P) has the "Browder's property". Let g: CC be a ψ-weakly contractive mapping. Define a sequence {x n } in C by

x n = α n g ( x n ) + ( 1 - α n ) S n x n , n 1 .
(4.3)

Then {x n } converges strongly to the unique point z C satisfying P gz = z.

Proof. By Proposition 2.4, the existence and uniqueness of {x n } and z = P gz are assured. Define a sequence {y n } in C by

y n = α n g z + ( 1 - α n ) S n y n n 1 .

By the assumptions, y n P fz which equals to z. And for each n ≥ 1, we have

x n - y n α n { g ( x n ) - g ( y n + g ( y n ) - g z } + ( 1 - α n ) S n x n - S n y n α n { x n - y n - ψ ( x n - y n ) } + α n { y n - z - ψ ( y n - z ) } + ( 1 - α n ) x n - y n .

Simplifying it, we have

ψ ( x n - y n + ψ ( y n - z ) y n - z 0 as  n .

In view of the property of ψ, this implies that limn→∞||x n - y n || = 0. Hence we have

x n - z x n - y n + y n - z 0 as  n .

This completes the proof of Theorem 4.3.

Remark 4.4 It follows from Theorem 4.3 that the implicit iterative sequences (4.1) and (4.3) are equivalent.

Theorem 4.5 Let (E, C, {S n }, {α n }, P) have the "Halpern's property". Let g: CC be a ψ-weakly contractive mapping. Define a sequence {x n } in C by x1 C and

x n + 1 = α n g ( x n ) + ( 1 - α n ) S n x n , n 1 .
(4.4)

Then {x n } converges strongly to the unique point z C satisfying P gz = z.

Proof. By Proposition 2.4 (1), P g is a ψ- weak contraction from C to C. Hence there exists a unique z C such that z = P gz. Now we define a sequence {y n } by

y n + 1 = α n g z + ( 1 - α n ) S n y n , 1 .
(4.5)

By Lemma 4.2

y n P g z = z .

Hence we have

x n + 1 - y n + 1 α n g ( x n ) - g ( y n ) + g ( y n ) - g z + ( 1 - α n ) S n x n - S n y n α n { x n - y n - ψ ( x n - y n ) } + α n { y n - z - ψ ( y n - z ) } + ( 1 - α n ) x n - y n = x n - y n - α n ψ ( x n - y n ) + α n { y n - z - ψ ( y n - z ) } .

Taking λ n = ||x n - y n ||, β n = α n {||y n - z|| - ψ(||y n - z||)} in Lemma 2.5 and from the assumptions, we know that all the conditions in Lemma 2.5 are satisfied, and therefore we have

lim n x n - y n = 0 ,

which implies that

x n - z x n - y n + y n - z 0 , as  n .

This completes the proof of Theorem 4.5.

Remark 4.6 From the above arguments, we get that the explicit iterative sequences (4.2) and (4.4) are equivalent.

5 Applications

In this section, we will utilize Theorems 4.3 and 4.5 to study some approximation problems and to state several deduced theorems.

5.1 Application to nonexpansive semigroup problems

Theorem 5.1 Let E be a uniformly convex Banach space having a weakly continuous normalized duality mapping J: EE*, C be a closed and convex subset of E and let T:= { T ( t ) : t 0 } :CC be a nonexpansive semigroup with F ( T ) := t 0 F ( T ( t ) ) . Let g: CC be a ψ- weakly contractive mapping and let {x n } be the implicit iterative sequence defined by:

x n = α n g ( x n ) + ( 1 - α n ) T ( t n ) x n , n 1 ,
(5.1)

where {α n } and {t n } are sequences of real numbers such that α n (0, 1) and t n > 0 for all n ≥ 1 and lim n t n = lim n ( α n t n ) =0. Then x n z = P gz, where P is the sunny nonexpansive retraction from C onto F ( T ) .

Proof. It follows from [[18], Theorem 3.3] that (E, C, {S n }, {α n }, P) has the "Browder's property", where S n = T (t n ), for any n ≥ 1. Hence the conclusion of Theorem 5.1 can be obtained immediately from Theorem 4.3.

Theorem 5.2 Let H be a real Hilbert space, C be a nonempty, closed and convex subset of H, T:= { T ( t ) : t 0 } :CC be a nonexpansive semigroup with F ( T ) := t 0 F ( T ( t ) ) and the mapping t α ||T(t)x - y||2 is measurable for each x C and y H. Let {σ n }: [0, ) → [0, ) be a sequence of measurable functions such that 0 σ n ( t ) dt=1 for each n ≥ 1, lim n→∞ σ n (t) = 0 for almost every t ≥ 0, lim n 0 | σ n t + s - σ n t |dt=0, for all s ≥ 0 and there exists β L loc 1 [ 0 , ) such that sup n σ n (t) ≤ β(t) for almost every t ≥ 0, where β L loc 1 [ 0 , ) means a restriction of β on [0, s] belongs to L1[0, s] for each s > 0. Let g: CC be a weakly contractive mapping, {α n } be a real sequence in (0, 1] such that α n 0 and let {β n } be a sequence in 0[1] such that β n → 0 and n = 0 β n =. Let x and y0 be points of C and let {x n } and {y n } be the sequences which are defined by

x n = α n g ( x n ) + 1 - α n 0 σ n ( t ) T ( t ) x n d t , n 1 ,
(5.2)

and

y n + 1 = β n g ( x n ) + 1 - β n 0 σ n ( t ) T ( t ) y n d t , n 1 ,
(5.3)

respectively. Then both {x n } and {y n } converge strongly to z = P gz, where P is the metric projection from C onto F ( T ) .

Proof. By the assumption that T:= { T ( t ) : t 0 } :CC is a nonexpansive semiproup, hence for each n ≥ 1, S n := 0 σ n ( t ) T ( t ) dt:CC is a nonexpansive mapping. From [[19], Theorem 10], we know that (H, C, {S n }, {α n }, P) and (H, C, {S n }, {β n }, P) have the Browder's and Halpern's property, respectively. Hence the conclusions of Theorem 5.2 follow immediately from Theorems 4.3 and 4.5.

Definition 5.3 Let ρE: [0, ) → [0, ) be the modulus of smoothness of a Banach space E defined by

ρ E ( t ) = sup 1 2 ( x + y + x - y ) - 1 : x S ( E ) , y t

where S(E) = {x E: ||x|| = 1}.

A Banach space E is said to be uniformly smooth if ρ E ( t ) t 0 as t → 0. Let q > 1. A Banach space E is said to be q-uniformly smooth, if there exists a fixed constant c > 0 such that ρ E (t) ≤ ctq. It is well-known that E is uniformly smooth if and only if the norm of E is uniformly Fréchet differentiable. If E is q-uniformly smooth, then q ≤ 2 and E is uniformly smooth.

Lemma 5.4 (Xu [20]) Let E be a real 2-uniformly smooth Banach space with the best smooth constant K. Then the following inequality holds:

x + y 2 x 2 +  2 y , J ( x ) + 2 K y 2 ,

for any x, y E, where K is a positive constant. The minimal positive constant K satisfying the above inequality is said to be the best smooth constant.

5.2 Application to a system of variational inclusions

Theorem 5.5 Let E be a uniformly convex and 2-uniformly smooth Banach space with the best smooth constant K. Let M i : E → 2E be maximal monotone mappings and let A i : EE be γ i - inverse-strongly accretive mappings, i = 1, 2. Let T: EE be a λ- strict pseudocontraction with a fixed point. Define a mapping S by Sx= ( 1 - λ K 2 ) x+ λ K 2 Tx, for all x E. Let g: EE be a ψ- weak concraction. Assume that Ω = F(T) ∩ F(Q) ≠ Ø, where Q: EE is a mapping which is defined by

Q x = J M 1 , ρ 1 I - ρ 1 A 1 J M 2 , ρ 2 I - ρ 2 A 2 x , x E ,

and J M i , ρ i :EE is the resolvent operator associated with M i defined by J M i , ρ i ( x ) = ( I + ρ i M ) - 1 ( x ) , x E, where ρ is any positive number and I is the identity mapping. Let x1 = u and {x n } be a sequence defined by

x n + 1 = α n g ( x n ) + β n x n + ( 1 - β n - α n ) [ μ S x n + 1 - μ Q x n ] , n 1 ,
(5.4)

where μ (0, 1), ρ i ( 0 , γ i K 2 ) , i = 1, 2, and {α n } and {β n } are sequences in (0, 1). If the following conditions are satisfied:

  1. (i)

    0 < lim infn→β n lim supn→β n < 1;

  2. (ii)

    limn→α n = 0 and n = 1 α n =,

then {x n } converges strongly to x* = PΩg(x*), where PΩ is the sunny nonexpansive retraction from E onto Ω and (x*, y*), where y * = J ( M 2 , ρ 2 ) ( x * - ρ 2 A 2 x * ) is a solution of the following system of quasivariational inclusions:

0 x * - y * + ρ 1 ( A 1 y * + M 1 x * ) , 0 y * - x * + ρ 2 ( A 2 x * + M 2 y * ) .
(5.5)

Proof. By the assumptions, we know that the mappings S and Q are nonexpansive on E. From [21], the mapping U: = μS + (1 )Q is also nonexpansive on E. Since

β n x n + ( 1 - β n - α n ) μ S x n + ( 1 - μ ) Q x n = ( 1 - α n ) β n I 1 - α n + 1 - β n 1 - α n U ( x n ) ,

where β n I 1 - α n + ( 1 - β n 1 - α n ) U is a nonexpansive on C (see [21]), hence (4.4) can be rewritten as follows:

x n + 1 = α n g ( x n ) + ( 1 - α n ) β n I 1 - α n + 1 - β n 1 - α n U ( x n ) , n 1 .
(5.6)

From [[22], Theorem 2.1], (E, C, {S n }, {α n }), PΩ) has the "Halpern's property", where

S n = β n I 1 - α n + 1 - β n 1 - α n U , n 1 .

Hence for any u E the sequence {y n } defined by y1 = u E and

y n + 1 = α n u + ( 1 - α n ) S n y n , n 1,

converges strongly to x* = PΩu and (x*, y*), where y * = J M 2 , ρ 2 ( I - ρ 2 A 2 ) x * , is a solution to the system of quasivariational inclusions (5.5). Hence from Theorem 4.3, we know that x n → x* = PΩg(x*), and (x*, y*), where y * = J M 2 , ρ 2 ( I - ρ 2 A 2 ) x * , is a solution to the system of quasivariational inclusions (5.5).

This completes the proof of Theorem 5.5.

5.3 Application to equilibrium problem

Let H be a real Hilbert space, C be a nonempty, closed and convex subset of H and let G:C×CR be an equilibrium function, i.e., G(u, u) = 0, for any u C. The equilibrium problem is to find x* C such that G(x*, y) 0, for all y C. The solution set of equilibrium problem is denoted by EP(G).

For solving equilibrium problem of a function G:C×CR, let us assume that G satisfies the following conditions:

(A1) G(x, x) = 0;

(A2) G(x, y) + G(y, x) 0, x, y C;

(A3) for each x, y, z C, lim supt→ 0G(tz + (1 - t)x, y) ≤ G(x, y);

(A4) for each x C, y G(x, y) is convex and lower semi-continuous.

Let {T i } be an infinite family of nonexpansive mappings on C and let {λ i } be a real sequence in 0[1]. Following Shimoji and Takahashi [23], for any n ≥ 1, we define a mapping

W n : CC by

U n , n + 1 = I , U n , n = λ n T n U n , n + 1 + ( 1 - λ n ) I , U n , k = λ k T k U n , k + 1 + ( 1 - λ k ) I , U n , 2 = λ 2 T 2 U n , 3 + ( 1 - λ 2 ) I , W n = U n , 1 = λ 1 T 1 U n , 2 + ( 1 - λ 1 ) I .
(5.7)

Lemma 5.6 (Combettes and Hirstoaga [24]) Let G:C×CR be an equilibrium function which satisfies the conditions (A1)-(A4). For r > 0 and x H define the mapping S r : HC by

S r ( x ) = z C : G ( z , y ) + 1 r y - z , z - x 0 , y C ,

then S r is well defined and the following hold: (1) S r is single-valued; (2) S r is firmly nonexpansive, i.e., ||S r x - S r ||2 S r x - S r , x - y〉, for all x, y H; (3) F(S r ) = EP(G); (4) EP(G) is closed and convex.

Theorem 5.7 Let H be a real Hilbert space, {T i }: HH be an infinite family of nonexpansive mappings, G k : H × HR, k = 1, 2,..., N be functions which satisfy conditions (A1)-(A4) such that F:= k = 1 N EP( G k ) n = 1 F ( T n ) , A: HH be a strongly positive bounded linear operator with coefficient γ ̄ >0 and Φ: HH be a ψ- weak contraction. Moreover, let { r k , n } k = 1 N be positive sequences, {α n } be a sequence in 0[1], and γ be a real number such that 0 < γ < γ ̄ . Assume that

  1. (i)

    limn→α n = 0;

  2. (ii)

    lim n r k , n = r ^ k for each k = 1, 2,..., N.

Let {x n } be the sequence defined by

x n = α n γ Φ ( x n ) + ( I - α n A ) W n S r 1 , n 1 S r 2 , n 2 S r N , n N x n , n 1 ,
(5.8)

where W n is the mapping generated by {T i } and {λ n } as in (5.7), and for each k = 1, 2,..., N and each n ≥ 1, S r k , n k is the mapping generated by G k and r k, n as in Lemma 5.6. Then {x n } converges strongly x * = P F ( I - ( A - γ Φ ) ) x * .

Proof. Since for each n ≥ 1 and for each k = 1, 2,..., N the mappings W n and S r k , n k all are nonexpansive on H. Define a mapping V n : HH by:

V n x : = α n γ Φ ( x ) + ( I - α n A ) W n S r 1 , n 1 S r 2 , n 2 S r N , n N x .

It is easy to see that for each n ≥ 1, V n is a ψ- weakly contractive mapping. Hence there exists a unique x n H such that x n = V n x n . This shows that the sequence {x n } defined by (5.8) is well-defined. By the similar method as in [[25], Theorem 8], we can prove that x n x*, where x* is the unique solution of the variational inequality

( A - γ Φ ) x * , x - x * 0 , x F ,

that is x * = P F ( I - ( A - γ Φ ) ) x * , or, equivalently x* is the unique solution of the minimization problem:

min x F 1 2 A x , x + h ( x )

where h is the potential function for γΦ.

References

  1. Alber YaI, Guerre-Delabriere S: Principles of weakly contractive maps in Hilbert spaces. In New Results in Operator Theory. Volume 98. Edited by: Gohberg I, Lyubich Yu. Advances and Appl. Birkhauser, Basel; 1997:7–22.

    Chapter  Google Scholar 

  2. Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal 2001, 47: 2683–2693.

    Article  MathSciNet  Google Scholar 

  3. Göhde D: Zum Prinzip der kontraktiven Abbildung. Math Nachr 1965, 30: 251–258.

    Article  MathSciNet  Google Scholar 

  4. Browder FE: Convergence of approximations to fixed points of nonexpansive nonlinear mappings in Banach space. Arch Ration Mech Anal 1967, 24: 82–90.

    Article  MathSciNet  Google Scholar 

  5. Halpern B: Fixed points of nonexpansive maps. Bull Am Math Soc 2004, 73: 957–961.

    Article  Google Scholar 

  6. Reich S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J Math Anal Appl 1980, 75: 287–292.

    Article  MathSciNet  Google Scholar 

  7. Xu HK: Viscosity approximation methods for nonexpansive mappings. J Math Anal Appl 2004, 298: 279–291.

    Article  MathSciNet  Google Scholar 

  8. Xu HK: Another control condition in an iterative method for nonexpansive mappings. Bull Aust Math Soc 2002, 65: 109–113.

    Article  Google Scholar 

  9. Xu HK: Iterative algorithms for nonlinear operators. J Lond Math Soc 2002, 66: 240–252.

    Article  Google Scholar 

  10. Moudafi A: Viscosity approximation methods for fixed point problems. J Math Anal Appl 2000, 241: 46–55.

    Article  MathSciNet  Google Scholar 

  11. Suzuki T: Moudafi's viscosity approximations with Meir-Keeler contractions. J Math Anal Appl 2007, 325: 342–352.

    Article  MathSciNet  Google Scholar 

  12. Song YS, Chen R: Iterative approximation to common fixed points ofnonexpansive mapping sequences in Banach spaces. Nonlinear Anal 2007, 66: 591–603.

    Article  MathSciNet  Google Scholar 

  13. Song YS, Chen R: Viscosity approximation methods for nonexpansive mappings in Banach spaces. Nonlinear Anal 2007, 66: 1016–1024.

    Article  MathSciNet  Google Scholar 

  14. Song YS: Equivalent theorems of the convergence between proximal type algorithms. Nonlinear Anal 2009, 71: 293–300.

    Article  MathSciNet  Google Scholar 

  15. Petrusel A, Yao JC: Viscosity approximation to common fixed points of families of nonexpansive mappings with generalized contractions mappings. Nonlinear Anal 2008, 69: 1100–1111.

    Article  MathSciNet  Google Scholar 

  16. Meir A, Keeler E: A theorem on contraction mappings. J Math Anal Appl 1969, 28: 326–329.

    Article  MathSciNet  Google Scholar 

  17. Reich S: Asymptotic behavior of contractions in Banach spaces. J Math Anal Appl 1973, 44: 57–70.

    Article  MathSciNet  Google Scholar 

  18. Xu HK: A strong convergence theorem for contraction semigroups in Banach spaces. Bull Aust Math Soc 2005, 72: 371–379.

    Article  Google Scholar 

  19. Shioji N, Takahashi W: Strong convergence theorems for asymptotically nonexpansive semigroups in Hilbert spaces. Nonlinear Anal 1998, 34: 87–99.

    Article  MathSciNet  Google Scholar 

  20. Xu HK: Inequalities in Banach spaces with applications. Nonlinear Anal 1991, 16: 1127–1138.

    Article  MathSciNet  Google Scholar 

  21. Bruck RE Jr: Properties of fixed point sets of nonexpansive mappings in Banach spaces. Trans Am Math Soc 1973, 179: 251–262.

    Article  MathSciNet  Google Scholar 

  22. Qin X, Chang SS, Cho YJ, Kang SM: Approximation of solutions to system of variational inclusions in Banach spaces. J Inequal Appl 2010., 2010: 16 (Article ID 916806). doi:10.1155/2010/916806

    Google Scholar 

  23. Shimoji K, Takahashi W: Strong convergence to common fixed points of infinite non-expansive mappings and applications. Taiwanese J Math 2001, 5: 387–404.

    MathSciNet  Google Scholar 

  24. Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. J Nonlinear Convex Anal 2005, 6(1):117–136.

    MathSciNet  Google Scholar 

  25. Colao V, Acedo GL, Marino G: An implicit method for finding common solutions of variational inequalities and systems of equilibrium problems and fixed points of infinite family of nonexpansive mappings. Nonlinear Anal 2009, 71: 2708–2715.

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to express their thanks to the referees for their helpful comments and suggestions. This work was supported by the National Research Foundation of Korean Grant funded by the Korean Government (2011-0002581).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jong Kyu Kim.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

S-sC and JKK conceived the study and participated in its design and coordination. JKK and HWJL suggested many good ideas that are useful for achievement this paper and made the revision. JKK and CKC prepared the manuscript initially and performed all the steps of proof in this research. 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.

Reprints and permissions

About this article

Cite this article

Chang, Ss., Kim, J.K., Lee, H.J. et al. On the equivalence between some kinds of implicit and explicit iterations with applications. Fixed Point Theory Appl 2012, 55 (2012). https://doi.org/10.1186/1687-1812-2012-55

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2012-55

Keywords