Fixed Point Theorems in Rectangular b -Metric Space Endowed with a Partial Order

: The purpose of this paper is to present some ﬁxed-point results for self-generalized contractions in ordered rectangular b -metric spaces. We also provide some examples that illustrate the non-triviality and richness of this area of research


Introduction
The importance of fixed-point theory is shaped out by Felix Browder [1] in the following sentences "Among the most original and far-reaching of the contributions made by Henri Poincaré to mathematics was his introduction of the use of topological or 'qualitative' methods in the study of nonlinear problems in analysis. . .The ideas introduced by Poincaré include the use of fixed-point theorems, the continuation method and the general concept of global analysis".
Initially, the fixed-point theory was used to prove the existence of solutions of differential equations; see the work of Joseph Liouville around 1837.Later on, in 1890, the method of successive approximations was introduced by Charles Emile Picard and, after that, in 1922, with the well known contraction principle, Stefan Banach initiated the modern fixed-point theory.The diverse results of the existence of fixed points have relevant applications in many branches of mathematical analysis, algebra, topology, etc., see [2].Via a fixed-point result it is possible to solve some nonlinear functional equations or some optimization problem or some variational inequalities.
For short, a fixed point of a map f is a solution of the equation x = f (x).For the state of the art, let X be a nonempty set and f : X → X be a map.The set of all fixed points of f is Fix( f ) = {x ∈ X, f (x) = x}.If we denote the graph of the function f by G f , i.e., G f = {(x, f (x)), x ∈ X} ⊂ X × X and ∆ X = {(x, x), x ∈ X} is the diagonal-set of X, then Fix( f ) = G f ∩ ∆ X .This equality permits a connection between classical metric fixed-point theory and another mathematics subject like graph theory.This direction of research was initiated by J. Jakhymski [3], who demonstrated how his theorem could be used to prove the Kelisky-Rivlin theorem on the convergence of the Bernstein operators on the space of continuous functions on [0, 1].Since then, graphical fixed-point theory has been widely studied, and some significant results are presented in the book [4] and the recent paper [5].
There are at least two methods to study the non-emptiness of the set Fix( f ).On the one hand, we can study the convergence of the successive approximations sequence { f n (x 0 )}, where x 0 ∈ X.On the other hand, we can study the zeroes of the function F : (X, d) → [0, ∞) given by F(x) = d(x, f (x)).Both methods can be enriched by adding some extra assumptions on the function or the space.This is especially interesting when dealing with ordered algebraic structures.This research direction has been the subject of extensive coverage in the literature, with numerous references available, including Ran and Reurings [6], O'Regan and Petrusel [7], Alfuraidan et al. [4] and Khan [8].These works underscore the importance of studying this subject in a variety of research fields, including the theory of automata (which explores the fundamental principles of computation and the behavior of abstract machines), mathematical linguistics (which investigates the mathematical properties of language and its structures), approximation theory and the theory of critical points.Given the breadth of coverage, it is clear that investigating this topic is essential for advancing understanding in these fields.
In fact, the metric contractive conditions are based on comparing the distances between different points in the domain and their images under the mapping.Some of the conditions involve some of the following six displacements d( f (x), f (y)), d(x, y), d(x, f (x)), d(y, f (y)), d(x, f (y)) and d(y, (x)) such that it can be possible to prove non-emptiness of the set Fix( f ).
For example, one way to understand the Kannan contraction condition is to use a geometric interpretation.Suppose that f : X → X is a map that satisfies the inequality where a ∈ 0, 1 2 and (X, d) is a metric space.Then, for any two points x, y ∈ X, we can draw a quadrilateral with vertices x, f (x), f (y), y, as shown in Figure 1.
The inequality (1) tells us that the length of the side f (x) − f (y) is smaller than the length of the midsegment that connects the midpoints of the sides x − f (x) and y − f (y).This shows that the map f shrinks the distances between points in some sense, which is a key property for proving the existence and uniqueness of fixed points.So, we have the fixed-point theorem due to Kannan [10]: ]).Let (X, d) be a complete metric space.If the mapping f : X → X satisfies (1), with 0 < a < 1 2 , then f has a unique fixed point.
A number of recent studies have explored fixed-point results that rely on Kannan contraction conditions.Specifically, Debnath, P.; Srivastava, H.M. [11] and Konwar, N. et al. [12] have extended Kannan's fixed-point theorem to the case of multivalued maps using Wardowski's type contraction.
One of the main topics in fixed-point theory is to extend the classical or recent results of metric fixed-point theory to some more general settings, such as generalized metric spaces, and to consider some nonlinear mappings that are more general than Banach's contraction.In [13], some equivalent conditions for generalized contractions are given and we state one of them as follows.
Acording to Berinde & Pȃcurar [18], the concept of b-metric space was introduced in 1981 as quasimetric space.About 20 years ago, Branciari [19] introduced the new type of metric space by replacing the triangle inequality with the rectangular inequality in the definition of a metric space.George et al. [20] further extended this idea by introducing the rectangular b-metric space, which has been studied by many authors, such as Öztürk, V. [21] and Kari, A. et al. [22].The existence of a fixed point in an ordered metric space has its starting point in work of Ran et al. [6] and was continued by many other researchers like Harjani [23].
Considering the discussion above, we establish in this paper a fixed-point theorem for a generalized contraction in a rectangular b-metric space endowed with a partial order.As a consequence of the main result, we obtain a fixed-point result for a mapping satisfying contractive conditions of integral type in a complete rectangular b-metric space endowed with a partial order.For the rest of the manuscript we make the following arrangement: in Section 2, we state some basic definitions and notations to be used throughout this paper.The main result is given in Section 3.

