Skip to main content

Iterative algorithms for common elements in fixed point sets and zero point sets with applications

Abstract

In this study, Mann-type iterative process is considered for finding a common element in the fixed point set of strict pseudocontractions and in the zero point set of the operator which is the sum of inverse strongly- monotone operators and maximal monotone operators. Weak convergence theorems of common elements are established in the framework of Hilbert spaces. Some applications of main results are also provided.

AMS Subject Classification: 47H05; 47H09; 47J25; 90C33.

1 Introduction and preliminaries

Throughout this article, we always assume that H is a real Hilbert space with the inner product 〈 , 〉, and the norm ||·|| and that C is a nonempty closed convex subset of H.

Let A : CH be a mapping. Recall that A is said to be monotone if

A x - A y , x - y 0 , x , y C .

A is said to be inverse strongly-monotone if there exists a constant α > 0 such that

A x - A y , x - y α A x - A y 2 , x , y C .

For such a case, A is also said to be α-inverse strongly monotone.

Let M : H → 2Hbe a set-valued mapping. The set D(M) defined by D(M) = {x H: Mx ≠ } is said to be the domain of M. The set R(M) defined by R ( M ) = x H M x is said to be the range of M. The set G(M) defined by G(M) = {(x, y) H × H: x D(M), y R(M)} is said to be the graph of M.

Recall that M is said to be monotone if

x - y , f - g 0 , ( x , f ) , ( y , g ) G ( M ) .

M is said to be maximal monotone if it is not properly contained in any other monotone operator. Equivalently, M is maximal monotone if R(I + rM) = H for all r > 0. The class of monotone mappings is one of the most important classes of mappings. Within the past several decades, many authors have been devoting to the studies on the existence and convergence of zero points for maximal monotone mappings, see [115] and the references therein. For a maximal monotone operator M on H and r > 0, we may define the single-valued resolvent Jr = (I + rM)-1 : HD(M). It is known that J r is firmly nonexpansive and M-1 (0) = F(J r ), where F (J r ) denotes the fixed point set of J r .

Let S : CC be a nonlinear mapping. In this study, we use F (S) to denote the fixed point set of S. Recall that the mapping S is said to be nonexpansive if

S x - S y x - y , x , y C .

S is said to be κ-strictly pseudocontractive if there exists a constant κ [0, 1) such that

S x - S y 2 x - y 2 + κ ( x - S x ) - ( y - S y ) 2 , x , y C .

The class of strictly pseudocontractive mappings was introduced by Browder and Petryshyn [16]. If κ = 0, the class of strictly pseudocontractive mappings is reduced to the class of nonexpansive mappings. In case that κ = 1, we call S a pseudocontractive mapping. Marino and Xu [17] proved that fixed point sets of strictly pseudocontractive mappings are closed and convex. They also proved that I - S is demi-closed at zero. To be more precise, if {x n } is a sequence in C with x n x and x n - Sx n 0, then x F (S).

Let A : CH be an inverse strongly-monotone mapping. Recall that the classical variational inequality problem is to find x C such that

A x , y - x 0 , y C .
(1.1)

Denote by V I(C, A) of the solution set of (1.1). It is known that x C is a solution to (1.1) if and only if x is a fixed point of the mapping P C (I - λA), where λ > 0 is a constant and I is the identity mapping. In [3], Iiduka and Takahashi showed that if λ [0, 2α], then I - λA is nonexpansive.

Let F be a bifunction from C × C to , where denotes the set of real numbers. Recall the following equilibrium problem.

Find xC such that F ( x , y ) 0,yC.
(1.2)

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

(A 1) F (x, x) = 0 for all x C;

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

(A 3) for each x, y, z C,

lim sup t 0 F ( t z + ( 1 - t ) x , y ) F ( x , y ) ;

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

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

Recently, many authors considered the convergence of iterative sequences for the variational inequality (1.1), the equilibrium problem (1.2) and fixed point problems of nonlinear mappings; see, for example, [2, 47, 1115, 1826].

In 2003, Takahashi and Toyoda [13] proved the following weak convergence theorem.

Theorem 1.1. Let C be a closed convex subset of a real Hilbert space H. Let A be an α-inverse strongly-monotone mapping from C into H and S be a non-expansive mapping from C into itself such that F(S) ∩ VI (C, A) ≠ . Let {x n } be a sequence generated by

x 0 C , x n + 1 = α n x n + ( 1 - α n ) S P C ( x n - λ n A x n ) , n 0 ,

