Next Article in Journal
Vacuum Condensate Picture of Quantum Gravity
Next Article in Special Issue
Best Proximity Point Results for Generalized Θ-Contractions and Application to Matrix Equations
Previous Article in Journal
Distribution-Based Approaches to Deriving Weights from Dual Hesitant Fuzzy Information
Previous Article in Special Issue
Common Fixed Point Results for Fuzzy Mappings on Complex-Valued Metric Spaces with Homotopy Results
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Hybrid Multivalued Type Contraction Mappings in αK-Complete Partial b-Metric Spaces and Applications

1
Department of Mathematics, Taiz University, Taiz, Yemen
2
Department of Mathematics, International Islamic University, H-10, Islamabad 44000, Pakistan
3
Imam Abdulrahman Bin Faisal University, Department of Mathematics, College of Education in Jubail, P.O. 12020, Industrial Jubail 31961, Saudi Arabia
4
School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 UKM, Selangor Darul Ehsan, Malaysia
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(1), 86; https://doi.org/10.3390/sym11010086
Submission received: 4 December 2018 / Revised: 2 January 2019 / Accepted: 7 January 2019 / Published: 14 January 2019
(This article belongs to the Special Issue Fixed Point Theory and Fractional Calculus with Applications)

Abstract

:
In this paper, we initiate the notion of generalized multivalued ( α K * , Υ , Λ ) -contractions and provide some new common fixed point results in the class of α K -complete partial b-metric spaces. The obtained results are an improvement of several comparable results in the existing literature. We set up an example to elucidate our main result. Moreover, we present applications dealing with the existence of a solution for systems either of functional equations or of nonlinear matrix equations.

1. Introduction and Preliminaries

Fixed point theory plays an essential role in functional and nonlinear analysis. Banach [1] proved a significant result for contraction mappings. Since then, many works dealing with fixed point results have been provided by various authors (see, for example, [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42]).
On the one hand, Bakhtin [43] and Czerwik [34,35] gave generalizations of the known Banach fixed point theorem in the class of b-metric spaces. In 1994, Matthews [23,24] introduced the notion of a partial metric space, which is a generalization of metric spaces. Very recently, Shukla [41] introduced the notion of partial b-metric spaces by combining partial metric spaces and b-metric spaces.
On the other hand, Popescu [22] introduced triangular α -orbital admissible maps. Karapinar [42] gave some fixed point results for a generalized α - ψ -Geraghty contraction type mappings using triangular α -admissibility. Recently, Ameer et al. [32] initiated the concept of generalized α * - ψ -Geraghty type multivalued contraction mappings and developed new common fixed point results in the class of α -complete b-metric spaces.
In this paper, we initiate the notion of generalized multivalued ( α K * , Υ , Λ ) -contraction pair of mappings. Some new common fixed point results are established for these mappings in the setting of α K -complete partial b-metric spaces. Examples are also given to support the obtained results. Finally, we apply the obtained results to ensure the existence of a solution of either a pair of functional equations or nonlinear matrix equations.
Definition 1.
[35] Let ω be a non-empty. Take the real number K 1 . The function d b : ω × ω [ 0 , ) is a b-metric if for all ζ , η , υ ω ,
(i)
d b ( ζ , η ) = 0 if and only if ζ = η .
(ii)
d b ( ζ , η ) = d b ( η , ζ ) .
(iii)
d b ( ζ , η ) K d b ( ζ , υ ) + d b ( υ , η ) .
Definition 2.
[23] Let ω be a nonempty set. The function P : ω × ω [ 0 , ) is said to be a partial metric if for all ζ , η , z ω ,
( P 1 )
P ( ζ , ζ ) = P ( ζ , η ) = P ( η , η ) if and only if ζ = η .
( P 2 )
P ( ζ , ζ ) P ( ζ , η ) .
( P 3 )
P ( ζ , η ) = P ( η , ζ ) .
( P 4 )
P ( ζ , η ) P ( ζ , z ) + P ( z , η ) P ( z , z ) .
Definition 3.
[41] Let K 1 be a real number and ω . The function P b : ω × ω [ 0 , ) satisfying the following for all ζ , η , z ω is said to be a partial b-metric:
( P b 1 )
P b ( ζ , ζ ) = P b ( ζ , η ) = P b ( η , η ) if and only if ζ = η .
( P b 2 )
P b ( ζ , ζ ) P b ( ζ , η ) .
( P b 3 )
P b ( ζ , η ) = P b ( η , ζ ) .
( P b 4 )
P b ( ζ , η ) K [ P b ( ζ , z ) + P b ( z , η ) ] P b ( z , z ) .
K is the coefficient of the partial b-metric space ( ω , P b ) .
Remark 1.
Obviously, a partial metric space is also a partial b-metric space with coefficient K = 1 . A b-metric space is also a partial b-metric space with zero self-distance. However, the converse of these facts need not hold.
Example 1.
Let ω = R + and k > 1 , the mapping P b : ω × ω R + defined by
P b ( ζ , η ) = ζ η k + | ζ η | k , f o r a l l ζ , η ω
is a partial b-metric on ω. Here, K = 2 k . For ζ = η , P b ( ζ , ζ ) = ζ k 0 , thus P b is not a b-metric on ω.
Let ζ , η , z ω be such that ζ > z > η . The following inequality always holds
( ζ η ) k > ( ζ z ) k + ( z η ) k .
Since P b ( ζ , η ) = ζ k + ( ζ η ) k and P b ( ζ , z ) + P b ( z , η ) P b ( z , z ) = ζ k + ( ζ z ) k + ( z η ) k , we have
P b ( ζ , η ) > P b ( ζ , z ) + P b ( z , η ) P b ( z , z ) .
This shows that P b is not a partial metric on ω.
Definition 4.
Let ( ω , P b , K ) be a partial b-metric space. The mapping d P b : ω × ω [ 0 , ) defined by
d P b ( ζ , η ) = 2 P b ( ζ , η ) P b ( ζ , ζ ) P b ( η , η ) ,
for all ζ , η ω , defines a metric on ω, called an induced metric.
Definition 5.
[41] Let ( ω , P b , K ) be a partial b-metric space with a coefficient K 1 . Let { ζ n } be a sequence in ω and ζ ω . Then,
(i) 
{ ζ n } is said to be convergent to ζ if lim n P b ( ζ n , ζ ) = P b ( ζ , ζ ) .
(ii) 
{ ζ n } is Cauchy if lim n , m P b ( ζ n , ζ m ) exists and is finite.
(iii) 
( ω , P b ) is complete if every Cauchy sequence is convergent in ω.
Lemma 1.
[41] 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 6.
[21] Let ( ω , d ) be a MS. T : ω ω is called an F-contraction self-mapping, if there exist τ > 0 and F ϝ such that
ζ , η ω , 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.
[21] Let ( ω , d ) be a complete MS and T : ω ω be an F- contraction mapping. Then, T possesses a unique fixed point ζ * ω .
Piri and Kumam [17] modified the set of functions F ϝ .
Definition 7.
[17] Let ( ω , d ) be a MS. T : ω ω is said to be a F-contraction self-mapping if there exist F F and τ > 0 such that
ζ , η ω , 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 = i f a n d o n l y i f lim n α n = 0 .
  • (F3) F is continuous.
