Fixed point theorems for monotone operators and applications to nonlinear elliptic problems
© Wu and Liu; licensee Springer 2013
Received: 12 February 2013
Accepted: 8 May 2013
Published: 27 May 2013
In this paper, some fixed point theorems for monotone operators in partially ordered complete metric spaces are proved. Especially, a sufficient and necessary condition for the existence of a fixed point for a class of monotone operators is presented. The main results of this paper are generalizations of the recent results in the literature. Also, the main results can be applied to solve the nonlinear elliptic problems and the delayed hematopoiesis models.
Keywordscoupled fixed point partially ordered metric space mixed monotone mapping quadruple fixed point
In the last decades, the fixed point theorems for the contraction mappings have been improved and generalized in different directions. During the extensive applications to the nonlinear integral equations, there were many researchers to investigate the existence of a fixed point for contraction-type mappings in partially ordered metric spaces. In 2006, Bhaskar and Lakshmikantham  introduced the notion of coupled fixed point and proved some coupled fixed point theorems for mixed monotone mappings. Later, Lakshmikantham and Ciric presented a coincidence point theorem for a mapping with g-monotone property in . Also, the concepts of tripled fixed point and quadruple fixed point were introduced by the authors in  and , respectively. Meanwhile, they proved the corresponding fixed point theorems. More details on the direction of the coupled fixed point theory and its applications can be found in the literature (see, e.g., [5–27]).
In this manuscript, we give a common method to deal with the existence of a coupled fixed point and the coincidence point for a class of mixed monotone mappings in a partially ordered complete metric space. Indeed, we establish some fixed point theorems for the monotone operators in the partially ordered complete metric space. Especially, we present the sufficient and necessary condition for the existence of a fixed point for a class of monotone operators. Our results improve and generalize the main results in the literature [1–4, 10].
In the rest of this section, we recall some basic definitions.
Let be a partially ordered set, a subset is said to be a totally ordered subset if either or holds for all . We say the elements x and y are comparable if either or holds. It is said that a triple is a partially ordered complete metric space if is a partially ordered set and is a complete metric space. Let Φ denote all the functions which satisfy that and for all . We should mention that Agarwal et al.  considered the non-decreasing functions satisfying for all and established some fixed point theorems.
Definition 1.1 (Bhaskar and Lakshmikantham )
Definition 1.2 (Bhaskar and Lakshmikantham )
An element is said to be a coupled fixed point of the mapping if and .
2 Fixed points theorems for monotone operators
- (i)there is a such that(1)
there exists an such that ;
either (a) G is a continuous operator, or (b) if a non-decreasing monotone sequence in X tends to , then for all n.
Then the operator G has a fixed point in X.
If there exists such that , then and is a fixed point of G. Then the result of Theorem 2.1 trivially holds.
This is a contradiction. Thus .
Also, . This means that the set Ω is invariant for the operator G. Clearly, . Thus for all . So, the sequence is a Cauchy sequence in . Since is a complete metric space, there exists a point such that .
So, . The proof of Theorem 2.1 is complete. □
Thus, if F has the mixed monotone property on X, then the operator G is non-decreasing monotone for the order ⪯. For , let , then is a complete metric space provided is a complete metric space. Then, as a consequence of Theorem 2.1, we achieve the following corollary.
- (i)there is a such that satisfying
there exists an such that ;
one of (a) and (b) holds:
G is a continuous operator;
if a non-decreasing monotone sequence in tends to , then for all n.
Let , then we have the following theorem.
G is a continuous operator;
if a monotone sequence in tends to , then and are comparable for all n.
Then the operator G has a fixed point in if and only if . Furthermore, if D is a totally ordered nonempty subset, then the operator G has a unique fixed point in .
Proof It is easy to see that all the fixed points of G fall in the set D. Thus if the operator G has a fixed point in , then .
For a mini-revise to the proof of Theorem 2.1 and resetting , we conclude that the sequence tends to a fixed point of G.
Thus the operator G has a fixed point in .
Thus , that is, . The proof of Theorem 2.2 is complete. □
Following Theorem 2.1, we have the next two corollaries.
Corollary 2.2 (, Theorem 2.1)
Thus Corollary 2.1 is an immediate consequence of Theorem 2.1. □
Corollary 2.3 (, Theorem 2.2)
if a non-decreasing sequence , then for all n;
if a non-increasing sequence , then for all n.
Proof It follows from Theorem 2.1 immediately. □
Let be a real Banach space and let K be a cone. The relation holds if and only if . Denote and for a given . Let and for . Then d defines a metric on which is known as the Thompson metric . More details about the Thompson metric can be found in the references [29–32]
At this stage, we state our main results in the real Banach space.
Then A has a unique fixed point in , that is, there exists a unique point such that .
In order to prove this result, we need some technique lemmas.
Lemma 2.1 (, Lemma 3.1)
Thus . □
Thus (3) holds for all n.
This shows that both successive sequences and are Cauchy sequences. □
that and . The uniqueness is obvious. Thus A has a unique fixed point in , that is, there exists a unique point such that . The proof is complete. □
Remark 2.1 Our result in Theorem 2.3 improved the corresponding result in  (Theorem 3.4) and removed some restriction conditions: the successive sequences have convergent subsequences.
3 Application to the nonlinear elliptic problems
When , and , it is well known that (4) has no positive solution if , and that the positive solution of (4) is unique if , see  and . Also, in this case when , (4) has a unique positive radial solution .
In this section, we assume that , and are constants, and are positive and continuous for . Our result is as follows.
Theorem 3.1 Problem (4) has a unique positive radial solution if , where and .
To this end, we should establish a technique lemma.
Proof of Theorem 3.1 Let K denote the cone of nonnegative functions in , the relation holds if and only if for all , and for , then and . Denote .
Thus the map is well defined and for . Also, . Obviously, is a mixed monotone map in and and .
This means that . Thus problem (4) has a unique positive radial solution. □
4 Application to the delayed hematopoiesis models
where are positive T-periodic functions and for all , q is a nonnegative constant (). In the case when , Wu  proved that (6) had a unique positive T-periodic solution.
Here we assume that and our result is as follows.
Theorem 4.1 Problem (6) has a unique positive T-periodic solution.
This means and . Thus and are well defined and . Also, . Obviously, and are mixed monotone maps in and and .
This means that . Thus problem (6) has a unique positive T-periodic solution. □
Remark 4.1 Using similar ideas, it is possible to extend our results to investigate the existence and uniqueness of nonlinear singular boundary value problems and fractional differential equation boundary value problems, which are mentioned extensively in the literature [10, 11, 25].
The authors are grateful to the reviewers for their valuable comments and suggestions. This work was partly supported by the National Natural Science Foundation of China (11201481) and Hunan Provincial Education Department Foundation (12B007).
- Bhaskar TG, Lakshmikantham V: Fixed point theory in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
- Lakshmikantham V, Ciric L: Couple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020MathSciNetView ArticleGoogle Scholar
- Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74(15):4889–4897. 10.1016/j.na.2011.03.032MathSciNetView ArticleGoogle Scholar
- Karapinar E, Luong NV: Quadruple fixed point theorems for nonlinear contractions. Comput. Math. Appl. 2012. doi:10.1016/j.camwa.2012.02.061Google Scholar
- Abbas M, Khan MA, Radenovic S: Common coupled fixed point theorems in cone metric space for w -compatible mappings. Appl. Math. Comput. 2010, 217: 195–203. 10.1016/j.amc.2010.05.042MathSciNetView ArticleGoogle Scholar
- Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal. 2010, 72: 2238–2242. 10.1016/j.na.2009.10.023MathSciNetView ArticleGoogle Scholar
- Chen YZ: Existence theorems of coupled fixed points. J. Math. Anal. Appl. 1991, 154: 142–150. 10.1016/0022-247X(91)90076-CMathSciNetView ArticleGoogle Scholar
- Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 2010, 73: 2524–2531. 10.1016/j.na.2010.06.025MathSciNetView ArticleGoogle Scholar
- Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803. 10.1016/j.na.2010.10.052MathSciNetView ArticleGoogle Scholar
- Huang C-Y: Fixed point theorems for a class of positive mixed monotone operators. Math. Nachr. 2012, 285: 659–669. 10.1002/mana.200910277MathSciNetView ArticleGoogle Scholar
- Huang MJ, Huang CY, Tsai TM: Hilbert’s projective metric and nonlinear elliptic problems. Nonlinear Anal. 2009, 71: 2576–2584. 10.1016/j.na.2009.01.093MathSciNetView ArticleGoogle Scholar
- Figueroa R, López Pouso R: Coupled fixed points of multivalued operators and first-order ODEs with state-dependent deviating arguments. Nonlinear Anal. 2011, 74: 6876–6889. 10.1016/j.na.2011.07.010MathSciNetView ArticleGoogle Scholar
- Karapinar E, Berinde V: Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Banach J. Math. Anal. 2012, 6: 74–79.MathSciNetView ArticleGoogle Scholar
- Karapinar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59: 3656–3668. 10.1016/j.camwa.2010.03.062MathSciNetView ArticleGoogle Scholar
- Thompson AC: On certain contraction mappings in a partially ordered vector space. Proc. Am. Math. Soc. 1963, 14: 438–443.Google Scholar
- Samet B, Vetro C, Vetro P: Fixed point theorems for φ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014MathSciNetView ArticleGoogle Scholar
- Shatanawi W: Partially ordered cone metric spaces and coupled fixed point results. Comput. Math. Appl. 2010, 60: 2508–2515. 10.1016/j.camwa.2010.08.074MathSciNetView ArticleGoogle Scholar
- Shatanawi W, Samet B:On -weakly contractive condition in partially ordered metric spaces. Comput. Math. Appl. 2011, 62: 3204–3214. 10.1016/j.camwa.2011.08.033MathSciNetView ArticleGoogle Scholar
- Shatanawi W: On w -compatible mappings and common coupled coincidence point in cone metric spaces. Appl. Math. Lett. 2012, 25: 925–931. 10.1016/j.aml.2011.10.037MathSciNetView ArticleGoogle Scholar
- Xiao JZ, Zhu XH, Cao YF: Common coupled fixed point results for probabilistic φ -contractions in Menger spaces. Nonlinear Anal. 2011, 74: 4589–4600. 10.1016/j.na.2011.04.030MathSciNetView ArticleGoogle Scholar
- Liu YC, Li ZX: Krasnoselskii type fixed point theorems and applications. Proc. Am. Math. Soc. 2008, 136: 1213–1220.View ArticleGoogle Scholar
- Gidas B, Ni W-M, Nirenberg L: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 1979, 68: 209–243. 10.1007/BF01221125MathSciNetView ArticleGoogle Scholar
- Ni W-M, Nussbaum RD:Uniqueness and nonuniqueness for positive radial solutions of . Commun. Pure Appl. Math. 1985, 38: 67–108. 10.1002/cpa.3160380105MathSciNetView ArticleGoogle Scholar
- Bushell PJ: The Cayley-Hilbert metric and positive operators. Linear Algebra Appl. 1986, 84: 271–280.MathSciNetView ArticleGoogle Scholar
- Zhai C, Hao M: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 2012, 75: 2542–2551. 10.1016/j.na.2011.10.048MathSciNetView ArticleGoogle Scholar
- Wu J, Liu Y: Fixed point theorems and uniqueness of the periodic solution for the hematopoiesis models. Abstr. Appl. Anal. 2012., 2012: Article ID 387193. doi:10.1155/2012/387193Google Scholar
- Yang XT: Existence and global attractivity of unique positive almost periodic solution for a model of hematopoiesis. Appl. Math. J. Chin. Univ. Ser. A 2010, 25: 25–34. 10.1007/s11766-010-2111-6View ArticleGoogle Scholar
- Agarwal RP, El-Gebelly MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 109–116. 10.1080/00036810701556151MathSciNetView ArticleGoogle Scholar
- Guo DJ, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11: 623–632. 10.1016/0362-546X(87)90077-0MathSciNetView ArticleGoogle Scholar
- Guo DJ: Fixed points of mixed monotone operators with applications. Appl. Anal. 1988, 31: 215–224. 10.1080/00036818808839825MathSciNetView ArticleGoogle Scholar
- Guo DJ: Existence and uniqueness of positive fixed points for mixed monotone operators and applications. Appl. Anal. 1992, 46: 91–100. 10.1080/00036819208840113MathSciNetView ArticleGoogle Scholar
- Guo DJ, Cho YJ, Zhu J: Partial Ordering Methods in Nonlinear Problems. Nova Science Publishers, Hauppauge; 2004.Google Scholar
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.