Next Article in Journal
A Method of Speech Coding for Speech Recognition Using a Convolutional Neural Network
Next Article in Special Issue
gH-Symmetrically Derivative of Interval-Valued Functions and Applications in Interval-Valued Optimization
Previous Article in Journal
A Modified Equation for Thickness of the Film Fabricated by Spin Coating
Previous Article in Special Issue
Generalized Fixed-Point Results for Almost (α,Fσ)-Contractions with Applications to Fredholm Integral Inclusions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Solution of Fredholm Integral Equation by Using the Cyclic η s q -Rational Contractive Mappings Technique in b-Metric-Like Spaces

by
Hasanen A. Hammad
1 and
Manuel De la Sen
2,*
1
Department of Mathematics, Faculty of Science, Sohag University, Sohag 82524, Egypt
2
Institute of Research and Development of Processes, University of the Basque Country, 48940 Leioa (Bizkaia), Spain
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(9), 1184; https://doi.org/10.3390/sym11091184
Submission received: 26 August 2019 / Revised: 14 September 2019 / Accepted: 16 September 2019 / Published: 19 September 2019
(This article belongs to the Special Issue Advance in Nonlinear Analysis and Optimization)

Abstract

:
In this article, the notion of cyclic η s q -rational contractive mappings is discussed and some fixed point theorems in the context of complete b-metric-like spaces are showed. Here, the obtained consequences unify, extend and generalize various comparable known results. Furthermore, new common fixed point outcomes in a directed graph are demonstrated. Moreover, some useful examples are discussed to justify our theoretical results and finding a solution of Fredholm integral equation was discussed as enforcement.

1. Introduction

Problems in the nonlinear analysis are solved by a popular tool called the Banach contraction principle, which appeared in Banach’s thesis [1] and was used to find a solution (existence and uniqueness) for some integral equations; this stated: consider ( Ω , d ) is a metric space and Γ is a nonlinear self-mapping defined on it; then, the mapping Γ is called a Banach contraction if there exists 0 Λ < 1 such that
d ( Γ κ , Γ μ ) Λ d ( κ , μ ) , κ , μ Ω .
Note that, for all κ , μ Ω , inequality (1) holds, which imposes the nonlinear mapping Γ to be continuous, while it is not applicable in the case of discontinuity. The major drawback of this principle is how we apply this contraction in case of discontinuity. This problem was overcome in the past by Kannan [2] where it proved a fixed point result without continuity, while, recently many authors attempted to solve this problem (see, for example, [3,4,5,6]).
In 1989, one of the interesting extensions of this basic principle was presented by Bakhtin [7] (and also Czerwik [8], 1993) by introducing the notion of b-metric spaces. For fixed point results in mention spaces, see, for example, [9,10,11,12,13,14,15,16]).
In 2010, the concept of b-metric-like was initiated by Alghamdi et al. [17] as an extension of a b-metric. They studied some important fixed point consequences concerned with this space. Recently, a lot of contributions on fixed points consequences via certain contractive conditions in the mentioned spaces are made (for example, see [18,19,20,21,22,23,24] and references therein).
In 2012, on a complete metric space Ω , the concept of η -admissible mapping is given by Samet et al. [6] as the following:
Definition 1.
Let Ω . A nonlinear mapping Γ : Ω Ω is said to be an η-admissible mapping if
η ( κ , μ ) 1 implies η ( Γ κ , Γ μ ) 1
κ , μ Ω and η : Ω × Ω [ 0 , + ) .
By using this concept, they introduced the following theorem:
Theorem 1.
Suppose that ( Ω , d ) is a complete metric space and Γ : Ω Ω is an η-admissible mapping. Consider that the following hypotheses are realized:
(a) 
κ , μ Ω , we get
η ( κ , μ ) d ( Γ κ , Γ μ ) θ ( d ( κ , μ ) ) ,
where θ : [ 0 , + ) [ 0 , + ) is a nondecreasing function such that
n = 1 + θ n ( t ) < + , for all t > 0 ;
(b) 
there exists κ Ω such that η ( κ , Γ κ ) 1 ;
(c) 
Γ has a fixed point if one conditions holds: Either Γ is continuous or for any sequence { κ n } Ω such that η ( κ n , κ n + 1 ) 1 , n 0 and lim n + κ n = κ , we obtain η ( κ n , κ ) 1 .
If we take η ( κ , μ ) = 1 in the inequality (2) for all κ , μ Ω , then Γ reduces to inequality (1).
One can note that, If Γ does not satisfy the contractive condition (1), in this situation, the mapping Γ is a weaker version of Banach principle according to Theorem 1. Therefore, the researchers turned to some important generalizations of the metric space such as metric like space, b-metric-like spaces, and others.
The shell of this article is as follows. In Section 2, we present some known consequences about b-metric-like spaces and some useful lemmas which will be used in the sequel. In Section 3, we introduce a cyclic η s q -rational contractive mapping and we obtain some results in related fixed points on it in the context of b-metric-like spaces and we support our theoretical results by some examples. In Section 4, we use the same contractive mapping without an admissible concept to connect the graph theory with a fixed point theory by getting some fixed point results in a directed graph. In the final section, Section 5, an application to find an analytical solution of the Fredholm integral equation of the second kind is presented and a numerical example to justify it is discussed.

2. Preliminaries and Known Results

This section is devoted to discuss some basic notions in metric-like and b-metric-like spaces.
Definition 2
([8]). Let Ω . A mapping ω : Ω × Ω R + is called a metric-like if the following three conditions hold for all κ , μ , τ Ω :
( ω 1 )
ω ( κ , μ ) = 0 κ = μ ;
( ω 2 )
ω ( κ , μ ) = ω ( μ , κ ) ;
( ω 3 )
ω ( κ , τ ) ω ( κ , μ ) + ω ( τ , μ ) .
In this case, the pair ( Ω , ω ) is called a metric-like space.
Definition 3
([17]). A b-dislocated on a nonempty set Ω is a function ϖ : Ω × Ω [ 0 , + ) such that, for all κ , μ , τ Ω and coefficient s 1 , the following three conditions hold:
( ϖ 1 )
ϖ ( κ , μ ) = 0 κ = μ ;
( ϖ 2 )
ϖ ( κ , μ ) = ϖ ( μ , κ ) ;
( ϖ 3 )
ϖ ( κ , τ ) s [ ϖ ( κ , μ ) + ϖ ( μ , τ ) ] .
In this case, the pair ( Ω , ϖ ) is called a b-metric-like space (with coefficient s).
It should be noted that the class of b-metric-like spaces is larger than the class of metric-like spaces, since a b-metric-like is a metric-like with s = 1 .
Since a b-metric-like on Ω is an ordinary metric except that ϖ ( κ , μ ) may be positive for κ Ω , we can thus generate a new topology ϖ on Ω as follows:
ß ϖ ( κ , ϵ ) = { μ Ω : ϖ ( κ , μ ) ϖ ( κ , κ ) < ϵ s } for all κ Ω , s 1 and ϵ > 0 ,
where ß ϖ ( κ , ϵ ) is the family of open ϖ -balls that have a base of topology.
According to a topology ϖ , we can present the following results:
Definition 4.
Let ( Ω , ϖ ) be a b-metric-like space and χ Ω . It is said that χ is a ϖ-open subset of Ω , if κ Ω , ϵ > 0 such that ß ϖ ( κ , ϵ ) χ . Moreover, σ Ω is a ϖ-closed subset of Ω if Ω χ is a ϖ-open subset of Ω .
Lemma 1.
Let ( Ω , ϖ ) be a b-metric-like space and σ be a ϖ-closed subset in Ω . Let { κ n } be a sequence of σ such that lim n κ n = κ . Then, κ σ .
Proof. 
Let κ σ by Definition 4, and ( Ω σ ) is a ϖ -open set. Then, there exists ϵ > 0 such that ß ϖ ( κ , ϵ ) Ω σ . On the other hand, we have lim n ϖ ( κ n , κ ) ϖ ( κ , κ ) = 0 since lim n κ n = κ . Hence, there exists n N such that
ϖ ( κ n , κ ) ϖ ( κ , κ ) < ϵ s
for all n n . Thus, we conclude that { κ n } β ϖ ( κ , ϵ ) Ω σ for all n n , a contradiction due to { κ n } σ for all n N .  □
Lemma 2.
Let ( Ω , ϖ ) be a b-metric-like space and { κ n } be a sequence of Ω such that lim n κ n = κ and ϖ ( κ , κ ) = 0 . Then, lim n ϖ ( κ n , μ ) = s ϖ ( κ , μ ) for all μ Ω .
Proof. 
Applying ( ϖ 3 ) , we get
s [ ϖ ( κ , μ ) ϖ ( κ n , κ ) ] ϖ ( κ n , μ ) s [ ϖ ( κ n , κ ) + ϖ ( κ , μ ) ] .
Passing the limit as n , we have
lim n ϖ ( κ n , μ ) = s ϖ ( κ , μ ) .
In a b-metric-like space ( Ω , ϖ ) , if κ , τ Ω and ϖ ( κ , τ ) = 0 , then κ = τ , but the converse not true in general. □
Example 1.
Let Ω = { 0 , 1 , 2 , 3 , 4 } and let
ϖ ( κ , τ ) = 5 , κ = τ = 0 , 1 5 , otherwise .
Then, ( Ω , ϖ ) is a b-metric-like space with a coefficient s = 5 .
For new examples in metric-like and b-metric-like spaces, see, [24,25].
Definition 5
([17]). Assume that { κ n } is a sequence on a metric-like space ( Ω , ϖ ) with a coefficient s:
(a) 
If lim m , n ϖ ( κ n , κ ) = ϖ ( κ , κ ) , then the sequence { κ n } is said to be convergent to κ ;
(b) 
a sequence { κ n } is called a Cauchy sequence in ( Ω , ϖ ) if lim m , n ϖ ( κ m , κ n ) finite and exists;
(c) 
if for every Cauchy sequence { κ n } in Ω , there exists κ Ω , such that lim m , n ϖ ( κ m , κ n ) = ϖ ( κ , κ ) = lim n ϖ ( κ n , κ ) , then the pair ( Ω , ϖ ) is called a complete b-metric-like space.
Remark 1.
The limit of the sequence need not be unique and a convergent sequence need not be a Cauchy in the context of b-metric-like.
To show this remark, the authors [25] gave the following example:
Example 2
([25]). Consider Ω = [ 0 , + ) . Define a function ϖ : [ 0 , + ) × [ 0 , + ) Ω by ϖ ( κ , μ ) = max { κ , μ } 2 . Then, ( Ω , ϖ ) is a b-metric-like space with a coefficient s = 2 . Suppose that
{ κ n } = 0 when n is odd , 1 when n is even .
For κ 1 , lim n ϖ ( κ n , κ ) = lim n max { κ n , κ } 2 = κ 2 = ϖ ( κ , κ ) . Therefore, it is a convergent sequence and κ n κ for all κ 1 . That is, the limit of the sequence is not unique. In addition, lim m , n ϖ ( κ m , κ n ) does not exist. Thus, it is not a Cauchy sequence.
Lemma 3
([26]). Let Γ : Ω Ω be a nonlinear self-mapping on a b-metric-like space ( Ω , ϖ ) with coefficient s . Consider that Γ is continuous at δ Ω . Then, for all sequences { κ n } in Ω such that κ n δ , we have Γ κ n Γ δ that is
lim n ϖ ( Γ κ n , Γ δ ) = ϖ ( Γ δ , Γ δ ) .
The proof of the following lemma is clear.
Lemma 4.
Let ( Ω , ϖ ) be a b-metric-like space with a coefficient s 1 . Then,
(i) 
If ϖ ( κ , μ ) = 0 , then ϖ ( κ , κ ) = ϖ ( κ , μ ) = 0 ;
(ii) 
If { κ n } is a sequence such that lim n ϖ ( κ n , κ n + 1 ) = 0 , then we can write
lim n ϖ ( κ n , κ n ) = lim n ϖ ( κ n + 1 , κ n + 1 ) = 0 ,
(iii) 
ϖ ( κ , μ ) > 0 , if κ μ .
Lemma 5
([27]). Let { κ n } be a sequence on a complete b-metric-like space ( Ω , ϖ ) with parameter s 1 such that
lim n ϖ ( κ n , κ n + 1 ) = 0 .
If lim n , m ϖ ( κ n , κ m ) 0 , there exists ε > 0 and two sequences { m ( ) } = 1 , { n ( ) } = 1 of positive integers with n > m > such that
ϖ ( κ n , κ m ) ε , ϖ ( κ m , κ n 1 ) < ε , ε s 2 lim sup n ϖ ( κ n 1 , κ m 1 ) ε s , ε s lim sup n ϖ ( κ n 1 , κ m ) ε , ε s lim sup n ϖ ( κ n , κ m 1 ) ε s 2 .

