Home An iterative approximation of common solutions of split generalized vector mixed equilibrium problem and some certain optimization problems
Article Open Access

An iterative approximation of common solutions of split generalized vector mixed equilibrium problem and some certain optimization problems

  • Oluwatosin T. Mewomo EMAIL logo and Olawale K. Oyewole
Published/Copyright: November 6, 2021
Become an author with De Gruyter Brill

Abstract

In this paper, we study the problem of finding a common solution of split generalized vector mixed equlibrium problem (SGVMEP), fixed point problem (FPP) and variational inequality problem (VIP). We propose an inertial-type iterative algorithm, which uses a projection onto a feasible set and a linesearch, which can be easily calculated. We prove a strong convergence of the sequence generated by the proposed algorithm to a common solution of SGVMEP, fixed point of a quasi- ϕ -nonexpansive mapping and VIP for a general class of monotone mapping in 2-uniformly convex and uniformly smooth Banach space E 1 and a smooth, strictly convex and reflexive Banach space E 2 . Some numerical examples are presented to illustrate the performance of our method. Our result improves some existing results in the literature.

MSC 2010: 47H06; 47H09; 46N10

1 Introduction

Let C denote a nonempty, closed and convex subset of a real Banach space E with norm and J : E 2 E be the normalized duality mapping defined by

(1) J ( x ) = { f E : x , f = x 2 = f 2 , x E } ,

where E is the dual space of E and , is the duality pairing between the elements of E and E .

Let C and X be nonempty, closed and convex subsets of real Banach spaces E 1 and E 2 , respectively, then the split feasibility problem (SFP) (see [1,2]), consists of finding a point

(2) x C such that L x X ,

where L : E 1 E 2 is a bounded linear operator. The SFP is a variant of the inverse problem and finds real life applications in image processing, radiation therapy and remote sensing [3,4, 5,6]. For approximating the solutions of (2) and related optimization problems in Hilbert, Banach, Hadamard and p-uniformly convex metric spaces, researchers have developed several iterative methods that adopt a fixed point approach (see [3,7,8,9] and references therein). It has been shown that a point x C is a solution of (2) if and only if x is a fixed point of the operator P C ( I γ L ( I P X ) L ) (see [10]), where P C , P X are metric projections onto C and X , respectively, L is a bounded linear operator with adjoint L and γ is a positive parameter. Let T : C C be a mapping. A point x C is called a fixed point of T , if x = T x . We shall denote the set of fixed points of T by Fix ( T ) , that is Fix ( T ) { x C : x = T x } .

Let X be a nonempty, convex subset of a real Banach space E . Assume that P is a proper, pointed, closed, convex cone of a real Hausdorff Y and e int P . Let f : X × X Y be a bifunction, ψ : X E be a nonlinear mapping and ϕ : X Y be a function. The generalized vector mixed equilibrium problem (GVMEP) is the problem of finding a point x X such that

(3) f ( x , y ) + y x , ψ ( x ) + ϕ ( y ) ϕ ( x ) P , y X .

Problem (3) so defined is called strong GVMEP. The problem is however said to be weak if the notation P in (3) is replaced by the notation int P . Now, suppose in (3) we let ψ = 0 , then problem reduces to the generalized vector equilibrium problem (GVEP) studied by Kazmi and Farid (see [11]). Also, if we set ψ = ϕ = 0 , then (3) reduces to a vector equilibrium problem (VEP), where VEP consists of finding x X such that

(4) f ( x , y ) P , y X .

Moreover, if we set Y = R and e = 1 , then Problem (3) reduces to the generalized mixed equilibrium problem considered by Peng and Yao [12]. Furthermore, problem (4) reduces to the classical equilibrium due to Blum and Oetlli [13]. Vector equilibrium represents a unified framework for studying several problems, including vector optimization, vector variational inequality, vector complementarity problems and so on [14,15]. In recent years, iterative algorithms for obtaining the equilibrium problems, zero points problems and related optimization problems have been studied in the literature (see [14,15, 16,17,18, 19,20] and references therein).

Let C be a nonempty, closed and convex subset of a real Banach space E with dual E and F : C E be a mapping. The variational inequality problem (VIP) is to find a point x C such that

(5) y x , F ( x ) 0 , y C .

We shall denote the solution set of (5) by VIP ( C , F ) . Closely related to (5) (see [21]) is the problem of finding y C such that

(6) y x , F ( y ) 0 , y C .

Following [21], we shall refer to (6) as the dual variational inequality problem (DVIP) of (5). The VIP is one of the central problems in nonlinear analysis (see [22,23,24]) with monotonicity playing a major role in its study. For instance, monotone operators are important tools in the study of several problems in the domain of optimization, nonlinear analysis, differential equation and other related fields. However, there have also been studies of variational inequalities with weaker monotonicity conditions such as pseudomonotone, quasimonotone, strictly quasimonotone, etc. In 2019, Chang et al. [25] studied an iterative approximation of solution of VIP for a semistrictly quasimonotone operator in the framework of infinite-dimensional Hilbert spaces (see [26] and references therein). It is known that extragradient methods for solving VIP require projections onto a set which are difficult to evaluate especially when the structure of the set is not simple. He et al. [27] introduced a totally relaxed self subgradient extragradient method (TRSSEM) involving feasible sets which are easily defined for solving the VIP. Let C j { z E : h j ( z ) 0 } , where h j : E R for all j = 1 , 2 , , m are convex and differentiable functions. For the TRSSEM, the feasible set is defined as

C j = 1 m C j .

Furthermore, obtaining a common element in the solution set of a fixed point problem (FPP), VIP and EP has recently been considered by authors in the literature due to its various applications, see [28,29,30]. In 2012, Shan and Huang [31] introduced the concept of generalized mixed vector equilibrium problem (GMVEP). They obtain the existence result in the framework of Hilbert space for this problem. They further proposed an iterative algorithm for obtaining a common element in the solution set of GMVEP, VIP and fixed point of a nonexpansive mapping. Very recently, Farid and Kazmi [32] introduced and studied a general iterative algorithm for approximating a common solution of split generalized equilibrium problem (SGEP), VIP and FPP. They proved a strong convergence theorem for the sequences generated by the proposed algorithm. For more references on this see [26].

In this paper, motivated by Shan and Huang [31], Chang et al. [25] and He et al. [27], we study an iterative approximation of a common solution of split generalized vector mixed equlibrium problem (SGVMEP), VIP and fixed point of quasi- ϕ -nonexpansive mapping. We proposed an inertial-type iterative algorithm which uses projection onto a feasible set and a linesearch with Halpern method. We prove a strong convergence theorem for the sequence generated by this algorithm to a common solution of these problems in the frame work of 2-uniformly convex and uniformly smooth Banach space E 1 and a smooth, strictly convex and reflexive Banach space E 2 . Finally, some numerical examples are presented to illustrate the performance of our method.

The rest of the paper is organized as follows: We first recall some basic definitions, required assumptions and results in Section 2. We give an explicit statement of the problem and show that its solution set is well defined, and we also propose an iterative process and prove a strong convergence of the method to a solution of the problem in Section 3. Some numerical experiments of our results are given in Section 4. We give concluding remarks in Section 5.

2 Preliminaries

In this section, we give some important definitions, results and restrictions which are useful in establishing our main results. Throughout this paper, we denote the weak and strong convergence of a sequence { x k } in a real Banach space E to a point x E by x k x and x k x , respectively.

Let E be a real Banach space, a function h : E R is said to be:

  1. Gâteaux differentiable at a point x E , if there exists an element in E denoted by h ( x ) or h ( x ) such that

    lim t 0 h ( x + t y ) h ( x ) t = y , h ( x ) , y E ,

    where h ( x ) or h ( x ) is called Gâteaux differential or gradient of h at x . h is said to be Gâteaux differentiable on E if it is Gâteaux differentiable on every x E ;

  2. weakly lower semicontinuous at x E if { x k } E , x k x implies h ( x ) liminf k h ( x k ) . Also, h is weakly lower semicontinuous on E if h is weakly lower semicontinuous for each x E ;

  3. if h is such that h ( ( 1 λ ) x + λ y ) ( 1 λ ) h ( x ) + λ h ( y ) , for each x , y E and λ ( 0 , 1 ) , then h is said to be a convex function. h is said to be differentiable if the set

    (7) h ( x ) { w E : h ( y ) h ( x ) w , y x , y E } .

    Each element h ( x ) is called a subgradient of h at x or the subdifferential of h and inequality (7) is said to be the subdifferential inequality of h at x . We say that the function h is subdifferentiable at E if it is subdifferentiable at every point of E . It is known that if h is Gâteaux differentiable at x , then h is subdifferentiable at x and { h ( x ) } = h ( x ) , which implies h ( x ) is singleton (see [33]). For more details on these, see [4,34,35] and references therein.

Following [36], Albert introduced a generalized projection operator Π C : E C defined by

Π C ( x ) = arg min y C ϕ ( y , x ) , x E ,

where ϕ : E × E R is the Lyapunov functional defined by

ϕ ( x , y ) = x 2 2 x , J y + y 2 , x , y E .

The functional ϕ is known to satisfy the following properties:

  1. ( x 2 y 2 ) ϕ ( x , y ) ( x 2 + y 2 ) ;

  2. ϕ ( x , y ) = ϕ ( x , z ) + ϕ ( z , y ) + 2 x z , J z J y ;

  3. ϕ ( z , λ J x + ( 1 λ ) J y ) λ ϕ ( z , x ) + ( 1 λ ) ϕ ( z , y ) , for all x , y , z E and λ ( 0 , 1 ) ;

  4. ϕ ( x , y ) + ϕ ( y , x ) = x y , J x J y , x , y E ;

  5. ϕ ( x , y ) x J x J y + y x y .

In Hilbert space, Π C = P C , the metric projection and ϕ ( x , y ) = x y 2 , see [37] for details on P C .

Remark 2.1

[38, 39] If E is a reflexive, strictly convex and smooth Banach space, then for x , y E , ϕ ( x , y ) = 0 if and only if x = y .

We also require the functional V : E × E R defined by

V ( u , v ) = u 2 2 u , v + v 2 , for each u E and v E .

It is easy to see that V ( u , v ) = ϕ ( u , J 1 v ) for all u E and v E . It is well known (see [40]) that if E is a reflexive, strictly convex and smooth Banach space, then

(8) V ( u , v ) V ( u , v + w ) 2 J 1 v u , w ,

for all u E and v , w E .

