Skip to main content

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

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:CC 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.

1 Introduction

Let E be a real Banach space and E be the dual of E. We denote the value of x E at xE 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 xE. 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:CC is called nonexpansive if

TxTyxy

for all x,yC. Also, T is called uniformly L-Lipschitz if there exists a constant L>0 such that

T n x T n y Lxy

for all x,yC and each n1. The mapping T:CC 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,yC, there exists j(xy)J(xy) such that

T n x T n y , j ( x y ) 1 2 (1+ k n ) x y 2 1 2 (1k) x T n x ( y T n y ) 2
(1.1)

for each n1. 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 =xC 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 =xC, 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 xE 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 xE, there exists a unique point x 0 C such that

x 0 x= min y C yx.

The mapping P C :EC defined by P C x= x 0 is called the metric projection from E onto C. Let xE and uC. Then it is known that u= P C x if and only if

u y , J ( x u ) 0
(2.1)

for all yC ( 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:CE, 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:CE, 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:CC 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:CC be a k-strictly asymptotically pseudocontractive map, and let { α n } be a real sequence in [0,1]. Define S n :CC by S n x:=(1 α n )x+ α n T n x for all xC. Then for all x,yC, 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 n1 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 xy
(2.2)

for all x,yC and each n1.

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:CC be a k-strictly asymptotically pseudocontractive mapping with a nonempty fixed point set. Then (IT) is demiclosed at zero, i.e., if x n x and x n T x n 0, then xF(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:CC 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 nN. Moreover, D 1 =C and so F(T) C 1 D 1 . Suppose F(T) C k D k for kN. 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 uF(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 nN. 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:CC 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 jN,

lim n x n T n j x n =0.

Proof Fix jN and put m=nj. 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 :CE by

H m x= 1 a m S m x

for all xC, 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:CC 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 xu
(3.4)

for all nN. 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 vF(T). From the weakly lower semicontinuity of norm and (3.4), we obtain

xuxv lim inf i x x n i lim sup i x x n i xu.

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 =xu.

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

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.

    Chapter  Google Scholar 

  2. Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.

    Book  Google 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-H

    MathSciNet  Article  Google 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.

    MathSciNet  Google 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-U

    MathSciNet  Article  Google 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/S0004972700028884

    MathSciNet  Article  Google 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.076

    MathSciNet  Article  Google 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.005

    MathSciNet  Article  Google Scholar 

  9. Osilike MO, Igbokwe DI: Convergence theorems for asymptotically pseudocontractive maps. Bull. Korean Math. Soc. 2002, 39(3):389–399.

    MathSciNet  Article  Google 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 24978

    Google 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.1309

    MathSciNet  Article  Google 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.051

    MathSciNet  Article  Google Scholar 

  13. Osilike MO: Iterative approximations of fixed points of asymptotically demicontractive mappings. Indian J. Pure Appl. Math. 1998, 29(12):1291–1300.

    MathSciNet  Google 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/00036810601156730

    MathSciNet  Article  Google 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-2

    MathSciNet  Article  Google 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-2

    Article  Google 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.006

    MathSciNet  Article  Google 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/BF02762776

    MathSciNet  Article  Google Scholar 

  20. Kruppel M: On an inequality for nonexpansive mappings in uniformly convex Banach spaces. Rostock. Math. Kolloqu. 1997, 51: 25–32.

    MathSciNet  Google 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.052

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Naseer Shahzad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this article. 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

Dehghan, H., Shahzad, N. Strong convergence of a CQ method for k-strictly asymptotically pseudocontractive mappings. Fixed Point Theory Appl 2012, 208 (2012). https://doi.org/10.1186/1687-1812-2012-208

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords

  • strong convergence
  • CQ method
  • k-strictly asymptotically pseudocontractive mapping