Next Article in Journal
Stability of HIV-1 Dynamics Models with Viral and Cellular Infections in the Presence of Macrophages
Next Article in Special Issue
General Exact Schemes for Second-Order Linear Differential Equations Using the Concept of Local Green Functions
Previous Article in Journal
Optimizing Supplier Selection and Order Lot-Sizing Decisions in a Two-Stage Supply Chain
Previous Article in Special Issue
Local Refinement and Adaptive Strategy for a System of Free Boundary Power Options with High Order Compact Differencing
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Fixed Point Theorem for Generalized Ćirić-Type Contraction in Kaleva–Seikkala’s Type Fuzzy b-Metric Spaces

1
School of Mathematical Sciences, Inner Mongolia University, Hohhot 010021, China
2
School of Statistics and Mathematics, Inner Mongolia University of Financial and Economic, Hohhot 010070, China
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(7), 616; https://doi.org/10.3390/axioms12070616
Submission received: 22 May 2023 / Revised: 15 June 2023 / Accepted: 17 June 2023 / Published: 21 June 2023
(This article belongs to the Special Issue Differential Equations and Related Topics)

Abstract

:
In this paper, we state and establish a new fixed point theorem for generalized Ćirić-type contraction in Kaleva-Seikkala’s type fuzzy b-metric space. Our results improve and extend some well-known results in the literature. Some examples are given to support our result. Finally, as an application, we show the existence and uniqueness of solution to Volterra integral equation formulated in Kaleva–Seikkala’s type fuzzy b-metric space.

1. Introduction

In 1984, the Kaleva–Seikkala’s type fuzzy metric space (briefly, KS - FMS ) was initiated by Kaleva and Seikkala [1]. As we all know, the KS - FMS possesses a rich structure with proper choices of binary operations. Much work has been performed in regard to KS - FMS , see, e.g., [2,3,4,5]. In 1989, the notion of b-metric space (briefly, b- MS ) was introduced by Bakhtin [6] (see also Czerwik [7]). A mass of fixed-point results in b- MS were studied by many authors over the past few years, see, e.g., [8,9,10,11].
Recently, the concept of Kaleva–Seikkala’s type fuzzy b-metric space (briefly, KS - FbMS ) was given by Li et al. [12], which generalizes the notions of KS - FMS and b- MS and Banach type, Chatterjea type and Reich type fixed-point theorems were obtained. Notice that the Ćirić type fixed-point theorem was not involved in [12]. It is widely known that the Ćirić-type fixed-point theorem [13] extends other well-known fundamental metrical fixed-point theorems in the research literature (Banach [14], Kannan [15], Chatterjea [16,17], etc.). Based on the importance and application potential of quantitative science, many authors investigated heavily the generalizations of Ćirić fixed-point theorem in different directions in the last 20 years; see, e.g., [8,9,18]. In particular, Kumam et al. [19] in 2015 obtained the generalized Ćirić-type fixed-point theorems in metric spaces.
In this paper, we establish a generalized Ćirić-type fixed-point theorem in KS - FbMS . This result improves and extends some well-known results in the literature. Roughly speaking, the geometric interpretation of the generalized Ćirić-type contraction is that the metric between T x and T y can be controlled by the other nine metrics. In fact, there are 10 metrics between the 5 points x , y , T x , T y , and T 2 x . In Section 2, we recall some related definitions, basic properties and lemmas on KS - FbMS . In Section 3, we state a definition of generalized Ćirić-type contraction in KS - FbMS . Moreover, we construct a new example to illustrate that a generalized Ćirić-type contraction map is obviously not a Ćirić-type contraction. In Section 4, we first give two sufficient conditions to show that a generalized Ćirić-type contraction has a unique fixed point in the complete KS - FbMS . Second, we give two examples to illustrate our main result and show that two sufficient conditions are complete independence. Third, we give another example to show that the two conditions in our result are not necessary for the existence of unique fixed point. Finally, we give some corollaries on Ćirić-type fixed-point theorems in KS - FbMS . In Section 5, as an application, we show the existence of solution to Volterra equation formulated in KS - FbMS .

2. Preliminaries

Throughout this paper, let N , Z + and R denote the sets of natural numbers, positive integer numbers, real numbers, respectively.
Now, we recall some definitions about KS - FbMS as follows.
Definition 1 
([20]). Let η : R [ 0 , 1 ] be a mapping, whose α-level set is denoted by [ η ] α = { δ R : η ( δ ) α } , η is called a fuzzy real number or fuzzy interval, if the following two conditions are satisfied:
(1) 
There exists δ 0 R such that η ( δ 0 ) = 1 .
(2) 
[ η ] α = [ λ ^ α , ρ ^ α ] is a closed interval of R for each α ( 0 , 1 ] , where < λ ^ α ρ ^ α < + .
Let F denote the set of all such fuzzy real numbers. If η F and η ( δ ) = 0 whenever δ < 0 , then η is called a non-negative fuzzy real number, and F + denotes the set of all non-negative fuzzy real numbers.
Definition 2 
([12]). Assume that M a non-empty set, b 1 and that D is a mapping from M × M into F + . Let L , R : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] be two non-decreasing and symmetric functions, such that L ( 0 , 0 ) = 0 and R ( 1 , 1 ) = 1 . For α ( 0 , 1 ] and x , y M , define
[ D ( x , y ) ] α = [ λ ^ α ( x , y ) , ρ ^ α ( x , y ) ] .
Then, D is called a fuzzy b-metric, and the quintuple ( M , D , L , R , b ) is called a fuzzy b-metric space (briefly, KS - FbMS ) with the coefficient b, if
(BM1) 
D ( x , y ) = 0 ¯ if, and only if, x = y ;
(BM2) 
D ( x , y ) = D ( y , x ) for all x , y M ;
(BM3) 
for all x , y , z M :
(BM3) 
D ( x , y ) ( b ( θ + δ ) ) L ( D ( x , z ) ( θ ) , D ( z , y ) ( δ ) ) , whenever θ λ ^ 1 ( x , z ) , δ λ ^ 1 ( z , y ) and ( b ( θ + δ ) ) λ ^ 1 ( x , y ) ;
(BM3𝕽) 
D ( x , y ) ( b ( θ + δ ) ) R ( D ( x , z ) ( θ ) , D ( z , y ) ( δ ) ) , whenever θ λ ^ 1 ( x , z ) , δ λ ^ 1 ( z , y ) and ( b ( θ + δ ) ) λ ^ 1 ( x , y ) .
In the following propositions we state some properties. (For details see [12]).
Proposition 1.
Let ( M , D , L , R , b ) be a KS - FbMS , [ D ( x , y ) ] t = [ λ ^ t ( x , y ) , ρ ^ t ( x , y ) ] for t ( 0 , 1 ] , where x , y M . Then
(1) 
lim δ D ( x , y ) ( δ ) = 0 = lim δ + D ( x , y ) ( δ ) .
(2) 
D ( x , y ) ( δ ) is a left continuous and non-increasing function for δ ( λ ^ 1 ( x , y ) , + ) .
(3) 
ρ ^ t ( x , y ) is a left continuous and non-increasing function for t ( 0 , 1 ] .
Proposition 2.
Let ( M , D , L , R , b ) be a KS - FbMS , and assume that
(𝕽1) 
max { x , y } R ( x , y ) ;
(𝕽2) 
for each t ( 0 , 1 ] there exists s ( 0 , t ] such that R ( s , r ) < t for all r ( 0 , t ) ;
(𝕽3) 
lim t 0 + R ( t , t ) = 0 .
Then ( R 1 ) ( R 2 ) ( R 3 ) .
Proposition 3.
Let ( M , D , L , R , b ) be a KS - FbMS . Then ( R 2) ⇒ for each t ( 0 , 1 ] , there exists s = s ( t ) ( 0 , t ] such that ρ ^ t ( x , y ) b [ ρ ^ s ( x , z ) + ρ ^ t ( z , y ) ] for all x , y , z M .
The following definition and lemma were introduced by Li et al. [12].
Definition 3.
Let ( M , D , L , R , b ) be a KS - FbMS and { x n } be a sequence in M .
(1) 
{ x n } is said to be converge to x M , if lim n D ( x n , x ) = 0 ¯ , equivalently, lim n ρ ^ t ( x n , x ) = 0 for each t ( 0 , 1 ] ;
(2) 
{ x n } is called a Cauchy sequence, if lim n , m D ( x n , x m ) = 0 ¯ , i.e., for any given ϵ > 0 and t ( 0 , 1 ] , there exists N = N ( ϵ , t ) Z + , such that ρ ^ t ( x n , x m ) < ϵ , whenever n , m N ;
(3) 
If every Cauchy sequence in M converges, ( M , D , L , R , b ) is called complete.
Under ( R 2), the limit of the sequence in KS - FbMS is unique.
Lemma 1.
Let ( M , D , L , R , b ) be a KS - FbMS with ( R 2) and { x n } M be a sequence. If there exist x , y M such that
lim n ρ ^ t ( x n , x ) = lim n ρ ^ t ( x n , y ) = 0 ,
then x = y .

