Next Article in Journal
Structural Balance under Weight Evolution of Dynamic Signed Network
Next Article in Special Issue
The Kp,q-Compactness and Kp,q-Null Sequences, and the KKp,q-Approximation Property for Banach Spaces
Previous Article in Journal
Tracking Control for Triple-Integrator and Quintuple-Integrator Systems with Single Input Using Zhang Neural Network with Time Delay Caused by Backward Finite-Divided Difference Formulas for Multiple-Order Derivatives
Previous Article in Special Issue
Some Remarks on Strong Fuzzy Metrics and Strong Fuzzy Approximating Metrics with Applications in Word Combinatorics
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fixed Point Results for a New Rational Contraction in Double Controlled Metric-like Spaces

1
College of Mathematics and Statistics, Sichuan University of Science and Engineering, Zigong 643000, China
2
Key Laboratory of Higher Education of Sichuan Province for Enterprise Informationalization and Internet of Things, Zigong 643000, China
3
South Sichuan Center for Applied Mathematics, Zigong 643000, China
4
School of Science and Techology, University of Sanya, Sanya 572022, China
5
Center for Mathematical Reaserch, University of Sanya, Sanya 572022, China
6
Academician Guoliang Chen Team Innovation Center, University of Sanya, Sanya 572022, China
7
Academician Chunming Rong Workstation, University of Sanya, Sanya 572022, China
*
Authors to whom correspondence should be addressed.
Mathematics 2022, 10(9), 1439; https://doi.org/10.3390/math10091439
Submission received: 15 March 2022 / Revised: 14 April 2022 / Accepted: 21 April 2022 / Published: 24 April 2022
(This article belongs to the Special Issue New Progress in General Topology and Its Applications)

Abstract

:
In this paper, we present a new type of rational contraction in double controlled metric-like spaces and improve recent results of such spaces. Moreover, there is an example to verify the correctness of our results. Finally, we also obtain some new fixed point results, which can be derive directly from our main theorem.

1. Introduction

In recent decades, many researchers in the field of fixed point theory have made a number of generalizations of the usual metric space. Different types of generalized metric spaces lead to different theoretical achievements in general. With the emergence of these abstract generalized metric spaces, many authors can continue to study and enrich the fixed point theory according to different types of contraction conditions. As early as 1993, Czerwik [1] formally introduced the notion of b-metric space by putting a constant on the right-hand side of the triangle inequality, which is an interesting generalized metric space. The recent results for b-metric spaces can be seen in [2,3,4] and references therein. In 2017, Kamran et al. [5] replaced the coefficient of b-metric with a binary function and introduced a type of generalized b-metric space, namely extended b-metric spaces. Such spaces have inspired researchers of fixed point theory. For some recent fixed point results in several generalized metric spaces, refer to [6,7,8,9,10,11]. In 2018, Mlaiki et al. [12] defined a new class of extension of b-metric space, called it as controlled metric space, which is different from extended b-metric space. They proved the Banach fixed point result in controlled metric spaces. Later, some investigators studied such spaces. In 2019, Lateef [13] obtained the existence of a fixed point for Kannan-type contractions in controlled metric spaces. Shortly after, Ahmad et al. [14] introduced Reich type contractions and ( α , F ) -contractions, and established related fixed point theorems in controlled metric spaces. In a summary, Mlaiki et al. [15] investigated and improved some recent fixed point results in controlled metric spaces, and presented some new fixed point results. On the basis of controlled metric spaces, Abdeljawad et al. [16] presented double controlled metric spaces. Very recently, Mlaiki [17] has introduced double controlled metric-like spaces, which are produced by the fact that self-distance doesn’t need to be zero.
Motivated by the existing results, we aim to further investigate the fixed point results in double controlled metric-like spaces. In this paper, we define a new type of rational contraction, and provide sufficient conditions for the existence and uniqueness of a fixed point of this kind of contraction. There is an example to verify the correctness of our important results. On the one hand, we improve some fixed point results in double controlled metric-like spaces; on the other hand, we attain a lot of corollaries related to the new rational contraction. As an application, we apply our result to the problem of Fredholm integral equation.

2. Preliminaries

