Next Article in Journal
Serret-Frenet Frame and Curvatures of Bézier Curves
Next Article in Special Issue
Global Optimization for Quasi-Noncyclic Relatively Nonexpansive Mappings with Application to Analytic Complex Functions
Previous Article in Journal
Bayesian and Non-Bayesian Inference for the Generalized Pareto Distribution Based on Progressive Type II Censored Sample
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Double Controlled Metric Type Spaces and Some Fixed Point Results

1
Department of Mathematics and General Sciences, Prince Sultan University, P.O. Box 66833, Riyadh 11586, Saudi Arabia
2
Department of Mathematics, College of Education in Jubail, Imam Abdulrahman Bin Faisal University, P.O. Box 12020, Jubail 31961, Saudi Arabia
3
Department of Natural Sciences, Community College Al-Riyadh, King Saud University, Riyadh 4545, Saudi Arabia
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(12), 320; https://doi.org/10.3390/math6120320
Submission received: 12 November 2018 / Revised: 2 December 2018 / Accepted: 7 December 2018 / Published: 12 December 2018

Abstract

:
In this article, in the sequel of extending b-metric spaces, we modify controlled metric type spaces via two control functions α ( x , y ) and μ ( x , y ) on the right-hand side of the b - triangle inequality, that is,
d ( x , y ) α ( x , z ) d ( x , z ) + μ ( z , y ) d ( z , y ) , for all x , y , z X .
Some examples of a double controlled metric type space by two incomparable functions, which is not a controlled metric type by one of the given functions, are presented. We also provide some fixed point results involving Banach type, Kannan type and ϕ -nonlinear type contractions in the setting of double controlled metric type spaces.

1. Introduction

