Approximation results for split equilibrium problems and fixed point problems of nonexpansive semigroup in Hilbert spaces

Abstract

In this paper, we study a modified extragradient method for computing a common solution to the split equilibrium problem and fixed point problem of a nonexpansive semigroup in real Hilbert spaces. The weak and strong convergence characteristics of the proposed algorithm are investigated by employing suitable control conditions in such a setting of spaces. As a consequence, we provide a simplified analysis of various existing results concerning the extragradient method in the current literature. We also provide a numerical example to strengthen the theoretical results and the applicability of the proposed algorithm.

1 Introduction

The theory of nonlinear functional analysis, in particular fixed point theory, is a rich and thriving mathematical discipline. The theory of fixed points can be classified into theories of the existence of fixed points and approximation of fixed points, respectively. The branch metric fixed point theory is a beautiful interplay between the geometrical structures of the domain and the corresponding topological notions. It is evident that the celebrated Banach contraction principle paved the way for the development of metric fixed point theory as well as for modeling of various physical phenomena. On the other hand, the fixed point theory of nonexpansive mappings $( \Vert Tx-Ty \Vert \leq \Vert x-y \Vert , \text{for all }x,y \text{ in a nonempty set }C)$ is more restrictive than the corresponding contractions $( \Vert Tx-Ty \Vert \leq \alpha \Vert x-y \Vert , \text{for all }x,y \text{ in a nonempty set }C \text{ and } \alpha \in (0,1))$. However, the fixed point theory of nonexpansive mappings found valuable applications in convex feasibility problems, convex optimization problems, approximation theory, game theory, optimal transport theory, probability and statistics, information theory, signal and image processing and partial differential equations; see, for example, [1, 14, 42] and the references cited therein.

It is remarked that the existence of solutions associated with the above-mentioned problems rely on the existence of fixed points of certain nonlinear mappings. Moreover, the existence of a common fixed point of a family of nonlinear mappings has relevant applications in applied mathematics. Let us recall that a family $\{ T_{t} \} _{0\leq t<\infty }$ of mappings defines a semigroup if $T(0)x=x$ and $T(a+b)=T(a)T(b)$. Such a family of mappings is closely related to first-order linear differential equations. Moreover, it corresponds to the theory of dynamical systems in such a way that the vector function space would define the state space, and the mappings $(t,x)\rightarrow T ( t ) x$ would represent the evolution function of a dynamical system. In this situation, the question of the existence of common fixed points can be interpreted as asking whether there exist points that are fixed during the state space transformation $T ( t )$ at any given point of time t. Since the notion of semigroup has distinctive properties, it is natural to apply these results not only to deterministic dynamical systems but also to stochastic dynamical systems. The theory of nonexpansive semigroup has been widely studied to solve problems associated with the partial differential equation theory, evolutionary equation theory and fixed point theory; see, for example, [2, 28, 36, 39, 40] and the references cited therein. Moreover, the nonexpansive semigroup plays a central role in the study of abstract Cauchy problems [5, 7].

The equilibrium problem theory provides a systematic approach to studying a diverse range of problems arising in the field of physics, optimization, variational inequalities, transportation, economics, network and noncooperative games; see, for example, [4, 6, 15, 17] and the references cited therein. In 2012, Censor et al. [12] proposed a new theory of split variational inequality problem (SVIP). This theory aims to solve a pair of variational inequality problems in such a way that the solution of a variational inequality problem, under a given bounded linear operator, solves another variational inequality problem. Later on, Moudafi [32] generalized the concept of SVIP to that of split monotone variational inclusions (SMVIP) which includes, as a special case, SVIP, split common fixed point problem, split equilibrium problem and split feasibility problem. These problems have already been studied and successfully employed as a model in intensity-modulated radiation therapy treatment planning; see [9, 10]. This formalism is also at the core of modeling of many inverse problems arising for phase retrieval and other real-world problems; for instance, in sensor networks in computerized tomography and data compression; see, for example, [8, 14]. Another important application of SMVIP is to solve split Nash equilibrium problems associated with two related noncooperative strategic games [29].

It is worth mentioning that iterative construction for the common solution of equilibrium problem and fixed point problem is ubiquitous in the current theory of nonlinear functional analysis; see, for example, [11, 19–21, 23, 25, 26, 37, 43] and the references cited therein. In 2008, Plubtieng and Punpaeng [34] proposed an iterative algorithm which exhibits strong convergence towards the common fixed points of a nonexpansive semigroup. In 2010, Cianciaruso et al. [13] extended the results presented in [34] to find a common solution of equilibrium problem and fixed point problem associated with the nonexpansive semigroup; see also [24].

The class of proximal point algorithms (PPA), essentially due to Martinet [30], is prominent in variational inequality theory. The theory of PPA flourished with the seminal work of Rockafellar [35] and Moudafi [31], respectively. On the other hand, the class of extragradient algorithm, essentially due to Korpelevich [27], is well known in variational inequality theory. In 2006, Nadezhkina and Takahashi [33] introduced a hybrid extragradient algorithm for finding a common solution of fixed point problem and variational inequality problem in a real Hilbert space. In 2015, Thuy [41] proposed a hybrid extragradient method for equilibrium, variational inequality and fixed point problem of a nonexpansive semigroup in Hilbert spaces. In 2017, Dinh et al. [18] proposed two new extragradient-proximal point algorithms for solving split equilibrium problem and fixed point problem of nonexpansive mappings in real Hilbert spaces.

Inspired and motivated by the ongoing research in this direction, we study a modified extragradient method for computing a common solution to the split equilibrium problem and fixed point problem of nonexpansive semigroup in real Hilbert spaces. The results concerning weak and strong convergence of the proposed algorithm are established by employing suitable conditions on the set of control sequences. The rest of the paper is organized as follows: In Sect. 2, we first define the necessary conventions to be adopted throughout the rest of the paper. We also define mathematical notions, concepts and necessary results in the form of lemmas as required in the sequel. Section 3 is devoted to weak convergence results whereas Sect. 4 comprises strong convergence results of the proposed modified extragradient methods in real Hilbert spaces. Section 5 provides a numerical example to strengthen the theoretical results presented in Sects. 3–4 as well as applicability of the proposed algorithm.

2 Preliminaries

This section is devoted to recalling some fundamental definitions, properties and notations concerned with the split equilibrium problem and fixed point problem in real Hilbert spaces. Throughout this paper, we write $x_{n}\rightarrow x$ (resp. $x_{n}\rightharpoonup x$) to indicate the strong convergence (resp. the weak convergence) of a sequence $\{x_{n}\}_{n=1}^{\infty }$. Let C be a nonempty subset of a real Hilbert space $H_{1}$ which is equipped with the inner product $\langle \cdot , \cdot \rangle$ and the induced norm $\Vert \cdot \Vert$. A family $\mathcal{T}=\{T(t):0\leq t<\infty \}$ of self-mappings defined on C is called a one parameter strongly continuous nonexpansive semigroup (in short nonexpansive semigroup) if it satisfies the following conditions:

$$\begin{aligned}& (\mathrm{i}) : \quad T(0)x=\lim_{t\rightarrow 0}T(t)x=x,\quad \text{for all }x \in C; \\& (\mathrm{ii}) : \quad T(a+b)=T(a)T(b),\quad \text{for all }a,b\geq 0; \\& (\mathrm{iii}) : \quad \bigl\Vert T(t)x-T(t)y \bigr\Vert \leq \Vert x-y \Vert ,\quad \text{for all }x,y\in C\text{ and }t\geq 0; \\& (\mathrm{iv}) : \quad \text{for any }x\in C, \text{the mapping }t\mapsto T(t)x \text{ is continuous.} \end{aligned}$$

We use $\operatorname{Fix}(\mathcal{T})$ to denote all the common fixed points of the family $\mathcal{T}$, that is,

$$ \operatorname{Fix}(\mathcal{T})= \bigl\{ x\in C:x=T(t)x,0\leq t< \infty \bigr\} = \bigcap_{0 \leq t< \infty }\operatorname{Fix} \bigl(T(t) \bigr), $$

