 Research
 Open access
 Published:
Fixed point of a pair of contractive dominated mappings on a closed ball in an ordered dislocated metric space
Fixed Point Theory and Applications volumeÂ 2013, ArticleÂ number:Â 115 (2013)
Abstract
Common fixed point results for mappings satisfying locally contractive conditions on a closed ball in an ordered complete dislocated metric space have been established. The notion of dominated mappings is applied to approximate the unique solution of nonlinear functional equations. Our results improve several wellknown conventional results.
MSC:46S40, 47H10, 54H25.
1 Introduction and preliminaries
Let T:X\xe2\u0178\P X be a mapping. A point x\xe2\u02c6\u02c6X is called a fixed point of T if x=Tx. Let {x}_{0} be an arbitrarily chosen point in X. Define a sequence \{{x}_{n}\} in X by a simple iterative method given by
Such a sequence is called a Picard iterative sequence, and its convergence plays a very important role in proving the existence of a fixed point of a mapping T. A selfmapping T on a metric space X is said to be a Banach contraction mapping if
holds for all x,y\xe2\u02c6\u02c6X, where 0\xe2\u2030\xa4k<1.
Fixed points results of mappings satisfying a certain contractive condition on the entire domain have been at the center of rigorous research activity (for example, see [1â€“12]) and they have a wide range of applications in different areas such as nonlinear and adaptive control systems, parameter estimation problems, computing magnetostatic fields in a nonlinear medium and convergence of recurrent networks (see [13â€“15]).
From the application point of view, the situation is not yet completely satisfactory because it frequently happens that a mapping T is a contraction not on the entire space X but merely on a subset Y of X. However, if Y is closed and a Picard iterative sequence \{{x}_{n}\} in X converges to some x in X, then by imposing a subtle restriction on the choice of {x}_{0}, one may force the Picard iterative sequence to stay eventually in Y. In this case, the closedness of Y coupled with some suitable contractive condition establishes the existence of a fixed point of T. Azam et al. [16] proved a significant result concerning the existence of fixed points of a mapping satisfying contractive conditions on a closed ball of a complete metric space. Recently, many results related to the fixed point theorem in complete metric spaces endowed with a partial ordering âª¯ appeared in literature. Ran and Reurings [17] proved an analogue of Banachâ€™s fixed point theorem in a metric space endowed with a partial order and gave applications to matrix equations. In this way, they weakened the usual contractive condition. Subsequently, Nieto et al. [18] extended this result in [17] for nondecreasing mappings and applied it to obtain a unique solution for a firstorder ordinary differential equation with periodic boundary conditions. Thereafter, many works related to fixed point problems have also been considered in partially ordered metric spaces (see [17â€“23]). Indeed, they all deal with monotone mappings (either orderpreserving or orderreversing) such that for some {x}_{0}\xe2\u02c6\u02c6X, either {x}_{0}\xe2\xaa\xaff{x}_{0} or f{x}_{0}\xe2\xaa\xaf{x}_{0}, where f is a selfmap on a metric space. To obtain a unique solution, they used an additional restriction that each pair of elements has a lower bound and an upper bound. We have not used these conditions in our results. In this paper we introduce a new condition of partial order.
On the other hand, the notion of a partial metric space was introduced by Matthews in [24]. In partial metric spaces, the distance of a point from itself may not be zero. He also proved a partial metric version of the Banach fixed point theorem. KarapÄ±nar et al. [25] have proved a common fixed point in partial metric spaces. Partial metric spaces have applications in theoretical computer science (see [26]). Altun et al. [20], Aydi [27], Samet et al. [28] and Paesano et al. [29] used the idea of a partial metric space and partial order and gave some fixed point theorems for the contractive condition on ordered partial metric spaces. Further useful results can be seen in [28]. To generalize a partial metric, Hitzler and Seda [30] introduced the concept of dislocated topologies and its corresponding generalized metric, named a dislocated metric, and established a fixed point theorem in complete dislocated metric spaces to generalize the celebrated Banach contraction principle. The notion of dislocated topologies has useful applications in the context of logic programming semantics (see [31]). Further useful results can be seen in [32â€“35]. The dominated mapping, which satisfies the condition fx\xe2\xaa\xafx, occurs very naturally in several practical problems. For example, if x denotes the total quantity of food produced over a certain period of time and f(x) gives the quantity of food consumed over the same period in a certain town, then we must have fx\xe2\xaa\xafx. In this paper, we exploit this concept for contractive mappings [36] to generalize, extend and improve some classical fixed point results for two, three and four mappings in the framework of an ordered complete dislocated metric space X. Our results not only extend some primary theorems to ordered dislocated metric spaces, but also restrict the contractive conditions on a closed ball only. The concept of a dominated mapping has been applied to approximate the unique solution of nonlinear functional equations.
Consistent with [30, 32, 34] and [35], the following definitions and results will be needed in the sequel.
Definition 1.1 Let X be a nonempty set and let {d}_{l}:X\xc3\u2014X\xe2\u2020\u2019[0,\mathrm{\xe2\u02c6\u017e}) be a function, called a dislocated metric (or simply {d}_{l}metric), if the following conditions hold for any x,y,z\xe2\u02c6\u02c6X:

(i)
if {d}_{l}(x,y)=0, then x=y,

(ii)
{d}_{l}(x,y)={d}_{l}(y,x),

