Next Article in Journal
Towards a Holistic ICT Platform for Protecting Intimate Partner Violence Survivors Based on the IoT Paradigm
Next Article in Special Issue
Two Fixed Point Theorems Concerning F-Contraction in Complete Metric Spaces
Previous Article in Journal
Noether’s Theorem in Non-Local Field Theories
Previous Article in Special Issue
Some Fixed Point Theorems for Quadratic Quasicontractive Mappings
 
 
Order Article Reprints
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Viscosity Approximation Methods for a General Variational Inequality System and Fixed Point Problems in Banach Spaces

by *,† and
Department of Mathematics, Zhejiang Normal University, Jinhua 321004, China
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2020, 12(1), 36; https://doi.org/10.3390/sym12010036
Received: 25 November 2019 / Revised: 13 December 2019 / Accepted: 17 December 2019 / Published: 23 December 2019
(This article belongs to the Special Issue Fixed Point Theory and Computational Analysis with Applications)

Abstract

:
In Banach spaces, we study the problem of solving a more general variational inequality system for an asymptotically non-expansive mapping. We give a new viscosity approximation scheme to find a common element. Some strong convergence theorems of the proposed iterative method are obtained. A numerical experiment is given to show the implementation and efficiency of our main theorem. Our results presented in this paper generalize and complement many recent ones.

1. Introduction

Throughout this paper, let X be a real Banach space and E X be a nonempty subset. Let T : E E be a mapping, the set of fixed points of T is denoted by F ( T ) . If there exists a sequence { k n } [ 1 , ) with lim n k n = 1 such that
T n ξ T n η k n ξ η , ξ , η E ,
then T is said to be asymptotically nonexpansive. T is uniformly asymptotically regular, if lim n T n + 1 ξ T n ξ = 0 , ξ E . If k n 1 , then T is said to be nonexpansive. Recall that T is known as a contractive mapping on E if there exists a constant ρ ( 0 , 1 ) such that T ξ T η ρ ξ η , ξ , η E .
An operator A : E X is called accretive if there exists j ( ξ η ) J ( ξ η ) such that
A ξ A η , j ( ξ η ) 0 , ξ , η E ,
where J : X 2 X * is the normalized duality mapping on X. An operator A : E X is called α -inverse strongly accretive if for α > 0 and j ( ξ η ) J ( ξ η ) , we have
A ξ A η , j ( ξ η ) α A ξ A η 2 , ξ , η E .
For any ϵ ( 0 , 2 ] , we denote the the modulus of convexity δ X ( ϵ ) > 0 of X as follows:
δ X ( ϵ ) = i n f { 1 1 2 ξ + η : ξ , η 1 , ξ η ϵ } .
X is said to be uniformly convex if δ X ( 0 ) = 0 . Let ρ X be the modulus of smoothness of X defined by:
ρ X ( s ) = sup { ξ + s η + ξ s η 2 1 : ξ = 1 , η = 1 } .
A Banach space X is said to be uniformly smooth if lim n ρ X ( s ) / s = 0 . Moreover, X is uniformly smooth if and only if the norm of X is uniformly Fréchet differentiable.
A mapping Q : X E is called sunny if Q has the following property:
Q ( s ξ + ( 1 s ) Q ξ ) = Q ξ , ξ X , s 0 ,
whenever s ξ + ( 1 s ) Q ξ X . A mapping Q : X E is said to be a retraction if Q ξ = ξ for all ξ E . It is well known that a sunny nonexpansive retraction is also sunny and nonexpansive.
Variational inequality theory has played a significant role in nonlinear analysis and the optimization problem. Many iterative methods have been used to solve variational inequality problems due to the applications in some branches of applied science, convex optimization, mathematical physics, and operator studies, see [1,2,3,4,5,6,7,8,9] and the references therein. In fact, the classical variational inequality problem in Banach spaces is to find q E such that
A q , j ( x q ) 0 , x E .
In 2010, Yao et al. [10] proposed a system to find ( u , v ) E × E such that:
A v + u v , j ( x u ) 0 , x E , B u + v u , j ( x v ) 0 , x E ,
which is called the general variational inequality system in Banach spaces. They proved a strong convergence result of the following sequence to a solution of the variational inequality system:
y n = Q E ( x n B x n ) , x n + 1 = α n u + β n x n + γ n Q E ( y n A y n ) ,
where Q E is the sunny nonexpansive retract from X onto E.
Recently, many authors have focused their efforts on studying generalized variational inequality systems with variational inequality constraints, see [11,12,13,14,15,16,17] and the references therein. Especially, in 2019, Ceng et al. [11] studied a general system of variational inequalities in Banach spaces:
λ A v + u v , j ( x u ) 0 , x E , μ B u + v u , j ( x v ) 0 , x E ,
and they considered an implicit composite extra-gradient-like iterative algorithm for countable family Lipschitzian pseudo-contractive mappings and proved strong convergence results in Banach spaces. Cai et al. [14] showed the following viscosity iteration method for the strict pseudo-contraction and non-expansive mapping:
y n = α n f ( x n ) + ( 1 α n ) x n , u n = Q E ( y n μ B y n ) , z n = Q E ( u n λ A u n ) , x n + 1 = β n x n + ( 1 β n ) T α z n ,
where T α x = α x + ( 1 α ) T x . They proved that x n converges strongly to a common element of the fixed point set and the set of solutions of the problem (1).
Inspired and motivated by the work of researchers, we consider the following problem about the general variational inequality system in Banach spaces:
( I λ A ) ( t x + ( 1 t ) y ) x , j ( x x ) 0 , x E , ( I μ B ) x y , j ( x y ) 0 , x E .
When t = 0 , this is the general system of variational inequalities (1). We present a viscosity iterative algorithm for the general variational inequality system (2) and an asymptotically nonexpansive mapping. Let { x n } be a sequence generated by x 0 E and:
w n = Q E ( I μ B ) x n , z n = Q E ( I λ A ) ( t x n + ( 1 t ) w n ) , u n = δ n x n + ( 1 δ n ) z n , x n + 1 = α n f ( x n ) + β n x n + γ n T n u n .
Then, the strong convergence theorem of this iterative scheme in Banach spaces is proven. Finally, we give the numerical experiments to show the implementation and efficiency of our main theorem. We study this viscosity approximation method to find a common element of the fixed point set of an asymptotically nonexpansive mapping and the set of solutions of the general variational inequality system in Banach spaces. Our results presented in this paper generalize and complement many recent ones [3,5,6,9,10,12,13,14,17].

