Open Access

An algorithm for a common fixed point of a family of pseudocontractive mappings

Fixed Point Theory and Applications20132013:234

https://doi.org/10.1186/1687-1812-2013-234

Received: 8 April 2013

Accepted: 15 August 2013

Published: 5 September 2013

Abstract

We introduce an iterative process which converges strongly to a common fixed point of a family of Lipschitzian pseudocontractive mappings. Our theorems improve and unify most of the results that have been proved for this important class of nonlinear operators.

MSC:47H09, 47J20, 65J15.

Keywords

fixed points of mappingsmonotone mappingspseudocontractive mappingsstrong convergence

1 Introduction

Let C be a nonempty subset of a real Hilbert space H. A mapping T : C H is called pseudocontractive if and only if
T x T y 2 x y 2 + ( I T ) x ( I T ) y 2 , for all  x , y C ,
(1.1)
and T is called α-strictly pseudocontractive [1] if and only if there exists α [ 0 , 1 ) such that
T x T y 2 x y 2 + α ( I T ) x ( I T ) y 2 , for all  x , y C ,
(1.2)
T is called Lipschitzian if and only if
T x T y L x y , for all  x , y K .
(1.3)
If in (1.3) we have L 1 , then T is called nonexpansive. We note that inequalities (1.1) and (1.2) can be equivalently written as
x y , T x T y x y 2 , for all  x , y C
(1.4)
and
x y , T x T y x y 2 λ ( I T ) x ( I T ) y 2 ,
(1.5)

for some λ > 0 , respectively.

We observe from (1.1), (1.2) and (1.3) that every nonexpansive mapping is an α-strictly pseudocontractive mapping and every α-strictly pseudocontractive mapping is a pseudocontractive mapping, and hence a class of pseudocontractive mappings is a more general class of mappings.

Furthermore, pseudocontractive mappings are related with the important class of nonlinear monotone mappings, where a mapping A with domain D ( A ) and range R ( A ) in H is called monotone if the inequality
x y , A x A y 0 ,
(1.6)

holds for every x , y D ( A ) . We note that T is pseudocontractive if and only if A : = I T is monotone, and hence a fixed point of T, F ( T ) : = { x D ( T ) : T x = x } , is a zero of A, N ( A ) : = { x D ( A ) : A x = 0 } . It is now well known (see, e.g., [2]) that if A is monotone, then the solutions of the equation A x = 0 correspond to the equilibrium points of some evolution systems.

Finding a point in the intersection of fixed point sets of a family of nonexpansive mappings is a task that occurs frequently in various areas of mathematical sciences and engineering. For example, the well-known convex feasibility problem reduces to finding a point in the intersection of fixed point sets of a family of nonexpansive mappings; see, e.g., [3, 4].

Consequently, considerable research efforts have been devoted to developing iterative methods for approximating a common fixed point (when it exists) for a family of nonexpansive mappings and α-strictly pseudocontractive mappings. Bauschke [5] was the first to introduce a Halpern-type iterative process (see, e.g., [6]) for approximating a common fixed point for a finite family of N nonexpansive self-mappings. He proved the following theorem.

Theorem BSK (Bauschke [5], Theorem 3.1)

Let K be a nonempty closed convex subset of a Hilbert space H, and let T 1 , T 2 , , T N be a finite family of nonexpansive mappings of K into itself with F : = i = 1 N F ( T i ) and F = F ( T N T N 1 T 1 ) = F ( T 1 T N T 2 ) = F ( T N 1 T N 2 T 1 T N ) . Given points u , x 0 C , let { x n } be generated by
x n + 1 : = α n + 1 u + ( 1 α n + 1 ) T n + 1 x n , n 0 ,
(1.7)

where T n : = T n ( mod N ) and { α n } ( 0 , 1 ) satisfies n 1 | α n + r α n | < . Then { x n } converges strongly to P F u , where P F : H F is the metric projection.

Various authors have studied iterative schemes similar to that of Theorem BSK in more general Banach spaces on the one hand, and using various conditions on the sequence { α n } on the other hand (see, for example, Colao et al. [7], Yao [8], Takahashi and Takahashi [9], Plubtieng and Punpaeng [10], Ceng et al. [11] and the references therein). Many authors have also studied iterative methods for a family of α-strictly pseudocontractive mappings (see, e.g., [1215] and the references therein).

Our concern now is the following: Can we construct an iterative sequence for a common fixed point of a finite family of pseudocontractive mappings?

In 2008, Zhou [16] studied weak convergence of an implicit scheme to a common fixed point of a finite family of pseudocontractive mappings in Banach spaces more general than Hilbert spaces. Let C be a closed convex subset of E, and let { T i } i = 1 N be a finite family of Lipschitzian pseudocontractive self-mappings of C subset of E which is a real uniformly convex Banach space with a Frêchet differentiable norm and F : = i = 1 N F ( T i ) . Let { x n } be defined by
x n = α n x n 1 + ( 1 α n ) T n x n , n 1 ,
(1.8)

