Skip to main content

Large strong convergence theorems for total asymptotically strict pseudocontractive semigroup in banach spaces

Abstract

The purpose of this is to introduce and study total asymptotically strict pseudocontractive semigroup, asymptotically strict pseudocontractive semigroup etc. the strong convergence theorems of the explicit iteration process for the new semigroups in arbitrary Banach spaces are established. The results presented in the paper extend and improve some recent results announced by many authors.

Mathematics Subject Classification 2000 (AMS): 47H20; 47H10.

1 Introduction and preliminaries

Let E be a real Banach space, E* be the dual space of E, C is a nonempty closed convex subset of E, ℜ+ is the set of nonnegative real numbers and J : E → 2E* is the normalized duality mapping defined by

J ( x ) = { f ∈ E * : ⟨ x , f ⟩ = | | x | | ⋅ | | f | | , | | x | | = | | f | | } ,x∈E.
(1.1)

Let T : C → C be a mapping, We use F (T) to denote the set of fixed points of T. We also use "→" to stand for strong convergence and "⇀" for weak convergence. We first recall some definitions:

A one parameter family ℑ:= { T ( t ) : t ≥ 0 } of self mappings of C is said a nonexpansive semigroup, if the following conditions are satisfied:

  1. (i)

    T (t1 + t2)x = T (t1)T (t2)x, for any t1, t2 ∈ ℜ+ and x ∈ C;

  2. (ii)

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

  3. (iii)

    for each x ∈ C, t ↦ T (t)x is continuous;

  4. (iv)

    for any t ≥ 0, T (t) is nonexpansive mapping on C, that is for any x, y ∈ C,

    ||T ( t ) x-T ( t ) y||≤||x-y||
    (1.2)

for any t ≥0.

If the family ℑ:= { T ( t ) : t ≥ 0 } satisfies conditions (i)-(iii), then it is said

  1. (a)

    pseudocontractive semigroup, if for any 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
    (1.3)
  2. (b)

    uniformly Lipschitzian semigroup, if there exists a bounded measurable function L : [0, ∞) → (0, ∞) such that, for any x, y ∈ C and t ≥ 0,

    | | T n ( t ) x - T n ( t ) y | | ≤ L ( t ) | | x - y | | ∀ n ≥ 1
    (1.4)
  3. (c)

    strict pseudocontractive semigroup, if there exists a bounded function λ : [0, ∞) → (0, ∞) and for any given 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 -λ ( t ) || ( I - T ( t ) ) x- ( I - T ( t ) ) y| | 2
    (1.5)

for any t ≥ 0.

It is easy to see that such semigroup is ( ( 1 + λ ( t ) ) / λ ( t ) ) -Lipschitzian and pseudocontractive semigroup.

  1. (d)

    demicontractive semigroup, if F(T(t)) ≠ ϕ for all t ≥ 0, there exists bounded function λ: [0, ∞) → (0, ∞) and for any t ≥ 0, x ∈ C and y ∈ F (T (t)), there exists j(x - y) ∈ J(x - y) such that

    ⟨ T ( t ) x - y , j ( x - y ) ⟩ ≤||x-y| | 2 -λ ( t ) || ( I - T ( t ) ) x| | 2
    (1.6)

In this article, we introduce the following semigroups.

Definition 1.1 A one parameter family ℑ:= { T ( t ) : t ≥ 0 } of self mapping of C satisfies conditions (i)-(iii), then it is said

  1. (e)

    total asymptotically strict pseudocontractive semigroup, if there exists bounded function λ : [0, ∞) → (0, ∞) and sequences { μ n } ⊂ [ 0 , ∞ ) and { ξ n } ⊂ [ 0 , ∞ ) with μ n → 0 and ξ n → 0 as n → ∞. for any given x, y ∈ C, there exists j(x - y) ∈ J(x - y), such that

    ⟨ T n ( t ) x - T n ( t ) y , j ( x - y ) ⟩ ≤ | | x - y | | 2 - λ ( t ) | | ( I - T n ( t ) ) x - ( I - T n ( t ) ) y | | 2 + μ n ϕ ( | | x - y | | ) + ξ n , ∀ n ≥ 1
    (1.7)

for any t ≥ 0.

where ϕ: [ 0 , ∞ ) → [ 0 , ∞ ) is a continuous and strictly increasing function with ϕ (0) = 0.

  1. (f)

    asymptotically strict pseudocontractive semigroup, if there exists a bounded function λ : [0, ∞) → (0, ∞) and a sequence {k n } ⊂ [1, ∞) with k n → 1 as n → ∞, for any given x, y ∈ C, 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 - λ ( t ) | | ( I - T n ( t ) ) x - ( I - T n ( t ) ) y | | 2 , ∀ n ≥ 1
    (1.8)

for any t ≥ 0.

  1. (g)

    asymptotically demicontractive semigroup, if F (T (t)) ≠ ϕ for all t ≥ 0 and there exists a bounded function λ : [0, ∞) → (0, ∞)and a sequence {k n } ⊂ [1, ∞) with k n → 1 as n → ∞, for any t ≥ 0, x ∈ C and y ∈ F (T(t)), there exists j(x - y) ∈ J(x - y) such that

    ⟨ T n ( t ) x - y , j ( x - y ) ⟩ ≤ k n ||x-y| | 2 -λ ( t ) || ( I - T n ( t ) ) x| | 2 ,∀n≥1
    (1.9)

for any t ≥ 0.

Remark 1.2 If ϕ(λ) = λ2 and ξ n = 0, a total asymptotically strict pseudocontractive semigroup is a asymptotically strict pseudocontractive semigroup. Every asymptotically strict pseudocontractive semigroup with ⋂ t > 0 F ( T ( t ) ) ≠ ϕ is asymptotically demicontractive semigroup. If k n = 1, n = 1, a asymptotically strict pseudocontractive semigroup is a strict pseudocontractive semigroups a asymptotically demicontractive semigroup is a demicontractive semigroup.

It is easy to see that the condition (1.7) is equivalent to following condition: for any t ≥ 0, x ∈ C and y ∈ F (T(t)), there exists j(x - y) ∈ J(x - y) such that

⟨ x - T n ( t ) x , j ( x - y ) ⟩ ≥λ ( t ) ||x- T n ( t ) x| | 2 - μ n ϕ ( | | x - y | | ) - ξ n
(1.10)

The convergence problems of implicit and explicit iterative sequences for nonexpansive semigroups to common fixed points has been considered by some authors in various spaces. see, for example [1–11].

In 1998, Shioji and Takahashi [1] introduced in a Hilbert space the implicit iteration

x n = α n u+ ( 1 - α n ) σ t n ( x n ) ,n≥1,
(1.11)

where {α n } is a sequence in (0, 1), {t n } a sequence of positive real number divergent to ∞ and for each t > 0 and x ∈ C, σ t (x) is the average given by

σ t ( x ) = 1 t ∫ 0 t T ( s ) xds.

Under certain restrictions to the sequence {α n }, they proved the strong convergence of {x n } to a point p ∈ F : = ⋂ t ≥ 0 F ( T ( t ) ) .

In 2003, Suzuki [2] first introduced the following implicit iteration process:

x n = α n u+ ( 1 - α n ) T ( t n ) ( x n ) ,n≥1,
(1.12)

for the nonexpansive semigroup in a Hilbert space. He proved strong convergence of his process (1.12) with appropriate assumptions imposed upon the parameter sequences {α n } and {t n }. Xu [3] proved that Suzuki's result holds in a uniformly convex Banach space with a weakly continuous duality mapping.

In 2005, Aleyner and Reich [4] first introduced the following explicit iteration sequence

x n + 1 = α n u+ ( 1 - α n ) T ( t n ) x n ,n≥0
(1.13)

