Fisher-Type Fixed Point Results in b-Metric Spaces

In this paper, we prove some common fixed-point theorems for two self-mappings in the context of a complete b-metric space by proposing a new contractive type condition. Further, we derive a result for three self-mappings in the same setting. We provide two examples to demonstrate the validity of the obtained results.


Introduction and Preliminaries
It would not be wrong to say that fixed-point theory was a results of the investigation of the existence and uniqueness of a solution of certain differential equations.In this aspect, the roots of metric fixed-point theory can be attributed back to the results of renowned mathematicians, J. Liouville [1], E. Picard [2] and H. Poincaré [3].Roughly speaking, these famous mathematicians used the method of successive approximation to solve the differential equation that they dealt with.In 1922, Banach [4] reported an elegant fixed-point theorem which was an abstraction of the successive approximation method.Formally, metric fixed-point theory appeared with this renowned result of Banach [4] that is mostly known as the Banach Contraction Mapping Principle in the literature.As an another historical note, we emphasize that Banach's original proof is in the framework of normed space.The corresponding form in the setting of metric space was formulated by Caccioppoli [5].After then, in some sources, it has been called Banach-Caccioppoli fixed-point theorem.
Due to its origin, fixed-point theory has a wide application potential in most quantitative sciences.Many real world problems can be easily characterized in the framework of fixed-point theory.For example, a fixed-point equation h(x) = x can be considered H(x) = x − h(x) = 0. Regarding the requirements of the applications; intrinsically, the structure of Banach-Caccioppoli fixed-point theorem has been improved in several aspects.On one hand, the properties of the operator have been weakened, while on the other hand, metric space structure has been replaced by some other abstract spaces.Among all, in 1993, Czerwik [6] suggested a successful and proper generalization of the metric space notion by introducing the concept of b-metric space.Following this famous result in the setting of b-metric spaces, several extensions in distinct aspects have been released in this direction (see e.g., [7][8][9][10][11][12][13][14][15] and references therein).In this paper, we study certain common fixed-point theorems for three maps in the setting of complete b-metric spaces.
Firstly, we recall the notion of b-metric.
Definition 1 (Czerwik [6]).Let X be a nonempty set.A function d : X × X → [0, ∞) is called a b-metric if the following axioms are fulfilled: (b1) d is reflexive, that is, d(x, y) = 0 if and only if x = y.(b2) d has a symmetry, that is, d(x, y) = d(y, x) for all x, y ∈ X.
Here, (X, d) is called a b-metric space, in short, bMS.
Remark 1. Incase of s = 1, the b-metric coincide the standard metric.Notice also that b-metric does not need to be continuous in general.In this manuscript, we deal with continuous b-metrics only [16].
The following is a constructive example of b-metric.
Consequently, we derive that for all i, j, k ∈ {1, M}.Thus, (X, d) forms a b-metric for s > 2 where the ordinary triangle inequality does not hold.
Example 2. (See e.g., [12]) For 0 < q < 1, the space L q [0, 1] of all real-vauled functions f (t), t ∈ [0, 1] such that forms a b-metric space.Notice that s = 2 1/q .Definition 2. (see e.g., [17,18]) Suppose that f and g are self mappings on a non-empty set X. A point x is names as a coincidence point of f and g incase f x = gx, for x in X.Moreover, z is called a point of coincidence of f and g whenever z = f x = gx for some x in X.In addition, f and g are said to be weakly compatible, if holds for every x ∈ X. Proposition 1. (see Lemma 3 in [19]) Let f , g, h be self mappings on a non-empty set X and v ∈ X is the a unique coincidence point of f , g and h.These self-mappings, f , g, h, have a unique common fixed point if { f , h} and {g, h} are weakly compatible.[20], is the following:

Definition of comparison function, defined by Rus
Remark 2. On account of Lemma 2 and Lemma 1, any (b)-comparison function, we have ψ satisfies ψ(t) < t.
Fisher [23] proved the following existence theorem: Theorem 1. [23] Let T be a mapping of the complete metric space X into itself satisfying the inequality ∀x, y ∈ X, 0 ≤ a < 1, 0 ≤ b then T has a fixed point in X.
In 1980, Pachpatte [24] extended the result of Fisher [23] in the following way.
Theorem 2. [24] Let T be a mapping of the complete metric space X into itself satisfying the inequality ∀x, y ∈ X, where a, b ≥ 0 and a + 2b < 1 then T has a unique fixed point in X.
This trend has been followed by Sharma and Sahu [25], Popa [26], Ali and Arshad [27] and so on.By following the trend, initiated by [23] and succeeded by [24][25][26][27], we introduce a new type contraction for three maps via auxiliary function ψ.We examined the existence and uniqueness of a common fixed point for such contractions in the framework of b-metric space.

