Some Globally Stable Fixed Points in b-Metric Spaces

In this paper, the existence and uniqueness of globally stable fixed points of asymptotically contractive mappings in complete b-metric spaces were studied. Also, we investigated the existence of fixed points under the setting of a continuous mapping. Furthermore, we introduce a contraction mapping that generalizes that of Banach, Kanan, and Chatterjea. Using our new introduced contraction mapping, we establish some results on the existence and uniqueness of fixed points. In obtaining some of our results, we assume that the space is associated with a partial order, and the b-metric function has the regularity property. Our results improve, and generalize some current results in the literature.


Introduction
The research area of fixed point theory is playing an important role in finding solutions for some nonlinear equations (differential equations).The stability of a solution(fixed point) determines the long term effectiveness of the solution when subjected to a perturbation(usually small).
The early fixed point theorems were published between 1910-1945 [1].The early fixed points theorems were established by Brouwer (1912) [2], Banach (1922) [3], Schauder (1930) [4], and Kakutani (1941) [5], see also [1].Later in 1955, Tarski (Knaster-Tarski) fixed point theorem emerged with an inclusion of order relation [6].The advent of Tarski fixed point theorem brought an alternative to the usage of a continuous or contractive mappings to establish the existence of a fixed point.Since then, many researchers establish results that combine the usage of an order and weaker contractive conditions on the mappings, see [7][8][9].
In the area of fixed point theory, the importance of famous Banach contraction mapping theorem [3] can never be over emphasized.Banach fixed point theorem/principle centered around the contraction of the mapping in discussion.Another importance of the Banach contraction principle is that, it allows the sequence of the successive approximation (picard iterations) to converge to a solution of the problem in discussion [1].The successive approximations developed by Picard in 1980 can solve both linear and nonlinear problems [10].Many authors established an analogue, generalization, and improvement of Banach fixed point theorem, both from the perspective of the spaces and the mapping in consideration, see [7][8][9][11][12][13][14]. In establishing the existence and uniqueness of a fixed point, the mapping in discussion is very important.
In the same direction, Kannan in 1969 [15] brought to light a fixed point theorem with a different contraction mapping compare to that of Banach [3]; i.e., he proves the existence of a fixed point in a complete metric space (X, d) with a mapping T : X → X satisfying ).
Furthermore, Chatterjea in 1972 [16] introduce another fixed point theorem with a different contraction mapping, if compare with both that of Banach [3] and Kannan [15]; i.e., he proves the existence of a fixed point in a complete metric space (X, d) with a mapping T : X → X that satisfy ).
Very recently, in 2018, Zhou et al. [17] extend the result of Chatterjea [16] to a complete b-partial metric space.
On the other hand, it is from the work of Bourbaki [18], and Bakhtin [12] that, the idea/concept of a b-metric was initiated.Later in 1993, Czerwik [19] provide an axiom that is weaker than the triangular inequality, and formally defined a b-metric space with a sole motive of generalizing the Banach contraction mapping theorem [3].Subsequently, the concept was improved by many authors [20], others generalized the concept [21,22] and established some fixed point existence results in b-metric spaces.
In 2013, Kamihigashi and Stachurski proved some existence and uniqueness theorems of a fixed point in a complete metric space [8].In 2017, Rezai and Dinarvand [23] established the existence of a fixed point using a setting that generalizes the Chatterjea contraction mapping [16].Recently in 2018, Yusuf and Kumam [9] extend the work of Kamihigashi and Stachurski to a partial metric space.On the other hand, in 2018, Du et al. [24] establish the existence results of a fixed point that generalizes results of Banach [3], Kannan [15] and Chatterjea [16].In this paper, motivated by Kamihigashi et al. [8], Du et al. [24], Zhou et al. [17], and Yusuf et al. [9], we establish the existence of fixed points in a complete b-metric space associated with a partial order.We also investigated the global stability of the fixed points of an asymptotically contractive mapping.

