# Fixed point theorems for a class of mixed monotone operators with convexity

## Abstract

In this paper, we use partial order theory to study a class of mixed monotone operators with convexity, and we get the existence and uniqueness of fixed points without assuming the operator to be compact or continuous. Our results compliment the theory of mixed monotone operators in ordered Banach spaces.

MSC:47H10, 47H07.

## 1 Introduction and preliminaries

It is well known that mixed monotone operators were introduced by Guo and Lakshmikantham  in 1987. Thereafter many authors have investigated these kinds of operators in Banach spaces and obtained a lot of interesting and important results (see  and the references therein). Their study has not only important theoretical meaning but also wide applications in engineering, nuclear physics, biological chemistry technology, etc. That is, they are used extensively in nonlinear differential and integral equations. For a small sample of such work, we refer the reader to works [13, 1521]. However, the mixed monotone operators considered in most of these papers are concave; see [24, 711, 15, 17, 18], for instance. To our knowledge, the fixed point results on mixed monotone operators with convexity are still very few. So it is worthwhile to investigate this operator. The purpose of this paper is to establish the existence and uniqueness of fixed points for a class of mixed monotone operators with convexity. We will use partial order theory to study the mixed monotone operator with convexity and get the existence and uniqueness of fixed points without assuming the operator to be compact or continuous. Our results compliment the theory of mixed monotone operators in ordered Banach spaces.

For the discussion of the following section, we state here some definitions and notations. For convenience of readers, we suggest that one refers to [1, 2, 17, 2123] for details.

Suppose that $\left(E,\parallel \cdot \parallel \right)$ is a real Banach space which is partially ordered by a cone $P\subset E$, i.e., $x\le y$ if and only if $y-x\in P$. If $x\le y$ and $x\ne y$, then we denote $x or $y>x$. By θ we denote the zero element of E. Recall that a non-empty closed convex set $P\subset E$ is a cone if it satisfies (i) $x\in P$, $\lambda \ge 0⇒\lambda x\in P$; (ii) $x\in P$, $-x\in P⇒x=\theta$.

Further, P is called normal if there exists a constant $N>0$ such that, for all $x,y\in E$, $\theta \le x\le y$ implies $\parallel x\parallel \le N\parallel y\parallel$; in this case N is called the normality constant of P. If ${x}_{1},{x}_{2}\in E$, the set $\left[{x}_{1},{x}_{2}\right]=\left\{x\in E|{x}_{1}\le x\le {x}_{2}\right\}$ is called the order interval between ${x}_{1}$ and ${x}_{2}$. We say that an operator $A:E\to E$ is increasing if $x\le y$ implies $Ax\le Ay$.

Definition 1.1 (See [1, 2])

$A:P×P\to P$ is said to be a mixed monotone operator if $A\left(x,y\right)$ is increasing in x and decreasing in y, i.e., ${u}_{i}$, ${v}_{i}$ $\left(i=1,2\right)\in P$, ${u}_{1}\le {u}_{2}$, ${v}_{1}\ge {v}_{2}$ imply $A\left({u}_{1},{v}_{1}\right)\le A\left({u}_{2},{v}_{2}\right)$. The element $x\in P$ is called a fixed point of A if $A\left(x,x\right)=x$.

## 2 Main results

In this section we consider the existence and uniqueness of fixed points for a class of mixed monotone operators in ordered Banach spaces.

Theorem 2.1 Let E be a real Banach space and let P be a normal cone in E. $A:P×P\to P$ is a mixed monotone operator which satisfies the following:

(H1) for $t\in \left(0,1\right)$, $x,y\in P$, there exists $\alpha \left(t,x,y\right)\in \left(1,+\mathrm{\infty }\right)$ such that

$A\left(tx,y\right)\le {t}^{\alpha \left(t,x,y\right)}A\left(x,y\right);$
(2.1)

(H2) there exist ${u}_{0},{v}_{0}\in P$, $r\in \left(0,1\right)$ such that

${u}_{0}\le r{v}_{0},\phantom{\rule{2em}{0ex}}A\left({u}_{0},{v}_{0}\right)\ge {u}_{0},\phantom{\rule{2em}{0ex}}A\left({v}_{0},{u}_{0}\right)\le {v}_{0}.$
(2.2)

Then A has a unique fixed point ${u}^{\ast }$ in $\left[{u}_{0},r{v}_{0}\right]$. Moreover, constructing successively the sequences

${x}_{n}=A\left({x}_{n-1},{y}_{n-1}\right),\phantom{\rule{2em}{0ex}}{y}_{n}=A\left({y}_{n-1},{x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

for any initial values ${x}_{0},{y}_{0}\in \left[{u}_{0},r{v}_{0}\right]$, we have $\parallel {x}_{n}-{u}^{\ast }\parallel \to 0$, $\parallel {y}_{n}-{u}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$.

Remark 2.1 (i) The operator A which satisfies (H1) can be called a mixed monotone operator with convexity; (ii) from (H1), we can get $A\left(\theta ,\theta \right)=\theta$. In fact, for ${t}_{0}\in \left(0,1\right)$, $A\left(\theta ,\theta \right)=A\left({t}_{0}\theta ,\theta \right)\le {t}_{0}^{\alpha \left({t}_{0},\theta ,\theta \right)}A\left(\theta ,\theta \right)$, and thus $\left[1-{t}_{0}^{\alpha \left({t}_{0},\theta ,\theta \right)}\right]A\left(\theta ,\theta \right)\le \theta$. It follows from $A\left(\theta ,\theta \right)\ge \theta$ that $A\left(\theta ,\theta \right)=\theta$; (iii) from (2.1), we can get

$A\left(\frac{1}{t}x,y\right)\ge \frac{1}{{t}^{\alpha \left(t,\frac{1}{t}x,y\right)}}A\left(x,y\right),\phantom{\rule{1em}{0ex}}x,y\in P,t\in \left(0,1\right).$
(2.3)

Proof of Theorem 2.1 Let ${w}_{0}=r{v}_{0}$, $\epsilon ={r}^{\alpha \left(r,{v}_{0},{u}_{0}\right)-1}$. Then ${w}_{0}\ge {u}_{0}$, $\epsilon \in \left(0,1\right)$, and (2.4) (2.5)

Construct successively the sequences

$\begin{array}{c}{u}_{n}=A\left({u}_{n-1},{w}_{n-1}\right),\phantom{\rule{2em}{0ex}}{w}_{n}=A\left({w}_{n-1},{u}_{n-1}\right),\hfill \\ {w}_{n}^{\mathrm{\prime }}=\frac{1}{\epsilon }A\left({w}_{n-1}^{\mathrm{\prime }},{u}_{n-1}\right),\phantom{\rule{2em}{0ex}}{w}_{0}^{\mathrm{\prime }}={w}_{0},\phantom{\rule{1em}{0ex}}n=1,2,\dots .\hfill \end{array}$

From (2.4), (2.5) and the mixed monotonicity of A, we have

${u}_{0}\le {u}_{1}\le {u}_{2}\le \cdots \le {u}_{n}\le \cdots \le {w}_{n}\le \cdots \le {w}_{1}\le {w}_{0}.$
(2.6)

Next we prove that

${u}_{0}\le {w}_{n}^{\mathrm{\prime }}\le {w}_{0},\phantom{\rule{1em}{0ex}}n=1,2,\dots .$
(2.7)

From (2.4),

$\begin{array}{c}{w}_{1}^{\mathrm{\prime }}=\frac{1}{\epsilon }A\left({w}_{0},{u}_{0}\right)\le \frac{1}{\epsilon }\epsilon {w}_{0}={w}_{0},\hfill \\ {w}_{1}^{\mathrm{\prime }}=\frac{1}{\epsilon }A\left({w}_{0},{u}_{0}\right)\ge \frac{1}{\epsilon }A\left({u}_{0},{w}_{0}\right)\ge \frac{1}{\epsilon }{u}_{0}\ge {u}_{0},\hfill \\ {w}_{2}^{\mathrm{\prime }}=\frac{1}{\epsilon }A\left({w}_{1}^{\mathrm{\prime }},{u}_{1}\right)\le \frac{1}{\epsilon }A\left({w}_{0},{u}_{0}\right)\le \frac{1}{\epsilon }\epsilon {w}_{0}={w}_{0},\hfill \\ {w}_{2}^{\mathrm{\prime }}=\frac{1}{\epsilon }A\left({w}_{1}^{\mathrm{\prime }},{u}_{1}\right)\ge \frac{1}{\epsilon }A\left({u}_{0},{v}_{0}\right)\ge \frac{1}{\epsilon }{u}_{0}\ge {u}_{0}.\hfill \end{array}$

Suppose that when $n=k$, we have ${u}_{0}\le {w}_{k}^{\mathrm{\prime }}\le {w}_{0}$. Then, when $n=k+1$, we obtain

$\begin{array}{c}{w}_{k+1}^{\mathrm{\prime }}=\frac{1}{\epsilon }A\left({w}_{k}^{\mathrm{\prime }},{u}_{k}\right)\le \frac{1}{\epsilon }A\left({w}_{0},{u}_{0}\right)\le \frac{1}{\epsilon }\epsilon {w}_{0}={w}_{0},\hfill \\ {w}_{k+1}^{\mathrm{\prime }}=\frac{1}{\epsilon }A\left({w}_{k}^{\mathrm{\prime }},{u}_{k}\right)\ge \frac{1}{\epsilon }A\left({u}_{0},{v}_{0}\right)\ge \frac{1}{\epsilon }{u}_{0}\ge {u}_{0}.\hfill \end{array}$

By the induction method, we know that (2.7) holds. On the other hand, from (2.1),

$\begin{array}{c}{w}_{1}=A\left({w}_{0},{u}_{0}\right)=\epsilon \frac{1}{\epsilon }A\left({w}_{0},{u}_{0}\right)=\epsilon {w}_{1}^{\mathrm{\prime }},\hfill \\ {w}_{2}=A\left({w}_{1},{u}_{1}\right)=A\left(\epsilon {w}_{1}^{\mathrm{\prime }},{u}_{1}\right)\le {\epsilon }^{\alpha \left(\epsilon ,{w}_{1}^{\mathrm{\prime }},{u}_{1}\right)}A\left({w}_{1}^{\mathrm{\prime }},{u}_{1}\right)={\epsilon }^{\alpha \left(\epsilon ,{w}_{1}^{\mathrm{\prime }},{u}_{1}\right)+1}\frac{1}{\epsilon }A\left({w}_{1}^{\mathrm{\prime }},{u}_{1}\right)\le {\epsilon }^{2}{w}_{2}^{\mathrm{\prime }}.\hfill \end{array}$

Suppose that when $n=k$, we have ${w}_{k}\le {\epsilon }^{k}{w}_{k}^{\mathrm{\prime }}$. Then, when $n=k+1$, we obtain

$\begin{array}{rcl}{w}_{k+1}& =& A\left({w}_{k},{u}_{k}\right)\le A\left({\epsilon }^{k}{w}_{k}^{\mathrm{\prime }},{u}_{k}\right)\le {\left({\epsilon }^{k}\right)}^{\alpha \left({\epsilon }^{k},{w}_{k}^{\mathrm{\prime }},{u}_{k}\right)}A\left({w}_{k}^{\mathrm{\prime }},{u}_{k}\right)\\ =& {\epsilon }^{k\alpha \left({\epsilon }^{k},{w}_{k}^{\mathrm{\prime }},{u}_{k}\right)+1}\frac{1}{\epsilon }A\left({w}_{k}^{\mathrm{\prime }},{u}_{k}\right)\le {\epsilon }^{k+1}{w}_{k+1}^{\mathrm{\prime }}.\end{array}$

By the induction method, we have

${w}_{n}\le {\epsilon }^{n}{w}_{n}^{\mathrm{\prime }},\phantom{\rule{1em}{0ex}}n=1,2,\dots .$
(2.8)

By (2.6)-(2.8), we get

$\begin{array}{c}\theta \le {w}_{n}-{u}_{n}\le {\epsilon }^{n}{w}_{n}^{\mathrm{\prime }}-{u}_{n}\le {\epsilon }^{n}{w}_{n}^{\mathrm{\prime }}-{\epsilon }^{n}{u}_{n}={\epsilon }^{n}\left({w}_{n}^{\mathrm{\prime }}-{u}_{n}\right)\le {\epsilon }^{n}\left({w}_{0}-{u}_{0}\right),\hfill \\ \theta \le {u}_{n+p}-{u}_{n}\le {w}_{n}-{u}_{n},\phantom{\rule{2em}{0ex}}\theta \le {w}_{n}-{w}_{n+p}\le {w}_{n}-{u}_{n}.\hfill \end{array}$

Since P is normal, we have

Further,

Here N is the normality constant.

So, we can claim that $\left\{{u}_{n}\right\}$ and $\left\{{w}_{n}\right\}$ are Cauchy sequences. Because E is complete, there exist ${u}^{\ast },{w}^{\ast }\in P$ such that

By (2.6), we know that ${u}_{0}\le {u}_{n}\le {u}^{\ast }\le {w}^{\ast }\le {w}_{n}\le {w}_{0}$, and then

$\theta \le {w}^{\ast }-{u}^{\ast }\le {w}_{n}-{u}_{n}\le {\epsilon }^{n}\left({w}_{0}-{u}_{0}\right).$

Further, $\parallel {w}^{\ast }-{u}^{\ast }\parallel \le N{\epsilon }^{n}\parallel {w}_{0}-{u}_{0}\parallel \to 0$ (as $n\to \mathrm{\infty }$), and thus ${w}^{\ast }={u}^{\ast }$. Then we obtain

${u}_{n+1}=A\left({u}_{n},{w}_{n}\right)\le A\left({u}^{\ast },{u}^{\ast }\right)\le A\left({w}_{n},{u}_{n}\right)={w}_{n+1}.$

Let $n\to \mathrm{\infty }$, then we get $A\left({u}^{\ast },{u}^{\ast }\right)={u}^{\ast }$. That is, ${u}^{\ast }$ is a fixed point of A in $\left[{u}_{0},{w}_{0}\right]=\left[{u}_{0},r{v}_{0}\right]$.

In the following, we prove that ${u}^{\ast }$ is the unique fixed point of A in $\left[{u}_{0},{w}_{0}\right]$. Suppose that there is ${x}^{\ast }\in \left[{u}_{0},{w}_{0}\right]$ such that $A\left({x}^{\ast },{x}^{\ast }\right)={x}^{\ast }$. Then we have ${u}_{0}\le {x}^{\ast }\le {w}_{0}$. By the induction method and the mixed monotonicity of A, we have

${u}_{n+1}=A\left({u}_{n},{w}_{n}\right)\le {x}^{\ast }=A\left({x}^{\ast },{x}^{\ast }\right)\le A\left({w}_{n},{u}_{n}\right)={w}_{n+1},\phantom{\rule{1em}{0ex}}n=0,1,2,\dots .$

Then from the normality of P, we have ${x}^{\ast }={u}^{\ast }$.

Moreover, constructing successively the sequences

${x}_{n}=A\left({x}_{n-1},{y}_{n-1}\right),\phantom{\rule{2em}{0ex}}{y}_{n}=A\left({y}_{n-1},{x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

for any initial values ${x}_{0},{y}_{0}\in \left[{u}_{0},{w}_{0}\right]$, we have ${u}_{n}\le {x}_{n},{y}_{n}\le {w}_{n}$, $n=1,2,\dots$ . Letting $n\to \mathrm{\infty }$ yields ${x}_{n}\to {u}^{\ast }$, ${y}_{n}\to {u}^{\ast }$ as $n\to \mathrm{\infty }$. □

Remark 2.2 Let $\alpha \left(t,x,y\right)$ be a constant $\alpha \in \left(1,+\mathrm{\infty }\right)$, then Theorem 2.1 also holds.

Corollary 2.2 Let E be a real Banach space and let P be a normal cone in E. $A:P×P\to P$ is a mixed monotone operator which satisfies (H2) and, for $t\in \left(0,1\right)$, $x,y\in P$, there exists a constant $\alpha \in \left(1,+\mathrm{\infty }\right)$ such that $A\left(tx,y\right)\le {t}^{\alpha }A\left(x,y\right)$. Then A has a unique fixed point ${u}^{\ast }$ in $\left[{u}_{0},r{v}_{0}\right]$. Moreover, constructing successively the sequences

${x}_{n}=A\left({x}_{n-1},{y}_{n-1}\right),\phantom{\rule{2em}{0ex}}{y}_{n}=A\left({y}_{n-1},{x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

for any initial values ${x}_{0},{y}_{0}\in \left[{u}_{0},r{v}_{0}\right]$, we have $\parallel {x}_{n}-{u}^{\ast }\parallel \to 0$, $\parallel {y}_{n}-{u}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$.

From the proof of Theorem 2.1, we can easily obtain the following conclusion.

Corollary 2.3 Let E be a real Banach space and let P be a normal cone in E. $A:P\to P$ is an increasing operator which satisfies the following:

(H3) for $t\in \left(0,1\right)$, $x\in P$, there exists a constant $\alpha \in \left(1,+\mathrm{\infty }\right)$ such that $A\left(tx\right)\le {t}^{\alpha }Ax$;

(H4) there exist ${u}_{0},{v}_{0}\in P$, $r\in \left(0,1\right)$ such that ${u}_{0}\le r{v}_{0}$, $A{u}_{0}\ge {u}_{0}$, $A{v}_{0}\le {v}_{0}$.

Then A has a unique fixed point ${u}^{\ast }$ in $\left[{u}_{0},r{v}_{0}\right]$. Moreover, constructing successively the sequence

${x}_{n}=A{x}_{n-1},\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

for any initial value ${x}_{0}\in \left[{u}_{0},r{v}_{0}\right]$, we have $\parallel {x}_{n}-{u}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$.

Remark 2.3 The operator A which satisfies (H3) is called α-convex. In 1977, A.J.B. Potter introduced the definition of an α-convex operator and showed that for $\alpha \ge 0$, decreasing (−α)-convex mappings have contraction ratios less than or equal to α and gave the existence of solutions to the nonlinear eigenvalue problem $Ax=\lambda x$. The method is based upon Hilbert’s projective metric. In  Guo studied the existence and uniqueness of fixed points for (−α)-convex operators. In , we obtained the existence and uniqueness of positive fixed points for α-convex operators by means of the properties of cone, concave operators and the monotonicity of set-valued maps. Here, the result on α-convex operators is new and the method is also new and different from previous ones.

Remark 2.4 If $A:P\to P$ is an α-convex operator, then A is not a decreasing and constant operator. In fact, suppose that A is decreasing, then we have $Ax\le A\left(tx\right)\le {t}^{\alpha }Ax$, $x\in P$, $t\in \left(0,1\right)$. Hence, ${t}^{\alpha }\ge 1$, this is a contradiction. Suppose that A is a constant operator, that is, $Ax={u}_{0}\in P$. Then ${u}_{0}=A\left(tx\right)\le {t}^{\alpha }Ax={t}^{\alpha }{u}_{0}$, and thus ${t}^{\alpha }\ge 1$, this is also a contradiction.

Theorem 2.4 Let E be a real Banach space and let P be a normal cone in E. $A:P×P\to P$ is a mixed monotone operator which satisfies (2.1) and

(H5) there exist ${u}_{0},{v}_{0}\in P$, $R\in \left(1,+\mathrm{\infty }\right)$ such that

$A\left({u}_{0},{v}_{0}\right)\ge {u}_{0},\phantom{\rule{2em}{0ex}}A\left({v}_{0},{u}_{0}\right)\le {v}_{0},\phantom{\rule{2em}{0ex}}{v}_{0}\ge R{u}_{0}.$

Then the operator equation $A\left(u,u\right)=bu$ has a unique solution ${u}^{\ast }$ in $\left[R{u}_{0},{v}_{0}\right]$, where $b={R}^{\alpha \left(\frac{1}{R},R{u}_{0},{v}_{0}\right)-1}$. Moreover, constructing successively the sequences

${x}_{n}={b}^{-1}A\left({x}_{n-1},{y}_{n-1}\right),\phantom{\rule{2em}{0ex}}{y}_{n}={b}^{-1}A\left({y}_{n-1},{x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

for any initial values ${x}_{0},{y}_{0}\in \left[R{u}_{0},{v}_{0}\right]$, we have $\parallel {x}_{n}-{u}^{\ast }\parallel \to 0$, $\parallel {y}_{n}-{u}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$.

Proof Let ${w}_{0}=R{u}_{0}$. Then ${w}_{0}\le {v}_{0}$. Note that $b>1$ and from (2.3),

$\begin{array}{r}A\left({w}_{0},{v}_{0}\right)=A\left(R{u}_{0},{v}_{0}\right)\ge \frac{1}{{\left(\frac{1}{R}\right)}^{\alpha \left(\frac{1}{R},R{u}_{0},{v}_{0}\right)}}A\left({u}_{0},{v}_{0}\right)\\ \phantom{A\left({w}_{0},{v}_{0}\right)}\ge {R}^{\alpha \left(\frac{1}{R},R{u}_{0},{v}_{0}\right)}{u}_{0}={R}^{\alpha \left(\frac{1}{R},R{u}_{0},{v}_{0}\right)-1}\cdot R{u}_{0}=b{w}_{0}\ge {w}_{0},\\ A\left({v}_{0},{w}_{0}\right)=A\left({v}_{0},R{u}_{0}\right)\le A\left({v}_{0},{u}_{0}\right)\le {v}_{0}.\end{array}$

Set $B\left(x,y\right)={b}^{-1}A\left(x,y\right)$, $x,y\in P$. Then from the above inequalities, we have

$\begin{array}{r}B\left({w}_{0},{v}_{0}\right)={b}^{-1}A\left({w}_{0},{v}_{0}\right)\ge {b}^{-1}b{w}_{0}={w}_{0},\\ B\left({v}_{0},{w}_{0}\right)={b}^{-1}A\left({v}_{0},{w}_{0}\right)\le {b}^{-1}{v}_{0}\le {v}_{0}.\end{array}$
(2.9)

Also, construct successively the sequences

$\begin{array}{c}{w}_{n}=B\left({w}_{n-1},{v}_{n-1}\right),\phantom{\rule{2em}{0ex}}{v}_{n}=B\left({v}_{n-1},{w}_{n-1}\right),\hfill \\ {v}_{n}^{\mathrm{\prime }}=bB\left({v}_{n-1}^{\mathrm{\prime }},{w}_{n-1}\right),\phantom{\rule{2em}{0ex}}{v}_{0}^{\mathrm{\prime }}={v}_{0},\phantom{\rule{1em}{0ex}}n=1,2,\dots .\hfill \end{array}$

From (2.9) and the mixed monotonicity of A, we have

${w}_{0}\le {w}_{1}\le {w}_{2}\le \cdots \le {w}_{n}\le \cdots \le {v}_{n}\le \cdots \le {v}_{1}\le {v}_{0}.$

Similar to the proof of Theorem 2.1, we can prove that

${w}_{0}\le {v}_{n}^{\mathrm{\prime }}\le {v}_{0},\phantom{\rule{2em}{0ex}}{v}_{n}\le {\left(\frac{1}{b}\right)}^{n}{v}_{n}^{\prime },\phantom{\rule{1em}{0ex}}n=1,2,\dots .$

Further, by using the same method with the proof of Theorem 2.1, we can get the following conclusions: (i) B has a unique fixed point ${u}^{\ast }$ in $\left[{w}_{0},{v}_{0}\right]$; (ii) for any initial values ${x}_{0},{y}_{0}\in \left[{w}_{0},{v}_{0}\right]$, constructing successively the sequences

${x}_{n}=B\left({x}_{n-1},{y}_{n-1}\right),\phantom{\rule{2em}{0ex}}{y}_{n}=B\left({y}_{n-1},{x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

we have $\parallel {x}_{n}-{u}^{\ast }\parallel \to 0$, $\parallel {y}_{n}-{u}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$. Therefore, the operator equation $A\left(u,u\right)=bu$ has a unique solution ${u}^{\ast }$ in $\left[R{u}_{0},{v}_{0}\right]$. Moreover, constructing successively the sequences

${x}_{n}={b}^{-1}A\left({x}_{n-1},{y}_{n-1}\right),\phantom{\rule{2em}{0ex}}{y}_{n}={b}^{-1}A\left({y}_{n-1},{x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

for any initial values ${x}_{0},{y}_{0}\in \left[R{u}_{0},{v}_{0}\right]$, we have $\parallel {x}_{n}-{u}^{\ast }\parallel \to 0$, $\parallel {y}_{n}-{u}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$. □

Corollary 2.5 Let E be a real Banach space and let P be a normal cone in E. $A:P\to P$ is an increasing operator which satisfies (H3) and

(H6) there exist ${u}_{0},{v}_{0}\in P$, $R\in \left(1,+\mathrm{\infty }\right)$ such that $A{u}_{0}\ge {u}_{0}$, $A{v}_{0}\le {v}_{0}$, ${v}_{0}\ge R{u}_{0}$.

Then the operator equation $Au=bu$ has a unique solution ${u}^{\ast }$ in $\left[R{u}_{0},{v}_{0}\right]$, where $b={R}^{\alpha -1}$. Moreover, constructing successively the sequence

${x}_{n}={b}^{-1}A{x}_{n-1},\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$

for any initial value ${x}_{0}\in \left[R{u}_{0},{v}_{0}\right]$, we have $\parallel {x}_{n}-{u}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$.

## References

1. Guo D, Lakskmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11(5):623–632. 10.1016/0362-546X(87)90077-0

2. Guo D: Fixed points of mixed monotone operators with application. Appl. Anal. 1988, 34: 215–224.

3. Chen Y: Thompson’s metric and mixed monotone operators. J. Math. Anal. Appl. 1993, 177: 31–37. 10.1006/jmaa.1993.1241

4. Zhang Z: New fixed point theorems of mixed monotone operators and applications. J. Math. Anal. Appl. 1996, 204: 307–319. 10.1006/jmaa.1996.0439

5. Zhang S, Ma Y: Coupled fixed points for mixed monotone condensing operators and an existence theorem of the solution for a class of functional equations arising in dynamic programming. J. Math. Anal. Appl. 1991, 160: 468–479. 10.1016/0022-247X(91)90319-U

6. Sun Y: A fixed point theorem for mixed monotone operator with applications. J. Math. Anal. Appl. 1991, 156: 240–252. 10.1016/0022-247X(91)90394-F

7. Liang Z, Zhang L, Li S: Fixed point theorems for a class of mixed monotone operators. Z. Anal. Anwend. 2003, 22(3):529–542.

8. Wu Y, Li G: On the fixed point existence and uniqueness theorems of mixed monotone operators and applications. Acta Math. Sin. 2003, 46(1):161–166. in Chinese

9. Li K, Liang J, Xiao T: New existence and uniqueness theorems of positive fixed points for mixed monotone operators with perturbation. J. Math. Anal. Appl. 2007, 328: 753–766. 10.1016/j.jmaa.2006.04.069

10. Lian X, Li Y: Fixed point theorems for a class of mixed monotone operators with applications. Nonlinear Anal. 2007, 67: 2752–2762. 10.1016/j.na.2006.09.040

11. Wu Y, Liang Z: Existence and uniqueness of fixed points for mixed monotone operators with applications. Nonlinear Anal. 2006, 65: 1913–1924. 10.1016/j.na.2005.10.045

12. Wang W, Liu X, Cheng S: Fixed points for mixed monotone operators and applications. Nonlinear Stud. 2007, 14(2):189–204.

13. Zhang Z, Wang K: On fixed point theorems of mixed monotone operators and applications. Nonlinear Anal. 2009, 70: 3279–3284. 10.1016/j.na.2008.04.032

14. Lakshmikantham V, Ciric L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020

15. Zhao Z: Existence and uniqueness of fixed points for some mixed monotone operators. Nonlinear Anal. 2010, 73: 1481–1490. 10.1016/j.na.2010.04.008

16. Harjani J, López B, Sadarangani K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. 2011, 74: 1749–1760. 10.1016/j.na.2010.10.047

17. Zhai CB, Zhang LL: New fixed point theorems for mixed monotone operators and local existence-uniqueness of positive solutions for nonlinear boundary value problems. J. Math. Anal. Appl. 2011, 382: 594–614. 10.1016/j.jmaa.2011.04.066

18. Zhai CB, Hao MR: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value. Nonlinear Anal. 2012, 75: 2542–2551. 10.1016/j.na.2011.10.048

19. Lin X, Jiang D, Li X: Existence and uniqueness of solutions for singular fourth-order boundary value problems. J. Comput. Appl. Math. 2006, 196: 155–161. 10.1016/j.cam.2005.08.016

20. Yuan C, Jiang D, Zhang Y: Existence and uniqueness of solutions for singular higher order continuous and discrete boundary value problems. Bound. Value Probl. 2008., 2008: Article ID 123823

21. Lei P, Lin X, Jiang D: Existence and uniqueness of positive solutions for singular nonlinear elliptic boundary value problems. Nonlinear Anal. 2008, 69: 2773–2779. 10.1016/j.na.2007.08.049

22. Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, New York; 1988.

23. Zhai CB, Guo CM: On α -convex operators. J. Math. Anal. Appl. 2006, 316: 556–565. 10.1016/j.jmaa.2005.04.064

## Acknowledgements

The author was supported financially by the Youth Science Foundations of China (11201272) and Shanxi Province (2010021002-1).

## Author information

Authors

### Corresponding author

Correspondence to Chengbo Zhai.

### Competing interests

The author declares that he has no competing interests.

## Rights and permissions

Reprints and Permissions

Zhai, C. Fixed point theorems for a class of mixed monotone operators with convexity. Fixed Point Theory Appl 2013, 119 (2013). https://doi.org/10.1186/1687-1812-2013-119

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2013-119

### Keywords

• fixed point
• mixed monotone operator
• normal cone
• convexity
• α-convex operator 