where λ n [a, b] for some a, b (0, 2α) and α n [c, d] for some c, d (0, 1). Then, {x n } converges weakly to z F(S) ∩ VI (C, A), where z = limn→∞PF(S)∩VI (C, A)x n .

In 2007, Tada and Takahashi [11] obtained the following weak convergence theorem.

Theorem 1.2. Let C be a nonempty closed convex subset of a real Hilbert space H. Let F be a bifunction from C × C to satisfying (A 1)-(A 4) and S be a nonexpansive mapping from C into H such that F (S) ∩ EP (F) ≠ . Let {x n } and {u n } be sequences generated by x 1 = x H and let

u n C s u c h t h a t F ( u n , u ) + 1 r n u - u n , u n - x n 0 , u C , x n + 1 = α n x n + ( 1 - α n ) S u n

for each n ≥ 1, where n } [a, b] for some a, b (0, 1) and {r n } (0, ∞) satisfies lim infn→∞r n > 0. Then, {x n } converges weakly to w F(S)∩EP(F) where w = limn→∞PF(S)∩EP(F)x n .

A very common problem in diverse areas of mathematics and physical sciences consists of trying to find a point in the intersection of convex sets. This problem is referred to as the convex feasibility problem; its precise mathematical formulation is as follows. Find an x m = 1 N C r , where N ≥ 1 is an integer and each C m is a nonempty closed convex subset of H. There is a considerable investigation on the convex feasibility problem in the setting of Hilbert spaces which captures applications in various disciplines such as image restoration, computer tomography, and radiation therapy treatment planning.

Let K be an integer, S : CC a strict pseudocontraction, A m : CH be an α m -inverse strongly-monotone mapping and M m : H → 2Hbe a maximal monotone operator such that D(M m ) C, where D(M m ) is the domain of M m , where m {1, 2, ..., K}. In this article, motivated by Theorems 1.1 and 1.2, we consider the problem of finding a common element in the following set: F ( S ) m = 1 K ( A m + M m ) - 1 ( 0 ) , where F (S) is the fixed point set of S and (A m + M m )- 1(0) is the zero point set of A m + M m . Weak convergence theorems of common elements are established in real Hilbert spaces. The results presented in this article improve and extend the corresponding results announced by Tada and Takahashi [11] and Takahshi and Toyoda [13].

In order to prove our main results, we also need the following lemmas.

Lemma 1.3. [16] Let C be a nonempty closed convex subset of a real Hilbert space H and S : CC be a κ-strict pseudo-contraction with a fixed point. Define S : CC by S a x = ax + (1 - a)Sx for each x C. If a [κ, 1), then S a is nonexpansive with F (S a ) = F (S).

Lemma 1.4. [17] Let C be a nonempty closed convex subset of a real Hilbert space H and S : CC be a κ-strict pseudocontraction. Then

  1. (a)

    S is 1 + κ 1 - κ -Lipschitz;

  2. (b)

    I - S is demi-closed, this is, if {x n } is a sequence in C with x n x and x n - Sx n 0, then x F (S).

Lemma 1.5. [27] Let H be a real Hilbert space and 0 < pt n q < 1 for all n ≥ 1. Suppose that {x n } and {y n } are sequences in H such that

lim sup n x n r , lim sup n y n r

and

lim n t n x n + ( 1 - t n ) y n = r

hold for some r ≥ 0. Then limn→∞||x n -y n || = 0.

Lemma 1.6. [13] Let C be a nonempty closed convex subset of a real Hilbert space H and P C be the metric projection from H onto C. Let {x n } be a sequence in H. Suppose that, for all y C

x n + 1 - y x n - y , n 1 .

Then {P C x n } converges strongly to some z C.

Lemma 1.7. [28] Let C be a nonempty closed convex subset of a real Hilbert space H, A : C → H be a mapping and M : H → 2H be a maximal monotone mapping. Then

F ( J r ( I - r A ) ) = ( A + M ) - 1 ( 0 ) , r > 0 .

Lemma 1.8. [29] Let H be a Hilbert space and suppose {x n } converges weakly to x. Then

lim inf n x n - x < lim inf n x n - y

for all y H with x ≠ y.

2 Main results

Theorem 2.1. Let C be a nonempty closed convex subset of a real Hilbert space H. Let S : C → C be a κ-strict pseudocontraction, A : C → H be an α-inverse strongly monotone mapping and B : C → H be a β-inverse strongly monotone mapping. Let M : H → 2H and W : H → 2H be maximal monotone operators such that D(M) C and D(W) C. Assume that F : = F ( S ) ( A + M ) - 1 ( 0 ) ( B + W ) - 1 ( 0 ) . Let {x n } be a sequence generated in the following manner:

