Open Access

Strong convergence for total asymptotically pseudocontractive semigroups in Banach spaces

Fixed Point Theory and Applications20122012:216

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

Received: 23 August 2012

Accepted: 7 November 2012

Published: 28 November 2012

Abstract

In this article, the demiclosedness principle for total asymptotically pseudocontractions in Banach spaces is established. The strong convergence to a common fixed point of total asymptotically pseudocontractive semigroups in Banach spaces is established based on the demiclosedness principle, the generalized projective operator, and the hybrid method. The main results presented in this article extend and improve the corresponding results of many authors.

MSC:47H05, 47H09, 49M05.

Keywords

strong convergencetotal asymptotically pseudocontractive semigroupscommon fixed point

1 Introduction

Throughout this article, we assume that E is a real Banach space with the norm , E is the dual space of E; , is the duality pairing between E and E ; C is a nonempty closed convex subset of E; and R + denote the natural number set and the set of nonnegative real numbers, respectively. The mapping J : E 2 E defined by
J ( x ) = { f E : x , f = x 2 ; f = x , x E }

is called the normalized duality mapping. Let T : C C be a nonlinear mapping; F ( T ) denotes the set of fixed points of the mapping T. We use ‘→’ to stand for strong convergence and ‘’ for weak convergence.

As is well known, fixed theory has always been kept a watchful eye on in nonlinear analysis, such as [1] proved Krasnoselskii’s fixed point theorem for general classes of maps, [2] established strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasi-nonexpansive mappings in a Banach space. Common fixed points of semigroups have also been discussed; see [35]. The construction of fixed points of pseudocontractive mappings (asymptotically pseudocontractive mappings), and of common fixed points of pseudocontractive semigroups (asymptotically pseudocontractive semigroups) is an important problem in the theory of pseudocontractive mappings. Iterative approximation of fixed points or common fixed points for asymptotically pseudocontractive mappings, pseudocontractive semigroups, asymptotically pseudocontractive semigroups in Hilbert or Banach spaces has been studied extensively by many authors; see for example [4, 612]. Alber et al. [13] introduced a more general class of asymptotically nonexpansive mappings called total asymptotically nonexpansive mappings and studied the methods of approximation of fixed points. Qin et al. [14] have introduced total asymptotically pseudocontractive mappings and proved a weak convergence theorem of fixed points for total asymptotically pseudocontractive mappings in Hilbert spaces.

The pseudocontractive semigroup and asymptotically pseudocontractive semigroup are defined as follows.

Definition 1.1 [4]

One-parameter family T : = { T ( t ) : t 0 } of mappings from C into itself is said to be a pseudocontractive semigroup on C, if the following conditions are satisfied:
  1. (a)

    T ( 0 ) x = x for each x C ;

     
  2. (b)

    T ( t + s ) x = T ( s ) T ( t ) for any t , s R + and x C ;

     
  3. (c)

    For any x C , the mapping t T ( t ) x is continuous;

     
  4. (d)
    For all x , y C , there exists j ( x y ) J ( x y ) such that
    T ( t ) x T ( t ) y , j ( x y ) x y 2 , for any  t 0
     

holds.

Definition 1.2 One-parameter family T : = { T ( t ) : t 0 } of mappings from C into itself is said to be an asymptotically pseudocontractive semigroup on C, if the conditions (a), (b), (c) in Definition 1.1 and the following condition (e) are satisfied:
  1. (e)
    For all x , y C , t 0 , there exists a sequence { k n } of positive real numbers with k n 1 , lim n + k n = 1 , and there exists j ( x y ) J ( x y ) such that
    T n ( t ) x T n ( t ) y , j ( x y ) k n x y 2 , n N
     

holds.

The purpose of this article is to introduce the concept of a total asymptotically pseudocontractive semigroup and to use the hybrid method for total asymptotically pseudocontractive semigroups to get the strong convergence in Banach spaces. The results presented in the article improve and extend the corresponding results of many authors.

2 Preliminaries

In the sequel, we assume that E is a smooth, strictly convex, and reflexive Banach space and C is a nonempty closed convex subset of E. We use ϕ : E × E R + to denote the Lyapunov functional defined by
ϕ ( x , y ) = x 2 2 x , J y + y 2 , x , y E .
It is obvious that the following conditions hold, x , y , z E :
  1. 1.

    ( x y ) 2 ϕ ( x , y ) ( x + y ) 2 ;

     
  2. 2.

    ϕ ( x , y ) = ϕ ( x , z ) + ϕ ( z , y ) + 2 x z , J z J x ;

     
  3. 3.

    ϕ ( x , y ) = x , J x J y + y x , J y x J x J y + y x y .

     
Following Alber [15], the generalized projection Π C x : E C is defined by
Π C x = arg inf y C ϕ ( y , x ) , x E .

