Skip to main content

Strong convergence theorems for solving a general system of finite variational inequalities for finite accretive operators and fixed points of nonexpansive semigroups with weak contraction mappings

Abstract

In this paper, we prove a strong convergence theorem for finding a common solution of a general system of finite variational inequalities for finite different inverse-strongly accretive operators and solutions of fixed point problems for a nonexpansive semigroup in a Banach space based on a viscosity approximation method by using weak contraction mappings. Moreover, we can apply the above results to find the solutions of the class of k-strictly pseudocontractive mappings and apply a general system of finite variational inequalities into a Hilbert space. The results presented in this paper extend and improve the corresponding results of Ceng et al. (2008), Katchang and Kumam (2011), Wangkeeree and Preechasilp (2012), Yao et al. (2010) and many other authors.

MSC:47H05, 47H10, 47J25.

1 Introduction

Let E be a real Banach space with norm and C be a nonempty closed convex subset of E. Let E be the dual space of E and , denote the pairing between E and E . For q>1, the generalized duality mapping J q :E 2 E is defined by J q (x)={f E :x,f= x q ,f= x q 1 } for all xE. In particular, if q=2, the mapping J 2 is called the normalized duality mapping and, usually, write J 2 =J. Further, we have the following properties of the generalized duality mapping J q : (i) J q (x)= x q 2 J 2 (x) for all xE with x0; (ii) J q (tx)= t q 1 J q (x) for all xE and t[0,); and (iii) J q (x)= J q (x) for all xE. It is known that if E is smooth, then J is single-valued, which is denoted by j. Recall that the duality mapping j is said to be weakly sequentially continuous if for each x n x weakly, we have j( x n )j(x) weakly-*. We know that if E admits a weakly sequentially continuous duality mapping, then E is smooth (for the details, see [24, 25, 29]).

Let f:CC be a k-contraction mapping if there exists k[0,1) such that f(x)f(y)kxy, x,yC. Let S:CC a nonlinear mapping. We use F(S) to denote the set of fixed points of S, that is, F(S)={xC:Sx=x}. A mapping S is called nonexpansive if SxSyxy, x,yC. A mapping f is called weakly contractive on a closed convex set C in the Banach space E if there exists φ:[0,)[0,) is a continuous and strictly increasing function such that φ is positive on (0,), φ(0)=0, lim t φ(t)= and x,yC

f ( x ) f ( y ) xyφ ( x y ) .
(1.1)

If φ(t)=(1k)t, then f is called to be contractive with the contractive coefficient k. If φ(t)0, then f is said to be nonexpansive.

A family S={T(t):t0} of mappings of C into itself is called a nonexpansive semigroup (see also [14]) on C if it satisfies the following conditions:

  1. (i)

    T(0)x=x for all xC;

  2. (ii)

    T(s+t)=T(s)T(t) for all s,t0;

  3. (iii)

    T(s)xT(s)yxy for all x,yC and s0;

  4. (iv)

    for all xC, sT(s)x is continuous.

We denote by F(S) the set of all common fixed points ofS, that is,

F(S)= t = 0 F ( T ( t ) ) = { x C : T ( t ) x = x , 0 t < } .

It is known that F(S) is closed and convex. Moreover, for the study of nonexpansive semigroup mapping, see [5, 1416, 26] for more details.

In 2002, Suzuki [21] was the first one to introduce the following implicit iteration process in Hilbert spaces:

x n = α n u+(1 α n )T( t n )( x n ),n1
(1.2)

for the nonexpansive semigroup. In 2007, Xu [28] established a Banach space version of the sequence (1.2) of Suzuki [21]. In [4], Chen and He considered the viscosity approximation process for a nonexpansive semigroup and proved another strong convergence theorems for a nonexpansive semigroup in Banach spaces, which is defined by

x n + 1 = α n f( x n )+(1 α n )T( t n ) x n ,nN,
(1.3)

where f:CC is a fixed contractive mapping. Recall that an operator A:CE is said to be accretive if there exists j(xy)J(xy) such that

A x A y , j ( x y ) 0

for all x,yC. A mapping A:CE is said to be β-strongly accretive if there exists a constant β>0 such that

A x A y , j ( x y ) β x y 2 ,x,yC.

An operator A:CE is said to be β-inverse strongly accretive if, for any β>0

A x A y , j ( x y ) β A x A y 2

for all x,yC. Evidently, the definition of the inverse strongly accretive operator is based on that of the inverse strongly monotone operator. To convey an idea of the variational inequality, let C be a closed and convex set in a real Hilbert space H. For a given operator A, we consider the problem of finding x C such that

A x , x x 0

for all xC, which is known as the variational inequality, introduced and studied by Stampacchia [22] in 1964 in the field of potential theory. In 2006, Aoyama et al. [1] first considered the following generalized variational inequality problem in a smooth Banach space. Let A be an accretive operator of C into E. Find a point xC such that

A x , j ( y x ) 0
(1.4)

for all yC. This problem is connected with the fixed point problem for nonlinear mappings, the problem of finding a zero point of an accretive operator and so on. For the problem of finding a zero point of an accretive operator by the proximal point algorithm, see Kamimura and Takahashi [10, 11]. In order to find a solution of the variational inequality (1.4), Aoyama et al. [1] proved the strong convergence theorem in the framework of Banach spaces which is generalized by Iiduka et al. [8] from Hilbert spaces.

Motivated by Aoyama et al. [1] and also Ceng et al. [3], Qin et al. [18] and Yao et al. [29] first considered the following new general system of variational inequalities in Banach spaces:

Let A:CE be a β-inverse strongly accretive mapping. Find ( x , y )C×C such that

