# Characterizations of weak-*ANODD* set-valued mappings with applications to an approximate solution of GNMOQV inclusions involving ⊕ operator in ordered Banach spaces

- Hong Gang Li
^{1}Email author, - Dong Qiu
^{2}and - Yang Zou
^{3}

**2013**:241

https://doi.org/10.1186/1687-1812-2013-241

© Li et al.; licensee Springer. 2013

**Received: **7 April 2013

**Accepted: **2 September 2013

**Published: **7 November 2013

## Abstract

In ordered Banach spaces, characterizations of ordered $({\alpha}_{A},\lambda )$-weak-*ANODD* set-valued mappings are introduced and studied, which is applied to giving an approximate solution for a new class of general nonlinear mixed-order quasi-variational inclusions involving ⊕ operator. By using the resolvent operator associated with an $({\alpha}_{A},\lambda )$-weak-*ANODD* set-valued mapping and fixed point theory, an existence theorem of solutions and an approximation algorithm for this kind of inclusions are established and discussed in ordered Banach spaces, and the relation between the first-valued point ${x}_{0}$ and the solution of the problems is shown. The results obtained seem to be general in nature.

**MSC:**49J40, 47H06.

### Keywords

ordered $({\alpha}_{A},\lambda )$-weak-*ANODD*set-valued mappings general nonlinear mixed-order quasi-variational inclusions involving ⊕ operator existence theorem of solutions strongly comparison mapping ordered Banach space approximate solution of GNMOQVI

## 1 Introduction

Generalized nonlinear ordered variational inequalities (ordered equations) have wide applications in many fields including, for example, mathematics, physics, optimization and control, nonlinear programming, economics, and engineering sciences.

The variational inclusion, which was introduced and studied by Hassouni and Moudafi [1], is a useful and important extension of the variational inequality. In 1989, Chang and Zhu [2] introduced and investigated a class of variational inequalities for fuzzy mappings. Afterwards, Chang and Huang [3], Ding and Jong [4], Jin [5], Li [6] and others studied several kinds of variational inequalities (inclusions) for fuzzy mappings. A generalized random multivalued quasi-complementarity problem was introduced and studied by Chang and Huang [7], and the random variational inclusion (inequalities, equalities, quasi-variational inclusions, quasi-complementarity) problems were studied by Ahmad and Bazán [8], Chang [9], Cho *et al.* [10]. In recent years, Huang and Fang [11] introduced the concept of generalized *m*-accretive mapping, studied the properties of the resolvent operator with the generalized *m*-accretive mapping; and furthermore, Huang and Fang [12] studied a class of generalized monotone mappings, maximal *η*-monotone mappings, and defined an associated resolvent operator in 2003. Using resolvent operator methods, they developed some iterative algorithms to approximate the solution of a class of general variational inclusions involving maximal *η*-monotone operators. Huang and Fang’s method extended the resolvent operator method associated with an *η*-subdifferential operator due to Ding and Luo [13]. In [14], Fang and Huang introduced another class of generalized monotone operators, *H*-monotone operators, defined an associated resolvent operator, established the Lipschitz continuity of the resolvent operator, and studied a class of variational inclusions in Hilbert spaces using the resolvent operator associated with *H*-monotone operators. In a recent paper [15], Fang, Huang and Thompson further introduced a new class of generalized monotone operators, $(H,\eta )$-monotone operators, which provided a unifying framework for classes of maximal monotone operators, maximal *η*-monotone operators, and *H*-monotone operators. Very recently, Lan *et al.* [16] introduced a new concept of $(A,\eta )$-accretive mappings, which generalized the existing monotone or accretive operators, and studied some properties of mappings. They also studied a class of variational inclusions using the resolvent operator associated with $(A,\eta )$-accretive mappings.

On the other hand, in 1972, a number of solutions of nonlinear equations were introduced and studied by Amann [17], and in recent years, the nonlinear mapping fixed point theory and application have been intensively studied in ordered Banach spaces [18–20]. Therefore, it is very important and natural that generalized nonlinear ordered variational inequalities (ordered equation) are studied and discussed.