One of the generalizations of metric spaces was studied by Bakhtin [1] and Czerwik [2] who introduced the notion of b-metric spaces. Since then, many authors obtained several fixed point results for single valued and multivalued operators in the setting of b-metric spaces, for instance, see [3,4,5,6,7,8,9,10,11,12,13,14,15,16]. Among the generalizations of b-metric spaces, we cite the work of Kamran et al. [17] (see also [18,19,20,21]) who introduced extended b-metric spaces by controlling the triangle inequality rather than using control functions in the contractive condition. Proving extensions of Banach contraction principle from metric spaces to b-metric spaces and hence to controlled metric type spaces is useful to prove existence and uniqueness theorem for different types of integral and differential equations. Some nice applications can be found for example in the recent article [22]. In fact, the authors in [17] gave a slightly modified application of a proven fixed point result. However, finding serious applications to integral equations and dynamical systems is still of interest. In this article, we have been only motivated theoretically to relax the triangle inequality of b-metric spaces by using two controlled functions rather than using one.
Definition 1.
[17] Given a function θ : X × X [ 1 , ) , where X is a nonempty set. The function d : X × X [ 0 , ) is called an extended b-metric if
1.
d ( x , y ) = 0 x = y ,
2.
d ( x , y ) = d ( y , x ) ,
3.
d ( x , y ) θ ( x , y ) [ d ( x , z ) + d ( z , y ) ] ,
for all x , y , z X .
Recently, Mlaiki et al. [23] generalized the notion of b-metric spaces.
Definition 2.
[23] Given α : X × X [ 1 , ) , where X is nonempty. Let ρ : X × X [ 0 , ) . Suppose that
( ρ 1 ) ρ ( u , v ) = 0 if and only if u = v ,
( ρ 2 ) ρ ( u , v ) = ρ ( v , u ) ,
( ρ 3 ) ρ ( u , v ) α ( u , w ) ρ ( u , w ) + α ( w , v ) ρ ( w , v ) ,
for all u , v , w X . Then, ρ is called a controlled metric type and ( X , ρ ) is called a controlled metric type space.
Now, we introduce a more general b-metric space.
Definition 3.
Given non-comparable functions α , μ : X × X [ 1 , ) . If q : X 2 [ 0 , ) satisfies
( q 1 ) q ( u , v ) = 0 u = v ,
( q 2 ) q ( u , v ) = q ( v , u ) ,
( q 3 ) q ( u , v ) α ( u , w ) q ( u , w ) + μ ( w , v ) q ( w , v ) ,
for all u , v , w X . Then, q is called a double controlled metric type by α and μ.
Remark 1.
A controlled metric type is also a double controlled metric type when taking the same function(s). The converse is not true in general (see Examples 1 and 2).
Example 1.
Let X = [ 0 , ) . Define q by
q ( x , y ) = 0 , x = y , 1 x , if   x 1   and   y [ 0 , 1 ) , 1 y , if   y 1   and   x [ 0 , 1 ) , 1 , if   not .
Consider α , μ : X 2 [ 1 , ) as
α ( x , y ) = x , if   x , y 1 , 1 , if   not , a n d μ ( x , y ) = 1 , if   x , y < 1 , max { x , y } , if   not .
The conditions ( q 1 ) and ( q 2 ) hold. We claim that ( q 3 ) is satisfied.
( i ) : When z = x or z = y , ( q 3 ) holds.
( i i ) : Otherwise, first ( q 3 ) is verified in the case that x = y . Consider the case that x y , hence we get that x y z . In the subcases ( x 1 and y [ 0 , 1 ) ) and ( y 1 and x [ 0 , 1 ) ), it is easy to see that ( q 3 ) holds. Here, we have:
Subcase 1: x , y 1 .
If z 1 , ( q 3 ) holds. While, if z [ 0 , 1 ) , we have
1 1 x + y . 1 y ,
that is, ( q 3 ) is satisfied.
Subcase 2: x , y < 1 .
If z [ 0 , 1 ) , ( q 3 ) holds. While, if z 1 , we have
1 1 z + z . 1 z ,
that is, ( q 3 ) is verified. We deduce that q is a double controlled metric type.
On the other hand, we have
q ( 0 , 1 2 ) = 1 > 2 3 = 1 3 + 1 3 = α ( 0 , 3 ) q ( 0 , 3 ) + α ( 3 , 1 2 ) q ( 3 , 1 2 ) .
This leads us to say that q is not an extended b-metric when considering the same function μ = α .
Example 2.
Let X = { 0 , 1 , 2 } . Consider the double controlled metric type q defined by
q ( x , y ) 0 1 2 0 0 1 1 2 1 1 0 2 5 2 1 2 2 5 0
Given α and μ as
α ( x , y ) 0 1 2 0 1 11 10 1 1 11 10 1 5 8 2 1 5 8 1 a n d μ ( x , y ) 0 1 2 0 1 11 10 3 2 1 11 10 3 2 1 2 3 2 5 4 1
Note that
q ( 0 , 1 ) > α ( 0 , 2 ) q ( 0 , 2 ) + α ( 2 , 1 ) q ( 2 , 1 ) .
Thus, q is not a controlled metric type for the function α.
The topological concepts as continuity, convergent and Cauchy on double controlled metric type spaces are given in the following.
Definition 4.
Let ( X , q ) be a double controlled metric type space by one or two functions.
(1) The sequence { u n } is convergent to some u in X , if for each positive ε, there is some integer N ε such that q ( u n , u ) < ε for each n N ε . It is written as lim n u n = u .
(2) The sequence { u n } is said Cauchy, if for every ε > 0 , q ( u n , u m ) < ε for all m , n N ε , where N ε is some integer.
(3) ( X , q ) is said complete if every Cauchy sequence is convergent.
Definition 5.
Let ( X , q ) be a double controlled metric type space by either one function or two functions—for u X and k > 0 .
( i ) We define B ( u , k ) as
B ( u , k ) = { y X , q ( u , y ) < k } .
( i i ) The self-map T on X is said to be continuous at u in X if for all δ > 0 , there exists k > 0 such that T ( B ( u , k ) ) B ( T u , δ ) .
Note that if T is continuous at u in ( X , q ) , then u n u implies that T u n T u when n tends to ∞.
In this paper, we present some fixed point theorems in double controlled metric type spaces. The first one is the related Banach contraction principle. The second one concerns with a nonlinear case involving a function ϕ satisfying suitable conditions. The last one is the related Kannan type result. The given concepts and theorems are illustrated by some examples.

2. Main Results

Our first fixed point result is the following:
Theorem 1.
Let ( X , d ) be a complete double controlled metric type space by the functions α , μ : X × X [ 1 , ) . Suppose that T : X X satisfies
q ( T x , T y ) k q ( x , y ) ,
for all x , y X , where k ( 0 , 1 ) . For u 0 X , choose u n = T n u 0 . Assume that
sup m 1 lim i α ( u i + 1 , u i + 2 ) α ( u i , u i + 1 ) μ ( u i + 1 , u m ) < 1 k .
In addition, for each u X , suppose that
lim n α ( u , u n ) and lim n μ ( u n , u ) exist and are finite .
Then, T has a unique fixed point.
Proof. 
Consider the sequence { u n = T n u 0 } in X that satisfies the hypothesis of the theorem. By using label (1), we get
q ( u n , u n + 1 ) k n q ( u 0 , u 1 ) for all n 0 .
Let n , m be integers such that n < m . We have
q ( u n , u m ) α ( u n , u n + 1 ) q ( u n , u n + 1 ) + μ ( u n + 1 , u m ) q ( u n + 1 , u m ) α ( u n , u n + 1 ) q ( u n , u n + 1 ) + μ ( u n + 1 , u m ) α ( u n + 1 , u n + 2 ) q ( u n + 1 , u n + 2 ) + μ ( u n + 1 , u m ) μ ( u n + 2 , u m ) q ( u n + 2 , u m ) α ( u n , u n + 1 ) q ( u n , u n + 1 ) + μ ( u n + 1 , u m ) α ( u n + 1 , u n + 2 ) q ( u n + 1 , u n + 2 ) + μ ( u n + 1 , u m ) μ ( u n + 2 , u m ) α ( u n + 2 , u n + 3 ) q ( u n + 2 , u n + 3 ) + μ ( u n + 1 , u m ) μ ( u n + 2 , u m ) μ ( u n + 3 , u m ) q ( u n + 3 , u m ) α ( u n , u n + 1 ) q ( u n , u n + 1 ) + i = n + 1 m - 2 j = n + 1 i μ ( u j , u m ) α ( u i , u i + 1 ) q ( u i , u i + 1 ) + k = n + 1 m - 1 μ ( u k , u m ) q ( u m - 1 , u m ) α ( u n , u n + 1 ) k n q ( u 0 , u 1 ) + i = n + 1 m - 2 j = n + 1 i μ ( u j , u m ) α ( u i , u i + 1 ) k i q ( u 0 , u 1 ) + i = n + 1 m - 1 μ ( u i , u m ) k m - 1 q ( u 0 , u 1 ) α ( u n , u n + 1 ) k n q ( u 0 , u 1 ) + i = n + 1 m - 2 j = n + 1 i μ ( u j , u m ) α ( u i , u i + 1 ) k i q ( u 0 , u 1 ) + i = n + 1 m - 1 μ ( u i , u m ) k m - 1 α ( u m - 1 , u m ) q ( u 0 , u 1 ) = α ( u n , u n + 1 ) k n q ( u 0 , u 1 ) + i = n + 1 m - 1 j = n + 1 i μ ( u j , u m ) α ( u i , u i + 1 ) k i q ( u 0 , u 1 ) α ( u n , u n + 1 ) k n q ( u 0 , u 1 ) + i = n + 1 m - 1 j = 0 i μ ( u j , u m ) α ( u i , u i + 1 ) k i q ( u 0 , u 1 ) .
We used α ( x , y ) 1 . Let
S p = i = 0 p j = 0 i μ ( u j , u m ) α ( u i , u i + 1 ) k i .
Hence, we have
q ( u n , u m ) q ( u 0 , u 1 ) k n α ( u n , u n + 1 ) + ( S m - 1 - S n ) .
The ratio test together with (2) imply that the limit of the real number sequence { S n } exits, and so { S n } is Cauchy. Indeed, the ration test is applied to the term a i = j = 0 i μ ( u j , u m ) α ( u i , u i + 1 ) . Letting n , m tend to ∞ in label (5) yields
lim n , m q ( u n , u m ) = 0 ,
so the sequence { u n } is Cauchy. Since ( X , q ) is a complete double controlled metric type space, there exists some ξ X such that
lim n q ( u n , ξ ) = 0 .
We claim that T ξ = ξ . By ( q 3 ) , we have
q ( ξ , u n + 1 ) α ( ξ , u n ) q ( ξ , u n ) + μ ( u n , u n + 1 ) q ( u n , u n + 1 ) .
Using (3) and (6), we get that
lim n q ( ξ , u n + 1 ) = 0 .
By (1), we have
q ( ξ , T ξ ) α ( ξ , u n + 1 ) q ( ξ , u n + 1 ) + μ ( u n + 1 , T ξ ) q ( u n + 1 , T ξ ) α ( u , u n + 1 ) q ( ξ , u n + 1 ) + k μ ( u n + 1 , T ξ ) q ( u n , ξ ) .
Using (3) and (7), we get at the limit q ( ξ , T ξ ) = 0 , that is, T ξ = ξ . Let η in X be such that T η = η and ξ η . We have
0 < q ( ξ , η ) = q ( T ξ , T ξ ) k q ( ξ , η ) .
It is a contradiction, so ξ = η . Hence, ξ is the unique fixed point of T. □
Remark 2.
The assumption (3) in Theorem 1 above can be replaced by the assumptions that the mapping T and the double controlled metric d are continuous. Indeed, when u n ξ , then T u n T ξ and hence we have
lim n q ( T u n , T ξ ) = 0 = lim n q ( T u n + 1 , T ξ ) = q ( ξ , T ξ ) ,
and hence T ξ = ξ .
Theorem 1 is illustrated by the following examples.
Example 3.
We endow X = { 0 , 1 , 2 } by the following double controlled metric type
q ( x , y ) 0 1 2 0 0 1 2 5 1 1 0 6 25 2 2 5 6 25 0
Given α and μ as
α ( x , y ) 0 1 2 0 1 6 5 151 100 1 6 5 1 8 5 2 151 100 8 5 1 a n d μ ( x , y ) 0 1 2 0 1 6 5 8 5 1 6 5 1 33 20 2 8 5 33 20 1
The given q is not a controlled metric space for the function α. Indeed,
q ( 0 , 1 ) = 1 > 247 250 = α ( 0 , 2 ) q ( 0 , 2 ) + α ( 2 , 1 ) q ( 2 , 1 ) .
Choose T 0 = 2 and T 1 = T 2 = 1 . Set k = 3 5 . It is clear that condition (1) is satisfied. In addition, (2) holds for each u 0 in X. All hypotheses of Theorem 1 are fulfilled. Here, ξ = 1 is the unique fixed point.
Example 4.
Let X = [ 0 , 4 ] . Consider the double controlled metric q and functions α and μ given in Example 1. Choose T x = 1 for all x X . Let u 0 = 1 and k = 1 2 . We have
sup m 1 lim i α ( u i + 1 , u i + 2 ) α ( u i , u i + 1 ) μ ( u i + 1 , u m ) = 1 < 2 = 1 k .
that is, (2) holds. In addition, for each u [ 0 , 4 ] , we have
lim n α ( u , u n ) = max ( 1 , u ) < and lim n μ ( u n , u ) = max ( u , 1 ) < .
That is, (3) holds. All hypotheses of Theorem 1 are satisfied and ξ = 1 is the unique fixed point.
Definition 6.
Given u 0 X , the orbit O ( u 0 ) of u 0 is defined as O ( u 0 ) = { u 0 , T u 0 , T 2 u 0 , . . . } , where T is a self-map on the set X. The operator G : X R is called T-orbitally lower semi-continuous at η X if when { u n } in O ( u 0 ) such that lim n q ( u n , η ) = 0 , we get that G ( η ) lim n inf G ( u n ) .
Proceeding similarly as [17] and using Definition 6, we have the following corollary generalizing Theorem 1 in [24].
Corollary 1.
Let T be a self-map on ( X , q ) a complete double controlled metric type space by two mappings α , μ . Given u 0 X . Let k ( 0 , 1 ) be such that
q ( T z , T 2 z ) k q ( z , T z ) , f o r e a c h z O ( u 0 ) .
Take u n = T n u 0 and suppose that
sup m 1 lim i α ( u i + 1 , u i + 2 ) α ( u i , u i + 1 ) μ ( u i + 1 , u m ) < 1 k .
Then, lim n q ( u n , ξ ) = 0 . We also we have that T ξ = ξ if and only if the operator x q ( x , T x ) is T - orbitally lower semi-continuous at u.
Our next fixed point result concerns with the nonlinear case using a control function of Matkowski [25].
Theorem 2.
Let ( X , d ) be a complete double controlled metric type space via two functions α ( x , y ) and μ ( x , y ) . Assume that T : X X satisfies for all x , y X
q ( T x , T y ) ϕ ( Λ ( x , y ) ) , Λ ( x , y ) = max { q ( x , y ) , q ( x , T x ) , q ( y , T y ) } ,
where ϕ : [ 0 , ) [ 0 , ) is non-decreasing, continuous and satisfies lim i ϕ i ( s ) = 0 , s > 0 . Furthermore, assume that for each u 0 X , we have
sup m 1 lim i α ( u i + 1 , u i + 2 ) α ( u i , u i + 1 ) μ ( u i + 1 , u m ) ϕ i + 1 ( q ( u 1 , u 0 ) ) ϕ i ( q ( u 1 , u 0 ) ) < 1 ,
where u n = T n u 0 , n = 0 , 1 , . . . . If the double controlled metric d and the mapping T are continuous, then there exists a unique fixed point of T (say η) such that for each u X , we have T n u η .
Proof. 
Let { u n } and u 0 be as in the statement of the theorem. If, for some m, we have u m = u m + 1 = T u m , then clearly u m is the fixed point. Now, suppose that u n + 1 u n for each n. From condition (10),
q ( u n , u n + 1 ) = q ( T u n , T u n - 1 ) ϕ ( Λ ( u n - 1 , u n ) ) ,
where clearly Λ ( u n - 1 , u n ) = max { q ( u n - 1 , u n ) , q ( u n , u n + 1 ) } . If, for some n, we accept that Λ ( u n - 1 , u n ) = q ( u n , u n + 1 ) , then from (12) and that ϕ ( t ) < t , t > 0 , we have
0 < q ( u n , u n + 1 ) ϕ ( q ( u n , u n + 1 ) ) < q ( u n , u n + 1 ) ,
which leads to a contradiction. Hence, for all n, we must have Λ ( u n - 1 , u n ) = q ( u n - 1 , u n ) . From which, it follows that 0 < q ( u n , u n + 1 ) ϕ ( q ( u n - 1 , u n ) ) . If we proceed inductively, we deduce that for each n 0 , we have
0 < q ( u n , u n + 1 ) ϕ n ( q ( u 0 , u 1 ) ) .
From the assumption on ϕ , we conclude that
lim n q ( u n , u n + 1 ) = 0 .
To show that { u n } is Cauchy, we proceed as in the proof of Theorem 1. For all m > n , we may get
q ( u n , u m ) α ( u n , u n + 1 ) ϕ n ( q ( u 0 , u 1 ) ) + i = n + 1 m - 1 j = 0 i μ ( u j , u m ) α ( u i , u i + 1 ) ϕ i ( q ( u 0 , u 1 ) ) .
The assumption (11) by means of the ratio test applied to the series derived from the right-hand side of (14), as in the proof of Theorem 1, will lead to the sequence { u n } being Cauchy. Since ( X , d ) is complete, there exists η X such that lim n q ( u n , η ) = 0 . That η is a fixed point is shown as in Remark 2. To prove the uniqueness of the fixed point, assume z is such that T z = z and z η . By (10), we have
0 < q ( η , z ) = q ( T η , T z ) ϕ ( Λ ( η , z ) ) = ϕ ( q ( η , z ) ) < q ( η , z ) ,
which is a contradiction. □
Remark 3.
In Theorem 2, if we take ϕ ( s ) = k s , k ( 0 , 1 ) , then the condition (10) will have the form
q ( T x , T y ) k max { q ( x , y ) , q ( x , T x ) , q ( y , T y ) } .
In the following theorem, we propose the related fixed point result of Kannan [26].
Theorem 3.
Let ( X , d ) be a complete double controlled metric type space by the functions α , μ : X × X [ 1 , ) . Let T : X X be a Kannan mapping defined as follows:
q ( T x , T y ) a [ q ( x , T x ) + q ( y , T y ) ] ,
for all x , y X , where a ( 0 , 1 2 ) . For u 0 X , take u n = T n u 0 . Suppose that
sup m 1 lim i α ( u i + 1 , u i + 2 ) α ( u i , u i + 1 ) μ ( u i + 1 , u m ) < 1 - a a .
For each u X , assume that
lim n α ( u , u n ) exists , is finite and lim n μ ( u n , u ) < 1 a .
Then, there exists a unique fixed point of T.
Proof. 
Let { u n = T u n - 1 } in X be such that the hypotheses (17) and (18) hold. From (16), we obtain
q ( u n , u n + 1 ) = q ( T u n - 1 , T u n ) a [ q ( u n - 1 , T u n - 1 ) + q ( u n , T u n ) ] = a [ q ( u n - 1 , u n ) + q ( u n , u n + 1 ) ] .
Then, q ( u n , u n + 1 ) a 1 - a q ( u n - 1 , u n ) . By induction, we get
q ( u n , u n + 1 ) ( a 1 - a ) n q ( u 1 , u 0 ) , n 0 .
Now, let us prove that { u n } is a Cauchy sequence. Using the triangle inequality, for all n , m N , we obtain
q ( u n , u m ) α ( u n , u n + 1 ) q ( u n , u n + 1 ) + μ ( u n + 1 , u m ) q ( u n + 1 , u m ) .
Similar to the proof of Theorem 1, we get
q ( u n , u m ) α ( u n , u n + 1 ) q ( u n , u n + 1 ) + i = n + 1 m - 2 j = n + 1 i μ ( u j , u m ) α ( u i , u i + 1 ) q ( u i , u i + 1 ) + k = n + 1 m - 1 μ ( u k , u m ) q ( u m - 1 , u m ) α ( u n , u n + 1 ) ( a 1 - a ) n q ( u 0 , u 1 ) + i = n + 1 m - 2 j = n + 1 i μ ( u j , u m ) α ( u i , u i + 1 ) ( a 1 - a ) i q ( u 0 , u 1 ) + i = n + 1 m - 1 μ ( u i , u m ) ( a 1 - a ) m - 1 q ( u 0 , u 1 ) .
Since 0 a < 1 2 , we have a 1 - a [ 0 , 1 ) which allows us to proceed as in the proof of Theorem 1 and we deduce that { u n } is a Cauchy sequence in the complete double controlled metric space ( X , d ) . Thus, there exists u X as a limit of { u n } in ( X , d ) . Assume that T u u . We have
0 < q ( u , T u ) α ( u , u n + 1 ) q ( u , u n + 1 ) + μ ( u n + 1 , T u ) q ( u n + 1 , T u ) α ( u , u n + 1 ) q ( u , u n + 1 ) + μ ( u n + 1 , T u ) [ a q ( u n , u n + 1 ) + a q ( u , T u ) ] .
Passing to the limit on both sides of (20) and making use of the condition (18), we deduce that 0 < q ( u , T u ) < q ( u , T u ) , which is a contradiction. Hence, T u = u . To prove the uniqueness of the fixed point u, suppose that T has another fixed point v. Then,
q ( u , v ) = q ( T u , T v ) a [ q ( u , T u ) + q ( v , T v ) ] = a [ q ( u , u ) + q ( v , v ) ] = 0 .
Therefore, u = v and T has a unique fixed point. □
Remark 4.
  • Condition (18) in Theorem 3 can be replaced by the continuity of the double controlled metric d and the mapping T as it was done in Theorem 2.
  • Continuity of the double controlled metric d and the mapping T in Theorem 2 can be replaced by the following condition: For each u X , we have
    lim n α ( u , u n ) < a n d lim n μ ( u n , T u ) ϕ ( q ( u , T u ) ) < q ( u , T u ) .

Perspectives

It is an open question to treat the cases of the related Chatterjea, Hardy–Rogers, Ćirić and Suzuki contraction types. Moreover, it is always of great interest to find real applications for the proven fixed point theorems in metric type spaces. A future work in this direction will be highly recommended.

3. Conclusions

Going in the same direction as [23], we initiated the concept of double controlled metric type spaces. We established some fixed point theorems in this setting, namely the related Banach contraction principle, the Matkowski [25] and Kannan [26] type fixed point results. In support of the obtained results, we also provide some examples.

Author Contributions

All authors contributed equally in writing this article. All authors read and approved the final manuscript.

Funding

This work is supported by Prince Sultan University through research Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bakhtin, I.A. The contraction mapping principle in almost metric spaces. Funct. Anal. 1989, 30, 26–37. [Google Scholar]
  2. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostra. 1993, 1, 5–11. [Google Scholar]
  3. Abdeljawad, T.; Abodayeh, K.; Mlaiki, N. On fixed point generalizations to partial b-metric spaces. J. Comput. Anal. Appl. 2015, 19, 883–891. [Google Scholar]
  4. Afshari, H.; Atapour, M.; Aydi, H. Generalized α-ψ-Geraghty multivalued mappings on b-metric spaces endowed with a graph. TWMS J. Appl. Eng. Math. 2017, 7, 248–260. [Google Scholar]
  5. Alharbi, N.; Aydi, H.; Felhi, A.; Ozel, C.; Sahmim, S. α-contractive mappings on rectangular b-metric spaces and an application to integral equations. J. Math. Anal. 2018, 9, 47–60. [Google Scholar]
  6. Ameer, E.; Arshad, M.; Shatanawi, W. Common fixed point results for generalized α*-ψ-contraction multivalued mappings in b-metric spaces. J. Fixed Point Theory Appl. 2017, 19, 3069–3086. [Google Scholar] [CrossRef]
  7. Aydi, H.; Karapinar, E.; Bota, M.F.; Mitrović, S. A fixed point theorem for set-valued quasi-contractions in b-metric spaces. Fixed Point Theory Appl. 2012, 2012, 88. [Google Scholar] [CrossRef]
  8. Aydi, H.; Bota, M.F.; Karapinar, E.; Moradi, S. A common fixed point for weak ϕ-contractions on b-metric spaces. Fixed Point Theory 2012, 13, 337–346. [Google Scholar]
  9. Aydi, H.; Banković, R.; Mitrović, I.; Nazam, M. Nemytzki-Edelstein-Meir-Keeler type results in b-metric spaces. Discret. Dyn. Nat. Soc. 2018, 2018, 4745764. [Google Scholar] [CrossRef]
  10. Karapinar, E.; Czerwik, S.; Aydi, H. (α,ψ)-Meir-Keeler contraction mappings in generalized b-metric spaces. J. Funct. Spaces 2018, 2018, 3264620. [Google Scholar] [CrossRef]
  11. Mlaiki, N.; Mukheimer, A.; Rohen, Y.; Souayah, N.; Abdeljawad, T. Fixed point theorems for α-ψ-contractive mapping in Sb-metric spaces. J. Math. Anal. 2017, 8, 40–46. [Google Scholar]
  12. Roshan, J.R.; Parvaneh, V.; Sedghi, S.; Shobkolaei, N.; Shatanawi, W. Common fixed points of almost generalized (ψ,φ)s-contractive mappings in ordered b-metric spaces. Fixed Point Theory Appl. 2013, 2013, 159. [Google Scholar] [CrossRef]
  13. Shatanawi, W. Fixed and common fixed point for mapping satisfying some nonlinear contraction in b-metric spaces. J. Math. Anal. 2016, 7, 1–12. [Google Scholar]
  14. Shatanawi, W.; Pitea, A.; Lazovic, V. Contraction conditions using comparison functions on b-metric spaces. Fixed Point Theory Appl. 2014, 2014, 135. [Google Scholar] [CrossRef]
  15. Souayah, N.; Mlaiki, N.; Mrad, M. The GM-contraction principle for mappings on M-metric spaces endowed with a graph and fixed point theorems. IEEE Access 2018, 6, 25178–25184. [Google Scholar] [CrossRef]
  16. Souayah, N.; Mlaiki, N. A fixed point theorem in Sb metric spaces. J. Math. Comput. Sci. 2016, 16, 131–139. [Google Scholar] [CrossRef]
  17. Kamran, T.; Samreen, M.; Ain, Q.U.L. A Generalization of b-metric space and some fixed point theorems. Mathematics 2017, 5, 1–7. [Google Scholar] [CrossRef]
  18. Abdeljawad, T. Meir-Keeler α-contractive fixed and common fixed point theorems. Fixed Point Theory Appl. 2013, 2013, 19. [Google Scholar] [CrossRef]
  19. Ansari, A.H.; Aydi, H.; Kumari, P.S.; Yildirim, I. New fixed point results via C-class functions in b-rectangular metric spaces. Commun. Math. Anal. 2018, 9, 109–126. [Google Scholar]
  20. Mustafa, Z.; Jaradat, M.M.M.; Aydi, H. A. Alrhayyel, Some common fixed points of six mappings on Gb- metric spaces using (E.A) property. Eur. J. Pure Appl. Math. 2018, 11, 90–109. [Google Scholar] [CrossRef]
  21. Patel, D.K.; Abdeljawad, T.; Gopal, D. Common fixed points of generalized Meir-Keeler α-contractions. Fixed Point Theory Appl. 2013, 2013, 260. [Google Scholar] [CrossRef]
  22. Huang, H.; Deng, G.; Radevovic, S. Fixed point theorems in b-metric spaces with applications to differential equations. J. Fixed Point Theory Appl. 2018. [Google Scholar] [CrossRef]
  23. Mlaiki, N.; Aydi, H.; Souayah, N.; Abdeljawad, T. Controlled metric type spaces and the related contraction principle. Mathematics 2018, 6, 194. [Google Scholar] [CrossRef]
  24. Hicks, T.L.; Rhodes, B.E. A Banach type fixed point theorem. Math. Jpn. 1979, 24, 327–330. [Google Scholar]
  25. Matkowski, J. Fixed point theorems for mappings with a contractive iterate at a point. Proc. Am. Math. Soc. 1977, 62, 344–348. [Google Scholar] [CrossRef]
  26. Kannan, R. Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60, 71–76. [Google Scholar]

Share and Cite

MDPI and ACS Style

Abdeljawad, T.; Mlaiki, N.; Aydi, H.; Souayah, N. Double Controlled Metric Type Spaces and Some Fixed Point Results. Mathematics 2018, 6, 320. https://doi.org/10.3390/math6120320

AMA Style

Abdeljawad T, Mlaiki N, Aydi H, Souayah N. Double Controlled Metric Type Spaces and Some Fixed Point Results. Mathematics. 2018; 6(12):320. https://doi.org/10.3390/math6120320

Chicago/Turabian Style

Abdeljawad, Thabet, Nabil Mlaiki, Hassen Aydi, and Nizar Souayah. 2018. "Double Controlled Metric Type Spaces and Some Fixed Point Results" Mathematics 6, no. 12: 320. https://doi.org/10.3390/math6120320

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