x 0 C , y n = γ n J r n ( x n - r n A x n ) + ( 1 - γ n ) J s n ( x n - s n B x n ) , x n + 1 = α n x n + ( 1 - α n ) ( β n y n + ( 1 - β n ) S y n ) , n 0 ,

where J r n = ( I + r n M ) - 1 , J s n = ( I + s n W ) - 1 , {r n } is a sequence in (0, 2α), {s n } is a sequence in (0, 2β) and {α n }, {β n }, and {γ n } are sequences in (0, 1). Assume that the following restrictions are satisfied

  1. (a)

    0 < ar n ≤ b < 2α and 0 < c ≤ s n ≤ d < 2β;

  2. (b)

    0 ≤ κ ≤ β n < e < 1, 0 < h ≤ α n ≤ i < 1 and 0 < j ≤ γ n ≤ k < 1,

where a, b, c, d, e, h, i, j, k are real numbers. Then the sequence {x n } converges weakly to x ̄ F , where x ̄ = lim n P F x n .

Proof. Note that (I - r n A) and (I - s n B) are nonexpansive for each fixed n ≥ 0.

Indeed, for any x, y, C, we see from the restriction (a) that

( 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 x - y 2 .

This shows that (I - r n A) is nonexpansive for each fixed n ≥ 0, so is (I - s n B).

Put

S n x = β n x + ( 1 - β n ) S x , x C .

In the restriction (b), we obtain from Lemma 1.3 that S n is nonexpansive for each fixed n ≥ 0. Fixing p F and since J r n , J s n , I - r n A, and I - s n B are nonexpansive, we see that

y n - p γ n J r n ( x n - r n A x n ) - p + ( 1 - γ n ) J s n ( x n - s n B x n ) - p x n - p .

Since S n is nonexpansive, we see that

x n + 1 - p | α n x n - p + ( 1 - α n ) S n y n - p α n x n - p + ( 1 - α n ) y n - p x n - p .
(2.1)

Hence, the limit of the sequence {||x n - p||} exists. This shows that the sequence {x n } is bounded, so is {y n }. Without loss of generality, we may assume that limn→∞||x n -p|| = d > 0. Notice that

y n - p 2 γ n J r n ( x n - r n A x n ) - p 2 + ( 1 - γ n ) J s n ( x n - s n B x n ) - p 2 γ n ( x n - r n A x n ) - p 2 + ( 1 - γ n ) ( x n - s n B x n ) - p 2 γ n x n - p 2 - r n ( 2 α - r n ) A x n - A p 2 + ( 1 - γ n ) ( x n - p 2 - s n ( 2 β - s n ) B x n - B p 2 ) x n - p 2 - r n γ n ( 2 α - r n ) A x n - A p 2 - s n ( 1 - γ n ) ( 2 β - s n ) B x n - B p 2 .

This in turn implies that

x n + 1 - p 2 α n x n - p 2 + ( 1 - α n ) S n y n - p 2 α n x n - p 2 + ( 1 - α n ) y n - p 2 x n - p 2 - ( 1 - α n ) r n γ n ( 2 α - r n ) A x n - A p 2 - ( 1 - α n ) s n ( 1 - γ n ) ( 2 β - s n ) B x n - B p 2 .
(2.2)

It follows from the restrictions (a) and (b) that

( 1 - i ) a j ( 2 α - b ) A x n - A p 2 x n - p 2 - x n + 1 - p 2 .

Since limn→∞||x n -p|| = d, we see that

lim n A x n - A p = 0 .
(2.3)

In view of (2.2), we see from the restrictions (a) and (b) that

( 1 - i ) c ( 1 - k ) ( 2 β - d ) B x n - B p 2 x n - p 2 - x n + 1 - p 2 .

Since limn→∞||x n -p|| = d, we see that

lim n B x n - B p = 0 .
(2.4)

Notice that J r n is firmly nonexpansive. Putting u n = J r n ( x n - r n A x n ) and v n = J s n ( x n - s n B x n ) , we see that

u n - p 2 = J r n ( x n - r n A x n ) - J r n ( p - r n A p ) 2 u n - p , ( x n - r n A x n ) - ( p - r n A p ) = 1 2 u n - p 2 + ( x n - r n A x n ) - ( p - r n A p ) 2 - ( u n - p ) - ( ( x n - r n A x n ) - ( p - r n A p ) ) 2 1 2 u n - p 2 + x n - p 2 - u n - x n + r n ( A x n - A p ) 2 = 1 2 u n - p 2 + x n - p 2 - u n - x n 2 - r n 2 A x n - A p 2 - 2 r n u n - x n , A x n - A p 1 2 u n - p 2 + x n - p 2 - u n - x n 2 + 2 r n u n - x n A x n - A p .

This in turn implies that

u n - p 2 x n - p 2 - u n - x n 2 + 2 r n u n - x n A x n - A p .
(2.5)

In a similar way, we can obtain that

v n - p 2 x n - p 2 - v n - x n 2 + 2 s n v n - x n B x n - B p .
(2.6)

Combining (2.5) with (2.6) yields that

x n + 1 - p 2 α n x n - p 2 + ( 1 - α n ) S n y n - p 2 α n x n - p 2 + ( 1 - α n ) y n - p 2 α n x n - p 2 + ( 1 - α n ) ( γ n u n - p 2 + ( 1 - γ n ) v n - p 2 ) x n - p 2 - ( 1 - α n ) γ n u n - x n 2 + 2 r n u n - x n A x n - A p - ( 1 - α n ) ( 1 - γ n ) v n - x n 2 + 2 s n v n - x n B x n - B p .
(2.7)

It follows that

( 1 - α n ) γ n u n - x n 2 x n - p 2 - x n + 1 - p 2 + 2 r n u n - x n A x n - A p + 2 s n v n - x n B x n - B p .

In view of (2.3) and (2.4), we see from the restrictions (a) and (b) that

lim n u n - x n = 0 .
(2.8)

It also follows from (2.7) that

( 1 - α n ) ( 1 - γ n ) v n - x n 2 x n - p 2 - x n + 1 - p 2 + 2 r n u n - x n A x n - A p + 2 s n v n - x n B x n - B p .

In view of (2.3) and (2.4), we see from the restrictions (a) and (b) that

lim n v n - x n = 0
(2.9)

Notice that

y n - x n u n - x n + v n - x n .

It follows from (2.8) and (2.9) that

lim n y n - x n = 0 .
(2.10)

On the other hand, we have

lim n α n ( x n - p ) + ( 1 - α n ) ( S n y n - p ) = d .

Notice that

S n y n - p y n - p x n - p .

This implies that

lim sup n S n y n - p d .

In view of Lemma 1.5, we arrive at

lim n S n y n - x n = 0 .
(2.11)

Note that

S y n - x n = S n y n - x n 1 - β n + β n ( x n - y n ) 1 - β n .

From (2.10), (2.11) and the restriction (b), we get that

lim n S y n - x n = 0 .
(2.12)

On the other hand, we see from Lemma 1.4 that

S x n - x n S x n - S y n + S y n - x n 1 + κ 1 - κ x n - y n + S y n - x n .

It follows from (2.10) and (2.12) that

lim n S x n - x n = 0 .
(2.13)

Since {x n } is bounded, we see that there exists a subsequence { x n i } of {x n } which converges weakly to x ̄ . By virtue of Lemma 1.4, we obtain that x ̄ F ( S ) . Next, we show that x ̄ ( A + M ) - 1 ( 0 ) . Notice that

x n - r n A x n u n + r n M u n .

Let μ . Since M is monotone, we have

x n - u n r n - A x n - μ , u n - ν 0 .

In view of the restriction (a), we see from (2.8) that

- A x ̄ - μ , x ̄ - ν 0 .

This implies that - A x ̄ M x ̄ , that is, x ̄ ( A + M ) - 1 ( 0 ) . In a similar way, we can obtain that x ̄ ( B + W ) - 1 ( 0 ) . This proves that x ̄ F .

Assume that there exists another subsequence { x n j } of {x n } such that { x n j } converges weakly to x'. By the above proof, we also have x F . If x ̄ x , we get from Lemma 1.8 that

lim n x n - x ̄ = lim inf i x n i - x ̄ < lim inf i x n i - x = lim n x n - x = lim inf j x n j - x < lim inf j x n j - x ̄ = lim n x n - x ̄ .

This derives a contradiction. Hence, we have x ̄ = x . This implies that x n x ̄ F . Let e n = P F x n . In view of (2.1), we obtain from Lemma 1.6 that {e n } converges strongly to some e F . On the other hand, we see from x ̄ F that x n - e n , e n - x ̄ 0 . Note that {x n } converges weakly to x ̄ . It follows that

x ̄ - e , e - x ̄ 0 .

This implies that x ̄ = e = lim n P F x n . The proof is completed. □

From Theorem 2.1, we can obtain the following immediately.

Theorem 2.2. Let C be a nonempty closed convex subset of a real Hilbert space H. Let S : C → C be a κ-strict pseudocontraction, A m : C → H be an α m -inverse strongly monotone mapping and M m : H → 2H be a maximal monotone operator such that D(M m ) C, where m {1, 2, ..., K}. Assume that F : = F ( S ) m = 1 N ( A m + M m ) - 1 ( 0 ) . Let {x n } be a sequence generated in the following manner:

x 0 C , y n = m = 1 K γ n , m J r n , m ( x n - r n , m A m x n ) , x n + 1 = α n x n + ( 1 - α n ) ( β n y n + ( 1 - β n ) S y n ) , n 0 ,

where J r n , m = ( I + r n , m M m ) - 1 , {rn,m} is a sequence in (0, 2α m ), {α n }, {β n }, and {γn,m} are sequences in (0, 1). Assume that the following restrictions are satisfied

  1. (a)

    0 < a m r n,m b m < 2α m for each m {1, 2, ..., K};

  2. (b)

    m = 1 K γ n , m = 1 ;

  3. (c)

    0 ≤ kβ n < c < 1, 0 < dα n e < 1 and 0 < h m γ n,m i m < 1, where a1, a2, ..., a K , b1, b2, ..., b K , c, d, e, h1, h2, ..., h K , i1, i2, ..., i K are real numbers. Then the sequence {x n } converges weakly to x ̄ F , where x ̄ = lim n P F x n .

If S = I, where I denotes the identity, then Theorem 2.2 is reduced to the following.

Corollary 2.3. Let C be a nonempty closed convex subset of a real Hilbert space H. Let A m : C → H be an α m -inverse strongly monotone mapping and M m : H → 2H be a maximal monotone operator such that D(M m ) C, where m {1, 2, ..., K}. Assume that F : = m = 1 N ( A m + M m ) - 1 ( 0 ) . Let {x n } be a sequence generated in the following manner:

x 0 C , x n + 1 = α n x n + ( 1 - α n ) m = 1 K γ n , m J r n , m ( x n - r n , m A m x n ) , n 0 ,

where J r n , m = ( I + r n , m M m ) - 1 , {r n,m } is a sequence in (0, 2α m ) and {α n }, {β n } and {γ n,m } are sequences in (0, 1). Assume that the following restrictions are satisfied

  1. (a)

    0 < a m r n,m b m < 2α m for each m {1, 2, ..., K};

  2. (b)

    m = 1 K γ n , m = 1 ;

  3. (c)

    0 < cα n < d < 1 and 0 < h m γ n,m i m < 1,

where a1, a2, ..., a K , b1, b2, ..., b K , c, d, h1, h2, ..., h K , i1, i2, ..., i K are real numbers. Then the sequence {x n } converges weakly to x ̄ F , where x ̄ = lim n P F x n .

3 Applications

Let H be a Hilbert space and f : H → (-∞, +] 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 } ,xH.