{ λ A y + x y , j ( x x ) 0 , x C , μ A x + y x , j ( x y ) 0 , x C .
(1.5)

Let C be nonempty closed convex subset of a real Banach space E. For two given operators A,B:CE, consider the problem of finding ( x , y )C×C such that

{ λ A y + x y , j ( x x ) 0 , x C , μ B x + y x , j ( x y ) 0 , x C ,
(1.6)

where λ and μ are two positive real numbers. This system is called the general system of variational inequalities in a real Banach spaces. If we add up the requirement that A=B, then the problem (1.6) is reduced to the system (1.5).

By the following general system of variational inequalities, we extend into the general system of finite variational inequalities which is to find ( x 1 , x 2 ,, x M )C×C××C and is defined by

{ λ M A M x M + x 1 x M , j ( x x 1 ) 0 , x C , λ M 1 A M 1 x M 1 + x M x M 1 , j ( x x M ) 0 , x C , λ 2 A 2 x 2 + x 3 x 2 , j ( x x 3 ) 0 , x C , λ 1 A 1 x 1 + x 2 x 1 , j ( x x 2 ) 0 , x C ,
(1.7)

where { A l } l = 1 M :CE is a family of mappings, λ l 0, l{1,2,,M}. The set of solutions of (1.7) is denoted by GSVI(C, A l ). In particular, if M=2, A 1 =B, A 2 =A, λ 1 =μ, λ 2 =λ, x 1 = x and x 2 = y , then the problem (1.7) is reduced to the problem (1.6).

In this paper, motivated and inspired by the idea of Ceng et al. [3], Katchang and Kumam [12] and Yao et al. [29], we introduce a new iterative scheme with weak contraction for finding solutions of a new general system of finite variational inequalities (1.7) for finite different inverse-strongly accretive operators and solutions of fixed point problems for nonexpansive semigroups in a Banach space. Consequently, we obtain new strong convergence theorems for fixed point problems which solve the general system of variational inequalities (1.6). Moreover, we can apply the above theorem to finding solutions of zeros of accretive operators and the class of k-strictly pseudocontractive mappings. The results presented in this paper extend and improve the corresponding results of Ceng et al. [3], Katchang and Kumam [12], Wangkeeree and Preechasilp [26], Yao et al. [29] and many other authors.

2 Preliminaries

We always assume that E is a real Banach space and C is a nonempty closed convex subset of E.

Let U={xE:x=1}. A Banach space E is said to be uniformly convex if, for any ϵ(0,2], there exists δ>0 such that, for any x,yUxyϵ implies x + y 2 1δ. It is known that a uniformly convex Banach space is reflexive and strictly convex. A Banach space E is said to be smooth if the limit lim t 0 x + t y x t exists for all x,yU. It is also said to be uniformly smooth if the limit is attained uniformly for x,yU. The modulus of smoothness of E is defined by

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

where ρ:[0,)[0,) is a function. It is known that E is uniformly smooth if and only if lim τ 0 ρ ( τ ) τ =0. Let q be a fixed real number with 1<q2. A Banach space E is said to be q-uniformly smooth if there exists a constant c>0 such that ρ(τ)c τ q for all τ>0: see, for instance, [1, 24].

We note that E is a uniformly smooth Banach space if and only if J q is single-valued and uniformly continuous on any bounded subset of E. Typical examples of both uniformly convex and uniformly smooth Banach spaces are L p , where p>1. More precisely, L p is min{p,2}-uniformly smooth for every p>1. Note also that no Banach space is q-uniformly smooth for q>2; see [24, 27] for more details.

Let D be a subset of C and Q:CD. Then Q is said to be sunny if

Q ( Q x + t ( x Q x ) ) =Qx,

whenever Qx+t(xQx)C for xC and t0. A subset D of C is said to be a sunny nonexpansive retract of C if there exists a sunny nonexpansive retraction Q of C onto D. A mapping Q:CC is called a retraction if Q 2 =Q. If a mapping Q:CC is a retraction, then Qz=z for all z in the range of Q. For example, see [1, 23] for more details. The following result describes a characterization of sunny nonexpansive retractions on a smooth Banach space.

Proposition 2.1 ([19])

Let E be a smooth Banach space and let C be a nonempty subset of E. LetQ:ECbe a retraction and let J be the normalized duality mapping on E. Then the following are equivalent:

  1. (i)

    Q is sunny and nonexpansive;

  2. (ii)

    Q x Q y 2 xy,J(QxQy), x,yE;

  3. (iii)

    xQx,J(yQx)0, xE, yC.

Proposition 2.2 ([13])

Let C be a nonempty closed convex subset of a uniformly convex and uniformly smooth Banach space E, and let T be a nonexpansive mapping of C into itself withF(T). Then the setF(T)is a sunny nonexpansive retract of C.

A Banach space E is said to satisfy Opial’s condition if for any sequence { x n } in E x n x (n) implies

lim sup n x n x< lim sup n x n y,yEwithxy.

By [7], Theorem 1], it is well known that, if E admits a weakly sequentially continuous duality mapping, then E satisfies Opial’s condition and E is smooth.

We need the following lemmas for proving our main results.

Lemma 2.3 ([27])

Let E be a real 2-uniformly smooth Banach space with the best smooth constant K. Then the following inequality holds:

x + y 2 x 2 +2y,Jx+2 K y 2 ,x,yE.

Lemma 2.4 ([20])

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

Lemma 2.5 (Lemma 2.2 in [17])

Let{ a n }and{ b n }be two nonnegative real number sequences and{ α n }a positive real number sequence satisfying the conditions: n = 1 α n =and lim n b n α n =0. Let the recursive inequality

a n + 1 a n α n φ( a n )+ b n ,n0,

whereφ(a)is a continuous and strict increasing function for alla0withφ(0)=0. Then lim n a n =0.

Lemma 2.6 ([6])

Let E be a uniformly convex Banach space and B r (0):={xE:xr}be a closed ball of E. Then there exists a continuous strictly increasing convex functiong:[0,)[0,)withg(0)=0such that

λ x + μ y + γ z 2 λ x 2 +μ y 2 +γ z 2 λμg ( x y )

for allx,y,z B r (0)andλ,μ,γ[0,1]withλ+μ+γ=1.

Lemma 2.7 ([2])

Let C be a nonempty bounded closed convex subset of a uniformly convex Banach space E and let T be nonexpansive mapping of C into itself. If{ x n }is a sequence of C such that x n xweakly and x n T x n 0strongly, then x is a fixed point of T.

Lemma 2.8 (Yao et al. [29], Lemma 3.1]; see also [1], Lemma 2.8])

Let C be a nonempty closed convex subset of a real 2-uniformly smooth Banach space E. Let the mappingA:CEbe β-inverse-strongly accretive. Then, we have

( I λ A ) x ( I λ A ) y 2 x y 2 +2λ ( λ K 2 β ) A x A y 2 .

Ifβλ K 2 , thenIλAis nonexpansive.

3 Main results

In this section, we prove a strong convergence theorem. In order to prove our main results, we need the following two lemmas.

Lemma 3.1 Let C be a nonempty closed convex subset of a real 2-uniformly smooth Banach space E. Let Q C be the sunny nonexpansive retraction from E onto C. Let the mapping A l :CEbe a β l -inverse-strongly accretive such that β l λ l K 2 wherel{1,2,,M}. IfQ:CCis a mapping defined by

Q(x)= Q C (I λ M A M ) Q C (I λ M 1 A M 1 ) Q C (I λ 2 A 2 ) Q C (I λ 1 A 1 )x,xC,

thenQis nonexpansive.

Proof Taking Q C l = Q C (I λ l A l ) Q C (I λ l 1 A l 1 ) Q C (I λ 2 A 2 ) Q C (I λ 1 A 1 ), l{1,2,3,,M} and Q C 0 =I, where I is the identity mapping on E, we have Q= Q C M . For any x,yC, we have

Q ( x ) Q ( y ) = Q C M x Q C M y = Q C ( I λ M A M ) Q C M 1 x Q C ( I λ M A M ) Q C M 1 y ( I λ M A M ) Q C M 1 x ( I λ M A M ) Q C M 1 y Q C M 1 x Q C M 1 y Q C 0 x Q C 0 y = x y .

Therefore, Q is nonexpansive. □

Lemma 3.2 Let C be a nonempty closed convex subset of a real smooth Banach space E. Let Q C be the sunny nonexpansive retraction from E onto C. Let A l :CEbe nonlinear mapping, wherel{1,2,,M}. For x l C, l{1,2,,M}, ( x 1 , x 2 ,, x M )is a solution of problem (1.7) if and only if

