# New criteria for the existence of non-trivial fixed points in cones

- Alberto Cabada
^{1}, - José Ángel Cid
^{2}Email author and - Gennaro Infante
^{3}

**2013**:125

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

© Cabada et al.; licensee Springer 2013

**Received: **6 March 2013

**Accepted: **26 April 2013

**Published: **13 May 2013

## Abstract

We give new criteria for the existence of nontrivial fixed points on cones assuming some monotonicity of the operator on a suitable conical shell. Moreover, we give an application to the existence of multiple solutions for a nonlocal boundary value problem that models the displacement of a beam subject to some feedback controllers.

**MSC:**47H10, 34B10, 34B18.

### Keywords

Krasnosel’skiĭ fixed point theorem positive solutions conical shells multiplicity## 1 Introduction and preliminaries

The classical cone compression-expansion fixed point theorem of Krasnosel’skiĭ (see Theorem 1.2 below) and the monotone iterative technique (see Theorem 1.1 below) are among the most popular and fruitful tools to deal with the existence of solutions for nonlinear problems. Following earlier ideas of Persson [1] valid in the finite-dimensional setting, both methods were combined in [2] to obtain the existence of a fixed point, assuming the operator *T* to be monotone non-decreasing with some conditions on the set of supersolutions. This result was improved in [3] by relaxing the monotonicity condition. More recently, in [4] the authors were able to present a refinement of the results of [2, 3], by allowing a comparison between a point and a boundary, instead of on two boundaries as in Krasnosel’skiĭ’s theorem. This approach, which required a monotonicity assumption on the operator on a conical shell, has proved to be well suited to establish multiplicity results. Our aim in this paper is to pursue this line of research by obtaining new fixed point theorems, valid not only for non-decreasing (Section 3) but also for non-increasing operators (Section 2). We point out that this type of theorems can be combined in the applications to obtain the existence of multiple non-trivial solutions. This fact is illustrated in Section 4, where the existence of multiple positive solutions for a nonlocal boundary value problem modeling the displacement of a beam is discussed.

We now recall some definitions that will be useful in the sequel. A subset *K* of a real Banach space *N* is a *cone* if and only if it is closed, $K+K\subset K$, $\lambda K\subset K$ for all $\lambda \ge 0$ and $K\cap (-K)=\{0\}$. A cone *K* defines the partial ordering in *N* given by $x\le y$ if and only if $y-x\in K$. The notation $x<y$ means $x\le y$ and $y\ne x$. The cone *K* is called *normal* with a normal constant $c\ge 1$ if and only if $\parallel x\parallel \le c\parallel y\parallel $ for all $x,y\in N$ with $0\le x\le y$. Whenever $int(K)\ne \mathrm{\varnothing}$, the symbol $x\ll y$ means $y-x\in int(K)$ and the cone is said to be *solid*. *∂K* denotes the boundary of *K* and $d(x,\partial K)$ is the distance of *x* to the boundary of *K*.

then it is called a cone compression when $0<R<\overline{R}$ and a cone expansion when $0<\overline{R}<R$.

Now we recall the two classical fixed point results mentioned above. The first one is known as the monotone iterative method (see, for example, [[5], Theorem 7.A] or [6]).

**Theorem 1.1** *Let* *N* *be a real Banach space with a normal order cone* *K*. *Suppose that there exist* $\alpha \le \beta $ *such that* $T:[\alpha ,\beta ]\subset N\to N$ *is a completely continuous monotone nondecreasing operator with* $\alpha \le T\alpha $ *and* $T\beta \le \beta $. *Then* *T* *has a fixed point and the iterative sequence* ${\alpha}_{n+1}=T{\alpha}_{n}$, *with* ${\alpha}_{0}=\alpha $, *converges to the greatest fixed point of* *T* *in* $[\alpha ,\beta ]$, *and the sequence* ${\beta}_{n+1}=T{\beta}_{n}$, *with* ${\beta}_{0}=\beta $, *converges to the smallest fixed point of* *T* *in* $[\alpha ,\beta ]$.