Partially Ordered Sets
In what follows, let X be a nonempty set and be a reflexive, transitive and antisymmetric relation on X, i.e., (X, ) is a partially ordered set.Denote X = {(x, y) ∈ X × X, x y or y x}.Definition 1.Let (X, ) be a partially ordered set and f : X → X be a given mapping.We say that f is an isotone if x y implies f (x) f (y).Definition 2. Let (X, ) be a partially ordered set and {x n } be a sequence from X.We say that {x n } is a nondecreasing sequence if x n x n+1 for all n ≥ 0.
In the literature, there exist many examples of partially ordered sets; see [24,25] and references therein.We mention here two of them.
Example 1.Let X = C(a, b, R + ) be the set of all continuous functions from compact subset [a, b] ⊂ R to the set of non-negative real numbers.Let [c, d] ⊂ [a, b] be a compact subset and µ ∈ (0, 1), t ∈ [c, d] be two positive real numbers.For any u, v ∈ X, if we consider that u v if and only ) is an ordered and complete metric space.
In ordered metric spaces, the following principle of Banach-Caccioppoli type was established by Ran and Reurings [6].
Theorem 3 ([6]).Let (X, ) be a partially ordered set such that every pair x, y ∈ X has a lower and an upper bound.Let (X, d) be a complete metric space and f : X → X be a continuous and monotone (i.e., either decreasing or increasing) operator.Suppose that the following two assertions hold: There exists a ∈ (0, 1) Then, f has an unique fixed point x * ∈ X, i.e., f (x * ) = x * , and for each x ∈ X the sequence { f n (x)} of successive approximations of f starting from x converges to x * ∈ X.
The existence of fixed points on partially ordered metric spaces is a topic that has attracted a lot of attention in recent years.Many researchers have contributed to this field by establishing various results and applications, see [7,23,[26][27][28][29].

Rectangular b-Metric Spaces
Let X be a nonempty set and d : X × X → [0, ∞) be a map providing the following ax- ioms.
(M-i.) d(x, y) = 0 if and only if x = y for all x, y ∈ X; (M-ii.)d(x, y) = d(y, x) for all x, y ∈ X; (M-iii.)There exists s ≥ 1, a real number, such that is satisfied for all x, y ∈ X, z 1 , z 2 ∈ X \ {x, y}, with x = y and z 1 = z 2 .The following definitions are consistent with [30,31], respectively [19].Definition 3. Let X be a nonempty set, d : X × X → [0, ∞) and s ≥ 1 be a given real number.The pair (X, d) is a b-metric space with coefficient s if axioms (M-i.), (M-ii.)and (M-iii.)hold.Definition 4. Let X be a nonempty set, d : X × X → [0, ∞) and s ≥ 1 be a given real number.The pair (X, d) is a rectangular b-metric space with coefficient s if axioms (M-i.), (M-ii.)and (M-iv.)hold.
Remark 2. For s = 1, the axiom (M-iii.) is the triangle inequality and (X, d) is a metric space introduced by Fréchet in [32].
For a brief history of the concept of b-metric space, we refer to [18,26].Remark 3.For s = 1, the axiom (M-iv.) is a rectangular inequality and (X, d) is a rectangular metric space introduced by Branciari in [19].
Note that a rectangular metric space is a generalization of a metric space, where the triangle inequality is replaced by a weaker condition.Any metric space is also a rectangular metric space and any rectangular metric space is a special case of a rectangular b-metric space.Moreover, if a b-metric space has a coefficient s, then it is also a rectangular b-metric space with coefficient s 2 .For more details and examples of these spaces, see [20,33].One way to construct a rectangular metric space is given in [34].
Example 3. Let (X, d) be a complete metric space, u, v ∈ X and {u n } be a convergent sequence such that u n ∈ X \ {u, v} for all n ≥ 1 and lim n→∞ u n = u.Denote by σ the set of all elements of the considered sequence {u n }, and otherwise.
Then, (Σ, d Σ ) is a rectangular metric space which is not a metric space.Since {u n } is a Cauchy sequence and (X, d) is complete, there exists N ≥ 1 such that d(u n , u) ≤ 1  2 for all n ≥ N, so, we have inequality which proves that (Σ, d Σ ) is not a metric space.On the other hand, for s ≥ 1 and for all positive integers m ≥ N, n ≥ N, with m = n, we have Therefore, there are elements in set Σ for which the triangle inequality does not hold, instead the rectangular inequality (with coefficient s) holds.
Remark that Example 3 is a generalization of Example 1.3 from [35].
Example 4. Let (X, d) be a complete metric space, u, v, w ∈ X and {u n } be a convergent sequence such that u n ∈ X \ {u, v, w} for all n ≥ 1 and lim n→∞ u n = u.Denote by σ the set of all elements of the considered sequence {u n }, and where κ > 0 is positive real constant.Then, (Σ, δ Σ ) is a rectangular b-metric space.
Since {u n } is a Cauchy sequence and (X, d) is complete, there exists N ≥ 1 such that d(u n , u) ≤ 1 for all n ≥ N. Hence, for all positive integers m ≥ N, n ≥ N, with m = n, we have Hence, there are elements in set Σ for which the rectangular inequality does not hold.On the other hand, since where z 1 , z 2 ∈ {u, v, w} with z 1 = z 2 .Thus, (rbM) is satified for all x, y ∈ σ, x = y and z 1 , z 2 ∈ {u, v, w} with respect to coefficient s = 2. Similarly, we can treat all cases that must be considered to finish the proof that (Σ, δ Σ ) is a rectangular b-metric space with coefficient s = 2.
Following the idea from [34], the notion from Definition 4 can be generalized.We say that (X, d) is an n-gon rectangular b-metric space, if n is a given positive integer, n ≥ 4, X is a nonempty set and the function d : X × X → [0, ∞) satisfies the axioms (M-i.), (M-ii.)and where x, y ∈ X, z k ∈ X \ {x, y}, with x = y and z k = z l for all k, l ∈ {1, 2, . . . ,n − 1}, with k = l.
Example 5. Let p ≥ 2 be a positive integer and X = L 2 [0, 1] be the set of Lebesgue measurable functions on [0, 1] such that Then, X, D p is a p-gon rectangular b-metric space with coefficient s = p.Indeed, it is obvious that the axioms (M-i.) and (M-ii.)are satisfied by D p .Now, consider f , g ∈ X and h k ∈ X \ { f , g}, with f = g and h k = h l for all k, l ∈ {1, 2, . . . ,p − 1}, with k = l.We have and by quadratic mean we obtain Hence, by (2) and (5), the inequality holds for all f , g ∈ X and h k ∈ X \ { f , g}, with f = g and h k = h l for all k, l ∈ {1, 2, . . . ,p − 1}, with k = l.That is, (nrbM); therefore, X, D p is a p-gon rectangular b-metric space.
Remark that, if in Example 5 we consider p = 2, then we obtain the particular case given by Example 1 from [36].

Rectangular b-Metric Spaces Endowed with a Partial Order
Definition 5. Let (X, ) be a partially ordered set and s ≥ 1 be a given real number.We say that (X, d, ) is a partially ordered rectangular b-metric space if (X, d) is rectangular b-metric space.
The basic topological properties, such as convergence and completeness, can be defined in a manner similar to that of metric spaces.These properties are analogous to the ones defined for metric spaces, but they may have different implications or consequences.Definition 6.Let (X, d) be a rectangular b-metric space with coefficient s, x ∈ X and {x n } be a sequence in X.We say that the sequence {x n } is Rb-convergent in (X, d) and converges to x if, for every ε > 0, there exists n 0 ∈ N such that d(x n , x) < ε for all n > n 0 .In this case, we write lim Note that the limits are not unique in rectangular b-metric space.For example, if we consider the sequence {u n } given by Example 3, then both equality lim Lemma 1 ([33]).Let (X, d) be a rectangular b-metric space with coefficient s ≥ 1 and {x n }, {y n } be two b-convergent sequences, with lim n→∞ x n = x and lim n→∞ y n = y, respectively.The following inequalities hold.
Definition 7. Let (X, d) be a rectangular b-metric space with coefficient s.The sequence {x n } is said to be Rb-Cauchy if lim n→∞ d x n+p , x n = 0 for all p ∈ N.
In fact, {x n } is an Rb-Cauchy sequence if, for every ε > 0, there exists n 0 ∈ N such that d x n+p , x n < ε for all n > n 0 and p > 0. Note that the sequence {u n } from Example 3 is not an Rb-Cauchy sequence because d S (u m .un ) = 1 for all m, n ∈ N with m = n.Definition 8.A rectangular b-metric space (X, d) is called Rb-complete if any Rb-Cauchy sequence is convergent in (X, d).

Main Result
In the sequel, we make the notations M f x,y = max{d(x, y), d(x, f (x)), d(y, f (y))} (6) and If and Let S denote the class of those continuous and increasing functions ψ : [0, ∞) → [0, ∞) and E be the class of lower semicontinuous functions ϕ : [0, ∞) → [0, ∞) for which the equality ϕ(t) = 0 holds only for t = 0. Theorem 4. Let (X, d, ) be a partially ordered rectangular b-metric space with coefficient s, with s ≥ 1 a given real number.Let f : X → X be an isotone mapping such that (T-i.) There exists x 0 ∈ X such that x 0 f (x 0 ); (T-ii.)There exist ψ ∈ S and ϕ ∈ E and L ∈ (0, ∞) such that for all x, y ∈ X ≤ ; Then, f has a fixed point in X.
Proof.Let {y n } be the Picard iteration defined by y 0 = x 0 and y n = f (y n−1 ) for all n ≥ 1.By Remark 1, the hypothesis (T-i.)ensures that the sequence {y n } is nondecreasing, so y n y n+1 for all n ≥ 0; thus, (y m , y n ) ∈ X for all m, n ∈ N, m = n.
If there is n 0 ∈ N such that y n 0 = y n 0 +1 , then y n 0 is a fixed point of f , so there is nothing to prove.
In order to prove that {y n } is an Rb-Cauchy sequence in (X, d) we will use the proof by contradiction.Assume that y n = y n+1 for all n ∈ N and we can find two subsequences {y n } and {y n } of {y n } such that lim n→∞ d(y n , y n ) = 0. Without losing the generality, we can consider that there exist k, p ∈ N, which depend on i ∈ N, such that y n = y k(i) , y n = y p(i) with i < k(i) < p(i), and there exists ε > 0 for which the inequalities hold.In fact, (15) implies that {y n } is not an Rb-Cauchy sequence in (X, d) and (16) ensures that p(i) is the smallest integer satisfying (15).For simplicity, we use d * (k i , p i ) instead of d y k(i) , y p(i) , i.e., By (rbM) from axiom (M-iv.), with x = y k(i) , y = y p(i) , z = y p(i)−2 and w = y p(i)−1 , and using ( 15) and ( 16), we obtain Taking ( 13) into account, we find that lim sup By (rbM) from axiom (M-iv.), with x = y k(i) , y = y p(i) , z = y k(i)+1 and w = y p(i)+1 , and using ( 15) and ( 16), we obtain Letting i → ∞ in (19) and using ( 13), we have Since ψ(d , by (10), we conclude that where and Taking the upper limit as i → ∞ in (22), respectively (23), and using ( 13) and ( 18), we obtain lim sup respectively lim sup Now, by (20) and the equality ψ Taking the limit as i → ∞ in (21), and using ( 16), ( 24) and ( 25), we have Due to the fact that ϕ ∈ E , we conclude that lim inf Therefore, by properties of ϕ, which is a contradiction with respect to (15), so {y n } is an Rb-Cauchy sequence in (X, d).By the Rb-completeness of (X, d), this implies that {y n } has a limit point u ∈ X or, equivalently, lim n→∞ d(y n , u) = 0.
Suppose that u = f (u).Then, from Lemma 1, we obtain So, the above holds unless d(u, f (u)) = 0; that is, u = f (u) and u is a fixed point of f .A contractive condition given by ( 10) is commonly known as a generalized almost contraction.This type of contractive condition ensures the existence of a fixed point of a map that need not be continuous, like in Kannan's theorem.There exist several other examples of contractive conditions that are closely connected to the notion of almost contractiveness.Studies indicate that, if we consider a specific type of metric space endowed with a partial order, we can modify the requirements imposed on the implicit functions ψ and ϕ that define the contractive condition.
As a direct consequence of Theorem 4, we can derive a fixed-point theorem for mappings that fulfill contractive conditions of integral type.This result holds in any complete rectangular b-metric space equipped with a partial order.In line with the terminology used in the paper by Branciari [37], we denote by L the set of all functions Ł : [0, ∞) → [0, ∞] which satisfy the following properties: (I-i.) The map Ł is Lebesque-integrable, i.e., Ł is summable on each compact subset of [0, ∞); (I-ii.)Ł(x) ≥ 0 for all x ∈ [0, ∞); (I-iii.) ε 0 Ł(s)ds > 0 for each ε > 0.
We state and prove the following result.Theorem 5. Let (X, d, ) be a partial ordered rectangular b-metric space with coefficient s, with s ≥ 1 a given real number.Let f : X → X be an isotone mapping such that (IT-i.) There exists x 0 ∈ X such that x 0 f (x 0 ); (IT-ii.)There exist Ł ∈ L, ψ ∈ S and ϕ ∈ E and L ∈ (0, ∞) such that Hence, we have the contractive condition given by (10).Therefore, by Theorem 4 we can conclude that f has a fixed point in X.

Conclusions
In this article, we establish a fixed-point theorem in the setting of complete rectangular b-metric spaces endowed with a partial order.We note that several consequences can be obtained from the main result.As another remark, note that the partial order implies a relaxation of contractiveness.As a continuation of this work we indicate the extension of these results to the case of nonself mappings.
y p = lim n→∞ d y n , y p for all p ∈ N.