# A class of *φ*-concave operators and applications

- Yanbin Sang
^{1}Email author

**2013**:274

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

© Sang; licensee Springer. 2013

**Received: **4 August 2013

**Accepted: **9 October 2013

**Published: **8 November 2013

## Abstract

In this paper, by means of the concept of *φ*-concave operators, which was introduced by Li and Liang (J. Systems Sci. Math. Sci. 14(4):355-360, 1994 (in Chinese)), we obtain some new existence and uniqueness theorems of a fixed point of mixed monotone operators with such concavity. Moreover, we apply the main theorem to a class of Hammerstein integral equations.

### Keywords

cone and partial order*φ*-concave operator mixed monotone operator fixed point

## 1 Introduction

It is well known that concave operators are a class of important operators that are extensively used in nonlinear differential and integral equations (see [1–12]). In [13], Krasnoselskii introduced in detail many important ideas and results about concave operators. A problem is that there are various concepts of concave operators, such as ${u}_{0}$-concave operators [5], ordered concave operators [1] and *α*-concave operators [7], which is somewhat confusing. We should mention that Liang *et al.* [14] proved that both ordered concave operators and *α*-concave operators are ${u}_{0}$-concave operators and gave necessary and sufficient conditions on which ${u}_{0}$-concave operators have a unique fixed point. Furthermore, Zhai *et al.* [11] considered an operator equation with general *α*-concave or homogeneous operator, their results improved previous results (see Corollary 3.3 in [7]).

We note that Li and Liang [15] introduced the definition of *φ*-concave operator, which provided a general method to copy with such a class of operators together. Furthermore, [8, 9] extended the concept of *φ*-concave operator to *ϕ*-concave$(-\psi )$ convex operators. In [12], Zhao weakened some conditions and strengthened the conclusions. Mixed monotone operators were introduced by Guo and Lakshmikantham [16] in 1987. Thereafter, many authors have focused on various existence (and uniqueness) theorems of fixed points for mixed monotone operators; for details, see [8, 9, 13, 16–33] and references therein. In [20], Bhaskar and Lakshmikantham established some coupled fixed point theorems for mixed monotone operators in partially ordered metric spaces and discussed the existence and uniqueness of a solution for a periodic boundary value problem. Instead of using a direct proof as in [20], Drici *et al.* [22] employed the notion of reflection operator and investigated fixed point theorems for mixed monotone operators by weakening the requirements in the contractive assumption and strengthening the metric space utilized with a partial order. Sintunavarat and Kumam [34] extended classical coupled fixed point theorems of Bhaskar and Lakshmikantham [20] to the coupled common fixed point theorems for mappings satisfying a new non-commuting condition. These theorems are generalizations of the results of [20]. Furthermore, Harjani *et al.* [25] improved the main results of [22] using the altering distance functions. Sintunavarat *et al.* [35] established some coupled fixed point theorems for a contraction mapping induced by the cone ball metric in partially ordered spaces and also discussed the condition claim of the uniqueness of a coupled fixed point. Very recently, Chandok *et al.* [21] were concerned with some coupled coincidence point theorems for a pair of mappings having a mixed *g*-monotone property in partially ordered *G*-metric spaces. Also, they presented a result on the existence and uniqueness of coupled common fixed points. In [19], the authors introduced the concept of *W*-compatible mappings. Based on this notion, a tripled coincidence point and a common tripled fixed point for mappings $F:X\times X\times X\to X$ and $g:X\to X$ were obtained, where $(X,d)$ is a cone metric space. We should point out that their results do not rely on the assumption of normality condition of the cone.

On the other hand, there is much attention paid to mixed monotone operators with certain concavity and convexity; for example, see [8, 9, 23, 24, 27, 28, 30–33]. In [32], Zhang and Wang modified the methods in [30, 31] to obtain some new existence and uniqueness results of a positive fixed point of mixed monotone operators. Recently, in [29], Zhai and Zhang presented a new fixed point theorem for a class of general mixed monotone operators, which extends the existing corresponding results. Moreover, they investigated some pleasant results of nonlinear eigenvalue problems with mixed monotone properties. Based on them, the local existence-uniqueness of positive solutions for nonlinear boundary value problems which include Neumann boundary value problems, three-point boundary value problems and elliptic boundary value problems for Lane-Emden-Fowler equations was proved.

In this paper, by means of the concept of *φ*-concave operator, some new theorems of fixed points of mixed monotone operators with such concavity are obtained. Our theorems unify and extend some previous results, then we apply these results in discussing a class of Hammerstein integral equations and give the new condition for determining the unique solution to this equation.

