System of Multi-Valued Mixed Variational Inclusions with XOR-Operation in Real Ordered Uniformly Smooth Banach Spaces

Abstract

In this paper, we consider and study a system of multi-valued mixed variational inclusions with XOR-operation ⊕ in real ordered uniformly smooth Banach spaces. This system consists of bimappings, multi-valued mappings and Cayley operators. An iterative algorithm is suggested to find the solution to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ and consequently an existence and convergence result is proved. In support of our main result, an example is constructed.

1. Introduction

In 1964, Stampacchia [1] investigated the theory of variational inequality which provides us a lenient way for solving perplexities occurring in industry, finance, economics, operation research, optimization, decision sciences and several other branches of pure and applied sciences, and so forth, see, for example, [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]. Hassouni and Moudafi [18] studied a mixed type variational inequality which involves a nonlinear term called variational inclusion. They used the resolvent operator technique in order to find the solution to their problem as the projection method does not work due to the nonlinear term.

A natural generalization of variational inequalities called the system of variational inequalities (inclusions) were considered and studied by several authors. Cohen and Chaplais [19], Ansari and Yao [20] and many more researchers considered various system of variational inequalities (inclusions), see also [21,22,23,24,25,26,27,28,29]. It has been shown by Pang [30] that not only the Nash equilibrium problem but also various equilibrium type problems, like the traffic equilibrium problem, spatial equilibrium problem and the general equilibrium programming problems from operation research, game theory, mathematical physics, and so forth, can be formulated as a variational inequality problem defined over a product of sets, which is equivalent to a system of variational inequalities.

Agarwal et al. [31] studied a system of generalized nonlinear mixed quasi-variational inclusions and demonstrated sensitivity analysis of their problem. Some ordered variational inclusions involving XOR-operation ⊕ are studied by Li et al. [32,33,34,35], Ahmad et al. [36,37,38,39] and Ali et al. [40] and so forth. For some related work, see also [41].

In this paper, we consider and study a system of multi-valued mixed variational inclusions with XOR-operation ⊕ in real ordered uniformly smooth Banach spaces. We prove the existence of solutions to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ and we discuss the convergence of the iterative sequences generated by the proposed algorithm. An example is provided.

2. Preliminaries

Let E be a real ordered uniformly smooth Banach space with norm $\parallel ·\parallel$ and $E^{*}$ be its topological dual. We denote by d the metric induced by the norm $\parallel ·\parallel$ on E, by $CB\left(E\right)$ (respectively, $2^E$) the family of all nonempty closed and bounded subsets (respectively, the set of all nonempty subsets) of E and by $D(·,·)$ the Hausdörff metric on $CB\left(E\right).$ Let $C\subseteq E$ be a cone. For arbitrary elements $x,y\in E$, $x\le y$ holds if and only if $y-x\in C$, then the relation $"\le "$ in E is called partial order relation induced by the cone C.

Let $⟨·,·⟩$ be the duality pairing between E and $E^{*}$, and $J:E\to 2^{E^{*}}$ be the normalized duality mapping defined by

$$J\left(x\right)=\{f\in E^{*}:⟨x,f⟩=\parallel x\parallel \parallel f\parallel \},forallx\in E.$$

We recall some well known concepts and results for the presentation of this paper.

The modulus of smoothness of a Banach space E is a function ${\tau }_E:[0,\infty )\to [0,\infty )$ defined by

$${\tau }_E\left(t\right)=sup\left\{\frac{\parallel x+y\parallel -\parallel x-y\parallel }{2}-1:\parallel x\parallel \le 1,\parallel y\parallel \le t\right\}.$$

A Banach space E is called uniformly smooth if

$$\underset{t\to 0}{lim}\frac{{\tau }_E\left(t\right)}{t}=0.$$

Definition 1

([29]). A mapping $g:E\to E$ is said to be

(i) 

accretive, if for any $x,y\in E$, there exists $j(x-y)\in J(x-y)$ such that

$$⟨g\left(x\right)-g\left(y\right),j(x-y)⟩\ge 0,$$

(ii) 

strongly accretive, if for any $x,y\in E$, there exists $j(x-y)\in J(x-y)$ and a constant ${\delta }_g>0$ such that

$$⟨g\left(x\right)-g\left(y\right),j(x-y)⟩\ge {\delta }_g{\parallel x-y\parallel }^2,$$

(iii) 

Lipschitz continuous, if for any $x,y\in E$, there exists a constant ${\lambda }_g>0$ such that

$$\parallel g\left(x\right)-g\left(y\right)\parallel \le {\lambda }_g\parallel x-y\parallel .$$

Proposition 1

([42]). Let E be a uniformly smooth Banach space and $J:E\to 2^{E^{*}}$ be a normalized duality mapping. Then, for any $x,y\in E$,

(i) 

${\parallel x+y\parallel }^2\le {\parallel x\parallel }^2+2⟨y,j(x+y)⟩,$ for all $j(x+y)\in J(x+y)$,

(ii) 

$⟨x-y,j\left(x\right)-j\left(y\right)⟩\le 2{\mathcal{C}}^2{\tau }_E\left(4\parallel x-y\parallel /\mathcal{C}\right)$ where $\mathcal{C}=\sqrt{(\parallel x{\parallel }^2+\parallel y{\parallel }^2)/2}$.

Definition 2.

A multi-valued mapping $G:E\to CB\left(E\right)$ is said to be D-Lipschitz continuous, if for any $x,y\in E$, there exists a constant ${\lambda }_{D_G}>0$ such that

$$D(G\left(x\right),G\left(y\right))\le {\lambda }_{D_G}\parallel x-y\parallel .$$

Definition 3.

A cone C is said to be normal if there exists a constant ${\lambda }_N>0$ such that for $0\le x\le y$, $\parallel x\parallel \le {\lambda }_N\parallel y\parallel$, where ${\lambda }_N$ is normal constant of C.

Definition 4.

For arbitrary element $x,y\in E$, $x\le y$ (or $y\le x$) holds, then x and y said to be comparable to each other (denoted by $x\propto y$).

Most of the following definitions can be found in [43].

Definition 5.

For arbitrary elements x,y of E, $lub\{x,y\}$ and $glb\{x,y\}$ mean the least upper bound and the greatest lower bound of the set $\{x,y\}$. Suppose $lub\{x,y\}$ and $glb\{x,y\}$ exist. Then some binary operations are defined as follows:

(i) 

$x\vee y=lub\{x,y\}$,

(ii) 

$x\wedge y=glb\{x,y\}$,

(iii) 

$x\oplus y=(x-y)\vee (y-x)$,

(iv) 

$x\odot y=(x-y)\wedge (y-x)$.

The operations $\vee ,\wedge ,\oplus$ and ⊙ are called $OR,AND,XOR$ and $XNOR$ operations, respectively.

Proposition 2.

Let ⊕ be an XOR-operation and ⊙ be an XNOR -operation. Then the following relations hold:

(i) 

$x\odot x=0,$$x\odot y=y\odot x=-(x\oplus y)=-(y\oplus x),$

(ii) 

if $x\propto 0,$ then $-x\oplus 0\le x\le x\oplus 0,$

(iii) 

