/ / Article

Research Article | Open Access

Volume 2012 |Article ID 495892 | https://doi.org/10.1155/2012/495892

Erdal Karapınar, Wasfi Shatanawi, "On Weakly -Contractive Mappings in Ordered Partial Metric Spaces", Abstract and Applied Analysis, vol. 2012, Article ID 495892, 17 pages, 2012. https://doi.org/10.1155/2012/495892

# On Weakly ( 𝐶 , 𝜓 , 𝜙 ) -Contractive Mappings in Ordered Partial Metric Spaces

Revised17 Jul 2012
Accepted26 Jul 2012
Published30 Aug 2012

#### Abstract

We introduce the notion of weakly -contractive mappings in ordered partial metric spaces and prove some common fixed point theorems for such contractive mappings in the context of partially ordered partial metric spaces under certain conditions. We give some common fixed point results of integral type as an application of our main theorem. Also, we give an example and an application of integral equation to support the useability of our results.

#### 1. Introduction and Preliminaries

In 1994, Matthews  introduced the notion of a partial metric space as a generalization of the usual metric space. In partial metric space self distance, that is. is not necessarily equal a zero. In this interesting paper, Matthews  prove the Banach contraction mapping principle in the frame of partial metric spaces. After this initial paper, many authors have studied various type contractions and related fixed point results in partial metric spaces (see, ).

Definition 1.1 (see ). A partial metric on a nonempty set is a function such that for all :, , , .
A pair is called a partial metric space where is a nonempty set and is a partial metric on .
Each partial metric on generates a topology on . The set ,  , where for all and forms the base of .
If is a partial metric on , then the function given by is a metric on .

Definition 1.2 (see ). Let be a partial metric space. Then one has the following. (1)A sequence in a partial metric space converges to a point if and only if .(2)A sequence in a partial metric space is called a Cauchy sequence if there exists (and is finite) .(3)A partial metric space is said to be complete if every Cauchy sequence in converges, with respect to , to a point such that .
The following lemma is crucial in proving our main results.

Lemma 1.3 (see ). Let be a partial metric space. (1) is a Cauchy sequence in if and only if it is a Cauchy sequence in the metric space .(2)A partial metric space is complete if and only if the metric space is complete. Furthermore, if and only if

In 1972, Chatterjea  introduced the concept of -contraction as follows.

Definition 1.4 (see ). Let be a metric space and be a mapping. Then is called a -contraction if there exists such that holds for all .
In this interesting paper, Chatterjea  proved the following theorem.

Theorem 1.5 (see ). Every -contraction in a complete metric space has a unique fixed point.

Choudhury  introduced the concept of weakly -contractive mapping as a generalization of -contractive mapping and prove that every weakly -contractive mapping in a complete metric space has a unique fixed point.

Definition 1.6 (see ). Let be a metric space and be a mapping. Then is called a weakly -contractive if there exists a continuous function such that for all , we have Harjani et al.  announced some fixed point results for weakly C-contractive mappings in a complete metric space endowed with a partial order. Meanwhile, Shatanawi  proved some fixed point and coupled fixed point theorems for a nonlinear weakly -contraction type mapping in metric and ordered metric spaces.
In this paper, we introduce the concept of weakly -contractive mappings in ordered partial metric spaces, and we prove some existence theorems of common fixed point for such mapping in the context of complete partial metric spaces under certain conditions.

#### 2. The Main Result

We start this section with the following definitions.

Definition 2.1. Suppose that is a partial metric space. A mapping is said to be continuous at if for every , there exists such that . We say that is continuous if is continuous at all .
It is easy to see that if is a partial metric space, is continuous, is a sequence in , and
Altun and Simsek  introduce the notion of weakly increasing of two mappings in the following way.

Definition 2.2 (see ). Let be a partially ordered set. Two mappings are said to be weakly increasing if and for all .

For more details on weakly increasing mappings, we refer the reader to [24, 3841]. Let denote all functions such that is continuous, if and only if . Similarly, we denote by all functions such that is continuous and nondecreasing, if and only if .

Inspired the definitions above, we introduce the following definition.

Definition 2.3. Let be an partially ordered metric space. Then the mappings are said to be weakly -contractive mappings if and are weakly increasing with respect to and for any comparable and , we have where and .

Now, we introduce and prove our first results.

Theorem 2.4. Let be a partially ordered set and suppose that there exists a partial metric on such that is complete. Suppose that are weakly -contractive mappings. If and are continuous, then and have a common fixed point; that is, there exists such that .