3. Generalized Ćirić-Type Contraction

The definition of generalized Ćirić-type contraction on an ordinary metric space was introduced by Kumam et al. [19]. Analogously, we shall give the notion of generalized Ćirić-type contraction in KS - FbMS .
Definition 4.
Assume that ( M , D , L , R , b ) be a KS - FbMS with ( R 2) and the coefficient b 1 , T : M M be a selfmap. Then T is called a generalized Ćirić-type contraction, if there exists λ ^ [ 0 , 1 ) such that
ρ ^ t ( T x , T y ) λ ^ max ρ ^ t ( x , y ) , ρ ^ t ( x , T x ) , ρ ^ t ( y , T y ) , ρ ^ t ( x , T y ) , ρ ^ t ( T x , y ) , ρ ^ t ( T 2 x , x ) , ρ ^ t ( T 2 x , T x ) , ρ ^ t ( T 2 x , y ) , ρ ^ t ( T 2 x , T y ) ,
for all t ( 0 , 1 ] and x , y M .
Remark 1.
The definition of usual Ćirić-type contraction was obtained by reducing four values ρ ^ t ( T 2 x , x ) , ρ ^ t ( T 2 x , T x ) , ρ ^ t ( T 2 x , y ) , ρ ^ t ( T 2 x , T y ) to a generalized Ćirić-type contraction.
Notice that the Ćirić-type contraction is the generalized Ćirić-type contraction in KS - FbMS , but, in general, the converse is not true. Next, we give a new example to show that there exists a generalized Ćirić-type contraction and it is not a Ćirić-type contraction.
Example 1.
Let M = X a X c X e X f X g , where a , c , e , f and g are five distinct indexes, X i : = { i } × [ 0 , 1 ] , i { a , c , e , f , g } , and define d : M × M [ 0 , 2 ] , as follows
d ( x , y ) = | x ˜ y ˜ | 2 , x , y X i , 2 , ( x , y ) { ( X a , X c ) , ( X c , X a ) , ( X a , X e ) , ( X e , X a ) } , 1 , otherwise ,
  • where x : = ( i , x ˜ ) , y : = ( j , y ˜ ) ; x ˜ , y ˜ [ 0 , 1 ] .
  • Let T : M M be a mapping defined by
T x = ( a , 1 2 x ˜ ) , x X i , i { a , f , g } , ( f , x ˜ ) , x X c , ( g , x ˜ ) , x X e ,
  • for any x = ( i , x ˜ ) , x ˜ [ 0 , 1 ] .
  • Let D ( x , y ) : R R be a mapping. If x = y M , we define D ( x , y ) ( ξ ) = 0 ¯ ( ξ ) for any ξ R . If x , y M with x y , D ( x , y ) is defined by
D ( x , y ) ( ξ ) = 0 , ξ < 0 , e ξ d ( x , y ) , ξ 0 ,
  • and L ( α , β ) = min { α , β } , R ( α , β ) = max { α , β } ,
  • then the following assertions hold:
  • (1) ( M , d ) is a complete b- MS with the coefficient b = 2 ;
  • (2) ( M , D , L , R , b ) is a complete KS - FbMS with the coefficient b = 2 ;
  • (3) T : M M is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with contraction constant λ ^ = 1 2 . However, T is not a Ćirić-type contraction.
Proof. 
(1) For any x , y , z M , the following five cases are considered:
  • Case b1. If x , y , z X i , i { a , c , e , f , g } ;
  • Case b2. If x , y X i and z X j , where i j ;
  • Case b3. If x , z X i and y X j , where i j ;
  • Case b4. If y , z X i and x X j , where i j ;
  • Case b5. If x X i , y X j and z X k , where i j k .
  • It is easy to see that d ( x , y ) 2 d ( x , z ) + 2 d ( y , z ) .
  • In addition, for any Cauchy sequence { x n } in ( M , d ) , then there exists n ˜ N such that x n X i for all n n ˜ , where i { a , c , e , f , g } . Thus, we can easily prove that ( M , d ) is complete. So, ( M , d ) is a complete b- MS with the coefficient b = 2 .
  • (2) Clearly, (BM1) and (BM2) of Definition 2 hold.
  • To see (BM3). By a simple calculation, we obtain λ ^ 1 ( x , y ) = ρ ^ 1 ( x , y ) = 0 for all x , y M .
  • (i) We prove (BM3 L ) with b = 2 , equivalently, if θ , δ R satisfy
    θ λ ^ 1 ( x , z ) , δ λ ^ 1 ( z , y ) , 2 ( θ + δ ) λ ^ 1 ( x , y ) ,
  • then D ( x , y ) ( 2 ( θ + δ ) ) L ( D ( x , z ) ( θ ) , D ( z , y ) ( δ ) ) = min ( D ( x , z ) ( θ ) , D ( z , y ) ( δ ) ) holds.
  • Now, the following three cases are considered, since θ 0 , δ 0 and 2 ( θ + δ ) 0 .
  • Case L 1. Assume that θ = 0 and δ = 0 . We have
    D ( x , y ) ( 2 ( θ + δ ) ) = 1 = min { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • Case L 2. Assume that θ < 0 and δ < 0 . We have
    D ( x , y ) ( 2 ( θ + δ ) ) = 0 = min { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • Case L 3. Assume that θ = 0 , δ < 0 or δ = 0 , θ < 0 . We have
    D ( x , y ) ( 2 ( θ + δ ) ) = 0 = min { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • (ii) We prove (BM3 R ) with b = 2 , equivalently, if θ , δ R satisfy
    θ λ ^ 1 ( x , z ) , δ λ ^ 1 ( z , y ) , 2 ( θ + δ ) λ ^ 1 ( x , y ) ,
  • then D ( x , y ) ( 2 ( θ + δ ) ) R ( D ( x , z ) ( θ ) , D ( z , y ) ( δ ) ) = max ( D ( x , z ) ( θ ) , D ( z , y ) ( δ ) ) holds.
  • Now, the following three cases are considered, since θ 0 , δ 0 and 2 ( θ + δ ) 0 .
  • Case R 1. Assume that θ = 0 and δ = 0 . We have
    D ( x , y ) ( 2 ( θ + δ ) ) = 1 = max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • Case R 2. Assume that θ = 0 , δ > 0 or δ = 0 , θ > 0 . We have
    D ( x , y ) ( 2 ( θ + δ ) ) < 1 = max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • Case R 3. Assume that θ > 0 and δ > 0 . For x , y , z M .
  • (i) If x = y and z M , then
    D ( x , y ) ( 2 ( θ + δ ) ) = 0 max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • (ii) If z = x y or x y = z , we may assume that z = x y , then
    D ( x , y ) ( 2 ( θ + δ ) ) = e 2 ( θ + δ ) d ( x , y ) = e 2 ( θ + δ ) d ( z , y ) e δ d ( z , y ) = D ( z , y ) ( δ ) max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • (iii) If x y z . Note that
    min θ d ( x , z ) , δ d ( z , y ) θ + δ d ( x , z ) + d ( z , y ) .
  • then
    D ( x , y ) ( 2 ( θ + δ ) ) = e 2 ( θ + δ ) d ( x , y ) e 2 ( θ + δ ) 2 ( d ( x , z ) + d ( z , y ) ) e min θ d ( x , z ) , δ d ( z , y ) max e θ d ( x , z ) , e δ d ( z , y ) = max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
  • We thus conclude that ( M , D , L , R , b ) is a KS - FbMS .
  • On the other hand, it follows from the definition of D ( x , y ) that
    D ( x , y ) ( ρ ^ t ( x , y ) ) = t ,
    for all t ( 0 , 1 ] . Hence, we have
    ρ ^ t ( x , y ) = ln t · d ( x , y ) .
  • Moreover, from (1), we obtain that ( M , D , L , R , b ) is a complete KS - FbMS with b = 2 .
  • (3) For any x , y M , the following four cases are considered:
  • Case 1. If x X c , y X e or x X e , y X c ; we may assume that x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , where x ˜ , y ˜ [ 0 , 1 ] , we have ρ ^ t ( T x , T y ) = ρ ^ t ( x , y ) = ρ ^ t ( x , T x ) = ρ ^ t ( y , T y ) = ρ ^ t ( x , T y ) = ρ ^ t ( y , T x ) = ρ ^ t ( T 2 x , T x ) = ρ ^ t ( T 2 x , T y ) = ln t , ρ ^ t ( T 2 x , x ) = ρ ^ t ( T 2 x , y ) = 2 ln t .
  • Case 2. If x , y X c or x , y X e ; we may assume that x = ( c , x ˜ ) , y = ( c , y ˜ ) X c , we have ρ ^ t ( T x , T y ) = ln t · | x ˜ y ˜ | 2 ln t , ρ ^ t ( T 2 x , x ) = 2 ln t , where t ( 0 , 1 ] .
  • Case 3. If x X i , y X j , where i , j { a , f , g } ; for x = ( i , x ˜ ) , y = ( j , y ˜ ) , we have ρ ^ t ( T x , T y ) = ln t 4 | x ˜ y ˜ | 2 1 2 ρ ^ t ( x , y ) , where t ( 0 , 1 ] .
  • Case 4. If x X i , where i { a , f , g } , y X c or X e ; for x = ( i , x ˜ ) X i , we may assume that y = ( c , y ˜ ) X c , we have ρ ^ t ( T x , T y ) = ln t , ρ ^ t ( T x , y ) = 2 ln t , where t ( 0 , 1 ] .
  • The above calculations show that T is not Ćirić-type contraction for x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , because there is no a non-negative number λ ^ < 1 satisfying the Ćirić-type contraction condition. However, it follows that T is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with contraction constant λ ^ = 1 2 and for all x , y M . □
Remark 2.
In Example 1, the domain for a , c , e , f , and g is less important than one might expect. In fact, one may exploit the same kind of argument with real (complex) numbers instead of indexes.

4. Fixed-Point Theorem for Generalized Ćirić-Type Contraction

Now, we prove and state a fixed-point theorem for a generalized Ćirić-type contraction in KS - FbMS .
The following lemmas play a crucial role in the proof of Cauchy sequence.
Lemma 2.
Let ( M , D , L , R , b ) be a KS - FbMS with ( R 2), T : M M be a map and x 0 M . Let { x n } n = 0 be a sequence by x n = T x n 1 = T n x 0 , for each n N , (where it is understood that T 0 x 0 = x 0 ). Define
D ( μ , ν ) : = max { ρ ^ t ( x i , x j ) : μ i < j ν } ,
where i , j , μ , ν N and for any t ( 0 , 1 ] . If T is a generalized Ćirić-type contraction with contraction constant λ ^ [ 0 , 1 ) , Then D ( μ + 1 , ν ) λ ^ D ( μ , ν ) , where μ , ν N .
Proof. 
For x 0 M , i , j , μ , ν N , with ν μ > 1 and μ + 1 i < j ν . Suppose that t ( 0 , 1 ] , Since T is a generalized Ćirić-type contraction with λ ^ [ 0 , 1 ) , we have
ρ ^ t ( x i , x j ) = ρ ^ t ( T x i 1 , T x j 1 ) λ ^ max ρ ^ t ( x i 1 , x j 1 ) , ρ ^ t ( x i 1 , x i ) , ρ ^ t ( x j 1 , x j ) , ρ ^ t ( x i 1 , x j ) , ρ ^ t ( x i , x j 1 ) , ρ ^ t ( x i + 1 , x i 1 ) , ρ ^ t ( x i + 1 , x i ) , ρ ^ t ( x i + 1 , x j 1 ) , ρ ^ t ( x i + 1 , x j ) λ ^ D ( μ , ν ) .
thus we have D ( μ + 1 , ν ) λ ^ D ( μ , ν ) .
Remark 3.
It follows from Lemma 2 that D ( μ , ν ) = max { ρ ^ t ( x μ , x k ) : μ < k ν } , where μ , ν N and for any t ( 0 , 1 ] . Indeed, since D ( μ + 1 , ν ) λ ^ D ( μ , ν ) < D ( μ , ν ) , where 0 λ ^ < 1 , we have
D ( μ , ν ) = max { ρ ^ t ( x i , x j ) : μ i < j ν } = max max { ρ ^ t ( x μ , x k ) : μ < k ν } , D ( μ + 1 , ν ) = max { ρ ^ t ( x μ , x k ) : μ < k ν } .
Lemma 3.
Let ( M , D , L , R , b ) be a KS - FbMS with ( R 2), T : M M be a generalized Ćirić-type contraction with contraction constant λ ^ [ 0 , 1 ) . For x 0 M , let { x n } n = 0 be a sequence by x n = T x n 1 = T n x 0 , for all n N , (where it is understood that T 0 x 0 = x 0 ). Then { x n } is a Cauchy sequence in M .
Proof. 
First we prove that the following assertion holds. There exists M > 0 , such that D ( 0 , n ) M , for any n N .
  • Since for any λ ^ [ 0 , 1 ) , there exists p N , such that λ ^ p < 1 b . If D ( 0 , n ) D ( 0 , p ) , for any n N , then assertion holds. Otherwise, if D ( 0 , n p ) > D ( 0 , p ) , for some n p N , then there exists integer r n p , such that D ( 0 , n p ) = ρ ^ t ( x 0 , x r ) for any t ( 0 , 1 ] and p < r . Applying a triangle inequality and Lemma 2. For any t ( 0 , 1 ] , then there exists s = s ( t ) ( 0 , t ] , such that
    D ( 0 , n p ) = ρ ^ t ( x 0 , x r ) b ρ ^ s ( x 0 , x p ) + b ρ ^ t ( x p , x r ) b ρ ^ s ( x 0 , x p ) + b D ( p , n p ) b ρ ^ s ( x 0 , x p ) + b λ ^ D ( p 1 , n p ) b ρ ^ s ( x 0 , x p ) + b λ ^ p D ( 0 , n p ) ,
  • Therefore,
    D ( 0 , n p ) b 1 b λ ^ p ρ ^ s ( x 0 , x p ) .
  • Let
    M : = max D ( 0 , p ) , b 1 b λ ^ p ρ ^ s ( x 0 , x p ) .
  • Therefore, we have D ( 0 , n ) M for any n N , where t ( 0 , 1 ] , s = s ( t ) ( 0 , t ] .
  • Next, we shall show that { x n } is a Cauchy sequence in M . For any m , n N with m < n and t ( 0 , 1 ] , T be a generalized Ćirić-type contraction, it follows from Lemma 2 that ρ ^ t ( x m , x n ) D ( m , n ) λ ^ m D ( 0 , n ) . Moreover, it follows from λ ^ [ 0 , 1 ) that lim n , m ρ ^ t ( x m , x n ) = 0 . Hence, { x n } is a Cauchy sequence in M . □
As we have seen that the metric d in b- MS is discontinuous in general and d does not have Fatou property. Moreover, it follows that Fatou property is strictly weaker than continuity (see [21]). It is easily seen that the metric D has the analogous property in the KS - FbMS ( M , D , L , R , b ). In order to study the existence and uniqueness of the fixed-point for such mappings, we assume that D has the Fatou property.
The following notion of the Fatou property is due to Li et al. [12].
Definition 5.
Let ( M , D , L , R , b ) be a KS - FbMS with ( R 2). D is called to have the Fatou property if, for any t ( 0 , 1 ] ,
ρ ^ t ( x , y ) lim inf n ρ ^ t ( x n , y ) ,
whenever { x n } M with lim n ρ ^ t ( x n , x ) = 0 and any y M .
Now we can state our main result.
Theorem 1.
Let ( M , D , L , R , b ) be a complete KS - FbMS with ( R 2), T : M M be a generalized Ćirić-type contraction with contraction constant λ ^ [ 0 , 1 ) . If one of the following conditions is satisfied
(1)
D has the Fatou property,
(2)
λ ^ 0 , 1 b ,
then T has a unique fixed-point in M .
Proof. 
Given x 0 M , set { x n } n = 0 a sequence by x n = T x n 1 = T n x 0 , for each n N , (where it is understood that T 0 x 0 = x 0 ). It follows from Lemma 3 that { x n } is a Cauchy sequence in M . Notice that ( M , D , L , R , b ) be a complete KS - FbMS . Therefore, there exists v M such that lim n ρ ^ t ( x n , v ) = 0 , for all t ( 0 , 1 ] .
  • If (1) holds, we show that v is a fixed-point of T. Assume that, on the contrary, T v v , that is, ρ ^ t 0 ( T v , v ) > 0 for some t 0 ( 0 , 1 ] . Since T is a generalized Ćirić-type contraction with λ ^ [ 0 , 1 ) , we have
    ρ ^ t 0 ( x n + 1 , T v ) = ρ ^ t 0 ( T x n , T v ) λ ^ max ρ ^ t 0 ( x n , v ) , ρ ^ t 0 ( x n , x n + 1 ) , ρ ^ t 0 ( v , T v ) , ρ ^ t 0 ( x n , T v ) , ρ ^ t 0 ( x n + 1 , v ) , ρ ^ t 0 ( x n + 2 , x n ) , ρ ^ t 0 ( x n + 2 , x n + 1 ) , ρ ^ t 0 ( x n + 2 , v ) , ρ ^ t 0 ( x n + 2 , T v )
  • Using the fact that lim n ρ ^ t 0 ( x n , v ) = 0 and D has the Fatou property, we obtain
    ρ ^ t 0 ( v , T v ) lim inf n ρ ^ t 0 ( x n , T v ) = lim inf n ρ ^ t 0 ( x n + 1 , T v ) .
  • On the other hand, since:
    lim n ρ ^ t 0 ( x n , v ) = lim n ρ ^ t 0 ( x n , x n + 1 ) = lim n ρ ^ t 0 ( x n + 1 , v ) = lim n ρ ^ t 0 ( x n + 2 , x n ) = lim n ρ ^ t 0 ( x n + 2 , x n + 1 ) = lim n ρ ^ t 0 ( x n + 2 , v ) = 0 .
  • Combining Equations (3)–(5), we obtain that:
    ρ ^ t 0 ( v , T v ) lim inf n ρ ^ t 0 ( x n + 1 , T v ) λ ^ max lim n ρ ^ t 0 ( x n , v ) , lim n ρ ^ t 0 ( x n , x n + 1 ) , ρ ^ t 0 ( v , T v ) , lim inf n ρ ^ t 0 ( x n , T v ) , lim n ρ ^ t 0 ( x n + 1 , v ) , lim n ρ ^ t 0 ( x n + 2 , x n ) , lim n ρ ^ t 0 ( x n + 2 , x n + 1 ) , lim n ρ ^ t 0 ( x n + 2 , v ) , lim inf n ρ ^ t 0 ( x n + 2 , T v ) = λ ^ max ρ ^ t 0 ( v , T v ) , lim inf n ρ ^ t 0 ( x n , T v ) , lim inf n ρ ^ t 0 ( x n + 2 , T v ) = λ ^ lim inf n ρ ^ t 0 ( x n , T v ) .
  • Thus, we find that
    lim inf n ρ ^ t 0 ( x n , T v ) = lim inf n ρ ^ t 0 ( x n + 1 , T v ) λ ^ lim inf n ρ ^ t 0 ( x n , T v ) .
  • We obtain
    lim inf n ρ ^ t 0 ( x n , T v ) = 0 ,
  • and hence
    ρ ^ t 0 ( v , T v ) = 0 ,
  • which is a contradiction. Thus, T v = v and T has a fixed-point in M .
  • If T has another fixed-point v * M , that is T v * = v * and v * v , then ρ ^ t 0 ( v * , v ) > 0 for some t 0 ( 0 , 1 ] . Since
    ρ ^ t 0 ( v * , v ) = ρ ^ t 0 ( T v * , T v ) λ ^ max ρ ^ t 0 ( v * , v ) , ρ ^ t 0 ( v * , T v * ) , ρ ^ t 0 ( v , T v ) , ρ ^ t 0 ( v * , T v ) , ρ ^ t 0 ( T v * , v ) , ρ ^ t 0 ( T 2 v * , v * ) , ρ ^ t 0 ( T 2 v * , T v * ) , ρ ^ t 0 ( T 2 v * , v ) , ρ ^ t 0 ( T 2 v * , T v ) = λ ^ ρ ^ t 0 ( v * , v ) < ρ ^ t 0 ( v * , v ) ,
  • which is a contradiction. Hence v * = v , i.e., T has a unique fixed-point in M .
  • Next, we verify (2). Since T is a generalized Ćirić-type contraction with λ ^ [ 0 , 1 ) , we have
    ρ ^ t ( x n + 1 , T v ) = ρ ^ t ( T x n , T v ) λ ^ max ρ ^ t ( x n , v ) , ρ ^ t ( x n , x n + 1 ) , ρ ^ t ( v , T v ) , ρ ^ t ( x n , T v ) , ρ ^ t ( x n + 1 , v ) , ρ ^ t ( x n + 2 , x n ) , ρ ^ t ( x n + 2 , x n + 1 ) , ρ ^ t ( x n + 2 , v ) , ρ ^ t ( x n + 2 , T v ) ,
  • for any n N and t ( 0 , 1 ] .
  • Note that for any n N , the following three cases are discussed.
  • (i) If ρ ^ t ( x n + 1 , T v ) λ ^ ρ ^ t ( v , T v ) , since for any t ( 0 , 1 ] , there exists s = s ( t ) ( 0 , t ] , such that
    ρ ^ t ( x n + 1 , T v ) λ ^ b ρ ^ s ( x n + 1 , v ) + λ ^ b ρ ^ t ( x n + 1 , T v ) ,
    we obtain
    ρ ^ t ( x n + 1 , T v ) λ ^ b 1 λ ^ b ρ ^ s ( x n + 1 , v ) .
  • (ii) If ρ ^ t ( x n + 1 , T v ) λ ^ ρ ^ t ( x n , T v ) , then
    ρ ^ t ( x n + 1 , T v ) λ ^ b ρ ^ s ( x n , x n + 1 ) + λ ^ b ρ ^ t ( x n + 1 , T v ) ,
    which deduces
    ρ ^ t ( x n + 1 , T v ) λ ^ b 1 λ ^ b ρ ^ s ( x n , x n + 1 ) .
  • (iii) If ρ ^ t ( x n + 1 , T v ) λ ^ ρ ^ t ( x n + 2 , T v ) , then
    ρ ^ t ( x n + 1 , T v ) λ ^ b ρ ^ s ( x n + 2 , x n + 1 ) + λ ^ b ρ ^ t ( x n + 1 , T v ) ,
    which deduces
    ρ ^ t ( x n + 1 , T v ) λ ^ b 1 λ ^ b ρ ^ s ( x n + 2 , x n + 1 ) .
  • Therefore, by the above, we obtain that
    ρ ^ t ( x n + 1 , T v ) λ ^ max ρ ^ t ( x n , v ) , ρ ^ t ( x n , x n + 1 ) , λ ^ b 1 λ ^ b ρ ^ s ( x n + 1 , v ) , λ ^ b 1 λ ^ b ρ ^ s ( x n , x n + 1 ) , ρ ^ t ( x n + 1 , v ) , ρ ^ t ( x n + 2 , x n ) , ρ ^ t ( x n + 2 , x n + 1 ) , ρ ^ t ( x n + 2 , v ) , λ ^ b 1 λ ^ b ρ ^ s ( x n + 2 , x n + 1 ) ,
    for any t ( 0 , 1 ] and n N . Since lim n ρ ^ t ( x n , v ) = 0 , for any t ( 0 , 1 ] , we have that lim n ρ ^ s ( x n , v ) = 0 , where s = s ( t ) ( 0 , t ] .
  • Hence, by Equation (6), we conclude that
    lim n ρ ^ t ( x n + 1 , T v ) = 0 .
  • By Lemma 1, we have T v = v . It is immediate from the proof of (1) that T has the unique fixed-point v in M . □
Remark 4.
It is immediate from Theorem 1 that we can conclude Theorem 3.1 in [19] and Theorem 1 in [13].
The next result readily follows from the above theorem.
Corollary 1.
Let ( M , D , L , R , b ) be a complete KS - FbMS with ( R 2), T k : M M be a generalized Ćirić-type contraction with contraction constant λ ^ [ 0 , 1 ) , for some k Z + . If one of the following conditions is satisfied
(1)
D has the Fatou property,
(2)
λ ^ 0 , 1 b ,
then T has a unique fixed-point in M .
Proof. 
By the conclusion of Theorem 1, T k has a unique fixed-point u in M and T k ( T u ) = T ( T k u ) = T u , it implies that T u = u , that is, T has a fixed-point u. Its uniqueness is obvious. □
To illustrate Theorem 1 we construct two examples, and show that these two conditions in Theorem 1 are complete independence. Next, we present an example that satisfies ( 1 ) in Theorem 1, but nor is ( 2 ) satisfied.
Example 2.
Let M = X a X c X e X f X g , where a , c , e , f , and g are five distinct indexes, X i : = { i } × [ 0 , 1 ] , i { a , c , e , f , g } , and define d : M × M [ 0 , 2 ] , as follows
d ( x , y ) = | x ˜ y ˜ | , x , y X i , x ˜ y ˜ 0 , 1 3 | x ˜ y ˜ | , x , y X i , x ˜ y ˜ = 0 , 2 , ( x , y ) { ( X a , X c ) , ( X c , X a ) , ( X a , X e ) , ( X e , X a ) } , 1 , otherwise ,
  • where x : = ( i , x ˜ ) , y : = ( j , y ˜ ) ; x ˜ , y ˜ [ 0 , 1 ] .
  • Let T : M M be a mapping defined by
    T x = ( a , 1 2 x ˜ ) , x X i , i { a , f , g } , ( f , x ˜ ) , x X c , ( g , x ˜ ) , x X e ,
    for any x = ( i , x ˜ ) , x ˜ [ 0 , 1 ] , and D ( x , y ) : R R be a mapping. If x = y M , we define D ( x , y ) ( ξ ) = 0 ¯ ( ξ ) for any ξ R . If x , y M with x y , D ( x , y ) is defined by
    D ( x , y ) ( ξ ) = 0 , ξ < 0 , 1 1 + ξ d ( x , y ) , ξ 0 ,
    and L ( α , β ) = min { α , β } , R ( α , β ) = max { α , β } ,then the following assertions hold:
  • (1) ( M , d ) is a complete b- MS with the coefficient b = 3 ;
  • (2) ( M , D , L , R , b ) is a complete KS - FbMS with ( R 2) and the coefficient b = 3 ;
  • (3) T : M M is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with contraction constant λ ^ = 1 2 > 1 b . However, T is not a Ćirić-type contraction;
  • (4) D has the Fatou property;
  • (5) T has a unique fixed-point in M .
Proof. 
(1) The proof is analogous to the proof of Example 1.
(2) It is clear that ( R 2) holds. Moreover, the inclusion can be proved in the same way as in the proof of Example 1, the only difference being that Case R 3 with b = 3 .
Case R 3. Assume that θ > 0 and δ > 0 . For x , y , z M .
(i) If x = y and z M , then
D ( x , y ) ( 3 ( θ + δ ) ) = 0 max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
(ii) If z = x y or x y = z , we may assume that z = x y , then
D ( x , y ) ( 3 ( θ + δ ) ) = 1 1 + 3 ( θ + δ ) d ( x , y ) = 1 1 + 3 ( θ + δ ) d ( z , y ) 1 1 + δ d ( z , y ) = D ( z , y ) ( δ ) max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
(iii) If x y z . Note that
min θ d ( x , z ) , δ d ( z , y ) θ + δ d ( x , z ) + d ( z , y ) .
Then
D ( x , y ) ( 3 ( θ + δ ) ) = 1 1 + 3 ( θ + δ ) d ( x , y ) 1 1 + 3 ( θ + δ ) 3 ( d ( x , z ) + d ( z , y ) ) 1 1 + min θ d ( x , z ) , δ d ( z , y ) max 1 1 + θ d ( x , z ) , 1 1 + δ d ( z , y ) = max { D ( x , z ) ( θ ) , D ( z , y ) ( δ ) } .
We thus conclude that ( M , D , L , R , b ) is a KS - FbMS .
On the other hand, it follows from the definition of D ( x , y ) that
D ( x , y ) ( ρ ^ t ( x , y ) ) = t ,
for all t ( 0 , 1 ] . Hence, we have
ρ ^ t ( x , y ) = 1 t t d ( x , y ) .
  • Moreover, by (1), we obtain that ( M , D , L , R , b ) is a complete KS - FbMS with ( R 2) and the coefficient b = 3 .
  • (3) For any x , y M , the following four cases are considered:
  • Case 1. If x X c , y X e or x X e , y X c ; we may assume that x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , where x ˜ , y ˜ [ 0 , 1 ] , we have ρ ^ t ( T x , T y ) = ρ ^ t ( x , y ) = ρ ^ t ( x , T x ) = ρ ^ t ( y , T y ) = ρ ^ t ( x , T y ) = ρ ^ t ( y , T x ) = ρ ^ t ( T 2 x , T x ) = ρ ^ t ( T 2 x , T y ) = 1 t t , ρ ^ t ( T 2 x , x ) = ρ ^ t ( T 2 x , y ) = 2 · 1 t t , where t ( 0 , 1 ] .
  • Case 2. If x , y X c or x , y X e ; we may assume that x = ( c , x ˜ ) , y = ( c , y ˜ ) X c , we have ρ ^ t ( T x , T y ) = ρ ^ t ( x , y ) 1 t t , ρ ^ t ( T 2 x , x ) = 2 · 1 t t , where t ( 0 , 1 ] .
  • Case 3. If x X i , y X j , where i , j { a , f , g } ; for x = ( i , x ˜ ) , y = ( j , y ˜ ) , we have ρ ^ t ( T x , T y ) 1 2 ρ ^ t ( i , x ˜ ) , ( j , y ˜ ) = 1 2 ρ ^ t ( x , y ) , where t ( 0 , 1 ] .
  • Case 4. If x X i , where i { a , f , g } , y X c or X e ; for x = ( i , x ˜ ) X i , we may assume that y = ( c , y ˜ ) X c , we have ρ ^ t ( T x , T y ) = 1 t t , ρ ^ t ( T x , y ) = 2 · 1 t t , where t ( 0 , 1 ] .
  • The above calculations present that T is not Ćirić-type contraction for x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , because there is no a non-negative number λ ^ < 1 satisfying the Ćirić-type contraction condition. However, it follows that T is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with λ ^ = 1 2 > 1 b and for all x , y M .
  • (4) Now, we will show that D has the Fatou property.
  • Given x , y M . Let { x n } be a sequence in M and x n converges to x. If there exists n ^ N , s.t. x n = x for any n n ^ , then, for any t ( 0 , 1 ] ,
    ρ ^ t x , y = lim inf n ρ ^ t ( x n , y ) .
  • Otherwise, we may assume that x n x for all n N . The following two cases are considered.
  • Case F1. If x X i , y X j , where i j and i , j { a , c , e , f , g } . It follows from ρ ^ t ( x n , x ) 0 that there exists n ¯ N , s.t. x n X i for all n n ¯ . Hence, for each t ( 0 , 1 ] , we have ρ ^ t x , y = lim inf n ρ ^ t ( x n , y ) .
  • Case F2. If x = ( i , x ˜ ) , y = ( i , y ˜ ) X i , where i { a , c , e , f , g } . In this case, we discuss the following three subcases.
  • Case F2a. If x ˜ y ˜ 0 . Since x n converges to x ( i , 0 ) , then there exists n 0 N , s.t. x n ( i , 0 ) for any n n 0 . We thus conclude that
    ρ ^ t x , y = 1 t t | x ˜ y ˜ | 1 t t | x ˜ x ˜ n | + 1 t t | x ˜ n y ˜ | = ρ ^ t ( x , x n ) + ρ ^ t x n , y ,
    for any n n 0 . Hence we have ρ ^ t ( x , y ) lim inf n ρ ^ t ( x n , y ) .
  • Case F2b. If x ˜ 0 , y ˜ = 0 . Thus, there exists n 0 N , s.t. x n ( i , 0 ) for any n n 0 . Hence, we find that
    ρ ^ t x , y = 1 t t · 1 3 | x ˜ y ˜ | 1 t t · 1 3 | x ˜ x ˜ n | + 1 t t · 1 3 | x ˜ n y ˜ | = 1 3 ρ ^ t ( x , x n ) + ρ ^ t x n , y .
  • Hence we find ρ ^ t ( x , y ) lim inf n ρ ^ t ( x n , y ) .
  • Case F2c. If x ˜ = 0 . In this case, if y ˜ = 0 , then x = y and ρ ^ t ( x , y ) lim inf n ρ ^ t ( x n , y ) , where t ( 0 , 1 ] . So we suppose y ˜ 0 . Since x n x for all n N , we obtain that
    ρ ^ t x , y = 1 t t · 1 3 | x ˜ y ˜ | 1 t t · 1 3 | x ˜ x ˜ n | + 1 t t · 1 3 | x ˜ n y ˜ | = ρ ^ t ( x , x n ) + 1 3 ρ ^ t x n , y .
  • Hence, we find
    ρ ^ t ( x , y ) 1 3 lim inf n ρ ^ t ( x n , y ) lim inf n ρ ^ t ( x n , y ) .
  • In light of the above, it is clear that D has the Fatou property.
  • (5) It is obvious that there exist a unique x = ( a , 0 ) M , such that T x = x . Hence, T has a unique fixed-point in M . □
In the following example, ( 2 ) in Theorem 1 holds, but nor ( 1 ) is satisfied.
Example 3.
Let M = X a X c X e X f X g , where a , c , e , f and g are five distinct indexes, X i : = { i } × [ 0 , 1 ] , i { a , c , e , f , g } , and define d : M × M [ 0 , 6 ] , as follows
d ( x , y ) = | x ˜ y ˜ | , x , y X i , x ˜ y ˜ 0 , 2 | x ˜ y ˜ | , x , y X i , x ˜ y ˜ = 0 , 6 , ( x , y ) { ( X a , X c ) , ( X c , X a ) , ( X a , X e ) , ( X e , X a ) } , 2 , otherwise ,
  • where x : = ( i , x ˜ ) , y : = ( j , y ˜ ) ; x ˜ , y ˜ [ 0 , 1 ] .
  • Let T : M M be a mapping defined by
    T x = ( a , 1 3 x ˜ ) , x X i , i { a , f , g } , ( f , x ˜ ) , x X c , ( g , x ˜ ) , x X e ,
    for any x = ( i , x ˜ ) , x ˜ [ 0 , 1 ] , and D ( x , y ) : R R be a mapping. If x = y M , we define D ( x , y ) ( ξ ) = 0 ¯ ( ξ ) for any ξ R . If x , y M with x y , D ( x , y ) is defined by
    D ( x , y ) ( ξ ) = 0 , ξ < 0 , 1 1 + ξ d ( x , y ) , ξ 0 ,
    and L ( α , β ) = min { α , β } , R ( α , β ) = max { α , β } ,then the following assertions hold:
  • (1) ( M , d ) is a complete b- MS with the coefficient b = 2 ;
  • (2) ( M , D , L , R , b ) is a complete KS - FbMS with ( R 2) and the coefficient b = 2 ;
  • (3) T : M M is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with λ ^ = 1 3 < 1 b . However, T is not a Ćirić-type contraction;
  • (4) D fails to have the Fatou property;
  • (5) T has a unique fixed-point in M .
Proof. 
  • (1). The proof is analogous to the proof of Example 1.
  • (2). The inclusion can be proved in the same way as in the proof of Example 2.
  • (3). For any x , y M , we discuss the following four cases:
  • Case 1. If x X c , y X e or x X e , y X c ; we may suppose that x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , where x ˜ , y ˜ [ 0 , 1 ] , we have ρ ^ t ( T x , T y ) = ρ ^ t ( x , y ) = ρ ^ t ( x , T x ) = ρ ^ t ( y , T y ) = ρ ^ t ( x , T y ) = ρ ^ t ( y , T x ) = ρ ^ t ( T 2 x , T x ) = ρ ^ t ( T 2 x , T y ) = 2 · 1 t t , ρ ^ t ( T 2 x , x ) = ρ ^ t ( T 2 x , y ) = 6 · 1 t t , where t ( 0 , 1 ] .
  • Case 2. If x , y X c or x , y X e ; we may suppose that x = ( c , x ˜ ) , y = ( c , y ˜ ) X c , we find ρ ^ t ( T x , T y ) = ρ ^ t ( x , y ) 2 · 1 t t , ρ ^ t ( T 2 x , x ) = 6 · 1 t t , where t ( 0 , 1 ] .
  • Case 3. If x X i , y X j , where i , j { a , f , g } ; for x = ( i , x ˜ ) , y = ( j , y ˜ ) , we have ρ ^ t ( T x , T y ) 1 3 ρ ^ t ( i , x ˜ ) , ( j , y ˜ ) = 1 3 ρ ^ t ( x , y ) , where t ( 0 , 1 ] .
  • Case 4. If x X i , where i { a , f , g } , y X c or X e ; for x = ( i , x ˜ ) X i , we may suppose that y = ( c , y ˜ ) X c , we have ρ ^ t ( T x , T y ) = 2 · 1 t t , ρ ^ t ( T x , y ) = 6 · 1 t t , where t ( 0 , 1 ] .
  • The above calculations show that T is not Ćirić-type contraction for x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , because there is no a non-negative number λ ^ < 1 satisfying the Ćirić-type contraction condition. However, it follows that T is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with contraction constant λ ^ = 1 3 < 1 b and for any x , y M .
  • (3). Now, we show that D fails to have the Fatou property.
  • Choose x n = a , 1 n , n N and y = ( a , 1 ) . Then, for x n ( a , 0 ) , we have that ρ ^ t x n , ( a , 0 ) = ρ ^ t a , 1 n , ( a , 0 ) = 2 ( 1 t ) nt 0 as n . Since
    lim inf n ρ ^ t ( x n , y ) = lim inf n 1 t t 1 1 n = 1 t t ,
    ρ ^ t ( a , 0 ) , ( a , 1 ) = 2 ( 1 t ) t > lim inf n ρ ^ t ( x n , y ) ,
    where t ( 0 , 1 ) , we obtain that D fails to have the Fatou property.
  • (4). It is obvious that there exist a unique x = ( a , 0 ) M , such that T x = x . Hence, T has a unique fixed-point in M . □
Remark 5.
It is noteworthy that in Example 2 and Example 3, if we took d ( x , y ) = α | x ˜ y ˜ | , when x , y X i and x ˜ y ˜ = 0 , it is easy to obtain that the following assertions hold:
(1) If α > 1 , then b = α and D fails to have the Fatou property.
(2) If α < 1 , then b = 1 α and D has Fatou property.
The following example illustrates that the conditions in Theorem 1 are sufficient but not necessary for the existence of unique fixed-points.
Example 4.
Let M = X a X c X e X f X g , where a , c , e , f , and g are five distinct indexes, X i : = { i } × [ 0 , 1 ] , i { a , c , e , f , g } , and define d : M × M [ 0 , 3 ] , as follows
d ( x , y ) = | x ˜ y ˜ | , x , y X i , x ˜ y ˜ 0 , 2 | x ˜ y ˜ | , x , y X i , x ˜ y ˜ = 0 , 3 , ( x , y ) { ( X a , X c ) , ( X c , X a ) , ( X a , X e ) , ( X e , X a ) } , 2 , otherwise ,
  • where x : = ( i , x ˜ ) , y : = ( j , y ˜ ) ; x ˜ , y ˜ [ 0 , 1 ] .
  • Let T : M M be a map defined by
    T x = ( a , 2 3 x ˜ ) , x X i , i { a , f , g } , ( f , x ˜ ) , x X c , ( g , x ˜ ) , x X e ,
  • for any x = ( i , x ˜ ) , x ˜ [ 0 , 1 ] , and D ( x , y ) : R R be a mapping. If x = y M , we define D ( x , y ) ( ξ ) = 0 ¯ ( ξ ) , for any ξ R . If x , y M with x y , D ( x , y ) is defined by
    D ( x , y ) ( ξ ) = 0 , ξ < 0 , 1 1 + ξ d ( x , y ) , ξ 0 ,
  • and L ( α , β ) = min { α , β } , R ( α , β ) = max { α , β } ,
  • then the following assertions hold:
  • (1) ( M , D , L , R , b ) is a complete KS - FbMS with ( R 2) and the coefficient b = 2 ;
  • (2) T : M M is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with λ ^ = 2 3 > 1 b . However, T is not a Ćirić-type contraction;
  • (3) D fails to have the Fatou property;
  • (4) T has a unique fixed-point in M .
Proof. 
  • (1). The inclusion can be proved in the same way as in the proof of Example 3.
  • (2). For any x , y M , we discuss the following four cases:
  • Case 1. If x X c , y X e or x X e , y X c ; we may suppose that x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , where x ˜ , y ˜ [ 0 , 1 ] , we have ρ ^ t ( T x , T y ) = ρ ^ t ( x , y ) = ρ ^ t ( x , T x ) = ρ ^ t ( y , T y ) = ρ ^ t ( x , T y ) = ρ ^ t ( y , T x ) = ρ ^ t ( T 2 x , T x ) = ρ ^ t ( T 2 x , T y ) = 2 · 1 t t , ρ ^ t ( T 2 x , x ) = ρ ^ t ( T 2 x , y ) = 3 · 1 t t , where t ( 0 , 1 ] .
  • Case 2. If x , y X c or x , y X e ; we may suppose that x = ( c , x ˜ ) , y = ( c , y ˜ ) X c , we have ρ ^ t ( T x , T y ) = ρ ^ t ( x , y ) 2 · 1 t t , ρ ^ t ( T 2 x , x ) = 3 · 1 t t , where t ( 0 , 1 ] .
  • Case 3. If x X i , y X j , where i , j { a , f , g } ; for x = ( i , x ˜ ) , y = ( j , y ˜ ) , we have ρ ^ t ( T x , T y ) 2 3 ρ ^ t ( i , x ˜ ) , ( j , y ˜ ) = 2 3 ρ ^ t ( x , y ) , where t ( 0 , 1 ] .
  • Case 4. If x X i , where i { a , f , g } , y X c or X e ; for x = ( i , x ˜ ) X i , we may suppose that y = ( c , y ˜ ) X c , we have ρ ^ t ( T x , T y ) = 2 · 1 t t , ρ ^ t ( T x , y ) = 3 · 1 t t , where t ( 0 , 1 ] .
  • The above calculations show that T is not a Ćirić-type contraction for x = ( c , x ˜ ) X c , y = ( e , y ˜ ) X e , because there is no a non-negative number λ ^ < 1 satisfying the Ćirić-type contraction condition. However, it follows that T is a generalized Ćirić-type contraction in ( M , D , L , R , b ) with contraction constant λ ^ = 2 3 > 1 b and for all x , y M .
  • (3). It follows from Example 3 that D fails to have the Fatou property.
  • (4). It is obvious that there exist a unique x = ( a , 0 ) M , such that T x = x . Hence, T has a unique fixed-point in M . □
Next, we give some corollaries on Ćirić-type fixed-point theorems in KS - FbMS .
Corollary 2.
Let ( M , D , L , R , b ) be a complete KS - FbMS with ( R 2), T : M M be a Ćirić-type contraction with contraction constant λ ^ [ 0 , 1 ) , which satisfies one of the following conditions,
(1)
λ ^ 0 , 1 b ,
(2)
D has the Fatou property,
then T has a unique fixed-point in M .
Remark 6.
It is immediate from Corollary 2 that we can conclude Theorem 13 in [12].
Corollary 3.
Let ( M , D , L , R , b ) be a complete KS - FbMS with ( R 2), T k : M M be a Ćirić-type contraction with contraction constant λ ^ [ 0 , 1 ) , for some k Z + . If one of the following conditions are satisfied
(1)
λ ^ 0 , 1 b ,
(2)
D satisfies the Fatou property,
then T has a unique fixed-point in M .
Remark 7.
It is immediate from Corollary 3 that we can conclude one of the main results of Theorem 2 in [13].

5. Existence of Solution to Volterra Integral Equation

Integral equation theory plays an important role in applied mathematics. Volterra integral equations are used in many fields of physics, such as actuarial sciences, demography, potential theory and Dirichlet problems, reactor theory, electrostatics, among others [10,22,23].
Let us discuss the following Volterra integral equation:
x ( s ) = ϕ ( s ) + μ 0 s k ( s , v ) x ( v ) d v , s [ 0 , 1 ] .
By applying Corollary 1, we show the existence of solution to the Equation (7).
Example 5.
Suppose that the Equation (7) satisfies the following conditions; k ( s , v ) and ϕ ( s ) are continuous for 0 s 1 , 0 v 1 . Then, the Equation (7) has a unique solution in C [ 0 , 1 ] .
Indeed, let M = C [ 0 , 1 ] , and define d : M × M R , as follows
d ( x , y ) = 1 3 max 0 s 1 | x ( s ) y ( s ) | , x ( s ) y ( s ) 0 , s [ 0 , 1 ] ; max 0 s 1 | x ( s ) y ( s ) | , o t h e r ;
where x , y M .
Let T : M M defined by
T x ( s ) = ϕ ( s ) + μ 0 s k ( s , v ) x ( v ) d v .
D ( x , y ) : R R be a mapping. If x = y M , we define D ( x , y ) ( ξ ) = 0 ¯ ( ξ ) , for any ξ R . If x , y M with x y , D ( x , y ) is defined by
D ( x , y ) ( ξ ) = 0 , ξ < 0 , e ξ d ( x , y ) , ξ 0 ,
and L ( α , β ) = min { α , β } , R ( α , β ) = max { α , β } ,
Notice that ( M , D , L , R , b ) is a complete KS - FbMS with ( R 2) and the coefficient b = 3 , and D satisfies the Fatou property.
Next, we shall show that T k : M M is a generalized Ćirić-type contraction in ( M , D , L , R , b ) , for some k Z + .
| T x T y | = | μ | 0 s k ( s , v ) [ x ( v ) y ( v ) ] d v | μ | M s max 0 s 1 | x ( s ) y ( s ) | ,
where M = max 0 s 1 , 0 v s . 1 | k ( s , v ) | . Moreover, we have:
| T 2 x T 2 y | = | T ( T x ) T ( T y ) | | μ | 2 M 2 0 s v max 0 s 1 | x ( v ) y ( v ) | d v = | μ | 2 M 2 s 2 2 ! max 0 s 1 | x ( s ) y ( s ) | .
By induction, for any n Z + , we conclude that
| T n x T n y | | μ | n M n s n n ! max 0 s 1 | x ( s ) y ( s ) | .
Furthermore, we have that:
d ( T n x , T n y ) max 0 s 1 | T n x T n y | | μ | n M n 1 n ! max 0 s 1 | x ( s ) y ( s ) | 3 n ! | μ | n M n d ( x , y ) .
By the proof of Example 1, we have ρ ^ t ( T n x , T n y ) 3 n ! | μ | n M n ρ ^ t ( x , y ) , for all t ( 0 , 1 ] .
Since 3 n ! | μ | n M n 0 ( n ) , then there exists a finite positive integer k such that 0 < 3 k ! | μ | k M k < 1 . Hence, we have that T k : M M is a generalized Ćirić-type contraction in ( M , D , L , R , b ) , for some k Z + .
So, by applying Corollary 1, T has a unique fixed-point in M , i.e., the Equation (7) has a unique solution in C [ 0 , 1 ] .
In particular, the following Volterra integral equation is considered:
x ( s ) = s + 0 s ( v s ) x ( v ) d v , s [ 0 , 1 ] .
Define T : M M as follows:
T x ( s ) = s + 0 s ( v s ) x ( v ) d v .
Note that, since ϕ ( s ) = s , μ = 1 , k ( s , v ) = v s , we have 3 n ! | μ | n M n = 3 n ! . Thus, T 3 : M M is a generalized Ćirić-type contraction.
It is not difficult to verify that x ( s ) = sin s is the unique solution for Equation (9).

6. Conclusions

In this paper, we research a generalized Ćirić-type fixed-point theorem in KS - FbMS . Roughly speaking, the KS - FbMS is much broader and the generalized Ćirić-type contraction is much weaker. Our main result improves some fixed-point theorems in the literature, such as a fixed-point theorem of the Ćirić-type contraction in metric spaces ([13], Theorem 1), a fixed-point theorem of the generalized Ćirić-type contraction in metric spaces ([19], Theorem 3.1), a fixed-point theorem of the Ćirić-type contraction in b- MS ([21], Theorem 3) and a fixed-point theorem of the Reich type contraction in KS - FbMS ([12], Theorem 13). As an application, we show the existence of solution to Volterra equation in KS - FbMS .
In addition, from Example 4, we see that two sufficient conditions are not necessary for the existence of unique fixed-point. Naturally, the question arises, what is the only necessary condition for the existence of unique fixed-point theorems for generalized Ćirić-type contractions in KS - FbMS ?
As future research direction, we point out the following:
1. To study necessary and sufficient conditions for the existence of unique fixed-point theorems for generalized Ćirić-type contractions in KS - FbMS ;
2. To study fixed-point theorems for contractions of Boyd–Wong type in KS - FbMS .

Author Contributions

All authors contributed equal to the job. All authors have read and agreed to the published version of the manuscript.

Funding

Research supported by the National Natural Science Foundation of China (12061050), the Natural Science Foundation of Inner Mongolia (2020MS01004) and Research Program of science and technology at Universities of Inner Mongolia Autonomous Region (NJZY22324).

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to express their sincere thanks to the reviewers for their valuable suggestions and comments.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kaleva, O.; Seikkala, S. On fuzzy metric spaces. Fuzzy Sets Syst. 1984, 12, 215–229. [Google Scholar] [CrossRef]
  2. Huang, H.; Wu, C.X. On the completion of fuzzy metric spaces. Fuzzy Sets Syst. 2008, 159, 2596–2605. [Google Scholar] [CrossRef]
  3. Qiu, J.-H. Set-valued Ekeland catiational principles in fuzzy metric spaces. Fuzzy Sets Syst. 2014, 245, 43–62. [Google Scholar] [CrossRef]
  4. Song, M.L.; Wang, Z.Q. Fixed point theorems for complex non-self mappings satisfying an impllicit relation in Kaleva-Seikkala’s type fuzzy metric spaces. Fixed Point Theory Appl. 2013, 2013, 254. [Google Scholar] [CrossRef]
  5. Xiao, J.-Z.; Zhu, H.; Jin, X. Fixed point theorems for nonlinear contractions in Kaleva-Seikkala’s type fuzzy metric spaces. Fuzzy Sets Syst. 2012, 200, 65–83. [Google Scholar] [CrossRef]
  6. Bakhtin, I.A. The contraction mapping principle in quasi-metric spaces. Funct. Anal. 1989, 30, 26–37. [Google Scholar]
  7. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  8. Aleksić, S.; Huang, H.P.; Mitrović, Z.D.; Radenović, S. Remarks on some fixed point results in b-metric spaces. J. Fixed Point Theory Appl. 2018, 20, 147. [Google Scholar] [CrossRef]
  9. Amini-Harandi, A. Fixed point theory for quasi-contraction maps in b-metric spaces. Fixed Point Theory 2014, 15, 351–358. [Google Scholar]
  10. Belhenniche, A.; Guran, L.; Benahmed, S.; Pereira, F.L. Solving nonlinear and dynamic programming equations on extended b-metric spaces with the fixed-point technique. Fixed Point Theory Algorithms Sci. Eng. 2022, 2022, 24. [Google Scholar] [CrossRef]
  11. Gautam, P.; Kumar, S.; Verma, S.; Gupta, G. Existence of common fixed point in Kannan F-contractive mappings in quasi-partial b-metric space with an application. Fixed Point Theory Algorithms Sci. Eng. 2022, 2022, 23. [Google Scholar] [CrossRef]
  12. Li, S.-F.; He, F.; Lu, S.-M. Kaleva-Seikkala’s type fuzzy b-metric spaces and several contraction mappings. J. Funct. Spaces 2022, 2022, 2714912. [Google Scholar] [CrossRef]
  13. Ćirić, L.B. A generalization of Banach’s contraction principle. Proc. Amer. Math. Soc. 1974, 45, 267–273. [Google Scholar] [CrossRef]
  14. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  15. Kannan, R. Some results on fixed point-II. Am. Math. Mon. 1969, 76, 405–408. [Google Scholar]
  16. Chatterjea, S.K. Fixed-point theorems. C. R. Acad. Bulg. Sci. 1972, 25, 727–730. [Google Scholar] [CrossRef]
  17. Al-Khaleel, M.; Al-Sharif, S.; AlAhmad, R. On Cyclic Contractive Mappings of Kannan and Chatterjea Type in Generalized Metric Spaces. Mathematics 2023, 11, 890. [Google Scholar] [CrossRef]
  18. Ćirić, L.B. Some Recent Results in Metrical Fixed Point Theory; University of Belgrade: Belgrade, Serbia, 2003. [Google Scholar]
  19. Kumam, P.; Dung, N.V.; Sitthithakerngkiet, K. A generalization of Ćirić fixed point theorems. Filomat 2015, 29, 1549–1556. [Google Scholar] [CrossRef]
  20. Dubois, D.; Prade, H. Operations on fuzzy numbers. Int. J. Syst. Sci. 1978, 9, 613–626. [Google Scholar] [CrossRef]
  21. Lu, N.; He, F.; Du, W.-S. Fundamental questions and new counterexamples for b-metric spaces and Fatou property. Mathematics 2019, 7, 1107. [Google Scholar] [CrossRef]
  22. Brunner, H. Volterra Integral Equations: An Introduction to Theory and Applications; Cambridge University Press: Cambridge, UK, 2017. [Google Scholar]
  23. Branga, A.N.; Olaru, I.M. Generalized Contractions and Fixed Point Results in Spaces with Altering Metrics. Mathematics 2022, 10, 4083. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Wu, J.; He, F.; Li, S. A Fixed Point Theorem for Generalized Ćirić-Type Contraction in Kaleva–Seikkala’s Type Fuzzy b-Metric Spaces. Axioms 2023, 12, 616. https://doi.org/10.3390/axioms12070616

AMA Style

Wu J, He F, Li S. A Fixed Point Theorem for Generalized Ćirić-Type Contraction in Kaleva–Seikkala’s Type Fuzzy b-Metric Spaces. Axioms. 2023; 12(7):616. https://doi.org/10.3390/axioms12070616

Chicago/Turabian Style

Wu, Jiaojiao, Fei He, and Shufang Li. 2023. "A Fixed Point Theorem for Generalized Ćirić-Type Contraction in Kaleva–Seikkala’s Type Fuzzy b-Metric Spaces" Axioms 12, no. 7: 616. https://doi.org/10.3390/axioms12070616

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop