Next Article in Journal
Rock Classification from Field Image Patches Analyzed Using a Deep Convolutional Neural Network
Next Article in Special Issue
A New Hybrid CQ Algorithm for the Split Feasibility Problem in Hilbert Spaces and Its Applications to Compressed Sensing
Previous Article in Journal
Quasi-Isometric Mesh Parameterization Using Heat-Based Geodesics and Poisson Surface Fills
Previous Article in Special Issue
Some General Theorems for Compact Acyclic Multifunctions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Generalized Contraction Classes and Common Fixed Points in b-Metric Space Endowed with a Graph †

by
Reny George
1,2,*,
Hossam A. Nabwey
1,3,
Rajagopalan Ramaswamy
1 and
Stojan Radenović
4,5
1
Department of Mathematics, College of Science, Prince Sattam bin Abdulaziz University, Al-Kharj 11942, Saudi Arabia
2
Department of Mathematics and Computer Science, St. Thomas College, Bhilai, Chhattisgarh 490006, India
3
Department of Basic Engineering Sciences, Faculty of Engineering, Menofia University, Shebin El-Kom, Menofia 32511, Egypt
4
Department of Mathematics, College of Science, King Saud University, Riyadh 11451, Saudi Arabia
5
Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Beograd, Serbia
*
Author to whom correspondence should be addressed.
Dedicated to Professor Hemant Kumar Pathak in honour of his retirement from regular teaching job at Pt Ravishankar Shukla University, Raipur, India.
Mathematics 2019, 7(8), 754; https://doi.org/10.3390/math7080754
Submission received: 25 July 2019 / Revised: 9 August 2019 / Accepted: 15 August 2019 / Published: 18 August 2019
(This article belongs to the Special Issue Fixed Point Theory and Related Nonlinear Problems with Applications)

Abstract

:
We have introduced the new notions of R-weakly graph preserving and R-weakly α -admissible pair of multivalued mappings which includes the class of graph preserving mappings, weak graph preserving mappings as well as α -admissible mappings of type S, α * -admissible mappings of type S and α * - orbital admissible mappings of type S respectively. Some generalized contraction and rational contraction classes are also introduced for a pair of multivalued mappings and common fixed point theorems are proved in a b-metric space endowed with a graph. We have also applied our results to obtain common fixed point theorems for R-weakly α -admissible pair of multivalued mappings in a b-metric space which are the proper extension and generalization of many known results. Proper examples are provided in support of our results. Our main results and its consequences improve, generalize and extend many known fixed point results existing in literature.

1. Introduction

In recent years three important tools have been successfully utilized in fixed point theory to generalize fixed point theorems for single-valued mappings and multi valued mappings. One such tool is the use of control functions. Khan et al. [1] introduced the altering distance function ψ which is a control function where ψ : [ 0 , ) [ 0 , ) is continuous, non decreasing and satisfies the condition ψ ( t ) = 0 if and only if t = 0 . Recently in [2], the authors considered the condition n = 1 ψ ( t ) < + which in turn implies ψ ( t ) < t and ψ ( 0 ) = 0 where as George et al. [3] considered the control function ψ which is continuous, non decreasing and satisfies the condition ψ ( t ) = 0 implies t = 0 which clearly implies that ψ ( 0 ) is not necessarily 0. Doric [4] considered contraction conditions involving two control functions for two single valued self mappings defined on a metric space. The results of Doric [4] extends and generalizes the results of Rhoades [5], Dutta and choudhary [6] and Zhang and Song [7]. The second such tool is endowing the metric space with a directed or undirected graph and using certain concepts such as edge preservness, graph preservness, weak graph preservness of the mappings involved, transitivity of the graph, completeness of the metric space, etc. The first work in this direction was initiated by Jachymski [8] in which the author introduced the concept of a graph preserving mapping and G-contraction for a single valued mapping defined on a metric space endowed with a graph. Later Phonon et al. [9] generalised the concept of a graph preserving mapping by introducing weak graph preserving mapping and proved fixed point theorems for multivalued mappings in a metric space endowed with a graph. More results in this direction were considered wherein Bojor [10] considered Reich type contraction, Mohanta and Patra [11] discussed common fixed point of a hybrid pair of mappings in a b-metric space endowed with a graph, Cholamjiak et al. [12] discussed viscosity approximation method for fixed point problems in a Hilbert space endowed with graph, Sauntai et al. [13] proved the existence of coupled fixed point for θ - ψ contraction mapping whereas Sultan and Vetrivel [14] considered Mizoguci-Takahashi contractions in a metric space endowed with a graph. Further, recently some interesting fixed point results for multivalued mappings in a metric space endowed with a graph were discussed in [15,16,17,18,19]. The third such tool is to use a function such as α : [ 0 , ) [ 0 , ) and use the concepts of α -admissible mappings, weakly α -admissible mappings, α * -admissible mappings, etc. Initially Samet et al. [20] introduced the concept of α -admissible mappings and proved fixed point theorems for such mappings in a metric space. Later this concept was extended and generalised by many authors. In the sequel Sintunavarat [21] introduced α -admissible mappings of type S and weak α -admissible mappings of type S and Arshad et al. [22] introduced α -orbital admissible mappings in a metric space. Extending these concepts to the case of multivalued mappings, Ameer et al. [23] introduced α * -admissible and α * -orbital admissible multivalued mappings whereas Haitham et al. [2] introduced α -admissible multivalued mappings of type S in a b-metric space. In all these works the authors proved fixed point theorems for the corresponding α -admissible type of mappings satisfying various contraction conditions. Very recently the C-class functions were introduced in [19] which later proved to be a powerful tool in fixed point theory. In the present work using C-class functions and some modified versions of control functions as in George et al. [3], we have introduced generalized classes of contractions and rational contractions for a pair of multivalued mappings and proved common fixed point theorems in a b-metric space endowed with a graph. In Section 3.1 we have introduced R-weakly graph preserving pair of mappings and R-weakly α -admissible pair of mappings which are proper extension and generalization of the class of graph preserving mappings, weak graph preserving mappings and α -admissible multivalued mappings of type S, α * -admissible multivalued mappings of type S and α * - orbital admissible multivalued mappings of type S respectively. In Section 3.2 we have introduced the classes of ( C , Ψ * , G , γ s ) and ( C , Ψ * , G , γ ) contractions and rational contractions and proved common fixed point theorems for these class of mappings in a b-metric space endowed with a graph. In Section 3.3 we have applied the results of Section 3.2 to obtain fixed point theorems for R-weakly α -admissible mappings in a b-metric space. Our main results and its consequences are improved, generalized and extended versions of many results appearing in literature.

2. Preliminaries

Let (X, d) be a metric space. For x X and A , B C L ( X ) , define d ( x , A ) = i n f { d ( x , y ) : y A } , D ( A , B ) = i n f { d ( x , B ) : x A } , P B ( a ) = { b B : d ( a , b ) = d ( a , B ) } and H ( A , B ) = m a x { s u p x A d ( x , B ) , s u p y B d ( y , A ) } . It is well known that H is the Hausdorff metric induced by d on X.
Let ( X G , d G , s ) be the b-metric space with coefficient s 1 and endowed with a directed graph G whose set of vertices V ( G ) coincides with X G and the set of edges will be denoted by E ( G ) .
Definition 1.
[24] C = { F : [ 0 , ) 2 R } such that F satisfies (1), (2) and (3) below:
(1) 
F is continuous,
(2) 
F ( p , q ) p ,
(3) 
F ( p , q ) = p p = 0 or q = 0
Definition 2.
[8] ( X G , d G , s ) is said to be G-regular if and only if whenever { x n } n N is a sequence in X G such that ( x n , x n + 1 ) E ( G ) for all n N then ( x n , x G ) E ( G ) .
Definition 3.
[8] T is said to be graph preserving if ( x , y ) E ( G ) ( u , v ) E ( G ) for all u T x and v T y .
Definition 4.
[9] T is said to be weak graph preserving if it satisfies the following:
  • for each x , y X , ( x , y ) E ( G ) for each u T x there exists v P T y ( u ) such that ( u , v ) E ( G ) .
