In recent years, fossil fuel resources have become increasingly rare and caused a variety of problems, with a global impact on economy, society and environment. To tackle this challenge, we must promote the development and diffusion of alternative fuel technologies. The use of cleaner fuels can reduce not only economic cost but also the emission of gaseous pollutants that deplete the ozone layer and accelerate global warming. To select an optimal alternative fuel, different fuzzy decision analysis methodologies can be utilized. In comparison to other extensions of fuzzy sets, the T-spherical fuzzy set is an emerging tool to cope with uncertainty by quantifying acceptance, abstention and rejection jointly. It provides a general framework to unify various fuzzy models including fuzzy sets, picture fuzzy sets, spherical fuzzy sets, intuitionistic fuzzy sets, Pythagorean fuzzy sets and generalized orthopair fuzzy sets. Meanwhile, decision makers prefer to employ linguistic terms when expressing qualitative evaluation in real-life applications. In view of these facts, we develop an extended multi-attributive border approximation area comparison (MABAC) method for solving multiple attribute group decision-making problems in this study. Firstly, the combination of T-spherical fuzzy sets with 2-tuple linguistic representation is presented, which provides a general framework for expressing and computing qualitative evaluation. Secondly, we put forward four kinds of 2-tuple linguistic T-spherical fuzzy aggregation operators by considering the Heronian mean operator. We investigate some fundamental properties of the proposed 2-tuple linguistic T-spherical fuzzy aggregation operators. Lastly, an extended MABAC method based on the 2-tuple linguistic T-spherical fuzzy generalized weighted Heronian mean and the 2-tuple linguistic T-spherical fuzzy weighted geometric Heronian mean operators is developed. For illustration, a case study on fuel technology selection with 2-tuple linguistic T-spherical fuzzy information is also conducted. Moreover, we show the validity and feasibility of our approach by comparing it with several existing approaches.
Citation: Muhammad Akram, Sumera Naz, Feng Feng, Ghada Ali, Aqsa Shafiq. Extended MABAC method based on 2-tuple linguistic T-spherical fuzzy sets and Heronian mean operators: An application to alternative fuel selection[J]. AIMS Mathematics, 2023, 8(5): 10619-10653. doi: 10.3934/math.2023539
[1] | Qing Yang, Chuanzhi Bai . Fixed point theorem for orthogonal contraction of Hardy-Rogers-type mapping on O-complete metric spaces. AIMS Mathematics, 2020, 5(6): 5734-5742. doi: 10.3934/math.2020368 |
[2] | Abdullah Shoaib, Tahair Rasham, Giuseppe Marino, Jung Rye Lee, Choonkil Park . Fixed point results for dominated mappings in rectangular b-metric spaces with applications. AIMS Mathematics, 2020, 5(5): 5221-5229. doi: 10.3934/math.2020335 |
[3] | Seher Sultan Yeşilkaya, Cafer Aydın, Adem Eroǧlu . Fixed point results on ordered Prešić type mappings. AIMS Mathematics, 2020, 5(5): 5140-5156. doi: 10.3934/math.2020330 |
[4] | Aftab Hussain . Fractional convex type contraction with solution of fractional differential equation. AIMS Mathematics, 2020, 5(5): 5364-5380. doi: 10.3934/math.2020344 |
[5] | Muhammad Tariq, Muhammad Arshad, Mujahid Abbas, Eskandar Ameer, Saber Mansour, Hassen Aydi . A relation theoretic m-metric fixed point algorithm and related applications. AIMS Mathematics, 2023, 8(8): 19504-19525. doi: 10.3934/math.2023995 |
[6] | Yue Wang, Ghulam Farid, Babar Khan Bangash, Weiwei Wang . Generalized inequalities for integral operators via several kinds of convex functions. AIMS Mathematics, 2020, 5(5): 4624-4643. doi: 10.3934/math.2020297 |
[7] | Mourad Berraho . On a problem concerning the ring of Nash germs and the Borel mapping. AIMS Mathematics, 2020, 5(2): 923-929. doi: 10.3934/math.2020063 |
[8] | Chen Lang, Hongyan Guan . Common fixed point and coincidence point results for generalized α-φE-Geraghty contraction mappings in b-metric spaces. AIMS Mathematics, 2022, 7(8): 14513-14531. doi: 10.3934/math.2022800 |
[9] | Awais Asif, Sami Ullah Khan, Thabet Abdeljawad, Muhammad Arshad, Ekrem Savas . 3D analysis of modified F-contractions in convex b-metric spaces with application to Fredholm integral equations. AIMS Mathematics, 2020, 5(6): 6929-6948. doi: 10.3934/math.2020444 |
[10] | Faiz Muhammad Khan, Weiwei Zhang, Hidayat Ullah Khan . Double-framed soft h-semisimple hemirings. AIMS Mathematics, 2020, 5(6): 6817-6840. doi: 10.3934/math.2020438 |
In recent years, fossil fuel resources have become increasingly rare and caused a variety of problems, with a global impact on economy, society and environment. To tackle this challenge, we must promote the development and diffusion of alternative fuel technologies. The use of cleaner fuels can reduce not only economic cost but also the emission of gaseous pollutants that deplete the ozone layer and accelerate global warming. To select an optimal alternative fuel, different fuzzy decision analysis methodologies can be utilized. In comparison to other extensions of fuzzy sets, the T-spherical fuzzy set is an emerging tool to cope with uncertainty by quantifying acceptance, abstention and rejection jointly. It provides a general framework to unify various fuzzy models including fuzzy sets, picture fuzzy sets, spherical fuzzy sets, intuitionistic fuzzy sets, Pythagorean fuzzy sets and generalized orthopair fuzzy sets. Meanwhile, decision makers prefer to employ linguistic terms when expressing qualitative evaluation in real-life applications. In view of these facts, we develop an extended multi-attributive border approximation area comparison (MABAC) method for solving multiple attribute group decision-making problems in this study. Firstly, the combination of T-spherical fuzzy sets with 2-tuple linguistic representation is presented, which provides a general framework for expressing and computing qualitative evaluation. Secondly, we put forward four kinds of 2-tuple linguistic T-spherical fuzzy aggregation operators by considering the Heronian mean operator. We investigate some fundamental properties of the proposed 2-tuple linguistic T-spherical fuzzy aggregation operators. Lastly, an extended MABAC method based on the 2-tuple linguistic T-spherical fuzzy generalized weighted Heronian mean and the 2-tuple linguistic T-spherical fuzzy weighted geometric Heronian mean operators is developed. For illustration, a case study on fuel technology selection with 2-tuple linguistic T-spherical fuzzy information is also conducted. Moreover, we show the validity and feasibility of our approach by comparing it with several existing approaches.
Fixed point results have a crucial role to construct methods for solving problems in applied mathematics and other sciences. A large number of mathematicians have focused on this interesting topic. The Banach contraction mapping principle is the most important result in fixed point theory. It is considered the source of metric fixed point theory. Metric spaces form a natural environment for exploring fixed points of single and multivalued mappings which can be noted to Banach contraction principle [7], that is, a very interesting useful and pivotal result in fixed point theory. The important feature of the Banach contraction principle is that it gives the existence, uniqueness and the covergence of the sequence of the successive approximation to a solution of the problem. Banach contraction principle is generalized in many different ways. Reader can see two short survey of the development of fixed point theory in [15,18].
Recently, Samet et al. [24] introduced the notions of α-ψ-contractive mappings and α-admissible mappings. Also, Alizadeh et al. [2] offered the concept of cyclic (α,β) -admissible mappings and obtain some new fixed point results. For more information on fixed point results, see [1,4,5,8,9,11,12,17,19,20,22,23,25,26].
Definition 1.1. [16] A function φ:[0,+∞)→[0,+∞) is called an altering distance function if the following properties are satisfied:
(i) φ is non-decreasing and continuous,
(ii) φ(t)=0 if and only if t=0.
Definition 1.2. [2] Let f:X→X and α,β:X→[0,+∞). We say that f is a cyclic (α,β)-admissible mapping if
(i) α(x)≥1 for some x∈X implies β(fx)≥1;
(ii) β(x)≥1 for some x∈X implies α(fx)≥1.
Definition 1.3. [14] Let X be a nonempty set and f,T:X→X. The pair (f,T) is said to be weakly compatible if f and T commute at their coincidence points (i.e., fTx=Tfx whenever fx=Tx). A point y∈X is called a point of coincidence of f and T if there exists a point x∈X such that y=fx=Tx.
Following the direction in [10], we denote by Ψ the family of all functions ψ:R4+→R+ such that
(ψ1) ψ is nondecreasing in each coordinate and continuous;
(ψ2) ψ(t,t,t,t)≤t, ψ(t,0,0,t)≤t and ψ(0,0,t,t2)≤t for all t>0;
(ψ3) ψ(t1,t2,t3,t4)=0 if and only if t1=t2=t3=t4=0.
Definition 1.4. [3] A mapping h:R+×R+→R is a function of subclass of type I if x≥1, then h(1,y)≤h(x,y).
Example 1.5. [3] The following are some examples of function of subclass of type I, for all x,y∈R+ and positive integers m,n,
(1) h(x,y)=(y+l)x,l>1;
(2) h(x,y)=(x+l)y,l>1;
(3) h(x,y)=xmy;
(4) h(x,y)=xn+xn−1+⋯+x1+1n+1y;
(5) h(x,y)=(xn+xn−1+⋯+x1+1n+1+l)y,l>1.
Definition 1.6. [3] Suppose that F:R+×R+→R. A pair (F,h) is called an upper class of type I if h is a subclass of type I and
(1) 0≤s≤1⟹F(s,t)≤F(1,t);
(2) h(1,y)≤F(s,t)⟹y≤st.
Example 1.7. [3] The following are some examples of upper class of type I, for all s,t∈R+ and positive integers m,n,
(1) h(x,y)=(y+l)x,l>1,F(s,t)=st+l;
(2) h(x,y)=(x+l)y,l>1,F(s,t)=(1+l)st;
(3) h(x,y)=xmy,F(s,t)=st;
(4) h(x,y)=xn+xn−1+⋯+x1+1n+1y,F(s,t)=st;
(5) h(x,y)=(xn+xn−1+⋯+x1+1n+1+l)y,l>1,F(s,t)=(1+l)st.
Definition 1.8. [3] A mapping h:R+×R+×R+→R is a function of subclass of type II if for x,y≥1, h(1,1,z)≤h(x,y,z).
Example 1.9. [3] The following are some examples of subclass of type II, for all x,y,z∈R+,
(1) h(x,y,z)=(z+l)xy,l>1;
(2) h(x,y,z)=(xy+l)z,l>1;
(3) h(x,y,z)=z;
(4) h(x,y,z)=xmynzp,m,n,p∈N;
(5) h(x,y,z)=xm+xnyp+yq3zk,m,n,p,q,k∈N.
Definition 1.10. [3] Let h:R+×R+×R+→R and F:R+×R+→R. Then we say that the pair (F,h) is called an upper class of type II if h is a subclass of type II and
(1) 0≤s≤1⟹F(s,t)≤F(1,t);
(2) h(1,1,z)≤F(s,t)⟹z≤st.
Example 1.11. [3] The following are some examples of upper class of type II, for all s,t∈R+,
(1) h(x,y,z)=(z+l)xy,l>1,F(s,t)=st+l;
(2) h(x,y,z)=(xy+l)z,l>1,F(s,t)=(1+l)st;
(3) h(x,y,z)=z,F(s,t)=st;
(4) h(x,y,z)=xmynzp,m,n,p∈N,F(s,t)=sptp;
(5) h(x,y,z)=xm+xnyp+yq3zk,m,n,p,q,k∈N,F(s,t)=(st)k.
Definition 1.12. [13] Let f, T:X→X and α,β:X→[0,+∞). We say that f is a T-cyclic (α,β)-admissible mapping if
(i) α(Tx)≥1 for some x∈X implies β(fx)≥1;
(ii) β(Tx)≥1 for some x∈X implies α(fx)≥1.
Example 1.13. [13] Let f,T:R→R be defined by fx=x and Tx=−x. Suppose that α,β:R→R+ are given by α(x)=e−x for all x∈R and β(y)=ey for all y∈R. Then f is a T-cyclic (α,β) admissible mapping. Indeed, if α(Tx)=ex≥1, then x≥0 implies fx≥0 and so β(fx)=efx≥1. Also, if β(Ty)=e−y≥1, then y≤0 which implies fy≤0 and so α(fy)=e−fy≥1.
The following result will be used in the sequel.
Lemma 1.14. [6,21] Let (X,d) be a metric space and {xn} be a sequence in X such that
limn→+∞d(xn,xn+1)=0. |
If {xn} is not a Cauchy sequence in X, then there exist ε>0 and two sequences {m(k)} and {n(k)} of positive integers such that n(k)>m(k)>k and the following sequences tend to ε+ when k→+∞:
d(xm(k),xn(k)),d(xm(k),xn(k)+1),d(xm(k)−1,xn(k)), |
d(xm(k)−1,xn(k)+1),d(xm(k)+1,xn(k)+1). |
In this paper, we introduce new notions of T-cyclic (α,β,H,F)-contractive and T-cyclic (α,β,H,F) -rational contractive using a pair (F,h) upper class functions to obtain new fixed point and common fixed point theorems.
The following definitions will be used efficiently in the proof of main results.
Definition 2.1. Let f, T:X→X and λ,γ:X→[0,+∞). We say that f is a T-cyclic (λ,γ)-subadmissible mapping if
(i) λ(Tx)≤1 for some x∈X implies γ(fx)≤1;
(ii) γ(Tx)≤1 for some x∈X implies λ(fx)≤1.
Definition 2.2. Let (X,d) be a metric space and f be a T-cyclic (α,β)-admissible and T-cyclic (λ,γ)-subadmissible mapping. We say that f is a T-cyclic (α,β,H,F)-contractive mapping if
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(γ(Tx)λ(Ty),η(M(x,y))), | (2.1) |
for all x,y∈X, where
M(x,y)=ψ(d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]) |
for ψ∈Ψ, the pair (F,h) is an upper class of type II, φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0.
Theorem 2.3. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T -cyclic (α,β,H,F)-contractive mapping. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Proof. Let x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1. Define the sequences {xn} and {yn} in X by
yn=fxn=Txn+1, n∈N∪{0}. | (2.2) |
If yn=yn+1, then yn+1 is a point of coincidence of f and T. Suppose that yn≠yn+1 for all n∈N. Since f is a T-cyclic (α,β)-admissible mapping and α(Tx0)≥1, β(fx0)=β(Tx1)≥1 which implies α(Tx2)=α(fx1)≥1. By continuing this process, we get α(Tx2n)≥1 and β(Tx2n+1)≥1 for all n∈N∪{0}. Similarly, since f is a T-cyclic (α,β)-admissible mapping and β(Tx0)≥1, we have β(Tx2n)≥1 and α(Tx2n+1)≥1 for all n∈N∪{0}, that is, α(Txn)≥1 and β(Txn)≥1 for all n∈N∪{0}. Equivalently, α(Txn)β(Txn+1)≥1 for all n∈N∪{0}. Since f is a T-cyclic (λ,γ)-subadmissible mapping and λ(Tx0)≤1, γ(fx0)=γ(Tx1)≤1 which implies λ(Tx2)=λ(fx1)≤1. By continuing this process, we get λ(Tx2n)≤1 and γ(Tx2n+1)≤1 for all n∈N∪{0}. Similarly, since f is a T-cyclic (λ,γ)-admissible mapping and γ(Tx0)≤1, we have γ(Tx2n)≤1 and λ(Tx2n+1)≤1 for all n∈N∪{0}, that is, λ(Txn)≥1 and β(Txn)≥1 for all n∈N∪{0}. Equivalently, λ(Txn)γ(Txn+1)≤1 for all n∈N∪{0}. Therefore, by (2.1) and using (2.2), we get
H(1,1,φ(d(yn,yn+1)))=H(1,1,φ(d(fxn,fxn+1)))≤H(α(Txn),β(Txn+1),φ(d(fxn,fxn+1)))≤F(λ(Txn)γ(Txn+1),η(M(xn,xn+1)))≤F(1,η(M(xn,xn+1))). |
This implies that
φ(d(yn,yn+1))≤η(M(xn,xn+1))<φ(M(xn,xn+1)). | (2.3) |
Since φ is nondecreasing, we have
d(yn,yn+1)<M(xn,xn+1), | (2.4) |
where
M(xn,xn+1)=ψ(d(Txn,Txn+1),d(Txn,fxn),d(Txn+1,fxn+1),12[d(Txn,fxn+1)+d(Txn+1,fxn)])=ψ(d(yn−1,yn),d(yn−1,yn),d(yn,yn+1),12[d(yn−1,yn+1)+d(yn,yn)])≤ψ(d(yn−1,yn),d(yn−1,yn),d(yn,yn+1),12[d(yn−1,yn)+d(yn,yn+1)]). | (2.5) |
Thus, from (2.4), we obtain
d(yn,yn+1)<M(xn,xn+1)≤ψ(d(yn−1,yn),d(yn−1,yn),d(yn,yn+1),12[d(yn−1,yn)+d(yn,yn+1)]). |
If d(yn−1,yn)≤d(yn,yn+1) for some n∈N, then
d(yn,yn+1)<ψ(d(yn−1,yn),d(yn−1,yn),d(yn,yn+1),12[d(yn−1,yn)+d(yn,yn+1)])≤ψ(d(yn,yn+1),d(yn,yn+1),d(yn,yn+1),d(yn,yn+1))≤d(yn,yn+1), |
which is a contradiction and hence d(yn,yn+1)<d(yn−1,yn) for all n∈N. Therefore, the sequence {d(yn,yn+1)} is decreasing and bounded below. Thus, there exists r≥0 such that limn→+∞d(yn,yn+1)=r. Assume r>0. Also, from (2.3), (2.5) and using the properties of ψ, we deduce
φ(d(yn,yn+1))≤η(M(xn,xn+1))≤η(ψ(d(yn−1,yn),d(yn−1,yn),d(yn,yn+1),12[d(yn−1,yn)+d(yn,yn+1)]))≤η(ψ(d(yn−1,yn),d(yn−1,yn),d(yn−1,yn),d(yn−1,yn)))≤η(d(yn−1,yn)). | (2.6) |
Consider the properties of φ and η. Letting n→+∞ in (2.6), we get
φ(r)=limn→+∞φ(d(yn,yn+1))≤limn→+∞η(d(yn−1,yn))=η(r)<φ(r), |
which implies r=0 and so
limn→+∞d(yn,yn+1)=0. | (2.7) |
Now, we prove that {yn} is a Cauchy sequence. Suppose, to the contrary, that {yn} is not a Cauchy sequence. Then, by Lemma 1.14, there exist an ε>0 and two subsequences {ymk} and {ynk} of {yn} with mk>nk>k such that d(ym(k),yn(k))≥ε, d(ym(k)−1,yn(k))<ε and
limk→+∞d(ynk,ymk)=limk→+∞d(ynk−1,ymk)=limk→+∞d(ymk−1,ynk)=limk→+∞d(ymk−1,ynk−1)=ε. | (2.8) |
From (2.1), we get
H(1,1,φ(d(ynk,ymk)))=H(1,1,φ(d(fxnk,fxmk)))≤H(α(Txnk),β(Txmk),φ(d(fx,fy))≤F(λ(Txnk)γ(Txmk),η(M(xnk,xmk)))≤F(1,η(M(x,y))). |
This implies that
φ(d(ynk,ymk))≤η(M(xnk,xmk))<φ(M(xnk,xmk)) | (2.9) |
where
M(xnk,xmk)=ψ(d(Txnk,Txmk),d(Txnk,fxnk),d(Txmk,fxmk),12[d(Txnk,fxmk)+d(Txmk,fxnk)])≤ψ(max{ε,d(ynk−1,ymk−1)},d(ynk−1,ynk),d(ymk−1,ymk),max{ε,12[d(ynk−1,ymk)+d(ymk−1,ynk)]}). |
Now, from the properties of φ,ψ and η and using (2.8) and the above inequality, as k→+∞ in (2.9), we have
φ(ε)≤η(ψ(ε,0,0,ε))≤η(ε)<φ(ε), |
which implies that ε=0, a contradiction with ε>0. Thus, {yn} is a Cauchy sequence in X. From the completeness of (X,d), there exists z∈X such that
limn→+∞yn=z. | (2.10) |
From (2.2) and (2.10), we obtain
fxn→z and Txn+1→z. | (2.11) |
Since TX is closed, by (2.11), z∈TX. Therefore, there exists u∈X such that Tu=z. Since yn→z and β(yn)=β(Txn+1)≥1 for all n∈N, by (ii), β(z)=β(Tu)≥1. Similarly, γ(z)=γ(Tu)≤1. Thus, λ(Txn)γ(Tu)≤1 for all n∈N.
Now, applying (2.1), we get
H(1,1,φ(d(fxn,fu)))≤H(α(Txn),β(Tu),φ(d(fxn,fu))≤F(λ(Txn)γ(Tu),η(M(xn,u)))≤F(1,η(M(xn,u))). |
This implies that
φ(d(fxn,fu))≤η(M(xn,u)), | (2.12) |
where
M(xn,u)=ψ(d(Txn,Tu),d(Txn,fxn),d(Tu,fu),12[d(Txn,fu)+d(Tu,fxn)])≤ψ(d(Txn,Tu),d(Txn,fxn),d(Tu,fu),12max{d(Tu,fu),[d(Txn,fu)+d(Tu,fxn)]}). |
Taking k→∞ in the inequality (2.12) and using the properties of φ,ψ,η and the above inequality, we have
φ(d(z,fu))≤η(ψ(0,0,d(z,fu),12d(z,fu)))≤η(d(z,fu))<φ(d(z,fu)), |
which implies d(z,fu)=0, that is, z=fu. Thus we deduce
z=fu=Tu | (2.13) |
and so z is a point of coincidence for f and T. The uniqueness of the point of coincidence is a consequence of the conditions (2.1) and (iii), and so we omit the details.
By (2.13) and using weakly compatibility of f and T, we obtain
fz=fTu=Tfu=Tz |
and so fz=Tz. Uniqueness of the coincidence point implies z=fz=Tz. Consequently, z is a unique common fixed point of f and T.
Corollary 2.4. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(γ(Tx)λ(Ty),η(M(x,y))) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
M(x,y)=ψ(d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]) |
for ψ∈Ψ. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.5. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(α(Tx)β(Ty)+l)φ(d(fx,fy))≤(1+l)γ(Tx)λ(Ty)η(M(x,y)) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
M(x,y)=ψ(d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]) |
for ψ∈Ψ. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.6. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(φ(d(fx,fy))+l)α(Tx)β(Ty)≤(γ(Tx)λ(Ty)η(M(x,y))+l |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
M(x,y)=ψ(d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]) |
for ψ∈Ψ. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.7. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T -cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(γ(Tx)λ(Ty),η(M(x,y))) | (2.14) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
M(x,y)=max{d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.8. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(α(Tx)β(Ty)+l)φ(d(fx,fy))≤(1+l)γ(Tx)λ(Ty)η(M(x,y)) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
M(x,y)=max{d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.9. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(φ(d(fx,fy))+l)α(Tx)β(Ty)≤γ(Tx)λ(Ty)η(M(x,y))+l |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
M(x,y)=max{d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.10. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping such that
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(1,η(M(x,y))) | (2.15) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
M(x,y)=max{d(Tx,Ty),d(Tx,fx),d(Ty,fy),12[d(Tx,fy)+d(Ty,fx)]}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(Tu)≥1 and β(Tv)≥1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Proof. Take γ(Tx)λ(Ty)=1, for x,y∈X. If we take ψ(t1,t2,t3,t4)=max{t1,t2,t3,t4} in Corollary 2.7, then from (2.15), we have
α(Tx)β(Ty)φ(d(fx,fy))≤γ(Tx)λ(Ty)η(M(x,y)). |
This implies that the inequality (2.14) holds. Therefore, the proof follows from Corollary 2.7.
If we choose T=IX in Theorem 2.3, then we have the following corollary.
Corollary 2.11. Let (X,d) be a complete metric space and f:X→X be a cyclic (α,β,H,F)-admissible mapping and a cyclic (λ,γ)-subadmissible mapping such that
H(α(x),β(y),φ(d(fx,fy)))≤F(γ(x)λ(y),η(M(x,y))) |
for all x,y∈X, where the pair (F,h) is an upper class of type II, φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
Mf(x,y)=ψ(d(x,y),d(x,fx),d(y,fy),12[d(x,fy)+d(y,fx)]). |
Assume that the following conditions are satisfied:
(i) there exists x0∈X such that α(x0)≥1 and β(x0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(u)≥1 and β(v)≥1 whenever fu=u and fv=v.
Then f has a unique fixed point.
If we take η(t)=φ(t)−η1(t) in Corollary 2.5, then we have the following corollary.
Corollary 2.12. Let (X,d) be a complete metric space and f:X→X be a cyclic (α,β,H,F)-admissible mapping and a cyclic (λ,γ)-subadmissible mapping such that
H(α(x),β(y),φ(d(fx,fy)))≤F(γ(x)λ(y),φ(Mf(x,y))−η1(Mf(x,y))) |
for all x,y∈X, where the pair (F,h) is an upper class of type II, φ is an altering distance function and η1:[0,+∞)→[0,+∞) is such that φ(t)−η1(t) is nondecreasing and η1(t) is continuous from the right with the condition φ(t)>η1(t) for all t>0.
Assume that the following conditions are satisfied:
(i) there exists x0∈X such that α(x0)≥1 and β(x0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(u)≥1 and β(v)≥1 whenever fu=u and fv=v.
Then f has a unique fixed point.
If we take φ(t)=t in Corollary 2.12, then we have the following corollary.
Corollary 2.13. Let (X,d) be a complete metric space and f:X→X be a cyclic (α,β,H,F)-admissible mapping and a cyclic (λ,γ)-subadmissible mapping such that
H(α(x),β(y),d(fx,fy))≤F(γ(x)λ(y),Mf(x,y)−η1(Mf(x,y))) |
for all x,y∈X, where the pair (F,h) is an upper class of type II and η1:[0,+∞)→[0,+∞) is such that t−η1(t) is nondecreasing and η1(t) is continuous from the right with the condition η1(t)>0 for all t>0.
Assume that the following conditions are satisfied:
(i) there exists x0∈X such that α(x0)≥1 and β(x0)≥1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(u)≥1 and β(v)≥1 whenever fu=u and fv=v.
Then f has a unique fixed point.
Example 2.14 Let X=R be endowed with the usual metric d(x,y)=|x−y| for all x,y∈X. Let H:R+×R+×R+→R+ be defined by H(x,y,z)=z and F:R+×R+→R+ by F(s,t)=st for all x,y,s,t∈R+ and φ(t)=t, η(t)=15t for all t≥0, and ψ(t1,t2,t3,t4)=max{t1,t2,t3,t4} for all t1,t2,t3,t4≥0.
Now, we define the self-mappings f and T on X by
fx={−x5if x∈[0,1],x25if x∈R∖[0,1] and Tx={x5if x∈[−1,0],x6if R∖[−1,0]. |
and the mappings α,β,γ,λ:X→[0,∞) by
α(x)=β(x)={1if x∈[−14,0],0otherwise.γ(x)=1 and λ(x)=12. |
Then it is clear that fX⊂TX.
Let x∈X such that α(Tx)≥1 so that Tx∈[−15,0] and hence x∈[−1,0]. By the definitions of f and β, we have fx∈[−15,0] and so β(fx)≥1.
Similarly, one can show that if β(Tx)≥1 then α(fx)≥1. Thus, f is a T-cyclic (α,β)-admissible mapping. Moreover, the conditions α(Tx0) ≥1 and β(Tx0) ≥1 are satisfied with x0=−1.
Now, let {xn} be a sequence in X such that β(xn)≥1 for all n∈N and {xn}→x as n→+∞. Then, by the definition of β, we have xn∈[−15,0] for all n∈N and so x∈[−15,0], that is, β(x)≥1.
Next, we prove that f is a T-cyclic (α,β) -contractive mapping. By the definitions of the mappings we get
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(γ(Tx)λ(Ty),η(M(x,y))) |
and so
φ(d(fx,fy)))≤γ(Tx)⋅λ(Ty)⋅η(M(x,y)). |
Let α(Tx)β(Ty)≥1. Then Tx,Ty∈[−15,0] and so x,y∈[−1,0]. Thus, we get
φ(d(fx,fy))=(d(fx,fy))=|fx−fy|=125|x−y|≤225|x−y|=25|Tx−Ty|= |
=1⋅2⋅15M(x,y)=γ(Tx)⋅λ(Ty)⋅η(M(x,y)). |
Obviously, the assumption (iii) of Corollary 2.10 is satisfied. Consequently, all the conditions of Corollary 2.10 hold and hence f and T have a unique common fixed point. Here, 0 is the common fixed point of f and T.
Definition 2.15. Let (X,d) be a metric space and let f be a T-cyclic (α,β)-admissible mapping and a cyclic (λ,γ)-subadmissible mapping. We say that f is a T -cyclic (α,β,H,F)-rational contractive mapping if
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(γ(Tx)λ(Ty),η(N(x,y))) | (2.16) |
for all x,y∈X, where
N(x,y)=ϕ(d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)) |
for ϕ∈Φ, φ is an altering distance function, pair (F,h) is an upper class of type II and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0.
Theorem 2.16. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-rational contractive mapping. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that xn→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Proof. Similar to the proof of Theorem 2.3, we define sequences {xn} and {yn} in X by yn=fxn=Txn+1 and note that α(Txn),β(Txn+1)≥1 and also λ(Txn)γ(Txn+1)≤1 for all n∈N∪{0}. Also, we assume that yn≠yn−1 for all n∈N. Then by (2.16), we have
H(1,1,φ(d(yn,yn+1)))=H(1,1,φ(d(fxn,fxn+1)))≤H(α(Txn),β(Txn+1),φ(d(fxn,fxn+1)))≤F(λ(Txn)γ(Txn+1),η(N(xn,xn+1)))≤F(1,η(N(xn,xn+1))). |
This implies that
φ(d(yn,yn+1))≤η(N(xn,xn+1))<φ(N(xn,xn+1)). | (2.17) |
Since φ is nondecreasing, we get
d(yn,yn+1)<N(xn,xn+1), | (2.18) |
where
N(xn,xn+1)=ϕ(d(Txn,Txn+1),12d(Txn,fxn+1),d(Txn+1,fxn),[1+d(Txn,fxn)]d(Txn+1,fxn+1)1+d(Txn,Txn+1))=ϕ(d(yn−1,yn),12d(yn−1,yn+1),d(yn,yn),[1+d(yn−1,yn)]d(yn,yn+1)1+d(yn−1,yn))≤ϕ(d(yn−1,yn),12[d(yn−1,yn)+d(yn,yn+1)],0,d(yn,yn+1)). | (2.19) |
Thus, from (2.18), we deduce
d(yn,yn+1)<N(xn,xn+1)≤ϕ(d(yn−1,yn),12[d(yn−1,yn)+d(yn,yn+1)],0,d(yn,yn+1)). |
If d(yn−1,yn)≤d(yn,yn+1) for some n∈N, then
d(yn,yn+1)<ϕ(d(yn−1,yn),12[d(yn−1,yn)+d(yn,yn+1)],0,d(yn,yn+1))≤ϕ(d(yn,yn+1),d(yn,yn+1),d(yn,yn+1),d(yn,yn+1))≤d(yn,yn+1), |
which is a contradiction and hence d(yn,yn+1)<d(yn−1,yn) for all n∈N. Therefore, the sequence {d(yn,yn+1)} is decreasing and bounded from below. Thus, there exists δ≥0 such that limn→+∞d(yn,yn+1)=δ. Also, from (2.17), (2.19) and using the properties of φ and η, we obtain
φ(d(yn,yn+1))≤η(N(xn,xn+1))≤η(ϕ(d(yn−1,yn),12[d(yn−1,yn)+d(yn,yn+1)],0,d(yn,yn+1)))≤η(ϕ(d(yn−1,yn),d(yn−1,yn),d(yn−1,yn),d(yn−1,yn)))≤η(d(yn−1,yn))<φ(d(yn−1,yn)). | (2.20) |
Consider the properties of φ and η. Letting n→+∞ in (2.20), we get
φ(δ)=limn→+∞φ(d(yn,yn+1))≤limn→+∞η(d(yn−1,yn))=η(δ)<φ(δ), |
which implies δ=0 and so
limn→+∞d(yn,yn+1)=0. | (2.21) |
Now, we want to show that {yn} is a Cauchy sequence. Suppose, to the contrary, that {yn} is not a Cauchy sequence. Then, by Lemma 1.14, there exist an ε>0 and two subsequences {ymk} and {ynk} of {yn} with mk>nk>k such that d(ym(k),yn(k))≥ε, d(ym(k)−1,yn(k))<ε and
limk→+∞d(ynk,ymk)=limk→+∞d(ynk−1,ymk)=limk→+∞d(ymk−1,ynk)=limk→+∞d(ymk−1,ynk−1)=ε. | (2.22) |
From (2.16), we get
H(1,1,φ(d(ynk,ymk)))=H(1,1,φ(d(fxnk,fxmk)))≤H(α(Txnk),β(Txmk),φ(d(fxnk,fxmk))≤F(λ(Txnk)γ(Txmk),η(N(xnk,xmk)))≤F(1,η(N(xnk,xmk))). |
This implies
φ(d(ynk,ymk))≤η(N(xnk,xmk))<φ(N(xnk,xmk)), | (2.23) |
where
N(xnk,xmk)=ϕ(d(Txnk,Txmk),12d(Txnk,fxmk),d(Txmk,fxnk),[1+d(Txnk,fxnk)]d(Txmk,fxmk)1+d(Txnk,Txmk))=ϕ(d(ynk−1,ymk−1),12d(ynk−1,ymk),d(ymk−1,ynk),[1+d(ynk−1,ynk)]d(ymk−1,ymk)1+d(ynk−1,ymk−1))≤max{ε,N(xnk,xmk)}=ϕ(max{ε,d(ynk−1,ymk−1)},12max{ε,d(ynk−1,ymk)},max{ε,d(ymk−1,ynk)},[1+d(ynk−1,ynk)]d(ymk−1,ymk)1+d(ynk−1,ymk−1)). |
Therefore, limk→+∞max{ε,N(xnk,xmk)}=ϕ(ε,ε2,ε,0)≤ε.
Now, from the properties of φ and η and using (2.22) and the previous inequality, as k→+∞ in (2.23), we have
φ(ε)=limk→+∞φ(d(ymk,ynk))≤limk→+∞η(max{ε,N(xnk,xmk)})≤η(ε)<φ(ε), |
which implies that ε=0, a contradiction with ε>0. Thus, {yn} is a Cauchy sequence in X. From the completeness of (X,d), there exists w∈X such that
limn→+∞yn=w | (2.24) |
and so by (2.24), we obtain
fxn→w and Txn+1→w. | (2.25) |
Since TX is closed, by (2.25), w∈TX. Therefore, there exists v∈X such that Tv=w. Since yn→w and β(yn)=β(Txn+1)≥1 for all n∈N, by (ii), β(w)=β(Tv)≥1. Similarly, γ(z)=γ(Tu)≤1. Thus, λ(Txn)γ(Tv)≤1 for all n∈N.
Now, applying (2.16), we get
H(1,1,φ(d(fxn,fv)))≤H(α(Txn),β(Tv),φ(d(fxn,fv))≤F(λ(Txn)γ(Tv),η(N(xn,v)))≤F(1,η(N(xn,v))), |
which implies that
φ(d(fxn,fv))≤η(N(xn,v)), | (2.26) |
where
N(xn,v)≤ϕ(d(Txn,Tv),12max{d(v,fv),d(Txn,fv)},d(Tv,fxn),d(Tv,fv)max{[1+d(Txn,fxn)]1+d(Txn,Tv),1}). |
Taking k→+∞ in the inequality (2.26), using the properties of φ, η and the previous inequality, we have
φ(d(w,fv))≤η(ϕ(0,12d(w,fv),0,d(w,fv)))≤η(d(w,fv))<φ(d(w,fv)), |
which implies d(w,fv)=0, that is, w=fv. Thus, we deduce
w=fv=Tv, | (2.27) |
and so w is a point of coincidence for f and T. The uniqueness of the point of coincidence is a consequence of the conditions (2.16) and (iii), and so we omit the details.
By (2.27) and using weakly compatibility of f and T, we obtain
fw=fTv=Tfv=Tw. |
The uniqueness of the point of coincidence implies w=fw=Tw. Consequently, w is the unique common fixed point of f and T.
Corollary 2.17. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(γ(Tx)λ(Ty),η(N(x,y))) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
N(x,y)=ϕ(d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)) |
for ϕ∈Φ. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.18. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(α(Tx)β(Ty)+l)φ(d(fx,fy))≤(1+l)γ(Tx)λ(Ty)η(N(x,y)) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
N(x,y)=ϕ(d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)) |
for ϕ∈Φ. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.19. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(φ(d(fx,fy))+l)α(Tx)β(Ty)≤(γ(Tx)λ(Ty)η(N(x,y))+l |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
N(x,y)=ϕ(d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)) |
for ϕ∈Φ. Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.20. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T -cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(γ(Tx),λ(Ty),η(N(x,y))) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
N(x,y)=max{d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.21. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(α(Tx)β(Ty)+l)φ(d(fx,fy))≤(1+l)γ(Tx)λ(Ty)η(N(x,y)) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
N(x,y)=max{d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Corollary 2.22. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping and T-cyclic (λ,γ)-subadmissible mapping such that
(φ(d(fx,fy))+l)α(Tx)β(Ty)≤γ(Tx)λ(Ty)η(N(x,y))+l |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
N(x,y)=max{d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1, and γ(xn)≤1 for all n, then γ(x)≤1;
(iii) α(Tu)≥1 and β(Tv)≥1, and λ(Tu)≤1 and γ(Tv)≤1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
If we take ψ(t1,t2,t3,t4)=max{t1,t2,t3,t4} and γ(Tx)λ(Ty)=1 for all x,y∈X, then we have the following result.
Corollary 2.23. Let (X,d) be a complete metric space and let f and T be self-mappings on X such that fX⊂TX. Let f be a T-cyclic (α,β,H,F)-admissible mapping such that
H(α(Tx),β(Ty),φ(d(fx,fy)))≤F(1,η(N(x,y))) |
for all x,y∈X, where φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
N(x,y)=max{d(Tx,Ty),12d(Tx,fy),d(Ty,fx),[1+d(Tx,fx)]d(Ty,fy)1+d(Tx,Ty)}. |
Assume that TX is a closed subset of X and the following conditions are satisfied:
(i) there exists x0∈X such that α(Tx0)≥1 and β(Tx0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(Tu)≥1 and β(Tv)≥1 whenever fu=Tu and fv=Tv.
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
If we choose T=IX in Theorem 2.3, then we have the following corollary.
Corollary 2.24. Let (X,d) be a complete metric space and f:X→X be a cyclic (α,β,H,F)-admissible mapping and a cyclic (λ,γ)-subadmissible mapping such that
H(α(x),β(y),φ(d(fx,fy)))≤F(γ(x)λ(y),η(Nf(x,y))) |
for all x,y∈X, where pair (F,h) is an upper class of type II, φ is an altering distance function and η:[0,+∞)→[0,+∞) is a nondecreasing and right-continuous function with the condition φ(t)>η(t) for all t>0 and
Nf(x,y)=ϕ(d(x,y),12d(x,fy),d(y,fx),[1+d(x,fx)]d(y,fy)1+d(x,y)). |
Assume that the following conditions are satisfied:
(i) there exists x0∈X such that α(x0)≥1 and β(x0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(u)≥1 and β(v)≥1 whenever fu=u and fv=v.
Then f has a unique fixed point.
If we take η(t)=φ(t)−η1(t) in Corollary 2.5, then we have the following corollary.
Corollary 2.25. Let (X,d) be a complete metric space and f:X→X be a cyclic (α,β)-admissible mapping and a cyclic (λ,γ)-subadmissible mapping such that
H(α(x),β(y),φ(d(fx,fy)))≤F(γ(x)λ(y),φ(Nf(x,y))−η1(Nf(x,y))) |
for all x,y∈X, where pair (F,h) is an upper class of type II, φ is an altering distance function and η1:[0,+∞)→[0,+∞) is such that φ(t)−η1(t) is nondecreasing and η1(t) is continuous from the right with the condition φ(t)>η1(t) for all t>0.
Assume that the following conditions are satisfied:
(i) there exists x0∈X such that α(x0)≥1 and β(x0)≥1, and λ(Tx0)≤1 and γ(Tx0)≤1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(u)≥1 and β(v)≥1 whenever fu=u and fv=v.
Then f has a unique fixed point.
If we take φ(t)=t in Corollary 2.6, then we have the following corollary.
Corollary 2.26. Let (X,d) be a complete metric space and f:X→X be a cyclic (α,β,H,F)-admissible mapping and a cyclic (λ,γ)-subadmissible mapping such that
H(α(x),β(y),d(fx,fy))≤F(γ(x)λ(y),Nf(x,y)−η1(Nf(x,y))) |
for all x,y∈X, where pair (F,h) is an upper class of type II and η1:[0,+∞)→[0,+∞) is such that t−η1(t) is nondecreasing and η1(t) is continuous from the right with the condition η1(t)>0 for all t>0.
Assume that the following conditions are satisfied:
(i) there exists x0∈X such that α(x0)≥1 and β(x0)≥1;
(ii) if {xn} is a sequence in X such that {xn}→x and β(xn)≥1 for all n, then β(x)≥1;
(iii) α(u)≥1 and β(v)≥1 whenever fu=u and fv=v.
Then f has a unique fixed point.
In this paper, we have introduced the notions of T-cyclic (α,β,H,F)-contractive mappings using a pair (F,h)-upper class functions type in order to obtain new common fixed point results in the settings of metric spaces. The presented results have generalized and extended existing results in the literature.
All the authors of this paper contributed equally. They have read and approved the final version of the paper.
The authors of this paper declare that they have no conflict of interest.
[1] |
M. Agarwal, K. K. Biswas, M. Hanmandlu, Generalized intuitionistic fuzzy soft sets with applications in decision-making, Appl. Soft Comput., 13 (2013), 3552â€"3566. https://doi.org/10.1016/j.asoc.2013.03.015 doi: 10.1016/j.asoc.2013.03.015
![]() |
[2] |
M. Akram, S. Naz, F. Feng, A. Shafiq, Assessment of hydropower plants in Pakistan: Muirhead mean-based 2-tuple linguistic T-spherical fuzzy model combining SWARA with COPRAS, Arab. J. Sci. Eng., 2022, 1â€"30. https://doi.org/10.1007/s13369-022-07081-0 doi: 10.1007/s13369-022-07081-0
![]() |
[3] |
M. Akram, S. Naz, G. Santos-Garcia, M. R. Saeed, Extended CODAS method for MAGDM with 2-tuple linguistic T-spherical fuzzy sets, AIMS Math., 8 (2023), 3428â€"3468. https://doi.org/10.3934/math.2023176 doi: 10.3934/math.2023176
![]() |
[4] |
M. Akram, C. Kahraman, K. Zahid, Group decision-making based on complex spherical fuzzy VIKOR approach, Knowl.-Based Syst., 216 (2021), 106â€"793. https://doi.org/10.1016/j.knosys.2021.106793 doi: 10.1016/j.knosys.2021.106793
![]() |
[5] |
M. Akram, X. Peng, A. Sattar, A new decision-making model using complex intuitionistic fuzzy Hamacher aggregation operators, Soft Comput., 25 (2021), 7059â€"7086. https://doi.org/10.1007/s00500-021-05658-9 doi: 10.1007/s00500-021-05658-9
![]() |
[6] |
M. Akram, C. Kahraman, K. Zahid, Extension of TOPSIS model to the decision-making under complex spherical fuzzy information, Soft Comput., 25 (2021), 10771â€"10795. https://doi.org/10.1007/s00500-021-05945-5 doi: 10.1007/s00500-021-05945-5
![]() |
[7] |
M. Akram, A. Martino, Multi-attribute group decision making based on T-spherical fuzzy soft rough average aggregation operators, Granular Comput., 8 (2023), 171â€"207. https://doi.org/10.1007/s41066-022-00319-0 doi: 10.1007/s41066-022-00319-0
![]() |
[8] | M. Akram, R. Bibi, M. Deveci, An outranking approach with 2-tuple linguistic Fermatean fuzzy sets for multi-attribute group decision-making, Eng. Appl. Artif. Intell., 121 (2023). |
[9] |
M. Akram, N. Ramzan, M. Deveci, Linguistic Pythagorean fuzzy CRITIC-EDAS method for multiple-attribute group decision analysis, Eng. Appl. Artif. Intell., 119 (2023), 105777. https://doi.org/10.1016/j.engappai.2022.105777 doi: 10.1016/j.engappai.2022.105777
![]() |
[10] |
M. Akram, A. Khan, A. Luqman, T. Senapati, D. Pamucar, An extended MARCOS method for MCGDM under 2-tuple linguistic q-rung picture fuzzy environment, Eng. Appl. Artif. Intell., 120 (2023), 105892. https://doi.org/10.1016/j.engappai.2023.105892 doi: 10.1016/j.engappai.2023.105892
![]() |
[11] |
M. Akram, Z. Niaz, F. Feng, Extended CODAS method for multi-attribute group decision-making based on 2-tuple linguistic Fermatean fuzzy Hamacher aggregation operators, Granul. Comput., 2022. https://doi.org/10.1007/s41066-022-00332-3 doi: 10.1007/s41066-022-00332-3
![]() |
[12] |
K. T. Atanassov, Intuitionistic fuzzy sets, Fuzzy Set. Syst., 20 (1986), 87â€"96. https://doi.org/10.1016/S0165-0114(86)80034-3 doi: 10.1016/S0165-0114(86)80034-3
![]() |
[13] | A. Azapagic, Sustainable production and consumption: A decision-support framework integrating environmental, economic and social sustainability, Comput. Aided Chem. Eng., 37 (2015), 131â€"136. |
[14] | G. Beliakov, A. Pradera, T. Calvo, Aggregation functions: A guide for practitioners, Springer, Berlin, Heidelberg, 221 (2007), 361. |
[15] | B. C. Cuong, V. Kreinovich, Picture fuzzy sets, J. Comput. Sci. Cyb., 30 (2014), 409â€"420. |
[16] |
X. Deng, J. Wang, G. Wei, Some 2-tuple linguistic Pythagorean Heronian mean operators and their application to multiple attribute decision-making, J. Exp. Theor. Artif. Intell., 31 (2019), 555â€"574. https://doi.org/10.1080/0952813X.2019.1579258 doi: 10.1080/0952813X.2019.1579258
![]() |
[17] |
F. Feng, H. Fujita, M. I. Ali, R. R. Yager, X. Liu, Another view on generalized intuitionistic fuzzy soft sets and related multiattribute decision making methods, IEEE T. Fuzzy Syst., 27 (2019), 474â€"488. https://doi.org/10.1109/TFUZZ.2018.2860967 doi: 10.1109/TFUZZ.2018.2860967
![]() |
[18] |
F. Feng, Z. Xu, H. Fujita, M. Liang, Enhancing PROMETHEE method with intuitionistic fuzzy soft sets, Int. J. Intell. Syst., 35 (2020), 1071â€"1104. https://doi.org/10.1002/int.22235 doi: 10.1002/int.22235
![]() |
[19] |
Y. Fu, R. Cai, B. Yu, Group decision-making method with directed graph under linguistic environment, Int. J. Mach. Learn. Cyb., 13 (2022), 3329â€"3340. https://doi.org/10.1007/s13042-022-01597-5 doi: 10.1007/s13042-022-01597-5
![]() |
[20] |
H. Garg, K. Ullah, T. Mahmood, N. Hassan, N. Jan, T-spherical fuzzy power aggregation operators and their applications in multi-attribute decision making, J. Amb. Intell. Hum. Comp., 12 (2021), 9067â€"9080. https://doi.org/10.1007/s12652-020-02600-z doi: 10.1007/s12652-020-02600-z
![]() |
[21] |
F. K. Gündogdu, C. Kahraman, Spherical fuzzy sets and spherical fuzzy TOPSIS method, J. Intell. Fuzzy Syst., 36 (2019), 337â€"352. https://doi.org/10.3233/JIFS-181401 doi: 10.3233/JIFS-181401
![]() |
[22] |
A. Guleria, R. K. Bajaj, T-spherical fuzzy soft sets and its aggregation operators with application in decision making, Sci. Iran., 28 (2021), 1014â€"1029. https://doi.org/10.24200/sci.2019.53027.3018 doi: 10.24200/sci.2019.53027.3018
![]() |
[23] |
L. Gigovic, D. Pamučar, D. Bozanic, S. Ljubojevic, Application of the GIS-DANP-MABAC multi-criteria model for selecting the location of wind farms: A case study of vojvodina, Serbia, Renew. Energ., 103 (2017), 501â€"521. https://doi.org/10.1016/j.renene.2016.11.057 doi: 10.1016/j.renene.2016.11.057
![]() |
[24] |
Y. He, X. Wang, J. Z. Huang, Recent advances in multiple criteria decision making techniques, Int. J. Mach. Learn. Cyb., 139 (2022), 561â€"564. https://doi.org/10.1007/s13042-015-0490-y doi: 10.1007/s13042-015-0490-y
![]() |
[25] |
F. Herrera, L. Martinez, An approach for combining linguistic and numerical information based on the 2-tuple fuzzy linguistic representation model in decision-making, Int. J. Uncertain. Fuzz. Knowl.-Based Syst., 8 (2000), 539â€"562. https://doi.org/10.1142/S0218488500000381 doi: 10.1142/S0218488500000381
![]() |
[26] |
S. Jiang, W. He, F. Qin, Q. Cheng, Multiple attribute group decision-making based on power Heronian aggregation operators under interval-valued dual hesitant fuzzy environment, Math. Probl. Eng., 2020 (2020), 1â€"19. https://doi.org/10.1155/2020/2080413 doi: 10.1155/2020/2080413
![]() |
[27] | C. Kahraman, F. K. Gündogdu, S. C. Onar, B. Ötaysi, Hospital location selection using spherical fuzzy TOPSIS, In 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), Atlantis Press, 2019. https://dx.doi.org/10.2991/eusflat-19.2019.12 |
[28] |
M. K. Ghorabaee, E. K. Zavadskas, L. Olfat, Z. Turskis, Multi-criteria inventory classification using a new method of evaluation based on distance from average solution (EDAS), Informatica, 26 (2015), 435â€"451. https://doi.org/10.15388/Informatica.2015.57 doi: 10.15388/Informatica.2015.57
![]() |
[29] | M. Keshavarz Ghorabaee, E. K. Zavadskas, Z. Turskis, J. Antucheviciene, A new combinative distance-based assessment (CODAS) method for multi-criteria decision-making, Econ. Comput. Econ. Cyb., 50 (2016), 25â€"44. |
[30] |
D. Liang, Z. Xu, D. Liu, Y. Wu, Method for three-way decisions using ideal TOPSIS solutions at Pythagorean fuzzy information, Inform. Sci., 435 (2018), 282â€"295. https://doi.org/10.1016/j.ins.2018.01.015 doi: 10.1016/j.ins.2018.01.015
![]() |
[31] | W. F. Liu, J. Chin, Linguistic Heronian mean operators and applications in decision making, Manag. Sci., 25 (2017), 174â€"183. |
[32] |
P. Liu, S. Naz, M. Akram, M. Muzammal, Group decision-making analysis based on linguistic q-rung orthopair fuzzy generalized point weighted aggregation operators, Int. J. Mach. Learn. Cyb., 13 (2022), 883â€"906. https://doi.org/10.1007/s13042-021-01425-2 doi: 10.1007/s13042-021-01425-2
![]() |
[33] |
P. Liu, B. Zhu, P. Wang, M. Shen, An approach based on linguistic spherical fuzzy sets for public evaluation of shared bicycles in China, Eng. Appl. Artif. Intel., 87 (2020), 103â€"295. https://doi.org/10.1016/j.engappai.2019.103295 doi: 10.1016/j.engappai.2019.103295
![]() |
[34] |
P. Liu, K. Zhang, P. Wang, F. Wang, A clustering-and maximum consensus-based model for social network large-scale group decision making with linguistic distribution, Inform. Sci., 602 (2022), 269â€"297. https://doi.org/10.1016/j.ins.2022.04.038 doi: 10.1016/j.ins.2022.04.038
![]() |
[35] |
Z. Liu, W. Wang, D. Wang, A modified ELECTRE â…¡ method with double attitude parameters based on linguistic Z-number and its application for third-party reverse logistics provider selection, Appl. Intell., 52 (2022), 14964â€"14987. https://doi.org/10.1007/s10489-022-03315-8 doi: 10.1007/s10489-022-03315-8
![]() |
[36] |
P. Liu, Y. Wu, Y. Li, Probabilistic hesitant fuzzy taxonomy method based on best-worst-method (BWM) and indifference threshold-based attribute ratio analysis (ITARA) for multi-attributes decision-making, Int. J. Fuzzy Syst., 24 (2022), 1301â€"1317. https://doi.org/10.1007/s40815-021-01206-7 doi: 10.1007/s40815-021-01206-7
![]() |
[37] |
P. Liu, Y. Li, X. Zhang, W. Pedrycz, A multiattribute group decision-making method with probabilistic linguistic information based on an adaptive consensus reaching model and evidential reasoning, IEEE T. Cyb., 53 (2022), 1905â€"1919. https://doi.org/10.1109/TCYB.2022.3165030 doi: 10.1109/TCYB.2022.3165030
![]() |
[38] | P. K. Maji, R. Biswas, A. R. Roy, Intuitionistic fuzzy soft sets, J. Fuzzy Math., 9 (2001), 677â€"692. |
[39] |
T. Mahmood, K. Ullah, Q. Khan, N. Jan, An approach toward decision-making and medical diagnosis problems using the concept of spherical fuzzy sets, Neural Compu. Appl., 31 (2019), 7041â€"7053. https://doi.org/10.1007/s00521-018-3521-2 doi: 10.1007/s00521-018-3521-2
![]() |
[40] |
M. Munir, H. Kalsoom, K. Ullah, T. Mahmood, Y. M. Chu, T-spherical fuzzy einstein hybrid aggregation operators and their applications in multi-attribute decision making problems, Symmetry, 12 (2020), 365. https://doi.org/10.3390/sym12030365 doi: 10.3390/sym12030365
![]() |
[41] |
J. Mo, H. L. Huang, Archimedean geometric Heronian mean aggregation operators based on dual hesitant fuzzy set and their application to multiple attribute decision making, Soft Comput., 24 (2020), 1â€"13. https://doi.org/10.1007/s00500-020-04819-6 doi: 10.1007/s00500-020-04819-6
![]() |
[42] |
A. R. Mishra, A. Chandel, D. Motwani, Extended MABAC method based on divergence measures for multi-criteria assessment of programming language with interval-valued intuitionistic fuzzy sets, Granular Comput., 5 (2020), 97â€"117. https://doi.org/10.1007/s41066-018-0130-5 doi: 10.1007/s41066-018-0130-5
![]() |
[43] |
S. Narayanamoorthy, L. Ramya, S. Kalaiselvan, J. V. Kureethara, D. Kang, Use of DEMATEL and COPRAS method to select best alternative fuel for control of impact of greenhouse gas emissions, Socio-Econ. Plan. Sci., 76 (2021), 100â€"996. https://doi.org/10.1016/j.seps.2020.100996 doi: 10.1016/j.seps.2020.100996
![]() |
[44] |
S. Naz, M. Akram, G. Muhiuddin, A. Shafiq, Modified EDAS method for MAGDM based on MSM operators with 2-tuple linguistic T-spherical fuzzy sets, Math. Probl. Eng., 2022 (2022). https://doi.org/10.1155/2022/5075998 doi: 10.1155/2022/5075998
![]() |
[45] |
S. Naz, M. Akram, M. M. A. Al-Shamiri, M. R. Saeed, Evaluation of network security service provider using 2-tuple linguistic complex q-rung orthopair fuzzy COPRAS method, Complexity, 2022 (2022). https://doi.org/10.1155/2022/4523287 doi: 10.1155/2022/4523287
![]() |
[46] |
D. Pamučar, G. Ćirović, The selection of transport and handling resources in logistics centers using Multi-Attributive Border Approximation Area Comparison (MABAC), Expert Syst. Appl., 42 (2015), 3016â€"3028. https://doi.org/10.1016/j.eswa.2014.11.057 doi: 10.1016/j.eswa.2014.11.057
![]() |
[47] |
D. Pamučar, I. Petrović, Ćirović, Modification of the Best Worst and MABAC methods: A novel approach based on interval-valued fuzzy-rough numbers, Expert Syst. Appl., 91 (2018), 89â€"106. https://doi.org/10.1016/j.eswa.2017.08.042 doi: 10.1016/j.eswa.2017.08.042
![]() |
[48] |
X. Peng, Y. Yang, Pythagorean fuzzy choquet integral based MABAC method for multiple attribute group decision making, Int. J. Intell. Syst., 31 (2016), 989â€"1020. https://doi.org/10.1002/int.21814 doi: 10.1002/int.21814
![]() |
[49] |
S. G. Quek, G. Selvachandran, M. Munir, T. Mahmood, K. Ullah, L. H. Son, et al., Multi-attribute multi-perception decision-making based on generalized T-spherical fuzzy weighted aggregation operators on neutrosophic sets, Mathematics, 7 (2019), 780. https://doi.org/10.3390/math7090780 doi: 10.3390/math7090780
![]() |
[50] |
P. Rani, A. R. Mishra, Multi-criteria weighted aggregated sum product assessment framework for fuel technology selection using q-rung orthopair fuzzy sets, Sustain. Prod. Consump., 24 (2020), 90â€"104. https://doi.org/10.1016/j.spc.2020.06.015 doi: 10.1016/j.spc.2020.06.015
![]() |
[51] |
R. Sun, J. Hu, J. Zhou, X. Chen, A hesitant fuzzy linguistic projection-based MABAC method for patients' prioritization, Int. J. Fuzzy Syst., 20 (2018), 2144â€"2160. https://doi.org/10.1007/s40815-017-0345-7 doi: 10.1007/s40815-017-0345-7
![]() |
[52] |
K. Ullah, H. Garg, T. Mahmood, N. Jan, Z. Ali, Correlation coefficients for T-spherical fuzzy sets and their applications in clustering and multi-attribute decision making, Soft Comput., 24 (2020), 1647â€"1659. https://doi.org/10.1007/s00500-019-03993-6 doi: 10.1007/s00500-019-03993-6
![]() |
[53] |
K. Ullah, T. Mahmood, H. Garg, Evaluation of the performance of search and rescue robots using T-spherical fuzzy Hamacher aggregation operators, Int. J. Fuzzy Syst., 22 (2020), 570â€"582. https://doi.org/10.1007/s40815-020-00803-2 doi: 10.1007/s40815-020-00803-2
![]() |
[54] |
Y. X. Xue, J. X. You, X. D. Lai, H. C. Liu, An interval-valued intuitionistic fuzzy MABAC approach for material selection with incomplete weight information, Appl. Soft Comput., 38 (2016), 703â€"713. https://doi.org/10.1016/j.asoc.2015.10.010 doi: 10.1016/j.asoc.2015.10.010
![]() |
[55] |
M. Xue, P. Cao, B. Hou, Data-driven decision-making with weights and reliabilities for diagnosis of thyroid cancer, Int. J. Mach. Learn. Cyb., 13 (2022), 2257â€"2271. https://doi.org/10.1007/s13042-022-01521-x doi: 10.1007/s13042-022-01521-x
![]() |
[56] |
L. Yang, B. Li, Multiple-valued picture fuzzy linguistic set based on generalized Heronian mean operators and their applications in multiple attribute decision making, IEEE Access, 8 (2020), 86272â€"86295. https://doi.org/10.1109/ACCESS.2020.2992434 doi: 10.1109/ACCESS.2020.2992434
![]() |
[57] |
S. M. Yu, H. Zhou, X. H. Chen, J. Q. Wang, A multi-criteria decision-making method based on Heronian mean operators under a linguistic hesitant fuzzy environment, Asia-Pac. J. Oper. Res., 32 (2015), 1550035. https://doi.org/10.1142/S0217595915500359 doi: 10.1142/S0217595915500359
![]() |
[58] |
D. J. Yu, Intuitionistic fuzzy geometric Heronian mean aggregation operators, Appl. Soft Comput., 13 (2012), 1235â€"1246. https://doi.org/10.1016/j.asoc.2012.09.021 doi: 10.1016/j.asoc.2012.09.021
![]() |
[59] |
R. R. Yager, Pythagorean membership grades in multi-criteria decision-making, IEEE T. Fuzzy Syst., 22 (2014), 958â€"965. https://doi.org/10.1109/TFUZZ.2013.2278989 doi: 10.1109/TFUZZ.2013.2278989
![]() |
[60] |
R. R. Yager, Generalized orthopair fuzzy sets, IEEE T. Fuzzy Syst., 25 (2017), 1222â€"1230. https://doi.org/10.1109/TFUZZ.2016.2604005 doi: 10.1109/TFUZZ.2016.2604005
![]() |
[61] |
L. A. Zadeh, Fuzzy sets, Inform. Control, 8 (1965), 338â€"353. https://doi.org/10.1016/S0019-9958(65)90241-X doi: 10.1016/S0019-9958(65)90241-X
![]() |
[62] |
L. A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning part â…, Inform. Sci., 8 (1975), 199â€"249. https://doi.org/10.1016/0020-0255(75)90036-5 doi: 10.1016/0020-0255(75)90036-5
![]() |
[63] |
L. Zhang, P. Zhu, Generalized fuzzy variable precision rough sets based on bisimulations and the corresponding decision-making, Int. J. Mach. Learn. Cyb., 13 (2022), 2313â€"2344. https://doi.org/10.1007/s13042-022-01527-5 doi: 10.1007/s13042-022-01527-5
![]() |
[64] |
M. Zhao, G. Wei, C. Wei, J. Wu, Improved TODIM method for intuitionistic fuzzy MAGDM based on cumulative prospect theory and its application on stock investment selection, Int. J. Mach. Learn. Cyb., 12 (2021), 891â€"901. https://doi.org/10.1007/s13042-020-01208-1 doi: 10.1007/s13042-020-01208-1
![]() |