The second one, which is widely used for the search of positive fixed points, is due to Krasnosel’skiĭ (see [[5], Theorem 13.D]).

**Theorem 1.2**

*Let*

*N*

*be a real Banach space with order cone*

*K*.

*Suppose that the operator*$T:K\to K$

*is completely continuous and either a cone compression or expansion*.

*Then*

*T*

*has a fixed point*

*x*

*on*

*K*

*and*

## 2 Non-increasing operators

Firstly, we present a result under the assumption of the existence of a lower solution in a solid cone.

**Theorem 2.1**

*Let*

*N*

*be a real Banach space*,

*K*

*be a solid cone and*$T:K\to K$

*be a completely continuous operator*.

*Assume that*

- (1)
*there exist*${\alpha}_{1}\in K$,*with*${\alpha}_{1}\le T{\alpha}_{1}$,*and*${R}_{1}>0$*such that*$B[{\alpha}_{1},{R}_{1}]\subset K$; - (2)
*the map**T**is monotone non*-*increasing in the set*${K}_{2}=\{x\in K:{R}_{1}\le \parallel x\parallel \le \parallel {\alpha}_{1}\parallel \};$ - (3)
*there exists*${r}_{1}>0$,*with*${r}_{1}\ne {R}_{1}$,*such that*$Tx\ngeqq x$*for all*$x\in K$*with*$\parallel x\parallel ={r}_{1}$.

*Then the map*

*T*

*has at least one non*-

*zero fixed point*${x}_{1}\in K\mathrm{\setminus}\{x\in K;\parallel x\parallel ={r}_{1}\}$

*such that*

*Proof*First, note that $0<{R}_{1}\le d({\alpha}_{1},\partial K)\le \parallel {\alpha}_{1}\parallel $. Since $B[{\alpha}_{1},{R}_{1}]\subset K$, it is clear that if $x\in K$ with $\parallel x\parallel ={R}_{1}$, then $x\le {\alpha}_{1}$. Since

*T*is non-increasing in ${K}_{2}$ and $x,{\alpha}_{1}\in {K}_{2}$, we have that

If $Tx=x$, we have a fixed point such that $\parallel x\parallel ={R}_{1}$, on the contrary, we deduce that $Tx\nleqq x$ for all $\parallel x\parallel ={R}_{1}$, which together with (3) implies, by Theorem 1.2, that there exists a non-zero fixed point ${x}_{1}$ with the desired localization property. □

**Remark 2.2**Note that if $T{\alpha}_{1}\ne {\alpha}_{1}$, in the proof of the previous result, it is showed that the map

*T*has at least one non-zero fixed point ${x}_{1}\in K$ such that

As a direct consequence of Theorem 2.1, we obtain the following ‘dual result’ for a non-increasing operator in a solid cone with an upper solution.

**Corollary 2.3**

*Let*

*N*

*be a real Banach space*,

*K*

*be a solid cone and*$T:K\to K$

*be a completely continuous operator*.

*Assume that condition*(3)

*is fulfilled together with*

- (4)
*there exist*${\beta}_{1}\in K$,*with*$T{\beta}_{1}\le {\beta}_{1}$,*and*${R}_{1}>0$*such that*$B[T{\beta}_{1},{R}_{1}]\subset K$; - (5)
*the map**T**is monotone non*-*increasing in the set*${K}_{5}=\{x\in K:{R}_{1}\le \parallel x\parallel \le max\{\parallel T{\beta}_{1}\parallel ,\parallel {\beta}_{1}\parallel \}\}.$

*Then the map*

*T*

*has at least one non*-

*zero fixed point*${x}_{1}$

*in*${x}_{1}\in K\mathrm{\setminus}\{x\in K;\parallel x\parallel ={r}_{1}\}$,

*and*

*Proof* As in the proof of Theorem 2.1, we deduce that $\parallel T{\beta}_{1}\parallel \ge {R}_{1}$.