Let C be a nonempty, closed and convex subset of a real Banach space and T : C C be a mapping. A point x ¯ C is called an asymptotic fixed point of T if C contains a sequence { x k } such that x k x ¯ and x k T x k 0 as k . We denote by Fix ^ ( T ) the asymptotic fixed point set of T . A mapping T from C into itself is said to be relatively nonexpansive [41,42], if Fix ^ ( T ) = Fix ( T ) and ϕ ( p , T x ) ϕ ( p , x ) for all x C and p Fix ( T ) . Furthermore, T is said to be ϕ -nonexpansive, if ϕ ( T x , T y ) ϕ ( x , y ) for x , y C . T is said to be quasi- ϕ -nonexpansive if Fix ( T ) and ϕ ( p , T x ) ϕ ( p , x ) for all x C and p Fix ( T ) . The class of quasi- ϕ -nonexpansive mappings is more general than the class of relatively nonexpansive mappings [41,43] as the latter requires the strong restriction Fix ^ ( T ) = Fix ( T ) .

Let E a real Banach space. The modulus of smoothness of E is the function ρ E : [ 0 , ) [ 0 , ) defined by

ρ E ( t ) sup 1 2 ( x + y + x y ) 1 : x 1 , y t .

E is uniformly smooth if and only if

lim t 0 ρ E ( t ) t = 0 .

Let E be a real Banach space with a dimension greater or equal to 2, the modulus of convexity of E is the function δ E : ( 0 , 2 ] [ 0 , 1 ] defined by

δ E ( ε ) inf 1 1 2 x + y : x = 1 = y ; x y = ε .

E is uniformly convex if for any ε ( 0 , 2 ] , there exists a δ = δ ( ε ) > 0 such that if x , y E with x 1 , y 1 and x y ε , then 1 2 x + y 1 δ . Equivalently, E is uniformly convex if and only if δ E ( ε ) > 0 for all ε ( 0 , 2 ] . E is said to be 2-uniformly convex if there exists a constant c > 0 such that δ E ( ε ) > c ε 2 for every ε ( 0 , 2 ] , where c is the 2-uniformly convexity constant of E . It is known [38,44,45] that every 2-uniformly convex Banach space is uniformly convex and reflexive. The space E is strictly convex, if for each x y E and x = y = 1 , we have λ x + ( 1 λ ) y < 1 for all λ ( 0 , 1 ) .

Lemma 2.2

[46] Given a number s > 0 . A real Banach space E is uniformly convex if and only if there exists a continuous strictly increasing function g : [ 0 , ) [ 0 , ) with g ( 0 ) = 0 such that

t x + ( 1 t ) y 2 t x 2 + ( 1 t ) y 2 t ( 1 t ) g ( x y ) ,

for all x , y E , λ [ 0 , 1 ] , with x < s and y < s .

Lemma 2.3

[36] Let C be a nonempty, closed and convex subset of a reflexive, strictly convex and smooth Banach space E . If x E and q C , then

(9) q = Π C x y q , J x J q 0 , y C

and

(10) ϕ ( y , Π C x ) + ϕ ( Π C x , x ) ϕ ( y , x ) , y C , x E .

Lemma 2.4

[47] Let E be a smooth and uniformly convex real Banach space and let { x k } and { y k } be two sequences in E . If either { x k } or { y k } is bounded and ϕ ( x k , y k ) 0 as k , then x k y k 0 as k .

Remark 2.5

[48] Using P5, it is easy to see that converse of Lemma 2.4 is also true whenever both { x k } and { y k } are bounded.

Lemma 2.6

[49] Let E be a 2-uniformly convex and smooth Banach space. Then for every x , y E

ϕ ( x , y ) ν x y 2 ,

where ν > 0 is the 2-uniformly convexity constant of E .

Lemma 2.7

[46] Let E be a 2-uniformly smooth Banach space with the best smoothness constant d > 0 . Then, the following inequality holds:

x + y 2 x 2 + y , J x + 2 d y 2 , x , y E .

Definition 2.8

[20,50] Let X and Y be two Hausdorff topological spaces and let D be a nonempty, convex subset of X and P be a pointed, proper, closed and convex cone of Y with int P . Let 0 be the zero point of Y , N ( 0 ) be the neighbourhood set of 0, N ( x 0 ) be the neighbourhood set of x 0 and f : D Y be a mapping.

  1. If, for any V N ( 0 ) Y , there exists U N ( x 0 ) such that

    f ( x ) f ( x 0 ) + V + P , x U D ,

    then f is called upper P -continuous on x 0 . If f is upper P -continuous for all x D , then f is called upper P -continuous on D ;

  2. If, for any V N ( 0 ) Y , there exists N ( x 0 ) such that

    f ( x ) f ( x 0 ) + V P , x U D ,

    then f is called lower P -continuous on x 0 . f is called lower P -continuous on D , if f is lower P -continuous at every x D ;

  3. If, for any x , y D and λ [ 0 , 1 ] , the mapping f satisfies f ( x ) f ( λ x + ( 1 λ ) y ) + P or f ( y ) f ( λ x + ( 1 λ ) y ) + P , then f is called proper P -quasiconvex;

  4. If, for x , y D and λ [ 0 , 1 ] , the mapping f satisfies

    λ f ( x ) + ( 1 λ ) f ( y ) f ( λ x + ( 1 λ ) y ) + P ,

    then f is called P -convex.

Lemma 2.9

[51] Let X and Y be two real Hausdorff topological spaces, D is a nonempty, compact, convex subset of X and P is a pointed, proper, closed and convex cone of Y with int P . Assume f : D × D Y and Φ : D Y are two vector mappings. Suppose f and Φ satisfy

  1. f ( x , x ) P , for all x D ;

  2. Φ is upper P -continuous on D ;

  3. f ( , y ) is lower P -continuous for all y D ;

  4. f ( x , ) + Φ ( ) is proper P -quasiconvex for all x D .

Then, there exists a point x D that satisfies G ( x , y ) P \ { 0 } , y D where

G ( x , y ) = f ( x , y ) + Φ ( y ) Φ ( x ) , x , y D .

For solving the GMVEP, we give the following assumptions: Let X E 2 be a nonempty, compact, convex subset of real Banach space E 2 and Y a real Hausdorff topological space, P Y is a proper, closed and convex cone. Let f : X × X Y and ψ : X Y be two mappings. For any x E 2 , define a mapping Ψ x : X × X Y as follows:

(11) Ψ x ( y , z ) = f ( z , y ) + ψ ( z ) ψ ( y ) + e r y z , J z J x ,

where r is a positive number in R and e int P . Let Ψ x , f and ψ satisfy the following conditions:

  1. For all x X , f ( x , x ) = 0 ;

  2. f is monotone, that is f ( x , y ) + f ( y , x ) P , x , y X ;

  3. f ( , ) is continuous, y X ;

  4. f ( x , ) is weakly continuous and P -convex, that is,

    λ f ( x , y ) + ( 1 λ ) f ( x , z ) f ( x , λ y + ( 1 λ ) z ) + P , x , y , z X and λ [ 0 , 1 ] ;

  5. Ψ x ( , y ) is lower P -continuous for all y X and z E 2 ;

  6. ψ x ( ) is P -continuous;

  7. Ψ x ( x , ) is proper P -quasiconvex for all x X and z E 2 .

The following result was proved in [31] in the framework of Hilbert space, but can easily be adapted for this study.

Lemma 2.10

[31] Let f and ψ satisfy restrictions ( R 1 ) ( R 7 ) . Define a mapping K r : E 2 X as follows:

(12) K r ( x ) = { z E 2 : f ( z , y ) + ψ ( z ) ψ ( y ) + e r y z , J z J x P , y X } .

Then,

  1. K r ( x ) for all x E 2 ;

  2. K r is single valued;

  3. K r is firmly nonexpansive-type mapping, that is for all x , y E 2 ,

    K r ( x ) K r ( y ) , J K r ( x ) J K r ( y ) K r x K r y , J x J y ;

  4. Fix ( K r ) = Sol ( GV EP ) ;

  5. Sol ( GV EP ) is closed and convex.

Let E be a real Banach space. Given x , y E , define the open segment

( x , y ) = { t x + ( 1 t ) y : 0 < t < 1 } .

The segments ( x , y ] , [ x , y ) and [ x , y ] are defined analogously.

Definition 2.11

[25] A mapping F : E E is said to be

  1. weakly hemicontinuous if F is upper semicontinuous from line segments to the weak topology of E ;

  2. sequentially weakly semicontinuous if for each sequence { x k } in E with x k q , then F x k F q .

It is easy to check that (b) implies (a).

Lemma 2.12

[21] A solution of D V I P is always a solution of V I P , if the operator F is weakly hemicontinuous.

Remark 2.13

It is well known that p C is a solution of (5) if and only if p is a fixed point of the operator P C ( I λ F ) for all λ > 0 .

Definition 2.14

Let C be a nonempty closed and subset of a real Banach space E with dual E . The mapping F : C E is said to be:

  1. m -inverse strongly monotone on C with constant m > 0 if for each u , v C , there holds

    u v , F ( u ) F ( v ) m F ( u ) F ( v ) 2 ;

  2. strongly monotone on C with constant τ > 0 if for each u , v C , there holds

    u v , F ( u ) F ( v ) τ u v 2 ;

  3. strictly monotone on C if for all distinct u , v C , there holds

    u v , F ( u ) F ( v ) > 0 ;

  4. monotone on C if for each u , v C , there holds

    u v , F ( u ) F ( v ) 0 ;

  5. pseudo-monotone on C if for each u , v C , there holds

    u v , F ( v ) 0 u v , F ( u ) 0 ;

  6. quasi-monotone on C if for each u , v C , there holds

    u v , F ( v ) > 0 u v , F ( u ) 0 ;

  7. (see [52]) semistrictly quasi-monotone on C if F is quasi-monotone on C and for all distinct of points u , v C , we have that

    u v , F ( v ) > 0 u v , F ( w ) > 0 ,

    for some w 1 2 ( u + v ) , u .

Lemma 2.15

[53] Let C be a nonempty, closed and convex subset of E and F : C E be a weakly hemicontinuous and semistrictly quasi-monotone mapping. Then D V I ( C , F ) at least has one solution.

Lemma 2.16

[54] Let { a k } be a sequence of nonnegative real numbers satisfying the following relation:

a k + 1 ( 1 α k ) a k + α k σ k + γ k , k 0 ,

where

  1. { α k } [ 0 , 1 ] , lim k α k = 0 and k = 1 α k = ;

  2. limsup k σ k 0 ;

  3. γ k 0 , ( k 1 ) and k = 1 γ k < .

Then, lim k a k = 0 .

Lemma 2.17