$0\le x\oplus y,$ if $x\propto y,$

(iv) 

if $x\propto y,$ then $x\oplus y=0,$ if and only if $x=y.$

Proposition 3

([43]). Let $C\subseteq E$ be a normal cone with normal constant ${\lambda }_N$. Then for each x,y of E, the following relations hold:

(i) 

$\parallel 0\oplus 0\parallel =\parallel 0\parallel =0,$

(ii) 

$\parallel x\vee y\parallel \le \parallel x\parallel \vee \parallel y\parallel \le \parallel x\parallel +\parallel y\parallel ,$

(iii) 

$\parallel x\oplus y|\le \parallel x-y\parallel \le {\lambda }_N\parallel x\oplus y\parallel ,$

(iv) 

if $x\propto y,$ then $\parallel x\oplus y\parallel =\parallel x-y\parallel .$

Definition 6

([33]). Let $A:E\to E$ be a single-valued mapping. Then

(i) 

A is said to be a comparison mapping, if for all $x,y\in E,$$x\propto y$ then $A\left(x\right)\propto A\left(y\right),$$x\propto A\left(x\right)$ and $y\propto A\left(y\right),$

(ii) 

A is said to be strongly comparison mapping, if A is a comparison mapping and $A\left(x\right)\propto A\left(y\right)$ if and only if $x\propto y,$ for all $x,y\in E,$

(iii) 

A is said to be ${\beta }^{\prime }$-ordered compression mapping, if A is a comparison mapping, and

$$A\left(x\right)\oplus A\left(y\right)\le {\beta }^{\prime }(x\oplus y),for0<{\beta }^{\prime }<1.$$

Definition 7

([32,39]). Let $M:E\to 2^E$ be a multi-valued mapping. Then

(i) 

M is said to be a comparison mapping, if for any $v_x\in M\left(x\right),x\propto v_x$ and if $x\propto y$, then for any $v_x\in M\left(x\right)$ and any $v_y\in M\left(y\right),v_x\propto v_y$ for all $x,y\in E$,

(ii) 

M is said to be ${\alpha }_M$-non-ordinary difference mapping, if for all $x,y\in E$, M is a comparison mapping and $v_x\in M\left(x\right)$ and $v_y\in M\left(y\right)$ such that

$$(v_x\oplus v_y)\oplus {\alpha }_M(x\oplus y)=0,$$

(iii) 

M is said to λ-XOR-ordered strongly monotone mapping, if $x\propto y$ then there exists a constant $\lambda >0$ such that

$$\lambda (v_x\oplus v_y)\ge x\oplus y,forallx,y\in E,v_x\in M\left(x\right),v_y\in M\left(y\right).$$

Definition 8.

Let $A:E\to E$ be a strong comparison and ${\beta }^{\prime }$-ordered compression mapping. Then, a comparison multi-valued mapping $M:E\to 2^E$ is said to be $({\alpha }_M,\lambda )$-XOR-NODSM , if M is ${\alpha }_M$-non-ordinary difference mapping and λ-XOR-ordered strongly monotone mapping such that $[A\oplus \lambda M]\left(E\right)=E$, for all ${\alpha }_M,{\beta }^{\prime },\lambda >0$.

Definition 9.

Let $A:E\to E$ be a strongly comparison and ${\beta }^{\prime }$-ordered compression mapping and let $M:E\to 2^E$ be a multi-valued, $({\alpha }_M,\lambda )$-XOR-NODSM mapping. The resolvent operator $R_{A,\lambda }^M:E\to E$ associated with A and M is defined by

$$R_{A,\lambda }^M\left(x\right)={[A\oplus \lambda M]}^{-1}\left(x\right),forallx\in E,\lambda >0.$$

(1)

It is proved in [39] that the resolvent operator defined by (1) is a single-valued comparison as well as $\theta$-Lipschitz-type continuous, where ${\displaystyle \theta =\frac{1}{{\alpha }_M\lambda \oplus {\beta }^{\prime }}.}$

Definition 10.

The Cayley operator $C_{A,\lambda }^M$ associated with M is defined as

$$C_{A,\lambda }^M\left(x\right)=\left[2R_{A,\lambda }^M\left(x\right)-I\right]\left(x\right),forallx\in E,$$

(2)

where $R_{A,\lambda }^M$ is defined by (1) and $\lambda >0.$

One can easily prove that the Cayley operator defined by (2) is single-valued, a comparison as well as $(2\theta +1)$-Lipschitz-type continuous, where $\theta$ is same as in Definition 9, for more details see [40].

3. A System of Multi-Valued Mixed Variational Inclusions with XOR-Operation ⊕ and an Iterative Algorithm

Let E be a real ordered uniformly smooth Banach space. Let $G,F:E\to CB\left(E\right)$ be multi-valued mappings and $A,P,q:E\to E$; $S,T:E\times E\to E$ be single-valued mappings. Let $M,N:E\to 2^E$ be multi-valued mappings and $C_{A,\lambda }^M;C_{A,\rho }^N:E\to E$ be Cayley operators. We deal with the following problem.

Find $x,y\in E,u\in G\left(x\right),v\in F\left(y\right)$ such that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 0& \in S(x-P\left(x\right),v)+C_{A,\lambda }^M\left(x\right)\oplus M\left(x\right),\hfill \\ \hfill 0& \in T(u,y-q\left(y\right))+C_{A,\rho }^N\left(y\right)\oplus N\left(y\right),\hfill \end{array}\end{array}$$

(3)

where $\lambda >0$ and $\rho >0$ are constants. Problem (3) is called system of multi-valued mixed variational inclusions with XOR-operation ⊕.

If $P\left(x\right)=0=q\left(y\right)$, then we encounter with the following problem, that is, find $x,y\in E,u\in G\left(x\right),v\in F\left(y\right)$ such that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 0& \in S(x,v)+C_{A,\lambda }^M\left(x\right)\oplus M\left(x\right),\hfill \\ \hfill 0& \in T(u,y)+C_{A,\rho }^N\left(y\right)\oplus N\left(y\right).\hfill \end{array}\end{array}$$

(4)

Problem (4) appears to be the new one.

If $C_{A,\lambda }^M\left(x\right)=0=C_{A,\rho }^N\left(y\right)$, and ⊕ is replaced by +, then problem (4) reduces to the problem of finding $x,y\in E,u\in G\left(x\right),v\in F\left(y\right)$ such that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 0& \in S(x,v)+M\left(x\right),\hfill \\ \hfill 0& \in T(u,y)+N\left(y\right).\hfill \end{array}\end{array}$$

(5)

Problem (5) is considered in [26] in the setting of Hilbert spaces.

It is easy to check that problem (3) includes many previously studied problems related to variational inclusions.

The following Lemma is a fixed point formulation of problem (3).

Lemma 1.

$x,y\in E,u\in G\left(x\right),v\in F\left(y\right)$ is a solution to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ (3), if and only if the following equations are satisfied:

$$\begin{array}{ccc}\hfill x& =& R_{A,\lambda }^M\left[A\left(x\right)+\lambda S(x-P\left(x\right),v)+\lambda C_{A,\lambda }^M\left(x\right)\right],\hfill \end{array}$$

(6)

$$\begin{array}{ccc}\hfill y& =& R_{A,\rho }^N\left[A\left(y\right)+\rho T(u,y-q\left(y\right))+\rho C_{A,\rho }^N\left(y\right)\right],\hfill \end{array}$$

(7)

where, $\lambda >0$ and $\rho >0$ are constants.

Proof. 

The proof is easy and hence omitted. ☐

Iterative Algorithm 1.For any given $x_0,y_0\in E$, we choose $u_0\in G\left(x_0\right),v_0\in F\left(y_0\right)$. From (6) and (7), for $0\le \alpha ,\beta <1$ and $\lambda ,\rho >0$, let

$$x_1=(1-\alpha )x_0+\alpha R_{A,\lambda }^M\left[A\left(x_0\right)+\lambda \left(S(x_0-P\left(x_0\right),v_0)\right)+\lambda C_{A,\lambda }^M\left(x_0\right)\right],$$

and

$$y_1=(1-\beta )y_0+\beta R_{A,\rho }^N\left[A\left(y_0\right)+\rho \left(T(u_0,y_0-q\left(y_0\right))\right)+\rho C_{A,\rho }^N\left(y_0\right)\right].$$

Since $u_0\in G\left(x_0\right)$ and $v_0\in F\left(y_0\right)$, by Nadler’s theorem [44], there exist $u_1\in G\left(x_1\right)$ and $v_1\in F\left(y_1\right)$ such that

$$\begin{array}{ccc}\hfill \parallel u_0-u_1\parallel & \le & (1+1)D(G\left(x_0\right),G\left(x_1\right)),\hfill \\ \hfill \parallel v_0-v_1\parallel & \le & (1+1)D(F\left(y_0\right),F\left(y_1\right)),\hfill \end{array}$$

where D is the Hausdörff metric on $CB\left(E\right)$. Let

$$x_2=(1-\alpha )x_1+\alpha R_{A,\lambda }^M\left[A\left(x_1\right)+\lambda \left(S(x_1-P\left(x_1\right),v_1)\right)+\lambda C_{A,\lambda }^M\left(x_1\right)\right],$$

and

$$y_2=(1-\beta )y_1+\beta R_{A,\rho }^N\left[A\left(y_1\right)+\rho \left(T(u_1,y_1-q\left(y_1\right))\right)+\rho C_{A,\rho }^N\left(y_1\right)\right].$$

Again by Nadler’s theorem [44], there exist $u_2\in G\left(x_2\right)$ and $v_2\in F\left(y_2\right)$ such that

$$\begin{array}{ccc}\hfill \parallel u_1-u_2\parallel & \le & (1+2^{-1}])D(G\left(x_1\right),G\left(x_2\right)),\hfill \\ \hfill \parallel v_1-v_2\parallel & \le & (1+2^{-1})D(F\left(y_1\right),F\left(y_2\right)).\hfill \end{array}$$

In a similar way, we can compute the sequences $\left\{x_n\right\},\left\{y_n\right\},\left\{u_n\right\}$ and $\left\{v_n\right\}$ by the following scheme:

$$x_{n+1}=(1-\alpha )x_n+\alpha R_{A,\lambda }^M\left[A\left(x_n\right)+\lambda \left(S(x_n-P\left(x_n\right),v_n)\right)+\lambda C_{A,\lambda }^M\left(x_n\right)\right],$$

(8)

and

$$y_{n+1}=(1-\beta )y_n+\beta R_{A,\rho }^N\left[A\left(y_n\right)+\rho \left(T(u_n,y_n-q\left(y_n\right))\right)+\rho C_{A,\rho }^N\left(y_n\right)\right],$$

(9)

for $n=0,1,2,\cdots .$

Choose $u_{n+1}\in G\left(x_{n+1}\right),v_{n+1}\in F\left(y_{n+1}\right)$ such that

$$\begin{array}{ccc}\hfill \parallel u_n-u_{n+1}\parallel & \le & \left(1+{(n+1)}^{-1}\right)D(G\left(x_{n+1}\right),G\left(x_n\right)),\hfill \end{array}$$

(10)

$$\begin{array}{ccc}\hfill \parallel v_n-v_{n+1}\parallel & \le & \left(1+{(n+1)}^{-1}\right)D(F\left(y_{n+1}\right),G\left(y_n\right)).\hfill \end{array}$$

(11)

4. Existence of Solutions and Convergence of Iterative Sequences

We prove the following existence and convergence result for problem (3).

Theorem 1.

Let E be a real ordered uniformly smooth Banach space with modulus of smoothness ${\tau }_E\left(t\right)\le \mathcal{C}{t}^2$ for some $\mathcal{C}>0$ and $C\subseteq E$ be a normal cone with normal constant ${\lambda }_N$. Let $A:E\to E$; $S,T:E\times E\to E$ be single-valued mappings such that A is strongly comparison and ${\beta }^{\prime }$-ordered compression mapping; S is Lipschitz continuous in both the arguments with constant ${\lambda }_{S_1}$ and ${\lambda }_{S_2}$, respectively; T is Lipschitz continuous in both the arguments with constant ${\lambda }_{T_1}$ and ${\lambda }_{T_2}$, respectively. Let $F,G:E\to CB\left(E\right)$ be multi-valued mappings such that F is ${\lambda }_{D_F}$-D-Lipschitz continuous and G is ${\lambda }_{G_D}$-D-Lipschitz continuous. Suppose that $P,q:E\to E$ be single-valued mappings such that P is ${\delta }_P$-strongly accretive and ${\lambda }_P$-Lipschitz continuous; q is ${\delta }_q$-strongly accretive and ${\lambda }_q$-Lipschitz continuous. Let $M:E\to 2^E$ be $({\alpha }_M,\lambda )$-XOR-NODSM mapping and $N:E\to 2^E$ be $({\alpha }_N,\rho )$-XOR-NODSM mapping. Suppose that the resolvent operators $R_{A,\lambda }^M,R_{A,\rho }^N:E\to E$ are θ-Lipschitz-type continuous and ${\theta }^{{}^{\prime }}$-Lipschitz-type continuous, respectively, and the Cayley operators $C_{A,\lambda }^M,C_{A,\rho }^M:E\to E$ are $(2\theta +1)$ and $(2{\theta }^{\prime }+1)$-Lipschitz-type continuous, respectively. Let $x_{n+1}\propto x_n,$ $y_{n+1}\propto y_n$ and for some $\lambda ,\rho >0$ the following conditions are satisfied:

$$\begin{array}{ccc}\hfill 0& <& {\lambda }_N\left[1-\alpha (1-{\beta }^{\prime }\theta )+\alpha \theta \lambda {\lambda }_{S_1}B\left(P\right)+\alpha \theta \lambda (2\theta +1)+\beta {\theta }^{\prime }\rho {\lambda }_{T_1}{\lambda }_{G_D}\right]<1,\hfill \end{array}$$

(12)

$$\begin{array}{ccc}\hfill 0& <& {\lambda }_N\left[1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })+\beta {\theta }^{\prime }\rho {\lambda }_{T_2}B\left(q\right)+\beta {\theta }^{\prime }\rho (2{\theta }^{\prime }+1)+\alpha \theta \lambda {\lambda }_{S_2}{\lambda }_{D_F}\right]<1,\hfill \end{array}$$