If $\parallel {\beta}_{1}\parallel =\parallel T{\beta}_{1}-{\beta}_{1}-T{\beta}_{1}\parallel \le {R}_{1}$, then $T{\beta}_{1}-{\beta}_{1}\in B[T{\beta}_{1},{R}_{1}]\subset K$, which implies that $T{\beta}_{1}-{\beta}_{1}\ge 0$, *i.e.*, ${\beta}_{1}$ is a fixed point of *T*. Obviously, if this is the case, $\parallel {\beta}_{1}\parallel =\parallel T{\beta}_{1}\parallel ={R}_{1}$ and the result holds.

On the other hand, if $\parallel {\beta}_{1}\parallel >{R}_{1}$, we know that ${\beta}_{1},T{\beta}_{1}\in {K}_{5}$ and, since *T* is non-increasing in ${K}_{5}$ and $T{\beta}_{1}$ belongs to the interior of *K*, we deduce that $0\ll T{\beta}_{1}\le T(T{\beta}_{1})$, *i.e.*, $T{\beta}_{1}\in K$ is a non-zero lower solution of the operator *T*.

As consequence, all the conditions of Theorem 2.1 are fulfilled and the result holds. □

Now, we give a fixed point result for a non-increasing operator under the assumption of the existence of an upper solution in a cone not necessarily solid, but it verifies an extra condition.

**Theorem 2.4**

*Let*

*N*

*be a real Banach space*,

*K*

*be a cone that satisfies the following condition*:

*and*$T:K\to K$

*is a completely continuous operator*.

*Assume that*

- (6)
*there exists*${\beta}_{1}\in K$, ${\beta}_{1}\ne 0$,*such that*${\beta}_{1}\ge T{\beta}_{1}$; - (7)
*the map**T**is monotone non*-*increasing in the set*${K}_{7}=\{x\in K:\parallel {\beta}_{1}\parallel \le \parallel x\parallel \le \sigma \parallel {\beta}_{1}\parallel \};$ - (8)
*there exists*${r}_{1}>0$,*with*${r}_{1}\ne {R}_{1}:=\sigma \parallel {\beta}_{1}\parallel $,*such that*$Tx\nleqq x$*for all*$x\in K$*with*$\parallel x\parallel ={r}_{1}$.

*Then the map*

*T*

*has at least one non*-

*zero fixed point*${x}_{1}\in K\mathrm{\setminus}\{x\in K;\parallel x\parallel ={r}_{1}\}$

*such that*

*Proof*By the property (2.1), we have that if $x\in K$ with $\parallel x\parallel ={R}_{1}$, then $x\ge {\beta}_{1}$. The definition of ${R}_{1}$ says that $x,{\beta}_{1}\in {K}_{7}$; so, since

*T*is non-increasing on ${K}_{7}$, we have

If $Tx=x$, we have a fixed point such that $\parallel x\parallel ={R}_{1}$; on the contrary, $Tx\ngeqq x$ for all $x\in K$ such that $\parallel x\parallel ={R}_{1}$ which, together with (8), implies by Theorem 1.2 the existence of a fixed point with the desired localization property. □

**Remark 2.5**(i) Note that if $T{\beta}_{1}\ne {\beta}_{1}$, in the proof of the two previous results, it is showed that the map

*T*has at least one non-zero fixed point ${x}_{1}\in K$ such that

The same conclusion holds if in condition (2.1) we assume that the constant $\sigma >1$. To verify this, it is enough to take into account that if there is a fixed point $x\in K$ with $\parallel x\parallel ={R}_{1}$, then $Tx\le T{\beta}_{1}\le {\beta}_{1}\le x$ and, as a consequence, $\sigma \parallel {\beta}_{1}\parallel =\parallel x\parallel =\parallel {\beta}_{1}\parallel $.

**Lemma 2.6**

*Condition*(2.1)

*is equivalent to the following one*:

*Proof* Obviously, if condition (2.2) is fulfilled, then (2.1) also holds.

Suppose now that (2.1) is satisfied, and let $x,y\in K$ be such that $\parallel x\parallel \ge \sigma \parallel y\parallel $; in consequence, there is $\lambda \ge 1$ such that $\parallel x/\lambda \parallel =\sigma \parallel y\parallel $. Condition (2.1) shows that $x\ge \lambda y\ge y$, *i.e.*, condition (2.2) holds. This proves the result. □

