Abstract

In this paper, we investigate the conditions for the existence of the common fixed points of generalized contractions in the partial -metric spaces endowed with an arbitrary binary relation. We establish some unique common fixed-point theorems. The obtained results may generalize and improve earlier fixed-point results. We provide examples to illustrate our findings. As an application, we discuss the common solution to the system of boundary value problems.

1. Introduction, Preliminaries, and Motivations

The -metric space was introduced by Czerwik [1]. It is obtained by modifying the triangle property of the metric space. Every metric is a -metric, but the converse is not true. Almost all the fixed-point theorems in the metric spaces have been proved true in the -metric spaces; for example, see [210] and references therein.

Matthews [11] introduced the notion of the partial metric space as a part of the study of denotational semantics of the dataflow network. In this space, the usual metric is replaced by a partial metric having a property that the self-distance of any point of the space may not be zero. Every metric is a partial metric, but the converse is not true. Matthews [11] also initiated the fixed-point theory in the partial metric space. He proved the Banach contraction principle in this space to be applied in program verification. We can find so many fixed-point theorems in the metric spaces which have been proved in the partial metric spaces by many fixed-point theorists ([12, 26] and references therein).

Shukla [13] introduced the concept of partial -metric by modifying the triangle property of the partial metric and investigated fixed points of Banach contraction and Kannan contraction in the partial -metric spaces. Mustafa et al. [14] modified the triangle property of partial -metric and established a convergence criterion and some working rules in partial -metric spaces. Moreover, Mustafa et al. [14] investigated common fixed-point results for -weakly contractive mappings. Dolicanin-Ðekic [15] obtained the fixed-point theorems for Ciric-type contractions in the partial -metric spaces. Singh et al. [16] investigated some conditions to show the existence of the common fixed points of power graphic -contractions defined on the partial -metric space endowed with directed graphs. More results on -contractions can be seen in [8, 17, 18].

Let be a nonempty set, then the nonempty binary relation is a subset of The set itself is known as universal relation, and the empty set is known as an empty relation; both are trivial relations. If any two elements are related with respect to , then we shall write . We shall use the notation if either or . is reflexive if for all is symmetric if implies for all is antisymmetric if and implies for all is transitive if and implies for all . The inverse, transpose, or dual of binary relation is denoted by and defined as follows: . Let , then it is easy to prove that if and only if .

Definition 1 (see [19]). Let be a self-mapping on a nonempty set . A binary relation on is said to be -closed if for all ,

Definition 2 (see [19]). Let be a binary relation on . A path in from is a sequence such that (1)(2) for all The set of all paths from to in is denoted by . The path of length involves element of

Definition 3 (see [19]). A metric space equipped with the binary relation is called -regular (or -self-closed) if for each sequence , whenever and , we have , for all .

Alam and Imdad [19] used nonempty binary relation on the nonempty set to obtain the following relation-theoretic contraction principle.

Theorem 4 (see [19]). Let be a complete metric space and be a binary relation on . Let be a self-mapping defined on satisfying the following conditions: (a)There exists such that and is -closed(b)Either is continuous or is (c)There exists such that for with

Then admits a fixed point in Moreover, if is a nonempty set for all , then the fixed point is unique.

al-Sulami et al. [20] generalized Theorem 4 by replacing Banach contraction with -contraction as follows.

Theorem 5 (see [20]). Let be a complete metric space and be a binary relation on Let be a self-mapping defined on satisfying the following conditions: (a)There exists such that and is -closed(b)Either is continuous or is (c)There exists such that for with

Then admits a fixed point in Moreover, if is a nonempty set for all , then the fixed point is unique.

Definition 6 (see [21]). Let and be two self-mappings on a nonempty set A binary relation on is said to be -closed if for all ,

Zada and Sarwar [21] generalized Theorem 4 by replacing Banach contraction with -contraction as follows.

Theorem 7 (see [21]). Let be a complete metric space and be a binary relation on . If the self-mappings and defined on satisfy the following conditions: (a)There exists such that and is -closed(b)Either are continuous or is (c)There exists , such that for all with ,

Then and have a unique common fixed point in . Moreover, if is nonempty for all , then the common fixed point is unique.

Liu et al. [22] introduced the -contractions where the mapping maps positive real numbers to positive real numbers and satisfies the conditions