2. Preliminaries

In this section, we recall some lemmas which are needed in the proof of our main results.
Lemma 1
([18]). Let X be a smooth Banach space. Assume that Q : X E is a retract and J is the normalized duality mapping on X. Then the following statements are equivalent:
(a) Q is sunny and nonexpansive;
(b) Q ξ Q η 2 ξ η , J ( Q ξ Q η ) , ξ , η X ;
(c) ξ Q ξ , J ( η Q ξ ) 0 , ξ X , η E .
Lemma 2
([19]). Suppose that { v n } is a sequence of nonnegative real numbers satisfying:
v n + 1 ( 1 b n ) v n + b n σ n , n 0 ,
where { b n } ( 0 , 1 ) and σ n R satisfying the following conditions:
(i) lim n b n = 0 and n = 0 b n = + ;
(ii) either lim sup n σ n 0 or n = 0 | b n σ n | < + .
Then lim n v n = 0 .
Lemma 3
([14]). Let X be a real Banach space. Let E X be a closed convex subset. If the operator A : E X is α-inverse strongly accretive, then we have:
( I λ A ) ξ ( I λ A ) η 2 ξ η 2 λ ( 2 α c λ ) A ξ A η 2 ,
where λ > 0 . If 0 < λ < 2 α c , then I λ A is nonexpansive.
Lemma 4
([20]). Let X be a real Banach space and { x n } , { y n } be two bounded sequences of X. Let { β n } be a sequence in [ 0 , 1 ] with 0 < lim inf n β n lim sup n β n < 1 . If x n + 1 = ( 1 β n ) x n + β n p n for all n 0 and lim sup n ( p n + 1 p n x n + 1 x n ) 0 , then lim n p n x n = 0 .
Lemma 5
([21]). Let X be a real Banach space. Let E X be a closed convex subset. And let T : E E be an asymptotically nonexpansive mapping with a fixed point. Suppose that X admits a weakly sequentially continuous duality mapping. Then the mapping I T is demiclosed at zero, i.e., where I is the identity mapping, i.e., if x n x and x n T x n 0 , then x = T x .
Lemma 6
([22]). Let X be a real Banach space. Let E X be a closed convex subset and T : E E be a nonexpansive mapping with F ( T ) . Let f : E E be a contractive mapping. Then the sequence x s defined by x s = s f ( x s ) + ( 1 s ) T x s , s ( 0 , 1 ) converges strongly to a point in F ( T ) . Suppose Q : Π c F ( T ) by Q ( f ) = lim s 0 x s , f Π c , then Q ( f ) solves the variational inequality
( I f ) Q ( f ) , j ( Q ( f ) p ) 0 , p F ( T ) .
Lemma 7
([23]). Let r > 0 . If X is a real smooth and uniformly convex Banach space, then there exists a continuous, strictly increasing and convex function g : [ 0 , 2 r ] R , g ( 0 ) = 0 such that g ( x y ) x 2 2 x , j ( y ) + y 2 for all x , y B r .
Lemma 8.
Let X be a real Banach space. Let E X be a closed convex subset and A , B : E X be two nonlinear mappings. Suppose that Q E is a sunny nonexpansive retraction. For λ , μ > 0 and t [ 0 , 1 ] , then the following assertions are equivalent:
(a) ( x , y ) E × E is a solution of problem (2);
(b) Let Ψ : E E be a mapping defined by
Ψ ( x ) = Q E ( I λ A ) [ t x + ( 1 t ) Q E ( I μ B ) x ] ,
then let x be the fixed point of Ψ, that is x = Ψ x .
where x = Q E ( I λ A ) [ t x + ( 1 t ) y ] , y = Q E ( I μ B ) x . Assume that A , B : E X are α-inverse strongly accretive operator and β-inverse strongly operator, respectively. If 0 < λ < 2 α c , 0 < μ < 2 β c , then Ψ is nonexpansive.
Proof. 
From Lemma 1 and the definition of the sunny nonexpansive retraction, we have that (2) is equivalent to
x = Q E ( I λ A ) [ t x + ( 1 t ) y ] ; y = Q E ( I μ B ) x ,
which is a solution of problem (2). Hence x = Q E ( I λ A ) [ t x + ( 1 t ) Q E ( I μ B ) x ] = Ψ ( x ) . From Lemma 3, for any x , y E , we find
Ψ ( x ) Ψ ( y ) = Q E ( I λ A ) [ t x + ( 1 t ) Q E ( I μ B ) x ] Q E ( I λ A ) [ t y + ( 1 t ) Q E ( I μ B ) y ] ( I λ A ) [ t x + ( 1 t ) Q E ( I μ B ) x ] ( I λ A ) [ t y + ( 1 t ) Q E ( I μ B ) y ] t x + ( 1 t ) Q E ( I μ B ) x t y ( 1 t ) Q E ( I μ B ) y t x y + ( 1 t ) x y = x y .
Thus, Ψ is nonexpansive. □

3. Main Results

Theorem 1.
Let X be a uniformly convex and uniformly smooth Banach space. Let E X be a closed convex subset. Suppose that Q E : X E is a sunny nonexpansive retraction and T : E E is an asymptotically nonexpansive mapping satisfying the uniformly asymptotically regular condition. And A , B : E X are an α-inverse strongly accretive operator and β-inverse strongly accretive operator, respectively. Let f : E E be a contraction with coefficient ρ ( 0 , 1 ) and Ψ be defined by Lemma 8. Assume that Ω = F ( T ) F ( Ψ ) . Suppose that { α n } , { β n } , { γ n } , { δ n } ( 0 , 1 ) , the sequence { x n } defined by (3) satisfies the following conditions:
( i ) α n + β n + γ n = 1 , lim n α n = 0 , Σ n = 0 α n = , k n 1 = ϵ α n , 0 < ϵ < 1 ρ ; ( i i ) 0 < lim inf n β n lim sup n β n < 1 , lim n | δ n + 1 δ n | = 0 ; ( i i i ) 0 t < 1 , 0 < λ < 2 α c , 0 < μ < 2 β c ; ( i v ) β n + γ n k n 2 < 1 .
Then { x n } converges strongly to an element x Ω which solves the variational inequality:
( I f ) x , j ( x p ) 0 , p Ω .
Proof. 
Let x Ω , from Lemma 8, we have x = Q E ( I λ A ) [ t x + ( 1 t ) y ] , y = Q E ( I μ B ) x . It follows from (3) that
u n x = δ n x n + ( 1 δ n ) z n x δ n x n x + ( 1 δ n ) z n x = δ n x n x + ( 1 δ n ) Ψ ( x n ) x δ n x n x + ( 1 δ n ) x n x = x n x .
Then we compute:
x n + 1 x = α n f ( x n ) + β n x n + γ n T n u n x = α n ( f ( x n ) f ( x ) ) + α n ( f ( x ) x ) + β n ( x n x ) + γ n ( T n u n x ) α n f ( x n ) f ( x ) + α n f ( x ) x + β n x n x + γ n T n u n x α n ρ x n x + α n f ( x ) x + β n x n x + γ n k n u n x = ( α n ρ + β n + γ n k n ) x n x + α n f ( x ) x [ 1 ( 1 ρ ϵ ) α n ] x n x + α n f ( x ) x max { x n x , 1 1 ρ ϵ f ( x ) x } ,
which implies that x n is bounded, and so are z n , u n , f ( x n ) , T n u n .
From (3) and Lemma 8, we observe that
z n + 1 z n = Q E ( I λ A ) ( t x n + 1 + ( 1 t ) w n + 1 ) Q E ( I λ A ) ( t x n + ( 1 t ) w n ) = Q E ( I λ A ) ( t x n + 1 + ( 1 t ) Q E ( I μ B ) x n + 1 ) Q E ( I λ A ) ( t x n + ( 1 t ) Q E ( I μ B ) x n ) = Ψ ( x n + 1 ) Ψ ( x n ) x n + 1 x n ,
then
u n + 1 u n = δ n + 1 x n + 1 + ( 1 δ n + 1 ) z n + 1 δ n x n ( 1 δ n ) z n = δ n + 1 ( x n + 1 x n ) + ( δ n + 1 δ n ) x n + ( 1 δ n + 1 ) ( z n + 1 z n ) ( δ n + 1 δ n ) z n δ n + 1 x n + 1 x n + | δ n + 1 δ n | x n z n + ( 1 δ n + 1 ) z n + 1 z n x n + 1 x n + | δ n + 1 δ n | x n z n .
Set p n = x n + 1 β n x n 1 β n , f o r a l l n 0 , we obtain
p n + 1 p 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 u n + 1 1 β n + 1 α n f ( x n ) + γ n T n u n 1 β n = α n + 1 f ( x n + 1 ) + ( 1 β n + 1 α n + 1 ) T n + 1 u n + 1 1 β n + 1 α n f ( x n ) + ( 1 α n β n ) T n u n 1 β n = α n + 1 1 β n + 1 [ f ( x n + 1 ) f ( x n ) ] + ( α n + 1 1 β n + 1 α n 1 β n ) f ( x n ) ( α n + 1 1 β n + 1 α n 1 β n ) T n u n α n + 1 1 β n + 1 ( T n + 1 u n + 1 T n u n ) + T n + 1 u n + 1 T n u n = α n + 1 1 β n + 1 [ f ( x n + 1 ) f ( x n ) ] + ( α n + 1 1 β n + 1 α n 1 β n ) [ f ( x n ) T n u n ] + ( 1 α n + 1 1 β n + 1 ) [ T n + 1 u n + 1 T n + 1 u n ] + ( 1 α n + 1 1 β n + 1 ) [ T n + 1 u n T n u n ] .
Thus,
p n + 1 p n ρ α n + 1 1 β n + 1 x n + 1 x n + | α n + 1 1 β n + 1 α n 1 β n | M + γ n + 1 1 β n + 1 sup x E T n + 1 u n T n u n + ( 1 α n + 1 1 β n + 1 ) k n + 1 u n + 1 u n [ ρ α n + 1 1 β n + 1 + ( 1 α n + 1 1 β n + 1 ) k n + 1 ] x n + 1 x n + | α n + 1 1 β n + 1 α n 1 β n | M + γ n + 1 1 β n + 1 sup x E T n + 1 u n T n u n + γ n + 1 1 β n + 1 k n + 1 | δ n + 1 δ n | M [ 1 α n + 1 ( 1 ρ ϵ ) 1 β n + 1 ] x n + 1 x n + | α n + 1 1 β n + 1 α n 1 β n | M + γ n + 1 1 β n + 1 sup x E T n + 1 u n T n u n + γ n + 1 1 β n + 1 k n + 1 | δ n + 1 δ n | M ,
where M > 0 is a constant satisfies:
M { s u p n 0 x n z n , s u p n 0 f ( x n ) T n u n } .
By ( i ) , ( i i ) , we can find,
lim sup n ( p n + 1 p n x n + 1 x n ) 0 .
Applying Lemma 4, we have
lim n p n x n = 0 .
We know that
p n x n = x n + 1 x n 1 β n ,
and we obtain
lim n x n + 1 x n = 0 .
Next, we show that lim n x n Ψ x n = 0 and lim n x n T x n = 0 .
From (3), Lemma 3, and the non-expansiveness of Q E , we have
w n y 2 = Q E ( I μ B ) x n Q E ( I μ B ) x 2 ( I μ B ) x n ( I μ B ) x 2 x n x 2 μ ( 2 β c μ ) B x n B x 2 .
Then
z n x 2 = Q E ( I λ A ) [ t x n + ( 1 t ) w n ] Q E ( I λ A ) [ t x + ( 1 t ) y ] 2 ( I λ A ) [ t x n + ( 1 t ) w n ] ( I λ A ) [ t x + ( 1 t ) y ] 2 t x n + ( 1 t ) w n ( t x + ( 1 t ) y ) 2 λ ( 2 α c λ ) A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) 2 t x n x 2 + ( 1 t ) w n y 2 λ ( 2 α c λ ) A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) 2 x n x 2 ( 1 t ) μ ( 2 β c μ ) B x n B x 2 λ ( 2 α c λ ) A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) 2 ,
and
u n x 2 = δ n x n + ( 1 δ n ) z n x 2 δ n x n x 2 + ( 1 δ n ) z n x 2 x n x 2 ( 1 δ n ) ( 1 t ) μ ( 2 β c μ ) B x n B x 2 ( 1 δ n ) λ ( 2 α c λ ) A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) 2 .
Moreover, we know that
x n + 1 x 2 = α n f ( x n ) + β n x n + γ n T n u n x 2 α n f ( x n ) x 2 + β n x n x 2 + γ n T n u n x 2 α n f ( x n ) x 2 + β n x n x 2 + γ n k n 2 u n x 2 α n f ( x n ) x 2 + β n x n x 2 + γ n k n 2 x n x 2 γ n k n 2 ( 1 δ n ) ( 1 t ) μ ( 2 β c μ ) B x n B x 2 γ n k n 2 ( 1 δ n ) λ ( 2 α c λ ) A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) 2 ,
which implies that
γ n k n 2 ( 1 δ n ) ( 1 t ) μ ( 2 β c μ ) B x n B x 2 + γ n k n 2 ( 1 δ n ) λ ( 2 α c λ ) A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) 2 α n f ( x n ) x 2 + ( β n + γ n k n 2 ) x n x 2 x n + 1 x 2 α n f ( x n ) x 2 + x n x 2 x n + 1 x 2 α n f ( x n ) x 2 + x n x n + 1 ( x n x + x n + 1 x ) .
By the conditions ( i ) , ( i i ) , and (4), we deduce
lim n B x n B x = 0 lim n A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) = 0 .
Applying Lemmas 1 and 7 to find
w n y 2 = Q E ( I μ B ) x n Q E ( I μ B ) x 2 ( I μ B ) x n ( I μ B ) x , j ( w n y ) x n x , j ( w n y ) μ B x n B x , j ( w n y ) 1 2 [ x n x 2 + w n y 2 g ( x n x ( w n y ) ) ] μ B x n B x , j ( w n y ) .
Hence, we have
w n y 2 x n x 2 g ( x n x ( w n y ) ) 2 μ B x n B x , j ( w n y ) .
Further, we estimate
z n x 2 = Q E ( I λ A ) [ t x n + ( 1 t ) w n ] Q E ( I λ A ) [ t x + ( 1 t ) y ] 2 ( I λ A ) [ t x n + ( 1 t ) w n ] ( I λ A ) [ t x + ( 1 t ) y ] , j ( z n x ) t x n + ( 1 t ) w n ( t x + ( 1 t ) y ) , j ( z n x ) λ A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) , j ( z n x ) t x n x , j ( z n x ) + ( 1 t ) w n y , j ( z n x ) λ A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) , j ( z n x ) t 2 [ x n x 2 + z n x 2 g ( x n z n ) ] + 1 t 2 [ w n y 2 + z n x 2 g ( w n y ( z n x ) ) ] λ A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) , j ( z n x ) ,
noting that 0 t < 1 , so
z n x 2 t x n x 2 + ( 1 t ) w n y 2 t g ( x n z n ) ( 1 t ) g ( w n y ( z n x ) ) 2 λ A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) , j ( z n x ) x n x 2 ( 1 t ) g ( x n x ( w n y ) ) 2 μ ( 1 t ) B x n B x , j ( w n y ) ( 1 t ) g ( w n y ( z n x ) ) 2 λ A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) , j ( z n x ) x n x 2 ( 1 t ) g ( x n x ( w n y ) ) 2 μ ( 1 t ) B x n B x w n y ( 1 t ) g ( w n y ( z n x ) ) 2 λ A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) z n x ,
then
u n x 2 δ n x n x 2 + ( 1 δ n ) z n x 2 x n x 2 ( 1 δ n ) ( 1 t ) g ( x n x ( w n y ) ) 2 μ ( 1 δ n ) ( 1 t ) B x n B x w n y ( 1 t ) ( 1 δ n ) g ( w n y ( z n x ) ) 2 λ ( 1 δ n ) A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) z n x .
We know that
x n + 1 x 2 α n f ( x n ) x 2 + β n x n x 2 + γ n k n 2 u n x 2 α n f ( x n ) x 2 + β n x n x 2 + γ n k n 2 x n x 2 ( 1 δ n ) ( 1 t ) γ n k n 2 g ( x n x ( w n y ) ) 2 μ ( 1 δ n ) ( 1 t ) γ n k n 2 B x n B x w n y ( 1 t ) ( 1 δ n ) γ n k n 2 g ( w n y ( z n x ) ) 2 λ ( 1 δ n ) γ n k n 2 A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) z n x α n f ( x n ) x 2 + x n x 2 ( 1 δ n ) ( 1 t ) γ n k n 2 g ( x n x ( w n y ) ) 2 μ ( 1 δ n ) ( 1 t ) γ n k n 2 B x n B x w n y ( 1 t ) ( 1 δ n ) γ n k n 2 g ( w n y ( z n x ) ) 2 λ ( 1 δ n ) γ n k n 2 A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) z n x ,
which implies that
( 1 δ n ) ( 1 t ) γ n k n 2 g ( x n x ( w n y ) ) + ( 1 t ) ( 1 δ n ) γ n k n 2 g ( w n y ( z n x ) ) α n f ( x n ) x 2 + x n x 2 x n + 1 x 2 2 μ ( 1 δ n ) ( 1 t ) γ n k n 2 B x n B x w n y 2 λ ( 1 δ n ) γ n k n 2 A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) z n x α n f ( x n ) x 2 + x n x n + 1 ( x n x + x n + 1 x ) 2 μ ( 1 δ n ) ( 1 t ) γ n k n 2 B x n B x w n y 2 λ ( 1 δ n ) γ n k n 2 A ( t x n + ( 1 t ) w n ) A ( t x + ( 1 t ) y ) z n x .
It follows from (4), (5), condition ( i ) , ( i i i ) , and the properties of g, that we have
lim n x n x ( w n y ) = 0 ; lim n w n y ( z n x ) = 0 .
So,
x n z n x n x ( w n y ) + w n y ( z n x ) 0 .
We can obtain
x n Ψ ( x n ) = x n z n 0 , n .
Moreover, we have
x n + 1 T n u n = α n f ( x n ) + β n x n α n T n u n β n T n u n = α n [ f ( x n ) T n u n ] + β n [ x n T n u n ] β n x n x n + 1 + β n x n + 1 T n u n + α n f ( x n ) T n u n ,
which implies that
( 1 β n ) x n + 1 T n u n β n x n x n + 1 + α n f ( x n ) T n u n .
Therefore
x n + 1 T n u n β n 1 β n x n x n + 1 + α n 1 β n f ( x n ) T n u n .
From conditions ( i ) , ( i i ) , and (4), we find
x n + 1 T n u n 0 , ( n ) .
We obtain
x n T n x n = x n x n + 1 + x n + 1 T n u n + T n u n T n x n x n x n + 1 + x n + 1 T n u n + k n u n x n x n x n + 1 + x n + 1 T n u n + k n ( 1 δ n ) z n x n .
By (4), (6), and (8), we have
x n T n x n 0 , n .
Since T is an asymptotically nonexpansive mapping, we have
x n T x n = x n x n + 1 + x n + 1 T n + 1 x n + 1 + T n + 1 x n + 1 T n + 1 x n + T n + 1 x n T x n x n x n + 1 + x n + 1 T n + 1 x n + 1 + T n + 1 x n + 1 T n + 1 x n + T n + 1 x n T x n x n x n + 1 + x n + 1 T n + 1 x n + 1 + k n + 1 x n + 1 x n + k 1 T n x n x n ( 1 + k n + 1 ) x n x n + 1 + x n + 1 T n + 1 x n + 1 + k 1 T n x n x n .
By (4) and (9), we have
x n T x n 0 , n .
Since E is a uniformly smooth Banach space and x n is bounded, there exists a subsequence of x n which converges weakly to ω . We know that Ψ is nonexpansive by Lemma 8. From (7) and Lemma 5, we deduce ω F ( Ψ ) . It follows (10) and Lemma 5, and we deduce w F ( T ) . Therefore, ω Ω . From Lemma 6, the following holds:
( I f ) x , j ( x ω ) 0 , ω Ω .
Further, noticing that j is the weakly sequential continuous duality mapping, we have
l i m s u p n ( I f ) x , j ( x x n ) = lim k ( I f ) x , j ( x x n k ) = ( I f ) x , j ( x ω ) 0 .
Finally, we observe
x n + 1 x 2 = x n + 1 x , j ( x n + 1 x ) = α n ( f ( x n ) x ) + β n ( x n x ) + γ n ( T n u n x ) , j ( x n + 1 x ) α n f ( x n ) f ( x ) , j ( x n + 1 x ) + β n x n x , j ( x n + 1 x ) + γ n T n u n x , j ( x n + 1 x ) + α n f ( x ) x , j ( x n + 1 x ) α n ρ x n x x n + 1 x + β n x n x x n + 1 x + γ n k n u n x x n + 1 x + α n f ( x ) x , j ( x n + 1 x ) α n ρ x n x x n + 1 x + β n x n x x n + 1 x + γ n k n x n x x n + 1 x + α n f ( x ) x , j ( x n + 1 x ) = [ α n ρ + β n + γ n k n ] x n x x n + 1 x + α n f ( x ) x , j ( x n + 1 x ) α n ρ + β n + γ n k n 2 ( x n x 2 + x n + 1 x 2 ) + α n f ( x ) x , j ( x n + 1 x ) ,
which implies
x n + 1 x 2 α n ρ + β n + γ n k n 2 α n ρ β n γ n k n x n x 2 + 2 α n 2 α n ρ β n γ n k n f ( x ) x , j ( x n + 1 x ) = [ 1 2 ( 1 α n ρ β n γ n k n ) 2 α n ρ β n γ n k n ] x n x 2 + 2 α n 2 α n ρ β n γ n k n f ( x ) x , j ( x n + 1 x ) [ 1 2 α n ( ( 1 ρ ϵ ) 2 α n ρ β n γ n k n ] x n x 2 + 2 α n 2 α n ρ β n γ n k n f ( x ) x , j ( x n + 1 x ) .
We have b n = 2 α n ( ( 1 ρ ϵ ) 2 α n ρ β n γ n k n and σ n = f ( x ) x , j ( x n + 1 x ) 1 ρ ϵ , then by the condition ( i ) and (11), we have
n = 0 b n = n = 0 2 α n ( ( 1 ρ ϵ ) 2 α n ρ β n γ n k n n = 0 α n ( ( 1 ρ ϵ ) = + lim sup n σ n = lim sup n f ( x ) x , j ( x n + 1 x ) 1 ρ ϵ 0 .
Thus, applying Lemma 2 to (12), we have lim n x n x = 0 . This completes the proof. □
Corollary 1.
Let H be a real Hilbert space. Let K H be a closed convex subset. Suppose that T : K K is a nonexpansive mapping. Let A , B : K H be α-inverse strongly monotone operator and β-inverse strongly monotone operator. Let f : K K be a contraction with coefficient ρ ( 0 , 1 ) and Ψ be defined by Lemma 8. Assume that Ω = F ( T ) F ( Ψ ) . Suppose { α n } , { β n } , { γ n } , { δ n } ( 0 , 1 ) . If the sequence { x n } is generated in the following manner:
w n = P K ( I μ B ) x n , z n = P K ( I λ A ) ( t x n + ( 1 t ) w n ) , u n = δ n x n + ( 1 δ n ) z n , x n + 1 = α n f ( x n ) + β n x n + γ n T u n .
satisfying the following conditions:
( i ) α n + β n + γ n = 1 , lim n α n = 0 , Σ n = 0 α n = ; ( i i ) 0 < lim inf n β n lim sup n β n < 1 , lim n | δ n + 1 δ n | = 0 ; ( i i i ) 0 t < 1 , 0 < λ < 2 α c , 0 < μ < 2 β c .
Then { x n } converges strongly to x Ω which solves the variational inequality:
( I f ) x , x p 0 , p Ω .
Proof. 
In Theorem 1, we put k n 1 for each n N and replace Banach space X with Hilbert space H. □
Corollary 2.
Let X be a uniformly convex and uniformly smooth Banach space. Let E X be a closed convex subset. Suppose that Q E : X E is a sunny nonexpansive retraction and T : E E is an asymptotically nonexpansive mapping satisfying the uniformly asymptotically regular condition, and A , B : E X are an α-inverse strongly accretive operator and β-inverse strongly accretive operator, respectively. Let f : E E be a contraction with coefficient ρ ( 0 , 1 ) and Ψ be defined by Lemma 8. Assume that Ω = F ( T ) F ( Ψ ) . Suppose { α n } , { β n } , { γ n } , { δ n } ( 0 , 1 ) . If the sequence { x n } generated by the following manner:
w n = Q E ( I μ B ) x n , z n = Q E ( I λ A ) w n , u n = δ n x n + ( 1 δ n ) z n , x n + 1 = α n f ( x n ) + β n x n + γ n T n u n .
satisfies the following conditions:
( i ) α n + β n + γ n = 1 , lim n α n = 0 , Σ n = 0 α n = , k n 1 = ϵ α n , 0 < ϵ < 1 ρ ; ( i i ) 0 < lim inf n β n lim sup n β n < 1 , lim n | δ n + 1 δ n | = 0 ; ( i i i ) 0 < λ < 2 α c , 0 < μ < 2 β c ; ( i v ) β n + γ n k n 2 < 1 ,
then { x n } converges strongly to an element x Ω , which is also the solution of the variational inequality:
( I f ) x , j ( x p ) 0 , p Ω .
Proof. 
In Theorem 1, if t 0 , then we obtain the corollary. If f = u and T is a nonexpansive mapping, it is the main result of Qin et al. [6]. □

4. Numerical Examples

In this section, we provide a numerical example to support the validity and feasibility of our proposed algorithm. The results are performed on a personal computer with Intel(R) Core(TM) i7-4710MQ CPU @ 2.50 GHz and RAM 8.00 GB.
Example 1.
In the real number field R, we put B x = 1 6 x and A x = 1 4 x where x R . Let k n = 1 + 1 12 n , δ n = 1 1 3 n , α n = 1 3 n , β n = 1 2 1 3 n and γ n = 1 2 for all n N . We take t = 1 4 , μ = 3 , λ = 2 . Let T and f be defined by T x = 1 4 x , f ( x ) = 1 3 x . This implies that ϵ = 1 4 and ρ = 1 3 . Then, starting x 1 = 8 and x 1 = 25 in (3). We have
x n + 1 = 144 n + 144 n × ( 1 4 ) n 33 × ( 1 4 ) n 64 288 n x n .
We obtain the following numerical results, as shown in Figure 1 and Figure 2.
Remark 1.
First of all, the parameters in Example 1 satisfy the conditions (i)–( i v ) in Theorem 1, which shows that the coefficients in our Theorem 1 are obtained. From Figure 1, we can see the convergence value of the iterative sequence when the initial values are x 1 = 8 and x 1 = 25 , respectively. From Figure 2, we can observe the convergence speed of the iterative algorithm. Figure 1 and Figure 2 show that { x n } converges strongly to 0, where F ( T ) F ( Ψ ) = 0 . The convergence of { x n } in Example 1 shows the implementation and efficiency of our proposed algorithm.

5. Conclusions

In this paper, we provide a viscosity approximation method for a general variational inequality system and fixed point problems in Banach spaces. Some strong convergence theorems are obtained and the numerical experiments can be guaranteed by Theorem 1. We give an extension to the general variational inequality system in Banach spaces and we generalize the Hilbert spaces to Banach spaces, and the nonexpansive mapping to the asymptotically nonexpansive mappings of Imnang [5] and Cai et al. [14], for the fixed point problem and variational inequality problem. In Theorem 1, if t = 0 δ n = 0 in Hilbert spaces, this is the main results of Ceng et al. [3]. The results and methods presented here also include some corresponding recent results of [6,9,10,12,13,14,17] as special cases.

Author Contributions

Conceptualization, Y.W. and C.P.; methodology, Y.W. and C.P.; software, Y.W. and C.P.; validation, Y.W. and C.P.; formal analysis, Y.W. and C.P.; investigation, Y.W. and C.P.; resources, Y.W. and C.P.; data curation, C.P.; writing-original draft preparation, Y.W. and C.P.; writing-review and editing, Y.W. and C.P.; visualization, Y.W. and C.P.; supervision, Y.W.; project administration, Y.W. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (Grant no. 11671365) and the Natural Science Foundation of Zhejiang Province (Grant no. LY14A010011).

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Moudafi, A. Viscosity approximation methods for fixed-points problems. J. Math. Anal. Appl. 2000, 241, 46–55. [Google Scholar] [CrossRef][Green Version]
  2. Yao, Y.; Maruster, S. Strong convergence of an iterative algorithm for variational inequalities in Banach spaces. Math. Comput. Modell. 2011, 54, 325–329. [Google Scholar] [CrossRef]
  3. Ceng, L.C.; Yao, J.C.; Muglia, L. An extragradient-like approximation method for variational inequality problems and fixed point problems. Appl. Math. Comput. 2007, 190, 205–215. [Google Scholar] [CrossRef]
  4. Xie, S.; Imani, M.; Dougherty, E.R.; Braga-Neto, U.M. Nonstationary Linear Discriminant Analysis. In Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA, USA, 29 October–1 November 2017; pp. 161–165. [Google Scholar]
  5. Imnang, S. Viscosity iterative method for a new general system of variational inequalities in Banach spaces. J. Inequalities Appl. 2013, 2013, 249. [Google Scholar] [CrossRef][Green Version]
  6. Qin, X.; Cho, S.Y.; Kang, S.M. Convergence of an iterative algorithm for systems of variational inequalities and nonexpansive mappings with applications. J. Comput. Appl. Math. 2009, 233, 231–240. [Google Scholar] [CrossRef][Green Version]
  7. Sen, M.D.L.; Muglia, L. Fixed and best proximity points of cyclic jointly accretive and contractive self-mappings. J. Appl. Math. 2012, 2012, 419–429. [Google Scholar]
  8. Pan, C.; Wang, Y. Generalized viscosity implicit iterative process for asymptotically non-expansive mappings in Banach spaces. Mathematics 2019, 7, 379. [Google Scholar] [CrossRef][Green Version]
  9. Iiduka, H.; Takahashi, W.; Toyoda, M. Approximation of solutions of variational inequalities for monotone mappings. Pan. Math. J. 2004, 14, 49–61. [Google Scholar]
  10. Yao, Y.; Noor, M.A.; Noor, K.I.; Liou, Y.C.; Yaqoob, H. Modified extragradient methods for a system of variational inequalities in Banach spaces. Acta Appl. Math. 2010, 110, 1211–1224. [Google Scholar] [CrossRef]
  11. Ceng, L.C.; Petrusel, A.; Yao, J.C.; Yao, Y. Systems of variational inequalities with hierarchical variational inequality constraints for Lipschitzian pseudocontractions. Fixed Point Theory 2019, 20, 113–134. [Google Scholar] [CrossRef][Green Version]
  12. Katchang, P.; Kumam, P. Convergence of iterative algorithm for finding common solution of fixed points and general system of variational inequalities for two accretive operators. Positivity 2012, 15, 281–295. [Google Scholar] [CrossRef]
  13. Cai, G.; Shehu, Y.; Iyiola, O.S. Iterative algorithms for solving variational inequalities and fixed point problems for asymptotically nonexpansive mappings in Banach spaces. Numer. Algorithms 2016, 73, 869–906. [Google Scholar] [CrossRef]
  14. Cai, G.; Shehu, Y.; Iyiola, O.S. Strong convergence theorems for fixed point problems for strict pseudo-contractions and variational inequalities for inverse-strongly accretive mappings in uniformly smooth Banach spaces. J. Fixed Point Theory Appl. 2019, 21, 41. [Google Scholar] [CrossRef]
  15. Ceng, L.C.; Petrusel, A.; Yao, J.C.; Yao, Y. Hybrid viscosity extragradient method for systems of variational inequalities, fixed points of nonexpansive mappings, zero points of accretive operators in Banach spaces. Fixed Point Theory 2018, 19, 487–502. [Google Scholar] [CrossRef]
  16. Sunthrayuth, P.; Kumam, P. Viscosity approximation methods base on generalized contraction mappings for a countable family of strict pseudo-contractions, a general system of variational inequalities and a generalized mixed equilibrium problem in Banach spaces. Math. Comput. Model. 2013, 58, 1814–1828. [Google Scholar] [CrossRef]
  17. Luo, H.; Wang, Y. Iterative approximation for the common solutions of a infinite variational inequality system for inverse-strongly accretive mappings. J. Math. Comput. Sci. 2012, 6, 1660–1670. [Google Scholar]
  18. Reich, S. Asymptotic behavior of contractions in Banach spaces. J. Math. Anal. Appl. 1973, 44, 57–70. [Google Scholar] [CrossRef][Green Version]
  19. Liu, L.S. Iterative processes with errors for nonlinear strongly accretive mappings in Banach spaces. J. Math. Anal. Appl. 1995, 194, 114–125. [Google Scholar] [CrossRef][Green Version]
  20. Yao, Y.; Shahzad, N.; Liou, Y.C. Modified semi-implicit midpoint rule for nonexpansive mappings. Fixed Point Theory Appl. 2015, 2015, 166. [Google Scholar] [CrossRef][Green Version]
  21. Lim, T.C.; Xu, H.K. Fixed point theorems for asymptotically nonexpansive mappings. Nonlinear Anal. 1994, 22, 1345–1355. [Google Scholar] [CrossRef]
  22. Xu, H.K. Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 2004, 298, 279–291. [Google Scholar] [CrossRef][Green Version]
  23. Kamimura, S.; Takahashi, W. Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Optim. 2002, 13, 938–945. [Google Scholar] [CrossRef]
Figure 1. Exponential coordinate iteration.
Figure 1. Exponential coordinate iteration.
Symmetry 12 00036 g001
Figure 2. Real coordinate iteration.
Figure 2. Real coordinate iteration.
Symmetry 12 00036 g002

Share and Cite

MDPI and ACS Style

Wang, Y.; Pan, C. Viscosity Approximation Methods for a General Variational Inequality System and Fixed Point Problems in Banach Spaces. Symmetry 2020, 12, 36. https://doi.org/10.3390/sym12010036

AMA Style

Wang Y, Pan C. Viscosity Approximation Methods for a General Variational Inequality System and Fixed Point Problems in Banach Spaces. Symmetry. 2020; 12(1):36. https://doi.org/10.3390/sym12010036

Chicago/Turabian Style

Wang, Yuanheng, and Chanjuan Pan. 2020. "Viscosity Approximation Methods for a General Variational Inequality System and Fixed Point Problems in Banach Spaces" Symmetry 12, no. 1: 36. https://doi.org/10.3390/sym12010036

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop