# Cyclic Mappings and Further Results in B-Metric-Like Spaces

Authors: Shengquan Weng; Quanxin Zhu; Baoying Du; Kaibo Shi
Journal: Complexity
 (2021)

---

## Abstract

Fixed point problem of many mappings has been widely studied in the research work of fixed point theory. The generalized metric space is one of the research objects of fixed point theory. B-metric-like space is one of the generalized metric spaces; in fact, the research work in B-metric-like spaces is attractive. The intention of this paper is to introduce the concept of other cyclic mappings, named asLβ-type cyclic mappings in the setting of B-metric-like space, study the existence and uniqueness of fixed point problem of Lβ-type cyclic mapping, and obtain some new results in B-metric-like spaces. Furthermore, the main results in this paper are illustrated by a concrete example. The work of this paper extend and promote the previous results in B-metric-like spaces.


---

## Body

## 1. Introduction

The fixed point theory is well known, and it is a very important branch of mathematics. In fact, the research of fixed point theory plays an important role in many aspects, especially in nonlinear analysis. In general, nonlinear analysis is a basic theory and method to deal with nonlinear problems from the perspective of mathematics. The nonlinear analysis is based on Banach space, Hilbert space, Sobolev space, paracompact space and unit decomposition, the properties of△-Laplacian operator, the regularization theory of elliptic equation, Bochner integrability and vector value distribution, etc. It mainly includes topological degree theory and its application, convex analysis and optimization, monotone operator theory, variation and critical point theory, and branching theory. The category of fixed point theory is extensive. It is well known that, in 1922, Banach [1] published an essay, which became a classic work. Under the frame of metric space, the existence and uniqueness of a fixed point in terms of self-contractive mapping are studied. The Banach contraction principle is a classic result. It is an important tool in metric space theory. There are many extension of metric spaces, such as B-metric space [2], metric-like space [3], extended B-metric space [4], controlled metric-type space [5], double controlled metric-type space [6], double controlled metric-like space [7], probabilistic B-metric space [8], S-metric space [9, 10], and partial B-metric space [11]. In 2013, Alghamdi et al. [12] generalized the notion of three metric spaces, that is, B-metric space, metric-like space, and partial metric space. Based on this research work, they introduced the concept of an other special metric space and named it as B-metric-like space; furthermore, they established the theorems of existence and uniqueness of fixed points in this space. In 2018, Jleli and Samet [13] introduced the concept of F-metric space, which generalized the notion of metric spaces. A natural topology τF was defined in F-metric spaces, and they studied their topological properties. At the same time, they established a new version of Banach contraction principle in the setting of F-metric spaces. In order to illustrate their research, several examples were presented.Definition 1 (see [13]).
LetX be a nonempty set. Suppose that d:X×X⟶0,+∞ is a given mapping. Assume that there exist f,α∈F×0,+∞ such that the following three properties are satisfied:(d1)
x,y∈X×X,dx,y=0⟺x=y.(d2)
dx,y=dy,x for all x,y∈X×X.(d3)
For eachx,y∈X×X and for every N∈ℕ,N≥2, and for each uiiN⊂X, with u1,uN=x,y, we get(1)dx,y>0⟹fdx,y≤f∑i=1N−1Dxi,xi+1+α.
D is said to be an F metric on X, and the pair X,D is called an F-metric space.
From Definition1, assume that F denotes the set of continuous function f, and the function f:0,+∞⟶R which satisfies some conditions is concretely given as follows:(F1)
f is nondecreasing; in detail, 0<s<t⟹fs≤ft.(F2)
limn⟶∞αn=0 if and only if limn⟶∞fαn=−∞ for every sequence tn⊆R+.
In fact, for the certain basic properties for the metric space, such as its third properties, it was modified with the set of continuous function F, for example, (d3) in Definition1. Generalization work of metric spaces is important for fixed point theory. On the other hand, the extension of many mappings also is an important work. A generation of Banach contraction mapping, which appeared in F-metric spaces, was proposed and some coincident fixed point results were established as follows.Theorem 1.
Assume thatX,D is an F-metric space, and let F:X⟶X be a given mapping that satisfies the following conditions:(i)
The pair (X, D) isF-complete.(ii)
There existsk∈0,1 which implies that(2)DFx,Fy≤kDx,y.Then,F has a unique fixed point x∗∈X. Moreover, for any x0∈X,n∈ℕ, the sequence xn⊂X defined by(3)xn+1=FxnisF-convergent to x∗.Likely, the concept ofα−ψ-contraction, which appeared in F-metric spaces [14], was considered; in addition, an interesting and important fixed point result was obtained as follows.Theorem 2.
Assume thatX,D is an F-metric space, and let the symbol F:X⟶X be a β-admissible mapping and the following conditions are satisfied:(i)
The pair (X, D) isF-complete.(ii)
There exist two functionsβ:X×X⟶0,+∞ and ψ∈Ψ such that(4)βx,yDFx,Fy≤ψMx,y,where(5)Mx,y=maxDx,y,Dx,Fx,Dy,Fy,forx,y∈X.(iii)
There existx0∈X such that βx0,Fx0.Then, the mapping F contains a unique fixed pointx∗∈X.In 1969, Kannan [15] published an article, and some important results were obtained; the concept of Kannan mapping is introduced in this article. In 2003, Kirk et al. published a paper, and the intention of this paper is to introduce an important notion, that is, cyclic contraction mapping [16]. In 2010, Karapinar and Erhan [17] published an article, and they proposed a new concept and named it as Kannan-type cyclic mapping; then, they established some fixed point theorems. In 2018, Weng et al. published some articles, and the concept of LW-type Lipschitz cyclic mapping was proposed in the setting of B-metric-like space, and they got some fixed point results under certain suitable conditions. In 2019, Weng et al. published a paper, and a new cyclic mapping concept was proposed, that is, the general LW-type cyclic mapping, and some interesting results were obtained in some proper conditions. In 2020, Weng et al. also published an article, and in this article, a new kind of cyclic mapping was given and some meaningful results were obtained under some suitable conditions. In 2021, a new cyclic mapping was studied by Weng et al. and they called it as φ-type cyclic mapping [18]; some fixed point results from 2018 to 2021 can also be found in [18]. On the other hand, Huang et al. [19] in 2021 introduced the concept of F-contraction and established some fixed point theorems for such contractions in B-metric spaces. Thus, it can be seen that the generalization of research work of metric space and the extended research work of many kinds of mappings in different generalized metric spaces are simultaneous. In particular, it is essential to verify the applicability of Banach contraction mapping in every generalized metric spaces.Through the continuous efforts of mathematical researchers in mathematical research, from the perspective of history, we can see further development of fixed point theory. In fact, it is a fascinating research hot spot to discuss and study the fixed point problem of new mapping in generalized metric space. Many researchers continue to explore the three basic properties of metric space, and they focus on nonnegativity, symmetry, and triangle inequality of metric spaces, take some examples of specific functions in some (two or three) dimensional spaces to show the reasonability of newly defined generalized metric spaces, and extend some classical conclusions to these newly defined generalized metric spaces. It is even very attractive for us to propose more new content according to the structure of some of these generalized metric spaces.The research work for cyclic mappings is continuous and a series of works. The research content of this paper also belongs to the continuation of this series. In fact, the research work involving cyclic mapping is important, and it is not over yet. There is some research work that can be done. Inspired and encouraged by earlier research work [4, 8, 11, 20, 21], another new cyclic mapping concept is proposed in this paper, that is, Lβ-type cyclic mapping (Definition 7 of Section 2). Moreover, the main results of this paper will be presented.


## 2. Preliminaries

The concept of B-metric-like space has been mentioned in Section1; now the details of its definition will be presented as follows.Definition 2 (see [12]).
A B-metric-like space on a nonempty setX is a function r:X×X⟶0,+∞ such that for all x,y,z∈X and a constant s≥1, the following three conditions hold true:r1 If rx,y=0⟹x=y.r2rx,y=ry,x.r3rx,y≤srx,z+rz,y.
The pairX,r is called a B-metric-like space.
In fact, letX=0,+∞, suppose that the function r:X×X⟶0,∞ is the metric function, it can be defined concretely by rx,y=x+y4, and it is easy to show the fact that conditions (r1) and (r2) also are satisfied. On the other hand, for arbitrary x,y,z∈X,(6)rx,y=x+y4≤x+z+z+y4=x+z2+z+y2+2x+zz+y2=x+z4+z+y4+6x+z2z+y2+4x+z2+z+y2x+zz+y≤x+z4+z+y4+3x+z4+z+y4+2x+z2+z+y2≤6x+z4+6z+y4+4x+z2z+y2≤8x+z4+z+y4=8rx,z+rz+y,so (r3) also holds. Then, it is obvious that X,r is a B-metric-like space with the parameter s = 8. Next, the definition of convergence, completeness, Cauchy sequence, and so on is given in a B-metric-like space.Definition 3 (see [12]).
LetX,r be a B-metric-like space. Suppose that xn is a sequence of points of X. A point x∈X is said to be the limit of the sequence xn if limn⟶∞rx,xn=rx,x, and we say that the sequence xn is convergent to x and denote it by xn⟶x as n⟶∞.Definition 4 (see [12]).
LetX,r be a B-metric-like space. A sequence xn is called Cauchy if and only if limn⟶∞rxn,xm exists and is finite. A B-metric-like space X,r is said to be complete if and only if every Cauchy sequence xn in X converges to x∈X so that limm,n⟶∞rxn,xm=rx,x=limn⟶∞rxn,x.Definition 5 (see [12]).
LetG1,G2 be nonempty sets of metric space; if BG1⊂G2 and SG2⊂G1, then the mapping B,S:G1×G2⟶G2×G1 is called as a pair semicyclic mapping, where B is said to be a lower semicyclic mapping and S is said to be a upper semicyclic mapping. If B=S, then B is said to be a cyclic mapping.Definition 6 (see [22]).
If≺ is partially ordered in B-metric-like spaces X,r, then X,r,≺ is a partially ordered B-metric-like space.
The definition ofLβ-type cyclic mapping is given as follows.Definition 7.
LetX,r be a B-metric-like space. Assume that G1 and G2 are nonempty closed two subsets of X. If B,S is a pair semicyclic mapping in G1×G2, there exists γ,δ,L,β, and γ,δ,L,β are certain real nonnegative numbers, and L≤β,γ+δ=β,β∈0,1 such that for all x∈G1,y∈G2, the following inequality is satisfied:(7)rBx,Sy≤Lβrx,y−Mx,y,where Mx,y=maxδry,Sy,γrx,Bx. Thus, B,S is called a Lβ-type cyclic mapping.
What calls for special attention is that theLβ-type cyclic mapping is a W-type cyclic mapping while β=1, and the expression of Lβ-type cyclic mapping is different from the W-type cyclic mapping, and the expression of Lβ-type cyclic mapping is further promotion of W-type cyclic mapping; then, it is innovative.


## 3. Fixed Point Results

The main content of this article is to research the fixed point problem of a new mapping. In this section, some main results forLβ-type cyclic mapping are given under some suitable conditions.Theorem 3.
Assume thatX,r is a B-metric-like space and X,r is complete. Suppose that B,S is a Lβ-type cyclic mapping, and G1 and G2 are nonempty closed two subsets of X, G1∩G2≠∅. Let p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ and p<1/s. Then, there exists a unique z and z∈G1∩G2 such that Bz=z=Sz. In other words, the mappings B and S have a unique common fixed point.Proof.
Let the sequencezn be defined in the following manner:(8)z0∈G1,z1=Bz0,z2=Sz1,z3=Bz2,z4=Sz3,…,z2n+1=Bz2n,z2n+2=Sz2n+1,…,n≥0.Step 1.
The first step is to show thatzn is a Cauchy sequence. Through the Definition 7, this shows that(9)Lβrz0,z1−Mz0,z1≥rBz0,Sz1,that is,(10)Lβrz0,z1−Mz0,z1≥rz1,z2.
BecauseMx,y=maxδry,Sy,γrx,Bx, this is obvious, and it needs to be discussed case by case.
WhileMz0,z1=γrz0,Bz0=γrz0,z1, it shows by (10) that(11)Lβrz0,z1−γrz0,z1≥rz1,z2,that is,(12)Lβ−γrz0,z1≥rz1,z2.
In fact,γ+δ=β, and this implies that(13)rz1,z2≤Lδrz0,z1.
WhileMz0,z1=δrz1,Sz1=δrz1,z2, this show that(14)Lβrz0,z1−δrz1,z2≥rz1,z2,after appropriate transformation can be obtained, that is,(15)rz1,z2≤Lβ1+Lδrz0,z1.
BecauseLβrz2,z1−Mz2,z1≥rBz2,Sz1=rz3,z2, it follows the above discussion.
WhileMz2,z1=γrz2,Bz2=γrz2,z3, it shows that(16)Lβrz2,z1−γrz2,z3≥rz3,z2,and after appropriate transformation, the following can be obtained:(17)rz3,z2=rz2,z3≤Lβ1+Lγrz2,z1=Lβ1+Lγrz1,z2,that is,(18)rz2,z3≤Lβ1+Lγrz1,z2.
WhileMz2,z1=δrz1,Sz1=δrz1,z2, this implies that(19)Lβrz2,z1−δrz1,z2≥rz3,z2,and after appropriate transformation can be obtained, by γ+δ=β, we can get(20)rz2,z3≤Lγrz1,z2.
SinceL≤β,γ+δ=β,β∈0,1,(21)0<Lδ<1,0<Lγ<1,0<Lβ1+Lγ<1,0<Lβ1+Lδ<1.
Becausep=maxLδ,Lγ,Lβ/1+Lγ,Lβ/1+Lδ, it shows that p∈0,1. By virtue of (13)–(20), this implies that(22)rz2,z3≤prz1,z2≤p2rz0,z1.
Repeat the above work over and over again, so as to get(23)rzn,zn+1≤pnrz0,z1,∀n∈N.
Furthermore, for arbitrarym,n∈N, and n≤m, we have(24)rzn,zm≤srzn,zn+1+srzn+1,zm≤srzn,zn+1+s2rzn+1,zn+2+s2rzn+2,zm≤spnrz0,z1+s2pn+1rz0,z1+⋯+sm−npm−1rz0,z1≤spn+s2pn+1+⋯+sm−npm−1rz0,z1=1−spm−n1−spspnrz0,z1≤11−sppn−1rz0,z1.
Sincep<1/s, from (24) and letting n⟶∞, we get that(25)limn⟶∞rzn,zm=0.
By (25), it shows that zn is a Cauchy sequence.Step 2.
SinceG1∩G2≠∅, X,r is complete, so it is easy to know that there exists a point z∈X such that(26)zn⟶zn⟶∞.
Then, it shows that(27)z2n⟶z;z2n+1⟶zn⟶∞.
Becausez2n⊂G1, z2n+1⊂G2, and G1,G2 are closed, then(28)z∈G1∩G2.Step 3.
Next, the fact that a pointz is a common fixed point of the mapping S and B will be proved in this step. Since B,S is a Lβ-type cyclic mapping, the following inequality is easy to obtain:(29)rBz,Sz≤Lβrz,z−Mz,z.
Now, it needs to be discussed case by case.
WhileMz,z=γrz,Bz, it shows that(30)rBz,Sz≤Lβrz,z−γrz,Bz,that is,(31)rBz,Sz+Lγrz,Bz≤Lβrz,z,
Based on the equalitylimn,m⟶∞rzn,zm=rz,z and making use of (25) and (31), we can get(32)rBz,z=0.
Conditions of Definition7 are considered, and it shows that(33)z=Bz.
WhileMz,z=δrz,Sz, this shows that(34)rBz,Sz≤Lβrz,z−δrz,Sz,that is,(35)rBz,Sz+Lδrz,Sz≤Lβrz,z.
Sincelimn,m⟶∞rzn,zm=rz,z and making use of equality (25) and inequality (35), it implies that(36)rSz,z=0.
By virtue of the condition of Definition7, it shows that(37)z=Sz.
By (33) and (37), it implies that(38)Bz=z=Sz.Step 4.
In this step, the fact thatB and S have a unique common fixed point will be fully proved. Now, suppose that z∗,z∈X are two different common fixed points for the pair B and S in X,r. So, making use of Definition 7 and (38), we have(39)rBz,Sz∗≤Lβrz,z∗−Mz,z∗.
Discussion is presented next.
WhileMz,z∗=γrz,Bz=γrz,z, it shows that(40)rBz,Sz∗≤Lβrz,z∗−γrz,Bz,(41)rz,z∗≤Lβrz,z∗−γrz,z,(42)rz,z∗≤Lβrz,z∗−Lγrz,z,(43)rz,z∗+Lγrz,z≤Lβrz,z∗.
WhileMz,z∗=δrz∗,Bz∗=δrz∗,z∗, it shows that(44)rBz,Sz∗≤Lβrz,z∗−δrz∗,z∗,(45)rz,z∗≤Lβrz,z∗−δrz∗,z∗,(46)rz,z∗≤Lβrz,z∗−Lδrz∗,z∗,(47)rz,z∗+Lγrz∗,z∗≤Lβrz,z∗.
From Definition7 and formulas (25), (43), and (47), these show that (48)rz,z∗≤Lβrz,z∗.
SinceL≤β,β∈0,1, L,β are nonnegative real constants, it shows that Lβ≤1. In fact, through inequality (48), it is easy to know that Lβ≥1, and this is a contradiction. Thus,(49)rz,z∗=0.
That is,(50)z=z∗.
This completes the proof.
In Section2, the definition of the partially ordered B-metric-like space is given, and then the result of Theorem 3 is extended to this partially ordered B-metric-like space, and thus the following corollary can be obtained.Corollary 1.
Assume thatX,r is a partially ordered B-metric-like space and X,r is complete. Suppose that B,S is a Lβ-type cyclic mapping, and G1 and G2 are nonempty closed two subsets of X, G1∩G2≠∅. Let p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ and p<1/s. Then, there exists a unique z∈G1∩G2 such that Bz=z=Sz. In other words, the mappings B and S have a unique common fixed point.Remark 1.
From Definition7 and Theorem 3, when β=1, a Lβ-type cyclic mapping can be seen as a W-type cyclic mapping. In fact, the condition γ+δ=1 is replaced by γ+δ=β. Thus, a W-type cyclic mapping is a special case of Lβ-type cyclic mapping. It is obvious that the Lβ-type cyclic mapping is more extensive than a W-type cyclic mapping. The research extension work involving cyclic mappings and B-metric-like space is important. This set of results will become the part of the basis for discovering more properties in B-metric-like spaces. In order to show the effectiveness of the Lβ-type cyclic mapping, a concrete example is given as follows.