in a reflexive Banach space with a uniformly Gâteaux differentiable norm such that each nonempty, bounded, closed and convex subset of E has the common fixed point property for nonexpansive mappings. Under appropriate assumptions imposed upon the parameter sequences {α n } and {t n }, they proved that the sequence {x n } defined by (1.13) converges strongly to a common sixed point of the semigroup {T (t) : t ≥ 0}.

More recently, Chang et al. [11] introduced the following explicit iteration process:

x 1 ∈C,
x n + 1 = ( 1 - α n ) x n + α n T ( t n ) x n ,n≥1
(1.14)

for the Lipschitzian and demicontractive semigroup ℑ:= { T ( t ) : t ≥ 0 } in general Banach spaces. Also under appropriate assumptions imposed upon the parameter sequences {α n } and {t n }, they proved the sequence {x n } defined by (1.14) converges strongly to some point in F = : ⋂ t ≥ 0 F ( T ( t ) ) .

Inspired and motivated by the above works of Shioji and Takahashi [1], Suzuki [2], Xu [3], Aleyner and Reich [4] and Chang et al. [11], the purpose of this article is to introduce and study the strong convergence problem of the following explicit iteration process:

x 1 ∈C,
x n + 1 = ( 1 - α n ) x n + α n T n ( t n ) x n ,n≥1
(1.15)

For the uniformly Lipschitzian and total asymptotically strict pseudocontractive semigroup ℑ:= { T ( t ) : t ≥ 0 } in general Banach spaces. The results presented in the article extend and improve some recent results given in [4, 5, 7, 9].

The following Lemmas will be needed in proving our main results.

Lemma 1.3 Let {a n }, {b n } and {δ n } be sequences of nonnegative real numbers satisfying

a n + 1 ≤ ( 1 + δ n ) a n + b n ,∀n≥ n 0 ,
(1.16)

where n0 is some nonnegative integer. If ∑ i = 1 ∞ δ n < ∞ and ∑ i = 1 ∞ b n < ∞ , then the limit lim n → ∞ a n exists.

Lemma 1.4 [12] Let E be any real Banach space, E* be the dual space of E and J:E→ 2 E * be the normalized duality mapping. Then for any x, y ∈ E we have

x + y 2 ≤ x 2 + 2 ⟨ y , j ( x + y ) ⟩ , ∀ j ( x + y ) ∈ J ( x + y )
(1.17)

2 Main results

Now, we are ready to give our main results.

Theorem 2.1 Let C be a nonempty closed convex subset of a real Banach space E, and let ℑ:= { T ( t ) : t ≥ 0 } be a uniformly Lipschitzian with bounded measurable function L(t) : [0, ∞) → (0, ∞) and total asymptotically strict pseudocontractive semigroup as defined in (1.7), such that

L : = sup t ≥ 0 L ( t ) < ∞ , λ : = inf t ≥ 0 λ ( t ) > 0 , F : = ⋂ t ≥ 0 F ( T ( t ) ) ≠ ∅
(2.1)

There exist positive constants M and M* such that ϕ(λ) ≤ M*λ2 for all¸ λ ≥ M. Let {x n } be the sequence defined by (1.15), where {α n } is a sequence in (0, 1) and {t n } be an increasing sequence in [0, ∞). If the following conditions are satisfied:

  1. (1)

    ∑ n = 1 ∞ α n 2 < ∞ , ∑ n = 1 ∞ α n = ∞ , ∑ n = 1 ∞ α n μ n < ∞ , ∑ n = 1 ∞ α n ξ n < ∞ .

  2. (2)

    for any bounded subset D ⊂ C

    lim n → ∞ sup x ∈ D , s ∈ R + | | T n ( s + t n ) x - T n ( t n ) x | | = 0
    (2.2)
  3. (3)

    There exist a compact subset G of E such that ⋂ t ≥ 0 T ( t ) ( C ) ⊂ G .