{ x 1 = Q C ( I λ M A M ) x M , x 2 = Q C ( I λ 1 A 1 ) x 1 , x 3 = Q C ( I λ 2 A 2 ) x 2 , x M = Q C ( I λ M 1 A M 1 ) x M 1 ,
(3.1)

that is

x 1 = Q C (I λ M A M ) Q C (I λ M 1 A M 1 ) Q C (I λ 2 A 2 ) Q C (I λ 1 A 1 ) x 1 .

Proof From (1.7), we rewrite as

{ x 1 ( x M λ M A M x M ) , j ( x x 1 ) 0 , x C , x M ( x M 1 λ M 1 A M 1 x M 1 ) , j ( x x M ) 0 , x C , x 3 ( x 2 λ 2 A 2 x 2 ) , j ( x x 3 ) 0 , x C , x 2 ( x 1 λ 1 A 1 x 1 ) , j ( x x 2 ) 0 , x C .
(3.2)

Using Proposition 2.1(iii), the system (3.2) is equivalent to (3.1). □

Throughout this paper, the set of fixed points of the mapping Q is denoted by F(Q).

The next result states the main result of this work.

Theorem 3.3 Let E be a uniformly convex and 2-uniformly smooth Banach space which admits a weakly sequentially continuous duality mapping and C be a nonempty closed convex subset of E. LetS={T(t):t0}be a nonexpansive semigroup on C and Q C be a sunny nonexpansive retraction from E onto C. Let A l :CEbe a β l -inverse-strongly accretive such that β l λ l K 2 , wherel{1,2,,M}, and K be the best smooth constant. Let f be a weakly contractive mapping on C into itself with function φ. SupposeF:=F(Q)F(S), whereQis defined by Lemma 3.1. For arbitrary given x 0 =xC, the sequence{ x n }is generated by

{ y n = Q C ( I λ M A M ) Q C ( I λ M 1 A M 1 ) Q C ( I λ 2 A 2 ) Q C ( I λ 1 A 1 ) x n , x n + 1 = α n f ( x n ) + β n x n + γ n T ( μ n ) y n ,
(3.3)

where the sequences{ α n }, { β n }and{ γ n }are in(0,1)and satisfy{ α n }+{ β n }+{ γ n }=1, n1, { μ n }(0,), and λ l , l=1,2,,Mare positive real numbers. The following conditions are satisfied:

(C1) lim n α n =0and n = 0 α n =;

(C2) 0< lim inf n β n lim sup n β n <1;

(C3) lim n μ n =0;

(C4) lim n sup y C ˜ T( μ n + 1 )yT( μ n )y=0, C ˜ bounded subset of C.

Then{ x n }converges strongly to x ¯ 1 = Q F f( x ¯ 1 )and( x ¯ 1 , x ¯ 2 ,, x ¯ M )is a solution of the problem (1.7) where Q F is the sunny nonexpansive retraction of C ontoF.

Proof First, we prove that { x n } is bounded. Let pF, taking

Q C l = Q C (I λ l A l ) Q C (I λ l 1 A l 1 ) Q C (I λ 2 A 2 ) Q C (I λ 1 A 1 ),l{1,2,3,,M},

Q C 0 =I, where I is the identity mapping on E. From the definition of Q C is nonexpansive then Q C l , l{1,2,3,,M} also. We note that

y n p= Q C l x n Q C l p x n p.
(3.4)

From (3.3) and (3.4), we also have

x n + 1 p = α n f ( x n ) + β n x n + γ n T ( μ n ) y n p α n f ( x n ) p + β n x n p + γ n T ( μ n ) y n T ( μ n ) p α n [ x n p φ ( x n p ) ] + α n f ( p ) p + β n x n p + γ n y n p x n p α n φ ( x n p ) + α n f ( p ) p max { x 1 p , φ ( x 1 p ) , f ( p ) p } .
(3.5)

This implies that { x n } is bounded, so are {f( x n )}, { y n }, and {T( μ n ) y n }.

Next, we show that lim n x n + 1 x n =0. Notice that

y n + 1 y n = Q C M x n + 1 Q C M x n = Q C ( I λ M A M ) Q C M 1 x n + 1 Q C ( I λ M A M ) Q C M 1 x n ( I λ M A M ) Q C M 1 x n + 1 ( I λ M A M ) Q C M 1 x n Q C M 1 x n + 1 Q C M 1 x n Q C 0 x n + 1 Q C 0 x n = x n + 1 x n .

Setting x n + 1 =(1 β n ) z n + β n x n for all n0, we see that z n = x n + 1 β n x n 1 β n . Then we have

z n + 1 z n = x n + 2 β n + 1 x n + 1 1 β n + 1 x n + 1 β n x n 1 β n = α n + 1 f ( x n + 1 ) + γ n + 1 T ( μ n + 1 ) y n + 1 1 β n + 1 α n f ( x n ) + γ n T ( μ n ) y n 1 β n = α n + 1 f ( x n + 1 ) + γ n + 1 T ( μ n + 1 ) y n + 1 1 β n + 1 α n + 1 f ( x n ) 1 β n + 1 + α n + 1 f ( x n ) 1 β n + 1 γ n + 1 T ( μ n ) y n 1 β n + 1 + γ n + 1 T ( μ n ) y n 1 β n + 1 α n f ( x n ) + γ n T ( μ n ) y n 1 β n = α n + 1 1 β n + 1 ( f ( x n + 1 ) f ( x n ) ) + γ n + 1 1 β n + 1 ( T ( μ n + 1 ) y n + 1 T ( μ n ) y n ) + ( α n + 1 1 β n + 1 α n 1 β n ) f ( x n ) + ( γ n + 1 1 β n + 1 γ n 1 β n ) T ( μ n ) y n α n + 1 1 β n + 1 f ( x n + 1 ) f ( x n ) + γ n + 1 1 β n + 1 T ( μ n + 1 ) y n + 1 T ( μ n ) y n + | α n + 1 1 β n + 1 α n 1 β n | f ( x n ) + | γ n + 1 1 β n + 1 γ n 1 β n | T ( μ n ) y n α n + 1 1 β n + 1 f ( x n + 1 ) f ( x n ) + 1 β n + 1 α n + 1 1 β n + 1 ( y n + 1 y n + T ( μ n + 1 ) y n T ( μ n ) y n ) + | α n + 1 1 β n + 1 α n 1 β n | f ( x n ) + | 1 β n + 1 α n + 1 1 β n + 1 1 β n α n 1 β n | T ( μ n ) y n α n + 1 1 β n + 1 [ x n + 1 x n φ ( x n + 1 x n ) ] + ( 1 α n + 1 1 β n + 1 ) ( y n + 1 y n + T ( μ n + 1 ) y n T ( μ n ) y n ) + | α n + 1 1 β n + 1 α n 1 β n | f ( x n ) + | α n + 1 1 β n + 1 α n 1 β n | T ( μ n ) y n α n + 1 1 β n + 1 x n + 1 x n + y n + 1 y n + T ( μ n + 1 ) y n T ( μ n ) y n + | α n + 1 1 β n + 1 α n 1 β n | ( f ( x n ) + T ( μ n ) y n ) α n + 1 1 β n + 1 x n + 1 x n + x n + 1 x n + sup y { y n } T ( μ n + 1 ) y T ( μ n ) y + | α n + 1 1 β n + 1 α n 1 β n | ( f ( x n ) + T ( μ n ) y n ) .

Therefore,

z n + 1 z n x n + 1 x n α n + 1 1 β n + 1 x n + 1 x n + sup y { y n } T ( μ n + 1 ) y T ( μ n ) y + | α n + 1 1 β n + 1 α n 1 β n | ( f ( x n ) + T ( μ n ) y n ) .

It follows from the conditions (C1), (C2) and (C4), which implies that

lim sup n ( z n + 1 z n x n + 1 x n ) 0.

Applying Lemma 2.4, we obtain lim n z n x n =0 and also

x n + 1 x n =(1 β n ) z n x n 0

as n. Therefore, we have

lim n x n + 1 x n =0.
(3.6)

Next, we show that lim n T( μ n ) y n y n =0. Since pF, from Lemma 2.6, we obtain

x n + 1 p 2 = α n f ( x n ) + β n x n + γ n T ( μ n ) y n p 2 α n f ( x n ) p 2 + ( 1 α n γ n ) x n p 2 + γ n y n p 2 = α n f ( x n ) p 2 + ( 1 α n ) x n p 2 γ n ( x n p 2 y n p 2 ) = α n f ( x n ) p 2 + ( 1 α n ) x n p 2 γ n ( x n p y n p ) ( x n p + y n p ) α n f ( x n ) p 2 + x n p 2 γ n x n y n 2 .

Therefore, we have

γ n x n y n 2 α n f ( x n ) p 2 + x n p 2 x n + 1 p 2 α n f ( x n ) p 2 + ( x n p + x n + 1 p ) x n x n + 1 .

From the condition (C1) and (3.6), this implies that x n y n 0 as n. Now, we note that

x n T ( μ n ) y n x n x n + 1 + x n + 1 T ( μ n ) y n = x n x n + 1 + α n f ( x n ) + β n x n + γ n T ( μ n ) y n T ( μ n ) y n = x n x n + 1 + α n ( f ( x n ) T ( μ n ) y n ) + β n ( x n T ( μ n ) y n ) x n x n + 1 + α n f ( x n ) T ( μ n ) y n + β n x n T ( μ n ) y n .

Therefore, we get

x n T ( μ n ) y n 1 1 β n x n x n + 1 + α n 1 β n f ( x n ) T ( μ n ) y n .

From the conditions (C1), (C2) and (3.6), this implies that x n T( μ n ) y n 0 as n. Since

x n T ( μ n ) x n x n T ( μ n ) y n + T ( μ n ) y n T ( μ n ) x n x n T ( μ n ) y n + y n x n ,

and hence it follows that lim n T( μ n ) x n x n =0.

Next, we prove that zF:=F(Q)F(S). By the reflexivity of E and boundedness of the sequence { x n }, we may assume that x n i z for some zC.

  1. (a)

    First, we show that zF(S). Put x i = x n i , α i = α n i , β i = β n i , γ i = γ n i and μ i = μ n i for iN, let t i 0 be such that

    μ i 0and T ( μ i ) x i x i μ i 0,i.

Fix t>0. Notice that

x i T ( t ) p k = 0 [ t / μ i ] 1 T ( ( k + 1 ) μ i ) x i T ( k μ i ) x i + T ( [ t / μ i ] μ i ) x i T ( [ t / μ i ] μ i ) z + T ( [ t / μ i ] μ i ) z T ( t ) z [ t / μ i ] T ( μ i ) x i x i + x i p + T ( t [ t / μ i ] μ i ) z z t T ( μ i ) x i x i μ i + x i p + T ( t [ t / μ i ] μ i ) z z t T ( μ i ) x i x i μ i + x i p + max { T ( s ) z z : 0 s μ i } .

For all iN, we have

lim sup i x i T ( t ) z lim sup i x i z.

Since the Banach space E with a weakly sequentially continuous duality mapping satisfies Opial’s condition, this implies T(t)z=z. Therefore, zF(S).

  1. (b)

    Next, we show that zF(Q). From Lemma 3.1, we know that Q= Q C M is nonexpansive; it follows that

    y n Q y n = Q C M x n Q C M y n x n y n .

Thus lim n y n Q y n =0. Since Q is nonexpansive, we get

x n Q x n x n y n + y n Q y n + Q y n Q x n 2 x n y n + y n Q y n ,

and so

lim n x n Q x n =0.
(3.7)

By Lemma 2.7 and (3.7), we have zF(Q). Therefore, zF.

Next, we show that lim sup n (fI) x ¯ 1 ,J( x n x ¯ 1 )0, where x ¯ 1 = Q F f( x ¯ 1 ). Since { x n } is bounded, we can choose a sequence { x n i } of { x n } where x n i z such that

lim sup n ( f I ) x ¯ 1 , J ( x n x ¯ 1 ) = lim i ( f I ) x ¯ 1 , J ( x n i x ¯ 1 ) .
(3.8)

Now, from (3.8), Proposition 2.1(iii) and the weakly sequential continuity of the duality mapping J, we have

lim sup n ( f I ) x ¯ 1 , J ( x n x ¯ 1 ) = lim i ( f I ) x ¯ 1 , J ( x n i x ¯ 1 ) = ( f I ) x ¯ 1 , J ( z x ¯ 1 ) 0 .
(3.9)

From (3.6), it follows that

lim sup n ( f I ) x ¯ 1 , J ( x n + 1 x ¯ 1 ) 0.
(3.10)

Finally, we show that { x n } converges strongly to x ¯ 1 = Q F f( x ¯ 1 ). We compute that

x n + 1 x ¯ 1 2 = x n + 1 x ¯ 1 , J ( x n + 1 x ¯ 1 ) = α n f ( x n ) + β n x n + γ n T ( μ n ) y n x ¯ 1 , J ( x n + 1 x ¯ 1 ) = α n ( f ( x n ) x ¯ 1 ) + β n ( x n x ¯ 1 ) + γ n ( T ( μ n ) y n x ¯ 1 ) , J ( x n + 1 x ¯ 1 ) = α n f ( x n ) f ( x ¯ 1 ) , J ( x n + 1 x ¯ 1 ) + α n f ( x ¯ 1 ) x ¯ 1 , J ( x n + 1 x ¯ 1 ) + β n x n x ¯ 1 , J ( x n + 1 x ¯ 1 ) + γ n T ( μ n ) y n x ¯ 1 , J ( x n + 1 x ¯ 1 ) α n [ x n x ¯ 1 φ ( x n x ¯ 1 ) ] x n + 1 x ¯ 1 + α n f ( x ¯ 1 ) x ¯ 1 , J ( x n + 1 x ¯ 1 ) + β n x n x ¯ 1 x n + 1 x ¯ 1 + γ n y n x ¯ 1 x n + 1 x ¯ 1 α n x n x ¯ 1 x n + 1 x ¯ 1 α n φ ( x n x ¯ 1 ) x n + 1 x ¯ 1 + α n f ( x ¯ 1 ) x ¯ 1 , J ( x n + 1 x ¯ 1 ) + β n x n x ¯ 1 x n + 1 x ¯ 1 + γ n x n x ¯ 1 x n + 1 x ¯ 1 = x n x ¯ 1 x n + 1 x ¯ 1 α n φ ( x n x ¯ 1 ) x n + 1 x ¯ 1 + α n f ( x ¯ 1 ) x ¯ 1 , J ( x n + 1 x ¯ 1 ) = 1 2 ( x n x ¯ 1 2 + x n + 1 x ¯ 1 2 ) α n φ ( x n x ¯ 1 ) x n + 1 x ¯ 1 + α n f ( x ¯ 1 ) x ¯ 1 , J ( x n + 1 x ¯ 1 ) .

By (3.5) and since { x n + 1 x ¯ 1 } is bounded, i.e., there exists M>0 such that x n + 1 x ¯ 1 M, which implies that

x n + 1 x ¯ 1 2 x n x ¯ 1 2 2 α n Mφ ( x n x ¯ 1 ) +2 α n f ( x ¯ 1 ) x ¯ 1 , J ( x n + 1 x ¯ 1 ) .
(3.11)

Now, from (C1) and applying Lemma 2.5 to (3.11), we get x n x ¯ 1 0 as n. This completes the proof. □

Corollary 3.4 Let E be a uniformly convex and 2-uniformly smooth Banach space which admits a weakly sequentially continuous duality mapping and C be a nonempty closed convex subset of E. LetS={T(t):t0}be a nonexpansive semigroup on C and Q C be a sunny nonexpansive retraction from E onto C. LetA:CEbe a β-inverse-strongly accretive such thatβλ K 2 where K is the best smooth constant. Let f be a weakly contractive mapping of C into itself with function φ. Let the sequences{ α n }, { β n }and{ γ n }be in(0,1)with{ α n }+{ β n }+{ γ n }=1, n1, { μ n }(0,)and satisfy the conditions (C 1)-(C 4) in Theorem 3.3. SupposeF:=F(Q)F(S), whereQis defined by

Q(x)= Q C (IλA) Q C (IλA) Q C (IλA)x,xC,

and λ be a positive real number. For arbitrary given x 0 =xC, the sequences{ x n }are generated by

{ y n = Q C ( I λ A ) Q C ( I λ A ) Q C ( I λ A ) x n , x n + 1 = α n f ( x n ) + β n x n + γ n T ( μ n ) y n .
(3.12)

Then{ x n }converges strongly to x ¯ 1 = Q F f( x ¯ 1 ), where Q F is the sunny nonexpansive retraction of C ontoF.

Proof Putting A= A M = A M 1 == A 2 = A 1 , β= β M = β M 1 == β 2 = β 1 and λ= λ M = λ M 1 == λ 2 = λ 1 in Theorem 3.3, we can conclude the desired conclusion easily. This completes the proof. □

Corollary 3.5 Let E be a uniformly convex and 2-uniformly smooth Banach space which admits a weakly sequentially continuous duality mapping and C be a nonempty closed convex subset of E. LetS={T(t):t0}be a nonexpansive semigroup on C and Q C be a sunny nonexpansive retraction from E onto C. Let A l :CEbe a β l -inverse-strongly accretive such that β l λ l K 2 , wherel{1,2}and K be the best smooth constant. Let f be a weakly contractive mapping of C into itself with function φ. Let the sequences{ α n }, { β n }and{ γ n }be in(0,1)with{ α n }+{ β n }+{ γ n }=1, n1, { μ n }(0,)and satisfy the conditions (C 1)-(C 4) in Theorem 3.3. SupposeF:=F(Q)F(S), whereQis defined by

Q(x)= Q C (I λ 2 A 2 ) Q C (I λ 1 A 1 )x,xC,

and λ 1 , λ 2 are positive real numbers. For arbitrary given x 0 =xC, the sequences{ x n }are generated by

{ y n = Q C ( I λ 2 A 2 ) Q C ( I λ 1 A 1 ) x n , x n + 1 = α n f ( x n ) + β n x n + γ n T ( μ n ) y n .
(3.13)

Then{ x n }converges strongly to x ¯ 1 = Q F f( x ¯ 1 )and( x ¯ 1 , x ¯ 2 )is a solution of the problem (1.6), where Q F is the sunny nonexpansive retraction of C ontoF.

Proof Taking M=2 in Theorem 3.3, we can conclude the desired conclusion easily. This completes the proof. □

4 Some applications

4.1 (I) Application to strictly pseudocontractive mappings

Let E be a Banach space and let C be a subset of E. Recall that a mapping T:CC is said to be k-strictly pseudocontractive if there exist k[0,1) and j(xy)J(xy) such that

T x T y , j ( x y ) x y 2 1 k 2 ( I T ) x ( I T ) y 2
(4.1)

for all x,yC. Then (4.1) can be written in the following form:

( I T ) x ( I T ) y , j ( x y ) 1 k 2 ( I T ) x ( I T ) y 2 .
(4.2)

Moreover, we know that A is 1 k 2 -inverse strongly monotone and A 1 0=F(T) (see also [9]).

Theorem 4.1 Let E be a uniformly convex and 2-uniformly smooth Banach space and C be a nonempty closed convex subset of E. LetS={T(t):t0}be a nonexpansive semigroup on C and T l :CCbe a k l -strictly pseudocontractive mapping with λ l ( 1 k l ) 2 K 2 , l{1,2,,M}. Let f be a weakly contractive mapping of C into itself with function φ and suppose the sequences{ α n }, { β n }and{ γ n }in(0,1)satisfy{ α n }+{ β n }+{ γ n }=1, n1and{ μ n }(0,). SupposeF:=F(S)( l = 1 M F( T l ))and let λ l , l=1,2,,Mbe positive real numbers. If the following conditions are satisfied:

  1. (i)

    lim n α n =0and n = 0 α n =;

  2. (ii)

    0< lim inf n β n lim sup n β n <1;

  3. (iii)

    lim n μ n =0;

  4. (iv)

    lim n sup y C ˜ T( μ n + 1 )yT( μ n )y=0, C ˜ bounded subset of C.

Then the sequence { x n } is generated by x 0 =xC and

{ y n = ( ( 1 λ M ) + λ M T M ) ( ( 1 λ M 1 ) + λ M 1 T M 1 ) ( ( 1 λ 2 ) + λ 2 T 2 ) y n = × ( ( 1 λ 1 ) + λ 1 T 1 ) x n , x n + 1 = α n f ( x n ) + β n x n + γ n T ( μ n ) y n
(4.3)

converges strongly to Q F , where Q F is the sunny nonexpansive retraction of E ontoF.

Proof Putting A l =I T l l{1,2,,M}. From (4.2), we get A l is 1 k l 2 -inverse strongly accretive operator. It follows that GSVI(C, A l )=GSVI(C,I T l )=F( T l ) and ( l = 1 M GSVI(C,I T l ))=F(Q) is the solution of the problem (1.7) (see also Ceng et al. [3], Theorem 4.1, pp.388-389] and Aoyama et al. [1], Theorem 4.1, p.10]).

( ( 1 λ 1 ) + λ 1 T 1 ) x n = Q C ( ( 1 λ 1 ) + λ 1 T 1 ) x n ( ( 1 λ M ) + λ M T M ) ( ( 1 λ 1 ) + λ 1 T 1 ) x n = Q C ( ( 1 λ M ) + λ M T M ) Q C ( ( 1 λ 1 ) + λ 1 T 1 ) x n .

Therefore, by Theorem 3.3, { x n } converges strongly to some element x ¯ 1 of F. □

4.2 (II) Application to Hilbert spaces

In real Hilbert spaces H, by Lemma 3.2, we obtain the following lemma:

Lemma 4.2 For given( x 1 , x 2 ,, x M ), a solution of the problem is as follows:

{ λ M A M x M + x 1 x M , x x 1 0 , x C , λ M 1 A M 1 x M 1 + x M x M 1 , x x M 0 , x C , λ 2 A 2 x 2 + x 3 x 2 , x x 3 0 , x C , λ 1 A 1 x 1 + x 2 x 1 , x x 2 0 , x C ,
(4.4)

if and only if

x 1 = P C (I λ M A M ) P C (I λ M 1 A M 1 ) P C (I λ 2 A 2 ) P C (I λ 1 A 1 ) x 1

is a fixed point of the mapping P:CC defined by

P(x)= P C (I λ M A M ) P C (I λ M 1 A M 1 ) P C (I λ 2 A 2 ) P C (I λ 1 A 1 )x,xC,

where P C is a metric projection H onto C.

It is well known that the smooth constant K= 2 2 in Hilbert spaces. From Theorem 3.3, we can obtain the following result immediately.

Theorem 4.3 Let C be a nonempty closed convex subset of a real Hilbert space H. Let A l :CHbe a β l -inverse-strongly monotone mapping with λ l (0,2 β l ), l{1,2,,M}. LetS={T(t):t0}be a nonexpansive semigroup on C and f be a weakly contractive mapping of C into itself with function φ. Assume thatF:=F(P)F(S), wherePis defined by Lemma 4.2 and let λ l , l=1,2,,Mbe positive real numbers. Let the sequences{ α n }, { β n }and{ γ n }in(0,1)with{ α n }+{ β n }+{ γ n }=1, n1and the following conditions be satisfied:

  1. (i)

    lim n α n =0and n = 0 α n =;

  2. (ii)

    0< lim inf n β n lim sup n β n <1;

  3. (iii)

    lim n μ n =0;

  4. (iv)

    lim n sup y C ˜ T( μ n + 1 )yT( μ n )y=0, C ˜ bounded subset of C.

For arbitrary given x 0 =xC, the sequences{ x n }are generated by

{ y n = P C ( I λ M A M ) P C ( I λ M 1 A M 1 ) P C ( I λ 2 A 2 ) P C ( I λ 1 A 1 ) x n , x n + 1 = α n f ( x n ) + β n x n + γ n T ( μ n ) y n .
(4.5)

Then{ x n }converges strongly to x ¯ 1 = P F f( x ¯ 1 )and( x ¯ 1 , x ¯ 2 ,, x ¯ M )is a solution of the problem (4.4).

Remark 4.4 We can replace a contraction mapping f to a weak contractive mapping by setting φ(t)=(1k)t. Hence, our results can be obtained immediately.

References

  1. Aoyama K, Iiduka H, Takahashi W: Weak convergence of an iterative sequence for accretive operators in Banach spaces. Fixed Point Theory Appl. 2006., 2006:

    Google Scholar 

  2. Browder FE: Nonlinear operators and nonlinear equations of evolution in Banach spaces. Proc. Symp. Pure Math. 1976, 18: 78–81.

    Google Scholar 

  3. Ceng L-C, Wang C-Y, Yao J-C: Strong convergence theorems by a relaxed extragradient method for a general system of variational inequalities. Math. Methods Oper. Res. 2008, 67: 375–390. 10.1007/s00186-007-0207-4

    MathSciNet  Article  Google Scholar 

  4. Chen R, He H: Viscosity approximation of common fixed points of nonexpansive semigroups in Banach spaces. Appl. Math. Lett. 2007, 20: 751–757. 10.1016/j.aml.2006.09.003

    MathSciNet  Article  Google Scholar 

  5. Chen RD, He HM, Noor MA: Modified iterations for nonexpansive semigroups in Banach space. Acta Math. Sin. Engl. Ser. 2010, 26(1):193–202. 10.1007/s10114-010-7446-7

    MathSciNet  Article  Google Scholar 

  6. Cho YJ, Zhou HY, Guo G: Weak and strong convergence theorems for three-step iterations with errors for asymptotically nonexpansive mappings. Comput. Math. Appl. 2004, 47: 707–717. 10.1016/S0898-1221(04)90058-2

    MathSciNet  Article  Google Scholar 

  7. Gossez JP, Dozo EL: Some geometric properties related to the fixed point theory for nonexpansive mappings. Pac. J. Math. 1972, 40: 565–573.

    Article  Google Scholar 

  8. Iiduka H, Takahashi W, Toyoda M: Approximation of solutions of variational inequalities for monotone mappings. Panam. Math. J. 2004, 14(2):49–61.

    MathSciNet  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  10. Kamimura S, Takahashi W: Approximating solutions of maximal monotone operators in Hilbert space. J. Approx. Theory 2000, 106: 226–240. 10.1006/jath.2000.3493

    MathSciNet  Article  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  12. Katchang P, Kumam P: An iterative algorithm for finding a common solution of fixed points and a general system of variational inequalities for two inverse strongly accretive operators. Positivity 2011, 15: 281–295. 10.1007/s11117-010-0074-8

    MathSciNet  Article  Google Scholar 

  13. Kitahara S, Takahashi W: Image recovery by convex combinations of sunny nonexpansive retractions. Topol. Methods Nonlinear Anal. 1993, 2: 333–342.

    MathSciNet  Google Scholar 

  14. Lau AT-M: Amenability and fixed point property for semigroup of nonexpansive mapping. In Fixed Point Theory and Applications. Edited by: Thera MA, Baillon JB. Longman, Harlow; 1991:303–313.

    Google Scholar 

  15. Lau AT-M: Invariant means and fixed point properties of semigroup of nonexpansive mappings. Taiwan. J. Math. 2008, 12: 1525–1542.

    Google Scholar 

  16. Lau AT-M, Miyake H, Takahashi W: Approximation of fixed points for amenable semigroups of nonexpansive mappings in Banach spaces. Nonlinear Anal. 2007, 67: 1211–1225. 10.1016/j.na.2006.07.008

    MathSciNet  Article  Google Scholar 

  17. Li S, Su Y, Zhang L, Zhao H, Li L: Viscosity approximation methods with weak contraction for L -Lipschitzian pseudocontractive self-mapping. Nonlinear Anal. 2011, 74: 1031–1039. 10.1016/j.na.2010.07.024

    MathSciNet  Article  Google Scholar 

  18. 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.018

    MathSciNet  Article  Google Scholar 

  19. Reich S: Asymptotic behavior of contractions in Banach spaces. J. Math. Anal. Appl. 1973, 44(1):57–70. 10.1016/0022-247X(73)90024-3

    MathSciNet  Article  Google Scholar 

  20. Suzuki T: Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter nonexpansive semigroups without Bochner integrals. J. Math. Anal. Appl. 2005, 305(1):227–239. 10.1016/j.jmaa.2004.11.017

    MathSciNet  Article  Google Scholar 

  21. Suzuki T: On strong convergence to common fixed points of nonexpansive semigroups in Hilbert spaces. Proc. Am. Math. Soc. 2002, 131: 2133–2136.

    Article  Google Scholar 

  22. Stampacchi G: Formes bilineaires coercivites sur les ensembles convexes. C. R. Math. Acad. Sci. Paris 1964, 258: 4413–4416.

    Google Scholar 

  23. Takahashi W: Convex Analysis and Approximation Fixed Points. Yokohama Publishers, Yokohama; 2000. Japanese

    Google Scholar 

  24. Takahashi W: Nonlinear Functional Analysis. Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama; 2000.

    Google Scholar 

  25. Takahashi W: Viscosity approximation methods for resolvents of accretive operators in Banach spaces. J. Fixed Point Theory Appl. 2007, 1: 135–147. 10.1007/s11784-006-0004-3

    MathSciNet  Article  Google Scholar 

  26. Wangkeeree R, Preechasilp P: Modified Noor iterations for nonexpansive semigroups with generalized contraction in Banach spaces. J. Inequal. Appl. 2012., 2012:

    Google Scholar 

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

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

    Article  Google Scholar 

  29. Yao Y, Noor MA, Noor KI, Liou Y-C, Yaqoob H: Modified extragradient methods for a system of variational inequalities in Banach spaces. Acta Appl. Math. 2010, 110(3):1211–1224. 10.1007/s10440-009-9502-9

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors thank the “Hands-on Research and Development Project”, Rajamangala University of Technology Lanna (RMUTL), Tak, Thailand (under grant No. UR1-005). Moreover, the authors would like to thank the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (NRU-CSEC No. 55000613) for financial support. Finally, the authors are grateful to the reviewers for careful reading of the paper and for the suggestions which improved the quality of this work.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Poom Kumam.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Onjai-uea, N., Katchang, P. & Kumam, P. Strong convergence theorems for solving a general system of finite variational inequalities for finite accretive operators and fixed points of nonexpansive semigroups with weak contraction mappings. Fixed Point Theory Appl 2012, 114 (2012). https://doi.org/10.1186/1687-1812-2012-114

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords

  • inverse-strongly accretive operator
  • fixed point
  • general system of finite variational inequalities
  • sunny nonexpansive retraction
  • weak contraction
  • nonexpansive semigroups