## 4. Example

In this section, a concrete example is given to illustrate the effectiveness of theLβ-type cyclic mapping and show the rationality of the obtained theorems.


### 4.1. Part One

In this part, a concrete B-metric-like space is presented; at the same time, the mappingsB and S are also defined in this part. Based on these preparations, the validity of the definition of the Lβ-type cyclic mapping and the correctness of Theorem 3 are verified.Consider the setX=0,1,2 and let the metric function r:X×X⟶0,+∞ be defined by(51)r0,0=0,r1,1=0,r2,2=1,r0,1=4,r1,0=4,(52)r0,2=2,r2,0=2,r1,2=1,r2,1=1.It is clear thatX,r is a B-metric-like complete space with the constant s=1.4 (see [23]).RecallLβ-type cyclic mapping concept. Assume that G1 and G2 are nonempty closed two subsets of X. If B,S is a pair semicyclic mapping in G1×G2, there exists γ,δ,L,β, γ,δ,L,β are some real nonnegative numbers, and L≤β,γ+δ=β,β∈0,1 such that for all x∈G1,y∈G2, the following inequality is satisfied:(53)rBx,Sy≤Lβrx,y−Mx,y,and we should need to pay attention to the symbol Mx,y, where Mx,y=maxγrx,Bx,δry,Sy. Thus, B,S is called as the Lβ-type cyclic mapping. Then, the mappings B and S are defined by the following way. Let(54)G1=0,1,G2=1,2,G1,G2∈X,(55)B0=2,B1=1,S1=1,S2=1.Next, we explore the existence and uniqueness of fixed points forB and S under the corresponding conditions of Definition 7 and Theorem 3 in a concrete, complete B-metric-like space. In fact, when the mappings B and S are concretely defined, it can get four points, that is, rx,y should be r0,1,r0,2,r1,1,r1,2.Thus, some concrete calculation will be shown as follows.Situation 1.
If we chooserx,y=r0,1=4, then(56)rB0,S1≤Lβr0,1−M0,1,that is,(57)r2,1≤Lβr0,1−M0,1.
In fact,(58)1≤L4β−M0,1,where(59)M0,1=maxγr0,B0,δr1,S1=maxγr0,2,δr1,1=max2γ,0,and thus it should be discussed case by case.
WhileM0,1=2γ, it can get the inequality(60)1≤L4β−2γ,that is,(61)1≤2Lβ+Lδ.
WhileM0,1=0, it can get the inequality(62)1≤L4β−0,that is,(63)1≤4Lβ.Situation 2.
If we chooserx,y=r0,2=2, then(64)rB0,S2≤Lβr0,2−M0,2,that is,(65)r2,1≤Lβr0,2−M0,2.
In fact,(66)1≤L2β−M0,2,where(67)M0,2=maxγr0,B0,δr2,S2=maxγr0,2,δr2,1=max2γ,δ,and thus it should be discussed case by case.
WhileM0,2=2γ, it can get the inequality(68)1≤L2β−2γ,that is,(69)1≤2Lδ.
WhileM0,2=δ, it can get the inequality(70)1≤L2β−δ,that is,(71)1≤Lβ+Lγ.Situation 3.
If we chooserx,y=r1,1=0, then(72)rB1,S1≤Lβr1,1−M1,1,that is,(73)0≤L0−M1,1,where(74)M1,1=maxγr1,B1,δr1,S1=maxγr1,1,δr1,1=max0,0=0,and thus it should be discussed case by case. In fact, arbitrary value of parameters γ,δ,β,L is true in this situation.Situation 4.
If we chooserx,y=r1,2=1, then(75)rB1,S2≤Lβr1,2−M1,2,that is,(76)r1,1≤Lβr1,2−M1,2.
In fact,(77)0≤Lβ−M1,2,where(78)M1,2=maxγr1,B1,δr2,S2=maxγr1,1,δr1,1=max0,δ,and thus it should be discussed case by case.
WhileM1,2=0, it can get the inequality(79)0≤Lβ.
WhileM1,2=δ, it can get the inequality(80)0≤Lβ−δ,that is,(81)0≤Lγ.


