Open Access

Strong convergence of a CQ method for k-strictly asymptotically pseudocontractive mappings

Fixed Point Theory and Applications20122012:208

https://doi.org/10.1186/1687-1812-2012-208

Received: 6 February 2012

Accepted: 26 October 2012

Published: 22 November 2012

Abstract

Let E be a real q-uniformly smooth Banach space, which is also uniformly convex (for example, L p or p spaces, 1 < p < ), and C be a nonempty bounded closed convex subset of E. Let T : C C be a k-strictly asymptotically pseudocontractive map with a nonempty fixed point set. A hybrid algorithm is constructed to approximate fixed points of such maps. Furthermore, strong convergence of the proposed algorithm is established.

Keywords

strong convergenceCQ methodk-strictly asymptotically pseudocontractive mapping

1 Introduction

Let E be a real Banach space and E be the dual of E. We denote the value of x E at x E by x , x . The normalized duality mapping J from E to 2 E is defined by
J ( x ) = { x E : x , x = x 2 = x 2 }

for all x E . It is known that a Banach space E is smooth if and only if the normalized duality mapping J is single valued. Some properties of the duality mapping have been given in [1, 2].

Let C be a nonempty subset of E. The mapping T : C C is called nonexpansive if
T x T y x y
for all x , y C . Also, T is called uniformly L-Lipschitz if there exists a constant L > 0 such that
T n x T n y L x y
for all x , y C and each n 1 . The mapping T : C C is called k-strictly asymptotically pseudocontractive if there exist a sequence { k n } in [ 1 , ) with lim n k n = 1 and a constant k [ 0 , 1 ) , and for any x , y C , there exists j ( x y ) J ( x y ) such that
T n x T n y , j ( x y ) 1 2 ( 1 + k n ) x y 2 1 2 ( 1 k ) x T n x ( y T n y ) 2
(1.1)
for each n 1 . If I denotes the identity operator, then (1.1) can be written in the form
( I T n ) x ( I T n ) y , j ( x y ) 1 2 ( 1 k ) ( I T n ) x ( I T n ) y 2 1 2 ( k n 1 ) x y 2 .
(1.2)
The class of k-strictly asymptotically pseudocontractive mappings was first introduced in Hilbert spaces by Qihou [3]. In Hilbert spaces, j is the identity and it is shown [4] that (1.1) (and hence (1.2)) is equivalent to the inequality
T n x T n y 2 k n x y 2 + k ( I T n ) x ( I T n ) y 2

which is the inequality considered by Qihou [3]. In the same paper, the author proved strong convergence of the modified Mann iteration processes for k-strictly asymptotically pseudocontractive mappings in Hilbert spaces. The modified Mann iteration scheme was introduced by Schu [5, 6] and has been used by several authors (see, for example, [712]). In [13] Osilike extended Qihou’s result from Hilbert spaces to much more general real q-uniformly smooth Banach spaces, 1 < q < .

The classes of nonexpansive and asymptotically nonexpansive mappings are important classes of mappings because they have applications to solutions of differential equations which have been studied by several authors (see, e.g., [1416] and references contained therein). It would be of interest to study the class of k-strictly asymptotically pseudocontractive mappings in view of the fact that it is closely related to the above two classes.

On the other hand, using the metric projection, Matsushita and Takahashi [17] introduced the following iterative algorithm for nonexpansive mappings: x 0 = x C and
{ C n = co ¯ { z C : z T z t n x n T x n } , D n = { z C : x n z , J ( x x n ) 0 } , x n + 1 = P C n D n x , n = 0 , 1 , 2 , ,
(1.3)

where co ¯ D denotes the convex closure of the set D, J is the normalized duality mapping, { t n } is a sequence in ( 0 , 1 ) with t n 0 , and P C n D n is the metric projection from E onto C n D n . Then, they proved that { x n } generated by (1.3) converges strongly to a fixed point of the mapping T.

In this paper, motivated by these facts, we introduce the following iterative algorithm for finding fixed points of a k-strictly asymptotically pseudocontractive mapping T in a uniformly convex and q-uniformly smooth Banach space: x 1 = x C , C 0 = D 0 = C and
{ C n = co ¯ { z C n 1 : z T n z t n x n T n x n } , D n = { z D n 1 : x n z , J ( x x n ) 0 } , x n + 1 = P C n D n x , n = 1 , 2 , ,
(1.4)

where co ¯ D denotes the convex closure of the set D, J is the normalized duality mapping, { t n } is a sequence in ( 0 , 1 ) with t n 0 , and P C n D n is the metric projection from E onto C n D n .

The purpose of this paper is to establish a strong convergence theorem of the iterative algorithm (1.4) for k-strictly asymptotically pseudocontractive mappings in a uniformly convex and q-uniformly smooth Banach space.

2 Preliminaries

The modulus of smoothness of a Banach space E is the function ρ E : [ 0 , ) [ 0 , ) defined by
ρ E ( t ) = sup { 1 2 ( x + y + x y ) 1 : x 1 , y t } .

E is uniformly smooth if and only if lim t 0 + ρ E ( t ) / t = 0 . Let q > 1 . The Banach space E is said to be q-uniformly smooth if there exists a constant c > 0 such that ρ E ( t ) c t q . Hilbert spaces, L p (or p ) spaces, 1 < p < , and the Sobolev spaces, W m p , 1 < p < , are q-uniformly smooth.

When { x n } is a sequence in E, we denote strong convergence of { x n } to x E by x n x and weak convergence by x n x . The Banach space E is said to have the Kadec-Klee property if for every sequence { x n } in E, x n x and x n x imply that x n x . Every uniformly convex Banach space has the Kadec-Klee property [1].

Let C be a nonempty closed convex subset of a reflexive, strictly convex, and smooth Banach space E. Then for any x E , there exists a unique point x 0 C such that
x 0 x = min y C y x .
The mapping P C : E C defined by P C x = x 0 is called the metric projection from E onto C. Let x E and u C . Then it is known that u = P C x if and only if
u y , J ( x u ) 0
(2.1)

for all y C ( see [1, 18]).

In the sequel, we need the following results.

Proposition 2.1 (See [19])

Let C be a bounded closed convex subset of a uniformly convex Banach space E. Then there exists a strictly increasing convex continuous function γ : [ 0 , ) [ 0 , ) with γ ( 0 ) = 0 depending only on the diameter of C such that
γ ( i = 1 n λ i T x i T ( i = 1 n λ i x i ) ) max 1 i < j n ( x i x j T x i T x j )

holds for any nonexpansive mapping T : C E , any elements x 1 , , x n in C, and any numbers λ 1 , , λ n 0 with λ 1 + + λ n = 1 .

Corollary 2.2 [[20], Corollary 1.2]

Under the same suppositions as in Proposition  2.1, there exists a strictly increasing convex continuous function γ : [ 0 , ) [ 0 , ) with γ ( 0 ) = 0 depending only on the diameter of C such that
γ ( i = 1 n λ i x i T ( i = 1 n λ i x i ) ) max 1 i n ( x i T x i )

holds for any nonexpansive mapping T : C E , any elements x 1 , , x n in C, and any numbers λ 1 , , λ n 0 with λ 1 + + λ n = 1 . (Note that γ does not depend on T.)

In order to utilize Corollary 2.2 for k-strictly asymptotically pseudocontractive mappings, we need the following lemmas.

Lemma 2.3 [4]

Let E be a real Banach space, C be a nonempty subset of E, and T : C C be a k-strictly asymptotically pseudocontractive mapping. Then T is uniformly L-Lipschitzian.

Lemma 2.4 [[21], Lemma 3.1]

Let E be a real q-uniformly smooth Banach space and C be a nonempty convex subset of E. Let T : C C be a k-strictly asymptotically pseudocontractive map, and let { α n } be a real sequence in [ 0 , 1 ] . Define S n : C C by S n x : = ( 1 α n ) x + α n T n x for all x C . Then for all x , y C , we have
S n x S n y q ( 1 + q 2 α n ( k n 1 ) ) x y q α n ( q 2 ( 1 k ) ( 1 + L ) ( q 2 ) c q α n q 1 ) ( I T n ) x ( I T n ) y q ,

where L is the uniformly Lipschitzian constant of T and c q > 0 is the constant which appeared in [[21], Theorem  2.1].

Let β = min { 1 , [ q 2 ( 1 k ) ( 1 + L ) ( q 2 ) / c q ] 1 / ( q 1 ) } and choose α ( 0 , β ) . Set α n = α for all n 1 in Lemma 2.4 and observe that S n x S n y q ( 1 + q 2 α ( k n 1 ) ) x y q . Thus,
S n x S n y ( 1 + q 2 α ( k n 1 ) ) 1 / q x y
(2.2)

for all x , y C and each n 1 .

Theorem 2.5 [[21], Theorem 3.1]

Let E be a real q-uniformly smooth Banach space which is also uniformly convex. Let C be a nonempty closed convex subset of E and T : C C be a k-strictly asymptotically pseudocontractive mapping with a nonempty fixed point set. Then ( I T ) is demiclosed at zero, i.e., if x n x and x n T x n 0 , then x F ( T ) , where F ( T ) is the set of all fixed points of T.

3 Strong convergence theorem

In this section, we study the iterative algorithm (1.4) for finding fixed points of k-strictly asymptotically pseudocontractive mappings in a uniformly convex and q-uniformly smooth Banach space. We first prove that the sequence { x n } generated by (1.4) is well defined. Then, we prove that { x n } converges strongly to P F ( T ) x , where P F ( T ) is the metric projection from E onto F ( T ) .

Lemma 3.1 Let C be a nonempty closed convex subset of a reflexive, strictly convex, and smooth Banach space E, and let T : C C be a mapping. If F ( T ) , then the sequence { x n } generated by (1.4) is well defined.

Proof It is easy to check that C n D n is closed and convex and F ( T ) C n for each n N . Moreover, D 1 = C and so F ( T ) C 1 D 1 . Suppose F ( T ) C k D k for k N . Then there exists a unique element x k + 1 C k D k such that x k + 1 = P C k D k x . If u F ( T ) , then it follows from (2.1) that
x k + 1 u , J ( x x k + 1 ) 0 ,

which implies u D k + 1 . Therefore, F ( T ) C k + 1 D k + 1 . By the mathematical induction, we obtain that F ( T ) C n D n for all n N . Therefore, { x n } is well defined. □

In order to prove our main result, the following lemma is needed.

Lemma 3.2 Let C be a nonempty bounded closed convex subset of a real q-uniformly smooth and uniformly convex Banach space E. Let T : C C be a k-strictly asymptotically pseudocontractive mapping with { k n } such that F ( T ) . Let { x n } be the sequence generated by (1.4), then for any j N ,
lim n x n T n j x n = 0 .
Proof Fix j N and put m = n j . Since x n = P C n 1 D n 1 x , we have x n C n 1 C m . Since t m > 0 , there exist y 1 , , y N C and λ 1 , , λ N 0 with λ 1 + + λ N = 1 such that
x n i = 1 N λ i y i < t m ,
(3.1)
and y i T m y i t m x m T m x m for all i { 1 , , N } . It follows from Lemma 2.3 that T is uniformly L-Lipschitzian. Put M = sup x C x , u = P F ( T ) x and r 0 = sup n 1 ( 1 + L ) x n u . Thus,
y i T m y i t m x m T m x m t m ( 1 + L ) x m u r 0 t m
(3.2)
for all i { 1 , , N } . Define H m : C E by
H m x = 1 a m S m x
for all x C , where a m = ( 1 + q 2 α ( k m 1 ) ) 1 / q and S m is as in (2.2). It follows from (2.2) that H m is nonexpansive. Using (3.2) and the fact that y i S m y i = α y i T m y i , we have
y i H m y i ( 1 1 a m ) y i + 1 a m y i S m y i ( 1 1 a m ) M + α r 0 t m
(3.3)
for all i { 1 , , N } . It follows from Corollary 2.2, (3.1), and (3.3) that
x n H m x n x n i = 1 N λ i y i + i = 1 N λ i y i H m ( i = 1 N λ i y i ) + H m ( i = 1 N λ i y i ) H m x n 2 t m + γ 1 ( max 1 i N y i H m y i ) 2 t m + γ 1 ( ( 1 1 a m ) M + α r 0 t m ) .

Since and , it follows from the last inequality that lim n x n H m x n = 0 . Thus, lim n x n S m x n = 0 and so lim n x n T m x n = 0 . This completes the proof. □

Theorem 3.3 Let C be a nonempty bounded closed convex subset of a real q-uniformly smooth and uniformly convex Banach space E. Let T : C C be a k-strictly asymptotically pseudocontractive mapping with { k n } such that F ( T ) . Let { x n } be the sequence generated by (1.4). Then { x n } converges strongly to the element P F ( T ) x of F ( T ) , where P F ( T ) is the metric projection from E onto F ( T ) .

Proof Put u = P F ( T ) x . Since F ( T ) C n D n and x n + 1 = P C n D n x , we have that
x x n + 1 x u
(3.4)
for all n N . By Lemma 3.2, we have
x n T x n x n T n 1 x n + T n 1 x n T x n x n T n 1 x n + L T n 2 x n x n 0 as  n .
Since { x n } is bounded, there exists { x n i } { x n } such that x n i v . It follows from Theorem 2.5 (demiclosedness of T) that v F ( T ) . From the weakly lower semicontinuity of norm and (3.4), we obtain
x u x v lim inf i x x n i lim sup i x x n i x u .
This together with the uniqueness of P F ( T ) x implies u = v , and hence x n i u . Therefore, we obtain x n u . Furthermore, we have that
lim n x x n = x u .

Since E is uniformly convex, using the Kadec-Klee property, we have that x x n x u . It follows that x n u . This completes the proof. □

Declarations

Acknowledgements

The authors are grateful to the reviewers for their useful comments.

Authors’ Affiliations

(1)
Department of Mathematics, Institute for Advanced Studies in Basic Sciences (IASBS)
(2)
Department of Mathematics, King Abdulaziz University

References

  1. Agarwal RP, Regan DO, Sahu DR: Convexity, smoothness and duality mappings. In Fixed Point Theory for Lipschitzian-type Mappings with Applications. Springer, New York; 2009:49–115.View ArticleGoogle Scholar
  2. Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.View ArticleGoogle Scholar
  3. Qihou L: Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings. Nonlinear Anal. 1996, 26(11):1835–1842. 10.1016/0362-546X(94)00351-HMathSciNetView ArticleGoogle Scholar
  4. Osilike MO, Aniagbosor SC, Akuchu BG: Fixed points of asymptotically demicontractive mappings in arbitrary Banach spaces. Panam. Math. J. 2002, 12(2):77–88.MathSciNetGoogle Scholar
  5. Schu J: Iterative construction of fixed point of asymptotically nonexpansive mappings. J. Math. Anal. Appl. 1991, 158: 407–413. 10.1016/0022-247X(91)90245-UMathSciNetView ArticleGoogle Scholar
  6. Schu J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 1991, 43: 153–159. 10.1017/S0004972700028884MathSciNetView ArticleGoogle Scholar
  7. Ofoedu EU: Strong convergence theorem for uniformly L -Lipschitzian asymptotically pseudocontractive mapping in real Banach space. J. Math. Anal. Appl. 2006, 321(2):722–728. 10.1016/j.jmaa.2005.08.076MathSciNetView ArticleGoogle Scholar
  8. Rafiq A: On iterations for families of asymptotically pseudocontractive mappings. Appl. Math. Lett. 2011, 24: 33–38. 10.1016/j.aml.2010.08.005MathSciNetView ArticleGoogle Scholar
  9. Osilike MO, Igbokwe DI: Convergence theorems for asymptotically pseudocontractive maps. Bull. Korean Math. Soc. 2002, 39(3):389–399.MathSciNetView ArticleGoogle Scholar
  10. Tang Y, Liu L: Note on some results for asymptotically pseudocontractive mappings and asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2006., 2006: Article ID 24978Google Scholar
  11. Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 1993, 178: 301–308. 10.1006/jmaa.1993.1309MathSciNetView ArticleGoogle Scholar
  12. Dehghan H: Approximating fixed points of asymptotically nonexpansive mappings in Banach spaces by metric projections. Appl. Math. Lett. 2011, 24: 1584–1587. 10.1016/j.aml.2011.03.051MathSciNetView ArticleGoogle Scholar
  13. Osilike MO: Iterative approximations of fixed points of asymptotically demicontractive mappings. Indian J. Pure Appl. Math. 1998, 29(12):1291–1300.MathSciNetGoogle Scholar
  14. Chidume CE, Zegeye H: Strong convergence theorems for common fixed points of uniformly L -Lipschitzian pseudocontractive semi-groups. Appl. Anal. 2007, 86(3):353–366. 10.1080/00036810601156730MathSciNetView ArticleGoogle Scholar
  15. Shioji N, Takahashi W: Strong convergence theorems for asymptotically nonexpansive semi-groups in Hilbert spaces. Nonlinear Anal. 1998, 34: 87–99. 10.1016/S0362-546X(97)00682-2MathSciNetView ArticleGoogle Scholar
  16. Suzuki T: On strong convergence to common fixed points of nonexpansive semi-groups in Banach spaces. Proc. Am. Math. Soc. 2003, 131: 2133–2136. 10.1090/S0002-9939-02-06844-2View ArticleGoogle Scholar
  17. Matsushita S, Takahashi W: Approximating fixed points of nonexpansive mappings in a Banach space by metric projections. Appl. Math. Comput. 2008, 196: 422–425. 10.1016/j.amc.2007.06.006MathSciNetView ArticleGoogle Scholar
  18. Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. Lecture Notes in Pure and Applied Mathematics. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Dekker, New York; 1996:15–50.Google Scholar
  19. Bruck RE: On the convex approximation property and the asymptotic behaviour of nonlinear contractions in Banach spaces. Isr. J. Math. 1981, 38: 304–314. 10.1007/BF02762776MathSciNetView ArticleGoogle Scholar
  20. Kruppel M: On an inequality for nonexpansive mappings in uniformly convex Banach spaces. Rostock. Math. Kolloqu. 1997, 51: 25–32.MathSciNetGoogle Scholar
  21. Osilike MO, Udomene A, Igbokwe DI, Akuchu BG: Demiclosedness principle and convergence theorems for k -strictly asymptotically pseudocontractive maps. J. Math. Anal. Appl. 2007, 326(2):1334–1345. 10.1016/j.jmaa.2005.12.052MathSciNetView ArticleGoogle Scholar

Copyright

© Dehghan and Shahzad; licensee Springer 2012

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.