Then the sequence {x n } converges strongly to a common fixed point of the semigroup ℑ:= { T ( t ) : t ≥ 0 } .

Proof The proof of Theorem 2.1 is divided into four steps:

Step 1. First we prove that lim n → ∞ | | x n - p | | exist for all p ∈ F.

For any p ∈ F, by (1.4) we have

|| T n ( t n ) x n -p||=|| T n ( t n ) x n - T n ( t n ) p||≤L ( t n ) || x n -p||≤L|| x n -p||
(2.3)

This follows from (1.15) and (2.3) that

| | x n + 1 - p | | = | | ( 1 - α n ) x n + α n T n ( t n ) x n - ( 1 - α n ) p - α n p | | ≤ ( 1 - α n ) | | x n - p | | + α n | | T n ( t n ) x n - p | | ≤ ( 1 - α n ) | | x n - p | | + α n L | | x n - p | | ≤ ( 1 + L ) | | x n - p | |
(2.4)

and

| | x n + 1 - x n | | = α n | | T n ( t n ) x n - x n | | ≤ α n ( | | T n ( t n ) x n - p | | + | | x n - p | | ) ≤ α n ( 1 + L ) | | x n - p | |
(2.5)

Since ℑ:= { T ( t ) : t ≥ 0 } is total asymptotically strict pseudocontractive semigroup with λ : = inf t ≥ 0 λ ( t ) > 0 , for the point x n +1 and p there exists j(x n +1 - p) ∈ J(x n +1 - p) such that

⟨ T n ( t n ) x n + 1 - x n + 1 , j ( x n + 1 - p ) ⟩ ≤ - λ | | T n ( t n ) x n + 1 - x n + 1 | | 2 + μ n ϕ ( | | x n + 1 - p | | ) + ξ n , ∀ n ≥ 1
(2.6)

Again since ϕ is an increasing function, it results that ϕ(λ) ≤ ϕ(M) if λ ≤ M and ϕ(λ) ≤ M*λ2, if λ ≤ M. In either case, we can obtain that

ϕ ( λ ) ≤ϕ ( M ) + M * λ 2
(2.7)

Thus, by Lemma 1.4, (2.4)-(2.7), we have

| | x n + 1 - p | | 2 ≤ | | x n - p + α n ( T n ( t n ) x n - x n ) | | 2 ≤ | | x n - p | | 2 + 2 α n ⟨ T n ( t n ) x n - x n , j ( x n + 1 - p ) ⟩ = | | x n - p | | 2 + 2 α n ⟨ T n ( t n ) x n - T n ( t n ) x n + 1 , j ( x n + 1 - p ) ⟩ + 2 α n ⟨ T n ( t n ) x n + 1 - x n + 1 , j ( x n + 1 - p ) ⟩ + 2 α n ⟨ x n + 1 - x n , j ( x n + 1 - p ) ⟩ ≤ | | x n - p | | 2 + 2 α n L | | x n + 1 - x n | | | | x n + 1 - p | | - 2 α n λ | | T n ( t n ) x n + 1 - x n + 1 | | 2 + 2 α n μ n ϕ ( | | x n + 1 - p | | ) + 2 α n ξ n + 2 α n | | x n + 1 - x n | | | | x n + 1 - p | | ≤ ( 1 + 2 α n 2 ( 1 + L ) 3 + 2 α n μ n M * ( 1 + L ) 2 ) | | x n - p | | 2 - 2 α n λ | | T n ( t n ) x n + 1 - x n + 1 | | 2 + 2 α n μ n ϕ ( M ) + 2 α n ξ n ≤ ( 1 + 2 α n 2 ( 1 + L ) 3 + 2 α n μ n M * ( 1 + L ) 2 ) | | x n - p | | 2 + 2 α n μ n ϕ ( M ) + 2 α n ξ n
(2.8)