In the beginning, let us retrace the definitions of several type generalzied metric spaces, which are useful to the next work.
As early as in 1993, Czerwik [1] formally defined and studied b-metric spaces by adding a constant in the right of triangle inequality of metric.
Definition 1
([1]). Let X be a nonempty set, b 1 be a constant and d : X × X [ 0 , ) be a function. If the following conditions hold:
(d1) 
d ( u , v ) = 0 if and only if u = v ;
(d2) 
d ( u , v ) = d ( v , u ) , for all u , v X ;
(d3) 
d ( u , v ) b [ d ( u , w ) + d ( w , v ) ] , for all u , w , v X .
Then d is said to be a b-metric, ( X , d ) is called to be a b-metric space, where b is the coefficient of b-metric.
The coefficient of b-metric binary function θ was proposed by Kamran et al. [5] in 2017, and the notion of extended b-metric space was presented.
Definition 2
([5]). Let X be a nonempty set, θ : X × X [ 1 , ) and d θ : X × X [ 0 , ) be two functions. If the following conditions hold:
(dθ1) 
d θ ( u , v ) = 0 if and only if u = v ;
(dθ2) 
d θ ( u , v ) = d θ ( v , u ) , for all u , v X ;
(dθ3) 
d θ ( u , v ) θ ( u , v ) [ d θ ( u , w ) + d θ ( w , v ) ] , for all u , v , w X .
Then d θ is said to be an extended b-metric, ( X , d θ ) is an extended b-metric space with θ.
In 2018, Mlaiki et al. [12] proposed a new kind of metric space called controlled metric space. As a new extension of b-metric space, it is different from extended b-metric space.
Definition 3
([12]). Let X be a nonempty set, χ : X × X [ 1 , ) and d χ : X × X [ 0 , ) be two functions. If the following conditions hold:
(dχ1) 
d χ ( u , v ) = 0 if and only if u = v ;
(dχ2) 
d χ ( u , v ) = d χ ( v , u ) ;
(dχ3) 
d χ ( u , v ) χ ( u , w ) d χ ( u , w ) + χ ( w , v ) d χ ( w , v ) .
Then d χ is a controlled metric, ( X , d χ ) is called to be a controlled metric space.
In the same year, Abdeljawad et al. [16] presented double controlled metric spaces on the basics of controlled metric spaces.
Definition 4
([16]). Let X be a nonempty set, χ 1 , χ 2 : X × X [ 1 , ) and d χ : X × X [ 0 , ) be three functions. If the following conditions hold:
(dχ1) 
d χ ( u , v ) = 0 if and only if u = v ;
(dχ2) 
d χ ( u , v ) = d χ ( v , u ) ;
(dχ3) 
d χ ( u , v ) χ 1 ( u , w ) d χ ( u , w ) + χ 2 ( w , v ) d χ ( w , v ) .
Then d χ is a double controlled metric, ( X , d χ ) is said to be a double controlled metric space.
Very recently, Mlaiki [17] proposed the notion of double controlled metric-like spaces by weakening the condition ( d χ 1 ) such that self-distance does not need to be zero.
Definition 5
([17]). Let X be a nonempty set, χ 1 , χ 2 : X × X [ 1 , ) and d χ : X × X [ 0 , ) are three functions. If it satisfies the following conditions:
(dχ1) 
d χ ( u , v ) = 0 u = v ;
(dχ2) 
d χ ( u , v ) = d χ ( v , u ) ;
(dχ3) 
d χ ( u , v ) χ 1 ( u , w ) d χ ( u , w ) + χ 2 ( w , v ) d χ ( w , v ) .
Then d χ is said to be a double controlled metric-like, and ( X , d χ ) is said to be a double controlled metric-like space.
Remark 1.
Note that double controlled metric-like space includes double controlled metric space as its particular case, but the converse in general is not true.
Now, we recall two examples of double controlled metric-like space.
Example 1
([17]). Let X = [ 0 , ) . Defined d χ : X × X [ 0 , ) by:
d χ ( u , v ) = 0 , if u = v 0 , 1 2 , if u = v = 0 , 1 u , if u 1 and v [ 0 , 1 ) , 1 v , if v 1 and u [ 0 , 1 ) , 1 , otherwise .
Let χ 1 , χ 2 : X × X [ 1 , ) be
χ 1 ( u , v ) = u , if u , v 1 , v , otherwise .
and
χ 2 ( u , v ) = u , if u , v < 1 , max { u , v } , otherwise .
Then it’s easy to verify that ( X , d χ ) is a double controlled metric-like space. However, ( X , d χ ) is not a double controlled metric space. For more details, refer to [17].
Example 2
([17]). Let X = { a , b , c } and define d χ : X × X [ 0 , ) by
d χ ( a , a ) = d χ ( b , b ) = 0 , d χ ( c , c ) = 1 10 , d χ ( a , b ) = d χ ( b , a ) = 1 , d χ ( a , c ) = d χ ( c , a ) = 1 2 , d χ ( b , c ) = d χ ( c , b ) = 2 5 ,
Take χ 1 , χ 2 : X × X [ 1 , ) are two symmetric functions and defined by  χ 1 ( a , a ) = χ 1 ( b , b ) = χ 1 ( c , c ) = χ 1 ( a , c ) = 1 , χ 1 ( a , b ) = 11 10 , χ 1 ( b , c ) = 8 5 ;  χ 2 ( a , a ) = χ 2 ( b , b ) = χ 2 ( c , c ) = 1 , χ 2 ( a , b ) = 11 10 , χ 2 ( a , c ) = 3 2 , χ 2 ( b , c ) = 5 4 .
Then ( X , d χ ) is a double controlled metric-like space. However, d χ ( c , c ) = 1 10 , so ( X , d χ ) is not a double controlled metric space. For more details, refer to [17].
In the following, we recall some properties of double controlled metric-like spaces.
Definition 6
([17]). Let ( X , d χ ) be a double controlled metric-like space. For each sequence { u n } X ,
(1) 
if lim n , m d χ ( u n , u m ) exists and is finite, then we say that { u n } a Cauchy sequence;
(2) 
if lim n d χ ( u n , u ) = d χ ( u , u ) , then we say that { u n } converges to u;
(3) 
if every Cauchy sequence in X is convergent to some point in X, then we say that ( X , d χ ) is complete.
Very recently, Tas [18] has introduced Reich contraction in the double controlled metric-like spaces.
Theorem 1
([18]). Let ( X , d χ ) be a complete double controlled metric-like space and χ 1 , χ 2 : X × X [ 1 , ) . Let f : X X be a self mapping such that
d χ ( f u , f v ) α d χ ( u , v ) + β d χ ( u , f u ) + γ d χ ( v , f v ) ,
for all u , v X , where α , β , γ [ 0 , 1 ) with α + β + γ < 1 .
For u 0 X , take u n = f n u 0 . Let λ = α + β 1 γ . Suppose that
sup m 1 lim i χ 1 ( u i + 1 , u i + 2 ) χ 1 ( u i , u i + 1 ) χ 2 ( u i + 1 , u m ) < 1 λ .
Moreover, for each u X , lim n χ 1 ( u , u n ) exists and is finite; lim n χ 2 ( u n , u ) < 1 γ , then there exists a unique u X such that f u = u .

3. Main Results

In this section, we firstly prove our main results for a rational contraction in double controlled metric-like spaces.
Theorem 2.
Let ( X , d χ ) be a complete double controlled metric-like space and χ 1 , χ 2 : X × X [ 1 , ) . Let f : X X be a self mapping such that
d χ ( f u , f v ) α d χ ( u , v ) + β d χ ( u , f u ) + γ d χ ( v , f v ) + η d χ ( u , f u ) d χ ( v , f v ) 1 + d χ ( u , v ) ,
for all u , v X , where α , β , γ , η [ 0 , 1 ) with α + β + γ + η < 1 .
For u 0 X , take u n = f n u 0 . Let λ = α + β 1 γ η . Suppose that
sup m 1 lim i χ 1 ( u i + 1 , u i + 2 ) χ 1 ( u i , u i + 1 ) χ 2 ( u i + 1 , u m ) < 1 λ .
Moreover, for each u X , lim n χ 1 ( u , u n ) exists and is finite; lim n χ 2 ( u n , u ) < 1 γ for γ > 0 . In particular, when γ = 0 , the latter condition becomes lim n χ 2 ( u n , u ) < , then there exists a unique u X such that f u = u .
Proof. 
Let u 0 M . We can construct a sequence { u n } by u n + 1 = f u n for all n N . If u n 0 = u n 0 + 1 for some n 0 N , then f u n 0 = u n 0 . That implies u n 0 is a fixed point of f. Hence, suppose that for all n N , u n u n + 1 , i.e., d χ ( u n , u n + 1 ) > 0 . Apply u = u n and v = u n + 1 to (1), we have
d χ ( u n + 1 , u n + 2 ) = d χ ( f u n , f u n + 1 ) α d χ ( u n , u n + 1 ) + β d χ ( u n , f u n ) + γ d χ ( u n + 1 , f u n + 1 ) + η d χ ( u n , f u n ) d χ ( u n + 1 , f u n + 1 ) 1 + d χ ( u n , u n + 1 ) = α d χ ( u n , u n + 1 ) + β d χ ( u n , u n + 1 ) + γ d χ ( u n + 1 , u n + 2 ) + η d χ ( u n , u n + 1 ) d χ ( u n + 1 , u n + 2 ) 1 + d χ ( u n , u n + 1 ) ( α + β ) d χ ( u n , u n + 1 ) + ( γ + η ) d χ ( u n + 1 , u n + 2 ) .
which implies that
d χ ( u n + 1 , u n + 2 ) α + β 1 γ η d χ ( u n , u n + 1 ) = λ d χ ( u n , u n + 1 ) ,
and further we have
d χ ( u n + 1 , u n + 2 ) λ d χ ( u n , u n + 1 ) λ 2 d χ ( u n 1 , u n ) λ n + 1 d χ ( u 0 , u 1 ) , for all n N .
Now we shall prove the { u n } is a Cauchy sequence. For all n , m N with n < m ,
d χ ( u n , u m ) χ 1 ( u n , u n + 1 ) d χ ( u n , u n + 1 ) + χ 2 ( u n + 1 , u m ) d χ ( u n + 1 , u m ) χ 1 ( u n , u n + 1 ) d χ ( u n , u n + 1 ) + χ 2 ( u n + 1 , u m ) χ 1 ( u n + 1 , u n + 2 ) d χ ( u n + 1 , u n + 2 ) + χ 2 ( u n + 1 , u m ) χ 2 ( u n + 2 , u m ) d χ ( u n + 2 , u m ) χ 1 ( u n , u n + 1 ) d χ ( u n , u n + 1 ) + χ 2 ( u n + 1 , u m ) χ 1 ( u n + 1 , u n + 2 ) d χ ( u n + 1 , u n + 2 ) + χ 2 ( u n + 1 , u m ) χ 2 ( u n + 2 , u m ) χ 1 ( u n + 2 , u n + 3 ) d χ ( u n + 2 , u n + 3 ) + χ 2 ( u n + 1 , u m ) χ 2 ( u n + 2 , u m ) χ 2 ( u n + 3 , u m ) d χ ( u n + 3 , u m ) χ 1 ( u n , u n + 1 ) d χ ( u n , u n + 1 ) + i = n + 1 m 2 ( j = n + 1 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) d χ ( u i , u i + 1 ) + i = n + 1 m 1 χ 2 ( u i , u m ) d χ ( u m 1 , u m ) .
We make use of χ i ( u , v ) 1 , i = 1 , 2 , by (3), then it follows that
d χ ( u n , u m ) χ 1 ( u n , u n + 1 ) d χ ( u n , u n + 1 ) + i = n + 1 m 2 ( j = n + 1 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) d χ ( u i , u i + 1 ) + i = n + 1 m 1 χ 2 ( u i , u m ) ) χ 2 ( u m 1 , u m ) ) d χ ( u m 1 , u m ) χ 1 ( u n , u n + 1 ) λ n d χ ( u 0 , u 1 ) + i = n + 1 m 2 ( j = n + 1 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) λ i d χ ( u 0 , u 1 ) + i = n + 1 m 1 χ 2 ( u i , u m ) χ 1 ( u m 1 , u m ) λ m 1 d χ ( u 0 , u 1 ) = χ 1 ( u n , u n + 1 ) λ n d χ ( u 0 , u 1 ) + i = n + 1 m 1 ( j = n + 1 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) λ i d χ ( u 0 , u 1 ) χ 1 ( u n , u n + 1 ) λ n d χ ( u 0 , u 1 ) + i = n + 1 m 1 ( j = 0 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) λ i d χ ( u 0 , u 1 ) .
Now if we define, for all q N ,
S q = i = 0 q ( j = 0 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) λ i d χ ( u 0 , u 1 ) .
From (4), we can deduce that
d χ ( u n , u m ) d χ ( u 0 , u 1 ) [ λ n χ 1 ( u n , u n + 1 ) + ( S m 1 S n ) ] .
Consider the series i = 0 ( j = 0 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) λ i d χ ( u 0 , u 1 ) .
Let ρ n = λ n d χ ( u 0 , u 1 ) j = 0 n χ 2 ( u j , u m ) χ 1 ( u n , u n + 1 ) , then we have
ρ n + 1 ρ n = λ n + 1 d χ ( u 0 , u 1 ) j = 0 n + 1 χ 2 ( u j , u m ) χ 1 ( u n + 1 , u n + 2 ) λ n d χ ( u 0 , u 1 ) j = 0 n χ 2 ( u j , u m ) χ 1 ( u n , u n + 1 ) = λ χ 1 ( u n + 1 , u n + 2 ) χ 1 ( u n , u n + 1 ) χ 2 ( u n + 1 , u m ) .
In view of (2), we conclude that the series i = 0 ( j = 0 i χ 2 ( u j , u m ) ) χ 1 ( u i , u i + 1 ) λ i d χ ( u 0 , u 1 ) is convergent (by the ratio test of positive series). Consequently, if we take the limit as n , m in the inequality (5), then we get that
lim n , m d χ ( u n , u m ) = 0 .
Hence, { u n } is a Cauchy sequence in ( X , d χ ) . In view of the completeness of ( X , d χ ) , so there must exists a point u X such that
lim n d χ ( u n , u ) = d χ ( u , u ) = lim n , m d χ ( u n , u m ) = 0 .
Next we prove that f u = u . Consider the condition ( d χ 3 ) and (1), then
d χ ( u , f u ) χ 1 ( u , u n + 1 ) d χ ( u , u n + 1 ) + χ 2 ( u n + 1 , f u ) d χ ( u n + 1 , f u ) = χ 1 ( u , u n + 1 ) d χ ( u , u n + 1 ) + χ 2 ( u n + 1 , f u ) d χ ( f u n , f u ) χ 1 ( u , u n + 1 ) d χ ( u , u n + 1 ) + χ 2 ( u n + 1 , f u ) [ α d χ ( u n , u ) + β d χ ( u n , f u n ) + γ d χ ( u , f u ) + η d χ ( u n , f u n ) d χ ( u , f u ) 1 + d χ ( u n , u ) ] = χ 1 ( u , u n + 1 ) d χ ( u , u n + 1 ) + χ 2 ( u n + 1 , f u ) [ α d χ ( u n , u ) + β d χ ( u n , u n + 1 ) + γ d χ ( u , f u ) + η d χ ( u n , u n + 1 ) d χ ( u , f u ) 1 + d χ ( u n , u ) ] .
Taking account into (6) and lim n χ 1 ( u , u n ) exists and is finite, take the limits as n on the two sides of the above inequality, we obtain
d χ ( u , f u ) lim n χ 2 ( u n + 1 , f u ) [ γ d χ ( u , f u ) ] .
Based on the assumptions of Theorem 2, we discuss the following two cases:
Case 1. 
lim n χ 2 ( u n + 1 , f u ) < for γ = 0 .
By (8), we obtain d χ ( u , f u ) = 0 ;
Case 2. 
lim n χ 2 ( u n + 1 , f u ) < 1 γ for γ > 0 .
In this case, if d χ ( u , f u ) > 0 , then (8) is equal to
d χ ( u , f u ) lim n χ 2 ( u n + 1 , f u ) [ γ d χ ( u , f u ) ] < 1 γ [ γ d χ ( u , f u ) ] = d χ ( u , f u ) .
Therefore, we get a contradiction, then d χ ( u , f u ) = 0 .
In the both cases, d χ ( u , f u ) = 0 , so f u = u . Now, we prove that if p is the fixed point of f, then d χ ( p , p ) = 0 . Indeed, assume that p is the fixed point of f. Apply u = p and v = p to (1), and we have
d χ ( p , p ) = d χ ( f p , f p ) α d χ ( p , p ) + β d χ ( p , f p ) + γ d χ ( p , f p ) + η d χ ( p , f p ) d χ ( p , f p ) 1 + d χ ( p , p ) α d χ ( p , p ) + β d χ ( p , p ) + γ d χ ( p , p ) + η d χ ( p , p ) = ( α + β + γ + η ) d χ ( p , p ) .
Since α + β + γ + η [ 0 , 1 ) , so we get a contrary to d χ ( p , p ) > 0 , thus d χ ( p , p ) = 0 .
Eventually, suppose that f has two different fixed points, say u and v . Apply u = u and v = v to (1), then it easily follows that
d χ ( u , v ) = d χ ( f u , f v ) α d χ ( u , v ) + β d χ ( u , f u ) + γ d χ ( v , f v ) + η d χ ( u , f u ) d χ ( v , f v ) 1 + d χ ( u , v ) = α d χ ( u , v ) + β d χ ( u , u ) + γ d χ ( v , v ) + η d χ ( u , u ) d χ ( v , v ) 1 + d χ ( u , v ) = α d χ ( u , v ) < d χ ( u , v ) .
Which is a contradiction. Hence, f has a unique fixed point u . □
Remark 2. 
(1). 
Our results is an improvement of the results of Lateef [19]. On the one hand, if β = γ = 0 , notice that our contraction becomes a Fisher contraction in [19], the conclusion still holds, i.e., f has a fixed point; on the other hand, we get the result in double controlled metric-like spaces, instead of controlled metric spaces. In other words, we extend the result to double controlled metric-like spaces.
(2). 
Special cases:
case 1. 
if η = 0 in Theorem 3.1, then we obtain the results of Tas [18];
case 2. 
if β = γ = η = 0 , then we obtain Banach contraction, which is the results of Mlaiki [17];
case 3. 
if β = γ and α = η = 0 , then we obtain Kannan contraction, which is the results of Mlaiki [17].
(3). 
By Remark 1, we know that every double controlled metric space is a double controlled metric-like space, and self-distance in the latter does not need to be zero. Thus, our results still hold in double controlled metric spaces.
We give a simple example to verify the correctness of Theorem 2.
Example 3.
Let X = { 0 , 1 , 2 } and define d χ : X × X [ 0 , ) by
d χ ( 0 , 0 ) = d χ ( 1 , 1 ) = 0 , d χ ( 2 , 2 ) = 1 , d χ ( 0 , 1 ) = d χ ( 1 , 0 ) = 10 , d χ ( 0 , 2 ) = d χ ( 2 , 0 ) = 6 , d χ ( 1 , 2 ) = d χ ( 2 , 1 ) = 4 ,
Consider χ 1 , χ 2 : X × X [ 1 , ) are two symmetric function and defined as follows:
  • χ 1 ( 0 , 0 ) = χ 1 ( 1 , 1 ) = χ 1 ( 2 , 2 ) = 1 , χ 1 ( 0 , 2 ) = 1 , χ 1 ( 0 , 1 ) = 11 10 , χ 1 ( 1 , 2 ) = 6 5 ;
  • χ 2 ( 0 , 0 ) = χ 2 ( 1 , 1 ) = χ 2 ( 2 , 2 ) = 1 , χ 2 ( 0 , 1 ) = 11 10 , χ 2 ( 0 , 2 ) = 7 6 , χ 2 ( 1 , 2 ) = 1 .
