 Research
 Open access
 Published:
New criteria for the existence of nontrivial fixed points in cones
Fixed Point Theory and Applications volume 2013, Article number: 125 (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.
1 Introduction and preliminaries
The classical cone compressionexpansion 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 finitedimensional setting, both methods were combined in [2] to obtain the existence of a fixed point, assuming the operator T to be monotone nondecreasing 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 nondecreasing (Section 3) but also for nonincreasing operators (Section 2). We point out that this type of theorems can be combined in the applications to obtain the existence of multiple nontrivial 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 yx\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 yx\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.
If T:K\to K satisfies the conditions
and
then it is called a cone compression when 0<R<\overline{R} and a cone expansion when 0<\overline{R}<R.
The closed ball of center {x}_{0}\in N and radius r>0 is denoted by
and for x,y\in N, with x\le y, we define the interval
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 Nonincreasing 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 nonincreasing 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 nonzero 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 nonincreasing 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 nonzero 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 nonzero fixed point {x}_{1}\in K such that
As a direct consequence of Theorem 2.1, we obtain the following ‘dual result’ for a nonincreasing 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 nonincreasing 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 nonzero 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 nonincreasing 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 nonzero 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 nonincreasing 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 nonincreasing 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 nonzero 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 nonincreasing 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 nonzero 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.
(ii) An example of a cone satisfying condition (2.1) is, for instance, the one used in [7]
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 nonincreasing 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 nonzero 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.
When \parallel {\alpha}_{1}\parallel <\sigma \parallel T{\alpha}_{1}\parallel, by the definition of {R}_{1}, it is obvious that {\alpha}_{1},T{\alpha}_{1}\in {K}_{10}; so, since T is nonincreasing 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 nonzero fixed point {x}_{1}\in K such that
3 Nondecreasing operators
For nondecreasing 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 nondecreasing 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 nonzero 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
(13′) the map T is monotone nondecreasing in the set
Then the map T has at least one nonzero 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 nondecreasing 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 nonzero 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 nondecreasing 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 nonzero 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 nonzero 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 nontrivial 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
We now discuss the existence of positive solutions of the nonlocal boundary value problem (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.
This BVP can be rewritten as a Hammerstein integral equation of the form
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 fourthorder boundary value problem
is given by
Moreover, for (t,s)\in [0,1]\times [0,1], we have
where
Note that {\theta}_{1}+{\xi}_{1}>1 implies that 2{\theta}_{1}+{\xi}_{1}^{2}>1 and so 0<\stackrel{\u02c6}{c}<1. Now, with the above conditions, it is routine to prove that T:C[0,1]\to C[0,1] leaves invariant the cone
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.
We will make use of the numbers
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 nondecreasing on [\stackrel{\u02c6}{c}{R}_{1},{\beta}_{1}];

(ii)
f is nonincreasing 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 nontrivial 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 nonincreasing 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.
So, Theorem 2.1 implies the existence of a solution {x}_{2}\in K such that
Now, we are going to check that the conditions of Theorem 3.1 are satisfied.

(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 nondecreasing 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
with
In Figures 1, 2 and 3 you can see the behavior of the function f on different intervals.
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}.
Now, it is easy to check that all the assumptions of Theorem 4.2 are satisfied by taking {\beta}_{1}=\frac{3}{2}, {\alpha}_{2}=20, {R}_{1}=\frac{1}{2} and {R}_{2}=8. So, by Theorem 4.2, BVP (4.8)(4.9) has at least two positive solutions provided that
References
Persson H: A fixed point theorem for monotone functions. Appl. Math. Lett. 2006, 19: 1207–1209. 10.1016/j.aml.2006.01.008
Cabada A, Cid JA: Existence of a nonzero fixed point for nondecreasing operators via Krasnoselskii’s fixed point theorem. Nonlinear Anal. 2009, 71: 2114–2118. 10.1016/j.na.2009.01.045
Cid JA, Franco D, Minhós F: Positive fixed points and fourthorder equations. Bull. Lond. Math. Soc. 2009, 41: 72–78. 10.1112/blms/bdn105
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/S0308210511001016
Zeidler E: Nonlinear Functional Analysis and Its Applications. I. FixedPoint Theorems. Springer, New York; 1986.
Amann H: On the number of solutions of nonlinear equations in ordered Banach spaces. J. Funct. Anal. 1972, 11: 346–384. 10.1016/00221236(72)900742
Cabada A, Cid JA: A note on fixed point theorems for T monotone operators. Comput. Math. Appl. 2004, 47: 853–857. 10.1016/S08981221(04)900697
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.
Infante G, Webb JRL: Nonlinear nonlocal boundary value problems and perturbed Hammerstein integral equations. Proc. Edinb. Math. Soc. 2006, 49: 637–656. 10.1017/S0013091505000532
Lan KQ: Multiple positive solutions of semilinear differential equations with singularities. J. Lond. Math. Soc. 2001, 63: 690–704. 10.1112/S002461070100206X
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/S0002993902065796
Karakostas GL, Tsamatos PCh: Existence of multiple positive solutions for a nonlocal boundary value problem. Topol. Methods Nonlinear Anal. 2002, 19: 109–121.
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)
Acknowledgements
Alberto Cabada and José Ángel Cid were partially supported by Ministerio de Educación y Ciencia, Spain, and FEDER, Project MTM201015314. 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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors contributed equally and significantly in writing this article. All the authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Cabada, A., Cid, J.Á. & Infante, G. New criteria for the existence of nontrivial fixed points in cones. Fixed Point Theory Appl 2013, 125 (2013). https://doi.org/10.1186/168718122013125
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122013125