In order to prove the results of this paper, we shall need the following lemmas.

Lemma 2.1 [16]

Let E be a uniformly convex and smooth Banach space and let { x n } and { y n } be two sequences of E. If ϕ ( x n , y n ) 0 and either { x n } or { y n } is bounded, then x n y n 0 .

Lemma 2.2 [15]

Let E be a smooth, strictly convex, and reflexive Banach space and C be a nonempty closed convex subset of E. Then the following conditions hold:
  1. (i)

    ϕ ( x , Π C y ) + ϕ ( Π C y , y ) ϕ ( x , y ) for all x C , y E ;

     
  2. (ii)

    If x E and z C , then z = Π C x z y , J x J z 0 , y C ;

     
  3. (iii)

    For x , y E , ϕ ( x , y ) = 0 if and only if x = y .

     

Qin[14] introduced the class of total asymptotically pseudocontractive mappings in Hilbert spaces and established a weak convergence theorem of fixed points. Now, we give the definition of total asymptotically pseudocontractive mappings in a Banach space.

Definition 2.1 The mapping T from C into itself is said to be total asymptotically pseudocontractive on C if, for all x , y C , t 0 , there exist sequences { μ n } , { ν n } with μ n , ν n 0 as n and strictly increasing continuous functions ψ : R + R + with ψ ( 0 ) = 0 , and there exists j ( x y ) J ( x y ) such that
T n x T n y , j ( x y ) x y 2 + μ n ψ ( x y ) + ν n , n N

holds.

Remark 2.1 If ψ ( λ ) = λ 2 , then T n x T n y , j ( x y ) x y 2 + μ n ψ ( x y ) + ν n reduces to T n x T n y , j ( x y ) ( 1 + μ n ) x y 2 + ν n , so the total asymptotically pseudocontractive mappings include asymptotically pseudocontractive mappings. If μ n = 0 , ν n = 0 for all n 1 , then total asymptotically pseudocontractive mappings coincide with the class of pseudocontractive mappings.

Yang [17] has studied total asymptotically strict pseudocontractive semigroups. We now introduce the following semigroup mappings.

Definition 2.2 (1) One-parameter family T : = { T ( t ) : t 0 } of mappings from C into itself is said to be a total asymptotically pseudocontractive semigroup on C if the conditions (a), (b), (c) in Definition 1.1 and the following condition (f) are satisfied:
  1. (f)
    For all x , y C , t 0 , there exist sequences { μ n } , { ν n } with μ n , ν n 0 as n and strictly increasing continuous functions ψ : R + R + with ψ ( 0 ) = 0 , for all x , y , C , t 0 , there exists j ( x y ) J ( x y ) such that
    T n ( t ) x T n ( t ) y , j ( x y ) x y 2 + μ n ψ ( x y ) + ν n , n N
     

holds.

  1. (2)
    A total asymptotically pseudocontractive semigroup T is said to be uniformly Lipschitzian if there exists a bounded measurable function L : [ 0 , ) ( 0 , + ) such that
    T ( n ) ( t ) x T ( n ) ( t ) y L ( t ) x y , x , y C , t 0 , n N .
     

In this article, we let L = sup t 0 L ( t ) < .

3 Main results

Theorem 3.1 (Demiclosedness principle)

Let E be a reflexive smooth Banach space with a weakly sequential continuous duality mapping J and C be a nonempty bounded and closed convex subset of E. Let T : = { T ( t ) : t 0 } be a uniformly L-Lipschitzian and total asymptotically pseudocontractive semigroup from C into itself defined by Definition  2.2. Suppose there exists M > 0 such that ψ ( ξ n ) M ξ n . Then I T ( t ) is demiclosed at zero, where I is the identical mapping.

Proof Assume that { x n } C , with x n x and x n T ( t ) x n 0 as n . We want to prove x C and x = T ( t ) x . Since C is a closed convex subset of E, C is weakly closed. So, x C . In the following, we prove x = T ( t ) x .

Now, we choose α ( 0 , 1 1 + L ) , and let y m = ( 1 α ) x + α T m ( t ) x for m 1 . Because T ( t ) is uniformly L-Lipschitzian, we have
(1)
Since T ( t ) is total asymptotically pseudocontractive, we have
(2)
By assumption x n x , x n T ( t ) x n 0 and x n T m ( t ) x n 0 as n , J is a weakly sequential continuous duality mapping, we have
J ( x y m ) , ( I T m ( t ) ) y m μ m ψ ( x n y m ) + ν m μ m M x n y m + ν m μ m M ( diam C ) + ν m .
(3)
By the L-Lipschitz of T ( t ) and the definition of y m , we have
(4)
Thus,
(5)
which implies that
α [ 1 α ( 1 + L ) ] x T m ( t ) x 2 μ m M ( diam C ) + ν m , m N .
(6)

