- Research Article
- Open access
- Published:
Contractive-Like Mapping Principles in Ordered Metric Spaces and Application to Ordinary Differential Equations
Fixed Point Theory and Applications volume 2010, Article number: 916064 (2010)
Abstract
The purpose of this paper is to present a fixed point theorem for generalized contractions in partially ordered complete metric spaces. We also present an application to first-order ordinary differential equations.
1. Introduction
Existence of fixed point in partially ordered sets has been considered recently in [1–17]. Tarski's theorem is used in [9] to show the existence of solutions for fuzzy equations and in [11] to prove existence theorems for fuzzy differential equations. In [2, 6, 7, 10, 13] some applications to ordinary differential equations and to matrix equations are presented. In [3–5, 17] some fixed point theorems are proved for a mixed monotone mapping in a metric space endowed with partial order and the authors apply their results to problems of existence and uniqueness of solutions for some boundary value problems.
In the context of ordered metric spaces, the usual contraction is weakened but at the expense that the operator is monotone. The main tool in the proof of the results in this context combines the ideas in the contraction principle with those in the monotone iterative technique [18].
Let denote the class of the class of the functions
which satisfies the condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ1_HTML.gif)
In [19] the following generalization of Banach's contraction principle appears.
Theorem 1.1.
Let be a complete metric space and let
be a mapping satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ2_HTML.gif)
where . Then
has a unique fixed point
and
converges to
for each
.
Recently, in [2] the authors prove a version of Theorem 1.1 in the context of ordered complete metric spaces. More precisely, they prove the following result.
Theorem 1.2.
Let be a partially ordered set and suppose that there exists a metric
in
such that
is a complete metric space. Let
be a nondecreasing mapping such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ3_HTML.gif)
where . Assume that either
is continuous or
satisfies the following condition:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ4_HTML.gif)
Besides, suppose that for each there exists
which is comparable to
and
. If there exists
with
, then
has a unique fixed point.
The purpose of this paper is to generalize Theorem 1.2 with the help of the altering functions.
We recall the definition of such functions.
Definition 1.3.
An altering function is a function which satisfies the following.
(a) is continuous and nondecreasing.
(b) if and only if
.
Altering functions have been used in metric fixed point theory in recent papers [20–22].
In [7] the authors use these functions and they prove some fixed point theorems in ordered metric spaces.
2. Fixed Point Theorems
Definition 2.1.
If is a partially ordered set and
, we say that
is monotone nondecreasing if for
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ5_HTML.gif)
This definition coincides with the notion of a nondecreasing function in the case and
represents the usual total order in
.
In the sequel, we prove the main result of the paper.
Theorem 2.2.
Let be a partially ordered set and suppose that there exists a metric
in
such that
is a complete metric space. Let
be a continuous and nondecreasing mapping such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ6_HTML.gif)
where is an altering function and
.
If there exist with
, then
has a fixed point.
Proof.
If , then the proof is finished. Suppose that
. Since
and
is a nondecreasing mapping, we obtain by induction that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ7_HTML.gif)
Put . Taking into account that
and since
for each
then, by (2.2), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ8_HTML.gif)
Using the fact that is nondecreasing, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ9_HTML.gif)
If there exists such that
, then
and
is a fixed point and the proof is finished. In another case, suppose that
for all
. Then, taking into account (2.5), the sequence
is decreasing and bounded below, so
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ10_HTML.gif)
Assume that .
Then, from (2.4), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ11_HTML.gif)
Letting in the last inequality and by the fact that
is an altering function, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ12_HTML.gif)
and, consequently, Since
this implies that
=
and this contradicts our assumption that
Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ13_HTML.gif)
In what follows, we will show that is a Cauchy sequence.
Suppose that is not a Cauchy sequence. Then, there exists
for which we can find subsequences
and
of
with
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ14_HTML.gif)
Further, corresponding to , we can choose
in such a way that it is the smallest integer with
and satisfying (2.10), then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ15_HTML.gif)
Using (2.10), (2.11), and the triangular inequality, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ16_HTML.gif)
Letting and using (2.9), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ17_HTML.gif)
Again, the triangular inequality gives us
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ18_HTML.gif)
Letting in the above two inequalities and using (2.9) and (2.13), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ19_HTML.gif)
As and
, by (2.2), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ20_HTML.gif)
Taking into account (2.13) and (2.15) and the fact that is continuous and letting
in (2.16), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ21_HTML.gif)
As is an altering function,
, the last inequality gives us
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ22_HTML.gif)
Since , this means that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ23_HTML.gif)
This fact and (2.15) give us which is a contradiction.
This shows that is a Cauchy sequence.
Since is a complete metric space, there exists
such that
Moreover, the continuity of
implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ24_HTML.gif)
and this proves that is a fixed point.
In what follows, we prove that Theorem 2.2 is still valid for not necessarily continuous, assuming the following hypothesis in
(which appears in [10, Theorem
]):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ25_HTML.gif)
Theorem 2.3.
Let be a partially ordered set and suppose that there exists a metric
in
such that
is a complete metric space. Assume that
satisfies (2.21). Let
be a nondecreasing mapping such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ26_HTML.gif)
where is an altering function and
. If there exists
with
, then
has a fixed point.
Proof.
Following the proof of Theorem 2.2, we only have to check that . As
is a nondecreasing sequence in
and
then, by (2.21), we have
for all
, and, consequently,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ27_HTML.gif)
Letting and using the continuity of
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ28_HTML.gif)
or, equivalently,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ29_HTML.gif)
As is an altering function, this gives us
and, thus,
Now, we present an example where it can be appreciated that the hypotheses in Theorems 2.2 and 2.3 do not guarantee uniqueness of the fixed point. This example appears in [10].
Let and consider the usual order
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ30_HTML.gif)
is a partially ordered set whose different elements are not comparable. Besides,
is a complete metric space considering
as the Euclidean distance. The identity map
is trivially continuous and nondecreasing and condition (2.2) of Theorem 2.2 is satisfied since elements in
are only comparable to themselves. Moreover,
and
has two fixed points in
.
In what follows, we give a sufficient condition for the uniqueness of the fixed point in Theorems 2.2 and 2.3. This condition appears in [16] and says that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ31_HTML.gif)
In [10] it is proved that condition (2.27) is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ32_HTML.gif)
Theorem 2.4.
Adding condition (2.28) to the hypotheses of Theorem 2.2 (resp., Theorem 2.3), we obtain uniqueness of the fixed point of .
Proof.
Suppose that there exist which are fixed points of
and
. We distinguish two cases.
Case 1.
If and
are comparable, then
and
are comparable for
Using the contractive condition appearing in Theorem 2.2 (or Theorem 2.3) and the fact that
, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ33_HTML.gif)
which is a contradiction.
Case 2.
Using condition (2.28), there exists comparable to
and
. Monotonicity of
implies that
is comparable to
and to
, for
Moreover, as
, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ34_HTML.gif)
Since is nondecreasing the above inequality gives us
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ35_HTML.gif)
Thus,
Assume that .
Taking into account that is an altering function and letting
in (2.30), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ36_HTML.gif)
and this implies that .
Since then we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ37_HTML.gif)
and, consequently, , which is a contradiction.
Hence, .
Analogously, it can be proved that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ38_HTML.gif)
Finally, as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ39_HTML.gif)
and taking limit, we obtain .
This finishes the proof.
Remark 2.5.
Under the assumptions of Theorem 2.4, it can be proved that for every ,
, where
is the fixed point (i.e., the operator
is Picard).
In fact, for and
comparable to
then using the same argument that is in Case 1 of Theorem 2.4 can prove that
and, hence,
.
If is not comparable to
, we take that
is comparable to
and
. Using a similar argument that is in Case 2 of Theorem 2.4, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ40_HTML.gif)
Finally,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ41_HTML.gif)
and taking limit as , we obtain
or, equivalently,
=
.
Remark 2.6.
Notice that if is totally ordered, condition (2.28) is obviously satisfied.
Remark 2.7.
Considering the identity mapping in Theorem 2.4, we obtain Theorem 1.2, being the main result of [2].
3. Application to Ordinary Differential Equations
In this section we present an example where our results can be applied.
This example is inspired by [10].
We study the existence of solution for the following first-order periodic problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ42_HTML.gif)
where and
is a continuous function.
Previously, we considered the space (
) of continuous functions defined on
. Obviously, this space with the metric given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ43_HTML.gif)
is a complete metric space. can also be equipped with a partial order given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ44_HTML.gif)
Clearly, satisfies condition (2.28), since for
the function
.
Moreover, in [10] it is proved that with the above-mentioned metric satisfies condition (2.21).
Now, let denote the class of functions
satisfying the following.
(i) is nondecreasing.
(ii),
.
(iii),
where is the class of functions defined in Section 1.
Examples of such functions are , with
,
, and
.
Recall now the following definition
Definition 3.1.
A lower solution for (3.1) is a function such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ45_HTML.gif)
Now, we present the following theorem about the existence of solution for problem (3.1) in presence of a lower solution.
Theorem 3.2.
Consider problem (3.1) with continuous and suppose that there exist
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ46_HTML.gif)
such that for with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ47_HTML.gif)
where . Then the existence of a lower solution for (3.1) provides the existence of a unique solution of (3.1).
Proof.
Problem (3.1) can be written as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ48_HTML.gif)
This problem is equivalent to the integral equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ49_HTML.gif)
where is the Green function given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ50_HTML.gif)
Define by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ51_HTML.gif)
Notice that if is a fixed point of
, then
is a solution of (3.1).
In the sequel, we check that hypotheses in Theorem 2.4 are satisfied.
The mapping is nondecreasing since, by hypothesis, for
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ52_HTML.gif)
and this implies, taking into account that for
, that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ53_HTML.gif)
Besides, for , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ54_HTML.gif)
Using the Cauchy-Schwarz inequality in the last integral, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ55_HTML.gif)
The first integral gives us
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ56_HTML.gif)
As is nondecreasing, the second integral in (3.14) can be estimated by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ57_HTML.gif)
Taking into account (3.14), (3.15), and (3.16), from (3.13) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ58_HTML.gif)
Since , the last inequality gives us
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ59_HTML.gif)
or, equivalently,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ60_HTML.gif)
This implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ61_HTML.gif)
Putting , which is an altering function, and
because
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ62_HTML.gif)
This proves that the operator satisfies condition (2.2) of Theorem 2.2.
Finally, letting be a lower solution for (3.1), we claim that
In fact,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ63_HTML.gif)
Multiplying by ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ64_HTML.gif)
and this gives us
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ65_HTML.gif)
As , the last inequality implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ66_HTML.gif)
and so
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ67_HTML.gif)
This and (3.24) give us
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ68_HTML.gif)
and, consequently,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ69_HTML.gif)
Finally, Theorem 2.4 gives that has a unique fixed point.
Remark 3.3.
Notice that if , then
. In fact, as
, then
is nondecreasing and, consequently,
is also nondecreasing.
Moreover, as , then
, and, thus,
.
Finally, as , and as
, then it is easily seen that
.
Example 3.4.
Consider given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ70_HTML.gif)
It is easily seen that . Taking into account Remark 3.3,
.
Now, we consider problem (3.1) with continuous and suppose that there exist
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ71_HTML.gif)
such that for with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F916064/MediaObjects/13663_2009_Article_1365_Equ72_HTML.gif)
where is the function above mentioned.
This example can be treated by our Theorem 3.2 but it cannot be covered by the results of [6] because is not increasing.
References
Agarwal RP, El-Gebeily MA, O'Regan D: Generalized contractions in partially ordered metric spaces. Applicable Analysis 2008,87(1):109–116. 10.1080/00036810701556151
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 Analysis: Theory, Methods & Applications 2010,72(5):2238–2242. 10.1016/j.na.2009.10.023
Burgić D, Kalabušić S, Kulenović MRS: Global attractivity results for mixed-monotone mappings in partially ordered complete metric spaces. Fixed Point Theory and Applications 2009, 2009:-17.
Ćirić L, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory and Applications 2008, 2008:-11.
Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Analysis: Theory, Methods & Applications 2006,65(7):1379–1393. 10.1016/j.na.2005.10.017
Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Analysis: Theory, Methods & Applications 2009,71(7–8):3403–3410. 10.1016/j.na.2009.01.240
Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Analysis: Theory, Methods & Applications 2009,71(7–8):3403–3410. 10.1016/j.na.2009.01.240
Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Analysis: Theory, Methods & Applications 2009,70(12):4341–4349. 10.1016/j.na.2008.09.020
Nieto JJ, Rodríguez-López R: Existence of extremal solutions for quadratic fuzzy equations. Fixed Point Theory and Applications 2005,2005(3):321–342. 10.1155/FPTA.2005.321
Nieto JJ, Rodríguez-López R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005,22(3):223–239. 10.1007/s11083-005-9018-5
Nieto JJ, Rodríguez-López R: Applications of contractive-like mapping principles to fuzzy equations. Revista Matemática Complutense 2006,19(2):361–383.
Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract spaces. Proceedings of the American Mathematical Society 2007,135(8):2505–2517. 10.1090/S0002-9939-07-08729-1
Nieto JJ, Rodríguez-López R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Mathematica Sinica 2007,23(12):2205–2212. 10.1007/s10114-005-0769-0
O'Regan D, Petruşel A: Fixed point theorems for generalized contractions in ordered metric spaces. Journal of Mathematical Analysis and Applications 2008,341(2):1241–1252. 10.1016/j.jmaa.2007.11.026
Petruşel A, Rus IA: Fixed point theorems in ordered
-spaces. Proceedings of the American Mathematical Society 2006,134(2):411–418.
Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proceedings of the American Mathematical Society 2004,132(5):1435–1443. 10.1090/S0002-9939-03-07220-4
Wu Y: New fixed point theorems and applications of mixed monotone operator. Journal of Mathematical Analysis and Applications 2008,341(2):883–893. 10.1016/j.jmaa.2007.10.063
Cabada A, Nieto JJ: Fixed points and approximate solutions for nonlinear operator equations. Journal of Computational and Applied Mathematics 2000,113(1–2):17–25. 10.1016/S0377-0427(99)00240-X
Geraghty MA: On contractive mappings. Proceedings of the American Mathematical Society 1973, 40: 604–608. 10.1090/S0002-9939-1973-0334176-5
Babu GVR, Lalitha B, Sandhya ML: Common fixed point theorems involving two generalized altering distance functions in four variables. Proceedings of the Jangjeon Mathematical Society 2007,10(1):83–93.
Naidu SVR: Some fixed point theorems in metric spaces by altering distances. Czechoslovak Mathematical Journal 2003,53(1):205–212. 10.1023/A:1022991929004
Sastry KPR, Babu GVR: Some fixed point theorems by altering distances between the points. Indian Journal of Pure and Applied Mathematics 1999,30(6):641–647.
Acknowledgments
This research was partially supported by "Ministerio de Educación y Ciencia", Project MTM 2007/65706. This work is dedicated to Professor W. Takahashi on the occasion of his retirement.
Author information
Authors and Affiliations
Corresponding author
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
Caballero, J., Harjani, J. & Sadarangani, K. Contractive-Like Mapping Principles in Ordered Metric Spaces and Application to Ordinary Differential Equations. Fixed Point Theory Appl 2010, 916064 (2010). https://doi.org/10.1155/2010/916064
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/916064