On the other hand, recently Jleli and Samet [9,10] initiated the concept of θ -contractions.
Definition 8.
Let ω , d be a MS. A mapping T : ω ω is said to be a θ-contraction, if there exist θ Θ and a real constant k 0 , 1 such that
ζ , η ω , 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 [9] is the following.
Theorem 2.
[9] Let ω , d be a complete MS. Let T : ω ω be a θ-contraction mapping. Then, there exists a unique fixed point of T.
As in [13], the family of functions θ : 0 , 1 , verifying:
  • ( Θ 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.
[13] Let T : ω ω be a self-mapping on the complete MS ω , d . The following statements are equivalent:
(i) 
T is a θ-contraction mapping with θ Ξ .
(ii) 
T is a F-contraction mapping with F F .
Liu et al. [13] initiated the concept of ( Υ , Λ )-Suzuki contractions.
Definition 9.
Let ω , d be a MS. A mapping T : ω ω is said to be a Υ , Λ -Suzuki contraction, if there exist a comparison function Υ and Λ Φ such that, for all ζ , η ω 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 .
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.
As in [2], a function Υ : 0 , 0 , satisfying:
(i) 
Υ is monotone increasing, that is, t 1 < t 2 Υ t 1 Υ t 2 .
(ii) 
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.
[13] Let Λ : 0 , 0 , be a continuous non-decreasing function such that inf T 0 , ϕ ( T ) = 0 . Let t k k be a positive sequence. Thus,
lim k Λ ( t k ) = 0 if and only if lim k t k = 0 .
Example 2.
[2] The following functions Υ : 0 , 0 , are comparison functions:
(i) 
Υ ( t ) = a t with 0 < a < 1 , for each t > 0 .
(ii) 
Υ ( t ) = t t + 1 , for each t > 0 .
For examples of functions in Φ , see [13]. For a MS ( ω , d ) , C B ( ω ) stands for the collection of all closed and bounded subsets in ω .
Theorem 4.
Let S : ω C B ( ω ) be a multivalued mapping on the complete MS ( ω , d ) . The two statements are equivalent:
(i) 
S is a multivalued θ-contraction mapping with θ Ξ .
(ii) 
S is a multivalued F-contraction mapping with F F .
Proof. 
The proof of this theorem follows immediately from the proof of Theorem 3. □
Let ( ω , P b , K ) be a partial b-metric space and C B P b ( ω ) be the family of all closed and bounded subsets of ω . For ζ ω and A , B C B P b ( ω ) , we define
D P b ( ζ , A ) = inf a A P b ( ζ , a ) , D P b ( A , B ) = sup a A P b ( a , B ) .
Following [25,26], Felhi [44] Defined H P b : C B P b ( ω ) × C B P b ( ω ) [ 0 , ) as
H P b ( A , B ) = max D P b ( A , B ) , D P b ( B , A ) ,
for every A , B C B P b ( ω ) . It is clear that for A , B C B P b ( ω ) and a A , one has
D P b ( a , B ) = inf b B P b ( a , b ) D P b ( A , B ) H P b ( A , B ) .
Lemma 3.
[44] Let A , B C B P b ( ω ) , where ( ω , P b , K ) is a partial b-metric space. Set q > 1 . Hence, for each u A , there exists v B so that P b ( u , v ) q H P b ( A , B ) .
Lemma 4.
[44] Let ( ω , P b , K ) be a partial b-metric space with coefficient K 1 . For A C B P b ( ω ) and ζ ω , then D P b ( ζ , A ) = P b ( ζ , ζ ) if and only if ζ A ¯ , where A ¯ is the closure of A.
Lemma 5.
[44] Let ( ω , P b , K ) be a partial b-metric space. For all A , B , C C B P b ( ω ) , the following inequalities hold:
( H 1 )
H P b ( A , A ) H P b ( A , B ) .
( H 2 )
H P b ( A , B ) = H P b ( B , A ) .
( H 3 )
H P b ( A , B ) K [ H P b ( A , C ) + H P b ( C , B ) ] inf c C P b ( c , c ) .
Lemma 6.
[44] Let ( ω , P b , K ) be a partial b-metric space with coefficient K 1 and B C B P b ( ω ) . Let ζ ω such that D P b ( ζ , B ) < c with c > 0 , then there exists η B so that P b ( ζ , η ) < c .
Definition 10.
[28] Given T : ω C B ( ω ) and α : ω × ω [ 0 , + ) be a given function. Such T is said α * -admissible if for ζ , η ω with α ( ζ , η ) 1 , we have α * ( T ζ , T η ) 1 , where α * ( A , B ) = inf α ( ζ , η ) : ζ A , η B .
Definition 11.
[32] Given S , T : ω C B ω and α : ω × ω [ 0 , + ) . The pair S , T is triangular α * -admissible if:
(i) 
the pair S , T is α * -admissible, i.e., for ζ , η ω with α ( ζ , η ) 1 , we have α * ( S ζ , T η ) 1 and α * ( T ζ , S η ) 1 .
(ii) 
α ( ζ , x ) 1 and α ( x , η ) 1 imply α ( ζ , η ) 1 .
Definition 12.
[32] Given S , T : ω C B ω and α : ω × ω [ 0 , + ) . The pair S , T is α * -orbital admissible if:
α * ( ζ , S ζ ) 1 and α * ( ζ , T ζ ) 1 imply α * ( S ζ , T 2 ζ ) 1 and α * ( T ζ , S 2 ζ ) 1 .
Definition 13.
[32] Given S , T : ω C B ω and α : ω × ω [ 0 , + ) . The pair S , T is triangular α * -orbital admissible, if:
(i) 
S , T is α * -orbital admissible.
(ii) 
α ( ζ , η ) 1 , α * ( η , S η ) 1 and α * ( η , T η ) 1 imply α * ( ζ , S η ) 1 and α * ( ζ , T η ) 1 .

2. Main Results

We start with the following definitions.
Definition 14.
Given K 1 , S , T : ω C B P b ω and α K : ω × ω [ 0 , + ) . The pair S , T is said to be triangular α K * -admissible if:
(i) 
S , T is α K * -admissible, i.e., α K ( ζ , η ) K 2 implies α K * ( S ζ , T η ) K 2 and α K * ( T ζ , S η ) K 2 , where
α K * ( A , B ) = inf α ( ζ , η ) : ζ A , η B .
(ii) 
α K ( ζ , u ) K 2 and α K ( u , η ) K 2 imply α K ( ζ , η ) K 2 .
Definition 15.
Given S , T : ω C B P b ω and α K : ω × ω [ 0 , + ) . The pair S ˇ , T is said α K * -orbital admissible if:
α K * ( ζ , S ζ ) K 2 and α K * ( ζ , T ζ ) K 2 imply α K * ( S ζ , T S ζ ) K 2 and α K * ( T ζ , S T ζ ) K 2 .
Definition 16.
Given S , T : ω C B P b ω and α K : ω × ω [ 0 , + ) . Then, the pair S , T is said to be triangular α K * -orbital admissible, if:
(i) 
S , T is α K * -orbital admissible.
(ii) 
α K ( ζ , η ) K 2 , α K * ( η , S η ) K 2 and α K * ( η , T η ) K 2 imply α K * ( ζ , S η ) K 2 and α K * ( ζ , T η ) K 2 .
Lemma 7.
Given S , T : ω C B P b ω . Suppose that ( S , T ) is triangular α K * -orbital admissible and there exists ζ 0 ω such that α K * ( ζ 0 , S ζ 0 ) K 2 . Define a sequence ζ n in ω by ζ 2 i + 1 S ζ 2 i and ζ 2 i + 2 T ζ 2 i + 1 , where i = 0 , 1 , 2 , . Then, α K ζ n , ζ m K 2 for all nonnegative integers n , m such that m > n .
Proof. 
Since α K * ( ζ 0 , S ζ 0 ) = inf α ( ζ 0 , ζ 1 ) : ζ 1 S ζ 0 α K ( ζ 0 , ζ 1 ) K 2 , using the triangular α K * -orbital admissibility of ( S , T ) , we have
α K * ( ζ 0 , S ζ 0 ) K 2 implies α K * ( S ζ 0 , T S ζ 0 ) α K * ( ζ 1 , T ζ 1 ) α K ( ζ 1 , ζ 2 ) K 2
and
α K * ( ζ 1 , T ζ 1 ) K 2 implies α K * ( T ζ 1 , S T ζ 1 ) α K * ( ζ 2 , S ζ 2 ) α K ( ζ 2 , ζ 3 ) K 2 .
Thus, α K ζ n , ζ m K 2 , for all n , m N { 0 } with m = n + 1 . Using again the triangular α K * -orbital admissibility of ( S , T ) , we get α K ζ n , ζ m K 2 , for all n , m N { 0 } with m > n .  □
Definition 17.
Let ( ω , P b , K ) be a partial b-metric space. Given S : ω C B P b ( ω ) and α K : ω × ω [ 0 , + ) . Such S is α K * - P b -continuous on ( C B P b ( ω ) , H P b ) , if ζ n is a sequence in ω such that α K ( ζ n , ζ n + 1 ) K 2 for each integer n and ζ ω with lim n P b ( ζ n , ζ ) = 0 , then lim n H P b ( S ζ n , S ζ ) = 0 .
Now, we initiate the concept of generalized α K * , Υ , Λ -contraction multivalued pair of mappings as follows:
Definition 18.
Let ω , P b , K be a partial b-metric space and α K : ω × ω 0 , be a function. Given S , T : ω C B P b ω . The pair S , T is called a generalized α K * , Υ , Λ -contraction multivalued pair of mappings if there exist a comparison function Υ and a function Λ Φ such that for ζ , η ω , α K ( ζ , η ) K 2 ,
H P b S ζ , T η > 0 Λ α K ( ζ , η ) H P b S ζ , T η Υ Λ U P b ζ , η ,
where
U P b ζ , η = max P b ( ζ , η ) , D P b ζ , S ζ , D P b η , T η , D P b ζ , T η + D P b η , S ζ 2 K .
Our first main result is the following.
Theorem 5.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω C B P b ω . Suppose that
(i) 
ω , d , K is an α K -complete partial b-metric space.
(ii) 
( S , T ) is a generalized α K * , Υ , Λ -contraction multivalued pair of mapping.
(iii) 
( S , T ) is triangular α K * -orbital admissible.
(iv) 
There exists ζ 0 ω such that α K * ζ 0 , S ζ 0 K 2 .
(v) 
(a) 
S and T are α K * - P b -continuous multivalued mappings.
(b) 
If ζ n is a sequence in ω such that α K ζ n , ζ n + 1 K 2 for each n N and ζ n ζ * ω as n , then there exists a subsequence ζ n k of ζ n such that α K ζ n k , ζ * K 2 for each k N .
If Υ is continuous, then there exists a common fixed point of S and T, e.g. ζ * ω .
Proof. 
(a) Let ζ 0 ω be such that α K * ζ 0 , S ( ζ 0 ) K 2 . Choose ζ 1 S ( ζ 0 ) such that α K ( ζ 0 , ζ 1 ) K 2 and ζ 1 ζ 0 . By Equation (1), it is easy to see that
0 < D P b ζ 1 , T ζ 1 H P b S ζ 0 , T ζ 1 α K ( ζ 0 , ζ 1 ) H P b S ζ 0 , T ζ 1 .
Hence, there exists ζ 2 T ζ 1 ,
0 < P b ζ 1 , ζ 2 H P b S ζ 0 , T ζ 1 α K ( ζ 0 , ζ 1 ) H p b S ζ 0 , T ζ 1 .
Since Λ is nondecreasing, we have
Λ P b ζ 1 , ζ 2 Λ H P b S ζ 0 , T ζ 1 Λ α K ( ζ 0 , ζ 1 ) H P b S ζ 0 , T ζ 1 .
Hence, from Equation (3),
0 Λ P b ζ 1 , ζ 2 Λ ( α K ( ζ 0 , ζ 1 ) H P b ( S ˇ ( ζ 0 ) , T ( ζ 1 ) ) ) Υ Λ U P b ζ 0 , ζ 1 ,
where
U P b ζ 0 , ζ 1 = max P b ζ 0 , ζ 1 , D P b ζ 0 , S ˇ ζ 0 , D P b ζ 1 , T ζ 1 , D P b ζ 0 , T ζ 1 + D P b ζ 1 , S ζ 0 2 K max P b ζ 0 , ζ 1 , D P b ζ 1 , T ζ 1 , D P b ζ 0 , T ζ 1 + P b ζ 1 , ζ 1 2 K max P b ζ 0 , ζ 1 , D P b ζ 1 , T ζ 1 .
If max P b ζ 0 , ζ 1 , D P b ζ 1 , T ζ 1 = D P b ζ 1 , T ζ 1 , then from (5), we have
Λ P b ζ 1 , ζ 2 Υ Λ P b ζ 1 , ζ 2 < Λ P b ζ 1 , ζ 2 ,
which is a contradiction. Thus, max P b ζ 0 , ζ 1 , D P b ζ 1 , T ζ 1 = P b ζ 0 , ζ 1 . By Equation (5), we get that
Λ P b ζ 1 , ζ 2 Υ Λ P b ζ 0 , ζ 1 .
Similarly, for ζ 2 T ζ 1 and ζ 3 S ζ 2 . We have
Λ P b ζ 2 , ζ 3 = Λ D P b ζ 2 , S ζ 2 Λ H P b T ζ 1 , S ζ 2 Λ α K ( ζ 1 , ζ 2 ) H P b T ζ 1 , S ζ 2 Υ Λ U P b ζ 1 , ζ 2 Υ Λ P b ζ 1 , ζ 2 .
This implies that
Λ P b ζ 2 , ζ 3 Υ Λ P b ζ 1 , ζ 2 .
By continuing in this manner, we build a sequence { ζ n } in ω in order that ζ 2 i + 1 S ζ 2 i and ζ 2 i + 2 T ζ 2 i + 1 , i = 0 , 1 , 2 , . α K * ζ 0 , S ( ζ 0 ) K 2 and ( S , T ) is triangular α K * -orbital admissible. By Lemma 7, we have
α S ζ n , ζ n + 1 ) S 2 , for all n N { 0 } .
For i N , we have,
0 < Λ P b ζ 2 i + 1 , ζ 2 i + 2 Λ α K ζ 2 i , ζ 2 i + 1 H P b S ζ 2 i , T ζ 2 i + 1 Υ Λ U P b ζ 2 i , ζ 2 i + 1
where
U P b ζ 2 i , ζ 2 i + 1 = max P b ζ 2 i , ζ 2 i + 1 , D P b ζ 2 i , S ζ 2 i , D P b ζ 2 i + 1 , T ζ 2 i + 1 , D P b ζ 2 i , T ζ 2 i + 1 + D P b ζ 2 i + 1 , S ζ 2 i 2 K max P b ζ 2 i , ζ 2 i + 1 , P b ζ 2 i + 1 , ζ 2 i + 2 , P b ζ 2 i , ζ 2 i + 2 + D P b ζ 2 i + 1 , ζ 2 i + 1 2 K max P b ζ 2 i , ζ 2 i + 1 , P b ζ 2 i + 1 , ζ 2 i + 2 .
If max P b ζ 2 i , ζ 2 i + 1 , P b ζ 2 i + 1 , ζ 2 i + 2 = P b ζ 2 i + 1 , ζ 2 i + 2 , then from (7) we have
Λ P b ζ 2 i + 1 , ζ 2 i + 2 Υ Λ P b ζ 2 i + 1 , ζ 2 i + 2 < Λ P b ζ 2 i + 1 , ζ 2 i + 2 ,
which is a contradiction. Thus,
max P b ζ 2 i , ζ 2 i + 1 , P b ζ 2 i + 1 , ζ 2 i + 2 = P b ζ 2 i , ζ 2 i + 1 .
By Equation (7), we get that
Λ P b ζ 2 i , ζ 2 i + 1 < Υ Λ P b ζ 2 i , ζ 2 i + 1 .
This implies that
Λ P b ζ 2 n + 1 , ζ 2 n + 2 < Υ Λ P b ζ 2 n , ζ 2 n + 1 , for all n N 0 ,
which implies
Λ P b ζ 2 n + 1 , ζ 2 n + 2 Υ Λ P b ζ 2 n + 1 , ζ 2 n + 2 Υ 2 Λ P b ζ 2 n 1 , ζ 2 n Υ n Λ P b ζ 0 , ζ 1 .
Letting n in the above inequality, we get
0 lim n Λ P b ζ 2 n + 1 , ζ 2 n + 2 lim n Υ n Λ P b ζ 0 , ζ 1 = 0 ,
implies
lim n Λ P b ζ 2 n + 1 , ζ 2 n + 2 = 0 .
From Φ 2 and Lemma 2, we get
lim n P b ζ 2 n + 1 , ζ 2 n + 2 = 0 .
We claim that that ζ n is Cauchy. We argue by contradiction. Suppose that there exist ε > 0 and a sequence h ^ n n = 1 and j ^ n n = 1 such for each n N , h ^ n > j ^ n > n with P b ζ h ^ n , ζ j ^ n ε , P b ζ h ^ n 1 , ζ j ^ n < ε . Therefore,
ε P b ζ h ^ n , ζ j ^ n K P b ζ h ^ n , ζ h ^ n 1 + P b ζ h ^ n 1 , ζ j ^ n P b ( ζ h ^ n 1 , ζ h ^ n 1 ) K d b ζ h ^ n , ζ h ^ n 1 + P b ζ h ^ n 1 , ζ j ^ n
< K ε + K P b ζ h ^ n , ζ h ^ n 1 .
Taking n in Equation (9), we get
ε < lim n P b ζ h ^ n , ζ j ^ n < K ε .
From triangular inequality, we have
P b ζ h ^ n , ζ j ^ n K [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n + 1 , ζ j ^ n ] P b ζ h ^ n + 1 , ζ h ^ n + 1 K [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n + 1 , ζ j ^ n ] ,
and
P b ζ h ^ n + 1 , ζ j ^ n K [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n , ζ j ^ n ] P b ζ h ^ n , ζ h ^ n K [ P b ζ h ^ n , ζ h ^ n + 1 + P b ζ h ^ n , ζ j ^ n ] .
Applying the upper limit when n in 2.11 and applying Equation (8) together with Equation (10),
ε lim n sup P b ζ h ^ n , ζ j ^ n K lim n sup K b ζ h ^ n + 1 , ζ j ^ n .
Again, the upper limit in Equation (12) yields that
ε < lim n sup P b ζ h ^ n + 1 , ζ j ^ n K lim n sup P b ζ h ^ n , ζ j ^ n K . K ε = K 2 ε .
Thus,
ε K lim n sup P b ζ h ^ n + 1 , ζ j ^ n K 2 ε .
Similarly,
ε K lim n sup P b ζ h ^ n , ζ j ^ n + 1 K 2 ε .
By triangular inequality, we have
P b ζ h ^ n + 1 , ζ j ^ n K [ P b ζ h ^ n + 1 , ζ j ^ n + 1 + P b ζ j ^ n + 1 , ζ j ^ n ] P b ζ j ^ n + 1 , ζ j ^ n + 1 K [ P b ζ h ^ n + 1 , ζ j ^ n + 1 + P b ζ j ^ n + 1 , ζ j ^ n ] .
On letting n in Equation (15) and using the inequalities in Equations (8) and (13), we get
ε K 2 lim k sup P b ζ h ^ n + 1 , ζ j ^ n + 1 .
Similarly,
lim n sup P b ζ h ^ n + 1 , ζ j ^ n + 1 K 3 ε .
From Equations (16) and (17), we get
ε K 2 lim n sup P b ζ h ^ n + 1 , ζ j ^ n + 1 K 3 ε .
From Equations (8) and (10), we can choose a positive integer n 0 1 such that for all n n 0 , from Equation (1), we get,
0 < Λ α K ( ζ h ^ n + 1 , ζ j ^ n ) P b ζ h ^ n + 2 , ζ j ^ n + 1 Λ α K ( ζ h ^ n + 1 , ζ j ^ n ) H P b S ζ h ^ n + 1 , T ζ j ^ n ψ ϕ U P b ζ h ^ n + 1 , ζ j ^ n , for all n n 0 ,
where
U P b ζ h ^ n + 1 , ζ j ^ n = max P b ζ h ^ n + 1 , ζ j ^ n , D P b ζ h ^ n + 1 , S ˇ ζ h ^ n + 1 , D P b ζ j ^ n , T ζ j ^ n , D P b ζ h ^ n + 1 , T ζ j ^ n + D P b ζ j ^ n , S ζ h ^ n + 1 2 K max P b ζ h ^ n + 1 , ζ j ^ n , P b ζ h ^ n + 1 , ζ h ^ n + 2 , P b ζ j ^ n , ζ j ^ n + 1 , P b ζ h ^ n + 1 , ζ j ^ n + 1 + P b ζ j ^ n , ζ h ^ n + 2 2 K .
Taking the limit as n and using Equations (8), (10), (13) and (14), we get
ε K = max ε K , K ε 4 lim n sup U P b ζ h ^ n + 1 , ζ j ^ n max K 2 ε , K 2 ε 4 = K 2 ε .
From Equation (16), ( Φ 2 ) , and by Lemma 7 since α K ( ζ h ^ n + 1 , ζ j ^ n ) K 2 , we get
Λ ( K 2 ε ) Λ α K ( ζ h ^ n + 1 , ζ j ^ n ) lim n sup P b ζ h ^ n + 2 , ζ j ^ n + 1 lim n Υ Λ U P b ζ h ^ n + 1 , ζ j ^ n = Υ Λ ( K 2 ε ) < Λ ( K 2 ε ) .
This is a contradiction. Therefore, ζ n is Cauchy. The α K -completeness of the partial b-metric space ( ω , P b , K ) implies the α K -completeness of the b-metric space ( ω , d P b ) . Thus, there exists ζ * ω so that
lim n d P b ζ n , ζ * = 0 .
By Lemma 1,
lim n P b ζ n , ζ * = lim n P b ζ * , ζ * = lim n P b ζ n , ζ m .
Since
d b ζ , η = 2 P b ζ , η P b ζ , ζ P b η , η .
Thus, from Equation (8) and axiom ( P b 2 ) with Equation (19), we have
lim n P b ζ n , ζ m = 0 .
Combining Equations (20) and (22)), we get
lim n P b ζ n , ζ * = lim n P b ζ * , ζ * = lim n P b ζ n , ζ m = 0 .
Hence,
lim n P b ζ n , ζ * = 0 ,
which implies,
lim n P b ζ 2 i + 1 , ζ * = lim n P b ζ 2 i + 2 , ζ * = 0 .
Since S is an α K * - P b -continuous multivalued mapping, lim n H P b S ζ 2 i + 1 , S ζ * = 0 . Thus,
D P b ζ * , S ζ * = lim i D P b ζ 2 i + 2 , S ˇ ζ * lim i H P b S ζ 2 i + 1 , S ζ * = 0 ,
and so, ζ * S ζ * and, similarly, ζ * T ζ * . Therefore, S and T have a common fixed point ζ * ω .
(b) From Case (a), we construct a sequence ζ n in ω defined by ζ 2 i + 1 S ζ 2 i and ζ 2 i + 2 T ζ 2 i + 1 with α K ζ n , ζ n + 1 K 2 , for each n N 0 . In addition, ζ n converges to ζ * ω , and there exists a subsequence ζ n k of ζ n such that α K ζ n k , ζ * K 2 for each k. Thus,
Λ D P b ζ 2 n k + 1 , T ζ * Λ H P b S ζ 2 n k , T ζ * Λ α K ( ζ 2 n k , ζ * ) H P b S ζ 2 n k , T ζ * Υ Λ U P b ζ 2 n k , ζ * ,
where
U P b ζ 2 n k , ζ * = max P b ζ 2 n k , ζ * , D P b ζ 2 n k , S ζ 2 n k , D P b ζ * , T ˇ ζ * , D P b ζ 2 n k , T ζ * + D P b ζ * , S ζ 2 n k 2 K max P b ζ 2 n k , ζ * , P b ζ 2 n k , ζ 2 n k + 1 , D P b ζ * , T ζ * , D P b ζ 2 n k , T ζ * + D P b ζ * , S ζ 2 n k 2 K .
Since
lim k sup D P b ζ 2 n k , T ζ * + D P b ζ * , S ζ 2 n k 2 K D P b ζ * , T ζ * + P b ζ * , ζ * 2 K ,
by letting k , we have lim k U P b ζ 2 n k , ζ * = D P b ζ * , T ζ * . Suppose that D P b ζ * , T ζ * > 0 . From Equation (23),
Λ P b ζ 2 n k + 1 , T ζ * Υ Λ U P b ζ 2 n k , ζ * .
Letting k in the above inequality and by continuity of Λ and Υ , we obtain that
Λ P b ζ * , T ζ * Υ Λ P b ζ * , T ζ * < Λ P b ζ * , T ζ * ,
a contradiction. Hence, P b ζ * , T ζ * = 0 , and, due to ( P b 1 ) and ( P b 2 ) , we obtain, ζ * T ζ * . Similarly, we can show that ζ * S ζ * . Thus, S and T have a common fixed point ζ * ω . □
Corollary 1.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S : ω C B P b ω . Suppose that:
(i) 
ω , P b , K is an α K -complete partial b-metric space.
(ii) 
S is a generalized α K * , Υ , Λ -contraction multivalued mapping, that is, if there exist a comparison function Υ and and a function Λ Φ such that, for ζ , η ω , α K ( ζ , η ) K 2 ,
H P b S ζ , S η > 0 Λ α K ( ζ , η ) H P b S ζ , S η Υ Λ U P b ζ , η ,
where
U P b ζ , η = max P b ( ζ , η ) , D P b ζ , S ζ , D P b η , S η , D P b ζ , S η + D P b η , S ζ 2 K .
(iii) 
S is triangular α K * -orbital admissible.
(iv) 
There exists ζ 0 ω so that α K * ζ 0 , S ζ 0 K 2 .
(v) 
(a) 
S is an α K * - P b -continuous multivalued mapping.
(b) 
If ζ n is a sequence in ω such that α K ζ n , ζ n + 1 K 2 for all n N and ζ n ζ * ω as n , then there exists ζ n k of ζ n such that α K ζ n k , ζ * K 2 for all k N .
If Υ is continuous, then S has a fixed point ζ * ω .
Proof. 
Set S = T in Theorem 5. □
Example 3.
Let ω = 0 , 1 . Take P b : ω × ω [ 0 , + ) by P b ( ζ , η ) = ζ η 2 + max ζ , η 2 , for all ζ , η ω . Clearly, ( ω , P b , K ) is a complete partial b-metric spaces with K = 4 . Define Λ : 0 , 0 , by Λ t = t e t , for all t > 0 . Then, Λ Φ . In addition, define Υ : 0 , 0 , by Υ t = 190 t 200 , for each t > 0 . Then, Υ is a continuous comparison function. Define the mappings S , T : ω C B P b ω by
S ζ = 8 ζ 1000 , i f 0 ζ 1 2 1 , i f 1 2 < ζ 1 . a n d T ζ = 0 , f o r a l l ζ ω .
In addition, we define the function α K : ω × ω 0 , by
α K ζ , η = K 2 , i f 0 ζ , η 1 2 0 , o t h e r w i s e .
If the sequence ζ n is Cauchy with α K ζ n , ζ n + 1 K 2 for each integer n, then ζ n 0 , 1 2 . Since 0 , 1 2 , P b , K is a complete partial b-metric space, ζ n converges in 0 , 1 2 ω . Thus ω , P b , K is an α K -complete partial b-metric space. Let α K * ζ , S ζ K 2 and α K * ζ , T ζ K 2 , thus ζ 0 , 1 2 and S ζ , T ζ 0 , 1 2 and so S 2 ζ = S S ζ , T 2 ζ = T T ζ 0 , 1 2 , then α K * S ζ , T 2 ζ K 2 and α K * T ζ , S 2 ζ K 2 . Thus, S , T is α K * -orbital admissible. Let ζ , η ω be such that α K ζ , η K 2 , α K * η , S η K 2 and α K * η , T η K 2 . Clearly, α K * ζ , S η K 2 and α K * ζ , T η K 2 . Therefore, S , T is triangular α K * -orbital admissible. Let ζ n be a Cauchy sequence so that lim n P b ζ n , ζ = 0 and α K ζ n , ζ n + 1 K 2 for each n N . Then, ζ n 0 , 1 2 for each n N . Hence, lim n H P b T ζ n , T ζ = lim n H P b 8 ζ n 1000 , T ζ = H P b 8 ζ 1000 , T ζ = 0 . Hence, T is an α K * - P b continuous multivalued mapping. Similarly, we can show that S is an α K * - P b continuous multivalued mapping. Let ζ 0 = 1 4 . Then,
α K * 1 4 , S 1 4 = α K 1 4 , 0 K 2 .
Let ζ , η ω be such that α K ζ , η K 2 . Then, ζ , η 0 , 1 2 . Suppose, without any loss of generality, that all ζ , η are nonzero and ζ < η . Then,
Λ α K ζ , η H P b S ˇ ζ , T η = Λ K 2 H P b 8 ζ 1000 , 0 = Λ 16 8 ζ 1000 2 + 8 ζ 1000 2 = Λ 16 8 ζ 1000 2 + 8 ζ 1000 2 = Λ 32 1000 2 ζ 2 + ζ 2 = 32 1000 2 ζ 2 + ζ 2 e 32 1000 2 ζ 2 + ζ 2 190 200 ζ η 2 + max ζ , η 2 e 190 300 ζ η 2 + max ζ , η 2 = 190 200 P b ζ , η e 190 300 P b ζ , η 190 200 U P b ζ , η e U b ζ , η = 190 200 Λ U P b ζ , η = Υ Λ U b ζ , η .
Hence, all the hypotheses of Theorem 5 hold, and so S and T have a common fixed point.
Definition 19.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω C B P b ω . S , T is called an α K * , Υ , Λ -contraction multivalued pair of mappings if there exist a comparison function Υ and a function Λ Φ such that for ζ , η ω , α K ( ζ , η ) K 2 ,
H P b S ζ , T η > 0 Λ α K ( ζ , η ) H P b S ζ , T η Υ Λ P b ζ , η .
Theorem 6.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω C B P b ω . Suppose that:
(i) 
ω , P b , K is an α K -complete partial b-metric space.
(ii) 
( S , T ) is an α K * , Υ , Λ -contraction multivalued pair of mappings.
(iii) 
( S , T ) is triangular α K * -orbital admissible.
(iv) 
There exists ζ 0 ζ such that α K * ζ 0 , S ζ 0 K 2 .
(v) 
(a) 
S and T are α K * - P b -continuous.
(b) 
If ζ n is a sequence such that α K ζ n , ζ n + 1 K 2 and ζ n ζ * ω as n , then there exists ζ n k of ζ n such that α K ζ n k , ζ * K 2 for each k N .
If Υ is continuous, then S and T have a common fixed point ζ * ζ .
Corollary 2.
Let Y ´ , d P b , K be a b-metric space. Given α K : ω × ω 0 , and S , T : Y ´ C B b Y ´ . Suppose that:
(i) 
Y ´ , d P b , K is an α S -complete b-metric space.
(ii) 
( S , T ) is an α K * , Υ , Λ -contraction multivalued pair of mappings with respect to Y ´ .
(iii) 
( S , T ) is triangular α K * -orbital admissible.
(iv) 
There exists y ´ 0 Y ´ such that α K * y ´ 0 , S y ´ 0 K 2 .
(v) 
(a) 
S and T are α K * - d P b -continuous.
(b) 
If y ´ n is a sequence in Y ´ such that α K y ´ n , y ´ n + 1 K 2 for all n N and y ´ n y ´ * Y ´ as n , then there exists y ´ n k of y ´ n such that α K y ´ n k , y ´ * K 2 for all k N .
If Υ is continuous, then S and T have a common fixed point y ´ * Y ´ .
Proof. 
Set P b ( ζ , η ) = 0 , for each ζ ω in Theorem 5. □
Theorem 7.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω C B P b ω . Suppose that:
(i) 
ω , P b , K is an α K -complete partial b-metric space.
(ii) 
If there exists θ Θ and k 0 , 1 such that, for all ζ , η ω , α K ζ , η K 2 ,
H P b S ζ , T η > 0 θ α K ζ , η H P b S ζ , T η θ U P b ζ , η k ,
and U P b ζ , η is defined as in Equation (2);
(iii) 
( S , T ) is triangular α K * -orbital admissible.
(iv) 
There exists ζ 0 ω such that α K * ζ 0 , S ζ 0 K 2 .
(v) 
(a) 
S and T are α K * - P b -continuous.
(b) 
If ζ n is a sequence in ω such that α K ζ n , ζ n + 1 K 2 and ζ n ζ * ω as n , then there exists ζ n k of ζ n such that α K ζ n k , ζ * K 2 for each k N .
If Υ is continuous, then S and T have a common fixed point ζ * ω .
Proof. 
It suffices to take in Theorem 5, Υ t : = ln k t and Λ t = ln θ : 0 , 0 , .  □
Theorem 8.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω C B P b ω . Assume that:
(i) 
ω , P b , K is an α K -complete partial b-metric space.
(ii) 
There exist F F and τ > 0 such that, for all ζ , η ω , α K ζ , η K 2 ,
H P b S ζ , T η > 0 τ + F α K ζ , η H P b S ζ , T η F U P b ζ , η ,
and U P b ζ , η is defined as in Equation (2).
(iii) 
( S , T ) is triangular α K * -orbital admissible.
(iv) 
There exists ζ 0 ω such that α K * ζ 0 , S ζ 0 K 2 .
(v) 
(a) 
S and T are α K * - P b -continuous.
(b) 
If ζ n is a sequence in ω such that α K ζ n , ζ n + 1 K 2 and ζ n ζ * ω as n , then there exists ζ n k of ζ n such that α K ζ n k , ζ * K 2 for each k N .
If Υ is continuous, then S and T have a common fixed point ζ * ω .
Proof. 
The result follows from Theorem 5 by taking Υ t = e τ t and Λ t = e F : 0 , 0 , .  □
Theorem 9.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω C B P b ω . Assume that:
(i) 
ω , P b , K is an α K -complete partial b-metric space.
(ii) 
If for all ζ , η ω , α K ζ , η K 2 ,
α K ζ , η H P b S ζ , T η β U P b ζ , η U P b ζ , η ,
U P b ζ , η is defined as in (2) and β : 0 , 0 , is such that lim r t + β r < 1 for each t ( 0 , ) .
(iii) 
( S , T ) is triangular α K * -orbital admissible.
(iv) 
There exists ζ 0 ω such that α K * ζ 0 , S ζ 0 K 2 .
(v) 
(a) 
S and T are α K * - P b -continuous.
(b) 
If ζ n is a sequence in ω such that α K ζ n , ζ n + 1 K 2 and ζ n ζ * ω as n , then there exists ζ n k of ζ n such that α K ζ n k , ζ * K 2 for each k N .
If Υ is continuous, then S and T have a common fixed point ζ * ω .
Proof. 
It follows from Theorem 5 by taking ψ t : = β t t and ϕ t = t : 0 , 0 , .  □

3. Some Consequences

In this section, we obtain some fixed point results for singlevalued mappings when applying the corresponding results of Section 2.
Definition 20.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω ω are two self-mappings. S , T is called a generalized α K , Υ , Λ -contraction pair of mappings if there exist a comparison function Υ and a function Λ Φ such that for ζ , η ω , α K ( ζ , η ) K 2 ,
Λ α K ( ζ , η ) P b S ζ , T η Υ Λ U P b ζ , η ,
where
U P b ζ , η = max P b ( ζ , η ) , P b ζ , S ζ , P b η , T η , P b ζ , T η + P b η , S ζ 2 K .
Theorem 10.
Let ω , P b , K be a partial b-metric space. Given α K : ω × ω 0 , and S , T : ω ω . Assume that:
(i) 
ω , P b , K is an α K -complete partial b-metric space.
(ii) 
( S , T ) is an α K * , Υ , Λ -contraction pair of mappings.
(iii) 
( S , T ) is triangular α K -orbital admissible.
(iv) 
There exists ζ 0 ω such that α K ζ 0 , S ζ 0 K 2 .
(v) 
(a) 
S and T are α K - P b -continuous.
(b) 
If ζ n is a sequence in ω such that α K ζ n , ζ n + 1 K 2 and ζ n ζ * ω as n , then there exists ζ n k of ζ n such that α K ζ n k , ζ * K 2 for each k N .
If Υ is continuous, then S and T have a common fixed point ζ * ω .
Corollary 3.
Let ω , , P b , K be an ordered complete partial b-metric space. Assume that S , T : ω ω are weakly increasing mappings [that is, S ( ζ ) T S ( ζ ) and T ( η ) S T ( η ) hold for all ζ , η ω ] and satisfy the following conditions:
(i) 
If there exist a comparison function Υ and Λ Φ such that for all comparable ζ , η ω , ( i . e . , ζ η or η ζ ),
Λ P b S ζ , T η Υ Λ U P b ζ , η ,
where
U P b ζ , η = max P b ( ζ , η ) , P b ζ , S ζ , P b η , T η , P b ζ , T η + P b η , S ζ 2 K .
(ii) 
There exists ζ 0 ω such that ζ 0 S ζ 0 .
(iii) 
(a) 
Either S or T is continuous.
(b) 
If ζ n is a nondecreasing sequence in ω such that ζ n ζ * ω as n , then there exists ζ n k of ζ n such that ζ n k ζ * for each k N .
If Υ is continuous, then S and T have a common fixed point ζ * ω .
Proof. 
Define the relation ⪯ on ω by
α K ( ζ , η ) = K 2 , ζ η or η ζ , 0 , otherwise .
The proof follows from the proof of Theorem 5. □
Jachymski [45] initiated the graph structure on metric spaces.
Definition 21.
[45] S : ω ω is a Banach G-contraction or simply a G-contraction if S preserves edges of G, i.e.,
ζ , η ω , ( ζ , η ) E ( G ) implies ( S ζ , S η ) E ( G )
and there exists k ( 0 , 1 ) such that
ζ , η ω , ( ζ , η ) E ( G ) implies d ( S ζ , S η ) ) k d ( ζ , η ) ) .
Definition 22.
[45] A mapping S : ω ω is called G-continuous, if given ζ ω and sequence { ζ n } such that ζ n ζ , as n and ( ζ n , ζ n + 1 ) E ( G ) for each integer, implies S ζ n S ζ .
Corollary 4.
Let ω , G , P b , K be a complete partial b-metric space endowed with a graph G. Assume S , T : ω ω satisfy the following conditions:
(i) 
If there exist a comparison function Υ and Λ Φ such that, for all ζ , η ω , with ( ζ , η ) E ( G ) ,
Λ P b S ζ , T η Υ Λ U P b ζ , η ,
where
U P b ζ , η = max P b ( ζ , η ) , P b ζ , S ζ , P b η , T η , P b ζ , T η + P b η , S ζ 2 K .
(ii) 
For ζ , η ω , ( ζ , η ) E ( G ) implies ( S ( ζ ) , T S ( ζ ) ) E ( G ) ) and ( T ( η ) , S T ( η ) ) E ( G ) ) .
(iii) 
There exists ζ 0 ω such that ζ 0 , S ζ 0 E ( G ) .
(iv) 
(a) 
Either S or T is G-continuous.
(b) 
If ζ n is a nondecreasing sequence in ω such that ζ n ζ * ω as n , then there exists ζ n k of ζ n such that ζ n k , ζ * E ( G ) for each k N .
If Υ is continuous, then S and T have a common fixed point ζ * ω .
Proof. 
Define
α K ( ζ , η ) = K 2 , ζ , η E ( G ) , 0 , otherwise .
The proof follows from the proof of Theorem 5. □
Corollary 5.
Let ω , P b , K be a complete partial b-metric space. Let S , T : ω ω be two self-mappings such that:
(i) 
( S , T ) is a generalized Υ , Λ -contraction pair of mappings, i.e., there exist a comparison function Υ and a function Λ Φ such that for ζ , η ω ,
Λ α K ( ζ , η ) P b S ζ , T η Υ Λ U P b ζ , η .
(ii) 
S and T are P b -continuous.
If Υ is continuous, there exists a common fixed point, e.g. ζ * ω .
Proof. 
It follows as the same lines in proof of Theorem 5. □

4. Applications

4.1. Application to Nonlinear Matrix Equations

Denote by J ( n ) the set of all n × n Hermitian matrices, Q ( n ) by the set of all n × n Hermitian positive definite matrices and S ( n ) by the set of all n × n positive semi-definite matrices. A > 0 (respectively, A 0 ) means A Q ( n ) (respectively, A S ( n ) ). The spectral norm is denoted by . , i.e.,
E = μ + E * E ,
where μ + E * E is the greatest eigenvalue of the matrix E * E . The Ky Fan norm is given as
E 1 = i = 1 n S i ( E ) ,
where { S 1 ( E ) , S 2 ( E ) , , S n ( E ) } is the set of the singular values of E. Moreover,
B 1 = t r B * B 1 2 ,
The set ( J ( n ) , P b ) is a complete partial b-metric space, where
P b ( A , B ) = B A 1 2 + L = t r ( B A ) 2 + L , L > 0 .
Take the system of nonlinear matrix equations:
X = π + i = 1 m E i * γ ( X ) E i X = π + i = 1 m E i * δ ( X ) E i ,
where π is a positive definite matrix, E 1 ,…, E m are n × n matrices and γ , δ are mappings from J ( n ) to J ( n ) which maps Q ( n ) into Q ( n ) .
Theorem 11.
Let π Q ( n ) and γ , δ : J ( n ) J ( n ) be a mapping which maps Q ( n ) into Q ( n ) . Suppose that there exists M > 0 such that i = 1 m E i E i * < M I n . Assume that either i = 1 m E i * γ ( π ) E i > 0 , or i = 1 m E i * δ ( π ) E i > 0 such that for all X , Y ,
γ X δ Y 1 2 1 M 2 U P b ( X , Y ) U P b ( X , Y ) + 1 σ , σ > 0 ,
where
U P b X , Y = max P b X , Y , P b X , Γ X , P b Y , Φ Y , 1 2 K P b X , Φ Y + P b Y , Γ X .
Then, the matrix in Equation (24) has a solution in Q ( n ) .
Proof. 
Define Γ , Φ : J ( n ) J ( n ) , Λ : 0 , 0 , and Υ : 0 , 0 , by
Γ X = π + i = 1 m E i * γ ( X ) E i , and Φ X = π + i = 1 m E i * δ ( X ) E i ,
Λ t = t , t > 0 and Υ t = t t + 1 , t > 0 , respectively .
Then, a common fixed point of Γ and Φ is a solution of Equation (24). Let X , Y J ( n ) with X Y . Then, for P b X , Y > 0 , we have
Φ Y Γ X 1 = t r Φ Y Γ X = = i = 1 m t r E i E i * Φ ( Y ) Γ X = t r i = 1 m E i E i * Φ ( Y ) Γ X i = 1 m E i E i * Φ ( Y ) Γ X 1 i = 1 m E i E i * M U P b ( X , Y ) U P b ( X , Y ) + 1 σ < U P b ( X , Y ) U P b ( X , Y ) + 1 σ ,
and so
Φ Y Γ X 1 2 < U P b ( X , Y ) U P b ( X , Y ) + 1 σ .
This implies,
d ( Γ X , Φ Y ) < U P b ( X , Y ) U P b ( X , Y ) + 1 ,
which implies
Λ d ( Γ X , Φ Y ) Λ U P b ( X , Y ) Λ U P b ( X , Y ) + 1 .
Consequently,
Λ d ( Γ X , Φ Y ) Υ Λ U P b ( X , Y ) .
Therefore, all conditions of Corollary 5 immediately hold. Thus, Γ and Φ have a common fixed point and hence the system in Equation (24) of matrix equations has a solution in Q ( n ) . □
Example 4.
Consider the system of nonlinear matrix equations:
X = π + i = 1 2 E i * γ ( X ) E i X = π + i = 1 2 E i * δ ( X ) E i ,
where π, E 1 and E 2 are given by,
π = 0.1 0.01 0.01 0.01 0.1 0.01 0.01 0.01 0.1 , E 1 = 0.4 0.01 0.01 0.01 0.4 0.01 0.01 0.01 0.4
a n d E 2 = 0.6 0.01 0.01 0.01 0.6 0.01 0.01 0.01 0.6 .
Define γ and δ : J ( 3 ) J ( 3 ) by
γ ( X ) = X 2 and δ ( X ) = X 3 .
Define Γ and Φ : J ( 3 ) J ( 3 ) , by Γ ( X ) = π + i = 1 2 E i * γ ( X ) E i and Φ ( X ) = π + i = 1 2 E i * δ ( X ) E i . Then, conditions of Theorem 11 are satisfied for M = 3 5 and σ = 1 2 .

4.2. Application to Functional Equations

Here, applying our obtained results, we solve a functional equation arising in dynamic programming.
Consider U and V two Banach spaces, W U , D V and
ξ : W × D W g , u : W × D R Γ , Ψ : W × D × R R
For more details on dynamic programming, we refer to [36,37,38,39]. Suppose that W and D represent the state and decision spaces, respectively. The problem of related dynamic programming is reduced to solve the functional equations
p ( ζ ) = sup η D { g ( ζ , η ) + Γ ( ζ , η , p ( ξ ( ζ , η ) ) ) } , for ζ W
q ( ζ ) = sup η D { u ( ζ , η ) + Ψ ( ζ , η , q ( ξ ( ζ , η ) ) ) } , for ζ W .
We ensure the existence and uniqueness of a common and bounded solution of Equations (25) and (26). Denote by B ( W ) the set of all bounded real valued functions on W. Consider,
P b ( h , k ) = h k 2 + L = sup ζ W h ζ k ζ 2 + L , L > 0 ,
for all h , k B ( W ) . Assume that:
  • ( B 1 ) : Γ , Ψ , g and u are bounded and continuous.
  • ( B 2 ) : For ζ W , h B ( W ) and b > 0 , take E , A : B ( W ) B ( W ) as
    E h ( ζ ) = sup η D { g ( ζ , η ) + Γ ( ζ , η , h ( ξ ( ζ , η ) ) ) } ,
    A h ( ζ ) = sup η D { u ( ζ , η ) + Ψ ( ζ , η , h ( ξ ( ζ , η ) ) ) } .
Moreover, for every ( ζ , η ) W × D , h , k B ( W ) , t W and σ > 0 implies
Γ ( ζ , η , h ( t ) ) Ψ ( ζ , η , k ( t ) ) 2 U P b ( h ( t ) , k ( t ) ) 2 σ
where
U P b ( ( h ( t ) , k ( t ) ) = max { P b ( h ( t ) , k ( t ) ) , P b ( h ( t ) , E h ( t ) ) , P b ( k ( t ) , A k ( t ) ) , P b ( h ( t ) , A k ( t ) ) + P b ( k ( t ) , E h ( t ) ) 2 K } .
Theorem 12.
Assume that Conditions ( B 1 ) and ( B 2 ) hold. Then, Equations (25) and (26) have a common and bounded solution in B ( W ) .
Proof. 
Note that ( B ( W ) , P b ) is a complete partial bMS with constant K = 4 . By ( B 1 ) , E , A are self-mappings of B ( W ) . Given λ > 0 and h 1 , h 2 B ( W ) . Choose ζ W and η 1 , η 2 D such that
E h 1 < g ( ζ , η 1 ) + Γ ( ζ , η 1 , h 1 ( ξ ( ζ , η 1 ) ) + λ
A h 2 < g ( ζ , η 2 ) + Ψ ( ζ , η 2 , h 2 ( ξ ( ζ , η 2 ) ) + λ .
Further from Equations (31) and (32), we have
E h 1 g ( ζ , η 2 ) + Γ ( ζ , η 2 , h 1 ( ξ ( ζ , η 2 ) )
A h 2 g ( ζ , η 1 ) + Ψ ( ζ , η 1 , h 2 ( ξ ( ζ , η 1 ) ) .
Then, Equations (31) and (34) together with Equation (30) imply
E h 1 ( ζ ) A h 2 ( ζ ) < Γ ( ζ , η 1 , h 1 ( ξ ( ζ , η 1 ) ) ) Ψ ( ζ , η 1 , h 2 ( ξ ( ζ , η 1 ) ) ) + λ Γ ( ζ , η 1 , h 1 ( ξ ( ζ , η 1 ) ) ) Ψ ( ζ , η 1 , h 2 ( ξ ( ζ , η 1 ) ) ) + λ U P b ( h 1 ( ζ ) , h 2 ( ζ ) ) 2 σ + λ .
Then, Equations (32) and (33) together with Equations (30) imply
A h 2 ( ζ ) E h 1 ( ζ ) Γ ( ζ , η 2 , h 1 ( ξ ( ζ , η 2 ) ) Ψ ( ζ , η 2 , h 2 ( ξ ( ζ , η 2 ) ) + λ Γ ( ζ , η 2 , h 1 ( ξ ( ζ , η 2 ) ) Ψ ( ζ , η 2 , h 2 ( ξ ( ζ , η 2 ) ) + λ U P b ( h 1 ( ζ ) , h 2 ( ζ ) ) 2 σ + λ ,
where
U P b ( ( h 1 ( ζ ) , h 2 ( ζ ) ) = max { P b ( h 1 ( ζ ) , h 2 ( ζ ) ) , P b ( h 1 ( ζ ) , E h 1 ( ζ ) ) , P b ( h 2 ( ζ ) , A h 2 ( ζ ) ) , P b ( h 1 ( ζ ) , A h 2 ( ζ ) ) + P b ( h 2 ( ζ ) , E h 1 ( ζ ) ) 2 K } .
From Equations (35) and (36) and since λ > 0 is arbitrary, we obtain
E h 1 ( ζ ) A h 2 ( ζ ) U P b ( h 1 ( ζ ) , h 2 ( ζ ) ) 2 σ .
Thus,
E h 1 ( ζ ) A h 2 ( ζ ) 2 + σ U P b ( h 1 ( ζ ) , h 2 ( ζ ) ) 2 .
The inequality in Equation (37) implies
P b ( E h 1 ( ζ ) , A h 2 ( ζ ) ) U P b ( h 1 ( ζ ) , h 2 ( ζ ) ) 2 .
Taking Λ t = t and Υ t = t 2 for t > 0 , we get
Λ P b ( E h 1 ( ζ ) , A h 2 ( ζ ) ) Υ Λ U P b ( h 1 ( ζ ) , h 2 ( ζ ) ) .
Therefore, all conditions of Corollary 5 immediately hold. Thus, there exists a common fixed point of E and A, e.g. h * B ( W ) , that is, h * ( ζ ) is a common solution of Equations (25) and (26). □
Example 5.
Let U = V = R , W = D = [ 0 , ) . Define ξ : W × D W , g , u : W × D R , and Γ , Ψ : W × D × R R by,
ξ ( ζ , η ) = ζ sin ( 1 ζ η 2 ) 2 + ζ + η ζ , ζ 2 + η 2 < 1 , 1 1 + ζ 2 + η η 2 , ζ 2 + η 2 1 , g ( ζ , η ) = ζ 2 1 + ζ η , u ( ζ , η ) = ζ 3 1 + ζ + η , a n d Γ ( ζ , η , t ) = t 1 + sin ( ζ + η ) , Ψ ( ζ , η , t ) = t 1 + t + ζ η ,
where ( ζ , η ) W × D , ( ζ , η , t ) W × D × R and h , k B ( W ) with h ( t ) = k ( t ) = t . Define E , A : B ( [ 0 , ) ) B ( [ 0 , ) ) , by
E h ( ζ ) = sup η [ 0 , ) { g ( ζ , η ) + Γ ( ζ , η , h ( ξ ( ζ , η ) ) ) } , A k ( ζ ) = sup η [ 0 , ) { u ( ζ , η ) + Ψ ( ζ , η , k ( ξ ( ζ , η ) ) ) } .
Then, Assumptions ( B 1 ) and ( B 2 ) of Theorem 12 are fulfilled, with σ = 1 2 , ζ , η 50 and t = 5 . It follows from Theorem 12 that Equations (25) and (26) have a common and bounded solution in B ( W ) .

5. Conclusions

In this paper, we have provided common fixed theorems for generalized α K * , Υ , Λ -contraction multivalued pair of mappings in α K -complete partial b-metric spaces. Our results are extensions of recent fixed point theorems of Wardowski [21], Piri and Kumam [17], Jleli et al. [9,10] and Liu et al. [13] and some other results. Moreover, we applied our main results to solve systems of functional equations and nonlinear matrix equations. It would be interesting to apply our given concepts and results for generalized metric spaces.

Author Contributions

All authors read and approved the manuscript.

Funding

The paper was funded by Universiti Kebangsaan Malaysia through Grant GP-K005224 and Ministry of Education, Malaysia grant FRGS/1/2017/STG06/UKM/01/1.

Acknowledgments

The authors would like to thank Universiti Kebangsaan Malaysia for supporting this paper through Grant GP-K005224 and Ministry of Education, Malaysia grant FRGS/1/2017/STG06/UKM/01/1. The authors also thank the reviewers for careful reading of the paper and for nice comments allowing us to improve it.

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Banach, S. Sur les operations dans les ensembles abstraits et leur application aux equations itegrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Berinde, V. Generalized Contractions and Applications; Editura Cub Press: Baia Mare, Romania, 1997. [Google Scholar]
  3. Afshari, H.; Kalantari, S.; Aydi, H. Fixed point results for generalized α-ψ-Suzuki-contractions in quasi-b- metric-like spaces. Asian-Eur. J. Math. 2018, 11, 1850012. [Google Scholar] [CrossRef]
  4. Agarwal, R.P.; Karapınar, E.; O’Regan, D.; Roldan-Lopez-de-Hierro, A.F. Fixed Point Theory in Metric Type Spaces; Springer: Cham, Switzerland, 2015. [Google Scholar]
  5. Alharbi, N.; Aydi, H.; Felhi, A.; Ozel, C.; Sahmim, S. α-contractive mappings on rectangular b-metric spaces and an application to integral equations. J. Math. Anal. 2018, 9, 47–60. [Google Scholar]
  6. Ali, M.U.; Kamran, T.; Karapınar, E. On (α,ψ,η)-contractive multivalued mappings. Fixed Point Theory Appl. 2014, 2014, 7. [Google Scholar] [CrossRef]
  7. Aydi, H.; Jellali, M.; Karapınar, E. Common fixed points for generalized α-implicit contractions in partial metric spaces: Consequences and application. RACSAM 2015, 109, 367–384. [Google Scholar] [CrossRef]
  8. Aydi, H.; Karapınar, E.; Samet, B. Fixed points for generalized (α,ψ)-contractions on generalized metric spaces. J. Inequal. Appl. 2014, 2014, 229. [Google Scholar] [CrossRef]
  9. Jleli, M.; Samet, B. A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 2014, 38. [Google Scholar] [CrossRef] [Green Version]
  10. Jleli, M.; Karapinar, E.; Samet, B. Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 2014, 439. [Google Scholar] [CrossRef] [Green Version]
  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]
  12. Mlaiki, N.; Aydi, H.; Souayah, N.; Abdeljawad, T. Controlled metric type spaces and the related contraction principle. Mathematics 2018, 6, 194. [Google Scholar] [CrossRef]
  13. Liu, X.D.; Chang, S.S.; Xiiao, 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]
  14. Nadler, S.B. Multivalued contraction mappings. Pac. J. Math. 1969, 30, 475–488. [Google Scholar] [CrossRef]
  15. Felhi, A.; Aydi, H. New fixed point results for multi-valued maps via manageable functions and an application on a boundary value problem. U.P.B. Sci. Bull. Ser. A 2018, 80, 1–12. [Google Scholar]
  16. Felhi, A.; Aydi, H.; Zhang, D. Fixed points for α-admissible contractive mappings via simulation functions. J. Nonlinear Sci. Appl. 2016, 9, 5544–5560. [Google Scholar] [CrossRef]
  17. Piri, H.; Kumam, P. Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 2014, 11. [Google Scholar] [CrossRef]
  18. Piri, H.; Rahrovi, S. Generalized multivalued F-weak contractions on complete metric spaces. Sahand Commun. Math. Anal. 2015, 2, 1–11. [Google Scholar]
  19. Rashid, T.; Khan, Q.H.; Aydi, H. On strong coupled coincidence points of g-Couplings and an application. J. Funct. Spaces 2018, 2018, 4034535. [Google Scholar] [CrossRef]
  20. Suzuki, T. A new type of fixed point theorem in metric spaces. Nonlinear Anal. 2009, 71, 5313–5317. [Google Scholar] [CrossRef]
  21. 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]
  22. Popescu, O. Some new fixed point theorems for α-Geraghty contraction type maps in metric spaces. Fixed Point Theory Appl. 2014, 2014, 190. [Google Scholar] [CrossRef]
  23. Matthews, S.G. Partial metric topology, Proc. 8th Summer Conference on General Topology and Application. New York Acad. Sci. 1994, 728, 183–197. [Google Scholar] [CrossRef]
  24. Matthews, S.G. Partial Metric Topology, Research Report 212; Department of Computer Science, University of Warwick: Coventry, UK, 1992. [Google Scholar]
  25. Aydi, H.; Abbas, M.; Vetro, C. Partial Hausdorff Metric and Nadler’s Fixed Point Theorem on Partial Metric Spaces. Topol. Its Appl. 2012, 159, 3234–3242. [Google Scholar] [CrossRef]
  26. Aydi, H.; Abbas, M.; Vetro, C. Common Fixed points for multivalued generalized contractions on partial metric spaces, RACSAM—Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A Matematicas 2014, 108, 483–501. [Google Scholar]
  27. Arshad, M.; Ameer, E.; Karapinar, E. Generalized contractions with triangular α-orbital admissible mapping on Branciari metric spaces. J Inequal. Appl. 2016, 2016, 63. [Google Scholar] [CrossRef]
  28. Mohammadi, B.; Rezapour, S.; Shahzad, N. Some results of fixed point of α-ψ-quasi-contractive multifunctions. Fixed Point Theory Appl. 2013, 2013, 112. [Google Scholar] [CrossRef]
  29. Miculescu, R.; Mihail, A. New fixed point theorems for set-valued contractions in b-metric spaces. J. Fixed Point Theory Appl. 2015, 1–11. [Google Scholar] [CrossRef]
  30. Aydi, H.; Jellali, M.; Karapinar, E. On fixed point results for α-implicit contractions in quasi-metric spaces and consequences. Nonlinear Anal. Model. Control 2016, 21, 40–56. [Google Scholar] [CrossRef]
  31. Aydi, H.; Karapınar, E.; Zhang, D. On common fixed points in the context of Brianciari metric spaces. Results Math. 2017, 71, 73–92. [Google Scholar] [CrossRef]
  32. Ameer, E.; Arshad, M.; Shatanawi, W. Common fixed point results for generalized α*-ψ-contraction multivalued mappings in b-metric spaces. J. Fixed Point Theory Appl. 2017. [Google Scholar] [CrossRef]
  33. Hussian, N.; Shah, M.H. KKM mappings in cone b-metric spaces. Comput. Math. Appl. 2011, 62, 1677–1684. [Google Scholar] [CrossRef]
  34. Czerwik, S. Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena. 1998, 46, 263–276. [Google Scholar]
  35. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inf. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  36. Baskaran, R.; Subrahmanyam, P.V. A note on the solution of a class of functional equations. Appl. Anal. 1986, 22, 235–241. [Google Scholar] [CrossRef]
  37. Bellman, R.; Lee, E.S. Functional equations in dynamic programming. Aequ. Math. 1978, 17, 1–18. [Google Scholar] [CrossRef]
  38. Bhakta, T.C.; Mitra, S. Some existence theorems for functional equations arising in dynamic programming. J. Math. Anal. Appl. 1984, 98, 348–362. [Google Scholar] [CrossRef]
  39. Pathak, H.K.; Cho, Y.J.; Kang, S.M.; Lee, B.S. Fixed point theorems for compatible mappings of type (P) and applications to dynamic programming. Matematiche 1995, 50, 15–33. [Google Scholar]
  40. Kryeyszig, E. Functional Analysis with Applications; John Wiley and Sons: New York, NY, USA, 1989. [Google Scholar]
  41. Shukla, S. Partial b-metric spaces and fixed point theorems. Mediterr. J. Math. 2014, 11, 703–711. [Google Scholar] [CrossRef]
  42. Karapinar, E. α-ψ-Geraghty contraction type mappings and some related fixed point results. Filomat 2014, 28, 37–48. [Google Scholar] [CrossRef]
  43. Bakhtin, I.A. The contraction mapping principle in quasimetric spaces. Funct. Anal. 1989, 30, 26–37. [Google Scholar]
  44. Felhi, A. Some fixed point results for multi-valued contractive mappings in partial b-metric spaces. J. Adv. Math. Stud. 2016, 9, 208–225. [Google Scholar]
  45. Jachymski, J. The contraction principle for mappings on metric space with a graph. Proc. Am. Math. Soc. 2008, 1, 1359–1373. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

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. https://doi.org/10.3390/sym11010086

AMA Style

Ameer E, Aydi H, Arshad M, Alsamir H, Noorani MS. Hybrid Multivalued Type Contraction Mappings in αK-Complete Partial b-Metric Spaces and Applications. Symmetry. 2019; 11(1):86. https://doi.org/10.3390/sym11010086

Chicago/Turabian Style

Ameer, Eskandar, Hassen Aydi, Muhammad Arshad, Habes Alsamir, and Mohd Selmi Noorani. 2019. "Hybrid Multivalued Type Contraction Mappings in αK-Complete Partial b-Metric Spaces and Applications" Symmetry 11, no. 1: 86. https://doi.org/10.3390/sym11010086

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