Next Article in Journal
Selective Survey on Spaces of Closed Subgroups of Topological Groups
Next Article in Special Issue
On the Fixed-Circle Problem and Khan Type Contractions
Previous Article in Journal
On the Degree-Based Topological Indices of the Tickysim SpiNNaker Model
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Common Fixed Point Theorems for Generalized Geraghty (α,ψ,ϕ)-Quasi Contraction Type Mapping in Partially Ordered Metric-Like Spaces

1
Department of Mathematics, University Kebangsaan Malaysia, Bangi 43600, Malaysia
2
Department of Mathematics, Hashemite University, Zarqa 1315, Jordan
3
Department of Mathematics and General Courses, Prince Sultan University, Riyadh 11586, Saudi Arabia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2018, 7(4), 74; https://doi.org/10.3390/axioms7040074
Submission received: 18 September 2018 / Revised: 14 October 2018 / Accepted: 15 October 2018 / Published: 25 October 2018
(This article belongs to the Special Issue Mathematical Analysis and Applications II)

Abstract

:
The aim of this paper is to establish the existence of some common fixed point results for generalized Geraghty ( α , ψ , ϕ ) -quasi contraction self-mapping in partially ordered metric-like spaces. We display an example and an application to show the superiority of our results. The obtained results progress some well-known fixed (common fixed) point results in the literature. Our main results cannot be specifically attained from the corresponding metric space versions. This paper is scientifically novel because we take Geraghty contraction self-mapping in partially ordered metric-like spaces via α admissible mapping. This opens the door to other possible fixed (common fixed) point results for non-self-mapping and in other generalizing metric spaces.

1. Introduction

Fixed point theory occupies a central role in the study of solving nonlinear equations of kinds S x = x , where the function S is characterized on abstract space X . It is outstanding that the Banach contraction principle is a standout amongst essential and principal results in the fixed point theorem. It ensures the existence of fixed points for certain self-maps in a complete metric space and provides a helpful technique to find those fixed points. Many authors studied and extended it in many generalizations of metric spaces with new contractive mappings, for example, see References [1,2,3] and the references therein.
Otherwise, Hitzler and Seda [4] introduce the notation of metric-like (dislocated) metric space as a generalization of a metric space, they introduced variants of the Banach fixed point theorem in such space. Metric like spaces were revealed by Amini-Harandi [5] who proved the existence of fixed point results. This interesting subject has been mediated by certain authors, for example, see References [6,7,8]. In partial metric spaces and partially ordered metric-like spaces, the usual contractive condition is weakened and many researchers apply their results to problems of existence and uniqueness of solutions for some boundary value problems of differential and Integral equations, for example, see References [9,10,11,12,13,14,15,16,17,18,19,20,21,22] and the references therein.
Additionally, Geraghty [23] characterized a kind of the set of functions S to be classified as the functions β : [ 0 , ) [ 0 , 1 ) such that if { t n } is a sequence in [ 0 , + ) with β ( t n ) 1 , then t n 0 .
By using the function β S , Geraghty [23] presented the following exceptional theorem
Theorem 1.
Suppose ( Y , d ) is a complete metric space. Assume that T : Y Y and β : [ 0 , ) [ 0 , 1 ) are functions such that for all u , v Y ,
d ( T u , T v ) β ( d ( u , v ) ) d ( u , v ) ,
where β S , then T has a fixed point and has to be unique.
The main results of Geraghty have engaged many of authors, see References [24,25,26] and the references therein.
Recently, Amini-Harandi and Emami [27] reconsidered Theorem 1 as the framework of partially ordered metric spaces and they presented taking into account existence theorem.
Theorem 2.
Let ( Y , d ) be a partially ordered complete metric space. Assume S : Y Y is a mapping such that there exists u 0 Y with u 0 S u 0 and α F such that
d ( S u , S v ) α ( d ( u , v ) ) d ( u , v ) , f o r a n y u , v Y w i t h u v .
Hence, S has a fixed point supported that either S is continuous or Y is such that if an increasing sequence { u n } u , then u n u for all n.
In 2015, Karapinar [28] demonstrated the following specific results:
Theorem 3.
[28] Let ( Y , σ ) be a complete metric-like space. Assume that S : Y Y is a mapping. If there exists β S such that
σ ( S u , S v ) β ( σ ( u , v ) ) σ ( u , v )
for all u , v Y , then S has a unique fixed point u * Y with σ ( u * , u * ) = 0 .
The notion of quasi-contraction presented by Reference [29], is known as one of the foremost common contractive self-mappings.
A mapping S : Y Y is expressed to be a quasi contraction if there exists 0 λ < 1 such that
d ( S u , S v ) λ max { d ( u , v ) . d ( u , f v ) , d ( u , f v ) , d ( f u , v ) , d ( u , f v ) } ,
for any u , v Y .
In this paper, we show the generalized Geraghty ( α , ψ , ϕ ) -quasi contraction type mapping in partially ordered metric like space, then we present some fixed and common fixed point theorems for such mappings in an ordered complete metric-like space. We investigate this new contractive mapping as a generalized weakly contractive mapping in our main results, then we display an example and an application to support our obtained results.

2. Preliminaries