In an analogous way to Corollary 2.3, we arrive at the following ‘dual result’.

**Corollary 2.7**

*Let*

*N*

*be a real Banach space*,

*K*

*be a cone that satisfies the condition*(2.1)

*and*$T:K\to K$

*be a completely continuous operator*.

*Assume that*

- (9)
*there exists*${\alpha}_{1}\in K$, ${\alpha}_{1}\ne 0$*such that*${\alpha}_{1}\le T{\alpha}_{1}$; - (10)
*the map**T**is monotone non*-*increasing in the set*${K}_{10}=\{x\in K:min\{\parallel {\alpha}_{1}\parallel ,\parallel T{\alpha}_{1}\parallel \}\le \parallel x\parallel \le \sigma \parallel T{\alpha}_{1}\parallel \};$ - (11)
*there exists*${r}_{1}>0$,*with*${r}_{1}\ne {R}_{1}:=\sigma \parallel T{\alpha}_{1}\parallel $,*such that*$Tx\nleqq x$*for all*$x\in K$*with*$\parallel x\parallel ={r}_{1}$.

*Then the map*

*T*

*has at least one non*-

*zero fixed point*${x}_{1}\in K\mathrm{\setminus}\{x\in K;\parallel x\parallel ={r}_{1}\}$

*such that*

*Proof* By the property (2.1), we have that if $x\in K$ with $\parallel x\parallel ={R}_{1}$, then $x\ge T{\alpha}_{1}$.

Suppose now that $\parallel {\alpha}_{1}\parallel \ge \sigma \parallel T{\alpha}_{1}\parallel $. From Lemma 2.6, we have that ${\alpha}_{1}\ge T{\alpha}_{1}$, which implies that ${\alpha}_{1}$ is a fixed point with $\parallel {\alpha}_{1}\parallel ={R}_{1}$ and $\sigma =1$, so the result holds.

*T*is non-increasing on ${K}_{10}$, we have

and the results holds from Theorem 2.4. □

**Remark 2.8**Note that if $T{\alpha}_{1}\ne {\alpha}_{1}$ or $\sigma >1$, in the proof of the previous result, it is showed that the map

*T*has at least one non-zero fixed point ${x}_{1}\in K$ such that

## 3 Non-decreasing operators

For non-decreasing operators, in the case of an upper solution, it was proved in [4] the following result which is an improvement of those in [2, 3].

**Theorem 3.1** [4]

*Let*

*N*

*be a real Banach space*,

*K*

*be a normal solid cone with a normal constant*$c\ge 1$

*and*$T:K\to K$

*be a completely continuous operator*.

*Assume that*

- (12)
*there exist*${\beta}_{1}\in K$,*with*$T{\beta}_{1}\le {\beta}_{1}$,*and*${R}_{1}>0$*such that*$B[{\beta}_{1},{R}_{1}]\subset K$; - (13)
*the map**T**is monotone non*-*decreasing in the set*${K}_{13}=\{x\in K:\frac{{R}_{1}}{c}\le \parallel x\parallel \le c\parallel {\beta}_{1}\parallel \};$ - (14)
*there exists*${r}_{1}>0$,*with*${r}_{1}\ne {R}_{1}$,*such that*$Tx\nleqq x$*for all*$x\in K$*with*$\parallel x\parallel ={r}_{1}$.

*Then the map*

*T*

*has at least one non*-

*zero fixed point*${x}_{1}$

*in*

*K*

*that either belongs to*${K}_{13}$

*or is such that*

In the sequel, we prove a fixed point result in this direction for a not necessarily normal cone that satisfies (2.1).

**Theorem 3.2** *Let* *N* *be a real Banach space*, *K* *be a solid cone that satisfies condition* (2.1), *and* $T:K\to K$ *be a completely continuous operator*. *Assume that conditions* (12) *and* (14) *hold and*

*the map*

*T*

*is monotone non*-

*decreasing in the set*

*Then the map*

*T*

*has at least one non*-

*zero fixed point*${x}_{1}$

*in*

*K*

*that either belongs to*${K}_{{13}^{\prime}}$

*or is such that*

*Proof* Since $B[{\beta}_{1},{R}_{1}]\subset K$, it is clear that if $x\in K$ with $\parallel x\parallel ={R}_{1}$, then $x\le {\beta}_{1}$.

Suppose first that there is ${\alpha}_{1}\in K$ with $\parallel {\alpha}_{1}\parallel ={R}_{1}$ and $T{\alpha}_{1}\ge {\alpha}_{1}$. Notice that in this case ${\alpha}_{1}\le T{\alpha}_{1}\le T{\beta}_{1}\le {\beta}_{1}$.

If $\parallel T{\alpha}_{1}\parallel =\parallel {\alpha}_{1}-T{\alpha}_{1}-{\alpha}_{1}\parallel \le {R}_{1}$, then ${\alpha}_{1}-T{\alpha}_{1}\in B[T{\alpha}_{1},{R}_{1}]\subset K$, which implies that ${\alpha}_{1}\ge T{\alpha}_{1}$, *i.e.*, ${\alpha}_{1}\in {K}_{{13}^{\prime}}$ is a fixed point of *T* and the result is fulfilled.

Suppose now that $\parallel T{\alpha}_{1}\parallel >{R}_{1}$. If $\parallel T{\alpha}_{1}\parallel \ge \sigma \parallel {\beta}_{1}\parallel $ we know, by condition (2.1), that $T{\alpha}_{1}\ge {\beta}_{1}$ and, as a consequence, ${\beta}_{1}\in {K}_{{13}^{\prime}}$ ($\parallel {\beta}_{1}\parallel \ge {R}_{1}$) is a fixed point of *T*.

So, if ${R}_{1}<\parallel T{\alpha}_{1}\parallel <\sigma \parallel {\beta}_{1}\parallel $ we have that $T{\alpha}_{1}\le {T}^{2}{\alpha}_{1}$ and, arguing as before, we have that either ${\alpha}_{1}$ or ${\beta}_{1}$ are fixed points of *T*, or ${R}_{1}<\parallel {T}^{2}{\alpha}_{1}\parallel <\sigma \parallel {\beta}_{1}\parallel $.

By recurrence we verify that the set $P={\{{T}^{n}{\alpha}_{1}\}}_{n\in \mathbb{N}}\subset {K}_{{13}^{\prime}}$.

Since *T* is monotone non-decreasing on ${K}_{{13}^{\prime}}$, we have that the same holds in *P*. Moreover, $T(P)\subset [{\alpha}_{1},{\beta}_{1}]$. Now, the completely continuous character of the operator *T* implies that $\overline{T(P)}$ is a compact set of *N*. We can ensure the existence of a fixed point on $P\subset {K}_{{13}^{\prime}}$ from [[8], Proposition 1.1.7].

Now suppose that $Tx\ngeqq x$ for all $x\in K$ with $\parallel x\parallel ={R}_{1}$. By (14) there exists ${r}_{1}>0$ such that $Tx\nleqq x$ for all $x\in K$ with $\parallel x\parallel ={r}_{1}$. Therefore by Theorem 1.2 there exists a non-zero fixed point. □

**Remark 3.3**An example of a solid cone satisfying condition (2.1) is the following one:

Now, we give a result under the assumption of the existence of a lower solution.

**Theorem 3.4**

*Let*

*N*

*be a real Banach space*,

*K*

*be a normal cone*(

*not necessarily solid*)

*with a normal constant*$c\ge 1$

*that satisfies condition*(2.1),

*and*$T:K\to K$

*be a completely continuous operator*.

*Assume that there is a lower solution as in*(9),

*and*

- (15)
*the map**T**is monotone non*-*decreasing in the set*${K}_{15}=\{x\in K:\frac{\parallel {\alpha}_{1}\parallel}{c}\le \parallel x\parallel \le c\sigma \parallel {\alpha}_{1}\parallel \};$ - (16)
*there exists*${r}_{1}>0$,*with*${r}_{1}\ne {R}_{1}:=\sigma \parallel {\alpha}_{1}\parallel $,*such that*$Tx\ngeqq x$*for all*$x\in K$*with*$\parallel x\parallel ={r}_{1}$.

*Then the map*

*T*

*has at least one non*-

*zero fixed point*${x}_{1}$

*in*

*K*

*that either belongs to*${K}_{15}$

*or is such that*

*Proof* By the property (2.1), we have that if $x\in K$ with $\parallel x\parallel ={R}_{1}$, then $x\ge {\alpha}_{1}$.

Suppose first that we can choose ${\beta}_{1}\in K$ with $\parallel {\beta}_{1}\parallel ={R}_{1}$ and $T{\beta}_{1}\le {\beta}_{1}$. Since ${\alpha}_{1}\le {\beta}_{1}$ and due to the normality of the cone *K*, we have that $[{\alpha}_{1},{\beta}_{1}]\subset {K}_{15}$, which implies that *T* is nondecreasing on $[{\alpha}_{1},{\beta}_{1}]$. Then we can apply Theorem 1.1 to ensure the existence of the extremal fixed points of *T* on $[{\alpha}_{1},{\beta}_{1}]$.

Now suppose that $Tx\nleqq x$ for all $x\in K$ with $\parallel x\parallel ={R}_{1}$. By (16) there exists ${r}_{1}>0$ such that $Tx\ngeqq x$ for all $x\in K$ with $\parallel x\parallel ={r}_{1}$. Therefore by Theorem 1.2, there exists a non-zero fixed point ${x}_{1}$ in the required set. □

**Remark 3.5** We stress that the above theorems can be combined to prove the existence of multiple fixed points. The idea is to use a nesting argument similar to those utilized, for example, in [9, 10], where the authors used the classical fixed point index, and in [11, 12], where Theorem 1.2 was used. In the next section we do this in the case of the existence of two non-trivial fixed points, and we refer to Theorem 3.4 of [4] to give an idea of the type of results that may be stated in the case of *n* fixed points.

## 4 Applications to a nonlocal BVP

where, for $i=1,2$, ${\theta}_{i}\in \mathbb{R}$ and ${\xi}_{i}\in [0,1]$, $g\in {L}^{1}[0,1]$, $g\ge 0$ a.e. and $f:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ is continuous. BVP (4.1)-(4.3) that has been studied in [13] models the displacement of a beam with feedback controllers; in particular, the boundary conditions mean that the shear force and the angular attitude vanish at $t=0$, and in $t=1$ they are related to the displacement and to the bending moment registered in other points of the beam.

where the Green’s function $k(t,s)$ and its properties are given in the following result.

**Lemma 4.1** [13]

*Let*${\theta}_{1}+{\xi}_{1}>1$

*and*${\theta}_{2}+{\xi}_{2}>1$.

*The Green’s function*$k(t,s)$

*for the linear fourth*-

*order boundary value problem*

*is given by*

*Moreover*,

*for*$(t,s)\in [0,1]\times [0,1]$,

*we have*

*where*

where in $C[0,1]$ we are considering the supremum norm $\parallel u\parallel =sup\{u(t):t\in [0,1]\}$. It is also known that *K* is a normal solid cone with a normal constant $c=1$.

note that ${\gamma}_{\ast}=1/M$ and ${\gamma}^{\ast}=1/m$, in the notation of [13].

Now we present the main result of this section.

**Theorem 4.2**

*Assume that the hypotheses in Lemma*4.1

*hold*.

*Moreover*,

*let*${\beta}_{1},{\alpha}_{2},{R}_{1},{R}_{2}\in (0,+\mathrm{\infty})$

*be such that*

*Assume that*

*g*

*satisfies that*${\gamma}_{\ast}>0$

*and*,

*moreover*,

- (i)
*f**is non*-*decreasing on*$[\stackrel{\u02c6}{c}{R}_{1},{\beta}_{1}]$; - (ii)
*f**is non*-*increasing on*$[\stackrel{\u02c6}{c}{R}_{2},{\alpha}_{2}]$; - (iii)
${lim}_{u\to {0}^{+}}\frac{f(u)}{u}=+\mathrm{\infty}$