() is nondecreasing

() , for each positive sequence

() is continuous

is a comparison function; that is, it satisfies the following conditions: (i) is monotone increasing, that is,(ii) for all , where stands for the iterate of

Let If is defined by then belongs to

Note that if is a comparison function, then for every . The mappings , are comparison functions

Definition 8 ([22], -contraction). Let be a self-mapping defined on the metric space . Let The mapping is called -contraction if it satisfies the following condition:

Definition 9 ([22], generalized -contraction). Let be a self-mapping defined on the metric space . If the mapping satisfies the condition where is defined by Then it is called generalized -contraction.

Liu et al. established the following theorem for -contractions.

Theorem 10 (see [22]). Every generalized -contraction has a unique fixed point in a complete metric space .

In this paper, in Section 3, we investigate common fixed-point results for generalized contractions in the partial -metric spaces endowed with binary relation . The obtained results generalize Theorems 4, 5, 7, 10. We support the results with a nontrivial example and counter the remarks given in [23].

2. Basic Notions in the Partial -Metric Spaces

Let be a nonempty set, and the mapping satisfies the following axioms: (1)(2)(3)(4)(5)There exists a real number such that

According to Matthews [11], if the mapping satisfies axioms (1-4), we say that it is a partial metric on the set and is called partial metric space. According to Shukla [13], if satisfies axioms (1, 2, 3, and 5), then it is a partial-metric on the set and is called partial-metric space. For convenience, we denote partial -metric by

Every partial -metric induces a -metric defined by

It is called induced-metric on .

Let , then is a collection of -balls which forms a base for partial-metric topology.

The following relation can be observed.

Remark 11. (1)In , , but the converse is not true (in this case, reduces to a -metric space) Figure 1.

Example 1 (see [13]). Let , be a constant and be defined by Then is a partial -metric space with coefficient , but it is neither a -metric space nor a partial metric space.

Example 2 (see [13]). Let and be the partial metric and -metric on , respectively. Then the mapping defined by for all defines a partial -metric on .

Example 3 (see [13]). Let be a partial metric. Then the mapping defined by for all is a partial -metric on provided .

Definition 12 (see [13]). A sequence in the partial -metric space is called a convergent sequence if there exists such that

The uniqueness of the limit of a convergent sequence may not be guaranteed in the partial -metric spaces (see [23]).

Definition 13 (see [13]). A sequence in a partial -metric space is called the Cauchy sequence if The partial -metric space is said to be complete if every Cauchy sequence in converges to a point .

Lemma 14 (see [14]). (1)Every Cauchy sequence in the -metric space is also Cauchy in the partial -metric space and vice versa(2)The partial -metric space is complete if and only if -metric space (induced -metric space) is complete(3)For any sequence in , if and only if

3. Common Fixed-Point Theorems in the Partial -Metric Spaces

This section is the main part of this paper. It contains some new common fixed-point theorems in the partial -metric spaces. The existence theorems given in [12, 15, 1922, 24, 27] can be seen as a special case of the results proved in this section.

The results in this paper are based on the following contractive condition.

Definition 15. Let and be two self-mappings on the partial -metric space and be a binary relation on . Let

The mappings and form a -contraction if there exists a continuous comparison function such that

In [23], it was remarked that some contraction conditions on partial -metric spaces imply contraction conditions on -metric spaces (see Theorem 2.6 in [23]). In the following example, we show that the contraction condition (14) is independent of these remarks.

Example 4. Let and . Let be defined by

Then is a partial -metric space with coefficient The associated -metric is given by

Define by and Consider

This implies,

a contradiction to the definition of mapping On the other hand, for partial -metric, we have

Note that we have taken . Similarly, it can be shown that the above conclusion holds for all other cases.

Since, in general, -metric is discontinuous mapping (see [5]), so by Example 2, the partial -metric is not continuous in general. The following lemma is necessary for the upcoming results.

Lemma 16 (see [14]). Let be a partial -metric space. If there exists a in and such that . Then

3.1. Main Results

We state our main results which describe the conditions for the existence of the common fixed points of -contraction in the partial -metric spaces.

Theorem 17. Let be a complete partial -metric space and be a transitive binary relation on . Let and form a -contraction. Then and have a common fixed point in if the following conditions are satisfied. (a)There exists such that (b)-closed(c) are continuous

