Skip to main content

Strong convergence for total asymptotically pseudocontractive semigroups in Banach spaces

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.

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:CC 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):t0} 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 xC;

  2. (b)

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

  3. (c)

    For any xC, the mapping tT(t)x is continuous;

  4. (d)

    For all x,yC, there exists j(xy)J(xy) such that

    T ( t ) x T ( t ) y , j ( x y ) x y 2 ,for any t0

holds.

Definition 1.2 One-parameter family T:={T(t):t0} 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,yC, t0, there exists a sequence { k n } of positive real numbers with k n 1, lim n + k n =1, and there exists j(xy)J(xy) such that

    T n ( t ) x T n ( t ) y , j ( x y ) k n x y 2 ,nN

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 2x,Jy+ y 2 ,x,yE.

It is obvious that the following conditions hold, x,y,zE:

  1. 1.

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

  2. 2.

    ϕ(x,y)=ϕ(x,z)+ϕ(z,y)+2xz,JzJx;

  3. 3.

    ϕ(x,y)=x,JxJy+yx,JyxJxJy+yxy.

Following Alber [15], the generalized projection Π C x:EC is defined by

Π C x=arg inf y C ϕ(y,x),xE.

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 xC, yE;

  2. (ii)

    If xE and zC, then z= Π C x zy,JxJz0, yC;

  3. (iii)

    For x,yE, ϕ(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,yC, t0, 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(xy)J(xy) such that

T n x T n y , j ( x y ) x y 2 + μ n ψ ( x y ) + ν n ,nN

holds.

Remark 2.1 If ψ(λ)= λ 2 , then T n x T n y,j(xy) x y 2 + μ n ψ(xy)+ ν n reduces to T n x T n y,j(xy)(1+ μ n ) x y 2 + ν n , so the total asymptotically pseudocontractive mappings include asymptotically pseudocontractive mappings. If μ n =0, ν n =0 for all n1, 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):t0} 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,yC, t0, 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, t0, there exists j(xy)J(xy) such that

    T n ( t ) x T n ( t ) y , j ( x y ) x y 2 + μ n ψ ( x y ) + ν n ,nN

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)xy,x,yC,t0,nN.

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):t0} 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 IT(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 xC and x=T(t)x. Since C is a closed convex subset of E, C is weakly closed. So, xC. 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 m1. 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 (diamC)+ ν m ,mN.
(6)

When m, μ m , ν m 0, so we have x T m (t)x0, m, i.e., T m (t)xx, m, so T m + 1 (t)xT(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):t0} 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):t0} 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 (diamC)+ ν 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 xC. Since T:={T(t):t0} 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 xC.

  2. (II)

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

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 nN. H n is convex for each nN, which follows from the convexity of J.

  1. (III)

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

We first show F(T) H n . Let pF(T), nN. 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 nN. This proves that F(T) H n for all nN. Next, we prove F(T) W n for all nN. 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 , uF(T) and the definition of W N + 1 leads to F(T) H n W n , nN.

  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 pF(T) w n , we get

ϕ( x n ,x)ϕ( x n + 1 ,x)andϕ( x n ,x)ϕ(p,x)

for all nN. 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 t0.

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 nN, 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.

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.

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

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

    MathSciNet  Article  Google Scholar 

  5. Xu HK: A strong convergence theorem for contraction semigroups in Banach spaces. Bull. Aust. Math. Soc. 2005, 72: 371–379. 10.1017/S000497270003519X

    Article  Google 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-8

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

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

    Article  Google 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–45

    Google 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 468716

    Google 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-y

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

    MathSciNet  Article  Google Scholar 

  13. Alber YI, Chidume CE, Zegeye H: Approximating fixed point of total asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2006., 2006: Article ID 10673

    Google 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/859795

    Google 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/S105262340139611X

    MathSciNet  Article  Google 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–24

    Google Scholar 

Download references

Acknowledgements

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

Author information

Affiliations

Authors

Corresponding author

Correspondence to Xiongrui Wang.

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

Wang, X., Quan, J. Strong convergence for total asymptotically pseudocontractive semigroups in Banach spaces. Fixed Point Theory Appl 2012, 216 (2012). https://doi.org/10.1186/1687-1812-2012-216

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords

  • strong convergence
  • total asymptotically pseudocontractive semigroups
  • common fixed point