*and*${lim}_{u\to +\mathrm{\infty}}\frac{f(u)}{u}=0$.

*Then BVP*(4.1)-(4.3)

*has at least two positive solutions for any*$\lambda >0$

*satisfying*

*Proof*The main idea in the proof is to apply Theorems 2.1 and 3.1 in two disjoint conical shells in order to get two different non-trivial fixed points. Firstly, we are going to check that the conditions of Theorem 2.1 are satisfied.

- (1.a)
${\alpha}_{2}\le T{\alpha}_{2}$

*and there exists*${R}_{2}>0$*such that*$B[{\alpha}_{2},{R}_{2}]\subset K$*.*We have ${\alpha}_{2}\le T{\alpha}_{2}$ because of the inequality $\frac{{\alpha}_{2}}{{\gamma}_{\ast}f({\alpha}_{2})}\le \lambda $. On the other hand, the inequality ${\alpha}_{2}\ge {R}_{2}(2(2{\theta}_{1}+{\xi}_{1}^{2})-1)$ implies that $B[{\alpha}_{2},{R}_{2}]\subset K$. Indeed, let $u\in B[{\alpha}_{2},{R}_{2}]$, that is,${\alpha}_{2}-{R}_{2}\le u(t)\le {\alpha}_{2}+{R}_{2}\phantom{\rule{1em}{0ex}}\text{for all}t\in [0,1].$Since $2{\theta}_{1}+{\xi}_{1}^{2}>1$, we have ${\alpha}_{2}>{R}_{2}$ and then $u(t)>0$ for all $t\in [0,1]$. Moreover, it is easy to check that$\underset{t\in [0,1]}{min}u(t)\ge {\alpha}_{2}-{R}_{2}\ge \stackrel{\u02c6}{c}({\alpha}_{2}+{R}_{2})\ge \stackrel{\u02c6}{c}\parallel u\parallel ,$which means that $u\in K$.

- (1.b)
*The map**T**is monotone non-increasing in the set*${K}_{2}=\{x\in K:{R}_{2}\le \parallel x\parallel \le \parallel {\alpha}_{2}\parallel \}.$This fact is a consequence of the assumption (ii).

- (1.c)
*There exists*${r}_{2}>0$*, with*${r}_{2}\ne {R}_{2}$*, such that*$Tx\ngeqq x$*for all*$x\in K$*with*$\parallel x\parallel ={r}_{2}$*.*By the second part of the assumption (iii), we have this result for ${r}_{2}>{R}_{2}$ large enough.

- (2.a)
$T{\beta}_{1}\le {\beta}_{1}$

*and there exists*${R}_{1}>0$*such that*$B[{\beta}_{1},{R}_{1}]\subset K$*.*We have $T{\beta}_{1}\le {\beta}_{1}$ because of the inequality $\lambda \le \frac{{\beta}_{1}}{{\gamma}^{\ast}f({\beta}_{1})}$. Again, ${\beta}_{1}\ge {R}_{1}(2(2{\theta}_{1}+{\xi}_{1}^{2})-1)$ implies that $B[{\beta}_{1},{R}_{1}]\subset K$ by reasoning as in the proof of claim (1.a).

- (2.b)
*The map**T**is monotone non-decreasing in the set*${K}_{1}=\{x\in K:{R}_{1}\le \parallel x\parallel \le \parallel {\beta}_{1}\parallel ={\beta}_{1}\}.$This fact is a consequence of the assumption (i).

- (2.c)
*There exists*${r}_{1}>0$*, with*${r}_{1}\ne {R}_{1}$*, such that*$Tx\nleqq x$*for all*$x\in K$*with*$\parallel x\parallel ={r}_{1}$*.*By the first part of the assumption (iii), we have this result for $0<{r}_{1}<{R}_{1}$ small enough.

Then, applying Theorem 3.1, we get the existence of a solution ${x}_{1}\in K$ such that ${r}_{1}<\parallel {x}_{1}\parallel \le {\beta}_{1}$. Since ${\beta}_{1}<\stackrel{\u02c6}{c}{R}_{2}$, we have that ${x}_{1}\ne {x}_{2}$ and the theorem is proven. □

The following example illustrates our previous theorem.

**Example 4.3**We consider the BVP

In this example $g(t)=1$, and by [13] we know that ${\gamma}_{\ast}=\frac{3,677}{31,500}$ and ${\gamma}^{\ast}=\frac{23,809}{63,000}$. Moreover, since ${\theta}_{1}=\frac{5}{6}$ and ${\xi}_{1}=\frac{1}{5}$, we have $\stackrel{\u02c6}{c}=\frac{53}{128}$.

## Declarations

### Acknowledgements

Alberto Cabada and José Ángel Cid were partially supported by Ministerio de Educación y Ciencia, Spain, and FEDER, Project MTM2010-15314. This paper was partially written during the visit of Gennaro Infante to the Departamento de Análise Matemática of the Universidade de Santiago de Compostela. Gennaro Infante is grateful to the people of the aforementioned Departamento for their kind and warm hospitality.

## Authors’ Affiliations

## References

- Persson H: A fixed point theorem for monotone functions.
*Appl. Math. Lett.*2006, 19: 1207–1209. 10.1016/j.aml.2006.01.008MathSciNetView ArticleGoogle Scholar - Cabada A, Cid JA: Existence of a non-zero fixed point for nondecreasing operators via Krasnoselskii’s fixed point theorem.
*Nonlinear Anal.*2009, 71: 2114–2118. 10.1016/j.na.2009.01.045MathSciNetView ArticleGoogle Scholar - Cid JA, Franco D, Minhós F: Positive fixed points and fourth-order equations.
*Bull. Lond. Math. Soc.*2009, 41: 72–78. 10.1112/blms/bdn105MathSciNetView ArticleGoogle Scholar - Franco D, Infante G, Perán J: A new criterion for the existence of multiple solutions in cones.
*Proc. R. Soc. Edinb. A*2012, 142: 1043–1050. 10.1017/S0308210511001016View ArticleGoogle Scholar - Zeidler E:
*Nonlinear Functional Analysis and Its Applications. I. Fixed-Point Theorems*. Springer, New York; 1986.View ArticleGoogle Scholar - Amann H: On the number of solutions of nonlinear equations in ordered Banach spaces.
*J. Funct. Anal.*1972, 11: 346–384. 10.1016/0022-1236(72)90074-2MathSciNetView ArticleGoogle Scholar - Cabada A, Cid JA: A note on fixed point theorems for
*T*-monotone operators.*Comput. Math. Appl.*2004, 47: 853–857. 10.1016/S0898-1221(04)90069-7MathSciNetView ArticleGoogle Scholar - Heikkilä S, Lakshmikantham V Monographs and Textbooks in Pure and Applied Mathematics 181. In
*Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations*. Dekker, New York; 1994.Google Scholar - Infante G, Webb JRL: Nonlinear nonlocal boundary value problems and perturbed Hammerstein integral equations.
*Proc. Edinb. Math. Soc.*2006, 49: 637–656. 10.1017/S0013091505000532MathSciNetView ArticleGoogle Scholar - Lan KQ: Multiple positive solutions of semilinear differential equations with singularities.
*J. Lond. Math. Soc.*2001, 63: 690–704. 10.1112/S002461070100206XView ArticleGoogle Scholar - Graef JR, Qian C, Yang B: Multiple symmetric positive solutions of a class of boundary value problems for higher order ordinary differential equations.
*Proc. Am. Math. Soc.*2003, 131: 577–585. 10.1090/S0002-9939-02-06579-6MathSciNetView ArticleGoogle Scholar - Karakostas GL, Tsamatos PCh: Existence of multiple positive solutions for a nonlocal boundary value problem.
*Topol. Methods Nonlinear Anal.*2002, 19: 109–121.MathSciNetGoogle Scholar - Infante, G, Pietramala, P: The displacement of a sliding bar subject to nonlinear controllers. In: Proceedings of the International Conference on Differential & Difference Equations and Applications. Springer, Berlin (in press)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.