- Research
- Open access
- Published:
New fixed point theorems on order intervals and their applications
Fixed Point Theory and Applications volume 2015, Article number: 218 (2015)
Abstract
In this paper, we prove the existence of fixed points for nonlinear and semilinear operators on order intervals. The abstract results unified some methods in studying the existence of positive solutions for boundary and initial value problems of nonlinear difference and differential equations. Applications are shown by examples.
1 Introduction
Fixed point theory has been an important tool in the study of differential and integral equations [1, 2], economics [3], optimization and game theory [4] among others. The simplest theorem from elementary calculus considers the existence of positive roots for the equation: \(f(x)=x\) on \(\mathbb{R}_{+}=[0, +\infty)\). Clearly, if there exist \(b>a>0\) such that \(f\in C[a,b]\) and either \(f(a)\leq a\) and \(f(b)\geq b\) or \(f(a)\geq a\) and \(f(b)\leq b\), then there exists a \(x^{\star}\in [ a,b]\) such that \(x^{\star}=f(x^{\star})\), that is: the function \(f(x)\) has a fixed point \(x^{\star}\in[ a,b]\). Such result had been expanded to an abstract operator equation to obtain the Guo-KrasnoselskiÄ fixed point theorem concerning cone expansion and compression of norm type as follows (see [5] and [6]).
Lemma 1.1
Let X be a Banach space and P be a cone in X. Assume that \(\Omega_{1}\) and \(\Omega_{2}\) are open subsets of X with \(0\in\Omega_{1}\) and \(\overline{\Omega}_{1}\subset\Omega_{2}\). Let \(T:P\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\rightarrow P\) be completely continuous operator. If either \(\Vert Tu\Vert\leq\Vert u\Vert\) for \(u\in P\cap\partial\Omega_{1}\) and \(\Vert Tu\Vert\geq\Vert u\Vert\) for \(u\in P\cap\partial\Omega_{2}\) or \(\Vert Tu\Vert\leq\Vert u\Vert\) for \(u\in P\cap\partial\Omega_{2}\) and \(\Vert Tu\Vert\geq\Vert u\Vert\) for \(u\in P\cap\partial\Omega_{1}\) holds, then T has a fixed point in \(P\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\).
It is well-known that this abstract result can be applied to obtain an abundance of concrete results for some special problems [1, 7–10], for example, (a) Hammerstein integral equations, (b) boundary value problems for semilinear ordinary differential equations, (c) boundary value problems for semilinear elliptic differential equations, (d) initial-value problems for semilinear parabolic differential equations, (e) discrete boundary value problems or the nonlinear algebraic equations systems, (f) boundary value problems for semilinear fractional differential equations, (g) boundary value problems for semilinear time scale differential equations, (h) existence of periodic solutions for some functional differential equations, etc. Because these problems can be regarded as abstract operator equations.
Let X be an ordered Banach space with the cone \(X_{+}\). We found that many problems depend on properly constructing subcones of \(X_{+}\). For example, the following well-known subcones of \(X_{+}\) have been extensively applied. First, let \(P_{1}\) be defined as
where \(X=C[0, 1]\), \(X_{+} = \{u\in X, u(t)\geq0 \mbox{ for } t\in [0,1]\}\) and
The cone \(P_{1}\) was first used in [11] and then in [5], followed by many authors in studying boundary value problems, for instance, [8, 12–14]. Recently, in [14], the authors proved results on the existence of positive solutions for singular fractional differential equations with integral boundary conditions. \(P_{1}\) was applied with the constant c defined as \(c=\frac{k_{2} (1-M_{0})}{k_{1}}\), where \(M_{0}\), \(k_{1}\) and \(k_{2}\) are determined by the associated Green’s function.
Second, let \(P_{2}\) be defined as
where
a, b, c are positive constants used for the boundary conditions. The cone \(P_{2}\) was most recently used in [10] to prove the existence of positive solutions for second-order non-local boundary value problems with singularities in space variables.
Third, let \(P_{3}\) be defined as
where \(X=C[0,1]\), \(2<\alpha<3\), \(q(t)=t^{\alpha-1}\), \(\|u\| =\|u\|_{\infty } \). The cone \(P_{3}\) was applied in [15] to prove the existence of solutions for fractional boundary value problems.
Last, define \(P_{4}\) as
where \(X=\mathbb{R}^{n}\), \(|x| = \max_{1\leq i \leq n} |x_{i}|\), \(1>\gamma >0\). The cone \(P_{4}\) was used in [9, 16] to prove the existence of positive solutions for a class of nonlinear algebraic systems.
As a generalization to some subcones applied previously, we introduce the following unified subcone \(P_{u_{0}}\) on the abstract ordered Banach space X. Letting \(u_{0}\in X_{+} \) with \(\Vert u_{0}\Vert\leq1\), define
For \(a,b\geq0\) and \(x,y\in P_{u_{0}}\), we have
It can be verified that \(P_{u_{0}}\) is a cone, which is a subcone of \(X_{+}\).
In this paper, we will consider the existence of solutions for the operator equation
When \(T=Kf\), where K is a linear operator and f is nonlinear, we can obtain an abstract Hammerstein equation:
\(P_{u_{0}}\) is a new and general cone. When we choose different \(u_{0}\), some known cones such as (1.1)-(1.4) can be obtained. When the obtained abstract results are applied to concrete cases (a)-(h), new results can be naturally obtained. Compared to the Guo-KrasnoselskiÄ’s result, our abstract results are established on order intervals rather than an annular region of the cone. Therefore, no conditions for the operator T outside the interval are necessary. This expands the recent idea in [9].
2 Main results
Let X be an ordered Banach space defined with the cone \(X_{+}\). An ordered interval is defined as
For any \(r>0\), we denote \(\Omega_{r}= \{ x\in X:\Vert x\Vert < r \} \) and \(\partial\Omega_{r}= \{ x\in X:\Vert x\Vert =r \} \).
Theorem 2.1
Assume that X is an ordered Banach space with the order cone \(X_{+}\). Let \(0\leq u_{0}\leq\varphi\) be such that \(\|u_{0}\| \leq1\), \(\| \varphi\| =1\) satisfying the condition:
If there exist positive numbers \(0< a< b\) such that \(T: P_{u_{0} }\cap( \overline{\Omega}_{b}\setminus\Omega_{a}) \rightarrow P_{u_{0} }\) is a completely continuous operator and the conditions:
or
are satisfied, then T has a fixed point \(x_{0}\in[a u_{0}, b\varphi]\).
Proof
Assume that condition (2.1) is satisfied. For \(x\in P_{u_{0} }\cap \partial\Omega_{a}\), we have \(\| x \| =a\) and \(\frac{x}{\|x\|} \leq \varphi\), hence \(x\leq\|x\| \varphi= a\varphi\). Since \(x\in P_{u_{0} }\), we have
Therefore \(x\in[a u_{0}, a\varphi]\). Condition (2.1) ensures that \(\| T(x) \| \leq a= \| x \| \).
On the other hand, for \(x\in P_{u_{0} }\cap\partial\Omega_{b}\), we have \(\| x \| =b\) and \(\frac{x}{\|x\|}\leq\varphi\), hence \(x\leq\| x\| \varphi= b\varphi\). Again, \(x\in P_{u_{0} } \) implies that
Therefore \(x\in[b u_{0}, b \varphi]\). By condition (2.1), we obtain \(\|T(x)\| \geq b= \| x \|\). Applying Lemma 1.1, we obtain that T has at least one fixed point \(x_{0} \in P_{u_{0}} \cap(\overline{\Omega}_{b}\setminus \Omega _{a})\). Obviously, \(x_{0}\in\overline{ \Omega}_{b}\) implies \(x\leq\|x\| \varphi\leq b\varphi\) and \(x_{0}\in P_{u_{0}}\) ensures that \(x\geq\| x \| u_{0} \geq a u_{0}\). So \(x_{0}\in[ a u_{0} , b\varphi]\).
The proof is similar if condition (2.2) holds. □
As a special case of Theorem 2.1, let \(0<\delta\leq1\) and \(u_{0}= \delta\varphi\), we have
Therefore, we obtain the following theorem by applying Theorem 2.1.
Theorem 2.2
If there exist positive numbers \(a< b\) such that \(T: P_{\delta \varphi}\cap(\overline{\Omega}_{b}\setminus\Omega_{a})\rightarrow P_{\delta\varphi}\) is a completely continuous operator and the conditions
or
are satisfied, then T has a fixed point \(x_{0}\in[ \delta a\varphi, b\varphi]\).
In Theorem 2.2, let \(\delta=1\), we obtain the following corollary, which is a generalization of the fixed point theorem in finite dimensional spaces recently obtained in [9].
Corollary 2.3
If there exist positive numbers \(a< b\) such that \(T: P_{\varphi}\cap (\overline{\Omega}_{b}\setminus\Omega_{a})\rightarrow P_{\varphi}\) is completely continuous and the conditions
or
are satisfied, then T has a fixed point \(x_{0}\in[ a\varphi ,b\varphi]\).
Example 1
Consider the equation: \(x=x^{2}-1=f ( x ) \). Clearly, there exist the positive numbers 1 and 2 such that \(x^{2}-1\geq 0\) for \(x\in [ 1,2 ] \), \(f ( 1 ) =0\leq1\), and \(f ( 2 ) =3\geq2\). Thus, in view of Corollary 2.3, there exists \(\xi\in [1,2 ] \) such that \(\xi=\xi^{2}-1\). In fact, we have
However, \(f ( x ) \leq0\) for \(x\in [ 0,1 ] \).
We now consider the semilinear operator equation (1.7).
Theorem 2.4
Let \(f: X_{+} \to X \) be nonlinear and \(K: X\to X\) be a linear operator. Assume that \(u_{0}\) and φ are the same as in Theorem 2.1. If there exist positive numbers \(m\leq M\) and \(a< b\) such that
where \(Kf: P_{u_{0}}\cap(\overline{\Omega} _{b}\setminus\Omega_{a})\rightarrow P_{u_{0}} \) is completely continuous and, in addition, the conditions
or
are satisfied, then the operator equation (1.7) has a solution \(x_{0}\in[ a u_{0}, b\varphi]\).
Proof
As in the proof of Theorem 2.1, it can be shown that condition (2.8) ensures the following conditions:
Therefore,
and
The rest of the proof is similar to that of Theorem 2.1. □
Remark 2.5
In Theorem 2.4, let \(u_{0}= \delta\varphi\), we can obtain the parallel theorem of Theorem 2.2 for the semilinear case.
Remark 2.6
Condition (2.7) is always true when K is bounded and invertible. For a bounded linear operator, \(M=\|K\|\). If K is invertible, \(m=\frac{1}{\|K^{-1}\|}\).
For a Banach space with a normal cone, the norm condition (2.7) can be reduced to an order condition. The definition of a normal cone is given below [6].
Definition 2.7
The order cone \(X_{+}\) is called normal iff there is a number \(c>0\) such that, for all \(x, y \in X\):
The following result for a Banach space with a normal cone can be easily applied in many cases.
Theorem 2.8
Let X be an ordered Banach space with the normal cone \(X_{+}\) and the normal parameter c. Let \(f: X_{+} \to X \) be nonlinear and \(K: X \to X\) be a linear operator. Assume that there exist positive numbers \(m\leq M\) and \(a< b\) such that
\(Kf: P_{\delta\varphi}\cap(\overline{\Omega} _{b}\setminus\Omega_{a})\rightarrow P_{\delta\varphi} \) is a completely continuous operator, and that the conditions
or
are satisfied; then the operator equation (1.7) has a solution \(x_{0}\in[ \delta a\varphi, b\varphi]\).
The proof of Theorem 2.8 follows directly from Theorem 2.4 (\(u_{0}= \delta\varphi\)) and the fact that condition (2.10) implies
In the following example, we use the notation \(\operatorname{col}(x_{1}, x_{2})\) to denote the column vector \((x_{1}, x_{2})^{\bot} \in\mathbb{R}^{2}\).
Example 2
Let \(f(x) = x^{2} -1\), \(x\in\mathbb{R}_{+}= [0, \infty)\). Consider the system of equation:
where \(a_{ij} >0\), \(x=\operatorname{col}(x_{1}, x_{2}) \in\mathbb{R}^{2}\), \(f(x) = \operatorname{col}(f(x_{1}), f(x_{2}))\). Let the norm of \(\mathbb {R}^{2}\) be defined as \(\|x\|= \max\{ |x_{1}|, |x_{2}| \}\) and denote
Obviously \(\mathbb{R}^{2}_{+}\) is a normal cone of \(\mathbb{R}^{2}\) with the normal parameter \(c=1\).
System (2.13) can be written as \(Kf(x) =x\), where \(K: \mathbb{R}^{2}\to\mathbb{R}^{2}\) is the linear operator
Assume that
Let \(\varphi= \operatorname{col}(1, 1)\), \(\delta= \frac{m}{M}\), \(a=\frac{6}{5}\), \(b=5\). It can be verified that conditions (2.10) and (2.11) are satisfied. Therefore, (2.13) has at least one solution \(x=\operatorname{col}(x_{1}, x_{2})\) and \(\frac{3}{5}\leq x_{i} \leq5\), \(i=1,2\). In fact, if \(a_{11}=a_{12}=1\), \(a_{21}=a_{22}=\frac{1}{2}\), we can find that \(x = \operatorname{col}(\frac{2(1+\sqrt{11})}{5}, \frac {1+\sqrt{11}}{5} )\) is a solution of (2.13).
It can be seen that Example 2 is true for any finite dimensional space with the dimension \(n> 2\).
Remark 2.9
If there exist \(\{a_{k}\}\) and \(\{b_{k}\}\) such that \(a_{k}\) and \(b_{k}\) (\(k=1, 2, \ldots, n\)) satisfy all conditions of Theorem 2.1, and
then we can obtain n fixed points of T with \(a_{k}\), \(b_{k}\) (\(k=1, 2, \ldots, n\)) as an ordered sequence. The same results on multiple fixed points can be derived from other theorems.
Remark 2.10
Theorems proved in this section can also be extended to negative intervals to prove the existence of negative solutions.
3 Applications
The results obtained in Section 2 can be applied to existence of solutions for differential and difference equations. We will show some examples.
Example 3
Consider the discrete Dirichlet boundary value problem [9]:
where n is a positive integer, \([1, n] = \{1, 2, \ldots, n \}\), \(f: \mathbb{R}_{+} \to\mathbb{R}_{+} \), â–³ is the forward difference operator,
Let
BVP (3.1) can be rewritten as
where \(x=\operatorname{col}(x_{1}, x_{2}, \ldots, x_{n})\), \(f(x) = \operatorname{col} (f(x_{1}), f(x_{2}), \ldots,f(x_{n})) \). The same as shown in Example 2, (3.2) can be written as \(x=Kf(x)\) for \(x\in\mathbb{R}^{n} _{+}\), where \(K: \mathbb {R}^{n}\to\mathbb{R}^{n} \) is a linear operator. Let
Let \(\delta=\frac{m}{M}\). Applying Theorem 2.8, we obtain the results that were obtained in [9] most recently.
The following definition of a fractional derivative is related to our next example on fractional boundary value problem.
Definition 3.1
The Riemann-Liouvillle fractional derivative of order \(\alpha> 0\) of a continuous function \(u: [0, \infty) \to\mathbb{R} \) is defined to be
where \(\lceil{\alpha} \rceil\) denotes the ceiling function that returns the smallest integer greater than or equal to α.
Example 4
Consider the fractional boundary value problem [15]:
where \(\lambda>0\) is a parameter, \(h :(0, 1) \to(0, \infty)\), and \(f:[0, \infty) \to\mathbb{R}^{+}\) are nonnegative and continuous.
Let \(X=C[0, 1]\) with the standard norm \(\|u\| = \max_{0\leq t\leq 1}|u(t)|\), \(u\in X\). Let \(X_{+} = \{u\in C[0,1], u(t) \geq0 \mbox{ for } t\in[0,1] \} \). Define the Hammerstein operator \(N: X \to X\):
where
It is well-known that \(u\in X\) is a solution of (3.3)-(3.4) if and only if \(N(u)=u\) [15].
System (3.3)-(3.4) was recently studied in [17]. Applying Theorem 2.1, the following new result on the existence of a positive solution is obtained.
Theorem 3.2
Assume that \(h(s) \geq0 \) for \(s>0\) and \(f(x)> 0\) for \(x>0\). Denote
where \(q(s) =s^{\alpha-1}\). Assume that \(0< f_{0}, f_{\infty}<\infty \). If \(A f_{0} < B f_{\infty}\), then the BVP (3.3)-(3.4) has at least one positive solution for \(\lambda\in ( \frac{1}{ B f_{\infty}}, \frac{1}{A f_{0} } )\).
Proof
Let \(u_{0}=q(t) \), \(\varphi= 1\). It was shown that, for any \(\lambda >0\), \(N: P_{u_{0}} \to P_{u_{0}} \) is completely continuous [15]. For \(u\in P_{u_{0}}\), \(\|u\| = u(1)\). So \(u_{0}\) and φ satisfy the conditions of Theorem 2.1.
Since \(\lambda< \frac{1}{A f_{0}}\), we select \(\varepsilon_{1} >0\) small enough such that \(\lambda(f_{0}+ \varepsilon_{1} )A < 1\). Let \(\delta>0\) such that \(\frac{f(x)}{x}< f_{0} + \varepsilon_{1} \) for \(x\in(0, \delta)\) and \(a=\frac{\delta}{2}\). Then, for \(u \in C[0, 1]\), \(u\in[a q(t), a] \), we have
Since \(\lambda> \frac{1}{Bf_{\infty}}\), there exist \(c>0\) and \(\varepsilon_{2}>0\) such that
Let \(N >0\) such that \(\frac{f(x)}{x} > f_{\infty} - \varepsilon_{2} \) for \(x\geq N\). Assume that \(N> c^{\alpha-1} \delta\). Let \(b= \frac{N}{c^{\alpha-1}}\). For \(u \in C[0, 1]\), \(b t^{\alpha -1} \leq u \leq b \), \(u(t) \geq N \) for \(t \in[c, 1]\). Therefore
By Theorem 2.1, N has a fixed point \(u_{\lambda} \in[a q(t), b]\). It is a positive solution of (3.3)-(3.4). □
References
Agarwal, RP, O’Regan, D, Wong, PJY: Positive Solutions of Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht (1999)
Agarwal, RP, O’Regan, D, Wong, PJY: Constant-Sign Solutions of Systems of Integral Equations. Springer, Berlin (2013)
Border, KC: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, Cambridge (1999)
Carl, S, Heikkilä, S: Fixed Point Theory in Ordered Sets and Applications: From Differential and Integral Equations to Game Theory. Springer, New York (2011)
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988)
Zeidler, E: Nonlinear Functional Analysis and Its Applications. I: Fixed-Point Theorems. Springer, New York (1992)
Graef, JR, Kong, L: Positive solutions for a class of higher order boundary value problems with fractional q-derivatives. Appl. Math. Comput. 218(19), 9682-9689 (2012)
Webb, JRL, Infante, G: Nonlocal boundary value problems of arbitrary order. J. Lond. Math. Soc. 79(2), 238-258 (2009)
Zhang, G, Ge, S: Existence of positive solutions for a class of discrete Dirichlet boundary value problems. Appl. Math. Lett. 48, 1-7 (2015)
Zima, M: Positive solutions of second-order non-local boundary value problems with singularities in space variables. Bound. Value Probl. 2014, 200 (2014)
KrasnoselskiÄ, MA, ZabreÄko, PP: Geometrical Methods of Nonlinear Analysis. Springer, Berlin (1984)
Guo, Y, Ge, W: Position solutions for three-point boundary value problems with dependence on the first order derivative. J. Math. Anal. 290, 291-301 (2004)
Infante, G, Webb, JRL: Loss of positivity in a nonlinear scalar heat equation. NoDEA Nonlinear Differ. Equ. Appl. 13(2), 249-261 (2006)
Jin, J, Liu, X, Jia, M: Existence of positive solution for singular fractional differential equations with integral boundary conditions. Electron. J. Differ. Equ. 2012, 63 (2012)
El-Shahed, M: Positive solutions for boundary value problem of nonlinear fractional differential equations. Abstr. Appl. Anal. 2007, Article ID 10368 (2007). doi:10.1155/2007/10368
Feng, W, Zhang, G: Eigenvalue and spectral intervals for a nonlinear algebraic system. Linear Algebra Appl. 439, 1-20 (2013)
Feng, W: Topological methods on solvability, multiplicity and eigenvalues of a nonlinear fractional boundary value problem. Electron. J. Qual. Theory Differ. Equ. 70, 1-16 (2015)
Acknowledgements
The authors thank the anonymous referees for helpful comments. The research was supported by a grant from the Natural Sciences and Engineering Research Council of Canada (NSERC) and the National Natural Science Foundation of China (No. 11371277).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Feng, W., Zhang, G. New fixed point theorems on order intervals and their applications. Fixed Point Theory Appl 2015, 218 (2015). https://doi.org/10.1186/s13663-015-0467-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0467-2