(iii)
{d}_{l}(x,y)\xe2\u2030\xa4{d}_{l}(x,z)+{d}_{l}(z,y).
The pair (X,{d}_{l}) is then called a dislocated metric space. It is clear that if {d}_{l}(x,y)=0, then from (i), x=y. But if x=y, {d}_{l}(x,y) may not be 0.
Recently Sarma and Kumari [34] proved the results that establish the existence of a topology induced by a dislocated metric and the fact that this topology is metrizable. This topology has as a base the family of sets \{B(x,\mathrm{\xce\mu})\xe2\u02c6\xaa\{x\}:x\xe2\u02c6\u02c6X,\mathrm{\xce\mu}>0\}, where B(x,\mathrm{\xce\mu}) is an open ball and B(x,\mathrm{\xce\mu})=\{y\xe2\u02c6\u02c6X:{d}_{l}(x,y)<\mathrm{\xce\mu}\} for some x\xe2\u02c6\u02c6X and \mathrm{\xce\mu}>0. Also, \stackrel{\xc2\xaf}{B(x,\mathrm{\xce\mu})}=\{y\xe2\u02c6\u02c6X:{d}_{l}(x,y)\xe2\u2030\xa4\mathrm{\xce\mu}\} is a closed ball.
Also, Harandi [37] defined the concept of a metriclike space which is similar to a dislocated metric space. Each metriclike Ïƒ on X generates a topology {\mathrm{\xcf\u201e}}_{\mathrm{\xcf\u0192}} on X whose base is the family of open Ïƒballs
Definition 1.2 Let p:X\xc3\u2014X\xe2\u2020\u2019{R}^{+}, where X is a nonempty set. p is said to be a partial metric on X if for any x,y,z\xe2\u02c6\u02c6X:
(P_{1}) p(x,x)=p(y,y)=p(x,y) if and only if x=y,
(P_{2}) p(x,x)\xe2\u2030\xa4p(x,y),
(P_{3}) p(x,y)=p(y,x),
(P_{4}) p(x,z)\xe2\u2030\xa4p(x,y)+p(y,z)\xe2\u02c6\u2019p(y,y).
The pair (X,p) is then called a partial metric space.
Each partial metric p on X induces a {T}_{0} topology p on X which has as a base the family of open balls \{{B}_{p}(x,\mathrm{\xce\mu}):x\xe2\u02c6\u02c6X,\mathrm{\xce\mu}>0\}, where {B}_{p}(x,\mathrm{\xce\mu})=\{y\xe2\u02c6\u02c6X:p(x,y)<p(x,x)+\mathrm{\xce\mu}\} for all x\xe2\u02c6\u02c6X and \mathrm{\xce\mu}>0.
It is clear that any partial metric is a {d}_{l}metric. A basic example of a partial metric space is the pair ({R}^{+},p), where p(x,y)=max\{x,y\} for all x,y\xe2\u02c6\u02c6{R}^{+}. It is also a {d}_{l}metric. An example of a {d}_{l}metric space which is not a partial metric is given below.
Example 1.3 If X={R}^{+}\xe2\u02c6\xaa\{0\}, then {d}_{l}(x,y)=x+y defines a dislocated metric {d}_{l} on X. Note that this metric is not a partial metric as (P_{2}) is not satisfied.
From the examples and definitions, it is clear that any partial metric is a {d}_{l}metric, whereas a {d}_{l}metric may not be a partial metric. We also remark that for those {d}_{l}metrics which are also partial metrics, we have {B}_{{d}_{l}}(x,\mathrm{\xce\mu})\xe2\u0160\u2020{B}_{p}(x,\mathrm{\xce\mu}). Also, for any {d}_{l}metric, {B}_{{d}_{l}}(x,\mathrm{\xce\mu})\xe2\u0160\u2020{B}_{\mathrm{\xcf\u0192}}(x,\mathrm{\xce\mu}). Thus it is better to find a fixed point on a closed ball defined by Hitzler in a {d}_{l}metric because we restrict ourselves to applying the contractive condition on the smallest closed ball. In this way, we also weaken the contractive condition.
Definition 1.4 [30]
A sequence \{{x}_{n}\} in a {d}_{l}metric space (X,{d}_{l}) is called a Cauchy sequence if given \mathrm{\xce\mu}>0, there corresponds {n}_{0}\xe2\u02c6\u02c6N such that for all n,m\xe2\u2030\yen {n}_{0}, we have {d}_{l}({x}_{m},{x}_{n})<\mathrm{\xce\mu} or {lim}_{n,m\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}}{d}_{l}({x}_{n},{x}_{m})=0.
Definition 1.5 [30]
A sequence \{{x}_{n}\} in a {d}_{l}metric space converges with respect to {d}_{l} if there exists x\xe2\u02c6\u02c6X such that {d}_{l}({x}_{n},x)\xe2\u2020\u20190 as n\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}. In this case, x is called the limit of \{{x}_{n}\}, and we write {x}_{n}\xe2\u2020\u2019x.
Definition 1.6 [30]
A {d}_{l}metric space (X,{d}_{l}) is called complete if every Cauchy sequence in X converges to a point in X.
In Harandiâ€™s sense, a sequence \{{x}_{n}\} in the metriclike space (X,\mathrm{\xcf\u0192}) converges to a point x\xe2\u02c6\u02c6X if and only if {lim}_{n\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}}\mathrm{\xcf\u0192}({x}_{n},x)=\mathrm{\xcf\u0192}(x,x). The sequence {\{{x}_{n}\}}_{n=0}^{\mathrm{\xe2\u02c6\u017e}} of elements of X is called ÏƒCauchy if the limit {lim}_{n,m\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}}\mathrm{\xcf\u0192}({x}_{n},{x}_{m}) exists and is finite. The metriclike space (X,\mathrm{\xcf\u0192}) is called complete if for each ÏƒCauchy sequence {\{{x}_{n}\}}_{n=0}^{\mathrm{\xe2\u02c6\u017e}}, there is some x\xe2\u02c6\u02c6X such that
Romaguera [38] has given the idea of a 0Cauchy sequence and a 0complete partial metric space. Using his idea, we can observe the following:

(a)
Every Cauchy sequence with respect to Hitzler is a Cauchy sequence with respect to Harandi.

(b)
Every complete metric space with respect to Harandi is complete with respect to Hitzler. The following example shows that the converse assertions of (a) and (b) do not hold.
Example 1.7 Let X={Q}^{+}\xe2\u02c6\xaa\{0\} and let {d}_{l}:X\xc3\u2014X\xe2\u2020\u2019X be defined by {d}_{l}(x,y)=x+y. Note that \{{x}_{n}\}={(1+\frac{1}{n})}^{n} is a Cauchy sequence with respect to Harandi, but it is not a Cauchy sequence with respect to Hitzler. Also, every Cauchy sequence (with respect to Hitzler) in X converges to a point â€˜0â€™ in X. Hence X is complete with respect to Hitzler, but X is not complete with respect to Harandi as {lim}_{n\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}}{(1+\frac{1}{n})}^{n}=e\xe2\u02c6\u2030X.
Definition 1.8 Let X be a nonempty set. Then (X,\xe2\xaa\xaf,{d}_{l}) is called an ordered dislocated metric space if (i) {d}_{l} is a dislocated metric on X and (ii) âª¯ is a partial order on X.
Definition 1.9 Let (X,\xe2\xaa\xaf) be a partial ordered set. Then x,y\xe2\u02c6\u02c6X are called comparable if x\xe2\xaa\xafy or y\xe2\xaa\xafx holds.
Definition 1.10 [39]
Let (X,\xe2\xaa\xaf) be a partially ordered set. A selfmapping f on X is called dominated if fx\xe2\xaa\xafx for each x in X.
Example 1.11 [39]
Let X=[0,1] be endowed with the usual ordering and f:X\xe2\u2020\u2019X be defined by fx={x}^{n} for some n\xe2\u02c6\u02c6\mathbb{N}. Since fx={x}^{n}\xe2\u2030\xa4x for all x\xe2\u02c6\u02c6X, therefore f is a dominated map.
Definition 1.12 Let X be a nonempty set and T,f:X\xe2\u2020\u2019X. A point y\xe2\u02c6\u02c6X is called a point of coincidence of T and f if there exists a point x\xe2\u02c6\u02c6X such that y=Tx=fx. The mappings T, f are said to be weakly compatible if they commute at their coincidence point (i.e., Tfx=fTx whenever Tx=fx).
For A\xe2\u0160\u201aX, we denote by D(A) the set of all limit points of A and \stackrel{\xc2\xaf}{A} closure of A in X. We state without proof the following simple facts due to [34].
Lemma 1.13 A subset of A of a dislocated metric space is closed if and only if \stackrel{\xc2\xaf}{A}=A.
Lemma 1.14 The topology induced by a dislocated metric is a Hausdorff topology.
Lemma 1.15 Every closed ball in a complete dislocated metric space is complete.
We also need the following results for subsequent use.
Lemma 1.16 [40]
Let X be a nonempty set and let f:X\xe2\u2020\u2019X be a function. Then there exists a subset E\xe2\u0160\u201aX such that fE=fX and f:E\xe2\u2020\u2019X is onetoone.
Lemma 1.17 [1]
Let X be a nonempty set and let the mappings S,T,f:X\xe2\u2020\u2019X have a unique point of coincidence v in X. If (S,f) and (T,f) are weakly compatible, then S, T, f have a unique common fixed point.
Theorem 1.18 [[36], p.303]
Let (X,d) be a complete metric space, let S:X\xe2\u2020\u2019X be a mapping, let r>0 and {x}_{0} be an arbitrary point in X. Suppose that there exists k\xe2\u02c6\u02c6[0,1) with
and d({x}_{0},S{x}_{0})<(1\xe2\u02c6\u2019k)r. Then there exists a unique point {x}^{\xe2\u02c6\u2014} in \stackrel{\xc2\xaf}{B({x}_{0},r)} such that {x}^{\xe2\u02c6\u2014}=S{x}^{\xe2\u02c6\u2014}.
2 Fixed points of contractive mappings
Theorem 2.1 Let (X,\xe2\xaa\xaf,{d}_{l}) be an ordered complete dislocated metric space, let S,T:X\xe2\u2020\u2019X be dominated maps and let {x}_{0} be an arbitrary point in X. Suppose that for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T, we have
and
If for a nonincreasing sequence \{{x}_{n}\} in \stackrel{\xc2\xaf}{B({x}_{0},r)}, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}, then there exists {x}^{\xe2\u02c6\u2014}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} such that {d}_{l}({x}^{\xe2\u02c6\u2014},{x}^{\xe2\u02c6\u2014})=0 and {x}^{\xe2\u02c6\u2014}=S{x}^{\xe2\u02c6\u2014}=T{x}^{\xe2\u02c6\u2014}. Also if, for any two points x, y in \stackrel{\xc2\xaf}{B({x}_{0},r)}, there exists a point z\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} such that z\xe2\xaa\xafx and z\xe2\xaa\xafy, that is, every pair of elements has a lower bound, then {x}^{\xe2\u02c6\u2014} is a unique common fixed point in \stackrel{\xc2\xaf}{B({x}_{0},r)}.
Proof Choose a point {x}_{1} in X such that {x}_{1}=S{x}_{0}. As S{x}_{0}\xe2\xaa\xaf{x}_{0}, so {x}_{1}\xe2\xaa\xaf{x}_{0} and let {x}_{2}=T{x}_{1}. Now T{x}_{1}\xe2\xaa\xaf{x}_{1} gives {x}_{2}\xe2\xaa\xaf{x}_{1}. Continuing this process, we construct a sequence {x}_{n} of points in X such that
First we show that {x}_{n}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} for all n\xe2\u02c6\u02c6N. Using inequality (2.2), we have
It follows that
Let {x}_{2},\xe2\u20ac\xa6,{x}_{j}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} for some j\xe2\u02c6\u02c6N. If j=2i+1, then {x}_{2i+1}\xe2\xaa\xaf{x}_{2i}, where i=0,1,2,\xe2\u20ac\xa6,\frac{j\xe2\u02c6\u20191}{2}. So, using inequality (2.1), we obtain
If j=2i+2, then as {x}_{1},{x}_{2},\xe2\u20ac\xa6,{x}_{j}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} and {x}_{2i+2}\xe2\xaa\xaf{x}_{2i+1} (i=0,1,2,\xe2\u20ac\xa6,\frac{j\xe2\u02c6\u20192}{2}). We obtain
Thus from inequalities (2.3) and (2.4), we have
Now
Thus {x}_{j+1}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)}. Hence {x}_{n}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} for all n\xe2\u02c6\u02c6N. It implies that
It implies that
Notice that the sequence \{{x}_{n}\} is a Cauchy sequence in (\stackrel{\xc2\xaf}{B({x}_{0},r)},{d}_{l}). Therefore there exists a point {x}^{\xe2\u02c6\u2014}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} with {lim}_{n\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}}{x}_{n}={x}^{\xe2\u02c6\u2014}. Also,
Now,
On taking limit as n\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e} and using the fact that {x}^{\xe2\u02c6\u2014}\xe2\xaa\xaf{x}_{n} when {x}_{n}\xe2\u2020\u2019{x}^{\xe2\u02c6\u2014}, we have
By equation (2.7), we obtain
and hence {x}^{\xe2\u02c6\u2014}=S{x}^{\xe2\u02c6\u2014}. Similarly, by using
we can show that {x}^{\xe2\u02c6\u2014}=T{x}^{\xe2\u02c6\u2014}. Hence S and T have a common fixed point in \stackrel{\xc2\xaf}{B({x}_{0},r)}. Now,
This implies that
For uniqueness, assume that y is another fixed point of T and S in \stackrel{\xc2\xaf}{B({x}_{0},r)}. If {x}^{\xe2\u02c6\u2014} and y are comparable, then
This shows that {x}^{\xe2\u02c6\u2014}=y. Now if {x}^{\xe2\u02c6\u2014} and y are not comparable, then there exists a point {z}_{0}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} such that {z}_{0}\xe2\xaa\xaf{x}^{\xe2\u02c6\u2014} and {z}_{0}\xe2\xaa\xafy. Choose a point {z}_{1} in X such that {z}_{1}=T{z}_{0}. As T{z}_{0}\xe2\xaa\xaf{z}_{0}, so {z}_{1}\xe2\xaa\xaf{z}_{0}and let {z}_{2}=S{z}_{1}. Now S{z}_{1}\xe2\xaa\xaf{z}_{1} gives {z}_{2}\xe2\xaa\xaf{z}_{1}. Continuing this process and having chosen {z}_{n} in X such that
we obtain that {z}_{n+1}\xe2\xaa\xaf{z}_{n}\xe2\xaa\xaf\xe2\u2039\xaf\xe2\xaa\xaf{z}_{0}\xe2\xaa\xaf{x}^{\xe2\u02c6\u2014}. As {z}_{0}\xe2\xaa\xaf{x}^{\xe2\u02c6\u2014} and {z}_{0}\xe2\xaa\xafy, it follows that {z}_{n}\xe2\xaa\xafT{x}^{\xe2\u02c6\u2014} and {z}_{n}\xe2\xaa\xafTy for all n\xe2\u02c6\u02c6N. We will prove that {z}_{n}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} for all n\xe2\u02c6\u02c6N by using mathematical induction. For n=1,
It follows that {z}_{1}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)}. Let {z}_{2},{z}_{3},\xe2\u20ac\xa6,{z}_{j}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} for some j\xe2\u02c6\u02c6N. Note that if j is odd, then
and if j is even, then
Now
which implies that
Thus {z}_{j+1}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)}. Hence {z}_{n}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} for all n\xe2\u02c6\u02c6N. As {z}_{0}\xe2\xaa\xaf{x}^{\xe2\u02c6\u2014} and {z}_{0}\xe2\xaa\xafy, it follows that {z}_{n}\xe2\xaa\xaf{T}^{n}{x}^{\xe2\u02c6\u2014}, {z}_{n}\xe2\xaa\xaf{S}^{n}{x}^{\xe2\u02c6\u2014}, {z}_{n}\xe2\xaa\xaf{S}^{n}y and {z}_{n}\xe2\xaa\xaf{T}^{n}y for all n\xe2\u02c6\u02c6N as {S}^{n}{x}^{\xe2\u02c6\u2014}={T}^{n}{x}^{\xe2\u02c6\u2014}={x}^{\xe2\u02c6\u2014} and {S}^{n}y={T}^{n}y=y for all n\xe2\u02c6\u02c6N. If n is odd, then
So, {x}^{\xe2\u02c6\u2014}=y. Similarly, we can show that {x}^{\xe2\u02c6\u2014}=y if n is even. Hence {x}^{\xe2\u02c6\u2014} is a unique common fixed point of T and S in \stackrel{\xc2\xaf}{B({x}_{0},r)}.â€ƒâ–¡
Theorem 2.1 extends Theorem 1.18 to ordered complete dislocated metric spaces.
Example 2.2 Let X={Q}^{+}\xe2\u02c6\xaa\{0\} be endowed with the order ({x}_{1},{y}_{1})\xe2\xaa\xaf({x}_{2},{y}_{2}) if {x}_{1}\xe2\u2030\xa4{x}_{2}, {y}_{1}\xe2\u2030\xa4{y}_{2}. Let S,T:{X}^{2}\xe2\u2020\u2019{X}^{2} be defined by
and
Clearly, S and T are dominated mappings. Let {d}_{l}:{X}^{2}\xc3\u2014{X}^{2}\xe2\u2020\u2019X be defined by {d}_{l}(({x}_{1},{y}_{1}),({x}_{2},{y}_{2}))={x}_{1}+{y}_{1}+{x}_{2}+{y}_{2}. Then it is easy to prove that ({X}^{2},{d}_{l}) is a complete dislocated metric space. Let ({x}_{0},{y}_{0})=(\frac{3}{7},\frac{4}{7}), r=2, then
with k=\frac{3}{10}\xe2\u02c6\u02c6[0,1),
Also, for all comparable elements ({x}_{1},{y}_{1}),({x}_{2},{y}_{2})\xe2\u02c6\u02c6{X}^{2} such that {x}_{1}+{y}_{1}>1 and {x}_{2}+{y}_{2}>1, we have
So, the contractive condition does not hold on {X}^{2}. Now if ({x}_{1},{y}_{1}),({x}_{2},{y}_{2})\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(({x}_{0},{y}_{0}),r)}, then
Therefore, all the conditions of Theorem 2.1 are satisfied. Moreover, (0,0) is the common fixed point of S and T. Also, note that for any metric d on {X}^{2}, the respective condition does not hold on \stackrel{\xc2\xaf}{B(({x}_{0},{y}_{0}),r)} since
Moreover, {X}^{2} is not complete for any metric d on {X}^{2}.
Remark 2.3 If we impose a Banachtype contractive condition for a pair of mappings S,T:X\xe2\u2020\u2019X on a metric space (X,d), that is,
then it follows that Sx=Tx for all x\xe2\u02c6\u02c6X (that is, S and T are equal). Therefore the above condition fails to find common fixed points of S and T. However, the same condition in a dislocated metric space does not assert that S=T, which is seen in Example 2.2. Hence Theorem 2.1 cannot be obtained from a metric fixed point theorem.
Theorem 2.4 Let (X,\xe2\xaa\xaf,{d}_{l}) be an ordered complete dislocated metric space, let S:X\xe2\u2020\u2019X be a dominated map and let {x}_{0} be an arbitrary point in X. Suppose that there exists k\xe2\u02c6\u02c6[0,1) with
and
If, for a nonincreasing sequence \{{x}_{n}\} in \stackrel{\xc2\xaf}{B({x}_{0},r)}, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}, and also, for any two points x, y in \stackrel{\xc2\xaf}{B({x}_{0},r)}, there exists a point z\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} such that every pair of elements has a lower bound, then there exists a unique fixed point {x}^{\xe2\u02c6\u2014} of S in \stackrel{\xc2\xaf}{B({x}_{0},r)}. Further, {d}_{l}({x}^{\xe2\u02c6\u2014},{x}^{\xe2\u02c6\u2014})=0.
Proof By following similar arguments to those we have used to prove Theorem 2.1, one can easily prove the existence of a unique fixed point {x}^{\xe2\u02c6\u2014} of S in \stackrel{\xc2\xaf}{B({x}_{0},r)}.â€ƒâ–¡
In Theorem 2.1, condition (2.2) is imposed to restrict condition (2.1) only for x, y in \stackrel{\xc2\xaf}{B({x}_{0},r)} and Example 2.2 explains the utility of this restriction. However, the following result relaxes condition (2.2) but imposes condition (2.1) for all comparable elements in the whole space X.
Theorem 2.5 Let (X,\xe2\xaa\xaf,{d}_{l}) be an ordered complete dislocated metric space, let S,T:X\xe2\u2020\u2019X be the dominated map and let {x}_{0} be an arbitrary point in X. Suppose that for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T, we have
Also, if for a nonincreasing sequence \{{x}_{n}\} in X, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}, and for any two points x, y in X, there exists a point z\xe2\u02c6\u02c6X such that z\xe2\xaa\xafx and z\xe2\xaa\xafy, then there exists a unique point {x}^{\xe2\u02c6\u2014} in X such that {x}^{\xe2\u02c6\u2014}=S{x}^{\xe2\u02c6\u2014}=T{x}^{\xe2\u02c6\u2014}. Further, {d}_{l}({x}^{\xe2\u02c6\u2014},{x}^{\xe2\u02c6\u2014})=0.
In Theorem 2.1, the condition â€˜for a nonincreasing sequence, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}â€™ and the existence of z or a lower bound is imposed to restrict condition (2.1) only for comparable elements. However, the following result relaxes these restrictions but imposes condition (2.1) for all elements in \stackrel{\xc2\xaf}{B({x}_{0},r)}. In Theorem 2.1, it may happen that S has more fixed points, but these fixed points of S are not the fixed points of T, because a common fixed point of S and T is unique, whereas without order we can obtain a unique fixed point of S and T separately, which is proved in the following theorem.
Theorem 2.6 Let (X,{d}_{l}) be a complete dislocated metric space, let S,T:X\xe2\u2020\u2019X be selfmaps and let {x}_{0} be an arbitrary point in X. Suppose that for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T, we have
and
Then there exists a unique {x}^{\xe2\u02c6\u2014}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} such that {d}_{l}({x}^{\xe2\u02c6\u2014},{x}^{\xe2\u02c6\u2014})=0 and {x}^{\xe2\u02c6\u2014}=S{x}^{\xe2\u02c6\u2014}=T{x}^{\xe2\u02c6\u2014}. Further, S and T have no fixed point other than {x}^{\xe2\u02c6\u2014}.
Proof By Theorem 2.1, {x}^{\xe2\u02c6\u2014}=S{x}^{\xe2\u02c6\u2014}=T{x}^{\xe2\u02c6\u2014}. Let y be another point such that y=Ty. Then
This shows that {x}^{\xe2\u02c6\u2014}=y. Thus T has no fixed point other than {x}^{\xe2\u02c6\u2014}. Similarly, S has no fixed point other than {x}^{\xe2\u02c6\u2014}.â€ƒâ–¡
Now we apply our Theorem 2.1 to obtain a unique common fixed point of three mappings on a closed ball in an ordered complete dislocated metric space.
Theorem 2.7 Let (X,\xe2\xaa\xaf,{d}_{l}) be an ordered dislocated metric space, let S, T be selfmappings and let f be a dominated mapping on X such that SX\xe2\u02c6\xaaTX\xe2\u0160\u201afX, Tx\xe2\xaa\xaffx, Sx\xe2\xaa\xaffx, and let {x}_{0} be an arbitrary point in X. Suppose that for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T, we have
for all comparable elements fx,fy\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}\xe2\u0160\u2020fX; and
If for a nonincreasing sequence, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}, and for any two points z and x in \stackrel{\xc2\xaf}{B(f{x}_{0},r)}, there exists a point y\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} such that y\xe2\xaa\xafz and y\xe2\xaa\xafx, that is, every pair of elements in \stackrel{\xc2\xaf}{B(f{x}_{0},r)} has a lower bound in \stackrel{\xc2\xaf}{B(f{x}_{0},r)}; if fX is a complete subspace of X and (S,f) and (T,f) are weakly compatible, then S, T and f have a unique common fixed point fz in \stackrel{\xc2\xaf}{B(f{x}_{0},r)}. Also, {d}_{l}(fz,fz)=0.
Proof By Lemma 1.16, there exists E\xe2\u0160\u201aX such that fE=fX and f:E\xe2\u2020\u2019X is onetoone. Now, since SX\xe2\u02c6\xaaTX\xe2\u0160\u201afX, we define two mappings g,h:fE\xe2\u2020\u2019fE by g(fx)=Sx and h(fx)=Tx, respectively. Since f is onetoone on E, then g, h are well defined. As Sx\xe2\xaa\xaffx implies that g(fx)\xe2\xaa\xaffx and Tx\xe2\xaa\xaffx implies that h(fx)\xe2\xaa\xaffx, therefore g and h are dominated maps. Now f{x}_{0}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}\xe2\u0160\u2020fX. Then f{x}_{0}\xe2\u02c6\u02c6fX. Let {y}_{0}=f{x}_{0}, choose a point {y}_{1} in fX such that {y}_{1}=h({y}_{0}). As h({y}_{0})\xe2\xaa\xaf{y}_{0}, so {y}_{1}\xe2\xaa\xaf{y}_{0} and let {y}_{2}=g({y}_{1}). Now g({y}_{1})\xe2\xaa\xaf{y}_{1} gives {y}_{2}\xe2\xaa\xaf{y}_{1}. Continuing this process and having chosen {y}_{n} in fX such that
then {y}_{n+1}\xe2\xaa\xaf{y}_{n} for all n\xe2\u02c6\u02c6N. Following similar arguments of Theorem 2.1, {y}_{n}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}. Also, by inequality (2.9),
Note that for fx,fy\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}, where fx, fy are comparable. Then by using inequality (2.8), we have
As fX is a complete space, all the conditions of Theorem 2.1 are satisfied, we deduce that there exists a unique common fixed point fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} of g and h. Also, {d}_{l}(fz,fz)=0. Now fz=g(fz)=h(fz) or fz=Sz=Tz=fz. Thus fz is the point of coincidence of S, T and f. Let v\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} be another point of coincidence of f, S and T, then there exists u\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} such that v=fu=Su=Tu, which implies that fu=g(fu)=h(fu), a contradiction as fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} is a unique common fixed point of g and h. Hence v=fz. Thus S, T and f have a unique point of coincidence fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}. Now, since (S,f) and (T,f) are weakly compatible, by Lemma 1.17 fz is a unique common fixed point of S, T and f.â€ƒâ–¡
In a similar way, we can apply our Theorems 2.5 and 2.6 to obtain a unique common fixed point of three mappings in an ordered complete dislocated metric space and a unique common fixed point of three mappings on a closed ball in a complete dislocated metric space, respectively.
In the following theorem, we use Theorem 2.6 to establish the existence of a unique common fixed point of four mappings on a closed ball in a complete dislocated metric space. One cannot prove the following theorem for an ordered dislocated metric space in a way similar to that of Theorem 2.7. In order to prove the unique common fixed point of four mappings on a closed ball in an ordered dislocated metric space, we should prove that S and T have no fixed point other than {x}^{\xe2\u02c6\u2014} in Theorem 2.1.
Theorem 2.8 Let (X,{d}_{l}) be a dislocated metric space and let S, T, g and f be selfmappings on X such that SX,TX\xe2\u0160\u201afX=gX. Assume that for {x}_{0}, an arbitrary point in X, and for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T, the following conditions hold:
for all elements fx,gy\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}\xe2\u0160\u2020fX; and
If fX is a complete subspace of X, then there exists fz\xe2\u02c6\u02c6X such that {d}_{l}(fz,fz)=0. Also, if (S,f) and (T,g) are weakly compatible, then S, T, f and g have a unique common fixed point fz in \stackrel{\xc2\xaf}{B(f{x}_{0},r)}.
Proof By Lemma 1.16, there exist {E}_{1},{E}_{2}\xe2\u0160\u201aX such that f{E}_{1}=fX=gX=g{E}_{2}, f:{E}_{1}\xe2\u2020\u2019X, g:{E}_{2}\xe2\u2020\u2019X are onetoone. Now define the mappings A,B:f{E}_{1}\xe2\u2020\u2019f{E}_{1} by A(fx)=Sx and B(gx)=Tx, respectively. Since f, g are onetoone on {E}_{1} and {E}_{2}, respectively, then the mappings A, B are well defined. As fX is a complete space, all the conditions of Theorem 2.6 are satisfied, we deduce that there exists a unique common fixed point fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} of A and B. Further, A and B have no fixed point other than fz. Also, {d}_{l}(fz,fz)=0. Now fz=A(fz)=B(fz) or fz=Sz=fz. Thus fz is a point of coincidence of f and S. Let w\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} be another point of coincidence of S and f, then there exists u\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} such that w=fu=Su, which implies that fu=A(fu), a contradiction as fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} is a unique fixed point of A. Hence w=fz. Thus S and f have a unique point of coincidence fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}. Since (S,f) are weakly compatible, by Lemma 1.17 fz is a unique common fixed point of S and f. As fX=gX, then there exists v\xe2\u02c6\u02c6X such that fz=gv. Now, as A(fz)=B(fz)=fz\xe2\u2021\u2019A(gv)=B(gv)=gv\xe2\u2021\u2019Tv=gv, thus gv is the point of coincidence of T and g. Now, if Tx=gx\xe2\u2021\u2019B(gx)=gx, a contradiction. This implies that gv=gx. As (T,g) are weakly compatible, we obtain gv, a unique common fixed point for T and g. But gv=fz. Thus S, T, g and f have a unique common fixed point fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}.â€ƒâ–¡
Corollary 2.9 Let (X,\xe2\xaa\xaf,{d}_{l}) be an ordered dislocated metric space, let S, T be selfmappings and let f be a dominated mapping on X such that SX\xe2\u02c6\xaaTX\xe2\u0160\u201afX, Tx\xe2\xaa\xaffx, Sx\xe2\xaa\xaffx, and let {x}_{0} be an arbitrary point in X. Suppose that for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T, we have
for all comparable elements fx,fy\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}\xe2\u0160\u2020fX; and
If for a nonincreasing sequence, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}, and for any two points z and x in \stackrel{\xc2\xaf}{B(f{x}_{0},r)}, there exists a point y\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} such that y\xe2\xaa\xafz and y\xe2\xaa\xafx; if fX is a complete subspace of X, then S, T and f have a unique point of coincidence fz\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}. Also, {d}_{l}(fz,fz)=0.
In a similar way, we can obtain a coincidence point result of four mappings as a corollary of Theorem 2.8.
A partial metric version of Theorem 2.1 is given below.
Theorem 2.10 Let (X,\xe2\xaa\xaf,p) be an ordered complete partial metric space, let S,T:X\xe2\u2020\u2019X be dominated maps and let {x}_{0} be an arbitrary point in X. Suppose that for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T,
and
Then there exists {x}^{\xe2\u02c6\u2014}\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} such that p({x}^{\xe2\u02c6\u2014},{x}^{\xe2\u02c6\u2014})=0. Also, if for a nonincreasing sequence \{{x}_{n}\} in \stackrel{\xc2\xaf}{B({x}_{0},r)}, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}, and for any two points x, y in \stackrel{\xc2\xaf}{B({x}_{0},r)}, there exists a point z\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B({x}_{0},r)} such that z\xe2\xaa\xafx and z\xe2\xaa\xafy, then there exists a unique point {x}^{\xe2\u02c6\u2014} in \stackrel{\xc2\xaf}{B({x}_{0},r)} such that {x}^{\xe2\u02c6\u2014}=S{x}^{\xe2\u02c6\u2014}=T{x}^{\xe2\u02c6\u2014}.
A partial metric version of Theorem 2.7 is given below.
Theorem 2.11 Let (X,\xe2\xaa\xaf,p) be an ordered partial metric space, let S, T be selfmappings and let f be a dominated mapping on X such that SX\xe2\u02c6\xaaTX\xe2\u0160\u201afX and Tx,Sx\xe2\xaa\xaffx. Assume that for {x}_{0}, an arbitrary point in X, and for k\xe2\u02c6\u02c6[0,1) and for S\xe2\u2030T, the following conditions hold:
for all comparable elements fx,fy\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)}\xe2\u0160\u2020fX; and
If for a nonincreasing sequence, \{{x}_{n}\}\xe2\u2020\u2019u implies that u\xe2\xaa\xaf{x}_{n}, also for any two points z and x in \stackrel{\xc2\xaf}{B(f{x}_{0},r)}, there exists a point y\xe2\u02c6\u02c6\stackrel{\xc2\xaf}{B(f{x}_{0},r)} such that y\xe2\xaa\xafz and y\xe2\xaa\xafx; if fX is complete subspace of X and (S,f) and (T,f) are weakly compatible, then S, T and f have a unique common fixed point fz in \stackrel{\xc2\xaf}{B(f{x}_{0},r)}. Also, p(fz,fz)=0.
Remark 2.12 We can obtain a partial metric version as well as a metric version of other theorems in a similar way.
References
Arshad M, Azam A, Vetro P: Some common fixed point results in cone metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 493965
Azam A, Arshad M, Beg I: Common fixed points of two maps in cone metric spaces. Rend. Circ. Mat. Palermo 2008, 57: 433â€“441.
Azam A, Arshad M: Common fixed points of generalized contractive maps in cone metric spaces. Bull. Iran. Math. Soc. 2009, 35(2):255â€“264.
Di Bari, C, Vetro, P: Common fixed points for three or four mappings via common fixed point for two mappings. arXiv:1302.3816 [math.FA] 15 Feb 2013
Ä†iriÄ‡ L, Abbas M, Saadati R, Hussain N: Common fixed points of almost generalized contractive mappings in ordered metric spaces. Appl. Math. Comput. 2011, 217: 5784â€“5789.
Ä†iriÄ‡ L, Hussain N, CakiÄ‡ N: Common fixed points for Ä†iriÄ‡ type f weak contraction with applications. Publ. Math. (Debr.) 2010, 76(1â€“2):31â€“49.
Ä†iriÄ‡ L, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 2011, 218: 2398â€“2406.
Hussain N, Abbas M: Common fixed point results for two new classes of hybrid pairs in symmetric spaces. Appl. Math. Comput. 2011, 218: 542â€“547.
Hussain N, Kadelburg Z, Radenovic S, AlSolamy FR: Comparison functions and fixed point results in partial metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 605781
Nashine HK, Kadelburg Z, Radenovic S, Kim JK: Fixed point theorems under HardyRogers contractive conditions on 0complete ordered partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 180
Paesano D, Vetro P: Common fixed points in a partially ordered partial metric space. Int. J. Anal. 2013., 2013: Article ID 428561
Shatanawi W: Some fixed point results for a generalized Ïˆ weak contraction mappings in orbitally metric spaces. Chaos Solitons Fractals 2012, 45: 520â€“526.
Leibovic K: The principle of contraction mapping in nonlinear and adaptive control systems. IEEE Trans. Autom. Control 1964, 9: 393â€“398.
MedranoCerda GA: A fixed point formulation to parameter estimation problems. Decision and Control, 26th IEEE Conference 1987, 1468â€“1476.
Steck JE: Convergence of recurrent networks as contraction mappings. Neural Netw. 1992, 3: 7â€“11.
Azam A, Hussain S, Arshad M: Common fixed points of Chatterjea type fuzzy mappings on closed balls. Neural Comput. Appl. 2012, 21: S313S317. (Suppl. 1)
Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132(5):1435â€“1443.
Nieto JJ, RodrÃguezLÃ³pez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22(3):223â€“239.
Altun I, Simsek H: Some fixed point theorems on ordered metric spaces and application. Fixed Point Theory Appl. 2010., 2010: Article ID 621492
Altun I, Erduran A: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 508730
Bhaskar TG, Lakshmikantham V: Fixed point theorem in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379â€“1393.
Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72(3â€“4):1188â€“1197.
Nashine HK, Samet B, Vetro C: Monotone generalized nonlinear contractions and fixed point theorems in ordered metric spaces. Math. Comput. Model. 2011, 54: 712â€“720.
Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728. Proc. 8th Summer Conference on General Topology and Applications 1994, 183â€“197.
KarapÄ±nar E, YÃ¼ksel U: Some common fixed point theorems in partial metric spaces. J. Appl. Math. 2011., 2011: Article ID 263621
Bukatin MA, Shorina SY: Partial metrics and cocontinuous valuations. Lecture Notes in Computer Science 1378. In Foundations of Software Science and Computation Structure. Edited by: Nivat M. Springer, Berlin; 1998:125â€“139.
Aydi H: Some fixed point results in ordered partial metric spaces. J. Nonlinear Sci. Appl. 2011, 4: 210â€“217.
Samet B, RajoviÄ‡ M, LazoviÄ‡ R, StoiljkoviÄ‡ R: Common fixed point results for nonlinear contractions in ordered partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 71
Paesano D, Vetro P: Suzukiâ€™s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces. Topol. Appl. 2012, 159: 911â€“920.
Hitzler P, Seda AK: Dislocated topologies. J. Electr. Eng. 2000, 51(12/s):3â€“7.
Hitzler, P: Generalized metrics and topology in logic programming semantics. PhD thesis, National University of Ireland (University College, Cork) (2001)
Aage CT, Salunke JN: The results on fixed points in dislocated and dislocated quasimetric space. Appl. Math. Sci. 2008, 2(59):2941â€“2948.
Isufati A: Fixed point theorems in dislocated quasimetric space. Appl. Math. Sci. 2010, 4(5):217â€“233.
Sarma IR, Kumari PS: On dislocated metric spaces. Int. J. Math. Arch. 2012, 3(1):72â€“77.
Shrivastava R, Ansari ZK, Sharma M: Some results on fixed points in dislocated and dislocated quasimetric spaces. J.Â Adv. Stud. Topol. 2012, 3(1):25â€“31.
Kryeyszig E Wiley Classics Library. In Introductory Functional Analysis with Applications. Wiley, New York; 1989.
AminiHarandi A: Metriclike spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012., 2012: Article ID 204
Romaguera S: A Kirk type characterization of completeness for partial metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 493298. doi:10.1155/2010/493298
Abbas M, Nemeth SZ: Finding solutions of implicit complementarity problems by isotonicity of metric projection. Nonlinear Anal. 2012, 75: 2349â€“2361.
Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799â€“1803.
Acknowledgements
The authors sincerely thank the learned referee for a careful reading and thoughtful comments. The present version of the paper owes much to the precise and kind remarks of three anonymous referees.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ contributions
IB gave the idea. MA and AS wrote the initial draft. IB and MA finalized the manuscript. Correspondence was mainly done by IB. All authors read and approved the final manuscript.
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
Arshad, M., Shoaib, A. & Beg, I. Fixed point of a pair of contractive dominated mappings on a closed ball in an ordered dislocated metric space. Fixed Point Theory Appl 2013, 115 (2013). https://doi.org/10.1186/168718122013115
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122013115