When m , μ m , ν m 0 , so we have x T m ( t ) x 0 , m , i.e., T m ( t ) x x , m , so T m + 1 ( t ) x T ( t ) x , m . By the continuity of T ( t ) , we have T ( t ) x = x . □

Theorem 3.2 Let E be a real uniformly convex and uniformly smooth Banach space with a weakly sequential continuous convex duality mapping J and C be a nonempty closed convex subset of E. Let T : = { T ( t ) : t 0 } be a total asymptotically pseudocontractive semigroup of mappings from C into itself defined by Definition  2.2. Suppose there exists M > 0 such that ψ ( ξ n ) M ξ n . Suppose T : = { T ( t ) : t 0 } are closed, convex, uniformly L-Lipschitz and F ( T ) : = t 0 F ( T ( t ) ) . Let α n be a sequence in [ a , b ] , where a , b ( 0 , 1 1 + L ) . Let x n be a sequence generated by
{ x 1 = x C , y n = ( 1 α n ) x n + α n T n ( t ) x n , H n = { z C n : α n [ 1 ( 1 + L ) α n ] x n T n ( t ) x n 2 H n = J ( x n y n ) J ( z y n ) , ( y n T n ( t ) y n ) + ζ n } , W n = { z C : x n z , J x J x n } 0 , x n + 1 = P H n W n x , n N ,
(7)

where ζ n = μ n M ( diam C ) + ν n , then the iterative sequence { x n } converges strongly to a common fixed point x F ( T ) in C.

Proof We divide the proof into six steps.
  1. (I)

    P F ( T ) x is well defined for every x C . Since T : = { T ( t ) : t 0 } is uniform L-Lipschitzian continuous and convex, so F ( T ) is closed and convex. Moreover, F ( T ) is nonempty, therefore, P F ( T ) x is well defined for every x C .

     
  2. (II)

    We prove that H n and W n are closed and convex for all n N .

     
From the definitions of W n and H n , it is obvious that W n is closed and convex and H n is closed for each n N . H n is convex for each n N , which follows from the convexity of J.
  1. (III)

    We prove F ( T ) H n W n for each n N .

     
We first show F ( T ) H n . Let p F ( T ) , n N . By (7), and the uniform L-Lipschitz continuity of T ( t ) and the total asymptotical pseudocontractiveness of T ( t ) , we have
This implies that
(8)
This shows that p H n for all n N . This proves that F ( T ) H n for all n N . Next, we prove F ( T ) W n for all n N . By induction, for n = 0 , we have F ( T ) C = W 0 . Assume that F ( T ) W n . Since x n + 1 is the projection of x onto H n W n , by Lemma 2.2, we have
x n + 1 z , J ( x x n + 1 ) 0
for any z H n W n . This with the assumption F ( T ) H n W n , u F ( T ) and the definition of W N + 1 leads to F ( T ) H n W n , n N .
  1. (IV)

    We prove that x n + 1 x n 0 as n .

     
From (7) and Lemma 2.2, we have x n = P w n x , this shows, for any z W n and p F ( T ) w n , we get
ϕ ( x n , x ) ϕ ( x n + 1 , x ) and ϕ ( x n , x ) ϕ ( p , x )
for all n N . So, we have lim n ϕ ( x n , x ) and { x n } is bounded. So, by Lemma 2.2, we have
ϕ ( x n + 1 , x n ) ϕ ( x n + 1 , x ) ϕ ( x n , x ) 0
as n . By Lemma 2.1, we get x n + 1 x n 0 as n .
  1. (V)

    Now, we prove x n T ( t ) x n 0 as n for all t 0 .

     
It follows from x n + 1 x n 0 as n , x n + 1 H n , { y n } is bounded, { T ( t ) n y n } t 0 is uniformly bounded, J is a weakly sequential continuous duality mapping, and α n ( a , b ) that
(9)
So, x n T n ( t ) x n 0 as n . In addition,
(10)
So, x n T ( t ) x n 0 as n .
  1. (VI)

    Finally, we prove x n P F ( T ) x as n .

     

Let x n k be a subsequence of x n k such that x n k x ˆ C , then by Theorem 3.1, we have x ˆ F ( T ) . We let ω P F ( T ) x . For any n N , x n + 1 = P H n W n and ω P F ( T ) x H n W n , so we get ϕ ( x n + 1 ) ϕ ( ω , x ) .

On the other hand, from the weak lower semicontinuity of the norm, we have
ϕ ( x ˆ , x ) = x ˆ 2 2 x ˆ , J x + x 2 lim inf n ( x n k 2 2 x n k 2 , J x + x 2 ) = lim inf n ϕ ( x n k , x ) lim sup n ϕ ( x n k , x ) ϕ ( ω , x ) .
(11)

From the definition of P F ( T ) x , we obtain x ˆ = ω and hence lim sup n ϕ ( x n k , x ) = ϕ ( ω , x ) . So, we have lim sup k x n k = ω . Using the Kadec-Klee property of E, we obtain that x n k converges strongly to P F ( T ) x . Since x n k is an arbitrary weakly convergent sequence of  x n , we can conclude that x n converges strongly to P F ( T ) x . This completes the proof of Theorem 3.2. □

Remark 3.1 Theorem 7 extends the main results of Zhou [8, 9], improves the results of Yang [17] and many others.

Remark 3.2 It is significant to remove the convexity of the duality mapping J and the total asymptotically pseudocontractive semigroup in Theorem 7 of this article.

Authors’ information

All the authors contributed equally to the writing of the present article. And they also read and approved the final manuscript.

Declarations

Acknowledgements

This work was supported by Scientific Research Fund Project of SiChuan Provincial Education Department (No. 11ZA172 and No. 12ZB345).

Authors’ Affiliations

(1)
Department of Mathematics, Yibin University

References

  1. O’Regan D, Shahzad N: Krasnoselskii’s fixed point theorem for general classes of maps. Adv. Fixed Point Theory 2012, 2: 248–257.Google Scholar
  2. Ye J, Huang J: Strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasi-nonexpansive mappings in Banach space. J. Math. Comput. Sci. 2011, 1: 1–18.MathSciNetView ArticleGoogle Scholar
  3. Lau AT, Takahashi W: Invariant submeans and semigroups of nonexpansive mappings on Banach spaces with normal structure. J. Funct. Anal. 1996, 142: 79–88. 10.1006/jfan.1996.0144MathSciNetView ArticleGoogle Scholar
  4. Cho SY, Kang SM: Approximation of fixed points pseudocontraction semigroups based on a viscosity iterative process. Appl. Math. Lett. 2011, 24: 224–228. 10.1016/j.aml.2010.09.008MathSciNetView ArticleGoogle Scholar
  5. Xu HK: A strong convergence theorem for contraction semigroups in Banach spaces. Bull. Aust. Math. Soc. 2005, 72: 371–379. 10.1017/S000497270003519XView ArticleGoogle Scholar
  6. Chang SS: Some results for asymptotically pseudo-contractive mappings and asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 2001, 129: 845–853. 10.1090/S0002-9939-00-05988-8View ArticleGoogle Scholar
  7. Osilike MO, Akuchu BG: Common fixed points of a finite family of asymptotically pseudocontractive mappings. Fixed Point Theory Appl. 2004, 2: 81–88.MathSciNetGoogle Scholar
  8. Zhou H: Demiclosedness principle with applications for asymptotically pseudo-contractions in Hilbert spaces. Nonlinear Anal., Theory Methods Appl. 2009, 70: 3140–3145. 10.1016/j.na.2008.04.017View ArticleGoogle Scholar
  9. Wang Y-H, Xia Y-H: Strong convergence for asymptotically pseudocontractions with the demiclosedness principle in Banach spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 45. doi:10.1186/1687–1812–2012–45Google Scholar
  10. Qin X, Kim JK, Wang T: On the convergence of implicit iterative processes for asymptotically pseudocontractive mappings in the intermediate sense. Abstr. Appl. Anal. 2011., 2011: Article ID 468716Google Scholar
  11. Zhang S: Convergence theorem of common fixed points for Lipschitzian pseudo-contraction semi-groups in Banach spaces. Appl. Math. Mech. (English Ed.) 2009, 30: 145–152. 10.1007/s10483-009-0202-yMathSciNetView ArticleGoogle Scholar
  12. Chidume CE: Strong convergence theorems for fixed points of asymptotically pseudocontractive semi-groups. J. Math. Anal. Appl. 2004, 296: 410–421. 10.1016/j.jmaa.2003.12.045MathSciNetView ArticleGoogle Scholar
  13. Alber YI, Chidume CE, Zegeye H: Approximating fixed point of total asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2006., 2006: Article ID 10673Google Scholar
  14. Qin X, Cho SY, Kang SM: A weak convergence theorem for total asymptotically pseudocontractive mappings in Hilbert spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 859795. doi:10.1155/2011/859795Google Scholar
  15. Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartosator AG. Dekker, New York; 1996:15–50.Google Scholar
  16. Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Optim. 2002, 13: 938–945. 10.1137/S105262340139611XMathSciNetView ArticleGoogle Scholar
  17. Yang L, Zhao FH: Large strong convergence theorems for total asymptotically strict pseudocontractive semigroup in Banach spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 24. doi:10.1186/1687–1812–2012–24Google Scholar

Copyright

© Wang and Quan; 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.