## 2 Preliminaries

*E*be a real Banach space. A nonempty convex closed set

*P*is called a cone if it satisfies the following conditions:

- (i)
$x\in P$, $\lambda \ge 0$ implies $\lambda x\in P$;

- (ii)
$x\in P$ and $-x\in P$ imply $x=\theta $, where

*θ*denotes the zero element of*E*.

*E*be partially ordered by a cone

*P*of

*E*,

*i.e.*, $x\le y$, if and only if $y-x\in P$ for any $x,y\in E$. Recall that the cone

*P*is said to be solid if the interior ${P}^{\circ}$ is nonempty, and

*P*is said to be normal if there exists a positive constant

*M*such that $\theta \le x\le y$ ($x,y\in E$) implies $\parallel x\parallel \le M\parallel y\parallel $, where

*M*is the normal constant of

*P*. Let $D\subset E$. An operator $A:D\times D\to E$ is said to be mixed monotone if $A(x,y)$ is nondecreasing in

*x*and nonincreasing in

*y*, that is, for any $x,y\in D$,

*A*if it satisfies $A({x}^{\ast},{x}^{\ast})={x}^{\ast}$. $A:D\subset E\to E$ is said to be convex if for $x,y\in D$ with $x\le y$ and each $t\in [0,1]$, we have

*A* is said to be concave if −*A* is convex.

Let $h>\theta $, write ${P}_{h}=\{x\in E\mid \mathrm{\exists}\lambda ,\mu >0,\text{such that}\lambda h\le x\le \mu h\}$.

*e*-concave if it satisfies the following two conditions:

- (i)
*A*is*e*-positive,*i.e.*, $A(P-\{\theta \})\subset {P}_{e}$; - (ii)$\mathrm{\forall}x\in {P}_{e}$, $\mathrm{\forall}0<t<1$, $\mathrm{\exists}\eta =\eta (t,x)>0$ such that$A(tx)\ge (1+\eta )tAx,$

where $\eta =\eta (t,x)$ is called the characteristic function of *A*.

*α*-concave(−

*α*-convex) ($0\le \alpha <1$) if

where $[{u}_{0},{v}_{0}]$ is called an ordering interval.

**Definition 2.1** (see [25])

*φ*-concave operator if there exists a function $\phi :(0,1]\times {P}_{h}\to (0,1]$ such that $t\in (0,1)$ implies $t<\phi (t,x)$, and

*A*satisfies the following condition:

**Definition 2.2** (see [2])

*E*. Let

Clearly, $0\le \alpha (S)<\mathrm{\infty}$. $\alpha (S)$ is called the Kuratowski measure of noncompactness.

Let $D\subset E$, $A:D\to E$ be an operator. Then *S* is said to be a generalized condensing operator if for any $S\subset D$, $\alpha (S)\ne 0$ implies $\alpha (A(S))<\alpha (S)$.

*Let*

*S*,

*T*

*be bounded subsets of*

*E*.

*Then*

- (i)
$\alpha (S)=0$

*if and only if**S**is relatively compact*; - (ii)
$S\subset T$

*implies*$\alpha (S)\le \alpha (T)$; - (iii)
$\alpha (\overline{S})=\alpha (S)$;

- (iv)
$\alpha (S\cup T)=max\{\alpha (S),\alpha (T)\}$;

- (v)
$\alpha (\mathit{co}S)=\alpha (S)$,

*where**coS**denotes the convex hull of**S*.

## 3 Main results

**Theorem 3.1**

*Let*

*E*

*be a real Banach space and*

*P*

*be a normal cone of*

*E*.

*Let*${u}_{0},{v}_{0}\in E$

*with*${u}_{0}\le {v}_{0}$

*and*$A:[{u}_{0},{v}_{0}]\times P\to P$

*be a mixed monotone operator*.

*For fixed*$v\in P$, $A(\cdot ,v):[{u}_{0},{v}_{0}]\to P$

*is a*

*φ*-

*concave operator*.

*Suppose that*

- (i)
*there exists a real positive number*${r}_{0}$*such that*${u}_{0}\ge {r}_{0}{v}_{0}$; - (ii)${u}_{0}$
*and*${v}_{0}$*are such that*${u}_{0}\le A({u}_{0},{v}_{0}),\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}A({v}_{0},{u}_{0})\le {v}_{0};$ - (iii)
*there exists an element*${w}_{0}\in [{u}_{0},{v}_{0}]$*such that*$\phi (t,x)\ge \phi (t,{w}_{0}),\phantom{\rule{1em}{0ex}}\mathrm{\forall}(t,x)\in (0,1)\times [{u}_{0},{v}_{0}],$