[9,42] Let { a k } be a sequence of real numbers such that there exists a subsequence { k j } of { k } such that a k j < a k j + 1 for all j N . Then, there exists a nondecreasing subsequence { m k } N such that m k and the following properties are satisfied by all (sufficiently large) numbers k N : a m k < a m k + 1 and a k < a m k + 1 . In fact, m k = max { i k : a i < a i + 1 } .

3 Main result

In this section, we prove our main result. First, we explicitly state the problem considered in this paper, then we introduce a linesearch algorithm for obtaining the solution of this problem and finally discuss its convergence analysis.

Let C be a nonempty, closed and convex subset of a 2-uniformly convex and uniformly smooth Banach space E 1 , X be a nonempty, compact and convex subset of a smooth, strictly convex and reflexive Banach space E 2 and L : E 1 E 2 be a bounded linear operator with L : E 2 E 1 its adjoint. Let P be a pointed, proper, closed and convex cone of a real Hausdorff topological space Y . Let f : X × X Y and A : X Y functions satisfying assumptions ( R 1 )–( R 7 ). Let ψ : X E 2 be an m -inverse strongly monotone mapping and T : C C be a quasi- ϕ -nonexpansive mapping. Also, let F : C E be a semistrictly quasi-monotone, sequentially weakly continuous mapping. We consider the problem of finding a point p C such that

(13) p VIP ( C , F ) Fix ( T ) such that L p GVMEP ( f , A , ψ , X ) .

Assume Γ , where Γ denotes the solution set of problem (13). We note that Γ is closed and convex. Indeed, following [41], the fixed point of quasi- ϕ -nonexpansive mapping T is closed and convex. Also by Lemma 2.10(v), we have that GVMEP ( f , A , ψ , X ) is closed and convex and finally by Lemma 2.15, VIP ( C , F ) . Hence, the solution of (13) is well defined. To obtain the solution of (13), we consider the following iterative algorithm:

Algorithm 3.1

Pick x 0 , x 1 , u C and choose the parameters ρ ( 0 , 1 ) , η ( 0 , ν ) , where ν is the 2-uniform convexity constant of E 1 and suppose that { α k } [ a , e ] for some 0 < a < e < 1 , { β k } [ d , b ] for some 0 < d < b < 1 , { r k } be a sequence of positive real numbers and γ ( 0 , 1 d 2 L 2 ) and d is the best smoothness constant of E 2 . For j = 1 , 2 , , m , let h j : E R be a family of convex, weakly lower semicontinuous and Gâteaux differentiable functions such that h j ( ) is K j -Lipschitz continuous with K = max 1 j m K j . The feasible set C is defined by

C i = 1 m C j ,

where

C j { z E : h j ( z ) 0 } .

We also assume the following conditions are satisfied:

  1. lim k β k = 0 , k = 1 β k = ;

  2. liminf k α k ( 1 α k ) > 0 ;

  3. k = 1 ϕ ( x k , x k 1 ) < ;

  4. lim k θ k β k = 0 .

For each k > 0 , having the k -iterate { x k } , compute the following steps:

  1. For j = 1 , 2 , , m and given the current iterate, construct the family of half spaces

    C k j = { w E 1 : h j ( w k ) + h j ( w k ) , w w k 0 }

    and set

    C k = j = 1 m C k j .

    Compute

    (14) w k = J 1 1 ( J 1 x k + θ k ( J 1 x k 1 J 1 x k ) ) , z k = Π C k J 1 1 ( J 1 w k λ k F w k ) ,

    where λ k = ρ l k and l k is the smallest nonnegative integer such that

    (15) λ k F w k F z k η w k z k .

  2. If w k = z k , ( w k VIP ( C , F ) ) , then w k = y k and go to step III. Otherwise, compute the next iterate by

    (16) y k = Π Q k J 1 1 ( J 1 w k λ k F z k ) ,

    where Q k = { w E 1 : w z k , J 1 w k λ k F w k J 1 z k 0 } .

  3. Compute

    (17) u k = J 1 1 ( α k J 1 y k + ( 1 α k ) J 1 T y k ) , v k = J 1 1 ( J 1 u k + γ L J 2 ( ( K r k ( I r A ) I ) L u k ) ) , x k + 1 = J 1 1 ( β k J 1 u + ( 1 β k ) J 1 v k ) .

  4. Set k k + 1 and go to step I.

Lemma 3.2

If w k = z k , then w k VIP ( C , F ) .

Proof

Suppose w k = z k , then by the characteristics of Π C k and (15), we have

J w k λ k F ( w k ) J w k , y z k 0 , y C k

or equivalently

(18) λ k F ( w k ) , y w k 0 , y C k .

Since λ k > 0 , we obtain

(19) F ( w k ) , y w k 0 , y C k .

Hence, w k VIP ( C k , F ) . We conclude therefore from this, w k C and C C k that w k VIP ( C , F ) .□

In what follows, we shall show that the Armijo Linesearch rule (15) is well defined.

Lemma 3.3

There exists a nonnegative integer l k satisfying (15) of Algorithm 3.1.

Proof

If w k VIP ( C , F ) , then w k = Π C k J 1 1 ( J 1 w k λ k F w k ) and l k = 0 . Hence, we consider the case where w k VIP ( C , F ) and assume the contrary, that is for l > 0

λ k F w k F z k > η w k z k .

This implies

(20) F w k F z k > η w k z k λ k .

Next, we consider the following possibilities, w k C k and w k C k . First, let w k C , then w k C k and w k = Π C k ( w k ) . Using the continuity of F and Π C k , then lim k w k z k = 0 . Consequently,

(21) lim k F w k F z k = 0 .

We have from (20) and (21) that

lim k w k z k λ k = 0 .

Using the continuity of J 1 on bounded subsets of E 1 , we get

(22) lim k J 1 w k J 1 z k λ k = 0 .

By (9), we obtain

J 1 z k J 1 w k + λ k F w k , y z k 0 , y C k ,

this implies

(23) y z k , F w k J 1 w k J 1 z k , y z k λ k , y C k .

Letting k and using (22), we get

(24) y w k , F w k 0 , y C k ,

which implies w k VIP ( C k , F ) . It is easy to see from w k C and C C k that w k VIP ( C , F ) , a contradiction. On the other hand, suppose w k C k , then

(25) lim k w k z k = w k Π C k w k > 0

and

(26) lim k λ k F w k F z k = 0 .

By using (20), (25) and (26), we obtain a contradiction. Therefore, the linesearch (15) is well defined.□

For our convergence analysis, we will assume that sup k 1 l k < , which implies inf k 1 λ k > 0 .

In the following result, we prove the boundedness of the sequence generated by our proposed method.

Lemma 3.4

Let { x k } be the sequence given by Algorithm 3.1and x Γ . Then, { ϕ ( x , x k ) } is bounded. Consequently, the sequences { x k } , { y k } , { w k } , { u k } , { v k } and { L u k } are bounded.

Proof

Fix p Γ , then from Lemma 2.3, we have that

ϕ ( p , y k ) = ϕ ( p , Π Q k J 1 1 ( J 1 w k λ k F z k ) ) ϕ ( p , J 1 1 ( J 1 w k λ k F z k ) ) ϕ ( y k , J 1 1 ( J 1 w k λ k F z k ) ) = p 2 2 p , J 1 w k λ k F z k + J 1 w k λ k F z k 2 ( y k 2 2 p , J 1 w k λ k F z k + J 1 w k λ k F z k 2 ) = p 2 2 p , J 1 w k λ k F z k y k 2 + 2 y k , J 1 w k λ k F z k = p 2 2 p , J 1 w k + p , λ k F z k y k 2 + 2 y k , J 1 w k y k , λ k F z k = p 2 2 p , J 1 w k + w k 2 ( y k 2 2 y k , J 1 w k + w k 2 ) + 2 λ k p y k , F z k = ϕ ( p , w k ) ϕ ( y k , w k ) + 2 λ k p y k , F z k ,

which by (P2) implies

(27) ϕ ( p , y k ) = ϕ ( p , w k ) ( ϕ ( y k , z k ) + ϕ ( z k , w k ) + 2 y k z k , J 1 z k J 1 w k ) + 2 λ k [ p z k , F z k + z k y k , F z k ] = ϕ ( p , w k ) ϕ ( y k , z k ) ϕ ( z k , w k ) 2 y k z k , J 1 z k J 1 w k + 2 λ k p z k , F z k 2 λ k y k z k , F z k = ϕ ( p , w k ) ϕ ( y k , z k ) ϕ ( z k , w k ) + 2 y k z k , J 1 w k λ k F z k J 1 z k + 2 λ k p z k , F z k ϕ ( p , w k ) ϕ ( y k , z k ) ϕ ( z k , w k ) + 2 y k z k , J 1 w k λ k F z k J 1 z k .

We obtained the last inequality by using the fact that p Γ and the definition of F . Indeed, for any p Γ , we have y p , F ( p ) 0 , y C . Replacing y by z k , we get z k p , F ( p ) 0 . Since F is semi-quasi strictly monotone, we obtain z k p , F ( p ) > 0 z k p , F ( z k ) > 0 . Thus, p z k , F ( z k ) 0 .

By the definition of Q k and Cauchy-Schwarz inequality, we obtain

2 y k z k , J 1 w k λ k F z k J 1 z k = 2 y k z k , J 1 w k λ k F w k J 1 z k + 2 λ k y k z k , F w k F z k 2 λ k y k z k , F w k F z k

and by (15), we get

2 y k z k , J 1 w k 2 λ k F z k J 1 z k 2 η y k z k w k z k .

Using Lemma 2.6, one gets

2 η y k z k w k z k 2 η ϕ ( y k , z k ) ν × ϕ ( z k , w k ) ν η ν ( ϕ ( y k , z k ) + ϕ ( z k , w k ) ) ,

that is

(28) 2 y k z k , J 1 w k 2 λ k F z k J 1 z k η ν ( ϕ ( y k , z k ) + ϕ ( z k , w k ) ) .

Therefore, from (27) and (28), we obtain that

(29) ϕ ( p , y k ) ϕ ( p , w k ) 1 η ν ( ϕ ( y k , z k ) + ϕ ( z k , w k ) ) .

Now, from (17) and Lemma 2.7, we have

(30) ϕ ( p , u k ) = ϕ ( p , J 1 1 ( α k J 1 y k + ( 1 α k ) J 1 T y k ) ) = p 2 2 p , α k J 1 y k + ( 1 α k ) J 1 T y k + α k J 1 y k + ( 1 α k ) J 1 T y k 2 = p 2 2 α k p , J 1 y k 2 ( 1 α k ) p , J 1 T y k + α k y k 2 + ( 1 α k ) T y k 2 α k ( 1 α k ) g ( J 1 y k J 1 T y k ) α k ϕ ( p , y k ) + ( 1 α k ) ϕ ( p , T y k ) α k ( 1 α k ) g ( J 1 y k J 1 T y k ) = α k ϕ ( p , y k ) + ( 1 α k ) ϕ ( p , y k ) α k ( 1 α k ) g ( J 1 y k J 1 T y k ) ϕ ( p , y k ) α k ( 1 α k ) g ( J 1 y k J 1 T y k ) ϕ ( p , y k ) .

Again by using (17) and Lemma 2.7, we have

(31) ϕ ( p , v k ) = ϕ ( p , J 1 1 ( J 1 u k + γ L J 2 ( ( K r k ( I r k A ) I ) L u k ) ) ) = p 2 2 p , J 1 u k + γ L J 2 ( ( K r k ( I r k A ) I ) L u k ) + J 1 u k + γ L J 2 ( ( K r k ( I r k A ) I ) L u k ) 2 = p 2 2 p , J 1 u k 2 γ L p , J 2 ( ( K r k ( I r k A ) I ) L u k ) + u k 2 + 2 γ L u k , J 2 ( ( K r k ( I r k A ) I ) L u k ) + 2 d γ L J 2 ( K r k ( I r k A ) I ) L u k 2 = p 2 2 p , J 1 u k 2 γ L p L u k , J 2 ( ( K r k ( I r k A ) I ) L u k ) + u k 2 + 2 d 2 γ 2 L 2 ( K r k ( I r k A ) I ) L u k 2 = ϕ ( p , u k ) 2 γ k L p L u k , J 2 ( ( K r k ( I r k A ) I ) L u k ) + 2 d 2 γ 2 L 2 ( K r k ( I r k A ) I ) L u k 2 .

Since ( K r k ( I r k A ) I ) is firmly nonexpansive type, we have

L p L u k , J 2 ( ( K r k ( I r k A ) I ) L u k ) = L p K r k ( I r k A ) L u k , J 2 ( ( K r k ( I r k A ) I ) L u k ) + ( K r k ( I r k A ) I ) L u k 2 ( K r k ( I r k A ) I ) L u k 2 ,

using this in (31), we get that

(32) ϕ ( p , v k ) ϕ ( p , u k ) 2 γ ( K r k ( I r k A ) I ) L u k 2 + 2 d 2 γ 2 L 2 ( K r k ( I r k A ) I ) L u k 2 = ϕ ( p , u k ) 2 γ ( 1 γ d 2 L 2 ) ( K r k ( I r k A ) I ) L u k 2 ϕ ( p , u k ) .

Furthermore, from (17), 0 < η < ν and (P3), we have

(33) ϕ ( p , x k + 1 ) = ϕ ( p , J 1 1 ( β k J 1 u + ( 1 β k ) J 1 v k ) ) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , v k ) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , u k )

(34) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , y k ) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , w k ) 1 η ν ( ϕ ( y k , z k ) + ϕ ( w k , z k ) ) = β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , w k ) ( 1 β k ) 1 η ν ( ϕ ( y k , z k ) + ϕ ( w k , z k ) ) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , w k ) .

Again from (P3) and (14), we have

(35) ϕ ( p , w k ) = ϕ ( p , J 1 1 ( J x k + θ k ( J 1 x k 1 J 1 x k ) ) ) = ϕ ( p , J 1 1 ( θ k J 1 x k 1 + ( 1 θ k ) J 1 x k ) ) ( 1 θ k ) ϕ ( p , x k ) + θ k ϕ ( p , x k 1 ) ,

hence

(36) ϕ ( p , x k + 1 ) β k ϕ ( p , u ) + ( 1 β k ) [ ( 1 θ k ) ϕ ( p , x k ) + θ k ϕ ( p , x k 1 ) ] β k ϕ ( p , u ) + ( 1 β k ) [ ϕ ( p , x k ) + ϕ ( p , x k 1 ) ] max { ϕ ( p , u ) , ( ϕ ( p , x k ) + ϕ ( p , x k 1 ) ) } max { ϕ ( p , u ) , ( ϕ ( p , x 1 ) + ϕ ( p , x 0 ) ) } , k 1 .

Thus, { ϕ ( p , x k ) } is bounded. Therefore, { x k } is bounded and the conclusion of the lemma holds.□

In what follows, we obtain a result, which is a consequence of the boundedness of { x k } .

Lemma 3.5

Let { x k i } be a subsequence of the sequence { x k } defined by Algorithm 3.1such that x k i q . Let w k i z k i 0 and w k i x k i 0 as i hold. Then q V I C ( C , F ) .

Proof

First, we show that q C . Indeed, it follows from z k i C k i that

h j ( w k i ) + h j ( w k i ) , z k i w k i 0 .

By using the Cauchy-Schwartz inequality, we have

h j ( w n ) h j ( w k i ) , w k i z k i h j ( w k i ) w k i z k i .

Since h j is Lipschitz continuous and { w k i } is bounded, we have that { h j ( w k i ) } is bounded. Thus, there exists K j > 0 such that h j ( w k i ) K j for each i . Therefore, we obtain

h j ( w k i ) K w k i z k i ,

where K = max 1 j m { K j } . Hence, by the weakly continuity of h j , we have

h j ( q ) liminf k h j ( w n k ) lim k K w k i z k i = 0 .

Thus, q C .

By the definition of z k and characterization of Π C k , we have

J 1 w k i λ k i F w k i J 1 z k i , w z k i 0 , w C k i

or

J 1 w k i J 1 z k i , w z k i λ k i F w k i , w z k i , w C k i .

This implies that

(37) J 1 w k i J 1 z k i , w z k i + λ k i F w k i , z k i w k i λ k i F w k i , w w k i , w C k i .

Fix w C k i and let i in (37), by hypothesis, λ k i > 0 and uniform continuity of J 1 on bounded subsets of E 1 , we have

(38) liminf i w w k i , F w k i 0 , w C k i .

Thus, we have from (38), the fact that w k i C and C C k i , that

(39) liminf i w w k i , F w k i 0 , w C .

Let { ε i } be a sequence of positive numbers such that ε i 0 as i . From (39), we can find N large enough such that

(40) w w k i , F w k i + ε i > 0 , k N .

For some q k i E 1 satisfying F w k i , q k i = 1 , we can write (40) as

(41) w + ε i q k i w k i , F w k i > 0 , k N .

Since F is semistrictly quasi-monotone, we have that

(42) w + ε i q k i w k i , F ( w + ε i q k i ) > 0

from which we get

(43) w w k i , F w > w + ε i q k i w k i , F w F ( w + ε i q k i ) ε i q k i , F w , k N .

Letting i , we obtain

liminf i w w k i , F w 0 .

Hence, for all w C

(44) w p , F w = lim i w w k i , F w = liminf i w w k i , F w 0 .

It follows from Lemma 2.12 and Remark 2.13 that q VIC ( C , F ) .□

Theorem 3.6

Let { x k } be the sequence generated by Algorithm 3.1such that assumptions ( B 1 ) ( B 4 ) are satisfied. Then { x k } converges strongly to a point Π Γ u = p Γ , where Π Γ is the generalized projection of E 1 onto Γ .

Proof

As in Lemma 3.4, let p Γ . Then from (8) and (17), we have

(45) ϕ ( p , x k + 1 ) = ϕ ( p , J 1 1 ( β k J 1 u + ( 1 β k ) J 1 v k ) ) = V ( p , β k J 1 u + ( 1 β k ) J 1 v k β k ( J 1 u J 1 p ) ) 2 β k ( J 1 u J 1 p ) , J 1 1 ( β k J 1 u + ( 1 β k ) J 1 v k ) p V ( p , β k J 1 p + ( 1 β k ) J 1 v k ) + 2 β k J 1 u J 1 p , x k + 1 p β k V ( p , J 1 p ) + ( 1 β k ) V ( p , J 1 v k ) + 2 β k J 1 u J 1 p , x k + 1 p = β k ϕ ( p , p ) + ( 1 β k ) ϕ ( p , v k ) + 2 β k J 1 u J 1 p , x k + 1 p = ( 1 β k ) ϕ ( p , v k ) + 2 β k J 1 u J 1 p , x k + 1 p ( 1 β k ) ϕ ( p , u k ) + 2 β k J 1 u J 1 p , x k + 1 p ( 1 β k ) ϕ ( p , y k ) + 2 β k J 1 u J 1 p , x k + 1 p ( 1 β k ) ϕ ( p , w k ) + 2 β k J 1 u J 1 p , x k + 1 p ( 1 β k ) ( ( 1 θ k ) ϕ ( p , x k ) + θ k ϕ ( p , x k 1 ) ) + 2 β k J 1 u J 1 p , x k + 1 p ( 1 β k ) ϕ ( p , x k ) + β k θ k β k ϕ ( p , x k 1 ) + 2 J 1 u J 1 p , x k + 1 p ,

for each k N .

Now, consider the following two possible cases:

Case 1

Suppose that there exists n 0 N such that { ϕ ( p , x k ) } k n 0 is either non-increasing or non-decreasing. Then, by the boundedness of { ϕ ( p , x k ) } , it follows that { ϕ ( p , x k ) } is convergent and

ϕ ( p , x k ) ϕ ( p , x k + 1 ) 0 as k .

From (30), (33) and (35), we have

ϕ ( p , x k + 1 ) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , u k ) β k ϕ ( p , u ) + ( 1 β k ) [ ϕ ( p , y k ) α k ( 1 α k ) g ( J 1 y k J 1 T y k ) ] β k ϕ ( p , u ) + ( 1 β k ) [ ϕ ( p , w k ) α k ( 1 α k ) g ( J 1 y k J 1 T y k ) ] β k ϕ ( p , u ) + ( 1 β k ) [ ( 1 θ k ) ϕ ( p , x k ) + θ k ϕ ( p , x k 1 ) α k ( 1 α k ) g ( J 1 y k J 1 T y k ) ] ,

which implies

α k ( 1 α k ) ( 1 β k ) g ( J 1 y k J 1 T y k ) β k θ k β k ϕ ( p , x k 1 ) + ϕ ( p , u ) + ( 1 β k ) ϕ ( p , x k ) ϕ ( p , x k + 1 ) .

By letting k , we get α k ( 1 α k ) ( 1 β k ) g ( J 1 y k J 1 T y k ) 0 , since α k ( 1 α k ) ( 1 β k ) > 0 we obtain

g ( J 1 y k J 1 T y k ) 0 as k .

Using the property of g and the uniform continuity of J 1 1 on bounded subsets of E 1 , we have

(46) lim k y k T y k = 0 = ϕ ( y k , T y k ) ,

from Remark 2.5. Observe from (17) that

ϕ ( y k , u k ) = ϕ ( y k , J 1 1 ( α k J 1 y k + ( 1 α k ) J 1 T y k ) ) = y k 2 2 y k , α k J 1 y k + ( 1 α k ) J 1 T y k + α k J 1 y k + ( 1 α k ) J 1 T y k 2 = y k 2 2 α k y k , J 1 y k 2 ( 1 α k ) y k , J 1 T y k + α k y k 2 + ( 1 α k ) T y k 2 α k ( 1 α k ) g ( J 1 y k J 1 T y k ) = α k ϕ ( y k , y k ) + ( 1 α k ) ϕ ( y k , T y k ) α k ( 1 α k ) g ( J 1 y k J 1 T y k ) ,

which implies by using (46) that ϕ ( y k , u k ) 0 as k . By invoking Lemma 2.4, we get

(47) lim k y k u k = 0 .

Also, from (34), we have

( 1 β k ) 1 η ν ( ϕ ( y k , z k ) + ϕ ( z k , w k ) ) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , w k ) ϕ ( p , x k + 1 ) β k θ k β k ϕ ( p , x k 1 ) + ϕ ( p , u ) + ( 1 β k ) ϕ ( p , x k ) ϕ ( p , x k + 1 ) ,

thus by condition (B2), we get ( ϕ ( y k , z k ) + ϕ ( z k , w k ) ) 0 as k , that is

lim k ϕ ( y k , z k ) = lim k ϕ ( y k , z k ) = 0 ,

Lemma 2.4 ensures

(48) lim k y k z k = lim k y k z k = 0 .

Next, we show that ( K r k ( I r k A ) I ) L u k 0 as k . Indeed, we have from (32) and (33) that

ϕ ( p . x k + 1 ) β k ϕ ( p , u ) + ( 1 β k ) ϕ ( p , v k ) β k ϕ ( p , u ) + ( 1 β k ) [ ϕ ( p , u k ) 2 γ ( 1 γ k d 2 L 2 ) ( K r k ( I r k A ) I ) L u k 2 ] ,

by further calculations, we get

2 γ ( 1 γ d 2 L 2 ) ( K r k ( I r k A ) I ) L u k 2 β k θ k β k ϕ ( p , x k 1 ) + ϕ ( p , u ) + ( 1 β k ) ϕ ( p , x k ) ϕ ( p , x k + 1 ) .

Thus, we obtain

(49) lim k ( K r k ( I r k A ) I ) L u k = 0 .

Observe from (17) that

ϕ ( u k , v k ) = ϕ ( u k , J 1 1 ( J 1 u k + γ L J 2 ( ( K r k ( I r k A ) I ) L u k ) ) ) = u k 2 2 u k , J 1 u k + γ L J 2 ( ( K r k ( I r k A ) I ) L u k ) + J 1 u k + γ L J 2 ( ( K r k ( I r k A ) I ) L u k ) 2 = u k 2 2 u k , J 1 u k 2 γ u k , L J 2 ( ( K r k ( I r k A ) I ) L u k ) + u k 2 + 2 γ u k , L J 2 ( ( K r k ( I r k A ) I ) L u k ) + 2 d 2 γ 2 L 2 ( K r k ( I r k A ) I ) L u k 2 = ϕ ( u k , u k ) + 2 d 2 γ 2 L 2 ( K r k ( I r k A ) I ) L u k 2 ,

which by (49) and Lemma 2.4, that

(50) lim k ϕ ( v k , u k ) = lim k v k u k = 0 .

Furthermore, we obtain the limit of x k + 1 x k as k . Observe first from (14) and condition (B3) that

(51) lim k ϕ ( w k , x k ) = lim k θ k ϕ ( x k , x k 1 ) = 0 ,

that is, by Lemma 2.4, we have

(52) w k x k 0 as k .

It is also easy to see that

(53) lim k v k y k = lim k ( v k u k + u k y k ) = 0 , lim k y k x k = lim k ( y k w k + w k x k ) = 0 , lim k v k x k = lim k ( v k y k + y k x k ) = 0 .

Now,

ϕ ( x k , x k + 1 ) = ϕ ( x k , J 1 1 ( β k J 1 u + ( 1 β k ) J 1 v k ) ) = x k 2 2 x k , β k J 1 u + ( 1 β k ) J 1 v k + β k J 1 u + ( 1 β k ) J 1 v k 2 = β k ϕ ( x k , u ) + ( 1 β k ) ϕ ( x k , v k ) β k ( 1 β k ) g ( J 1 v k J 1 u ) ,

thus, we obtain

(54) lim k ϕ ( x k , x k + 1 ) = lim k x k + 1 x k = 0 ,

where we have used Lemma 2.4.

Since { x k } is bounded by Lemma 3.4, there exists a subsequence { x k i } of { x k } such that x k i q . It is easy to see that there exists { v k i } , { w k i } , { u k i } and { y k i } all converge weakly to q . Hence, by (48) and Lemma 3.5, we have that q VIP ( C , F ) . Also, by (46) and demiclosedness of ( I T ) , we get that q Fix ( T ) . Hence, q VIP ( C , F ) Fix ( T ) . On the other hand, by the linearity of L we obtain that L u k i L q . We now show that L q GVMEP ( f , ψ , ϕ , X ) . Indeed, suppose ν k = K r k ( I r k A ) L u k , then by

(55) f ( ν k , z ) + ψ ( z ) ψ ( ν k ) + e z ν k , A L u k + e r k z ν k , ν k L u k P , z X ,

which implies that

(56) 0 f ( z , ν k ) ψ ( z ) ψ ( ν k ) + e z ν k , A L u k + e r k z ν k , ν k L u k + P , z X .

Let z λ = ( 1 λ ) L q + λ z for all λ ( 0 , 1 ] , then z λ E 2 . By (55), we have

(57) e z λ ν k i , A z λ f ( z λ , ν k i ) ( ψ ( z λ ) ψ ( ν k i ) ) + e z λ ν k i , A z λ e z λ ν k i , A L u k i e r k z λ ν k i , ν k i L u k i + P = f ( z λ , ν k i ) + e z λ ν k i , A z λ A ν k i + e z λ ν k i , A ν k i A L u k i e z λ ν k i , ν k i L u k i r k i ( ψ ( z λ ) ψ ( ν k i ) ) + P .

Using (49), the properties of A and f , we have

A ν k i A L u k i 0 , ν k i L u k i r k i 0 , and z λ ν k i , A ν k i A L u k i 0 .

Let i , we get

(58) e z λ L q , A z λ f ( z λ , L q ) ( ψ ( z λ ) ψ ( L q ) ) + P .

It follows from (R1), (R2) and (R6) that

(59) λ f ( z λ , z ) + ( 1 λ ) f ( z λ , L q ) + λ ψ ( z ) + ( 1 λ ) ψ ( L q ) ψ ( z λ ) f ( z λ , z λ ) + ψ ( z λ ) ψ ( z λ ) + P P ,

that is

(60) λ [ f ( z λ , z ) + ψ ( z ) ψ ( z λ ) ] ( 1 λ ) [ f ( z λ , L q ) + ψ ( L q ) ψ ( z λ ) ] P .

Using this and (58), we have

λ [ f ( z λ , z ) + ψ ( z ) ψ ( z λ ) ] ( 1 λ ) [ f ( z λ , L q ) + ψ ( L q ) ψ ( z λ ) ] P ( 1 λ ) e z λ L q , A z t P

and so

(61) λ [ f ( z λ , z ) + ψ ( z ) ψ ( z λ ) ] e ( 1 λ ) λ z L q , A z t P ,

thus

(62) [ f ( z λ , z ) + ψ ( z ) ψ ( z λ ) ] + e ( 1 λ ) z L q , A z t P .

Letting λ 0 + , we get

f ( L q , z ) + e z L q , A L q + ψ ( z ) ψ ( L q ) P , z E 2

and so L q GVMEP ( f , A , ψ , X ) .

To conclude Case 1, we show that x k Π Γ u = p . Let { x k i } be a subsequence of { x k } such that x k i q and

(63) lim sup k J 1 u J 1 p , x k + 1 p = lim k J 1 u J 1 p , x k i + 1 p .

Since x k + 1 x k 0 as k , it follows that x k i + 1 q . By using Lemma 2.3 (9), we obtain

(64) lim sup k J 1 u J 1 p , x k + 1 p = lim k J 1 u J 1 p , x k i + 1 p = J 1 u J 1 p , q p 0 .

It follows from (45) and (64) that ϕ ( p , x k ) as k . Therefore, by Lemma 2.4, we obtain x k p 0 as k . Hence, x k p .

Case 2

Suppose that { ϕ ( p , x k ) } is not a monotone sequence. Then there exists a subsequence { k i } of { k } such that

ϕ ( p , x k i ) < ϕ ( p , x k i + 1 ) , i N .

For some N large enough, let τ : N N be a mapping defined for all k N by

τ ( k ) max { i N : i k , ϕ ( p , x k i ) ϕ ( p , x k i + 1 ) } .

By Lemma 2.17, τ ( k ) is non-decreasing with τ ( k ) as k and

ϕ ( p , x τ ( k ) ) ϕ ( p , x τ ( k ) + 1 ) and ϕ ( p , x k ) ϕ ( p , x τ ( k ) + 1 ) .

Following similar argument as above in Case 1, we can conclude that

(65) lim k ( K r τ ( k ) ( I r τ ( k ) A ) I ) L u τ ( k ) = 0 , lim k y τ ( k ) z τ ( k ) = lim k w τ ( k ) z τ ( k ) = 0 , lim k y τ ( k ) T y τ ( k ) = 0 , lim k x τ ( k ) + 1 x τ ( k ) = 0

and

(66) lim k J 1 u J 1 p , x τ ( k ) + 1 p 0 .

Since { x τ ( k ) } is bounded, we can find a subsequence of { x τ ( k ) } , still denoted { x τ ( k ) } such that x τ ( k ) q Fix ( T ) VIP ( C , F ) and L q GVMEP ( f , A , ψ , X ) . It follows from (45) that

(67) ϕ ( p , x τ ( k ) + 1 ) ( 1 β τ ( k ) ) ϕ ( p , x τ ( k ) ) + β τ ( k ) θ τ ( k ) β τ ( k ) ϕ ( p , x τ ( k ) 1 ) + 2 J 1 u J 1 p , x τ ( k ) + 1 p

for each τ ( k ) N . Since ϕ ( p , x τ ( k ) ) ϕ ( p , x τ ( k ) + 1 ) , we have that ϕ ( p , x τ ( k ) ) ϕ ( p , x τ ( k ) + 1 ) 0 . Thus, we obtain from (67) that

(68) β τ ( k ) ϕ ( p , x τ ( k ) ) ϕ ( p , x τ ( k ) ) ϕ ( p , x τ ( k ) + 1 ) + β τ ( k ) θ τ ( k ) β τ ( k ) ϕ ( p , x τ ( k ) 1 ) + 2 J 1 u J 1 p , x τ ( k ) + 1 p β τ ( k ) θ τ ( k ) β τ ( k ) ϕ ( p , x τ ( k ) 1 ) + 2 J 1 u J 1 p , x τ ( k ) + 1 p ,

that is

(69) ϕ ( p , x τ ( k ) ) θ τ ( k ) β τ ( k ) ϕ ( p , x τ ( k ) 1 ) + 2 J 1 u J 1 p , x τ ( k ) + 1 p ,

since β τ ( k ) > 0 .

Using condition (B4) and (66), we get that ϕ ( p , x k i ) 0 as k . This together with (67) implies that ϕ ( p , x k i + 1 ) 0 as k . But ϕ ( p , x k ) ϕ ( p , x k i + 1 ) for all k N , we get that ϕ ( p , x k ) 0 . By Lemma 2.4, we obtain x k p as k . Therefore, from the above two cases, we can conclude that { x k } converges strongly to a point p = Π Γ u . Thus, completing the proof.□

The following is a direct consequence of our main result: Suppose we set Y = R and e = 1 , then we have the following result for obtaining a common solution of SFP for variational inequality, FPP and GMEP.

Corollary 3.7

Let C and Q be nonempty, closed and convex subsets of a 2-uniformly convex and uniformly smooth Banach space E 1 , and smooth, strictly convex and reflexive Banach space E 2 with dual space E 1 and E 2 , respectively. Let L : E 1 E 2 be a bounded linear operator with L : E 2 E 1 its adjoint. Let f : Q × Q R satisfying assumptions ( A 1 ) ( A 4 ) (see [55]) and A : Q R { + } be a proper, convex and lower semi-continuous function. Let ψ : Q E 2 be an m -inverse strongly monotone mapping and T : C C be a quasi- ϕ -nonexpansive mapping such that Fix ( T ) . Let F : C E be a semistrictly quasi-monotone, sequentially weakly continuous mapping. Let Γ = { p VIP ( C , F ) Fix ( T ) : L p G M E P ( f , ϕ , ψ ) } . Then, the sequence { x k } generated by Algorithm 3.1converges strongly to x Γ .

4 Numerical examples

In this section, we give some numerical examples to illustrate the performance of our method.

First, we give an example in p ( 1 p < ) with p 2 , which is not Hilbert space. It is well known that the dual space ( l p ) is isomorphic to l q provided 1 p + 1 q = 1 (see for instance [56, Lemma 2.2]).

Example 4.1

Let E 1 = E 2 = X = Y = 3 ( R ) where 3 ( R ) = { x = ( x 1 , x 2 , x 3 , x i R ) : i = 1 x i 3 < } with norm x 3 = i = 1 x i 3 1 3 and inner product x , y = i = 1 x i y i for all x = ( x 1 , x 2 , x 3 , ) , y = ( y 1 , y 2 , y 3 , ) E .

Let L : 3 3 be defined by L ( x ) = 2 x 1 5 , 2 x 2 5 , 2 x 3 5 , for every x 3 . Then, L ( y ) = 2 y 1 5 , 2 y 2 5 , 2 y 3 5 , for each y 3 . Let C = { x = ( x 1 , x 2 , x 3 , ) 3 : x 4 } , define the mapping T : C C by T ( x ) = x 1 2 1 + x 1 , x 2 2 1 + x 2 , x 3 2 1 + x 3 , for all x 3 . Define the function F : C E 1 by F ( x ) = ( 6 x ) x . Then, F is semistrictly quasi-monotone and weakly sequentially continuous on C , see [25].

Also, define the mappings f : X × X Y by f ( x ) = x 2 + y 2 , x , y 3 , A ( x ) = x 1 5 , x 2 5 , , x i 5 , , x 3 and ψ ( x ) = 0 , x 3 . It is easy to see that the mappings f , A and ψ satisfy conditions ( R 1 ) ( R 7 ) of Theorem 3.6. Let r k = 1 for all k , by Lemma 2.10, we can easily find z E 2 such that

f ( z , y ) + A z , y z ψ ( y ) ψ ( x ) + e r k y z , J z J x P , y X .

It can be easily checked that

( K r k ( I r k A ) I ) L u k = 5 L u k 1 16 , 5 L u k 2 16 , 5 L u k 3 16 , .

It follows therefore that Γ = { 0 } . Choose the sequences α k = 3 k 5 k 2 + 7 , β k = 1 ( k + 13 ) , θ k = 1 3 2 k k 2 + 3 k , ρ = 0.9 , γ = 0.25 / 14 , λ k = ρ 2 and u = [ 0.2345 , 0.8943 , 0 , ] T . Take ε = 1 × 1 0 5 and choose the following initial values:

  1. x 0 = [ 0.15 , 0.25 , 0.75 , ] T , x 1 = [ 0.75 , 0.5 , 0.25 , ] T , u = [ 0.1 , 0.9 , 0.3 , ] T ;

  2. x 0 = [ 1.5 , 2.5 , 3.5 , ] T , x 1 = [ 7.5 , 5 , 2.5 , ] T , u = [ 10 , 5 , 3 , ] T ;

  3. x 0 = [ 5 , 0 , 5 , ] T , x 1 = [ 10 , 20 , 10 , ] T , u = [ 10 , 10 , 10 , ] T .

We plot the graphs of errors against the number of iterations in each case. The numerical results can be found in Figure 1.

Figure 1 
               Example 4.3, top left: Case (1); top right: Case (2); and bottom: Case (3).
Figure 1

Example 4.3, top left: Case (1); top right: Case (2); and bottom: Case (3).

Example 4.2

Let E 1 = E 2 = X = Y = 2 ( R ) be the space of square-summable sequences of real numbers { x i } i = 1 , that is

2 ( R ) = x = ( x 1 , x 2 , , x i , ) , x i R and i = 1 x i 2 < ,

with inner product , : 2 × 2 R and : 2 R defined by u , v i = 1 u i v i and u i = 1 u i 2 1 2 , respectively, for all u , v 2 .

Let L : 2 2 be defined by L ( x ) = 2 x 1 5 , 2 x 2 5 , , 2 x i 5 , for every x 2 . Then, L ( y ) = 2 y 1 5 , 2 y 2 5 , , 2 y i 5 , for each y 2 . Let C = { x E 1 : x 4 } , define the mapping T : C C by T ( x ) = 2 x 1 7 , 2 x 2 7 , , 2 x i 7 , for all x 2 . Define the function F : C E 1 by F ( x ) = ( 6 x ) x . Then, F is semistrictly quasi-monotone and weakly sequentially continuous on C , see [25].

Also, define the mappings f : X × X Y by f ( x ) = x 2 + y 2 , x , y 2 , A ( x ) = x 1 5 , x 2 5 , , x i 5 , , x 2 and ψ ( x ) = 0 , x 2 . It is easy to see that the mappings f , A and ψ satisfy conditions ( R 1 )–( R 7 ) of Theorem 3.6 and 0 GVMEP ( f , A , ψ , X ) . Let r k = 1 for all k , by Lemma 2.10, we can easily find z E 2 such that

f ( z , y ) + A z , y z ψ ( y ) ψ ( x ) + e r k y z , J z J x P , y X .

It can be easily checked that

( K r k ( I r k A ) I ) L u k = 5 L u k 1 16 , 5 L u k 2 16 , 5 L u k i 16 , .

It follows therefore that Γ = { 0 } . Choose the sequences α k = 3 k 4 k 2 + 7 , β k = 1 1000 ( k + 13 ) , θ k = 1 3 2 k k 2 + 3 k , ρ = 0.07 , λ k = ρ 4 and u = [ 0.2345 , 0.8943 , 0 , , 0 , ] T . By taking ε = 1 × 1 0 6 , we choose the following initial values:

  1. x 0 = [ 4.1285 , 2.9018 , 0 , , 0 , ] T and x 1 = [ 3.2158 , 5.8091 , 0 , , 0 , ] T ,

  2. x 0 = [ 3.9015 , 2.0345 , 0 , , 0 , ] T and x 1 = [ 1.2456 , 2.3125 , 0 , , 0 , ] T ,

  3. x 0 = [ 0.4563 , 1.2098 , 0 , , 0 , ] T and x 1 = [ 0.8924 , 1.3521 , 0 , , 0 ] T .

We plot the graphs of errors against the number of iterations in each case. The numerical results can be found in Figure 2.

Figure 2 
               Example 4.2, top left: Case (1); top right: Case (2) and bottom: Case (3).
Figure 2

Example 4.2, top left: Case (1); top right: Case (2) and bottom: Case (3).

Example 4.3

Let E 1 = E 2 = X = Y = R and L : R R be defined by L ( x ) = 2 x 5 for every x R . Then, L ( y ) = 2 y 5 for each y E 1 . Let C = { x R : x 4 } , define the mapping T : C C by T ( x ) = 2 x 7 for all x R . Define the function F : C R by F ( x ) = ( 6 x ) x . Then, F is semistrictly quasi-monotone and weakly sequentially continuous on C , see [25].

Also, define the mappings f : X × X Y by f ( x ) = x 2 + y 2 , x , y R , A ( x ) = x 5 , x R and ψ ( x ) = 0 , x R . It is easy to see that the mappings f , A and ψ satisfy conditions ( R 1 ) ( R 7 ) of Theorem 3.6 and 0 GVMEP ( f , A , ψ , X ) . Let { r k } = 1 for all k , by Lemma 2.10, we can easily find z R such that

f ( z , y ) + A z , y z ψ ( y ) ψ ( x ) + e r k y z , J z J x P , y X .

It can be easily checked that

( K r k ( I r k A ) I ) L u k = 5 L u k 16 .

It follows therefore that Γ = { 0 } . Choose the sequences α k = 3 k 4 k 2 + 7 , β k = 1 1000 ( k + 13 ) , η = 0.17 13 , θ k = 1 3 2 k k 2 + 3 k and ρ = 0.07 . Take ε = 1 × 1 0 6 and choose the following initial values:

  1. x 0 = 1.5 , x 1 = 0.5 , u = 0.5 and λ k = ρ ;

  2. x 0 = 2.5 , x 1 = 0.5 , u = 0.5 and λ k = ρ 4 ;

  3. x 0 = 10 , x 1 = 15 , u = 1 and λ k = ρ 4 .

We plot the graphs of errors against the number of iterations in each case. The numerical results can be found in Figure 3.

Figure 3 
               Example 4.3, top left: Case (1); top right: Case (2); and bottom: Case (3).
Figure 3

Example 4.3, top left: Case (1); top right: Case (2); and bottom: Case (3).

5 Conclusion

In this paper, we introduced an iterative algorithm of inertial form for approximating an element in the solution set of SGVMEP, which is also a fixed point of a quasi- ϕ -nonexpansive mapping and solves a VIP for a weakly sequentially continuous and quasi-monotone mapping in Banach spaces. The result obtained in this sequel extends and unifies the works of Chang et al. [25], Kazmi and Farid [11], Shan and Huang [31] and others in the literature. Using numerical example, we showed the efficacy of our method for arriving at an element in the solution set.

Remark 5.1

  1. If we take F = 0 , then Theorem 3.6 reduces to the theorems for finding a common element in the solution of SGVMEP and fixed point of quasi- ϕ -nonexpansive mapping.

  2. Let Y = R and P = [ 0 , + ) , then the result presented in this paper reduces to finding a common element in the solution set of SGMEP considered in [12,55] and fixed point of quasi- ϕ -nonexpansive mapping which is also a solution of a VIP.

  3. If we let E 1 = E 2 = H a real Hilbert space, the result presented in this sequel is a unification of the result presented in [25] and [31].

Acknowledgment

The authors sincerely thank the reviewers for their careful reading, constructive comments and fruitful suggestions that improved the manuscript.

  1. Funding information: Olawale K. Oyewole acknowledges with thanks the bursary and financial support from Department of Science and Innovation and National Research Foundation, Republic of South Africa Center of Excellence in Mathematical and Statistical Sciences (DSI-NRF COE-MaSS) Doctoral Bursary. Oluwatosin T. Mewomo is supported by the National Research Foundation (NRF) of South Africa Incentive Funding for Rated Researchers (Grant Number 119903). Opinions expressed and conclusions arrived are those of the authors and are not necessarily to be attributed to the CoE-MaSS and NRF.

  2. Conflict of interest: The authors declare that they have no competing interests.

References

[1] H. A. Abass , K. O. Aremu , L. O. Jolaoso , and O. T. Mewomo , An inertial forward-backward splitting method for approximating solutions of certain optimization problems, J. Nonlinear Funct. Anal. 2020 (2020), 6, https://doi.org/10.23952/jnfa.2020.6 . 10.23952/jnfa.2020.6Search in Google Scholar

[2] C. Izuchukwu , G. N. Ogwo , and O. T. Mewomo , An inertial method for solving generalized split feasibility problems over the solution set of monotone variational inclusions, Optimization (2020), https://doi.org/10.1080/02331934.2020.1808648 . 10.1080/02331934.2020.1808648Search in Google Scholar

[3] C. Bryne , Iterative oblique projection onto convex sets and split feasibility problem, Inverse Problems 18 (2002), 441–453. 10.1088/0266-5611/18/2/310Search in Google Scholar

[4] Y. Censor and A. Lent , An iterative row-action method for interval complex programming, J. Optim. Theory Appl. 34 (1981), 321–353. 10.1007/BF00934676Search in Google Scholar

[5] T. O. Alakoya , A. Taiwo , O. T. Mewomo , and Y. J. Cho , An iterative algorithm for solving variational inequality, generalized mixed equilibrium, convex minimization and zeros problems for a class of nonexpansive-type mappings, Ann. Univ. Ferrara Sez. VII Sci. Mat. 67 (2021), 1–21. 10.1007/s11565-020-00354-2Search in Google Scholar

[6] E. C. Godwin , C. Izuchukwu , and O. T. Mewomo , An inertial extrapolation method for solving generalized split feasibility problems in real Hilbert spaces, Boll. Unione Mat. Ital. 14 (2021), 379–401. 10.1007/s40574-020-00272-3Search in Google Scholar

[7] T. O. Alakoya , L. O. Jolaoso , and O. T. Mewomo , A self adaptive inertial algorithm for solving split variational inclusion and fixed point problems with applications , J. Ind. Manag. Optim. 17 (2021), 2733–2759, http://dx.doi.org/10.3934/jimo.2020152 . 10.3934/jimo.2020152Search in Google Scholar

[8] K. O. Aremu , C. Izuchukwu , G. N. Ogwo , and O. T. Mewomo , Multi-step Iterative algorithm for minimization and fixed point problems in p-uniformly convex metric spaces, J. Ind. Manag. Optim. 17 (2021), 2161–2180. 10.3934/jimo.2020063Search in Google Scholar

[9] O. K. Oyewole , H. A. Abass , and O. T. Mewomo , A strong convergence algorithm for a fixed point constrained split null point problem, Rend. Circ. Mat. Palermo II 70 (2021), 389–408. 10.1007/s12215-020-00505-6Search in Google Scholar

[10] A. Latif , D. R. Sahu , and Q. H. Ansari , Variable KM-like algorithms for fixed point problems and split feasibility problems, Fixed Point Theory Appl. 211 (2014), 211, https://doi.org/10.1186/1687-1812-2014-211. Search in Google Scholar

[11] K. R. Kazmi and M. Farid , Some iterative schemes for generalized vector equilibrium problems and relatively nonexpansive mappings in Banach spaces, Math. Sci. 7 (2013), 19. 10.1186/2251-7456-7-19Search in Google Scholar

[12] J. W. Peng and J. C. Yao , A new hybrid-extragradient method for generalized mixed equilibrium problems and fixed point problems and variational inequality problems, Taiwan J. Math. 12 (2008), 1401–1432. 10.11650/twjm/1500405033Search in Google Scholar

[13] E. Blum and W. Oettli , From optimization and variational inequalities to equilibrium problems, Math. Stud. 63 (1994), 123–145. Search in Google Scholar

[14] G. Chen , X. Huang , and X. Yang , Vector optimization: Set-valued and variational analysis , Lecture Notes in Economics and Mathematical Systems , Vol. 541, Springer, Berlin, Germany, 2005. Search in Google Scholar

[15] F. Giannessi , Vector Variational Inequalities and Vector Equilibrium, Vol. 38, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2000. 10.1007/978-1-4613-0299-5Search in Google Scholar

[16] T. O. Alakoya , L. O. Jolaoso , and O. T. Mewomo , Strong convergence theorems for finite families of pseudomonotone equilibrium and fixed point problems in Banach spaces , Afr. Mat. 32 (2021), 897–923, https://doi.org/10.1007/s13370-020-00869-z. Search in Google Scholar

[17] T. O. Alakoya , L. O. Jolaoso , A. Taiwo , and O. T. Mewomo , Inertial algorithm with self-adaptive stepsize for split common null point and common fixed point problems for multivalued mappings in Banach spaces, Optimization (2021), https://doi.org/10.1080/02331934.2021.1895154. Search in Google Scholar

[18] O. K. Oyewole and O. T. Mewomo , A subgradient extragradient algorithm for solving split equilibrium and fixed point problems in reflexive Banach spaces, J. Nonlinear Funct. Anal. 2020 (2020), 2. 10.23952/jnfa.2020.37Search in Google Scholar

[19] O. K. Oyewole and O. T. Mewomo , A strong convergence theorem for split null point problem and generalized mixed equilibrium problem in real Hilbert spaces, Axioms 10 (2020), 16. 10.3390/axioms10010016Search in Google Scholar

[20] D. T. Luc , Theory of vector optimization , Lecture Notes in Economics and Mathematical Systems , Vol. 319, Springer, Berlin, 1989. 10.1007/978-3-642-50280-4Search in Google Scholar

[21] A. Daniilidis and N. Hadjisavvas , Characterization of nonsmooth semistrictly quasiconvex and strictly quasiconvex functions, J. Optim. Theory Appl. 102 (1999), 525–536. 10.1023/A:1022693822102Search in Google Scholar

[22] L. Ćirić , A. Rafiq , S. Radenović , M. Rajović , and J. S. Ume , Common fixed point theorems for non-self-mappings in metric spaces of hyperbolic type, J. Comput. Appl. Math. 233 (2010), 2966–2974. 10.1016/j.cam.2009.11.042Search in Google Scholar

[23] L. Ćirić , A. Rafiq , S. Radenović , M. Rajović , and J. S. Ume , On Mann implicit iterations for strongly accretive and strongly pseudo-contractive mappings, Appl. Math. Comput. 198 (2008), 128–137. 10.1016/j.amc.2007.08.027Search in Google Scholar

[24] T. O. Alakoya , L. O. Jolaoso , and O. T. Mewomo , Modified inertial subgradient extragradient method with self adaptive stepsize for solving monotone variational inequality and fixed point problems, Optimization 70 (2020), no. 3, 545–574, https://doi.org/10.1080/02331934.2020.1723586. Search in Google Scholar

[25] S. S. Chang , S. Salahuddin , L. Wang , and M. Liu , On the weak convergence for solving semistrictly quasi-monotone variational inequality problems, J. Inequal. Appl. 2019 (2019), 74. 10.1186/s13660-019-2032-8Search in Google Scholar

[26] S. S. Chang , H. W. JosephLee , and C. K. Chan , A new method for solving equilibrium problem, fixed point problem and variational inequality problem with application to optimization, Nonlinear Anal. 70 (2009), 3307–3319. 10.1016/j.na.2008.04.035Search in Google Scholar

[27] S. He , T. Wu , A. Gibali , and Q.-L. Dong , Totally relaxed, self-adaptive algorithm for solving variational inequalities over the intersection of sub-level sets, Optimization 67 (2018), no. 9, 1487–1504. 10.1080/02331934.2018.1476515Search in Google Scholar

[28] M. A. Olona , T. O. Alakoya , A. O.-E. Owolabi , and O. T. Mewomo , Inertial shrinking projection algorithm with self-adaptive step size for split generalized equilibrium and fixed point problems for a countable family of nonexpansive multivalued mappings, Demonstr. Math. 54 (2021), 47–67. 10.1515/dema-2021-0006Search in Google Scholar

[29] M. A. Olona , T. O. Alakoya , A. O.-E. Owolabi , and O. T. Mewomo , Inertial algorithm for solving equilibrium, variational inclusion and fixed point problems for an infinite family of strictly pseudocontractive mappings, J. Nonlinear Funct. Anal. 2021 (2021), 10. 10.23952/jnfa.2021.10Search in Google Scholar

[30] A. O.-E. Owolabi , T. O. Alakoya , A. Taiwo , and O. T. Mewomo , A new inertial-projection algorithm for approximating common solution of variational inequality and fixed point problems of multivalued mappings, Numer. Algebra Control Optim. (2021), http://dx.doi.org/10.3934/naco.2021004 . 10.3934/naco.2021004Search in Google Scholar

[31] S.-Q. Shan and N.-J. Huang , An iterative method for generalized mixed vector equilibrium problems and fixed point of nonexpansive mappings and variational inequalities, Taiwan. J. Math. 16 (2012), 1681–1705. 10.11650/twjm/1500406790Search in Google Scholar

[32] M. Farid and K. R. Kazmi , A new mapping for finding a common solution of split generalized equilibrium problem, variational inequality problem and fixed point problem, Korean. J. Math. 27 (2019), 297–327. Search in Google Scholar

[33] J. B. Hiriart-Urruty and C. Lemarchal , Fundamentals of Convex Analysis, Springer-Verlag, Berlin, 2001. 10.1007/978-3-642-56468-0Search in Google Scholar

[34] A. Taiwo , T. O. Alakoya , and O. T. Mewomo , Strong convergence theorem for solving equilibrium problem and fixed point of relatively nonexpansive multi-valued mappings in a Banach space with applications, Asian-Eur. J. Math. 14 (2021), no. 8, 2150137, https://doi.org/10.1142/S1793557121501370. Search in Google Scholar

[35] A. Taiwo , L. O. Jolaoso , and O. T. Mewomo , Inertial-type algorithm for solving split common fixed-point problem in Banach spaces, J. Sci. Comput. 86 (2021), 12. 10.1007/s10915-020-01385-9Search in Google Scholar

[36] Y. I. Alber , Metric and generalized projection operators in Banach spaces: properties and applications , in: A. G. Kartsatos (ed.), Theory and Applications of Nonlinear Operators and Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics , Vol. 178, Dekker, New York, 1996, pp. 15–50. Search in Google Scholar

[37] G. N. Ogwo , C. Izuchukwu , and O. T. Mewomo , Inertial methods for finding minimum-norm solutions of the split variational inequality problem beyond monotonicity, Numer. Algorithms 88 (2021), 1419–1456, https://doi.org/10.1007/s11075-021-01081-1. Search in Google Scholar

[38] I. Cioranescu , Geometry of Banach Spaces, Duality Mappings and Nonlinear, Kluwer, Dordrecht, 1990. 10.1007/978-94-009-2121-4Search in Google Scholar

[39] W. Takahashi , Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, Japan, 2009. Search in Google Scholar

[40] R. T. Rockfellar , Monotone operators and the proximal point algorithm, SIAM J. Control Optim. 14 (1977), 877–808. 10.1137/0314056Search in Google Scholar

[41] D. Butnariu , S. Reich , and A. J. Zaslavski , Asymptotic behavior of relatively nonexpansive operators in Banach spaces, J. Appl. Anal. 7 (2001), 151–174. 10.1515/JAA.2001.151Search in Google Scholar

[42] A. Taiwo , T. O. Alakoya , and O. T. Mewomo , Halpern-type iterative process for solving split common fixed point and monotone variational inclusion problem between Banach spaces, Numer. Algorithms 86 (2021), 1359–1389. 10.1007/s11075-020-00937-2Search in Google Scholar

[43] S. Y. Matsushita and W. Takahashi , A strong convergence theorem for relatively nonexpansive mappings in a Banach space, J. Approx. Theory 134 (2005), 257–266. 10.1016/j.jat.2005.02.007Search in Google Scholar

[44] K. Ball , E. A. Carlen , and E. H. Lieb , Sharp uniform convexity and smoothness inequalities for trace norms, Invent. Math. 115 (1994), 463–482. 10.1007/978-3-642-55925-9_18Search in Google Scholar

[45] C. E. Chidume , Geometric properties of Banach spaces and nonlinear iteration , Appl. Math. Comput. 271 (2015), 251–258. 10.1007/978-1-84882-190-3Search in Google Scholar

[46] H. K. Xu , Inequalities in Banach spaces with applications, Nonlinear Anal. 16 (1991), 1127–1138. 10.1016/0362-546X(91)90200-KSearch in Google Scholar

[47] S. Kamimura and W. Takahashi , Strong convergence of a proximal-type algorithm in a Banach space, SIAM J. Optim. 13 (2002), 938–945. 10.1137/S105262340139611XSearch in Google Scholar

[48] C. E. Chidume , S. I. Ikechukwu , and A. Adamu , Inertial algorithm for approximating a common fixed point for a countable family of relatively nonexpansive maps, Fixed Point Theory Appl. 2018 (2018), 9. 10.1186/s13663-018-0634-3Search in Google Scholar

[49] K. Nakajo , Strong convergence for gradient projection method and relatively nonexpansive mappings in Banach spaces, Appl. Math. Comput. 271 (2015), 251–258. 10.1016/j.amc.2015.08.096Search in Google Scholar

[50] N. X. Tan , On the existence of solution of quasivariational inclusion problems, J. Optim. Theory Appl. 123 (2004), 619–638. 10.1007/s10957-004-5726-zSearch in Google Scholar

[51] X. H. Gong and H. M. Yue , Existence of efficient solutions and strong solutions for vector equilibrium problems, J. Nanchang Univ. 32 (2008), 1–5. Search in Google Scholar

[52] N. Hadjisavvas and S. Chaible , On strong pseudomonotonicity and (semi)strict quasimonotonicity, J. Optim. Theory Appl. 79 (1993), 139–155. 10.1007/BF00941891Search in Google Scholar

[53] I. V. Konnov , On quasimonotone variational inequalities I, J. Optim. Theory Appl. 99 (1998), 165–181. 10.1023/A:1021756328706Search in Google Scholar

[54] G. N. Ogwo , C. Izuchukwu , and O. T. Mewomo , A modified extragradient algorithm for a certain class of split pseudo-monotone variational inequality problem, Numer. Algebra Control Optim. (2021), http://dx.doi.org/10.3934/naco.2021011 . 10.3934/naco.2021011Search in Google Scholar

[55] S. Zhang , Generalized mixed equilibrium problem in Banach spaces, Appl. Math. Mech-Engl. Ed. 30 (2009), 1105–1112. 10.1007/s10483-009-0904-6Search in Google Scholar

[56] A. Bowers and N. J. Kalton , An Introductory Course in Functional Analysis, Springer, New York, 2014. 10.1007/978-1-4939-1945-1Search in Google Scholar

Received: 2020-10-09
Revised: 2021-04-16
Accepted: 2021-05-19
Published Online: 2021-11-06

© 2021 Oluwatosin T. Mewomo and Olawale K. Oyewole, published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Regular Articles
  2. Graded I-second submodules
  3. Corrigendum to the paper “Equivalence of the existence of best proximity points and best proximity pairs for cyclic and noncyclic nonexpansive mappings”
  4. Solving two-dimensional nonlinear fuzzy Volterra integral equations by homotopy analysis method
  5. Chandrasekhar quadratic and cubic integral equations via Volterra-Stieltjes quadratic integral equation
  6. On q-analogue of Janowski-type starlike functions with respect to symmetric points
  7. Inertial shrinking projection algorithm with self-adaptive step size for split generalized equilibrium and fixed point problems for a countable family of nonexpansive multivalued mappings
  8. On new stability results for composite functional equations in quasi-β-normed spaces
  9. Sampling and interpolation of cumulative distribution functions of Cantor sets in [0, 1]
  10. Meromorphic solutions of the (2 + 1)- and the (3 + 1)-dimensional BLMP equations and the (2 + 1)-dimensional KMN equation
  11. On the equivalence between weak BMO and the space of derivatives of the Zygmund class
  12. On some fixed point theorems for multivalued F-contractions in partial metric spaces
  13. On graded Jgr-classical 2-absorbing submodules of graded modules over graded commutative rings
  14. On almost e-ℐ-continuous functions
  15. Analytical properties of the two-variables Jacobi matrix polynomials with applications
  16. New soft separation axioms and fixed soft points with respect to total belong and total non-belong relations
  17. Pythagorean harmonic summability of Fourier series
  18. More on μ-semi-Lindelöf sets in μ-spaces
  19. Range-Kernel orthogonality and elementary operators on certain Banach spaces
  20. A Cauchy-type generalization of Flett's theorem
  21. A self-adaptive Tseng extragradient method for solving monotone variational inequality and fixed point problems in Banach spaces
  22. Robust numerical method for singularly perturbed differential equations with large delay
  23. Special Issue on Equilibrium Problems: Fixed-Point and Best Proximity-Point Approaches
  24. Strong convergence inertial projection algorithm with self-adaptive step size rule for pseudomonotone variational inequalities in Hilbert spaces
  25. Two strongly convergent self-adaptive iterative schemes for solving pseudo-monotone equilibrium problems with applications
  26. Some aspects of generalized Zbăganu and James constant in Banach spaces
  27. An iterative approximation of common solutions of split generalized vector mixed equilibrium problem and some certain optimization problems
  28. Generalized split null point of sum of monotone operators in Hilbert spaces
  29. Comparison of modified ADM and classical finite difference method for some third-order and fifth-order KdV equations
  30. Solving system of linear equations via bicomplex valued metric space
  31. Special Issue on Computational and Theoretical Studies of free Boundary Problems and their Applications
  32. Dynamical study of Lyapunov exponents for Hide’s coupled dynamo model
  33. A statistical study of COVID-19 pandemic in Egypt
  34. Global existence and dynamic structure of solutions for damped wave equation involving the fractional Laplacian
  35. New class of operators where the distance between the identity operator and the generalized Jordan ∗-derivation range is maximal
  36. Some results on generalized finite operators and range kernel orthogonality in Hilbert spaces
  37. Structures of spinors fiber bundles with special relativity of Dirac operator using the Clifford algebra
  38. A new iteration method for the solution of third-order BVP via Green's function
  39. Numerical treatment of the generalized time-fractional Huxley-Burgers’ equation and its stability examination
  40. L -error estimates of a finite element method for Hamilton-Jacobi-Bellman equations with nonlinear source terms with mixed boundary condition
  41. On shrinkage estimators improving the positive part of James-Stein estimator
  42. A revised model for the effect of nanoparticle mass flux on the thermal instability of a nanofluid layer
  43. On convergence of explicit finite volume scheme for one-dimensional three-component two-phase flow model in porous media
  44. An adjusted Grubbs' and generalized extreme studentized deviation
  45. Existence and uniqueness of the weak solution for Keller-Segel model coupled with Boussinesq equations
  46. Special Issue on Advanced Numerical Methods and Algorithms in Computational Physics
  47. Stability analysis of fractional order SEIR model for malaria disease in Khyber Pakhtunkhwa
Downloaded on 19.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/dema-2021-0019/html
Scroll to top button