Define a mapping f : X X by
f u = 2 , if u = 0 , 1 , if u { 1 , 2 } .
Firstly, we show that ( X , d χ ) is a double controlled metric-like space. By the symmetry of d χ , χ 1 and χ 2 , then ( d χ 1 ) and ( d χ 2 ) in the sense of Definition 5 are obviously satisfied, so we focus on the following three cases, and the others are clearly true.
Case 1. 
u = 0 , v = 1 , d χ ( 0 , 1 ) = 10 10 = χ 1 ( 0 , 2 ) d χ ( 0 , 2 ) + χ 2 ( 2 , 1 ) d χ ( 2 , 1 ) ;
Case 2. 
u = 0 , v = 2 , d χ ( 0 , 2 ) = 6 15 = χ 1 ( 0 , 1 ) d χ ( 0 , 1 ) + χ 2 ( 1 , 2 ) d χ ( 1 , 2 ) ;
Case 3. 
u = 1 , v = 2 , d χ ( 1 , 2 ) = 4 18 = χ 1 ( 1 , 0 ) d χ ( 1 , 0 ) + χ 2 ( 0 , 2 ) d χ ( 0 , 2 ) ,
then it must be d χ ( u , v ) χ 1 ( u , w ) d χ ( u , w ) + χ 2 ( w , v ) d χ ( w , v ) , for all u , w , v X , i.e., ( d χ 3 ) holds. So ( X , d χ ) is a double controlled metric-like space.
Next, we take α = 1 5 , β = 1 3 , γ = 1 4 , η = 1 10 . Now, let us talk about the following three cases:
Case 1. 
u = 0 , v = 1 , d χ ( f 0 , f 1 ) = d χ ( 2 , 1 ) = 4 4 = 1 5 d χ ( 0 , 1 ) + 1 3 d χ ( 0 , 2 ) + 1 4 d χ ( 1 , 1 ) + 1 10 d χ ( 0 , 2 ) d χ ( 1 , 1 ) 1 + d χ ( 0 , 1 ) ;
Case 2. 
u = 0 , v = 2 , d χ ( f 0 , f 2 ) = d χ ( 2 , 1 ) = 4 < 159 35 = 1 5 d χ ( 0 , 2 ) + 1 3 d χ ( 0 , 2 ) + 1 4 d χ ( 2 , 1 ) + 1 10 d χ ( 0 , 2 ) d χ ( 2 , 1 ) 1 + d χ ( 0 , 2 ) ;
Case 3. 
u = 1 , v = 2 , d χ ( f 1 , f 2 ) = d χ ( 1 , 1 ) = 0 < 32 15 = 1 5 d χ ( 1 , 2 ) + 1 3 d χ ( 1 , 1 ) + 1 4 d χ ( 2 , 1 ) + 1 10 d χ ( 1 , 1 ) d χ ( 2 , 1 ) 1 + d χ ( 1 , 1 ) .
So (1) is satisfied. For any u 0 X , (2) is also satisfied. Indeed, we have
sup m 1 lim i χ 1 ( u i + 1 , u i + 2 ) χ 1 ( u i , u i + 1 ) χ 2 ( u i + 1 , u m ) = 1 < 39 32 = 1 λ = 1 γ η α + β .
It is easy to verify the other assumptions in Theorem 2 also hold. So it meets requirements of Theorem 2, in this case, we can find that the unique fixed point of f is u = 1 .
By our main results, we can obtain some fixed point results in a few metric-type spaces.
Corollary 1.
Let ( X , d χ ) be a complete controlled metric space and χ : X × X [ 1 , ) . If a self-mapping f : X X such that
d χ ( f u , f v ) α d χ ( u , v ) + β d χ ( u , f u ) + γ d χ ( v , f v ) + η d χ ( u , f u ) d χ ( v , f v ) 1 + d χ ( u , v ) ,
for all u , v X , where α , β , γ , η [ 0 , 1 ) with α + β + γ + η < 1 .
For u 0 X , take u n = f n u 0 . Let λ = α + β 1 γ η . Suppose that
sup m 1 lim i χ ( u i + 1 , u i + 2 ) χ ( u i , u i + 1 ) χ ( u i + 1 , u m ) < 1 λ .
Moreover, for each u X , lim n χ ( u , u n ) exist and finite and lim n χ ( u n , u ) < 1 γ , then there exists a unique u X such that f u = u .
Proof. 
Take χ 1 = χ 2 = χ in Theorem 2. □
Corollary 2.
Let ( X , d ) be a complete b-metric space. If a self-mapping f : X X such that
d ( f u , f v ) α d ( u , v ) + β d ( u , f u ) + γ d ( v , f v ) + η d ( u , f u ) d ( v , f v ) 1 + d ( u , v ) ,
for all u , v X , where α , β , γ , η ( 0 , 1 ) with α + β + γ + η < 1 .
Suppose that
b < min { 1 γ η α + β , 1 γ } .
Then there exists a unique u M such that f u = u .
Proof. 
Let χ 1 = χ 2 = b in Theorem 2, where b is the cofficient of b-metric space ( X , d ) . □
Corollary 3.
Let ( X , d ) be a complete metric space. If a self-mapping f : X X such that
d ( f u , f v ) α d ( u , v ) + β d ( u , f u ) + γ d ( v , f v ) + η d ( u , f u ) d ( v , f v ) 1 + d ( u , v ) ,
for all u , v X , where α , β , γ , η ( 0 , 1 ) with α + β + γ + η < 1 .
Then there exists a unique u M such that f u = u .
Proof. 
In Corollary 2, a b-metric space reduces to a metric space when b = 1 , so the conclusion holds clearly. □