Lemma 1.
[25] For any sequence { p n } in a b-metric space ( X , d , s ) , if we can find α [ 0 , 1 ) , satisfying d ( p n , p n + 1 ) α d ( p n 1 , p n ) then { p n } is a Cauchy sequence.
As introduced in [3], we will use the following class of functions: Ψ * = { ψ : [ 0 , ) [ 0 , ) } such that ψ is continuous, non decreasing and ψ ( t ) = 0 implies t = 0 and
Φ * = { ϕ : [ 0 , ) [ 0 , ) } such that ϕ is lower semi continuous and ϕ ( t ) = 0 implies t = 0 .

3. Main Results

We begin this section with the following definitions:
Definition 5.
A sequence { x n } n N in ( X G , d G ) is said to be G-convergent if and only if there exist x G X G such that for all ϵ > 0 , there exists n 0 N such that d G ( x n , x G ) < ϵ for all n n 0 .
Definition 6.
A sequence { x n } n N in ( X G , d G ) is a G-Cauchy sequence if and only if ( x n , x n + 1 ) E ( G ) for all n N and for all ϵ > 0 there exists n 0 N such that d G ( x n , x m ) < ϵ for all n , m n 0 .
Definition 7.
A metric space ( X G , d G ) is said to be G-regular if and only if whenever a sequence { x n } with ( x n , x n + 1 ) E ( G ) for all n N G-converges to some x G , then ( x n , x G ) E ( G ) for all n N .
Definition 8.
( X G , d G ) is said to be G-complete if and only if every G-Cauchy sequence in ( X G , d G ) is G-convergent.
Note that every complete metric space is G-complete but the converse is not necessarily true as shown in the following example:
Example 1.
Let X G = [ 0 , 1 ) , d G ( x G , y G ) = | x G y G | , G = ( V ( G ) , E ( G ) ) , with V ( G ) = X G and E ( G ) = { ( 0 , 0 ) , ( 1 2 n , 1 2 n + 1 ) , ( 1 2 n , 0 ) } . Clearly ( X G , d G ) is not complete. However, we see that the G-Cauchy sequence { x n } in X G given by x n = 1 2 n is G-convergent and hence ( X G , d G ) is G-complete.
Let A , B C L ( X G ) . For a A , define R B ( a ) = { b B : d ( a , b ) H ( A , B ) } . Then clearly P B ( a ) R B ( a ) and for any closed subset B of X G , R B ( a ) ϕ .

3.1. R-Weakly Graph Preserving and R-Weakly α -Admissible Mappings

Definition 9.
Mappings S , T : X C L ( X ) are pairwise R-weakly graph preserving if and only if for all x G , y G X G with ( x G , y G ) E ( G ) , the following holds:
(9.1) 
For u G S x G , there exists v G R T y G ( u G ) such that ( u G , v G ) E ( G )
(9.2) 
For u G T x G , there exists v G R S y G ( u G ) such that ( u G , v G ) E ( G )
Remark 1.
If u G S x G and v G R T y G ( u G ) then from the definition of R B ( a ) it is clear that d ( u G , v G ) H ( S x G , T y G ) .
Remark 2.
For S = T , the above definition becomes that of a R-weakly graph preserving mapping. Clearly all graph preserving mappings and weak graph preserving mappings are R-weakly graph preserving but the converse is not necessarily true as is clear from the following example:
Example 2.
Let X G , d G and G be as in Example 1. Let T : X G X G given by
T x G = { 0 } , i f x G = 0 { 1 2 n + 1 , 1 2 n + 2 , 0 } , i f x G = 1 2 n .
Then clearly T is R-weakly graph preserving as shown below:
For ( 1 2 n , 1 2 n + 1 ) E ( G ) , T ( 1 2 n ) = { 1 2 n + 1 , 1 2 n + 2 , 0 } and T ( 1 2 n + 1 ) = { 1 2 n + 2 , 1 2 n + 3 , 0 } . H ( T ( 1 2 n ) , T ( 1 2 n + 1 ) ) = 1 2 n + 2 ) . For u = 1 2 n + 1 T ( 1 2 n ) we have R T 1 2 n + 1 ( u ) = { 1 2 n + 2 } and ( 1 2 n + 1 , 1 2 n + 2 ) E ( G ) . For u = 1 2 n + 2 T ( 1 2 n ) we have R T 1 2 n + 1 ( u ) = { 1 2 n + 2 , 1 2 n + 3 , 0 } and ( 1 2 n + 2 , 1 2 n + 3 ) E ( G ) . For u = 0 T ( 1 2 n ) we have R T 1 2 n + 1 ( u ) = { 1 2 n + 2 , 1 2 n + 3 , 0 } and ( 0 , 0 ) E ( G ) .
For ( 1 2 n , 0 ) E ( G ) , T ( 1 2 n ) = { 1 2 n + 1 , 1 2 n + 2 , 0 } and T ( 0 ) = { 0 } . H ( T ( 1 2 n ) , T ( 0 ) ) = 1 2 n + 1 ) . For u = 1 2 n + 1 T ( 1 2 n ) we have R T ( 0 ) ( u ) = { 0 } and ( 1 2 n + 1 , 0 ) E ( G ) . For u = 1 2 n + 2 T ( 1 2 n ) we have R T ( 0 ) ( u ) = { 0 } and ( 1 2 n + 2 , 0 ) E ( G ) . For u = 0 T ( 1 2 n ) we have R T ( 0 ) ( u ) = { 0 } and ( 0 , 0 ) E ( G ) . Similar arguments follow in the case when ( 0 , 0 ) E ( G ) .
However, T is not weak graph preserving, as for ( 1 2 n , 1 2 n + 1 ) E ( G ) , we have T ( 1 2 n ) = { 1 2 n + 1 , 1 2 n + 2 , 0 } , T ( 1 2 n + 1 ) = { 1 2 n + 2 , 1 2 n + 3 , 0 } and for For u = 1 2 n + 2 T ( 1 2 n ) we have P T 1 2 n + 1 ( u ) = { 1 2 n + 2 } and ( 1 2 n + 2 , 1 2 n + 2 ) E ( G ) .
Let ( X , d b , s ) be any b-metric space with coefficient s 1 , S , T : X C L ( X ) and α : X × X [ 0 , ) .
Definition 10.
A sequence { x n } n N in ( X , d b , s ) is a α-Cauchy sequence if and only if α ( x n , x n + 1 ) s for all n N and for all ϵ > 0 there exists n 0 N such that d b ( x n , x m ) < ϵ for all n , m n 0 .
Definition 11.
A b-metric space ( X , d b , s ) is said to be α-regular if and only if whenever a sequence { x n } with α ( x n , x n + 1 ) s for all n N G-converges to some x, then α ( x n , x ) s for all n N .
Definition 12.
( X , d b , s ) is said to be α-complete if and only if every α-Cauchy sequence in ( X , d b , s ) is convergent.
Definition 13.
Mappings S , T : X C L ( X ) are pairwise R-weakly α-admissible of type S if and only if for all u , v X with α ( u , v ) s the following conditions holds:
(13.1a) 
For x S u , we can find y R T v ( x ) such that α ( x , y ) s .
(13.1b) 
For x T u , we can find y R S v ( x ) such that α ( x , y ) s .
Remark 3.
Clearly every pair of R-weakly α-admissible mappings of type S includes α-admissible mappings of type S (see [2]), α * -admissible mappings of type S (see [23]) and α * - orbital admissible mappings of type S (see [23]) as shown in the following example: .
Example 3.
Let X = [ 0 , 1 ) , d b ( x , y ) = | x y | , α : X × X [ 0 , ) given by
α ( x , y ) = 1 , i f ( x , y ) { ( 1 2 n , 1 2 n ) , ( 1 2 n , 0 ) , ( 0 , 0 ) } 0 , i f o t h e r w i s e
Let S , T : X C L ( X ) be defined by
S x = { 1 2 n , 0 } , i f x = 1 2 n { 0 } , o t h e r w i s e
and
T x = { 1 2 n + 1 , 0 } , i f x = 1 2 n { 0 } , o t h e r w i s e
Then the pair ( S , T ) is R-weakly α-admissible but non of α-admissible mappings of type S, α * -admissible mappings of type S and α * - orbital admissible mappings of type S.

3.2. Common Fixed Point Theorems in b-Metric Space Endowed with a Graph