In 2008 the author introduced and studied the approximation algorithm and the approximation solution for a class of generalized nonlinear ordered variational inequalities and ordered equations to find $x\in X$ such that $A(g(x))\ge \theta $ ($A(x)$ and $g(x)$ are single-valued mappings) in ordered Banach spaces [21]. By using the *B*-restricted-accretive method of the mapping *A* with constants ${\alpha}_{1}$, ${\alpha}_{2}$, the author introduced and studied a new class of general nonlinear ordered variational inequalities and equations to find $x\in X$ such that $A(x)\oplus F(x,g(x))\ge \theta $ ($A(x)$, $g(x)$ and $F(\cdot ,\cdot )$ are single-valued mappings), and established an existence theorem and an approximation algorithm of solutions for this kind of generalized nonlinear ordered variational inequalities (equations) in ordered Banach spaces [22]. By using the resolvent operator associated with an RME set-valued mapping, the author introduced and studied a class of nonlinear inclusion problems for ordered MR set-valued mappings to find $x\in X$ such that $0\in M(x)$ ($M(x)$ is a set-valued mapping), and the existence theorem of solutions and an approximation algorithm for this kind of nonlinear inclusion problems for ordered extended set-valued mappings in ordered Hilbert spaces [23]. In 2012, the author introduced and studied a class of nonlinear inclusion problems to find $x\in X$ such that $0\in M(x)$ ($M(x)$ is a set-valued mapping) for ordered $(\alpha ,\lambda )$-*NODM* set-valued mappings, and then, applying the resolvent operator associated with $(\alpha ,\lambda )$-*NODM* set-valued mappings, established the existence theorem on the solvability and a general algorithm applied to the approximation solvability of the nonlinear inclusion problem of this class of nonlinear inclusion problems, based on the existence theorem and the new $(\alpha ,\lambda )$-*NODM* model in an ordered Hilbert space [24]. In Banach spaces, the author proved sensitivity analysis of the solution for a new class of general nonlinear ordered parametric variational inequalities to find $x=x(\lambda ):\mathrm{\Omega}\to X$ such that $A(g(x,\lambda ),\lambda )+f(x,\lambda )\ge \theta $ ($A(x)$, $g(x)$ and $F(\cdot ,\cdot )$ are single-valued mappings) in 2012 [25]. In this field, the obtained results seem to be general in nature. Now, it is of excellent interest that we are studying the characterizations of ordered $({\alpha}_{A},\lambda )$-weak-*ANODD* set-valued mappings, which is applied to solving an approximate solution for a new class of general nonlinear mixed-order quasi-variational inclusions involving ⊕ operator in ordered Banach spaces. For details, we refer the reader to [1–48] and the references therein.

*X*be a real ordered Banach space with a norm $\parallel \cdot \parallel $, a zero

*θ*, a normal cone

**P**, a normal constant

*N*and a partial ordered relation ≤ defined by the cone

**P**[21]. Let $f:X\to X$ be a single-valued ordered compression mapping, and let $M:X\to {2}^{X}$ and

be two set-valued mappings. We consider the following problem:

Problem (1.1) is called a general nonlinear mixed-order quasi-variational inclusions (GNMOQVI) involving ⊕ operator in an ordered Banach space.

In recent years, the nonlinear mapping fixed point theory and its applications have been intensively studied in ordered Banach spaces [21–26]. And very recently, the author introduced and studied the approximation theory, the approximation algorithm and the approximation solution for generalized nonlinear ordered variational inequalities (ordered equations, inclusion problems) in ordered Hilbert spaces or ordered Banach spaces [21–25].

Inspired by recent research work in this field, we introduce a new class of general nonlinear mixed-order quasi-variational inclusion problems involving ⊕ operator in an ordered Banach space. By using the resolvent operator techniques [27–37, 44, 45, 48] associated with an ordered $(\alpha ,\lambda )$-weak-*ANODD* set-valued mapping with a strongly comparison mapping *A*, an existence theorem of solutions and an approximation algorithm for this kind of problems are studied, and the relation between the first-valued point ${x}_{0}$ and the solution of the problems is discussed. The results obtained seem to be general in nature.

## 2 Preliminaries

Let *X* be a real ordered Banach space with a norm $\parallel \cdot \parallel $, a zero *θ*, a normal cone **P**, a normal constant *N* and a partial ordered relation ≤ defined by the cone **P**. For arbitrary $x,y\in X$, $\mathit{lub}\{x,y\}$ and $\mathit{glb}\{x,y\}$ express the least upper bound of the set $\{x,y\}$ and the greatest lower bound of the set $\{x,y\}$ on the partial ordered relation ≤, respectively. Suppose that $\mathit{lub}\{x,y\}$ and $\mathit{glb}\{x,y\}$ exist. Let us recall some concepts and results.

*X*be a real Banach space with a norm $\parallel \cdot \parallel $,

*θ*be a zero element in

*X*.

- (i)
A nonempty closed convex subset

**P**of*X*is said to be a cone if - (1)
for any $x\in \mathbf{P}$ and any $\lambda >0$, $\lambda x\in \mathbf{P}$ holds,

- (2)
if $x\in \mathbf{P}$ and $-x\in \mathbf{P}$, then $x=\theta $;

- (ii)
**P**is said to be a normal cone if and only if there exists a constant $N>0$, a normal constant of**P**, such that for $\theta \le x\le y$, $\parallel x\parallel \le N\parallel y\parallel $ holds; - (iii)
For arbitrary $x,y\in X$, $x\le y$ if and only if $x-y\in \mathbf{P}$;

- (iv)
For $x,y\in X$,

*x*and*y*are said to be comparative to each other if and only if $x\le y$ (or $y\le x$) holds (denoted by $x\propto y$ for $x\le y$ and $y\le x$).

**Lemma 2.2** [18]

*If* $x\propto y$, *then* $\mathit{lub}\{x,y\}$ *and* $\mathit{glb}\{x,y\}$ *exist*, $x-y\propto y-x$, *and* $\theta \le (x-y)\vee (y-x)$.

**Lemma 2.3** [18]

