Hybrid Contractions on Branciari Type Distance Spaces

In this manuscript, we consider some hybrid contractions that merge linear and nonlinear contractions in the abstract spaces induced by the Branciari distance and the Branciari b-distance. More precisely, we introduce the notion of a ( p , c ) -weight type ψ -contraction in the setting of Branciari distance spaces and the concept of a ( p , c ) -weight type contraction in Branciari b-distance spaces. We investigate the existence of a fixed point of such operators in Branciari type distance spaces and illustrate some examples to show that the presented results are genuine in the literature.


Introduction
The notion of metric spaces has many generalizations, in which each puts in the limelight the importance of the conditions that define them. Most of the generalizations of metric are obtained by relaxing one of its three axioms: self-distance, symmetry and the triangle inequality. In the literature, there are several extensions of metric spaces, such as symmetric, quasi-metric, fuzzy metric, cone-metric, G-metric, b-metric and so on. In this manuscript, we prefer to investigate hybrid contractions in the abstract spaces induced by Branciari distance. Indeed, Branciari distance [1] (respectively, Branciari b-distance [2]) is obtained by replacing the triangle inequality axiom with the quadrilateral inequality (quadrilateral inequality multiplied by a constant s) axiom in the definition of a standard metric. Despite the apparent similarity between the definitions of the standard metric and Branciari distance (respectively, Branciari b-distance), the corresponding topologies are quite different. Therefore, we name this abstract space as Branciari distance space instead of Branciari metric space. In addition, in the literature, this space has been called a rectangular metric space or a generalized metric space. We assert that the abstract space is described perfectly by Branciari distance spaces. Furthermore, despite the appearance purpose, Branciari distance is neither a generalization nor an extension of the standard metric space. On the other hand, interesting fixed point features have been appointed in these frameworks, see e.g., .
In this manuscript, we aim to give two hybrid contractions, namely the (p, c)-weight type ψ-contraction and the (p, c)-weight type contraction in the setting of two abstract constructions: Branciari distance spaces and Branciari b-distance spaces. We obtain the existence of a fixed point for these hybrid contractions and we consider examples to support our obtained results.

Definition 1 ([1]
). Let X = ∅ and d : X × X → [0, ∞) a function which fulfills the next assumptions for each s, t ∈ X and all distinct u, v ∈ X each of which is different from s and t Then d is a Branciari distance (a generalized metric). The pair (X , d) is called a Branciari distance space (BDS).
Throughout the paper, the couple letters (X , d) refers to a Branciari distance space. Herein after, the symbol R + 0 represents the set of non-negative real numbers. Further, the symbol N 0 denotes the non-negative integers.
In what follows, we recollect the important tools of topology in the framework of Branciari distance spaces.
Branciari introduced the open ball, the closed ball (and hence the corresponding topology) which are different than that of metric spaces. In addition, the structures of these two abstract notions are quite different from each other. Indeed, the following interesting properties of the Branciari distance space are the main motivation why we consider our new hybrid contractions in these abstract spaces 1. The limit of a sequence in a Branciari distance space is not necessarily unique. 2. A convergent sequence in a Branciari distance space may not be a Cauchy sequence. 3. A Branciari distance space may not be continuous. 4. The topologies of a Branciari distance space and a metric space are incompatible.
It is evident that (X , d) forms a Branciari distance space.
Proposition 1 ([19]). Suppose that {κ n } is a Cauchy sequence in a BDS (X , d) with lim n→∞ d(κ n , u) = 0, where u ∈ X . Then lim n→∞ d(κ n , z) = d(u, z) for all z ∈ X . In particular, the sequence {κ n } does not converge to z if z = u. Lemma 1 (See e.g., [15]). Let (X , d) be a BDS and let {κ n } be a Cauchy sequence in X such that κ m = κ n whenever m = n. Then the sequence {κ n } converges to at most one point.

Results on Branciari Distance Spaces
We start this section by giving a definition of the set Ψ of auxiliary functions, known as (c)-comparison function, (see e.g., [8,24]) that shall be used in the main result.
First, by utilizing a (c)-comparison function, we introduce a new type contraction that combines both the linear and nonlinear type contractions in the context of Branciari distance spaces.

