Controlled Metric Type Spaces and the Related Contraction Principle

In this article, we introduce a new extension of b-metric spaces, called controlled metric type spaces, by employing a control function α(x, y) of the right-hand side of the b-triangle inequality. Namely, the triangle inequality in the new defined extension will have the form, d(x, y) ≤ α(x, z)d(x, z) + α(z, y)d(z, y), for all x, y, z ∈ X. Examples of controlled metric type spaces that are not extended b-metric spaces in the sense of Kamran et al. are given to show that our extension is different. A Banach contraction principle on controlled metric type spaces and an example are given to illustrate the usefulness of the structure of the new extension.


Introduction
Fixed point theory has widespread applications in different fields science and Engineering [1][2][3][4][5].The core of the proof of existence and uniqueness theorems for the solutions of ordinary and fractional initial and boundary value problems depends on applying different fixed point theorems.The most applied fixed point theorem is the Banach contraction principle, which has been generalized by either modifying the contractive type condition or by working on a more generalized metric type space (see [6][7][8][9][10][11]).The b-metric space [12,13] and its partial versions, which extends the metric space by modifying the triangle equality metric axiom by inserting a constant multiple s ≥ 1 to the right-hand side, is one of the most applied generalizations for metric spaces (see [14][15][16][17][18][19][20]).
Very recently, the authors in [21] introduced a type of extended b-metric spaces by replacing the constant s by a function θ(x, y) depending on the parameters of the left-hand side of the triangle inequality.In this article, we shall define a different type extension for b-metric spaces by replacing s by a function α(x, y) to act separately on each term in the right-hand side of the triangle inequality as mentioned in the abstract.Then, we give examples to show that this extension is different from extended b-metric spaces in the sense of Kamran et al. [21].We also prove the corresponding Banach fixed point theorem on controlled metric type spaces and we provide an illustrating example.

Preliminary Assertions
In 2017, Kamran et al. [21] initiated the concept of extended b-metric spaces.Definition 1. [21] Let X be a nonempty set and θ : We generalize the concept of b-metric spaces in a different way as follows: Definition 2. Given a nonempty set X and α : for all x, y, z ∈ X.The pair (X, d) is called a controlled metric type space.
Remark 1. If, for all x, y in X, α(x, y) = s ≥ 1, then (X, d) is a b-metric space, which leads us to conclude that every b-metric space is a controlled metric type space.In addition, a controlled metric type space is not in general an extended b-metric space when taking the same function, that is, in the case θ = α.The following examples explain this fact.
x , if x is even and y is odd, 1 y , if x is odd and y is even, x, if x is even and y is odd, y, if x is odd and y is even, 1, otherwise.
(d1) and (d2) are clearly true.We shall prove that (d3) holds.Case 1: If z = x or z = y, (d3) is satisfied.Case 2: If z = x and z = y, (d3) holds when x = y.From now on, suppose that x = y.Then, we have x = y = z.It is also obvious that (d3) holds in all following possible subcases: Subcase 1: x, z are even and y is odd; Subcase 2: x is even and y, z are odd; Subcase 3: x, z are odd and y is even; Subcase 4: x, z are even and y is odd; Subcase 5: x, y, z are even; Subcase 6: x, y are even and z is odd; Subcase 7: x, y are odd and z is even; Subcase 8: x, y, z are odd.Consequently, d is a controlled metric type.On the other hand, for n = 2, 3, . .., we have that is, d is not an extended b-metric for the same function α = θ.
Example 2. Take X = {0, 1, 2}.Consider the function d given as Take α : X × X → [1, ∞) to be symmetric and be defined by It is easy to see that d is a controlled metric type.Note that d(0, Thus, d is not an extended b-metric for the same function α = θ.
We define Cauchy and convergent sequences in controlled metric type spaces as follows: Definition 3. Let (X, d) be a controlled metric type space and {x n } n≥0 be a sequence in X.
(1) We say that the sequence {x n } converges to some x in X, if, for every > 0, there exists N = N( ) ∈ N such that d(x n , x) < for all n ≥ N. In this case, we write lim n→∞ x n = x.
(2) We say that the sequence {x n } is Cauchy, if, for every > 0, there exists N = N( ) ∈ N such that d(x m , x n ) < for all m, n ≥ N.
(3) The controlled metric type space (X, d) is called complete if every Cauchy sequence is convergent.(ii) The mapping T : X → X is said continuous at x ∈ X if for all ε > 0, there exists δ > 0 such that T(B(x, δ)) ⊆ B(Tx, ε).
Clearly, if T is continuous at x in the controlled metric type space (X, d), then x n → x implies that Tx n → Tx as n → ∞.

Main Results
Now, we are ready to prove our main result corresponding to the Banach contraction principle on controlled metric type spaces.Theorem 1.Let (X, d) be a complete controlled metric type space.Let T : X → X be a mapping such that d(Tx, Ty) ≤ kd(x, y), for all x, y ∈ X, where k ∈ (0, 1).For x 0 ∈ X, take x n = T n x 0 .Suppose that In addition, assume that, for every x ∈ X, we have lim n→∞ α(x n , x) and lim n→∞ α(x, x n ) exist and are finite.
Then, T has a unique fixed point.
Proof.Consider the sequence {x n = T n x 0 }.By using (1), we get For all natural numbers n < m, we have Above, we make use of that α(x, y) ≥ 1.Let Hence, we have Condition (2), by using the ration test, guarantees that lim n→∞ S n exists and hence the real sequence {S n } is Cauchy.Finally, if we take the limit in the inequality (4) as n, m → ∞, we deduce that that is, {x n } is a Cauchy sequence in the complete controlled metric type space (X, d), so {x n } converges to some u ∈ X.We shall show that u is a fixed point of T. The triangle inequality yields that Using ( 2), ( 3) and ( 5), we deduce that Using again the triangle inequality and (1), Taking the limit as n → ∞ and taking ( 3) and ( 6) into view, we deduce that d(u, Tu) = 0, that is, Tu = u.Finally, assume that T has two fixed points, say u and v. Thus, which holds unless d(u, v) = 0, so u = v.Hence, T has a unique fixed point.
We illustrate Theorem 1 by the following example.Take α : X × X → [1, ∞) to be symmetric and be defined by Clearly, d is an α-b-metric.Consider the self map T on X as T0 = 2 and T1 = T2 = 1.
Choose k = 4 5 .Clearly, (1) holds.For any x 0 ∈ X, (2) is satisfied.All hypotheses of Theorem 1 hold, and so the T has a unique fixed point, which is u = 1.
Note that we can not apply the standard Banach contraction principle on metric spaces.
A function H : X −→ R is said to be T-orbitally lower semi-continuous at v ∈ Similar to [21], we can employ Definition 5, to state the following consequent of Theorem 1, which generalizes Theorem 1 in [22].Corollary 1.Let (X, d) be a complete controlled metric type space.Let x 0 ∈ X and T : X → X be a given mapping.Suppose that there exists k ∈ (0, 1) such that d(Tz, T 2 z) ≤ kd(z, Tz), f or each z ∈ O(x 0 ).(7) Take x n = T n x 0 .Suppose that Then, x n → u ∈ X (as n → ∞).Moreover, such u verifies Tu = u if and only if the functional x → d(x, Tx) is T−orbitally lower semi-continuous at u. Remark 2. Notice that the condition (3) is not needed in Corollary 1.It is replaced by the lower semi-continuity condition.In Theorem 2 of Kamran et al. [21], the continuity of d was used.As we see in Theorem 1, the continuity of d is not required and it is replaced by condition (3).In addition, (2) is the analogue of the condition on θ in Theorem 2 of [21] is rewritten differently, but in the correct form.

Perspectives
It is an open question regarding the treatment of the cases of Kannan contraction, Chatterjee contraction, Hardy-Rogers contraction, Ćirić contraction and Suzuki contraction.