*If for any natural number n*, $x\propto {y}_{n}$ *and* ${y}_{n}\to {y}^{\ast}$ ($n\to \mathrm{\infty}$), *then* $x\propto {y}^{\ast}$.

*Let*

*X*

*be an ordered Banach space*,

*let*

**P**

*be a cone of*

*X*,

*let*≤

*be a relation defined by the cone*

**P**

*in Definition*2.1(iii).

*For*$x,y,v,u\in X$,

*the following relations hold*:

- (1)
*the relation*≤*in**X**is a partial ordered relation in**X*; - (2)
$x\oplus y=y\oplus x$;

- (3)
$x\oplus x=\theta $;

- (4)
$\theta \le x\oplus \theta $;

- (5)
*let**λ**be real*,*then*$(\lambda x)\oplus (\lambda y)=|\lambda |(x\oplus y)$; - (6)
*if**x*,*y*,*and**w**can be comparative to each other*,*then*$(x\oplus y)\le x\oplus w+w\oplus y$; - (7)
*let*$(x+y)\vee (u+v)$*exist*,*and if*$x\propto u,v$*and*$y\propto u,v$,*then*$(x+y)\oplus (u+v)\le (x\oplus u+y\oplus v)\wedge (x\oplus v+y\oplus u)$; - (8)
*if**x*,*y*,*z*,*w**can be compared with each other*,*then*$(x\wedge y)\oplus (z\wedge w)\le ((x\oplus z)\vee (y\oplus w))\wedge ((x\oplus w)\vee (y\oplus z))$; - (9)
*if*$x\le y$*and*$u\le v$,*then*$x+u\le y+v$; - (10)
*if*$x\propto \theta $,*then*$-x\oplus \theta \le x\le x\oplus \theta $; - (11)
*if*$x\propto y$,*then*$(x\oplus \theta )\oplus (y\oplus \theta )\le (x\oplus y)\oplus \theta =x\oplus y$; - (12)
$(x\oplus \theta )-(y\oplus \theta )\le (x-y)\oplus \theta $;

- (13)
*if*$\theta \le x$*and*$x\ne \theta $,*and*$\alpha >0$,*then*$\theta \le \alpha x$*and*$\alpha x\ne \theta $.

*Proof* (1)-(8) come from Lemma 2.5 in [21] and Lemma 2.3 in [22], and (8)-(13) directly follow from (1)-(8). □

**Definition 2.5** [24]

*X*be a real ordered Banach space, let $A:X\to X$ be a single-valued mapping, and let $M:X\to {2}^{X}$ be a set-valued mapping.

- (1)A single-valued mapping
*A*is said to be a*γ*-order non-extended mapping if there exists a constant $\gamma >0$ such that$\gamma (x\oplus y)\le A(x)\oplus A(y)\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in X;$ - (2)
A single-valued mapping

*A*is said to be a strongly comparison mapping if*A*is a comparison mapping, and $A(x)\propto A(y)$ if and only if $x\propto y$ for any $x,y\in X$.

## 3 Characterizations of ordered $(\alpha ,\lambda )$-weak-*ANODD* set-valued mappings in ordered Banach spaces

**Definition 3.1**Let

*X*be a real ordered Banach space, let $A:X\to X$ be a single-valued mapping, and let $M:X\to {2}^{X}$ be a set-valued mapping.

- (1)
A set-valued mapping

*M*is said to be a weak-comparison mapping if for any ${v}_{x}\in M(x)$, $x\propto {v}_{x}$, and if $x\propto y$, then there exist ${v}_{x}\in M(x)$ and ${v}_{y}\in M(y)$ such that ${v}_{x}\propto {v}_{y}$ ($\mathrm{\forall}x,y\in X$). - (2)A weak-comparison mapping
*M*is said to be an*α*-week-non-ordinary difference mapping with respect to*A*if for each $x,y\in X$, there exist a constant $\alpha >0$ and ${v}_{x}\in M(A(x))$ and ${v}_{y}\in M(A(y))$ such that$({v}_{x}\oplus {v}_{y})\oplus \alpha (A(x)\oplus A(y))=\theta .$ - (3)A weak-comparison mapping
*M*is said to be a*λ*-order different weak-comparison mapping with respect to*B*if there exists a constant $\lambda >0$, $\mathrm{\forall}x,y\in X$, and there exist ${v}_{x}\in M(B(x))$, ${v}_{y}\in M(B(y))$ such that$\lambda ({v}_{x}-{v}_{y})\propto x-y.$ - (4)
A weak-comparison mapping

*M*is said to be an ordered $({\alpha}_{A},\lambda )$-weak-*ANODD*mapping with respect to*B*if*M*is an*α*-weak-non-ordinary difference with respect to*A*and a*λ*-order different weak-comparison mapping with respect to*B*, and $(A+\lambda M)(X)=X$ for $\alpha ,\lambda >0$.

**Remark 3.2**Let

*X*be a real ordered Banach space, let $A:X\to X$ be a single-valued mapping, and let $M:X\to {2}^{X}$ be a set-valued mapping, then the following properties hold obviously:

- (i)
A

*λ*-order different comparison mapping must be a*λ*-order monotone mapping; - (ii)
An ordered $(\alpha ,\lambda )$-

*ANODD*mapping must be an ordered $(\alpha ,\lambda )$-*ANODM*mapping [24]; - (iii)
A comparison, an

*α*-non-ordinary difference mapping, a*λ*-order different comparison mapping, or an ordered $(\alpha ,\lambda )$-*ANODD*mapping, a set-valued mapping*M*must be a weak-comparison mapping, an*α*-weak-non-ordinary difference mapping, a*λ*-order different weak-comparison mapping, or an ordered $(\alpha ,\lambda )$-weak-*ANODD*mapping, respectively.

**Definition 3.3** [24]

*X*be a real ordered Banach space, let

**P**be a normal cone with normal constant

*N*in

*X*, let

*A*be a

*γ*-order non-extended mapping, and let

*M*be an

*α*-non-ordinary difference mapping with respect to

*A*. The resolvent operator ${J}_{M,\lambda}^{A}:X\to X$ of

*M*is defined by

where $\gamma ,\alpha ,\lambda >0$ are three constants.

**Lemma 3.4** *Let* *X* *be a real ordered Banach space*. *If* *A* *is a* *γ*-*order non*-*extended mapping*, *M* *is an* *α*-*weak*-*non*-*ordinary difference mapping with respect to* *A* *and* $\alpha \lambda \ne 1$, *then* ${M}_{\theta}=\{\theta \oplus x|x\in M\}$ *is an* *α*-*weak*-*non*-*ordinary difference mapping with respect to* *A* *and an inverse mapping* ${J}_{{M}_{\theta},\lambda}^{A}={(A+\lambda {M}_{\theta})}^{-1}$ *of* $(A+\lambda {M}_{\theta})$ *is a single*-*valued mapping* ($\alpha ,\lambda >0$), *that is*, *the resolvent operator* ${J}_{{M}_{\theta},\lambda}^{A}:X\to X$ *of* ${M}_{\theta}$ *exists*.

*Proof*Let

*X*be a real ordered Banach space, let

*A*be a

*γ*-order non-extended mapping, and let

*M*be an

*α*-weak-non-ordinary difference mapping with respect to

*A*, then for each $x,y\in X$, there exist a constant $\alpha >0$ and ${v}_{x}\in M(A(x))$ and ${v}_{y}\in M(A(y))$ such that

Therefore, ${M}_{\theta}$ is surely an *α*-weak-non-ordinary difference mapping with respect to *A*.

*x*and

*y*be two elements in ${(A+\lambda {M}_{\theta})}^{-1}(u)$. It follows that $u-A(x)\in \lambda {M}_{\theta}(x)$ and $u-A(y)\in \lambda {M}_{\theta}(y)$ from $x,y\in {(A+\lambda {M}_{\theta})}^{-1}(u)$. And

*α*-weak-non-ordinary difference mapping with respect to

*A*, and

*A*is a

*γ*-order non-extended mapping, it follows

and $A(x)\oplus A(y)=\theta $ from Lemma 2.4(5)(11)(13). It follows that $x=y$ from Definition 2.5(1). Thus ${(A+\lambda {M}_{\theta})}^{-1}(u)$ is a single-valued mapping and the resolvent operator ${J}_{{M}_{\theta},\lambda}^{A}$ of ${M}_{\theta}$ exists. The proof is completed. □

**Lemma 3.5** *Let* *X* *be a real ordered Banach space*, *let* **P** *be a normal cone with normal constant* *N* *in* *X*, *let* ≤ *be an ordered relation defined by the cone* **P**, *let the operator* ⊕ *be an* *XOR* *operator*. *If the resolvent operator* ${J}_{M,\lambda}^{A}$ *of* *M* *exists*, *and* *M* *is a* *λ*-*order different weak*-*comparison mapping with respect to* ${J}_{M,\lambda}^{A}$ *and* *A* *is a strongly comparison mapping*, *then the resolvent operator* ${J}_{M,\lambda}^{A}$ *is a comparison mapping*.

*Proof*Let

*X*be a real ordered Banach space, and let the resolvent operator ${J}_{M,\lambda}^{A}$ of

*M*exist. If $M:X\to {2}^{X}$ is a

*λ*-order different weak-comparison mapping with respect to ${J}_{M,\lambda}^{A}$, and for any $x,y\in X$, $x\propto y$, it follows from Definition 3.1(1) that there exist ${v}_{x}=\frac{1}{\lambda}(x-A({J}_{M,\lambda}^{A}(x)))\in M({J}_{M,\lambda}^{A}(x))$ and ${v}_{y}=\frac{1}{\lambda}(y-A({J}_{M,\lambda}^{A}(y)))\in M({J}_{M,\lambda}^{A}(y))$ such that $\lambda ({v}_{x}-{v}_{y})\propto x-y$. Then we have

Therefore, $A({J}_{M,\lambda}^{A}(y))\propto A({J}_{M,\lambda}^{A}(x))$ by using $\lambda ({u}_{x}-{u}_{y})-(x-y)\in \mathbf{P}$ and Lemma 2.4(1). It follows that ${J}_{M,\lambda}^{A}(y)\propto {J}_{M,\lambda}^{A}(x)$ from strong comparability of *A*. The proof is completed. □

**Lemma 3.6**

*Let*

*X*

*be a real ordered Banach space*,

*let*

**P**

*be a normal cone with normal constant*

*N*

*in*

*X*,

*and let*≤

*be an ordered relation defined by the cone*

**P**.

*Let*

*A*

*be a*

*γ*-

*order non*-

*extended mapping*,

*and*

*M*

*be an ordered*$({\alpha}_{A},\lambda )$-

*weak*-

*ANODD*

*mapping with respect to*${J}_{M,\lambda}^{A}$.

*If*${\alpha}_{A}>\frac{1}{\lambda}>0$,

*then for the resolvent operator*${J}_{M,\lambda}^{A}$,

*the following relation holds*:

*Proof* Let *X* be a real ordered Banach space, let **P** be a normal cone with normal constant *N* in *X*, and let ≤ be an ordered relation defined by the cone **P**. Let *A* be a *γ*-order non-extended mapping and *M* be an *α*-weak-non-ordinary difference mapping with respect to *A*, it follows that ${J}_{M,\lambda}^{A}$ exists from Lemma 3.5.

*M*is an ordered $({\alpha}_{A},\lambda )$-weak-

*ANODM*mapping with respect to ${J}_{M,\lambda}^{A}$, the following relation holds by Lemma 2.4(7) and the condition $({v}_{x}\oplus {v}_{y})\oplus {\alpha}_{A}(A({u}_{x})\oplus A({u}_{y}))=\theta $:

*A*is a

*γ*-order non-extended mapping and ${\alpha}_{A}>\frac{1}{\lambda}>0$, we have

The proof is completed. □

**Theorem 3.7** *Let* *X* *be a real ordered Banach space*, *let* **P** *be a normal cone with normal constant* *N* *in* *X*, *and let* ≤ *be an ordered relation defined by the cone* **P**. *Let* *A* *be a* *γ*-*order non*-*extended mapping*, *and let* *M* *be an ordered* $({\alpha}_{A},\lambda )$-*weak*-*ANODD* *mapping with respect to* ${J}_{M,\lambda}^{A}$. *If* ${\alpha}_{A}>\frac{1}{\lambda}>0$, *then the resolvent operator* ${J}_{M,\lambda}^{A}$ *is continuous*.

*Proof*Let

*X*be a real ordered Banach space, let

**P**be a normal cone with normal constant

*N*in

*X*, let ≤ be an ordered relation defined by the cone

**P**. Let

*A*be a

*γ*-order non-extended mapping, and let $M:X\to {2}^{X}$ be an ordered $({\alpha}_{A},\lambda )$-weak-

*ANODD*mapping with respect to ${J}_{M,\lambda}^{A}$. If ${\alpha}_{A}>\frac{1}{\lambda}>0$, then

holds.

Therefore, $\parallel {J}_{M,\lambda}^{A}({x}_{n})-{J}_{M,\lambda}^{A}(y)\parallel \le \frac{1}{\gamma ({\alpha}_{A}\lambda -1)}\parallel ({x}_{n}-y)\parallel $ by [21]. If ${x}_{n}\to y$, then ${J}_{M,\lambda}^{A}({x}_{n})\to {J}_{M,\lambda}^{A}(y)$ obviously. The proof is completed. □

## 4 Approximate solution for GNMOQVI problem (1.1)

In this section, we show the algorithm of approximation sequences for finding a solution of general nonlinear mixed-order quasi-variational inclusions problem (1.1) involving ⊕ operator in an ordered Banach space, and we discuss the convergence and the relation between the first-valued ${x}_{0}$ and the solution of problem (1.1) in *X*, real Banach spaces.

**Theorem 4.1**

*Let*

*X*

*be a real ordered Banach space*,

*let*

**P**

*be a normal cone with normal constant*

*N*

*in*

*X*,

*let*≤

*be an ordered relation defined by the cone*

**P**,

*and let the operator*⊕

*be an*

*XOR*

*operator*.

*Let*$A,f:X\to X$

*be two single*-

*valued ordered compression mappings and*$A\propto f$, $f\propto \theta $.

*If*

*A*

*is a*

*γ*-

*order non*-

*extended strongly comparison mapping and*${M}_{\theta}$

*is an*

*α*-

*weak*-

*non*-

*ordinary difference mapping with respect to*

*A*,

*then inclusion problem*(1.1)

*has a solution*${x}^{\ast}\in X$

*if and only if*

*Proof* This directly follows from (1.1), Lemma 2.4, and the definition of the resolvent operator ${J}_{{M}_{\theta},\lambda}^{A}$ of ${M}_{\theta}$. □

**Theorem 4.2**

*Let*

*X*

*be a real ordered Banach space*,

*let*

**P**

*be a normal cone with normal constant*

*N*

*in the*

*X*,

*and let*≤

*be an ordered relation defined by the cone*

**P**.

*Let*$A,f:X\to X$

*be two single*-

*valued*

*β*,

*ξ*

*ordered compression mappings*,

*respectively*,

*let*

*A*

*be a*

*γ*

*non*-

*extended strongly comparison mapping*, $A\propto f$, $f\propto \theta $,

*let*

*M*

*be a*${\alpha}_{A}$-

*weak*-

*non*-

*ordinary difference mapping with respect to*

*A*

*and*${M}_{\theta}$

*be a*

*λ*-

*order different weak*-

*comparison mapping with respect to*${J}_{{M}_{\theta},\lambda}^{A}$

*and*$(A+\lambda {M}_{\theta})(X)=X$

*for*${\alpha}_{A},\lambda >0$.

*Then*${M}_{\theta}$

*is an ordered*$({\alpha}_{A},\lambda )$-

*weak*-

*ANODD*

*mapping with respect to*${J}_{{M}_{\theta},\lambda}^{A}$.

*And if*${\alpha}_{A}>\frac{1}{\lambda}>0$

*and*

(*where* ${\alpha}_{A}\ge \gamma >0$, $\beta ,\lambda ,\xi >0$, *and they are constants*), *then a sequence* $\{{x}_{n}\}$ *converges strongly to* ${x}^{\ast}$ *solution of problem* (1.1), *which is generated by the following algorithm*:

*For any given*${x}_{0}\in X$,

*let*${x}_{1}={J}_{{M}_{\theta},\lambda}^{A}(A+\lambda w\oplus f)({x}_{0})$,

*set*

*thus the following holds*:

*Proof* Let *X* be a real ordered Banach space, let **P** be a normal cone with normal constant *N* in *X*, let ≤ be an ordered relation defined by the cone **P**. By using Lemma 3.4-Lemma 3.6 and Theorem 3.7, ${M}_{\theta}$ is an ordered $({\alpha}_{A},\lambda )$-weak-*ANODD* mapping with respect to ${J}_{{M}_{\theta},\lambda}^{A}$.

*ANODD*mapping with respect to ${J}_{{M}_{\theta},\lambda}^{A}$, $(A+\lambda {M}_{\theta})(X)=X$, and the comparability of ${J}_{{M}_{\theta},\lambda}^{A}$, we know that ${x}_{1}\propto {x}_{0}$ by Lemma 2.2. Further, we can obtain a sequence $\{{x}_{n}\}$, and ${x}_{n+1}\propto {x}_{n}$ (where $n=0,1,2,\cdot ,\cdot ,\cdot $). Using Lemma 2.4 and (2) in Lemma 3.6, we have

*X*. Let ${x}_{n}\to {x}^{\ast}$ as $n\to \mathrm{\infty}({x}^{\ast}\in X)$. By the conditions, we can have

holds. This completes the proof. □

**Remark 4.3** Though the method of solving the problem by the resolvent operator is the same as that in [31–37], or [47] for the nonlinear inclusion problem, but the character of an ordered $({\alpha}_{A},\lambda )$-*ANODD* set-valued mapping is different from the one of an $(A,\eta )$-accretive mapping [31–37], or an $(A,\eta )$-maximal monotone mapping [47].

## Declarations

### Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant No. 11201512) and the Natural Science Foundation Project of CQ CSTC (cstc2012jjA00001).

## Authors’ Affiliations

## References

- Hassouni A, Moudafi A: A perturbed algorithms for variational inequalities.
*J. Math. Anal. Appl.*2001, 185: 706–712.MathSciNetView ArticleGoogle Scholar - Chang SS, Zhou HY: On variational inequalities for fuzzy mappings.
*Fuzzy Sets Syst.*1989, 32: 359–367. 10.1016/0165-0114(89)90268-6View ArticleGoogle Scholar - Chang SS, Huang NJ: Generalized complementarity problem for fuzzy mappings.
*Fuzzy Sets Syst.*1993, 55: 227–234. 10.1016/0165-0114(93)90135-5MathSciNetView ArticleGoogle Scholar - Ding XP, Jong YP: A new class of generalized nonlinear implicit quasivariational inclusions with fuzzy mappings.
*J. Comput. Appl. Math.*2002, 138: 243–257. 10.1016/S0377-0427(01)00379-XMathSciNetView ArticleGoogle Scholar - Jin MM: Generalized nonlinear implicit quasi-variational inclusions with relaxed monotone mappings.
*Adv. Nonlinear Var. Inequal.*2004, 7(2):173–181.MathSciNetGoogle Scholar - Li HG:Iterative algorithm for a new class of generalized nonlinear fuzzy set-valued variational inclusions involving $(H,\eta )$-monotone mappings.
*Adv. Nonlinear Var. Inequal.*2007, 10(1):89–100.MathSciNetGoogle Scholar - Chang SS, Huang NJ: Generalized random multivalued quasi-complementarity problem.
*Indian J. Math.*1993, 33: 305–320.MathSciNetGoogle Scholar - Ahmad R, Bazán FF: An iterative algorithm for random generalized nonlinear mixed variational inclusions for random fuzzy mappings.
*Appl. Math. Comput.*2005, 167: 1400–1411. 10.1016/j.amc.2004.08.025MathSciNetView ArticleGoogle Scholar - Chang SS:
*Variational Inequality and Complementarity Problem Theory with Applications*. Shanghai Sci. Technol., Shanghai; 1991.Google Scholar - Cho YJ, Huang NJ, Kang SM: Random generalized set-valued strongly nonlinear implicit quasi-variational inequalities.
*J. Inequal. Appl.*2000, 5: 515–531.MathSciNetGoogle Scholar - Huang NJ, Fang YP: Generalized
*m*-accretive mappings in Banach spaces.*J. Sichuan Univ. Eng. Sci. Ed.*2001, 38(4):591–592.Google Scholar - Huang NJ, Fang YP: A new class of general variational inclusions involving maximal
*η*-monotone mappings.*Publ. Math. (Debr.)*2003, 62(1–2):83–98.MathSciNetGoogle Scholar - Ding XP, Luo CL: Perturbed proximal point algorithms for generalized quasi-variational-like inclusions.
*J. Comput. Appl. Math.*2000, 210: 153–165.MathSciNetView ArticleGoogle Scholar - Fang YP, Huang NJ:
*H*-Monotone operator and resolvent operator technique for variational inclusions.*Appl. Math. Comput.*2003, 145: 795–803. 10.1016/S0096-3003(03)00275-3MathSciNetView ArticleGoogle Scholar - Fang YP, Huang NJ, Thompson HB:A new system of variational inclusions with $(H,\eta )$-monotone operators in Hilbert spaces.
*Comput. Math. Appl.*2005, 49: 365–374. 10.1016/j.camwa.2004.04.037MathSciNetView ArticleGoogle Scholar - Lan HY, Cho YJ, Verma RU:Nonlinear relaxed cocoercive inclusions involving $(A,\eta )$-accretive mappings in Banach spaces.
*Comput. Math. Appl.*2006, 51: 1529–1538. 10.1016/j.camwa.2005.11.036MathSciNetView ArticleGoogle Scholar - Amann H: On the number of solutions of nonlinear equations in ordered Banach space.
*J. Funct. Anal.*1972, 11: 346–384. 10.1016/0022-1236(72)90074-2MathSciNetView ArticleGoogle Scholar - Du YH: Fixed points of increasing operators in ordered Banach spaces and applications.
*Appl. Anal.*1990, 38: 1–20. 10.1080/00036819008839957MathSciNetView ArticleGoogle Scholar - Ge DJ, Lakshmikantham V: Couple fixed points of nonlinear operators with applications.
*Nonlinear Anal. TMA*1987, 3811: 623–632.Google Scholar - Ge DJ: Fixed points of mixed monotone operators with applications.
*Appl. Anal.*1988, 31: 215–224. 10.1080/00036818808839825MathSciNetView ArticleGoogle Scholar - Li HG: Approximation solution for generalized nonlinear ordered variational inequality and ordered equation in ordered Banach space.
*Nonlinear Anal. Forum*2008, 13(2):205–214.MathSciNetGoogle Scholar - Li H-g: Approximation solution for a new class of general nonlinear ordered variational inequalities and ordered equations in ordered Banach space.
*Nonlinear Anal. Forum*2009, 14: 89–97.MathSciNetGoogle Scholar - Li H-g: Nonlinear inclusion problem for ordered RME set-valued mappings in ordered Hilbert space.
*Nonlinear Funct. Anal. Appl.*2011, 16(1):1–8.Google Scholar - Li H-g: Nonlinear inclusion problem involving $(\alpha ,\lambda )$ -
*NODM*set-valued mappings in ordered Hilbert space.*Appl. Math. Lett.*2012, 25: 1384–1388. 10.1016/j.aml.2011.12.007MathSciNetView ArticleGoogle Scholar - Li H-g: Sensitivity analysis for general nonlinear ordered parametric variational inequality with restricted-accretive mapping in ordered Banach space.
*Nonlinear Funct. Anal. Appl.*2011, 17(1):109–118.Google Scholar - Schaefer HH:
*Banach Lattices and Positive Operators*. Springer, Berlin; 1974.View ArticleGoogle Scholar - Lan HY, Cho YJ, Verma RU:On nonlinear relaxed cocoercive inclusions involving $(A,\eta )$-accretive mappings in Banach spaces.
*Comput. Math. Appl.*2006, 3151: 1529–1538.MathSciNetView ArticleGoogle Scholar - Li HG:Iterative algorithm for a new class of generalized nonlinear fuzzy set-valued variational inclusions involving $(H,\eta )$-monotone mappings.
*Adv. Nonlinear Var. Inequal.*2007, 10(1):89–100.MathSciNetGoogle Scholar - Li HG, Xu AJ, Jin MM:A hybrid proximal point three-step algorithm for nonlinear set-valued quasi-variational inclusions system involving $(A,\eta )$-accretive mappings.
*Fixed Point Theory Appl.*2010., 2010: Article ID 635382 10.1155/2010/635382Google Scholar - Li HG, Xu AJ, Jin MM:A Ishikawa-hybrid proximal point algorithm for nonlinear set-valued inclusions problem based on $(A,\eta )$-accretive framework.
*Fixed Point Theory Appl.*2010., 2010: Article ID 501293 10.1155/2010/501293Google Scholar - Lan HY, Cho YJ, Verma RU: On solution sensitivity of generalized relaxed cocoercive implicit quasivariational inclusions with
*A*-monotone mappings.*J. Comput. Anal. Appl.*2006, 8: 75–87.MathSciNetGoogle Scholar - Lan HY, Cho YJ, Huang N-j: Stability of iterative procedures for a class of generalized nonlinear quasi-variational-like inclusions involving maximal
*η*-monotone mappings. 6.*Fixed Point Theory Appl.*2007, 107–116.Google Scholar - Lan HY, Kim JH, Cho YJ: On a new system of nonlinear
*A*-monotone multivalued variational inclusions.*J. Math. Anal. Appl.*2007, 327: 481–493. 10.1016/j.jmaa.2005.11.067MathSciNetView ArticleGoogle Scholar - Cho YJ, Lan HY: A new class of generalized nonlinear multi-valued quasi-variational-like-inclusions with
*H*-monotone mappings.*Math. Inequal. Appl.*2007, 10: 389–401.MathSciNetGoogle Scholar - Lan HY, Kang JI, Cho YJ:Nonlinear $(A,\eta )$-monotone operator inclusion systems involving non-monotone set-valued mappings.
*Taiwan. J. Math.*2007, 11: 683–701.MathSciNetGoogle Scholar - Cho YJ, Qin XL, Shang MJ, Su YF:Generalized nonlinear variational inclusions involving $(A,\eta )$-monotone mappings in Hilbert spaces.
*Fixed Point Theory Appl.*2007., 2007: Article ID 29653Google Scholar - Cho YJ, Lan HY:Generalized nonlinear random $(A,\eta )$-accretive equations with random relaxed cocoercive mappings in Banach spaces.
*Comput. Math. Appl.*2008, 55: 2173–2182. 10.1016/j.camwa.2007.09.002MathSciNetView ArticleGoogle Scholar - Cho YJ, Qin X: Systems of generalized nonlinear variational inequalities and its projection methods.
*Nonlinear Anal.*2008, 69: 4443–4451. 10.1016/j.na.2007.11.001MathSciNetView ArticleGoogle Scholar - Alimohammady M, Balooee J, Cho YJ, Roohi M:A new system of nonlinear fuzzy variational inclusions involving $(A,\eta )$-accretive mappings in uniformly smooth Banach spaces.
*J. Inequal. Appl.*2009., 2009: Article ID 806727 10.1155/2010/806727Google Scholar - Alimohammady M, Balooee J, Cho YJ, Roohi M: Iterative algorithms for a new class of extended general nonconvex set-valued variational inequalities.
*Nonlinear Anal.*2010, 73: 3907–3923. 10.1016/j.na.2010.08.022MathSciNetView ArticleGoogle Scholar - Alimohammady M, Balooee J, Cho YJ, Roohi M: New perturbed finite step iterative algorithms for a system of extended generalized nonlinear mixed-quasi variational inclusions.
*Comput. Math. Appl.*2010, 60: 2953–2970. 10.1016/j.camwa.2010.09.055MathSciNetView ArticleGoogle Scholar - Yao Y, Cho YJ, Liou Y: Iterative algorithms for variational inclusions, mixed equilibrium problems and fixed point problems approach to optimization problems.
*Cent. Eur. J. Math.*2011, 9: 640–656. 10.2478/s11533-011-0021-3MathSciNetView ArticleGoogle Scholar - Yao Y, Cho YJ, Liou Y: Algorithms of common solutions for variational inclusions, mixed equilibrium problems and fixed point problems.
*Eur. J. Oper. Res.*2011, 212: 242–250. 10.1016/j.ejor.2011.01.042MathSciNetView ArticleGoogle Scholar - Li HG, Xu AJ, Jin MM: A hybrid proximal point three-step algorithm for nonlinear set-valued quasi-variational inclusions system involving (A,
*η*)-accretive mappings.*Fixed Point Theory Appl.*2010., 2010: Article ID 635382 10.1155/2010/635382Google Scholar - Li HG, Xu AJ, Jin MM: An Ishikawa-hybrid proximal point algorithm for nonlinear set-valued inclusions problem based on $(A,\eta )$-accretive framework.
*Fixed Point Theory Appl.*2010., 2010: Article ID 501293 10.1155/2010/501293Google Scholar - Pan XB, Li HG, Xu AJ: The over-relaxed a-proximal point algorithm for general nonlinear mixed set-valued inclusion framework.
*Fixed Point Theory Appl.*2011., 2011: Article ID 840978 10.1155/2011/840978Google Scholar - Verma RU:A hybrid proximal point algorithm based on the $(A,\eta )$-maximal monotonicity framework.
*Appl. Math. Lett.*2008, 21: 142–147. 10.1016/j.aml.2007.02.017MathSciNetView ArticleGoogle Scholar - Li HG, Qiu M: Ishikawa-hybrid proximal point algorithm for NSVI system.
*Fixed Point Theory Appl.*2012., 2012: Article ID 13663 10.1186/1687-1812-2012-195Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.