4. Application

In this section, we aim to apply Theorem 2 to solve the existence and uniqueness problems of solutions for the Fredholm integral equations, which defined as follows:
F ( x ) = a b f ( x , y , F ( y ) ) d y + M ( x ) , for all x , y [ a , b ] ,
where M : [ a , b ] R and f : [ a , b ] × [ a , b ] × R are two continuous functions. Let X = C ( [ a , b ] ) be the set of all continuous real value functions defined on [ a , b ] . Set
d χ ( F 1 ( t ) , F 2 ( t ) ) = sup t [ a , b ] | F 1 ( t ) F 2 ( t ) | 2 .
Take
χ 1 ( F 1 , F 2 ) = 1 + sup t [ a , b ] | F 1 ( t ) F 2 ( t ) | , if F 1 F 2 , 1 , if F 1 = F 2
and
χ 2 ( F 1 , F 2 ) = 1 , for all F 1 , F 2 X .
Obviously, it can easily follows that ( X , d χ ) is a complete double controlled metric-like space.
Theorem 3.
Define T : X X by
T ( F ( x ) ) = a b f ( x , y , F ( y ) ) d y + M ( x ) , for all x , y [ a , b ] .
Suppose that for all F 1 , F 2 X , x , y [ a , b ] ,
| f ( x , y , F 1 ( y ) ) f ( x , y , F 2 ( y ) ) | 1 b a M ,
where
M = α d χ ( F 1 ( t ) , F 2 ( t ) ) + β d χ ( F 1 ( t ) , T ( F 1 ( t ) ) ) + γ d ( F 2 ( t ) , T ( F 2 ( t ) ) ) + η d χ ( F 1 ( t ) , T ( F 1 ( t ) ) ) d χ ( F 2 ( t ) , T ( F 2 ( t ) ) ) 1 + d χ ( F 1 ( t ) , F 2 ( t ) )
with α + β + γ + η < 1 . Then, Equation (13) has a unique solution.
Proof. 
Now, we prove T satisfies the all conditions of Theorem 2. For all F 1 , F 2 X , we get
| T ( F 1 ( x ) ) T ( F 2 ( x ) ) | 2 ( a b | [ f ( x , y , F 1 y ) f ( x , y , F 1 y ) ] | d y ) 2 ( a b 1 ( b a ) M d y ) 2 = 1 ( b a ) 2 ( a b d y ) 2 M = α d χ ( F 1 ( t ) , F 2 ( t ) ) + β d χ ( F 1 ( t ) , T ( F 1 ( t ) ) ) + γ d ( F 2 ( t ) , T ( F 2 ( t ) ) ) + η d χ ( F 1 ( t ) , T ( F 1 ( t ) ) ) d χ ( F 2 ( t ) , T ( F 2 ( t ) ) ) 1 + d χ ( F 1 ( t ) , F 2 ( t ) ) .
Hence,
d χ ( F 1 ( x ) , F 2 ( x ) ) = sup t [ a , b ] | T ( F 1 ( x ) ) T ( F 2 ( x ) ) | 2 α d χ ( F 1 ( t ) , F 2 ( t ) ) + β d χ ( F 1 ( t ) , T ( F 1 ( t ) ) ) + γ d ( F 2 ( t ) , T ( F 2 ( t ) ) ) + η d χ ( F 1 ( t ) , T ( F 1 ( t ) ) ) d χ ( F 2 ( t ) , T ( F 2 ( t ) ) ) 1 + d χ ( F 1 ( t ) , F 2 ( t ) ) .
Therefore, all conditions of Theorem 2 are satisfied, so Equation (13) has a unique solution. □

5. Conclusions

In this paper, we define a new type of rational contraction in double controlled metric-like spaces. On the one hand, we obtain the fixed point theorems of this kind of contraction. On the other hand, we improve some recent results in double controlled metric-like spaces. Next, we use a simple example to show the validity of our main results. Finally, we get a lot of corollaries related to the new rational contraction. There is no doubt about the importance of fixed point theory. Considering the study of contraction condition and generalized metric space are two important research directions of fixed point theory, based on this paper, we give some ideas for the future.
There are some possible works in the future:
(i) 
Consider replacing the rational expression in this article with another rational expression;
(ii) 
Extend our results to another metric space, like double controlled quasi metric-like space [20], fuzzy double controlled metric space [21], triple controlled metric space [22], and so on;
(iii) 
The four constants on the right hand side of the rational contraction inequality may be changed to special functions.

Author Contributions

Resources, J.D., X.L. and Y.S.; Software, X.L. and M.Z.; Writing—original draft, J.D., X.L. and Y.S.; Writing—review & editing, J.D., X.L., Y.S. and M.Z. All authors contributed equally in writing this paper. All authors have read and agreed to the published version of the manuscript.

Funding

This work is partially supported by National Natural Science Foundation of China (Grant No.11872043), Central Government Funds of Guiding Local Scientific and Technological Development for Sichuan Province (Grant No.2021ZYD0017), Zigong Science and Technology Program (Grant No.2020YGJC03), the Opening Project of Key Laboratory of Higher Education of Sichuan Province for Enterprise Informationalization and Internet of Things (Grant No.2020WYJ01), 2020 Graduate Innovation Project of Sichuan University of Science and Engineering (Grant No.y2020078), 2021 Innovation and Entrepreneurship Training Program for College Students of Sichuan University of Science and Engineering(Grant No.cx2021150).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