By the condition (1), it follows from Lemma 1.3 that the limit lim n → ∞ | | x n - p | | exist and so the sequence {x n } is bounded in C.

Step 2. Now we prove that

lim inf n → ∞ | | x n - T n ( t n ) x n | | = 0
(2.9)

In fact, it follows from (2.8) that

| | x n + 1 - p | | 2 ≤ | | x n - p | | 2 - 2 α n λ | | T n ( t n ) x n + 1 - x n + 1 | | 2 + ( 2 α n 2 ( 1 + L ) 3 + 2 α n μ n M * ( 1 + L ) 2 ) | | x n - p | | 2 + 2 α n μ n ϕ ( M ) + 2 α n ξ n
(2.10)

This implies that

2 α n λ | | T n ( t n ) x n + 1 - x n + 1 | | 2 ≤ | | x n - p | | 2 - | | x n + 1 - p | | 2 + 2 α n 2 ( 1 + L ) 3 K 2 + ( 2 M * ( 1 + L ) 2 K 2 + 2 ϕ ( M ) ) α n μ n + 2 α n ξ n
(2.11)

Where K = sup n ≥ 1 | | x n - p | | . Hence, for some m ≥ 1,

2 λ ∑ n = 1 m α n | | T n ( t n ) x n + 1 - x n + 1 | | 2 ≤ ∑ n = 1 m ( | | x n - p | | 2 - | | x n + 1 - p | | 2 ) + 2 ( 1 + L ) 3 K 2 ∑ n = 1 m α n 2 + ( 2 M * ( 1 + L ) 2 K 2 + 2 ϕ ( M ) ) ∑ n = 1 m α n μ n + 2 ∑ n = 1 m α n ξ n ≤ | | x 1 - p | | 2 + 2 ( 1 + L ) 3 K 2 ∑ n = 1 m α n 2 + ( 2 M * ( 1 + L ) 2 K 2 + 2 ϕ ( M ) ) ∑ n = 1 m α n μ n + 2 ∑ n = 1 m α n ξ n
(2.12)

Letting m → ∞, we have

2 λ ∑ n = 1 ∞ α n | | T n ( t n ) x n + 1 - x n + 1 | | 2 ≤ | | x 1 - p | | 2 + 2 ( 1 + L ) 3 K 2 ∑ n = 1 ∞ α n 2 + ( 2 M * ( 1 + L ) 2 K 2 + 2 ϕ ( M ) ) ∑ n = 1 ∞ α n μ n + 2 ∑ n = 1 ∞ α n ξ n
(2.13)

By the condition (1), we obtain

∑ n = 1 ∞ α n | | T n ( t n ) x n + 1 - x n + 1 | | 2 < ∞
(2.14)

Which implies

lim inf n → ∞ | | x n + 1 - T n ( t n ) x n + 1 | | = 0
(2.15)

Since lim n → ∞ | | x n - p | | exist for all p ∈ F and lim n → ∞ α n = 0 , using (2.5), we have

lim n → ∞ | | x n + 1 - x n | | = 0
(2.16)

it follows from (2.15) and (2.16) that

lim inf n → ∞ | | x n - T n ( t n ) x n | | ≤ lim inf n → ∞ { | | x n - x n + 1 | | + | | x n + 1 - T n ( t n ) x n + 1 | | + | | T n ( t n ) x n + 1 - T n ( t n ) x n | | } ≤ lim inf n → ∞ { ( 1 + L ) | | x n - x n + 1 | | + | | x n + 1 - T n ( t n ) x n + 1 | | } = 0
(2.17)

Therefore the conclusion (2.9) is proved.

Step 3. Now we prove that

lim inf n → ∞ | | x n - T ( t n ) x n | | = 0
(2.18)

Letting d n = | | x n - T n ( t n ) x n | | , it follows from (1.4) that

