Next Article in Journal
Operator Ordering and Solution of Pseudo-Evolutionary Equations
Next Article in Special Issue
Applications of Square Roots of Diffeomorphisms
Previous Article in Journal
Functional Boundedness of Balleans: Coarse Versions of Compactness
Previous Article in Special Issue
Best Proximity Point Theorems on Rectangular Metric Spaces Endowed with a Graph
Open AccessArticle

Fixed Point Theorems for Geraghty Contraction Type Mappings in b-Metric Spaces and Applications

1
Department of Mathematics, College of Technical and Engineering, Saveh Branch, Islamic Azad University, Saveh 39187/366, Iran
2
Primari School “Kneginja Milica”, Beograd 11073, Serbia
3
Nonlinear Analysis Research Group, Ton Duc Thang University, Ho Chi Minh City 700000, Vietnam
4
Faculty of Mathematics and Statistics, Ton Duc Thang University, Ho Chi Minh City 700000, Vietnam
*
Author to whom correspondence should be addressed.
Axioms 2019, 8(1), 34; https://doi.org/10.3390/axioms8010034
Received: 8 February 2019 / Revised: 7 March 2019 / Accepted: 12 March 2019 / Published: 14 March 2019
(This article belongs to the Special Issue Fixed Point Theory and Related Topics)

Abstract

In this paper, some new results are given on fixed and common fixed points of Geraghty type contractive mappings defined in b-complete b-metric spaces. Moreover, two examples are represented to show the compatibility of our results. Some applications for nonlinear integral equations are also given.
Keywords: fixed point; Geraghty; b-metric space fixed point; Geraghty; b-metric space

1. Introduction

In 1989, Bakhtin [1] introduced b-metric spaces as a generalization of metric spaces. Since then, several papers have been published on the fixed point theory in such spaces. For further works and results in b-metric spaces, we refer readers to References [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22].
Definition 1.
Let X be a (nonempty) set and s 1 be a given real number. A function d : X × X [ 0 , ) is called a b-metric on X if the following conditions hold for all x , y , z X :
(i)
d ( x , y ) = 0 if and only if x = y ,
(ii)
d ( x , y ) = d ( y , x ) ,
(iii)
d ( x , y ) s [ d ( x , z ) + d ( z , y ) ] (b-triangular inequality).
Then, the pair ( X , d ) is called a b-metric space with parameter s.
Example 1.
[14] Let ( X , d ) be a metric space and let β > 1 , λ 0 and μ > 0 . For x , y X , set ρ ( x , y ) = λ d ( x , y ) + μ d ( x , y ) β . Then ( X , ρ ) is a b-metric space with the parameter s = 2 β 1 and not a metric space on X.
In 1973, Geraghty [23] introduced a class of functions to generalize the Banach contraction principle. Let S be the family of all functions α : [ 0 , ) [ 0 , 1 ) satisfying the property:
lim n α ( t n ) = 1 implies lim n t n = 0 .
Theorem 1.
[23] Let ( X , d ) be a complete metric space. Let T : X X be given mapping satisfying:
d ( T x , T y ) α ( d ( x , y ) ) d ( x , y ) , x , y X ,
where α S . Then T has a unique fixed point.
In 2011, Dukic et al. [24] reconsidered Theorem 1 in the framework of b-metric spaces (see also Reference [25]).
Let ( X , d ) be a b-metric space with parameter s 1 and S denote the set of all functions α : [ 0 , ) [ 0 , 1 s ) , satisfing the following condition:
lim n α ( t n ) = 1 s lim n t n = 0 .
Theorem 2.
[24] Let ( X , d ) be a b-complete b-metric space with parameter s 1 and let T : X X be a self-map. Suppose that there exists β S such that:
d ( T x , T y ) β ( d ( x , y ) ) d ( x , y ) ,
holds for all x , y X . Then T has a unique fixed point x * X .
In recent years, many researchers have extended the result of Geraghty in the context of various metric spaces (e.g., see References [26,27,28,29]). In the present paper, we extended some fixed point theorems for Geraghty contractive mappings in b-metric spaces.

2. Results

