Next Article in Journal
A Survey on Recent Results on Lyapunov-Type Inequalities for Fractional Differential Equations
Next Article in Special Issue
Neutrosophic Double Controlled Metric Spaces and Related Results with Application
Previous Article in Journal
A Special Family of m-Fold Symmetric Bi-Univalent Functions Satisfying Subordination Condition
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fixed Point Results for Generalized F-Contractions in b-Metric-like Spaces

1
School of Mathematics and Statistics, Chongqing Three Gorges University, Wanzhou, Chongqing 404020, China
2
Department of Mathematics and Computer Sciences, Faculty of Natural Sciences, University of Gjirokastra, 6001 Gjirokastra, Albania
3
Faculty of Electrical Engineering, University of Banja Luka, Patre 5, 78000 Banja Luka, Bosnia and Herzegovina
4
Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Beograd, Serbia
*
Author to whom correspondence should be addressed.
Fractal Fract. 2022, 6(5), 272; https://doi.org/10.3390/fractalfract6050272
Submission received: 7 April 2022 / Revised: 8 May 2022 / Accepted: 13 May 2022 / Published: 17 May 2022
(This article belongs to the Special Issue New Trends on Fixed Point Theory)

Abstract

:
The purpose of this paper is to introduce several generalized F-contractions in b-metric-like spaces and establish some fixed point theorems for such contractions. Moreover, some nontrivial examples are given to illustrate the superiority of our results. In addition, as an application, we find the existence and uniqueness of a solution to a class of integral equations in the context of b-metric-like spaces.

1. Introduction

The Banach contraction principle (for short, BCP), the most celebrated theorem in metric fixed point theory, has undergone many extensions and generalizations due to its simple nature and wide range of applicability. Some significant generalizations of BCP are seen in [1,2,3,4]. Generally speaking, these generalizations usually contain two sides. On the one hand, BCP is extended from metric space to generalized metric space, such as b-metirc space [1], partial metric space [5], ordered Banach space [6], b-metric-like space [7], etc. One of the most prevalent spaces is b-metric-like space, which was introduced by Alghmandi et al. [7] in 2013. In 2014, Hussain et al. [8] obtained fixed point results for Ćirić type contraction and ϕ -contraction in b-metric-like spaces. Afterwards, Joshi et al. [9] in 2017 presented fixed point theorems for generalized F-contractions in b-metric-like spaces. In the same year, Zoto et al. [10] offered some generalizations for ( α - ψ , ϕ ) -contractions in b-metric-like spaces. Whereafter, Zoto et al. [11] in 2018 obtained fixed point theorems for ( s , p , α ) -contractive mappings in b-metric-like spaces. Subsequently, Zoto et al. [12] in 2019 investigated common fixed point theorems for a class of ( s , q ) -contractive mappings in b-metric-like spaces. In the meanwhile, De la Sen et al. [13] in 2019 gave fixed point results for ( s - q ) -graphic contraction in b-metric-like spaces. Later in 2020, Fabiano et al. [14] discussed fixed point theorems for ( s , q ) -Dass–Gupta–Jaggi type contraction in b-metric-like spaces. Recently in 2021, Mitrović et al. [15] established fixed point theorems for Jaggi-W-contraction in b-metric-like spaces.
On the other hand, BCP is extended for different contractive mappings. One of the most important contractions, is F-contraction on metric space, which was introduced by Wardowski [16] in 2012. Shukla et al. in 2014 established ordered F-contraction in [17] from metric spaces to partial metric spaces. In 2018, Kadelburg and Radenović in [18] extended F-contraction in [16] from metric spaces to b-metric spaces. In 2019, Hammad and De la Sen [19] considered fixed point theorem for the generalized almost ( s , q ) -Jaggi F-contraction-type in b-metric-like spaces. As followed by them, Huang et al. in [20] introduced the notion of convex F-contraction and proved fixed point theorems for both continuous and discontinuous mappings.
Among these extensions cited above, throughout this paper, first and foremost, we initiate several generalized F-contractions, such as ( s , q , F ) -contraction, general ( s , q , F ) -contraction and r-order ( s , q , F ) -contraction. We give several fixed point theorems for such contractions in b-metric-like spaces. As compared with previous contractions from [8,9,10,12,13,14,19], our contractions mainly aim at generalized F-contractions, which are the sharp generalizations of F-contraction introduced by Wardowski [16]. As we know, F-contraction is one of the generalizations of Banach type contraction, whereas generalized F-contractions greatly extend F-contractions. As a result, our conclusions related to generalized F-contractions have strong theoretical significance and practical influence. It is worth mentioning that we demonstrate our assertions by much fewer conditions and more straightforward proofs than the counterpart from previous results. In addition, we illustrate the vitality of our conclusions by some supportive examples. As an application, we obtain the existence and uniqueness of solution to a class of integral equations. Regarding finding the solutions for such equations, there have emerged numerous versions in the existing literature; our method used in this paper is very easy to be understood since it contains simple conditions and comes straight to the point with short proof.

2. Preliminaries

It is customary for a paper to firstly list some useful definitions, lemmas and other contributed results.
In the following, unless otherwise specified, we always assume R as the set of all real numbers, N the set of all nonnegative integers, and N * the set of all positive integers.
Definition 1
([7]). Let M be a nonempty set and s 1 a constant. The mapping b: M × M [ 0 , + ) is called a b-metric-like if for all ξ , η , ζ M , the following conditions are satisfied:
(b1) b ξ , η = 0 implies ξ = η ;
(b2) b ξ , η = b η , ξ ;
(b3) b ξ , η s [ b ξ , ζ + b ζ , η ] .
The pair M , b , s is called a b-metric-like space with parameter s 1 .
In a b-metric-like space M , b , s , if ξ , η M and b ξ , η = 0 , then ξ = η ; however, the converse need not be true, since b η , η may be positive for some η M .
Example 1
([11]). Let M = [ 0 , + ) and p > 1 be a constant. Define a function b : M × M [ 0 , + ) by b ξ , η = ξ + η p or b ξ , η = max ξ , η p . Then, M , b , s is a b-metric-like space with parameter s = 2 p 1 . Clearly, M , b , s is neither a b-metric (see [1]), nor a metric-like space (see [5]), nor a partial b-metric space (see [21]).
Definition 2
([7]). Let M , b , s be a b-metric-like space with parameter s 1 , η n a sequence in M and η M . We say:
(i) η n is said to be a b-convergent sequence if lim n b η n , η = b η , η ;
(ii) η n is said to be a b-Cauchy sequence if lim n , m b η n , η m exists and is finite;
(iii) ( M , b , s ) is called b-complete, if, for every b-Cauchy sequence η n in M, there exists η M such that lim n , m b η n , η m = lim n b η n , η = b η , η .
Definition 3
([7]). Let ( M , b , s ) be a b-metric-like space with parameter s 1 and f : M M a function. We say that f is b-continuous if for each sequence η n in M with b ( η n , η ) b η , η as n , then b ( f η n , f η ) b f η , f η as n .
Remark 1
([14]). In a b-metric-like space, if lim n , m b η n , η m = 0 and the limit of η n exists, then the limit is unique.
Lemma 1
([22]). Let ( M , b , s ) be a b-metric-like space with parameter s 1 and η n a sequence in M such that
b η n + 1 , η n + 2 λ b η n , η n + 1
for some λ [ 0 , 1 ) and each n N * . Then, η n is a b-Cauchy sequence with lim n , m b η n , η m = 0 .
In 2012, Wardowski [16] defined the F-contraction in metric spaces as follows:
Definition 4
([16]). Let ( M , d ) be a metric space. The mapping f : M M is called an F-contraction if there exists a function F : ( 0 , + ) R such that
(F1) F is strictly increasing on ( 0 , + ) ;
(F2) for each sequence α n of positive numbers, lim n α n = 0 lim n F α n = ;
(F3) there exists c ( 0 , 1 ) such that lim α 0 + α c F α = 0 ;
(F4) there exists τ > 0 such that
τ + F d f ξ , f η F d ξ , η ,
for all ξ , η M with f ξ f η .
Huang et al. [20] modified Definition 4 and defined the notion of convex F-contraction in the framework of b-metric spaces.
Definition 5
([20]). Let ( M , d , s 1 ) be a b-metric space and f a self-mapping on M. We say that f is a convex F-contraction if there exists a function F : 0 , + R such that (F1) holds and:
(i) for each sequence α n of positive numbers, if lim n F α n = , then lim n α n = 0 ;
(ii) there exists c 0 , 1 1 + log 2 s such that lim α 0 + α c F α = 0 ;
(iii) there exist τ > 0 and λ [ 0 , 1 ) such that
τ + F d n F λ d n + 1 λ d n 1 ,
for all d n > 0 where n N * .
Remark 2.
Condition (iii) yields that d n < d n 1 for all n N . Hence, the sequence d n is a decreasing sequence.
Definition 6
([23]). Let ( M , b , s ) be a b-metric-like space, f a self-mapping on M and { η n } a sequence in M. We say { η n } is a Picard iterative sequence generated by f if for any η 0 M , η n + 1 = f η n holds for all n N .
Inspired by the above notions, we provide some new definitions and theorems in the sequel.

3. Main Results

In this section, we introduce the notion of ( s , q , F ) -contraction, general ( s , q , F ) -contraction and r-order ( s , q , F ) -contraction and give some fixed point theorems based on them. We also provide three examples to support our conclusions.
First of all, motivated by Definitions 4 and 5, we present the following concept.
Definition 7.
Let f be a self-mapping on b-metric-like space ( M , b , s ) with parameter s 1 , { η n } be a Picard iterative sequence generated by f and F : ( 0 , + ) R be an increasing function. We say that f is an ( s , q , F ) -contraction if:
τ + F s q b n F α b n + β b n 1 ,
for all b n : = b ( η n , η n + 1 ) > 0 , where τ , q > 0 , α , β 0 are constants with 0 < α + β < 1 .
Remark 3.
Definition 7 improves the corresponding definitions given in [13,20,24]. It contains a fewer conditions compared with the previous ones. It covers many contractive conditions since the set of all increasing functions F is a very broad set.
Remark 4.
If s = 1 , then we get the case in metric spaces. If α = 0 , then we get the definition of ( s , q , λ ) -contraction in [11].
Remark 5.
Although the conditions of Definition 7 look strong since it involves the Picard iteration, to the best of our knowledge, the Picard iteration is one of the most frequently used iterations in fixed point theory. Hence, our object is more targeted for the convenience of applications. Otherwise, since τ > 0 and F is increasing, then by (1), we speculate:
F s q b n < τ + F s q b n F α b n + β b n 1 .
Then by the monotonicity of F, we get:
s q b n < α b n + β b n 1 ,
which implies that
b n < β s q α b n 1 .
Clearly, β s q α [ 0 , 1 ) . As a consequence, ( s , q , F ) -contraction generalizes usual contractions in general.
Example 2.
Let M = [ 0 , + ) and define a mapping on M × M by b η , ξ = η + ξ 2 . Then, M , b , s is a b-complete b-metric-like space with parameter s = 2 . Suppose that F ( t ) = ln t is a function on ( 0 , + ) and f : M M is a mapping by f η = 1 3 η . It is easy to see that f is an ( s , q , F ) -contraction. Indeed, it is easy to show that (1) is satisfied for all b n = b ( η n , η n + 1 ) > 0 , where τ = ln 2 , q = 1 , α = 0 , β = 4 5 and { η n } is a Picard iterative sequence generated by f.
The following lemma will be used in our main results.
Lemma 2.
Let ( M , b , s ) be a b-metric-like space with parameter s 1 , f an ( s , q , F ) -contraction on M and { η n } a Picard iterative sequence generated by f. Then, { η n } is a b-Cauchy sequence with lim n , m b ( η n , η m ) = 0 .
Proof. 
The proof is clear if there exists n 0 N such that η n 0 + 1 = η n 0 . Without loss of generality, we assume that η n + 1 η n for all n N . Thus, b n : = b η n , η n + 1 > 0 for all n N . Notice (2) and β s q α [ 0 , 1 ) , via Lemma 1, the sequence η n is a b-Cauchy sequence in M with lim n , m b ( η n , η m ) = 0 . □
Now, our first theorem becomes valid for presentation, which generalizes many recent results.
Theorem 1.
Let ( M , b , s ) be a b-complete b-metric-like space with parameter s 1 and f a b-continuous ( s , q , F ) -contraction on M. Then, f has a fixed point in M provided that b ( f η , f η ) b ( η , η ) for all η M .
Proof. 
For any η 0 M , by Lemma 2, we can obtain that the Picard iterative sequence η n generated by f is a b-Cauchy sequence with lim n , m b ( η n , η m ) = 0 . Since M , b , s is b-complete, then there exists η * M such that:
0 = lim n , m b η n , η m = lim n b η n , η * = b ( η * , η * ) .
Now that f is b-continuous, one has:
lim n b f η n , f η * = b f η * , f η * b η * , η * = 0 .
By virtue of
b η * , f η * s b η * , η n + 1 + b f η n , f η * ,
letting n in the above inequality, we obtain b ( η * , f η * ) = 0 . Therefore, f η * = η * . That is to say, η * is a fixed point of f. □
Example 3.
Under the hypotheses of Example 2, it is not hard to verify that b ( f η , f η ) b ( η , η ) for all η M . Therefore, all the conditions of Theorem 1 are satisfied and hence f has a fixed point η * = 0 in M.
The following definition is the extension of ( s , q ) -Jaggi F-contractions related to [8,11,13,14,19,20,25,26].
Definition 8.
Let ( M , b , s ) be a b-metric-like space with parameter s 1 , f be a self-mapping on M, F : 0 , + R be an increasing mapping and Γ : 0 , + × 0 , + 0 , + be a function such that Γ t , t 1 for all t 0 , + . Then, the mapping f is said to be a general s , q , F -contraction if:
τ + F s q b f ξ , f η F α b η , f η Γ b ξ , f ξ , b ξ , η + β b ξ , η + γ b η , f ξ ,
for all ξ , η M and b ( f ξ , f η ) > 0 , where τ , q > 0 and α , β , γ 0 are constants with 0 < α + β + 2 γ s < 1 .
Theorem 2.
Let ( M , b , s ) be a b-complete b-metric-like space with parameter s 1 and f a b-continuous general ( s , q , F ) -contraction on M. Then, f has a unique fixed point provided that b ( f η , f η ) b η , η for all η M .
Proof. 
Let η 0 M and define the Picard iterative sequence η n as η n + 1 = f η n . If η n 0 + 1 = η n 0 for some n 0 N , then η n 0 is a fixed point of f because of f η n 0 = η n 0 . So we always assume that η n + 1 η n , i.e., b n : = b ( f η n 1 , f η n ) = b ( η n , η n + 1 ) > 0 for all n N * . By using (3) and the monotonicity of F, we have:
τ + F s q b n = τ + F s q b η n , η n + 1 = τ + F s q b f η n 1 , f η n F α b η n , f η n Γ b η n 1 , f η n 1 , b η n 1 , η n + β b η n 1 , η n + γ b η n , f η n 1 = F α b η n , η n + 1 Γ b η n 1 , η n , b η n 1 , η n + β b η n 1 , η n + γ b η n , η n F α b n Γ b n 1 , b n 1 + β b n 1 + 2 γ s b n 1 F α b n + β + 2 γ s b n 1 ,
which shows that (1) holds. Accordingly, f is an s , q , F -contraction. Thus, by virtue of Theorem 1, f has a fixed point.
We show that f has a unique fixed point in M. Indeed, first of all, we prove that b η * , η * = 0 if η * is a fixed point of f. On the contrary, assume b η * , η * > 0 , i.e., b f η * , f η * > 0 , then by (3) and the monotonicity of F, we get:
F s q b η * , η * < τ + F s q b f η * , f η * F α b η * , f η * Γ b η * , f η * , b η * , η * + β b η * , η * + γ b η * , f η * = F α b η * , η * Γ b η * , η * , b η * , η * + β b η * , η * + γ b η * , η * F α + β + γ b η * , η * F b η * , η * ,
which implies that:
s q b η * , η * < b η * , η * .
As a consequence of b η * , η * > 0 , then s q < 1 . This is a contradiction with s 1 and q > 0 . Accordingly, b η * , η * = 0 .
Let ξ * and η * be two distinct fixed points of f. By the above statement, we have b ξ * , ξ * = 0 and b η * , η * = 0 . In view of ξ * η * , that is, b ξ * , η * > 0 , i.e., b f ξ * , f η * > 0 , then from (3) and the monotonicity of F, we speculate:
F s q b ξ * , η * < τ + F s q b f ξ * , f η * F α b η * , f η * Γ b ξ * , f ξ * , b ξ * , η * + β b ξ * , η * + γ b η * , f ξ * = F α b η * , η * Γ b ξ * , ξ * , b ξ * , η * + β b ξ * , η * + γ b η * , ξ * = F ( β + γ ) b ξ * , η * F b ξ * , η * ,
which establishes that
s q b ξ * , η * < b ξ * , η * .
In view of b ξ * , η * > 0 , then s q < 1 . This is a contradiction with s 1 and q > 0 . Therefore, b ξ * , η * = 0 , i.e., ξ * = η * . In other words, the fixed point is unique. □
Remark 6.
Theorem 2 generalizes the previous theorems from [9,10,12,15,19,20,24,25,26] and some of them used rational expressions under the contractive conditions. If we take the function Γ : 0 , + × 0 , + 0 , + as Γ p , t = p t , we can obtain from the above results in case of Jaggi and Gupta contractions.
Corollary 1.
Let ( M , b , s ) be a b-complete b-metric-like space with parameter s 1 , f be a b-continuous self-mapping on M, F : 0 , + R be an increasing mapping. If
τ + F s q b f ξ , f η F α b η , f η b ξ , f ξ b ξ , f ξ + b ξ , η + β f ξ , η + γ b η , f ξ ,
for all ξ , η M and b ( f ξ , f η ) > 0 , where τ , q > 0 and α , β , γ 0 are constants with 0 < α + β + 2 γ s < 1 . Then, f has a unique fixed point in M.
Proof. 
Use the function Γ x , y = x x + y on [ 0 , + ) × ( 0 , + ) in (3). By Theorem 2, we obtain the proof. □
Corollary 2.
Let ( M , b , s ) be a b-complete b-metric-like space with parameter s 1 , f be a b-continuous self-mapping on M, and F : 0 , + R be an increasing mapping. If
τ + F s q b f ξ , f η F α b η , f η b ξ , f ξ b ξ , η 1 + b ξ , η + β b ξ , η + γ b η , f ξ ,
for all ξ , η M and b ( f ξ , f η ) > 0 , where τ , q > 0 and α , β , γ 0 are constants with 0 < α + β + 2 γ s < 1 . Then, f has a unique fixed point in M.
Proof. 
Use the function Γ x , y = x y 1 + y on [ 0 , + ) × ( 0 , + ) in (3). Via Theorem 2, we get the desired result. □
Example 4.
Let M = [ 0 , + ) and b ( ξ , η ) = ξ 2 + η 2 + ( ξ η ) 2 for all ξ , η M . It is not hard to verify that ( M , b , s ) is a b-complete b-metric-like space with parameter s = 2 . Suppose that F ( t ) = ln t is a function on ( 0 , + ) and f : M M is a mapping by f ξ = 1 4 ln ( 1 + ξ ) for all ξ M . Then f is a b-continuous general ( s , q , F ) -contraction on M. Indeed, it is easy to show that (3) is satisfied for all ξ , η M and b ( f ξ , f η ) > 0 , where τ = ln 2 , q = 2 , α = γ = 0 , β = 1 2 , Γ : 0 , + × 0 , + 0 , + is a function such that Γ t , t 1 for all t 0 , + . Therefore, f has a unique fixed point 0 M .
Now we show that (3) is satisfied for all ξ , η M and b ( f ξ , f η ) > 0 . As a matter of fact, by ln ( 1 + t ) t for all t [ 0 , + ) , using the mean value theorem of differentials, we have:
τ + F ( s q b ( f ξ , f η ) ) = ln 2 + ln 4 f 2 ξ + f 2 η + ( f ξ f η ) 2 = ln 2 + ln 4 ln ( 1 + ξ ) 4 2 + ln ( 1 + η ) 4 2 + ln ( 1 + ξ ) 4 ln ( 1 + η ) 4 2 ln 2 + ln 4 1 16 ξ 2 + 1 16 η 2 + 1 16 ( ξ η ) 2 = ln 2 + ln 1 4 ξ 2 + η 2 + ( ξ η ) 2 = ln 1 2 ξ 2 + η 2 + ( ξ η ) 2 F α b η , f η Γ b ξ , f ξ , b ξ , η + β b ξ , η + γ b η , f ξ ,
for all ξ , η M and b ( f ξ , f η ) > 0 .
Theorem 3.
Let ( M , b , s ) be a b-complete b-metric-like space with parameter s 1 , f be a b-continuous self-mapping on M, F : ( 0 , + ) R be an increasing mapping. If
τ + F s q b f ξ , f η F α b ξ , η + β b ξ , f η 2 s + γ b η , f ξ 2 s ,
for all ξ , η M with b ( f ξ , f η ) > 0 , where τ , q > 0 and α , β , γ 0 are constants with 0 < α + β + γ < 1 . Then, f has a unique fixed point provided that b f η , f η b η , η for all η M .
Proof. 
Let η n be a Picard iterative sequence as η n + 1 = f η n initiated on each point η 0 M . Assume the general case that η n + 1 η n , i.e., b n : = b ( f η n 1 , f η n ) = b ( η n , η n + 1 ) > 0 for all n N * . Considering (4) and the monotonicity of F, we have:
τ + F s q b n = τ + F s q b f η n 1 , f η n F α b η n 1 , η n + β b η n 1 , f η n 2 s + γ b η n , f η n 1 2 s = F α b η n 1 , η n + β b η n 1 , η n + 1 2 s + γ b η n , η n 2 s F α b n 1 + β b n 1 + b n 2 + γ b n 1 = F β 2 b n + α + γ + β 2 b n 1 .
Hence, f is an ( s , q , F ) -contraction. By Theorem 1, f has a fixed point.
Now we show the fixed point of f is unique. To this end, assume that there exist two distinct fixed points ξ * and η * , then b ( ξ * , η * ) > 0 , i.e., b ( f ξ * , f η * ) > 0 . By (4) and the monotonicity of F, we have:
F s q b ξ * , η * < τ + F s q b ξ * , η * = τ + F s q b f ξ * , f η * F α b ξ * , η * + β b ξ * , f η * 2 s + γ b η * , f ξ * 2 s = F α b ξ * , η * + β b ξ * , η * 2 s + γ b η * , ξ * 2 s F ( ( α + β + γ ) b ξ * , η * ) F ( b ξ * , η * ) ,
which establishes that:
s q b ξ * , η * < b ξ * , η * .
In view of b ξ * , η * > 0 , then s q < 1 . This is a contradiction with s 1 and q > 0 . Therefore, b ( ξ * , η * ) = 0 . It leads to ξ * = η * . That is to say, the mapping f has a unique fixed point in M. □
Definition 9.
Let f be a self-mapping on b-metric-like space ( M , b , s ) with parameter s 1 , and let { η n } be a Picard iterative sequence generated by f, F : 0 , + R be an increasing function. We say that f is a r-order ( s , q , F ) -contraction if for all b n : = b ( η n , η n + 1 ) > 0 , it satisfies
τ + F s q b n F α b n r + β b n 1 r 1 r ,
where τ , q , r > 0 and α , β 0 are constants with 0 < α + β < 1 .
Remark 7.
Clearly, ( s , q , F ) -contraction is 1-order ( s , q , F ) -contraction. Hence, ( s , q , F ) -contraction is the special case of r-order ( s , q , F ) -contraction. In other words, r-order ( s , q , F ) -contraction greatly generalizes ( s , q , F ) -contraction. In addition, by replacing s = 1 , we obtain the notion of r-order F-contraction in the setting of metric spaces.
Theorem 4.
Let ( M , b , s ) be a b-complete b-metric-like space with parameter s 1 and f a b-continuous r-order ( s , q , F ) -contraction. Then, f has a fixed point provided that b ( f η , f η ) b η , η for all η M .
Proof. 
Let η n be a Picard iterative sequence as η n + 1 = f η n initiated on each point η 0 M . Without loss of generality, we assume that η n + 1 η n , i.e., b n : = b ( f η n 1 , f η n ) = b ( η n , η n + 1 ) > 0 for all n N * . Taking advantage of (5), we obtain:
F s q b n < τ + F s q b n F α b n r + β b n 1 r 1 r .
By the monotonicity of F, we have:
s q b n < α b n r + β b n 1 r 1 r ,
which follows that
s q r b n r < α b n r + β b n 1 r .
This leads to
b n < β s q r α 1 r b n 1 .
Note that β s q r α 1 r < 1 , then by Lemma 1, η n is a b-Cauchy sequence in M such that lim n , m b η n , η m = 0 . Since M , b , s is b-complete, then there exists some η * M such that
0 = lim n , m b η n , η m = lim n b η n , η * = b η * , η * .
Following the same argument as in Theorem 1, we claim that f has a fixed point. □
Theorem 5.
Let ( M , b , s ) be a b-complete b-metric-like space with parameter s 1 , f be a b-continuous self-mapping on M, F : 0 , + R be an increasing mapping and Γ : 0 , + × 0 , + 0 , + be a function such that Γ t , t 1 for all t 0 , + . If
τ + F s q b f ξ , f η F α b η , f η Γ b ξ , f ξ , b ξ , η r + β b ξ , η r + γ b η , f ξ r 1 r ,
for all ξ , η M and b ( f ξ , f η ) > 0 , where τ , q , r > 0 and α , β , γ 0 are constants with 0 < α + β + 2 r s r γ < 1 . Then, the mapping f has a unique fixed point provided that b f η , f η b η , η for all η M .
Proof. 
Let η n be a Picard iterative sequence as η n + 1 = f η n initiated on each point η 0 M . Assume the general case that η n + 1 η n , i.e., b n : = b ( f η n 1 , f η n ) = b ( η n , η n + 1 ) > 0 for all n N * . By using (6), we have
τ + F s q b n = τ + F s q b f η n 1 , f η n F ( ( α b η n , f η n Γ b η n 1 , f η n 1 , b η n 1 , η n r + β b η n 1 , η n r + γ b η n , f η n 1 r ) 1 r = F ( ( α b η n , η n + 1 Γ b η n 1 , η n , b η n 1 , η n r + β b η n 1 , η n r + γ b η n , η n r ) 1 r ) F α b n r + β + 2 r s r γ b n 1 r 1 r ,
which shows that (5) holds, and hence f is an r-order s , q , F -contraction. Thus, by Theorem 4, f has a fixed point.
We prove that b ( η * , η * ) = 0 if η * is a fixed point of f. Indeed, by supposing the contrary, that is, b ( η * , η * ) > 0 , i.e., b ( f η * , f η * ) > 0 . It follows immediately from (6) that:
F s q b η * , η * < τ + F s q b f η * , f η * F α b η * , f η * Γ b η * , f η * , b η * , η * r + β b η * , η * r + γ b η * , f η * r 1 r F α b η * , η * r + β b η * , η * r + γ b η * , η * r 1 r F b η * , η * r 1 r = F ( b η * , η * ) .
Making full use of the monotonicity of F, we claim that
s q b η * , η * < b η * , η * .
As a consequence of b η * , η * > 0 , then s q < 1 . This is a contradiction with s 1 and q > 0 . Accordingly, b η * , η * = 0 .
Let ξ * and η * be two distinct fixed points of f. By the above statement, we have b ξ * , ξ * = 0 and b η * , η * = 0 . In view of ξ * η * , that is, b ξ * , η * > 0 , i.e., b f ξ * , f η * > 0 . then from (6) and the monotonicity of F, we speculate:
F s q b ξ * , η * < τ + F s q b ξ * , η * < τ + F s q b f ξ * , f η * F α b η * , f η * Γ b ξ * , f ξ * , b ξ * , η * r + β b ξ * , η * r + γ b η * , f η * r 1 r = F α b η * , η * Γ b ξ * , ξ * , b ξ * , η * r + β b ξ * , η * r + γ b η * , η * r 1 r = F β b ξ * , η * r 1 r F b ξ * , η * r 1 r = F b ξ * , η * ,
which follows from the monotonicity of F that
s q b ξ * , η * < b ξ * , η * .
Notice that b ξ * , η * > 0 implies s q < 1 . This is a contradiction with s 1 and q > 0 . Thus, b ξ * , η * = 0 . Therefore, ξ * = η * . That is to say, the fixed point of f is unique. □
Remark 8.
It can be easily shown that our new approach of r-order ( s , q , F ) -contraction covers many classical types of contractions such as Kannan, Reich, Chatteria, Hardy, Ćirić, etc. Consequently, it could be developed as a prospective work in the future. Kindly see the reference from [27].

4. Application

Stimulated by the work in [6,7,28,29], we investigate the existence of solution to a class of nonlinear integral equations utilizing the results proved in the previous section.
Consider the integral equation:
ξ ( t ) = 0 T G ( t , s ) f ( s , ξ ( s ) ) d s , for all t [ 0 , T ] ,
where T > 0 is a constant, ξ : [ 0 , T ] R , f : [ 0 , T ] × R R and G : [ 0 , T ] × [ 0 , T ] [ 0 , + ) are continuous functions.
Let C ( [ 0 , T ] ) denote the set of real continuous functions on [ 0 , T ] .
Theorem 6.
Suppose that:
sup t [ 0 , T ] 0 T G 2 ( t , s ) d s L ,
and
( | f ( t , ξ ( t ) ) | + | f ( t , η ( t ) ) | ) 2 ( | ξ ( t ) | + | η ( t ) | ) 2 ,
for all ξ ( t ) , η ( t ) C ( [ 0 , T ] ) and t [ 0 , T ] , where L ( 0 , 1 T ) is a constant. Then the integral Equation (7) has a unique solution in C ( [ 0 , T ] ) .
Proof. 
Put M = C ( [ 0 , T ] ) . We endow M with the b-metric-like
b ( ξ , η ) = sup t [ 0 , T ] ( | ξ ( t ) | + | η ( t ) | ) 2 , for all ξ , η M .
Clearly, ( M , b , s ) is a b-complete b-metric-like space with parameter s = 2 . Assume that F ( u ) = ln u is a function on ( 0 , + ) , Γ ( x , y ) = x y 1 + y 2 is a function on [ 0 , + ) × ( 0 , + ) . Define the mapping T : M M by
T ξ ( t ) = 0 T G ( t , s ) f ( s , ξ ( s ) ) d s , for all t [ 0 , T ] ,
then
τ + F s q b T ξ , T η F α b η , T η Γ b ξ , T ξ , b ξ , η + β b ξ , η + γ b η , f ξ ,
for all ξ , η M and b ( T ξ , T η ) > 0 , where γ = 0 , λ > 1 , τ = ln λ , q > 0 , α , β 0 are constants such that 0 < α + β < 1 and L T < β 2 q λ .
Indeed, (10) becomes
ln λ + ln ( 2 q b ( T ξ , T η ) ) ln α b ( η , T η ) · b ( ξ , T ξ ) b ( ξ , η ) 1 + b 2 ( ξ , η ) + β b ( ξ , η ) ,
which is equivalent with the following inequality:
2 q λ b ( T ξ , T η ) α b ( η , T η ) · b ( ξ , T ξ ) b ( ξ , η ) 1 + b 2 ( ξ , η ) + β b ( ξ , η ) .
By the Cauchy–Schwarz inequality and (9), for all ξ , η M , we have:
( | T ξ | + | T η | ) 2 = 0 T G ( t , s ) f ( s , ξ ( s ) ) d s + 0 T G ( t , s ) f ( s , η ( s ) ) d s 2 0 T G ( t , s ) | f ( s , ξ ( s ) ) | d s + 0 T G ( t , s ) | f ( s , η ( s ) ) | d s 2 = 0 T G ( t , s ) ( | f ( s , ξ ( s ) ) | + | f ( s , η ( s ) ) | ) d s 2 0 T G 2 ( t , s ) d s · 0 T ( | f ( s , ξ ( s ) ) | + | f ( s , η ( s ) ) | ) 2 d s T 0 T G 2 ( t , s ) d s · sup t [ 0 , T ] ( | ξ ( t ) | + | η ( t ) | ) 2 ,
which follows that:
sup t [ 0 , T ] ( | T ξ | + | T η | ) 2 T sup t [ 0 , T ] 0 T G 2 ( t , s ) d s · sup t [ 0 , T ] ( | ξ ( t ) | + | η ( t ) | ) 2 .
Taking advantage of (8), we arrive at:
b ( T ξ , T η ) β 2 q λ b ( ξ , η ) .
Thus, one gets:
2 q λ b ( T ξ , T η ) β b ( ξ , η ) α b ( η , T η ) · b ( ξ , T ξ ) b ( ξ , η ) 1 + b 2 ( ξ , η ) + β b ( ξ , η ) .
Therefore, (11) holds. Accordingly, (10) is satisfied for all ξ , η M and b ( T ξ , T η ) > 0 . Hence, T is a general s , q , F -contraction. By (12), we obtain:
b ( T η , T η ) β 2 q λ b ( η , η ) b ( η , η ) , for all η M .
As a consequence, all the conditions of Theorem 2 are satisfied. Therefore, by Theorem 2, T has a unique fixed point in M. That is to say, the integral Equation (7) has a unique solution in C ( [ 0 , T ] ) . □
Remark 9.
As compared with Theorem 6.1 of [7], Theorem 6 has much fewer conditions and more straightforward proof. We consider the existence and uniqueness of the solution to the integral Equation (7) in the setting of b-metric-like spaces, which are different from other counterparts in the existing literature. Our conditions are not complicated and our proof is quite forthright.
Remark 10.
It has been more widely used for the fixed point theory in b-metric-like spaces. It is not only for all kinds of integral equations (see [7,9,10,11,12]), but also for other types of equations. As an example, it has been applied to an electric circuit equation (see [19]), the conversion of solar energy to electrical energy (see [9]), impulsive differential equations (see [30]) and fractional differential equations (see [31,32]). As a result, our results may have wide applications in the future.

5. Conclusions

Nowadays, fixed point theory plays an important role in natural science and in solving different social problems. In this work, a technique is furnished, based on generalized F-contractions, such as the ( s , q , F ) -contraction, the general ( s , q , F ) -contraction, and the r-order ( s , q , F ) -contraction. We establish several fixed point theorems on such contractions with illustrative examples in the framework of b-metric-like spaces. As has been observed in studies, the class of b-metric-like spaces contains the other classes of generalized metric spaces (e.g., b-metric spaces, metric-like spaces, etc.), then our results in this paper generalize and improve many known results in the existing literature. Additionally, we have applied our results to obtain the existence of a solution for a class of integral equations. We believe that the idea of further elaborating our method, which is presented in the main result section, is very useful and can be applied to impulsive differential and nonlinear fractional differential equations in the future.

Author Contributions

H.H. designed the research and wrote the paper. K.Z. and Z.D.M. offered the draft preparation and gave the methodology. S.R. co-wrote and made revisions to the paper. H.H. gave the support of funding acquisition. All authors have read and agreed to the published version of the manuscript.

Funding

The first author acknowledges the financial support from the Natural Science Foundation of Chongqing of China (No. cstc2020jcyj-msxmX0762), and the Initial Funding of Scientific Research for High-level Talents of Chongqing Three Gorges University of China (No. 2104/09926601).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The data presented in this study are available upon request from the corresponding author.

Acknowledgments

The authors thank the editor and the referees for their valuable comments and suggestions which improved greatly the quality of this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  2. Huang, L.-G.; Zhang, X. Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332, 1468–1476. [Google Scholar] [CrossRef] [Green Version]
  3. Azam, A.; Arshad, M.; Beg, I. Banach contraction principle on cone rectangular metric spaces. Appl. Anal. Discrete Math. 2009, 3, 236–241. [Google Scholar] [CrossRef]
  4. Huang, H.; Radenović, S.; Deng, G. A sharp generalization on cone b-metric space over Banach algebra. J. Nolinear Sci. Appl. 2017, 10, 429–435. [Google Scholar] [CrossRef] [Green Version]
  5. Amini-Harandi, A. Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012, 2012, 204. [Google Scholar] [CrossRef] [Green Version]
  6. Hussain, N.; Khan, A.R.; Agarwal, R.P. Krasnosel’skii and Ky Fan type fixed point theorems in ordered Banach spaces. J. Nonlinear Convex Anal. 2010, 11, 475–489. [Google Scholar]
  7. Alghmandi, M.A.; Hussain, N.; Salimi, P. Fixed point and coupled fixed point theorems on b-metric-like spaces. J. Inequal. Appl. 2013, 2013, 402. [Google Scholar] [CrossRef] [Green Version]
  8. Hussain, N.; Roshan, J.R.; Parvaneh, V.; Kadelburg, Z. Fixed points of contractive mappings in b-metric-like spaces. Sci. World J. 2014, 2014, 471827. [Google Scholar] [CrossRef] [Green Version]
  9. Joshi, V.; Singh, D.; Petrusel, A. Existence results for integral equations and boundary value problems via fixed point theorems for generalized F-contractions in b-metric-like space. J. Funct. Spaces 2017, 2017, 1649864. [Google Scholar]
  10. Zoto, K.; Rhoades, B.E.; Radenovic, S. Some generalizations for (α-ψ,ϕ)-contractions in b-metric-like spaces and application. Fixed Point Theory Appl. 2017, 2017, 26. [Google Scholar] [CrossRef] [Green Version]
  11. Zoto, K.; Radenović, S.; Ansari, A. On some fixed point results for (s,p,α)-contractive mappings in b-metric-like spaces and applications to integral equations. Open Math. 2018, 16, 235–249. [Google Scholar] [CrossRef] [Green Version]
  12. Zoto, K.; Rhoades, B.E.; Radenović, S. Common fixed point theorems for a class of (s,q)-contractive mappings in b-metric-like spaces and applications to integral equations. Math. Slovaca 2019, 69, 233–247. [Google Scholar] [CrossRef]
  13. De la Sen, M.; Nikolić, N.; Došenović, T.; Pavlović, M.; Radenović, S. Some results on (s-q)-graphic contraction mappings in b-metric-like spaces. Mathematics 2019, 7, 1190. [Google Scholar] [CrossRef] [Green Version]
  14. Fabiano, N.; Došenović, T.; Rakić, D.; Radenović, S. Some new results on (s,q)-Dass-Gupta-Jaggi type contractive mappings in b-metric-like spaces. Filomat 2020, 34, 4015–4026. [Google Scholar] [CrossRef]
  15. Mitrović, S.; Parvaneh, V.; De La Sen, M.; Vujaković, J.; Radenović, S. Some new results for Jaggi-W-contraction-type mappings on b-metric-like spaces. Mathematics 2021, 9, 1921. [Google Scholar] [CrossRef]
  16. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric space. Fixed Point Theory Appl. 2012, 2012, 94. [Google Scholar] [CrossRef] [Green Version]
  17. Shukla, S.; Radenović, S.; Kadelburg, Z. Some fixed point theorems for ordered F-generalized contractions in O-f-orbitally complete partial metric spaces. Theory Appl. Math. Comput. Sci. 2014, 4, 87–98. [Google Scholar]
  18. Kadelburg, Z.; Radenović, S. Notes on some recent papers concerning F-contractions in b-metric spaces. Constr. Math. Anal. 2018, 1, 108–112. [Google Scholar] [CrossRef]
  19. Hammad, H.A.; De la Sen, M. Fixed-point results for a generalized almost (s,q)-Jaggi F-contraction-type on b-metric-like spaces. Mathematics 2020, 8, 63. [Google Scholar] [CrossRef] [Green Version]
  20. Huang, H.; Mitrović, Z.D.; Zoto, K.; Radenović, S. On convex F-contraction in b-metric spaces. Axioms 2021, 10, 71. [Google Scholar] [CrossRef]
  21. Shukla, S. Partial b-metric spaces and fixed point theorems, Mediterr. J. Math. 2014, 11, 703–711. [Google Scholar]
  22. Miculescu, R.; Mihail, A. New fixed point theorems for set-valued contractions in b-metric spaces. J. Fixed Point Theory Appl. 2017, 19, 2153–2163. [Google Scholar] [CrossRef]
  23. Aleksić, S.; Mitrović, Z.D.; Radenović, S. Picard sequences in b-metric spaces. Fixed Point Theory 2020, 21, 35–46. [Google Scholar] [CrossRef]
  24. Popescu, O.; Stan, G. Two fixed point theorems concerning F-contraction in complete metric spaces. Symmetry 2020, 12, 58. [Google Scholar] [CrossRef] [Green Version]
  25. Dass, B.K.; Gupta, S. An extension of Banach contraction principle through rational expression. Indian J. Pure Appl. Math. 1975, 6, 1455–1458. [Google Scholar]
  26. Jaggi, D.S. Some unique fixed point theorems. Indian J. Pure Appl. Math. 1977, 8, 223–230. [Google Scholar]
  27. Todorčević, V. Harmonic Quasiconformal Mappings and Hyperbolic Type Metrics; Springer Nature Switzerland AG: Cham, Switzerland, 2019. [Google Scholar]
  28. Agarwal, R.P.; Hussain, N.; Taoudi, M.A. Fixed point theorems in ordered Banach spaces and applications to nonlinear integral equations. Abstr. Appl. Anal. 2012, 2012, 245872. [Google Scholar] [CrossRef]
  29. Parvaneh, V.; Roshan, J.R.; Radenović, S. Existence of tripled coincidence point in ordered b-metric spaces and application to a system of integral equations. Fixed Point Theory Appl. 2013, 2013, 130. [Google Scholar] [CrossRef] [Green Version]
  30. Lazreg, J.E.; Abbas, S.; Benchohra, M.; Karapınar, E. Impulsive Caputo-Fabrizio fractional differential equations in b-metric spaces. Open Math. 2021, 19, 363–372. [Google Scholar] [CrossRef]
  31. Afshari, H. Solution of fractional differential equations in quasi-b-metric and b-metric-like spaces. Adv. Differ. Equ. 2019, 2019, 285. [Google Scholar] [CrossRef] [Green Version]
  32. Younis, M.; Singh, D. On the existence of the solution of Hammerstein integral equations and fractional differential equations. J. Appl. Math. Comput. 2021, 68, 1087–1105. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Huang, H.; Zoto, K.; Mitrović, Z.D.; Radenović, S. Fixed Point Results for Generalized F-Contractions in b-Metric-like Spaces. Fractal Fract. 2022, 6, 272. https://doi.org/10.3390/fractalfract6050272

AMA Style

Huang H, Zoto K, Mitrović ZD, Radenović S. Fixed Point Results for Generalized F-Contractions in b-Metric-like Spaces. Fractal and Fractional. 2022; 6(5):272. https://doi.org/10.3390/fractalfract6050272

Chicago/Turabian Style

Huang, Huaping, Kastriot Zoto, Zoran D. Mitrović, and Stojan Radenović. 2022. "Fixed Point Results for Generalized F-Contractions in b-Metric-like Spaces" Fractal and Fractional 6, no. 5: 272. https://doi.org/10.3390/fractalfract6050272

APA Style

Huang, H., Zoto, K., Mitrović, Z. D., & Radenović, S. (2022). Fixed Point Results for Generalized F-Contractions in b-Metric-like Spaces. Fractal and Fractional, 6(5), 272. https://doi.org/10.3390/fractalfract6050272

Article Metrics

Back to TopTop