*and*

- (iv)
*for fixed*$u\in [{u}_{0},{v}_{0}]$, $\mathrm{\exists}N>0$*such that*$A(u,\cdot ):P\to P,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}A(u,{v}_{1})-A(u,{v}_{2})\ge -N({v}_{1}-{v}_{2}),\phantom{\rule{1em}{0ex}}\mathrm{\forall}{v}_{1}\ge {v}_{2},{v}_{1},{v}_{2}\in P.$

*Then* *A* *has exactly one fixed point* ${x}^{\ast}$ *in* $[{u}_{0},{v}_{0}]$.

*Proof* We divide the proof into three steps.

Step 1. We prove that for any fixed $u\in [{u}_{0},{v}_{0}]$, $A(u,\cdot )$ has exactly one fixed point $T(u)\in [A({u}_{0},{v}_{0}),A({v}_{0},{u}_{0})]$ such that $A(u,T(u))=T(u)$. Our proof is the same as Theorem 2.1 in [32]. For completeness, we list it as follows.

*v*. Let

then $B(u,v)=v$ is equivalent to $A(u,v)=v$.

*P*is a normal cone and by induction, we get that

where *C* is the normal constant of *P*.

*p*),

*E*is complete, ${x}_{n}$ converges to some element, we denote it by $T(u)$. Equation (3.1) implies that ${y}_{n}$ also converges to $T(u)$. By

using the normality of the cone *P*, we can conclude that ${x}_{n}$, ${y}_{n}$ also converge to $B(u,T(u))$. Thus $B(u,T(u))=T(u)$.

If $B(u,x)=x$, then we have for any integer *n*, ${x}_{n}\le x\le {y}_{n}$, which implies by taking the limit that $x=T(u)$, *i.e.*, $T(u)$ is the unique fixed point of $A(u,\cdot )$ in $[A({u}_{0},{v}_{0}),A({v}_{0},{u}_{0})]$.

Step 2. We prove that $T(u)$ is increasing in *u*.

By induction we know ${x}_{n}\le {x}_{n}^{\prime}$. Taking the limit, we have $T(u)\le T({u}^{\prime})$.

Step 3. We prove that $T(\cdot )$ has a unique fixed point in $[{u}_{0},{v}_{0}]$.

which is a contradiction. Hence, we have $r=1$.

Thus, by the normality of *P*, it is easy to see that ${v}_{n}-{u}_{n}\to 0$ ($n\to \mathrm{\infty}$), and hence $\{{u}_{n}\}$, $\{{v}_{n}\}$ are Cauchy sequences. Therefore, there exist ${u}^{\ast}$, ${v}^{\ast}$ such that ${u}_{n}\to {u}^{\ast}$, ${v}_{n}\to {v}^{\ast}$ ($n\to \mathrm{\infty}$) and ${u}^{\ast}={v}^{\ast}$. Write ${x}^{\ast}={u}^{\ast}={v}^{\ast}$.

so we obtain $T({x}^{\ast})\le {x}^{\ast}$. Hence $T({x}^{\ast})={x}^{\ast}$.

The proof of the uniqueness is the same as above in Step 1. Finally, from Step 1 we get that ${x}^{\ast}$ is the fixed point of *A* in $[{u}_{0},{v}_{0}]$ such that $T({x}^{\ast})={x}^{\ast}$ and $A({x}^{\ast},{x}^{\ast})={x}^{\ast}$.

By the construction we can see that it is unique. If $\overline{x}$ satisfies $A(\overline{x},\overline{x})=\overline{x}$. By Step 1, $T(\overline{x})$ is the unique fixed point of $A(\overline{x},\cdot )$, thus $T(\overline{x})=\overline{x}$. By the uniqueness of the fixed point of $T(\cdot )$, we get $\overline{x}={x}^{\ast}$. This ends the proof of Theorem 3.1. □

**Remark 3.1** In fact, by Theorem 2.3 in [30] and Theorem 1.1 in [29], we can know that condition ${lim}_{s\to {t}^{-}}\phi (s,{w}_{0})>t$ in Theorem 3.1 can be deleted, while the conclusions remain the same.

**Theorem 3.2** *Let* *E* *be a real Banach space and* *P* *be a cone of* *E*. *Let* ${u}_{0},{v}_{0}\in E$ *with* ${u}_{0}\le {v}_{0}$ *and* $A:[{u}_{0},{v}_{0}]\times P\to P$ *be a generalized condensing and mixed monotone operator*. *For fixed* $v\in P$, $A(\cdot ,v):[{u}_{0},{v}_{0}]\to P$ *is a* *φ*-*concave operator*. *Suppose that conditions* (i)-(iv) *of Theorem * 3.1 *hold*. *Then* *A* *has exactly one fixed point* ${x}^{\ast}$ *in* $[{u}_{0},{v}_{0}]$.