3. Cyclic η s q -Rational Contractive Mappings

This part is devoted to define a cyclic η s q -rational contractive mapping, and some new fixed point results via this contractive on the context of complete b-metric-like spaces are presented.
Let Θ refers to the class of all functions θ : [ 0 , ) [ 0 , ) , satisfying the following:
(i)
for each t > 0 , θ non-decreasing and continuous such that θ ( t ) < t ;
(ii)
lim n θ n ( t ) = 0 for all t > 0 .
We begin with the following new definition:
Definition 6.
Let ( Ω , ϖ ) be a b-metric-like space, l N , B 1 , B 2 , B l be ϖ-closed subsets of Ω , Υ = i = 1 l B i and η : Υ × Υ [ 0 , ) be a nonlinear mapping. The mapping Γ is called a cyclic η s q -rational contractive if
(a) 
Γ ( B j ) B j + 1 , j = 1 , 2 , , l , where B l + 1 = B 1 ,
(b) 
for any κ B i and τ B i + 1 , i = 1 , 2 , , l , such that η ( κ , Γ κ ) η ( μ , Γ μ ) 1 , we get
2 s q ϖ ( Γ κ , Γ μ ) θ ( N ( κ , μ ) ) ,
for all q > 1 and
N ( κ , μ ) = max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s .
If we take Ω = B i , i = 1 , 2 , , l , in the above definition, then the mapping Γ reduce to η s q -rational contraction mapping.
Here, we refer to the set of all fixed points of Γ by , that is, = { κ Ω : Γ κ = κ } .
It is noted that the class of η s q -rational contraction mapping is a strictly larger class than ( s , q ) -Dass and Gupta contraction and hence a larger class than Dass and Gupta and Jaggi contraction [28].
Example 3.
Let Ω = R be equipped with a b-metric-like mapping ϖ ( κ , μ ) = ( κ 2 + μ 2 ) q for all κ , μ Ω , with s = q = 2 . Suppose B 1 = [ π 2 , 0 ] and B 2 = [ 0 , π 2 ] and Υ = B 1 B 2 . Define Γ : Ω Ω and η : Ω × Ω [ 0 , ) by
Γ κ = κ 4 sin ( 1 κ ) , if κ [ π 2 , 0 ) ( 0 , π 2 ] , 0 , if κ = 0 , and η ( κ , μ ) = 1 , if κ , μ [ π 2 , π 2 ] , 0 , otherwise .
In addition, define θ : [ 0 , ) [ 0 , ) by θ ( t ) = 1 32 t for all t > 0 . Clearly, Γ ( B 1 ) B 2 and Γ ( B 2 ) B 1 . Let κ B 1 , μ B 2 and η ( κ , Γ κ ) η ( μ , Γ μ ) 1 . Now, if κ [ π 2 , π 2 ] or μ [ π 2 , π 2 ] , then η ( κ , Γ κ ) = 0 or η ( μ , Γ μ ) = 0 . That is, η ( κ , Γ κ ) η ( μ , Γ μ ) = 0 < 1 , which is a contradiction. Hence, κ B 1 , μ B 2 and κ , μ [ π 2 , π 2 ] . This implies that κ [ π 2 , 0 ] and μ [ 0 , π 2 ] . We discuss the following positions:
(i) 
κ = 0 and μ = 0 with ( κ , μ ) B 1 × B 2 or ( κ , μ ) B 2 × B 1 . (Trivial).
(ii) 
κ 0 and μ = 0 with ( κ , μ ) B 1 × B 2 or ( κ , μ ) B 2 × B 1 . Then,
2 s q ϖ ( Γ κ , Γ μ ) = 8 0 + κ 4 sin 1 κ 2 2 = 8 κ 2 16 sin 1 κ 2 2 κ 4 32 = 1 32 ϖ ( κ , 0 ) θ ( M ϖ ( κ , 0 ) ) .
(iii) 
κ = 0 and μ 0 with ( κ , μ ) B 1 × B 2 or ( κ , μ ) B 2 × B 1 . Then,
2 s q ϖ ( Γ κ , Γ μ ) = 8 0 + μ 4 sin 1 μ 2 2 = 8 μ 2 16 sin 1 μ 2 2 μ 4 32 = 1 32 ϖ ( 0 , μ ) θ ( M ϖ ( 0 , μ ) ) .
(iv) 
κ 0 and μ 0 with ( κ , μ ) B 1 × B 2 or ( κ , μ ) B 2 × B 1 . Then,
2 s q ϖ ( Γ κ , Γ μ ) = 8 κ 4 sin 1 κ 2 + μ 4 sin 1 μ 2 2 8 κ 2 16 + μ 2 16 2 = 1 32 ( κ 2 + μ 2 ) 2 = 1 32 ϖ ( κ , μ ) θ ( M ϖ ( κ , μ ) ) .
By the four positions, one can deduce that the mapping Γ is a cyclic η s q -rational contractive.
Remark 2.
If Γ : Ω Ω is a cyclic η s q -rational contractive mapping, κ and η ( κ , κ ) 1 , then ϖ ( κ , κ ) = 0 .
Proof. 
Let ϖ ( κ , κ ) > 0 , then N ( κ , κ ) = ϖ ( κ , κ ) and, by (3), we can write
2 s q ϖ ( κ , κ ) = 2 s q ϖ ( Γ κ , Γ κ ) θ ( ϖ ( κ , κ ) ) < ϖ ( κ , κ ) .
Thus, s q < 1 2 for all q 1 , a contradiction, so ϖ ( κ , κ ) = 0 .  □
Definition 7
([29]). Let ( Ω , ϖ ) be a metric-like space and η : Ω × Ω [ 0 , ) be admissible mapping. It is said that Γ : Ω Ω is η-continuous on ( Ω , ϖ ) , if
lim n κ n = κ , η ( κ n , κ n + 1 ) 1 Γ κ n Γ κ , n N .
Example 4.
Assume that Ω = [ 0 , + ) and ϖ ( κ , η ) = ( κ + μ ) 2 is a b-metric-like on Ω . Let an η-admissible mapping Γ : Ω Ω and η : Ω × Ω Ω be defined by
Γ κ = κ 2 , if κ [ 0 , 1 2 ] , tan π 2 κ + 2 , if κ > 1 2 , α ( κ , μ ) = κ 2 + μ 2 + 3 , if κ , μ [ 0 , 1 2 ] , 1 5 , if κ > 1 2 .
Clearly, Γ is not continuous. Let κ = 0 Ω so Γ κ = 0 and η ( κ , Γ κ ) = η ( 0 , 0 ) = 3 > 1 . Let { κ n } [ 0 , 1 2 ] for all n N . If lim n κ n = κ , then we can get κ [ 0 , 1 2 ] and η ( κ n , Γ κ n + 1 ) = 3 > 1 . Hence,
lim n Γ κ n = lim n κ n 2 = κ 2 = Γ κ .
That is, Γ is η-continuous on ( Ω , ϖ ) .
Now, we are ready to present our first results.
Theorem 2.
Let ( Ω , ϖ ) be a complete b-metric-like space, l be a positive integer, B 1 , B 2 , B l be non-empty ϖ-closed subsets of Ω , Υ = i = 1 l B i and η : Υ × Υ [ 0 , ) be a mapping. Assume that Γ : Υ Υ is a cyclic η s q -rational contractive mapping satisfying the following conditions:
(i) 
a nonlinear mapping Γ is an η-admissible;
(ii) 
η ( κ , Γ κ ) 1 if there exists κ Υ ;
(iii) 
( a ) a nonlinear mapping Γ is η-continuous, or
( b ) for any sequence { κ n } in Ω and for all n 0 , if η ( κ n , κ n + 1 ) 1 and lim κ n = κ ,
then, η ( κ , Γ κ ) 1 . Therefore, Γ has a fixed point κ i = 1 l B i . Furthermore, if
(iv) 
κ , we get η ( κ , κ ) 1 .
Then, the uniqueness of the fixed point is realized.
Proof. 
Let κ Υ be an arbitrary point such that η ( κ , Γ κ ) 1 . Thus, there exists some i such that κ B i . Now, Γ ( B i ) B i + 1 implies that Γ κ B i + 1 . Thus, find κ 1 in B i + 1 such that Γ κ = κ 1 . By a similar way, Γ κ n = κ n + 1 , where κ n B i n . Hence, for n 0 , there exists i n { 1 , 2 , , l } such that κ n B i n and Γ κ n = κ n + 1 . Otherwise, a mapping Γ is an η -admissible, we get
η ( κ 1 , Γ κ 1 ) = η ( Γ κ , Γ 2 κ ) 1 .
Again, since Γ is an η -admissible mapping, then
η ( κ 2 , Γ κ 2 ) = η ( Γ κ 1 , Γ 2 κ 1 ) 1 .
Continuing this manner, we can get
η ( κ n , Γ κ n ) 1 , n 0 ,
so
η ( κ n , Γ κ n ) η ( κ n 1 , Γ κ n 1 ) 1 for all n N .
Therefore, κ n is a fixed point of Γ if κ n = κ n + 1 for some n = 0 , 1 , 2 , Now, consider κ n κ n + 1 for all n. Thus, by Lemma 3 (iii), we obtain that ϖ ( κ n + 1 , κ n ) > 0 for all n . Now, we shall prove that the sequence { ϖ ( κ n , κ n + 1 ) } is non-increasing. By (3), we have
2 s ϖ ( κ n , κ n + 1 ) 2 s q ϖ ( κ n , κ n + 1 ) = 2 s q ϖ ( Γ κ n 1 , Γ κ n ) θ ( N ϖ ( κ n 1 , κ n ) ) ,
where
N ϖ ( κ n 1 , κ n ) = max ϖ ( κ n 1 , κ n ) , ϖ ( κ n , Γ κ n 1 ) , ϖ ( κ n 1 , Γ κ n 1 ) ϖ ( κ n , Γ κ n ) ϖ ( κ n 1 , κ n ) , ϖ ( κ n , Γ κ n ) ( ϖ ( κ n 1 , Γ κ n 1 ) + 1 ) 1 + ϖ ( κ n 1 , κ n ) , ϖ ( κ n 1 , Γ κ n ) + ϖ ( κ n , Γ κ n 1 ) 4 s = max ϖ ( κ n 1 , κ n ) , ϖ ( κ n , κ n ) , ϖ ( κ n 1 , κ n ) ϖ ( κ n , κ n + 1 ) ϖ ( κ n 1 , κ n ) , ϖ ( κ n , κ n + 1 ) ( ϖ ( κ n 1 , κ n ) + 1 ) 1 + ϖ ( κ n 1 , κ n ) , ϖ ( κ n 1 , κ n + 1 ) + ϖ ( κ n , κ n ) 4 s = max ϖ ( κ n 1 , κ n ) , ϖ ( κ n , κ n + 1 ) , ϖ ( κ n , κ n ) , ϖ ( κ n 1 , κ n + 1 ) + ϖ ( κ n , κ n ) 4 s .
On the other hand, from ( ϖ 3 ) , we get
ϖ ( κ n , κ n ) 2 s ω ( κ n , κ n 1 ) ,
and
ϖ ( κ n 1 , κ n + 1 ) s [ ϖ ( κ n 1 , κ n ) + ϖ ( κ n , κ n + 1 ) ] .
That is,
N ϖ ( κ n 1 , κ n ) max ϖ ( κ n , κ n + 1 ) , 2 s ω ( κ n , κ n 1 ) , s [ ϖ ( κ n 1 , κ n ) + ϖ ( κ n , κ n + 1 ) ] + 2 s ω ( κ n , κ n 1 ) 4 s = max ϖ ( κ n , κ n + 1 ) , 2 s ω ( κ n , κ n 1 ) , 1 4 ϖ ( κ n , κ n + 1 ) , 3 4 ϖ ( κ n 1 , κ n ) = max ϖ ( κ n , κ n + 1 ) , 2 s ω ( κ n , κ n 1 ) .
It follows from (4) that
2 s ϖ ( κ n , κ n + 1 ) 2 s q ϖ ( κ n , κ n + 1 ) θ ( max ϖ ( κ n , κ n + 1 ) , 2 s ω ( κ n , κ n 1 ) ) .
Now, if ϖ ( κ n 1 , κ n ) ϖ ( κ n , κ n + 1 ) for some n N , then
2 s ϖ ( κ n , κ n + 1 ) 2 s q ϖ ( κ n , κ n + 1 ) θ ( ω ( κ n , κ n + 1 ) ) < ϖ ( κ n , κ n + 1 ) .
By the above inequality, we deduce that ϖ ( κ n , κ n + 1 ) = 0 , which is a contradiction. Since we get supposed ϖ ( κ n , κ n + 1 ) > 0 , thus, for all n N ,
2 s ϖ ( κ n , κ n + 1 ) 2 s q ϖ ( κ n , κ n + 1 ) θ ( 2 s ϖ ( κ n 1 , κ n ) ) .
Hence,
ϖ ( κ n , κ n + 1 ) < ϖ ( κ n 1 , κ n ) ,
that is, a sequence { ϖ ( κ n , κ n + 1 ) } is decreasing and bounded below. Thus, there exists 0 such that
lim n ϖ ( κ n , κ n + 1 ) = .
We shall demonstrate that = 0 . By a way of contradiction, thus, assume that > 0 . By (5) and (6) and the properties of θ , one can write
2 s 2 s q θ ( 2 s ) < 2 s .
This is a contradiction again. Hence,
lim n ϖ ( κ n , κ n + 1 ) = 0 .
In the next step, we claim that
lim n , m ω ( κ n , κ m ) = 0 .
Let, if possible, lim n , m ϖ ( κ n , κ m ) 0 . Then, by Remark 5, there exists ε > 0 and sequences { m ( ) } = 1 and { n ( ) } = 1 of positive integers with n > m > such that ϖ ( κ n , κ m ) ε , ϖ ( κ m , κ n 1 ) < ε and
ε s 2 lim sup n ϖ ( κ n 1 , κ m 1 ) ε s , ε s lim sup n ϖ ( κ n 1 , κ m ) ε , ε s lim sup n ϖ ( κ n , κ m 1 ) ε s 2 .
Applying condition (3), one can get
2 s 2 ϖ ( κ n , κ m ) = 2 s q ϖ ( κ n , κ m ) = 2 s q ϖ ( Γ κ n 1 , Γ κ m 1 ) θ N ϖ ( κ n 1 , κ m 1 ) ,
where
N ϖ ( κ n 1 , κ m 1 ) = max ϖ ( κ n 1 , κ m 1 ) , ϖ ( κ m 1 , Γ κ n 1 ) , ϖ ( κ n 1 , Γ κ n 1 ) ϖ ( κ m 1 , Γ κ m 1 ) ϖ ( κ n 1 , κ m 1 ) , ϖ ( κ m 1 , Γ κ m 1 ) [ 1 + ϖ ( κ n 1 , Γ κ n 1 ) ] 1 + ϖ ( κ n 1 , κ m 1 ) , ϖ ( κ n 1 , Γ κ m 1 ) + ϖ ( κ m 1 , Γ κ n 1 ) 4 s = max ϖ ( κ n 1 , κ m 1 ) , ϖ ( κ m 1 , κ n ) , ϖ ( κ n 1 , κ n ) ϖ ( κ m 1 , κ m ) ϖ ( κ n 1 , κ m 1 ) , ϖ ( κ m 1 , κ m ) [ 1 + ϖ ( κ n 1 , κ n ) ] 1 + ϖ ( κ n 1 , κ m 1 ) , ϖ ( κ n 1 , κ m ) + ϖ ( κ m 1 , κ n ) 4 s .
Passing the upper limit as in (10) and using (7) and (8), one can write
lim sup N ϖ ( κ n 1 , κ m 1 ) = max ε s , ε s 2 , 0 , 0 , ε + ε s 2 4 s = ε s 2 .
Again, passing the upper limit as in (9) and applying (11), we can get 2 s 2 θ ( ε s 2 ) . This contradiction proves that lim n , m ϖ ( κ n , κ m ) = 0 , hence, { κ n } is a ϖ -Cauchy sequence. Since Υ is ϖ -closed in ( Ω , ϖ ) , there exists κ Υ = i = 1 l B i such that lim n κ n = κ in ( Υ , ϖ ) ,
ϖ ( κ , κ ) = lim n ϖ ( κ , κ n ) = lim n , m ϖ ( κ , κ m ) = 0 .
Firstly, suppose that ( a ) of (iii) is satisfied, it is mean that, Γ is η -continuous. Thus, we can write,
κ = lim n κ n + 1 = lim n Γ κ n = Γ κ .
Otherwise, if ( b ) of (iii) is realized and ϖ ( κ , Γ κ ) > 0 , then, we get η ( κ , Γ κ ) 1 and so
η ( κ , Γ κ ) η ( κ n ( k ) , Γ κ n ( k ) ) 1 .
Secondly, we shall show that a fixed point of Γ exists and is named κ . Since lim n κ n = κ and Γ ( B j ) B j + 1 , j = 1 , 2 , , l , where B l + 1 = B 1 , the sequence { κ n } has infinitely many terms in each B i for i { 1 , 2 , , l } . Assume that κ B i . Therefore, Γ κ B i + 1 and we select a subsequence { κ n ( k ) } of { κ n } with κ n ( k ) B i 1 (by the above-mentioned comment, this subsequence exists). By using the contractive condition, we have
ϖ ( Γ κ , κ ) 2 s q ϖ ( Γ κ , Γ κ n ( k ) ) θ max ϖ ( κ , κ n ( k ) ) , ϖ ( κ n ( k ) , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( κ n ( k ) , Γ κ n ( k ) ) ϖ ( κ , κ n ( k ) ) , ϖ ( κ n ( k ) , Γ κ n ( k ) ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , κ n ( k ) ) , ϖ ( κ , Γ κ n ( k ) ) + ϖ ( κ n ( k ) , Γ κ ) 4 s ,
taking the limit as k and using (12), we can get
ϖ ( Γ κ , κ ) θ max ϖ ( κ , κ ) , ϖ ( κ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( κ , κ ) ϖ ( κ , κ ) , ϖ ( κ , κ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , κ ) , ϖ ( κ , κ ) + ϖ ( κ , Γ κ ) 4 s = θ ( max 0 , ϖ ( κ , Γ κ ) , 0 , 0 , ϖ ( κ , Γ κ ) 4 s ) = θ ( ϖ ( κ , Γ κ ) ) ,
a contradiction, so ϖ ( κ , Γ κ ) = 0 , that is, Γ κ = κ . The cyclic character of Γ and the fact that κ Ω is a fixed point of Γ , which leads to κ i = 1 l B i .
Finally, we will demonstrate the uniqueness of the fixed point, let κ , μ i = 1 l B i be two fixed points of Γ such that κ μ and (iv) is realized. Then, we obtain that ϖ ( κ , μ ) > 0 , ϖ ( κ , κ ) 1 , ϖ ( μ , μ ) 1 and, by (3), we have
ϖ ( κ , μ ) 2 s q ϖ ( Γ κ , Γ μ ) θ max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s = θ max ϖ ( κ , μ ) , ϖ ( μ , κ ) , ϖ ( κ , κ ) ϖ ( μ , μ ) ϖ ( κ , μ ) , ϖ ( μ , μ ) [ 1 + ϖ ( κ , κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , μ ) 2 s .
Applying Remark 2, we have ϖ ( κ , κ ) = ω ( μ , μ ) = 0 ; therefore, it follows from (13) that
ϖ ( κ , μ ) θ max ϖ ( κ , μ ) , ϖ ( μ , κ ) , 0 , 0 , ϖ ( κ , μ ) 2 s = θ ( ϖ ( κ , μ ) ) < ϖ ( κ , μ ) ,
a contradiction again. Hence, ϖ ( κ , μ ) = 0 , that is, κ = μ . The proof is finished. □
To display the validity results of Theorem 2, we present two examples as follows:
Example 5.
Suppose that Ω = R is equipped with the b-metric-like mapping ϖ ( κ , μ ) = | κ | + | μ | for all κ , μ Ω with s 1 and q > 1 . Suppose that B 1 = ( , 0 ] and B 2 = [ 0 , ) and Υ = B 1 B 2 . Define Γ : Υ Υ and η : Υ × Υ [ 0 , ) by
Γ κ = 2 κ , if κ ( , 1 ) , κ 16 s q , if κ [ 1 , 0 ] , κ 3 8 s q , if κ [ 0 , 1 ] , 4 κ , if κ ( 1 , ) , and η ( κ , μ ) = κ 2 + μ 2 + 2 , if κ , μ [ 1 , 1 ] , 0 , otherwise .
In addition, define θ : [ 0 , ) [ 0 , ) by θ ( t ) = 1 4 t . Clearly, Γ ( B 1 ) B 2 and Γ ( B 2 ) B 1 .
Let κ B 1 , μ B 2 and η ( κ , Γ κ ) η ( μ , Γ μ ) 1 . Now, if κ [ 1 , 1 ] or μ [ 1 , 1 ] , then η ( κ , Γ κ ) = 0 or η ( μ , Γ μ ) = 0 . That is, η ( κ , Γ κ ) η ( μ , Γ μ ) = 0 < 1 , which is a contradiction. Hence, κ B 1 , μ B 2 and κ , μ [ 1 , 1 ] . This implies that κ [ 1 , 0 ] and μ [ 0 , 1 ] . Then,
2 s q ϖ ( Γ κ , Γ μ ) = 2 s q κ 16 s q + μ 3 8 s q = κ 8 + μ 3 4 2 × max κ 8 , μ 3 4 since a + b 2 max { a , b } , a , b R 2 × max κ 8 , μ 8 = 1 4 × max κ , μ 1 4 × ( κ + μ ) since max { a , b } a + b , a , b R = 1 4 ϖ ( κ , μ ) θ ( M ϖ ( κ , μ ) ) .
Then, the mapping Γ is a cyclic η s q -rational contractive. It is clear that, η ( 0 , Γ 0 ) 1 , and this proves the condition (ii) of Theorem 2. If η ( κ , μ ) 1 , then κ , μ [ 1 , 1 ] which leads to η ( Γ κ , Γ μ ) 1 , that is, the mapping Γ is an η-admissible. Consider a sequence { κ n } Ω such that η ( κ n , Γ κ n ) 1 and κ n κ as n . Then, we should have κ n [ 1 , 1 ] and so κ [ 1 , 1 ] , that is, η ( κ , Γ κ ) 1 . Hence, all the hypotheses of Theorem 2 are realized and Γ has a fixed point κ = 0 B 1 B 2 .
Definition 8.
Let ( Ω , d ) be a metric space, l N , B 1 , B 2 , B l closed non-empty subsets of Ω , Υ = i = 1 l B i and η : Υ × Υ [ 0 , ) be a mapping. The mapping Γ is called a cyclic η s q -rational contractive if
(a) 
Γ ( B j ) B j + 1 , j = 1 , 2 , , l , where B l + 1 = B 1 .
(b) 
For any κ B i and τ B i + 1 , i = 1 , 2 , , l , such that η ( κ , Γ κ ) η ( μ , Γ μ ) 1 , we get
2 s q d ( Γ κ , Γ μ ) θ ( N ( κ , μ ) ) ,
for all q 1 and
N ( κ , μ ) = max d ( κ , μ ) , d ( μ , Γ κ ) , d ( κ , Γ κ ) d ( μ , Γ μ ) d ( κ , μ ) , d ( μ , Γ μ ) [ 1 + d ( κ , Γ κ ) ] 1 + d ( κ , μ ) , d ( κ , Γ μ ) + d ( μ , Γ κ ) 4 s .
The following corollary follows immediately by Theorem 2 in the ordinary metric space:
Corollary 1.
Suppose that ( Ω , d ) is a complete metric space, l be a positive integer, B 1 , B 2 , B l be non-empty closed subsets of Ω , Υ = i = 1 l B i and η : Υ × Υ [ 0 , ) be a mapping. Let the mapping Γ : Υ Υ be a cyclic η s q -rational contractive such that the following conditions hold:
(i) 
a nonlinear mapping Γ is an η-admissible;
(ii) 
η ( κ , Γ κ ) 1 if there exists κ Υ ;
(iii) 
( a ) a nonlinear mapping Γ is η-continuous, or
( b ) for any sequence { κ n } in Ω and for all n 0 , if η ( κ n , κ n + 1 ) 1 and lim κ n = κ , then, η ( κ , Γ κ ) 1 . Therefore, Γ has a fixed point κ i = 1 l B i . Furthermore, if
(iv) 
κ , we get η ( κ , κ ) 1 .
Then, the uniqueness of the fixed point is realized.
If we put θ ( t ) = 1 2 t , in Theorem 2, we get the following consequence.
Corollary 2.
Consider that ( Ω , ϖ ) is a complete b-metric-like space, l is a positive integer, B 1 , B 2 , B l is nonempty ϖ-closed subsets of Ω , Υ = i = 1 l B i and η : Υ × Υ [ 0 , ) is a mapping. Let the mapping Γ : Υ Υ be a cyclic η s q -rational contractive that verifies the following hypotheses:
(i) 
Γ ( B j ) B j + 1 , j = 1 , 2 , , l , where B l + 1 = B 1 ;
(ii) 
a nonlinear mapping Γ is an η-admissible;
(iii) 
η ( κ , Γ κ ) 1 if there exists κ Υ ;
(iv) 
( a ) a nonlinear mapping Γ is η-continuous, or
( b ) for any sequence { κ n } in Ω and for all n 0 , if η ( κ n , κ n + 1 ) 1 and lim κ n = κ , then, η ( κ , Γ κ ) 1 .
(v) 
there exists h ( 0 , 1 4 ] such that η ( κ , Γ κ ) η ( μ , Γ μ ) 1
s q ϖ ( Γ κ , Γ μ ) h max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s ,
for any κ B i and μ B i + 1 , i = 1 , 2 , , l .
Therefore, Γ has a fixed point κ i = 1 l B i . Furthermore, if
(iv) 
κ , we get η ( κ , κ ) 1 .
Then, the uniqueness of the fixed point is realized.
In the line of exponential type, the following consequence holds:
Corollary 3.
Suppose that ( Ω , ϖ ) is a complete b-metric-like space, l is a positive integer, B 1 , B 2 , B l are nonempty ϖ-closed subsets of Ω , Υ = i = 1 l B i and η : Υ × Υ [ 0 , ) is a mapping. Let the mapping Γ : Υ Υ be a cyclic η s q -rational contractive that fulfills the following hypotheses:
(i) 
Γ ( B j ) B j + 1 , j = 1 , 2 , , l , , where B l + 1 = B 1 ;
(ii) 
a nonlinear mapping Γ is an η-admissible;
(iii) 
η ( κ , Γ κ ) 1 if there exists κ Υ ;
(iv) 
( a ) a nonlinear mapping Γ is η-continuous, or
( b ) for any sequence { κ n } in Ω and for all n 0 , if η ( κ n , κ n + 1 ) 1 and lim κ n = κ , then, η ( κ , Γ κ ) 1 .
(v) 
there exists h ( 0 , 1 4 ] such that
η ( κ , Γ κ ) η ( μ , Γ μ ) 1
e s q ϖ ( Γ κ , Γ μ ) h e max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s ,
for any κ B i and μ B i + 1 , i = 1 , 2 , , l , where e : [ 0 , ) [ 0 , ) is a Lebesgue-integrable mapping satisfying e ϵ > 0 for ϵ > 0 .
Therefore, Γ has a fixed point κ i = 1 l B i . Furthermore, if
(iv) 
κ , we get η ( κ , κ ) 1 .
Then, the uniqueness of the fixed point is realized.
Note that the results of Corollary 3 also hold if we take Ω = B i , i = 1 , 2 , , l , as meaning the nonlinear mapping Γ is not cyclic.
The following theorem follows immediately from Theorem 2 by taking Ω = B i , i = 1 , 2 , , l .
Theorem 3.
Let ( Ω , ϖ ) be a complete b-metric-like space, and η : Ω × Ω [ 0 , ) be a mapping. Suppose that the mapping Γ : Ω Ω is a cyclic η s q -rational contractive that fulfills the following hypotheses:
(i) 
a nonlinear mapping Γ is an η-admissible;
(ii) 
η ( κ , Γ κ ) 1 if there exists κ Υ ;
(iii) 
( a ) a nonlinear mapping Γ is η-continuous, or
( b ) for any sequence { κ n } in Ω and for all n 0 , if η ( κ n , κ n + 1 ) 1 and lim κ n = κ , then, η ( κ , Γ κ ) 1 .
Therefore, Γ has a fixed point κ i = 1 l B i . Furthermore, if
(iv) 
κ , we get η ( κ , κ ) 1 .
Then, the uniqueness of the fixed point is realized.
To illustrate the usefulness of Theorem 3, we give the following example:
Example 6.
Let Ω = R + be equipped with the metric-like mapping ω ( x , y ) = max { x , y } 2 for all κ , μ Ω with s = q = 2 . Let Γ : Ω Ω and η : Ω × Ω [ 0 , ) be defined by
Γ κ = 1 4 κ 3 , when 0 κ < 1 2 , 1 6 κ 2 , when 1 2 κ 1 , 1 20 κ , when 1 < κ 2 , 2 κ 3 + 1 , when κ > 2 , and η ( κ , μ ) = 4 , if κ , μ [ 0 , 2 ] , 0 , otherwise .
In addition, define θ : [ 0 , ) [ 0 , ) as in the cases below. Let η ( κ , Γ κ ) η ( μ , Γ μ ) 1 , then κ , μ [ 0 , 2 ] . Now, we discuss the following cases:
  • Consider 0 κ , μ < 1 2 , then
    2 s q ( ϖ ( Γ κ , Γ μ ) ) = 8 max κ 3 4 , μ 3 4 2 = 1 2 max κ 3 , μ 3 2 1 2 max κ , μ 2 = 1 2 ϖ ( κ , μ ) θ ( N ( κ , μ ) ) , where θ ( t ) = 1 2 t .
  • Consider 1 2 κ , μ 1 , then
    2 s q ( ϖ ( Γ κ , Γ μ ) ) = 8 max κ 2 6 , μ 2 6 2 = 1 8 max κ 2 , μ 2 2 1 8 max κ , μ 2 = 1 8 ϖ ( κ , μ ) θ ( N ( κ , μ ) ) , where θ ( t ) = 1 8 t .
  • Consider 1 < κ , μ 2 , then
    2 s q ( ϖ ( Γ κ , Γ μ ) ) = 8 max κ 20 , μ 20 2 = 2 25 max κ 2 , μ 2 2 2 25 max κ , μ 2 = 2 25 ϖ ( κ , μ ) θ ( N ( κ , μ ) ) , where θ ( t ) = 2 25 t .
  • Consider 0 κ < 1 2 and 1 2 μ < 1 , then
    2 s q ( ϖ ( Γ κ , Γ μ ) ) = 8 max κ 3 4 , μ 2 6 2 = 1 2 max κ 3 , 2 μ 2 3 2 1 2 ( max κ , μ ) 2 = 1 2 ϖ ( κ , μ ) θ ( N ( κ , μ ) ) , where θ ( t ) = 1 2 t .
  • Consider 0 κ < 1 2 and 1 < μ 2 , then
    2 s q ( ϖ ( Γ κ , Γ μ ) ) = 8 max κ 3 4 , μ 20 2 = 1 2 max κ 3 , μ 5 2 1 2 ( max κ , μ ) 2 = 1 2 ϖ ( κ , μ ) θ ( N ( κ , μ ) ) , where θ ( t ) = 1 2 t .
  • Consider 1 2 κ 1 and 1 < μ 2 , then
    2 s q ( ϖ ( Γ κ , Γ μ ) ) = 8 max κ 2 6 , μ 20 2 = 2 9 max κ 2 , 3 μ 10 2 2 9 ( max κ , μ ) 2 = 2 9 ϖ ( κ , μ ) θ ( N ( κ , μ ) ) , where θ ( t ) = 2 9 t .
Then, the mapping Γ is an η s q -rational contractive. As in Example 5, we can find that the hypotheses (i), (ii) and (iv) of Theorem 3 are true and the fixed point here is 0 of Γ.

4. Some Related Fixed Point on a Directed Graph

In this part, we shall consider the contractive condition (3) of Definition 6 without the function η to discuss some related fixed point in the framework of b-metric-like spaces endowed with a graph.
According to the results of Jachymski [30] in metric-like space, let ( Ω , ω ) be a metric-like space endowed with a directed graph G whose set of vertices Φ ( G ) coincides with Ω and the set of edges will be denoted by Ξ ( G ) .
The undirected graph obtained from G by ignoring the direction of edges denoted by the letter G ˘ . Actually, it will be more convenient for us to treat G ˘ as a directed graph for which the set of its edges is symmetric. Under this convention,
Ξ ( G ˘ ) = Ξ ( G ) Ξ ( G 1 ) .
If κ and μ are vertices in a graph G, then a path in G from κ to μ of length N ( N N ) is a sequence { κ i } i N = 0 of N + 1 vertices such that κ = κ , κ N = μ and ( κ n 1 , κ n ) Ξ ( G ) for i = 1 , , N . If there is a path between any two vertices, then a graph G is called connected and G is weakly connected if G ˘ is connected.
The first work in this direction was initiated by Jachymski [30] 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.
Definition 9
([30]). It is said that a nonlinear mapping Γ : Ω Ω is G-contraction if Γ preserves edges of G, i.e.,
κ , μ Ω : ( κ , μ ) Ξ ( G ) ( Γ ( κ ) , Γ ( μ ) ) Ξ ( G )
and Γ decreases weights of edges of G as for all κ , μ Ω , there exists β ( 0 , 1 ] , such that
( κ , μ ) Ξ ( G ) ω ( Γ ( κ ) , Γ ( μ ) ) β ω ( κ , μ ) .
Definition 10
([31]). If given κ Ω and any sequence { k n } of positive integers, a mapping Γ : Ω Ω is called orbitally continuous, if
Γ k n κ μ Ω as n Γ ( Γ k n κ ) Γ μ as n .
Definition 11
([30]). A mapping Γ : Ω Ω is called G-continuous, if given κ Ω and sequence { κ n } for all n N ,
κ n κ as n and ( κ n , κ n + 1 ) Ξ ( G ) imply Γ κ n Γ κ .
Definition 12
([30]). If given κ , μ Ω and any sequence { k n } of positive integers for all n N , a mapping Γ : Ω Ω is called orbitally G-continuous if
Γ k n κ μ Ω and ( Γ k n x , Γ k n + 1 x ) Ξ ( G ) Γ ( Γ k n κ ) Γ μ as n .
Now, by generalizing the above results to a b-metric-like space, firstly, we introduce a cyclic ( s , q ) -graphic rational contractive mapping in such space as follows:
Definition 13.
Let ( Ω , ϖ ) be a b-metric-like space endowed with a graph G (with parameter s 1 ) . Let l be positive integer, B 1 , B 2 , B l be ϖ-closed subsets of Ω and Υ = i = 1 l B i . the mapping Γ is called a cyclic ( s , q ) -graphic rational contractive if
  • Γ ( B j ) B j + 1 , j = 1 , 2 , , l , where B l + 1 = B 1 ;
  • for all κ , μ Ω : ( κ , μ ) Ξ ( G ) ( Γ κ , Γ μ ) Ξ ( G ) ;
  • for any κ B i , μ B i + 1 , i = 1 , 2 , , l where B l + 1 = B 1 and ( ( κ , Γ κ ) , ( μ , Γ μ ) ) Ξ ( G ) , we get
    2 s q ϖ ( Γ κ , Γ μ ) θ ( N ( κ , μ ) ) ,
    where θ Θ , q > 1 is a constant, and
    N ( κ , μ ) = max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s .
Notice that, if we take Ω = B i , i = 1 , 2 , , l , in Definition 13, we say that Γ is ( s , q ) -graphic rational contraction.
Next, we state and prove our main theorem in this part.
Theorem 4.
Let ( Ω , ϖ ) be a complete b-metric-like space endowed with a graph G . Let l be a positive integer, B 1 , B 2 , B l be nonempty ϖ-closed subsets of Ω , Υ = i = 1 l B i and the mapping Γ : Υ Υ be a cyclic ( s , q ) -graphic rational contractive that fulfills the following hypotheses:
(i) 
( κ , Γ κ ) Ξ ( G ) , if there exists κ Ω ;
(ii) 
( a ) the nonlinear mapping Γ is orbitally G-continuous, or
( b ) for any sequence { κ n } in Ω , if lim n κ n = κ , then ( κ n , κ n + 1 ) Ξ ( G ) .
Then, there exists a unique fixed point κ i = 1 l B i of Γ .
Proof. 
Consider that η : Υ × Υ [ 0 , + ) is a mapping defined by
η ( κ , μ ) = 1 , if ( κ , μ ) E ( G ) , 0 , otherwise .
We shall prove that Γ is η -admissible. If η ( κ , μ ) 1 , then ( κ , μ ) Ξ ( G ) . As a mapping Γ is a cyclic ( s , q ) -graphic rational contractive, we get ( Γ κ , Γ μ ) Ξ ( G ) . That is, η ( Γ κ , Γ μ ) 1 . Thus, Γ is an η -admissible mapping. Suppose that Γ is G-continuous on Ω , which means that
lim n κ n = κ and ( κ n , κ n + 1 ) Ξ ( G ) for all n N imply lim n Γ κ n = Γ κ .
This yields
lim n κ n = κ and η ( κ n , κ n + 1 ) 1 for all n N imply lim n Γ κ n = Γ κ ,
which tells us that Γ is η -continuous on Ω . By condition (i), there exists κ Ω such that ( κ , Γ κ ) Ξ ( G ) . That is, η ( κ , Γ κ ) 1 .
Let κ B i and μ B i + 1 where η ( κ , Γ κ ) η ( μ , Γ μ ) 1 . Then, κ B i and μ B i + 1 where ( κ , Γ κ ) Ξ ( G ) and ( μ , Γ μ ) Ξ ( G ) .
Now, since Γ is a cyclic ( s , q ) -graphic rational contractive, we get
2 s q ϖ ( Γ κ , Γ μ ) θ ( N ( κ , μ ) ) .
Hence, Γ is a cyclic η s q -rational contractive mapping. Assume that { κ n } Ω is a sequence that satisfies lim n κ n = κ and η ( κ n , κ n + 1 ) 1 . Therefore, ( κ n + 1 , κ ) Ξ ( G ) and then, from condition (ii), we have ( κ , Γ κ ) Ξ ( G ) . That is, η ( κ , Γ κ ) 1 . Furthermore, sine Ξ ( G ) , we have η ( κ , κ ) = 1 for all κ Ω . Thus, all hypotheses of Theorem 2 are verified and Γ has a unique fixed point in Υ = i = 1 l B i . This ends the proof. □
Finally, we state some consequences for Theorem 4: If in Theorem 4, we put θ ( t ) = t 2 , then we state the following consequence.
Corollary 4.
Suppose that ( Ω , ϖ ) is a complete b-metric-like space endowed with a graph G, l is a positive integer, B 1 , B 2 , B l be nonempty ϖ-closed subsets of Ω , Υ = i = 1 q B i and η : Υ × Υ [ 0 , ) is a nonlinear mapping. Consider that Γ : Υ Υ is an operator satisfying the following hypotheses:
(i) 
Γ ( B j ) B j + 1 , j = 1 , 2 , , l , where B l + 1 = B 1 ;
(ii) 
( Γ κ , Γ μ ) Ξ ( G ) , if ( κ , μ ) Ξ ( G ) , for all κ , μ Υ ;
(iii) 
( κ , Γ κ ) Ξ ( G ) , if there exists κ Ω ;
(iv) 
(a) the nonlinear mapping Γ is orbitally G-continuous, or
(b) for any sequence { κ n } in Ω , if lim n κ n = κ , and ( κ n , κ n + 1 ) Ξ ( G ) , then ( κ , Γ κ ) Ξ ( G ) ;
(v) 
there exists h ( 0 , 1 4 ] such that ( κ , Γ κ ) ( μ , Γ μ ) Ξ ( G )
ϖ ( Γ κ , Γ μ ) h max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s ,
for any κ B i , μ B i + 1 , i = 1 , 2 , , l , where B l + 1 = B 1 .
Then, Γ has a unique fixed point κ i = 1 l B i .
If in Theorem 4, we take B i = X , then, we have the following theorem.
Theorem 5.
Let ( Ω , ϖ ) be a complete b-metric-like space endowed with a graph G . Consider the mapping Γ : Υ Υ is a cyclic ( s , q ) -graphic rational contractive that fulfills the following hypotheses:
(i) 
( Γ κ , Γ μ ) Ξ ( G ) , if ( κ , μ ) Ξ ( G ) , for all κ , μ Υ ;
(ii) 
( κ , Γ κ ) Ξ ( G ) , if there exists κ Ω ;
(iii) 
(a) the nonlinear mapping Γ is orbitally G-continuous, or
(b) or any sequence { κ n } in Ω , if lim n κ n = κ , then ( κ n , κ n + 1 ) Ξ ( G ) .
Then, Γ has a unique fixed point.
In the direction of integral type, we can state the following result:
Corollary 5.
Let ( Ω , ϖ ) be a complete b-metric-like space, l be a positive integer, B 1 , B 2 , B l be nonempty ϖ-closed subsets of Ω , Υ = i = 1 l B i and η : Υ × Υ [ 0 , ) be a mapping. Let Γ : Υ Υ be an operator satisfying the following hypotheses:
(i) 
Γ ( B j ) B j + 1 , j = 1 , 2 , , l , where B l + 1 = B 1 ;
(ii) 
( Γ κ , Γ μ ) Ξ ( G ) , if ( κ , μ ) Ξ ( G ) , for all κ , μ Υ ;
(iii) 
there exists κ Υ such that ( κ , Γ κ ) 1 ;
(iv) 
( 1 ) either Γ is orbitally G-continuous, or
( 2 ) for any sequence { κ n } in Ω with η ( κ n , κ n + 1 ) 1 for all n 0 and lim n κ n = κ , then ( κ , Γ κ ) Ξ ( G ) .
(v) 
there exists h ( 0 , 1 4 ] such that
( κ , Γ κ ) ( μ , Γ μ ) Ξ ( G )
0 s q ϖ ( Γ κ , Γ μ ) φ ( t ) d t h 0 max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s φ ( t ) d t ,
for any κ B i and μ B i + 1 , i = 1 , 2 , , l , where φ : [ 0 , ) [ 0 , ) is a Lebesgue-integrable mapping satisfying 0 ϵ φ ( t ) d t > 0 for ϵ > 0 .
Then, Γ has a unique fixed point κ i = 1 l B i .

5. The Analytical Solution of Fredholm Integral Equation of the Second Kind

This part shows the important applications of our theoretical results. Here, we shall find the existence of solution for the following Fredholm integral equation:
κ ( α ) = 0 A ( α , β ) σ ( β , κ ( β ) ) d β , ( α , β ) [ 0 , A ] 2 ,
where : [ 0 , A ] × [ 0 , A ] [ 0 , ) and σ : [ 0 , A ] × R R are two continuous functions.
Assume that Ω = C ( [ 0 , A ] , R ) is the set of real continuous functions on [ 0 , A ] for A > 0 equipped with
ϖ ( κ , μ ) = max α [ 0 , A ] κ ( α ) + μ ( α ) m , a l l κ , μ Ω ,
where q > 1 and m > 1 . It is clear that, with a coefficient s = 2 m 1 , ( Ω , ϖ ) is a complete b-metric- like space.
Suppose that Π : Ω × Ω R is a function with the following assumptions:
  • Π ( κ , μ ) 0 Π ( Γ κ , Γ μ ) 0 ,
  • Π ( κ , Γ κ ) 0 , if there exists κ Ω ,
  • for all n N , if { κ n } is a sequence in Ω such that Π ( κ n , κ n + 1 ) 0 and lim n κ n = κ , then Π ( κ , Γ κ ) 0 , where
    Γ κ ( α ) = 0 A ( α , β ) σ ( β , κ ( β ) ) d β , for all α [ 0 , A ] .
Let ( a , c ) Ω × Ω , ( a , c ) R 2 such that
a a ( α ) c ( α ) c , for all α [ 0 , A ] .
Assume that, for all α [ 0 , A ] , we have
a ( α ) 0 A ( α , β ) σ ( β , c ( β ) ) d β
and
c ( α ) 0 A ( α , β ) σ ( β , a ( β ) ) d β .
Let, for all α [ 0 , A ] , σ ( α , . ) be a decreasing function, that is,
κ , μ R , κ μ σ ( α , κ ) σ ( α , μ ) .
Consider
sup α [ 0 , A ] 0 A ( α , β ) d β 1 .
In addition, consider, β [ 0 , A ] , κ , μ R with ( κ c and μ a ) or ( κ a and μ c ) and Π ( μ , Γ μ ) 1 , Π ( κ , Γ κ ) 1 , we have
σ ( β , κ ) + σ ( β , μ ) 1 8 s 3 1 m κ ( α ) + μ ( α ) ,
with a parameter s 1 and for positive integer m 2 . Now, our main theorem of this section becomes valid for viewing.
Theorem 6.
Problem (14) has a solution { κ Ω : a κ ( α ) c for all α [ 0 , A ] } , provided that the hypotheses (15 ) ( 20) hold.
Proof. 
Define closed subsets of Ω , Q 1 ( α ) and Q 2 ( α ) for all α [ 0 , A ] by
Q 1 = { κ Ω : κ c } ,
and
Q 2 = { κ Ω : κ a } .
Consider the operator Γ : Ω Ω defined by
Γ κ ( α ) = 0 A ( α , β ) σ ( β , κ ( β ) ) d β , for all α [ 0 , A ] .
Let us show that Γ is a cyclic mapping, i.e.,
Γ ( Q 1 ) Q 2 and Γ ( Q 2 ) Q 1 .
Consider κ Q 1 , that is,
κ ( α ) c ( α ) , for all α [ 0 , A ] .
Applying the condition (18), since ( α , β ) 0 and σ ( β , κ ( β ) ) non-increasing for all α , β [ 0 , A ] , one can write
( α , β ) σ ( β , κ ( β ) ) ( α , β ) σ ( β , c ( β ) ) for all α , β [ 0 , A ] .
Integrating for β yields
0 A ( α , β ) σ ( β , κ ( β ) ) d β 0 A ( α , β ) σ ( β , c ( β ) ) d β .
Using (16), we can get
0 A ( α , β ) σ ( β , κ ( β ) ) d β 0 A ( α , β ) σ ( β , c ( β ) ) d β a ( α ) ,
for all α [ 0 , A ] . Then, we have Γ κ Q 2 .
Similarly, κ Q 2 , that is
κ ( β ) a ( β ) , for all β [ 0 , A ] .
By condition (18), since ( α , β ) 0 for all α , β [ 0 , A ] , it follows that
( α , β ) σ ( β , κ ( β ) ) ( α , β ) σ ( β , a ( β ) ) for all α , β [ 0 , A ] .
Integrating for β and applying hypothesis (17), we deduce that
0 A ( α , β ) σ ( β , κ ( β ) ) d β 0 A ( α , β ) σ ( β , a ( β ) ) d β c ( α )
for all α [ 0 , A ] . Then, we obtain Γ κ Q 2 . Therefore, (21) holds.
Now, let ( κ , μ ) Q 1 × Q 2 , that is, for all α [ 0 , A ] ,
κ ( α ) c ( α ) , μ ( α ) a ( α ) .
This yields by condition (15) that for all α [ 0 , A ] ,
κ ( α ) c , μ ( α ) a .
Let κ Q 1 and μ Q 2 , where Π ( μ , Γ μ ) 0 and Π ( κ , Γ κ ) 0 . Applying (19), (20) and taking q = 2 , we can write
2 s 2 ϖ ( Γ κ ( α ) , Γ μ ( α ) ) = 2 s 2 Γ κ ( α ) + Γ μ ( α ) m = 2 s 2 0 A ( α , β ) σ ( β , κ ( β ) ) d β + 0 A ( α , β ) σ ( β , μ ( β ) ) d β m 2 s 2 0 A ( α , β ) σ ( β , κ ( β ) ) + σ ( β , μ ( β ) ) d β m 2 s 2 0 A ( α , β ) d β × 1 8 s 3 1 m κ ( α ) + μ ( α ) m 1 m m 2 s 2 × 1 8 s 3 ϖ 1 m ( κ ( α ) , μ ( α ) ) m 1 4 s ϖ ( κ ( α ) , μ ( α ) ) = 1 4 s ϖ ( κ , μ ) θ ( N ( κ , μ ) ) .
By a similar manner, we can prove that the above inequality holds if ( κ , μ ) Q 2 × Q 1 , where Π ( μ , Γ μ ) 0 and Π ( κ , Γ κ ) 0 .
Now, if we define η : Ω × Ω [ 0 , ) by
η ( κ , μ ) = 1 , if Π ( κ , μ ) 0 , 0 , otherwise .
Then, κ B i , μ B i + 1 , i = 1 , 2 and η ( κ , Γ κ ) η ( μ , Γ μ ) 1
2 s q ϖ ( Γ κ , Γ μ ) θ max ϖ ( κ , μ ) , ϖ ( μ , Γ κ ) , ϖ ( κ , Γ κ ) ϖ ( μ , Γ μ ) ϖ ( κ , μ ) , ϖ ( μ , Γ μ ) [ 1 + ϖ ( κ , Γ κ ) ] 1 + ϖ ( κ , μ ) , ϖ ( κ , Γ μ ) + ϖ ( μ , Γ κ ) 4 s
with θ = 1 4 s . That is, Γ is a cyclic η s q -rational contractive mapping. Hence, all conditions of Theorem 2 are satisfied and Γ has a fixed point ν in
Q 1 Q 2 = { κ C ( [ 0 , A ] , R ) : a κ ( α ) c , for all α [ 0 , A ] } .
That is, ν Q 1 Q 2 is a unique solution to problem (14). □
To demonstrate the requirements hypotheses of Theorem 6, we present the following example:
Example 7.
Under the same distance in this section, suppose that ( Ω , ϖ ) is a complete b-metric-like space and denote the set of real continuous functions on [ 0 , 1 ] by C ( Ω , [ 0 , 1 ] ) . Assume that the following problem:
κ ( α ) = 1 4 0 1 α β κ ( β ) 64 + β d β , for all β [ 0 , 1 ] .
By comparing (22) and (14), we deduce that A = 1 ,
( α , β ) = 1 2 α β and σ ( β , κ ( β ) ) = κ ( β ) 2 ( 64 + β ) .
Let a ( α ) = 1 8 α and c ( α ) = 2 α , for all α [ 0 , 1 ] . It is clear that
a a ( α ) = 1 8 α 2 α = c ( α ) c ,
where ( a , c ) Ω × Ω and ( a , c ) R 2 .
In addition, for all α [ 0 , 1 ] , we can write
a ( α ) = 1 8 α 1 4 0 1 α β c ( β ) 64 + β d β = 0 1 ( α , β ) σ ( β , c ( β ) ) d β
and
c ( α ) = 2 α 1 4 0 1 α β a ( β ) 64 + β d β = 0 1 ( α , β ) σ ( β , a ( β ) ) d β .
Again, for all β [ 0 , 1 ] , we observe that the function σ ( β , κ ( β ) ) is decreasing and
sup t [ 0 , 1 ] 0 1 ( α , β ) d β = 1 2 sup t [ 0 , 1 ] 0 1 α β d β 1 .
In addition, suppose that, for each β [ 0 , 1 ] , κ , μ R with ( κ c and μ a ) or ( μ a and μ c ) and Π ( μ , Γ μ ) 1 , Π ( κ , Γ κ ) 1 , we have
σ ( β , κ ) + σ ( β , μ ) = κ ( β ) 2 ( 64 + β ) + μ ( β ) 2 ( 64 + β ) = 1 2 ( 64 + β ) κ ( β ) + μ ( β ) 1 64 κ ( β ) + μ ( β ) 1 64 ( κ ( β ) + μ ( β ) ) 1 8 × 2 3 1 2 κ ( α ) + μ ( α ) = 1 8 s 3 1 m κ ( α ) + μ ( α ) ,
where s = m = 2 . Therefore, all assumptions (15 ) ( 20) of Theorem 6 are verified. Hence, the problem (22) has a unique solution { κ Ω : κ ( α ) [ 1 8 α , 2 α ] } .

6. Conclusions

The analytical solution of nonlinear integral equations by using a cyclic contractive mapping is an important application in fixed point theory, where they have attracted the interest of a lot of authors in academic research. Continuing in this direction, this paper discusses some common fixed point theorems for cyclic η s q -rational contractive mappings in b-metric-like spaces. The obtained results here unify, improve the results of [24,28] and generalize various comparable known results. After that, we discuss some fixed point theorem in the framework of b-metric-like spaces endowed with a graph. Moreover, some pivotal examples are given to support our results as well as the existence of the solution of a nonlinear integral equation is presented as an application.

Author Contributions

H.A.H. Hammad contributed in conceptualization, investigation,methodology, validation and writing the original draft; M.D.l.S. contributed in funding acquisition, methodology, project administration, supervision, validation, visualization, writing and editing. Both Authors agree and approve the final version of this manuscript.

Funding

This work was supported in part by the Basque Government under Grant IT1207-19.

Acknowledgments

The authors are grateful to the Spanish Government and the European Commission for Grant IT1207-19.

Conflicts of Interest

The authors declare that they have no competing interests concerning the publication of this article.

References

  1. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Kannan, R. Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60, 71–76. [Google Scholar]
  3. Ran, A.C.M.; Reuring, M.C.B. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132, 1435–1443. [Google Scholar] [CrossRef]
  4. Kirk, W.A.; Srinavasan, P.S.; Veeramani, P. Fixed points for mapping satisfying cyclical contractive conditions. Fixed Point Theory 2003, 4, 79–89. [Google Scholar]
  5. Shatanawi, W.; Postolache, M. Common fixed point results for mappings under nonlinear contraction of cyclic form in ordered metric spaces. Fixed Point Theory Appl. 2013, 2013, 60. [Google Scholar] [CrossRef] [Green Version]
  6. Samet, P.; Vetro, C.; Vetro, P. Fixed point theorem for (α,ψ)-contractive type mapping. Nonlinear Anal. 2012, 75, 2154–2165. [Google Scholar] [CrossRef]
  7. Bakhtin, I.A. The contraction mapping principle in quasi-metric spaces. Funct. Anal. Ulianowsk Gos. Ped. Inst. 1989, 298, 26–37. [Google Scholar]
  8. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  9. Yamaod, O.; Sintunavarat, W.; Je Cho, Y. Existence of a common solution for a system of nonlinear integral equations via fixed point methods in b-metric spaces. Open Math. 2017, 14, 128–145. [Google Scholar] [CrossRef]
  10. Aydi, H. α-implicit contractive pair of mappings on quasi b-metric spaces and an application to integral equations. J. Nonlinear Convex Anal. 2016, 17, 2417–2433. [Google Scholar]
  11. Mustafa, Z.; Roshan, J.R.; Parvaneh, V.; Kadelburg, Z. Some common fixed point results in ordered b-metric spaces. J. Inequal. Appl. 2013, 2013, 562. [Google Scholar] [CrossRef]
  12. Sarwar, M.; Rahman, M. Fixed point theorems for Ciric’s and generalized contractions in b-metric spaces. Int. J. Anal. Appl. 2015, 7, 70–78. [Google Scholar]
  13. Pacurar, M. Sequences of almost contractions and fixed points in b-metric spaces. Carpathian J. Math. 2010, 48, 125–137. [Google Scholar]
  14. 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, 262, 725–737. [Google Scholar]
  15. Roshan, J.R.; Parvaneh, V.; Sedghi, S.; Shobkolaei, N.; Shatanawi, W. Common fixed points of almost generalized (ψ,ϕ)-contractive mappings in ordered b-metric spaces. Fixed Point Theory Appl. 2013, 2013, 159. [Google Scholar] [CrossRef]
  16. 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]
  17. Alghmandi, M.A.; Hussain, N.; Salimi, P. Fixed point and coupled fixed point theorems on b-metric-like spaces. J. Inequal. Appl. 2013, 402, 1–25. [Google Scholar]
  18. Aydi, H.; Felhi, A.; Sahmim, S. Common fixed points via implicit contractions on b-metric-like spaces. J. Nonlinear Sci. Appl. 2017, 10, 1524–1537. [Google Scholar] [CrossRef]
  19. Nashine, H.K.; Kadelburg, Z. Existence of solutions of Cantilever Beam Problem via α-β-FG-contractions in b-metric-like spaces. Filomat 2017, 31, 3057–3074. [Google Scholar] [CrossRef]
  20. Aydi, H.; Felhi, A.; Sahmim, S. Cirić-Berinde Fixed point theorems for multi-valued mappings on α complete metric-like spaces. Filomat 2017, 31, 3727–3740. [Google Scholar] [CrossRef]
  21. Aydi, H.; Karapinar, E. Fixed point results for generalized α-ψ-contractions in metric-like spaces and applications. Electron. J. Diff. Equa. 2015, 133, 1–15. [Google Scholar]
  22. Alsulami, H.; Gülyaz, S.; Karapinar, E.; Erhan, I.M. An Ulam stability result on quasi-b-metric-like spaces. Open Math. 2016, 14, 1–15. [Google Scholar] [CrossRef]
  23. Gholizadeh, L.; Karapinar, E. Best proximity point results in dislocated metric spaces via R-functions. Revista de la Real Academia de Ciencias Exactas Fisicas y Naturales Serie A Matematicas 2018, 112, 1391–1407. [Google Scholar] [CrossRef]
  24. Hammad, H.A.; De la Sen, M. Solution of nonlinear integral equation via fixed point of cyclic αLψ-rational contraction mappings in metric-like spaces. Bull. Braz. Math. Soc. New Ser. 2019, 347. [Google Scholar] [CrossRef]
  25. Hammad, H.A.; De la Sen, M. Generalized contractive mappings and related results in b-metric like spaces with an application. Symmetry 2019, 11, 667. [Google Scholar] [CrossRef]
  26. Aydi, H.; Felhi, A.; Sahmim, S. On common fixed points for (α,ϕ)-contractions and generalized cyclic contractions in b-metric-like spaces and consequences. J. Nonlinear Sci. Appl. 2016, 9, 2492–2510. [Google Scholar] [CrossRef]
  27. Zoto, Z.; Radenović, S.; Ansari, A.H. On some fixed point results for (s,p,α)-contractive mappings in b-metric-like spaces and applications to integral equations. Open Math. 2018, 16, 235–249. [Google Scholar] [CrossRef]
  28. Zoto, K.; Rhoades, B.E.; Radenović, S. Common fixed point theorems for a class of (s,q)-contractive mappings in b-metric-like spaces snd application to integral equations. Math. Slovaca 2019, 69, 233–247. [Google Scholar] [CrossRef]
  29. Hussain, N.; Kutbi, M.A.; Salimi, P. Fixed point theory in α-complete metric spaces with applications. Abstr. Appl. Anal. 2014, 11, 280817. [Google Scholar] [CrossRef]
  30. Jachymski, J. The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 1, 1359–1373. [Google Scholar] [CrossRef]
  31. Türkoğlu, D.; Özer, O.; Fisher, B. Fixed point theorems for T-orbitally complete spaces. Mathematica 1999, 9, 211–218. [Google Scholar]

Share and Cite

MDPI and ACS Style

Hammad, H.A.; De la Sen, M. A Solution of Fredholm Integral Equation by Using the Cyclic η s q -Rational Contractive Mappings Technique in b-Metric-Like Spaces. Symmetry 2019, 11, 1184. https://doi.org/10.3390/sym11091184

AMA Style

Hammad HA, De la Sen M. A Solution of Fredholm Integral Equation by Using the Cyclic η s q -Rational Contractive Mappings Technique in b-Metric-Like Spaces. Symmetry. 2019; 11(9):1184. https://doi.org/10.3390/sym11091184

Chicago/Turabian Style

Hammad, Hasanen A., and Manuel De la Sen. 2019. "A Solution of Fredholm Integral Equation by Using the Cyclic η s q -Rational Contractive Mappings Technique in b-Metric-Like Spaces" Symmetry 11, no. 9: 1184. https://doi.org/10.3390/sym11091184

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