Preliminaries
Let X be a non empty set, R + be the set of non negative real numbers and R be the set of real numbers.The following definitions can be found in [8] unless otherwise stated.Definition 1.Let be a binary relation on the set X then, the relation is 1.Reflexive if x x, ∀x ∈ X. 2. Antisymmetric if x y and y x =⇒ x = y, ∀x, y ∈ X. 3. Transitive if x y and y z =⇒ x z, ∀x, y, z ∈ X.
The binary relation is called a partial order if it satisfies all of the above conditions (1-3), we call the pair (X, ) a partial ordered set.Definition 2. In view of Kamihigashi et al. [8], a function Ψ : X × X → R + is Regular if whenever x y z, then max{Ψ(x, y), Ψ(y, z)} ≤ Ψ(x, z), ∀x, y, z ∈ X, where (X, ) is an ordered space, max function is from R + × R + to R + .Definition 3. Let (X, ) be an ordered space.Two elements x, y ∈ X are said to be comparable if x y or y x.A mapping T : X → X is order preserving if x y =⇒ Tx Ty for all x, y ∈ X.We say that a sequence {x i } ∈N ⊆ X is increasing if x i x i+1 , ∀i ∈ N.
It is clear to see that, every metric is a b-metric with s = 1, see [12].

Main Results
In this section, the bellow assumptions were considered.
Assumption 1.Let d b be regular, and is a reflexive order defined on X.
Assumption 2. For any increasing sequence {x i } i∈N ⊂ X converging to x ∈ X, we have x i x ∀i ∈ N, and if there exists y ∈ X such that, x i y ∀i ∈ N, then x y.Theorem 1. Suppose (X, d b ) is a complete b-metric space, and for any x, y ∈ X, we have Suppose also there exist u, v ∈ X with T order preserving such that, u Tu, Then T has a fixed point.
Proof of Theorem 1. Now, let x i = T i u, ∀i ∈ N. It follows from ( 9) and order preserving condition on T that, {x i } i∈N is increasing.Next we show {x i } is Cauchy using ( 8)- (10), and regularity of d b .
Let > 0, from ( 8)- (10) there Hence, lim j,k→∞ d b (x j , x k ) = 0, which implies that {x i } i∈N is a Cauchy sequence.By completeness of (X, d b ), there exists x ∈ X such that x i → x, i.e., lim n→∞ d b (x i , x) = 0. Now, using Assumption 2, (9), and the order preserving condition on T, we have by applying the order preserving property of T in (11), we have Using the regularity property of d b , ( 11) and ( 12), we proceed as The above relation permit us to conclude that, x is a fixed point of the mapping T.
Theorem 2. Suppose the mapping T : X → X is asymptotically contractive, x ∈ X is a fixed point of T, and x n = T n u for some u ∈ X and n ∈ N.Then, we have Proof of Theorem 2. Let x ∈ X be a fixed point of T and s ≥ 1.
The forward case: Let d b (x n , x) → 0, we have The backward case: Let d b (x n , Tx n ) → 0, we have −→ 0.
Theorem 3. Suppose T is asymptotically contractive self mapping in a b-metric space (X, d b ), and z ∈ X is a fixed point of T.Then, z is unique and globally stable.
Proof of Theorem 3. Let z, y ∈ X be any two fixed points of T. For T asymptotically contractive mapping we have hence, the fixed point is unique.Also, let z ∈ X be a fixed point of T and y ∈ X be any point.For T asymptotically contractive mapping we have hence, z is a globally stable fixed point of T.

Corollary 1.
[8] Suppose (X, d) is a complete metric space, and for any x, y ∈ X we have Suppose also there exist u, v ∈ X with T order preserving such that ( 9) and ( 10) are satisfied.Then, T has a fixed point.Corollary 2. [8] Let (X, ) be a partially ordered set, (X,d) be a complete metric space, and Ψ : [0, ∞) → [0, ∞) be an increasing function such that lim i→∞ Ψ i (t) = 0 for each t > 0. Suppose that, for any comparable x, y ∈ X we have x y =⇒ d(T i x, T i y) Then, T has a fixed point.
By dropping Assumption 2, the below existence theorem follows.
Theorem 4. Suppose (X, d b ) is a complete b-metric space, and for any comparable x, y ∈ X we have Suppose also there exist u, v ∈ X with T continuous and order preserving such that, ( 9) and ( 10) are satisfied.Then, T has a fixed point.
Proof of Theorem 4. For showing the sequence {x i } i∈N is Cauchy, we use similar arguments as those given in the proof of Theorem 1.The limit of the Cauchy sequence {x i } i∈N can easily be seen as the fixed point of T using the continuity of T.
Furthermore, the uniqueness and global stability of the fixed point can be established with T continuous and asymptotically contractive without Assumption 2. Theorem 5. Let (X,d b ) be a complete b-metric space with s ≥ 1, and associated with a partial order .Suppose for all comparable elements x, y ∈ X, the mapping T : X → X is order preserving and satisfies the below condition for some α ∈ [0, γ), where γ = min{ 1 s 2 , s + 4 5s }, φ satisfy ( 5), and ψ a distance altering function.If there exists x 0 ∈ X such that x 0 Tx 0 , then T has a unique fixed point in X.
Proof.Let us start by showing the uniqueness of the fixed point of T. For the sake of contradiction, we assume that, x 1 , x 2 ∈ X are two distinct fixed points of T.Then, Thus, from the property of ψ, inequality (19) . Hence, a contradiction.Therefore, if a fixed point of T exist, then it is unque.
Next, we show the existence of the fixed point.Let x 0 ∈ X be such that, x 0 Tx 0 .If x 0 = Tx 0 then x 0 is the fixed point.Suppose that x 0 = Tx 0 .Then, define a sequence x n ⊆ X by x n = Tx n−1 , ∀ n ∈ N.For T being order preserving and x 0 Tx 0 , we have By transitivity of , we have ), we show that, g n is a non-increasing sequence and So, we proceed as follows, For ψ nondecreasing coupled with the immediate above inequality, we have From the above inequality (20), we have From inequality (21), and for α ∈ [0, γ), we conclude that {g n } ∞ n=1 is a nonincreasing sequence in X which is bounded below by 0. Thus, lim n→∞ d b (x n , x n+1 ) = 0 [28].
Next we show that, {x n } ∞ n=1 is a Cauchy sequence.
Now, from the property of ψ and inequality (22), we have inequality ( 23) implies From the fact that, α ∈ [0, γ), we have s + 4 − 3αs 2 > 0. Taking the limits of both sides of (24), we have lim Thus, {x n } ∞ n=1 is Cauchy.For (X, d b ) being complete, there exist x ∈ X such that lim n→∞ x n = x.Next, we show that, T x = x.We proceed as follows, where . So, from the property of ψ and ( 26), we have Therefore, from the above inequality we have further simplification, we have It is clear that, for α ∈ [0, γ) s + 4 − αs − αs 2 > 0. So, by taking limit of both sides in (27), we have d b ( x, T x) = 0. Thus, x is a fixed point of T. for all x, y ∈ X.Also, if a ∈ X then the sequence of iterates of a by T will be written as {T n a}.Then, T has a unique fixed point in (X, d).
Corollary 5. Let (X,d) be a complete metric space associated with a partial order .Suppose for all comparable elements x, y ∈ X, the mapping T : X → X is order preserving and satisfies the below condition }, φ a function satisfying (5), and ψ a distance altering function.If there exists x 0 ∈ X such that x 0 Tx 0 , then T has a unique fixed point in X. Corollary 6. ([29], Theorem 2.1) Let (X, , d) be an ordered complete metric space.Let f : X → X be a continuous nondecreasing mapping.Suppose that for comparable x, y ∈ X, we have If there exists x 0 ∈ X such that, x 0 f x 0 , then f has a fixed point.

Corollary 7. ([23],
Theorem 3) Let (X, d, ) be a partially ordered b-complete b-metric space with parameter s ≥ 1.Let f : X → X be a continuous, and nondecreasing mapping with respect to .Suppose that, f is a (ψ, φ) s -weakly C-contractive mapping.If there exist x 0 ∈ X such that x 0 f x 0 , then f has a fixed point.

Conclusions
In the first theorem of our main results, the existence of a fixed point x ∈ X of the mapping T : X → X in a complete b-metric space is guided upon the existence of some important two elements u, v ∈ X, satisfying the conditions provided in Theorem 1.The uniqueness and global stability of the fixed point x ∈ X of T can be obtained if the mapping T is asymptotically contractive.Furthermore, our result in Theorem 5 generalizes the result of Rezai and Dinarvand ( [23], Theorem 3), and extends both the result of Du et al. ([24], Theorem 8) and results of Shatanawi ([29], Theorem 2.1).
and d b is not a metric.Proof.The conditions D b 1 and D b 2 are trivial for all x, y ∈ X, and n ∈ 2N.Condition D b 3 can be seen as follows.Let x, y, z ∈ R.Then,