*Proof*For fixed $u\in [{u}_{0},{v}_{0}]$, let $S=\{{x}_{n}\mid n=0,1,2,\dots \}$. We show that $S\subset \mathit{co}\{{x}_{0},A(S)\}$. It is easy to see that ${x}_{0}\in \mathit{co}\{{x}_{0},A(S)\}$. If ${x}_{k}\in \mathit{co}\{{x}_{0},A(S)\}$ ($k\ge 0$), then for fixed $u\in [{u}_{0},{v}_{0}]$,

This is a contradiction. Consequently, we find that $\alpha (S)=0$. In view of Lemma 2.1, we have that $\overline{S}$ is a compact set in *E*. This implies that there exists a subsequence $\{{x}_{{n}_{i}}\}$ of $\{{x}_{n}\}$, which converges to ${x}^{\ast}$ in *E*.

Now, we prove that $\{{x}_{n}\}$ itself also converges to ${x}^{\ast}$. If not, there exists another subsequence $\{{x}_{{n}_{j}}\}$ of $\{{x}_{n}\}$, which converges to another point ${x}_{\ast}\ne {x}^{\ast}$ (${x}_{\ast}\in E$). Thus, for any fixed $\{{x}_{{n}_{{i}_{0}}}\}$, and if ${n}_{j}$ is large enough, then ${x}_{{n}_{{i}_{0}}}\le {x}_{{n}_{j}}$. Let ${n}_{j}\to \mathrm{\infty}$, we get that ${x}_{{n}_{{i}_{0}}}\le {x}_{\ast}$. Since ${x}_{{n}_{{i}_{0}}}$ is any fixed element of $\{{x}_{{n}_{i}}\}$, then for any element ${x}_{{n}_{i}}$ of $\{{x}_{{n}_{i}}\}$, we have that ${x}_{{n}_{i}}\le {x}_{\ast}$. Let ${n}_{i}\to \mathrm{\infty}$, we get that ${x}^{\ast}\le {x}_{\ast}$. Similarly, we can prove that ${x}_{\ast}\le {x}^{\ast}$. Thus, ${x}_{\ast}={x}^{\ast}$. This is a contradiction. Therefore, ${x}_{n}\to {x}^{\ast}$. In the same method, we can know that there exists ${y}^{\ast}\in E$ such that ${y}_{n}\to {y}^{\ast}$.

Since $\theta \le {y}_{n}-{x}_{n}\le {(\frac{N}{N+1})}^{n}({y}_{0}-{x}_{0})$, $n=1,2,3,\dots $ . Let $n\to \mathrm{\infty}$, we have that ${y}^{\ast}={x}^{\ast}$.

*A*. In fact, if $m\ge 1$, for any fixed integer

*n*, ${x}_{n}\le {x}_{n+m}\le {y}_{n}$. Let $m\to \mathrm{\infty}$, we have that ${x}_{n}\le {x}^{\ast}\le {y}_{n}$. Thus,

Therefore, for fixed $u\in [{u}_{0},{v}_{0}]$, $A(u,{x}^{\ast})={x}^{\ast}$. The rest of the proof is the same as that of Theorem 3.1. □

**Corollary 3.1** (see Theorem 2.1 in [32])

*Let*

*P*

*be a normal cone of*

*E*,

*and let*$A:P\times P\to P$

*be a mixed monotone operator*.

*Suppose that*

- 1.
*For fixed*$v\in P$, $A(\cdot ,v):P\to P$*is concave*;*for fixed*$u\in P$, $\mathrm{\exists}N>0$*such that*$A(u,\cdot ):P\to P$, $A(u,{v}_{1})-A(u,{v}_{2})\ge -N({v}_{1}-{v}_{2})$, $\mathrm{\forall}{v}_{1}\ge {v}_{2}$, ${v}_{1},{v}_{2}\in P$. - 2.$\mathrm{\exists}\overline{v}>\theta $, $0<c\le 1$
*such that*$\theta <A(\overline{v},\theta )\le \overline{v}$*and*$A(\theta ,\overline{v})\ge cA(\overline{v},\theta ).$

*Then* *A* *has exactly one fixed point* ${u}^{\ast}$ *in* $[\theta ,\overline{v}]$ *and* $A(\theta ,\overline{v})\le {u}^{\ast}\le A(\overline{v},\theta )$.