where $\operatorname{Fix}(T(t))$ is the set of fixed points of $T(t)$.

For a nonempty closed convex subset C of a Hilbert space $H_{1}$, we define the metric projection operator $P_{C}:H_{1}\rightarrow C$ such that, for each $x\in H_{1}$, there exists a unique nearest point $P_{C}x\in C$ satisfying the following inequality:

$$ \Vert x-P_{C}x \Vert \leq \Vert x-y \Vert \quad \text{for all }y \in C. $$

We remark that the metric projection operator $P_{C}$ satisfies nonexpansiveness in a Hilbert space and $\langle x-P_{C}x,P_{C}x-y \rangle \geq 0$ for all $x,y\in C$. Moreover, $P_{C}$ is a firmly nonexpansive mapping from $H_{1}$ onto C, that is,

$$ \Vert P_{C}x-P_{C}y \Vert ^{2}\leq \langle x-y,P_{C}x-P_{C}y \rangle ,\quad \text{for all }x,y\in C. $$

Recall that a mapping A is said to be:

• (i) monotone if

  $$ \langle Ax-Ay,x-y \rangle \geq 0,\quad \text{for all }x,y\in C; $$

• (ii) λ-inverse strongly monotone if

  $$ \langle x-y ,Ax-Ay \rangle \geq \lambda \Vert Ax-Ay \Vert ^{2}, \quad \text{for all }x,y\in C\text{ and }\lambda >0; $$

• (iii) Lipschitz continuous if there exists a positive constant L such that

  $$ \Vert Ax-Ay \Vert \leq L \Vert x-y \Vert , \quad \text{for all }x,y\in C. $$

Note that, if $A:=I-T$, where I denotes the identity mapping, is a λ-inverse strongly monotone mapping, then:

• (i) A is $( \frac{1}{\lambda } )$-Lipschitz continuous mapping;

• (ii) if T is a nonexpansive mapping, then A is $( \frac{1}{2} )$-inverse strongly monotone mapping;

• (iii) if $\eta \in (0,2\lambda ]$, then $I-\eta A$ is a nonexpansive mapping.

The following lemma collects some well-known results in the context of a real Hilbert space.

Lemma 2.1

Let $H_{1}$be a real Hilbert space, then:

• (i) $\Vert x-y \Vert ^{2}= \Vert x \Vert ^{2}- \Vert y \Vert ^{2}-2 \langle x-y,y \rangle$, for all $x,y\in H_{1}$;

• (ii) $\Vert x+y \Vert ^{2}\leq \Vert x \Vert ^{2}+2 \langle y,x+y \rangle$, for all $x,y\in H_{1}$;

• (iii) $2 \langle x-y,u-v \rangle = \Vert x-v \Vert ^{2}+ \Vert y-u \Vert ^{2}- \Vert x-u \Vert ^{2}- \Vert y-v \Vert ^{2}$, for all $x,y,u,v\in H_{1}$;

• (iv) $\Vert \alpha x+(1-\alpha )y \Vert ^{2}=\alpha \Vert x \Vert ^{2}+(1-\alpha ) \Vert y \Vert ^{2}- \alpha (1-\alpha ) \Vert x-y \Vert ^{2}$for all $x,y\in H_{1}$and $\alpha \in \mathbb{R}$.

It is well known that $H_{1}$ satisfies Opial’s condition, that is, for any sequence $\{x_{n}\}$ in $H_{1}$ with $x_{n}\rightharpoonup x$, the inequality

$$ \liminf_{n\rightarrow \infty } \Vert x_{n}-x \Vert < \liminf _{n\rightarrow \infty } \Vert x_{n}-y \Vert $$

holds for all $y\in H_{1}$ with $x\neq y$.

Recall that a mapping $T:H_{1}\rightarrow H_{1}$ is said to be demiclosed at the origin if for any sequence $\{x_{n}\}$ in $H_{1}$ with $x_{n}\rightharpoonup x$ and $\Vert x_{n}-Tx_{n} \Vert \rightarrow 0$, we have $x=Tx$. We recall that the subdifferential of a function $f:C\rightarrow \mathbb{R}$ at x is defined and denoted as

$$ \partial _{f}(x)= \bigl\{ z\in C:f ( y ) -f ( x ) \geq \langle z,y-x \rangle ,\text{for all }y\in C \bigr\} . $$

We now define the concept of a split equilibrium and a fixed point problem in Hilbert spaces. We also list some of the useful results required in the sequel.

Let C be a nonempty subset of a real Hilbert space $H_{1}$, Q be a nonempty subset of a real Hilbert space $H_{2}$ and let $A:H_{1}\rightarrow H_{2}$ be a bounded linear operator. Let $F:C\times C\rightarrow \mathbb{R}$ and $G:Q\times Q\rightarrow \mathbb{R}$ be two bifunctions and let $\mathcal{T}=\{T(t):0\leq t<\infty \}$ and $\mathcal{S}=\{S(s):0\leq s<\infty \}$ be two nonexpansive semigroups. Recall that a split equilibrium and fixed point problem (SEFPP) is to find

$$ x^{\ast }\in C\quad \text{such that } \textstyle\begin{cases} F ( x^{\ast },x ) \geq 0\quad \text{for all }x\in C, \\ x^{\ast }\in \operatorname{Fix}(\mathcal{T}) \end{cases} $$

(1)

and

$$ y^{\ast }=Ax^{\ast }\in Q\quad \text{such that } \textstyle\begin{cases} G ( y^{\ast },y ) \geq 0\quad \text{for all }y\in Q, \\ y^{\ast }\in \operatorname{Fix}(\mathcal{S}). \end{cases} $$

(2)

It is remarked that the problem addressed in the inequality (1) represents the classical equilibrium problem and fixed point problem of a nonexpansive semigroup. The solution set of an equilibrium problem is denoted as $\operatorname{EP}(C,F)$. Recall that a bifunction $F:C\times C\rightarrow \mathbb{R}$ is said to be:

• (i) strongly monotone with constant $\tau >0$ if

  $$ F ( x,y ) +F ( y,x ) \leq -\tau \Vert x-y \Vert ^{2},\quad \text{for all }x,y\in C; $$

• (ii) monotone if

  $$ F ( x,y ) +F ( y,x ) \leq 0,\quad \text{for all }x,y \in C; $$

• (iii) pseudomonotone if

  $$ \text{for all }x,y\in C, \quad F ( x,y ) \geq 0\quad \implies \quad F ( y,x ) \leq 0; $$

• (iv) pseudomonotone with respect to a nonempty subset D of C if

  $$ \text{for all }x^{\ast }\in D\text{ and for all }y\in C, \quad F \bigl( x^{\ast },y \bigr) \geq 0\quad \implies \quad F \bigl( y,x^{\ast } \bigr) \leq 0; $$

• (v) Lipschitz-type continuous if there exist positive constants $c_{1}$ and $c_{2}$ such that

  $$ F ( x,y ) +F ( y,x ) \geq F ( x,z ) -c_{1} \Vert x-y \Vert ^{2}-c_{2} \Vert y-z \Vert ^{2},\quad \text{for all }x,y,z\in C. $$

Note that the implications (i) ⇒ (ii) ⇒ (iii) ⇒ (iv) are easy to follow. Moreover, if a mapping is Lipschitz continuous on C then for any $\epsilon >0$ it is Lipschitz-type continuous on C with $c_{1}=\frac{L}{2\epsilon }$ and $c_{2}=\frac{L\epsilon }{2}$.

In order to solve monotone and pseudomonotone equilibrium problems, we assume that the bifunction $G:Q\times Q\rightarrow \mathbb{R}$ satisfies the following set of standard properties:

• (A1) $G(u,u)=0$ for all $u\in Q$;

• (A2) G is monotone on Q;

• (A3) for each $v\in C$, the function $x\mapsto G(u,v)$ is upper hemicontinuous, that is, for each $u,w\in C$,

  $$ \lim_{\lambda \rightarrow 0}G \bigl(\lambda w+(1-\lambda )u,v \bigr)\leq G(u,v); $$