In this section, we review a few valuable definitions and assistant results that will be required within the following sections.
Definition 1.
[5] Let Y be a nonempty set. A function σ : Y × Y [ 0 , ) is expressed to be a metric-like space on X if for any u , v , z Y , the accompanying stipulations satisfied:
(σ1)
σ ( u , v ) = 0 u = v ,
(σ2)
σ ( u , v ) = σ ( v , u ) ,
(σ3)
σ ( u , z ) σ ( u , v ) + σ ( v , z ) .
The pair ( Y , σ ) is called a metric-like space.
Obviously, we can consider that every metric space and partial metric space could be a metric-like space. However, this assertion isn’t valid.
Example 1.
[5] Let Y = { 0 , 1 } and
σ ( u , v ) = 2 , i f u = v = 0 ; 1 , o t h e r w i s e .
We note that σ ( 0 , 0 ) σ ( 0 , 1 ) . So, ( Y , σ ) is a metric-like space and at the same time it is not a partial metric space.
Additonally, each metric-like σ on Y create a topology τ σ on Y whose use as a basis of the group of open σ -balls
B σ ( Y , ϵ ) = { u Y : σ ( u , v ) σ ( u , u ) < ϵ } , f o r a l l u , v Y a n d ϵ > 0 .
Let ( Y , σ ) be a metric-like space and f : Y Y be a continuous mapping. Then
lim n u n = u lim n f u n = f u .
A sequence { u n } of elements of Y is considered σ -Cauchy if the limit lim n , m σ ( u n , u m ) exists as a finite number. The metric-like space ( Y , σ ) is considered complete if for each σ -Cauchy sequence { u n } , there is some u Y such that
lim n σ ( u n , u ) = σ ( u , u ) = lim n , m σ ( u n , u m ) .
Remark 1.
[30] Let Y = { 0 , 1 } , and σ ( u , v ) = 1 for each u , v Y and u n = 1 for each n N . Then, it is easy to see that u n 0 and u n 1 and so in metric-like spaces the limit of a convergent sequence is not necessarily unique.
Lemma 1.
[30] Let ( Y , σ ) be a metric-like space. Let { u n } be a sequence in Y such that u n u where u Y and σ ( u , u ) = 0 . Then, for all u , v Y , we have lim n σ ( u n , v ) = σ ( u , v ) .
Example 2.
[5] Let Y = R and σ : Y × Y [ 0 , + ) be defined by
σ ( u , v ) = 2 n , i f u = v = 0 ; n , o t h e r w i s e .
Then, we can consider ( Y , σ ) to be a metric-like space, but it does not satisfy the conditions of the partial metric space, as σ ( 0 , 0 ) σ ( 0 , 1 ) .
Samet et al. [31] displayed the definition of α -admissible mapping as followings:
Definition 2.
[31] Let S : X X and α : X × X [ 0 , ) are two functions. Then, S is called α-admissible if u , v X with α ( u , v ) 1 implies α ( f u , f v ) 1 .
Definition 3.
[32] Let S , T : X X be two mappings and α : X × X R be a function. We consider that the pair ( S , T ) is α-admissible if
u , v X , α ( u , v ) 1 α ( S u , T v ) 1 a n d α ( T u , S v ) 1
Definition 4.
[33] Let S : X X and α : X × X [ 0 , ) . Then, S is called a triangular α-admissible mapping if
(1)
S is α-admissible,
(2)
α ( u , z ) 1 and α ( z , v ) 1 imply α ( u , v ) 1 .
Definition 5.
[32] Let S , T : X X and α : X × X [ 0 , ) . Then, ( S , T ) is called a triangular α-admissible mapping if
(1)
The pair ( S , T ) is α-admissible,
(2)
α ( u , z ) 1 and α ( z , v ) 1 imply α ( u , v ) 1 .
Let Ψ indicate the set of functions ψ : [ 0 , ) [ 0 , ) that approve the following stipulations:
(1)
ψ is strictly continuous increasing,
(2)
ψ ( t ) = 0 t = 0 .
and Φ indicates the set of all continuous functions ϕ : [ 0 , ) [ 0 , ) with ϕ ( t ) > ψ ( t ) for all t > 0 and ϕ ( 0 ) = 0 .
Definition 6.
[12] Let ( X , d , ) be a partially ordered metric space. Assume f , g : X X are two mappings. Then:
(1)
For all x , y X are said to be comparable if x y or y x holds,
(2)
f is said to be nondecreasing if x y implies f x f y ,
(3)
f , g are called weakly increasing if f x g f x and g x f g x for all x X ,
(4)
f is called weakly increasing if f and I are weakly increasing, where I is denoted to the identity mapping on X .

3. Main Results