*Proof*Set

Now let us prove that $A(\cdot ,v):[{u}_{1},{v}_{1}]\to P$ is a *φ*-concave operator for fixed $v\in [{u}_{1},{v}_{1}]$. It suffices to show $A(\cdot ,v):[{u}_{0},{v}_{0}]\to P$ is a *φ*-concave operator for fixed $v\in [{u}_{0},{v}_{0}]$.

Set $\phi (t,x)=t+c(1-t)$, then $\phi :(0,1]\times [{u}_{0},{v}_{0}]\to (0,1]$, $\phi (t,x)>t$, $\mathrm{\forall}t\in (0,1)$, ${lim}_{s\to {t}^{-}}\phi (s,{w}_{0})=t+c(1-t)>t$. □

So, by Theorem 3.1, we see that *A* has exactly one fixed point ${x}^{\ast}$ in $[{u}_{1},{v}_{1}]$.

Similarly, if *P* is a solid cone, we have the following corollary.

**Corollary 3.2** (see Theorem 2.3 in [32])

*Let*

*P*

*be a normal solid cone of*

*E*,

*and let*$A:{P}^{\circ}\times {P}^{\circ}\to {P}^{\circ}$

*be a mixed monotone operator*.

*Suppose that*

- 1.
*For fixed*$v\in {P}^{\circ}$, $A(\cdot ,v):{P}^{\circ}\to {P}^{\circ}$*is concave*;*for fixed*$u\in {P}^{\circ}$, $\mathrm{\exists}N>0$*such that*$A(u,\cdot ):{P}^{\circ}\to {P}^{\circ}$, $A(u,{v}_{1})-A(u,{v}_{2})\ge -N({v}_{1}-{v}_{2})$, $\mathrm{\forall}{v}_{1}\ge {v}_{2}$, ${v}_{1},{v}_{2}\in {P}^{\circ}$. - 2.
$\mathrm{\exists}{u}_{0}\in {P}^{\circ}$, ${v}_{0}\in {P}^{\circ}$

*such that*${u}_{0}\le {v}_{0}$, ${u}_{0}\ll A({u}_{0},{v}_{0}),A({v}_{0},{u}_{0})\le {v}_{0}$.

*Then* *A* *has exactly one fixed point in* $[{u}_{0},{v}_{0}]$.

*Proof* It is easy to show that there exists a real number ${r}_{0}>0$ such that ${u}_{0}\ge {r}_{0}{v}_{0}$ since ${u}_{0},{v}_{0}\in {P}^{\circ}$, which completes the proof of Corollary 3.2 by means of Corollary 3.1. □

**Corollary 3.3** (see Remark 2.4 in [32])

*Let*

*P*

*be a normal solid cone of*

*E*,

*and let*$A:{P}^{\circ}\times P\to {P}^{\circ}$

*be a mixed monotone operator*.

*Suppose that*

- 1.
*For fixed*$v\in P$, $A(\cdot ,v):{P}^{\circ}\to {P}^{\circ}$*is**α*-*concave*;*for fixed*$u\in P$, $\mathrm{\exists}N>0$*such that*$A(u,\cdot ):P\to P$, $A(u,{v}_{1})-A(u,{v}_{2})\ge -N({v}_{1}-{v}_{2})$, $\mathrm{\forall}{v}_{1}\ge {v}_{2}$, ${v}_{1},{v}_{2}\in P$. - 2.
$\mathrm{\exists}{u}_{0}\in {P}^{\circ}$, ${v}_{0}\in {P}^{\circ}$

*such that*${u}_{0}\le {v}_{0}$, ${u}_{0}\ll A({u}_{0},{v}_{0}),A({v}_{0},{u}_{0})\le {v}_{0}$.

*Then* *A* *has exactly one fixed point in* $[{u}_{0},{v}_{0}]$.

*Proof* Take $\phi (t,x)={t}^{\alpha}$, $\mathrm{\forall}t\in (0,1)$. Thus, by Corollary 3.2, we easily see that the conclusions of Corollary 3.3 hold. □

**Corollary 3.4** (see Theorem 2.2 in [11] or Theorem 2.1 in [10])

*Assume that the operator* *A* *satisfies the following conditions*:

(H_{1}) $A:{P}_{h}\to {P}_{h}$ *is increasing in* ${P}_{h}$;

_{2})

*for*$\mathrm{\forall}x\in {P}_{h}$

*and*$t\in (0,1)$,

*there exists*$\alpha (t)\in (0,1)$

*such that*

*Then* *A* *has a unique solution in* ${P}_{h}$.