| | x n + 1 - T ( t n + 1 ) x n + 1 | | ≤ | | x n + 1 - T n + 1 ( t n + 1 ) x n + 1 | | + | | T n + 1 ( t n + 1 ) x n + 1 - T ( t n + 1 ) x n + 1 | | ≤ d n + 1 + L | | T n ( t n + 1 ) x n + 1 - x n + 1 | | ≤ d n + 1 + L { | | T n ( t n + 1 ) x n + 1 - T n ( t n ) x n + 1 | | + | | T n ( t n ) x n + 1 - T n ( t n ) x n | | + | | T n ( t n ) x n - x n | | + | | x n - x n + 1 | | } ≤ d n + 1 + L d n + L ( 1 + L ) | | x n + 1 - x n | | + L | | T n ( ( t n + 1 - t n ) + t n ) x n + 1 - T n ( t n ) x n + 1 | | ≤ d n + 1 + L d n + L ( 1 + L ) | | x n + 1 - x n | | + L sup z ∈ { x n } , s ∈ R + | | T n ( s + t n ) z - T n ( t n ) z | |
(2.19)

By the condition (2), (2.9), and (2.16), we have

lim inf n → ∞ | | x n + 1 - T ( t n + 1 ) x n + 1 | | ≤ lim inf n → ∞ { d n + 1 + L d n + L ( 1 + L ) | | x n + 1 - x n | | + L sup z ∈ { x n } , s ∈ R + | | T n ( s + t n ) z - T n ( t n ) z | | } = 0
(2.20)

Therefore the conclusion (2.18) is proved.

Step 4. Finally we prove the sequence {x n } converges strongly to a common fixed point of the semigroup ℑ:= { T ( t ) : t ≥ 0 } .

By (2.9) and (2.18), we have

lim inf n → ∞ | | x n - T n ( t n ) x n | | = 0 , lim inf n → ∞ | | x n - T ( t n ) x n | | = 0

Again by the condition (3), there exists a compact subset G of E such that ⋂ t ≥ 0 T ( t ) ( C ) ⊂ G and so there exists subsequence { x n i } of {x n }, for some point q ∈ G such that

lim i → ∞ T ( t n i ) x n i = q , lim i → ∞ | | x n i - T ( t n i ) x n i | | = 0
(2.21)

and

lim i → ∞ | | x n i - T n i ( t n i ) x n i | | = 0
(2.22)

Hence it follows from (2.21) that x n i →q as i → ∞.

Next, we prove that

lim i → ∞ | | x n i - T n i ( t ) x n i | | = 0 ,
(2.23)

for all t ≥ 0. In fact, it follows from the condition (2) and (2.22) that, for any t ≥ 0

| | x n i - T n i ( t ) x n i | | ≤ | | x n i - T n i ( t n i ) x n i | | + | | T n i ( t + t n i ) x n i - T n i ( t n i ) x n i | | + | | T n i ( t ) x n i - T n i ( t + t n i ) x n i | | ≤ ( 1 + L ) | | x n i - T n i ( t n i ) x n i | | + | | T n i ( t + t n i ) x n i - T n i ( t n i ) x n i | | ≤ ( 1 + L ) | | x n i - T n i ( t n i ) x n i | | + sup z ∈ { x n } , s ∈ R + | | T n i ( s + t n i ) z - T n i ( t n i ) z | | → 0
(2.24)

as i → ∞. Letting e n i =|| x n i - T n i ( t ) x n i ||, it follows from (2.16) and (2.23) that

| | x n i - T ( t ) x n i | | ≤ | | x n i - T n i ( t ) x n i | | + | | T n i ( t ) x n i - T ( t ) x n i | | ≤ e n i + L | | T n i - 1 ( t ) x n i - x n i | | ≤ e n i + L ( | | x n i - x n i - 1 | | + | | x n i - 1 - T n i - 1 ( t ) x n i - 1 | | + | | T n i - 1 ( t ) x n i - 1 - T n i - 1 ( t ) x n i | | ) ≤ e n i + L ( | | x n i - x n i - 1 | | + e n i - 1 + L | | x n i - 1 - x n i | | ) ≤ e n i + L ( 1 + L ) | | x n i - x n i - 1 | | + L e n i - 1 → 0
(2.25)