(13)

where

$$\begin{array}{ccc}\hfill B\left(P\right)& =& \sqrt{1-2{\delta }_P+64\mathcal{C}{{\lambda }_P}^2},\hfill \end{array}$$

(14)

$$\begin{array}{ccc}\hfill B\left(q\right)& =& \sqrt{1-2{\delta }_q+64\mathcal{C}{{\lambda }_q}^2},\hfill \end{array}$$

(15)

$$\begin{array}{ccc}\hfill \theta & =& \frac{1}{{\alpha }_M\lambda \oplus {\beta }^{\prime }},\hfill \end{array}$$

(16)

$$\begin{array}{ccc}\hfill {\theta }^{\prime }& =& \frac{1}{{\alpha }_N\rho \oplus {\beta }^{\prime }}.\hfill \end{array}$$

(17)

Then, the system of multi-valued mixed variational inclusions with XOR-operation ⊕ (3) have a solution $(x,y,u,v),$ where $x,y\in E,u\in G\left(x\right),v\in F\left(y\right)$ such that $x_n\to x,y_n\to y,u_n\to u$ and $v_n\to v$ strongly, where $\left\{x_n\right\},\left\{y_n\right\},\left\{u_n\right\}$ and $\left\{v_n\right\}$ are the sequences generated by Algorithm 1.

Proof. 

As $x_{n+1}\propto x_n$, using $\left(iii\right)$ of Proposition 2 and (8) of Algorithm 1, we have

$$\begin{array}{ccc}\hfill 0\le x_{n+1}\oplus x_n& =& \left[(1-\alpha )x_n+\alpha R_{A,\lambda }^M\left[A\left(x_n\right)+\lambda S(x_n-P\left(x_n\right),v_n)+\lambda C_{A,\lambda }^M\left(x_n\right)\right]\right]\hfill \\ & & \oplus \left[(1-\alpha )x_{n-1}+\alpha R_{A,\lambda }^M\left[A\left(x_{n-1}\right)+\lambda S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})+\lambda C_{A,\lambda }^M\left(x_{n-1}\right)\right]\right]\hfill \\ & =& (1-\alpha )(x_n\oplus x_{n-1})+\alpha R_{A,\lambda }^M\left[A\left(x_n\right)+\lambda S(x_n-P\left(x_n\right),v_n)+\lambda C_{A,\lambda }^M\left(x_n\right)\right]\hfill \\ & & \oplus \alpha R_{A,\lambda }^M\left[A\left(x_{n-1}\right)+\lambda S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})+\lambda C_{A,\lambda }^M\left(x_{n-1}\right)\right].\hfill \end{array}$$

(18)

Since the resolvent operator $R_{A,\lambda }^M$ is Lipschitz-type-continuous with constant $\theta$ and A is ${\beta }^{\prime }$-compression mapping, we evaluate

$$\begin{array}{cc}\hfill & (1-\alpha )(x_n\oplus x_{n-1})+\alpha R_{A,\lambda }^M\left[A\left(x_n\right)+\lambda S(x_n-P\left(x_n\right),v_n)+\lambda C_{A,\lambda }^M\left(x_n\right)\right]\hfill \\ \hfill & \oplus \alpha R_{A,\lambda }^M\left[A\left(x_{n-1}\right)+\lambda S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})+\lambda C_{A,\lambda }^M\left(x_{n-1}\right)\right]\hfill \\ \le & (1-\alpha )(x_n\oplus x_{n-1})+\alpha \theta \{\left[A\left(x_n\right)+\lambda S(x_n-P\left(x_n\right),v_n)+\lambda C_{A,\lambda }^M\left(x_n\right)\right]\hfill \\ \hfill & \oplus \left[A\left(x_{n-1}\right)+\lambda S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})+\lambda C_{A,\lambda }^M\left(x_{n-1}\right)\right]\}\hfill \\ \hfill =& (1-\alpha )(x_n\oplus x_{n-1})+\alpha \theta \left[A\left(x_n\right)\oplus A\left(x_{n-1}\right)\right]+\alpha \theta \lambda \left[S(x_n-P\left(x_n\right),v_n)\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\right]\hfill \\ & +\alpha \theta \lambda \left[C_{I,\lambda }^M\left(x_n\right)\oplus C_{A,\lambda }^M\left(x_{n-1}\right)\right]\hfill \\ \le & (1-\alpha )(x_n\oplus x_{n-1})+\alpha \theta {\beta }^{\prime }\left[x_n\oplus x_{n-1}\right]+\alpha \theta \lambda \left[S(x_n-P\left(x_n\right),v_n)\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\right]\hfill \\ \hfill & +\alpha \theta \lambda \left[C_{A,\lambda }^M\left(x_n\right)\oplus C_{A,\lambda }^M\left(x_{n-1}\right)\right].\hfill \end{array}$$

(19)

Combining (18) and (19), we have

$$\begin{array}{ccc}\hfill 0\le x_{n+1}\oplus x_n& \le & (1-\alpha )(x_n\oplus x_{n-1})+\alpha \theta {\beta }^{\prime }[x_n\oplus x_{n-1}]\hfill \\ & & +\alpha \theta \lambda \left[S(x_n-P\left(x_n\right),v_n)\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\right]\hfill \\ & & +\alpha \theta \lambda \left[C_{A,\lambda }^M\left(x_n\right)\oplus C_{A,\lambda }^M\left(x_{n-1}\right)\right].\hfill \end{array}$$

(20)

Using (iii) of Proposition 3 and (20), we have

$$\begin{array}{ccc}\hfill \parallel x_{n+1}\oplus x_n\parallel & \le & {\lambda }_N\parallel [1-\alpha (1-{\beta }^{\prime }\theta )](x_n\oplus x_{n-1})\hfill \\ & & +\alpha \theta \lambda [S(x_n-P\left(x_n\right),v_n)\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})]\hfill \\ & & +\alpha \theta \lambda [C_{A,\lambda }^M\left(x_n\right)\oplus C_{A,\lambda }^M\left(x_{n-1}\right)]\parallel \hfill \\ & \le & {\lambda }_N[1-\alpha (1-{\beta }^{\prime }\theta )]\parallel x_n\oplus x_{n-1}\parallel \hfill \\ & & +{\lambda }_N\alpha \theta \lambda \parallel S(x_n-P\left(x_n\right),v_n)\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\parallel \hfill \\ & & +{\lambda }_N\alpha \theta \lambda ∥C_{A,\lambda }^M\left(x_n\right)\oplus C_{A,\lambda }^M\left(x_{n-1}\right)∥.\hfill \end{array}$$

(21)

Using the Lipschitz continuity of S in both the arguments with constants ${\lambda }_{s_1}$ and ${\lambda }_{s_2}$, respectively, and using (iii) of Proposition 3, we obtain