where T n = T n ( mod N ) . He proved that { x n } converges weakly to a common fixed point of the family { T i } i = 1 N under certain conditions on the parameter { α n } .

We remark that the scheme in the theorem of Zhou [16] is implicit and the convergence is weak convergence.

Recently, Zegeye et al. [17] proved the following strong convergence of Ishikawa iterative process [18] for a common fixed point of a finite family of Lipschitz pseudocontractive mappings.

Theorem ZSA [17]

Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let T i : C C , i = 1 , 2 , , N , be a finite family of Lipschitz pseudocontractive mappings with Lipschitzian constants L i , for i = 1 , 2 , , N , respectively. Assume that the interior of F : = i = 1 N F ( T i ) is nonempty. Let { x n } be a sequence generated from an arbitrary x 0 E by
{ y n = ( 1 β n ) x n + β n T n x n , x n + 1 = ( 1 α n ) x n + α n T n y n , n 1 ,
(1.9)

where T n : = T n ( mod N ) and { α n } , { β n } ( 0 , 1 ) satisfy certain appropriate conditions. Then { x n } converges strongly to a common fixed point of { T 1 , T 2 , , T N } .

It is worth to mention that the assumption ‘interior of F ( T ) is nonempty’ in Theorem ZSA is severe restriction.

More recently, Daman and Zegeye [19] proved the following strong convergence of a Halpern-type [6] iterative process for a common fixed point of a finite family of Lipschitz pseudocontractive mappings under the assumption that the family satisfies condition (H), that is, the family { T i : i = 1 , 2 , , N } of pseudocontractive mappings is said to satisfy condition (H) if and only if T i x x , T j x x 0 for i , j { 1 , 2 , , N } . We can also see that condition (H) is again severe restriction.

It is our purpose in this paper to introduce an iterative scheme which converges strongly to a common fixed point of a family of Lipschitz pseudocontractive mappings. The assumption that interior of F ( T ) is nonempty or condition (H) is dispensed with. The results obtained in this paper improve and extend the results of Zhou [20], Theorem ZSA, Daman and Zegeye [19] and some other results in this direction.

2 Preliminaries

In what follows we shall make use of the following lemmas.

Lemma 2.1 Let H be a real Hilbert space. Then, for any given x , y E , the following inequality holds:
x + y 2 x 2 + 2 y , x + y .

Lemma 2.2 [21]

Let C be a convex subset of a real Hilbert space H. Let x H . Then x 0 = P C x if and only if
z x 0 , x x 0 0 , z C .

Lemma 2.3 [22]

Let { a n } be a sequence of nonnegative real numbers satisfying the following relation:
a n + 1 ( 1 α n ) a n + α n δ n , n n 0 ,

where { α n } ( 0 , 1 ) and { δ n } R satisfy the following conditions: lim n α n = 0 , n = 1 α n = , and lim sup n δ n 0 . Then lim n a n = 0 .

Lemma 2.4 [23]

Let H be a real Hilbert space, C be a closed convex subset of H and T : C C be a continuous pseudocontractive mapping. Then
  1. (i)

    F ( T ) is a closed convex subset of C;

     
  2. (ii)

    ( I T ) is demiclosed at zero, i.e., if { x n } is a sequence in C such that x n x and T x n x n 0 , as n , then x = T ( x ) .

     

Lemma 2.5 [24]

Let { a n } be sequences of real numbers such that there exists a subsequence { n i } of { n } such that a n i < a n i + 1 for all i N . Then there exists a nondecreasing sequence { m k } N such that m k and the following properties are satisfied by all (sufficiently large) numbers k N :
a m k a m k + 1 and a k a m k + 1 .

In fact, m k is the largest number n in the set { 1 , 2 , , k } such that the condition a n a n + 1 holds.

Lemma 2.6 [25]

Let H be a real Hilbert space. Then, for all x i H and α i [ 0 , 1 ] for i = 1 , 2 , , n such that α 1 + α 2 + + α n = 1 , the following equality holds:
α 0 x 0 + α 1 x 1 + + α n x n 2 = i = 0 n α i x i 2 0 i , j n α i α j x i x j 2 .

3 Main result

Theorem 3.1 Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let T 1 , T 2 : C C be Lipschitz pseudocontractive mappings with Lipschitz constants L 1 and L 2 , respectively. Assume that F = F ( T 1 ) F ( T 2 ) is nonempty. Let a sequence { x n } be generated from an arbitrary x 0 , u C by
{ z n = ( 1 c n ) x n + c n T 2 x n ; y n = ( 1 β n ) x n + β n T 1 x n ; x n + 1 = α n u + ( 1 α n ) ( θ n x n + δ n T 1 y n + γ n T 2 z n ) , n 0 ,
(3.1)

where { δ n } , { θ n } , { γ n } ( a , b ) ( 0 , 1 ) , { α n } ( 0 , c ) ( 0 , 1 ) satisfy the following conditions: (i) θ n + δ n + γ n = 1 ; (ii) lim n α n = 0 , α n = ; (iii) δ n + γ n c n , β n β < 1 1 + L 2 + 1 , n 1 , for L : = max { L 1 , L 2 } . Then { x n } converges strongly to a common fixed point of T 1 and T 2 nearest to u.

Proof We make use of some ideas of the paper [19]. Let p F . Then, from (3.1), (1.1) and Lemma 2.6, we have that
x n + 1 p 2 = α n u + ( 1 α n ) ( θ n x n + δ n T 1 y n + γ n T 2 z n ) p 2 α n u p 2 + ( 1 α n ) δ n ( T 1 y n p ) + θ n ( x n p ) + γ n ( T 2 z n p ) 2 α n u p 2 + ( 1 α n ) [ δ n T 1 y n p 2 + θ n x n p 2 + γ n T 2 z n p 2 ] ( 1 α n ) δ n θ n T 1 y n x n 2 ( 1 α n ) θ n γ n T 2 z n x n 2 ,
and hence
x n + 1 p 2 α n u p 2 + ( 1 α n ) δ n [ y n p 2 + y n T 1 y n 2 ] + ( 1 α n ) θ n x n p 2 + ( 1 α n ) γ n [ z n p 2 + z n T 2 z n 2 ] ( 1 α n ) δ n θ n T 1 y n x n 2 ( 1 α n ) θ n γ n T 2 z n x n 2 α n u p 2 + ( 1 α n ) δ n y n p 2 + ( 1 α n ) δ n y n T 1 y n 2 + ( 1 α n ) θ n x n p 2 + ( 1 α n ) γ n z n p 2 + ( 1 α n ) γ n z n T 2 z n 2 ( 1 α n ) δ n θ n T 1 y n x n 2 ( 1 α n ) θ n γ n T 2 z n x n 2 .
(3.2)
In addition, from (3.1), Lemma 2.6 and (1.1), we get that
y n p 2 = ( 1 β n ) ( x n p ) + β n ( T 1 x n p ) 2 = ( 1 β n ) x n p 2 + β n T 1 x n p 2 β n ( 1 β n ) x n T 1 x n 2 ( 1 β n ) x n p 2 + β n [ x n p 2 + x n T 1 x n 2 ] β n ( 1 β n ) x n T 1 x n 2 = x n p 2 + β n 2 x n T 1 x n 2 .
(3.3)
Similarly, we have that
z n p 2 = x n p 2 + c n 2 x n T 2 x n 2 .
(3.4)
Furthermore, from (3.1) and Lemma 2.6, we have that
y n T 1 y n 2 = ( 1 β n ) ( x n T 1 y n ) + β n ( T 1 x n T 1 y n ) 2 = ( 1 β n ) x n T 1 y n 2 + β n T 1 x n T 1 y n 2 β n ( 1 β n ) x n T 1 x n 2 ( 1 β n ) x n T 1 y n 2 + β n L 2 x n y n 2 β n ( 1 β n ) x n T 1 x n 2 = ( 1 β n ) x n T 1 y n 2 + β n 3 L 2 x n T 1 x n 2 β n ( 1 β n ) x n T 1 x n 2 = ( 1 β n ) x n T 1 y n 2 β n ( 1 L 2 β n 2 β n ) x n T 1 x n 2 .
(3.5)
Similarly, we obtain that
z n T 2 z n 2 = ( 1 c n ) x n T 2 z n 2 c n ( 1 L 2 c n 2 c n ) x n T 2 x n 2 .
(3.6)
Substituting (3.3), (3.4), (3.5) and (3.6) into (3.2), we obtain that
x n + 1 p 2 α n u p 2 + ( 1 α n ) δ n [ x n p 2 + β n 2 x n T 1 x n 2 ] + ( 1 α n ) δ n [ ( 1 β n ) x n T 1 y n 2 β n ( 1 L 2 β n 2 β n ) × x n T 1 x n 2 ] + ( 1 α n ) θ n x n p 2 + ( 1 α n ) γ n [ x n p 2 + c n 2 x n T 2 x n 2 ] + ( 1 α n ) γ n [ ( 1 c n ) x n T 2 z n 2 c n ( 1 L 2 c n 2 c n ) x n T 2 x n 2 ] ( 1 α n ) δ n θ n T 1 y n x n 2 ( 1 α n ) θ n γ n T 2 z n x n 2 = α n u p 2 + ( 1 α n ) x n p 2 ( 1 α n ) δ n β n × ( 1 ( L 2 β n 2 + 2 β n ) ) x n T 1 x n 2 ( 1 α n ) γ n c n ( 1 ( L 2 c n 2 + 2 c n ) ) x n T 2 x n 2 + ( 1 α n ) δ n ( 1 θ n β n ) T 1 y n x n 2 + ( 1 α n ) γ n ( 1 θ n c n ) T 2 z n x n 2 ,
and hence
x n + 1 p 2 α n u p 2 + ( 1 α n ) x n p 2 ( 1 α n ) δ n β n × ( 1 ( L 2 β n 2 + 2 β n ) ) x n T 1 x n 2 ( 1 α n ) γ n c n ( 1 ( L 2 c n 2 + 2 c n ) ) x n T 2 x n 2 + ( 1 α n ) δ n ( δ n + γ n β n ) T 1 y n x n 2 + ( 1 α n ) γ n ( δ n + γ n c n ) T 2 z n x n 2 .
(3.7)
Now, from (iii) of the hypothesis, we have that
1 2 β n L 2 β n 2 1 2 β L 2 β 2 > 0 ,
(3.8)
1 2 c n L 2 c n 2 1 2 β L 2 β 2 > 0
(3.9)
and
( δ n + γ n ) β n 0 , ( δ n + γ n ) c n 0 for all  n 1 .
(3.10)
Thus, inequality (3.7) implies that
x n + 1 p 2 α n u p 2 + ( 1 α n ) x n p 2 .
(3.11)
Thus, by induction,
x n + 1 p 2 max { u p 2 , x 0 p 2 } , n 0 ,

which implies that { x n } and hence { y n } are bounded.

Let x = P F ( u ) . Then, using (3.1), Lemma 2.1 and following the methods used to get (3.7), we obtain that
x n + 1 x 2 = α n u + ( 1 α n ) ( θ n x n + δ n T 1 y n + γ n T 2 z n ) x 2 = α n ( u x ) + ( 1 α n ) [ θ n x n + δ n T 1 y n + γ n T 2 z n x ] 2 ( 1 α n ) δ n T 1 y n + θ n x n + γ n T 2 z n x 2 + 2 α n u x , x n + 1 x ( 1 α n ) δ n T 1 y n x 2 + ( 1 α n ) θ n x n x 2 + ( 1 α n ) γ n T 2 z n x 2 ( 1 α n ) θ n δ n T 1 y n x n 2 ( 1 α n ) θ n γ n T 2 z n x n 2 + 2 α n u x , x n + 1 x
and
x n + 1 x 2 ( 1 α n ) δ n [ y n x 2 + y n T 1 y n 2 ] + ( 1 α n ) θ n x n x 2 + ( 1 α n ) γ n [ z n x 2 + z n T 2 z n 2 ] ( 1 α n ) θ n δ n T 1 y n x n 2 ( 1 α n ) θ n γ n T 2 z n x n 2 + 2 α n u x , x n + 1 x ( 1 α n ) δ n [ x n x 2 + β n 2 x n T 1 x n 2 ] + ( 1 α n ) δ n [ ( 1 β n ) x n T 1 y n 2 β n ( 1 L 2 β n 2 β n ) × x n T 1 x n 2 ] + ( 1 α n ) θ n x n x 2 + ( 1 α n ) γ n [ x n x 2 + c n 2 x n T 2 x n 2 ] + ( 1 α n ) γ n [ ( 1 c n ) x n T 2 z n 2 c n ( 1 L 2 c n 2 c n ) × x n T 2 x n 2 ] ( 1 α n ) θ n δ n T 1 y n x n 2 ( 1 α n ) θ n γ n × T 2 z n x n 2 + 2 α n u x , x n + 1 x ,
which implies that
x n + 1 x 2 ( 1 α n ) x n x 2 ( 1 α n ) δ n β n [ 1 L 2 β n 2 2 β n ] × x n T 1 x n 2 + ( 1 α n ) δ n ( δ n + γ n β n ) x n T 1 y n 2 ( 1 α n ) δ n c n [ 1 L 2 c n 2 2 c n ] x n T 2 x n 2 + ( 1 α n ) γ n ( δ n + γ n c n ) x n T 2 z n 2 + 2 α n u x , x n + 1 x
(3.12)
( 1 α n ) x n x 2 + 2 α n u x , x n + 1 x .
(3.13)

Now, we consider two cases.

Case 1. Suppose that there exists n 0 N such that { x n x } is decreasing for all n n 0 . Then, we get that { x n x } is convergent. Thus, from (3.12), (3.8), (3.9) and (3.10), we have that
x n T 1 x n 0 , x n T 2 x n 0 as  n .
(3.14)
Furthermore, since { x n + 1 } is a bounded subset of H which is reflexive, we can choose a subsequence { x n i + 1 } of { x n + 1 } such that x n i + 1 x and lim sup n u x , x n + 1 x = lim i u x , x n i + 1 x . Then, from (3.14) and Lemma 2.4, we have that x F ( T 1 ) and x F ( T 2 ) . Therefore, by Lemma 2.2, we immediately obtain that
lim sup n u x , x n + 1 x = lim i u x , x n i + 1 x = u x , x x 0 .
(3.15)

Then it follows from (3.13), (3.15) and Lemma 2.3 that x n x 0 as n . Consequently, x n x = P F ( u ) .

Case 2. Suppose that there exists a subsequence { n i } of { n } such that
x n i x < x n i + 1 x
for all i N . Then, by Lemma 2.5, there exists a nondecreasing sequence { m k } N such that m k , and
x m k x x m k + 1 x and x k x x m k + 1 x
(3.16)
for all k N . Now, from (3.12), (3.8), (3.9) and (3.10), we get that x m k T 1 x m k 0 and x n k T 2 x n k 0 as k . Thus, like in Case 1, we obtain that
lim sup k u x , x m k + 1 x 0 .
(3.17)
Now, from (3.13) we have that
x m k + 1 x 2 ( 1 α m k ) x m k x 2 + 2 α m k u x , x m k + 1 x ,
(3.18)
and hence (3.16) and (3.18) imply that
α m k x m k x 2 x m k x 2 x m k + 1 x 2 + 2 α m k u x , x m k + 1 x + 2 α m k u x , x m k + 1 x .
But using the fact that α m k > 0 and (3.17), we obtain that
lim sup k x m k x 2 0 ,

and hence x m k x 0 as k . This together with (3.18) implies that x m k + 1 x 0 as k . But x k x x m k + 1 x for all k N , thus we obtain that x k x . Therefore, from the above two cases, we can conclude that { x n } converges strongly to a common fixed point of T 1 and T 2 nearest to u. The proof is complete. □

We note that the method of the proof of Theorem 3.1 provides a convergence theorem for a finite family of Lipschitzian pseudocontractive mappings. In fact, we have the following theorem.

Theorem 3.2 Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let T i : C C , i = 1 , 2 , , N , be Lipschitz pseudocontractive mappings with Lipschitz constants L i , i = 1 , 2 , , N , respectively. Assume that F = i N F ( T i ) is nonempty. Let a sequence { x n } be generated from an arbitrary x 0 , u C by
{ y n i = ( 1 β n ) x n + β n T i x n , i = 1 , 2 , , N ; x n + 1 = α n u + ( 1 α n ) ( θ n 0 x n + i = 1 N θ n i T i y n i ) ,
(3.19)

where { θ n i : i = 0 , 1 , 2 , , N } ( a , b ) ( 0 , 1 ) , { α n } ( 0 , c ) ( 0 , 1 ) satisfy the following conditions: (i) θ n 0 + θ n 1 + + θ n N = 1 ; (ii) lim n α n = 0 , α n = ; (iii) i = 1 N θ n i β n β < 1 1 + L 2 + 1 , n 1 , for L : = max { L i : i = 1 , 2 , , N } . Then { x n } converges strongly to a common fixed point of T i ( i = 1 , 2 , , N ) nearest to u.

If in Theorem 3.1 we assume that T is nonexpansive, then we have that T is Lipschitz pseudocontractive with L = 1 , and hence we get the following corollary.

Corollary 3.3 Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let T 1 , T 2 : C C be nonexpansive mappings. Assume that F = F ( T 1 ) F ( T 2 ) is nonempty. Let a sequence { x n } be generated from an arbitrary x 0 , u C by
{ z n = ( 1 c n ) x n + c n T 2 x n ; y n = ( 1 β n ) x n + β n T 1 x n ; x n + 1 = α n u + ( 1 α n ) ( θ n x n + δ n T 1 y n + γ n T 2 z n ) ,
(3.20)

where { δ n } , { θ n } , { γ n } ( a , b ) ( 0 , 1 ) , { α n } ( 0 , c ) ( 0 , 1 ) satisfy the following conditions: (i) δ n + θ n + γ n = 1 ; (ii) lim n α n = 0 , α n = ; (iii) δ n + γ n c n , β n β < ( 2 1 ) , n 1 . Then { x n } converges strongly to a common fixed point of T 1 and T 2 nearest to u.

We now state and prove the convergence theorem for a common zero of a family of monotone mappings.

Corollary 3.4 Let H be a real Hilbert space. Let A i : H H , i = 1 , 2 , be Lipschitz monotone mappings with Lipschitz constants L 1 and L 2 , respectively. Assume that F : = i = 1 2 N ( A i ) is nonempty. Let a sequence { x n } be generated from an arbitrary x 1 , u H by
{ z n = x n c n A 2 x n ; y n = x n β n A 1 x n ; x n + 1 = α n u + ( 1 α n ) ( θ n x n + δ n ( I A 1 ) y n + γ n ( I A 2 ) z n ) ,
(3.21)

where { δ n } , { θ n } , { γ n } ( a , b ) ( 0 , 1 ) , { α n } ( 0 , c ) ( 0 , 1 ) satisfy the following conditions: (i) δ n + θ n + γ n = 1 ; (ii) lim n α n = 0 , α n = ; (iii) δ n + γ n c n , β n β < 1 1 + ( 1 + L ) 2 + 1 , n 1 , for L : = max { L 1 , L 2 } . Then { x n } converges strongly to a common zero point of A 1 and A 2 nearest to u.

Proof Let T i x : = ( I A i ) x for i = 1 , 2 . Then we get that every T i for all i { 1 , 2 } is a Lipschitz pseudocontractive mapping with the Lipschitz constant L i : = ( 1 + L i ) and i = 1 2 F ( T i ) = i = 1 2 ( A i ) . Moreover, when A i is replaced with ( I T i ) , for each i { 1 , 2 } , then scheme (3.21) reduces to scheme (3.1), and hence the conclusion follows from Theorem 3.1. □

We may also have the following corollary for a finite family of monotone mappings.

Corollary 3.5 Let H be a real Hilbert space. Let A i : H H , i = 1 , 2 , , N , be Lipschitz monotone mappings with Lipschitz constants L i , i = 1 , 2 , , N , respectively. Assume that F : = i = 1 N N ( A i ) is nonempty. Let a sequence { x n } be generated from an arbitrary x 1 , u H by
{ y n i = x n β n A i x n , i = 1 , 2 , , N ; x n + 1 = α n u + ( 1 α n ) ( θ n 0 x n + i = 1 N θ n i ( I A i ) y n i ) ,
(3.22)

where { θ n i : i = 0 , 1 , 2 , , N } ( a , b ) ( 0 , 1 ) , { α n } ( 0 , c ) ( 0 , 1 ) satisfy the following conditions: (i) θ n 0 + θ n 1 + + θ n N = 1 ; (ii) lim n α n = 0 , α n = ; (iii) i = 1 N θ n i β n β < 1 1 + ( 1 + L ) 2 + 1 , n 1 , for L : = max { L i : i = 1 , 2 , , N } . Then { x n } converges strongly to a common zero point of A i , i = 1 , 2 , , N , nearest to u.

If in Corollary 3.5 we consider a single Lipschitz monotone mapping, then we obtain the following corollary.

Corollary 3.6 Let H be a real Hilbert space. Let A : H H be a Lipschitz monotone mapping with Lipschitz constant L. Assume that F : = N ( A ) is nonempty. Let a sequence { x n } be generated from an arbitrary x 1 , u H by
{ y n = x n β n A x n ; x n + 1 = α n u + ( 1 α n ) ( ( 1 γ n ) x n + γ n ( I A ) y n ) ,
(3.23)

where { γ n } ( a , b ) ( 0 , 1 ) , { α n } ( 0 , c ) ( 0 , 1 ) satisfy the following conditions: (i)  lim n α n = 0 , α n = ; (ii) γ n β n β < 1 1 + ( 1 + L ) 2 + 1 , n 1 . Then { x n } converges strongly to the zero point of A nearest to u.

4 Numerical example

Now, we give an example of a finite family of pseudocontractive mappings satisfying Theorem 3.1 and some numerical experiment result to explain the conclusion of the theorem as follows.

Example 4.1 Let H = R with absolute value norm. Let K = [ 2 , 1 ] and T 1 , T 2 : K K be defined by
T 1 x : = { x + x 2 , x [ 2 , 0 ] , x , x ( 0 , 1 ]
(4.1)
and
T 2 x : = { x , x [ 2 , 1 2 ] , x 2 ( x 1 2 ) 2 , x ( 1 2 , 1 ] .
(4.2)
Clearly, F = F ( T 1 ) F ( T 2 ) = [ 0 , 1 ] [ 2 , 1 2 ] = [ 0 , 1 2 ] , and for x , y K we have that
( I T 1 ) x ( I T 1 ) y , x y 0
(4.3)
and
( I T 2 ) x ( I T 2 ) y , x y 0 ,
(4.4)
which show that both mappings are pseudocontractive. Next, we show that T 1 is Lipschitzian with L = 5 . If x , y [ 2 , 0 ] , then
| T 1 x T 1 y | = | x + x 2 y y 2 | = | ( x + y ) + 1 | | x y | 3 | x + y | .
(4.5)
If x , y ( 0 , 1 ] , then
| T 1 x T 1 y | = | x y | .
If x [ 2 , 0 ] and y ( 0 , 1 ] , then
| T 1 x T 1 y | = | x + x 2 y | = | x y + x 2 | = | x y + x 2 y 2 + y 2 | = | x y + x 2 y 2 | + y 2 | x + y + 1 | | x y | + | y x | = | 2 + x + y | | x y | 3 | x y | .
(4.6)
If x ( 0 , 1 ] and y [ 2 , 0 ] , then
| T 1 x T 1 y | = | x ( y + y 2 ) | = | x y y 2 + x 2 x 2 | = | x y + ( x + y ) ( x y ) x 2 | = | ( 1 + x + y ) | | x y | + x 2 | ( 1 + x + y ) | | x y | + ( x y ) 2 ( | 1 + x + y | + | x y | ) | x y | 5 | x y | .
(4.7)

Thus, we get that T 1 is Lipschitzian pseudocontractive with L = 5 . Similarly, we can show that T 2 is Lipschitzian pseudocontractive with L = 10 .

Now, taking α n = 1 n + 10 , c n = β n = 1 100 + 1 n + 100 , γ n = δ n = 0.5 [ 1 100 + 1 n + 100 ] and θ n = 1 [ 1 100 + 1 n + 100 ] , we observe that the conditions of Theorem 3.1 are satisfied and scheme (3.1) provides the data in Tables 1 and 2 and Figures 1 and 2.
Figure 1

Figure of { x n } with initial values u = 0.6 and x 0 = 1 .

Figure 2

Figure of { x n } with initial values u = 1 and x 0 = 0.8 .

Table 1

Values of { x n } with initial values u = 0.6 and x 0 = 1

n

0

500

1,000

5,000

10,000

12,000

14,000

17,000

x n

−1.0000

0.5639

0.5638

0.5387

0.5287

0.5264

0.5246

0.5225

Table 2

Values of { x n } with initial values u = 1 and x 0 = 0.8

n

0

500

1,000

5,000

10,000

12,000

14,000

17,000

x n

0.8000

−0.4781

−0.3738

−0.1870

−0.1351

−0.1238

−0.1150

−0.1047

  1. (i)

    When u = 0.6 and x 0 = 1 , we see that the sequence converges to x = 0.5 as shown in Table 1 and Figure 1.

     
  2. (ii)

    When u = 1 and x 0 = 0.8 , we see that the sequence converges to x = 0 as shown in Table 2 and Figure 2.

     

Remark 4.2 Theorem 3.1 provides a convergence sequence to a common fixed point of two Lipschitzian pseudocontractive mappings, whereas Theorem 3.2 provides a convergence sequence to a common fixed point of a finite family of Lipschitzian pseudocontractive mappings. In addition, Corollary 3.4 provides a convergence sequence to a common zero of two Lipschitzian monotone mappings, whereas Theorem 3.5 provides a convergence sequence to a common zero of a finite family of Lipschitzian monotone mappings.

Remark 4.3 Theorem 3.2 improves Theorem ZSA, Theorem 3.2 of Daman and Zegeye [19] in the sense that our convergence does not require the assumption that interior of F ( T ) is nonempty or condition (H).

Remark 4.4 Theorem 3.1 improves Theorem 3.1 of Zhou [20], Theorem 3.1 of Yao et al. [26] and Theorem 3.1 of Tang et al. [27] in the sense that our convergence requires neither compactness of T nor computation of closed and convex C n of C for each n 1 .

Declarations

Acknowledgements

This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The second author acknowledges with thanks DSR for financial support.

Authors’ Affiliations

(1)
Department of Mathematics, University of Botswana
(2)
Department of Mathematics, King Abdulaziz University

References

  1. Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space. J. Math. Anal. Appl. 1967, 20: 197–228. 10.1016/0022-247X(67)90085-6MathSciNetView ArticleGoogle Scholar
  2. Zeidler E: Nonlinear Functional Analysis and Its Applications, Part II: Monotone Operators. Springer, Berlin; 1985.View ArticleGoogle Scholar
  3. Bauschke HH, Borwein JM: On projection algorithms for solving convex feasibility problems. SIAM Rev. 1996, 38: 367–426. 10.1137/S0036144593251710MathSciNetView ArticleGoogle Scholar
  4. Combettes PL: The foundations of set theoretic estimation. Proc. IEEE 1993, 81: 182–208.View ArticleGoogle Scholar
  5. Bauschke HH: The approximation of fixed points of compositions of nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl. 1996, 202: 150–159. 10.1006/jmaa.1996.0308MathSciNetView ArticleGoogle Scholar
  6. Halpern B: Fixed points of nonexpansive maps. Bull. Am. Math. Soc. 1967, 73: 957–961. 10.1090/S0002-9904-1967-11864-0View ArticleGoogle Scholar
  7. Colao V, Marino G, Xu HK: An iterative method for finding common solutions of equilibrium and fixed point problems. J. Math. Anal. Appl. 2008, 344: 340–352. 10.1016/j.jmaa.2008.02.041MathSciNetView ArticleGoogle Scholar
  8. Yao Y: A general iterative method for a finite family of nonexpansive mappings. Nonlinear Anal. 2007, 66: 2676–2687. 10.1016/j.na.2006.03.047MathSciNetView ArticleGoogle Scholar
  9. Takahashi S, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl. 2007, 331: 506–515. 10.1016/j.jmaa.2006.08.036MathSciNetView ArticleGoogle Scholar
  10. Plubtieng S, Punpaeng R: A general iterative method for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl. 2007, 336: 455–469. 10.1016/j.jmaa.2007.02.044MathSciNetView ArticleGoogle Scholar
  11. Ceng LC, Cubiotti P, Yao JC: Strong convergence theorems for finitely many nonexpansive mappings and applications. Nonlinear Anal. 2007, 67: 1464–1473. 10.1016/j.na.2006.06.055MathSciNetView ArticleGoogle Scholar
  12. Osilike MO, Shehu Y: Cyclic algorithm for common fixed points of finite family of strictly pseudocontractive mappings of Browder-Petryshyn type. Nonlinear Anal. 2009, 70: 3575–3583. 10.1016/j.na.2008.07.015MathSciNetView ArticleGoogle Scholar
  13. Zegeye H, Shahzad N: Strong convergence theorems for a common zero of a countably infinite family of λ -inverse strongly accretive mappings. Nonlinear Anal. 2009, 71: 531–538. 10.1016/j.na.2008.10.091MathSciNetView ArticleGoogle Scholar
  14. Zegeye H, Shahzad N: Strong convergence theorems for a common zero of a finite family of m -accretive mappings. Nonlinear Anal. 2007, 66: 1161–1169. 10.1016/j.na.2006.01.012MathSciNetView ArticleGoogle Scholar
  15. Zhang Y, Guo Y: Weak convergence theorems of three iterative methods for strictly pseudocontractive mappings of Browder-Petryshyn type. Fixed Point Theory Appl. 2008., 2008: Article ID 672301Google Scholar
  16. Zhou H: Convergence theorems of fixed points for a finite family of Lipschitz pseudo-contractions in Banach spaces. Nonlinear Anal. 2008, 68: 2977–2983. 10.1016/j.na.2007.02.041MathSciNetView ArticleGoogle Scholar
  17. Zegeye H, Shahzadb N, Alghamdi MA: Convergence of Ishikawa’s iteration method for pseudocontractive mappings. Nonlinear Anal. 2011, 74: 7304–7311. 10.1016/j.na.2011.07.048MathSciNetView ArticleGoogle Scholar
  18. Ishikawa S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5MathSciNetView ArticleGoogle Scholar
  19. Daman OA, Zegeye H: Strong convergence theorems for a common fixed point of a finite family of pseudocontractive mappings. Int. J. Math. Math. Sci. 2012., 2012: Article ID 405315 10.1155/2012/405315Google Scholar
  20. Zhou H: Convergence theorems of fixed points for Lipschitz pseudo-contractions in Hilbert spaces. J. Math. Anal. Appl. 2008, 343: 546–556. 10.1016/j.jmaa.2008.01.045MathSciNetView ArticleGoogle Scholar
  21. Alber Y: Metric and generalized projection operators in Banach spaces: properties and applications. Lecture Notes in Pure and Appl. Math. 178. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.Google Scholar
  22. Xu HK: Another control condition in an iterative method for nonexpansive mappings. Bull. Aust. Math. Soc. 2002, 65: 109–113. 10.1017/S0004972700020116View ArticleGoogle Scholar
  23. Zhang QB, Cheng CZ: Strong convergence theorem for a family of Lipschitz pseudocontractive mappings in a Hilbert space. Math. Comput. Model. 2008, 48: 480–485. 10.1016/j.mcm.2007.09.014View ArticleGoogle Scholar
  24. Maingé PE: Strong convergence of projected subgradient methods for nonsmooth and non-strictly convex minimization. Set-Valued Anal. 2008, 16: 899–912. 10.1007/s11228-008-0102-zMathSciNetView ArticleGoogle Scholar
  25. Zegeye H, Shahzad N: Convergence of Mann’s type iteration method for generalized asymptotically nonexpansive mappings. Comput. Math. Appl. 2011, 62: 4007–4014. 10.1016/j.camwa.2011.09.018MathSciNetView ArticleGoogle Scholar
  26. Yao YH, Liou YC, Marino G: A hybrid algorithm for pseudo-contractive mappings. Nonlinear Anal. 2009, 71: 4997–5002. 10.1016/j.na.2009.03.075MathSciNetView ArticleGoogle Scholar
  27. Tang Y-C, Peng J-G, Liu L-W: Strong convergence theorem for pseudocontractive mappings in Hilbert spaces. Nonlinear Anal. 2011, 74: 380–385. 10.1016/j.na.2010.08.048MathSciNetView ArticleGoogle Scholar

Copyright

© Zegeye and Shahzad; licensee Springer. 2013

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.