Definition 3.
A self-mapping T on (X , d) is said to be a (p, c)-weight type ψ-contraction, if there exists ψ ∈ Ψ so that the following inequality holds for any s, t ∈ X which are not fixed points of T where p ≥ 0, c = (c 1 , c 2 , c 3 ), and c 1 , c 2 , and c 3 are positive numbers such that c 1 + c 2 + c 3 = 1, and Note that such contractions, defined in Definition 3, were initiated in the recent paper [21] in the setting of b-metric spaces. Theorem 1. Let (X , d) be a complete BDS and T : X → X be a (p, c)-weight type ψ-contraction mapping. Then the mapping T possesses a fixed point κ * .
Proof. Starting with κ ∈ X , put κ 0 = κ and define κ n+1 = Tκ n . Without loss of generality, we may assume that for any n ∈ N 0 , κ n = κ n+1 . Indeed, in case of κ n 0 = κ n 0 +1 = Tκ n 0 for some n 0 ∈ N, then κ n 0 is a fixed point of T that finalize the proof.
Let us take into consideration the situation in which p > 0. The proof of this situation consists of three steps.
Using the contraction condition, we get, for n ≥ 1, In addition, we find that We prove that lim Regarding (1), we find that Now, we shall consider the possible cases. If as in the above case, we get d(κ n , κ n+2 ) ≤ ψ(d(κ n , κ n+2 )) < d(κ n , κ n+2 ), a contradiction. Thus, we have the following estimation Take a n = d(κ n , κ n+2 ) and b n = d(κ n , κ n+1 ). Thus, from (6) and (5) Again, by (2) b n ≤ b n−1 ≤ [max{a The sequence {max{a n , b n }} is monotone nonincreasing, so it converges to some t ≥ 0. Taking the limit as n → ∞, we get which is a contradiction; that is, (4) is proved.
Second step: We aim to indicate that the sequence {x n } is not periodic; that is, κ n = κ m for all n = m.
We shall use the method of Reductio ad Absurdum. We presume that κ n = κ m for some m, n ∈ N with m = n. Regarding that d(κ p , κ p+1 ) > 0 for each p ∈ N, without loss of generality, we may assume that m > n + 1.
Third and last step: We assert that the recursive sequence {κ n } is a Cauchy sequence, i.e. lim n→∞ d(κ n , κ n+k ) = 0 for all k ∈ N. (12) Note that the above inequality holds for k = 1 and k = 2 due to (12) and (4). So, we investigate relation (12) for k ≥ 3. Owing to the nature of Branciari distances, we need to examine the following two possibilities. Case (I): Assume that k = 2m + 1 where m ≥ 1. Then, by utilizing the second step together with relation (3) and the quadrilateral inequality, we observe By combining relations (13) and (14), we have lim n→∞ d(κ n , κ n+k ) = 0 for all k ≥ 3.
Letting n → ∞, we find that d(κ, Tκ) = 0 and hence this case is also proved.
In what follows, we define the second hybrid contraction in BDS as follows:

Definition 4.
A self-mapping T on (X , d) is said to be a (p, c)-weight type contraction, if there is a constant q in (0, 1) so that the following inequality holds for any s, t ∈ X which are not fixed points of T d(Ts, Tt) ≤ qW p (T, s, t, c), where p ≥ 0, c = (c 1 , c 2 , c 3 ), and c 1 , c 2 , and c 3 are positive numbers such that c 1 + c 2 + c 3 = 1, and Note that such contractions, as in Definition 4, were initiated in the recent paper [21] in the setting of b-metric space.

Corollary 1.
Let (X , d) be a complete BDS and T : X → X be a (p, c)-weight type ψ-contraction mapping. Then the mapping T possesses a fixed point κ * .

Remark 1.
It is clear that by a proper choice of c 1 , c 2 , c 3 , q and p > 0, several existing results are found in the literature. Among them we can list the original Branciari contraction and Kannan-type, Chatterjea type, Cirić-Reih-Rus type linear contractions as well as nonlinear (interpolative) contractions for p = 0 with a suitable choice of c 1 , c 2 , c 3 . The uniqueness is not a feature of such kind of a generalized contraction; for a counterexample see [6].

Results on Branciari b-Distance Spaces
We start by the recollecting definition of Branciari b-metric spaces.
Definition 5 (See e.g., [18]). Let S be a nonempty set, s ≥ 1, and δ : S × S → [0, ∞) a function which fulfills the following conditions for all w, t ∈ S and all distinct u, v ∈ S each of which is different from s and t t)], (the extended quadrilateral inequality).
Then δ is a Branciari b-distance. The pair (S, δ) is called a Branciari b-distance space (in short, BbDS).
Throughout the paper, (S, δ) refers to a Branciari b-distance space.

Theorem 2.
Suppose that a self-mapping T on a complete BbDS (S, δ) forms a (p, c)-weight type contraction mapping for which s p q 2p c 2 1 < 1, q p c 3 s < 1, sC 2 < 1, where C = q c 1 +c 3 1−q p c 2 1 p < 1. If T is a continuous mapping, then the Picard iteration sequence {T n κ 0 }, κ 0 ∈ S, is convergent to a fixed point κ.
Proof. Consider κ n+1 = Tκ n , for any κ ∈ S. We may assume that for any n ∈ N 0 , κ n = κ n+1 . Let us take into consideration the situation in which p > 0. By the use of the contraction condition, we get, for n ≥ 1, that is, for n ≥ 1, By the same means as in the previous theorem, we get, for n ∈ N 0 , δ(κ n , κ n+2 ) ≤ C np q p (1 − c 1 ) C p C p − q p c 1 δ p (x 0 , x 1 ) + q np c n 1 δ p (x 0 , x 2 ).
Let us now consider n ∈ N 0 , m ≥ 2. Taking advantage of the quadrilateral inequality, we obtain On the other hand, it can be observed that Having in mind inequalities (15) and (16), it follows that {κ n } is a Cauchy sequence. The completeness of X implies that the sequence {κ n } is convergent to κ ∈ X .
Here, we underline the importance of Remark 1 and can easily derive the analog of it.

Remark 2.
On account of a proper choice of c 1 , c 2 , c 3 , q and p > 0, several results are extracted in the framework of the linear contractions as well as nonlinear (interpolative) contractions for p = 0 with a suitable choice of c 1 , c 2 , c 3 .

Conclusions
Regarding the basic three axioms (self-distance, symmetry and the triangle inequality) of the standard metric space, we notice that almost all generalization and extension presume the first of them. The distance function is called symmetric if it satisfies the axioms of self-distance and symmetry. This crucial notion is very weak to construct a topology on which we can consider nonlinear analysis problems. Investigation of Branciari distance space has a crucial role in order to comprehend the possibility and the impossibility of the fundamental notion: semimetric spaces. The presented results are considered a stone in construction of this road. On the other hand, this result may lead to new research topics. For example considering the following publications, [3,4,10,12,16,25,27] one can consider the characterization of these results in the Branciari type distance spaces.