Skip to main content

Hybrid iteration method for common fixed points of an infinite family of nonexpansive mappings in Banach spaces

Abstract

Let E be a real uniformly convex Banach space, and let K be a nonempty closed convex subset of E. Let { T i } i = 1 be a sequence of nonexpansive mappings from K to itself with F :={x K :T i x = x, i ≥ 1}≠ . For an arbitrary initial point x1 K, the modified hybrid iteration scheme {x n } is defined as follows: x n + 1 = α n x n + ( 1 - α n ) T n * x n - λ n + 1 μ A ( T n * x n ) ,n1, where A: KK is an L-Lipschitzian mapping, T n * = T i with i satisfying: n = [(k-i+1)(i+k)/2]+[1+(i-1)(i+2)/2],ki-1(i = 1,2,...),{λ n } [0,1), and {α n } is a sequence in [a, 1 - a] for some a (0,1). Under some suitable conditions, the strong and weak convergence theorems of {x n } to a common fixed point of the nonexpansive mappings { T i } i = 1 are obtained. The results in this article extend those of the authors whose related researches are restricted to the situation of finite families of nonexpansive mappings.

Mathematics Subject Classifications 2000: 47H09; 47J25.

1 Introduction

Let K be a nonempty closed convex subset of a real uniformly convex Banach space E. A self-mapping T: KK is said to be nonexpansive if ||Tx-Ty|| ||x-y|| for all x,y K.F : KK is said to be L-Lipschitzian if there exists a constant L > 0 such that ||Fx-Fy|| ≤ L||x-y|| for all x,y K.

Iterative techniques for approximating fixed points of nonexpansive mappings have been studied by various authors (see, e.g., [19]). In 2007, Wang [10] introduced an explicit hybrid iteration method for nonexpansive mappings in Hilbert space; and then Osilike et al. [11] extended Wang's results to arbitrary Banach spaces without the strong monotonicity assumption imposed on the hybrid operator. In 2009, Wang et al. [12] obtained the following strong and weak convergence theorems for a finite family of nonexpansive mappings in uniformly convex Banach space by using hybrid iteration method, which further extended and improved his results and partially improved those of Osilike's.

Theorem 1.1. [12] Let E be a real uniformly convex Banach space endowed with the norm ||·||. Let I = {1,2,...,N},{T i : i I} be N nonexpansive mappings from E into itself with F = {x E : T i x = x,i I} ≠ , and let A : EE be an L-Lipschitzian mapping. For any given x1 E, {x n } is defined by

x n + 1 = α n x n + ( 1 - α n ) T λ n + 1 x n , n 1 ,
(1.1)

where T λ n + 1 x n = T n x n - λ n + 1 μ A ( T n x n ) , μ > 0 , T n = T i , i = n ( mod N ) , 1 i N . If {α n } and {λ n } [0,1) satisfy the following conditions:

  1. (1)

    a ≤ αn ≤ b for all n ≥ 1 and some a,b (0,1);

  2. (2)

    n = 2 λ n <,

then

  1. (1)

    lim n →∞ ||x n -q|| exists, q F;

  2. (2)

    lim n →∞ ||x n -T i x n || = 0, i I;

  3. (3)

    {x n } converges strongly to a common fixed point of {T i : i I} if and only if lim n→∞ d(x n ,F) = 0.

Theorem 1.2. [12] Let E be a real uniformly convex Banach space satisfying Opial's condition. Let {T i : i I} be N nonexpansive mappings from E into itself with F = {x E : T i x = x,i I} ≠ , and let A : EE be an L-Lipschitzian mapping. For any given x1 E, {x n } is defined as in Theorem 1.1, and {α n } and {λ n } [0,1) satisfy the conditions appeared in Theorem 1.1. Then {x n } converges weakly to a common fixed point of the mappings {T i : i I}.

Inspired and motivated by those study mentioned above, in this article, we use a modified hybrid iteration scheme for approximating common fixed points of an infinite family of nonexpansive mappings { T i } i = 1 and prove some strong and weak convergence theorems for such mappings in uniformly convex Banach spaces. The results extend those of Wang whose research is restricted to the situation of finite families of nonexpansive mappings.