### 4.2. Part Two

In this part, the validity of the conditions of the theorem is verified. Furthermore, three sets of data are used to verify the existence and the rationality of the theorem conditions.Letγ=δ=1/2,β=1,L=1, and take this set of data into the above inequalities of situations 1-4 for verification, and all the inequalities will be true. Because p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ, then p=max1/1.5,0.5,0.5,1/1.5=0.6667. So, sp=1.4×0.6667=0.9334<1. It is easy to know that the condition s<1/p is satisfied.Letγ=0.47,δ=0.52,β=0.99,L=0.98, and take this set of data into the above inequalities of situations 1-4 for verification, and all the inequalities will be true. Because p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ, then p=max0.98×0.99/1+0.98×0.52,0.98×0.52,0.98×0.47,0.98×0.99/1+0.98×0.47=0.6642. So, sp=1.4×0.6642=0.9299<1. It is obvious that the condition s<1/p is satisfied.Letγ=0.45,δ=0.53,β=0.98,L=0.96, and take this set of data into the above inequalities of situations I–4 for verification, and all the inequalities will be true. Because p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ, then p=max0.96×0.98/1+0.96×0.53,0.96×0.53,0.96×0.45,0.96×0.98/1+0.96×0.45=0.65698. So, sp=1.4×0.65698=0.9198<1. It is easy to verify the fact that the condition s<1/p is satisfied.Overall, after concrete data validation above, becauseG1 and G2 are two nonempty closed subsets in X,r, B and S have a unique common fixed point. Therefore, it is verified by an example to show that the theorem holds.


## 4.1. Part One

In this part, a concrete B-metric-like space is presented; at the same time, the mappingsB and S are also defined in this part. Based on these preparations, the validity of the definition of the Lβ-type cyclic mapping and the correctness of Theorem 3 are verified.Consider the setX=0,1,2 and let the metric function r:X×X⟶0,+∞ be defined by(51)r0,0=0,r1,1=0,r2,2=1,r0,1=4,r1,0=4,(52)r0,2=2,r2,0=2,r1,2=1,r2,1=1.It is clear thatX,r is a B-metric-like complete space with the constant s=1.4 (see [23]).RecallLβ-type cyclic mapping concept. Assume that G1 and G2 are nonempty closed two subsets of X. If B,S is a pair semicyclic mapping in G1×G2, there exists γ,δ,L,β, γ,δ,L,β are some real nonnegative numbers, and L≤β,γ+δ=β,β∈0,1 such that for all x∈G1,y∈G2, the following inequality is satisfied:(53)rBx,Sy≤Lβrx,y−Mx,y,and we should need to pay attention to the symbol Mx,y, where Mx,y=maxγrx,Bx,δry,Sy. Thus, B,S is called as the Lβ-type cyclic mapping. Then, the mappings B and S are defined by the following way. Let(54)G1=0,1,G2=1,2,G1,G2∈X,(55)B0=2,B1=1,S1=1,S2=1.Next, we explore the existence and uniqueness of fixed points forB and S under the corresponding conditions of Definition 7 and Theorem 3 in a concrete, complete B-metric-like space. In fact, when the mappings B and S are concretely defined, it can get four points, that is, rx,y should be r0,1,r0,2,r1,1,r1,2.Thus, some concrete calculation will be shown as follows.Situation 1.
If we chooserx,y=r0,1=4, then(56)rB0,S1≤Lβr0,1−M0,1,that is,(57)r2,1≤Lβr0,1−M0,1.
In fact,(58)1≤L4β−M0,1,where(59)M0,1=maxγr0,B0,δr1,S1=maxγr0,2,δr1,1=max2γ,0,and thus it should be discussed case by case.
WhileM0,1=2γ, it can get the inequality(60)1≤L4β−2γ,that is,(61)1≤2Lβ+Lδ.
WhileM0,1=0, it can get the inequality(62)1≤L4β−0,that is,(63)1≤4Lβ.Situation 2.
If we chooserx,y=r0,2=2, then(64)rB0,S2≤Lβr0,2−M0,2,that is,(65)r2,1≤Lβr0,2−M0,2.
In fact,(66)1≤L2β−M0,2,where(67)M0,2=maxγr0,B0,δr2,S2=maxγr0,2,δr2,1=max2γ,δ,and thus it should be discussed case by case.
WhileM0,2=2γ, it can get the inequality(68)1≤L2β−2γ,that is,(69)1≤2Lδ.
WhileM0,2=δ, it can get the inequality(70)1≤L2β−δ,that is,(71)1≤Lβ+Lγ.Situation 3.
If we chooserx,y=r1,1=0, then(72)rB1,S1≤Lβr1,1−M1,1,that is,(73)0≤L0−M1,1,where(74)M1,1=maxγr1,B1,δr1,S1=maxγr1,1,δr1,1=max0,0=0,and thus it should be discussed case by case. In fact, arbitrary value of parameters γ,δ,β,L is true in this situation.Situation 4.
If we chooserx,y=r1,2=1, then(75)rB1,S2≤Lβr1,2−M1,2,that is,(76)r1,1≤Lβr1,2−M1,2.
In fact,(77)0≤Lβ−M1,2,where(78)M1,2=maxγr1,B1,δr2,S2=maxγr1,1,δr1,1=max0,δ,and thus it should be discussed case by case.
WhileM1,2=0, it can get the inequality(79)0≤Lβ.
WhileM1,2=δ, it can get the inequality(80)0≤Lβ−δ,that is,(81)0≤Lγ.


## 4.2. Part Two

In this part, the validity of the conditions of the theorem is verified. Furthermore, three sets of data are used to verify the existence and the rationality of the theorem conditions.Letγ=δ=1/2,β=1,L=1, and take this set of data into the above inequalities of situations 1-4 for verification, and all the inequalities will be true. Because p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ, then p=max1/1.5,0.5,0.5,1/1.5=0.6667. So, sp=1.4×0.6667=0.9334<1. It is easy to know that the condition s<1/p is satisfied.Letγ=0.47,δ=0.52,β=0.99,L=0.98, and take this set of data into the above inequalities of situations 1-4 for verification, and all the inequalities will be true. Because p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ, then p=max0.98×0.99/1+0.98×0.52,0.98×0.52,0.98×0.47,0.98×0.99/1+0.98×0.47=0.6642. So, sp=1.4×0.6642=0.9299<1. It is obvious that the condition s<1/p is satisfied.Letγ=0.45,δ=0.53,β=0.98,L=0.96, and take this set of data into the above inequalities of situations I–4 for verification, and all the inequalities will be true. Because p=maxLβ/1+Lδ,Lδ,Lγ,Lβ/1+Lγ, then p=max0.96×0.98/1+0.96×0.53,0.96×0.53,0.96×0.45,0.96×0.98/1+0.96×0.45=0.65698. So, sp=1.4×0.65698=0.9198<1. It is easy to verify the fact that the condition s<1/p is satisfied.Overall, after concrete data validation above, becauseG1 and G2 are two nonempty closed subsets in X,r, B and S have a unique common fixed point. Therefore, it is verified by an example to show that the theorem holds.


## 5. Conclusions

A special note is needed. In fact, B-metric-like space is one of the generalized metric spaces, and certain related research work in different generalized metric spaces for promotion is very important. Some research work about cyclic mappings under the B-metric-like space frame is presented in this paper. TheLβ-type cyclic mapping proposed in this paper is discussed and researched, and the corresponding fixed point theorems are obtained. The correctness of the theoretical results is verified by a concrete real example. The correctness of the main results in this paper has been verified and is correct. Actually, Lβ-type cyclic mappings are not difficult to find to become a W-type cyclic mapping while β=1. Thus, the Lβ-type cyclic mapping is more extensive than a W-type cyclic mapping. Before this, phi-type cyclic mapping, W-type cyclic mapping [21], and some other cyclic mappings have been proposed and studied by us under the frame of B-metric-like spaces; when these cyclic mappings were further studied and extended, some fixed point theorems were obtained. In fact, these research works in B-metric spaces are beneficial to the further enrichment of B-metric-like space theory Of course, the current research work is not deep; in fact, some of the conditions presented in these research papers may be able to be further adjusted and optimized; as for the follow-up research, we will do our best. Also, it is interesting to apply our results to network systems [24, 25] and stochastic differential equation [26].



---

*Source: 3866965-2021-12-26.xml*