From Rockafellar [9, 30], we know that ∂f is maximal monotone. It is easy to verify that 0 ∂f(x) if and only if f(x) = minyHf(y).

First, we consider the problem of finding common minimizers of proper convex lower semicontinuous functions.

Theorem 3.1. Let H be a real Hilbert space. Let f : H → (-∞, +] and g : H → (-∞, +] be proper convex lower semi-continuous functions. Assume that F:= ( f ) - 1 ( 0 ) ( g ) - 1 ( 0 ) . Let {x n } be a sequence generated in the following manner:

x 0 H , z n = arg min z H { g ( z ) + z - x n 2 2 s n } , y n = arg min z H { f ( z ) + z - x n 2 2 r n } , x n + 1 = α n x n + ( 1 - α n ) ( γ n y n + ( 1 - γ n ) z n ) , n 0 ,

where {α n }, {β n }, and {γ n } are sequences in (0, 1). Assume that the following restrictions are satisfied

  1. (a)

    0 < a ≤ r n ≤ b < ∞ and 0 < c ≤ s n ≤ d < ∞;

  2. (b)

    0 < h ≤ α n ≤ i < 1 and 0 < j ≤ γ n ≤ k < 1,

where a, b, c, d, h, i, j, k are real numbers. Then the sequence {x n } converges weakly to x ̄ F , where x ̄ = lim n P F x n .

Proof. Putting A = B = 0 and S = I, the identity mapping, we can conclude from Theorem 2.1 the desired conclusion immediately. □

Let I C be the indicator function of C, i.e.,

I C ( x ) = 0 , x C , + , x C .
(3.1)

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.2. [12] Let C be a nonempty closed convex subset of a real Hilbert space H. Let P C be the metric projection from H onto C, ∂I C be the subdifferential of I C , where I C is as defined in (3.1) and J r = (I + r∂I C )- 1. Then

y= J r xy= P C x,xH,yC.

Second, we consider the variation inequality (1.1).

Theorem 3.3. Let C be a nonempty closed convex subset of a real Hilbert space H and P C be the metric projection from H onto C. Let S : C → C be a κ-strict pseudocontraction, A : C → H be an α-inverse strongly monotone mapping and B : C → H be a β-inverse strongly monotone mapping. Assume that F:=F ( S ) VI ( C , A ) VI ( C , B ) . Let {x n } be a sequence generated in the following manner:

x 0 C , y n = γ n P C ( x n - r n A x n ) + ( 1 - γ n ) P C ( x n - s n B x n ) , x n + 1 = α n x n + ( 1 - α n ) ( β n y n + ( 1 - β n ) S y n ) , n 0 ,

where {r n } is a sequence in (0, 2α), {s n } is a sequence in (0, 2β) and {α n }, {β n } and {γ n } are sequences in (0, 1). Assume that the following restrictions are satisfied

  1. (a)

    0 < a ≤ r n ≤ b < 2α and 0 < c ≤ s n ≤ d < 2β;

  2. (b)

    0 ≤ κ ≤ β n < e < 1, 0 < h ≤ α n ≤ i < 1 and 0 < j ≤ γ n ≤ k < 1,

where a, b, c, d, e, h, i, j, k are real numbers. Then the sequence {x n } converges weakly to x ̄ F , where x ̄ = lim n P F x n .

Proof. Put M = W = ∂I C . Next, we show that V I(C, A) = (A + ∂I C )- 1(0) and VI(C, B) = (B + ∂I C )- 1(0), respectively. 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 )

In the same way, we can obtain that x (B + ∂I C )- 1 (0) x V I(C, B). From Lemma 3.2, we can conclude the desired conclusion immediately. □

Remark 3.1. Let S be a nonexpansive mapping, A = B, M = W and β n = 0 in Theorem 3.3. Then Theorem 3.3 is reduced to Theorem 1.1 in Section 1.

Third, we consider the problem of finding common fixed points of three strict pseudocontractions.

Theorem 3.4. Let C be a nonempty closed convex subset of a real Hilbert space H. Let S : C → C be a κ-strict pseudocontraction, T : C → C be an α-strict pseudocontraction and R : C → C be a β-strict pseudocontraction. Assume that F:=F ( R ) F ( S ) F ( T ) . Let {x n } be a sequence generated in the following manner:

x 0 C , y n = γ n ( ( 1 - r n ) x n + r n T x n ) + ( 1 - γ n ) ( ( 1 - s n ) x n + s n R x n ) , x n + 1 = α n x n + ( 1 - α n ) ( β n y n + ( 1 - β n ) S y n ) , n 0 ,

where {r n } is a sequence in (0, 1 - α), {s n } is a sequence in (0, 1 - β) and {α n }, {β n } and {γ n } are sequences in (0, 1). Assume that the following restrictions are satisfied

  1. (a)

    0 < a ≤ r n ≤ b < 1 - α and 0 < c ≤ s n ≤ d < 1 - β;

  2. (b)

    0 ≤ κ ≤ β n < e < 1, 0 < h ≤ α n ≤ i < 1 and 0 < j ≤ γ n ≤ k < 1,

where a, b, c, d, e, h, i, j, k are real numbers. Then the sequence {x n } converges weakly to x ̄ F , where x ̄ = lim n P F x n .

Proof. Putting A = I - T, we see that A is 1 - α 2 -inverse-strongly monotone. We also have F (T) = V I(C, A) and P C (x n - r n Ax n ) = (1 - r n )x n + r n Tx n . Putting B = I - R, we see that B is 1 - β 2 -inverse-strongly monotone. We also have F(R) = V I(C, B) and P C (x n - s n Bx n ) = (1 - s n )x n + s n Ru n . In view of Theorem 3.2, we can obtain the desired result immediately. □

The following lemma can be found in [31, 32].

Lemma 3.5. Let C be a nonempty closed convex subset of a real Hilbert space H and let F be a bifunction from C × C to which satisfies (A 1)-(A 4). Then, for any r > 0 and x H, there exists z C such that

F ( z , y ) + 1 r y - z , z - x 0,yC.

Further, define

T r x = z C : F ( z , y ) + 1 r y - z , z - x 0 , y C
(3.2)

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 ) = EP (F);

  4. (d)

    EP (F) is closed and convex.

Lemma 3.6. [12] 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 (A 1)-(A 4) and A F be a multivalued mapping from H into itself defined by

A F x= { z H : F ( x , y ) y - x , z , y C } , x C , , x C .
(3.3)

Then A F is a maximal monotone operator with the domain D ( A F ) C,EP ( F ) = A F - 1 ( 0 ) and

T r x= ( I + r A F ) - 1 x,xH,r>0,

where T r is defined as in (3.2).

Finally, we consider the problem of finding common elements in solution set of equilibrium problems and in the fixed point set of strict pseudocontractions.

Theorem 3.7. 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 (A 1)-(A 4), G be a bifunction from C × C to which satisfies (A 1)-(A 4) and S : C → C be a κ-strict pseudocontraction. Assume that F:=F ( S ) EP ( F ) EP ( G ) . Let {r n } and {s n } be two positive sequences and {α n }, {β n }, and {γ n } sequences in (0, 1). Let {x n } be a sequence generated in the following manner:

x 0 C , y n = γ n u n + ( 1 - γ n ) v n , x n + 1 = α n x n + ( 1 - α n ) ( β n y n + ( 1 - β n ) S y n ) , n 0 ,

where u n is such that

F ( u n , u ) + 1 r n u - u n , u n - x n 0,uC

and v n is such that

G ( v n , v ) + 1 s n v - v n , v n - x n 0,vC.

Assume that the following restrictions are satisfied

  1. (a)

    0 < a ≤ r n ≤ b < ∞ and 0 < c ≤ s n ≤ d < ∞;

  2. (b)

    0 ≤ κ ≤ β n < e < 1, 0 < h ≤ α n ≤ i < 1 and 0 < j ≤ γ n ≤ k < 1,

where a, b, c, d, e, h, i, j, k are real numbers. Then the sequence {x n } converges weakly to x ̄ F , where x ̄ = lim n P F x n .

Proof. Putting A = B = 0, we can conclude from Lemma 3.6 the desired conclusion immediately. □

Remark 3.2. Let S be a nonexpansive mapping, F = G and β n = 0 in Theorem 3.7. Then Theorem 3.7 is reduced to Theorem 1.2 in Section 1.

References

  1. 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.008

    Article  MathSciNet  Google Scholar 

  2. Cho YJ, Kang SM, Zhou H: Approximate proximal point algorithms for finding zeroes of maximal monotone operators in Hilbert spaces. J Inequal Appl 2008., 2008: Article ID 598191

    Google Scholar 

  3. Iiduka H, Takahashi W: Strong convergence theorems for nonexpansive mappings and inverse-strongly monotone mappings. Nonlinear Anal 2005, 61: 341–350. 10.1016/j.na.2003.07.023

    Article  MathSciNet  Google Scholar 

  4. Kang SM, Cho SY, Liu Z: Convergence of iterative sequences for generalized equilibrium problems involving inverse-strongly monotone mappings. J Inequal Appl 2010, 2010: 16. Article ID 827082

    MathSciNet  Google Scholar 

  5. Qin X, Cho SY, Kang SM: Strong convergence of shrinking projection methods for quasi- ϕ -nonexpansive mappings and equilibrium problems. J Comput Appl Math 2010, 234: 750–760. 10.1016/j.cam.2010.01.015

    Article  MathSciNet  Google Scholar 

  6. Qin X, Kang JI, Cho YJ: On quasi-variational inclusions and asymptotically strict pseudo-contractions. J Nonlinear Convex Anal 2010, 11: 441–453.

    MathSciNet  Google Scholar 

  7. Qin X, Kang SM, Cho YJ: Approximating zeros of monotone operators by proximal point algorithms. J Glob Optim 2010, 46: 75–87. 10.1007/s10898-009-9410-6

    Article  MathSciNet  Google Scholar 

  8. Qin X, Su Y: Approximation of a zero point of accretive operator in Banach spaces. J Math Anal Appl 2007, 329: 415–424. 10.1016/j.jmaa.2006.06.067

    Article  MathSciNet  Google Scholar 

  9. Rockafellar RT: Characterization of the subdifferentials of convex functions. Pac J Math 1966, 17: 497–510.

    Article  MathSciNet  Google Scholar 

  10. Rockafellar RT: On the maximality of sums of nonlinear monotone operators. Trans Am Math Soc 1970, 149: 75–88. 10.1090/S0002-9947-1970-0282272-5

    Article  MathSciNet  Google Scholar 

  11. Tada A, Takahashi W: Weak and strong convergence theorems for a non-expansive mappings and an equilibrium problem. J Optim Theory Appl 2007, 133: 359–370. 10.1007/s10957-007-9187-z

    Article  MathSciNet  Google Scholar 

  12. 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-2

    Article  MathSciNet  Google Scholar 

  13. Takahashi W, Toyoda M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J Optim Theory Appl 2003, 118: 417–428. 10.1023/A:1025407607560

    Article  MathSciNet  Google Scholar 

  14. Kim JK, Cho SY, Qin X: Hybrid projection algorithms for generalized equilibrium problems and strictly pseudocontractive mappings. J Inequal Appl 2010., 2010: Article ID 312602, 18

    Google Scholar 

  15. Zeng LC, Ansari QH, Shyu DavidS, Yao JC: Strong and weak convergence theorems for common solutions of generalized equilibrium problems and zeros of maximal monotone operators. Fixed Point Theory Appl 2010., 2010: Article ID 590278

    Google Scholar 

  16. Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space. J Math Anal Appl 1967, 20: 197–228. 10.1016/0022-247X(67)90085-6

    Article  MathSciNet  Google Scholar 

  17. Marino G, Xu HK: Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces. J Maht Anal Appl 2007, 329: 336–346. 10.1016/j.jmaa.2006.06.055

    Article  MathSciNet  Google Scholar 

  18. Jaiboon C, Kumam P, Humphries UW: Weak convergence theorem by an extragradient method for variational inequality, equalibrium and fixed point problems. Bull Malays Math Sci Soc 2009, 32: 131–136.

    MathSciNet  Google Scholar 

  19. Kamimura S, Takahashi W: Weak and strong convergence of solutions to accretive operator inclusions and applications. Set-Valued Anal 2000, 8: 361–374. 10.1023/A:1026592623460

    Article  MathSciNet  Google Scholar 

  20. Moudafi A: Weak convergence theorems for nonexpansive mappings and equilibrium problems. J Nonlinear Convex Anal 2008, 9: 37–43.

    MathSciNet  Google Scholar 

  21. Nadezhkina N, Takahashi W: Weak convergence theorem by an extragradient method for nonexpansive mappings and monotone mappings. J Optim Theory Appl 2006, 128: 191–201. 10.1007/s10957-005-7564-z

    Article  MathSciNet  Google Scholar 

  22. Nilsrakooa W, Saejung S: Weak and strong convergence theorems for countable Lipschitzian mappings and its applications. Nonlinear Anal 2008, 69: 2695–2708. 10.1016/j.na.2007.08.044

    Article  MathSciNet  Google Scholar 

  23. Peng JW, Yao JC: Weak convergence of an iterative scheme for generalized equilibrium problems. Bull Austral Math Soc 2009, 79: 437–453. 10.1017/S0004972708001378

    Article  MathSciNet  Google Scholar 

  24. Plubtieng S, Kumam P: Weak convergence theorem for monotone mappings and a countable family of nonexpansive mappings. J Comput Appl Math 2009, 224: 614–621. 10.1016/j.cam.2008.05.045

    Article  MathSciNet  Google Scholar 

  25. 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.011

    Article  MathSciNet  Google Scholar 

  26. Ye J, Huang J: Strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasi-nonexpansive mappings in Banach spaces. J Math Comput Sci 2011, 1: 1–18.

    Article  MathSciNet  Google Scholar 

  27. Schu J: Weak and strong convergence of fixed points of asymptotically nonexpansive mappings. Bull Austral Math Soc 1991, 43: 153–159. 10.1017/S0004972700028884

    Article  MathSciNet  Google Scholar 

  28. Aoyama K, Kimura Y, Takahashi W, Toyoda M: On a strongly nonexpansive sequence in Hilbert spaces. J Nonlinear Convex Anal 2007, 8: 471–489.

    MathSciNet  Google Scholar 

  29. 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-0

    Article  MathSciNet  Google Scholar 

  30. Rockafellar RT: Monotone operators and the proximal point algorithm. SIAM J Control Optim 1976, 14: 877–898. 10.1137/0314056

    Article  MathSciNet  Google Scholar 

  31. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math Stud 1994, 63: 123–145.

    MathSciNet  Google Scholar 

  32. Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. J Nonlinear Convex Anal 2005, 6: 117–136.

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mingliang Zhang.

Additional information

Competing interests

The author declares 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

Zhang, M. Iterative algorithms for common elements in fixed point sets and zero point sets with applications. Fixed Point Theory Appl 2012, 21 (2012). https://doi.org/10.1186/1687-1812-2012-21

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords