Open Access

An algorithm for treating asymptotically strict pseudocontractions and monotone operators

Fixed Point Theory and Applications20142014:52

https://doi.org/10.1186/1687-1812-2014-52

Received: 16 December 2013

Accepted: 13 February 2014

Published: 27 February 2014

Abstract

In this paper, an algorithm for treating asymptotically κ-strict pseudocontractions and monotone operators is proposed. Convergence analysis of the algorithm is investigated in the framework of Hilbert spaces.

Keywords

asymptotically κ-strict pseudocontraction inverse-strongly monotone mapping maximal monotone operator fixed point

1 Introduction-preliminaries

In this paper, we are concerned with the problem of finding a common element in the intersection F ( T ) ( A + B ) 1 ( 0 ) , where F ( T ) denotes the fixed point set of the mapping T and ( A + B ) 1 ( 0 ) denotes the zero point set of the sum of the operator A and the operator B.

The motivation for the common element problem is mainly due to its possible applications to mathematical modeling of concrete complex problems. The common element problems include mini-max problems, complementarity problems, equilibrium problems, common fixed point problems and variational inequalities as special cases; see, for example, [135] and the references therein.

Throughout the article, we always assume that H is a real Hilbert space with the inner product , and the norm , respectively. Let C be a nonempty closed convex subset of H, and let Proj C be the metric projection from H onto C.

Let A : C H be a mapping. A 1 ( 0 ) stands for the zero point set of A; that is, A 1 ( 0 ) : = { x C : A x = 0 } . Recall that A is said to be monotone iff
A x A y , x y 0 , x , y C .
A is said to be α-strongly monotone iff there exists a constant α > 0 such that
A x A y , x y α x y 2 , x , y C .
A is said to be α-inverse-strongly monotone iff there exists a constant α > 0 such that
A x A y , x y α A x A y 2 , x , y C .
It is not hard to see that α-inverse-strongly monotone mappings are Lipschitz continuous. Indeed, we have
α A x A y 2 A x A y , x y A x A y x y .

This shows that A x A y 1 α x y .

Recall that the classical variational inequality, denoted by V I ( C , A ) , is to find u C such that
A u , v u 0 , v C .
(1.1)

One can see that the variational inequality (1.1) is equivalent to a fixed point problem of the mapping Proj C ( I r A ) , where I is the identity and r is some positive real number. The element u C is a solution of the variational inequality (1.1) iff u C satisfies the equation u = P C ( u r A u ) . This alternative equivalent formulation has played a significant role in the studies of variational inequalities and related optimization problems.

A multivalued operator B : H 2 H with the domain D ( B ) = { x H : B x } and the range R ( B ) = { B x : x D ( B ) } is said to be monotone if for x 1 D ( B ) , x 2 D ( B ) , y 1 B x 1 and y 2 B x 2 , we have x 1 x 2 , y 1 y 2 0 . A monotone operator B is said to be maximal if its graph G ( B ) = { ( x , y ) : y B x } is not properly contained in the graph of any other monotone operator. Let I denote the identity operator on H and B : H 2 H be a maximal monotone operator. Then we can define, for each r > 0 , a nonexpansive single-valued mapping J r : H H by J r = ( I + r B ) 1 . It is called the resolvent of B. We know that B 1 0 = F ( J r ) for all r > 0 and J r is firmly nonexpansive.

Let T : C C be a mapping. In this paper, we use F ( T ) to denote the fixed point set of T; that is, F ( T ) : = { x C : x = T x } . Recall that T is said to be nonexpansive iff
T x T y x y , x , y C .
T is said to be asymptotically nonexpansive iff there exists a sequence { k n } [ 1 , ) such that
T n x T n y k n x y , x , y C , n 1 .
T is said to be a κ-strict pseudocontraction iff there exists a constant κ [ 0 , 1 ) such that
T x T y 2 x y 2 + κ ( x T x ) ( y T y ) 2 , x , y C .
Note that the class of κ-strict pseudocontractions strictly includes the class of nonexpansive mappings as a special case. That is, T is nonexpansive iff the coefficient κ = 0 . T is said to be an asymptotically κ-strict pseudocontraction iff there exist a constant κ [ 0 , 1 ) and a sequence { k n } in [ 1 , ) such that
T n x T n y 2 k n x y 2 + κ ( x T n x ) ( y T n y ) 2 , x , y C , n 1 .

Note that the class of asymptotically κ-strict pseudocontractions strictly includes the class of asymptotically nonexpansive mappings as a special case. That is, T is asymptotically nonexpansive iff the coefficient κ = 0 .

In [24], Kamimura and Takahashi investigated the problem of finding zero points of a maximal monotone operator based on the following iterative algorithm:
x 1 H , x n + 1 = α n x + ( 1 α n ) J r n x n , n 1 ,
(1.2)