*Proof* If $A(u,v)$ is independent of *v*, then take $\phi (t,x)={t}^{\alpha (t)}$, $\mathrm{\forall}t\in (0,1)$. It is easy to check that conditions (i), (iii) in Theorem 3.1 hold. By Lemma 2.1 in [8], assume that the operator *A* satisfies conditions (H_{1}) and (H_{2}), we can know that there are ${u}_{0},{v}_{0}\in {P}_{h}$ such that ${u}_{0}<{v}_{0}$, ${u}_{0}\le A{u}_{0}\le A{v}_{0}\le {v}_{0}$. Thus, condition (ii) in Theorem 3.1 holds. Therefore, it follows from Theorem 3.1 that the conclusions of Corollary 3.4 hold. □

**Corollary 3.5** (see Theorem 2.6 in [10])

*Assume that the operator* *A* *satisfies the following conditions*:

(H_{3}) $A:{P}_{h}\to {P}_{h}$ *is increasing in* ${P}_{h}$;

_{4})

*where* $\alpha :(0,1)\times {P}_{h}\to (0,1)$ *is increasing in* *x* *for fixed* $t\in (0,1)$;

_{5})

*there exists*${t}_{0}\in (0,1)$

*such that*

*Then* *A* *has a unique solution in* ${P}_{h}$.

*Proof*By Corollary 3.4, we only need to check condition (ii) in Theorem 3.1. By the proof of Theorem 2.6 in [10], choose $k\in R$ such that $k>\frac{1}{1-\alpha ({t}_{0})}$. Put ${u}_{0}={t}_{0}^{k}h$, ${v}_{0}=\frac{1}{{t}_{0}^{k}}h$, set

we have ${u}_{0},{v}_{0}\in {P}_{h}$, ${u}_{0}<{v}_{0}$, and ${u}_{0}\le A{u}_{0}\le A{v}_{0}\le {v}_{0}$. □

Furthermore, we can easily obtain the following new result.

**Theorem 3.3**

*Let*

*P*

*be a normal cone of the real Banach space*

*E*, $e>\theta $

*and*${u}_{0},{v}_{0}\in P$

*with*${u}_{0}\le {v}_{0}$,

*and let*$A:P\times P\to P$

*be a mixed monotone operator*.

*Suppose that*

- (i)
*there exists a real positive number*${r}_{0}$*such that*${u}_{0}\ge {r}_{0}{v}_{0}$; - (ii)
${u}_{0}\le A({u}_{0},{v}_{0}),A({v}_{0},{u}_{0})\le {v}_{0}$;

- (iii)
*for fixed**v*, $A(\cdot ,v):P\to P$*is**e*-*concave with its characteristic function*, $\eta (t,x)$*is monotone in**x**and continuous in**t**from left*; - (iv)
*for fixed*$u\in P$, $\mathrm{\exists}N>0$*such that*$A(u,\cdot ):P\to P,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}A(u,{v}_{1})-A(u,{v}_{2})\ge -N({v}_{1}-{v}_{2}),\phantom{\rule{1em}{0ex}}\mathrm{\forall}{v}_{1}\ge {v}_{2},{v}_{1},{v}_{2}\in P.$

*Then* *A* *has exactly one fixed point* ${x}^{\ast}$ *in* $[{u}_{0},{v}_{0}]$.

**Corollary 3.6** (see Theorem 2.5 in [11])

*Assume that the operator* *A* *satisfies the following conditions*:

(H_{6}) $A:{P}_{h}\to {P}_{h}$ *is increasing in* ${P}_{h}$;

_{7})

*for each*$x\in {P}_{h}$

*and*$t\in (0,1)$,

*there exists*$\eta (t)\in (0,1)$

*such that*

*Then* *A* *has a unique solution in* ${P}_{h}$.

*Proof* Set $\eta (t,x)=\eta (t)$, by Corollary 3.4 and Theorem 3.3, we can know that the conclusions of Corollary 3.6 hold. □

## 4 Application

In this section, we present an example to explain our results.

**Example 4.1**Consider the following nonlinear integral equation:

**Conclusion 4.1**Suppose that $K:{R}^{N}\times {R}^{N}\to {R}^{1}$ is nonnegative and continuous with

Then Eq. (4.1) has a unique positive solution ${x}^{\ast}(t)$ satisfying ${10}^{-2}\le {x}^{\ast}(t)\le 1$.

*Proof*We use Theorem 3.3 to prove Conclusion 4.1. Let $E={C}_{B}({R}^{N})$ denote the set of all bounded continuous functions on ${R}^{N}$; we define $\parallel x\parallel ={sup}_{t\in {R}^{N}}|x(t)|$, and then