Main Results
Let (X, d) be a complete b-metric space and let f , g, h be mappings from X into itself satisfying the condition: Let x 0 ∈ X.By (1) there exists a point x 1 ∈ X such that hx 1 = f x 0 and for x 1 there exists x 2 ∈ X such that hx 2 = gx 1 .Inductively we can define the sequences {x n } and y n in X such that Lemma 3. Let f , g, h be mappings from a b-metric space (X, d) into itself satisfying (1) and such that for all x, y ∈ X where, ψ ∈ Ψ and F(x, y) = max{d( f x, gy)d(hx, f x), d( f x, gy)d(hy, gy), d(hy, f x)d(hx, gy), 1 2s d(hy, gy)d(hx, gy)}, ψ ∈ Ψ .Then, the sequence {y n } defined by ( 2) is a Cauchy sequence in X.
Proof.For an arbitrary x 0 ∈ X, we shall construct a sequence {x n } and {y n } in (2).If there exists n 0 such that y 2n 0 = y 2n 0 +1 we obtain : hx 2n 0 +1 = f x 2n 0 = hx 2n 0 +2 = gx 2n 0 +1 and hence, x 2n 0 +1 forms a common fixed point of h and g.Without loss of generality, we suppose that y 2n = y 2n + 1 .Accordingly, from ( 2) and ( 3) we find that where which is a contradiction.Thus, we have Keeping in mind that ψ is non-decreasing, and by taking the inequality (4) into account and employing Remark 2 recursively, we conclude also that By using the same arguments, similarly, we find that d(y 2n−1 , y 2n ) ≤ d(y 2n−2 , y 2n−1 ), and moreover, As a result, for all n ∈ N, we get On the account of Lemma 2, we conclude that Now, we shall indicate that the sequence {y n } is Cauchy.By using the modified triangle inequality (b3) recursively, and keeping the fact that (α + β) 2 ≤ 2(α 2 + β 2 ) in mind, we observe the following estimation for the distance d(y n , y n+k ) for k ≥ 1 and Applying ( 5) and ( 7) we derive that Consequently, we have where On the account of Lemma 2, we guarantee that the series We find that the constructive sequence {y n } is Cauchy in (X, d).
Theorem 3. Let (X, d) be a complete b-metric space, f , g, h be self mappings of X satisfying the conditions ( 1) and ( 3).We suppose also that h(X) is a closed subspace of X.Then the maps f , g and h have a coincidence point z in X.Moreover, if the pairs { f , h} and {g, h} are weakly compatible then f , g and h have a unique common fixed point in X.
Proof.Let us consider now the sequence {y n } defined by (2).By Lemma 3, we have that {y n } is a Cauchy sequence in X and since X is complete, the sequence {y n } converges to a point z in X.But, h(X) is complete, being a closed subspace of X and since f (X) ∪ g(X) ⊆ h(X), the subsequences {y 2n } and {y 2n } which are contained in h(X) must have a limit z in h(X), i.e.
Let u ∈ h −1 z.Then hu = z and we suppose that gu = z.From (3) we have where Keeping Remark 2 in mind and by taking lim sup in (11) as n → ∞, we find that a contradiction.Hence, we have [d(z, gu)] 2 = 0 which gives that gu = z = hu.Using the similar reasoning, supposing that f u = z we have where Again, by taking Remark 2 into account and by letting lim sup in (12) as n → ∞, which is a contradiction.Therefore, f u = z = hu = gu, i.e., the maps f , g and h have a coincidence point.If we consider the supplementary assumption, then the pairs g, h and f , h are weakly compatible, we have We shall show that z is the common fixed point of f , g and h.Without loss of generality, suppose, on the contrary, that z = gz.Hence, by (3) we get where a contradiction.Thus, we have d(z, gz) = 0, that is, z = gz.By combining with (13) we get f z = gz = hz = z which shows that z is a common fixed point of the mappings f , g and h.
For the uniqueness, we suppose, on the contrary, that f , g and h have two common fixed points z 1 and z 2 such that z 1 = z 2 .Then, by using (3) we get where Thus, (14) yields that a contradiction that completes the proof.
We will now give some immediate consequences of the main result.By replacing the mapping h with the identity mapping on X, in Theorem 3 we deduce the first consequence of the main result.Corollary 1.Let (X, d) be a complete b-metric space, ψ ∈ Ψ and f , g be the mappings of X such that for x, y ∈ X the following inequality is satisfied: where F(x, y) = {(d( f x, gy)d(x, f x)), (d( f x, gy)d(y, gy)) (d(y, f x), d(x, gy)), 1 2s (d(y, gy), d(x, gy)) If in the Corollary 1 we take f = g we derive the next consequence.
Suppose that h(X) is a closed subspace of X and f (X) ∪ g(X) ⊆ h(X).Then, f , g and h have a coincidence point.In addition, incase of the pairs { f , h} and {g, h} are weakly compatible, these maps have a unique common fixed point.
The details of the proof of Theorem 4 are very close to the proof of Theorem 3, with suitable modification, so we skip it.
Example 3. Let X = [0, 1] be a set endowed with a b-metric d(x, y) = (x − y) 2 with s = 2 and we define three mappings f , g, h : X → X, by Clearly, f (X) ∪ g(X) ⊂ h(X), h f 0 = 0 = f h0, hg0 = 0 = gh0 and hg1 = 0 = gh1 which shows that the pairs f , h, g, h are weakly compatible.Let ψ(t) = t 4 .For any x ∈ [0, 1] and y ∈ [0, 1) we have for any x, y ∈ X.Consequently, we deduce that 0 is the unique common fixed point of the maps f , g and h since all assumptions of Theorem 3 are fulfilled.
Example 4. Let the set X = {m, n, p, q} and a function d : X × X → [0, ∞) defined as follows: d(x, y) m n p q m 0 3 1 4 n 3 0 3 1 p 1 3 0 2 q 4 1 2 0 By a simple calculation, one can verify that the function d is a b-metric, for s = 2.We define the self mappings f , g, h on X as x m n p q f m m p m g m m m p h m p n n Since f (X) = {m, p}, g(X) = {m, p} and h(X) = {m, n, p}, the condition (1) is satisfied.Moreover, h f m = m = f hm, hgm = m = ghm.
Let also ψ(t) = t 2 Thus, m is the unique common fixed point of the maps f , g and h since all the conditions of Theorem 3 are satisfied.

Conclusions
By choosing ψ in a proper way in Theorem 3, Corollarys 1 and 2, we can derive further consequences.