2. Preliminaries

A Banach space E is said to satisfy Opial's condition if, for any sequence {x n } in E, x n x implies that

lim sup n | | x n - x | | < lim sup n | | x n - y | |
(2.1)

for all y E with yx, where x n x denotes that {x n } converges weakly to x.

A mapping T with domain D(T) and range R(T) in E is said to be demiclosed at p if whenever {x n } is a sequence in D(T ) such that {x n } converges weakly to x* D(T) and {Tx n } converges strongly to p, then Tx* = p.

We need the following lemmas for our main results.

Lemma 2.1. [13] Let {a n },{δ n }, and {b n } be sequences of nonnegative real numbers satisfying

a n + 1 ( 1 + δ n ) a n + b n , n 1 ,
(2.2)

if n = 1 δ n < and n = 1 b n <, then lim n→∞ a n exists.

Lemma 2.2. [14] Let E be a real uniformly convex Banach space and let a, b be two constants with 0 < a < b < 1. Suppose that {t n } [a,b] is a real sequence and {x n },{y n } are two sequences in E. Then the conditions

lim n | | t n x n + ( 1 - t n ) y n | | = d , lim sup n | | x n | | d , lim sup n | | y n | | d
(2.3)

imply that limn→∞||xn-yn|| = 0, where d ≥ 0 is a constant.

Lemma 2.3. [15] Let E be a real uniformly convex Banach space, let K be a nonempty closed convex subset of E, and let T : K → K be a nonexpansive mapping. Then I- T is demiclosed at zero.

3 Main results

Lemma 3.1. Let E be a real uniformly convex Banach space, and let K be a nonempty closed convex subset of E. Let { T i } i = 1 be a sequence of nonexpansive mappings from K to itself, and let A : KK be an L-Lipschitzian mapping. For an arbitrary initial point x1 K,{x n } is defined as follows:

x n + 1 = α n x n + ( 1 - α n ) T λ n + 1 x n , n 1 ,
(3.1)

where T λ n + 1 x n = T n * x n - λ n + 1 μA ( T n * x n ) ,μ>0, T n * = T i with i satisfying the following equation:

n= [ ( k - i + 1 ) ( i + k ) / 2 ] + [ 1 + ( i - 1 ) ( i + 2 ) / 2 ] ,ki-1,k Z + ,
(3.2)

that is,

T 1 * = T 1 , T 2 * = T 1 , T 3 * = T 2 , T 4 * = T 1 , T 5 * = T 2 , T 6 * = T 3 , T 7 * = T 1 , T 8 * = T 2 , .

If F := {x K:T i x = x, i ≥ 1} ≠ ¸ and {α n }and {λ n } [0, 1) satisfy the following conditions:

  1. (1)

    aα n b for all n ≥ 1 and some a,b (0,1);

  2. (2)

    n = 2 λ n <,

then

  1. (1)

    lim n →∞ ||x n -q|| exists, q F;

  2. (2)

    lim n →∞ ||x n -T i x n || = 0, i ≥ 1.

Proof. (1) For any q F, by (3.1), we have

| | x n + 1 - q | | = | | α n ( x n - q ) + ( 1 - α n ) ( T λ n + 1 x n - q ) | | α n | | x n - q | | + ( 1 - α n ) | | x n - q | | + λ n + 1 ( 1 - α n ) μ | | A ( T n * x n ) | | | | x n - q | | + ( 1 - α n ) λ n + 1 μ | | A ( T n * x n ) - A ( q ) | | + ( 1 - α n ) λ n + 1 μ | | A ( q ) | | 1 + ( 1 - a ) μ L λ n + 1 | | x n - q | | + ( 1 - a ) λ n + 1 μ | | A ( q ) | | .
(3.3)