In this section, we present the notation of generalized Geraghty ( α , ψ , ϕ ) -quasi contraction self-mappings in partially ordered metric-like space. Then, we present some fixed and common fixed point theorems for such self-mappings. We investigate this new contractive self-mapping as a generalized weakly contractive self-mapping which is a generalization of the results of Reference [34]. Results of this kind are amongst the most useful in fixed point theory and it’s applications.
Definition 7.
Let ( X , σ ) be a partially ordered metric-like space and S , T : X X be two mappings. Then, we consider that the pair ( S , T ) is generalized Geraghty ( α , ψ , ϕ ) -quasi contraction self-mapping if there exist α : X × X [ 0 , ) , β S , ψ Ψ and ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) ψ ( t ) for all t > 0 such that
α ( x , y ) ψ ( σ ( S x , T y ) ) λ β ( ψ ( M x , y ) ) ϕ ( M x , y ) ,
holds for all elements x , y X and 0 λ < 1 , where
M x , y = max { σ ( x , y ) , σ ( x , S x ) , σ ( y , T y ) , σ ( S x , y ) , σ ( x , T y ) } .
The following two lemmas will be utilized proficiently within the verification of our fundamental result.
Lemma 2.
If ψ Ψ and ϕ : [ 0 , ) [ 0 , ) are continuous function that satisfy the condition ψ ( t ) > ϕ ( t ) for all t > 0 , then ϕ ( 0 ) = 0 .
Proof. 
From the assumption ϕ ( t ) < ψ ( t ) , since ψ and ϕ are continuous, we have
0 ϕ ( 0 ) = lim t 0 ϕ ( t ) lim t 0 ψ ( t ) = ψ ( 0 ) = 0 .
Lemma 3.
Let S , T : X X be two mappings and α : X × X [ 0 , ) be a function such that S , T are triangular α admissible. Suppose that there exists x 0 X such that α ( x 0 , S x 0 ) 1 . Define a sequence { x n } in X by S x 2 n = x 2 n + 1 and T x 2 n + 1 = x 2 n + 2 . Then α ( x n , x m ) 1 for all m , n N with n < m .
Proof. 
Since α ( x 0 , S x 0 ) 1 and S , T are α admissible, we get
α ( x 0 , x 1 ) = α ( x 0 , S x 0 ) 1 .
By triangular α admissibility, we get
α ( S x 0 , T x 1 ) = α ( x 1 , x 2 ) 1
and
α ( T S x 0 , S T x 1 ) = α ( x 2 , x 3 ) 1 .
Again, since α ( x 2 , x 3 ) 1 , then
α ( S x 2 , T x 3 ) = α ( x 3 , x 4 ) 1
and
α ( T S x 2 , S T x 3 ) = α ( x 4 , S x 5 ) 1 .
By proceeding the above process, we conclude that α ( x n , x n + 1 ) 1 for all n N { 0 } .
Now, we prove that α ( x n , x m ) 1 , for all m , n N with n < m . Since
α ( x n , x n + 1 ) 1 , α ( x n + 1 , x n + 2 ) 1 ,
then, we have
α ( x n , x n + 2 ) 1 .
Again, since
α ( x n , x n + 2 ) 1 α ( x n + 2 , x n + 3 ) 1 ,
we deduce that
α ( x n , x n + 3 ) 1 .
By continuing this process, we have
α ( x n , x m ) 1
for all n N with m > n .  □
Lemma 4.
Let ( X , , σ ) be a partially ordered metric-like space. Assume S , T are two self-mappings of X which the pair ( S , T ) is generalized ( α , ψ , ϕ ) -quasi contraction self-mappings. Fix x 1 X and define a sequence { x n } by x 2 n + 1 = S x 2 n and x 2 n + 2 = T x 2 n + 1 for all n N . If lim n σ ( x n , x n + 1 ) = 0 and the sequence { x n } is nondecreasing, then { x n } is a Cauchy sequence.
Proof. 
Since S , T are a generalized ( α , ψ , ϕ ) -quasi contraction non-self mapping, then there exist ψ Ψ , ϕ Φ such that
α ( x , y ) ψ ( σ ( S x , T y ) ) λ β ( ψ ( M x , y ) ) ϕ ( M x , y ) ,
holds for all elements x , y X and 0 λ < 1 , where
M x , y = max { σ ( x , y ) , σ ( x , S x ) , σ ( y , T y ) , σ ( S x , y ) , σ ( x , T y ) } .
Now, we show that the sequence { x n } is Cauchy sequence. Assume, for contradiction’s sake, that { x n } isn’t Cauchy sequence. Therefore, there exist ϵ > 0 and two subsequences { n k } and { m k } of the sequence { x n } such that σ ( x 2 n k , x 2 m k ) , σ ( x 2 n k 1 , x 2 m k ) and σ ( x 2 n k , x 2 m k + 1 ) converge to ϵ + when k .
n k > m k > k , σ ( x 2 n k , x 2 m k 2 ) < ϵ , σ ( x 2 n k , x 2 m k ) ϵ .
By the above inequalities and triangle inequality property, we imply that
ϵ σ ( x 2 n k , x 2 m k ) σ ( x 2 n k , x 2 m k 2 ) + σ ( x 2 m k 2 , x 2 m k 1 ) + σ ( x 2 m k 1 , x 2 m k ) < ϵ + σ ( x 2 m k 2 , x 2 m k 1 ) + σ ( x 2 m k 1 , x 2 m k ) .
In view of lim n σ ( x n , x n + 1 ) = 0 and letting k in the above inequalities, we obtain
lim k σ ( x 2 n k , x 2 m k ) = ϵ .
By the triangle inequality, we have
σ ( x 2 n k , x 2 m k ) σ ( x 2 n k , x 2 n k + 1 ) + σ ( x 2 n k + 1 , x 2 m k ) σ ( x 2 n k , x 2 n k + 1 ) + σ ( x 2 n k + 1 , x 2 m k + 1 ) + σ ( x 2 m k + 1 , x 2 m k ) σ ( x 2 n k , x 2 n k + 1 ) + σ ( x 2 n k + 1 , x 2 n k + 2 ) + σ ( x 2 n k + 2 , x 2 m k ) + 2 σ ( x 2 m k , x 2 m k + 1 ) 2 σ ( x 2 n k , x 2 n k + 1 ) + 2 σ ( x 2 m k + 2 , x 2 m k + 1 ) + σ ( x 2 n k , x 2 m k ) + 2 σ ( x 2 m k , x 2 m k + 1 ) .
Taking the limit as k in the above inequalities and using Equation (9), we get
lim k σ ( x 2 n k , x 2 m k ) = lim k σ ( x 2 n k + 1 , x 2 m k ) = lim k σ ( x 2 n k + 1 , x 2 m k + 1 ) = ϵ .
Since x n k + 1 x m k and α ( x n k + 1 , x m k ) 1 for all k N , so by substituting x with x n k + 1 and y with x m k in Equation (7), it follows that
ψ ( σ ( x n k + 1 , x m k ) ) α ( x n k + 1 , x m k ) ψ ( σ ( S x n k , T x m k 1 ) ) λ β ( ψ ( M x , y ) ) ϕ ( M x , y ) ,
holds for all elements x , y X and 0 λ < 1 , where
M x n k , x m k 1 = max { σ ( x n k , x m k 1 ) , σ ( x n k , S x n k ) , σ ( x m k 1 , T x m k 1 ) , σ ( S x n k , x m k 1 ) , σ ( x n k , T x m k 1 ) } = max { σ ( x n k , x m k 1 ) , σ ( x n k , x n k + 1 ) , σ ( x m k 1 , x m k ) , σ ( x n k + 1 , x m k 1 ) , σ ( x n k , x m k ) } .
Taking the limit as k of the above inequality and applying Equations (9), (10), we get
lim k M x 2 n k , x 2 m k = ϵ .
Letting k in Equation (11) and using ϕ Φ , β S and Equation (12), we deduce that
ψ ( ϵ ) λ β ( ψ ( ϵ ) ) ϕ ( ϵ ) < λ ϕ ( ϵ ) < λ ψ ( ϵ ) .
This is possible only if ϵ = 0 . Which contradicts the positivity of ϵ . Therefore, we get the desired result. □
Theorem 4.
Let ( X , σ ) be a partially ordered metric like space. Assume that S , T : X X are two self-mappings fulfilling the following conditions:
(1)
( S , T ) is triangular α-admissible and there exists an x 0 X such that α ( x 0 , S x 0 ) 1 ,
(2)
the pair ( S , T ) is weakly increasing,
(3)
the pair ( S , T ) is a generalized Geraghty ( α , ψ , ϕ ) -quasi contraction non-self mapping,
(4)
S and T are σ-continuous mappings.
Then, the pair ( S , T ) has a common fixed point z X with σ ( z , z ) = 0 . Moreover, assume that if x 1 , x 2 X such σ ( x 1 , x 1 ) = σ ( x 2 , x 2 ) = 0 implies that x 1 and x 2 are comparable elements. Then the common fixed point of the pair ( S , T ) is unique.
Proof. 
Let x 0 X such that α ( x 0 , S x 0 ) 1 . Define the sequence { x n } in X as follows:
x 2 n + 1 = S x 2 n x 2 n + 2 = T x 2 n + 1 f o r a l l n 0 .
Suppose that x 2 n x 2 n + 1 for all n N 0 . Then, σ ( x 2 n , x 2 n + 1 ) > 0 for all n N 0 . Indeed, if x 2 n x 2 n + 1 , which is a contradiction. By using the assumption of Equations (1), (2), and Lemma 3, we have
α ( x n , x n + 1 ) 1
for all n N { 0 } .
Since the pair ( S , T ) is weakly increasing, we have
x 1 = S x 0 T S x 0 = x 2 = S x 1 = . . . x 2 n T S x 2 n = x 2 n + 2 . . . .
Thus, x n x n + 1 , for all n N . Since α ( x 2 n , x 2 n + 1 ) 1 , by applying Equation (7), we obtain
ψ ( σ ( x 2 n + 1 , x 2 n + 2 ) ) = ψ ( σ ( S x 2 n , T x 2 n + 1 ) ) α ( x 2 n , x 2 n + 1 ) ψ ( σ ( S x 2 n , T x 2 n + 1 ) ) λ β ( ψ ( M x 2 n , x 2 n + 1 ) ) ϕ ( M x 2 n , x 2 n + 1 ) .
Set σ n = σ ( x 2 n + 1 , x 2 n + 2 ) . We have
ψ ( σ n ) = ψ ( σ ( x 2 n + 1 , x 2 n + 2 ) )
λ β ( ψ ( M x 2 n , x 2 n + 1 ) ) ϕ ( M x 2 n , x 2 n + 1 ) .
For the rest, for each n assume that ( σ n 0 ) .
M x 2 n , x 2 n + 1 = max { σ ( x 2 n , x 2 n + 1 ) , σ ( x 2 n , S x 2 n ) , σ ( x 2 n + 1 , T x 2 n + 1 ) , σ ( S x 2 n , x 2 n + 1 ) , σ ( x 2 n , T x 2 n + 1 ) } = max { σ ( x 2 n , x 2 n + 1 ) , σ ( x 2 n , x 2 n + 1 ) , σ ( x 2 n + 1 , x 2 n + 2 ) , σ ( x 2 n + 1 , x 2 n + 1 ) , σ ( x 2 n , x 2 n + 2 ) } = max { σ ( x 2 n , x 2 n + 1 ) , σ ( x 2 n + 1 , x 2 n + 2 ) , σ ( x 2 n , x 2 n + 2 ) } = max { σ n 1 , σ n , σ n 1 + σ n }
If for some n N , max { σ n 1 , σ n , σ n 1 + σ n } = σ n then from Equation (16), we find that ψ ( σ n ) < λ ψ ( σ n ) which is a contradiction with respect to 0 λ < 1 . We deduce max { σ n 1 , σ n , σ n 1 + σ n } = max { σ n 1 , σ n 1 + σ n } . Therefore Equation (16) becomes
ψ ( σ n ) < λ ψ ( max { σ n 1 , σ n 1 + σ n } ) .
Put
γ = max { λ , λ 1 λ } .
Thus,
ψ ( σ n ) γ β ( ψ ( σ n 1 ) ) ϕ ( σ n 1 ) , f o r a l l n N 0 .
It is clear that γ < 1 . Therefore, the sequence { σ ( x n , x n + 1 ) } is a decreasing sequence. Thus, there exists r 0 such that
lim n σ ( x n , x n + 1 ) = r .
Now, we show that r = 0 . Presume to the contrary, that is r > 0 . Since β S and by using the condition of Theorem 4 and taking the limit as k in Equation (18), we conclude
ψ ( r ) λ β ( ψ ( r ) ) ϕ ( r ) < λ ϕ ( r ) < λ ψ ( r ) ,
which could be a contradiction. So r = 0 . Then,
lim n σ ( x n , x n + 1 ) = 0 .
Lemma 4 implies that { x n } is a Cauchy sequence and from the completeness of ( X , σ ) , then there exists a x * X in order that
lim n σ ( x n , x * ) = σ ( x * , x * ) = lim n , m σ ( x n , x m ) .
Whereas, S and T are continuous, we conclude
lim n σ ( x n + 1 , T x * ) = lim n σ ( S x n , T x * ) = σ ( S x * , T x * ) ,
lim n σ ( S x * , x n + 1 ) = lim n σ ( S x * , T x n ) = σ ( S x * , T x * ) .
By Lemma 1 and Equation (19), we obtain that
lim n σ ( x n + 1 , T x * ) = σ ( x * , T x * )
and
lim n σ ( S x * , x n + 1 ) = σ ( S x * , x * ) .
By merging Equations (20) and (22), we deduce that σ ( x * , T x * ) = σ ( S x * , x * ) . In addition, by Equations (21) and (23), we deduce that σ ( S x * , x * ) = σ ( S x * , T x * ) . So
σ ( x * , T x * ) = σ ( S x * , x * ) = σ ( S x * , T x * ) .
Presently, we display that σ ( x * , T x * ) = 0 . Assume the opposite, that is, σ ( x * , T x * ) > 0 , we get
ψ ( σ ( x * , T x * ) ) = ψ ( σ ( S x * , T x * ) ) λ β ( ψ ( M x * , x * ) ) ϕ ( M x * , x * ) ,
where
M x * , x * = max { σ ( x * , x * ) , σ ( x * , S x * ) , σ ( x * , T x * ) , σ ( S x * , x * ) , σ ( x * , T x * ) , } = max { σ ( x * , T x * ) , σ ( x * , S x * ) } = max { σ ( x * , T x * ) , σ ( x * , T x * ) } .
Therefore, from Equation (25), we get
ψ ( σ ( x * , T x * ) ) β ( ψ ( σ ( x * , T x * ) ) ) ϕ ( σ ( x * , T x * ) ) < λ ϕ ( σ ( x * , T x * ) < λ ψ ( σ ( x * , T x * ) )
Since ψ Ψ , we have σ ( x * , T x * ) < λ σ ( x * , T x * ) which is a discrepancy. Thus, we have σ ( x * , T x * ) = 0 . Hence, T x * = x * . From Equation (24), we deduce that σ ( x * , S x * ) = 0 . Therefore, S x * = x * . Hence, x * is a common fixed point of S and T. To demonstrate the uniqueness of the common fixed point, we suppose that x ¯ is another fixed point of S and T. Directly, we prove that σ ( x ¯ , x ¯ ) = 0 . Assume the antithesis, that is, σ ( x ¯ , x ¯ ) > 0 . Since x ¯ x ¯ , we get
ψ ( σ ( x ¯ , x ¯ ) ) = ψ ( σ ( S x ¯ , T x ¯ ) ) λ β ( ψ ( σ ( x ¯ , x ¯ ) ) ) ϕ ( σ ( x ¯ , x ¯ ) ) < λ ϕ ( σ ( x ¯ , x ¯ ) ) < λ ψ ( σ ( x ¯ , x ¯ ) )
which is a discrepancy. Thus, σ ( x ¯ , x ¯ ) = 0 . Therefore, by the further conditions on X, we deduce that x * and x ¯ are comparable. Presently, suppose that σ ( x * , x ¯ ) 0 . Then
ψ ( σ ( x * , x ¯ ) ) = ψ ( σ ( S x * , T x ¯ ) ) λ ( ψ ( σ ( x * , x ¯ ) ) ) ϕ ( σ ( x * , x ¯ ) ) < λ ϕ ( σ ( x * , x ¯ ) )
which is a discrepancy with the condition of Theorem 4. Therefore, σ ( x * , x ¯ ) = 0 . Hence, x * = x ¯ . Thus, S and T have a unique common fixed point. □
It is additionally conceivable to expel the continuity of S and T by exchanging a weaker condition. ( C ) If { x n } is a nondecreasing sequence in X such that α ( x n , x n + 1 ) 1 for all n N { 0 } and x n u X as n , then there exists a subsequence { x n l } of { x n } such that x n l u for all l .
Theorem 5.
Let ( X , σ ) be a partially ordered metric-like space. Assume that S , T : X X are two self-mappings fulfilling the following conditions:
(1)
the pair ( S , T ) is triangular α-admissible,
(2)
there exists an x 0 X such that α ( x 0 , S x 0 ) 1 ,
(3)
the pair ( S , T ) is a generalized Geraghty ( α , ψ , ϕ ) -quasi contraction non-self mapping,
(4)
the pair ( S , T ) is weakly increasing,
(5)
( C ) holds.
Then, the pair ( S , T ) has a common fixed point v X with σ ( v , v ) = 0 . Moreover, suppose that if x 1 , x 2 X such σ ( x 1 , x 1 ) = σ ( x 2 , x 2 ) = 0 implies that x 1 and x 2 are comparable. Then, the common fixed point of the pair ( S , T ) is unique.
Proof. 
Here, we define { x n } as in the proof of Theorem 4. Clearly { x n } is a Cauchy sequence in X , then there exists v X in order that
lim n x n = v
As a result of the condition of Equation (5), there exists a subsequence { x n l } of { x n } in order that x n l v for all l . Therefore, x n l and v are comparable. In addition, from Equation (13) on taking limit as n and using Equation (27), we get
lim n x n = v .
lim n S x 2 n l = lim n x 2 n l + 1 = v , lim n T x 2 n l + 1 = lim n x 2 n l + 2 = v .
From the definition of α yields that α ( x n l , v ) 1 for all l . Now by applying Equation (7), we have
ψ ( σ ( x 2 n l + 1 , T v ) ) = ψ ( σ ( S x 2 n , T v ) ) λ β ( ψ ( M x 2 n l , v ) ϕ ( M x 2 n l , v ) < λ ϕ ( M x 2 n l , v ) < λ ψ ( M x 2 n l , v )
where
M x 2 n l , v = max { σ ( x 2 n , v ) , σ ( x 2 n , S x 2 n ) , σ ( v , T v ) , σ ( S x 2 n , v ) , σ ( x 2 n , T v ) }
Letting l + and using Equations (27) and (28), we have
lim l M x 2 n l , v = max { σ ( v , S v ) , σ ( v , T v ) }
Case I: Assume that lim l M x 2 n l , v = σ ( v , T v ) .
From Equation (30) and letting l in Equation (29). Then, we have
ψ ( σ ( v , T v ) ) < λ ψ ( σ ( v , T v ) ) .
Regarding the concept of ψ, we deduce that σ ( v , T v ) < λ σ ( v , T v ) which is a discrepancy. Hence, we get that σ ( v , T v ) = 0 . As a result of ( σ 1 ) , we have v = T v .
Case II: Assume that lim l M x 2 n l , v = σ ( v , S v ) . Then, arguing like above, we get v = S v . Thus, v = S v = T v . Uniqueness of the fixed point is follows from the Theorem 4. This completes the proof. □
If we set S = T and M ( x , y ) = max { σ ( x , y ) , σ ( x , T x ) , σ ( y , T y ) , σ ( T x , y ) , σ ( x , T y ) } in Theorems 4 and 5, then we obtain the following corollaries.
Corollary 1.
Let ( X , σ ) be a partially ordered metric-like space and α : X × X [ 0 , ) a function. Assume that S : X X holds the following:
(1)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) < ψ ( t ) for all t > 0 such that
α ( x , y ) ψ ( σ ( S x , S y ) ) λ β ( ψ ( M x , y ) ) ϕ ( M x , y ) ,
holds for all comparable elements x , y X and 0 λ < 1 ,
(2)
S is triangular α-admissible and there exists an x 0 X such that α ( x 0 , S x 0 ) 1 ,
(3)
S x S ( S x ) for all x , y X ,
(4)
T is σ-continuous mappings.
Then, S has an unique fixed point v X with σ ( v , v ) = 0 .
Corollary 2.
Let ( X , σ ) be a partially ordered metric-like space and α : X × X [ 0 , ) a function. Assume that S : X X holds the following:
(1)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) < ψ ( t ) for all t > 0 such that
α ( x , y ) ψ ( σ ( S x , S y ) ) λ β ( ψ ( M x , y ) ) ϕ ( M x , y ) ,
holds for all comparable elements x , y X and 0 λ < 1 ,
(2)
S is triangular α-admissible and there exists an x 0 X such that α ( x 0 , S x 0 ) 1 ,
(3)
S x S ( S x ) for all x , y X ,
(4)
( C ) holds.
Then, S has an unique fixed point v X with σ ( v , v ) = 0 .
If we take α ( x , y ) = 1 in Theorems 4 and 5, we have the following corollaries.
Corollary 3.
Let ( X , σ ) be a partially ordered metric-like space. Assume S , T : X X are two mappings holding the following:
(1)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) < ψ ( t ) for all t > 0 such that
ψ ( σ ( S x , T y ) ) λ β ( ψ ( M x , y ) ) ϕ ( M x , y ) ,
holds for all comparable elements x , y X and 0 λ < 1 , where
M x , y = max { σ ( x , y ) , σ ( x , S x ) , σ ( y , T y ) , σ ( S x , y ) , σ ( x , T y ) } .
(2)
the pair ( S , T ) is weakly increasing,
(3)
S and T are σ-continuous mappings.
Then, the pair S , T has an unique common fixed point v X with σ ( v , v ) = 0 .
Corollary 4.
Let ( X , σ ) be a partially ordered metric-like space, Assume S , T : X X are two mappings holding the following:
(1)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) < ψ ( t ) for all t > 0 such that
ψ ( σ ( T x , T y ) ) λ β ( ψ ( M x , y ) ) ϕ ( M x , y ) ,
holds for all comparable elements x , y X and 0 λ < 1 , where
M x , y = max { σ ( x , y ) , σ ( x , S x ) , σ ( y , T y ) , σ ( S x , y ) , σ ( x , T y ) } ,
(2)
the pair ( S , T ) is weakly increasing,
(3)
the pair ( S , T ) is a generalized ( α , ψ , ϕ ) -quasi contraction non-self,
(4)
( C ) holds.
Then, the pair S , T has an unique common fixed point v X with σ ( v , v ) = 0 .