as i → ∞. Since x n i →q as i → ∞ and the semigroup ℑ:= { T ( t ) : t ≥ 0 } is Lipschitzian, it follows from (2.25) that q = T (t)q for all t ≥ 0, that is

q ∈ F : = ⋂ t ≥ 0 F ( T ( t ) )
(2.26)

Since x n i →q as i → ∞ and the limit lim n → ∞ | | x n - q | | exist, which implies that x n i →q∈F as n → ∞. This completes the proof.

The following theorem can be obtained from Theorem 2.1 immediately.

Theorem 2.2 Let C be a nonempty closed convex subset of a real Banach space E, and let ℑ:= { T ( t ) : t ≥ 0 } be a uniformly Lipschitzian with bounded measurable function L(t) : [0, ∞) → (0, ∞) and asymptotically strict pseudocontractive semigroup as defined in (1.8), such that

L:= sup t ≥ 0 L ( t ) <∞,λ:= inf t ≥ 0 λ ( t ) >0,F:= ⋂ t ≥ 0 F ( T ( t ) ) ≠∅

Let {x n } be the sequence defined by (1.15), where {α n } is a sequence in (0, 1) and {t n } be an increasing sequence in [0, ∞). If the following conditions are satisfied:

  1. (1)

    ∑ n = 1 ∞ α n 2 < ∞ , ∑ n = 1 ∞ α n = ∞ , ∑ n = 1 ∞ α n ( k n - 1 ) < ∞ .

  2. (2)

    for any bounded subset D ⊂ C

    lim n → ∞ sup x ∈ D , s ∈ R + || T n ( s + t n ) x- T n ( t n ) x||=0
  3. (3)

    There exist a compact subset G of E such that ⋂ t ≥ 0 T ( t ) ( C ) ⊂ G .

Then the sequence {x n } converges strongly to a common fixed point of the semigroup ℑ:= { T ( t ) : t ≥ 0 } .

Proof Taking ϕ(λ) = λ2, ξ n = 0, µ n = k n - 1 in Theorem 2.1, Since all conditions in Theorem 2.1 are satisfied. It follows from Theorem 2.1 that the sequence x n → q ∈ F : = ⋂ t ≥ 0 F ( T ( t ) ) as n → ∞. This completes the proof of Theorem 2.2.

The following theorem can be obtained from Theorem 2.2 immediately.

Theorem 2.3 Let C be a nonempty closed convex subset of a real Banach space E, and let ℑ:= { T ( t ) : t ≥ 0 } be a uniformly Lipschitzian with bounded measurable function L(t) : [0, ∞) → (0, ∞) and asymptotically demicontractive semigroup as defined in (1.9), such that

L:= sup t ≥ 0 L ( t ) <∞,λ:= inf t ≥ 0 λ ( t ) >0,F:= ⋂ t ≥ 0 F ( T ( t ) ) ≠∅

Let {x n } be the sequence defined by (1.15), where {α n } is a sequence in (0, 1) and {t n } be an increasing sequence in [0, ∞). If the following conditions are satisfied:

  1. (1)

    ∑ n = 1 ∞ α n 2 < ∞ , ∑ n = 1 ∞ α n = ∞ , ∑ n = 1 ∞ α n ( k n - 1 ) < ∞ .

  2. (2)

    for any bounded subset D ⊂ C

    lim n → ∞ sup x ∈ D , s ∈ R + || T n ( s + t n ) x- T n ( t n ) x||=0
  3. (3)

    There exist a compact subset G of E such that ⋂ t ≥ 0 T ( t ) ( C ) ⊂ G .

Then the sequence {x n } converges strongly to a common fixed point of the semigroup ℑ:= { T ( t ) : t ≥ 0 } .

Proof Taking y ∈ F (T (t)), for any t ≥ 0 in Theorem 2.2, Since all conditions in Theorem 2.2 are satisfied. It follows from Theorem 2.2 that the sequence x n → q ∈ F : = ⋂ t ≥ 0 F ( T ( t ) ) as n → ∞. This completes the proof of Theorem 2.3.

Remark 2.4 Theorem 2.3 extend and improved the corresponding results of Chang et al. [11], Shioji and Takahashi [1], Suzuki [2], Xu [3], Aleyner and Reich [4] and others.

References

  1. Shioji N, Takahashi W: Strong convergence theorems for asymptotically nonexpansive mappings in Hilbert spaces. Nonlinear Anal 1998, 34(1):87–99. 10.1016/S0362-546X(97)00682-2

    Article  MathSciNet  Google Scholar 

  2. Suzuki T: On strong convergence to a common fixed point of nonexpansive semigroups in Hilbert spaces. Proc Am Math Soc 2003, 131(7):2133–2136. 10.1090/S0002-9939-02-06844-2

    Article  Google Scholar 

  3. Xu HK: Strong convergence theorem for contraction semigroups in Banach spaces. Bull Aust Math Soc 2005, 72(3):371–379. 10.1017/S000497270003519X

    Article  Google Scholar 

  4. Aleyner A, Reich S: An explicit construction of sunny nonexpansive retractions in Banach spaces. Fixed Point Theory Appl 2005, 3: 295–305.

    MathSciNet  Google Scholar 

  5. Zhang SS, Yang L, Liu JA: Strong convergence theorem for nonexpansive semigroups in Banach spaces. Appl Math Mech 2007, 28(10):1287–1297. 10.1007/s10483-007-1002-x

    Article  MathSciNet  Google Scholar 

  6. Li S, Li LH, Su F: General iteration methods for a one-parameter nonexpansive semigroups in Hilbert spaces. Nonlinear Anal 2009, 70(9):3065–3071. 10.1016/j.na.2008.04.007

    Article  MathSciNet  Google Scholar 

  7. Zhang SS, Yang L, Joseph Lee HW, Chan CK: Strong convergence theorem for nonexpansive semigroups in Hilbert spaces. Acta Math Sinica 2009, 52(2):337–342.

    MathSciNet  Google Scholar 

  8. Suzuki T: Fixed point property for nonexpansive mappings versus that for nonexpansive semigroups. Nonlinear Anal 2009, 70: 3358–3361. 10.1016/j.na.2008.05.003

    Article  MathSciNet  Google Scholar 

  9. Zhang SS: Convergence theorem of common fixed points for Lipshitzian pseudocontraction semigroups in Banach spaces. Appl Math Mech 2009, 30: 145–152.

    Article  Google Scholar 

  10. Chang SS, Chan CK, Joseph Lee HW, Yang L: A system of mixed equilibrium problems, fixed point problems of strictly pseudocontractive mappings and nonexpansive semigroups. Appl Math Comput 2010, 216(1):51–60. 10.1016/j.amc.2009.12.060

    Article  MathSciNet  Google Scholar 

  11. Chang SS, Cho YJ, Joseph. Lee HW, Chan CK: Strong convergence theorems for Lipschitzian demicontraction semigroups in Banach spaces. Fixed Point Theory Appl 2011. doi:10.1155/2011/583423

    Google Scholar 

  12. Xu HK: Inequalities in Banach spaces with applications. Nonlinear Anal 1991, 16(12):1127–1138. 10.1016/0362-546X(91)90200-K

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was supported by the Natural Science Foundation of Sichuan Province (No. 08ZA008).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Li Yang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

All authors have 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

Yang, L., Zhao, F.H. Large strong convergence theorems for total asymptotically strict pseudocontractive semigroup in banach spaces. Fixed Point Theory Appl 2012, 24 (2012). https://doi.org/10.1186/1687-1812-2012-24

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords