Skip to main content

Convergence theorems for common solutions of various problems with nonlinear mapping

Abstract

In this paper, motivated and inspired by Zegeye and Shahzad (Nonlinear Anal. 70:2707-2716, 2009), Qin et al. (J. Comput. Appl. Math. 225(1):20-30, 2009) and Kimura and Takahashi (J. Math. Anal. Appl. 357:356-363, 2009), we introduce a new hybrid projection iterative scheme that converges strongly to a common element of the solution set of a generalized mixed equilibrium problem, the solution set of a variational inequality problem, and the set of common fixed points for a family of hemi-relatively nonexpansive mappings in a Banach space.

MSC:47H10, 47J20, 49J40.

1 Introduction

A real Banach space E is said to be strictly convex if x + y 2 <1 for all x,yE with x=y=1 and xy. It is said to be uniformly convex if lim n x n y n =0 for any two sequences { x n } and { y n } in E such that x n = y n =1 and lim n x n + y n 2 =1. It is known that a uniformly convex Banach space is reflexive and strictly convex. Let U={xE:x=1} be the unit sphere of E. Then the Banach space E is said to be smooth if

lim t 0 x + t y x t

exists for each x,yU. It is said to be uniformly smooth if the limit is attained uniformly for x,yE.

Let E be a real Banach space with the norm , and let E denote the dual space of E. We denote by J the normalized duality mapping from E to 2 E defined by

Jx= { f E : x , f = x 2 = f 2 } ,

where , denotes the generalized duality pairing. It is well known that if E is strictly convex, then J is single-valued, and if E is uniformly smooth, then J is uniformly norm-to-norm continuous on a bounded subset of E. Moreover, if E is a reflexive and strictly convex Banach space with a strictly convex dual, then J 1 is single-valued, one-to-one, surjective and it is the duality mapping from E into E and thus J J 1 = I E and J 1 J= I E (see [1]). We note that J is the identity mapping in a Hilbert space.

A mapping A:D(A)E E is said to be monotone if for each x,yD(A),

xy,AxAy0.

A mapping A is said to be γ-inverse strongly monotone if there exists a positive real number γ>0 such that

xy,AxAyγ A x A y 2 ,x,yD(A).

If a mapping A is γ-inverse strongly monotone, then it is Lipschitz continuous with constant 1 γ , i.e.,

AxAy 1 γ xy,x,yD(A).

A mapping A is said to be strongly monotone, if for each x,yD(A), there exists k(0,1) such that

xy,AxAyk x y 2 .

A monotone mapping A is said to be maximal if its graph G(A)={(x,y):yAx} is not properly contained in the graph of any other monotone mapping. It is known that the monotone mapping A is maximal if and only if for (x, x )E× E ,

x y , x y 0

for every (y, y )G(A) implies that x Ax.

Let C be a nonempty, closed convex subset of a Banach space E. For a bifunction θ:C×CR, we assume that θ satisfies the following conditions:

(E1) θ(x,x)=0 for all xC;

(E2) θ is monotone, i.e., θ(x,y)+θ(y,x)0 for all x,yC;

(E3) for each x,y,zC,

lim t 0 θ ( t z + ( 1 t ) x , y ) θ(x,y);

(E4) for each xC, the function yθ(x,y) is convex and lower semi-continuous.

The generalized mixed equilibrium problem is to find xC such that

θ(x,y)+ψ(y)ψ(x)+Ax,yx0,yC,
(1.1)

where ψ is a lower semicontinuous and convex function. The set of solutions of problem (1.1) is denoted by GMEP. Recently, Zhang [2] considered this problem. Some special cases of problem (1.1) are stated as follows.

If A=0, then problem (1.1) reduces to the following mixed equilibrium problem of finding xC such that

θ(x,y)+ψ(y)ψ(x)0,yC,

which was considered by Ceng and Yao [3].

If ψ=0, then problem (1.1) reduces to the following generalized equilibrium problem of finding xC such that

θ(x,y)+Ax,yx0,yC,

which was studied in [4].

If ψ=0 and A=0, then problem (1.1) reduces to the following equilibrium problem of finding xC such that

θ(x,y)0,yC.
(1.2)

The set of solutions of problem (1.2) is denoted by EP.

If θ=0 and ψ=0, then problem (1.1) reduces to the following classical variational inequality problem of finding xC such that

Ax,yx0,yC.
(1.3)

The set of solutions of problem (1.3) is denoted by VI(C,A).

Equilibrium problems, which were introduced in [5] in 1994, have had great impact and influence on the development of several branches of pure and applied sciences. They include numerous problems in economics, finance, physics, network, elasticity, optimization, variational inequalities, minimax problems, and semigroups; see, for instance, [24, 617] and the references therein.

As well known, if C is a nonempty, closed and convex subset of a Hilbert space H and P C :HC is the metric projection of H onto C, then P C is nonexpansive. This fact actually characterizes Hilbert spaces and, consequently, it is not true to more general Banach spaces. In this connection, Alber [18] introduced a generalized projection operator Π C in a Banach space E which is an analogue of the metric projection in Hilbert spaces. Consider the functional defined by

ϕ(x,y)= x 2 2x,Jy+ y 2 for x,yE.
(1.4)

Observe that, in a Hilbert space H, (1.4) reduces to

ϕ(x,y)= x y 2 for x,yH.

The generalized projection Π C :EC is a mapping that assigns an arbitrary point xE to the minimum point of the functional ϕ(x,y), that is, Π C x= x ¯ , where x ¯ is the solution to the minimization problem

ϕ( x ¯ ,x)= inf y C ϕ(y,x).

The existence and uniqueness of the mapping Π C follows from the properties of the functional ϕ(x,y) and strict monotonicity of the mapping J (see, for example, [18] and [19]). In a Hilbert space, Π C = P C . It is obvious from the definition of the function ϕ that:

  1. (1)

    ( x y ) 2 ϕ(x,y) ( x + y ) 2 for all x,yE.

  2. (2)

    ϕ(x,y)=ϕ(x,z)+ϕ(z,y)+2xz,JzJy for all x,y,zE.

  3. (3)

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

  4. (4)

    If E is a reflexive, strictly convex and smooth Banach space, then, for all x,yE,

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

Remark 1.1 In (4), it is sufficient to show that if ϕ(x,y)=0 then x=y. In fact, from (1) we have x=y. This implies that x,Jy= x 2 = J y 2 . From the definition of J, we have Jx=Jy. Therefore, we have x=y. For more details, see [1].

Let C be a nonempty closed and convex subset of E, and let T be a mapping from C into itself. We denote by F(T) be the set of fixed points of T. A point p in C is said to be a weak asymptotic fixed point of T [20] if C contains a sequence { x n } which converges weakly to p such that lim n (T x n x n )=0. The set of asymptotic fixed points of T will be denoted by F ˆ (T). A mapping T from C into itself is called relatively nonexpansive [2123] if F ˆ (T)=F(T) and ϕ(p,Tx)ϕ(p,x) for all xC and pF(T). The asymptotic behavior of relatively nonexpansive mappings was studied in [21, 22] and [12].

A point p in C is said to be a strong asymptotic fixed point of T if C contains a sequence { x n } which converges strongly to p such that lim n (T x n x n )=0. The set of strong asymptotic fixed points of T is denoted by F ˜ (T). A mapping T from C into itself is called relatively weak nonexpansive if F ˜ (T)=F(T) and ϕ(p,Tx)ϕ(p,x) for all xC and pF(T). A mapping T is called hemi-relatively nonexpansive if F(T) and ϕ(p,Tx)ϕ(p,x) for all xC and pF(T).

Remark 1.2 (1) It is obvious that a relatively nonexpansive mapping is a relatively weak nonexpansive mapping (see [14]). In fact, for any mapping T:CC, we have F(T) F ˜ (T) F ˆ (T). Therefore, if T is a relatively nonexpansive mapping, then F(T)= F ˜ (T)= F ˆ (T).

  1. (2)

    The class of hemi-relatively nonexpansive mappings is more general than the class of relatively weak nonexpansive mappings.

The converse of Remark 1.2 is not true. In order to explain this better, we give the following example.

Example 1.1 ([24])

Let E be any smooth Banach space, and let x 0 0 be any element of E. We define a mapping T:EE as follows:

Tx={ ( 1 2 + 1 2 n + 1 ) x 0 if  x = ( 1 2 + 1 2 n ) x 0 , x if  x ( 1 2 + 1 2 n ) x 0

for n=1,2,3, . Then T is a hemi-relatively nonexpansive mapping but not a relatively nonexpansive mapping.

Remark 1.3 There are other examples of hemi-relatively nonexpansive mappings such as the generalized projections (or projections) from a smooth, strictly convex and reflexive Banach space, and others; see [25].

A mapping T:CC is said to be closed, if for any sequence { x n }C with x n x and T x n y, then Tx=y.

In 2009, Kimura and Takahashi [26] proposed the following hybrid iteration method with a generalized projection for a family of relatively nonexpansive mappings { T λ } in a Banach space E:

{ x 1 = x C , chosen arbitrarily , C 1 = C , y n ( λ ) = J 1 ( α n J x n + ( 1 α n ) J T λ x n ) for all  λ Λ , C n + 1 = { z C n : sup λ Λ ϕ ( z , y n ( λ ) ) ϕ ( z , x n ) } , x n + 1 = Π C n + 1 x .

They proved that { x n } converges strongly to Π F xC, where F= λ Λ F( T λ ) is the set of common fixed points of T λ , and Π K is the generalized projection of E onto a nonempty closed convex subset K of E.

Recently, Zegeye and Shahzad [14] introduced the following iterative scheme for finding a common element of the solution set of a variational inequality problem and a fixed point of a relatively weak nonexpansive mapping with γ-inverse strongly monotone mapping satisfying AxAxAp for all xC and pVI(C,A) (see, e.g., [27]):

{ x 0 C , chosen arbitrarily , y n = Π C ( J 1 ( J x n α n A x n ) ) , z n = T y n , H 0 = { v C : ϕ ( v , z 0 ) ϕ ( v , y 0 ) ϕ ( v , x 0 ) } , W 0 = C , H n = { v H n 1 W n 1 : ϕ ( v , z n ) ϕ ( v , y n ) ϕ ( v , x n ) } , W n = { v H n 1 W n 1 : x n v , J x 0 J x n 0 } , x n + 1 = Π H n W n x 0 , n 1 .

On the other hand, Qin et al. [25] proposed the following hybrid iterative scheme:

{ x 0 E , chosen arbitrarily , C 1 = C , x 1 = Π C 1 x 0 , y n = J 1 ( α n J x n + ( 1 α n ) J T x n ) , u n C  such that  f ( u n , y ) + 1 r n y u n , J u n J y n 0 , y C , C n + 1 = { z C n : ϕ ( z , u n ) ϕ ( z , x n ) } , x n + 1 = Π C n + 1 x 0 ,

where T:CC is a closed hemi-relatively nonexpansive mapping. Under suitable conditions, they proved that the sequence { x n } converges strongly to Π F ( T ) EP ( f ) x 0 , where EP(f) is the solution of an equilibrium problem for a bifunction f:C×CR.

In this paper, we introduce a new hybrid projection iterative scheme that converges strongly to a common element of the solution set of a generalized mixed equilibrium problem, the solution set of a variational inequality problem, and the set of common fixed points for a family of hemi-relatively nonexpansive mappings in a Banach space.

2 Preliminaries

Let E be a normed linear space with dimE2. The modulus of smoothness of E is the function ρ E :[0,)[0,) defined by

ρ E (τ):=sup { x + y + x y 2 1 : x = 1 , y = τ } .

The space E is said to be smooth if ρ E (τ)>0, τ>0 and E is called uniformly smooth if and only if lim t 0 ρ E ( t ) t =0. The modulus of convexity of E is the function δ E :(0,2][0,1] defined by

δ E (ε):=inf { 1 x + y 2 : x = y = 1 , ε = x y } .

E is called uniformly convex if and only if δ E (ε)>0 for every ε(0,2]. Let p>1. Then E is said to be p-uniformly convex if there exists a constant c>0 such that δ(ε)c ε p for all ε[0,2]. Observe that every p-uniformly convex space is uniformly convex.

It is well known (see, for example, [28]) that

L p ( l p )or W m p is{ p -uniformly convex if  p 2 ; 2 -uniformly convex if  1 < p 2 .

In the following, we shall need the following results.

Lemma 2.1 ([28])

Let E be a 2-uniformly convex and smooth Banach space. Then, for all x,yE, we have

xy 2 c 2 JxJy,

where J is the normalized duality mapping of E, and 1 c (0<c1) is the 2-uniformly convex constant of E.

Lemma 2.2 ([18, 29])

Let E be a real smooth, strictly convex and reflexive Banach space, and let C be a nonempty closed convex subset of E. Then the following conclusions hold:

  1. (i)

    ϕ(y, Π C x)+ϕ( Π C x,x)ϕ(y,x), xE, yC.

  2. (ii)

    Suppose xE and zC. Then

    z= Π C xzy,JxJz0,yC.

Lemma 2.3 ([30])

Let E be a strictly convex and smooth Banach space, C be a nonempty closed and convex subset of E and T:CC be a hemi-relatively nonexpansive mapping. Then F(T) is a closed convex subset of C.

Lemma 2.4 ([29])

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

Lemma 2.5 ([31])

Let E be a real smooth Banach space and A:E E be a maximal monotone mapping. Then A 1 (0) is a closed and convex subset of E.

We denote the normal cone for C at a point vC by N C (v), that is,

N C (v):= { x E : v y , x 0 , y C } .

Lemma 2.6 ([32])

Let C be a nonempty closed convex subset of a Banach space E, and let A be a monotone and hemicontinuous mapping of C into E with C=D(A). Let TE× E be a mapping defined as follows:

Tv:={ A v + N C ( v ) , v C , , v C .

Then T is maximal monotone and T 1 (0)=VI(C,A).

Remark 2.1 It is well known that the monotone and hemicontinuous mapping A with D(A)=E is maximal (see, e.g., [1]). Note that Lemma 2.6 is for the monotone and hemicontinuous mapping.

Remark 2.2 Let C be a nonempty closed convex subset of a Banach space E, and let A be a monotone and hemicontinuous mapping from C into E with C=D(A). Then

VI(C,A)= { u C : v u , A v 0  for all  v C } .

It is obvious that the set VI(C,A) is a closed convex subset of C and the set A 1 0=VI(E,A) is a closed convex subset of E (see [27]).

We make use of the function V:E× E R defined by

V ( x , x ) = x 2 2 x , x + x 2

for all xE and x E , which was studied by Alber [18]. That is,

V ( x , x ) =ϕ ( x , J 1 x )

for all xE and x E . We know the following lemma.

Lemma 2.7 ([18])

Let E be a reflexive, strictly convex and smooth Banach space with E as its dual. Then

V ( x , x ) +2 J 1 x x , y V ( x , x + y )

for all xE and x , y E .

Lemma 2.8 ([2])

Let C be a closed subset of a smooth, strictly convex and reflexive Banach space E. Let B:C E be a continuous and monotone mapping, ψ:CR be a lower semicontinuous and convex function, and θ be a bifunction from C×C to satisfying (E1)-(E4). Then, for r>0 and xE, there exists uC such that

θ(u,y)+Bu,yu+ψ(y)ψ(u)+ 1 r yu,JuJx0,yC.

Define a mapping T r :EC by

T r ( x ) = { u C : θ ( u , y ) + B u , y u + ψ ( y ) ψ ( u ) + 1 r y u , J u J x 0 , y C }
(2.1)

for all xE. Then the following conclusions hold:

  1. (i)

    T r is single-valued;

  2. (ii)

    T r is a firmly nonexpansive type mapping [33], i.e., for all x,yE,

    T r x T r y,J T r xJ T r y T r x T r y,JxJy;
  3. (iii)

    F( T r )=GMEP= F ˆ ( T r );

  4. (iv)

    GMEP is a closed and convex subset of C;

  5. (v)

    ϕ(p, T r z)+ϕ( T r z,z)ϕ(p,z), pF( T r ), xE.

Remark 2.3 ([2])

The mapping T r :EC defined by (2.1) is a relatively nonexpansive mapping. Thus, it is a hemi-relatively nonexpansive mapping.

3 An iterative scheme for a family of hemi-relatively nonexpansive mappings

In this section, we introduce a new hybrid iterative scheme for a common element of the solution set of problem (1.1), the solution set of problem (1.3) for an inverse strongly monotone mapping and the set of common fixed points of a family of hemi-relatively nonexpansive mappings.

Theorem 3.1 Let E be a real uniformly smooth and 2-uniformly convex Banach space and C be a nonempty, closed and convex subset of E. Let A:C E be a γ-inverse strongly monotone mapping and B:C E be a continuous and monotone mapping. Let ψ:CR be a lower semicontinuous and convex function and θ be a bifunction from C×C to satisfying (E1)-(E4). Let { T λ :λΛ} be a family of closed hemi-relatively nonexpansive mappings of C into itself having

Ω=FVI(C,A)GMEP,

where F= λ Λ F( T λ ) is the set of common fixed points of { T λ }. Assume that AxAxAp for all xC and pVI(C,A). Suppose that 0<a< μ n <b= c 2 γ 2 , where c is the constant in Lemma  2.1. Let { r n }[ c ,+) for some c >0. Let { x n } be the sequence generated by

{ x 0 C , chosen arbitrarily , y n = Π C J 1 ( J x n μ n A x n ) , z n , λ = J 1 ( α n J x n + ( 1 α n ) J T λ y n ) , u n , λ = T r n , λ z n , λ , H 0 , λ = { v C : sup λ Λ ϕ ( v , u 0 , λ ) H 0 , λ = α 0 ϕ ( v , x 0 ) + ( 1 α 0 ) ϕ ( v , y 0 ) ϕ ( v , x 0 ) } , H n , λ = { v H n 1 , λ W n 1 , λ : sup λ Λ ϕ ( v , u n , λ ) H n , λ = α n ϕ ( v , x n ) + ( 1 α n ) ϕ ( v , y n ) ϕ ( v , x n ) } , W 0 , λ = C , W n , λ = { v H n 1 , λ W n 1 , λ : x n v , J x 0 J x n 0 } , x n + 1 = Π H n , λ W n , λ x 0 , n 0 , λ Λ ,
(3.1)

where J is the normalized duality mapping, and { α n } is a sequence in [0,1] satisfying lim inf n (1 α n )>0. Then { x n } converges to Π Ω x 0 , where Π Ω is the generalized projection of E onto Ω.

Proof Step 1. We prove that H n , λ and W n , λ both are closed and convex subsets of C and Ω H n , λ W n , λ with n0, λΛ. In fact, it is obvious that W n , λ is closed and convex, and H n , λ is closed for each n0, λΛ. Since

ϕ ( v , u n , λ ) α n ϕ ( v , x n ) + ( 1 α n ) ϕ ( v , y n ) 2 v , α n J x n + ( 1 α n ) J y n J u n , λ ( 1 α n ) y n 2 u n , λ 2 + α n x n 2

and

α n ϕ ( v , x n ) + ( 1 α n ) ϕ ( v , y n ) ϕ ( v , x n ) ϕ ( v , y n ) ϕ ( v , x n ) ,

H n , λ is convex for each n0, λΛ. Hence H n , λ W n , λ is closed and convex for all n0, λΛ.

Step 2. For any given pΩ, from (v) of Lemma 2.8 and that T λ is hemi-relatively nonexpansive, we have

ϕ ( p , u 0 , λ ) = ϕ ( p , T r 0 , λ z 0 , λ ) ϕ ( p , z 0 , λ ) = ϕ ( p , J 1 ( α 0 J x 0 + ( 1 α 0 ) J T λ y 0 ) ) = p 2 2 p , α 0 J x 0 + ( 1 α 0 ) J T λ y 0 + α 0 J x 0 + ( 1 α 0 ) J T λ y 0 2 p 2 2 α 0 p , J x 0 2 ( 1 α 0 ) p , J T λ y 0 + α 0 x 0 2 + ( 1 α 0 ) T λ y 0 2 = α 0 ϕ ( p , x 0 ) + ( 1 α 0 ) ϕ ( p , T λ y 0 ) α 0 ϕ ( p , x 0 ) + ( 1 α 0 ) ϕ ( p , y 0 )
(3.2)

for each λΛ. From Lemma 2.1, Lemma 2.7, and the assumption of A, we obtain

ϕ ( p , y 0 ) = ϕ ( p , Π C J 1 ( J x 0 μ 0 A x 0 ) ) ϕ ( p , J 1 ( J x 0 μ 0 A x 0 ) ) = V ( p , J x 0 μ 0 A x 0 ) V ( p , J x 0 μ 0 A x 0 + μ 0 A x 0 ) 2 J 1 ( J x 0 μ 0 A x 0 ) p , μ 0 A x 0 = V ( p , J x 0 ) 2 μ 0 J 1 ( J x 0 μ 0 A x 0 ) J 1 ( J x 0 ) , A x 0 2 μ 0 x 0 p , A x 0 V ( p , J x 0 ) 2 μ 0 J 1 ( J x 0 μ 0 A x 0 ) J 1 ( J x 0 ) , A x 0 2 μ 0 x 0 p , A x 0 A p 2 μ 0 x 0 p , A p ϕ ( p , x 0 ) + 4 μ 0 2 c 2 A x 0 2 2 μ 0 γ A x 0 A p 2 ϕ ( p , x 0 ) + 2 μ 0 ( 2 μ 0 c 2 γ ) A x 0 A p 2 ϕ ( p , x 0 ) .
(3.3)

From (3.2) and (3.3),

ϕ(p, u 0 , λ ) α 0 ϕ(p, x 0 )+(1 α 0 )ϕ(p, y 0 )ϕ(p, x 0 )
(3.4)

for each λΛ. Thus

sup λ Λ ϕ(p, u 0 , λ ) α 0 ϕ(p, x 0 )+(1 α 0 )ϕ(p, y 0 )ϕ(p, x 0 ).

Therefore, p H 0 , λ and p H 0 , λ W 0 , λ . Suppose that Ω H n 1 , λ W n 1 , λ . Then, the methods in (3.2) and (3.3) imply that

ϕ(p, u n , λ ) α n ϕ(p, x n )+(1 α n )ϕ(p, y n )ϕ(p, x n ),λΛ,

which implies that p H n , λ . Since x n = Π H n 1 , λ W n 1 , λ x 0 , it follows from Lemma 2.2 that

x n z,J x 0 J x n 0,z H n 1 , λ W n 1 , λ .

It implies that x n p,J x 0 J x n 0. Hence p W n , λ . Therefore, Ω H n , λ W n , λ . Then, by induction on n, Ω H n , λ W n , λ for all n0, λΛ. From Lemma 2.5 and Lemma 2.6, we know that VI(C,A) is closed and convex set. Therefore, Ω is closed and convex. The sequence { x n } generated by (3.1) is well defined.

Step 3. We prove that { x n } is a Cauchy sequence. Let pΩ. From the definition of H n , λ , W n , λ and Lemma 2.2, we have x n = Π H n 1 , λ W n 1 , λ x 0 and

ϕ(p, x n )+ϕ( x n , x 0 )ϕ(p, x 0 ).

Thus { x n } is bounded. Moreover, since

x n = Π H n 1 , λ W n 1 , λ x 0 , x n + 1 = Π H n , λ W n , λ x 0 H n , λ W n , λ ,

we have

ϕ( x n + 1 , x n )+ϕ( x n , x 0 )ϕ( x n + 1 , x 0 ),

which implies that {ϕ( x n , x 0 )} is nondecreasing. It follows that the limit of {ϕ( x n , x 0 )} exists. By the construction H n , λ W n , λ , one has that

H m , λ W m , λ H m 1 , λ W m 1 , λ , x m = Π H m , λ W m , λ x 0 H n , λ W n , λ

for any positive integer mn. From Lemma 2.2, we have

ϕ ( x m , x n ) = ϕ ( x m , Π H n 1 , λ W n 1 , λ x 0 ) ϕ ( x m , x 0 ) ϕ ( Π H n , λ W n , λ x 0 , x 0 ) = ϕ ( x m , x 0 ) ϕ ( x n , x 0 ) .
(3.5)

Letting m,n in (3.5), we have

ϕ( x m , x n )0.

Thus, Lemma 2.4 implies that

lim m , n x m x n =0.

This implies that { x n } is a Cauchy sequence.

Step 4. Now, we prove that lim n y n T λ y n =0 for each λΛ and qF= λ Λ F( T λ ). Since x n + 1 H n , λ , we obtain

ϕ( x n + 1 , u n , λ )ϕ( x n + 1 , x n )

for all λΛ and

ϕ( x n + 1 , y n )ϕ( x n + 1 , x n ).

By (3.5) and Lemma 2.4, we have

lim n x n + 1 u n , λ = lim n x n + 1 y n =0,λΛ.

Hence,

lim n x n u n , λ = lim n x n y n = lim n u n , λ y n =0
(3.6)

for all λΛ. By the methods in (3.2) and (3.4), we have

ϕ(p, u n , λ )ϕ(p, z n , λ )ϕ(p, x n )
(3.7)

for all n0, λΛ. Since J is uniformly continuous on the bounded sets, it follows from Lemma 2.8(v), (3.2) and (3.7) that for any given pΩ,

ϕ ( u n , λ , z n , λ ) = ϕ ( T r n , λ z n , λ , z n , λ ) ϕ ( p , z n , λ ) ϕ ( p , T r n , λ z n , λ ) ϕ ( p , x n ) ϕ ( p , u n , λ ) = x n 2 u n , λ 2 2 p , J x n J u n , λ ( x n u n , λ ) ( x n + u n , λ ) + 2 p J x n J u n , λ 0 , as  n

for all λΛ. From Lemma 2.4,

lim n u n , λ z n , λ =0.
(3.8)

Thus lim n z n , λ x n =0 for each λΛ. Since J is uniformly continuous on bounded sets, we obtain

( 1 α n ) J x n J T λ y n = α n J x n + ( 1 α n ) J T λ y n J x n = J z n , λ J x n 0

as n. Since lim inf n (1 α n )>0 and J 1 is uniformly continuous on bounded sets, we obtain

lim n x n T λ y n =0
(3.9)

for all λΛ. It follows from (3.6) and (3.9) that

y n T λ y n y n x n + x n T λ y n 0,as n
(3.10)

for all λΛ. Since { x n } is a Cauchy sequence, there exists a point qC such that lim n x n =q. It follows from (3.6) that y n q. Since T λ is closed, from (3.10) we get qF= λ Λ F( T λ ).

Step 5. Now, we show that qVI(C,A)GMEP. Let SE× E be a mapping as follows:

Sv={ A v + N C ( v ) , v C , , v C .

By Lemma 2.6, S is maximal monotone, and S 1 (0)=VI(C,A). Let (v,w)G(S) (graph of S). Since wSv=Av+ N C (v), we have wAv N C (v). Moreover, y n C implies that

v y n ,wAv0.
(3.11)

On the other hand, from y n = Π C J 1 (J x n μ n A x n ) and Lemma 2.2, we obtain that

v y n , J y n ( J x n μ n A x n ) 0.

Hence,

v y n , J x n J y n μ n A x n 0.
(3.12)

From (3.11) and (3.12), we obtain

v y n , w v y n , A v v y n , A v + v y n , J x n J y n μ n A x n = v y n , A v A x n + J x n J y n μ n = v y n , A v A y n + v y n , A y n A x n + v y n , J x n J y n μ n v y n A y n A x n v y n J x n J y n μ n 1 γ v y n y n x n 1 μ n v y n J x n J y n .

Since J is uniformly continuous on bounded sets, by (3.6) we have

lim n v y n ,w=vq,w0.

Thus, since S is maximal monotone, we have q S 1 (0) and qVI(C,A). Next, we show that qGMEP=F( T r , λ ). Let

H λ ( u n , λ ,y)= θ λ ( u n , λ ,y)+B u n , λ ,y u n , λ +ψ(y)ψ( u n , λ ),yC.

From (3.6) and (3.8), we obtain lim n u n , λ =q and lim n z n , λ =q for all λΛ. Since J is uniformly continuous, from (3.8) we have lim n J u n , λ J z n , λ =0. Therefore, it follows from r n [ c ,) for some c >0 that lim n J u n , λ J z n , λ r n =0. Since u n , λ = T r n , λ z n , λ , we have

H λ ( u n , λ ,y)+ 1 r n y u n , λ ,J u n , λ J z n , λ 0,yC,λΛ.

Combining the above inequality and (E2), we get

y u n , λ J u n , λ J z n , λ r n 1 r n y u n , λ , J u n , λ J z n , λ = H λ ( u n , λ , y ) H λ ( y , u n , λ ) , y C , λ Λ .

Taking the limit as n in the above inequality and by (E4), we have H λ (y,q)0 for all yC, λΛ. For any t(0,1) and yC, define

y t =ty+(1t)qC.

Then H λ ( y t ,q)0. From (E1) and (E4), we have

0 = H λ ( y t , y t ) = H λ ( y t , t y + ( 1 t ) q ) t H λ ( y t , y ) + ( 1 t ) H λ ( y t , q ) t H λ ( y t , y ) ,

i.e., H λ ( y t ,y)0, for all λΛ. Thus, from (E3) and let t0, we have H λ (q,y)0 for all yC, λΛ. This implies that qGMEP. Therefore qΩ.

Step 6. Finally, we prove that q= Π Ω x 0 . Since x n + 1 = Π H n , λ W n , λ x 0 and by Lemma 2.2, we have

x n + 1 z,J x 0 J x n + 1 0,z H n , λ W n , λ .
(3.13)

Taking the limit in (3.13) and from Ω H n , λ W n , λ for all n0, λΛ, we obtain

qz,J x 0 Jq0,zΩ.

Therefore, from Lemma 2.2, we have q= Π Ω x 0 . □

Remark 3.1 An iterative scheme for finding a solution of the variational inequality problem for a mapping A that satisfies the following conditions in a 2-uniformly and uniformly smooth Banach space E:

  1. (1)

    A is inverse strongly monotone,

  2. (2)

    VI(C,A),

  3. (3)

    AxAxAu for all xC and uVI(C,A).

If condition (3) holds, then we can prove a convergence theorem for variational inequality problems. To consider the general variational inequality problem for inverse strongly monotone mappings, we have to assume condition (3) (see [27]).

For a practical case, we may apply this theorem to a finite number of mappings { T 1 , T 2 ,, T m } as follows.

Corollary 3.1 Let E be a real uniformly smooth and 2-uniformly convex Banach space and C be a nonempty, closed and convex subset of E. Let A:C E be a γ-inverse strongly monotone mapping and B:C E be a continuous and monotone mapping. Let ψ:CR be a lower semicontinuous and convex function and θ be a bifunction from C×C to satisfying (E1)-(E4). Let { T 1 , T 2 ,, T m } be a finite family of closed hemi-relatively nonexpansive mappings of C into itself having

Ω=FVI(C,A)GMEP,

where F= k = 1 m F( T k ) is the set of common fixed points. Assume that AxAxAp for all xC and pVI(C,A). Suppose that 0<a< μ n <b= c 2 γ 2 , where c is the constant in Lemma  2.1. Let { r n }[ c ,+) for some c >0. Let { x n } be the sequence generated by

{ x 0 C , chosen arbitrarily , y n = Π C J 1 ( J x n μ n A x n ) , z n , k = J 1 ( α n J x n + ( 1 α n ) J T k y n ) , u n , k = T r n , k z n , k , H 0 , k = { v C : max k = 1 , 2 , , m ϕ ( v , u 0 , k ) H 0 , k = α 0 ϕ ( v , x 0 ) + ( 1 α 0 ) ϕ ( v , y 0 ) ϕ ( v , x 0 ) } , H n , k = { v H n 1 , k W n 1 , k : max k = 1 , 2 , , m ϕ ( v , u n , k ) H n , k = α n ϕ ( v , x n ) + ( 1 α n ) ϕ ( v , y n ) ϕ ( v , x n ) } , W 0 , k = C , W n , k = { v W n 1 , k H n 1 , k : x n v , J x 0 J x n 0 } , x n + 1 = Π H n , k W n , k x 0 , n 0 , k = 1 , 2 , , m ,

where J is the normalized duality mapping, and { α n } is a sequence in [0,1] satisfying lim inf n (1 α n )>0. Then { x n } converges to Π Ω x 0 , where Π Ω is the generalized projection of E onto Ω.

If E=H is the Hilbert space, then J= J 1 =I is the identity mapping on H. Then Theorem 3.1 reduces to the following corollary.

Corollary 3.2 Let H be a real Hilbert space and C be a nonempty, closed and convex subset of H. Let A:CH be a continuous and monotone mapping. Let ψ:CR be a lower semicontinuous and convex function and θ be a bifunction from C×C to satisfying (E1)-(E4). Let { T λ :CC:λΛ} be a family of closed hemi-relatively nonexpansive mappings with

Ω=FVI(C,A)GMEP,

where F= λ Λ F( T λ ) is the set of common fixed points of { T λ }. Assume that AxAxAp for all xC and pVI(C,A). Suppose that 0<a< μ n <b= c 2 γ 2 , where c is the constant in Lemma  2.1. Let { r n }[ c ,+) for some c >0. Let { x n } be the sequence generated by

{ x 0 C , chosen arbitrarily , y n = P C ( x n μ n A x n ) , z n , λ = α n x n + ( 1 α n ) T λ y n , u n , λ = T r n , λ z n , λ , H 0 , λ = { v C : sup λ Λ v u 0 , λ 2 H 0 , λ = α 0 v x 0 2 + ( 1 α 0 ) v y 0 2 v x 0 2 } , H n , λ = { v H n 1 , λ W n 1 , λ : sup λ Λ v u n , λ 2 H n , λ = α n v x n 2 + ( 1 α n ) v y n 2 v x n 2 } , W 0 , λ = C , W n , λ = { v W n 1 , λ H n 1 , λ : x n v , J x 0 J x n 0 } , x n + 1 = P H n , λ W n , λ x 0 , n 0 , λ Λ ,

where { α n } is a sequence in [0,1] satisfying lim inf n (1 α n )>0. Then { x n } converges to P Ω x 0 , where P Ω is the metric projection of H onto Ω.

References

  1. 1.

    Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Amsterdam; 1990:111-121.

    Google Scholar 

  2. 2.

    Zhang SS: Generalized mixed equilibrium problem in Banach spaces. Appl. Math. Mech. 2009,30(9):1105-1112. 10.1007/s10483-009-0904-6

    MathSciNet  Article  Google Scholar 

  3. 3.

    Ceng LC, Yao JC: A hybrid iterative scheme for mixed equilibrium problems and fixed point problems. J. Comput. Appl. Math. 2008, 214: 186-201. 10.1016/j.cam.2007.02.022

    MathSciNet  Article  Google Scholar 

  4. 4.

    Takahashi S, Takahashi W: Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space. Nonlinear Anal. 2008, 69: 1025-1033. 10.1016/j.na.2008.02.042

    MathSciNet  Article  Google Scholar 

  5. 5.

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

    MathSciNet  Google Scholar 

  6. 6.

    Chang SS, Lee HWJ, Chan CK: A new hybrid method for solving a generalized equilibrium problem, solving a variational inequality problem and obtaining common fixed points in Banach spaces with applications. Nonlinear Anal. 2010, 73: 2260-2270. 10.1016/j.na.2010.06.006

    MathSciNet  Article  Google Scholar 

  7. 7.

    Ibaraki T, Kimura Y, Takahashi W: Convergence theorems for generalized projections and maximal monotone operators in Banach spaces. Abstr. Appl. Anal. 2003,2003(10):621-629. 10.1155/S1085337503207065

    MathSciNet  Article  Google Scholar 

  8. 8.

    Kim JK, Kim KS: New systems of generalized mixed variational inequalities with nonlinear mappings in Hilbert spaces. J. Comput. Anal. Appl. 2010,12(3):601-612.

    MathSciNet  Google Scholar 

  9. 9.

    Kim JK, Kim KS: On new systems of generalized nonlinear mixed quasivariational inequalities with two-variable operators. Taiwan. J. Math. 2007,11(3):867-881.

    Google Scholar 

  10. 10.

    Kim JK, Kim KS: A new system of a generalized nonlinear mixed quasivariational inequalities and convergence in Hilbert spaces. J. Korean Math. Soc. 2007,44(4):823-834. 10.4134/JKMS.2007.44.4.823

    MathSciNet  Article  Google Scholar 

  11. 11.

    Kim KS: Convergence to common solutions of various problems for nonexpansive mappings in Hilbert spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 185

    Google Scholar 

  12. 12.

    Matsushita S, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in a Banach space. J. Approx. Theory 2005, 134: 257-266. 10.1016/j.jat.2005.02.007

    MathSciNet  Article  Google Scholar 

  13. 13.

    Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal. 2009, 70: 45-57. 10.1016/j.na.2007.11.031

    MathSciNet  Article  Google Scholar 

  14. 14.

    Zegeye H, Shahzad N: Strong convergence theorems for monotone mappings and relatively weak nonexpansive mappings. Nonlinear Anal. 2009, 70: 2707-2716. 10.1016/j.na.2008.03.058

    MathSciNet  Article  Google Scholar 

  15. 15.

    Kim KS: Convergence of a hybrid algorithm for a reversible semigroup of nonlinear operators in Banach spaces. Nonlinear Anal. 2010, 73: 3413-3419. 10.1016/j.na.2010.07.027

    MathSciNet  Article  Google Scholar 

  16. 16.

    Kim KS: Nonlinear ergodic theorems of nonexpansive type mappings. J. Math. Anal. Appl. 2009, 358: 261-272. 10.1016/j.jmaa.2009.04.045

    MathSciNet  Article  Google Scholar 

  17. 17.

    Kim KS: Approximation of common fixed points for an implicit iteration with errors of finite family of nonself nonexpansive mappings in Banach spaces. Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 2008,15(6):807-815.

    MathSciNet  Google Scholar 

  18. 18.

    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: Kartsatos AG. Dekker, New York; 1996:15-50.

    Google Scholar 

  19. 19.

    Alber YI, Reich S: An iterative method for solving a class of nonlinear operator equations in Banach spaces. Panam. Math. J. 1994,4(2):39-54.

    MathSciNet  Google Scholar 

  20. 20.

    Reich S: A weak convergence theorem for the alternating method with Bregman distance. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996:313-318.

    Google Scholar 

  21. 21.

    Butnariu D, Reich S, Zaslavski AJ: Weak convergence of orbits of nonlinear operators in reflexive Banach spaces. Numer. Funct. Anal. Optim. 2003, 24: 489-508. 10.1081/NFA-120023869

    MathSciNet  Article  Google Scholar 

  22. 22.

    Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in reflexive Banach spaces. J. Appl. Anal. 2001, 7: 151-174.

    MathSciNet  Article  Google Scholar 

  23. 23.

    Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization. Optimization 1996, 37: 323-339. 10.1080/02331939608844225

    MathSciNet  Article  Google Scholar 

  24. 24.

    Su Y, Wang Z, Xu HK: Strong convergence theorems for a common fixed point of two hemi-relatively nonexpansive mappings. Nonlinear Anal. 2009,71(11):5616-5628. 10.1016/j.na.2009.04.053

    MathSciNet  Article  Google Scholar 

  25. 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(1):20-30. 10.1016/j.cam.2008.06.011

    MathSciNet  Article  Google Scholar 

  26. 26.

    Kimura Y, Takahashi W: On a hybrid method for a family of relatively nonexpansive mappings in Banach space. J. Math. Anal. Appl. 2009, 357: 356-363. 10.1016/j.jmaa.2009.03.052

    MathSciNet  Article  Google Scholar 

  27. 27.

    Iiduka H, Takahashi W: Strong convergence studied by a hybrid type method for monotone operators in a Banach space. Nonlinear Anal. 2008, 68: 3679-3688. 10.1016/j.na.2007.04.010

    MathSciNet  Article  Google Scholar 

  28. 28.

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

    MathSciNet  Article  Google Scholar 

  29. 29.

    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 

  30. 30.

    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 10

    Google Scholar 

  31. 31.

    Pascali D, Sburlan S: Nonlinear Mappings of Monotone Type. Editura Academiae, Bucaresti; 1978.

    Google Scholar 

  32. 32.

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

    Article  Google Scholar 

  33. 33.

    Kohsaka F, Takahashi W: Existence and approximation of fixed points of firmly nonexpansive type mappings in Banach spaces. SIAM J. Optim. 2008,19(2):824-835. 10.1137/070688717

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for their valuable comments and suggestions which improved the presentation of this paper. This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (2012R1A1A4A01010526).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Kyung Soo Kim.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The main idea of this paper was proposed by KSK. KSK prepared the manuscript initially, JKK and WHL confirmed all the steps of proofs in this research. All authors 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

Kim, K.S., Kim, J.K. & Lim, W.H. Convergence theorems for common solutions of various problems with nonlinear mapping. J Inequal Appl 2014, 2 (2014). https://doi.org/10.1186/1029-242X-2014-2

Download citation

Keywords

  • common fixed point
  • generalized mixed equilibrium problem
  • generalized projection
  • hemi-relatively nonexpansive
  • variational inequality problem