- Open Access
A new contraction mapping principle in partially ordered metric spaces and applications to ordinary differential equations
© Yan et al.; licensee Springer 2012
- Received: 28 April 2012
- Accepted: 30 August 2012
- Published: 18 September 2012
The aim of this paper is to extend the results of Harjani and Sadarangani and some other authors and to prove a new fixed point theorem of a contraction mapping in a complete metric space endowed with a partial order by using altering distance functions. Our theorem can be used to investigate a large class of nonlinear problems. As an application, we discuss the existence of a solution for a periodic boundary value problem.
- contraction mapping principle
- partially ordered metric spaces
- fixed point
- altering distance function
- differential equation
The Banach contraction principle is a classical and powerful tool in nonlinear analysis. Weak contractions are generalizations of Banach’s contraction mapping studied by several authors. In [1–8], the authors prove some types of weak contractions in complete metric spaces respectively. In particular, the existence of a fixed point for weak contraction and generalized contractions was extended to partially ordered metric spaces in [2, 9–18]. Among them, the altering distance function is basic concept. Such functions were introduced by Khan et al. in , where they present some fixed point theorems with the help of such functions. Firstly, we recall the definition of an altering distance function.
ψ is continuous and nondecreasing.
if and only if .
Recently, Harjani and Sadarangani proved some fixed point theorems for weak contraction and generalized contractions in partially ordered metric spaces by using the altering distance function in [11, 19] respectively. Their results improve the theorems of [2, 3].
Theorem 1.1 
where is continuous and nondecreasing function such that ψ is positive in , and . If there exists with , then f has a fixed point.
Theorem 1.2 
where ψ and ϕ are altering distance functions. If there exists with , then f has a fixed point.
Let ℜ denote the class of functions which satisfies the condition .
Theorem 1.3 
Assume that either f is continuous or M is such that if an increasing sequence , then , ∀n. Besides, if for each , there exists which is comparable to x and y, then f has a unique fixed point.
The purpose of this paper is to extend the results of [10, 11, 19] and to obtain a new contraction mapping principle in partially ordered metric spaces. The result is more generalized than the results of [10, 11, 19] and other works. The main theorems can be used to investigate a large class of nonlinear problems. In this paper, we also present some applications to first- and second-order ordinary differential equations.
We first recall the following notion of a monotone nondecreasing function in a partially ordered set.
Definition 2.1 If is a partially ordered set and , we say that T is monotone nondecreasing if , .
This definition coincides with the notion of a nondecreasing function in the case where and ≤ represents the usual total order in R.
We shall need the following lemma in our proving.
Lemma 2.1 If ψ is an altering distance function and is a continuous function with the condition for all , then .
This finishes the proof. □
In what follows, we prove the following theorem which is the generalized type of Theorem 1.1-1.3.
where ψ is an altering distance function and is a continuous function with the condition for all . If there exists such that , then T has a fixed point.
and this proves that z is a fixed point. This completes the proof. □
where ψ is an altering distance function and is a continuous function with the conditions for all . If there exists such that , then T has a fixed point.
Using Lemma 2.1, we have , which implies . Thus or equivalently, . □
Now, we present an example where it can be appreciated that the hypotheses in Theorems 2.1 and Theorems 2.2 do not guarantee the uniqueness of the fixed point. The example appears in .
Let and consider the usual order , . Thus, is a partially ordered set whose different elements are not comparable. Besides, is a complete metric space and is the Euclidean distance. The identity map is trivially continuous and nondecreasing, and the condition (9) of Theorem 2.2 is satisfied since the elements in X are only comparable to themselves. Moreover, and T has two fixed points in X.
Theorem 2.3 Adding the condition (11) to the hypotheses of Theorem 2.1 (resp. Theorem 2.2), we obtain the uniqueness of the fixed point of T.
Proof Suppose that there exist which are fixed points. We distinguish the following two cases:
By the condition for , we obtain and this implies .
This and the condition of Theorem 2.1 implies , and consequently, .
the uniqueness of the limit gives us . This finishes the proof. □
Remark 2.1 Under the assumption of Theorem 2.3, it can be proved that for every , , where z is the fixed point (i.e., the operator f is Picard).
Remark 2.2 Theorem 1.1 is a particular case of Theorem 2.1 for ψ, the identity function, and .
Theorem 1.2 is a particular case of Theorem 2.1 for , is an altering function in Theorem 1.2. Theorem 1.3 is a particular case of Theorem 2.1 for ψ, the identity function, and .
Clearly, satisfies the condition (10) since for , the functions and are the least upper and the greatest lower bounds of x and y, respectively. Moreover, in  it is proved that with the above mentioned metric satisfies the condition (9).
Now, we give the following definition.
Then the existence of a lower solution for (13) provides the existence of a unique solution of (13).
Finally, Theorems 2.2 and 2.3 give that F has an unique fixed point. □
Then our problem (20) has a unique nonnegative solution.
where is the Green function appearing in (21).
and this proves that T is a nondecreasing operator.
Theorems 2.2 and 2.3 tell us that F has a unique nonnegative solution. □
This project is supported by the National Natural Science Foundation of China under the grant (11071279).
- Khan MS, Swaleh M, Sessa S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 1984, 30(1):1–9. 10.1017/S0004972700001659MathSciNetView ArticleGoogle Scholar
- Dhutta P, Choudhury B: A generalization of contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 109–116. 10.1080/00036810701556151MathSciNetView ArticleGoogle Scholar
- Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal. 2001, 47: 2683–2693. 10.1016/S0362-546X(01)00388-1MathSciNetView ArticleGoogle Scholar
- Aydi H, Karapnar E, Bessem S: Fixed point theorems in ordered abstract spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 76Google Scholar
- Nieto JJ, Pouso RL, Rodríguez-López R: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Proc. Am. Math. Soc. 2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1View ArticleGoogle Scholar
- Gordji ME, Baghani H, Kim GH: Coupled fixed point theorems for contraction mapping induced by cone ball-metric in partially ordered spaces. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 981517Google Scholar
- Sintunavarat W, Cho YJ, Kumam P: Existence, regularity and stability properties of periodic solutions of a capillarity equation in the presence of lower and upper solutions. Fixed Point Theory Appl. 2012., 2012: Article ID 128Google Scholar
- Obersnel F, Omari P, Rivetti S: A generalization of Geraghty’s theorem in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal., Real World Appl. 2012, 13: 2830–2852. 10.1016/j.nonrwa.2012.04.012MathSciNetView ArticleGoogle Scholar
- Sastry K, Babu G: Some fixed point theorems by altering distance between the points. Indian J. Pure Appl. Math. 1999, 30: 641–647.MathSciNetGoogle 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
- Harjani J, Sadarangni K: Fixed point theorems for weakly contraction mappings in partially ordered sets. Nonlinear Anal. 2009, 71: 3403–3410. 10.1016/j.na.2009.01.240MathSciNetView ArticleGoogle Scholar
- Burgic D, Kalabusic S, Kulenovic M: Global attractivity results for mixed monotone mappings in partially ordered complete metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 762478Google Scholar
- Ciric L, Cakid N, Rajovic M, Uma J: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 131294Google Scholar
- Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems 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: Coupled 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
- Nieto JJ, Rodriguez-López R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5MathSciNetView ArticleGoogle Scholar
- Nieto JJ, Rodriguez-López R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 2007, 23: 2205–2212. 10.1007/s10114-005-0769-0View ArticleGoogle Scholar
- O’Regan D, Petrusel A: Fixed point theorems for generalized contractions in ordered metric spaces. J. Math. Anal. Appl. 2008, 341: 1241–1252. 10.1016/j.jmaa.2007.11.026MathSciNetView ArticleGoogle Scholar
- Harjani J, Sadarangni K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72: 1188–1197. 10.1016/j.na.2009.08.003MathSciNetView ArticleGoogle 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.