Proof. By assumption (a), there exists such that . Taking as the initial point, we define the sequence in by

Moreover, by assumptions (a) and (b), we have

In general, we have and

Case 1. If for some then

Indeed, on the contrary, if , then , and by contractive condition (14), we have

Since for every we obtain

Since the function is nondecreasing, so This contradicts the second condition of partial -metric spaces . Hence, implies Consequently, is a common fixed point of , and that is .

Case 2. If for all . We have for all Since , so . Setting and in (14), we get for all

Similarly, setting and in (14), we get

In general, for all , either even or odd, we have

Taking limit in the above inequality, we get

This implies , and by we have

This implies (by (8)) that

By axiom (2), we have Thus, for all we have

We claim that is a Cauchy sequence in , for this is sufficient to prove that is Cauchy sequence. On the contrary, if is not Cauchy, then for some subsequences and , there exist and a positive integer , such that for all , we have and ; thus,

As in the above inequality, we have

By using triangular inequality (axiom (5)), we get

Taking limit , we have

Also, we have the following information:

Taking limit , we have

By axiom (5), we have

Taking limit and using (35), we have

By using (31), we have the following information from (33), (35), (37), and (39):

Since , by (14), we have

This is a contradiction to the definition of function . Thus, is a Cauchy sequence in . By Lemma 14 (1), is a Cauchy sequence in . Since is a complete Partial -metric space, so by Lemma 14 (2), is also a complete metric space. Thus, there exists such that that is, 0. By Lemma 14 (3), we get

Since , so that . Thus, converges to in

Now, we claim that . By (40), we have

Since and are continuous, we have

By Lemma 16, we have

Thus,

This implies Similar arguments lead us to have Hence,

; that is, and have a common fixed point .

If , then we have the following theorem.

Theorem 18. Let be a complete partial -metric space and be a transitive binary relation on . Let and form a -contraction. Suppose that and statement of Theorem 17 holds, then the mappings and admit a unique common fixed point in .

Proof. We have proved the existence of a common fixed point in Theorem 17 On the contrary, suppose that and are two distinct common fixed points of and in . Then the class of paths of finite length in from to is . Let one of the paths be in from to with By transitivity of , we have It is given that and form a -contraction, that is, This implies . This is a contradiction to the definition of . Hence, . This shows that is a unique common fixed point of and

Remark 19. If the mappings and are discontinuous, then we have the following theorem.

Theorem 20. Let be an complete partial -metric space. Let and form a -contraction. Suppose that is an antisymmetric relation then and admit a common fixed point in if they meet the conditions (a) and (b): (a)There exists such that (b)-closed

Proof. By Theorem 17, we know that and as . It is given that is so for all . There are two possible cases.☐

Case 1. If the sequence is constant. Let for each so that and Since is , so . We know that ; thus, . As is an antisymmetric relation, so , by the same arguments we have as required.

Case 2. If is not constant and arbitrary, we claim that . Let . It is proved in Theorem 17 that so there must be an integer , such that

It is assumed that is , and by Theorem 17, we know that . By contractive condition (2.1), monotonicity of , and Lemma 16, we have

This is a contradiction to the definition of mapping Thus, . Also, we have the following information:

Thus, By interchanging roles of and , we have

Hence, ; that is, is a common fixed point of and in

The following is the most general theorem of this section.

Theorem 21. Let be an complete partial -metric space and be a transitive and antisymmetric binary relation on . Let and form a -contraction. Suppose that , and assumptions (a) and (b) in Theorem 17 hold. Then the mappings and admit a unique common fixed point in

Proof. See the proofs of Theorems 17, 18, and 20, respectively.☐

Remark 22. (1)The results in this section are independent of the observation made in [23], and hence, our results are a real generalization of the related results in literature (see [12, 1922])(2)Theorem 21 remains true if is replaced by The following example explains the main results.

Example 5. Let Define the partial -metric function by

Then (, ) is a complete partial -metric space. Define by for each , then . Let the function be defined by for all Then is continuous comparison. Define the binary relation on by

Define the mappings by