• (A4) for each $u\in C$, the function $v\mapsto G(u,v)$ is convex and lower semi-continuous.

Moreover, the bifunction $F:C\times C\rightarrow \mathbb{R}$ satisfies the following set of standard properties:

• (B1) $F(x,x)=0$ for all $x\in C$;

• (B2) F is pseudomonotone on C with respect to $\operatorname{EP}(C,F)$;

• (B3) F is weakly continues on $C\times C$;

• (B4) for each $x\in C$, the function $y\mapsto F(x,y)$ is convex and subdifferentiable;

• (B5) F is Lipschitz-type continuous on C.

Lemma 2.2

([6, 15])

Let Q be a nonempty closed convex subset of a real Hilbert space $H_{2}$and let $G:Q\times Q\rightarrow \mathbb{R}$be a bifunction satisfying conditions (A1)–(A4). For $s>0$and $u\in H_{2}$, there exists $w\in C$such that

$$ G(w,v)+\frac{1}{s}\langle v-w,w-u\rangle \geq 0, \quad \textit{for all }v\in C. $$

Moreover, define a mapping $S_{s}^{G}:H_{2}\rightarrow Q$by

$$ S_{s}^{G}(u)= \biggl\{ w\in Q:G(w,v)+\frac{1}{s} \langle v-w,w-u \rangle \geq 0, \textit{for all }v\in C \biggr\} , $$

for all $u\in H_{2}$. Then the following hold:

• (i) $S_{s}^{G}(u)$is single-valued;

• (ii) $S_{s}^{G}(u)$is firmly nonexpansive, i.e., for every $x,y\in H_{2}$,

  $$ \bigl\Vert S_{s}^{G}(u)-S_{s}^{G}(v) \bigr\Vert ^{2}\leq \bigl\langle S_{s}^{G}(u)-S_{s}^{G}(v),u-v \bigr\rangle $$

• (iii) $\operatorname{Fix}(S_{s}^{G})=\operatorname{EP}(Q,G)$;

• (iv) $\operatorname{EP}(Q,G)$is closed and convex.

Lemma 2.3

([20])

Let Q be a nonempty closed convex subset of a real Hilbert space $H_{2}$and let $S_{s}^{G}(u)$be the same as in Lemma 2.2. For $a,b>0$and $u,v\in H_{2}$, we have

$$ \bigl\Vert S_{a}^{G}(u)-S_{b}^{G}(v) \bigr\Vert \leq \Vert u-v \Vert +\frac{ \vert b-a \vert }{b} \bigl\Vert S_{b}^{G}(v)-v \bigr\Vert . $$

Lemma 2.4

([38])

Let C be a nonempty bounded closed and convex subset of a real Hilbert space $H_{1}$. Let $\mathcal{T}=\{T(t):0\leq t<\infty \}$be a nonexpansive semigroup on C; then, for all $u\geq 0$,

$$ \lim_{t\rightarrow \infty }\sup_{x\in C} \biggl\Vert \frac{1}{t}\int _{0}^{t}T ( s ) x\,ds-T ( u ) \biggl( \frac{1}{t}\int _{0}^{t}T ( s ) x\,ds \biggr) \biggr\Vert =0. $$

3 Weak convergence results

We start our main result of this section with the introduction of the proposed modified extragradient method in real Hilbert spaces as follows.

Algorithm 3.1

Let $C\subseteq H_{1}$ and $Q\subseteq H_{2}$ be nonempty subsets of real Hilbert spaces $H_{1}$ and $H_{2}$, respectively. Let $A:H_{1}\rightarrow H_{2}$ be a bounded linear operator and $A^{\ast }$ be its adjoint. Let $F:C\times C\rightarrow \mathbb{R}$ and $G:Q\times Q\rightarrow \mathbb{R}$ be two bifunctions satisfying conditions (B1)–(B5) and (A1)–(A4), respectively. Let $\mathcal{T}=\{T(t):0\leq t<\infty \}$ and $\mathcal{S}=\{S(s):0\leq s<\infty \}$ be two nonexpansive semigroups. Let $\Gamma = \{ x^{\ast }\in C:x^{\ast }\in \operatorname{EP}(C,F)\cap \operatorname{Fix}(\mathcal{T})\text{ and }Ax^{\ast }\in \operatorname{EP}(Q,G)\cap \operatorname{Fix}(\mathcal{S}) \} \neq \emptyset$, then we have

$$\begin{aligned}& x_{1}\in C_{1}=C, \\& y_{n}=\arg \min \biggl\{ \lambda _{n}F ( x_{n},y ) + \frac{1}{2} \Vert y-x_{n} \Vert ^{2}:y\in C \biggr\} , \\& z_{n}=\arg \min \biggl\{ \lambda _{n}F ( y_{n},z ) + \frac{1}{2} \Vert z-x_{n} \Vert ^{2}:z\in C \biggr\} , \\& v_{n}= ( 1-\alpha _{n} ) z_{n}+\alpha _{n} \frac{1}{t_{n}}\int _{0}^{t_{n}}T ( t ) z_{n}\,dt, \\& u_{n}=T_{r_{n}}^{G}Av_{n}, \\& x_{n+1}=P_{C} \biggl( v_{n}+\xi A^{\ast } \biggl( \frac{1}{s_{n}}\int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) \biggr) . \end{aligned}$$

The following result establishes a crucial relation among the sequences $\{ x_{n} \}$, $\{ y_{n} \}$ and $\{ z_{n} \}$ for the convergence analysis of Algorithm 3.1.

Lemma 3.1

([3])

Suppose that $x^{\ast }\in \operatorname{EP}(C,F)$, F is pseudomonotone on C and $F(x,\cdot )$is convex and subdifferentiable on C for all $x\in C$, then we have

• (i) $\lambda _{n} \{ F ( x_{n},y ) -F ( x_{n},y_{n} ) \} \geq \langle y_{n}-x_{n},y_{n}-y \rangle$, for all $y\in C$;

• (ii) $\Vert z_{n}-x^{\ast } \Vert ^{2}\leq \Vert x_{n}-x^{ \ast } \Vert ^{2}- ( 1-2\lambda _{n}c_{2} ) \Vert z_{n}-y_{n} \Vert ^{2}- ( 1-2\lambda _{n}c_{1} ) \Vert x_{n}-y_{n} \Vert ^{2}$, for all $n\geq 0$.

Theorem 3.1

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F, G, $\mathcal{T}$and $\mathcal{S}$be as in Algorithm 3.1. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$, $\lim_{n \rightarrow 0}t_{n}=0=\lim_{n\rightarrow 0}s_{n}$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 3.1converge weakly to a point in Γ.

Proof

For simplicity, we divide the proof into the following four steps:

Step 1. $\lim_{n\rightarrow \infty } \Vert x_{n}-x^{\ast } \Vert$ exists for all $x^{\ast }\in \Gamma$.

It follows from Algorithm 3.1 that

$$\begin{aligned} \bigl\Vert v_{n}-x^{\ast } \bigr\Vert =& \biggl\Vert ( 1- \alpha _{n} ) z_{n}+\alpha _{n} \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-x^{\ast } \biggr\Vert \\ \leq &(1-\alpha _{n}) \bigl\Vert z_{n}-x^{\ast } \bigr\Vert + \alpha _{n} \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n}\,dt-T ( t ) x^{\ast } \biggr\Vert \\ \leq &(1-\alpha _{n}) \bigl\Vert z_{n}-x^{\ast } \bigr\Vert + \alpha _{n} \bigl\Vert z_{n}-x^{\ast } \bigr\Vert \\ =& \bigl\Vert z_{n}-x^{\ast } \bigr\Vert . \end{aligned}$$

(3)

Moreover, from (C1) and Lemma 3.1(ii), we have