$$\begin{array}{cc}\hfill & \parallel S(x_n-P\left(x_n\right),v_n)\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\parallel \hfill \\ =& \parallel S(x_n-P\left(x_n\right),v_n)\oplus S(x_n-P\left(x_n\right),v_{n-1})\hfill \\ \hfill & \oplus S(x_n-P\left(x_n\right),v_{n-1})\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\parallel \hfill \\ \le & \parallel [S(x_n-P\left(x_n\right),v_n)\oplus S(x_n-P\left(x_n\right),v_{n-1})]\hfill \\ \hfill & -[S(x_n-P\left(x_n\right),v_{n-1})\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})]\parallel \hfill \\ \le & \parallel S(x_n-P\left(x_n\right),v_n)\oplus S(x_n-P\left(x_n\right),v_{n-1})\parallel \hfill \\ \hfill & +\parallel S(x_n-P\left(x_n\right),v_{n-1})\oplus S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\parallel \hfill \\ \le & \parallel S(x_n-P\left(x_n\right),v_n)-S(x_n-P\left(x_n\right),v_{n-1})\parallel \hfill \\ \hfill & +\parallel S(x_n-P\left(x_n\right),v_{n-1})-S(x_{n-1}-P\left(x_{n-1}\right),v_{n-1})\parallel \hfill \\ \le & {\lambda }_{S_2}\parallel v_n-v_{n-1}\parallel +{\lambda }_{S_1}\parallel x_n-x_{n-1}-(P\left(x_n\right)-P\left(x_{n-1}\right))\parallel .\hfill \end{array}$$

(22)

Using D-Lipschitz continuity of F, we have

$$\parallel v_n-v_{n-1}\parallel \le \left(1+n^{-1}\right)D(F\left(y_n\right),F\left(y_{n-1}\right))\le \left(1+n^{-1}\right){\lambda }_{D_F}\parallel y_n-y_{n-1}\parallel .$$

(23)

Since P is strongly accretive with constant ${\delta }_p$ and Lipschitz continuous with constant ${\lambda }_p$, using the techniques of Alber and Yao [45] and Proposition 1, for $j(x_n-x_{n-1})\in J(x_n-x_{n-1})$, we have

$$\begin{array}{cc}\hfill & \parallel x_n-x_{n-1}-(P\left(x_n\right)-P\left(x_{n-1}\right)){\parallel }^2\hfill \\ \le & \parallel x_n-x_{n-1}{\parallel }^2-2⟨P\left(x_n\right)-P\left(x_{n-1}\right),j(x_n-x_{n-1}-(P\left(x_n\right)-P\left(x_{n-1}\right))⟩,\hfill \\ =& \parallel x_n-x_{n-1}{\parallel }^2-2⟨P\left(x_n\right)-P\left(x_{n-1}\right),j(x_n-x_{n-1})⟩\hfill \\ \hfill & -2⟨P\left(x_n\right)-P\left(x_{n-1}\right),j(x_n-x_{n-1}-(P\left(x_n\right)-P\left(x_{n-1}\right))-j(x_n-x_{n-1})⟩,\hfill \\ \le & \parallel x_n-x_{n-1}{\parallel }^2-2{\delta }_p{\parallel x_n-x_{n-1}\parallel }^2+4{\mathcal{C}}^2{\tau }_E\left[\frac{4\parallel P\left(x_n\right)-P\left(x_{n-1}\right)\parallel }{\mathcal{C}}\right],\hfill \\ \le & \parallel x_n-x_{n-1}{\parallel }^2-2{\delta }_p\parallel x_n-x_{n-1}{\parallel }^2+64\mathcal{C}\parallel P\left(x_n\right)-P{(x_{n-1}\parallel }^2,\hfill \\ \le & (1-2{\delta }_P+64\mathcal{C}{{\lambda }_P}^2){\parallel x_n-x_{n-1}\parallel }^2,\hfill \\ =& B^2\left(P\right){\parallel x_n-x_{n-1}\parallel }^2,\hfill \end{array}$$

(24)

where $B\left(p\right)=\sqrt{1-2{\delta }_P+64\mathcal{C}{{\lambda }_P}^2}$.

Since the Cayley operator $C_{A,\lambda }^M$ is Lipschitz-type-continuous with constant $(2\theta +1)$ and using (iii) of Proposition 3, we obtain

$$∥C_{A,\lambda }^M\left(x_n\right)\oplus C_{A,\lambda }^M\left(x_{n-1}\right)∥\le (2\theta +1)\parallel x_n\oplus x_{n-1}\parallel \le (2\theta +1)\parallel x_n-x_{n-1}\parallel ,$$

(25)

where ${\displaystyle \theta =\frac{1}{{\alpha }_N\lambda \oplus {\beta }^{\prime }}.}$

As $x_{n+1}\propto x_n$ and combining (22) to (25) with (21), we obtain

$$\begin{array}{ccc}\hfill \parallel x_{n+1}-x_n\parallel & \le & {\lambda }_N[1-\alpha (1-{\beta }^{\prime }\theta )]\parallel x_n-x_{n-1}\parallel +{\lambda }_N\alpha \theta \lambda \{{\lambda }_{S_2}\left(1+n^{-1}\right){\lambda }_{D_F}\parallel y_n-y_{n-1}\parallel \hfill \\ & & +{\lambda }_{S_1}B\left(P\right)\parallel x_n-x_{n-1}\parallel \}+{\lambda }_N\alpha \theta \lambda (2\theta +1)\parallel x_n-x_{n-1}\parallel \hfill \\ & =& {\lambda }_N[1-\alpha (1-{\beta }^{\prime }\theta )+\alpha \theta \lambda {\lambda }_{S_1}B\left(P\right)+\alpha \theta \lambda (2\theta +1)]\parallel x_n-x_{n-1}\parallel \hfill \\ & & +{\lambda }_N\alpha \theta \lambda {\lambda }_{S_2}\left(1+n^{-1}\right){\lambda }_{D_F}\parallel y_n-y_{n-1}\parallel .\hfill \end{array}$$

(26)

As $y_{n+1}\propto y_n$, using $\left(iii\right)$ of Proposition 2 and (9) of Algorithm 1, we have

$$\begin{array}{ccc}\hfill 0\le y_{n+1}\oplus y_n& =& \left[(1-\beta )y_n+\beta R_{A,\rho }^N\left[A\left(y_n\right)+\rho T(u_n,y_n-q\left(y_n\right))+\rho C_{A,\rho }^N\left(y_n\right)\right]\right]\hfill \\ \hfill & \hfill & \oplus \left[(1-\beta )y_{n-1}+\beta R_{A,\rho }^N\left[A\left(y_{n-1}\right)+\rho T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))+\rho C_{A,\rho }^N\left(y_{n-1}\right)\right]\right]\hfill \\ \hfill & =& (1-\beta )(y_n\oplus y_{n-1})+\beta R_{A,\rho }^N\left[A\left(y_n\right)+\rho T(u_n,y_n-q\left(y_n\right))+\rho C_{A,\rho }^N\left(y_n\right)\right]\hfill \\ \hfill & \hfill & \oplus \beta R_{A,\rho }^N\left[A\left(y_{n-1}\right)+\rho T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))+\rho C_{A,\rho }^N\left(y_{n-1}\right)\right].\hfill \end{array}$$

(27)

Since the resolvent operator $R_{A,\rho }^M$ is Lipschitz-type-continuous with constant ${\theta }^{\prime }$ and A is ${\beta }^{\prime }$-compression mapping, we evaluate

$$\begin{array}{cc}\hfill & (1-\beta )(y_n\oplus y_{n-1})+\beta R_{A,\rho }^N\left[A\left(y_n\right)+\rho T(u_n,y_n-q\left(y_n\right))+\rho C_{A,\rho }^N\left(y_n\right)\right]\hfill \\ \hfill & \oplus \beta R_{A,\rho }^N\left[A\left(y_{n-1}\right)+\rho T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))+\rho C_{A,\rho }^N\left(y_{n-1}\right)\right]\hfill \\ \le & (1-\beta )(y_n\oplus y_{n-1})+\beta {\theta }^{\prime }\{\left[A\left(y_n\right)+\rho T(u_n,y_n-q\left(y_n\right))+\rho C_{A,\rho }^N\left(y_n\right)\right]\hfill \\ \hfill & \oplus A\left(y_{n-1}\right)+\rho T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))+\rho C_{A,\rho }^N\left(y_{n-1}\right)\}\hfill \\ =& (1-\beta )(y_n\oplus y_{n-1})+\beta {\theta }^{\prime }[A\left(y_n\right)\oplus A\left(y_{n-1}\right)]\hfill \\ \hfill & +\beta {\theta }^{\prime }\rho [T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))]+\beta {\theta }^{\prime }\rho \left[C_{A,\rho }^N\left(y_n\right)\oplus C_{A,\rho }^N\left(y_{n-1}\right)\right]\hfill \\ \le & (1-\beta )(y_n\oplus y_{n-1})+\beta {\theta }^{\prime }{\beta }^{\prime }[y_n\oplus y_{n-1}]\hfill \\ \hfill & +\beta {\theta }^{\prime }\rho [T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))]+\beta {\theta }^{\prime }\rho \left[C_{A,\rho }^N\left(y_n\right)\oplus C_{A,\rho }^N\left(y_{n-1}\right)\right].\hfill \end{array}$$

(28)

Combining (27) and (28), we have

$$\begin{array}{ccc}\hfill 0\le y_{n+1}\oplus y_n& \le & (1-\beta )(y_n\oplus y_{n-1})+\beta {\theta }^{\prime }{\beta }^{\prime }[y_n\oplus y_{n-1}]\hfill \\ & & +\beta {\theta }^{\prime }\rho [T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))]\hfill \\ & & +\beta {\theta }^{\prime }\rho \left[C_{A,\rho }^N\left(y_n\right)\oplus C_{A,\rho }^N\left(y_{n-1}\right)\right].\hfill \end{array}$$

(29)

Using (iii) of Proposition 3 and (29), we have

$$\begin{array}{ccc}\hfill \parallel y_{n+1}\oplus y_n\parallel & \le & {\lambda }_N\parallel [1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })](y_n\oplus y_{n-1})\hfill \\ & & +\beta {\theta }^{\prime }\rho [T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))]\hfill \\ & & +\beta {\theta }^{\prime }\rho \left(C_{A,\rho }^N\left(y_n\right)\oplus C_{A,\rho }^N\left(y_{n-1}\right)\right)\parallel \hfill \\ & \le & {\lambda }_N\parallel [1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })](y_n\oplus y_{n-1})\parallel \hfill \\ & & +{\lambda }_N\beta {\theta }^{\prime }\rho \parallel T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))\parallel \hfill \\ & & +{\lambda }_N\beta {\theta }^{\prime }\rho ∥C_{A,\rho }^N\left(y_n\right)\oplus C_{A,\rho }^N\left(y_{n-1}\right)∥.\hfill \end{array}$$

(30)

Using Lipschitz continuity of T in both the arguments with constant ${\lambda }_{T_1}$ and ${\lambda }_{T_2}$, respectively using (iii) of Proposition 3, we obtain

$$\begin{array}{cc}\hfill & \parallel T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))\parallel \hfill \\ =& \parallel T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_n-q\left(y_n\right))\hfill \\ \hfill & \oplus T(u_{n-1},y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))\parallel \hfill \\ \le & \parallel [T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_n-q\left(y_n\right))]\hfill \\ \hfill & -[T(u_{n-1},y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))]\parallel \hfill \\ \le & \parallel T(u_n,y_n-q\left(y_n\right))\oplus T(u_{n-1},y_n-q\left(y_n\right))\parallel \hfill \\ \hfill & +\parallel T(u_{n-1},y_n-q\left(y_n\right))\oplus T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))\parallel ,\hfill \\ \le & \parallel T(u_n,y_n-q\left(y_n\right))-T(u_{n-1},y_n-q\left(y_n\right))\parallel \hfill \\ \hfill & +\parallel T(u_{n-1},y_n-q\left(y_n\right))-T(u_{n-1},y_{n-1}-q\left(y_{n-1}\right))\parallel \hfill \\ \le & {\lambda }_{T_1}\parallel u_n-u_{n-1}\parallel +{\lambda }_{T_2}\parallel y_n-y_{n-1}-(q\left(y_n\right)-q\left(y_{n-1}\right))\parallel .\hfill \end{array}$$

(31)

Using D-Lipschitz continuity of G, we have

$$\parallel u_n-u_{n-1}\parallel \le \left(1+n^{-1}\right)D(G\left(x_n\right),G\left(x_{n-1}\right))\le \left(1+n^{-1}\right){\lambda }_{G_D}\parallel x_n-x_{n-1}\parallel .$$

(32)

Since q is strongly accretive and Lipschitz continuous, using the same techniques as for (24), we have

$$\begin{array}{ccc}\hfill \parallel y_n-y_{n-1}-(q\left(y_n\right)-q\left(y_{n-1}\right)){\parallel }^2& \le & (1-2{\delta }_q+64\mathcal{C}{{\lambda }_q}^2){\parallel y_n-y_{n-1}\parallel }^2,\hfill \\ & =& B^2\left(q\right){\parallel y_n-y_{n-1}\parallel }^2,\hfill \end{array}$$

(33)

where $B\left(q\right)=\sqrt{1-2{\delta }_q+64\mathcal{C}{{\lambda }_q}^2}.$

Since the Cayley operator $C_{A,\rho }^N$ is Lipschitz-type-continuous with constant $(2{\theta }^{\prime }+1)$, we obtain

$$∥C_{A,\rho }^N\left(y_n\right)\oplus C_{A,\rho }^N\left(y_{n-1}\right)∥\le (2{\theta }^{\prime }+1)\parallel y_n\oplus y_{n-1}\parallel \le (2{\theta }^{\prime }+1)\parallel y_n-y_{n-1}\parallel ,$$

(34)

where ${\displaystyle {\theta }^{\prime }=\frac{1}{{\alpha }_N\rho \oplus {\beta }^{\prime }}.}$

As $y_{n+1}\propto y_n$ and combining (31) to (34) with (30), we have

$$\begin{array}{ccc}\hfill \parallel y_{n+1}-y_n\parallel & \le & {\lambda }_N[1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })]\parallel y_n-y_{n-1}\parallel +{\lambda }_N\beta {\theta }^{\prime }\rho \{{\lambda }_{T_1}\left(1+n^{-1}\right){\lambda }_{G_D}\parallel x_n-x_{n-1}\parallel \hfill \\ & & +{\lambda }_{T_2}B\left(q\right)\parallel y_n-y_{n-1}\parallel \}+{\lambda }_N\beta {\theta }^{\prime }\rho (2{\theta }^{\prime }+1)\parallel y_n-y_{n-1}\parallel \hfill \\ & =& {\lambda }_N[[1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })]+\beta {\theta }^{\prime }\rho {\lambda }_{T_2}B\left(q\right)+\beta {\theta }^{\prime }\rho (2{\theta }^{\prime }+1)]\parallel y_n-y_{n-1}\parallel \hfill \\ & & +{\lambda }_N\beta {\theta }^{\prime }\rho {\lambda }_{T_1}\left(1+n^{-1}\right){\lambda }_{G_D}]\parallel x_n-x_{n-1}\parallel .\hfill \end{array}$$

(35)

Combining (26) and (35), we have

$$\begin{array}{ccc}\hfill \parallel x_{n+1}-x_n\parallel +\parallel y_{n+1}-y_n\parallel & \le & \{{\lambda }_N[[1-\alpha (1-{\beta }^{\prime }\theta )]+\alpha \theta \lambda {\lambda }_{S_1}B\left(P\right)+\alpha \theta \lambda (2\theta +1)\hfill \\ & & +\beta {\theta }^{\prime }\rho {\lambda }_{T_1}\left(1+n^{-1}\right){\lambda }_{G_D}\left]\right\}\parallel x_n-x_{n-1}\parallel \hfill \\ & & +\{{\lambda }_N[[1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })]+\beta {\theta }^{\prime }\rho {\lambda }_{T_2}B\left(q\right)+\beta {\theta }^{\prime }\rho (2{\theta }^{\prime }+1)\hfill \\ & & +\alpha \theta \lambda {\lambda }_{S_2}\left(1+n^{-1}\right){\lambda }_{D_F}\left]\right\}\parallel y_n-y_{n-1}\parallel \hfill \\ & \le & \xi ({\theta }_n,{\theta }_n^{\prime })\{\parallel x_n-x_{n-1}\parallel +\parallel y_n-y_{n-1}\parallel \},\hfill \end{array}$$

(36)

where

$$\begin{array}{c}\hfill \xi ({\theta }_n,{\theta }_n^{\prime })=max\{\left\{{\lambda }_N[[1-\alpha (1-{\beta }^{\prime }\theta )]+\alpha \theta \lambda {\lambda }_{S_1}B\left(P\right)+\alpha \theta \lambda (2\theta +1)+\beta {\theta }^{\prime }\rho {\lambda }_{T_1}(1+n^{-1}){\lambda }_{G_D}]\right\},\\ \hfill \left\{{\lambda }_N[[1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })]+\beta {\theta }^{\prime }\rho {\lambda }_{T_2}B\left(q\right)+\beta {\theta }^{\prime }\rho (2{\theta }^{\prime }+1)+\alpha \theta \lambda {\lambda }_{S_2}(1+n^{-1}){\lambda }_{D_F}]\right\}\}.\end{array}$$

Let

$$\begin{array}{c}\hfill \xi (\theta ,{\theta }^{\prime })=max\{\left\{{\lambda }_N[[1-\alpha (1-{\beta }^{\prime }\theta )]+\alpha \theta \lambda {\lambda }_{S_1}B\left(P\right)+\alpha \theta \lambda (2\theta +1)+\beta {\theta }^{\prime }\rho {\lambda }_{T_1}{\lambda }_{G_D}]\right\},\\ \hfill \left\{{\lambda }_N[[1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })]+\beta {\theta }^{\prime }\rho {\lambda }_{T_2}B\left(q\right)+\beta {\theta }^{\prime }\rho (2{\theta }^{\prime }+1)+\alpha \theta \lambda {\lambda }_{S_2}{\lambda }_{D_F}]\right\}\}.\end{array}$$

Conditions (12) and (13) imply that $0<\xi (\theta ,{\theta }^{\prime })<1$ and so $0<\xi ({\theta }_n,{\theta }_n^{\prime })<1$, when n is sufficiently large. It follows from (36) that $\left\{x_n\right\}$ and $\left\{y_n\right\}$ are both Cauchy sequences. Thus, we can assume that $x_n\to x$ and $y_n\to y$, strongly.

It follows from (23) and (32), that $\left\{u_n\right\}$ and $\left\{v_n\right\}$ are also Cauchy sequences, we can assume that $u_n\to u$ and $v_n\to v$, strongly.

Now we shown that $u\in G\left(x\right)$ as $v\in F\left(y\right)$, since $u_n\in G\left(x_n\right)$, we have

$$\begin{array}{ccc}\hfill d(u,G(x\left)\right)& \le & \parallel u-u_n\parallel +d(u_n,G\left(x\right))\hfill \\ & \le & \parallel u-u_n\parallel +\left(1+n^{-1}\right)D(G\left(x_n\right),G\left(x\right))\hfill \\ & \le & \parallel u-u_n\parallel +\left(1+n^{-1}\right){\lambda }_{D_G}\parallel x_n-x\parallel \to 0,asn\to \infty .\hfill \end{array}$$

Hence $d(u,G(x\left)\right)\to 0$, so $u\in G\left(x\right)$ as $G\left(x\right)\in CB\left(E\right)$. Similarly, we can show that $v\in F\left(y\right)$. By Lemma 1, we conclude that $(x,y,u,v)$ is a solution to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ (3). ☐

The following example shows that all the assumptions and conditions of Theorem 1 are satisfied.

Example 1.

Let $E={\mathbb{R}}^2$ with the usual inner product and $C=[0,1]\times [0,1]\subset {\mathbb{R}}^2$ be a normal cone with normal constant ${\lambda }_N=1$. Suppose that $A:{\mathbb{R}}^2\to {\mathbb{R}}^2$, $S,T,:{\mathbb{R}}^2\times {\mathbb{R}}^2\to {\mathbb{R}}^2$, $P,q:{\mathbb{R}}^2\to {\mathbb{R}}^2$ are single valued mappings and $R_{A,\lambda }^M,R_{A,\rho }^N,C_{A,\lambda }^M,C_{A,\rho }^N:{\mathbb{R}}^2\to {\mathbb{R}}^2$ be resolvent operators and Cayley operators, respectively, for some $\lambda ,\rho >0$.

Let $F,G:{\mathbb{R}}^2\to CB\left({\mathbb{R}}^2\right)$ and $M,N:{\mathbb{R}}^2\to 2^{{\mathbb{R}}^2}$ be multi-valued mappings. Then, we define all the mappings mentioned above as:

$$\begin{array}{ccc}\hfill A\left(x\right)& =& \left(\frac{x_1}{5},\frac{x_2}{5}\right),forallx=(x_1,x_2)\in {\mathbb{R}}^2,\hfill \\ \hfill S(x,y)& =& \left(\frac{x_1}{2}+y_1,\frac{x_2}{2}+y_2\right),forallx=(x_1,x_2),y=(y_1,y_2)\in {\mathbb{R}}^2,\hfill \\ \hfill T(x,y)& =& \left(x_1+\frac{y_1}{3},x_2+\frac{y_2}{3}\right),forallx=(x_1,x_2),y=(y_1,y_2)\in {\mathbb{R}}^2,\hfill \\ \hfill P\left(x\right)& =& \left(\frac{x_1}{3},\frac{x_2}{3}\right),forallx=(x_1,x_2)\in {\mathbb{R}}^2,\hfill \\ \hfill q\left(x\right)& =& \left(\frac{x_1}{2},\frac{x_2}{2}\right),forallx=(x_1,x_2)\in {\mathbb{R}}^2,\hfill \\ \hfill M\left(x\right)& =& \left\{(2x_1,2x_2)|(x_1,x_2)\in {\mathbb{R}}^2\right\},\hfill \\ \hfill N\left(x\right)& =& \left\{(3x_1,3x_2)|(x_1,x_2)\in {\mathbb{R}}^2\right\},\hfill \\ \hfill R_{A,\lambda }^M\left(x\right)& =& \left(\frac{5x_1}{9},\frac{5x_2}{9}\right),forallx=(x_1,x_2)\in {\mathbb{R}}^2,\hfill \\ \hfill C_{A,\lambda }^M\left(x\right)& =& \left(\frac{x_1}{9},\frac{x_2}{9}\right),forallx=(x_1,x_2)\in {\mathbb{R}}^2,\hfill \\ \hfill R_{A,\rho }^N\left(x\right)& =& \left(\frac{10x_1}{13},\frac{10x_2}{13}\right),forallx=(x_1,x_2)\in {\mathbb{R}}^2,\hfill \\ \hfill C_{A,\rho }^N\left(x\right)& =& \left(\frac{7x_1}{13},\frac{7x_2}{13}\right),forallx=(x_1,x_2)\in {\mathbb{R}}^2,\hfill \\ \hfill F\left(x\right)& =& \left\{(x_1,3)|x=(x_1,x_2)\in {\mathbb{R}}^{2}suchthat0\le x_1\le 1\right\},\hfill \\ \hfill G\left(x\right)& =& \left\{(2,x_2)|x=(x_1,x_2)\in {\mathbb{R}}^{2}suchthat0\le x_2\le 1\right\}.\hfill \end{array}$$

(1) 

Clearly, A is strongly comparison mapping and

$$\begin{array}{ccc}\hfill A\left(x\right)\oplus A\left(y\right)& =& \left(\frac{x_1}{5},\frac{x_2}{5}\right)\oplus \left(\frac{y_1}{5},\frac{y_2}{5}\right)\hfill \\ & =& \frac{1}{5}(x\oplus y)\hfill \\ & \le & \frac{2}{5}(x\oplus y),forallx=(x_1,x_2)\in {\mathbb{R}}^2,y=(y_1,y_2)\in {\mathbb{R}}^2.\hfill \end{array}$$

That is, A is $\frac{2}{5}$-ordered compression mapping.

(2) 

It is easy to check that S is Lipschitz continuous in both the arguments with constants $\frac{3}{2}$ and $1,$ respectively and T is Lipschitz continuous in both the arguments with constants 1 and $\frac{1}{3}$, respectively.

(3) 

For $j(x-y)\in J(x-y)$, we calculate

$$\begin{array}{ccc}\hfill ⟨P\left(x\right)-P\left(y\right),j(x-y)⟩& =& ⟨P\left(x\right)-P\left(y\right),x-y⟩\hfill \\ & =& ⟨\left(\frac{x_1-y_1}{3},\frac{x_2-y_2}{3}\right),(x_1-y_1,x_2-y_2)⟩\hfill \\ & =& \frac{1}{3}\parallel x_1-x_2{\parallel }^2+\frac{1}{3}\parallel x_2-y_2{\parallel }^2=\frac{1}{3}{\parallel x-y\parallel }^2\hfill \\ & \ge & \frac{1}{5}{\parallel x-y\parallel }^2,\hfill \end{array}$$

and $\parallel P\left(x\right)-P\left(y\right)\parallel \le \frac{2}{3}\parallel x-y\parallel .$ Thus, P is strongly accretive with constant $\frac{1}{5}$ and Lipschitz continuous with constant $\frac{2}{3}$.

Similarly, we can show that q is strongly accretive with constant $\frac{1}{3}$ and Lipschitz continuous with constant $\frac{2}{3}$.

(4) 

One can easily show that the resolvent operators $R_{A,\lambda }^M$ is $\frac{5}{12}$-Lipschitz-type-continuous, $R_{A,\rho }^N$ is $\frac{10}{19}$-Lipschitz type continuous, the Cayley operators $C_{A,\lambda }^M$ is $\frac{11}{6}$-Lipschitz-type continuous and $C_{A,\rho }^N$ is $\frac{39}{19}$-Lipschitz-type-continuous.

Also, M is a comparison mapping and 2-non-ordinary difference mapping, N is a comparison mapping and 3-non-ordinary difference mapping.

Let $v_x=(2x_1,2x_2)\in M\left(x\right)$ and $v_y=(2y_1,2y_2)\in M\left(y\right)$, then

$$(v_x\oplus v_y)\oplus {\alpha }_M(x\oplus y)=2[(x\oplus y)\oplus (x\oplus y)]=0.$$

For $\lambda =1$, $[A\oplus \lambda M]\left({\mathbb{R}}^2\right)={\mathbb{R}}^2$ and for $\rho =\frac{1}{2}$, $[A\oplus \rho N]\left({\mathbb{R}}^2\right)={\mathbb{R}}^2$. This shows that M is $(2,1)$-XOR-NODSM mapping and N is $(3,\frac{1}{2})$-XOR-NODSM mapping.

(5) 

Clearly, F and G are D-Lipschitz continuous mappings with constants 2 and 3 respectively.

(6) 

In order to satisfy condition (12) and (13) of Theorem 1, we calculate

$$B\left(p\right)=\sqrt{1-2{\delta }_P+64\mathcal{C}{\lambda }_P^2}=\pm 1.04,for\mathcal{C}=\frac{1}{64}$$

and

$$B\left(q\right)=\sqrt{1-2{\delta }_q+64\mathcal{C}{\lambda }_q^2}=\pm 1.60,for\mathcal{C}=\frac{1}{64}.$$

We choose $B\left(p\right)=-1.04$ and $B\left(q\right)=-1.60$ and we claim that the conditions (12) and (13) are satisfied.

That is,

$$0<{\lambda }_N\left[1-\alpha (1-{\beta }^{\prime }\theta )+\alpha \theta \lambda {\lambda }_{S_1}B\left(P\right)+\alpha \theta \lambda (2\theta +1)+\beta {\theta }^{\prime }\rho {\lambda }_{T_1}{\lambda }_{G_D}\right]=0.82<1$$

and

$$0<{\lambda }_N\left[1-\beta (1-{\beta }^{\prime }{\theta }^{\prime })+\beta {\theta }^{\prime }\rho {\lambda }_{T_2}B\left(q\right)+\beta {\theta }^{\prime }\rho (2{\theta }^{\prime }+1)+\alpha \theta \lambda {\lambda }_{S_2}{\lambda }_{D_F}\right]=0.97<1.$$

Thus, all the assumptions and conditions of Theorem 1 are satisfied.