All the authors are grateful to the editor and anonymous referees for their excellent suggestions, which greatly improved 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. Lukács, A.; kajántó, S. Fixed point theorems for various types of F-contraction in complete b-metric spaces. Fixed Point Theory 2018, 19, 321–334. [Google Scholar] [CrossRef] [Green Version]
  3. 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]
  4. Chifu, C.; Karapínar, E. Admissible hybrid 𝒵-contractions in b-Metric spaces. Axioms 2019, 9, 2. [Google Scholar] [CrossRef] [Green Version]
  5. Kamran, T.; Samreen, M.; Ain, O.U. A generalization of b-metric space and some fixed point theorems. Mathematics 2017, 5, 19. [Google Scholar] [CrossRef] [Green Version]
  6. Alqahtani, B.; Fulga, A.; Karapınar, E. Common fixed point results on an extended b-metric space. J. Inequalities Appl. 2018, 2018, 158. [Google Scholar] [CrossRef] [PubMed]
  7. Mitrovi, Z.D.; Işık, H.; Radenovi, S. The new results in extended b-metric spaces and applications. Int. J. Nonlinear Anal. Appl. 2020, 11, 473–482. [Google Scholar]
  8. Shatanawi, W.; Abodayeh, K.; Mukheimer, A. Some fixed point theorems in extended b-metric spaces. UPB Sci. Bull. Ser. A 2018, 80, 71–78. [Google Scholar]
  9. Hammad, H.A.; De la Sen, M.; Aydi, H. Analytical solution for differential and nonlinear integral equations via Fωe-suzuki contractions in modified ωe-metric-like spaces. J. Funct. Space 2021, 2021, 6128586. [Google Scholar]
  10. Hammad, H.A.; De la Sen, M. A triple fixed point technique for solving a triple-system of integral equations and Markov process in CCbMS. Adv. Differ. Equ. 2020, 2020, 567. [Google Scholar] [CrossRef]
  11. Hammad, H.A.; De la Sen, M. A technique of tripled coincidence points for solving a system of nonlinear integral equations in POCML spaces. J. Inequalities Appl. 2020, 2020, 211. [Google Scholar] [CrossRef]
  12. Mlaiki, N.; Souayah, N.; Abdeljawad, T.; Aydi, H. A new extension to the controlled metric type spaces endowed with a graph. Adv. Differ. Equ. 2021, 2021, 94. [Google Scholar] [CrossRef]
  13. Lattef, D. Kannan fixed point theorem in C-metric spaces. J. Math. Anal. 2019, 10, 34–40. [Google Scholar]
  14. Ahmad, J.; Al-Mazrooei, A.E.; Aydi, H.; De la Sen, M. On fixed point results in controlled metric spaces. J. Funct. Spaces 2020, 2020, 2108167. [Google Scholar] [CrossRef]
  15. Mlaiki, N.; Aydi, H.; Souayah, N.; Abdeljawad, T. An improvement of recent results in controlled metric type spaces. Filomat 2020, 34, 1853–1862. [Google Scholar] [CrossRef]
  16. Abdeljawad, T.; Mlaiki, N.; Aydi, H.; Souayah, N. Double controlled metric type spaces and some fixed point results. Mathematics 2018, 6, 320. [Google Scholar] [CrossRef] [Green Version]
  17. Mlaiki, N. Double controlled metric-like spaces. J. Inequalities Appl. 2020, 2020, 189. [Google Scholar] [CrossRef]
  18. Tas, A. On double controlled metric-like spaces and related fixed point theorems. Adv. Theory Nonlinear Anal. Its Appl. 2021, 5, 167–172. [Google Scholar]
  19. Lateef, D. Fisher type fixed point results in controlled metric spaces. J. Math. Comput. Sci. 2020, 12, 234–240. [Google Scholar] [CrossRef]
  20. Zidan, A.M.; Mostefaoui, Z. Double controlled quasi metric-like spaces and some topological properties of this space. AIMS Math. 2021, 6, 11584–11594. [Google Scholar] [CrossRef]
  21. Saleem, N.; Işık, H.; Furqan, S.; Park, C. Fuzzy double controlled metric spaces and related results. J. Intell. Fuzzy Syst. 2021, 40, 9977–9985. [Google Scholar] [CrossRef]
  22. Gopalan, S.T.Z.K.; Abdeljawad, T. A different approach to fixed point theorems on triple controlled metric type spaces with a numerical experiment. Dyn. Syst. Appl. 2021, 30, 111–130. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Deng, J.; Liu, X.; Sun, Y.; Zhou, M. Fixed Point Results for a New Rational Contraction in Double Controlled Metric-like Spaces. Mathematics 2022, 10, 1439. https://doi.org/10.3390/math10091439

AMA Style

Deng J, Liu X, Sun Y, Zhou M. Fixed Point Results for a New Rational Contraction in Double Controlled Metric-like Spaces. Mathematics. 2022; 10(9):1439. https://doi.org/10.3390/math10091439

Chicago/Turabian Style

Deng, Jia, Xiaolan Liu, Yan Sun, and Mi Zhou. 2022. "Fixed Point Results for a New Rational Contraction in Double Controlled Metric-like Spaces" Mathematics 10, no. 9: 1439. https://doi.org/10.3390/math10091439

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