$$\begin{aligned} \bigl\Vert z_{n}-x^{\ast } \bigr\Vert ^{2} \leq & \bigl\Vert x_{n}-x^{ \ast } \bigr\Vert ^{2}- ( 1-2\lambda _{n}c_{2} ) \Vert z_{n}-y_{n} \Vert ^{2}- ( 1-2\lambda _{n}c_{1} ) \Vert x_{n}-y_{n} \Vert ^{2} \\ \leq & \bigl\Vert x_{n}-x^{\ast } \bigr\Vert ^{2}. \end{aligned}$$

(4)

Using (4), the estimate (3) implies that

$$ \bigl\Vert v_{n}-x^{\ast } \bigr\Vert \leq \bigl\Vert x_{n}-x^{ \ast } \bigr\Vert . $$

(5)

We now estimate

$$\begin{aligned} \bigl\Vert x_{n+1}-x^{\ast } \bigr\Vert ^{2} =& \biggl\Vert P_{C} \biggl( v_{n}+\xi A^{\ast } \biggl( \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) \biggr) -P_{C} \bigl( x^{ \ast } \bigr) \biggr\Vert ^{2} \\ \leq & \biggl\Vert \bigl( v_{n}-x^{\ast } \bigr) +\xi A^{\ast } \biggl( \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) \biggr\Vert ^{2} \\ =& \bigl\Vert v_{n}-x^{\ast } \bigr\Vert ^{2}+ \biggl\Vert \xi A^{ \ast } \biggl( \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) \biggr\Vert ^{2} \\ & {} +2\xi \biggl\langle v_{n}-x^{\ast },A^{\ast } \biggl( \frac{1}{s_{n}}\int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) \biggr\rangle \\ \leq & \bigl\Vert v_{n}-x^{\ast } \bigr\Vert ^{2}+\xi ^{2} \bigl\Vert A^{\ast } \bigr\Vert ^{2}\sigma _{n}^{2} \\ & {} +2\xi \biggl\langle Av_{n}-Ax^{\ast },\frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\rangle , \end{aligned}$$

(6)

where $\sigma _{n}= \Vert \frac{1}{s_{n}}\int _{0}^{s_{n}}S ( s ) u_{n}\,ds-Av_{n} \Vert$.

On the other hand

$$\begin{aligned}& \biggl\langle Av_{n}-Ax^{\ast },\frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\rangle \\& \quad = \biggl\langle \biggl( \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Ax^{\ast } \biggr) - \biggl( \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) ,\frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\rangle \\& \quad = \biggl\langle \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Ax^{ \ast }, \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\rangle - \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\Vert ^{2} \\& \quad =\frac{1}{2} \biggl( \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Ax^{\ast } \biggr\Vert ^{2}+ \biggl\Vert \frac{1}{s_{n}}\int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\Vert ^{2}- \bigl\Vert Av_{n}-Ax^{\ast } \bigr\Vert ^{2} \biggr) \\& \quad\quad{} - \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\Vert ^{2} \\& \quad =\frac{1}{2} \biggl( \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Ax^{\ast } \biggr\Vert ^{2}- \bigl\Vert Av_{n}-Ax^{ \ast } \bigr\Vert ^{2} \biggr) - \frac{1}{2} \biggl\Vert \frac{1}{s_{n}}\int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\Vert ^{2} \\& \quad \leq \frac{1}{2} \bigl( \bigl\Vert u_{n}-Ax^{\ast } \bigr\Vert ^{2}- \bigl\Vert Av_{n}-Ax^{\ast } \bigr\Vert ^{2} \bigr) -\frac{1}{2} \sigma _{n}^{2}. \end{aligned}$$

(7)

Note that

$$\begin{aligned} \bigl\Vert u_{n}-Ax^{\ast } \bigr\Vert ^{2} =& \bigl\Vert T_{r_{n}}^{G}Av_{n}-Ax^{ \ast } \bigr\Vert ^{2}\leq \bigl\langle T_{r_{n}}^{G}Av_{n}-T_{r_{n}}^{G}Ax^{ \ast },Av_{n}-Ax^{\ast } \bigr\rangle \\ =&\frac{1}{2} \bigl( \bigl\Vert T_{r_{n}}^{G}Av_{n}-T_{r_{n}}^{G}Ax^{ \ast } \bigr\Vert ^{2}+ \bigl\Vert Av_{n}-Ax^{\ast } \bigr\Vert ^{2}- \bigl\Vert T_{r_{n}}^{G}Av_{n}-Av_{n} \bigr\Vert ^{2} \bigr) \\ =& \bigl\Vert Av_{n}-Ax^{\ast } \bigr\Vert ^{2}- \Vert u_{n}-Av_{n} \Vert ^{2}. \end{aligned}$$

(8)

Using (8), the estimate (7) implies that

$$ \biggl\langle Av_{n}-Ax^{\ast },\frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\rangle \leq \frac{-1}{2} \bigl( \Vert u_{n}-Av_{n} \Vert ^{2}+\sigma _{n}^{2} \bigr) . $$

(9)

It follows from (6) and (9) that

$$ \bigl\Vert x_{n+1}-x^{\ast } \bigr\Vert ^{2}\leq \bigl\Vert v_{n}-x^{ \ast } \bigr\Vert ^{2}-\xi \bigl( 1-\xi \bigl\Vert A^{\ast } \bigr\Vert ^{2} \bigr) \sigma _{n}^{2}-\xi \Vert u_{n}-Av_{n} \Vert ^{2}. $$

(10)

Utilizing (C3), the estimate (10) implies that

$$ \bigl\Vert x_{n+1}-x^{\ast } \bigr\Vert \leq \bigl\Vert v_{n}-x^{ \ast } \bigr\Vert . $$

(11)

Combining (5) and (11), we have

$$ \bigl\Vert x_{n+1}-x^{\ast } \bigr\Vert \leq \bigl\Vert x_{n}-x^{ \ast } \bigr\Vert . $$

(12)

Applying induction on (12), we conclude that the sequence $\{ x_{n}-x^{\ast } \} _{n=1}^{\infty }$ is bounded and hence $\lim_{n\rightarrow \infty } \Vert x_{n}-x^{\ast } \Vert$ exists.

Step 2. Show that:

• (i) $\lim_{n\rightarrow \infty } \Vert x_{n}-x^{\ast } \Vert = \lim_{n\rightarrow \infty } \Vert v_{n}-x^{\ast } \Vert = \lim_{n\rightarrow \infty } \Vert z_{n}-x^{\ast } \Vert$;

• (ii) $\lim_{n\rightarrow \infty } \Vert u_{n}-Av_{n} \Vert =0$;

• (iii) $\lim_{n\rightarrow \infty } \Vert u_{n}-S ( t ) u_{n} \Vert =0=\lim_{n\rightarrow \infty } \Vert z_{n}-T ( s ) z_{n} \Vert$.

Since $\lim_{n\rightarrow \infty } \Vert x_{n}-x^{\ast } \Vert$ exists, therefore it follows from the estimates (4) and (5) that

$$ \lim_{n\rightarrow \infty } \bigl\Vert x_{n}-x^{\ast } \bigr\Vert = \lim_{n\rightarrow \infty } \bigl\Vert v_{n}-x^{\ast } \bigr\Vert = \lim_{n\rightarrow \infty } \bigl\Vert z_{n}-x^{\ast } \bigr\Vert . $$

Note that the estimate (10) implies that

$$ \xi \bigl( 1-\xi \bigl\Vert A^{\ast } \bigr\Vert ^{2} \bigr) \sigma _{n}^{2}+\xi \Vert u_{n}-Av_{n} \Vert ^{2}\leq \bigl\Vert x_{n}-x^{\ast } \bigr\Vert ^{2}- \bigl\Vert x_{n+1}-x^{ \ast } \bigr\Vert ^{2}. $$

Letting $n\rightarrow \infty$ in the above estimate, we have

$$ \lim_{n\rightarrow \infty } \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\Vert =0=\lim_{n\rightarrow \infty } \Vert u_{n}-Av_{n} \Vert . $$

(13)

Utilizing (13) and the following triangular identity:

$$ \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-u_{n} \biggr\Vert \leq \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\Vert + \Vert Av_{n}-u_{n} \Vert , $$

we have

$$ \lim_{n\rightarrow \infty } \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-u_{n} \biggr\Vert =0. $$

(14)

Observe that

$$\begin{aligned} \bigl\Vert u_{n}-S ( t ) u_{n} \bigr\Vert \leq & \biggl\Vert u_{n}-\frac{1}{s_{n}} \int _{0}^{s_{n}}S ( t ) u_{n}\,ds \biggr\Vert + \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n}\,ds-S ( t ) \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n}\,ds \biggr\Vert \\ & {} + \biggl\Vert S ( t ) \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-u_{n} \biggr\Vert \\ \leq &2 \biggl\Vert u_{n}-\frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n}\,ds \biggr\Vert + \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n}\,ds-S ( t ) \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n}\,ds \biggr\Vert . \end{aligned}$$

It now follows from (14) and Lemma 2.4 that

$$ \lim_{n\rightarrow \infty } \bigl\Vert u_{n}-S ( t ) u_{n} \bigr\Vert =0. $$

(15)

In view of (C1), consider the rearrangement of the estimate (4)

$$ ( 1-2bc_{2} ) \Vert z_{n}-y_{n} \Vert ^{2}+ ( 1-2bc_{1} ) \Vert x_{n}-y_{n} \Vert ^{2} \leq \bigl\Vert x_{n}-x^{\ast } \bigr\Vert ^{2}- \bigl\Vert z_{n}-x^{ \ast } \bigr\Vert ^{2}. $$

Again, letting $n\rightarrow \infty$ in the above estimate, we have

$$ \lim_{n\rightarrow \infty } \Vert z_{n}-y_{n} \Vert =0= \lim_{n\rightarrow \infty } \Vert x_{n}-y_{n} \Vert . $$

(16)

Note that $\Vert z_{n}-x_{n} \Vert \leq \Vert z_{n}-y_{n} \Vert + \Vert y_{n}-x_{n} \Vert$, therefore letting $n\rightarrow \infty$ and utilizing (16) we get

$$ \lim_{n\rightarrow \infty } \Vert z_{n}-x_{n} \Vert =0. $$

(17)

Utilizing Lemma 2.1(iv), we now estimate

$$\begin{aligned} \bigl\Vert v_{n}-x^{\ast } \bigr\Vert ^{2} =& \biggl\Vert ( 1- \alpha _{n} ) z_{n}+\alpha _{n}\frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-x^{\ast } \biggr\Vert ^{2} \\ =& \biggl\Vert (1-\alpha _{n}) \bigl\Vert z_{n}-x^{\ast } \bigr\Vert +\alpha _{n}\frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n}\,dt-T ( t ) x^{\ast } \biggr\Vert ^{2} \\ =&(1-\alpha _{n}) \bigl\Vert z_{n}-x^{\ast } \bigr\Vert ^{2}+ \alpha _{n} \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n}\,dt-T ( t ) x^{\ast } \biggr\Vert ^{2} \\ & {} -\alpha _{n}(1-\alpha _{n}) \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-z_{n} \biggr\Vert \\ \leq & \bigl\Vert z_{n}-x^{\ast } \bigr\Vert ^{2}-\alpha _{n}(1- \alpha _{n}) \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-z_{n} \biggr\Vert . \end{aligned}$$

In view of (C2), consider the following rearrangement of the above estimate:

$$ e(1-f) \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-z_{n} \biggr\Vert \leq \bigl\Vert z_{n}-x^{\ast } \bigr\Vert ^{2}- \bigl\Vert v_{n}-x^{\ast } \bigr\Vert ^{2}. $$

Again, letting $n\rightarrow \infty$ in the above estimate, we have

$$ \lim_{n\rightarrow \infty } \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-z_{n} \biggr\Vert =0. $$

(18)

In a similar fashion, utilizing (18) and Lemma 2.4, we get

$$ \lim_{n\rightarrow \infty } \bigl\Vert z_{n}-T ( s ) z_{n} \bigr\Vert =0. $$

(19)

Now, observe that

$$\begin{aligned} \Vert v_{n}-x_{n} \Vert \leq & \Vert v_{n}-z_{n} \Vert + \Vert z_{n}-x_{n} \Vert \\ =&\alpha _{n} \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-z_{n} \biggr\Vert + \Vert z_{n}-x_{n} \Vert \\ \leq &f \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-z_{n} \biggr\Vert + \Vert z_{n}-x_{n} \Vert . \end{aligned}$$

Utilizing (17) and (18), the above estimate implies that

$$ \lim_{n\rightarrow \infty } \Vert v_{n}-x_{n} \Vert =0. $$

(20)

Step 3. The sequences $\{ x_{n} \}$ and $\{ z_{n} \}$ converge weakly to p and $\{ u_{n} \}$ converges weakly to Ap.

It follows from Step 1 that $\lim_{n\rightarrow \infty } \Vert x_{n}-x^{\ast } \Vert$ exists. Moreover, it follows from the boundedness of the sequence $\{ x_{n} \}$ that there exists a subsequence $\{ x_{n_{j}} \}$ of $\{ x_{n} \}$ such that $x_{n_{j}}\rightharpoonup p$ as $j\rightarrow \infty$. The estimate (20) then implies that $v_{n_{j}}\rightharpoonup p$ and $Av_{n_{j}}\rightharpoonup Ap$ as $j\rightarrow \infty$. Moreover, the estimate (13) then implies that $u_{n_{j}}\rightharpoonup Ap$ as $j\rightarrow \infty$. Furthermore, the estimate (17) then implies that $z_{n_{j}}\rightharpoonup p$ as $j\rightarrow \infty$. Assume that if $p\notin \operatorname{Fix}(\mathcal{T})$ then $p\neq T(s)p$ for some $s \in [0,\infty )$. Now utilizing the nonexpansivity of $T(s)$, the estimate (19) and the Opial property, we get

$$\begin{aligned} \liminf_{j\rightarrow \infty } \Vert z_{n_{j}}-p \Vert < &\liminf _{j\rightarrow \infty } \bigl\Vert z_{n_{j}}-T(s)p \bigr\Vert \\ \leq &\liminf_{j\rightarrow \infty } \bigl\Vert z_{n_{j}}-T(s)z_{n_{j}} \bigr\Vert +\liminf_{j\rightarrow \infty } \bigl\Vert T(s)z_{n_{j}}-T(s)p \bigr\Vert \\ =&\liminf_{j\rightarrow \infty } \Vert z_{n_{j}}-p \Vert , \end{aligned}$$

a contradiction. Hence $p\in \operatorname{Fix}(\mathcal{T})$. Moreover, from Lemma 3.1(i) we get $p\in \operatorname{EP}(C,F)$ and hence $p\in \operatorname{EP}(C,F)\cap \operatorname{Fix}(\mathcal{T})$. On the other hand, assume to the contrary that $Ap\notin \operatorname{Fix}(\mathcal{S})$ then $Ap\neq S(t)Ap$ for some $t \in [0,\infty )$. Now utilizing the nonexpansivity of $S(t)$, the estimate (15) and the Opial property, we get

$$\begin{aligned} \liminf_{j\rightarrow \infty } \Vert u_{n_{j}}-Ap \Vert < &\liminf _{j\rightarrow \infty } \bigl\Vert u_{n_{j}}-S(t)Ap \bigr\Vert \\ \leq &\liminf_{j\rightarrow \infty } \bigl\Vert u_{n_{j}}-S(t)u_{n_{j}} \bigr\Vert +\liminf_{j\rightarrow \infty } \bigl\Vert S(t)u_{n_{j}}-S(t)Ap \bigr\Vert \\ =&\liminf_{j\rightarrow \infty } \Vert u_{n_{j}}-Ap \Vert , \end{aligned}$$

a contradiction. Hence $Ap\in \operatorname{Fix}(\mathcal{S})$. Note that $\operatorname{Fix}(T_{r_{n}}^{G})=\operatorname{EP}(Q,G)$. Again, contradicting the fact that $T_{r_{n}}^{G}Ap\neq Ap$, then utilizing the estimate (13), the Opial property and Lemma 2.3, we get

$$\begin{aligned} \liminf_{j\rightarrow \infty } \Vert Av_{n_{j}}-Ap \Vert < &\liminf _{j\rightarrow \infty } \bigl\Vert Av_{n_{j}}-T_{r_{n}}^{G}Ap \bigr\Vert \\ \leq &\liminf_{j\rightarrow \infty } \Vert Av_{n_{j}}-u_{n_{j}} \Vert +\liminf_{j\rightarrow \infty } \bigl\Vert u_{n_{j}}-T_{r_{n}}^{G}Ap \bigr\Vert \\ =&\liminf_{j\rightarrow \infty } \bigl\Vert T_{r_{n_{j}}}^{G}Av_{n_{j}}-T_{r_{n}}^{G}Ap \bigr\Vert \\ \leq &\liminf_{j\rightarrow \infty } \Vert Av_{n_{j}}-Ap \Vert + \frac{r_{n_{j}}-r_{n}}{r_{n_{j}}} \Vert Av_{n_{j}}-u_{n_{j}} \Vert \\ =&\liminf_{j\rightarrow \infty } \Vert Av_{n_{j}}-Ap \Vert , \end{aligned}$$

a contradiction. This implies that $T_{r_{n}}^{G}Ap=Ap$ and hence $Ap\in \operatorname{EP}(Q,G)\cap \operatorname{Fix}(\mathcal{S})$. This proves that $p\in \Gamma$. It remains to show that the sequence $\{ x_{n} \}$ converges weakly to p and $\{ u_{n} \}$ converges weakly to Ap. Assume contrary that there exists a subsequence $\{ x_{n_{j}} \}$ of $\{ x_{n} \}$ such that $x_{n_{j}}\rightharpoonup q$ as $j\rightarrow \infty$ where $q \in \Gamma$ such that $q \neq p$. Again, utilizing the Opial property, we get

$$\begin{aligned} \liminf_{j\rightarrow \infty } \Vert x_{n_{j}}-q \Vert < &\liminf _{j\rightarrow \infty } \Vert x_{n_{j}}-p \Vert \\ =&\liminf_{k\rightarrow \infty } \Vert x_{n_{k}}-p \Vert \\ < &\liminf_{k\rightarrow \infty } \Vert x_{n_{k}}-q \Vert \\ =&\liminf_{j\rightarrow \infty } \Vert x_{n_{j}}-q \Vert , \end{aligned}$$

a contradiction. This implies that $x_{n}\rightharpoonup p$ as $n\rightarrow \infty$. Moreover, from the estimates (16) and (17), we conclude that $z_{n}\rightharpoonup p$ and $v_{n}\rightharpoonup p$ as $n\rightarrow \infty$. Since $Av_{n}\rightharpoonup Ap$ as $n\rightarrow \infty$, therefore from the estimate (13) we conclude that $u_{n}\rightharpoonup Ap$ as $n\rightarrow \infty$. This completes the proof. □

Corollary 3.1

([18])

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F and G be as in Algorithm 3.1and let T and S be two nonexpansive mappings. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 3.1converge weakly to a point in Γ.

In order to solve the classical equilibrium problem together with the fixed point problem of nonexpansive semigroup, we prove the following result.

Theorem 3.2

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F, G, $\mathcal{T}$and $\mathcal{S}$be as in Algorithm 3.1. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$, $\lim_{n \rightarrow 0}t_{n}=0=\lim_{n\rightarrow 0}s_{n}$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 3.1converge weakly to a point in Γ.

Proof

Set $H_{1}=H_{2}$, $C=Q$ and $A=I$ (the identity mapping) then the desired result follows from Theorem 3.1 immediately. □

Similarly, the following result addresses the classical equilibrium problem together with the fixed point problem of nonexpansive mapping.

Corollary 3.2

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F and G be as in Algorithm 3.1and let T and S be two nonexpansive mappings. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 3.1converge weakly to a point in Γ.

4 Strong convergence results

In this section, we combine the proposed modified extragradient method together with the classical shrinking projection algorithm to establish the strong convergence results. Our algorithm reads as follows.

Algorithm 4.1

Let $C\subseteq H_{1}$ and $Q\subseteq H_{2}$ be nonempty subsets of real Hilbert spaces $H_{1}$ and $H_{2}$, respectively. Let $A:H_{1}\rightarrow H_{2}$ be a bounded linear operator and $A^{\ast }$ be its adjoint. Let $F:C\times C\rightarrow \mathbb{R}$ and $G:Q\times Q\rightarrow \mathbb{R}$ be two bifunctions satisfying conditions (B1)–(B5) and (A1)–(A4), respectively. Let $\mathcal{T}=\{T(t):0\leq t<\infty \}$ and $\mathcal{S}=\{S(s):0\leq s<\infty \}$ be two nonexpansive semigroups. Let $\Gamma = \{ x^{\ast }\in C:x^{\ast }\in \operatorname{EP}(C,F)\cap \operatorname{Fix}(\mathcal{T})\text{ and }Ax^{\ast }\in \operatorname{EP}(Q,G)\cap \operatorname{Fix}(\mathcal{S}) \} \neq \emptyset$, then we have

$$\begin{aligned}& x_{1}\in C_{1}=C, \\& y_{n}=\arg \min \biggl\{ \lambda _{n}F ( x_{n},y ) + \frac{1}{2} \Vert y-x_{n} \Vert ^{2}:y\in C \biggr\} , \\& z_{n}=\arg \min \biggl\{ \lambda _{n}F ( y_{n},z ) + \frac{1}{2} \Vert z-x_{n} \Vert ^{2}:z\in C \biggr\} , \\& v_{n}= ( 1-\alpha _{n} ) z_{n}+\alpha _{n} \frac{1}{t_{n}}\int _{0}^{t_{n}}T ( t ) z_{n}\,dt, \\& u_{n}=T_{r_{n}}^{G}Av_{n}, \\& w_{n}=P_{C} \biggl( v_{n}+\xi A^{\ast } \biggl( \frac{1}{s_{n}}\int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) \biggr), \\& C_{n+1}= \bigl\{ x\in C_{n}: \Vert w_{n}-x \Vert \leq \Vert v_{n}-x \Vert \leq \Vert x_{n}-x \Vert \bigr\} , \\& x_{n+1}=P_{C_{n+1}}x_{1}. \end{aligned}$$

Theorem 4.1

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F, G, $\mathcal{T}$and $\mathcal{S}$be as in Algorithm 4.1. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$, $\lim_{n \rightarrow 0}t_{n}=0=\lim_{n\rightarrow 0}s_{n}$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 4.1converge strongly to a point in Γ.

Proof

For simplicity, we divide the proof into the following four steps:

Step 1. The set $C_{n}$ is nonempty closed and convex for all $n\geq 1$.

Note that, since

$$ \bigl\{ {x\in C_{n}:} \Vert {w_{n}-x} \Vert {^{2}\leq \Vert {x_{n}-x} \Vert ^{2}} \bigr\} = \bigl\{ {x\in C_{n}:} \Vert {w_{n}} \Vert {^{2}- \Vert {x_{n}} \Vert {^{2}}\leq 2} \langle {w_{n}}-x_{n},x \rangle \bigr\} , $$

the set $C_{n+1}$ is closed and convex.

Now for arbitrary $x^{\ast }\in \Gamma$, it follows from the estimate (10) that

$$ \bigl\Vert w_{n}-x^{\ast } \bigr\Vert ^{2}\leq \bigl\Vert v_{n}-x^{ \ast } \bigr\Vert ^{2}-\xi \bigl( 1-\xi \bigl\Vert A^{\ast } \bigr\Vert ^{2} \bigr) \sigma _{n}^{2}-\xi \Vert u_{n}-Av_{n} \Vert ^{2}. $$

In view of condition (C3) and the estimates (3)–(5), we deduce from the above estimate that

$$ \bigl\Vert w_{n}-x^{\ast } \bigr\Vert \leq \bigl\Vert v_{n}-x^{ \ast } \bigr\Vert \leq \bigl\Vert x_{n}-x^{\ast } \bigr\Vert . $$

(21)

The estimate (21) also establishes the fact that $\Gamma \subset C_{n+1}$ for all $n\geq 1$. In conclusion, Algorithm 4.1 is well-defined.

Step 2. The sequences $\{ x_{n} \}$ and $\{ w_{n} \}$ are bounded and $x_{n}\rightarrow p$ as $n\rightarrow \infty$.

For this, we proceed as follows.

Note that $x_{n+1}=P_{C_{n+1}}x_{1}$, therefore $\Vert x_{n+1}-x_{1} \Vert \leq \Vert x_{0}-x_{1} \Vert$ for all $x_{0}\in C_{n+1}$. In particular, we have $\Vert x_{n+1}-x_{1} \Vert \leq \Vert P_{\Gamma }x_{1}-x_{1} \Vert$. This implies that the sequence $\{ x_{n} \}$ and consequently $\{ w_{n} \}$ are bounded. Moreover $x_{n}=P_{C_{n}}x_{1}$ and $x_{n+1}=P_{C_{n+1}}x_{1}\in C_{n+1}\subset C_{n}$, we have

$$\begin{aligned} 0 \leq & \langle x_{1}-x_{n},x_{n}-x_{n+1} \rangle \\ =& \langle x_{1}-x_{n},x_{n}-x_{1}+x_{1}-x_{n+1} \rangle \\ \leq &- \Vert x_{1}-x_{n1} \Vert ^{2}+ \Vert x_{n+1}-x_{1} \Vert \Vert x_{n}-x_{1} \Vert . \end{aligned}$$

Simplifying the above estimate, we get $\Vert x_{n}-x_{1} \Vert \leq \Vert x_{n+1}-x_{1} \Vert$. Hence, the sequence $\{ \Vert x_{n}-x_{1} \Vert \}$ is nondecreasing and

$$ \lim_{n\rightarrow \infty } \Vert x_{n}-x_{1} \Vert \text{ exists.} $$

(22)

Note that

$$\begin{aligned} \Vert x_{n+1}-x_{n} \Vert ^{2} =& \Vert x_{n+1}-x_{1}+x_{1}-x_{n} \Vert ^{2} \\ =& \Vert x_{n+1}-x_{1} \Vert ^{2}+ \Vert x_{n}-x_{1} \Vert ^{2}-2 \langle x_{n}-x_{1},x_{n+1}-x_{1} \rangle \\ =& \Vert x_{n+1}-x_{1} \Vert ^{2}+ \Vert x_{n}-x_{1} \Vert ^{2}-2 \langle x_{n}-x_{1},x_{n+1}-x_{n}+x_{n}-x_{1} \rangle \\ =& \Vert x_{n+1}-x_{1} \Vert ^{2}- \Vert x_{n}-x_{1} \Vert ^{2}-2 \langle x_{n}-x_{1},x_{n+1}-x_{n} \rangle \\ \leq & \Vert x_{n+1}-x_{1} \Vert ^{2}- \Vert x_{n}-x_{1} \Vert ^{2}. \end{aligned}$$

Taking limsup on both sides of the above estimate and utilizing (22), we have $\limsup_{n\rightarrow \infty } \Vert x_{n+1}-x_{n} \Vert ^{2}=0$. That is,

$$ \lim_{n\rightarrow \infty } \Vert x_{n+1}-x_{n} \Vert =0. $$

(23)

Observe that

$$ \Vert x_{m}-x_{n} \Vert \leq \Vert x_{m}-x_{m-1} \Vert + \Vert x_{m-1}-x_{m-2} \Vert +\cdots + \Vert x_{n+1}-x_{n} \Vert . $$

Utilizing (23), the above estimate implies that the sequence $\{x_{n}\}$ is Cauchy and hence $x_{n}\rightarrow p$ as $n\rightarrow \infty$ for some $p\in C$.

Step 3. Show that $p\in \Gamma$ such that $z_{n}\rightarrow p$ as $n\rightarrow \infty$ and $u_{n}\rightarrow Ap$ as $n\rightarrow \infty$.

In view of the definition of the set $C_{n+1}$, we have $\Vert w_{n}-x_{n+1} \Vert \leq \Vert v_{n}-x_{n+1} \Vert \leq \Vert x_{n}-x_{n+1} \Vert$. Therefore, we have the two observations

$$\begin{aligned} \Vert w_{n}-x_{n} \Vert \leq & \Vert w_{n}-x_{n+1} \Vert + \Vert x_{n+1}-x_{n} \Vert \\ \leq &2 \Vert x_{n+1}-x_{n} \Vert \end{aligned}$$

and

$$\begin{aligned} \Vert v_{n}-x_{n} \Vert \leq & \Vert v_{n}-x_{n+1} \Vert + \Vert x_{n+1}-x_{n} \Vert \\ \leq &2 \Vert x_{n+1}-x_{n} \Vert . \end{aligned}$$

Letting $n\rightarrow \infty$ and utilizing (23), we get

$$ \lim_{n\rightarrow \infty } \Vert w_{n}-x_{n} \Vert =0= \lim_{n\rightarrow \infty } \Vert v_{n}-x_{n} \Vert . $$

(24)

Since $\Vert w_{n}-x^{\ast } \Vert ^{2}\leq \Vert x_{n}-x^{ \ast } \Vert ^{2}-\xi ( 1-\xi \Vert A^{\ast } \Vert ^{2} ) \sigma _{n}^{2}-\xi \Vert u_{n}-Av_{n} \Vert ^{2}$, rearranging the terms we get

$$\begin{aligned} \xi \bigl( 1-\xi \bigl\Vert A^{\ast } \bigr\Vert ^{2} \bigr) \sigma _{n}^{2}+\xi \Vert u_{n}-Av_{n} \Vert ^{2} \leq & \bigl\Vert x_{n}-x^{\ast } \bigr\Vert ^{2}- \bigl\Vert w_{n}-x^{ \ast } \bigr\Vert ^{2} \\ =& \bigl( \bigl\Vert x_{n}-x^{\ast } \bigr\Vert + \bigl\Vert w_{n}-x^{ \ast } \bigr\Vert \bigr) \Vert x_{n}-w_{n} \Vert . \end{aligned}$$

In view of condition (C3) and the estimate (24), we deduce from the above estimate that

$$ \begin{aligned}[b] \lim_{n\rightarrow \infty } \biggl\Vert \frac{1}{s_{n}} \int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr\Vert &=\lim_{n\rightarrow \infty } \biggl\Vert \frac{1}{t_{n}} \int _{0}^{t_{n}}T ( t ) z_{n} \,dt-z_{n} \biggr\Vert \\&=\lim_{n\rightarrow \infty } \Vert u_{n}-Av_{n} \Vert =0. \end{aligned} $$

(25)

Reasoning as above in Sect. 3, we have

$$ \lim_{n\rightarrow \infty } \bigl\Vert u_{n}-S ( t ) u_{n} \bigr\Vert =0=\lim_{n\rightarrow \infty } \bigl\Vert z_{n}-T ( s ) z_{n} \bigr\Vert . $$

(26)

Since $x_{n}\rightarrow p$ as $n\rightarrow \infty$, it follows from the estimates (17) and (20) that $z_{n}\rightarrow p$ and $v_{n}\rightarrow p$ as $n\rightarrow \infty$. Further, it follows from $v_{n}\rightarrow p$ as $n\rightarrow \infty$ and (25) that $u_{n}\rightarrow Ap$ as $n\rightarrow \infty$. Now observe that

$$\begin{aligned} \bigl\Vert T ( s ) p-p \bigr\Vert \leq & \bigl\Vert T ( s ) p-T ( s ) z_{n} \bigr\Vert + \bigl\Vert T ( s ) z_{n}-z_{n} \bigr\Vert + \Vert z_{n}-p \Vert \\ \leq &2 \Vert z_{n}-p \Vert + \bigl\Vert T ( s ) z_{n}-z_{n} \bigr\Vert . \end{aligned}$$

Utilizing the fact that $z_{n}\rightarrow p$ as $n\rightarrow \infty$ together with the estimate (26), we conclude that $p\in \operatorname{Fix}(\mathcal{T})$. Similarly, from Lemma 3.1(i) we get $p\in \operatorname{EP}(C,F)$ and hence $p\in \operatorname{EP}(C,F)\cap \operatorname{Fix}(\mathcal{T})$. Moreover, reasoning as above we can also prove that $Ap\in \operatorname{EP}(Q,G)\cap \operatorname{Fix}(\mathcal{S})$ and hence $p\in \Gamma$. This completes the proof. □

Corollary 4.1

([18])

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F and G be as in Algorithm 4.1and let T and S be two nonexpansive mappings. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 4.1converge strongly to a point in Γ.

In order to solve the classical equilibrium problem together with the fixed point problem of nonexpansive semigroup, we prove the following result.

Theorem 4.2

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F, G, $\mathcal{T}$and $\mathcal{S}$be as in Algorithm 4.1. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$, $\lim_{n \rightarrow 0}t_{n}=0=\lim_{n\rightarrow 0}s_{n}$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 4.1converge strongly to a point in Γ.

Proof

Set $H_{1}=H_{2}$, $C=Q$ and $A=I$ (the identity mapping) then the desired result follows from Theorem 4.1 immediately. □

Similarly, the following result addresses the classical equilibrium problem together with the fixed point problem of nonexpansive mappings.

Corollary 4.2

Let $C\subseteq H_{1}$, $Q\subseteq H_{2}$, A, F and G be as in Algorithm 4.1and let T and S be two nonexpansive mappings. Assume that the following set of control conditions are satisfied:

• (C1) $\{ \lambda _{n} \} \subset [ a,b ]$for some $a,b\in ( 0,\min \{ \frac{1}{2c_{1}},\frac{1}{2c_{2}} \} )$;

• (C2) $0\leq d< e\leq \alpha _{n}\leq f<1$, $\liminf_{n\rightarrow \infty }r_{n}>0$;

• (C3) $0<\xi <\frac{1}{ \Vert A \Vert ^{2}}$.

If $\Gamma \neq \emptyset$then the sequences $\{ x_{n} \}$, $\{ y_{n} \}$and $\{ z_{n} \}$defined by Algorithm 4.1converge strongly to a point in Γ.

5 Numerical example

This section is devoted to strengthening the result presented in Theorem 4.1 with the help of a numerical example. In order to examine the behavior of Algorithm 4.1, we study the extended version of the Nash–Cournot oligopolistic equilibrium model [16] to the split equilibrium model [22].

Example 5.1

Let $H_{1}=\mathbb{R} ^{n}$ and $H_{2}=\mathbb{R}$, $C=[-5,5]^{n}$ and $Q=[-1,\infty )$. The bifunction $F:C\times C\rightarrow {\mathbb{R}}$ is defined as

$$ F(x,y)= \langle Mx+Ny+p,y-x \rangle \quad \text{for all }x,y\in C, $$

where $p\in \mathbb{R} ^{n}$, $M_{n\times n}$, $N_{n\times n}$ are symmetric positive semidefinite and $N-M$ is negative semidefinite. Note that the matrices M and N are generated randomly so as to satisfy assumptions (B1)–(B5) with the Lipschitz-type constants $c_{1}=c_{2}=\frac{1}{2} \Vert N-M \Vert$. Moreover, the matrices M and $N-M$ are of the form $D^{T}D$ with $D_{n\times n}$ being randomly generated in the interval $[-5,5]$. The bounded linear operator $A:\mathbb{R} ^{n}\rightarrow \mathbb{R}$ is defined by $Ax= \langle a,x \rangle$ where $a\in \mathbb{R} ^{n}$ whose entries are generated randomly (and uniformly) in $[1,n]$. Moreover, $A^{\ast }y=y.a$ and $\Vert A \Vert = \Vert a \Vert$. The bifunction $G:Q\times Q\rightarrow \mathbb{R}$ is defined as $u ( v-u )$ for all $u,v\in Q$. It is easy to check that F and G satisfy all conditions in Theorem 4.1. The nonexpansive semigroups $\mathcal{T}$ and $\mathcal{S}$ are defined as $T(t)x=\frac{1}{10^{t}}x$ for all $x\in C$ and $S(s)y=e^{-s}y$ for all $y\in Q$ with $0\leq t,s < +\infty$. Choose $x_{0}= ( 1,1,\ldots,1 ) \in \mathbb{R} ^{n}$ as an initial guess with control parameters $\alpha _{n}=\frac{n}{100n+1}$, $r_{n}=1$, $\lambda _{n}=\lambda =\frac{1}{4c_{1}}$ and $\xi =\frac{1}{2 \Vert a \Vert ^{2}}$. Observe that computing the sequence $y_{n}$ in Algorithm 4.1, we need to solve the following optimization problem:

$$ \arg \min \biggl\{ \lambda _{n}F ( x_{n},y ) + \frac{1}{2} \Vert y-x_{n} \Vert ^{2}:y\in C \biggr\} , $$

which is equivalent to the following convex quadratic problem:

$$ \arg \min \biggl\{ \frac{1}{2}y^{T}Hy+b^{T}y:y\in C \biggr\} , $$

where $H=2\lambda N+I$ and $b=\lambda ( Mx_{n}-Nx_{n}+p ) -x_{n}$.

Similarly, for sequence $z_{n}$ in Algorithm 4.1, we solve the following problem:

$$ \arg \min \biggl\{ \frac{1}{2}y^{T}\widetilde{H}y+ \widetilde{b}^{T}y:y \in C \biggr\} , $$

where $\widetilde{H}=H$ and $\widetilde{b}=\lambda ( My_{n}-Ny_{n}+p ) -x_{n}$.

On the other hand, the sequence $w_{n}$ in Algorithm 4.1, that is,

$$ w_{n}=P_{C} \biggl( v_{n}+\xi A^{\ast } \biggl( \frac{1}{s_{n}}\int _{0}^{s_{n}}S ( s ) u_{n} \,ds-Av_{n} \biggr) \biggr) =P_{C} \bigl( v_{n}+ \xi ( u_{n}-Av_{n} ) a \bigr) , $$

implies the following distance optimization program:

$$ \arg \min \bigl\{ \bigl\Vert v_{n}+\xi ( u_{n}-Av_{n} ) a-y \bigr\Vert ^{2}:y\in C \bigr\} , $$

which is equivalent to the following problem:

$$ \arg \min \biggl\{ \frac{1}{2}y^{T}y+b^{T}y:y\in C \biggr\} , $$

where $b=-v_{n}-\xi ( u_{n}-Av_{n} ) a$.

The stopping criterion for the sequence is defined as $\Vert x_{n+1}-x_{n} \Vert \leq \mathit{TOL}$. The numerical results for Algorithm 4.1 with different tolerances $D_{n}$ are shown in Table 1 along with the time of execution in second (CPU(Sec)) and the number of iterations (Iter.). Moreover, Figs. 1–2 depict the convergence of Algorithm 4.1 under different tolerance levels. The experiments are performed on a PC Desktop Intel(R) Core(TM) i3-3217U CPU @ 1.80 GHz 1.80 Ghz, RAM 4.00 GB with Matlab version R2013a.

Figure 1

Comparison with tolerance of 10⁻³

Figure 2

Comparison with tolerance of 10⁻⁶

Table 1 Numerical results for Algorithm 4.1

6 Conclusion

We have proposed a modified version of the extragradient algorithm and computed a common solution to the split equilibrium problem and the fixed point problem of nonexpansive semigroup. The convergence analysis of the proposed algorithm has been established under a suitable set of control conditions. Moreover, theoretical results have been implemented via a numerical example to a generalized form of the Nash–Cournot equilibrium model.