Since n = 2 λ n <,, it follows from Lemma 2.1 that lim n →∞ ||x n -q|| exists.

  1. (2)

    Assume, by the conclusion of (1), lim n →∞ ||x n -q|| = d. That is

    lim n | | α n ( x n - q ) + ( 1 - α n ) ( T λ n + 1 x n - q ) | | = d .
    (3.4)

Noting that lim n→∞λ n = 0 and

| | T λ n + 1 x n - q | | = | | T n * x n - λ n + 1 μ A ( T n * x n ) - q | | | | x n - q | | + λ n + 1 μ | | A ( T n * x n ) | | ,
(3.5)

we have

lim sup n | | T λ n + 1 x n - q | | lim sup n | | x n - q | | = d ,
(3.6)

and hence, it follows from (3.4), (3.6) and Lemma 2.2 that

lim n | | x n - T λ n + 1 x n | | = 0 .
(3.7)

Next,

| | x n - T λ n + 1 x n | | = | | x n - T n * x n + λ n + 1 μ A ( T n * x n ) | | | | x n - T n * x n | | - λ n + 1 μ | | A ( T n * x n ) | | ,
(3.8)

thus,

| | x n - T n * x n | | | | x n - T λ n + 1 x n | | + λ n + 1 μ | | A ( T n * x n ) | | .
(3.9)

It follows then from (3.7) that

lim n | | x n - T n * x n | | = 0 .
(3.10)

On the other hand, since x n + 1 - T n * x n = α n ( x n - T n * x n ) - ( 1 - α n ) λ n + 1 μA ( T n * x n ) , we obtain, by (3.10),

lim n | | x n + 1 - T n * x n | | = 0 ,
(3.11)

which, in addition to (3.10), implies that

lim n | | x n + 1 - x n | | = 0 .
(3.12)

By induction, for any nonnegative integer j, we also have

lim n | | x n + j - x n | | = 0 .
(3.13)

For each i ≥ 1, since

| | x n - T n + i * x n | | | | x n - x n + i | | + | | x n + i - T n + i * x n | | | | x n - x n + i | | + | | x n + i - T n + i * x n + i | | + | | T n + i * x n + i - T n + i * x n | | 2 | | x n - x n + i | | + | | x n + i - T n + i * x n + i | | ,
(3.14)

it follows from (3.10) and (3.13) that

lim n | | x n - T n + i * x n | | = 0 .
(3.15)

Now, for each i ≥ 1, we claim that

lim n | | x n - T i x n | | = 0 .
(3.16)

As a matter of fact, setting

n=N ( k , i ) +i,

where N(k,i) = [(k-i+1)(i+k)/2+(1+(i-1)(i+2)/2)]-i, we obtain that

| | x n - T i x n | | | | x n - x N ( k , i ) | | + | | x N ( k , i ) - T i x n | | | | x n - x N ( k , i ) | | + | | x N ( k , i ) - T N ( k , i ) + i * x N ( k , i ) | | + | | T N ( k , i ) + i * x N ( k , i ) - T i x n | | = | | x n - x N ( k , i ) | | + | | x N ( k , i ) - T N ( k , i ) + i * x N ( k , i ) | | + | | T i x N ( k , i ) - T i x n | | 2 | | x n - x N ( k , i ) | | + | | x N ( k , i ) - T N ( k , i ) + i * x N ( k , i ) | | = 2 | | x n - x n - i | | + | | x N ( k , i ) - T N ( k , i ) + i * x N ( k , i ) | | .
(3.17)

Then, since N(k,i) → ∞ as n → ∞, it follows from (3.13) and (3.15) that (3.16) holds obviously. This completes the proof.

Theorem 3.2. Let E be a real uniformly convex Banach space, and let K be a nonempty closed convex subset of E. Let { T i } i = 1 be a sequence of nonexpansive mappings from K to itself. Suppose that {x n } is a sequence defined by (3.1). If F: = {x K:T i x = x, i ≥ 1} ≠ and there exist T i 0 { T i } i = 1 and a nondecreasing function f : [0, ∞) → [0, ∞) with f(0) = 0 and f(r) > 0 for all r (0, ∞) such that f d ( x n , F ) || x n - T i 0 x n || for all n ≥ 1, then {x n } converges strongly to some common fixed point of { T i } i = 1 .

Proof. Since

f ( d ( x n , F ) ) x n - T i 0 x n ,

by taking limsup as n → ∞ on both sides in the inequality above, we have

lim n f ( d ( x n , F ) ) =0,

which implies limn→∞d(x n ,F) = 0 by the definition of the function f.

Now we will show that {x n }is a Cauchy sequence. Since {x n } is bounded, there exists a constant M > 0 such that ||x n -q|| ≤ M(n ≥ 1); for any ϵ > 0, there exists a positive integer N1 such that d(x n ,F) < ϵ /4 for all n ≥ N1. On the other hand, there exists a positive integer N2 such that j = n λ n <ϵ/4δ for all nN2 since n = 2 λ n <,

Thus, for any q F and n,mN(= max {N1,N2}), it follows from (3.3) that

| | x n - x m | | | | x n - q | | + | | x m - q | | 2 | | x N - q | | + 2 δ j = N λ j + 1 ,
(3.18)

where δ = (1-a)μ[LM + ||A(q)||]. Taking the infimum in the above inequalities for all q F, we obtain

x n - x m 2 d ( x N , F ) + 2 δ j = N λ j + 1 < ϵ .
(3.19)

This implies that {x n } is a Cauchy sequence.-Thus, there exists a p K such that x n p as n → ∞, since E is complete. Then, limn→∞d(x n ,F) = 0 yields that d(p, F) = 0. Furthermore, it follows from the closedness of F that p F. This completes the proof.

Theorem 3.3. Let E be a real uniformly convex Banach space satisfying Opial's condition, and let K be a nonempty closed convex subset of E. Let { T i } i = 1 be a sequence of nonexpansive mappings from K to itself. Suppose that {x n } is a sequence defined by (3.1). If F : ={x K : T i x = x, i ≥ 1}≠ , then {x n } converges weakly to some common fixed point of { T i } i = 1 .

Proof. For any q F, by Lemma 3.1, we know that limn→∞||x n -q|| exists. We now prove that {x n } has a unique weakly subsequential limit in F. First of all, Lemmas 2.3 and 3.1 guarantee that each weakly subsequential limit of {x n } is a common fixed point of { T i } i = 1 . Secondly, Opial's condition guarantees that the weakly subsequential limit of {x n } is unique. Consequently, {x n } converges weakly to a common fixed point of { T i } i = 1 . This completes the proof.

Remark 3.4. The results in this article extend those of the authors whose related researches are restricted to the situation where the operators used in the iteration procedure consist of just a finite family of nonexpansive mappings.

Example 3.5. Let E be the vector space R1 with the standard norm ||·|| = |·| and K = [0,1]. Consider the following iteration

x n + 1 = 4 5 - 1 2 n x n + 1 5 + 1 2 n T n * x n - 1 ( n + 1 ) 2 μ A ( T n * x n ) ,

where T n * = T i , T i x= x i /i,μ=1,Ax=x/2,xK, and i satisfies the equation: n = [(k-i+1) (i+k)/2]+[1+(i-1)(i+2)/2], ki - 1. It is clear that { T i } i = 1 is a sequence of nonexpansive mappinps with common fixed point zero and A is a 1/ 2-Lipschitzian mapping from K to itself. Then it follows by Theorem 3.3 that {x n } converges strongly to zero, since in R1 weak convergence is equivalent to strong convergence. The numerical experiment outcome obtained by using MATLAB 7.10.0.499 shows that as x1 = 1, the computations of x10, x30 and x50 are 0.249844611882226, 0.00414201993416185, and 5.55601413578197e-05, respectively. This example illustrates the efficiency of approximation of common fixed points of an infinite family of nonexpansive mappings.

References

  1. Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space. J Math Anal Appl 1967, 20(2):197–228. 10.1016/0022-247X(67)90085-6

    Article  MATH  MathSciNet  Google Scholar 

  2. Byrne SC: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl 2004, 20(1):103–120. 10.1088/0266-5611/20/1/006

    Article  MATH  MathSciNet  Google Scholar 

  3. Podilchuk CI, Mammone RJ: Imagine recovery by convex projections using a least-squares constraint. J Opt Soc Am A 1990, 7: 517–521.

    Article  Google Scholar 

  4. Xu HK, Kim TH: Convergence of hybrid steepest-descent methods for variational inequalities. J Opt Theory Appl 2003, 119(1):185–201.

    Article  MATH  MathSciNet  Google Scholar 

  5. Yamada I: The hybrid steepest descent method for the variational inequality problem over the intersection of fixed point sets of nonexpansive mappings. In Inherently Parallel Algorithms in Feasibility and Optimization and Their Applications (Haifa, 2000), of Studies in Computational Mathematics. Volume 8. Edited by: Reich, S, Censor, Y, Butnariu D. North-Holland, Amsterdam; 2001.

    Google Scholar 

  6. Chidume CE, Chidume CO, Ali B: Approximation of fixed points of nonexpansive mappings and solutions of variational inequalities. J Inequal Appl 2008, 2008: 12. (Article ID 284345)

    Article  MathSciNet  Google Scholar 

  7. Liou Y-C, Yao Y, Chen R: Iteration scheme with perturbed mapping for common fixed points of a finite family of nonexpansive mappings. Fixed Point Theory Appl 2007, 2007: 10. (Article ID 29091)

    Article  MathSciNet  Google Scholar 

  8. Oslike MO, Aniagbosor SC: Weak and strong convergence theorems for fixed points of asymptotically nonexpansive mappings. Math Comput Model 2000, 32(10):1181–1191. 10.1016/S0895-7177(00)00199-0

    Article  Google Scholar 

  9. Schu J: Iterative construction of fixed points of asymptotically nonexpansive mappings. J Math Anal Appl 1991, 158(2):407–413. 10.1016/0022-247X(91)90245-U

    Article  MATH  MathSciNet  Google Scholar 

  10. Wang L: An iteration method for nonexpansive mappings in Hilbert spaces. Fixed Point Theory Appl 2007, 2007: 8. (Article ID 28619)

    Article  MATH  Google Scholar 

  11. Osilike MO, Isiogugu FO, Nwokoro PU: Hybrid iteration method for fixed points of nonexpansive mappings in arbitrary Banach spaces. Fixed Point Theory Appl 2007, 2007: 7. (Article ID 64306)

    Article  MathSciNet  Google Scholar 

  12. Wang L, Chen Y-J, Du R-C: Hybrid iteration method for common fixed points of a finite family of nonexpansive mappings in Banach spaces. Math Probl Eng 2009, 2009: 9. (Article ID 678519)

    MATH  MathSciNet  Google Scholar 

  13. Osilike MO, Aniagbosor SC, Akuchu BG: Fixed points of asymptotically demicontractive mappings in arbitrary Banach spaces. Panamer Math J 2002, 12(2):77–88.

    MATH  MathSciNet  Google Scholar 

  14. Schu J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull Aust Math Soc 1991, 43(1):153–159. 10.1017/S0004972700028884

    Article  MATH  MathSciNet  Google Scholar 

  15. Górnicki J: Weak convergence theorems for asymptotically nonexpansive mappings in uniformly convex Banach spaces. Comment Math Univ Carolinae 1989, 30(2):249–252.

    MATH  Google Scholar 

Download references

Acknowledgements

The author is grateful to the referees for their useful suggestions by which the contents of this article are improved. This study was supported by the Scientific Research Foundation of Yunnan University of Finance and Economics.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wei-Qi Deng.

Additional information

Competing interests

The authors declare that they have no competing interests.

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

Deng, WQ. Hybrid iteration method for common fixed points of an infinite family of nonexpansive mappings in Banach spaces. Fixed Point Theory Appl 2012, 22 (2012). https://doi.org/10.1186/1687-1812-2012-22

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords