Next Article in Journal
Challenges in Supersymmetric Cosmology
Next Article in Special Issue
A Multistable Chaotic Jerk System with Coexisting and Hidden Attractors: Dynamical and Complexity Analysis, FPGA-Based Realization, and Chaos Stabilization Using a Robust Controller
Previous Article in Journal
Nonlocal Elasticity Response of Doubly-Curved Nanoshells
Previous Article in Special Issue
Generalized Symmetries and mCK Method Analysis of the (2+1)-Dimensional Coupled Burgers Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Hybrid Ćirić Type Graphic Υ,Λ-Contraction Mappings with Applications to Electric Circuit and Fractional Differential Equations

1
Department of Mathematics, International Islamic University, H-10, Islamabad 44000, Pakistan
2
Department of Mathematics, Taiz University, Taiz P.O.Box 6803, Yemen
3
Nonlinear Analysis Research Group, Ton Duc Thang University, Ho Chi Minh City 758307, Vietnam
4
Faculty of Mathematics and Statistics, Ton Duc Thang University, Ho Chi Minh City 758307, Vietnam
5
Institute of Research and Development of Processes, University of the Basque Country, Leioa (Bizkaia), 48940 Leioa, Spain
*
Authors to whom correspondence should be addressed.
Symmetry 2020, 12(3), 467; https://doi.org/10.3390/sym12030467
Submission received: 19 January 2020 / Revised: 5 March 2020 / Accepted: 8 March 2020 / Published: 16 March 2020
(This article belongs to the Special Issue Advances in Nonlinear, Discrete, Continuous and Hamiltonian Systems)

Abstract

:
In this paper, we initiate the notion of Ćirić type rational graphic Υ , Λ -contraction pair mappings and provide some new related common fixed point results on partial b-metric spaces endowed with a directed graph G. We also give examples to illustrate our main results. Moreover, we present some applications on electric circuit equations and fractional differential equations.

1. Introduction and Preliminaries

The Banach principle [1] has been improved and generalized by several researchers for different kinds of contractions in various spaces. One of these generalizations corresponding to an Υ , Λ -contraction, has been established by [2]. Recently, Ameer et al. [3] introduced common fixed point results for generalized multivalued ( α K , Υ , Λ ) -contractions in α K -complete partial b-metric spaces. Ameer et al. [4,5] introduced common fixed point results for generalized multivalued ( Υ , Λ ) - contractions in complete metric, b-metric spaces. Ameer et al. [6] initiated the notion of rational Υ , Λ , -contractive pair of mappings (where ℜ is a binary relation) and established new common fixed point results for these mappings in complete metric spaces. On the other hand, Bakhtin [7] investigated the concept of b-metric spaces. Subsequently, Czerwik [8] initiated the study of fixed point results in b-metric spaces and proved an analogue of Banach’s fixed point theorem. Matthews [9] gave the concept of a partial metric space and proved and Banach fixed point result. Shukla [10] extended the notion of a partial metric to a partial b-metric. Afterwards, numerous research articles have been dealt with fixed point theorems for various classes of single-valued and multi-valued operators in b-metric and partial b-metric spaces (see, for example, [3,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]). In this article, we shall investigate fixed points of Ćirić type rational graphic Υ , Λ -contraction pair mappings on partial b-metric spaces endowed with a directed graph G.
Bakhtin [7] and Czerwik [8] generalized the notion of a metric as follows:
Definition 1
([7,8]). Let M be a nonempty set and s 1 be a real number. A mapping d : M × M [ 0 , ) is said to be a b-metric if for all ζ 1 , ζ 2 , σ M ,
( b 1 )
d ( ζ 1 , ζ 2 ) = 0 if and only if ζ 1 = ζ 2 ;
( b 2 )
d ( ζ 1 , ζ 2 ) = d ( ζ 2 , ζ 1 ) ;
( b 3 )
d ( ζ 1 , ζ 2 ) s [ d ( ζ 1 , σ ) + d ( σ , ζ 2 ) ] .
The pair ( M , d ) is called a b-metric space (with coefficient s).
Matthews [9] generalized the notion of a metric as follows:
Definition 2
([9]). Let M be a nonempty set. A mapping P : M × M [ 0 , ) is said to be a partial metric if for all ζ 1 , ζ 2 , σ M , P satisfies following axioms;
( P 1 )
P ( ζ 1 , ζ 1 ) = P ( ζ 1 , ζ 2 ) = P ( ζ 2 , ζ 2 ) if and only if ζ 1 = ζ 2 ;
( P 2 )
P ( ζ 1 , ζ 1 ) P ( ζ 1 , ζ 2 ) ;
( P 3 )
P ( ζ 1 , ζ 2 ) = P ( ζ 2 , ζ 1 ) ;
( P 4 )
P ( ζ 1 , ζ 2 ) P ( ζ 1 , σ ) + P ( σ , ζ 2 ) P ( σ , σ ) .
The pair ( M , P ) is called a partial metric space.
Shukla [10] generalized the notion of a partial metric as follows:
Definition 3
([10]). Let M be a nonempty set and s 1 a real number. A mapping P b : M × M [ 0 , ) is said to be a partial b-metric if for all ζ 1 , ζ 2 , σ M , P b satisfies the following axioms:
( P 1 )
P b ( ζ 1 , ζ 1 ) = P b ( ζ 1 , ζ 2 ) = P b ( ζ 2 , ζ 2 ) if and only if ζ 1 = ζ 2 ;
( P 2 )
P b ( ζ 1 , ζ 1 ) P b ( ζ 1 , ζ 2 ) ;
( P 3 )
P b ( ζ 1 , ζ 2 ) = P b ( ζ 2 , ζ 1 ) ;
( P 4 )
P b ( ζ 1 , ζ 2 ) s [ P b ( ζ 1 , σ ) + P b ( σ , ζ 2 ) ] P b ( σ , σ ) .
The pair ( M , P b ) is called a partial b-metric space (with coefficient s).
Remark 1.
The self distance P b ( ζ 1 , ζ 1 ) , referring to the size or weight of ζ 1 , is a feature used to describe the amount of information contained in M.
Remark 2.
Obviously, every partial metric space is a partial b-metric space with coefficient s = 1 , and every b-metric space is a partial b-metric space with zero self-distance. However, the converse of this fact need not hold.
Definition 4
([10]). Let ( M , P b ) be a partial b-metric space with coefficient s 1 . Let { ζ n } be a sequence in M and ζ 1 M . Then
 (i)
{ ζ n } is said to be convergent to ζ if lim n P b ( ζ n , ζ ) = P b ( ζ , ζ ) .
 (ii)
{ ζ n } is said to be Cauchy sequence if lim n , m P b ( ζ n , ζ m ) exists and is finite.
 (iii)
( M , P b ) is said to be complete if every Cauchy sequence is convergent in M.
Lemma 1
([10]). Let ( ω , P b , K ) be a partial b-metric space.
(1)
Every Cauchy sequence in ( ω , d P b ) is also Cauchy in ( ω , P b , K ) and vice versa;
(2)
( ω , P b , K ) is complete if and only if ( ω , d P b ) is a complete metric space;
(3)
The sequence ζ n is convergent to some v ω if and only if
lim n P b ( ζ n , v ) = P b ( v , v ) = lim n , m P b ( ζ n , ζ m ) .
Denote a metric space by MS.
Definition 5
([27]). Let ( M , d ) be a MS. T : M M is called an F-contraction self-mapping, if there exist τ > 0 and F ϝ so that
ζ , η M , d ( T ζ , T η ) > 0 τ + F d T ζ , T η F d ζ , η ,
where ϝ is the family of functions F : 0 , , such that
(F1) F is strictly increasing;
(F2) For each sequence { α n } n = 1 0 , ,
lim n F α n = lim n α n = 0 ;
(F3) There exists γ ( 0 , 1 ) such that lim t 0 + t γ F ( t ) = 0 .
Theorem 1
([27]). Let ( M , d ) be a complete MS and T : M M be an F- contraction mapping. Then T possesses a unique fixed point ζ M .
Piri and Kumam [28] modified the set of functions F ϝ .
Definition 6
([28]). Let ( M , d ) be a MS. T : M M is said to be a F-contraction self-mapping if there exist F F and τ > 0 such that
ζ , η M , d ( T ζ , T η ) > 0 τ + F d T ζ , T η F d ζ , η ,
where F is the set of functions F : 0 , , satisfying the following conditions:
(F1) F is strictly increasing, i.e., for all ζ , η R + with ζ < η , F ( ζ ) < F ( η ) ;
(F2) For each positive real sequence { α n } n = 1 ,
lim n F α n = if and only if lim n α n = 0 ;
(F3) F is continuous.
On the other hand, recently Jleli and Samet [29,30] initiated the concept of θ -contractions.
Definition 7.
Let M , d be a MS. A mapping T : M M is said to be a θ-contraction, if there exist θ Θ and a real constant k 0 , 1 such that
ζ , η M , d ( T ζ , T η ) 0 θ d ( T ζ , T η ) θ d ( ζ , η k ,
where Θ is the set of functions θ : 0 , 1 , such that:
( Θ 1 ) θ is non-decreasing;
( Θ 2 ) for each positive sequence t n ,
lim n θ ( t n ) = 1 if and only if lim n t n = 0 + ;
( Θ 3 ) there exist r 0 , 1 and 0 , such that lim t 0 + θ t 1 t r = ;
( Θ 4 ) θ is continuous.
The main result of Jleli and Samet [29] is
Theorem 2
([29]). Let M , d be a complete MS. Let T : M M be a θ-contraction mapping. Then there exists a unique fixed point of T.
As in [2], the family of functions θ : 0 , 1 , verifies:
( Θ 1 ) θ is non-decreasing;
( Θ 2 ) for each positive sequence t n , inf t n 0 , θ ( t n ) = 1 ;
( Θ 3 ) θ is continuous, is denoted by Ξ .
Theorem 3
([2]). Let T : ω ω be a self-mapping on the complete MS ω , d . The following statements are equivalent:
(i) T is a θ-contraction mapping with θ Ξ ;
( i i ) T is an F-contraction mapping with F F .
As in [31], a function Υ : 0 , 0 , satisfies:
(i) Υ is monotone increasing, that is, t 1 < t 2 Υ t 1 Υ t 2 ;
( i i ) lim n Υ n ( t ) = 0 for all t > 0 , where Υ n stands for the nth iterate of Υ , is called a comparison function. Clearly, if Υ is a comparison function, then Υ ( t ) < t for each t > 0 .
Lemma 2
([2]). Let Λ : 0 , 0 , be a continuous non-decreasing function such that inf T 0 , ϕ ( T ) = 0 . Let t k k be a positive sequence. So
lim k Λ ( t k ) = 0 if and only if lim k t k = 0 .
Example 1
([31]). The following functions Υ : 0 , 0 , are comparison functions:
(i) Υ ( t ) = a t with 0 < a < 1 , for each t > 0 ;
( i i ) Υ ( t ) = t t + 1 , for each t > 0 .
Denote by Φ the set of functions Λ : 0 , 0 , verifying:
( Φ 1 ) Λ is non-decreasing;
( Φ 2 ) for each positive sequence t n ,
lim n Λ ( t n ) = 0 if and only if lim n t n = 0 ;
( Φ 3 ) Λ is continuous. Liu et al. [2] initiated the concept of ( Υ , Λ )-Suzuki contractions.
Definition 8.
Let M , d be a MS. A mapping T : M M is said to be a Υ , Λ -Suzuki contraction, if there exist comparison functions Υ and Λ Φ such that, for all ζ , η M with T ζ T η ,
1 2 d ζ , T ζ < d ζ , η Λ d T ζ , T η Υ Λ U ζ , η ,
where
U ζ , η = max d ζ , η , d ζ , T ζ , d η , T η , d ζ , T η + d η , T ζ 2 .
Moreover, let M , P b be a partial metric space, and Δ denotes the diagonal of M × M . Let G be a directed graph, which has no parallel edges such that the set V ( G ) of its vertices coincides with M, and E ( G ) M × M contains all loops (i.e., Δ E ( G ) ). Hence, G is identify by the pair ( V ( G ) , E ( G ) ). Denote by G 1 the graph obtained from G by reversing the direction of its edges. That is,
E G 1 = ζ , η M × M : η , ζ E ( G ) .
It is more adaptable to treat G a directed graph for which the set of its edges is symmetric. Under this convention, we have that
E ( G ) = E ( G ) E G 1 .
In V ( G ) , we define the relation R in the following way: for ζ , η V ( G ) , we have ζ R η if and only if there is a path in G from ζ to η . If G is such that E ( G ) is symmetric, then for ζ V ( G ) , the equivalence class ζ G in V ( G ) defined by the relation R is V ( G ζ ) . Recall that if ϕ : M M is an operator; then, by F i x ( ϕ ) we denote the set of all fixed points of ϕ . Let
M ϕ : = ζ M : ζ , ϕ ζ E ( G ) .
Property: A graph is said to satisfy property ( E ) if for any sequence ζ n in V ( G ) with ζ n ζ as n , ( ζ n , ζ n + 1 ) E ( G ) for n N implies that there is a subsequence ζ n ( k ) of ζ n with an edge between ζ n ( k ) and ζ for k N . Throughout this paper, G is a weighted graph such that the weight of each vertex ζ is P b ζ , η , and the weight of each edge ζ , η is P b ζ , η . Since ( M , P b ) is a partial b-metric space, the weight assigned to each vertex ζ need not to be zero, and whenever a zero weight is assigned to some edge ζ , η , it reduces to a loop ζ , ζ .

2. Main Results

We start with the following definition.
Definition 9.
Let M , P b be a partial b-metric space endowed with a directed graph G , s > 1 and ϕ , ψ be self-mappings of M. We say that the pair ϕ , ψ is a Ćirić type rational graphic Υ , Λ -contraction pair, if:
(1) For every vertex u G , we have ( u , ϕ u ) , ( u , ψ u ) E ( G ) ;
(2) There exists a comparison function Υ and Λ Φ such that for all ζ 1 , ζ 2 M , with ζ 1 , ζ 2 E ( G ) and ϕ ζ 1 ψ ζ 2 , we have
Λ s P b ϕ ζ 1 , ψ ζ 2 Υ Λ A s ζ 1 , ζ 2 ,
where,
A s ζ 1 , ζ 2 = max P b ζ 1 , ζ 2 , P b ζ 1 , ϕ ζ 1 , P b ζ 2 , ψ ζ 2 , P b ζ 1 , ψ ζ 2 + P b ϕ ζ 1 , ζ 2 2 s 2 , P b ψ ζ 2 , ζ 2 1 + P b ζ 1 , ϕ ζ 1 1 + P b ζ 1 , ζ 2 . .
Remark 3.
If ϕ = ψ , then we say that ϕ is a Ćirić type rational graphic Υ , Λ -contraction.
Our first main result is the following.
Theorem 4.
Let M , P b be a complete partial b-metric space endowed with a directed graph G. Let ϕ , ψ : M M be maps such that ϕ , ψ is a Ćirić type rational graphic Υ , Λ -contraction pair. If Υ is continuous, then the following assertions hold:
(a) F i x ( ϕ ) or F i x ( ψ ) if and only if F i x ( ϕ ) F i x ( ψ ) ;
(b) If ζ F i x ( ϕ ) F i x ( ψ ) , then the weight assigned to the vertex ζ is 0;
(c) F i x ( ϕ ) F i x ( ψ ) , provided that G satisfies property ( E ) ;
(d) F i x ( ϕ ) F i x ( ψ ) is a complete set if and only if F i x ( ϕ ) F i x ( ψ ) is a singleton set.
Proof. 
(a) Let F i x ( ϕ ) , so there exists ζ F i x ( ϕ ) . Then there is an edge between ζ and ϕ ζ , so ( ζ , ϕ ζ ) E ( G ) . Now, we shall prove that ζ F i x ( ψ ) ; that is, the weight assigned to the edge ( ζ , ψ ζ ) is zero. Assume, on the contrary, that a non zero weight is assigned to the edge ( ζ , ψ ζ ) . As ( ζ , ψ ζ ) E ( G ) and ϕ , ψ is a Ćirić type rational graphic Υ , Λ -contraction pair, from (1), we have
Λ P b ζ , ψ ζ Λ s P b ϕ ζ , ψ ζ Υ Λ A s ζ , ζ ,
where
A s ζ , ζ = max P b ζ , ζ , P b ζ , ϕ ζ , P b ζ , ψ ζ , P b ζ , ψ ζ + P b ζ , ϕ ζ 2 s 2 , P b ζ , ψ ζ 1 + P b ζ , ϕ ζ 1 + P b ζ , ζ = max P b ζ , ζ , P b ζ , ϕ ζ , P b ζ , ψ ζ , P b ζ , ψ ζ + P b ζ , ϕ ζ 2 s 2 , P b ζ , ψ ζ 1 + P b ζ , ϕ ζ 1 + P b ζ , ζ = P b ζ , ϕ ζ .
Thus,
Λ P b ζ , ψ ζ Υ Λ P b ζ , ϕ ζ < Λ P b ζ , ϕ ζ .
It is a contradiction. Hence, the weight assigned to the edge ( ζ , ψ ζ ) is zero; that is, ζ = ψ ζ . Thus,
ζ F i x ( ϕ ) F i x ( ψ ) ,
Therefore,
F i x ( ϕ ) F i x ( ψ ) .
Conversely, let F i x ( ϕ ) F i x ( ψ ) . So there exists ζ M such that ζ F i x ( ϕ ) F i x ( ψ ) , and then ζ F i x ( ϕ ) and ζ F i x ( ψ ) . Thus, the proof of (a) is ended.
(b) Let ζ F i x ( ϕ ) F i x ( ψ ) . Suppose on the contrary that the weight assigned to the vertex ζ is nonzero. As ( ζ , ζ ) E ( G ) and ϕ , ψ is a Ćirić type rational graphic Υ , Λ -contraction pair, we get
Λ P b ζ , ζ Λ s P b ϕ ζ , ψ ζ Υ Λ A s ζ , ζ ,
where
A s ζ , ζ = max P b ζ , ζ , P b ζ , ϕ ζ , P b ζ , ψ ζ , P b ζ , ψ ζ + P b ζ , ϕ ζ 2 s 2 , P b ζ , ψ ζ 1 + P b ζ , ϕ ζ 1 + P b ζ , ζ = max P b ζ , ζ , P b ζ , ζ , P b ζ , ζ , P b ζ , ζ + P b ζ , ζ 2 s 2 , P b ζ , ζ 1 + P b ζ , ζ 1 + P b ζ , ζ = P b ζ , ζ .
It implies that
Λ P b ζ , ζ Υ Λ P b ζ , ζ < Λ P b ζ , ζ ,
which is a contradiction. Therefore, the weight assigned to the edge ζ , ζ is zero. The proof of (b) is completed.
(c) Let ζ 0 M . If ζ F i x ( ϕ ) or ζ 0 F i x ( ψ ) , then from (a) the proof is finished. Assume that ζ 0 F i x ( ϕ ) ; then ϕ ζ 0 ζ 0 . Since there is an edge between ϕ ζ 0 and ζ 0 , that is, ζ 0 , ϕ ζ 0 E ( G ) , this implies that there is ϕ ζ 0 = ζ 1 M such that ζ 0 , ζ 1 E ( G ) . Similarly, ζ 1 , ψ ζ 1 E ( G ) implies ζ 1 , ζ 2 E ( G ) . Continuing this process, we can construct the sequence ζ n M such that ζ n , ζ n + 1 E ( G ) is defined by
ϕ ζ 2 n = ζ 2 n + 1 and ζ 2 n + 2 = ψ ζ 2 n + 1 for all n N .
If the weight assigned to the edge ζ 2 m , ζ 2 m + 1 is zero for some m N , then ζ 2 m = ζ 2 m + 1 = ϕ ζ 2 m , which implies ζ 2 m F i x ( ϕ ) , and from (a), ζ 2 m F i x ( ϕ ) F i x ( ψ ) . Then there is nothing to prove. Assume that the weight assigned to the edge ζ 2 n , ζ 2 n + 1 is non zero for all n N ; that is, ζ 2 n ζ 2 n + 1 for all n N . By (1), we get
Λ P b ζ 2 n + 1 , ζ 2 n Λ s P b ζ 2 n + 1 , ζ 2 n = Λ s P b ϕ ζ 2 n , ψ ζ 2 n 1 Υ Λ max P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ϕ ζ 2 n , P b ζ 2 n 1 , ψ ζ 2 n 1 , P b ζ 2 n , ψ ζ 2 n 1 + P b ζ 2 n 1 , ϕ ζ 2 n 2 s 2 , P b ζ 2 n , ϕ ζ 2 n 1 + P b ζ 2 n 1 , ψ ζ 2 n 1 1 + P b ζ 2 n , ζ 2 n 1 = Υ Λ max P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ζ 2 n + 1 , P b ζ 2 n 1 , ζ 2 n , P b ζ 2 n , ζ 2 n + P b ζ 2 n 1 , ζ 2 n + 1 2 s 2 , P b ζ 2 n , ζ 2 n + 1 1 + P b ζ 2 n 1 , ζ 2 n 1 + P b ζ 2 n , ζ 2 n 1 Υ Λ max P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ζ 2 n + 1 , P b ζ 2 n 1 , ζ 2 n , P b ζ 2 n , ζ 2 n + P b ζ 2 n , ζ 2 n + 1 2 s , P b ζ 2 n 1 , ζ 2 n 1 + P b ζ 2 n , ζ 2 n + 1 P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ζ 2 n + 1 1 + P b ζ 2 n 1 , ζ 2 n P b ζ 2 n , ζ 2 n + 1 = Υ Λ max P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ζ 2 n + 1 , P b ζ 2 n 1 , ζ 2 n , P b ζ 2 n , ζ 2 n + P b ζ 2 n , ζ 2 n + 1 2 s 2 , P b ζ 2 n 1 , ζ 2 n 1 + P b ζ 2 n , ζ 2 n + 1 P b ζ 2 n , ζ 2 n 1 = Υ Λ max P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ζ 2 n + 1 .
If max P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ζ 2 n + 1 = P b ζ 2 n , ζ 2 n + 1 ; then, from (1) we have,
Λ P b ζ 2 n + 1 , ζ 2 n Υ Λ P b ζ 2 n , ζ 2 n + 1 < Λ P b ζ 2 n , ζ 2 n + 1 ,
which is a contradiction. Hence, max P b ζ 2 n , ζ 2 n 1 , P b ζ 2 n , ζ 2 n + 1 = P b ζ 2 n 1 , ζ 2 n and
Λ P b ζ 2 n + 1 , ζ 2 n Υ Λ P b ζ 2 n 1 , ζ 2 n , for all n N .
It yields that
Λ P b ζ 2 n + 1 , ζ 2 n < Λ P b ζ 2 n 1 , ζ 2 n , for all n N .
Due to property ( Φ 1 ), we get
P b ζ 2 n + 1 , ζ 2 n < P b ζ 2 n 1 , ζ 2 n , for all n N .
Analogously, one can find that
P b ζ 2 n + 2 , ζ 2 n + 1 < P b ζ 2 n , ζ 2 n + 1 , for all n N .
The Equations (4) and (5) yield that P b ζ 2 n + 1 , ζ 2 n is a decreasing sequence. From (5), we have
Λ P b ζ 2 n , ζ 2 n + 1 Υ Λ P b ζ 2 n , ζ 2 n + 1 Υ 2 Λ P b ζ 2 n 1 , ζ 2 n Υ 2 n Λ P b ζ 0 , ζ 1 .
Similarly, one gets
Λ P b ζ 2 n + 1 , ζ 2 n + 2 Υ Λ P b ζ 2 n + 1 , ζ 2 n + 2 Υ 2 Λ P b ζ 2 n , ζ 2 n + 1 Υ 2 n + 1 Λ P b ζ 0 , ζ 1 .
Letting n in (6) and (7), we get
0 lim n Λ P b ζ n , ζ n + 1 lim n Υ n Λ P b ζ 0 , ζ 1 = 0 ;
that is,
lim n Λ P b ζ n , ζ n + 1 = 0 .
From Φ 2 and Lemma 2, we get
lim n P b ζ n , ζ n + 1 = 0 .
Further, from ( P b 2 ) we have
lim n P b ζ n , ζ n = 0 .
We will prove that ζ n is P b -Cauchy. We argue by contradiction. Assume that there exist ε > 0 and a sequence h ^ n n = 1 and ȷ ^ n n = 1 of natural numbers such for all n N , h ^ n > ȷ ^ n > n with P b ζ h ^ n , ζ ȷ ^ n ε , P b ζ h ^ n , ζ ȷ ^ n 1 < ε . Therefore,
ε P b ζ h ^ n , ζ ȷ ^ n s P b ζ h ^ n , ζ ȷ ^ n 1 + P b ζ ȷ ^ n 1 , ζ ȷ ^ n P b ( ζ ȷ ^ n 1 , ζ ȷ ^ n 1 ) s P b ζ h ^ n , ζ ȷ ^ n 1 + P b ζ ȷ ^ n 1 , ζ ȷ ^ n
< s ε + s P b ζ ȷ ^ n 1 , ζ ȷ ^ n .
Letting n in (10), we get
ε lim n P b ζ h ^ n , ζ ȷ ^ n < s ε .
From triangular inequality, we have
P b ζ h ^ n , ζ ȷ ^ n s [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n + 1 , ζ ȷ ^ n ] P b ζ h ^ n + 1 , ζ h ^ n + 1 s [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n + 1 , ζ ȷ ^ n ] ,
and
P b ζ h ^ n + 1 , ζ ȷ ^ n s [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n , ζ ȷ ^ n ] P b ζ h ^ n , ζ h ^ n s [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n , ζ ȷ ^ n ] .
By taking upper limit as n in (12) and applying (8) together with (11),
ε lim n sup P b ζ h ^ n , ζ ȷ ^ n s lim n sup P b ζ h ^ n + 1 , ζ ȷ ^ n .
Again, by taking the upper limit as n in (13), we get
ε s < lim n sup P b ζ h ^ n + 1 , ζ ȷ ^ n s lim n sup P b ζ h ^ n , ζ ȷ ^ n s 2 ε .
Thus
ε s lim n sup P b ζ h ^ n + 1 , ζ ȷ ^ n s 2 ε .
Similarly,
ε s lim n sup P b ζ h ^ n , ζ ȷ ^ n + 1 s 2 ε .
By triangular inequality, we have
P b ζ h ^ n + 1 , ζ ȷ ^ n s [ P b ζ h ^ n + 1 , ζ ȷ ^ n + 1 + P b ζ ȷ ^ n + 1 , ζ ȷ ^ n ] P b ζ ȷ ^ n + 1 , ζ ȷ ^ n + 1 s [ P b ζ h ^ n + 1 , ζ ȷ ^ n + 1 + P b ζ ȷ ^ n + 1 , ζ ȷ ^ n ] .
Letting n in (16) and using the inequalities (8) and (14), we get
ε s 2 lim k sup P b ζ h ^ n + 1 , ζ ȷ ^ n + 1 .
Following the above process, we find
lim n sup P b ζ h ^ n + 1 , ζ ȷ ^ n + 1 s 3 ε .
From (17) and (18), we get
ε s 2 lim n sup P b ζ h ^ n + 1 , ζ ȷ ^ n + 1 s 3 ε .
From (8) and (11), we can choose a positive integer n 0 1 such that for all n n 0 , from (1), we get
0 < Λ s P b ζ h ^ n + 1 , ζ ȷ ^ n Λ s P b ϕ ζ h ^ n , ψ ζ ȷ ^ n 1 Υ Λ A P b ζ h ^ n , ζ ȷ ^ n 1 , for all n n 0 ,
where
A P b ζ h ^ n , ζ ȷ ^ n 1 = max P b ζ h ^ n , ζ ȷ ^ n 1 , P b ζ h ^ n , ψ ζ h ^ n , P b ζ ȷ ^ n 1 , ϕ ζ ȷ ^ n 1 , P b ζ h ^ n , ϕ ζ ȷ ^ n 1 + P b ζ ȷ ^ n 1 , ψ ζ h ^ n 2 s 2 , P b ψ ζ ȷ ^ n 1 , ζ ȷ ^ n 1 1 + P b ζ h ^ n , ϕ ζ h ^ n 1 + P b ζ h ^ n , ζ ȷ ^ n 1 max P b ζ h ^ n , ζ ȷ ^ n 1 , P b ζ h ^ n , ζ h ^ n + 1 , P b ζ ȷ ^ n 1 , ζ ȷ ^ n , P b ζ h ^ n , ζ ȷ ^ n + P b ζ ȷ ^ n 1 , ζ h ^ n + 1 2 s 2 , P b ζ ȷ ^ n , ζ ȷ ^ n 1 1 + P b ζ h ^ n , ζ h ^ n + 1 1 + P b ζ h ^ n , ζ ȷ ^ n 1 .
Taking the upper limit as n and using (8), (11), (14) and (15), we get
ε s lim n sup A s ζ h ^ n , ζ ȷ ^ n 1 max ε , s ε + s 2 ε 2 s 2 max ε , s 2 ε + s 2 ε 2 s 2 = max ε , 2 s 2 ε 2 s 2 = max ε , ε = ε .
Thus,
Λ ( ε ) = Λ ( s . ε s ) Λ s lim n sup P b ζ h ^ n + 1 , ζ ȷ ^ n lim n Υ Λ A s ζ h ^ n , ζ ȷ ^ n 1 Υ Λ ( ε ) < Λ ( ε ) .
It is a contradiction. Therefore, ζ n is Cauchy. Since ( M , P b , ) is a complete partial b-metric space, by Lemma 1, ( M , d P b ) is a complete b-metric space. Therefore, the sequence ζ n converges to some ζ ( M , d P b ) . Again, by Lemma 1, there exists ζ M such that
lim n d P b ζ n , ζ = 0
if and only if
lim n P b ζ n , ζ = lim n P b ζ , ζ = lim n P b ζ n , ζ m .
Now, we show that ζ F i x ( ϕ ) , so the weight assigned to the edge ζ , ϕ ζ is zero. Suppose that P b ζ , ϕ ζ > 0 . If ζ 2 n + 1 V ( G ) , n N , then we get ζ 2 n + 1 , ζ 2 n + 2 = ζ 2 n + 1 , ψ ζ 2 n + 1 E ( G ) . By property ( E ), there is a subsequence ζ 2 n k + 1 of ζ 2 n + 1 with an edge between ζ 2 n k + 1 and ζ for k N . Using (1), one gets
Λ P b ϕ ζ , ζ 2 n k + 2 Λ s P b ϕ ζ , ψ ζ 2 n k + 1 Υ Λ max P b ζ , ζ 2 n k + 1 , P b ζ , ϕ ζ , P b ζ 2 n k + 1 , ψ ζ 2 n k + 1 , P b ζ , ψ ζ 2 n k + 1 + P b ζ 2 n k + 1 , ϕ ζ 2 s 2 , P b ζ , ϕ ζ 1 + P b ζ 2 n k + 1 , ψ ζ 2 n k + 1 1 + P b ζ , ζ 2 n k + 1 = Υ Λ max P b ζ , ζ 2 n k + 1 , P b ζ , ϕ ζ , P b ζ 2 n k + 1 , ζ 2 n k + 2 , P b ζ , ζ 2 n k + 2 + P b ζ 2 n k + 1 , ϕ ζ 2 s 2 , P b ζ , ϕ ζ 1 + P b ζ 2 n k + 1 , ζ 2 n k + 2 1 + P b ζ , ζ 2 n k + 1 < Λ max P b ζ , ζ 2 n k + 1 , P b ζ , ϕ ζ , P b ζ 2 n k + 1 , ζ 2 n k + 2 , P b ζ , ζ 2 n k + 2 + P b ζ 2 n k + 1 , ϕ ζ 2 s 2 , P b ζ , ϕ ζ 1 + P b ζ 2 n k + 1 , ζ 2 n k + 2 1 + P b ζ , ζ 2 n k + 1
Taking the upper limit as k in (22) and using the continuity of Λ , we have
Λ P b ϕ ζ , ζ < Λ P b ζ , ϕ ζ ,
a contradiction. Therefore, the assigned weight of the edge ζ , ϕ ζ is zero; that is, ζ F i x ϕ . Similarly, ζ F i x ψ . Hence, ζ F i x ϕ F i x ψ . The proof of (c) is completed.
(d) First, we assume that F i x ϕ F i x ψ is complete. We shall prove that F i x ϕ F i x ψ is a singleton. On the contrary, suppose that there exists ζ , η F i x ϕ F i x ψ such that ζ η . As ζ , η E G , so from (1), we have
Λ P b ζ , η Λ s P b ϕ ζ , ψ η Υ Λ max P b ζ , η , P b ζ , ϕ ζ , P b η , ψ η , P b ζ , ψ η + P b η , ϕ ζ 2 s 2 , P b ζ , ϕ ζ 1 + P b η , ψ η 1 + P b ζ , η = Υ Λ P b ζ , η Λ P b ζ , η .
It is a contradiction. Thus, ζ = η .
Conversely, assume that F i x ϕ F i x ψ is a singleton; then, F i x ϕ F i x ψ is complete. □
Example 2.
Let M = 1 , 2 , 3 , 4 , 5 = V G and P b : M × M 0 , defined by P b ζ 1 , ζ 2 = max ζ 1 , ζ 2 2 , for all ζ 1 , ζ 2 M . Then P b , M is a complete partial b-metric space with s = 2 . Set
E ( G ) = 1 , 1 , 2 , 2 , 3 , 3 , 4 , 4 , 5 , 5 , 2 , 1 , 4 , 1 , 5 , 1 , 3 , 2 , 4 , 2 , 5 , 2 , 4 , 3 , 5 , 3 , 5 , 4 .
Define ϕ , ψ : M M by
ϕ ζ 1 = 1 , ζ 1 1 , 2 , 5 , 2 , ζ 1 3 , 4 . and ψ ζ 1 = 1 , ζ 1 1 , 5 , 2 , ζ 1 2 , 3 , 4 .
and Λ , Υ : 0 , 0 , , by
Λ t = t e t , t > 0 , Υ t = 4 t 5 , t > 0 .
It is easy to show that, for every vertex u G , we have ( u , ϕ u ) , ( u , ψ u ) E ( G ) . Now, for all ζ 1 , ζ 2 M , with ζ 1 ζ 2 ,
Hence, by Figure 1, (ϕ, ψ ) is a Ćirić type rational graphic Υ , Λ -contraction pair. Thus, all the conditions of Theorem 4 are satisfied, and ϕ and ψ have a unique common fixed point (that is, 1). Figure 2 represents the graph with all the possible cases.
If ϕ = ψ in Theorem 4, we obtain the following result.
Corollary 1.
Let M , P b be a complete partial b-metric space endowed with a directed graph G and the map ϕ : M M such that ϕ is a Ćirić type rational graphic Υ , Λ -contraction. If Υ is continuous, then the following assertions hold:
(a) If ζ F i x ( ϕ ) , then the weight assigned to the vertex ζ is 0;
(b) F i x ( ϕ ) , provided that G satisfies property ( E ) ;
(c) F i x ( ϕ ) is a complete set if and only if F i x ( ϕ ) is a singleton set.
If s = 1 in Theorem 4, we obtain the following result.
Theorem 5.
Let M , P be a complete partial metric space endowed with a directed graph G. Let ϕ , ψ : M M be maps such that:
(1) For every vertex u G , we have ( u , ϕ u ) , ( u , ψ u ) E ( G ) ;
(2) There exist a comparison function Υ and Λ Φ such that for all ζ 1 , ζ 2 M with ζ 1 , ζ 2 E ( G ) and ϕ ζ 1 ψ ζ 2 , we have
Λ P ϕ ζ 1 , ψ ζ 2 Υ Λ A ζ 1 , ζ 2 ,
where
A ζ 1 , ζ 2 = max P ζ 1 , ζ 2 , P ζ 1 , ϕ ζ 1 , P ζ 2 , ψ ζ 2 , P ζ 1 , ψ ζ 2 + P b ϕ ζ 1 , ζ 2 2 s 2 , P ψ ζ 2 , ζ 2 1 + P ζ 1 , ϕ ζ 1 1 + P ζ 1 , ζ 2 . .
If Υ is continuous, then the following assertions hold:
(a) F i x ( ϕ ) or F i x ( ψ ) if and only if F i x ( ϕ ) F i x ( ψ ) ;
(b) If ζ F i x ( ϕ ) F i x ( ψ ) , then the weight assigned to the vertex ζ is 0;
(c) F i x ( ϕ ) F i x ( ψ ) , provided that G satisfies the property ( E ) ;
(d) F i x ( ϕ ) F i x ( ψ ) is complete set if and only if F i x ( ϕ ) F i x ( ψ ) is a singleton set.
Example 3.
Let M = 0 , 1 = V G and P : M × M 0 , be defined by P ζ 1 , ζ 2 = max ζ 1 , ζ 2 , for all ζ 1 , ζ 2 M . Then, P , M is a complete partial metric space. Set
E ( G ) = ζ 1 , ζ 2 : ζ 1 , ζ 2 0 , 1 .
Define ϕ , ψ : M M by
ϕ ζ 1 = ζ 1 4 and ψ ζ 1 = ζ 1 5 ,
and Λ , Υ : 0 , 0 , , by
Λ t = t e t , t > 0 , Υ t = 9 t 10 , t > 0 .
It is easy to show that, for every vertex u G , we have ( u , ϕ u ) , ( u , ψ u ) E ( G ) . Now, for all ζ 1 , ζ 2 M , with ζ 1 ζ 2 0 ,
Λ P ϕ ζ 1 , ψ ζ 2 Υ Λ A ζ 1 , ζ 2 .
Therefore, ϕ , ψ is a Ćirić type rational graphic Υ , Λ -contraction pair. Hence, the conditions of Theorem 5 hold. Moreover, 0 is a common fixed point of ϕ and ψ .

3. Some Consequences

Corollary 2.
Let M , P b be a complete partial b-metric space ( s > 1 ) endowed with a directed graph G. Let ϕ , ψ : M M be maps such that:
(1) For every vertex u G , we have ( u , ϕ u ) , ( u , ψ u ) E ( G ) ;
(2) There exist θ Ξ and k 0 , 1 such that for all ζ 1 , ζ 2 M , with ζ 1 , ζ 2 E ( G ) and ϕ ζ 1 ψ ζ 2 , we have
θ s P b ϕ ζ 1 , ψ ζ 2 θ A s ζ 1 , ζ 2 k ,
where
A s ζ 1 , ζ 2 = max P b ζ 1 , ζ 2 , P b ζ 1 , ϕ ζ 1 , P b ζ 2 , ψ ζ 2 , P b ζ 1 , ψ ζ 2 + P b ϕ ζ 1 , ζ 2 2 s 2 , P b ψ ζ 2 , ζ 2 1 + P b ζ 1 , ϕ ζ 1 1 + P b ζ 1 , ζ 2 . .
Then the following assertions hold:
(a) F i x ( ϕ ) or F i x ( ψ ) if and only if F i x ( ϕ ) F i x ( ψ ) ;
(b) If ζ F i x ( ϕ ) F i x ( ψ ) , then the weight assigned to the vertex ζ is 0;
(c) F i x ( ϕ ) F i x ( ψ ) , provided that G satisfies property ( E ) ;
(d) F i x ( ϕ ) F i x ( ψ ) is a complete set if and only if F i x ( ϕ ) F i x ( ψ ) is a singleton set.
Proof. 
It suffices to take in Theorem 4, Υ t : = ln k t and Λ t = ln θ ( t ) : 0 , 0 , .  □
Corollary 3.
Let M , P b be a complete partial b-metric space ( s > 1 ) endowed with a directed graph G. Let ϕ , ψ : M M be maps such that:
(1) For every vertex u G , we have ( u , ϕ u ) , ( u , ψ u ) E ( G ) ;
(2) There exist F F and τ > 0 such that for all ζ 1 , ζ 2 M with ζ 1 , ζ 2 E ( G ) and d ϕ ζ 1 , ψ ζ 2 > 0 , we have
τ + F s P b ϕ ζ 1 , ψ ζ 2 F A s ζ 1 , ζ 2 ,
where
A s ζ 1 , ζ 2 = max P b ζ 1 , ζ 2 , P b ζ 1 , ϕ ζ 1 , P b ζ 2 , ψ ζ 2 , P b ζ 1 , ψ ζ 2 + P b ϕ ζ 1 , ζ 2 2 s 2 , P b ψ ζ 2 , ζ 2 1 + P b ζ 1 , ϕ ζ 1 1 + P b ζ 1 , ζ 2 . .
Then the following assertions hold:
(a) F i x ( ϕ ) or F i x ( ψ ) if and only if F i x ( ϕ ) F i x ( ψ ) ;
(b) If ζ F i x ( ϕ ) F i x ( ψ ) , then the weight assigned to the vertex ζ is 0;
(c) F i x ( ϕ ) F i x ( ψ ) , provided that G satisfies property ( E ) ;
(d) F i x ( ϕ ) F i x ( ψ ) is a complete set if and only if F i x ( ϕ ) F i x ( ψ ) is a singleton set.
Proof. 
The result follows from Theorem 4 by taking Υ t = e τ t and Λ t = e F t : 0 , 0 , .  □
Corollary 4.
Let M , P b be a complete partial b-metric space ( s > 1 ) endowed with a directed graph G. Let ϕ , ψ : M M be maps such that:
(1) For every vertex u G , we have ( u , ϕ u ) , ( u , ψ u ) E ( G ) ;
(2) If for all ζ 1 , ζ 2 M , with ζ 1 , ζ 2 E ( G ) ,
d ϕ ζ 1 , ψ ζ 2 B A s ζ 1 , ζ 2 . A s ζ 1 , ζ 2 ) ,
where
A s ζ 1 , ζ 2 = max P b ζ 1 , ζ 2 , P b ζ 1 , ϕ ζ 1 , P b ζ 2 , ψ ζ 2 , P b ζ 1 , ψ ζ 2 + P b ϕ ζ 1 , ζ 2 2 s 2 , P b ψ ζ 2 , ζ 2 1 + P b ζ 1 , ϕ ζ 1 1 + P b ζ 1 , ζ 2 ,
and B : 0 , 0 , is such that lim r t + B r < 1 for each t ( 0 , ) .
Then the following assertions hold:
(a) F i x ( ϕ ) or F i x ( ψ ) if and only if F i x ( ϕ ) F i x ( ψ ) ;
(b) If ζ F i x ( ϕ ) F i x ( ψ ) , then the weight assigned to the vertex ζ is 0;
(c) F i x ( ϕ ) F i x ( ψ ) , provided that G satisfies property ( E ) ;
(d) F i x ( ϕ ) F i x ( ψ ) is a complete set if and only if F i x ( ϕ ) F i x ( ψ ) is a singleton set.
Proof. 
It follows from Theorem 4 by taking Υ t : = B t t and Λ t = t : 0 , 0 , .  □
Remark 4.
Theorems 4 and 5 generalize and extend results of Liu et al. [2], Jleli and Samet [29] and Wardowski [27] for partial b-metric spaces and partial metric spaces along with a power graphic contraction pair, respectively.

4. Applications

4.1. Application to Electric Circuit Equations

In this section, we study the solution of the electric circuit equation (see [32]), which is in the second-order differential equation form. The electric circuit (as in Figure 3):
Contains an electromotive force E, a resistor R, an inductor L, a capacitor C, and a voltage V in series. If the current I is the rate of change of charge q with respect to time t, we have I = d q d t and
V = I R , V = q C , V = L d I d t .
By law of Kirchhoffs voltage, the sum of these voltage drops is equal to the supplied voltage; i.e,
I R + q C + L d I d t = V t ,
or
I R + q C + L d I d t = V t , q 0 = 0 , q 0 = 0 .
The Green function associated to (23) is given by
G ( t , s ) = s e τ s t , if 0 s t 1 , t e τ s t , if 0 t s 1
where the constant τ > 0 is calculated in terms of R and L.
Let M = C ( 0 , 1 ) be the set of all continuous functions defined on 0 , 1 . The partial b-metric P b on M is defined by
P b ζ 1 , ζ 2 = max 0 t 1 ζ 1 t ζ 2 t 2 .
Moreover, we define the graph G with the partial ordered relation:
ζ 1 , ζ 2 C ( 0 , 1 ) , ζ 1 ζ 2 ζ 1 t ζ 2 t ,
for all t 0 , 1 . Let E G = ζ 1 , ζ 2 M × M : ζ 1 ζ 2 . Note that P b , M is a complete partial b-metric space with coefficient s = 2 , including a directed graph G. Clearly, Δ = ( M × M ) E ( G ) , and ( P b , M , G ) has property ( E ) .
Theorem 6.
Let ϕ : C ( 0 , 1 ) C ( 0 , 1 ) of a partial b-metric space C ( 0 , 1 ) , P b . Suppose that the following assumptions hold:
(1) There exists a continuous and non decreasing function K: 0 , 1 × R R such that for all ζ 1 , ζ 2 C ( 0 , 1 ) , with ζ 1 ζ 2 ,
K ( t , ζ 1 ) K ( t , ζ 2 ) τ 2 e τ A s ( ζ 1 , ζ 2 ) ,
where
A s ζ 1 , ζ 2 = max P b ζ 1 , ζ 2 , P b ζ 1 , ϕ ζ 1 , P b ζ 2 , ϕ ζ 2 , P b ζ 1 , ϕ ζ 2 + P b ϕ ζ 1 , ζ 2 2 s 2 , P b ϕ ζ 2 , ζ 2 1 + P b ζ 1 , ϕ ζ 1 1 + P b ζ 1 , ζ 2 ,
where t 0 , 1 , and τ 1 ,
(2) all ζ 1 C ( 0 , 1 ) ,
ζ 1 0 1 G ( t , s ) K ( t , ζ 1 s ) d s , for all t 0 , 1 .
Then the problem (23) has a unique solution.
Proof. 
The above problem is equivalent to the integral equation:
ζ 1 ( t ) = 0 1 G ( t , s ) K ( t , ζ 1 s ) d s
where t 0 , 1 . Consider a mapping ϕ : M M defined by
ϕ ζ 1 ( t ) = 0 t G ( t , s ) K ( t , ζ 1 s ) d s
where t 0 , 1 . Then, ζ is a solution of (24) if and only if ζ is a fixed point of ϕ . From Condition (2), it is easy to show that for every ζ 1 M , we have ζ 1 ϕ ζ 1 ; i.e., ( u , ϕ u ) E ( G ) . It follows from Condition (2) that M ϕ = ζ 1 M : ζ 1 ϕ ζ 1 , i . e . , ( ζ 1 , ϕ ζ 1 ) E ( G ) . Let ζ 1 , ζ 2 M ; then, from Condition (1), we have
ϕ ζ 1 ( t ) ϕ ζ 2 ( t ) 0 t G ( t , s ) K ( t , ζ 1 s ) K ( t , ζ 2 s ) d s 0 t G ( t , s ) τ 2 e τ A s ( ζ 1 , ζ 2 ) d s 0 t τ 2 e τ e 2 τ s e 2 τ s A s ( ζ 1 , ζ 2 ) G ( t , s ) d s τ 2 e τ A s ( ζ 1 , ζ 2 ) 0 t e 2 τ s G ( t , s ) d s e τ A s ( ζ 1 , ζ 2 ) e 2 τ t 1 2 t τ + t τ e τ t e τ t .
Thus,
ϕ ζ 1 ( t ) ϕ ζ 2 ( t ) e 2 τ t e τ A s ( ζ 1 , ζ 2 ) 1 2 t τ + t τ e τ t e τ t .
This implies that
ϕ ζ 1 ( t ) ϕ ζ 2 ( t ) e τ A s ( ζ 1 , ζ 2 ) 1 2 t τ + t τ e τ t e τ t .
Since 1 2 t τ + t τ e τ t e τ t 1 , we get that
ϕ ζ 1 ( t ) ϕ ζ 2 ( t ) e τ A s ( ζ 1 , ζ 2 ) .
Hence,
P b ϕ ζ 1 ( t ) , ϕ ζ 2 ( t ) e 2 τ A s ( ζ 1 , ζ 2 ) .
Taking Λ ( t ) = t and Υ t = 2 e 2 τ with τ 1 , one gets
Λ s P b ϕ ζ 1 ( t ) , ϕ ζ 2 ( t ) = Λ 2 P b ϕ ζ 1 ( t ) , ϕ ζ 2 ( t ) 2 e 2 τ Λ A s ( ζ 1 , ζ 2 ) = Υ Λ A s ( ζ 1 , ζ 2 ) ,
or
Λ P b ϕ ζ 1 ( t ) , ϕ ζ 2 ( t ) Υ Λ A s ( ζ 1 , ζ 2 ) .
Therefore, from Corollary 1, ϕ has a fixed point. Consequently, the differential equation arising in the electric circuit Equation (23) has a solution. □

4.2. Application to Fractional Differential Equations

We apply the result given by Theorem 4 to study the existence of a solution for a system of nonlinear fractional differential equations (see [33]). Let M = C 0 , 1 , R be the space of all continuous functions on 0 , 1 . The partial b-metric P b on M is defined by
P b ( r , j ) = max t 0 , 1 r ( t ) j ( t ) 2 , r , j χ .
Moreover, we define the graph G with the partial ordered relation:
r , j C ( 0 , 1 ) , r j r ( t ) j ( t ) ,
for all t 0 , 1 . Let E G = r , j M × M : r j . Note that P b , M is a complete partial b-metric space with coefficient s = 2 , including a directed graph G. Clearly, Δ = ( M × M ) E ( G ) and ( P b , M , G ) has property ( E ) .
Consider the following system of fractional differential equations:
C D α r t = K 1 ( t , r ( t ) ) C D α j t = K 2 ( t , j ( t ) ) ,
with boundary conditions
r 0 = 0 , I r 1 = r 0 j 0 = 0 , Q j 1 = j 0 .
Note that C D α denotes the Caputo fractional derivative of order α , defined by
C D α K 1 t = 1 Γ n α 0 t t s n α 1 K 1 n ( s ) ) d s , C D α K 2 t = 1 Γ n α 0 t t s n α 1 K 2 n ( s ) ) d s ,
where
n 1 < α < 1 and n = α + 1 ,
and I α K 1 and I α K 2 denote the Riemann–Liouville fractional integral of order α of continuous functions K 1 and K 2 , given by
I α K 1 t = 1 Γ α 0 t t s α 1 K 1 ( s ) d s , with α > 0 , Q α K 2 t = 1 Γ α 0 t t s α 1 K 2 ( s ) d s , with α > 0 .
The system (23) can be written in the following integral form:
r t = 1 Γ α 0 t t s α 1 K 1 ( s , r ( s ) ) d s + 2 t Γ α 0 1 0 s s u α 1 K 1 ( u , r ( u ) ) d u d s , j t = 1 Γ α 0 t t s α 1 K 2 ( s , j ( s ) ) d s + 2 t Γ α 0 1 0 s s u α 1 K 2 ( u , j ( u ) ) d u d s
Theorem 7.
Assume that the following conditions hold:
(i) K 1 , K 2 : 0 , 1 × R R are continuous functions;
(ii) K 1 s , . , K 2 s , . : R R are increasing functions,
(iii) For all r , j M , with r j , we have
K 1 s , r K 2 s , j e τ Γ α + 1 4 A s r , j ,
where,
A s r , j = max P b r , j , P b r , ϕ r , P b j , ϕ j , P b r , ϕ j + P b ϕ r , j 2 s 2 , P b ϕ j , j 1 + P b r , ϕ r 1 + P b r , j ,
(iv) There exist r 0 , j 0 C 0 , 1 , R such that for all t 0 , 1 , we have
r 0 t 1 Γ α 0 t t s α 1 K 1 ( s , r 0 ( s ) ) d s + 2 t Γ α 0 1 0 s s u α 1 K 1 ( u , r 0 ( u ) ) d u d s , j 0 t 1 Γ α 0 t t s α 1 K 2 ( s , j 0 ( s ) ) d s + 2 t Γ α 0 1 0 s s u α 1 K 2 ( u , j 0 ( u ) ) d u d s .
Then the system (23) has a solution.
Proof. 
Define the mappings ϕ , ψ : M M by
ϕ r t = 1 Γ α 0 t t s α 1 K 1 ( s , r ( s ) ) d s + 2 t Γ α 0 1 0 s s u α 1 K 1 ( u , r ( u ) ) d u d s , ψ j t = 1 Γ α 0 t t s α 1 K 2 ( s , j ( s ) ) d s + 2 t Γ α 0 1 0 s s u α 1 K 2 ( u , j ( u ) ) d u d s .
Following assumptions (iii) and (iv), we have
ϕ r t ψ j t = 1 Γ α 0 t t s α 1 K 1 ( s , r ( s ) ) d s 1 Γ α 0 t t s α 1 K 2 ( s , j ( s ) ) d s + 2 t Γ α 0 1 0 s s u α 1 K 1 ( u , r ( u ) ) d u d s 2 t Γ α 0 1 0 s s u α 1 K 2 ( u , j ( u ) ) d u d s
0 t 1 Γ α t s α 1 K 1 ( s , r ( s ) ) K 2 ( s , j ( s ) ) d s + 0 1 0 s 2 Γ α s u α 1 K 1 ( s , r ( u ) ) K 2 ( u , j ( u ) d u d s
1 Γ α . 0 t t s α 1 K 1 ( s , r ( s ) ) K 2 ( s , j ( s ) ) d s + 2 Γ α . 0 1 0 s s u α 1 K 1 ( s , r ( u ) ) K 2 ( s , j ( u ) ) d u d s
1 Γ α e τ Γ α + 1 4 0 t t s α 1 r s j s d s + 2 Γ α e τ Γ α + 1 4 0 1 0 s s u α 1 r u j u d u d s 1 Γ α e τ Γ α + 1 4 A s r , j . 0 t t s α 1 d s + + 2 Γ α e τ Γ α + 1 4 . A s r , j . 0 1 0 s s u α 1 d u d s
e τ Γ α . Γ α + 1 4 Γ α . Γ α + 1 . A s r , j + 2 e τ β α + 1 , 1 Γ α . Γ α + 1 4 Γ α . Γ α + 1 . A s r , j
e τ 4 A s r , j + e τ 2 A s r , j = 3 e τ 4 A s r , j
where β is the beta function. From the inequality (27), we obtain that
ϕ r t ψ j t 3 e τ 4 A s r , j .
Hence,
P b ϕ r t , ψ j t 9 e 2 τ 16 A s r , j .
This implies that
s P b ϕ r t , ψ j t = 2 P b ϕ r t , ψ j t 9 8 e 2 τ P b r t , j t 9 8 e 2 τ A s r t , j t ,
where Λ t = t and Υ t = 9 8 e 2 τ , τ 1 . Since the above inequality holds for all r , j M with r t j t , it is true for any r , j E G . Hence, we have
Λ s P b ϕ r t , ψ j t Υ Λ A s r , j .
Therefore, all hypotheses of Theorem 4 are satisfied. Hence, ϕ and ψ have a common fixed point; that is, the system (26) has at least one solution. □

5. Conclusions

In this paper, we introduced the concept of a Ćirić type rational graphic Υ , Λ -contraction pair of mappings and established some new results for such contractions in the context of complete partial b-metric spaces endowed with a directed graph. Moreover, we give some examples in support of main theorems. At the end, we applied our main results to provide solutions of electric circuit equations and also of fractional differential equations. The obtained results generalize several corresponding results in metric spaces.

Author Contributions

All authors contributed equally and read and agreed to the published version of the manuscript.

Funding

Basque Government through grant IT1207/19.

Acknowledgments

The authors are grateful to the Basque Government for its support of this work through grant IT1207/19.

Conflicts of Interest

The authors declare that they have no competing interests.

Availability of Data and Material

Not applicable.

References

  1. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Liu, X.D.; Chang, S.S.; Xiao, Y.; Zhao, L.C. Some fixed point theorems concerning ψ,φ-type contraction in complete metric spaces. J. Nonlinear Sci. Appl. 2016, 9, 4127–4136. [Google Scholar] [CrossRef]
  3. Ameer, E.; Aydi, H.; Arshad, M.; Alsamir, H.; Noorani, M.S. Hybrid multivalued type contraction mappings in αK-complete partial b-metric spaces and applications. Symmetry 2019, 11, 86. [Google Scholar] [CrossRef] [Green Version]
  4. Ameer, E.; Arshad, M.; Shin, D.Y.; Yun, S. Common fixed point theorems of generalized multivalued (ψ,φ)-contractions in complete metric spaces with application. Mathematics 2019, 7, 194. [Google Scholar] [CrossRef] [Green Version]
  5. Ameer, E.; Arshad, M.; Hussain, N. On new common fixed points of multivalued (Υ,Λ)-contractions in complete b-metric spaces and related application. Math. Sci. 2019, 13, 307–316. [Google Scholar] [CrossRef] [Green Version]
  6. Ameer, E.; Nazam, M.; Aydi, H.; Arshad, M.; Mlaiki, N. On (Λ,Υ,ℜ)-contractions and applications to nonlinear matrix equations. Mathematics 2019, 7, 443. [Google Scholar] [CrossRef] [Green Version]
  7. Bakhtin, I.A. The contraction mapping principle in almost metric spaces. Funct. Anal. 1989, 30, 26–37. [Google Scholar]
  8. Czerwik, S. Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 1998, 46, 263–276. [Google Scholar]
  9. Matthews, S.G. Partial Metric Topology. Ann. N. Y. Acad. Sci. 1994, 728, 183–197. [Google Scholar] [CrossRef]
  10. Shukla, S. Partial b-metric spaces and fixed point theorems. Mediterr. J. Math. 2014, 11, 703–711. [Google Scholar] [CrossRef]
  11. Aydi, H.; Barakat, M.A.; Mitrovć, Z.D.; Cavic, V.S. A Suzuki type multi-valued contraction on weak partial metric spaces and applications. J. Inequal. Appl. 2018, 2018, 270. [Google Scholar] [CrossRef] [PubMed]
  12. Wardowski, D.; Dung, N.V. Fixed points of F-weak contractions on complete metric spaces. Demonstr. Math. 2014, 47, 146–155. [Google Scholar] [CrossRef]
  13. Aydi, H.; Felhi, A.; Karapinar, E.; Sahmim, S. A Nadler-type fixed point theorem in dislocated spaces and applications. Miscolc Math. Notes 2018, 19, 111–124. [Google Scholar] [CrossRef] [Green Version]
  14. Alamgir, N.; Kiran, Q.; Isik, H.; Aydi, H. Fixed point results via a Hausdorff controlled type metric. Adv. Differ. 2020, 2020, 24. [Google Scholar] [CrossRef] [Green Version]
  15. Huang, H.; Vujakovic, J.; Radenovic, S. A note on common fixed point theorems for isotone increasing mappings in ordered b-metric spaces. J. Nonlinear Sci. Appl. 2015, 8, 808–815. [Google Scholar] [CrossRef]
  16. Hussain, N.; Doric, D.; Kadelburg, Z.; Radenovic, S. Suzuki-type fixed point results in metric type spaces. Fixed Point Theory Appl. 2012, 2012, 126. [Google Scholar] [CrossRef] [Green Version]
  17. Jovanovic, M.; Kadelburg, Z.; Radenovic, S. Common fixed point results in metric-type spaces. Fixed Point Theory Appl. 2010, 2010, 978121. [Google Scholar] [CrossRef] [Green Version]
  18. Afshari, H.; Aydi, H.; Karapinar, E. On generalized α-ψ-Geraghty contractions on b-metric spaces. Georg. J. 2020, 27, 9–21. [Google Scholar] [CrossRef] [Green Version]
  19. Parvaneh, V.; Roshan, J.R.; Radenovic, S. Existence of tripled coincidence points in ordered b-metric spaces and an application to a system of integral equations. Fixed Point Theory Appl. 2013, 2013, 130. [Google Scholar] [CrossRef] [Green Version]
  20. Roshan, J.R.; Parvaneh, V.; Shobkolaei, N.; Sedghi, S.; Shatanawi, W. Common fixed points of almost generalized (ψ,ϕ)s-contractive mappings in ordered b-metric spaces. Fixed Point Theory Appl. 2013, 2013, 159. [Google Scholar] [CrossRef] [Green Version]
  21. Abdeljawad, T.; Mlaiki, N.; Aydi, H.; Souayah, N. Double controlled metric type spaces and some fixed point results. Mathematics 2018, 6, 320. [Google Scholar] [CrossRef] [Green Version]
  22. Mlaiki, N.; Aydi, H.; Souayah, N.; Abdeljawad, T. Controlled metric type spaces and the related contraction principle. Mathematics 2018, 6, 194. [Google Scholar] [CrossRef] [Green Version]
  23. Qawaqneh, H.; Noorani, M.S.M.; Shatanawi, W.; Aydi, H.; Alsamir, H. Fixed point results for multi-valued contractions in b-metric spaces and an application. Mathematics 2018, 7, 132. [Google Scholar] [CrossRef] [Green Version]
  24. Karapinar, E.; Czerwik, S.; Aydi, H. (α,ψ)-Meir-Keeler contraction mappings in generalized b-metric spaces. Funct. Spaces 2018, 2018, 3264620. [Google Scholar] [CrossRef] [Green Version]
  25. Kamran, T.; Postolache, M.; Ali, M.U.; Kiran, Q. Feng and Liu type F-contraction in b-metric spaces with application to integral equations. J. Math. Anal. 2016, 7, 18–27. [Google Scholar]
  26. Vujakovic, J.; Aydi, H.; Radenovic, S.; Mukheimer, A. Some remarks and new results in ordered partial b-metric spaces. Mathematics 2019, 7, 334. [Google Scholar] [CrossRef] [Green Version]
  27. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 2012, 6. [Google Scholar] [CrossRef] [Green Version]
  28. Piri, H.; Kumam, P. Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 2014, 210. [Google Scholar] [CrossRef] [Green Version]
  29. Jleli, M.; Samet, B. A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 2014, 34. [Google Scholar] [CrossRef] [Green Version]
  30. Jleli, M.; Karapinar, E.; Samet, B. Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 2014, 439. [Google Scholar] [CrossRef] [Green Version]
  31. Berinde, V. Generalized Contractions and Applications; Editura Cub Press 22: Baia Mare, Romania, 1997. [Google Scholar]
  32. Ali, M.U.; Kamran, T. Multivalued F-contractions and related fixed point theorems with an application. Filomat 2016, 30, 3779–3793. [Google Scholar] [CrossRef] [Green Version]
  33. Aydi, H.; Jleli, M.; Samet, B. On positive solutions for a fractional thermostat model with a convex-concave source term via ψ-Caputo fractional derivative. Mediterr. J. Math. 2020, 17, 16. [Google Scholar] [CrossRef]
Figure 1. Verification of the contraction (1).
Figure 1. Verification of the contraction (1).
Symmetry 12 00467 g001
Figure 2. The graph defined in Example 2.
Figure 2. The graph defined in Example 2.
Symmetry 12 00467 g002
Figure 3. Electric Circuit.
Figure 3. Electric Circuit.
Symmetry 12 00467 g003

Share and Cite

MDPI and ACS Style

Ameer, E.; Aydi, H.; Arshad, M.; De la Sen, M. Hybrid Ćirić Type Graphic Υ,Λ-Contraction Mappings with Applications to Electric Circuit and Fractional Differential Equations. Symmetry 2020, 12, 467. https://doi.org/10.3390/sym12030467

AMA Style

Ameer E, Aydi H, Arshad M, De la Sen M. Hybrid Ćirić Type Graphic Υ,Λ-Contraction Mappings with Applications to Electric Circuit and Fractional Differential Equations. Symmetry. 2020; 12(3):467. https://doi.org/10.3390/sym12030467

Chicago/Turabian Style

Ameer, Eskandar, Hassen Aydi, Muhammad Arshad, and Manuel De la Sen. 2020. "Hybrid Ćirić Type Graphic Υ,Λ-Contraction Mappings with Applications to Electric Circuit and Fractional Differential Equations" Symmetry 12, no. 3: 467. https://doi.org/10.3390/sym12030467

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