4. Consequences

If we put M x , y = σ ( x , y ) , then, by Theorems 4 and 5, we get the following corollaries as an expansion of results from the literature.
Corollary 5.
Let ( X , σ ) be a partially ordered metric like space and α : X × X [ 0 , ) be a function. Suppose that S , T : X X are two self-mappings holding the following:
(1)
( S , T ) is triangular α-admissible and there exists an x 0 X such that α ( x 0 , S x 0 ) 1 ,
(2)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) < ψ ( t ) for all t > 0 in order that
ψ ( σ ( S x , T y ) ) λ β ( ψ ( σ ( x , y ) ) ϕ ( σ ( x , y ) ) ,
satisfies for x , y X and 0 λ < 1 ,
(3)
the pair ( S , T ) is weakly increasing,
(4)
the pair ( S , T ) is σ-continuous mappings.
Then, the pair ( S , T ) has an unique common fixed point v X with σ ( v , v ) = 0 .
Corollary 6.
Let ( X , σ ) be a partially ordered metric-like space. Assume S , T : X X are two mappings holding the following:=
(1)
( S , T ) is triangular α-admissible and there exists an x 0 X such that α ( x 0 , S x 0 ) 1 ,
(2)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) ψ ( t ) for all t > 0 in order that
ψ ( σ ( S x , T y ) ) λ β ( ψ ( σ ( x , y ) ) ϕ ( σ ( x , y ) ) ,
satisfies for x , y X and 0 λ 1 ,
(3)
the pair ( S , T ) is weakly increasing,
(4)
( C ) holds.
Then, the pair ( S , T ) has an unique common fixed point v X with σ ( v , v ) = 0 .
Corollary 7.
Let ( X , σ ) be a partially ordered metric-like space. Assume α : X × X [ 0 , ) is a function and S : X X is a mapping holding the following:
(1)
S is triangular α-admissible and there exists an x 0 X such that α ( x 0 , S x 0 ) 1 .
(2)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) < ψ ( t ) for all t > 0 in order that
α ( x , y ) ψ ( σ ( S x , S y ) ) λ β ( ψ ( σ ( x , y ) ) ϕ ( σ ( x , y ) ) ,
holds for all comparable elements x , y X and 0 λ < 1 ,
(3)
S S ( S x ) ,
(4)
the pair ( S , T ) is σ-continuous mappings.
Then, S has an unique fixed point v X with σ ( v , v ) = 0 .
Corollary 8.
Let ( X , σ ) be a partially ordered metric-like space. Assume α : X × X [ 0 , ) is a function and S : X X is a mapping holding the following:
(1)
S is triangular α-admissible and there exists an x 0 X such that α ( x 0 , S x 0 ) 1 ,
(2)
there exists ψ Ψ , β S and a continuous function ϕ : [ 0 , ) [ 0 , ) are continuous functions with ϕ ( t ) < ψ ( t ) for all t > 0 in order that
α ( x , y ) ψ ( σ ( S x , S y ) ) λ β ( ψ ( σ ( x , y ) ) ϕ ( σ ( x , y ) ) ,
satisfies for x , y X and 0 λ < 1 ,
(3)
S S ( S x ) ,
(4)
( C ) holds.
Then S has an unique fixed point v X with σ ( v , v ) = 0 .
Example 3.
Let X = { 0 , 1 , 2 } and specify the partial order ⪯ on X in order that
: = { ( 0 , 0 ) , ( 1 , 1 ) , ( 2 , 2 ) , ( 0 , 2 ) , ( 2 , 1 ) , ( 0 , 1 ) } .
Take into consideration that the function S : X X specified as
S = 0 1 2 1 1 0 ,
which increasing with respect to . Let x 0 = 0 . Hence, S ( x 0 ) = 1 and S ( S ( X 0 ) ) = S ( 1 ) = 1 . Characterize to begin with the metric like space σ on X by σ ( 0 , 1 ) = 1 , σ ( 0 , 2 ) = 5 2 , σ ( 1 , 2 ) = 3 2 and σ ( x , x ) = 0 . Then, ( X , σ ) is a complete metric-like space. Let β S is given by β ( t ) = e t 2 , ψ ( t ) = t , λ = 1 2 and ϕ ( t ) = 2 3 t .
Define a function α : X × X [ 0 , ) in order that
α ( x , y ) = 1 i f x { 0 , 1 , 2 } 0 i f o t h e r w i s e .
Note that S X and is continuous. S is α-admissible mapping. Indeed, α ( S x , S y ) = 1 .
If ( x , y ) = ( 0 , 1 ) , then α ( 0 , 1 ) = 1 and
M 0 , 1 = max { σ ( 0 , 1 ) , σ ( 0 , S 0 ) , σ ( 1 , S 1 ) , σ ( S 0 , 1 ) , σ ( 0 , S 1 ) } = max { σ ( 0 , 1 ) , σ ( 0 , 1 ) , σ ( 1 , 1 ) , σ ( 1 , 1 ) , σ ( 0 , 1 ) } = max { 1 , 1 , 0 , 1 , 0 } = 1 .
σ ( S 0 , S 1 ) = σ ( 1 , 1 ) = 0 . Now
0 = α ( 0 , 1 ) ψ ( σ ( σ ( S 0 , S 1 ) ) ) β ( ψ ( M 0 , 1 ) ) ϕ ( M 0 , 1 ) = 1 2 β ( 1 ) ϕ ( 1 ) = 1 2 × e 2 × 2 3 = e 6
holds.
If ( x , y ) = ( 0 , 2 ) , then α ( 0 , 2 ) = 1 and
M 0 , 2 = max { σ ( 0 , 2 ) , σ ( 0 , S 0 ) , σ ( 2 , S 2 ) , σ ( S 0 , 2 ) , σ ( 0 , S 2 ) } = max { σ ( 0 , 2 ) , σ ( 0 , 1 ) , σ ( 2 , 0 ) , σ ( 1 , 2 ) , σ ( 0 , 0 ) } = max { 5 2 , 1 , 5 2 , 3 2 , 0 } = 5 2 .
σ ( S 0 , S 2 ) = σ ( 1 , 0 ) = 5 2 . Now
5 2 = α ( 0 , 2 ) ψ ( σ ( σ ( S 0 , S 2 ) ) ) β ( ψ ( M 0 , 2 ) ) ϕ ( M 0 , 2 ) = 1 2 β ( e 5 2 2 ) × 2 3 × 5 2 = 5 e 5 2 12
holds. Similarly, for the case ( x = 1 , y = 2 ), it is simple to examine that the contractive condition in Corollary 1 is satisfied.
All conditions (1)–(4) of Corollary 1 are satisfied. Hence S has a unique fixed point x = 1 .

5. Application

The aim of this section is to give the existence of fixed points of an integral equation, where we can apply the obtained result of Corollary 1 to get a common solution.
We consider X with the partial order ⪯ presented by:
x y x ( t ) y ( t ) f o r a l l t [ 0 , 1 ] .
Let X = C ( I , R ) be the set of continuous functions specified on I = [ 0 , 1 ] . The metric-like space σ : X × X [ 0 , ) presented by
σ ( x , y ) = sup t [ 0 , 1 ] x ( t ) y ( t ) ,
for all x , y X . Since ( X , σ ) is a complete metric-like space. We consider the integral equation
x ( t ) = g ( t ) + 0 1 P ( t , r ) f ( r , x ( r ) ) d r ; t [ 0 , 1 ]
for all x X .
We suppose that f : [ 0 , 1 ] × R R and g : [ 0 , 1 ] R are two continuous functions. Suppose that P : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , ) in order that
S x ( t ) = g ( t ) + 0 1 P ( t , r ) f ( r , x ( r ) ) d r ; t [ 0 , 1 ]
for all x X . Then, a solution of Equation (40) is a fixed point of S.
Now, We will prove the following Theorem with our obtained results.
Theorem 6.
Assume that the following conditions are satisfied:
(i)
There exists ζ : X × X [ 0 , 1 ) such that for all r [ 0 , 1 ] and for all x , y X
0 f ( r , x ( r ) ) f ( r , y ( r ) ) ζ ( x , y ) x ( r ) y ( r ) ,
(ii)
there exists β : [ 0 , ) [ 0 , 1 ) such that
lim n β ( t n ) = 1 lim n t n = 0 ,
and
0 1 P ( t , r ) ζ ( x , y ) d r ( 1 4 β ( x y ) ) .
Then the integral Equation (41) has a unique solution in X .
Proof. 
By conditions (i) and (ii), we get
S ( x ) ( t ) S ( y ) ( t ) = | 0 1 P ( t , r ) [ f ( r , x ( r ) ) f ( r , x ( r ) ) ] d r | 0 1 P ( t , r ) f ( r , x ( r ) ) f ( r , y ( r ) ) d r 0 1 P ( t , r ) ζ ( x , y ) f ( r , x ( r ) ) f ( r , y ( r ) ) d r 0 1 P ( t , r ) ζ ( x , y ) x y d r σ ( x , y ) 0 1 P ( t , r ) ζ ( x , y ) d r 1 4 β ( σ ( x , y ) ) σ ( x , y ) = 1 2 β ( σ ( x , y ) ) 1 2 σ ( x , y ) = 1 2 β ( σ ( x , y ) ) ϕ ( σ ( x , y ) ) .
At that point, we have
S ( x ) ( t ) S ( y ) ( t ) 1 2 β ( σ ( x , y ) ) ϕ ( σ ( x , y ) ) .
for all x , y X .
Thus, we obtain
σ ( S x , S y ) 1 2 β ( σ ( x , y ) ) ϕ ( σ ( x , y ) ) , f o r a l l x , y X .
Lastly, we specify β : X × X [ 0 , ) such that
α ( x , y ) = 1 if x , y X , 0 if o t h e r w i s e .
Then, we have
α ( x , y ) σ ( S x , S y ) 1 2 β ( σ ( x , y ) ) σ ( x , y ) .
Obviously, α ( x , y ) = 1 and α ( S x , S y ) = 1 for all x , y , z X . Therefore, S is triangular α admissible mapping.
Hence, the hypotheses of Corollary 1 hold with ψ ( t ) = t , λ = 1 2 and ϕ ( t ) = t 2 . Thus, S has a unique fixed point, that is, the integral Equation (40) has a unique solution in X .  □

6. Conclusions

We have introduced some common fixed point results for generalized ( α , ψ , ϕ ) -quasi contraction self-mapping in partially ordered metric-like spaces. We have generalized weakly contractive mapping as we used quasi contraction self-mapping, α -admissible mapping, triangular α -admissible mapping and ψ , ϕ as strictly increasing and continuous functions. We have provided an example and application to show the superiority of our results over corresponding (common) fixed point results. Alternatively, we suggest finding new results by replacing the single-valued mapping with multi-valued mapping. Furthermore, we suggest generalizing more results in other spaces like b-metric space, metric-like space, and others. Otherwise, we suggest using our main results for non-self-mapping to establish the existence of an optimal approximate solution.

Author Contributions

All authors contributed equally to the main text.

Funding

This research was funded by UKM Grant DIP-2017-011 and Ministry of Education, Malaysia grant FRGS/1/2017/STG06/UKM/01/1 for financial support.

Acknowledgments

The author would like to thank the anonymous reviewers and editor for their valuable comments.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Qawaqneh, H.; Noorani, M.S.M.; Shatanawi, W.; Alsamir, H. Common fixed points for pairs of triangular α-admissible mappings. J. Nonlinear Sci. Appl. 2017, 10, 6192–6204. [Google Scholar] [CrossRef]
  2. Qawaqneh, H.; Noorani, M.S.M.; Shatanawi, W.; Abodayeh, K.; Alsamir, H. Fixed point for mappings under contractive condition based on simulation functions and cyclic (α,β)-admissibility. J. Math. Anal. 2018, 9, 38–59. [Google Scholar] [CrossRef]
  3. Qawaqneh, H.; Noorani, M.S.M.; Shatanawi, W. Fixed point for mappings under contractive condition based on simulation functions and cyclic (α,β)-admissibility. J. Math. Anal. 2018, 11, 702–716. [Google Scholar] [CrossRef]
  4. Hitzler, P.; Seda, A.K. Dislocated topologies. J. Electr. Eng. 2000, 12, 4223–4229. [Google Scholar]
  5. Amini-Harandi, A. Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012, 2012, 204. [Google Scholar] [CrossRef] [Green Version]
  6. Chen, C.; Dong, J.; Zhu, C. Some fixed point theorems in b-metric-like spaces. Fixed Point Theory Appl. 2015, 2015. [Google Scholar] [CrossRef]
  7. Roshan, J.R.; Parvaneh, V.; Sedghi, S.; Shbkolaei, N.; Shatanawi, W. Common fixed points of almost generalized contractive mappings in ordered b-metric spaces. Fixed Point Theory Appl. 2013, 2013, 159. [Google Scholar] [CrossRef]
  8. Zoto, K. Some generalizations for (α,ψ,ϕ)-contractions in b-metric-like spaces and an application. Fixed Point Theory Appl. 2017, 2017, 26. [Google Scholar] [CrossRef]
  9. Aydi, H.; Felhi, A. Best proximity points for cyclic Kannan-Chatterjea- Ciric non-self contractions on metric-like spaces. J. Nonlinear Sci. Appl. 2016, 9, 2458–2466. [Google Scholar] [CrossRef]
  10. Aydi, H.; Felhi, A.; Sahmim, S. On common fixed points for (α,ψ)-contractions and generalized cyclic contractions in b-metric-like spaces and consequences. J. Nonlinear Sci. Appl. 2016, 9, 2492–2510. [Google Scholar] [CrossRef]
  11. Aydi, H.; Felhi, A. On best proximity points for various α-proximal contractions on metric-like spaces. J. Nonlinear Sci. Appl. 2016, 9, 5202–5218. [Google Scholar] [CrossRef]
  12. Aydi, H.; Felhi, A.; Afshari, H. New Geraghty non-self contractions on metric-like spaces. J. Nonlinear Sci. Appl. 2017, 10, 780–788. [Google Scholar] [CrossRef]
  13. Aydi, H.; Felhi, A.; Sahmim, S. Common fixed points via implicit contractions on b-metric-like spaces. J. Nonlinear Sci. Appl. 2017, 10, 1524–1537. [Google Scholar] [CrossRef] [Green Version]
  14. Alsamir, H.; Noorani, M.S.M.; Shatanawi, W. On fixed points of (η,θ)-quasicontraction mappings in generalized metric spaces. J. Nonlinear Sci. Appl. 2016, 9, 4651–4658. [Google Scholar] [CrossRef]
  15. Shatanawi, W.; Nashine, H.K. A generalization of Banachs contraction principle for nonlinear contraction in a partial metric space. J. Nonlinear Sci. Appl. 2012, 5, 37–43. [Google Scholar] [CrossRef] [Green Version]
  16. Aydi, H.; Shatanawi, W.; Vetro, C. On generalized weak G-contraction mapping in G-metric spaces. Comput. Math. Appl. 2011, 62, 4223–4229. [Google Scholar] [CrossRef]
  17. Cho, S. Fixed point theorems for generalized weakly contractive mappings in metric spaces with application. Fixed Point Theory Appl. 2018, 2018, 3. [Google Scholar] [CrossRef]
  18. Zoto, K.; Radenovic, S.; Ansari, A.H. On some fixed point results for (s,p,α)-contractive mappings in b-metric-like spaces and applications to integral equations. Open Math. 2018, 16, 235–249. [Google Scholar] [CrossRef]
  19. Mohammadi, B.; Golkarmanesh, F.; Parvaneh, V. Common fixed point results via implicit contractions for multi-valued mappings on b-metric like spaces. Cogent Math. Stat. 2018, 5, 1493761. [Google Scholar] [CrossRef]
  20. Karapinar, E.; Czerwik, S.; Aydi, H. Meir-Keeler Contraction Mappings in Generalized-Metric Spaces. J. Funct. Spaces 2018, 2018, 3264620. [Google Scholar] [CrossRef]
  21. Liang, M.; Zhu, C.; Wu, Z.; Chen, C. Some New Coupled Coincidence Point and Coupled Fixed Point Results in Partially Ordered Metric-Like Spaces and an Application. J. Funct. Spaces 2018, 2018, 1378379. [Google Scholar] [CrossRef]
  22. Hussain, N.; Roshan, J.R.; Parvaneh, V.; Kadelburg, Z. Fixed Points of Contractive Mappings in-Metric-Like Spaces. Sci. World J. 2014, 2014, 471827. [Google Scholar] [CrossRef] [PubMed]
  23. Geraghty, M. On contractive mappings. Proc. Am. Math. Soc. 1973, 40, 604–608. [Google Scholar] [CrossRef]
  24. Karapinar, E. A Discussion on α-ψ-Geraghty Contraction Non-self Mappings. Filomat 2014, 28, 761–766. [Google Scholar] [CrossRef]
  25. Karapinar, E. α-ψ-Geraghty Contraction Non-self Mappings and Some Related Fixed Point Results. Filomat 2014, 28, 37–48. [Google Scholar] [CrossRef]
  26. Karapinar, E.; Pitea, A. On alpha-psi-Geraghty contraction type mappings on quasi-Branciari metric spaces. J. Nonlinear Convex Anal. 2016, 17, 1291–1301. [Google Scholar]
  27. Amini-Harandi, A.; Emami, H. A fixed point theorem for contraction non-self maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal. 2010, 72, 2238–2242. [Google Scholar] [CrossRef]
  28. karapinar, E.; Alsulami, H.; Noorwali, M. Some extensions for Geragthy non-self contractive mappings. Fixed Point Theory Appl. 2015, 2015, 303. [Google Scholar] [CrossRef]
  29. Ćiricć, L. A generalization of Banach contraction principle. Proc. Am. Math. Soc. 1974, 45, 267–273. [Google Scholar] [CrossRef]
  30. Isik, H.; Turkoglu, D. Fixed point theorems for weakly contractive mappings in partially ordered metric-like spaces. Fixed Point Theory Appl. 2013, 2013, 51. [Google Scholar] [CrossRef] [Green Version]
  31. Samet, B.; Vetro, C.; Vetro, P. Fixed point theorems for a α-ψ-contractive non-self mappings. Nonlinear Anal. 2012, 75, 2154–2165. [Google Scholar] [CrossRef]
  32. Abdeljawad, T. Meir-Keeler a-contractive fixed and common fixed point theorems. Fixed Point Theory Appl. 2013, 2013, 19. [Google Scholar] [CrossRef]
  33. Karapinar, E.; Kumam, P.; Salimi, P. On α-ψ-Meir-Keeler contractive mappings. Fixed Point Theory Appl. 2013, 2013, 94. [Google Scholar] [CrossRef]
  34. Alsamir, H.; Noorani, M.S.M.; Shatanawi, W.; Abodayeh, K. Common Fixed Point Results for Generalized (ψ,β)-Geraghty Contraction Non-self Mapping in Partially Ordered Metric-like Spaces with Application. Filomat 2017, 31, 5497–5509. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Qawaqneh, H.; Noorani, M.; Shatanawi, W.; Alsamir, H. Common Fixed Point Theorems for Generalized Geraghty (α,ψ,ϕ)-Quasi Contraction Type Mapping in Partially Ordered Metric-Like Spaces. Axioms 2018, 7, 74. https://doi.org/10.3390/axioms7040074

AMA Style

Qawaqneh H, Noorani M, Shatanawi W, Alsamir H. Common Fixed Point Theorems for Generalized Geraghty (α,ψ,ϕ)-Quasi Contraction Type Mapping in Partially Ordered Metric-Like Spaces. Axioms. 2018; 7(4):74. https://doi.org/10.3390/axioms7040074

Chicago/Turabian Style

Qawaqneh, Haitham, Mohd Noorani, Wasfi Shatanawi, and Habes Alsamir. 2018. "Common Fixed Point Theorems for Generalized Geraghty (α,ψ,ϕ)-Quasi Contraction Type Mapping in Partially Ordered Metric-Like Spaces" Axioms 7, no. 4: 74. https://doi.org/10.3390/axioms7040074

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