We observe that there exists such that by definition of , so assumption (a) is satisfied in Theorem 17. Let , then we have for each , so . Thus, is -closed (this verifies assumption (b) of Theorem 17. Also, are continuous (assumption (c) is satisfied). Now, we show that form -contraction. It is noted that the mappings , do not form Banach contraction in the partial -metric sense. Indeed,

We noticed that for each Thus, Consider

This implies

For and , the inequality (41) reduces to . Thus, (41) holds for this case. For and , the inequality (41) gets the form . Similarly, for each (41) holds true. Thus, we have

We note that .

3.2. Discussions

In this part of the current section, we state some corollaries which are themselves prominent fixed-point theorems in the literature.

The following corollary generalizes the results presented by Jleli and Samet [6] and al-Sulami et al. [20].

Corollary 23. Let be a complete partial -metric space and be a transitive and antisymmetric binary relation on . If the self-mappings and defined on satisfy the following conditions: (a) is nonempty for all (b)There exists such that and -closed(c)Either are continuous or is (d)There exists a function such that for all ,Then the mappings and admit a unique common fixed point.

Proof. Setting and in Theorem 17 and following the proofs of Theorems 17, 18, and 20 respectively, we obtain the required result.☐

The following corollary generalizes and improves the results presented by Zada and Sarwar [21] and Wardowski [25].

Corollary 24. Suppose that the self-mappings and defined on the complete partial -metric space satisfy the following conditions: (a) is nonempty for all (b)There exists such that and -closed(c)Either are continuous or is (d)There exists such that for all ,If is a transitive and antisymmetric binary relation on , then the mappings admit a unique common fixed point.

Proof. Setting and in Theorem 17 and following the proofs of Theorems 17, 18, and 20, respectively, we obtain the required result.☐

Corollary 25 (see [21]). Let be a complete partial -metric space and be a transitive and antisymmetric binary relation on . If the self-mappings and defined on satisfy the following conditions: (a) is nonempty for all (b)There exists such that and -closed(c)Either are continuous or is (d)There exists , such that for all ,Then and have a unique common fixed point in

Proof. This proof follows the proof of Corollary 24.
The following corollary improves the fixed-point results presented by Geraghty [24].☐

Corollary 26. Let be a complete partial -metric space and be a transitive and antisymmetric binary relation on . If the self-mappings and defined on satisfy the following conditions: (a) is nonempty for all (b)There exists such that and -closed(c)Either are continuous or is (d)For all and where such that , for each

Proof. By defining and in Theorem 17 and following the proofs of Theorems 17, 18, and 20, respectively, we obtain the required result.☐

Remark 27. (1)For Theorems 17, 18, and 20 establish criteria for the existence of common fixed points of -contractions in the partial metric spaces [12] and correspondingly for Corollaries 23, 24, 25, and 26(2)For the zero self-distance () and for the zero self-distance with , the results stated in Remark 27 (1) hold in the -metric spaces and metric spaces, respectively

4. Application to the System of Boundary Value Problems

We will apply Theorem 17 to achieve the existence of a common solution to the following system of boundary value problems: where represents the set of continuous functions defined on The functions are continuous and nondecreasing according to ordinates. We define the binary relation on as follows:

The associated Green function to (66) and (67) can be defined as follows:

Let the mapping be defined by

It is claimed that is a complete -metric space. By integration, we see that (66) and (67) can be written as and , where are defined by

It is remarked that the common solution to (66) and (67) is the common fixed point of the operators Suppose the following conditions: (a) such that for , we have(b) such that

The following theorem states the conditions under which equations (66) and (67) have a common solution.

Theorem 28. Let the functions satisfy conditions (a) and (b) Then equations (66) and (67) have a common solution.

Proof. We will apply Theorem 17 to show the existence of the common solution to (66) and (67). By condition (b), there exists such that . Since the functions are continuous, so defined above are continuous. Since it is given that are nondecreasing, thus, is closed. To show that the mappings form DC-contraction, we proceed as follows:

Since , for all , thus, taking supremum on both sides of the above inequality, we have

Define the -metric on by

Inequality (75) can be written as

Defining the functions , F, and by and , respectively, for all we have

Hence, applying Theorem 17, we say that the boundary value problems (66) and (67) have a common solution in

Data Availability

No data were used to support this study.

Conflicts of Interest

All authors declare that they have no competing interests.

Authors’ Contributions

All authors contributed equally to this work.

Acknowledgments

The authors thank their universities for recommending this research work.