Hindawi Publishing Corporation Journal of Mathematics Volume 2013, Article ID 878730, 7 pages http://dx.doi.org/10.1155/2013/878730
Research Article Some Common Fixed Point Theorems for F-Contraction Type Mappings in 0-Complete Partial Metric Spaces Satish Shukla1 and Stojan RadenoviT2 1
Department of Applied Mathematics, Shri Vaishnav Institute of Technology & Science, Gram Baroli Sanwer Road, Indore, Madhya Pradesh 453331, India 2 Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrad, Serbia Correspondence should be addressed to Stojan RadenoviΒ΄c;
[email protected] Received 11 January 2013; Accepted 22 February 2013 Academic Editor: Bibhas R. Majhi Copyright Β© 2013 S. Shukla and S. RadenoviΒ΄c. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We prove some common fixed point theorems for πΉ-contractions in 0-complete partial metric spaces. Our results extend, generalize, and unify several known results in the literature. Some examples are included which show that the generalization is proper.
1. Introduction and Preliminaries In 1994, Matthews [1] introduced the notion of partial metric spaces, as a part of the study of denotational semantics of dataflow network. In partial metric space, the usual distance was replaced by partial metric, with an interesting property βnonzero self-distanceβ of points. Also, the convergence of sequences in this space was defined in such a way that the limit of a convergent sequence need not be unique. Matthews showed that the Banach contraction principle is valid in partial metric space and can be applied in program verification. Later, several authors generalized the result of Matthews (see, e.g., [2β29]). OβNeill [22] generalized the concept of partial metric space a bit further by admitting negative distances. The partial metric defined by OβNeill is called dualistic partial metric. Heckmann [21] generalized it by omitting small selfdistance axiom. The partial metric defined by Heckmann is called weak partial metric. Romaguera [23] introduced the notion of 0-Cauchy sequence, 0-complete partial metric spaces and proved some characterizations of partial metric spaces in terms of completeness and 0-completeness. The notion of 0-complete partial metric spaces is more general than the complete partial metric space, as shown by an example in [23]. Recently, Wardowski [30] introduces a new concept of πΉ-contraction and proves a fixed point theorem which generalizes the Banach contraction principle in a different way
than the known results of the literature on complete metric spaces. In this paper, we consider a more generalized type of πΉ-contraction and prove some common fixed point theorems for such type of mappings in 0-complete partial metric spaces. The results of this paper generalize and extend the results of Β΄ c [31, 32], and some Wardowski [30], Altun et al. [17], CiriΒ΄ well-known results in the literature. Some examples are given which show that the results of this paper are proper generalizations of known results. First we recall some definitions and properties of partial metric space [1, 22, 23, 25, 33]. Definition 1. A partial metric on a nonempty set π is a function π : π Γ π β R+ (R+ stands for nonnegative reals) such that for all π₯, π¦, and π§ β π (P1) π₯ = π¦ if and only if π(π₯, π₯) = π(π₯, π¦) = π(π¦, π¦); (P2) π(π₯, π₯) β€ π(π₯, π¦); (P3) π(π₯, π¦) = π(π¦, π₯); (P4) π(π₯, π¦) β€ π(π₯, π§) + π(π§, π¦) β π(π§, π§). A partial metric space is a pair (π, π) such that π is a nonempty set, and π is a partial metric on π. It is clear that, if π(π₯, π¦) = 0, then from (P1) and (P2) π₯ = π¦. But if π₯ = π¦, π(π₯, π¦) may not be 0. Also every metric space is a partial metric space, with zero self-distance.
2
Journal of Mathematics
Each partial metric on π generates a π0 topology ππ on π which has a base of the family of open π-balls {π΅π (π₯, π) : π₯ β π, π > 0}, where π΅π (π₯, π) = {π¦ β π : π(π₯, π¦) < π(π₯, π₯)+π} for all π₯ β π and π > 0. Definition 2. A mapping π : π β π is continuous if and only if, whenever a sequence {π₯π } in π converges with respect to ππ to a point π₯ β π, the sequence {ππ₯π } converges with respect to ππ to ππ₯ β π. Theorem 3 (see [1]). For each partial metric π : πΓπ β R+ the pair (π, π), where π(π₯, π¦) = 2π(π₯, π¦)βπ(π₯, π₯)βπ(π¦, π¦) for all π₯, π¦ β π, is a metric space. Here (π, π) is called induced metric space, and π is induced metric. In further discussion until specified, (π, π) will represent induced metric space.
of rational numbers and the partial metric π is given by π(π₯, π¦) = max{π₯, π¦}, provides an easy example of a 0-complete partial metric space which is not complete. Also, it is easy to see that every closed subset of a 0-complete partial metric space is 0-complete. The proof of the following lemma is easy, and for detail we refer to [34] and the references therein. Lemma 7. Assume π₯π β π§ as π β β in a partial metric space (π, π) such that π(π§, π§) = 0. Then limπ β β π(π₯π , π¦) = π(π§, π¦) for all π¦ β π. Analogous to [30] we have following definitions. Definition 8. Let πΉ : R+ β R be a mapping satisfying: (F1) πΉ is strictly increasing, that is, for πΌ, π½ β R+ such that πΌ < π½ implies πΉ(πΌ) < πΉ(π½);
Example 4 (see [1]). If π : R+ Γ R+ β R+ is defined by π(π₯, π¦) = max{π₯, π¦}, for all π₯, π¦ β R+ , then (R+ , π) is a partial metric space.
(F2) for each sequence {πΌπ } of positive numbers limπ β β πΌπ = 0 if and only if limπ β β πΉ(πΌπ ) = ββ;
Example 5. Let (π, π) be a partial metric space; then (π, πβ ) is a partial metric space, where πβ (π₯, π¦) = π(π₯, π¦) + π(π₯, π¦) for all π₯, π¦ β π and π is the metric induced by π.
For examples of function πΉ, we refer to [30]. We denote the set of all functions satisfying properties (F1)β(F3) by F.
For some more examples of partial metric spaces, we refer to [14] and the references therein. Let (π, π) be a partial metric space. (1) A sequence {π₯π } in (π, π) converges to a point π₯ β π if and only if π(π₯, π₯) = limπ β β π(π₯π , π₯). (2) A sequence {π₯π } in (π, π) is called the Cauchy sequence if there exists (and is finite) limπ,π β β π(π₯π , π₯π ). (3) (π, π) is said to be complete if every Cauchy sequence {π₯π } in π converges with respect to ππ to a point π₯ β π such that π(π₯, π₯) = limπ,π β β π(π₯π , π₯π ). (4) A sequence {π₯π } in (π, π) is called 0-Cauchy sequence if limπ,π β β π(π₯π , π₯π ) = 0. The space (π, π) is said to be 0-complete if every 0-Cauchy sequence in π converges with respect to ππ to a point π₯ β π such that π(π₯, π₯) = 0. Lemma 6 (see [1, 23, 25, 33]). Let (π, π) be a partial metric space and {π₯π } any sequence in π. (i) {π₯π } is a Cauchy sequence in (π, π) if and only if it is a Cauchy sequence in metric space (π, π). (ii) (π, π) is complete if and only if the metric space (π, π) is complete. Furthermore, limπ β β π(π₯π , π₯) = 0 if and only if π(π₯, π₯) = limπ β β π(π₯π , π₯) = limπ,π β β π(π₯π , π₯π ). (iii) Every 0-Cauchy sequence in (π, π) is Cauchy in (π, π). (iv) If (π, π) is complete, then it is 0-complete. The converse assertions of (iii) and (iv) do not hold. Indeed, the partial metric space (Q β© R+ , π), where Q denotes the set
(F3) there exists π β (0, 1) such that limπΌ β 0+ πΌπ πΉ(πΌ) = 0.
Wardowski in [30] defined the πΉ-contraction as follows. Let (π, π) be a metric space. A mapping π : π β π is said to be an πΉ-contraction if there exists πΉ β F and π > 0 such that, for all π₯, π¦ β π, π(ππ₯, ππ¦) > 0, we have π + πΉ (π (ππ₯, ππ¦)) β€ πΉ (π (π₯, π¦)) .
(1)
The following lemma will be useful in proving our main result. Lemma 9. Let (π, π) be a partial metric space and π, π : π β π two mappings. Suppose there exist πΉ β F and π > 0 such that, for all π₯, π¦ β π, π(ππ₯, ππ¦) > 0, one has π + πΉ (π (ππ₯, ππ¦)) β€ πΉ (max {π (π₯, π¦) , π (π₯, ππ₯) , π (π¦, ππ¦) ,
(2)
π (π₯, ππ¦) + π (π¦, ππ₯) }) . 2 If π has a fixed point π’ β π, then π’ is a unique common fixed point of π and π, and π(π’, π’) = 0. Proof. Let π’ β π be a fixed point of π. Suppose π(ππ’, ππ’) > 0; then by (2) we obtain π + πΉ (π (ππ’, ππ’)) β€ πΉ (max {π (π’, π’) , π (π’, ππ’) , π (π’, ππ’) , π (π’, ππ’) + π (π’, ππ’) }) , 2
Journal of Mathematics
3
π + πΉ (π (π’, ππ’)) β€ πΉ (max {π (π’, ππ’) ,
Proof. Let π₯0 β π be arbitrary. Define a sequence {π₯π } by π₯2π+1 = ππ₯2π , and π₯2π+2 = ππ₯2π+1 for all π β₯ 0. If π₯π+1 = π₯π for any π β N, for example, let π₯2π+1 = π₯2π , then it follows from (6) that π + πΉ (π (π₯2π+1 , π₯2π+2 ))
π (π’, π’) + π (π’, ππ’) }) , 2
π + πΉ (π (π’, ππ’)) β€ πΉ (π (π’, ππ’)) ,
(3)
a contradiction (as π > 0). Therefore we have π(ππ’, ππ’) = 0; that is, ππ’ = ππ’ = π’. Thus π’ is a common fixed point of π and π. Again, if π(π’, π’) > 0, then by a similar process as above we obtain π + πΉ (π (π’, π’)) = π + πΉ (π (ππ’, ππ’)) β€ πΉ (π (π’, ππ’)) = πΉ (π (π’, π’)) ,
(4)
a contradiction (as π > 0). Therefore, π(π’, π’) = 0. For uniqueness, let V be another common fixed point of π and π; that is, πV = πV = V. If π(π’, V) > 0, then by (2) we obtain π + πΉ (π (π’, V))
= π + πΉ (π (ππ₯2π , ππ₯2π+1 )) β€ πΉ (max {π (π₯2π , π₯2π+1 ) , π (π₯2π , ππ₯2π ) , π (π₯2π+1 , ππ₯2π+1 ) , π (π₯2π , ππ₯2π+1 ) + π (π₯2π+1 , ππ₯2π ) }) 2 = πΉ (max {π (π₯2π , π₯2π+1 ) , π (π₯2π , π₯2π+1 ) , π (π₯2π+1 , π₯2π+2 ) , π (π₯2π , π₯2π+2 ) + π (π₯2π+1 , π₯2π+1 ) }) 2 = πΉ (max {π (π₯2π , π₯2π ) , π (π₯2π , π₯2π ) , π (π₯2π , π₯2π+2 ) ,
= π + πΉ (π (ππ’, πV))
π (π₯2π , π₯2π+2 ) + π (π₯2π , π₯2π ) }) 2
β€ πΉ (max {π (π’, V) , π (π’, ππ’) , π (V, πV) ,
= πΉ (π (π₯2π , π₯2π+2 )) ,
π (π’, πV) + π (V, ππ’) }) 2
(7)
π (π’, V) + π (V, π’) }) = πΉ (max {π (π’, V) , π (π’, π’) , π (V, V) , 2 = πΉ (π (π’, V)) , (5) a contradiction. Therefore, π(π’, V) = 0; that is, π’ = V. Thus a common fixed point is unique. Now we can state our main results.
that is, πΉ(π(π₯2π , π₯2π+2 )) β€ πΉ(π(π₯2π , π₯2π+2 )) β π. As, π > 0, we get a contradiction. Therefore, we must have πΉ(π(π₯2π , π₯2π+2 )) = 0; that is, π₯2π = π₯2π+1 = π₯2π+2 . Similarly, we obtain π₯2π = π₯2π+1 = π₯2π+2 = π₯2π+3 = β
β
β
, and so π₯2π = ππ₯2π = ππ₯2π . Thus, π₯2π is a common fixed point of π and π. Now, we assume that π₯π =/ π₯π+1 for all π β N; then it follows from (6) that π + πΉ (π (π₯2π+1 , π₯2π )) = π + πΉ (π (ππ₯2π , ππ₯2πβ1 )) β€ πΉ (max {π (π₯2π , π₯2πβ1 ) , π (π₯2π , ππ₯2π ) , π (π₯2πβ1 , ππ₯2πβ1 ) ,
2. Main Results The following theorem extends and generalizes the results of [30] in partial metric spaces. Theorem 10. Let (π, π) be a 0-complete partial metric space and π, π : π β π two mappings. Suppose there exist πΉ β F and π > 0 such that, for all π₯, π¦ β π, π(ππ₯, ππ¦) > 0, one has π + πΉ (π (ππ₯, ππ¦)) β€ πΉ (max {π (π₯, π¦) , π (π₯, ππ₯) , π (π¦, ππ¦) ,
(6)
π (π₯, ππ¦) + π (π¦, ππ₯) }) . 2 If (i) π or π is continuous or (ii) πΉ is continuous, then π and π have a unique common fixed point π’ β π, and π(π’, π’) = 0.
π (π₯2π , ππ₯2πβ1 ) + π (π₯2πβ1 , ππ₯2π ) }) 2 = πΉ (max {π (π₯2π , π₯2πβ1 ) , π (π₯2π , π₯2π+1 ) , π (π₯2πβ1 , π₯2π ) , π (π₯2π , π₯2π ) + π (π₯2πβ1 , π₯2π+1 ) }) 2 β€ πΉ (max {π (π₯2π , π₯2πβ1 ) , π (π₯2π , π₯2π+1 ) , π (π₯2πβ1 , π₯2π ) + π (π₯2π , π₯2π+1 ) }) 2 = πΉ (max {π (π₯2π , π₯2πβ1 ) , π (π₯2π , π₯2π+1 )}) .
(8)
4
Journal of Mathematics
If max{π(π₯2π , π₯2πβ1 ), π(π₯2π , π₯2π+1 )} = π(π₯2π , π₯2π+1 ), then it follows from the above inequality that π + πΉ(π(π₯2π+1 , π₯2π )) β€ πΉ(π(π₯2π , π₯2π+1 )), a contradiction (as π > 0). Therefore, we must have max{π(π₯2π , π₯2πβ1 ), π(π₯2π , π₯2π+1 )} = π(π₯2π , π₯2πβ1 ). So, setting ππ = π(π₯π , π₯π+1 ) from the above inequality we obtain that πΉ (π2π ) β€ πΉ (π2πβ1 ) β π.
Again, by (F3), there exists π β (0, 1) such that lim ππ πΉ (ππ ) πββ π
= 0.
From (12) and (13) we have π π π2π [πΉ (π2π ) β πΉ (π0 )] β€ β2ππ2π π β€ 0,
(9)
π π [πΉ (π2π+1 ) β πΉ (π0 )] β€ β (2π + 1) π2π+1 π β€ 0. π2π+1
Again, using (6) we obtain
(15)
(16)
Using (14) and (15) in the above inequalities we obtain
π + πΉ (π (π₯2π+2 , π₯2π+1 ))
π
lim π(ππ ) = 0.
= π + πΉ (π (ππ₯2π+1 , ππ₯2π )) = π + πΉ (π (ππ₯2π , ππ₯2π+1 ))
πββ
β€ πΉ (max {π (π₯2π , π₯2π+1 ) , π (π₯2π , ππ₯2π ) , π (π₯2π+1 , ππ₯2π+1 ) ,
It follows from above that there exists π0 β N such that π(ππ )π < 1 for all π > π0 ; that is,
π (π₯2π , ππ₯2π+1 ) + π (π₯2π+1 , ππ₯2π ) }) 2
ππ
0). Therefore, we must have max{π(π₯2π , π₯2π+1 ), π(π₯2π+1 , π₯2π+2 )} = π(π₯2π , π₯2π+1 ). So from the above inequality we obtain that (11)
π=π
(12)
Similarly
1
+
1 π1/π
(π + 1)1/π
+ β
β
β
. (19)
1/π As π β (0, 1), therefore the series ββ converges; so it π=π 1/π follows from the above inequality that limπ β β π(π₯π , π₯π ) = 0; that is, the sequence {π₯π } is a 0-Cauchy sequence in π. Therefore, by 0-completeness of (π, π), there exists π’ β π such that
lim π (π₯π , π₯π ) = lim π (π₯π , π’) = π (π’, π’) = 0.
π,π β β
Using (9) and (11) we obtain
β€ πΉ (π2πβ2 ) β 2π β€ β
β
β
β€ πΉ (π0 ) β 2ππ.
βπ > π0 .
β [π (π₯π+1 , π₯π+1 ) + π (π₯π+2 , π₯π+2 )
π (π₯2π , π₯2π+1 ) + π (π₯2π+1 , π₯2π+2 ) }) 2
πΉ (π2π ) β€ πΉ (π2πβ1 ) β π
,
π (π₯π , π₯π ) β€ π (π₯π , π₯π+1 ) + π (π₯π+1 , π₯π+2 ) + β
β
β
+ π (π₯πβ1 , π₯π )
β€ πΉ (max {π (π₯2π , π₯2π+1 ) , π (π₯2π+1 , π₯2π+2 ) ,
πΉ (π2π+1 ) β€ πΉ (π2π ) β π.
1 π1/π
Let π, π β N with π > π > π0 ; then it follows from (18) that
π (π₯2π , π₯2π+2 ) + π (π₯2π+1 , π₯2π+1 ) }) 2
= πΉ (max {π (π₯2π , π₯2π+1 ) , π (π₯2π+1 , π₯2π+2 )}) .
(17)
πββ
(20)
We will prove that π’ is a common fixed point of π and π. We consider two cases. Case 1. Suppose π is continuous. Using continuity of π, (20), and Lemma 7 we obtain π (π’, ππ’) = lim π (π₯2π+1 , ππ’) πββ
πΉ (π2π+1 ) β€ πΉ (π2π ) β π β€ πΉ (π2πβ1 ) β 2π β€ β
β
β
β€ πΉ (π0 ) β (2π + 1) π.
(13)
It follows from (12) and (13) that limπ β β πΉ(ππ ) = ββ. As πΉ β F by (F2) we have lim π πββ π
= 0.
(14)
= lim π (ππ₯2π , ππ’) = π (ππ’, ππ’) .
(21)
πββ
We claim that π(ππ’, ππ’) = 0. Suppose π(ππ’, ππ’) > 0. If for each π β N there exists ππ such that π(π₯ππ +1 , ππ’) = 0 and ππ > ππβ1 with π0 = 1, then by Lemma 7 and (20) we have ππ’ = π’, and so, by Lemma 9, π’ is a unique common fixed point of π and π.
Journal of Mathematics
5
Now suppose there exists π1 β N such that π(ππ’, ππ₯π ) > 0 for all π β₯ π1 . Then, since π(ππ’, ππ’) > 0, there exists π > 0 such that π(ππ’, ππ’) > π. For any π β₯ π1 we have π + πΉ (π (ππ’, ππ₯2π+1 )) β€ πΉ (max {π (π’, π₯2π+1 ) , π (π’, ππ’) , π (π₯2π+1 , ππ₯2π+1 ) ,
π (π’, π₯2π+2 ) + π (π₯2π+1 , π’) + π (π’, ππ’) } = π (π’, ππ’) , 2 (25)
π + πΉ (π (ππ’, π₯2π+2 )) β€ πΉ (π (π’, ππ’)) ,
= πΉ (max {π (π’, π₯2π+1 ) , π (ππ’, ππ’) , π (π₯2π+1 , π₯2π+2 ) , π (π’, π₯2π+2 ) + π (π₯2π+1 , ππ’) }) . 2
βπ > max {π3 , π4 } . (26)
Using continuity of πΉ and letting π β β in the above inequality we obtain π + πΉ (π (ππ’, π’)) β€ πΉ (π (π’, ππ’)) ,
(22) Using (20) and (21), there exists π2 β N such that π(π’, π₯2π+1 ), π(π₯2π+1 , π₯2π+2 ) < π/2 and π(π₯2π+1 , ππ’) < π(ππ’, ππ’) + π/2 for all π > π2 ; therefore, it follows from the above inequality that π + πΉ (π (ππ’, ππ₯2π+1 ))
π/2 + π (ππ’, ππ’) + π/2 }) , 2
max {π (π’, π₯2π+1 ) , π (π’, ππ’) , π (π₯2π+1 , π₯2π+2 ) ,
for all π > π4 . Therefore, it follows from (24) that
π (π’, ππ₯2π+1 ) + π (π₯2π+1 , ππ’) }) 2
π π β€ πΉ (max { , π (ππ’, ππ’) , , 2 2
From (20), there exists π4 β N such that
(23)
πΉ (π (ππ’, ππ₯2π+1 )) < πΉ (π (ππ’, ππ’)) . As πΉ β F, by (F1) we have π(ππ’, ππ₯2π+1 ) < π(ππ’, ππ’) for all π > max{π1 , π2 }, a contradiction. Therefore, we must have π(ππ’, ππ’) = π(π’, ππ’) = 0; that is, ππ’ = π’, and by Lemma 9, π’ is a unique common fixed point of π and π. Similarly, if π is continuous, then π’ is a unique common fixed point of π and π. Case 2. Now suppose that πΉ is continuous. We can assume that there exists π3 such that π(π₯π , ππ’) > 0 for all π β₯ π3 ; otherwise we get ππ’ = π’ (similar as in previous case). For any π β₯ π3 , we obtain from (6) that π + πΉ (π (ππ’, π₯2π+2 )) = π + πΉ (π (ππ’, ππ₯2π+1 )) β€ πΉ (max {π (π’, π₯2π+1 ) , π (π’, ππ’) , π (π₯2π+1 , ππ₯2π+1 ) , π (π’, ππ₯2π+1 ) + π (π₯2π+1 , ππ’) }) 2 β€ πΉ (max {π (π’, π₯2π+1 ) , π (π’, ππ’) , π (π₯2π+1 , π₯2π+2 ) , π (π’, π₯2π+2 ) + π (π₯2π+1 , π’) + π (π’, ππ’) }) . 2 (24)
(27)
a contradiction (as π > 0). Therefore we must have π(π’, ππ’) = 0; that is, ππ’ = π’. Again by Lemma 9 π’ is a unique common fixed point of π and π. The following corollaries are immediate consequences of Theorem 10. Corollary 11. Let (π, π) be a 0-complete partial metric space and π, π : π β π two mappings. Suppose there exist πΉ β F and π > 0 such that, for all π₯, π¦ β π, π(ππ₯, ππ¦) > 0, one has π + πΉ (π (ππ₯, ππ¦)) β€ πΉ (max {π (π₯, π¦) , π (π₯, ππ₯) , π (π¦, ππ¦)}) . (28) If (i) π or π is continuous or (ii) πΉ is continuous, then π and π have a unique common fixed point π’ β π, and π(π’, π’) = 0. Corollary 12. Let (π, π) be a 0-complete partial metric space and π, π : π β π two mappings. Suppose there exist πΉ β F and π > 0 such that, for all π₯, π¦ β π, π(ππ₯, ππ¦) > 0, one has π + πΉ (π (ππ₯, ππ¦)) β€ πΉ (π (π₯, π¦)) .
(29)
If (i) π or π is continuous or (ii) πΉ is continuous, then π and π have a unique common fixed point π’ β π, and π(π’, π’) = 0. Taking π = π in Theorem 10 we obtain the following corollary. Corollary 13. Let (π, π) be a 0-complete partial metric space and π : π β π a mapping. Suppose there exist πΉ β F and π > 0 such that, for all π₯, π¦ β π, π(ππ₯, ππ¦) > 0, one has π + πΉ (π (ππ₯, ππ¦)) β€ πΉ (max {π (π₯, π¦) , π (π₯, ππ₯) , π (π¦, ππ¦) ,
(30)
π (π₯, ππ¦) + π (π¦, ππ₯) }) . 2 If (i) π is continuous or (ii) πΉ is continuous, then π has a unique fixed point π’ β π, and π(π’, π’) = 0.
6
Journal of Mathematics
The following is a fixed point result for πΉ-contraction in 0complete partial metric space and follows from Corollary 13. Corollary 14. Let (π, π) be a 0-complete partial metric space and π : π β π a mapping. Suppose there exist πΉ β F and π > 0 such that, for all π₯, π¦ β π, π(ππ₯, ππ¦) > 0, one has π + πΉ (π (ππ₯, ππ¦)) β€ πΉ (π (π₯, π¦)) .
(31)
If (i) π is continuous or (ii) πΉ is continuous, then π has a unique fixed point π’ β π, and π(π’, π’) = 0. The following are some examples which illustrate the above results and that the generalizations are proper. Example 15. Let π = [0, 1] β© Q, and let π : π Γ π β R+ be defined by π(π₯, π¦) = max{π₯, π¦} for all π₯, π¦ β π. Then (π, π) is a 0-complete partial metric space, but it is not complete partial metric space. Indeed, the induced metric space (π, π), where π(π₯, π¦) = |π₯βπ¦| for all π₯, π¦ β π, is not a complete metric space. Define π : π β π by π₯ , { { {4 ππ₯ = { { {1, {8
if π₯ β [0, 1) ; (32) if π₯ = 1.
We note that π satisfies the condition (31) of Corollary 14 with πΉ(π‘) = log π‘ for all π‘ β R+ , π β (0, log 4], and 0 β π is unique fixed point of π with π(0, 0) = 0. On the other hand, the metric version of Corollary 14 is not applicable because (π, π) is not complete metric space. Also, this example shows that the class of πΉ-contraction in partial metric spaces is wider than that in metric spaces. Indeed, for π₯ = 1, π¦ = 9/10, there is no πΉ β F and π > 0 such that π+πΉ(π(ππ₯, ππ¦)) β€ πΉ(π(π₯, π¦)), where π is usual as well as the metric induced by π. The following example illustrates the case when Corollary 11 is applicable, while Corollary 12 is not, as well as the metric versions of Corollary 11 are not applicable. Example 16. Let π = {0, 1, 2, 3}, and let π : π Γ π β R+ be defined by σ΅¨ σ΅¨ π (π₯, π¦) = σ΅¨σ΅¨σ΅¨π₯ β π¦σ΅¨σ΅¨σ΅¨ + max {π₯, π¦} ,
βπ₯, π¦ β π.
(33)
Then, (π, π) is a 0-complete partial metric space. Note that the metric induced by π is given by π(π₯, π¦) = 3|π₯ β π¦| for all π₯, π¦ β π. Define π, π : π β π by π0 = 0,
π1 = 0,
π2 = 1,
π3 = 1,
π0 = 0,
π1 = 0,
π2 = 0,
π3 = 1.
(34)
Now, by a careful observation one can see that π and π satisfy the condition (28) of Corollary 11, with πΉ(π‘) = log π‘ for all π‘ β R+ , π β (0, log(3/2)], and π and π have a unique common fixed point, namely, 0 β π with π(0, 0) = 0. While, π and π do not satisfy the condition (29) of Corollary 12. Indeed, for π₯ = 2, π¦ = 2, there are no πΉ β F and π > 0 such that π + πΉ(π(ππ₯, ππ¦)) β€ πΉ(π(π₯, π¦)). Again, π and π do not satisfy
the metric versions of Condition (28) of Corollary 11. Indeed, π₯ = 2, π¦ = 1 are the points where the induced metric and usual metric versions of condition (28) of Corollary 11 are not satisfied.
References [1] S. G. Matthews, βPartial metric topology,β Annals of the New York Academy of Sciences, vol. 728, pp. 183β197, 1994. [2] A. Amini-Harandi, βMetric-like spaces, partial metric spaces and fixed points,β Fixed Point Theory and Applications, vol. 2012, article 204, 2012. [3] A. G. Bin Ahmad, Z. M. Fadail, V. C. RajiΒ΄c, and S. RadenoviΒ΄c, βNonlinear contractions in 0-complete partial metric spaces,β Abstract and Applied Analysis, vol. 2012, Article ID 451239, 12 pages, 2012. [4] C. Di Bari, M. MilojeviΒ΄c, S. RadenoviΒ΄c, and P. Vetro, βCommon fixed points for self-mappings on partial metric spaces,β Fixed Point Theory and Applications, vol. 2012, article 140, 2012. [5] C. Di Bari, Z. Kadelburg, H. K. Nashine, and S. RadenoviΒ΄c, βCommon fixed points of π-quasicontractions and related mappings in 0-complete partial metric spaces,β Fixed Point Theory and Applications, vol. 2012, article 113, 2012. [6] D. ΓukiΒ΄c, Z. Kadelburg, and S. RadenoviΒ΄c, βFixed points of Geraghty-type mappings in various generalized metric spaces,β Abstract and Applied Analysis, vol. 2011, Article ID 561245, 13 pages, 2011. [7] D. IliΒ΄c, V. PavloviΒ΄c, and V. RakoΛceviΒ΄c, βExtensions of the Zamfirescu theorem to partial metric spaces,β Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 801β809, 2012. [8] D. Paesano and P. Vetro, βSuzukiβs type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces,β Topology and Its Applications, vol. 159, no. 3, pp. 911β920, 2012. [9] F. Vetro and S. RadenoviΒ΄c, βNonlinear π-quasi-contractions of Β΄ c-type in partial metric spaces,β Applied Mathematics and CiriΒ΄ Computation, vol. 219, no. 4, pp. 1594β1600, 2012. [10] H. Aydi, βFixed point results for weakly contractive mappings in ordered partial metric spaces,β Journal of Advanced Mathematical Studies, vol. 4, no. 2, pp. 1β12, 2011. [11] H. Aydi, βFixed point theorems for generalized weakly contractive condition in ordered partial metric spaces,β Journal of Nonlinear Analysis and Optimization, vol. 2, no. 2, pp. 269β284, 2011. [12] H. Aydi, βSome coupled fixed point results on partial metric spaces,β International Journal of Mathematics and Mathematical Sciences, vol. 2011, Article ID 647091, 11 pages, 2011. [13] H. Aydi, βSome fixed point results in ordered partial metric spaces,β Journal of Nonlinear Science and its Applications, vol. 4, no. 3, pp. 210β217, 2011. [14] H. Aydi, M. Abbas, and C. Vetro, βPartial Hausdorff metric and Nadlerβs fixed point theorem on partial metric spaces,β Topology and Its Applications, vol. 159, no. 14, pp. 3234β3242, 2012. [15] H. K. Nashine, Z. Kadelburg, S. RadenoviΒ΄c, and J. K. Kim, βFixed point theorems under Hardy-Rogers contractive conditions on 0-complete ordered partial metric spaces,β Fixed Point Theory Applications, vol. 2012, article 180, 2012. [16] I. Altun and A. Erduran, βFixed point theorems for monotone mappings on partial metric spaces,β Fixed Point Theory and Applications, vol. 2011, Article ID 508730, 10 pages, 2011.
Journal of Mathematics [17] I. Altun, F. Sola, and H. Simsek, βGeneralized contractions on partial metric spaces,β Topology and Its Applications, vol. 157, no. 18, pp. 2778β2785, 2010. Β΄ c, B. Samet, H. Aydi, and C. Vetro, βCommon fixed points [18] L. CiriΒ΄ of generalized contractions on partial metric spaces and an application,β Applied Mathematics and Computation, vol. 218, no. 6, pp. 2398β2406, 2011. [19] M. Bukatin, R. Kopperman, S. Matthews, and H. Pajoohesh, βPartial metric spaces,β The American Mathematical Monthly, vol. 116, no. 8, pp. 708β718, 2009. [20] N. Hussain, Z. Kadelburg, S. RadenoviΒ΄c, and F. Al-Solamy, βComparison functions and fixed point results in partial metric spaces,β Abstract and Applied Analysis, vol. 2012, Article ID 605781, 15 pages, 2012. [21] R. Heckmann, βApproximation of metric spaces by partial metric spaces,β Applied Categorical Structures, vol. 7, no. 1-2, pp. 71β83, 1999. [22] S. J. OβNeill, βPartial metrics, valuations, and domain theory,β Annals of the New York Academy of Sciences, vol. 806, pp. 304β 315, 1996. [23] S. Romaguera, βA Kirk type characterization of completeness for partial metric spaces,β Fixed Point Theory and Applications, vol. 2010, Article ID 493298, 6 pages, 2010. [24] S. Romaguera, βFixed point theorems for generalized contractions on partial metric spaces,β Topology and Its Applications, vol. 159, no. 1, pp. 194β199, 2012. [25] S. Romaguera, βMatkowskiβs type theorems for generalized contractions on (ordered) partial metric spaces,β Applied General Topology, vol. 12, no. 2, pp. 213β220, 2011. [26] T. Abdeljawad, βFixed points for generalized weakly contractive mappings in partial metric spaces,β Mathematical and Computer Modelling, vol. 54, no. 11-12, pp. 2923β2927, 2011. [27] T. Abdeljawad, E. KarapΔ±nar, and K. TasΒΈ, βExistence and uniqueness of a common fixed point on partial metric spaces,β Applied Mathematics Letters, vol. 24, no. 11, pp. 1900β1904, 2011. [28] W. Shatanawi, B. Samet, and M. Abbas, βCoupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces,β Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 680β687, 2012. [29] Z. Kadelburg, H. K. Nashine, and S. RadenoviΒ΄c, βFixed point results under various contractive conditions in partial metric spaces,β Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales A, 2012. [30] D. Wardowski, βFixed points of a new type of contractive mappings in complete metric spaces,β Fixed Point Theory and Applications, vol. 2012, article 94, 2012. Β΄ c, βFixed points for generalized multi-valued contrac[31] L. B. CiriΒ΄ tions,β MatematiΛcki Vesnik, vol. 9, no. 24, pp. 265β272, 1972. Β΄ c, βGeneralized contractions and fixed-point theo[32] L. B. CiriΒ΄ rems,β Publications de lβInstitut MathΒ΄ematique, vol. 12, no. 26, pp. 19β26, 1971. [33] S. Oltra and O. Valero, βBanachβs fixed point theorem for partial metric spaces,β Rendiconti dellβIstituto di Matematica dellβUniversit`a di Trieste, vol. 36, no. 1-2, pp. 17β26, 2004. Β΄ c types nonunique fixed point theorems [34] E. KarapΔ±nar, βCiriΒ΄ on partial metric spaces,β Journal of Nonlinear Science and Its Applications, vol. 5, no. 2, pp. 74β83, 2012.
7
Advances in
Operations Research Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Applied Mathematics
Algebra
Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Probability and Statistics Volume 2014
The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at http://www.hindawi.com International Journal of
Advances in
Combinatorics Hindawi Publishing Corporation http://www.hindawi.com
Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of Mathematics and Mathematical Sciences
Mathematical Problems in Engineering
Journal of
Mathematics Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Discrete Dynamics in Nature and Society
Journal of
Function Spaces Hindawi Publishing Corporation http://www.hindawi.com
Abstract and Applied Analysis
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of
Journal of
Stochastic Analysis
Optimization
Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014