Proof. Given . Set and . Continuing this process, we construct sequences in such that and . Using the fact that that and are weakly increasing with respect to , we obtain that Now, we will prove that Since and are comparable, by (2.2), we have By , we have Thus (2.5) becomes Using the fact that is nondecreasing, we get that Hence, we have Similarly, we may show that
From (2.9) and (2.10), we have By (2.11), we get that is a non increasing sequence. Hence there is such that
Letting in (2.7), we get Thus and hence Using the continuity of , we conclude that
Again, on taking limit sup in (2.5), we have and hence . From the definition of , we have
Next, we will show that is a Cauchy sequence in the metric space . It is sufficient to show that is a Cauchy sequence in . Suppose to the contrary, that is, is not a Cauchy sequence in . Then there exists for which we can find two subsequences of positive integers and such that is the smallest index for which This means that From (2.18), (2.19), and the triangular inequality, we get that Letting in above inequalities and using (2.17), we have Again, from (2.18) and the triangular inequality, we get that
Letting in above inequalities and using (2.4) and (2.21), we get that By the fact that for all , and the expression above, we conclude that By (2.2), we have
Letting and using the continuity of and , we get that Therefore, we get that . Hence which is a contradiction. Thus, is a Cauchy sequence in . From Lemma 1.3, the sequence converges in the metric space , say . Again from Lemma 1.3, we have Moreover, since is a Cauchy sequence in the metric space , we have From the definition of , we have Letting in the above equality and using (2.4) and (2.29), we get Thus by (2.28), we have Now, Letting in above inequalities and using (2.4) and (2.29), we get that Similarly, we may show that Since is continuous and then by (2.34), we have Similarly, we may show that . By () and () we derive that The above inequality yields that Since and are comparable and is nondecreasing, then by (2.2), we have Thus, we have and hence . By using () and () of Definition 1.1, we find that . That is, is a common fixed point of and .

The continuity of and in Theorem 2.4 can be dropped. For this instance, suppose that satisfies the following property:

: if is a nondecreasing sequence in such that , then for all .

Theorem 2.5. Let be a partially ordered set and suppose that there exists a partial metric on such that is complete. Suppose that be weakly -contractive mappings. If satisfies property , then and have a common fixed point, that is, there exists such that .

Proof. Following the proof of Theorem 2.4 step by step to construct a nondecreasing sequence in such that ,
By property, we have for all . By (2.2), we have Letting in above inequalities, and using (2.41) we get . Since is nondecreasing we get that . Hence . By and , we conclude that . By similar arguments, we can show that . Thus is a common fixed point of and .

By taking (the identity function on ) and defining via where in Theorems 2.4 and 2.5, we have the following results.

Corollary 2.6. Let be a partially ordered set and suppose that there exists a partial metric on such that is complete. Suppose that be weakly increasing mappings with respect to such that for any comparable and , one has If and are continuous and , then and have a common fixed point, that is, there exists such that .

Corollary 2.7. Let be a partially ordered set and suppose that there exists a partial metric on such that is complete. Suppose that be weakly increasing mappings with respect to such that for any comparable and , one has If satisfies property and , then and have a common fixed point, that is, there exists such that .

Corollary 2.8. Let be a partially ordered set and suppose that there exists a partial metric on such that is complete. Suppose that are mapping such that for any comparable and in , one has where is a continuous function such that if and only if and is a continuous nondecreasing function such that if and only if . Also, suppose that for all . If is continuous, then has a fixed point, that is, there exists such that .

Proof. It follows from Theorem 2.4 by taking and noting that and are weakly -contractive mappings.

Corollary 2.9. Let be a partially ordered set and suppose that there exists a partial metric on such that is complete. Suppose that be mapping such that for any comparable and in , one has where is a continuous function such that if and only if and is a continuous nondecreasing function such that if and only if . Also, suppose that for all . If satisfies property , then has a fixed point, that is, there exists such that .

Proof. It follows from Theorem 2.5 by taking and noting that and are weakly -contractive mappings.

We present the following common fixed points of integral type as an application of our results.

Denote by the set of functions satisfying the following hypotheses: (1) is a Lebesgue integrable function on each compact subset of , (2)for every , we have .

It is easy to see that the mapping We have the following result.

Corollary 2.10. Let be an partially ordered metric space. Suppose that are weakly increasing mappings with respect to and for any comparable and , one has If and are continuous, then and have a common fixed point.

Proof. It follows from Theorem 2.4 by defining via and via

Corollary 2.11. Let be an partially ordered metric space. Suppose that are weakly increasing mappings with respect to and for any comparable and , one has If satisfies property , then and have a common fixed point.

Proof. It follows from Theorem 2.5 by defining via and via

Example 2.12. Let . Define the partial metric space on by and the relation on by if and only if . Also, define the mappings by , and the functions by and . Then one has the following. (1) is a complete ordered partial metric space. (2) and are continuous. (3) and are weakly increasing. (4)For any two comparable elements and in , we have

Proof. The proof of (1) and (2) is clear. To prove (3), given . Since we have . Similarly, we can show that . Thus and are weakly increasing mappings. To prove (4), given two comparable elements and in . Without loss of generality, we assume that , that is, . So,