*E*is a real Banach space. Let $P={C}_{B}^{+}({R}^{N})$ denote the set of all nonnegative functions of ${C}_{B}({R}^{N})$. Then

*P*is a normal cone of

*E*. Obviously, Eq. (4.1) can be written in the form $x=A(x,x)$, where

*A*satisfies all the conditions in Theorem 3.3. In fact, set ${u}_{0}={10}^{-2}$, ${v}_{0}=1$. It is easy to see that $A:P\times P\to P$ is a mixed monotone operator. It is obvious that ${u}_{0},{v}_{0}\in P$, ${u}_{0}<{v}_{0}$ and there exists a real number ${\u03f5}_{0}>0$ such that ${u}_{0}\ge {\u03f5}_{0}{v}_{0}$. By (4.2) we can easily get

*y*, $\mathrm{\forall}t\in (0,1)$, $\mathrm{\exists}\eta =\eta (t,x)=\frac{(\sqrt{t}-t)\sqrt{x}}{t(\sqrt{x}+x)}>0$ such that

where $\eta (t,x)$ is decreasing in *x* and continuous in *t* from left.

*x*, $\mathrm{\exists}N=\frac{500}{9}$ such that

Therefore, we see Conclusion 4.1 holds by means of Theorem 3.3. □

## Declarations

### Acknowledgements

The author was supported financially by the National Natural Science Foundation of China, Tianyuan Foundation (11226119), the Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi, the Youth Science Foundation of Shanxi Province (2013021002-1), and Shandong Provincial Natural Science Foundation, China (ZR2012AQ024).

## Authors’ Affiliations

## References