where { α n } is a sequence in ( 0 , 1 ) , { r n } is a positive real number sequence, B : H 2 H is maximal monotone and J r n = ( I + r n B ) 1 . It is proved that the sequence { x n } generated in (1.2) converges strongly to some z B 1 ( 0 ) provided that the control sequence satisfies some restrictions. Further, using this result, they also investigated the case that B = f , where f : H ( , ] is a proper lower semicontinuous convex function. Convergence theorems are established in the framework of real Hilbert spaces; for more details, see [24].

Recently, Takahashi et al. studied zero point problems of the sum of two monotone mappings and fixed point problems of a nonexpansive mapping based on the following iterative algorithm:
{ x 1 C , y n = α n x + ( 1 α n ) J r n ( x n r n A x n ) , x n + 1 = β n x n + ( 1 β n ) T y n , n 1 ,
(1.3)

where { α n } and { β n } are real number sequences in ( 0 , 1 ) , { r n } is a positive sequence, T : C C is a nonexpansive mapping and A : C H is an inverse-strongly monotone mapping. It is proved that the sequence { x n } generated in (1.3) converges strongly to some z ( A + B ) 1 ( 0 ) F ( S ) provided that the control sequence satisfies some restrictions; for more details, see [2].

Motivated by the above results, we investigate fixed point problems of asymptotically strict pseudocontractions and zero point problems of the sum of two monotone mappings.

In order to state our main results, we need the following tools.

Recall that a space is said to satisfy Opial’s condition [36] if, for any sequence { x n } H with x n x , where denotes the weak convergence, the inequality
lim inf n x n x < lim inf n x n y
holds for every y H with y x . Indeed, the above inequality is equivalent to the following:
lim sup n x n x < lim sup n x n y .

Lemma 1.1 [2]

Let { x n } and { y n } be bounded sequences in a Banach space X, and let β n be a sequence in [ 0 , 1 ] with 0 < lim inf n β n lim sup n β n < 1 . Suppose that x n + 1 = ( 1 β n ) y n + β n x n for all integers n 0 and
lim sup n ( y n + 1 y n x n + 1 x n ) 0 .

Then lim n y n x n = 0 .

Lemma 1.2 [37]

Let C be a nonempty, closed and convex subset of H, let A : C H be a mapping, and let B : H H be a maximal monotone operator. Then F ( J r ( I r A ) ) = ( A + B ) 1 ( 0 ) .

Lemma 1.3 [38]

Assume that { α n } is a sequence of nonnegative real numbers such that
α n + 1 ( 1 γ n ) α n + δ n ,
where { γ n } is a sequence in ( 0 , 1 ) and { δ n } is a sequence such that
  1. (i)

    n = 1 γ n = ;

     
  2. (ii)

    lim sup n δ n / γ n 0 or n = 1 | δ n | < .

     

Then lim n α n = 0 .

Lemma 1.4 [39]

Let C be a nonempty, closed and convex subset of H. Let T : C C be an asymptotically strict pseudocontraction. Then T is Lipschitz continuous and I T is demiclosed at zero.

2 Main results

Theorem 2.1 Let C be a nonempty closed convex subset of H. Let T : C C be an asymptotically κ-strict pseudocontraction. Let A : C H be an α-inverse-strongly monotone mapping, and let B be a maximal monotone operator on H. Assume that F ( T ) ( A + B ) 1 ( 0 ) . Let { α n } , { β n } and { γ n } be real number sequences in ( 0 , 1 ) . Let J r n = ( I + r n B ) 1 , where { r n } is a positive real number sequence. Let { x n } be a sequence in C generated by: x 1 C is chosen arbitrarily and
{ z n = Proj C ( α n u + ( 1 α n ) J r n ( x n r n A x n ) ) , x n + 1 = β n x n + ( 1 β n ) ( γ n z n + ( 1 γ n ) T n z n ) , n 1 .
Assume that the sequences { α n } , { β n } , { γ n } and { r n } satisfy the following restrictions:
  1. (a)

    0 < a r n b < 2 α , lim n | r n + 1 r n | = 0 ;

     
  2. (b)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (c)

    0 < c β n d < 1 ;

     
  4. (d)

    κ γ n e < 1 , lim n | γ n + 1 γ n | = 0 ,

     

where a, b, c, d and e are some real numbers. If T is asymptotically regular, then the sequence { x n } converges strongly to some point x ¯ , where x ¯ = P F ( T ) ( A + B ) 1 ( 0 ) u .

Proof First, we show that the mapping I r n A is nonexpansive. Indeed, we have
( I r n A ) x ( I r n A ) y 2 = x y 2 2 r n x y , A x A y + r n 2 A x A y 2 x y 2 r n ( 2 α r n ) A x A y 2 .
It follows from Restriction (a) that I r n A is nonexpansive. Put y n = γ n z n + ( 1 γ n ) T n z n and fix p F ( T ) ( A + B ) 1 ( 0 ) . It follows from Lemma 1.2 that
z n p = Proj C ( α n u + ( 1 α n ) J r n ( x n r n A x n ) ) p α n u p + ( 1 α n ) J r n ( x n r n A x n ) p α n u p + ( 1 α n ) x n p .
(2.1)
In view of Restriction (d), we find that
y n p 2 γ n ( z n p ) + ( 1 γ n ) ( T n z n T n p ) 2 = γ n z n p 2 + ( 1 γ n ) T n z n T n p 2 γ n ( 1 γ n ) ( z n p ) ( T n z n T n p ) 2 γ n z n p 2 + ( 1 γ n ) ( z n p 2 + κ ( z n p ) ( T n z n T n p ) 2 ) γ n ( 1 γ n ) ( z n p ) ( T n z n T n p ) 2 = z n p 2 ( 1 γ n ) ( γ n κ ) ( z n p ) ( T n z n T n p ) 2 z n p 2 .
(2.2)
Substituting (2.1) into (2.2), we obtain that
x n + 1 p β n x n p + ( 1 β n ) y n p β n x n p + ( 1 β n ) ( α n u p + ( 1 α n ) x n p ) ( 1 α n ( 1 β n ) ) x n p + α n ( 1 β n ) u p .
Putting M = max { x 1 p , u p } , we find that x n p M for all n 1 . Indeed, it is clear that x 1 p M . Suppose that x m p M for some positive integer m. It follows that
x m + 1 p ( 1 α m ( 1 β m ) ) x m p + α m ( 1 β m ) u p ( 1 α m ( 1 β m ) ) M + α m ( 1 β n ) M = M .
This finds that { x n } is bounded. Putting ρ n = J r n ( x n r n A x n ) , we find that
ρ n + 1 ρ n J r n + 1 ( x n + 1 r n + 1 A x n + 1 ) J r n + 1 ( x n r n A x n ) + J r n + 1 ( x n r n A x n ) J r n ( x n r n A x n ) ( x n + 1 r n + 1 A x n + 1 ) ( x n r n A x n ) + J r n + 1 ( x n r n A x n ) J r n ( x n r n A x n ) x n + 1 x n + | r n + 1 r n | A x n + J r n + 1 ( x n r n A x n ) J r n ( x n r n A x n ) .
(2.3)
On the other hand, we have
z n + 1 z n ( α n + 1 u + ( 1 α n + 1 ) ρ n + 1 ) ( α n u + ( 1 α n ) ρ n ) ( 1 α n + 1 ) ρ n + 1 ρ n + | α n + 1 α n | ρ n u .
(2.4)
Substituting (2.3) into (2.4), we find that
z n + 1 z n ( α n + 1 u + ( 1 α n + 1 ) ρ n + 1 ) ( α n u + ( 1 α n ) ρ n ) ( 1 α n + 1 ) x n + 1 x n + | r n + 1 r n | A x n + | α n + 1 α n | ρ n u + ( 1 α n + 1 ) J r n + 1 ( x n r n A x n ) J r n ( x n r n A x n ) .
(2.5)
Put ξ n = x n r n A x n . Since B is monotone, we find that
J r n + 1 ξ n J r n ξ n , ξ n J r n + 1 ξ n r n + 1 ξ n J r n ξ n r n 0 .
It follows that J r n + 1 ξ n J r n ξ n , ( 1 r n + 1 r n ) ( ξ n J r n ξ n ) J r n + 1 ξ n J r n ξ n 2 . This yields that | r n + 1 r n | ξ n J r n ξ n r n J r n + 1 ξ n J r n ξ n . This combines with (2.5) to yield that
z n + 1 z n ( 1 α n + 1 ) x n + 1 x n + | r n + 1 r n | A x n + | α n + 1 α n | ρ n u + | r n + 1 r n | r n ξ n J r n ξ n .
(2.6)
On the other hand, we have
y n + 1 y n γ n + 1 z n + 1 z n + | γ n + 1 γ n | z n T n z n + ( 1 γ n + 1 ) T n + 1 z n + 1 T n z n .
(2.7)
Substituting (2.6) into (2.7), we find that
y n + 1 y n x n + 1 x n | r n + 1 r n | A x n + | α n + 1 α n | ρ n u + | r n + 1 r n | r n ξ n J r n ξ n + | γ n + 1 γ n | z n T n z n + ( 1 γ n + 1 ) T n + 1 z n + 1 T n z n .
It follows from Restrictions (a), (c) and (d) that
lim sup n ( y n + 1 y n x n + 1 x n ) 0 .
It follows from Lemma 1.1 that lim n y n x n = 0 . Since x n + 1 x n = ( 1 β n ) ( y n x n ) , we find that lim n x n + 1 x n = 0 . Notice that
J r n ( I r n A ) x n J r n ( I r n A ) p 2 = ( x n p ) r n ( A x n A p ) 2 = x n p 2 2 r n x n p , A x n A p + r n 2 A x n A p 2 x n p 2 r n ( 2 α r n ) A x n A p 2 .
(2.8)
Since the norm is convex, we see from (2.2) and (2.8) that
x n + 1 p 2 β n x n p 2 + ( 1 β n ) y n p 2 β n x n p 2 + ( 1 β n ) z n p 2 β n x n p 2 + ( 1 β n ) α n ( u p ) + ( 1 α n ) ( J r n ( x n r n A x n ) p ) 2 β n x n p 2 + α n ( 1 β n ) u p 2 + ( 1 α n ) ( 1 β n ) J r n ( x n r n A x n ) p 2 x n p 2 + α n u p 2 r n ( 2 α r n ) ( 1 α n ) ( 1 β n ) A x n A p 2 .
(2.9)
This yields that
r n ( 2 α r n ) ( 1 α n ) ( 1 β n ) A x n A p 2 x n p 2 + α n u p 2 x n + 1 p 2 ( x n p + x n + 1 p ) x n + 1 x n + α n u p 2 .
In view of Restrictions (a), (b) and (c), we obtain that
lim n A x n A p = 0 .
(2.10)
Notice that
ρ n p 2 = J r n ( x n r n A x n ) J r n ( p r n A p ) 2 ( x n r n A x n ) ( p r n A p ) , ρ n p = 1 2 ( ( x n r n A x n ) ( p r n A p ) 2 + ρ n p 2 ( x n r n A x n ) ( p r n A p ) ( ρ n p ) 2 ) 1 2 ( x n p 2 + ρ n p 2 x n ρ n r n ( A x n A p ) 2 ) 1 2 ( x n p 2 + ρ n p 2 x n ρ n 2 r n 2 A x n A p 2 + 2 r n x n ρ n A x n A p ) 1 2 ( x n p 2 + ρ n p 2 x n ρ n 2 + 2 r n x n ρ n A x n A p ) .
It follows that
ρ n p 2 x n p 2 x n ρ n 2 + 2 r n x n ρ n A x n A p .
(2.11)
This yields that
z n p 2 α n u p 2 + ( 1 α n ) ρ n p 2 α n u p 2 + x n p 2 ( 1 α n ) x n ρ n 2 + 2 r n x n ρ n A x n A p .
It follows from (2.2) that
x n + 1 p 2 β n x n p 2 + ( 1 β n ) y n p 2 β n x n p 2 + ( 1 β n ) z n p 2 x n p 2 + α n u p 2 ( 1 α n ) ( 1 β n ) x n ρ n 2 + 2 r n ( 1 β n ) x n ρ n A x n A p .
We therefore obtain that
( 1 α n ) ( 1 β n ) x n ρ n 2 x n p 2 + α n u p 2 x n + 1 p 2 + 2 r n ( 1 β n ) x n ρ n A x n A p ( x n p + x n + 1 p ) x n x n + 1 + α n u p 2 + 2 r n ( 1 β n ) x n ρ n A x n A p .
In view of Restrictions (a), (b) and (c), we find from (2.10) that
lim n x n ρ n = 0 .
(2.12)
Next, we show that lim sup n u x ¯ , ρ n x ¯ 0 , where x ¯ = P F ( T ) ( A + B ) 1 ( 0 ) u . To show it, we can choose a subsequence { ρ n i } of { ρ n } such that
lim sup n u x ¯ , ρ n x ¯ = lim i u x ¯ , ρ n i x ¯ .
Since ρ n i is bounded, we can choose a subsequence { ρ n i j } of { ρ n i } which converges weakly to some point x. We may assume, without loss of generality, that ρ n i converges weakly to x. Since ρ n = J r n ( x n r n A x n ) , we find that x n ρ n r n A x n B ρ n . Since B is monotone, we get, for any ( μ , ν ) B , that ρ n μ , x n ρ n r n A x n ν 0 . Replacing n by n i and letting i , we obtain from (2.12) that x μ , A x ν 0 . This means A x B x , that is, 0 ( A + B ) ( x ) . Hence we get x ( A + B ) 1 ( 0 ) . Next, we show that x F ( T ) . Notice that
z n x n Proj C ( α n u + ( 1 α n ) J r n ( x n r n A x n ) ) x n α n u x n + ( 1 α n ) J r n ( x n r n A x n ) x n .
In view of Restriction (a), we find from (2.12) that lim n z n x n = 0 . Note that
( γ n x n + ( 1 γ n ) T n x n ) x n ( γ n x n + ( 1 γ n ) T n x n ) ( γ n z n + ( 1 γ n ) T n z n ) + ( γ n z n + ( 1 γ n ) T n z n ) x n γ n x n z n + ( 1 γ n ) T n x n T n z n + ( γ n z n + ( 1 γ n ) T n z n ) x n L x n z n + y n x n .
It follows from (2.8) that
lim n ( γ n x n + ( 1 γ n ) T n x n ) x n = 0 .
(2.13)
Note that
T n x n x n T n x n ( γ n x n + ( 1 γ n ) T n x n ) + ( γ n x n + ( 1 γ n ) T n x n ) x n γ n T n x n x n + ( γ n x n + ( 1 γ n ) T n x n ) x n .
It follows that ( 1 γ n ) T n x n x n ( γ n x n + ( 1 γ n ) T n x n ) x n . This implies from Restriction (d) and (2.13) that lim n T n x n x n = 0 . Since T is uniformly L-Lipschitz continuous, we can obtain that lim n T x n x n = 0 . In view of Lemma 1.4, we find that x F ( T ) . This implies that
lim sup n u x ¯ , ρ n x ¯ = u x ¯ , x x ¯ 0 .
On the other hand, we have
x n + 1 x ¯ 2 β n x n x ¯ 2 + ( 1 β n ) y n x ¯ 2 β n x n x 2 + ( 1 β n ) z n x ¯ 2 β n x n x 2 + ( 1 β n ) α n ( u n x ¯ ) + ( 1 α n ) ( ρ n x ¯ ) 2 β n x n x 2 + ( 1 α n ) 2 ( 1 β n ) ρ n x 2 + 2 α n ( 1 β n ) u x ¯ , ρ n x ( 1 α n ( 1 β n ) ) x n x ¯ 2 + 2 α n ( 1 β n ) u x ¯ , ρ n x ¯ .

From Lemma 1.3, we find that lim n x n x ¯ = 0 . This completes the proof. □

If T is asymptotically nonexpansive, then we find the following result.

Corollary 2.2 Let C be a nonempty closed convex subset of H. Let T : C C be an asymptotically nonexpansive mapping. Let A : C H be an α-inverse-strongly monotone mapping, and let B be a maximal monotone operator on H. Assume that F ( T ) ( A + B ) 1 ( 0 ) . Let { α n } and { β n } be real number sequences in ( 0 , 1 ) . Let J r n = ( I + r n B ) 1 , where { r n } is a positive real number sequence. Let { x n } be a sequence in C generated by: x 1 C is chosen arbitrarily and
{ z n = P C ( α n u + ( 1 α n ) J r n ( x n r n A x n ) ) , x n + 1 = β n x n + ( 1 β n ) T n z n , n 1 .
Assume that the sequences { α n } , { γ n } and { r n } satisfy the following restrictions:
  1. (a)

    0 < a r n b < 2 α , lim n | r n + 1 r n | = 0 ;

     
  2. (b)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (c)

    0 < c β n d < 1 ,

     

where a, b, c and d are some real numbers. If T is asymptotically regular, then the sequence { x n } converges strongly to some point x ¯ , where x ¯ = P F ( T ) ( A + B ) 1 ( 0 ) u .

3 Applications

In this section, we shall consider equilibrium problems and variational inequalities.

Let F be a bifunction of C × C into , where denotes the set of real numbers. Recall the following equilibrium problem:
Find  x C  such that  F ( x , y ) 0 , y C .

In this work, we use E P ( F ) to denote the solution set of the equilibrium problem.

To study the equilibrium problems, we may assume that F satisfies the following conditions:

(A1) F ( x , x ) = 0 for all x C ;

(A2) F is monotone, i.e., F ( x , y ) + F ( y , x ) 0 for all x , y C ;

(A3) for each x , y , z C ,
lim sup t 0 F ( t z + ( 1 t ) x , y ) F ( x , y ) ;

(A4) for each x C , y F ( x , y ) is convex and weakly lower semi-continuous.

Putting F ( x , y ) = A x , y x for every x , y C , we see that the equilibrium problem is reduced to the variational inequality (1.1).

The following lemma can be found in [40].

Lemma 3.1 Let C be a nonempty closed convex subset of H, and let F : C × C R be a bifunction satisfying (A1)-(A4). Then, for any r > 0 and x H , there exists z C such that
F ( z , y ) + 1 r y z , z x 0 , y C .
Further, define
T r x = { z C : F ( z , y ) + 1 r y z , z x 0 , y C }
(3.1)
for all r > 0 and x H . Then the following hold:
  1. (a)

    T r is single-valued;

     
  2. (b)
    T r is firmly nonexpansive, i.e., for any x , y H ,
    T r x T r y 2 T r x T r y , x y ;
     
  3. (c)

    F ( T r ) = E P ( F ) ;

     
  4. (d)

    E P ( F ) is closed and convex.

     

Lemma 3.2 [2]

Let C be a nonempty closed convex subset of a real Hilbert space H, let F be a bifunction from C × C to which satisfies (A1)-(A4), and let A F be a multivalued mapping of H into itself defined by
A F x = { { z H : F ( x , y ) y x , z , y C } , x C , , x C .
(3.2)
Then A F is a maximal monotone operator with the domain D ( A F ) C , E P ( F ) = A F 1 ( 0 ) and
T r x = ( I + r A F ) 1 x , x H , r > 0 ,

where T r is defined as in (3.1).

The following result is not derived based on Theorem 2.1 and Lemma 3.2.

Theorem 3.3 Let C be a nonempty closed convex subset of H. Let T : C C be an asymptotically κ-strict pseudocontraction. Let F be a bifunction from C × C to which satisfies (A1)-(A4). Assume that F ( T ) E P ( F ) . Let { α n } , { β n } and { γ n } be real number sequences in ( 0 , 1 ) . Let { x n } be a sequence in C generated by: x 1 C is chosen arbitrarily and
{ w n C  such that  F B ( w n , u ) + 1 r n u w n , w n x n 0 , u C , z n = P C ( α n u + ( 1 α n ) w n ) , y n = γ n z n + ( 1 γ n ) T n z n , x n + 1 = β n x n + ( 1 β n ) y n , n 1 .
Assume that the sequences { α n } , { β n } , { γ n } and { r n } satisfy the following restrictions:
  1. (a)

    0 < a r n b < 2 α , lim n | r n + 1 r n | = 0 ;

     
  2. (b)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (c)

    0 < c β n d < 1 ;

     
  4. (d)

    κ γ n e < 1 , lim n | γ n + 1 γ n | = 0 ,

     

where a, b, c, d and e are some real numbers. If T is asymptotically regular, then the sequence { x n } converges strongly to some point x ¯ , where x ¯ = P F ( T ) E P ( F ) u .

If T is asymptotically nonexpansive, then Theorem 3.3 is reduced to the following.

Corollary 3.4 Let C be a nonempty closed convex subset of H. Let T : C C be an asymptotically nonexpansive mapping. Let F be a bifunction from C × C to which satisfies (A1)-(A4). Assume that F ( T ) E P ( F ) . Let { α n } and { β n } be real number sequences in ( 0 , 1 ) . Let { x n } be a sequence in C generated by: x 1 C is chosen arbitrarily and
{ w n C  such that  F B ( w n , u ) + 1 r n u w n , w n x n 0 , u C , z n = P C ( α n u + ( 1 α n ) w n ) , x n + 1 = β n x n + ( 1 β n ) T n z n , n 1 .
Assume that the sequences { α n } , { β n } , { γ n } and { r n } satisfy the following restrictions:
  1. (a)

    0 < a r n b < 2 α , lim n | r n + 1 r n | = 0 ;

     
  2. (b)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (c)

    0 < c β n d < 1 ,

     

where a, b, c and d are some real numbers. If T is asymptotically regular, then the sequence { x n } converges strongly to some point x ¯ , where x ¯ = P F ( T ) E P ( F ) u .

Let H be a Hilbert space and f : H ( , + ] be a proper convex lower semicontinuous function. Then the subdifferential ∂f of f is defined as follows:
f ( x ) = { y H : f ( z ) f ( x ) + z x , y , z H } , x H .
From Rockafellar [41], we find that ∂f is maximal monotone. It is easy to verify that 0 f ( x ) if and only if f ( x ) = min y H f ( y ) . Let I C be the indicator function of C, i.e.,
I C ( x ) = { 0 , x C , + , x C .

Since I C is a proper lower semicontinuous convex function on H, we see that the subdifferential I C of I C is a maximal monotone operator.

Lemma 3.5 [2]

Let C be a nonempty closed convex subset of a real Hilbert space H, Proj C the metric projection from H onto C, I C the subdifferential of I C , where I C is defined above and J λ = ( I + λ I C ) 1 . Then
y = J λ x y = Proj C x , x H , y C .

Now, we consider a variation inequality problem.

Theorem 3.6 Let C be a nonempty closed convex subset of H. Let T : C C be an asymptotically κ-strict pseudocontraction. Let A : C H be an α-inverse-strongly monotone mapping. Assume that F ( T ) V I ( C , A ) . Let { α n } , { β n } and { γ n } be real number sequences in ( 0 , 1 ) . Let { x n } be a sequence in C generated by: x 1 C is chosen arbitrarily and
{ z n = P C ( α n u + ( 1 α n ) P C ( x n r n A x n ) ) , y n = γ n z n + ( 1 γ n ) T n z n , x n + 1 = β n x n + ( 1 β n ) y n , n 1 .
Assume that the sequences { α n } , { β n } , { γ n } and { r n } satisfy the following restrictions:
  1. (a)

    0 < a r n b < 2 α , lim n | r n + 1 r n | = 0 ;

     
  2. (b)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (c)

    0 < c β n d < 1 ;

     
  4. (d)

    κ γ n e < 1 , lim n | γ n + 1 γ n | = 0 ,

     

where a, b, c, d and e are some real numbers. If T is asymptotically regular, then the sequence { x n } converges strongly to some point x ¯ , where x ¯ = P F ( T ) V I ( C , A ) u .

Proof Put B x = I C . Next, we show that V I ( C , A ) = ( A + I C ) 1 ( 0 ) . Notice that
x ( A + I C ) 1 ( 0 ) 0 A x + I C x A x I C x A x , y x 0 x V I ( C , A ) .

From Lemma 3.5, we can conclude the desired conclusion immediately. □

Declarations

Acknowledgements

The author is grateful to the referees for useful suggestions which improved the contents of the article.

Authors’ Affiliations

(1)
School of Mathematics and Information Science, Henan University

References

  1. Cho SY, Qin X, Kang SM: Iterative processes for common fixed points of two different families of mappings with applications. J. Glob. Optim. 2013, 57: 1429–1446. 10.1007/s10898-012-0017-yView ArticleMathSciNetGoogle Scholar
  2. Takahashi S, Takahashi W, Toyoda M: Strong convergence theorems for maximal monotone operators with nonlinear mappings in Hilbert spaces. J. Optim. Theory Appl. 2010, 147: 27–41. 10.1007/s10957-010-9713-2View ArticleMathSciNetGoogle Scholar
  3. Park S:A review of the KKM theory on ϕ A -space or GFC-spaces. Adv. Fixed Point Theory 2013, 3: 355–382.Google Scholar
  4. Zegeye H, Shahzad N: Strong convergence theorem for a common point of solution of variational inequality and fixed point problem. Adv. Fixed Point Theory 2012, 2: 374–397.Google Scholar
  5. Kim JK: Strong convergence theorems by hybrid projection methods for equilibrium problems and fixed point problems of the asymptotically quasi- ϕ -nonexpansive mappings. Fixed Point Theory Appl. 2011., 2011: Article ID 10Google Scholar
  6. Zhang M: Iterative algorithms for common elements in fixed point sets and zero point sets with applications. Fixed Point Theory Appl. 2012., 2012: Article ID 21Google Scholar
  7. Zhang M: Strong convergence of a viscosity iterative algorithm in Hilbert spaces. J. Nonlinear Funct. Anal. 2014., 2014: Article ID 1Google Scholar
  8. Qin X, Cho YJ, Kang SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces. J. Comput. Appl. Math. 2009, 225: 20–30. 10.1016/j.cam.2008.06.011View ArticleMathSciNetGoogle Scholar
  9. Wang Z, Lou W: A new iterative algorithm of common solutions to quasi-variational inclusion and fixed point problems. J. Math. Comput. Sci. 2013, 3: 57–72.Google Scholar
  10. Cho SY, Li W, Kang SM: Convergence analysis of an iterative algorithm for monotone operators. J. Inequal. Appl. 2013., 2013: Article ID 199Google Scholar
  11. Wu C, Liu A: Strong convergence of a hybrid projection iterative algorithm for common solutions of operator equations and of inclusion problems. Fixed Point Theory Appl. 2012., 2012: Article ID 90Google Scholar
  12. Noor MA, Noor KI, Waseem M: Decomposition method for solving system of linear equations. Eng. Math. Lett. 2012, 2: 34–41.Google Scholar
  13. Cho SY, Kang SM: Approximation of common solutions of variational inequalities via strict pseudocontractions. Acta Math. Sci. 2012, 32: 1607–1618. 10.1016/S0252-9602(12)60127-1View ArticleGoogle Scholar
  14. He RH: Coincidence theorem and existence theorems of solutions for a system of Ky Fan type minimax inequalities in FC-spaces. Adv. Fixed Point Theory 2012, 2: 47–57.Google Scholar
  15. Qin X, Su Y: Strong convergence theorems for relatively nonexpansive mappings in a Banach space. Nonlinear Anal. 2007, 67: 1958–1965. 10.1016/j.na.2006.08.021View ArticleMathSciNetGoogle Scholar
  16. Wu C: Mann iteration for zero theorems of accretive operators. J. Fixed Point Theory 2013., 2013: Article ID 3Google Scholar
  17. Hecai Y: On weak convergence of an iterative algorithm for common solutions of inclusion problems and fixed point problems in Hilbert spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 155Google Scholar
  18. Cho SY, Kang SM: Approximation of fixed points of pseudocontraction semigroups based on a viscosity iterative process. Appl. Math. Lett. 2011, 24: 224–228. 10.1016/j.aml.2010.09.008View ArticleMathSciNetGoogle Scholar
  19. Lv S:Generalized systems of variational inclusions involving ( A , η ) -monotone mappings. Adv. Fixed Point Theory 2011, 1: 1–14.Google Scholar
  20. Qin X, Cho SY, Kang SM: Iterative algorithms for variational inequality and equilibrium problems with applications. J. Glob. Optim. 2010, 48: 423–445. 10.1007/s10898-009-9498-8View ArticleMathSciNetGoogle Scholar
  21. Hecai Y: On solutions of inclusion problems and fixed point problems. Fixed Point Theory Appl. 2013., 2013: Article ID 11Google Scholar
  22. Cheng P, Wu H: Strong convergence theorems for common solutions of a family of nonexpansive mappings and an accretive operator. Fixed Point Theory Appl. 2013., 2013: Article ID 172Google Scholar
  23. Qin X, Cho SY, Kang SM: Convergence of an iterative algorithm for systems of variational inequalities and nonexpansive mappings with applications. J. Comput. Appl. Math. 2009, 233: 231–240. 10.1016/j.cam.2009.07.018View ArticleMathSciNetGoogle Scholar
  24. Kamimura S, Takahashi W: Approximating solutions of maximal monotone operators in Hilbert spaces. J. Approx. Theory 2000, 106: 226–240. 10.1006/jath.2000.3493View ArticleMathSciNetGoogle Scholar
  25. Yang S: Zero theorems of accretive operators in reflexive Banach spaces. J. Nonlinear Funct. Anal. 2013., 2013: Article ID 2Google Scholar
  26. Cho SY, Qin X, Kang SM: Hybrid projection algorithms for treating common fixed points of a family of demicontinuous pseudocontractions. Appl. Math. Lett. 2012, 25: 854–857. 10.1016/j.aml.2011.10.031View ArticleMathSciNetGoogle Scholar
  27. Yuan Q: Some results on asymptotically quasi- ϕ -nonexpansive mappings in the intermediate sense. J. Fixed Point Theory 2012., 2012: Article ID 1Google Scholar
  28. Cho SY, Kang SM: Zero point theorems for m -accretive operators in a Banach space. Fixed Point Theory 2012, 13: 49–58.MathSciNetGoogle Scholar
  29. Wu C: Convergence of algorithms for an infinite family nonexpansive mappings and relaxed cocoercive mappings in Hilbert spaces. Adv. Fixed Point Theory 2014, 4: 125–139.Google Scholar
  30. Kangtunyakarn A: Iterative algorithms for finding a common solution of system of the set of variational inclusion problems and the set of fixed point problems. Fixed Point Theory Appl. 2011., 2011: Article ID 38Google Scholar
  31. Yang S: Zero theorems of accretive operators in reflexive Banach spaces. J. Nonlinear Funct. Anal. 2013., 2013: Article ID 2Google Scholar
  32. Kim JK, Chandok S: Coupled common fixed point theorems for generalized nonlinear contraction mappings with the mixed monotone property in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 307Google Scholar
  33. Qin X, Agarwal RP: Shrinking projection methods for a pair of asymptotically quasi- ϕ -nonexpansive mappings. Numer. Funct. Anal. Optim. 2010, 31: 1072–1089. 10.1080/01630563.2010.501643View ArticleMathSciNetGoogle Scholar
  34. Luo H, Wang Y: Iterative approximation for the common solutions of a infinite variational inequality system for inverse-strongly accretive mappings. J. Math. Comput. Sci. 2012, 2: 1660–1670.MathSciNetGoogle Scholar
  35. Cho SY: Approximation of solutions of a generalized variational inequality problem based on iterative methods. Commun. Korean Math. Soc. 2010, 25: 207–214. 10.4134/CKMS.2010.25.2.207View ArticleMathSciNetGoogle Scholar
  36. Opial Z: Weak convergence of the sequence of successive approximation for nonexpansive mappings. Bull. Am. Math. Soc. 1967, 73: 591–597. 10.1090/S0002-9904-1967-11761-0View ArticleMathSciNetGoogle Scholar
  37. Cho SY: Strong convergence of an iterative algorithm for sums of two monotone operators. J. Fixed Point Theory 2013., 2013: Article ID 6Google Scholar
  38. Liu L: Ishikawa-type and Mann-type iterative processes with errors for constructing solutions of nonlinear equations involving m -accretive operators in Banach spaces. Nonlinear Anal. 1998, 34: 307–317. 10.1016/S0362-546X(97)00579-8View ArticleMathSciNetGoogle Scholar
  39. Sahu DR, Xu HK, Yao JC: Asymptotically strict pseudocontractive mappings in the intermediate sense. Nonlinear Anal. 2009, 70: 3502–3511. 10.1016/j.na.2008.07.007View ArticleMathSciNetGoogle Scholar
  40. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.MathSciNetGoogle Scholar
  41. Rockafellar RT: Characterization of the subdifferentials of convex functions. Pac. J. Math. 1966, 17: 497–510. 10.2140/pjm.1966.17.497View ArticleMathSciNetGoogle Scholar

Copyright

© Zhang; licensee Springer. 2014

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 credited.