From (3) and (4), we conclude that and are weakly -contractive mappings. Note that Example 2.12 satisfies all the hypotheses of Theorem 2.4. Thus and have a common fixed point. Here is a common fixed point of and .

#### 3. Application

In this section, we apply our results to prove an existence solution of the following integral equation:

Let be the space of all continuous functions defined on . Define a partial metric space: by Also, define a relation on by Then is an ordered complete partial metric space.

Now, we will give an existence theorem for the solution of the integral equation (3.1).

Theorem 3.1. Suppose the following hypotheses hold. (i) for all . (ii)There exists a continuous function such that (iii)There exists such that (iv) for all . Then the integral equation (3.1) has a solution .

Proof. Define the operators: by Given . Then from (i), we have Thus and are weakly increasing mappings with respect to . Again, for with , we have By (iv), we have By using (iii), we get Hence Take . Since , we have . Also, we have Moreover if is a nondecreasing sequence in such that as , then for all (see ). Thus, all the required hypotheses of Corollary 2.7 are satisfied. Therefore, has a fixed point and hence the integral equation (3.1) has a solution.

#### Acknowledgments

The authors thank the editor and the referees for their useful comments and suggestions.

1. S. G. Matthews, “Partial metric topology,” in Proceedings of the 8th Summer Conference on General Topology and its Applications, Queen's College (1992), vol. 728, pp. 183–197, Annals of the New York Academy of Sciences, 1994. View at: Google Scholar
2. T. Abdeljawad, E. Karapınar, and K. Taş, “Existence and uniqueness of a common fixed point on partial metric spaces,” Applied Mathematics Letters, vol. 24, no. 11, pp. 1900–1904, 2011.
3. Th. Abdeljawad, E. Karapınar, and K. Taş, “A generalized contraction principle with control functions on partial metric spaces,” Computers & Mathematics with Applications, vol. 63, no. 3, pp. 716–719, 2012.
4. Th. 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.
5. 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. View at: Google Scholar | Zentralblatt MATH
6. I. Altun and H. Simsek, “Some fixed point theorems on dualistic partial metric spaces,” Journal of Advanced Mathematical Studies, vol. 1, no. 1-2, pp. 1–8, 2008.
7. 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.
8. I. Altun and K. Sadarangani, “Corrigendum to “Generalized contractions on partial metric spaces” [Topology Appl. 157 (2010) 2778–2785],” Topology and its Applications, vol. 158, no. 13, pp. 1738–1740, 2011. View at: Publisher Site | Google Scholar
9. 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. View at: Google Scholar | Zentralblatt MATH
10. 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.
11. H. Aydi, “Fixed point theorems for generalized weakly contractive condition in partially ordered metric spaces,” Journal of Nonlinear Analysis and Optimization, vol. 2, no. 2, pp. 33–48, 2011. View at: Google Scholar
12. H. Aydi, E. Karapınar, and W. Shatanawi, “Coupled fixed point results for $\left(\psi ,\varphi \right)$-weakly contractive condition in ordered partial metric spaces,” Computers & Mathematics with Applications, vol. 62, no. 12, pp. 4449–4460, 2011. View at: Publisher Site | Google Scholar
13. A. G. Bin Ahmad, Z. M. Fadail, V. Ć. Rajić, and S. Radenović, “Nonlinear contractions in 0-complete partial metric spaces,” Abstract and Applied Analysis. In press. View at: Google Scholar
14. L. Ćirić, B. Samet, H. Aydi, and C. Vetro, “Common fixed points of generalized contractions on partial metric spaces and an application,” Applied Mathematics and Computation, vol. 218, no. 6, pp. 2398–2406, 2011. View at: Publisher Site | Google Scholar
15. Z. Golubović, S. Kadelburg, and Radenović, “Coupled coincidence points of mappings in partially ordered metric spaces,” Abstract and Applied Analysis, vol. 2012, Article ID 192581, 18 pages, 2012. View at: Publisher Site | Google Scholar
16. E. Karapınar, “Generalizations of Caristi Kirk's theorem on partial metric spaces,” Fixed Point Theory and Applications, vol. 2011, p. 4, 2011. View at: Publisher Site | Google Scholar
17. E. Karapınar and U. Yüksel, “Some common fixed point theorems in partial metric spaces,” Journal of Applied Mathematics, vol. 2011, Article ID 263621, 16 pages, 2011.
18. E. Karapınar, “A note on common fixed point theorems in partial metric spaces,” Miskolc Mathematical Notes, vol. 12, no. 2, pp. 185–191, 2011. View at: Google Scholar
19. E. Karapınar, N. Shobkolaei, S. Sedghi, and S. M. Vaezpour, “A common fixed point theorem for cyclic operators on partial metric spaces,” Filomat, vol. 26, no. 2, pp. 407–414, 2012. View at: Google Scholar
20. K. P. Chi, E. Karapinar, and T. D. Thanh, “A generalized contraction principle in partial metric spaces,” Mathematical and Computer Modelling, vol. 55, no. 5-6, pp. 1673–1681, 2012. View at: Publisher Site | Google Scholar
21. E. Karapınar, “Weak ϕ-contraction on partial contraction,” Journal of Computational Analysis and Applications, vol. 14, no. 2, pp. 206–210, 2012. View at: Google Scholar
22. E. Karapınar, “Some fixed point theorems on the class of comparable partial metric spaces,” Applied General Topology, vol. 12, no. 2, pp. 187–192, 2011. View at: Google Scholar | Zentralblatt MATH
23. E. Karapınar and M. Erhan, “Fixed point theorems for operators on partial metric spaces,” Applied Mathematics Letters, vol. 24, no. 11, pp. 1894–1899, 2011.
24. H. K. Nashine, Z. Kadelburg, and S. Radenović, “Common fixed point theorems for weakly isotone increasing mappings in partially ordered metric spaces,” Mathematical and Computer Modelling. In press. View at: Google Scholar
25. J. J. Nieto and R. Rodríguez-López, “Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations,” Order, vol. 22, no. 3, pp. 223–239, 2005.
26. S. Oltra and O. Valero, “Banach's fixed point theorem for partial metric spaces,” Rendiconti dell'Istituto di Matematica dell'Università di Trieste, vol. 36, no. 1-2, pp. 17–26, 2004. View at: Google Scholar | Zentralblatt MATH
27. 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.
28. B. Samet, M. Rajović, R. Lazović, and R. Stoiljković, “Common fixed point results for nonlinear contractions in partially ordered metric spaces,” Fixed Point Theory and Applications. In press. View at: Google Scholar
29. W. Shatanawi and H. K. Nashine, “A generalization of Banach's contraction principle for nonlinear contraction in a partial metric space,” Journal of Nonlinear Science and Applications, vol. 5, pp. 37–43, 2012. View at: Google Scholar
30. W. Shatanawi, H. K. Nashine, and N. Tahat, “Generalization of some coupled fixed point results on partial metric spaces,” International Journal of Mathematics and Mathematical Sciences, vol. 2012, Article ID 686801, 10 pages, 2012. View at: Publisher Site | Google Scholar
31. W. Shatanawi, B. Samet, and M. Abbas, “Coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces,” Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 680–687, 2012. View at: Google Scholar
32. O. Valero, “On Banach fixed point theorems for partial metric spaces,” Applied General Topology, vol. 6, no. 2, pp. 229–240, 2005. View at: Google Scholar | Zentralblatt MATH
33. S. K. Chatterjea, “Fixed-point theorems,” Comptes Rendus de l'Académie Bulgare des Sciences, vol. 25, pp. 727–730, 1972. View at: Google Scholar | Zentralblatt MATH
34. B. S. Choudhury, “Unique fixed point theorem for weakly C-contractive mappings,” Kathmandu University Journal of Science, Engineering and Technology, vol. 5, no. 1, pp. 6–13, 2009. View at: Publisher Site | Google Scholar
35. J. Harjani, B. López, and K. Sadarangani, “Fixed point theorems for weakly C-contractive mappings in ordered metric spaces,” Computers & Mathematics with Applications, vol. 61, no. 4, pp. 790–796, 2011. View at: Publisher Site | Google Scholar
36. W. Shatanawi, “Fixed point theorems for nonlinear weakly C-contractive mappings in metric spaces,” Mathematical and Computer Modelling, vol. 54, no. 11-12, pp. 2816–2826, 2011.
37. I. Altun and H. Simsek, “Some fixed point theorems on ordered metric spaces and application,” Fixed Point Theory and Applications, vol. 2010, Article ID 621469, 17 pages, 2010. View at: Publisher Site | Google Scholar
38. I. Altun, “Common fixed point theorems for weakly increasing mappings on ordered uniform spaces,” Miskolc Mathematical Notes, vol. 12, no. 1, pp. 3–10, 2011. View at: Google Scholar | Zentralblatt MATH
39. I. Altun and V. Rakočević, “Ordered cone metric spaces and fixed point results,” Computers & Mathematics with Applications, vol. 60, no. 5, pp. 1145–1151, 2010.
40. W. Shatanawi, “Some fixed point theorems in ordered G-metric spaces and applications,” Abstract and Applied Analysis, Article ID 126205, 11 pages, 2011. View at: Publisher Site | Google Scholar
41. W. Shatanawi, “Some common coincidence point theorems on weakly increasing mappings in partially ordered cone metric spaces,” Gazi University Journal of Science, vol. 25, pp. 89–95, 2012. View at: Google Scholar

#### More related articles

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.