- Amann H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces.
*SIAM Rev.*1976, 18: 620–709. 10.1137/1018114MathSciNetView ArticleGoogle Scholar - Guo DJ:
*Nonlinear Functional Analysis*. Shandong Science and Technology Press, Jinan; 2001. (in Chinese)Google Scholar - Guo DJ, Lakshmikantham V:
*Nonlinear Problems in Abstract Cones*. Academic Press, San Diego; 1988.Google Scholar - Krasnoselskii MA:
*Positive Solutions of Operator Equations*. Noordhoff, Groningen; 1964.Google Scholar - Krasnoselskii MA, Zabreiko PP:
*Geometrical Methods of Nonlinear Analysis*. Springer, Berlin; 1984.View ArticleGoogle Scholar - Liang Z, Lian X, Zhang M: A class of concave operators with applications.
*Nonlinear Anal.*2008, 68: 2507–2515. 10.1016/j.na.2007.02.003MathSciNetView ArticleGoogle Scholar - Potter AJB: Applications of Hilbert projective metric to certain class of nonhomogeneous operators.
*Q. J. Math.*1977, 28: 93–99. 10.1093/qmath/28.1.93MathSciNetView ArticleGoogle Scholar - Xu SY, Jia BG: Fixed-point theorems of
*ϕ*-concave(−*ψ*)convex mixed monotone operators and applications.*J. Math. Anal. Appl.*2004, 295: 645–657. 10.1016/j.jmaa.2004.03.049MathSciNetView ArticleGoogle Scholar - Xu SY, Zeng CY, Zhu CX: Existence and uniqueness for the fixed points of
*ϕ*-concave(−*ψ*)convex mixed monotone operators and applications.*Acta Math. Sin.*2005, 48: 1055–1064. (in Chinese)MathSciNetGoogle Scholar - Zhai CB, Wang WX, Zhang LL: Generalizations for a class of concave and convex operators.
*Acta Math. Sin.*2008, 51: 529–540. (in Chinese)MathSciNetGoogle Scholar - Zhai CB, Yang C, Guo CM: Positive solutions of operator equations on ordered Banach spaces and applications.
*Comput. Math. Appl.*2008, 56: 3150–3156. 10.1016/j.camwa.2008.09.005MathSciNetView ArticleGoogle Scholar - Zhao ZQ, Du X: Fixed points of generalized
*e*-concave (generalized*e*-convex) operators and their applications.*J. Math. Anal. Appl.*2007, 334: 1426–1438. 10.1016/j.jmaa.2006.09.082MathSciNetView ArticleGoogle Scholar - Karapinar E, Luong NV, Thuan NX: Coupled coincidence points for mixed monotone operators in partially ordered metric spaces.
*Arab. J. Math.*2012, 1: 329–339. 10.1007/s40065-012-0027-0View ArticleGoogle Scholar - Liang Z, Wang W, Li S: On concave operators.
*Acta Math. Sin. New Ser.*2006, 22: 577–582. 10.1007/s10114-005-0687-1MathSciNetView ArticleGoogle Scholar - Li FY, Liang ZD: Fixed point of
*φ*-concave(−*φ*-convex) operator and application.*J. Syst. Sci. Math. Sci.*1994, 14(4):355–360.MathSciNetGoogle Scholar - Guo DJ, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications.
*Nonlinear Anal. TMA*1987, 11(5):623–632. 10.1016/0362-546X(87)90077-0MathSciNetView ArticleGoogle Scholar - Abbas M, Ali B, Sintunavarat W, Kumam P: Tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 187Google Scholar - Abbas M, Sintunavarat W, Kumam P: Coupled fixed point of generalized contractive mappings on partially ordered
*G*-metric spaces.*Fixed Point Theory Appl.*2012., 2012: Article ID 31Google Scholar - Aydi H, Abbas M, Sintunavarat W, Kumam P: Tripled fixed point of
*W*-compatible mappings in abstract metric spaces.*Fixed Point Theory Appl.*2012., 2012: Article ID 134Google Scholar - Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications.
*Nonlinear Anal. TMA*2006, 65(7):1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar - Chandok S, Sintunavarat W, Kumam P: Some coupled common fixed points for a pair of mappings in partially ordered
*G*-metric spaces.*Math. Sci.*2013., 7: Article ID 24Google Scholar - Drici Z, McRae FA, Vasundhara Devi J: Fixed point theorems for mixed monotone operators with PPF dependence.
*Nonlinear Anal. TMA*2008, 69: 632–636. 10.1016/j.na.2007.05.044MathSciNetView ArticleGoogle Scholar - Guo DJ: Existence and uniqueness of positive fixed point for mixed monotone operators and applications.
*Appl. Anal.*1992, 46: 91–100. 10.1080/00036819208840113MathSciNetView ArticleGoogle Scholar - Guo DJ: Fixed points for mixed monotone operators with application.
*Appl. Anal.*1988, 34: 215–224.View ArticleGoogle Scholar - Harjani J, López B, Sadarangani K: Fixed point theorems for mixed monotone operators and applications to integral equations.
*Nonlinear Anal. TMA*2011, 74: 1749–1760. 10.1016/j.na.2010.10.047View ArticleGoogle Scholar - Karapinar E, Kumam P, Sintunavarat W: Coupled fixed point theorems in cone metric spaces with a
*c*-distance and applications.*Fixed Point Theory Appl.*2012., 2012: Article ID 194Google Scholar - Wu YS, Li GZ: Existence and uniqueness theorems of fixed points for mixed monotone operators and their applications.
*Acta Math. Sin. (Chin. Ser.)*2003, 46(1):161–166. (in Chinese)Google Scholar - Zhai CB: Fixed point theorems for a class of mixed monotone operators with convexity.
*Fixed Point Theory Appl.*2013., 2013: Article ID 119Google Scholar - 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.066MathSciNetView ArticleGoogle Scholar - Zhang ZT: Fixed point theorems of mixed monotone operators and its applications.
*Acta Math. Sin.*1998, 41(6):1121–1126. (in Chinese)Google Scholar - Zhang ZT: New fixed point theorems of mixed monotone operators and applications.
*J. Math. Anal. Appl.*1996, 204(1):307–319. 10.1006/jmaa.1996.0439MathSciNetView ArticleGoogle Scholar - Zhang ZT, Wang K: On fixed point theorems of mixed monotone operators and applications.
*Nonlinear Anal. TMA*2009, 70: 3279–3284. 10.1016/j.na.2008.04.032View ArticleGoogle Scholar - Zhao ZQ: Uniqueness and existence of fixed points on some mixed monotone mappings in ordered linear spaces.
*J. Syst. Sci. Math. Sci.*1999, 19(2):217–224.Google Scholar - Sintunavarat W, Kumam P: Coupled coincidence and coupled common fixed point theorems in partially ordered metric spaces.
*Thai J. Math.*2012, 10(3):551–563.MathSciNetGoogle Scholar - Sintunavarat W, Cho YJ, Kumam P: Coupled fixed-point theorems for contraction mapping induced by cone ball-metric in partially ordered spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 128Google Scholar - Guo YX: Iterative solution on a class of nonlinear operator equation.
*Acta Anal. Funct. Appl.*1999, 1: 45–50.MathSciNetView ArticleGoogle Scholar - Sun JX: Iterative solution of nonlinear operator equation (II).
*J. Shandong Univ.*1992, 3: 281–288. (in Chinese)Google 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.