In this section we introduce the classes of ( C , Ψ * , G , γ s ) and ( C , Ψ * , G , γ ) contractions and rational contractions and prove common fixed point theorems in b-metric space endowed with a graph.
Definition 14.
Let S , T : X G C L ( X G ) . Then the pair ( S , T ) belongs ( C , Ψ * , G , γ s ) contraction class if and only if all x G , y G X G with ( x G , y G ) E ( G ) , satisfies the following:
(14.1) 
there exists F C , ψ Ψ * and γ > 1 such that
  • ψ ( γ s H ( S x G , T y G ) ) F ( ψ ( M ( x G , y G ) ) , M ( x G , y G ) ) and
  • ψ ( γ s H ( T x G , S y G ) ) F ( ψ ( M ( y G , x G ) ) , M ( y G , x G ) )
where
M ( x G , y G ) = max d G ( x G , y G ) , d G ( S x G , x G ) , d G ( T y G , y G ) , d G ( y G , S x G ) + d G ( x G , T y G ) 2 s
Theorem 1.
Let ( X G , d G , s ) be G-complete, G-regular and S , T : X G C L ( X G ) satisfy the following:
(1.1) 
For some arbitrary x G 0 X G there exists x G 1 T x G 0 S x G 0 such that ( x G 0 , x G 1 ) E ( G ) ,
(1.2) 
S and T are pairwise R-weakly graph preserving,
(1.3) 
( S , T ) ( C , Ψ * , G , γ s ) for some F C and ψ Ψ * .
Then we can find u G X G such that u G S u G T u G .
Proof. 
By (1.1), suppose x G 0 X G , and x G 1 S ( x G 0 ) . By (9.1), we can find x G 2 R T ( x G 1 ) ( x G 1 ) with ( x G 1 , x G 2 ) E ( G ) and d ( ( x G 1 , x G 2 ) H ( S ( x G 0 ) , T ( x G 1 ) . By (9.2), for x G 2 T ( x G 1 ) there exists x G 3 R S ( x G 2 ) ( x G 2 ) with ( x G 2 , x G 3 ) E ( G ) and d ( x G 2 , x G 3 ) H ( T ( x G 1 ) , S ( x G 2 ) . Continuing inductively, we construct the sequence { x G n } such that for n 0
x G 2 n + 1 S ( x G 2 n ) , x G 2 n + 2 T ( x G 2 n + 1 ) ( x G n , x G n + 1 ) E ( G ) , d G ( x G 2 n + 1 , x G 2 n + 2 ) H ( S ( x G 2 n ) , T ( x G 2 n + 1 ) ) a n d d G ( x G 2 n + 2 , x G 2 n + 3 ) H ( T ( x G 2 n + 1 ) , S ( x G 2 n + 2 ) ) .
If n is odd we have
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( γ s H ( S x G n 1 , T x G n ) ) F ( ψ ( M ( x G n 1 , x G n ) ) , M ( x G n 1 , x G n ) ) ψ ( M ( x G n 1 , x G n ) )
where
M ( x G n 1 , x G n ) = max { d G ( x G n 1 , x G n ) , d G ( S x G n 1 , x G n 1 ) , d G ( T x G n , x G n ) , d G ( x G n , S x G n 1 ) + d G ( x G n 1 , T x G n ) 2 s } max { d G ( x G n 1 , x G n ) , d G ( x G n , x G n 1 ) , d G ( x G n + 1 , x G n ) , d G ( x G n , x G n ) + d G ( x G n 1 , x G n + 1 ) 2 s } max d G ( x G n 1 , x G n ) , d G ( x G n + 1 , x G n ) , d G ( x G n 1 , x G n + 1 ) 2 s max { d G ( x G n 1 , x G n ) , d G ( x G n + 1 , x G n ) , d G ( x G n 1 , x G n ) + d G ( x G n , x G n + 1 ) 2 } max { d G ( x G n 1 , x G n ) , d G ( x G n , x G n + 1 ) }
If d G ( x G n + 1 , x G n ) > d G ( x G n 1 , x G n ) , then M ( x G n 1 , x G n ) d G ( x G n + 1 , x G n ) . Then Equation (2) gives
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( d G ( x G n , x G n + 1 ) ) .
Since ψ is non decreasing we get
γ d G ( x G n , x G n + 1 ) d G ( x G n , x G n + 1 )
a contradiction. So, we have
d G ( x G n , x G n + 1 ) d G ( x G n 1 , x G n )
and so
M ( x G n 1 , x G n ) d G ( x G n 1 , x G n )
By Equation (2) we get
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( d G ( x G n 1 , x G n ) )
and then
d G ( x G n , x G n + 1 ) 1 γ d G ( x G n 1 , x G n )
If n is even we have
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( γ s H ( T x G n 1 , S x G n ) ) F ( ψ ( M ( x G n , x G n 1 ) ) , M ( x G n , x G n 1 ) ) ψ ( M ( x G n , x G n 1 ) )
where
M ( x G n , x G n 1 ) = max { d G ( x G n , x G n 1 ) , d G ( S x G n , x G n ) , d G ( T x G n 1 , x G n 1 ) , d G ( x G n 1 , S x G n ) + d G ( x G n , T x G n 1 ) 2 s } max { d G ( x G n , x G n 1 ) , d G ( x G n + 1 , x G n ) , d G ( x G n , x G n 1 ) , d G ( x G n 1 , x G n + 1 ) + d G ( x G n , x G n ) 2 s } max d G ( x G n , x G n 1 ) , d G ( x G n + 1 , x G n ) , d G ( x G n 1 , x G n + 1 ) 2 s max { d G ( x G n , x G n 1 ) , d G ( x G n + 1 , x G n ) , d G ( x G n 1 , x G n ) + d G ( x G n , x G n + 1 ) 2 } max { d G ( x G n , x G n 1 ) , d G ( x G n , x G n + 1 ) }
If d G ( x G n , x G n + 1 ) > d G ( x G n , x G n 1 ) , then M ( x G n , x G n 1 ) d G ( x G n , x G n + 1 ) . Then Equation (5) gives
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( d G ( x G n , x G n + 1 ) ) .
Since ψ is non decreasing we get
γ d G ( x G n , x G n + 1 ) d G ( x G n , x G n + 1 )
a contradiction. So, we have
d G ( x G n , x G n + 1 ) d G ( x G n 1 , x G n )
and so
M ( x G n 1 , x G n ) d G ( x G n 1 , x G n )
By Equation (5) we get
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( d G ( x G n 1 , x G n ) )
and then
d G ( x G n , x G n + 1 ) 1 γ d G ( x G n 1 , x G n )
Thus by Lemma 1 we conclude that { x G n } is a G-Cauchy sequence. By G-completeness and G-regularity of ( X G , d G ) , we can find u G X G such that x G n u G as n and ( x G 2 n , u G ) E ( G ) , ( x G 2 n 1 , u G ) E ( G ) .
We will now prove that u G S u G T u G .
ψ ( γ d G ( u G , T u G ) ) ψ ( s [ γ d G ( u G , x G 2 n + 1 ) ) + γ d G ( x G 2 n + 1 , T u G ) ] ) ψ ( s [ γ d G ( u G , x G 2 n + 1 ) ) + γ H ( S x G 2 n , T u G ) ] )
As n , we get
ψ ( γ d G ( u G , T u G ) ) l i m n ψ ( s γ H ( S x G 2 n , T u G ) ) .
Now, using (14.1) we have
ψ ( s γ H ( S x G 2 n , T u G ) ) F ( ψ ( M ( x G 2 n , u G ) ) , M ( x G 2 n , u G ) )
where
M ( x G 2 n , u G ) = max { d G ( x G 2 n , u G ) , d G ( S x G 2 n , x G 2 n ) , d G ( T u G , u G ) , d G ( x G 2 n , T u G ) + d G ( u G , S x G 2 n ) 2 s } max { d G ( x G 2 n , u G ) , d G ( S x G 2 n , x G 2 n ) , d G ( T u G , u G ) , s [ d G ( x G 2 n , u G ) + d G ( u G , T u G ) ] + d G ( u G , S x G 2 n ) 2 s }
Note that as n , d G ( S x G 2 n , x G 2 n ) 0 , d G ( u G , S x G 2 n ) 0 and so M ( x G 2 n , u G ) d G ( T u G , u G ) Now, if d G ( T u G , u G ) 0 then from Equation (8) as n we have,
ψ ( γ d G ( T u G , u G ) ψ ( d G ( T u G , u G ) )
again a contradiction and so d G ( T u G , u G ) = 0 which implies that u G T u G ¯ and since T u G is closed we have u G T u G .
In addition, we have
ψ ( γ d G ( u G , S u G ) ) ψ ( s [ γ d G ( u G , x G 2 n ) ) + γ d G ( x G 2 n , S u G ) ] ) ψ ( s [ γ d G ( u G , x G 2 n ) ) + γ H ( T x G 2 n 1 , S u G ) ] )
As n , we get
ψ ( γ d G ( u G , S u G ) ) l i m n ψ ( s γ H ( T x G 2 n 1 , S u G ) ) .
Now, using(14.1) we have
ψ ( s γ H ( T x G 2 n 1 , S u G ) ) F ( ψ ( M ( u G , x G 2 n 1 ) ) , M ( u G , x G 2 n 1 ) )
where
M ( u G , x G 2 n 1 ) = max { d G ( x G 2 n 1 , u G ) , d G ( T x G 2 n 1 , x G 2 n 1 ) , d G ( S u G , u G ) , d G ( x G 2 n 1 , S u G ) + d G ( u G , T x G 2 n 1 ) 2 s } max { d G ( x G 2 n 1 , u G ) , d G ( T x G 2 n 1 , x G 2 n 1 ) , d G ( S u G , u G ) , s [ d G ( x G 2 n 1 , u G ) + d G ( u G , S u G ) ] + d G ( u G , T x G 2 n 1 ) 2 s }
Note that as n , d G ( T x G 2 n , x G 2 n 1 ) 0 , d G ( u G , T x G 2 n 1 ) 0 and so M ( u G , x G 2 n 1 ) d G ( S u G , u G ) Now, if d G ( S u G , u G ) 0 then from Equation (18) as n we have,
ψ ( γ d G ( S u G , u G ) ψ ( d G ( S u G , u G ) )
again a contradiction and so d G ( S u G , u G ) = 0 which implies that u G S u G ¯ and since S u G is closed we have u G S u G . Hence u G S u G T u G . ☐
If the b-metric d G is continuous then condition (14.1) can be replaced with a much weaker condition as follows:
Definition 15.
The pair ( S , T ) belongs to ( C , Ψ * , G , γ ) contraction class if it satisfies the following:
(15.1) 
there exists F C , ψ Ψ * and γ > 1 such that
  • ψ ( γ H ( S x G , T y G ) ) F ( ψ ( M ( x G , y G ) ) , M ( x G , y G ) ) and
  • ψ ( γ H ( T x G , S y G ) ) F ( ψ ( M ( y G , x G ) ) , M ( y G , x G ) )
Theorem 2.
Let ( X G , d G , s ) be G-complete, G-regular with d G continuous and S , T : X G C L ( X G ) satisfy (1.1), ((1.2)) and the following:
(2.1) 
( S , T ) ( C , Ψ * , G , γ ) for some F C , ψ Ψ * a n d γ > 1 .
Then we can find u G X G such that u G S u G T u G .
Proof. 
Proceeding as in the proof of Theorem 1, it is easy to see that { x G n } is G-Cauchy. By G-completeness and G-regularity of ( X G , d G ) , there exists u G X G such that x G n u G as n and ( x G 2 n , u G ) E ( G ) .
We will now prove that u G S u G T u G . Using (9.1) again, we see that for x G 2 n + 1 S x G 2 n there exists y * G R T u G ( x G 2 n + 1 ) such that ( x G 2 n + 1 , y * G ) E ( G ) . Then we have
ψ ( γ d G ( x G 2 n + 1 , T u G ) ) ψ ( γ d G ( x G 2 n + 1 , y * G ) ) ψ ( γ H ( S x G 2 n , T u G ) ) F ( ψ ( M ( x G 2 n , u G ) ) , M ( x G 2 n , u G ) )
where
M ( x G 2 n , u G ) = max { d G ( x G 2 n , u G ) , d G ( S x G 2 n , x G 2 n ) , d G ( T u G , u G ) , d G ( x G 2 n , T u G ) + d G ( u G , S x G 2 n ) 2 s } max { d G ( x G 2 n , u G ) , d G ( S x G 2 n , x G 2 n ) , d G ( T u G , u G ) , s [ d G ( x G 2 n , u G ) + d G ( u G , T u G ) ] + d G ( u G , S x G 2 n ) 2 s }
Note that as n , d G ( S x G 2 n , x G 2 n ) 0 , d G ( u G , S x G 2 n ) 0 and so M ( x G 2 n , u G ) d G ( T u G , u G ) Now, if d G ( T u G , u G ) 0 then from Equation (10) as n we have,
ψ ( γ d G ( T u G , u G ) ψ ( d G ( T u G , u G ) )
again a contradiction and so d G ( T u G , u G ) = 0 which implies that u G T u G ¯ and since T u G is closed we have u G T u G .
u G S u G follows on the same line as in the proof of Theorem 1 and hence u G S u G T u G . ☐
If the graph G is transitive then conditions (14.1) and (15.1) can be replaced with a much weaker condition as follows:
Definition 16.
The pair ( S , T ) belongs to ( C , Ψ * , G , γ ) contraction class if it satisfies the following:
(16.1) 
there exists F C , ψ Ψ * such that
  • ψ ( H ( S x G , T y G ) ) F ( ψ ( M ( x G , y G ) ) , M ( x G , y G ) ) and
  • ψ ( H ( T x G , S y G ) ) F ( ψ ( M ( y G , x G ) ) , M ( y G , x G ) )
Theorem 3.
Let ( X G , d G , s ) be G-complete, G-regular with d G continuous and S , T : X G C L ( X G ) satisfy (1.1), ((1.2)) and the following:
(3.1) 
G satisfies transitivity property,
(3.2) 
( S , T ) ( C , Ψ * , G ) for some F C , ψ Ψ * .
Then we can find u G X G such that u G S u G T u G .
Proof. 
As in the proof of Theorem 1, we construct the sequence as in Equation (1). Then again proceeding as in the same proof we can show that
lim n d G ( x G n , x G n + 1 ) = 0 .
In order to show that sequence { x G n } is G-Cauchy, it is enough to prove that the subsequence { x G 2 n } is G-Cauchy. If { x G 2 n } is not G-Cauchy, then we can find ϵ > 0 and subsequences { x G 2 m ( k ) } and { x G 2 n ( k ) } , such that n ( k ) is the smallest integer for which n ( k ) > m ( k ) > k , d G ( x G 2 m ( k ) , x G 2 n ( k ) ) ϵ . That is,
d G ( x G 2 m ( k ) , x G 2 n ( k ) 2 ) < ϵ
Now, we have
ϵ d G ( x G 2 m ( k ) , x G 2 n ( k ) ) s d G ( x G 2 m ( k ) , x G 2 n ( k ) 2 ) + s 2 d G ( x G 2 n ( k ) 2 , x G 2 n ( k ) 1 ) + s 2 d G ( x G 2 n ( k ) 1 , x G 2 n ( k ) ) < s ϵ + s 2 d G ( x G 2 n ( k ) 2 , x G 2 n ( k ) 1 ) + s 2 d G ( x G 2 n ( k ) 1 , x G 2 n ( k ) )
As k , using Equation (11) in the above inequality we get
ϵ d G ( x G 2 m ( k ) , x G 2 n ( k ) ) s ϵ , or
lim k d G ( x G 2 m ( k ) , x G 2 n ( k ) ) = λ ϵ , ( 1 λ s )
In addition, we have
| d G ( x G 2 m ( k ) , x G 2 n ( k ) + 1 ) d G ( x G 2 m ( k ) , x G 2 n ( k ) ) | d G ( x G 2 n ( k ) , x G 2 n ( k ) + 1 ) and | d G ( x G 2 m ( k ) 1 , x G 2 n ( k ) ) d G ( x G 2 m ( k ) , x G 2 n ( k ) ) | d G ( x G 2 m ( k ) , x 2 m ( k ) 1 ) .
Letting k and using Equations (11) and (13), we get
lim k d G ( x G 2 m ( k ) 1 , x G 2 n ( k ) ) = lim k d G ( x G 2 m ( k ) , x G 2 n ( k ) + 1 ) = λ ϵ .
From
| d G ( x G 2 m ( k ) 1 , x G 2 n ( k ) + 1 ) d G ( x G 2 m ( k ) 1 , x G 2 n ( k ) ) | d G ( x G 2 n ( k ) , x G 2 n ( k ) + 1 )
and making use of Equations (11) and (14), we get
lim k d G ( x G 2 m ( k ) 1 , x G 2 n ( k ) + 1 ) = λ ϵ
In addition, from the definition of M and from Equations (11) and (13)–(15), we have
lim k M ( x G 2 m ( k ) 1 , x G 2 n ( k ) ) = λ ϵ
Since the graph G is transitive, we have ( x G 2 m ( k ) 1 , x G 2 n ( k ) ) E ( G ) . Then
ψ ( d G ( x G 2 m ( k ) , x G 2 n ( k ) + 1 ) ) ψ ( H ( T x G 2 m ( k ) 1 , S x G 2 n ( k ) ) ) F ( ψ ( M ( x G 2 m ( k ) 1 , x G 2 n ( k ) ) ) , ( M ( x G 2 m ( k ) 1 , x G 2 n ( k ) ) )
As k , using Equations (14) and (15), we get
ψ ( λ ϵ ) < ψ ( λ ϵ )
which is not possible. Hence, { x G 2 n } is G-Cauchy and subsequently { x G n } is G-Cauchy. By G-completeness and G-regularity of ( X G , d G ) , there exists u G X G , such that x G n u G as n and ( x G 2 n + 1 , u G ) , ( x G 2 n , u G ) E ( G ) . By (3.2) we have
ψ ( d G ( x G 2 n + 1 , T u G ) ) ψ ( H ( S x G 2 n , T u G ) ) F ( ψ ( M ( x G 2 n , u G ) ) , M ( x G 2 n , u G ) )
where
M ( x G 2 n , u G ) = max { d G ( x G 2 n , u G ) , d G ( S x G 2 n , x G 2 n ) , d G ( T u G , u G ) , d G ( x G 2 n , T u G ) + d G ( u G , S x G 2 n ) 2 s }
Note that as n , d G ( S x G 2 n , x G 2 n ) 0 , d G ( u G , S x G 2 n ) 0 , and so M ( x G 2 n , u G ) d G ( T u G , u G ) Now, if d G ( T u G , u G ) 0 , then from Equation (17) as n , we have
ψ ( d G ( T u G , u G ) < ψ ( d G ( T u G , u G ) )
again, a contradiction. Thus, d G ( T u G , u G ) = 0 , which implies that u G T u G ¯ , and since T u G is closed, we have u G T u G . Similarly we have
ψ ( d G ( x G 2 n + 2 , S u G ) ) ψ ( H ( T x G 2 n + 1 , S u G ) ) F ( ψ ( M ( u G , x G 2 n + 1 ) ) , M ( u G , x G 2 n + 1 ) )
where
M ( u G , x G 2 n + 1 ) = max { d G ( u G , x G 2 n + 1 ) , d G ( S u G , u G ) , d G ( T x G 2 n + 1 , x G 2 n + 1 ) , d G ( u G , T x G 2 n + 1 ) + d G ( x G 2 n + 1 , S u G ) 2 s }
Note that as n , d G ( T x G 2 n + 1 , x G 2 n + 1 ) 0 , d G ( u G , T x G 2 n + 1 ) 0 , and so M ( u G , x G 2 n + 1 ) d G ( S u G , u G ) Now, if d G ( S u G , u G ) 0 , then from Equation (18) as n , we have
ψ ( d G ( S u G , u G ) < ψ ( d G ( S u G , u G ) )
again, a contradiction. Thus, d G ( S u G , u G ) = 0 , which implies that u G S u G ¯ , and since S u G is closed, we have u G S u G . Thus u G S u G T u G . ☐
Now we have the following deductions from Theorems 1 and 2:
Corollary 1.
Let ( X G , d G , s ) be G-complete, G-regular and S , T : X G C L ( X G ) satisfy conditions (1.1), (1.2) and the following:
(1.1) 
For all x G , y G X G with ( x G , y G ) E ( G )
  • ψ ( γ s H ( S x G , T y G ) ) ψ ( M ( x G , y G ) ) ϕ ( M ( x G , y G ) ) and
  • ψ ( γ s H ( T x G , S y G ) ) ψ ( M ( y G , x G ) ) ϕ ( M ( y G , x G ) )
ψ, ϕ and M ( x G , y G ) are as in Definition 14. Then we can find u G X G such that u G S u G T u G .
Proof. 
The proof follows by taking F ( r , t ) = r ϕ ( t ) in Theorem 1. ☐
Corollary 2.
Let ( X G , d G , s ) be G-complete, G-regular, d G be continuous and S , T : X G C L ( X G ) satisfy conditions (1.1), (1.2) and the following:
(2.1) 
For all x G , y G X G with ( x G , y G ) E ( G )
  • H ( S x G , T y G ) θ ( M ( x G , y G ) ) M ( x G , y G ) and
  • H ( T x G , S y G ) θ ( M ( y G , x G ) ) M ( y G , x G )
where θ : [ 0 , ) [ 0 , 1 γ ) satisfies l i m s u p n θ ( t n ) 1 γ implies t n 0 , and M ( x G , y G ) is as in Definition 14. Then we can find u G X G such that u G S u G T u G .
Proof. 
The proof follows by taking F ( r , t ) = γ θ ( t ) . r and ψ ( t ) = t in Theorem 2. ☐
Example 4.
Let X G = [ 0 , 1 ) , d G ( x G , y G ) = | x G y G | 2 , G = ( V , E ) , with V ( G ) = X G and E ( G ) = { ( 0 , 0 ) , ( 1 2 n , 1 2 n + 1 ) , ( 1 2 n , 0 ) } and S , T : X G C B ( X G ) be defined by
S x G = { 0 } , i f x G = 0 { 1 2 n + 1 , 0 } , i f x G = 1 2 n .
and
T x G = { 0 } , i f x G = 0 { 1 2 n + 2 , 0 } , i f x G = 1 2 n .
Then clearly d G is a continuous b-metric and ( X G , d G ) is a G-complete b-metric space endowed with graph G, but not complete. Let ψ ( t ) = 2 t + 1 and ϕ ( t ) = t 4 for all t [ 0 , ) . Then ψ ( t ) Ψ * , ψ Ψ and ϕ ( t ) Φ * . Choose γ = 3 2 .
  • For ( x G , y G ) = ( 1 2 n , 0 ) E ( G ) , we have S x G = { 1 2 n + 1 , 0 } , S y G = { 0 } , T x G = { 1 2 n + 2 , 0 } , T y G = { 0 } , d G ( x G , y G ) = 1 2 2 n , H ( S x G , T y G ) = 1 2 2 n + 2 , ψ ( γ H ( S x G , T y G ) ) = 3 2 2 n + 2 + 1 , M ( x G , y G ) = 1 2 2 n , ψ ( M ( x G , y G ) ) = 1 2 2 n 1 + 1 , ϕ ( M ( x G , y G ) ) = 1 2 2 n + 2 and
    ψ ( γ H ( S x G , T y G ) ) = 3 2 2 n + 2 + 1 < 7 2 2 n + 2 + 1 = 1 2 2 n 1 + 1 1 2 2 n + 2 = ψ ( M ( x G , y G ) ) ϕ ( M ( x G , y G ) ) .
  • For ( x G , y G ) = ( 0 , 0 ) E ( G ) , we have S x G = { 0 } = S y G = T x G = T y G , 0 = d G ( x G , y G ) = H ( S x G , T y G ) = M ( x G , y G ) , ψ ( H ( S x G , T y G ) ) = ψ ( M ( x G , y G ) ) = 1 , ϕ ( M ( x G , y G ) ) = 0 and
    ψ ( H ( S x G , T y G ) ) = 1 = ψ ( M ( x G , y G ) ) ϕ ( M ( x G , y G ) ) .
  • In addition, for ( x G , y G ) = ( 1 2 n , 1 2 n + 1 ) E ( G ) , we have S x G = { 1 2 n + 1 , 0 } , S y G = { 1 2 n + 2 , 0 } , T x G = { 1 2 n + 2 , 0 } , T y G = { 1 2 n + 3 , 0 } . Simple calculations shows that d G ( x G , y G ) = 1 2 2 n + 2 , H ( S x G , T y G ) = 9 2 2 n + 6 , ψ ( γ H ( S x G , T y G ) ) = 27 2 2 n + 6 + 1 , M ( x G , y G ) = 1 2 2 n + 2 , ψ ( M ( x G , y G ) ) = 1 2 2 n + 1 + 1 , ϕ ( M ( x G , y G ) ) = 1 2 2 n + 4 and
    ψ ( γ H ( S x G , T y G ) ) = 27 2 2 n + 6 + 1 < 28 2 2 n + 6 + 1 < 1 2 2 n + 1 + 1 1 2 2 n + 4 = ψ ( M ( x G , y G ) ) ϕ ( M ( x G , y G ) ) for all n N .
Thus, we see that for all x G , y G X G with ( x G , y G ) E ( G )
ψ ( H ( S x G , T y G ) ) ψ ( M ( x G , y G ) ) ϕ ( M ( x G , y G ) )
Simple calculations also show that S and T are pairwise R-weakly graph preserving. Thus taking F ( r , t ) = r ϕ ( t ) , we see that all conditions of Theorem 2 are satisfied and 0 S ( 0 ) T ( 0 ) .
Next we introduce the class of generalized rational contractions.
Definition 17.
Let S , T : X G C L ( X G ) . Then the pair ( S , T ) belongs to ( C , Ψ * , G , γ s ) rational contractions class if and only if for all x G , y G X G with ( x G , y G ) E ( G ) , the following holds:
(17.1) 
there exists F C , ψ Ψ * and γ > 1 such that
  • ψ ( γ s H ( S x G , T y G ) ) F ( ψ ( M R C ( x G , y G ) ) , M R C ( x G , y G ) ) and
  • ψ ( γ s H ( T x G , S y G ) ) F ( ψ ( M R C ( y G , x G ) ) , M R C ( x G , y G ) )
where
M R C ( x G , y G ) = max { d G ( x G , y G ) , d G ( x G , T y G ) d G ( y G , S x G ) , d G ( x G , S x G ) d G ( y G , T y G ) 1 + d G ( x G , y G ) , d G ( x G , S x G ) d G ( x G , T y G ) + d G ( y G , T y G ) d G ( y G , S x G 2 s [ 1 + d ( x G , y G ) ] }
Theorem 4.
Let ( X G , d G , s ) be G-complete and S , T : X G C L ( X G ) satisfy (1.1), (1.2) and the following:
(4.1) 
( S , T ) ( C , Ψ * , G ) rational contractions.
Then there exists u G X G such that u G S u G T u G .
Proof. 
Proceeding as in Theorem 1, we construct the sequence { x G n } as given in Equation (1).
For an odd integer n we have
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( γ s H ( S x G n 1 , T x n ) ) F ( ψ ( M R C ( x G n 1 , x G n ) ) , M R C ( x G n 1 , x G n ) ) ψ ( M R C ( x G n 1 , x G n ) )
where
M R C ( x G n 1 , x G n ) = max { d G ( x G n 1 , x G n ) , d G ( x G n 1 , T x G n ) d G ( x G n , S x G n 1 ) d G ( S x G n 1 , x G n 1 ) d G ( T x G n , x G n ) 1 + d G ( x G n 1 , x G n ) , d G ( x G n 1 , S x G n 1 ) d G ( x G n 1 , T x G n ) + d G ( x G n , T x G n ) d G ( x G n , S x G n 1 2 s [ 1 + d ( x G n 1 , x G n ) ] } max { d G ( x G n 1 , x G n ) , d G ( x G n 1 , x G n + 1 ) d G ( x G n , x G n ) d G ( x G n , x G n 1 ) d G ( x G n + 1 , x G n ) 1 + d G ( x G n 1 , x G n ) , d G ( x G n 1 , x G n ) d G ( x G n 1 , x G n + 1 ) + d G ( x G n , x G n + 1 ) d G ( x G n , x G n ) 2 s [ 1 + d ( x G n 1 , x G n ) ] } max { d G ( x G n 1 , x G n ) , d G ( x G n + 1 , x G n ) , d G ( x G n 1 , x G n ) + d G ( x G n , x G n + 1 ) 2 } max { d G ( x G n 1 , x G n ) , d G ( x G n , x G n + 1 ) }
If d G ( x G n + 1 , x G n ) > d G ( x G n 1 , x G n ) , then M R C ( x G n 1 , x G n ) d G ( x G n + 1 , x G n ) . Then Equation (19) gives
ψ ( γ d G ( x G n , x G n + 1 ) ) < ψ ( d G ( x G n , x G n + 1 ) )
a contradiction. So, we have
d G ( x G n , x G n + 1 ) d G ( x G n 1 , x G n )
and so
M R C ( x G n 1 , x G n ) d G ( x G n 1 , x G n )
By Equation (19) we get
ψ ( γ d G ( x G n , x G n + 1 ) ) ψ ( d G ( x G n 1 , x G n ) )
and then
d G ( x G n , x G n + 1 ) 1 γ d G ( x G n 1 , x G n )
In case of an even integer n, a similar proof will give inequality Equation (21). By Lemma 1 we conclude that { x G n } is a Cauchy sequence. By G-completeness and G-regularity of ( X G , d G , s ) , we can find u G X G such that x G n u G as n and ( x G 2 n , u G ) E ( G ) .
We will show that u G S u G T u G . We have
ψ ( γ d G ( u G , T u G ) ) ψ ( s [ γ d G ( u G , x G 2 n + 1 ) ) + γ d G ( x G 2 n + 1 , T u G ) ] ) ψ ( s [ γ d G ( u G , x G 2 n + 1 ) ) + γ H ( S x G 2 n , T u G ) ] )
As n , we get
ψ ( γ d G ( u G , T u G ) ) l i m n ψ ( s γ H ( S x G 2 n , T u G ) )
Now,
ψ ( s γ H ( S x G 2 n , T u G ) ) F ( ψ ( M R C ( x G 2 n , u G ) ) , M ( x G 2 n , u G ) )
where
M R C ( x G 2 n , u G ) = max { d G ( x G 2 n , u G ) , d G ( x G 2 n , T u G ) d G ( u G , S x G 2 n ) d G ( S x G 2 n , x G 2 n ) d G ( T u G , u G ) 1 + d G ( x G 2 n , u G ) , d G ( x G 2 n , S x G 2 n ) d G ( x G 2 n , T u G ) + d G ( u G , T u G ) d G ( u G , S x G 2 n 2 s [ 1 + d ( x G n 1 , u G ) ] }
Note that as n , d G ( S x G 2 n , x G 2 n ) 0 , d G ( u G , S x G 2 n ) 0 and so M R C ( x G 2 n , u G ) 0 . Then from Equation (22) as n we have,
ψ ( γ d G ( T u G , u G ) 0
and so d G ( T u G , u G ) = 0 which implies that u G T u G ¯ and since T u G is closed we have u G T u G .
Again we have
ψ ( γ d G ( u G , S u G ) ) ψ ( s [ γ d G ( u G , x G 2 n ) ) + γ d G ( x G 2 n , S u G ) ] ) ψ ( s [ γ d G ( u G , x G 2 n ) ) + γ H ( T x G 2 n 1 , S u G ) ] )
As n , we get
ψ ( γ d G ( u G , S u G ) ) l i m n ψ ( s γ H ( T x G 2 n 1 , S u G ) ) .
Now, using (17.1) we have
ψ ( s γ H ( T x G 2 n 1 , S u G ) ) F ( ψ ( M R C ( u G , x G 2 n 1 ) ) , M ( u G , x G 2 n 1 ) )
where
M ( u G , x G 2 n 1 ) = max { d G ( x G 2 n , u G ) , d G ( u G , T x G 2 n 1 ) d G ( x G 2 n 1 , S u G ) d G ( S u G , u G ) d G ( T x G 2 n 1 , x G 2 n = 1 ) 1 + d G ( x G 2 n 1 , u G ) , d G ( u G , S u G ) d G ( u G , T x G 2 n 1 ) + d G ( x G 2 n 1 , T x G 2 n 1 ) d G ( x G 2 n 1 , S u G 2 s [ 1 + d ( x G 2 n 1 , u G ) ] }
Note that as n , d G ( T x G 2 n 1 , x G 2 n 1 ) 0 , d G ( u G , T x G 2 n 1 ) 0 and so M ( u G , x G 2 n 1 ) 0 . Then from Equation (23) as n we have,
ψ ( γ d G ( u G , S u G ) 0
and so d G ( u G , S u G ) = 0 which implies that u G S u G ¯ and since S u G is closed we have u G S u G . Hence C O F I X { S , T } ϕ . ☐
Definition 18.
The pair ( S , T ) belongs to ( C , Ψ * , G , γ ) rational contractions class if it satisfies the following:
(18.1) 
there exists F C , ψ Ψ * and γ > 1 such that
  • ψ ( γ H ( S x G , T y G ) ) F ( ψ ( M R C ( x G , y G ) ) , M R C ( x G , y G ) ) and
  • ψ ( γ H ( T x G , S y G ) ) F ( ψ ( M R C ( y G , x G ) ) , M R C ( y G , x G ) )
Proceeding on the same lines as in the proof of Theorems 2 and 4 we can prove the following
Theorem 5.
Let ( X G , d G , s ) be G-complete, G-regular, d G continuous and S , T : X G C L ( X G ) satisfy (1.1), (1.2) and the following:
(5.1) 
( S , T ) ( C , Ψ * , G , γ ) rational contractions class.
Then we can find u G X G such that u G S u G T u G .

3.3. Common Fixed Point Theorems for R-Weakly α -Admissible Mappings in a b-Metric Space

This section deals with common fixed point theorems for R-weakly α -admissible mappings in a b-metric space which are obtained as direct application of our results of Section 3.2.
Theorem 6.
Let ( X , d b , s ) be α-complete, α-regular and the following conditions holds:
(6.1) 
There exists x 0 , x 1 X such that x 1 T x 0 S x 0 and α ( x 0 , x 1 ) s ,
(6.2) 
The pair ( S , T ) is R-weakly α-admissible of type S,
(6.3) 
for some F C , ψ Ψ * and for all u , v X with α ( u , v ) s
  • ψ ( γ s H ( S u , T v ) ) F ( ψ ( M α ( u , v ) ) , M α ( u , v ) ) and
  • ψ ( γ s H ( T u , S v ) ) F ( ψ ( M α ( v , u ) ) , M α ( v , u ) )
where
M α ( u , v ) = max d b ( u , v ) , d b ( S u , u ) , d b ( T v , v ) , d b ( v , S u ) + d b ( u , T v ) 2 s
Then there exist z X such that z S z T z .
Proof. 
Endow the b-metric space ( X , d b , s ) with a graph G whose set of vertces is given by V ( G ) = X and the set of edges is given by E ( G ) = { ( u , v ) X × X : α ( u , v ) s } . Then S and T satisfies the conditions of Theorem 1 and hence by Theorem 1 there exists z X such that z S z T z . ☐
Similarly using Theorems 2–5 respectively, we have the following results:
Theorem 7.
Let ( X , d b , s ) be α-complete and α-regular, d b be continuous and let conditions (6.1), (6.2) and the the following holds:
(7.1) 
for some F C , ψ Ψ * and for all u , v X with α ( u , v ) s
  • ψ ( γ H ( S u , T v ) ) F ( ψ ( M α ( u , v ) ) , M α ( u , v ) ) and
  • ψ ( γ H ( T u , S v ) ) F ( ψ ( M α ( v , u ) ) , M α ( v , u ) )
Then there exist z X such that z S z T z .
Theorem 8.
Let ( X , d b , s ) be α-complete and α-regular, d b be continuous and let conditions (6.1), (6.2) and the the following holds:
(8.1) 
α is a triangular function, that is if α ( u , v ) s and α ( v , w ) s then α ( u , w ) s ,
(8.2) 
for some F C , ψ Ψ * and for all u , v X with α ( u , v ) s
  • ψ ( H ( S u , T v ) ) F ( ψ ( M α ( u , v ) ) , M α ( u , v ) ) and
  • ψ ( H ( T u , S v ) ) F ( ψ ( M α ( v , u ) ) , M α ( v , u ) )
Then there exist z X such that z S z T z .
Theorem 9.
Let ( X , d b , s ) be α-complete and α-regular, and let conditions (6.1), (6.2) and the the following holds:
(9.1) 
for some F C , ψ Ψ * and for all u , v X with α ( u , v ) s
  • ψ ( γ s H ( S u , T v ) ) F ( ψ ( M R C ( u , v ) ) , M α ( u , v ) ) and
  • ψ ( γ s H ( T u , S v ) ) F ( ψ ( M R C ( v , u ) ) , M α ( v , u ) )
where
M R C ( u , v ) = max { d b ( u , v ) , d b ( u , T v ) d b ( v , S u ) , d b ( u , S u ) d b ( v , T v ) 1 + d b ( u , v ) , d b ( u , S u ) d b ( u , T v ) + d b ( v , T v ) d b ( v , S u 2 s [ 1 + d b ( u , v ) ] }
Then there exists z X such that z S z T z .
Theorem 10.
Let ( X , d b , s ) be α-complete and α-regular, d b be continuous and let conditions (6.1), (6.2) and the the following holds:
(10.1) 
for some F C , ψ Ψ * and for all u , v X with α ( u , v ) s
  • ψ ( γ H ( S u , T v ) ) F ( ψ ( M R C ( u , v ) ) , M α ( u , v ) ) and
  • ψ ( γ H ( T u , S v ) ) F ( ψ ( M R C ( v , u ) ) , M α ( v , u ) )
Then there exists z X such that z S z T z .
Corollary 3.
Let ( X , d b , s ) be α-complete and α-regular, d b be continuous and let conditions (6.1), (6.2) and the the following holds:
(3.1) 
For all u , v X with α ( u , v ) s
  • H ( S u , T v ) θ ( M R C ( u , v ) ) M R C ( u , v ) and
  • H ( T u , S v ) θ ( M R C ( v , u ) ) M R C ( v , u )
where θ : [ 0 , ) [ 0 , 1 γ ) satisfies l i m s u p n θ ( t n ) 1 γ implies t n 0 . Then there exists z X such that z S z T z .
Proof. 
Take F ( r , t ) = γ θ ( t ) . r and ψ ( t ) = t in Theorem 10. ☐

4. Discussions

Remark 4.
Corollary 1 and hence Theorems 1, 2 and 4 are proper extension and generalization of the results of [4,5,6,7].
Remark 5.
Corollary 2 and hence Theorem 2 is a proper extension and generalization of Theorem 3.1 of [9] and Theorem 1.13 of [15] and some of the references therein.
Remark 6.
For s = 1 Theorem 3 reduces to Theorem 2.2 of [3] wherein we do not require the metric space ( X G , d G ) to be complete and also we do not require the condition Δ = { ( x G , x G ) : x G X G } E ( G ) . Hence Theorem 3 is a substantial improvement and generalisation of Theorem 2.2 of [3].
Remark 7.
In Example 4 above, note that the mappings S and T satisfy condition (3.2) also but Theorem 3 (which is a proper improvement of Theorem 3.1 and Theorem 3.2 of [3]) is not applicable as ( X G , d G ) is not complete, Δ is not a subset of E ( G ) and E ( G ) is not transitive.
Remark 8.
In view of Remark 3, Theorems 6 and 7 are proper generalisations of Theorems 3.1 and 3.2 of [26] in the sense that our results are valid even for s = 1 and also we do not require the mappings ( S , T ) to be triangular α * orbital admissible.
Remark 9.
In [2], the authors used function ψ : [ 0 , ) [ 0 , ) which satisfies the condition n = 1 + s n ψ n ( t ) < + , which in turn implies ψ ( t ) < t for t > 0 and ψ ( 0 ) = 0 . The Ψ * class of functions used in our Theorem 8 is more general than the one used in [2]. Moreover if ψ ( t ) < t , then condition (3) of Definition 9 in [2] implies (8.2) (for S = T ). Clearly Theorem 8 is a proper extension and generalisation of the results in [2].
Remark 10.
In [27], the authors introduced α-Geraghty contractions of type I, II and III for a single valued mapping in a b-metric space. Condition (3.1) above defines α-Geraghty contractions of type R for a pair of multivalued mappings in a b-metric space.
Remark 11.
(Open problem) In [28] the authors proved fixed point theorems for Ciric type quasi contractions in a b-metric space with Q t -functions and in [29] the authors proved Suzuki type fixed point theorem in a p-metric space. There is further scope for extending and generalising the results in [28] and [29] to R-weakly graph preserving pair of multivalued mappings in b-metric space with Q t -functions endowed with a graph and p-metric space endowed with a graph respectively.

5. Conclusions

In the known literature of fixed point theory many results have been generalized from the metric space to a metric space endowed with some binary relation such as the partial order or the graph. The same is the case as well with other generalized classes of usual metric spaces such as: b-metric, partial metric, partial b-metric, cone metric, cone b-metric, G-metric, G b metric and others. In this paper we introduced the concepts of R-weakly graph preserving and R-weakly α admissible pair of multivalued mappings and considered the question of common fixed point results for R-weakly graph preserving and R-weakly α admissible pair of multivalued mappings in a b-metric space by defining ( C , Ψ * , G , γ s ) and ( C , Ψ * , G , γ ) contractions and rational contractions. Our results and its consequences generalize, improve, compliment, unify, enrich and extend many known fixed point results in existing literature. Further, we see a wide scope for extension and generalization of other fixed point results existing in literature by using R-weakly graph preserving and R-weakly α admissible pair of multivalued mappings.

Author Contributions

Formal analysis, R.G., H.A.N. and S.R.; Methodology, R.G.; Project administration, R.G.; Writing—original and draft, R.R.; Writing—review and editing, R.G., H.A.N. and S.R.

Funding

This research was funded by Deanship of Scientific Research at Prince Sattam bin Abdulaziz University, Al kharj, Kingdom of Saudi Arabia under International Project Grant No. 2016/01/6714.

Acknowledgments

1. This research is supported by Deanship of Scientific Research at Prince Sattam bin Abdulaziz University, Al kharj, Kingdom of Saudi Arabia under International Project Grant No. 2016/01/6714. 2. The authors are thankful to the anonymous reviewers and the editor for their valuable suggestions which helped in improving this paper to its present form.

Conflicts of Interest

Authors declare there is no conflict of interest.

References

  1. Khan, M.S.; Swaleh, M.; Sessa, S. Fixed Point Theorems by Altering Distances Between the Points. Bull. Aust. Math. Soc. 1984, 30, 1–9. [Google Scholar] [CrossRef]
  2. Haitham, Q.; Noorani, M.S.N.; Shatanawi, W.; Aydi, H.; Alsamir, H. Fixed point results for multi-valued contractions in b-metric spaces and an application. Mathematics 2019, 7, 132. [Google Scholar]
  3. George, R.; Tamrakar, E.; Vujaković, J.; Pathak, H.K.; Velusamy, S. (C,ψ*,G) class of contractions and fixed points in a metric space endowed with a graph. Mathematics 2019, 7, 481. [Google Scholar] [CrossRef]
  4. Doric, D. Common Fixed Point for Generalized (ψφ) Contractions. Appl. Math. Lett. 2009, 22, 1896–1900. [Google Scholar] [CrossRef]
  5. Rhoades, B.E. Some theorems on weakly contractive maps. Nonlinear Anal. 2001, 47, 2683–2693. [Google Scholar] [CrossRef]
  6. Dutta, P.N.; Choudhury, B.S. A generalization of contraction principle in metric spaces. Fixed Point Theory Appl. 2008, 8, 406368. [Google Scholar] [CrossRef]
  7. Zhang, Q.; Song, Y. Fixed point theory for generalized ϕ-weak contractions. Appl. Math. Lett. 2009, 22, 75–78. [Google Scholar] [CrossRef]
  8. Jachymski, J. The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 136, 1359–1373. [Google Scholar] [CrossRef]
  9. Phon-on, A.; Sama, A.; Makaje, N.; Riyapan, P.; Busaman, S. Coincidence point theorems for weak graph preserving multi-valued mapping. Fixed Point Theory Appl. 2014, 2014, 248. [Google Scholar] [CrossRef] [Green Version]
  10. Bojor, F. Fixed point theorems for Reich type contractios on metric spaces with graph. Nonlinear Anal. 2012, 75, 3895–3901. [Google Scholar] [CrossRef]
  11. Mohanta, S.; Patra, S. Coincidence Points and Common Fixed points for Hybrid Pair of Mappings in b-metric spaces Endowed with a Graph. J. Linear Topol. Algebra 2017, 6, 301–321. [Google Scholar]
  12. Cholamjiak, W.; Suantai, S.; Suparatulatorn, R.; Kesornprom, S.; Cholamjiak, P. Viscosity approximation methods for fixed point problems in Hilbert spaces endowed with graphs. J. Appl. Numer. Optim. 2019, 1, 25–38. [Google Scholar]
  13. Sauntai, S.; Charoensawan, P.; Lampert, T.A. Common Coupled Fixed Point Theorems for θψ-Contraction mappings Endowed with a Directed Graph. Fixed Point Theory Appl. 2015, 2015, 224. [Google Scholar] [CrossRef]
  14. Sultana, A.; Vetrivel, V. Fixed points of Mizoguchi-Takahashi contraction on a metric space with a graph and applications. J. Math. Anal. Appl. 2014, 417, 336–344. [Google Scholar] [CrossRef]
  15. Tiammee, J.; Suantai, S. Coincidence point theorems for graph-preserving multi-valued mappings. Fixed Point Theory Appl. 2014, 2014, 70. [Google Scholar] [CrossRef] [Green Version]
  16. Beg, I.; Butt, A.R.; Radojevic, S. The contraction principle for set valued mappings on a metric space with a graph. Comput. Math. Appl. 2010, 60, 1214–1219. [Google Scholar] [CrossRef] [Green Version]
  17. Alfuraidan, M.R. Remarks on monotone multivalued mappings on a metric spaces with a graph. J. Inequal. Appl. 2015, 2015, 202. [Google Scholar] [CrossRef]
  18. Hanjing, A.; Suantai, S. Coincidence point and fixed point theorems for a new type of G-contraction multivalued mappings on a metric space endowedwith a graph. Fixed Point Theory Appl. 2015, 2015, 171. [Google Scholar] [CrossRef]
  19. Nicolae, A.; O’Regan, D.; Petrusel, A. Fixed point theorems for single-valued and multi-valued generalized contractions in metric spaces endowed with a graph. Georgian Math. J. 2011, 18, 307–327. [Google Scholar]
  20. Samet, B.; Vetro, C.; Vetro, P. Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Anal. 2012, 75, 2154–2165. [Google Scholar] [CrossRef]
  21. Sintunavarat, W. Nonlinear integral equations with new admissibility types in b- metric spaces. J. Fixed Point Theory Appl. 2016, 18, 397–416. [Google Scholar] [CrossRef]
  22. Arshad, M.; Ameer, E.; Karapinar, E. Generalized contractions with triangular α-orbital admissible mapping on Branciari metric spaces. J. Inequal. Appl. 2016, 2016, 63. [Google Scholar] [CrossRef]
  23. 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]
  24. Ansari, A.H. Note on φψ-contractive type mappings and related fixed point. In The 2nd Regional Conference on Mathematics And Applications; Payame Noor University: Tehran, Iran, 2014; pp. 377–380. [Google Scholar]
  25. 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]
  26. Aleksić, S.; Dosenovic, T.; Mitrović, Z.D.; Radenović, S. Remarks on common fixed point results for generalized α*ψ-contraction multivalued mappings in b-metric spaces. Adv. Fixed Point Theory 2019, 9, 1–16. [Google Scholar]
  27. Huang, H.; Deng, G.; Chen, Z.; Radenović, S. On some recent fixed point results for α-admissible mappings in b-metric spaces. J. Comp. Anal. Appl. 2018, 25, 255–269. [Google Scholar]
  28. Zhao, X.Y.; He, F.; Sun, Y.Q. Common fixed point results for quasi-contractions of Ciric type in b-metric spaces with Qt-functions. J. Nonlinear Funct. Anal. 2017, 2017, 1–18. [Google Scholar] [CrossRef]
  29. Simkhah, M.; Turkoglu, D.; Sedghi, S.; Shobe, N. Suzuki type fixed point results in p-metric spaces. Commun. Optim. Theory 2019, 2019, 1–12. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

George, R.; Nabwey, H.A.; Ramaswamy, R.; Radenović, S. Some Generalized Contraction Classes and Common Fixed Points in b-Metric Space Endowed with a Graph. Mathematics 2019, 7, 754. https://doi.org/10.3390/math7080754

AMA Style

George R, Nabwey HA, Ramaswamy R, Radenović S. Some Generalized Contraction Classes and Common Fixed Points in b-Metric Space Endowed with a Graph. Mathematics. 2019; 7(8):754. https://doi.org/10.3390/math7080754

Chicago/Turabian Style

George, Reny, Hossam A. Nabwey, Rajagopalan Ramaswamy, and Stojan Radenović. 2019. "Some Generalized Contraction Classes and Common Fixed Points in b-Metric Space Endowed with a Graph" Mathematics 7, no. 8: 754. https://doi.org/10.3390/math7080754

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