Let B denote the set of all functions β : [ 0 , ) [ 0 , 1 s ) which satisfies the condition lim sup n β ( t n ) = 1 s implies that t n 0 as n [25].
Theorem 3.
Let ( X , d ) be a b-complete b-metric space with parameter s 1 . Let T : X X be a self-mapping satisfying:
d ( T x , T y ) β M ( x , y ) M ( x , y ) , x , y X ,
where:
M ( x , y ) = m a x { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , 1 2 s d ( x , T y ) + d ( y , T x ) } ,
and β B . Then T has a unique fixed point.
Proof of Theorem 3.
Let x 0 X be arbitrary. Consider the sequence { x n } where:
x n = T x n 1 = T n x 0 , n N .
If there exists n N such that x n + 1 = x n , then x n is a fixed point of T and the proof is finished. Otherwise, we have d ( x n + 1 , x n ) > 0 for all n N . By Condition (1), for all n N we have:
d ( x n , x n + 1 ) = d ( T x n 1 , T x n ) β ( M ( x n 1 , x n ) ) M ( x n 1 , x n ) ,
where:
M ( x n 1 , x n ) = m a x { d ( x n 1 , x n ) , d ( x n 1 , T x n 1 ) , d ( x n , T x n ) , d ( x n 1 , T x n ) + d ( x n , T x n 1 ) 2 s } = m a x { d ( x n 1 , x n ) , d ( x n 1 , x n ) , d ( x n , x n + 1 ) , d ( x n 1 , x n + 1 ) + d ( x n , x n ) 2 s } m a x { d ( x n 1 , x n ) , d ( x n , x n + 1 ) , s ( d ( x n 1 , x n ) + d ( x n , x n + 1 ) ) 2 s } = m a x { d ( x n 1 , x n ) , d ( x n , x n + 1 ) } .
If d ( x n 1 , x n ) d ( x n , x n + 1 ) , then M ( x n 1 , x n ) = d ( x n , x n + 1 ) . From Condition (2), we have:
d ( x n , x n + 1 ) β ( M ( x n 1 , x n ) ) M ( x n 1 , x n ) 1 s d ( x n , x n + 1 ) n N .
This is a contradiction. Thus, we have:
M ( x n 1 , x n ) = d ( x n , x n 1 )
.
Then, from Condition (2), we get:
d ( x n , x n + 1 ) β ( M ( x n 1 , x n ) ) d ( x n 1 , x n ) < d ( x n 1 , x n ) , n N .
So { d ( x n 1 , x n ) } is a decreasing sequence of non-negative reals. Hence, there exists r 0 such that d ( x n 1 , x n ) r as n . We claimed that r = 0 . Suppose on the contrary that r > 0 , then from Condition (3), we have:
r lim sup n β ( M ( x n 1 , x n ) ) r .
Then,
1 s 1 lim sup n β ( M ( x n 1 , x n ) ) 1 s .
Since β B , then lim n M ( x n 1 , x n ) = 0 . So lim n d ( x n 1 , x n ) = 0 , which is a contradiction, that is, r = 0 . Now we show that { x n } is a b-Cauchy sequence. Suppose on the contrary that { x n } is not a b-Cauchy sequence. Then there exists ε > 0 for which we can find subsequences { x m ( k ) } and { x n ( k ) } of { x n } such that n ( k ) is the smallest index for which n ( k ) > m ( k ) > k ,
d ( x m ( k ) , x n ( k ) ) ε ,
and
d ( x m ( k ) , x n ( k ) 1 ) < ε .
From Condition (5) and using the b-triangular inequality, we have:
ε d ( x m ( k ) , x n ( k ) ) s ( d ( x m ( k ) , x m ( k ) + 1 ) + d ( x m ( k ) + 1 , x n ( k ) ) ) .
Then, we get:
ε s lim sup k d ( x m ( k ) + 1 , x n ( k ) ) .
Therefore,
lim sup k M ( x m ( k ) , x n ( k ) 1 ) = lim sup k m a x { d ( x m ( k ) , x n ( k ) 1 ) , d ( x m ( k ) , T x m ( k ) ) , d ( x n ( k ) 1 , T x n ( k ) 1 ) , d ( x m ( k ) , T x n ( k ) 1 ) + d ( x n ( k ) 1 , T x m ( k ) ) 2 s } = lim sup k m a x { d ( x m ( k ) , x n ( k ) 1 ) , d ( x m ( k ) , x m ( k ) + 1 ) , d ( x n ( k ) 1 , x n ( k ) ) , d ( x m ( k ) , x n ( k ) ) + d ( x n ( k ) 1 , x m ( k ) + 1 ) 2 s } lim sup k m a x { d ( x m ( k ) , x n ( k ) 1 ) , d ( x m ( k ) , x m ( k ) + 1 ) , d ( x n ( k ) 1 , x n ( k ) ) , s d ( x m ( k ) , x n ( k ) 1 ) + s d ( x n ( k ) , x n ( k ) 1 ) 2 s + s d ( x n ( k ) 1 , x m ( k ) ) + s d ( x m ( k ) , x m ( k ) + 1 ) 2 s } ε .
From Condition (6) and Condition (1), we have:
ε s lim sup d ( x m ( k ) + 1 , x n ( k ) ) lim sup k β ( M ( x m ( k ) , x n ( k ) 1 ) ) M ( x m ( k ) , x n ( k ) 1 ) ε lim sup k β ( M ( x m ( k ) , x n ( k ) 1 ) ) .
Then 1 s lim sup k β ( M ( x m ( k ) , x n ( k ) 1 ) ) 1 s . Since β B , so M ( x m ( k ) , x n ( k ) 1 ) 0 , as a result, d ( x m ( k ) , x n ( k ) 1 ) 0 . From Condition (4) and using the b-triangular inequality, we have:
ε d ( x m ( k ) , x n ( k ) ) s ( d ( x m ( k ) , x n ( k ) 1 ) + d ( x n ( k ) 1 , x n ( k ) ) ) .
Therefore, lim k d ( x m ( k ) , x n ( k ) ) = 0 . This contradicts with Condition (4). Hence, { x n } is a b-Cauchy sequence. The completeness of X implies that there exists u X such that x n u . We showed that u is a fixed point of T. By b-triangular inequality and Condition (1), we have:
d ( u , T u ) s ( d ( u , T x n ) + d ( T x n , T u ) ) s d ( u , T x n ) + s β ( M ( x n , u ) ) M ( x n , u ) .
Letting n in the above inequality, we obtain:
d ( u , T u ) s lim sup n d ( u , x n + 1 ) + s lim sup n β ( M ( x n , u ) ) lim sup n M ( x n , u ) ,
where:
lim sup n M ( x n , u ) = lim sup n max { d ( x n , u ) , d ( x n , T x n ) , d ( u , T u ) , 1 2 s ( d ( x n , T u ) + d ( u , T x n ) ) } lim sup n max { d ( x n , u ) , d ( x n , x n + 1 ) , d ( u , T u ) , 1 2 s ( s d ( x n , u ) + s d ( u , T u ) + d ( u , x n + 1 ) ) } d ( u , T u ) .
Hence, from Condition (7), we have:
d ( u , T u ) s lim sup β ( M ( x n , u ) ) d ( u , T u ) .
Consequently, 1 s lim sup n β ( M ( x n , u ) ) 1 s . Since β B , we concluded lim n M ( x n , u ) = 0 .
Therefore, T u = u . To see that the fixed point u X is unique, suppose there is v u in X such that T v = v . From Condition (1), we get:
d ( u , v ) = d ( T u , T v ) β ( M ( u , v ) ) M ( u , v ) ,
where:
M ( u , v ) = m a x { d ( u , v ) , d ( u , T u ) , d ( v , T v ) , 1 2 s ( d ( u , T v ) + d ( v , T u ) ) } d ( u , v ) .
Therefore, we have d ( u , v ) < 1 s d ( u , v ) . Then u = v , which is a contradiction. □
Example 2.
Let X = { 1 , 2 , 3 } and d : X × X [ 0 , ) be defined as follows:
(i)
d ( 1 , 2 ) = d ( 2 , 1 ) = 1 ,
(ii)
d ( 1 , 3 ) = d ( 3 , 1 ) = 1 9 ,
(iii)
d ( 2 , 3 ) = d ( 3 , 2 ) = 6 9 .
(iv)
d ( 1 , 1 ) = d ( 2 , 2 ) = d ( 3 , 3 ) = 0 .
It is easy to check that ( X , d ) is a b-metric space with constant s = 3 2 . Set T 1 = T 3 = 1 , T 2 = 3 and β ( t ) = 2 3 e t , t > 0 and β ( 0 ) [ 0 , 2 3 ) . Then we have:
d ( T 1 , T 2 ) = d ( 1 , 3 ) = 1 9 2 3 e 1 = β ( M ( 1 , 2 ) ) M ( 1 , 2 ) ,
d ( T 1 , T 3 ) = d ( 1 , 1 ) = 0 β ( M ( 1 , 3 ) ) M ( 1 , 3 ) ,
d ( T 2 , T 3 ) = d ( 3 , 1 ) = 1 9 2 3 e 6 9 ( 6 9 ) = β ( M ( 2 , 3 ) ) M ( 2 , 3 ) .
Therefore, the conditions of Theorem 3 are satisfied.
Theorem 4.
Let ( X , d ) be a b-complete b-metric space with parameter s 1 . Let T , S be self-mappings on X which satisfy:
s d ( T x , S y ) β ( M ( x , y ) ) M ( x , y ) , x , y X ,
where M ( x , y ) = m a x { d ( x , y ) , d ( x , T x ) , d ( y , S y ) } and β B . If T or S are continuous, then T and S have a unique common fixed point.
Proof of Theorem 4.
Let x 0 be arbitrary. Define the sequence { x n } in X by x 2 n + 1 = T x 2 n and x 2 n + 2 = S x 2 n + 1 for all n = 0 , 1 , . From Condition (8), for all n = 0 , 1 , 2 , , we have:
s d ( x 2 n + 1 , x 2 n + 2 ) = s d ( T x 2 n , S x 2 n + 1 ) β ( M ( x 2 n , x 2 n + 1 ) ) M ( x 2 n , x 2 n + 1 ) ,
where:
M ( x 2 n , x 2 n + 1 ) = m a x { d ( x 2 n , x 2 n + 1 ) , d ( x 2 n , T x 2 n ) , d ( x 2 n + 1 , S x 2 n + 1 ) } = m a x { d ( x 2 n , x 2 n + 1 ) , d ( x 2 n + 1 , x 2 n + 2 ) } , n = 0 , 1 , 2 , .
If M ( x 2 n , x 2 n + 1 ) = d ( x 2 n + 1 , x 2 n + 2 ) , then:
s d ( x 2 n + 1 , x 2 n + 2 ) β ( M ( x 2 n , x 2 n + 1 ) ) d ( x 2 n + 1 , x 2 n + 2 ) < 1 s d ( x 2 n + 1 , x 2 n + 2 ) ,
which is a contradiction. Hence, we have M ( x 2 n , x 2 n + 1 ) = d ( x 2 n , x 2 n + 1 ) . From Condition (9), we have:
d ( x 2 n + 1 , x 2 n + 2 ) β ( M ( x 2 n , x 2 n + 1 ) ) d ( x 2 n , x 2 n + 1 ) 1 s d ( x 2 n , x 2 n + 1 ) .
Then, we get d ( x 2 n + 1 , x 2 n + 2 ) d ( x 2 n , x 2 n + 1 ) . Similarly, d ( x 2 n + 3 , x 2 n + 2 ) d ( x 2 n + 2 , x 2 n + 1 ) . So, we have d ( x n , x n + 1 ) d ( x n 1 , x n ) . Thus { d ( x n , x n + 1 ) } is a nonincreasing sequence, hence there exists r 0 such that d ( x n , x n + 1 ) r as n . We showed that r = 0 . Suppose on the contrary that r > 0 . Letting n in (10), we obtain:
r lim sup n β ( M ( x 2 n , x 2 n + 1 ) ) r .
Then, we have:
1 s 1 lim sup n β ( M ( x 2 n , x 2 n + 1 ) ) 1 s .
Since β B , we have:
lim n M ( x 2 n , x 2 n + 1 ) = 0 .
Hence,
r = lim n d ( x 2 n , x 2 n + 1 ) = 0 ,
which is a contradiction. Now, we show that { x 2 n } is a b-Cauchy sequence. Suppose that { x 2 n } is not a b-Cauchy sequence. Then there exists ε > 0 for which we can find subsequences { x 2 m ( k ) } and { x 2 n ( k ) } of { x 2 n } such that n ( k ) is the smallest index for which n ( k ) > m ( k ) > k ,
d ( x 2 n ( k ) , x 2 m ( k ) ) ε ,
and
d ( x 2 n ( k ) , x 2 m ( k ) 2 ) < ε .
From Condition (8) and Condition (11) and the b-triangular inequality, we have:
ε d ( x 2 n ( k ) , x 2 m ( k ) ) s d ( x 2 n ( k ) , x 2 n ( k ) + 1 ) + s d ( x 2 n ( k ) + 1 , x 2 m ( k ) ) = s d ( x 2 n ( k ) , x 2 n ( k ) + 1 ) + s d ( T x 2 n ( k ) , S x 2 m ( k ) 1 ) s d ( x 2 n ( k ) , x 2 n ( k ) + 1 ) + β ( M ( x 2 n ( k ) , x 2 m ( k ) 1 ) ) M ( x 2 n ( k ) , x 2 m ( k ) 1 ) ,
where:
M ( x 2 n ( k ) , x 2 m ( k ) 1 ) = m a x { d ( x 2 n ( k ) , x 2 m ( k ) 1 ) , d ( x 2 n ( k ) , T x 2 n ( k ) ) , d ( x 2 m ( k ) 1 , S x 2 m ( k ) 1 ) } .
Letting k , we have:
lim sup k M ( x 2 n ( k ) , x 2 m ( k ) 1 ) = lim sup k d ( x 2 n ( k ) , x 2 m ( k ) 1 ) .
From the b-triangular inequality, we have:
d ( x 2 n ( k ) , x 2 m ( k ) 1 ) s ( d ( x 2 n ( k ) , x 2 m ( k ) 2 ) + d ( x 2 m ( k ) 2 , x 2 m ( k ) 1 ) ) .
Letting again k in the above inequality, we get:
lim sup k d ( x 2 n ( k ) , x 2 m ( k ) 1 ) s ε .
From Condition (13) and Condition (14), we obtain:
ε lim sup k β ( M ( x 2 n ( k ) , x 2 m ( k ) 1 ) ) M ( x 2 n ( k ) , x 2 m ( k ) 1 ) = lim sup k β ( M ( x 2 n ( k ) , x 2 m ( k ) 1 ) ) lim sup k d ( x 2 n ( k ) , x 2 m ( k ) 1 ) s ε lim sup k β ( M ( x 2 n ( k ) , x 2 m ( k ) 1 ) ) .
Therefore,
1 s lim sup k β ( M ( x 2 n ( k ) , x 2 m ( k ) 1 ) ) 1 s .
Since β B , it follows that:
lim k M ( x 2 n ( k ) , x 2 m ( k ) 1 ) = 0 .
Consequently,
lim k d ( x 2 n ( k ) , x 2 m ( k ) 1 ) = 0 .
From Condition (11) and using the b-triangular inequality, we get:
ε d ( x 2 n ( k ) , x 2 m ( k ) ) s ( d ( x 2 n ( k ) , x 2 m ( k ) 1 ) + d ( x 2 m ( k ) 1 , x 2 m ( k ) ) ) .
Letting k in the above inequality and using Condition (15), we obtain:
lim sup k d ( x 2 n ( k ) , x 2 m ( k ) ) = 0 .
This contradicts Condition (11). This implies that { x 2 n } is a b-Cauchy sequence and so is { x n } . There exists x * X such that lim n x n = x * . If T is continuous, we have:
T x * = lim n T x 2 n = lim n x 2 n + 1 = x * .
From Condition (8), we have:
s d ( x * , S x * ) = s d ( T x * , S x * ) β ( M ( x * , x * ) ) M ( x * , x * ) ,
where:
M ( x * , x * ) = m a x { d ( x * , x * ) , d ( x * , T x * ) , d ( x * , S x * ) } = d ( x * , S x * ) .
Since β B , we have,
s d ( x * , S x * ) β ( M ( x * , x * ) ) d ( x * , S x * ) 1 s d ( x * , S x * ) .
Hence, S x * = x * . If S is continuous, then, by a similar argument to that of above, one can show that T , S have a common fixed point. Now, we prove the uniqueness of the common fixed point. Let y = T y = S y , is another common fixed point for T and S. From Condition (8), we obtain:
s d ( x * , y ) = s d ( T x * , S y ) β ( M ( x * , y ) ) M ( x * , y ) ,
where:
M ( x * , y ) = m a x { d ( x * , y ) , d ( x * , T x * ) , d ( y , S y ) } = d ( x * , y ) .
Therefore, x * = y and the common fixed point T and f is unique. □
In Theorem 4, if T = S , we get the following result.
Corollary 1.
Let ( X , d ) be a b-complete b-metric space with parameter s 1 and T be self-mapping on X which satisfy:
s d ( T x , T y ) β ( M ( x , y ) ) M ( x , y ) , x , y X ,
where M ( x , y ) = m a x { d ( x , y ) , d ( x , T x ) , d ( y , T y ) } and T is continuous. Then T has a unique fixed point.
Example 3.
Let X = [ 0 , 1 ] and d : X × X [ 0 , ) be defined by d ( x , y ) = | x y | 2 , for all x , y [ 0 , 1 ] . It is easy to check that ( X , d ) is a b-metric space with parameter s = 2 . Set T x = x 4 for all x X and β ( t ) = 1 4 for all t > 0 . Then,
2 d ( T x , T y ) = 2 | x 4 y 4 | 2 1 4 | x y | 2 β ( M ( x , y ) ) M ( x , y ) .
Then, the conditions of Corollary 1 are satisfied.

3. Applications to Nonlinear Integral Equations

In this section, we studied the existence of solutions for nonlinear integral equations, as an application to the fixed point theorems proved in the previous section.
Let X = C [ 0 , l ] be the set of all real continuous functions on [ 0 , l ] and d : X × X [ 0 , ) be defined by:
d ( u , v ) = m a x 0 t l | u ( t ) v ( t ) | 2 , u , v X .
Obviously, ( X , d ) is a complete b-metric space with parameter s = 2 . First, consider the integral equation:
u ( t ) = h ( t ) + 0 l G ( t , s ) k ( t , s , u ( s ) ) d s ,
where l > 0 and h : [ 0 , l ] R , G : [ 0 , l ] × [ 0 , l ] R and k : [ 0 , l ] × [ 0 , l ] × R R are continuous functions.
Theorem 5.
Suppose that the following hypotheses hold:
(1) for all t , s [ 0 , l ] and u , v X , we have:
| k ( t , s , u ( s ) ) k ( t , s , v ( s ) ) | e M ( u , v ) M ( u , v ) 2 ,
(2) for all t , s [ 0 , l ] , we have:
m a x 0 l G ( t , s ) 2 d s 1 l .
Then, the integral equation (see Condition (17)) has a unique solution u X .
Proof of Theorem 5.
Let T : X X be a mapping defined by:
T u ( t ) = h ( t ) + 0 l G ( t , s ) k ( t , s , u ( s ) ) d s , u X , t , s [ 0 , l ] .
From Condition (1) and Condition (2), we can write:
d ( T u , T v ) = m a x t [ 0 , l ] | T u ( t ) T v ( t ) | 2 = m a x t [ 0 , l ] { | h ( t ) + 0 l G ( t , s ) k ( t , s , u ( s ) ) d s h ( t ) 0 l G ( t , s ) k ( t , s , v ( s ) ) d s | 2 } = m a x t [ 0 , l ] { | 0 l G ( t , s ) ( k ( t , s , u ( s ) ) k ( t , s , v ( s ) ) ) d s | 2 } m a x t [ 0 , l ] { 0 l G ( t , s ) 2 d s 0 l | k ( t , s , u ( s ) ) k ( t , s , v ( s ) ) | 2 d s } 1 l 0 l | e M ( u , v ) M ( u , v ) 2 | 2 d s e M ( u , v ) 2 M ( u , v ) .
So, we get:
d ( T u , T v ) β ( M ( u , v ) ) M ( u , v ) .
Thus, all conditions in Theorem 3 for β ( t ) = e t 2 , t > 0 and β ( 0 ) [ 0 , 1 2 ) are satisfied and hence T has a fixed point. □
Let X = C [ a , b ] be the set of all real continuous functions on [ a , b ] and X equipped with the b-metric below,
d ( u , v ) = m a x a t b { ( | u ( t ) v ( t ) | ) p } , p > 1 , u , v X .
Then ( X , d ) is a complete b-metric space with parameter s = 2 p 1 . Now, consider the integral equations:
u ( t ) = a b G ( t , s ) k 1 ( t , s , u ( s ) ) d s ,
and
u ( t ) = a b G ( t , s ) k 2 ( t , s , u ( s ) ) d s ,
where G : [ a , b ] × [ a , b ] R and k 1 , k 2 : [ a , b ] × [ a , b ] × R R are continuous functions.
Theorem 6.
Suppose that:
(1) For all t , s [ a , b ] and u , v X , we have:
| k 1 ( t , s , u ( s ) ) k 2 ( t , s , v ( s ) ) | ( l n ( 1 + ( | u ( s ) v ( s ) | ) p ) 2 2 p 1 ) 1 p .
(2) For all t , s [ a , b ] , we have:
m a x a t b a b G ( t , s ) q d s 1 ( b a ) q p , 1 p + 1 q = 1 .
Then the integral equations (Condition (18) and Condition (19)) have a unique common solution.
Proof of Theorem 6.
Let T , S : X X be mappings defined by:
T u ( t ) = a b G ( t , s ) k 1 ( t , s , u ( s ) ) d s ,
and
S u ( t ) = a b G ( t , s ) k 2 ( t , s , u ( s ) ) d s .
From Condition (1) and Condition (2), we have:
d ( T u , T v ) = m a x a t b { ( | T u ( t ) S v ( t ) | ) p } m a x a t b { | a b G ( t , s ) k 1 ( t , s , u ( s ) ) d s a b G ( t , s ) k 2 ( t , s , v ( s ) ) d s | p } m a x a t b { ( a b | G ( t , s ) | ( | k 1 ( t , s , u ( s ) ) k 2 ( t , s , v ( s ) ) | ) d s ) p } m a x a t b { ( ( a b | G ( t , s ) q | d s ) 1 q ( a b ( | k 1 ( t , s , u ( s ) ) k 2 ( t , s , v ( s ) ) | ) p d s ) 1 p ) p } m a x a t b { ( a b | G ( t , s ) q | d s ) p q ( a b ( | k 1 ( t , s , u ( s ) ) k 2 ( t , s , v ( s ) ) | ) p d s ) } m a x a t b { ( 1 ( b a ) q p ) p q ( a b ( l n ( 1 + ( | u ( s ) v ( s ) | ) p ) 2 2 p 1 ) d s ) } 1 ( b a ) ( a b ( l n ( 1 + d ( u , v ) ) 2 2 p 1 ) d s l n ( 1 + M ( u , v ) ) 2 2 p 1 .
Therefore, we get the following result:
2 p 1 d ( T u , T v ) M ( u , v ) 2 p . β ( M ( u , v ) ) M ( u , v ) .
Hence, all of the hypotheses of Theorem 4 for s = 2 p 1 and β ( t ) = 1 2 p are satisfied. Then T and S have a common fixed point u X . □

Author Contributions

H.F. contributed in conceptualization, methodology, analysis, data curation, original draft writing and editing. D.S. contributed in analysis, data curation. S.R. contributed in conceptualization, methodology, analysis, data curation, writing, review and editing the revision manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bakhtin, I.A. The contraction mapping principle in almost metric space. In Functional Analysis; Ulýanovsk Gos. Ped. Inst.: Ulýanovsk, Russia, 1989; pp. 26–37. (In Russian) [Google Scholar]
  2. Aghajani, A.; Abbas, M.; Roshan, J.R. Common fixed point of generalized weak contractive mappings in partially ordered b-metric spaces. Math. Slovaca 2014, 64, 941–960. [Google Scholar] [CrossRef]
  3. Aleksić, S.; Huang, H.; Mitrović, Z.; Radenović, S. Remarks on some fixed point results in b-metric space. J. Fixed Point Theory Appl. 2018, 20, 147. [Google Scholar] [CrossRef]
  4. Czerwik, S. Nonlinear Set-valued contraction mappings in b-metric spaces. Atti Sem. Mat. Fis. Univ. Modena 1998, 46, 263–276. [Google Scholar]
  5. Ding, H.S.; Imdad, M.; Radenovi’c, S.; Vujakovi’c, J. On some fixed point results in b-metric, rectangular and b-rectangular metric spaces. Arab J. Math. Sci 2016, 22, 151–164. [Google Scholar]
  6. Dosenovi’c, T.; Pavlovi’c, M.; Radenovi’c, S. Contractive conditions in b-metric spaces. Vojnotehnicki Glasnik/Mil. Tech. Cour. 2017, 65, 851–865. [Google Scholar] [CrossRef]
  7. Faraji, H.; Nourouzi, K. A generalization of Kannan and Chatterjea fixed point theorems on complete b-metric spaces. Sahand Commun. Math. Anal. 2017, 6, 77–86. [Google Scholar]
  8. Faraji, H.; Nourouzi, K. Fixed and common fixed points for (ψ,φ)-weakly contractive mappings in b-metric spaces. Sahand Commun. Math. Anal. 2017, 7, 49–62. [Google Scholar]
  9. Faraji, H.; Nourouzi, K.; O’Regan, D. A fixed point theorem in uniform spaces generated by a family of b-pseudometrics. Fixed Point Theory. 2019, 20, 177–183. [Google Scholar] [CrossRef]
  10. Hussain, N.; Mitrović, Z.D.; Radenović, S. A common fixed point theorem of Fisher in b-metric spaces. RACSAM 2018. [Google Scholar] [CrossRef]
  11. Ilchev, A.; Zlatanov, B. On Fixed Points for Reich Maps in B-Metric Spaces; Annual of Konstantin Preslavski University of Shumen, Faculty of Mathematics and Computer Science VI: Shumen, Bulgaria, 2016; pp. 77–88. [Google Scholar]
  12. Jovanović, M.; Kadelburg, Z.; Radenović, S. Common fixed point results in metric-type spaces. Fixed Point Theory Appl. 2010, 2010, 978121. [Google Scholar] [CrossRef]
  13. Khamsi, M.A.; Hussain, N. KKM mappings in metric type spaces. Nonlinear Anal. 2010, 73, 3123–3129. [Google Scholar] [CrossRef]
  14. Kirk, W.; Shahzad, N. Fixed Point Theory in Distance Spaces; Springer: Berlin, Germany, 2014. [Google Scholar]
  15. Koleva, R.; Zlatanov, B. On fixed points for Chatterjeas maps in b-metric spaces. Turk. J. Anal. Number Theory 2016, 4, 31–34. [Google Scholar]
  16. Miculsecu, 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]
  17. Mitrović, Z.D. A note on the results of Suzuki, Miculescu and Mihail. J. Fixed Point Theory Appl. 2019, 21, 24. [Google Scholar] [CrossRef]
  18. Roshan, J.R.; Parvaneh, V.; Altun, I. Some coincidence point results in ordered b-metric spaces and applications in a system of integral equations. Appl. Math. Comput. 2014, 226, 725–737. [Google Scholar]
  19. Sing, S.L.; Czerwik, S.; Krol, K.; Singh, A. Coincidences and fixed points of hybrid contractions. Tamsui Oxf. J. Math. Sci. 2008, 24, 401–416. [Google Scholar]
  20. Suzuki, T. Basic inequality on a b-metric space and its applications. J. Inequal. Appl. 2017, 2017, 256. [Google Scholar] [CrossRef] [PubMed]
  21. Zoto, K.; Rhoades, B.; 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]
  22. Mitrović, Z.D.; Hussain, N. On weak quasicontractions in b-metric spaces. Publ. Math. Debrecen 2019, 94, 29. [Google Scholar]
  23. Geraghty, M.A. On contractive mappings. Proc. Am. Math. Soc. 1973, 40, 604–608. [Google Scholar] [CrossRef]
  24. Dukic, D.; Kadelburg, Z.; Radenović, S. Fixed points of Geraghty-type mappings in various generalized metric spaces. Abstr. Appl. Anal. 2011, 2011, 561245. [Google Scholar] [CrossRef]
  25. Shahkoohi, R.J.; Razani, A. Some fixed point theorems for rational Geraghty contractive mappings in ordered b-metric spaces. J. Inequal. Appl. 2014, 2014, 373. [Google Scholar] [CrossRef]
  26. Huang, H.; Paunović, L.; Radenović, S. On some fixed point results for rational Geraghty contractive mappings in ordered b-metric spaces. J. Nonlinear Sci. Appl. 2015, 8, 800–807. [Google Scholar] [CrossRef]
  27. Hussain, N.; Roshan, J.R.; Parvaneh, V.; Abbas, M. Common fixed point results for weak contractive mappings in ordered b-dislocated metric spaces with applications. J. Inequal. Appl. 2013, 2013, 486. [Google Scholar] [CrossRef]
  28. Ishak, A.; Kishin, S. Generalized Geraghty type mappings on partial metric spaces and fixed point results. Arab. J. Math. 2013, 2, 247–253. [Google Scholar][Green Version]
  29. Zabihi, F.; Razani, A. Fixed point theorems for Hybrid Rational Geraghty Contractive Mappings in orderd b-Metric spaces. J. Appl. Math. 2014, 2014, 929821. [Google Scholar] [CrossRef]
Back to TopTop