Abstract

The main goal of the present paper is to obtain several fixed point theorems in the framework of -quasi-metric spaces, which is an extension of -metric spaces. Also, a Hausdorff -distance in these spaces is introduced, and a coincidence point theorem regarding this distance is proved. We also present some examples for the validity of the given results and consider an application to the Volterra-type integral equation.

1. Introduction and Preliminaries

In the last century, nonlinear functional analysis has experienced many advances. One of these improvements is the introduction of various spaces and is the proof of fixed point results in these spaces along with its applications in engineering science. One of these spaces is function weighted metric space introduced by Jleli and Samet [1]. This is a generalization of metric spaces.

Definition 1 [1, 2]. A function is named called a nondecreasing function if for every . Also, is said to be logarithmic-like when every positive sequence satisfies iff .

In the sequel, we apply for the set of all nondecreasing functions that are logarithmic-like.

In 2019, some of researchers such as Alqahtani et al. [2], Aydi et al. [3], and Bera et al. [4] discussed on the structure of this space and on the fixed points of mappings satisfying in various contractive conditions.

Definition 2 [1]. Consider a mapping , a constant and a so that
() for all ;
() for all ; and
() implies that for every with , for every , and for all with .
Then, the function is named as a function weighted metric or a -metric on , and the pair is called a -metric space.

Definition 3 [5]. Consider a mapping satisfies the properties and from the definition of a -metric. Then, is named a -quasi-metric on and is called a -quasi-metric space.

In [5], Karapinar et al. showed that generally induces other -quasi-metrics such as defined by and . Regarding the discussion above, we conclude that any quasi-metric is a -quasi-metric by choosing for the axiom with .

Definition 4 [5]. Let be a -quasi-metric space. For , the right (left) centered ball at and of radius is the set ().

Definition 5 [5]. Consider a -quasi-metric space with a sequence therein. Then, is said to be aright-convergent sequence (left-convergent sequence) to if (). Further, is said to be a biconvergent sequence (in summary, convergent sequence) when it is both right-convergent and left-convergent.

Proposition 6 [5]. Consider a -quasi-metric space with a sequence therein. Also, let for every . Then .

Definition 7 [5]. Consider a -quasi-metric space with a sequence therein. Then, is a right-Cauchy sequence (a left-Cauchy sequence) if (). With this interpretation, is bi-Cauchy sequence (in summary, Cauchy sequence) if it is both left-Cauchy sequence and right-Cauchy sequence.

Now, a -quasi-metric space is named right-complete (left-complete) if every right-Cauchy sequence (left-Cauchy sequence) in is a right-convergent sequence (left-convergent sequence) in . Further, is bicomplete (in short, complete) if it is both left-complete and right-complete.

Example 8. Define by for every . Evidently, is a bicomplete -quasi-metric space.

On the other hand, Bhaskar and Lakshmikantham [6] defined the notion of coupled fixed point and presented several coupled fixed point propositions for a mixed monotone mapping in partially ordered matric spaces. Also, they studied the existence and uniqueness of a solution to a periodic boundary value problem. For more details on coupled, tripled, and -tupled fixed point assertions, one can see [7] and references therein.

Definition 9 [8, 9]. Let and be two optional mappings. An element is said to be a coupled coincidence point of and if and . Further, an element is named acommon fixed point of and if and .
Note that if is the identity mapping, then is called a coupled fixed point of [6].

Definition 10 [9]. Let and be two optional mappings. Then and is said to be commutative if for every .

In this paper, we introduce several common fixed point and common coupled fixed point theorems in such spaces and prove them. In Section 2, we prove a common fixed point theorem and a common coupled fixed point result in this space. In Section 3, we obtain a coincidence point result for single-valued and multivalued mappings regarding a Hausdorff -distance. Ultimately, as an application of these results, the existence of solution of the Volterra-type integral equation is investigated in Section 4.

2. -Quasi-Metric Space and Fixed Point Theory

Theorem 11. Let be a bicomplete -quasi-metric space. Also, let be two arbitrary mappings so that and are commutative, , is closed, and for every , where . Then and contain a unique common fixed point in .

Proof. Due to , we select a point such that for a given . By continuing this process, we can construct a sequence in by for . First, note that and possess a unique coincidence point. On the contrary, assume that are two different coincidence points of and . Then, with and . Now, by (2), we get which is a contradiction.
Assume so that (₃) is complied. For an arbitrary and because of (₃), there exists such that Now, let be a sequence in . Without loss of totality, suppose that . Otherwise, is a coincidence point of and . Now, using (2), we obtain which implies by induction that for every in . Hence, for every and in so that , we get Since there is some so that for every . Hence, from (4) and (₁), we observe that for . Employing (₃) together with (9), we obtain It follows that . Therefore, is right-Cauchy. Similarly, by changing the order of the pairs in the above process, we conclude that is also a left-Cauchy sequence. Hence, it is a Cauchy sequence. Now, since is a bicomplete space, there exists such that is convergent to . Since and is closed, we have . As a next step, we show that is a coincidence point of and . On the contrary, consider . Then we have As in the inequality above, we obtain which is a contradiction. Hence, ; that is, is a unique coincidence point of and . Therefore, and contian a unique point of coincidence . By commutativity of the mapping and , we have . Hence, is another point of coincidence of and . Now, by the uniqueness of the point of coincidence of and , we have ; that is, and contain a unique common fixed point. This completes the proof.

In the sequel, denote for simplicity by , where is a nonempty set and .

Lemma 12. Consider a -quasi-metric space . Then, the following assertions hold: (1) is a -quasi-metric space with (2)The mapping and contain an-tuple common fixed point iff the mapping and defined by possess a common fixed point in .(3) is bicomplete iff is bicomplete.

Proof. Clearly, satisfies in (₁). We show that satisfies in (₃). For every for and , consider . Suppose that Then, we have where and . Therefore, we obtain

The proofs of (2) and (3) are straightforward and left to the reader.

Remember that Lemma 12 is a two-way relationship. Consequently, we can establish -tuple fixed point propositions from fixed point assertions and conversely. Now, set in Lemma 12. Then, we have the following theorem.

Theorem 13. Let be a bicomplete -quasi-metric space. Also, let and be two arbitrary mappings so that and are commutative, , is closed, and for all and in , where . Then, and contain a unique common coupled fixed point in .

Proof. Let us define by for all . Further, we consider by and by for all . Using Lemma 12, is a bicomplete -quasi-metric space. Also, is a common coupled fixed point of and iff it is a common fixed point of and . On the other hand, from (18), we have either or Now, by Theorem 11, and have a common fixed point and by Lemma 12, and have a common coupled fixed point.

Example 14. Let . Define by for every . Evidently, is a bicomplete -quasi-metric with and . Consider by and define by . Clearly and are commutative. Also, we have Therefore, by letting , all of the hypotheses of Theorem 13 hold. Thus, and possess a common coupled fixed point in .